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



Solver Time Result
aqua-f3v1.4UNSAT
depqbf-v15.21UNSAT
aqua-s2v8.77UNSAT
xb-bid-qsts29.29SAT
depqbf-v3141.66UNSAT
depqbf-v2142.02UNSAT
iprover-QBF286.24FAIL
iprover-QBF-bloqqer320.74FAIL
qsts599.71FAIL
hiqqer3599.71FAIL
squeezebf+struqs599.71FAIL
hiqqer1ldsq599.71FAIL
hiqqer1599.71FAIL
struqs-10599.71FAIL
qesto599.71FAIL
xb-qsts599.71FAIL
caqe-picosat599.72FAIL
caqe-minisat599.73FAIL
rareqs599.81FAIL
qestos599.81FAIL
aqua-s3o599.92FAIL