Instances of family circuits solved by ssolve-A
QBFEVAL'08

InstanceResultTime
k3_1_1SAT168.15
k14_3_2FAIL600
k6_4_4FAIL600
k7_3_2FAIL600
k7_4_4FAIL600
k10_4_4FAIL600
k14_2_4FAIL600
k8_3_3FAIL600
k6_2_2FAIL600
k7_4_2FAIL600
k14_2_2FAIL600
k12_4_4FAIL600
k3_2_1FAIL600
k6_3_3FAIL600
k8_4_4FAIL600
k7_4_3FAIL600
k8_4_3FAIL600
k10_4_2FAIL600
k7_3_3FAIL600
k10_4_3FAIL600
k7_2_3FAIL600
k14_4_3FAIL600
k6_4_3FAIL600
k10_3_2FAIL600
k12_2_2FAIL600
k12_4_2FAIL600
k12_2_4FAIL600
k5_2_2FAIL600
k12_3_4FAIL600
k4_2_2FAIL600
k12_4_3FAIL600
k8_3_2FAIL600
k6_2_3FAIL600
k8_3_4FAIL600
k8_4_2FAIL600
k10_2_4FAIL600
k10_2_3FAIL600
k3_2_2FAIL600
k10_3_3FAIL600
k14_4_4FAIL600
k12_3_3FAIL600
k6_3_4FAIL600
k14_4_2FAIL600
k7_2_4FAIL600
k12_2_3FAIL600
k14_3_4FAIL600
k8_2_2FAIL600
k7_3_4FAIL600
k8_2_4FAIL600
k12_3_2FAIL600
k6_3_2FAIL600
k5_3_2FAIL600
k10_2_2FAIL600
k14_3_3FAIL600
k10_3_4FAIL600
k5_2_3FAIL600
k3_1_2FAIL600
k6_4_2FAIL600
k8_2_3FAIL600
k5_3_3FAIL600
k6_2_4FAIL600
k7_2_2FAIL600
k14_2_3FAIL600