Instances of family Abduction solved by <a href='solver_detail.php?solver=64'>AQME-1NN</a> <br> QBFEVAL'08

Instances of family Abduction solved by AQME-1NN
QBFEVAL'08

Instance	Result	Time
aim-50-3_4-yes1-3-00	SAT	0.86
aim-50-3_4-yes1-1-50	UNSAT	0.88
aim-100-1_6-yes1-2-90	UNSAT	0.89
par8-3-c-00	SAT	0.89
aim-50-1_6-yes1-1-00	SAT	0.89
aim-50-2_0-yes1-1-50	UNSAT	0.9
aim-100-1_6-yes1-3-90	SAT	0.9
aim-50-2_0-yes1-2-90	SAT	0.91
aim-50-3_4-yes1-2-00	SAT	0.91
aim-50-6_0-yes1-4-50	UNSAT	0.92
par8-4-c-90	SAT	0.92
aim-50-1_6-yes1-3-50	UNSAT	0.93
aim-50-2_0-yes1-4-90	SAT	0.93
aim-100-1_6-yes1-1-00	SAT	0.94
aim-100-2_0-yes1-3-90	UNSAT	0.94
par8-1-c-90	UNSAT	0.94
aim-50-6_0-yes1-3-50	UNSAT	0.94
aim-50-1_6-yes1-3-90	SAT	0.95
aim-100-1_6-yes1-4-00	UNSAT	0.95
aim-50-6_0-yes1-1-00	UNSAT	0.95
aim-100-2_0-yes1-4-00	UNSAT	0.95
aim-100-2_0-yes1-1-90	UNSAT	0.95
aim-50-6_0-yes1-1-50	UNSAT	0.96
aim-50-1_6-yes1-3-00	SAT	0.97
aim-50-6_0-yes1-1-90	SAT	0.97
aim-50-2_0-yes1-4-50	SAT	0.97
aim-50-6_0-yes1-2-90	UNSAT	0.98
aim-50-1_6-yes1-4-90	UNSAT	0.98
aim-50-1_6-yes1-1-50	SAT	0.98
aim-50-2_0-yes1-2-00	UNSAT	0.99
aim-50-6_0-yes1-3-90	SAT	0.99
par8-5-c-90	UNSAT	1
aim-50-6_0-yes1-2-00	UNSAT	1
aim-50-6_0-yes1-2-50	UNSAT	1
aim-100-2_0-yes1-1-00	UNSAT	1
aim-50-3_4-yes1-2-90	SAT	1
par8-5-c-00	UNSAT	1.01
aim-50-6_0-yes1-4-00	SAT	1.02
aim-50-1_6-yes1-2-00	SAT	1.02
aim-50-3_4-yes1-2-50	SAT	1.02
aim-100-3_4-yes1-2-90	UNSAT	1.03
aim-100-3_4-yes1-3-00	SAT	1.03
aim-100-3_4-yes1-4-50	UNSAT	1.03
aim-200-1_6-yes1-3-50	UNSAT	1.04
aim-50-1_6-yes1-4-00	SAT	1.04
aim-50-3_4-yes1-1-90	UNSAT	1.04
aim-50-3_4-yes1-4-90	SAT	1.04
aim-50-2_0-yes1-1-90	UNSAT	1.04
aim-50-1_6-yes1-2-90	UNSAT	1.05
aim-50-3_4-yes1-3-90	UNSAT	1.05
aim-50-2_0-yes1-3-00	UNSAT	1.05
aim-50-2_0-yes1-1-00	UNSAT	1.05
aim-100-1_6-yes1-1-50	SAT	1.06
aim-100-1_6-yes1-2-50	SAT	1.06
aim-200-1_6-yes1-1-90	SAT	1.06
aim-50-2_0-yes1-3-90	UNSAT	1.06
aim-50-1_6-yes1-4-50	SAT	1.06
aim-100-6_0-yes1-2-90	SAT	1.07
aim-50-6_0-yes1-4-90	SAT	1.07
aim-200-2_0-yes1-2-90	UNSAT	1.07
aim-100-6_0-yes1-4-90	SAT	1.08
aim-100-6_0-yes1-1-90	UNSAT	1.09
aim-100-6_0-yes1-3-90	UNSAT	1.09
aim-50-2_0-yes1-3-50	UNSAT	1.1
aim-100-3_4-yes1-1-90	SAT	1.1
aim-50-2_0-yes1-2-50	UNSAT	1.11
aim-100-3_4-yes1-2-50	SAT	1.11
aim-100-6_0-yes1-2-50	UNSAT	1.12
aim-100-6_0-yes1-1-50	SAT	1.13
aim-200-2_0-yes1-2-00	UNSAT	1.13
aim-50-3_4-yes1-4-50	UNSAT	1.13
aim-50-3_4-yes1-1-00	UNSAT	1.14
aim-200-2_0-yes1-4-00	SAT	1.14
aim-200-2_0-yes1-1-00	SAT	1.14
aim-50-3_4-yes1-4-00	UNSAT	1.16
aim-100-6_0-yes1-3-50	SAT	1.16
aim-100-2_0-yes1-2-00	SAT	1.17
aim-100-6_0-yes1-4-50	UNSAT	1.18
aim-100-2_0-yes1-4-90	SAT	1.21
aim-100-6_0-yes1-3-00	SAT	1.25
aim-200-3_4-yes1-4-90	SAT	1.27
aim-100-6_0-yes1-2-00	UNSAT	1.29
par8-4-c-50	SAT	1.32
aim-200-3_4-yes1-1-90	SAT	1.34
par8-1-c-00	UNSAT	1.36
aim-50-6_0-yes1-3-00	UNSAT	1.36
aim-100-1_6-yes1-1-90	UNSAT	1.36
aim-200-3_4-yes1-2-50	SAT	1.37
aim-100-3_4-yes1-4-90	SAT	1.38
aim-200-3_4-yes1-3-90	UNSAT	1.4
par8-2-c-90	UNSAT	1.41
par8-2-c-00	UNSAT	1.42
par8-3-c-50	UNSAT	1.43
par8-1-c-50	UNSAT	1.43
jnh210-50	SAT	1.44
aim-200-3_4-yes1-4-00	SAT	1.45
par8-2-c-50	UNSAT	1.45
par8-4-c-00	SAT	1.46
ii8a2-00	SAT	1.46
par8-3-c-90	UNSAT	1.47
aim-100-2_0-yes1-1-50	UNSAT	1.48
aim-100-2_0-yes1-2-90	UNSAT	1.48
aim-100-1_6-yes1-3-00	UNSAT	1.49
aim-200-3_4-yes1-3-00	SAT	1.49
jnh218-00	SAT	1.49
aim-100-1_6-yes1-4-90	UNSAT	1.49
aim-100-2_0-yes1-4-50	UNSAT	1.5
jnh213-90	SAT	1.5
jnh213-50	SAT	1.5
aim-100-2_0-yes1-3-50	UNSAT	1.5
aim-200-3_4-yes1-2-90	UNSAT	1.51
aim-100-1_6-yes1-4-50	UNSAT	1.51
par8-5-50	SAT	1.52
jnh7-90	SAT	1.53
jnh218-90	SAT	1.53
jnh220-50	SAT	1.55
jnh207-90	SAT	1.56
jnh213-00	SAT	1.56
aim-100-1_6-yes1-3-50	UNSAT	1.58
jnh217-00	SAT	1.58
jnh217-50	SAT	1.6
jnh209-00	SAT	1.61
par8-1-50	SAT	1.61
jnh205-50	SAT	1.63
jnh12-90	SAT	1.64
par8-5-c-50	UNSAT	1.64
aim-100-2_0-yes1-3-00	UNSAT	1.65
par8-4-00	SAT	1.68
par8-3-00	UNSAT	1.69
par8-4-50	UNSAT	1.69
jnh207-00	UNSAT	1.7
par8-2-90	UNSAT	1.72
aim-200-6_0-yes1-1-90	SAT	1.72
jnh205-90	UNSAT	1.72
jnh212-50	UNSAT	1.72
aim-200-6_0-yes1-3-90	UNSAT	1.72
par8-3-90	SAT	1.73
jnh212-00	UNSAT	1.73
jnh204-00	SAT	1.73
par8-5-00	UNSAT	1.73
ii8a1-50	SAT	1.73
aim-100-3_4-yes1-1-00	UNSAT	1.74
aim-200-6_0-yes1-1-50	UNSAT	1.76
par8-2-00	UNSAT	1.77
jnh207-50	UNSAT	1.77
aim-100-3_4-yes1-1-50	UNSAT	1.77
aim-100-3_4-yes1-4-00	SAT	1.77
jnh212-90	UNSAT	1.78
aim-200-6_0-yes1-1-00	UNSAT	1.79
par8-3-50	UNSAT	1.81
par8-5-90	UNSAT	1.81
aim-200-6_0-yes1-4-50	SAT	1.82
aim-200-6_0-yes1-2-50	UNSAT	1.82
aim-100-3_4-yes1-3-50	UNSAT	1.85
aim-200-6_0-yes1-4-90	SAT	1.85
aim-100-3_4-yes1-3-90	UNSAT	1.87
jnh210-90	UNSAT	1.89
par8-2-50	UNSAT	1.89
par8-1-90	UNSAT	1.89
aim-200-6_0-yes1-2-90	UNSAT	1.9
ii8a2-90	UNSAT	1.9
jnh204-50	SAT	1.91
par8-4-90	UNSAT	1.93
par8-1-00	SAT	1.94
aim-200-6_0-yes1-4-00	UNSAT	1.95
jnh209-90	UNSAT	1.95
jnh220-00	SAT	1.95
aim-200-6_0-yes1-3-50	UNSAT	1.95
aim-200-2_0-yes1-4-90	SAT	1.98
aim-50-1_6-yes1-2-50	SAT	2.02
jnh17-90	UNSAT	2.02
ii8a1-90	SAT	2.09
aim-200-6_0-yes1-2-00	UNSAT	2.14
aim-100-6_0-yes1-1-00	SAT	2.17
jnh220-90	SAT	2.23
jnh205-00	UNSAT	2.37
jnh12-50	UNSAT	2.42
aim-200-2_0-yes1-4-50	SAT	2.48
jnh201-50	SAT	2.5
jnh204-90	SAT	2.5
ii32b1-50	SAT	2.59
aim-200-3_4-yes1-3-50	SAT	2.6
jnh7-50	SAT	2.62
aim-100-6_0-yes1-4-00	UNSAT	2.64
ssa7552-159-00	SAT	2.66
jnh17-00	SAT	2.68
ii32c1-50	SAT	2.68
jnh1-00	SAT	2.68
ii32e1-50	SAT	2.72
jnh301-50	SAT	2.72
aim-200-1_6-yes1-4-90	SAT	2.73
ii8c1-90	SAT	2.73
jnh12-00	UNSAT	2.73
jnh7-00	SAT	2.75
jnh301-90	UNSAT	2.83
aim-200-1_6-yes1-2-50	SAT	2.85
ii32d1-00	SAT	2.9
ii32e1-90	UNSAT	2.93
jnh17-50	SAT	2.97
jnh209-50	UNSAT	3.02
jnh201-00	SAT	3.09
ii8b1-90	SAT	3.09
jnh1-50	SAT	3.1
ii32e1-00	SAT	3.12
ii32d1-50	SAT	3.16
jnh301-00	UNSAT	3.18
aim-200-1_6-yes1-1-00	SAT	3.2
ii32b1-90	SAT	3.2
aim-200-1_6-yes1-1-50	SAT	3.34
aim-200-3_4-yes1-1-50	SAT	3.35
aim-200-6_0-yes1-3-00	SAT	3.4
ii8a3-00	SAT	3.42
ssa7552-159-50	SAT	3.44
par16-1-c-50	SAT	3.5
ii8a4-90	SAT	3.68
aim-200-2_0-yes1-3-90	SAT	3.73
ssa7552-159-90	SAT	4.07
ii32d1-90	SAT	4.08
aim-200-2_0-yes1-2-50	UNSAT	4.14
par16-1-c-90	SAT	4.26
jnh217-90	SAT	4.31
aim-200-1_6-yes1-2-00	UNSAT	4.38
aim-200-2_0-yes1-3-00	UNSAT	4.4
aim-200-1_6-yes1-4-00	UNSAT	4.44
ii32b1-00	SAT	4.59
ssa7552-158-50	SAT	4.6
par16-4-c-00	SAT	4.6
aim-200-3_4-yes1-4-50	SAT	4.63
aim-200-1_6-yes1-4-50	SAT	4.68
par16-1-c-00	SAT	4.7
aim-200-2_0-yes1-1-90	UNSAT	4.77
aim-200-1_6-yes1-2-90	UNSAT	4.85
jnh1-90	UNSAT	4.98
par16-4-c-90	UNSAT	4.98
par16-5-c-90	SAT	5.04
aim-200-2_0-yes1-3-50	UNSAT	5.04
aim-200-1_6-yes1-3-90	UNSAT	5.18
par16-4-c-50	UNSAT	5.23
aim-100-3_4-yes1-2-00	UNSAT	5.8
par16-4-90	UNSAT	5.95
ii32c1-90	UNSAT	6.39
par16-4-50	UNSAT	6.45
par16-2-c-50	SAT	6.46
par16-5-c-00	SAT	6.64
par16-4-00	UNSAT	6.67
ssa7552-158-90	SAT	6.75
par16-3-c-90	UNSAT	7.09
ii32b2-50	SAT	7.2
ii32c2-90	SAT	7.39
ii32b2-00	SAT	7.43
aim-200-3_4-yes1-2-00	UNSAT	7.53
par16-2-c-90	SAT	7.66
par16-3-c-00	UNSAT	7.94
aim-200-3_4-yes1-1-00	UNSAT	7.98
par16-1-90	UNSAT	8.07
ii32c2-50	SAT	8.67
ii32c3-90	SAT	9.33
ii32e2-50	SAT	9.81
par16-3-c-50	UNSAT	9.87
ii32e2-00	SAT	10.25
par16-1-50	UNSAT	10.36
ii32c3-50	SAT	10.97
jnh201-90	SAT	11.23
par16-1-00	UNSAT	12.87
ii32c3-00	SAT	15.16
par16-2-c-00	SAT	15.49
ii32c2-00	SAT	16.55
ii8b1-00	SAT	17.95
aim-50-3_4-yes1-3-50	SAT	19.41
ii8b1-50	SAT	19.94
aim-100-2_0-yes1-2-50	SAT	33.39
jnh210-00	UNSAT	41.37
aim-50-2_0-yes1-4-00	UNSAT	55.17
ii32b2-90	SAT	55.58
ii8a2-50	SAT	66.03
aim-100-1_6-yes1-2-00	SAT	82.03
aim-50-1_6-yes1-1-90	UNSAT	86.54
ii8a4-00	SAT	119.32
par16-5-c-50	UNSAT	144.35
aim-200-2_0-yes1-1-50	UNSAT	175.2
aim-200-1_6-yes1-3-00	UNSAT	175.96
ii32e2-90	SAT	216.97
ssa7552-160-00	SAT	241.1
jnh218-50	SAT	257.68
ii8a1-00	SAT	342.59
ssa7552-160-50	SAT	521.77
ii8a4-50	FAIL	540.04
ii8e1-00	FAIL	541.48
ii8d1-50	FAIL	541.91
ii8c1-00	FAIL	543.48
ii8d1-00	FAIL	544.81
ii8c1-50	FAIL	546.01
ii8e1-90	FAIL	546.06
ii8a3-90	FAIL	546.44
ii8a3-50	FAIL	553.29
ii8e1-50	FAIL	568.99
f600-00	FAIL	569.34
ii32c1-00	FAIL	572.43
f600-50	FAIL	584.54
ssa7552-160-90	FAIL	587.75
ii8d1-90	FAIL	598.28
f600-90	FAIL	598.49
ssa7552-158-00	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Abduction solved by AQME-1NN
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Abduction solved by AQME-1NN QBFEVAL'08

Instances of family Abduction solved by AQME-1NN
QBFEVAL'08