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



Solver Time Result
iprover-QBF-bloqqer264.35FAIL
iprover-QBF296.36FAIL
depqbf-v1592.72FAIL
depqbf-v2593.42FAIL
caqe-picosat599.7FAIL
squeezebf+struqs599.71FAIL
qsts599.71FAIL
hiqqer1599.71FAIL
struqs-10599.71FAIL
xb-qsts599.71FAIL
qesto599.71FAIL
rareqs599.71FAIL
caqe-minisat599.72FAIL
xb-bid-qsts599.72FAIL
depqbf-v3599.81FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
aqua-s2v599.82FAIL
aqua-s3o599.82FAIL
aqua-f3v599.91FAIL
qestos599.91FAIL