Results for instance k_ph_p-5
QBFEVAL'08



Solver Time Result
quantor3.00.02UNSAT
QuBE6.10.05UNSAT
ssolveC0.16UNSAT
ssolve-A0.19UNSAT
Nenofex0.21UNSAT
ssolveB0.22UNSAT
AQME-1NN0.88UNSAT