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



Solver Time Result
depqbf-pre0.35SAT
depqbf0.39SAT
quantor-3.11.23SAT
aqme-103.01SAT
QuBE715.11SAT
QuBE7-m15.22SAT
QuBE7-c15.24SAT
nenofex-qbfeval1045.83SAT
struqs-10772.93SAT