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

InstanceResultTime
ii8a1-50SAT0.07
ii8a1-90SAT0.09
aim-50-1_6-yes1-3-90SAT0.16
aim-50-1_6-yes1-4-50SAT0.16
aim-50-1_6-yes1-4-00SAT0.17
aim-50-1_6-yes1-4-90UNSAT0.22
aim-50-1_6-yes1-2-00SAT0.34
aim-50-1_6-yes1-2-50SAT0.4
aim-50-1_6-yes1-1-50SAT0.46
aim-50-2_0-yes1-2-90SAT0.47
aim-50-1_6-yes1-3-00SAT0.54
aim-50-1_6-yes1-1-00SAT0.62
ii8a1-00SAT0.94
ssa7552-159-00SAT1.06
aim-50-1_6-yes1-1-90UNSAT1.08
aim-50-1_6-yes1-2-90UNSAT1.43
aim-50-2_0-yes1-3-90UNSAT3.15
aim-50-2_0-yes1-1-90UNSAT5.04
aim-50-2_0-yes1-4-50SAT7.48
aim-50-6_0-yes1-1-90SAT11.1
aim-50-2_0-yes1-4-90SAT11.97
aim-50-6_0-yes1-2-90UNSAT12.73
aim-50-6_0-yes1-4-90SAT16.75
aim-50-3_4-yes1-3-50SAT18.64
aim-50-6_0-yes1-4-00SAT23.21
aim-50-6_0-yes1-3-90SAT26.63
aim-50-3_4-yes1-3-00SAT28.27
aim-50-3_4-yes1-4-90SAT30.43
aim-50-3_4-yes1-2-90SAT30.53
aim-50-3_4-yes1-2-00SAT34.15
par8-4-c-90SAT34.76
aim-50-3_4-yes1-2-50SAT34.87
aim-50-3_4-yes1-3-90UNSAT50.61
par8-1-c-90UNSAT58.2
ii32c1-50SAT67.99
aim-50-3_4-yes1-1-90UNSAT72.41
par8-4-c-00SAT76.39
par8-4-c-50SAT94.73
ii32e1-00SAT156.59
ii32e1-50SAT234.04
aim-50-2_0-yes1-3-50UNSAT436.47
par8-2-c-90UNSAT442.1
aim-50-1_6-yes1-3-50UNSAT457.74
ii8b1-50FAIL600
ii8e1-00FAIL600
jnh17-00FAIL600
jnh204-50FAIL600
jnh209-00FAIL600
jnh212-90FAIL600
aim-100-1_6-yes1-1-00FAIL600
jnh218-50FAIL600
aim-100-1_6-yes1-3-90FAIL600
jnh7-00FAIL600
aim-100-2_0-yes1-2-50FAIL600
par16-1-c-90FAIL600
aim-100-3_4-yes1-1-00FAIL600
par16-4-50FAIL600
aim-100-3_4-yes1-3-90FAIL600
par8-1-00FAIL600
aim-100-6_0-yes1-2-50FAIL600
par8-2-90FAIL600
aim-200-1_6-yes1-1-00FAIL600
par8-3-c-50FAIL600
aim-200-1_6-yes1-3-90FAIL600
par8-5-00FAIL600
aim-200-2_0-yes1-2-50FAIL600
ssa7552-158-90FAIL600
aim-200-3_4-yes1-1-00FAIL600
aim-200-3_4-yes1-3-90FAIL600
aim-200-6_0-yes1-2-50FAIL600
aim-50-2_0-yes1-2-50FAIL600
aim-50-3_4-yes1-1-00FAIL600
aim-50-6_0-yes1-2-50FAIL600
f600-00FAIL600
ii32b2-90FAIL600
ii32c3-50FAIL600
ii32e2-00FAIL600
ii8a2-90FAIL600
ii8b1-90FAIL600
ii8e1-50FAIL600
jnh17-50FAIL600
jnh204-90FAIL600
jnh209-50FAIL600
jnh213-00FAIL600
aim-100-1_6-yes1-1-50FAIL600
jnh218-90FAIL600
aim-100-1_6-yes1-4-00FAIL600
jnh7-50FAIL600
aim-100-2_0-yes1-2-90FAIL600
par16-2-c-00FAIL600
aim-100-3_4-yes1-1-50FAIL600
par16-4-90FAIL600
aim-100-3_4-yes1-4-00FAIL600
par8-1-50FAIL600
aim-100-6_0-yes1-2-90FAIL600
par8-2-c-00FAIL600
aim-200-1_6-yes1-1-50FAIL600
par8-3-c-90FAIL600
aim-200-1_6-yes1-4-00FAIL600
par8-5-50FAIL600
aim-200-2_0-yes1-2-90FAIL600
aim-200-3_4-yes1-1-50FAIL600
aim-200-3_4-yes1-4-00FAIL600
aim-200-6_0-yes1-2-90FAIL600
aim-50-3_4-yes1-1-50FAIL600
aim-50-3_4-yes1-4-00FAIL600
f600-50FAIL600
ii32c1-00FAIL600
ii32c3-90FAIL600
ii32e2-50FAIL600
ii8a3-00FAIL600
ii8c1-00FAIL600
ii8e1-90FAIL600
jnh17-90FAIL600
jnh205-00FAIL600
jnh209-90FAIL600
jnh213-50FAIL600
aim-100-1_6-yes1-1-90FAIL600
jnh220-00FAIL600
aim-100-1_6-yes1-4-50FAIL600
jnh7-90FAIL600
aim-100-2_0-yes1-3-00FAIL600
par16-2-c-50FAIL600
aim-100-3_4-yes1-1-90FAIL600
par16-4-c-00FAIL600
aim-100-3_4-yes1-4-50FAIL600
par8-1-90FAIL600
aim-100-6_0-yes1-3-00FAIL600
par8-2-c-50FAIL600
aim-200-1_6-yes1-1-90FAIL600
par8-4-00FAIL600
aim-200-1_6-yes1-4-50FAIL600
par8-5-90FAIL600
aim-200-2_0-yes1-3-00FAIL600
ssa7552-159-50FAIL600
aim-200-3_4-yes1-1-90FAIL600
aim-200-3_4-yes1-4-50FAIL600
aim-200-6_0-yes1-3-00FAIL600
aim-50-2_0-yes1-3-00FAIL600
aim-50-3_4-yes1-4-50FAIL600
aim-50-6_0-yes1-3-00FAIL600
f600-90FAIL600
ii32d1-00FAIL600
ii32e2-90FAIL600
ii8a3-50FAIL600
ii8c1-50FAIL600
jnh1-00FAIL600
jnh1-90FAIL600
jnh205-50FAIL600
jnh210-00FAIL600
jnh213-90FAIL600
aim-100-1_6-yes1-2-00FAIL600
jnh220-50FAIL600
aim-100-1_6-yes1-4-90FAIL600
par16-1-00FAIL600
aim-100-2_0-yes1-3-50FAIL600
par16-2-c-90FAIL600
aim-100-3_4-yes1-2-00FAIL600
par16-4-c-50FAIL600
aim-100-3_4-yes1-4-90FAIL600
par8-1-c-00FAIL600
aim-100-6_0-yes1-3-50FAIL600
aim-200-1_6-yes1-2-00FAIL600
par8-4-50FAIL600
aim-200-1_6-yes1-4-90FAIL600
par8-5-c-00FAIL600
aim-200-2_0-yes1-3-50FAIL600
ssa7552-159-90FAIL600
aim-200-3_4-yes1-2-00FAIL600
aim-200-3_4-yes1-4-90FAIL600
aim-200-6_0-yes1-3-50FAIL600
aim-50-6_0-yes1-3-50FAIL600
ii32b1-00FAIL600
ii32c1-90FAIL600
ii32d1-50FAIL600
ii8a3-90FAIL600
ii8c1-90FAIL600
jnh12-00FAIL600
jnh201-00FAIL600
jnh205-90FAIL600
jnh210-50FAIL600
jnh217-00FAIL600
aim-100-1_6-yes1-2-50FAIL600
jnh220-90FAIL600
aim-100-2_0-yes1-1-00FAIL600
par16-1-50FAIL600
aim-100-2_0-yes1-3-90FAIL600
par16-3-c-00FAIL600
aim-100-3_4-yes1-2-50FAIL600
par16-4-c-90FAIL600
aim-100-6_0-yes1-1-00FAIL600
par8-1-c-50FAIL600
aim-100-6_0-yes1-3-90FAIL600
par8-3-00FAIL600
aim-200-1_6-yes1-2-50FAIL600
par8-4-90FAIL600
aim-200-2_0-yes1-1-00FAIL600
par8-5-c-50FAIL600
aim-200-2_0-yes1-3-90FAIL600
ssa7552-160-00FAIL600
aim-200-3_4-yes1-2-50FAIL600
aim-200-6_0-yes1-1-00FAIL600
aim-200-6_0-yes1-3-90FAIL600
aim-50-2_0-yes1-1-00FAIL600
aim-50-6_0-yes1-1-00FAIL600
ii32b1-50FAIL600
ii32c2-00FAIL600
ii32d1-90FAIL600
ii8a4-00FAIL600
ii8d1-00FAIL600
jnh12-50FAIL600
jnh201-50FAIL600
jnh207-00FAIL600
jnh210-90FAIL600
jnh217-50FAIL600
aim-100-1_6-yes1-2-90FAIL600
jnh301-00FAIL600
aim-100-2_0-yes1-1-50FAIL600
par16-1-90FAIL600
aim-100-2_0-yes1-4-00FAIL600
par16-3-c-50FAIL600
aim-100-3_4-yes1-2-90FAIL600
par16-5-c-00FAIL600
aim-100-6_0-yes1-1-50FAIL600
aim-100-6_0-yes1-4-00FAIL600
par8-3-50FAIL600
aim-200-1_6-yes1-2-90FAIL600
aim-200-2_0-yes1-1-50FAIL600
par8-5-c-90FAIL600
aim-200-2_0-yes1-4-00FAIL600
ssa7552-160-50FAIL600
aim-200-3_4-yes1-2-90FAIL600
aim-200-6_0-yes1-1-50FAIL600
aim-200-6_0-yes1-4-00FAIL600
aim-50-2_0-yes1-1-50FAIL600
aim-50-2_0-yes1-4-00FAIL600
aim-50-6_0-yes1-1-50FAIL600
ii32b1-90FAIL600
ii32c2-50FAIL600
ii8a4-50FAIL600
ii8a4-90FAIL600
ii8d1-50FAIL600
jnh12-90FAIL600
jnh201-90FAIL600
jnh207-50FAIL600
jnh212-00FAIL600
jnh217-90FAIL600
aim-100-1_6-yes1-3-00FAIL600
jnh301-50FAIL600
aim-100-2_0-yes1-1-90FAIL600
par16-1-c-00FAIL600
aim-100-2_0-yes1-4-50FAIL600
par16-3-c-90FAIL600
aim-100-3_4-yes1-3-00FAIL600
par16-5-c-50FAIL600
aim-100-6_0-yes1-1-90FAIL600
par8-2-00FAIL600
aim-100-6_0-yes1-4-50FAIL600
par8-3-90FAIL600
aim-200-1_6-yes1-3-00FAIL600
aim-200-2_0-yes1-1-90FAIL600
ssa7552-158-00FAIL600
aim-200-2_0-yes1-4-50FAIL600
ssa7552-160-90FAIL600
aim-200-3_4-yes1-3-00FAIL600
aim-200-6_0-yes1-1-90FAIL600
aim-200-6_0-yes1-4-50FAIL600
aim-50-6_0-yes1-4-50FAIL600
ii32b2-00FAIL600
ii32c2-90FAIL600
ii8a2-00FAIL600
ii8b1-00FAIL600
ii8d1-90FAIL600
jnh1-50FAIL600
jnh204-00FAIL600
jnh207-90FAIL600
jnh212-50FAIL600
jnh218-00FAIL600
aim-100-1_6-yes1-3-50FAIL600
jnh301-90FAIL600
aim-100-2_0-yes1-2-00FAIL600
par16-1-c-50FAIL600
aim-100-2_0-yes1-4-90FAIL600
par16-4-00FAIL600
aim-100-3_4-yes1-3-50FAIL600
par16-5-c-90FAIL600
aim-100-6_0-yes1-2-00FAIL600
par8-2-50FAIL600
aim-100-6_0-yes1-4-90FAIL600
par8-3-c-00FAIL600
aim-200-1_6-yes1-3-50FAIL600
aim-200-2_0-yes1-2-00FAIL600
ssa7552-158-50FAIL600
aim-200-2_0-yes1-4-90FAIL600
aim-200-3_4-yes1-3-50FAIL600
aim-200-6_0-yes1-2-00FAIL600
aim-200-6_0-yes1-4-90FAIL600
aim-50-2_0-yes1-2-00FAIL600
aim-50-6_0-yes1-2-00FAIL600
ii32b2-50FAIL600
ii32c3-00FAIL600
ii32e1-90FAIL600
ii8a2-50FAIL600