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



Solver Time Result
QuBE7-c1.33SAT
QuBE7-m1.4SAT
QuBE72.12SAT
quantor-3.187.88FAIL
aqme-101200FAIL
struqs-101200.07FAIL
depqbf-pre1200.14FAIL
depqbf1200.16FAIL
nenofex-qbfeval101200.17FAIL