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

InstanceResultTime
ncf_8_16_4_d.8UNSAT1.23
ncf_8_16_4_u.1SAT1.27
ncf_8_16_4_d.2UNSAT1.27
ncf_8_16_4_edau.5UNSAT1.28
ncf_8_16_4_u.5UNSAT1.3
ncf_8_16_4_u.2UNSAT1.31
ncf_8_16_4_d.4SAT1.32
ncf_8_16_4_edau.6UNSAT1.35
ncf_8_16_4_euad.5UNSAT1.35
ncf_8_16_4_edau.2UNSAT1.36
ncf_8_16_4_d.5UNSAT1.41
ncf_8_16_4_euad.2UNSAT1.44
ncf_16_32_8_d.3SAT1.83
ncf_8_16_4_u.10SAT2.05
ncf_8_16_4_d.10SAT2.08
ncf_8_16_4_u.8UNSAT2.08
ncf_8_16_4_edau.8UNSAT2.09
ncf_8_16_4_u.6UNSAT2.12
ncf_8_16_4_edau.10SAT2.12
ncf_8_16_4_euad.8UNSAT2.14
ncf_8_16_4_euad.10SAT2.15
ncf_8_16_4_d.6UNSAT2.24
ncf_8_16_4_euad.6UNSAT2.26
ncf_8_16_4_edau.4SAT2.34
ncf_8_16_4_euad.7SAT2.38
ncf_8_16_4_u.4SAT2.52
ncf_16_32_8_d.4SAT2.78
ncf_16_32_8_euad.4SAT2.86
ncf_16_32_8_edau.8UNSAT2.87
ncf_8_16_4_euad.4SAT2.89
ncf_16_32_8_d.8UNSAT2.92
ncf_8_16_4_u.7SAT3
ncf_8_16_4_edau.7SAT3.33
ncf_16_32_8_u.4SAT4.06
ncf_16_32_8_edau.4SAT4.12
ncf_16_32_8_edau.10SAT4.4
ncf_8_16_4_edau.1SAT4.52
ncf_16_32_8_u.10SAT4.76
ncf_8_16_4_euad.1SAT5.23
ncf_8_16_4_d.1SAT5.3
ncf_16_32_8_edau.6SAT6.73
ncf_16_32_8_u.7SAT7.14
ncf_16_32_8_u.6SAT7.16
ncf_16_32_8_euad.3SAT10.44
ncf_16_32_8_euad.10SAT18.65
ncf_8_16_4_edau.3SAT67.36
ncf_8_16_4_u.3SAT84.54
ncf_8_16_4_edau.9UNSAT112.8
ncf_16_32_8_edau.3SAT122.74
ncf_8_16_4_d.7SAT125.18
ncf_8_16_4_d.3SAT125.47
ncf_16_32_8_edau.7SAT264.04
ncf_16_32_8_u.3SAT267.48
ncf_16_32_8_d.10SAT281.2
ncf_8_16_4_euad.3SAT328.48
ncf_8_16_4_d.9UNSAT359.42
ncf_8_16_4_euad.9UNSAT628.61
ncf_8_16_4_u.9UNSAT865.96
ncf_16_32_8_d.5FAIL1200
ncf_16_32_8_euad.6FAIL1200
ncf_16_32_8_euad.9FAIL1200
ncf_16_32_8_u.8FAIL1200
ncf_16_32_8_d.6FAIL1200
ncf_16_32_8_edau.5FAIL1200
ncf_16_32_8_u.5FAIL1200
ncf_16_32_8_u.9FAIL1200
ncf_16_32_8_u.2FAIL1200
ncf_16_32_8_edau.1FAIL1200
ncf_16_32_8_d.7FAIL1200
ncf_16_32_8_euad.1FAIL1200
ncf_16_32_8_u.1FAIL1200
ncf_16_32_8_euad.7FAIL1200
ncf_16_32_8_d.2FAIL1200
ncf_16_32_8_euad.2FAIL1200
ncf_16_32_8_edau.9FAIL1200
ncf_16_32_8_d.9FAIL1200
ncf_16_32_8_euad.5FAIL1200
ncf_16_32_8_euad.8FAIL1200
ncf_16_32_8_d.1FAIL1200
ncf_16_32_8_edau.2FAIL1200