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

Instances of family CounterFactual solved by WalkQSAT
QBFEVAL'05

Instance	Result	Time
ncf_4_8_2_u.10	SAT	0
ncf_8_16_2_u.6	UNSAT	0
ncf_4_8_2_d.4	UNSAT	0
ncf_8_16_2_edau.6	UNSAT	0
ncf_4_8_2_euad.1	UNSAT	0
ncf_4_8_2_d.5	SAT	0
ncf_4_8_2_u.7	UNSAT	0
ncf_4_8_4_d.9	SAT	0
ncf_4_8_2_u.5	SAT	0
ncf_4_8_2_euad.4	UNSAT	0
ncf_8_16_2_u.7	SAT	0
ncf_4_8_2_edau.1	UNSAT	0
ncf_4_8_4_edau.9	SAT	0
ncf_4_8_2_edau.7	UNSAT	0
ncf_8_16_2_euad.8	UNSAT	0
ncf_4_8_2_euad.10	SAT	0
ncf_4_8_4_u.5	SAT	0
ncf_4_8_2_u.2	SAT	0
ncf_8_16_2_euad.7	SAT	0
ncf_4_8_2_edau.4	UNSAT	0
ncf_4_8_2_edau.5	SAT	0
ncf_4_8_2_d.1	UNSAT	0
ncf_4_16_2_euad.6	SAT	0
ncf_4_8_2_d.9	SAT	0
ncf_4_8_4_euad.6	SAT	0
ncf_4_8_2_u.4	UNSAT	0
ncf_4_8_2_edau.10	SAT	0
ncf_4_8_2_u.1	UNSAT	0
ncf_8_16_2_d.8	UNSAT	0.01
ncf_8_16_2_u.10	SAT	0.01
ncf_4_8_2_d.3	UNSAT	0.01
ncf_8_16_4_d.5	UNSAT	0.01
ncf_4_8_2_u.8	SAT	0.01
ncf_16_32_2_u.6	SAT	0.01
ncf_4_8_4_d.5	SAT	0.01
ncf_4_8_4_u.7	UNSAT	0.01
ncf_4_8_4_edau.7	UNSAT	0.01
ncf_4_8_4_d.6	SAT	0.01
ncf_8_16_4_edau.6	UNSAT	0.01
ncf_8_16_2_d.1	SAT	0.01
ncf_4_8_2_edau.9	SAT	0.01
ncf_4_8_2_edau.2	SAT	0.01
ncf_8_16_4_edau.2	UNSAT	0.01
ncf_8_16_2_euad.6	UNSAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
ncf_4_8_2_u.3	UNSAT	0.01
ncf_8_16_2_edau.10	SAT	0.01
ncf_4_8_2_d.2	SAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
ncf_4_8_4_euad.2	UNSAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
ncf_8_16_2_d.6	UNSAT	0.01
ncf_4_8_2_d.10	SAT	0.01
ncf_8_16_4_euad.10	SAT	0.01
ncf_16_32_2_d.7	UNSAT	0.01
ncf_8_16_2_edau.8	UNSAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
ncf_8_16_2_u.4	SAT	0.01
ncf_4_8_2_euad.3	UNSAT	0.01
ncf_8_16_4_euad.5	UNSAT	0.01
ncf_4_8_4_d.3	UNSAT	0.01
ncf_8_16_4_u.10	SAT	0.01
ncf_8_16_2_d.4	SAT	0.01
ncf_4_8_2_euad.5	SAT	0.01
ncf_4_8_4_d.2	UNSAT	0.01
ncf_8_16_2_euad.10	SAT	0.01
ncf_8_16_2_d.7	SAT	0.01
ncf_4_8_2_d.7	UNSAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
ncf_8_16_4_u.8	UNSAT	0.01
ncf_4_16_2_euad.2	SAT	0.01
ncf_4_16_2_u.2	SAT	0.01
ncf_8_16_2_u.1	SAT	0.01
ncf_8_16_2_euad.4	SAT	0.01
ncf_8_16_4_euad.2	UNSAT	0.01
ncf_8_16_4_euad.8	UNSAT	0.01
ncf_4_8_2_edau.3	UNSAT	0.01
ncf_8_16_2_d.10	SAT	0.01
ncf_8_16_4_u.2	UNSAT	0.01
ncf_4_8_2_euad.8	SAT	0.01
ncf_8_16_4_d.6	UNSAT	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_8_16_4_d.10	SAT	0.01
ncf_4_8_2_u.9	SAT	0.01
ncf_4_8_2_d.8	SAT	0.01
ncf_8_16_2_u.8	UNSAT	0.01
ncf_4_8_4_u.2	UNSAT	0.01
ncf_8_16_4_u.1	SAT	0.01
ncf_8_16_2_euad.1	SAT	0.01
ncf_4_8_4_euad.3	UNSAT	0.01
ncf_4_8_2_euad.7	UNSAT	0.01
ncf_4_8_4_edau.3	UNSAT	0.01
ncf_4_16_2_u.6	SAT	0.01
ncf_4_16_2_euad.9	SAT	0.01
ncf_4_16_4_euad.5	SAT	0.01
ncf_4_8_4_u.9	SAT	0.01
ncf_4_8_4_euad.5	SAT	0.01
ncf_4_8_8_u.9	UNSAT	0.01
ncf_4_16_4_edau.5	SAT	0.01
ncf_8_16_4_edau.1	SAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
ncf_8_16_2_edau.3	UNSAT	0.01
ncf_8_16_2_euad.3	UNSAT	0.01
ncf_16_32_2_u.7	UNSAT	0.02
ncf_4_8_4_edau.6	SAT	0.02
ncf_8_16_4_euad.6	UNSAT	0.02
ncf_8_16_4_edau.10	SAT	0.02
ncf_16_32_2_edau.8	UNSAT	0.02
ncf_16_32_2_d.2	UNSAT	0.02
ncf_4_16_2_u.9	SAT	0.02
ncf_4_8_4_d.7	UNSAT	0.02
ncf_4_8_4_euad.7	UNSAT	0.02
ncf_4_16_4_u.5	SAT	0.02
ncf_16_32_2_euad.7	UNSAT	0.02
ncf_4_16_2_d.6	SAT	0.02
ncf_4_16_2_edau.9	SAT	0.02
ncf_4_8_4_edau.5	SAT	0.02
ncf_16_32_2_euad.9	UNSAT	0.02
ncf_4_8_4_d.8	UNSAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
ncf_8_16_2_euad.9	UNSAT	0.02
ncf_4_16_2_d.9	SAT	0.02
ncf_8_16_2_u.5	UNSAT	0.02
ncf_4_8_8_u.5	UNSAT	0.02
ncf_4_16_2_d.4	SAT	0.02
ncf_8_16_2_edau.4	SAT	0.02
ncf_8_16_2_d.9	UNSAT	0.02
ncf_8_32_2_d.9	UNSAT	0.02
ncf_8_16_4_d.1	SAT	0.02
ncf_4_8_4_u.3	UNSAT	0.02
ncf_4_8_4_u.6	SAT	0.02
ncf_8_16_2_edau.1	SAT	0.02
ncf_4_8_8_euad.9	UNSAT	0.02
ncf_4_8_8_edau.9	UNSAT	0.02
ncf_16_32_2_d.9	UNSAT	0.02
ncf_16_32_2_d.6	SAT	0.02
ncf_16_32_2_edau.9	UNSAT	0.02
ncf_4_8_2_edau.8	SAT	0.02
ncf_16_32_2_edau.7	UNSAT	0.02
ncf_8_16_4_u.6	UNSAT	0.02
ncf_8_16_2_edau.9	UNSAT	0.02
ncf_4_8_4_edau.8	UNSAT	0.02
ncf_16_32_2_euad.6	SAT	0.02
ncf_16_32_2_edau.6	SAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
ncf_4_8_8_d.9	UNSAT	0.02
ncf_4_16_2_d.2	SAT	0.02
ncf_4_8_8_edau.5	UNSAT	0.03
ncf_4_8_4_edau.2	UNSAT	0.03
ncf_16_32_2_euad.8	UNSAT	0.03
ncf_8_16_2_euad.5	UNSAT	0.03
ncf_4_8_8_euad.5	UNSAT	0.03
ncf_4_8_4_u.8	UNSAT	0.03
ncf_16_32_4_edau.3	SAT	0.03
ncf_16_32_2_euad.5	UNSAT	0.03
ncf_8_32_2_euad.9	UNSAT	0.03
ncf_4_16_4_d.5	SAT	0.03
ncf_8_32_2_edau.9	UNSAT	0.03
ncf_8_16_4_u.4	SAT	0.03
ncf_4_8_4_euad.8	UNSAT	0.03
ncf_16_32_2_u.8	UNSAT	0.03
ncf_16_32_2_edau.2	UNSAT	0.03
ncf_4_32_2_edau.1	UNSAT	0.03
ncf_4_16_4_d.8	SAT	0.03
ncf_8_16_8_d.6	UNSAT	0.03
ncf_8_16_2_u.9	UNSAT	0.03
ncf_8_16_4_d.2	UNSAT	0.03
ncf_4_16_2_edau.4	SAT	0.03
ncf_8_16_2_edau.5	UNSAT	0.03
ncf_4_8_8_u.4	SAT	0.03
ncf_16_32_2_u.9	UNSAT	0.03
ncf_4_8_8_d.5	UNSAT	0.03
ncf_4_32_2_euad.1	UNSAT	0.03
ncf_4_16_2_edau.2	SAT	0.03
ncf_8_16_4_edau.8	UNSAT	0.03
ncf_16_32_2_d.8	UNSAT	0.03
ncf_4_32_2_d.1	UNSAT	0.03
ncf_4_16_2_euad.5	UNSAT	0.03
ncf_8_16_2_edau.2	UNSAT	0.03
ncf_16_32_4_euad.9	SAT	0.04
ncf_4_16_2_euad.1	UNSAT	0.04
ncf_16_32_2_u.2	UNSAT	0.04
ncf_16_32_4_d.3	SAT	0.04
ncf_16_32_4_u.9	SAT	0.04
ncf_8_16_2_euad.2	UNSAT	0.04
ncf_8_16_4_edau.4	SAT	0.04
ncf_16_32_2_euad.4	UNSAT	0.04
ncf_8_16_8_u.6	UNSAT	0.04
ncf_16_32_2_u.4	UNSAT	0.04
ncf_16_32_4_euad.3	SAT	0.04
ncf_4_16_4_euad.8	SAT	0.04
ncf_16_32_2_d.4	UNSAT	0.04
ncf_4_8_8_d.8	SAT	0.04
ncf_16_32_2_u.5	UNSAT	0.04
ncf_8_16_4_euad.4	SAT	0.04
ncf_8_16_8_edau.6	UNSAT	0.04
ncf_4_8_8_edau.8	SAT	0.04
ncf_8_32_2_u.9	UNSAT	0.04
ncf_8_16_4_d.4	SAT	0.04
ncf_16_32_4_d.9	SAT	0.04
ncf_4_32_2_u.1	UNSAT	0.04
ncf_4_8_8_euad.8	SAT	0.04
ncf_4_16_2_euad.7	SAT	0.04
ncf_4_8_2_u.6	SAT	0.05
ncf_4_8_4_euad.4	UNSAT	0.05
ncf_16_32_4_edau.9	SAT	0.05
ncf_16_32_2_u.10	UNSAT	0.05
ncf_4_8_8_u.8	SAT	0.05
ncf_4_16_2_u.5	UNSAT	0.05
ncf_16_32_2_d.5	UNSAT	0.05
ncf_8_16_8_euad.6	UNSAT	0.05
ncf_4_8_2_euad.6	SAT	0.05
ncf_16_32_4_edau.5	UNSAT	0.05
ncf_4_8_8_euad.4	SAT	0.05
ncf_16_32_4_d.5	UNSAT	0.05
ncf_16_32_2_edau.4	UNSAT	0.05
ncf_4_16_2_u.7	SAT	0.05
ncf_4_8_2_edau.6	SAT	0.05
ncf_16_32_2_edau.5	UNSAT	0.05
ncf_4_16_4_u.8	SAT	0.05
ncf_4_16_4_edau.8	SAT	0.05
ncf_16_32_4_d.4	UNSAT	0.05
ncf_16_32_4_euad.4	UNSAT	0.05
ncf_4_16_2_u.4	SAT	0.05
ncf_16_32_4_u.5	UNSAT	0.05
ncf_4_16_2_euad.4	SAT	0.05
ncf_16_32_4_edau.4	UNSAT	0.06
ncf_16_32_4_d.7	UNSAT	0.06
ncf_16_32_4_edau.10	UNSAT	0.06
ncf_16_32_2_euad.2	UNSAT	0.06
ncf_4_8_4_u.1	SAT	0.06
ncf_16_32_4_d.10	UNSAT	0.06
ncf_4_8_8_edau.4	SAT	0.06
ncf_16_32_2_u.3	SAT	0.06
ncf_16_32_4_u.4	UNSAT	0.06
ncf_4_8_2_d.6	SAT	0.06
ncf_16_32_2_u.1	UNSAT	0.07
ncf_16_32_2_edau.10	UNSAT	0.07
ncf_16_32_4_d.1	SAT	0.07
ncf_16_32_4_u.7	UNSAT	0.07
ncf_16_32_4_euad.7	UNSAT	0.07
ncf_16_32_2_d.1	UNSAT	0.07
ncf_16_32_4_euad.10	UNSAT	0.07
ncf_16_32_2_euad.1	UNSAT	0.07
ncf_16_32_2_edau.3	SAT	0.07
ncf_16_32_2_euad.3	SAT	0.07
ncf_8_16_2_u.2	UNSAT	0.07
ncf_16_64_2_euad.1	SAT	0.07
ncf_8_16_8_d.7	UNSAT	0.08
ncf_16_32_4_edau.7	UNSAT	0.08
ncf_16_32_4_u.3	SAT	0.08
ncf_16_32_4_u.10	UNSAT	0.08
ncf_8_16_2_d.5	UNSAT	0.09
ncf_4_8_4_edau.1	SAT	0.09
ncf_4_16_2_edau.7	FAIL	0.09
ncf_16_32_8_d.8	UNSAT	0.09
ncf_4_8_8_u.6	UNSAT	0.1
ncf_4_16_2_edau.5	UNSAT	0.1
ncf_8_16_8_u.1	SAT	0.1
ncf_8_16_8_euad.7	UNSAT	0.1
ncf_16_32_4_u.1	SAT	0.11
ncf_4_8_8_d.4	SAT	0.11
ncf_4_16_4_euad.9	SAT	0.11
ncf_4_16_2_d.5	UNSAT	0.11
ncf_8_16_8_u.8	UNSAT	0.12
ncf_16_32_4_euad.5	UNSAT	0.12
ncf_8_16_8_edau.1	SAT	0.12
ncf_16_32_8_u.8	UNSAT	0.12
ncf_8_16_8_d.1	SAT	0.13
ncf_16_32_8_edau.8	UNSAT	0.14
ncf_16_32_4_u.2	SAT	0.14
ncf_16_32_4_euad.1	SAT	0.14
ncf_4_16_8_u.7	SAT	0.14
ncf_8_16_8_euad.1	SAT	0.14
ncf_16_32_2_d.3	SAT	0.15
ncf_4_16_8_euad.7	SAT	0.16
ncf_8_16_4_euad.9	UNSAT	0.16
ncf_4_16_4_u.9	SAT	0.16
ncf_8_16_8_u.7	UNSAT	0.16
ncf_16_32_4_u.8	SAT	0.17
ncf_16_32_2_euad.10	UNSAT	0.17
ncf_4_8_8_euad.6	UNSAT	0.18
ncf_8_32_2_euad.10	UNSAT	0.18
ncf_16_32_4_d.2	SAT	0.18
ncf_16_32_2_edau.1	UNSAT	0.18
ncf_16_32_4_euad.8	SAT	0.19
ncf_4_8_4_u.10	SAT	0.19
ncf_16_32_4_euad.2	SAT	0.19
ncf_8_32_2_d.6	UNSAT	0.19
ncf_8_32_2_euad.6	UNSAT	0.2
ncf_8_32_8_d.3	UNSAT	0.2
ncf_16_32_8_euad.8	UNSAT	0.2
ncf_4_8_4_euad.1	SAT	0.21
ncf_4_8_4_d.1	SAT	0.21
ncf_8_32_8_euad.3	UNSAT	0.22
ncf_16_32_4_d.8	SAT	0.24
ncf_16_32_4_edau.1	SAT	0.24
ncf_8_16_8_edau.7	UNSAT	0.25
ncf_4_16_2_d.7	FAIL	0.25
ncf_4_8_4_edau.10	SAT	0.27
ncf_4_8_8_u.1	SAT	0.28
ncf_4_8_4_euad.10	SAT	0.31
ncf_8_16_8_edau.8	UNSAT	0.31
ncf_16_32_4_d.6	UNSAT	0.32
ncf_4_8_4_u.4	UNSAT	0.37
ncf_16_32_4_euad.6	UNSAT	0.4
ncf_4_16_8_d.7	SAT	0.43
ncf_4_16_4_edau.9	SAT	0.44
ncf_16_32_8_u.4	SAT	0.45
ncf_16_64_2_d.1	SAT	0.46
ncf_8_32_8_u.3	UNSAT	0.5
ncf_8_32_8_edau.3	UNSAT	0.5
ncf_16_64_2_u.1	SAT	0.52
ncf_16_32_2_d.10	UNSAT	0.56
ncf_16_32_8_euad.4	SAT	0.57
ncf_8_16_2_d.2	UNSAT	0.61
ncf_4_8_8_u.3	SAT	0.63
ncf_16_32_4_edau.8	SAT	0.63
ncf_16_32_4_u.6	UNSAT	0.64
ncf_16_32_8_euad.7	SAT	0.71
ncf_4_16_8_edau.7	SAT	0.74
ncf_16_64_2_edau.1	SAT	0.76
ncf_4_16_4_u.7	SAT	0.78
ncf_4_16_2_u.10	UNSAT	0.79
ncf_4_8_8_euad.1	SAT	0.81
ncf_4_8_8_euad.3	SAT	0.93
ncf_16_32_4_edau.2	SAT	0.94
ncf_4_16_8_d.10	SAT	0.94
ncf_16_32_8_u.7	SAT	0.99
ncf_16_32_8_d.4	SAT	1.03
ncf_4_16_4_euad.1	SAT	1.05
ncf_16_32_8_d.7	SAT	1.14
ncf_4_8_4_edau.4	UNSAT	1.38
ncf_4_8_8_euad.2	UNSAT	1.39
ncf_16_32_8_u.5	UNSAT	1.43
ncf_16_32_4_edau.6	UNSAT	1.46
ncf_4_16_2_u.1	UNSAT	1.52
ncf_4_16_4_d.9	SAT	1.56
ncf_4_8_4_d.10	SAT	1.64
ncf_4_16_2_euad.10	UNSAT	1.66
ncf_16_32_8_euad.5	UNSAT	2.14
ncf_8_32_2_euad.5	UNSAT	2.17
ncf_16_32_8_edau.5	UNSAT	2.6
ncf_8_16_8_euad.9	UNSAT	2.63
ncf_4_16_8_edau.10	SAT	2.74
ncf_4_8_4_d.4	UNSAT	2.76
ncf_8_32_4_d.6	UNSAT	2.79
ncf_4_16_4_u.1	SAT	2.87
ncf_4_16_2_edau.10	UNSAT	2.92
ncf_4_16_8_u.4	SAT	3.24
ncf_16_32_8_edau.4	SAT	3.32
ncf_4_32_2_euad.2	SAT	3.73
ncf_16_32_8_u.10	SAT	3.86
ncf_4_16_2_d.1	UNSAT	4.52
ncf_4_16_2_u.8	SAT	4.57
ncf_16_32_8_edau.7	SAT	4.61
ncf_16_32_8_d.5	UNSAT	5.48
ncf_4_32_2_edau.2	SAT	5.64
ncf_4_32_2_u.2	SAT	5.65
ncf_4_16_2_edau.1	UNSAT	6.66
ncf_4_16_4_u.4	UNSAT	6.75
ncf_4_16_2_edau.8	SAT	8.05
ncf_4_16_4_edau.7	SAT	8.44
ncf_8_16_4_d.9	UNSAT	9.75
ncf_16_32_8_euad.6	SAT	10.59
ncf_16_32_8_d.6	SAT	11.03
ncf_4_16_4_euad.3	SAT	11.61
ncf_8_32_8_euad.1	UNSAT	11.68
ncf_8_32_4_euad.6	UNSAT	11.88
ncf_16_32_8_euad.3	SAT	12.69
ncf_4_16_4_edau.1	SAT	12.91
ncf_8_16_8_euad.8	UNSAT	13.14
ncf_4_16_8_u.10	SAT	13.33
ncf_4_16_4_euad.4	UNSAT	13.47
ncf_8_32_2_d.10	UNSAT	13.9
ncf_4_8_8_u.10	SAT	13.96
ncf_16_32_8_u.6	SAT	14.71
ncf_16_32_8_euad.10	SAT	15.81
ncf_16_32_8_u.3	SAT	16.34
ncf_4_16_4_d.7	SAT	16.35
ncf_4_8_8_d.3	SAT	16.67
ncf_16_32_8_d.10	SAT	17.94
ncf_4_16_2_euad.8	SAT	19.2
ncf_4_16_4_d.1	SAT	19.5
ncf_4_8_8_edau.3	SAT	20.86
ncf_4_16_4_euad.7	SAT	23.26
ncf_4_8_8_edau.10	SAT	24.03
ncf_16_64_4_edau.1	SAT	24.74
ncf_4_32_2_d.2	SAT	24.82
ncf_16_32_8_edau.10	SAT	25.62
ncf_4_16_2_u.3	UNSAT	28.45
ncf_4_8_8_d.1	SAT	29.32
ncf_4_8_8_edau.1	SAT	34.25
ncf_4_16_4_u.3	SAT	34.64
ncf_4_16_4_u.10	UNSAT	37.47
ncf_4_8_8_u.7	SAT	40
ncf_8_16_4_u.9	UNSAT	41.55
ncf_4_16_4_euad.10	UNSAT	42.42
ncf_8_32_4_euad.7	UNSAT	47.16
ncf_4_16_4_d.4	FAIL	47.91
ncf_4_16_8_euad.10	SAT	50.6
ncf_8_16_8_u.9	UNSAT	51.55
ncf_4_16_4_edau.4	UNSAT	52.33
ncf_4_8_8_u.2	UNSAT	54.58
ncf_8_16_8_d.8	UNSAT	55.53
ncf_4_16_8_u.8	UNSAT	59.13
ncf_8_16_8_edau.9	UNSAT	59.87
ncf_8_32_2_u.10	UNSAT	60.59
ncf_4_8_8_d.6	FAIL	62.4
ncf_4_16_4_u.6	UNSAT	66.58
ncf_4_16_8_u.2	SAT	67.29
ncf_8_16_4_u.3	SAT	68.32
ncf_4_16_2_euad.3	UNSAT	70.87
ncf_4_8_8_edau.6	FAIL	75.59
ncf_16_32_8_d.3	SAT	75.87
ncf_4_16_4_edau.10	UNSAT	79.85
ncf_4_16_2_edau.3	UNSAT	90.4
ncf_4_16_2_d.10	FAIL	95.3
ncf_4_8_8_euad.10	SAT	101.01
ncf_4_32_2_u.4	UNSAT	105.53
ncf_4_16_8_edau.4	SAT	110.5
ncf_8_16_4_euad.3	SAT	113.25
ncf_4_8_8_d.7	SAT	115.09
ncf_4_16_8_d.5	UNSAT	124.35
ncf_4_16_8_u.9	SAT	128.7
ncf_4_16_8_euad.4	SAT	161.95
ncf_4_16_8_euad.8	UNSAT	171.89
ncf_4_8_8_d.2	UNSAT	174.84
ncf_4_16_2_d.8	SAT	187.21
ncf_16_32_8_edau.6	SAT	208.52
ncf_16_32_8_edau.3	SAT	220.29
ncf_4_16_4_euad.6	UNSAT	225.22
ncf_4_8_8_euad.7	SAT	241.9
ncf_8_32_2_edau.10	UNSAT	243.76
ncf_4_16_8_euad.2	SAT	284.34
ncf_8_16_4_edau.7	SAT	326.6
ncf_4_32_4_u.1	SAT	348.76
ncf_8_32_4_euad.9	UNSAT	354.73
ncf_8_16_8_d.9	UNSAT	444.65
ncf_8_16_4_u.7	SAT	451.44
ncf_4_16_4_edau.6	UNSAT	478.52
ncf_4_16_8_u.5	UNSAT	483.21
ncf_8_16_4_euad.7	SAT	522.52
ncf_8_16_4_edau.9	UNSAT	580.01
ncf_8_16_8_edau.3	SAT	608.38
ncf_4_16_4_d.10	UNSAT	675.38
ncf_4_8_8_edau.7	SAT	680.83
ncf_4_8_8_d.10	SAT	744.79
ncf_8_16_4_d.3	SAT	894.81
ncf_16_128_4_u.8	FAIL	900.58
ncf_16_64_4_euad.8	FAIL	900.64
ncf_8_64_8_u.10	FAIL	900.67
ncf_8_64_8_euad.4	FAIL	900.68
ncf_16_64_4_u.3	FAIL	900.75
ncf_8_64_8_u.1	FAIL	900.75
ncf_16_64_8_u.9	FAIL	900.77
ncf_4_32_4_u.6	FAIL	900.8
ncf_16_64_8_u.2	FAIL	900.81
ncf_8_32_8_u.5	FAIL	900.83
ncf_16_128_4_euad.10	FAIL	900.85
ncf_16_128_4_u.3	FAIL	900.87
ncf_16_128_8_u.4	FAIL	900.88
ncf_16_128_4_euad.4	FAIL	900.9
ncf_16_64_8_euad.2	FAIL	900.9
ncf_16_128_8_u.9	FAIL	900.91
ncf_16_128_8_euad.8	FAIL	900.91
ncf_4_32_2_u.9	FAIL	900.91
ncf_16_64_8_u.4	FAIL	900.91
ncf_4_32_4_u.7	FAIL	900.92
ncf_16_64_8_euad.5	FAIL	900.92
ncf_8_32_8_u.6	FAIL	900.93
ncf_8_64_8_euad.2	FAIL	900.94
ncf_16_64_8_u.1	FAIL	900.94
ncf_8_64_2_euad.7	FAIL	900.94
ncf_16_64_4_u.10	FAIL	900.94
ncf_16_64_8_euad.3	FAIL	900.94
ncf_16_64_4_u.6	FAIL	900.94
ncf_16_64_2_euad.7	FAIL	900.94
ncf_16_64_8_euad.7	FAIL	900.94
ncf_16_64_8_euad.4	FAIL	900.94
ncf_8_64_8_edau.9	FAIL	900.94
ncf_16_64_4_edau.6	FAIL	900.94
ncf_4_32_2_u.6	FAIL	900.94
ncf_8_32_4_u.4	FAIL	900.94
ncf_16_32_8_euad.1	FAIL	900.94
ncf_8_64_8_u.3	FAIL	900.94
ncf_16_64_8_euad.1	FAIL	900.95
ncf_8_64_2_u.2	FAIL	900.95
ncf_8_64_8_euad.3	FAIL	900.95
ncf_16_64_8_euad.8	FAIL	900.95
ncf_8_64_2_d.2	FAIL	900.95
ncf_8_16_8_euad.10	FAIL	900.95
ncf_16_32_8_edau.2	FAIL	900.95
ncf_8_64_8_euad.1	FAIL	900.95
ncf_16_128_4_euad.3	FAIL	900.95
ncf_16_128_4_u.10	FAIL	900.95
ncf_16_128_8_euad.2	FAIL	900.95
ncf_16_128_8_euad.6	FAIL	900.95
ncf_16_128_4_euad.2	FAIL	900.96
ncf_16_128_8_d.7	FAIL	900.96
ncf_16_64_8_u.3	FAIL	900.96
ncf_16_64_8_edau.4	FAIL	900.96
ncf_16_128_4_edau.8	FAIL	900.96
ncf_16_128_4_u.7	FAIL	900.96
ncf_8_32_8_euad.5	FAIL	900.96
ncf_4_32_8_euad.7	FAIL	900.96
ncf_4_32_2_euad.5	FAIL	900.96
ncf_8_16_8_u.2	FAIL	900.96
ncf_16_64_8_euad.6	FAIL	900.96
ncf_16_128_8_u.6	FAIL	900.96
ncf_8_64_4_u.10	FAIL	900.96
ncf_8_64_8_euad.5	FAIL	900.96
ncf_16_128_8_edau.5	FAIL	900.96
ncf_4_32_4_euad.6	FAIL	900.96
ncf_16_128_8_edau.1	FAIL	900.96
ncf_8_64_8_euad.10	FAIL	900.96
ncf_8_64_2_euad.4	FAIL	900.96
ncf_8_64_8_u.4	FAIL	900.96
ncf_16_64_4_euad.10	FAIL	900.96
ncf_8_16_8_edau.4	FAIL	900.96
ncf_16_32_8_euad.2	FAIL	900.96
ncf_16_128_8_u.7	FAIL	900.97
ncf_4_32_4_euad.1	FAIL	900.97
ncf_4_32_4_euad.10	FAIL	900.97
ncf_8_64_8_euad.8	FAIL	900.97
ncf_4_16_8_edau.5	FAIL	900.97
ncf_16_128_8_u.3	FAIL	900.97
ncf_8_64_2_u.7	FAIL	900.97
ncf_8_64_8_euad.6	FAIL	900.97
ncf_16_128_4_edau.1	FAIL	900.97
ncf_8_64_2_u.6	FAIL	900.97
ncf_16_128_8_edau.6	FAIL	900.97
ncf_16_32_8_edau.9	FAIL	900.97
ncf_16_32_8_u.1	FAIL	900.97
ncf_4_32_8_u.2	FAIL	900.97
ncf_8_32_2_u.3	FAIL	900.97
ncf_16_128_4_euad.9	FAIL	900.97
ncf_8_64_8_d.3	FAIL	900.97
ncf_8_16_8_euad.4	FAIL	900.97
ncf_16_64_8_edau.1	FAIL	900.97
ncf_8_32_4_u.8	FAIL	900.97
ncf_4_16_4_d.3	FAIL	900.97
ncf_16_128_8_d.4	FAIL	900.97
ncf_16_64_2_edau.9	FAIL	900.97
ncf_16_128_8_euad.4	FAIL	900.97
ncf_8_32_8_u.9	FAIL	900.97
ncf_8_16_8_euad.5	FAIL	900.97
ncf_8_16_8_euad.2	FAIL	900.97
ncf_8_64_8_u.2	FAIL	900.97
ncf_8_32_8_d.9	FAIL	900.97
ncf_4_32_8_euad.9	FAIL	900.97
ncf_16_64_4_euad.6	FAIL	900.97
ncf_4_32_4_euad.2	FAIL	900.97
ncf_4_16_8_euad.5	FAIL	900.97
ncf_8_64_4_euad.5	FAIL	900.98
ncf_4_32_8_edau.6	FAIL	900.98
ncf_16_128_2_d.4	FAIL	900.98
ncf_16_128_4_edau.6	FAIL	900.98
ncf_8_64_8_edau.6	FAIL	900.98
ncf_8_32_2_u.6	FAIL	900.98
ncf_16_32_8_d.9	FAIL	900.98
ncf_8_64_8_edau.8	FAIL	900.98
ncf_4_32_8_euad.5	FAIL	900.98
ncf_16_128_2_u.8	FAIL	900.98
ncf_16_128_8_d.10	FAIL	900.98
ncf_8_32_2_u.2	FAIL	900.98
ncf_16_128_4_d.2	FAIL	900.98
ncf_8_32_4_edau.4	FAIL	900.98
ncf_16_128_2_u.1	FAIL	900.98
ncf_8_64_2_edau.1	FAIL	900.98
ncf_16_128_2_edau.9	FAIL	900.98
ncf_16_64_2_euad.6	FAIL	900.98
ncf_16_64_4_euad.3	FAIL	900.98
ncf_4_32_2_d.3	FAIL	900.98
ncf_8_32_8_euad.8	FAIL	900.98
ncf_16_64_8_d.6	FAIL	900.98
ncf_4_32_8_edau.9	FAIL	900.98
ncf_8_32_8_euad.6	FAIL	900.98
ncf_8_32_8_euad.10	FAIL	900.98
ncf_4_32_2_euad.6	FAIL	900.98
ncf_16_128_8_edau.8	FAIL	900.98
ncf_16_64_4_edau.2	FAIL	900.98
ncf_8_32_8_d.2	FAIL	900.98
ncf_8_32_4_d.3	FAIL	900.98
ncf_16_64_8_u.8	FAIL	900.98
ncf_8_64_8_u.5	FAIL	900.98
ncf_8_32_2_u.4	FAIL	900.98
ncf_8_64_4_u.8	FAIL	900.98
ncf_4_32_4_d.9	FAIL	900.98
ncf_16_128_4_u.4	FAIL	900.98
ncf_16_128_2_u.6	FAIL	900.98
ncf_8_32_8_u.1	FAIL	900.98
ncf_16_128_8_edau.3	FAIL	900.98
ncf_4_32_8_d.2	FAIL	900.98
ncf_16_128_2_euad.10	FAIL	900.98
ncf_8_64_2_u.4	FAIL	900.98
ncf_4_32_8_euad.10	FAIL	900.98
ncf_16_128_2_u.10	FAIL	900.98
ncf_16_64_4_edau.10	FAIL	900.98
ncf_16_64_2_euad.2	FAIL	900.98
ncf_8_64_4_euad.2	FAIL	900.98
ncf_8_32_8_euad.4	FAIL	900.98
ncf_16_128_2_edau.1	FAIL	900.98
ncf_8_64_2_euad.2	FAIL	900.98
ncf_16_64_4_u.5	FAIL	900.98
ncf_16_128_4_d.5	FAIL	900.98
ncf_8_64_4_edau.4	FAIL	900.98
ncf_16_128_4_u.2	FAIL	900.98
ncf_8_64_8_edau.10	FAIL	900.98
ncf_16_128_8_edau.9	FAIL	900.98
ncf_8_64_8_edau.5	FAIL	900.98
ncf_16_64_8_edau.3	FAIL	900.98
ncf_16_128_8_edau.4	FAIL	900.98
ncf_4_32_8_u.9	FAIL	900.98
ncf_16_128_8_edau.7	FAIL	900.98
ncf_8_64_4_euad.7	FAIL	900.98
ncf_8_64_4_u.5	FAIL	900.98
ncf_16_128_2_edau.10	FAIL	900.98
ncf_8_64_4_d.7	FAIL	900.98
ncf_16_128_2_euad.9	FAIL	900.98
ncf_16_32_8_u.2	FAIL	900.98
ncf_8_64_4_edau.3	FAIL	900.98
ncf_8_32_4_d.2	FAIL	900.98
ncf_8_64_4_u.7	FAIL	900.98
ncf_8_64_4_euad.10	FAIL	900.98
ncf_16_64_8_u.7	FAIL	900.98
ncf_16_128_8_euad.9	FAIL	900.98
ncf_8_32_4_edau.9	FAIL	900.98
ncf_16_128_4_edau.9	FAIL	900.98
ncf_4_32_4_euad.9	FAIL	900.98
ncf_16_64_2_edau.6	FAIL	900.98
ncf_16_128_4_d.8	FAIL	900.99
ncf_16_128_2_euad.1	FAIL	900.99
ncf_4_32_4_u.2	FAIL	900.99
ncf_8_64_2_euad.5	FAIL	900.99
ncf_16_128_8_u.5	FAIL	900.99
ncf_4_32_2_edau.4	FAIL	900.99
ncf_16_128_8_euad.3	FAIL	900.99
ncf_8_64_8_d.7	FAIL	900.99
ncf_16_128_8_edau.2	FAIL	900.99
ncf_8_32_4_d.5	FAIL	900.99
ncf_8_64_8_u.8	FAIL	900.99
ncf_8_16_8_u.5	FAIL	900.99
ncf_8_64_4_u.2	FAIL	900.99
ncf_8_32_4_euad.5	FAIL	900.99
ncf_4_16_8_d.4	FAIL	900.99
ncf_8_32_4_u.3	FAIL	900.99
ncf_16_64_8_edau.10	FAIL	900.99
ncf_4_32_2_d.5	FAIL	900.99
ncf_16_64_4_u.8	FAIL	900.99
ncf_16_128_8_u.10	FAIL	900.99
ncf_8_32_4_edau.7	FAIL	900.99
ncf_16_128_8_d.9	FAIL	900.99
ncf_16_128_8_euad.10	FAIL	900.99
ncf_8_32_2_edau.2	FAIL	900.99
ncf_16_128_2_euad.8	FAIL	900.99
ncf_4_32_8_edau.2	FAIL	900.99
ncf_4_16_8_edau.1	FAIL	900.99
ncf_16_64_8_edau.8	FAIL	900.99
ncf_16_128_4_edau.3	FAIL	900.99
ncf_8_32_8_d.8	FAIL	900.99
ncf_4_32_2_euad.9	FAIL	900.99
ncf_8_32_8_edau.7	FAIL	900.99
ncf_8_32_4_u.6	FAIL	900.99
ncf_16_128_8_edau.10	FAIL	900.99
ncf_8_64_4_edau.7	FAIL	900.99
ncf_4_16_4_euad.2	FAIL	900.99
ncf_8_32_2_edau.3	FAIL	900.99
ncf_4_32_2_u.5	FAIL	900.99
ncf_16_64_8_u.5	FAIL	900.99
ncf_16_64_2_euad.5	FAIL	900.99
ncf_8_32_2_edau.5	FAIL	900.99
ncf_16_64_4_edau.3	FAIL	900.99
ncf_8_32_8_u.4	FAIL	900.99
ncf_16_64_4_u.7	FAIL	900.99
ncf_4_32_8_euad.1	FAIL	900.99
ncf_8_64_4_edau.10	FAIL	900.99
ncf_4_32_8_d.3	FAIL	900.99
ncf_16_128_4_edau.4	FAIL	900.99
ncf_16_64_8_euad.9	FAIL	900.99
ncf_16_64_8_edau.7	FAIL	900.99
ncf_8_32_2_edau.4	FAIL	900.99
ncf_16_128_8_euad.7	FAIL	900.99
ncf_4_32_8_d.4	FAIL	900.99
ncf_8_64_4_u.6	FAIL	900.99
ncf_4_16_4_edau.2	FAIL	900.99
ncf_16_128_2_u.9	FAIL	900.99
ncf_16_128_2_u.2	FAIL	900.99
ncf_8_64_2_edau.7	FAIL	900.99
ncf_16_64_8_euad.10	FAIL	900.99
ncf_8_16_8_edau.2	FAIL	900.99
ncf_16_128_2_u.5	FAIL	900.99
ncf_16_128_2_u.4	FAIL	900.99
ncf_16_64_4_d.10	FAIL	900.99
ncf_16_64_8_d.8	FAIL	900.99
ncf_16_128_8_u.8	FAIL	900.99
ncf_4_16_8_d.3	FAIL	900.99
ncf_4_32_4_edau.9	FAIL	900.99
ncf_4_32_4_euad.5	FAIL	900.99
ncf_8_64_4_edau.8	FAIL	900.99
ncf_16_128_2_d.8	FAIL	900.99
ncf_4_32_2_d.7	FAIL	900.99
ncf_8_32_2_euad.7	FAIL	900.99
ncf_4_32_8_d.5	FAIL	900.99
ncf_16_128_8_d.1	FAIL	900.99
ncf_4_32_4_u.8	FAIL	900.99
ncf_8_16_8_euad.3	FAIL	900.99
ncf_16_64_4_edau.4	FAIL	900.99
ncf_8_32_8_d.7	FAIL	900.99
ncf_8_32_4_u.2	FAIL	900.99
ncf_8_32_8_edau.5	FAIL	900.99
ncf_16_64_4_euad.9	FAIL	900.99
ncf_16_128_2_edau.5	FAIL	900.99
ncf_4_32_2_u.8	FAIL	900.99
ncf_8_64_4_euad.6	FAIL	900.99
ncf_4_32_8_edau.5	FAIL	900.99
ncf_16_128_4_euad.6	FAIL	900.99
ncf_8_64_8_d.1	FAIL	900.99
ncf_16_64_2_u.5	FAIL	900.99
ncf_16_128_4_euad.1	FAIL	900.99
ncf_8_64_2_edau.10	FAIL	900.99
ncf_8_16_8_u.4	FAIL	900.99
ncf_8_32_8_edau.8	FAIL	900.99
ncf_4_32_2_edau.5	FAIL	900.99
ncf_16_32_8_edau.1	FAIL	900.99
ncf_16_64_4_euad.1	FAIL	900.99
ncf_16_128_2_euad.3	FAIL	900.99
ncf_16_64_2_d.3	FAIL	900.99
ncf_16_128_8_u.1	FAIL	900.99
ncf_16_64_8_d.7	FAIL	900.99
ncf_8_64_8_d.5	FAIL	900.99
ncf_16_128_4_u.9	FAIL	900.99
ncf_4_32_4_edau.1	FAIL	900.99
ncf_8_32_2_u.1	FAIL	900.99
ncf_4_32_2_edau.10	FAIL	900.99
ncf_8_32_2_d.3	FAIL	900.99
ncf_16_64_2_u.8	FAIL	900.99
ncf_8_64_2_d.7	FAIL	900.99
ncf_16_64_8_edau.9	FAIL	900.99
ncf_16_64_4_u.1	FAIL	900.99
ncf_16_128_4_edau.5	FAIL	900.99
ncf_16_128_4_euad.7	FAIL	900.99
ncf_4_32_8_edau.8	FAIL	900.99
ncf_4_16_8_d.2	FAIL	900.99
ncf_16_128_2_euad.5	FAIL	900.99
ncf_4_32_8_euad.2	FAIL	900.99
ncf_8_64_8_edau.1	FAIL	900.99
ncf_16_64_2_edau.4	FAIL	900.99
ncf_8_64_2_d.10	FAIL	900.99
ncf_16_64_2_u.7	FAIL	900.99
ncf_8_32_4_euad.4	FAIL	900.99
ncf_16_64_2_u.6	FAIL	900.99
ncf_4_32_4_edau.4	FAIL	900.99
ncf_16_128_8_d.6	FAIL	900.99
ncf_16_128_8_u.2	FAIL	900.99
ncf_8_64_4_euad.4	FAIL	900.99
ncf_8_32_8_euad.7	FAIL	900.99
ncf_8_32_8_u.10	FAIL	900.99
ncf_4_32_4_u.5	FAIL	900.99
ncf_16_64_2_euad.4	FAIL	900.99
ncf_16_64_8_d.5	FAIL	900.99
ncf_4_32_2_euad.7	FAIL	900.99
ncf_4_32_4_euad.7	FAIL	900.99
ncf_16_64_8_d.1	FAIL	900.99
ncf_4_32_8_edau.1	FAIL	900.99
ncf_8_16_8_u.10	FAIL	900.99
ncf_8_64_2_u.9	FAIL	900.99
ncf_4_32_4_d.3	FAIL	900.99
ncf_8_64_4_d.9	FAIL	900.99
ncf_8_64_4_d.6	FAIL	900.99
ncf_4_16_8_euad.6	FAIL	900.99
ncf_4_32_4_edau.6	FAIL	900.99
ncf_16_128_4_u.5	FAIL	900.99
ncf_16_64_8_d.10	FAIL	900.99
ncf_4_16_8_euad.1	FAIL	900.99
ncf_8_32_8_u.7	FAIL	900.99
ncf_4_32_8_u.3	FAIL	900.99
ncf_16_64_2_u.2	FAIL	900.99
ncf_8_64_8_edau.2	FAIL	900.99
ncf_8_64_4_edau.2	FAIL	900.99
ncf_8_32_8_d.10	FAIL	900.99
ncf_8_64_8_euad.7	FAIL	900.99
ncf_16_32_8_d.2	FAIL	900.99
ncf_4_32_2_euad.10	FAIL	900.99
ncf_8_32_2_euad.8	FAIL	900.99
ncf_4_32_8_edau.10	FAIL	900.99
ncf_4_32_4_euad.8	FAIL	900.99
ncf_16_128_2_edau.7	FAIL	900.99
ncf_16_64_8_u.10	FAIL	901
ncf_16_64_2_edau.3	FAIL	901
ncf_8_64_2_edau.9	FAIL	901
ncf_4_32_4_u.10	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_4_32_8_d.8	FAIL	901
ncf_8_32_2_edau.8	FAIL	901
ncf_8_64_8_u.6	FAIL	901
ncf_8_16_8_edau.10	FAIL	901
ncf_8_32_8_d.4	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_16_64_2_edau.8	FAIL	901
ncf_16_128_2_euad.6	FAIL	901
ncf_8_16_4_d.7	FAIL	901
ncf_8_32_4_u.1	FAIL	901
ncf_16_128_4_euad.5	FAIL	901
ncf_8_64_2_edau.3	FAIL	901
ncf_4_16_4_d.6	FAIL	901
ncf_4_32_2_edau.8	FAIL	901
ncf_4_32_4_edau.5	FAIL	901
ncf_4_16_4_u.2	FAIL	901
ncf_4_16_8_d.9	FAIL	901
ncf_4_32_4_d.2	FAIL	901
ncf_8_32_2_edau.7	FAIL	901
ncf_16_64_4_d.8	FAIL	901
ncf_16_128_2_d.3	FAIL	901
ncf_16_64_2_u.9	FAIL	901
ncf_4_32_8_u.5	FAIL	901
ncf_8_64_2_u.3	FAIL	901
ncf_4_32_4_u.3	FAIL	901
ncf_16_64_4_u.4	FAIL	901
ncf_16_64_2_d.5	FAIL	901
ncf_8_32_8_u.8	FAIL	901
ncf_8_32_4_euad.1	FAIL	901
ncf_8_64_4_d.5	FAIL	901
ncf_8_32_8_edau.10	FAIL	901
ncf_8_64_4_edau.1	FAIL	901
ncf_4_32_4_d.5	FAIL	901
ncf_16_64_2_edau.7	FAIL	901
ncf_8_64_2_euad.1	FAIL	901
ncf_16_64_2_edau.2	FAIL	901
ncf_4_16_2_d.3	FAIL	901
ncf_8_32_4_u.9	FAIL	901
ncf_8_32_4_edau.6	FAIL	901
ncf_4_32_4_d.6	FAIL	901
ncf_4_32_2_d.8	FAIL	901
ncf_8_64_4_u.9	FAIL	901
ncf_4_16_8_edau.8	FAIL	901
ncf_8_16_8_d.2	FAIL	901
ncf_8_64_4_u.3	FAIL	901
ncf_16_64_4_d.4	FAIL	901
ncf_16_64_2_d.9	FAIL	901
ncf_8_16_8_u.3	FAIL	901
ncf_16_64_4_u.9	FAIL	901
ncf_4_16_8_euad.3	FAIL	901
ncf_8_64_4_d.2	FAIL	901
ncf_16_64_8_u.6	FAIL	901
ncf_16_64_2_u.3	FAIL	901
ncf_8_32_2_edau.6	FAIL	901
ncf_4_16_8_u.3	FAIL	901
ncf_8_64_8_d.4	FAIL	901
ncf_8_32_2_u.7	FAIL	901
ncf_8_64_2_euad.10	FAIL	901
ncf_8_32_8_u.2	FAIL	901
ncf_8_32_2_d.8	FAIL	901
ncf_8_32_4_edau.8	FAIL	901
ncf_8_32_8_edau.6	FAIL	901
ncf_4_32_4_u.4	FAIL	901
ncf_4_32_8_d.1	FAIL	901
ncf_8_64_2_u.10	FAIL	901
ncf_4_32_2_edau.7	FAIL	901
ncf_8_32_4_edau.10	FAIL	901
ncf_16_64_8_d.4	FAIL	901
ncf_16_64_2_euad.8	FAIL	901
ncf_4_32_4_edau.2	FAIL	901
ncf_16_128_2_u.7	FAIL	901
ncf_4_32_2_d.9	FAIL	901
ncf_8_32_2_euad.4	FAIL	901
ncf_8_32_4_euad.3	FAIL	901
ncf_16_128_2_edau.3	FAIL	901
ncf_4_16_4_edau.3	FAIL	901
ncf_16_128_4_d.6	FAIL	901
ncf_8_64_2_edau.6	FAIL	901
ncf_16_128_8_d.8	FAIL	901
ncf_16_64_8_edau.5	FAIL	901
ncf_4_32_4_d.1	FAIL	901
ncf_8_32_4_edau.2	FAIL	901
ncf_16_64_4_edau.9	FAIL	901
ncf_4_32_8_euad.3	FAIL	901
ncf_4_32_8_u.7	FAIL	901
ncf_16_32_8_u.9	FAIL	901
ncf_8_64_4_edau.6	FAIL	901
ncf_4_32_8_u.1	FAIL	901
ncf_16_128_4_edau.10	FAIL	901
ncf_8_32_8_edau.9	FAIL	901
ncf_8_64_4_euad.1	FAIL	901
ncf_8_16_8_d.4	FAIL	901
ncf_16_64_8_edau.6	FAIL	901
ncf_8_64_2_d.4	FAIL	901
ncf_4_16_8_edau.9	FAIL	901
ncf_8_64_8_euad.9	FAIL	901
ncf_16_128_2_euad.7	FAIL	901
ncf_16_64_2_d.7	FAIL	901
ncf_4_32_2_edau.6	FAIL	901
ncf_8_32_4_edau.5	FAIL	901
ncf_8_16_8_d.3	FAIL	901
ncf_16_128_2_edau.2	FAIL	901
ncf_8_64_8_d.9	FAIL	901
ncf_16_64_8_d.3	FAIL	901
ncf_8_32_4_d.10	FAIL	901
ncf_4_32_8_euad.6	FAIL	901
ncf_4_16_4_d.2	FAIL	901
ncf_16_128_8_d.3	FAIL	901
ncf_16_64_2_edau.5	FAIL	901
ncf_4_32_4_d.7	FAIL	901
ncf_8_64_4_d.3	FAIL	901
ncf_8_32_4_d.1	FAIL	901
ncf_8_64_2_d.6	FAIL	901
ncf_4_32_8_u.6	FAIL	901
ncf_16_128_4_euad.8	FAIL	901
ncf_8_64_2_d.3	FAIL	901
ncf_16_128_2_edau.6	FAIL	901
ncf_4_16_8_edau.2	FAIL	901
ncf_16_128_4_d.1	FAIL	901
ncf_16_128_4_d.3	FAIL	901
ncf_8_32_4_euad.8	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_32_8_euad.9	FAIL	901
ncf_8_32_2_euad.1	FAIL	901
ncf_16_32_8_euad.9	FAIL	901
ncf_16_64_8_d.2	FAIL	901
ncf_16_128_4_edau.7	FAIL	901
ncf_8_32_4_edau.1	FAIL	901
ncf_16_128_2_d.9	FAIL	901
ncf_4_32_8_edau.3	FAIL	901
ncf_16_64_4_euad.7	FAIL	901
ncf_4_32_4_edau.8	FAIL	901
ncf_4_32_2_edau.3	FAIL	901
ncf_8_32_8_d.1	FAIL	901
ncf_8_32_4_u.10	FAIL	901
ncf_16_128_4_u.1	FAIL	901
ncf_4_16_8_u.1	FAIL	901
ncf_4_32_2_euad.4	FAIL	901
ncf_16_64_2_edau.10	FAIL	901
ncf_16_128_8_euad.5	FAIL	901
ncf_16_128_4_d.9	FAIL	901
ncf_16_128_8_d.2	FAIL	901
ncf_16_128_2_edau.8	FAIL	901
ncf_16_64_4_d.6	FAIL	901
ncf_8_32_2_d.1	FAIL	901
ncf_4_32_4_edau.7	FAIL	901
ncf_16_64_4_euad.4	FAIL	901
ncf_8_32_8_d.5	FAIL	901
ncf_16_64_2_euad.9	FAIL	901
ncf_16_64_4_edau.7	FAIL	901
ncf_16_64_4_d.5	FAIL	901
ncf_16_128_2_d.1	FAIL	901
ncf_4_32_8_d.9	FAIL	901
ncf_8_64_2_euad.8	FAIL	901
ncf_16_128_2_euad.4	FAIL	901
ncf_4_8_8_edau.2	FAIL	901
ncf_8_32_4_edau.3	FAIL	901
ncf_8_64_4_euad.8	FAIL	901
ncf_16_64_4_d.1	FAIL	901
ncf_16_128_4_edau.2	FAIL	901
ncf_16_64_4_edau.8	FAIL	901
ncf_4_32_2_d.6	FAIL	901
ncf_16_64_2_d.2	FAIL	901
ncf_16_64_4_d.3	FAIL	901
ncf_4_16_8_d.8	FAIL	901
ncf_4_32_8_d.7	FAIL	901
ncf_8_64_8_u.7	FAIL	901
ncf_8_64_2_d.1	FAIL	901
ncf_8_16_8_d.5	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_16_128_2_d.2	FAIL	901
ncf_4_32_8_u.4	FAIL	901
ncf_8_64_2_d.9	FAIL	901
ncf_8_32_4_d.9	FAIL	901
ncf_8_32_2_d.4	FAIL	901
ncf_4_32_4_d.4	FAIL	901
ncf_4_16_8_d.6	FAIL	901
ncf_16_64_2_u.4	FAIL	901
ncf_8_32_8_euad.2	FAIL	901
ncf_4_16_8_d.1	FAIL	901
ncf_8_64_4_euad.3	FAIL	901
ncf_8_32_2_d.7	FAIL	901
ncf_4_16_8_edau.3	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_64_4_d.8	FAIL	901
ncf_4_32_8_d.6	FAIL	901
ncf_16_64_8_d.9	FAIL	901
ncf_16_64_4_euad.5	FAIL	901
ncf_16_32_8_d.1	FAIL	901
ncf_16_128_2_euad.2	FAIL	901
ncf_8_64_8_edau.4	FAIL	901
ncf_4_32_4_u.9	FAIL	901
ncf_16_128_4_d.4	FAIL	901
ncf_4_32_2_u.3	FAIL	901
ncf_8_32_2_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_8_32_4_u.7	FAIL	901
ncf_4_16_8_edau.6	FAIL	901
ncf_16_64_2_d.8	FAIL	901
ncf_8_32_8_edau.2	FAIL	901
ncf_8_32_2_d.2	FAIL	901
ncf_8_32_2_euad.2	FAIL	901
ncf_8_64_2_edau.2	FAIL	901
ncf_8_16_8_edau.5	FAIL	901
ncf_4_32_8_edau.4	FAIL	901
ncf_8_64_2_edau.8	FAIL	901
ncf_8_64_8_d.2	FAIL	901
ncf_8_32_4_euad.2	FAIL	901
ncf_4_32_8_u.10	FAIL	901
ncf_16_64_2_d.10	FAIL	901
ncf_8_32_4_euad.10	FAIL	901
ncf_8_64_8_edau.7	FAIL	901
ncf_8_32_2_u.8	FAIL	901
ncf_8_64_4_d.1	FAIL	901
ncf_16_64_4_euad.2	FAIL	901
ncf_4_32_2_u.10	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_u.8	FAIL	901
ncf_16_128_8_d.5	FAIL	901
ncf_4_32_2_d.10	FAIL	901
ncf_16_64_4_u.2	FAIL	901
ncf_16_128_2_d.5	FAIL	901
ncf_8_64_4_euad.9	FAIL	901
ncf_8_64_4_d.4	FAIL	901
ncf_8_64_8_d.6	FAIL	901
ncf_16_64_4_edau.5	FAIL	901
ncf_8_64_2_euad.6	FAIL	901
ncf_4_32_2_u.7	FAIL	901.01
ncf_16_64_2_d.6	FAIL	901.01
ncf_16_64_4_d.9	FAIL	901.01
ncf_4_32_8_euad.8	FAIL	901.01
ncf_4_16_8_euad.9	FAIL	901.01
ncf_8_64_2_edau.4	FAIL	901.01
ncf_16_64_2_euad.10	FAIL	901.01
ncf_16_64_2_d.4	FAIL	901.01
ncf_8_64_4_u.4	FAIL	901.01
ncf_8_64_8_edau.3	FAIL	901.01
ncf_8_32_2_d.5	FAIL	901.01
ncf_16_128_2_d.6	FAIL	901.01
ncf_8_64_8_d.8	FAIL	901.01
ncf_8_64_2_edau.5	FAIL	901.01
ncf_8_32_2_euad.3	FAIL	901.01
ncf_16_64_8_edau.2	FAIL	901.01
ncf_8_64_2_u.8	FAIL	901.01
ncf_16_128_2_d.7	FAIL	901.01
ncf_4_32_4_euad.3	FAIL	901.01
ncf_4_32_8_edau.7	FAIL	901.01
ncf_4_32_2_euad.8	FAIL	901.01
ncf_4_32_2_d.4	FAIL	901.01
ncf_8_64_8_u.9	FAIL	901.01
ncf_8_64_2_u.5	FAIL	901.01
ncf_4_16_8_u.6	FAIL	901.01
ncf_8_32_8_edau.4	FAIL	901.01
ncf_8_64_4_edau.5	FAIL	901.01
ncf_4_32_2_edau.9	FAIL	901.01
ncf_4_32_4_edau.3	FAIL	901.01
ncf_8_32_4_d.4	FAIL	901.01
ncf_4_32_4_euad.4	FAIL	901.01
ncf_8_32_8_d.6	FAIL	901.01
ncf_8_32_2_edau.1	FAIL	901.01
ncf_8_32_4_d.8	FAIL	901.01
ncf_4_32_4_edau.10	FAIL	901.01
ncf_8_64_2_euad.3	FAIL	901.01
ncf_8_32_8_edau.1	FAIL	901.01
ncf_16_128_2_edau.4	FAIL	901.01
ncf_16_128_8_euad.1	FAIL	901.01
ncf_16_64_2_euad.3	FAIL	901.01
ncf_4_32_8_d.10	FAIL	901.01
ncf_8_64_4_d.10	FAIL	901.01
ncf_8_16_4_edau.3	FAIL	901.01
ncf_8_64_4_edau.9	FAIL	901.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by WalkQSAT
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by WalkQSAT QBFEVAL'05

Instances of family CounterFactual solved by WalkQSAT
QBFEVAL'05