Results for instance incrementer-enc08-uniform-depth-33
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
caqe-picosat-cert243.09FAIL
caqe-minisat-cert611.98FAIL
cheq617.07FAIL
depqbf-cert-v2623.72FAIL
depqbf-cert-v1639.62FAIL