Results for instance counter_4
QBFEVAL'08



Solver Time Result
quantor3.00.01SAT
ssolveC0.03SAT
ssolve-A0.03SAT
ssolveB0.03SAT
QuBE6.10.08SAT
Nenofex0.17SAT
AQME-1NN0.92SAT