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



Solver Time Result
depqbf-cert-v213.24UNSAT
depqbf-cert-v114.53UNSAT
caqe-minisat-cert32.25UNSAT
caqe-picosat-cert32.28UNSAT
cheq268.66UNSAT