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



Solver Time Result
caqe-minisat-cert124.6FAIL
caqe-picosat-cert600FAIL
depqbf-cert-v2603.22FAIL
cheq603.32FAIL
depqbf-cert-v1624.74FAIL