Instances of family Abduction solved by <a href='solver_detail.php?solver=113'>QuBE7-m</a> <br> QBFEVAL'10 - Competitive Track.

qbflib.org

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

Instance	Result	Time
aim-50-1_6-yes1-2-50	SAT	0.02
aim-50-1_6-yes1-4-90	UNSAT	0.03
aim-50-1_6-yes1-1-90	UNSAT	0.03
aim-50-1_6-yes1-2-00	SAT	0.03
aim-50-1_6-yes1-3-00	SAT	0.03
aim-50-2_0-yes1-2-50	UNSAT	0.03
aim-50-1_6-yes1-4-50	SAT	0.04
aim-50-1_6-yes1-1-00	SAT	0.04
aim-50-2_0-yes1-1-90	UNSAT	0.04
aim-50-2_0-yes1-3-90	UNSAT	0.04
aim-50-3_4-yes1-3-90	UNSAT	0.05
aim-100-1_6-yes1-3-90	SAT	0.06
aim-50-3_4-yes1-2-90	SAT	0.06
aim-100-2_0-yes1-2-50	SAT	0.11
aim-50-6_0-yes1-4-90	SAT	0.11
aim-100-2_0-yes1-2-90	UNSAT	0.11
aim-100-1_6-yes1-3-50	UNSAT	0.11
par8-4-c-90	SAT	0.13
ssa7552-159-00	SAT	0.13
aim-50-6_0-yes1-3-50	UNSAT	0.14
par8-1-c-50	UNSAT	0.14
aim-100-3_4-yes1-1-90	SAT	0.15
par8-3-c-00	SAT	0.16
par8-2-c-50	UNSAT	0.18
par8-3-c-90	UNSAT	0.19
ii8a1-90	SAT	0.19
par8-5-c-90	UNSAT	0.2
aim-200-1_6-yes1-2-90	UNSAT	0.22
aim-200-1_6-yes1-4-90	SAT	0.27
aim-100-6_0-yes1-3-90	UNSAT	0.41
aim-100-6_0-yes1-4-90	SAT	0.41
aim-100-6_0-yes1-1-90	UNSAT	0.44
aim-200-3_4-yes1-4-90	SAT	0.48
aim-200-3_4-yes1-1-90	SAT	0.56
ii8a1-00	SAT	0.62
aim-200-2_0-yes1-2-90	UNSAT	0.69
jnh218-90	SAT	0.78
jnh207-90	SAT	0.82
jnh1-50	SAT	1.29
jnh218-00	SAT	2.44
par16-1-c-00	SAT	5.22
ii32e1-50	SAT	18.47
par8-4-90	UNSAT	74.33
par8-2-90	UNSAT	117.65
ii32e1-00	SAT	166.79
ii8c1-90	SAT	225.2
ssa7552-160-50	SAT	225.42
ii32c1-50	SAT	250.98
ssa7552-159-50	SAT	296.96
ssa7552-159-90	SAT	333.71
f600-00	FAIL	1200.02
ii8d1-00	FAIL	1200.07

Contact | Organization | Links | Citing QBFLIB