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



Solver Time Result
caqe-minisat-cert115.8FAIL
caqe-picosat-cert173.2FAIL
depqbf-cert-v1600.22FAIL
cheq603.66FAIL
depqbf-cert-v2608.24FAIL