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

InstanceResultTime
aim-50-3_4-yes1-3-00SAT0.86
aim-50-3_4-yes1-1-50UNSAT0.88
aim-100-1_6-yes1-2-90UNSAT0.89
aim-50-1_6-yes1-1-00SAT0.89
par8-3-c-00SAT0.89
aim-50-2_0-yes1-1-50UNSAT0.9
aim-100-1_6-yes1-3-90SAT0.9
aim-50-2_0-yes1-2-90SAT0.91
aim-50-3_4-yes1-2-00SAT0.91
aim-50-6_0-yes1-4-50UNSAT0.92
par8-4-c-90SAT0.92
aim-50-1_6-yes1-3-50UNSAT0.93
aim-50-2_0-yes1-4-90SAT0.93
aim-100-1_6-yes1-1-00SAT0.94
aim-100-2_0-yes1-3-90UNSAT0.94
aim-50-6_0-yes1-3-50UNSAT0.94
par8-1-c-90UNSAT0.94
aim-50-1_6-yes1-3-90SAT0.95
aim-100-1_6-yes1-4-00UNSAT0.95
aim-50-6_0-yes1-1-00UNSAT0.95
aim-100-2_0-yes1-4-00UNSAT0.95
aim-100-2_0-yes1-1-90UNSAT0.95
aim-50-6_0-yes1-1-50UNSAT0.96
aim-50-1_6-yes1-3-00SAT0.97
aim-50-2_0-yes1-4-50SAT0.97
aim-50-6_0-yes1-1-90SAT0.97
aim-50-6_0-yes1-2-90UNSAT0.98
aim-50-1_6-yes1-4-90UNSAT0.98
aim-50-1_6-yes1-1-50SAT0.98
aim-50-6_0-yes1-3-90SAT0.99
aim-50-2_0-yes1-2-00UNSAT0.99
aim-50-6_0-yes1-2-50UNSAT1
aim-100-2_0-yes1-1-00UNSAT1
par8-5-c-90UNSAT1
aim-50-6_0-yes1-2-00UNSAT1
aim-50-3_4-yes1-2-90SAT1
par8-5-c-00UNSAT1.01
aim-50-1_6-yes1-2-00SAT1.02
aim-50-3_4-yes1-2-50SAT1.02
aim-50-6_0-yes1-4-00SAT1.02
aim-100-3_4-yes1-4-50UNSAT1.03
aim-100-3_4-yes1-2-90UNSAT1.03
aim-100-3_4-yes1-3-00SAT1.03
aim-50-1_6-yes1-4-00SAT1.04
aim-50-3_4-yes1-1-90UNSAT1.04
aim-50-3_4-yes1-4-90SAT1.04
aim-200-1_6-yes1-3-50UNSAT1.04
aim-50-2_0-yes1-1-90UNSAT1.04
aim-50-1_6-yes1-2-90UNSAT1.05
aim-50-3_4-yes1-3-90UNSAT1.05
aim-50-2_0-yes1-3-00UNSAT1.05
aim-50-2_0-yes1-1-00UNSAT1.05
aim-100-1_6-yes1-1-50SAT1.06
aim-100-1_6-yes1-2-50SAT1.06
aim-200-1_6-yes1-1-90SAT1.06
aim-50-2_0-yes1-3-90UNSAT1.06
aim-50-1_6-yes1-4-50SAT1.06
aim-100-6_0-yes1-2-90SAT1.07
aim-200-2_0-yes1-2-90UNSAT1.07
aim-50-6_0-yes1-4-90SAT1.07
aim-100-6_0-yes1-4-90SAT1.08
aim-100-6_0-yes1-1-90UNSAT1.09
aim-100-6_0-yes1-3-90UNSAT1.09
aim-50-2_0-yes1-3-50UNSAT1.1
aim-100-3_4-yes1-1-90SAT1.1
aim-50-2_0-yes1-2-50UNSAT1.11
aim-100-3_4-yes1-2-50SAT1.11
aim-100-6_0-yes1-2-50UNSAT1.12
aim-100-6_0-yes1-1-50SAT1.13
aim-200-2_0-yes1-2-00UNSAT1.13
aim-50-3_4-yes1-4-50UNSAT1.13
aim-50-3_4-yes1-1-00UNSAT1.14
aim-200-2_0-yes1-1-00SAT1.14
aim-200-2_0-yes1-4-00SAT1.14
aim-50-3_4-yes1-4-00UNSAT1.16
aim-100-6_0-yes1-3-50SAT1.16
aim-100-2_0-yes1-2-00SAT1.17
aim-100-6_0-yes1-4-50UNSAT1.18
aim-100-2_0-yes1-4-90SAT1.21
aim-100-6_0-yes1-3-00SAT1.25
aim-200-3_4-yes1-4-90SAT1.27
aim-100-6_0-yes1-2-00UNSAT1.29
par8-4-c-50SAT1.32
aim-200-3_4-yes1-1-90SAT1.34
par8-1-c-00UNSAT1.36
aim-100-1_6-yes1-1-90UNSAT1.36
aim-50-6_0-yes1-3-00UNSAT1.36
aim-200-3_4-yes1-2-50SAT1.37
aim-100-3_4-yes1-4-90SAT1.38
aim-200-3_4-yes1-3-90UNSAT1.4
par8-2-c-90UNSAT1.41
par8-2-c-00UNSAT1.42
par8-3-c-50UNSAT1.43
par8-1-c-50UNSAT1.43
jnh210-50SAT1.44
aim-200-3_4-yes1-4-00SAT1.45
par8-2-c-50UNSAT1.45
par8-4-c-00SAT1.46
ii8a2-00SAT1.46
par8-3-c-90UNSAT1.47
aim-100-2_0-yes1-1-50UNSAT1.48
aim-100-2_0-yes1-2-90UNSAT1.48
aim-100-1_6-yes1-3-00UNSAT1.49
aim-200-3_4-yes1-3-00SAT1.49
aim-100-1_6-yes1-4-90UNSAT1.49
jnh218-00SAT1.49
jnh213-90SAT1.5
aim-100-2_0-yes1-4-50UNSAT1.5
jnh213-50SAT1.5
aim-100-2_0-yes1-3-50UNSAT1.5
aim-100-1_6-yes1-4-50UNSAT1.51
aim-200-3_4-yes1-2-90UNSAT1.51
par8-5-50SAT1.52
jnh7-90SAT1.53
jnh218-90SAT1.53
jnh220-50SAT1.55
jnh207-90SAT1.56
jnh213-00SAT1.56
jnh217-00SAT1.58
aim-100-1_6-yes1-3-50UNSAT1.58
jnh217-50SAT1.6
jnh209-00SAT1.61
par8-1-50SAT1.61
jnh205-50SAT1.63
jnh12-90SAT1.64
par8-5-c-50UNSAT1.64
aim-100-2_0-yes1-3-00UNSAT1.65
par8-4-00SAT1.68
par8-3-00UNSAT1.69
par8-4-50UNSAT1.69
jnh207-00UNSAT1.7
par8-2-90UNSAT1.72
jnh205-90UNSAT1.72
aim-200-6_0-yes1-1-90SAT1.72
aim-200-6_0-yes1-3-90UNSAT1.72
jnh212-50UNSAT1.72
par8-3-90SAT1.73
par8-5-00UNSAT1.73
ii8a1-50SAT1.73
jnh212-00UNSAT1.73
jnh204-00SAT1.73
aim-100-3_4-yes1-1-00UNSAT1.74
aim-200-6_0-yes1-1-50UNSAT1.76
par8-2-00UNSAT1.77
aim-100-3_4-yes1-1-50UNSAT1.77
aim-100-3_4-yes1-4-00SAT1.77
jnh207-50UNSAT1.77
jnh212-90UNSAT1.78
aim-200-6_0-yes1-1-00UNSAT1.79
par8-3-50UNSAT1.81
par8-5-90UNSAT1.81
aim-200-6_0-yes1-2-50UNSAT1.82
aim-200-6_0-yes1-4-50SAT1.82
aim-100-3_4-yes1-3-50UNSAT1.85
aim-200-6_0-yes1-4-90SAT1.85
aim-100-3_4-yes1-3-90UNSAT1.87
jnh210-90UNSAT1.89
par8-2-50UNSAT1.89
par8-1-90UNSAT1.89
aim-200-6_0-yes1-2-90UNSAT1.9
ii8a2-90UNSAT1.9
jnh204-50SAT1.91
par8-4-90UNSAT1.93
par8-1-00SAT1.94
jnh209-90UNSAT1.95
aim-200-6_0-yes1-4-00UNSAT1.95
jnh220-00SAT1.95
aim-200-6_0-yes1-3-50UNSAT1.95
aim-200-2_0-yes1-4-90SAT1.98
aim-50-1_6-yes1-2-50SAT2.02
jnh17-90UNSAT2.02
ii8a1-90SAT2.09
aim-200-6_0-yes1-2-00UNSAT2.14
aim-100-6_0-yes1-1-00SAT2.17
jnh220-90SAT2.23
jnh205-00UNSAT2.37
jnh12-50UNSAT2.42
aim-200-2_0-yes1-4-50SAT2.48
jnh201-50SAT2.5
jnh204-90SAT2.5
ii32b1-50SAT2.59
aim-200-3_4-yes1-3-50SAT2.6
jnh7-50SAT2.62
aim-100-6_0-yes1-4-00UNSAT2.64
ssa7552-159-00SAT2.66
jnh17-00SAT2.68
ii32c1-50SAT2.68
jnh1-00SAT2.68
ii32e1-50SAT2.72
jnh301-50SAT2.72
aim-200-1_6-yes1-4-90SAT2.73
ii8c1-90SAT2.73
jnh12-00UNSAT2.73
jnh7-00SAT2.75
jnh301-90UNSAT2.83
aim-200-1_6-yes1-2-50SAT2.85
ii32d1-00SAT2.9
ii32e1-90UNSAT2.93
jnh17-50SAT2.97
jnh209-50UNSAT3.02
jnh201-00SAT3.09
ii8b1-90SAT3.09
jnh1-50SAT3.1
ii32e1-00SAT3.12
ii32d1-50SAT3.16
jnh301-00UNSAT3.18
aim-200-1_6-yes1-1-00SAT3.2
ii32b1-90SAT3.2
aim-200-1_6-yes1-1-50SAT3.34
aim-200-3_4-yes1-1-50SAT3.35
aim-200-6_0-yes1-3-00SAT3.4
ii8a3-00SAT3.42
ssa7552-159-50SAT3.44
par16-1-c-50SAT3.5
ii8a4-90SAT3.68
aim-200-2_0-yes1-3-90SAT3.73
ssa7552-159-90SAT4.07
ii32d1-90SAT4.08
aim-200-2_0-yes1-2-50UNSAT4.14
par16-1-c-90SAT4.26
jnh217-90SAT4.31
aim-200-1_6-yes1-2-00UNSAT4.38
aim-200-2_0-yes1-3-00UNSAT4.4
aim-200-1_6-yes1-4-00UNSAT4.44
ii32b1-00SAT4.59
par16-4-c-00SAT4.6
ssa7552-158-50SAT4.6
aim-200-3_4-yes1-4-50SAT4.63
aim-200-1_6-yes1-4-50SAT4.68
par16-1-c-00SAT4.7
aim-200-2_0-yes1-1-90UNSAT4.77
aim-200-1_6-yes1-2-90UNSAT4.85
jnh1-90UNSAT4.98
par16-4-c-90UNSAT4.98
aim-200-2_0-yes1-3-50UNSAT5.04
par16-5-c-90SAT5.04
aim-200-1_6-yes1-3-90UNSAT5.18
par16-4-c-50UNSAT5.23
aim-100-3_4-yes1-2-00UNSAT5.8
par16-4-90UNSAT5.95
ii32c1-90UNSAT6.39
par16-4-50UNSAT6.45
par16-2-c-50SAT6.46
par16-5-c-00SAT6.64
par16-4-00UNSAT6.67
ssa7552-158-90SAT6.75
par16-3-c-90UNSAT7.09
ii32b2-50SAT7.2
ii32c2-90SAT7.39
ii32b2-00SAT7.43
aim-200-3_4-yes1-2-00UNSAT7.53
par16-2-c-90SAT7.66
par16-3-c-00UNSAT7.94
aim-200-3_4-yes1-1-00UNSAT7.98
par16-1-90UNSAT8.07
ii32c2-50SAT8.67
ii32c3-90SAT9.33
ii32e2-50SAT9.81
par16-3-c-50UNSAT9.87
ii32e2-00SAT10.25
par16-1-50UNSAT10.36
ii32c3-50SAT10.97
jnh201-90SAT11.23
par16-1-00UNSAT12.87
ii32c3-00SAT15.16
par16-2-c-00SAT15.49
ii32c2-00SAT16.55
ii8b1-00SAT17.95
aim-50-3_4-yes1-3-50SAT19.41
ii8b1-50SAT19.94
aim-100-2_0-yes1-2-50SAT33.39
jnh210-00UNSAT41.37
aim-50-2_0-yes1-4-00UNSAT55.17
ii32b2-90SAT55.58
ii8a2-50SAT66.03
aim-100-1_6-yes1-2-00SAT82.03
aim-50-1_6-yes1-1-90UNSAT86.54
ii8a4-00SAT119.32
par16-5-c-50UNSAT144.35
aim-200-2_0-yes1-1-50UNSAT175.2
aim-200-1_6-yes1-3-00UNSAT175.96
ii32e2-90SAT216.97
ssa7552-160-00SAT241.1
jnh218-50SAT257.68
ii8a1-00SAT342.59
ssa7552-160-50SAT521.77
ii8a4-50FAIL540.04
ii8e1-00FAIL541.48
ii8d1-50FAIL541.91
ii8c1-00FAIL543.48
ii8d1-00FAIL544.81
ii8c1-50FAIL546.01
ii8e1-90FAIL546.06
ii8a3-90FAIL546.44
ii8a3-50FAIL553.29
ii8e1-50FAIL568.99
f600-00FAIL569.34
ii32c1-00FAIL572.43
f600-50FAIL584.54
ssa7552-160-90FAIL587.75
ii8d1-90FAIL598.28
f600-90FAIL598.49
ssa7552-158-00FAIL600