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



Solver Time Result
caqe-minisat-cert161.73FAIL
caqe-picosat-cert273.63FAIL
depqbf-cert-v2602.85FAIL
depqbf-cert-v1603.85FAIL
cheq608.4FAIL