Instances of family CounterFactual solved by xb-bid-qsts
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_4_16_2_d.9SAT0.01
ncf_8_16_4_u.2UNSAT0.01
ncf_4_16_2_d.4SAT0.01
ncf_4_16_2_d.6SAT0.01
ncf_4_16_2_d.2SAT0.01
ncf_8_16_4_u.1SAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_u.10SAT0.02
ncf_4_16_2_d.10UNSAT0.03
ncf_4_16_2_d.7SAT0.03
ncf_8_16_4_u.6UNSAT0.03
ncf_8_16_4_u.8UNSAT0.03
ncf_4_16_2_d.8SAT0.04
ncf_4_16_2_d.5UNSAT0.05
ncf_4_16_8_euad.7SAT0.06
ncf_8_16_4_u.4SAT0.06
ncf_4_16_2_d.1UNSAT0.09
ncf_8_16_4_u.3SAT0.09
ncf_16_32_8_u.4SAT0.12
ncf_16_32_8_u.3SAT0.16
ncf_16_32_8_u.10SAT0.28
ncf_16_32_8_u.8UNSAT0.29
ncf_16_32_8_u.6SAT0.5
ncf_4_16_8_euad.10SAT0.82
ncf_4_16_8_euad.2SAT0.96
ncf_16_32_8_u.5UNSAT1.27
ncf_4_16_8_euad.1SAT1.42
ncf_4_16_2_d.3UNSAT1.48
ncf_4_16_8_euad.4SAT1.48
ncf_8_16_4_u.9UNSAT1.6
ncf_4_16_8_euad.8UNSAT1.89
ncf_4_16_8_euad.3SAT2.01
ncf_4_16_8_euad.9SAT2.12
ncf_16_64_4_d.2UNSAT2.31
ncf_16_32_8_u.9UNSAT2.34
ncf_16_64_4_d.3UNSAT2.46
ncf_16_32_8_u.7SAT2.53
ncf_16_64_4_d.4UNSAT2.83
ncf_4_16_8_euad.5UNSAT3.19
ncf_16_64_4_d.9SAT3.32
ncf_16_64_4_d.10UNSAT4.78
ncf_8_16_4_u.7SAT5.41
ncf_4_16_8_euad.6SAT9.41
ncf_16_64_4_d.6UNSAT13.56
ncf_16_64_4_d.5UNSAT16.19
ncf_16_32_8_u.2UNSAT17.11
ncf_16_64_4_d.1SAT21.23
ncf_16_32_8_u.1SAT21.38
ncf_16_64_4_d.7UNSAT22.98
ncf_16_128_8_edau.5UNSAT47.82
ncf_16_128_8_edau.8UNSAT54.06
ncf_16_64_4_d.8UNSAT79.44
ncf_16_128_8_edau.2UNSAT87.3
ncf_16_128_8_euad.9FAIL599.61
ncf_16_128_8_edau.1FAIL599.61
ncf_16_128_8_edau.7FAIL599.62
ncf_16_128_8_euad.1FAIL599.71
ncf_16_128_8_euad.4FAIL599.71
ncf_16_128_8_edau.3FAIL599.71
ncf_16_128_2_u.4FAIL599.71
ncf_16_128_2_u.1FAIL599.71
ncf_16_128_8_euad.3FAIL599.71
ncf_16_128_2_u.10FAIL599.71
ncf_16_128_8_edau.10FAIL599.71
ncf_16_128_8_edau.9FAIL599.71
ncf_16_128_8_euad.8FAIL599.71
ncf_16_128_8_euad.6FAIL599.71
ncf_16_128_2_u.9FAIL599.71
ncf_16_128_2_u.6FAIL599.71
ncf_16_128_8_edau.4FAIL599.71
ncf_16_128_8_euad.7FAIL599.71
ncf_16_128_2_u.8FAIL599.71
ncf_16_128_8_euad.10FAIL599.72
ncf_16_128_8_euad.2FAIL599.72
ncf_16_128_8_edau.6FAIL599.72
ncf_16_128_8_euad.5FAIL599.72
ncf_16_128_2_u.5FAIL599.72
ncf_16_128_2_u.7FAIL599.81
ncf_16_128_2_u.2FAIL599.81
ncf_16_128_2_u.3FAIL599.82