Results for instance texas.PI_main^16.E-f2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
caqe-minisat-cert107.35FAIL
caqe-picosat-cert225.18FAIL
depqbf-cert-v1603.32FAIL
cheq605.63FAIL
depqbf-cert-v2622.22FAIL