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



Solver Time Result
depqbf1.5SAT
depqbf-pre2.06SAT
aqme-104.22SAT
quantor-3.122.29FAIL
QuBE7200.34SAT
QuBE7-m200.99SAT
QuBE7-c203.4SAT
struqs-101200.08FAIL
nenofex-qbfeval101200.16FAIL