Instances of family CounterFactual solved by <a href='solver_detail.php?solver=9'>skizzo

Instances of family CounterFactual solved by skizzo_v0.4
QBFEVAL'05

Instance	Result	Time
ncf_4_16_2_d.4	SAT	0
ncf_8_16_2_euad.8	UNSAT	0
ncf_8_16_4_d.4	SAT	0
ncf_8_16_4_d.10	SAT	0
ncf_4_8_2_d.8	SAT	0
ncf_4_16_8_d.7	SAT	0
ncf_4_8_4_edau.7	UNSAT	0
ncf_4_8_2_edau.2	SAT	0
ncf_4_8_2_edau.6	SAT	0
ncf_4_8_8_d.8	SAT	0.01
ncf_4_16_2_edau.4	SAT	0.01
ncf_8_16_2_u.8	UNSAT	0.01
ncf_8_16_4_u.1	SAT	0.01
ncf_4_8_2_edau.10	SAT	0.01
ncf_4_16_2_d.2	SAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
ncf_4_8_8_u.9	UNSAT	0.01
ncf_4_8_2_d.9	SAT	0.01
ncf_8_16_2_d.1	SAT	0.01
ncf_4_8_4_edau.6	SAT	0.01
ncf_8_16_2_d.8	UNSAT	0.01
ncf_4_8_2_d.2	SAT	0.01
ncf_8_16_2_edau.8	UNSAT	0.01
ncf_4_16_4_d.5	SAT	0.01
ncf_4_8_2_d.10	SAT	0.01
ncf_16_32_4_d.2	SAT	0.01
ncf_4_8_2_edau.1	UNSAT	0.01
ncf_4_8_4_edau.9	SAT	0.01
ncf_4_8_2_edau.7	UNSAT	0.02
ncf_8_16_2_edau.4	SAT	0.02
ncf_4_16_4_d.8	SAT	0.02
ncf_4_8_2_edau.4	UNSAT	0.02
ncf_8_16_4_d.1	SAT	0.02
ncf_8_16_2_edau.1	SAT	0.02
ncf_4_8_8_euad.9	UNSAT	0.02
ncf_4_8_8_edau.9	UNSAT	0.02
ncf_4_8_8_edau.8	SAT	0.02
ncf_4_8_4_u.9	SAT	0.02
ncf_4_16_4_d.1	SAT	0.02
ncf_4_16_8_edau.7	SAT	0.02
ncf_16_32_2_edau.6	SAT	0.02
ncf_8_16_4_edau.1	SAT	0.02
ncf_4_8_2_d.6	SAT	0.02
ncf_4_8_8_d.3	SAT	0.02
ncf_4_16_4_edau.5	SAT	0.02
ncf_4_8_4_d.6	SAT	0.02
ncf_8_16_4_edau.4	SAT	0.02
ncf_4_8_4_euad.9	SAT	0.02
ncf_4_8_2_edau.9	SAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
ncf_16_32_4_d.8	SAT	0.03
ncf_4_8_2_edau.3	UNSAT	0.03
ncf_4_8_2_euad.10	SAT	0.03
ncf_4_8_2_d.1	UNSAT	0.03
ncf_16_32_4_d.9	SAT	0.03
ncf_4_16_2_edau.2	SAT	0.03
ncf_16_32_2_d.6	SAT	0.03
ncf_4_8_8_d.9	UNSAT	0.03
ncf_8_16_4_edau.10	SAT	0.03
ncf_4_8_4_d.5	SAT	0.03
ncf_4_16_4_edau.1	SAT	0.03
ncf_16_32_4_edau.9	SAT	0.03
ncf_4_8_4_d.9	SAT	0.03
ncf_4_8_4_d.7	UNSAT	0.03
ncf_16_32_4_edau.2	SAT	0.03
ncf_4_8_8_d.1	SAT	0.03
ncf_8_16_4_euad.5	UNSAT	0.03
ncf_4_8_4_edau.5	SAT	0.03
ncf_8_16_2_d.4	SAT	0.03
ncf_4_8_2_d.7	UNSAT	0.03
ncf_4_8_8_edau.1	SAT	0.04
ncf_16_32_4_edau.8	SAT	0.04
ncf_4_16_4_edau.8	SAT	0.04
ncf_8_16_4_edau.5	UNSAT	0.04
ncf_4_8_4_edau.3	UNSAT	0.04
ncf_4_8_2_edau.8	SAT	0.04
ncf_8_16_4_d.8	UNSAT	0.04
ncf_4_8_2_d.4	UNSAT	0.04
ncf_4_8_2_d.3	UNSAT	0.04
ncf_16_32_4_edau.3	SAT	0.04
ncf_8_16_2_d.6	UNSAT	0.04
ncf_4_8_8_edau.3	SAT	0.04
ncf_16_32_2_d.7	UNSAT	0.04
ncf_4_16_2_d.6	SAT	0.04
ncf_8_16_4_euad.2	UNSAT	0.05
ncf_8_16_4_u.2	UNSAT	0.05
ncf_4_8_8_d.5	UNSAT	0.05
ncf_8_16_2_edau.3	UNSAT	0.05
ncf_16_32_4_d.3	SAT	0.05
ncf_4_8_2_u.10	SAT	0.05
ncf_16_32_8_d.3	SAT	0.05
ncf_8_16_2_d.3	UNSAT	0.06
ncf_4_8_2_u.1	UNSAT	0.06
ncf_8_16_2_euad.3	UNSAT	0.06
ncf_4_8_8_edau.5	UNSAT	0.06
ncf_16_32_8_edau.3	SAT	0.06
ncf_4_8_2_euad.1	UNSAT	0.06
ncf_8_16_2_u.6	UNSAT	0.06
ncf_8_16_4_u.5	UNSAT	0.06
ncf_4_8_2_d.5	SAT	0.06
ncf_4_8_2_euad.6	SAT	0.06
ncf_4_8_4_d.3	UNSAT	0.06
ncf_4_8_2_euad.4	UNSAT	0.06
ncf_4_8_2_euad.5	SAT	0.06
ncf_8_16_4_d.2	UNSAT	0.07
ncf_4_8_2_edau.5	SAT	0.07
ncf_4_8_2_euad.7	UNSAT	0.07
ncf_4_8_2_u.7	UNSAT	0.07
ncf_8_16_4_edau.2	UNSAT	0.07
ncf_4_8_2_euad.8	SAT	0.08
ncf_4_16_2_euad.6	SAT	0.08
ncf_16_32_2_edau.7	UNSAT	0.08
ncf_8_16_4_edau.8	UNSAT	0.08
ncf_8_16_4_d.5	UNSAT	0.08
ncf_8_16_2_edau.6	UNSAT	0.08
ncf_4_8_2_u.4	UNSAT	0.09
ncf_4_8_2_u.8	SAT	0.09
ncf_4_8_2_u.6	SAT	0.09
ncf_4_8_2_u.5	SAT	0.09
ncf_8_16_2_u.3	UNSAT	0.09
ncf_8_16_2_euad.6	UNSAT	0.1
ncf_4_16_2_u.6	SAT	0.11
ncf_4_16_2_edau.9	SAT	0.11
ncf_4_16_2_d.7	SAT	0.13
ncf_8_16_2_edau.9	UNSAT	0.13
ncf_8_16_2_d.9	UNSAT	0.14
ncf_8_16_2_u.9	UNSAT	0.15
ncf_4_16_2_d.9	SAT	0.15
ncf_4_16_2_edau.7	SAT	0.15
ncf_4_16_2_u.9	SAT	0.16
ncf_4_16_2_euad.9	SAT	0.17
ncf_4_8_4_euad.2	UNSAT	0.18
ncf_4_16_2_u.2	SAT	0.2
ncf_8_16_2_euad.9	UNSAT	0.2
ncf_4_8_4_u.2	UNSAT	0.2
ncf_4_16_2_euad.2	SAT	0.21
ncf_8_16_4_edau.6	UNSAT	0.22
ncf_4_8_4_edau.2	UNSAT	0.22
ncf_4_16_4_u.5	SAT	0.22
ncf_4_8_4_d.2	UNSAT	0.22
ncf_4_8_4_edau.1	SAT	0.23
ncf_8_16_4_d.6	UNSAT	0.23
ncf_4_8_4_d.1	SAT	0.25
ncf_4_16_2_euad.4	SAT	0.27
ncf_4_8_4_u.5	SAT	0.28
ncf_4_16_2_edau.5	UNSAT	0.28
ncf_4_16_4_euad.5	SAT	0.29
ncf_4_8_4_euad.5	SAT	0.29
ncf_4_8_2_euad.3	UNSAT	0.29
ncf_16_32_2_edau.9	UNSAT	0.32
ncf_16_32_2_u.9	UNSAT	0.32
ncf_4_8_4_edau.10	SAT	0.34
ncf_16_32_4_edau.10	UNSAT	0.34
ncf_16_32_4_d.10	UNSAT	0.34
ncf_4_16_2_euad.7	FAIL	0.35
ncf_4_8_4_d.10	SAT	0.36
ncf_4_8_2_u.3	UNSAT	0.37
ncf_4_8_8_d.4	SAT	0.37
ncf_4_16_2_d.5	UNSAT	0.4
ncf_4_16_4_edau.9	SAT	0.41
ncf_16_32_2_d.8	UNSAT	0.41
ncf_16_32_2_d.9	UNSAT	0.42
ncf_16_32_2_euad.9	UNSAT	0.42
ncf_16_32_2_d.5	UNSAT	0.43
ncf_4_8_4_d.8	UNSAT	0.44
ncf_16_32_2_edau.5	UNSAT	0.45
ncf_4_8_4_edau.8	UNSAT	0.46
ncf_4_8_4_edau.4	UNSAT	0.46
ncf_4_8_8_euad.1	SAT	0.49
ncf_4_16_2_u.7	FAIL	0.49
ncf_4_16_4_d.9	SAT	0.5
ncf_4_8_8_u.1	SAT	0.51
ncf_4_16_4_u.1	SAT	0.52
ncf_4_8_4_euad.6	SAT	0.52
ncf_4_8_4_d.4	UNSAT	0.52
ncf_4_8_4_euad.7	UNSAT	0.53
ncf_4_8_4_u.6	SAT	0.55
ncf_16_32_2_edau.8	UNSAT	0.55
ncf_4_8_2_euad.9	SAT	0.56
ncf_4_16_4_euad.1	SAT	0.57
ncf_4_8_4_u.7	UNSAT	0.59
ncf_4_8_8_u.3	SAT	0.64
ncf_8_16_2_d.5	UNSAT	0.67
ncf_4_8_4_euad.3	UNSAT	0.68
ncf_4_8_4_u.3	UNSAT	0.71
ncf_4_8_8_euad.3	SAT	0.75
ncf_4_16_4_u.9	SAT	0.75
ncf_8_16_2_edau.5	UNSAT	0.75
ncf_4_16_4_euad.9	SAT	0.79
ncf_4_16_2_u.4	SAT	0.82
ncf_4_16_4_euad.8	SAT	0.84
ncf_4_8_8_u.4	SAT	0.86
ncf_4_8_4_u.8	UNSAT	0.87
ncf_4_8_8_euad.4	SAT	0.88
ncf_4_8_4_euad.8	UNSAT	0.88
ncf_4_16_4_u.8	SAT	0.89
ncf_16_32_2_u.7	UNSAT	0.96
ncf_4_8_4_euad.4	UNSAT	1
ncf_4_16_2_edau.10	UNSAT	1.07
ncf_4_8_4_euad.1	SAT	1.08
ncf_4_8_4_u.4	UNSAT	1.12
ncf_16_32_4_d.7	UNSAT	1.18
ncf_16_32_8_edau.8	UNSAT	1.21
ncf_8_16_2_euad.1	SAT	1.23
ncf_16_32_8_d.8	UNSAT	1.3
ncf_8_16_4_u.6	UNSAT	1.3
ncf_16_32_4_edau.7	UNSAT	1.32
ncf_16_32_2_euad.7	UNSAT	1.37
ncf_8_16_2_u.1	SAT	1.45
ncf_8_16_2_u.5	UNSAT	1.46
ncf_4_16_2_d.10	UNSAT	1.48
ncf_8_16_2_edau.7	SAT	1.62
ncf_8_16_4_euad.6	UNSAT	1.62
ncf_8_16_2_d.7	SAT	1.75
ncf_8_16_2_euad.5	UNSAT	1.83
ncf_4_8_8_u.5	UNSAT	2.8
ncf_4_16_2_u.5	UNSAT	2.83
ncf_4_16_2_euad.5	UNSAT	2.94
ncf_4_16_2_d.8	SAT	2.97
ncf_4_8_8_euad.5	UNSAT	3.12
ncf_8_16_4_d.3	SAT	3.32
ncf_4_32_2_euad.2	FAIL	3.65
ncf_4_8_4_euad.10	FAIL	3.84
ncf_4_32_2_edau.1	UNSAT	4.5
ncf_4_32_2_d.1	UNSAT	4.93
ncf_4_8_4_u.10	FAIL	5
ncf_8_16_4_u.8	UNSAT	7.53
ncf_4_16_4_edau.4	UNSAT	7.69
ncf_4_16_4_d.4	UNSAT	8
ncf_8_16_8_d.7	UNSAT	8.69
ncf_8_16_8_edau.7	UNSAT	12.15
ncf_4_32_2_euad.1	UNSAT	12.95
ncf_8_16_4_euad.8	UNSAT	13.61
ncf_4_16_2_u.8	SAT	13.77
ncf_4_16_2_euad.8	SAT	15.64
ncf_4_32_2_u.1	UNSAT	15.79
ncf_4_8_2_euad.2	FAIL	21.61
ncf_8_16_2_u.7	SAT	25.3
ncf_4_16_2_u.10	FAIL	25.4
ncf_8_16_2_edau.10	SAT	26.08
ncf_8_16_2_d.10	SAT	26.23
ncf_8_16_2_euad.7	SAT	26.46
ncf_8_32_2_edau.9	UNSAT	28.44
ncf_4_8_8_d.2	UNSAT	29.41
ncf_8_32_2_d.9	UNSAT	30.9
ncf_4_8_4_u.1	SAT	41.8
ncf_4_8_8_euad.8	SAT	47.99
ncf_4_16_4_edau.10	UNSAT	50.28
ncf_4_16_2_d.1	UNSAT	54.99
ncf_4_16_2_euad.1	UNSAT	59.24
ncf_4_16_4_d.7	FAIL	60.52
ncf_4_32_2_u.2	FAIL	65.22
ncf_8_16_4_edau.3	SAT	77.17
ncf_4_16_4_d.10	UNSAT	79.7
ncf_4_8_8_u.8	FAIL	85.28
ncf_4_8_2_u.9	SAT	92.54
ncf_4_16_2_u.1	UNSAT	95.83
ncf_4_16_2_edau.1	UNSAT	111.85
ncf_4_8_8_edau.2	UNSAT	117.32
ncf_4_16_4_euad.10	UNSAT	141.77
ncf_4_16_4_euad.7	FAIL	147.68
ncf_4_16_4_u.10	UNSAT	164.29
ncf_4_16_4_u.7	FAIL	169.11
ncf_8_16_2_euad.10	SAT	204.73
ncf_4_16_2_u.3	UNSAT	246.65
ncf_16_32_2_edau.10	UNSAT	312.68
ncf_4_16_4_euad.4	FAIL	338.24
ncf_8_16_2_u.10	FAIL	411.16
ncf_4_32_2_u.8	FAIL	439.17
ncf_4_16_4_edau.7	FAIL	460.61
ncf_4_8_8_u.2	UNSAT	462.39
ncf_4_16_8_u.7	FAIL	468.23
ncf_4_16_2_d.3	FAIL	494.66
ncf_4_16_4_edau.3	FAIL	495.75
ncf_16_128_2_euad.10	FAIL	496.92
ncf_4_32_2_d.8	FAIL	517.74
ncf_4_32_2_euad.8	FAIL	518.52
ncf_16_128_2_edau.1	FAIL	528.15
ncf_16_128_8_edau.9	FAIL	542.03
ncf_4_8_2_u.2	SAT	553.47
ncf_16_128_2_u.3	FAIL	556.68
ncf_16_128_8_d.2	FAIL	573.18
ncf_16_128_2_edau.4	FAIL	594.47
ncf_16_128_2_euad.2	FAIL	600.5
ncf_8_16_4_u.10	FAIL	600.59
ncf_16_128_8_d.9	FAIL	605.08
ncf_8_16_2_u.2	UNSAT	624.27
ncf_4_16_4_euad.6	UNSAT	629.68
ncf_8_32_2_d.8	FAIL	654.59
ncf_8_16_2_euad.2	UNSAT	664.12
ncf_16_128_8_u.5	FAIL	668.37
ncf_16_128_8_edau.5	FAIL	669.2
ncf_8_16_4_euad.10	FAIL	693.86
ncf_16_128_8_edau.4	FAIL	712.27
ncf_8_64_2_edau.3	FAIL	736.09
ncf_4_16_4_d.3	FAIL	761.48
ncf_4_16_2_euad.10	FAIL	762.1
ncf_8_32_2_edau.8	FAIL	763.44
ncf_16_32_2_d.10	UNSAT	770.09
ncf_4_32_2_edau.2	FAIL	790.1
ncf_8_16_2_u.4	FAIL	805.26
ncf_8_16_2_d.2	UNSAT	809.55
ncf_16_128_8_edau.2	FAIL	811.46
ncf_4_8_8_edau.4	FAIL	815.19
ncf_4_16_2_edau.8	FAIL	816.92
ncf_4_32_2_d.2	FAIL	826.85
ncf_8_16_8_euad.7	UNSAT	828.27
ncf_16_128_8_euad.8	FAIL	836.86
ncf_8_16_8_edau.1	SAT	846.74
ncf_8_16_8_u.1	SAT	847.71
ncf_4_16_4_u.4	FAIL	853.72
ncf_4_32_2_edau.8	FAIL	858.51
ncf_8_16_2_edau.2	UNSAT	870.4
ncf_16_128_2_euad.5	FAIL	897.72
ncf_8_64_2_u.8	FAIL	898.04
ncf_4_32_4_u.7	FAIL	898.04
ncf_16_128_4_edau.7	FAIL	898.07
ncf_8_64_4_u.6	FAIL	899.45
ncf_4_16_2_edau.3	FAIL	899.59
ncf_8_64_4_euad.6	FAIL	899.7
ncf_8_64_4_euad.2	FAIL	899.81
ncf_8_64_4_d.3	FAIL	899.98
ncf_8_64_4_edau.10	FAIL	900.04
ncf_8_64_4_euad.4	FAIL	900.05
ncf_8_64_4_u.2	FAIL	900.06
ncf_8_64_4_u.3	FAIL	900.09
ncf_16_128_4_euad.6	FAIL	900.11
ncf_8_64_4_u.7	FAIL	900.13
ncf_8_64_4_edau.2	FAIL	900.13
ncf_16_128_4_u.3	FAIL	900.15
ncf_16_128_4_u.4	FAIL	900.18
ncf_8_64_4_d.6	FAIL	900.2
ncf_16_128_4_edau.6	FAIL	900.2
ncf_16_128_8_edau.10	FAIL	900.21
ncf_8_32_2_euad.5	FAIL	900.21
ncf_4_32_2_u.4	FAIL	900.24
ncf_16_128_8_u.6	FAIL	900.28
ncf_16_128_4_d.3	FAIL	900.29
ncf_8_64_8_edau.4	FAIL	900.29
ncf_8_64_4_euad.10	FAIL	900.29
ncf_8_32_8_d.3	FAIL	900.29
ncf_8_64_8_euad.4	FAIL	900.3
ncf_16_64_4_edau.9	FAIL	900.3
ncf_8_64_2_d.5	FAIL	900.31
ncf_16_128_2_d.7	FAIL	900.31
ncf_16_128_8_d.3	FAIL	900.31
ncf_16_128_4_edau.2	FAIL	900.32
ncf_16_128_4_u.5	FAIL	900.32
ncf_16_128_4_edau.3	FAIL	900.32
ncf_8_32_8_u.8	FAIL	900.32
ncf_16_128_2_d.2	FAIL	900.33
ncf_16_64_2_edau.8	FAIL	900.34
ncf_8_64_4_d.5	FAIL	900.34
ncf_16_64_2_euad.6	FAIL	900.34
ncf_4_32_8_d.3	FAIL	900.34
ncf_8_64_2_d.2	FAIL	900.34
ncf_8_64_8_d.8	FAIL	900.35
ncf_16_128_2_d.9	FAIL	900.36
ncf_8_64_4_d.1	FAIL	900.36
ncf_8_64_4_edau.9	FAIL	900.36
ncf_8_64_8_u.6	FAIL	900.36
ncf_8_64_2_d.4	FAIL	900.36
ncf_8_64_4_euad.8	FAIL	900.37
ncf_8_64_2_euad.3	FAIL	900.37
ncf_8_64_2_d.8	FAIL	900.37
ncf_8_64_4_u.1	FAIL	900.37
ncf_16_128_2_u.5	FAIL	900.37
ncf_8_64_4_edau.5	FAIL	900.38
ncf_8_64_4_euad.9	FAIL	900.38
ncf_8_64_8_euad.6	FAIL	900.38
ncf_8_64_4_u.4	FAIL	900.38
ncf_8_16_4_edau.7	FAIL	900.39
ncf_16_64_4_d.2	FAIL	900.39
ncf_8_64_2_euad.1	FAIL	900.39
ncf_4_32_4_edau.2	FAIL	900.39
ncf_16_128_4_edau.1	FAIL	900.39
ncf_4_32_2_euad.4	FAIL	900.4
ncf_8_32_8_euad.4	FAIL	900.4
ncf_8_64_4_d.9	FAIL	900.4
ncf_4_32_8_u.4	FAIL	900.4
ncf_8_64_4_d.4	FAIL	900.4
ncf_8_32_8_u.3	FAIL	900.4
ncf_8_64_4_d.2	FAIL	900.4
ncf_8_64_2_d.3	FAIL	900.42
ncf_8_64_8_d.6	FAIL	900.42
ncf_8_64_2_euad.2	FAIL	900.43
ncf_8_64_4_u.5	FAIL	900.43
ncf_16_128_2_u.9	FAIL	900.43
ncf_8_32_4_edau.5	FAIL	900.43
ncf_8_64_2_u.4	FAIL	900.44
ncf_8_64_8_d.1	FAIL	900.44
ncf_8_32_8_edau.1	FAIL	900.44
ncf_8_64_8_d.10	FAIL	900.44
ncf_8_64_2_d.9	FAIL	900.44
ncf_8_64_4_u.10	FAIL	900.45
ncf_16_128_2_edau.7	FAIL	900.45
ncf_4_16_2_euad.3	FAIL	900.45
ncf_8_32_8_euad.3	FAIL	900.45
ncf_4_32_8_d.2	FAIL	900.46
ncf_8_32_2_d.7	FAIL	900.46
ncf_16_128_8_edau.6	FAIL	900.46
ncf_8_64_2_euad.10	FAIL	900.46
ncf_4_32_4_euad.2	FAIL	900.47
ncf_16_64_2_d.10	FAIL	900.47
ncf_8_64_2_edau.2	FAIL	900.47
ncf_16_128_8_euad.10	FAIL	900.47
ncf_16_128_8_d.7	FAIL	900.47
ncf_4_32_4_d.1	FAIL	900.47
ncf_8_32_8_edau.3	FAIL	900.47
ncf_8_32_2_d.4	FAIL	900.48
ncf_16_64_4_edau.1	FAIL	900.48
ncf_16_64_4_d.9	FAIL	900.48
ncf_8_64_2_edau.5	FAIL	900.48
ncf_8_64_8_u.10	FAIL	900.48
ncf_8_32_8_u.4	FAIL	900.48
ncf_8_64_4_edau.6	FAIL	900.48
ncf_8_32_2_euad.1	FAIL	900.49
ncf_8_32_8_d.1	FAIL	900.49
ncf_8_64_2_d.10	FAIL	900.49
ncf_8_64_2_d.1	FAIL	900.49
ncf_8_16_4_d.7	FAIL	900.49
ncf_8_32_8_d.8	FAIL	900.49
ncf_8_64_2_u.10	FAIL	900.49
ncf_4_32_2_d.9	FAIL	900.49
ncf_8_64_4_u.8	FAIL	900.49
ncf_8_64_4_edau.4	FAIL	900.5
ncf_8_32_2_edau.10	FAIL	900.5
ncf_8_64_4_d.8	FAIL	900.5
ncf_16_128_4_edau.9	FAIL	900.5
ncf_4_32_2_edau.10	FAIL	900.51
ncf_8_64_2_u.9	FAIL	900.51
ncf_8_64_4_d.10	FAIL	900.51
ncf_8_64_4_euad.5	FAIL	900.51
ncf_8_64_4_edau.7	FAIL	900.51
ncf_16_128_8_d.10	FAIL	900.51
ncf_8_64_4_euad.1	FAIL	900.51
ncf_8_32_4_d.6	FAIL	900.52
ncf_8_64_4_euad.7	FAIL	900.52
ncf_8_64_2_euad.5	FAIL	900.52
ncf_8_32_4_edau.4	FAIL	900.52
ncf_8_64_2_edau.6	FAIL	900.52
ncf_16_128_4_euad.10	FAIL	900.52
ncf_4_32_4_d.2	FAIL	900.53
ncf_4_32_8_edau.7	FAIL	900.53
ncf_8_32_2_euad.10	FAIL	900.53
ncf_8_16_2_euad.4	FAIL	900.54
ncf_4_32_2_edau.3	FAIL	900.54
ncf_8_64_8_u.4	FAIL	900.54
ncf_8_64_8_edau.6	FAIL	900.54
ncf_16_64_2_euad.10	FAIL	900.54
ncf_4_32_4_u.2	FAIL	900.54
ncf_8_64_4_edau.3	FAIL	900.55
ncf_8_32_8_d.6	FAIL	900.56
ncf_16_128_8_u.2	FAIL	900.56
ncf_8_32_4_euad.2	FAIL	900.56
ncf_16_128_4_d.10	FAIL	900.56
ncf_8_32_8_d.4	FAIL	900.56
ncf_8_64_2_d.6	FAIL	900.56
ncf_4_32_8_u.8	FAIL	900.57
ncf_16_32_2_d.2	FAIL	900.57
ncf_8_64_4_edau.8	FAIL	900.57
ncf_8_64_8_d.9	FAIL	900.57
ncf_8_32_8_edau.8	FAIL	900.58
ncf_8_32_8_u.1	FAIL	900.58
ncf_8_64_2_d.7	FAIL	900.58
ncf_16_64_2_euad.4	FAIL	900.58
ncf_8_32_4_u.4	FAIL	900.58
ncf_8_64_4_d.7	FAIL	900.58
ncf_16_32_8_edau.2	FAIL	900.58
ncf_8_64_8_edau.8	FAIL	900.58
ncf_4_32_8_euad.4	FAIL	900.58
ncf_4_32_2_edau.4	FAIL	900.58
ncf_8_32_8_d.2	FAIL	900.58
ncf_4_32_8_d.7	FAIL	900.59
ncf_16_128_8_d.6	FAIL	900.59
ncf_4_32_4_u.5	FAIL	900.59
ncf_8_32_4_u.5	FAIL	900.59
ncf_16_128_8_u.10	FAIL	900.59
ncf_4_16_8_u.4	FAIL	900.59
ncf_8_64_4_edau.1	FAIL	900.59
ncf_16_64_4_edau.2	FAIL	900.59
ncf_16_32_2_d.4	FAIL	900.59
ncf_8_16_8_edau.8	FAIL	900.6
ncf_4_32_2_edau.9	FAIL	900.6
ncf_8_32_8_d.10	FAIL	900.6
ncf_4_32_2_d.10	FAIL	900.6
ncf_16_128_2_edau.9	FAIL	900.6
ncf_8_32_8_euad.8	FAIL	900.6
ncf_8_32_8_u.9	FAIL	900.61
ncf_4_32_2_u.6	FAIL	900.61
ncf_8_32_8_u.10	FAIL	900.61
ncf_16_32_8_d.7	FAIL	900.61
ncf_4_32_4_euad.1	FAIL	900.61
ncf_8_64_8_euad.8	FAIL	900.61
ncf_8_32_8_u.5	FAIL	900.61
ncf_8_64_8_edau.3	FAIL	900.61
ncf_8_32_8_edau.6	FAIL	900.61
ncf_4_32_2_euad.6	FAIL	900.61
ncf_8_32_2_u.4	FAIL	900.61
ncf_4_32_4_d.9	FAIL	900.61
ncf_16_64_4_d.6	FAIL	900.62
ncf_8_64_8_edau.7	FAIL	900.62
ncf_8_64_8_euad.2	FAIL	900.62
ncf_4_16_8_edau.1	FAIL	900.62
ncf_16_64_2_euad.8	FAIL	900.62
ncf_8_32_2_d.1	FAIL	900.63
ncf_8_64_4_euad.3	FAIL	900.63
ncf_16_32_8_d.1	FAIL	900.63
ncf_8_16_4_euad.7	FAIL	900.63
ncf_16_64_4_euad.2	FAIL	900.63
ncf_4_32_2_u.10	FAIL	900.63
ncf_8_32_8_edau.5	FAIL	900.63
ncf_8_32_4_edau.2	FAIL	900.63
ncf_4_32_8_u.2	FAIL	900.63
ncf_4_32_2_euad.3	FAIL	900.64
ncf_8_64_2_euad.8	FAIL	900.64
ncf_8_64_8_edau.5	FAIL	900.64
ncf_16_64_4_u.5	FAIL	900.64
ncf_8_32_8_euad.7	FAIL	900.64
ncf_8_16_8_u.10	FAIL	900.64
ncf_8_32_8_d.9	FAIL	900.64
ncf_16_64_4_edau.5	FAIL	900.64
ncf_16_64_4_euad.6	FAIL	900.64
ncf_16_128_8_u.3	FAIL	900.64
ncf_8_32_8_euad.10	FAIL	900.64
ncf_4_32_2_d.3	FAIL	900.64
ncf_8_64_8_u.5	FAIL	900.64
ncf_16_64_2_edau.4	FAIL	900.65
ncf_8_64_2_euad.9	FAIL	900.65
ncf_8_64_8_d.7	FAIL	900.65
ncf_8_64_8_u.8	FAIL	900.65
ncf_16_64_4_u.9	FAIL	900.65
ncf_4_16_8_u.3	FAIL	900.65
ncf_4_32_8_euad.7	FAIL	900.65
ncf_4_32_2_d.7	FAIL	900.65
ncf_8_16_8_euad.10	FAIL	900.65
ncf_16_64_8_u.8	FAIL	900.65
ncf_16_64_4_d.10	FAIL	900.65
ncf_8_16_8_d.6	FAIL	900.66
ncf_16_32_8_d.5	FAIL	900.66
ncf_4_32_8_euad.2	FAIL	900.66
ncf_8_64_8_edau.1	FAIL	900.66
ncf_8_32_2_u.1	FAIL	900.66
ncf_4_32_4_u.9	FAIL	900.66
ncf_8_32_8_u.7	FAIL	900.66
ncf_4_32_8_euad.9	FAIL	900.66
ncf_8_64_2_edau.9	FAIL	900.66
ncf_8_64_4_u.9	FAIL	900.66
ncf_4_32_4_u.4	FAIL	900.66
ncf_4_32_8_d.4	FAIL	900.66
ncf_8_64_8_euad.3	FAIL	900.66
ncf_8_32_4_edau.8	FAIL	900.66
ncf_8_64_8_euad.9	FAIL	900.66
ncf_16_128_4_euad.9	FAIL	900.66
ncf_4_32_8_euad.10	FAIL	900.67
ncf_16_32_8_euad.9	FAIL	900.67
ncf_4_32_8_edau.3	FAIL	900.67
ncf_16_32_4_d.4	FAIL	900.67
ncf_4_32_8_u.10	FAIL	900.67
ncf_8_64_2_euad.4	FAIL	900.67
ncf_16_128_8_u.4	FAIL	900.67
ncf_8_64_8_d.4	FAIL	900.67
ncf_8_32_2_edau.4	FAIL	900.67
ncf_8_64_2_edau.7	FAIL	900.67
ncf_16_32_4_d.1	FAIL	900.67
ncf_16_32_8_euad.4	FAIL	900.67
ncf_4_32_8_u.7	FAIL	900.67
ncf_8_64_2_edau.10	FAIL	900.68
ncf_16_64_4_euad.10	FAIL	900.68
ncf_4_16_8_edau.6	FAIL	900.68
ncf_16_64_2_d.8	FAIL	900.68
ncf_8_32_4_u.1	FAIL	900.68
ncf_8_64_2_u.3	FAIL	900.68
ncf_8_32_8_edau.10	FAIL	900.68
ncf_16_32_2_euad.5	FAIL	900.68
ncf_8_64_8_edau.9	FAIL	900.68
ncf_4_32_2_edau.6	FAIL	900.68
ncf_8_16_4_euad.4	FAIL	900.69
ncf_8_32_8_d.5	FAIL	900.69
ncf_4_32_8_edau.8	FAIL	900.69
ncf_8_64_8_edau.10	FAIL	900.69
ncf_8_32_4_d.8	FAIL	900.69
ncf_16_32_8_u.6	FAIL	900.69
ncf_8_64_8_euad.5	FAIL	900.69
ncf_8_16_8_euad.2	FAIL	900.69
ncf_16_128_8_edau.7	FAIL	900.69
ncf_16_128_8_euad.9	FAIL	900.69
ncf_4_32_4_u.6	FAIL	900.69
ncf_16_32_2_euad.6	FAIL	900.69
ncf_16_128_8_euad.3	FAIL	900.69
ncf_4_16_8_euad.4	FAIL	900.69
ncf_4_16_8_d.4	FAIL	900.69
ncf_4_32_4_euad.10	FAIL	900.69
ncf_4_16_8_euad.3	FAIL	900.69
ncf_8_32_4_euad.6	FAIL	900.69
ncf_16_64_4_u.4	FAIL	900.69
ncf_16_32_4_u.6	FAIL	900.69
ncf_16_64_8_edau.5	FAIL	900.69
ncf_16_32_4_euad.5	FAIL	900.7
ncf_16_64_4_edau.6	FAIL	900.7
ncf_4_32_4_edau.1	FAIL	900.7
ncf_8_16_8_euad.9	FAIL	900.7
ncf_4_32_4_edau.4	FAIL	900.7
ncf_8_32_2_euad.8	FAIL	900.7
ncf_8_32_4_u.3	FAIL	900.7
ncf_8_64_2_u.7	FAIL	900.7
ncf_8_32_2_edau.6	FAIL	900.7
ncf_4_32_8_edau.2	FAIL	900.7
ncf_4_16_8_d.3	FAIL	900.7
ncf_4_32_4_euad.5	FAIL	900.7
ncf_16_32_4_u.7	FAIL	900.7
ncf_8_64_8_d.3	FAIL	900.7
ncf_16_32_4_euad.1	FAIL	900.7
ncf_8_32_8_d.7	FAIL	900.7
ncf_8_32_8_euad.9	FAIL	900.71
ncf_8_64_2_u.5	FAIL	900.71
ncf_8_16_8_euad.5	FAIL	900.71
ncf_4_32_4_euad.7	FAIL	900.71
ncf_4_32_2_u.3	FAIL	900.71
ncf_8_64_8_u.1	FAIL	900.71
ncf_4_32_8_euad.8	FAIL	900.71
ncf_4_32_4_edau.5	FAIL	900.71
ncf_16_64_2_d.6	FAIL	900.71
ncf_8_64_2_u.2	FAIL	900.71
ncf_4_32_4_u.1	FAIL	900.71
ncf_16_64_8_d.6	FAIL	900.71
ncf_4_16_8_euad.2	FAIL	900.71
ncf_4_32_8_euad.3	FAIL	900.71
ncf_16_64_2_u.5	FAIL	900.72
ncf_16_128_8_u.1	FAIL	900.72
ncf_16_64_2_u.8	FAIL	900.72
ncf_16_128_4_edau.5	FAIL	900.72
ncf_8_32_8_u.6	FAIL	900.72
ncf_4_16_8_d.10	FAIL	900.72
ncf_8_32_4_d.9	FAIL	900.72
ncf_16_128_8_euad.2	FAIL	900.72
ncf_4_32_8_edau.4	FAIL	900.72
ncf_4_32_8_u.3	FAIL	900.72
ncf_8_64_8_euad.10	FAIL	900.72
ncf_4_16_8_euad.9	FAIL	900.72
ncf_8_16_8_edau.3	FAIL	900.72
ncf_4_32_2_edau.7	FAIL	900.72
ncf_8_32_2_u.7	FAIL	900.72
ncf_8_32_8_edau.9	FAIL	900.72
ncf_4_32_8_euad.6	FAIL	900.72
ncf_4_32_4_u.8	FAIL	900.72
ncf_16_64_8_u.4	FAIL	900.72
ncf_16_128_4_u.6	FAIL	900.73
ncf_16_64_2_euad.2	FAIL	900.73
ncf_4_8_8_edau.7	FAIL	900.73
ncf_16_64_4_euad.9	FAIL	900.73
ncf_4_32_8_edau.5	FAIL	900.73
ncf_16_32_8_euad.8	FAIL	900.73
ncf_8_64_8_u.7	FAIL	900.73
ncf_4_32_4_euad.4	FAIL	900.73
ncf_8_32_2_u.9	FAIL	900.73
ncf_8_16_8_euad.1	FAIL	900.73
ncf_4_16_8_euad.1	FAIL	900.73
ncf_8_32_4_euad.10	FAIL	900.73
ncf_16_32_4_edau.1	FAIL	900.73
ncf_16_128_8_euad.6	FAIL	900.73
ncf_4_32_8_d.10	FAIL	900.73
ncf_8_32_2_u.10	FAIL	900.73
ncf_4_32_4_euad.9	FAIL	900.73
ncf_8_64_2_euad.6	FAIL	900.73
ncf_16_64_2_edau.6	FAIL	900.73
ncf_16_128_4_u.8	FAIL	900.73
ncf_8_32_8_edau.2	FAIL	900.73
ncf_16_32_2_u.6	FAIL	900.73
ncf_4_8_8_u.6	FAIL	900.73
ncf_8_32_4_d.7	FAIL	900.73
ncf_4_32_4_d.5	FAIL	900.73
ncf_8_64_2_edau.1	FAIL	900.73
ncf_8_64_2_u.6	FAIL	900.73
ncf_16_128_8_euad.7	FAIL	900.73
ncf_16_32_4_euad.3	FAIL	900.73
ncf_4_16_4_u.3	FAIL	900.73
ncf_8_32_2_euad.7	FAIL	900.73
ncf_4_32_2_d.4	FAIL	900.73
ncf_4_32_8_u.1	FAIL	900.73
ncf_8_16_4_edau.9	FAIL	900.74
ncf_16_32_8_euad.3	FAIL	900.74
ncf_16_64_8_edau.3	FAIL	900.74
ncf_16_128_8_euad.5	FAIL	900.74
ncf_4_16_8_edau.3	FAIL	900.74
ncf_8_64_2_edau.8	FAIL	900.74
ncf_16_64_4_u.2	FAIL	900.74
ncf_16_128_8_u.7	FAIL	900.74
ncf_16_64_2_edau.3	FAIL	900.74
ncf_8_32_8_edau.7	FAIL	900.74
ncf_8_32_2_edau.5	FAIL	900.74
ncf_16_64_8_edau.8	FAIL	900.74
ncf_16_32_2_euad.10	FAIL	900.74
ncf_4_16_4_edau.2	FAIL	900.74
ncf_16_128_8_u.8	FAIL	900.74
ncf_8_32_4_d.1	FAIL	900.74
ncf_8_16_8_euad.3	FAIL	900.74
ncf_8_32_8_euad.5	FAIL	900.74
ncf_8_32_4_u.10	FAIL	900.75
ncf_4_8_8_u.10	FAIL	900.75
ncf_16_64_2_u.6	FAIL	900.75
ncf_4_32_4_d.3	FAIL	900.75
ncf_4_32_8_u.9	FAIL	900.75
ncf_8_64_8_d.2	FAIL	900.75
ncf_4_32_4_euad.8	FAIL	900.75
ncf_8_32_2_euad.2	FAIL	900.75
ncf_8_32_4_d.5	FAIL	900.75
ncf_8_16_8_u.3	FAIL	900.75
ncf_16_64_2_euad.5	FAIL	900.75
ncf_8_32_8_euad.6	FAIL	900.75
ncf_16_32_2_u.4	FAIL	900.75
ncf_16_32_8_edau.7	FAIL	900.75
ncf_4_32_8_euad.1	FAIL	900.75
ncf_4_16_8_edau.9	FAIL	900.75
ncf_4_32_2_euad.5	FAIL	900.75
ncf_4_8_8_d.10	FAIL	900.76
ncf_16_128_8_d.4	FAIL	900.76
ncf_16_32_2_edau.1	FAIL	900.76
ncf_8_32_8_edau.4	FAIL	900.76
ncf_16_128_4_d.5	FAIL	900.76
ncf_16_64_4_d.1	FAIL	900.76
ncf_16_64_4_d.7	FAIL	900.76
ncf_8_16_8_d.10	FAIL	900.76
ncf_16_64_4_euad.8	FAIL	900.76
ncf_8_64_8_euad.7	FAIL	900.76
ncf_4_8_8_euad.7	FAIL	900.76
ncf_4_32_4_edau.6	FAIL	900.76
ncf_4_16_4_u.2	FAIL	900.76
ncf_8_16_4_u.3	FAIL	900.76
ncf_16_32_8_edau.5	FAIL	900.76
ncf_16_64_8_u.6	FAIL	900.76
ncf_16_128_2_edau.3	FAIL	900.76
ncf_16_32_4_u.2	FAIL	900.76
ncf_8_32_8_u.2	FAIL	900.76
ncf_16_32_2_u.8	FAIL	900.76
ncf_8_32_2_u.3	FAIL	900.76
ncf_8_32_8_euad.1	FAIL	900.76
ncf_8_16_8_u.2	FAIL	900.77
ncf_8_32_4_u.8	FAIL	900.77
ncf_8_16_8_edau.6	FAIL	900.77
ncf_16_128_2_euad.3	FAIL	900.77
ncf_16_128_8_edau.3	FAIL	900.77
ncf_16_32_4_u.3	FAIL	900.77
ncf_16_64_2_d.2	FAIL	900.77
ncf_4_16_8_d.8	FAIL	900.77
ncf_8_16_4_d.9	FAIL	900.77
ncf_4_32_8_d.6	FAIL	900.77
ncf_16_64_8_d.1	FAIL	900.77
ncf_4_16_8_u.5	FAIL	900.77
ncf_16_128_4_d.8	FAIL	900.77
ncf_4_32_8_d.8	FAIL	900.77
ncf_4_16_4_u.6	FAIL	900.77
ncf_16_64_8_u.3	FAIL	900.77
ncf_4_32_4_d.6	FAIL	900.77
ncf_8_16_4_u.9	FAIL	900.77
ncf_16_32_2_u.10	FAIL	900.77
ncf_16_128_8_u.9	FAIL	900.77
ncf_8_32_2_euad.3	FAIL	900.77
ncf_16_32_2_euad.2	FAIL	900.77
ncf_8_32_2_euad.4	FAIL	900.77
ncf_16_128_8_edau.8	FAIL	900.77
ncf_16_32_4_edau.5	FAIL	900.77
ncf_4_16_8_u.9	FAIL	900.77
ncf_4_32_4_edau.9	FAIL	900.77
ncf_4_16_4_d.2	FAIL	900.77
ncf_8_32_4_u.2	FAIL	900.77
ncf_8_32_4_euad.9	FAIL	900.78
ncf_4_16_8_u.6	FAIL	900.78
ncf_16_64_4_euad.7	FAIL	900.78
ncf_16_128_8_euad.4	FAIL	900.78
ncf_4_16_8_edau.2	FAIL	900.78
ncf_4_32_4_edau.7	FAIL	900.78
ncf_4_8_8_euad.2	FAIL	900.78
ncf_8_64_8_d.5	FAIL	900.78
ncf_4_16_8_edau.10	FAIL	900.78
ncf_4_32_4_d.8	FAIL	900.78
ncf_8_16_8_d.5	FAIL	900.78
ncf_8_64_8_u.3	FAIL	900.78
ncf_8_64_8_edau.2	FAIL	900.78
ncf_8_32_4_edau.9	FAIL	900.78
ncf_16_32_8_d.6	FAIL	900.78
ncf_8_32_4_euad.5	FAIL	900.78
ncf_8_32_2_edau.7	FAIL	900.78
ncf_8_32_4_edau.7	FAIL	900.78
ncf_8_32_2_edau.2	FAIL	900.78
ncf_4_16_8_edau.8	FAIL	900.78
ncf_16_64_8_edau.7	FAIL	900.78
ncf_8_32_4_edau.10	FAIL	900.78
ncf_16_32_8_u.7	FAIL	900.78
ncf_8_32_2_euad.9	FAIL	900.78
ncf_16_64_4_u.6	FAIL	900.78
ncf_16_64_8_euad.8	FAIL	900.78
ncf_16_32_8_euad.6	FAIL	900.78
ncf_8_64_8_u.9	FAIL	900.78
ncf_8_32_4_d.10	FAIL	900.78
ncf_16_32_8_u.9	FAIL	900.78
ncf_16_32_4_d.5	FAIL	900.78
ncf_8_16_8_u.9	FAIL	900.79
ncf_16_64_8_euad.5	FAIL	900.79
ncf_16_64_4_euad.4	FAIL	900.79
ncf_16_32_2_edau.3	FAIL	900.79
ncf_8_32_2_edau.1	FAIL	900.79
ncf_8_32_8_euad.2	FAIL	900.79
ncf_16_32_4_euad.4	FAIL	900.79
ncf_8_32_2_u.5	FAIL	900.79
ncf_16_128_2_d.4	FAIL	900.79
ncf_8_16_8_u.5	FAIL	900.79
ncf_16_64_4_u.8	FAIL	900.79
ncf_8_32_2_u.6	FAIL	900.79
ncf_4_16_4_euad.3	FAIL	900.79
ncf_16_64_2_d.9	FAIL	900.79
ncf_16_64_8_u.5	FAIL	900.79
ncf_4_8_8_u.7	FAIL	900.79
ncf_16_128_8_d.8	FAIL	900.79
ncf_16_64_4_u.7	FAIL	900.79
ncf_8_16_8_euad.4	FAIL	900.79
ncf_4_32_2_edau.5	FAIL	900.8
ncf_8_16_4_euad.3	FAIL	900.8
ncf_16_64_2_edau.9	FAIL	900.8
ncf_8_16_8_u.7	FAIL	900.8
ncf_4_16_8_d.2	FAIL	900.8
ncf_16_64_2_edau.10	FAIL	900.8
ncf_16_64_2_u.7	FAIL	900.8
ncf_4_32_4_euad.6	FAIL	900.8
ncf_16_128_8_edau.1	FAIL	900.8
ncf_16_128_8_euad.1	FAIL	900.8
ncf_4_16_8_euad.8	FAIL	900.8
ncf_4_32_2_euad.10	FAIL	900.8
ncf_8_64_2_euad.7	FAIL	900.8
ncf_4_16_4_euad.2	FAIL	900.8
ncf_8_32_2_d.5	FAIL	900.8
ncf_4_8_8_euad.6	FAIL	900.8
ncf_4_32_8_d.1	FAIL	900.8
ncf_4_16_8_u.8	FAIL	900.8
ncf_16_32_8_euad.5	FAIL	900.8
ncf_16_32_8_edau.9	FAIL	900.8
ncf_8_16_8_d.3	FAIL	900.8
ncf_16_64_8_d.3	FAIL	900.8
ncf_16_32_8_euad.10	FAIL	900.8
ncf_16_64_4_edau.4	FAIL	900.8
ncf_16_32_2_d.1	FAIL	900.81
ncf_8_32_2_d.10	FAIL	900.81
ncf_16_32_2_euad.1	FAIL	900.81
ncf_4_32_2_d.6	FAIL	900.81
ncf_16_128_4_d.9	FAIL	900.81
ncf_16_128_4_euad.3	FAIL	900.81
ncf_4_32_8_edau.1	FAIL	900.81
ncf_8_16_8_edau.4	FAIL	900.81
ncf_16_32_8_d.2	FAIL	900.81
ncf_16_128_8_d.5	FAIL	900.81
ncf_4_16_8_euad.5	FAIL	900.81
ncf_8_32_4_u.7	FAIL	900.81
ncf_4_16_8_d.9	FAIL	900.81
ncf_4_32_8_u.5	FAIL	900.81
ncf_16_64_2_edau.2	FAIL	900.81
ncf_4_32_4_u.3	FAIL	900.81
ncf_16_32_8_edau.10	FAIL	900.81
ncf_4_8_8_edau.6	FAIL	900.81
ncf_16_32_4_edau.6	FAIL	900.81
ncf_8_16_8_edau.2	FAIL	900.81
ncf_16_32_4_d.6	FAIL	900.81
ncf_16_64_8_edau.6	FAIL	900.81
ncf_4_32_8_d.5	FAIL	900.81
ncf_4_32_4_d.7	FAIL	900.81
ncf_8_32_4_edau.1	FAIL	900.82
ncf_4_32_4_edau.8	FAIL	900.82
ncf_16_64_8_edau.9	FAIL	900.82
ncf_4_32_8_d.9	FAIL	900.82
ncf_16_64_2_d.1	FAIL	900.82
ncf_8_32_4_d.4	FAIL	900.82
ncf_4_16_8_d.6	FAIL	900.82
ncf_8_64_8_euad.1	FAIL	900.82
ncf_4_16_8_edau.4	FAIL	900.82
ncf_16_32_4_u.4	FAIL	900.82
ncf_16_64_2_euad.3	FAIL	900.82
ncf_8_32_2_u.8	FAIL	900.82
ncf_4_16_8_euad.6	FAIL	900.82
ncf_16_32_8_edau.6	FAIL	900.82
ncf_16_64_8_edau.4	FAIL	900.82
ncf_4_32_2_u.5	FAIL	900.82
ncf_16_64_4_edau.3	FAIL	900.82
ncf_16_32_2_euad.8	FAIL	900.82
ncf_16_64_2_d.5	FAIL	900.82
ncf_16_64_8_euad.9	FAIL	900.82
ncf_16_128_4_d.6	FAIL	900.82
ncf_8_16_8_edau.9	FAIL	900.82
ncf_16_128_2_u.4	FAIL	900.82
ncf_4_32_4_euad.3	FAIL	900.82
ncf_16_64_2_u.10	FAIL	900.83
ncf_8_16_8_u.4	FAIL	900.83
ncf_16_64_8_euad.6	FAIL	900.83
ncf_16_128_4_d.1	FAIL	900.83
ncf_8_32_4_euad.8	FAIL	900.83
ncf_4_32_4_edau.10	FAIL	900.83
ncf_16_64_8_d.7	FAIL	900.83
ncf_16_32_4_euad.10	FAIL	900.83
ncf_16_64_2_u.4	FAIL	900.83
ncf_16_64_8_d.9	FAIL	900.83
ncf_4_8_8_euad.10	FAIL	900.83
ncf_8_16_8_edau.5	FAIL	900.83
ncf_16_64_2_u.2	FAIL	900.83
ncf_16_64_2_edau.1	FAIL	900.83
ncf_16_128_4_u.10	FAIL	900.83
ncf_8_64_2_u.1	FAIL	900.83
ncf_4_16_4_d.6	FAIL	900.83
ncf_16_32_4_u.1	FAIL	900.83
ncf_4_32_8_edau.6	FAIL	900.83
ncf_16_128_4_d.2	FAIL	900.83
ncf_8_16_8_d.2	FAIL	900.83
ncf_16_32_4_u.9	FAIL	900.83
ncf_16_64_8_euad.10	FAIL	900.83
ncf_4_16_8_euad.7	FAIL	900.83
ncf_16_64_8_euad.4	FAIL	900.83
ncf_16_128_2_u.6	FAIL	900.83
ncf_16_64_8_d.8	FAIL	900.83
ncf_16_32_2_u.3	FAIL	900.84
ncf_16_64_4_u.3	FAIL	900.84
ncf_16_64_2_d.3	FAIL	900.84
ncf_16_32_4_euad.2	FAIL	900.84
ncf_16_64_2_euad.9	FAIL	900.84
ncf_16_64_4_u.1	FAIL	900.84
ncf_16_128_2_d.1	FAIL	900.84
ncf_8_32_4_edau.3	FAIL	900.84
ncf_16_32_8_u.5	FAIL	900.84
ncf_8_32_4_euad.7	FAIL	900.84
ncf_4_32_4_edau.3	FAIL	900.84
ncf_16_128_2_edau.10	FAIL	900.84
ncf_16_64_8_euad.2	FAIL	900.84
ncf_16_32_8_euad.1	FAIL	900.84
ncf_16_64_8_d.10	FAIL	900.84
ncf_16_32_4_u.10	FAIL	900.84
ncf_16_128_2_euad.6	FAIL	900.84
ncf_16_64_2_u.9	FAIL	900.84
ncf_16_128_2_u.8	FAIL	900.84
ncf_16_64_8_d.4	FAIL	900.84
ncf_16_32_8_edau.4	FAIL	900.85
ncf_16_64_4_edau.10	FAIL	900.85
ncf_4_16_8_u.1	FAIL	900.85
ncf_16_128_4_euad.8	FAIL	900.85
ncf_16_128_2_edau.6	FAIL	900.85
ncf_16_128_4_euad.7	FAIL	900.85
ncf_16_128_2_euad.4	FAIL	900.85
ncf_4_16_4_edau.6	FAIL	900.85
ncf_8_32_4_euad.4	FAIL	900.85
ncf_16_32_8_euad.7	FAIL	900.85
ncf_16_128_4_d.4	FAIL	900.85
ncf_8_32_4_d.2	FAIL	900.85
ncf_4_16_8_u.2	FAIL	900.85
ncf_8_32_2_d.2	FAIL	900.85
ncf_16_32_2_u.2	FAIL	900.85
ncf_4_32_2_d.5	FAIL	900.85
ncf_4_32_8_euad.5	FAIL	900.85
ncf_16_64_8_euad.1	FAIL	900.85
ncf_4_16_8_u.10	FAIL	900.85
ncf_16_32_2_u.1	FAIL	900.85
ncf_4_8_8_d.6	FAIL	900.85
ncf_16_32_8_u.1	FAIL	900.85
ncf_16_32_8_u.3	FAIL	900.85
ncf_16_64_2_edau.5	FAIL	900.85
ncf_16_128_2_u.10	FAIL	900.86
ncf_16_64_8_edau.1	FAIL	900.86
ncf_16_128_4_u.2	FAIL	900.86
ncf_16_128_4_u.9	FAIL	900.86
ncf_8_32_2_d.6	FAIL	900.86
ncf_4_32_2_euad.7	FAIL	900.86
ncf_16_64_2_u.1	FAIL	900.86
ncf_8_64_2_edau.4	FAIL	900.86
ncf_4_16_8_edau.5	FAIL	900.86
ncf_4_32_2_euad.9	FAIL	900.86
ncf_8_32_2_u.2	FAIL	900.86
ncf_8_32_4_edau.6	FAIL	900.86
ncf_16_128_2_d.6	FAIL	900.86
ncf_8_32_2_edau.3	FAIL	900.86
ncf_16_64_8_u.9	FAIL	900.86
ncf_16_64_2_u.3	FAIL	900.86
ncf_16_64_2_d.4	FAIL	900.86
ncf_8_32_4_euad.1	FAIL	900.86
ncf_8_32_4_euad.3	FAIL	900.86
ncf_8_16_8_u.6	FAIL	900.86
ncf_8_16_4_u.7	FAIL	900.86
ncf_16_64_8_euad.7	FAIL	900.86
ncf_4_16_8_euad.10	FAIL	900.86
ncf_4_8_8_edau.10	FAIL	900.86
ncf_16_64_8_d.2	FAIL	900.87
ncf_16_128_4_euad.1	FAIL	900.87
ncf_16_64_4_d.3	FAIL	900.87
ncf_16_32_2_euad.3	FAIL	900.87
ncf_8_64_8_u.2	FAIL	900.87
ncf_16_64_2_euad.1	FAIL	900.87
ncf_4_16_8_d.5	FAIL	900.87
ncf_16_128_4_d.7	FAIL	900.87
ncf_4_32_8_edau.10	FAIL	900.87
ncf_8_16_8_edau.10	FAIL	900.87
ncf_4_32_2_u.7	FAIL	900.87
ncf_16_32_4_u.8	FAIL	900.87
ncf_4_32_2_u.9	FAIL	900.87
ncf_16_128_4_edau.8	FAIL	900.87
ncf_8_16_4_u.4	FAIL	900.87
ncf_16_128_4_edau.10	FAIL	900.87
ncf_8_16_8_d.4	FAIL	900.87
ncf_16_128_8_d.1	FAIL	900.87
ncf_16_128_4_u.1	FAIL	900.88
ncf_4_16_8_d.1	FAIL	900.88
ncf_16_64_4_euad.5	FAIL	900.88
ncf_16_64_8_d.5	FAIL	900.88
ncf_16_128_2_euad.9	FAIL	900.88
ncf_16_32_8_u.10	FAIL	900.88
ncf_16_32_8_d.10	FAIL	900.88
ncf_16_128_2_d.3	FAIL	900.88
ncf_16_32_2_euad.4	FAIL	900.88
ncf_8_32_2_euad.6	FAIL	900.88
ncf_16_32_2_edau.4	FAIL	900.88
ncf_16_128_2_d.8	FAIL	900.88
ncf_16_32_4_euad.7	FAIL	900.88
ncf_16_128_4_u.7	FAIL	900.88
ncf_8_32_2_d.3	FAIL	900.89
ncf_16_64_4_d.5	FAIL	900.89
ncf_16_32_8_d.9	FAIL	900.89
ncf_16_64_4_d.8	FAIL	900.89
ncf_4_32_4_u.10	FAIL	900.89
ncf_8_32_4_u.9	FAIL	900.89
ncf_16_128_2_u.1	FAIL	900.89
ncf_16_128_2_euad.8	FAIL	900.89
ncf_4_32_8_edau.9	FAIL	900.89
ncf_16_128_2_u.2	FAIL	900.89
ncf_16_128_4_edau.4	FAIL	900.89
ncf_16_32_2_edau.2	FAIL	900.89
ncf_16_128_4_euad.4	FAIL	900.89
ncf_4_32_8_u.6	FAIL	900.89
ncf_16_128_2_edau.5	FAIL	900.9
ncf_16_128_2_edau.8	FAIL	900.9
ncf_16_32_4_euad.6	FAIL	900.9
ncf_4_32_4_d.4	FAIL	900.9
ncf_16_128_2_d.10	FAIL	900.9
ncf_16_32_4_euad.8	FAIL	900.9
ncf_16_32_4_euad.9	FAIL	900.9
ncf_16_128_2_euad.1	FAIL	900.9
ncf_16_64_4_d.4	FAIL	900.9
ncf_8_16_8_euad.6	FAIL	900.9
ncf_16_64_2_euad.7	FAIL	900.9
ncf_16_128_2_edau.2	FAIL	900.9
ncf_16_32_2_d.3	FAIL	900.91
ncf_16_32_8_u.4	FAIL	900.91
ncf_4_32_4_d.10	FAIL	900.91
ncf_16_32_8_d.4	FAIL	900.91
ncf_16_32_8_u.2	FAIL	900.91
ncf_16_32_4_edau.4	FAIL	900.91
ncf_16_128_4_euad.2	FAIL	900.91
ncf_16_64_2_d.7	FAIL	900.91
ncf_8_16_8_d.8	FAIL	900.91
ncf_16_32_8_edau.1	FAIL	900.92
ncf_8_16_8_d.9	FAIL	900.92
ncf_16_32_8_u.8	FAIL	900.92
ncf_16_64_8_u.7	FAIL	900.92
ncf_16_64_8_u.2	FAIL	900.92
ncf_16_64_8_u.10	FAIL	900.92
ncf_8_32_4_u.6	FAIL	900.92
ncf_8_16_8_d.1	FAIL	900.92
ncf_8_16_4_euad.9	FAIL	900.92
ncf_16_32_2_u.5	FAIL	900.93
ncf_16_64_4_euad.1	FAIL	900.93
ncf_16_32_8_euad.2	FAIL	900.93
ncf_16_64_8_u.1	FAIL	900.93
ncf_16_128_2_u.7	FAIL	900.93
ncf_8_32_4_d.3	FAIL	900.93
ncf_16_128_2_d.5	FAIL	900.94
ncf_16_64_2_edau.7	FAIL	900.94
ncf_16_64_4_u.10	FAIL	900.94
ncf_16_64_4_euad.3	FAIL	900.94
ncf_16_128_2_euad.7	FAIL	900.94
ncf_8_16_8_u.8	FAIL	900.95
ncf_4_8_8_d.7	FAIL	900.95
ncf_16_64_4_edau.7	FAIL	900.95
ncf_16_32_4_u.5	FAIL	900.95
ncf_16_128_4_euad.5	FAIL	900.95
ncf_16_64_8_edau.10	FAIL	900.95
ncf_8_16_8_euad.8	FAIL	900.96
ncf_16_64_4_edau.8	FAIL	900.97
ncf_16_64_8_euad.3	FAIL	900.97
ncf_16_64_8_edau.2	FAIL	900.99

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by skizzo_v0.4
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by skizzo_v0.4 QBFEVAL'05

Instances of family CounterFactual solved by skizzo_v0.4
QBFEVAL'05