Results for instance k_t4p_p-12
QBFEVAL'06



Solver Time Result
QUANTOR_hc0.02UNSAT
preQuantor0.07UNSAT
2clsQ0.07UNSAT
SQBF0.1UNSAT
sKizzo-0.9-std0.14UNSAT
sKizzo-0.9-abs0.15UNSAT
sKizzo-0.9-grn0.16UNSAT
QUANTOR31.57FAIL
ssolve+ut46.04UNSAT
ssolve-ut58.73UNSAT
sSolve59.74UNSAT
Quaffle559.62FAIL
Qbfl595.42FAIL
GRL600.49FAIL
semprop601FAIL
WalkQSAT601FAIL
qube3.01356.2FAIL
qube4.02299.77FAIL
qube5.02442.72FAIL
yQuaffle5999.26FAIL
openQbf6000.79FAIL