Results for instance vis.4-arbit^2.E-f2
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qesto0.03SAT
rareqs0.03SAT
qestos0.03SAT
hiqqer1ldsq0.06SAT
hiqqer30.08SAT
hiqqer10.08SAT
aqua-s3o0.16SAT
aqua-s2v0.16SAT
aqua-f3v0.16SAT
AIGSolve0.2SAT
xb-qsts0.23SAT
xb-bid-qsts0.24SAT
caqe-minisat0.24SAT
caqe-picosat0.25SAT
iprover-QBF-bloqqer0.26SAT
ghostq-plain0.29SAT
ghostq-cegar0.31SAT
depqbf-v20.41SAT
struqs-100.54SAT
squeezebf+struqs0.55SAT
depqbf-v11.02SAT
depqbf-v37.36SAT
iprover-QBF14.36SAT
qsts599.71FAIL