Results for instance k_grz_p-17
QBFEVAL'08



Solver Time Result
AQME-1NN1.42UNSAT
quantor3.08.18UNSAT
Nenofex10.2UNSAT
QuBE6.1599.87UNSAT
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL