Results for instance stmt19_142_261
QBFEVAL'10 - 2QBF Track.



Solver Time Result
QuBE7-c0.28UNSAT
QuBE70.3UNSAT
QuBE7-m0.3UNSAT
aqme-106.05UNSAT
struqs-1012.99UNSAT
quantor-3.1315.32FAIL
nenofex-qbfeval10436.29FAIL
depqbf-pre1200.15FAIL
depqbf1200.17FAIL