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



Solver Time Result
QuBE71.01UNSAT
quantor-3.170.6FAIL
nenofex-qbfeval10381.27FAIL
aqme-101200FAIL
QuBE7-c1200.02FAIL
QuBE7-m1200.02FAIL
struqs-101200.09FAIL
depqbf-pre1200.15FAIL
depqbf1200.16FAIL