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

InstanceResultTime
s386_d3_sFAIL159.53
s386_d4_sFAIL160.48
s386_d8_uFAIL164.12
s386_d6_sFAIL170.07
s386_d10_uFAIL172.59
s386_d9_uFAIL173.83
s386_d11_uFAIL178.12
s386_d7_sFAIL180.28
s386_d12_uFAIL185.74
s386_d2_sFAIL240.7