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



Solver Time Result
depqbf-cert-v242.25UNSAT
depqbf-cert-v144.75UNSAT
caqe-picosat-cert92.94UNSAT
caqe-minisat-cert93.04UNSAT
cheq599.81FAIL