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

InstanceResultTime
ncf_8_16_4_euad.1SAT0
ncf_8_16_4_u.2UNSAT0
ncf_8_16_4_edau.1SAT0
ncf_8_16_4_euad.2UNSAT0
ncf_8_16_4_edau.5UNSAT0
ncf_8_16_4_d.1SAT0.01
ncf_8_16_4_u.1SAT0.01
ncf_8_16_4_edau.2UNSAT0.01
ncf_8_16_4_edau.8UNSAT0.01
ncf_8_16_4_d.10SAT0.01
ncf_8_16_4_d.5UNSAT0.01
ncf_8_16_4_d.2UNSAT0.01
ncf_8_16_4_edau.6UNSAT0.01
ncf_8_16_4_d.8UNSAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_edau.10SAT0.01
ncf_8_16_4_d.6UNSAT0.02
ncf_8_16_4_euad.5UNSAT0.02
ncf_16_32_8_edau.4SAT0.02
ncf_16_32_8_d.4SAT0.03
ncf_8_16_4_edau.7FAIL25.57
ncf_8_16_4_u.4FAIL29.31
ncf_16_32_8_u.5FAIL30.05
ncf_16_32_8_u.7FAIL30.36
ncf_16_32_8_u.6FAIL31.11
ncf_16_32_8_u.10FAIL31.65
ncf_8_16_4_d.7FAIL31.94
ncf_8_16_4_u.3FAIL32.41
ncf_16_32_8_edau.1FAIL32.55
ncf_16_32_8_edau.8FAIL32.6
ncf_16_32_8_u.9FAIL32.68
ncf_16_32_8_u.3FAIL32.69
ncf_16_32_8_edau.7FAIL32.75
ncf_16_32_8_euad.3FAIL32.85
ncf_16_32_8_u.8FAIL32.86
ncf_8_16_4_euad.8FAIL32.94
ncf_8_16_4_euad.3FAIL32.99
ncf_8_16_4_euad.10FAIL33.3
ncf_8_16_4_u.7FAIL33.41
ncf_8_16_4_edau.3FAIL33.42
ncf_8_16_4_u.10FAIL33.87
ncf_16_32_8_u.4FAIL33.91
ncf_8_16_4_euad.4FAIL34.02
ncf_8_16_4_euad.7FAIL34.15
ncf_16_32_8_euad.7FAIL34.23
ncf_16_32_8_edau.9FAIL34.26
ncf_16_32_8_edau.2FAIL34.34
ncf_8_16_4_euad.9FAIL34.82
ncf_16_32_8_d.2FAIL34.85
ncf_16_32_8_edau.3FAIL35
ncf_8_16_4_d.3FAIL35.87
ncf_16_32_8_d.10FAIL35.91
ncf_16_32_8_d.9FAIL36.32
ncf_16_32_8_d.5FAIL36.38
ncf_16_32_8_euad.10FAIL36.41
ncf_8_16_4_euad.6FAIL36.51
ncf_8_16_4_u.9FAIL36.62
ncf_16_32_8_edau.10FAIL37.3
ncf_16_32_8_euad.2FAIL38.04
ncf_16_32_8_edau.6FAIL38.13
ncf_8_16_4_edau.4FAIL38.19
ncf_16_32_8_euad.8FAIL38.36
ncf_8_16_4_u.8FAIL38.47
ncf_16_32_8_u.1FAIL38.55
ncf_16_32_8_euad.4FAIL39
ncf_16_32_8_d.6FAIL39.12
ncf_16_32_8_edau.5FAIL40.11
ncf_16_32_8_u.2FAIL40.14
ncf_8_16_4_u.6FAIL40.69
ncf_16_32_8_euad.1FAIL41.01
ncf_16_32_8_euad.6FAIL41.65
ncf_16_32_8_euad.5FAIL41.99
ncf_16_32_8_d.8FAIL42.02
ncf_16_32_8_d.1FAIL42.3
ncf_16_32_8_d.7FAIL42.95
ncf_16_32_8_euad.9FAIL44.76
ncf_8_16_4_d.9FAIL46.46
ncf_8_16_4_d.4FAIL49.75
ncf_8_16_4_edau.9FAIL50.53
ncf_16_32_8_d.3FAIL58.9