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



Solver Time Result
quantor-3.10SAT
QuBE70SAT
QuBE7-c0SAT
struqs-100.01SAT
depqbf-pre0.01SAT
depqbf0.01SAT
nenofex-qbfeval100.01SAT
QuBE7-m0.01SAT
aqme-101.04SAT