Results for instance ev-pr-4x4-7-3-0-0-1-lg
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v10.11SAT
rareqs0.22SAT
hiqqer1ldsq0.61SAT
hiqqer10.63SAT
caqe-minisat0.73SAT
depqbf-v21.12SAT
depqbf-v31.17SAT
hiqqer31.19SAT
aqua-s3o1.24SAT
aqua-s2v1.27SAT
aqua-f3v1.35SAT
xb-qsts1.88SAT
xb-bid-qsts2SAT
caqe-picosat2.71SAT
ghostq-plain4.12SAT
qestos4.99SAT
ghostq-cegar8.77SAT
qesto14.48SAT
iprover-QBF20.8SAT
squeezebf+struqs29.4SAT
struqs-1029.57SAT
qsts288.63FAIL
iprover-QBF-bloqqer385.34FAIL
AIGSolve599.92FAIL