Results for instance robots_1_5_5_33.8
QBFEVAL'10 - Random QBFs Track.



Solver Time Result
aqme-106.68UNSAT
quantor-3.122.15FAIL
depqbf34.39UNSAT
depqbf-pre136.51UNSAT
QuBE7-m901.32UNSAT
QuBE7902.03UNSAT
QuBE7-c903.67UNSAT
struqs-101200.09FAIL
nenofex-qbfeval101200.16FAIL