Results for instance fpu-10Xh-correct04-uniform-depth-14
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
depqbf-cert-v233.84UNSAT
depqbf-cert-v137.34UNSAT
caqe-minisat-cert77.35UNSAT
caqe-picosat-cert77.36UNSAT
cheq599.72FAIL