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



Solver Time Result
aqme-1011.11UNSAT
quantor-3.122.15FAIL
depqbf-pre214.58UNSAT
QuBE7280.84UNSAT
QuBE7-m311.4UNSAT
QuBE7-c312.08UNSAT
struqs-101200.08FAIL
nenofex-qbfeval101200.17FAIL
depqbf1200.18FAIL