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



Solver Time Result
aqme-1012.71UNSAT
quantor-3.122.14FAIL
depqbf-pre47.07UNSAT
QuBE790.7UNSAT
QuBE7-c113.3UNSAT
QuBE7-m125.98UNSAT
struqs-101200.08FAIL
nenofex-qbfeval101200.16FAIL
depqbf1200.18FAIL