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



Solver Time Result
hiqqer1ldsq0.28UNSAT
hiqqer10.3UNSAT
aqua-s2v0.36UNSAT
aqua-s3o0.36UNSAT
aqua-f3v0.37UNSAT
hiqqer30.46UNSAT
xb-qsts1.51UNSAT
xb-bid-qsts1.57UNSAT
depqbf-v21.81UNSAT
rareqs2.8UNSAT
caqe-minisat2.84UNSAT
caqe-picosat6.36UNSAT
qesto8.65UNSAT
depqbf-v326.93UNSAT
depqbf-v138.52UNSAT
iprover-QBF-bloqqer266.45FAIL
iprover-QBF315.44FAIL
qsts325.83UNSAT
squeezebf+struqs599.71FAIL
struqs-10599.72FAIL
qestos599.81FAIL