| benchmark
|
AProVE
|
|
tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl
|
YES
845
|
|
tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl
|
MAYBE
2052
|
|
tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl
|
YES
1009
|
|
tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl
|
YES
857
|
|
tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl
|
MAYBE
1762
|
|
tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl
|
MAYBE
1754
|
|
tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl
|
YES
806
|
|
tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl
|
MAYBE
2026
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl
|
MAYBE
1967
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl
|
YES
1922
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl
|
YES
1715
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl
|
YES
1093
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl
|
YES
1828
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl
|
YES
1075
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl
|
YES
862
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl
|
YES
1005
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl
|
YES
926
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl
|
YES
857
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl
|
YES
1044
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/existential.pl
|
MAYBE
2014
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl
|
TIMEOUT
60499
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl
|
YES
1006
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/max_valued.pl
|
YES
852
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl
|
MAYBE
2017
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/shape.pl
|
YES
987
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl
|
YES
1061
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/star1.pl
|
YES
1717
|
|
tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl
|
MAYBE
2077
|
|
tpdb-8.0/LP/CUT/Stroeder_09/add1.pl
|
YES
999
|
|
tpdb-8.0/LP/CUT/Stroeder_09/add3.pl
|
YES
995
|
|
tpdb-8.0/LP/CUT/Stroeder_09/app2.pl
|
MAYBE
5334
|
|
tpdb-8.0/LP/CUT/Stroeder_09/app3.pl
|
YES
1017
|
|
tpdb-8.0/LP/CUT/Stroeder_09/applast.pl
|
MAYBE
10143
|
|
tpdb-8.0/LP/CUT/Stroeder_09/btappend.pl
|
MAYBE
6855
|
|
tpdb-8.0/LP/CUT/Stroeder_09/btapplast.pl
|
MAYBE
10302
|
|
tpdb-8.0/LP/CUT/Stroeder_09/btree.pl
|
YES
1395
|
|
tpdb-8.0/LP/CUT/Stroeder_09/confdel.pl
|
YES
1384
|
|
tpdb-8.0/LP/CUT/Stroeder_09/dependency2.pl
|
YES
1423
|
|
tpdb-8.0/LP/CUT/Stroeder_09/dependency.pl
|
YES
1271
|
|
tpdb-8.0/LP/CUT/Stroeder_09/divminus2.pl
|
YES
1578
|
|
tpdb-8.0/LP/CUT/Stroeder_09/fold1.pl
|
YES
904
|
|
tpdb-8.0/LP/CUT/Stroeder_09/lessleaves.pl
|
MAYBE
15954
|
|
tpdb-8.0/LP/CUT/Stroeder_09/less.pl
|
YES
1050
|
|
tpdb-8.0/LP/CUT/Stroeder_09/lte2.pl
|
YES
894
|
|
tpdb-8.0/LP/CUT/Stroeder_09/mul1.pl
|
YES
1225
|
|
tpdb-8.0/LP/CUT/Stroeder_09/plumer453a.pl
|
YES
857
|
|
tpdb-8.0/LP/CUT/Stroeder_09/plumer453b.pl
|
YES
853
|
|
tpdb-8.0/LP/CUT/Stroeder_09/prime_fact.pl
|
TIMEOUT
60522
|
|
tpdb-8.0/LP/CUT/Stroeder_09/times1.pl
|
MAYBE
16906
|
|
tpdb-8.0/LP/CUT/Stroeder_09/ts02.pl
|
YES
842
|
|
|
34
|
|---|