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



Solver Time Result
depqbf-v10.11UNSAT
qestos0.55UNSAT
qesto0.92UNSAT
ghostq-plain0.96UNSAT
aqua-f3v0.97UNSAT
hiqqer1ldsq0.99UNSAT
hiqqer11UNSAT
depqbf-v31.01UNSAT
rareqs1.33UNSAT
ghostq-cegar1.39UNSAT
aqua-s2v1.39UNSAT
xb-qsts1.65UNSAT
aqua-s3o1.67UNSAT
hiqqer31.67UNSAT
caqe-minisat1.75UNSAT
depqbf-v22.11UNSAT
caqe-picosat2.12UNSAT
qsts3.27UNSAT
squeezebf+struqs11.04UNSAT
struqs-1015.36UNSAT
xb-bid-qsts35.05SAT
iprover-QBF-bloqqer59.15UNSAT
AIGSolve202.84UNSAT
iprover-QBF599.22FAIL