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

InstanceResultTime
ncf_16_64_4_d.10FAIL2.12
ncf_16_128_2_u.5FAIL3.21
ncf_16_128_2_u.7FAIL3.25
ncf_16_128_2_u.4FAIL3.26
ncf_16_128_2_u.9FAIL3.28
ncf_16_128_2_u.8FAIL3.32
ncf_16_128_2_u.10FAIL3.33
ncf_16_128_2_u.6FAIL3.34
ncf_16_128_2_u.3FAIL3.34
ncf_16_128_2_u.2FAIL3.42
ncf_16_128_2_u.1FAIL3.45
ncf_16_128_8_edau.8FAIL96.79
ncf_16_128_8_edau.5FAIL101.41
ncf_16_128_8_edau.7FAIL101.85
ncf_16_128_8_edau.10FAIL102.14
ncf_16_128_8_edau.6FAIL103.45
ncf_16_128_8_edau.4FAIL103.66
ncf_16_128_8_edau.3FAIL104.22
ncf_16_128_8_edau.2FAIL105.27
ncf_16_128_8_edau.1FAIL106.32
ncf_16_128_8_edau.9FAIL107.84
ncf_16_128_8_euad.8FAIL113.68
ncf_16_128_8_euad.5FAIL120.76
ncf_16_128_8_euad.7FAIL121.49
ncf_16_128_8_euad.10FAIL122.22
ncf_16_128_8_euad.6FAIL122.87
ncf_16_128_8_euad.4FAIL123.29
ncf_16_128_8_euad.3FAIL124.22
ncf_16_128_8_euad.2FAIL126.06
ncf_16_128_8_euad.9FAIL126.23
ncf_16_128_8_euad.1FAIL126.4