Results for instance adder-12-sat
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
caqe-minisat-cert198.38FAIL
caqe-picosat-cert599.73FAIL
cheq608.32FAIL
depqbf-cert-v1609.34FAIL
depqbf-cert-v2646.62FAIL