Instances of family CounterFactual solved by caqe-picosat
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_8_16_4_u.1SAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_u.2UNSAT0.01
ncf_4_16_2_d.9SAT0.01
ncf_4_16_2_d.4SAT0.01
ncf_4_16_2_d.6SAT0.01
ncf_4_16_2_d.2SAT0.01
ncf_4_16_2_d.7SAT0.02
ncf_8_16_4_u.10SAT0.02
ncf_8_16_4_u.6UNSAT0.02
ncf_4_16_2_d.10UNSAT0.03
ncf_8_16_4_u.8UNSAT0.03
ncf_4_16_2_d.8SAT0.04
ncf_8_16_4_u.4SAT0.05
ncf_4_16_2_d.5UNSAT0.05
ncf_4_16_8_euad.7SAT0.05
ncf_4_16_2_d.1UNSAT0.09
ncf_8_16_4_u.3SAT0.09
ncf_16_32_8_u.4SAT0.11
ncf_16_32_8_u.3SAT0.17
ncf_16_32_8_u.8UNSAT0.28
ncf_16_32_8_u.10SAT0.28
ncf_16_32_8_u.6SAT0.48
ncf_16_32_8_u.5UNSAT1.33
ncf_16_64_4_d.1SAT1.33
ncf_4_16_8_euad.2SAT1.4
ncf_4_16_8_euad.10SAT2.16
ncf_4_16_8_euad.3SAT2.25
ncf_16_32_8_u.7SAT2.29
ncf_4_16_8_euad.4SAT2.36
ncf_16_64_4_d.8UNSAT2.72
ncf_4_16_8_euad.8UNSAT2.82
ncf_16_64_4_d.7UNSAT2.91
ncf_4_16_8_euad.9SAT3.07
ncf_16_64_4_d.5UNSAT3.11
ncf_8_16_4_u.9UNSAT3.81
ncf_16_64_4_d.4UNSAT3.84
ncf_16_64_4_d.6UNSAT4.2
ncf_4_16_8_euad.1SAT5.93
ncf_16_32_8_u.9UNSAT6.83
ncf_4_16_2_d.3UNSAT8.61
ncf_16_32_8_u.1SAT14.09
ncf_8_16_4_u.7SAT16.69
ncf_16_64_4_d.2UNSAT17.54
ncf_4_16_8_euad.5UNSAT23.41
ncf_16_64_4_d.9SAT23.99
ncf_16_128_2_u.7UNSAT24.62
ncf_4_16_8_euad.6SAT29.46
ncf_16_128_2_u.3UNSAT38.64
ncf_16_32_8_u.2UNSAT43.64
ncf_16_64_4_d.3UNSAT54.29
ncf_16_128_2_u.8UNSAT80.5
ncf_16_128_8_edau.7UNSAT128.64
ncf_16_128_2_u.1UNSAT206.32
ncf_16_128_2_u.10UNSAT214.96
ncf_16_128_2_u.6UNSAT381.7
ncf_16_128_8_edau.2FAIL599.64
ncf_16_128_8_edau.8FAIL599.67
ncf_16_128_8_edau.5FAIL599.69
ncf_16_128_8_euad.2FAIL599.7
ncf_16_128_8_euad.5FAIL599.7
ncf_16_128_8_edau.4FAIL599.7
ncf_16_128_2_u.2FAIL599.7
ncf_16_128_8_edau.9FAIL599.71
ncf_16_128_8_edau.3FAIL599.71
ncf_16_128_8_euad.9FAIL599.71
ncf_16_128_8_edau.6FAIL599.72
ncf_16_128_8_euad.4FAIL599.72
ncf_16_128_8_euad.8FAIL599.72
ncf_16_128_8_euad.1FAIL599.73
ncf_16_128_8_edau.10FAIL599.73
ncf_16_128_8_edau.1FAIL599.74
ncf_16_128_8_euad.3FAIL599.75
ncf_16_128_8_euad.6FAIL599.76
ncf_16_128_8_euad.7FAIL599.76
ncf_16_128_8_euad.10FAIL599.79
ncf_16_128_2_u.5FAIL599.8
ncf_16_128_2_u.4FAIL599.82
ncf_16_128_2_u.9FAIL599.83
ncf_16_64_4_d.10FAIL599.92