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



Solver Time Result
QuBE70.08UNSAT
QuBE7-c0.08UNSAT
QuBE7-m0.08UNSAT
struqs-101.44UNSAT
aqme-1082.77UNSAT
quantor-3.1162.91UNSAT
nenofex-qbfeval10875.06FAIL
depqbf-pre1200.17FAIL
depqbf1200.17FAIL