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



Solver Time Result
QuBE7-c0.05SAT
QuBE70.06SAT
QuBE7-m0.06SAT
depqbf-pre0.36SAT
nenofex-qbfeval101.58SAT
aqme-101.66SAT
quantor-3.12.28SAT
struqs-105.97SAT
depqbf102.2SAT