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

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

Instance	Result	Time
ncf_8_16_4_d.1	SAT	0
ncf_4_8_2_d.1	UNSAT	0
ncf_4_16_2_edau.2	SAT	0
ncf_4_16_2_d.2	SAT	0
ncf_4_8_2_d.9	SAT	0
ncf_16_32_2_edau.6	SAT	0
ncf_4_8_4_d.9	SAT	0
ncf_4_8_2_edau.9	SAT	0
ncf_8_16_2_d.4	SAT	0
ncf_8_16_2_edau.4	SAT	0
ncf_8_16_2_edau.1	SAT	0.01
ncf_4_8_2_d.8	SAT	0.01
ncf_4_16_2_edau.4	SAT	0.01
ncf_8_16_4_d.4	SAT	0.01
ncf_4_8_4_u.9	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_d.6	SAT	0.01
ncf_4_8_2_edau.10	SAT	0.01
ncf_8_16_4_edau.1	SAT	0.01
ncf_4_8_4_edau.7	UNSAT	0.01
ncf_4_8_4_d.6	SAT	0.01
ncf_8_16_2_d.1	SAT	0.01
ncf_4_8_2_d.2	SAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
ncf_4_8_8_edau.3	SAT	0.01
ncf_4_8_2_edau.2	SAT	0.01
ncf_4_8_4_edau.5	SAT	0.01
ncf_4_8_2_d.10	SAT	0.01
ncf_4_8_2_edau.6	SAT	0.01
ncf_4_8_4_edau.9	SAT	0.01
ncf_4_8_8_d.8	SAT	0.01
ncf_4_16_4_d.8	SAT	0.01
ncf_16_32_4_d.9	SAT	0.02
ncf_4_8_8_edau.9	UNSAT	0.02
ncf_4_8_8_edau.8	SAT	0.02
ncf_4_8_2_edau.8	SAT	0.02
ncf_4_8_8_u.9	UNSAT	0.02
ncf_4_16_4_edau.5	SAT	0.02
ncf_4_8_4_d.5	SAT	0.02
ncf_4_16_4_edau.1	SAT	0.02
ncf_8_16_2_d.8	UNSAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
ncf_8_16_4_edau.4	SAT	0.02
ncf_4_16_4_d.5	SAT	0.02
ncf_4_16_2_d.6	SAT	0.02
ncf_8_16_2_edau.8	UNSAT	0.02
ncf_16_32_4_d.2	SAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
ncf_4_8_2_edau.1	UNSAT	0.02
ncf_8_16_2_euad.8	UNSAT	0.02
ncf_16_32_4_edau.8	SAT	0.02
ncf_4_8_8_edau.1	SAT	0.02
ncf_16_32_4_d.8	SAT	0.02
ncf_8_16_4_d.10	SAT	0.03
ncf_4_8_2_edau.4	UNSAT	0.03
ncf_4_16_4_edau.8	SAT	0.03
ncf_4_16_8_d.7	SAT	0.03
ncf_4_16_4_d.1	SAT	0.03
ncf_4_16_8_edau.7	SAT	0.03
ncf_4_8_8_d.9	UNSAT	0.03
ncf_4_8_8_d.3	SAT	0.03
ncf_4_16_2_edau.6	SAT	0.03
ncf_8_16_2_edau.6	UNSAT	0.03
ncf_16_32_4_d.3	SAT	0.03
ncf_16_32_4_edau.9	SAT	0.03
ncf_4_8_4_edau.6	SAT	0.03
ncf_4_8_2_u.10	SAT	0.03
ncf_4_8_2_d.4	UNSAT	0.03
ncf_8_16_4_edau.10	SAT	0.03
ncf_4_8_4_d.7	UNSAT	0.03
ncf_8_16_2_euad.6	UNSAT	0.03
ncf_4_8_2_d.7	UNSAT	0.03
ncf_8_16_4_d.2	UNSAT	0.03
ncf_4_8_8_euad.9	UNSAT	0.04
ncf_16_32_2_d.6	SAT	0.04
ncf_4_8_2_u.4	UNSAT	0.04
ncf_16_32_8_edau.3	SAT	0.04
ncf_4_8_2_d.3	UNSAT	0.04
ncf_16_32_4_edau.3	SAT	0.04
ncf_16_32_4_edau.2	SAT	0.04
ncf_4_8_2_d.5	SAT	0.04
ncf_4_8_8_d.1	SAT	0.04
ncf_4_8_2_euad.4	UNSAT	0.04
ncf_4_16_2_d.4	SAT	0.04
ncf_4_8_2_edau.7	UNSAT	0.04
ncf_8_16_4_edau.5	UNSAT	0.05
ncf_4_8_8_d.5	UNSAT	0.05
ncf_8_16_4_edau.8	UNSAT	0.05
ncf_4_8_4_edau.3	UNSAT	0.05
ncf_4_8_8_edau.5	UNSAT	0.05
ncf_4_8_2_u.8	SAT	0.05
ncf_8_16_4_u.5	UNSAT	0.05
ncf_8_16_4_euad.5	UNSAT	0.05
ncf_16_32_2_d.7	UNSAT	0.05
ncf_8_16_2_d.3	UNSAT	0.06
ncf_16_32_2_edau.7	UNSAT	0.06
ncf_8_16_2_u.6	UNSAT	0.06
ncf_4_8_4_d.3	UNSAT	0.06
ncf_4_8_2_u.5	SAT	0.06
ncf_8_16_2_u.3	UNSAT	0.06
ncf_16_32_8_d.3	SAT	0.06
ncf_4_8_2_edau.3	UNSAT	0.06
ncf_4_8_2_euad.10	SAT	0.06
ncf_4_8_2_edau.5	SAT	0.07
ncf_4_8_2_u.1	UNSAT	0.07
ncf_8_16_2_edau.3	UNSAT	0.07
ncf_4_8_2_u.7	UNSAT	0.07
ncf_8_16_4_euad.2	UNSAT	0.07
ncf_4_16_2_euad.6	SAT	0.08
ncf_8_16_2_euad.3	UNSAT	0.08
ncf_4_8_2_euad.1	UNSAT	0.08
ncf_8_16_2_d.6	UNSAT	0.08
ncf_4_8_2_euad.8	SAT	0.09
ncf_4_16_2_u.6	SAT	0.09
ncf_4_8_2_euad.7	UNSAT	0.09
ncf_8_16_4_edau.2	UNSAT	0.09
ncf_4_8_2_euad.5	SAT	0.09
ncf_4_8_2_u.9	SAT	0.1
ncf_8_16_4_u.2	UNSAT	0.1
ncf_8_16_4_d.8	UNSAT	0.1
ncf_4_8_2_euad.2	SAT	0.11
ncf_4_16_2_d.7	SAT	0.12
ncf_4_8_2_euad.9	SAT	0.12
ncf_4_8_2_u.2	SAT	0.12
ncf_8_16_2_edau.9	UNSAT	0.13
ncf_4_8_2_u.6	SAT	0.13
ncf_4_16_2_u.9	SAT	0.13
ncf_4_8_2_euad.6	SAT	0.13
ncf_4_16_2_u.2	SAT	0.14
ncf_8_16_2_u.9	UNSAT	0.14
ncf_4_16_2_edau.9	SAT	0.15
ncf_4_16_2_euad.9	SAT	0.16
ncf_4_16_2_d.9	SAT	0.16
ncf_4_16_2_edau.7	SAT	0.17
ncf_4_16_2_u.4	SAT	0.18
ncf_8_16_2_d.9	UNSAT	0.18
ncf_4_8_4_d.1	SAT	0.19
ncf_4_8_4_u.2	UNSAT	0.19
ncf_8_16_2_euad.9	UNSAT	0.19
ncf_8_16_4_edau.6	UNSAT	0.2
ncf_4_8_4_edau.1	SAT	0.2
ncf_4_16_2_euad.4	SAT	0.21
ncf_4_8_4_euad.2	UNSAT	0.21
ncf_4_8_4_edau.2	UNSAT	0.21
ncf_4_8_4_d.2	UNSAT	0.22
ncf_4_16_2_euad.2	SAT	0.22
ncf_8_16_4_d.6	UNSAT	0.23
ncf_4_16_4_u.5	SAT	0.23
ncf_4_16_4_euad.5	SAT	0.25
ncf_4_8_4_euad.5	SAT	0.27
ncf_4_8_4_d.10	SAT	0.29
ncf_4_8_2_euad.3	UNSAT	0.3
ncf_16_32_4_d.10	UNSAT	0.3
ncf_4_8_4_u.5	SAT	0.3
ncf_16_32_4_edau.10	UNSAT	0.31
ncf_4_8_2_u.3	UNSAT	0.31
ncf_4_8_4_edau.10	SAT	0.32
ncf_16_32_2_edau.9	UNSAT	0.32
ncf_4_16_2_d.5	UNSAT	0.33
ncf_16_32_2_u.9	UNSAT	0.34
ncf_4_8_8_d.4	SAT	0.37
ncf_16_32_2_d.8	UNSAT	0.39
ncf_4_16_2_edau.5	UNSAT	0.4
ncf_4_16_4_euad.9	SAT	0.41
ncf_4_8_4_u.6	SAT	0.42
ncf_16_32_2_d.9	UNSAT	0.42
ncf_4_8_4_d.8	UNSAT	0.42
ncf_4_16_4_d.9	SAT	0.43
ncf_16_32_2_edau.5	UNSAT	0.43
ncf_4_8_4_edau.8	UNSAT	0.44
ncf_16_32_2_d.5	UNSAT	0.44
ncf_4_8_4_edau.4	UNSAT	0.46
ncf_4_16_4_edau.9	SAT	0.47
ncf_16_32_2_euad.9	UNSAT	0.47
ncf_4_8_8_euad.1	SAT	0.48
ncf_4_16_2_euad.7	SAT	0.48
ncf_4_8_8_edau.4	SAT	0.49
ncf_4_8_4_d.4	UNSAT	0.5
ncf_4_16_2_u.7	SAT	0.5
ncf_4_8_4_euad.7	UNSAT	0.51
ncf_4_8_8_u.1	SAT	0.52
ncf_16_32_2_edau.8	UNSAT	0.52
ncf_4_16_4_euad.1	SAT	0.54
ncf_4_16_4_u.1	SAT	0.56
ncf_4_8_4_euad.10	SAT	0.57
ncf_4_16_4_u.9	SAT	0.57
ncf_4_8_4_u.7	UNSAT	0.59
ncf_4_8_4_euad.3	UNSAT	0.62
ncf_4_8_8_u.3	SAT	0.63
ncf_4_16_2_edau.8	SAT	0.66
ncf_8_16_2_d.5	UNSAT	0.66
ncf_4_16_2_d.8	SAT	0.7
ncf_4_8_4_u.3	UNSAT	0.73
ncf_4_8_4_u.10	SAT	0.76
ncf_4_8_8_euad.3	SAT	0.76
ncf_8_16_2_euad.1	SAT	0.77
ncf_8_16_2_edau.5	UNSAT	0.8
ncf_4_8_4_u.8	UNSAT	0.81
ncf_4_16_2_edau.10	UNSAT	0.81
ncf_4_16_4_euad.8	SAT	0.83
ncf_4_16_4_u.8	SAT	0.88
ncf_16_32_2_u.7	UNSAT	0.92
ncf_8_16_2_edau.10	SAT	0.93
ncf_4_8_4_euad.8	UNSAT	0.97
ncf_8_16_2_u.1	SAT	1
ncf_4_8_4_euad.4	UNSAT	1.06
ncf_4_8_4_u.4	UNSAT	1.17
ncf_8_16_2_d.10	SAT	1.19
ncf_16_32_4_d.7	UNSAT	1.22
ncf_16_32_8_edau.8	UNSAT	1.22
ncf_4_16_2_d.10	UNSAT	1.23
ncf_16_32_8_d.8	UNSAT	1.28
ncf_8_16_4_u.6	UNSAT	1.29
ncf_16_32_4_edau.7	UNSAT	1.34
ncf_16_32_2_euad.7	UNSAT	1.36
ncf_8_16_2_u.5	UNSAT	1.48
ncf_8_16_4_euad.6	UNSAT	1.62
ncf_8_16_2_euad.5	UNSAT	1.84
ncf_4_16_2_u.10	UNSAT	1.84
ncf_4_16_2_euad.10	UNSAT	1.86
ncf_4_16_2_euad.8	SAT	2.66
ncf_4_8_8_u.5	UNSAT	2.8
ncf_4_8_4_u.1	SAT	2.82
ncf_4_8_8_euad.5	UNSAT	3.12
ncf_4_8_4_euad.1	SAT	3.27
ncf_4_16_2_u.8	SAT	3.44
ncf_8_16_4_d.3	SAT	3.59
ncf_4_16_4_d.4	UNSAT	3.62
ncf_4_32_2_edau.2	SAT	4.35
ncf_4_32_2_edau.1	UNSAT	4.51
ncf_4_32_2_d.1	UNSAT	4.88
ncf_4_16_4_edau.4	UNSAT	5.39
ncf_4_16_2_u.5	UNSAT	6.79
ncf_8_16_4_u.8	UNSAT	7.3
ncf_4_32_2_d.2	SAT	7.81
ncf_4_8_8_euad.4	SAT	7.91
ncf_8_16_8_d.7	UNSAT	8.89
ncf_4_16_2_euad.5	UNSAT	11.13
ncf_8_16_8_edau.7	UNSAT	12.21
ncf_4_32_2_euad.1	UNSAT	13.08
ncf_8_16_4_euad.8	UNSAT	13.71
ncf_8_16_2_u.10	SAT	13.97
ncf_8_32_2_edau.9	UNSAT	14.09
ncf_8_16_8_u.1	SAT	15.14
ncf_8_16_8_edau.1	SAT	15.35
ncf_4_32_2_u.1	UNSAT	16.29
ncf_8_32_2_d.9	UNSAT	16.4
ncf_8_16_2_euad.2	UNSAT	17.32
ncf_16_32_2_edau.10	UNSAT	22.23
ncf_8_16_2_u.2	UNSAT	22.5
ncf_16_32_2_d.10	UNSAT	23.6
ncf_8_16_2_edau.2	UNSAT	23.65
ncf_8_16_2_d.2	UNSAT	24.46
ncf_8_16_4_edau.3	SAT	25.13
ncf_4_16_2_d.1	UNSAT	25.9
ncf_4_8_8_u.4	SAT	27.13
ncf_4_16_4_edau.7	SAT	31.63
ncf_8_16_2_u.7	SAT	31.74
ncf_8_16_8_d.1	SAT	34.3
ncf_4_16_4_d.7	SAT	36.3
ncf_8_16_2_euad.7	SAT	36.55
ncf_4_8_8_edau.2	UNSAT	37.19
ncf_8_16_2_euad.10	SAT	39.43
ncf_4_16_2_edau.1	UNSAT	45.24
ncf_4_16_4_edau.10	UNSAT	50.21
ncf_4_8_8_d.2	UNSAT	52.88
ncf_8_16_8_euad.1	SAT	56.14
ncf_4_16_2_euad.1	UNSAT	58.98
ncf_4_32_2_u.2	FAIL	62.72
ncf_4_16_2_u.1	UNSAT	84.88
ncf_4_16_4_u.10	UNSAT	91.84
ncf_4_16_4_euad.10	UNSAT	120.82
ncf_4_8_8_u.8	FAIL	128.47
ncf_4_16_4_euad.6	UNSAT	131.97
ncf_16_128_8_u.3	FAIL	136.82
ncf_16_128_8_euad.9	FAIL	138.22
ncf_16_128_8_d.3	FAIL	140.35
ncf_16_128_8_edau.3	FAIL	143.36
ncf_8_16_8_edau.9	UNSAT	146.33
ncf_16_128_8_d.9	FAIL	146.82
ncf_16_128_8_euad.3	FAIL	149.78
ncf_16_128_8_u.9	FAIL	150.06
ncf_16_128_8_edau.9	FAIL	156.25
ncf_16_128_8_d.2	FAIL	162.92
ncf_16_128_8_edau.2	FAIL	165.14
ncf_8_16_2_d.7	SAT	169.48
ncf_16_128_8_u.2	FAIL	183.18
ncf_4_16_4_u.7	FAIL	188.91
ncf_16_32_4_edau.5	UNSAT	189.34
ncf_16_128_8_euad.2	FAIL	191.17
ncf_4_16_2_edau.3	UNSAT	194.12
ncf_4_8_8_euad.8	SAT	198.23
ncf_8_16_2_edau.7	FAIL	204.01
ncf_4_32_2_euad.2	FAIL	219.12
ncf_4_16_4_edau.6	UNSAT	226.64
ncf_16_32_4_d.1	SAT	232.52
ncf_16_128_8_d.7	FAIL	242.89
ncf_16_32_4_d.5	UNSAT	247.67
ncf_16_128_8_d.8	FAIL	253.43
ncf_16_128_8_euad.8	FAIL	266.55
ncf_16_128_8_d.1	FAIL	267.53
ncf_16_128_8_euad.4	FAIL	272.87
ncf_16_128_8_u.8	FAIL	273.93
ncf_16_128_8_d.4	FAIL	275.72
ncf_4_32_2_d.8	FAIL	277.17
ncf_16_128_8_euad.7	FAIL	278.91
ncf_16_128_8_euad.1	FAIL	279.32
ncf_4_32_2_euad.8	FAIL	280.26
ncf_16_128_8_euad.5	FAIL	285.15
ncf_16_128_8_d.6	FAIL	285.16
ncf_4_16_4_d.10	UNSAT	289.9
ncf_16_128_8_euad.10	FAIL	294.02
ncf_16_128_8_euad.6	FAIL	294.69
ncf_16_128_8_d.5	FAIL	295.49
ncf_4_32_2_euad.4	UNSAT	299.61
ncf_16_128_8_u.5	FAIL	301.54
ncf_16_128_8_edau.8	FAIL	304.99
ncf_16_128_8_d.10	FAIL	309.11
ncf_16_128_8_u.6	FAIL	311.39
ncf_16_128_8_u.4	FAIL	317.85
ncf_16_128_8_edau.5	FAIL	330.98
ncf_16_128_8_edau.4	FAIL	336.06
ncf_16_128_8_edau.7	FAIL	348.71
ncf_16_128_8_edau.10	FAIL	354.6
ncf_16_128_8_edau.1	FAIL	364.73
ncf_16_128_8_edau.6	FAIL	365.62
ncf_16_128_8_u.1	FAIL	378.65
ncf_16_128_8_u.10	FAIL	383.76
ncf_4_8_8_edau.7	SAT	385.25
ncf_4_32_2_edau.5	UNSAT	401.91
ncf_4_32_2_u.8	FAIL	404.46
ncf_16_128_2_edau.4	FAIL	434.81
ncf_8_16_8_edau.8	UNSAT	466.64
ncf_4_32_2_edau.6	UNSAT	491.65
ncf_4_32_2_u.4	UNSAT	557.73
ncf_16_128_2_edau.2	FAIL	560.42
ncf_4_16_8_u.7	FAIL	571.27
ncf_4_16_2_d.3	UNSAT	573.22
ncf_4_16_4_euad.7	FAIL	578.21
ncf_4_16_4_edau.2	SAT	588.13
ncf_4_8_8_u.2	UNSAT	602.03
ncf_8_32_8_edau.8	FAIL	604.45
ncf_16_64_4_edau.10	FAIL	623.93
ncf_8_32_8_d.8	FAIL	639
ncf_4_8_8_euad.2	UNSAT	642.58
ncf_4_16_4_d.3	FAIL	644.17
ncf_4_8_8_euad.7	FAIL	655.73
ncf_4_32_2_edau.8	FAIL	672.29
ncf_4_32_2_d.5	UNSAT	679.36
ncf_4_16_4_u.6	UNSAT	697.97
ncf_4_32_2_u.5	UNSAT	701.31
ncf_4_32_2_euad.3	UNSAT	708.93
ncf_8_16_8_d.9	UNSAT	731.78
ncf_4_16_8_euad.7	FAIL	778.91
ncf_4_8_8_d.7	SAT	785.35
ncf_4_8_4_euad.6	FAIL	791.76
ncf_4_16_4_u.2	FAIL	800.52
ncf_8_16_8_edau.6	UNSAT	872.42
ncf_4_16_4_u.4	FAIL	894.52
ncf_8_32_8_d.6	FAIL	895.81
ncf_4_32_8_d.2	FAIL	896.75
ncf_4_32_8_u.4	FAIL	896.82
ncf_4_16_4_euad.4	FAIL	897.32
ncf_8_32_8_d.2	FAIL	897.4
ncf_8_64_4_edau.10	FAIL	897.58
ncf_8_64_8_d.1	FAIL	897.64
ncf_16_32_8_euad.1	FAIL	897.73
ncf_4_16_8_u.5	FAIL	897.75
ncf_4_16_2_u.3	FAIL	897.82
ncf_4_32_2_euad.7	FAIL	897.86
ncf_8_32_4_u.7	FAIL	897.91
ncf_4_32_8_u.1	FAIL	897.91
ncf_8_64_4_d.7	FAIL	898
ncf_4_16_2_euad.3	FAIL	898.03
ncf_4_32_8_edau.2	FAIL	898.03
ncf_8_16_4_u.10	FAIL	898.08
ncf_8_64_4_u.2	FAIL	898.13
ncf_8_64_8_d.7	FAIL	898.14
ncf_4_16_8_edau.1	FAIL	898.26
ncf_8_16_8_u.6	FAIL	898.28
ncf_4_8_8_euad.10	FAIL	898.31
ncf_8_16_2_u.4	FAIL	898.52
ncf_8_32_8_euad.5	FAIL	898.63
ncf_8_32_8_euad.2	FAIL	898.74
ncf_8_64_4_edau.5	FAIL	898.76
ncf_8_16_8_edau.10	FAIL	898.82
ncf_16_64_8_edau.10	FAIL	898.85
ncf_8_64_4_edau.8	FAIL	898.85
ncf_8_32_2_euad.10	FAIL	898.93
ncf_8_32_8_d.3	FAIL	898.97
ncf_8_64_4_euad.2	FAIL	899.03
ncf_4_32_8_euad.4	FAIL	899.08
ncf_4_32_8_d.3	FAIL	899.23
ncf_16_32_8_u.9	FAIL	899.23
ncf_16_32_8_edau.4	FAIL	899.23
ncf_8_64_4_euad.1	FAIL	899.31
ncf_4_16_4_edau.3	FAIL	899.32
ncf_8_64_8_d.6	FAIL	899.33
ncf_8_16_2_euad.4	FAIL	899.47
ncf_4_32_4_d.7	FAIL	899.51
ncf_8_32_8_edau.1	FAIL	899.52
ncf_4_32_2_d.7	FAIL	899.53
ncf_8_64_4_u.8	FAIL	899.58
ncf_16_128_4_u.4	FAIL	899.61
ncf_16_32_8_u.7	FAIL	899.64
ncf_16_128_4_euad.4	FAIL	899.64
ncf_16_32_8_euad.2	FAIL	899.67
ncf_4_32_8_euad.8	FAIL	899.69
ncf_8_32_8_u.5	FAIL	899.7
ncf_8_64_8_u.4	FAIL	899.71
ncf_8_64_4_euad.8	FAIL	899.72
ncf_16_128_4_d.4	FAIL	899.72
ncf_16_32_8_euad.3	FAIL	899.73
ncf_16_128_2_edau.9	FAIL	899.77
ncf_16_128_4_edau.4	FAIL	899.79
ncf_8_64_8_euad.7	FAIL	899.8
ncf_4_32_4_edau.5	FAIL	899.8
ncf_16_128_4_euad.8	FAIL	899.8
ncf_8_64_4_u.3	FAIL	899.81
ncf_4_32_8_euad.2	FAIL	899.83
ncf_8_32_8_u.8	FAIL	899.83
ncf_8_32_8_euad.6	FAIL	899.83
ncf_16_32_2_d.4	FAIL	899.83
ncf_8_64_8_u.7	FAIL	899.85
ncf_8_32_2_euad.3	FAIL	899.88
ncf_4_8_8_d.10	FAIL	899.89
ncf_8_64_8_d.5	FAIL	899.9
ncf_8_32_8_euad.8	FAIL	899.9
ncf_16_128_4_d.6	FAIL	899.93
ncf_4_32_2_edau.7	FAIL	899.93
ncf_16_128_4_edau.8	FAIL	899.94
ncf_8_64_4_euad.3	FAIL	899.95
ncf_8_32_8_u.7	FAIL	899.95
ncf_16_64_8_euad.3	FAIL	899.96
ncf_16_64_4_u.6	FAIL	899.96
ncf_16_64_4_u.5	FAIL	899.98
ncf_8_64_2_d.10	FAIL	899.98
ncf_4_16_8_d.8	FAIL	900
ncf_8_64_4_d.3	FAIL	900
ncf_4_32_8_u.8	FAIL	900.01
ncf_16_128_2_u.9	FAIL	900.02
ncf_8_64_4_euad.7	FAIL	900.03
ncf_16_64_4_euad.6	FAIL	900.03
ncf_8_64_4_edau.7	FAIL	900.04
ncf_8_64_8_edau.5	FAIL	900.05
ncf_8_64_4_u.6	FAIL	900.05
ncf_8_64_8_euad.3	FAIL	900.05
ncf_8_64_4_euad.10	FAIL	900.09
ncf_8_64_8_u.6	FAIL	900.09
ncf_16_32_8_edau.10	FAIL	900.09
ncf_8_32_2_d.7	FAIL	900.1
ncf_8_64_8_edau.2	FAIL	900.1
ncf_8_32_8_edau.2	FAIL	900.11
ncf_8_64_4_u.4	FAIL	900.11
ncf_16_64_8_u.3	FAIL	900.12
ncf_8_16_8_edau.2	FAIL	900.12
ncf_4_32_4_edau.1	FAIL	900.13
ncf_8_32_2_d.3	FAIL	900.13
ncf_8_64_2_d.3	FAIL	900.13
ncf_8_64_4_edau.4	FAIL	900.14
ncf_8_64_8_edau.4	FAIL	900.14
ncf_8_64_2_edau.3	FAIL	900.14
ncf_16_128_4_d.8	FAIL	900.14
ncf_8_64_2_d.5	FAIL	900.15
ncf_4_32_4_d.2	FAIL	900.15
ncf_16_128_4_edau.7	FAIL	900.15
ncf_16_128_4_u.2	FAIL	900.16
ncf_16_64_4_euad.10	FAIL	900.17
ncf_4_16_8_u.3	FAIL	900.17
ncf_8_32_8_u.4	FAIL	900.17
ncf_4_32_8_d.10	FAIL	900.18
ncf_16_64_4_u.2	FAIL	900.18
ncf_16_64_4_d.2	FAIL	900.19
ncf_16_64_2_edau.8	FAIL	900.19
ncf_16_128_2_d.9	FAIL	900.19
ncf_16_128_4_d.5	FAIL	900.2
ncf_16_64_8_euad.2	FAIL	900.2
ncf_16_128_4_euad.2	FAIL	900.2
ncf_8_32_8_euad.10	FAIL	900.2
ncf_8_32_8_d.1	FAIL	900.2
ncf_16_128_4_euad.7	FAIL	900.21
ncf_8_64_4_u.9	FAIL	900.21
ncf_8_64_8_euad.8	FAIL	900.22
ncf_8_64_4_euad.6	FAIL	900.22
ncf_16_128_2_edau.10	FAIL	900.23
ncf_16_128_4_d.10	FAIL	900.23
ncf_8_64_8_u.3	FAIL	900.23
ncf_8_32_8_u.9	FAIL	900.24
ncf_16_64_4_euad.2	FAIL	900.24
ncf_4_32_4_u.1	FAIL	900.25
ncf_16_64_4_euad.9	FAIL	900.25
ncf_4_32_4_d.8	FAIL	900.26
ncf_8_64_4_d.10	FAIL	900.26
ncf_4_16_8_u.2	FAIL	900.26
ncf_16_128_4_d.2	FAIL	900.26
ncf_8_16_4_euad.10	FAIL	900.26
ncf_16_128_4_u.8	FAIL	900.27
ncf_8_64_8_euad.1	FAIL	900.28
ncf_8_64_8_euad.2	FAIL	900.28
ncf_8_32_4_euad.3	FAIL	900.28
ncf_16_32_8_u.1	FAIL	900.28
ncf_16_64_4_d.1	FAIL	900.29
ncf_8_64_4_d.8	FAIL	900.29
ncf_8_64_4_d.9	FAIL	900.29
ncf_8_64_2_euad.6	FAIL	900.29
ncf_4_32_2_d.6	FAIL	900.3
ncf_8_32_8_u.6	FAIL	900.3
ncf_16_128_4_edau.9	FAIL	900.3
ncf_16_64_2_edau.3	FAIL	900.3
ncf_16_64_4_euad.3	FAIL	900.3
ncf_4_32_8_edau.3	FAIL	900.3
ncf_16_128_4_euad.6	FAIL	900.31
ncf_16_32_8_euad.8	FAIL	900.32
ncf_8_32_4_d.4	FAIL	900.32
ncf_8_64_8_u.8	FAIL	900.32
ncf_8_64_8_euad.9	FAIL	900.32
ncf_16_64_8_edau.3	FAIL	900.33
ncf_16_128_4_u.10	FAIL	900.33
ncf_16_32_4_u.6	FAIL	900.33
ncf_8_32_4_u.3	FAIL	900.34
ncf_8_32_2_edau.7	FAIL	900.34
ncf_16_128_2_euad.3	FAIL	900.34
ncf_4_32_8_d.9	FAIL	900.35
ncf_16_64_2_d.1	FAIL	900.35
ncf_16_64_4_u.4	FAIL	900.35
ncf_8_64_8_u.10	FAIL	900.35
ncf_16_128_4_edau.2	FAIL	900.36
ncf_8_32_4_u.4	FAIL	900.36
ncf_8_64_4_edau.3	FAIL	900.36
ncf_8_64_8_euad.6	FAIL	900.36
ncf_8_32_8_euad.4	FAIL	900.37
ncf_8_32_2_euad.2	FAIL	900.37
ncf_4_32_4_edau.9	FAIL	900.37
ncf_16_64_2_u.8	FAIL	900.38
ncf_16_128_4_euad.3	FAIL	900.38
ncf_8_64_4_edau.9	FAIL	900.38
ncf_4_32_4_edau.6	FAIL	900.38
ncf_8_64_2_edau.8	FAIL	900.38
ncf_16_64_8_euad.9	FAIL	900.38
ncf_16_64_4_edau.9	FAIL	900.38
ncf_16_128_2_euad.7	FAIL	900.38
ncf_8_64_4_u.1	FAIL	900.39
ncf_8_64_2_u.6	FAIL	900.39
ncf_16_64_8_u.4	FAIL	900.39
ncf_16_64_2_euad.10	FAIL	900.4
ncf_8_64_2_euad.1	FAIL	900.4
ncf_8_32_2_u.7	FAIL	900.4
ncf_4_32_2_d.3	FAIL	900.4
ncf_8_32_8_u.3	FAIL	900.41
ncf_8_64_4_euad.5	FAIL	900.41
ncf_16_64_8_u.5	FAIL	900.41
ncf_16_32_2_u.4	FAIL	900.41
ncf_16_64_8_euad.8	FAIL	900.41
ncf_8_64_8_euad.5	FAIL	900.42
ncf_8_64_4_edau.2	FAIL	900.42
ncf_16_32_8_d.4	FAIL	900.42
ncf_8_32_4_d.2	FAIL	900.42
ncf_4_32_8_edau.4	FAIL	900.42
ncf_16_64_4_edau.1	FAIL	900.42
ncf_16_64_4_edau.3	FAIL	900.42
ncf_16_128_4_euad.10	FAIL	900.42
ncf_16_128_4_d.3	FAIL	900.42
ncf_16_128_4_u.6	FAIL	900.42
ncf_8_64_4_d.1	FAIL	900.43
ncf_8_64_8_u.1	FAIL	900.43
ncf_4_16_8_edau.5	FAIL	900.43
ncf_8_32_4_u.1	FAIL	900.43
ncf_16_64_2_euad.5	FAIL	900.43
ncf_8_32_2_u.2	FAIL	900.43
ncf_16_128_2_u.2	FAIL	900.43
ncf_16_64_8_u.8	FAIL	900.43
ncf_4_32_2_edau.3	FAIL	900.43
ncf_4_32_8_d.6	FAIL	900.44
ncf_8_32_2_d.4	FAIL	900.44
ncf_8_32_2_u.6	FAIL	900.44
ncf_16_64_4_d.9	FAIL	900.44
ncf_4_16_4_euad.3	FAIL	900.44
ncf_8_32_2_edau.4	FAIL	900.44
ncf_16_128_4_edau.10	FAIL	900.44
ncf_16_128_4_euad.1	FAIL	900.44
ncf_16_128_4_d.7	FAIL	900.45
ncf_16_64_8_u.1	FAIL	900.45
ncf_8_64_2_euad.5	FAIL	900.45
ncf_8_32_2_u.4	FAIL	900.45
ncf_8_32_2_d.10	FAIL	900.45
ncf_16_128_4_u.3	FAIL	900.46
ncf_16_64_4_d.6	FAIL	900.46
ncf_8_32_8_d.9	FAIL	900.46
ncf_8_64_4_u.5	FAIL	900.46
ncf_8_32_4_edau.4	FAIL	900.46
ncf_16_64_8_edau.5	FAIL	900.46
ncf_16_32_2_edau.2	FAIL	900.46
ncf_8_32_8_edau.4	FAIL	900.46
ncf_4_32_8_edau.10	FAIL	900.47
ncf_8_32_2_edau.2	FAIL	900.47
ncf_16_32_4_d.6	FAIL	900.47
ncf_16_128_4_u.7	FAIL	900.47
ncf_16_64_8_euad.5	FAIL	900.47
ncf_8_64_4_u.10	FAIL	900.48
ncf_16_64_8_edau.9	FAIL	900.48
ncf_4_32_4_euad.6	FAIL	900.48
ncf_4_32_2_u.3	FAIL	900.48
ncf_8_64_8_u.2	FAIL	900.48
ncf_16_128_2_euad.8	FAIL	900.48
ncf_4_32_4_u.3	FAIL	900.48
ncf_16_64_2_d.7	FAIL	900.48
ncf_4_32_4_edau.8	FAIL	900.48
ncf_8_32_8_euad.9	FAIL	900.48
ncf_8_64_2_d.7	FAIL	900.49
ncf_16_128_2_edau.7	FAIL	900.49
ncf_4_32_8_euad.5	FAIL	900.49
ncf_4_32_8_u.5	FAIL	900.49
ncf_16_128_4_edau.6	FAIL	900.49
ncf_16_64_4_u.9	FAIL	900.49
ncf_8_64_4_edau.1	FAIL	900.49
ncf_4_16_4_d.2	FAIL	900.49
ncf_16_64_8_d.8	FAIL	900.49
ncf_16_64_8_edau.6	FAIL	900.49
ncf_16_32_2_edau.4	FAIL	900.49
ncf_16_128_4_edau.5	FAIL	900.5
ncf_16_32_4_euad.4	FAIL	900.5
ncf_16_64_8_d.9	FAIL	900.5
ncf_8_32_4_u.5	FAIL	900.5
ncf_8_64_8_euad.10	FAIL	900.5
ncf_8_64_4_d.6	FAIL	900.5
ncf_4_32_4_euad.2	FAIL	900.5
ncf_16_64_2_d.10	FAIL	900.5
ncf_16_128_2_u.1	FAIL	900.5
ncf_8_32_8_edau.3	FAIL	900.5
ncf_4_32_8_euad.1	FAIL	900.5
ncf_8_64_8_u.9	FAIL	900.5
ncf_8_32_4_u.2	FAIL	900.5
ncf_8_64_4_edau.6	FAIL	900.5
ncf_16_64_8_euad.6	FAIL	900.5
ncf_16_64_2_d.3	FAIL	900.5
ncf_8_16_4_d.9	FAIL	900.51
ncf_4_32_4_d.4	FAIL	900.51
ncf_16_32_8_u.2	FAIL	900.51
ncf_8_64_8_d.2	FAIL	900.51
ncf_8_32_2_edau.8	FAIL	900.51
ncf_16_64_8_edau.8	FAIL	900.51
ncf_8_32_8_edau.10	FAIL	900.51
ncf_16_128_4_edau.3	FAIL	900.51
ncf_8_32_2_u.3	FAIL	900.51
ncf_16_64_2_euad.4	FAIL	900.52
ncf_8_16_8_euad.9	FAIL	900.52
ncf_16_128_2_d.5	FAIL	900.52
ncf_16_128_2_d.3	FAIL	900.52
ncf_4_32_4_d.6	FAIL	900.52
ncf_4_32_8_euad.6	FAIL	900.52
ncf_8_32_8_edau.5	FAIL	900.52
ncf_8_32_4_edau.1	FAIL	900.52
ncf_8_32_2_d.2	FAIL	900.53
ncf_16_128_8_u.7	FAIL	900.53
ncf_4_16_4_euad.2	FAIL	900.53
ncf_16_64_8_d.1	FAIL	900.54
ncf_8_32_4_euad.4	FAIL	900.54
ncf_8_32_2_d.6	FAIL	900.54
ncf_8_32_4_d.7	FAIL	900.54
ncf_8_64_2_edau.7	FAIL	900.54
ncf_8_32_2_d.8	FAIL	900.54
ncf_8_32_4_edau.10	FAIL	900.54
ncf_16_64_4_edau.6	FAIL	900.54
ncf_16_128_2_euad.2	FAIL	900.55
ncf_4_32_8_u.9	FAIL	900.55
ncf_8_32_2_u.10	FAIL	900.55
ncf_8_64_4_u.7	FAIL	900.55
ncf_8_16_8_u.5	FAIL	900.55
ncf_16_64_4_u.8	FAIL	900.55
ncf_16_64_2_edau.7	FAIL	900.55
ncf_8_32_4_u.6	FAIL	900.55
ncf_8_32_2_d.5	FAIL	900.55
ncf_16_64_2_edau.5	FAIL	900.55
ncf_16_128_4_d.1	FAIL	900.55
ncf_16_128_2_d.2	FAIL	900.56
ncf_8_64_4_euad.9	FAIL	900.56
ncf_16_32_4_u.1	FAIL	900.56
ncf_4_32_4_u.2	FAIL	900.56
ncf_8_64_2_edau.5	FAIL	900.56
ncf_8_32_2_euad.5	FAIL	900.56
ncf_8_32_4_euad.6	FAIL	900.56
ncf_16_64_8_euad.1	FAIL	900.56
ncf_8_32_2_euad.4	FAIL	900.56
ncf_4_8_8_edau.6	FAIL	900.56
ncf_8_64_2_d.6	FAIL	900.56
ncf_16_32_8_edau.1	FAIL	900.56
ncf_4_16_8_u.1	FAIL	900.56
ncf_16_128_2_edau.1	FAIL	900.57
ncf_8_32_2_u.1	FAIL	900.57
ncf_8_32_2_u.5	FAIL	900.57
ncf_8_64_8_edau.8	FAIL	900.57
ncf_4_32_8_edau.6	FAIL	900.57
ncf_16_32_8_edau.5	FAIL	900.57
ncf_16_64_2_d.9	FAIL	900.57
ncf_8_64_4_d.2	FAIL	900.57
ncf_4_32_8_d.4	FAIL	900.57
ncf_16_64_4_edau.4	FAIL	900.57
ncf_16_32_2_d.3	FAIL	900.57
ncf_16_64_8_edau.1	FAIL	900.57
ncf_8_32_4_euad.10	FAIL	900.58
ncf_16_32_8_d.10	FAIL	900.58
ncf_16_64_8_d.4	FAIL	900.58
ncf_8_32_8_d.7	FAIL	900.58
ncf_8_64_2_d.4	FAIL	900.58
ncf_4_32_8_d.7	FAIL	900.59
ncf_4_32_4_u.9	FAIL	900.59
ncf_8_64_2_d.1	FAIL	900.59
ncf_16_32_8_d.7	FAIL	900.59
ncf_8_32_4_u.9	FAIL	900.59
ncf_16_64_8_edau.4	FAIL	900.59
ncf_4_32_4_d.1	FAIL	900.59
ncf_8_32_4_d.3	FAIL	900.59
ncf_8_64_2_u.10	FAIL	900.59
ncf_16_32_2_euad.2	FAIL	900.59
ncf_4_32_4_edau.2	FAIL	900.59
ncf_4_32_4_d.9	FAIL	900.59
ncf_16_64_8_d.2	FAIL	900.59
ncf_8_32_2_edau.10	FAIL	900.6
ncf_4_16_8_edau.3	FAIL	900.6
ncf_4_32_8_euad.9	FAIL	900.6
ncf_4_16_8_euad.1	FAIL	900.6
ncf_8_32_4_euad.5	FAIL	900.6
ncf_8_16_8_d.2	FAIL	900.6
ncf_8_32_2_euad.7	FAIL	900.6
ncf_4_32_8_d.5	FAIL	900.6
ncf_16_128_4_euad.9	FAIL	900.6
ncf_16_128_2_edau.6	FAIL	900.6
ncf_16_128_2_euad.10	FAIL	900.6
ncf_8_32_4_euad.9	FAIL	900.6
ncf_16_32_8_u.4	FAIL	900.61
ncf_16_64_2_edau.10	FAIL	900.61
ncf_16_128_4_d.9	FAIL	900.61
ncf_16_128_4_u.9	FAIL	900.61
ncf_4_32_2_edau.10	FAIL	900.61
ncf_8_32_4_euad.2	FAIL	900.61
ncf_8_32_8_d.4	FAIL	900.61
ncf_16_64_8_u.2	FAIL	900.61
ncf_16_64_8_edau.2	FAIL	900.61
ncf_4_16_8_euad.2	FAIL	900.61
ncf_4_32_8_u.6	FAIL	900.61
ncf_16_128_2_u.4	FAIL	900.61
ncf_16_128_4_u.1	FAIL	900.61
ncf_8_64_8_euad.4	FAIL	900.62
ncf_8_64_8_edau.6	FAIL	900.62
ncf_8_64_2_u.3	FAIL	900.62
ncf_16_64_2_d.4	FAIL	900.62
ncf_4_16_8_u.4	FAIL	900.62
ncf_4_32_2_d.9	FAIL	900.62
ncf_16_64_4_edau.2	FAIL	900.62
ncf_16_64_8_d.6	FAIL	900.62
ncf_16_64_4_d.10	FAIL	900.62
ncf_4_32_4_edau.3	FAIL	900.63
ncf_8_32_2_d.1	FAIL	900.63
ncf_16_64_4_d.5	FAIL	900.63
ncf_8_32_4_d.6	FAIL	900.63
ncf_16_64_8_u.7	FAIL	900.63
ncf_16_64_8_u.10	FAIL	900.63
ncf_4_32_4_euad.1	FAIL	900.63
ncf_16_64_8_u.9	FAIL	900.63
ncf_16_128_2_u.7	FAIL	900.63
ncf_8_32_8_euad.1	FAIL	900.63
ncf_4_32_4_euad.3	FAIL	900.63
ncf_8_64_8_edau.9	FAIL	900.63
ncf_8_32_4_u.10	FAIL	900.63
ncf_8_16_8_euad.5	FAIL	900.64
ncf_8_32_2_edau.1	FAIL	900.64
ncf_8_32_4_euad.7	FAIL	900.64
ncf_8_32_2_euad.8	FAIL	900.64
ncf_4_32_2_u.7	FAIL	900.64
ncf_16_64_4_d.4	FAIL	900.64
ncf_16_64_8_u.6	FAIL	900.64
ncf_8_32_4_euad.1	FAIL	900.64
ncf_4_32_2_euad.6	FAIL	900.64
ncf_16_32_4_edau.6	FAIL	900.64
ncf_4_32_4_u.4	FAIL	900.64
ncf_8_64_8_u.5	FAIL	900.64
ncf_8_32_2_euad.1	FAIL	900.64
ncf_4_32_2_edau.9	FAIL	900.65
ncf_4_32_8_edau.1	FAIL	900.65
ncf_16_32_2_euad.3	FAIL	900.65
ncf_16_128_4_u.5	FAIL	900.65
ncf_4_16_8_edau.4	FAIL	900.65
ncf_8_64_8_edau.7	FAIL	900.65
ncf_16_64_2_d.6	FAIL	900.65
ncf_16_128_2_euad.1	FAIL	900.65
ncf_4_32_2_edau.4	FAIL	900.65
ncf_8_32_2_euad.6	FAIL	900.65
ncf_16_64_8_euad.10	FAIL	900.65
ncf_8_32_4_edau.8	FAIL	900.65
ncf_4_32_8_edau.9	FAIL	900.65
ncf_4_16_8_u.6	FAIL	900.65
ncf_8_32_4_u.8	FAIL	900.65
ncf_8_32_8_u.10	FAIL	900.66
ncf_4_32_4_d.10	FAIL	900.66
ncf_8_16_8_d.5	FAIL	900.66
ncf_4_32_4_euad.8	FAIL	900.66
ncf_16_128_4_euad.5	FAIL	900.66
ncf_16_64_2_d.5	FAIL	900.66
ncf_4_32_2_euad.9	FAIL	900.66
ncf_8_32_8_u.2	FAIL	900.66
ncf_16_64_4_u.7	FAIL	900.66
ncf_16_64_4_euad.7	FAIL	900.66
ncf_4_32_8_euad.10	FAIL	900.66
ncf_16_32_8_euad.9	FAIL	900.66
ncf_16_32_2_u.3	FAIL	900.66
ncf_4_32_8_edau.8	FAIL	900.67
ncf_8_64_4_euad.4	FAIL	900.67
ncf_16_64_8_d.5	FAIL	900.67
ncf_8_16_8_d.10	FAIL	900.67
ncf_8_32_4_d.9	FAIL	900.67
ncf_8_64_4_d.4	FAIL	900.67
ncf_4_16_4_d.6	FAIL	900.67
ncf_16_32_8_d.9	FAIL	900.67
ncf_4_32_8_d.8	FAIL	900.67
ncf_4_32_4_d.5	FAIL	900.67
ncf_4_32_4_u.7	FAIL	900.67
ncf_16_32_8_u.3	FAIL	900.67
ncf_4_32_4_u.8	FAIL	900.67
ncf_8_16_8_euad.10	FAIL	900.67
ncf_4_32_8_u.2	FAIL	900.67
ncf_8_32_8_edau.9	FAIL	900.67
ncf_16_64_8_euad.4	FAIL	900.67
ncf_8_16_8_u.4	FAIL	900.67
ncf_16_64_2_u.10	FAIL	900.67
ncf_16_64_2_u.5	FAIL	900.67
ncf_16_32_2_edau.3	FAIL	900.68
ncf_16_64_2_u.7	FAIL	900.68
ncf_8_32_4_edau.9	FAIL	900.68
ncf_16_128_2_u.8	FAIL	900.68
ncf_8_32_4_edau.5	FAIL	900.68
ncf_8_64_8_d.9	FAIL	900.68
ncf_16_32_8_euad.4	FAIL	900.68
ncf_16_32_4_euad.1	FAIL	900.68
ncf_4_16_8_d.3	FAIL	900.68
ncf_8_16_8_d.4	FAIL	900.68
ncf_8_32_8_u.1	FAIL	900.68
ncf_8_32_4_euad.8	FAIL	900.68
ncf_4_32_4_edau.7	FAIL	900.69
ncf_16_128_2_euad.9	FAIL	900.69
ncf_4_32_4_u.6	FAIL	900.69
ncf_4_32_4_euad.10	FAIL	900.69
ncf_8_64_2_edau.4	FAIL	900.69
ncf_8_32_2_edau.5	FAIL	900.69
ncf_16_64_2_edau.2	FAIL	900.69
ncf_8_32_2_euad.9	FAIL	900.69
ncf_16_128_2_edau.5	FAIL	900.69
ncf_4_32_2_u.6	FAIL	900.7
ncf_16_128_2_edau.8	FAIL	900.7
ncf_4_32_4_u.5	FAIL	900.7
ncf_16_64_2_u.1	FAIL	900.7
ncf_16_64_8_d.10	FAIL	900.7
ncf_4_8_8_u.6	FAIL	900.7
ncf_16_128_2_d.10	FAIL	900.7
ncf_4_16_8_euad.3	FAIL	900.7
ncf_16_32_4_u.2	FAIL	900.7
ncf_8_64_8_d.3	FAIL	900.7
ncf_4_8_8_edau.10	FAIL	900.7
ncf_8_16_8_u.9	FAIL	900.7
ncf_16_64_2_euad.2	FAIL	900.7
ncf_8_16_4_edau.9	FAIL	900.7
ncf_16_32_2_u.5	FAIL	900.7
ncf_16_64_8_d.7	FAIL	900.71
ncf_16_64_4_euad.4	FAIL	900.71
ncf_8_32_8_euad.7	FAIL	900.71
ncf_4_16_8_d.5	FAIL	900.71
ncf_4_16_8_edau.6	FAIL	900.71
ncf_8_16_8_euad.7	FAIL	900.71
ncf_8_32_4_edau.7	FAIL	900.71
ncf_4_8_8_euad.6	FAIL	900.71
ncf_4_16_8_edau.9	FAIL	900.71
ncf_8_16_4_euad.3	FAIL	900.71
ncf_8_16_8_u.2	FAIL	900.71
ncf_16_32_8_u.6	FAIL	900.72
ncf_16_64_4_d.7	FAIL	900.72
ncf_16_64_4_euad.5	FAIL	900.72
ncf_8_16_4_euad.7	FAIL	900.72
ncf_4_32_8_u.10	FAIL	900.72
ncf_4_16_8_d.4	FAIL	900.72
ncf_4_16_8_d.9	FAIL	900.72
ncf_4_16_8_u.10	FAIL	900.72
ncf_8_16_8_d.3	FAIL	900.72
ncf_4_16_8_edau.2	FAIL	900.72
ncf_4_16_8_d.10	FAIL	900.73
ncf_4_32_4_euad.7	FAIL	900.73
ncf_4_16_8_euad.8	FAIL	900.73
ncf_4_32_2_d.10	FAIL	900.73
ncf_4_16_8_euad.5	FAIL	900.73
ncf_16_32_4_u.4	FAIL	900.73
ncf_16_64_2_u.9	FAIL	900.73
ncf_16_128_2_euad.6	FAIL	900.73
ncf_8_32_4_edau.6	FAIL	900.73
ncf_16_32_4_euad.3	FAIL	900.73
ncf_16_128_2_edau.3	FAIL	900.73
ncf_16_64_8_edau.7	FAIL	900.73
ncf_8_16_8_euad.4	FAIL	900.73
ncf_4_32_8_u.3	FAIL	900.74
ncf_16_64_2_u.3	FAIL	900.74
ncf_8_32_2_edau.6	FAIL	900.74
ncf_4_32_8_euad.3	FAIL	900.74
ncf_16_64_2_edau.9	FAIL	900.74
ncf_16_32_4_euad.10	FAIL	900.75
ncf_16_64_2_u.2	FAIL	900.75
ncf_16_32_4_edau.1	FAIL	900.75
ncf_8_16_8_edau.4	FAIL	900.75
ncf_4_16_8_euad.6	FAIL	900.75
ncf_8_16_4_u.3	FAIL	900.75
ncf_8_64_2_d.2	FAIL	900.75
ncf_8_32_4_d.1	FAIL	900.75
ncf_8_32_4_edau.2	FAIL	900.75
ncf_8_32_8_euad.3	FAIL	900.75
ncf_4_32_4_euad.5	FAIL	900.75
ncf_4_32_8_euad.7	FAIL	900.75
ncf_16_32_2_edau.1	FAIL	900.75
ncf_16_128_2_d.1	FAIL	900.76
ncf_8_16_8_euad.8	FAIL	900.76
ncf_16_128_2_euad.4	FAIL	900.76
ncf_4_16_8_d.2	FAIL	900.76
ncf_16_64_4_edau.8	FAIL	900.76
ncf_4_32_4_d.3	FAIL	900.76
ncf_16_64_2_u.4	FAIL	900.76
ncf_4_16_8_d.1	FAIL	900.76
ncf_16_32_2_euad.6	FAIL	900.76
ncf_16_64_2_euad.1	FAIL	900.76
ncf_16_128_2_d.4	FAIL	900.76
ncf_16_32_8_euad.5	FAIL	900.76
ncf_4_8_8_u.7	FAIL	900.76
ncf_4_32_2_u.9	FAIL	900.76
ncf_8_16_4_euad.9	FAIL	900.76
ncf_4_32_8_u.7	FAIL	900.76
ncf_4_32_8_edau.7	FAIL	900.76
ncf_16_32_2_euad.1	FAIL	900.77
ncf_8_32_8_d.5	FAIL	900.77
ncf_16_32_8_euad.7	FAIL	900.77
ncf_16_32_4_euad.9	FAIL	900.77
ncf_8_64_4_d.5	FAIL	900.77
ncf_16_64_2_euad.6	FAIL	900.77
ncf_8_32_8_edau.6	FAIL	900.77
ncf_8_32_4_d.10	FAIL	900.77
ncf_4_16_4_u.3	FAIL	900.77
ncf_4_32_4_euad.4	FAIL	900.78
ncf_8_16_8_u.10	FAIL	900.78
ncf_16_32_8_u.8	FAIL	900.78
ncf_16_64_2_edau.6	FAIL	900.78
ncf_16_64_2_euad.3	FAIL	900.78
ncf_16_32_4_euad.8	FAIL	900.78
ncf_16_32_2_u.6	FAIL	900.78
ncf_8_64_8_d.8	FAIL	900.78
ncf_8_64_2_u.2	FAIL	900.78
ncf_8_64_2_u.8	FAIL	900.78
ncf_16_32_4_u.7	FAIL	900.78
ncf_8_16_4_euad.4	FAIL	900.78
ncf_8_64_8_edau.1	FAIL	900.79
ncf_16_32_4_d.4	FAIL	900.79
ncf_4_8_8_u.10	FAIL	900.79
ncf_16_128_2_u.3	FAIL	900.79
ncf_4_32_2_u.10	FAIL	900.79
ncf_4_32_4_euad.9	FAIL	900.79
ncf_8_16_4_d.7	FAIL	900.79
ncf_8_32_2_edau.3	FAIL	900.79
ncf_4_8_8_d.6	FAIL	900.79
ncf_16_32_2_euad.5	FAIL	900.79
ncf_16_64_4_d.3	FAIL	900.8
ncf_8_64_2_euad.2	FAIL	900.8
ncf_8_64_8_d.10	FAIL	900.8
ncf_16_32_8_edau.2	FAIL	900.8
ncf_8_64_2_euad.9	FAIL	900.8
ncf_16_32_8_d.2	FAIL	900.8
ncf_8_64_2_edau.2	FAIL	900.8
ncf_16_32_4_edau.4	FAIL	900.8
ncf_16_32_2_euad.4	FAIL	900.8
ncf_8_64_8_d.4	FAIL	900.8
ncf_8_16_8_euad.6	FAIL	900.8
ncf_16_32_8_d.5	FAIL	900.8
ncf_16_32_4_euad.2	FAIL	900.8
ncf_8_32_2_u.8	FAIL	900.81
ncf_16_64_4_edau.5	FAIL	900.81
ncf_4_32_8_d.1	FAIL	900.81
ncf_16_32_8_euad.6	FAIL	900.81
ncf_4_32_8_edau.5	FAIL	900.81
ncf_4_16_8_d.6	FAIL	900.82
ncf_4_32_4_edau.4	FAIL	900.82
ncf_16_32_8_u.10	FAIL	900.82
ncf_8_64_2_euad.4	FAIL	900.82
ncf_16_32_2_u.2	FAIL	900.82
ncf_8_64_2_edau.1	FAIL	900.82
ncf_16_64_2_euad.8	FAIL	900.82
ncf_16_32_4_u.3	FAIL	900.82
ncf_16_64_4_euad.8	FAIL	900.83
ncf_16_32_8_edau.6	FAIL	900.83
ncf_4_16_8_u.9	FAIL	900.83
ncf_16_128_4_edau.1	FAIL	900.83
ncf_4_32_2_euad.5	FAIL	900.83
ncf_4_16_8_euad.10	FAIL	900.83
ncf_16_32_4_euad.5	FAIL	900.83
ncf_8_16_8_u.7	FAIL	900.84
ncf_8_32_4_d.8	FAIL	900.84
ncf_8_16_8_euad.2	FAIL	900.84
ncf_16_64_2_euad.9	FAIL	900.84
ncf_16_64_2_u.6	FAIL	900.84
ncf_4_16_8_euad.9	FAIL	900.84
ncf_8_64_2_edau.9	FAIL	900.84
ncf_8_64_2_d.8	FAIL	900.84
ncf_16_128_2_u.5	FAIL	900.84
ncf_8_16_8_d.6	FAIL	900.84
ncf_8_64_2_u.5	FAIL	900.84
ncf_4_32_4_edau.10	FAIL	900.85
ncf_16_32_4_euad.6	FAIL	900.85
ncf_16_64_4_u.1	FAIL	900.85
ncf_16_32_2_u.10	FAIL	900.85
ncf_16_32_2_euad.10	FAIL	900.85
ncf_4_32_2_d.4	FAIL	900.85
ncf_16_64_4_u.3	FAIL	900.85
ncf_16_32_2_d.1	FAIL	900.85
ncf_8_16_4_edau.7	FAIL	900.85
ncf_8_32_4_edau.3	FAIL	900.86
ncf_8_64_2_u.9	FAIL	900.86
ncf_4_16_8_edau.8	FAIL	900.86
ncf_16_32_2_euad.8	FAIL	900.86
ncf_16_32_8_edau.7	FAIL	900.86
ncf_8_64_2_euad.3	FAIL	900.87
ncf_16_64_2_edau.4	FAIL	900.87
ncf_16_32_4_u.5	FAIL	900.87
ncf_8_16_8_edau.5	FAIL	900.87
ncf_16_32_2_d.2	FAIL	900.87
ncf_16_64_4_u.10	FAIL	900.87
ncf_8_16_4_u.7	FAIL	900.87
ncf_16_32_8_euad.10	FAIL	900.87
ncf_16_32_4_euad.7	FAIL	900.87
ncf_16_64_4_euad.1	FAIL	900.87
ncf_8_16_8_u.8	FAIL	900.87
ncf_8_64_2_u.4	FAIL	900.87
ncf_8_64_2_euad.8	FAIL	900.88
ncf_4_32_2_euad.10	FAIL	900.88
ncf_16_64_4_d.8	FAIL	900.88
ncf_16_32_4_u.8	FAIL	900.88
ncf_8_16_4_u.9	FAIL	900.88
ncf_8_64_2_edau.6	FAIL	900.88
ncf_8_64_2_euad.10	FAIL	900.88
ncf_16_64_2_euad.7	FAIL	900.88
ncf_16_64_8_d.3	FAIL	900.88
ncf_16_128_2_d.8	FAIL	900.88
ncf_8_64_2_edau.10	FAIL	900.88
ncf_16_32_8_d.1	FAIL	900.89
ncf_4_16_8_edau.10	FAIL	900.89
ncf_16_64_2_edau.1	FAIL	900.89
ncf_4_32_4_u.10	FAIL	900.89
ncf_8_64_2_u.7	FAIL	900.89
ncf_8_16_8_edau.3	FAIL	900.89
ncf_8_16_8_euad.3	FAIL	900.89
ncf_16_64_8_euad.7	FAIL	900.89
ncf_16_32_2_u.8	FAIL	900.89
ncf_8_64_2_euad.7	FAIL	900.9
ncf_8_16_8_u.3	FAIL	900.9
ncf_16_128_2_u.6	FAIL	900.9
ncf_16_128_2_euad.5	FAIL	900.91
ncf_16_64_4_edau.7	FAIL	900.91
ncf_8_64_2_d.9	FAIL	900.91
ncf_16_32_8_d.6	FAIL	900.91
ncf_16_32_4_u.9	FAIL	900.91
ncf_16_128_2_d.6	FAIL	900.91
ncf_8_16_8_d.8	FAIL	900.92
ncf_8_32_8_d.10	FAIL	900.93
ncf_16_64_2_d.8	FAIL	900.93
ncf_16_32_4_u.10	FAIL	900.93
ncf_4_16_8_euad.4	FAIL	900.93
ncf_16_64_2_d.2	FAIL	900.94
ncf_8_64_2_u.1	FAIL	900.94
ncf_16_32_8_edau.9	FAIL	900.94
ncf_8_16_4_u.4	FAIL	900.94
ncf_16_32_8_u.5	FAIL	900.95
ncf_8_32_4_d.5	FAIL	900.95
ncf_8_64_8_edau.3	FAIL	900.96
ncf_16_32_2_u.1	FAIL	900.96
ncf_16_128_2_u.10	FAIL	900.97
ncf_16_128_2_d.7	FAIL	900.99
ncf_4_16_8_u.8	FAIL	901
ncf_8_32_2_u.9	FAIL	901.01
ncf_8_64_8_edau.10	FAIL	901.02
ncf_8_32_8_edau.7	FAIL	901.04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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