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



Solver Time Result
QuBE7-m0.14UNSAT
QuBE70.14UNSAT
QuBE7-c0.14UNSAT
struqs-104.88UNSAT
nenofex-qbfeval10424.63FAIL
depqbf1199.93FAIL
aqme-101200FAIL
depqbf-pre1200.12FAIL
quantor-3.11200.12FAIL