TermCOMP 2011
: LP EMPTY
benchmark
AProVE
--
YES
NO
MAYBE
TIMEOUT
REJECTED
ERROR
tpdb-8.0/LP/EMPTY/talp_apt_empty/dc_mod.pl
YES
2562
tpdb-8.0/LP/EMPTY/talp_apt_empty/gt_mod.pl
YES
1783
2