-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathComplexity__ITS.html
12105 lines (12104 loc) · 705 KB
/
Complexity__ITS.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!DOCTYPE html>
<html lang='en'>
<head>
<meta charset="utf-8">
<meta http-equiv="Cache-Control" content="no-cache, no-store">
<script src="../definitions.js"></script>
<link rel="stylesheet" href="../master.css">
<title>TermCOMP 2019: Complexity: ITS</title>
</head>
<body>
<h1><a href=".">TermCOMP 2019</a>: Complexity: ITS
<a class=starexecid href="https://www.starexec.org/starexec/secure/details/job.jsp?id=33014">33014</a>
<a class=csv href="../fromStarExec/Job33014/Job33014_info.csv">Job info CSV</a>
<span class="headerFollower">Showing
<select id="filter1" type="text" placeholder="Filter..." oninput="filteredTable.refresh()">
<option value="">all</option>
<option value="i">interesting</option>
<option value="c">conflicting</option>
<option value="u">unsolved</option>
<option value="n">new result</option>
<option value="b">new benchmark</option>
<option value="f">finished</option>
</select> results.
</span>
</h1>
<table id="theTable">
<script>
var filteredTable = FilteredTable(document.getElementById("theTable"));
</script>
<tr class="head">
<th>benchmark
<input id="filter0" type="text" placeholder="Filter..." onkeyup="filteredTable.refresh()">
<script>filteredTable.register(0,"filter0");</script>
<th style="display:none">
<script>filteredTable.register(1,"filter1");</script>
<th>VBS
<select id="filter2" oninput="filteredTable.refresh()">
<option value="">--</option>
<option value="YES">YES</option>
<option value="NO">NO</option>
<option value="MAYBE">MAYBE</option>
<option value="timeout">timeout</option>
<option value="memout">memout</option>
<option value="REJECTED">REJECTED</option>
<option value="ERROR">ERROR</option>
</select>
<script>filteredTable.register(2,"filter2");</script>
<th><a href="https://www.starexec.org/starexec/secure/details/solver.jsp?id=20177">AProVE</a>
<a class=config href="https://www.starexec.org/starexec/secure/details/configuration.jsp?id=302122">complexity</a>
<select id="filter3" oninput="filteredTable.refresh()">
<option value="">--</option>
<option value="YES">YES</option>
<option value="NO">NO</option>
<option value="MAYBE">MAYBE</option>
<option value="timeout">timeout</option>
<option value="memout">memout</option>
<option value="REJECTED">REJECTED</option>
<option value="ERROR">ERROR</option>
</select>
<script>filteredTable.register(3,"filter3");</script>
<th><a href="https://www.starexec.org/starexec/secure/details/solver.jsp?id=20274">CoFloCo 2018</a>
<a class=config href="https://www.starexec.org/starexec/secure/details/configuration.jsp?id=302760">its</a>
<select id="filter4" oninput="filteredTable.refresh()">
<option value="">--</option>
<option value="YES">YES</option>
<option value="NO">NO</option>
<option value="MAYBE">MAYBE</option>
<option value="timeout">timeout</option>
<option value="memout">memout</option>
<option value="REJECTED">REJECTED</option>
<option value="ERROR">ERROR</option>
</select>
<script>filteredTable.register(4,"filter4");</script>
<th>~Y2018-1
<select id="filter5" oninput="filteredTable.refresh()">
<option value="">--</option>
<option value="YES">YES</option>
<option value="NO">NO</option>
<option value="MAYBE">MAYBE</option>
<option value="timeout">timeout</option>
<option value="memout">memout</option>
<option value="REJECTED">REJECTED</option>
<option value="ERROR">ERROR</option>
</select>
<script>filteredTable.register(5,"filter5");</script>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FSAS05%2Fc.02.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>SAS05/<wbr>c.02.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151770">5151770</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989744/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989744">
<span class="time">4.17/1.97</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989745/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989745">
<span class="time">0.19/0.27</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FPLDI06%2Fc.03.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>PLDI06/<wbr>c.03.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151759">5151759</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989748/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989748">
<span class="time">4.37/2.17</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989749/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989749">
<span class="time">0.14/0.22</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FPLDI06%2Fc.04.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>PLDI06/<wbr>c.04.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151758">5151758</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989746/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989746">
<span class="time">5.63/3.28</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989747/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989747">
<span class="time">0.15/0.24</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FVMCAI04%2Fcomplete1.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>VMCAI04/<wbr>complete1.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151796">5151796</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989756/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989756">
<span class="time">3.98/1.89</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989757/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989757">
<span class="time">0.10/0.09</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FVMCAI04%2Fcomplete2.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>VMCAI04/<wbr>complete2.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151794">5151794</a></td>
<td style="display:none">if <td class="UP d0">Θ(1)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989752/stdout/1?limit=-1">Θ(1)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989752">
<span class="time">3.94/1.81</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989753/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989753">
<span class="time">0.10/0.18</span>
</a>
<td class="UP d0">Θ(1)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FVMCAI04%2Fcomplete3.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>VMCAI04/<wbr>complete3.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151793">5151793</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989750/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989750">
<span class="time">4.36/2.15</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989751/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989751">
<span class="time">0.21/0.29</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FVMCAI04%2Fcomplete4.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>VMCAI04/<wbr>complete4.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151795">5151795</a></td>
<td style="display:none">uf <td class="LOW np">NON_POLY
<td class="LOW np">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989754/stdout/1?limit=-1">NON_POLY</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989754">
<span class="time">4.43/2.12</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989755/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989755">
<span class="time">0.11/0.19</span>
</a>
<td class="LOW np">NON_POLY
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FTACAS01%2Fterminate.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>TACAS01/<wbr>terminate.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151768">5151768</a></td>
<td style="display:none">f <td class="UP d1">―O(n)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989758/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989758">
<span class="time">3.79/1.82</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989759/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989759">
<span class="time">0.11/0.10</span>
</a>
<td class="UP d1">―O(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fnew%2FunsatCond2.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>new/<wbr>unsatCond2.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151766">5151766</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989760/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989760">
<span class="time">3.42/1.76</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989761/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989761">
<span class="time">0.09/0.07</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FLICS04%2Fc.01.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>LICS04/<wbr>c.01.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151815">5151815</a></td>
<td style="display:none">f <td class="UP d2">―O(n<sup>2</sup>)
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989762/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989762">
<span class="time">8.59/6.40</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989763/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989763">
<span class="time">0.24/0.32</span>
</a>
<td class="UP d2">―O(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2FLICS04%2Fchoice.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>LICS04/<wbr>choice.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151816">5151816</a></td>
<td style="display:none">if <td class="UP d0">Θ(n)
<td class="LOW d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989764/stdout/1?limit=-1">Ω(n)―</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989764">
<span class="time">5.36/3.11</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989765/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989765">
<span class="time">0.15/0.23</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fdiv.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>div.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151809">5151809</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989790/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989790">
<span class="time">4.02/1.98</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989791/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989791">
<span class="time">0.15/0.23</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fincrease1.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>increase1.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151812">5151812</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989796/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989796">
<span class="time">3.70/1.79</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989797/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989797">
<span class="time">0.10/0.09</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fincrease2.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>increase2.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151808">5151808</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989788/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989788">
<span class="time">4.26/2.09</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989789/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989789">
<span class="time">0.13/0.21</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fincrease3.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>increase3.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151813">5151813</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989798/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989798">
<span class="time">4.05/2.02</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989799/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989799">
<span class="time">0.14/0.22</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fincrease4.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>increase4.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151814">5151814</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989800/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989800">
<span class="time">3.74/1.76</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989801/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989801">
<span class="time">0.10/0.09</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fsqrt.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>sqrt.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151810">5151810</a></td>
<td style="display:none">f <td class="UP d1">―O(n)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989792/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989792">
<span class="time">4.57/2.35</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989793/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989793">
<span class="time">0.18/0.27</span>
</a>
<td class="UP d1">―O(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fsumto_no_if.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>sumto_<wbr>no_<wbr>if.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151811">5151811</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989794/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989794">
<span class="time">3.84/2.41</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989795/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989795">
<span class="time">0.13/0.21</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.01.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.01.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151803">5151803</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989778/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989778">
<span class="time">4.15/2.07</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989779/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989779">
<span class="time">0.19/0.27</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.02.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.02.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151800">5151800</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989772/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989772">
<span class="time">22.83/8.43</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989773/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989773">
<span class="time">0.23/0.31</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.03.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.03.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151806">5151806</a></td>
<td style="display:none">f <td class="UP d1">Ω(n)―O(n<sup>2</sup>)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989784/stdout/1?limit=-1">Ω(n)―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989784">
<span class="time">103.94/95.67</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989785/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989785">
<span class="time">1.93/2.01</span>
</a>
<td class="UP d1">Ω(n)―O(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.04.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.04.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151798">5151798</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989768/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989768">
<span class="time">3.81/1.80</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989769/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989769">
<span class="time">0.10/0.09</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.05.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.05.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151804">5151804</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989780/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989780">
<span class="time">3.70/1.79</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989781/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989781">
<span class="time">0.10/0.09</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.06.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.06.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151802">5151802</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989776/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989776">
<span class="time">4.07/1.86</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989777/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989777">
<span class="time">0.11/0.09</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.07.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.07.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151799">5151799</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989770/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989770">
<span class="time">3.85/2.23</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989771/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989771">
<span class="time">0.11/0.10</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.08.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.08.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151807">5151807</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989786/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989786">
<span class="time">4.11/1.90</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989787/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989787">
<span class="time">0.10/0.09</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.09.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.09.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151801">5151801</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989774/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989774">
<span class="time">3.97/1.95</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989775/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989775">
<span class="time">0.11/0.09</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.10.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.10.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151805">5151805</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989782/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989782">
<span class="time">4.31/2.34</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989783/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989783">
<span class="time">0.13/0.21</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FBrockschmidt_16%2FFGPSF09%2Fpatrs%2Fpasta%2Fa.11.koat">Brockschmidt_<wbr>16/<wbr>FGPSF09/<wbr>patrs/<wbr>pasta/<wbr>a.11.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5151797">5151797</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989766/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989766">
<span class="time">5.06/2.42</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989767/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989767">
<span class="time">0.20/0.28</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Faaron12.c.koat">Flores-Montoya_<wbr>16/<wbr>aaron12.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152483">5152483</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989988/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989988">
<span class="time">0.58/0.44</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989989/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989989">
<span class="time">0.28/0.36</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Faaron2.c.koat">Flores-Montoya_<wbr>16/<wbr>aaron2.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152402">5152402</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989826/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989826">
<span class="time">15.43/9.38</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989827/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989827">
<span class="time">0.29/0.37</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Faaron3.c.koat">Flores-Montoya_<wbr>16/<wbr>aaron3.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152451">5152451</a></td>
<td style="display:none">uf <td class="LOW d1">Ω(n)―
<td class="LOW d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989924/stdout/1?limit=-1">Ω(n)―</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989924">
<span class="time">14.84/8.54</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989925/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989925">
<span class="time">0.49/0.57</span>
</a>
<td class="LOW d1">Ω(n)―
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Falain.c.koat">Flores-Montoya_<wbr>16/<wbr>alain.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152452">5152452</a></td>
<td style="display:none">if <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989926/stdout/1?limit=-1">Ω(n<sup>2</sup>)―O(n<sup>3</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989926">
<span class="time">35.04/28.50</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989927/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989927">
<span class="time">0.94/1.02</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fax.c.koat">Flores-Montoya_<wbr>16/<wbr>ax.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152426">5152426</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989874/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989874">
<span class="time">5.38/2.46</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989875/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989875">
<span class="time">0.37/0.45</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fcatmouse.c.koat">Flores-Montoya_<wbr>16/<wbr>catmouse.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152390">5152390</a></td>
<td style="display:none">uf <td class="LOW np">NON_POLY
<td class="LOW np">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989802/stdout/1?limit=-1">NON_POLY</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989802">
<span class="time">5.72/2.57</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989803/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989803">
<span class="time">0.20/0.28</span>
</a>
<td class="LOW np">NON_POLY
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fcomplex.c.koat">Flores-Montoya_<wbr>16/<wbr>complex.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152472">5152472</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989966/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989966">
<span class="time">8.99/3.56</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989967/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989967">
<span class="time">6.57/6.65</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fcounterex1a.c.koat">Flores-Montoya_<wbr>16/<wbr>counterex1a.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152488">5152488</a></td>
<td style="display:none">uf <td class="LOW d1">Ω(n)―
<td class="LOW d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989998/stdout/1?limit=-1">Ω(n)―</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989998">
<span class="time">33.16/19.44</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989999/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989999">
<span class="time">1.69/1.77</span>
</a>
<td class="LOW d1">Ω(n)―
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fcounterex1b.c.koat">Flores-Montoya_<wbr>16/<wbr>counterex1b.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152422">5152422</a></td>
<td style="display:none">if <td class="UP d1">Ω(n<sup>2</sup>)―O(n<sup>3</sup>)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989866/stdout/1?limit=-1">Ω(n<sup>2</sup>)―O(n<sup>3</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989866">
<span class="time">46.96/34.03</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989867/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989867">
<span class="time">44.80/44.85</span>
</a>
<td class="UP d1">Ω(n<sup>2</sup>)―O(n<sup>3</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fcounterex1c.c.koat">Flores-Montoya_<wbr>16/<wbr>counterex1c.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152406">5152406</a></td>
<td style="display:none">uf <td class="LOW d1">Ω(n)―
<td class="LOW d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989834/stdout/1?limit=-1">Ω(n)―</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989834">
<span class="time">88.67/27.44</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989835/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989835">
<span class="time">1.02/1.10</span>
</a>
<td class="LOW d1">Ω(n)―
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fcousot9.c.koat">Flores-Montoya_<wbr>16/<wbr>cousot9.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152437">5152437</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989896/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989896">
<span class="time">5.85/2.69</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989897/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989897">
<span class="time">0.25/0.33</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Feasy1.c.koat">Flores-Montoya_<wbr>16/<wbr>easy1.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152395">5152395</a></td>
<td style="display:none">f <td class="UP d0">Θ(1)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989812/stdout/1?limit=-1">Θ(1)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989812">
<span class="time">3.74/2.11</span>
</a>
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989813/stdout/1?limit=-1">Θ(1)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989813">
<span class="time">0.23/0.31</span>
</a>
<td class="UP d0">Θ(1)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Feasy2.c.koat">Flores-Montoya_<wbr>16/<wbr>easy2.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152441">5152441</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989904/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989904">
<span class="time">4.59/2.17</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989905/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989905">
<span class="time">0.14/0.22</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fexmini.c.koat">Flores-Montoya_<wbr>16/<wbr>exmini.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152414">5152414</a></td>
<td style="display:none">f <td class="UP d1">―O(n)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989850/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989850">
<span class="time">6.11/3.66</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989851/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989851">
<span class="time">0.28/0.36</span>
</a>
<td class="UP d1">―O(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fex_paper1.c.koat">Flores-Montoya_<wbr>16/<wbr>ex_<wbr>paper1.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152474">5152474</a></td>
<td style="display:none">if <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989970/stdout/1?limit=-1">Ω(n<sup>2</sup>)―O(n<sup>3</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989970">
<span class="time">50.94/39.20</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989971/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989971">
<span class="time">1.34/1.42</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fex_paper2.c.koat">Flores-Montoya_<wbr>16/<wbr>ex_<wbr>paper2.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152498">5152498</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990018/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990018">
<span class="time">5.64/2.45</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990019/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990019">
<span class="time">0.32/0.40</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fex_paper3.c.koat">Flores-Montoya_<wbr>16/<wbr>ex_<wbr>paper3.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152476">5152476</a></td>
<td style="display:none">f <td class="UP d1">Ω(n)―O(n<sup>2</sup>)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989974/stdout/1?limit=-1">Ω(n)―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989974">
<span class="time">20.56/14.43</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989975/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989975">
<span class="time">0.73/0.81</span>
</a>
<td class="UP d1">Ω(n)―O(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fheapsort.c.koat">Flores-Montoya_<wbr>16/<wbr>heapsort.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152503">5152503</a></td>
<td style="display:none">f <td class="UP d1">―O(n)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990028/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990028">
<span class="time">40.17/21.35</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990029/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990029">
<span class="time">1.23/1.31</span>
</a>
<td class="UP d1">―O(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Finsertsort.c.koat">Flores-Montoya_<wbr>16/<wbr>insertsort.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152430">5152430</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989882/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989882">
<span class="time">6.91/3.28</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989883/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989883">
<span class="time">0.44/0.53</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fjama_ex1.c.koat">Flores-Montoya_<wbr>16/<wbr>jama_<wbr>ex1.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152475">5152475</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989972/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989972">
<span class="time">5.27/2.38</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989973/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989973">
<span class="time">0.32/0.40</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fjama_ex2.c.koat">Flores-Montoya_<wbr>16/<wbr>jama_<wbr>ex2.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152501">5152501</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990024/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990024">
<span class="time">5.55/2.57</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990025/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990025">
<span class="time">0.32/0.40</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fjama_ex3.c.koat">Flores-Montoya_<wbr>16/<wbr>jama_<wbr>ex3.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152399">5152399</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989820/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989820">
<span class="time">5.06/2.27</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989821/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989821">
<span class="time">0.33/0.41</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fjama_ex4.c.koat">Flores-Montoya_<wbr>16/<wbr>jama_<wbr>ex4.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152491">5152491</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990004/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990004">
<span class="time">6.47/2.91</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990005/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990005">
<span class="time">0.48/0.56</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fjama_ex5.c.koat">Flores-Montoya_<wbr>16/<wbr>jama_<wbr>ex5.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152465">5152465</a></td>
<td style="display:none">f <td class="UP d1">Ω(n)―O(n<sup>2</sup>)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989952/stdout/1?limit=-1">Ω(n)―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989952">
<span class="time">7.14/4.24</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989953/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989953">
<span class="time">0.33/0.41</span>
</a>
<td class="UP d1">Ω(n)―O(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fjama_ex6.c.koat">Flores-Montoya_<wbr>16/<wbr>jama_<wbr>ex6.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152468">5152468</a></td>
<td style="display:none">if <td class="UP d0">Θ(n<sup>3</sup>)
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989958/stdout/1?limit=-1">Ω(n<sup>3</sup>)―O(n<sup>4</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989958">
<span class="time">22.38/16.29</span>
</a>
<td class="UP d3">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989959/stdout/1?limit=-1">―O(n<sup>3</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989959">
<span class="time">1.91/1.99</span>
</a>
<td class="UP d0">Θ(n<sup>3</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fjama_ex7.c.koat">Flores-Montoya_<wbr>16/<wbr>jama_<wbr>ex7.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152412">5152412</a></td>
<td style="display:none">f <td class="UP d0">Θ(n<sup>2</sup>)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989846/stdout/1?limit=-1">Θ(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989846">
<span class="time">5.58/2.56</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429989847/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429989847">
<span class="time">0.38/0.46</span>
</a>
<td class="UP d0">Θ(n<sup>2</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Fknuth_morris_pratt.c.koat">Flores-Montoya_<wbr>16/<wbr>knuth_<wbr>morris_<wbr>pratt.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152489">5152489</a></td>
<td style="display:none">f <td class="UP d0">Θ(n)
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990000/stdout/1?limit=-1">Θ(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990000">
<span class="time">44.96/35.70</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990001/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990001">
<span class="time">4.79/4.86</span>
</a>
<td class="UP d0">Θ(n)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_ITS%2FFlores-Montoya_16%2Floops.c.koat">Flores-Montoya_<wbr>16/<wbr>loops.c.koat</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5152507">5152507</a></td>
<td style="display:none">f <td class="UP d2">―O(n<sup>2</sup>)
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990036/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990036">
<span class="time">6.75/3.61</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429990037/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429990037">
<span class="time">0.33/0.41</span>
</a>
<td class="UP d2">―O(n<sup>2</sup>)
<tr>
<td class=benchmark>