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

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

Instance	Result	Time
aim-50-1_6-yes1-3-90	SAT	0.05
aim-50-1_6-yes1-3-50	UNSAT	0.06
aim-50-2_0-yes1-4-90	SAT	0.06
aim-50-1_6-yes1-2-90	UNSAT	0.06
aim-50-2_0-yes1-1-00	UNSAT	0.06
aim-50-2_0-yes1-1-50	UNSAT	0.06
aim-50-2_0-yes1-1-90	UNSAT	0.06
aim-50-2_0-yes1-2-00	UNSAT	0.06
aim-50-2_0-yes1-2-50	UNSAT	0.06
aim-50-2_0-yes1-2-90	SAT	0.06
aim-50-2_0-yes1-3-90	UNSAT	0.06
aim-50-2_0-yes1-4-50	SAT	0.06
aim-50-1_6-yes1-4-90	UNSAT	0.06
aim-50-1_6-yes1-1-90	UNSAT	0.06
aim-50-1_6-yes1-4-50	SAT	0.06
aim-50-1_6-yes1-1-50	SAT	0.06
aim-50-1_6-yes1-2-00	SAT	0.06
aim-50-1_6-yes1-2-50	SAT	0.06
aim-50-2_0-yes1-3-50	UNSAT	0.07
ii8a1-50	SAT	0.07
aim-50-2_0-yes1-3-00	UNSAT	0.07
aim-50-1_6-yes1-3-00	SAT	0.07
aim-50-1_6-yes1-4-00	SAT	0.07
aim-50-1_6-yes1-1-00	SAT	0.07
aim-50-3_4-yes1-2-50	SAT	0.07
aim-50-3_4-yes1-3-50	SAT	0.07
aim-50-3_4-yes1-1-90	UNSAT	0.07
aim-50-3_4-yes1-4-50	UNSAT	0.07
aim-100-1_6-yes1-3-90	SAT	0.07
aim-50-2_0-yes1-4-00	UNSAT	0.07
par8-4-c-90	SAT	0.07
aim-50-3_4-yes1-3-90	UNSAT	0.08
aim-50-3_4-yes1-3-00	SAT	0.08
aim-50-3_4-yes1-2-90	SAT	0.08
aim-50-3_4-yes1-2-00	SAT	0.08
aim-50-3_4-yes1-1-00	UNSAT	0.08
aim-50-3_4-yes1-1-50	UNSAT	0.08
ii8a1-90	SAT	0.08
aim-100-1_6-yes1-1-00	SAT	0.08
aim-100-1_6-yes1-1-90	UNSAT	0.08
aim-100-1_6-yes1-1-50	SAT	0.08
aim-100-1_6-yes1-2-50	SAT	0.08
aim-50-3_4-yes1-4-00	UNSAT	0.08
aim-100-1_6-yes1-4-50	UNSAT	0.08
aim-100-1_6-yes1-4-90	UNSAT	0.08
aim-100-2_0-yes1-3-50	UNSAT	0.08
aim-100-1_6-yes1-4-00	UNSAT	0.08
aim-100-2_0-yes1-4-50	UNSAT	0.08
aim-100-1_6-yes1-3-50	UNSAT	0.08
aim-100-1_6-yes1-2-90	UNSAT	0.08
aim-100-1_6-yes1-2-00	SAT	0.08
par8-4-c-50	SAT	0.08
aim-100-2_0-yes1-2-50	SAT	0.08
aim-100-2_0-yes1-1-50	UNSAT	0.09
par8-3-c-50	UNSAT	0.09
aim-100-1_6-yes1-3-00	UNSAT	0.09
aim-50-3_4-yes1-4-90	SAT	0.09
aim-50-6_0-yes1-1-90	SAT	0.09
aim-100-2_0-yes1-4-90	SAT	0.09
aim-100-2_0-yes1-2-90	UNSAT	0.09
par8-1-c-90	UNSAT	0.09
par8-2-c-50	UNSAT	0.09
aim-100-2_0-yes1-3-90	UNSAT	0.09
aim-100-2_0-yes1-2-00	SAT	0.09
aim-50-6_0-yes1-2-50	UNSAT	0.1
aim-100-2_0-yes1-1-90	UNSAT	0.1
par8-1-c-50	UNSAT	0.1
aim-100-2_0-yes1-1-00	UNSAT	0.1
aim-50-6_0-yes1-3-90	SAT	0.1
par8-4-c-00	SAT	0.1
aim-100-2_0-yes1-3-00	UNSAT	0.1
aim-50-6_0-yes1-4-90	SAT	0.1
aim-50-6_0-yes1-1-00	UNSAT	0.1
par8-2-c-90	UNSAT	0.1
aim-50-6_0-yes1-2-90	UNSAT	0.1
par8-2-c-00	UNSAT	0.1
par8-1-c-00	UNSAT	0.1
aim-50-6_0-yes1-1-50	UNSAT	0.1
aim-50-6_0-yes1-4-00	SAT	0.1
aim-50-6_0-yes1-4-50	UNSAT	0.1
aim-50-6_0-yes1-3-50	UNSAT	0.1
aim-50-6_0-yes1-3-00	UNSAT	0.1
aim-100-2_0-yes1-4-00	UNSAT	0.1
par8-5-c-90	UNSAT	0.1
aim-50-6_0-yes1-2-00	UNSAT	0.1
aim-100-3_4-yes1-1-90	SAT	0.1
par8-3-c-90	UNSAT	0.1
par8-3-c-00	SAT	0.1
par8-5-c-50	UNSAT	0.11
aim-100-3_4-yes1-3-00	SAT	0.11
aim-100-3_4-yes1-1-50	UNSAT	0.12
aim-100-3_4-yes1-2-50	SAT	0.12
par8-5-c-00	UNSAT	0.12
aim-100-3_4-yes1-4-50	UNSAT	0.12
aim-200-1_6-yes1-2-50	SAT	0.12
aim-100-3_4-yes1-4-00	SAT	0.12
aim-100-3_4-yes1-4-90	SAT	0.13
aim-100-3_4-yes1-1-00	UNSAT	0.13
aim-100-3_4-yes1-3-50	UNSAT	0.13
aim-100-3_4-yes1-2-90	UNSAT	0.13
aim-200-1_6-yes1-1-50	SAT	0.13
aim-100-3_4-yes1-2-00	UNSAT	0.13
aim-200-1_6-yes1-1-90	SAT	0.14
aim-200-1_6-yes1-2-90	UNSAT	0.14
aim-200-1_6-yes1-3-50	UNSAT	0.14
aim-100-3_4-yes1-3-90	UNSAT	0.14
aim-200-1_6-yes1-1-00	SAT	0.14
aim-200-1_6-yes1-3-90	UNSAT	0.14
aim-200-1_6-yes1-3-00	UNSAT	0.16
aim-200-1_6-yes1-4-50	SAT	0.16
aim-200-1_6-yes1-4-00	UNSAT	0.16
aim-200-2_0-yes1-4-50	SAT	0.16
aim-200-2_0-yes1-3-90	SAT	0.16
aim-200-2_0-yes1-3-50	UNSAT	0.16
aim-200-1_6-yes1-2-00	UNSAT	0.16
aim-100-6_0-yes1-3-50	SAT	0.17
aim-200-2_0-yes1-1-50	UNSAT	0.17
aim-200-2_0-yes1-2-50	UNSAT	0.17
aim-200-2_0-yes1-1-90	UNSAT	0.18
aim-200-1_6-yes1-4-90	SAT	0.18
aim-200-3_4-yes1-4-90	SAT	0.18
aim-200-2_0-yes1-2-90	UNSAT	0.18
aim-100-6_0-yes1-1-00	SAT	0.18
aim-100-6_0-yes1-1-50	SAT	0.18
aim-100-6_0-yes1-3-90	UNSAT	0.19
aim-100-6_0-yes1-4-50	UNSAT	0.19
aim-100-6_0-yes1-2-50	UNSAT	0.19
aim-100-6_0-yes1-2-90	SAT	0.19
aim-200-2_0-yes1-4-00	SAT	0.19
aim-100-6_0-yes1-1-90	UNSAT	0.19
aim-100-6_0-yes1-3-00	SAT	0.19
aim-100-6_0-yes1-4-90	SAT	0.19
aim-200-2_0-yes1-3-00	UNSAT	0.2
aim-100-6_0-yes1-4-00	UNSAT	0.2
aim-200-2_0-yes1-1-00	SAT	0.2
aim-200-2_0-yes1-2-00	UNSAT	0.21
aim-100-6_0-yes1-2-00	UNSAT	0.21
ssa7552-159-00	SAT	0.22
aim-200-2_0-yes1-4-90	SAT	0.23
jnh213-50	SAT	0.23
jnh217-00	SAT	0.24
ii32c1-50	SAT	0.24
jnh301-50	SAT	0.25
aim-200-3_4-yes1-3-50	SAT	0.25
aim-200-3_4-yes1-4-50	SAT	0.26
aim-200-3_4-yes1-1-50	SAT	0.26
jnh210-50	SAT	0.26
ii32b1-50	SAT	0.27
jnh213-00	SAT	0.28
ii32e1-00	SAT	0.28
jnh201-50	SAT	0.28
jnh209-00	SAT	0.28
jnh1-50	SAT	0.28
jnh17-00	SAT	0.29
aim-200-3_4-yes1-1-90	SAT	0.29
aim-200-3_4-yes1-4-00	SAT	0.29
ii8a2-00	SAT	0.3
jnh218-00	SAT	0.3
par8-1-50	SAT	0.3
jnh217-50	SAT	0.31
jnh12-90	SAT	0.31
jnh7-00	SAT	0.31
aim-200-3_4-yes1-3-00	SAT	0.31
aim-200-3_4-yes1-2-50	SAT	0.32
jnh1-00	SAT	0.32
jnh220-50	SAT	0.32
aim-200-3_4-yes1-2-00	UNSAT	0.32
jnh12-50	UNSAT	0.32
jnh12-00	UNSAT	0.32
jnh7-50	SAT	0.35
jnh205-50	SAT	0.35
aim-200-3_4-yes1-1-00	UNSAT	0.37
par8-1-00	SAT	0.37
jnh17-50	SAT	0.37
jnh213-90	SAT	0.37
jnh7-90	SAT	0.38
ii32e1-50	SAT	0.38
jnh207-90	SAT	0.4
par8-4-00	SAT	0.4
aim-200-3_4-yes1-3-90	UNSAT	0.4
aim-200-3_4-yes1-2-90	UNSAT	0.42
par8-2-00	UNSAT	0.42
par8-3-00	UNSAT	0.43
jnh212-00	UNSAT	0.44
jnh218-90	SAT	0.44
ii8c1-90	SAT	0.45
par8-5-00	UNSAT	0.45
par8-5-50	SAT	0.47
ii8b1-90	SAT	0.48
jnh204-00	SAT	0.48
aim-200-6_0-yes1-4-50	SAT	0.5
jnh207-00	UNSAT	0.52
aim-200-6_0-yes1-3-00	SAT	0.52
ii32e1-90	UNSAT	0.53
jnh212-50	UNSAT	0.54
aim-200-6_0-yes1-2-50	UNSAT	0.55
aim-200-6_0-yes1-1-50	UNSAT	0.55
aim-200-6_0-yes1-3-50	UNSAT	0.56
ii32d1-00	SAT	0.56
aim-200-6_0-yes1-4-00	UNSAT	0.57
jnh205-90	UNSAT	0.57
par8-4-50	UNSAT	0.58
aim-200-6_0-yes1-2-00	UNSAT	0.58
aim-200-6_0-yes1-1-00	UNSAT	0.58
jnh207-50	UNSAT	0.59
aim-200-6_0-yes1-3-90	UNSAT	0.59
jnh301-90	UNSAT	0.6
aim-200-6_0-yes1-2-90	UNSAT	0.6
par8-2-90	UNSAT	0.65
jnh301-00	UNSAT	0.67
par8-1-90	UNSAT	0.68
jnh212-90	UNSAT	0.68
ii8a3-00	SAT	0.69
aim-200-6_0-yes1-1-90	SAT	0.7
jnh201-00	SAT	0.71
par8-3-90	SAT	0.72
ii32d1-50	SAT	0.75
jnh204-50	SAT	0.75
jnh220-00	SAT	0.76
par8-4-90	UNSAT	0.76
par8-3-50	UNSAT	0.77
jnh210-90	UNSAT	0.78
aim-200-6_0-yes1-4-90	SAT	0.79
par8-5-90	UNSAT	0.79
ii32b1-90	SAT	0.82
ii8a2-90	UNSAT	0.85
par8-2-50	UNSAT	0.85
jnh17-90	UNSAT	0.9
jnh209-90	UNSAT	1
jnh218-50	SAT	1.02
ssa7552-159-50	SAT	1.14
jnh220-90	SAT	1.29
jnh205-00	UNSAT	1.36
ii8a4-90	SAT	1.65
ii8a4-00	SAT	1.7
jnh204-90	SAT	1.74
ssa7552-158-90	SAT	1.82
jnh209-50	UNSAT	2.2
ssa7552-160-00	SAT	2.22
ssa7552-159-90	SAT	2.25
ii32b1-00	SAT	2.44
ii32d1-90	SAT	2.46
par16-1-c-50	SAT	2.88
ssa7552-158-50	SAT	2.94
par16-4-c-00	SAT	3.06
par16-1-c-00	SAT	3.41
jnh1-90	UNSAT	3.44
par16-4-c-50	UNSAT	3.46
par16-1-c-90	SAT	3.64
jnh217-90	SAT	4.22
par16-5-c-90	SAT	4.23
par16-4-c-90	UNSAT	4.38
par16-5-c-50	UNSAT	4.54
ii32c1-90	UNSAT	4.88
par16-4-90	UNSAT	5.02
par16-2-c-50	SAT	5.78
par16-4-50	UNSAT	5.82
par16-4-00	UNSAT	5.94
ii32b2-50	SAT	6.35
ii32c2-90	SAT	6.79
par16-5-c-00	SAT	7.01
par16-2-c-90	SAT	7.07
ii32b2-00	SAT	7.26
par16-1-90	UNSAT	8.04
par16-3-c-90	UNSAT	8.08
ii32c2-50	SAT	9.06
par16-3-c-00	UNSAT	9.35
ii32c3-90	SAT	10.44
ii32e2-50	SAT	10.79
ii32e2-00	SAT	11.91
ii32c3-50	SAT	12.72
par16-1-50	UNSAT	13.43
jnh201-90	SAT	14.1
par16-3-c-50	UNSAT	14.25
ii32e2-90	SAT	14.33
ii8b1-00	SAT	15.11
ii8b1-50	SAT	18.68
par16-1-00	UNSAT	18.93
ii32c3-00	SAT	20.27
ii32c2-00	SAT	23.22
par16-2-c-00	SAT	26.34
jnh210-00	UNSAT	51.89
ii8a2-50	SAT	81.18
ii32b2-90	SAT	81.79
ii8a1-00	SAT	171.38
ii8d1-00	SAT	176.71
ssa7552-158-00	FAIL	600
ssa7552-160-50	FAIL	600
ii8e1-00	FAIL	600
ii32c1-00	FAIL	600
ii8a3-50	FAIL	600
ii8e1-90	FAIL	600
ii8e1-50	FAIL	600
f600-90	FAIL	600
ii8d1-90	FAIL	600
ii8d1-50	FAIL	600
f600-50	FAIL	600
ii8c1-50	FAIL	600
ii8c1-00	FAIL	600
f600-00	FAIL	600
ii8a4-50	FAIL	600
ii8a3-90	FAIL	600
ssa7552-160-90	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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