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

InstanceResultTime
ncf_8_16_4_u.5UNSAT0.02
ncf_4_16_2_d.9SAT0.02
ncf_8_16_4_u.2UNSAT0.02
ncf_8_16_4_u.8UNSAT0.02
ncf_4_16_2_d.7SAT0.02
ncf_4_16_2_d.1UNSAT0.02
ncf_4_16_2_d.10UNSAT0.02
ncf_4_16_2_d.4SAT0.02
ncf_8_16_4_u.6UNSAT0.02
ncf_4_16_2_d.5UNSAT0.02
ncf_8_16_4_u.10SAT0.02
ncf_4_16_2_d.6SAT0.02
ncf_8_16_4_u.4SAT0.02
ncf_4_16_2_d.3UNSAT0.02
ncf_4_16_2_d.2SAT0.02
ncf_8_16_4_u.1SAT0.02
ncf_4_16_2_d.8SAT0.04
ncf_8_16_4_u.9UNSAT0.06
ncf_4_16_8_euad.7SAT0.07
ncf_8_16_4_u.3SAT0.1
ncf_16_32_8_u.8UNSAT0.11
ncf_8_16_4_u.7SAT0.12
ncf_16_32_8_u.3SAT0.21
ncf_16_32_8_u.10SAT0.21
ncf_16_32_8_u.4SAT0.21
ncf_4_16_8_euad.8UNSAT0.21
ncf_4_16_8_euad.2SAT0.31
ncf_16_32_8_u.5UNSAT0.41
ncf_4_16_8_euad.6SAT0.41
ncf_4_16_8_euad.3SAT0.51
ncf_4_16_8_euad.9SAT0.61
ncf_16_32_8_u.7SAT0.81
ncf_4_16_8_euad.4SAT1.04
ncf_16_64_4_d.2UNSAT1.31
ncf_16_64_4_d.3UNSAT2.01
ncf_4_16_8_euad.10SAT2.91
ncf_4_16_8_euad.1SAT4.11
ncf_16_64_4_d.5UNSAT5.61
ncf_16_32_8_u.2UNSAT7.01
ncf_4_16_8_euad.5UNSAT10.21
ncf_16_64_4_d.9SAT11.02
ncf_16_64_4_d.7UNSAT27.01
ncf_16_64_4_d.4UNSAT34.01
ncf_16_64_4_d.1SAT169.61
ncf_16_32_8_u.9UNSAT272.01
ncf_16_32_8_u.6SAT377.81
ncf_16_64_4_d.6UNSAT500.21
ncf_16_128_8_edau.8FAIL592.02
ncf_16_128_8_edau.2FAIL592.12
ncf_16_128_8_euad.9FAIL592.22
ncf_16_128_8_euad.4FAIL592.22
ncf_16_128_8_edau.7FAIL592.32
ncf_16_128_8_edau.6FAIL592.32
ncf_16_128_8_euad.1FAIL592.32
ncf_16_128_8_euad.2FAIL592.42
ncf_16_128_8_edau.3FAIL592.52
ncf_16_64_4_d.8FAIL592.52
ncf_16_128_8_euad.7FAIL592.52
ncf_16_128_8_edau.10FAIL592.52
ncf_16_128_8_euad.8FAIL592.62
ncf_16_128_8_euad.10FAIL592.62
ncf_16_128_8_edau.4FAIL592.62
ncf_16_128_8_edau.1FAIL592.62
ncf_16_128_8_euad.5FAIL592.72
ncf_16_128_8_edau.5FAIL592.72
ncf_16_128_2_u.8FAIL592.83
ncf_16_128_2_u.9FAIL592.84
ncf_16_128_8_edau.9FAIL592.84
ncf_16_128_8_euad.6FAIL592.85
ncf_16_128_8_euad.3FAIL592.85
ncf_16_64_4_d.10FAIL592.93
ncf_16_128_2_u.5FAIL593.03
ncf_16_128_2_u.3FAIL593.22
ncf_16_128_2_u.7FAIL593.22
ncf_16_128_2_u.4FAIL593.22
ncf_16_128_2_u.10FAIL593.23
ncf_16_128_2_u.2FAIL593.42
ncf_16_32_8_u.1FAIL593.42
ncf_16_128_2_u.6FAIL593.62
ncf_16_128_2_u.1FAIL593.62