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

qbflib.org

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

Instance	Result	Time
aim-50-1_6-yes1-3-00	SAT	0.01
aim-50-1_6-yes1-4-50	SAT	0.01
aim-50-1_6-yes1-4-90	UNSAT	0.01
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-2-50	SAT	0.01
aim-50-1_6-yes1-1-00	SAT	0.01
aim-50-2_0-yes1-3-90	UNSAT	0.01
aim-100-1_6-yes1-3-50	UNSAT	0.02
aim-50-2_0-yes1-1-90	UNSAT	0.02
aim-50-2_0-yes1-2-50	UNSAT	0.02
par8-4-c-90	SAT	0.02
aim-50-3_4-yes1-3-90	UNSAT	0.02
aim-100-1_6-yes1-3-90	SAT	0.02
aim-50-3_4-yes1-2-90	SAT	0.02
par8-1-c-50	UNSAT	0.02
aim-50-6_0-yes1-3-50	UNSAT	0.02
aim-100-2_0-yes1-2-50	SAT	0.02
aim-100-2_0-yes1-2-90	UNSAT	0.02
aim-50-6_0-yes1-4-90	SAT	0.03
par8-3-c-00	SAT	0.03
par8-3-c-90	UNSAT	0.03
ii8a1-90	SAT	0.03
par8-2-c-50	UNSAT	0.03
par8-5-c-90	UNSAT	0.04
aim-100-3_4-yes1-1-90	SAT	0.05
aim-200-1_6-yes1-4-90	SAT	0.05
aim-200-1_6-yes1-2-90	UNSAT	0.06
aim-200-3_4-yes1-4-90	SAT	0.07
aim-100-6_0-yes1-1-90	UNSAT	0.08
aim-100-6_0-yes1-3-90	UNSAT	0.08
aim-100-6_0-yes1-4-90	SAT	0.09
aim-200-2_0-yes1-2-90	UNSAT	0.09
ssa7552-159-00	SAT	0.1
jnh218-00	SAT	0.11
jnh218-90	SAT	0.11
jnh207-90	SAT	0.13
jnh1-50	SAT	0.18
aim-200-3_4-yes1-1-90	SAT	0.33
par8-4-90	UNSAT	0.49
ii32c1-50	SAT	0.55
par8-2-90	UNSAT	0.64
par16-1-c-00	SAT	0.87
ii32e1-00	SAT	1.39
ssa7552-159-90	SAT	2.76
ii8a1-00	SAT	3.83
ii32e1-50	SAT	4.41
ii8c1-90	SAT	169.92
ssa7552-160-50	FAIL	1200.15
f600-00	FAIL	1200.16
ssa7552-159-50	FAIL	1200.17
ii8d1-00	FAIL	1200.17

Contact | Organization | Links | Citing QBFLIB