Results for instance k_t4p_p-12
QBFEVAL'08



Solver Time Result
AQME-1NN1.38UNSAT
ssolveC7.2UNSAT
ssolve-A8.72UNSAT
ssolveB9.31UNSAT
quantor3.031.17FAIL
Nenofex160.32FAIL
QuBE6.1600FAIL