Results for instance mutex-64-s
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
caqe-minisat-cert91.68FAIL
caqe-picosat-cert206.98FAIL
cheq610.83FAIL
depqbf-cert-v1612.22FAIL
depqbf-cert-v2687.44FAIL