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

qbflib.org

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

Instance	Result	Time
aim-50-1_6-yes1-2-50	SAT	0.02
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-1-00	SAT	0.03
aim-50-2_0-yes1-3-90	UNSAT	0.03
aim-50-1_6-yes1-3-00	SAT	0.03
aim-50-1_6-yes1-4-90	UNSAT	0.03
aim-50-2_0-yes1-1-90	UNSAT	0.03
aim-50-2_0-yes1-2-50	UNSAT	0.04
aim-50-1_6-yes1-4-50	SAT	0.04
aim-50-3_4-yes1-3-90	UNSAT	0.05
aim-50-3_4-yes1-2-90	SAT	0.06
aim-100-1_6-yes1-3-90	SAT	0.06
aim-100-2_0-yes1-2-50	SAT	0.1
aim-100-2_0-yes1-2-90	UNSAT	0.11
aim-100-1_6-yes1-3-50	UNSAT	0.11
aim-50-6_0-yes1-4-90	SAT	0.11
par8-4-c-90	SAT	0.12
aim-50-6_0-yes1-3-50	UNSAT	0.13
ssa7552-159-00	SAT	0.14
aim-100-3_4-yes1-1-90	SAT	0.14
par8-1-c-50	UNSAT	0.14
par8-3-c-00	SAT	0.16
par8-2-c-50	UNSAT	0.17
par8-5-c-90	UNSAT	0.19
ii8a1-90	SAT	0.19
par8-3-c-90	UNSAT	0.2
aim-200-1_6-yes1-2-90	UNSAT	0.23
aim-200-1_6-yes1-4-90	SAT	0.28
aim-100-6_0-yes1-3-90	UNSAT	0.4
aim-100-6_0-yes1-4-90	SAT	0.41
aim-100-6_0-yes1-1-90	UNSAT	0.42
aim-200-3_4-yes1-4-90	SAT	0.48
ii8a1-00	SAT	0.5
aim-200-3_4-yes1-1-90	SAT	0.55
aim-200-2_0-yes1-2-90	UNSAT	0.7
jnh218-90	SAT	0.76
jnh207-90	SAT	0.83
jnh1-50	SAT	1.32
jnh218-00	SAT	2.43
par16-1-c-00	SAT	4.73
ii32e1-50	SAT	18.63
par8-4-90	UNSAT	77.19
par8-2-90	UNSAT	116.1
ii32e1-00	SAT	160.73
ssa7552-160-50	SAT	227.95
ii8c1-90	SAT	234.36
ii32c1-50	SAT	266.32
ssa7552-159-50	SAT	289.31
ssa7552-159-90	SAT	362.51
f600-00	FAIL	1200.03
ii8d1-00	FAIL	1200.08

Contact | Organization | Links | Citing QBFLIB