Instances of family CounterFactual solved by iprover-QBF
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_4_16_2_d.6SAT1.7
ncf_4_16_2_d.2SAT4.02
ncf_8_16_4_u.10SAT10.18
ncf_4_16_2_d.4SAT31.82
ncf_16_32_8_u.9FAIL164.34
ncf_16_32_8_u.7FAIL164.73
ncf_16_32_8_u.1FAIL169.45
ncf_16_128_2_u.4FAIL171.84
ncf_16_128_2_u.3FAIL171.94
ncf_16_128_2_u.10FAIL172.14
ncf_16_128_2_u.6FAIL172.43
ncf_16_128_2_u.9FAIL172.63
ncf_16_128_2_u.2FAIL173.13
ncf_16_128_2_u.1FAIL173.53
ncf_16_64_4_d.9FAIL293.84
ncf_16_64_4_d.8FAIL296.74
ncf_16_128_8_edau.4FAIL311.03
ncf_16_128_8_edau.1FAIL312.13
ncf_16_128_8_edau.9FAIL312.63
ncf_16_128_8_edau.10FAIL313.83
ncf_16_128_8_edau.5FAIL314.93
ncf_16_128_8_edau.6FAIL316.03
ncf_16_128_8_edau.7FAIL316.53
ncf_16_128_8_edau.3FAIL317.23
ncf_16_128_8_edau.2FAIL317.23
ncf_16_128_8_edau.8FAIL317.43
ncf_16_128_8_euad.2FAIL317.73
ncf_16_128_8_euad.9FAIL319.04
ncf_16_128_8_euad.4FAIL319.33
ncf_16_128_8_euad.1FAIL319.73
ncf_16_128_8_euad.5FAIL320.73
ncf_16_128_8_euad.10FAIL320.74
ncf_16_128_8_euad.6FAIL320.93
ncf_16_128_8_euad.7FAIL322.23
ncf_16_64_4_d.5FAIL322.35
ncf_16_128_8_euad.3FAIL323.63
ncf_16_128_8_euad.8FAIL324.43
ncf_16_64_4_d.4FAIL328.83
ncf_16_64_4_d.10FAIL368.65
ncf_16_128_2_u.5FAIL372.34
ncf_16_64_4_d.1FAIL373.83
ncf_16_128_2_u.8FAIL378.45
ncf_16_128_2_u.7FAIL387.25
ncf_16_64_4_d.6FAIL404.14
ncf_16_64_4_d.7FAIL414.85
ncf_16_64_4_d.2FAIL475.93
ncf_16_64_4_d.3FAIL481.53
ncf_4_16_8_euad.9FAIL500.14
ncf_16_32_8_u.5FAIL507.34
ncf_16_32_8_u.4FAIL513.13
ncf_4_16_2_d.3FAIL519.64
ncf_16_32_8_u.3FAIL535.63
ncf_8_16_4_u.9FAIL536.84
ncf_4_16_8_euad.1FAIL546.43
ncf_16_32_8_u.2FAIL566.13
ncf_16_32_8_u.6FAIL573.24
ncf_16_32_8_u.8FAIL589.93
ncf_16_32_8_u.10FAIL590.74
ncf_8_16_4_u.3FAIL599.12
ncf_4_16_2_d.5FAIL599.12
ncf_8_16_4_u.2FAIL599.12
ncf_8_16_4_u.4FAIL599.12
ncf_4_16_8_euad.8FAIL599.22
ncf_4_16_8_euad.6FAIL599.22
ncf_4_16_2_d.10FAIL599.22
ncf_4_16_8_euad.3FAIL599.22
ncf_4_16_8_euad.2FAIL599.22
ncf_4_16_2_d.7FAIL599.22
ncf_4_16_8_euad.5FAIL599.22
ncf_4_16_8_euad.4FAIL599.22
ncf_4_16_2_d.8FAIL599.22
ncf_8_16_4_u.7FAIL599.22
ncf_4_16_8_euad.7FAIL599.22
ncf_8_16_4_u.8FAIL599.22
ncf_4_16_8_euad.10FAIL599.22
ncf_4_16_2_d.1FAIL599.22
ncf_8_16_4_u.6FAIL599.22
ncf_8_16_4_u.1FAIL599.22
ncf_4_16_2_d.9FAIL599.22
ncf_8_16_4_u.5FAIL599.22