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



Solver Time Result
quantor-3.122.17FAIL
aqme-10145.94UNSAT
depqbf-pre238.54UNSAT
QuBE7339.64UNSAT
QuBE7-m395.12UNSAT
QuBE7-c421.59UNSAT
depqbf489.59UNSAT
struqs-101200.09FAIL
nenofex-qbfeval101200.16FAIL