Results for instance p5-5.pddl_planlen=6
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qesto0.03SAT
aqua-f3v0.03SAT
aqua-s2v0.03SAT
rareqs0.03SAT
qsts0.04SAT
qestos0.04SAT
depqbf-v30.05SAT
aqua-s3o0.05SAT
iprover-QBF0.06FAIL
AIGSolve0.06SAT
depqbf-v10.06SAT
hiqqer1ldsq0.14SAT
hiqqer10.15SAT
hiqqer30.25SAT
caqe-minisat0.28SAT
caqe-picosat0.29SAT
depqbf-v20.31SAT
xb-qsts0.32SAT
xb-bid-qsts0.37SAT
struqs-100.43SAT
squeezebf+struqs0.45SAT
ghostq-plain0.6SAT
ghostq-cegar0.68SAT
iprover-QBF-bloqqer11.58SAT