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

Instances of family CounterFactual solved by semprop
QBFEVAL'05

Instance	Result	Time
ncf_8_16_2_edau.8	UNSAT	0
ncf_4_8_2_u.5	SAT	0
ncf_8_16_4_euad.5	UNSAT	0
ncf_4_16_2_d.6	SAT	0
ncf_4_16_2_edau.9	SAT	0
ncf_4_8_2_euad.4	UNSAT	0
ncf_8_16_2_u.7	SAT	0
ncf_4_8_2_euad.5	SAT	0
ncf_4_8_4_edau.9	SAT	0
ncf_16_32_2_euad.9	UNSAT	0
ncf_4_16_2_d.9	SAT	0
ncf_8_16_4_euad.2	UNSAT	0
ncf_8_16_2_euad.8	UNSAT	0
ncf_4_8_2_euad.10	SAT	0
ncf_4_8_2_u.2	SAT	0
ncf_4_8_2_edau.4	UNSAT	0
ncf_4_8_2_edau.5	SAT	0
ncf_4_8_2_euad.8	SAT	0
ncf_4_8_2_d.1	UNSAT	0
ncf_8_16_2_edau.7	SAT	0
ncf_8_16_2_d.3	UNSAT	0
ncf_8_16_4_edau.5	UNSAT	0
ncf_4_8_8_euad.9	UNSAT	0
ncf_4_8_2_u.9	SAT	0
ncf_16_32_2_d.9	UNSAT	0
ncf_8_16_4_u.1	SAT	0
ncf_16_32_2_u.9	UNSAT	0
ncf_4_16_2_u.6	SAT	0
ncf_8_16_2_u.8	UNSAT	0
ncf_16_64_2_u.1	SAT	0
ncf_4_8_2_d.9	SAT	0
ncf_4_8_2_u.4	UNSAT	0
ncf_4_8_2_edau.10	SAT	0
ncf_8_16_4_edau.1	SAT	0
ncf_4_8_8_d.9	UNSAT	0
ncf_4_8_2_u.1	UNSAT	0
ncf_4_8_2_u.10	SAT	0
ncf_16_32_2_u.6	SAT	0
ncf_4_8_2_d.5	SAT	0
ncf_8_16_2_euad.2	UNSAT	0
ncf_4_8_4_euad.9	SAT	0
ncf_4_8_2_d.10	SAT	0.01
ncf_16_32_2_d.7	UNSAT	0.01
ncf_8_16_2_d.5	UNSAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
ncf_8_16_8_d.1	SAT	0.01
ncf_8_16_2_d.2	UNSAT	0.01
ncf_4_8_4_d.2	UNSAT	0.01
ncf_4_16_2_u.7	SAT	0.01
ncf_8_16_4_euad.1	SAT	0.01
ncf_4_8_2_edau.1	UNSAT	0.01
ncf_4_8_2_d.7	UNSAT	0.01
ncf_4_8_2_edau.7	UNSAT	0.01
ncf_8_16_2_u.9	UNSAT	0.01
ncf_8_16_2_u.1	SAT	0.01
ncf_8_16_2_d.9	UNSAT	0.01
ncf_8_16_4_d.2	UNSAT	0.01
ncf_8_16_4_u.2	UNSAT	0.01
ncf_8_16_4_d.1	SAT	0.01
ncf_4_8_4_u.6	SAT	0.01
ncf_8_16_2_edau.5	UNSAT	0.01
ncf_4_16_2_euad.6	SAT	0.01
ncf_4_8_8_u.4	SAT	0.01
ncf_4_8_8_edau.9	UNSAT	0.01
ncf_4_8_2_d.8	SAT	0.01
ncf_4_8_2_euad.7	UNSAT	0.01
ncf_16_32_2_edau.9	UNSAT	0.01
ncf_8_16_2_edau.9	UNSAT	0.01
ncf_4_8_4_u.9	SAT	0.01
ncf_4_8_4_edau.8	UNSAT	0.01
ncf_4_8_4_u.2	UNSAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
ncf_16_64_2_edau.1	SAT	0.01
ncf_8_16_2_edau.3	UNSAT	0.01
ncf_8_16_2_euad.3	UNSAT	0.01
ncf_4_8_8_u.9	UNSAT	0.01
ncf_8_16_2_d.8	UNSAT	0.01
ncf_8_16_4_d.5	UNSAT	0.01
ncf_4_8_2_d.4	UNSAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
ncf_4_8_4_edau.6	SAT	0.01
ncf_4_8_2_edau.9	SAT	0.01
ncf_4_8_2_edau.2	SAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
ncf_4_8_2_u.7	UNSAT	0.01
ncf_4_8_4_d.9	SAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
ncf_4_8_4_edau.5	SAT	0.02
ncf_4_8_8_d.4	SAT	0.02
ncf_8_16_2_euad.9	UNSAT	0.02
ncf_4_16_4_u.9	SAT	0.02
ncf_4_8_8_edau.4	SAT	0.02
ncf_4_16_2_edau.7	SAT	0.02
ncf_4_16_4_edau.9	SAT	0.02
ncf_8_16_2_edau.1	SAT	0.02
ncf_4_32_2_edau.9	UNSAT	0.02
ncf_4_8_2_edau.8	SAT	0.02
ncf_8_16_8_u.1	SAT	0.02
ncf_4_16_2_euad.9	SAT	0.02
ncf_8_16_2_u.2	UNSAT	0.02
ncf_8_16_4_edau.8	UNSAT	0.02
ncf_16_32_2_edau.6	SAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
ncf_8_16_2_edau.2	UNSAT	0.02
ncf_4_8_2_u.8	SAT	0.02
ncf_8_16_2_edau.6	UNSAT	0.02
ncf_8_16_4_edau.2	UNSAT	0.02
ncf_4_8_4_u.8	UNSAT	0.02
ncf_4_8_4_euad.2	UNSAT	0.02
ncf_4_16_2_u.9	SAT	0.02
ncf_4_32_2_u.2	SAT	0.02
ncf_4_8_4_edau.2	UNSAT	0.02
ncf_4_8_2_euad.6	SAT	0.03
ncf_16_32_2_euad.7	UNSAT	0.03
ncf_4_8_8_euad.4	SAT	0.03
ncf_4_8_4_euad.8	UNSAT	0.03
ncf_4_8_4_d.10	SAT	0.03
ncf_8_16_4_u.8	UNSAT	0.03
ncf_8_16_4_d.6	UNSAT	0.03
ncf_4_8_4_edau.10	SAT	0.03
ncf_8_16_8_edau.1	SAT	0.03
ncf_8_16_8_euad.1	SAT	0.03
ncf_4_8_2_d.6	SAT	0.03
ncf_8_16_4_euad.6	UNSAT	0.03
ncf_8_16_2_u.6	UNSAT	0.03
ncf_8_16_4_edau.6	UNSAT	0.03
ncf_4_8_2_d.2	SAT	0.03
ncf_8_16_2_u.5	UNSAT	0.04
ncf_4_8_4_euad.1	SAT	0.04
ncf_4_8_4_edau.1	SAT	0.04
ncf_8_16_4_euad.8	UNSAT	0.04
ncf_4_8_4_edau.3	UNSAT	0.04
ncf_16_32_2_edau.7	UNSAT	0.04
ncf_8_16_4_u.6	UNSAT	0.04
ncf_4_8_2_u.6	SAT	0.04
ncf_16_32_2_u.7	UNSAT	0.04
ncf_8_16_2_euad.6	UNSAT	0.04
ncf_8_16_2_edau.10	SAT	0.04
ncf_4_8_4_d.8	UNSAT	0.05
ncf_4_8_2_edau.3	UNSAT	0.05
ncf_4_8_4_d.4	UNSAT	0.05
ncf_8_16_2_d.6	UNSAT	0.05
ncf_4_8_4_d.3	UNSAT	0.06
ncf_4_8_8_edau.1	SAT	0.06
ncf_4_8_4_d.1	SAT	0.06
ncf_4_8_4_u.3	UNSAT	0.06
ncf_4_16_4_d.9	SAT	0.06
ncf_4_16_4_edau.6	UNSAT	0.06
ncf_4_16_2_d.7	SAT	0.06
ncf_8_16_2_u.10	SAT	0.06
ncf_4_8_2_d.3	UNSAT	0.06
ncf_4_8_2_u.3	UNSAT	0.06
ncf_8_16_2_edau.4	SAT	0.07
ncf_4_8_4_euad.3	UNSAT	0.07
ncf_8_16_2_euad.5	UNSAT	0.07
ncf_4_8_4_u.10	SAT	0.07
ncf_8_16_2_u.4	SAT	0.08
ncf_4_8_2_edau.6	SAT	0.08
ncf_4_8_2_euad.3	UNSAT	0.09
ncf_4_8_4_euad.10	SAT	0.09
ncf_4_8_4_edau.4	UNSAT	0.09
ncf_4_32_2_u.9	UNSAT	0.11
ncf_4_16_4_euad.9	SAT	0.11
ncf_4_8_4_euad.6	SAT	0.11
ncf_4_8_4_d.6	SAT	0.11
ncf_4_8_4_euad.5	SAT	0.12
ncf_8_16_2_d.1	SAT	0.12
ncf_4_8_4_euad.4	UNSAT	0.12
ncf_4_8_4_u.1	SAT	0.13
ncf_4_8_4_u.5	SAT	0.13
ncf_4_8_4_d.5	SAT	0.14
ncf_4_8_2_euad.2	SAT	0.15
ncf_8_16_2_d.10	SAT	0.16
ncf_4_16_2_euad.7	SAT	0.16
ncf_8_16_8_edau.7	UNSAT	0.18
ncf_8_16_4_edau.7	SAT	0.18
ncf_4_8_4_edau.7	UNSAT	0.19
ncf_4_16_2_u.2	SAT	0.2
ncf_8_16_4_u.3	SAT	0.2
ncf_4_8_8_u.1	SAT	0.21
ncf_4_16_4_edau.5	SAT	0.22
ncf_4_32_2_u.8	SAT	0.23
ncf_4_16_2_edau.2	SAT	0.23
ncf_8_16_4_u.7	SAT	0.24
ncf_8_16_2_d.7	SAT	0.24
ncf_8_16_4_edau.10	SAT	0.24
ncf_8_16_4_u.10	SAT	0.25
ncf_8_16_8_u.7	UNSAT	0.25
ncf_4_8_4_u.7	UNSAT	0.25
ncf_4_16_4_u.5	SAT	0.26
ncf_4_16_2_d.2	SAT	0.26
ncf_4_16_2_euad.2	SAT	0.27
ncf_4_32_2_edau.8	SAT	0.31
ncf_4_8_4_u.4	UNSAT	0.32
ncf_4_16_2_d.4	SAT	0.33
ncf_4_8_4_euad.7	UNSAT	0.34
ncf_4_16_2_edau.10	UNSAT	0.34
ncf_8_16_2_euad.10	SAT	0.35
ncf_4_16_2_d.10	UNSAT	0.36
ncf_4_16_4_euad.5	SAT	0.39
ncf_4_16_2_euad.4	SAT	0.4
ncf_4_16_4_edau.4	UNSAT	0.42
ncf_8_16_2_euad.7	SAT	0.43
ncf_8_16_2_euad.1	SAT	0.44
ncf_4_8_8_edau.8	SAT	0.47
ncf_8_16_8_edau.8	UNSAT	0.48
ncf_4_16_2_u.4	SAT	0.49
ncf_4_16_2_edau.4	SAT	0.5
ncf_8_16_4_edau.3	SAT	0.5
ncf_4_8_4_d.7	UNSAT	0.52
ncf_4_16_2_edau.8	SAT	0.53
ncf_8_16_4_d.10	SAT	0.6
ncf_4_16_2_edau.3	FAIL	0.64
ncf_4_8_8_d.1	SAT	0.66
ncf_4_16_4_u.6	UNSAT	0.66
ncf_4_8_8_u.8	SAT	0.67
ncf_8_16_2_euad.4	SAT	0.67
ncf_4_8_8_euad.1	SAT	0.67
ncf_8_16_4_euad.10	SAT	0.69
ncf_4_8_8_euad.8	SAT	0.71
ncf_8_16_8_u.8	UNSAT	0.76
ncf_4_16_2_euad.1	FAIL	0.76
ncf_4_8_8_edau.10	SAT	0.78
ncf_4_16_2_d.1	FAIL	0.86
ncf_4_16_2_edau.1	UNSAT	0.86
ncf_4_16_2_d.5	FAIL	0.86
ncf_16_32_4_edau.10	UNSAT	0.87
ncf_4_16_2_d.8	SAT	0.88
ncf_4_16_2_euad.8	FAIL	0.88
ncf_4_16_4_edau.10	UNSAT	0.92
ncf_4_16_2_euad.5	FAIL	0.98
ncf_4_32_2_edau.2	SAT	0.99
ncf_4_16_2_u.10	UNSAT	1
ncf_4_16_4_edau.7	SAT	1
ncf_8_16_2_d.4	SAT	1.07
ncf_4_8_8_euad.3	SAT	1.08
ncf_4_16_2_u.1	UNSAT	1.13
ncf_4_16_4_d.5	SAT	1.18
ncf_4_16_2_u.8	FAIL	1.25
ncf_4_16_4_euad.1	SAT	1.35
ncf_4_8_8_d.8	SAT	1.36
ncf_4_16_4_d.1	SAT	1.39
ncf_4_16_2_u.5	UNSAT	1.41
ncf_4_16_2_euad.10	FAIL	1.43
ncf_4_32_2_edau.10	SAT	1.46
ncf_4_16_2_euad.3	FAIL	1.47
ncf_8_16_8_edau.6	UNSAT	1.5
ncf_4_16_2_d.3	UNSAT	1.54
ncf_4_16_4_u.8	SAT	1.57
ncf_4_8_8_u.10	SAT	1.72
ncf_4_16_2_edau.5	UNSAT	1.87
ncf_4_16_4_edau.8	SAT	2.01
ncf_8_16_8_u.6	UNSAT	2.2
ncf_16_32_4_u.10	UNSAT	2.26
ncf_4_16_4_d.6	UNSAT	2.26
ncf_4_16_4_euad.8	SAT	2.52
ncf_4_8_8_d.3	SAT	2.53
ncf_8_16_8_euad.7	UNSAT	2.67
ncf_4_16_4_d.7	SAT	2.79
ncf_8_16_8_d.7	UNSAT	2.99
ncf_4_32_2_u.10	SAT	3.01
ncf_4_16_4_u.4	UNSAT	3.22
ncf_4_16_4_d.8	SAT	3.46
ncf_4_8_8_d.2	UNSAT	4.32
ncf_8_16_8_euad.8	UNSAT	4.41
ncf_8_32_2_edau.3	UNSAT	4.55
ncf_4_32_2_euad.2	SAT	5.38
ncf_4_16_4_d.10	UNSAT	5.67
ncf_4_32_4_edau.2	SAT	5.82
ncf_4_8_8_euad.7	SAT	6.18
ncf_4_16_4_u.10	UNSAT	6.29
ncf_8_16_8_d.8	UNSAT	6.4
ncf_16_32_2_u.10	UNSAT	6.4
ncf_4_16_4_edau.1	SAT	6.79
ncf_4_8_8_u.3	SAT	6.85
ncf_4_16_4_u.1	SAT	7
ncf_4_32_2_edau.7	SAT	7.31
ncf_4_8_8_edau.6	UNSAT	7.85
ncf_4_8_8_d.7	SAT	7.87
ncf_8_32_2_edau.6	UNSAT	7.93
ncf_16_32_8_euad.3	SAT	8.09
ncf_4_16_2_u.3	FAIL	8.34
ncf_4_16_4_u.7	SAT	8.81
ncf_4_8_8_euad.5	UNSAT	8.99
ncf_16_32_2_edau.10	UNSAT	9.54
ncf_4_8_8_edau.7	SAT	9.81
ncf_4_8_8_d.5	UNSAT	9.86
ncf_8_16_8_d.9	UNSAT	11.4
ncf_4_8_8_d.10	SAT	11.77
ncf_8_16_4_d.7	SAT	13.48
ncf_4_8_8_edau.3	SAT	13.73
ncf_8_16_4_euad.7	SAT	14.38
ncf_4_16_4_d.4	UNSAT	14.7
ncf_8_16_4_d.3	SAT	14.71
ncf_4_16_8_edau.9	SAT	17.25
ncf_4_16_4_euad.2	SAT	17.45
ncf_4_16_4_edau.2	SAT	18.27
ncf_16_32_2_u.2	UNSAT	18.69
ncf_4_8_8_u.5	UNSAT	19.23
ncf_4_32_2_d.2	SAT	20.27
ncf_4_16_4_d.3	SAT	21.23
ncf_4_8_8_euad.10	SAT	21.42
ncf_8_16_4_euad.3	SAT	21.79
ncf_8_16_4_euad.4	SAT	21.99
ncf_8_16_4_d.4	SAT	24.06
ncf_16_32_2_u.4	UNSAT	26.25
ncf_4_16_4_euad.7	SAT	28.73
ncf_4_8_8_d.6	UNSAT	30.89
ncf_16_32_8_d.3	SAT	33.4
ncf_16_32_2_d.2	UNSAT	33.44
ncf_4_16_4_euad.10	UNSAT	33.71
ncf_4_16_8_d.5	UNSAT	33.74
ncf_8_16_8_euad.9	UNSAT	35.4
ncf_8_16_4_edau.9	UNSAT	35.42
ncf_4_8_8_euad.2	UNSAT	35.74
ncf_4_16_8_euad.7	SAT	36.46
ncf_4_16_8_euad.9	SAT	36.9
ncf_8_16_4_d.9	UNSAT	37.19
ncf_4_32_4_u.2	SAT	37.65
ncf_8_16_8_edau.9	UNSAT	41.19
ncf_4_16_8_u.9	SAT	43.6
ncf_16_32_4_u.9	SAT	44.14
ncf_16_32_2_edau.4	UNSAT	44.61
ncf_4_16_4_d.2	SAT	52.83
ncf_4_8_8_edau.5	UNSAT	56.93
ncf_4_32_2_u.7	SAT	57.94
ncf_16_32_4_edau.9	SAT	58.16
ncf_4_16_8_d.9	SAT	74.84
ncf_16_32_8_u.3	SAT	75.33
ncf_16_32_8_edau.4	SAT	78.42
ncf_4_16_4_euad.4	UNSAT	84.42
ncf_4_16_8_d.8	UNSAT	87.56
ncf_4_16_8_edau.3	SAT	87.88
ncf_16_32_8_edau.3	SAT	88.25
ncf_4_16_8_edau.8	UNSAT	89.42
ncf_4_16_4_euad.3	SAT	90.09
ncf_8_16_8_d.2	SAT	96.46
ncf_8_16_8_u.9	UNSAT	100.68
ncf_4_32_2_edau.6	UNSAT	101.51
ncf_4_16_8_d.10	SAT	101.63
ncf_16_32_2_edau.2	UNSAT	122.51
ncf_8_16_4_edau.4	SAT	124.53
ncf_8_16_8_d.6	UNSAT	125.78
ncf_4_8_8_u.7	SAT	127.04
ncf_8_16_4_u.4	SAT	130.31
ncf_4_32_4_u.5	SAT	131.81
ncf_8_16_8_d.4	UNSAT	134.73
ncf_4_8_8_euad.6	UNSAT	137.57
ncf_16_32_8_u.4	SAT	146
ncf_16_32_4_d.10	UNSAT	147.46
ncf_8_16_8_euad.6	UNSAT	152.13
ncf_8_16_4_euad.9	UNSAT	152.65
ncf_4_32_4_edau.5	SAT	157.07
ncf_4_8_8_edau.2	UNSAT	159.78
ncf_4_16_8_edau.4	SAT	160.3
ncf_16_32_4_euad.10	UNSAT	162.28
ncf_4_16_8_euad.10	SAT	163.94
ncf_4_16_8_euad.2	SAT	170.51
ncf_4_16_8_euad.8	UNSAT	180.13
ncf_4_32_2_euad.4	UNSAT	181.46
ncf_4_32_2_d.4	UNSAT	182.36
ncf_4_16_8_u.4	SAT	189.72
ncf_4_16_8_d.7	SAT	193.31
ncf_4_16_8_euad.4	SAT	212.34
ncf_8_32_2_u.3	UNSAT	214.27
ncf_4_16_4_euad.6	UNSAT	221.03
ncf_16_32_4_d.7	UNSAT	229.87
ncf_16_32_2_u.3	SAT	240.52
ncf_8_16_4_u.9	UNSAT	242.26
ncf_8_16_8_edau.4	UNSAT	246.18
ncf_16_32_2_d.6	SAT	247.24
ncf_4_32_2_edau.4	UNSAT	251.3
ncf_4_8_8_u.6	UNSAT	254.11
ncf_16_32_2_d.10	UNSAT	279.95
ncf_4_16_8_d.2	SAT	280
ncf_16_32_2_edau.3	SAT	283.11
ncf_16_32_8_euad.4	SAT	333.44
ncf_4_8_8_u.2	UNSAT	347.91
ncf_16_32_4_euad.9	SAT	351.96
ncf_8_16_8_edau.5	SAT	353.87
ncf_8_16_8_d.5	SAT	355.63
ncf_4_32_2_u.6	UNSAT	357.93
ncf_4_32_2_edau.5	UNSAT	377.07
ncf_8_16_8_euad.2	SAT	409.31
ncf_16_32_2_euad.2	UNSAT	452.1
ncf_8_16_8_euad.3	SAT	501.88
ncf_4_16_4_u.2	SAT	507.8
ncf_4_16_8_euad.6	SAT	516.32
ncf_16_32_4_edau.8	SAT	539.56
ncf_8_16_8_euad.5	SAT	541.26
ncf_16_32_4_d.9	SAT	578
ncf_16_32_4_euad.8	SAT	630.25
ncf_4_16_8_d.6	SAT	677.68
ncf_4_16_8_edau.2	SAT	684.34
ncf_8_16_8_edau.2	SAT	715.5
ncf_4_32_2_d.6	UNSAT	719.58
ncf_4_16_8_u.3	SAT	739.88
ncf_4_32_2_u.5	UNSAT	791.96
ncf_16_32_4_euad.7	UNSAT	799.74
ncf_4_16_8_d.4	SAT	854.69
ncf_8_16_8_u.2	SAT	861.59
ncf_16_32_4_u.8	SAT	866.96
ncf_16_32_8_d.4	SAT	881.88
ncf_16_64_8_edau.1	FAIL	898.45
ncf_8_32_2_edau.5	FAIL	898.54
ncf_16_64_8_d.2	FAIL	898.72
ncf_4_32_4_edau.1	FAIL	900.21
ncf_8_64_8_u.10	FAIL	900.64
ncf_16_128_4_euad.7	FAIL	900.87
ncf_8_64_8_euad.9	FAIL	900.96
ncf_8_64_4_u.7	FAIL	900.96
ncf_16_128_8_u.8	FAIL	900.97
ncf_4_32_8_euad.7	FAIL	900.97
ncf_16_128_2_edau.5	FAIL	900.97
ncf_16_128_8_d.4	FAIL	900.97
ncf_16_32_4_euad.2	FAIL	900.97
ncf_16_128_8_d.2	FAIL	900.97
ncf_16_32_4_euad.6	FAIL	900.97
ncf_16_128_4_u.2	FAIL	900.97
ncf_16_128_2_euad.4	FAIL	900.97
ncf_16_64_4_d.1	FAIL	900.97
ncf_16_64_4_edau.8	FAIL	900.97
ncf_8_64_8_edau.1	FAIL	900.97
ncf_16_128_8_edau.4	FAIL	900.97
ncf_8_32_2_euad.2	FAIL	900.97
ncf_16_128_8_euad.2	FAIL	900.97
ncf_4_32_8_u.3	FAIL	900.97
ncf_16_64_2_u.2	FAIL	900.97
ncf_8_64_4_u.4	FAIL	900.97
ncf_8_64_4_edau.10	FAIL	900.98
ncf_4_32_8_d.3	FAIL	900.98
ncf_16_128_4_edau.4	FAIL	900.98
ncf_16_64_8_euad.9	FAIL	900.98
ncf_16_128_2_u.9	FAIL	900.98
ncf_16_128_8_d.8	FAIL	900.98
ncf_16_128_4_edau.8	FAIL	900.98
ncf_8_64_8_euad.3	FAIL	900.98
ncf_8_64_4_edau.6	FAIL	900.98
ncf_16_64_8_d.8	FAIL	900.98
ncf_4_32_4_euad.3	FAIL	900.98
ncf_8_32_8_edau.9	FAIL	900.98
ncf_8_64_2_d.4	FAIL	900.98
ncf_16_64_2_d.7	FAIL	900.98
ncf_8_32_4_edau.5	FAIL	900.98
ncf_4_32_2_edau.1	FAIL	900.98
ncf_16_128_4_euad.9	FAIL	900.98
ncf_16_64_2_edau.5	FAIL	900.98
ncf_8_16_8_euad.10	FAIL	900.98
ncf_16_64_8_u.4	FAIL	900.98
ncf_4_32_8_d.2	FAIL	900.98
ncf_16_128_4_euad.6	FAIL	900.98
ncf_8_64_2_u.4	FAIL	900.98
ncf_8_64_2_u.5	FAIL	900.98
ncf_8_16_8_u.4	FAIL	900.98
ncf_8_64_4_euad.2	FAIL	900.98
ncf_8_32_4_d.4	FAIL	900.98
ncf_16_64_4_u.5	FAIL	900.98
ncf_16_128_8_u.6	FAIL	900.98
ncf_4_32_4_edau.7	FAIL	900.98
ncf_16_64_4_d.3	FAIL	900.98
ncf_8_64_8_euad.5	FAIL	900.98
ncf_8_64_2_euad.3	FAIL	900.98
ncf_16_64_8_d.7	FAIL	900.98
ncf_16_128_8_edau.7	FAIL	900.98
ncf_8_64_2_d.10	FAIL	900.98
ncf_4_16_8_edau.10	FAIL	900.98
ncf_8_32_4_d.6	FAIL	900.98
ncf_16_128_8_d.6	FAIL	900.98
ncf_16_128_8_u.2	FAIL	900.98
ncf_16_32_4_euad.4	FAIL	900.98
ncf_8_32_4_u.4	FAIL	900.98
ncf_16_32_8_euad.7	FAIL	900.98
ncf_16_32_8_u.8	FAIL	900.98
ncf_4_32_4_d.3	FAIL	900.98
ncf_16_32_8_d.6	FAIL	900.98
ncf_16_128_4_u.5	FAIL	900.98
ncf_8_32_4_euad.10	FAIL	900.98
ncf_4_32_2_d.1	FAIL	900.98
ncf_16_128_8_euad.6	FAIL	900.98
ncf_16_128_8_d.5	FAIL	900.98
ncf_8_32_4_edau.9	FAIL	900.98
ncf_16_128_2_d.5	FAIL	900.98
ncf_8_64_8_d.6	FAIL	900.98
ncf_4_16_8_euad.5	FAIL	900.98
ncf_16_128_2_edau.7	FAIL	900.98
ncf_16_128_8_u.5	FAIL	900.98
ncf_16_32_8_edau.5	FAIL	900.98
ncf_16_128_8_edau.2	FAIL	900.98
ncf_16_128_4_edau.6	FAIL	900.98
ncf_8_32_4_u.1	FAIL	900.98
ncf_16_64_8_u.1	FAIL	900.98
ncf_8_16_8_u.5	FAIL	900.98
ncf_16_128_4_euad.5	FAIL	900.98
ncf_8_64_2_euad.7	FAIL	900.98
ncf_8_64_8_euad.4	FAIL	900.98
ncf_8_32_4_u.3	FAIL	900.98
ncf_8_64_8_edau.6	FAIL	900.98
ncf_8_64_2_edau.4	FAIL	900.98
ncf_16_64_2_euad.10	FAIL	900.98
ncf_16_32_4_d.3	FAIL	900.98
ncf_16_128_4_d.8	FAIL	900.98
ncf_16_64_2_edau.3	FAIL	900.98
ncf_16_128_8_d.7	FAIL	900.98
ncf_4_32_4_d.5	FAIL	900.98
ncf_8_32_8_d.8	FAIL	900.98
ncf_4_32_2_euad.9	FAIL	900.98
ncf_8_32_2_u.2	FAIL	900.98
ncf_8_64_8_edau.3	FAIL	900.98
ncf_8_32_4_u.6	FAIL	900.98
ncf_8_32_2_d.5	FAIL	900.98
ncf_8_64_8_d.8	FAIL	900.98
ncf_8_16_8_u.3	FAIL	900.98
ncf_4_32_4_u.1	FAIL	900.98
ncf_16_128_8_u.3	FAIL	900.98
ncf_16_64_2_euad.6	FAIL	900.99
ncf_16_64_4_u.7	FAIL	900.99
ncf_16_64_4_euad.3	FAIL	900.99
ncf_16_32_4_d.6	FAIL	900.99
ncf_8_32_8_euad.8	FAIL	900.99
ncf_16_64_8_d.6	FAIL	900.99
ncf_16_64_8_edau.7	FAIL	900.99
ncf_16_128_8_edau.6	FAIL	900.99
ncf_16_32_4_u.6	FAIL	900.99
ncf_8_32_4_edau.10	FAIL	900.99
ncf_8_32_2_edau.4	FAIL	900.99
ncf_8_32_8_euad.10	FAIL	900.99
ncf_16_128_8_euad.7	FAIL	900.99
ncf_4_32_2_euad.6	FAIL	900.99
ncf_16_32_4_u.2	FAIL	900.99
ncf_16_128_8_euad.8	FAIL	900.99
ncf_4_32_4_u.7	FAIL	900.99
ncf_16_128_8_edau.8	FAIL	900.99
ncf_16_32_8_u.1	FAIL	900.99
ncf_16_64_8_euad.10	FAIL	900.99
ncf_8_32_8_d.3	FAIL	900.99
ncf_8_32_8_edau.3	FAIL	900.99
ncf_8_32_8_d.2	FAIL	900.99
ncf_16_32_4_edau.6	FAIL	900.99
ncf_16_32_8_edau.8	FAIL	900.99
ncf_4_32_8_u.7	FAIL	900.99
ncf_16_32_8_u.9	FAIL	900.99
ncf_16_32_4_d.5	FAIL	900.99
ncf_16_64_4_d.10	FAIL	900.99
ncf_8_64_8_u.5	FAIL	900.99
ncf_16_32_2_d.4	FAIL	900.99
ncf_4_32_8_u.1	FAIL	900.99
ncf_8_32_2_u.4	FAIL	900.99
ncf_8_32_2_euad.10	FAIL	900.99
ncf_16_64_8_edau.6	FAIL	900.99
ncf_16_64_8_euad.7	FAIL	900.99
ncf_16_128_2_d.8	FAIL	900.99
ncf_8_64_8_u.9	FAIL	900.99
ncf_8_16_8_d.3	FAIL	900.99
ncf_16_32_4_d.1	FAIL	900.99
ncf_16_128_2_edau.2	FAIL	900.99
ncf_8_64_8_d.9	FAIL	900.99
ncf_4_32_8_d.5	FAIL	900.99
ncf_16_128_8_d.3	FAIL	900.99
ncf_8_64_8_d.3	FAIL	900.99
ncf_16_32_8_euad.10	FAIL	900.99
ncf_8_64_4_d.3	FAIL	900.99
ncf_8_32_4_d.1	FAIL	900.99
ncf_8_64_2_d.6	FAIL	900.99
ncf_4_32_8_u.6	FAIL	900.99
ncf_16_128_4_u.7	FAIL	900.99
ncf_8_32_4_edau.2	FAIL	900.99
ncf_8_32_8_euad.3	FAIL	900.99
ncf_16_128_8_edau.3	FAIL	900.99
ncf_16_128_4_d.1	FAIL	900.99
ncf_16_128_4_d.3	FAIL	900.99
ncf_16_32_4_euad.5	FAIL	900.99
ncf_8_32_4_u.8	FAIL	900.99
ncf_8_32_8_euad.9	FAIL	900.99
ncf_8_32_2_euad.1	FAIL	900.99
ncf_16_64_2_u.5	FAIL	900.99
ncf_16_128_4_euad.1	FAIL	900.99
ncf_16_64_8_euad.6	FAIL	900.99
ncf_8_32_8_edau.8	FAIL	900.99
ncf_16_128_4_edau.7	FAIL	900.99
ncf_8_32_4_edau.1	FAIL	900.99
ncf_4_16_8_u.6	FAIL	900.99
ncf_16_32_2_edau.1	FAIL	900.99
ncf_16_64_4_euad.7	FAIL	900.99
ncf_16_128_8_u.1	FAIL	900.99
ncf_4_32_2_edau.3	FAIL	900.99
ncf_8_32_8_d.1	FAIL	900.99
ncf_16_32_2_d.3	FAIL	900.99
ncf_8_32_8_u.1	FAIL	900.99
ncf_16_128_4_euad.8	FAIL	900.99
ncf_16_64_4_edau.6	FAIL	900.99
ncf_16_128_8_euad.5	FAIL	900.99
ncf_8_32_2_u.1	FAIL	900.99
ncf_16_64_4_d.6	FAIL	900.99
ncf_16_128_4_d.5	FAIL	900.99
ncf_8_32_2_d.3	FAIL	900.99
ncf_8_32_8_u.9	FAIL	900.99
ncf_16_64_4_euad.4	FAIL	900.99
ncf_16_64_8_edau.9	FAIL	900.99
ncf_16_128_4_edau.5	FAIL	900.99
ncf_16_128_4_edau.2	FAIL	900.99
ncf_16_128_2_euad.5	FAIL	900.99
ncf_16_32_8_u.6	FAIL	900.99
ncf_16_128_4_u.3	FAIL	900.99
ncf_8_32_8_u.6	FAIL	900.99
ncf_8_64_8_d.5	FAIL	900.99
ncf_8_32_8_euad.4	FAIL	900.99
ncf_8_32_2_d.4	FAIL	900.99
ncf_16_32_8_d.7	FAIL	900.99
ncf_16_64_2_edau.4	FAIL	900.99
ncf_8_64_4_u.5	FAIL	900.99
ncf_8_64_8_euad.1	FAIL	900.99
ncf_8_32_8_euad.2	FAIL	900.99
ncf_4_16_8_d.1	FAIL	900.99
ncf_16_128_2_edau.4	FAIL	900.99
ncf_8_32_2_d.6	FAIL	900.99
ncf_8_64_4_euad.4	FAIL	900.99
ncf_8_64_4_d.8	FAIL	900.99
ncf_4_32_8_d.6	FAIL	900.99
ncf_16_64_8_euad.2	FAIL	900.99
ncf_16_64_8_d.9	FAIL	900.99
ncf_16_64_8_d.5	FAIL	900.99
ncf_16_32_8_d.1	FAIL	900.99
ncf_8_64_4_d.7	FAIL	900.99
ncf_16_128_8_edau.1	FAIL	900.99
ncf_16_128_8_euad.1	FAIL	900.99
ncf_4_32_4_u.9	FAIL	900.99
ncf_16_32_8_euad.1	FAIL	900.99
ncf_8_64_2_u.9	FAIL	900.99
ncf_16_128_4_d.4	FAIL	900.99
ncf_8_64_4_d.9	FAIL	900.99
ncf_4_32_8_u.9	FAIL	900.99
ncf_8_32_2_d.2	FAIL	900.99
ncf_16_32_8_u.2	FAIL	900.99
ncf_16_64_4_euad.6	FAIL	900.99
ncf_4_32_4_euad.2	FAIL	900.99
ncf_8_32_4_euad.2	FAIL	900.99
ncf_4_32_8_u.10	FAIL	900.99
ncf_4_16_8_u.2	FAIL	900.99
ncf_8_64_4_euad.10	FAIL	900.99
ncf_8_64_8_edau.2	FAIL	900.99
ncf_16_64_4_euad.2	FAIL	900.99
ncf_8_64_8_euad.7	FAIL	900.99
ncf_8_32_2_u.10	FAIL	900.99
ncf_16_128_8_euad.9	FAIL	900.99
ncf_4_32_2_euad.10	FAIL	900.99
ncf_8_32_2_euad.8	FAIL	900.99
ncf_16_128_4_edau.9	FAIL	900.99
ncf_8_64_8_u.1	FAIL	900.99
ncf_8_64_4_d.10	FAIL	900.99
ncf_4_32_4_euad.9	FAIL	900.99
ncf_16_64_4_edau.5	FAIL	900.99
ncf_8_64_2_euad.6	FAIL	900.99
ncf_8_64_4_edau.9	FAIL	900.99
ncf_8_64_8_euad.10	FAIL	900.99
ncf_16_128_4_u.8	FAIL	900.99
ncf_16_32_8_u.10	FAIL	900.99
ncf_4_16_8_edau.6	FAIL	900.99
ncf_4_32_8_edau.6	FAIL	900.99
ncf_16_128_2_d.4	FAIL	900.99
ncf_8_32_8_d.4	FAIL	900.99
ncf_16_128_8_u.4	FAIL	900.99
ncf_4_32_8_euad.8	FAIL	900.99
ncf_16_128_2_euad.6	FAIL	900.99
ncf_8_64_8_u.8	FAIL	900.99
ncf_16_32_2_edau.8	FAIL	900.99
ncf_8_64_4_u.2	FAIL	900.99
ncf_8_64_8_euad.8	FAIL	900.99
ncf_16_128_8_u.10	FAIL	900.99
ncf_16_64_4_d.8	FAIL	900.99
ncf_16_128_8_d.9	FAIL	900.99
ncf_8_64_2_u.3	FAIL	900.99
ncf_16_128_2_euad.1	FAIL	900.99
ncf_16_128_8_d.10	FAIL	900.99
ncf_16_64_2_d.5	FAIL	900.99
ncf_16_64_8_edau.8	FAIL	900.99
ncf_8_32_8_u.8	FAIL	900.99
ncf_8_64_4_d.5	FAIL	900.99
ncf_16_128_4_edau.3	FAIL	900.99
ncf_16_128_4_d.2	FAIL	900.99
ncf_16_32_2_u.1	FAIL	900.99
ncf_8_32_4_edau.6	FAIL	900.99
ncf_16_32_4_edau.3	FAIL	900.99
ncf_4_32_2_d.8	FAIL	900.99
ncf_16_64_8_euad.3	FAIL	900.99
ncf_16_64_4_u.9	FAIL	900.99
ncf_4_16_8_euad.3	FAIL	900.99
ncf_8_64_2_edau.5	FAIL	900.99
ncf_16_128_8_u.9	FAIL	900.99
ncf_8_32_2_euad.3	FAIL	900.99
ncf_16_64_2_u.3	FAIL	900.99
ncf_16_64_8_edau.2	FAIL	900.99
ncf_8_64_8_d.4	FAIL	900.99
ncf_16_128_4_euad.2	FAIL	900.99
ncf_16_128_2_u.8	FAIL	900.99
ncf_16_64_2_euad.7	FAIL	901
ncf_8_32_8_u.2	FAIL	901
ncf_8_32_2_d.8	FAIL	901
ncf_4_32_8_euad.1	FAIL	901
ncf_16_64_8_euad.8	FAIL	901
ncf_8_32_4_edau.8	FAIL	901
ncf_16_128_4_edau.1	FAIL	901
ncf_16_32_2_d.5	FAIL	901
ncf_8_32_8_edau.6	FAIL	901
ncf_16_32_2_euad.5	FAIL	901
ncf_8_64_2_u.6	FAIL	901
ncf_4_32_4_u.4	FAIL	901
ncf_4_32_8_edau.9	FAIL	901
ncf_8_32_8_euad.6	FAIL	901
ncf_4_32_8_d.1	FAIL	901
ncf_8_64_2_u.10	FAIL	901
ncf_4_16_8_u.8	FAIL	901
ncf_16_64_8_d.4	FAIL	901
ncf_16_64_2_euad.8	FAIL	901
ncf_16_128_2_u.7	FAIL	901
ncf_16_32_8_u.7	FAIL	901
ncf_4_32_2_d.9	FAIL	901
ncf_8_32_2_euad.4	FAIL	901
ncf_8_32_2_euad.9	FAIL	901
ncf_16_32_4_euad.3	FAIL	901
ncf_8_32_4_euad.3	FAIL	901
ncf_4_32_8_d.4	FAIL	901
ncf_8_64_2_u.8	FAIL	901
ncf_16_32_2_euad.10	FAIL	901
ncf_16_32_8_edau.10	FAIL	901
ncf_16_32_8_edau.9	FAIL	901
ncf_4_16_4_edau.3	FAIL	901
ncf_8_64_2_edau.6	FAIL	901
ncf_8_64_4_u.6	FAIL	901
ncf_16_128_2_u.2	FAIL	901
ncf_4_32_2_u.4	FAIL	901
ncf_8_32_2_euad.6	FAIL	901
ncf_16_32_8_edau.7	FAIL	901
ncf_16_32_4_edau.5	FAIL	901
ncf_8_64_2_edau.7	FAIL	901
ncf_16_64_8_edau.5	FAIL	901
ncf_16_64_4_edau.2	FAIL	901
ncf_16_128_2_d.7	FAIL	901
ncf_8_32_2_u.7	FAIL	901
ncf_8_64_2_euad.10	FAIL	901
ncf_16_64_4_u.6	FAIL	901
ncf_16_128_2_edau.9	FAIL	901
ncf_4_32_8_euad.3	FAIL	901
ncf_16_128_4_euad.10	FAIL	901
ncf_8_32_8_euad.5	FAIL	901
ncf_4_32_8_edau.7	FAIL	901
ncf_4_16_8_d.3	FAIL	901
ncf_4_32_4_edau.9	FAIL	901
ncf_16_128_4_edau.10	FAIL	901
ncf_4_16_4_u.3	FAIL	901
ncf_8_64_4_euad.1	FAIL	901
ncf_16_64_8_euad.4	FAIL	901
ncf_8_64_4_u.8	FAIL	901
ncf_16_128_2_euad.7	FAIL	901
ncf_8_64_4_edau.8	FAIL	901
ncf_8_64_8_edau.9	FAIL	901
ncf_4_32_2_d.7	FAIL	901
ncf_8_32_2_euad.7	FAIL	901
ncf_4_32_4_d.9	FAIL	901
ncf_4_32_2_euad.8	FAIL	901
ncf_16_32_4_d.2	FAIL	901
ncf_8_32_8_euad.1	FAIL	901
ncf_16_32_4_u.7	FAIL	901
ncf_16_32_4_edau.7	FAIL	901
ncf_8_64_2_d.2	FAIL	901
ncf_8_32_4_d.10	FAIL	901
ncf_4_32_8_euad.6	FAIL	901
ncf_16_128_8_d.1	FAIL	901
ncf_16_128_4_u.4	FAIL	901
ncf_4_32_2_euad.5	FAIL	901
ncf_16_128_2_u.6	FAIL	901
ncf_4_32_4_d.7	FAIL	901
ncf_16_32_4_euad.1	FAIL	901
ncf_8_32_8_d.7	FAIL	901
ncf_8_32_4_u.2	FAIL	901
ncf_8_16_8_euad.4	FAIL	901
ncf_16_64_8_u.8	FAIL	901
ncf_4_32_8_u.2	FAIL	901
ncf_16_64_4_edau.9	FAIL	901
ncf_16_64_8_euad.5	FAIL	901
ncf_8_64_4_euad.6	FAIL	901
ncf_8_32_4_euad.8	FAIL	901
ncf_16_128_2_euad.10	FAIL	901
ncf_4_32_8_edau.5	FAIL	901
ncf_16_128_4_u.6	FAIL	901
ncf_16_64_2_u.10	FAIL	901
ncf_4_32_2_euad.3	FAIL	901
ncf_8_64_8_d.1	FAIL	901
ncf_4_32_8_euad.10	FAIL	901
ncf_16_32_8_euad.9	FAIL	901
ncf_16_128_2_u.10	FAIL	901
ncf_16_32_4_d.8	FAIL	901
ncf_16_32_2_edau.5	FAIL	901
ncf_8_64_2_edau.10	FAIL	901
ncf_16_64_4_u.3	FAIL	901
ncf_16_64_4_edau.10	FAIL	901
ncf_16_64_2_euad.2	FAIL	901
ncf_16_64_4_euad.1	FAIL	901
ncf_16_128_2_d.9	FAIL	901
ncf_4_32_8_edau.3	FAIL	901
ncf_16_64_2_edau.9	FAIL	901
ncf_16_32_8_d.5	FAIL	901
ncf_16_64_2_d.3	FAIL	901
ncf_4_32_4_edau.8	FAIL	901
ncf_16_32_2_d.1	FAIL	901
ncf_8_32_4_u.10	FAIL	901
ncf_8_32_8_edau.4	FAIL	901
ncf_16_128_4_u.1	FAIL	901
ncf_8_64_4_edau.5	FAIL	901
ncf_4_16_8_u.1	FAIL	901
ncf_8_64_2_d.3	FAIL	901
ncf_16_64_4_euad.9	FAIL	901
ncf_16_128_2_edau.1	FAIL	901
ncf_4_32_4_edau.3	FAIL	901
ncf_16_64_2_edau.10	FAIL	901
ncf_4_32_4_euad.4	FAIL	901
ncf_16_128_4_d.9	FAIL	901
ncf_16_128_4_u.9	FAIL	901
ncf_8_32_2_u.9	FAIL	901
ncf_8_64_2_euad.2	FAIL	901
ncf_8_32_2_d.9	FAIL	901
ncf_16_128_2_edau.8	FAIL	901
ncf_16_32_2_euad.1	FAIL	901
ncf_8_32_2_d.1	FAIL	901
ncf_8_32_8_d.5	FAIL	901
ncf_16_64_2_u.8	FAIL	901
ncf_16_64_2_euad.9	FAIL	901
ncf_8_64_2_d.7	FAIL	901
ncf_8_64_4_edau.4	FAIL	901
ncf_16_64_4_u.1	FAIL	901
ncf_16_64_4_edau.7	FAIL	901
ncf_8_64_4_u.10	FAIL	901
ncf_16_128_2_d.1	FAIL	901
ncf_4_32_8_d.9	FAIL	901
ncf_4_32_8_edau.8	FAIL	901
ncf_8_64_8_edau.10	FAIL	901
ncf_16_32_8_u.5	FAIL	901
ncf_16_128_8_edau.9	FAIL	901
ncf_8_32_2_edau.1	FAIL	901
ncf_8_64_8_edau.5	FAIL	901
ncf_8_32_4_d.8	FAIL	901
ncf_16_64_2_d.2	FAIL	901
ncf_4_32_8_d.7	FAIL	901
ncf_4_32_8_euad.2	FAIL	901
ncf_8_64_8_u.7	FAIL	901
ncf_16_32_4_d.4	FAIL	901
ncf_16_64_2_d.1	FAIL	901
ncf_16_128_2_d.2	FAIL	901
ncf_8_64_8_u.2	FAIL	901
ncf_8_64_4_euad.7	FAIL	901
ncf_4_16_8_edau.7	FAIL	901
ncf_4_16_8_u.7	FAIL	901
ncf_4_32_4_d.4	FAIL	901
ncf_8_32_8_edau.1	FAIL	901
ncf_16_64_2_u.4	FAIL	901
ncf_8_32_2_edau.10	FAIL	901
ncf_8_64_4_euad.3	FAIL	901
ncf_16_32_2_euad.3	FAIL	901
ncf_8_32_2_d.7	FAIL	901
ncf_16_128_4_euad.3	FAIL	901
ncf_16_64_2_u.7	FAIL	901
ncf_16_128_2_edau.10	FAIL	901
ncf_8_32_4_euad.4	FAIL	901
ncf_4_32_4_edau.4	FAIL	901
ncf_16_128_2_u.3	FAIL	901
ncf_16_64_4_d.7	FAIL	901
ncf_8_64_2_d.5	FAIL	901
ncf_8_32_8_euad.7	FAIL	901
ncf_8_32_8_u.10	FAIL	901
ncf_16_64_2_euad.4	FAIL	901
ncf_16_64_4_euad.5	FAIL	901
ncf_4_32_2_euad.7	FAIL	901
ncf_16_64_8_d.1	FAIL	901
ncf_4_32_8_edau.1	FAIL	901
ncf_16_128_2_euad.2	FAIL	901
ncf_8_16_8_u.10	FAIL	901
ncf_4_32_2_euad.1	FAIL	901
ncf_4_32_2_u.3	FAIL	901
ncf_8_32_2_u.5	FAIL	901
ncf_4_16_8_u.5	FAIL	901
ncf_4_32_4_d.10	FAIL	901
ncf_4_32_4_d.8	FAIL	901
ncf_8_64_8_d.10	FAIL	901
ncf_16_128_2_euad.9	FAIL	901
ncf_8_64_2_d.1	FAIL	901
ncf_16_32_8_edau.2	FAIL	901
ncf_16_64_4_d.2	FAIL	901
ncf_8_64_2_euad.9	FAIL	901
ncf_8_16_8_d.10	FAIL	901
ncf_8_64_2_euad.4	FAIL	901
ncf_16_32_4_u.5	FAIL	901
ncf_8_32_8_edau.2	FAIL	901
ncf_16_128_4_u.10	FAIL	901
ncf_16_32_2_d.8	FAIL	901
ncf_4_32_2_u.1	FAIL	901
ncf_4_32_4_edau.6	FAIL	901
ncf_8_64_4_edau.3	FAIL	901
ncf_8_64_2_edau.2	FAIL	901
ncf_8_64_8_u.4	FAIL	901
ncf_16_64_8_d.10	FAIL	901
ncf_4_16_8_euad.1	FAIL	901
ncf_8_64_8_u.3	FAIL	901
ncf_8_32_4_d.2	FAIL	901
ncf_8_64_2_edau.8	FAIL	901
ncf_16_64_2_euad.1	FAIL	901
ncf_8_64_8_d.2	FAIL	901
ncf_16_64_2_euad.3	FAIL	901
ncf_16_64_2_d.10	FAIL	901
ncf_16_64_4_euad.8	FAIL	901
ncf_8_64_4_edau.2	FAIL	901
ncf_16_32_4_edau.1	FAIL	901
ncf_8_32_2_u.8	FAIL	901
ncf_8_32_8_d.10	FAIL	901
ncf_16_64_8_u.7	FAIL	901
ncf_16_128_4_d.7	FAIL	901
ncf_8_32_4_u.5	FAIL	901
ncf_16_128_4_d.10	FAIL	901
ncf_4_32_8_d.10	FAIL	901
ncf_16_32_8_d.2	FAIL	901
ncf_16_32_8_euad.2	FAIL	901
ncf_4_32_2_d.10	FAIL	901
ncf_4_32_8_edau.10	FAIL	901
ncf_16_64_4_u.2	FAIL	901
ncf_8_64_4_euad.9	FAIL	901
ncf_8_64_4_d.4	FAIL	901
ncf_8_32_4_u.7	FAIL	901
ncf_16_32_2_euad.6	FAIL	901
ncf_8_64_4_d.6	FAIL	901
ncf_4_32_4_u.10	FAIL	901
ncf_8_64_2_euad.5	FAIL	901
ncf_8_64_4_u.1	FAIL	901
ncf_4_32_8_euad.4	FAIL	901
ncf_8_32_4_d.7	FAIL	901
ncf_8_32_2_edau.8	FAIL	901
ncf_16_128_8_u.7	FAIL	901
ncf_8_64_8_u.6	FAIL	901
ncf_4_32_4_euad.1	FAIL	901
ncf_8_64_2_u.1	FAIL	901
ncf_8_64_2_d.8	FAIL	901
ncf_16_128_2_d.10	FAIL	901
ncf_8_64_8_d.7	FAIL	901
ncf_16_64_8_u.2	FAIL	901
ncf_16_64_4_d.9	FAIL	901
ncf_16_32_8_edau.6	FAIL	901
ncf_16_64_2_edau.8	FAIL	901
ncf_8_64_2_edau.3	FAIL	901
ncf_8_32_4_euad.5	FAIL	901
ncf_4_32_4_euad.10	FAIL	901
ncf_4_32_2_d.5	FAIL	901
ncf_16_32_8_d.10	FAIL	901
ncf_16_64_4_u.8	FAIL	901
ncf_4_32_4_d.2	FAIL	901
ncf_8_32_2_edau.7	FAIL	901
ncf_8_32_2_u.6	FAIL	901
ncf_4_16_8_edau.5	FAIL	901
ncf_16_128_2_d.3	FAIL	901
ncf_16_32_4_u.1	FAIL	901
ncf_8_64_8_edau.8	FAIL	901
ncf_16_64_2_u.9	FAIL	901
ncf_4_32_8_euad.5	FAIL	901
ncf_4_32_8_u.5	FAIL	901
ncf_16_128_8_euad.10	FAIL	901
ncf_8_32_2_edau.2	FAIL	901
ncf_16_64_2_d.6	FAIL	901
ncf_16_64_8_u.10	FAIL	901
ncf_8_64_2_edau.9	FAIL	901
ncf_16_32_2_euad.8	FAIL	901
ncf_8_32_4_euad.1	FAIL	901
ncf_8_32_8_edau.10	FAIL	901
ncf_16_64_8_euad.1	FAIL	901
ncf_4_16_8_u.10	FAIL	901
ncf_16_64_2_edau.7	FAIL	901
ncf_8_32_8_u.5	FAIL	901
ncf_8_64_2_euad.1	FAIL	901
ncf_16_64_2_edau.2	FAIL	901
ncf_16_64_8_u.3	FAIL	901
ncf_8_32_4_u.9	FAIL	901
ncf_16_64_8_edau.4	FAIL	901
ncf_16_128_2_d.6	FAIL	901
ncf_4_32_4_d.6	FAIL	901
ncf_8_64_4_u.3	FAIL	901
ncf_16_64_4_d.4	FAIL	901
ncf_8_32_4_edau.4	FAIL	901
ncf_16_128_2_u.1	FAIL	901
ncf_8_64_2_u.7	FAIL	901
ncf_8_64_8_euad.6	FAIL	901
ncf_16_64_2_d.9	FAIL	901
ncf_16_64_4_u.10	FAIL	901
ncf_16_64_8_u.5	FAIL	901
ncf_8_32_2_euad.5	FAIL	901
ncf_16_32_2_euad.4	FAIL	901
ncf_8_64_2_edau.1	FAIL	901
ncf_16_64_2_d.4	FAIL	901
ncf_4_32_2_d.3	FAIL	901.01
ncf_16_128_2_edau.3	FAIL	901.01
ncf_16_32_8_euad.5	FAIL	901.01
ncf_16_128_4_d.6	FAIL	901.01
ncf_8_32_2_edau.9	FAIL	901.01
ncf_4_32_4_d.1	FAIL	901.01
ncf_8_32_4_d.3	FAIL	901.01
ncf_8_32_8_u.4	FAIL	901.01
ncf_16_128_2_u.4	FAIL	901.01
ncf_4_32_4_euad.5	FAIL	901.01
ncf_16_32_8_euad.6	FAIL	901.01
ncf_16_32_2_u.8	FAIL	901.01
ncf_16_128_4_euad.4	FAIL	901.01
ncf_16_64_8_d.3	FAIL	901.01
ncf_4_32_4_u.8	FAIL	901.01
ncf_16_64_4_edau.4	FAIL	901.01
ncf_8_32_8_edau.5	FAIL	901.01
ncf_16_128_2_u.5	FAIL	901.01
ncf_16_32_4_u.3	FAIL	901.01
ncf_8_32_4_euad.9	FAIL	901.01
ncf_16_32_2_u.5	FAIL	901.01
ncf_16_32_8_edau.1	FAIL	901.01
ncf_16_128_2_euad.3	FAIL	901.01
ncf_16_128_8_euad.4	FAIL	901.01
ncf_16_128_2_edau.6	FAIL	901.01
ncf_8_32_2_d.10	FAIL	901.01
ncf_16_32_8_d.8	FAIL	901.01
ncf_16_64_4_d.5	FAIL	901.01
ncf_8_64_2_euad.8	FAIL	901.01
ncf_8_32_4_edau.3	FAIL	901.01
ncf_8_64_4_euad.8	FAIL	901.01
ncf_16_32_8_euad.8	FAIL	901.01
ncf_8_32_8_d.6	FAIL	901.01
ncf_4_32_4_edau.10	FAIL	901.01
ncf_8_32_4_euad.7	FAIL	901.01
ncf_16_64_8_edau.3	FAIL	901.01
ncf_4_32_8_u.4	FAIL	901.01
ncf_8_64_2_d.9	FAIL	901.01
ncf_8_32_4_d.9	FAIL	901.01
ncf_8_32_8_d.9	FAIL	901.01
ncf_16_64_2_u.6	FAIL	901.01
ncf_16_128_8_edau.5	FAIL	901.01
ncf_4_32_4_euad.6	FAIL	901.01
ncf_4_32_4_euad.7	FAIL	901.01
ncf_8_64_8_edau.4	FAIL	901.01
ncf_16_64_2_d.8	FAIL	901.01
ncf_4_32_8_edau.4	FAIL	901.01
ncf_16_32_4_u.4	FAIL	901.01
ncf_16_64_4_edau.1	FAIL	901.01
ncf_8_32_8_u.7	FAIL	901.01
ncf_8_64_8_edau.7	FAIL	901.01
ncf_16_64_4_euad.10	FAIL	901.01
ncf_8_64_4_d.1	FAIL	901.01
ncf_4_32_8_u.8	FAIL	901.01
ncf_4_32_4_u.6	FAIL	901.01
ncf_4_32_4_euad.8	FAIL	901.01
ncf_16_64_2_edau.6	FAIL	901.01
ncf_4_32_8_euad.9	FAIL	901.01
ncf_4_32_8_d.8	FAIL	901.01
ncf_8_16_8_edau.10	FAIL	901.01
ncf_16_128_8_euad.3	FAIL	901.01
ncf_8_32_4_d.5	FAIL	901.01
ncf_8_64_8_euad.2	FAIL	901.01
ncf_16_64_8_edau.10	FAIL	901.01
ncf_16_32_4_edau.4	FAIL	901.01
ncf_16_32_8_d.9	FAIL	901.01
ncf_8_32_8_u.3	FAIL	901.01
ncf_8_32_4_edau.7	FAIL	901.01
ncf_8_64_4_euad.5	FAIL	901.01
ncf_4_32_8_edau.2	FAIL	901.01
ncf_4_32_4_u.3	FAIL	901.01
ncf_4_16_8_edau.1	FAIL	901.01
ncf_16_64_4_u.4	FAIL	901.01
ncf_8_64_4_edau.1	FAIL	901.01
ncf_8_64_2_u.2	FAIL	901.01
ncf_8_32_8_edau.7	FAIL	901.01
ncf_16_128_8_edau.10	FAIL	901.01
ncf_8_64_4_edau.7	FAIL	901.01
ncf_8_64_4_u.9	FAIL	901.01
ncf_8_16_8_edau.3	FAIL	901.01
ncf_16_64_2_euad.5	FAIL	901.01
ncf_16_64_8_u.9	FAIL	901.01
ncf_8_64_4_d.2	FAIL	901.01
ncf_16_64_4_edau.3	FAIL	901.01
ncf_16_64_8_u.6	FAIL	901.01
ncf_16_32_4_edau.2	FAIL	901.01
ncf_8_32_4_euad.6	FAIL	901.01
ncf_16_128_2_euad.8	FAIL	901.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by semprop
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by semprop QBFEVAL'05

Instances of family CounterFactual solved by semprop
QBFEVAL'05