Results for instance Q_2-3_v-80-100_r-13.9
QBFEVAL'16 - Random QBFs Track.



Solver Time Result
depqbf-v30.12UNSAT
aqua-f3v0.14UNSAT
depqbf-v10.21UNSAT
depqbf-v20.21UNSAT
aqua-s2v0.21UNSAT
rareqs0.57UNSAT
aqua-s3o1.44UNSAT
qsts5.99UNSAT
caqe-minisat14.78UNSAT
xb-bid-qsts25.05SAT
caqe-picosat42.41UNSAT
xb-qsts82.9UNSAT
iprover-QBF-bloqqer287.75FAIL
iprover-QBF315.44FAIL
hiqqer3599.71FAIL
hiqqer1ldsq599.71FAIL
squeezebf+struqs599.71FAIL
qesto599.71FAIL
struqs-10599.71FAIL
hiqqer1599.81FAIL
qestos599.81FAIL