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

InstanceResultTime
ncf_4_16_2_d.7SAT0.03
ncf_4_16_2_d.9SAT0.03
ncf_8_16_4_u.2UNSAT0.03
ncf_8_16_4_u.1SAT0.03
ncf_4_16_2_d.4SAT0.03
ncf_8_16_4_u.6UNSAT0.03
ncf_4_16_2_d.6SAT0.03
ncf_4_16_2_d.2SAT0.03
ncf_8_16_4_u.8UNSAT0.03
ncf_8_16_4_u.10SAT0.03
ncf_8_16_4_u.5UNSAT0.03
ncf_4_16_2_d.10UNSAT0.04
ncf_4_16_2_d.5UNSAT0.04
ncf_8_16_4_u.3SAT0.04
ncf_4_16_8_euad.7SAT0.04
ncf_8_16_4_u.4SAT0.04
ncf_4_16_2_d.8SAT0.04
ncf_16_32_8_u.3SAT0.05
ncf_16_32_8_u.4SAT0.05
ncf_4_16_2_d.1UNSAT0.07
ncf_16_32_8_u.10SAT0.07
ncf_16_32_8_u.8UNSAT0.08
ncf_16_32_8_u.6SAT0.2
ncf_4_16_8_euad.10SAT0.34
ncf_4_16_2_d.3UNSAT0.36
ncf_4_16_8_euad.8UNSAT0.53
ncf_4_16_8_euad.2SAT0.55
ncf_4_16_8_euad.4SAT0.56
ncf_4_16_8_euad.5UNSAT0.65
ncf_4_16_8_euad.9SAT0.7
ncf_4_16_8_euad.1SAT0.84
ncf_4_16_8_euad.3SAT0.94
ncf_8_16_4_u.9UNSAT1.18
ncf_16_32_8_u.7SAT1.3
ncf_16_32_8_u.9UNSAT1.99
ncf_16_64_4_d.1SAT2.29
ncf_16_32_8_u.5UNSAT2.66
ncf_4_16_8_euad.6SAT3.3
ncf_16_64_4_d.2UNSAT3.46
ncf_16_32_8_u.1SAT3.69
ncf_16_64_4_d.9SAT3.76
ncf_16_64_4_d.5UNSAT3.96
ncf_8_16_4_u.7SAT4.04
ncf_16_64_4_d.7UNSAT4.12
ncf_16_64_4_d.10UNSAT5.76
ncf_16_32_8_u.2UNSAT10.11
ncf_16_64_4_d.6UNSAT14.49
ncf_16_64_4_d.4UNSAT19.42
ncf_16_64_4_d.8UNSAT41.17
ncf_16_64_4_d.3UNSAT126.2
ncf_16_128_8_edau.1FAIL599.71
ncf_16_128_8_edau.4FAIL599.71
ncf_16_128_8_euad.2FAIL599.71
ncf_16_128_2_u.4FAIL599.71
ncf_16_128_8_edau.7FAIL599.71
ncf_16_128_2_u.6FAIL599.71
ncf_16_128_8_euad.1FAIL599.71
ncf_16_128_2_u.3FAIL599.71
ncf_16_128_8_edau.3FAIL599.81
ncf_16_128_8_euad.5FAIL599.81
ncf_16_128_8_euad.3FAIL599.81
ncf_16_128_8_edau.2FAIL599.81
ncf_16_128_8_euad.4FAIL599.81
ncf_16_128_2_u.7FAIL599.81
ncf_16_128_8_edau.5FAIL599.81
ncf_16_128_8_euad.6FAIL599.81
ncf_16_128_8_euad.8FAIL599.81
ncf_16_128_8_edau.9FAIL599.81
ncf_16_128_2_u.9FAIL599.81
ncf_16_128_2_u.5FAIL599.81
ncf_16_128_2_u.10FAIL599.81
ncf_16_128_8_edau.10FAIL599.81
ncf_16_128_8_edau.8FAIL599.81
ncf_16_128_8_euad.9FAIL599.81
ncf_16_128_8_euad.7FAIL599.81
ncf_16_128_2_u.2FAIL599.81
ncf_16_128_8_euad.10FAIL599.81
ncf_16_128_2_u.8FAIL599.81
ncf_16_128_8_edau.6FAIL599.81
ncf_16_128_2_u.1FAIL599.81