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

Instances of family CounterFactual solved by GRL
QBFEVAL'05

Instance	Result	Time
ncf_4_8_4_edau.9	SAT	0
ncf_4_8_4_u.9	SAT	0
ncf_4_8_2_d.4	UNSAT	0
ncf_8_16_2_d.7	SAT	0.01
ncf_4_8_2_euad.4	UNSAT	0.01
ncf_8_16_2_u.7	SAT	0.01
ncf_8_16_2_euad.8	UNSAT	0.01
ncf_8_16_2_euad.7	SAT	0.01
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_u.9	SAT	0.01
ncf_4_8_2_edau.4	UNSAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
ncf_4_8_2_u.1	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_d.9	SAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
ncf_4_8_2_euad.5	SAT	0.02
ncf_4_8_2_euad.10	SAT	0.02
ncf_4_8_2_edau.5	SAT	0.02
ncf_8_16_2_u.8	UNSAT	0.02
ncf_8_16_2_edau.3	UNSAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
ncf_8_16_4_u.5	UNSAT	0.02
ncf_4_8_2_euad.9	SAT	0.02
ncf_8_16_2_edau.8	UNSAT	0.02
ncf_4_8_2_u.5	SAT	0.02
ncf_8_16_4_euad.5	UNSAT	0.02
ncf_4_8_2_euad.2	SAT	0.03
ncf_4_8_4_d.2	UNSAT	0.03
ncf_4_8_2_euad.8	SAT	0.03
ncf_8_16_2_euad.3	UNSAT	0.03
ncf_4_8_2_d.9	SAT	0.03
ncf_4_8_2_euad.1	UNSAT	0.03
ncf_4_8_2_u.8	SAT	0.03
ncf_4_8_2_edau.2	SAT	0.03
ncf_4_8_2_d.5	SAT	0.03
ncf_4_8_2_edau.1	UNSAT	0.04
ncf_4_8_2_u.2	SAT	0.04
ncf_8_16_4_u.2	UNSAT	0.04
ncf_8_16_4_u.1	SAT	0.04
ncf_4_8_2_euad.7	UNSAT	0.04
ncf_4_8_2_u.7	UNSAT	0.04
ncf_4_8_2_d.2	SAT	0.04
ncf_4_8_4_euad.2	UNSAT	0.04
ncf_4_8_2_edau.9	SAT	0.04
ncf_8_16_4_edau.2	UNSAT	0.04
ncf_8_16_4_euad.1	SAT	0.05
ncf_8_16_4_euad.2	UNSAT	0.05
ncf_8_16_4_d.2	UNSAT	0.05
ncf_8_16_4_d.1	SAT	0.05
ncf_4_8_2_d.1	UNSAT	0.05
ncf_16_32_2_u.9	SAT	0.05
ncf_16_32_2_edau.9	SAT	0.05
ncf_4_8_2_edau.10	SAT	0.05
ncf_16_32_2_d.9	SAT	0.06
ncf_8_16_4_edau.1	SAT	0.06
ncf_4_8_2_d.10	SAT	0.06
ncf_16_32_2_euad.9	SAT	0.07
ncf_4_8_8_euad.9	UNSAT	0.08
ncf_4_8_8_edau.9	UNSAT	0.08
ncf_4_8_8_d.9	UNSAT	0.08
ncf_4_8_8_u.9	UNSAT	0.08
ncf_4_8_2_edau.8	SAT	0.09
ncf_4_16_2_d.9	SAT	0.1
ncf_4_8_4_u.2	UNSAT	0.1
ncf_4_16_2_euad.6	SAT	0.11
ncf_4_16_2_euad.9	SAT	0.11
ncf_4_16_2_u.9	SAT	0.11
ncf_4_8_4_edau.2	UNSAT	0.12
ncf_4_16_2_edau.9	SAT	0.12
ncf_4_8_2_edau.7	UNSAT	0.13
ncf_4_8_2_d.7	UNSAT	0.14
ncf_8_16_2_euad.9	UNSAT	0.15
ncf_4_8_2_d.8	SAT	0.18
ncf_4_16_2_d.6	SAT	0.19
ncf_16_32_2_u.7	SAT	0.22
ncf_8_16_2_d.9	UNSAT	0.23
ncf_8_16_2_edau.6	SAT	0.23
ncf_8_16_2_u.6	SAT	0.24
ncf_16_32_2_euad.7	SAT	0.25
ncf_8_16_2_d.6	SAT	0.32
ncf_8_16_2_euad.6	SAT	0.35
ncf_8_16_4_u.6	UNSAT	0.36
ncf_4_16_2_edau.6	SAT	0.37
ncf_4_16_2_u.6	SAT	0.39
ncf_8_16_4_u.8	UNSAT	0.41
ncf_4_8_2_u.3	UNSAT	0.44
ncf_4_8_4_u.3	UNSAT	0.45
ncf_8_16_8_u.1	SAT	0.47
ncf_8_16_8_edau.1	SAT	0.48
ncf_4_8_8_edau.4	SAT	0.5
ncf_4_8_4_euad.3	UNSAT	0.5
ncf_8_16_4_euad.6	UNSAT	0.53
ncf_4_8_8_u.4	SAT	0.59
ncf_4_8_4_euad.6	SAT	0.61
ncf_8_16_4_euad.8	UNSAT	0.65
ncf_16_32_2_edau.7	SAT	0.65
ncf_8_16_2_u.9	UNSAT	0.72
ncf_8_16_8_euad.1	SAT	0.72
ncf_8_16_8_d.1	SAT	0.73
ncf_8_16_2_edau.9	UNSAT	0.79
ncf_4_8_2_u.6	SAT	0.8
ncf_4_8_8_euad.4	SAT	0.81
ncf_16_32_2_d.7	SAT	0.81
ncf_4_8_4_u.6	SAT	0.83
ncf_4_8_4_u.1	SAT	0.91
ncf_4_8_2_euad.3	UNSAT	0.96
ncf_4_8_4_edau.6	SAT	1.02
ncf_4_16_2_d.7	SAT	1.05
ncf_8_16_2_euad.5	UNSAT	1.05
ncf_8_16_2_euad.1	SAT	1.08
ncf_4_8_2_euad.6	SAT	1.23
ncf_4_8_2_edau.6	SAT	1.25
ncf_4_16_2_euad.7	SAT	1.26
ncf_8_16_2_d.1	SAT	1.32
ncf_8_16_4_euad.10	SAT	1.63
ncf_4_16_4_euad.9	SAT	1.71
ncf_4_8_4_euad.1	SAT	1.79
ncf_4_8_4_euad.4	UNSAT	1.79
ncf_4_8_4_d.6	SAT	1.85
ncf_8_16_2_edau.1	SAT	1.88
ncf_8_16_2_u.1	SAT	1.92
ncf_8_16_4_u.10	SAT	2.37
ncf_4_16_2_edau.7	SAT	2.68
ncf_8_16_4_edau.8	UNSAT	2.85
ncf_4_16_2_u.7	SAT	3.08
ncf_4_8_4_u.7	UNSAT	3.51
ncf_4_8_4_u.4	UNSAT	3.59
ncf_4_8_2_edau.3	UNSAT	3.62
ncf_4_16_4_u.9	SAT	3.7
ncf_8_16_4_edau.6	UNSAT	3.79
ncf_4_8_2_d.6	SAT	3.92
ncf_4_8_4_euad.8	UNSAT	4.6
ncf_8_16_4_d.6	UNSAT	5.28
ncf_4_8_4_edau.1	SAT	5.91
ncf_4_8_8_u.1	SAT	6.14
ncf_8_16_4_d.8	UNSAT	6.5
ncf_4_8_4_u.8	UNSAT	6.67
ncf_4_8_8_u.5	SAT	8.35
ncf_8_16_2_u.10	SAT	8.98
ncf_4_8_4_euad.7	UNSAT	10.09
ncf_4_8_4_edau.8	UNSAT	10.32
ncf_4_8_8_euad.1	SAT	10.59
ncf_4_8_4_u.10	SAT	11.42
ncf_8_16_2_d.5	UNSAT	11.46
ncf_4_8_4_edau.3	UNSAT	12.1
ncf_4_16_4_euad.5	SAT	12.32
ncf_8_16_2_euad.10	SAT	12.74
ncf_8_16_2_euad.4	SAT	14.34
ncf_4_8_8_u.3	SAT	15.34
ncf_8_16_2_u.5	UNSAT	18.27
ncf_4_8_4_edau.10	SAT	18.56
ncf_4_8_8_euad.3	SAT	19.59
ncf_8_16_2_d.4	SAT	20.56
ncf_4_8_8_u.8	SAT	23.63
ncf_4_8_2_d.3	UNSAT	24.04
ncf_4_8_4_d.3	UNSAT	25.12
ncf_4_16_4_u.5	SAT	28.46
ncf_8_16_2_edau.5	UNSAT	29.42
ncf_8_16_4_edau.10	SAT	31.01
ncf_4_8_4_d.8	UNSAT	31.45
ncf_8_16_8_u.7	UNSAT	33.79
ncf_4_8_4_euad.10	SAT	35.47
ncf_4_8_4_u.5	SAT	40.95
ncf_4_16_4_edau.9	SAT	41.5
ncf_4_8_4_edau.4	UNSAT	45.07
ncf_8_16_2_edau.4	SAT	53.54
ncf_8_16_2_u.4	SAT	53.81
ncf_4_8_8_d.4	SAT	61.65
ncf_8_16_8_u.8	UNSAT	66.82
ncf_8_16_4_d.10	SAT	70.34
ncf_4_16_2_u.4	SAT	103.1
ncf_4_8_4_edau.5	SAT	107
ncf_4_8_8_euad.8	SAT	140.17
ncf_4_16_2_u.2	SAT	164.49
ncf_4_16_4_d.9	SAT	185
ncf_4_8_4_euad.5	SAT	214.72
ncf_4_16_2_euad.4	SAT	222.9
ncf_8_16_2_edau.10	SAT	258.26
ncf_4_16_4_u.1	SAT	277.73
ncf_4_8_8_euad.6	UNSAT	397.29
ncf_4_16_4_euad.1	SAT	468.54
ncf_4_16_2_euad.2	SAT	501.52
ncf_8_16_2_d.2	UNSAT	606.07
ncf_8_16_2_u.2	UNSAT	606.56
ncf_8_16_2_euad.2	UNSAT	606.94
ncf_8_16_2_edau.2	UNSAT	611.2
ncf_4_8_4_edau.7	UNSAT	759.13
ncf_4_8_4_d.10	SAT	893.82
ncf_4_8_4_d.4	UNSAT	898.31
ncf_8_64_4_edau.9	FAIL	900.53
ncf_16_128_4_edau.6	FAIL	900.53
ncf_16_128_8_d.5	FAIL	900.56
ncf_8_64_4_edau.2	FAIL	900.59
ncf_16_128_2_euad.8	FAIL	900.61
ncf_8_64_8_d.3	FAIL	900.62
ncf_16_128_4_u.2	FAIL	900.62
ncf_8_64_8_edau.6	FAIL	900.62
ncf_8_64_4_d.2	FAIL	900.62
ncf_8_64_8_edau.4	FAIL	900.63
ncf_16_128_4_d.7	FAIL	900.64
ncf_16_128_8_u.9	FAIL	900.64
ncf_16_64_4_d.5	FAIL	900.65
ncf_8_64_8_edau.7	FAIL	900.65
ncf_8_64_8_d.7	FAIL	900.65
ncf_8_64_2_edau.3	FAIL	900.65
ncf_16_128_2_d.4	FAIL	900.65
ncf_8_64_8_euad.3	FAIL	900.65
ncf_4_32_8_edau.7	FAIL	900.66
ncf_16_128_8_d.4	FAIL	900.67
ncf_16_128_2_edau.10	FAIL	900.67
ncf_8_64_8_d.10	FAIL	900.67
ncf_16_128_8_edau.4	FAIL	900.67
ncf_8_64_8_d.2	FAIL	900.67
ncf_8_64_4_u.1	FAIL	900.67
ncf_8_64_4_edau.1	FAIL	900.67
ncf_16_128_4_edau.8	FAIL	900.67
ncf_8_64_8_edau.10	FAIL	900.68
ncf_8_64_4_d.7	FAIL	900.68
ncf_8_64_8_euad.7	FAIL	900.68
ncf_16_128_8_edau.10	FAIL	900.68
ncf_16_128_4_edau.10	FAIL	900.69
ncf_16_128_4_edau.2	FAIL	900.69
ncf_8_64_8_d.5	FAIL	900.69
ncf_16_128_2_d.3	FAIL	900.69
ncf_16_64_8_edau.7	FAIL	900.69
ncf_8_32_8_d.7	FAIL	900.7
ncf_16_128_8_u.1	FAIL	900.7
ncf_16_128_2_euad.4	FAIL	900.7
ncf_16_128_8_d.2	FAIL	900.7
ncf_16_128_8_euad.9	FAIL	900.7
ncf_16_64_8_edau.10	FAIL	900.7
ncf_8_64_4_u.3	FAIL	900.7
ncf_8_64_8_u.10	FAIL	900.7
ncf_16_64_8_edau.6	FAIL	900.71
ncf_8_64_8_edau.9	FAIL	900.71
ncf_8_64_8_d.1	FAIL	900.71
ncf_8_64_4_edau.5	FAIL	900.71
ncf_16_128_2_edau.5	FAIL	900.71
ncf_8_64_4_euad.8	FAIL	900.71
ncf_8_64_8_u.7	FAIL	900.71
ncf_16_128_8_edau.5	FAIL	900.71
ncf_16_128_4_edau.9	FAIL	900.71
ncf_16_64_4_edau.5	FAIL	900.71
ncf_16_128_4_u.10	FAIL	900.71
ncf_4_32_8_edau.2	FAIL	900.71
ncf_4_32_8_d.3	FAIL	900.71
ncf_8_64_2_d.4	FAIL	900.72
ncf_16_64_8_d.3	FAIL	900.72
ncf_4_32_8_u.7	FAIL	900.72
ncf_16_128_2_u.4	FAIL	900.72
ncf_16_64_4_d.10	FAIL	900.72
ncf_8_32_8_edau.8	FAIL	900.72
ncf_16_64_8_edau.3	FAIL	900.72
ncf_8_64_8_u.2	FAIL	900.72
ncf_8_64_8_edau.2	FAIL	900.72
ncf_4_32_8_d.8	FAIL	900.72
ncf_16_64_8_u.6	FAIL	900.72
ncf_16_64_8_edau.8	FAIL	900.72
ncf_16_64_8_d.6	FAIL	900.72
ncf_4_32_8_u.2	FAIL	900.73
ncf_16_128_8_u.6	FAIL	900.73
ncf_16_128_8_edau.1	FAIL	900.73
ncf_4_32_4_d.8	FAIL	900.73
ncf_16_128_8_edau.7	FAIL	900.73
ncf_16_128_8_euad.6	FAIL	900.73
ncf_16_128_8_euad.3	FAIL	900.73
ncf_16_128_8_edau.2	FAIL	900.73
ncf_16_128_8_d.9	FAIL	900.73
ncf_16_128_4_edau.4	FAIL	900.73
ncf_8_64_8_d.9	FAIL	900.74
ncf_4_32_8_euad.3	FAIL	900.74
ncf_16_128_4_edau.7	FAIL	900.74
ncf_16_128_2_edau.6	FAIL	900.74
ncf_16_64_4_edau.6	FAIL	900.74
ncf_16_128_4_u.6	FAIL	900.74
ncf_16_64_8_edau.9	FAIL	900.74
ncf_4_32_8_d.7	FAIL	900.74
ncf_8_64_8_edau.1	FAIL	900.74
ncf_16_64_8_d.7	FAIL	900.74
ncf_8_32_8_u.9	FAIL	900.74
ncf_16_128_2_edau.4	FAIL	900.74
ncf_16_32_8_d.7	FAIL	900.74
ncf_8_64_8_euad.1	FAIL	900.74
ncf_8_64_8_euad.8	FAIL	900.74
ncf_16_64_8_u.9	FAIL	900.74
ncf_16_64_8_edau.2	FAIL	900.74
ncf_16_128_8_u.3	FAIL	900.74
ncf_8_32_8_euad.10	FAIL	900.74
ncf_16_64_8_euad.9	FAIL	900.74
ncf_4_32_8_euad.7	FAIL	900.75
ncf_8_64_4_edau.8	FAIL	900.75
ncf_16_128_2_edau.2	FAIL	900.75
ncf_8_64_4_edau.6	FAIL	900.75
ncf_16_128_4_d.3	FAIL	900.75
ncf_4_32_8_d.9	FAIL	900.75
ncf_4_32_8_edau.1	FAIL	900.75
ncf_16_128_4_d.4	FAIL	900.75
ncf_16_128_2_d.2	FAIL	900.75
ncf_16_128_2_d.10	FAIL	900.75
ncf_16_64_8_edau.4	FAIL	900.75
ncf_16_128_8_d.8	FAIL	900.75
ncf_16_128_4_edau.1	FAIL	900.75
ncf_4_32_8_edau.9	FAIL	900.75
ncf_16_128_2_d.8	FAIL	900.76
ncf_16_64_4_edau.4	FAIL	900.76
ncf_4_32_8_edau.3	FAIL	900.76
ncf_4_32_8_d.2	FAIL	900.76
ncf_16_128_2_edau.1	FAIL	900.76
ncf_4_16_8_edau.10	FAIL	900.76
ncf_8_64_2_d.5	FAIL	900.76
ncf_4_32_8_u.3	FAIL	900.76
ncf_16_128_2_d.5	FAIL	900.76
ncf_8_64_8_u.1	FAIL	900.76
ncf_16_128_4_u.5	FAIL	900.76
ncf_16_128_8_euad.2	FAIL	900.76
ncf_8_64_8_u.3	FAIL	900.76
ncf_16_64_4_u.9	FAIL	900.76
ncf_4_32_4_d.5	FAIL	900.76
ncf_16_64_8_d.4	FAIL	900.76
ncf_16_128_4_d.6	FAIL	900.76
ncf_16_128_8_edau.8	FAIL	900.76
ncf_16_32_8_edau.7	FAIL	900.76
ncf_8_32_8_edau.3	FAIL	900.76
ncf_16_128_2_edau.9	FAIL	900.76
ncf_16_64_4_edau.9	FAIL	900.77
ncf_16_128_4_euad.10	FAIL	900.77
ncf_16_64_8_d.8	FAIL	900.77
ncf_16_128_4_edau.5	FAIL	900.77
ncf_16_128_8_edau.9	FAIL	900.77
ncf_16_64_4_u.5	FAIL	900.77
ncf_4_32_8_d.6	FAIL	900.77
ncf_16_64_8_d.1	FAIL	900.77
ncf_8_64_4_d.1	FAIL	900.77
ncf_8_64_2_edau.2	FAIL	900.77
ncf_8_64_8_u.4	FAIL	900.77
ncf_8_32_4_d.5	FAIL	900.77
ncf_16_64_2_edau.8	FAIL	900.77
ncf_8_64_8_euad.4	FAIL	900.77
ncf_16_64_4_d.8	FAIL	900.77
ncf_8_64_8_edau.8	FAIL	900.77
ncf_4_32_8_euad.5	FAIL	900.77
ncf_16_64_4_edau.3	FAIL	900.77
ncf_8_64_4_d.5	FAIL	900.77
ncf_8_32_8_euad.6	FAIL	900.77
ncf_8_64_4_d.3	FAIL	900.78
ncf_16_128_8_edau.3	FAIL	900.78
ncf_8_64_4_euad.6	FAIL	900.78
ncf_4_32_8_edau.8	FAIL	900.78
ncf_16_64_4_d.1	FAIL	900.78
ncf_8_64_8_edau.5	FAIL	900.78
ncf_16_128_2_u.3	FAIL	900.78
ncf_8_64_4_d.9	FAIL	900.78
ncf_8_32_8_d.9	FAIL	900.78
ncf_8_64_4_u.7	FAIL	900.78
ncf_16_128_2_edau.7	FAIL	900.78
ncf_8_64_4_euad.5	FAIL	900.78
ncf_8_64_2_edau.5	FAIL	900.78
ncf_16_128_2_u.8	FAIL	900.78
ncf_16_128_4_edau.3	FAIL	900.78
ncf_4_32_8_d.1	FAIL	900.78
ncf_8_32_8_euad.1	FAIL	900.79
ncf_8_64_2_edau.10	FAIL	900.79
ncf_8_32_8_u.1	FAIL	900.79
ncf_8_64_2_d.3	FAIL	900.79
ncf_16_32_4_d.4	FAIL	900.79
ncf_4_16_8_d.10	FAIL	900.79
ncf_16_128_4_d.9	FAIL	900.79
ncf_16_64_4_d.6	FAIL	900.79
ncf_16_128_4_d.5	FAIL	900.79
ncf_8_32_2_d.7	FAIL	900.79
ncf_16_128_2_euad.2	FAIL	900.79
ncf_4_16_8_u.5	FAIL	900.79
ncf_4_32_8_d.10	FAIL	900.79
ncf_8_64_4_d.10	FAIL	900.79
ncf_8_64_8_euad.10	FAIL	900.79
ncf_16_64_8_u.1	FAIL	900.79
ncf_16_128_4_d.2	FAIL	900.79
ncf_16_64_2_edau.2	FAIL	900.79
ncf_16_64_2_d.9	FAIL	900.79
ncf_16_128_2_edau.3	FAIL	900.79
ncf_4_8_8_edau.6	FAIL	900.79
ncf_16_64_4_edau.2	FAIL	900.79
ncf_8_64_4_euad.1	FAIL	900.8
ncf_8_32_4_d.10	FAIL	900.8
ncf_8_32_4_edau.2	FAIL	900.8
ncf_8_32_4_edau.1	FAIL	900.8
ncf_16_128_2_d.9	FAIL	900.8
ncf_16_128_4_u.1	FAIL	900.8
ncf_16_128_8_euad.5	FAIL	900.8
ncf_16_64_4_d.7	FAIL	900.8
ncf_8_64_4_euad.4	FAIL	900.8
ncf_8_16_8_d.5	FAIL	900.8
ncf_8_32_8_d.10	FAIL	900.8
ncf_8_64_4_edau.3	FAIL	900.8
ncf_8_32_4_u.1	FAIL	900.8
ncf_4_32_8_u.5	FAIL	900.8
ncf_8_64_2_edau.9	FAIL	900.8
ncf_8_32_8_edau.7	FAIL	900.8
ncf_8_64_8_d.4	FAIL	900.8
ncf_4_32_4_u.3	FAIL	900.8
ncf_16_128_8_d.7	FAIL	900.8
ncf_4_32_8_d.4	FAIL	900.8
ncf_8_64_2_u.8	FAIL	900.8
ncf_8_64_4_u.6	FAIL	900.8
ncf_16_128_2_d.7	FAIL	900.8
ncf_8_64_4_edau.10	FAIL	900.8
ncf_16_128_8_edau.6	FAIL	900.8
ncf_16_128_8_d.3	FAIL	900.81
ncf_4_32_8_u.1	FAIL	900.81
ncf_4_32_8_euad.10	FAIL	900.81
ncf_4_16_4_d.3	FAIL	900.81
ncf_16_64_8_d.2	FAIL	900.81
ncf_16_64_2_euad.2	FAIL	900.81
ncf_8_64_4_euad.2	FAIL	900.81
ncf_8_32_4_u.8	FAIL	900.81
ncf_8_64_2_d.7	FAIL	900.81
ncf_16_128_2_d.1	FAIL	900.81
ncf_4_32_2_edau.10	FAIL	900.81
ncf_16_128_4_euad.3	FAIL	900.81
ncf_8_32_4_euad.4	FAIL	900.81
ncf_16_128_8_u.2	FAIL	900.81
ncf_16_64_8_d.9	FAIL	900.81
ncf_4_32_4_d.3	FAIL	900.81
ncf_4_16_8_edau.7	FAIL	900.81
ncf_4_32_8_u.10	FAIL	900.81
ncf_16_128_2_euad.6	FAIL	900.81
ncf_8_64_4_u.2	FAIL	900.81
ncf_16_128_4_d.8	FAIL	900.81
ncf_8_16_8_edau.10	FAIL	900.81
ncf_8_64_2_u.1	FAIL	900.81
ncf_8_32_4_u.6	FAIL	900.81
ncf_8_64_4_edau.7	FAIL	900.81
ncf_16_128_2_d.6	FAIL	900.81
ncf_8_64_8_d.8	FAIL	900.81
ncf_8_32_8_edau.10	FAIL	900.81
ncf_8_64_4_u.8	FAIL	900.82
ncf_16_128_4_euad.4	FAIL	900.82
ncf_16_128_2_u.6	FAIL	900.82
ncf_4_16_8_d.3	FAIL	900.82
ncf_8_16_8_u.4	FAIL	900.82
ncf_4_8_8_d.7	FAIL	900.82
ncf_8_16_8_d.6	FAIL	900.82
ncf_8_64_4_edau.4	FAIL	900.82
ncf_16_64_4_edau.8	FAIL	900.82
ncf_4_32_2_d.6	FAIL	900.82
ncf_4_16_8_d.8	FAIL	900.82
ncf_8_32_8_u.6	FAIL	900.82
ncf_4_32_4_edau.3	FAIL	900.82
ncf_16_64_2_edau.10	FAIL	900.82
ncf_16_128_2_edau.8	FAIL	900.82
ncf_8_64_4_euad.3	FAIL	900.82
ncf_4_16_8_edau.3	FAIL	900.82
ncf_16_128_8_euad.1	FAIL	900.82
ncf_8_64_2_d.1	FAIL	900.82
ncf_16_64_4_d.2	FAIL	900.82
ncf_4_16_8_d.6	FAIL	900.82
ncf_8_32_8_euad.2	FAIL	900.82
ncf_8_64_2_edau.8	FAIL	900.82
ncf_4_32_2_u.10	FAIL	900.82
ncf_4_16_8_euad.5	FAIL	900.82
ncf_8_64_4_d.6	FAIL	900.82
ncf_4_16_8_d.4	FAIL	900.82
ncf_8_64_2_u.3	FAIL	900.82
ncf_8_64_8_edau.3	FAIL	900.82
ncf_16_128_8_d.10	FAIL	900.82
ncf_16_128_8_euad.7	FAIL	900.82
ncf_4_32_4_u.7	FAIL	900.82
ncf_16_128_2_u.2	FAIL	900.82
ncf_16_64_8_edau.5	FAIL	900.82
ncf_8_32_8_d.2	FAIL	900.82
ncf_4_32_2_euad.5	FAIL	900.83
ncf_16_128_2_u.10	FAIL	900.83
ncf_16_128_2_euad.3	FAIL	900.83
ncf_4_32_4_edau.8	FAIL	900.83
ncf_8_32_8_d.1	FAIL	900.83
ncf_16_64_8_edau.1	FAIL	900.83
ncf_4_32_8_edau.5	FAIL	900.83
ncf_16_128_4_euad.6	FAIL	900.83
ncf_16_128_4_u.9	FAIL	900.83
ncf_16_128_8_d.6	FAIL	900.83
ncf_8_64_4_d.8	FAIL	900.83
ncf_8_64_2_d.9	FAIL	900.83
ncf_16_64_4_edau.1	FAIL	900.83
ncf_4_16_8_d.5	FAIL	900.83
ncf_8_64_4_d.4	FAIL	900.83
ncf_8_64_2_euad.4	FAIL	900.83
ncf_4_16_8_edau.4	FAIL	900.83
ncf_4_32_4_d.2	FAIL	900.83
ncf_16_32_8_edau.5	FAIL	900.83
ncf_4_32_4_d.6	FAIL	900.83
ncf_8_16_8_d.2	FAIL	900.83
ncf_16_64_4_d.4	FAIL	900.83
ncf_16_64_2_euad.5	FAIL	900.83
ncf_4_32_2_d.3	FAIL	900.83
ncf_4_8_8_d.6	FAIL	900.83
ncf_4_32_8_d.5	FAIL	900.84
ncf_8_32_8_edau.5	FAIL	900.84
ncf_8_16_8_euad.4	FAIL	900.84
ncf_4_32_4_edau.9	FAIL	900.84
ncf_16_64_4_edau.10	FAIL	900.84
ncf_16_128_8_euad.4	FAIL	900.84
ncf_16_64_4_euad.9	FAIL	900.84
ncf_16_128_4_d.1	FAIL	900.84
ncf_16_128_2_euad.5	FAIL	900.84
ncf_16_64_4_d.3	FAIL	900.84
ncf_8_32_2_d.3	FAIL	900.84
ncf_8_64_2_d.10	FAIL	900.84
ncf_4_32_4_u.9	FAIL	900.84
ncf_8_64_2_u.9	FAIL	900.84
ncf_8_32_8_edau.1	FAIL	900.84
ncf_8_32_4_euad.2	FAIL	900.84
ncf_16_32_4_u.10	FAIL	900.84
ncf_16_64_8_u.7	FAIL	900.84
ncf_16_128_4_u.8	FAIL	900.84
ncf_16_64_4_euad.6	FAIL	900.84
ncf_16_64_4_d.9	FAIL	900.84
ncf_8_64_8_u.8	FAIL	900.84
ncf_8_64_8_euad.2	FAIL	900.84
ncf_16_128_4_euad.5	FAIL	900.84
ncf_16_128_8_euad.10	FAIL	900.84
ncf_4_32_8_edau.6	FAIL	900.84
ncf_4_32_8_euad.4	FAIL	900.84
ncf_4_32_4_euad.1	FAIL	900.84
ncf_8_32_2_d.5	FAIL	900.84
ncf_16_64_4_u.10	FAIL	900.84
ncf_16_128_4_euad.2	FAIL	900.84
ncf_4_8_8_d.1	FAIL	900.84
ncf_16_64_8_euad.1	FAIL	900.84
ncf_16_32_8_edau.9	FAIL	900.84
ncf_8_64_2_edau.6	FAIL	900.84
ncf_8_32_8_d.3	FAIL	900.84
ncf_4_32_4_d.1	FAIL	900.84
ncf_4_32_8_euad.1	FAIL	900.84
ncf_8_16_8_d.4	FAIL	900.85
ncf_8_32_4_edau.5	FAIL	900.85
ncf_16_64_2_edau.5	FAIL	900.85
ncf_8_64_2_d.6	FAIL	900.85
ncf_4_32_4_euad.5	FAIL	900.85
ncf_16_32_8_edau.4	FAIL	900.85
ncf_16_128_4_euad.1	FAIL	900.85
ncf_16_32_8_d.5	FAIL	900.85
ncf_16_64_2_d.3	FAIL	900.85
ncf_8_32_4_u.10	FAIL	900.85
ncf_16_128_4_euad.8	FAIL	900.85
ncf_8_32_8_d.6	FAIL	900.85
ncf_8_32_4_d.8	FAIL	900.85
ncf_8_32_2_d.6	FAIL	900.85
ncf_8_32_8_u.10	FAIL	900.85
ncf_16_64_4_euad.5	FAIL	900.85
ncf_4_8_8_d.5	FAIL	900.85
ncf_8_16_8_d.10	FAIL	900.85
ncf_16_64_4_euad.10	FAIL	900.85
ncf_4_32_4_euad.9	FAIL	900.85
ncf_8_64_8_d.6	FAIL	900.85
ncf_4_32_8_euad.9	FAIL	900.85
ncf_4_16_8_euad.6	FAIL	900.85
ncf_4_32_4_euad.2	FAIL	900.85
ncf_4_32_8_edau.4	FAIL	900.85
ncf_4_32_4_edau.5	FAIL	900.85
ncf_4_16_8_d.9	FAIL	900.85
ncf_4_32_2_u.7	FAIL	900.85
ncf_16_32_4_edau.3	FAIL	900.85
ncf_4_16_4_d.4	FAIL	900.85
ncf_8_32_8_d.8	FAIL	900.85
ncf_8_32_8_u.5	FAIL	900.85
ncf_8_16_4_d.3	FAIL	900.85
ncf_16_32_4_u.2	FAIL	900.85
ncf_16_32_8_u.1	FAIL	900.85
ncf_8_32_2_u.7	FAIL	900.85
ncf_4_32_4_d.9	FAIL	900.86
ncf_16_128_8_d.1	FAIL	900.86
ncf_16_128_4_u.7	FAIL	900.86
ncf_16_64_8_u.4	FAIL	900.86
ncf_16_128_2_u.5	FAIL	900.86
ncf_8_32_4_euad.9	FAIL	900.86
ncf_4_8_8_d.2	FAIL	900.86
ncf_4_32_8_euad.2	FAIL	900.86
ncf_16_128_4_u.3	FAIL	900.86
ncf_8_64_8_euad.5	FAIL	900.86
ncf_4_32_4_u.5	FAIL	900.86
ncf_16_64_8_d.5	FAIL	900.86
ncf_4_32_4_euad.7	FAIL	900.86
ncf_4_32_8_u.9	FAIL	900.86
ncf_8_32_4_d.9	FAIL	900.86
ncf_8_32_2_d.4	FAIL	900.86
ncf_8_64_4_euad.7	FAIL	900.86
ncf_8_64_4_u.5	FAIL	900.86
ncf_4_8_8_d.3	FAIL	900.86
ncf_8_32_4_u.5	FAIL	900.86
ncf_16_128_4_d.10	FAIL	900.86
ncf_4_32_2_d.10	FAIL	900.86
ncf_16_32_4_u.5	FAIL	900.86
ncf_8_32_2_d.2	FAIL	900.86
ncf_16_64_8_d.10	FAIL	900.86
ncf_8_16_8_edau.5	FAIL	900.86
ncf_8_16_8_euad.7	FAIL	900.86
ncf_16_64_8_u.2	FAIL	900.86
ncf_16_128_8_u.4	FAIL	900.86
ncf_8_16_8_u.5	FAIL	900.86
ncf_8_64_2_edau.4	FAIL	900.86
ncf_16_32_8_d.9	FAIL	900.86
ncf_16_128_2_euad.1	FAIL	900.86
ncf_16_64_2_edau.3	FAIL	900.86
ncf_4_8_8_edau.5	FAIL	900.86
ncf_8_64_2_euad.1	FAIL	900.86
ncf_8_32_4_euad.6	FAIL	900.86
ncf_16_64_2_edau.7	FAIL	900.86
ncf_8_32_2_edau.4	FAIL	900.86
ncf_16_128_2_u.7	FAIL	900.86
ncf_4_32_2_d.9	FAIL	900.86
ncf_8_64_8_euad.9	FAIL	900.87
ncf_16_32_8_d.3	FAIL	900.87
ncf_8_64_2_d.2	FAIL	900.87
ncf_8_32_8_euad.5	FAIL	900.87
ncf_8_32_8_edau.4	FAIL	900.87
ncf_16_128_2_euad.10	FAIL	900.87
ncf_4_16_4_edau.8	FAIL	900.87
ncf_16_64_4_edau.7	FAIL	900.87
ncf_8_64_2_euad.8	FAIL	900.87
ncf_8_16_8_d.9	FAIL	900.87
ncf_4_32_4_edau.7	FAIL	900.87
ncf_4_16_8_d.7	FAIL	900.87
ncf_8_32_4_u.4	FAIL	900.87
ncf_16_64_2_edau.4	FAIL	900.87
ncf_8_32_4_euad.10	FAIL	900.87
ncf_4_32_2_d.1	FAIL	900.87
ncf_16_64_2_d.8	FAIL	900.87
ncf_16_32_8_u.2	FAIL	900.87
ncf_16_32_2_edau.8	FAIL	900.87
ncf_4_16_4_edau.4	FAIL	900.87
ncf_16_128_8_u.7	FAIL	900.87
ncf_4_16_8_edau.8	FAIL	900.87
ncf_8_32_2_edau.5	FAIL	900.87
ncf_8_64_4_u.4	FAIL	900.87
ncf_8_32_4_edau.10	FAIL	900.87
ncf_8_32_4_euad.3	FAIL	900.87
ncf_16_128_2_u.9	FAIL	900.87
ncf_8_64_2_edau.7	FAIL	900.87
ncf_8_32_4_d.3	FAIL	900.87
ncf_16_32_8_edau.8	FAIL	900.87
ncf_8_32_8_u.2	FAIL	900.87
ncf_8_32_8_edau.6	FAIL	900.87
ncf_8_32_8_edau.9	FAIL	900.88
ncf_16_64_8_euad.7	FAIL	900.88
ncf_4_16_8_euad.10	FAIL	900.88
ncf_4_32_2_d.4	FAIL	900.88
ncf_4_32_2_edau.6	FAIL	900.88
ncf_16_128_4_u.4	FAIL	900.88
ncf_4_32_4_d.7	FAIL	900.88
ncf_8_32_4_d.1	FAIL	900.88
ncf_4_32_8_u.6	FAIL	900.88
ncf_16_128_8_u.8	FAIL	900.88
ncf_8_16_8_edau.9	FAIL	900.88
ncf_16_64_8_euad.6	FAIL	900.88
ncf_4_16_8_u.6	FAIL	900.88
ncf_8_32_2_d.10	FAIL	900.88
ncf_4_8_8_d.10	FAIL	900.88
ncf_16_32_8_d.8	FAIL	900.88
ncf_4_8_8_edau.2	FAIL	900.88
ncf_16_64_2_d.2	FAIL	900.88
ncf_4_32_2_u.3	FAIL	900.88
ncf_8_64_2_euad.9	FAIL	900.88
ncf_4_16_4_d.1	FAIL	900.88
ncf_4_16_8_d.1	FAIL	900.88
ncf_16_32_4_u.4	FAIL	900.88
ncf_16_64_2_d.10	FAIL	900.88
ncf_16_64_2_u.2	FAIL	900.88
ncf_16_64_4_euad.8	FAIL	900.88
ncf_16_64_4_u.2	FAIL	900.88
ncf_8_16_4_edau.3	FAIL	900.88
ncf_8_32_4_u.7	FAIL	900.88
ncf_8_32_8_edau.2	FAIL	900.88
ncf_8_64_2_euad.7	FAIL	900.88
ncf_16_32_8_edau.3	FAIL	900.88
ncf_16_64_4_u.8	FAIL	900.88
ncf_4_16_8_edau.5	FAIL	900.88
ncf_4_16_8_euad.3	FAIL	900.88
ncf_16_32_4_d.7	FAIL	900.88
ncf_4_16_8_edau.1	FAIL	900.88
ncf_8_32_4_euad.1	FAIL	900.88
ncf_8_32_8_u.4	FAIL	900.88
ncf_16_64_4_u.6	FAIL	900.88
ncf_4_32_4_u.4	FAIL	900.88
ncf_8_16_8_d.3	FAIL	900.89
ncf_16_128_4_euad.9	FAIL	900.89
ncf_4_32_8_euad.6	FAIL	900.89
ncf_16_64_8_u.8	FAIL	900.89
ncf_8_64_8_u.5	FAIL	900.89
ncf_4_32_4_euad.3	FAIL	900.89
ncf_8_64_2_u.5	FAIL	900.89
ncf_4_8_8_edau.7	FAIL	900.89
ncf_16_32_4_euad.2	FAIL	900.89
ncf_4_32_2_euad.3	FAIL	900.89
ncf_16_64_4_euad.4	FAIL	900.89
ncf_8_64_4_u.10	FAIL	900.89
ncf_8_16_8_euad.5	FAIL	900.89
ncf_8_32_4_edau.3	FAIL	900.89
ncf_8_16_4_d.9	FAIL	900.89
ncf_16_32_8_u.4	FAIL	900.89
ncf_4_32_4_edau.4	FAIL	900.89
ncf_4_16_4_edau.7	FAIL	900.89
ncf_16_32_8_edau.2	FAIL	900.89
ncf_4_32_8_u.4	FAIL	900.89
ncf_4_32_4_d.4	FAIL	900.89
ncf_16_64_2_euad.3	FAIL	900.89
ncf_4_32_8_edau.10	FAIL	900.89
ncf_8_64_4_euad.9	FAIL	900.89
ncf_16_64_2_u.1	FAIL	900.89
ncf_16_32_8_d.6	FAIL	900.89
ncf_8_32_4_d.2	FAIL	900.89
ncf_16_32_8_edau.6	FAIL	900.89
ncf_4_16_8_euad.4	FAIL	900.89
ncf_4_16_4_d.6	FAIL	900.89
ncf_4_16_4_edau.1	FAIL	900.89
ncf_16_64_2_d.6	FAIL	900.89
ncf_8_64_2_u.7	FAIL	900.89
ncf_8_64_2_edau.1	FAIL	900.89
ncf_16_32_4_u.9	FAIL	900.89
ncf_16_64_2_d.4	FAIL	900.89
ncf_4_16_4_euad.3	FAIL	900.89
ncf_4_32_2_edau.7	FAIL	900.89
ncf_16_128_8_euad.8	FAIL	900.89
ncf_4_16_4_edau.3	FAIL	900.89
ncf_4_16_4_edau.2	FAIL	900.89
ncf_4_8_8_u.7	FAIL	900.89
ncf_16_64_8_euad.4	FAIL	900.9
ncf_4_16_8_edau.9	FAIL	900.9
ncf_16_128_2_euad.7	FAIL	900.9
ncf_16_64_2_d.7	FAIL	900.9
ncf_4_32_4_u.8	FAIL	900.9
ncf_16_32_4_euad.1	FAIL	900.9
ncf_8_32_4_u.2	FAIL	900.9
ncf_8_16_8_d.8	FAIL	900.9
ncf_8_32_2_euad.10	FAIL	900.9
ncf_16_32_8_edau.1	FAIL	900.9
ncf_16_32_2_edau.1	FAIL	900.9
ncf_8_16_8_edau.6	FAIL	900.9
ncf_4_16_2_u.1	FAIL	900.9
ncf_4_32_2_edau.3	FAIL	900.9
ncf_8_32_4_euad.8	FAIL	900.9
ncf_8_32_8_euad.9	FAIL	900.9
ncf_8_32_8_d.5	FAIL	900.9
ncf_16_128_4_euad.7	FAIL	900.9
ncf_4_16_8_d.2	FAIL	900.9
ncf_4_32_4_edau.10	FAIL	900.9
ncf_8_64_2_euad.3	FAIL	900.9
ncf_4_32_2_edau.9	FAIL	900.9
ncf_4_8_8_edau.8	FAIL	900.9
ncf_8_64_2_euad.2	FAIL	900.9
ncf_16_64_2_u.4	FAIL	900.9
ncf_4_16_8_u.2	FAIL	900.9
ncf_8_64_4_euad.10	FAIL	900.9
ncf_8_32_2_u.8	FAIL	900.9
ncf_16_32_8_d.4	FAIL	900.9
ncf_8_32_2_u.10	FAIL	900.9
ncf_4_32_4_edau.6	FAIL	900.9
ncf_4_16_4_d.10	FAIL	900.9
ncf_8_32_2_edau.7	FAIL	900.9
ncf_16_32_4_edau.9	FAIL	900.9
ncf_8_64_8_u.6	FAIL	900.9
ncf_8_32_4_u.9	FAIL	900.9
ncf_4_16_4_euad.2	FAIL	900.9
ncf_8_64_4_u.9	FAIL	900.9
ncf_16_128_2_u.1	FAIL	900.9
ncf_4_16_8_u.3	FAIL	900.9
ncf_16_32_4_edau.10	FAIL	900.9
ncf_16_64_2_d.5	FAIL	900.9
ncf_8_64_2_u.10	FAIL	900.9
ncf_16_32_8_edau.10	FAIL	900.9
ncf_4_16_4_euad.8	FAIL	900.9
ncf_16_32_8_euad.6	FAIL	900.91
ncf_4_32_2_d.7	FAIL	900.91
ncf_8_32_2_euad.7	FAIL	900.91
ncf_16_32_4_d.2	FAIL	900.91
ncf_8_64_8_u.9	FAIL	900.91
ncf_4_16_8_euad.2	FAIL	900.91
ncf_4_16_4_d.2	FAIL	900.91
ncf_16_32_2_d.4	FAIL	900.91
ncf_4_32_2_edau.5	FAIL	900.91
ncf_4_8_8_d.8	FAIL	900.91
ncf_4_16_8_edau.2	FAIL	900.91
ncf_4_16_2_edau.4	FAIL	900.91
ncf_8_16_4_d.4	FAIL	900.91
ncf_16_64_4_u.1	FAIL	900.91
ncf_4_16_2_d.1	FAIL	900.91
ncf_4_32_4_euad.4	FAIL	900.91
ncf_16_32_4_euad.10	FAIL	900.91
ncf_4_8_4_d.1	FAIL	900.91
ncf_16_64_2_u.7	FAIL	900.91
ncf_4_32_4_d.10	FAIL	900.91
ncf_16_128_2_euad.9	FAIL	900.91
ncf_4_16_8_edau.6	FAIL	900.91
ncf_8_16_4_euad.7	FAIL	900.91
ncf_4_32_8_euad.8	FAIL	900.91
ncf_8_32_4_euad.5	FAIL	900.91
ncf_16_32_8_d.10	FAIL	900.91
ncf_4_16_4_u.2	FAIL	900.91
ncf_16_64_8_u.10	FAIL	900.91
ncf_4_32_4_u.10	FAIL	900.91
ncf_16_128_8_u.5	FAIL	900.91
ncf_4_16_8_u.4	FAIL	900.91
ncf_4_16_2_d.3	FAIL	900.91
ncf_4_32_2_u.5	FAIL	900.91
ncf_8_32_2_euad.3	FAIL	900.91
ncf_16_64_2_u.3	FAIL	900.91
ncf_16_32_4_edau.2	FAIL	900.91
ncf_4_8_8_u.2	FAIL	900.91
ncf_4_16_8_u.8	FAIL	900.91
ncf_4_32_4_edau.2	FAIL	900.91
ncf_4_32_2_u.9	FAIL	900.91
ncf_16_32_4_d.6	FAIL	900.91
ncf_8_32_4_edau.8	FAIL	900.91
ncf_16_32_4_d.1	FAIL	900.92
ncf_16_32_8_euad.4	FAIL	900.92
ncf_4_16_2_d.10	FAIL	900.92
ncf_16_32_4_d.5	FAIL	900.92
ncf_8_16_8_edau.7	FAIL	900.92
ncf_4_16_2_d.8	FAIL	900.92
ncf_8_16_4_edau.9	FAIL	900.92
ncf_16_64_2_u.5	FAIL	900.92
ncf_8_16_8_u.9	FAIL	900.92
ncf_16_64_4_euad.1	FAIL	900.92
ncf_16_64_2_edau.9	FAIL	900.92
ncf_16_32_4_edau.8	FAIL	900.92
ncf_16_64_8_euad.5	FAIL	900.92
ncf_4_16_4_d.8	FAIL	900.92
ncf_8_16_8_u.2	FAIL	900.92
ncf_8_64_2_u.4	FAIL	900.92
ncf_8_32_2_edau.1	FAIL	900.92
ncf_16_32_8_u.6	FAIL	900.92
ncf_8_32_4_d.4	FAIL	900.92
ncf_8_32_2_u.9	FAIL	900.92
ncf_4_16_4_edau.10	FAIL	900.92
ncf_8_32_4_d.6	FAIL	900.92
ncf_8_32_8_euad.7	FAIL	900.92
ncf_16_32_8_d.1	FAIL	900.92
ncf_4_32_4_euad.6	FAIL	900.92
ncf_4_8_8_euad.10	FAIL	900.92
ncf_8_16_8_edau.4	FAIL	900.92
ncf_16_32_8_d.2	FAIL	900.92
ncf_4_8_8_euad.7	FAIL	900.92
ncf_8_32_4_edau.9	FAIL	900.92
ncf_16_64_2_edau.1	FAIL	900.92
ncf_4_32_2_d.5	FAIL	900.92
ncf_16_128_8_u.10	FAIL	900.92
ncf_8_32_2_u.6	FAIL	900.92
ncf_16_64_2_u.9	FAIL	900.92
ncf_16_32_2_d.2	FAIL	900.92
ncf_4_16_4_d.7	FAIL	900.92
ncf_16_64_8_u.3	FAIL	900.92
ncf_4_32_4_u.1	FAIL	900.92
ncf_16_64_2_euad.8	FAIL	900.92
ncf_16_32_4_edau.5	FAIL	900.92
ncf_16_32_4_edau.6	FAIL	900.92
ncf_4_16_8_u.9	FAIL	900.92
ncf_16_32_2_edau.4	FAIL	900.93
ncf_4_8_8_edau.10	FAIL	900.93
ncf_4_16_2_d.4	FAIL	900.93
ncf_4_16_2_edau.10	FAIL	900.93
ncf_16_64_4_euad.7	FAIL	900.93
ncf_16_64_2_u.10	FAIL	900.93
ncf_16_64_2_u.8	FAIL	900.93
ncf_16_32_8_euad.8	FAIL	900.93
ncf_4_16_4_euad.4	FAIL	900.93
ncf_4_32_2_u.6	FAIL	900.93
ncf_8_16_8_euad.2	FAIL	900.93
ncf_4_32_2_euad.4	FAIL	900.93
ncf_8_32_8_euad.4	FAIL	900.93
ncf_4_16_4_u.7	FAIL	900.93
ncf_16_64_2_u.6	FAIL	900.93
ncf_16_64_8_euad.2	FAIL	900.93
ncf_16_32_4_euad.4	FAIL	900.93
ncf_16_64_2_euad.4	FAIL	900.93
ncf_4_32_2_euad.7	FAIL	900.93
ncf_16_32_8_euad.1	FAIL	900.93
ncf_8_32_8_u.7	FAIL	900.93
ncf_16_64_4_euad.2	FAIL	900.93
ncf_4_32_4_u.6	FAIL	900.93
ncf_4_32_4_euad.8	FAIL	900.93
ncf_8_64_2_euad.6	FAIL	900.93
ncf_16_32_8_u.10	FAIL	900.93
ncf_8_32_2_euad.2	FAIL	900.93
ncf_16_32_2_d.8	FAIL	900.93
ncf_8_64_2_d.8	FAIL	900.93
ncf_16_32_4_u.1	FAIL	900.93
ncf_8_32_4_edau.7	FAIL	900.93
ncf_4_32_4_u.2	FAIL	900.93
ncf_8_32_8_d.4	FAIL	900.93
ncf_8_32_4_edau.6	FAIL	900.93
ncf_8_16_4_u.9	FAIL	900.93
ncf_16_64_8_u.5	FAIL	900.93
ncf_8_16_8_edau.3	FAIL	900.93
ncf_16_64_8_euad.3	FAIL	900.93
ncf_4_8_4_d.7	FAIL	900.93
ncf_4_16_8_u.10	FAIL	900.93
ncf_4_16_2_edau.5	FAIL	900.93
ncf_8_16_4_u.7	FAIL	900.93
ncf_8_32_2_u.3	FAIL	900.94
ncf_16_32_8_euad.10	FAIL	900.94
ncf_8_16_8_euad.3	FAIL	900.94
ncf_8_16_4_euad.9	FAIL	900.94
ncf_16_32_4_d.10	FAIL	900.94
ncf_8_32_2_u.4	FAIL	900.94
ncf_4_16_4_u.3	FAIL	900.94
ncf_16_32_2_u.3	FAIL	900.94
ncf_16_32_2_u.5	FAIL	900.94
ncf_16_64_4_u.3	FAIL	900.94
ncf_8_16_4_euad.3	FAIL	900.94
ncf_16_32_2_d.1	FAIL	900.94
ncf_16_32_2_d.3	FAIL	900.94
ncf_16_32_4_u.3	FAIL	900.94
ncf_16_32_2_edau.3	FAIL	900.94
ncf_8_16_8_euad.8	FAIL	900.94
ncf_4_16_4_u.8	FAIL	900.94
ncf_4_32_4_edau.1	FAIL	900.94
ncf_8_32_2_u.1	FAIL	900.94
ncf_8_32_2_d.9	FAIL	900.94
ncf_16_32_4_euad.6	FAIL	900.94
ncf_4_16_8_euad.8	FAIL	900.94
ncf_4_16_2_edau.1	FAIL	900.94
ncf_8_32_2_edau.10	FAIL	900.94
ncf_16_32_8_euad.2	FAIL	900.94
ncf_4_32_8_u.8	FAIL	900.94
ncf_4_32_2_euad.10	FAIL	900.94
ncf_4_16_2_d.5	FAIL	900.94
ncf_8_16_4_d.7	FAIL	900.94
ncf_8_32_4_u.3	FAIL	900.94
ncf_4_32_4_euad.10	FAIL	900.94
ncf_16_32_4_edau.4	FAIL	900.94
ncf_16_64_2_euad.10	FAIL	900.94
ncf_8_32_2_edau.2	FAIL	900.94
ncf_4_16_2_edau.8	FAIL	900.94
ncf_8_32_2_u.2	FAIL	900.94
ncf_4_8_8_euad.5	FAIL	900.94
ncf_4_16_2_euad.3	FAIL	900.94
ncf_8_32_2_edau.3	FAIL	900.94
ncf_16_32_2_u.10	FAIL	900.94
ncf_8_16_8_u.3	FAIL	900.94
ncf_8_16_4_edau.4	FAIL	900.94
ncf_8_32_2_euad.5	FAIL	900.94
ncf_16_32_2_euad.4	FAIL	900.94
ncf_16_64_4_u.4	FAIL	900.94
ncf_4_32_2_euad.9	FAIL	900.94
ncf_8_64_2_u.2	FAIL	900.94
ncf_8_32_2_euad.4	FAIL	900.94
ncf_16_32_8_euad.5	FAIL	900.94
ncf_4_32_2_u.4	FAIL	900.94
ncf_8_32_2_euad.6	FAIL	900.94
ncf_8_64_2_euad.10	FAIL	900.94
ncf_16_64_4_u.7	FAIL	900.94
ncf_16_64_4_euad.3	FAIL	900.94
ncf_16_64_8_euad.8	FAIL	900.94
ncf_16_32_8_u.3	FAIL	900.95
ncf_8_16_8_euad.10	FAIL	900.95
ncf_16_32_4_d.8	FAIL	900.95
ncf_16_32_2_edau.5	FAIL	900.95
ncf_8_16_4_euad.4	FAIL	900.95
ncf_4_16_2_u.10	FAIL	900.95
ncf_8_16_4_edau.7	FAIL	900.95
ncf_16_32_4_euad.5	FAIL	900.95
ncf_16_64_2_euad.9	FAIL	900.95
ncf_8_32_4_euad.7	FAIL	900.95
ncf_8_32_2_d.1	FAIL	900.95
ncf_16_32_8_euad.7	FAIL	900.95
ncf_16_32_2_d.6	FAIL	900.95
ncf_16_64_2_euad.1	FAIL	900.95
ncf_4_16_2_euad.5	FAIL	900.95
ncf_4_16_2_euad.1	FAIL	900.95
ncf_4_16_8_euad.9	FAIL	900.95
ncf_16_32_4_d.3	FAIL	900.95
ncf_8_64_2_euad.5	FAIL	900.95
ncf_4_16_4_euad.6	FAIL	900.95
ncf_8_32_4_edau.4	FAIL	900.95
ncf_8_64_8_euad.6	FAIL	900.95
ncf_4_16_2_edau.3	FAIL	900.95
ncf_8_16_8_d.7	FAIL	900.95
ncf_4_8_8_edau.3	FAIL	900.95
ncf_4_16_4_u.6	FAIL	900.95
ncf_16_32_2_edau.10	FAIL	900.95
ncf_16_32_2_u.4	FAIL	900.95
ncf_4_32_2_euad.6	FAIL	900.95
ncf_16_32_2_euad.10	FAIL	900.95
ncf_16_64_8_euad.10	FAIL	900.95
ncf_8_16_8_edau.2	FAIL	900.95
ncf_16_64_2_euad.6	FAIL	900.95
ncf_8_32_2_d.8	FAIL	900.95
ncf_16_32_2_edau.2	FAIL	900.96
ncf_4_32_2_euad.8	FAIL	900.96
ncf_16_32_4_edau.7	FAIL	900.96
ncf_4_32_2_edau.1	FAIL	900.96
ncf_4_16_4_euad.7	FAIL	900.96
ncf_4_16_4_euad.10	FAIL	900.96
ncf_8_32_8_euad.3	FAIL	900.96
ncf_8_32_2_euad.1	FAIL	900.96
ncf_16_32_8_euad.9	FAIL	900.96
ncf_8_16_2_d.10	FAIL	900.96
ncf_4_32_2_u.8	FAIL	900.96
ncf_16_32_8_u.5	FAIL	900.96
ncf_4_16_2_euad.8	FAIL	900.96
ncf_8_32_2_u.5	FAIL	900.96
ncf_8_16_8_euad.9	FAIL	900.96
ncf_4_16_4_u.4	FAIL	900.96
ncf_16_32_4_edau.1	FAIL	900.96
ncf_4_32_2_euad.2	FAIL	900.96
ncf_4_16_2_d.2	FAIL	900.96
ncf_8_32_2_euad.8	FAIL	900.96
ncf_16_64_2_edau.6	FAIL	900.96
ncf_4_32_2_u.1	FAIL	900.96
ncf_8_32_8_u.3	FAIL	900.96
ncf_4_32_2_edau.4	FAIL	900.96
ncf_4_32_2_d.8	FAIL	900.96
ncf_16_32_2_euad.8	FAIL	900.96
ncf_8_32_8_u.8	FAIL	900.96
ncf_16_32_4_u.6	FAIL	900.96
ncf_16_32_8_u.7	FAIL	900.96
ncf_8_32_2_euad.9	FAIL	900.96
ncf_16_32_4_euad.3	FAIL	900.96
ncf_8_32_2_edau.9	FAIL	900.96
ncf_4_16_2_u.3	FAIL	900.96
ncf_4_16_2_u.5	FAIL	900.96
ncf_8_32_8_euad.8	FAIL	900.96
ncf_8_64_2_u.6	FAIL	900.96
ncf_8_16_8_euad.6	FAIL	900.96
ncf_4_8_8_edau.1	FAIL	900.97
ncf_4_16_8_u.1	FAIL	900.97
ncf_16_32_8_euad.3	FAIL	900.97
ncf_16_32_4_d.9	FAIL	900.97
ncf_4_8_8_euad.2	FAIL	900.97
ncf_4_8_8_u.10	FAIL	900.97
ncf_4_32_2_euad.1	FAIL	900.97
ncf_4_16_8_u.7	FAIL	900.97
ncf_16_32_2_edau.6	FAIL	900.97
ncf_4_16_4_edau.5	FAIL	900.97
ncf_4_16_8_euad.1	FAIL	900.97
ncf_4_8_4_d.5	FAIL	900.97
ncf_16_32_4_euad.8	FAIL	900.97
ncf_4_32_2_d.2	FAIL	900.97
ncf_8_16_4_u.3	FAIL	900.97
ncf_8_32_4_d.7	FAIL	900.97
ncf_8_32_2_edau.8	FAIL	900.97
ncf_16_32_2_u.1	FAIL	900.97
ncf_16_32_2_d.10	FAIL	900.97
ncf_8_32_2_edau.6	FAIL	900.97
ncf_16_32_2_euad.2	FAIL	900.97
ncf_4_16_4_d.5	FAIL	900.97
ncf_8_16_4_u.4	FAIL	900.97
ncf_8_16_8_u.6	FAIL	900.97
ncf_16_32_2_d.5	FAIL	900.97
ncf_16_32_2_euad.5	FAIL	900.97
ncf_16_32_2_u.8	FAIL	900.98
ncf_16_32_8_u.9	FAIL	900.98
ncf_8_16_8_edau.8	FAIL	900.98
ncf_4_16_4_edau.6	FAIL	900.98
ncf_16_32_2_euad.3	FAIL	900.98
ncf_8_16_8_u.10	FAIL	900.98
ncf_16_32_8_u.8	FAIL	900.98
ncf_4_32_2_edau.2	FAIL	900.98
ncf_16_32_2_euad.6	FAIL	900.98
ncf_4_16_4_u.10	FAIL	900.98
ncf_16_32_2_u.2	FAIL	900.98
ncf_4_32_2_edau.8	FAIL	900.98
ncf_16_32_4_euad.9	FAIL	900.98
ncf_4_8_8_u.6	FAIL	900.98
ncf_16_32_4_u.8	FAIL	900.98
ncf_4_32_2_u.2	FAIL	900.98
ncf_16_64_2_euad.7	FAIL	900.98
ncf_16_32_4_u.7	FAIL	900.99
ncf_4_16_8_euad.7	FAIL	900.99
ncf_4_16_2_euad.10	FAIL	900.99
ncf_4_16_2_u.8	FAIL	900.99
ncf_16_32_4_euad.7	FAIL	901
ncf_16_64_2_d.1	FAIL	901
ncf_16_32_2_euad.1	FAIL	901
ncf_4_16_2_edau.2	FAIL	901
ncf_16_32_2_u.6	FAIL	901

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by GRL
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by GRL QBFEVAL'05

Instances of family CounterFactual solved by GRL
QBFEVAL'05