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

qbflib.org

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

Instance	Result	Time
aim-50-1_6-yes1-1-90	UNSAT	0.01
aim-50-1_6-yes1-2-00	SAT	0.01
aim-50-1_6-yes1-4-50	SAT	0.01
aim-50-2_0-yes1-2-50	UNSAT	0.01
aim-50-1_6-yes1-2-50	SAT	0.01
aim-50-1_6-yes1-4-90	UNSAT	0.02
aim-50-1_6-yes1-1-00	SAT	0.02
aim-50-2_0-yes1-3-90	UNSAT	0.02
aim-100-1_6-yes1-3-90	SAT	0.02
aim-50-2_0-yes1-1-90	UNSAT	0.02
aim-50-3_4-yes1-2-90	SAT	0.02
aim-50-3_4-yes1-3-90	UNSAT	0.02
aim-50-1_6-yes1-3-00	SAT	0.02
aim-100-2_0-yes1-2-50	SAT	0.02
aim-50-6_0-yes1-4-90	SAT	0.02
aim-100-1_6-yes1-3-50	UNSAT	0.02
ii8a1-90	SAT	0.02
aim-100-2_0-yes1-2-90	UNSAT	0.03
par8-4-c-90	SAT	0.03
aim-100-3_4-yes1-1-90	SAT	0.03
par8-3-c-00	SAT	0.04
par8-1-c-50	UNSAT	0.04
aim-50-6_0-yes1-3-50	UNSAT	0.04
par8-2-c-50	UNSAT	0.04
par8-3-c-90	UNSAT	0.04
par8-5-c-90	UNSAT	0.04
ssa7552-159-00	SAT	0.04
aim-200-1_6-yes1-2-90	UNSAT	0.06
aim-200-1_6-yes1-4-90	SAT	0.06
aim-200-2_0-yes1-2-90	UNSAT	0.09
aim-100-6_0-yes1-3-90	UNSAT	0.1
aim-100-6_0-yes1-1-90	UNSAT	0.11
jnh218-00	SAT	0.11
aim-100-6_0-yes1-4-90	SAT	0.12
jnh218-90	SAT	0.12
jnh207-90	SAT	0.16
aim-200-3_4-yes1-4-90	SAT	0.17
jnh1-50	SAT	0.2
aim-200-3_4-yes1-1-90	SAT	0.33
par8-4-90	UNSAT	0.42
par8-2-90	UNSAT	0.46
ii32c1-50	SAT	0.55
ii32e1-00	SAT	1.42
par16-1-c-00	SAT	1.54
ssa7552-159-90	SAT	1.79
ii8a1-00	SAT	2.06
ssa7552-160-50	SAT	3.35
ii32e1-50	SAT	4.44
ii8c1-90	SAT	165.81
f600-00	FAIL	1200.17
ii8d1-00	FAIL	1200.18
ssa7552-159-50	FAIL	1200.18

Contact | Organization | Links | Citing QBFLIB