Instances of family Abduction solved by Nenofex
QBFEVAL'08

InstanceResultTime
ssa7552-159-00SAT0.06
aim-50-1_6-yes1-3-90SAT0.06
aim-50-1_6-yes1-1-90UNSAT0.07
aim-50-1_6-yes1-4-90UNSAT0.08
aim-50-1_6-yes1-2-90UNSAT0.08
aim-50-1_6-yes1-1-50SAT0.11
aim-50-2_0-yes1-4-90SAT0.12
aim-50-1_6-yes1-2-50SAT0.12
aim-50-1_6-yes1-3-50UNSAT0.12
aim-50-1_6-yes1-4-50SAT0.13
aim-50-2_0-yes1-1-90UNSAT0.13
aim-50-2_0-yes1-2-90SAT0.15
aim-50-2_0-yes1-3-90UNSAT0.17
aim-50-2_0-yes1-3-50UNSAT0.22
aim-50-1_6-yes1-2-00SAT0.22
aim-50-2_0-yes1-4-50SAT0.22
aim-50-1_6-yes1-4-00SAT0.23
aim-50-1_6-yes1-3-00SAT0.23
aim-50-1_6-yes1-1-00SAT0.24
aim-50-2_0-yes1-1-50UNSAT0.24
aim-50-2_0-yes1-1-00UNSAT0.26
aim-50-2_0-yes1-3-00UNSAT0.26
aim-50-2_0-yes1-4-00UNSAT0.28
aim-50-2_0-yes1-2-50UNSAT0.28
aim-50-2_0-yes1-2-00UNSAT0.29
aim-100-1_6-yes1-1-90UNSAT0.41
aim-100-1_6-yes1-3-90SAT0.49
aim-50-3_4-yes1-1-90UNSAT0.53
aim-100-1_6-yes1-2-90UNSAT0.55
aim-100-1_6-yes1-4-90UNSAT0.57
aim-50-3_4-yes1-3-90UNSAT0.58
aim-50-3_4-yes1-2-90SAT0.6
aim-50-3_4-yes1-4-90SAT0.61
aim-100-3_4-yes1-1-90SAT0.64
aim-50-3_4-yes1-3-50SAT0.68
aim-50-3_4-yes1-1-50UNSAT0.68
ii8a1-50SAT0.69
aim-50-3_4-yes1-2-50SAT0.8
aim-100-1_6-yes1-1-50SAT0.82
aim-100-1_6-yes1-2-50SAT0.86
aim-100-2_0-yes1-4-90SAT0.9
ii8a1-90SAT0.9
aim-50-3_4-yes1-4-50UNSAT0.92
aim-50-3_4-yes1-1-00UNSAT1.02
aim-100-2_0-yes1-1-90UNSAT1.02
aim-100-1_6-yes1-4-50UNSAT1.06
aim-100-2_0-yes1-2-90UNSAT1.1
aim-50-3_4-yes1-2-00SAT1.12
aim-100-1_6-yes1-3-50UNSAT1.14
aim-50-3_4-yes1-4-00UNSAT1.16
aim-50-3_4-yes1-3-00SAT1.17
aim-100-2_0-yes1-3-90UNSAT1.2
aim-100-2_0-yes1-1-50UNSAT1.23
aim-100-1_6-yes1-2-00SAT1.24
aim-100-1_6-yes1-4-00UNSAT1.28
aim-100-2_0-yes1-4-50UNSAT1.4
aim-100-2_0-yes1-2-50SAT1.41
aim-100-2_0-yes1-3-50UNSAT1.44
aim-100-1_6-yes1-1-00SAT1.54
aim-100-1_6-yes1-3-00UNSAT1.58
par8-4-c-90SAT1.74
par8-1-c-90UNSAT1.78
aim-50-6_0-yes1-1-90SAT1.9
aim-200-1_6-yes1-3-90UNSAT1.94
par8-2-c-90UNSAT1.94
aim-200-1_6-yes1-4-90SAT1.95
aim-50-6_0-yes1-4-90SAT1.96
aim-200-1_6-yes1-2-90UNSAT1.97
aim-100-2_0-yes1-1-00UNSAT1.98
aim-100-2_0-yes1-4-00UNSAT1.98
par8-1-c-50UNSAT2.07
par8-2-c-50UNSAT2.08
aim-50-6_0-yes1-4-00SAT2.11
aim-200-1_6-yes1-1-90SAT2.11
par8-3-c-90UNSAT2.14
par8-5-c-90UNSAT2.22
aim-100-2_0-yes1-2-00SAT2.22
aim-100-2_0-yes1-3-00UNSAT2.22
par8-4-c-50SAT2.23
aim-50-6_0-yes1-3-90SAT2.35
par8-3-c-50UNSAT2.43
aim-50-6_0-yes1-2-90UNSAT2.43
par8-1-c-00UNSAT2.48
par8-4-c-00SAT2.61
par8-5-c-50UNSAT2.61
aim-200-1_6-yes1-2-50SAT2.65
par8-2-c-00UNSAT2.7
aim-200-1_6-yes1-1-50SAT2.72
ii8a1-00SAT2.73
aim-200-2_0-yes1-3-90SAT2.83
aim-100-3_4-yes1-1-50UNSAT2.84
aim-200-1_6-yes1-3-50UNSAT2.85
aim-200-2_0-yes1-1-90UNSAT2.9
aim-100-3_4-yes1-2-50SAT2.92
par8-5-c-00UNSAT2.96
par8-3-c-00SAT2.99
aim-50-6_0-yes1-1-50UNSAT3.08
aim-50-6_0-yes1-2-50UNSAT3.1
aim-200-2_0-yes1-4-90SAT3.1
aim-50-6_0-yes1-3-50UNSAT3.12
aim-200-2_0-yes1-1-50UNSAT3.2
aim-200-2_0-yes1-4-50SAT3.27
aim-50-6_0-yes1-4-50UNSAT3.28
aim-200-2_0-yes1-2-50UNSAT3.29
aim-200-2_0-yes1-3-50UNSAT3.36
aim-100-3_4-yes1-3-90UNSAT3.42
aim-200-2_0-yes1-1-00SAT3.58
aim-100-3_4-yes1-3-00SAT3.6
aim-50-6_0-yes1-1-00UNSAT3.63
aim-50-6_0-yes1-2-00UNSAT3.64
aim-50-6_0-yes1-3-00UNSAT3.91
aim-100-3_4-yes1-2-90UNSAT4.02
aim-200-1_6-yes1-1-00SAT4.16
aim-200-1_6-yes1-3-00UNSAT4.26
aim-200-1_6-yes1-2-00UNSAT4.27
aim-200-1_6-yes1-4-00UNSAT4.28
aim-100-6_0-yes1-3-50SAT4.35
aim-100-3_4-yes1-2-00UNSAT4.44
aim-200-2_0-yes1-4-00SAT4.45
aim-200-2_0-yes1-2-00UNSAT4.54
aim-200-2_0-yes1-3-00UNSAT4.6
aim-100-6_0-yes1-2-50UNSAT4.8
aim-100-6_0-yes1-4-90SAT4.96
aim-100-6_0-yes1-3-00SAT5.01
aim-100-6_0-yes1-4-50UNSAT5.05
aim-100-6_0-yes1-1-00SAT5.06
aim-100-6_0-yes1-2-00UNSAT5.14
aim-100-6_0-yes1-4-00UNSAT5.23
aim-100-6_0-yes1-3-90UNSAT5.26
aim-200-3_4-yes1-1-90SAT5.82
aim-100-6_0-yes1-2-90SAT6.06
aim-100-6_0-yes1-1-50SAT6.1
aim-100-3_4-yes1-4-50UNSAT7.24
aim-100-3_4-yes1-4-90SAT7.61
par8-5-50SAT8.87
aim-200-6_0-yes1-4-90SAT8.99
aim-200-6_0-yes1-4-50SAT9.11
par8-2-50UNSAT9.16
aim-200-6_0-yes1-1-50UNSAT9.16
aim-100-3_4-yes1-4-00SAT9.62
aim-100-6_0-yes1-1-90UNSAT10.03
aim-200-6_0-yes1-1-90SAT11.09
par8-3-90SAT12.18
par8-2-90UNSAT12.43
par8-4-90UNSAT12.55
par8-5-90UNSAT12.58
par8-1-90UNSAT12.94
par8-3-50UNSAT14.61
par8-1-50SAT14.69
par8-4-50UNSAT14.74
par8-3-00UNSAT17.54
par8-5-00UNSAT17.55
par8-1-00SAT17.85
par8-2-00UNSAT18.05
par8-4-00SAT18.2
jnh213-50SAT18.49
jnh7-90SAT19.22
aim-100-3_4-yes1-3-50UNSAT19.45
jnh213-00SAT20.05
jnh218-00SAT20.32
jnh12-50UNSAT21.31
jnh17-00SAT22.31
jnh12-90SAT24.21
jnh210-50SAT26.01
jnh1-50SAT31.85
jnh12-00UNSAT32.99
jnh213-90SAT33.74
jnh7-50SAT33.83
jnh218-90SAT34.69
aim-200-6_0-yes1-3-00SAT48.15
aim-200-1_6-yes1-4-50FAIL53.53
jnh301-50SAT63.62
jnh17-50SAT77.78
aim-100-3_4-yes1-1-00UNSAT80.32
par16-1-c-00SAT85.51
aim-200-3_4-yes1-1-00FAIL87.53
aim-200-6_0-yes1-3-90UNSAT89.53
jnh218-50SAT92.15
aim-200-3_4-yes1-2-50FAIL92.5
aim-200-3_4-yes1-3-90FAIL95.96
aim-200-6_0-yes1-1-00FAIL96.57
aim-200-6_0-yes1-2-50FAIL97.03
aim-200-3_4-yes1-4-50FAIL100.39
aim-200-6_0-yes1-4-00FAIL100.92
f600-90FAIL104.77
ssa7552-158-90SAT104.87
aim-200-3_4-yes1-3-50FAIL111.69
ssa7552-160-90SAT112.22
aim-200-3_4-yes1-3-00FAIL113.95
f600-50FAIL114.56
aim-200-3_4-yes1-4-00FAIL115.76
aim-200-3_4-yes1-2-00FAIL115.76
par16-1-c-50FAIL115.83
aim-200-6_0-yes1-3-50FAIL121.99
ii8a2-00FAIL122.22
ii8a2-90FAIL123.71
ii8a2-50FAIL123.94
par16-2-c-90FAIL124.66
aim-200-3_4-yes1-1-50FAIL125.16
aim-200-3_4-yes1-2-90FAIL127.44
aim-200-3_4-yes1-4-90FAIL129.44
ssa7552-159-50SAT131.69
ii8b1-90FAIL133.03
aim-200-6_0-yes1-2-90FAIL134
par16-3-c-00FAIL136.07
ii32e1-90FAIL138.26
aim-200-6_0-yes1-2-00FAIL144.29
jnh204-50FAIL145.2
jnh301-00FAIL145.57
par16-1-c-90FAIL146.31
jnh201-00FAIL146.52
jnh204-90FAIL148.17
par16-4-c-00FAIL148.36
ii8a3-00FAIL148.99
ii8a3-50FAIL156.56
par16-2-c-50FAIL158.22
jnh1-00FAIL158.81
par16-5-c-90FAIL159.56
jnh212-90FAIL159.86
f600-00FAIL160.49
jnh217-90FAIL166.27
ii32e1-50FAIL166.92
jnh204-00FAIL170.21
par16-3-c-50FAIL171.31
jnh201-90FAIL173.66
jnh210-90FAIL173.96
jnh220-00FAIL175.19
ii8a3-90FAIL175.87
jnh217-50FAIL177.36
jnh212-00FAIL181.44
ii32c1-90FAIL183.34
ii8b1-50FAIL184.98
ii8b1-00FAIL186.88
ssa7552-160-50FAIL191.46
jnh205-50SAT193.32
jnh209-50FAIL198
jnh1-90FAIL200.82
jnh207-50FAIL201.93
par16-3-c-90FAIL206.28
ii32d1-90FAIL210.2
jnh205-00UNSAT211.64
ii32b1-90FAIL218.63
jnh217-00FAIL220.16
jnh209-00FAIL221.27
ii32d1-50FAIL222.4
ii8a4-00FAIL224.57
jnh207-90FAIL226.07
ii32d1-00FAIL227.2
par16-5-c-50FAIL227.45
ii32e2-90FAIL227.66
ii32b1-50FAIL232.29
ssa7552-158-50FAIL234.43
jnh220-50SAT235.75
ssa7552-159-90FAIL236.12
ii32c2-50FAIL236.43
aim-200-2_0-yes1-2-90FAIL236.5
jnh207-00UNSAT238.25
ii8d1-50FAIL239.29
par16-4-90FAIL240.81
jnh17-90UNSAT244.21
ii8c1-50FAIL244.65
jnh205-90UNSAT244.87
ii32c1-50FAIL245.16
ii32c1-00FAIL248.76
ii8e1-90FAIL249.56
jnh209-90FAIL251.11
ii8e1-50FAIL255.28
ii8d1-90FAIL257.92
par16-4-00FAIL260.93
ii32e1-00FAIL261.82
ii32c2-90FAIL262.33
jnh220-90FAIL262.84
par16-5-c-00FAIL263.07
ii8a4-50FAIL268.21
par16-4-50FAIL270.41
ii32c2-00FAIL271.46
ssa7552-160-00FAIL272.83
ssa7552-158-00FAIL273.28
ii32b1-00FAIL280.32
ii32e2-50FAIL281.45
ii32e2-00FAIL284.15
ii8c1-00FAIL286.05
ii32b2-90FAIL286.17
ii8c1-90FAIL295.65
ii32c3-00FAIL298.68
par16-1-00FAIL301.19
ii8d1-00FAIL301.45
jnh210-00UNSAT304.82
ii32c3-90FAIL311.33
ii8e1-00FAIL314.76
ii8a4-90FAIL316.9
jnh212-50FAIL318.73
ii32c3-50FAIL333.94
ii32b2-50FAIL355.86
jnh201-50FAIL374.79
ii32b2-00FAIL382.76
par16-1-90FAIL411.1
jnh301-90UNSAT432.76
jnh7-00FAIL600
par16-2-c-00FAIL600
par16-4-c-50FAIL600
par16-1-50FAIL600
par16-4-c-90FAIL600