Results for instance ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
QBFEVAL'16 - Random QBFs Track.



Solver Time Result
aqua-f3v3.15SAT
aqua-s2v7.73SAT
aqua-s3o8.11SAT
xb-qsts15.62SAT
caqe-picosat28.56SAT
rareqs37.01SAT
xb-bid-qsts37.73SAT
caqe-minisat162.26SAT
iprover-QBF-bloqqer333.85FAIL
qesto352.23SAT
iprover-QBF392.34FAIL
depqbf-v2592.83FAIL
depqbf-v1593.72FAIL
qsts599.71FAIL
depqbf-v3599.71FAIL
struqs-10599.71FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
squeezebf+struqs599.81FAIL
qestos599.81FAIL