Instances of family CounterFactual solved by struqs-10
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
ncf_8_16_4_edau.5UNSAT31.89
ncf_8_16_4_edau.6UNSAT202.58
ncf_8_16_4_u.8FAIL1200.07
ncf_16_32_8_edau.7FAIL1200.07
ncf_16_32_8_euad.10FAIL1200.07
ncf_16_32_8_d.9FAIL1200.07
ncf_16_32_8_d.6FAIL1200.07
ncf_16_32_8_edau.5FAIL1200.07
ncf_16_32_8_u.10FAIL1200.07
ncf_8_16_4_euad.2FAIL1200.07
ncf_8_16_4_edau.4FAIL1200.07
ncf_8_16_4_u.9FAIL1200.07
ncf_16_32_8_d.2FAIL1200.07
ncf_16_32_8_euad.7FAIL1200.07
ncf_8_16_4_d.10FAIL1200.07
ncf_16_32_8_euad.1FAIL1200.07
ncf_16_32_8_d.10FAIL1200.07
ncf_16_32_8_d.1FAIL1200.07
ncf_16_32_8_edau.8FAIL1200.07
ncf_16_32_8_d.4FAIL1200.07
ncf_16_32_8_u.9FAIL1200.07
ncf_16_32_8_u.8FAIL1200.07
ncf_8_16_4_edau.1FAIL1200.07
ncf_8_16_4_d.9FAIL1200.07
ncf_16_32_8_euad.9FAIL1200.07
ncf_8_16_4_d.5FAIL1200.07
ncf_8_16_4_euad.5FAIL1200.07
ncf_16_32_8_d.3FAIL1200.07
ncf_16_32_8_u.6FAIL1200.07
ncf_16_32_8_edau.4FAIL1200.08
ncf_16_32_8_edau.6FAIL1200.08
ncf_8_16_4_edau.9FAIL1200.08
ncf_16_32_8_edau.9FAIL1200.08
ncf_16_32_8_euad.8FAIL1200.08
ncf_8_16_4_euad.6FAIL1200.08
ncf_16_32_8_euad.5FAIL1200.08
ncf_8_16_4_euad.4FAIL1200.08
ncf_16_32_8_u.3FAIL1200.08
ncf_16_32_8_edau.3FAIL1200.08
ncf_8_16_4_u.10FAIL1200.08
ncf_8_16_4_d.7FAIL1200.08
ncf_8_16_4_d.8FAIL1200.08
ncf_8_16_4_u.7FAIL1200.08
ncf_16_32_8_d.5FAIL1200.08
ncf_16_32_8_euad.3FAIL1200.08
ncf_8_16_4_u.5FAIL1200.08
ncf_8_16_4_u.6FAIL1200.08
ncf_8_16_4_edau.10FAIL1200.08
ncf_16_32_8_euad.2FAIL1200.08
ncf_8_16_4_euad.8FAIL1200.08
ncf_16_32_8_u.7FAIL1200.08
ncf_16_32_8_u.4FAIL1200.08
ncf_16_32_8_u.2FAIL1200.08
ncf_8_16_4_u.1FAIL1200.08
ncf_8_16_4_euad.9FAIL1200.08
ncf_8_16_4_u.3FAIL1200.08
ncf_8_16_4_euad.10FAIL1200.08
ncf_8_16_4_euad.7FAIL1200.08
ncf_8_16_4_d.3FAIL1200.08
ncf_16_32_8_u.1FAIL1200.08
ncf_8_16_4_edau.8FAIL1200.08
ncf_8_16_4_edau.3FAIL1200.08
ncf_8_16_4_euad.1FAIL1200.08
ncf_8_16_4_euad.3FAIL1200.08
ncf_8_16_4_d.1FAIL1200.08
ncf_8_16_4_d.4FAIL1200.08
ncf_16_32_8_u.5FAIL1200.08
ncf_16_32_8_euad.4FAIL1200.08
ncf_16_32_8_edau.10FAIL1200.08
ncf_16_32_8_d.7FAIL1200.08
ncf_8_16_4_u.4FAIL1200.08
ncf_8_16_4_edau.7FAIL1200.08
ncf_16_32_8_d.8FAIL1200.09
ncf_8_16_4_u.2FAIL1200.09
ncf_8_16_4_edau.2FAIL1200.09
ncf_16_32_8_edau.1FAIL1200.09
ncf_8_16_4_d.2FAIL1200.09
ncf_16_32_8_edau.2FAIL1200.09
ncf_16_32_8_euad.6FAIL1200.09
ncf_8_16_4_d.6FAIL1200.09