Results for instance counter_e_4
QBFEVAL'08



Solver Time Result
quantor3.00.02SAT
Nenofex0.11SAT
QuBE6.10.23SAT
AQME-1NN0.95SAT
ssolveC10.54SAT
ssolve-A12.06SAT
ssolveB14.92SAT