-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathJava_Bytecode.html
3342 lines (3341 loc) · 190 KB
/
Java_Bytecode.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: Java Bytecode</title>
</head>
<body>
<h1><a href=".">TermCOMP 2019</a>: Java Bytecode
<a class=starexecid href="https://www.starexec.org/starexec/secure/details/job.jsp?id=33571">33571</a>
<a class=csv href="../fromStarExec/Job33571/Job33571_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=302124">standard</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>~Y2018-1
<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>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FChoose.jar">Julia_<wbr>11_<wbr>iterative/<wbr>Choose.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158261">5158261</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315542/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315542">
<span class="time">6.02/2.50</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FChooseLife.jar">Julia_<wbr>11_<wbr>iterative/<wbr>ChooseLife.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158245">5158245</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315526/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315526">
<span class="time">7.46/2.83</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FContinue.jar">Julia_<wbr>11_<wbr>iterative/<wbr>Continue.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158257">5158257</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315538/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315538">
<span class="time">4.35/2.68</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FDistances.jar">Julia_<wbr>11_<wbr>iterative/<wbr>Distances.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158252">5158252</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315533/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315533">
<span class="time">201.90/164.30</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FLoop.jar">Julia_<wbr>11_<wbr>iterative/<wbr>Loop.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158244">5158244</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315525/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315525">
<span class="time">4.70/2.05</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_00.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>00.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158248">5158248</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315529/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315529">
<span class="time">4.45/2.05</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_01.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>01.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158255">5158255</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315536/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315536">
<span class="time">4.55/1.99</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_02.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>02.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158263">5158263</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315544/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315544">
<span class="time">4.39/2.04</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_03.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>03.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158260">5158260</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315541/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315541">
<span class="time">6.74/2.78</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_04.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>04.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158249">5158249</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315530/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315530">
<span class="time">4.75/2.13</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_05.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>05.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158256">5158256</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315537/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315537">
<span class="time">13.42/5.06</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_06.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>06.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158262">5158262</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315543/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315543">
<span class="time">4.42/2.08</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_10.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>10.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158253">5158253</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315534/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315534">
<span class="time">4.87/2.23</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_11.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>11.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158246">5158246</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315527/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315527">
<span class="time">5.93/2.43</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_12.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>12.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158259">5158259</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315540/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315540">
<span class="time">5.31/2.29</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_13.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>13.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158265">5158265</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315546/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315546">
<span class="time">8.16/6.39</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_20.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>20.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158254">5158254</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315535/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315535">
<span class="time">3.59/1.92</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_21.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>21.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158247">5158247</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315528/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315528">
<span class="time">4.31/2.06</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_22.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>22.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158264">5158264</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315545/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315545">
<span class="time">8.74/3.13</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_23.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>23.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158258">5158258</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315539/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315539">
<span class="time">6.05/2.43</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FNO_24.jar">Julia_<wbr>11_<wbr>iterative/<wbr>NO_<wbr>24.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158243">5158243</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315524/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315524">
<span class="time">4.73/2.22</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FSwingers.jar">Julia_<wbr>11_<wbr>iterative/<wbr>Swingers.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158250">5158250</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315531/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315531">
<span class="time">4.53/2.06</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_11_iterative%2FTaylorSeriesIte.jar">Julia_<wbr>11_<wbr>iterative/<wbr>TaylorSeriesIte.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158251">5158251</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315532/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315532">
<span class="time">16.14/5.34</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FCarre.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Carre.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158180">5158180</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315561/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315561">
<span class="time">11.63/3.92</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FGauss.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Gauss.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158174">5158174</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315555">timeout (wallclock)</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FGraph.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Graph.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158166">5158166</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315547">timeout (wallclock)</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FInfix2Postfix.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Infix2Postfix.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158167">5158167</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315548/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315548">
<span class="time">20.73/6.92</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FIterations.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Iterations.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158175">5158175</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315556/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315556">
<span class="time">14.39/4.88</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FNonPeriodic.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>NonPeriodic.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158169">5158169</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315550/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315550">
<span class="time">3.95/1.92</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FRSA.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>RSA.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158176">5158176</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315557/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315557">
<span class="time">28.49/9.53</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FTest11.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Test11.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158173">5158173</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315554/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315554">
<span class="time">11.41/4.00</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FTest13Loops.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Test13Loops.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158177">5158177</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315558/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315558">
<span class="time">6.05/2.47</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FTest2.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Test2.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158178">5158178</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315559/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315559">
<span class="time">19.37/7.17</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FTest3.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Test3.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158172">5158172</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315553/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315553">
<span class="time">15.49/8.73</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FTest5.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Test5.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158179">5158179</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315560/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315560">
<span class="time">15.64/5.71</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FTest7.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Test7.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158171">5158171</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315552/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315552">
<span class="time">10.31/5.02</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FTest9.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>Test9.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158168">5158168</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315549/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315549">
<span class="time">11.45/4.28</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_10_Iterative%2FTriTas.jar">Julia_<wbr>10_<wbr>Iterative/<wbr>TriTas.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158170">5158170</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315551/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315551">
<span class="time">13.31/4.42</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_12_iterative%2FEt1.jar">Julia_<wbr>12_<wbr>iterative/<wbr>Et1.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158067">5158067</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315564/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315564">
<span class="time">10.64/4.00</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_12_iterative%2FEt2.jar">Julia_<wbr>12_<wbr>iterative/<wbr>Et2.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158065">5158065</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315562/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315562">
<span class="time">8.61/3.20</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_12_iterative%2FEt3.jar">Julia_<wbr>12_<wbr>iterative/<wbr>Et3.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158066">5158066</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315563/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315563">
<span class="time">16.02/10.08</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_12_iterative%2FEt4.jar">Julia_<wbr>12_<wbr>iterative/<wbr>Et4.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158069">5158069</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315566/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315566">
<span class="time">17.28/6.76</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_12_iterative%2FEt5.jar">Julia_<wbr>12_<wbr>iterative/<wbr>Et5.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158068">5158068</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315565/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315565">
<span class="time">10.28/3.65</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FJulia_12_iterative%2FEt6.jar">Julia_<wbr>12_<wbr>iterative/<wbr>Et6.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158070">5158070</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315567/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315567">
<span class="time">10.82/3.87</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FBreak.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Break.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158147">5158147</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315587/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315587">
<span class="time">3.86/1.83</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FBubbleSort.jar">Costa_<wbr>Julia_<wbr>09/<wbr>BubbleSort.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158130">5158130</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315570/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315570">
<span class="time">11.16/4.06</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FContinue.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Continue.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158145">5158145</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315585/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315585">
<span class="time">4.36/1.99</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FContinue1.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Continue1.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158143">5158143</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315583/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315583">
<span class="time">4.23/1.96</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2Fcosta09-example_1.jar">Costa_<wbr>Julia_<wbr>09/<wbr>costa09-example_<wbr>1.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158138">5158138</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315578/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315578">
<span class="time">7.04/2.72</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2Fcosta09-example_2.jar">Costa_<wbr>Julia_<wbr>09/<wbr>costa09-example_<wbr>2.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158149">5158149</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315589/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315589">
<span class="time">6.54/2.65</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2Fcosta09-example_3.jar">Costa_<wbr>Julia_<wbr>09/<wbr>costa09-example_<wbr>3.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158134">5158134</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315574/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315574">
<span class="time">4.18/1.97</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2Fcosta09-example_4.jar">Costa_<wbr>Julia_<wbr>09/<wbr>costa09-example_<wbr>4.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158129">5158129</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315569/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315569">
<span class="time">4.04/1.89</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2Fcosta09-example_5.jar">Costa_<wbr>Julia_<wbr>09/<wbr>costa09-example_<wbr>5.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158142">5158142</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315582/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315582">
<span class="time">4.79/2.19</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FCyclicalListDuplicate.jar">Costa_<wbr>Julia_<wbr>09/<wbr>CyclicalListDuplicate.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158151">5158151</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315591/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315591">
<span class="time">6.02/2.76</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FDiff.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Diff.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158135">5158135</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315575/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315575">
<span class="time">5.35/2.22</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FExc.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Exc.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158146">5158146</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315586/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315586">
<span class="time">3.96/1.90</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FExc1.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Exc1.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158144">5158144</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315584/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315584">
<span class="time">7.22/2.89</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FExc2.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Exc2.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158132">5158132</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315572/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315572">
<span class="time">6.10/2.50</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FExc3.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Exc3.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158139">5158139</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315579/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315579">
<span class="time">4.55/2.47</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FExc4.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Exc4.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158148">5158148</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315588/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315588">
<span class="time">4.94/2.14</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FExc5.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Exc5.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158141">5158141</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315581/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315581">
<span class="time">4.50/2.05</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FInit.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Init.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158137">5158137</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315577/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315577">
<span class="time">3.95/2.92</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FKnapsackDP.jar">Costa_<wbr>Julia_<wbr>09/<wbr>KnapsackDP.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158131">5158131</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315571/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315571">
<span class="time">23.69/7.47</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FLinkedList.jar">Costa_<wbr>Julia_<wbr>09/<wbr>LinkedList.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158136">5158136</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315576/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315576">
<span class="time">9.87/3.47</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FLoop1.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Loop1.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158133">5158133</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315573/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315573">
<span class="time">5.73/2.35</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FNested.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Nested.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158140">5158140</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315580/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315580">
<span class="time">5.68/2.41</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FSequence.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Sequence.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158150">5158150</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315590/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315590">
<span class="time">4.88/2.10</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FCosta_Julia_09%2FSharing.jar">Costa_<wbr>Julia_<wbr>09/<wbr>Sharing.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158128">5158128</a></td>
<td style="display:none">f <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315568/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315568">
<span class="time">3.96/1.86</span>
</a>
<td class="YES">YES
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FLoopingNonterm.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>LoopingNonterm.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158110">5158110</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315631/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315631">
<span class="time">4.83/2.18</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FNonPeriodicNonterm2.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>NonPeriodicNonterm2.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158094">5158094</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315615/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315615">
<span class="time">5.96/2.47</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-alternatingIncr.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-alternatingIncr.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158122">5158122</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315643">timeout (wallclock)</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-alternDiv.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-alternDiv.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158112">5158112</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315633/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315633">
<span class="time">5.22/2.24</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-alternDivWide.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-alternDivWide.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158083">5158083</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315604/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315604">
<span class="time">11.87/4.33</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-alternDivWidening.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-alternDivWidening.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158119">5158119</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315640/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315640">
<span class="time">13.99/4.85</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-alternKonv.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-alternKonv.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158109">5158109</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315630/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315630">
<span class="time">7.12/2.78</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-collatz.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-collatz.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158092">5158092</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315613">timeout (wallclock)</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-complInterv.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-complInterv.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158120">5158120</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315641/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315641">
<span class="time">4.71/2.15</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-complInterv2.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-complInterv2.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158108">5158108</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315629/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315629">
<span class="time">4.51/2.04</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-complInterv3.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-complInterv3.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158118">5158118</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315639/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315639">
<span class="time">4.73/2.09</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-complxStruc.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-complxStruc.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158098">5158098</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315619/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315619">
<span class="time">11.72/6.55</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-convLower.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-convLower.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158097">5158097</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315618/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315618">
<span class="time">9.18/2.11</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-cousot.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-cousot.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158124">5158124</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315645/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315645">
<span class="time">5.83/2.41</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-doubleNeg.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-doubleNeg.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158072">5158072</a></td>
<td style="display:none">uf <td class="MAYBE">MAYBE
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315593">timeout (wallclock)</a>
<td class="MAYBE">MAYBE
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-even.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-even.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158106">5158106</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315627/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315627">
<span class="time">5.73/2.40</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-ex01.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-ex01.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158088">5158088</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315609/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=433315609">
<span class="time">6.15/2.46</span>
</a>
<td class="NO">NO
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Java_Bytecode%2FBSOG_FoVeOOS_11%2FVelroyen08-ex02.jar">BSOG_<wbr>FoVeOOS_<wbr>11/<wbr>Velroyen08-ex02.jar</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5158126">5158126</a></td>
<td style="display:none">f <td class="NO">NO
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/433315647/stdout/1?limit=-1">NO</a>