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

InstanceResultTime
ncf_16_128_2_u.8UNSAT1.46
ncf_16_128_2_u.2UNSAT3.24
ncf_16_128_2_u.9UNSAT3.4
ncf_16_128_2_u.7UNSAT4.92
ncf_16_128_8_euad.7FAIL900
ncf_16_128_8_euad.4FAIL900
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.5FAIL900
ncf_16_64_4_d.10FAIL900
ncf_16_128_2_u.10FAIL900
ncf_16_128_8_edau.10FAIL900
ncf_16_128_8_edau.8FAIL900
ncf_16_128_8_euad.9FAIL900
ncf_16_128_2_u.6FAIL900
ncf_16_128_8_euad.1FAIL900
ncf_16_128_2_u.3FAIL900
ncf_16_128_8_euad.10FAIL900
ncf_16_128_8_edau.4FAIL900
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_euad.3FAIL900
ncf_16_128_8_edau.2FAIL900