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



Solver Time Result
depqbf-cert-v10.11UNSAT
caqe-picosat-cert2.64UNSAT
caqe-minisat-cert599.72FAIL
cheq619.34FAIL
depqbf-cert-v2630.43FAIL