Instances of family CounterFactual solved by preQuantor
QBFEVAL'06

InstanceResultTime
ncf_4_8_4_u.1FAIL0
ncf_4_16_2_u.6FAIL0
ncf_8_16_4_u.2UNSAT0
ncf_4_8_2_u.1UNSAT0
ncf_8_16_4_d.10FAIL0
ncf_4_16_4_d.2FAIL0
ncf_4_8_8_edau.3FAIL0
ncf_4_8_8_edau.10FAIL0
ncf_4_8_2_euad.6FAIL0
ncf_16_32_2_u.10FAIL0
ncf_4_16_8_d.9FAIL0
ncf_8_16_4_d.2UNSAT0
ncf_4_8_2_euad.10FAIL0
ncf_4_32_2_edau.9FAIL0
ncf_16_32_2_euad.1FAIL0
ncf_4_16_8_euad.8FAIL0
ncf_4_16_2_u.10FAIL0
ncf_16_32_4_d.1FAIL0
ncf_4_16_8_euad.3FAIL0
ncf_4_16_2_euad.4FAIL0
ncf_8_16_8_edau.7FAIL0
ncf_4_8_4_u.2UNSAT0
ncf_8_16_4_u.1SAT0
ncf_4_8_4_u.9FAIL0
ncf_4_16_4_edau.1SAT0
ncf_4_8_4_euad.5SAT0
ncf_4_8_8_d.6FAIL0
ncf_4_16_2_edau.6SAT0
ncf_16_32_4_euad.6FAIL0
ncf_4_8_2_u.10FAIL0
ncf_4_16_2_euad.6FAIL0
ncf_4_8_4_euad.9SAT0
ncf_4_16_4_edau.10FAIL0
ncf_4_16_2_euad.5FAIL0
ncf_4_32_2_edau.3FAIL0
ncf_4_8_8_u.10FAIL0
ncf_16_32_4_edau.6FAIL0
ncf_8_16_4_edau.10FAIL0
ncf_4_16_4_d.5FAIL0
ncf_8_16_4_d.6FAIL0
ncf_4_16_2_d.6SAT0
ncf_4_16_2_euad.9FAIL0
ncf_4_16_4_euad.10FAIL0
ncf_4_8_8_edau.9FAIL0
ncf_4_8_4_euad.3FAIL0
ncf_16_32_2_euad.3FAIL0
ncf_4_32_2_edau.1FAIL0
ncf_8_16_4_euad.1SAT0
ncf_8_16_8_euad.3FAIL0
ncf_4_16_4_euad.5FAIL0
ncf_16_32_2_edau.5FAIL0
ncf_4_32_2_u.3FAIL0
ncf_4_16_8_euad.6FAIL0.01
ncf_16_32_2_edau.9UNSAT0.01
ncf_16_32_2_u.8FAIL0.01
ncf_4_32_2_u.7FAIL0.01
ncf_16_32_8_d.7FAIL0.01
ncf_4_16_4_euad.1SAT0.01
ncf_8_16_4_euad.2UNSAT0.01
ncf_4_8_2_u.9SAT0.01
ncf_8_16_4_d.1FAIL0.01
ncf_4_8_4_euad.2UNSAT0.01
ncf_16_32_4_edau.9FAIL0.01
ncf_4_16_2_edau.2SAT0.01
ncf_8_16_4_euad.10FAIL0.01
ncf_4_16_2_d.9SAT0.01
ncf_16_32_2_edau.6SAT0.01
ncf_4_8_2_u.5SAT0.01
ncf_4_32_2_edau.8FAIL0.01
ncf_8_16_4_edau.2UNSAT0.01
ncf_4_8_2_euad.5SAT0.01
ncf_4_16_4_euad.8SAT0.01
ncf_8_16_4_edau.1SAT0.01
ncf_16_32_4_u.7FAIL0.01
ncf_8_16_4_edau.6UNSAT0.01
ncf_16_32_4_edau.2FAIL0.01
ncf_4_8_2_euad.1UNSAT0.01
ncf_16_32_4_d.10FAIL0.01
ncf_4_8_4_u.5SAT0.01
ncf_4_16_4_edau.5FAIL0.01
ncf_16_32_4_d.5FAIL0.01
ncf_4_8_2_euad.7UNSAT0.01
ncf_4_16_2_u.9FAIL0.01
ncf_4_8_2_u.4FAIL0.01
ncf_4_8_2_euad.8FAIL0.01
ncf_4_8_2_u.7UNSAT0.01
ncf_16_32_8_euad.9FAIL0.01
ncf_16_32_2_d.3FAIL0.01
ncf_16_32_4_d.2FAIL0.01
ncf_4_16_4_d.1SAT0.01
ncf_16_32_4_u.8FAIL0.01
ncf_8_16_8_d.2FAIL0.01
ncf_4_16_4_u.5FAIL0.01
ncf_4_8_2_u.8SAT0.01
ncf_4_8_4_u.8FAIL0.01
ncf_16_32_2_d.9UNSAT0.01
ncf_16_32_4_euad.9FAIL0.01
ncf_4_16_4_d.8SAT0.02
ncf_4_8_8_d.5UNSAT0.02
ncf_4_16_4_u.1SAT0.02
ncf_16_32_4_d.9SAT0.02
ncf_8_16_4_edau.8UNSAT0.02
ncf_16_32_2_d.6SAT0.02
ncf_4_8_8_edau.5UNSAT0.02
ncf_16_32_2_u.9UNSAT0.02
ncf_4_16_2_edau.9FAIL0.02
ncf_4_8_8_u.9UNSAT0.02
ncf_8_16_8_d.1SAT0.02
ncf_4_16_4_edau.8SAT0.02
ncf_4_16_2_d.2SAT0.02
ncf_4_8_8_d.9UNSAT0.02
ncf_4_16_4_u.8SAT0.02
ncf_8_16_4_d.8UNSAT0.02
ncf_8_16_4_edau.5UNSAT0.02
ncf_4_8_8_edau.8SAT0.02
ncf_16_32_2_euad.9UNSAT0.02
ncf_4_8_8_euad.9UNSAT0.02
ncf_8_16_4_euad.5UNSAT0.02
ncf_16_32_8_u.7FAIL0.02
ncf_4_16_2_u.4SAT0.03
ncf_4_16_2_edau.4SAT0.03
ncf_8_16_8_edau.1SAT0.03
ncf_8_16_4_u.5UNSAT0.03
ncf_4_16_2_d.4SAT0.03
ncf_16_32_2_d.7UNSAT0.03
ncf_16_32_4_edau.7UNSAT0.03
ncf_4_8_2_euad.9SAT0.03
ncf_8_16_4_d.5UNSAT0.03
ncf_4_8_8_d.8SAT0.03
ncf_16_32_4_edau.1FAIL0.03
ncf_4_8_2_euad.4UNSAT0.03
ncf_8_16_8_euad.1SAT0.04
ncf_16_32_4_d.7UNSAT0.04
ncf_16_32_4_edau.10UNSAT0.04
ncf_4_8_2_u.6SAT0.05
ncf_16_32_8_d.4SAT0.06
ncf_16_32_8_edau.4SAT0.07
ncf_4_8_8_d.3SAT0.09
ncf_4_8_8_edau.1SAT0.1
ncf_4_16_4_d.9SAT0.14
ncf_16_32_2_euad.7UNSAT0.18
ncf_4_8_8_euad.3SAT0.2
ncf_4_8_8_u.1SAT0.22
ncf_4_8_8_u.3SAT0.24
ncf_4_16_2_edau.7SAT0.36
ncf_4_8_8_d.1SAT0.36
ncf_4_16_2_d.7SAT0.41
ncf_4_8_2_u.2SAT0.53
ncf_4_8_4_euad.8UNSAT0.58
ncf_4_16_2_u.2SAT0.65
ncf_4_16_2_euad.2SAT0.66
ncf_4_8_2_euad.2SAT0.8
ncf_4_16_4_euad.9SAT0.93
ncf_4_16_4_edau.9SAT1.11
ncf_16_32_2_edau.7UNSAT2.16
ncf_4_8_4_euad.10SAT2.28
ncf_4_16_4_u.9SAT2.44
ncf_4_8_4_euad.6SAT3.29
ncf_4_8_4_u.10SAT3.41
ncf_8_16_8_edau.6UNSAT3.54
ncf_4_8_8_euad.1SAT7.37
ncf_4_8_4_u.6SAT8.56
ncf_4_8_8_u.2FAIL15.83
ncf_4_16_8_u.6FAIL16.56
ncf_4_32_2_edau.7FAIL16.76
ncf_4_16_8_u.2FAIL16.85
ncf_16_32_8_u.4FAIL17.09
ncf_16_32_4_d.6FAIL17.17
ncf_4_16_8_u.5FAIL17.24
ncf_8_16_8_edau.4FAIL17.44
ncf_16_32_4_u.1FAIL17.5
ncf_16_32_4_u.3FAIL17.56
ncf_16_32_4_euad.8FAIL17.6
ncf_4_8_8_u.6FAIL17.65
ncf_16_32_4_u.2FAIL17.66
ncf_8_16_4_edau.7FAIL17.69
ncf_8_16_4_u.7FAIL17.7
ncf_4_16_8_u.8FAIL17.81
ncf_4_32_2_edau.5FAIL17.87
ncf_16_32_8_edau.7FAIL17.89
ncf_16_32_8_edau.5FAIL17.93
ncf_4_16_8_d.1FAIL17.94
ncf_8_16_8_edau.2FAIL17.97
ncf_4_16_8_u.1FAIL18.01
ncf_8_16_4_euad.7FAIL18.12
ncf_16_32_8_u.5FAIL18.16
ncf_4_16_4_edau.2FAIL18.19
ncf_8_16_4_u.9FAIL18.26
ncf_16_32_2_edau.10FAIL18.28
ncf_16_32_8_u.6FAIL18.29
ncf_4_16_4_u.7FAIL18.3
ncf_16_32_4_euad.2FAIL18.31
ncf_4_8_8_u.7FAIL18.34
ncf_16_32_2_d.1FAIL18.36
ncf_16_32_8_u.8FAIL18.42
ncf_8_16_4_edau.9FAIL18.45
ncf_16_32_4_u.4FAIL18.46
ncf_4_16_8_u.9FAIL18.49
ncf_8_16_8_edau.5FAIL18.49
ncf_4_32_2_edau.4FAIL18.51
ncf_16_32_4_euad.5FAIL18.51
ncf_16_32_8_edau.9FAIL18.54
ncf_16_32_8_u.1FAIL18.58
ncf_4_16_8_d.6FAIL18.59
ncf_8_16_8_edau.10FAIL18.59
ncf_8_16_8_d.3FAIL18.62
ncf_4_16_4_u.2FAIL18.65
ncf_16_32_4_edau.3FAIL18.67
ncf_4_16_4_euad.7FAIL18.7
ncf_16_32_8_u.10FAIL18.71
ncf_8_16_8_d.4FAIL18.79
ncf_16_32_4_u.9FAIL18.83
ncf_4_16_8_euad.5FAIL18.85
ncf_8_16_4_u.4FAIL18.89
ncf_8_16_8_euad.2FAIL18.9
ncf_4_16_8_u.3FAIL18.92
ncf_16_32_4_u.10FAIL18.92
ncf_4_8_8_edau.7FAIL18.97
ncf_4_32_2_u.4FAIL18.97
ncf_4_16_4_euad.6FAIL18.97
ncf_16_32_8_d.10FAIL18.99
ncf_8_16_4_u.3FAIL19
ncf_16_32_2_edau.2FAIL19
ncf_4_16_4_d.6FAIL19
ncf_4_8_4_euad.7FAIL19
ncf_16_32_4_u.5FAIL19.05
ncf_4_16_8_d.4FAIL19.11
ncf_4_16_8_euad.1FAIL19.13
ncf_4_16_4_d.10FAIL19.15
ncf_4_16_4_edau.4FAIL19.17
ncf_8_16_4_d.7FAIL19.22
ncf_16_32_4_euad.1FAIL19.25
ncf_16_32_2_u.3FAIL19.28
ncf_16_32_8_edau.2FAIL19.28
ncf_4_16_8_u.4FAIL19.31
ncf_4_8_8_edau.2FAIL19.32
ncf_8_16_4_u.10FAIL19.4
ncf_4_16_4_euad.4FAIL19.41
ncf_16_32_4_edau.4FAIL19.43
ncf_16_32_2_u.5FAIL19.44
ncf_4_16_8_euad.10FAIL19.46
ncf_4_16_4_d.3FAIL19.47
ncf_16_32_2_d.2FAIL19.47
ncf_8_16_4_euad.9FAIL19.49
ncf_4_16_4_u.6FAIL19.49
ncf_4_16_8_d.10FAIL19.54
ncf_4_16_4_euad.3FAIL19.6
ncf_4_16_4_euad.2FAIL19.61
ncf_4_8_8_edau.6FAIL19.62
ncf_4_32_2_edau.6FAIL19.63
ncf_4_32_2_u.9FAIL19.64
ncf_16_32_4_euad.3FAIL19.68
ncf_16_32_8_u.9FAIL19.7
ncf_16_32_2_euad.5FAIL19.7
ncf_8_16_4_euad.3FAIL19.75
ncf_16_32_8_euad.3FAIL19.87
ncf_8_16_4_euad.4FAIL19.88
ncf_4_16_8_d.8FAIL19.93
ncf_4_16_4_d.4FAIL19.97
ncf_8_16_8_euad.10FAIL20.01
ncf_4_8_4_euad.1FAIL20.04
ncf_16_32_2_d.4FAIL20.04
ncf_4_16_4_edau.6FAIL20.08
ncf_16_32_8_d.1FAIL20.1
ncf_4_32_2_u.6FAIL20.1
ncf_8_16_8_euad.9FAIL20.12
ncf_16_32_8_edau.3FAIL20.13
ncf_4_8_8_u.8FAIL20.2
ncf_4_8_8_euad.10FAIL20.23
ncf_16_32_4_u.6FAIL20.23
ncf_8_16_4_d.3FAIL20.3
ncf_4_32_2_u.5FAIL20.3
ncf_4_8_8_euad.6FAIL20.33
ncf_16_32_8_euad.4FAIL20.35
ncf_16_32_4_d.4FAIL20.37
ncf_8_16_8_d.9FAIL20.38
ncf_16_32_8_u.2FAIL20.4
ncf_4_8_8_d.7FAIL20.41
ncf_16_32_8_euad.10FAIL20.44
ncf_4_16_8_euad.9FAIL20.45
ncf_16_32_2_edau.4FAIL20.46
ncf_16_32_2_edau.3FAIL20.47
ncf_16_32_8_d.2FAIL20.55
ncf_16_32_2_u.1FAIL20.56
ncf_16_32_2_euad.10FAIL20.69
ncf_16_32_8_d.5FAIL20.72
ncf_4_32_2_u.8FAIL20.73
ncf_16_32_2_edau.1FAIL20.75
ncf_16_32_8_edau.8FAIL20.77
ncf_16_32_8_euad.8FAIL20.86
ncf_8_16_8_d.6FAIL20.88
ncf_8_16_4_edau.3FAIL20.96
ncf_16_32_2_euad.6FAIL20.97
ncf_16_32_8_edau.10FAIL21.04
ncf_16_32_2_u.2FAIL21.16
ncf_16_32_8_edau.1FAIL21.17
ncf_8_16_8_euad.4FAIL21.22
ncf_16_32_2_euad.2FAIL21.23
ncf_4_8_8_d.10FAIL21.25
ncf_16_32_8_d.6FAIL21.28
ncf_16_32_2_d.10FAIL21.36
ncf_4_16_8_euad.2FAIL21.36
ncf_4_16_4_u.4FAIL21.39
ncf_4_16_2_euad.3FAIL21.42
ncf_4_32_2_u.10FAIL21.51
ncf_4_8_8_euad.8FAIL21.66
ncf_8_16_4_d.9FAIL21.67
ncf_16_32_8_edau.6FAIL21.67
ncf_16_32_2_euad.4FAIL21.7
ncf_16_32_4_d.3FAIL21.81
ncf_4_16_2_u.3FAIL21.84
ncf_4_16_4_edau.7FAIL21.99
ncf_4_16_2_edau.3FAIL22.01
ncf_8_16_8_edau.9FAIL22.02
ncf_16_32_8_d.9FAIL22.09
ncf_16_32_8_d.3FAIL22.1
ncf_8_16_4_euad.6FAIL22.15
ncf_16_32_2_d.8FAIL22.16
ncf_4_16_8_u.7FAIL22.23
ncf_16_32_8_euad.6FAIL22.24
ncf_4_16_4_u.3FAIL22.25
ncf_16_32_4_euad.7FAIL22.35
ncf_4_8_8_euad.4FAIL22.67
ncf_8_16_4_edau.4FAIL22.68
ncf_4_16_8_d.5FAIL22.78
ncf_4_16_8_euad.7FAIL22.78
ncf_4_16_4_u.10FAIL22.81
ncf_16_32_2_u.6FAIL22.86
ncf_16_32_8_euad.5FAIL22.97
ncf_4_16_8_u.10FAIL22.99
ncf_8_16_4_u.6FAIL23.03
ncf_8_16_8_euad.8FAIL23.06
ncf_16_32_4_euad.4FAIL23.17
ncf_4_32_2_edau.10FAIL23.21
ncf_4_16_2_edau.1FAIL23.24
ncf_16_32_4_edau.5FAIL23.28
ncf_4_16_2_d.1FAIL23.39
ncf_16_32_8_euad.7FAIL23.5
ncf_16_32_8_euad.2FAIL23.52
ncf_8_16_8_d.5FAIL23.53
ncf_4_16_2_euad.1FAIL23.55
ncf_4_16_4_edau.3FAIL23.88
ncf_4_8_8_euad.2FAIL23.98
ncf_16_32_4_euad.10FAIL24.22
ncf_4_16_2_d.3FAIL24.29
ncf_4_8_8_u.5FAIL24.33
ncf_16_32_8_euad.1FAIL24.36
ncf_4_8_8_u.4FAIL24.42
ncf_16_32_2_u.4FAIL24.44
ncf_4_8_8_euad.7FAIL24.47
ncf_16_32_2_d.5FAIL24.49
ncf_8_16_8_edau.3FAIL24.73
ncf_16_32_4_d.8FAIL24.91
ncf_8_16_4_euad.8FAIL25.06
ncf_16_32_2_edau.8FAIL25.34
ncf_4_8_4_u.4FAIL25.42
ncf_4_16_2_euad.10FAIL25.53
ncf_16_32_4_edau.8FAIL25.54
ncf_16_32_8_d.8FAIL25.63
ncf_8_16_8_euad.7FAIL25.63
ncf_4_16_4_d.7FAIL25.85
ncf_4_16_8_d.3FAIL25.99
ncf_8_16_8_d.7FAIL26.97
ncf_8_16_8_edau.8FAIL27.35
ncf_4_16_8_d.2FAIL27.95
ncf_4_16_2_u.8FAIL28.4
ncf_4_16_2_d.8FAIL28.73
ncf_4_8_8_d.2FAIL29.46
ncf_4_32_2_u.2FAIL29.5
ncf_4_16_2_u.5FAIL30.14
ncf_8_16_4_d.4FAIL30.14
ncf_4_16_2_d.10FAIL33.25
ncf_4_16_2_euad.8FAIL33.53
ncf_4_8_8_euad.5FAIL33.58
ncf_4_8_8_d.4FAIL33.88
ncf_4_16_8_euad.4FAIL34.62
ncf_8_16_8_euad.6FAIL37.05
ncf_4_8_4_u.7FAIL38.24
ncf_4_16_2_d.5FAIL39.07
ncf_8_16_8_euad.5FAIL40.94
ncf_4_8_2_u.3FAIL42.9
ncf_4_16_2_u.1FAIL44.69
ncf_4_8_4_u.3FAIL47.37
ncf_16_32_2_u.7FAIL49
ncf_16_32_8_u.3FAIL54.29
ncf_4_16_2_edau.10FAIL56.52
ncf_8_16_8_d.8FAIL60.74
ncf_8_16_8_d.10FAIL62.37
ncf_4_32_2_u.1FAIL62.57
ncf_4_8_8_edau.4FAIL69.71
ncf_8_16_4_u.8FAIL70.93
ncf_16_32_2_euad.8FAIL72.86
ncf_4_8_4_euad.4FAIL105.81
ncf_4_16_2_u.7SAT162.35
ncf_4_8_2_euad.3UNSAT204.6
ncf_4_16_2_edau.8SAT341.2
ncf_4_32_2_edau.2SAT518.3
ncf_4_16_2_euad.7SAT563.33
ncf_4_16_2_edau.5FAIL598.26
ncf_4_16_8_d.7FAIL951.24