Results for instance robots_1_5_5_24.2
QBFEVAL'10 - Random QBFs Track.



Solver Time Result
depqbf0.21SAT
depqbf-pre0.22SAT
quantor-3.10.95SAT
aqme-102.99SAT
QuBE724.88SAT
QuBE7-c24.91SAT
QuBE7-m25.26SAT
nenofex-qbfeval1049.98SAT
struqs-10652.47SAT