Results for instance emptyroom_e3_ser---19_
QBFEVAL'10 - Competitive Track.



Solver Time Result
nenofex-qbfeval1059.59UNSAT
aqme-1088.97UNSAT
quantor-3.1108.82UNSAT
qmaiga173.65UNSAT
AIGSolve184.67UNSAT
QuBE71200.02FAIL
QuBE7-c1200.02FAIL
QuBE7-m1200.02FAIL
struqs-101200.07FAIL
depqbf-pre1200.16FAIL
depqbf1200.16FAIL