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



Solver Time Result
depqbf-cert-v238.75UNSAT
depqbf-cert-v139.45UNSAT
caqe-picosat-cert85.22UNSAT
caqe-minisat-cert85.29UNSAT
cheq599.81FAIL