Results for instance z4ml.blif_0.10_0.20_0_1_inp_exact <br> QBFEVAL'08

qbflib.org

Results for instance z4ml.blif_0.10_0.20_0_1_inp_exact
QBFEVAL'08

Solver	Time	Result
quantor3.0	0	SAT
ssolveB	0.01	SAT
ssolveC	0.01	SAT
ssolve-A	0.01	SAT
Nenofex	0.04	SAT
QuBE6.1	0.04	SAT
AQME-1NN	0.83	SAT