-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathLogic_Programming.html
3835 lines (3834 loc) · 224 KB
/
Logic_Programming.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: Logic Programming</title>
</head>
<body>
<h1><a href=".">TermCOMP 2019</a>: Logic Programming
<a class=starexecid href="https://www.starexec.org/starexec/secure/details/job.jsp?id=33595">33595</a>
<a class=csv href="../fromStarExec/Job33595/Job33595_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><a href="https://www.starexec.org/starexec/secure/details/solver.jsp?id=22308">NTI</a>
<a class=config href="https://www.starexec.org/starexec/secure/details/configuration.jsp?id=325861">default</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>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fmergesort_t.pl">talp_<wbr>plumer/<wbr>mergesort_<wbr>t.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154376">5154376</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324347/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324347">
<span class="time">11.99/3.95</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324348">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl1.1.pl">talp_<wbr>plumer/<wbr>pl1.1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154391">5154391</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324377/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324377">
<span class="time">6.26/2.44</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324378/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324378">
<span class="time">0.16/0.14</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl1.2.pl">talp_<wbr>plumer/<wbr>pl1.2.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154373">5154373</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324341/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324341">
<span class="time">5.54/2.22</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324342">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl1.2_t.pl">talp_<wbr>plumer/<wbr>pl1.2_<wbr>t.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154382">5154382</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324359/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324359">
<span class="time">6.12/2.40</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324360">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl2.3.1.pl">talp_<wbr>plumer/<wbr>pl2.3.1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154378">5154378</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324351/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324351">
<span class="time">3.45/1.61</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324352">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl3.1.1.pl">talp_<wbr>plumer/<wbr>pl3.1.1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154381">5154381</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324357/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324357">
<span class="time">8.21/3.01</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324358/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324358">
<span class="time">0.16/0.15</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl3.5.6.pl">talp_<wbr>plumer/<wbr>pl3.5.6.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154390">5154390</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324375/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324375">
<span class="time">6.17/2.42</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324376/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324376">
<span class="time">0.16/0.14</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl3.5.6a.pl">talp_<wbr>plumer/<wbr>pl3.5.6a.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154387">5154387</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324369/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324369">
<span class="time">3.34/1.69</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324370">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl4.0.1-oooi.pl">talp_<wbr>plumer/<wbr>pl4.0.1-oooi.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154384">5154384</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324363/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324363">
<span class="time">5.87/2.31</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324364/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324364">
<span class="time">0.17/0.15</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl4.0.1.pl">talp_<wbr>plumer/<wbr>pl4.0.1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154397">5154397</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324389/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324389">
<span class="time">3.96/1.84</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324390">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl4.4.3.pl">talp_<wbr>plumer/<wbr>pl4.4.3.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154392">5154392</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324379/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324379">
<span class="time">6.20/2.32</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324380">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl4.4.6a.pl">talp_<wbr>plumer/<wbr>pl4.4.6a.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154377">5154377</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324349/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324349">
<span class="time">4.09/1.91</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324350">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl4.5.2.pl">talp_<wbr>plumer/<wbr>pl4.5.2.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154386">5154386</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324367/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324367">
<span class="time">37.40/10.50</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324368/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324368">
<span class="time">0.16/0.14</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl4.5.3a.pl">talp_<wbr>plumer/<wbr>pl4.5.3a.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154396">5154396</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324387/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324387">
<span class="time">6.38/2.47</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324388/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324388">
<span class="time">0.16/0.13</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl4.5.3b.pl">talp_<wbr>plumer/<wbr>pl4.5.3b.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154389">5154389</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324373/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324373">
<span class="time">8.68/3.14</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324374/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324374">
<span class="time">0.16/0.15</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl4.5.3c.pl">talp_<wbr>plumer/<wbr>pl4.5.3c.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154385">5154385</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324365/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324365">
<span class="time">6.42/2.49</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324366/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324366">
<span class="time">0.16/0.14</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl5.2.2.pl">talp_<wbr>plumer/<wbr>pl5.2.2.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154372">5154372</a></td>
<td style="display:none">buf <td class="MAYBE">MAYBE
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324339">timeout (wallclock)</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324340">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl6.1.1.pl">talp_<wbr>plumer/<wbr>pl6.1.1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154371">5154371</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324337/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324337">
<span class="time">8.91/3.60</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324338">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl7.2.9.pl">talp_<wbr>plumer/<wbr>pl7.2.9.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154379">5154379</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324353/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324353">
<span class="time">3.95/1.85</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324354">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl7.6.2a.pl">talp_<wbr>plumer/<wbr>pl7.6.2a.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154395">5154395</a></td>
<td style="display:none">buf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324385/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324385">
<span class="time">16.34/7.04</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324386">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl7.6.2b.pl">talp_<wbr>plumer/<wbr>pl7.6.2b.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154374">5154374</a></td>
<td style="display:none">buf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324343/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324343">
<span class="time">172.53/44.67</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324344">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl7.6.2c.pl">talp_<wbr>plumer/<wbr>pl7.6.2c.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154388">5154388</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324371/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324371">
<span class="time">8.33/3.12</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324372">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl8.2.1.pl">talp_<wbr>plumer/<wbr>pl8.2.1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154383">5154383</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324361/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324361">
<span class="time">14.66/4.66</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324362">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl8.2.1a.pl">talp_<wbr>plumer/<wbr>pl8.2.1a.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154394">5154394</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324383/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324383">
<span class="time">10.81/3.67</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324384">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl8.3.1.pl">talp_<wbr>plumer/<wbr>pl8.3.1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154375">5154375</a></td>
<td style="display:none">buf <td class="MAYBE">MAYBE
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324345">timeout (wallclock)</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324346">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl8.3.1a.pl">talp_<wbr>plumer/<wbr>pl8.3.1a.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154393">5154393</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324381/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324381">
<span class="time">9.48/3.26</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324382">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl8.4.1.pl">talp_<wbr>plumer/<wbr>pl8.4.1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154398">5154398</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324391/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324391">
<span class="time">3.82/1.72</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324392">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_plumer%2Fpl8.4.2.pl">talp_<wbr>plumer/<wbr>pl8.4.2.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154380">5154380</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324355/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324355">
<span class="time">5.79/2.24</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324356">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fack.pl">talp_<wbr>mixed/<wbr>ack.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154345">5154345</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324427/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324427">
<span class="time">3.79/1.76</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324428">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fbad_sublist.pl">talp_<wbr>mixed/<wbr>bad_<wbr>sublist.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154342">5154342</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324421/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324421">
<span class="time">7.26/2.72</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324422/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324422">
<span class="time">0.18/0.15</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Ffib_t.pl">talp_<wbr>mixed/<wbr>fib_<wbr>t.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154343">5154343</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324423/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324423">
<span class="time">4.24/2.00</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324424">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fflat-oi.pl">talp_<wbr>mixed/<wbr>flat-oi.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154336">5154336</a></td>
<td style="display:none">buf <td class="MAYBE">MAYBE
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324409/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324409">
<span class="time">7.08/2.79</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324410">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fflat.pl">talp_<wbr>mixed/<wbr>flat.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154328">5154328</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324393/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324393">
<span class="time">5.37/2.13</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324394">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fhanoiapp.suc.pl">talp_<wbr>mixed/<wbr>hanoiapp.suc.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154329">5154329</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324395/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324395">
<span class="time">8.06/2.96</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324396">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fmergesort.pl">talp_<wbr>mixed/<wbr>mergesort.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154344">5154344</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324425/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324425">
<span class="time">16.29/5.06</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324426">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fp.pl">talp_<wbr>mixed/<wbr>p.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154333">5154333</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324403/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324403">
<span class="time">3.74/1.78</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324404">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fperm.pl">talp_<wbr>mixed/<wbr>perm.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154346">5154346</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324429/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324429">
<span class="time">5.71/2.28</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324430">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fpermute1.pl">talp_<wbr>mixed/<wbr>permute1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154330">5154330</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324397/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324397">
<span class="time">5.50/2.25</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324398">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fqicksort.pl">talp_<wbr>mixed/<wbr>qicksort.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154338">5154338</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324413/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324413">
<span class="time">9.47/3.25</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324414">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fqueens.pl">talp_<wbr>mixed/<wbr>queens.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154334">5154334</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324405/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324405">
<span class="time">8.42/3.04</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324406">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Freverse.pl">talp_<wbr>mixed/<wbr>reverse.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154331">5154331</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324399/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324399">
<span class="time">3.96/1.87</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324400">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Frotate.pl">talp_<wbr>mixed/<wbr>rotate.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154337">5154337</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324411/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324411">
<span class="time">4.17/2.01</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324412">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fsameleaves.pl">talp_<wbr>mixed/<wbr>sameleaves.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154340">5154340</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324417/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324417">
<span class="time">5.92/2.34</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324418">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fsicstus1.pl">talp_<wbr>mixed/<wbr>sicstus1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154332">5154332</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324401/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324401">
<span class="time">4.10/1.81</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324402">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fsublist.pl">talp_<wbr>mixed/<wbr>sublist.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154339">5154339</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324415/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324415">
<span class="time">4.46/2.07</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324416">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fsublist1.pl">talp_<wbr>mixed/<wbr>sublist1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154335">5154335</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324407/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324407">
<span class="time">3.93/1.78</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324408">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_mixed%2Fzebra.pl">talp_<wbr>mixed/<wbr>zebra.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154341">5154341</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324419/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324419">
<span class="time">6.10/2.45</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324420">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2Fappend-ooi.pl">terminweb_<wbr>new/<wbr>append-ooi.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154323">5154323</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324451/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324451">
<span class="time">3.98/1.77</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324452">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2Fbackwards_append.pl">terminweb_<wbr>new/<wbr>backwards_<wbr>append.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154324">5154324</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324453/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324453">
<span class="time">3.62/1.64</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324454">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2Fbasic_append.pl">terminweb_<wbr>new/<wbr>basic_<wbr>append.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154326">5154326</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324457/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324457">
<span class="time">3.98/1.75</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324458">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2Fder.pl">terminweb_<wbr>new/<wbr>der.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154327">5154327</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324459/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324459">
<span class="time">8.22/3.05</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324460/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324460">
<span class="time">0.14/0.14</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2FNJ1.pl">terminweb_<wbr>new/<wbr>NJ1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154321">5154321</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324447/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324447">
<span class="time">4.07/1.92</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324448">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2FNJ2.pl">terminweb_<wbr>new/<wbr>NJ2.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154322">5154322</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324449/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324449">
<span class="time">4.00/1.77</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324450">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2FNJ3.pl">terminweb_<wbr>new/<wbr>NJ3.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154318">5154318</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324441/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324441">
<span class="time">4.52/2.08</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324442">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2FNJ4.pl">terminweb_<wbr>new/<wbr>NJ4.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154325">5154325</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324455/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324455">
<span class="time">3.81/1.75</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324456">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2FNJ5.pl">terminweb_<wbr>new/<wbr>NJ5.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154313">5154313</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324431/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324431">
<span class="time">4.03/1.80</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324432">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2FNJ6.pl">terminweb_<wbr>new/<wbr>NJ6.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154316">5154316</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324437/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324437">
<span class="time">4.26/1.89</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324438">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2Fpreorder_dl.pl">terminweb_<wbr>new/<wbr>preorder_<wbr>dl.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154315">5154315</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324435/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324435">
<span class="time">3.91/1.79</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324436/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324436">
<span class="time">0.14/0.14</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2Fsom.pl">terminweb_<wbr>new/<wbr>som.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154319">5154319</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324443/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324443">
<span class="time">3.85/1.78</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324444/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324444">
<span class="time">0.14/0.13</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2Ftranspose.pl">terminweb_<wbr>new/<wbr>transpose.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154320">5154320</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324445/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324445">
<span class="time">5.06/2.18</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324446">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2Ftype-based_append.pl">terminweb_<wbr>new/<wbr>type-based_<wbr>append.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154314">5154314</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324433/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324433">
<span class="time">3.79/1.80</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324434">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Fterminweb_new%2Fways.pl">terminweb_<wbr>new/<wbr>ways.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154317">5154317</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324439/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324439">
<span class="time">18.78/5.71</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324440">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fappend.pl">talp_<wbr>talp/<wbr>append.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154478">5154478</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324469/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324469">
<span class="time">3.83/1.78</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324470">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fbinary.pl">talp_<wbr>talp/<wbr>binary.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154477">5154477</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324467/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324467">
<span class="time">6.65/2.64</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324468">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fbinary2.pl">talp_<wbr>talp/<wbr>binary2.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154497">5154497</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324507/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324507">
<span class="time">6.45/2.59</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324508">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fbinary3.pl">talp_<wbr>talp/<wbr>binary3.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154474">5154474</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324461/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324461">
<span class="time">6.85/2.56</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324462">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fbinary4.pl">talp_<wbr>talp/<wbr>binary4.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154475">5154475</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324463/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324463">
<span class="time">19.10/5.96</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324464/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324464">
<span class="time">0.19/0.16</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fdiv.pl">talp_<wbr>talp/<wbr>div.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154495">5154495</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324503/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324503">
<span class="time">6.33/2.54</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324504">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fevaluate.pl">talp_<wbr>talp/<wbr>evaluate.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154483">5154483</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324479/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324479">
<span class="time">7.10/7.09</span>
</a>
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324480/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324480">
<span class="time">0.14/0.13</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fexample1.pl">talp_<wbr>talp/<wbr>example1.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154491">5154491</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324495/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324495">
<span class="time">3.48/1.70</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324496">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fexample4-2.pl">talp_<wbr>talp/<wbr>example4-2.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154482">5154482</a></td>
<td style="display:none">ibf <td class="NO">NO
<td class="MAYBE">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324477/stdout/1?limit=-1">MAYBE</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324477">
<span class="time">6.76/2.57</span>
</a>
<td class="NO">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324478/stdout/1?limit=-1">NO</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324478">
<span class="time">0.16/0.14</span>
</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fexample4.pl">talp_<wbr>talp/<wbr>example4.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154486">5154486</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324485/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324485">
<span class="time">3.72/1.76</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324486">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fflat.pl">talp_<wbr>talp/<wbr>flat.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154476">5154476</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324465/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324465">
<span class="time">4.83/2.10</span>
</a>
<td class="timeout">
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324466">timeout (wallclock)</a>
<tr>
<td class=benchmark>
<a href="https://termcomp.github.io/tpdb.html?ver=11.0&path=Logic_Programming%2Ftalp_talp%2Fgcd.pl">talp_<wbr>talp/<wbr>gcd.pl</a>
<a class="starexecid" href="https://www.starexec.org/starexec/secure/details/benchmark.jsp?id=5154492">5154492</a></td>
<td style="display:none">ibf <td class="YES">YES
<td class="YES">
<a href="https://www.starexec.org/starexec/services/jobs/pairs/434324497/stdout/1?limit=-1">YES</a>
<a href="https://www.starexec.org/starexec/secure/details/pair.jsp?id=434324497">
<span class="time">7.69/2.90</span>
</a>
<td class="timeout">