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



Solver Time Result
struqs-100SAT
quantor-3.10.01SAT
QuBE7-c0.01SAT
QuBE7-m0.01SAT
depqbf-pre0.01SAT
depqbf0.01SAT
QuBE70.01SAT
nenofex-qbfeval100.02SAT
aqme-100.98SAT