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

qbflib.org

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

Instance	Result	Time
ssa7552-159-00	SAT	0.05
par8-4-c-90	SAT	0.26
ii8a1-90	SAT	1.4
par8-3-c-90	UNSAT	2.46
par8-2-c-50	UNSAT	2.99
aim-50-6_0-yes1-3-50	UNSAT	4.93
aim-50-1_6-yes1-4-90	UNSAT	5.51
par8-1-c-50	UNSAT	6.12
par8-3-c-00	SAT	6.73
par8-5-c-90	UNSAT	7.57
aim-50-6_0-yes1-4-90	SAT	7.74
aim-50-3_4-yes1-2-90	SAT	14.54
aim-50-3_4-yes1-3-90	UNSAT	14.81
par8-2-90	UNSAT	38.38
aim-200-1_6-yes1-2-90	FAIL	42.6
aim-100-1_6-yes1-3-90	FAIL	49.69
aim-200-2_0-yes1-2-90	FAIL	50.92
aim-50-1_6-yes1-4-50	FAIL	52.09
aim-200-1_6-yes1-4-90	FAIL	53.67
aim-100-2_0-yes1-2-90	FAIL	56.92
aim-200-3_4-yes1-1-90	FAIL	61.46
aim-50-1_6-yes1-1-90	FAIL	65.41
aim-50-1_6-yes1-1-00	FAIL	67.62
aim-100-2_0-yes1-2-50	FAIL	69.55
aim-50-1_6-yes1-2-50	FAIL	75.15
aim-200-3_4-yes1-4-90	FAIL	77.25
aim-100-1_6-yes1-3-50	FAIL	84.23
aim-50-1_6-yes1-3-00	FAIL	85.54
f600-00	FAIL	87.39
aim-100-3_4-yes1-1-90	FAIL	101.93
aim-50-1_6-yes1-2-00	FAIL	107.38
par8-4-90	UNSAT	107.75
aim-50-2_0-yes1-1-90	FAIL	111.86
aim-50-2_0-yes1-3-90	FAIL	125.83
ii8a1-00	FAIL	126.31
aim-100-6_0-yes1-4-90	FAIL	143.84
aim-100-6_0-yes1-3-90	FAIL	150.43
jnh218-00	SAT	161.69
aim-50-2_0-yes1-2-50	UNSAT	180.96
ii8c1-90	FAIL	202.07
ii8d1-00	FAIL	214.42
aim-100-6_0-yes1-1-90	FAIL	241.03
jnh207-90	FAIL	275.3
ii32c1-50	FAIL	301.88
ii32e1-50	FAIL	368.86
ii32e1-00	FAIL	424.04
jnh1-50	FAIL	473.2
jnh218-90	FAIL	493.44
par16-1-c-00	FAIL	646.49
ssa7552-160-50	FAIL	1200
ssa7552-159-50	FAIL	1200
ssa7552-159-90	FAIL	1200

Contact | Organization | Links | Citing QBFLIB