Instances of family CounterFactual solved by yQuaffle
QBFEVAL'06

InstanceResultTime
ncf_4_8_2_euad.4UNSAT0
ncf_4_8_2_u.3UNSAT0
ncf_4_8_2_u.2SAT0.01
ncf_16_32_2_edau.5UNSAT0.01
ncf_4_8_2_euad.10SAT0.01
ncf_4_8_4_u.3UNSAT0.01
ncf_4_8_2_euad.2SAT0.01
ncf_4_8_2_euad.7UNSAT0.01
ncf_4_8_2_u.4UNSAT0.01
ncf_4_8_2_u.7UNSAT0.01
ncf_4_16_2_d.6SAT0.01
ncf_4_32_2_edau.1UNSAT0.02
ncf_16_32_2_d.5UNSAT0.02
ncf_4_8_2_euad.1UNSAT0.02
ncf_4_8_2_euad.3UNSAT0.02
ncf_4_16_2_edau.6SAT0.02
ncf_16_32_2_edau.2UNSAT0.02
ncf_8_16_4_d.8UNSAT0.02
ncf_16_32_2_d.2UNSAT0.02
ncf_4_16_2_euad.6SAT0.02
ncf_4_8_4_euad.3UNSAT0.03
ncf_4_8_2_u.8SAT0.03
ncf_16_32_2_u.2UNSAT0.03
ncf_4_16_2_u.6SAT0.03
ncf_4_8_2_euad.6SAT0.03
ncf_8_16_4_edau.8UNSAT0.03
ncf_16_32_2_d.6SAT0.03
ncf_4_8_2_euad.9SAT0.03
ncf_8_16_4_d.5UNSAT0.03
ncf_4_8_2_u.10SAT0.03
ncf_4_8_2_euad.8SAT0.03
ncf_8_16_4_euad.5UNSAT0.03
ncf_4_16_2_euad.2SAT0.04
ncf_16_32_2_u.5UNSAT0.04
ncf_4_32_2_edau.4UNSAT0.04
ncf_16_32_2_euad.8UNSAT0.04
ncf_16_32_2_edau.6SAT0.04
ncf_16_32_2_d.8UNSAT0.04
ncf_4_16_2_d.2SAT0.04
ncf_8_16_4_d.6UNSAT0.04
ncf_8_16_4_euad.6UNSAT0.04
ncf_4_8_2_u.9SAT0.05
ncf_4_8_2_u.1UNSAT0.05
ncf_16_32_2_d.7UNSAT0.05
ncf_8_16_4_euad.8UNSAT0.05
ncf_16_32_2_euad.5UNSAT0.05
ncf_4_8_2_u.6SAT0.05
ncf_4_8_4_euad.7UNSAT0.06
ncf_4_8_4_u.6SAT0.06
ncf_16_32_2_euad.2UNSAT0.06
ncf_16_32_2_d.9UNSAT0.08
ncf_8_16_4_euad.2UNSAT0.08
ncf_8_16_4_u.2UNSAT0.08
ncf_16_32_2_edau.8UNSAT0.08
ncf_8_16_4_d.2UNSAT0.08
ncf_8_16_4_edau.5UNSAT0.08
ncf_4_8_4_euad.6SAT0.09
ncf_16_32_2_euad.7UNSAT0.09
ncf_8_16_4_edau.2UNSAT0.09
ncf_16_32_4_d.4UNSAT0.1
ncf_4_8_4_euad.9SAT0.1
ncf_4_8_8_edau.5UNSAT0.11
ncf_16_32_4_d.10UNSAT0.11
ncf_16_32_2_d.4UNSAT0.11
ncf_16_32_2_edau.9UNSAT0.12
ncf_16_32_2_u.8UNSAT0.13
ncf_4_8_8_u.5UNSAT0.13
ncf_16_32_2_euad.9UNSAT0.15
ncf_4_8_2_u.5SAT0.16
ncf_16_32_2_d.1UNSAT0.16
ncf_4_8_2_euad.5SAT0.18
ncf_8_16_4_u.5UNSAT0.19
ncf_16_32_4_euad.7UNSAT0.2
ncf_4_16_2_euad.4SAT0.21
ncf_16_32_4_d.7UNSAT0.21
ncf_4_8_4_u.9SAT0.21
ncf_8_16_4_edau.6UNSAT0.21
ncf_4_16_2_d.4SAT0.22
ncf_16_32_2_euad.4UNSAT0.24
ncf_16_32_2_euad.10UNSAT0.25
ncf_16_32_2_u.9UNSAT0.27
ncf_16_32_2_euad.6SAT0.28
ncf_4_8_8_d.5UNSAT0.29
ncf_16_32_2_edau.7UNSAT0.32
ncf_4_16_2_u.2SAT0.33
ncf_16_32_4_d.5UNSAT0.34
ncf_8_16_4_u.6UNSAT0.36
ncf_4_16_2_edau.2SAT0.37
ncf_8_16_8_d.6UNSAT0.37
ncf_16_32_4_edau.4UNSAT0.39
ncf_4_8_8_euad.5UNSAT0.39
ncf_16_32_2_edau.10UNSAT0.4
ncf_8_16_4_edau.10SAT0.4
ncf_16_32_2_u.6SAT0.41
ncf_4_16_2_edau.7SAT0.41
ncf_16_32_2_d.10UNSAT0.43
ncf_16_32_4_euad.4UNSAT0.47
ncf_8_16_4_d.10SAT0.48
ncf_8_16_4_euad.10SAT0.5
ncf_16_32_4_edau.10UNSAT0.52
ncf_16_32_2_edau.4UNSAT0.52
ncf_16_32_4_euad.5UNSAT0.62
ncf_8_16_8_edau.6UNSAT0.78
ncf_16_32_4_u.5UNSAT0.83
ncf_4_8_8_d.9UNSAT0.91
ncf_4_16_2_d.7SAT0.93
ncf_4_16_2_edau.4SAT0.97
ncf_16_32_2_d.3SAT0.97
ncf_16_32_2_edau.3SAT0.99
ncf_4_8_8_euad.9UNSAT1.01
ncf_4_16_2_u.4SAT1.09
ncf_4_32_2_u.4UNSAT1.34
ncf_16_32_4_edau.5UNSAT1.98
ncf_8_16_8_euad.6UNSAT2
ncf_8_16_4_u.10SAT2.18
ncf_16_32_4_edau.7UNSAT2.19
ncf_16_32_4_u.7UNSAT2.36
ncf_16_32_4_edau.9SAT2.61
ncf_16_32_4_d.9SAT3.08
ncf_16_32_4_euad.9SAT3.36
ncf_16_32_2_u.7UNSAT3.64
ncf_16_32_4_edau.1SAT4.38
ncf_4_8_4_u.7UNSAT5.13
ncf_16_32_4_u.1SAT5.29
ncf_16_32_4_d.1SAT5.63
ncf_16_32_4_euad.1SAT6.14
ncf_16_32_2_euad.1UNSAT6.57
ncf_4_8_4_euad.5SAT7.45
ncf_4_16_2_u.7SAT8.15
ncf_4_16_2_edau.10UNSAT11.36
ncf_4_16_2_edau.9SAT14.41
ncf_16_32_8_d.8UNSAT16.81
ncf_4_16_2_u.9SAT17.27
ncf_4_16_2_d.10UNSAT17.39
ncf_8_16_4_d.4SAT21.56
ncf_4_16_4_d.5SAT24.11
ncf_4_16_4_euad.5SAT25.37
ncf_16_32_4_euad.10UNSAT26.44
ncf_4_8_8_edau.9UNSAT30.07
ncf_4_16_4_edau.5SAT30.47
ncf_16_32_2_u.10UNSAT30.67
ncf_4_16_4_u.5SAT34.43
ncf_8_16_4_d.3SAT47.72
ncf_4_8_4_euad.2UNSAT48.03
ncf_4_16_2_d.9SAT49.3
ncf_8_16_4_edau.4SAT49.82
ncf_16_32_2_edau.1UNSAT50.35
ncf_4_8_4_u.5SAT51.94
ncf_8_16_4_euad.4SAT54.2
ncf_4_16_2_euad.9SAT59.57
ncf_16_32_2_euad.3SAT70.56
ncf_4_16_4_d.6UNSAT83.26
ncf_8_16_4_edau.3SAT84.26
ncf_4_16_2_u.1UNSAT96.36
ncf_4_16_2_edau.1UNSAT166.65
ncf_16_32_4_u.4UNSAT177.33
ncf_8_16_4_u.4SAT200.87
ncf_16_32_4_d.3SAT220.98
ncf_8_16_4_u.8UNSAT228.56
ncf_16_32_4_euad.3SAT252.26
ncf_8_16_4_d.1SAT290.53
ncf_4_8_8_u.9UNSAT316.54
ncf_16_32_4_u.3SAT346.09
ncf_4_16_4_d.8SAT359.27
ncf_8_16_4_edau.1SAT373.12
ncf_4_16_4_euad.8SAT375.07
ncf_4_8_4_u.2UNSAT419.84
ncf_4_8_4_euad.1SAT425.18
ncf_16_32_4_edau.3SAT425.96
ncf_4_16_4_edau.8SAT436.83
ncf_16_32_4_u.9SAT483.72
ncf_4_16_2_edau.5UNSAT485.75
ncf_4_16_4_u.8SAT486.3
ncf_16_32_4_d.2SAT556.77
ncf_16_32_8_d.6FAIL566.42
ncf_16_32_8_edau.7FAIL567.64
ncf_16_32_8_edau.3FAIL568.08
ncf_16_32_8_euad.9FAIL568.97
ncf_16_32_8_d.5FAIL569.14
ncf_16_32_8_d.2FAIL569.27
ncf_16_32_8_euad.8FAIL570.68
ncf_16_32_8_d.3FAIL570.82
ncf_16_32_8_d.7FAIL570.83
ncf_16_32_8_d.4FAIL570.89
ncf_16_32_8_edau.4FAIL571.51
ncf_16_32_8_euad.2FAIL571.62
ncf_16_32_8_edau.9FAIL572.44
ncf_16_32_8_u.3FAIL572.79
ncf_16_32_8_d.10FAIL572.85
ncf_16_32_8_euad.5FAIL573.1
ncf_16_32_8_euad.10FAIL573.24
ncf_16_32_8_euad.1FAIL573.49
ncf_16_32_8_edau.8FAIL574
ncf_16_32_8_euad.7FAIL574.03
ncf_16_32_8_edau.10FAIL574.23
ncf_16_32_8_euad.6FAIL574.27
ncf_16_32_8_edau.1FAIL574.31
ncf_16_32_8_edau.2FAIL574.6
ncf_16_32_8_euad.4FAIL574.61
ncf_16_32_8_d.1FAIL574.69
ncf_16_32_8_u.1FAIL575.13
ncf_16_32_8_edau.6FAIL575.26
ncf_8_16_8_d.10FAIL575.67
ncf_16_32_8_euad.3FAIL576.03
ncf_16_32_8_u.4FAIL576.32
ncf_8_16_8_d.5FAIL577.04
ncf_16_32_8_u.7FAIL577.08
ncf_4_16_8_d.10FAIL577.68
ncf_8_16_8_d.3FAIL578.13
ncf_16_32_8_u.10FAIL578.13
ncf_8_16_8_d.2FAIL578.67
ncf_4_16_8_d.1FAIL578.71
ncf_8_16_8_d.8FAIL578.99
ncf_8_16_8_d.9FAIL579.03
ncf_4_16_8_d.4FAIL579.32
ncf_4_16_8_d.5FAIL579.51
ncf_8_16_8_d.4FAIL579.71
ncf_16_32_8_d.9FAIL579.8
ncf_16_32_8_edau.5FAIL579.97
ncf_16_32_8_u.9FAIL580.45
ncf_8_16_8_edau.10FAIL580.46
ncf_16_32_4_euad.6FAIL580.63
ncf_4_16_8_d.6FAIL580.76
ncf_4_16_8_d.3FAIL580.83
ncf_16_32_4_d.8FAIL580.84
ncf_8_16_8_d.7FAIL580.88
ncf_16_32_4_edau.6FAIL580.94
ncf_4_16_8_d.8FAIL580.97
ncf_8_16_8_edau.1FAIL581.1
ncf_8_16_8_edau.8FAIL581.13
ncf_8_16_8_edau.2FAIL581.17
ncf_8_16_8_euad.1FAIL581.18
ncf_8_16_8_edau.9FAIL581.41
ncf_4_16_8_d.2FAIL581.44
ncf_4_16_8_d.9FAIL581.54
ncf_4_16_8_u.5FAIL581.83
ncf_16_32_8_u.5FAIL581.9
ncf_8_16_8_euad.7FAIL581.96
ncf_8_16_8_euad.5FAIL582.04
ncf_8_16_8_euad.4FAIL582.3
ncf_8_16_8_edau.4FAIL582.31
ncf_4_16_8_euad.1FAIL582.34
ncf_8_16_8_euad.3FAIL582.94
ncf_16_32_4_u.2FAIL582.94
ncf_8_16_8_d.1FAIL583.07
ncf_8_16_8_euad.8FAIL583.09
ncf_16_32_8_u.8FAIL583.26
ncf_4_16_8_euad.10FAIL583.3
ncf_4_16_8_euad.6FAIL583.34
ncf_8_16_8_edau.3FAIL583.76
ncf_16_32_8_u.2FAIL583.89
ncf_8_16_8_edau.5FAIL583.99
ncf_8_16_8_euad.2FAIL584.07
ncf_8_16_8_edau.7FAIL584.07
ncf_16_32_4_u.6FAIL584.31
ncf_4_16_8_euad.4FAIL584.51
ncf_8_16_8_euad.10FAIL584.6
ncf_4_16_8_euad.8FAIL584.62
ncf_16_32_4_d.6FAIL584.67
ncf_8_16_8_euad.9FAIL584.93
ncf_4_16_8_euad.2FAIL585.19
ncf_16_32_4_edau.8FAIL585.37
ncf_16_32_4_u.8FAIL585.43
ncf_4_16_8_u.4FAIL585.56
ncf_4_8_8_d.4FAIL585.63
ncf_4_16_8_d.7FAIL585.68
ncf_16_32_4_euad.8FAIL585.95
ncf_4_16_8_u.6FAIL586.11
ncf_4_8_8_d.2FAIL586.12
ncf_4_16_8_u.7FAIL586.29
ncf_16_32_8_u.6FAIL586.31
ncf_16_32_4_edau.2FAIL586.48
ncf_4_8_8_d.7FAIL586.59
ncf_4_16_8_u.8FAIL586.77
ncf_4_16_8_euad.3FAIL586.81
ncf_16_32_4_euad.2FAIL586.81
ncf_4_16_8_u.2FAIL586.99
ncf_4_16_8_u.10FAIL587.35
ncf_4_8_8_d.3FAIL587.44
ncf_4_16_8_euad.9FAIL587.55
ncf_4_16_8_u.3FAIL587.64
ncf_4_8_8_edau.7FAIL587.67
ncf_4_16_8_euad.7FAIL587.68
ncf_4_16_8_euad.5FAIL587.74
ncf_4_16_8_u.9FAIL588
ncf_4_16_8_u.1FAIL588.06
ncf_4_16_4_d.2FAIL588.06
ncf_4_8_8_d.8FAIL588.13
ncf_4_8_8_d.6FAIL588.75
ncf_4_8_8_euad.2FAIL588.76
ncf_4_8_8_edau.2FAIL588.78
ncf_4_8_8_euad.4FAIL588.81
ncf_4_8_8_d.10FAIL588.97
ncf_4_8_8_euad.3FAIL588.98
ncf_4_8_8_d.1FAIL589.27
ncf_4_8_8_edau.10FAIL589.32
ncf_4_8_8_u.2FAIL589.34
ncf_4_8_8_edau.3FAIL589.38
ncf_8_16_4_d.7FAIL589.46
ncf_4_8_8_euad.7FAIL589.58
ncf_4_8_8_edau.6FAIL589.94
ncf_4_8_8_edau.8FAIL589.98
ncf_4_32_2_edau.3FAIL590
ncf_4_8_8_euad.6FAIL590.05
ncf_4_8_8_euad.8FAIL590.05
ncf_4_8_8_u.10FAIL590.15
ncf_4_32_2_edau.2FAIL590.56
ncf_4_16_4_d.10FAIL590.57
ncf_8_16_4_u.3FAIL590.68
ncf_4_32_2_edau.10FAIL590.82
ncf_4_16_4_edau.2FAIL591.02
ncf_4_32_2_edau.6FAIL591.13
ncf_8_16_4_edau.7FAIL591.14
ncf_4_32_2_u.5FAIL591.18
ncf_4_16_4_d.1FAIL591.19
ncf_4_8_8_u.3FAIL591.47
ncf_4_16_4_edau.10FAIL591.48
ncf_4_8_8_euad.10FAIL591.51
ncf_4_32_2_edau.8FAIL591.51
ncf_4_16_4_edau.6FAIL591.54
ncf_4_32_2_edau.5FAIL591.78
ncf_16_32_4_u.10FAIL591.8
ncf_4_16_4_edau.7FAIL591.89
ncf_4_32_2_edau.7FAIL592.02
ncf_4_16_4_d.3FAIL592.07
ncf_4_16_4_edau.9FAIL592.07
ncf_4_16_4_d.4FAIL592.1
ncf_4_8_8_edau.4FAIL592.14
ncf_4_16_4_d.9FAIL592.16
ncf_4_16_4_edau.1FAIL592.18
ncf_4_32_2_u.9FAIL592.19
ncf_4_32_2_edau.9FAIL592.2
ncf_8_16_4_edau.9FAIL592.22
ncf_4_16_4_d.7FAIL592.25
ncf_4_16_4_u.3FAIL592.29
ncf_8_16_4_euad.7FAIL592.41
ncf_4_16_4_edau.4FAIL592.43
ncf_4_32_2_u.6FAIL592.45
ncf_4_8_8_u.8FAIL592.45
ncf_4_16_4_euad.1FAIL592.52
ncf_16_32_2_u.1FAIL592.57
ncf_4_16_4_euad.3FAIL592.64
ncf_4_16_4_euad.7FAIL592.64
ncf_4_8_8_edau.1FAIL592.66
ncf_4_32_2_u.2FAIL592.66
ncf_4_32_2_u.8FAIL592.7
ncf_4_16_4_u.2FAIL592.72
ncf_8_16_4_d.9FAIL592.8
ncf_4_32_2_u.3FAIL592.81
ncf_4_16_4_euad.9FAIL592.84
ncf_4_16_4_euad.2FAIL592.91
ncf_4_8_8_euad.1FAIL592.99
ncf_4_16_4_u.7FAIL593.04
ncf_16_32_2_u.4FAIL593.06
ncf_4_16_4_u.10FAIL593.16
ncf_8_16_4_u.1FAIL593.21
ncf_8_16_4_euad.3FAIL593.22
ncf_4_32_2_u.1FAIL593.34
ncf_4_16_4_euad.10FAIL593.39
ncf_4_16_4_euad.6FAIL593.43
ncf_4_32_2_u.10FAIL593.52
ncf_8_16_4_euad.1FAIL593.58
ncf_4_16_4_u.6FAIL593.6
ncf_4_16_4_edau.3FAIL593.6
ncf_4_16_4_u.4FAIL593.6
ncf_4_8_8_u.7FAIL593.84
ncf_4_16_2_edau.3FAIL593.93
ncf_4_16_4_u.1FAIL594.01
ncf_16_32_2_u.3FAIL594.02
ncf_4_16_4_u.9FAIL594.08
ncf_8_16_4_u.7FAIL594.1
ncf_4_32_2_u.7FAIL594.23
ncf_4_16_4_euad.4FAIL594.26
ncf_4_8_8_u.4FAIL594.37
ncf_8_16_4_u.9FAIL594.63
ncf_4_16_2_euad.1FAIL594.64
ncf_4_8_4_euad.4FAIL594.97
ncf_4_8_8_u.6FAIL595.05
ncf_4_16_2_d.1FAIL595.13
ncf_4_16_2_euad.3FAIL595.13
ncf_8_16_4_euad.9FAIL595.13
ncf_4_16_2_edau.8FAIL595.25
ncf_4_8_8_u.1FAIL595.29
ncf_4_16_2_d.8FAIL595.42
ncf_4_8_4_u.4FAIL595.52
ncf_4_8_4_euad.10FAIL595.73
ncf_4_16_2_euad.8FAIL595.76
ncf_4_8_4_u.8FAIL595.78
ncf_4_16_2_u.8FAIL595.84
ncf_4_8_4_euad.8FAIL596.06
ncf_4_16_2_euad.10FAIL596.07
ncf_4_8_4_u.1FAIL596.12
ncf_4_16_2_d.5FAIL596.15
ncf_4_8_4_u.10FAIL596.46
ncf_4_16_2_d.3FAIL596.48
ncf_4_16_2_euad.7FAIL596.61
ncf_4_16_2_u.3FAIL596.99
ncf_4_16_2_euad.5FAIL596.99
ncf_4_16_2_u.10FAIL597.37
ncf_4_16_2_u.5FAIL597.45