Results for instance k_path_p-12
QBFEVAL'08



Solver Time Result
quantor3.00.02UNSAT
ssolveC0.55UNSAT
ssolve-A0.65UNSAT
ssolveB0.68UNSAT
AQME-1NN1.04UNSAT
Nenofex6.45UNSAT
QuBE6.1600FAIL