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



Solver Time Result
rareqs0.33UNSAT
aqua-f3v0.37UNSAT
aqua-s2v0.37UNSAT
aqua-s3o0.37UNSAT
depqbf-v21.81UNSAT
hiqqer1ldsq2.84UNSAT
hiqqer12.89UNSAT
hiqqer33.04UNSAT
xb-qsts4.65UNSAT
xb-bid-qsts4.73UNSAT
qesto6.3UNSAT
depqbf-v36.73UNSAT
depqbf-v17.21UNSAT
caqe-picosat7.27UNSAT
caqe-minisat11.47UNSAT
iprover-QBF373.94FAIL
iprover-QBF-bloqqer380.54FAIL
qsts599.71FAIL
squeezebf+struqs599.72FAIL
struqs-10599.82FAIL
qestos599.91FAIL