Instances of family CounterFactual solved by Qbfl
QBFEVAL'06

InstanceResultTime
ncf_8_16_4_edau.5UNSAT0
ncf_4_8_2_euad.4UNSAT0.01
ncf_4_8_2_u.1UNSAT0.01
ncf_4_8_2_euad.5SAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_4_8_2_u.5SAT0.01
ncf_4_8_2_euad.1UNSAT0.01
ncf_4_8_4_u.9SAT0.01
ncf_4_8_4_u.4FAIL0.01
ncf_8_16_4_d.5UNSAT0.01
ncf_4_8_2_u.4UNSAT0.01
ncf_4_8_2_u.10SAT0.01
ncf_4_8_4_euad.9SAT0.01
ncf_8_16_4_euad.5UNSAT0.01
ncf_4_8_8_edau.9UNSAT0.02
ncf_8_16_4_euad.2UNSAT0.02
ncf_8_16_4_d.2UNSAT0.02
ncf_4_8_2_euad.10SAT0.02
ncf_4_8_4_euad.2UNSAT0.02
ncf_4_8_2_euad.2SAT0.02
ncf_4_8_4_u.2UNSAT0.02
ncf_4_8_2_euad.9SAT0.02
ncf_4_8_2_euad.8SAT0.02
ncf_4_8_2_u.7UNSAT0.02
ncf_4_8_2_u.8SAT0.03
ncf_8_16_4_u.2UNSAT0.03
ncf_4_8_8_u.9UNSAT0.03
ncf_4_8_2_u.9SAT0.04
ncf_8_16_4_edau.2UNSAT0.04
ncf_4_8_8_d.9UNSAT0.04
ncf_4_8_8_euad.9UNSAT0.04
ncf_4_8_2_euad.7UNSAT0.05
ncf_4_8_8_edau.4SAT0.08
ncf_4_8_2_u.2SAT0.09
ncf_4_8_8_d.4SAT0.11
ncf_4_8_2_euad.6SAT0.12
ncf_4_8_8_u.4SAT0.13
ncf_4_16_2_euad.6SAT0.15
ncf_4_8_8_euad.4SAT0.15
ncf_4_16_2_u.6SAT0.17
ncf_4_16_2_u.9SAT0.17
ncf_16_32_2_u.7UNSAT0.18
ncf_4_8_2_u.6SAT0.18
ncf_4_16_2_edau.9SAT0.2
ncf_4_16_2_d.9SAT0.21
ncf_16_32_2_edau.7UNSAT0.25
ncf_4_16_2_euad.9SAT0.25
ncf_4_16_2_edau.6SAT0.3
ncf_16_32_2_euad.7UNSAT0.34
ncf_16_32_2_d.7UNSAT0.42
ncf_4_8_4_euad.3UNSAT0.48
ncf_4_16_2_d.6SAT0.48
ncf_4_8_4_euad.10UNSAT0.52
ncf_8_16_4_u.6UNSAT0.63
ncf_8_16_4_u.8UNSAT0.85
ncf_8_16_4_euad.6UNSAT0.89
ncf_8_16_4_edau.6UNSAT0.97
ncf_8_16_4_euad.8UNSAT0.99
ncf_4_16_2_u.7SAT1.28
ncf_4_8_4_u.3UNSAT1.34
ncf_8_16_4_d.6UNSAT1.42
ncf_4_8_4_euad.8UNSAT1.78
ncf_8_16_8_d.1SAT2.49
ncf_8_16_8_euad.1SAT2.52
ncf_4_8_4_euad.6SAT2.52
ncf_4_8_4_u.8UNSAT2.53
ncf_4_8_8_euad.1SAT2.54
ncf_4_8_4_u.1SAT2.56
ncf_4_16_2_euad.7SAT2.78
ncf_4_16_2_edau.7SAT2.85
ncf_8_16_4_edau.1SAT3
ncf_8_16_4_u.1SAT3
ncf_4_8_8_edau.6UNSAT3.06
ncf_16_32_2_edau.9UNSAT3.14
ncf_16_32_2_u.9UNSAT3.15
ncf_4_16_4_euad.9SAT3.55
ncf_4_16_2_d.7SAT4.07
ncf_4_8_8_d.6UNSAT4.31
ncf_4_16_2_euad.2SAT4.83
ncf_8_16_4_edau.8UNSAT5.17
ncf_4_8_8_d.1SAT5.6
ncf_4_8_8_u.6UNSAT6.46
ncf_8_16_4_d.8UNSAT6.84
ncf_8_16_8_edau.1SAT7.69
ncf_8_16_4_euad.10SAT7.74
ncf_4_16_4_d.9SAT8.58
ncf_4_16_4_euad.5SAT9.05
ncf_4_8_4_euad.1SAT10.41
ncf_4_8_4_u.10SAT10.64
ncf_4_8_4_euad.4UNSAT10.69
ncf_4_16_4_edau.9SAT11.67
ncf_4_8_4_u.6SAT11.87
ncf_4_16_4_u.9SAT12.31
ncf_4_16_2_u.2SAT12.31
ncf_8_16_4_d.1SAT14.61
ncf_8_16_4_euad.1SAT14.72
ncf_4_16_2_euad.5UNSAT17.74
ncf_8_16_4_d.10SAT23.29
ncf_4_8_2_euad.3UNSAT26.05
ncf_4_16_2_u.5UNSAT30.93
ncf_4_8_4_euad.7UNSAT32.36
ncf_4_8_2_u.3UNSAT32.76
ncf_4_8_4_euad.5SAT34.36
ncf_4_16_2_d.4SAT46.59
ncf_4_16_2_edau.4SAT48.78
ncf_4_8_8_edau.1SAT51.7
ncf_4_16_2_d.2SAT51.91
ncf_4_8_4_u.7UNSAT55.72
ncf_4_16_2_edau.2SAT57.61
ncf_4_8_4_u.5SAT59.25
ncf_4_8_8_u.1SAT63.3
ncf_4_16_2_edau.1UNSAT96.41
ncf_4_16_2_d.3UNSAT111.57
ncf_16_32_2_euad.9UNSAT111.75
ncf_16_32_2_d.9UNSAT112.18
ncf_4_16_2_edau.3UNSAT112.3
ncf_8_16_4_u.10SAT117.87
ncf_4_16_2_d.1UNSAT118.42
ncf_4_16_2_d.10UNSAT151.37
ncf_4_16_2_edau.10UNSAT183.21
ncf_8_16_4_edau.10SAT184.75
ncf_4_16_2_d.8SAT193.86
ncf_4_8_8_d.7SAT196.12
ncf_4_8_8_euad.3SAT196.34
ncf_4_8_8_euad.6UNSAT249.39
ncf_4_16_2_edau.8SAT250.51
ncf_8_16_8_d.9UNSAT276.75
ncf_4_16_2_edau.5UNSAT293.38
ncf_4_16_2_d.5UNSAT337.31
ncf_4_16_2_euad.4SAT345.42
ncf_4_16_4_d.1SAT352.39
ncf_4_8_8_d.8SAT409.78
ncf_4_8_8_d.10SAT481.58
ncf_4_16_4_d.7SAT515.98
ncf_4_16_2_u.8FAIL593.84
ncf_4_16_2_euad.3FAIL593.87
ncf_4_16_2_euad.8FAIL594.5
ncf_4_8_8_d.5FAIL594.59
ncf_4_16_4_euad.7FAIL594.62
ncf_4_16_4_euad.6FAIL594.8
ncf_4_16_4_euad.2FAIL594.88
ncf_4_16_4_euad.8FAIL595.03
ncf_4_8_8_u.5FAIL595.04
ncf_4_8_8_edau.3FAIL595.12
ncf_4_8_8_d.3FAIL595.24
ncf_8_16_4_d.4FAIL595.35
ncf_4_16_4_d.8FAIL595.39
ncf_4_16_2_u.10FAIL595.41
ncf_4_16_4_d.2FAIL595.42
ncf_4_16_2_euad.10FAIL595.45
ncf_8_16_4_d.3FAIL595.52
ncf_4_16_2_u.3FAIL595.52
ncf_4_32_2_u.9FAIL595.53
ncf_8_16_4_d.7FAIL595.55
ncf_4_8_8_edau.8FAIL595.58
ncf_4_32_2_u.5FAIL595.59
ncf_4_8_8_euad.8FAIL595.6
ncf_4_8_8_edau.5FAIL595.63
ncf_4_16_4_euad.3FAIL595.82
ncf_4_16_4_euad.10FAIL595.82
ncf_4_8_8_d.2FAIL595.96
ncf_8_16_4_d.9FAIL595.96
ncf_4_32_2_edau.9FAIL595.99
ncf_4_16_4_u.2FAIL595.99
ncf_4_16_4_euad.4FAIL596
ncf_4_8_8_u.10FAIL596.03
ncf_4_16_4_u.1FAIL596.08
ncf_4_16_4_u.3FAIL596.09
ncf_4_16_4_d.4FAIL596.12
ncf_4_32_2_u.6FAIL596.13
ncf_4_16_2_euad.1FAIL596.15
ncf_4_16_4_d.3FAIL596.16
ncf_4_32_2_edau.5FAIL596.19
ncf_8_16_4_euad.3FAIL596.22
ncf_4_16_4_edau.8FAIL596.25
ncf_4_32_2_edau.7FAIL596.27
ncf_8_16_4_euad.7FAIL596.32
ncf_4_8_8_u.3FAIL596.34
ncf_8_16_4_u.7FAIL596.34
ncf_4_16_4_edau.1FAIL596.37
ncf_4_32_2_edau.6FAIL596.37
ncf_4_16_2_u.4FAIL596.42
ncf_4_16_2_u.1FAIL596.45
ncf_4_32_2_u.4FAIL596.48
ncf_8_16_8_edau.6FAIL596.51
ncf_4_16_4_euad.1FAIL596.51
ncf_4_8_8_u.2FAIL596.53
ncf_8_16_8_d.7FAIL596.56
ncf_4_8_8_euad.2FAIL596.63
ncf_4_16_4_edau.7FAIL596.63
ncf_4_16_4_u.4FAIL596.68
ncf_8_16_4_edau.4FAIL596.7
ncf_4_8_8_euad.10FAIL596.71
ncf_4_8_8_edau.2FAIL596.73
ncf_4_16_8_euad.6FAIL596.75
ncf_16_32_2_euad.5FAIL596.81
ncf_4_16_4_edau.5FAIL596.83
ncf_16_32_2_edau.3FAIL596.85
ncf_4_8_8_euad.7FAIL596.87
ncf_4_16_8_euad.1FAIL596.95
ncf_16_32_2_d.3FAIL596.97
ncf_4_16_8_euad.10FAIL596.98
ncf_8_16_4_edau.3FAIL596.99
ncf_4_16_4_edau.3FAIL597
ncf_4_8_8_u.8FAIL597
ncf_4_16_8_euad.3FAIL597.01
ncf_8_16_8_d.8FAIL597.05
ncf_4_16_8_d.7FAIL597.05
ncf_4_8_8_u.7FAIL597.07
ncf_4_16_4_u.8FAIL597.07
ncf_4_8_8_euad.5FAIL597.1
ncf_4_16_4_u.7FAIL597.11
ncf_4_16_8_euad.5FAIL597.14
ncf_8_16_8_euad.4FAIL597.15
ncf_4_16_4_d.5FAIL597.16
ncf_4_32_2_u.10FAIL597.17
ncf_4_32_2_edau.2FAIL597.18
ncf_4_16_4_d.6FAIL597.19
ncf_4_32_2_u.7FAIL597.23
ncf_4_32_2_edau.3FAIL597.27
ncf_4_16_4_u.6FAIL597.28
ncf_4_32_2_edau.1FAIL597.3
ncf_16_32_4_euad.10FAIL597.3
ncf_4_16_8_d.3FAIL597.3
ncf_4_16_8_u.9FAIL597.31
ncf_8_16_4_edau.7FAIL597.31
ncf_4_16_4_d.10FAIL597.34
ncf_4_16_8_d.8FAIL597.36
ncf_8_16_4_u.3FAIL597.43
ncf_8_16_4_edau.9FAIL597.44
ncf_4_16_8_euad.2FAIL597.44
ncf_4_16_8_d.4FAIL597.45
ncf_4_16_4_edau.2FAIL597.52
ncf_4_16_4_edau.4FAIL597.53
ncf_4_32_2_edau.4FAIL597.56
ncf_4_16_8_u.10FAIL597.56
ncf_16_32_4_d.10FAIL597.57
ncf_8_16_8_euad.8FAIL597.6
ncf_4_16_8_u.1FAIL597.61
ncf_4_8_8_edau.7FAIL597.62
ncf_8_16_8_euad.9FAIL597.66
ncf_8_16_8_d.4FAIL597.72
ncf_4_16_8_euad.4FAIL597.72
ncf_4_16_4_u.5FAIL597.76
ncf_4_16_8_d.5FAIL597.76
ncf_4_16_8_u.3FAIL597.77
ncf_8_16_8_d.6FAIL597.77
ncf_16_32_2_d.5FAIL597.79
ncf_4_16_8_u.5FAIL597.82
ncf_4_16_4_u.10FAIL597.85
ncf_4_16_8_euad.9FAIL597.85
ncf_4_32_2_edau.8FAIL597.88
ncf_16_32_2_d.2FAIL597.89
ncf_16_32_4_d.8FAIL597.93
ncf_16_32_4_d.6FAIL597.93
ncf_4_16_4_edau.10FAIL597.98
ncf_16_32_2_d.10FAIL597.99
ncf_4_16_8_euad.7FAIL598
ncf_16_32_4_edau.10FAIL598
ncf_4_16_8_euad.8FAIL598.01
ncf_8_16_8_edau.3FAIL598.01
ncf_8_16_4_euad.9FAIL598.02
ncf_16_32_2_euad.10FAIL598.05
ncf_4_16_8_u.6FAIL598.08
ncf_8_16_8_d.10FAIL598.12
ncf_8_16_8_edau.9FAIL598.13
ncf_16_32_4_d.5FAIL598.13
ncf_16_32_4_d.2FAIL598.13
ncf_4_32_2_edau.10FAIL598.13
ncf_4_32_2_u.2FAIL598.14
ncf_8_16_8_euad.7FAIL598.14
ncf_8_16_8_d.2FAIL598.16
ncf_8_16_8_edau.7FAIL598.17
ncf_8_16_8_euad.2FAIL598.21
ncf_4_16_8_u.8FAIL598.23
ncf_4_16_4_edau.6FAIL598.25
ncf_4_32_2_u.1FAIL598.27
ncf_16_32_2_edau.5FAIL598.28
ncf_4_16_8_d.10FAIL598.31
ncf_8_16_8_edau.8FAIL598.33
ncf_16_32_4_d.7FAIL598.35
ncf_8_16_8_euad.3FAIL598.37
ncf_4_32_2_u.8FAIL598.37
ncf_16_32_4_d.4FAIL598.38
ncf_8_16_4_u.9FAIL598.38
ncf_16_32_2_d.6FAIL598.4
ncf_16_32_4_euad.5FAIL598.4
ncf_4_16_8_u.7FAIL598.41
ncf_4_16_8_u.4FAIL598.48
ncf_8_16_8_euad.10FAIL598.48
ncf_16_32_4_u.5FAIL598.5
ncf_8_16_8_d.5FAIL598.5
ncf_4_32_2_u.3FAIL598.51
ncf_16_32_4_d.3FAIL598.53
ncf_16_32_2_edau.10FAIL598.54
ncf_16_32_4_edau.3FAIL598.6
ncf_8_16_8_euad.5FAIL598.64
ncf_4_16_8_u.2FAIL598.67
ncf_16_32_4_edau.6FAIL598.7
ncf_16_32_2_d.1FAIL598.71
ncf_16_32_4_edau.7FAIL598.72
ncf_4_16_8_d.2FAIL598.74
ncf_16_32_4_edau.8FAIL598.78
ncf_8_16_4_euad.4FAIL598.8
ncf_16_32_2_edau.1FAIL598.8
ncf_16_32_8_d.3FAIL598.81
ncf_16_32_4_edau.5FAIL598.81
ncf_16_32_4_d.9FAIL598.82
ncf_4_16_8_d.1FAIL598.84
ncf_16_32_2_u.5FAIL598.87
ncf_8_16_8_euad.6FAIL598.87
ncf_4_16_8_d.9FAIL598.9
ncf_16_32_2_d.8FAIL598.92
ncf_16_32_4_u.10FAIL598.95
ncf_4_8_8_edau.10FAIL599
ncf_16_32_2_edau.6FAIL599
ncf_16_32_8_d.2FAIL599.04
ncf_16_32_4_edau.9FAIL599.08
ncf_8_16_8_d.3FAIL599.09
ncf_16_32_2_edau.2FAIL599.09
ncf_16_32_8_euad.5FAIL599.16
ncf_8_16_4_u.4FAIL599.18
ncf_16_32_4_edau.4FAIL599.2
ncf_8_16_8_edau.4FAIL599.21
ncf_16_32_2_u.2FAIL599.23
ncf_16_32_4_d.1FAIL599.23
ncf_16_32_2_d.4FAIL599.23
ncf_16_32_8_d.6FAIL599.25
ncf_16_32_4_euad.6FAIL599.26
ncf_16_32_8_euad.3FAIL599.32
ncf_16_32_8_d.4FAIL599.35
ncf_8_16_8_edau.2FAIL599.35
ncf_16_32_8_u.3FAIL599.36
ncf_4_16_8_d.6FAIL599.38
ncf_8_16_8_edau.10FAIL599.4
ncf_8_16_8_edau.5FAIL599.4
ncf_16_32_4_edau.2FAIL599.42
ncf_16_32_2_u.10FAIL599.52
ncf_16_32_8_euad.4FAIL599.59
ncf_16_32_8_d.7FAIL599.6
ncf_16_32_2_edau.4FAIL599.6
ncf_16_32_8_u.7FAIL599.61
ncf_16_32_4_u.2FAIL599.61
ncf_16_32_8_d.8FAIL599.64
ncf_16_32_2_edau.8FAIL599.66
ncf_16_32_8_edau.10FAIL599.68
ncf_16_32_2_euad.2FAIL599.71
ncf_16_32_2_euad.1FAIL599.72
ncf_16_32_8_d.10FAIL599.72
ncf_16_32_4_edau.1FAIL599.72
ncf_16_32_8_edau.6FAIL599.75
ncf_16_32_4_euad.8FAIL599.77
ncf_16_32_4_u.6FAIL599.79
ncf_16_32_2_u.3FAIL599.82
ncf_16_32_4_euad.1FAIL599.84
ncf_16_32_8_edau.3FAIL599.86
ncf_16_32_2_euad.4FAIL599.88
ncf_16_32_8_edau.7FAIL599.89
ncf_16_32_4_u.8FAIL599.89
ncf_16_32_2_euad.3FAIL599.9
ncf_16_32_8_edau.2FAIL599.92
ncf_16_32_4_u.1FAIL599.94
ncf_16_32_8_d.9FAIL599.94
ncf_16_32_8_edau.4FAIL599.96
ncf_16_32_8_euad.7FAIL599.97
ncf_16_32_2_u.4FAIL599.97
ncf_16_32_4_euad.9FAIL599.98
ncf_16_32_2_u.6FAIL599.98
ncf_16_32_2_euad.6SAT2081.31
ncf_16_32_4_euad.4FAIL5976.52
ncf_16_32_8_euad.10FAIL5982.2
ncf_16_32_8_u.4FAIL5982.6
ncf_16_32_8_edau.8FAIL5983.6
ncf_16_32_8_edau.5FAIL5983.79
ncf_16_32_8_d.5FAIL5984.12
ncf_16_32_8_u.6FAIL5984.83
ncf_16_32_2_euad.8FAIL5986.28
ncf_16_32_8_u.10FAIL5986.63
ncf_16_32_4_euad.2FAIL5987.3
ncf_16_32_8_euad.8FAIL5987.57
ncf_16_32_8_u.9FAIL5987.6
ncf_16_32_8_u.8FAIL5988.26
ncf_16_32_8_u.5FAIL5988.47
ncf_16_32_8_edau.9FAIL5989.78
ncf_16_32_4_u.9FAIL5990.34
ncf_16_32_4_u.4FAIL5990.46
ncf_16_32_4_u.3FAIL5990.93
ncf_16_32_8_u.2FAIL5992.43
ncf_16_32_4_u.7FAIL5992.57
ncf_16_32_4_euad.7FAIL5992.69
ncf_16_32_2_u.1FAIL5993.02
ncf_16_32_2_u.8FAIL5993.57
ncf_16_32_8_euad.9FAIL5993.7
ncf_16_32_8_edau.1FAIL5994.61
ncf_16_32_8_euad.6FAIL5994.67
ncf_16_32_8_d.1FAIL5994.72
ncf_16_32_8_euad.2FAIL5995.25
ncf_16_32_4_euad.3FAIL5995.49
ncf_16_32_8_u.1FAIL5996.69
ncf_16_32_8_euad.1FAIL5997.22