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

qbflib.org

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

Instance	Result	Time
aim-50-1_6-yes1-4-90	UNSAT	1.09
aim-50-2_0-yes1-2-50	UNSAT	1.12
aim-50-2_0-yes1-3-90	UNSAT	1.12
aim-50-1_6-yes1-4-50	SAT	1.13
aim-50-1_6-yes1-3-00	SAT	1.13
aim-50-2_0-yes1-1-90	UNSAT	1.15
ii8a1-90	SAT	1.16
aim-50-1_6-yes1-2-50	SAT	1.17
aim-50-1_6-yes1-1-90	UNSAT	1.18
aim-50-1_6-yes1-1-00	SAT	1.18
aim-50-1_6-yes1-2-00	SAT	1.2
aim-50-3_4-yes1-3-90	UNSAT	1.22
aim-100-3_4-yes1-1-90	SAT	1.22
aim-100-2_0-yes1-2-50	SAT	1.23
aim-100-1_6-yes1-3-50	UNSAT	1.25
aim-100-2_0-yes1-2-90	UNSAT	1.26
aim-50-3_4-yes1-2-90	SAT	1.26
par8-5-c-90	UNSAT	1.26
par8-1-c-50	UNSAT	1.27
aim-100-1_6-yes1-3-90	SAT	1.28
par8-2-c-50	UNSAT	1.3
aim-50-6_0-yes1-4-90	SAT	1.31
par8-3-c-00	SAT	1.33
par8-3-c-90	UNSAT	1.33
par8-4-c-90	SAT	1.33
aim-200-1_6-yes1-2-90	UNSAT	1.38
aim-50-6_0-yes1-3-50	UNSAT	1.41
aim-100-6_0-yes1-3-90	UNSAT	1.42
aim-200-1_6-yes1-4-90	SAT	1.43
aim-200-2_0-yes1-2-90	UNSAT	1.46
aim-200-3_4-yes1-4-90	SAT	1.54
aim-100-6_0-yes1-1-90	UNSAT	1.54
aim-100-6_0-yes1-4-90	SAT	1.59
aim-200-3_4-yes1-1-90	SAT	1.74
jnh218-00	SAT	1.83
jnh207-90	SAT	1.94
jnh218-90	SAT	1.95
par8-2-90	UNSAT	2.28
ii8a1-00	SAT	2.35
par8-4-90	UNSAT	2.37
jnh1-50	SAT	2.92
ii32c1-50	SAT	3.2
ii32e1-50	SAT	3.24
ssa7552-159-00	SAT	3.35
ii32e1-00	SAT	3.57
ii8c1-90	SAT	3.95
ssa7552-159-90	SAT	4.21
ssa7552-160-50	SAT	4.42
ssa7552-159-50	SAT	5.22
par16-1-c-00	SAT	9.69
f600-00	FAIL	1200
ii8d1-00	FAIL	1200

Contact | Organization | Links | Citing QBFLIB