Instances of family Abduction solved by quantor3.0
QBFEVAL'08

InstanceResultTime
ssa7552-159-00SAT0.03
par8-4-c-90SAT0.26
ii8a1-50SAT0.85
par8-1-c-90UNSAT0.92
ii8a1-90SAT1.07
aim-50-6_0-yes1-3-50UNSAT1.37
aim-50-6_0-yes1-2-90UNSAT1.62
aim-50-6_0-yes1-1-90SAT1.9
par8-4-c-50SAT2.13
aim-50-6_0-yes1-2-00UNSAT2.2
par8-2-c-90UNSAT2.21
par8-2-c-50UNSAT2.43
aim-50-6_0-yes1-2-50UNSAT2.45
par8-3-c-90UNSAT2.82
aim-50-6_0-yes1-3-90SAT2.93
aim-50-1_6-yes1-2-90UNSAT3.8
par8-1-c-00UNSAT4.82
par8-4-c-00SAT4.89
par8-5-c-90UNSAT5.23
par8-3-c-50UNSAT5.33
par8-5-50SAT6.13
par8-3-c-00SAT6.22
par8-1-c-50UNSAT7.01
par8-2-00UNSAT7.85
aim-50-6_0-yes1-4-90SAT8.45
aim-50-6_0-yes1-4-00SAT8.47
aim-50-1_6-yes1-4-90UNSAT9.19
aim-50-6_0-yes1-3-00UNSAT9.43
aim-50-3_4-yes1-4-00UNSAT9.83
aim-50-3_4-yes1-3-90UNSAT11.21
par8-5-c-00UNSAT11.37
aim-50-3_4-yes1-4-50UNSAT11.43
aim-50-3_4-yes1-2-90SAT11.67
aim-50-3_4-yes1-1-00UNSAT11.88
jnh7-90SAT13.11
aim-50-3_4-yes1-1-50UNSAT14.18
aim-50-6_0-yes1-4-50UNSAT14.25
aim-50-6_0-yes1-1-00UNSAT14.76
aim-50-2_0-yes1-4-90SAT14.83
aim-50-6_0-yes1-1-50UNSAT16.62
par8-2-c-00UNSAT17
jnh213-50SAT17.77
aim-50-2_0-yes1-1-00UNSAT18.39
par8-4-90UNSAT22.11
par8-5-90UNSAT23.28
par8-2-90UNSAT24.65
aim-50-3_4-yes1-1-90UNSAT24.69
par8-5-00UNSAT31.57
par8-2-50UNSAT31.65
aim-50-1_6-yes1-1-50SAT31.89
aim-50-3_4-yes1-3-50SAT32.23
aim-50-1_6-yes1-3-90SAT34.87
jnh17-00SAT37.29
par8-3-90SAT43.32
aim-200-1_6-yes1-4-90FAIL46.93
aim-100-2_0-yes1-2-90FAIL48.41
aim-50-3_4-yes1-4-90SAT48.66
aim-200-1_6-yes1-2-90FAIL50.14
aim-200-1_6-yes1-1-90FAIL51.25
aim-50-2_0-yes1-4-50SAT51.58
par8-5-c-50UNSAT52.36
aim-100-1_6-yes1-2-90FAIL54.23
aim-100-1_6-yes1-1-90FAIL54.24
aim-100-1_6-yes1-3-90FAIL58.22
aim-100-2_0-yes1-1-90FAIL59.19
aim-100-1_6-yes1-1-50FAIL59.66
aim-100-1_6-yes1-4-00FAIL60.33
aim-100-2_0-yes1-2-50FAIL61.41
aim-100-2_0-yes1-3-90FAIL61.77
aim-200-2_0-yes1-1-90FAIL63.24
aim-100-1_6-yes1-4-90FAIL63.48
aim-50-2_0-yes1-4-00UNSAT64
par16-3-c-90FAIL64.71
aim-50-3_4-yes1-2-50SAT64.72
aim-50-1_6-yes1-4-50FAIL65.07
aim-50-3_4-yes1-3-00SAT65.17
aim-200-1_6-yes1-1-50FAIL65.32
par16-5-c-90FAIL65.68
aim-200-3_4-yes1-4-90FAIL65.82
aim-50-1_6-yes1-3-50FAIL66.14
aim-100-1_6-yes1-3-00FAIL66.47
aim-200-2_0-yes1-4-50FAIL66.49
par16-2-c-90FAIL66.9
f600-00FAIL67.07
aim-200-2_0-yes1-3-50FAIL67.14
aim-100-1_6-yes1-3-50FAIL67.23
aim-200-3_4-yes1-2-00FAIL67.94
aim-200-2_0-yes1-2-90FAIL68.77
aim-200-2_0-yes1-3-90FAIL69.17
aim-200-2_0-yes1-1-50FAIL69.49
aim-100-1_6-yes1-2-00FAIL69.74
aim-200-1_6-yes1-1-00FAIL69.78
aim-100-2_0-yes1-4-00FAIL71.86
aim-200-3_4-yes1-2-90FAIL71.92
aim-200-3_4-yes1-1-50FAIL72.15
aim-200-1_6-yes1-4-00FAIL72.57
aim-200-1_6-yes1-3-90FAIL73.22
f600-90FAIL73.38
aim-100-1_6-yes1-2-50FAIL73.66
aim-100-2_0-yes1-1-50FAIL73.81
aim-100-2_0-yes1-4-50FAIL74.11
aim-200-1_6-yes1-2-50FAIL74.17
aim-200-3_4-yes1-4-50FAIL74.79
aim-200-2_0-yes1-2-50FAIL75.19
aim-100-3_4-yes1-3-90FAIL75.27
f600-50FAIL75.55
aim-100-2_0-yes1-4-90FAIL75.8
par8-1-50SAT75.9
aim-100-1_6-yes1-1-00FAIL77.23
aim-100-2_0-yes1-3-50FAIL77.58
aim-200-2_0-yes1-1-00FAIL77.65
aim-200-1_6-yes1-4-50FAIL77.82
aim-200-2_0-yes1-3-00FAIL79.69
aim-200-2_0-yes1-4-90FAIL80.47
aim-50-1_6-yes1-1-90FAIL81.39
aim-50-1_6-yes1-4-00FAIL81.92
aim-200-3_4-yes1-1-00FAIL83.83
aim-200-3_4-yes1-1-90FAIL85.05
aim-200-1_6-yes1-2-00FAIL86.15
aim-200-1_6-yes1-3-00FAIL87.22
aim-50-1_6-yes1-2-50FAIL87.29
aim-200-3_4-yes1-3-00FAIL87.85
aim-200-3_4-yes1-4-00FAIL88.41
aim-50-3_4-yes1-2-00SAT88.89
aim-200-2_0-yes1-4-00FAIL90.01
aim-50-1_6-yes1-3-00FAIL90.36
aim-100-1_6-yes1-4-50FAIL90.67
par8-4-00SAT90.94
aim-100-2_0-yes1-3-00FAIL91.82
aim-100-2_0-yes1-2-00FAIL95.13
aim-50-2_0-yes1-3-50FAIL96.21
par8-4-50UNSAT100.16
aim-200-3_4-yes1-2-50FAIL101.54
aim-200-3_4-yes1-3-90FAIL102.2
aim-100-2_0-yes1-1-00FAIL103.57
aim-100-3_4-yes1-2-90FAIL103.61
aim-200-6_0-yes1-4-90FAIL105.14
aim-50-1_6-yes1-1-00FAIL105.17
aim-50-1_6-yes1-2-00FAIL109.71
aim-200-2_0-yes1-2-00FAIL114.35
aim-200-6_0-yes1-4-50FAIL115.14
aim-100-3_4-yes1-3-50FAIL116.68
aim-200-6_0-yes1-1-00FAIL117.44
aim-50-2_0-yes1-2-00UNSAT117.58
aim-200-1_6-yes1-3-50FAIL117.7
par8-1-90UNSAT119.24
aim-200-3_4-yes1-3-50FAIL120.86
aim-200-6_0-yes1-1-50FAIL123.31
aim-100-6_0-yes1-2-90FAIL123.58
aim-50-2_0-yes1-3-00FAIL125.02
aim-200-6_0-yes1-1-90FAIL125.72
aim-100-3_4-yes1-4-50FAIL126.56
aim-200-6_0-yes1-2-90FAIL127.37
aim-100-3_4-yes1-2-50FAIL127.88
aim-100-3_4-yes1-1-90FAIL128.97
aim-200-6_0-yes1-3-90FAIL129.61
aim-100-3_4-yes1-4-90FAIL132.24
aim-50-2_0-yes1-2-50FAIL133.93
par8-3-00UNSAT135.51
ii8a2-90FAIL136.59
aim-100-3_4-yes1-2-00FAIL136.99
aim-50-2_0-yes1-1-50FAIL138.25
aim-200-6_0-yes1-2-50FAIL139.97
jnh12-50UNSAT142.37
jnh218-00SAT142.37
aim-100-3_4-yes1-1-00FAIL146.31
jnh12-90SAT148.35
aim-50-2_0-yes1-3-90FAIL149.36
ii8a1-00FAIL152.1
aim-100-3_4-yes1-3-00FAIL152.13
aim-200-6_0-yes1-2-00FAIL152.73
aim-200-6_0-yes1-3-50FAIL153.98
ii8a2-50FAIL164
par8-3-50UNSAT165.24
aim-50-2_0-yes1-1-90FAIL167.55
aim-100-6_0-yes1-4-90FAIL170.72
aim-100-3_4-yes1-4-00FAIL170.84
aim-200-6_0-yes1-4-00FAIL179.93
aim-200-6_0-yes1-3-00FAIL180.83
jnh210-50SAT188.54
aim-100-3_4-yes1-1-50FAIL190
ii8a2-00FAIL192.71
ii8d1-90FAIL193.03
par8-1-00SAT193.15
aim-100-6_0-yes1-2-00FAIL196.64
aim-100-6_0-yes1-3-90FAIL196.7
ii8e1-00FAIL200.04
ii8c1-50FAIL201.03
ii8b1-50FAIL214.79
aim-50-2_0-yes1-2-90SAT214.83
ii8a3-90FAIL227.19
aim-100-6_0-yes1-2-50FAIL230.11
ii8e1-90FAIL238.06
aim-100-6_0-yes1-3-00FAIL241.3
aim-100-6_0-yes1-1-50FAIL243.32
jnh213-00SAT251.11
ii8d1-50FAIL254.82
ii8b1-90FAIL260.25
jnh207-00FAIL263.12
ii8e1-50FAIL265.54
aim-100-6_0-yes1-4-50FAIL268.81
ii8a3-50FAIL272.07
ii8b1-00FAIL275.13
ii8d1-00FAIL280.25
jnh207-50FAIL280.59
jnh212-00FAIL291.51
ii8c1-00FAIL299.8
jnh1-00FAIL301.29
ii8a3-00FAIL304.08
aim-100-6_0-yes1-1-00FAIL311.26
jnh217-00FAIL314.11
ii8c1-90FAIL315.63
jnh1-90FAIL317.2
jnh201-00FAIL332.49
jnh212-50FAIL358.28
ii32d1-50FAIL367.57
ii8a4-00FAIL367.59
jnh17-90FAIL368.46
jnh207-90FAIL373
ii32e1-90FAIL381.1
jnh204-50FAIL391.3
jnh201-50FAIL397.18
aim-100-6_0-yes1-4-00UNSAT406.41
jnh204-00FAIL409.02
jnh217-50FAIL409.62
ii32c1-50FAIL412.42
jnh212-90FAIL421.32
ii8a4-50FAIL421.77
jnh204-90FAIL446.3
ii32d1-00FAIL447.12
jnh301-50FAIL447.46
jnh217-90FAIL449.03
jnh209-00FAIL456.48
ii32c1-00FAIL459.03
ii32e2-00FAIL460.53
jnh12-00UNSAT462.51
jnh17-50FAIL470.24
jnh205-00FAIL478.2
ii32b1-50FAIL480.18
jnh218-90FAIL489.89
par16-5-c-00FAIL494.96
ssa7552-159-90FAIL500.49
jnh220-00FAIL508.04
ii32c1-90FAIL512.28
par16-5-c-50FAIL515.01
aim-100-6_0-yes1-3-50SAT525.81
aim-100-6_0-yes1-1-90FAIL542.66
ii32b1-00FAIL558.13
par16-2-c-00FAIL571.77
jnh210-00FAIL575.22
jnh301-90FAIL575.35
ii32e1-50FAIL580.52
jnh213-90FAIL589.87
ii32c2-90FAIL591.45
jnh301-00FAIL591.84
ii8a4-90FAIL596.83
ssa7552-158-90FAIL600
ii32b2-90FAIL600
ii32c3-50FAIL600
jnh218-50FAIL600
jnh7-00FAIL600
par16-1-c-90FAIL600
par16-4-50FAIL600
ii32c3-90FAIL600
ii32e2-50FAIL600
jnh209-50FAIL600
jnh7-50FAIL600
par16-4-90FAIL600
ssa7552-159-50FAIL600
ii32e2-90FAIL600
jnh209-90FAIL600
par16-2-c-50FAIL600
par16-4-c-00FAIL600
jnh205-50FAIL600
jnh220-50FAIL600
par16-1-00FAIL600
par16-4-c-50FAIL600
ssa7552-160-00FAIL600
ii32c2-00FAIL600
ii32d1-90FAIL600
jnh205-90FAIL600
jnh220-90FAIL600
par16-1-50FAIL600
par16-3-c-00FAIL600
par16-4-c-90FAIL600
ssa7552-160-50FAIL600
ii32b1-90FAIL600
ii32c2-50FAIL600
ii32e1-00FAIL600
jnh210-90FAIL600
par16-1-90FAIL600
par16-3-c-50FAIL600
ssa7552-158-00FAIL600
ssa7552-160-90FAIL600
ii32b2-00FAIL600
jnh201-90FAIL600
par16-1-c-00FAIL600
ssa7552-158-50FAIL600
ii32b2-50FAIL600
ii32c3-00FAIL600
jnh1-50FAIL600
par16-1-c-50FAIL600
par16-4-00FAIL600