Instances of family CounterFactual solved by openQbf
QBFEVAL'06

InstanceResultTime
ncf_4_8_4_u.9SAT0.2
ncf_4_8_4_euad.7UNSAT0.2
ncf_4_8_2_u.1UNSAT0.2
ncf_4_8_2_euad.1UNSAT0.21
ncf_4_8_2_euad.3UNSAT0.21
ncf_4_8_2_u.4UNSAT0.21
ncf_4_8_4_euad.9SAT0.22
ncf_4_8_2_euad.4UNSAT0.23
ncf_8_16_4_euad.2UNSAT0.23
ncf_8_16_4_d.2UNSAT0.23
ncf_4_8_2_euad.10SAT0.23
ncf_4_8_2_u.5SAT0.24
ncf_16_32_2_u.9UNSAT0.25
ncf_4_8_8_edau.9UNSAT0.25
ncf_16_32_2_edau.9UNSAT0.25
ncf_8_16_4_edau.2UNSAT0.26
ncf_4_8_2_euad.5SAT0.26
ncf_8_16_4_u.5UNSAT0.26
ncf_16_32_2_edau.7UNSAT0.26
ncf_8_16_4_d.5UNSAT0.27
ncf_4_8_2_euad.7UNSAT0.27
ncf_16_32_2_d.2UNSAT0.27
ncf_16_32_2_euad.7UNSAT0.27
ncf_4_8_8_u.9UNSAT0.28
ncf_4_8_8_d.9UNSAT0.28
ncf_4_8_2_u.10SAT0.28
ncf_4_8_2_u.3UNSAT0.28
ncf_8_16_4_d.8UNSAT0.29
ncf_8_16_4_euad.8UNSAT0.29
ncf_8_16_4_euad.5UNSAT0.29
ncf_8_16_4_u.2UNSAT0.29
ncf_16_32_2_d.7UNSAT0.3
ncf_4_8_4_u.7UNSAT0.3
ncf_16_32_2_edau.2UNSAT0.3
ncf_8_16_4_edau.5UNSAT0.3
ncf_4_8_8_euad.9UNSAT0.3
ncf_4_8_2_u.8SAT0.3
ncf_8_16_4_edau.8UNSAT0.31
ncf_8_16_4_euad.6UNSAT0.31
ncf_16_32_2_euad.9UNSAT0.31
ncf_16_32_2_d.9UNSAT0.31
ncf_4_8_2_u.9SAT0.31
ncf_4_8_8_d.5UNSAT0.32
ncf_4_8_2_euad.9SAT0.33
ncf_4_8_2_euad.8SAT0.33
ncf_4_8_2_u.7UNSAT0.33
ncf_4_8_8_euad.5UNSAT0.33
ncf_4_8_4_euad.2UNSAT0.34
ncf_16_32_2_u.7UNSAT0.35
ncf_8_16_4_edau.6UNSAT0.37
ncf_16_32_2_euad.2UNSAT0.39
ncf_4_8_4_u.3UNSAT0.4
ncf_8_16_4_u.6UNSAT0.4
ncf_8_16_4_u.8UNSAT0.4
ncf_4_8_2_euad.2SAT0.41
ncf_4_8_8_edau.5UNSAT0.43
ncf_8_16_8_d.6UNSAT0.43
ncf_16_32_2_edau.4UNSAT0.43
ncf_16_32_2_d.4UNSAT0.44
ncf_8_16_8_euad.6UNSAT0.44
ncf_16_32_4_euad.7UNSAT0.45
ncf_16_32_4_euad.4UNSAT0.45
ncf_4_8_4_u.2UNSAT0.46
ncf_8_16_4_d.6UNSAT0.47
ncf_4_8_4_u.8UNSAT0.47
ncf_4_8_2_euad.6SAT0.47
ncf_4_8_8_u.5UNSAT0.48
ncf_4_8_2_u.6SAT0.49
ncf_4_8_4_euad.3UNSAT0.5
ncf_4_8_4_euad.8UNSAT0.5
ncf_4_8_8_u.4SAT0.51
ncf_16_32_4_edau.4UNSAT0.51
ncf_16_32_4_d.4UNSAT0.54
ncf_4_8_2_u.2SAT0.54
ncf_8_16_8_edau.6UNSAT0.54
ncf_4_8_8_euad.4SAT0.55
ncf_4_16_2_u.9SAT0.58
ncf_16_32_4_edau.7UNSAT0.59
ncf_16_32_2_euad.4UNSAT0.65
ncf_16_32_4_u.7UNSAT0.66
ncf_4_16_2_d.9SAT0.69
ncf_4_8_4_euad.6SAT0.79
ncf_4_8_4_u.4UNSAT0.81
ncf_16_32_4_d.7UNSAT0.87
ncf_4_16_2_euad.9SAT0.88
ncf_4_8_4_u.6SAT0.93
ncf_4_16_2_edau.9SAT0.98
ncf_4_16_2_euad.6SAT1.04
ncf_4_8_4_euad.4UNSAT1.14
ncf_4_8_8_edau.4SAT1.19
ncf_4_16_2_u.6SAT1.31
ncf_4_8_4_euad.5SAT1.39
ncf_4_16_2_d.6SAT1.44
ncf_4_16_2_d.10UNSAT1.54
ncf_4_16_2_edau.6SAT1.61
ncf_4_16_2_euad.10UNSAT1.61
ncf_4_16_2_edau.10UNSAT1.73
ncf_4_16_4_u.9SAT2.02
ncf_4_8_4_u.5SAT2.33
ncf_4_8_4_euad.10SAT2.38
ncf_4_8_8_u.1SAT2.61
ncf_4_8_8_euad.1SAT2.79
ncf_4_16_2_u.10UNSAT2.86
ncf_4_8_4_u.1SAT2.9
ncf_16_32_8_edau.8UNSAT2.92
ncf_8_16_4_u.1SAT3
ncf_8_16_4_edau.1SAT3.03
ncf_4_8_4_u.10SAT3.25
ncf_16_32_8_d.8UNSAT3.53
ncf_8_16_8_edau.1SAT3.83
ncf_4_16_2_euad.5UNSAT4.36
ncf_4_16_2_edau.7SAT4.66
ncf_4_16_4_euad.9SAT4.81
ncf_4_16_2_euad.2SAT5.24
ncf_8_16_8_euad.1SAT5.31
ncf_8_16_8_d.1SAT5.42
ncf_8_16_4_euad.10SAT5.71
ncf_4_16_2_d.5UNSAT6.09
ncf_4_16_2_u.7SAT6.1
ncf_16_32_8_euad.8UNSAT6.31
ncf_4_8_4_euad.1SAT7.16
ncf_16_32_4_euad.5UNSAT7.2
ncf_8_16_4_euad.1SAT7.32
ncf_8_16_4_d.1SAT7.32
ncf_4_16_2_d.7SAT8.15
ncf_4_8_8_euad.3SAT8.28
ncf_16_32_2_edau.8UNSAT9.28
ncf_4_16_2_u.2SAT9.98
ncf_4_8_8_euad.8SAT9.99
ncf_4_8_8_d.4SAT10.1
ncf_16_32_2_u.2UNSAT12.54
ncf_16_32_2_euad.8UNSAT12.7
ncf_4_16_2_euad.3UNSAT13.43
ncf_4_16_2_euad.7SAT14.18
ncf_8_16_4_u.10SAT15.96
ncf_16_32_4_d.5UNSAT16.06
ncf_4_16_2_euad.4SAT18.61
ncf_4_16_4_euad.5SAT18.84
ncf_4_16_4_euad.1SAT19.01
ncf_16_32_2_d.8UNSAT19.6
ncf_4_8_8_u.8SAT21.64
ncf_4_16_2_euad.1UNSAT22.84
ncf_8_16_4_edau.9UNSAT26.63
ncf_4_16_2_u.8SAT26.99
ncf_4_16_2_u.4SAT27.47
ncf_4_16_2_euad.8SAT31.45
ncf_4_16_2_u.3UNSAT32.22
ncf_4_16_2_d.2SAT32.96
ncf_4_16_2_edau.2SAT33.02
ncf_4_16_2_u.5UNSAT34.47
ncf_4_8_8_d.2UNSAT39.02
ncf_4_16_4_euad.6UNSAT44.44
ncf_4_16_2_d.1UNSAT50.19
ncf_4_16_4_edau.9SAT53.86
ncf_16_32_4_euad.10UNSAT59.88
ncf_4_8_8_u.7SAT63.49
ncf_4_16_2_u.1UNSAT68.02
ncf_4_8_8_u.3SAT68.7
ncf_4_16_4_u.7SAT77.93
ncf_4_8_8_euad.7SAT81.45
ncf_4_16_2_d.4SAT91.94
ncf_16_32_4_u.4UNSAT95.29
ncf_4_16_2_edau.4SAT96.13
ncf_4_16_4_u.5SAT96.57
ncf_16_32_2_u.4UNSAT99.62
ncf_4_16_4_u.1SAT99.73
ncf_4_16_4_d.9SAT100.74
ncf_4_16_4_euad.7SAT104.82
ncf_4_8_8_euad.2UNSAT123.94
ncf_16_32_8_u.8UNSAT169.82
ncf_8_16_4_euad.4SAT170.94
ncf_4_16_2_edau.3UNSAT171.96
ncf_4_8_8_u.10SAT173
ncf_4_16_2_d.3UNSAT184.01
ncf_4_16_2_edau.8SAT187.05
ncf_4_16_4_edau.10UNSAT189.52
ncf_4_8_8_euad.10SAT195.25
ncf_4_16_2_edau.5UNSAT232.74
ncf_4_8_8_u.2UNSAT239.33
ncf_4_16_2_edau.1UNSAT256.9
ncf_4_16_4_euad.4UNSAT262.06
ncf_8_16_4_d.10SAT310.46
ncf_4_16_4_u.6UNSAT323.43
ncf_4_16_2_d.8SAT325.31
ncf_4_8_8_edau.2UNSAT363.29
ncf_8_16_4_edau.10SAT391.96
ncf_8_16_8_euad.7UNSAT414.5
ncf_4_8_8_edau.1SAT511.62
ncf_4_16_4_u.10UNSAT738.74
ncf_16_32_8_edau.2UNSAT835.8
ncf_4_16_8_euad.7SAT892.58
ncf_4_32_2_u.2SAT1028.9
ncf_4_8_8_d.1SAT1031.97
ncf_4_32_2_edau.2SAT1142.17
ncf_8_16_8_edau.7UNSAT1230.04
ncf_8_16_4_u.9UNSAT1315.86
ncf_4_16_4_euad.10UNSAT1611.08
ncf_8_16_8_edau.9UNSAT2138.37
ncf_4_16_8_euad.9SAT2171.87
ncf_8_16_4_u.4SAT2262.55
ncf_8_16_8_d.7UNSAT2836.53
ncf_8_16_4_euad.3SAT3092.77
ncf_8_16_8_edau.8UNSAT3349.29
ncf_4_16_8_u.7SAT3830.08
ncf_4_8_8_edau.10SAT3839.51
ncf_4_16_4_edau.5SAT3854.03
ncf_4_16_4_d.5SAT4538.17
ncf_16_32_4_edau.5UNSAT4540.15
ncf_4_16_4_u.8SAT5179.45
ncf_4_16_4_euad.8SAT5219.03
ncf_16_32_8_euad.3SAT5516.44
ncf_8_16_4_u.3SAT5779.4
ncf_8_16_4_d.9UNSAT5927.51
ncf_16_32_4_euad.9FAIL5999.81
ncf_8_16_4_edau.7FAIL5999.82
ncf_4_32_2_edau.3FAIL5999.85
ncf_4_16_8_d.9FAIL5999.97
ncf_16_32_2_euad.3FAIL6000.01
ncf_4_8_8_d.3FAIL6000.03
ncf_16_32_2_u.8FAIL6000.14
ncf_4_32_2_u.3FAIL6000.33
ncf_4_16_4_edau.8FAIL6000.4
ncf_16_32_4_edau.8FAIL6000.41
ncf_16_32_8_u.3FAIL6000.44
ncf_4_16_4_d.2FAIL6000.49
ncf_4_8_8_d.8FAIL6000.5
ncf_4_8_8_edau.3FAIL6000.51
ncf_8_16_8_euad.2FAIL6000.52
ncf_4_32_2_u.7FAIL6000.58
ncf_8_16_8_d.4FAIL6000.67
ncf_8_16_4_d.3FAIL6000.69
ncf_4_8_8_d.10FAIL6000.69
ncf_8_16_8_d.3FAIL6000.71
ncf_16_32_2_u.5FAIL6000.71
ncf_16_32_8_u.9FAIL6000.71
ncf_8_16_4_edau.4FAIL6000.72
ncf_16_32_2_edau.3FAIL6000.73
ncf_8_16_8_euad.5FAIL6000.73
ncf_4_16_8_d.10FAIL6000.73
ncf_16_32_2_edau.5FAIL6000.73
ncf_16_32_2_d.6FAIL6000.74
ncf_16_32_2_euad.1FAIL6000.74
ncf_4_32_2_edau.8FAIL6000.74
ncf_16_32_4_euad.1FAIL6000.74
ncf_16_32_2_d.3FAIL6000.74
ncf_16_32_8_edau.7FAIL6000.74
ncf_16_32_2_u.6FAIL6000.74
ncf_4_16_8_euad.4FAIL6000.74
ncf_4_16_4_d.3FAIL6000.75
ncf_16_32_8_euad.1FAIL6000.75
ncf_8_16_4_d.4FAIL6000.75
ncf_4_16_4_edau.4FAIL6000.76
ncf_16_32_2_edau.10FAIL6000.76
ncf_8_16_8_d.8FAIL6000.77
ncf_4_32_2_edau.5FAIL6000.77
ncf_4_16_4_edau.2FAIL6000.77
ncf_16_32_4_edau.1FAIL6000.77
ncf_16_32_4_edau.6FAIL6000.77
ncf_16_32_8_u.1FAIL6000.78
ncf_16_32_4_d.3FAIL6000.78
ncf_4_8_8_edau.8FAIL6000.78
ncf_8_16_8_d.10FAIL6000.78
ncf_16_32_8_d.7FAIL6000.78
ncf_8_16_8_euad.9FAIL6000.78
ncf_8_16_4_edau.3FAIL6000.79
ncf_16_32_4_euad.3FAIL6000.79
ncf_16_32_4_euad.2FAIL6000.79
ncf_8_16_8_euad.3FAIL6000.79
ncf_16_32_4_edau.9FAIL6000.79
ncf_4_16_8_d.1FAIL6000.8
ncf_16_32_8_d.1FAIL6000.8
ncf_8_16_8_edau.10FAIL6000.8
ncf_16_32_4_edau.2FAIL6000.8
ncf_4_32_2_u.4FAIL6000.8
ncf_4_16_8_u.3FAIL6000.8
ncf_8_16_8_d.5FAIL6000.8
ncf_8_16_4_d.7FAIL6000.8
ncf_16_32_4_edau.3FAIL6000.8
ncf_4_16_4_u.3FAIL6000.81
ncf_4_16_8_u.2FAIL6000.81
ncf_4_8_8_d.6FAIL6000.81
ncf_8_16_8_edau.2FAIL6000.81
ncf_8_16_8_edau.3FAIL6000.81
ncf_16_32_8_edau.9FAIL6000.81
ncf_16_32_2_euad.5FAIL6000.81
ncf_4_16_4_d.6FAIL6000.81
ncf_16_32_8_u.7FAIL6000.81
ncf_4_16_8_euad.6FAIL6000.81
ncf_4_16_8_u.1FAIL6000.81
ncf_16_32_2_u.3FAIL6000.81
ncf_16_32_4_d.1FAIL6000.82
ncf_16_32_8_edau.1FAIL6000.82
ncf_4_16_4_edau.1FAIL6000.82
ncf_4_16_8_u.8FAIL6000.82
ncf_8_16_8_edau.5FAIL6000.82
ncf_4_16_4_u.2FAIL6000.82
ncf_16_32_8_d.6FAIL6000.82
ncf_4_16_4_edau.7FAIL6000.82
ncf_4_8_8_euad.6FAIL6000.82
ncf_16_32_4_u.8FAIL6000.82
ncf_16_32_2_u.1FAIL6000.82
ncf_4_16_4_u.4FAIL6000.82
ncf_16_32_2_d.10FAIL6000.82
ncf_4_16_4_edau.6FAIL6000.82
ncf_4_16_8_d.6FAIL6000.82
ncf_4_32_2_u.10FAIL6000.82
ncf_4_16_4_d.7FAIL6000.83
ncf_16_32_8_euad.7FAIL6000.83
ncf_4_16_4_d.10FAIL6000.83
ncf_4_8_8_edau.7FAIL6000.83
ncf_16_32_8_euad.4FAIL6000.83
ncf_16_32_8_euad.6FAIL6000.83
ncf_16_32_2_edau.1FAIL6000.83
ncf_16_32_2_d.1FAIL6000.83
ncf_4_16_8_euad.2FAIL6000.83
ncf_16_32_2_euad.6FAIL6000.83
ncf_4_32_2_edau.1FAIL6000.83
ncf_8_16_8_d.2FAIL6000.83
ncf_16_32_4_u.2FAIL6000.84
ncf_4_16_4_euad.2FAIL6000.84
ncf_4_32_2_u.5FAIL6000.84
ncf_16_32_4_d.10FAIL6000.84
ncf_4_32_2_edau.6FAIL6000.84
ncf_16_32_8_edau.10FAIL6000.84
ncf_16_32_4_d.6FAIL6000.84
ncf_16_32_8_euad.5FAIL6000.84
ncf_8_16_4_euad.9FAIL6000.84
ncf_4_32_2_u.1FAIL6000.84
ncf_4_16_4_d.1FAIL6000.84
ncf_16_32_4_u.1FAIL6000.84
ncf_4_16_8_u.5FAIL6000.84
ncf_8_16_8_d.9FAIL6000.84
ncf_16_32_4_d.9FAIL6000.84
ncf_8_16_4_euad.7FAIL6000.84
ncf_4_16_8_euad.8FAIL6000.85
ncf_4_32_2_u.8FAIL6000.85
ncf_4_16_8_euad.3FAIL6000.85
ncf_16_32_2_euad.10FAIL6000.85
ncf_16_32_4_u.3FAIL6000.85
ncf_8_16_8_euad.4FAIL6000.85
ncf_4_8_8_edau.6FAIL6000.85
ncf_16_32_8_euad.9FAIL6000.85
ncf_16_32_4_u.9FAIL6000.85
ncf_16_32_2_d.5FAIL6000.85
ncf_16_32_8_d.3FAIL6000.85
ncf_4_16_8_u.4FAIL6000.85
ncf_8_16_4_u.7FAIL6000.85
ncf_16_32_2_edau.6FAIL6000.86
ncf_16_32_8_u.2FAIL6000.86
ncf_4_16_8_euad.1FAIL6000.86
ncf_4_16_4_euad.3FAIL6000.86
ncf_16_32_8_d.10FAIL6000.86
ncf_16_32_8_edau.5FAIL6000.86
ncf_4_16_8_d.7FAIL6000.86
ncf_16_32_4_u.5FAIL6000.86
ncf_16_32_4_euad.6FAIL6000.86
ncf_4_32_2_edau.7FAIL6000.86
ncf_4_32_2_u.6FAIL6000.86
ncf_4_16_4_d.8FAIL6000.86
ncf_4_32_2_edau.4FAIL6000.86
ncf_16_32_8_u.4FAIL6000.87
ncf_4_16_4_d.4FAIL6000.87
ncf_16_32_8_edau.4FAIL6000.87
ncf_8_16_8_edau.4FAIL6000.87
ncf_8_16_8_euad.8FAIL6000.87
ncf_16_32_4_edau.10FAIL6000.87
ncf_16_32_4_d.2FAIL6000.87
ncf_16_32_8_u.5FAIL6000.87
ncf_4_16_4_edau.3FAIL6000.87
ncf_4_16_8_euad.5FAIL6000.88
ncf_4_32_2_edau.9FAIL6000.88
ncf_4_16_8_d.5FAIL6000.88
ncf_16_32_8_d.5FAIL6000.88
ncf_16_32_4_euad.8FAIL6000.88
ncf_8_16_8_euad.10FAIL6000.88
ncf_4_32_2_edau.10FAIL6000.88
ncf_16_32_8_euad.2FAIL6000.88
ncf_4_8_8_u.6FAIL6000.88
ncf_16_32_2_u.10FAIL6000.88
ncf_16_32_8_d.4FAIL6000.89
ncf_16_32_8_u.6FAIL6000.89
ncf_16_32_8_edau.6FAIL6000.89
ncf_16_32_4_u.6FAIL6000.89
ncf_4_16_8_euad.10FAIL6000.89
ncf_4_16_8_u.9FAIL6000.89
ncf_16_32_4_d.8FAIL6000.89
ncf_16_32_8_d.2FAIL6000.9
ncf_4_16_8_d.2FAIL6000.9
ncf_4_8_8_d.7FAIL6000.9
ncf_4_16_8_d.3FAIL6000.9
ncf_4_16_8_u.6FAIL6000.9
ncf_16_32_8_euad.10FAIL6000.9
ncf_16_32_8_u.10FAIL6000.91
ncf_4_16_8_d.4FAIL6000.91
ncf_4_16_8_d.8FAIL6000.91
ncf_4_16_8_u.10FAIL6000.92
ncf_4_32_2_u.9FAIL6000.92
ncf_16_32_4_u.10FAIL6000.93
ncf_16_32_8_d.9FAIL6000.93
ncf_16_32_8_edau.3FAIL6000.95