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

Instances of family CounterFactual solved by QChaffLearn
QBFEVAL'05

Instance	Result	Time
ncf_4_8_2_u.9	SAT	0
ncf_4_8_2_d.4	UNSAT	0
ncf_4_8_4_d.9	SAT	0
ncf_4_8_4_edau.9	SAT	0
ncf_8_16_2_u.7	SAT	0
ncf_8_16_2_edau.7	SAT	0.01
ncf_8_16_2_d.3	UNSAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.01
ncf_4_8_2_edau.4	UNSAT	0.01
ncf_4_8_4_u.9	SAT	0.01
ncf_8_16_2_u.8	UNSAT	0.01
ncf_8_16_2_edau.3	UNSAT	0.01
ncf_8_16_2_euad.3	UNSAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
ncf_8_16_2_d.8	UNSAT	0.01
ncf_4_8_2_u.10	SAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
ncf_4_8_2_edau.2	SAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
ncf_8_16_4_euad.5	UNSAT	0.01
ncf_8_16_2_d.7	SAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
ncf_4_8_2_euad.4	UNSAT	0.01
ncf_8_16_2_euad.8	UNSAT	0.01
ncf_8_16_2_euad.7	SAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
ncf_4_8_2_u.8	SAT	0.02
ncf_4_8_2_d.5	SAT	0.02
ncf_8_16_4_edau.2	UNSAT	0.02
ncf_8_16_2_edau.8	UNSAT	0.02
ncf_4_8_2_u.5	SAT	0.02
ncf_4_8_8_d.4	UNSAT	0.02
ncf_4_8_2_euad.5	SAT	0.02
ncf_4_8_2_euad.10	SAT	0.02
ncf_4_8_2_u.2	SAT	0.02
ncf_4_8_8_edau.4	UNSAT	0.02
ncf_4_16_2_euad.6	SAT	0.03
ncf_8_16_4_u.2	UNSAT	0.03
ncf_4_8_2_edau.5	SAT	0.03
ncf_8_16_4_d.1	SAT	0.03
ncf_8_16_4_u.1	SAT	0.03
ncf_16_32_2_edau.9	UNSAT	0.03
ncf_4_8_2_u.1	UNSAT	0.03
ncf_8_16_4_edau.1	SAT	0.03
ncf_4_8_2_d.2	SAT	0.03
ncf_4_8_4_euad.2	UNSAT	0.03
ncf_4_8_2_edau.9	SAT	0.03
ncf_8_16_4_euad.1	SAT	0.03
ncf_4_8_2_edau.1	UNSAT	0.03
ncf_8_16_4_d.2	UNSAT	0.03
ncf_4_16_2_edau.10	UNSAT	0.03
ncf_4_8_8_euad.9	UNSAT	0.04
ncf_4_8_8_edau.9	UNSAT	0.04
ncf_16_32_2_d.9	UNSAT	0.04
ncf_4_8_2_euad.8	SAT	0.04
ncf_16_32_2_u.9	UNSAT	0.04
ncf_4_8_8_d.9	UNSAT	0.04
ncf_4_8_8_u.9	UNSAT	0.04
ncf_4_8_2_edau.10	SAT	0.04
ncf_16_32_2_euad.9	UNSAT	0.04
ncf_4_8_4_d.2	UNSAT	0.04
ncf_8_16_4_euad.2	UNSAT	0.04
ncf_4_8_2_u.7	UNSAT	0.05
ncf_4_8_2_d.10	SAT	0.05
ncf_4_16_2_d.10	UNSAT	0.05
ncf_4_16_2_d.6	SAT	0.06
ncf_4_8_2_euad.7	UNSAT	0.07
ncf_4_8_2_edau.8	SAT	0.07
ncf_4_8_2_d.9	SAT	0.07
ncf_4_16_2_d.9	SAT	0.07
ncf_4_16_2_d.7	UNSAT	0.08
ncf_4_16_2_euad.9	SAT	0.08
ncf_4_16_2_u.6	SAT	0.09
ncf_4_16_2_u.9	SAT	0.09
ncf_4_8_4_edau.2	UNSAT	0.09
ncf_4_16_2_edau.9	SAT	0.09
ncf_4_16_2_edau.6	SAT	0.1
ncf_4_8_2_d.8	SAT	0.11
ncf_4_8_4_u.2	UNSAT	0.11
ncf_8_16_2_euad.9	UNSAT	0.11
ncf_8_16_4_u.8	UNSAT	0.11
ncf_4_8_2_edau.7	UNSAT	0.11
ncf_4_8_2_d.1	UNSAT	0.12
ncf_4_16_2_euad.7	SAT	0.12
ncf_4_8_2_u.6	SAT	0.12
ncf_4_8_4_euad.6	SAT	0.15
ncf_4_8_2_euad.6	SAT	0.15
ncf_4_8_4_euad.8	UNSAT	0.15
ncf_8_16_4_u.6	UNSAT	0.16
ncf_4_8_4_u.6	SAT	0.17
ncf_4_8_2_d.7	UNSAT	0.17
ncf_8_16_2_euad.1	SAT	0.2
ncf_4_16_2_u.7	SAT	0.2
ncf_8_16_2_d.9	UNSAT	0.21
ncf_8_16_4_euad.8	UNSAT	0.21
ncf_4_8_4_u.3	UNSAT	0.22
ncf_4_8_4_edau.6	SAT	0.22
ncf_8_16_4_euad.6	UNSAT	0.22
ncf_8_16_2_edau.6	UNSAT	0.24
ncf_8_16_2_d.1	SAT	0.24
ncf_8_16_2_u.6	UNSAT	0.25
ncf_8_16_2_edau.1	SAT	0.27
ncf_8_16_2_euad.6	UNSAT	0.27
ncf_8_16_2_u.1	SAT	0.28
ncf_16_32_2_u.7	UNSAT	0.29
ncf_8_16_2_d.6	UNSAT	0.29
ncf_16_32_2_euad.7	UNSAT	0.29
ncf_4_8_4_d.6	SAT	0.32
ncf_4_8_2_u.3	UNSAT	0.33
ncf_4_8_4_u.1	SAT	0.34
ncf_8_16_2_euad.5	UNSAT	0.37
ncf_4_16_2_edau.7	SAT	0.38
ncf_4_8_4_euad.3	UNSAT	0.39
ncf_4_8_8_u.4	SAT	0.47
ncf_8_16_8_u.1	SAT	0.49
ncf_4_16_2_edau.8	UNSAT	0.49
ncf_4_16_4_euad.9	SAT	0.49
ncf_8_16_8_edau.1	SAT	0.53
ncf_8_16_2_u.9	UNSAT	0.53
ncf_4_8_2_euad.3	UNSAT	0.56
ncf_4_8_4_euad.1	SAT	0.57
ncf_8_16_2_u.5	UNSAT	0.58
ncf_4_16_4_euad.5	SAT	0.59
ncf_4_8_4_u.8	UNSAT	0.6
ncf_8_16_2_edau.9	UNSAT	0.64
ncf_8_16_8_d.1	SAT	0.65
ncf_4_16_4_u.9	SAT	0.68
ncf_8_16_8_euad.1	SAT	0.7
ncf_4_8_8_euad.4	SAT	0.72
ncf_4_8_4_euad.4	UNSAT	0.93
ncf_4_8_2_edau.6	SAT	0.98
ncf_4_8_4_edau.1	SAT	1.01
ncf_8_16_4_edau.8	UNSAT	1.02
ncf_4_16_4_u.5	SAT	1.27
ncf_16_32_2_edau.7	UNSAT	1.36
ncf_8_16_2_u.10	SAT	1.57
ncf_8_16_2_euad.4	SAT	1.69
ncf_4_8_4_u.10	SAT	1.71
ncf_8_16_2_d.4	SAT	1.87
ncf_4_8_4_edau.8	UNSAT	1.95
ncf_16_32_2_d.7	UNSAT	2.06
ncf_8_16_4_euad.10	SAT	2.13
ncf_8_16_2_euad.10	SAT	2.23
ncf_4_8_4_u.5	SAT	2.32
ncf_4_8_2_d.6	SAT	2.42
ncf_4_8_8_u.2	UNSAT	2.98
ncf_4_16_2_edau.3	UNSAT	3.14
ncf_4_8_4_euad.10	SAT	3.31
ncf_4_8_2_edau.3	UNSAT	3.4
ncf_8_16_2_u.4	SAT	3.47
ncf_4_8_4_u.7	UNSAT	3.75
ncf_4_8_4_u.4	UNSAT	3.78
ncf_4_8_4_edau.3	UNSAT	3.78
ncf_8_16_4_edau.6	UNSAT	3.8
ncf_8_16_4_d.8	UNSAT	4.46
ncf_8_16_2_edau.4	SAT	4.85
ncf_4_16_2_u.4	SAT	4.98
ncf_8_16_4_u.10	SAT	5.3
ncf_8_16_4_d.6	UNSAT	5.96
ncf_4_8_4_edau.10	SAT	6.07
ncf_4_8_4_d.8	UNSAT	6.16
ncf_4_16_4_edau.9	SAT	6.37
ncf_4_8_4_euad.5	SAT	6.72
ncf_8_32_4_edau.4	UNSAT	7.16
ncf_8_16_2_edau.5	UNSAT	7.75
ncf_4_16_2_euad.4	SAT	8.02
ncf_8_16_2_d.5	UNSAT	8.22
ncf_8_16_2_edau.10	SAT	8.35
ncf_4_16_8_d.10	UNSAT	8.36
ncf_4_16_4_u.1	SAT	9.44
ncf_4_8_8_euad.7	UNSAT	11.38
ncf_4_8_2_d.3	UNSAT	11.89
ncf_8_16_4_edau.10	SAT	12.01
ncf_4_16_2_d.3	UNSAT	12.08
ncf_4_8_4_euad.7	UNSAT	13.38
ncf_4_16_4_d.9	UNSAT	13.81
ncf_4_16_4_euad.1	SAT	14.71
ncf_8_16_2_u.2	UNSAT	17.01
ncf_8_16_2_euad.2	UNSAT	17.29
ncf_8_16_2_d.2	UNSAT	17.51
ncf_8_16_2_edau.2	UNSAT	17.75
ncf_4_8_4_d.10	UNSAT	18.53
ncf_4_8_4_edau.4	UNSAT	20.26
ncf_4_8_4_edau.5	SAT	20.7
ncf_4_16_4_d.5	SAT	21.16
ncf_4_16_4_edau.5	SAT	22.08
ncf_4_32_4_edau.2	UNSAT	22.64
ncf_4_8_8_u.3	SAT	23.8
ncf_4_16_4_u.8	SAT	24.31
ncf_8_16_4_d.10	SAT	24.64
ncf_4_8_8_edau.10	UNSAT	27.58
ncf_4_8_4_d.3	UNSAT	31.56
ncf_4_16_2_u.2	SAT	31.59
ncf_8_16_8_u.8	UNSAT	34.54
ncf_4_16_4_euad.8	SAT	44.32
ncf_4_16_2_u.5	UNSAT	46.54
ncf_4_8_4_d.1	SAT	48.11
ncf_4_8_8_u.7	UNSAT	53.41
ncf_4_8_8_u.10	SAT	54.36
ncf_4_8_4_d.4	UNSAT	57.76
ncf_4_8_8_euad.3	SAT	58.87
ncf_4_16_2_euad.2	SAT	60.24
ncf_8_16_8_euad.7	UNSAT	65.12
ncf_8_16_8_u.7	UNSAT	69.23
ncf_4_8_8_edau.7	UNSAT	70.25
ncf_4_32_2_euad.2	SAT	70.91
ncf_4_16_4_d.6	UNSAT	76.59
ncf_8_16_2_d.10	SAT	80.83
ncf_4_16_2_edau.2	SAT	84.25
ncf_4_8_8_u.5	UNSAT	89.17
ncf_4_16_2_d.1	UNSAT	99.83
ncf_4_32_2_u.2	SAT	101.35
ncf_8_32_4_d.2	UNSAT	109.05
ncf_8_16_4_euad.7	SAT	137.84
ncf_4_16_2_edau.4	SAT	143.08
ncf_4_8_4_edau.7	UNSAT	144.48
ncf_4_16_2_u.8	SAT	148.33
ncf_4_8_8_u.1	SAT	152.06
ncf_8_16_4_u.7	SAT	156.87
ncf_4_32_2_edau.2	SAT	167.88
ncf_4_16_2_euad.10	UNSAT	180.16
ncf_4_32_2_u.6	UNSAT	185.41
ncf_16_32_4_euad.9	SAT	198.84
ncf_16_32_4_u.9	SAT	200.05
ncf_4_8_8_euad.5	UNSAT	238.32
ncf_8_16_4_euad.4	SAT	243.72
ncf_16_32_2_euad.6	SAT	246.49
ncf_4_8_4_d.5	SAT	255.92
ncf_16_32_2_u.6	SAT	257.64
ncf_4_8_8_euad.1	SAT	272.27
ncf_8_64_2_d.9	UNSAT	272.96
ncf_8_64_2_edau.9	UNSAT	278.78
ncf_4_16_8_edau.10	UNSAT	285.54
ncf_16_64_2_euad.6	UNSAT	290.12
ncf_16_32_2_edau.6	SAT	303.92
ncf_4_16_2_u.10	UNSAT	305.76
ncf_16_32_2_d.6	SAT	310.5
ncf_4_8_8_edau.1	SAT	318.11
ncf_4_16_2_euad.8	SAT	329.17
ncf_4_8_8_euad.2	UNSAT	353.45
ncf_4_32_2_d.2	SAT	359.96
ncf_4_16_2_d.8	SAT	366.18
ncf_4_16_2_d.2	SAT	401.86
ncf_4_16_2_d.4	SAT	450.53
ncf_8_32_4_edau.8	UNSAT	462.63
ncf_4_16_2_euad.5	UNSAT	535.55
ncf_8_16_8_edau.8	UNSAT	615.2
ncf_4_8_8_edau.3	SAT	617.21
ncf_8_64_8_edau.2	UNSAT	627.22
ncf_16_32_2_euad.1	FAIL	802.06
ncf_16_32_2_u.1	FAIL	802.67
ncf_16_32_2_euad.8	FAIL	803.06
ncf_16_32_2_euad.5	FAIL	804.44
ncf_8_16_4_u.4	SAT	807.3
ncf_16_32_2_u.5	FAIL	808.04
ncf_8_32_2_euad.4	FAIL	810.5
ncf_8_32_2_euad.2	FAIL	811.27
ncf_16_32_2_d.1	FAIL	812.1
ncf_16_32_2_d.3	FAIL	813.75
ncf_8_32_2_euad.8	FAIL	815.35
ncf_8_32_2_euad.9	FAIL	815.39
ncf_8_32_2_euad.5	FAIL	815.89
ncf_16_32_2_u.8	FAIL	818.2
ncf_8_32_2_u.9	FAIL	820.05
ncf_8_32_2_d.8	FAIL	820.29
ncf_16_32_4_u.1	FAIL	820.78
ncf_8_32_2_u.8	FAIL	820.84
ncf_16_32_2_edau.4	FAIL	821.34
ncf_8_32_2_u.5	FAIL	821.78
ncf_16_32_2_edau.8	FAIL	822.36
ncf_8_32_2_edau.8	FAIL	822.41
ncf_16_32_2_d.4	FAIL	822.42
ncf_16_32_2_edau.1	FAIL	822.65
ncf_16_32_2_d.5	FAIL	822.72
ncf_8_32_4_euad.9	FAIL	823.1
ncf_16_32_4_d.7	FAIL	823.55
ncf_16_32_4_euad.1	FAIL	823.86
ncf_16_32_2_edau.10	FAIL	824.57
ncf_16_32_2_edau.3	FAIL	825.11
ncf_16_32_2_d.8	FAIL	825.54
ncf_16_32_2_u.2	FAIL	825.87
ncf_16_32_2_d.2	FAIL	825.91
ncf_4_16_2_edau.5	FAIL	826
ncf_16_32_2_edau.2	FAIL	826.38
ncf_16_32_4_edau.1	FAIL	826.39
ncf_16_32_2_d.10	FAIL	827.52
ncf_8_32_2_d.5	FAIL	827.96
ncf_8_16_4_edau.7	FAIL	828.48
ncf_8_16_4_edau.4	FAIL	828.71
ncf_8_32_4_euad.7	FAIL	829.97
ncf_16_32_4_d.1	FAIL	830.67
ncf_8_16_4_d.4	FAIL	831.2
ncf_4_32_4_euad.8	FAIL	831.53
ncf_8_32_2_u.4	FAIL	831.72
ncf_8_32_2_d.7	FAIL	831.77
ncf_4_16_2_edau.1	FAIL	831.83
ncf_16_32_2_u.3	FAIL	831.91
ncf_16_32_4_edau.9	FAIL	832.02
ncf_8_32_2_u.2	FAIL	832.61
ncf_4_8_8_d.5	FAIL	832.84
ncf_16_32_4_d.9	FAIL	832.86
ncf_16_32_2_euad.2	FAIL	833.29
ncf_16_32_2_u.4	FAIL	833.32
ncf_16_32_4_d.4	FAIL	834.13
ncf_16_32_4_edau.7	FAIL	834.38
ncf_4_16_4_edau.8	FAIL	834.94
ncf_16_32_2_euad.3	FAIL	835.09
ncf_16_32_4_d.3	FAIL	835.16
ncf_8_16_4_edau.9	FAIL	835.47
ncf_4_8_4_d.7	FAIL	835.97
ncf_8_32_2_d.3	FAIL	836.13
ncf_8_32_4_u.7	FAIL	836.38
ncf_8_16_4_d.3	FAIL	836.49
ncf_16_64_2_d.6	FAIL	836.54
ncf_4_16_2_d.5	FAIL	837.13
ncf_16_32_4_edau.4	FAIL	837.15
ncf_4_16_4_edau.7	FAIL	837.39
ncf_16_32_2_u.10	FAIL	837.56
ncf_4_32_2_edau.8	FAIL	837.57
ncf_8_32_2_edau.5	FAIL	837.68
ncf_8_32_2_edau.3	FAIL	837.77
ncf_8_32_2_edau.7	FAIL	838.05
ncf_16_64_2_euad.1	FAIL	838.43
ncf_16_32_2_edau.5	FAIL	838.54
ncf_8_16_4_edau.3	FAIL	838.62
ncf_16_64_2_edau.1	FAIL	839.13
ncf_16_64_2_d.1	FAIL	839.18
ncf_4_8_8_edau.5	FAIL	839.41
ncf_16_64_2_u.1	FAIL	839.48
ncf_16_32_4_euad.3	FAIL	839.77
ncf_4_16_4_edau.1	FAIL	839.85
ncf_4_16_4_edau.10	FAIL	839.88
ncf_8_32_4_u.9	FAIL	839.91
ncf_8_32_2_edau.10	FAIL	839.97
ncf_4_32_2_d.3	FAIL	840.04
ncf_8_16_4_d.9	FAIL	840.1
ncf_16_64_2_euad.4	FAIL	840.16
ncf_16_64_2_edau.6	FAIL	840.2
ncf_8_32_2_edau.9	FAIL	840.38
ncf_16_32_4_d.10	FAIL	840.62
ncf_8_16_4_d.7	FAIL	841.14
ncf_16_32_4_euad.7	FAIL	841.39
ncf_8_32_2_d.2	FAIL	841.76
ncf_4_32_4_u.8	FAIL	841.79
ncf_4_8_8_d.3	FAIL	841.87
ncf_16_32_4_edau.6	FAIL	842.72
ncf_4_16_4_edau.2	FAIL	842.77
ncf_4_32_4_d.4	FAIL	842.79
ncf_4_8_8_edau.2	FAIL	842.99
ncf_8_32_2_edau.6	FAIL	843.17
ncf_4_32_2_d.1	FAIL	843.28
ncf_4_16_4_d.4	FAIL	843.31
ncf_4_16_4_edau.6	FAIL	843.83
ncf_16_32_4_d.8	FAIL	843.83
ncf_8_32_2_edau.4	FAIL	843.86
ncf_8_64_2_euad.8	FAIL	843.89
ncf_8_64_2_euad.10	FAIL	844.09
ncf_4_16_4_d.7	FAIL	844.22
ncf_8_64_2_euad.5	FAIL	844.25
ncf_8_32_2_d.9	FAIL	844.53
ncf_16_32_4_edau.3	FAIL	844.76
ncf_4_16_4_edau.4	FAIL	844.91
ncf_4_8_8_edau.6	FAIL	844.91
ncf_16_32_4_edau.10	FAIL	845.04
ncf_8_32_2_d.10	FAIL	845.22
ncf_16_32_4_u.7	FAIL	845.52
ncf_16_32_4_d.6	FAIL	845.61
ncf_8_32_2_edau.1	FAIL	846.29
ncf_16_64_2_u.8	FAIL	846.3
ncf_8_32_2_d.4	FAIL	846.34
ncf_16_64_2_d.8	FAIL	846.48
ncf_8_32_2_edau.2	FAIL	846.7
ncf_4_32_2_edau.4	FAIL	846.72
ncf_8_32_2_d.6	FAIL	847.05
ncf_16_32_2_euad.4	FAIL	847.07
ncf_16_32_4_edau.8	FAIL	847.11
ncf_4_16_4_edau.3	FAIL	847.35
ncf_16_64_2_euad.8	FAIL	847.42
ncf_16_64_2_d.10	FAIL	848.03
ncf_16_64_4_euad.1	FAIL	848.18
ncf_4_32_4_edau.4	FAIL	848.5
ncf_8_32_4_edau.1	FAIL	848.59
ncf_16_64_2_d.7	FAIL	848.82
ncf_8_64_2_u.5	FAIL	848.96
ncf_8_32_4_d.6	FAIL	849.39
ncf_16_32_4_u.3	FAIL	849.45
ncf_8_32_2_d.1	FAIL	849.73
ncf_4_32_2_edau.3	FAIL	849.77
ncf_8_64_4_euad.10	FAIL	849.83
ncf_8_64_4_euad.3	FAIL	849.84
ncf_8_32_4_d.7	FAIL	849.86
ncf_16_64_2_u.4	FAIL	850.1
ncf_8_32_4_edau.7	FAIL	850.88
ncf_4_16_4_d.1	FAIL	851.02
ncf_8_16_8_edau.3	FAIL	851.14
ncf_8_32_2_u.6	FAIL	851.24
ncf_8_64_2_u.8	FAIL	851.24
ncf_16_32_4_euad.4	FAIL	851.27
ncf_8_64_4_euad.6	FAIL	851.34
ncf_4_32_2_d.4	FAIL	851.42
ncf_16_32_4_edau.2	FAIL	851.52
ncf_4_8_8_edau.8	FAIL	851.62
ncf_4_32_4_d.10	FAIL	851.72
ncf_16_32_4_u.4	FAIL	851.72
ncf_16_64_2_edau.8	FAIL	851.86
ncf_8_64_4_euad.2	FAIL	851.86
ncf_4_16_4_d.10	FAIL	852.24
ncf_16_64_4_u.1	FAIL	852.37
ncf_8_16_8_d.6	FAIL	852.38
ncf_4_8_8_d.7	FAIL	852.43
ncf_4_8_8_d.2	FAIL	852.56
ncf_16_64_2_edau.10	FAIL	852.69
ncf_4_16_8_d.1	FAIL	852.73
ncf_16_32_4_d.2	FAIL	852.76
ncf_4_16_4_d.8	FAIL	852.77
ncf_8_32_4_euad.3	FAIL	852.91
ncf_8_32_4_d.1	FAIL	853.03
ncf_4_32_2_edau.1	FAIL	853.06
ncf_16_64_2_u.6	FAIL	853.21
ncf_16_32_8_d.7	FAIL	853.31
ncf_8_32_4_d.9	FAIL	853.34
ncf_8_32_4_edau.6	FAIL	853.35
ncf_4_16_4_d.2	FAIL	853.41
ncf_16_32_4_edau.5	FAIL	853.47
ncf_8_16_8_edau.6	FAIL	853.68
ncf_8_32_4_edau.3	FAIL	853.75
ncf_16_64_2_u.10	FAIL	853.84
ncf_4_32_2_edau.5	FAIL	853.86
ncf_16_32_4_u.10	FAIL	854.13
ncf_16_64_2_edau.7	FAIL	854.16
ncf_4_32_4_edau.10	FAIL	854.27
ncf_16_64_2_d.9	FAIL	854.39
ncf_4_32_4_d.1	FAIL	854.51
ncf_8_64_2_u.10	FAIL	854.78
ncf_8_16_8_d.9	FAIL	854.84
ncf_4_32_2_edau.7	FAIL	855.16
ncf_8_32_4_d.4	FAIL	855.3
ncf_4_32_2_d.5	FAIL	855.38
ncf_4_32_2_edau.6	FAIL	856.16
ncf_16_64_2_euad.10	FAIL	856.25
ncf_16_64_2_u.7	FAIL	856.28
ncf_8_32_4_edau.5	FAIL	856.35
ncf_16_32_4_u.6	FAIL	856.4
ncf_8_64_4_u.2	FAIL	856.56
ncf_4_16_4_d.3	FAIL	856.65
ncf_4_16_8_edau.7	FAIL	856.92
ncf_8_16_8_edau.4	FAIL	857
ncf_8_32_4_edau.10	FAIL	857.41
ncf_8_32_8_u.7	FAIL	857.57
ncf_4_16_4_u.3	FAIL	857.73
ncf_4_32_2_d.8	FAIL	857.78
ncf_8_32_4_edau.2	FAIL	857.89
ncf_16_32_8_d.8	FAIL	857.97
ncf_4_16_8_edau.6	FAIL	858.1
ncf_8_16_8_u.6	FAIL	858.2
ncf_16_64_2_d.3	FAIL	858.23
ncf_8_32_4_edau.9	FAIL	858.61
ncf_4_32_4_edau.6	FAIL	858.77
ncf_8_16_8_edau.10	FAIL	858.79
ncf_8_32_8_d.6	FAIL	858.84
ncf_4_32_2_edau.10	FAIL	858.85
ncf_16_64_2_edau.3	FAIL	859.01
ncf_8_16_8_edau.2	FAIL	859.05
ncf_16_32_4_euad.8	FAIL	859.1
ncf_4_16_8_edau.4	FAIL	859.23
ncf_8_32_8_d.9	FAIL	859.34
ncf_16_32_8_d.5	FAIL	859.35
ncf_8_16_8_edau.5	FAIL	859.5
ncf_4_32_2_d.7	FAIL	859.62
ncf_8_64_4_u.6	FAIL	859.63
ncf_16_128_2_euad.1	FAIL	859.67
ncf_8_64_4_u.10	FAIL	859.69
ncf_4_32_2_u.3	FAIL	859.69
ncf_16_64_4_d.8	FAIL	859.71
ncf_8_16_8_u.3	FAIL	860.28
ncf_16_32_8_euad.6	FAIL	860.3
ncf_8_32_4_u.10	FAIL	860.33
ncf_4_16_4_u.2	FAIL	860.35
ncf_4_16_8_d.7	FAIL	860.38
ncf_4_32_2_edau.9	FAIL	860.77
ncf_8_32_4_d.3	FAIL	860.86
ncf_8_64_2_d.6	FAIL	860.88
ncf_16_64_2_edau.9	FAIL	860.96
ncf_4_16_8_edau.1	FAIL	860.99
ncf_8_32_4_d.10	FAIL	861.01
ncf_16_64_4_euad.2	FAIL	861.1
ncf_16_64_2_edau.5	FAIL	861.11
ncf_16_32_8_d.1	FAIL	861.35
ncf_4_16_8_d.8	FAIL	861.44
ncf_8_64_2_d.5	FAIL	861.57
ncf_8_16_4_u.9	FAIL	861.61
ncf_4_32_8_d.8	FAIL	861.64
ncf_16_64_2_d.5	FAIL	861.76
ncf_16_128_2_euad.3	FAIL	861.76
ncf_8_32_4_u.3	FAIL	861.78
ncf_8_16_8_euad.8	FAIL	861.83
ncf_16_64_4_edau.1	FAIL	861.89
ncf_4_32_2_u.1	FAIL	861.99
ncf_8_32_2_u.3	FAIL	861.99
ncf_8_64_2_d.2	FAIL	862.13
ncf_8_16_8_u.10	FAIL	862.24
ncf_16_128_2_u.7	FAIL	862.24
ncf_4_32_2_d.10	FAIL	862.26
ncf_4_16_8_u.7	FAIL	862.27
ncf_16_32_4_euad.6	FAIL	862.31
ncf_8_16_8_d.2	FAIL	862.32
ncf_16_32_2_euad.10	FAIL	862.39
ncf_4_8_8_d.10	FAIL	862.39
ncf_16_64_4_d.7	FAIL	862.53
ncf_16_32_8_u.7	FAIL	862.64
ncf_8_16_4_euad.3	FAIL	862.77
ncf_16_128_2_euad.7	FAIL	862.9
ncf_4_32_2_d.6	FAIL	863
ncf_16_64_2_edau.4	FAIL	863.03
ncf_16_32_8_edau.8	FAIL	863.15
ncf_4_32_4_u.2	FAIL	863.21
ncf_16_32_8_edau.1	FAIL	863.25
ncf_8_16_8_d.3	FAIL	863.38
ncf_16_128_2_u.1	FAIL	863.4
ncf_4_16_8_edau.5	FAIL	863.41
ncf_16_64_2_euad.7	FAIL	863.57
ncf_4_16_8_edau.8	FAIL	863.76
ncf_8_64_2_d.10	FAIL	863.84
ncf_8_16_8_edau.7	FAIL	863.9
ncf_4_32_4_edau.1	FAIL	863.93
ncf_4_16_8_edau.3	FAIL	864
ncf_4_16_8_u.9	FAIL	864.02
ncf_16_32_8_d.6	FAIL	864.1
ncf_4_16_8_edau.9	FAIL	864.14
ncf_8_16_8_u.2	FAIL	864.15
ncf_16_64_4_edau.4	FAIL	864.22
ncf_4_16_8_u.1	FAIL	864.26
ncf_16_64_4_u.4	FAIL	864.36
ncf_16_64_8_d.10	FAIL	864.37
ncf_4_8_8_d.8	FAIL	864.43
ncf_4_16_8_edau.2	FAIL	864.45
ncf_4_8_8_d.6	FAIL	864.46
ncf_16_64_4_d.1	FAIL	864.48
ncf_8_64_4_u.3	FAIL	864.56
ncf_4_32_2_euad.3	FAIL	864.76
ncf_8_64_2_edau.2	FAIL	864.81
ncf_8_16_8_euad.6	FAIL	864.81
ncf_16_64_4_d.2	FAIL	864.92
ncf_16_128_2_euad.2	FAIL	864.96
ncf_8_32_8_edau.7	FAIL	864.98
ncf_8_16_8_d.10	FAIL	865.01
ncf_16_64_2_d.4	FAIL	865.23
ncf_16_32_8_edau.5	FAIL	865.3
ncf_8_16_8_edau.9	FAIL	865.3
ncf_4_16_4_euad.2	FAIL	865.34
ncf_16_64_4_edau.8	FAIL	865.36
ncf_16_64_4_d.6	FAIL	865.71
ncf_4_16_4_u.4	FAIL	865.76
ncf_16_32_8_edau.6	FAIL	865.78
ncf_16_32_4_euad.10	FAIL	865.92
ncf_16_64_4_u.2	FAIL	865.93
ncf_16_32_8_edau.7	FAIL	865.95
ncf_8_32_4_d.5	FAIL	865.96
ncf_8_64_2_edau.10	FAIL	865.98
ncf_16_32_8_euad.10	FAIL	866.09
ncf_4_8_8_u.8	FAIL	866.18
ncf_4_32_4_edau.9	FAIL	866.22
ncf_4_32_2_d.9	FAIL	866.23
ncf_16_128_4_euad.6	FAIL	866.24
ncf_4_8_8_d.1	FAIL	866.26
ncf_4_16_4_euad.7	FAIL	866.31
ncf_16_128_4_u.9	FAIL	866.37
ncf_8_64_2_edau.3	FAIL	866.54
ncf_16_64_4_edau.6	FAIL	866.55
ncf_8_64_2_d.1	FAIL	866.58
ncf_16_32_8_edau.10	FAIL	866.59
ncf_4_8_8_euad.6	FAIL	866.6
ncf_4_16_8_euad.7	FAIL	866.68
ncf_16_32_8_u.6	FAIL	866.72
ncf_16_32_8_euad.7	FAIL	867
ncf_8_16_8_d.4	FAIL	867.05
ncf_16_128_4_u.6	FAIL	867.05
ncf_16_64_4_euad.6	FAIL	867.09
ncf_16_128_2_u.2	FAIL	867.09
ncf_16_64_2_edau.2	FAIL	867.12
ncf_4_16_4_u.7	FAIL	867.15
ncf_16_64_4_edau.10	FAIL	867.22
ncf_8_64_2_edau.4	FAIL	867.31
ncf_4_32_4_d.9	FAIL	867.38
ncf_4_32_4_edau.3	FAIL	867.39
ncf_8_32_8_edau.9	FAIL	867.41
ncf_8_64_4_d.6	FAIL	867.49
ncf_16_32_8_u.10	FAIL	867.57
ncf_8_16_4_u.3	FAIL	867.57
ncf_16_64_4_d.3	FAIL	867.6
ncf_4_32_8_edau.4	FAIL	867.62
ncf_4_8_8_u.6	FAIL	867.67
ncf_4_32_4_d.2	FAIL	867.84
ncf_16_32_8_d.9	FAIL	867.99
ncf_16_128_2_u.10	FAIL	868.09
ncf_16_128_2_euad.10	FAIL	868.13
ncf_16_64_4_u.8	FAIL	868.14
ncf_8_32_8_d.7	FAIL	868.17
ncf_16_128_2_u.3	FAIL	868.29
ncf_8_64_2_edau.7	FAIL	868.29
ncf_16_32_8_d.10	FAIL	868.36
ncf_16_128_8_edau.7	FAIL	868.44
ncf_8_64_4_d.7	FAIL	868.55
ncf_8_16_8_euad.10	FAIL	868.55
ncf_8_32_2_u.1	FAIL	868.63
ncf_8_32_8_edau.3	FAIL	868.69
ncf_16_32_8_edau.9	FAIL	868.71
ncf_16_32_8_u.1	FAIL	868.72
ncf_8_32_8_edau.6	FAIL	868.76
ncf_4_32_4_edau.7	FAIL	868.78
ncf_16_32_8_edau.2	FAIL	868.8
ncf_16_32_8_d.2	FAIL	868.8
ncf_4_8_8_euad.8	FAIL	868.81
ncf_16_128_4_euad.9	FAIL	868.86
ncf_8_16_8_u.5	FAIL	868.93
ncf_8_64_2_edau.6	FAIL	868.93
ncf_4_32_2_u.10	FAIL	868.96
ncf_8_64_2_d.4	FAIL	869
ncf_16_32_8_edau.4	FAIL	869.03
ncf_16_32_4_u.8	FAIL	869.32
ncf_8_32_8_euad.7	FAIL	869.33
ncf_16_128_4_u.10	FAIL	869.33
ncf_8_64_2_edau.5	FAIL	869.43
ncf_16_64_4_u.6	FAIL	869.46
ncf_16_32_4_d.5	FAIL	869.61
ncf_8_32_2_euad.1	FAIL	869.68
ncf_8_64_4_edau.10	FAIL	869.72
ncf_16_64_4_edau.7	FAIL	869.74
ncf_16_128_8_edau.10	FAIL	869.79
ncf_8_64_4_d.2	FAIL	869.89
ncf_8_32_2_u.10	FAIL	870.13
ncf_16_64_2_u.2	FAIL	870.15
ncf_16_64_4_d.10	FAIL	870.16
ncf_16_32_8_u.8	FAIL	870.18
ncf_8_64_2_u.4	FAIL	870.21
ncf_8_64_2_edau.1	FAIL	870.28
ncf_8_64_2_d.8	FAIL	870.3
ncf_16_32_4_u.2	FAIL	870.3
ncf_16_64_4_edau.5	FAIL	870.33
ncf_8_32_4_u.1	FAIL	870.44
ncf_4_32_4_edau.5	FAIL	870.61
ncf_16_128_2_u.4	FAIL	870.67
ncf_16_64_4_d.5	FAIL	870.72
ncf_16_128_2_d.10	FAIL	870.73
ncf_8_16_8_euad.2	FAIL	870.79
ncf_8_64_2_d.3	FAIL	870.85
ncf_8_16_8_euad.3	FAIL	870.86
ncf_16_128_2_d.7	FAIL	871.04
ncf_16_128_2_d.5	FAIL	871.05
ncf_8_32_4_u.6	FAIL	871.13
ncf_8_32_4_u.4	FAIL	871.22
ncf_8_32_4_d.8	FAIL	871.24
ncf_16_64_4_d.4	FAIL	871.34
ncf_16_64_4_edau.2	FAIL	871.4
ncf_4_32_8_u.4	FAIL	871.47
ncf_4_16_8_u.6	FAIL	871.49
ncf_8_32_8_edau.8	FAIL	871.54
ncf_16_32_8_euad.1	FAIL	871.58
ncf_4_16_4_euad.10	FAIL	871.62
ncf_4_32_8_edau.9	FAIL	871.63
ncf_8_64_4_d.5	FAIL	871.65
ncf_8_32_8_d.2	FAIL	871.68
ncf_16_64_2_u.3	FAIL	871.76
ncf_16_64_4_d.9	FAIL	871.79
ncf_8_32_8_d.3	FAIL	871.82
ncf_4_32_8_edau.8	FAIL	871.83
ncf_8_32_8_d.8	FAIL	871.83
ncf_4_32_8_d.7	FAIL	871.95
ncf_16_32_4_u.5	FAIL	871.96
ncf_8_64_2_u.6	FAIL	872.07
ncf_16_128_4_euad.10	FAIL	872.07
ncf_4_32_8_d.4	FAIL	872.14
ncf_4_32_4_d.8	FAIL	872.16
ncf_8_32_8_u.3	FAIL	872.23
ncf_4_16_4_u.10	FAIL	872.3
ncf_4_32_4_d.6	FAIL	872.3
ncf_8_32_8_u.2	FAIL	872.32
ncf_8_64_2_edau.8	FAIL	872.43
ncf_8_64_2_d.7	FAIL	872.5
ncf_8_32_8_d.1	FAIL	872.63
ncf_4_32_2_u.4	FAIL	872.75
ncf_16_128_8_d.7	FAIL	872.78
ncf_16_64_2_u.5	FAIL	872.79
ncf_4_32_2_euad.1	FAIL	872.83
ncf_4_32_4_edau.8	FAIL	872.9
ncf_16_64_8_d.8	FAIL	872.92
ncf_16_64_2_u.9	FAIL	872.93
ncf_16_128_2_d.9	FAIL	872.96
ncf_8_16_8_d.7	FAIL	873.03
ncf_16_128_2_d.8	FAIL	873.04
ncf_16_64_8_edau.10	FAIL	873.09
ncf_4_32_4_u.3	FAIL	873.19
ncf_4_32_4_u.1	FAIL	873.24
ncf_8_64_2_u.2	FAIL	873.36
ncf_4_32_4_euad.3	FAIL	873.37
ncf_16_128_8_d.4	FAIL	873.38
ncf_16_32_8_u.4	FAIL	873.45
ncf_16_32_4_euad.2	FAIL	873.67
ncf_4_32_4_u.9	FAIL	873.72
ncf_16_32_8_euad.4	FAIL	873.73
ncf_8_16_8_d.8	FAIL	873.82
ncf_16_32_8_d.4	FAIL	873.84
ncf_16_64_2_d.2	FAIL	873.86
ncf_16_128_2_edau.10	FAIL	873.91
ncf_4_32_8_edau.3	FAIL	873.99
ncf_8_64_4_edau.6	FAIL	874
ncf_16_64_4_euad.8	FAIL	874.03
ncf_8_32_2_euad.6	FAIL	874.04
ncf_4_32_4_d.5	FAIL	874.05
ncf_16_64_2_euad.3	FAIL	874.08
ncf_8_64_2_u.1	FAIL	874.1
ncf_8_32_8_edau.10	FAIL	874.15
ncf_8_64_4_u.9	FAIL	874.2
ncf_8_64_2_u.3	FAIL	874.4
ncf_16_128_2_edau.7	FAIL	874.45
ncf_4_16_8_u.4	FAIL	874.48
ncf_16_128_2_d.6	FAIL	874.49
ncf_16_64_4_edau.3	FAIL	874.49
ncf_8_32_8_u.6	FAIL	874.55
ncf_4_32_4_u.5	FAIL	874.58
ncf_8_16_8_euad.4	FAIL	874.58
ncf_8_16_8_u.4	FAIL	874.6
ncf_4_16_2_u.1	FAIL	874.68
ncf_8_32_8_edau.4	FAIL	874.77
ncf_16_32_8_edau.3	FAIL	874.81
ncf_8_64_4_edau.9	FAIL	874.83
ncf_16_128_2_edau.5	FAIL	874.94
ncf_8_64_4_d.9	FAIL	874.95
ncf_16_128_2_edau.1	FAIL	875.01
ncf_4_16_4_euad.4	FAIL	875.06
ncf_16_128_8_euad.5	FAIL	875.15
ncf_4_16_8_d.9	FAIL	875.23
ncf_8_64_4_edau.7	FAIL	875.27
ncf_8_64_2_euad.6	FAIL	875.35
ncf_16_64_8_euad.10	FAIL	875.4
ncf_4_32_8_u.5	FAIL	875.5
ncf_4_32_4_d.7	FAIL	875.5
ncf_8_32_8_edau.1	FAIL	875.6
ncf_8_64_4_edau.5	FAIL	875.61
ncf_8_64_4_edau.2	FAIL	875.62
ncf_16_32_8_u.5	FAIL	875.68
ncf_8_32_2_euad.3	FAIL	875.7
ncf_16_128_2_d.1	FAIL	875.87
ncf_8_32_8_edau.5	FAIL	875.88
ncf_16_64_2_euad.9	FAIL	875.93
ncf_4_32_4_d.3	FAIL	875.97
ncf_16_32_8_euad.8	FAIL	876.17
ncf_16_128_2_euad.9	FAIL	876.24
ncf_16_128_2_u.9	FAIL	876.38
ncf_8_64_2_euad.2	FAIL	876.47
ncf_16_128_4_d.8	FAIL	876.59
ncf_8_32_8_euad.6	FAIL	876.64
ncf_8_32_8_euad.1	FAIL	876.65
ncf_8_32_2_euad.7	FAIL	876.66
ncf_8_64_4_d.3	FAIL	876.69
ncf_16_128_2_u.5	FAIL	876.81
ncf_16_128_8_edau.4	FAIL	876.83
ncf_16_128_4_d.10	FAIL	876.84
ncf_16_128_4_u.3	FAIL	876.91
ncf_4_32_2_u.7	FAIL	876.93
ncf_16_64_2_euad.5	FAIL	876.93
ncf_8_32_4_euad.6	FAIL	876.93
ncf_8_32_8_euad.2	FAIL	876.98
ncf_8_32_8_u.4	FAIL	877.02
ncf_8_32_8_euad.3	FAIL	877.02
ncf_16_128_2_d.3	FAIL	877.19
ncf_8_64_4_edau.4	FAIL	877.24
ncf_16_128_2_edau.9	FAIL	877.25
ncf_4_32_2_euad.4	FAIL	877.27
ncf_16_64_8_d.3	FAIL	877.28
ncf_4_16_8_u.10	FAIL	877.3
ncf_8_64_4_d.10	FAIL	877.35
ncf_4_32_8_edau.5	FAIL	877.38
ncf_4_32_8_edau.10	FAIL	877.39
ncf_16_128_4_d.2	FAIL	877.45
ncf_16_64_4_edau.9	FAIL	877.49
ncf_16_128_4_edau.8	FAIL	877.54
ncf_8_64_4_edau.8	FAIL	877.55
ncf_8_64_4_u.4	FAIL	877.6
ncf_4_32_8_d.5	FAIL	877.67
ncf_8_64_2_euad.3	FAIL	877.72
ncf_16_128_4_d.9	FAIL	877.72
ncf_8_32_2_euad.10	FAIL	877.75
ncf_16_64_8_d.5	FAIL	877.8
ncf_8_32_8_edau.2	FAIL	877.8
ncf_8_32_4_euad.10	FAIL	877.84
ncf_8_64_4_edau.1	FAIL	877.88
ncf_16_128_8_u.7	FAIL	877.89
ncf_16_128_2_edau.2	FAIL	877.89
ncf_16_128_2_edau.3	FAIL	877.9
ncf_16_32_8_euad.9	FAIL	877.9
ncf_4_32_4_u.7	FAIL	877.93
ncf_16_32_4_euad.5	FAIL	878
ncf_4_32_8_d.9	FAIL	878.02
ncf_16_64_8_u.10	FAIL	878.08
ncf_16_32_8_d.3	FAIL	878.08
ncf_16_128_4_d.5	FAIL	878.32
ncf_16_128_4_d.1	FAIL	878.39
ncf_16_64_2_euad.2	FAIL	878.45
ncf_8_64_4_d.4	FAIL	878.47
ncf_4_32_2_euad.10	FAIL	878.52
ncf_8_64_4_d.1	FAIL	878.54
ncf_16_128_2_edau.6	FAIL	878.57
ncf_4_16_8_euad.8	FAIL	878.66
ncf_8_64_2_euad.1	FAIL	878.68
ncf_16_128_2_edau.8	FAIL	878.7
ncf_16_64_4_euad.9	FAIL	878.7
ncf_4_32_8_u.8	FAIL	878.73
ncf_4_16_8_d.6	FAIL	878.76
ncf_8_64_4_euad.9	FAIL	878.81
ncf_16_64_4_euad.4	FAIL	878.89
ncf_8_16_8_d.5	FAIL	878.9
ncf_16_32_8_euad.2	FAIL	878.93
ncf_4_32_8_euad.8	FAIL	878.93
ncf_16_128_4_d.7	FAIL	878.99
ncf_4_16_8_d.4	FAIL	878.99
ncf_16_64_4_u.9	FAIL	879
ncf_4_16_8_d.2	FAIL	879.02
ncf_16_64_8_edau.2	FAIL	879.05
ncf_4_32_8_edau.2	FAIL	879.06
ncf_8_32_8_euad.8	FAIL	879.08
ncf_16_128_2_euad.4	FAIL	879.11
ncf_8_32_8_u.8	FAIL	879.22
ncf_8_16_8_euad.5	FAIL	879.26
ncf_8_32_8_u.9	FAIL	879.28
ncf_16_128_4_u.2	FAIL	879.29
ncf_16_128_8_d.5	FAIL	879.31
ncf_4_32_4_u.4	FAIL	879.32
ncf_16_64_8_u.4	FAIL	879.34
ncf_16_64_4_u.10	FAIL	879.36
ncf_4_32_4_euad.1	FAIL	879.4
ncf_4_16_8_euad.4	FAIL	879.43
ncf_16_32_8_u.2	FAIL	879.46
ncf_8_64_8_d.7	FAIL	879.47
ncf_4_32_8_edau.7	FAIL	879.54
ncf_16_64_4_u.5	FAIL	879.59
ncf_16_64_8_u.3	FAIL	879.67
ncf_4_16_8_euad.2	FAIL	879.78
ncf_8_32_4_u.8	FAIL	879.83
ncf_8_64_8_d.4	FAIL	879.95
ncf_16_32_8_euad.5	FAIL	880
ncf_8_64_8_edau.4	FAIL	880.02
ncf_4_32_4_euad.9	FAIL	880.11
ncf_8_64_4_edau.3	FAIL	880.13
ncf_16_128_4_edau.10	FAIL	880.25
ncf_16_64_8_edau.7	FAIL	880.27
ncf_16_64_8_euad.3	FAIL	880.37
ncf_16_128_2_euad.5	FAIL	880.41
ncf_8_32_8_d.4	FAIL	880.56
ncf_16_128_4_d.4	FAIL	880.57
ncf_16_64_8_euad.4	FAIL	880.58
ncf_8_32_4_u.2	FAIL	880.61
ncf_16_128_4_edau.5	FAIL	880.63
ncf_16_128_4_d.6	FAIL	880.65
ncf_16_128_8_edau.5	FAIL	880.67
ncf_16_64_8_u.7	FAIL	880.76
ncf_4_16_8_u.2	FAIL	880.76
ncf_16_128_8_edau.6	FAIL	880.79
ncf_4_16_8_d.5	FAIL	880.85
ncf_16_128_2_d.4	FAIL	880.85
ncf_8_64_2_u.9	FAIL	880.86
ncf_8_32_2_u.7	FAIL	880.86
ncf_4_16_8_euad.1	FAIL	880.93
ncf_16_32_8_euad.3	FAIL	880.94
ncf_4_16_8_u.8	FAIL	880.99
ncf_8_64_8_d.5	FAIL	881.01
ncf_4_16_8_u.3	FAIL	881.03
ncf_4_16_8_d.3	FAIL	881.18
ncf_16_64_8_edau.3	FAIL	881.24
ncf_16_64_8_edau.4	FAIL	881.25
ncf_16_128_2_u.8	FAIL	881.42
ncf_8_32_4_u.5	FAIL	881.44
ncf_8_64_4_u.5	FAIL	881.48
ncf_16_128_8_edau.9	FAIL	881.55
ncf_16_128_2_euad.6	FAIL	881.6
ncf_16_128_4_edau.2	FAIL	881.64
ncf_8_32_8_d.10	FAIL	881.75
ncf_16_128_4_euad.3	FAIL	881.8
ncf_8_64_4_d.8	FAIL	881.88
ncf_16_128_4_edau.9	FAIL	881.93
ncf_16_64_8_d.1	FAIL	881.96
ncf_16_128_4_u.5	FAIL	881.96
ncf_16_64_8_edau.9	FAIL	882
ncf_8_64_4_euad.5	FAIL	882.01
ncf_16_32_8_u.9	FAIL	882.08
ncf_16_64_4_euad.7	FAIL	882.13
ncf_8_64_4_u.1	FAIL	882.2
ncf_16_32_8_u.3	FAIL	882.24
ncf_16_64_8_d.2	FAIL	882.24
ncf_16_128_8_d.1	FAIL	882.34
ncf_8_32_8_u.1	FAIL	882.36
ncf_4_16_2_u.3	FAIL	882.41
ncf_16_128_4_u.4	FAIL	882.44
ncf_8_32_4_euad.1	FAIL	882.45
ncf_4_16_8_u.5	FAIL	882.55
ncf_16_128_4_edau.7	FAIL	882.65
ncf_16_64_4_u.7	FAIL	882.66
ncf_16_128_2_u.6	FAIL	882.68
ncf_16_64_8_u.9	FAIL	882.7
ncf_16_128_8_edau.3	FAIL	882.71
ncf_16_128_4_edau.4	FAIL	882.77
ncf_16_128_4_u.8	FAIL	882.78
ncf_4_32_2_u.5	FAIL	882.81
ncf_16_64_8_edau.1	FAIL	882.86
ncf_4_32_4_u.10	FAIL	882.88
ncf_16_128_8_u.4	FAIL	882.89
ncf_16_128_8_u.2	FAIL	882.92
ncf_16_128_2_d.2	FAIL	882.97
ncf_16_128_8_d.9	FAIL	883.18
ncf_16_128_8_u.8	FAIL	883.27
ncf_16_64_8_u.2	FAIL	883.32
ncf_4_32_8_d.3	FAIL	883.4
ncf_16_64_4_euad.5	FAIL	883.42
ncf_16_128_4_edau.1	FAIL	883.53
ncf_16_128_4_edau.6	FAIL	883.59
ncf_4_32_8_edau.1	FAIL	883.81
ncf_4_16_8_euad.6	FAIL	883.81
ncf_16_128_8_edau.1	FAIL	883.87
ncf_4_32_8_u.9	FAIL	883.96
ncf_16_64_8_u.6	FAIL	883.99
ncf_8_64_8_edau.3	FAIL	884.08
ncf_16_128_2_edau.4	FAIL	884.09
ncf_16_128_4_euad.5	FAIL	884.11
ncf_8_64_8_edau.9	FAIL	884.33
ncf_8_16_4_euad.9	FAIL	884.36
ncf_8_32_8_u.5	FAIL	884.42
ncf_16_128_4_euad.4	FAIL	884.71
ncf_8_32_8_euad.4	FAIL	884.81
ncf_16_128_4_euad.8	FAIL	884.84
ncf_4_32_8_u.2	FAIL	884.89
ncf_8_64_8_d.6	FAIL	884.91
ncf_8_32_8_euad.9	FAIL	884.96
ncf_8_32_4_euad.5	FAIL	884.97
ncf_4_32_4_euad.5	FAIL	885
ncf_4_32_8_edau.6	FAIL	885.01
ncf_8_64_2_euad.7	FAIL	885.04
ncf_16_64_8_euad.2	FAIL	885.05
ncf_16_128_8_d.6	FAIL	885.06
ncf_16_128_8_euad.2	FAIL	885.25
ncf_8_64_8_d.9	FAIL	885.25
ncf_4_16_8_euad.9	FAIL	885.37
ncf_16_64_4_u.3	FAIL	885.49
ncf_8_64_8_edau.7	FAIL	885.57
ncf_16_64_8_edau.8	FAIL	885.57
ncf_4_16_8_euad.5	FAIL	885.61
ncf_16_128_4_edau.3	FAIL	885.62
ncf_8_64_4_euad.1	FAIL	885.71
ncf_4_16_4_u.6	FAIL	885.78
ncf_8_64_2_u.7	FAIL	885.88
ncf_16_128_8_euad.10	FAIL	885.99
ncf_4_8_8_euad.10	FAIL	886.15
ncf_4_32_4_euad.2	FAIL	886.17
ncf_8_64_2_euad.4	FAIL	886.21
ncf_4_32_2_euad.6	FAIL	886.24
ncf_16_128_2_euad.8	FAIL	886.26
ncf_4_32_8_d.2	FAIL	886.26
ncf_4_16_8_euad.10	FAIL	886.37
ncf_16_64_8_euad.6	FAIL	886.39
ncf_4_32_8_d.10	FAIL	886.4
ncf_8_64_4_euad.8	FAIL	886.42
ncf_16_64_8_edau.5	FAIL	886.51
ncf_16_128_4_euad.2	FAIL	886.52
ncf_8_16_8_u.9	FAIL	886.73
ncf_16_128_8_u.3	FAIL	886.76
ncf_8_32_8_d.5	FAIL	886.8
ncf_16_64_8_d.4	FAIL	886.94
ncf_16_64_4_euad.10	FAIL	886.95
ncf_4_32_8_u.1	FAIL	886.97
ncf_8_64_8_edau.8	FAIL	887
ncf_8_64_8_u.3	FAIL	887.04
ncf_16_128_4_d.3	FAIL	887.08
ncf_8_64_8_edau.5	FAIL	887.15
ncf_8_64_2_euad.9	FAIL	887.22
ncf_8_64_8_edau.10	FAIL	887.24
ncf_16_128_8_edau.8	FAIL	887.24
ncf_4_32_8_u.10	FAIL	887.29
ncf_16_128_8_euad.1	FAIL	887.32
ncf_8_64_8_u.2	FAIL	887.37
ncf_8_64_4_u.7	FAIL	887.4
ncf_8_64_4_u.8	FAIL	887.4
ncf_4_32_8_euad.5	FAIL	887.41
ncf_16_64_8_edau.6	FAIL	887.62
ncf_16_128_8_d.8	FAIL	887.69
ncf_4_16_4_euad.3	FAIL	887.7
ncf_16_128_4_euad.1	FAIL	887.97
ncf_8_64_8_euad.7	FAIL	888.08
ncf_4_32_4_euad.4	FAIL	888.1
ncf_8_64_8_edau.6	FAIL	888.25
ncf_16_128_8_edau.2	FAIL	888.27
ncf_16_128_8_u.10	FAIL	888.28
ncf_8_64_8_euad.9	FAIL	888.36
ncf_16_128_8_u.1	FAIL	888.42
ncf_16_128_8_d.2	FAIL	888.44
ncf_4_32_8_u.7	FAIL	888.48
ncf_4_32_4_euad.10	FAIL	888.5
ncf_8_32_4_euad.8	FAIL	888.57
ncf_8_64_8_euad.4	FAIL	888.6
ncf_4_32_8_euad.4	FAIL	888.63
ncf_8_64_8_u.7	FAIL	888.73
ncf_8_32_4_euad.2	FAIL	888.86
ncf_4_32_2_euad.5	FAIL	888.89
ncf_16_64_8_euad.7	FAIL	888.9
ncf_16_64_8_euad.8	FAIL	889
ncf_8_64_8_u.6	FAIL	889.03
ncf_16_128_8_euad.7	FAIL	889.21
ncf_8_64_8_euad.2	FAIL	889.3
ncf_8_64_8_d.1	FAIL	889.32
ncf_16_128_8_euad.3	FAIL	889.34
ncf_16_128_4_u.1	FAIL	889.4
ncf_4_32_2_u.9	FAIL	889.41
ncf_4_32_4_u.6	FAIL	889.5
ncf_16_128_8_euad.8	FAIL	889.52
ncf_8_64_8_u.4	FAIL	889.57
ncf_4_32_8_u.3	FAIL	889.59
ncf_16_128_4_u.7	FAIL	889.78
ncf_16_64_8_u.8	FAIL	889.81
ncf_16_64_8_u.1	FAIL	889.9
ncf_16_64_8_d.7	FAIL	889.94
ncf_16_64_8_d.9	FAIL	889.95
ncf_4_16_8_euad.3	FAIL	890
ncf_8_64_4_euad.4	FAIL	890.14
ncf_4_32_8_d.6	FAIL	890.23
ncf_4_32_2_euad.7	FAIL	890.23
ncf_8_64_8_euad.3	FAIL	890.23
ncf_8_64_8_d.2	FAIL	890.35
ncf_8_64_8_euad.6	FAIL	890.44
ncf_4_32_8_euad.2	FAIL	890.57
ncf_4_16_2_euad.3	FAIL	890.74
ncf_8_64_8_edau.1	FAIL	890.83
ncf_4_32_8_d.1	FAIL	890.9
ncf_16_64_8_d.6	FAIL	890.91
ncf_16_64_8_u.5	FAIL	890.98
ncf_16_128_8_u.5	FAIL	891.03
ncf_8_64_8_d.3	FAIL	891.04
ncf_4_32_8_euad.3	FAIL	891.11
ncf_4_32_8_euad.10	FAIL	891.2
ncf_8_64_8_u.1	FAIL	891.3
ncf_8_64_8_u.10	FAIL	891.31
ncf_16_64_8_euad.9	FAIL	891.42
ncf_4_16_4_euad.6	FAIL	891.46
ncf_8_64_8_u.8	FAIL	891.82
ncf_4_32_8_euad.6	FAIL	891.86
ncf_16_128_8_u.6	FAIL	891.93
ncf_16_128_8_u.9	FAIL	891.95
ncf_16_128_8_d.3	FAIL	891.98
ncf_8_64_4_euad.7	FAIL	892.05
ncf_16_128_8_euad.9	FAIL	892.05
ncf_8_64_8_u.5	FAIL	892.09
ncf_8_32_8_u.10	FAIL	892.39
ncf_4_32_2_u.8	FAIL	892.55
ncf_4_32_8_u.6	FAIL	892.57
ncf_16_64_8_euad.5	FAIL	892.6
ncf_8_64_8_u.9	FAIL	892.71
ncf_4_32_8_euad.1	FAIL	892.89
ncf_8_32_8_euad.5	FAIL	892.96
ncf_16_128_8_euad.6	FAIL	893.09
ncf_16_128_8_d.10	FAIL	893.2
ncf_8_64_8_d.8	FAIL	893.46
ncf_4_32_8_euad.9	FAIL	893.54
ncf_4_32_8_euad.7	FAIL	893.63
ncf_16_128_4_euad.7	FAIL	893.77
ncf_16_64_4_euad.3	FAIL	893.96
ncf_8_16_8_euad.9	FAIL	894.04
ncf_16_64_8_euad.1	FAIL	894.38
ncf_8_64_8_d.10	FAIL	894.61
ncf_4_16_2_euad.1	FAIL	894.66
ncf_4_32_2_euad.9	FAIL	894.71
ncf_8_64_8_euad.8	FAIL	894.72
ncf_4_32_4_euad.7	FAIL	894.73
ncf_8_64_8_euad.1	FAIL	895.37
ncf_8_64_8_euad.5	FAIL	895.49
ncf_16_128_8_euad.4	FAIL	895.54
ncf_8_32_8_euad.10	FAIL	896.74
ncf_4_32_4_euad.6	FAIL	897.26
ncf_4_32_2_euad.8	FAIL	897.91
ncf_8_32_4_euad.4	FAIL	898.79
ncf_8_64_8_euad.10	FAIL	898.92

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by QChaffLearn
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by QChaffLearn QBFEVAL'05

Instances of family CounterFactual solved by QChaffLearn
QBFEVAL'05