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



Solver Time Result
QuBE7-c0.85SAT
QuBE7-m0.92SAT
QuBE71.35SAT
nenofex-qbfeval10122.41SAT
quantor-3.1187.16FAIL
aqme-101200FAIL
struqs-101200.08FAIL
depqbf1200.13FAIL
depqbf-pre1200.15FAIL