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

Instances of family CounterFactual solved by openQbf
QBFEVAL'05

Instance	Result	Time
ncf_4_8_4_edau.9	SAT	0.16
ncf_4_8_2_u.1	UNSAT	0.17
ncf_4_8_2_d.1	UNSAT	0.19
ncf_8_16_2_d.3	UNSAT	0.19
ncf_4_8_2_euad.1	UNSAT	0.19
ncf_4_8_2_edau.4	UNSAT	0.2
ncf_4_8_2_d.3	UNSAT	0.2
ncf_4_8_2_euad.3	UNSAT	0.2
ncf_4_8_2_edau.1	UNSAT	0.2
ncf_8_16_2_euad.8	UNSAT	0.2
ncf_4_8_2_edau.3	UNSAT	0.2
ncf_4_8_4_u.9	SAT	0.21
ncf_4_8_2_u.4	UNSAT	0.21
ncf_4_8_4_d.9	SAT	0.21
ncf_4_8_2_u.5	SAT	0.21
ncf_8_16_2_edau.9	UNSAT	0.22
ncf_8_16_2_edau.3	UNSAT	0.22
ncf_8_16_2_euad.3	UNSAT	0.22
ncf_4_8_4_d.7	UNSAT	0.22
ncf_4_8_4_euad.7	UNSAT	0.22
ncf_4_8_2_euad.4	UNSAT	0.22
ncf_8_16_2_d.9	UNSAT	0.22
ncf_8_16_2_u.8	UNSAT	0.23
ncf_8_16_2_edau.2	UNSAT	0.23
ncf_8_16_2_d.8	UNSAT	0.23
ncf_8_16_2_u.3	UNSAT	0.23
ncf_8_16_2_d.2	UNSAT	0.23
ncf_8_16_2_euad.9	UNSAT	0.23
ncf_8_16_2_euad.7	SAT	0.23
ncf_8_16_4_u.2	UNSAT	0.24
ncf_16_32_2_d.9	UNSAT	0.24
ncf_4_8_8_d.9	UNSAT	0.24
ncf_4_8_4_euad.9	SAT	0.24
ncf_8_16_2_edau.8	UNSAT	0.24
ncf_4_8_2_edau.5	SAT	0.25
ncf_4_8_4_edau.7	UNSAT	0.25
ncf_4_8_2_d.5	SAT	0.25
ncf_16_32_2_d.7	UNSAT	0.25
ncf_4_8_2_euad.8	SAT	0.26
ncf_8_16_4_edau.5	UNSAT	0.26
ncf_4_8_8_edau.9	UNSAT	0.26
ncf_4_8_2_euad.7	UNSAT	0.26
ncf_16_32_2_u.9	UNSAT	0.26
ncf_4_8_2_d.4	UNSAT	0.26
ncf_4_8_2_euad.9	SAT	0.26
ncf_16_32_2_euad.7	UNSAT	0.26
ncf_16_32_2_euad.9	UNSAT	0.26
ncf_8_16_4_d.2	UNSAT	0.26
ncf_8_16_2_u.2	UNSAT	0.27
ncf_8_16_2_euad.2	UNSAT	0.27
ncf_8_16_4_edau.2	UNSAT	0.27
ncf_8_16_4_u.5	UNSAT	0.27
ncf_4_8_2_euad.5	SAT	0.27
ncf_16_32_2_edau.2	UNSAT	0.27
ncf_8_16_2_u.9	UNSAT	0.27
ncf_8_16_4_euad.2	UNSAT	0.27
ncf_16_32_2_edau.7	UNSAT	0.28
ncf_4_8_8_d.5	UNSAT	0.28
ncf_4_8_8_u.9	UNSAT	0.28
ncf_8_16_4_euad.6	UNSAT	0.28
ncf_8_16_4_d.5	UNSAT	0.28
ncf_4_8_2_u.3	UNSAT	0.28
ncf_8_16_4_euad.5	UNSAT	0.28
ncf_8_16_4_euad.8	UNSAT	0.28
ncf_8_16_2_edau.7	SAT	0.29
ncf_16_32_2_edau.9	UNSAT	0.29
ncf_16_32_2_d.2	UNSAT	0.29
ncf_4_8_2_euad.10	SAT	0.29
ncf_4_8_2_u.9	SAT	0.3
ncf_8_16_4_d.8	UNSAT	0.3
ncf_4_8_4_u.7	UNSAT	0.3
ncf_8_16_2_u.7	SAT	0.3
ncf_4_8_2_d.7	UNSAT	0.3
ncf_8_16_4_u.8	UNSAT	0.3
ncf_8_16_2_d.7	SAT	0.31
ncf_4_8_8_euad.9	UNSAT	0.32
ncf_8_16_4_edau.8	UNSAT	0.32
ncf_16_32_2_u.7	UNSAT	0.33
ncf_4_8_2_u.10	SAT	0.34
ncf_4_8_2_u.8	SAT	0.34
ncf_8_16_2_edau.6	UNSAT	0.34
ncf_4_8_8_euad.5	UNSAT	0.34
ncf_4_8_4_euad.2	UNSAT	0.34
ncf_16_32_2_euad.2	UNSAT	0.34
ncf_16_32_2_edau.4	UNSAT	0.35
ncf_4_8_4_u.2	UNSAT	0.37
ncf_4_32_2_euad.1	UNSAT	0.37
ncf_4_8_2_u.7	UNSAT	0.37
ncf_4_8_2_edau.7	UNSAT	0.38
ncf_4_8_4_edau.3	UNSAT	0.39
ncf_8_16_2_u.6	UNSAT	0.4
ncf_8_16_4_edau.6	UNSAT	0.4
ncf_16_32_4_d.4	UNSAT	0.41
ncf_4_8_4_u.8	UNSAT	0.41
ncf_16_32_4_euad.7	UNSAT	0.41
ncf_4_8_4_edau.2	UNSAT	0.42
ncf_4_8_4_d.2	UNSAT	0.42
ncf_16_32_4_euad.4	UNSAT	0.43
ncf_4_8_4_edau.4	UNSAT	0.43
ncf_4_8_2_euad.2	SAT	0.43
ncf_4_8_4_u.3	UNSAT	0.44
ncf_4_8_4_euad.8	UNSAT	0.44
ncf_4_8_2_d.8	SAT	0.45
ncf_8_16_4_u.6	UNSAT	0.45
ncf_4_8_2_d.2	SAT	0.45
ncf_16_32_2_d.4	UNSAT	0.45
ncf_4_8_8_u.5	UNSAT	0.45
ncf_4_8_8_u.4	SAT	0.46
ncf_4_8_2_d.10	SAT	0.46
ncf_4_8_2_euad.6	SAT	0.46
ncf_4_8_2_edau.8	SAT	0.48
ncf_4_8_4_edau.8	UNSAT	0.49
ncf_4_8_4_euad.3	UNSAT	0.5
ncf_8_16_8_euad.6	UNSAT	0.5
ncf_4_8_2_edau.10	SAT	0.51
ncf_4_8_8_edau.5	UNSAT	0.51
ncf_4_8_4_d.3	UNSAT	0.51
ncf_4_8_8_euad.4	SAT	0.51
ncf_8_16_2_d.6	UNSAT	0.53
ncf_8_16_8_edau.6	UNSAT	0.56
ncf_8_16_8_d.6	UNSAT	0.61
ncf_8_16_4_d.6	UNSAT	0.63
ncf_4_8_4_d.8	UNSAT	0.64
ncf_16_32_4_edau.4	UNSAT	0.66
ncf_4_16_2_d.9	SAT	0.66
ncf_8_16_2_euad.6	UNSAT	0.68
ncf_16_32_2_euad.4	UNSAT	0.68
ncf_16_32_4_u.7	UNSAT	0.68
ncf_4_8_2_u.6	SAT	0.69
ncf_4_8_2_edau.2	SAT	0.69
ncf_4_16_2_edau.9	SAT	0.69
ncf_16_32_4_edau.7	UNSAT	0.69
ncf_4_8_2_u.2	SAT	0.7
ncf_4_8_2_d.9	SAT	0.76
ncf_4_8_4_u.4	UNSAT	0.77
ncf_16_32_4_d.7	UNSAT	0.8
ncf_4_16_2_u.9	SAT	0.8
ncf_4_8_4_euad.6	SAT	0.81
ncf_4_16_2_euad.9	SAT	0.9
ncf_4_8_4_u.6	SAT	0.95
ncf_4_8_2_edau.9	SAT	1.03
ncf_4_16_2_euad.6	SAT	1.04
ncf_4_8_8_edau.4	SAT	1.1
ncf_8_32_8_d.3	UNSAT	1.12
ncf_4_8_2_edau.6	SAT	1.12
ncf_4_8_4_euad.4	UNSAT	1.13
ncf_8_16_8_u.6	UNSAT	1.16
ncf_4_16_2_u.6	SAT	1.25
ncf_4_8_4_d.4	UNSAT	1.27
ncf_4_16_2_d.6	SAT	1.37
ncf_4_8_4_euad.5	SAT	1.39
ncf_4_8_2_d.6	SAT	1.52
ncf_4_16_2_edau.6	SAT	1.55
ncf_4_16_2_d.10	UNSAT	1.56
ncf_4_16_2_edau.10	UNSAT	1.6
ncf_4_16_2_euad.10	UNSAT	1.65
ncf_4_16_4_u.9	SAT	1.97
ncf_8_16_2_euad.5	UNSAT	2.1
ncf_8_16_2_u.5	UNSAT	2.18
ncf_4_32_2_d.1	UNSAT	2.24
ncf_4_8_4_euad.10	SAT	2.32
ncf_4_8_4_u.5	SAT	2.36
ncf_4_8_8_u.1	SAT	2.66
ncf_4_8_8_euad.1	SAT	2.76
ncf_4_8_4_u.1	SAT	2.8
ncf_4_8_4_edau.6	SAT	2.81
ncf_4_16_2_u.10	UNSAT	2.87
ncf_16_32_8_edau.8	UNSAT	2.89
ncf_16_32_8_d.8	UNSAT	2.97
ncf_8_16_4_u.1	SAT	2.97
ncf_8_16_4_edau.1	SAT	2.98
ncf_8_16_2_d.5	UNSAT	3.14
ncf_4_8_4_u.10	SAT	3.25
ncf_8_16_2_edau.1	SAT	3.4
ncf_8_16_8_edau.1	SAT	3.76
ncf_8_16_8_u.1	SAT	3.79
ncf_4_16_2_euad.5	UNSAT	4.28
ncf_8_16_2_d.1	SAT	4.3
ncf_4_16_2_edau.7	SAT	4.62
ncf_4_16_4_euad.9	SAT	4.81
ncf_8_16_2_edau.5	UNSAT	4.88
ncf_8_16_8_euad.1	SAT	5.25
ncf_8_16_8_d.1	SAT	5.29
ncf_4_16_2_euad.2	SAT	5.29
ncf_4_8_4_d.6	SAT	5.58
ncf_8_16_4_euad.10	SAT	5.84
ncf_4_16_2_d.5	UNSAT	6.15
ncf_4_16_2_u.7	SAT	6.18
ncf_16_32_8_euad.8	UNSAT	6.28
ncf_4_8_4_euad.1	SAT	7.11
ncf_16_32_4_euad.5	UNSAT	7.15
ncf_8_16_4_d.1	SAT	7.23
ncf_8_16_4_euad.1	SAT	7.32
ncf_4_8_4_edau.10	SAT	7.48
ncf_8_16_2_u.1	SAT	7.52
ncf_4_16_2_d.7	SAT	7.92
ncf_4_8_8_euad.3	SAT	8.2
ncf_8_32_8_edau.3	UNSAT	8.93
ncf_16_32_2_edau.8	UNSAT	9.36
ncf_4_8_8_euad.8	SAT	9.58
ncf_4_16_2_u.2	SAT	9.96
ncf_4_8_8_d.4	SAT	10.04
ncf_16_32_2_u.2	UNSAT	11.11
ncf_4_8_4_edau.1	SAT	11.63
ncf_16_32_2_euad.8	UNSAT	12.79
ncf_4_16_2_euad.3	UNSAT	13.39
ncf_4_16_2_euad.7	SAT	14.18
ncf_16_32_4_d.5	UNSAT	16.04
ncf_8_16_4_u.10	SAT	16.13
ncf_4_8_4_d.10	SAT	16.24
ncf_4_16_2_euad.4	SAT	18.55
ncf_8_16_2_euad.10	SAT	18.67
ncf_16_32_2_d.8	UNSAT	19.93
ncf_4_8_8_u.8	SAT	21.94
ncf_4_16_4_euad.5	SAT	23.36
ncf_4_16_2_euad.1	UNSAT	23.36
ncf_4_16_4_euad.1	SAT	23.75
ncf_8_16_2_euad.1	SAT	26.08
ncf_8_16_4_edau.9	UNSAT	26.16
ncf_4_16_2_u.8	SAT	27.06
ncf_4_16_2_u.4	SAT	27.85
ncf_8_16_2_u.10	SAT	30.72
ncf_4_16_2_euad.8	SAT	32.29
ncf_4_16_2_u.3	UNSAT	32.32
ncf_4_16_2_edau.2	SAT	32.94
ncf_4_16_2_d.2	SAT	33.51
ncf_4_16_2_u.5	UNSAT	34.05
ncf_4_8_8_d.2	UNSAT	40.02
ncf_8_16_2_d.4	SAT	42.73
ncf_4_16_4_euad.6	UNSAT	43.18
ncf_4_8_4_edau.5	SAT	46.94
ncf_4_16_2_d.1	UNSAT	50.38
ncf_4_16_4_edau.9	SAT	52.42
ncf_16_32_4_euad.10	UNSAT	59.11
ncf_4_8_4_d.1	SAT	59.38
ncf_4_8_8_u.7	SAT	64.57
ncf_8_16_2_euad.4	SAT	65.47
ncf_4_16_2_u.1	UNSAT	68.29
ncf_4_8_8_u.3	SAT	69.67
ncf_8_32_2_d.9	UNSAT	79.48
ncf_4_16_4_u.7	SAT	80.24
ncf_8_32_2_euad.9	UNSAT	80.86
ncf_4_8_8_euad.7	SAT	81.96
ncf_4_16_2_d.4	SAT	92.73
ncf_4_16_2_edau.4	SAT	96
ncf_16_32_4_u.4	UNSAT	96.61
ncf_4_16_4_u.5	SAT	98.04
ncf_16_32_2_u.4	UNSAT	98.67
ncf_4_16_4_d.9	SAT	101.21
ncf_4_16_4_u.1	SAT	101.84
ncf_4_16_4_euad.7	SAT	105.28
ncf_4_8_4_d.5	SAT	105.31
ncf_8_16_2_edau.4	SAT	115.31
ncf_4_8_8_euad.2	UNSAT	120
ncf_8_16_2_d.10	SAT	121.73
ncf_8_16_2_edau.10	SAT	128.84
ncf_8_16_8_u.7	UNSAT	130.27
ncf_4_16_2_edau.8	SAT	167.99
ncf_4_16_2_edau.3	UNSAT	171.68
ncf_16_32_8_u.8	UNSAT	172.51
ncf_4_8_8_u.10	SAT	172.52
ncf_8_16_4_euad.4	SAT	173.17
ncf_8_16_2_u.4	SAT	183.02
ncf_4_16_4_edau.10	UNSAT	183.59
ncf_4_16_2_d.3	UNSAT	184.23
ncf_4_8_8_euad.10	SAT	196.71
ncf_4_16_2_edau.5	UNSAT	231.68
ncf_4_8_8_u.2	UNSAT	236.83
ncf_8_16_8_u.8	UNSAT	237.63
ncf_4_16_2_edau.1	UNSAT	262.39
ncf_4_16_4_euad.4	UNSAT	262.52
ncf_8_16_4_d.10	SAT	314.74
ncf_4_16_2_d.8	SAT	317.2
ncf_4_16_4_u.6	UNSAT	329.01
ncf_8_32_2_euad.7	UNSAT	361.85
ncf_4_8_8_edau.2	UNSAT	366.81
ncf_8_16_4_edau.10	SAT	408.47
ncf_8_16_8_euad.7	UNSAT	427.11
ncf_4_8_8_edau.1	SAT	499.76
ncf_4_32_2_euad.4	UNSAT	695.31
ncf_4_16_4_u.10	UNSAT	740.45
ncf_16_32_8_edau.2	UNSAT	819.14
ncf_4_16_8_euad.7	SAT	882.55
ncf_8_32_4_euad.3	FAIL	900.45
ncf_8_32_2_euad.2	FAIL	900.81
ncf_16_128_8_u.5	FAIL	900.81
ncf_16_32_8_u.9	FAIL	900.82
ncf_4_16_8_u.6	FAIL	900.82
ncf_4_16_4_u.3	FAIL	900.83
ncf_8_32_4_d.8	FAIL	900.84
ncf_8_32_2_u.3	FAIL	900.84
ncf_4_32_8_euad.6	FAIL	900.85
ncf_4_32_2_u.8	FAIL	900.85
ncf_4_32_2_edau.5	FAIL	900.85
ncf_8_16_4_d.7	FAIL	900.86
ncf_16_64_4_edau.3	FAIL	900.86
ncf_16_32_2_d.5	FAIL	900.86
ncf_4_16_8_u.8	FAIL	900.86
ncf_4_32_4_u.7	FAIL	900.86
ncf_16_32_2_euad.1	FAIL	900.87
ncf_4_16_8_d.2	FAIL	900.87
ncf_16_64_2_euad.4	FAIL	900.87
ncf_8_32_2_euad.8	FAIL	900.87
ncf_8_32_4_edau.9	FAIL	900.87
ncf_16_32_4_u.8	FAIL	900.87
ncf_8_32_4_u.6	FAIL	900.87
ncf_4_16_4_euad.2	FAIL	900.87
ncf_4_16_8_edau.9	FAIL	900.87
ncf_8_64_8_u.9	FAIL	900.87
ncf_8_64_2_d.2	FAIL	900.87
ncf_4_16_4_euad.10	FAIL	900.87
ncf_16_32_4_edau.8	FAIL	900.87
ncf_8_64_4_euad.6	FAIL	900.87
ncf_8_64_2_u.4	FAIL	900.87
ncf_16_128_2_euad.3	FAIL	900.87
ncf_8_16_4_edau.7	FAIL	900.87
ncf_4_32_4_euad.4	FAIL	900.88
ncf_16_64_4_euad.4	FAIL	900.88
ncf_8_32_4_edau.3	FAIL	900.88
ncf_8_64_8_edau.5	FAIL	900.88
ncf_4_32_2_d.6	FAIL	900.88
ncf_8_32_4_euad.7	FAIL	900.88
ncf_16_128_2_euad.9	FAIL	900.88
ncf_4_32_4_euad.7	FAIL	900.88
ncf_4_32_4_d.8	FAIL	900.88
ncf_8_32_2_edau.8	FAIL	900.88
ncf_16_128_4_euad.5	FAIL	900.88
ncf_16_32_4_u.9	FAIL	900.88
ncf_8_64_4_d.5	FAIL	900.88
ncf_16_128_4_edau.3	FAIL	900.88
ncf_4_16_8_euad.3	FAIL	900.88
ncf_8_16_8_edau.2	FAIL	900.88
ncf_16_32_4_d.6	FAIL	900.88
ncf_8_16_4_u.7	FAIL	900.88
ncf_4_32_2_euad.6	FAIL	900.88
ncf_16_128_8_euad.8	FAIL	900.88
ncf_8_16_8_edau.7	FAIL	900.88
ncf_16_64_2_edau.5	FAIL	900.88
ncf_8_16_8_euad.3	FAIL	900.88
ncf_16_128_8_u.1	FAIL	900.88
ncf_16_128_8_euad.5	FAIL	900.89
ncf_4_32_2_edau.10	FAIL	900.89
ncf_4_32_8_edau.8	FAIL	900.89
ncf_16_64_4_d.1	FAIL	900.89
ncf_16_128_4_u.3	FAIL	900.89
ncf_8_32_2_edau.10	FAIL	900.89
ncf_4_16_4_edau.7	FAIL	900.89
ncf_4_32_4_euad.6	FAIL	900.89
ncf_8_32_4_euad.10	FAIL	900.89
ncf_4_32_8_d.10	FAIL	900.89
ncf_16_32_8_euad.2	FAIL	900.89
ncf_4_16_4_d.7	FAIL	900.89
ncf_4_32_2_u.7	FAIL	900.89
ncf_16_64_2_d.6	FAIL	900.89
ncf_16_32_4_edau.2	FAIL	900.89
ncf_16_128_2_u.8	FAIL	900.89
ncf_4_16_8_edau.1	FAIL	900.89
ncf_8_32_4_euad.1	FAIL	900.89
ncf_8_32_2_d.5	FAIL	900.89
ncf_8_32_2_edau.5	FAIL	900.89
ncf_4_32_2_u.2	FAIL	900.89
ncf_16_64_8_edau.7	FAIL	900.89
ncf_16_32_2_euad.10	FAIL	900.89
ncf_16_128_4_edau.8	FAIL	900.89
ncf_8_32_2_euad.10	FAIL	900.89
ncf_16_128_4_edau.10	FAIL	900.89
ncf_4_32_2_euad.8	FAIL	900.89
ncf_16_64_4_edau.6	FAIL	900.89
ncf_16_32_2_u.3	FAIL	900.89
ncf_8_16_8_edau.8	FAIL	900.89
ncf_16_64_8_d.7	FAIL	900.9
ncf_8_16_4_d.4	FAIL	900.9
ncf_16_64_4_u.1	FAIL	900.9
ncf_8_32_2_edau.1	FAIL	900.9
ncf_16_32_8_u.6	FAIL	900.9
ncf_8_32_2_d.4	FAIL	900.9
ncf_4_16_8_d.6	FAIL	900.9
ncf_8_32_8_edau.1	FAIL	900.9
ncf_8_16_8_euad.9	FAIL	900.9
ncf_16_64_8_d.5	FAIL	900.9
ncf_4_32_2_u.3	FAIL	900.9
ncf_8_32_4_u.7	FAIL	900.9
ncf_8_32_8_edau.2	FAIL	900.9
ncf_8_64_2_edau.2	FAIL	900.9
ncf_8_64_8_edau.7	FAIL	900.9
ncf_16_64_4_euad.10	FAIL	900.9
ncf_8_64_8_edau.2	FAIL	900.9
ncf_16_64_4_euad.2	FAIL	900.9
ncf_16_64_8_u.7	FAIL	900.9
ncf_8_16_8_edau.4	FAIL	900.9
ncf_16_128_8_d.5	FAIL	900.9
ncf_4_32_8_edau.10	FAIL	900.9
ncf_16_64_2_edau.1	FAIL	900.9
ncf_8_64_4_u.1	FAIL	900.9
ncf_4_16_4_edau.4	FAIL	900.9
ncf_4_32_8_euad.8	FAIL	900.9
ncf_4_16_8_edau.5	FAIL	900.9
ncf_16_64_2_u.9	FAIL	900.9
ncf_4_32_2_d.2	FAIL	900.9
ncf_16_64_4_u.4	FAIL	900.9
ncf_8_64_8_edau.3	FAIL	900.9
ncf_16_32_2_u.1	FAIL	900.9
ncf_8_32_4_u.9	FAIL	900.9
ncf_16_32_2_d.10	FAIL	900.9
ncf_8_64_4_d.2	FAIL	900.9
ncf_16_64_2_u.3	FAIL	900.9
ncf_8_64_2_u.8	FAIL	900.9
ncf_4_32_2_u.4	FAIL	900.9
ncf_4_32_2_u.9	FAIL	900.9
ncf_8_16_4_u.4	FAIL	900.9
ncf_8_32_8_edau.9	FAIL	900.9
ncf_8_64_8_euad.9	FAIL	900.9
ncf_16_128_2_euad.7	FAIL	900.9
ncf_4_8_8_d.8	FAIL	900.9
ncf_16_32_8_euad.9	FAIL	900.9
ncf_4_16_4_d.3	FAIL	900.9
ncf_16_32_2_u.5	FAIL	900.9
ncf_16_32_2_d.1	FAIL	900.9
ncf_8_64_2_euad.3	FAIL	900.91
ncf_4_32_2_u.6	FAIL	900.91
ncf_16_64_2_d.1	FAIL	900.91
ncf_4_32_2_edau.9	FAIL	900.91
ncf_16_128_4_d.9	FAIL	900.91
ncf_4_8_8_edau.8	FAIL	900.91
ncf_16_128_8_d.2	FAIL	900.91
ncf_16_64_4_d.6	FAIL	900.91
ncf_8_32_2_d.3	FAIL	900.91
ncf_8_32_8_u.9	FAIL	900.91
ncf_16_32_2_edau.3	FAIL	900.91
ncf_8_16_8_d.10	FAIL	900.91
ncf_4_16_8_edau.7	FAIL	900.91
ncf_8_64_4_u.5	FAIL	900.91
ncf_16_64_2_u.4	FAIL	900.91
ncf_8_32_8_euad.2	FAIL	900.91
ncf_8_32_2_d.7	FAIL	900.91
ncf_4_16_8_edau.3	FAIL	900.91
ncf_8_64_2_d.5	FAIL	900.91
ncf_16_64_4_euad.5	FAIL	900.91
ncf_8_64_2_u.9	FAIL	900.91
ncf_8_32_2_u.5	FAIL	900.91
ncf_16_32_8_u.10	FAIL	900.91
ncf_16_32_4_u.5	FAIL	900.91
ncf_8_64_8_u.3	FAIL	900.91
ncf_8_32_4_d.2	FAIL	900.91
ncf_4_32_8_edau.4	FAIL	900.91
ncf_8_64_4_edau.2	FAIL	900.91
ncf_8_32_8_d.10	FAIL	900.91
ncf_4_32_2_euad.2	FAIL	900.91
ncf_16_64_4_edau.5	FAIL	900.91
ncf_8_16_4_edau.3	FAIL	900.91
ncf_8_32_4_d.7	FAIL	900.91
ncf_4_16_8_d.4	FAIL	900.91
ncf_4_16_4_edau.1	FAIL	900.91
ncf_16_32_8_d.9	FAIL	900.91
ncf_16_64_2_euad.10	FAIL	900.91
ncf_16_32_4_edau.9	FAIL	900.91
ncf_16_128_2_euad.8	FAIL	900.91
ncf_8_64_4_u.4	FAIL	900.91
ncf_4_8_8_d.1	FAIL	900.91
ncf_8_32_2_edau.3	FAIL	900.91
ncf_4_16_8_edau.8	FAIL	900.91
ncf_16_64_8_u.9	FAIL	900.91
ncf_16_128_8_u.9	FAIL	900.91
ncf_16_64_2_euad.7	FAIL	900.91
ncf_16_128_4_edau.1	FAIL	900.91
ncf_8_32_8_edau.6	FAIL	900.91
ncf_4_8_8_d.6	FAIL	900.91
ncf_16_128_8_edau.6	FAIL	900.91
ncf_8_64_2_u.10	FAIL	900.91
ncf_4_32_2_d.9	FAIL	900.91
ncf_4_16_4_edau.2	FAIL	900.91
ncf_8_32_2_edau.9	FAIL	900.91
ncf_4_32_4_d.1	FAIL	900.91
ncf_8_16_8_euad.4	FAIL	900.91
ncf_8_16_8_d.8	FAIL	900.91
ncf_8_32_4_edau.2	FAIL	900.91
ncf_16_32_4_d.10	FAIL	900.91
ncf_8_64_8_u.5	FAIL	900.91
ncf_4_32_4_euad.3	FAIL	900.91
ncf_16_128_8_u.8	FAIL	900.91
ncf_16_32_2_u.8	FAIL	900.91
ncf_4_32_2_d.4	FAIL	900.91
ncf_16_32_8_euad.4	FAIL	900.91
ncf_8_64_4_d.3	FAIL	900.91
ncf_16_64_8_edau.1	FAIL	900.91
ncf_16_128_4_d.1	FAIL	900.91
ncf_16_32_4_u.3	FAIL	900.91
ncf_8_32_4_euad.8	FAIL	900.91
ncf_16_128_2_euad.10	FAIL	900.91
ncf_8_64_8_d.1	FAIL	900.91
ncf_4_32_8_euad.10	FAIL	900.91
ncf_16_64_2_u.5	FAIL	900.91
ncf_16_64_4_u.3	FAIL	900.91
ncf_16_32_8_edau.1	FAIL	900.91
ncf_4_32_4_edau.8	FAIL	900.91
ncf_8_32_4_u.10	FAIL	900.91
ncf_8_16_4_d.9	FAIL	900.92
ncf_8_32_2_u.9	FAIL	900.92
ncf_16_64_4_u.5	FAIL	900.92
ncf_8_16_8_d.9	FAIL	900.92
ncf_8_32_2_d.1	FAIL	900.92
ncf_16_64_8_edau.9	FAIL	900.92
ncf_8_64_8_edau.10	FAIL	900.92
ncf_8_64_4_euad.8	FAIL	900.92
ncf_8_32_8_d.6	FAIL	900.92
ncf_16_128_4_edau.2	FAIL	900.92
ncf_8_64_8_euad.5	FAIL	900.92
ncf_8_64_8_u.7	FAIL	900.92
ncf_8_64_2_d.9	FAIL	900.92
ncf_4_16_4_d.1	FAIL	900.92
ncf_8_32_8_d.9	FAIL	900.92
ncf_16_32_2_euad.3	FAIL	900.92
ncf_16_128_4_euad.3	FAIL	900.92
ncf_16_64_2_u.7	FAIL	900.92
ncf_16_32_8_d.1	FAIL	900.92
ncf_16_128_8_edau.1	FAIL	900.92
ncf_8_64_2_euad.6	FAIL	900.92
ncf_8_64_4_edau.9	FAIL	900.92
ncf_8_16_8_edau.5	FAIL	900.92
ncf_8_64_8_d.2	FAIL	900.92
ncf_16_32_4_u.10	FAIL	900.92
ncf_16_64_4_edau.1	FAIL	900.92
ncf_8_32_8_u.7	FAIL	900.92
ncf_4_16_8_d.5	FAIL	900.92
ncf_4_8_8_d.3	FAIL	900.92
ncf_16_128_8_euad.6	FAIL	900.92
ncf_8_32_4_u.5	FAIL	900.92
ncf_4_32_2_d.10	FAIL	900.92
ncf_16_128_2_d.5	FAIL	900.92
ncf_4_32_4_u.6	FAIL	900.92
ncf_8_64_2_edau.9	FAIL	900.92
ncf_4_32_8_edau.6	FAIL	900.92
ncf_4_16_8_euad.4	FAIL	900.92
ncf_8_64_8_u.8	FAIL	900.92
ncf_8_64_8_euad.2	FAIL	900.92
ncf_16_32_4_euad.8	FAIL	900.92
ncf_8_64_8_edau.6	FAIL	900.92
ncf_4_32_8_euad.5	FAIL	900.92
ncf_16_128_8_euad.10	FAIL	900.92
ncf_4_32_8_edau.2	FAIL	900.92
ncf_16_64_8_edau.8	FAIL	900.92
ncf_16_64_8_euad.1	FAIL	900.92
ncf_16_64_2_edau.7	FAIL	900.92
ncf_8_64_2_u.2	FAIL	900.92
ncf_8_32_2_u.2	FAIL	900.92
ncf_16_64_8_edau.4	FAIL	900.92
ncf_8_16_8_d.2	FAIL	900.92
ncf_4_32_2_u.5	FAIL	900.92
ncf_4_8_8_euad.6	FAIL	900.92
ncf_8_16_8_u.3	FAIL	900.92
ncf_16_64_4_u.9	FAIL	900.92
ncf_8_32_2_euad.3	FAIL	900.92
ncf_8_64_2_edau.1	FAIL	900.92
ncf_4_16_8_u.3	FAIL	900.92
ncf_16_32_4_edau.6	FAIL	900.92
ncf_16_64_4_u.6	FAIL	900.92
ncf_16_128_2_edau.9	FAIL	900.92
ncf_8_32_2_d.8	FAIL	900.92
ncf_16_64_4_u.7	FAIL	900.92
ncf_8_32_8_euad.8	FAIL	900.92
ncf_16_32_2_euad.5	FAIL	900.92
ncf_4_32_8_edau.9	FAIL	900.92
ncf_8_32_8_euad.6	FAIL	900.92
ncf_4_32_8_d.1	FAIL	900.92
ncf_16_32_4_u.6	FAIL	900.92
ncf_4_32_4_edau.2	FAIL	900.92
ncf_8_16_4_d.3	FAIL	900.92
ncf_16_128_2_edau.3	FAIL	900.92
ncf_16_32_4_u.2	FAIL	900.92
ncf_4_16_4_edau.3	FAIL	900.92
ncf_8_64_4_u.6	FAIL	900.92
ncf_16_128_8_d.8	FAIL	900.92
ncf_16_64_8_euad.10	FAIL	900.92
ncf_16_128_2_d.7	FAIL	900.92
ncf_8_16_4_euad.9	FAIL	900.92
ncf_4_32_4_edau.9	FAIL	900.92
ncf_4_32_4_euad.5	FAIL	900.92
ncf_16_32_8_d.3	FAIL	900.92
ncf_16_64_2_d.7	FAIL	900.92
ncf_8_64_8_d.9	FAIL	900.92
ncf_4_16_4_d.2	FAIL	900.92
ncf_4_8_8_edau.10	FAIL	900.92
ncf_8_64_2_d.6	FAIL	900.92
ncf_16_64_4_euad.9	FAIL	900.92
ncf_4_16_4_d.8	FAIL	900.92
ncf_16_128_4_euad.6	FAIL	900.92
ncf_4_8_8_d.10	FAIL	900.92
ncf_8_32_8_euad.9	FAIL	900.92
ncf_16_32_8_edau.4	FAIL	900.92
ncf_16_128_2_u.10	FAIL	900.92
ncf_16_32_2_edau.5	FAIL	900.92
ncf_8_32_8_edau.8	FAIL	900.92
ncf_16_64_2_euad.2	FAIL	900.92
ncf_16_64_4_euad.7	FAIL	900.92
ncf_16_32_2_d.3	FAIL	900.92
ncf_16_32_8_u.4	FAIL	900.93
ncf_8_64_2_euad.2	FAIL	900.93
ncf_8_64_2_d.7	FAIL	900.93
ncf_16_64_4_d.5	FAIL	900.93
ncf_8_64_4_u.10	FAIL	900.93
ncf_8_16_8_euad.8	FAIL	900.93
ncf_16_32_8_u.5	FAIL	900.93
ncf_16_64_4_edau.8	FAIL	900.93
ncf_16_64_2_d.2	FAIL	900.93
ncf_16_64_4_d.3	FAIL	900.93
ncf_4_32_8_euad.2	FAIL	900.93
ncf_8_64_8_d.10	FAIL	900.93
ncf_16_128_2_edau.10	FAIL	900.93
ncf_4_16_8_edau.10	FAIL	900.93
ncf_16_64_4_d.7	FAIL	900.93
ncf_4_32_2_euad.7	FAIL	900.93
ncf_8_64_4_d.7	FAIL	900.93
ncf_16_64_8_d.1	FAIL	900.93
ncf_8_64_8_edau.4	FAIL	900.93
ncf_4_32_4_u.9	FAIL	900.93
ncf_4_32_4_d.3	FAIL	900.93
ncf_16_128_4_d.4	FAIL	900.93
ncf_4_16_8_euad.8	FAIL	900.93
ncf_4_32_4_d.10	FAIL	900.93
ncf_16_128_4_u.10	FAIL	900.93
ncf_4_16_8_euad.6	FAIL	900.93
ncf_16_32_8_u.2	FAIL	900.93
ncf_16_128_8_euad.2	FAIL	900.93
ncf_4_16_8_edau.4	FAIL	900.93
ncf_16_64_2_euad.1	FAIL	900.93
ncf_8_32_2_u.8	FAIL	900.93
ncf_4_32_2_u.10	FAIL	900.93
ncf_16_32_8_d.4	FAIL	900.93
ncf_8_32_2_u.10	FAIL	900.93
ncf_4_32_8_u.8	FAIL	900.93
ncf_4_32_2_euad.10	FAIL	900.93
ncf_8_64_4_d.4	FAIL	900.93
ncf_8_64_4_d.10	FAIL	900.93
ncf_4_32_4_euad.9	FAIL	900.93
ncf_8_32_2_edau.2	FAIL	900.93
ncf_8_64_4_euad.5	FAIL	900.93
ncf_16_64_2_edau.3	FAIL	900.93
ncf_8_64_2_euad.5	FAIL	900.93
ncf_4_32_2_edau.4	FAIL	900.93
ncf_8_64_8_u.6	FAIL	900.93
ncf_4_32_4_euad.1	FAIL	900.93
ncf_8_32_8_d.4	FAIL	900.93
ncf_4_16_4_d.6	FAIL	900.93
ncf_16_64_8_edau.10	FAIL	900.93
ncf_4_32_4_euad.10	FAIL	900.93
ncf_16_32_8_d.10	FAIL	900.93
ncf_4_16_8_d.9	FAIL	900.93
ncf_8_64_2_edau.4	FAIL	900.93
ncf_8_32_2_edau.7	FAIL	900.93
ncf_8_32_8_u.3	FAIL	900.93
ncf_16_32_4_u.1	FAIL	900.93
ncf_8_32_4_edau.7	FAIL	900.93
ncf_4_8_8_edau.3	FAIL	900.93
ncf_16_128_4_euad.2	FAIL	900.93
ncf_8_32_8_u.5	FAIL	900.93
ncf_4_32_2_euad.9	FAIL	900.93
ncf_16_128_4_d.2	FAIL	900.93
ncf_4_32_2_d.8	FAIL	900.93
ncf_8_16_4_u.9	FAIL	900.93
ncf_16_32_2_u.10	FAIL	900.93
ncf_16_64_4_d.4	FAIL	900.93
ncf_8_64_8_euad.6	FAIL	900.93
ncf_8_16_8_edau.3	FAIL	900.93
ncf_8_16_4_edau.4	FAIL	900.93
ncf_16_64_2_euad.5	FAIL	900.93
ncf_8_16_8_d.7	FAIL	900.93
ncf_8_32_2_edau.6	FAIL	900.93
ncf_8_32_4_d.3	FAIL	900.93
ncf_8_32_8_u.4	FAIL	900.93
ncf_8_64_2_euad.10	FAIL	900.93
ncf_16_64_2_euad.6	FAIL	900.93
ncf_16_64_4_euad.3	FAIL	900.93
ncf_4_32_2_d.3	FAIL	900.93
ncf_4_32_8_d.3	FAIL	900.93
ncf_16_64_8_euad.8	FAIL	900.93
ncf_8_32_4_edau.8	FAIL	900.93
ncf_16_128_4_edau.4	FAIL	900.93
ncf_8_32_8_euad.10	FAIL	900.93
ncf_16_32_2_edau.10	FAIL	900.93
ncf_8_32_2_euad.4	FAIL	900.93
ncf_16_32_8_euad.5	FAIL	900.93
ncf_16_128_2_u.2	FAIL	900.93
ncf_16_32_8_edau.7	FAIL	900.93
ncf_4_8_8_edau.6	FAIL	900.93
ncf_8_32_8_edau.5	FAIL	900.93
ncf_8_32_8_euad.5	FAIL	900.93
ncf_4_32_8_edau.7	FAIL	900.93
ncf_8_32_2_u.4	FAIL	900.93
ncf_8_16_8_edau.9	FAIL	900.93
ncf_8_16_8_d.4	FAIL	900.93
ncf_8_64_2_d.4	FAIL	900.93
ncf_8_64_4_u.8	FAIL	900.93
ncf_16_128_4_u.4	FAIL	900.93
ncf_4_32_2_euad.5	FAIL	900.93
ncf_4_32_4_d.7	FAIL	900.93
ncf_8_32_4_d.1	FAIL	900.93
ncf_16_64_4_edau.4	FAIL	900.93
ncf_8_32_4_u.2	FAIL	900.93
ncf_16_32_4_euad.2	FAIL	900.93
ncf_16_128_8_edau.3	FAIL	900.93
ncf_8_16_8_u.2	FAIL	900.93
ncf_16_128_4_u.6	FAIL	900.93
ncf_16_64_2_u.10	FAIL	900.93
ncf_4_32_2_euad.3	FAIL	900.93
ncf_16_64_8_d.2	FAIL	900.93
ncf_8_64_2_edau.10	FAIL	900.93
ncf_16_128_2_d.9	FAIL	900.93
ncf_4_32_2_edau.3	FAIL	900.93
ncf_4_8_8_edau.7	FAIL	900.93
ncf_8_16_8_euad.2	FAIL	900.94
ncf_8_64_8_d.5	FAIL	900.94
ncf_4_32_4_edau.3	FAIL	900.94
ncf_8_32_4_d.4	FAIL	900.94
ncf_16_64_2_edau.10	FAIL	900.94
ncf_4_32_4_edau.1	FAIL	900.94
ncf_16_128_8_u.6	FAIL	900.94
ncf_4_32_4_edau.7	FAIL	900.94
ncf_16_32_4_euad.6	FAIL	900.94
ncf_8_64_4_edau.4	FAIL	900.94
ncf_4_16_4_edau.8	FAIL	900.94
ncf_16_128_2_euad.4	FAIL	900.94
ncf_4_32_4_edau.10	FAIL	900.94
ncf_16_128_2_euad.5	FAIL	900.94
ncf_4_16_8_d.8	FAIL	900.94
ncf_8_64_2_euad.9	FAIL	900.94
ncf_16_128_2_d.2	FAIL	900.94
ncf_16_32_8_d.7	FAIL	900.94
ncf_4_16_4_u.4	FAIL	900.94
ncf_8_64_2_d.10	FAIL	900.94
ncf_16_128_2_edau.4	FAIL	900.94
ncf_8_32_4_d.6	FAIL	900.94
ncf_8_32_2_d.6	FAIL	900.94
ncf_8_32_8_euad.7	FAIL	900.94
ncf_8_64_4_d.8	FAIL	900.94
ncf_4_32_4_u.5	FAIL	900.94
ncf_8_32_4_u.4	FAIL	900.94
ncf_4_32_8_edau.1	FAIL	900.94
ncf_16_128_8_euad.1	FAIL	900.94
ncf_16_64_2_edau.6	FAIL	900.94
ncf_16_64_2_d.8	FAIL	900.94
ncf_8_32_2_d.2	FAIL	900.94
ncf_16_64_2_u.1	FAIL	900.94
ncf_4_32_4_edau.6	FAIL	900.94
ncf_8_64_4_edau.3	FAIL	900.94
ncf_16_64_4_euad.6	FAIL	900.94
ncf_16_128_4_u.5	FAIL	900.94
ncf_8_32_4_euad.2	FAIL	900.94
ncf_16_32_2_edau.6	FAIL	900.94
ncf_16_32_8_d.2	FAIL	900.94
ncf_8_64_4_euad.9	FAIL	900.94
ncf_8_64_8_d.6	FAIL	900.94
ncf_4_32_4_euad.8	FAIL	900.94
ncf_16_32_4_euad.9	FAIL	900.94
ncf_16_128_4_d.8	FAIL	900.94
ncf_4_32_8_d.8	FAIL	900.94
ncf_8_64_2_u.1	FAIL	900.94
ncf_16_128_8_euad.3	FAIL	900.94
ncf_16_128_2_d.10	FAIL	900.94
ncf_16_32_8_edau.6	FAIL	900.94
ncf_4_16_4_d.10	FAIL	900.94
ncf_16_32_2_u.6	FAIL	900.94
ncf_16_64_8_u.1	FAIL	900.94
ncf_8_16_8_u.5	FAIL	900.94
ncf_8_64_2_euad.7	FAIL	900.94
ncf_8_64_8_euad.4	FAIL	900.94
ncf_4_32_4_edau.5	FAIL	900.94
ncf_8_32_4_u.3	FAIL	900.94
ncf_16_32_8_edau.3	FAIL	900.94
ncf_4_16_8_euad.9	FAIL	900.94
ncf_4_16_4_u.2	FAIL	900.94
ncf_16_64_4_d.8	FAIL	900.94
ncf_16_128_2_d.3	FAIL	900.94
ncf_8_64_8_edau.8	FAIL	900.94
ncf_16_128_8_d.9	FAIL	900.94
ncf_16_64_8_edau.2	FAIL	900.94
ncf_8_32_4_euad.6	FAIL	900.94
ncf_16_64_2_d.4	FAIL	900.94
ncf_16_64_2_d.5	FAIL	900.94
ncf_8_64_4_edau.1	FAIL	900.94
ncf_8_32_8_d.8	FAIL	900.94
ncf_4_16_8_u.4	FAIL	900.94
ncf_16_128_8_edau.10	FAIL	900.94
ncf_8_64_4_edau.7	FAIL	900.94
ncf_8_32_4_edau.6	FAIL	900.94
ncf_4_32_4_d.6	FAIL	900.94
ncf_16_32_4_edau.3	FAIL	900.94
ncf_8_64_4_u.3	FAIL	900.94
ncf_8_32_4_edau.4	FAIL	900.94
ncf_16_64_4_u.10	FAIL	900.94
ncf_8_32_2_euad.5	FAIL	900.94
ncf_8_64_4_edau.10	FAIL	900.94
ncf_16_64_8_d.6	FAIL	900.94
ncf_8_32_4_edau.10	FAIL	900.94
ncf_16_128_8_euad.7	FAIL	900.94
ncf_16_32_4_euad.3	FAIL	900.94
ncf_4_32_8_d.4	FAIL	900.94
ncf_16_128_2_u.9	FAIL	900.94
ncf_16_128_8_edau.8	FAIL	900.94
ncf_8_32_2_euad.6	FAIL	900.94
ncf_16_64_8_u.4	FAIL	900.94
ncf_16_128_2_u.5	FAIL	900.94
ncf_4_32_8_euad.3	FAIL	900.94
ncf_16_128_4_euad.10	FAIL	900.94
ncf_4_32_8_u.1	FAIL	900.94
ncf_16_64_8_euad.4	FAIL	900.94
ncf_8_64_4_edau.8	FAIL	900.94
ncf_16_128_2_d.8	FAIL	900.94
ncf_8_64_8_edau.9	FAIL	900.94
ncf_16_32_4_d.2	FAIL	900.94
ncf_16_32_4_d.1	FAIL	900.94
ncf_16_128_2_edau.2	FAIL	900.94
ncf_16_64_8_d.3	FAIL	900.94
ncf_16_128_4_euad.9	FAIL	900.94
ncf_8_32_8_d.7	FAIL	900.94
ncf_8_16_8_euad.10	FAIL	900.94
ncf_16_32_8_euad.3	FAIL	900.94
ncf_8_32_2_d.10	FAIL	900.94
ncf_16_128_2_edau.5	FAIL	900.94
ncf_4_8_8_d.7	FAIL	900.94
ncf_8_16_8_u.4	FAIL	900.94
ncf_8_16_8_u.9	FAIL	900.94
ncf_8_16_4_euad.3	FAIL	900.94
ncf_8_32_4_edau.1	FAIL	900.94
ncf_4_32_8_edau.3	FAIL	900.94
ncf_16_64_2_edau.9	FAIL	900.94
ncf_16_32_2_edau.1	FAIL	900.94
ncf_16_32_8_d.5	FAIL	900.94
ncf_16_64_2_d.3	FAIL	900.94
ncf_16_128_8_euad.4	FAIL	900.94
ncf_8_32_8_edau.4	FAIL	900.94
ncf_8_64_4_edau.5	FAIL	900.94
ncf_8_32_8_euad.4	FAIL	900.95
ncf_8_32_2_u.1	FAIL	900.95
ncf_16_128_2_edau.8	FAIL	900.95
ncf_16_64_2_euad.9	FAIL	900.95
ncf_8_64_2_euad.8	FAIL	900.95
ncf_16_128_8_edau.9	FAIL	900.95
ncf_16_64_8_edau.3	FAIL	900.95
ncf_4_16_4_edau.6	FAIL	900.95
ncf_8_32_8_u.6	FAIL	900.95
ncf_8_64_8_edau.1	FAIL	900.95
ncf_16_64_4_d.2	FAIL	900.95
ncf_4_32_8_u.4	FAIL	900.95
ncf_8_32_4_d.9	FAIL	900.95
ncf_16_32_2_d.6	FAIL	900.95
ncf_4_16_8_d.1	FAIL	900.95
ncf_16_64_2_u.6	FAIL	900.95
ncf_4_32_4_edau.4	FAIL	900.95
ncf_16_128_8_d.6	FAIL	900.95
ncf_16_128_8_u.2	FAIL	900.95
ncf_8_32_8_u.10	FAIL	900.95
ncf_16_128_8_edau.5	FAIL	900.95
ncf_16_32_8_euad.7	FAIL	900.95
ncf_4_32_2_edau.2	FAIL	900.95
ncf_8_64_4_d.9	FAIL	900.95
ncf_16_128_2_edau.7	FAIL	900.95
ncf_16_32_2_euad.6	FAIL	900.95
ncf_8_64_4_d.6	FAIL	900.95
ncf_4_16_8_edau.6	FAIL	900.95
ncf_4_32_2_u.1	FAIL	900.95
ncf_8_64_8_u.4	FAIL	900.95
ncf_16_64_8_d.10	FAIL	900.95
ncf_4_16_8_euad.1	FAIL	900.95
ncf_4_32_4_euad.2	FAIL	900.95
ncf_16_64_2_d.10	FAIL	900.95
ncf_8_64_4_euad.10	FAIL	900.95
ncf_16_64_4_euad.8	FAIL	900.95
ncf_8_64_8_euad.7	FAIL	900.95
ncf_16_128_4_d.10	FAIL	900.95
ncf_16_64_4_u.2	FAIL	900.95
ncf_16_128_4_edau.9	FAIL	900.95
ncf_8_64_8_u.1	FAIL	900.95
ncf_16_128_2_euad.1	FAIL	900.95
ncf_4_32_4_u.2	FAIL	900.95
ncf_16_128_8_u.7	FAIL	900.95
ncf_16_128_2_d.4	FAIL	900.95
ncf_16_128_8_edau.2	FAIL	900.95
ncf_16_64_4_d.9	FAIL	900.95
ncf_16_128_8_u.4	FAIL	900.95
ncf_16_128_2_euad.6	FAIL	900.95
ncf_16_128_4_edau.6	FAIL	900.95
ncf_8_64_4_u.2	FAIL	900.95
ncf_8_32_4_euad.5	FAIL	900.95
ncf_4_32_2_d.5	FAIL	900.95
ncf_4_32_4_d.2	FAIL	900.95
ncf_8_32_2_u.6	FAIL	900.95
ncf_16_32_4_d.3	FAIL	900.95
ncf_8_64_8_d.4	FAIL	900.95
ncf_4_16_4_d.4	FAIL	900.95
ncf_16_128_8_d.10	FAIL	900.95
ncf_4_16_8_u.10	FAIL	900.95
ncf_4_16_4_euad.3	FAIL	900.95
ncf_16_64_8_u.3	FAIL	900.95
ncf_16_128_2_d.6	FAIL	900.95
ncf_8_64_2_u.7	FAIL	900.95
ncf_16_64_2_d.9	FAIL	900.95
ncf_4_32_4_u.1	FAIL	900.95
ncf_8_64_2_edau.5	FAIL	900.95
ncf_16_64_8_u.6	FAIL	900.95
ncf_16_32_4_edau.10	FAIL	900.95
ncf_8_32_2_u.7	FAIL	900.95
ncf_8_64_8_euad.3	FAIL	900.95
ncf_8_32_8_u.2	FAIL	900.95
ncf_4_32_8_euad.1	FAIL	900.95
ncf_8_64_2_u.6	FAIL	900.95
ncf_16_64_8_d.4	FAIL	900.95
ncf_16_128_2_u.7	FAIL	900.95
ncf_4_16_4_d.5	FAIL	900.95
ncf_16_128_4_d.6	FAIL	900.95
ncf_8_64_8_u.10	FAIL	900.95
ncf_16_128_4_u.7	FAIL	900.95
ncf_8_32_8_euad.3	FAIL	900.95
ncf_16_64_4_edau.9	FAIL	900.95
ncf_4_32_8_u.7	FAIL	900.95
ncf_16_64_4_d.10	FAIL	900.95
ncf_4_32_8_euad.7	FAIL	900.95
ncf_16_128_4_euad.4	FAIL	900.95
ncf_4_32_2_edau.1	FAIL	900.95
ncf_4_32_8_d.5	FAIL	900.95
ncf_16_128_8_d.3	FAIL	900.95
ncf_4_16_8_u.1	FAIL	900.95
ncf_8_32_8_u.1	FAIL	900.95
ncf_16_128_2_edau.6	FAIL	900.95
ncf_8_32_2_euad.1	FAIL	900.95
ncf_16_32_4_d.8	FAIL	900.95
ncf_16_128_4_euad.1	FAIL	900.95
ncf_16_64_4_euad.1	FAIL	900.95
ncf_16_128_8_d.4	FAIL	900.95
ncf_16_128_4_u.1	FAIL	900.95
ncf_4_16_8_d.10	FAIL	900.96
ncf_16_128_2_edau.1	FAIL	900.96
ncf_16_128_4_u.9	FAIL	900.96
ncf_4_16_4_u.8	FAIL	900.96
ncf_16_64_2_u.8	FAIL	900.96
ncf_16_64_4_edau.7	FAIL	900.96
ncf_4_32_8_d.9	FAIL	900.96
ncf_16_32_4_d.9	FAIL	900.96
ncf_8_16_8_d.5	FAIL	900.96
ncf_16_128_8_edau.4	FAIL	900.96
ncf_4_32_8_u.9	FAIL	900.96
ncf_8_64_8_u.2	FAIL	900.96
ncf_16_128_8_edau.7	FAIL	900.96
ncf_8_64_4_euad.3	FAIL	900.96
ncf_16_128_2_u.3	FAIL	900.96
ncf_4_16_8_d.7	FAIL	900.96
ncf_4_32_8_d.6	FAIL	900.96
ncf_16_64_8_euad.2	FAIL	900.96
ncf_16_64_8_d.9	FAIL	900.96
ncf_8_16_8_u.10	FAIL	900.96
ncf_8_64_2_euad.4	FAIL	900.96
ncf_16_32_8_d.6	FAIL	900.96
ncf_8_16_4_euad.7	FAIL	900.96
ncf_8_64_2_edau.8	FAIL	900.96
ncf_4_32_8_u.10	FAIL	900.96
ncf_4_16_8_u.2	FAIL	900.96
ncf_8_64_4_u.7	FAIL	900.96
ncf_4_32_8_u.3	FAIL	900.96
ncf_16_32_4_edau.1	FAIL	900.96
ncf_8_64_4_d.1	FAIL	900.96
ncf_16_128_4_d.7	FAIL	900.96
ncf_16_128_8_euad.9	FAIL	900.96
ncf_4_16_8_euad.5	FAIL	900.96
ncf_16_64_8_u.10	FAIL	900.96
ncf_4_32_4_u.10	FAIL	900.96
ncf_16_32_8_edau.5	FAIL	900.96
ncf_4_8_8_u.6	FAIL	900.96
ncf_8_64_2_d.8	FAIL	900.96
ncf_16_64_8_u.2	FAIL	900.96
ncf_4_32_2_edau.8	FAIL	900.96
ncf_16_64_4_u.8	FAIL	900.96
ncf_8_64_2_u.3	FAIL	900.96
ncf_16_128_8_d.7	FAIL	900.96
ncf_8_32_8_edau.7	FAIL	900.96
ncf_8_64_2_euad.1	FAIL	900.96
ncf_16_64_2_edau.2	FAIL	900.96
ncf_8_64_8_d.8	FAIL	900.96
ncf_8_64_4_u.9	FAIL	900.96
ncf_16_128_2_u.1	FAIL	900.96
ncf_16_64_8_euad.3	FAIL	900.96
ncf_16_64_8_euad.9	FAIL	900.96
ncf_4_32_4_u.4	FAIL	900.96
ncf_4_32_2_edau.7	FAIL	900.96
ncf_8_32_2_edau.4	FAIL	900.96
ncf_16_64_2_euad.8	FAIL	900.96
ncf_16_32_8_u.7	FAIL	900.96
ncf_16_32_8_edau.9	FAIL	900.96
ncf_8_64_2_edau.6	FAIL	900.96
ncf_16_32_8_u.1	FAIL	900.96
ncf_16_64_8_edau.5	FAIL	900.96
ncf_16_64_4_edau.2	FAIL	900.96
ncf_4_32_8_u.2	FAIL	900.96
ncf_16_64_8_d.8	FAIL	900.96
ncf_4_16_8_d.3	FAIL	900.96
ncf_16_32_8_euad.6	FAIL	900.96
ncf_4_32_2_d.7	FAIL	900.96
ncf_4_32_2_edau.6	FAIL	900.96
ncf_16_32_8_u.3	FAIL	900.96
ncf_8_16_8_d.3	FAIL	900.96
ncf_8_32_4_d.10	FAIL	900.96
ncf_16_128_8_d.1	FAIL	900.96
ncf_8_64_8_d.3	FAIL	900.96
ncf_16_32_8_euad.10	FAIL	900.96
ncf_16_64_8_euad.5	FAIL	900.96
ncf_16_128_4_d.3	FAIL	900.96
ncf_4_32_8_edau.5	FAIL	900.96
ncf_8_32_4_u.8	FAIL	900.96
ncf_8_32_4_euad.9	FAIL	900.96
ncf_16_64_4_edau.10	FAIL	900.96
ncf_8_32_8_d.1	FAIL	900.96
ncf_16_128_4_d.5	FAIL	900.97
ncf_8_32_8_d.5	FAIL	900.97
ncf_16_128_4_edau.5	FAIL	900.97
ncf_16_128_4_euad.7	FAIL	900.97
ncf_16_128_2_d.1	FAIL	900.97
ncf_8_16_8_euad.5	FAIL	900.97
ncf_4_16_8_u.7	FAIL	900.97
ncf_4_32_4_d.4	FAIL	900.97
ncf_8_32_4_euad.4	FAIL	900.97
ncf_4_16_8_u.5	FAIL	900.97
ncf_4_16_4_edau.5	FAIL	900.97
ncf_16_128_4_u.8	FAIL	900.97
ncf_16_64_2_euad.3	FAIL	900.97
ncf_8_16_4_u.3	FAIL	900.97
ncf_8_16_8_edau.10	FAIL	900.97
ncf_8_64_8_d.7	FAIL	900.97
ncf_8_32_4_u.1	FAIL	900.97
ncf_8_64_8_euad.8	FAIL	900.97
ncf_4_32_8_u.5	FAIL	900.97
ncf_16_128_8_u.3	FAIL	900.97
ncf_4_32_4_u.3	FAIL	900.97
ncf_8_32_8_u.8	FAIL	900.97
ncf_16_64_8_u.5	FAIL	900.97
ncf_16_32_8_edau.10	FAIL	900.97
ncf_16_32_4_edau.5	FAIL	900.97
ncf_8_64_2_edau.7	FAIL	900.97
ncf_16_64_8_u.8	FAIL	900.97
ncf_8_64_4_euad.1	FAIL	900.97
ncf_16_64_8_edau.6	FAIL	900.97
ncf_4_16_8_euad.10	FAIL	900.97
ncf_8_32_4_edau.5	FAIL	900.97
ncf_16_128_2_u.6	FAIL	900.97
ncf_4_32_4_u.8	FAIL	900.97
ncf_16_32_4_euad.1	FAIL	900.97
ncf_16_128_4_euad.8	FAIL	900.97
ncf_8_64_2_d.3	FAIL	900.97
ncf_4_16_8_edau.2	FAIL	900.97
ncf_4_32_8_d.2	FAIL	900.97
ncf_16_64_8_euad.6	FAIL	900.97
ncf_16_128_4_edau.7	FAIL	900.97
ncf_8_64_4_euad.2	FAIL	900.97
ncf_4_32_8_d.7	FAIL	900.98
ncf_8_64_2_d.1	FAIL	900.98
ncf_8_64_4_euad.7	FAIL	900.98
ncf_16_64_2_edau.4	FAIL	900.98
ncf_8_64_8_euad.1	FAIL	900.98
ncf_8_64_4_euad.4	FAIL	900.98
ncf_16_32_8_euad.1	FAIL	900.98
ncf_8_64_8_euad.10	FAIL	900.98
ncf_4_32_8_euad.9	FAIL	900.98
ncf_16_64_2_u.2	FAIL	900.98
ncf_4_32_8_euad.4	FAIL	900.98
ncf_8_64_2_edau.3	FAIL	900.98
ncf_16_128_8_u.10	FAIL	900.98
ncf_8_32_8_edau.10	FAIL	900.98
ncf_4_32_4_d.5	FAIL	900.98
ncf_4_16_8_u.9	FAIL	900.98
ncf_4_16_4_euad.8	FAIL	900.98
ncf_8_64_4_edau.6	FAIL	900.98
ncf_16_64_8_euad.7	FAIL	900.98
ncf_8_64_2_u.5	FAIL	900.98
ncf_16_128_4_u.2	FAIL	900.99
ncf_8_32_4_d.5	FAIL	900.99
ncf_16_64_2_edau.8	FAIL	900.99
ncf_8_32_8_d.2	FAIL	900.99
ncf_16_128_2_u.4	FAIL	900.99
ncf_4_32_4_d.9	FAIL	900.99
ncf_8_32_8_euad.1	FAIL	900.99
ncf_4_16_8_euad.2	FAIL	900.99
ncf_4_32_8_u.6	FAIL	900.99
ncf_16_128_2_euad.2	FAIL	901

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by openQbf
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by openQbf QBFEVAL'05

Instances of family CounterFactual solved by openQbf
QBFEVAL'05