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



Solver Time Result
QuBE7-m1.34SAT
QuBE7-c1.4SAT
QuBE71.95SAT
quantor-3.1122.05FAIL
aqme-101200FAIL
struqs-101200.08FAIL
depqbf-pre1200.14FAIL
depqbf1200.16FAIL
nenofex-qbfeval101200.19FAIL