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



Solver Time Result
QuBE70.37UNSAT
QuBE7-c0.37UNSAT
QuBE7-m0.38UNSAT
aqme-108.75UNSAT
struqs-1015.15UNSAT
quantor-3.198.67FAIL
nenofex-qbfeval10419.08FAIL
depqbf-pre1200.16FAIL
depqbf1200.17FAIL