Instances solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
5qbf-5cnf-80var-320cl.3SAT0
ncf_8_16_4_d.4SAT0
s641_d2_sFAIL0
5qbf-5cnf-80var-160cl.7SAT0
ncf_4_8_2_edau.6SAT0
5qbf-5cnf-40var-80cl.8SAT0
ncf_8_16_4_d.10SAT0
2qbf-5cnf-20var-40cl.2SAT0
5qbf-5cnf-20var-80cl.4SAT0
6qbf-5cnf-80var-320cl.1SAT0
3qbf-5cnf-40var-80cl.9SAT0
6qbf-5cnf-40var-160cl.1SAT0
6qbf-5cnf-40var-160cl.5SAT0
3qbf-5cnf-80var-160cl.7SAT0
6qbf-5cnf-80var-160cl.3SAT0
6qbf-5cnf-160var-320cl.6SAT0
impl12SAT0
6qbf-5cnf-20var-40cl.6SAT0
4qbf-5cnf-160var-320cl.3SAT0
ncf_4_16_8_d.7SAT0
ncf_4_8_4_edau.7UNSAT0
impl04SAT0
4qbf-5cnf-20var-40cl.2SAT0
5qbf-5cnf-80var-320cl.9SAT0
3qbf-5cnf-20var-40cl.4SAT0
3qbf-5cnf-160var-320cl.5SAT0
6qbf-5cnf-20var-40cl.7SAT0
lut4_XOR_f1SAT0
3qbf-5cnf-80var-160cl.4SAT0
6qbf-5cnf-20var-80cl.7SAT0
5qbf-5cnf-40var-160cl.3SAT0
2qbf-5cnf-40var-80cl.5SAT0
5qbf-5cnf-80var-160cl.1SAT0
tree-exa2-20SAT0
4qbf-5cnf-20var-80cl.9SAT0
5qbf-5cnf-40var-80cl.9SAT0
5qbf-5cnf-20var-40cl.2SAT0
4qbf-5cnf-80var-160cl.1SAT0
5qbf-5cnf-80var-320cl.0SAT0
6qbf-5cnf-20var-80cl.4SAT0
5qbf-5cnf-160var-320cl.3SAT0
tree-exa2-50SAT0
4qbf-5cnf-80var-160cl.0SAT0
6qbf-5cnf-160var-640cl.9SAT0
ncf_4_8_2_d.8SAT0
6qbf-5cnf-20var-80cl.6SAT0
5qbf-5cnf-20var-40cl.8SAT0
3qbf-5cnf-20var-40cl.0SAT0
5qbf-5cnf-20var-80cl.0SAT0
5qbf-5cnf-20var-80cl.5SAT0
5qbf-5cnf-40var-160cl.5SAT0
5qbf-5cnf-80var-160cl.8SAT0
4qbf-5cnf-20var-80cl.7SAT0
ncf_4_16_2_d.4SAT0
6qbf-5cnf-40var-160cl.4SAT0
2qbf-5cnf-80var-160cl.8SAT0
3qbf-5cnf-40var-80cl.4SAT0
6qbf-5cnf-160var-320cl.3SAT0
6qbf-5cnf-80var-160cl.8SAT0
ncf_4_8_2_edau.2SAT0
3qbf-5cnf-40var-80cl.6SAT0
6qbf-5cnf-20var-80cl.3SAT0
6qbf-5cnf-20var-80cl.1SAT0
5qbf-5cnf-20var-40cl.3SAT0
6qbf-5cnf-40var-160cl.2SAT0
5qbf-5cnf-80var-160cl.9SAT0
3qbf-5cnf-160var-320cl.7SAT0
ncf_8_16_2_euad.8UNSAT0
5qbf-5cnf-160var-640cl.7SAT0
6qbf-5cnf-80var-160cl.6SAT0
4qbf-5cnf-80var-160cl.9SAT0
5qbf-5cnf-160var-320cl.9SAT0
3qbf-5cnf-20var-40cl.5SAT0
5qbf-5cnf-80var-160cl.6SAT0
1qbf-5cnf-20var-40cl.6SAT0
1qbf-5cnf-80var-320cl.9SAT0
1qbf-5cnf-40var-80cl.3SAT0
5qbf-5cnf-80var-160cl.3SAT0
1qbf-5cnf-20var-40cl.2SAT0
1qbf-5cnf-40var-320cl.4SAT0
1qbf-5cnf-20var-40cl.9SAT0
1qbf-5cnf-20var-40cl.1SAT0
1qbf-5cnf-20var-640cl.1UNSAT0
ncf_8_16_2_edau.8UNSAT0.01
ncf_4_8_2_edau.10SAT0.01
5qbf-5cnf-80var-320cl.4SAT0.01
impl10SAT0.01
6qbf-5cnf-20var-40cl.0SAT0.01
6qbf-5cnf-40var-160cl.7SAT0.01
3qbf-5cnf-160var-320cl.0SAT0.01
5qbf-5cnf-20var-40cl.0SAT0.01
4qbf-5cnf-20var-80cl.4SAT0.01
3qbf-5cnf-80var-160cl.2SAT0.01
ncf_4_16_4_d.5SAT0.01
5qbf-5cnf-80var-320cl.1SAT0.01
6qbf-5cnf-80var-160cl.4SAT0.01
6qbf-5cnf-40var-160cl.6SAT0.01
6qbf-5cnf-40var-80cl.3SAT0.01
6qbf-5cnf-20var-40cl.9SAT0.01
6qbf-5cnf-80var-320cl.7SAT0.01
ncf_4_16_2_d.2SAT0.01
ncf_8_16_2_d.1SAT0.01
3qbf-5cnf-20var-40cl.2SAT0.01
3qbf-5cnf-80var-160cl.9SAT0.01
5qbf-5cnf-40var-160cl.0SAT0.01
3qbf-5cnf-80var-160cl.1SAT0.01
5qbf-5cnf-20var-80cl.2SAT0.01
4qbf-5cnf-20var-40cl.5SAT0.01
5qbf-5cnf-40var-160cl.7SAT0.01
5qbf-5cnf-160var-320cl.5SAT0.01
ncf_4_8_8_u.9UNSAT0.01
ncf_4_8_8_d.8SAT0.01
5qbf-5cnf-40var-160cl.1SAT0.01
ncf_4_8_2_d.10SAT0.01
ncf_4_8_2_d.9SAT0.01
5qbf-5cnf-20var-80cl.9SAT0.01
4qbf-5cnf-160var-320cl.1SAT0.01
tree-exa10-25SAT0.01
ncf_4_16_2_edau.4SAT0.01
qshifter_3SAT0.01
2qbf-5cnf-20var-40cl.0SAT0.01
5qbf-5cnf-20var-40cl.7SAT0.01
2qbf-5cnf-20var-40cl.1SAT0.01
4qbf-5cnf-40var-160cl.1SAT0.01
5qbf-5cnf-40var-80cl.5SAT0.01
5qbf-5cnf-40var-80cl.0SAT0.01
ncf_4_16_2_edau.6SAT0.01
5qbf-5cnf-80var-320cl.7SAT0.01
3qbf-5cnf-160var-320cl.1SAT0.01
tree-exa2-10SAT0.01
s641_d4_sFAIL0.01
5qbf-5cnf-80var-320cl.5SAT0.01
ncf_8_16_2_u.8UNSAT0.01
ncf_4_8_4_edau.6SAT0.01
5qbf-5cnf-160var-320cl.8SAT0.01
5qbf-5cnf-40var-80cl.4SAT0.01
5qbf-5cnf-40var-80cl.2SAT0.01
tree-exa2-15SAT0.01
3qbf-5cnf-20var-80cl.5SAT0.01
4qbf-5cnf-20var-40cl.0SAT0.01
6qbf-5cnf-40var-80cl.9SAT0.01
5qbf-5cnf-20var-80cl.1SAT0.01
6qbf-5cnf-20var-40cl.8SAT0.01
5qbf-5cnf-40var-80cl.7SAT0.01
6qbf-5cnf-40var-80cl.2SAT0.01
6qbf-5cnf-80var-160cl.1SAT0.01
5qbf-5cnf-80var-160cl.5SAT0.01
6qbf-5cnf-20var-80cl.2SAT0.01
5qbf-5cnf-20var-80cl.8SAT0.01
ncf_4_8_2_d.2SAT0.01
4qbf-5cnf-20var-80cl.6SAT0.01
s641_d6_sFAIL0.01
3qbf-5cnf-20var-40cl.8SAT0.01
4qbf-5cnf-40var-80cl.4SAT0.01
6qbf-5cnf-40var-160cl.3SAT0.01
ncf_4_8_2_edau.1UNSAT0.01
3qbf-5cnf-80var-160cl.6SAT0.01
5qbf-5cnf-20var-40cl.6SAT0.01
2qbf-5cnf-20var-40cl.3SAT0.01
4qbf-5cnf-40var-80cl.5SAT0.01
3qbf-5cnf-160var-320cl.2SAT0.01
5qbf-5cnf-80var-160cl.4SAT0.01
6qbf-5cnf-40var-80cl.4SAT0.01
4qbf-5cnf-20var-40cl.6SAT0.01
ncf_8_16_4_u.1SAT0.01
5qbf-5cnf-40var-160cl.2SAT0.01
flipflop-4-cUNSAT0.01
4qbf-5cnf-80var-160cl.5SAT0.01
4qbf-5cnf-40var-80cl.8SAT0.01
4qbf-5cnf-20var-40cl.1SAT0.01
3qbf-5cnf-20var-40cl.7SAT0.01
5qbf-5cnf-80var-160cl.0SAT0.01
6qbf-5cnf-20var-40cl.1SAT0.01
4qbf-5cnf-160var-320cl.2SAT0.01
6qbf-5cnf-160var-320cl.4SAT0.01
6qbf-5cnf-80var-160cl.0SAT0.01
3qbf-5cnf-20var-40cl.9SAT0.01
6qbf-5cnf-160var-640cl.4SAT0.01
4qbf-5cnf-80var-160cl.4SAT0.01
5qbf-5cnf-160var-320cl.0SAT0.01
6qbf-5cnf-80var-160cl.9SAT0.01
3qbf-5cnf-40var-80cl.2SAT0.01
4qbf-5cnf-40var-80cl.2SAT0.01
2qbf-5cnf-20var-40cl.7SAT0.01
6qbf-5cnf-40var-160cl.9SAT0.01
tree-exa2-30SAT0.01
4qbf-5cnf-40var-80cl.1SAT0.01
4qbf-5cnf-20var-40cl.9SAT0.01
6qbf-5cnf-40var-80cl.0SAT0.01
5qbf-5cnf-20var-80cl.6SAT0.01
3qbf-5cnf-20var-40cl.6SAT0.01
5qbf-5cnf-40var-80cl.3SAT0.01
5qbf-5cnf-80var-320cl.2SAT0.01
4qbf-5cnf-80var-160cl.2SAT0.01
ncf_8_16_2_d.8UNSAT0.01
6qbf-5cnf-40var-80cl.6SAT0.01
3qbf-5cnf-40var-80cl.0SAT0.01
4qbf-5cnf-40var-80cl.9SAT0.01
impl06SAT0.01
3qbf-5cnf-40var-80cl.5SAT0.01
6qbf-5cnf-160var-320cl.0SAT0.01
2qbf-5cnf-20var-40cl.8SAT0.01
6qbf-5cnf-20var-80cl.9SAT0.01
5qbf-5cnf-20var-80cl.7SAT0.01
5qbf-5cnf-20var-40cl.1SAT0.01
2qbf-5cnf-20var-40cl.4SAT0.01
qshifter_4SAT0.01
3qbf-5cnf-20var-40cl.1SAT0.01
ncf_16_32_4_d.2SAT0.01
6qbf-5cnf-80var-320cl.5SAT0.01
2qbf-5cnf-40var-80cl.8SAT0.01
5qbf-5cnf-160var-320cl.1SAT0.01
6qbf-5cnf-20var-40cl.5SAT0.01
3qbf-5cnf-160var-320cl.6SAT0.01
4qbf-5cnf-40var-80cl.6SAT0.01
5qbf-5cnf-160var-640cl.5SAT0.01
s641_d7_uFAIL0.01
6qbf-5cnf-20var-40cl.2SAT0.01
toilet_c_10_05.2UNSAT0.01
6qbf-5cnf-160var-320cl.7SAT0.01
ncf_4_8_4_edau.9SAT0.01
5qbf-5cnf-20var-40cl.9SAT0.01
3qbf-5cnf-160var-320cl.3SAT0.01
5qbf-5cnf-160var-320cl.6SAT0.01
6qbf-5cnf-40var-160cl.0SAT0.01
4qbf-5cnf-160var-320cl.7SAT0.01
1qbf-5cnf-40var-80cl.4SAT0.01
6qbf-5cnf-20var-40cl.4SAT0.01
1qbf-5cnf-40var-80cl.5SAT0.01
6qbf-5cnf-20var-80cl.5SAT0.01
1qbf-5cnf-20var-40cl.7SAT0.01
1qbf-5cnf-20var-40cl.3SAT0.01
1qbf-5cnf-20var-160cl.1SAT0.01
1qbf-5cnf-80var-320cl.0SAT0.01
1qbf-5cnf-40var-80cl.9SAT0.01
1qbf-5cnf-40var-160cl.6SAT0.01
1qbf-5cnf-40var-80cl.0SAT0.01
1qbf-5cnf-20var-40cl.0SAT0.01
1qbf-5cnf-40var-640cl.9SAT0.01
6qbf-5cnf-80var-160cl.7SAT0.01
1qbf-5cnf-80var-160cl.5SAT0.01
ncf_8_16_4_d.1SAT0.02
ncf_16_32_2_edau.6SAT0.02
counter_e_2SAT0.02
ncf_4_8_2_edau.7UNSAT0.02
impl20SAT0.02
6qbf-5cnf-20var-40cl.3SAT0.02
tree-exa10-30SAT0.02
6qbf-5cnf-80var-320cl.8SAT0.02
ncf_4_8_4_euad.9SAT0.02
ncf_8_16_4_euad.1SAT0.02
5qbf-5cnf-160var-640cl.3SAT0.02
4qbf-5cnf-80var-160cl.6SAT0.02
impl16SAT0.02
6qbf-5cnf-80var-160cl.2SAT0.02
ncf_4_16_4_d.8SAT0.02
6qbf-5cnf-160var-320cl.5SAT0.02
5qbf-5cnf-20var-40cl.5SAT0.02
4qbf-5cnf-160var-320cl.8SAT0.02
6qbf-5cnf-80var-320cl.6SAT0.02
3qbf-5cnf-80var-160cl.0SAT0.02
6qbf-5cnf-20var-80cl.0SAT0.02
mutex-4-sSAT0.02
tree-exa2-25SAT0.02
impl08SAT0.02
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0.02
ncf_8_16_2_edau.4SAT0.02
3qbf-5cnf-40var-80cl.3SAT0.02
4qbf-5cnf-80var-160cl.3SAT0.02
counter_r_4SAT0.02
3qbf-5cnf-80var-160cl.8SAT0.02
4qbf-5cnf-40var-80cl.0SAT0.02
5qbf-5cnf-160var-640cl.4SAT0.02
ncf_4_8_4_u.9SAT0.02
6qbf-5cnf-80var-320cl.9SAT0.02
6qbf-5cnf-40var-160cl.8SAT0.02
3qbf-5cnf-40var-80cl.7SAT0.02
ncf_4_8_2_edau.9SAT0.02
ncf_4_16_4_d.1SAT0.02
6qbf-5cnf-80var-320cl.3SAT0.02
comp.blif_0.10_1.00_0_1_out_exactSAT0.02
ncf_4_8_2_edau.4UNSAT0.02
ncf_8_16_4_edau.1SAT0.02
toilet_c_10_01.2SAT0.02
5qbf-5cnf-40var-160cl.4SAT0.02
mutex-2-sSAT0.02
tree-exa10-10SAT0.02
6qbf-5cnf-80var-320cl.0SAT0.02
3qbf-5cnf-20var-320cl.6UNSAT0.02
5qbf-5cnf-160var-640cl.6SAT0.02
6qbf-5cnf-160var-640cl.8SAT0.02
3qbf-5cnf-160var-320cl.9SAT0.02
ncf_4_16_4_edau.5SAT0.02
6qbf-5cnf-160var-320cl.8SAT0.02
5qbf-5cnf-160var-640cl.2SAT0.02
5qbf-5cnf-20var-40cl.4SAT0.02
5qbf-5cnf-160var-640cl.0SAT0.02
ncf_4_16_8_edau.7SAT0.02
4qbf-5cnf-40var-80cl.7SAT0.02
4qbf-5cnf-160var-320cl.4SAT0.02
6qbf-5cnf-40var-80cl.7SAT0.02
3qbf-5cnf-80var-160cl.3SAT0.02
5qbf-5cnf-160var-320cl.2SAT0.02
5qbf-5cnf-80var-160cl.2SAT0.02
ncf_4_8_2_d.6SAT0.02
6qbf-5cnf-160var-640cl.7SAT0.02
ncf_4_8_8_d.3SAT0.02
4qbf-5cnf-160var-320cl.5SAT0.02
ncf_8_16_4_edau.4SAT0.02
3qbf-5cnf-20var-40cl.3SAT0.02
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0.02
ncf_4_8_8_euad.9UNSAT0.02
5qbf-5cnf-40var-160cl.8SAT0.02
4qbf-5cnf-20var-40cl.4SAT0.02
3qbf-5cnf-40var-80cl.1SAT0.02
4qbf-5cnf-160var-320cl.6SAT0.02
5qbf-5cnf-160var-320cl.4SAT0.02
2qbf-5cnf-40var-80cl.4SAT0.02
6qbf-5cnf-160var-640cl.5SAT0.02
impl02SAT0.02
6qbf-5cnf-160var-320cl.2SAT0.02
3qbf-5cnf-160var-320cl.4SAT0.02
6qbf-5cnf-40var-80cl.1SAT0.02
6qbf-5cnf-80var-160cl.5SAT0.02
5qbf-5cnf-160var-320cl.7SAT0.02
tree-exa2-35SAT0.02
ncf_4_8_4_d.6SAT0.02
ncf_8_16_2_edau.1SAT0.02
toilet_c_08_01.2SAT0.02
tree-exa10-20SAT0.02
impl14SAT0.02
4qbf-5cnf-20var-40cl.7SAT0.02
ncf_4_8_8_edau.9UNSAT0.02
6qbf-5cnf-160var-320cl.1SAT0.02
counter_re_4SAT0.02
4qbf-5cnf-160var-320cl.9SAT0.02
5qbf-5cnf-80var-320cl.8SAT0.02
ncf_4_8_8_edau.8SAT0.02
1qbf-5cnf-20var-320cl.2SAT0.02
1qbf-5cnf-80var-320cl.6SAT0.02
1qbf-5cnf-40var-80cl.7SAT0.02
1qbf-5cnf-40var-160cl.4SAT0.02
1qbf-5cnf-40var-160cl.7SAT0.02
1qbf-5cnf-20var-80cl.5SAT0.02
1qbf-5cnf-160var-640cl.6SAT0.02
1qbf-5cnf-40var-80cl.8SAT0.02
1qbf-5cnf-20var-40cl.8SAT0.02
1qbf-5cnf-80var-160cl.7SAT0.02
1qbf-5cnf-160var-320cl.8SAT0.02
1qbf-5cnf-80var-320cl.4SAT0.02
1qbf-5cnf-40var-640cl.7SAT0.02
1qbf-5cnf-40var-160cl.5SAT0.02
1qbf-5cnf-80var-320cl.2SAT0.02
1qbf-5cnf-20var-80cl.2SAT0.02
1qbf-5cnf-80var-640cl.0SAT0.02
1qbf-5cnf-160var-320cl.9SAT0.02
1qbf-5cnf-80var-160cl.0SAT0.02
1qbf-5cnf-20var-160cl.2SAT0.02
1qbf-5cnf-40var-640cl.8SAT0.02
1qbf-5cnf-40var-320cl.7SAT0.02
1qbf-5cnf-160var-640cl.3SAT0.02
1qbf-5cnf-160var-320cl.4SAT0.02
1qbf-5cnf-80var-640cl.8SAT0.02
1qbf-5cnf-40var-80cl.6SAT0.02
flipflop-3-cUNSAT0.03
tree-exa2-45SAT0.03
ncf_4_8_2_edau.3UNSAT0.03
5qbf-5cnf-160var-640cl.8SAT0.03
6qbf-5cnf-160var-640cl.2SAT0.03
lut4_XOR_fORUNSAT0.03
5qbf-5cnf-160var-640cl.1SAT0.03
tree-exa10-15SAT0.03
ncf_4_8_8_d.1SAT0.03
5qbf-5cnf-40var-80cl.6SAT0.03
flipflop-5-cUNSAT0.03
4qbf-5cnf-20var-40cl.8SAT0.03
ncf_4_8_2_d.1UNSAT0.03
6qbf-5cnf-80var-320cl.2SAT0.03
4qbf-5cnf-160var-320cl.0SAT0.03
impl18SAT0.03
5qbf-5cnf-80var-320cl.6SAT0.03
ncf_8_16_4_euad.5UNSAT0.03
toilet_c_08_01.8UNSAT0.03
2qbf-5cnf-20var-40cl.6SAT0.03
ncf_4_8_4_d.7UNSAT0.03
2qbf-5cnf-40var-80cl.1SAT0.03
ncf_4_16_2_edau.2SAT0.03
ncf_4_8_4_edau.5SAT0.03
k_ph_p-4UNSAT0.03
5qbf-5cnf-160var-640cl.9SAT0.03
6qbf-5cnf-160var-320cl.9SAT0.03
CHAIN15v.16SAT0.03
6qbf-5cnf-20var-80cl.8SAT0.03
ncf_8_16_4_edau.10SAT0.03
3qbf-5cnf-20var-80cl.7SAT0.03
ncf_16_32_4_d.8SAT0.03
ncf_4_8_4_d.5SAT0.03
z4ml.blif_0.10_0.20_0_1_out_exactSAT0.03
2qbf-5cnf-20var-40cl.9SAT0.03
6qbf-5cnf-80var-320cl.4SAT0.03
ncf_4_8_2_d.7UNSAT0.03
qshifter_5SAT0.03
5qbf-5cnf-20var-80cl.3SAT0.03
ncf_16_32_2_d.6SAT0.03
6qbf-5cnf-160var-640cl.6SAT0.03
6qbf-5cnf-160var-640cl.1SAT0.03
ncf_4_8_4_d.9SAT0.03
k_lin_p-4UNSAT0.03
5qbf-5cnf-40var-160cl.6SAT0.03
C499.blif_0.10_1.00_0_1_inp_exactSAT0.03
ncf_16_32_4_edau.9SAT0.03
TOILET2.1.iv.4SAT0.03
ncf_8_16_2_d.4SAT0.03
ncf_16_32_4_edau.2SAT0.03
4qbf-5cnf-80var-160cl.8SAT0.03
counter_2SAT0.03
6qbf-5cnf-40var-80cl.8SAT0.03
6qbf-5cnf-40var-80cl.5SAT0.03
3qbf-5cnf-20var-320cl.4UNSAT0.03
6qbf-5cnf-160var-640cl.0SAT0.03
mutex-8-sSAT0.03
ncf_4_8_8_d.9UNSAT0.03
ncf_16_32_4_d.9SAT0.03
z4ml.blif_0.10_1.00_0_1_inp_exactSAT0.03
toilet_c_10_01.4UNSAT0.03
ncf_4_8_2_euad.10SAT0.03
ncf_4_16_4_edau.1SAT0.03
5qbf-5cnf-40var-160cl.9SAT0.03
3qbf-5cnf-160var-320cl.8SAT0.03
6qbf-5cnf-160var-640cl.3SAT0.03
1qbf-5cnf-20var-160cl.6SAT0.03
1qbf-5cnf-40var-640cl.6SAT0.03
1qbf-5cnf-40var-320cl.9SAT0.03
1qbf-5cnf-20var-160cl.8SAT0.03
1qbf-5cnf-80var-320cl.8SAT0.03
1qbf-5cnf-20var-320cl.1SAT0.03
1qbf-5cnf-40var-80cl.1SAT0.03
1qbf-5cnf-40var-160cl.3SAT0.03
1qbf-5cnf-80var-1280cl.3SAT0.03
1qbf-5cnf-40var-160cl.9SAT0.03
1qbf-5cnf-80var-640cl.1SAT0.03
1qbf-5cnf-40var-160cl.2SAT0.03
1qbf-5cnf-20var-320cl.6SAT0.03
1qbf-5cnf-160var-1280cl.1SAT0.03
1qbf-5cnf-160var-640cl.0SAT0.03
1qbf-5cnf-160var-320cl.5SAT0.03
1qbf-5cnf-80var-640cl.3SAT0.03
1qbf-5cnf-40var-640cl.2SAT0.03
1qbf-5cnf-80var-160cl.4SAT0.03
1qbf-5cnf-80var-640cl.6SAT0.03
1qbf-5cnf-80var-320cl.1SAT0.03
1qbf-5cnf-160var-640cl.8SAT0.03
1qbf-5cnf-40var-160cl.1SAT0.03
1qbf-5cnf-20var-80cl.0SAT0.03
1qbf-5cnf-160var-320cl.6SAT0.03
1qbf-5cnf-20var-160cl.0SAT0.03
1qbf-5cnf-20var-320cl.5SAT0.03
1qbf-5cnf-160var-1280cl.6SAT0.03
1qbf-5cnf-20var-320cl.0SAT0.03
1qbf-5cnf-20var-640cl.9UNSAT0.03
4qbf-5cnf-20var-40cl.3SAT0.03
1qbf-5cnf-160var-320cl.1SAT0.03
5qbf-5cnf-40var-80cl.1SAT0.03
1qbf-5cnf-20var-160cl.7SAT0.03
1qbf-5cnf-40var-320cl.3SAT0.03
1qbf-5cnf-160var-320cl.0SAT0.03
1qbf-5cnf-160var-1280cl.0SAT0.03
1qbf-5cnf-20var-80cl.7SAT0.03
4qbf-5cnf-80var-160cl.7SAT0.04
ncf_4_16_2_d.6SAT0.04
ncf_8_16_2_d.6UNSAT0.04
2qbf-5cnf-40var-80cl.2SAT0.04
ncf_4_8_8_edau.3SAT0.04
counter_re_2SAT0.04
counter_e_4SAT0.04
k_ph_n-4SAT0.04
ncf_4_8_2_d.3UNSAT0.04
3qbf-5cnf-20var-640cl.2UNSAT0.04
ncf_16_32_2_d.7UNSAT0.04
ncf_8_16_4_edau.5UNSAT0.04
counter_r_2SAT0.04
CHAIN12v.13SAT0.04
4qbf-5cnf-40var-80cl.3SAT0.04
3qbf-5cnf-20var-320cl.2UNSAT0.04
k_lin_p-8UNSAT0.04
3qbf-5cnf-40var-80cl.8SAT0.04
ncf_16_32_4_edau.3SAT0.04
k_d4_p-4UNSAT0.04
tree-exa2-40SAT0.04
mutex-16-sSAT0.04
C432.blif_0.10_1.00_0_1_out_exactSAT0.04
CHAIN14v.15SAT0.04
ncf_4_8_2_edau.8SAT0.04
ncf_4_8_8_edau.1SAT0.04
ncf_4_16_4_edau.8SAT0.04
counter_4SAT0.04
comp.blif_0.10_1.00_0_1_inp_exactSAT0.04
BLOCKS3iii.4UNSAT0.04
3qbf-5cnf-20var-320cl.3UNSAT0.04
Adder2-2-sSAT0.04
3qbf-5cnf-20var-640cl.5UNSAT0.04
3qbf-5cnf-20var-640cl.1UNSAT0.04
ncf_4_8_4_edau.3UNSAT0.04
ncf_4_8_2_d.4UNSAT0.04
toilet_c_08_05.2UNSAT0.04
ncf_8_16_4_d.8UNSAT0.04
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT0.04
3qbf-5cnf-80var-160cl.5SAT0.04
3qbf-5cnf-40var-1280cl.1UNSAT0.04
C499.blif_0.10_1.00_0_1_out_exactSAT0.04
TOILET2.1.iv.3UNSAT0.04
ncf_16_32_4_edau.8SAT0.04
1qbf-5cnf-20var-640cl.0UNSAT0.04
1qbf-5cnf-40var-640cl.1SAT0.04
1qbf-5cnf-20var-80cl.8SAT0.04
1qbf-5cnf-160var-640cl.5SAT0.04
1qbf-5cnf-80var-640cl.5SAT0.04
1qbf-5cnf-40var-640cl.5SAT0.04
1qbf-5cnf-160var-640cl.2SAT0.04
1qbf-5cnf-80var-320cl.7SAT0.04
1qbf-5cnf-160var-320cl.2SAT0.04
1qbf-5cnf-20var-80cl.6SAT0.04
1qbf-5cnf-20var-320cl.3SAT0.04
1qbf-5cnf-160var-320cl.7SAT0.04
1qbf-5cnf-20var-320cl.7SAT0.04
1qbf-5cnf-80var-320cl.3SAT0.04
1qbf-5cnf-160var-640cl.1SAT0.04
1qbf-5cnf-40var-320cl.0SAT0.04
1qbf-5cnf-20var-160cl.3SAT0.04
1qbf-5cnf-20var-320cl.9SAT0.04
1qbf-5cnf-160var-1280cl.7SAT0.04
1qbf-5cnf-20var-80cl.3SAT0.04
1qbf-5cnf-40var-320cl.2SAT0.04
1qbf-5cnf-80var-160cl.9SAT0.04
1qbf-5cnf-80var-160cl.6SAT0.04
1qbf-5cnf-160var-1280cl.8SAT0.04
1qbf-5cnf-20var-640cl.2UNSAT0.04
1qbf-5cnf-20var-160cl.9SAT0.04
1qbf-5cnf-40var-80cl.2SAT0.04
1qbf-5cnf-40var-320cl.8SAT0.04
1qbf-5cnf-80var-320cl.5SAT0.04
1qbf-5cnf-40var-320cl.5SAT0.04
1qbf-5cnf-20var-640cl.5UNSAT0.04
1qbf-5cnf-40var-640cl.0SAT0.04
1qbf-5cnf-80var-160cl.2SAT0.04
1qbf-5cnf-80var-1280cl.2SAT0.04
comp.blif_0.10_1.00_0_0_inp_exactUNSAT0.05
toilet_c_10_01.20SAT0.05
lut4_2_fXORSAT0.05
toilet_c_08_01.4UNSAT0.05
ncf_8_16_4_u.2UNSAT0.05
CHAIN13v.14SAT0.05
5qbf-5cnf-20var-640cl.1UNSAT0.05
ncf_4_8_8_d.5UNSAT0.05
ncf_8_16_2_edau.3UNSAT0.05
CHAIN18v.19SAT0.05
toilet_a_08_01.4UNSAT0.05
3qbf-5cnf-20var-640cl.7UNSAT0.05
toilet_c_10_01.8UNSAT0.05
ncf_16_32_8_d.3SAT0.05
C432.blif_0.10_1.00_0_1_inp_exactSAT0.05
toilet_a_08_01.2UNSAT0.05
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT0.05
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT0.05
2qbf-5cnf-20var-40cl.5SAT0.05
ncf_8_16_4_euad.2UNSAT0.05
comp.blif_0.10_1.00_0_0_out_exactUNSAT0.05
ncf_16_32_4_d.3SAT0.05
ncf_4_8_2_u.10SAT0.05
1qbf-5cnf-80var-160cl.3SAT0.05
1qbf-5cnf-20var-80cl.4SAT0.05
1qbf-5cnf-20var-320cl.8SAT0.05
1qbf-5cnf-40var-320cl.6SAT0.05
1qbf-5cnf-80var-640cl.2SAT0.05
1qbf-5cnf-20var-40cl.5SAT0.05
1qbf-5cnf-160var-1280cl.2SAT0.05
1qbf-5cnf-20var-320cl.4SAT0.05
1qbf-5cnf-20var-160cl.5SAT0.05
1qbf-5cnf-160var-640cl.4SAT0.05
1qbf-5cnf-160var-320cl.3SAT0.05
1qbf-5cnf-40var-320cl.1SAT0.05
1qbf-5cnf-80var-1280cl.6SAT0.05
1qbf-5cnf-20var-640cl.7UNSAT0.05
1qbf-5cnf-160var-1280cl.3SAT0.05
1qbf-5cnf-160var-1280cl.5SAT0.05
1qbf-5cnf-40var-160cl.8SAT0.05
1qbf-5cnf-40var-640cl.4SAT0.05
1qbf-5cnf-80var-160cl.1SAT0.05
1qbf-5cnf-80var-640cl.7SAT0.05
ncf_4_8_2_u.1UNSAT0.06
ncf_4_8_2_euad.4UNSAT0.06
ncf_4_8_8_edau.5UNSAT0.06
ncf_4_8_2_euad.6SAT0.06
ncf_4_8_2_euad.1UNSAT0.06
ncf_4_8_2_d.5SAT0.06
3qbf-5cnf-20var-640cl.3UNSAT0.06
ncf_4_8_4_d.3UNSAT0.06
ncf_8_16_4_u.5UNSAT0.06
ncf_8_16_2_euad.3UNSAT0.06
ncf_8_16_2_u.6UNSAT0.06
toilet_c_08_05.4SAT0.06
ncf_8_16_2_d.3UNSAT0.06
ncf_16_32_8_edau.3SAT0.06
adder-2-satSAT0.06
ncf_4_8_2_euad.5SAT0.06
toilet_c_10_05.7SAT0.06
BLOCKS3ii.4.3UNSAT0.06
4qbf-5cnf-20var-80cl.3SAT0.06
k_d4_p-8UNSAT0.06
comp.blif_0.10_0.20_0_1_out_exactSAT0.06
3qbf-5cnf-20var-640cl.0UNSAT0.06
1qbf-5cnf-20var-80cl.9SAT0.06
1qbf-5cnf-20var-640cl.3UNSAT0.06
1qbf-5cnf-40var-640cl.3SAT0.06
1qbf-5cnf-80var-1280cl.4SAT0.06
1qbf-5cnf-20var-640cl.4UNSAT0.06
1qbf-5cnf-160var-1280cl.9SAT0.06
1qbf-5cnf-80var-640cl.4SAT0.06
1qbf-5cnf-80var-160cl.8SAT0.06
1qbf-5cnf-160var-640cl.7SAT0.06
1qbf-5cnf-160var-1280cl.4SAT0.06
1qbf-5cnf-40var-160cl.0SAT0.06
1qbf-5cnf-160var-640cl.9SAT0.06
1qbf-5cnf-20var-640cl.8UNSAT0.06
1qbf-5cnf-20var-160cl.4SAT0.06
1qbf-5cnf-80var-1280cl.8SAT0.06
1qbf-5cnf-20var-40cl.4SAT0.06
ncf_4_8_2_u.7UNSAT0.07
3qbf-5cnf-20var-320cl.9UNSAT0.07
k_path_p-4UNSAT0.07
ncf_8_16_4_edau.2UNSAT0.07
BLOCKS3ii.5.2UNSAT0.07
2qbf-5cnf-20var-640cl.2UNSAT0.07
CHAIN20v.21SAT0.07
2qbf-5cnf-20var-640cl.6UNSAT0.07
k_branch_p-4UNSAT0.07
3qbf-5cnf-40var-1280cl.3UNSAT0.07
CHAIN22v.23SAT0.07
toilet_c_08_05.8SAT0.07
CHAIN17v.18SAT0.07
ncf_4_8_2_edau.5SAT0.07
ncf_4_8_2_euad.7UNSAT0.07
CHAIN16v.17SAT0.07
comp.blif_0.10_0.20_0_0_out_exactUNSAT0.07
ncf_8_16_4_d.2UNSAT0.07
3qbf-5cnf-20var-640cl.8UNSAT0.07
k_lin_p-12UNSAT0.07
k_poly_p-4UNSAT0.07
1qbf-5cnf-20var-640cl.6UNSAT0.07
1qbf-5cnf-80var-1280cl.1SAT0.07
1qbf-5cnf-20var-80cl.1SAT0.07
ncf_4_8_2_euad.8SAT0.08
ncf_8_16_2_edau.6UNSAT0.08
flipflop-6-cUNSAT0.08
z4ml.blif_0.10_1.00_0_1_out_exactSAT0.08
2qbf-5cnf-20var-640cl.9UNSAT0.08
toilet_c_10_05.12SAT0.08
CHAIN19v.20SAT0.08
4qbf-5cnf-20var-80cl.1SAT0.08
ncf_4_16_2_euad.6SAT0.08
ncf_8_16_4_d.5UNSAT0.08
C432.blif_0.10_1.00_0_0_inp_exactUNSAT0.08
ncf_16_32_2_edau.7UNSAT0.08
BLOCKS3i.5.3UNSAT0.08
3qbf-5cnf-40var-1280cl.6UNSAT0.08
ncf_8_16_4_edau.8UNSAT0.08
BLOCKS3iii.5SAT0.08
1qbf-5cnf-80var-640cl.9SAT0.08
1qbf-5cnf-80var-1280cl.0SAT0.08
C432.blif_0.10_1.00_0_0_out_exactUNSAT0.09
toilet_a_08_05.4SAT0.09
BLOCKS3ii.5.3SAT0.09
connect_5x4_4_WUNSAT0.09
CHAIN23v.24SAT0.09
connect_5x4_4_DUNSAT0.09
ncf_4_8_2_u.4UNSAT0.09
TOILET6.1.iv.12SAT0.09
s27_d2_sSAT0.09
ncf_4_8_2_u.8SAT0.09
ncf_4_8_2_u.5SAT0.09
2qbf-5cnf-20var-640cl.8UNSAT0.09
ncf_4_8_2_u.6SAT0.09
ncf_8_16_2_u.3UNSAT0.09
toilet_c_08_05.10SAT0.09
term1.blif_0.10_1.00_0_1_inp_exactSAT0.09
1qbf-5cnf-160var-2560cl.6SAT0.09
1qbf-5cnf-80var-1280cl.9SAT0.09
2qbf-5cnf-40var-1280cl.6UNSAT0.1
toilet_a_08_05.10SAT0.1
toilet_a_08_05.2UNSAT0.1
3qbf-5cnf-20var-320cl.0UNSAT0.1
connect_5x4_3_WUNSAT0.1
k_lin_p-16UNSAT0.1
BLOCKS3i.4.4UNSAT0.1
3qbf-5cnf-40var-640cl.7UNSAT0.1
ncf_8_16_2_euad.6UNSAT0.1
CHAIN21v.22SAT0.1
connect_5x4_3_DUNSAT0.1
3qbf-5cnf-40var-1280cl.7UNSAT0.1
1qbf-5cnf-80var-1280cl.5SAT0.1
1qbf-5cnf-80var-1280cl.7SAT0.1
toilet_a_08_01.16SAT0.11
TOILET6.1.iv.11UNSAT0.11
toilet_c_10_05.8SAT0.11
3qbf-5cnf-40var-640cl.6UNSAT0.11
toilet_c_08_10.2SAT0.11
ncf_4_16_2_u.6SAT0.11
k_d4_p-12UNSAT0.11
3qbf-5cnf-20var-320cl.1UNSAT0.11
connect_6x5_5_WUNSAT0.11
ncf_4_16_2_edau.9SAT0.11
4qbf-5cnf-20var-80cl.0SAT0.11
toilet_a_08_01.8UNSAT0.11
k_path_p-8UNSAT0.11
2qbf-5cnf-40var-80cl.3SAT0.11
1qbf-5cnf-160var-2560cl.7SAT0.11
BLOCKS3i.5.4SAT0.12
2qbf-5cnf-20var-640cl.7UNSAT0.12
qshifter_6SAT0.12
3qbf-5cnf-40var-1280cl.2UNSAT0.12
2qbf-5cnf-20var-320cl.1UNSAT0.12
2qbf-5cnf-20var-640cl.0UNSAT0.13
comp.blif_0.10_0.20_0_0_inp_exactUNSAT0.13
vonNeumann-ripple-carry-5-cUNSAT0.13
toilet_a_08_10.2SAT0.13
3qbf-5cnf-40var-1280cl.0UNSAT0.13
ncf_4_16_2_d.7SAT0.13
flipflop-7-cUNSAT0.13
ncf_8_16_2_edau.9UNSAT0.13
s27_d3_uUNSAT0.13
1qbf-5cnf-40var-1280cl.1UNSAT0.13
szymanski-4-sUNSAT0.14
connect_6x5_5_DUNSAT0.14
ncf_8_16_2_d.9UNSAT0.14
5qbf-5cnf-20var-640cl.6UNSAT0.14
s499_d2_sSAT0.14
k_poly_p-8UNSAT0.14
3qbf-5cnf-40var-640cl.0UNSAT0.14
3qbf-5cnf-40var-1280cl.5UNSAT0.15
ncf_8_16_2_u.9UNSAT0.15
ncf_4_16_2_edau.7SAT0.15
ncf_4_16_2_d.9SAT0.15
toilet_a_08_05.8SAT0.15
5qbf-5cnf-20var-640cl.9UNSAT0.15
1qbf-5cnf-40var-1280cl.5UNSAT0.15
1qbf-5cnf-40var-1280cl.0UNSAT0.15
3qbf-5cnf-20var-640cl.6UNSAT0.16
4qbf-5cnf-20var-640cl.9UNSAT0.16
TOILET7.1.iv.14SAT0.16
ncf_4_16_2_u.9SAT0.16
1qbf-5cnf-40var-1280cl.2UNSAT0.16
comp.blif_0.10_0.20_0_1_inp_exactSAT0.17
3qbf-5cnf-40var-640cl.5UNSAT0.17
ncf_4_16_2_euad.9SAT0.17
5qbf-5cnf-20var-640cl.0UNSAT0.17
term1.blif_0.10_1.00_0_1_out_exactSAT0.17
3qbf-5cnf-40var-640cl.2UNSAT0.17
3qbf-5cnf-80var-2560cl.2UNSAT0.17
1qbf-5cnf-40var-1280cl.4UNSAT0.17
1qbf-5cnf-40var-1280cl.9UNSAT0.17
1qbf-5cnf-40var-1280cl.7UNSAT0.17
3qbf-5cnf-40var-1280cl.8UNSAT0.18
2qbf-5cnf-20var-320cl.2UNSAT0.18
2qbf-5cnf-20var-640cl.5UNSAT0.18
ncf_4_8_4_euad.2UNSAT0.18
1qbf-5cnf-40var-1280cl.3UNSAT0.18
3qbf-5cnf-20var-160cl.2SAT0.19
2qbf-5cnf-40var-1280cl.3UNSAT0.19
1qbf-5cnf-40var-1280cl.8UNSAT0.19
1qbf-5cnf-40var-1280cl.6UNSAT0.19
2qbf-5cnf-20var-320cl.0UNSAT0.2
ncf_8_16_2_euad.9UNSAT0.2
k_d4_p-16UNSAT0.2
ncf_4_16_2_u.2SAT0.2
connect_6x5_4_WUNSAT0.2
ncf_4_8_4_u.2UNSAT0.2
1qbf-5cnf-160var-2560cl.5SAT0.2
ncf_4_16_2_euad.2SAT0.21
connect_6x5_4_DUNSAT0.21
2qbf-5cnf-20var-320cl.5UNSAT0.21
connect_6x5_3_DUNSAT0.21
Adder2-4-sSAT0.21
2qbf-5cnf-20var-320cl.7UNSAT0.21
k_lin_p-20UNSAT0.21
connect_6x5_3_WUNSAT0.21
TOILET16.1.iv.32SAT0.21
1qbf-5cnf-160var-2560cl.0SAT0.21
ncf_4_16_4_u.5SAT0.22
TOILET7.1.iv.13UNSAT0.22
5qbf-5cnf-40var-1280cl.9UNSAT0.22
ncf_4_8_4_edau.2UNSAT0.22
ncf_4_8_4_d.2UNSAT0.22
ncf_8_16_4_edau.6UNSAT0.22
3qbf-5cnf-40var-640cl.4UNSAT0.22
ncf_8_16_4_d.6UNSAT0.23
ncf_4_8_4_edau.1SAT0.23
2qbf-5cnf-20var-320cl.9UNSAT0.23
1qbf-5cnf-160var-2560cl.2SAT0.23
4qbf-5cnf-20var-640cl.7UNSAT0.24
3qbf-5cnf-40var-1280cl.9UNSAT0.24
k_lin_p-21UNSAT0.24
3qbf-5cnf-80var-2560cl.5UNSAT0.25
3qbf-5cnf-80var-2560cl.1UNSAT0.25
2qbf-5cnf-20var-640cl.4UNSAT0.25
2qbf-5cnf-40var-1280cl.9UNSAT0.25
ncf_4_8_4_d.1SAT0.25
2qbf-5cnf-20var-320cl.8UNSAT0.26
2qbf-5cnf-20var-320cl.3UNSAT0.26
3qbf-5cnf-20var-640cl.9UNSAT0.27
vonNeumann-ripple-carry-6-cUNSAT0.27
connect_7x6_6_WUNSAT0.27
ncf_4_16_2_euad.4SAT0.27
ncf_4_16_2_edau.5UNSAT0.28
k_d4_p-20UNSAT0.28
ncf_4_8_4_u.5SAT0.28
3qbf-5cnf-40var-640cl.1UNSAT0.28
flipflop-8-cUNSAT0.28
counter_8SAT0.29
ncf_4_8_2_euad.3UNSAT0.29
ncf_4_8_4_euad.5SAT0.29
ncf_4_16_4_euad.5SAT0.29
3qbf-5cnf-80var-2560cl.3UNSAT0.29
term1.blif_0.10_1.00_0_0_inp_exactUNSAT0.3
connect_7x6_6_DUNSAT0.3
2qbf-5cnf-20var-640cl.1UNSAT0.31
s298_d2_sSAT0.31
ncf_16_32_2_u.9UNSAT0.32
ncf_16_32_2_edau.9UNSAT0.32
k_dum_p-4UNSAT0.32
k_d4_p-21UNSAT0.33
5qbf-5cnf-20var-640cl.2UNSAT0.33
lut4_AND_f1SAT0.33
2qbf-5cnf-20var-320cl.6UNSAT0.33
3qbf-5cnf-80var-2560cl.0UNSAT0.34
ncf_16_32_4_edau.10UNSAT0.34
ncf_4_8_4_edau.10SAT0.34
connect_7x6_5_WUNSAT0.34
3qbf-5cnf-80var-1280cl.8UNSAT0.34
3qbf-5cnf-20var-80cl.4SAT0.34
ncf_16_32_4_d.10UNSAT0.34
ncf_4_16_2_euad.7FAIL0.35
3qbf-5cnf-20var-80cl.8SAT0.35
Adder2-2-cUNSAT0.35
term1.blif_0.10_1.00_0_0_out_exactUNSAT0.36
connect_7x6_4_WUNSAT0.36
ncf_4_8_4_d.10SAT0.36
connect_7x6_5_DUNSAT0.36
k_branch_p-8UNSAT0.36
s27_d4_uUNSAT0.37
ncf_4_8_2_u.3UNSAT0.37
ncf_4_8_8_d.4SAT0.37
connect_7x6_3_WUNSAT0.38
connect_7x6_4_DUNSAT0.38
lut4_3_fANDSAT0.4
ncf_4_16_2_d.5UNSAT0.4
connect_8x7_7_WUNSAT0.41
ncf_4_16_4_edau.9SAT0.41
2qbf-5cnf-80var-160cl.0SAT0.41
ncf_16_32_2_d.8UNSAT0.41
ncf_16_32_2_euad.9UNSAT0.42
ncf_16_32_2_d.9UNSAT0.42
k_grz_n-4SAT0.43
ncf_16_32_2_d.5UNSAT0.43
vonNeumann-ripple-carry-7-cUNSAT0.43
connect_7x6_3_DUNSAT0.43
k_lin_n-4SAT0.44
ncf_4_8_4_d.8UNSAT0.44
ncf_16_32_2_edau.5UNSAT0.45
1qbf-5cnf-160var-2560cl.4SAT0.45
szymanski-5-sUNSAT0.46
ncf_4_8_4_edau.4UNSAT0.46
ncf_4_8_4_edau.8UNSAT0.46
3qbf-5cnf-80var-2560cl.9UNSAT0.48
3qbf-5cnf-40var-640cl.3UNSAT0.48
k_poly_p-12UNSAT0.48
3qbf-5cnf-80var-2560cl.8UNSAT0.48
connect_8x7_7_DUNSAT0.49
ncf_4_16_2_u.7FAIL0.49
ncf_4_8_8_euad.1SAT0.49
C499.blif_0.10_1.00_0_0_inp_exactUNSAT0.49
ncf_4_16_4_d.9SAT0.5
3qbf-5cnf-40var-160cl.5SAT0.51
ncf_4_8_8_u.1SAT0.51
k_ph_n-8SAT0.51
ncf_4_8_4_d.4UNSAT0.52
ncf_4_16_4_u.1SAT0.52
ncf_4_8_4_euad.6SAT0.52
3qbf-5cnf-20var-80cl.2SAT0.53
connect_8x7_6_WUNSAT0.53
lut4_2_f1SAT0.53
ncf_4_8_4_euad.7UNSAT0.53
toilet_a_10_01.20SAT0.54
ncf_4_8_4_u.6SAT0.55
ncf_16_32_2_edau.8UNSAT0.55
ncf_4_8_2_euad.9SAT0.56
3qbf-5cnf-20var-160cl.4SAT0.56
2qbf-5cnf-40var-1280cl.5UNSAT0.56
lognBWLARGEA1UNSAT0.57
connect_8x7_6_DUNSAT0.57
2qbf-5cnf-40var-1280cl.7UNSAT0.57
ncf_4_16_4_euad.1SAT0.57
flipflop-9-cUNSAT0.58
2qbf-5cnf-40var-80cl.0SAT0.59
connect_8x7_5_DUNSAT0.59
ncf_4_8_4_u.7UNSAT0.59
ev-pr-6x6-5-5-0-1-2-lgUNSAT0.6
2qbf-5cnf-40var-1280cl.2UNSAT0.6
3qbf-5cnf-160var-5120cl.9UNSAT0.62
connect_8x7_5_WUNSAT0.62
1qbf-5cnf-160var-2560cl.9SAT0.62
3qbf-5cnf-80var-2560cl.6UNSAT0.63
TOILET10.1.iv.20SAT0.63
2qbf-5cnf-40var-1280cl.4UNSAT0.64
ncf_4_8_8_u.3SAT0.64
1qbf-5cnf-160var-2560cl.1SAT0.65
ncf_8_16_2_d.5UNSAT0.67
ncf_4_8_4_euad.3UNSAT0.68
k_ph_p-8UNSAT0.68
connect_8x7_4_WUNSAT0.68
qshifter_7SAT0.69
ev-pr-4x4-5-3-0-0-1-lgSAT0.69
connect_8x7_4_DUNSAT0.69
connect_8x7_3_WUNSAT0.7
2qbf-5cnf-20var-640cl.3UNSAT0.7
C5315.blif_0.10_1.00_0_1_out_exactSAT0.7
connect_9x8_8_DUNSAT0.71
ncf_4_8_4_u.3UNSAT0.71
5qbf-5cnf-20var-640cl.4UNSAT0.71
4qbf-5cnf-40var-160cl.5SAT0.72
4qbf-5cnf-20var-640cl.4UNSAT0.73
connect_9x8_8_WUNSAT0.74
ncf_8_16_2_edau.5UNSAT0.75
ncf_4_16_4_u.9SAT0.75
ncf_4_8_8_euad.3SAT0.75
2qbf-5cnf-40var-1280cl.0UNSAT0.76
adder-4-satSAT0.77
4qbf-5cnf-20var-640cl.6UNSAT0.77
toilet_c_10_05.4SAT0.77
vonNeumann-ripple-carry-8-cUNSAT0.77
5qbf-5cnf-40var-1280cl.0UNSAT0.78
2qbf-5cnf-20var-320cl.4UNSAT0.78
toilet_a_10_01.2UNSAT0.78
2qbf-5cnf-40var-80cl.7SAT0.79
ncf_4_16_4_euad.9SAT0.79
lut4_AND_fXORUNSAT0.8
connect_8x7_3_DUNSAT0.81
toilet_c_08_01.16SAT0.82
ncf_4_16_2_u.4SAT0.82
term1.blif_0.10_0.20_0_1_out_exactSAT0.82
3qbf-5cnf-20var-160cl.9SAT0.83
toilet_a_10_05.2UNSAT0.83
ncf_4_16_4_euad.8SAT0.84
toilet_a_10_01.4UNSAT0.85
3qbf-5cnf-80var-1280cl.4UNSAT0.86
connect_9x8_7_WUNSAT0.86
ncf_4_8_8_u.4SAT0.86
3qbf-5cnf-80var-1280cl.1UNSAT0.87
ncf_4_8_4_u.8UNSAT0.87
5qbf-5cnf-40var-1280cl.2UNSAT0.87
ncf_4_8_4_euad.8UNSAT0.88
ncf_4_8_8_euad.4SAT0.88
3qbf-5cnf-80var-2560cl.4UNSAT0.88
ncf_4_16_4_u.8SAT0.89
5qbf-5cnf-40var-1280cl.7UNSAT0.9
connect_9x8_7_DUNSAT0.9
toilet_a_10_01.8UNSAT0.9
toilet_a_10_01.3UNSAT0.91
5qbf-5cnf-40var-1280cl.1UNSAT0.92
C432.blif_0.10_0.20_0_0_out_exactFAIL0.94
adder-2-unsatUNSAT0.95
vonNeumann-ripple-carry-9-cUNSAT0.95
k_poly_p-16UNSAT0.95
ncf_16_32_2_u.7UNSAT0.96
BLOCKS4iii.6UNSAT0.98
5qbf-5cnf-20var-320cl.5UNSAT0.99
flipflop-10-cUNSAT1
ncf_4_8_4_euad.4UNSAT1
3qbf-5cnf-80var-1280cl.0UNSAT1.01
3qbf-5cnf-160var-5120cl.2UNSAT1.01
k_grz_p-4UNSAT1.02
5qbf-5cnf-20var-160cl.3SAT1.03
connect_9x8_6_WUNSAT1.05
ncf_4_16_2_edau.10UNSAT1.07
ncf_4_8_4_euad.1SAT1.08
3qbf-5cnf-160var-5120cl.4UNSAT1.08
connect_9x8_6_DUNSAT1.09
k_branch_p-12UNSAT1.09
toilet_c_10_10.2SAT1.09
connect_9x8_5_WUNSAT1.1
5qbf-5cnf-20var-640cl.5UNSAT1.1
ncf_4_8_4_u.4UNSAT1.12
s510_d2_sSAT1.13
connect_9x8_5_DUNSAT1.16
ncf_16_32_4_d.7UNSAT1.18
3qbf-5cnf-160var-5120cl.1UNSAT1.18
connect_9x8_4_WUNSAT1.19
ev-pr-8x8-5-7-0-1-2-lgUNSAT1.19
2qbf-5cnf-80var-160cl.5SAT1.21
ncf_16_32_8_edau.8UNSAT1.21
3qbf-5cnf-80var-1280cl.7UNSAT1.21
3qbf-5cnf-20var-80cl.6SAT1.21
ncf_8_16_2_euad.1SAT1.23
connect_9x8_3_WUNSAT1.24
2qbf-5cnf-40var-1280cl.1UNSAT1.24
connect_9x8_4_DUNSAT1.24
ncf_8_16_4_u.6UNSAT1.3
ncf_16_32_8_d.8UNSAT1.3
ncf_16_32_4_edau.7UNSAT1.32
adder-4-unsatFAIL1.32
connect_9x8_3_DUNSAT1.34
C499.blif_0.10_1.00_0_0_out_exactUNSAT1.35
robots_1_5_5_24.2SAT1.36
ncf_16_32_2_euad.7UNSAT1.37
2qbf-5cnf-40var-80cl.9SAT1.41
vonNeumann-ripple-carry-10-cUNSAT1.44
ncf_8_16_2_u.1SAT1.45
C880.blif_0.10_0.20_0_0_out_exactFAIL1.45
ncf_8_16_2_u.5UNSAT1.46
ncf_4_16_2_d.10UNSAT1.48
flipflop-11-cUNSAT1.49
s27_d5_uFAIL1.51
1qbf-5cnf-160var-2560cl.3SAT1.53
3qbf-5cnf-20var-80cl.9SAT1.54
4qbf-5cnf-20var-80cl.2SAT1.58
robots_1_5_5_38.2SAT1.61
ncf_8_16_4_euad.6UNSAT1.62
ncf_8_16_2_edau.7SAT1.62
4qbf-5cnf-20var-640cl.8UNSAT1.63
robots_1_5_5_61.2SAT1.64
k_poly_p-20UNSAT1.65
robots_1_5_5_15.2SAT1.67
lognBWLARGEB1UNSAT1.68
robots_1_5_5_56.2SAT1.71
robots_1_5_4_73.2SAT1.72
robots_1_5_4_81.2SAT1.73
k_poly_p-21UNSAT1.74
robots_1_5_4_100.2SAT1.74
robots_1_5_4_44.2SAT1.75
ncf_8_16_2_d.7SAT1.75
robots_1_5_4_75.2SAT1.75
robots_1_5_5_62.2SAT1.76
robots_1_5_5_75.2SAT1.77
toilet_a_10_10.2SAT1.79
ncf_8_16_2_euad.5UNSAT1.83
3qbf-5cnf-40var-640cl.8UNSAT1.85
3qbf-5cnf-20var-160cl.6SAT1.86
robots_1_5_3_51.2SAT1.96
k_dum_n-4SAT1.98
robots_1_5_3_100.2SAT2.01
robots_1_5_3_30.2SAT2.04
robots_1_5_5_31.2SAT2.04
szymanski-6-sUNSAT2.04
robots_1_5_4_71.2SAT2.04
C499.blif_0.10_0.20_0_1_out_exactFAIL2.05
robots_1_5_5_100.2SAT2.05
robots_1_5_4_32.2SAT2.06
C6288.blif_0.10_1.00_0_1_out_exactSAT2.08
robots_1_5_5_97.2SAT2.11
robots_1_5_4_59.2SAT2.11
robots_1_5_3_7.2SAT2.14
ev-pr-6x6-7-5-0-1-2-lgUNSAT2.14
robots_1_5_4_22.2SAT2.14
5qbf-5cnf-40var-1280cl.6UNSAT2.19
robots_1_5_4_52.2SAT2.21
3qbf-5cnf-20var-80cl.3SAT2.26
k_dum_p-8UNSAT2.27
k_path_p-12UNSAT2.32
3qbf-5cnf-20var-80cl.1SAT2.34
C432.blif_0.10_0.20_0_1_out_exactFAIL2.36
flipflop-12-cUNSAT2.38
vonNeumann-ripple-carry-11-cUNSAT2.41
k_grz_n-16FAIL2.42
robots_1_5_3_25.2SAT2.45
robots_1_5_3_62.2SAT2.46
robots_1_5_3_80.2SAT2.48
robots_1_5_2_49.2SAT2.51
robots_1_5_2_81.2SAT2.52
robots_1_5_3_52.2SAT2.54
robots_1_5_3_91.2SAT2.55
robots_1_5_3_26.2SAT2.56
3qbf-5cnf-80var-2560cl.7UNSAT2.57
3qbf-5cnf-160var-5120cl.7UNSAT2.59
connect_5x4_4_RFAIL2.64
Adder2-6-sSAT2.66
robots_1_5_2_85.2SAT2.69
robots_1_5_2_31.2SAT2.76
robots_1_5_2_33.2SAT2.79
ncf_4_8_8_u.5UNSAT2.8
ncf_4_16_2_u.5UNSAT2.83
lut4_2_f2UNSAT2.85
3qbf-5cnf-160var-2560cl.7UNSAT2.86
k_grz_n-21FAIL2.91
ncf_4_16_2_euad.5UNSAT2.94
ncf_4_16_2_d.8SAT2.97
k_path_n-4SAT3.03
ncf_4_8_8_euad.5UNSAT3.12
k_grz_n-20FAIL3.14
k_branch_p-16UNSAT3.15
5qbf-5cnf-40var-1280cl.5UNSAT3.15
BLOCKS4iii.7FAIL3.26
ncf_8_16_4_d.3SAT3.32
vonNeumann-ripple-carry-12-cUNSAT3.39
robots_1_5_2_28.2SAT3.44
3qbf-5cnf-20var-160cl.3FAIL3.49
3qbf-5cnf-160var-5120cl.8UNSAT3.62
s386_d2_sSAT3.63
ncf_4_32_2_euad.2FAIL3.65
robots_1_5_2_10.2SAT3.71
4qbf-5cnf-20var-640cl.1UNSAT3.73
ncf_4_8_4_euad.10FAIL3.84
vonNeumann-ripple-carry-13-cUNSAT4
robots_1_5_2_14.2SAT4.03
5qbf-5cnf-20var-640cl.7UNSAT4.12
3qbf-5cnf-160var-2560cl.1UNSAT4.19
qshifter_8SAT4.33
robots_1_5_2_100.2SAT4.35
C5315.blif_0.10_1.00_0_1_inp_exactSAT4.41
2qbf-5cnf-80var-2560cl.9UNSAT4.43
ev-pr-8x8-7-7-0-1-2-lgUNSAT4.48
ncf_4_32_2_edau.1UNSAT4.5
k_grz_p-12FAIL4.88
robots_1_5_2_47.2SAT4.89
ncf_4_32_2_d.1UNSAT4.93
2qbf-5cnf-20var-80cl.2SAT4.99
ncf_4_8_4_u.10FAIL5
k_grz_n-8SAT5.41
Adder2-6-cFAIL5.6
k_dum_n-16FAIL5.64
k_t4p_n-12FAIL6.01
3qbf-5cnf-160var-2560cl.6UNSAT6.01
3qbf-5cnf-160var-5120cl.5UNSAT6.12
k_grz_p-8UNSAT6.16
BLOCKS4ii.6.3FAIL6.29
ev-pr-4x4-9-3-0-0-1-lgFAIL6.37
k_lin_n-8SAT6.7
3qbf-5cnf-160var-5120cl.6UNSAT6.8
3qbf-5cnf-20var-640cl.4UNSAT7.13
C880.blif_0.10_0.20_0_1_out_exactFAIL7.19
3qbf-5cnf-20var-320cl.5UNSAT7.19
2qbf-5cnf-20var-80cl.4SAT7.35
2qbf-5cnf-40var-80cl.6SAT7.4
toilet_a_10_05.4SAT7.43
ncf_8_16_4_u.8UNSAT7.53
ev-pr-4x4-5-3-0-0-1-sSAT7.59
ev-pr-8x8-9-7-0-1-2-lgUNSAT7.61
ncf_4_16_4_edau.4UNSAT7.69
6qbf-5cnf-40var-640cl.7UNSAT7.98
ncf_4_16_4_d.4UNSAT8
5qbf-5cnf-20var-320cl.4UNSAT8.05
Adder2-8-cFAIL8.09
vonNeumann-ripple-carry-15-cUNSAT8.1
3qbf-5cnf-160var-2560cl.5UNSAT8.39
6qbf-5cnf-80var-1280cl.5UNSAT8.48
5qbf-5cnf-80var-2560cl.3UNSAT8.52
k_branch_p-20UNSAT8.54
3qbf-5cnf-160var-5120cl.0UNSAT8.56
3qbf-5cnf-40var-1280cl.4UNSAT8.62
5qbf-5cnf-80var-2560cl.4UNSAT8.66
ncf_8_16_8_d.7UNSAT8.69
6qbf-5cnf-80var-2560cl.0UNSAT8.77
6qbf-5cnf-80var-2560cl.6UNSAT8.81
3qbf-5cnf-20var-160cl.7SAT8.91
horn_400CNF1520_2aQBF_165UNSAT8.92
4qbf-5cnf-40var-640cl.3UNSAT8.92
2qbf-5cnf-80var-2560cl.5UNSAT8.93
adder-6-satSAT8.95
6qbf-5cnf-20var-640cl.6UNSAT8.98
4qbf-5cnf-40var-1280cl.9UNSAT8.99
2qbf-5cnf-40var-1280cl.8UNSAT8.99
2qbf-5cnf-160var-640cl.7UNSAT9.02
5qbf-5cnf-160var-2560cl.9UNSAT9.04
2qbf-5cnf-160var-640cl.2UNSAT9.15
4qbf-5cnf-40var-320cl.1UNSAT9.17
ev-pr-4x4-13-3-0-0-1-lgFAIL9.21
4qbf-5cnf-40var-640cl.4UNSAT9.26
4qbf-5cnf-20var-640cl.0UNSAT9.26
2qbf-5cnf-80var-320cl.0UNSAT9.27
BLOCKS4i.6.4FAIL9.36
6qbf-5cnf-20var-640cl.2UNSAT9.37
k_ph_n-12SAT9.39
6qbf-5cnf-80var-2560cl.3UNSAT9.44
2qbf-5cnf-80var-1280cl.7UNSAT9.48
2qbf-5cnf-80var-2560cl.0UNSAT9.49
3qbf-5cnf-80var-1280cl.6UNSAT9.52
5qbf-5cnf-80var-1280cl.1UNSAT9.68
5qbf-5cnf-160var-2560cl.5UNSAT9.8
5qbf-5cnf-160var-2560cl.0UNSAT9.84
2qbf-5cnf-160var-1280cl.7UNSAT9.86
4qbf-5cnf-80var-640cl.1UNSAT9.9
2qbf-5cnf-80var-2560cl.8UNSAT10
C880.blif_0.10_1.00_0_0_inp_exactFAIL10.03
k_t4p_p-4FAIL10.05
2qbf-5cnf-160var-5120cl.3UNSAT10.1
4qbf-5cnf-160var-2560cl.1UNSAT10.1
2qbf-5cnf-40var-640cl.4UNSAT10.13
4qbf-5cnf-20var-640cl.5UNSAT10.16
k_t4p_n-8FAIL10.19
3qbf-5cnf-80var-1280cl.3UNSAT10.29
4qbf-5cnf-80var-2560cl.5UNSAT10.31
4qbf-5cnf-80var-1280cl.9UNSAT10.33
3qbf-5cnf-160var-2560cl.0UNSAT10.35
5qbf-5cnf-80var-2560cl.9UNSAT10.35
6qbf-5cnf-20var-640cl.5UNSAT10.38
4qbf-5cnf-80var-640cl.5UNSAT10.39
5qbf-5cnf-160var-5120cl.3UNSAT10.41
5qbf-5cnf-160var-2560cl.8UNSAT10.42
2qbf-5cnf-80var-2560cl.4UNSAT10.47
2qbf-5cnf-160var-640cl.5UNSAT10.53
2qbf-5cnf-160var-2560cl.2UNSAT10.57
horn_400CNF1840_2aQBF_340UNSAT10.62
6qbf-5cnf-40var-640cl.9UNSAT10.65
2qbf-5cnf-80var-640cl.0UNSAT10.65
Adder2-4-cFAIL10.75
4qbf-5cnf-160var-5120cl.4UNSAT10.8
3qbf-5cnf-160var-2560cl.9UNSAT10.84
6qbf-5cnf-80var-2560cl.1UNSAT10.88
2qbf-5cnf-40var-320cl.1UNSAT10.95
5qbf-5cnf-40var-640cl.8UNSAT10.96
6qbf-5cnf-160var-2560cl.3UNSAT10.99
k_branch_p-21UNSAT11.08
2qbf-5cnf-40var-640cl.3UNSAT11.08
6qbf-5cnf-20var-320cl.9UNSAT11.29
4qbf-5cnf-80var-2560cl.9UNSAT11.29
5qbf-5cnf-80var-2560cl.0UNSAT11.38
5qbf-5cnf-160var-5120cl.8UNSAT11.43
2qbf-5cnf-160var-1280cl.9UNSAT11.44
2qbf-5cnf-160var-1280cl.6UNSAT11.51
6qbf-5cnf-80var-2560cl.5UNSAT11.52
4qbf-5cnf-160var-1280cl.0UNSAT11.59
4qbf-5cnf-40var-1280cl.2UNSAT11.6
4qbf-5cnf-160var-1280cl.7UNSAT11.61
5qbf-5cnf-160var-2560cl.2UNSAT11.63
6qbf-5cnf-80var-2560cl.9UNSAT11.67
4qbf-5cnf-160var-5120cl.3UNSAT11.72
2qbf-5cnf-20var-160cl.0UNSAT11.9
6qbf-5cnf-160var-2560cl.9UNSAT11.94
renHorn_400CNF1200_2aQBF_28UNSAT11.98
2qbf-5cnf-80var-2560cl.2UNSAT12.01
6qbf-5cnf-160var-1280cl.5UNSAT12.04
ncf_8_16_8_edau.7UNSAT12.15
6qbf-5cnf-160var-2560cl.6UNSAT12.24
5qbf-5cnf-160var-5120cl.7UNSAT12.26
3qbf-5cnf-160var-5120cl.3UNSAT12.35
5qbf-5cnf-160var-5120cl.0UNSAT12.38
6qbf-5cnf-40var-640cl.4UNSAT12.43
5qbf-5cnf-40var-1280cl.3UNSAT12.43
2qbf-5cnf-160var-5120cl.5UNSAT12.54
4qbf-5cnf-160var-1280cl.5UNSAT12.6
4qbf-5cnf-160var-5120cl.8UNSAT12.63
6qbf-5cnf-20var-320cl.8UNSAT12.64
5qbf-5cnf-40var-640cl.0UNSAT12.64
4qbf-5cnf-20var-640cl.3UNSAT12.69
5qbf-5cnf-160var-5120cl.5UNSAT12.73
6qbf-5cnf-160var-2560cl.0UNSAT12.76
renHorn_400CNF1480_2aQBF_21UNSAT12.78
3qbf-5cnf-40var-640cl.9UNSAT12.79
renHorn_400CNF1200_2aQBF_79UNSAT12.89
ncf_4_32_2_euad.1UNSAT12.95
6qbf-5cnf-160var-5120cl.4UNSAT12.98
4qbf-5cnf-160var-5120cl.7UNSAT13.03
2qbf-5cnf-160var-5120cl.9UNSAT13.06
6qbf-5cnf-160var-5120cl.5UNSAT13.07
6qbf-5cnf-160var-5120cl.3UNSAT13.1
4qbf-5cnf-20var-320cl.1UNSAT13.12
4qbf-5cnf-160var-2560cl.7UNSAT13.15
horn_400CNF1360_2aQBF_867UNSAT13.18
toilet_c_10_01.16UNSAT13.19
6qbf-5cnf-40var-1280cl.3UNSAT13.24
4qbf-5cnf-80var-640cl.2UNSAT13.25
5qbf-5cnf-40var-640cl.3UNSAT13.33
2qbf-5cnf-40var-640cl.6UNSAT13.33
5qbf-5cnf-80var-2560cl.6UNSAT13.45
5qbf-5cnf-20var-640cl.8UNSAT13.46
4qbf-5cnf-160var-1280cl.4UNSAT13.46
4qbf-5cnf-20var-320cl.0UNSAT13.51
ncf_8_16_4_euad.8UNSAT13.61
2qbf-5cnf-80var-2560cl.1UNSAT13.67
6qbf-5cnf-160var-5120cl.7UNSAT13.68
6qbf-5cnf-40var-320cl.0UNSAT13.68
ncf_4_16_2_u.8SAT13.77
2qbf-5cnf-160var-2560cl.3UNSAT13.83
3qbf-5cnf-20var-160cl.8SAT13.83
2qbf-5cnf-20var-80cl.3SAT13.87
4qbf-5cnf-160var-5120cl.1UNSAT13.92
5qbf-5cnf-160var-2560cl.6UNSAT13.93
6qbf-5cnf-80var-1280cl.3UNSAT13.96
5qbf-5cnf-40var-1280cl.8UNSAT14.06
renHorn_400CNF1560_2aQBF_28UNSAT14.25
4qbf-5cnf-80var-640cl.4UNSAT14.47
6qbf-5cnf-160var-2560cl.8UNSAT14.73
2qbf-5cnf-160var-1280cl.4UNSAT14.76
6qbf-5cnf-160var-2560cl.5UNSAT14.86
2qbf-5cnf-20var-80cl.0SAT14.89
2qbf-5cnf-40var-160cl.7UNSAT14.97
6qbf-5cnf-160var-5120cl.8UNSAT14.99
4qbf-5cnf-80var-1280cl.2UNSAT15.14
4qbf-5cnf-20var-160cl.0UNSAT15.18
2qbf-5cnf-80var-640cl.8UNSAT15.27
2qbf-5cnf-160var-5120cl.8UNSAT15.35
6qbf-5cnf-20var-640cl.3UNSAT15.45
ncf_4_16_2_euad.8SAT15.64
5qbf-5cnf-20var-320cl.6UNSAT15.64
3qbf-5cnf-20var-320cl.7FAIL15.66
ncf_4_32_2_u.1UNSAT15.79
2qbf-5cnf-40var-640cl.9UNSAT15.96
6qbf-5cnf-20var-320cl.4UNSAT15.97
2qbf-5cnf-20var-80cl.9SAT16.01
4qbf-5cnf-80var-1280cl.5UNSAT16.07
4qbf-5cnf-80var-2560cl.1UNSAT16.13
C5315.blif_0.10_1.00_0_0_inp_exactUNSAT16.19
4qbf-5cnf-80var-2560cl.6UNSAT16.27
4qbf-5cnf-40var-640cl.8UNSAT16.41
5qbf-5cnf-160var-5120cl.9UNSAT16.45
3qbf-5cnf-80var-1280cl.5UNSAT16.51
5qbf-5cnf-160var-5120cl.2UNSAT16.53
k_grz_p-16UNSAT16.71
6qbf-5cnf-20var-640cl.8UNSAT17.03
connect_7x6_5_RFAIL17.21
2qbf-5cnf-80var-640cl.1UNSAT17.36
4qbf-5cnf-160var-2560cl.5UNSAT17.42
5qbf-5cnf-40var-1280cl.4UNSAT17.46
s713_d2_sSAT17.47
2qbf-5cnf-40var-640cl.7UNSAT17.54
2qbf-5cnf-160var-5120cl.6UNSAT17.54
6qbf-5cnf-160var-5120cl.6UNSAT17.83
C5315.blif_0.10_1.00_0_0_out_exactUNSAT17.92
2qbf-5cnf-20var-80cl.1SAT18.14
6qbf-5cnf-160var-5120cl.2UNSAT18.15
toilet_a_10_01.16UNSAT18.15
5qbf-5cnf-160var-5120cl.1UNSAT18.31
4qbf-5cnf-40var-1280cl.7UNSAT18.34
5qbf-5cnf-80var-1280cl.4UNSAT18.45
2qbf-5cnf-80var-1280cl.3UNSAT18.49
5qbf-5cnf-160var-5120cl.4UNSAT18.49
3qbf-5cnf-80var-1280cl.9UNSAT18.57
2qbf-5cnf-80var-1280cl.2UNSAT18.91
6qbf-5cnf-40var-1280cl.5UNSAT18.93
connect_7x6_3_RFAIL18.97
6qbf-5cnf-80var-1280cl.4UNSAT19.12
horn_400CNF1520_2aQBF_405UNSAT19.28
5qbf-5cnf-20var-320cl.1UNSAT19.49
3qbf-5cnf-160var-2560cl.2UNSAT19.5
2qbf-5cnf-40var-320cl.3UNSAT19.5
3qbf-5cnf-80var-1280cl.2UNSAT19.67
6qbf-5cnf-40var-640cl.3UNSAT19.91
6qbf-5cnf-20var-640cl.0UNSAT19.95
2qbf-5cnf-160var-5120cl.2UNSAT20.25
4qbf-5cnf-160var-2560cl.4UNSAT20.46
5qbf-5cnf-160var-5120cl.6UNSAT20.55
2qbf-5cnf-20var-160cl.3UNSAT20.58
k_t4p_p-21FAIL20.61
2qbf-5cnf-80var-1280cl.5UNSAT20.7
connect_8x7_5_RFAIL20.93
4qbf-5cnf-160var-2560cl.6UNSAT20.93
5qbf-5cnf-20var-640cl.3UNSAT20.97
5qbf-5cnf-80var-2560cl.5UNSAT21.15
5qbf-5cnf-20var-320cl.9UNSAT21.42
ncf_4_8_2_euad.2FAIL21.61
ev-pr-6x6-5-5-0-1-2-sFAIL21.65
4qbf-5cnf-40var-160cl.6FAIL21.75
C880.blif_0.10_1.00_0_1_inp_exactSAT22.05
4qbf-5cnf-20var-320cl.3UNSAT22.51
4qbf-5cnf-20var-80cl.5SAT22.63
5qbf-5cnf-160var-2560cl.1UNSAT23.07
4qbf-5cnf-80var-2560cl.7UNSAT23.12
5qbf-5cnf-40var-640cl.1UNSAT23.3
5qbf-5cnf-20var-160cl.8SAT23.32
k_dum_p-21FAIL23.33
4qbf-5cnf-20var-320cl.5UNSAT23.43
4qbf-5cnf-80var-1280cl.7UNSAT23.44
connect_8x7_6_RFAIL23.57
2qbf-5cnf-160var-5120cl.1UNSAT23.65
connect_7x6_4_RFAIL23.83
counter_e_8SAT23.85
horn_400CNF1840_2aQBF_752UNSAT24.04
2qbf-5cnf-80var-1280cl.8UNSAT24.08
4qbf-5cnf-80var-640cl.9UNSAT24.39
5qbf-5cnf-80var-1280cl.8UNSAT24.42
2qbf-5cnf-40var-320cl.0UNSAT24.49
2qbf-5cnf-20var-160cl.2UNSAT24.59
connect_8x7_4_RFAIL24.61
counter_r_8SAT24.83
s298_d4_sSAT25
renHorn_400CNF1720_2aQBF_20UNSAT25.13
renHorn_400CNF1360_2aQBF_35UNSAT25.16
ncf_8_16_2_u.7SAT25.3
ncf_4_16_2_u.10FAIL25.4
2qbf-5cnf-40var-320cl.6UNSAT25.46
ncf_8_16_2_edau.10SAT26.08
6qbf-5cnf-20var-320cl.5UNSAT26.16
ncf_8_16_2_d.10SAT26.23
2qbf-5cnf-160var-5120cl.0UNSAT26.24
connect_8x7_3_RFAIL26.27
2qbf-5cnf-160var-2560cl.7UNSAT26.31
4qbf-5cnf-160var-1280cl.8UNSAT26.37
ncf_8_16_2_euad.7SAT26.46
2qbf-5cnf-20var-160cl.7UNSAT27.1
5qbf-5cnf-20var-320cl.0UNSAT27.2
5qbf-5cnf-80var-2560cl.1UNSAT27.31
2qbf-5cnf-20var-160cl.6UNSAT27.39
2qbf-5cnf-20var-160cl.4UNSAT27.76
5qbf-5cnf-20var-160cl.5SAT27.97
k_branch_n-8FAIL28.04
ncf_8_32_2_edau.9UNSAT28.44
4qbf-5cnf-40var-320cl.2UNSAT28.6
4qbf-5cnf-20var-320cl.9UNSAT28.97
connect_7x6_6_RFAIL29.18
ncf_4_8_8_d.2UNSAT29.41
4qbf-5cnf-40var-1280cl.1UNSAT29.65
2qbf-5cnf-20var-160cl.8UNSAT29.66
horn_400CNF1440_2aQBF_829UNSAT29.77
4qbf-5cnf-40var-1280cl.0UNSAT29.8
3qbf-5cnf-20var-160cl.0SAT29.85
5qbf-5cnf-80var-2560cl.8UNSAT29.89
4qbf-5cnf-20var-320cl.2UNSAT30.24
4qbf-5cnf-80var-640cl.0UNSAT30.45
2qbf-5cnf-40var-160cl.2UNSAT30.46
k_lin_n-12SAT30.5
2qbf-5cnf-40var-640cl.5UNSAT30.53
6qbf-5cnf-40var-1280cl.0UNSAT30.55
4qbf-5cnf-20var-320cl.6UNSAT30.72
3qbf-5cnf-20var-160cl.1SAT30.74
ncf_8_32_2_d.9UNSAT30.9
4qbf-5cnf-160var-2560cl.0UNSAT31.17
6qbf-5cnf-160var-5120cl.1UNSAT31.22
4qbf-5cnf-20var-320cl.8UNSAT31.71
k_grz_n-12FAIL31.74
2qbf-5cnf-40var-640cl.8UNSAT31.81
6qbf-5cnf-20var-320cl.6UNSAT31.82
2qbf-5cnf-20var-80cl.8SAT31.88
2qbf-5cnf-80var-1280cl.6UNSAT31.93
4qbf-5cnf-40var-1280cl.8UNSAT32.11
2qbf-5cnf-160var-2560cl.0UNSAT32.28
6qbf-5cnf-160var-5120cl.0UNSAT33.24
3qbf-5cnf-160var-2560cl.8UNSAT33.33
4qbf-5cnf-20var-640cl.2UNSAT33.5
k_t4p_n-16FAIL33.61
2qbf-5cnf-40var-320cl.5UNSAT33.82
2qbf-5cnf-40var-640cl.0UNSAT34.32
4qbf-5cnf-80var-2560cl.8UNSAT34.56
6qbf-5cnf-20var-320cl.0UNSAT35.35
5qbf-5cnf-20var-160cl.4SAT35.44
5qbf-5cnf-40var-640cl.9UNSAT35.56
connect_9x8_6_RFAIL35.61
5qbf-5cnf-80var-1280cl.0UNSAT36.36
5qbf-5cnf-80var-1280cl.6UNSAT36.42
horn_400CNF1600_2aQBF_571UNSAT36.66
2qbf-5cnf-20var-160cl.1UNSAT36.8
4qbf-5cnf-40var-1280cl.6UNSAT37.15
connect_9x8_5_RFAIL37.28
5qbf-5cnf-80var-2560cl.2UNSAT37.35
ev-pr-4x4-7-3-0-0-1-lgSAT37.35
5qbf-5cnf-160var-2560cl.3UNSAT37.38
2qbf-5cnf-80var-320cl.9UNSAT37.6
renHorn_400CNF1200_2aQBF_8UNSAT38.41
4qbf-5cnf-160var-1280cl.1UNSAT38.42
4qbf-5cnf-160var-5120cl.0UNSAT38.54
4qbf-5cnf-80var-2560cl.0UNSAT38.71
2qbf-5cnf-160var-1280cl.5UNSAT38.76
5qbf-5cnf-160var-2560cl.7UNSAT38.77
3qbf-5cnf-20var-160cl.5SAT39.12
connect_9x8_3_RFAIL39.15
s820_d2_sSAT39.57
5qbf-5cnf-80var-1280cl.3UNSAT39.9
2qbf-5cnf-80var-640cl.4UNSAT40.46
term1.blif_0.10_0.20_0_1_inp_exactSAT40.49
4qbf-5cnf-160var-5120cl.5UNSAT40.6
4qbf-5cnf-80var-1280cl.4UNSAT40.9
connect_9x8_7_RFAIL41.24
connect_9x8_4_RFAIL41.39
ncf_4_8_4_u.1SAT41.8
horn_400CNF1680_2aQBF_433UNSAT42.24
4qbf-5cnf-80var-1280cl.1UNSAT42.34
Adder2-8-sSAT42.49
counter_re_8SAT42.78
2qbf-5cnf-20var-80cl.6SAT42.81
6qbf-5cnf-160var-2560cl.7UNSAT43.11
connect_6x5_4_RFAIL43.17
k_d4_n-12FAIL43.29
4qbf-5cnf-80var-2560cl.4UNSAT43.69
3qbf-5cnf-160var-2560cl.3UNSAT44.1
6qbf-5cnf-80var-2560cl.8UNSAT44.11
4qbf-5cnf-80var-1280cl.0UNSAT44.41
k_t4p_n-21FAIL44.63
k_t4p_n-20FAIL44.64
k_grz_p-21FAIL44.7
2qbf-5cnf-80var-2560cl.7UNSAT44.78
horn_400CNF1440_2aQBF_668UNSAT44.87
horn_400CNF1600_2aQBF_922UNSAT44.88
2qbf-5cnf-80var-320cl.5UNSAT44.89
2qbf-5cnf-160var-2560cl.6UNSAT45
horn_400CNF2000_2aQBF_564UNSAT45.09
5qbf-5cnf-160var-2560cl.4UNSAT45.69
3qbf-5cnf-160var-2560cl.4UNSAT45.82
4qbf-5cnf-40var-1280cl.4UNSAT46.18
4qbf-5cnf-80var-2560cl.2UNSAT46.19
6qbf-5cnf-40var-1280cl.6UNSAT46.22
2qbf-5cnf-20var-80cl.5SAT46.27
6qbf-5cnf-80var-2560cl.7UNSAT46.27
k_lin_n-16FAIL46.59
4qbf-5cnf-20var-320cl.4UNSAT47.49
3qbf-5cnf-20var-80cl.0SAT47.91
5qbf-5cnf-80var-1280cl.2UNSAT47.96
ncf_4_8_8_euad.8SAT47.99
counter_16SAT48.45
4qbf-5cnf-160var-2560cl.3UNSAT49.17
6qbf-5cnf-80var-2560cl.4UNSAT49.65
connect_6x5_3_RFAIL49.83
5qbf-5cnf-40var-640cl.5UNSAT50.15
ncf_4_16_4_edau.10UNSAT50.28
4qbf-5cnf-20var-320cl.7UNSAT50.74
2qbf-5cnf-40var-320cl.2UNSAT50.8
6qbf-5cnf-160var-2560cl.2UNSAT50.91
6qbf-5cnf-40var-640cl.2UNSAT51.39
szymanski-8-sUNSAT51.61
connect_9x8_8_RFAIL52.01
5qbf-5cnf-20var-320cl.8UNSAT52.1
2qbf-5cnf-40var-320cl.7UNSAT52.8
4qbf-5cnf-160var-5120cl.6UNSAT53.58
6qbf-5cnf-160var-2560cl.1UNSAT53.96
3qbf-5cnf-40var-160cl.4SAT54.41
connect_8x7_7_RFAIL54.52
2qbf-5cnf-40var-320cl.8UNSAT54.67
ncf_4_16_2_d.1UNSAT54.99
2qbf-5cnf-40var-320cl.9UNSAT56.06
6qbf-5cnf-80var-1280cl.2UNSAT56.07
6qbf-5cnf-20var-320cl.7UNSAT56.43
6qbf-5cnf-160var-2560cl.4UNSAT56.54
4qbf-5cnf-160var-5120cl.9UNSAT56.54
horn_400CNF1520_2aQBF_782UNSAT57.46
4qbf-5cnf-40var-640cl.0UNSAT57.65
6qbf-5cnf-40var-1280cl.1UNSAT58
5qbf-5cnf-80var-1280cl.7UNSAT58.02
6qbf-5cnf-20var-640cl.1UNSAT58.29
horn_400CNF1760_2aQBF_10UNSAT58.4
6qbf-5cnf-40var-640cl.0UNSAT59
ncf_4_16_2_euad.1UNSAT59.24
2qbf-5cnf-160var-640cl.8UNSAT59.72
ncf_4_16_4_d.7FAIL60.52
renHorn_400CNF1800_2aQBF_36UNSAT60.71
2qbf-5cnf-20var-160cl.9UNSAT61.32
2qbf-5cnf-80var-1280cl.9UNSAT61.81
k_ph_n-16SAT61.88
horn_400CNF1840_2aQBF_980UNSAT61.95
2qbf-5cnf-40var-640cl.1UNSAT62.81
2qbf-5cnf-40var-640cl.2UNSAT63.23
6qbf-5cnf-20var-320cl.3UNSAT63.5
k_grz_p-20UNSAT63.76
ev-pr-6x6-7-5-0-1-2-sFAIL64.17
4qbf-5cnf-160var-2560cl.9UNSAT64.78
ncf_4_32_2_u.2FAIL65.22
6qbf-5cnf-40var-1280cl.4UNSAT68.97
6qbf-5cnf-160var-5120cl.9UNSAT70.04
2qbf-5cnf-160var-1280cl.2UNSAT70.06
6qbf-5cnf-80var-1280cl.8UNSAT70.17
6qbf-5cnf-40var-1280cl.7UNSAT70.26
6qbf-5cnf-80var-1280cl.0UNSAT71.21
4qbf-5cnf-80var-2560cl.3UNSAT71.61
6qbf-5cnf-40var-1280cl.8UNSAT71.62
3qbf-5cnf-20var-320cl.8UNSAT72.18
2qbf-5cnf-80var-160cl.3SAT72.4
4qbf-5cnf-40var-160cl.3SAT73.95
5qbf-5cnf-20var-160cl.0SAT74.07
horn_400CNF1360_2aQBF_130UNSAT74.77
6qbf-5cnf-20var-320cl.1UNSAT75.04
k_d4_n-4SAT75.92
k_lin_n-20FAIL76.02
ncf_8_16_4_edau.3SAT77.17
6qbf-5cnf-20var-640cl.4UNSAT77.53
renHorn_400CNF1960_2aQBF_68UNSAT77.97
s510_d46_sFAIL78.33
k_lin_n-21FAIL78.74
horn_400CNF1920_2aQBF_603UNSAT79.21
ncf_4_16_4_d.10UNSAT79.7
4qbf-5cnf-160var-1280cl.6UNSAT80.34
5qbf-5cnf-20var-320cl.3UNSAT80.58
6qbf-5cnf-80var-1280cl.1UNSAT80.67
horn_400CNF2160_2aQBF_411UNSAT80.85
s510_d47_uFAIL80.97
4qbf-5cnf-80var-1280cl.8UNSAT81.38
term1.blif_0.10_0.20_0_0_inp_exactFAIL81.8
4qbf-5cnf-80var-1280cl.3UNSAT81.91
4qbf-5cnf-160var-2560cl.8UNSAT82.09
2qbf-5cnf-160var-2560cl.5UNSAT82.35
renHorn_400CNF1200_2aQBF_2UNSAT82.83
robots_1_5_5_33.8FAIL83.14
2qbf-5cnf-160var-640cl.3UNSAT83.69
robots_1_5_5_95.8FAIL84.62
4qbf-5cnf-40var-640cl.1UNSAT84.7
2qbf-5cnf-20var-160cl.5UNSAT85.03
robots_1_5_5_5.8FAIL85.25
robots_1_5_4_96.8FAIL85.26
robots_1_5_5_10.8FAIL85.26
ncf_4_8_8_u.8FAIL85.28
robots_1_5_3_55.8FAIL85.29
4qbf-5cnf-20var-160cl.3UNSAT85.36
robots_1_5_3_27.8FAIL85.54
6qbf-5cnf-40var-640cl.5UNSAT85.58
robots_1_5_5_99.8FAIL85.65
robots_1_5_4_1.8FAIL85.72
robots_1_5_3_39.8FAIL85.92
5qbf-5cnf-40var-640cl.7UNSAT86.05
robots_1_5_4_46.8FAIL86.13
robots_1_5_4_75.8FAIL86.15
robots_1_5_2_82.8FAIL86.64
robots_1_5_2_67.8FAIL86.65
robots_1_5_5_66.8FAIL86.91
4qbf-5cnf-20var-160cl.7UNSAT86.94
robots_1_5_2_61.8FAIL87.04
robots_1_5_5_50.8FAIL87.09
robots_1_5_4_91.8FAIL87.14
robots_1_5_3_8.8FAIL87.21
robots_1_5_3_64.8FAIL87.33
robots_1_5_5_100.8FAIL87.37
robots_1_5_4_17.8FAIL87.51
robots_1_5_5_12.8FAIL87.96
horn_400CNF1520_2aQBF_53UNSAT88.01
robots_1_5_3_16.8FAIL88.07
robots_1_5_4_24.8FAIL88.2
robots_1_5_3_44.8FAIL88.45
ev-pr-4x4-17-3-0-0-1-lgFAIL88.68
robots_1_5_5_14.8FAIL88.72
3qbf-5cnf-40var-160cl.0SAT88.86
robots_1_5_2_91.8FAIL89.73
C880.blif_0.10_0.20_0_0_inp_exactFAIL89.77
robots_1_5_2_40.8FAIL90.17
5qbf-5cnf-40var-640cl.4UNSAT90.23
2qbf-5cnf-80var-640cl.5UNSAT90.89
2qbf-5cnf-80var-1280cl.1UNSAT90.92
robots_1_5_4_99.8FAIL91.18
4qbf-5cnf-160var-2560cl.2UNSAT91.37
robots_1_5_3_70.8FAIL91.4
renHorn_400CNF1480_2aQBF_85UNSAT91.54
robots_1_5_2_54.8FAIL92
robots_1_5_3_90.8FAIL92.33
ncf_4_8_2_u.9SAT92.54
robots_1_5_3_100.8FAIL92.7
adder-16-unsatFAIL93.03
counter_re_64FAIL93.7
robots_1_5_4_56.8FAIL93.74
robots_1_5_2_32.8FAIL94.24
robots_1_5_4_100.8FAIL95.02
6qbf-5cnf-80var-1280cl.9UNSAT95.37
ncf_4_16_2_u.1UNSAT95.83
4qbf-5cnf-160var-1280cl.2UNSAT95.96
4qbf-5cnf-40var-640cl.7UNSAT97.71
4qbf-5cnf-20var-160cl.8UNSAT98.01
6qbf-5cnf-80var-1280cl.6UNSAT98.05
6qbf-5cnf-80var-640cl.0UNSAT99.71
robots_1_5_2_9.8FAIL100.01
5qbf-5cnf-80var-1280cl.9UNSAT100.22
horn_400CNF1760_2aQBF_188UNSAT100.96
mutex-32-sSAT101.3
2qbf-5cnf-80var-640cl.7UNSAT102.03
horn_400CNF1360_2aQBF_831UNSAT102.25
s3330_d8_sFAIL103.85
6qbf-5cnf-40var-1280cl.9UNSAT103.9
2qbf-5cnf-80var-2560cl.3UNSAT104.04
horn_400CNF1600_2aQBF_236UNSAT104.86
2qbf-5cnf-40var-320cl.4UNSAT105.23
2qbf-5cnf-160var-2560cl.9UNSAT105.4
4qbf-5cnf-160var-5120cl.2UNSAT105.83
horn_400CNF2320_2aQBF_209UNSAT106.08
ev-pr-8x8-11-7-0-1-2-lgUNSAT106.5
5qbf-5cnf-20var-160cl.7SAT109.49
robots_1_5_2_75.8FAIL109.64
ev-pr-6x6-9-5-0-1-2-lgFAIL109.76
4qbf-5cnf-80var-1280cl.6UNSAT110.77
ncf_4_16_2_edau.1UNSAT111.85
ev-pr-6x6-13-5-0-1-2-lgFAIL112.96
6qbf-5cnf-20var-640cl.7UNSAT114.48
6qbf-5cnf-40var-640cl.1UNSAT115.45
BLOCKS4ii.7.2UNSAT115.47
2qbf-5cnf-160var-5120cl.7UNSAT115.8
6qbf-5cnf-20var-640cl.9UNSAT116.24
robots_1_5_2_100.8FAIL116.84
ncf_4_8_8_edau.2UNSAT117.32
2qbf-5cnf-80var-320cl.6UNSAT117.6
2qbf-5cnf-160var-640cl.9UNSAT117.74
s3330_d9_sFAIL117.87
C880.blif_0.10_1.00_0_0_out_exactFAIL118.48
2qbf-5cnf-20var-80cl.7SAT118.75
2qbf-5cnf-80var-640cl.2UNSAT119.19
2qbf-5cnf-80var-160cl.4SAT119.34
4qbf-5cnf-40var-640cl.9UNSAT119.89
connect_5x4_3_RFAIL121.01
2qbf-5cnf-80var-640cl.9UNSAT122.38
renHorn_400CNF1800_2aQBF_53UNSAT123.05
6qbf-5cnf-80var-2560cl.2UNSAT125.41
2qbf-5cnf-160var-5120cl.4UNSAT125.93
4qbf-5cnf-20var-160cl.4UNSAT126.51
2qbf-5cnf-80var-2560cl.6UNSAT126.57
4qbf-5cnf-40var-640cl.2UNSAT130.2
2qbf-5cnf-80var-1280cl.4UNSAT130.37
4qbf-5cnf-40var-1280cl.5UNSAT131.18
2qbf-5cnf-80var-1280cl.0UNSAT133.18
Adder2-10-cFAIL133.8
4qbf-5cnf-40var-640cl.5UNSAT134.76
3qbf-5cnf-40var-160cl.3SAT135.06
s3330_d10_uFAIL135.31
2qbf-5cnf-80var-320cl.3UNSAT138.52
C880.blif_0.10_0.20_0_1_inp_exactFAIL138.86
ev-pr-6x6-19-5-0-1-2-lgFAIL139.17
renHorn_400CNF1480_2aQBF_44UNSAT139.26
4qbf-5cnf-160var-1280cl.3UNSAT139.28
ncf_4_16_4_euad.10UNSAT141.77
2qbf-5cnf-80var-640cl.6UNSAT143.36
4qbf-5cnf-80var-640cl.6UNSAT145.13
ncf_4_16_4_euad.7FAIL147.68
adder-6-unsatFAIL149.65
C432.blif_0.10_0.20_0_1_inp_exactSAT151.59
6qbf-5cnf-160var-1280cl.2UNSAT155.31
ev-pr-6x6-9-5-0-1-2-sFAIL156.31
2qbf-5cnf-160var-2560cl.1UNSAT158.29
2qbf-5cnf-160var-640cl.1UNSAT160.97
3qbf-5cnf-40var-160cl.2SAT163.4
ncf_4_16_4_u.10UNSAT164.29
ev-pr-4x4-11-3-0-0-1-lgSAT165.48
2qbf-5cnf-160var-1280cl.8UNSAT167.61
ncf_4_16_4_u.7FAIL169.11
4qbf-5cnf-20var-160cl.1UNSAT169.9
horn_400CNF2080_2aQBF_793UNSAT172.34
5qbf-5cnf-80var-2560cl.7UNSAT173.24
2qbf-5cnf-160var-2560cl.4UNSAT175.05
6qbf-5cnf-40var-640cl.8UNSAT176.54
k_t4p_p-12FAIL179.62
2qbf-5cnf-160var-2560cl.8UNSAT180.61
4qbf-5cnf-40var-1280cl.3UNSAT181.38
s510_d16_sFAIL183.49
6qbf-5cnf-40var-640cl.6UNSAT184.89
C499.blif_0.10_0.20_0_0_out_exactFAIL185.63
k_path_p-16UNSAT187.99
counter_r_64FAIL189.97
4qbf-5cnf-40var-320cl.9UNSAT191.97
4qbf-5cnf-160var-1280cl.9UNSAT193.39
C6288.blif_0.10_0.20_0_0_inp_exactFAIL199.06
5qbf-5cnf-20var-160cl.6SAT200.81
3qbf-5cnf-40var-160cl.9SAT202.19
ncf_8_16_2_euad.10SAT204.73
renHorn_400CNF1560_2aQBF_2UNSAT205.29
connect_6x5_5_RFAIL206.46
adder-8-satSAT209.29
6qbf-5cnf-20var-320cl.2UNSAT210.02
ev-pr-6x6-15-5-0-1-2-lgFAIL213.22
C6288.blif_0.10_1.00_0_0_out_exactFAIL214.27
4qbf-5cnf-40var-640cl.6UNSAT215.54
k_dum_n-8FAIL216.63
horn_400CNF1760_2aQBF_330UNSAT229.61
adder-12-unsatFAIL230.62
ev-pr-6x6-11-5-0-1-2-sFAIL231.27
horn_400CNF2080_2aQBF_584UNSAT232.29
4qbf-5cnf-40var-320cl.4UNSAT232.62
ev-pr-6x6-17-5-0-1-2-lgFAIL232.72
4qbf-5cnf-40var-320cl.0UNSAT237.31
2qbf-5cnf-160var-1280cl.3UNSAT244.82
ncf_4_16_2_u.3UNSAT246.65
6qbf-5cnf-80var-640cl.8UNSAT248.27
k_branch_n-4SAT248.54
1qbf-5cnf-160var-2560cl.8SAT248.56
5qbf-5cnf-20var-160cl.9SAT252
ev-pr-8x8-13-7-0-1-2-lgFAIL254.97
s3330_d4_sFAIL255.13
s510_d32_sFAIL270.6
2qbf-5cnf-160var-1280cl.0UNSAT275.38
horn_400CNF2000_2aQBF_8UNSAT276.41
4qbf-5cnf-40var-160cl.2SAT285.34
4qbf-5cnf-80var-640cl.8UNSAT287.74
horn_400CNF1920_2aQBF_75UNSAT289.49
5qbf-5cnf-20var-160cl.1SAT290.98
5qbf-5cnf-80var-1280cl.5UNSAT292.7
term1.blif_0.10_0.20_0_0_out_exactFAIL298.53
ev-pr-8x8-15-7-0-1-2-lgFAIL299.34
horn_400CNF1280_2aQBF_389UNSAT300.08
2qbf-5cnf-80var-320cl.4UNSAT306.46
ev-pr-4x4-11-3-0-0-1-sFAIL306.99
k_ph_p-12FAIL307.76
C6288.blif_0.10_0.20_0_1_inp_exactFAIL308.04
ncf_16_32_2_edau.10UNSAT312.68
ev-pr-4x4-15-3-0-0-1-lgFAIL322.27
C6288.blif_0.10_1.00_0_0_inp_exactFAIL323.45
robots_1_5_4_31.4FAIL325.83
robots_1_5_4_30.4FAIL326.9
robots_1_5_5_87.4FAIL327.98
k_dum_p-12UNSAT332.09
5qbf-5cnf-20var-320cl.2UNSAT333.19
6qbf-5cnf-40var-1280cl.2UNSAT334.01
ncf_4_16_4_euad.4FAIL338.24
renHorn_400CNF1560_2aQBF_90UNSAT341.07
s1269_d10_sFAIL341.7
5qbf-5cnf-20var-320cl.7UNSAT345.25
6qbf-5cnf-80var-1280cl.7UNSAT346.36
C6288.blif_0.10_1.00_0_1_inp_exactFAIL347.69
C880.blif_0.10_1.00_0_1_out_exactFAIL349.41
s713_d6_sFAIL349.46
3qbf-5cnf-40var-160cl.1SAT355.31
robots_1_5_3_66.4FAIL357.42
robots_1_5_2_99.4FAIL362.89
renHorn_400CNF1560_2aQBF_68UNSAT363.47
s510_d8_sFAIL364.95
robots_1_5_4_87.4FAIL367.68
s1196_d3_uFAIL369.22
robots_1_5_2_80.4FAIL369.53
ev-pr-8x8-17-7-0-1-2-lgFAIL369.92
ev-pr-6x6-11-5-0-1-2-lgFAIL372.64
horn_400CNF2160_2aQBF_23UNSAT374.24
robots_1_5_2_82.4FAIL374.76
ev-pr-8x8-19-7-0-1-2-lgFAIL385.99
test5_quant_squaring4FAIL389.72
renHorn_400CNF2120_2aQBF_17UNSAT395.99
robots_1_5_2_21.4FAIL400.02
3qbf-5cnf-40var-160cl.6SAT407.81
robots_1_5_4_51.4FAIL408.63
ncf_8_16_2_u.10FAIL411.16
ev-pr-6x6-13-5-0-1-2-sFAIL412.13
robots_1_5_2_85.4FAIL415.51
szymanski-10-sUNSAT418.82
test5_quant_squaring5FAIL422.88
horn_400CNF2160_2aQBF_660UNSAT438.35
ncf_4_32_2_u.8FAIL439.17
robots_1_5_2_45.4FAIL449.34
robots_1_5_2_100.4FAIL451.29
ncf_4_16_4_edau.7FAIL460.61
ncf_4_8_8_u.2UNSAT462.39
ncf_4_16_8_u.7FAIL468.23
k_d4_n-16FAIL468.37
3qbf-5cnf-40var-320cl.0FAIL469.29
robots_1_5_4_100.4FAIL471.04
k_ph_n-20FAIL488.16
ncf_4_16_2_d.3FAIL494.66
ncf_4_16_4_edau.3FAIL495.75
ncf_16_128_2_euad.10FAIL496.92
test3_quant_squaring4FAIL500.02
ev-pr-4x4-7-3-0-0-1-sFAIL507.41
k_d4_n-20FAIL507.54
k_t4p_p-20FAIL511.93
ncf_4_32_2_d.8FAIL517.74
ncf_4_32_2_euad.8FAIL518.52
k_d4_n-21FAIL520.84
ncf_16_128_2_edau.1FAIL528.15
robots_1_5_2_39.4FAIL531.28
ncf_16_128_8_edau.9FAIL542.03
robots_1_5_3_24.4FAIL545.77
ncf_4_8_2_u.2SAT553.47
ncf_16_128_2_u.3FAIL556.68
robots_1_5_4_50.4FAIL559.48
robots_1_5_3_78.4FAIL561.52
4qbf-5cnf-80var-640cl.7UNSAT569.89
ncf_16_128_8_d.2FAIL573.18
renHorn_400CNF1960_2aQBF_76UNSAT580.38
ncf_16_128_2_edau.4FAIL594.47
ncf_16_128_2_euad.2FAIL600.5
ncf_8_16_4_u.10FAIL600.59
robots_1_5_4_98.4FAIL602.09
ncf_16_128_8_d.9FAIL605.08
s713_d7_uFAIL617.61
ncf_8_16_2_u.2UNSAT624.27
robots_1_5_3_44.4FAIL624.41
3qbf-5cnf-40var-160cl.7SAT624.58
3qbf-5cnf-80var-640cl.9FAIL625.89
k_branch_n-21FAIL629.16
ncf_4_16_4_euad.6UNSAT629.68
horn_400CNF1680_2aQBF_154UNSAT629.91
3qbf-5cnf-80var-640cl.4FAIL631.77
robots_1_5_5_93.4FAIL639.38
4qbf-5cnf-80var-640cl.3UNSAT639.75
4qbf-5cnf-40var-320cl.3UNSAT642.7
robots_1_5_3_16.4FAIL646.39
3qbf-5cnf-40var-320cl.3FAIL646.98
horn_400CNF1520_2aQBF_625UNSAT648.47
ncf_8_32_2_d.8FAIL654.59
k_branch_n-20FAIL655.79
counter_32SAT656.35
adder-14-unsatFAIL659.49
ncf_8_16_2_euad.2UNSAT664.12
robots_1_5_3_100.4FAIL665.1
robots_1_5_4_2.4FAIL666.09
ncf_16_128_8_u.5FAIL668.37
s1196_d2_sFAIL668.4
s298_d18_sFAIL669.06
ncf_16_128_8_edau.5FAIL669.2
robots_1_5_2_2.4FAIL673.97
robots_1_5_4_91.4FAIL674.47
ev-pr-4x4-17-3-0-0-1-sFAIL677.15
adder-8-unsatFAIL678.22
adder-10-unsatFAIL680.04
robots_1_5_3_20.4FAIL681.96
2qbf-5cnf-160var-640cl.4UNSAT682.01
Adder2-16-cFAIL682.98
robots_1_5_5_34.4FAIL684.94
robots_1_5_5_100.4FAIL685.26
robots_1_5_5_8.4FAIL687.14
robots_1_5_3_52.4FAIL688
robots_1_5_3_2.4FAIL690.23
ncf_8_16_4_euad.10FAIL693.86
robots_1_5_5_30.4FAIL694.99
robots_1_5_5_12.4FAIL697.22
robots_1_5_4_46.4FAIL697.85
robots_1_5_3_57.4FAIL703.72
robots_1_5_5_66.4FAIL704.46
robots_1_5_5_45.4FAIL706.04
ncf_16_128_8_edau.4FAIL712.27
robots_1_5_2_3.4FAIL712.75
ev-pr-6x6-19-5-0-1-2-sFAIL713.21
test4_quant_squaring4FAIL713.47
2qbf-5cnf-160var-1280cl.1UNSAT722.9
k_ph_n-21FAIL723.33
k_dum_p-20FAIL723.5
robots_1_5_5_26.4FAIL726.49
renHorn_400CNF1280_2aQBF_22UNSAT728.59
k_poly_n-20FAIL735.63
ncf_8_64_2_edau.3FAIL736.09
k_dum_n-21FAIL745.64
1qbf-5cnf-80var-2560cl.2UNSAT746.65
s298_d8_sFAIL751.03
k_dum_n-20FAIL752.5
horn_400CNF2320_2aQBF_420UNSAT758.16
k_t4p_p-8FAIL758.92
2qbf-5cnf-160var-640cl.6FAIL760.62
ncf_4_16_4_d.3FAIL761.48
ncf_4_16_2_euad.10FAIL762.1
k_t4p_p-16FAIL762.37
ncf_8_32_2_edau.8FAIL763.44
k_poly_n-21FAIL764.33
k_t4p_n-4FAIL766.37
ncf_16_32_2_d.10UNSAT770.09
3qbf-5cnf-40var-320cl.1FAIL777.67
mutex-64-sSAT783.53
4qbf-5cnf-40var-320cl.7UNSAT788.52
k_dum_n-12FAIL788.56
k_path_n-8FAIL789.24
ncf_4_32_2_edau.2FAIL790.1
k_path_n-12FAIL791.19
k_dum_p-16FAIL793.58
k_d4_n-8FAIL796.37
s3330_d2_sFAIL797.73
k_poly_n-4FAIL798.76
k_poly_n-12FAIL802.32
2qbf-5cnf-40var-160cl.0FAIL802.93
Adder2-10-sFAIL803.54
ncf_8_16_2_u.4FAIL805.26
ev-pr-4x4-9-3-0-0-1-sFAIL805.59
4qbf-5cnf-40var-160cl.4FAIL805.86
Adder2-14-cFAIL807.05
ncf_8_16_2_d.2UNSAT809.55
k_poly_n-16FAIL809.89
ncf_16_128_8_edau.2FAIL811.46
4qbf-5cnf-20var-80cl.8FAIL812.64
szymanski-14-sFAIL813.41
ncf_4_8_8_edau.4FAIL815.19
ncf_4_16_2_edau.8FAIL816.92
k_poly_n-8FAIL818.66
ncf_4_32_2_d.2FAIL826.85
3qbf-5cnf-40var-320cl.5FAIL827.28
ncf_8_16_8_euad.7UNSAT828.27
2qbf-5cnf-40var-160cl.1FAIL828.31
k_ph_p-21FAIL829.18
ncf_16_128_8_euad.8FAIL836.86
2qbf-5cnf-80var-160cl.9FAIL837.47
horn_400CNF1520_2aQBF_600UNSAT839.51
4qbf-5cnf-40var-320cl.6UNSAT841.42
renHorn_400CNF1960_2aQBF_50UNSAT844.52
5qbf-5cnf-20var-160cl.2FAIL845.26
ncf_8_16_8_edau.1SAT846.74
ncf_8_16_8_u.1SAT847.71
Adder2-12-sFAIL851.22
ncf_4_16_4_u.4FAIL853.72
3qbf-5cnf-40var-320cl.6FAIL857.7
ncf_4_32_2_edau.8FAIL858.51
ncf_8_16_2_edau.2UNSAT870.4
C499.blif_0.10_0.20_0_1_inp_exactFAIL870.77
horn_400CNF1840_2aQBF_215UNSAT870.97
C499.blif_0.10_0.20_0_0_inp_exactFAIL871.02
3qbf-5cnf-40var-320cl.2FAIL875.76
4qbf-5cnf-40var-160cl.9FAIL883.48
C432.blif_0.10_0.20_0_0_inp_exactFAIL893.33
1qbf-5cnf-160var-5120cl.7FAIL894.05
1qbf-5cnf-80var-2560cl.9FAIL894.27
1qbf-5cnf-160var-5120cl.3FAIL894.3
k_ph_p-16FAIL894.36
1qbf-5cnf-160var-5120cl.8FAIL894.39
1qbf-5cnf-160var-5120cl.4FAIL894.41
1qbf-5cnf-160var-5120cl.1FAIL894.45
1qbf-5cnf-160var-5120cl.2FAIL894.46
1qbf-5cnf-160var-5120cl.5FAIL894.47
1qbf-5cnf-160var-5120cl.6FAIL894.53
1qbf-5cnf-160var-5120cl.9FAIL894.67
1qbf-5cnf-160var-5120cl.0FAIL894.75
counter_e_16FAIL895.61
counter_re_16FAIL895.69
1qbf-5cnf-80var-2560cl.7FAIL895.95
counter_64FAIL896.31
1qbf-5cnf-80var-2560cl.3FAIL896.38
1qbf-5cnf-80var-2560cl.1FAIL896.43
1qbf-5cnf-80var-2560cl.0FAIL896.44
1qbf-5cnf-80var-2560cl.5FAIL896.45
1qbf-5cnf-80var-2560cl.8FAIL896.55
1qbf-5cnf-80var-2560cl.4FAIL896.66
1qbf-5cnf-80var-2560cl.6FAIL896.67
renHorn_400CNF1280_2aQBF_56UNSAT896.99
k_ph_p-20FAIL897.44
ncf_16_128_2_euad.5FAIL897.72
2qbf-5cnf-80var-320cl.7FAIL898.03
ncf_8_64_2_u.8FAIL898.04
ncf_4_32_4_u.7FAIL898.04
szymanski-22-sFAIL898.05
ncf_16_128_4_edau.7FAIL898.07
horn_400CNF2000_2aQBF_702FAIL898.23
3qbf-5cnf-80var-640cl.7FAIL898.26
2qbf-5cnf-80var-320cl.2FAIL898.36
s1269_d11_uFAIL898.39
szymanski-24-sFAIL898.5
5qbf-5cnf-40var-320cl.5FAIL898.72
szymanski-20-sFAIL899.28
C6288.blif_0.10_0.20_0_1_out_exactFAIL899.38
ncf_8_64_4_u.6FAIL899.45
s499_d21_sFAIL899.58
ncf_4_16_2_edau.3FAIL899.59
s1269_d8_sFAIL899.65
ncf_8_64_4_euad.6FAIL899.7
s298_d19_uFAIL899.71
C6288.blif_0.10_0.20_0_0_out_exactFAIL899.72
szymanski-18-sFAIL899.77
ncf_8_64_4_euad.2FAIL899.81
s820_d11_uFAIL899.85
s820_d10_sFAIL899.95
ncf_8_64_4_d.3FAIL899.98
s713_d4_sFAIL899.99
counter_r_32FAIL900
ncf_8_64_4_edau.10FAIL900.04
ncf_8_64_4_euad.4FAIL900.05
ncf_8_64_4_u.2FAIL900.06
ev-pr-6x6-17-5-0-1-2-sFAIL900.08
ncf_8_64_4_u.3FAIL900.09
ncf_16_128_4_euad.6FAIL900.11
ncf_8_64_4_u.7FAIL900.13
ncf_8_64_4_edau.2FAIL900.13
s510_d4_sFAIL900.13
ncf_16_128_4_u.3FAIL900.15
ncf_16_128_4_u.4FAIL900.18
counter_e_64FAIL900.18
ncf_8_64_4_d.6FAIL900.2
ncf_16_128_4_edau.6FAIL900.2
s499_d22_uFAIL900.2
ncf_8_32_2_euad.5FAIL900.21
ncf_16_128_8_edau.10FAIL900.21
ncf_4_32_2_u.4FAIL900.24
counter_e_32FAIL900.24
s499_d16_sFAIL900.25
s1269_d4_sFAIL900.25
s298_d16_sFAIL900.25
3qbf-5cnf-40var-320cl.7FAIL900.27
ncf_16_128_8_u.6FAIL900.28
ncf_8_32_8_d.3FAIL900.29
ncf_16_128_4_d.3FAIL900.29
ncf_8_64_4_euad.10FAIL900.29
s820_d8_sFAIL900.29
ncf_8_64_8_edau.4FAIL900.29
ncf_8_64_8_euad.4FAIL900.3
ncf_16_64_4_edau.9FAIL900.3
ncf_16_128_8_d.3FAIL900.31
ncf_8_64_2_d.5FAIL900.31
ncf_16_128_2_d.7FAIL900.31
ncf_16_128_4_edau.2FAIL900.32
ncf_16_128_4_edau.3FAIL900.32
ncf_8_32_8_u.8FAIL900.32
ncf_16_128_4_u.5FAIL900.32
ncf_16_128_2_d.2FAIL900.33
ev-pr-6x6-15-5-0-1-2-sFAIL900.33
ncf_4_32_8_d.3FAIL900.34
ncf_16_64_2_edau.8FAIL900.34
ncf_16_64_2_euad.6FAIL900.34
ncf_8_64_4_d.5FAIL900.34
ncf_8_64_2_d.2FAIL900.34
ncf_8_64_8_d.8FAIL900.35
ncf_8_64_2_d.4FAIL900.36
ncf_16_128_2_d.9FAIL900.36
test1_quant_squaring3FAIL900.36
ncf_8_64_4_edau.9FAIL900.36
ncf_8_64_8_u.6FAIL900.36
ncf_8_64_4_d.1FAIL900.36
ncf_8_64_4_euad.8FAIL900.37
ncf_8_64_2_euad.3FAIL900.37
ncf_16_128_2_u.5FAIL900.37
ncf_8_64_4_u.1FAIL900.37
ncf_8_64_2_d.8FAIL900.37
C5315.blif_0.10_0.20_0_0_inp_exactFAIL900.37
counter_re_32FAIL900.38
ncf_8_64_4_edau.5FAIL900.38
ncf_8_64_4_u.4FAIL900.38
ncf_8_64_8_euad.6FAIL900.38
ncf_8_64_4_euad.9FAIL900.38
ncf_8_64_2_euad.1FAIL900.39
ncf_4_32_4_edau.2FAIL900.39
ncf_16_128_4_edau.1FAIL900.39
ncf_16_64_4_d.2FAIL900.39
3qbf-5cnf-40var-320cl.4FAIL900.39
ncf_8_16_4_edau.7FAIL900.39
ncf_8_64_4_d.2FAIL900.4
ncf_8_64_4_d.9FAIL900.4
ncf_4_32_2_euad.4FAIL900.4
ncf_8_64_4_d.4FAIL900.4
ncf_8_32_8_euad.4FAIL900.4
ncf_4_32_8_u.4FAIL900.4
ncf_8_32_8_u.3FAIL900.4
ncf_8_64_2_d.3FAIL900.42
ncf_8_64_8_d.6FAIL900.42
ncf_8_32_4_edau.5FAIL900.43
ncf_8_64_4_u.5FAIL900.43
ncf_8_64_2_euad.2FAIL900.43
ncf_16_128_2_u.9FAIL900.43
ncf_8_32_8_edau.1FAIL900.44
ncf_8_64_2_u.4FAIL900.44
C5315.blif_0.10_0.20_0_1_out_exactFAIL900.44
ncf_8_64_8_d.10FAIL900.44
ncf_8_64_8_d.1FAIL900.44
ncf_8_64_2_d.9FAIL900.44
ncf_8_32_8_euad.3FAIL900.45
ncf_8_64_4_u.10FAIL900.45
ncf_16_128_2_edau.7FAIL900.45
ncf_4_16_2_euad.3FAIL900.45
ncf_8_32_2_d.7FAIL900.46
ncf_4_32_8_d.2FAIL900.46
ncf_16_128_8_edau.6FAIL900.46
ncf_8_64_2_euad.10FAIL900.46
ncf_16_128_8_euad.10FAIL900.47
ncf_8_64_2_edau.2FAIL900.47
counter_r_16FAIL900.47
ncf_8_32_8_edau.3FAIL900.47
ncf_4_32_4_d.1FAIL900.47
ncf_16_128_8_d.7FAIL900.47
ncf_4_32_4_euad.2FAIL900.47
ncf_16_64_2_d.10FAIL900.47
ncf_16_64_4_d.9FAIL900.48
ncf_8_64_8_u.10FAIL900.48
ncf_8_64_4_edau.6FAIL900.48
ncf_8_64_2_edau.5FAIL900.48
ncf_16_64_4_edau.1FAIL900.48
ncf_8_32_8_u.4FAIL900.48
ncf_8_32_2_d.4FAIL900.48
ncf_8_64_2_d.10FAIL900.49
test2_quant_squaring3FAIL900.49
C5315.blif_0.10_0.20_0_1_inp_exactFAIL900.49
ncf_8_64_2_d.1FAIL900.49
ncf_8_32_8_d.8FAIL900.49
ncf_8_32_2_euad.1FAIL900.49
ncf_8_64_4_u.8FAIL900.49
ncf_8_32_8_d.1FAIL900.49
ncf_8_64_2_u.10FAIL900.49
ncf_8_16_4_d.7FAIL900.49
ncf_4_32_2_d.9FAIL900.49
ncf_16_128_4_edau.9FAIL900.5
ncf_8_64_4_edau.4FAIL900.5
test4_quant4FAIL900.5
ncf_8_32_2_edau.10FAIL900.5
ncf_8_64_4_d.8FAIL900.5
ncf_8_64_2_u.9FAIL900.51
ncf_16_128_8_d.10FAIL900.51
ncf_4_32_2_edau.10FAIL900.51
ncf_8_64_4_edau.7FAIL900.51
szymanski-16-sFAIL900.51
ncf_8_64_4_d.10FAIL900.51
ncf_8_64_4_euad.1FAIL900.51
ncf_8_64_4_euad.5FAIL900.51
ncf_8_32_4_d.6FAIL900.52
ncf_8_64_2_edau.6FAIL900.52
ncf_8_64_4_euad.7FAIL900.52
ncf_8_32_4_edau.4FAIL900.52
ncf_8_64_2_euad.5FAIL900.52
ncf_16_128_4_euad.10FAIL900.52
k_branch_n-12FAIL900.53
ncf_4_32_8_edau.7FAIL900.53
ncf_4_32_4_d.2FAIL900.53
C5315.blif_0.10_0.20_0_0_out_exactFAIL900.53
ncf_8_32_2_euad.10FAIL900.53
Adder2-12-cFAIL900.54
ncf_4_32_2_edau.3FAIL900.54
ncf_4_32_4_u.2FAIL900.54
ncf_8_64_8_u.4FAIL900.54
ncf_8_16_2_euad.4FAIL900.54
ncf_8_64_8_edau.6FAIL900.54
ncf_16_64_2_euad.10FAIL900.54
ncf_8_64_4_edau.3FAIL900.55
ncf_8_32_4_euad.2FAIL900.56
ncf_16_128_8_u.2FAIL900.56
ncf_16_128_4_d.10FAIL900.56
ncf_8_64_2_d.6FAIL900.56
ncf_8_32_8_d.6FAIL900.56
ncf_8_32_8_d.4FAIL900.56
ncf_8_64_8_d.9FAIL900.57
ncf_4_32_8_u.8FAIL900.57
ncf_8_64_4_edau.8FAIL900.57
ncf_16_32_2_d.2FAIL900.57
s1269_d2_sFAIL900.57
ncf_8_64_4_d.7FAIL900.58
ncf_8_64_8_edau.8FAIL900.58
ncf_8_32_8_d.2FAIL900.58
ncf_16_64_2_euad.4FAIL900.58
ncf_8_32_8_u.1FAIL900.58
ncf_4_32_8_euad.4FAIL900.58
ncf_8_32_8_edau.8FAIL900.58
ncf_4_32_2_edau.4FAIL900.58
ncf_8_64_2_d.7FAIL900.58
ncf_8_32_4_u.4FAIL900.58
s820_d4_sFAIL900.58
ncf_16_32_8_edau.2FAIL900.58
ncf_4_32_4_u.5FAIL900.59
test5_quant7FAIL900.59
ncf_4_16_8_u.4FAIL900.59
ncf_16_128_8_d.6FAIL900.59
ncf_4_32_8_d.7FAIL900.59
ncf_8_64_4_edau.1FAIL900.59
Adder2-16-sFAIL900.59
ncf_16_32_2_d.4FAIL900.59
ncf_8_32_4_u.5FAIL900.59
ncf_16_128_8_u.10FAIL900.59
ncf_16_64_4_edau.2FAIL900.59
s386_d7_sFAIL900.6
ncf_8_32_8_d.10FAIL900.6
ncf_4_32_2_d.10FAIL900.6
ncf_8_16_8_edau.8FAIL900.6
ncf_16_128_2_edau.9FAIL900.6
ncf_8_32_8_euad.8FAIL900.6
test1_quant_squaring2FAIL900.6
ncf_4_32_2_edau.9FAIL900.6
ncf_8_32_8_u.10FAIL900.61
ncf_4_32_2_euad.6FAIL900.61
ncf_16_32_8_d.7FAIL900.61
ncf_8_64_8_euad.8FAIL900.61
ncf_8_32_8_edau.6FAIL900.61
ncf_4_32_4_euad.1FAIL900.61
ncf_4_32_2_u.6FAIL900.61
ncf_8_32_2_u.4FAIL900.61
ncf_8_32_8_u.5FAIL900.61
ncf_8_64_8_edau.3FAIL900.61
k_branch_n-16FAIL900.61
ncf_8_32_8_u.9FAIL900.61
ncf_4_32_4_d.9FAIL900.61
ncf_8_64_8_euad.2FAIL900.62
s499_d8_sFAIL900.62
ncf_16_64_4_d.6FAIL900.62
test1_quant2FAIL900.62
Adder2-14-sFAIL900.62
ncf_16_64_2_euad.8FAIL900.62
ncf_8_64_8_edau.7FAIL900.62
ncf_4_16_8_edau.1FAIL900.62
ncf_8_32_8_edau.5FAIL900.63
ncf_8_32_2_d.1FAIL900.63
ncf_4_32_8_u.2FAIL900.63
ncf_8_16_4_euad.7FAIL900.63
ncf_8_64_4_euad.3FAIL900.63
ncf_4_32_2_u.10FAIL900.63
ncf_16_64_4_euad.2FAIL900.63
ncf_16_32_8_d.1FAIL900.63
ncf_8_32_4_edau.2FAIL900.63
ncf_8_16_8_u.10FAIL900.64
ncf_16_64_4_edau.5FAIL900.64
ncf_16_128_8_u.3FAIL900.64
ncf_8_64_8_u.5FAIL900.64
test2_quant_squaring2FAIL900.64
ncf_4_32_2_euad.3FAIL900.64
ncf_4_32_2_d.3FAIL900.64
ncf_8_32_8_euad.10FAIL900.64
ncf_8_64_8_edau.5FAIL900.64
ncf_8_64_2_euad.8FAIL900.64
ncf_16_64_4_u.5FAIL900.64
test4_quant_squaring2FAIL900.64
ncf_8_32_8_d.9FAIL900.64
ncf_16_64_4_euad.6FAIL900.64
ncf_8_32_8_euad.7FAIL900.64
6qbf-5cnf-40var-320cl.5FAIL900.65
ncf_8_16_8_euad.10FAIL900.65
ncf_4_16_8_u.3FAIL900.65
ncf_16_64_8_u.8FAIL900.65
ncf_8_64_2_euad.9FAIL900.65
ncf_4_32_2_d.7FAIL900.65
ncf_16_64_2_edau.4FAIL900.65
ncf_4_32_8_euad.7FAIL900.65
ncf_8_64_8_d.7FAIL900.65
ncf_8_64_8_u.8FAIL900.65
ncf_16_64_4_d.10FAIL900.65
ncf_16_64_4_u.9FAIL900.65
ncf_8_16_8_d.6FAIL900.66
ncf_8_64_8_euad.9FAIL900.66
ncf_4_32_4_u.9FAIL900.66
ncf_8_64_8_edau.1FAIL900.66
ncf_8_32_2_u.1FAIL900.66
5qbf-5cnf-40var-320cl.2FAIL900.66
ncf_8_64_2_edau.9FAIL900.66
3qbf-5cnf-160var-1280cl.5FAIL900.66
ncf_8_64_4_u.9FAIL900.66
ncf_16_128_4_euad.9FAIL900.66
ncf_16_32_8_d.5FAIL900.66
ncf_4_32_8_euad.2FAIL900.66
ncf_4_32_8_euad.9FAIL900.66
5qbf-5cnf-160var-1280cl.6FAIL900.66
ncf_8_32_4_edau.8FAIL900.66
ncf_4_32_4_u.4FAIL900.66
ncf_8_32_8_u.7FAIL900.66
ncf_4_32_8_d.4FAIL900.66
ncf_8_64_8_euad.3FAIL900.66
ncf_4_32_8_edau.3FAIL900.67
ncf_16_32_8_euad.4FAIL900.67
ncf_16_32_4_d.4FAIL900.67
ncf_4_32_8_euad.10FAIL900.67
ncf_4_32_8_u.10FAIL900.67
ncf_16_32_4_d.1FAIL900.67
ncf_8_64_8_d.4FAIL900.67
test2_quant3FAIL900.67
ncf_4_32_8_u.7FAIL900.67
szymanski-12-sFAIL900.67
ncf_16_32_8_euad.9FAIL900.67
ncf_8_32_2_edau.4FAIL900.67
ncf_8_64_2_euad.4FAIL900.67
ncf_16_128_8_u.4FAIL900.67
ncf_8_64_2_edau.7FAIL900.67
ncf_8_64_8_edau.9FAIL900.68
ncf_16_64_2_d.8FAIL900.68
ncf_16_64_4_euad.10FAIL900.68
ncf_4_32_2_edau.6FAIL900.68
ncf_8_64_2_u.3FAIL900.68
ncf_8_32_8_edau.10FAIL900.68
ncf_16_32_2_euad.5FAIL900.68
ncf_8_32_4_u.1FAIL900.68
ncf_8_64_2_edau.10FAIL900.68
ncf_4_16_8_edau.6FAIL900.68
ncf_4_32_8_edau.8FAIL900.69
ncf_4_16_8_d.4FAIL900.69
ncf_8_32_4_d.8FAIL900.69
ncf_16_64_4_u.4FAIL900.69
horn_400CNF2320_2aQBF_458FAIL900.69
ncf_8_64_8_edau.10FAIL900.69
ncf_8_16_4_euad.4FAIL900.69
ncf_4_16_8_euad.3FAIL900.69
ncf_16_32_2_euad.6FAIL900.69
s386_d8_uFAIL900.69
ncf_16_128_8_edau.7FAIL900.69
ncf_16_128_8_euad.3FAIL900.69
ncf_16_32_4_u.6FAIL900.69
ncf_4_32_4_euad.10FAIL900.69
ncf_16_64_8_edau.5FAIL900.69
ncf_8_64_8_euad.5FAIL900.69
ncf_8_32_8_d.5FAIL900.69
ncf_4_16_8_euad.4FAIL900.69
ncf_16_32_8_u.6FAIL900.69
ncf_8_32_4_euad.6FAIL900.69
ncf_16_128_8_euad.9FAIL900.69
ncf_4_32_4_u.6FAIL900.69
ncf_8_16_8_euad.2FAIL900.69
ncf_16_32_4_u.7FAIL900.7
ncf_8_32_2_euad.8FAIL900.7
ncf_4_16_8_d.3FAIL900.7
ncf_8_16_8_euad.9FAIL900.7
uclid-pipe3aFAIL900.7
ev-pr-4x4-13-3-0-0-1-sFAIL900.7
ncf_8_32_8_d.7FAIL900.7
ncf_8_32_2_edau.6FAIL900.7
ncf_16_64_4_edau.6FAIL900.7
test1_quant3FAIL900.7
ncf_8_32_4_u.3FAIL900.7
ncf_8_64_2_u.7FAIL900.7
ncf_8_64_8_d.3FAIL900.7
ncf_4_32_4_edau.1FAIL900.7
ncf_16_32_4_euad.5FAIL900.7
ncf_4_32_4_euad.5FAIL900.7
ncf_4_32_4_edau.4FAIL900.7
test5_quant5FAIL900.7
3qbf-5cnf-160var-640cl.5FAIL900.7
ncf_16_32_4_euad.1FAIL900.7
ncf_4_32_8_edau.2FAIL900.7
ncf_4_32_8_euad.8FAIL900.71
ncf_4_32_8_euad.3FAIL900.71
ncf_16_64_8_d.6FAIL900.71
ncf_8_64_2_u.2FAIL900.71
ncf_8_64_2_u.5FAIL900.71
ncf_4_16_8_euad.2FAIL900.71
ncf_4_32_2_u.3FAIL900.71
test3_quant4FAIL900.71
ncf_4_32_4_edau.5FAIL900.71
ncf_4_32_4_u.1FAIL900.71
ncf_4_32_4_euad.7FAIL900.71
ncf_16_64_2_d.6FAIL900.71
k_path_p-21FAIL900.71
ncf_8_32_8_euad.9FAIL900.71
ncf_8_16_8_euad.5FAIL900.71
ncf_8_64_8_u.1FAIL900.71
ncf_8_32_8_u.6FAIL900.72
ncf_8_32_2_u.7FAIL900.72
ncf_8_32_4_d.9FAIL900.72
ncf_16_128_8_euad.2FAIL900.72
ncf_4_32_2_edau.7FAIL900.72
ncf_16_128_4_edau.5FAIL900.72
ncf_4_32_8_u.3FAIL900.72
ncf_8_16_8_edau.3FAIL900.72
ncf_16_128_8_u.1FAIL900.72
ncf_4_16_8_d.10FAIL900.72
test2_quant2FAIL900.72
ncf_4_32_8_edau.4FAIL900.72
ncf_8_32_8_edau.9FAIL900.72
ncf_16_64_2_u.8FAIL900.72
ncf_16_64_2_u.5FAIL900.72
ncf_4_32_8_euad.6FAIL900.72
ncf_4_32_4_u.8FAIL900.72
ncf_4_16_8_euad.9FAIL900.72
ncf_8_64_8_euad.10FAIL900.72
ncf_16_64_8_u.4FAIL900.72
k_path_n-21FAIL900.72
k_path_n-16FAIL900.72
ncf_16_128_8_euad.7FAIL900.73
ncf_4_32_2_d.4FAIL900.73
ncf_16_32_4_edau.1FAIL900.73
ncf_16_64_2_euad.2FAIL900.73
ncf_4_32_4_euad.9FAIL900.73
ncf_16_64_2_edau.6FAIL900.73
ncf_8_32_2_u.9FAIL900.73
ncf_4_8_8_u.6FAIL900.73
ncf_4_32_4_d.5FAIL900.73
ncf_4_16_4_u.3FAIL900.73
ncf_8_32_4_euad.10FAIL900.73
ncf_16_32_2_u.6FAIL900.73
ncf_16_32_8_euad.8FAIL900.73
ncf_8_64_2_euad.6FAIL900.73
ncf_16_64_4_euad.9FAIL900.73
ncf_8_32_4_d.7FAIL900.73
ncf_4_32_8_u.1FAIL900.73
ncf_8_64_2_u.6FAIL900.73
6qbf-5cnf-20var-160cl.5FAIL900.73
ncf_8_32_2_euad.7FAIL900.73
ncf_8_16_8_euad.1FAIL900.73
ncf_8_32_8_edau.2FAIL900.73
ncf_16_128_4_u.6FAIL900.73
ncf_4_16_8_euad.1FAIL900.73
ncf_16_32_4_euad.3FAIL900.73
ncf_16_128_8_euad.6FAIL900.73
ncf_4_32_8_d.10FAIL900.73
ncf_8_64_2_edau.1FAIL900.73
ncf_4_32_8_edau.5FAIL900.73
ncf_8_32_2_u.10FAIL900.73
ncf_4_8_8_edau.7FAIL900.73
ncf_8_64_8_u.7FAIL900.73
ncf_16_128_4_u.8FAIL900.73
ncf_4_32_4_euad.4FAIL900.73
ncf_8_16_8_euad.3FAIL900.74
ncf_16_64_2_edau.3FAIL900.74
horn_400CNF2320_2aQBF_132FAIL900.74
ncf_16_64_8_edau.8FAIL900.74
ncf_8_32_8_euad.5FAIL900.74
3qbf-5cnf-80var-320cl.7FAIL900.74
ncf_8_16_4_edau.9FAIL900.74
ncf_4_16_4_edau.2FAIL900.74
ncf_8_32_2_edau.5FAIL900.74
ncf_16_64_8_edau.3FAIL900.74
ncf_8_32_4_d.1FAIL900.74
ncf_16_32_8_euad.3FAIL900.74
ncf_16_128_8_euad.5FAIL900.74
ncf_16_128_8_u.7FAIL900.74
ncf_16_128_8_u.8FAIL900.74
ncf_4_16_8_edau.3FAIL900.74
ncf_16_32_2_euad.10FAIL900.74
horn_400CNF1360_2aQBF_755FAIL900.74
k_path_p-20FAIL900.74
ncf_16_64_4_u.2FAIL900.74
ncf_8_64_2_edau.8FAIL900.74
ncf_8_32_8_edau.7FAIL900.74
ncf_4_16_8_edau.9FAIL900.75
ncf_8_16_8_u.3FAIL900.75
2qbf-5cnf-40var-160cl.3FAIL900.75
ncf_8_32_4_d.5FAIL900.75
ncf_4_32_2_euad.5FAIL900.75
ncf_16_32_8_edau.7FAIL900.75
ncf_8_32_4_u.10FAIL900.75
ncf_4_8_8_u.10FAIL900.75
ncf_16_64_2_u.6FAIL900.75
ncf_16_64_2_euad.5FAIL900.75
ncf_4_32_4_euad.8FAIL900.75
ncf_4_32_8_u.9FAIL900.75
ncf_4_32_8_euad.1FAIL900.75
ncf_8_32_2_euad.2FAIL900.75
test3_quant_squaring2FAIL900.75
ncf_8_64_8_d.2FAIL900.75
k_path_n-20FAIL900.75
ncf_8_32_8_euad.6FAIL900.75
ncf_16_32_2_u.4FAIL900.75
ncf_4_32_4_d.3FAIL900.75
renHorn_400CNF1480_2aQBF_98FAIL900.75
ncf_16_32_4_u.2FAIL900.76
3qbf-5cnf-160var-1280cl.7FAIL900.76
ncf_8_32_8_edau.4FAIL900.76
ncf_4_32_4_edau.6FAIL900.76
ncf_16_64_4_d.7FAIL900.76
2qbf-5cnf-80var-160cl.2FAIL900.76
ncf_4_8_8_euad.7FAIL900.76
ncf_8_16_4_u.3FAIL900.76
ncf_16_128_4_d.5FAIL900.76
renHorn_400CNF2040_2aQBF_86FAIL900.76
ncf_16_32_2_u.8FAIL900.76
ncf_16_64_4_euad.8FAIL900.76
ncf_8_32_8_euad.1FAIL900.76
ncf_16_64_4_d.1FAIL900.76
ncf_8_16_8_d.10FAIL900.76
ncf_4_8_8_d.10FAIL900.76
ncf_16_128_2_edau.3FAIL900.76
ncf_16_128_8_d.4FAIL900.76
ncf_16_32_2_edau.1FAIL900.76
5qbf-5cnf-80var-640cl.3FAIL900.76
ncf_16_64_8_u.6FAIL900.76
ncf_16_32_8_edau.5FAIL900.76
renHorn_400CNF2360_2aQBF_97FAIL900.76
ncf_8_32_2_u.3FAIL900.76
ncf_8_64_8_euad.7FAIL900.76
ncf_4_16_4_u.2FAIL900.76
ncf_8_32_8_u.2FAIL900.76
4qbf-5cnf-20var-160cl.2FAIL900.76
ncf_16_64_8_u.3FAIL900.77
6qbf-5cnf-40var-320cl.9FAIL900.77
ncf_4_32_4_d.6FAIL900.77
ncf_8_16_4_u.9FAIL900.77
6qbf-5cnf-20var-160cl.4FAIL900.77
ncf_8_16_8_edau.6FAIL900.77
ncf_8_32_2_euad.3FAIL900.77
4qbf-5cnf-20var-160cl.5FAIL900.77
ncf_16_32_4_u.3FAIL900.77
ncf_8_16_8_u.2FAIL900.77
ncf_8_32_2_euad.4FAIL900.77
ncf_16_32_2_u.10FAIL900.77
4qbf-5cnf-40var-160cl.8FAIL900.77
ncf_16_128_8_edau.3FAIL900.77
ncf_4_32_4_edau.9FAIL900.77
ncf_8_32_4_u.8FAIL900.77
2qbf-5cnf-80var-320cl.8FAIL900.77
ncf_4_32_8_d.6FAIL900.77
ncf_16_128_2_euad.3FAIL900.77
ncf_8_16_4_d.9FAIL900.77
ncf_4_16_8_u.9FAIL900.77
ncf_4_32_8_d.8FAIL900.77
ncf_16_32_2_euad.2FAIL900.77
ncf_4_16_4_d.2FAIL900.77
ncf_16_32_4_edau.5FAIL900.77
ncf_16_128_8_u.9FAIL900.77
ncf_8_32_4_u.2FAIL900.77
4qbf-5cnf-20var-160cl.9FAIL900.77
ncf_4_16_4_u.6FAIL900.77
ncf_16_64_8_d.1FAIL900.77
ncf_16_128_8_edau.8FAIL900.77
ncf_16_64_2_d.2FAIL900.77
ncf_4_16_8_d.8FAIL900.77
ncf_4_16_8_u.5FAIL900.77
ncf_16_128_4_d.8FAIL900.77
ncf_4_16_8_edau.8FAIL900.78
ncf_4_16_8_u.6FAIL900.78
ncf_8_32_2_edau.7FAIL900.78
ncf_8_32_4_edau.10FAIL900.78
ncf_8_64_8_u.9FAIL900.78
ncf_8_32_4_d.10FAIL900.78
ncf_16_64_4_euad.7FAIL900.78
ncf_8_32_4_edau.9FAIL900.78
ncf_8_32_2_edau.2FAIL900.78
ncf_16_64_4_u.6FAIL900.78
ncf_16_64_8_euad.8FAIL900.78
ncf_8_32_4_euad.9FAIL900.78
ncf_16_32_8_u.7FAIL900.78
ncf_16_128_8_euad.4FAIL900.78
ncf_8_32_4_edau.7FAIL900.78
ncf_16_32_4_d.5FAIL900.78
s499_d4_sFAIL900.78
ncf_4_32_4_edau.7FAIL900.78
ncf_8_64_8_u.3FAIL900.78
ncf_16_32_8_euad.6FAIL900.78
ncf_4_16_8_edau.10FAIL900.78
ncf_8_32_2_euad.9FAIL900.78
ncf_8_32_4_euad.5FAIL900.78
3qbf-5cnf-160var-640cl.9FAIL900.78
ncf_4_8_8_euad.2FAIL900.78
ncf_8_16_8_d.5FAIL900.78
ncf_8_64_8_d.5FAIL900.78
ncf_16_32_8_u.9FAIL900.78
ncf_16_32_8_d.6FAIL900.78
ncf_16_64_8_edau.7FAIL900.78
ncf_8_64_8_edau.2FAIL900.78
ncf_4_32_4_d.8FAIL900.78
ncf_4_16_8_edau.2FAIL900.78
ncf_8_16_8_u.5FAIL900.79
ncf_8_32_2_edau.1FAIL900.79
ncf_16_64_4_u.8FAIL900.79
ncf_16_64_4_u.7FAIL900.79
ncf_16_128_2_d.4FAIL900.79
ncf_16_64_4_euad.4FAIL900.79
ncf_16_64_2_d.9FAIL900.79
ncf_16_128_8_d.8FAIL900.79
ncf_8_16_8_euad.4FAIL900.79
4qbf-5cnf-80var-320cl.6FAIL900.79
ncf_4_8_8_u.7FAIL900.79
ncf_8_32_2_u.6FAIL900.79
ncf_8_32_2_u.5FAIL900.79
ncf_4_16_4_euad.3FAIL900.79
ncf_16_32_4_euad.4FAIL900.79
2qbf-5cnf-40var-160cl.4FAIL900.79
renHorn_400CNF1800_2aQBF_2FAIL900.79
ncf_16_64_8_euad.5FAIL900.79
ncf_8_32_8_euad.2FAIL900.79
ncf_16_32_2_edau.3FAIL900.79
ncf_8_16_8_u.9FAIL900.79
3qbf-5cnf-160var-640cl.2FAIL900.79
ncf_16_64_8_u.5FAIL900.79
5qbf-5cnf-40var-320cl.0FAIL900.79
ncf_4_16_8_u.8FAIL900.8
ncf_16_64_2_u.7FAIL900.8
adder-10-satFAIL900.8
ncf_4_32_2_edau.5FAIL900.8
ncf_8_16_4_euad.3FAIL900.8
ncf_4_16_8_euad.8FAIL900.8
2qbf-5cnf-160var-320cl.5FAIL900.8
adder-16-satFAIL900.8
ncf_8_32_2_d.5FAIL900.8
s386_d4_sFAIL900.8
ncf_16_32_8_euad.5FAIL900.8
ncf_4_32_4_euad.6FAIL900.8
ncf_16_128_8_edau.1FAIL900.8
ncf_16_32_8_euad.10FAIL900.8
ncf_16_32_8_edau.9FAIL900.8
ncf_16_64_8_d.3FAIL900.8
ncf_16_128_8_euad.1FAIL900.8
ncf_16_64_4_edau.4FAIL900.8
ncf_16_64_2_edau.10FAIL900.8
5qbf-5cnf-80var-640cl.1FAIL900.8
ncf_4_32_8_d.1FAIL900.8
ncf_8_16_8_u.7FAIL900.8
5qbf-5cnf-40var-320cl.9FAIL900.8
ncf_4_32_2_euad.10FAIL900.8
6qbf-5cnf-40var-320cl.8FAIL900.8
3qbf-5cnf-80var-320cl.4FAIL900.8
ncf_4_16_4_euad.2FAIL900.8
6qbf-5cnf-20var-160cl.2FAIL900.8
ncf_8_64_2_euad.7FAIL900.8
ncf_8_16_8_d.3FAIL900.8
ncf_4_8_8_euad.6FAIL900.8
ncf_16_64_2_edau.9FAIL900.8
ncf_4_16_8_d.2FAIL900.8
3qbf-5cnf-40var-320cl.9FAIL900.8
ncf_16_64_8_edau.6FAIL900.81
ncf_16_32_8_d.2FAIL900.81
ncf_16_32_2_d.1FAIL900.81
ncf_4_32_8_u.5FAIL900.81
ncf_4_16_8_d.9FAIL900.81
ncf_4_16_8_euad.5FAIL900.81
ncf_4_32_4_u.3FAIL900.81
ncf_16_128_8_d.5FAIL900.81
6qbf-5cnf-20var-160cl.9FAIL900.81
horn_400CNF2000_2aQBF_642FAIL900.81
ncf_16_32_4_d.6FAIL900.81
6qbf-5cnf-80var-640cl.3FAIL900.81
ncf_16_32_2_euad.1FAIL900.81
2qbf-5cnf-40var-160cl.8FAIL900.81
ncf_8_16_8_edau.4FAIL900.81
ncf_4_32_2_d.6FAIL900.81
ncf_4_32_8_edau.1FAIL900.81
ncf_4_32_4_d.7FAIL900.81
ncf_8_16_8_edau.2FAIL900.81
ncf_8_32_2_d.10FAIL900.81
3qbf-5cnf-80var-320cl.2FAIL900.81
ncf_16_128_4_d.9FAIL900.81
horn_400CNF1680_2aQBF_547FAIL900.81
ncf_16_64_2_edau.2FAIL900.81
ncf_16_128_4_euad.3FAIL900.81
ncf_16_32_8_edau.10FAIL900.81
ncf_4_32_8_d.5FAIL900.81
2qbf-5cnf-160var-640cl.0FAIL900.81
uclid-pipe3bFAIL900.81
ncf_4_8_8_edau.6FAIL900.81
ncf_16_32_4_edau.6FAIL900.81
ncf_8_32_4_u.7FAIL900.81
4qbf-5cnf-40var-160cl.7FAIL900.82
ncf_8_32_4_d.4FAIL900.82
2qbf-5cnf-80var-160cl.6FAIL900.82
horn_400CNF1600_2aQBF_956FAIL900.82
ncf_16_64_8_euad.9FAIL900.82
ncf_4_16_8_d.6FAIL900.82
ncf_8_16_8_edau.9FAIL900.82
ncf_16_32_8_edau.6FAIL900.82
ncf_4_32_8_d.9FAIL900.82
ncf_8_32_4_edau.1FAIL900.82
ncf_16_128_2_u.4FAIL900.82
ncf_4_16_8_euad.6FAIL900.82
ncf_8_32_2_u.8FAIL900.82
ncf_16_64_4_edau.3FAIL900.82
ncf_16_32_2_euad.8FAIL900.82
ncf_8_64_8_euad.1FAIL900.82
ncf_16_64_8_edau.9FAIL900.82
ncf_16_64_2_euad.3FAIL900.82
ncf_16_128_4_d.6FAIL900.82
ncf_4_32_4_edau.8FAIL900.82
ncf_4_32_4_euad.3FAIL900.82
4qbf-5cnf-160var-640cl.7FAIL900.82
ncf_4_16_8_edau.4FAIL900.82
2qbf-5cnf-80var-160cl.1FAIL900.82
ncf_16_32_4_u.4FAIL900.82
ncf_16_64_8_edau.4FAIL900.82
ncf_4_32_2_u.5FAIL900.82
renHorn_400CNF1640_2aQBF_53FAIL900.82
ncf_16_64_2_d.1FAIL900.82
5qbf-5cnf-40var-320cl.4FAIL900.82
ncf_16_64_2_d.5FAIL900.82
ncf_16_64_8_euad.6FAIL900.83
5qbf-5cnf-40var-640cl.2FAIL900.83
5qbf-5cnf-80var-640cl.0FAIL900.83
4qbf-5cnf-160var-640cl.9FAIL900.83
ncf_16_64_8_d.7FAIL900.83
ncf_4_32_8_edau.6FAIL900.83
horn_400CNF2320_2aQBF_230FAIL900.83
ncf_16_32_4_euad.10FAIL900.83
5qbf-5cnf-160var-1280cl.8FAIL900.83
horn_400CNF1600_2aQBF_505FAIL900.83
ncf_8_64_2_u.1FAIL900.83
ncf_16_128_4_d.2FAIL900.83
ncf_8_16_8_u.4FAIL900.83
ncf_16_64_8_euad.10FAIL900.83
ncf_16_32_4_u.9FAIL900.83
test4_quant2FAIL900.83
ncf_16_64_8_d.8FAIL900.83
ncf_16_64_2_u.10FAIL900.83
ncf_16_64_2_u.4FAIL900.83
ncf_8_16_8_edau.5FAIL900.83
ncf_16_64_2_u.2FAIL900.83
ncf_4_16_4_d.6FAIL900.83
ncf_8_16_8_d.2FAIL900.83
ncf_4_32_4_edau.10FAIL900.83
ncf_16_128_2_u.6FAIL900.83
ncf_8_32_4_euad.8FAIL900.83
test3_quant2FAIL900.83
3qbf-5cnf-80var-640cl.1FAIL900.83
ncf_16_64_8_euad.4FAIL900.83
5qbf-5cnf-40var-640cl.6FAIL900.83
ncf_16_64_2_edau.1FAIL900.83
ncf_16_32_4_u.1FAIL900.83
renHorn_400CNF1880_2aQBF_88FAIL900.83
ncf_4_8_8_euad.10FAIL900.83
ncf_4_16_8_euad.7FAIL900.83
ncf_16_64_8_d.9FAIL900.83
renHorn_400CNF1480_2aQBF_96FAIL900.83
mutex-128-sFAIL900.83
horn_400CNF1520_2aQBF_387FAIL900.83
6qbf-5cnf-20var-160cl.1FAIL900.83
ncf_16_128_4_u.10FAIL900.83
ncf_16_128_4_d.1FAIL900.83
ncf_16_64_8_d.4FAIL900.84
ncf_16_128_2_d.1FAIL900.84
6qbf-5cnf-40var-320cl.6FAIL900.84
ncf_8_32_4_edau.3FAIL900.84
ev-pr-4x4-15-3-0-0-1-sFAIL900.84
ncf_16_64_2_d.3FAIL900.84
ncf_16_32_8_euad.1FAIL900.84
4qbf-5cnf-80var-320cl.0FAIL900.84
ncf_16_32_4_euad.2FAIL900.84
ncf_16_128_2_u.8FAIL900.84
4qbf-5cnf-80var-320cl.1FAIL900.84
ncf_16_64_8_d.10FAIL900.84
horn_400CNF1520_2aQBF_116FAIL900.84
3qbf-5cnf-160var-1280cl.0FAIL900.84
ncf_16_128_2_euad.6FAIL900.84
6qbf-5cnf-80var-640cl.2FAIL900.84
3qbf-5cnf-80var-320cl.0FAIL900.84
horn_400CNF1680_2aQBF_728FAIL900.84
4qbf-5cnf-80var-320cl.2FAIL900.84
ncf_16_32_4_u.10FAIL900.84
3qbf-5cnf-40var-160cl.8FAIL900.84
ncf_16_64_4_u.3FAIL900.84
ncf_8_32_4_euad.7FAIL900.84
ncf_16_64_2_u.9FAIL900.84
ncf_16_64_2_euad.9FAIL900.84
ncf_4_32_4_edau.3FAIL900.84
3qbf-5cnf-80var-640cl.8FAIL900.84
ncf_16_32_2_u.3FAIL900.84
horn_400CNF1920_2aQBF_583FAIL900.84
ncf_16_128_2_edau.10FAIL900.84
ncf_16_64_4_u.1FAIL900.84
ncf_16_64_8_euad.2FAIL900.84
ncf_16_32_8_u.5FAIL900.84
horn_400CNF2320_2aQBF_772FAIL900.84
5qbf-5cnf-160var-1280cl.4FAIL900.84
ncf_16_32_8_euad.7FAIL900.85
ncf_16_32_8_u.1FAIL900.85
ncf_16_128_4_d.4FAIL900.85
ncf_4_16_4_edau.6FAIL900.85
horn_400CNF1440_2aQBF_165FAIL900.85
ncf_4_8_8_d.6FAIL900.85
ncf_8_32_4_d.2FAIL900.85
ncf_16_32_8_edau.4FAIL900.85
ncf_4_16_8_u.2FAIL900.85
ncf_8_32_4_euad.4FAIL900.85
ncf_16_32_2_u.2FAIL900.85
ncf_4_32_8_euad.5FAIL900.85
ncf_4_16_8_u.10FAIL900.85
renHorn_400CNF2280_2aQBF_59FAIL900.85
horn_400CNF2080_2aQBF_714FAIL900.85
ncf_16_32_2_u.1FAIL900.85
3qbf-5cnf-160var-1280cl.3FAIL900.85
ncf_4_32_2_d.5FAIL900.85
2qbf-5cnf-40var-160cl.6FAIL900.85
ncf_16_128_2_edau.6FAIL900.85
ncf_16_32_8_u.3FAIL900.85
renHorn_400CNF1640_2aQBF_38FAIL900.85
ncf_16_128_4_euad.8FAIL900.85
renHorn_400CNF1800_2aQBF_24FAIL900.85
ncf_8_32_2_d.2FAIL900.85
ncf_16_64_8_euad.1FAIL900.85
4qbf-5cnf-160var-640cl.1FAIL900.85
ncf_16_128_4_euad.7FAIL900.85
ncf_16_64_4_edau.10FAIL900.85
ncf_16_128_2_euad.4FAIL900.85
horn_400CNF2160_2aQBF_657FAIL900.85
5qbf-5cnf-40var-320cl.3FAIL900.85
ncf_16_64_2_edau.5FAIL900.85
6qbf-5cnf-160var-1280cl.8FAIL900.85
ncf_4_16_8_u.1FAIL900.85
ncf_8_32_4_edau.6FAIL900.86
2qbf-5cnf-80var-320cl.1FAIL900.86
ncf_4_32_2_euad.7FAIL900.86
ncf_4_16_8_edau.5FAIL900.86
5qbf-5cnf-40var-320cl.1FAIL900.86
3qbf-5cnf-160var-640cl.3FAIL900.86
horn_400CNF1440_2aQBF_147FAIL900.86
horn_400CNF1680_2aQBF_244FAIL900.86
ncf_16_128_4_u.9FAIL900.86
horn_400CNF1600_2aQBF_3FAIL900.86
ncf_16_64_2_u.1FAIL900.86
6qbf-5cnf-20var-160cl.8FAIL900.86
horn_400CNF2320_2aQBF_813FAIL900.86
6qbf-5cnf-160var-1280cl.4FAIL900.86
4qbf-5cnf-80var-320cl.5FAIL900.86
ncf_16_128_2_d.6FAIL900.86
4qbf-5cnf-40var-320cl.8FAIL900.86
ncf_16_64_8_u.9FAIL900.86
horn_400CNF1760_2aQBF_946FAIL900.86
6qbf-5cnf-40var-320cl.4FAIL900.86
6qbf-5cnf-20var-160cl.0FAIL900.86
ncf_16_64_2_d.4FAIL900.86
horn_400CNF1600_2aQBF_789FAIL900.86
ncf_4_32_2_euad.9FAIL900.86
ncf_8_32_2_u.2FAIL900.86
ncf_8_32_2_edau.3FAIL900.86
ncf_8_32_4_euad.3FAIL900.86
ncf_8_64_2_edau.4FAIL900.86
horn_400CNF2000_2aQBF_523FAIL900.86
2qbf-5cnf-160var-320cl.1FAIL900.86
horn_400CNF2080_2aQBF_709FAIL900.86
ncf_16_64_8_edau.1FAIL900.86
ncf_8_32_4_euad.1FAIL900.86
5qbf-5cnf-40var-320cl.6FAIL900.86
ncf_8_32_2_d.6FAIL900.86
ncf_16_128_4_u.2FAIL900.86
6qbf-5cnf-80var-640cl.7FAIL900.86
3qbf-5cnf-160var-640cl.6FAIL900.86
renHorn_400CNF1720_2aQBF_11FAIL900.86
ncf_4_8_8_edau.10FAIL900.86
horn_400CNF1760_2aQBF_711FAIL900.86
3qbf-5cnf-80var-640cl.0FAIL900.86
ncf_8_16_8_u.6FAIL900.86
horn_400CNF2320_2aQBF_72FAIL900.86
ncf_8_16_4_u.7FAIL900.86
ncf_16_64_8_euad.7FAIL900.86
ncf_16_128_2_u.10FAIL900.86
ncf_4_16_8_euad.10FAIL900.86
6qbf-5cnf-20var-160cl.3FAIL900.86
4qbf-5cnf-80var-320cl.4FAIL900.86
3qbf-5cnf-80var-320cl.6FAIL900.86
ncf_16_64_2_u.3FAIL900.86
ncf_4_16_8_d.5FAIL900.87
3qbf-5cnf-160var-1280cl.9FAIL900.87
ncf_16_64_4_d.3FAIL900.87
5qbf-5cnf-40var-320cl.8FAIL900.87
ncf_8_16_4_u.4FAIL900.87
ncf_4_32_2_u.7FAIL900.87
horn_400CNF1600_2aQBF_73FAIL900.87
ncf_8_64_8_u.2FAIL900.87
3qbf-5cnf-80var-320cl.9FAIL900.87
ncf_16_64_2_euad.1FAIL900.87
ncf_8_16_8_d.4FAIL900.87
5qbf-5cnf-80var-640cl.6FAIL900.87
ncf_16_32_4_u.8FAIL900.87
ncf_8_16_8_edau.10FAIL900.87
horn_400CNF1520_2aQBF_382FAIL900.87
ncf_16_128_4_edau.10FAIL900.87
horn_400CNF1520_2aQBF_995FAIL900.87
renHorn_400CNF1480_2aQBF_62FAIL900.87
horn_400CNF1200_2aQBF_539FAIL900.87
ncf_16_128_4_d.7FAIL900.87
ncf_4_32_8_edau.10FAIL900.87
horn_400CNF1680_2aQBF_745FAIL900.87
ncf_16_32_2_euad.3FAIL900.87
ncf_16_128_4_euad.1FAIL900.87
6qbf-5cnf-160var-1280cl.7FAIL900.87
4qbf-5cnf-40var-160cl.0FAIL900.87
2qbf-5cnf-160var-320cl.4FAIL900.87
ncf_4_32_2_u.9FAIL900.87
ncf_16_128_4_edau.8FAIL900.87
horn_400CNF1440_2aQBF_117FAIL900.87
renHorn_400CNF2120_2aQBF_84FAIL900.87
renHorn_400CNF2120_2aQBF_88FAIL900.87
horn_400CNF1680_2aQBF_695FAIL900.87
5qbf-5cnf-40var-320cl.7FAIL900.87
renHorn_400CNF2040_2aQBF_59FAIL900.87
ncf_16_64_8_d.2FAIL900.87
4qbf-5cnf-160var-640cl.2FAIL900.87
renHorn_400CNF1800_2aQBF_20FAIL900.87
renHorn_400CNF1960_2aQBF_79FAIL900.87
4qbf-5cnf-40var-320cl.5FAIL900.87
ncf_16_128_8_d.1FAIL900.87
horn_400CNF1760_2aQBF_846FAIL900.87
ncf_16_64_4_euad.5FAIL900.88
renHorn_400CNF2120_2aQBF_52FAIL900.88
ncf_16_128_2_euad.9FAIL900.88
horn_400CNF1600_2aQBF_331FAIL900.88
horn_400CNF1280_2aQBF_755FAIL900.88
horn_400CNF1760_2aQBF_484FAIL900.88
2qbf-5cnf-160var-320cl.8FAIL900.88
renHorn_400CNF2200_2aQBF_22FAIL900.88
4qbf-5cnf-20var-160cl.6FAIL900.88
ncf_16_32_2_edau.4FAIL900.88
uclid-pipe2FAIL900.88
renHorn_400CNF2040_2aQBF_100FAIL900.88
horn_400CNF1600_2aQBF_278FAIL900.88
ncf_16_128_2_d.3FAIL900.88
ncf_16_32_8_u.10FAIL900.88
horn_400CNF2320_2aQBF_797FAIL900.88
horn_400CNF1440_2aQBF_642FAIL900.88
renHorn_400CNF2360_2aQBF_9FAIL900.88
ncf_16_64_8_d.5FAIL900.88
renHorn_400CNF1960_2aQBF_35FAIL900.88
3qbf-5cnf-160var-1280cl.8FAIL900.88
ncf_16_32_2_euad.4FAIL900.88
ncf_16_128_4_u.1FAIL900.88
horn_400CNF2080_2aQBF_194FAIL900.88
horn_400CNF2320_2aQBF_137FAIL900.88
5qbf-5cnf-160var-1280cl.7FAIL900.88
4qbf-5cnf-160var-640cl.5FAIL900.88
ncf_16_128_2_d.8FAIL900.88
3qbf-5cnf-80var-320cl.8FAIL900.88
ncf_16_32_4_euad.7FAIL900.88
5qbf-5cnf-160var-1280cl.9FAIL900.88
horn_400CNF1360_2aQBF_565FAIL900.88
ncf_16_128_4_u.7FAIL900.88
renHorn_400CNF1640_2aQBF_18FAIL900.88
horn_400CNF2160_2aQBF_427FAIL900.88
ncf_4_16_8_d.1FAIL900.88
renHorn_400CNF2120_2aQBF_63FAIL900.88
ncf_16_32_8_d.10FAIL900.88
horn_400CNF2320_2aQBF_832FAIL900.88
ncf_8_32_2_euad.6FAIL900.88
6qbf-5cnf-20var-160cl.7FAIL900.88
horn_400CNF1760_2aQBF_997FAIL900.88
horn_400CNF1440_2aQBF_737FAIL900.88
2qbf-5cnf-40var-160cl.5FAIL900.89
3qbf-5cnf-80var-640cl.3FAIL900.89
ncf_16_128_2_u.2FAIL900.89
2qbf-5cnf-40var-160cl.9FAIL900.89
horn_400CNF2000_2aQBF_987FAIL900.89
2qbf-5cnf-160var-320cl.0FAIL900.89
3qbf-5cnf-80var-640cl.6FAIL900.89
horn_400CNF1360_2aQBF_788FAIL900.89
ncf_16_128_2_u.1FAIL900.89
ncf_16_32_8_d.9FAIL900.89
ncf_16_128_4_edau.4FAIL900.89
ncf_4_32_8_edau.9FAIL900.89
ncf_8_32_4_u.9FAIL900.89
ncf_16_32_2_edau.2FAIL900.89
ncf_16_64_4_d.5FAIL900.89
horn_400CNF1440_2aQBF_925FAIL900.89
adder-12-satFAIL900.89
ncf_16_128_4_euad.4FAIL900.89
ncf_16_64_4_d.8FAIL900.89
ncf_4_32_8_u.6FAIL900.89
ncf_16_128_2_euad.8FAIL900.89
horn_400CNF1600_2aQBF_514FAIL900.89
horn_400CNF2160_2aQBF_308FAIL900.89
ncf_8_32_2_d.3FAIL900.89
horn_400CNF1760_2aQBF_979FAIL900.89
horn_400CNF1840_2aQBF_329FAIL900.89
ncf_4_32_4_u.10FAIL900.89
4qbf-5cnf-80var-320cl.9FAIL900.9
adder-14-satFAIL900.9
renHorn_400CNF1720_2aQBF_92FAIL900.9
horn_400CNF1600_2aQBF_103FAIL900.9
ncf_16_64_2_euad.7FAIL900.9
ncf_16_128_2_d.10FAIL900.9
ncf_16_128_2_edau.2FAIL900.9
renHorn_400CNF1280_2aQBF_7FAIL900.9
renHorn_400CNF1560_2aQBF_47FAIL900.9
ncf_16_32_4_euad.9FAIL900.9
ncf_4_32_4_d.4FAIL900.9
renHorn_400CNF1640_2aQBF_79FAIL900.9
ncf_16_32_4_euad.6FAIL900.9
horn_400CNF2080_2aQBF_322FAIL900.9
horn_400CNF2160_2aQBF_92FAIL900.9
renHorn_400CNF2120_2aQBF_10FAIL900.9
6qbf-5cnf-160var-1280cl.9FAIL900.9
horn_400CNF1840_2aQBF_158FAIL900.9
ncf_8_16_8_euad.6FAIL900.9
ncf_16_64_4_d.4FAIL900.9
renHorn_400CNF1640_2aQBF_42FAIL900.9
horn_400CNF1840_2aQBF_198FAIL900.9
4qbf-5cnf-80var-320cl.8FAIL900.9
ncf_16_128_2_euad.1FAIL900.9
6qbf-5cnf-80var-640cl.4FAIL900.9
ncf_16_128_2_edau.5FAIL900.9
ncf_16_128_2_edau.8FAIL900.9
renHorn_400CNF2120_2aQBF_19FAIL900.9
ncf_16_32_4_euad.8FAIL900.9
5qbf-5cnf-80var-640cl.8FAIL900.9
renHorn_400CNF1880_2aQBF_19FAIL900.9
horn_400CNF2160_2aQBF_692FAIL900.9
renHorn_400CNF1480_2aQBF_92FAIL900.9
3qbf-5cnf-80var-320cl.5FAIL900.9
5qbf-5cnf-160var-1280cl.5FAIL900.9
2qbf-5cnf-80var-640cl.3FAIL900.9
horn_400CNF1920_2aQBF_534FAIL900.9
ncf_16_64_2_d.7FAIL900.91
renHorn_400CNF1880_2aQBF_81FAIL900.91
6qbf-5cnf-40var-320cl.7FAIL900.91
2qbf-5cnf-80var-160cl.7FAIL900.91
3qbf-5cnf-160var-1280cl.4FAIL900.91
renHorn_400CNF1360_2aQBF_96FAIL900.91
3qbf-5cnf-40var-320cl.8FAIL900.91
3qbf-5cnf-160var-640cl.0FAIL900.91
ncf_16_32_8_u.4FAIL900.91
horn_400CNF1760_2aQBF_886FAIL900.91
horn_400CNF2000_2aQBF_456FAIL900.91
renHorn_400CNF2120_2aQBF_37FAIL900.91
5qbf-5cnf-80var-640cl.9FAIL900.91
2qbf-5cnf-160var-320cl.3FAIL900.91
ncf_16_128_4_euad.2FAIL900.91
ncf_8_16_8_d.8FAIL900.91
horn_400CNF1600_2aQBF_26FAIL900.91
ncf_16_32_8_u.2FAIL900.91
4qbf-5cnf-80var-320cl.3FAIL900.91
ncf_16_32_4_edau.4FAIL900.91
ncf_16_32_2_d.3FAIL900.91
ncf_4_32_4_d.10FAIL900.91
horn_400CNF1760_2aQBF_614FAIL900.91
6qbf-5cnf-40var-320cl.1FAIL900.91
3qbf-5cnf-80var-640cl.5FAIL900.91
ncf_16_32_8_d.4FAIL900.91
horn_400CNF1520_2aQBF_702FAIL900.91
renHorn_400CNF1560_2aQBF_72FAIL900.91
ncf_16_64_8_u.7FAIL900.92
4qbf-5cnf-160var-640cl.4FAIL900.92
horn_400CNF1680_2aQBF_698FAIL900.92
ncf_16_64_8_u.10FAIL900.92
horn_400CNF1760_2aQBF_726FAIL900.92
horn_400CNF1840_2aQBF_401FAIL900.92
horn_400CNF1840_2aQBF_555FAIL900.92
horn_400CNF2160_2aQBF_996FAIL900.92
horn_400CNF2160_2aQBF_976FAIL900.92
ncf_16_32_8_edau.1FAIL900.92
6qbf-5cnf-40var-320cl.2FAIL900.92
renHorn_400CNF1200_2aQBF_97FAIL900.92
horn_400CNF1520_2aQBF_98FAIL900.92
horn_400CNF1920_2aQBF_890FAIL900.92
2qbf-5cnf-160var-320cl.9FAIL900.92
ncf_8_32_4_u.6FAIL900.92
ncf_8_16_4_euad.9FAIL900.92
ncf_8_16_8_d.9FAIL900.92
horn_400CNF2000_2aQBF_577FAIL900.92
horn_400CNF1920_2aQBF_970FAIL900.92
3qbf-5cnf-160var-1280cl.2FAIL900.92
5qbf-5cnf-160var-1280cl.2FAIL900.92
ncf_16_64_8_u.2FAIL900.92
4qbf-5cnf-160var-640cl.6FAIL900.92
3qbf-5cnf-80var-640cl.2FAIL900.92
6qbf-5cnf-160var-1280cl.1FAIL900.92
ncf_16_32_8_u.8FAIL900.92
renHorn_400CNF2120_2aQBF_31FAIL900.92
horn_400CNF1920_2aQBF_927FAIL900.92
horn_400CNF1680_2aQBF_286FAIL900.92
horn_400CNF2080_2aQBF_176FAIL900.92
renHorn_400CNF1720_2aQBF_71FAIL900.92
6qbf-5cnf-40var-320cl.3FAIL900.92
4qbf-5cnf-160var-640cl.8FAIL900.92
horn_400CNF2320_2aQBF_433FAIL900.92
ncf_8_16_8_d.1FAIL900.92
3qbf-5cnf-160var-640cl.4FAIL900.92
horn_400CNF2080_2aQBF_682FAIL900.92
ncf_16_32_2_u.5FAIL900.93
ncf_16_64_8_u.1FAIL900.93
2qbf-5cnf-160var-320cl.2FAIL900.93
5qbf-5cnf-80var-640cl.5FAIL900.93
renHorn_400CNF2360_2aQBF_58FAIL900.93
3qbf-5cnf-160var-1280cl.1FAIL900.93
6qbf-5cnf-80var-640cl.5FAIL900.93
renHorn_400CNF1960_2aQBF_41FAIL900.93
renHorn_400CNF1560_2aQBF_96FAIL900.93
horn_400CNF1680_2aQBF_950FAIL900.93
6qbf-5cnf-80var-640cl.1FAIL900.93
4qbf-5cnf-160var-640cl.0FAIL900.93
horn_400CNF2000_2aQBF_878FAIL900.93
horn_400CNF2080_2aQBF_840FAIL900.93
horn_400CNF1840_2aQBF_547FAIL900.93
ncf_16_64_4_euad.1FAIL900.93
ncf_16_32_8_euad.2FAIL900.93
horn_400CNF1680_2aQBF_482FAIL900.93
ncf_8_32_4_d.3FAIL900.93
6qbf-5cnf-80var-640cl.6FAIL900.93
horn_400CNF2080_2aQBF_832FAIL900.93
ncf_16_128_2_u.7FAIL900.93
renHorn_400CNF2120_2aQBF_21FAIL900.93
horn_400CNF1840_2aQBF_323FAIL900.93
horn_400CNF1920_2aQBF_597FAIL900.93
horn_400CNF1920_2aQBF_952FAIL900.93
horn_400CNF2320_2aQBF_80FAIL900.93
horn_400CNF1280_2aQBF_841FAIL900.93
horn_400CNF1760_2aQBF_93FAIL900.93
6qbf-5cnf-20var-160cl.6FAIL900.93
horn_400CNF1680_2aQBF_503FAIL900.93
5qbf-5cnf-80var-640cl.7FAIL900.94
ncf_16_128_2_euad.7FAIL900.94
ncf_16_128_2_d.5FAIL900.94
horn_400CNF1360_2aQBF_894FAIL900.94
renHorn_400CNF2280_2aQBF_95FAIL900.94
ncf_16_64_2_edau.7FAIL900.94
renHorn_400CNF1400_2aQBF_80FAIL900.94
renHorn_400CNF2360_2aQBF_88FAIL900.94
horn_400CNF1600_2aQBF_748FAIL900.94
renHorn_400CNF1360_2aQBF_22FAIL900.94
horn_400CNF1440_2aQBF_553FAIL900.94
5qbf-5cnf-80var-640cl.4FAIL900.94
horn_400CNF2000_2aQBF_650FAIL900.94
3qbf-5cnf-80var-320cl.3FAIL900.94
6qbf-5cnf-80var-640cl.9FAIL900.94
3qbf-5cnf-160var-640cl.8FAIL900.94
ncf_16_64_4_u.10FAIL900.94
horn_400CNF1680_2aQBF_29FAIL900.94
horn_400CNF1920_2aQBF_647FAIL900.94
horn_400CNF1920_2aQBF_704FAIL900.94
horn_400CNF2160_2aQBF_588FAIL900.94
horn_400CNF1840_2aQBF_32FAIL900.94
renHorn_400CNF2280_2aQBF_13FAIL900.94
horn_400CNF1600_2aQBF_912FAIL900.94
horn_400CNF1760_2aQBF_996FAIL900.94
ncf_16_64_4_euad.3FAIL900.94
3qbf-5cnf-80var-320cl.1FAIL900.95
ncf_16_64_4_edau.7FAIL900.95
ncf_16_64_8_edau.10FAIL900.95
ncf_16_32_4_u.5FAIL900.95
horn_400CNF2160_2aQBF_701FAIL900.95
horn_400CNF2080_2aQBF_899FAIL900.95
4qbf-5cnf-80var-320cl.7FAIL900.95
renHorn_400CNF2280_2aQBF_4FAIL900.95
2qbf-5cnf-160var-320cl.7FAIL900.95
ncf_8_16_8_u.8FAIL900.95
horn_400CNF1520_2aQBF_760FAIL900.95
renHorn_400CNF1800_2aQBF_5FAIL900.95
ncf_16_128_4_euad.5FAIL900.95
6qbf-5cnf-160var-1280cl.6FAIL900.95
5qbf-5cnf-160var-1280cl.3FAIL900.95
ncf_4_8_8_d.7FAIL900.95
3qbf-5cnf-160var-640cl.7FAIL900.95
renHorn_400CNF1280_2aQBF_62FAIL900.95
horn_400CNF1680_2aQBF_91FAIL900.95
horn_400CNF1840_2aQBF_514FAIL900.95
renHorn_400CNF2200_2aQBF_79FAIL900.95
3qbf-5cnf-160var-1280cl.6FAIL900.95
renHorn_400CNF1280_2aQBF_3FAIL900.96
renHorn_400CNF1640_2aQBF_87FAIL900.96
horn_400CNF1440_2aQBF_676FAIL900.96
horn_400CNF2000_2aQBF_104FAIL900.96
ncf_8_16_8_euad.8FAIL900.96
horn_400CNF2000_2aQBF_787FAIL900.96
5qbf-5cnf-80var-640cl.2FAIL900.96
6qbf-5cnf-160var-1280cl.3FAIL900.96
renHorn_400CNF1640_2aQBF_7FAIL900.96
3qbf-5cnf-160var-640cl.1FAIL900.96
horn_400CNF1440_2aQBF_967FAIL900.97
ncf_16_64_8_euad.3FAIL900.97
ncf_16_64_4_edau.8FAIL900.97
renHorn_400CNF1720_2aQBF_79FAIL900.97
horn_400CNF1920_2aQBF_314FAIL900.97
horn_400CNF1920_2aQBF_721FAIL900.97
6qbf-5cnf-160var-1280cl.0FAIL900.97
horn_400CNF1680_2aQBF_589FAIL900.98
renHorn_400CNF2040_2aQBF_11FAIL900.98
renHorn_400CNF2200_2aQBF_48FAIL900.98
5qbf-5cnf-160var-1280cl.1FAIL900.98
horn_400CNF1760_2aQBF_686FAIL900.98
renHorn_400CNF1200_2aQBF_85FAIL900.99
renHorn_400CNF2280_2aQBF_67FAIL900.99
renHorn_400CNF1800_2aQBF_7FAIL900.99
4qbf-5cnf-160var-640cl.3FAIL900.99
ncf_16_64_8_edau.2FAIL900.99
renHorn_400CNF1480_2aQBF_99FAIL901
horn_400CNF1360_2aQBF_310FAIL901
2qbf-5cnf-160var-320cl.6FAIL901
horn_400CNF2160_2aQBF_407FAIL901.01
5qbf-5cnf-160var-1280cl.0FAIL901.01