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



Solver Time Result
QuBE70.35UNSAT
QuBE7-m0.35UNSAT
QuBE7-c0.36UNSAT
struqs-1012.41UNSAT
quantor-3.1100.68FAIL
nenofex-qbfeval10422.59FAIL
aqme-101200FAIL
depqbf-pre1200.14FAIL
depqbf1200.17FAIL