Instances of family CounterFactual solved by Qute_default
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
ncf_16_128_8_euad.7FAIL900
ncf_16_128_8_euad.1FAIL900
ncf_16_128_2_u.6FAIL900
ncf_16_128_8_euad.4FAIL900
ncf_16_128_2_u.7FAIL900
ncf_16_128_8_edau.5FAIL900
ncf_16_128_8_euad.6FAIL900
ncf_16_128_8_euad.8FAIL900
ncf_16_128_8_edau.9FAIL900
ncf_16_128_2_u.9FAIL900
ncf_16_128_2_u.5FAIL900
ncf_16_64_4_d.10FAIL900
ncf_16_128_2_u.10FAIL900
ncf_16_128_2_u.3FAIL900
ncf_16_128_8_edau.2FAIL900
ncf_16_128_8_euad.3FAIL900
ncf_16_128_2_u.2FAIL900
ncf_16_128_8_euad.10FAIL900
ncf_16_128_8_edau.4FAIL900
ncf_16_128_2_u.8FAIL900
ncf_16_128_8_euad.2FAIL900
ncf_16_128_8_edau.6FAIL900
ncf_16_128_2_u.1FAIL900
ncf_16_128_8_edau.1FAIL900
ncf_16_128_2_u.4FAIL900
ncf_16_128_8_edau.3FAIL900
ncf_16_128_8_euad.5FAIL900
ncf_16_128_8_edau.7FAIL900
ncf_16_128_8_edau.10FAIL900
ncf_16_128_8_edau.8FAIL900
ncf_16_128_8_euad.9FAIL900