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



Solver Time Result
depqbf-cert-v10.31FAIL
depqbf-cert-v225.61SAT
caqe-picosat-cert81.2SAT
caqe-minisat-cert117.89FAIL
cheq376.83FAIL