TermCOMP 2010: Logic Programming with Cut

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