Results for instance ncf_8_16_4_u.6
QBFEVAL'16 - Random QBFs Track.



Solver Time Result
qesto0UNSAT
qestos0UNSAT
rareqs0UNSAT
aqua-f3v0.01UNSAT
aqua-s2v0.01UNSAT
aqua-s3o0.01UNSAT
xb-qsts0.02UNSAT
hiqqer1ldsq0.02UNSAT
depqbf-v10.02UNSAT
caqe-picosat0.02UNSAT
caqe-minisat0.02UNSAT
xb-bid-qsts0.03UNSAT
hiqqer10.03UNSAT
hiqqer30.04UNSAT
iprover-QBF-bloqqer0.05FAIL
depqbf-v20.05UNSAT
qsts0.09UNSAT
depqbf-v30.11UNSAT
iprover-QBF599.22FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL