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



Solver Time Result
depqbf-cert-v272.58UNSAT
depqbf-cert-v175.47UNSAT
caqe-picosat-cert142.86UNSAT
caqe-minisat-cert142.94UNSAT
cheq599.72FAIL