Instances of family CounterFactual solved by aqua-f3v
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_4_16_2_d.6SAT0
ncf_4_16_2_d.4SAT0
ncf_4_16_2_d.2SAT0
ncf_4_16_2_d.9SAT0
ncf_4_16_2_d.10UNSAT0.01
ncf_4_16_2_d.7SAT0.01
ncf_8_16_4_u.2UNSAT0.01
ncf_4_16_2_d.5UNSAT0.01
ncf_8_16_4_u.10SAT0.01
ncf_8_16_4_u.6UNSAT0.01
ncf_4_16_2_d.8SAT0.01
ncf_8_16_4_u.8UNSAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_u.1SAT0.01
ncf_4_16_2_d.1UNSAT0.01
ncf_4_16_2_d.3UNSAT0.02
ncf_8_16_4_u.9UNSAT0.02
ncf_8_16_4_u.4SAT0.02
ncf_4_16_8_euad.7SAT0.02
ncf_16_32_8_u.4SAT0.06
ncf_4_16_8_euad.5UNSAT0.07
ncf_16_32_8_u.8UNSAT0.07
ncf_16_32_8_u.3SAT0.07
ncf_8_16_4_u.3SAT0.08
ncf_4_16_8_euad.3SAT0.09
ncf_4_16_8_euad.8UNSAT0.11
ncf_4_16_8_euad.10SAT0.12
ncf_16_32_8_u.2UNSAT0.18
ncf_16_32_8_u.5UNSAT0.19
ncf_16_32_8_u.7SAT0.2
ncf_4_16_8_euad.2SAT0.28
ncf_16_32_8_u.10SAT0.3
ncf_8_16_4_u.7SAT0.36
ncf_16_32_8_u.6SAT0.41
ncf_4_16_8_euad.4SAT0.43
ncf_4_16_8_euad.9SAT0.67
ncf_16_64_4_d.9SAT0.72
ncf_16_64_4_d.2UNSAT0.75
ncf_16_64_4_d.1SAT0.78
ncf_16_64_4_d.5UNSAT1.06
ncf_16_64_4_d.6UNSAT1.5
ncf_4_16_8_euad.1SAT2.21
ncf_16_32_8_u.1SAT2.62
ncf_16_64_4_d.8UNSAT3.31
ncf_16_128_2_u.1UNSAT4.32
ncf_16_64_4_d.10UNSAT4.68
ncf_16_64_4_d.7UNSAT5.75
ncf_16_64_4_d.3UNSAT7.77
ncf_16_32_8_u.9UNSAT7.81
ncf_16_64_4_d.4UNSAT39.7
ncf_4_16_8_euad.6SAT92.15
ncf_16_128_8_edau.2FAIL599.75
ncf_16_128_2_u.6FAIL599.82
ncf_16_128_8_euad.8FAIL599.82
ncf_16_128_2_u.7FAIL599.82
ncf_16_128_8_euad.9FAIL599.83
ncf_16_128_8_euad.1FAIL599.84
ncf_16_128_8_edau.7FAIL599.85
ncf_16_128_8_euad.4FAIL599.85
ncf_16_128_8_euad.3FAIL599.85
ncf_16_128_2_u.3FAIL599.86
ncf_16_128_8_euad.5FAIL599.9
ncf_16_128_2_u.2FAIL599.92
ncf_16_128_2_u.10FAIL599.92
ncf_16_128_8_edau.8FAIL599.92
ncf_16_128_2_u.5FAIL599.92
ncf_16_128_2_u.9FAIL599.92
ncf_16_128_2_u.4FAIL599.92
ncf_16_128_2_u.8FAIL599.92
ncf_16_128_8_edau.1FAIL599.93
ncf_16_128_8_edau.9FAIL599.93
ncf_16_128_8_edau.10FAIL599.93
ncf_16_128_8_edau.3FAIL599.94
ncf_16_128_8_euad.10FAIL599.94
ncf_16_128_8_euad.2FAIL599.95
ncf_16_128_8_euad.7FAIL599.96
ncf_16_128_8_euad.6FAIL599.98
ncf_16_128_8_edau.6FAIL600.02
ncf_16_128_8_edau.4FAIL600.03
ncf_16_128_8_edau.5FAIL600.04