Results for instance comp.blif_0.10_1.00_0_1_out_exact <br> QBFEVAL'08

qbflib.org

Results for instance comp.blif_0.10_1.00_0_1_out_exact
QBFEVAL'08

Solver	Time	Result
quantor3.0	0.02	SAT
ssolveC	0.02	SAT
ssolve-A	0.04	SAT
ssolveB	0.04	SAT
Nenofex	0.04	SAT
QuBE6.1	0.05	SAT
AQME-1NN	1.62	SAT