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



Solver Time Result
quantor-3.1149.34FAIL
nenofex-qbfeval101110.73FAIL
aqme-101200FAIL
QuBE71200.02FAIL
QuBE7-c1200.03FAIL
QuBE7-m1200.03FAIL
struqs-101200.08FAIL
depqbf-pre1200.16FAIL
depqbf1200.16FAIL