Instances solved by <a href='solver_detail.php?solver=64'>AQME-1NN</a> <br> QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

Instances solved by AQME-1NN
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

Instance	Result	Time
aim-50-1_6-yes1-4-00	SAT	0.52
aim-50-2_0-yes1-3-90	UNSAT	0.53
aim-50-1_6-yes1-2-50	SAT	0.53
aim-50-1_6-yes1-1-50	SAT	0.53
aim-50-2_0-yes1-1-50	UNSAT	0.53
aim-50-2_0-yes1-1-90	UNSAT	0.54
aim-50-2_0-yes1-3-50	UNSAT	0.54
aim-50-1_6-yes1-1-00	SAT	0.55
aim-50-1_6-yes1-2-90	UNSAT	0.55
aim-50-1_6-yes1-1-90	UNSAT	0.55
par8-1-c-90	UNSAT	0.55
aim-50-1_6-yes1-4-50	SAT	0.55
aim-50-3_4-yes1-1-90	UNSAT	0.56
par8-2-c-50	UNSAT	0.56
aim-50-1_6-yes1-2-00	SAT	0.56
aim-50-1_6-yes1-3-90	SAT	0.56
par8-3-c-00	SAT	0.56
aim-50-2_0-yes1-4-90	SAT	0.56
aim-100-1_6-yes1-3-90	SAT	0.56
par8-5-c-00	UNSAT	0.56
par8-5-c-90	UNSAT	0.56
par8-4-c-90	SAT	0.56
aim-50-1_6-yes1-4-90	UNSAT	0.56
par8-4-c-50	SAT	0.57
aim-50-2_0-yes1-2-90	SAT	0.57
par8-3-c-50	UNSAT	0.57
aim-50-1_6-yes1-3-00	SAT	0.57
par8-1-c-50	UNSAT	0.57
aim-50-3_4-yes1-2-90	SAT	0.57
aim-100-1_6-yes1-1-90	UNSAT	0.57
par8-2-c-90	UNSAT	0.57
par8-2-c-00	UNSAT	0.57
par8-5-c-50	UNSAT	0.58
aim-50-1_6-yes1-3-50	UNSAT	0.58
aim-100-1_6-yes1-2-90	UNSAT	0.58
aim-100-2_0-yes1-4-90	SAT	0.58
par8-4-c-00	SAT	0.58
aim-50-3_4-yes1-3-90	UNSAT	0.58
aim-100-1_6-yes1-4-90	UNSAT	0.58
aim-50-2_0-yes1-4-50	SAT	0.58
aim-50-2_0-yes1-2-50	UNSAT	0.58
aim-50-3_4-yes1-4-90	SAT	0.58
par8-1-c-00	UNSAT	0.59
aim-100-2_0-yes1-3-90	UNSAT	0.59
par8-3-c-90	UNSAT	0.59
aim-100-2_0-yes1-2-90	UNSAT	0.6
aim-100-2_0-yes1-1-90	UNSAT	0.61
jnh213-50	SAT	0.64
jnh218-00	SAT	0.66
par8-1-00	SAT	0.66
jnh209-00	SAT	0.66
par8-1-50	SAT	0.67
jnh213-00	SAT	0.67
jnh217-00	SAT	0.68
jnh7-00	SAT	0.68
par8-4-00	SAT	0.71
jnh205-50	SAT	0.72
ssa7552-159-00	SAT	0.72
jnh7-50	SAT	0.72
jnh301-50	SAT	0.73
jnh220-50	SAT	0.73
jnh217-50	SAT	0.75
par8-5-50	SAT	0.76
ii32b1-50	SAT	0.77
jnh7-90	SAT	0.78
jnh213-90	SAT	0.78
jnh207-90	SAT	0.79
jnh218-90	SAT	0.83
jnh210-50	SAT	0.83
par8-2-50	UNSAT	0.84
par8-2-00	UNSAT	0.87
par8-3-00	UNSAT	0.88
jnh212-00	UNSAT	0.88
jnh207-00	UNSAT	0.91
par8-5-00	UNSAT	0.92
jnh207-50	UNSAT	0.92
jnh210-90	UNSAT	0.96
jnh212-50	UNSAT	0.97
jnh205-90	UNSAT	0.98
jnh204-00	SAT	1.06
jnh301-90	UNSAT	1.07
par8-4-50	UNSAT	1.12
jnh212-90	UNSAT	1.15
ii8a4-00	SAT	1.18
jnh301-00	UNSAT	1.22
ssa7552-158-90	SAT	1.22
ii32b1-90	SAT	1.24
jnh218-50	SAT	1.26
jnh220-00	SAT	1.27
par8-2-90	UNSAT	1.28
par8-4-90	UNSAT	1.36
ii32d1-00	SAT	1.38
ii8a2-90	UNSAT	1.39
par8-1-90	UNSAT	1.39
par8-5-90	UNSAT	1.43
par8-3-50	UNSAT	1.5
jnh204-50	SAT	1.52
jnh220-90	SAT	1.68
ssa7552-159-90	SAT	1.92
jnh209-90	UNSAT	1.98
ii8a1-50	SAT	2.04
par8-3-90	SAT	2.14
jnh205-00	UNSAT	2.17
ssa7552-160-50	SAT	2.26
ii8a1-90	SAT	2.37
ssa7552-159-50	SAT	2.53
jnh209-50	UNSAT	2.54
par16-4-c-00	SAT	2.7
jnh217-90	SAT	2.72
jnh204-90	SAT	2.93
par16-4-c-50	UNSAT	3
ssa7552-158-50	SAT	3.02
aim-50-6_0-yes1-2-90	UNSAT	3.08
ii32b1-00	SAT	3.12
aim-50-6_0-yes1-1-90	SAT	3.43
aim-50-6_0-yes1-2-00	UNSAT	3.77
par16-4-c-90	UNSAT	3.78
aim-50-6_0-yes1-2-50	UNSAT	4.36
par16-5-c-00	SAT	4.53
aim-50-6_0-yes1-3-90	SAT	4.64
aim-50-6_0-yes1-3-50	UNSAT	4.96
par16-5-c-90	SAT	5.72
par16-2-c-50	SAT	6.2
par16-4-90	UNSAT	7.13
par16-2-c-90	SAT	7.17
par16-2-c-00	SAT	7.18
par16-1-c-50	SAT	7.25
ii8c1-90	SAT	7.86
ii8a4-90	SAT	7.88
par16-1-c-90	SAT	8.22
ii32b2-50	SAT	9.09
par16-1-c-00	SAT	9.19
par16-3-c-90	UNSAT	9.49
ii32b2-00	SAT	9.94
par16-3-c-50	UNSAT	10.9
aim-50-6_0-yes1-4-00	SAT	11.55
par16-5-c-50	UNSAT	13.07
par16-4-50	UNSAT	13.13
aim-50-6_0-yes1-4-90	SAT	14.34
par16-1-50	UNSAT	14.5
aim-50-6_0-yes1-3-00	UNSAT	14.92
par16-4-00	UNSAT	15.49
par16-1-90	UNSAT	15.62
par16-1-00	UNSAT	16.65
aim-50-3_4-yes1-1-00	UNSAT	16.84
aim-50-3_4-yes1-4-00	UNSAT	17.35
ii32e1-50	SAT	22.76
ii32e1-00	SAT	23.32
ii32c2-50	SAT	42.08
aim-50-3_4-yes1-4-50	UNSAT	53.67
aim-50-6_0-yes1-4-50	UNSAT	55.52
aim-50-6_0-yes1-1-00	UNSAT	56.75
aim-50-2_0-yes1-2-00	UNSAT	64.56
aim-100-6_0-yes1-3-00	SAT	65.3
aim-100-1_6-yes1-1-00	SAT	68.17
aim-100-6_0-yes1-1-00	SAT	68.48
jnh12-00	UNSAT	68.83
aim-100-3_4-yes1-2-00	UNSAT	68.88
aim-100-3_4-yes1-1-00	UNSAT	69.22
aim-50-6_0-yes1-1-50	UNSAT	70.14
aim-100-6_0-yes1-4-00	UNSAT	72.36
aim-100-3_4-yes1-4-00	SAT	72.39
aim-100-6_0-yes1-2-00	UNSAT	75.33
aim-50-3_4-yes1-3-50	SAT	80.94
aim-50-2_0-yes1-4-00	UNSAT	80.98
aim-50-3_4-yes1-2-00	SAT	80.98
aim-100-1_6-yes1-2-50	SAT	81.01
aim-100-1_6-yes1-2-00	SAT	81.02
aim-50-3_4-yes1-3-00	SAT	81.06
aim-50-3_4-yes1-2-50	SAT	81.09
aim-100-1_6-yes1-1-50	SAT	81.12
aim-100-3_4-yes1-1-90	SAT	81.16
aim-50-3_4-yes1-1-50	UNSAT	81.17
aim-100-3_4-yes1-2-50	SAT	81.21
aim-100-2_0-yes1-2-00	SAT	81.24
aim-100-2_0-yes1-2-50	SAT	81.25
aim-100-3_4-yes1-3-00	SAT	81.3
aim-50-2_0-yes1-1-00	UNSAT	81.43
aim-100-1_6-yes1-4-00	UNSAT	81.47
aim-100-2_0-yes1-3-50	UNSAT	81.51
aim-100-1_6-yes1-4-50	UNSAT	81.52
aim-100-1_6-yes1-3-00	UNSAT	81.53
aim-100-2_0-yes1-1-00	UNSAT	81.58
aim-100-1_6-yes1-3-50	UNSAT	81.59
aim-100-2_0-yes1-1-50	UNSAT	81.61
aim-100-2_0-yes1-3-00	UNSAT	81.67
aim-100-6_0-yes1-3-50	SAT	81.78
aim-50-2_0-yes1-3-00	UNSAT	81.93
aim-100-3_4-yes1-3-50	UNSAT	82.1
jnh12-90	SAT	82.3
aim-200-2_0-yes1-4-90	SAT	82.37
aim-100-6_0-yes1-1-50	SAT	82.41
aim-100-3_4-yes1-4-50	UNSAT	82.55
aim-100-3_4-yes1-1-50	UNSAT	82.58
aim-200-3_4-yes1-4-90	SAT	82.67
aim-200-2_0-yes1-4-50	SAT	82.72
aim-200-2_0-yes1-1-00	SAT	82.93
aim-200-2_0-yes1-4-00	SAT	82.95
aim-100-3_4-yes1-2-90	UNSAT	82.97
aim-200-1_6-yes1-2-50	SAT	82.99
jnh12-50	UNSAT	83.03
aim-200-1_6-yes1-4-90	SAT	83.23
aim-100-6_0-yes1-4-50	UNSAT	83.25
aim-200-1_6-yes1-1-50	SAT	83.47
aim-200-2_0-yes1-3-90	SAT	83.82
aim-200-1_6-yes1-1-00	SAT	83.82
aim-200-1_6-yes1-1-90	SAT	84.05
aim-100-6_0-yes1-3-90	UNSAT	84.05
aim-200-1_6-yes1-4-00	UNSAT	84.45
aim-200-1_6-yes1-4-50	SAT	84.77
aim-200-1_6-yes1-2-00	UNSAT	84.78
aim-100-2_0-yes1-4-50	UNSAT	84.85
aim-200-3_4-yes1-3-00	SAT	84.9
aim-200-1_6-yes1-2-90	UNSAT	84.98
aim-100-3_4-yes1-3-90	UNSAT	85.01
aim-200-3_4-yes1-3-50	SAT	85.12
aim-200-1_6-yes1-3-90	UNSAT	85.2
aim-200-2_0-yes1-1-90	UNSAT	85.25
aim-200-2_0-yes1-2-50	UNSAT	85.43
aim-100-2_0-yes1-4-00	UNSAT	86.06
aim-200-2_0-yes1-1-50	UNSAT	86.26
aim-100-6_0-yes1-1-90	UNSAT	87.04
aim-200-6_0-yes1-3-00	SAT	87.04
jnh17-00	SAT	87.7
aim-200-1_6-yes1-3-00	UNSAT	87.75
aim-200-3_4-yes1-1-50	SAT	87.77
aim-200-1_6-yes1-3-50	UNSAT	88.55
aim-100-6_0-yes1-2-50	UNSAT	89.21
ii8a2-00	SAT	89.33
aim-200-6_0-yes1-4-00	UNSAT	89.64
aim-200-3_4-yes1-2-00	UNSAT	90
aim-100-6_0-yes1-4-90	SAT	90.43
aim-200-2_0-yes1-3-00	UNSAT	90.47
aim-200-3_4-yes1-4-00	SAT	90.98
aim-100-3_4-yes1-4-90	SAT	91.47
aim-200-6_0-yes1-1-00	UNSAT	92.16
aim-200-3_4-yes1-4-50	SAT	92.48
aim-200-2_0-yes1-2-00	UNSAT	94.13
aim-200-2_0-yes1-3-50	UNSAT	94.89
aim-200-6_0-yes1-2-50	UNSAT	97.46
aim-200-6_0-yes1-2-00	UNSAT	97.64
aim-200-6_0-yes1-1-50	UNSAT	100.02
aim-200-2_0-yes1-2-90	UNSAT	101.71
aim-200-6_0-yes1-4-50	SAT	103.17
aim-200-6_0-yes1-4-90	SAT	103.3
aim-200-3_4-yes1-1-90	SAT	103.3
aim-200-6_0-yes1-1-90	SAT	103.43
aim-200-3_4-yes1-2-50	SAT	104.41
aim-200-6_0-yes1-3-50	UNSAT	104.99
aim-200-6_0-yes1-2-90	UNSAT	105.18
aim-200-6_0-yes1-3-90	UNSAT	105.32
jnh1-50	SAT	105.48
ii8b1-90	SAT	105.48
aim-100-6_0-yes1-2-90	SAT	106.17
aim-200-3_4-yes1-3-90	UNSAT	106.99
aim-200-3_4-yes1-2-90	UNSAT	107.17
aim-200-3_4-yes1-1-00	UNSAT	107.27
jnh17-50	SAT	117.6
jnh201-00	SAT	118.42
jnh17-90	UNSAT	122.33
ii32d1-50	SAT	129.05
ii8a1-00	SAT	129.71
jnh1-00	SAT	131.05
ssa7552-160-00	SAT	135.57
jnh201-50	SAT	141.09
ii32c1-50	SAT	141.33
ii8a3-00	SAT	141.43
ii32e1-90	UNSAT	142.74
jnh1-90	UNSAT	146.29
ii32e2-50	SAT	148.27
ii32c1-90	UNSAT	149.83
ii32e2-00	SAT	152.13
ii32d1-90	SAT	165.09
ii32c3-90	SAT	167.75
ii32c3-50	SAT	168.39
ii32c3-00	SAT	168.59
ii32c1-00	FAIL	169.07
par16-3-c-00	UNSAT	170.9
jnh201-90	FAIL	177.41
ii32e2-90	FAIL	181.22
f600-90	FAIL	243.7
f600-00	FAIL	249.85
ii8a2-50	FAIL	255.43
ii32b2-90	SAT	262.52
f600-50	FAIL	269.45
jnh210-00	UNSAT	278.03
ii32c2-00	SAT	369.44
ii8b1-00	FAIL	371.67
ii8c1-00	FAIL	379.43
ii8e1-50	FAIL	382.45
ii8b1-50	FAIL	396.94
ii8e1-00	FAIL	426.45
ii8c1-50	FAIL	464.25
ii8d1-50	FAIL	494.04
ii8d1-00	FAIL	543.78
ssa7552-158-00	FAIL	600
ii8e1-90	FAIL	600
ii8d1-90	FAIL	600
ii32c2-90	FAIL	600
ii8a4-50	FAIL	600
ii8a3-90	FAIL	600
ii8a3-50	FAIL	600
ssa7552-160-90	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by AQME-1NN
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by AQME-1NN QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

Instances solved by AQME-1NN
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.