Results for instance robots_1_5_5_93.4
QBFEVAL'10 - Random QBFs Track.



Solver Time Result
aqme-103.63SAT
depqbf-pre7.92SAT
depqbf11.75SAT
quantor-3.191.02FAIL
QuBE7461.55SAT
QuBE7-m470SAT
QuBE7-c476.55SAT
nenofex-qbfeval10520.12SAT
struqs-101200.08FAIL