-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathComplexity__C_Integer.html
7838 lines (7837 loc) · 493 KB
/
Complexity__C_Integer.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: C Integer</title>
</head>
<body>
<h1><a href=".">TermCOMP 2019</a>: Complexity: C Integer
<a class=starexecid href="https://www.starexec.org/starexec/secure/details/job.jsp?id=33013">33013</a>
<a class=csv href="../fromStarExec/Job33013/Job33013_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=302121">c_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=302761">C</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_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2F2Nested_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>2Nested_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162482">5162482</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988778/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988778">
<span class="time">4.05/3.22</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988779/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988779">
<span class="time">0.14/0.21</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FBangalore_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Bangalore_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162484">5162484</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988782/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988782">
<span class="time">3.77/2.70</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988783/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988783">
<span class="time">0.14/0.21</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FBangalore_v2_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Bangalore_<wbr>v2_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162496">5162496</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988806/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988806">
<span class="time">3.68/2.57</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988807/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988807">
<span class="time">0.15/0.23</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FBangalore_v3_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Bangalore_<wbr>v3_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162495">5162495</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988804/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988804">
<span class="time">7.27/2.72</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988805/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988805">
<span class="time">0.15/0.22</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FBangalore_v4_true-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Bangalore_<wbr>v4_<wbr>true-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162499">5162499</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/429988812/stdout/1?limit=-1">Θ(1)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988812">
<span class="time">2.34/1.38</span>
</a>
<td class="UP d0">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988813/stdout/1?limit=-1">Θ(1)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988813">
<span class="time">0.14/0.21</span>
</a>
<td class="UP d0">Θ(1)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FBenghazi_nondet_true-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Benghazi_<wbr>nondet_<wbr>true-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162493">5162493</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988800/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988800">
<span class="time">4.75/3.60</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988801/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988801">
<span class="time">0.14/0.22</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FCairo_nondet_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Cairo_<wbr>nondet_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162483">5162483</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988780/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988780">
<span class="time">2.85/2.19</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988781/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988781">
<span class="time">0.15/0.23</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FCairo_step2_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Cairo_<wbr>step2_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162488">5162488</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988790/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988790">
<span class="time">2.60/1.65</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988791/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988791">
<span class="time">0.15/0.23</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FCopenhagen_disj_true-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Copenhagen_<wbr>disj_<wbr>true-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162489">5162489</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988792/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988792">
<span class="time">2.71/2.65</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988793/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988793">
<span class="time">0.15/0.22</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FGothenburg_v2_true-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Gothenburg_<wbr>v2_<wbr>true-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162490">5162490</a></td>
<td style="display:none">if <td class="UP d1">―O(n)
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988794/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988794">
<span class="time">4.47/3.43</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988795/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988795">
<span class="time">0.19/0.26</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_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FHanoi_2vars_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Hanoi_<wbr>2vars_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162491">5162491</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988796/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988796">
<span class="time">4.19/3.17</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988797/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988797">
<span class="time">0.13/0.21</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FHanoi_3vars_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Hanoi_<wbr>3vars_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162481">5162481</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988776/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988776">
<span class="time">6.91/6.70</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988777/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988777">
<span class="time">0.14/0.22</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FHanoi_plus_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Hanoi_<wbr>plus_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162497">5162497</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988808/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988808">
<span class="time">5.79/4.79</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988809/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988809">
<span class="time">0.14/0.22</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FMcCarthy91_Iteration_true-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>McCarthy91_<wbr>Iteration_<wbr>true-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162487">5162487</a></td>
<td style="display:none">if <td class="UP d2">―O(n<sup>2</sup>)
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988788/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988788">
<span class="time">2.50/1.50</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988789/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988789">
<span class="time">0.16/0.23</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_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FMysore_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Mysore_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162492">5162492</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988798/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988798">
<span class="time">5.75/4.78</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988799/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988799">
<span class="time">0.14/0.22</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FSingapore_plus_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Singapore_<wbr>plus_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162485">5162485</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988784/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988784">
<span class="time">3.82/2.89</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988785/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988785">
<span class="time">0.14/0.22</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FSingapore_true-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Singapore_<wbr>true-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162498">5162498</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988810/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988810">
<span class="time">4.45/4.94</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988811/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988811">
<span class="time">0.15/0.23</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FSingapore_v1_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Singapore_<wbr>v1_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162494">5162494</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988802/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988802">
<span class="time">3.88/2.91</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988803/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988803">
<span class="time">0.14/0.22</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2FAdapted_from_Ton_Chanh_15%2FSingapore_v2_false-termination.c">Flores-Montoya_<wbr>2017/<wbr>Adapted_<wbr>from_<wbr>Ton_<wbr>Chanh_<wbr>15/<wbr>Singapore_<wbr>v2_<wbr>false-termination.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162486">5162486</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988786/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988786">
<span class="time">7.67/2.91</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988787/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988787">
<span class="time">0.14/0.22</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fgcd.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>gcd.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162445">5162445</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/429988852/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988852">
<span class="time">2.54/1.85</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988853/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988853">
<span class="time">0.24/0.32</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fknuth_morris_pratt.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>knuth_<wbr>morris_<wbr>pratt.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162426">5162426</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/429988814/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988814">
<span class="time">3.97/2.66</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988815/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988815">
<span class="time">0.44/0.52</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_pldi09_fig1.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>pldi09_<wbr>fig1.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162449">5162449</a></td>
<td style="display:none">if <td class="UP d1">―O(n)
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988860/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988860">
<span class="time">2.63/1.55</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988861/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988861">
<span class="time">0.19/0.26</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_pldi09_fig4_2.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>pldi09_<wbr>fig4_<wbr>2.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162446">5162446</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/429988854/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988854">
<span class="time">2.64/1.88</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988855/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988855">
<span class="time">0.22/0.29</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_pldi09_fig4_4.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>pldi09_<wbr>fig4_<wbr>4.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162428">5162428</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/429988818/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988818">
<span class="time">2.47/1.45</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988819/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988819">
<span class="time">0.20/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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_pldi09_fig4_5.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>pldi09_<wbr>fig4_<wbr>5.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162448">5162448</a></td>
<td style="display:none">if <td class="UP d1">―O(n)
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988858/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988858">
<span class="time">3.13/2.97</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988859/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988859">
<span class="time">0.25/0.32</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_pldi10_ex1.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>pldi10_<wbr>ex1.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162432">5162432</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/429988826/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988826">
<span class="time">3.83/2.96</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988827/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988827">
<span class="time">0.30/0.37</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_pldi10_ex3.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>pldi10_<wbr>ex3.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162453">5162453</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/429988868/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988868">
<span class="time">2.76/1.84</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988869/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988869">
<span class="time">0.23/0.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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_pldi10_ex4.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>pldi10_<wbr>ex4.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162454">5162454</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/429988870/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988870">
<span class="time">2.31/1.34</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988871/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988871">
<span class="time">0.19/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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_popl10_fig2_1.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>popl10_<wbr>fig2_<wbr>1.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162450">5162450</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/429988862/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988862">
<span class="time">2.45/1.52</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988863/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988863">
<span class="time">0.20/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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_popl10_fig2_2.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>popl10_<wbr>fig2_<wbr>2.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162447">5162447</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/429988856/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988856">
<span class="time">2.58/1.52</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988857/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988857">
<span class="time">0.17/0.25</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_popl10_nested_multiple.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>popl10_<wbr>nested_<wbr>multiple.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162441">5162441</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/429988844/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988844">
<span class="time">3.22/2.11</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988845/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988845">
<span class="time">0.37/0.61</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_popl10_nested_single.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>popl10_<wbr>nested_<wbr>single.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162431">5162431</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/429988824/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988824">
<span class="time">2.82/1.74</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988825/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988825">
<span class="time">0.27/0.35</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_popl10_sequential_single.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>popl10_<wbr>sequential_<wbr>single.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162455">5162455</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/429988872/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988872">
<span class="time">2.69/1.67</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988873/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988873">
<span class="time">0.21/0.29</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_popl10_simple_multiple.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>popl10_<wbr>simple_<wbr>multiple.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162429">5162429</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/429988820/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988820">
<span class="time">2.56/1.50</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988821/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988821">
<span class="time">0.20/0.28</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_popl10_simple_single.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>popl10_<wbr>simple_<wbr>single.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162436">5162436</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/429988834/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988834">
<span class="time">2.29/1.39</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988835/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988835">
<span class="time">0.14/0.21</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Fspeed_popl10_simple_single_2.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>speed_<wbr>popl10_<wbr>simple_<wbr>single_<wbr>2.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162438">5162438</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/429988838/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988838">
<span class="time">2.32/1.36</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988839/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988839">
<span class="time">0.24/0.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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft07.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t07.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162443">5162443</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/429988848/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988848">
<span class="time">2.54/1.52</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988849/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988849">
<span class="time">0.22/0.29</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft08.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t08.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162440">5162440</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/429988842/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988842">
<span class="time">2.41/1.35</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988843/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988843">
<span class="time">0.19/0.26</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft10.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t10.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162437">5162437</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/429988836/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988836">
<span class="time">2.54/1.65</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988837/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988837">
<span class="time">0.16/0.23</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft11.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t11.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162451">5162451</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/429988864/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988864">
<span class="time">2.66/1.54</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988865/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988865">
<span class="time">0.20/0.28</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft13.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t13.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162435">5162435</a></td>
<td style="display:none">if <td class="UP d1">―O(n)
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988832/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988832">
<span class="time">3.27/2.21</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988833/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988833">
<span class="time">0.24/0.32</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft15.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t15.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162427">5162427</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/429988816/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988816">
<span class="time">2.60/1.68</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988817/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988817">
<span class="time">0.21/0.29</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft16.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t16.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162456">5162456</a></td>
<td style="display:none">if <td class="UP d1">―O(n)
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988874/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988874">
<span class="time">2.69/1.79</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988875/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988875">
<span class="time">0.20/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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft19.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t19.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162430">5162430</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/429988822/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988822">
<span class="time">2.37/4.17</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988823/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988823">
<span class="time">0.18/0.30</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft20.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t20.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162434">5162434</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/429988830/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988830">
<span class="time">2.29/1.34</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988831/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988831">
<span class="time">0.18/0.26</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft27.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t27.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162444">5162444</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/429988850/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988850">
<span class="time">2.69/1.78</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988851/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988851">
<span class="time">0.25/0.32</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft28.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t28.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162442">5162442</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/429988846/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988846">
<span class="time">2.50/1.62</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988847/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988847">
<span class="time">0.26/0.34</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft30.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t30.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162433">5162433</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988828/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988828">
<span class="time">3.47/2.51</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988829/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988829">
<span class="time">0.13/0.21</span>
</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft47.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t47.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162452">5162452</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/429988866/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988866">
<span class="time">2.32/1.32</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988867/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988867">
<span class="time">0.15/0.22</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FC4B_examples%2Ft62.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>C4B_<wbr>examples/<wbr>t62.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162439">5162439</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/429988840/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988840">
<span class="time">5.10/3.79</span>
</a>
<td class="UP d1">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988841/stdout/1?limit=-1">―O(n)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988841">
<span class="time">0.55/0.63</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FABC%2Fjama_ex1.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>ABC/<wbr>jama_<wbr>ex1.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162473">5162473</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/429988882/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988882">
<span class="time">2.28/1.36</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988883/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988883">
<span class="time">0.19/0.26</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FABC%2Fjama_ex2.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>ABC/<wbr>jama_<wbr>ex2.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162478">5162478</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/429988892/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988892">
<span class="time">2.42/1.38</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988893/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988893">
<span class="time">0.19/0.26</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FABC%2Fjama_ex3.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>ABC/<wbr>jama_<wbr>ex3.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162479">5162479</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/429988894/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988894">
<span class="time">2.29/1.34</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988895/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988895">
<span class="time">0.19/0.26</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FABC%2Fjama_ex4.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>ABC/<wbr>jama_<wbr>ex4.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162472">5162472</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/429988880/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988880">
<span class="time">2.51/1.42</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988881/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988881">
<span class="time">0.24/0.31</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FABC%2Fjama_ex5.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>ABC/<wbr>jama_<wbr>ex5.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162470">5162470</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/429988876/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988876">
<span class="time">2.32/1.40</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988877/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988877">
<span class="time">0.19/0.27</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_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FABC%2Fjama_ex6.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>ABC/<wbr>jama_<wbr>ex6.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162476">5162476</a></td>
<td style="display:none">if <td class="UP d3">―O(n<sup>3</sup>)
<td class="UP d3">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988888/stdout/1?limit=-1">―O(n<sup>4</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988888">
<span class="time">2.58/1.63</span>
</a>
<td class="UP d3">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988889/stdout/1?limit=-1">―O(n<sup>3</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988889">
<span class="time">0.51/0.58</span>
</a>
<td class="UP d3">―O(n<sup>3</sup>)
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Complexity_C_Integer%2FFlores-Montoya_2017%2Fexamples_from_literature%2FABC%2Fjama_ex7.c">Flores-Montoya_<wbr>2017/<wbr>examples_<wbr>from_<wbr>literature/<wbr>ABC/<wbr>jama_<wbr>ex7.c</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5162471">5162471</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/429988878/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988878">
<span class="time">2.46/1.87</span>
</a>
<td class="UP d2">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/429988879/stdout/1?limit=-1">―O(n<sup>2</sup>)</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=429988879">
<span class="time">0.19/0.27</span>
</a>
<td class="UP d2">―O(n<sup>2</sup>)
<tr>
<td class=benchmark>