Results for instance fpu-10Xe-correct01-nonuniform-depth-24
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
caqe-picosat-cert20.97UNSAT
caqe-minisat-cert21.2UNSAT
depqbf-cert-v282.76UNSAT
depqbf-cert-v187.17UNSAT
cheq599.81FAIL