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

InstanceResultTime
ncf_4_16_2_d.6SAT0
ncf_4_16_2_d.7SAT0
ncf_8_16_4_u.6UNSAT0
ncf_8_16_4_u.4SAT0
ncf_8_16_4_u.8UNSAT0
ncf_4_16_8_euad.7SAT0
ncf_8_16_4_u.5UNSAT0
ncf_4_16_2_d.4SAT0
ncf_8_16_4_u.10SAT0
ncf_8_16_4_u.2UNSAT0
ncf_8_16_4_u.1SAT0
ncf_4_16_2_d.9SAT0
ncf_4_16_2_d.2SAT0
ncf_16_32_8_u.4SAT0.01
ncf_4_16_2_d.5UNSAT0.01
ncf_4_16_2_d.8SAT0.01
ncf_4_16_2_d.10UNSAT0.01
ncf_8_16_4_u.3SAT0.01
ncf_16_32_8_u.3SAT0.02
ncf_4_16_2_d.1UNSAT0.03
ncf_16_32_8_u.10SAT0.03
ncf_16_32_8_u.8UNSAT0.04
ncf_16_32_8_u.6SAT0.16
ncf_4_16_8_euad.8UNSAT0.51
ncf_4_16_8_euad.3SAT0.71
ncf_4_16_8_euad.10SAT0.88
ncf_4_16_2_d.3UNSAT0.92
ncf_8_16_4_u.9UNSAT1.1
ncf_4_16_8_euad.4SAT1.57
ncf_4_16_8_euad.2SAT1.75
ncf_16_64_4_d.7UNSAT2.23
ncf_4_16_8_euad.9SAT2.57
ncf_16_32_8_u.7SAT2.89
ncf_16_32_8_u.2UNSAT4.47
ncf_16_64_4_d.5UNSAT5.99
ncf_8_16_4_u.7SAT10.31
ncf_4_16_8_euad.1SAT10.37
ncf_16_32_8_u.5UNSAT13.76
ncf_4_16_8_euad.5UNSAT22.83
ncf_16_64_4_d.9SAT29.5
ncf_4_16_8_euad.6SAT34.4
ncf_16_64_4_d.4UNSAT54.94
ncf_16_64_4_d.1SAT67.02
ncf_16_64_4_d.2UNSAT94.91
ncf_16_64_4_d.6UNSAT133.16
ncf_16_64_4_d.3UNSAT199.45
ncf_16_64_4_d.10UNSAT297.97
ncf_16_32_8_u.1SAT343.71
ncf_16_64_4_d.8UNSAT534.96
ncf_16_128_8_edau.3FAIL599.71
ncf_16_128_8_euad.5FAIL599.71
ncf_16_128_8_edau.7FAIL599.71
ncf_16_128_8_euad.3FAIL599.71
ncf_16_128_8_edau.2FAIL599.71
ncf_16_128_2_u.3FAIL599.71
ncf_16_128_8_euad.1FAIL599.71
ncf_16_128_2_u.6FAIL599.71
ncf_16_128_8_euad.4FAIL599.71
ncf_16_128_2_u.7FAIL599.71
ncf_16_128_8_edau.1FAIL599.71
ncf_16_128_8_edau.5FAIL599.71
ncf_16_128_8_euad.6FAIL599.71
ncf_16_128_8_euad.8FAIL599.71
ncf_16_128_8_edau.9FAIL599.71
ncf_16_128_2_u.9FAIL599.71
ncf_16_128_2_u.5FAIL599.71
ncf_16_32_8_u.9FAIL599.71
ncf_16_128_2_u.10FAIL599.71
ncf_16_128_8_edau.10FAIL599.71
ncf_16_128_8_edau.8FAIL599.71
ncf_16_128_8_euad.9FAIL599.71
ncf_16_128_8_euad.7FAIL599.71
ncf_16_128_2_u.1FAIL599.71
ncf_16_128_2_u.2FAIL599.71
ncf_16_128_8_euad.10FAIL599.71
ncf_16_128_8_edau.4FAIL599.71
ncf_16_128_2_u.8FAIL599.71
ncf_16_128_8_euad.2FAIL599.71
ncf_16_128_8_edau.6FAIL599.71
ncf_16_128_2_u.4FAIL599.81