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

qbflib.org

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

Instance	Result	Time
aim-50-1_6-yes1-3-00	SAT	0.05
aim-50-1_6-yes1-1-00	SAT	0.06
aim-50-1_6-yes1-2-00	SAT	0.06
aim-50-1_6-yes1-2-50	SAT	0.08
ssa7552-159-00	SAT	0.08
aim-50-2_0-yes1-2-50	UNSAT	0.11
par8-4-c-90	SAT	0.12
aim-50-1_6-yes1-4-50	SAT	0.13
par8-1-c-50	UNSAT	0.25
aim-50-6_0-yes1-3-50	UNSAT	0.28
par8-3-c-00	SAT	0.29
aim-50-1_6-yes1-1-90	UNSAT	0.41
par8-2-c-50	UNSAT	0.51
aim-50-3_4-yes1-3-90	UNSAT	0.55
par8-5-c-90	UNSAT	0.64
aim-50-1_6-yes1-4-90	UNSAT	1.04
par8-3-c-90	UNSAT	1.04
aim-50-2_0-yes1-1-90	UNSAT	1.15
aim-50-6_0-yes1-4-90	SAT	1.41
ii8a1-90	SAT	1.77
aim-50-3_4-yes1-2-90	SAT	2.02
aim-50-2_0-yes1-3-90	UNSAT	2.51
aim-100-1_6-yes1-3-50	UNSAT	2.75
aim-100-2_0-yes1-2-50	SAT	2.76
aim-100-2_0-yes1-2-90	UNSAT	5.75
par16-1-c-00	SAT	9.01
par8-4-90	UNSAT	16.8
par8-2-90	UNSAT	19.67
aim-100-6_0-yes1-1-90	UNSAT	35.98
ii8a1-00	SAT	46.84
aim-100-6_0-yes1-4-90	SAT	56.21
aim-100-3_4-yes1-1-90	SAT	189.55
jnh218-00	SAT	190.84
aim-100-1_6-yes1-3-90	SAT	250.92
ssa7552-160-50	FAIL	300.07
ssa7552-159-50	FAIL	370.58
ii8d1-00	FAIL	455.29
jnh207-90	SAT	515.26
aim-200-2_0-yes1-2-90	FAIL	728.17
aim-200-3_4-yes1-1-90	FAIL	882.76
aim-100-6_0-yes1-3-90	UNSAT	910.17
aim-200-1_6-yes1-4-90	FAIL	1095.93
aim-200-1_6-yes1-2-90	FAIL	1200
ii8c1-90	FAIL	1200
ssa7552-159-90	FAIL	1200
f600-00	FAIL	1200
jnh1-50	FAIL	1200
ii32c1-50	FAIL	1200
aim-200-3_4-yes1-4-90	FAIL	1200
ii32e1-00	FAIL	1200
ii32e1-50	FAIL	1200
jnh218-90	FAIL	1200

Contact | Organization | Links | Citing QBFLIB