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

Instances of family CounterFactual solved by yQuaffle
QBFEVAL'05

Instance	Result	Time
ncf_4_8_2_edau.3	UNSAT	0
ncf_4_8_2_edau.4	UNSAT	0
ncf_4_8_2_d.1	UNSAT	0
ncf_8_16_2_u.8	UNSAT	0
ncf_4_8_2_euad.7	UNSAT	0
ncf_8_16_2_edau.3	UNSAT	0
ncf_4_8_2_u.4	UNSAT	0
ncf_8_16_2_d.8	UNSAT	0
ncf_8_16_2_u.6	UNSAT	0
ncf_8_16_2_edau.6	UNSAT	0
ncf_8_16_2_euad.6	UNSAT	0
ncf_8_16_2_d.4	SAT	0
ncf_4_8_2_euad.3	UNSAT	0
ncf_4_8_2_edau.1	UNSAT	0.01
ncf_4_8_2_d.7	UNSAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
ncf_4_8_2_euad.4	UNSAT	0.01
ncf_8_16_2_u.7	SAT	0.01
ncf_4_32_2_edau.1	UNSAT	0.01
ncf_4_8_2_edau.6	SAT	0.01
ncf_4_8_2_u.2	SAT	0.01
ncf_8_16_2_euad.7	SAT	0.01
ncf_4_8_2_edau.7	UNSAT	0.01
ncf_8_16_2_edau.4	SAT	0.01
ncf_8_16_2_u.1	SAT	0.01
ncf_4_16_2_euad.6	SAT	0.01
ncf_8_32_2_d.9	UNSAT	0.01
ncf_8_16_2_edau.7	SAT	0.01
ncf_8_16_2_edau.1	SAT	0.01
ncf_8_16_2_euad.1	SAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
ncf_8_16_2_euad.3	UNSAT	0.01
ncf_8_16_2_d.1	SAT	0.01
ncf_4_8_2_d.3	UNSAT	0.01
ncf_4_8_2_d.4	UNSAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
ncf_8_16_2_d.6	UNSAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
ncf_4_8_2_u.3	UNSAT	0.01
ncf_4_8_2_u.7	UNSAT	0.01
ncf_4_8_2_d.2	SAT	0.01
ncf_4_16_2_d.6	SAT	0.01
ncf_8_16_2_edau.8	UNSAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
ncf_4_8_4_d.3	UNSAT	0.01
ncf_8_16_2_d.7	SAT	0.02
ncf_4_8_2_euad.10	SAT	0.02
ncf_8_16_2_euad.8	UNSAT	0.02
ncf_8_32_2_u.9	UNSAT	0.02
ncf_4_8_2_euad.8	SAT	0.02
ncf_4_8_4_u.3	UNSAT	0.02
ncf_8_16_2_d.3	UNSAT	0.02
ncf_8_16_4_edau.8	UNSAT	0.02
ncf_4_8_4_euad.3	UNSAT	0.02
ncf_4_8_4_edau.3	UNSAT	0.02
ncf_4_16_2_u.6	SAT	0.02
ncf_4_8_2_d.9	SAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
ncf_4_32_2_d.1	UNSAT	0.02
ncf_4_8_2_d.6	SAT	0.02
ncf_16_32_2_d.2	UNSAT	0.02
ncf_4_8_2_u.10	SAT	0.02
ncf_4_8_2_edau.9	SAT	0.02
ncf_8_16_2_euad.5	UNSAT	0.02
ncf_16_32_2_d.5	UNSAT	0.02
ncf_8_16_2_d.5	UNSAT	0.02
ncf_8_32_2_euad.9	UNSAT	0.02
ncf_4_32_2_d.4	UNSAT	0.03
ncf_16_32_2_u.5	UNSAT	0.03
ncf_8_16_2_euad.4	SAT	0.03
ncf_4_8_2_d.8	SAT	0.03
ncf_8_16_4_d.6	UNSAT	0.03
ncf_4_8_2_edau.8	FAIL	0.03
ncf_16_32_2_d.8	UNSAT	0.03
ncf_16_32_2_edau.6	SAT	0.03
ncf_16_32_2_u.2	UNSAT	0.03
ncf_4_8_2_edau.2	SAT	0.03
ncf_8_32_2_edau.9	UNSAT	0.03
ncf_4_8_2_d.10	SAT	0.03
ncf_16_32_2_edau.2	UNSAT	0.04
ncf_4_16_2_euad.2	SAT	0.04
ncf_16_32_2_edau.5	UNSAT	0.04
ncf_8_16_4_euad.8	UNSAT	0.04
ncf_16_32_2_d.6	SAT	0.04
ncf_4_16_2_d.2	SAT	0.04
ncf_4_8_2_edau.10	SAT	0.04
ncf_8_16_4_euad.6	UNSAT	0.04
ncf_4_32_2_edau.4	UNSAT	0.04
ncf_8_16_4_d.5	UNSAT	0.04
ncf_4_8_2_u.8	FAIL	0.04
ncf_4_8_2_u.6	SAT	0.04
ncf_16_32_2_euad.5	UNSAT	0.04
ncf_4_8_2_euad.6	SAT	0.04
ncf_8_16_4_euad.5	UNSAT	0.04
ncf_8_16_4_euad.2	UNSAT	0.05
ncf_4_8_2_u.9	SAT	0.05
ncf_4_8_4_d.7	UNSAT	0.05
ncf_16_32_2_euad.8	UNSAT	0.05
ncf_8_32_2_edau.3	UNSAT	0.05
ncf_16_32_2_d.7	UNSAT	0.05
ncf_16_32_2_euad.2	UNSAT	0.05
ncf_8_16_2_u.4	SAT	0.05
ncf_16_32_2_euad.7	UNSAT	0.05
ncf_8_16_2_d.10	SAT	0.06
ncf_8_16_4_edau.5	UNSAT	0.06
ncf_8_32_2_d.3	UNSAT	0.06
ncf_4_8_4_u.6	SAT	0.06
ncf_4_8_2_u.1	UNSAT	0.06
ncf_4_8_4_euad.7	UNSAT	0.06
ncf_8_16_2_euad.10	SAT	0.07
ncf_8_16_4_d.2	UNSAT	0.07
ncf_16_32_4_d.4	UNSAT	0.07
ncf_4_8_4_edau.6	SAT	0.07
ncf_4_8_8_edau.5	UNSAT	0.07
ncf_4_8_4_edau.7	UNSAT	0.07
ncf_4_8_4_d.6	SAT	0.07
ncf_16_32_2_edau.8	UNSAT	0.08
ncf_4_8_4_d.9	SAT	0.08
ncf_16_32_4_d.10	UNSAT	0.09
ncf_8_16_4_u.2	UNSAT	0.09
ncf_16_32_2_edau.9	UNSAT	0.09
ncf_4_8_4_euad.9	SAT	0.09
ncf_4_8_2_d.5	SAT	0.09
ncf_8_16_4_edau.2	UNSAT	0.09
ncf_4_8_4_edau.9	SAT	0.1
ncf_16_32_2_d.4	UNSAT	0.1
ncf_4_8_8_u.5	UNSAT	0.1
ncf_16_32_2_d.9	UNSAT	0.1
ncf_4_8_2_edau.5	SAT	0.1
ncf_4_8_4_euad.6	SAT	0.1
ncf_16_32_2_euad.9	UNSAT	0.12
ncf_16_32_2_u.8	UNSAT	0.13
ncf_16_32_2_d.1	UNSAT	0.14
ncf_4_8_2_u.5	SAT	0.14
ncf_8_32_4_edau.5	UNSAT	0.15
ncf_16_64_2_d.1	SAT	0.16
ncf_16_32_4_euad.7	UNSAT	0.17
ncf_8_16_4_edau.6	UNSAT	0.17
ncf_16_32_4_d.7	UNSAT	0.17
ncf_4_8_2_euad.5	SAT	0.18
ncf_8_16_2_u.5	UNSAT	0.18
ncf_8_16_4_u.5	UNSAT	0.18
ncf_4_16_2_d.4	SAT	0.19
ncf_4_16_2_euad.4	SAT	0.19
ncf_8_64_2_d.2	UNSAT	0.2
ncf_16_32_2_euad.4	UNSAT	0.2
ncf_8_16_2_edau.10	SAT	0.2
ncf_16_32_2_euad.10	UNSAT	0.2
ncf_8_16_2_edau.5	UNSAT	0.21
ncf_16_64_2_edau.1	SAT	0.21
ncf_8_64_2_edau.2	UNSAT	0.21
ncf_4_8_4_u.9	SAT	0.22
ncf_16_32_2_u.9	UNSAT	0.22
ncf_4_32_4_d.6	UNSAT	0.24
ncf_16_32_4_d.5	UNSAT	0.25
ncf_16_32_2_edau.7	UNSAT	0.25
ncf_8_16_4_u.6	UNSAT	0.25
ncf_8_16_8_d.6	UNSAT	0.27
ncf_4_16_2_edau.2	SAT	0.27
ncf_4_32_4_edau.6	UNSAT	0.27
ncf_4_16_2_u.2	SAT	0.29
ncf_4_8_8_d.5	UNSAT	0.29
ncf_16_32_2_euad.6	SAT	0.29
ncf_16_32_2_edau.10	UNSAT	0.3
ncf_16_32_4_edau.4	UNSAT	0.31
ncf_8_16_4_edau.10	SAT	0.31
ncf_4_8_8_euad.5	UNSAT	0.31
ncf_4_16_2_edau.7	SAT	0.35
ncf_16_32_2_u.6	SAT	0.36
ncf_16_32_4_euad.4	UNSAT	0.37
ncf_8_16_4_euad.10	SAT	0.39
ncf_16_32_2_edau.4	UNSAT	0.41
ncf_8_64_4_edau.7	UNSAT	0.41
ncf_16_32_2_d.10	UNSAT	0.42
ncf_8_16_4_d.10	SAT	0.43
ncf_16_32_4_edau.10	UNSAT	0.44
ncf_8_16_2_u.10	SAT	0.45
ncf_16_64_2_edau.2	UNSAT	0.46
ncf_16_32_4_euad.5	UNSAT	0.52
ncf_8_16_8_edau.6	UNSAT	0.61
ncf_16_32_4_u.5	UNSAT	0.67
ncf_16_32_2_d.3	SAT	0.7
ncf_8_32_2_d.8	SAT	0.71
ncf_4_8_8_d.9	UNSAT	0.73
ncf_4_16_2_d.7	SAT	0.77
ncf_4_8_8_euad.9	UNSAT	0.8
ncf_4_16_2_edau.4	SAT	0.89
ncf_16_32_2_edau.3	SAT	0.9
ncf_4_16_2_u.4	SAT	0.96
ncf_4_8_4_d.5	SAT	0.99
ncf_8_32_2_euad.8	SAT	1.16
ncf_4_32_2_u.4	UNSAT	1.22
ncf_4_32_2_euad.4	UNSAT	1.24
ncf_8_16_2_u.2	UNSAT	1.27
ncf_8_16_2_edau.2	UNSAT	1.36
ncf_8_16_2_euad.9	UNSAT	1.47
ncf_16_128_2_edau.1	UNSAT	1.48
ncf_16_128_2_d.2	UNSAT	1.5
ncf_8_16_8_euad.6	UNSAT	1.58
ncf_16_32_4_edau.5	UNSAT	1.76
ncf_4_8_4_edau.5	SAT	1.8
ncf_16_32_4_edau.7	UNSAT	1.95
ncf_8_16_4_u.10	SAT	2.04
ncf_16_32_4_u.7	UNSAT	2.09
ncf_16_32_4_edau.9	SAT	2.16
ncf_16_32_4_d.9	SAT	2.61
ncf_16_32_4_euad.9	SAT	2.76
ncf_8_32_8_d.3	UNSAT	2.93
ncf_16_32_2_u.7	UNSAT	3.23
ncf_4_8_4_d.4	UNSAT	3.29
ncf_8_32_8_d.5	UNSAT	3.71
ncf_16_32_4_edau.1	SAT	3.81
ncf_8_32_2_edau.8	SAT	4.19
ncf_16_32_4_u.1	SAT	4.58
ncf_4_8_4_u.7	UNSAT	4.91
ncf_8_32_2_u.8	SAT	4.92
ncf_16_32_4_euad.1	SAT	5.07
ncf_16_32_4_d.1	SAT	5.25
ncf_4_32_8_edau.9	UNSAT	5.55
ncf_16_32_2_euad.1	UNSAT	5.68
ncf_8_32_2_edau.7	UNSAT	6.89
ncf_4_8_4_euad.5	SAT	7.02
ncf_4_16_2_u.7	SAT	7.48
ncf_8_64_4_edau.10	UNSAT	8.6
ncf_4_16_2_edau.10	UNSAT	10.75
ncf_16_128_2_edau.8	UNSAT	11.21
ncf_8_16_2_d.9	UNSAT	12.31
ncf_16_32_8_d.8	UNSAT	13.24
ncf_4_16_2_edau.9	SAT	13.73
ncf_8_16_2_edau.9	UNSAT	16.34
ncf_4_16_2_d.10	UNSAT	16.35
ncf_4_16_2_u.9	SAT	17.01
ncf_8_16_4_d.4	SAT	20.12
ncf_8_32_2_u.3	UNSAT	22.5
ncf_4_16_4_d.5	SAT	22.85
ncf_16_32_4_euad.10	UNSAT	23.78
ncf_16_128_4_edau.10	UNSAT	23.89
ncf_4_16_4_euad.5	SAT	24.15
ncf_8_32_8_euad.3	UNSAT	25.9
ncf_4_16_4_edau.5	SAT	28.16
ncf_4_8_8_edau.9	UNSAT	28.29
ncf_16_32_2_u.10	UNSAT	29.42
ncf_4_16_4_u.5	SAT	31.9
ncf_8_64_8_edau.10	UNSAT	34.18
ncf_4_8_4_d.2	UNSAT	37.5
ncf_8_16_4_d.3	SAT	44.47
ncf_4_8_4_euad.2	UNSAT	44.85
ncf_8_16_4_edau.4	SAT	46.75
ncf_16_32_2_edau.1	UNSAT	46.92
ncf_4_16_2_d.9	SAT	47.49
ncf_8_32_8_edau.3	UNSAT	47.95
ncf_8_16_2_u.9	UNSAT	48.44
ncf_8_16_4_euad.4	SAT	50.05
ncf_4_8_4_u.5	SAT	50.24
ncf_4_8_4_edau.2	UNSAT	55.9
ncf_4_16_2_euad.9	SAT	57.12
ncf_16_128_4_d.10	UNSAT	58.7
ncf_16_32_2_euad.3	SAT	66.86
ncf_4_16_4_d.6	UNSAT	79.03
ncf_8_16_4_edau.3	FAIL	79.26
ncf_4_16_2_u.1	UNSAT	91.82
ncf_4_8_4_d.1	SAT	133.4
ncf_4_8_4_edau.10	SAT	136.91
ncf_4_16_2_edau.1	UNSAT	156.12
ncf_16_32_4_u.4	UNSAT	179.07
ncf_8_16_4_u.4	SAT	195.22
ncf_4_8_4_d.10	SAT	199.26
ncf_16_32_4_d.3	SAT	205.94
ncf_8_16_4_u.8	UNSAT	233.58
ncf_16_32_4_euad.3	SAT	237.4
ncf_4_8_4_edau.1	SAT	265.69
ncf_8_16_4_d.1	SAT	278.56
ncf_4_8_8_u.9	UNSAT	307
ncf_16_32_4_u.3	SAT	338.52
ncf_16_128_2_d.8	UNSAT	340.6
ncf_4_16_4_d.8	SAT	348.28
ncf_8_16_4_edau.1	SAT	358.75
ncf_4_16_4_euad.8	SAT	367.67
ncf_4_8_4_u.2	UNSAT	397.81
ncf_4_8_4_euad.1	SAT	406.03
ncf_16_32_4_edau.3	SAT	409.67
ncf_4_16_4_edau.8	SAT	413.28
ncf_4_16_2_edau.5	UNSAT	460.21
ncf_4_16_4_u.8	SAT	461.02
ncf_16_32_4_u.9	SAT	493.7
ncf_16_32_4_d.2	SAT	538.92
ncf_16_128_2_d.1	UNSAT	590.65
ncf_8_16_4_euad.1	SAT	600.83
ncf_4_16_4_u.9	SAT	633.09
ncf_4_16_2_u.5	UNSAT	653.08
ncf_16_128_8_d.1	FAIL	802.83
ncf_16_128_8_d.8	FAIL	803.81
ncf_16_128_8_d.10	FAIL	806.17
ncf_16_128_8_d.4	FAIL	806.36
ncf_16_128_8_d.6	FAIL	808.54
ncf_16_128_8_d.9	FAIL	810.45
ncf_16_128_8_d.5	FAIL	811.2
ncf_16_128_8_edau.2	FAIL	812.06
ncf_16_128_8_edau.9	FAIL	813.95
ncf_16_128_8_edau.8	FAIL	814.34
ncf_16_128_8_edau.10	FAIL	815.54
ncf_16_128_8_d.2	FAIL	816.71
ncf_16_128_8_edau.6	FAIL	816.86
ncf_16_128_8_euad.9	FAIL	818.21
ncf_16_128_8_euad.10	FAIL	820.41
ncf_16_128_8_d.7	FAIL	822.07
ncf_16_128_4_d.9	FAIL	822.84
ncf_16_128_4_euad.7	FAIL	823.68
ncf_16_128_4_d.8	FAIL	823.72
ncf_16_128_4_d.1	FAIL	824.45
ncf_16_128_4_d.4	FAIL	824.5
ncf_16_128_8_euad.6	FAIL	824.88
ncf_16_64_8_d.7	FAIL	826.24
ncf_16_128_8_u.6	FAIL	826.7
ncf_16_128_8_u.4	FAIL	827.51
ncf_8_64_8_edau.3	FAIL	827.9
ncf_16_128_8_d.3	FAIL	827.98
ncf_16_128_8_u.9	FAIL	827.99
ncf_16_64_8_d.8	FAIL	828.81
ncf_16_64_8_d.2	FAIL	829.04
ncf_16_128_4_d.7	FAIL	829.21
ncf_16_64_8_d.1	FAIL	829.53
ncf_16_128_4_edau.8	FAIL	830.02
ncf_16_64_8_d.9	FAIL	830.38
ncf_16_64_8_d.6	FAIL	830.76
ncf_16_64_8_d.5	FAIL	830.95
ncf_8_64_8_d.4	FAIL	831.02
ncf_8_64_8_d.10	FAIL	832.39
ncf_16_128_4_edau.4	FAIL	833.16
ncf_16_128_4_edau.7	FAIL	833.35
ncf_16_128_8_euad.3	FAIL	833.76
ncf_16_128_4_u.8	FAIL	833.93
ncf_8_64_8_d.7	FAIL	833.95
ncf_16_128_8_u.10	FAIL	834.04
ncf_16_128_8_u.5	FAIL	834.64
ncf_8_64_8_d.3	FAIL	834.71
ncf_16_128_4_euad.4	FAIL	834.72
ncf_16_64_8_d.10	FAIL	834.77
ncf_8_64_8_d.2	FAIL	834.82
ncf_16_128_4_edau.3	FAIL	834.87
ncf_16_128_4_edau.2	FAIL	834.95
ncf_16_128_8_edau.3	FAIL	835.48
ncf_16_128_8_u.3	FAIL	835.63
ncf_16_64_8_d.4	FAIL	835.83
ncf_16_64_8_d.3	FAIL	835.85
ncf_16_128_4_edau.1	FAIL	836.2
ncf_8_64_8_d.8	FAIL	836.3
ncf_8_64_8_d.1	FAIL	836.41
ncf_8_64_8_d.9	FAIL	836.81
ncf_16_128_4_euad.1	FAIL	837.15
ncf_8_64_8_edau.1	FAIL	837.39
ncf_16_128_8_edau.4	FAIL	837.5
ncf_8_64_8_d.5	FAIL	837.54
ncf_16_128_4_edau.6	FAIL	837.59
ncf_16_128_4_edau.9	FAIL	838.75
ncf_16_128_4_d.2	FAIL	839.03
ncf_16_64_8_euad.8	FAIL	839.78
ncf_16_64_8_edau.5	FAIL	839.81
ncf_16_128_8_u.2	FAIL	839.91
ncf_16_64_8_euad.2	FAIL	840.21
ncf_8_64_8_edau.5	FAIL	840.45
ncf_8_64_8_euad.9	FAIL	840.55
ncf_8_64_8_euad.1	FAIL	840.6
ncf_16_128_8_u.7	FAIL	840.61
ncf_8_64_8_d.6	FAIL	841.3
ncf_16_128_8_u.8	FAIL	841.38
ncf_16_128_8_euad.1	FAIL	841.5
ncf_8_64_8_euad.7	FAIL	842.01
ncf_16_128_2_edau.7	FAIL	842.02
ncf_16_64_8_edau.4	FAIL	842.07
ncf_16_128_4_euad.9	FAIL	842.1
ncf_16_64_8_euad.7	FAIL	842.51
ncf_8_64_8_edau.2	FAIL	842.69
ncf_16_64_8_euad.4	FAIL	842.75
ncf_16_64_8_edau.6	FAIL	842.89
ncf_16_128_4_u.4	FAIL	843.11
ncf_8_64_8_edau.4	FAIL	843.13
ncf_16_64_8_edau.8	FAIL	843.31
ncf_16_64_8_edau.1	FAIL	843.32
ncf_16_64_8_euad.5	FAIL	843.77
ncf_16_128_8_euad.7	FAIL	843.78
ncf_8_64_8_edau.9	FAIL	843.88
ncf_8_64_4_edau.8	FAIL	843.91
ncf_16_64_8_euad.3	FAIL	844.4
ncf_16_64_8_edau.9	FAIL	844.47
ncf_16_128_4_d.6	FAIL	844.63
ncf_8_64_8_euad.10	FAIL	844.81
ncf_16_128_4_euad.10	FAIL	844.97
ncf_8_64_8_euad.4	FAIL	845.04
ncf_16_64_8_edau.3	FAIL	845.19
ncf_8_64_8_edau.8	FAIL	845.22
ncf_16_128_4_u.5	FAIL	845.31
ncf_16_128_4_u.2	FAIL	845.52
ncf_16_64_8_edau.10	FAIL	845.59
ncf_8_64_8_edau.6	FAIL	845.92
ncf_8_64_8_euad.2	FAIL	846
ncf_16_128_8_edau.7	FAIL	846.12
ncf_16_64_8_euad.9	FAIL	846.43
ncf_8_64_8_edau.7	FAIL	846.44
ncf_16_128_8_edau.1	FAIL	847.34
ncf_16_128_4_euad.8	FAIL	847.61
ncf_16_64_8_euad.6	FAIL	847.81
ncf_8_64_8_euad.6	FAIL	847.89
ncf_16_128_4_u.10	FAIL	847.96
ncf_16_64_8_edau.7	FAIL	848.13
ncf_16_128_2_d.9	FAIL	848.19
ncf_8_64_8_euad.5	FAIL	848.25
ncf_16_128_4_d.5	FAIL	848.25
ncf_16_64_8_u.4	FAIL	848.34
ncf_16_64_8_u.5	FAIL	848.36
ncf_16_64_8_euad.10	FAIL	848.64
ncf_16_128_4_u.1	FAIL	848.9
ncf_16_64_8_u.2	FAIL	849.11
ncf_16_64_8_edau.2	FAIL	849.52
ncf_8_64_8_euad.8	FAIL	849.56
ncf_16_64_8_euad.1	FAIL	849.61
ncf_16_128_4_u.7	FAIL	849.82
ncf_16_128_2_edau.2	FAIL	849.83
ncf_8_64_8_euad.3	FAIL	849.97
ncf_8_64_8_u.3	FAIL	850.01
ncf_16_128_8_edau.5	FAIL	850.06
ncf_16_128_2_edau.6	FAIL	850.1
ncf_16_32_8_d.6	FAIL	850.43
ncf_16_128_2_edau.5	FAIL	850.81
ncf_16_128_2_edau.10	FAIL	851.25
ncf_16_64_8_u.1	FAIL	851.33
ncf_8_64_4_d.9	FAIL	851.73
ncf_16_128_2_edau.9	FAIL	851.76
ncf_16_64_8_u.8	FAIL	851.83
ncf_16_128_2_edau.3	FAIL	851.97
ncf_8_64_8_u.6	FAIL	852.42
ncf_16_128_2_d.10	FAIL	852.46
ncf_16_128_2_d.3	FAIL	852.59
ncf_16_64_8_u.10	FAIL	853.11
ncf_16_64_4_d.10	FAIL	853.24
ncf_16_64_8_u.6	FAIL	853.3
ncf_16_64_8_u.3	FAIL	853.41
ncf_8_64_8_u.1	FAIL	853.61
ncf_8_32_8_d.10	FAIL	853.85
ncf_16_32_8_edau.7	FAIL	854
ncf_8_64_8_u.9	FAIL	854.01
ncf_8_64_8_u.8	FAIL	854.04
ncf_8_32_8_d.8	FAIL	854.07
ncf_16_128_8_euad.2	FAIL	854.12
ncf_16_128_2_edau.4	FAIL	854.22
ncf_8_64_8_u.5	FAIL	854.45
ncf_16_64_4_d.8	FAIL	854.51
ncf_8_64_4_d.7	FAIL	854.68
ncf_16_128_8_euad.8	FAIL	855.42
ncf_16_64_4_d.5	FAIL	855.49
ncf_16_128_2_d.4	FAIL	855.49
ncf_8_32_8_d.2	FAIL	856.08
ncf_16_64_4_d.3	FAIL	856.16
ncf_8_32_8_d.4	FAIL	856.47
ncf_16_64_4_d.1	FAIL	856.55
ncf_16_128_4_edau.5	FAIL	856.59
ncf_16_64_4_d.9	FAIL	856.82
ncf_8_32_8_d.9	FAIL	856.89
ncf_8_32_8_euad.5	FAIL	856.99
ncf_8_64_4_d.8	FAIL	857.09
ncf_16_128_2_u.5	FAIL	857.21
ncf_8_64_4_d.10	FAIL	857.22
ncf_16_64_4_d.4	FAIL	857.76
ncf_16_128_4_u.9	FAIL	857.79
ncf_16_128_2_u.9	FAIL	857.81
ncf_16_128_2_u.2	FAIL	857.86
ncf_8_64_8_u.2	FAIL	857.9
ncf_16_64_8_u.9	FAIL	857.94
ncf_16_64_4_edau.10	FAIL	858
ncf_16_32_8_edau.3	FAIL	858.05
ncf_8_32_8_d.7	FAIL	858.2
ncf_16_32_2_u.3	SAT	858.44
ncf_8_32_8_d.6	FAIL	858.66
ncf_16_64_4_edau.7	FAIL	858.81
ncf_16_64_4_d.7	FAIL	858.83
ncf_16_128_2_u.10	FAIL	858.9
ncf_16_64_4_d.6	FAIL	858.92
ncf_16_64_4_edau.4	FAIL	858.98
ncf_16_32_8_euad.9	FAIL	859.09
ncf_16_64_4_d.2	FAIL	859.24
ncf_8_64_4_d.5	FAIL	859.46
ncf_16_128_2_u.1	FAIL	859.48
ncf_16_32_8_d.4	FAIL	859.5
ncf_4_32_8_d.6	FAIL	859.68
ncf_4_32_8_d.3	FAIL	859.83
ncf_4_32_8_d.5	FAIL	859.97
ncf_16_32_8_d.2	FAIL	859.99
ncf_8_64_8_u.7	FAIL	860.02
ncf_8_64_4_d.2	FAIL	860.46
ncf_16_32_8_d.5	FAIL	860.55
ncf_4_32_8_d.10	FAIL	860.55
ncf_16_64_4_edau.9	FAIL	860.72
ncf_16_32_8_euad.8	FAIL	860.83
ncf_16_128_2_d.6	FAIL	860.88
ncf_16_32_8_d.7	FAIL	861.01
ncf_16_32_8_d.3	FAIL	861.03
ncf_16_64_4_edau.3	FAIL	861.06
ncf_16_64_4_edau.6	FAIL	861.11
ncf_16_64_2_d.3	FAIL	861.15
ncf_4_32_8_d.1	FAIL	861.28
ncf_16_128_2_u.4	FAIL	861.42
ncf_16_64_4_edau.8	FAIL	861.51
ncf_8_64_4_d.3	FAIL	861.6
ncf_8_32_8_edau.1	FAIL	861.6
ncf_8_32_8_edau.5	FAIL	861.65
ncf_8_64_4_d.4	FAIL	861.67
ncf_16_32_8_edau.4	FAIL	861.7
ncf_16_128_2_d.5	FAIL	861.74
ncf_16_32_8_d.10	FAIL	861.93
ncf_16_64_8_u.7	FAIL	861.97
ncf_16_64_4_euad.3	FAIL	861.99
ncf_16_32_8_euad.2	FAIL	862.22
ncf_4_32_8_d.4	FAIL	862.47
ncf_8_64_4_euad.1	FAIL	862.58
ncf_16_64_4_euad.8	FAIL	862.79
ncf_8_64_4_euad.10	FAIL	862.82
ncf_8_32_8_euad.10	FAIL	862.84
ncf_16_64_4_euad.6	FAIL	862.88
ncf_16_128_4_euad.6	FAIL	862.98
ncf_8_32_8_edau.9	FAIL	862.99
ncf_8_32_8_edau.2	FAIL	863.01
ncf_8_64_4_d.1	FAIL	863.15
ncf_8_32_8_euad.8	FAIL	863.24
ncf_8_64_4_edau.1	FAIL	863.56
ncf_8_64_4_edau.6	FAIL	863.62
ncf_16_128_4_euad.5	FAIL	863.62
ncf_4_32_8_edau.4	FAIL	863.94
ncf_4_32_8_d.7	FAIL	864.25
ncf_4_32_8_d.2	FAIL	864.28
ncf_16_64_4_euad.5	FAIL	864.3
ncf_16_32_8_euad.6	FAIL	864.35
ncf_8_32_8_euad.9	FAIL	864.35
ncf_16_64_4_euad.2	FAIL	864.41
ncf_8_32_8_euad.2	FAIL	864.42
ncf_16_32_8_euad.5	FAIL	864.47
ncf_16_64_4_euad.1	FAIL	864.48
ncf_16_64_4_euad.4	FAIL	864.54
ncf_16_32_8_euad.10	FAIL	864.57
ncf_16_128_2_euad.2	FAIL	864.62
ncf_4_32_8_edau.6	FAIL	864.62
ncf_8_64_4_edau.4	FAIL	864.63
ncf_8_64_4_u.1	FAIL	864.66
ncf_8_64_4_euad.3	FAIL	864.67
ncf_4_32_8_euad.6	FAIL	864.68
ncf_16_64_4_euad.7	FAIL	864.69
ncf_8_64_4_edau.5	FAIL	864.78
ncf_8_64_4_euad.2	FAIL	864.8
ncf_16_32_8_u.3	FAIL	864.81
ncf_8_64_4_edau.3	FAIL	864.83
ncf_4_32_8_edau.2	FAIL	864.94
ncf_4_32_8_euad.10	FAIL	864.95
ncf_16_32_8_edau.2	FAIL	865.07
ncf_16_32_8_d.1	FAIL	865.19
ncf_8_32_8_edau.7	FAIL	865.38
ncf_8_64_8_u.10	FAIL	865.43
ncf_16_32_8_euad.1	FAIL	865.44
ncf_8_32_8_euad.7	FAIL	865.62
ncf_16_64_2_edau.7	FAIL	865.63
ncf_8_64_4_euad.6	FAIL	865.66
ncf_8_64_4_euad.9	FAIL	865.75
ncf_16_32_8_edau.6	FAIL	865.81
ncf_8_64_4_d.6	FAIL	865.92
ncf_4_32_8_d.9	FAIL	865.94
ncf_16_32_8_euad.3	FAIL	865.97
ncf_16_128_2_euad.4	FAIL	865.97
ncf_8_64_4_u.6	FAIL	866.03
ncf_4_32_8_euad.8	FAIL	866.2
ncf_8_32_8_edau.8	FAIL	866.21
ncf_8_64_4_euad.8	FAIL	866.25
ncf_16_64_4_u.9	FAIL	866.29
ncf_4_32_8_d.8	FAIL	866.36
ncf_16_32_8_edau.8	FAIL	866.46
ncf_16_32_8_edau.10	FAIL	866.72
ncf_16_64_4_u.10	FAIL	866.81
ncf_16_32_8_euad.7	FAIL	866.87
ncf_8_32_4_d.1	FAIL	867.01
ncf_16_128_2_euad.5	FAIL	867.08
ncf_8_32_8_edau.4	FAIL	867.09
ncf_16_64_4_u.6	FAIL	867.12
ncf_4_32_8_edau.10	FAIL	867.14
ncf_4_32_8_euad.1	FAIL	867.14
ncf_4_32_8_edau.3	FAIL	867.15
ncf_16_32_8_u.1	FAIL	867.16
ncf_8_32_8_u.10	FAIL	867.24
ncf_4_32_8_edau.7	FAIL	867.25
ncf_16_128_8_euad.4	FAIL	867.29
ncf_4_8_4_u.1	SAT	867.29
ncf_16_32_8_edau.9	FAIL	867.43
ncf_8_32_8_euad.4	FAIL	867.45
ncf_8_32_8_edau.10	FAIL	867.5
ncf_16_64_4_euad.10	FAIL	867.51
ncf_16_64_2_d.10	FAIL	867.53
ncf_16_32_8_euad.4	FAIL	867.55
ncf_8_64_4_euad.5	FAIL	867.7
ncf_8_64_4_euad.7	FAIL	867.72
ncf_4_32_8_edau.5	FAIL	867.92
ncf_4_32_8_euad.3	FAIL	868.28
ncf_16_64_4_u.5	FAIL	868.31
ncf_16_64_4_edau.1	FAIL	868.31
ncf_8_64_4_euad.4	FAIL	868.33
ncf_16_64_4_u.3	FAIL	868.46
ncf_16_128_2_u.7	FAIL	868.46
ncf_4_32_8_euad.7	FAIL	868.48
ncf_4_32_8_edau.1	FAIL	868.63
ncf_8_64_2_d.10	FAIL	868.65
ncf_4_32_8_euad.4	FAIL	868.68
ncf_8_32_8_d.1	FAIL	868.8
ncf_4_32_8_euad.9	FAIL	868.8
ncf_8_32_8_u.8	FAIL	869.01
ncf_16_128_8_u.1	FAIL	869.03
ncf_8_64_4_u.4	FAIL	869.04
ncf_16_128_4_d.3	FAIL	869.11
ncf_16_32_8_edau.1	FAIL	869.12
ncf_8_64_4_u.8	FAIL	869.15
ncf_4_32_8_edau.8	FAIL	869.16
ncf_8_32_8_u.5	FAIL	869.19
ncf_16_128_2_euad.3	FAIL	869.2
ncf_16_128_8_euad.5	FAIL	869.25
ncf_16_64_2_d.7	FAIL	869.28
ncf_8_64_4_u.2	FAIL	869.4
ncf_16_32_8_u.4	FAIL	869.42
ncf_16_128_2_euad.1	FAIL	869.45
ncf_8_64_4_u.7	FAIL	869.47
ncf_16_64_2_d.2	FAIL	869.52
ncf_8_16_8_d.10	FAIL	869.58
ncf_16_128_2_u.6	FAIL	869.67
ncf_16_64_4_euad.9	FAIL	869.73
ncf_8_32_8_euad.6	FAIL	869.77
ncf_8_64_4_edau.9	FAIL	869.87
ncf_4_32_8_u.6	FAIL	869.95
ncf_8_16_8_d.3	FAIL	870.1
ncf_8_64_4_u.5	FAIL	870.1
ncf_8_64_4_u.3	FAIL	870.18
ncf_4_32_8_euad.5	FAIL	870.22
ncf_8_64_4_edau.2	FAIL	870.3
ncf_16_128_2_euad.10	FAIL	870.32
ncf_8_32_8_u.9	FAIL	870.4
ncf_16_32_8_u.7	FAIL	870.4
ncf_16_128_2_u.8	FAIL	870.5
ncf_4_32_8_u.10	FAIL	870.52
ncf_16_32_8_u.10	FAIL	870.9
ncf_16_64_2_edau.8	FAIL	870.91
ncf_4_32_8_u.2	FAIL	871.24
ncf_8_16_8_d.2	FAIL	871.33
ncf_8_32_8_u.4	FAIL	871.34
ncf_4_16_8_d.10	FAIL	871.48
ncf_4_32_8_u.7	FAIL	871.61
ncf_16_64_4_u.1	FAIL	871.62
ncf_16_128_4_u.6	FAIL	871.74
ncf_16_128_4_u.3	FAIL	871.77
ncf_8_16_8_d.5	FAIL	871.89
ncf_8_32_8_u.1	FAIL	871.9
ncf_16_32_8_d.9	FAIL	871.96
ncf_16_128_2_d.7	FAIL	872.21
ncf_16_128_2_euad.9	FAIL	872.29
ncf_16_32_8_u.6	FAIL	872.31
ncf_4_32_8_u.1	FAIL	872.38
ncf_8_32_8_edau.6	FAIL	872.43
ncf_16_64_2_edau.3	FAIL	872.52
ncf_16_32_4_edau.6	FAIL	872.58
ncf_4_16_8_d.1	FAIL	872.81
ncf_8_16_8_edau.2	FAIL	872.94
ncf_8_16_8_d.9	FAIL	872.96
ncf_8_64_4_u.10	FAIL	872.98
ncf_16_64_4_u.8	FAIL	873.01
ncf_16_32_8_edau.5	FAIL	873.3
ncf_16_128_4_euad.3	FAIL	873.31
ncf_8_32_8_u.6	FAIL	873.36
ncf_8_64_8_u.4	FAIL	873.37
ncf_16_64_4_u.4	FAIL	873.37
ncf_16_64_2_d.9	FAIL	873.51
ncf_8_16_8_d.8	FAIL	873.53
ncf_8_16_8_d.4	FAIL	873.54
ncf_8_16_8_d.7	FAIL	873.71
ncf_8_64_2_edau.3	FAIL	873.96
ncf_4_32_8_u.4	FAIL	873.99
ncf_4_16_8_d.3	FAIL	874.08
ncf_16_64_4_edau.2	FAIL	874.12
ncf_4_16_8_d.4	FAIL	874.36
ncf_8_16_8_edau.10	FAIL	874.4
ncf_8_16_8_edau.9	FAIL	874.46
ncf_8_64_2_edau.7	FAIL	874.46
ncf_4_16_8_d.5	FAIL	874.49
ncf_16_32_8_u.9	FAIL	874.5
ncf_16_128_2_u.3	FAIL	874.53
ncf_4_16_8_d.6	FAIL	874.54
ncf_16_32_4_euad.6	FAIL	874.63
ncf_16_64_2_edau.5	FAIL	874.79
ncf_8_32_8_u.7	FAIL	874.85
ncf_16_64_4_edau.5	FAIL	874.88
ncf_16_64_2_d.8	FAIL	874.89
ncf_4_32_8_u.3	FAIL	874.96
ncf_8_16_8_edau.8	FAIL	875.1
ncf_4_32_8_euad.2	FAIL	875.15
ncf_8_64_2_edau.9	FAIL	875.21
ncf_8_64_2_d.8	FAIL	875.23
ncf_16_64_4_u.7	FAIL	875.35
ncf_4_32_4_d.8	FAIL	875.48
ncf_8_64_4_u.9	FAIL	875.48
ncf_4_32_8_u.5	FAIL	875.5
ncf_8_64_2_euad.4	FAIL	875.57
ncf_16_32_4_edau.2	SAT	875.61
ncf_16_32_8_u.5	FAIL	875.62
ncf_4_16_8_d.9	FAIL	875.76
ncf_16_128_2_euad.7	FAIL	875.9
ncf_16_64_2_u.9	FAIL	875.94
ncf_8_16_8_edau.1	FAIL	875.96
ncf_8_64_2_edau.5	FAIL	875.97
ncf_4_16_8_d.2	FAIL	876.08
ncf_8_32_4_d.8	FAIL	876.14
ncf_16_64_2_euad.1	FAIL	876.14
ncf_8_64_2_euad.7	FAIL	876.15
ncf_16_64_2_d.5	FAIL	876.15
ncf_8_16_8_euad.5	FAIL	876.18
ncf_16_64_2_u.3	FAIL	876.27
ncf_4_32_8_u.8	FAIL	876.31
ncf_8_16_8_euad.1	FAIL	876.35
ncf_8_64_2_d.4	FAIL	876.43
ncf_8_64_2_edau.10	FAIL	876.44
ncf_8_32_4_d.3	FAIL	876.5
ncf_8_64_2_edau.8	FAIL	876.54
ncf_16_64_2_edau.4	FAIL	876.61
ncf_8_16_8_edau.4	FAIL	876.63
ncf_4_32_4_d.3	FAIL	876.69
ncf_8_32_4_d.4	FAIL	876.7
ncf_8_64_2_u.7	FAIL	876.7
ncf_8_32_4_d.2	FAIL	876.76
ncf_8_32_8_u.2	FAIL	876.88
ncf_4_16_8_edau.10	FAIL	876.9
ncf_8_64_2_edau.4	FAIL	876.91
ncf_8_64_2_d.5	FAIL	876.96
ncf_8_32_8_euad.1	FAIL	877.06
ncf_16_64_2_euad.6	FAIL	877.13
ncf_16_64_2_euad.3	FAIL	877.2
ncf_4_16_8_d.8	FAIL	877.22
ncf_16_32_4_d.8	FAIL	877.32
ncf_4_16_8_u.5	FAIL	877.36
ncf_4_16_8_euad.1	FAIL	877.36
ncf_8_16_8_euad.8	FAIL	877.42
ncf_16_64_2_u.4	FAIL	877.44
ncf_8_16_8_euad.3	FAIL	877.48
ncf_8_32_4_edau.1	FAIL	877.48
ncf_4_16_8_edau.7	FAIL	877.49
ncf_8_16_8_edau.5	FAIL	877.49
ncf_4_16_8_edau.2	FAIL	877.56
ncf_8_32_4_d.10	FAIL	877.57
ncf_16_128_4_euad.2	FAIL	877.57
ncf_8_32_4_d.6	FAIL	877.75
ncf_4_16_8_edau.4	FAIL	877.84
ncf_8_64_2_euad.5	FAIL	877.93
ncf_4_16_8_edau.3	FAIL	877.96
ncf_16_32_4_u.2	FAIL	878.19
ncf_4_32_4_d.7	FAIL	878.24
ncf_8_16_8_edau.3	FAIL	878.36
ncf_8_32_4_edau.9	FAIL	878.54
ncf_16_32_8_u.8	FAIL	878.6
ncf_8_16_8_euad.4	FAIL	878.68
ncf_8_64_2_edau.6	FAIL	878.78
ncf_8_16_8_d.1	FAIL	878.81
ncf_8_64_2_u.6	FAIL	878.81
ncf_8_64_2_edau.1	FAIL	878.86
ncf_4_16_8_euad.10	FAIL	879.02
ncf_8_32_4_edau.8	FAIL	879.02
ncf_16_64_2_edau.6	FAIL	879.05
ncf_4_32_4_edau.5	FAIL	879.06
ncf_8_64_2_u.5	FAIL	879.14
ncf_16_32_8_u.2	FAIL	879.17
ncf_4_16_8_edau.5	FAIL	879.2
ncf_8_16_8_euad.2	FAIL	879.21
ncf_4_16_8_euad.6	FAIL	879.25
ncf_8_64_2_u.10	FAIL	879.26
ncf_8_32_4_d.5	FAIL	879.28
ncf_8_32_4_euad.4	FAIL	879.32
ncf_4_32_4_d.5	FAIL	879.32
ncf_8_64_2_u.3	FAIL	879.39
ncf_4_16_8_edau.1	FAIL	879.47
ncf_8_16_8_euad.7	FAIL	879.53
ncf_16_64_2_euad.7	FAIL	879.53
ncf_8_32_4_edau.3	FAIL	879.65
ncf_8_32_4_euad.1	FAIL	879.65
ncf_16_64_2_edau.9	FAIL	879.87
ncf_8_32_4_euad.8	FAIL	879.9
ncf_8_32_4_euad.5	FAIL	879.92
ncf_4_32_4_edau.9	FAIL	879.95
ncf_4_32_4_d.2	FAIL	879.98
ncf_8_16_8_euad.10	FAIL	879.99
ncf_16_32_4_euad.8	FAIL	880
ncf_16_64_2_edau.10	FAIL	880.14
ncf_4_16_8_edau.9	FAIL	880.15
ncf_8_64_2_u.9	FAIL	880.15
ncf_16_64_2_u.6	FAIL	880.15
ncf_8_32_2_edau.10	FAIL	880.17
ncf_4_32_4_u.3	FAIL	880.17
ncf_8_64_2_u.8	FAIL	880.2
ncf_8_16_8_edau.7	FAIL	880.23
ncf_4_16_8_euad.8	FAIL	880.3
ncf_8_16_8_euad.9	FAIL	880.3
ncf_16_32_4_d.6	FAIL	880.45
ncf_8_32_4_euad.3	FAIL	880.45
ncf_16_64_4_u.2	FAIL	880.46
ncf_8_32_4_d.9	FAIL	880.63
ncf_8_32_4_euad.7	FAIL	880.65
ncf_8_32_4_edau.7	FAIL	880.72
ncf_8_16_8_u.9	FAIL	880.74
ncf_16_32_4_u.8	FAIL	880.74
ncf_4_32_4_edau.2	FAIL	880.76
ncf_16_64_2_euad.9	FAIL	880.79
ncf_4_16_8_d.7	FAIL	880.79
ncf_4_16_8_euad.2	FAIL	880.83
ncf_8_32_4_edau.6	FAIL	880.85
ncf_4_32_4_euad.8	FAIL	880.89
ncf_4_32_4_d.9	FAIL	880.93
ncf_8_64_2_euad.2	FAIL	880.94
ncf_4_16_8_euad.4	FAIL	880.97
ncf_4_32_4_edau.4	FAIL	881
ncf_8_64_2_u.1	FAIL	881.1
ncf_8_32_4_edau.4	FAIL	881.12
ncf_8_32_4_u.8	FAIL	881.2
ncf_4_8_8_d.4	FAIL	881.26
ncf_8_32_4_edau.2	FAIL	881.28
ncf_4_32_4_euad.9	FAIL	881.29
ncf_4_16_8_u.7	FAIL	881.36
ncf_4_16_8_edau.8	FAIL	881.36
ncf_16_64_2_d.4	FAIL	881.37
ncf_4_32_4_u.8	FAIL	881.39
ncf_4_32_4_edau.3	FAIL	881.43
ncf_16_64_2_u.1	FAIL	881.47
ncf_8_32_4_euad.2	FAIL	881.49
ncf_8_32_4_u.9	FAIL	881.53
ncf_16_32_4_u.6	FAIL	881.55
ncf_4_16_8_u.6	FAIL	881.56
ncf_4_32_4_euad.6	FAIL	881.6
ncf_4_32_4_d.1	FAIL	881.7
ncf_4_32_4_euad.2	FAIL	881.73
ncf_4_16_8_edau.6	FAIL	881.76
ncf_4_32_4_edau.7	FAIL	881.8
ncf_4_32_4_edau.1	FAIL	881.93
ncf_8_16_8_u.2	FAIL	881.94
ncf_8_64_2_u.4	FAIL	881.98
ncf_4_32_4_euad.7	FAIL	882.09
ncf_4_16_8_u.10	FAIL	882.16
ncf_4_16_8_euad.3	FAIL	882.35
ncf_4_32_4_d.4	FAIL	882.44
ncf_8_16_8_u.1	FAIL	882.47
ncf_4_32_4_d.10	FAIL	882.48
ncf_8_32_4_u.7	FAIL	882.52
ncf_8_32_4_d.7	FAIL	882.53
ncf_8_64_2_euad.8	FAIL	882.54
ncf_4_32_8_u.9	FAIL	882.61
ncf_16_64_2_u.7	FAIL	882.62
ncf_4_32_4_u.6	FAIL	882.64
ncf_4_16_8_euad.5	FAIL	882.65
ncf_4_16_8_u.4	FAIL	882.77
ncf_8_32_8_u.3	FAIL	882.79
ncf_16_32_4_edau.8	FAIL	882.82
ncf_16_64_2_u.5	FAIL	882.83
ncf_4_32_4_euad.4	FAIL	882.83
ncf_4_8_8_d.2	FAIL	882.9
ncf_4_16_8_euad.9	FAIL	882.97
ncf_4_32_4_u.4	FAIL	883.26
ncf_8_64_2_d.7	FAIL	883.28
ncf_4_8_8_d.7	FAIL	883.32
ncf_8_32_4_edau.10	FAIL	883.35
ncf_4_16_8_u.2	FAIL	883.38
ncf_4_16_8_u.8	FAIL	883.4
ncf_4_32_4_edau.10	FAIL	883.42
ncf_4_16_8_u.3	FAIL	883.5
ncf_8_64_2_d.1	FAIL	883.69
ncf_8_16_8_u.8	FAIL	883.7
ncf_8_16_8_u.10	FAIL	883.71
ncf_16_64_2_euad.2	FAIL	883.79
ncf_8_32_4_u.6	FAIL	883.83
ncf_4_8_8_d.3	FAIL	883.86
ncf_4_32_4_euad.10	FAIL	883.86
ncf_8_64_2_d.6	FAIL	883.87
ncf_4_32_4_edau.8	FAIL	883.93
ncf_4_32_4_u.1	FAIL	884.03
ncf_4_16_8_euad.7	FAIL	884.06
ncf_8_64_2_euad.9	FAIL	884.21
ncf_4_32_4_u.5	FAIL	884.21
ncf_8_64_2_d.9	FAIL	884.28
ncf_8_32_4_u.10	FAIL	884.29
ncf_16_64_2_u.2	FAIL	884.55
ncf_8_16_8_u.7	FAIL	884.59
ncf_8_32_4_u.3	FAIL	884.59
ncf_8_16_8_u.3	FAIL	884.62
ncf_4_8_8_d.8	FAIL	884.68
ncf_4_32_2_d.3	FAIL	884.7
ncf_8_32_4_euad.9	FAIL	884.72
ncf_4_32_4_u.10	FAIL	884.72
ncf_4_32_4_u.9	FAIL	884.74
ncf_4_8_8_edau.2	FAIL	884.82
ncf_16_32_4_euad.2	FAIL	884.85
ncf_4_32_4_euad.5	FAIL	884.86
ncf_8_64_2_u.2	FAIL	884.86
ncf_16_64_2_u.8	FAIL	884.95
ncf_16_64_2_euad.5	FAIL	884.99
ncf_4_16_4_d.2	FAIL	885.01
ncf_4_8_8_d.10	FAIL	885.01
ncf_4_16_8_u.1	FAIL	885.03
ncf_16_64_2_u.10	FAIL	885.03
ncf_4_8_8_edau.7	FAIL	885.04
ncf_16_128_2_euad.8	FAIL	885.08
ncf_4_32_4_euad.1	FAIL	885.11
ncf_4_16_8_u.9	FAIL	885.14
ncf_4_8_8_d.6	FAIL	885.14
ncf_16_64_2_euad.4	FAIL	885.25
ncf_8_64_2_euad.6	FAIL	885.26
ncf_8_32_4_euad.6	FAIL	885.32
ncf_8_32_4_u.1	FAIL	885.38
ncf_8_32_2_d.1	FAIL	885.39
ncf_4_8_8_edau.3	FAIL	885.64
ncf_4_32_4_u.2	FAIL	885.78
ncf_8_64_2_euad.3	FAIL	885.85
ncf_4_8_8_euad.4	FAIL	885.85
ncf_4_32_4_euad.3	FAIL	886.03
ncf_8_32_4_u.4	FAIL	886.12
ncf_8_32_2_d.2	FAIL	886.27
ncf_4_8_8_euad.2	FAIL	886.28
ncf_4_8_8_euad.7	FAIL	886.28
ncf_8_32_2_d.6	FAIL	886.35
ncf_8_32_4_u.2	FAIL	886.37
ncf_16_64_2_euad.10	FAIL	886.41
ncf_4_8_8_edau.6	FAIL	886.41
ncf_4_32_2_euad.5	FAIL	886.61
ncf_8_16_4_d.7	FAIL	886.66
ncf_4_8_8_edau.8	FAIL	886.71
ncf_4_8_8_u.2	FAIL	886.73
ncf_4_8_8_euad.3	FAIL	886.74
ncf_4_8_8_d.1	FAIL	886.82
ncf_4_8_8_euad.8	FAIL	886.91
ncf_8_32_2_euad.1	FAIL	886.97
ncf_4_32_4_u.7	FAIL	886.99
ncf_4_16_4_d.10	FAIL	887.05
ncf_4_8_8_euad.6	FAIL	887.17
ncf_4_8_8_edau.10	FAIL	887.3
ncf_8_32_4_euad.10	FAIL	887.32
ncf_8_32_2_d.4	FAIL	887.47
ncf_8_32_2_edau.4	FAIL	887.5
ncf_16_64_2_euad.8	FAIL	887.56
ncf_4_32_2_edau.3	FAIL	887.6
ncf_8_32_4_u.5	FAIL	887.66
ncf_4_32_2_edau.2	FAIL	887.68
ncf_4_8_8_u.10	FAIL	887.74
ncf_4_32_2_d.6	FAIL	887.84
ncf_4_32_2_d.2	FAIL	887.89
ncf_4_32_2_edau.10	FAIL	887.97
ncf_4_32_2_d.10	FAIL	888.09
ncf_8_16_8_u.4	FAIL	888.12
ncf_8_16_8_u.5	FAIL	888.12
ncf_8_32_2_d.10	FAIL	888.24
ncf_8_64_2_d.3	FAIL	888.29
ncf_8_32_2_edau.6	FAIL	888.36
ncf_8_32_2_u.1	FAIL	888.5
ncf_8_32_2_edau.1	FAIL	888.5
ncf_8_64_2_euad.10	FAIL	888.51
ncf_4_16_4_edau.10	FAIL	888.53
ncf_4_8_8_u.3	FAIL	888.54
ncf_4_32_2_edau.6	FAIL	888.55
ncf_4_8_8_euad.10	FAIL	888.65
ncf_8_16_4_edau.7	FAIL	888.66
ncf_4_32_2_edau.8	FAIL	888.66
ncf_4_32_2_d.9	FAIL	888.71
ncf_8_64_2_euad.1	FAIL	888.73
ncf_4_32_2_d.5	FAIL	888.82
ncf_8_16_4_u.3	FAIL	888.84
ncf_8_16_8_u.6	FAIL	888.87
ncf_4_16_4_d.1	FAIL	888.96
ncf_4_16_4_edau.7	FAIL	889.05
ncf_4_32_2_edau.5	FAIL	889.15
ncf_8_32_2_euad.6	FAIL	889.15
ncf_4_16_4_edau.2	FAIL	889.27
ncf_8_16_4_edau.9	FAIL	889.28
ncf_4_32_2_u.5	FAIL	889.35
ncf_4_16_4_euad.7	FAIL	889.39
ncf_4_32_2_edau.9	FAIL	889.47
ncf_16_32_4_u.10	FAIL	889.47
ncf_4_16_4_edau.9	FAIL	889.49
ncf_8_32_2_euad.3	FAIL	889.49
ncf_4_8_8_u.8	FAIL	889.64
ncf_4_32_2_euad.8	FAIL	889.66
ncf_4_16_4_edau.6	FAIL	889.66
ncf_8_16_4_d.9	FAIL	889.66
ncf_8_16_4_euad.7	FAIL	889.66
ncf_4_16_4_d.9	FAIL	889.74
ncf_4_8_8_edau.4	FAIL	889.76
ncf_8_32_2_d.7	FAIL	889.8
ncf_4_32_2_edau.7	FAIL	889.88
ncf_4_16_4_u.3	FAIL	889.9
ncf_4_16_4_d.7	FAIL	889.91
ncf_8_32_2_euad.10	FAIL	889.96
ncf_4_16_4_d.4	FAIL	889.96
ncf_8_32_2_u.6	FAIL	889.99
ncf_4_32_2_d.7	FAIL	890.03
ncf_4_32_2_u.9	FAIL	890.04
ncf_4_16_4_euad.1	FAIL	890.17
ncf_8_32_2_edau.2	FAIL	890.2
ncf_4_16_4_d.3	FAIL	890.22
ncf_4_32_2_u.8	FAIL	890.23
ncf_4_8_8_edau.1	FAIL	890.23
ncf_4_32_2_u.10	FAIL	890.24
ncf_4_32_2_euad.9	FAIL	890.26
ncf_4_16_4_edau.1	FAIL	890.27
ncf_4_32_2_u.6	FAIL	890.34
ncf_4_32_2_d.8	FAIL	890.34
ncf_8_32_2_euad.4	FAIL	890.39
ncf_16_64_2_d.6	FAIL	890.41
ncf_4_16_4_edau.4	FAIL	890.45
ncf_4_32_2_u.2	FAIL	890.48
ncf_16_32_2_u.4	FAIL	890.58
ncf_8_16_2_d.2	FAIL	890.73
ncf_4_16_4_u.2	FAIL	890.74
ncf_4_16_4_euad.9	FAIL	890.84
ncf_8_32_2_d.5	FAIL	890.84
ncf_4_32_2_euad.6	FAIL	890.85
ncf_4_32_2_euad.2	FAIL	890.9
ncf_4_8_8_euad.1	FAIL	890.93
ncf_8_32_2_euad.5	FAIL	890.94
ncf_4_16_4_euad.3	FAIL	890.98
ncf_4_32_2_u.3	FAIL	891.02
ncf_4_16_4_euad.10	FAIL	891.21
ncf_4_16_4_u.10	FAIL	891.22
ncf_8_32_2_euad.7	FAIL	891.23
ncf_4_16_4_euad.2	FAIL	891.23
ncf_8_32_2_u.10	FAIL	891.28
ncf_8_32_2_u.4	FAIL	891.32
ncf_4_16_4_u.7	FAIL	891.38
ncf_4_8_8_u.7	FAIL	891.39
ncf_8_32_2_edau.5	FAIL	891.44
ncf_8_16_4_euad.3	FAIL	891.53
ncf_8_32_2_u.5	FAIL	891.54
ncf_4_32_2_euad.10	FAIL	891.54
ncf_4_8_8_u.4	FAIL	891.6
ncf_4_16_4_u.6	FAIL	891.63
ncf_4_32_2_u.1	FAIL	891.65
ncf_16_32_2_u.1	FAIL	891.67
ncf_8_16_4_u.1	FAIL	891.84
ncf_8_16_4_u.7	FAIL	891.84
ncf_4_16_4_euad.6	FAIL	892.03
ncf_8_32_2_euad.2	FAIL	892.05
ncf_4_16_4_u.1	FAIL	892.1
ncf_4_16_4_u.4	FAIL	892.14
ncf_8_32_2_u.2	FAIL	892.23
ncf_8_32_2_u.7	FAIL	892.24
ncf_16_128_2_euad.6	FAIL	892.32
ncf_4_16_4_euad.4	FAIL	892.44
ncf_4_32_2_euad.1	FAIL	892.5
ncf_4_16_4_edau.3	FAIL	892.56
ncf_4_16_2_edau.3	FAIL	892.57
ncf_8_16_4_u.9	FAIL	892.78
ncf_4_32_2_u.7	FAIL	892.95
ncf_4_8_8_u.6	FAIL	893
ncf_4_16_2_euad.1	FAIL	893.03
ncf_4_8_4_d.8	FAIL	893.11
ncf_4_32_2_euad.7	FAIL	893.17
ncf_4_8_4_edau.8	FAIL	893.32
ncf_4_8_4_edau.4	FAIL	893.35
ncf_4_16_2_euad.3	FAIL	893.46
ncf_4_16_2_d.1	FAIL	893.54
ncf_8_16_2_euad.2	FAIL	893.64
ncf_4_16_2_d.8	FAIL	893.75
ncf_8_16_4_euad.9	FAIL	893.82
ncf_4_8_8_u.1	FAIL	893.93
ncf_4_8_4_euad.4	FAIL	893.93
ncf_4_8_4_u.4	FAIL	893.96
ncf_4_32_2_euad.3	FAIL	894.14
ncf_4_16_2_edau.8	FAIL	894.2
ncf_4_8_4_euad.10	FAIL	894.46
ncf_4_16_2_euad.8	FAIL	894.48
ncf_4_16_2_u.8	FAIL	894.77
ncf_4_8_4_u.8	FAIL	895.05
ncf_4_16_2_d.5	FAIL	895.25
ncf_4_8_4_euad.8	FAIL	895.26
ncf_4_16_2_euad.7	FAIL	895.31
ncf_4_16_2_d.3	FAIL	895.32
ncf_4_8_4_u.10	FAIL	895.4
ncf_4_16_2_euad.10	FAIL	895.48
ncf_4_16_2_u.3	FAIL	896.27
ncf_4_16_2_euad.5	FAIL	896.31
ncf_4_16_2_u.10	FAIL	896.53

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by yQuaffle
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by yQuaffle QBFEVAL'05

Instances of family CounterFactual solved by yQuaffle
QBFEVAL'05