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



Solver Time Result
depqbf-pre0.38SAT
depqbf0.51SAT
quantor-3.11.62SAT
aqme-103.76SAT
QuBE7-m48.41SAT
QuBE749.06SAT
QuBE7-c49.38SAT
nenofex-qbfeval1052.22SAT
struqs-101200.09FAIL