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

Instances of family CounterFactual solved by QUANTOR
QBFEVAL'05

Instance	Result	Time
ncf_8_16_2_edau.8	UNSAT	0
ncf_4_8_2_u.5	FAIL	0
ncf_8_16_4_euad.5	UNSAT	0
ncf_4_16_2_d.6	SAT	0
ncf_8_16_2_d.4	SAT	0
ncf_4_8_2_d.10	SAT	0
ncf_4_8_4_d.2	UNSAT	0
ncf_8_16_2_d.7	SAT	0
ncf_4_8_2_edau.6	SAT	0
ncf_4_8_2_edau.1	UNSAT	0
ncf_4_8_4_edau.9	SAT	0
ncf_4_8_2_euad.4	UNSAT	0
ncf_4_8_2_edau.7	UNSAT	0
ncf_4_16_2_d.4	SAT	0
ncf_8_16_2_d.9	UNSAT	0
ncf_8_16_4_euad.2	UNSAT	0
ncf_8_16_2_euad.8	UNSAT	0
ncf_4_8_2_euad.10	FAIL	0
ncf_4_8_4_u.5	SAT	0
ncf_4_8_2_edau.4	UNSAT	0
ncf_4_16_2_edau.4	SAT	0
ncf_8_16_4_d.1	SAT	0
ncf_4_8_2_euad.8	SAT	0
ncf_4_16_4_edau.8	SAT	0
ncf_8_16_2_d.3	UNSAT	0
ncf_8_16_2_edau.1	SAT	0
ncf_8_16_4_d.10	SAT	0
ncf_4_16_2_euad.6	FAIL	0
ncf_4_8_2_euad.7	UNSAT	0
ncf_4_8_2_edau.8	SAT	0
ncf_16_32_2_u.9	UNSAT	0
ncf_4_16_2_u.6	FAIL	0
ncf_4_16_2_euad.9	SAT	0
ncf_4_16_4_euad.5	FAIL	0
ncf_4_8_4_u.9	SAT	0
ncf_4_16_4_u.1	SAT	0
ncf_4_8_4_u.2	UNSAT	0
ncf_8_16_4_u.1	SAT	0
ncf_4_8_2_edau.10	SAT	0
ncf_8_16_4_edau.1	SAT	0
ncf_4_8_2_d.6	SAT	0
ncf_4_8_2_u.1	UNSAT	0
ncf_4_16_2_d.2	SAT	0
ncf_4_16_2_edau.6	SAT	0
ncf_8_16_2_edau.3	UNSAT	0
ncf_8_16_2_euad.3	UNSAT	0
ncf_4_16_4_euad.1	SAT	0
ncf_4_8_2_d.9	SAT	0
ncf_8_16_4_d.5	UNSAT	0
ncf_4_8_2_d.4	UNSAT	0
ncf_4_8_4_d.5	SAT	0
ncf_8_16_2_d.1	SAT	0
ncf_4_16_4_edau.1	SAT	0
ncf_4_8_4_edau.6	SAT	0
ncf_8_16_2_d.8	UNSAT	0
ncf_8_16_2_euad.6	UNSAT	0
ncf_4_8_2_euad.9	SAT	0
ncf_4_8_2_u.7	UNSAT	0
ncf_4_8_2_d.2	SAT	0
ncf_4_8_4_euad.9	SAT	0
ncf_4_8_4_euad.2	UNSAT	0
ncf_4_8_4_edau.2	UNSAT	0
ncf_4_8_2_edau.2	SAT	0
ncf_4_8_2_d.5	SAT	0
ncf_8_16_2_u.3	UNSAT	0.01
ncf_4_16_4_u.5	FAIL	0.01
ncf_4_16_4_d.5	SAT	0.01
ncf_4_16_4_euad.8	SAT	0.01
ncf_4_16_2_edau.9	SAT	0.01
ncf_4_8_4_edau.5	SAT	0.01
ncf_4_8_2_euad.5	FAIL	0.01
ncf_16_32_4_d.1	FAIL	0.01
ncf_8_16_4_euad.1	SAT	0.01
ncf_4_8_2_d.7	UNSAT	0.01
ncf_8_16_2_edau.4	SAT	0.01
ncf_8_16_4_d.2	UNSAT	0.01
ncf_4_16_4_d.8	SAT	0.01
ncf_4_8_2_edau.5	SAT	0.01
ncf_4_8_2_d.1	UNSAT	0.01
ncf_8_16_4_d.6	UNSAT	0.01
ncf_8_16_2_edau.7	SAT	0.01
ncf_16_32_4_d.9	SAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.01
ncf_4_8_8_euad.9	UNSAT	0.01
ncf_4_8_8_edau.9	UNSAT	0.01
ncf_4_8_2_u.9	SAT	0.01
ncf_16_32_2_d.9	UNSAT	0.01
ncf_4_8_2_d.8	SAT	0.01
ncf_4_16_4_u.8	SAT	0.01
ncf_4_8_8_edau.8	SAT	0.01
ncf_16_32_2_edau.9	UNSAT	0.01
ncf_8_16_8_edau.1	SAT	0.01
ncf_4_16_2_edau.2	SAT	0.01
ncf_4_8_4_euad.5	SAT	0.01
ncf_8_16_4_edau.8	UNSAT	0.01
ncf_8_16_2_u.8	UNSAT	0.01
ncf_4_16_4_d.1	SAT	0.01
ncf_16_32_2_d.6	SAT	0.01
ncf_16_32_2_edau.6	SAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
ncf_4_8_8_d.9	UNSAT	0.01
ncf_4_8_8_u.9	UNSAT	0.01
ncf_4_16_2_u.4	SAT	0.01
ncf_4_8_8_edau.5	UNSAT	0.01
ncf_4_8_2_u.8	SAT	0.01
ncf_8_16_4_edau.10	SAT	0.01
ncf_4_8_4_edau.7	UNSAT	0.01
ncf_4_8_4_d.6	SAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
ncf_8_16_4_edau.6	UNSAT	0.01
ncf_16_32_4_edau.9	SAT	0.01
ncf_4_8_2_u.10	SAT	0.01
ncf_4_8_4_d.9	SAT	0.01
ncf_4_16_2_u.9	SAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
ncf_8_16_2_d.6	UNSAT	0.01
ncf_4_8_2_edau.9	SAT	0.01
ncf_8_16_4_edau.2	UNSAT	0.01
ncf_16_32_2_d.7	UNSAT	0.02
ncf_8_16_2_d.5	UNSAT	0.02
ncf_4_8_2_euad.6	SAT	0.02
ncf_16_32_2_euad.9	UNSAT	0.02
ncf_4_16_2_euad.2	SAT	0.02
ncf_4_8_2_edau.3	UNSAT	0.02
ncf_4_8_8_d.8	SAT	0.02
ncf_4_16_2_d.9	SAT	0.02
ncf_8_16_2_u.5	UNSAT	0.02
ncf_8_16_4_u.2	UNSAT	0.02
ncf_8_16_8_u.1	SAT	0.02
ncf_4_8_8_d.5	UNSAT	0.02
ncf_8_16_2_edau.9	UNSAT	0.02
ncf_8_16_8_euad.1	SAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
ncf_16_32_4_edau.1	FAIL	0.02
ncf_4_16_4_edau.5	SAT	0.02
ncf_4_8_2_u.6	SAT	0.02
ncf_8_16_2_edau.6	UNSAT	0.02
ncf_8_16_2_u.6	UNSAT	0.02
ncf_8_16_2_u.10	SAT	0.02
ncf_8_16_2_euad.5	UNSAT	0.02
ncf_8_16_2_edau.10	SAT	0.02
ncf_4_8_4_d.7	UNSAT	0.02
ncf_8_32_2_edau.9	UNSAT	0.03
ncf_8_16_8_d.1	SAT	0.03
ncf_16_32_4_edau.7	UNSAT	0.03
ncf_16_32_4_d.10	UNSAT	0.03
ncf_4_8_4_d.8	UNSAT	0.03
ncf_8_16_2_u.9	UNSAT	0.03
ncf_8_16_2_euad.9	UNSAT	0.03
ncf_4_8_4_d.1	SAT	0.03
ncf_8_32_2_d.9	UNSAT	0.03
ncf_16_32_4_d.7	UNSAT	0.03
ncf_16_32_8_edau.4	SAT	0.04
ncf_4_16_2_u.2	SAT	0.04
ncf_16_32_8_d.4	SAT	0.04
ncf_4_16_2_euad.4	SAT	0.04
ncf_16_32_4_edau.10	UNSAT	0.04
ncf_4_32_2_edau.1	UNSAT	0.06
ncf_4_32_2_d.1	UNSAT	0.06
ncf_4_16_2_d.5	UNSAT	0.08
ncf_8_16_2_d.2	UNSAT	0.12
ncf_4_8_8_edau.1	SAT	0.12
ncf_4_8_8_d.3	SAT	0.12
ncf_4_8_2_d.3	UNSAT	0.12
ncf_8_16_2_euad.2	UNSAT	0.12
ncf_8_16_2_u.2	UNSAT	0.13
ncf_8_16_2_edau.2	UNSAT	0.13
ncf_4_16_2_edau.5	UNSAT	0.15
ncf_4_16_2_d.7	SAT	0.16
ncf_4_16_4_d.9	SAT	0.18
ncf_4_8_8_edau.3	SAT	0.2
ncf_8_16_2_edau.5	UNSAT	0.23
ncf_4_8_8_u.3	SAT	0.23
ncf_4_8_8_u.1	SAT	0.24
ncf_4_8_4_edau.8	UNSAT	0.34
ncf_4_8_8_d.1	SAT	0.35
ncf_4_16_2_edau.7	SAT	0.36
ncf_4_8_2_u.2	SAT	0.37
ncf_4_8_4_edau.10	SAT	0.44
ncf_4_8_8_euad.3	SAT	0.58
ncf_8_32_2_edau.8	SAT	0.58
ncf_4_8_2_euad.2	SAT	0.94
ncf_4_16_4_edau.9	SAT	1.08
ncf_4_8_4_u.8	UNSAT	1.08
ncf_16_32_2_euad.7	UNSAT	1.34
ncf_4_8_4_d.10	SAT	1.54
ncf_4_16_4_euad.9	SAT	1.7
ncf_4_8_4_u.6	SAT	1.95
ncf_4_8_4_edau.1	SAT	2.31
ncf_4_16_4_u.9	SAT	2.58
ncf_16_32_2_edau.7	UNSAT	2.83
ncf_4_8_4_u.10	SAT	3.35
ncf_4_8_4_edau.3	UNSAT	3.59
ncf_4_8_4_euad.6	SAT	4.03
ncf_4_8_4_euad.10	SAT	4.83
ncf_8_16_8_edau.6	UNSAT	7.69
ncf_8_16_2_euad.1	SAT	8.97
ncf_4_32_2_euad.2	FAIL	10.99
ncf_4_32_4_edau.4	FAIL	11.64
ncf_4_32_4_edau.10	FAIL	11.72
ncf_8_16_4_d.7	FAIL	11.86
ncf_4_16_2_u.5	FAIL	11.9
ncf_4_32_4_u.10	FAIL	12.02
ncf_4_32_4_u.4	FAIL	12.15
ncf_8_32_2_edau.10	FAIL	12.23
ncf_4_16_4_u.6	FAIL	12.23
ncf_4_16_4_u.4	FAIL	12.32
ncf_4_32_2_d.5	FAIL	12.32
ncf_16_64_2_d.1	FAIL	12.35
ncf_4_16_4_edau.3	FAIL	12.4
ncf_4_8_8_edau.10	FAIL	12.43
ncf_4_32_2_u.7	FAIL	12.43
ncf_4_8_8_u.2	FAIL	12.52
ncf_4_32_2_edau.7	FAIL	12.54
ncf_8_32_2_edau.1	FAIL	12.54
ncf_4_32_4_d.2	FAIL	12.56
ncf_4_32_2_edau.5	FAIL	12.57
ncf_4_32_2_edau.8	FAIL	12.57
ncf_16_64_2_edau.1	FAIL	12.58
ncf_16_64_2_edau.2	FAIL	12.58
ncf_4_32_2_edau.3	FAIL	12.62
ncf_4_16_8_euad.1	FAIL	12.63
ncf_8_32_2_d.1	FAIL	12.68
ncf_4_32_4_edau.9	FAIL	12.69
ncf_8_32_2_edau.6	FAIL	12.75
ncf_8_16_4_edau.7	FAIL	12.76
ncf_4_16_4_edau.4	FAIL	12.76
ncf_4_32_2_d.8	FAIL	12.77
ncf_4_16_4_euad.3	FAIL	12.79
ncf_8_32_4_edau.10	FAIL	12.81
ncf_4_8_4_euad.3	FAIL	12.81
ncf_4_16_8_u.1	FAIL	12.83
ncf_4_16_4_euad.2	FAIL	12.85
ncf_8_32_4_edau.2	FAIL	12.88
ncf_4_16_4_edau.6	FAIL	12.88
ncf_4_8_8_u.6	FAIL	12.88
ncf_16_64_2_edau.7	FAIL	12.88
ncf_8_16_4_d.3	FAIL	12.9
ncf_8_32_4_edau.6	FAIL	12.91
ncf_16_32_8_u.4	FAIL	12.92
ncf_4_32_4_u.2	FAIL	12.93
ncf_8_16_4_u.4	FAIL	12.94
ncf_4_32_4_d.10	FAIL	12.94
ncf_8_32_4_edau.3	FAIL	12.95
ncf_8_16_8_u.7	FAIL	12.96
ncf_8_64_4_edau.4	FAIL	12.97
ncf_8_16_2_d.10	FAIL	12.98
ncf_4_8_8_u.8	FAIL	13.01
ncf_4_32_2_edau.10	FAIL	13.02
ncf_4_32_4_edau.8	FAIL	13.03
ncf_4_32_4_d.4	FAIL	13.06
ncf_4_16_8_edau.6	FAIL	13.06
ncf_4_16_8_edau.5	FAIL	13.06
ncf_4_32_2_d.3	FAIL	13.07
ncf_4_32_4_u.8	FAIL	13.07
ncf_8_16_4_euad.4	FAIL	13.07
ncf_8_32_2_u.1	FAIL	13.07
ncf_8_32_8_edau.4	FAIL	13.08
ncf_4_16_8_d.9	FAIL	13.08
ncf_4_32_2_u.5	FAIL	13.08
ncf_8_16_4_u.10	FAIL	13.09
ncf_4_8_8_edau.7	FAIL	13.09
ncf_16_64_4_edau.1	FAIL	13.09
ncf_4_32_2_u.10	FAIL	13.11
ncf_4_32_2_euad.4	FAIL	13.14
ncf_8_32_8_edau.7	FAIL	13.14
ncf_8_32_2_d.5	FAIL	13.14
ncf_8_32_2_edau.2	FAIL	13.16
ncf_8_32_4_edau.4	FAIL	13.16
ncf_16_64_2_d.6	FAIL	13.17
ncf_4_8_8_u.10	FAIL	13.18
ncf_4_16_8_u.8	FAIL	13.2
ncf_4_32_4_edau.7	FAIL	13.22
ncf_16_32_4_u.1	FAIL	13.23
ncf_4_16_8_u.6	FAIL	13.24
ncf_4_32_4_u.7	FAIL	13.28
ncf_4_16_4_u.2	FAIL	13.28
ncf_8_32_4_d.3	FAIL	13.29
ncf_4_32_2_u.8	FAIL	13.3
ncf_8_64_2_edau.7	FAIL	13.32
ncf_4_32_2_d.4	FAIL	13.32
ncf_4_32_2_euad.8	FAIL	13.33
ncf_16_32_4_u.10	FAIL	13.33
ncf_8_64_2_edau.4	FAIL	13.33
ncf_4_32_4_edau.1	FAIL	13.37
ncf_8_32_2_d.10	FAIL	13.38
ncf_4_32_2_u.6	FAIL	13.38
ncf_8_32_2_u.10	FAIL	13.38
ncf_4_32_8_edau.2	FAIL	13.38
ncf_8_32_4_d.4	FAIL	13.41
ncf_16_32_4_d.6	FAIL	13.43
ncf_8_64_2_edau.8	FAIL	13.43
ncf_16_64_2_d.10	FAIL	13.43
ncf_16_32_4_u.9	FAIL	13.47
ncf_4_32_4_u.3	FAIL	13.47
ncf_8_32_4_u.10	FAIL	13.48
ncf_4_8_8_edau.2	FAIL	13.48
ncf_4_32_4_u.9	FAIL	13.48
ncf_4_32_4_edau.6	FAIL	13.48
ncf_4_32_4_u.5	FAIL	13.49
ncf_8_64_2_edau.3	FAIL	13.49
ncf_8_32_4_edau.8	FAIL	13.5
ncf_4_32_2_u.2	FAIL	13.5
ncf_16_32_4_u.3	FAIL	13.51
ncf_8_32_4_edau.1	FAIL	13.52
ncf_4_32_2_u.4	FAIL	13.54
ncf_8_64_2_edau.5	FAIL	13.54
ncf_4_32_4_u.6	FAIL	13.57
ncf_4_32_2_edau.4	FAIL	13.58
ncf_8_16_8_u.2	FAIL	13.59
ncf_8_32_2_d.8	FAIL	13.6
ncf_8_16_8_d.4	FAIL	13.6
ncf_8_16_8_u.4	FAIL	13.63
ncf_8_64_4_edau.5	FAIL	13.63
ncf_16_32_4_edau.3	FAIL	13.63
ncf_16_32_4_euad.8	FAIL	13.64
ncf_4_32_8_edau.4	FAIL	13.65
ncf_8_32_8_u.4	FAIL	13.66
ncf_16_32_2_u.5	FAIL	13.66
ncf_8_16_2_euad.4	FAIL	13.66
ncf_4_16_8_d.1	FAIL	13.66
ncf_8_32_4_u.1	FAIL	13.66
ncf_8_32_2_edau.5	FAIL	13.66
ncf_4_32_4_euad.2	FAIL	13.67
ncf_8_32_8_u.2	FAIL	13.68
ncf_4_32_8_u.4	FAIL	13.68
ncf_4_32_8_u.7	FAIL	13.69
ncf_4_32_4_edau.3	FAIL	13.69
ncf_16_64_2_edau.3	FAIL	13.69
ncf_4_16_8_u.2	FAIL	13.7
ncf_8_32_4_d.1	FAIL	13.71
ncf_4_32_2_euad.7	FAIL	13.71
ncf_16_32_4_edau.6	FAIL	13.72
ncf_8_32_4_u.3	FAIL	13.72
ncf_8_32_8_edau.6	FAIL	13.73
ncf_8_32_8_edau.9	FAIL	13.73
ncf_8_32_2_d.7	FAIL	13.74
ncf_8_32_4_edau.9	FAIL	13.74
ncf_8_16_4_u.9	FAIL	13.74
ncf_4_16_4_euad.4	FAIL	13.75
ncf_8_16_8_euad.9	FAIL	13.75
ncf_16_32_4_d.3	FAIL	13.75
ncf_4_16_4_euad.6	FAIL	13.75
ncf_4_16_8_euad.9	FAIL	13.76
ncf_4_16_8_euad.7	FAIL	13.77
ncf_16_32_4_euad.9	FAIL	13.77
ncf_4_32_8_edau.6	FAIL	13.77
ncf_8_32_8_u.7	FAIL	13.78
ncf_4_32_2_euad.3	FAIL	13.79
ncf_4_32_4_euad.4	FAIL	13.79
ncf_16_32_8_edau.2	FAIL	13.79
ncf_16_32_8_edau.9	FAIL	13.81
ncf_16_64_2_edau.9	FAIL	13.81
ncf_8_16_2_u.4	FAIL	13.82
ncf_4_16_4_d.10	FAIL	13.82
ncf_16_32_2_u.6	FAIL	13.82
ncf_4_16_4_euad.7	FAIL	13.83
ncf_16_128_4_d.5	FAIL	13.83
ncf_4_32_2_u.3	FAIL	13.83
ncf_4_16_8_u.3	FAIL	13.83
ncf_4_32_8_edau.10	FAIL	13.84
ncf_8_32_8_u.8	FAIL	13.84
ncf_8_32_2_d.6	FAIL	13.85
ncf_8_32_4_d.5	FAIL	13.85
ncf_8_64_2_edau.6	FAIL	13.86
ncf_8_16_8_edau.2	FAIL	13.86
ncf_8_64_2_edau.10	FAIL	13.87
ncf_8_32_4_edau.7	FAIL	13.87
ncf_4_16_8_u.4	FAIL	13.87
ncf_8_32_2_u.2	FAIL	13.88
ncf_16_64_2_edau.5	FAIL	13.89
ncf_16_64_2_d.3	FAIL	13.9
ncf_4_32_8_u.2	FAIL	13.91
ncf_8_64_4_edau.6	FAIL	13.91
ncf_4_32_4_euad.10	FAIL	13.92
ncf_8_16_2_euad.10	FAIL	13.93
ncf_8_32_4_u.2	FAIL	13.93
ncf_4_32_4_u.1	FAIL	13.94
ncf_16_32_2_u.4	FAIL	13.95
ncf_8_64_2_d.5	FAIL	13.95
ncf_8_32_8_u.10	FAIL	13.95
ncf_8_64_8_edau.2	FAIL	13.95
ncf_8_32_2_u.6	FAIL	13.95
ncf_8_32_4_u.6	FAIL	13.96
ncf_16_128_2_edau.7	FAIL	13.97
ncf_4_16_8_edau.2	FAIL	13.98
ncf_16_32_2_u.10	FAIL	13.98
ncf_8_32_2_u.7	FAIL	13.99
ncf_8_32_2_u.3	FAIL	13.99
ncf_8_32_8_u.3	FAIL	13.99
ncf_4_32_2_u.9	FAIL	14
ncf_4_32_8_d.3	FAIL	14
ncf_4_8_8_d.10	FAIL	14.01
ncf_4_32_4_edau.5	FAIL	14.01
ncf_4_16_4_edau.7	FAIL	14.02
ncf_8_32_2_u.5	FAIL	14.03
ncf_8_64_4_d.9	FAIL	14.03
ncf_8_64_8_edau.7	FAIL	14.03
ncf_16_32_4_u.8	FAIL	14.03
ncf_4_32_4_edau.2	FAIL	14.04
ncf_16_64_4_edau.9	FAIL	14.04
ncf_8_64_8_edau.6	FAIL	14.04
ncf_8_32_2_edau.7	FAIL	14.04
ncf_8_16_4_u.3	FAIL	14.04
ncf_16_32_2_euad.2	FAIL	14.05
ncf_8_64_8_edau.5	FAIL	14.05
ncf_16_64_2_edau.8	FAIL	14.05
ncf_4_8_8_edau.6	FAIL	14.06
ncf_8_32_8_edau.2	FAIL	14.07
ncf_4_16_8_euad.6	FAIL	14.07
ncf_4_16_4_d.7	FAIL	14.07
ncf_8_32_4_u.9	FAIL	14.07
ncf_4_32_2_d.9	FAIL	14.08
ncf_4_16_8_d.10	FAIL	14.08
ncf_8_64_8_edau.10	FAIL	14.1
ncf_8_32_4_euad.7	FAIL	14.11
ncf_16_32_2_u.2	FAIL	14.12
ncf_8_16_4_euad.3	FAIL	14.13
ncf_16_128_2_edau.8	FAIL	14.14
ncf_16_128_2_d.2	FAIL	14.14
ncf_16_32_4_d.4	FAIL	14.15
ncf_4_16_8_edau.3	FAIL	14.15
ncf_8_32_8_d.4	FAIL	14.15
ncf_16_32_2_euad.4	FAIL	14.15
ncf_8_32_8_u.1	FAIL	14.16
ncf_16_128_2_edau.4	FAIL	14.17
ncf_8_32_4_u.4	FAIL	14.18
ncf_4_32_8_u.9	FAIL	14.18
ncf_16_32_2_euad.3	FAIL	14.19
ncf_8_32_2_edau.4	FAIL	14.2
ncf_4_16_4_u.7	FAIL	14.2
ncf_4_16_2_euad.5	FAIL	14.21
ncf_8_64_4_edau.3	FAIL	14.21
ncf_4_32_2_d.2	SAT	14.22
ncf_4_8_8_u.7	FAIL	14.23
ncf_16_32_8_u.3	FAIL	14.23
ncf_4_16_2_d.3	FAIL	14.24
ncf_4_16_8_euad.10	FAIL	14.25
ncf_8_32_4_d.8	FAIL	14.25
ncf_4_32_8_edau.3	FAIL	14.27
ncf_16_64_4_edau.2	FAIL	14.28
ncf_8_64_2_d.8	FAIL	14.28
ncf_16_64_4_d.1	FAIL	14.29
ncf_16_64_8_edau.7	FAIL	14.3
ncf_8_32_8_u.6	FAIL	14.3
ncf_8_64_4_edau.10	FAIL	14.31
ncf_4_16_8_d.6	FAIL	14.31
ncf_4_16_2_edau.3	FAIL	14.31
ncf_8_32_4_euad.8	FAIL	14.33
ncf_8_32_4_d.2	FAIL	14.33
ncf_8_64_8_edau.3	FAIL	14.33
ncf_16_128_2_edau.3	FAIL	14.36
ncf_4_32_8_edau.1	FAIL	14.37
ncf_4_16_8_u.5	FAIL	14.37
ncf_8_16_8_u.5	FAIL	14.37
ncf_16_32_8_u.5	FAIL	14.38
ncf_8_32_2_euad.2	FAIL	14.38
ncf_8_32_4_euad.9	FAIL	14.39
ncf_16_32_8_u.10	FAIL	14.39
ncf_8_32_4_u.8	FAIL	14.4
ncf_16_32_8_euad.3	FAIL	14.4
ncf_4_32_2_euad.6	FAIL	14.41
ncf_8_32_4_euad.2	FAIL	14.41
ncf_16_64_4_edau.6	FAIL	14.42
ncf_8_32_2_d.4	FAIL	14.42
ncf_8_64_4_d.3	FAIL	14.44
ncf_16_32_4_u.5	FAIL	14.44
ncf_16_64_8_edau.10	FAIL	14.45
ncf_8_32_2_euad.1	FAIL	14.46
ncf_8_64_2_u.1	FAIL	14.47
ncf_16_32_4_euad.5	FAIL	14.5
ncf_16_64_2_edau.6	FAIL	14.5
ncf_16_64_2_d.5	FAIL	14.5
ncf_4_32_8_edau.9	FAIL	14.51
ncf_8_16_4_edau.9	FAIL	14.51
ncf_4_16_2_edau.8	FAIL	14.53
ncf_4_32_4_euad.9	FAIL	14.55
ncf_8_32_4_u.7	FAIL	14.55
ncf_8_64_4_u.4	FAIL	14.55
ncf_4_32_2_d.7	FAIL	14.56
ncf_16_32_2_u.3	FAIL	14.56
ncf_8_64_4_edau.2	FAIL	14.57
ncf_8_32_2_u.8	FAIL	14.57
ncf_16_64_2_d.9	FAIL	14.57
ncf_16_32_8_u.1	FAIL	14.58
ncf_16_32_8_u.2	FAIL	14.59
ncf_16_32_2_d.1	FAIL	14.6
ncf_16_32_2_euad.5	FAIL	14.62
ncf_8_16_8_edau.9	FAIL	14.62
ncf_16_32_2_d.4	FAIL	14.63
ncf_16_32_4_u.4	FAIL	14.63
ncf_16_64_2_d.7	FAIL	14.65
ncf_4_8_2_u.3	FAIL	14.65
ncf_16_32_4_euad.3	FAIL	14.66
ncf_16_32_2_edau.4	FAIL	14.66
ncf_16_32_4_euad.6	FAIL	14.66
ncf_8_16_8_euad.3	FAIL	14.67
ncf_8_32_8_d.6	FAIL	14.68
ncf_4_32_8_d.10	FAIL	14.68
ncf_4_16_8_edau.4	FAIL	14.69
ncf_8_64_4_edau.7	FAIL	14.69
ncf_16_32_2_euad.8	FAIL	14.69
ncf_8_64_2_edau.2	FAIL	14.7
ncf_8_16_4_edau.3	FAIL	14.7
ncf_16_32_8_edau.8	FAIL	14.71
ncf_4_16_4_euad.10	FAIL	14.73
ncf_16_64_4_d.10	FAIL	14.74
ncf_16_32_4_euad.2	FAIL	14.74
ncf_4_32_8_d.4	FAIL	14.75
ncf_4_8_8_d.6	FAIL	14.76
ncf_4_32_2_d.6	FAIL	14.77
ncf_8_16_8_u.10	FAIL	14.77
ncf_8_16_8_euad.2	FAIL	14.8
ncf_4_16_4_edau.10	FAIL	14.8
ncf_8_64_4_d.5	FAIL	14.8
ncf_16_32_4_u.6	FAIL	14.83
ncf_8_64_2_u.9	FAIL	14.86
ncf_8_64_2_d.3	FAIL	14.88
ncf_8_32_4_d.9	FAIL	14.88
ncf_16_64_2_euad.3	FAIL	14.89
ncf_8_16_8_edau.4	FAIL	14.89
ncf_4_16_8_edau.9	FAIL	14.9
ncf_8_32_4_u.5	FAIL	14.91
ncf_8_64_8_edau.9	FAIL	14.92
ncf_4_8_4_euad.1	FAIL	14.92
ncf_8_32_4_euad.1	FAIL	14.92
ncf_16_64_2_d.2	FAIL	14.94
ncf_8_16_4_u.7	FAIL	14.95
ncf_8_16_4_euad.9	FAIL	14.96
ncf_8_64_2_u.5	FAIL	14.96
ncf_8_16_8_u.9	FAIL	14.96
ncf_16_128_2_edau.1	FAIL	14.97
ncf_4_32_8_u.3	FAIL	14.97
ncf_16_32_2_u.8	FAIL	14.98
ncf_16_64_2_d.4	FAIL	14.99
ncf_4_32_4_d.3	FAIL	15.02
ncf_16_32_8_u.7	FAIL	15.04
ncf_16_64_4_edau.3	FAIL	15.05
ncf_4_32_4_d.1	FAIL	15.07
ncf_16_128_2_d.7	FAIL	15.07
ncf_16_64_4_u.1	FAIL	15.07
ncf_8_64_2_u.2	FAIL	15.07
ncf_16_64_4_d.4	FAIL	15.08
ncf_16_128_2_edau.10	FAIL	15.09
ncf_8_64_4_u.10	FAIL	15.11
ncf_16_128_2_edau.9	FAIL	15.12
ncf_16_128_2_edau.5	FAIL	15.12
ncf_8_32_4_euad.4	FAIL	15.12
ncf_16_32_8_edau.7	FAIL	15.13
ncf_16_32_4_u.7	FAIL	15.13
ncf_8_64_2_u.7	FAIL	15.13
ncf_16_32_8_u.6	FAIL	15.15
ncf_8_64_4_d.6	FAIL	15.15
ncf_4_16_4_d.4	FAIL	15.15
ncf_16_128_8_edau.1	FAIL	15.16
ncf_16_64_8_edau.1	FAIL	15.17
ncf_8_16_4_d.9	FAIL	15.18
ncf_16_128_4_d.8	FAIL	15.19
ncf_8_16_4_euad.10	FAIL	15.2
ncf_16_32_2_edau.2	FAIL	15.2
ncf_4_32_4_euad.3	FAIL	15.2
ncf_8_16_4_euad.8	FAIL	15.2
ncf_8_32_8_euad.7	FAIL	15.2
ncf_16_128_8_edau.3	FAIL	15.21
ncf_8_32_2_euad.4	FAIL	15.23
ncf_8_32_2_u.9	FAIL	15.23
ncf_16_64_2_edau.4	FAIL	15.24
ncf_4_8_4_d.3	FAIL	15.25
ncf_16_128_2_edau.6	FAIL	15.25
ncf_8_64_8_edau.1	FAIL	15.25
ncf_4_32_2_euad.10	FAIL	15.25
ncf_8_32_2_euad.8	FAIL	15.25
ncf_8_64_2_u.8	FAIL	15.26
ncf_8_32_2_euad.6	FAIL	15.28
ncf_4_32_8_edau.8	FAIL	15.28
ncf_16_32_2_euad.1	FAIL	15.3
ncf_4_8_8_euad.7	FAIL	15.3
ncf_8_64_4_d.2	FAIL	15.3
ncf_16_64_2_edau.10	FAIL	15.32
ncf_8_64_4_u.2	FAIL	15.32
ncf_16_32_8_edau.3	FAIL	15.32
ncf_4_32_2_edau.9	FAIL	15.35
ncf_4_16_8_euad.5	FAIL	15.35
ncf_8_16_8_euad.4	FAIL	15.36
ncf_4_16_4_edau.2	FAIL	15.37
ncf_16_64_2_u.7	FAIL	15.37
ncf_16_32_4_euad.10	FAIL	15.39
ncf_16_32_8_u.9	FAIL	15.4
ncf_16_32_4_d.5	FAIL	15.42
ncf_16_32_2_d.2	FAIL	15.42
ncf_4_32_2_d.10	FAIL	15.43
ncf_16_64_4_u.10	FAIL	15.43
ncf_8_16_8_u.3	FAIL	15.43
ncf_4_16_4_u.3	FAIL	15.44
ncf_8_32_2_d.2	FAIL	15.45
ncf_4_32_8_euad.3	FAIL	15.46
ncf_8_64_8_edau.8	FAIL	15.47
ncf_4_16_4_d.2	FAIL	15.5
ncf_4_16_8_euad.8	FAIL	15.51
ncf_16_32_2_edau.1	FAIL	15.52
ncf_16_128_4_edau.3	FAIL	15.52
ncf_16_32_8_u.8	FAIL	15.53
ncf_8_64_2_u.10	FAIL	15.55
ncf_8_32_4_edau.5	FAIL	15.55
ncf_4_32_4_d.7	FAIL	15.55
ncf_16_64_8_edau.3	FAIL	15.55
ncf_16_128_4_edau.2	FAIL	15.56
ncf_8_32_2_euad.10	FAIL	15.57
ncf_8_16_8_d.2	FAIL	15.58
ncf_4_32_8_u.10	FAIL	15.59
ncf_4_32_8_edau.7	FAIL	15.6
ncf_16_32_4_euad.1	FAIL	15.64
ncf_16_64_2_euad.1	FAIL	15.64
ncf_16_128_2_d.10	FAIL	15.66
ncf_8_64_4_u.9	FAIL	15.66
ncf_4_8_4_euad.8	UNSAT	15.67
ncf_16_128_2_d.9	FAIL	15.69
ncf_16_64_8_u.4	FAIL	15.71
ncf_16_32_8_edau.1	FAIL	15.71
ncf_4_8_8_edau.4	FAIL	15.71
ncf_16_64_4_edau.7	FAIL	15.71
ncf_8_64_4_edau.1	FAIL	15.73
ncf_16_64_2_u.2	FAIL	15.74
ncf_4_8_4_edau.4	FAIL	15.74
ncf_4_32_4_d.6	FAIL	15.75
ncf_8_16_8_u.8	FAIL	15.76
ncf_4_32_8_edau.5	FAIL	15.76
ncf_8_16_8_edau.10	FAIL	15.76
ncf_8_32_8_d.1	FAIL	15.77
ncf_8_64_2_d.10	FAIL	15.77
ncf_8_64_4_u.1	FAIL	15.77
ncf_4_8_4_u.3	FAIL	15.78
ncf_16_128_4_edau.6	FAIL	15.78
ncf_16_128_4_edau.8	FAIL	15.79
ncf_16_128_2_edau.2	FAIL	15.79
ncf_16_32_8_euad.4	FAIL	15.8
ncf_4_16_8_u.7	FAIL	15.8
ncf_4_8_8_euad.8	FAIL	15.8
ncf_8_64_2_edau.1	FAIL	15.81
ncf_8_16_8_d.9	FAIL	15.82
ncf_8_32_4_d.6	FAIL	15.82
ncf_8_64_4_d.8	FAIL	15.82
ncf_8_32_8_d.2	FAIL	15.83
ncf_4_32_8_d.5	FAIL	15.83
ncf_8_64_8_u.2	FAIL	15.85
ncf_16_64_4_u.6	FAIL	15.86
ncf_8_64_8_u.4	FAIL	15.86
ncf_8_32_4_euad.10	FAIL	15.87
ncf_16_128_4_edau.4	FAIL	15.89
ncf_16_64_8_u.8	FAIL	15.89
ncf_4_8_8_d.7	FAIL	15.89
ncf_4_32_8_euad.7	FAIL	15.91
ncf_16_128_4_d.2	FAIL	15.91
ncf_4_32_4_d.9	FAIL	15.92
ncf_4_16_2_edau.1	FAIL	15.93
ncf_4_16_8_u.9	FAIL	15.94
ncf_16_64_2_u.8	FAIL	15.96
ncf_8_32_2_euad.9	FAIL	15.97
ncf_8_64_8_u.6	FAIL	15.97
ncf_4_16_4_u.10	FAIL	15.97
ncf_8_64_4_u.3	FAIL	15.97
ncf_16_64_8_d.3	FAIL	15.98
ncf_16_128_4_edau.7	FAIL	15.98
ncf_16_64_2_u.1	FAIL	15.98
ncf_4_16_4_d.6	FAIL	15.98
ncf_4_32_4_euad.5	FAIL	15.99
ncf_8_64_4_euad.4	FAIL	15.99
ncf_4_16_8_d.4	FAIL	15.99
ncf_8_32_8_edau.10	FAIL	15.99
ncf_16_64_8_edau.5	FAIL	16
ncf_8_32_4_d.7	FAIL	16
ncf_4_16_8_edau.8	FAIL	16
ncf_8_32_2_euad.3	FAIL	16.01
ncf_8_64_2_euad.6	FAIL	16.02
ncf_4_32_4_euad.1	FAIL	16.02
ncf_16_64_4_u.7	FAIL	16.03
ncf_16_32_4_edau.4	FAIL	16.03
ncf_8_64_8_edau.4	FAIL	16.04
ncf_8_32_2_u.4	FAIL	16.05
ncf_4_32_8_u.6	FAIL	16.05
ncf_16_64_2_u.10	FAIL	16.05
ncf_8_64_4_edau.9	FAIL	16.05
ncf_16_128_2_d.4	FAIL	16.06
ncf_8_64_2_u.4	FAIL	16.07
ncf_8_64_4_euad.10	FAIL	16.07
ncf_4_32_8_d.6	FAIL	16.08
ncf_4_32_8_u.8	FAIL	16.1
ncf_8_64_8_u.9	FAIL	16.11
ncf_8_64_8_u.5	FAIL	16.11
ncf_8_32_8_d.10	FAIL	16.11
ncf_16_64_4_euad.9	FAIL	16.12
ncf_16_64_8_u.2	FAIL	16.12
ncf_8_32_8_euad.1	FAIL	16.16
ncf_8_64_4_u.7	FAIL	16.16
ncf_16_32_4_d.8	FAIL	16.17
ncf_16_64_4_edau.8	FAIL	16.17
ncf_8_64_2_euad.5	FAIL	16.17
ncf_8_32_8_d.7	FAIL	16.19
ncf_8_64_4_d.4	FAIL	16.2
ncf_16_64_4_u.3	FAIL	16.24
ncf_4_16_8_edau.1	FAIL	16.24
ncf_4_32_4_euad.8	FAIL	16.26
ncf_4_8_8_u.4	FAIL	16.27
ncf_8_64_4_edau.8	FAIL	16.28
ncf_16_32_8_euad.8	FAIL	16.28
ncf_4_32_2_euad.9	FAIL	16.28
ncf_4_32_4_euad.7	FAIL	16.3
ncf_8_64_4_u.5	FAIL	16.33
ncf_8_64_8_d.2	FAIL	16.33
ncf_16_32_2_euad.10	FAIL	16.34
ncf_16_64_2_u.3	FAIL	16.34
ncf_4_32_4_euad.6	FAIL	16.35
ncf_8_64_2_edau.9	FAIL	16.35
ncf_8_16_8_euad.10	FAIL	16.36
ncf_16_64_2_u.5	FAIL	16.37
ncf_4_8_4_euad.4	FAIL	16.37
ncf_16_128_4_edau.9	FAIL	16.38
ncf_16_64_4_edau.5	FAIL	16.38
ncf_16_64_4_u.4	FAIL	16.38
ncf_16_64_2_u.4	FAIL	16.39
ncf_16_128_2_d.6	FAIL	16.39
ncf_8_32_8_d.8	FAIL	16.4
ncf_16_128_2_d.1	FAIL	16.41
ncf_16_64_4_u.5	FAIL	16.41
ncf_16_64_2_u.9	FAIL	16.41
ncf_16_128_4_edau.1	FAIL	16.44
ncf_16_64_8_d.7	FAIL	16.44
ncf_4_8_8_euad.10	FAIL	16.44
ncf_8_64_4_u.6	FAIL	16.46
ncf_16_128_8_edau.2	FAIL	16.46
ncf_16_64_4_u.2	FAIL	16.47
ncf_8_16_4_euad.6	FAIL	16.47
ncf_16_128_4_d.4	FAIL	16.49
ncf_8_16_4_euad.7	FAIL	16.54
ncf_4_16_8_euad.2	FAIL	16.56
ncf_8_32_2_euad.5	FAIL	16.56
ncf_16_128_4_d.9	FAIL	16.57
ncf_8_64_8_u.10	FAIL	16.58
ncf_16_64_8_edau.9	FAIL	16.58
ncf_4_8_4_euad.7	FAIL	16.61
ncf_4_32_8_d.7	FAIL	16.61
ncf_8_32_8_edau.5	FAIL	16.63
ncf_8_32_8_euad.5	FAIL	16.64
ncf_8_64_8_u.1	FAIL	16.64
ncf_16_64_2_euad.10	FAIL	16.64
ncf_8_32_4_d.10	FAIL	16.67
ncf_8_16_8_edau.5	FAIL	16.68
ncf_16_32_8_euad.7	FAIL	16.69
ncf_8_16_8_euad.7	FAIL	16.69
ncf_8_64_8_d.7	FAIL	16.7
ncf_16_64_4_u.8	FAIL	16.7
ncf_8_32_8_euad.3	FAIL	16.71
ncf_8_64_2_u.6	FAIL	16.72
ncf_16_64_4_d.3	FAIL	16.74
ncf_16_32_8_d.8	FAIL	16.75
ncf_16_64_8_u.7	FAIL	16.76
ncf_16_128_4_d.3	FAIL	16.77
ncf_8_16_8_d.10	FAIL	16.79
ncf_16_32_2_d.8	FAIL	16.79
ncf_16_32_8_edau.5	FAIL	16.8
ncf_16_64_4_d.5	FAIL	16.81
ncf_8_64_2_euad.4	FAIL	16.81
ncf_16_64_2_euad.5	FAIL	16.82
ncf_8_64_4_d.1	FAIL	16.83
ncf_4_32_8_euad.8	FAIL	16.84
ncf_16_128_4_d.6	FAIL	16.85
ncf_8_16_4_u.8	FAIL	16.85
ncf_16_32_8_euad.2	FAIL	16.85
ncf_16_64_8_edau.4	FAIL	16.85
ncf_8_32_8_u.9	FAIL	16.86
ncf_8_16_8_edau.7	FAIL	16.9
ncf_16_64_2_euad.8	FAIL	16.92
ncf_8_64_2_d.9	FAIL	16.93
ncf_8_32_4_euad.6	FAIL	16.93
ncf_8_64_8_u.3	FAIL	16.94
ncf_16_64_4_d.8	FAIL	16.94
ncf_4_32_8_u.5	FAIL	16.94
ncf_8_16_8_euad.6	FAIL	16.96
ncf_4_32_8_d.2	FAIL	16.97
ncf_4_32_8_euad.6	FAIL	17
ncf_8_32_2_euad.7	FAIL	17.05
ncf_8_32_4_euad.5	FAIL	17.06
ncf_16_64_4_d.9	FAIL	17.07
ncf_16_32_4_euad.7	FAIL	17.11
ncf_16_128_4_edau.5	FAIL	17.11
ncf_16_128_8_edau.5	FAIL	17.14
ncf_8_64_2_d.6	FAIL	17.17
ncf_8_64_2_u.3	FAIL	17.17
ncf_8_32_8_euad.6	FAIL	17.19
ncf_4_32_8_d.1	FAIL	17.19
ncf_16_64_2_euad.9	FAIL	17.19
ncf_16_32_8_euad.10	FAIL	17.2
ncf_8_64_4_euad.2	FAIL	17.2
ncf_8_32_4_euad.3	FAIL	17.22
ncf_4_16_2_u.3	FAIL	17.22
ncf_8_32_8_euad.9	FAIL	17.22
ncf_16_32_8_d.5	FAIL	17.23
ncf_8_32_8_euad.2	FAIL	17.24
ncf_16_128_8_edau.7	FAIL	17.24
ncf_16_128_8_edau.9	FAIL	17.29
ncf_8_32_8_euad.4	FAIL	17.32
ncf_16_64_4_d.7	FAIL	17.32
ncf_16_128_2_d.8	FAIL	17.35
ncf_16_64_2_u.6	FAIL	17.35
ncf_8_32_8_d.9	FAIL	17.37
ncf_16_32_4_edau.5	FAIL	17.38
ncf_16_64_8_edau.8	FAIL	17.38
ncf_16_32_8_d.2	FAIL	17.4
ncf_16_32_4_euad.4	FAIL	17.41
ncf_16_128_8_edau.4	FAIL	17.41
ncf_4_16_2_d.1	FAIL	17.42
ncf_16_64_8_u.6	FAIL	17.42
ncf_16_128_8_edau.10	FAIL	17.43
ncf_8_32_8_u.5	FAIL	17.44
ncf_16_64_4_edau.10	FAIL	17.46
ncf_16_64_4_euad.6	FAIL	17.46
ncf_4_16_2_euad.10	FAIL	17.48
ncf_16_32_8_d.10	FAIL	17.48
ncf_8_32_8_d.5	FAIL	17.49
ncf_4_32_8_euad.4	FAIL	17.49
ncf_16_32_4_d.2	FAIL	17.54
ncf_4_32_8_u.1	FAIL	17.55
ncf_16_64_8_d.1	FAIL	17.55
ncf_16_128_8_edau.6	FAIL	17.57
ncf_8_64_8_d.5	FAIL	17.57
ncf_16_64_4_edau.4	FAIL	17.58
ncf_8_64_2_euad.8	FAIL	17.58
ncf_4_32_4_d.5	FAIL	17.58
ncf_4_16_8_d.3	FAIL	17.59
ncf_16_64_8_edau.6	FAIL	17.59
ncf_16_64_2_euad.4	FAIL	17.6
ncf_16_64_2_d.8	FAIL	17.61
ncf_4_32_4_d.8	FAIL	17.63
ncf_4_32_2_edau.6	FAIL	17.64
ncf_8_16_8_edau.8	FAIL	17.65
ncf_4_16_8_d.2	FAIL	17.65
ncf_4_16_8_euad.3	FAIL	17.68
ncf_8_64_4_d.10	FAIL	17.69
ncf_16_64_4_d.6	FAIL	17.7
ncf_8_64_4_euad.7	FAIL	17.71
ncf_16_32_4_u.2	FAIL	17.73
ncf_4_32_8_euad.1	FAIL	17.73
ncf_4_32_8_euad.5	FAIL	17.76
ncf_16_64_4_euad.1	FAIL	17.77
ncf_8_32_2_edau.3	FAIL	17.77
ncf_16_64_4_d.2	FAIL	17.78
ncf_4_32_8_d.8	FAIL	17.78
ncf_4_8_8_euad.6	FAIL	17.78
ncf_16_128_2_u.7	FAIL	17.8
ncf_8_64_4_d.7	FAIL	17.8
ncf_4_32_8_euad.2	FAIL	17.82
ncf_16_128_2_d.3	FAIL	17.83
ncf_8_64_2_euad.9	FAIL	17.85
ncf_4_8_4_u.7	FAIL	17.85
ncf_8_64_2_euad.7	FAIL	17.92
ncf_8_64_4_euad.3	FAIL	17.93
ncf_16_32_4_edau.2	FAIL	17.93
ncf_16_64_4_euad.4	FAIL	17.95
ncf_8_16_4_d.4	FAIL	17.99
ncf_4_16_2_u.1	FAIL	18.01
ncf_4_8_4_d.4	FAIL	18.03
ncf_8_64_2_d.4	FAIL	18.1
ncf_16_64_4_euad.10	FAIL	18.11
ncf_16_128_4_d.1	FAIL	18.15
ncf_16_128_4_u.5	FAIL	18.15
ncf_16_64_8_u.5	FAIL	18.15
ncf_8_64_4_euad.5	FAIL	18.16
ncf_4_16_8_d.5	FAIL	18.17
ncf_16_128_4_d.10	FAIL	18.17
ncf_16_32_2_euad.6	FAIL	18.17
ncf_16_64_8_edau.2	FAIL	18.17
ncf_8_64_2_d.7	FAIL	18.18
ncf_16_32_2_edau.5	FAIL	18.2
ncf_8_16_8_d.5	FAIL	18.2
ncf_16_128_2_d.5	FAIL	18.2
ncf_8_32_8_edau.8	FAIL	18.23
ncf_8_64_4_euad.8	FAIL	18.23
ncf_8_64_2_d.1	FAIL	18.25
ncf_16_128_2_u.5	FAIL	18.28
ncf_16_32_2_edau.10	FAIL	18.29
ncf_8_64_4_u.8	FAIL	18.3
ncf_8_16_2_u.7	FAIL	18.36
ncf_16_32_8_euad.9	FAIL	18.37
ncf_4_16_2_euad.1	FAIL	18.37
ncf_8_16_2_euad.7	FAIL	18.4
ncf_4_16_2_euad.3	FAIL	18.45
ncf_16_32_2_u.1	FAIL	18.46
ncf_8_64_8_euad.6	FAIL	18.53
ncf_8_16_4_edau.4	FAIL	18.56
ncf_8_64_8_u.7	FAIL	18.57
ncf_8_64_2_euad.3	FAIL	18.58
ncf_16_64_4_u.9	FAIL	18.58
ncf_16_32_8_euad.5	FAIL	18.59
ncf_16_64_8_d.6	FAIL	18.62
ncf_8_16_2_u.1	FAIL	18.73
ncf_16_128_2_u.9	FAIL	18.74
ncf_8_32_8_d.3	FAIL	18.74
ncf_8_64_8_u.8	FAIL	18.78
ncf_16_32_2_d.10	FAIL	18.84
ncf_8_64_4_euad.9	FAIL	18.85
ncf_16_64_8_u.10	FAIL	18.9
ncf_4_32_2_euad.5	FAIL	18.95
ncf_8_64_4_euad.6	FAIL	18.95
ncf_16_128_8_d.5	FAIL	18.98
ncf_16_64_8_euad.7	FAIL	18.99
ncf_16_64_4_euad.2	FAIL	18.99
ncf_16_128_2_u.2	FAIL	19
ncf_16_64_4_euad.7	FAIL	19.02
ncf_8_16_8_euad.5	FAIL	19.05
ncf_8_32_8_euad.8	FAIL	19.06
ncf_16_32_8_euad.6	FAIL	19.09
ncf_16_32_8_d.1	FAIL	19.09
ncf_4_16_8_edau.10	FAIL	19.1
ncf_8_16_8_edau.3	FAIL	19.1
ncf_16_32_8_d.7	FAIL	19.11
ncf_8_32_8_edau.3	FAIL	19.14
ncf_16_128_4_edau.10	FAIL	19.18
ncf_16_128_8_edau.8	FAIL	19.2
ncf_8_32_8_edau.1	FAIL	19.2
ncf_16_128_8_u.6	FAIL	19.21
ncf_8_64_4_euad.1	FAIL	19.23
ncf_16_64_4_euad.8	FAIL	19.25
ncf_4_8_4_u.4	FAIL	19.31
ncf_16_64_4_euad.3	FAIL	19.37
ncf_16_32_8_edau.6	FAIL	19.4
ncf_8_64_8_euad.2	FAIL	19.43
ncf_16_128_8_u.5	FAIL	19.49
ncf_16_64_8_u.1	FAIL	19.52
ncf_16_32_8_d.9	FAIL	19.53
ncf_8_16_8_d.3	FAIL	19.58
ncf_16_128_2_u.6	FAIL	19.6
ncf_16_128_2_euad.2	FAIL	19.62
ncf_16_128_8_u.4	FAIL	19.67
ncf_16_128_8_d.7	FAIL	19.67
ncf_16_64_8_u.3	FAIL	19.68
ncf_4_16_8_u.10	FAIL	19.78
ncf_8_16_8_d.7	FAIL	19.79
ncf_8_64_2_euad.2	FAIL	19.89
ncf_16_64_4_euad.5	FAIL	19.89
ncf_16_128_2_u.8	FAIL	19.89
ncf_16_128_4_u.7	FAIL	19.92
ncf_16_128_8_u.10	FAIL	19.97
ncf_8_64_8_d.8	FAIL	19.97
ncf_16_64_2_euad.7	FAIL	19.98
ncf_8_64_8_d.1	FAIL	20
ncf_16_128_4_d.7	FAIL	20.07
ncf_8_64_8_d.4	FAIL	20.07
ncf_16_64_2_euad.6	FAIL	20.09
ncf_16_64_8_u.9	FAIL	20.11
ncf_16_32_8_euad.1	FAIL	20.14
ncf_16_64_8_d.8	FAIL	20.22
ncf_16_128_2_u.3	FAIL	20.22
ncf_16_128_2_u.4	FAIL	20.24
ncf_16_32_8_edau.10	FAIL	20.33
ncf_8_32_8_euad.10	FAIL	20.34
ncf_16_64_8_euad.1	FAIL	20.35
ncf_8_64_8_d.10	FAIL	20.38
ncf_16_128_4_euad.4	FAIL	20.39
ncf_16_64_8_euad.6	FAIL	20.41
ncf_16_128_4_euad.7	FAIL	20.45
ncf_4_16_8_d.8	FAIL	20.46
ncf_8_16_4_u.6	FAIL	20.47
ncf_16_64_2_euad.2	FAIL	20.61
ncf_16_32_4_edau.8	FAIL	20.63
ncf_16_128_2_u.10	FAIL	20.65
ncf_8_64_8_euad.10	FAIL	20.67
ncf_4_32_8_d.9	FAIL	20.68
ncf_16_128_2_u.1	FAIL	20.68
ncf_16_32_2_edau.8	FAIL	20.71
ncf_16_128_2_euad.9	FAIL	20.84
ncf_16_128_2_euad.7	FAIL	20.87
ncf_4_16_2_u.10	FAIL	20.87
ncf_16_128_4_euad.3	FAIL	20.94
ncf_16_128_4_euad.2	FAIL	20.98
ncf_4_16_4_d.3	FAIL	21
ncf_8_64_8_d.9	FAIL	21.08
ncf_4_8_8_euad.4	FAIL	21.1
ncf_8_64_2_d.2	FAIL	21.16
ncf_8_64_8_euad.7	FAIL	21.22
ncf_16_32_8_d.6	FAIL	21.22
ncf_16_128_4_u.10	FAIL	21.25
ncf_16_32_2_d.5	FAIL	21.28
ncf_8_64_2_euad.10	FAIL	21.28
ncf_16_128_4_u.2	FAIL	21.33
ncf_16_64_8_d.4	FAIL	21.37
ncf_16_64_8_euad.10	FAIL	21.47
ncf_16_128_4_euad.8	FAIL	21.56
ncf_8_64_8_euad.3	FAIL	21.77
ncf_16_64_8_d.9	FAIL	21.79
ncf_16_128_8_u.3	FAIL	21.81
ncf_8_16_8_euad.8	FAIL	21.96
ncf_8_64_2_euad.1	FAIL	21.96
ncf_16_128_4_u.3	FAIL	21.99
ncf_16_64_8_d.5	FAIL	22.17
ncf_8_64_8_euad.5	FAIL	22.31
ncf_8_64_8_euad.8	FAIL	22.43
ncf_16_128_4_u.8	FAIL	22.51
ncf_4_32_8_euad.10	FAIL	22.63
ncf_16_128_8_u.7	FAIL	22.74
ncf_8_64_8_euad.4	FAIL	22.74
ncf_16_128_2_euad.4	FAIL	22.81
ncf_8_64_8_euad.9	FAIL	22.82
ncf_16_128_4_u.4	FAIL	22.89
ncf_8_16_8_d.8	FAIL	22.98
ncf_16_128_4_u.6	FAIL	23.01
ncf_4_32_8_euad.9	FAIL	23.03
ncf_16_128_8_u.2	FAIL	23.14
ncf_8_16_8_u.6	FAIL	23.2
ncf_4_16_2_edau.10	FAIL	23.22
ncf_8_64_8_euad.1	FAIL	23.25
ncf_16_64_8_d.10	FAIL	23.27
ncf_8_64_8_d.6	FAIL	23.27
ncf_16_128_8_d.8	FAIL	23.29
ncf_16_128_8_d.9	FAIL	23.4
ncf_16_128_8_u.9	FAIL	23.43
ncf_16_128_4_euad.5	FAIL	23.51
ncf_16_128_8_d.4	FAIL	23.67
ncf_16_128_8_d.10	FAIL	23.67
ncf_16_128_8_d.1	FAIL	23.73
ncf_16_128_4_u.1	FAIL	23.82
ncf_16_64_8_euad.8	FAIL	23.85
ncf_16_128_2_euad.1	FAIL	23.88
ncf_16_128_2_euad.10	FAIL	23.99
ncf_16_128_4_u.9	FAIL	24.05
ncf_8_64_8_d.3	FAIL	24.23
ncf_4_8_8_euad.2	FAIL	24.24
ncf_16_64_8_euad.3	FAIL	24.32
ncf_4_16_2_euad.8	FAIL	24.34
ncf_16_64_8_euad.5	FAIL	24.38
ncf_16_128_4_euad.10	FAIL	24.45
ncf_16_128_4_euad.1	FAIL	24.61
ncf_16_64_8_euad.9	FAIL	24.62
ncf_16_128_4_euad.9	FAIL	24.65
ncf_8_32_2_d.3	FAIL	24.74
ncf_16_128_8_u.1	FAIL	24.79
ncf_16_128_4_euad.6	FAIL	24.83
ncf_16_128_8_u.8	FAIL	25.08
ncf_4_16_2_u.8	FAIL	25.12
ncf_4_8_4_u.1	FAIL	25.28
ncf_16_128_8_d.6	FAIL	25.33
ncf_16_128_2_euad.5	FAIL	25.34
ncf_16_64_8_euad.4	FAIL	25.71
ncf_8_16_8_d.6	FAIL	26.08
ncf_16_128_2_euad.8	FAIL	26.19
ncf_16_128_8_euad.5	FAIL	26.2
ncf_16_32_8_d.3	FAIL	26.35
ncf_4_8_8_u.5	FAIL	26.49
ncf_16_128_2_euad.3	FAIL	26.73
ncf_16_64_8_euad.2	FAIL	26.8
ncf_16_128_2_euad.6	FAIL	27.09
ncf_4_16_2_d.8	FAIL	27.96
ncf_4_16_8_euad.4	FAIL	28
ncf_16_128_8_d.3	FAIL	28.33
ncf_4_32_2_u.1	FAIL	29.15
ncf_16_64_8_d.2	FAIL	29.34
ncf_16_128_8_d.2	FAIL	29.41
ncf_16_128_8_euad.2	FAIL	30.48
ncf_4_16_2_d.10	FAIL	30.64
ncf_16_128_8_euad.10	FAIL	30.86
ncf_16_128_8_euad.7	FAIL	30.91
ncf_16_128_8_euad.8	FAIL	31.36
ncf_16_32_2_d.3	FAIL	31.78
ncf_16_32_2_u.7	UNSAT	32.83
ncf_16_128_8_euad.6	FAIL	33.35
ncf_16_32_2_edau.3	FAIL	33.85
ncf_16_128_8_euad.1	FAIL	34.41
ncf_16_128_8_euad.9	FAIL	34.48
ncf_16_128_8_euad.3	FAIL	37.76
ncf_4_8_8_euad.1	SAT	40.17
ncf_16_128_8_euad.4	FAIL	40.37
ncf_4_16_8_edau.7	SAT	40.57
ncf_4_8_8_d.2	FAIL	46.55
ncf_4_8_8_euad.5	FAIL	87.25
ncf_4_8_8_d.4	FAIL	157.79
ncf_4_16_2_u.7	SAT	218.7
ncf_4_32_2_edau.2	SAT	243.72
ncf_4_8_2_euad.3	FAIL	257.72
ncf_4_16_2_euad.7	SAT	669.99
ncf_4_16_8_d.7	FAIL	830.97
ncf_4_32_2_euad.1	FAIL	900.44

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by QUANTOR
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by QUANTOR QBFEVAL'05

Instances of family CounterFactual solved by QUANTOR
QBFEVAL'05