Results for instance p20-20.pddl_planlen=23
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
qsts99.53FAIL
ghostq-plain174.63FAIL
ghostq-cegar175.32FAIL
rareqs-nn588.71FAIL
quabs-minisat599.71FAIL
xb-qsts599.71FAIL
xb-bid-qsts599.82FAIL
quabs-picosat600.08FAIL