Instances of family circuits solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
k3_1_1SAT0.85
k3_2_2SAT0.86
k3_2_1SAT0.88
k3_1_2SAT0.99
k4_2_2SAT1.35
k5_2_3SAT18.59
k5_3_3SAT45.97
k10_4_3FAIL531.03
k10_4_4FAIL540.95
k12_3_3FAIL564.26
k12_4_4FAIL564.64
k12_4_2FAIL566.75
k12_3_4FAIL568.69
k12_3_2FAIL572.32
k12_4_3FAIL576.5
k10_3_4FAIL577.62
k14_4_3FAIL595.49
k6_2_2FAIL596.45
k5_3_2FAIL596.47
k5_2_2FAIL596.47
k12_2_4FAIL596.51
k6_2_3FAIL596.53
k14_3_2FAIL597.22
k6_3_2FAIL597.58
k14_4_4FAIL597.63
k6_2_4FAIL597.75
k7_2_2FAIL597.76
k7_2_3FAIL597.78
k6_3_4FAIL597.83
k6_3_3FAIL597.87
k7_2_4FAIL597.9
k7_4_2FAIL597.92
k6_4_3FAIL597.96
k6_4_2FAIL597.98
k14_3_4FAIL598.01
k7_3_2FAIL598.03
k6_4_4FAIL598.09
k7_3_3FAIL598.2
k7_3_4FAIL598.32
k7_4_4FAIL598.51
k8_2_2FAIL598.55
k7_4_3FAIL598.56
k8_2_3FAIL598.64
k8_3_3FAIL598.73
k8_4_2FAIL598.84
k8_3_2FAIL598.88
k8_2_4FAIL598.91
k8_3_4FAIL598.95
k8_4_4FAIL599.09
k8_4_3FAIL599.13
k14_3_3FAIL599.55
k14_4_2FAIL600
k12_2_3FAIL600
k10_2_2FAIL600
k14_2_3FAIL600
k14_2_4FAIL600
k14_2_2FAIL600
k10_4_2FAIL600
k10_3_2FAIL600
k12_2_2FAIL600
k10_2_4FAIL600
k10_2_3FAIL600
k10_3_3FAIL600