Results for instance p20-1.pddl_planlen=32
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
iprover-QBF0.13FAIL
xb-bid-qsts28.88UNSAT
qsts259.75FAIL
depqbf-v1593.42FAIL
depqbf-v2593.62FAIL
iprover-QBF-bloqqer599.22FAIL
caqe-minisat599.7FAIL
xb-qsts599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
AIGSolve599.71FAIL
qestos599.71FAIL
qesto599.71FAIL
caqe-picosat599.81FAIL
aqua-f3v599.81FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
ghostq-cegar599.81FAIL
rareqs599.81FAIL
depqbf-v3599.81FAIL
aqua-s2v599.82FAIL
aqua-s3o599.84FAIL
ghostq-plain600.01FAIL