Results for instance T-adeu-42
QBFEVAL'16 - Random QBFs Track.



Solver Time Result
depqbf-v10.31UNSAT
iprover-QBF0.85FAIL
aqua-s3o1.63UNSAT
aqua-s2v2.16UNSAT
aqua-f3v2.22UNSAT
rareqs2.39UNSAT
qesto2.48UNSAT
qestos2.78UNSAT
hiqqer1ldsq5.4UNSAT
hiqqer15.6UNSAT
depqbf-v27.31UNSAT
hiqqer310.52UNSAT
caqe-picosat11UNSAT
xb-qsts11.5UNSAT
depqbf-v320.93UNSAT
qsts38UNSAT
xb-bid-qsts39.36SAT
caqe-minisat448.73UNSAT
iprover-QBF-bloqqer453.35FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL