Results for instance k_t4p_p-4
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
depqbf-cert-v125.81UNSAT
depqbf-cert-v270.71UNSAT
caqe-minisat-cert255.35FAIL
caqe-picosat-cert541.41FAIL
cheq615.24FAIL