Instances of family CounterFactual solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
ncf_4_8_4_euad.5SAT0
ncf_4_16_4_edau.5SAT0
ncf_8_16_4_d.5UNSAT0
ncf_4_16_2_d.2SAT0
ncf_4_16_2_edau.6SAT0
ncf_4_8_2_u.10SAT0
ncf_4_16_2_euad.6FAIL0
ncf_4_8_2_euad.8SAT0
ncf_8_16_4_edau.5UNSAT0
ncf_16_32_2_euad.9UNSAT0
ncf_8_16_4_euad.5UNSAT0
ncf_4_16_2_euad.9SAT0
ncf_4_8_2_euad.4UNSAT0
ncf_4_16_4_d.1SAT0
ncf_4_16_2_edau.4SAT0
ncf_16_32_2_edau.9UNSAT0
ncf_8_16_4_d.1SAT0
ncf_4_8_2_u.1UNSAT0
ncf_8_16_4_d.10SAT0
ncf_4_8_4_euad.2UNSAT0
ncf_4_16_2_edau.2SAT0
ncf_4_8_2_euad.10FAIL0
ncf_4_16_2_d.9SAT0
ncf_16_32_2_edau.6SAT0
ncf_8_16_4_edau.2UNSAT0
ncf_4_8_2_euad.5FAIL0
ncf_4_8_2_euad.1UNSAT0
ncf_4_8_4_u.5SAT0.01
ncf_4_16_4_edau.8SAT0.01
ncf_4_8_8_d.9UNSAT0.01
ncf_4_16_2_u.9SAT0.01
ncf_4_8_2_u.4UNSAT0.01
ncf_4_16_4_u.8SAT0.01
ncf_4_8_2_u.7UNSAT0.01
ncf_4_8_4_euad.9SAT0.01
ncf_8_16_4_d.8UNSAT0.01
ncf_8_16_4_edau.10SAT0.01
ncf_4_16_4_d.5SAT0.01
ncf_8_16_4_d.6UNSAT0.01
ncf_4_16_2_d.6SAT0.01
ncf_4_8_8_euad.9UNSAT0.01
ncf_4_8_2_u.8SAT0.01
ncf_16_32_2_d.9UNSAT0.01
ncf_4_16_2_u.6FAIL0.01
ncf_4_16_4_d.8SAT0.01
ncf_4_16_4_euad.1SAT0.01
ncf_8_16_4_u.2UNSAT0.01
ncf_4_8_2_u.9SAT0.01
ncf_4_8_2_euad.6SAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_4_16_2_d.4SAT0.01
ncf_16_32_2_u.9UNSAT0.01
ncf_4_16_4_euad.8SAT0.01
ncf_4_8_4_u.2UNSAT0.01
ncf_8_16_4_edau.1SAT0.01
ncf_4_16_2_edau.9SAT0.01
ncf_8_16_4_u.1SAT0.01
ncf_8_16_4_edau.6UNSAT0.01
ncf_4_8_8_u.9UNSAT0.01
ncf_4_8_4_u.9SAT0.01
ncf_4_8_8_d.8SAT0.02
ncf_4_8_2_euad.7UNSAT0.02
ncf_4_8_8_edau.8SAT0.02
ncf_16_32_4_edau.1FAIL0.02
ncf_4_8_2_u.6SAT0.02
ncf_4_16_4_u.5FAIL0.02
ncf_8_16_4_euad.1SAT0.02
ncf_4_16_4_euad.5FAIL0.02
ncf_4_8_8_edau.9UNSAT0.02
ncf_8_16_8_euad.1SAT0.02
ncf_4_16_2_u.4SAT0.02
ncf_8_16_8_edau.1SAT0.02
ncf_8_16_4_euad.2UNSAT0.02
ncf_4_16_4_u.1SAT0.02
ncf_16_32_4_edau.9SAT0.02
ncf_16_32_4_d.9SAT0.02
ncf_8_16_4_d.2UNSAT0.02
ncf_16_32_2_d.6SAT0.02
ncf_4_8_2_u.5FAIL0.02
ncf_4_8_8_edau.5UNSAT0.02
ncf_8_16_4_edau.8UNSAT0.02
ncf_4_8_2_euad.9SAT0.02
ncf_4_16_4_edau.1SAT0.02
ncf_16_32_4_d.10UNSAT0.03
ncf_8_16_8_d.1SAT0.03
ncf_4_16_2_euad.2SAT0.03
ncf_16_32_4_edau.10UNSAT0.04
ncf_4_8_8_d.5UNSAT0.04
ncf_16_32_2_d.7UNSAT0.04
ncf_16_32_4_d.1FAIL0.04
ncf_16_32_8_d.4SAT0.04
ncf_4_16_2_u.2SAT0.04
ncf_16_32_8_edau.4SAT0.05
ncf_16_32_4_d.7UNSAT0.05
ncf_4_16_2_euad.4SAT0.05
ncf_16_32_4_edau.7UNSAT0.05
ncf_4_32_2_edau.1UNSAT0.07
ncf_4_16_2_d.5UNSAT0.09
ncf_4_8_8_edau.1SAT0.1
ncf_4_8_8_d.3SAT0.12
ncf_4_16_2_d.7SAT0.15
ncf_4_16_4_d.9SAT0.16
ncf_4_16_2_edau.5UNSAT0.17
ncf_4_8_8_edau.3SAT0.18
ncf_4_8_8_u.3SAT0.25
ncf_4_8_8_u.1SAT0.26
ncf_4_8_8_d.1SAT0.37
ncf_4_16_2_edau.7SAT0.37
ncf_4_8_2_u.2SAT0.4
ncf_4_8_8_euad.3SAT0.59
ncf_4_8_2_euad.2SAT0.96
ncf_4_16_4_edau.9SAT1.09
ncf_4_8_4_u.8UNSAT1.1
ncf_16_32_2_euad.7UNSAT1.41
ncf_4_16_4_euad.9SAT1.72
ncf_4_8_4_u.6SAT1.97
ncf_4_16_4_u.9SAT2.69
ncf_16_32_2_edau.7UNSAT2.85
ncf_4_8_4_u.10SAT3.43
ncf_4_8_4_euad.6SAT4.05
ncf_4_8_4_euad.10SAT4.81
ncf_8_16_8_edau.6UNSAT7.76
ncf_8_16_4_edau.7FAIL13.8
ncf_8_16_4_u.7FAIL15.82
ncf_4_32_2_edau.3FAIL16.25
ncf_4_16_2_u.5FAIL16.26
ncf_4_8_4_euad.8UNSAT16.48
ncf_8_16_4_d.7FAIL16.5
ncf_4_8_8_u.7FAIL16.69
ncf_4_32_2_u.6FAIL16.98
ncf_4_16_8_u.6FAIL16.98
ncf_8_16_4_d.3FAIL17
ncf_4_16_8_u.1FAIL17.09
ncf_4_16_4_edau.3FAIL17.12
ncf_4_16_4_u.6FAIL17.15
ncf_8_16_8_edau.2FAIL17.21
ncf_4_16_8_u.3FAIL17.26
ncf_4_8_8_u.2FAIL17.27
ncf_4_32_2_edau.7FAIL17.43
ncf_4_16_8_u.4FAIL17.44
ncf_4_16_8_u.9FAIL17.47
ncf_4_16_4_u.2FAIL17.54
ncf_4_32_2_edau.10FAIL17.54
ncf_16_32_2_edau.2FAIL17.55
ncf_4_8_8_edau.10FAIL17.57
ncf_4_16_4_u.4FAIL17.61
ncf_16_32_8_euad.3FAIL17.65
ncf_8_16_4_u.3FAIL17.66
ncf_4_16_4_edau.4FAIL17.81
ncf_4_32_2_edau.9FAIL17.81
ncf_16_32_8_u.10FAIL17.85
ncf_4_16_8_euad.1FAIL17.87
ncf_4_32_2_edau.5FAIL17.88
ncf_4_16_4_euad.4FAIL17.88
ncf_4_16_2_edau.3FAIL17.94
ncf_4_32_2_u.2FAIL17.97
ncf_4_8_8_u.10FAIL17.98
ncf_16_32_4_d.6FAIL18.01
ncf_8_16_4_u.4FAIL18.07
ncf_4_16_4_d.10FAIL18.07
ncf_16_32_4_u.9FAIL18.08
ncf_8_16_8_d.4FAIL18.09
ncf_4_8_8_edau.7FAIL18.1
ncf_16_32_8_u.3FAIL18.11
ncf_4_32_2_u.10FAIL18.12
ncf_16_32_4_edau.6FAIL18.13
ncf_8_16_4_u.9FAIL18.19
ncf_4_16_4_euad.2FAIL18.19
ncf_16_32_4_edau.3FAIL18.25
ncf_4_32_2_u.8FAIL18.25
ncf_4_8_8_edau.2FAIL18.27
ncf_16_32_8_u.5FAIL18.29
ncf_4_16_8_u.2FAIL18.3
ncf_8_16_4_euad.7FAIL18.33
ncf_16_32_2_u.2FAIL18.35
ncf_8_16_8_euad.9FAIL18.35
ncf_4_32_2_edau.8FAIL18.37
ncf_4_16_8_u.8FAIL18.38
ncf_16_32_2_d.4FAIL18.4
ncf_8_16_4_u.10FAIL18.44
ncf_16_32_8_u.6FAIL18.46
ncf_4_8_4_euad.3FAIL18.52
ncf_4_32_2_u.5FAIL18.54
ncf_16_32_8_edau.2FAIL18.6
ncf_4_16_8_d.9FAIL18.6
ncf_4_32_2_edau.4FAIL18.62
ncf_8_16_4_euad.4FAIL18.65
ncf_16_32_8_u.4FAIL18.7
ncf_4_8_4_euad.1FAIL18.72
ncf_4_16_8_euad.9FAIL18.74
ncf_8_16_4_euad.3FAIL18.74
ncf_4_16_4_edau.6FAIL18.74
ncf_4_32_2_u.3FAIL18.75
ncf_16_32_8_edau.8FAIL18.77
ncf_16_32_4_u.1FAIL18.78
ncf_16_32_2_euad.8FAIL18.78
ncf_16_32_4_euad.9FAIL18.87
ncf_4_16_4_euad.6FAIL18.93
ncf_4_8_8_u.6FAIL18.97
ncf_4_16_2_euad.5FAIL19.03
ncf_4_16_8_euad.6FAIL19.03
ncf_16_32_8_u.9FAIL19.06
ncf_4_8_8_d.10FAIL19.08
ncf_16_32_4_u.2FAIL19.08
ncf_16_32_4_d.5FAIL19.11
ncf_16_32_8_u.1FAIL19.11
ncf_16_32_4_euad.8FAIL19.13
ncf_4_16_4_d.4FAIL19.16
ncf_16_32_4_euad.4FAIL19.17
ncf_4_16_8_euad.7FAIL19.28
ncf_4_16_8_u.5FAIL19.29
ncf_4_16_2_d.3FAIL19.29
ncf_16_32_4_u.8FAIL19.3
ncf_4_8_8_u.8FAIL19.3
ncf_16_32_4_u.10FAIL19.31
ncf_16_32_4_u.3FAIL19.31
ncf_4_16_4_edau.7FAIL19.33
ncf_16_32_8_edau.9FAIL19.34
ncf_16_32_8_u.7FAIL19.36
ncf_4_8_8_d.7FAIL19.37
ncf_16_32_2_u.10FAIL19.37
ncf_16_32_8_u.8FAIL19.4
ncf_16_32_4_d.4FAIL19.41
ncf_16_32_2_d.1FAIL19.46
ncf_8_16_4_d.9FAIL19.48
ncf_16_32_4_euad.2FAIL19.49
ncf_4_16_4_euad.10FAIL19.53
ncf_16_32_8_edau.7FAIL19.59
ncf_16_32_2_u.4FAIL19.63
ncf_16_32_2_d.2FAIL19.67
ncf_16_32_4_u.7FAIL19.67
ncf_16_32_8_u.2FAIL19.68
ncf_16_32_4_u.5FAIL19.74
ncf_4_16_8_d.6FAIL19.74
ncf_4_16_4_euad.3FAIL19.75
ncf_4_8_8_d.6FAIL19.77
ncf_16_32_2_u.5FAIL19.79
ncf_16_32_4_edau.2FAIL19.81
ncf_4_16_8_d.10FAIL19.85
ncf_16_32_2_edau.4FAIL19.86
ncf_8_16_8_euad.2FAIL19.87
ncf_4_16_4_edau.10FAIL19.89
ncf_4_32_2_u.4FAIL19.89
ncf_8_16_8_edau.9FAIL19.92
ncf_8_16_4_euad.8FAIL19.94
ncf_4_32_2_u.7FAIL19.97
ncf_16_32_2_u.1FAIL20.04
ncf_16_32_2_u.6FAIL20.04
ncf_4_16_4_u.7FAIL20.05
ncf_16_32_4_d.3FAIL20.11
ncf_16_32_2_euad.3FAIL20.12
ncf_4_16_4_euad.7FAIL20.27
ncf_8_16_4_euad.10FAIL20.3
ncf_4_8_8_euad.7FAIL20.34
ncf_16_32_4_euad.10FAIL20.36
ncf_16_32_4_euad.3FAIL20.36
ncf_16_32_2_euad.6FAIL20.38
ncf_8_16_4_edau.3FAIL20.4
ncf_4_16_8_euad.10FAIL20.4
ncf_16_32_8_euad.4FAIL20.6
ncf_4_16_4_d.6FAIL20.61
ncf_4_16_8_euad.3FAIL20.63
ncf_16_32_2_euad.2FAIL20.64
ncf_16_32_2_euad.1FAIL20.64
ncf_16_32_8_edau.1FAIL20.64
ncf_4_16_2_edau.8FAIL20.66
ncf_16_32_8_d.9FAIL20.74
ncf_8_16_8_d.2FAIL20.75
ncf_4_16_4_d.2FAIL20.77
ncf_8_16_8_edau.10FAIL20.82
ncf_16_32_2_u.3FAIL20.9
ncf_4_16_8_u.7FAIL20.94
ncf_16_32_4_u.6FAIL20.98
ncf_8_16_8_edau.4FAIL21.02
ncf_8_16_4_u.8FAIL21.03
ncf_8_16_4_euad.9FAIL21.13
ncf_8_16_8_d.10FAIL21.15
ncf_16_32_2_euad.4FAIL21.19
ncf_16_32_8_d.8FAIL21.23
ncf_4_8_8_edau.4FAIL21.24
ncf_4_16_2_edau.1FAIL21.33
ncf_8_16_8_edau.7FAIL21.33
ncf_4_8_8_u.4FAIL21.35
ncf_16_32_8_edau.3FAIL21.37
ncf_16_32_4_euad.1FAIL21.37
ncf_8_16_8_d.9FAIL21.4
ncf_16_32_4_edau.4FAIL21.45
ncf_8_16_8_edau.5FAIL21.61
ncf_16_32_4_u.4FAIL21.62
ncf_16_32_8_edau.5FAIL21.69
ncf_16_32_8_euad.10FAIL21.81
ncf_4_8_8_euad.10FAIL21.84
ncf_16_32_8_euad.7FAIL21.84
ncf_4_16_4_u.10FAIL21.95
ncf_16_32_4_euad.6FAIL22.01
ncf_16_32_2_edau.8FAIL22.04
ncf_4_8_2_u.3FAIL22.12
ncf_16_32_4_euad.7FAIL22.18
ncf_16_32_2_euad.5FAIL22.27
ncf_4_8_8_edau.6FAIL22.31
ncf_8_16_8_euad.3FAIL22.32
ncf_16_32_2_euad.10FAIL22.35
ncf_16_32_8_d.5FAIL22.38
ncf_16_32_8_euad.2FAIL22.47
ncf_16_32_2_edau.5FAIL22.47
ncf_4_16_4_u.3FAIL22.48
ncf_8_16_8_euad.10FAIL22.55
ncf_8_16_8_euad.7FAIL22.72
ncf_4_16_4_d.3FAIL22.74
ncf_16_32_8_edau.10FAIL22.75
ncf_16_32_2_d.5FAIL22.83
ncf_16_32_8_euad.5FAIL22.85
ncf_4_16_8_d.1FAIL22.88
ncf_8_16_4_d.4FAIL22.89
ncf_16_32_2_edau.1FAIL22.91
ncf_8_16_4_euad.6FAIL22.99
ncf_4_16_8_d.5FAIL23.01
ncf_4_16_2_d.1FAIL23.08
ncf_4_16_4_d.7FAIL23.08
ncf_16_32_2_u.8FAIL23.09
ncf_4_8_8_euad.8FAIL23.17
ncf_4_16_8_euad.5FAIL23.31
ncf_4_8_8_euad.6FAIL23.34
ncf_4_16_2_euad.1FAIL23.43
ncf_4_8_4_u.3FAIL23.52
ncf_16_32_8_euad.9FAIL23.53
ncf_16_32_8_d.2FAIL23.57
ncf_16_32_8_edau.6FAIL23.64
ncf_4_16_8_d.8FAIL23.66
ncf_4_8_4_u.7FAIL23.69
ncf_16_32_2_d.10FAIL23.71
ncf_16_32_8_euad.8FAIL23.72
ncf_8_16_8_d.5FAIL23.95
ncf_16_32_4_d.2FAIL24.09
ncf_16_32_8_d.10FAIL24.1
ncf_16_32_2_edau.10FAIL24.12
ncf_4_32_2_edau.6FAIL24.17
ncf_16_32_4_edau.8FAIL24.18
ncf_16_32_8_euad.6FAIL24.25
ncf_8_16_8_euad.5FAIL24.28
ncf_16_32_8_d.7FAIL24.29
ncf_4_16_8_d.3FAIL24.46
ncf_16_32_4_euad.5FAIL24.52
ncf_8_16_8_euad.4FAIL24.53
ncf_16_32_8_d.1FAIL24.54
ncf_8_16_4_edau.4FAIL24.57
ncf_16_32_2_d.8FAIL24.65
ncf_8_16_8_edau.3FAIL24.81
ncf_4_16_2_u.1FAIL25.11
ncf_4_16_2_euad.3FAIL25.12
ncf_4_16_8_u.10FAIL25.16
ncf_4_16_4_edau.2FAIL25.37
ncf_8_16_8_d.3FAIL25.38
ncf_4_8_4_euad.7FAIL25.58
ncf_4_16_2_u.10FAIL25.67
ncf_16_32_8_euad.1FAIL25.85
ncf_8_16_4_u.6FAIL26.06
ncf_16_32_4_edau.5FAIL26.49
ncf_16_32_4_d.8FAIL26.61
ncf_4_8_4_euad.4FAIL26.81
ncf_4_16_8_d.2FAIL26.83
ncf_4_16_8_euad.2FAIL26.85
ncf_8_16_8_d.7FAIL27.42
ncf_4_16_8_euad.8FAIL27.44
ncf_8_16_8_edau.8FAIL27.53
ncf_4_16_2_u.3FAIL28
ncf_8_16_8_d.8FAIL28.35
ncf_4_16_8_d.4FAIL28.48
ncf_4_16_2_euad.10FAIL28.54
ncf_4_16_2_edau.10FAIL28.56
ncf_4_8_8_euad.2FAIL29.06
ncf_8_16_8_euad.8FAIL29.08
ncf_4_16_2_u.8FAIL30.28
ncf_4_8_4_u.1FAIL31.5
ncf_16_32_8_d.3FAIL31.73
ncf_4_8_8_u.5FAIL31.9
ncf_8_16_8_d.6FAIL32.18
ncf_16_32_2_u.7UNSAT32.94
ncf_8_16_4_edau.9FAIL33
ncf_4_16_8_euad.4FAIL33.44
ncf_4_16_2_euad.8FAIL33.67
ncf_4_16_2_d.8FAIL34.75
ncf_4_8_8_euad.4FAIL35.38
ncf_4_8_4_u.4FAIL36.13
ncf_4_16_2_d.10FAIL37.03
ncf_16_32_2_d.3FAIL37.59
ncf_16_32_2_edau.3FAIL40.6
ncf_4_8_8_euad.1SAT40.89
ncf_4_32_2_u.1FAIL42.61
ncf_16_32_8_d.6FAIL50.62
ncf_4_8_8_d.2FAIL53.72
ncf_8_16_8_euad.6FAIL57.83
ncf_4_32_2_u.9FAIL63.51
ncf_4_8_8_euad.5FAIL92.65
ncf_4_8_8_d.4FAIL188.05
ncf_4_16_2_u.7SAT234.32
ncf_4_32_2_edau.2SAT248.02
ncf_4_8_2_euad.3FAIL297.64
ncf_4_16_2_euad.7FAIL600.29
ncf_4_16_8_d.7FAIL600.34