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



Solver Time Result
QuBE7-c0.07SAT
QuBE7-m0.07SAT
QuBE70.08SAT
depqbf-pre1.59SAT
quantor-3.166.66FAIL
nenofex-qbfeval10136.48SAT
aqme-101200FAIL
struqs-101200.08FAIL
depqbf1200.17FAIL