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

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

Instance	Result	Time
aim-50-1_6-yes1-3-90	SAT	0.06
aim-50-2_0-yes1-4-90	SAT	0.06
aim-50-1_6-yes1-1-00	SAT	0.06
aim-50-1_6-yes1-1-90	UNSAT	0.06
aim-50-2_0-yes1-3-50	UNSAT	0.06
aim-50-2_0-yes1-1-50	UNSAT	0.06
aim-50-2_0-yes1-4-50	SAT	0.06
aim-50-1_6-yes1-1-50	SAT	0.06
aim-50-1_6-yes1-3-50	UNSAT	0.06
aim-50-1_6-yes1-3-00	SAT	0.06
aim-50-1_6-yes1-2-90	UNSAT	0.06
aim-50-1_6-yes1-2-50	SAT	0.06
aim-50-2_0-yes1-1-90	UNSAT	0.06
aim-50-2_0-yes1-2-90	SAT	0.06
aim-50-2_0-yes1-3-00	UNSAT	0.07
aim-50-2_0-yes1-3-90	UNSAT	0.07
ii8a1-50	SAT	0.07
aim-50-2_0-yes1-2-50	UNSAT	0.07
aim-50-2_0-yes1-2-00	UNSAT	0.07
aim-50-2_0-yes1-1-00	UNSAT	0.07
aim-50-1_6-yes1-4-50	SAT	0.07
aim-50-1_6-yes1-4-90	UNSAT	0.07
aim-50-1_6-yes1-4-00	SAT	0.07
aim-50-1_6-yes1-2-00	SAT	0.07
aim-50-3_4-yes1-2-50	SAT	0.07
aim-50-3_4-yes1-1-90	UNSAT	0.07
aim-100-1_6-yes1-1-90	UNSAT	0.07
aim-100-1_6-yes1-3-90	SAT	0.07
aim-50-2_0-yes1-4-00	UNSAT	0.07
aim-50-3_4-yes1-3-50	SAT	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-1-50	UNSAT	0.08
aim-50-3_4-yes1-1-00	UNSAT	0.08
aim-50-3_4-yes1-4-50	UNSAT	0.08
ii8a1-90	SAT	0.08
aim-100-1_6-yes1-2-50	SAT	0.08
aim-100-1_6-yes1-3-50	UNSAT	0.08
par8-4-c-90	SAT	0.08
aim-100-1_6-yes1-4-50	UNSAT	0.08
aim-100-1_6-yes1-1-50	SAT	0.08
aim-50-3_4-yes1-3-90	UNSAT	0.08
aim-50-3_4-yes1-4-00	UNSAT	0.08
aim-100-1_6-yes1-4-90	UNSAT	0.08
aim-100-1_6-yes1-4-00	UNSAT	0.08
aim-100-1_6-yes1-1-00	SAT	0.08
aim-100-2_0-yes1-2-50	SAT	0.08
aim-100-1_6-yes1-2-90	UNSAT	0.08
aim-100-2_0-yes1-4-50	UNSAT	0.08
aim-100-1_6-yes1-2-00	SAT	0.08
aim-50-3_4-yes1-2-00	SAT	0.08
aim-100-1_6-yes1-3-00	UNSAT	0.09
aim-50-6_0-yes1-4-90	SAT	0.09
aim-100-2_0-yes1-1-50	UNSAT	0.09
aim-100-2_0-yes1-3-50	UNSAT	0.09
aim-100-2_0-yes1-2-00	SAT	0.09
par8-4-c-50	SAT	0.09
par8-2-c-50	UNSAT	0.09
aim-100-2_0-yes1-4-90	SAT	0.09
par8-1-c-50	UNSAT	0.09
aim-100-2_0-yes1-3-90	UNSAT	0.09
aim-50-3_4-yes1-4-90	SAT	0.09
par8-3-c-50	UNSAT	0.09
aim-50-6_0-yes1-1-90	SAT	0.09
aim-100-2_0-yes1-4-00	UNSAT	0.1
par8-2-c-90	UNSAT	0.1
aim-100-2_0-yes1-2-90	UNSAT	0.1
par8-1-c-90	UNSAT	0.1
aim-50-6_0-yes1-1-50	UNSAT	0.1
par8-4-c-00	SAT	0.1
aim-100-2_0-yes1-1-00	UNSAT	0.1
aim-50-6_0-yes1-1-00	UNSAT	0.1
aim-50-6_0-yes1-2-50	UNSAT	0.1
aim-50-6_0-yes1-3-50	UNSAT	0.1
aim-50-6_0-yes1-3-90	SAT	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-2-90	UNSAT	0.1
aim-100-2_0-yes1-3-00	UNSAT	0.1
aim-50-6_0-yes1-2-00	UNSAT	0.1
aim-100-2_0-yes1-1-90	UNSAT	0.1
par8-1-c-00	UNSAT	0.1
par8-2-c-00	UNSAT	0.1
aim-100-3_4-yes1-1-90	SAT	0.1
aim-50-6_0-yes1-3-00	UNSAT	0.1
par8-5-c-90	UNSAT	0.11
par8-3-c-00	SAT	0.11
aim-100-3_4-yes1-3-00	SAT	0.11
par8-5-c-50	UNSAT	0.11
par8-3-c-90	UNSAT	0.11
par8-5-c-00	UNSAT	0.12
aim-100-3_4-yes1-2-50	SAT	0.12
aim-100-3_4-yes1-1-50	UNSAT	0.12
aim-100-3_4-yes1-4-00	SAT	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-90	SAT	0.13
aim-100-3_4-yes1-2-90	UNSAT	0.13
aim-100-3_4-yes1-3-50	UNSAT	0.13
aim-200-1_6-yes1-1-90	SAT	0.13
aim-100-3_4-yes1-1-00	UNSAT	0.13
aim-200-1_6-yes1-1-50	SAT	0.13
aim-200-1_6-yes1-2-90	UNSAT	0.14
aim-100-3_4-yes1-2-00	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-3-90	UNSAT	0.15
aim-200-1_6-yes1-1-00	SAT	0.15
aim-200-1_6-yes1-3-00	UNSAT	0.16
aim-200-2_0-yes1-3-90	SAT	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-1_6-yes1-2-00	UNSAT	0.16
aim-100-6_0-yes1-3-50	SAT	0.17
aim-200-2_0-yes1-3-50	UNSAT	0.17
aim-200-2_0-yes1-2-50	UNSAT	0.17
aim-200-2_0-yes1-1-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-2_0-yes1-2-90	UNSAT	0.18
aim-100-6_0-yes1-1-50	SAT	0.18
aim-100-6_0-yes1-3-00	SAT	0.19
aim-200-3_4-yes1-4-90	SAT	0.19
aim-100-6_0-yes1-4-50	UNSAT	0.19
aim-100-6_0-yes1-1-00	SAT	0.19
aim-100-6_0-yes1-1-90	UNSAT	0.19
aim-100-6_0-yes1-2-50	UNSAT	0.19
aim-100-6_0-yes1-3-90	UNSAT	0.19
aim-100-6_0-yes1-2-90	SAT	0.2
aim-100-6_0-yes1-4-90	SAT	0.2
aim-200-2_0-yes1-1-00	SAT	0.2
aim-200-2_0-yes1-4-00	SAT	0.2
aim-200-2_0-yes1-3-00	UNSAT	0.2
aim-100-6_0-yes1-4-00	UNSAT	0.2
aim-100-6_0-yes1-2-00	UNSAT	0.21
aim-200-2_0-yes1-2-00	UNSAT	0.22
aim-200-2_0-yes1-4-90	SAT	0.23
jnh213-50	SAT	0.24
ssa7552-159-00	SAT	0.24
jnh217-00	SAT	0.25
aim-200-3_4-yes1-3-50	SAT	0.26
aim-200-3_4-yes1-4-50	SAT	0.26
aim-200-3_4-yes1-1-50	SAT	0.26
ii32c1-50	SAT	0.26
jnh301-50	SAT	0.26
jnh210-50	SAT	0.26
jnh218-00	SAT	0.27
jnh213-00	SAT	0.28
ii32b1-50	SAT	0.28
jnh201-50	SAT	0.28
jnh209-00	SAT	0.28
ii32e1-00	SAT	0.28
aim-200-3_4-yes1-1-90	SAT	0.29
aim-200-3_4-yes1-4-00	SAT	0.29
jnh17-00	SAT	0.3
ii8a2-00	SAT	0.3
jnh1-50	SAT	0.3
par8-1-50	SAT	0.31
aim-200-3_4-yes1-2-50	SAT	0.32
jnh12-90	SAT	0.32
jnh217-50	SAT	0.32
aim-200-3_4-yes1-3-00	SAT	0.32
jnh7-00	SAT	0.32
aim-200-3_4-yes1-2-00	UNSAT	0.32
jnh12-50	UNSAT	0.33
jnh220-50	SAT	0.33
jnh1-00	SAT	0.33
jnh205-50	SAT	0.34
jnh12-00	UNSAT	0.34
jnh7-50	SAT	0.36
par8-1-00	SAT	0.37
jnh17-50	SAT	0.38
jnh7-90	SAT	0.38
aim-200-3_4-yes1-1-00	UNSAT	0.38
ii32e1-50	SAT	0.39
jnh213-90	SAT	0.39
aim-200-3_4-yes1-3-90	UNSAT	0.4
jnh207-90	SAT	0.41
aim-200-3_4-yes1-2-90	UNSAT	0.42
par8-4-00	SAT	0.42
par8-2-00	UNSAT	0.43
par8-3-00	UNSAT	0.44
jnh218-90	SAT	0.45
jnh212-00	UNSAT	0.45
par8-5-00	UNSAT	0.46
ii8c1-90	SAT	0.47
par8-5-50	SAT	0.48
ii8b1-90	SAT	0.48
jnh204-00	SAT	0.5
aim-200-6_0-yes1-4-50	SAT	0.51
jnh207-00	UNSAT	0.53
aim-200-6_0-yes1-3-00	SAT	0.54
ii32e1-90	UNSAT	0.54
aim-200-6_0-yes1-2-50	UNSAT	0.54
aim-200-6_0-yes1-1-50	UNSAT	0.55
jnh212-50	UNSAT	0.55
aim-200-6_0-yes1-3-50	UNSAT	0.56
aim-200-6_0-yes1-4-00	UNSAT	0.58
jnh205-90	UNSAT	0.58
par8-4-50	UNSAT	0.59
aim-200-6_0-yes1-2-00	UNSAT	0.59
jnh207-50	UNSAT	0.6
jnh212-90	UNSAT	0.6
aim-200-6_0-yes1-3-90	UNSAT	0.6
aim-200-6_0-yes1-2-90	UNSAT	0.6
ii32d1-00	SAT	0.62
jnh301-90	UNSAT	0.63
aim-200-6_0-yes1-1-00	UNSAT	0.63
jnh301-00	UNSAT	0.66
par8-2-90	UNSAT	0.66
par8-1-90	UNSAT	0.69
ii8a3-00	SAT	0.7
aim-200-6_0-yes1-1-90	SAT	0.71
par8-3-90	SAT	0.72
jnh220-00	SAT	0.75
par8-4-90	UNSAT	0.76
ii32d1-50	SAT	0.77
par8-5-90	UNSAT	0.78
par8-3-50	UNSAT	0.79
jnh204-50	SAT	0.79
jnh210-90	UNSAT	0.79
jnh201-00	SAT	0.8
aim-200-6_0-yes1-4-90	SAT	0.8
ii32b1-90	SAT	0.83
ii8a2-90	UNSAT	0.83
par8-2-50	UNSAT	0.86
jnh209-90	UNSAT	0.9
jnh17-90	UNSAT	0.91
ssa7552-159-50	SAT	1.14
jnh218-50	SAT	1.16
jnh220-90	SAT	1.17
jnh205-00	UNSAT	1.36
ii8a4-90	SAT	1.63
ii8a4-00	SAT	1.72
ssa7552-158-90	SAT	1.83
ssa7552-159-90	SAT	2.28
jnh209-50	UNSAT	2.28
ssa7552-160-00	SAT	2.28
jnh204-90	SAT	2.34
par16-4-c-00	SAT	2.35
ii32d1-90	SAT	2.49
ii32b1-00	SAT	2.58
ssa7552-158-50	SAT	2.96
par16-1-c-50	SAT	3.16
ii32c2-90	SAT	3.44
par16-1-c-00	SAT	3.52
par16-4-c-50	UNSAT	3.88
par16-5-c-00	SAT	4.22
ii32b2-00	SAT	4.47
jnh1-90	UNSAT	4.66
par16-1-c-90	SAT	4.68
ii32c1-90	UNSAT	4.92
par16-4-90	UNSAT	5.11
par16-2-c-50	SAT	5.36
par16-4-50	UNSAT	5.38
par16-5-c-90	SAT	5.4
ii32b2-50	SAT	5.61
ii32e2-00	SAT	5.82
par16-5-c-50	UNSAT	5.96
ii32c2-50	SAT	6.24
jnh217-90	SAT	6.47
par16-4-00	UNSAT	6.71
par16-2-c-90	SAT	7.03
par16-4-c-90	UNSAT	7.2
par16-3-c-90	UNSAT	9.09
ii32e2-50	SAT	11.25
par16-1-50	UNSAT	11.83
par16-3-c-00	UNSAT	12.14
par16-3-c-50	UNSAT	12.74
ii8b1-50	SAT	14.94
ii32c3-90	SAT	15.06
ii32e2-90	SAT	15.43
ii8b1-00	SAT	16.13
par16-1-90	FAIL	16.62
ii32c2-00	SAT	16.73
par16-1-00	UNSAT	22.24
par16-2-c-00	SAT	24.3
ii32c3-50	SAT	25.73
ii32c3-00	SAT	28.78
ii32b2-90	SAT	59.62
jnh201-90	SAT	133.72
jnh210-00	UNSAT	143.65
ii8a2-50	SAT	241.74
ii8a1-00	SAT	498.21
ssa7552-158-00	FAIL	600
ii8e1-50	FAIL	600
ii8e1-90	FAIL	600
f600-90	FAIL	600
f600-50	FAIL	600
f600-00	FAIL	600
ssa7552-160-50	FAIL	600
ii8c1-00	FAIL	600
ii8e1-00	FAIL	600
ii8d1-90	FAIL	600
ii8d1-50	FAIL	600
ii32c1-00	FAIL	600
ii8d1-00	FAIL	600
ii8a3-50	FAIL	600
ii8a3-90	FAIL	600
ii8a4-50	FAIL	600
ii8c1-50	FAIL	600
ssa7552-160-90	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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