Instances of family Abduction solved by QuBE7
QBFEVAL'10 - Competitive Track.

InstanceResultTime
aim-50-2_0-yes1-3-90UNSAT0.02
aim-50-1_6-yes1-2-50SAT0.02
aim-50-2_0-yes1-2-50UNSAT0.03
aim-50-1_6-yes1-2-00SAT0.03
aim-50-1_6-yes1-4-90UNSAT0.03
aim-50-2_0-yes1-1-90UNSAT0.03
aim-50-1_6-yes1-4-50SAT0.03
aim-50-1_6-yes1-1-00SAT0.04
aim-50-1_6-yes1-1-90UNSAT0.04
aim-50-1_6-yes1-3-00SAT0.04
aim-50-3_4-yes1-2-90SAT0.05
aim-50-3_4-yes1-3-90UNSAT0.05
aim-100-1_6-yes1-3-90SAT0.06
aim-100-2_0-yes1-2-50SAT0.08
aim-100-2_0-yes1-2-90UNSAT0.08
aim-100-1_6-yes1-3-50UNSAT0.1
par8-4-c-90SAT0.11
aim-50-6_0-yes1-4-90SAT0.11
aim-50-6_0-yes1-3-50UNSAT0.12
ssa7552-159-00SAT0.14
aim-100-3_4-yes1-1-90SAT0.14
par8-1-c-50UNSAT0.15
par8-3-c-00SAT0.16
par8-2-c-50UNSAT0.16
ii8a1-90SAT0.17
par8-5-c-90UNSAT0.17
par8-3-c-90UNSAT0.2
aim-200-1_6-yes1-2-90UNSAT0.23
aim-200-1_6-yes1-4-90SAT0.25
aim-100-6_0-yes1-1-90UNSAT0.4
aim-100-6_0-yes1-3-90UNSAT0.41
aim-100-6_0-yes1-4-90SAT0.42
aim-200-3_4-yes1-4-90SAT0.49
aim-200-3_4-yes1-1-90SAT0.58
jnh218-90SAT0.7
aim-200-2_0-yes1-2-90UNSAT0.7
jnh207-90SAT0.73
jnh1-50SAT1.19
jnh218-00SAT2.35
par16-1-c-00SAT5.04
ii32e1-50SAT18.17
ii8a1-00SAT31.07
par8-4-90SAT75.46
par8-2-90UNSAT114.91
ii32e1-00SAT159.94
ii8d1-00SAT180.1
ii8c1-90SAT216.15
ii32c1-50SAT256.52
ssa7552-159-90SAT343.52
ssa7552-159-50SAT371.16
f600-00FAIL1200.02
ssa7552-160-50FAIL1200.26