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



Solver Time Result
xb-bid-qsts27.83SAT
iprover-QBF291.56FAIL
iprover-QBF-bloqqer312.64FAIL
depqbf-v1593.62FAIL
depqbf-v2593.82FAIL
qsts599.71FAIL
squeezebf+struqs599.71FAIL
hiqqer1ldsq599.71FAIL
hiqqer1599.71FAIL
struqs-10599.71FAIL
xb-qsts599.71FAIL
qesto599.71FAIL
qestos599.81FAIL
hiqqer3599.81FAIL
rareqs599.81FAIL
caqe-minisat599.81FAIL
depqbf-v3599.81FAIL
aqua-s3o599.82FAIL
aqua-s2v599.82FAIL
aqua-f3v599.82FAIL
caqe-picosat599.82FAIL