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

Instances of family CounterFactual solved by QbflHR
QBFEVAL'05

Instance	Result	Time
ncf_8_16_2_edau.8	UNSAT	0
ncf_8_16_2_u.3	UNSAT	0
ncf_4_8_2_euad.4	UNSAT	0
ncf_8_16_2_euad.7	SAT	0
ncf_8_16_2_euad.8	UNSAT	0
ncf_8_16_2_d.3	UNSAT	0
ncf_8_16_4_edau.5	UNSAT	0
ncf_8_16_2_u.8	UNSAT	0
ncf_4_8_2_edau.10	UNSAT	0
ncf_8_16_2_d.8	UNSAT	0
ncf_4_8_2_u.10	UNSAT	0
ncf_8_16_4_d.5	UNSAT	0
ncf_8_16_4_u.5	UNSAT	0
ncf_4_8_2_d.5	SAT	0
ncf_4_8_4_d.9	SAT	0
ncf_4_8_4_euad.9	SAT	0
ncf_4_8_2_d.10	UNSAT	0.01
ncf_4_8_2_u.5	SAT	0.01
ncf_8_16_4_euad.5	UNSAT	0.01
ncf_4_8_4_edau.9	SAT	0.01
ncf_8_16_2_d.2	UNSAT	0.01
ncf_8_16_2_u.7	SAT	0.01
ncf_4_8_2_euad.5	SAT	0.01
ncf_8_16_2_d.7	SAT	0.01
ncf_4_8_8_edau.9	UNSAT	0.01
ncf_4_8_2_edau.5	SAT	0.01
ncf_4_8_2_euad.8	SAT	0.01
ncf_4_8_4_u.9	SAT	0.01
ncf_8_16_2_u.2	UNSAT	0.01
ncf_4_8_4_u.2	UNSAT	0.01
ncf_4_8_2_euad.7	UNSAT	0.01
ncf_8_16_2_edau.3	UNSAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
ncf_8_16_2_edau.2	UNSAT	0.01
ncf_4_8_2_d.4	UNSAT	0.01
ncf_4_8_2_u.8	SAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
ncf_4_8_2_euad.2	SAT	0.02
ncf_4_8_2_edau.7	UNSAT	0.02
ncf_8_16_2_d.9	UNSAT	0.02
ncf_4_8_2_euad.10	UNSAT	0.02
ncf_4_8_2_u.9	SAT	0.02
ncf_4_8_2_edau.4	UNSAT	0.02
ncf_4_8_2_d.1	UNSAT	0.02
ncf_8_16_2_edau.7	SAT	0.02
ncf_4_8_8_euad.9	UNSAT	0.02
ncf_4_8_2_edau.8	SAT	0.02
ncf_8_16_2_euad.3	UNSAT	0.02
ncf_4_8_8_u.9	UNSAT	0.02
ncf_4_8_2_u.1	UNSAT	0.02
ncf_4_8_4_edau.2	UNSAT	0.02
ncf_8_16_2_euad.2	UNSAT	0.02
ncf_4_8_2_u.7	UNSAT	0.02
ncf_4_8_4_euad.2	UNSAT	0.02
ncf_4_8_8_euad.4	SAT	0.03
ncf_4_8_2_edau.1	UNSAT	0.03
ncf_4_8_4_d.2	UNSAT	0.03
ncf_4_8_8_u.4	SAT	0.03
ncf_4_8_2_d.8	SAT	0.03
ncf_8_16_4_u.2	UNSAT	0.03
ncf_4_8_8_d.9	UNSAT	0.03
ncf_8_16_2_u.6	UNSAT	0.03
ncf_8_16_4_edau.2	UNSAT	0.03
ncf_8_16_2_edau.9	UNSAT	0.04
ncf_8_16_2_edau.6	UNSAT	0.04
ncf_4_8_2_d.2	SAT	0.04
ncf_4_8_2_d.7	UNSAT	0.05
ncf_4_8_2_d.9	SAT	0.05
ncf_4_8_2_edau.9	SAT	0.05
ncf_4_8_2_euad.6	SAT	0.06
ncf_8_16_2_u.5	UNSAT	0.06
ncf_4_8_2_u.2	SAT	0.06
ncf_4_16_2_euad.6	SAT	0.06
ncf_4_8_2_edau.2	SAT	0.06
ncf_8_16_2_euad.9	UNSAT	0.07
ncf_8_16_2_u.9	UNSAT	0.07
ncf_8_16_2_d.6	UNSAT	0.08
ncf_8_16_4_edau.1	UNSAT	0.09
ncf_8_16_2_euad.5	UNSAT	0.09
ncf_4_16_2_d.6	SAT	0.1
ncf_8_16_4_u.1	UNSAT	0.1
ncf_4_8_2_u.6	SAT	0.1
ncf_8_16_2_euad.6	UNSAT	0.1
ncf_4_8_4_euad.6	SAT	0.12
ncf_4_16_2_edau.9	SAT	0.14
ncf_4_8_4_u.6	SAT	0.14
ncf_4_8_4_u.8	UNSAT	0.14
ncf_4_16_2_u.9	SAT	0.14
ncf_4_16_2_euad.9	SAT	0.17
ncf_4_16_2_d.9	SAT	0.18
ncf_4_8_4_euad.8	UNSAT	0.19
ncf_4_8_4_euad.5	SAT	0.2
ncf_4_16_2_u.6	SAT	0.2
ncf_4_8_2_u.3	UNSAT	0.21
ncf_8_16_4_u.6	UNSAT	0.22
ncf_4_8_2_edau.6	SAT	0.23
ncf_4_8_8_edau.4	SAT	0.25
ncf_4_16_2_edau.6	SAT	0.25
ncf_4_8_2_d.6	SAT	0.26
ncf_8_16_4_euad.6	UNSAT	0.28
ncf_4_8_2_euad.3	UNSAT	0.29
ncf_4_8_4_euad.10	SAT	0.29
ncf_4_8_4_u.5	SAT	0.32
ncf_4_8_2_edau.3	UNSAT	0.34
ncf_4_8_4_euad.1	SAT	0.39
ncf_8_16_4_euad.2	UNSAT	0.39
ncf_8_16_4_d.2	UNSAT	0.39
ncf_4_8_4_u.1	SAT	0.41
ncf_4_8_8_euad.1	SAT	0.44
ncf_4_8_8_u.1	SAT	0.44
ncf_4_8_2_d.3	UNSAT	0.47
ncf_8_16_2_edau.1	SAT	0.49
ncf_8_16_2_u.1	SAT	0.5
ncf_4_16_2_euad.2	SAT	0.54
ncf_8_16_2_euad.1	SAT	0.57
ncf_4_8_4_u.3	UNSAT	0.58
ncf_4_8_4_u.10	SAT	0.59
ncf_8_16_2_d.1	SAT	0.65
ncf_4_8_4_u.4	UNSAT	0.66
ncf_8_16_8_u.1	SAT	0.69
ncf_8_16_8_edau.1	SAT	0.69
ncf_4_16_2_d.7	SAT	0.71
ncf_4_16_2_euad.7	SAT	0.73
ncf_8_16_2_edau.5	UNSAT	0.76
ncf_4_8_4_edau.6	SAT	0.77
ncf_4_16_2_u.7	SAT	0.93
ncf_4_16_2_edau.7	SAT	0.93
ncf_4_16_2_euad.4	SAT	1.05
ncf_4_8_8_euad.8	SAT	1.17
ncf_4_8_4_euad.3	UNSAT	1.24
ncf_4_8_4_d.6	SAT	1.26
ncf_8_16_4_d.1	UNSAT	1.42
ncf_8_16_4_euad.1	UNSAT	1.43
ncf_8_16_4_euad.10	SAT	1.53
ncf_4_8_8_euad.3	SAT	1.57
ncf_4_16_2_u.2	SAT	1.63
ncf_4_8_4_edau.10	SAT	1.64
ncf_16_32_2_u.9	UNSAT	2.15
ncf_4_8_4_edau.8	UNSAT	2.16
ncf_8_16_4_edau.6	UNSAT	2.28
ncf_16_32_2_edau.9	UNSAT	2.38
ncf_4_8_4_d.10	SAT	2.47
ncf_8_16_2_euad.4	SAT	2.63
ncf_4_8_8_u.10	UNSAT	2.92
ncf_8_16_2_d.5	UNSAT	3.04
ncf_4_16_4_euad.1	SAT	3.14
ncf_4_8_4_euad.4	UNSAT	3.23
ncf_4_8_8_euad.10	UNSAT	3.81
ncf_4_8_4_d.8	UNSAT	3.92
ncf_4_16_2_u.4	SAT	3.94
ncf_8_16_4_u.8	UNSAT	4.18
ncf_8_16_4_d.6	UNSAT	4.33
ncf_4_8_8_d.4	SAT	4.91
ncf_4_8_8_u.8	SAT	5.29
ncf_4_8_4_d.3	UNSAT	5.68
ncf_16_32_2_u.7	UNSAT	5.9
ncf_4_8_4_edau.1	SAT	6.33
ncf_16_32_2_edau.7	UNSAT	6.58
ncf_16_32_2_euad.7	UNSAT	6.65
ncf_4_8_4_d.7	UNSAT	6.83
ncf_8_16_4_euad.8	UNSAT	6.92
ncf_4_8_4_d.1	SAT	6.98
ncf_4_8_4_edau.4	UNSAT	7.04
ncf_4_8_4_edau.3	UNSAT	7.44
ncf_16_32_2_d.7	UNSAT	7.47
ncf_4_8_4_d.5	SAT	7.64
ncf_4_16_4_euad.8	SAT	8.38
ncf_8_16_8_d.1	SAT	8.83
ncf_8_16_8_euad.1	SAT	8.86
ncf_4_16_4_euad.9	SAT	9.02
ncf_4_8_8_euad.6	UNSAT	9.12
ncf_4_8_8_edau.6	UNSAT	9.99
ncf_4_8_4_d.4	UNSAT	10.04
ncf_8_16_4_edau.8	UNSAT	10.08
ncf_8_16_4_d.8	UNSAT	11.04
ncf_4_8_8_d.1	SAT	11.17
ncf_4_8_4_edau.5	SAT	11.32
ncf_4_8_8_d.6	UNSAT	11.79
ncf_4_16_4_d.9	SAT	12.92
ncf_8_16_2_euad.10	SAT	13.26
ncf_4_16_4_euad.5	SAT	14.24
ncf_4_8_8_u.6	UNSAT	15.56
ncf_4_16_4_u.9	SAT	15.8
ncf_4_8_4_edau.7	UNSAT	16.48
ncf_4_16_4_edau.9	SAT	16.89
ncf_4_16_2_euad.5	UNSAT	18.27
ncf_8_16_4_d.10	SAT	27.95
ncf_4_16_2_u.5	UNSAT	30.92
ncf_4_8_4_euad.7	UNSAT	33.17
ncf_8_16_2_d.10	SAT	34.02
ncf_8_16_2_u.10	SAT	35.27
ncf_8_16_2_edau.10	SAT	43.62
ncf_4_16_2_d.4	SAT	47.23
ncf_4_16_2_edau.4	SAT	48.88
ncf_4_16_2_d.2	SAT	52.75
ncf_4_8_8_edau.1	SAT	53.97
ncf_4_8_4_u.7	UNSAT	55.24
ncf_4_16_2_edau.2	SAT	58.48
ncf_8_16_2_edau.4	SAT	73.11
ncf_4_16_2_edau.1	UNSAT	95.99
ncf_8_16_2_d.4	SAT	101.29
ncf_4_16_2_d.3	UNSAT	106.28
ncf_4_16_2_edau.3	UNSAT	108.24
ncf_4_16_2_d.1	UNSAT	115.44
ncf_16_32_2_d.9	UNSAT	116.98
ncf_16_32_2_euad.9	UNSAT	117.05
ncf_8_16_4_u.10	SAT	117.71
ncf_8_16_2_u.4	SAT	130.29
ncf_4_16_2_d.10	UNSAT	146.78
ncf_8_16_4_edau.10	SAT	179.19
ncf_4_16_2_edau.10	UNSAT	180.74
ncf_4_16_2_d.8	SAT	188.76
ncf_4_8_8_d.7	SAT	192.37
ncf_4_16_2_edau.8	SAT	249.15
ncf_8_16_8_d.9	UNSAT	272.63
ncf_4_16_2_edau.5	UNSAT	280.98
ncf_4_16_2_d.5	UNSAT	325.94
ncf_4_16_4_d.1	SAT	339.13
ncf_8_16_8_u.8	UNSAT	387.09
ncf_4_8_8_d.8	SAT	392.89
ncf_4_16_4_d.7	SAT	448
ncf_4_8_8_d.10	SAT	505.66
ncf_8_16_8_u.7	UNSAT	604.29
ncf_4_16_4_u.5	SAT	721.9
ncf_4_16_2_euad.10	UNSAT	725.15
ncf_4_8_8_d.2	UNSAT	772.77
ncf_4_16_4_d.8	SAT	793.51
ncf_4_8_8_d.3	SAT	852.54
ncf_4_8_8_d.5	UNSAT	897.49
ncf_16_128_4_edau.6	FAIL	900.48
ncf_8_64_4_u.8	FAIL	900.53
ncf_8_64_8_u.6	FAIL	900.62
ncf_4_32_8_u.2	FAIL	900.68
ncf_16_128_2_d.5	FAIL	900.92
ncf_16_32_4_euad.2	FAIL	900.94
ncf_4_16_8_u.7	FAIL	900.96
ncf_8_64_4_d.6	FAIL	900.97
ncf_16_128_8_u.10	FAIL	900.97
ncf_16_64_2_euad.6	FAIL	900.98
ncf_4_32_8_d.1	FAIL	900.98
ncf_16_128_8_d.3	FAIL	900.98
ncf_16_128_8_u.1	FAIL	900.98
ncf_8_16_8_d.6	FAIL	900.98
ncf_16_128_8_euad.5	FAIL	900.98
ncf_16_128_8_u.6	FAIL	900.98
ncf_16_128_8_edau.5	FAIL	900.98
ncf_16_32_4_u.10	FAIL	900.98
ncf_16_128_8_euad.9	FAIL	900.98
ncf_16_128_8_d.9	FAIL	900.98
ncf_16_64_8_u.3	FAIL	900.98
ncf_8_64_8_euad.3	FAIL	900.99
ncf_16_64_4_u.6	FAIL	900.99
ncf_4_32_8_euad.1	FAIL	900.99
ncf_8_64_4_edau.10	FAIL	900.99
ncf_16_32_4_d.6	FAIL	900.99
ncf_8_32_4_edau.8	FAIL	900.99
ncf_16_128_8_edau.6	FAIL	900.99
ncf_4_32_8_edau.9	FAIL	900.99
ncf_8_32_4_edau.10	FAIL	900.99
ncf_16_32_8_euad.5	FAIL	900.99
ncf_16_128_4_d.6	FAIL	900.99
ncf_16_128_8_d.8	FAIL	900.99
ncf_4_32_8_u.6	FAIL	900.99
ncf_8_16_8_d.8	FAIL	900.99
ncf_16_64_4_edau.9	FAIL	900.99
ncf_16_32_4_d.10	FAIL	900.99
ncf_16_64_8_d.8	FAIL	900.99
ncf_4_16_8_euad.7	FAIL	900.99
ncf_16_64_8_edau.6	FAIL	900.99
ncf_4_16_8_edau.9	FAIL	900.99
ncf_16_128_2_d.8	FAIL	900.99
ncf_16_64_2_d.7	FAIL	900.99
ncf_8_64_8_u.9	FAIL	900.99
ncf_16_128_4_euad.4	FAIL	900.99
ncf_16_64_8_d.3	FAIL	900.99
ncf_16_128_4_euad.9	FAIL	900.99
ncf_4_32_8_euad.6	FAIL	900.99
ncf_8_64_8_d.3	FAIL	900.99
ncf_4_32_4_d.7	FAIL	900.99
ncf_16_32_8_euad.4	FAIL	900.99
ncf_8_16_4_edau.7	FAIL	900.99
ncf_16_128_8_euad.4	FAIL	900.99
ncf_16_128_4_u.1	FAIL	900.99
ncf_8_64_4_edau.5	FAIL	900.99
ncf_16_128_2_edau.6	FAIL	900.99
ncf_16_64_4_euad.9	FAIL	900.99
ncf_16_128_2_edau.5	FAIL	900.99
ncf_16_64_8_euad.5	FAIL	900.99
ncf_16_128_4_euad.6	FAIL	900.99
ncf_8_64_8_d.1	FAIL	900.99
ncf_16_32_8_euad.9	FAIL	900.99
ncf_16_32_8_edau.1	FAIL	900.99
ncf_16_128_8_d.4	FAIL	900.99
ncf_4_32_8_edau.3	FAIL	900.99
ncf_8_16_8_edau.6	FAIL	900.99
ncf_16_128_2_euad.3	FAIL	900.99
ncf_4_32_8_d.7	FAIL	900.99
ncf_16_128_4_u.3	FAIL	900.99
ncf_16_128_4_d.9	FAIL	900.99
ncf_16_32_4_euad.10	FAIL	900.99
ncf_16_128_8_d.2	FAIL	900.99
ncf_16_128_4_d.5	FAIL	900.99
ncf_16_64_8_edau.9	FAIL	900.99
ncf_16_128_8_edau.9	FAIL	900.99
ncf_4_32_2_euad.1	FAIL	900.99
ncf_4_16_8_euad.8	FAIL	900.99
ncf_16_64_4_d.2	FAIL	900.99
ncf_8_64_2_euad.9	FAIL	900.99
ncf_16_128_2_d.2	FAIL	900.99
ncf_4_32_8_u.4	FAIL	900.99
ncf_16_128_8_edau.7	FAIL	900.99
ncf_8_64_8_euad.1	FAIL	900.99
ncf_16_128_8_d.6	FAIL	900.99
ncf_16_128_2_u.3	FAIL	900.99
ncf_16_64_8_d.9	FAIL	900.99
ncf_16_32_8_euad.7	FAIL	900.99
ncf_16_128_8_euad.1	FAIL	900.99
ncf_16_32_8_u.8	FAIL	900.99
ncf_4_32_8_euad.9	FAIL	900.99
ncf_16_128_4_u.10	FAIL	900.99
ncf_4_16_8_euad.6	FAIL	900.99
ncf_16_32_2_d.8	FAIL	900.99
ncf_8_64_8_u.4	FAIL	900.99
ncf_16_64_8_d.10	FAIL	900.99
ncf_8_64_8_u.3	FAIL	900.99
ncf_4_32_8_u.3	FAIL	900.99
ncf_16_64_4_euad.8	FAIL	900.99
ncf_16_64_4_euad.2	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_d.2	FAIL	900.99
ncf_8_32_4_edau.9	FAIL	900.99
ncf_16_128_2_d.3	FAIL	900.99
ncf_8_64_2_edau.9	FAIL	900.99
ncf_16_128_8_edau.2	FAIL	900.99
ncf_4_16_8_euad.4	FAIL	900.99
ncf_8_64_2_edau.3	FAIL	900.99
ncf_16_64_8_edau.10	FAIL	900.99
ncf_8_64_8_euad.8	FAIL	900.99
ncf_16_64_4_u.8	FAIL	900.99
ncf_8_32_2_edau.7	FAIL	900.99
ncf_4_32_4_u.3	FAIL	900.99
ncf_8_64_4_d.5	FAIL	900.99
ncf_16_128_4_d.2	FAIL	900.99
ncf_8_64_8_edau.3	FAIL	900.99
ncf_4_16_4_euad.6	FAIL	900.99
ncf_16_64_4_u.10	FAIL	900.99
ncf_4_32_4_u.1	FAIL	900.99
ncf_16_64_8_u.5	FAIL	900.99
ncf_16_128_8_u.9	FAIL	900.99
ncf_8_64_8_u.10	FAIL	901
ncf_16_64_8_euad.10	FAIL	901
ncf_16_128_4_edau.8	FAIL	901
ncf_8_32_2_edau.9	FAIL	901
ncf_16_64_8_edau.5	FAIL	901
ncf_4_32_4_d.1	FAIL	901
ncf_8_32_8_edau.3	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_16_32_4_edau.6	FAIL	901
ncf_16_32_8_edau.8	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.7	FAIL	901
ncf_8_32_2_d.8	FAIL	901
ncf_8_16_8_u.6	FAIL	901
ncf_16_64_4_euad.3	FAIL	901
ncf_8_32_8_euad.8	FAIL	901
ncf_16_64_8_euad.8	FAIL	901
ncf_8_16_4_u.7	FAIL	901
ncf_16_64_8_euad.9	FAIL	901
ncf_16_32_2_d.5	FAIL	901
ncf_16_64_8_edau.7	FAIL	901
ncf_16_32_2_euad.5	FAIL	901
ncf_8_64_2_u.6	FAIL	901
ncf_8_16_8_euad.6	FAIL	901
ncf_8_32_8_euad.6	FAIL	901
ncf_8_64_2_u.10	FAIL	901
ncf_4_32_2_edau.7	FAIL	901
ncf_16_32_2_euad.2	FAIL	901
ncf_8_32_2_edau.4	FAIL	901
ncf_8_32_8_euad.10	FAIL	901
ncf_16_32_2_edau.10	FAIL	901
ncf_16_64_2_euad.8	FAIL	901
ncf_4_32_4_edau.2	FAIL	901
ncf_16_128_2_u.7	FAIL	901
ncf_16_32_8_u.7	FAIL	901
ncf_8_16_4_d.3	FAIL	901
ncf_8_32_2_euad.4	FAIL	901
ncf_8_32_2_euad.9	FAIL	901
ncf_16_128_8_euad.7	FAIL	901
ncf_16_32_2_u.4	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_8_64_2_u.8	FAIL	901
ncf_16_128_2_edau.3	FAIL	901
ncf_16_32_8_edau.10	FAIL	901
ncf_16_128_8_euad.8	FAIL	901
ncf_4_16_4_d.5	FAIL	901
ncf_16_32_8_edau.9	FAIL	901
ncf_8_64_2_edau.6	FAIL	901
ncf_4_32_4_u.7	FAIL	901
ncf_8_64_4_u.6	FAIL	901
ncf_16_128_2_u.9	FAIL	901
ncf_16_128_2_u.2	FAIL	901
ncf_16_128_8_edau.8	FAIL	901
ncf_4_8_8_u.7	FAIL	901
ncf_8_32_2_euad.6	FAIL	901
ncf_16_32_8_edau.7	FAIL	901
ncf_16_32_4_edau.5	FAIL	901
ncf_4_32_2_u.9	FAIL	901
ncf_16_32_4_euad.7	FAIL	901
ncf_8_64_4_d.3	FAIL	901
ncf_16_32_4_euad.1	FAIL	901
ncf_4_8_8_edau.10	FAIL	901
ncf_8_16_8_euad.3	FAIL	901
ncf_16_64_4_edau.4	FAIL	901
ncf_8_32_8_d.7	FAIL	901
ncf_8_32_4_u.2	FAIL	901
ncf_8_16_8_euad.10	FAIL	901
ncf_8_64_2_d.6	FAIL	901
ncf_8_16_4_euad.9	FAIL	901
ncf_8_16_8_euad.4	FAIL	901
ncf_16_64_8_u.8	FAIL	901
ncf_8_32_4_edau.2	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_16_64_4_d.10	FAIL	901
ncf_8_16_8_edau.7	FAIL	901
ncf_8_64_4_edau.6	FAIL	901
ncf_4_32_8_u.1	FAIL	901
ncf_4_32_8_edau.7	FAIL	901
ncf_8_32_2_u.4	FAIL	901
ncf_16_128_8_u.8	FAIL	901
ncf_4_16_8_d.3	FAIL	901
ncf_4_32_4_edau.9	FAIL	901
ncf_8_16_8_edau.9	FAIL	901
ncf_8_32_2_euad.10	FAIL	901
ncf_16_128_4_edau.10	FAIL	901
ncf_4_32_4_euad.5	FAIL	901
ncf_4_16_4_u.3	FAIL	901
ncf_4_32_8_euad.7	FAIL	901
ncf_8_32_8_edau.9	FAIL	901
ncf_8_64_4_euad.1	FAIL	901
ncf_8_16_8_d.4	FAIL	901
ncf_16_32_8_euad.6	FAIL	901
ncf_16_64_8_euad.7	FAIL	901
ncf_16_32_2_u.8	FAIL	901
ncf_8_32_2_u.3	FAIL	901
ncf_16_32_2_edau.2	FAIL	901
ncf_16_32_2_edau.4	FAIL	901
ncf_16_32_8_d.3	FAIL	901
ncf_8_32_2_euad.7	FAIL	901
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_16_32_4_d.2	FAIL	901
ncf_16_32_8_u.3	FAIL	901
ncf_8_32_4_edau.5	FAIL	901
ncf_8_32_8_euad.1	FAIL	901
ncf_8_16_8_d.3	FAIL	901
ncf_8_64_2_d.2	FAIL	901
ncf_16_128_2_edau.2	FAIL	901
ncf_8_64_8_d.9	FAIL	901
ncf_4_32_2_edau.1	FAIL	901
ncf_4_32_8_d.5	FAIL	901
ncf_4_16_8_euad.2	FAIL	901
ncf_16_128_4_u.4	FAIL	901
ncf_4_16_4_euad.7	FAIL	901
ncf_16_64_2_edau.5	FAIL	901
ncf_16_32_8_euad.10	FAIL	901
ncf_4_32_4_u.8	FAIL	901
ncf_4_32_4_edau.8	FAIL	901
ncf_4_16_2_u.1	FAIL	901
ncf_4_32_2_edau.3	FAIL	901
ncf_8_32_4_u.10	FAIL	901
ncf_16_32_2_d.3	FAIL	901
ncf_8_32_8_edau.4	FAIL	901
ncf_4_8_8_edau.7	FAIL	901
ncf_4_16_8_u.1	FAIL	901
ncf_8_32_8_u.1	FAIL	901
ncf_16_128_4_euad.8	FAIL	901
ncf_8_64_2_d.3	FAIL	901
ncf_16_32_4_edau.8	FAIL	901
ncf_16_32_8_euad.3	FAIL	901
ncf_16_64_4_edau.6	FAIL	901
ncf_16_128_8_edau.3	FAIL	901
ncf_16_128_4_d.1	FAIL	901
ncf_4_32_8_d.2	FAIL	901
ncf_16_128_4_d.3	FAIL	901
ncf_8_64_4_euad.6	FAIL	901
ncf_16_128_2_euad.10	FAIL	901
ncf_4_32_8_edau.5	FAIL	901
ncf_16_128_4_u.6	FAIL	901
ncf_16_32_4_euad.5	FAIL	901
ncf_16_64_2_u.10	FAIL	901
ncf_8_64_2_u.4	FAIL	901
ncf_8_32_4_u.8	FAIL	901
ncf_8_32_2_euad.1	FAIL	901
ncf_8_32_4_euad.9	FAIL	901
ncf_16_128_2_u.10	FAIL	901
ncf_16_32_4_d.8	FAIL	901
ncf_16_32_2_u.3	FAIL	901
ncf_8_16_4_edau.9	FAIL	901
ncf_4_16_4_d.3	FAIL	901
ncf_16_64_2_u.5	FAIL	901
ncf_16_64_8_d.2	FAIL	901
ncf_16_32_2_edau.5	FAIL	901
ncf_16_128_4_euad.1	FAIL	901
ncf_16_32_2_u.5	FAIL	901
ncf_8_64_2_edau.10	FAIL	901
ncf_16_64_8_euad.6	FAIL	901
ncf_8_16_8_u.9	FAIL	901
ncf_4_32_2_edau.5	FAIL	901
ncf_8_16_4_euad.3	FAIL	901
ncf_16_64_4_euad.1	FAIL	901
ncf_8_32_4_edau.1	FAIL	901
ncf_8_16_8_edau.8	FAIL	901
ncf_4_16_8_u.6	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_16_32_2_edau.1	FAIL	901
ncf_16_64_4_euad.7	FAIL	901
ncf_16_32_8_d.5	FAIL	901
ncf_16_64_2_d.3	FAIL	901
ncf_4_32_8_euad.2	FAIL	901
ncf_4_16_4_euad.4	FAIL	901
ncf_8_64_8_euad.5	FAIL	901
ncf_8_32_8_u.6	FAIL	901
ncf_8_64_8_edau.1	FAIL	901
ncf_16_32_4_d.4	FAIL	901
ncf_4_32_2_u.6	FAIL	901
ncf_8_16_8_euad.2	FAIL	901
ncf_4_8_8_euad.2	FAIL	901
ncf_16_64_8_d.7	FAIL	901
ncf_16_32_8_u.4	FAIL	901
ncf_4_32_2_euad.4	FAIL	901
ncf_8_32_8_euad.4	FAIL	901
ncf_4_32_2_edau.9	FAIL	901
ncf_16_128_2_edau.1	FAIL	901
ncf_4_32_4_edau.3	FAIL	901
ncf_8_32_4_d.4	FAIL	901
ncf_16_64_2_edau.10	FAIL	901
ncf_4_32_4_euad.4	FAIL	901
ncf_16_128_4_u.9	FAIL	901
ncf_8_32_2_u.9	FAIL	901
ncf_8_64_2_euad.2	FAIL	901
ncf_8_32_2_u.1	FAIL	901
ncf_16_64_4_u.5	FAIL	901
ncf_16_64_4_d.6	FAIL	901
ncf_16_32_2_euad.1	FAIL	901
ncf_8_32_2_d.1	FAIL	901
ncf_4_32_4_edau.7	FAIL	901
ncf_8_32_2_d.3	FAIL	901
ncf_16_32_4_euad.6	FAIL	901
ncf_16_64_4_euad.4	FAIL	901
ncf_8_32_8_d.5	FAIL	901
ncf_16_64_2_u.8	FAIL	901
ncf_16_64_2_euad.9	FAIL	901
ncf_8_64_2_d.7	FAIL	901
ncf_16_32_8_d.8	FAIL	901
ncf_16_64_4_u.1	FAIL	901
ncf_16_64_4_edau.7	FAIL	901
ncf_16_128_4_euad.7	FAIL	901
ncf_16_128_2_d.1	FAIL	901
ncf_8_16_8_euad.5	FAIL	901
ncf_4_32_8_d.9	FAIL	901
ncf_8_64_2_euad.8	FAIL	901
ncf_4_32_8_edau.8	FAIL	901
ncf_16_128_2_euad.4	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_64_4_d.1	FAIL	901
ncf_8_32_2_edau.1	FAIL	901
ncf_4_16_8_d.2	FAIL	901
ncf_16_64_4_edau.8	FAIL	901
ncf_4_32_2_d.6	FAIL	901
ncf_8_32_4_d.8	FAIL	901
ncf_4_32_4_edau.10	FAIL	901
ncf_16_64_2_d.2	FAIL	901
ncf_16_128_2_euad.5	FAIL	901
ncf_16_64_8_edau.3	FAIL	901
ncf_16_32_8_u.6	FAIL	901
ncf_16_64_4_d.3	FAIL	901
ncf_4_16_4_u.1	FAIL	901
ncf_4_32_2_u.3	FAIL	901
ncf_4_32_2_edau.2	FAIL	901
ncf_8_32_2_u.5	FAIL	901
ncf_4_16_8_u.5	FAIL	901
ncf_4_32_4_d.10	FAIL	901
ncf_8_64_4_d.9	FAIL	901
ncf_4_32_4_d.8	FAIL	901
ncf_8_64_8_d.10	FAIL	901
ncf_16_128_2_euad.9	FAIL	901
ncf_8_16_8_d.5	FAIL	901
ncf_8_32_4_d.9	FAIL	901
ncf_8_32_2_d.4	FAIL	901
ncf_4_16_8_edau.7	FAIL	901
ncf_16_32_2_d.6	FAIL	901
ncf_8_32_8_d.9	FAIL	901
ncf_16_64_2_edau.4	FAIL	901
ncf_4_16_8_d.6	FAIL	901
ncf_8_32_8_edau.1	FAIL	901
ncf_8_64_4_u.5	FAIL	901
ncf_16_64_2_u.4	FAIL	901
ncf_8_32_8_euad.2	FAIL	901
ncf_8_16_8_euad.9	FAIL	901
ncf_4_16_4_u.4	FAIL	901
ncf_8_32_2_edau.10	FAIL	901
ncf_4_16_4_edau.10	FAIL	901
ncf_16_32_2_euad.3	FAIL	901
ncf_16_128_4_euad.3	FAIL	901
ncf_16_128_2_edau.4	FAIL	901
ncf_4_16_8_edau.3	FAIL	901
ncf_16_128_2_edau.10	FAIL	901
ncf_8_32_4_euad.4	FAIL	901
ncf_4_16_8_edau.10	FAIL	901
ncf_8_32_4_d.6	FAIL	901
ncf_16_64_2_u.6	FAIL	901
ncf_4_32_4_edau.4	FAIL	901
ncf_4_16_2_euad.8	FAIL	901
ncf_16_64_4_d.7	FAIL	901
ncf_8_64_2_d.5	FAIL	901
ncf_16_128_8_u.2	FAIL	901
ncf_8_64_4_euad.4	FAIL	901
ncf_4_16_8_d.7	FAIL	901
ncf_16_64_8_euad.2	FAIL	901
ncf_16_32_4_euad.4	FAIL	901
ncf_4_32_4_u.5	FAIL	901
ncf_16_64_2_euad.4	FAIL	901
ncf_8_32_4_u.4	FAIL	901
ncf_4_32_2_euad.7	FAIL	901
ncf_16_32_8_d.1	FAIL	901
ncf_4_32_4_euad.6	FAIL	901
ncf_4_32_4_euad.7	FAIL	901
ncf_16_64_8_d.1	FAIL	901
ncf_16_128_8_edau.1	FAIL	901
ncf_4_16_2_u.8	FAIL	901
ncf_4_32_4_u.9	FAIL	901
ncf_16_32_8_euad.1	FAIL	901
ncf_8_64_2_u.9	FAIL	901
ncf_16_128_4_edau.9	FAIL	901
ncf_8_64_4_d.4	FAIL	901
ncf_8_64_4_d.10	FAIL	901
ncf_4_32_4_euad.9	FAIL	901
ncf_8_64_8_d.6	FAIL	901
ncf_4_32_4_euad.8	FAIL	901
ncf_8_16_4_edau.3	FAIL	901
ncf_8_64_2_euad.6	FAIL	901
ncf_16_64_2_edau.6	FAIL	901
ncf_16_128_2_edau.7	FAIL	901
ncf_8_32_4_u.7	FAIL	901
ncf_16_32_2_euad.6	FAIL	901
ncf_8_64_8_euad.10	FAIL	901
ncf_4_16_4_edau.5	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_16_64_2_d.8	FAIL	901
ncf_16_32_4_u.5	FAIL	901
ncf_8_32_8_edau.2	FAIL	901
ncf_8_32_2_d.2	FAIL	901
ncf_16_64_2_u.1	FAIL	901
ncf_8_32_2_euad.2	FAIL	901
ncf_4_32_4_edau.6	FAIL	901
ncf_16_32_8_u.2	FAIL	901
ncf_8_64_2_edau.2	FAIL	901
ncf_16_128_4_u.5	FAIL	901
ncf_4_16_8_euad.1	FAIL	901
ncf_8_16_4_euad.7	FAIL	901
ncf_4_32_4_euad.2	FAIL	901
ncf_16_128_8_euad.2	FAIL	901
ncf_4_16_8_edau.4	FAIL	901
ncf_8_32_4_d.2	FAIL	901
ncf_8_64_2_edau.8	FAIL	901
ncf_8_64_8_d.2	FAIL	901
ncf_8_32_4_euad.2	FAIL	901
ncf_4_32_8_u.10	FAIL	901
ncf_16_64_4_edau.1	FAIL	901
ncf_4_16_8_u.2	FAIL	901
ncf_16_64_2_euad.3	FAIL	901
ncf_16_64_2_d.10	FAIL	901
ncf_8_32_4_euad.10	FAIL	901
ncf_8_64_8_edau.7	FAIL	901
ncf_8_64_4_u.7	FAIL	901
ncf_16_64_4_euad.10	FAIL	901
ncf_8_64_4_euad.10	FAIL	901
ncf_4_32_2_d.1	FAIL	901
ncf_16_64_2_u.2	FAIL	901
ncf_8_64_8_edau.2	FAIL	901
ncf_8_64_4_edau.2	FAIL	901
ncf_16_32_4_edau.1	FAIL	901
ncf_8_64_4_d.1	FAIL	901
ncf_8_32_8_d.10	FAIL	901
ncf_4_32_2_u.10	FAIL	901
ncf_16_32_8_d.4	FAIL	901
ncf_16_128_8_euad.6	FAIL	901
ncf_8_32_4_u.5	FAIL	901
ncf_8_16_8_edau.4	FAIL	901
ncf_4_32_8_d.10	FAIL	901
ncf_16_32_8_euad.2	FAIL	901
ncf_4_8_8_euad.7	FAIL	901
ncf_4_32_8_u.8	FAIL	901
ncf_4_32_2_d.10	FAIL	901
ncf_4_32_2_euad.10	FAIL	901
ncf_8_32_2_euad.8	FAIL	901
ncf_8_64_4_euad.9	FAIL	901
ncf_8_32_8_u.3	FAIL	901
ncf_16_32_4_u.1	FAIL	901
ncf_8_64_8_edau.8	FAIL	901
ncf_16_64_2_u.9	FAIL	901
ncf_16_32_4_d.3	FAIL	901
ncf_4_32_8_euad.5	FAIL	901
ncf_4_32_8_u.5	FAIL	901
ncf_16_32_4_edau.9	FAIL	901
ncf_16_128_8_euad.10	FAIL	901
ncf_8_64_2_u.3	FAIL	901
ncf_8_32_2_edau.2	FAIL	901
ncf_4_32_2_u.7	FAIL	901
ncf_8_64_4_euad.5	FAIL	901
ncf_16_32_4_euad.9	FAIL	901
ncf_16_64_8_u.10	FAIL	901
ncf_16_64_2_edau.3	FAIL	901
ncf_4_32_4_u.10	FAIL	901
ncf_4_32_4_u.2	FAIL	901
ncf_8_64_2_euad.5	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_16_32_8_edau.5	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_32_4_u.8	FAIL	901
ncf_4_32_2_edau.4	FAIL	901
ncf_8_32_2_edau.8	FAIL	901
ncf_16_128_8_u.7	FAIL	901
ncf_4_8_8_edau.5	FAIL	901
ncf_4_32_4_euad.1	FAIL	901
ncf_8_32_8_d.4	FAIL	901
ncf_8_64_2_d.8	FAIL	901
ncf_16_128_2_d.10	FAIL	901
ncf_8_64_8_d.7	FAIL	901
ncf_4_16_4_u.10	FAIL	901
ncf_8_32_4_d.5	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_16_32_8_edau.6	FAIL	901
ncf_4_32_8_euad.8	FAIL	901
ncf_16_64_2_edau.8	FAIL	901
ncf_8_64_8_u.8	FAIL	901
ncf_8_64_8_euad.2	FAIL	901
ncf_16_32_2_u.6	FAIL	901
ncf_8_32_4_u.1	FAIL	901
ncf_16_64_8_u.1	FAIL	901
ncf_4_16_2_euad.1	FAIL	901
ncf_8_16_8_u.5	FAIL	901
ncf_16_128_4_euad.5	FAIL	901
ncf_8_64_4_u.2	FAIL	901
ncf_8_32_4_euad.5	FAIL	901
ncf_4_16_4_d.6	FAIL	901
ncf_4_32_2_edau.8	FAIL	901
ncf_8_64_8_euad.4	FAIL	901
ncf_4_32_4_edau.5	FAIL	901
ncf_8_32_4_u.3	FAIL	901
ncf_4_32_4_euad.10	FAIL	901
ncf_16_32_8_edau.3	FAIL	901
ncf_16_32_8_d.10	FAIL	901
ncf_4_16_8_euad.9	FAIL	901
ncf_4_16_8_d.9	FAIL	901
ncf_8_64_2_edau.4	FAIL	901
ncf_4_32_4_d.2	FAIL	901
ncf_16_32_4_edau.4	FAIL	901
ncf_4_16_4_edau.1	FAIL	901
ncf_16_64_4_d.8	FAIL	901
ncf_4_16_8_edau.5	FAIL	901
ncf_8_64_4_d.2	FAIL	901
ncf_16_64_4_edau.3	FAIL	901
ncf_4_32_2_u.2	FAIL	901
ncf_16_64_8_u.6	FAIL	901
ncf_8_32_2_euad.3	FAIL	901
ncf_8_32_2_euad.5	FAIL	901
ncf_16_32_2_euad.4	FAIL	901
ncf_8_64_2_edau.1	FAIL	901
ncf_4_16_8_u.3	FAIL	901
ncf_8_64_8_d.4	FAIL	901
ncf_16_32_4_edau.2	FAIL	901
ncf_16_128_4_euad.2	FAIL	901
ncf_4_16_4_d.4	FAIL	901
ncf_16_32_4_u.9	FAIL	901
ncf_8_32_4_euad.6	FAIL	901
ncf_16_128_2_u.8	FAIL	901
ncf_16_64_2_d.4	FAIL	901
ncf_16_128_2_euad.8	FAIL	901
ncf_16_128_8_u.3	FAIL	901
ncf_4_16_8_edau.1	FAIL	901
ncf_16_128_8_d.10	FAIL	901
ncf_16_64_2_d.5	FAIL	901
ncf_16_64_8_edau.8	FAIL	901
ncf_8_64_4_edau.1	FAIL	901
ncf_16_128_8_d.7	FAIL	901
ncf_16_128_4_edau.3	FAIL	901
ncf_16_64_8_euad.1	FAIL	901
ncf_8_32_8_d.8	FAIL	901
ncf_4_16_4_u.6	FAIL	901
ncf_16_64_2_edau.7	FAIL	901
ncf_8_32_8_u.5	FAIL	901
ncf_4_32_2_euad.9	FAIL	901
ncf_4_8_8_u.2	FAIL	901
ncf_4_16_4_euad.3	FAIL	901
ncf_8_32_8_edau.7	FAIL	901
ncf_8_64_2_euad.1	FAIL	901
ncf_8_32_4_u.6	FAIL	901
ncf_16_32_2_u.1	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_16_128_2_d.6	FAIL	901
ncf_16_32_4_edau.3	FAIL	901
ncf_4_16_2_euad.3	FAIL	901
ncf_4_32_2_d.8	FAIL	901
ncf_8_16_4_u.9	FAIL	901
ncf_8_64_8_d.8	FAIL	901
ncf_8_64_4_u.9	FAIL	901
ncf_8_16_8_d.2	FAIL	901
ncf_16_64_4_d.4	FAIL	901
ncf_16_32_2_d.10	FAIL	901
ncf_8_32_4_edau.4	FAIL	901
ncf_4_32_2_u.5	FAIL	901
ncf_16_128_2_u.1	FAIL	901
ncf_16_64_2_d.9	FAIL	901
ncf_8_16_8_u.3	FAIL	901
ncf_8_16_8_edau.3	FAIL	901
ncf_8_16_4_edau.4	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_8_64_2_edau.7	FAIL	901.01
ncf_16_64_4_edau.2	FAIL	901.01
ncf_8_32_8_d.3	FAIL	901.01
ncf_8_16_4_u.4	FAIL	901.01
ncf_4_16_2_u.3	FAIL	901.01
ncf_8_16_8_edau.2	FAIL	901.01
ncf_8_32_8_u.2	FAIL	901.01
ncf_16_64_4_u.7	FAIL	901.01
ncf_4_32_2_d.3	FAIL	901.01
ncf_4_32_8_d.3	FAIL	901.01
ncf_16_64_8_d.6	FAIL	901.01
ncf_16_128_4_edau.1	FAIL	901.01
ncf_16_128_4_edau.4	FAIL	901.01
ncf_8_32_8_edau.6	FAIL	901.01
ncf_4_32_4_u.4	FAIL	901.01
ncf_16_32_4_u.6	FAIL	901.01
ncf_4_16_8_u.8	FAIL	901.01
ncf_4_32_2_d.9	FAIL	901.01
ncf_16_32_4_euad.3	FAIL	901.01
ncf_16_32_4_u.2	FAIL	901.01
ncf_16_32_2_euad.10	FAIL	901.01
ncf_4_16_4_edau.3	FAIL	901.01
ncf_4_16_4_edau.2	FAIL	901.01
ncf_4_32_2_u.4	FAIL	901.01
ncf_16_32_8_u.1	FAIL	901.01
ncf_8_32_4_d.1	FAIL	901.01
ncf_8_32_8_edau.5	FAIL	901.01
ncf_16_128_4_u.7	FAIL	901.01
ncf_16_64_8_u.4	FAIL	901.01
ncf_8_32_8_euad.3	FAIL	901.01
ncf_16_128_2_u.5	FAIL	901.01
ncf_4_32_8_u.7	FAIL	901.01
ncf_16_32_8_u.9	FAIL	901.01
ncf_16_32_4_d.5	FAIL	901.01
ncf_8_64_8_u.5	FAIL	901.01
ncf_4_32_4_euad.3	FAIL	901.01
ncf_8_32_8_euad.5	FAIL	901.01
ncf_8_64_2_d.4	FAIL	901.01
ncf_16_64_8_euad.4	FAIL	901.01
ncf_8_64_8_euad.9	FAIL	901.01
ncf_16_128_2_euad.7	FAIL	901.01
ncf_8_64_4_edau.8	FAIL	901.01
ncf_8_64_8_edau.9	FAIL	901.01
ncf_4_16_8_euad.10	FAIL	901.01
ncf_4_32_2_edau.6	FAIL	901.01
ncf_16_32_4_d.1	FAIL	901.01
ncf_16_32_4_u.7	FAIL	901.01
ncf_16_32_4_edau.7	FAIL	901.01
ncf_8_32_4_d.10	FAIL	901.01
ncf_16_128_8_d.1	FAIL	901.01
ncf_4_16_4_d.2	FAIL	901.01
ncf_4_32_2_euad.5	FAIL	901.01
ncf_16_128_2_u.6	FAIL	901.01
ncf_16_32_2_d.1	FAIL	901.01
ncf_8_32_8_d.1	FAIL	901.01
ncf_8_32_2_d.10	FAIL	901.01
ncf_4_16_8_edau.2	FAIL	901.01
ncf_16_64_8_edau.1	FAIL	901.01
ncf_4_32_2_u.8	FAIL	901.01
ncf_16_32_4_u.3	FAIL	901.01
ncf_8_32_4_euad.8	FAIL	901.01
ncf_8_16_8_u.2	FAIL	901.01
ncf_16_32_8_edau.4	FAIL	901.01
ncf_4_32_8_euad.10	FAIL	901.01
ncf_8_64_2_u.5	FAIL	901.01
ncf_4_8_8_u.5	FAIL	901.01
ncf_8_16_8_u.4	FAIL	901.01
ncf_16_64_4_u.3	FAIL	901.01
ncf_8_32_8_edau.8	FAIL	901.01
ncf_16_64_4_edau.10	FAIL	901.01
ncf_16_128_4_edau.7	FAIL	901.01
ncf_16_64_2_euad.2	FAIL	901.01
ncf_8_16_4_euad.4	FAIL	901.01
ncf_4_16_2_u.10	FAIL	901.01
ncf_4_16_4_edau.6	FAIL	901.01
ncf_8_64_8_u.7	FAIL	901.01
ncf_8_64_2_euad.3	FAIL	901.01
ncf_4_16_8_d.10	FAIL	901.01
ncf_16_64_2_d.1	FAIL	901.01
ncf_8_64_8_d.5	FAIL	901.01
ncf_4_16_4_u.8	FAIL	901.01
ncf_4_8_8_edau.8	FAIL	901.01
ncf_4_32_4_edau.1	FAIL	901.01
ncf_4_16_4_u.7	FAIL	901.01
ncf_8_32_2_d.9	FAIL	901.01
ncf_16_128_2_edau.8	FAIL	901.01
ncf_8_32_8_u.9	FAIL	901.01
ncf_16_32_2_edau.3	FAIL	901.01
ncf_8_64_4_edau.4	FAIL	901.01
ncf_4_16_4_edau.8	FAIL	901.01
ncf_8_16_4_d.4	FAIL	901.01
ncf_16_128_4_edau.5	FAIL	901.01
ncf_16_64_4_d.5	FAIL	901.01
ncf_8_64_4_u.10	FAIL	901.01
ncf_16_128_4_u.2	FAIL	901.01
ncf_8_16_8_euad.8	FAIL	901.01
ncf_8_64_8_edau.10	FAIL	901.01
ncf_4_8_8_edau.2	FAIL	901.01
ncf_16_32_4_d.9	FAIL	901.01
ncf_16_32_8_u.5	FAIL	901.01
ncf_8_32_8_d.6	FAIL	901.01
ncf_16_128_4_edau.2	FAIL	901.01
ncf_8_64_8_edau.5	FAIL	901.01
ncf_8_32_4_euad.7	FAIL	901.01
ncf_4_16_8_d.8	FAIL	901.01
ncf_16_128_4_d.4	FAIL	901.01
ncf_16_128_8_edau.4	FAIL	901.01
ncf_4_32_8_u.9	FAIL	901.01
ncf_8_16_8_d.10	FAIL	901.01
ncf_8_64_8_u.2	FAIL	901.01
ncf_8_64_2_d.9	FAIL	901.01
ncf_4_32_4_d.4	FAIL	901.01
ncf_16_32_8_d.7	FAIL	901.01
ncf_4_16_8_d.1	FAIL	901.01
ncf_8_64_2_d.10	FAIL	901.01
ncf_8_32_2_d.7	FAIL	901.01
ncf_16_64_2_u.7	FAIL	901.01
ncf_8_32_2_d.6	FAIL	901.01
ncf_8_64_4_d.8	FAIL	901.01
ncf_8_32_8_u.10	FAIL	901.01
ncf_4_32_8_d.6	FAIL	901.01
ncf_16_64_4_euad.5	FAIL	901.01
ncf_16_64_8_d.5	FAIL	901.01
ncf_4_16_4_edau.7	FAIL	901.01
ncf_8_64_4_d.7	FAIL	901.01
ncf_4_32_8_edau.1	FAIL	901.01
ncf_16_128_2_euad.2	FAIL	901.01
ncf_8_16_8_u.10	FAIL	901.01
ncf_8_64_8_edau.4	FAIL	901.01
ncf_4_32_4_d.3	FAIL	901.01
ncf_4_32_4_u.6	FAIL	901.01
ncf_16_64_2_edau.1	FAIL	901.01
ncf_8_64_8_u.1	FAIL	901.01
ncf_4_16_8_euad.5	FAIL	901.01
ncf_16_64_4_edau.5	FAIL	901.01
ncf_8_64_2_euad.4	FAIL	901.01
ncf_4_32_2_u.1	FAIL	901.01
ncf_16_32_8_d.6	FAIL	901.01
ncf_8_64_4_edau.3	FAIL	901.01
ncf_16_64_4_euad.6	FAIL	901.01
ncf_8_16_8_euad.7	FAIL	901.01
ncf_4_32_8_edau.4	FAIL	901.01
ncf_16_64_2_euad.1	FAIL	901.01
ncf_16_32_4_u.4	FAIL	901.01
ncf_16_32_2_edau.6	FAIL	901.01
ncf_8_32_8_u.7	FAIL	901.01
ncf_4_16_8_d.5	FAIL	901.01
ncf_8_32_2_u.8	FAIL	901.01
ncf_4_32_2_euad.2	FAIL	901.01
ncf_8_64_8_euad.7	FAIL	901.01
ncf_8_32_2_u.10	FAIL	901.01
ncf_16_128_8_d.5	FAIL	901.01
ncf_4_32_8_edau.10	FAIL	901.01
ncf_16_64_4_u.2	FAIL	901.01
ncf_16_64_2_euad.10	FAIL	901.01
ncf_8_32_4_edau.7	FAIL	901.01
ncf_16_32_2_d.2	FAIL	901.01
ncf_16_64_2_d.6	FAIL	901.01
ncf_16_128_4_d.8	FAIL	901.01
ncf_8_64_4_u.1	FAIL	901.01
ncf_8_16_8_edau.10	FAIL	901.01
ncf_8_64_2_u.1	FAIL	901.01
ncf_16_128_8_euad.3	FAIL	901.01
ncf_4_16_4_d.10	FAIL	901.01
ncf_16_128_2_euad.6	FAIL	901.01
ncf_8_16_4_d.7	FAIL	901.01
ncf_16_32_2_edau.8	FAIL	901.01
ncf_4_16_8_d.4	FAIL	901.01
ncf_8_64_2_euad.7	FAIL	901.01
ncf_16_32_2_u.2	FAIL	901.01
ncf_16_32_4_euad.8	FAIL	901.01
ncf_8_64_8_edau.6	FAIL	901.01
ncf_4_16_4_u.2	FAIL	901.01
ncf_8_32_2_u.6	FAIL	901.01
ncf_16_32_8_d.9	FAIL	901.01
ncf_16_64_2_u.3	FAIL	901.01
ncf_8_16_8_d.7	FAIL	901.01
ncf_16_32_4_edau.10	FAIL	901.01
ncf_16_64_8_edau.2	FAIL	901.01
ncf_4_8_8_edau.3	FAIL	901.01
ncf_4_8_8_u.3	FAIL	901.01
ncf_16_32_2_euad.8	FAIL	901.01
ncf_4_32_8_edau.2	FAIL	901.01
ncf_16_64_4_u.4	FAIL	901.01
ncf_8_32_8_u.8	FAIL	901.01
ncf_8_32_4_euad.1	FAIL	901.01
ncf_8_64_4_u.4	FAIL	901.01
ncf_8_32_8_edau.10	FAIL	901.01
ncf_4_32_4_d.5	FAIL	901.01
ncf_4_16_8_u.10	FAIL	901.01
ncf_8_64_2_u.2	FAIL	901.01
ncf_16_64_2_edau.2	FAIL	901.01
ncf_8_32_2_d.5	FAIL	901.01
ncf_16_64_8_edau.4	FAIL	901.01
ncf_4_32_4_d.6	FAIL	901.01
ncf_8_32_2_edau.3	FAIL	901.01
ncf_4_16_8_edau.8	FAIL	901.01
ncf_8_64_4_u.3	FAIL	901.01
ncf_16_32_2_u.10	FAIL	901.01
ncf_8_64_8_euad.6	FAIL	901.01
ncf_16_64_8_euad.3	FAIL	901.01
ncf_16_64_4_u.9	FAIL	901.01
ncf_16_64_2_euad.5	FAIL	901.01
ncf_8_32_2_edau.5	FAIL	901.01
ncf_8_64_2_edau.5	FAIL	901.01
ncf_4_16_8_u.9	FAIL	901.02
ncf_16_64_8_d.4	FAIL	901.02
ncf_16_32_2_d.4	FAIL	901.02
ncf_4_32_2_d.7	FAIL	901.02
ncf_4_16_4_euad.10	FAIL	901.02
ncf_4_32_2_euad.3	FAIL	901.02
ncf_8_32_8_euad.9	FAIL	901.02
ncf_8_16_4_d.9	FAIL	901.02
ncf_4_32_2_edau.10	FAIL	901.02
ncf_8_64_2_d.1	FAIL	901.02
ncf_16_32_8_edau.2	FAIL	901.02
ncf_8_64_4_euad.7	FAIL	901.02
ncf_8_64_4_euad.3	FAIL	901.02
ncf_8_32_8_euad.7	FAIL	901.02
ncf_8_64_4_edau.9	FAIL	901.02
ncf_8_16_8_edau.5	FAIL	901.02
ncf_16_64_8_u.7	FAIL	901.02
ncf_4_32_2_d.2	FAIL	901.02
ncf_16_128_2_euad.1	FAIL	901.02
ncf_16_128_2_d.4	FAIL	901.02
ncf_4_32_2_d.5	FAIL	901.02
ncf_8_32_2_edau.6	FAIL	901.02
ncf_8_32_2_u.2	FAIL	901.02
ncf_4_16_8_u.4	FAIL	901.02
ncf_4_16_4_euad.2	FAIL	901.02
ncf_8_32_4_edau.6	FAIL	901.02
ncf_8_64_2_u.7	FAIL	901.02

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by QbflHR
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by QbflHR QBFEVAL'05

Instances of family CounterFactual solved by QbflHR
QBFEVAL'05