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



Solver Time Result
aqua-f3v0.06UNSAT
aqua-s2v0.06UNSAT
aqua-s3o0.07UNSAT
depqbf-v10.07UNSAT
depqbf-v30.08UNSAT
rareqs0.08UNSAT
caqe-picosat0.19UNSAT
depqbf-v20.21UNSAT
caqe-minisat9.68UNSAT
xb-bid-qsts26.72SAT
iprover-QBF280.14FAIL
iprover-QBF-bloqqer308.65FAIL
qsts505.46UNSAT
hiqqer3599.71FAIL
hiqqer1ldsq599.71FAIL
struqs-10599.71FAIL
qesto599.71FAIL
hiqqer1599.81FAIL
qestos599.81FAIL
squeezebf+struqs599.81FAIL
xb-qsts599.82FAIL