Results for instance texas.PI_main^16.E-f2
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts0.03UNSAT
rareqs0.08SAT
qestos0.08SAT
qesto0.08SAT
aqua-f3v0.08SAT
aqua-s3o0.09SAT
aqua-s2v0.09SAT
hiqqer1ldsq0.12SAT
hiqqer30.13SAT
hiqqer10.13SAT
ghostq-plain0.77SAT
ghostq-cegar0.8SAT
xb-bid-qsts0.99SAT
xb-qsts0.99SAT
caqe-picosat1SAT
caqe-minisat1SAT
iprover-QBF-bloqqer1.01SAT
AIGSolve1.24SAT
depqbf-v21.41SAT
struqs-106.7SAT
squeezebf+struqs6.72SAT
depqbf-v1593.52FAIL
iprover-QBF599.22FAIL
depqbf-v3599.71FAIL