Results for instance k_path_p-15
QBFEVAL'08



Solver Time Result
quantor3.00.03UNSAT
ssolveC0.83UNSAT
ssolve-A1UNSAT
ssolveB1.03UNSAT
AQME-1NN1.15UNSAT
Nenofex4.34UNSAT
QuBE6.1600FAIL