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



Solver Time Result
aqua-s3o1.15SAT
aqua-f3v2SAT
aqua-s2v2.19SAT
xb-qsts7.41SAT
xb-bid-qsts7.5SAT
rareqs8.37SAT
caqe-picosat17.55SAT
qesto41.99SAT
caqe-minisat73.62SAT
iprover-QBF-bloqqer289.74FAIL
iprover-QBF330.06FAIL
depqbf-v1591.52FAIL
depqbf-v2593.22FAIL
depqbf-v3599.71FAIL
qsts599.71FAIL
struqs-10599.71FAIL
hiqqer1599.81FAIL
hiqqer1ldsq599.81FAIL
squeezebf+struqs599.81FAIL
hiqqer3599.91FAIL
qestos599.91FAIL