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



Solver Time Result
xb-bid-qsts31.51SAT
iprover-QBF303.66FAIL
iprover-QBF-bloqqer333.65FAIL
depqbf-v1592.52FAIL
depqbf-v2593.43FAIL
qsts599.71FAIL
hiqqer1ldsq599.71FAIL
hiqqer1599.71FAIL
depqbf-v3599.71FAIL
hiqqer3599.71FAIL
xb-qsts599.71FAIL
qesto599.71FAIL
aqua-s3o599.72FAIL
squeezebf+struqs599.72FAIL
caqe-picosat599.76FAIL
caqe-minisat599.79FAIL
rareqs599.81FAIL
aqua-s2v599.81FAIL
struqs-10599.81FAIL
aqua-f3v599.82FAIL
qestos599.91FAIL