Instances of family CounterFactual solved by squeezebf+struqs
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_4_16_2_d.2SAT0.15
ncf_4_16_2_d.4SAT0.15
ncf_4_16_2_d.9SAT0.19
ncf_4_16_2_d.6SAT0.3
ncf_4_16_2_d.7SAT1.62
ncf_4_16_2_d.1UNSAT1.78
ncf_4_16_2_d.10UNSAT2.44
ncf_4_16_2_d.8SAT3.23
ncf_4_16_2_d.5UNSAT5.42
ncf_4_16_2_d.3UNSAT10.06
ncf_16_64_4_d.9FAIL599.71
ncf_8_16_4_u.9FAIL599.71
ncf_4_16_8_euad.5FAIL599.71
ncf_16_32_8_u.4FAIL599.71
ncf_16_32_8_u.10FAIL599.71
ncf_16_128_2_u.4FAIL599.71
ncf_16_128_8_edau.3FAIL599.71
ncf_16_128_8_euad.5FAIL599.71
ncf_16_128_8_edau.7FAIL599.71
ncf_4_16_8_euad.6FAIL599.71
ncf_8_16_4_u.3FAIL599.71
ncf_16_128_8_euad.3FAIL599.71
ncf_8_16_4_u.6FAIL599.71
ncf_16_32_8_u.7FAIL599.71
ncf_16_128_2_u.3FAIL599.71
ncf_4_16_8_euad.3FAIL599.71
ncf_16_128_8_edau.1FAIL599.71
ncf_4_16_8_euad.2FAIL599.71
ncf_16_128_8_euad.7FAIL599.71
ncf_16_128_2_u.2FAIL599.71
ncf_16_32_8_u.1FAIL599.71
ncf_16_64_4_d.3FAIL599.71
ncf_4_16_8_euad.8FAIL599.71
ncf_16_128_8_euad.10FAIL599.71
ncf_16_128_8_edau.4FAIL599.71
ncf_16_64_4_d.6FAIL599.71
ncf_16_128_8_euad.2FAIL599.71
ncf_16_128_8_edau.6FAIL599.71
ncf_8_16_4_u.2FAIL599.71
ncf_16_64_4_d.7FAIL599.71
ncf_16_128_2_u.1FAIL599.71
ncf_16_64_4_d.1FAIL599.71
ncf_8_16_4_u.5FAIL599.71
ncf_16_64_4_d.10FAIL599.71
ncf_8_16_4_u.7FAIL599.71
ncf_4_16_8_euad.7FAIL599.71
ncf_16_128_2_u.10FAIL599.71
ncf_4_16_8_euad.10FAIL599.71
ncf_16_32_8_u.5FAIL599.71
ncf_16_128_8_edau.8FAIL599.71
ncf_16_128_8_euad.9FAIL599.71
ncf_16_32_8_u.9FAIL599.71
ncf_16_128_2_u.5FAIL599.71
ncf_16_64_4_d.2FAIL599.71
ncf_4_16_8_euad.1FAIL599.71
ncf_4_16_8_euad.4FAIL599.71
ncf_16_128_2_u.7FAIL599.71
ncf_16_32_8_u.3FAIL599.71
ncf_16_64_4_d.4FAIL599.71
ncf_16_128_8_euad.6FAIL599.71
ncf_16_128_8_euad.8FAIL599.71
ncf_4_16_8_euad.9FAIL599.71
ncf_16_128_2_u.9FAIL599.71
ncf_16_32_8_u.6FAIL599.71
ncf_16_32_8_u.8FAIL599.71
ncf_16_64_4_d.8FAIL599.71
ncf_16_128_8_euad.1FAIL599.71
ncf_16_128_8_edau.10FAIL599.72
ncf_16_128_8_euad.4FAIL599.81
ncf_16_64_4_d.5FAIL599.81
ncf_16_128_2_u.6FAIL599.81
ncf_8_16_4_u.1FAIL599.81
ncf_16_128_2_u.8FAIL599.81
ncf_8_16_4_u.4FAIL599.81
ncf_16_128_8_edau.2FAIL599.81
ncf_16_32_8_u.2FAIL599.81
ncf_16_128_8_edau.9FAIL599.81
ncf_16_128_8_edau.5FAIL599.81
ncf_8_16_4_u.10FAIL599.81
ncf_8_16_4_u.8FAIL599.81