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

qbflib.org

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

Instance	Result	Time
aim-50-1_6-yes1-1-90	UNSAT	0.2
aim-50-6_0-yes1-4-90	SAT	0.44
par8-4-c-90	SAT	0.45
ssa7552-159-00	SAT	1.07
ii8a1-90	SAT	1.25
par8-3-c-00	SAT	1.29
ii32e1-00	SAT	2.75
aim-50-1_6-yes1-2-50	SAT	4.9
ii32e1-50	SAT	6.7
ii32c1-50	SAT	8.23
aim-50-3_4-yes1-2-90	SAT	9.51
aim-50-1_6-yes1-1-00	SAT	9.55
aim-50-1_6-yes1-2-00	SAT	9.95
aim-50-3_4-yes1-3-90	UNSAT	12.97
jnh218-00	SAT	15.89
aim-50-1_6-yes1-4-50	SAT	28.42
aim-50-2_0-yes1-3-90	UNSAT	34.59
ii8c1-90	SAT	49.58
aim-50-1_6-yes1-3-00	SAT	57.6
aim-50-1_6-yes1-4-90	UNSAT	59.55
aim-100-6_0-yes1-4-90	SAT	72.05
aim-50-2_0-yes1-1-90	UNSAT	82.16
jnh207-90	SAT	178.48
par8-2-c-50	UNSAT	272.53
jnh218-90	SAT	317.8
par8-3-c-90	UNSAT	460.63
aim-100-3_4-yes1-1-90	SAT	631.78
aim-50-2_0-yes1-2-50	UNSAT	794.63
aim-100-6_0-yes1-3-90	UNSAT	850.56
par8-5-c-90	UNSAT	861.02
aim-50-6_0-yes1-3-50	UNSAT	1130.58
aim-200-1_6-yes1-4-90	FAIL	1200.07
aim-200-2_0-yes1-2-90	FAIL	1200.07
aim-100-2_0-yes1-2-90	FAIL	1200.07
aim-200-3_4-yes1-4-90	FAIL	1200.07
ii8a1-00	FAIL	1200.08
par16-1-c-00	FAIL	1200.08
aim-100-1_6-yes1-3-50	FAIL	1200.08
aim-200-1_6-yes1-2-90	FAIL	1200.08
par8-1-c-50	FAIL	1200.08
aim-100-1_6-yes1-3-90	FAIL	1200.08
par8-2-90	FAIL	1200.08
aim-100-2_0-yes1-2-50	FAIL	1200.08
ii8d1-00	FAIL	1200.08
aim-200-3_4-yes1-1-90	FAIL	1200.08
jnh1-50	FAIL	1200.08
ssa7552-160-50	FAIL	1200.08
aim-100-6_0-yes1-1-90	FAIL	1200.08
par8-4-90	FAIL	1200.08
ssa7552-159-50	FAIL	1200.09
ssa7552-159-90	FAIL	1200.09
f600-00	FAIL	1200.09

Contact | Organization | Links | Citing QBFLIB