TermCOMP 2009
: LP EMPTY
benchmark
AProVE
--
YES
NO
MAYBE
TIMEOUT
REJECTED
ERROR
tpdb-8.0/LP/EMPTY/talp_apt_empty/dc_mod.pl
YES
1679
tpdb-8.0/LP/EMPTY/talp_apt_empty/gt_mod.pl
YES
1687
2