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

qbflib.org

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

Instance	Result	Time
ssa7552-159-00	SAT	0.02
aim-50-1_6-yes1-3-00	SAT	0.04
aim-50-1_6-yes1-2-00	SAT	0.05
aim-50-1_6-yes1-1-00	SAT	0.06
aim-50-1_6-yes1-2-50	SAT	0.07
par8-4-c-90	SAT	0.1
aim-50-2_0-yes1-2-50	UNSAT	0.11
aim-50-1_6-yes1-4-50	SAT	0.14
par8-1-c-50	UNSAT	0.24
aim-50-6_0-yes1-3-50	UNSAT	0.26
par8-3-c-00	SAT	0.29
aim-50-1_6-yes1-1-90	UNSAT	0.4
par8-2-c-50	UNSAT	0.52
aim-50-3_4-yes1-3-90	UNSAT	0.53
par8-5-c-90	UNSAT	0.64
par8-3-c-90	UNSAT	1.01
aim-50-1_6-yes1-4-90	UNSAT	1.04
aim-50-2_0-yes1-1-90	UNSAT	1.12
aim-50-6_0-yes1-4-90	SAT	1.31
ii8a1-90	SAT	1.78
aim-50-3_4-yes1-2-90	SAT	2
aim-100-1_6-yes1-3-50	UNSAT	2.53
aim-50-2_0-yes1-3-90	UNSAT	2.67
aim-100-2_0-yes1-2-50	SAT	2.69
aim-100-2_0-yes1-2-90	UNSAT	5.64
par16-1-c-00	SAT	8.46
par8-4-90	UNSAT	14.69
par8-2-90	UNSAT	19.11
ii8a1-00	SAT	32.71
aim-100-6_0-yes1-1-90	UNSAT	39.46
aim-100-6_0-yes1-4-90	SAT	63.96
aim-100-3_4-yes1-1-90	SAT	187.06
jnh218-00	SAT	210.03
aim-100-1_6-yes1-3-90	SAT	342.29
jnh207-90	SAT	359.75
aim-200-3_4-yes1-1-90	FAIL	1200
f600-00	FAIL	1200
jnh1-50	FAIL	1200
ssa7552-160-50	FAIL	1200
aim-200-3_4-yes1-4-90	FAIL	1200
ii32c1-50	FAIL	1200
ii32e1-00	FAIL	1200
aim-100-6_0-yes1-3-90	FAIL	1200
ii32e1-50	FAIL	1200
jnh218-90	FAIL	1200
aim-200-1_6-yes1-2-90	FAIL	1200
aim-200-1_6-yes1-4-90	FAIL	1200
ii8c1-90	FAIL	1200
ssa7552-159-50	FAIL	1200
aim-200-2_0-yes1-2-90	FAIL	1200
ii8d1-00	FAIL	1200
ssa7552-159-90	FAIL	1200

Contact | Organization | Links | Citing QBFLIB