Results for instance gttt_2_1_00011020_4x4_b
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
xb-qsts10.46UNSAT
ghostq-plain21.94UNSAT
xb-bid-qsts41.67SAT
hiqqer1ldsq59.64UNSAT
hiqqer165.82UNSAT
hiqqer368.88UNSAT
depqbf-v274.01UNSAT
depqbf-v375.2UNSAT
depqbf-v1148.81UNSAT
caqe-minisat159.77UNSAT
caqe-picosat216.73UNSAT
aqua-s2v233.67FAIL
aqua-s3o239.6FAIL
iprover-QBF-bloqqer260.75FAIL
aqua-f3v331.52FAIL
qesto528.36UNSAT
AIGSolve570.49FAIL
iprover-QBF599.22FAIL
qsts599.71FAIL
qestos599.71FAIL
rareqs599.71FAIL
struqs-10599.71FAIL
squeezebf+struqs599.81FAIL
ghostq-cegar599.81FAIL