Results for instance k_poly_n-3 <br> QBFEVAL'08

qbflib.org

Results for instance k_poly_n-3
QBFEVAL'08

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