Instances of family CounterFactual solved by WalkQSAT
QBFEVAL'06

InstanceResultTime
ncf_4_8_2_u.1UNSAT0
ncf_4_8_2_euad.10SAT0
ncf_8_16_4_u.5UNSAT0
ncf_4_8_2_euad.1UNSAT0
ncf_8_16_4_d.5UNSAT0
ncf_4_16_2_edau.6SAT0
ncf_4_8_2_u.7UNSAT0
ncf_4_8_4_euad.9SAT0
ncf_8_16_4_euad.8UNSAT0
ncf_8_16_4_euad.5UNSAT0
ncf_4_8_2_u.2SAT0
ncf_4_8_2_u.9SAT0
ncf_8_16_4_d.10SAT0.01
ncf_8_16_4_d.2UNSAT0.01
ncf_16_32_2_d.6SAT0.01
ncf_16_32_2_edau.6SAT0.01
ncf_4_8_2_u.5SAT0.01
ncf_4_8_8_edau.5UNSAT0.01
ncf_16_32_2_d.7UNSAT0.01
ncf_4_8_4_u.3UNSAT0.01
ncf_4_8_2_euad.2SAT0.01
ncf_4_16_2_u.2SAT0.01
ncf_4_16_2_edau.9SAT0.01
ncf_8_16_4_u.1SAT0.01
ncf_4_8_4_u.7UNSAT0.01
ncf_8_16_4_edau.6UNSAT0.01
ncf_4_8_2_euad.9SAT0.01
ncf_4_8_4_u.9SAT0.01
ncf_4_8_4_u.2UNSAT0.01
ncf_8_16_4_edau.1SAT0.01
ncf_4_8_2_euad.3UNSAT0.01
ncf_4_8_4_euad.5SAT0.01
ncf_4_16_4_edau.5SAT0.01
ncf_16_32_2_edau.7UNSAT0.01
ncf_4_16_2_euad.6SAT0.01
ncf_8_16_4_edau.5UNSAT0.01
ncf_4_8_2_u.4UNSAT0.01
ncf_4_8_2_u.10SAT0.01
ncf_4_16_2_d.6SAT0.01
ncf_4_8_8_euad.9UNSAT0.01
ncf_8_16_4_euad.6UNSAT0.01
ncf_4_8_2_u.3UNSAT0.01
ncf_4_8_4_euad.3UNSAT0.01
ncf_4_8_2_u.8SAT0.01
ncf_16_32_2_d.9UNSAT0.01
ncf_4_8_4_u.6SAT0.01
ncf_4_16_2_euad.2SAT0.01
ncf_4_8_4_euad.6SAT0.01
ncf_8_16_4_u.2UNSAT0.01
ncf_16_32_2_u.6SAT0.01
ncf_4_16_2_u.6SAT0.01
ncf_8_16_4_d.1SAT0.02
ncf_4_8_4_euad.2UNSAT0.02
ncf_16_32_2_edau.8UNSAT0.02
ncf_4_16_2_edau.2SAT0.02
ncf_4_8_4_euad.8UNSAT0.02
ncf_4_16_2_d.9SAT0.02
ncf_8_16_4_edau.2UNSAT0.02
ncf_16_32_2_u.9UNSAT0.02
ncf_4_8_2_euad.5SAT0.02
ncf_8_16_4_euad.10SAT0.02
ncf_8_16_4_edau.8UNSAT0.02
ncf_16_32_2_d.8UNSAT0.02
ncf_4_8_4_u.5SAT0.02
ncf_16_32_2_euad.2UNSAT0.02
ncf_4_16_2_d.2SAT0.02
ncf_4_8_8_d.8SAT0.02
ncf_4_8_2_euad.7UNSAT0.02
ncf_4_8_8_d.9UNSAT0.02
ncf_4_16_2_u.9SAT0.02
ncf_4_8_2_euad.8SAT0.02
ncf_8_16_4_d.8UNSAT0.02
ncf_4_16_4_d.5SAT0.02
ncf_4_16_2_euad.9SAT0.02
ncf_16_32_2_euad.6SAT0.02
ncf_8_16_4_edau.10SAT0.02
ncf_4_16_4_u.5SAT0.02
ncf_8_16_4_euad.1SAT0.02
ncf_4_16_4_euad.5SAT0.02
ncf_4_8_2_euad.4UNSAT0.02
ncf_4_8_4_euad.7UNSAT0.02
ncf_4_8_8_edau.9UNSAT0.02
ncf_16_32_2_u.5UNSAT0.02
ncf_16_32_2_euad.7UNSAT0.02
ncf_16_32_2_u.2UNSAT0.02
ncf_4_8_8_d.5UNSAT0.02
ncf_8_16_4_euad.2UNSAT0.02
ncf_4_8_8_u.5UNSAT0.02
ncf_16_32_4_edau.9SAT0.03
ncf_16_32_2_u.10UNSAT0.03
ncf_4_8_8_u.4SAT0.03
ncf_4_16_2_euad.4SAT0.03
ncf_4_8_8_u.9UNSAT0.03
ncf_8_16_4_u.10SAT0.03
ncf_8_16_4_u.6UNSAT0.03
ncf_16_32_2_edau.2UNSAT0.03
ncf_16_32_2_u.7UNSAT0.03
ncf_8_16_4_d.4SAT0.03
ncf_8_16_4_d.6UNSAT0.03
ncf_4_8_4_u.8UNSAT0.03
ncf_8_16_8_edau.6UNSAT0.03
ncf_4_16_4_d.8SAT0.03
ncf_8_16_4_u.8UNSAT0.03
ncf_16_32_2_edau.9UNSAT0.03
ncf_16_32_2_u.8UNSAT0.03
ncf_16_32_2_euad.8UNSAT0.04
ncf_16_32_2_d.5UNSAT0.04
ncf_16_32_4_d.9SAT0.04
ncf_4_8_8_euad.8SAT0.04
ncf_4_16_4_euad.8SAT0.04
ncf_8_16_4_u.4SAT0.04
ncf_4_16_2_euad.1UNSAT0.04
ncf_4_16_2_u.7SAT0.04
ncf_16_32_4_edau.10UNSAT0.04
ncf_4_16_4_u.8SAT0.04
ncf_16_32_2_euad.5UNSAT0.04
ncf_4_8_8_euad.5UNSAT0.04
ncf_16_32_2_u.4UNSAT0.04
ncf_16_32_2_euad.9UNSAT0.04
ncf_16_32_4_euad.3SAT0.04
ncf_8_16_8_d.6UNSAT0.04
ncf_4_8_2_u.6SAT0.04
ncf_16_32_2_edau.5UNSAT0.04
ncf_16_32_4_euad.9SAT0.04
ncf_8_16_8_euad.6UNSAT0.04
ncf_16_32_4_u.9SAT0.04
ncf_4_8_8_u.8SAT0.05
ncf_4_8_2_euad.6SAT0.05
ncf_4_16_2_euad.7SAT0.05
ncf_4_16_2_u.5UNSAT0.05
ncf_4_8_8_edau.4SAT0.05
ncf_16_32_4_d.7UNSAT0.05
ncf_16_32_4_edau.5UNSAT0.05
ncf_16_32_2_euad.4UNSAT0.05
ncf_16_32_2_edau.3SAT0.05
ncf_16_32_2_d.4UNSAT0.05
ncf_16_32_4_u.4UNSAT0.05
ncf_4_16_2_euad.5UNSAT0.05
ncf_16_32_4_d.3SAT0.05
ncf_16_32_2_d.2UNSAT0.05
ncf_16_32_4_euad.5UNSAT0.05
ncf_4_32_2_edau.1UNSAT0.05
ncf_16_32_4_d.4UNSAT0.05
ncf_8_16_4_euad.4SAT0.05
ncf_4_16_2_u.4SAT0.05
ncf_16_32_4_edau.4UNSAT0.05
ncf_4_16_2_edau.4SAT0.05
ncf_16_32_2_u.3SAT0.06
ncf_16_32_4_d.1SAT0.06
ncf_16_32_4_d.5UNSAT0.06
ncf_4_16_4_edau.8SAT0.06
ncf_4_16_4_euad.9SAT0.06
ncf_16_32_4_d.10UNSAT0.06
ncf_4_8_8_euad.4SAT0.06
ncf_16_32_2_edau.4UNSAT0.06
ncf_4_32_2_u.1UNSAT0.06
ncf_16_32_2_edau.10UNSAT0.06
ncf_4_8_4_u.1SAT0.06
ncf_16_32_4_euad.4UNSAT0.07
ncf_16_32_4_euad.1SAT0.07
ncf_16_32_4_u.7UNSAT0.07
ncf_16_32_4_u.3SAT0.07
ncf_16_32_4_edau.7UNSAT0.07
ncf_16_32_2_u.1UNSAT0.07
ncf_8_16_8_d.7UNSAT0.08
ncf_16_32_4_edau.3SAT0.08
ncf_4_16_2_edau.5UNSAT0.08
ncf_16_32_4_euad.7UNSAT0.08
ncf_4_16_2_d.1UNSAT0.08
ncf_8_16_4_edau.4SAT0.08
ncf_16_32_2_euad.1UNSAT0.09
ncf_4_16_2_d.4SAT0.09
ncf_4_16_2_edau.7FAIL0.09
ncf_4_8_4_euad.4UNSAT0.09
ncf_16_32_4_u.5UNSAT0.09
ncf_16_32_2_euad.3SAT0.09
ncf_16_32_8_d.8UNSAT0.1
ncf_16_32_4_euad.10UNSAT0.1
ncf_8_16_4_euad.9UNSAT0.1
ncf_16_32_2_d.3SAT0.1
ncf_4_8_8_euad.6UNSAT0.1
ncf_16_32_4_u.10UNSAT0.1
ncf_8_16_8_edau.1SAT0.1
ncf_4_8_8_u.6UNSAT0.11
ncf_4_8_8_d.4SAT0.11
ncf_16_32_2_d.1UNSAT0.12
ncf_16_32_4_u.1SAT0.12
ncf_16_32_8_edau.8UNSAT0.13
ncf_8_16_8_d.1SAT0.13
ncf_16_32_8_u.8UNSAT0.13
ncf_8_16_8_euad.1SAT0.13
ncf_16_32_4_edau.1SAT0.14
ncf_8_16_8_euad.7UNSAT0.15
ncf_4_8_8_edau.8SAT0.15
ncf_16_32_2_euad.10UNSAT0.17
ncf_4_16_8_euad.7SAT0.18
ncf_16_32_4_u.8SAT0.18
ncf_16_32_4_euad.8SAT0.19
ncf_16_32_8_euad.8UNSAT0.19
ncf_16_32_4_euad.2SAT0.19
ncf_8_16_4_d.9UNSAT0.2
ncf_8_16_8_edau.8UNSAT0.21
ncf_4_8_4_euad.1SAT0.21
ncf_16_32_4_u.2SAT0.22
ncf_4_16_8_u.7SAT0.23
ncf_4_16_2_d.5UNSAT0.23
ncf_16_32_4_d.2SAT0.23
ncf_4_16_2_d.7FAIL0.26
ncf_16_32_4_d.8SAT0.29
ncf_4_16_4_edau.9SAT0.29
ncf_16_32_2_edau.1UNSAT0.3
ncf_16_32_4_euad.6UNSAT0.3
ncf_4_16_4_u.9SAT0.3
ncf_4_8_4_euad.10SAT0.31
ncf_8_16_8_edau.7UNSAT0.32
ncf_16_32_4_d.6UNSAT0.33
ncf_4_8_8_u.1SAT0.34
ncf_4_8_8_euad.1SAT0.46
ncf_16_32_8_u.4SAT0.48
ncf_16_32_4_edau.8SAT0.52
ncf_4_8_8_u.3SAT0.55
ncf_16_32_8_d.7SAT0.55
ncf_16_32_2_d.10UNSAT0.56
ncf_16_32_8_euad.4SAT0.58
ncf_4_8_4_u.10SAT0.6
ncf_4_16_2_u.10UNSAT0.62
ncf_16_32_4_u.6UNSAT0.69
ncf_4_16_4_u.1SAT0.75
ncf_4_8_4_u.4UNSAT0.76
ncf_4_16_4_u.7SAT0.83
ncf_4_16_8_d.7SAT0.93
ncf_16_32_4_edau.2SAT0.95
ncf_16_32_8_euad.5UNSAT1.07
ncf_16_32_8_d.4SAT1.08
ncf_16_32_8_euad.7SAT1.08
ncf_4_16_4_euad.1SAT1.08
ncf_4_8_8_euad.3SAT1.13
ncf_16_32_8_u.7SAT1.43
ncf_16_32_4_edau.6UNSAT1.48
ncf_4_16_2_euad.10UNSAT1.51
ncf_4_16_4_d.9SAT1.56
ncf_8_16_8_euad.9UNSAT1.59
ncf_4_8_8_euad.2UNSAT1.77
ncf_16_32_8_edau.5UNSAT1.95
ncf_4_16_2_u.1UNSAT2.1
ncf_16_32_8_u.5UNSAT3.08
ncf_4_16_2_edau.10UNSAT3.25
ncf_16_32_8_edau.4SAT3.33
ncf_16_32_8_euad.2UNSAT3.44
ncf_4_16_8_u.4SAT3.53
ncf_4_16_4_euad.7SAT3.53
ncf_16_32_8_euad.10SAT3.73
ncf_4_16_2_u.8SAT4.39
ncf_16_32_8_d.5UNSAT4.71
ncf_4_32_2_edau.2SAT5.31
ncf_4_16_8_u.10SAT5.45
ncf_4_16_4_u.4UNSAT5.56
ncf_4_32_2_u.2SAT6.42
ncf_4_16_2_edau.1UNSAT6.67
ncf_16_32_8_edau.7SAT6.76
ncf_4_16_2_edau.8SAT7.69
ncf_8_16_8_euad.8UNSAT8.07
ncf_4_16_4_edau.7SAT8.73
ncf_16_32_8_euad.6SAT9.95
ncf_4_16_4_edau.1SAT12.87
ncf_16_32_8_u.6SAT13.16
ncf_4_8_8_u.10SAT13.36
ncf_4_16_4_u.3SAT13.39
ncf_4_16_4_euad.4UNSAT14.87
ncf_16_32_8_d.6SAT15.03
ncf_16_32_8_edau.10SAT15.26
ncf_4_8_8_d.3SAT17.24
ncf_16_32_8_u.3SAT17.39
ncf_16_32_8_u.10SAT17.66
ncf_16_32_8_d.2UNSAT18.3
ncf_4_8_8_edau.3SAT19.2
ncf_16_32_8_d.10SAT19.26
ncf_4_16_4_d.1SAT19.44
ncf_4_16_2_euad.8SAT19.45
ncf_8_16_8_edau.2SAT19.74
ncf_4_16_4_u.10UNSAT22.47
ncf_16_32_8_edau.3SAT23.65
ncf_4_16_8_d.10SAT27.35
ncf_4_16_4_euad.3SAT29.74
ncf_4_16_4_euad.10UNSAT30.06
ncf_16_32_8_euad.3SAT31.33
ncf_4_8_8_edau.1SAT31.57
ncf_4_16_2_u.3UNSAT33.03
ncf_4_16_4_edau.4UNSAT38.45
ncf_4_16_4_d.7SAT43.79
ncf_8_16_8_edau.9UNSAT44.61
ncf_4_16_4_d.4FAIL47.05
ncf_4_8_8_edau.10SAT49.11
ncf_4_8_8_u.2UNSAT49.14
ncf_4_8_8_d.6FAIL52.49
ncf_4_8_8_d.1SAT56.36
ncf_4_16_8_u.8UNSAT57.44
ncf_4_8_8_d.7SAT57.56
ncf_4_8_8_euad.7SAT62.63
ncf_8_16_8_d.8UNSAT63.05
ncf_4_16_2_euad.3UNSAT69.44
ncf_4_16_8_euad.10SAT71
ncf_4_8_8_edau.6FAIL73.93
ncf_4_16_4_edau.10UNSAT75.19
ncf_8_16_4_u.9UNSAT85.17
ncf_4_16_4_u.6UNSAT89.75
ncf_4_8_8_euad.10SAT92.28
ncf_4_16_2_d.10FAIL93.86
ncf_4_32_2_u.4UNSAT103.21
ncf_4_16_4_edau.3SAT105.44
ncf_4_16_2_d.8SAT117.28
ncf_8_16_4_euad.3SAT118.36
ncf_4_16_8_u.2SAT119.68
ncf_16_32_8_d.3SAT120.26
ncf_4_16_8_u.9SAT122.04
ncf_4_16_8_d.5UNSAT132.79
ncf_8_16_8_d.9UNSAT135.82
ncf_4_16_8_euad.8UNSAT157.14
ncf_8_16_4_edau.7SAT157.34
ncf_4_8_8_d.2UNSAT170.73
ncf_4_16_4_euad.6UNSAT173.1
ncf_8_16_4_u.3SAT183.44
ncf_4_16_2_edau.3UNSAT194.54
ncf_4_16_8_euad.2SAT298.73
ncf_4_8_8_u.7SAT306.19
ncf_16_32_8_edau.6SAT333.47
ncf_4_8_8_edau.7SAT517.17
ncf_4_16_8_u.5UNSAT536.84
ncf_4_32_2_u.9FAIL600.94
ncf_16_32_8_edau.2FAIL600.96
ncf_4_16_8_euad.4FAIL600.97
ncf_8_16_4_euad.7FAIL600.97
ncf_4_16_8_euad.5FAIL600.97
ncf_4_16_8_euad.1FAIL600.97
ncf_8_16_8_euad.10FAIL600.97
ncf_8_16_4_edau.3FAIL600.97
ncf_4_32_2_u.6FAIL600.97
ncf_8_16_8_euad.2FAIL600.98
ncf_4_16_8_euad.3FAIL600.98
ncf_16_32_8_u.1FAIL600.98
ncf_4_32_2_u.5FAIL600.98
ncf_16_32_8_euad.1FAIL600.98
ncf_4_16_8_u.6FAIL600.98
ncf_4_16_4_edau.6FAIL600.99
ncf_4_16_8_d.6FAIL600.99
ncf_4_32_2_u.8FAIL600.99
ncf_16_32_8_u.2FAIL600.99
ncf_4_16_4_d.3FAIL600.99
ncf_16_32_8_edau.1FAIL600.99
ncf_8_16_8_euad.5FAIL600.99
ncf_8_16_8_edau.3FAIL600.99
ncf_8_16_8_edau.5FAIL600.99
ncf_8_16_8_edau.4FAIL600.99
ncf_8_16_4_edau.9FAIL600.99
ncf_4_32_2_edau.10FAIL600.99
ncf_16_32_8_euad.9FAIL600.99
ncf_4_16_4_d.6FAIL600.99
ncf_8_16_8_euad.3FAIL600.99
ncf_8_16_8_d.4FAIL600.99
ncf_4_8_8_edau.2FAIL600.99
ncf_16_32_8_u.9FAIL600.99
ncf_4_16_8_u.1FAIL600.99
ncf_4_16_4_d.2FAIL601
ncf_8_16_4_u.7FAIL601
ncf_4_16_8_d.9FAIL601
ncf_16_32_8_d.9FAIL601
ncf_4_32_2_edau.8FAIL601
ncf_16_32_8_d.1FAIL601
ncf_8_16_8_edau.10FAIL601
ncf_8_16_4_d.3FAIL601
ncf_4_16_2_d.3FAIL601
ncf_4_16_4_d.10FAIL601
ncf_4_16_4_euad.2FAIL601
ncf_4_16_8_d.2FAIL601
ncf_8_16_8_euad.4FAIL601
ncf_4_32_2_edau.6FAIL601
ncf_16_32_8_edau.9FAIL601
ncf_4_16_8_u.3FAIL601
ncf_4_16_8_d.3FAIL601
ncf_4_16_4_edau.2FAIL601
ncf_4_16_4_u.2FAIL601
ncf_4_8_8_d.10FAIL601
ncf_8_16_8_d.5FAIL601
ncf_4_32_2_edau.7FAIL601
ncf_8_16_4_d.7FAIL601
ncf_8_16_8_d.10FAIL601
ncf_4_16_8_d.4FAIL601
ncf_4_16_8_euad.9FAIL601
ncf_8_16_8_d.3FAIL601
ncf_4_32_2_u.3FAIL601
ncf_8_16_8_d.2FAIL601
ncf_4_32_2_u.7FAIL601
ncf_4_32_2_edau.4FAIL601
ncf_4_16_8_d.8FAIL601
ncf_4_16_8_euad.6FAIL601
ncf_4_32_2_u.10FAIL601.01
ncf_4_16_8_d.1FAIL601.01
ncf_4_32_2_edau.9FAIL601.01
ncf_4_32_2_edau.5FAIL601.01
ncf_4_32_2_edau.3FAIL601.01