Instances of family CounterFactual solved by <a href='solver_detail.php?solver=11'>sSolve</a> <br> QBFEVAL'05

Instances of family CounterFactual solved by sSolve
QBFEVAL'05

Instance	Result	Time
ncf_4_8_4_edau.9	SAT	0
ncf_8_16_2_u.7	SAT	0
ncf_8_16_2_edau.4	SAT	0
ncf_8_16_2_u.1	SAT	0
ncf_8_16_2_euad.4	SAT	0
ncf_8_16_4_euad.2	UNSAT	0
ncf_8_16_2_euad.8	UNSAT	0
ncf_8_16_2_euad.7	SAT	0
ncf_16_32_4_d.9	SAT	0
ncf_4_8_4_u.6	SAT	0
ncf_8_16_4_edau.5	UNSAT	0
ncf_4_8_8_edau.9	UNSAT	0
ncf_16_32_2_d.9	UNSAT	0
ncf_4_8_2_edau.4	UNSAT	0
ncf_8_16_4_u.2	UNSAT	0
ncf_4_16_2_u.6	SAT	0
ncf_8_16_2_edau.9	UNSAT	0
ncf_4_8_4_u.9	SAT	0
ncf_8_16_2_euad.1	SAT	0
ncf_16_32_2_d.6	SAT	0
ncf_16_32_2_edau.9	UNSAT	0
ncf_4_8_2_d.6	SAT	0
ncf_4_8_8_d.9	UNSAT	0
ncf_4_8_8_u.9	UNSAT	0
ncf_16_32_2_edau.6	SAT	0
ncf_4_8_4_d.6	SAT	0
ncf_8_16_2_d.1	SAT	0
ncf_4_8_4_edau.6	SAT	0
ncf_8_16_4_edau.10	SAT	0
ncf_16_32_2_u.6	SAT	0
ncf_4_8_4_euad.9	SAT	0
ncf_8_16_4_u.5	UNSAT	0
ncf_4_8_2_euad.9	SAT	0
ncf_8_16_4_euad.5	UNSAT	0
ncf_4_16_4_d.5	SAT	0
ncf_8_16_4_u.10	SAT	0
ncf_4_16_2_d.6	SAT	0
ncf_8_16_2_d.4	SAT	0
ncf_4_8_2_d.10	SAT	0
ncf_4_16_4_u.5	SAT	0
ncf_16_32_4_d.1	SAT	0.01
ncf_4_8_2_edau.6	SAT	0.01
ncf_16_32_4_euad.1	SAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
ncf_16_32_2_euad.9	UNSAT	0.01
ncf_4_8_2_euad.4	UNSAT	0.01
ncf_4_8_2_euad.5	SAT	0.01
ncf_4_8_4_d.2	UNSAT	0.01
ncf_8_16_2_d.7	SAT	0.01
ncf_8_16_2_d.9	UNSAT	0.01
ncf_8_16_4_d.2	UNSAT	0.01
ncf_4_8_2_euad.10	SAT	0.01
ncf_4_8_2_u.2	SAT	0.01
ncf_8_16_2_u.9	UNSAT	0.01
ncf_8_16_2_edau.7	SAT	0.01
ncf_8_16_2_edau.1	SAT	0.01
ncf_4_8_8_euad.9	UNSAT	0.01
ncf_4_16_2_euad.6	SAT	0.01
ncf_4_8_2_edau.5	SAT	0.01
ncf_4_8_2_d.1	UNSAT	0.01
ncf_4_16_4_euad.5	SAT	0.01
ncf_4_32_2_edau.2	SAT	0.01
ncf_8_16_2_u.2	UNSAT	0.01
ncf_8_16_2_u.8	UNSAT	0.01
ncf_4_8_4_u.2	UNSAT	0.01
ncf_16_32_2_u.9	UNSAT	0.01
ncf_16_32_4_edau.1	SAT	0.01
ncf_4_8_2_u.1	UNSAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
ncf_4_16_4_edau.5	SAT	0.01
ncf_4_8_2_d.9	SAT	0.01
ncf_4_8_4_euad.6	SAT	0.01
ncf_16_64_2_euad.1	SAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
ncf_4_8_2_edau.10	SAT	0.01
ncf_16_32_2_edau.8	UNSAT	0.01
ncf_8_16_2_edau.6	UNSAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
ncf_16_32_4_u.1	SAT	0.01
ncf_16_32_4_edau.9	SAT	0.01
ncf_8_16_2_d.8	UNSAT	0.01
ncf_4_8_2_u.10	SAT	0.01
ncf_8_16_2_u.6	UNSAT	0.01
ncf_8_16_4_d.5	UNSAT	0.01
ncf_4_8_2_d.4	UNSAT	0.01
ncf_4_8_2_u.6	SAT	0.01
ncf_4_8_2_d.2	SAT	0.01
ncf_4_8_4_d.9	SAT	0.01
ncf_4_8_4_euad.2	UNSAT	0.01
ncf_16_32_4_u.9	SAT	0.01
ncf_4_8_4_edau.2	UNSAT	0.01
ncf_4_8_2_edau.2	SAT	0.01
ncf_4_8_2_d.5	SAT	0.01
ncf_8_16_2_euad.2	UNSAT	0.01
ncf_8_16_4_edau.2	UNSAT	0.01
ncf_4_8_8_d.1	SAT	0.01
ncf_8_16_4_euad.10	SAT	0.01
ncf_8_16_2_edau.8	UNSAT	0.01
ncf_4_8_2_u.5	SAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
ncf_8_16_2_u.4	SAT	0.01
ncf_4_8_2_euad.6	SAT	0.01
ncf_4_8_2_edau.1	UNSAT	0.02
ncf_8_16_2_d.2	UNSAT	0.02
ncf_16_32_2_u.8	UNSAT	0.02
ncf_4_8_8_edau.4	SAT	0.02
ncf_8_16_2_euad.9	UNSAT	0.02
ncf_4_16_2_d.9	SAT	0.02
ncf_8_16_2_d.3	UNSAT	0.02
ncf_8_16_4_d.10	SAT	0.02
ncf_4_8_8_u.4	SAT	0.02
ncf_16_64_2_d.1	SAT	0.02
ncf_4_16_2_euad.9	SAT	0.02
ncf_4_8_2_edau.8	SAT	0.02
ncf_8_16_2_edau.2	UNSAT	0.02
ncf_16_64_2_edau.1	SAT	0.02
ncf_8_16_2_edau.3	UNSAT	0.02
ncf_8_16_2_euad.3	UNSAT	0.02
ncf_16_32_2_euad.6	SAT	0.02
ncf_16_64_2_u.1	SAT	0.02
ncf_16_32_4_euad.9	SAT	0.02
ncf_4_8_2_u.8	SAT	0.02
ncf_4_32_2_u.2	SAT	0.02
ncf_8_16_2_d.6	UNSAT	0.02
ncf_16_32_2_euad.8	UNSAT	0.02
ncf_4_8_2_edau.9	SAT	0.02
ncf_8_16_2_euad.6	UNSAT	0.02
ncf_4_8_2_u.9	SAT	0.03
ncf_4_8_2_d.8	SAT	0.03
ncf_4_8_2_euad.8	SAT	0.03
ncf_4_8_8_euad.1	SAT	0.03
ncf_16_32_2_d.8	UNSAT	0.03
ncf_4_8_2_u.7	UNSAT	0.03
ncf_4_16_2_u.9	SAT	0.03
ncf_4_16_2_edau.9	SAT	0.03
ncf_4_8_2_edau.3	UNSAT	0.04
ncf_4_8_2_edau.7	UNSAT	0.04
ncf_4_8_4_edau.8	UNSAT	0.04
ncf_16_32_2_u.7	UNSAT	0.04
ncf_4_8_2_d.7	UNSAT	0.05
ncf_4_8_2_euad.7	UNSAT	0.05
ncf_4_8_4_d.8	UNSAT	0.06
ncf_4_8_4_d.3	UNSAT	0.06
ncf_4_8_8_euad.4	SAT	0.06
ncf_4_16_2_u.7	SAT	0.07
ncf_4_16_2_edau.7	SAT	0.07
ncf_4_8_2_u.3	UNSAT	0.07
ncf_4_8_4_edau.5	SAT	0.07
ncf_4_8_4_edau.1	SAT	0.08
ncf_4_8_4_u.8	UNSAT	0.08
ncf_16_32_2_euad.7	UNSAT	0.08
ncf_4_8_4_u.5	SAT	0.09
ncf_4_8_4_edau.3	UNSAT	0.09
ncf_4_8_2_d.3	UNSAT	0.09
ncf_4_8_4_u.1	SAT	0.09
ncf_8_16_2_d.10	SAT	0.1
ncf_8_16_4_edau.8	UNSAT	0.1
ncf_16_32_2_edau.7	UNSAT	0.1
ncf_16_32_2_d.7	UNSAT	0.1
ncf_4_8_4_euad.8	UNSAT	0.11
ncf_8_16_2_u.5	UNSAT	0.11
ncf_8_16_2_edau.5	UNSAT	0.11
ncf_8_16_8_euad.1	SAT	0.11
ncf_8_16_4_d.8	UNSAT	0.11
ncf_4_8_4_d.5	SAT	0.11
ncf_8_16_8_d.1	SAT	0.11
ncf_8_16_2_d.5	UNSAT	0.11
ncf_4_8_8_edau.1	SAT	0.12
ncf_8_16_2_euad.5	UNSAT	0.12
ncf_8_16_4_edau.6	UNSAT	0.13
ncf_4_8_4_edau.4	UNSAT	0.13
ncf_8_16_2_euad.10	SAT	0.14
ncf_4_16_2_d.2	SAT	0.14
ncf_4_16_2_euad.2	SAT	0.15
ncf_4_8_4_edau.7	UNSAT	0.16
ncf_4_8_2_euad.3	UNSAT	0.17
ncf_4_8_8_u.1	SAT	0.18
ncf_4_16_2_d.4	SAT	0.19
ncf_4_8_4_euad.5	SAT	0.21
ncf_16_32_4_euad.8	SAT	0.21
ncf_8_16_4_d.6	UNSAT	0.22
ncf_8_16_8_edau.1	SAT	0.22
ncf_16_32_4_d.8	SAT	0.23
ncf_8_16_8_u.1	SAT	0.23
ncf_4_8_4_u.7	UNSAT	0.24
ncf_4_16_2_euad.4	SAT	0.25
ncf_8_16_2_edau.10	SAT	0.26
ncf_16_32_4_edau.8	SAT	0.27
ncf_4_8_4_u.4	UNSAT	0.27
ncf_8_16_4_euad.8	UNSAT	0.28
ncf_4_8_8_d.4	SAT	0.29
ncf_4_16_2_u.2	SAT	0.29
ncf_4_8_4_u.3	UNSAT	0.29
ncf_4_16_2_edau.2	SAT	0.29
ncf_8_16_4_u.6	UNSAT	0.29
ncf_8_16_2_u.10	SAT	0.3
ncf_4_8_8_d.8	SAT	0.32
ncf_4_16_4_edau.9	SAT	0.34
ncf_4_16_2_edau.4	SAT	0.36
ncf_4_8_4_edau.10	SAT	0.36
ncf_4_8_8_d.3	SAT	0.36
ncf_4_8_4_u.10	SAT	0.37
ncf_4_16_2_u.4	SAT	0.4
ncf_16_32_8_d.4	SAT	0.41
ncf_8_16_8_edau.6	UNSAT	0.44
ncf_4_8_4_euad.1	SAT	0.44
ncf_8_16_4_u.8	UNSAT	0.44
ncf_4_8_4_euad.10	SAT	0.51
ncf_4_8_4_euad.3	UNSAT	0.51
ncf_4_16_4_d.1	SAT	0.55
ncf_4_16_4_edau.8	SAT	0.59
ncf_8_16_4_d.4	SAT	0.6
ncf_8_16_4_euad.6	UNSAT	0.61
ncf_4_8_4_d.10	SAT	0.65
ncf_4_16_4_d.8	SAT	0.66
ncf_4_16_4_u.9	SAT	0.68
ncf_4_8_8_edau.8	SAT	0.68
ncf_4_16_4_euad.1	SAT	0.72
ncf_4_32_2_edau.9	UNSAT	0.74
ncf_4_16_2_edau.8	SAT	0.77
ncf_8_16_8_edau.9	UNSAT	0.82
ncf_8_16_8_u.6	UNSAT	0.84
ncf_4_16_2_u.8	SAT	0.86
ncf_4_8_4_d.1	SAT	0.9
ncf_4_32_2_u.9	UNSAT	0.91
ncf_8_32_2_d.8	SAT	0.92
ncf_4_8_8_u.10	SAT	0.94
ncf_4_16_4_u.1	SAT	0.97
ncf_4_16_4_edau.1	SAT	0.97
ncf_4_16_2_edau.10	UNSAT	1.1
ncf_4_8_8_edau.10	SAT	1.15
ncf_8_32_2_edau.8	SAT	1.22
ncf_4_32_2_d.1	UNSAT	1.28
ncf_8_16_4_euad.4	SAT	1.3
ncf_8_32_2_euad.8	SAT	1.34
ncf_4_8_8_u.7	SAT	1.34
ncf_4_8_4_euad.4	UNSAT	1.36
ncf_4_16_4_u.8	SAT	1.38
ncf_4_8_4_d.4	UNSAT	1.42
ncf_4_16_8_d.7	SAT	1.43
ncf_16_32_4_u.8	SAT	1.45
ncf_4_8_8_euad.3	SAT	1.47
ncf_4_8_8_edau.7	SAT	1.55
ncf_8_32_2_u.8	SAT	1.56
ncf_4_16_4_edau.7	SAT	1.58
ncf_4_16_2_d.7	SAT	1.61
ncf_4_16_2_euad.7	SAT	1.63
ncf_16_32_4_d.3	SAT	1.85
ncf_4_16_2_edau.3	UNSAT	1.89
ncf_4_16_4_euad.8	SAT	2.1
ncf_4_8_8_u.8	SAT	2.24
ncf_4_16_2_edau.1	UNSAT	2.3
ncf_16_32_2_euad.3	SAT	2.34
ncf_4_16_2_u.1	UNSAT	2.39
ncf_8_16_4_edau.4	SAT	2.45
ncf_4_16_4_d.9	SAT	2.66
ncf_16_32_2_d.3	SAT	2.72
ncf_4_16_8_edau.10	SAT	2.72
ncf_16_32_2_edau.3	SAT	2.76
ncf_16_32_2_u.3	SAT	2.78
ncf_4_16_2_edau.5	UNSAT	2.85
ncf_4_16_2_u.5	UNSAT	2.86
ncf_8_16_4_u.4	SAT	3.06
ncf_4_8_4_d.7	UNSAT	3.24
ncf_4_16_8_edau.7	SAT	3.29
ncf_8_16_4_d.1	SAT	3.35
ncf_8_16_4_euad.1	SAT	3.37
ncf_4_8_8_edau.3	SAT	3.4
ncf_8_16_4_edau.1	SAT	3.46
ncf_8_16_4_u.1	SAT	3.47
ncf_16_32_8_euad.4	SAT	4.29
ncf_4_8_8_u.3	SAT	4.45
ncf_8_16_4_euad.7	SAT	4.63
ncf_8_16_8_d.6	UNSAT	4.77
ncf_4_8_8_euad.10	SAT	4.82
ncf_16_32_4_euad.3	SAT	4.82
ncf_8_16_8_edau.7	UNSAT	5
ncf_4_8_8_edau.6	UNSAT	5.11
ncf_16_32_4_euad.2	SAT	5.18
ncf_4_8_8_edau.2	UNSAT	5.21
ncf_4_8_8_euad.8	SAT	5.66
ncf_8_16_8_u.9	UNSAT	5.84
ncf_4_16_2_euad.5	UNSAT	5.97
ncf_16_32_4_d.2	SAT	6.03
ncf_4_16_2_u.10	UNSAT	6.07
ncf_4_16_4_u.7	SAT	6.24
ncf_4_16_2_d.1	UNSAT	6.46
ncf_16_32_2_edau.2	UNSAT	6.54
ncf_8_16_8_edau.10	SAT	6.58
ncf_4_16_2_d.5	UNSAT	6.6
ncf_4_16_4_euad.9	SAT	6.8
ncf_4_16_8_u.10	SAT	6.92
ncf_4_16_4_edau.10	UNSAT	6.95
ncf_8_16_8_euad.6	UNSAT	7.16
ncf_4_16_2_euad.3	UNSAT	7.49
ncf_16_32_2_edau.4	UNSAT	7.85
ncf_8_16_8_edau.8	UNSAT	8.64
ncf_4_16_2_d.3	UNSAT	8.98
ncf_16_32_2_u.2	UNSAT	9.33
ncf_4_16_2_d.10	UNSAT	9.67
ncf_4_16_2_euad.1	UNSAT	10.92
ncf_4_16_8_u.9	SAT	11.58
ncf_4_16_8_u.7	SAT	12.18
ncf_8_16_8_u.8	UNSAT	12.3
ncf_4_16_8_edau.9	SAT	12.39
ncf_16_32_4_edau.3	SAT	13.6
ncf_16_32_2_u.4	UNSAT	14.26
ncf_16_32_4_u.2	SAT	14.53
ncf_16_32_4_edau.2	SAT	14.67
ncf_4_8_4_euad.7	UNSAT	15.56
ncf_4_16_2_euad.8	SAT	15.65
ncf_4_16_2_d.8	SAT	16.98
ncf_8_16_8_u.10	SAT	17.28
ncf_4_8_8_edau.5	UNSAT	17.93
ncf_4_16_2_euad.10	UNSAT	18.08
ncf_8_16_8_u.7	UNSAT	19.07
ncf_4_8_8_u.2	UNSAT	21.15
ncf_4_16_2_u.3	UNSAT	21.21
ncf_16_32_4_u.3	SAT	25.16
ncf_4_8_8_euad.7	SAT	25.91
ncf_16_32_8_d.3	SAT	26.98
ncf_4_8_8_u.6	UNSAT	28.39
ncf_8_16_8_d.7	UNSAT	31.5
ncf_4_16_8_euad.7	SAT	35.23
ncf_4_16_4_u.10	UNSAT	39.82
ncf_8_16_4_d.7	SAT	41.98
ncf_8_16_8_d.10	SAT	45.51
ncf_8_16_8_euad.7	UNSAT	48.72
ncf_4_16_8_euad.10	SAT	58.7
ncf_16_32_8_u.7	SAT	60.63
ncf_16_32_8_edau.7	SAT	62.38
ncf_16_32_8_edau.3	SAT	65.78
ncf_8_16_8_euad.8	UNSAT	69.23
ncf_16_64_2_u.7	SAT	74.33
ncf_8_16_4_edau.7	SAT	79.85
ncf_16_64_2_edau.7	SAT	80.76
ncf_8_16_4_u.7	SAT	80.81
ncf_16_32_2_d.2	UNSAT	81.66
ncf_4_8_8_u.5	UNSAT	85.21
ncf_16_32_8_d.10	SAT	93.02
ncf_4_16_4_edau.6	UNSAT	104.9
ncf_16_32_8_edau.10	SAT	108.75
ncf_16_32_2_euad.2	UNSAT	118.44
ncf_4_32_2_edau.8	SAT	136.18
ncf_16_32_4_edau.5	UNSAT	143.48
ncf_16_32_8_edau.4	SAT	173.82
ncf_8_16_8_euad.10	SAT	189.83
ncf_4_32_2_u.8	SAT	200.97
ncf_8_16_4_edau.9	UNSAT	201.55
ncf_4_16_4_d.7	SAT	230.16
ncf_8_16_8_euad.9	UNSAT	247.77
ncf_4_32_2_edau.4	UNSAT	248.27
ncf_16_32_8_u.6	SAT	268.34
ncf_4_16_4_euad.2	SAT	290.95
ncf_16_32_8_edau.6	SAT	293.76
ncf_4_16_4_euad.3	SAT	310.49
ncf_16_32_2_edau.10	UNSAT	311.05
ncf_16_64_2_euad.7	SAT	321.65
ncf_4_16_4_euad.7	SAT	340.31
ncf_4_32_2_d.9	UNSAT	360.99
ncf_16_32_4_d.5	UNSAT	391.31
ncf_16_64_2_d.7	SAT	417.38
ncf_16_32_4_edau.7	UNSAT	434.71
ncf_16_32_4_u.7	UNSAT	455.93
ncf_4_16_8_edau.4	SAT	457.04
ncf_4_16_8_euad.9	SAT	491.6
ncf_4_32_2_u.4	UNSAT	513.07
ncf_16_32_2_u.10	UNSAT	548.17
ncf_16_32_8_u.4	SAT	564.56
ncf_4_32_4_u.2	SAT	611.86
ncf_4_32_4_edau.2	SAT	615.47
ncf_4_32_2_euad.2	SAT	642.75
ncf_16_32_4_u.5	UNSAT	718.91
ncf_16_32_8_u.3	SAT	720.56
ncf_8_16_4_u.9	UNSAT	721.42
ncf_4_16_4_u.6	UNSAT	785.14
ncf_4_32_2_euad.9	UNSAT	858.8
ncf_8_16_4_euad.3	SAT	868.03
ncf_4_32_2_d.2	SAT	872.4
ncf_16_32_8_euad.6	FAIL	900.82
ncf_8_16_8_euad.4	FAIL	900.87
ncf_4_8_8_euad.6	FAIL	900.89
ncf_8_32_8_edau.1	FAIL	900.9
ncf_8_32_2_edau.5	FAIL	900.9
ncf_8_32_8_euad.1	FAIL	900.91
ncf_16_32_8_edau.2	FAIL	900.91
ncf_16_32_8_edau.5	FAIL	900.91
ncf_16_32_4_d.10	FAIL	900.92
ncf_8_64_4_u.8	FAIL	900.92
ncf_8_16_8_euad.2	FAIL	900.92
ncf_8_32_2_d.5	FAIL	900.92
ncf_8_32_4_edau.6	FAIL	900.92
ncf_16_64_8_u.4	FAIL	900.93
ncf_4_16_8_d.10	FAIL	900.93
ncf_16_32_4_euad.10	FAIL	900.93
ncf_8_16_8_d.9	FAIL	900.93
ncf_16_32_4_euad.6	FAIL	900.93
ncf_8_32_2_u.5	FAIL	900.93
ncf_4_16_8_d.9	FAIL	900.93
ncf_8_32_4_u.1	FAIL	900.93
ncf_8_64_2_edau.5	FAIL	900.93
ncf_16_64_8_edau.5	FAIL	900.93
ncf_16_32_4_d.6	FAIL	900.93
ncf_16_64_4_edau.9	FAIL	900.94
ncf_8_32_8_edau.8	FAIL	900.94
ncf_16_64_4_euad.1	FAIL	900.94
ncf_16_32_2_d.1	FAIL	900.94
ncf_4_16_4_d.3	FAIL	900.94
ncf_8_16_8_euad.5	FAIL	900.94
ncf_8_64_8_d.5	FAIL	900.94
ncf_8_32_8_d.5	FAIL	900.94
ncf_16_64_2_edau.4	FAIL	900.94
ncf_8_32_4_edau.7	FAIL	900.94
ncf_8_64_8_d.7	FAIL	900.94
ncf_16_32_2_d.10	FAIL	900.94
ncf_16_32_8_edau.8	FAIL	900.94
ncf_8_32_4_d.4	FAIL	900.95
ncf_16_32_2_euad.1	FAIL	900.95
ncf_16_32_8_d.1	FAIL	900.95
ncf_16_128_4_d.4	FAIL	900.95
ncf_16_64_2_u.4	FAIL	900.95
ncf_8_32_4_d.6	FAIL	900.95
ncf_8_64_8_d.6	FAIL	900.95
ncf_16_32_8_u.2	FAIL	900.95
ncf_16_64_2_euad.3	FAIL	900.95
ncf_16_64_2_d.10	FAIL	900.95
ncf_8_32_4_euad.5	FAIL	900.95
ncf_8_32_4_euad.6	FAIL	900.95
ncf_16_128_4_d.6	FAIL	900.95
ncf_16_32_4_edau.6	FAIL	900.95
ncf_16_64_8_d.6	FAIL	900.95
ncf_16_32_8_edau.1	FAIL	900.96
ncf_16_64_8_edau.1	FAIL	900.96
ncf_16_32_8_u.5	FAIL	900.96
ncf_8_32_4_euad.7	FAIL	900.96
ncf_4_16_8_d.8	FAIL	900.96
ncf_16_128_2_edau.8	FAIL	900.96
ncf_8_32_2_d.1	FAIL	900.96
ncf_16_32_8_u.8	FAIL	900.96
ncf_16_64_4_d.2	FAIL	900.96
ncf_8_32_8_euad.2	FAIL	900.96
ncf_8_32_2_d.7	FAIL	900.96
ncf_8_32_4_edau.9	FAIL	900.96
ncf_8_32_2_u.6	FAIL	900.96
ncf_16_128_2_d.4	FAIL	900.96
ncf_8_64_8_d.8	FAIL	900.96
ncf_8_16_8_d.2	FAIL	900.96
ncf_16_64_4_u.9	FAIL	900.96
ncf_8_64_8_d.4	FAIL	900.96
ncf_8_32_8_d.8	FAIL	900.96
ncf_8_32_4_u.6	FAIL	900.96
ncf_8_64_8_d.9	FAIL	900.97
ncf_8_64_2_d.6	FAIL	900.97
ncf_4_32_8_u.6	FAIL	900.97
ncf_8_16_8_d.8	FAIL	900.97
ncf_8_32_8_euad.3	FAIL	900.97
ncf_16_64_8_d.8	FAIL	900.97
ncf_8_32_2_euad.10	FAIL	900.97
ncf_8_64_2_d.4	FAIL	900.97
ncf_8_32_2_d.10	FAIL	900.97
ncf_4_8_8_d.10	FAIL	900.97
ncf_16_64_4_d.1	FAIL	900.97
ncf_8_32_8_d.6	FAIL	900.97
ncf_8_32_2_edau.1	FAIL	900.97
ncf_8_32_4_d.8	FAIL	900.97
ncf_16_64_8_edau.3	FAIL	900.97
ncf_16_64_2_edau.10	FAIL	900.97
ncf_16_128_4_d.9	FAIL	900.97
ncf_16_64_4_u.1	FAIL	900.97
ncf_4_32_8_d.6	FAIL	900.97
ncf_8_64_8_d.10	FAIL	900.97
ncf_4_16_8_d.5	FAIL	900.97
ncf_16_32_8_d.2	FAIL	900.97
ncf_16_64_4_u.2	FAIL	900.97
ncf_8_64_2_euad.6	FAIL	900.97
ncf_8_32_4_u.7	FAIL	900.97
ncf_16_32_8_d.6	FAIL	900.97
ncf_4_32_4_edau.6	FAIL	900.97
ncf_8_32_4_u.3	FAIL	900.97
ncf_8_32_8_u.3	FAIL	900.97
ncf_16_64_2_u.9	FAIL	900.97
ncf_16_64_2_edau.3	FAIL	900.97
ncf_16_128_2_d.10	FAIL	900.97
ncf_16_64_8_u.1	FAIL	900.97
ncf_8_32_2_edau.3	FAIL	900.97
ncf_16_64_8_euad.3	FAIL	900.97
ncf_8_32_2_euad.3	FAIL	900.97
ncf_16_64_2_u.3	FAIL	900.97
ncf_8_32_2_euad.5	FAIL	900.97
ncf_8_32_2_edau.6	FAIL	900.97
ncf_8_64_4_u.4	FAIL	900.97
ncf_16_64_8_euad.1	FAIL	900.97
ncf_8_64_2_u.2	FAIL	900.97
ncf_8_32_2_u.2	FAIL	900.97
ncf_8_32_8_edau.7	FAIL	900.97
ncf_16_32_2_u.1	FAIL	900.97
ncf_8_16_4_d.3	FAIL	900.97
ncf_8_64_2_edau.6	FAIL	900.97
ncf_8_32_2_euad.6	FAIL	900.97
ncf_16_64_4_edau.2	FAIL	900.97
ncf_8_32_8_edau.3	FAIL	900.97
ncf_8_64_2_u.6	FAIL	900.97
ncf_4_32_4_u.4	FAIL	900.97
ncf_16_32_4_u.6	FAIL	900.97
ncf_8_32_2_euad.7	FAIL	900.98
ncf_16_64_8_d.3	FAIL	900.98
ncf_8_32_4_d.10	FAIL	900.98
ncf_16_128_8_d.1	FAIL	900.98
ncf_4_16_8_euad.2	FAIL	900.98
ncf_4_16_4_d.2	FAIL	900.98
ncf_8_32_8_d.7	FAIL	900.98
ncf_4_32_8_u.7	FAIL	900.98
ncf_8_32_2_u.4	FAIL	900.98
ncf_16_32_2_edau.1	FAIL	900.98
ncf_16_64_2_d.3	FAIL	900.98
ncf_8_32_4_u.10	FAIL	900.98
ncf_16_64_4_euad.9	FAIL	900.98
ncf_16_64_8_euad.5	FAIL	900.98
ncf_8_16_8_u.2	FAIL	900.98
ncf_16_64_8_d.2	FAIL	900.98
ncf_4_32_4_edau.10	FAIL	900.98
ncf_16_64_2_d.2	FAIL	900.98
ncf_16_32_4_d.4	FAIL	900.98
ncf_8_16_4_d.9	FAIL	900.98
ncf_8_32_2_u.1	FAIL	900.98
ncf_16_128_8_d.2	FAIL	900.98
ncf_4_32_4_edau.7	FAIL	900.98
ncf_16_32_8_d.8	FAIL	900.98
ncf_8_64_4_euad.4	FAIL	900.98
ncf_16_64_8_d.5	FAIL	900.98
ncf_4_8_8_d.5	FAIL	900.98
ncf_16_32_8_d.7	FAIL	900.98
ncf_8_32_2_edau.10	FAIL	900.98
ncf_16_64_4_euad.8	FAIL	900.98
ncf_4_32_2_u.10	FAIL	900.98
ncf_8_32_4_u.5	FAIL	900.98
ncf_4_32_8_u.8	FAIL	900.98
ncf_16_128_2_d.5	FAIL	900.98
ncf_4_16_8_euad.5	FAIL	900.98
ncf_8_64_4_edau.9	FAIL	900.98
ncf_8_64_8_u.4	FAIL	900.98
ncf_16_64_8_d.10	FAIL	900.98
ncf_8_64_2_edau.8	FAIL	900.98
ncf_8_32_8_u.7	FAIL	900.98
ncf_4_16_4_d.6	FAIL	900.98
ncf_16_64_4_u.8	FAIL	900.98
ncf_16_32_8_d.9	FAIL	900.98
ncf_4_16_8_edau.5	FAIL	900.98
ncf_16_64_2_euad.10	FAIL	900.98
ncf_8_32_2_edau.2	FAIL	900.98
ncf_8_64_2_euad.5	FAIL	900.98
ncf_4_32_4_euad.1	FAIL	900.98
ncf_8_32_8_d.4	FAIL	900.98
ncf_8_64_2_d.8	FAIL	900.98
ncf_4_16_8_euad.4	FAIL	900.98
ncf_4_32_8_euad.8	FAIL	900.98
ncf_8_64_4_u.9	FAIL	900.98
ncf_8_64_4_u.3	FAIL	900.98
ncf_16_64_4_d.4	FAIL	900.98
ncf_16_64_8_u.5	FAIL	900.98
ncf_16_64_4_edau.3	FAIL	900.98
ncf_8_64_2_edau.1	FAIL	900.98
ncf_16_64_2_d.4	FAIL	900.98
ncf_16_128_8_d.10	FAIL	900.98
ncf_8_64_4_d.5	FAIL	900.98
ncf_8_64_4_edau.1	FAIL	900.98
ncf_8_64_8_edau.3	FAIL	900.98
ncf_16_64_8_u.3	FAIL	900.98
ncf_16_64_8_edau.4	FAIL	900.98
ncf_8_64_2_u.8	FAIL	900.98
ncf_16_32_8_euad.5	FAIL	900.98
ncf_4_8_8_d.6	FAIL	900.98
ncf_8_32_4_edau.5	FAIL	900.99
ncf_8_64_8_d.3	FAIL	900.99
ncf_16_32_4_euad.7	FAIL	900.99
ncf_8_32_4_d.1	FAIL	900.99
ncf_8_16_8_euad.3	FAIL	900.99
ncf_8_32_4_u.2	FAIL	900.99
ncf_8_16_4_euad.9	FAIL	900.99
ncf_16_64_8_u.8	FAIL	900.99
ncf_16_32_8_u.9	FAIL	900.99
ncf_16_64_4_d.10	FAIL	900.99
ncf_4_32_8_u.1	FAIL	900.99
ncf_4_32_4_edau.9	FAIL	900.99
ncf_8_32_8_edau.9	FAIL	900.99
ncf_8_16_8_d.4	FAIL	900.99
ncf_16_64_8_euad.4	FAIL	900.99
ncf_16_128_2_d.8	FAIL	900.99
ncf_16_64_8_euad.6	FAIL	900.99
ncf_16_128_8_d.4	FAIL	900.99
ncf_4_32_8_edau.3	FAIL	900.99
ncf_16_32_8_d.5	FAIL	900.99
ncf_8_32_8_edau.4	FAIL	900.99
ncf_8_32_8_u.1	FAIL	900.99
ncf_16_32_8_euad.3	FAIL	900.99
ncf_16_64_4_edau.6	FAIL	900.99
ncf_16_128_4_d.1	FAIL	900.99
ncf_4_32_8_d.2	FAIL	900.99
ncf_8_64_4_euad.6	FAIL	900.99
ncf_16_128_4_u.6	FAIL	900.99
ncf_16_64_2_u.10	FAIL	900.99
ncf_8_32_2_euad.1	FAIL	900.99
ncf_16_32_8_euad.9	FAIL	900.99
ncf_8_64_2_u.5	FAIL	900.99
ncf_16_32_2_edau.5	FAIL	900.99
ncf_16_128_2_d.1	FAIL	900.99
ncf_4_32_8_edau.8	FAIL	900.99
ncf_16_128_2_euad.4	FAIL	900.99
ncf_8_64_8_edau.10	FAIL	900.99
ncf_16_128_4_edau.2	FAIL	900.99
ncf_4_32_8_d.7	FAIL	900.99
ncf_4_16_4_euad.4	FAIL	900.99
ncf_8_32_8_u.6	FAIL	900.99
ncf_8_64_8_u.7	FAIL	900.99
ncf_8_64_8_edau.1	FAIL	900.99
ncf_4_32_4_euad.4	FAIL	900.99
ncf_16_128_4_u.9	FAIL	900.99
ncf_8_32_2_u.9	FAIL	900.99
ncf_16_64_4_u.5	FAIL	900.99
ncf_4_32_2_edau.10	FAIL	900.99
ncf_16_128_4_d.5	FAIL	900.99
ncf_16_64_2_u.8	FAIL	900.99
ncf_16_128_4_edau.5	FAIL	900.99
ncf_16_64_4_edau.7	FAIL	900.99
ncf_16_64_4_d.7	FAIL	900.99
ncf_8_64_2_d.5	FAIL	900.99
ncf_8_32_8_euad.7	FAIL	900.99
ncf_8_64_4_d.8	FAIL	900.99
ncf_16_32_4_euad.4	FAIL	900.99
ncf_16_64_2_euad.4	FAIL	900.99
ncf_4_32_4_euad.7	FAIL	900.99
ncf_16_64_8_d.1	FAIL	900.99
ncf_16_32_8_euad.7	FAIL	900.99
ncf_16_128_2_euad.2	FAIL	900.99
ncf_4_32_4_u.9	FAIL	900.99
ncf_16_32_8_euad.1	FAIL	900.99
ncf_8_64_2_u.9	FAIL	900.99
ncf_4_32_4_d.3	FAIL	900.99
ncf_4_16_8_euad.8	FAIL	900.99
ncf_16_128_8_edau.4	FAIL	900.99
ncf_16_128_2_d.2	FAIL	900.99
ncf_8_32_2_d.4	FAIL	900.99
ncf_8_64_4_u.5	FAIL	900.99
ncf_16_64_2_u.6	FAIL	900.99
ncf_8_32_2_d.6	FAIL	900.99
ncf_16_128_2_u.3	FAIL	900.99
ncf_16_128_4_d.7	FAIL	900.99
ncf_16_128_4_d.10	FAIL	900.99
ncf_16_32_8_euad.2	FAIL	900.99
ncf_4_32_8_edau.10	FAIL	900.99
ncf_16_64_4_edau.5	FAIL	900.99
ncf_16_64_2_edau.6	FAIL	900.99
ncf_4_32_8_euad.9	FAIL	900.99
ncf_16_64_2_d.8	FAIL	900.99
ncf_4_16_8_euad.6	FAIL	900.99
ncf_4_32_2_u.1	FAIL	900.99
ncf_8_64_4_edau.3	FAIL	900.99
ncf_8_64_2_edau.2	FAIL	900.99
ncf_4_16_8_euad.1	FAIL	900.99
ncf_16_128_8_euad.2	FAIL	900.99
ncf_8_32_4_d.2	FAIL	900.99
ncf_8_64_8_d.2	FAIL	900.99
ncf_4_32_8_u.10	FAIL	900.99
ncf_16_64_4_edau.1	FAIL	900.99
ncf_8_64_2_edau.3	FAIL	900.99
ncf_8_64_4_u.2	FAIL	900.99
ncf_8_64_8_euad.8	FAIL	900.99
ncf_4_32_4_d.2	FAIL	900.99
ncf_8_32_2_edau.7	FAIL	900.99
ncf_16_128_2_d.3	FAIL	900.99
ncf_8_64_8_edau.8	FAIL	900.99
ncf_4_32_8_u.5	FAIL	900.99
ncf_8_64_4_u.1	FAIL	900.99
ncf_8_64_8_u.6	FAIL	900.99
ncf_8_64_2_u.1	FAIL	900.99
ncf_16_128_8_euad.3	FAIL	900.99
ncf_16_128_8_edau.2	FAIL	900.99
ncf_8_32_4_d.5	FAIL	900.99
ncf_16_128_4_edau.6	FAIL	900.99
ncf_4_16_4_euad.6	FAIL	900.99
ncf_8_64_4_d.2	FAIL	900.99
ncf_16_64_8_u.6	FAIL	900.99
ncf_4_32_4_u.3	FAIL	900.99
ncf_16_64_2_d.5	FAIL	900.99
ncf_8_32_4_euad.1	FAIL	900.99
ncf_8_32_8_u.5	FAIL	900.99
ncf_16_128_2_d.6	FAIL	900.99
ncf_8_32_2_euad.4	FAIL	900.99
ncf_16_128_2_edau.3	FAIL	900.99
ncf_16_32_2_euad.10	FAIL	900.99
ncf_16_32_8_edau.9	FAIL	900.99
ncf_16_64_8_euad.10	FAIL	900.99
ncf_16_128_4_edau.8	FAIL	900.99
ncf_8_32_2_edau.9	FAIL	900.99
ncf_8_32_8_d.3	FAIL	900.99
ncf_4_32_4_d.1	FAIL	900.99
ncf_16_64_4_u.6	FAIL	900.99
ncf_16_64_4_u.7	FAIL	900.99
ncf_8_32_8_euad.8	FAIL	900.99
ncf_4_32_8_d.3	FAIL	900.99
ncf_16_128_4_edau.1	FAIL	900.99
ncf_16_32_2_euad.5	FAIL	900.99
ncf_16_128_8_edau.6	FAIL	900.99
ncf_4_32_8_edau.9	FAIL	900.99
ncf_8_32_8_euad.6	FAIL	900.99
ncf_4_16_8_u.8	FAIL	900.99
ncf_8_32_8_euad.10	FAIL	900.99
ncf_16_128_2_u.7	FAIL	900.99
ncf_4_32_4_d.9	FAIL	901
ncf_4_32_2_euad.8	FAIL	901
ncf_4_32_2_d.4	FAIL	901
ncf_4_32_2_edau.6	FAIL	901
ncf_16_128_4_euad.4	FAIL	901
ncf_8_64_2_d.2	FAIL	901
ncf_16_128_2_edau.2	FAIL	901
ncf_4_32_2_edau.1	FAIL	901
ncf_4_32_8_euad.6	FAIL	901
ncf_16_128_8_d.3	FAIL	901
ncf_16_128_4_u.4	FAIL	901
ncf_4_32_2_euad.5	FAIL	901
ncf_16_64_2_edau.5	FAIL	901
ncf_4_32_4_u.8	FAIL	901
ncf_4_16_4_euad.10	FAIL	901
ncf_8_32_8_edau.5	FAIL	901
ncf_16_128_4_u.7	FAIL	901
ncf_4_32_8_u.2	FAIL	901
ncf_16_128_2_u.5	FAIL	901
ncf_4_32_8_euad.3	FAIL	901
ncf_16_128_2_u.4	FAIL	901
ncf_16_128_4_euad.10	FAIL	901
ncf_4_32_4_euad.3	FAIL	901
ncf_8_32_8_euad.5	FAIL	901
ncf_4_32_8_edau.7	FAIL	901
ncf_4_16_8_d.3	FAIL	901
ncf_16_128_4_edau.10	FAIL	901
ncf_4_16_4_u.3	FAIL	901
ncf_4_32_8_euad.7	FAIL	901
ncf_8_64_4_euad.1	FAIL	901
ncf_16_64_8_euad.7	FAIL	901
ncf_8_32_2_u.3	FAIL	901
ncf_8_64_8_euad.9	FAIL	901
ncf_16_128_2_euad.7	FAIL	901
ncf_8_64_4_edau.8	FAIL	901
ncf_8_64_8_edau.9	FAIL	901
ncf_4_32_2_edau.5	FAIL	901
ncf_16_128_4_edau.7	FAIL	901
ncf_8_32_4_edau.1	FAIL	901
ncf_16_128_2_d.9	FAIL	901
ncf_8_64_4_euad.2	FAIL	901
ncf_16_64_2_edau.9	FAIL	901
ncf_4_8_8_d.2	FAIL	901
ncf_16_128_2_euad.3	FAIL	901
ncf_16_64_4_euad.7	FAIL	901
ncf_4_32_4_edau.8	FAIL	901
ncf_4_32_2_edau.3	FAIL	901
ncf_8_32_8_d.1	FAIL	901
ncf_16_128_8_euad.4	FAIL	901
ncf_16_128_4_u.1	FAIL	901
ncf_8_64_4_edau.5	FAIL	901
ncf_4_16_8_u.1	FAIL	901
ncf_16_128_4_euad.8	FAIL	901
ncf_16_128_2_edau.6	FAIL	901
ncf_16_128_2_edau.5	FAIL	901
ncf_4_16_8_edau.2	FAIL	901
ncf_8_32_4_euad.8	FAIL	901
ncf_16_128_2_euad.10	FAIL	901
ncf_4_32_8_edau.5	FAIL	901
ncf_4_32_2_euad.3	FAIL	901
ncf_8_32_4_u.8	FAIL	901
ncf_8_64_8_d.1	FAIL	901
ncf_4_32_8_euad.10	FAIL	901
ncf_16_128_2_u.10	FAIL	901
ncf_16_64_2_u.5	FAIL	901
ncf_16_128_4_euad.1	FAIL	901
ncf_8_64_2_edau.10	FAIL	901
ncf_8_16_8_u.4	FAIL	901
ncf_16_128_4_u.2	FAIL	901
ncf_4_32_8_d.9	FAIL	901
ncf_8_64_2_euad.8	FAIL	901
ncf_8_32_4_edau.3	FAIL	901
ncf_8_64_4_euad.8	FAIL	901
ncf_16_32_8_euad.8	FAIL	901
ncf_16_128_8_edau.9	FAIL	901
ncf_8_64_8_edau.5	FAIL	901
ncf_16_64_4_edau.8	FAIL	901
ncf_4_32_2_d.6	FAIL	901
ncf_16_64_4_d.3	FAIL	901
ncf_4_32_8_euad.2	FAIL	901
ncf_16_128_4_u.3	FAIL	901
ncf_8_64_8_euad.5	FAIL	901
ncf_8_64_2_euad.3	FAIL	901
ncf_4_32_2_u.6	FAIL	901
ncf_16_64_8_d.7	FAIL	901
ncf_8_32_8_euad.4	FAIL	901
ncf_16_128_2_edau.1	FAIL	901
ncf_4_32_4_edau.3	FAIL	901
ncf_16_128_8_euad.5	FAIL	901
ncf_8_32_2_d.9	FAIL	901
ncf_16_128_8_u.6	FAIL	901
ncf_8_32_2_d.3	FAIL	901
ncf_8_32_8_u.9	FAIL	901
ncf_16_64_4_euad.4	FAIL	901
ncf_16_64_2_euad.9	FAIL	901
ncf_8_64_2_d.7	FAIL	901
ncf_8_64_4_edau.4	FAIL	901
ncf_16_64_8_edau.9	FAIL	901
ncf_16_64_4_d.5	FAIL	901
ncf_16_128_4_euad.7	FAIL	901
ncf_16_128_8_u.2	FAIL	901
ncf_8_32_8_u.10	FAIL	901
ncf_16_64_8_euad.2	FAIL	901
ncf_4_32_4_u.5	FAIL	901
ncf_16_64_8_d.9	FAIL	901
ncf_16_128_8_edau.5	FAIL	901
ncf_16_64_4_euad.5	FAIL	901
ncf_8_32_4_u.4	FAIL	901
ncf_4_32_2_euad.7	FAIL	901
ncf_4_32_4_euad.6	FAIL	901
ncf_8_64_4_d.7	FAIL	901
ncf_16_128_8_edau.1	FAIL	901
ncf_16_128_8_euad.1	FAIL	901
ncf_8_64_8_edau.4	FAIL	901
ncf_4_16_8_u.5	FAIL	901
ncf_8_64_4_d.9	FAIL	901
ncf_4_32_4_d.8	FAIL	901
ncf_16_128_2_euad.9	FAIL	901
ncf_8_64_2_d.1	FAIL	901
ncf_8_16_8_d.5	FAIL	901
ncf_8_64_2_euad.9	FAIL	901
ncf_4_32_8_u.4	FAIL	901
ncf_8_64_8_u.2	FAIL	901
ncf_8_64_2_d.9	FAIL	901
ncf_16_128_8_edau.7	FAIL	901
ncf_8_64_4_euad.7	FAIL	901
ncf_4_32_4_d.4	FAIL	901
ncf_8_32_8_d.9	FAIL	901
ncf_4_16_8_d.6	FAIL	901
ncf_4_16_4_u.4	FAIL	901
ncf_4_16_8_d.1	FAIL	901
ncf_8_64_2_d.10	FAIL	901
ncf_4_16_8_edau.3	FAIL	901
ncf_16_128_2_edau.10	FAIL	901
ncf_16_128_8_d.6	FAIL	901
ncf_8_64_4_edau.2	FAIL	901
ncf_8_32_8_d.10	FAIL	901
ncf_16_64_4_euad.2	FAIL	901
ncf_16_128_8_euad.6	FAIL	901
ncf_16_64_8_u.7	FAIL	901
ncf_8_16_8_edau.4	FAIL	901
ncf_8_64_8_euad.7	FAIL	901
ncf_8_32_2_u.10	FAIL	901
ncf_16_128_8_d.5	FAIL	901
ncf_16_128_8_euad.9	FAIL	901
ncf_4_32_2_d.10	FAIL	901
ncf_8_64_4_euad.9	FAIL	901
ncf_4_32_4_u.6	FAIL	901
ncf_16_128_4_edau.9	FAIL	901
ncf_8_64_8_u.1	FAIL	901
ncf_8_64_4_d.10	FAIL	901
ncf_4_32_4_euad.9	FAIL	901
ncf_4_32_4_euad.8	FAIL	901
ncf_8_16_4_edau.3	FAIL	901
ncf_16_128_2_edau.7	FAIL	901
ncf_16_128_4_u.8	FAIL	901
ncf_16_32_8_u.10	FAIL	901
ncf_4_16_8_edau.6	FAIL	901
ncf_8_64_2_euad.4	FAIL	901
ncf_8_32_8_edau.2	FAIL	901
ncf_16_128_4_u.10	FAIL	901
ncf_8_32_2_d.2	FAIL	901
ncf_8_32_2_euad.2	FAIL	901
ncf_16_64_4_euad.6	FAIL	901
ncf_16_128_4_u.5	FAIL	901
ncf_4_32_4_euad.2	FAIL	901
ncf_4_32_8_edau.4	FAIL	901
ncf_8_32_4_euad.2	FAIL	901
ncf_16_32_4_u.4	FAIL	901
ncf_4_16_8_u.2	FAIL	901
ncf_8_64_8_edau.7	FAIL	901
ncf_16_64_4_euad.10	FAIL	901
ncf_4_32_8_u.3	FAIL	901
ncf_8_64_8_edau.2	FAIL	901
ncf_4_16_8_d.4	FAIL	901
ncf_8_64_2_euad.7	FAIL	901
ncf_8_64_8_euad.4	FAIL	901
ncf_4_32_4_edau.5	FAIL	901
ncf_4_32_4_euad.10	FAIL	901
ncf_4_32_2_d.5	FAIL	901
ncf_8_64_8_edau.6	FAIL	901
ncf_4_16_4_u.2	FAIL	901
ncf_8_64_2_edau.4	FAIL	901
ncf_16_128_8_u.10	FAIL	901
ncf_16_128_8_euad.10	FAIL	901
ncf_4_32_2_u.7	FAIL	901
ncf_16_64_2_d.6	FAIL	901
ncf_8_64_4_euad.5	FAIL	901
ncf_16_128_4_d.8	FAIL	901
ncf_16_128_2_euad.1	FAIL	901
ncf_8_64_2_edau.9	FAIL	901
ncf_4_32_4_u.10	FAIL	901
ncf_16_128_8_u.5	FAIL	901
ncf_4_32_8_edau.6	FAIL	901
ncf_4_32_8_euad.4	FAIL	901
ncf_8_16_4_u.3	FAIL	901
ncf_8_32_4_d.7	FAIL	901
ncf_4_16_4_edau.4	FAIL	901
ncf_4_32_8_d.8	FAIL	901
ncf_16_64_8_u.2	FAIL	901
ncf_16_64_4_d.9	FAIL	901
ncf_16_128_8_u.4	FAIL	901
ncf_8_64_8_u.8	FAIL	901
ncf_4_16_8_edau.8	FAIL	901
ncf_8_32_4_edau.4	FAIL	901
ncf_4_32_2_u.5	FAIL	901
ncf_16_64_2_d.9	FAIL	901
ncf_16_64_4_u.10	FAIL	901
ncf_4_16_8_euad.3	FAIL	901
ncf_16_32_4_d.7	FAIL	901
ncf_16_64_8_u.9	FAIL	901
ncf_16_128_8_u.9	FAIL	901
ncf_16_32_2_euad.4	FAIL	901
ncf_16_64_8_edau.2	FAIL	901
ncf_16_128_4_euad.2	FAIL	901
ncf_4_16_4_d.4	FAIL	901
ncf_16_128_2_u.8	FAIL	901
ncf_16_128_2_euad.8	FAIL	901
ncf_16_128_8_u.3	FAIL	901
ncf_4_32_8_edau.2	FAIL	901
ncf_4_16_8_edau.1	FAIL	901
ncf_16_64_4_u.4	FAIL	901
ncf_8_32_8_u.8	FAIL	901
ncf_8_32_8_edau.10	FAIL	901
ncf_16_128_8_d.7	FAIL	901
ncf_16_128_8_edau.10	FAIL	901
ncf_8_64_4_edau.7	FAIL	901
ncf_8_32_4_u.9	FAIL	901
ncf_4_8_8_euad.5	FAIL	901
ncf_8_32_2_euad.9	FAIL	901
ncf_16_128_8_euad.7	FAIL	901
ncf_4_32_2_euad.6	FAIL	901
ncf_8_32_4_euad.3	FAIL	901
ncf_4_32_8_d.4	FAIL	901
ncf_16_128_8_euad.8	FAIL	901
ncf_4_32_4_u.7	FAIL	901
ncf_8_64_4_u.6	FAIL	901
ncf_4_16_4_edau.2	FAIL	901
ncf_16_128_8_edau.8	FAIL	901
ncf_16_32_8_u.1	FAIL	901
ncf_16_128_8_d.8	FAIL	901
ncf_8_64_8_u.10	FAIL	901
ncf_8_64_2_edau.7	FAIL	901
ncf_16_128_2_d.7	FAIL	901
ncf_8_32_8_d.2	FAIL	901
ncf_8_32_4_d.3	FAIL	901
ncf_8_16_8_edau.2	FAIL	901
ncf_8_32_8_u.4	FAIL	901
ncf_8_32_2_u.7	FAIL	901
ncf_8_64_2_euad.10	FAIL	901
ncf_16_128_2_edau.9	FAIL	901
ncf_16_64_2_euad.6	FAIL	901
ncf_8_32_8_u.2	FAIL	901
ncf_8_64_4_edau.10	FAIL	901
ncf_16_64_8_euad.8	FAIL	901
ncf_8_32_4_edau.8	FAIL	901
ncf_16_32_2_d.5	FAIL	901
ncf_8_32_8_edau.6	FAIL	901
ncf_16_64_8_edau.7	FAIL	901
ncf_4_32_8_d.1	FAIL	901
ncf_8_64_2_u.10	FAIL	901
ncf_4_32_2_edau.7	FAIL	901
ncf_16_64_8_d.4	FAIL	901
ncf_16_64_2_euad.8	FAIL	901
ncf_8_64_8_u.9	FAIL	901.01
ncf_8_16_8_d.3	FAIL	901.01
ncf_4_32_8_d.5	FAIL	901.01
ncf_16_128_4_euad.9	FAIL	901.01
ncf_16_128_2_u.6	FAIL	901.01
ncf_16_32_8_euad.10	FAIL	901.01
ncf_4_32_4_d.7	FAIL	901.01
ncf_8_64_4_d.3	FAIL	901.01
ncf_16_64_4_edau.4	FAIL	901.01
ncf_8_32_4_edau.2	FAIL	901.01
ncf_8_64_8_u.5	FAIL	901.01
ncf_16_32_2_d.4	FAIL	901.01
ncf_8_64_4_edau.6	FAIL	901.01
ncf_16_128_8_u.8	FAIL	901.01
ncf_4_32_4_euad.5	FAIL	901.01
ncf_16_64_8_edau.6	FAIL	901.01
ncf_4_32_2_d.7	FAIL	901.01
ncf_16_64_4_u.3	FAIL	901.01
ncf_16_64_4_edau.10	FAIL	901.01
ncf_16_64_2_euad.2	FAIL	901.01
ncf_4_16_8_u.6	FAIL	901.01
ncf_16_128_8_u.1	FAIL	901.01
ncf_8_64_2_d.3	FAIL	901.01
ncf_16_128_8_edau.3	FAIL	901.01
ncf_16_128_4_d.3	FAIL	901.01
ncf_4_8_8_d.7	FAIL	901.01
ncf_16_128_4_euad.6	FAIL	901.01
ncf_16_32_4_euad.5	FAIL	901.01
ncf_8_64_2_u.4	FAIL	901.01
ncf_8_32_8_euad.9	FAIL	901.01
ncf_8_32_4_euad.9	FAIL	901.01
ncf_16_32_2_u.5	FAIL	901.01
ncf_8_64_4_u.10	FAIL	901.01
ncf_4_16_8_d.2	FAIL	901.01
ncf_16_128_2_euad.5	FAIL	901.01
ncf_4_8_8_euad.2	FAIL	901.01
ncf_4_32_2_euad.4	FAIL	901.01
ncf_4_32_4_edau.1	FAIL	901.01
ncf_8_64_2_euad.2	FAIL	901.01
ncf_16_64_4_d.6	FAIL	901.01
ncf_4_32_8_edau.1	FAIL	901.01
ncf_4_32_2_euad.1	FAIL	901.01
ncf_4_32_2_u.3	FAIL	901.01
ncf_4_32_4_d.10	FAIL	901.01
ncf_4_32_8_u.9	FAIL	901.01
ncf_8_32_4_d.9	FAIL	901.01
ncf_8_64_8_euad.1	FAIL	901.01
ncf_8_64_4_euad.3	FAIL	901.01
ncf_16_128_4_euad.3	FAIL	901.01
ncf_16_128_2_edau.4	FAIL	901.01
ncf_8_32_4_euad.4	FAIL	901.01
ncf_4_32_4_edau.4	FAIL	901.01
ncf_8_64_4_d.1	FAIL	901.01
ncf_4_32_8_d.10	FAIL	901.01
ncf_4_32_2_euad.10	FAIL	901.01
ncf_8_64_4_d.4	FAIL	901.01
ncf_8_64_8_euad.10	FAIL	901.01
ncf_8_64_4_d.6	FAIL	901.01
ncf_8_64_8_u.3	FAIL	901.01
ncf_8_16_8_edau.5	FAIL	901.01
ncf_16_32_4_u.10	FAIL	901.01
ncf_8_32_4_euad.10	FAIL	901.01
ncf_8_64_4_u.7	FAIL	901.01
ncf_8_64_4_euad.10	FAIL	901.01
ncf_16_64_2_u.2	FAIL	901.01
ncf_8_16_8_u.5	FAIL	901.01
ncf_16_128_4_euad.5	FAIL	901.01
ncf_16_64_8_edau.10	FAIL	901.01
ncf_16_32_4_edau.4	FAIL	901.01
ncf_16_64_4_d.8	FAIL	901.01
ncf_4_32_8_euad.5	FAIL	901.01
ncf_16_128_8_d.9	FAIL	901.01
ncf_8_64_2_u.3	FAIL	901.01
ncf_16_64_8_u.10	FAIL	901.01
ncf_16_128_8_u.7	FAIL	901.01
ncf_16_64_2_edau.8	FAIL	901.01
ncf_4_16_4_d.10	FAIL	901.01
ncf_16_128_2_euad.6	FAIL	901.01
ncf_8_64_8_euad.2	FAIL	901.01
ncf_4_32_2_d.8	FAIL	901.01
ncf_16_128_2_u.1	FAIL	901.01
ncf_8_64_2_u.7	FAIL	901.01
ncf_8_64_8_euad.6	FAIL	901.01
ncf_8_16_8_u.3	FAIL	901.01
ncf_4_32_4_u.1	FAIL	901.01
ncf_8_16_8_edau.3	FAIL	901.01
ncf_16_64_2_euad.5	FAIL	901.01
ncf_4_16_8_u.3	FAIL	901.01
ncf_16_32_4_edau.10	FAIL	901.01
ncf_16_64_8_edau.8	FAIL	901.01
ncf_4_32_4_d.5	FAIL	901.01
ncf_16_128_4_edau.3	FAIL	901.01
ncf_16_128_4_d.2	FAIL	901.01
ncf_8_64_2_euad.1	FAIL	901.01
ncf_16_64_2_edau.2	FAIL	901.01
ncf_4_16_8_u.4	FAIL	901.01
ncf_4_32_4_d.6	FAIL	901.01
ncf_4_16_4_edau.3	FAIL	901.01
ncf_16_128_2_u.9	FAIL	901.01
ncf_16_128_2_u.2	FAIL	901.01
ncf_8_64_8_euad.3	FAIL	901.01
ncf_4_32_8_euad.1	FAIL	901.01
ncf_16_64_4_euad.3	FAIL	901.01
ncf_4_32_2_d.3	FAIL	901.01
ncf_16_128_4_edau.4	FAIL	901.01
ncf_16_64_8_euad.9	FAIL	901.01
ncf_8_32_4_edau.10	FAIL	901.01
ncf_8_32_2_edau.4	FAIL	901.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by sSolve
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by sSolve QBFEVAL'05

Instances of family CounterFactual solved by sSolve
QBFEVAL'05