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

qbflib.org

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

Instance	Result	Time
aim-50-1_6-yes1-1-90	UNSAT	0.08
ssa7552-159-00	SAT	0.08
aim-50-1_6-yes1-4-90	UNSAT	0.08
aim-50-1_6-yes1-2-50	SAT	0.15
aim-50-1_6-yes1-4-50	SAT	0.15
aim-50-2_0-yes1-1-90	UNSAT	0.15
aim-50-2_0-yes1-3-90	UNSAT	0.19
aim-50-1_6-yes1-2-00	SAT	0.27
aim-50-1_6-yes1-1-00	SAT	0.28
aim-50-1_6-yes1-3-00	SAT	0.28
aim-50-2_0-yes1-2-50	UNSAT	0.31
aim-100-1_6-yes1-3-90	SAT	0.61
aim-50-3_4-yes1-3-90	UNSAT	0.67
aim-100-3_4-yes1-1-90	SAT	0.71
aim-50-3_4-yes1-2-90	SAT	0.73
ii8a1-90	SAT	1.07
aim-100-1_6-yes1-3-50	UNSAT	1.2
aim-100-2_0-yes1-2-90	UNSAT	1.42
aim-100-2_0-yes1-2-50	SAT	2.07
aim-50-6_0-yes1-4-90	SAT	2.22
par8-4-c-90	SAT	3.35
aim-50-6_0-yes1-3-50	UNSAT	3.76
par8-1-c-50	UNSAT	4.34
aim-200-1_6-yes1-4-90	SAT	4.66
par8-5-c-90	UNSAT	4.72
aim-200-1_6-yes1-2-90	UNSAT	4.81
par8-2-c-50	UNSAT	4.89
par8-3-c-90	UNSAT	4.98
par8-3-c-00	SAT	9.13
aim-200-2_0-yes1-2-90	UNSAT	9.37
aim-100-6_0-yes1-4-90	SAT	11.5
aim-100-6_0-yes1-3-90	UNSAT	22.77
aim-100-6_0-yes1-1-90	UNSAT	22.89
aim-200-3_4-yes1-4-90	SAT	29.92
aim-200-3_4-yes1-1-90	SAT	30.69
ii8a1-00	SAT	126.27
par8-2-90	UNSAT	191.38
par8-4-90	UNSAT	199.51
jnh218-90	SAT	201.22
jnh207-90	SAT	215.93
jnh218-00	SAT	276.27
jnh1-50	SAT	334.51
par16-1-c-00	FAIL	760.87
ii32e1-50	FAIL	1200.15
ii8c1-90	FAIL	1200.16
ssa7552-159-50	FAIL	1200.16
ii8d1-00	FAIL	1200.16
ssa7552-159-90	FAIL	1200.16
f600-00	FAIL	1200.16
ssa7552-160-50	FAIL	1200.16
ii32c1-50	FAIL	1200.16
ii32e1-00	FAIL	1200.17

Contact | Organization | Links | Citing QBFLIB