Results for instance stmt24_148_149
QBFEVAL'08



Solver Time Result
ssolve-A0.01SAT
ssolveB0.01SAT
ssolveC0.01SAT
quantor3.00.01SAT
QuBE6.10.01SAT
Nenofex0.02SAT
AQME-1NN0.83SAT