Results for instance ev-pr-8x8-7-7-0-1-2-lg
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v12.71UNSAT
hiqqer1ldsq10.53UNSAT
hiqqer110.66UNSAT
rareqs11.11UNSAT
depqbf-v314.68UNSAT
depqbf-v216.31UNSAT
xb-qsts18.16UNSAT
xb-bid-qsts18.58UNSAT
hiqqer321.25UNSAT
qestos21.95UNSAT
aqua-s2v58.66UNSAT
aqua-f3v58.77UNSAT
aqua-s3o59.45UNSAT
ghostq-cegar60.12UNSAT
caqe-picosat84.57UNSAT
ghostq-plain96.13UNSAT
caqe-minisat105.43UNSAT
qesto273.39UNSAT
qsts294.66FAIL
iprover-QBF379.74FAIL
AIGSolve592.37FAIL
iprover-QBF-bloqqer599.22FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL