Instances of family s1196 solved by caqe-minisat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
s1196_d3_uFAIL159.94
s1196_d2_sFAIL163.11
s1196_d6_uFAIL172.93
s1196_d4_uFAIL173.76
s1196_d7_uFAIL178.85
s1196_d5_uFAIL180.51