Instances solved by semprop
QBFEVAL'05

InstanceResultTime
6qbf-5cnf-80var-2560cl.9UNSAT0
ncf_8_16_2_edau.8UNSAT0
3qbf-5cnf-20var-160cl.9SAT0
3qbf-5cnf-80var-2560cl.9UNSAT0
flipflop-3-cUNSAT0
5qbf-5cnf-80var-640cl.7SAT0
ncf_4_8_2_euad.8SAT0
3qbf-5cnf-40var-160cl.7SAT0
2qbf-5cnf-80var-2560cl.3UNSAT0
6qbf-5cnf-20var-40cl.3SAT0
ncf_4_8_2_edau.10SAT0
2qbf-5cnf-20var-640cl.0UNSAT0
impl10SAT0
5qbf-5cnf-40var-1280cl.0UNSAT0
6qbf-5cnf-20var-40cl.0SAT0
tree-exa10-30SAT0
3qbf-5cnf-160var-320cl.0SAT0
5qbf-5cnf-20var-40cl.0SAT0
4qbf-5cnf-20var-80cl.4SAT0
3qbf-5cnf-80var-160cl.2SAT0
5qbf-5cnf-80var-160cl.7SAT0
2qbf-5cnf-20var-320cl.0UNSAT0
tree-exa2-45UNSAT0
ncf_4_8_2_u.1UNSAT0
6qbf-5cnf-80var-160cl.4SAT0
3qbf-5cnf-40var-160cl.5SAT0
6qbf-5cnf-40var-80cl.3SAT0
6qbf-5cnf-20var-40cl.9SAT0
4qbf-5cnf-20var-80cl.5SAT0
5qbf-5cnf-40var-80cl.8SAT0
6qbf-5cnf-20var-640cl.4UNSAT0
ncf_4_8_4_euad.9SAT0
ncf_4_16_2_d.6SAT0
2qbf-5cnf-20var-40cl.2SAT0
5qbf-5cnf-40var-320cl.1SAT0
3qbf-5cnf-80var-160cl.1SAT0
lut4_3_fANDFAIL0
5qbf-5cnf-160var-640cl.3SAT0
5qbf-5cnf-20var-80cl.4SAT0
5qbf-5cnf-160var-640cl.1SAT0
4qbf-5cnf-80var-160cl.6SAT0
5qbf-5cnf-20var-80cl.2SAT0
4qbf-5cnf-20var-40cl.5SAT0
5qbf-5cnf-40var-160cl.7SAT0
3qbf-5cnf-40var-80cl.9SAT0
6qbf-5cnf-20var-640cl.0UNSAT0
6qbf-5cnf-80var-160cl.2SAT0
ncf_4_8_2_euad.4UNSAT0
5qbf-5cnf-20var-160cl.8SAT0
ncf_16_64_2_u.1SAT0
counter_re_2SAT0
6qbf-5cnf-40var-160cl.5SAT0
tree-exa10-15SAT0
z4ml.blif_0.10_1.00_0_1_out_exactSAT0
ncf_4_8_2_d.9SAT0
3qbf-5cnf-80var-160cl.7SAT0
toilet_c_08_01.4UNSAT0
6qbf-5cnf-160var-320cl.5SAT0
k_ph_n-4SAT0
5qbf-5cnf-20var-80cl.9SAT0
4qbf-5cnf-160var-320cl.1SAT0
6qbf-5cnf-80var-160cl.3SAT0
5qbf-5cnf-40var-640cl.1UNSAT0
3qbf-5cnf-20var-640cl.2UNSAT0
4qbf-5cnf-20var-640cl.8UNSAT0
6qbf-5cnf-40var-640cl.5UNSAT0
6qbf-5cnf-80var-320cl.6SAT0
3qbf-5cnf-20var-640cl.6UNSAT0
6qbf-5cnf-20var-80cl.0SAT0
qshifter_3SAT0
4qbf-5cnf-20var-40cl.8SAT0
ncf_16_32_2_u.9UNSAT0
ncf_4_8_2_d.1UNSAT0
ncf_16_32_2_u.6SAT0
impl12SAT0
tree-exa2-25UNSAT0
6qbf-5cnf-20var-40cl.6SAT0
2qbf-5cnf-20var-320cl.4UNSAT0
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0
3qbf-5cnf-40var-160cl.9SAT0
4qbf-5cnf-160var-320cl.0SAT0
4qbf-5cnf-160var-320cl.3SAT0
impl18SAT0
ncf_8_16_4_euad.5UNSAT0
5qbf-5cnf-20var-640cl.1UNSAT0
4qbf-5cnf-80var-160cl.3SAT0
5qbf-5cnf-20var-40cl.7SAT0
2qbf-5cnf-20var-40cl.1SAT0
impl04SAT0
3qbf-5cnf-20var-80cl.0SAT0
5qbf-5cnf-40var-80cl.5SAT0
4qbf-5cnf-20var-40cl.2SAT0
5qbf-5cnf-80var-320cl.9SAT0
ncf_8_16_4_edau.5UNSAT0
3qbf-5cnf-40var-1280cl.8UNSAT0
5qbf-5cnf-40var-80cl.0SAT0
3qbf-5cnf-160var-320cl.5SAT0
6qbf-5cnf-20var-40cl.7SAT0
6qbf-5cnf-40var-1280cl.6UNSAT0
2qbf-5cnf-20var-640cl.6UNSAT0
4qbf-5cnf-20var-640cl.1UNSAT0
4qbf-5cnf-20var-320cl.8UNSAT0
3qbf-5cnf-80var-160cl.4SAT0
3qbf-5cnf-20var-80cl.1SAT0
ncf_4_8_2_u.9SAT0
tree-exa2-10UNSAT0
3qbf-5cnf-20var-80cl.9SAT0
4qbf-5cnf-40var-640cl.5UNSAT0
6qbf-5cnf-20var-80cl.7SAT0
counter_r_2SAT0
5qbf-5cnf-80var-2560cl.1UNSAT0
5qbf-5cnf-80var-320cl.5SAT0
5qbf-5cnf-40var-160cl.3SAT0
ncf_8_16_2_u.8UNSAT0
2qbf-5cnf-40var-80cl.5SAT0
3qbf-5cnf-40var-80cl.7SAT0
5qbf-5cnf-40var-80cl.4SAT0
6qbf-5cnf-20var-320cl.6UNSAT0
5qbf-5cnf-160var-640cl.9SAT0
5qbf-5cnf-40var-80cl.2SAT0
2qbf-5cnf-20var-640cl.9UNSAT0
4qbf-5cnf-40var-640cl.4UNSAT0
ncf_4_8_2_d.5SAT0
4qbf-5cnf-20var-640cl.5UNSAT0
5qbf-5cnf-20var-160cl.4SAT0
tree-exa2-15UNSAT0
5qbf-5cnf-80var-160cl.1SAT0
4qbf-5cnf-20var-320cl.4UNSAT0
6qbf-5cnf-40var-1280cl.3UNSAT0
4qbf-5cnf-20var-80cl.9SAT0
4qbf-5cnf-20var-640cl.6UNSAT0
5qbf-5cnf-20var-160cl.3SAT0
2qbf-5cnf-20var-320cl.3UNSAT0
2qbf-5cnf-80var-1280cl.0UNSAT0
4qbf-5cnf-20var-320cl.1UNSAT0
5qbf-5cnf-20var-160cl.7SAT0
comp.blif_0.10_1.00_0_1_out_exactSAT0
4qbf-5cnf-20var-40cl.0SAT0
5qbf-5cnf-40var-320cl.2SAT0
ncf_4_8_2_edau.4UNSAT0
5qbf-5cnf-20var-40cl.2SAT0
5qbf-5cnf-20var-640cl.0UNSAT0
6qbf-5cnf-20var-80cl.8SAT0
ncf_4_8_2_u.4UNSAT0
2qbf-5cnf-40var-1280cl.8UNSAT0
3qbf-5cnf-40var-160cl.8SAT0
3qbf-5cnf-20var-80cl.7SAT0
ncf_8_16_4_edau.1SAT0
2qbf-5cnf-20var-320cl.2UNSAT0
3qbf-5cnf-20var-640cl.3UNSAT0
5qbf-5cnf-40var-160cl.4SAT0
5qbf-5cnf-20var-640cl.3UNSAT0
6qbf-5cnf-20var-40cl.8SAT0
ncf_8_16_2_edau.7SAT0
mutex-2-sSAT0
5qbf-5cnf-40var-80cl.7SAT0
6qbf-5cnf-40var-80cl.2SAT0
tree-exa10-10SAT0
3qbf-5cnf-40var-640cl.9UNSAT0
ncf_4_16_2_u.6SAT0
5qbf-5cnf-80var-160cl.5SAT0
6qbf-5cnf-20var-640cl.1UNSAT0
6qbf-5cnf-20var-80cl.4SAT0
z4ml.blif_0.10_0.20_0_1_out_exactSAT0
3qbf-5cnf-20var-320cl.1UNSAT0
2qbf-5cnf-20var-40cl.9SAT0
5qbf-5cnf-160var-320cl.3SAT0
6qbf-5cnf-20var-640cl.6UNSAT0
tree-exa2-40UNSAT0
5qbf-5cnf-160var-640cl.6SAT0
ncf_4_16_2_edau.9SAT0
4qbf-5cnf-20var-80cl.6SAT0
3qbf-5cnf-80var-320cl.3SAT0
s641_d6_sFAIL0
3qbf-5cnf-20var-40cl.8SAT0
6qbf-5cnf-160var-640cl.8SAT0
6qbf-5cnf-20var-640cl.8UNSAT0
6qbf-5cnf-40var-160cl.3SAT0
6qbf-5cnf-80var-320cl.4SAT0
3qbf-5cnf-80var-160cl.6SAT0
3qbf-5cnf-20var-640cl.7UNSAT0
6qbf-5cnf-20var-320cl.3UNSAT0
3qbf-5cnf-20var-80cl.2SAT0
3qbf-5cnf-160var-320cl.9SAT0
6qbf-5cnf-20var-80cl.6SAT0
4qbf-5cnf-40var-640cl.3UNSAT0
4qbf-5cnf-40var-80cl.5SAT0
3qbf-5cnf-160var-320cl.2SAT0
ncf_16_32_2_euad.9UNSAT0
6qbf-5cnf-40var-80cl.4SAT0
4qbf-5cnf-20var-40cl.6SAT0
ncf_4_16_2_d.9SAT0
ncf_8_16_4_u.1SAT0
4qbf-5cnf-20var-320cl.6UNSAT0
5qbf-5cnf-20var-80cl.0SAT0
ncf_8_16_2_u.7SAT0
5qbf-5cnf-160var-640cl.2SAT0
5qbf-5cnf-20var-80cl.3SAT0
4qbf-5cnf-20var-640cl.9UNSAT0
4qbf-5cnf-80var-160cl.5SAT0
5qbf-5cnf-160var-640cl.0SAT0
s27_d2_sSAT0
2qbf-5cnf-20var-320cl.5UNSAT0
4qbf-5cnf-40var-80cl.8SAT0
5qbf-5cnf-20var-80cl.5SAT0
2qbf-5cnf-20var-640cl.4UNSAT0
4qbf-5cnf-20var-40cl.1SAT0
2qbf-5cnf-40var-640cl.5UNSAT0
4qbf-5cnf-160var-320cl.4SAT0
3qbf-5cnf-20var-160cl.5SAT0
6qbf-5cnf-40var-80cl.7SAT0
3qbf-5cnf-80var-160cl.3SAT0
ncf_4_8_2_edau.5SAT0
2qbf-5cnf-40var-1280cl.0UNSAT0
5qbf-5cnf-160var-320cl.2SAT0
3qbf-5cnf-20var-40cl.7SAT0
5qbf-5cnf-20var-160cl.0SAT0
2qbf-5cnf-40var-640cl.6UNSAT0
5qbf-5cnf-80var-160cl.0SAT0
3qbf-5cnf-40var-160cl.3SAT0
5qbf-5cnf-20var-320cl.7UNSAT0
5qbf-5cnf-80var-160cl.2SAT0
6qbf-5cnf-160var-640cl.6SAT0
ncf_4_8_2_u.5SAT0
3qbf-5cnf-20var-40cl.9SAT0
6qbf-5cnf-40var-160cl.4SAT0
6qbf-5cnf-160var-640cl.7SAT0
3qbf-5cnf-20var-160cl.1SAT0
6qbf-5cnf-80var-160cl.9SAT0
4qbf-5cnf-40var-80cl.2SAT0
ncf_8_16_2_d.3UNSAT0
2qbf-5cnf-20var-40cl.7SAT0
3qbf-5cnf-20var-40cl.3SAT0
3qbf-5cnf-160var-640cl.7SAT0
4qbf-5cnf-20var-40cl.9SAT0
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0
5qbf-5cnf-80var-640cl.3SAT0
ncf_4_8_8_euad.9UNSAT0
6qbf-5cnf-40var-80cl.0SAT0
3qbf-5cnf-40var-80cl.4SAT0
5qbf-5cnf-40var-160cl.6SAT0
6qbf-5cnf-40var-1280cl.2UNSAT0
4qbf-5cnf-20var-40cl.4SAT0
2qbf-5cnf-40var-1280cl.9UNSAT0
4qbf-5cnf-160var-320cl.6SAT0
5qbf-5cnf-20var-80cl.6SAT0
3qbf-5cnf-20var-40cl.6SAT0
ncf_16_32_2_d.9UNSAT0
6qbf-5cnf-160var-320cl.3SAT0
2qbf-5cnf-20var-160cl.2UNSAT0
4qbf-5cnf-80var-160cl.8SAT0
6qbf-5cnf-40var-80cl.8SAT0
6qbf-5cnf-40var-80cl.5SAT0
5qbf-5cnf-20var-320cl.4UNSAT0
2qbf-5cnf-80var-2560cl.1UNSAT0
4qbf-5cnf-80var-160cl.2SAT0
impl02SAT0
3qbf-5cnf-20var-80cl.3SAT0
2qbf-5cnf-40var-1280cl.1UNSAT0
3qbf-5cnf-80var-320cl.2SAT0
2qbf-5cnf-20var-40cl.5SAT0
6qbf-5cnf-160var-320cl.2SAT0
3qbf-5cnf-160var-320cl.4SAT0
6qbf-5cnf-40var-1280cl.4UNSAT0
2qbf-5cnf-20var-320cl.1UNSAT0
3qbf-5cnf-20var-640cl.5UNSAT0
3qbf-5cnf-40var-80cl.6SAT0
ncf_8_16_2_euad.2UNSAT0
3qbf-5cnf-40var-80cl.0SAT0
6qbf-5cnf-80var-160cl.5SAT0
3qbf-5cnf-40var-160cl.4SAT0
3qbf-5cnf-20var-320cl.7UNSAT0
4qbf-5cnf-40var-80cl.9SAT0
ncf_4_8_2_euad.5SAT0
5qbf-5cnf-160var-320cl.7SAT0
6qbf-5cnf-20var-80cl.3SAT0
6qbf-5cnf-20var-80cl.1SAT0
3qbf-5cnf-40var-80cl.5SAT0
6qbf-5cnf-160var-320cl.0SAT0
2qbf-5cnf-20var-160cl.4UNSAT0
4qbf-5cnf-20var-320cl.7UNSAT0
2qbf-5cnf-20var-40cl.8SAT0
4qbf-5cnf-20var-80cl.2SAT0
5qbf-5cnf-20var-160cl.9SAT0
5qbf-5cnf-40var-320cl.7SAT0
2qbf-5cnf-40var-640cl.0UNSAT0
4qbf-5cnf-40var-640cl.6UNSAT0
3qbf-5cnf-20var-160cl.8SAT0
3qbf-5cnf-20var-40cl.1SAT0
3qbf-5cnf-160var-320cl.7SAT0
ncf_4_8_8_d.9UNSAT0
6qbf-5cnf-80var-320cl.5SAT0
3qbf-5cnf-160var-640cl.2SAT0
ncf_8_16_4_euad.2UNSAT0
2qbf-5cnf-40var-80cl.8SAT0
5qbf-5cnf-40var-320cl.3SAT0
ncf_8_16_2_euad.8UNSAT0
z4ml.blif_0.10_1.00_0_1_inp_exactSAT0
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT0
5qbf-5cnf-160var-320cl.1SAT0
2qbf-5cnf-40var-1280cl.5UNSAT0
4qbf-5cnf-20var-640cl.3UNSAT0
3qbf-5cnf-20var-160cl.2SAT0
6qbf-5cnf-20var-40cl.5SAT0
3qbf-5cnf-80var-320cl.6SAT0
3qbf-5cnf-160var-320cl.6SAT0
6qbf-5cnf-80var-160cl.6SAT0
toilet_c_08_01.2UNSAT0
4qbf-5cnf-20var-80cl.3SAT0
5qbf-5cnf-20var-160cl.5SAT0
4qbf-5cnf-40var-80cl.6SAT0
5qbf-5cnf-40var-320cl.0SAT0
tree-exa10-20SAT0
3qbf-5cnf-80var-160cl.5SAT0
impl14SAT0
ncf_4_8_2_euad.10SAT0
5qbf-5cnf-40var-160cl.9SAT0
5qbf-5cnf-160var-320cl.9SAT0
ncf_4_8_2_u.2SAT0
6qbf-5cnf-160var-320cl.7SAT0
2qbf-5cnf-20var-160cl.6UNSAT0
ncf_4_8_4_edau.9SAT0
6qbf-5cnf-160var-320cl.1SAT0
5qbf-5cnf-20var-640cl.4UNSAT0
5qbf-5cnf-20var-40cl.9SAT0
3qbf-5cnf-160var-320cl.3SAT0
3qbf-5cnf-20var-640cl.8UNSAT0
5qbf-5cnf-160var-320cl.6SAT0
3qbf-5cnf-20var-640cl.0UNSAT0
TOILET2.1.iv.3UNSAT0
3qbf-5cnf-80var-320cl.5SAT0
4qbf-5cnf-160var-320cl.9SAT0
2qbf-5cnf-40var-640cl.8UNSAT0
3qbf-5cnf-20var-80cl.4SAT0
2qbf-5cnf-40var-80cl.3SAT0
2qbf-5cnf-40var-320cl.9UNSAT0
6qbf-5cnf-160var-640cl.3SAT0
3qbf-5cnf-20var-40cl.5SAT0
2qbf-5cnf-80var-640cl.3UNSAT0
5qbf-5cnf-80var-320cl.8SAT0
2qbf-5cnf-40var-80cl.6SAT0
3qbf-5cnf-20var-640cl.4UNSAT0
5qbf-5cnf-40var-320cl.4SAT0
ncf_4_8_2_u.10SAT0
4qbf-5cnf-160var-320cl.7SAT0
1qbf-5cnf-40var-320cl.9SAT0
1qbf-5cnf-80var-320cl.6SAT0
1qbf-5cnf-20var-80cl.4SAT0
1qbf-5cnf-20var-80cl.8SAT0
1qbf-5cnf-20var-160cl.8SAT0
1qbf-5cnf-80var-320cl.8SAT0
1qbf-5cnf-40var-320cl.6SAT0
1qbf-5cnf-20var-320cl.1SAT0
1qbf-5cnf-40var-160cl.7SAT0
1qbf-5cnf-40var-160cl.3SAT0
1qbf-5cnf-80var-320cl.9SAT0
1qbf-5cnf-160var-640cl.2SAT0
1qbf-5cnf-20var-40cl.5SAT0
1qbf-5cnf-80var-320cl.7SAT0
1qbf-5cnf-160var-1280cl.2SAT0
6qbf-5cnf-20var-80cl.5SAT0
1qbf-5cnf-40var-160cl.9SAT0
1qbf-5cnf-40var-160cl.2SAT0
1qbf-5cnf-20var-80cl.5SAT0
1qbf-5cnf-20var-320cl.6SAT0
1qbf-5cnf-160var-320cl.2SAT0
1qbf-5cnf-20var-80cl.6SAT0
1qbf-5cnf-40var-80cl.8SAT0
1qbf-5cnf-20var-320cl.3SAT0
1qbf-5cnf-40var-640cl.3SAT0
1qbf-5cnf-160var-640cl.0SAT0
1qbf-5cnf-160var-320cl.7SAT0
1qbf-5cnf-160var-320cl.5SAT0
5qbf-5cnf-80var-160cl.3SAT0
1qbf-5cnf-20var-320cl.4SAT0
1qbf-5cnf-20var-40cl.3SAT0
1qbf-5cnf-20var-320cl.7SAT0
1qbf-5cnf-80var-320cl.3SAT0
1qbf-5cnf-160var-640cl.1SAT0
1qbf-5cnf-80var-160cl.4SAT0
1qbf-5cnf-80var-640cl.6SAT0
1qbf-5cnf-40var-320cl.0SAT0
1qbf-5cnf-20var-160cl.1SAT0
1qbf-5cnf-20var-160cl.3SAT0
1qbf-5cnf-80var-320cl.4SAT0
1qbf-5cnf-40var-160cl.5SAT0
1qbf-5cnf-80var-320cl.2SAT0
1qbf-5cnf-160var-640cl.8SAT0
1qbf-5cnf-40var-160cl.1SAT0
1qbf-5cnf-80var-640cl.9SAT0
1qbf-5cnf-20var-80cl.2SAT0
1qbf-5cnf-80var-640cl.0SAT0
1qbf-5cnf-160var-320cl.9SAT0
1qbf-5cnf-80var-160cl.0SAT0
1qbf-5cnf-20var-80cl.0SAT0
1qbf-5cnf-20var-80cl.3SAT0
1qbf-5cnf-20var-160cl.2SAT0
1qbf-5cnf-80var-640cl.4SAT0
1qbf-5cnf-80var-320cl.0SAT0
1qbf-5cnf-40var-640cl.8SAT0
1qbf-5cnf-80var-160cl.8SAT0
1qbf-5cnf-160var-320cl.6SAT0
1qbf-5cnf-160var-640cl.7SAT0
1qbf-5cnf-20var-40cl.9SAT0
1qbf-5cnf-80var-160cl.9SAT0
1qbf-5cnf-160var-1280cl.4SAT0
1qbf-5cnf-40var-160cl.6SAT0
1qbf-5cnf-40var-160cl.0SAT0
1qbf-5cnf-160var-640cl.9SAT0
1qbf-5cnf-20var-160cl.9SAT0
1qbf-5cnf-160var-1280cl.5SAT0
1qbf-5cnf-40var-80cl.2SAT0
1qbf-5cnf-80var-320cl.5SAT0
4qbf-5cnf-20var-40cl.3SAT0
1qbf-5cnf-20var-160cl.4SAT0
1qbf-5cnf-160var-320cl.1SAT0
1qbf-5cnf-40var-160cl.8SAT0
5qbf-5cnf-40var-80cl.1SAT0
1qbf-5cnf-20var-160cl.7SAT0
1qbf-5cnf-20var-40cl.4SAT0
1qbf-5cnf-20var-40cl.0SAT0
1qbf-5cnf-40var-640cl.9SAT0
1qbf-5cnf-40var-640cl.0SAT0
6qbf-5cnf-80var-160cl.7SAT0
1qbf-5cnf-40var-640cl.4SAT0
1qbf-5cnf-20var-80cl.1SAT0
1qbf-5cnf-80var-160cl.5SAT0
1qbf-5cnf-160var-320cl.4SAT0
1qbf-5cnf-20var-80cl.7SAT0
1qbf-5cnf-80var-640cl.7SAT0
3qbf-5cnf-40var-1280cl.5UNSAT0.01
ncf_8_16_4_d.1SAT0.01
counter_e_2SAT0.01
3qbf-5cnf-80var-320cl.1SAT0.01
ncf_4_8_2_edau.7UNSAT0.01
impl20SAT0.01
comp.blif_0.10_0.20_0_1_inp_exactSAT0.01
6qbf-5cnf-40var-640cl.9UNSAT0.01
4qbf-5cnf-20var-320cl.3UNSAT0.01
2qbf-5cnf-40var-80cl.7SAT0.01
5qbf-5cnf-80var-320cl.4SAT0.01
5qbf-5cnf-20var-320cl.1UNSAT0.01
ncf_8_16_2_u.9UNSAT0.01
2qbf-5cnf-40var-640cl.1UNSAT0.01
6qbf-5cnf-40var-1280cl.5UNSAT0.01
s641_d2_sFAIL0.01
4qbf-5cnf-80var-160cl.7SAT0.01
6qbf-5cnf-40var-160cl.7SAT0.01
k_dum_n-4SAT0.01
6qbf-5cnf-20var-640cl.3UNSAT0.01
4qbf-5cnf-20var-80cl.8SAT0.01
4qbf-5cnf-40var-640cl.1UNSAT0.01
2qbf-5cnf-160var-2560cl.9UNSAT0.01
ncf_4_8_2_u.7UNSAT0.01
6qbf-5cnf-80var-320cl.8SAT0.01
ncf_8_16_2_edau.5UNSAT0.01
5qbf-5cnf-80var-320cl.1SAT0.01
3qbf-5cnf-20var-320cl.9UNSAT0.01
6qbf-5cnf-80var-2560cl.5UNSAT0.01
3qbf-5cnf-40var-320cl.7SAT0.01
6qbf-5cnf-40var-160cl.6SAT0.01
6qbf-5cnf-80var-320cl.7SAT0.01
2qbf-5cnf-80var-2560cl.7UNSAT0.01
5qbf-5cnf-160var-640cl.8SAT0.01
4qbf-5cnf-80var-1280cl.7UNSAT0.01
6qbf-5cnf-20var-640cl.5UNSAT0.01
ncf_8_16_4_euad.1SAT0.01
3qbf-5cnf-20var-40cl.2SAT0.01
3qbf-5cnf-80var-160cl.9SAT0.01
5qbf-5cnf-40var-160cl.0SAT0.01
6qbf-5cnf-20var-640cl.7UNSAT0.01
6qbf-5cnf-160var-640cl.2SAT0.01
6qbf-5cnf-40var-640cl.4UNSAT0.01
comp.blif_0.10_1.00_0_0_inp_exactUNSAT0.01
3qbf-5cnf-160var-640cl.3SAT0.01
6qbf-5cnf-80var-320cl.1SAT0.01
2qbf-5cnf-40var-80cl.2SAT0.01
5qbf-5cnf-160var-320cl.5SAT0.01
impl16SAT0.01
2qbf-5cnf-20var-640cl.1UNSAT0.01
ncf_4_8_8_u.9UNSAT0.01
4qbf-5cnf-40var-1280cl.3UNSAT0.01
6qbf-5cnf-40var-160cl.1SAT0.01
6qbf-5cnf-20var-320cl.9UNSAT0.01
5qbf-5cnf-40var-160cl.1SAT0.01
6qbf-5cnf-40var-1280cl.0UNSAT0.01
2qbf-5cnf-160var-2560cl.5UNSAT0.01
ncf_4_8_2_d.10SAT0.01
3qbf-5cnf-80var-2560cl.6UNSAT0.01
5qbf-5cnf-40var-80cl.6SAT0.01
2qbf-5cnf-20var-160cl.5UNSAT0.01
5qbf-5cnf-20var-40cl.5SAT0.01
3qbf-5cnf-20var-640cl.9UNSAT0.01
4qbf-5cnf-160var-320cl.8SAT0.01
2qbf-5cnf-20var-160cl.0UNSAT0.01
ncf_4_8_2_euad.9SAT0.01
3qbf-5cnf-80var-320cl.9SAT0.01
tree-exa10-25SAT0.01
3qbf-5cnf-80var-320cl.7SAT0.01
4qbf-5cnf-40var-160cl.6SAT0.01
5qbf-5cnf-80var-2560cl.3UNSAT0.01
ncf_8_16_4_u.2UNSAT0.01
4qbf-5cnf-80var-2560cl.5UNSAT0.01
ncf_16_32_2_d.7UNSAT0.01
3qbf-5cnf-80var-160cl.0SAT0.01
2qbf-5cnf-20var-640cl.2UNSAT0.01
4qbf-5cnf-40var-1280cl.7UNSAT0.01
6qbf-5cnf-20var-320cl.8UNSAT0.01
ncf_8_16_2_d.5UNSAT0.01
5qbf-5cnf-20var-320cl.2UNSAT0.01
3qbf-5cnf-40var-160cl.0SAT0.01
3qbf-5cnf-40var-320cl.8SAT0.01
impl08SAT0.01
3qbf-5cnf-40var-1280cl.0UNSAT0.01
6qbf-5cnf-80var-2560cl.1UNSAT0.01
6qbf-5cnf-80var-320cl.2SAT0.01
3qbf-5cnf-40var-80cl.3SAT0.01
3qbf-5cnf-20var-160cl.0SAT0.01
2qbf-5cnf-20var-320cl.8UNSAT0.01
4qbf-5cnf-80var-2560cl.0UNSAT0.01
5qbf-5cnf-80var-320cl.6SAT0.01
3qbf-5cnf-40var-640cl.6UNSAT0.01
2qbf-5cnf-20var-40cl.0SAT0.01
2qbf-5cnf-160var-2560cl.2UNSAT0.01
ncf_8_16_2_d.9UNSAT0.01
5qbf-5cnf-40var-1280cl.9UNSAT0.01
counter_r_4SAT0.01
6qbf-5cnf-20var-320cl.7UNSAT0.01
ncf_4_8_4_u.6SAT0.01
3qbf-5cnf-80var-160cl.8SAT0.01
4qbf-5cnf-40var-80cl.0SAT0.01
ncf_4_8_2_euad.1UNSAT0.01
4qbf-5cnf-20var-640cl.4UNSAT0.01
4qbf-5cnf-40var-160cl.1SAT0.01
4qbf-5cnf-40var-1280cl.9UNSAT0.01
3qbf-5cnf-160var-640cl.0SAT0.01
5qbf-5cnf-160var-640cl.4SAT0.01
3qbf-5cnf-20var-40cl.4SAT0.01
3qbf-5cnf-20var-320cl.8UNSAT0.01
5qbf-5cnf-20var-640cl.8UNSAT0.01
2qbf-5cnf-20var-40cl.6SAT0.01
ncf_4_8_4_u.9SAT0.01
ncf_4_16_2_edau.6SAT0.01
6qbf-5cnf-80var-320cl.9SAT0.01
3qbf-5cnf-160var-320cl.1SAT0.01
6qbf-5cnf-40var-160cl.8SAT0.01
ncf_8_16_2_edau.3UNSAT0.01
lut4_XOR_f1SAT0.01
3qbf-5cnf-20var-320cl.0UNSAT0.01
2qbf-5cnf-80var-1280cl.7UNSAT0.01
4qbf-5cnf-40var-1280cl.6UNSAT0.01
5qbf-5cnf-80var-2560cl.6UNSAT0.01
3qbf-5cnf-40var-640cl.8UNSAT0.01
s641_d4_sFAIL0.01
5qbf-5cnf-40var-1280cl.6UNSAT0.01
4qbf-5cnf-20var-640cl.7UNSAT0.01
3qbf-5cnf-80var-2560cl.5UNSAT0.01
2qbf-5cnf-40var-640cl.9UNSAT0.01
ncf_4_8_4_edau.6SAT0.01
5qbf-5cnf-160var-320cl.8SAT0.01
3qbf-5cnf-80var-2560cl.7UNSAT0.01
2qbf-5cnf-80var-2560cl.9UNSAT0.01
4qbf-5cnf-40var-80cl.3SAT0.01
ncf_4_8_2_edau.9SAT0.01
5qbf-5cnf-20var-320cl.0UNSAT0.01
6qbf-5cnf-160var-320cl.9SAT0.01
ncf_8_16_2_d.2UNSAT0.01
3qbf-5cnf-20var-320cl.2UNSAT0.01
3qbf-5cnf-20var-80cl.5SAT0.01
4qbf-5cnf-20var-320cl.2UNSAT0.01
tree-exa2-20UNSAT0.01
6qbf-5cnf-160var-5120cl.6UNSAT0.01
3qbf-5cnf-20var-160cl.4SAT0.01
2qbf-5cnf-80var-1280cl.3UNSAT0.01
CHAIN18v.19SAT0.01
2qbf-5cnf-20var-640cl.3UNSAT0.01
ncf_16_32_2_edau.9UNSAT0.01
6qbf-5cnf-40var-80cl.9SAT0.01
2qbf-5cnf-80var-1280cl.6UNSAT0.01
5qbf-5cnf-20var-640cl.7UNSAT0.01
4qbf-5cnf-80var-160cl.1SAT0.01
4qbf-5cnf-40var-640cl.2UNSAT0.01
3qbf-5cnf-40var-160cl.6SAT0.01
toilet_a_08_01.4UNSAT0.01
toilet_c_10_01.2UNSAT0.01
5qbf-5cnf-20var-80cl.1SAT0.01
5qbf-5cnf-80var-2560cl.7UNSAT0.01
5qbf-5cnf-80var-320cl.0SAT0.01
3qbf-5cnf-160var-5120cl.7UNSAT0.01
4qbf-5cnf-20var-320cl.9UNSAT0.01
2qbf-5cnf-80var-320cl.4UNSAT0.01
ncf_8_16_2_u.1SAT0.01
6qbf-5cnf-80var-160cl.1SAT0.01
3qbf-5cnf-80var-2560cl.1UNSAT0.01
toilet_c_10_10.2SAT0.01
5qbf-5cnf-20var-640cl.2UNSAT0.01
2qbf-5cnf-20var-640cl.7UNSAT0.01
6qbf-5cnf-20var-80cl.2SAT0.01
tree-exa2-50UNSAT0.01
5qbf-5cnf-20var-80cl.8SAT0.01
4qbf-5cnf-40var-640cl.7UNSAT0.01
4qbf-5cnf-20var-80cl.1SAT0.01
3qbf-5cnf-20var-320cl.6UNSAT0.01
2qbf-5cnf-80var-2560cl.0UNSAT0.01
3qbf-5cnf-40var-640cl.7UNSAT0.01
ncf_4_16_2_euad.6SAT0.01
4qbf-5cnf-40var-80cl.4SAT0.01
6qbf-5cnf-20var-640cl.2UNSAT0.01
6qbf-5cnf-20var-640cl.9UNSAT0.01
ncf_4_8_2_edau.1UNSAT0.01
2qbf-5cnf-40var-1280cl.4UNSAT0.01
4qbf-5cnf-80var-160cl.0SAT0.01
6qbf-5cnf-160var-640cl.9SAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_2_euad.3UNSAT0.01
5qbf-5cnf-20var-40cl.6SAT0.01
4qbf-5cnf-40var-1280cl.2UNSAT0.01
ncf_4_8_2_d.7UNSAT0.01
4qbf-5cnf-20var-160cl.3UNSAT0.01
ncf_4_8_2_d.8SAT0.01
6qbf-5cnf-40var-1280cl.1UNSAT0.01
4qbf-5cnf-40var-160cl.5SAT0.01
2qbf-5cnf-80var-2560cl.5UNSAT0.01
C432.blif_0.10_1.00_0_1_out_exactSAT0.01
2qbf-5cnf-20var-40cl.3SAT0.01
5qbf-5cnf-20var-160cl.1SAT0.01
6qbf-5cnf-160var-320cl.8SAT0.01
5qbf-5cnf-20var-40cl.8SAT0.01
2qbf-5cnf-160var-2560cl.7UNSAT0.01
3qbf-5cnf-20var-40cl.0SAT0.01
5qbf-5cnf-40var-160cl.2SAT0.01
2qbf-5cnf-40var-1280cl.7UNSAT0.01
4qbf-5cnf-80var-1280cl.1UNSAT0.01
3qbf-5cnf-40var-160cl.1SAT0.01
flipflop-4-cUNSAT0.01
5qbf-5cnf-20var-40cl.4SAT0.01
2qbf-5cnf-80var-160cl.0SAT0.01
4qbf-5cnf-40var-1280cl.4UNSAT0.01
4qbf-5cnf-160var-2560cl.9UNSAT0.01
toilet_c_08_05.8SAT0.01
4qbf-5cnf-80var-2560cl.7UNSAT0.01
4qbf-5cnf-40var-1280cl.5UNSAT0.01
5qbf-5cnf-40var-1280cl.4UNSAT0.01
4qbf-5cnf-40var-80cl.7SAT0.01
ncf_8_16_4_d.5UNSAT0.01
toilet_c_10_01.8UNSAT0.01
ncf_4_8_4_d.2UNSAT0.01
5qbf-5cnf-40var-160cl.5SAT0.01
3qbf-5cnf-20var-160cl.6SAT0.01
5qbf-5cnf-40var-1280cl.1UNSAT0.01
5qbf-5cnf-40var-1280cl.8UNSAT0.01
3qbf-5cnf-160var-640cl.8SAT0.01
5qbf-5cnf-20var-320cl.3UNSAT0.01
6qbf-5cnf-20var-40cl.1SAT0.01
4qbf-5cnf-160var-320cl.2SAT0.01
4qbf-5cnf-40var-320cl.3UNSAT0.01
3qbf-5cnf-20var-80cl.6SAT0.01
k_dum_p-4UNSAT0.01
5qbf-5cnf-20var-640cl.6UNSAT0.01
6qbf-5cnf-160var-320cl.4SAT0.01
5qbf-5cnf-80var-160cl.8SAT0.01
4qbf-5cnf-20var-80cl.7SAT0.01
4qbf-5cnf-80var-640cl.7UNSAT0.01
6qbf-5cnf-80var-160cl.0SAT0.01
4qbf-5cnf-20var-320cl.0UNSAT0.01
6qbf-5cnf-160var-640cl.4SAT0.01
ncf_4_16_2_u.7SAT0.01
toilet_c_08_05.4SAT0.01
5qbf-5cnf-80var-640cl.2SAT0.01
4qbf-5cnf-40var-1280cl.8UNSAT0.01
3qbf-5cnf-40var-1280cl.2UNSAT0.01
4qbf-5cnf-160var-320cl.5SAT0.01
3qbf-5cnf-40var-80cl.2SAT0.01
6qbf-5cnf-80var-2560cl.4UNSAT0.01
6qbf-5cnf-160var-640cl.1SAT0.01
adder-2-satSAT0.01
ncf_8_16_2_edau.9UNSAT0.01
6qbf-5cnf-40var-160cl.9SAT0.01
tree-exa2-30UNSAT0.01
2qbf-5cnf-160var-2560cl.3UNSAT0.01
4qbf-5cnf-40var-80cl.1SAT0.01
3qbf-5cnf-160var-640cl.6SAT0.01
ncf_4_8_4_d.9SAT0.01
2qbf-5cnf-20var-640cl.8UNSAT0.01
2qbf-5cnf-160var-2560cl.0UNSAT0.01
6qbf-5cnf-80var-2560cl.7UNSAT0.01
5qbf-5cnf-40var-160cl.8SAT0.01
5qbf-5cnf-20var-640cl.5UNSAT0.01
5qbf-5cnf-20var-160cl.2SAT0.01
5qbf-5cnf-80var-2560cl.4UNSAT0.01
ncf_4_8_4_edau.8UNSAT0.01
4qbf-5cnf-80var-2560cl.3UNSAT0.01
ncf_16_64_2_edau.1SAT0.01
3qbf-5cnf-40var-80cl.1SAT0.01
ncf_4_8_8_u.4SAT0.01
3qbf-5cnf-20var-160cl.3SAT0.01
2qbf-5cnf-20var-320cl.9UNSAT0.01
3qbf-5cnf-160var-640cl.9SAT0.01
5qbf-5cnf-160var-320cl.4SAT0.01
TOILET2.1.iv.4SAT0.01
toilet_a_08_01.2UNSAT0.01
2qbf-5cnf-40var-1280cl.2UNSAT0.01
2qbf-5cnf-40var-80cl.4SAT0.01
6qbf-5cnf-160var-640cl.5SAT0.01
counter_2SAT0.01
5qbf-5cnf-80var-320cl.2SAT0.01
4qbf-5cnf-40var-640cl.8UNSAT0.01
Adder2-2-sSAT0.01
ncf_8_16_2_d.8UNSAT0.01
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT0.01
6qbf-5cnf-40var-80cl.6SAT0.01
Adder2-2-cUNSAT0.01
3qbf-5cnf-80var-320cl.4SAT0.01
3qbf-5cnf-20var-320cl.4UNSAT0.01
2qbf-5cnf-20var-160cl.7UNSAT0.01
5qbf-5cnf-20var-320cl.5UNSAT0.01
6qbf-5cnf-80var-160cl.8SAT0.01
ncf_4_8_2_edau.2SAT0.01
4qbf-5cnf-80var-1280cl.4UNSAT0.01
2qbf-5cnf-40var-640cl.3UNSAT0.01
2qbf-5cnf-80var-2560cl.8UNSAT0.01
6qbf-5cnf-40var-80cl.1SAT0.01
2qbf-5cnf-20var-320cl.7UNSAT0.01
ncf_4_8_2_euad.7UNSAT0.01
impl06SAT0.01
3qbf-5cnf-20var-640cl.1UNSAT0.01
3qbf-5cnf-80var-2560cl.4UNSAT0.01
6qbf-5cnf-20var-80cl.9SAT0.01
4qbf-5cnf-20var-640cl.2UNSAT0.01
5qbf-5cnf-20var-320cl.8UNSAT0.01
5qbf-5cnf-20var-80cl.7SAT0.01
ncf_4_8_2_d.4UNSAT0.01
5qbf-5cnf-20var-40cl.1SAT0.01
toilet_c_08_05.2UNSAT0.01
5qbf-5cnf-20var-40cl.3SAT0.01
5qbf-5cnf-20var-640cl.9UNSAT0.01
6qbf-5cnf-40var-160cl.2SAT0.01
2qbf-5cnf-20var-40cl.4SAT0.01
ncf_8_16_2_u.3UNSAT0.01
3qbf-5cnf-80var-2560cl.8UNSAT0.01
4qbf-5cnf-80var-2560cl.2UNSAT0.01
toilet_c_08_05.10SAT0.01
2qbf-5cnf-80var-1280cl.8UNSAT0.01
4qbf-5cnf-80var-1280cl.8UNSAT0.01
tree-exa2-35UNSAT0.01
6qbf-5cnf-80var-2560cl.2UNSAT0.01
6qbf-5cnf-20var-160cl.3UNSAT0.01
toilet_c_10_01.4UNSAT0.01
4qbf-5cnf-80var-2560cl.9UNSAT0.01
5qbf-5cnf-40var-640cl.8UNSAT0.01
5qbf-5cnf-80var-640cl.8SAT0.01
ncf_8_16_4_d.2UNSAT0.01
5qbf-5cnf-40var-1280cl.5UNSAT0.01
2qbf-5cnf-80var-1280cl.1UNSAT0.01
4qbf-5cnf-80var-160cl.9SAT0.01
3qbf-5cnf-160var-640cl.1SAT0.01
s641_d7_uFAIL0.01
3qbf-5cnf-40var-1280cl.6UNSAT0.01
3qbf-5cnf-160var-640cl.5SAT0.01
4qbf-5cnf-20var-40cl.7SAT0.01
6qbf-5cnf-20var-40cl.2SAT0.01
toilet_c_10_05.2UNSAT0.01
3qbf-5cnf-40var-1280cl.1UNSAT0.01
2qbf-5cnf-40var-320cl.5UNSAT0.01
6qbf-5cnf-20var-320cl.1UNSAT0.01
ncf_4_8_8_edau.9UNSAT0.01
2qbf-5cnf-40var-1280cl.3UNSAT0.01
C499.blif_0.10_1.00_0_1_out_exactSAT0.01
2qbf-5cnf-160var-5120cl.5UNSAT0.01
comp.blif_0.10_0.20_0_1_out_exactSAT0.01
3qbf-5cnf-40var-1280cl.7UNSAT0.01
3qbf-5cnf-80var-2560cl.3UNSAT0.01
ncf_8_16_8_d.1SAT0.01
4qbf-5cnf-20var-320cl.5UNSAT0.01
3qbf-5cnf-160var-320cl.8SAT0.01
3qbf-5cnf-160var-640cl.4SAT0.01
2qbf-5cnf-40var-640cl.4UNSAT0.01
ncf_4_8_4_u.2UNSAT0.01
6qbf-5cnf-40var-160cl.0SAT0.01
2qbf-5cnf-20var-320cl.6UNSAT0.01
1qbf-5cnf-20var-160cl.6SAT0.01
1qbf-5cnf-40var-640cl.6SAT0.01
1qbf-5cnf-20var-320cl.2SAT0.01
1qbf-5cnf-40var-80cl.7SAT0.01
1qbf-5cnf-40var-80cl.4SAT0.01
6qbf-5cnf-20var-40cl.4SAT0.01
1qbf-5cnf-80var-160cl.3SAT0.01
1qbf-5cnf-20var-320cl.8SAT0.01
1qbf-5cnf-40var-160cl.4SAT0.01
1qbf-5cnf-40var-80cl.5SAT0.01
1qbf-5cnf-160var-640cl.5SAT0.01
1qbf-5cnf-80var-640cl.5SAT0.01
1qbf-5cnf-20var-40cl.6SAT0.01
1qbf-5cnf-20var-80cl.9SAT0.01
1qbf-5cnf-40var-80cl.1SAT0.01
1qbf-5cnf-80var-1280cl.3SAT0.01
1qbf-5cnf-40var-80cl.3SAT0.01
1qbf-5cnf-20var-40cl.7SAT0.01
1qbf-5cnf-80var-640cl.1SAT0.01
1qbf-5cnf-160var-640cl.6SAT0.01
1qbf-5cnf-20var-640cl.3UNSAT0.01
1qbf-5cnf-20var-640cl.4UNSAT0.01
1qbf-5cnf-80var-640cl.3SAT0.01
1qbf-5cnf-40var-640cl.2SAT0.01
1qbf-5cnf-20var-40cl.2SAT0.01
1qbf-5cnf-20var-40cl.8SAT0.01
1qbf-5cnf-160var-1280cl.9SAT0.01
1qbf-5cnf-160var-640cl.4SAT0.01
1qbf-5cnf-80var-160cl.7SAT0.01
1qbf-5cnf-160var-320cl.8SAT0.01
1qbf-5cnf-80var-320cl.1SAT0.01
1qbf-5cnf-20var-320cl.9SAT0.01
1qbf-5cnf-40var-640cl.7SAT0.01
1qbf-5cnf-160var-320cl.3SAT0.01
1qbf-5cnf-40var-320cl.1SAT0.01
1qbf-5cnf-40var-320cl.2SAT0.01
1qbf-5cnf-40var-320cl.4SAT0.01
1qbf-5cnf-20var-160cl.0SAT0.01
1qbf-5cnf-20var-320cl.5SAT0.01
1qbf-5cnf-160var-1280cl.6SAT0.01
1qbf-5cnf-40var-80cl.9SAT0.01
1qbf-5cnf-20var-320cl.0SAT0.01
1qbf-5cnf-80var-160cl.6SAT0.01
1qbf-5cnf-20var-40cl.1SAT0.01
1qbf-5cnf-40var-320cl.7SAT0.01
1qbf-5cnf-160var-640cl.3SAT0.01
1qbf-5cnf-160var-1280cl.3SAT0.01
1qbf-5cnf-40var-320cl.8SAT0.01
1qbf-5cnf-20var-640cl.1UNSAT0.01
1qbf-5cnf-40var-320cl.5SAT0.01
1qbf-5cnf-40var-80cl.0SAT0.01
1qbf-5cnf-40var-320cl.3SAT0.01
1qbf-5cnf-160var-320cl.0SAT0.01
1qbf-5cnf-80var-160cl.1SAT0.01
1qbf-5cnf-80var-160cl.2SAT0.01
1qbf-5cnf-160var-1280cl.0SAT0.01
1qbf-5cnf-80var-640cl.8SAT0.01
1qbf-5cnf-40var-80cl.6SAT0.01
2qbf-5cnf-160var-2560cl.8UNSAT0.02
6qbf-5cnf-80var-2560cl.8UNSAT0.02
ncf_16_32_2_edau.6SAT0.02
4qbf-5cnf-160var-2560cl.3UNSAT0.02
5qbf-5cnf-40var-1280cl.7UNSAT0.02
2qbf-5cnf-160var-2560cl.6UNSAT0.02
5qbf-5cnf-80var-320cl.3SAT0.02
ncf_8_16_2_edau.6UNSAT0.02
2qbf-5cnf-20var-160cl.8UNSAT0.02
6qbf-5cnf-20var-320cl.5UNSAT0.02
2qbf-5cnf-40var-1280cl.6UNSAT0.02
2qbf-5cnf-160var-5120cl.3UNSAT0.02
5qbf-5cnf-160var-5120cl.8UNSAT0.02
ncf_8_16_2_euad.9UNSAT0.02
k_poly_n-4SAT0.02
3qbf-5cnf-40var-640cl.5UNSAT0.02
4qbf-5cnf-40var-640cl.9UNSAT0.02
ncf_8_16_4_edau.2UNSAT0.02
6qbf-5cnf-160var-1280cl.4UNSAT0.02
5qbf-5cnf-20var-160cl.6SAT0.02
ncf_4_16_4_u.9SAT0.02
flipflop-5-cUNSAT0.02
4qbf-5cnf-160var-2560cl.8UNSAT0.02
3qbf-5cnf-80var-2560cl.0UNSAT0.02
ncf_8_16_8_u.1SAT0.02
5qbf-5cnf-40var-640cl.5UNSAT0.02
6qbf-5cnf-160var-320cl.6SAT0.02
4qbf-5cnf-80var-2560cl.4UNSAT0.02
CHAIN20v.21SAT0.02
4qbf-5cnf-160var-5120cl.0UNSAT0.02
3qbf-5cnf-160var-5120cl.5UNSAT0.02
toilet_a_08_05.2UNSAT0.02
6qbf-5cnf-160var-5120cl.9UNSAT0.02
2qbf-5cnf-80var-1280cl.4UNSAT0.02
3qbf-5cnf-160var-5120cl.9UNSAT0.02
3qbf-5cnf-80var-320cl.0SAT0.02
ncf_4_16_2_euad.9SAT0.02
5qbf-5cnf-80var-320cl.7SAT0.02
2qbf-5cnf-80var-2560cl.4UNSAT0.02
3qbf-5cnf-160var-2560cl.7UNSAT0.02
2qbf-5cnf-40var-80cl.1SAT0.02
6qbf-5cnf-160var-5120cl.7UNSAT0.02
6qbf-5cnf-80var-2560cl.6UNSAT0.02
ncf_4_8_4_edau.5SAT0.02
ncf_8_16_2_u.2UNSAT0.02
3qbf-5cnf-20var-160cl.7SAT0.02
2qbf-5cnf-80var-1280cl.5UNSAT0.02
3qbf-5cnf-160var-5120cl.2UNSAT0.02
CHAIN12v.13SAT0.02
6qbf-5cnf-20var-320cl.0UNSAT0.02
6qbf-5cnf-80var-2560cl.0UNSAT0.02
4qbf-5cnf-80var-2560cl.1UNSAT0.02
k_branch_p-4UNSAT0.02
6qbf-5cnf-80var-320cl.3SAT0.02
5qbf-5cnf-40var-80cl.9SAT0.02
4qbf-5cnf-80var-2560cl.6UNSAT0.02
3qbf-5cnf-40var-1280cl.4UNSAT0.02
3qbf-5cnf-40var-1280cl.3UNSAT0.02
3qbf-5cnf-40var-80cl.8SAT0.02
2qbf-5cnf-160var-2560cl.4UNSAT0.02
ncf_4_16_2_edau.7SAT0.02
2qbf-5cnf-160var-5120cl.9UNSAT0.02
ncf_4_16_4_edau.9SAT0.02
5qbf-5cnf-40var-1280cl.3UNSAT0.02
5qbf-5cnf-80var-2560cl.2UNSAT0.02
4qbf-5cnf-80var-2560cl.8UNSAT0.02
4qbf-5cnf-160var-5120cl.4UNSAT0.02
2qbf-5cnf-40var-80cl.0SAT0.02
6qbf-5cnf-80var-320cl.0SAT0.02
ncf_8_16_2_edau.2UNSAT0.02
2qbf-5cnf-20var-160cl.3UNSAT0.02
3qbf-5cnf-20var-320cl.5UNSAT0.02
CHAIN19v.20SAT0.02
2qbf-5cnf-40var-640cl.2UNSAT0.02
3qbf-5cnf-40var-320cl.6SAT0.02
4qbf-5cnf-80var-1280cl.0UNSAT0.02
2qbf-5cnf-20var-640cl.5UNSAT0.02
3qbf-5cnf-160var-5120cl.6UNSAT0.02
3qbf-5cnf-160var-5120cl.0UNSAT0.02
4qbf-5cnf-160var-5120cl.5UNSAT0.02
2qbf-5cnf-80var-1280cl.2UNSAT0.02
k_dum_n-8SAT0.02
3qbf-5cnf-40var-160cl.2SAT0.02
4qbf-5cnf-40var-1280cl.0UNSAT0.02
6qbf-5cnf-80var-2560cl.3UNSAT0.02
5qbf-5cnf-20var-320cl.6UNSAT0.02
5qbf-5cnf-80var-160cl.4SAT0.02
ncf_4_8_4_edau.2UNSAT0.02
2qbf-5cnf-80var-2560cl.2UNSAT0.02
3qbf-5cnf-20var-80cl.8SAT0.02
6qbf-5cnf-160var-5120cl.1UNSAT0.02
2qbf-5cnf-40var-320cl.4UNSAT0.02
4qbf-5cnf-20var-80cl.0SAT0.02
6qbf-5cnf-40var-640cl.7UNSAT0.02
6qbf-5cnf-160var-5120cl.4UNSAT0.02
ncf_4_8_2_u.8SAT0.02
CHAIN17v.18SAT0.02
CHAIN14v.15SAT0.02
ncf_4_8_2_edau.8SAT0.02
term1.blif_0.10_0.20_0_1_inp_exactSAT0.02
3qbf-5cnf-40var-1280cl.9UNSAT0.02
ncf_4_8_4_u.8UNSAT0.02
4qbf-5cnf-80var-160cl.4SAT0.02
5qbf-5cnf-160var-320cl.0SAT0.02
3qbf-5cnf-80var-2560cl.2UNSAT0.02
counter_4SAT0.02
comp.blif_0.10_1.00_0_1_inp_exactSAT0.02
4qbf-5cnf-40var-640cl.0UNSAT0.02
6qbf-5cnf-40var-1280cl.9UNSAT0.02
4qbf-5cnf-20var-640cl.0UNSAT0.02
term1.blif_0.10_0.20_0_1_out_exactSAT0.02
4qbf-5cnf-160var-2560cl.5UNSAT0.02
3qbf-5cnf-160var-5120cl.3UNSAT0.02
3qbf-5cnf-20var-320cl.3UNSAT0.02
3qbf-5cnf-80var-320cl.8SAT0.02
toilet_a_08_01.8UNSAT0.02
6qbf-5cnf-40var-640cl.8UNSAT0.02
2qbf-5cnf-80var-160cl.8SAT0.02
ncf_4_8_4_euad.2UNSAT0.02
6qbf-5cnf-20var-320cl.4UNSAT0.02
5qbf-5cnf-40var-80cl.3SAT0.02
5qbf-5cnf-40var-1280cl.2UNSAT0.02
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT0.02
2qbf-5cnf-40var-640cl.7UNSAT0.02
6qbf-5cnf-160var-640cl.0SAT0.02
4qbf-5cnf-80var-1280cl.2UNSAT0.02
6qbf-5cnf-160var-5120cl.3UNSAT0.02
3qbf-5cnf-40var-640cl.1UNSAT0.02
ncf_8_16_4_d.8UNSAT0.02
qshifter_4SAT0.02
5qbf-5cnf-80var-160cl.9SAT0.02
3qbf-5cnf-40var-640cl.0UNSAT0.02
ncf_8_16_2_edau.1SAT0.02
5qbf-5cnf-160var-640cl.7SAT0.02
5qbf-5cnf-80var-2560cl.0UNSAT0.02
5qbf-5cnf-160var-640cl.5SAT0.02
ncf_4_16_2_u.9SAT0.02
2qbf-5cnf-80var-1280cl.9UNSAT0.02
ncf_4_32_2_u.2SAT0.02
2qbf-5cnf-40var-80cl.9SAT0.02
2qbf-5cnf-80var-2560cl.6UNSAT0.02
6qbf-5cnf-40var-1280cl.7UNSAT0.02
2qbf-5cnf-160var-5120cl.8UNSAT0.02
6qbf-5cnf-40var-1280cl.8UNSAT0.02
ncf_4_8_8_d.4SAT0.02
ncf_8_16_4_edau.8UNSAT0.02
5qbf-5cnf-40var-640cl.0UNSAT0.02
3qbf-5cnf-40var-640cl.4UNSAT0.02
ncf_4_8_8_edau.4SAT0.02
ncf_4_32_2_edau.9UNSAT0.02
4qbf-5cnf-160var-5120cl.6UNSAT0.02
4qbf-5cnf-40var-1280cl.1UNSAT0.02
5qbf-5cnf-80var-160cl.6SAT0.02
1qbf-5cnf-20var-640cl.0UNSAT0.02
1qbf-5cnf-40var-640cl.1SAT0.02
1qbf-5cnf-40var-640cl.5SAT0.02
1qbf-5cnf-80var-640cl.2SAT0.02
1qbf-5cnf-160var-1280cl.1SAT0.02
1qbf-5cnf-20var-160cl.5SAT0.02
1qbf-5cnf-80var-1280cl.7SAT0.02
1qbf-5cnf-20var-640cl.6UNSAT0.02
1qbf-5cnf-160var-1280cl.7SAT0.02
1qbf-5cnf-80var-1280cl.6SAT0.02
1qbf-5cnf-20var-640cl.8UNSAT0.02
1qbf-5cnf-20var-640cl.9UNSAT0.02
1qbf-5cnf-160var-1280cl.8SAT0.02
1qbf-5cnf-20var-640cl.2UNSAT0.02
1qbf-5cnf-20var-640cl.7UNSAT0.02
1qbf-5cnf-20var-640cl.5UNSAT0.02
1qbf-5cnf-80var-1280cl.1SAT0.02
6qbf-5cnf-160var-5120cl.8UNSAT0.03
3qbf-5cnf-40var-320cl.0SAT0.03
comp.blif_0.10_0.20_0_0_inp_exactUNSAT0.03
4qbf-5cnf-40var-160cl.7SAT0.03
lut4_XOR_fORUNSAT0.03
5qbf-5cnf-40var-640cl.7UNSAT0.03
4qbf-5cnf-80var-1280cl.5UNSAT0.03
ncf_8_16_4_euad.6UNSAT0.03
3qbf-5cnf-80var-1280cl.6UNSAT0.03
4qbf-5cnf-80var-1280cl.3UNSAT0.03
mutex-4-sSAT0.03
ncf_4_8_2_euad.6SAT0.03
CHAIN13v.14SAT0.03
4qbf-5cnf-40var-160cl.2SAT0.03
toilet_c_08_01.8UNSAT0.03
5qbf-5cnf-160var-5120cl.3UNSAT0.03
6qbf-5cnf-160var-5120cl.2UNSAT0.03
ncf_4_8_4_d.10SAT0.03
CHAIN15v.16SAT0.03
4qbf-5cnf-160var-5120cl.2UNSAT0.03
ncf_4_8_4_euad.8UNSAT0.03
2qbf-5cnf-160var-5120cl.7UNSAT0.03
4qbf-5cnf-40var-160cl.3SAT0.03
4qbf-5cnf-160var-5120cl.7UNSAT0.03
5qbf-5cnf-160var-5120cl.0UNSAT0.03
ncf_4_8_2_d.2SAT0.03
5qbf-5cnf-40var-640cl.9UNSAT0.03
3qbf-5cnf-160var-5120cl.8UNSAT0.03
ncf_4_8_8_euad.4SAT0.03
3qbf-5cnf-160var-5120cl.1UNSAT0.03
ncf_8_16_8_euad.1SAT0.03
3qbf-5cnf-80var-1280cl.2UNSAT0.03
ncf_4_8_4_edau.10SAT0.03
ncf_8_16_2_u.6UNSAT0.03
2qbf-5cnf-160var-5120cl.1UNSAT0.03
6qbf-5cnf-40var-640cl.3UNSAT0.03
CHAIN21v.22SAT0.03
2qbf-5cnf-160var-2560cl.1UNSAT0.03
ncf_8_16_4_d.6UNSAT0.03
ncf_16_32_2_euad.7UNSAT0.03
ncf_4_8_2_d.6SAT0.03
ncf_8_16_4_edau.6UNSAT0.03
4qbf-5cnf-160var-5120cl.9UNSAT0.03
2qbf-5cnf-160var-5120cl.4UNSAT0.03
3qbf-5cnf-40var-320cl.2SAT0.03
6qbf-5cnf-160var-5120cl.0UNSAT0.03
2qbf-5cnf-160var-5120cl.0UNSAT0.03
2qbf-5cnf-160var-1280cl.5UNSAT0.03
6qbf-5cnf-160var-5120cl.5UNSAT0.03
ncf_8_16_4_u.8UNSAT0.03
ncf_8_16_8_edau.1SAT0.03
3qbf-5cnf-80var-1280cl.8UNSAT0.03
5qbf-5cnf-80var-2560cl.8UNSAT0.03
4qbf-5cnf-80var-1280cl.9UNSAT0.03
2qbf-5cnf-160var-5120cl.6UNSAT0.03
4qbf-5cnf-80var-640cl.1UNSAT0.03
k_dum_n-12SAT0.03
2qbf-5cnf-40var-320cl.3UNSAT0.03
5qbf-5cnf-40var-320cl.8SAT0.04
flipflop-6-cUNSAT0.04
C432.blif_0.10_0.20_0_1_inp_exactSAT0.04
3qbf-5cnf-40var-320cl.1SAT0.04
5qbf-5cnf-80var-2560cl.9UNSAT0.04
4qbf-5cnf-80var-1280cl.6UNSAT0.04
2qbf-5cnf-160var-5120cl.2UNSAT0.04
ncf_8_16_2_edau.10SAT0.04
4qbf-5cnf-160var-5120cl.3UNSAT0.04
connect_5x4_4_WUNSAT0.04
ncf_8_16_2_u.5UNSAT0.04
CHAIN23v.24SAT0.04
3qbf-5cnf-40var-640cl.3UNSAT0.04
connect_5x4_4_DUNSAT0.04
ncf_8_16_4_u.6UNSAT0.04
ncf_8_16_4_euad.8UNSAT0.04
4qbf-5cnf-40var-160cl.4SAT0.04
ncf_16_32_2_u.7UNSAT0.04
qshifter_5SAT0.04
ncf_8_16_2_euad.6UNSAT0.04
ncf_4_8_4_edau.1SAT0.04
5qbf-5cnf-40var-640cl.6UNSAT0.04
5qbf-5cnf-160var-5120cl.2UNSAT0.04
4qbf-5cnf-160var-5120cl.1UNSAT0.04
4qbf-5cnf-160var-5120cl.8UNSAT0.04
ncf_4_8_4_euad.1SAT0.04
ncf_4_8_4_edau.3UNSAT0.04
ncf_16_32_2_edau.7UNSAT0.04
ncf_4_8_2_u.6SAT0.04
3qbf-5cnf-160var-5120cl.4UNSAT0.04
CHAIN16v.17SAT0.04
5qbf-5cnf-160var-5120cl.9UNSAT0.04
5qbf-5cnf-40var-640cl.4UNSAT0.04
1qbf-5cnf-80var-1280cl.2SAT0.04
ncf_4_8_2_edau.3UNSAT0.05
ncf_8_16_2_d.6UNSAT0.05
5qbf-5cnf-160var-1280cl.8SAT0.05
ncf_4_8_4_d.4UNSAT0.05
5qbf-5cnf-160var-5120cl.5UNSAT0.05
5qbf-5cnf-160var-5120cl.6UNSAT0.05
term1.blif_0.10_1.00_0_1_out_exactSAT0.05
k_lin_n-4SAT0.05
CHAIN22v.23SAT0.05
2qbf-5cnf-80var-640cl.0UNSAT0.05
ncf_4_8_4_d.8UNSAT0.05
k_poly_n-8SAT0.05
6qbf-5cnf-20var-160cl.7SAT0.05
6qbf-5cnf-20var-160cl.1SAT0.05
ncf_4_16_4_d.9SAT0.06
5qbf-5cnf-80var-640cl.0SAT0.06
5qbf-5cnf-20var-320cl.9UNSAT0.06
ncf_4_16_4_edau.6UNSAT0.06
lut4_2_fXORSAT0.06
ncf_8_16_2_u.10SAT0.06
4qbf-5cnf-40var-160cl.9SAT0.06
ncf_4_8_2_d.3UNSAT0.06
2qbf-5cnf-80var-160cl.2SAT0.06
ncf_4_16_2_d.7SAT0.06
k_dum_n-16SAT0.06
5qbf-5cnf-40var-640cl.3UNSAT0.06
ncf_4_8_2_u.3UNSAT0.06
ncf_4_8_4_d.3UNSAT0.06
6qbf-5cnf-80var-1280cl.3UNSAT0.06
ncf_4_8_8_edau.1SAT0.06
5qbf-5cnf-160var-5120cl.4UNSAT0.06
2qbf-5cnf-40var-320cl.1UNSAT0.06
ncf_4_8_4_d.1SAT0.06
ncf_4_8_4_u.3UNSAT0.06
k_path_n-4SAT0.06
connect_5x4_3_DUNSAT0.06
3qbf-5cnf-40var-320cl.9SAT0.06
2qbf-5cnf-80var-160cl.5SAT0.07
ncf_8_16_2_edau.4SAT0.07
toilet_a_08_05.4SAT0.07
connect_5x4_3_WUNSAT0.07
toilet_c_08_10.2SAT0.07
5qbf-5cnf-80var-2560cl.5UNSAT0.07
6qbf-5cnf-40var-640cl.6UNSAT0.07
ncf_4_8_4_euad.3UNSAT0.07
ncf_8_16_2_euad.5UNSAT0.07
6qbf-5cnf-40var-640cl.2UNSAT0.07
2qbf-5cnf-40var-320cl.0UNSAT0.07
C432.blif_0.10_1.00_0_1_inp_exactSAT0.07
toilet_a_08_05.8SAT0.07
ncf_4_8_4_u.10SAT0.07
1qbf-5cnf-80var-1280cl.5SAT0.07
5qbf-5cnf-40var-640cl.2UNSAT0.08
ncf_4_8_2_edau.6SAT0.08
3qbf-5cnf-40var-320cl.3SAT0.08
k_ph_p-4UNSAT0.08
3qbf-5cnf-40var-320cl.5UNSAT0.08
ncf_8_16_2_u.4SAT0.08
3qbf-5cnf-40var-320cl.4SAT0.08
term1.blif_0.10_1.00_0_1_inp_exactSAT0.08
1qbf-5cnf-80var-1280cl.8SAT0.08
4qbf-5cnf-160var-2560cl.0UNSAT0.09
k_path_p-4UNSAT0.09
ncf_4_8_2_euad.3UNSAT0.09
2qbf-5cnf-20var-80cl.4SAT0.09
3qbf-5cnf-40var-640cl.2UNSAT0.09
3qbf-5cnf-80var-640cl.1SAT0.09
ncf_4_8_4_edau.4UNSAT0.09
k_branch_n-4SAT0.09
k_poly_n-12SAT0.09
ncf_4_8_4_euad.10SAT0.09
4qbf-5cnf-80var-320cl.0SAT0.1
6qbf-5cnf-20var-320cl.2UNSAT0.1
5qbf-5cnf-40var-320cl.5SAT0.1
6qbf-5cnf-80var-1280cl.7UNSAT0.1
3qbf-5cnf-80var-640cl.0SAT0.1
k_dum_n-21SAT0.1
1qbf-5cnf-160var-2560cl.8SAT0.1
1qbf-5cnf-80var-1280cl.0SAT0.1
toilet_a_08_05.10SAT0.11
ncf_4_16_4_euad.9SAT0.11
5qbf-5cnf-80var-1280cl.6UNSAT0.11
3qbf-5cnf-80var-1280cl.3UNSAT0.11
ncf_4_8_4_euad.6SAT0.11
flipflop-7-cUNSAT0.11
ncf_4_32_2_u.9UNSAT0.11
2qbf-5cnf-20var-80cl.9SAT0.11
ncf_4_8_4_d.6SAT0.11
ncf_8_16_2_d.1SAT0.12
6qbf-5cnf-80var-1280cl.1UNSAT0.12
2qbf-5cnf-20var-80cl.0SAT0.12
6qbf-5cnf-40var-640cl.0UNSAT0.12
6qbf-5cnf-20var-160cl.5SAT0.12
ncf_4_8_4_euad.5SAT0.12
4qbf-5cnf-160var-2560cl.2UNSAT0.12
5qbf-5cnf-80var-1280cl.3UNSAT0.12
ncf_4_8_4_euad.4UNSAT0.12
6qbf-5cnf-80var-640cl.0UNSAT0.12
1qbf-5cnf-80var-1280cl.9SAT0.12
vonNeumann-ripple-carry-5-cUNSAT0.13
ncf_4_8_4_u.1SAT0.13
connect_6x5_5_WUNSAT0.13
ncf_4_8_4_u.5SAT0.13
toilet_a_10_01.3UNSAT0.13
4qbf-5cnf-160var-2560cl.6UNSAT0.13
connect_6x5_4_WUNSAT0.13
k_dum_n-20SAT0.13
5qbf-5cnf-160var-1280cl.9SAT0.13
2qbf-5cnf-20var-80cl.3SAT0.14
3qbf-5cnf-80var-1280cl.4UNSAT0.14
toilet_a_08_10.2SAT0.14
5qbf-5cnf-80var-1280cl.9UNSAT0.14
ncf_4_8_4_d.5SAT0.14
k_d4_p-4UNSAT0.14
6qbf-5cnf-20var-160cl.2SAT0.14
2qbf-5cnf-20var-80cl.2SAT0.15
3qbf-5cnf-160var-2560cl.9UNSAT0.15
connect_6x5_4_DUNSAT0.15
toilet_a_10_01.2UNSAT0.15
6qbf-5cnf-40var-640cl.1UNSAT0.15
ncf_4_8_2_euad.2SAT0.15
connect_6x5_5_DUNSAT0.16
ncf_4_16_2_euad.7SAT0.16
ncf_8_16_2_d.10SAT0.16
toilet_a_10_01.4UNSAT0.16
6qbf-5cnf-80var-1280cl.5UNSAT0.16
2qbf-5cnf-20var-160cl.1UNSAT0.16
2qbf-5cnf-20var-80cl.1SAT0.17
k_poly_n-16SAT0.17
connect_6x5_3_DUNSAT0.17
connect_6x5_3_WUNSAT0.17
2qbf-5cnf-20var-80cl.7SAT0.17
6qbf-5cnf-80var-1280cl.9UNSAT0.17
2qbf-5cnf-40var-320cl.2UNSAT0.18
ncf_8_16_8_edau.7UNSAT0.18
robots_1_5_5_24.2SAT0.18
2qbf-5cnf-80var-160cl.3SAT0.18
4qbf-5cnf-40var-160cl.0SAT0.18
ncf_8_16_4_edau.7SAT0.18
ncf_4_8_4_edau.7UNSAT0.19
5qbf-5cnf-160var-5120cl.7UNSAT0.19
5qbf-5cnf-40var-320cl.9SAT0.19
toilet_a_10_01.8UNSAT0.19
toilet_a_10_05.2UNSAT0.19
ncf_8_16_4_u.3SAT0.2
ncf_4_16_2_u.2SAT0.2
ncf_4_8_8_u.1SAT0.21
2qbf-5cnf-20var-80cl.5SAT0.21
4qbf-5cnf-20var-160cl.8UNSAT0.21
4qbf-5cnf-20var-160cl.0UNSAT0.21
1qbf-5cnf-160var-2560cl.0SAT0.21
6qbf-5cnf-20var-160cl.4SAT0.22
6qbf-5cnf-80var-1280cl.0UNSAT0.22
ncf_4_16_4_edau.5SAT0.22
2qbf-5cnf-20var-80cl.6SAT0.22
2qbf-5cnf-80var-160cl.4SAT0.22
6qbf-5cnf-80var-1280cl.8UNSAT0.22
1qbf-5cnf-80var-1280cl.4SAT0.22
5qbf-5cnf-80var-1280cl.4UNSAT0.23
ncf_4_16_2_edau.2SAT0.23
6qbf-5cnf-160var-2560cl.9UNSAT0.23
ncf_4_32_2_u.8SAT0.23
ncf_8_16_4_edau.10SAT0.24
ncf_8_16_2_d.7SAT0.24
6qbf-5cnf-80var-1280cl.6UNSAT0.24
ncf_8_16_4_u.7SAT0.24
2qbf-5cnf-20var-80cl.8SAT0.24
ncf_4_8_4_u.7UNSAT0.25
ncf_8_16_8_u.7UNSAT0.25
ncf_8_16_4_u.10SAT0.25
ncf_4_16_4_u.5SAT0.26
ncf_4_16_2_d.2SAT0.26
6qbf-5cnf-20var-160cl.8SAT0.26
k_dum_p-8UNSAT0.26
6qbf-5cnf-160var-2560cl.5UNSAT0.26
ncf_4_16_2_euad.2SAT0.27
k_poly_n-20SAT0.27
5qbf-5cnf-80var-1280cl.5UNSAT0.27
toilet_c_10_05.7SAT0.27
5qbf-5cnf-80var-1280cl.2UNSAT0.28
3qbf-5cnf-80var-1280cl.1UNSAT0.29
5qbf-5cnf-160var-5120cl.1UNSAT0.3
robots_1_5_4_44.2SAT0.3
6qbf-5cnf-160var-2560cl.4UNSAT0.3
5qbf-5cnf-160var-1280cl.6SAT0.3
robots_1_5_5_56.2SAT0.31
robots_1_5_4_81.2SAT0.31
ncf_4_32_2_edau.8SAT0.31
flipflop-8-cUNSAT0.31
toilet_c_10_05.8SAT0.32
robots_1_5_4_73.2SAT0.32
robots_1_5_5_61.2SAT0.32
s27_d3_uUNSAT0.32
robots_1_5_5_38.2SAT0.32
6qbf-5cnf-20var-160cl.6SAT0.32
k_poly_n-21SAT0.32
ncf_4_8_4_u.4UNSAT0.32
robots_1_5_5_75.2SAT0.33
4qbf-5cnf-160var-2560cl.7UNSAT0.33
3qbf-5cnf-80var-1280cl.9UNSAT0.33
robots_1_5_4_75.2SAT0.33
ncf_4_16_2_d.4SAT0.33
robots_1_5_4_100.2SAT0.33
robots_1_5_5_15.2SAT0.34
ncf_4_16_2_edau.10UNSAT0.34
6qbf-5cnf-20var-160cl.9SAT0.34
connect_7x6_6_WUNSAT0.34
ncf_4_8_4_euad.7UNSAT0.34
robots_1_5_5_62.2SAT0.34
connect_7x6_6_DUNSAT0.34
1qbf-5cnf-40var-1280cl.9UNSAT0.34
1qbf-5cnf-40var-1280cl.3UNSAT0.34
1qbf-5cnf-40var-1280cl.7UNSAT0.34
vonNeumann-ripple-carry-6-cUNSAT0.35
toilet_c_10_05.4SAT0.35
ev-pr-8x8-5-7-0-1-2-lgUNSAT0.35
ncf_8_16_2_euad.10SAT0.35
1qbf-5cnf-40var-1280cl.8UNSAT0.35
1qbf-5cnf-40var-1280cl.4UNSAT0.35
1qbf-5cnf-40var-1280cl.5UNSAT0.35
4qbf-5cnf-20var-160cl.4UNSAT0.36
ncf_4_16_2_d.10UNSAT0.36
connect_7x6_5_WUNSAT0.36
6qbf-5cnf-160var-2560cl.0UNSAT0.36
1qbf-5cnf-40var-1280cl.2UNSAT0.36
1qbf-5cnf-40var-1280cl.1UNSAT0.36
k_grz_n-4SAT0.37
robots_1_5_3_100.2SAT0.37
1qbf-5cnf-40var-1280cl.0UNSAT0.37
1qbf-5cnf-40var-1280cl.6UNSAT0.37
robots_1_5_3_51.2SAT0.38
connect_7x6_5_DUNSAT0.38
4qbf-5cnf-80var-640cl.3UNSAT0.39
robots_1_5_4_22.2SAT0.39
ncf_4_16_4_euad.5SAT0.39
3qbf-5cnf-80var-1280cl.0UNSAT0.4
robots_1_5_4_32.2SAT0.4
robots_1_5_5_100.2SAT0.4
robots_1_5_4_59.2SAT0.4
ncf_4_16_2_euad.4SAT0.4
adder-2-unsatUNSAT0.41
robots_1_5_3_7.2SAT0.41
robots_1_5_3_30.2SAT0.41
robots_1_5_4_52.2SAT0.41
toilet_c_10_05.12SAT0.41
robots_1_5_5_31.2SAT0.41
robots_1_5_5_97.2SAT0.41
ncf_4_16_4_edau.4UNSAT0.42
robots_1_5_4_71.2SAT0.42
6qbf-5cnf-160var-2560cl.2UNSAT0.43
connect_7x6_3_WUNSAT0.43
ncf_8_16_2_euad.7SAT0.43
connect_7x6_3_DUNSAT0.43
robots_1_5_3_52.2SAT0.44
C499.blif_0.10_1.00_0_1_inp_exactSAT0.44
ncf_8_16_2_euad.1SAT0.44
robots_1_5_3_26.2SAT0.45
connect_7x6_4_WUNSAT0.45
6qbf-5cnf-80var-1280cl.4UNSAT0.45
connect_7x6_4_DUNSAT0.45
connect_8x7_7_WUNSAT0.46
4qbf-5cnf-160var-2560cl.1UNSAT0.46
ev-pr-4x4-5-3-0-0-1-lgSAT0.46
5qbf-5cnf-80var-1280cl.7UNSAT0.46
5qbf-5cnf-80var-1280cl.8UNSAT0.46
connect_8x7_7_DUNSAT0.47
robots_1_5_2_14.2SAT0.47
ncf_4_8_8_edau.8SAT0.47
k_lin_n-8SAT0.48
ncf_8_16_8_edau.8UNSAT0.48
ncf_4_16_2_u.4SAT0.49
robots_1_5_3_91.2SAT0.49
robots_1_5_3_80.2SAT0.49
counter_8SAT0.5
robots_1_5_2_28.2SAT0.5
ncf_4_16_2_edau.4SAT0.5
3qbf-5cnf-80var-1280cl.5UNSAT0.5
robots_1_5_2_81.2SAT0.5
robots_1_5_2_33.2SAT0.5
ncf_8_16_4_edau.3SAT0.5
robots_1_5_3_62.2SAT0.51
robots_1_5_2_10.2SAT0.51
robots_1_5_2_47.2SAT0.51
ncf_4_8_4_d.7UNSAT0.52
robots_1_5_2_100.2SAT0.52
robots_1_5_2_85.2SAT0.52
robots_1_5_3_25.2SAT0.52
robots_1_5_2_31.2SAT0.52
robots_1_5_2_49.2SAT0.52
6qbf-5cnf-80var-1280cl.2UNSAT0.53
ncf_4_16_2_edau.8SAT0.53
s1269_d8_sFAIL0.53
3qbf-5cnf-80var-640cl.9SAT0.55
BLOCKS3iii.5SAT0.58
ncf_8_16_4_d.10SAT0.6
TOILET6.1.iv.12SAT0.61
flipflop-9-cUNSAT0.61
vonNeumann-ripple-carry-7-cUNSAT0.63
6qbf-5cnf-160var-2560cl.3UNSAT0.63
2qbf-5cnf-40var-320cl.7UNSAT0.64
ncf_4_16_2_edau.3FAIL0.64
2qbf-5cnf-80var-160cl.9SAT0.65
ncf_4_8_8_d.1SAT0.66
4qbf-5cnf-20var-160cl.1UNSAT0.66
ncf_4_16_4_u.6UNSAT0.66
ncf_8_16_2_euad.4SAT0.67
ncf_4_8_8_u.8SAT0.67
ncf_4_8_8_euad.1SAT0.67
qshifter_6SAT0.68
ncf_8_16_4_euad.10SAT0.69
connect_8x7_5_WUNSAT0.7
ncf_4_8_8_euad.8SAT0.71
4qbf-5cnf-80var-320cl.6SAT0.71
connect_8x7_5_DUNSAT0.71
counter_re_4SAT0.71
connect_8x7_6_DUNSAT0.72
connect_8x7_6_WUNSAT0.73
5qbf-5cnf-80var-640cl.4SAT0.74
ncf_4_16_2_euad.1FAIL0.76
ncf_8_16_8_u.8UNSAT0.76
k_dum_p-12UNSAT0.77
4qbf-5cnf-160var-2560cl.4UNSAT0.78
ncf_4_8_8_edau.10SAT0.78
3qbf-5cnf-80var-640cl.4FAIL0.79
connect_8x7_4_DUNSAT0.8
k_grz_p-4UNSAT0.8
2qbf-5cnf-20var-160cl.9UNSAT0.81
connect_8x7_4_WUNSAT0.81
3qbf-5cnf-80var-640cl.8SAT0.84
connect_9x8_8_DUNSAT0.85
4qbf-5cnf-40var-160cl.8SAT0.86
ncf_4_16_2_edau.1UNSAT0.86
ncf_4_16_2_d.5FAIL0.86
ncf_4_16_2_d.1FAIL0.86
connect_9x8_8_WUNSAT0.86
ncf_16_32_4_edau.10UNSAT0.87
ncf_4_16_2_euad.8FAIL0.88
ncf_4_16_2_d.8SAT0.88
connect_8x7_3_DUNSAT0.89
5qbf-5cnf-80var-640cl.5SAT0.92
ncf_4_16_4_edau.10UNSAT0.92
connect_8x7_3_WUNSAT0.92
4qbf-5cnf-40var-320cl.9UNSAT0.95
k_path_n-8SAT0.96
3qbf-5cnf-80var-1280cl.7UNSAT0.96
ncf_4_16_2_euad.5FAIL0.98
vonNeumann-ripple-carry-8-cUNSAT0.98
2qbf-5cnf-40var-160cl.2UNSAT0.99
ncf_4_32_2_edau.2SAT0.99
5qbf-5cnf-160var-1280cl.0SAT1
ncf_4_16_4_edau.7SAT1
ncf_4_16_2_u.10UNSAT1
4qbf-5cnf-80var-320cl.5SAT1.02
ncf_8_16_2_d.4SAT1.07
ncf_4_8_8_euad.3SAT1.08
k_grz_n-8SAT1.09
1qbf-5cnf-160var-2560cl.2SAT1.11
ncf_4_16_2_u.1UNSAT1.13
3qbf-5cnf-160var-2560cl.4UNSAT1.14
5qbf-5cnf-160var-1280cl.7SAT1.17
ncf_4_16_4_d.5SAT1.18
flipflop-10-cUNSAT1.22
ncf_4_16_2_u.8FAIL1.25
2qbf-5cnf-80var-160cl.1SAT1.25
k_poly_p-4UNSAT1.25
connect_9x8_6_DUNSAT1.26
connect_9x8_7_DUNSAT1.27
connect_9x8_7_WUNSAT1.28
BLOCKS3ii.4.3UNSAT1.29
4qbf-5cnf-20var-160cl.2SAT1.3
connect_9x8_5_WUNSAT1.31
connect_9x8_6_WUNSAT1.32
connect_9x8_5_DUNSAT1.35
6qbf-5cnf-40var-320cl.0FAIL1.35
ncf_4_16_4_euad.1SAT1.35
ncf_4_8_8_d.8SAT1.36
ncf_4_16_4_d.1SAT1.39
k_dum_p-16UNSAT1.39
ncf_4_16_2_u.5UNSAT1.41
C880.blif_0.10_1.00_0_1_inp_exactSAT1.41
1qbf-5cnf-160var-2560cl.1SAT1.42
ncf_4_16_2_euad.10FAIL1.43
counter_e_4SAT1.45
ncf_4_32_2_edau.10SAT1.46
connect_9x8_4_DUNSAT1.46
ncf_4_16_2_euad.3FAIL1.47
lognBWLARGEA1UNSAT1.48
5qbf-5cnf-80var-1280cl.1UNSAT1.48
connect_9x8_3_WUNSAT1.49
5qbf-5cnf-160var-2560cl.0UNSAT1.49
ncf_8_16_8_edau.6UNSAT1.5
connect_9x8_4_WUNSAT1.51
2qbf-5cnf-80var-160cl.6SAT1.52
3qbf-5cnf-80var-640cl.6FAIL1.52
ncf_4_16_2_d.3UNSAT1.54
connect_9x8_3_DUNSAT1.54
ncf_4_16_4_u.8SAT1.57
szymanski-4-sUNSAT1.58
4qbf-5cnf-40var-320cl.7UNSAT1.6
6qbf-5cnf-40var-320cl.3FAIL1.67
6qbf-5cnf-40var-320cl.7FAIL1.69
ncf_4_8_8_u.10SAT1.72
3qbf-5cnf-160var-2560cl.5UNSAT1.8
6qbf-5cnf-40var-320cl.5FAIL1.81
vonNeumann-ripple-carry-9-cUNSAT1.82
ncf_4_16_2_edau.5UNSAT1.87
5qbf-5cnf-80var-640cl.9SAT1.89
2qbf-5cnf-80var-640cl.1UNSAT1.89
lut4_2_f1SAT1.92
k_lin_n-12SAT1.98
ncf_4_16_4_edau.8SAT2.01
lut4_AND_f1SAT2.07
k_grz_p-8UNSAT2.09
k_dum_p-20UNSAT2.12
flipflop-11-cUNSAT2.15
ncf_8_16_8_u.6UNSAT2.2
k_t4p_p-4UNSAT2.24
ncf_16_32_4_u.10UNSAT2.26
ncf_4_16_4_d.6UNSAT2.26
k_dum_p-21UNSAT2.3
5qbf-5cnf-160var-1280cl.4SAT2.36
C432.blif_0.10_1.00_0_0_inp_exactUNSAT2.44
BLOCKS3ii.5.2UNSAT2.48
ncf_4_16_4_euad.8SAT2.52
ncf_4_8_8_d.3SAT2.53
5qbf-5cnf-80var-640cl.6SAT2.55
k_branch_p-8UNSAT2.57
vonNeumann-ripple-carry-10-cUNSAT2.6
ncf_8_16_8_euad.7UNSAT2.67
ev-pr-6x6-5-5-0-1-2-lgUNSAT2.68
6qbf-5cnf-160var-2560cl.1UNSAT2.72
ncf_4_16_4_d.7SAT2.79
ncf_8_16_8_d.7UNSAT2.99
ncf_4_32_2_u.10SAT3.01
6qbf-5cnf-160var-2560cl.7UNSAT3.08
ncf_4_16_4_u.4UNSAT3.22
5qbf-5cnf-40var-320cl.6SAT3.24
5qbf-5cnf-80var-1280cl.0UNSAT3.31
flipflop-12-cUNSAT3.33
TOILET6.1.iv.11UNSAT3.44
3qbf-5cnf-160var-2560cl.3UNSAT3.46
ncf_4_16_4_d.8SAT3.46
k_path_p-8UNSAT3.63
ev-pr-4x4-7-3-0-0-1-lgSAT3.72
lognBWLARGEB1UNSAT3.86
6qbf-5cnf-40var-320cl.4FAIL3.96
C6288.blif_0.10_1.00_0_1_out_exactSAT3.99
k_d4_p-8UNSAT4.05
vonNeumann-ripple-carry-11-cUNSAT4.19
6qbf-5cnf-40var-320cl.9FAIL4.28
ncf_4_8_8_d.2UNSAT4.32
ncf_8_16_8_euad.8UNSAT4.41
6qbf-5cnf-20var-160cl.0FAIL4.46
2qbf-5cnf-40var-160cl.1UNSAT4.54
ncf_8_32_2_edau.3UNSAT4.55
toilet_a_10_10.2SAT4.58
k_d4_n-4SAT4.63
4qbf-5cnf-40var-320cl.6UNSAT4.73
term1.blif_0.10_1.00_0_0_inp_exactUNSAT4.77
4qbf-5cnf-20var-160cl.6UNSAT4.86
toilet_c_08_01.16SAT4.86
2qbf-5cnf-80var-640cl.4UNSAT5.19
ncf_4_32_2_euad.2SAT5.38
vonNeumann-ripple-carry-12-cUNSAT5.42
6qbf-5cnf-160var-2560cl.8UNSAT5.44
ev-pr-6x6-17-5-0-1-2-sFAIL5.47
robots_1_5_5_66.4SAT5.54
robots_1_5_5_26.4SAT5.63
qshifter_7SAT5.64
ncf_4_16_4_d.10UNSAT5.67
TOILET7.1.iv.14SAT5.71
5qbf-5cnf-160var-2560cl.2UNSAT5.75
2qbf-5cnf-80var-160cl.7SAT5.76
C880.blif_0.10_1.00_0_1_out_exactSAT5.77
ncf_4_32_4_edau.2SAT5.82
k_lin_n-16SAT5.83
term1.blif_0.10_1.00_0_0_out_exactUNSAT5.9
toilet_a_08_01.16SAT5.92
toilet_a_10_05.4SAT6.04
mutex-8-sSAT6.1
ncf_4_8_8_euad.7SAT6.18
6qbf-5cnf-160var-2560cl.6UNSAT6.2
ncf_4_16_4_u.10UNSAT6.29
ncf_16_32_2_u.10UNSAT6.4
6qbf-5cnf-40var-320cl.2FAIL6.4
ncf_8_16_8_d.8UNSAT6.4
ncf_4_16_4_edau.1SAT6.79
ncf_4_8_8_u.3SAT6.85
ncf_4_16_4_u.1SAT7
3qbf-5cnf-80var-640cl.3FAIL7.15
ncf_4_32_2_edau.7SAT7.31
3qbf-5cnf-80var-640cl.2FAIL7.39
3qbf-5cnf-160var-2560cl.6UNSAT7.51
vonNeumann-ripple-carry-13-cUNSAT7.68
ncf_4_8_8_edau.6UNSAT7.85
ncf_4_8_8_d.7SAT7.87
ncf_8_32_2_edau.6UNSAT7.93
ncf_16_32_8_euad.3SAT8.09
ncf_4_16_2_u.3FAIL8.34
4qbf-5cnf-40var-320cl.0UNSAT8.4
5qbf-5cnf-160var-2560cl.5UNSAT8.65
ncf_4_16_4_u.7SAT8.81
ncf_4_8_8_euad.5UNSAT8.99
ncf_16_32_2_edau.10UNSAT9.54
ncf_4_8_8_edau.7SAT9.81
ncf_4_8_8_d.5UNSAT9.86
3qbf-5cnf-160var-2560cl.2UNSAT9.87
k_ph_n-8SAT9.97
5qbf-5cnf-80var-640cl.1SAT10.38
2qbf-5cnf-80var-640cl.9UNSAT10.45
ncf_8_16_8_d.9UNSAT11.4
4qbf-5cnf-20var-160cl.7UNSAT11.59
ncf_4_8_8_d.10SAT11.77
5qbf-5cnf-160var-2560cl.9UNSAT12.02
k_lin_n-20SAT12.25
vonNeumann-ripple-carry-15-cUNSAT13.35
ncf_8_16_4_d.7SAT13.48
k_poly_p-8UNSAT13.68
ncf_4_8_8_edau.3SAT13.73
ev-pr-8x8-7-7-0-1-2-lgUNSAT14.11
ncf_8_16_4_euad.7SAT14.38
k_lin_n-21SAT14.42
ncf_4_16_4_d.4UNSAT14.7
ncf_8_16_4_d.3SAT14.71
4qbf-5cnf-80var-320cl.8SAT15.34
BLOCKS3iii.4UNSAT16.42
ncf_4_16_8_edau.9SAT17.25
BLOCKS3ii.5.3SAT17.27
ncf_4_16_4_euad.2SAT17.45
Adder2-4-cUNSAT17.58
4qbf-5cnf-20var-160cl.5UNSAT17.86
k_lin_p-4UNSAT18.07
ncf_4_16_4_edau.2SAT18.27
k_t4p_n-4SAT18.4
ncf_16_32_2_u.2UNSAT18.69
ncf_4_8_8_u.5UNSAT19.23
s3330_d9_sFAIL19.69
ncf_4_32_2_d.2SAT20.27
ncf_4_16_4_d.3SAT21.23
ncf_4_8_8_euad.10SAT21.42
ncf_8_16_4_euad.3SAT21.79
ncf_8_16_4_euad.4SAT21.99
ncf_8_16_4_d.4SAT24.06
3qbf-5cnf-160var-2560cl.0UNSAT24.41
5qbf-5cnf-160var-2560cl.7UNSAT24.57
5qbf-5cnf-160var-2560cl.6UNSAT25.68
ncf_16_32_2_u.4UNSAT26.25
4qbf-5cnf-80var-640cl.5UNSAT27.1
3qbf-5cnf-160var-2560cl.1UNSAT28.52
4qbf-5cnf-20var-160cl.9SAT28.61
ncf_4_16_4_euad.7SAT28.73
ev-pr-4x4-9-3-0-0-1-lgSAT29.04
ncf_4_8_8_d.6UNSAT30.89
connect_5x4_4_RUNSAT31.69
ncf_16_32_8_d.3SAT33.4
ncf_16_32_2_d.2UNSAT33.44
ncf_4_16_4_euad.10UNSAT33.71
ncf_4_16_8_d.5UNSAT33.74
ncf_8_16_8_euad.9UNSAT35.4
ncf_8_16_4_edau.9UNSAT35.42
ncf_4_8_8_euad.2UNSAT35.74
ev-pr-6x6-7-5-0-1-2-lgUNSAT35.77
ncf_4_16_8_euad.7SAT36.46
ncf_4_16_8_euad.9SAT36.9
ncf_8_16_4_d.9UNSAT37.19
ncf_4_32_4_u.2SAT37.65
s27_d4_uUNSAT38.91
toilet_c_10_01.16UNSAT39.81
ncf_8_16_8_edau.9UNSAT41.19
szymanski-5-sUNSAT41.26
3qbf-5cnf-80var-640cl.7FAIL42.72
ncf_4_16_8_u.9SAT43.6
ncf_16_32_4_u.9SAT44.14
ncf_16_32_2_edau.4UNSAT44.61
2qbf-5cnf-40var-320cl.6UNSAT45.41
4qbf-5cnf-80var-320cl.4SAT45.64
k_branch_n-8SAT46.2
k_d4_p-12UNSAT47.82
renHorn_400CNF1960_2aQBF_41SAT49.42
horn_400CNF1360_2aQBF_831UNSAT49.69
horn_400CNF2320_2aQBF_209UNSAT49.91
horn_400CNF1680_2aQBF_698SAT50.96
horn_400CNF2000_2aQBF_650UNSAT51.09
k_poly_p-12UNSAT51.48
horn_400CNF1840_2aQBF_547SAT51.83
ncf_4_16_4_d.2SAT52.83
horn_400CNF1440_2aQBF_925SAT53.52
qshifter_8SAT54.24
3qbf-5cnf-80var-640cl.5FAIL54.38
horn_400CNF1600_2aQBF_571UNSAT55.65
TOILET7.1.iv.13UNSAT55.98
horn_400CNF1600_2aQBF_236UNSAT56.61
horn_400CNF1440_2aQBF_165UNSAT56.73
ncf_4_8_8_edau.5UNSAT56.93
2qbf-5cnf-80var-640cl.5UNSAT56.99
ncf_4_32_2_u.7SAT57.94
ncf_16_32_4_edau.9SAT58.16
horn_400CNF1920_2aQBF_970SAT58.66
horn_400CNF2080_2aQBF_584UNSAT59.59
horn_400CNF1840_2aQBF_752UNSAT60.6
term1.blif_0.10_0.20_0_0_out_exactFAIL61.77
horn_400CNF1440_2aQBF_737SAT63.1
3qbf-5cnf-160var-2560cl.8UNSAT63.91
renHorn_400CNF1960_2aQBF_50UNSAT64.33
connect_5x4_3_RUNSAT65.21
3qbf-5cnf-160var-1280cl.6SAT65.68
renHorn_400CNF1200_2aQBF_79UNSAT67.42
toilet_a_10_01.16UNSAT68.45
horn_400CNF1840_2aQBF_340UNSAT70.87
horn_400CNF1360_2aQBF_894UNSAT71.18
horn_400CNF1680_2aQBF_950SAT71.23
horn_400CNF1360_2aQBF_755UNSAT71.76
Adder2-4-sSAT72.78
horn_400CNF1680_2aQBF_286SAT74.08
renHorn_400CNF1480_2aQBF_62SAT74.53
renHorn_400CNF1800_2aQBF_5SAT74.57
horn_400CNF2000_2aQBF_104UNSAT74.6
ncf_4_16_8_d.9SAT74.84
2qbf-5cnf-80var-640cl.8UNSAT74.84
ncf_16_32_8_u.3SAT75.33
horn_400CNF1360_2aQBF_565SAT76.57
horn_400CNF1520_2aQBF_116SAT77.13
robots_1_5_4_100.8UNSAT78.01
ncf_16_32_8_edau.4SAT78.42
horn_400CNF2320_2aQBF_433UNSAT78.51
horn_400CNF1840_2aQBF_198SAT78.56
horn_400CNF1280_2aQBF_755SAT79.87
horn_400CNF2000_2aQBF_702SAT80.06
horn_400CNF1760_2aQBF_726UNSAT80.59
horn_400CNF2320_2aQBF_772UNSAT81.27
horn_400CNF2160_2aQBF_976UNSAT81.43
horn_400CNF1440_2aQBF_829UNSAT81.81
horn_400CNF2080_2aQBF_322UNSAT82.26
renHorn_400CNF2120_2aQBF_10SAT84.08
ncf_4_16_4_euad.4UNSAT84.42
horn_400CNF2320_2aQBF_813SAT86.7
horn_400CNF2000_2aQBF_878SAT87.01
ncf_4_16_8_d.8UNSAT87.56
ncf_4_16_8_edau.3SAT87.88
ncf_16_32_8_edau.3SAT88.25
horn_400CNF2000_2aQBF_577SAT88.54
ncf_4_16_8_edau.8UNSAT89.42
ncf_4_16_4_euad.3SAT90.09
horn_400CNF1440_2aQBF_147SAT91.7
horn_400CNF1760_2aQBF_484UNSAT93.29
k_path_n-12SAT93.29
horn_400CNF1440_2aQBF_676SAT94.08
5qbf-5cnf-160var-2560cl.8UNSAT94.74
horn_400CNF2320_2aQBF_420UNSAT95.14
horn_400CNF2320_2aQBF_72SAT95.87
ncf_8_16_8_d.2SAT96.46
5qbf-5cnf-160var-2560cl.4UNSAT99.12
ev-pr-8x8-9-7-0-1-2-lgUNSAT99.59
ncf_8_16_8_u.9UNSAT100.68
ncf_4_32_2_edau.6UNSAT101.51
ncf_4_16_8_d.10SAT101.63
horn_400CNF1520_2aQBF_995SAT102.36
robots_1_5_5_66.8SAT104.47
horn_400CNF1920_2aQBF_952SAT105.03
renHorn_400CNF2280_2aQBF_59SAT105.9
4qbf-5cnf-160var-1280cl.5UNSAT107.25
robots_1_5_4_31.4SAT111.02
horn_400CNF1840_2aQBF_329SAT111.94
horn_400CNF1840_2aQBF_32SAT119.9
ncf_16_32_2_edau.2UNSAT122.51
horn_400CNF1520_2aQBF_165UNSAT123.13
robots_1_5_4_30.4SAT123.3
horn_400CNF2160_2aQBF_92SAT123.49
horn_400CNF1440_2aQBF_668UNSAT124.45
ncf_8_16_4_edau.4SAT124.53
renHorn_400CNF1200_2aQBF_28UNSAT124.58
robots_1_5_3_44.8UNSAT125.69
ncf_8_16_8_d.6UNSAT125.78
ncf_4_8_8_u.7SAT127.04
term1.blif_0.10_0.20_0_0_inp_exactUNSAT127.93
horn_400CNF1360_2aQBF_788SAT129.53
renHorn_400CNF1360_2aQBF_96SAT129.73
ncf_8_16_4_u.4SAT130.31
horn_400CNF1680_2aQBF_589UNSAT131.73
ncf_4_32_4_u.5SAT131.81
robots_1_5_4_56.8UNSAT133.26
k_poly_p-16UNSAT133.46
robots_1_5_5_33.8UNSAT133.83
horn_400CNF1920_2aQBF_890UNSAT134.58
ncf_8_16_8_d.4UNSAT134.73
horn_400CNF1920_2aQBF_583SAT135.76
horn_400CNF2160_2aQBF_427SAT135.91
horn_400CNF2080_2aQBF_194UNSAT136.44
robots_1_5_5_87.4SAT136.59
ncf_4_8_8_euad.6UNSAT137.57
renHorn_400CNF2120_2aQBF_84SAT138.29
horn_400CNF2160_2aQBF_23UNSAT139.58
robots_1_5_4_91.8UNSAT140.19
horn_400CNF2000_2aQBF_787UNSAT141.99
horn_400CNF1760_2aQBF_93SAT143.24
robots_1_5_5_100.8UNSAT143.92
renHorn_400CNF1480_2aQBF_96SAT145.68
ncf_16_32_8_u.4SAT146
ncf_16_32_4_d.10UNSAT147.46
robots_1_5_3_70.8UNSAT150.63
horn_400CNF1520_2aQBF_382SAT150.64
renHorn_400CNF2120_2aQBF_63SAT150.77
horn_400CNF1520_2aQBF_405UNSAT150.95
k_grz_p-12UNSAT151.68
ncf_8_16_8_euad.6UNSAT152.13
horn_400CNF2080_2aQBF_793UNSAT152.47
ncf_8_16_4_euad.9UNSAT152.65
horn_400CNF1600_2aQBF_956SAT154.6
ncf_4_32_4_edau.5SAT157.07
ncf_4_8_8_edau.2UNSAT159.78
ncf_4_16_8_edau.4SAT160.3
ncf_16_32_4_euad.10UNSAT162.28
robots_1_5_3_8.8UNSAT163.07
horn_400CNF1760_2aQBF_997SAT163.84
ncf_4_16_8_euad.10SAT163.94
robots_1_5_2_82.8UNSAT164.34
horn_400CNF2080_2aQBF_682UNSAT169.38
ncf_4_16_8_euad.2SAT170.51
renHorn_400CNF1200_2aQBF_85SAT177.16
horn_400CNF2320_2aQBF_458SAT177.27
renHorn_400CNF1360_2aQBF_35UNSAT178.04
renHorn_400CNF1800_2aQBF_36UNSAT179.33
ncf_4_16_8_euad.8UNSAT180.13
renHorn_400CNF2040_2aQBF_86SAT180.26
ncf_4_32_2_euad.4UNSAT181.46
ncf_4_32_2_d.4UNSAT182.36
horn_400CNF2080_2aQBF_840SAT184.46
k_branch_p-12UNSAT186.87
robots_1_5_3_66.4SAT187.81
horn_400CNF1520_2aQBF_625UNSAT188.2
ncf_4_16_8_u.4SAT189.72
comp.blif_0.10_0.20_0_0_out_exactUNSAT191.16
ncf_4_16_8_d.7SAT193.31
horn_400CNF1600_2aQBF_103SAT202.22
szymanski-6-sUNSAT208.32
2qbf-5cnf-160var-320cl.5SAT209.6
ncf_4_16_8_euad.4SAT212.34
ncf_8_32_2_u.3UNSAT214.27
ev-pr-4x4-11-3-0-0-1-lgSAT216.48
horn_400CNF1760_2aQBF_886UNSAT220.7
ncf_4_16_4_euad.6UNSAT221.03
horn_400CNF1520_2aQBF_782UNSAT221.75
ncf_16_32_4_d.7UNSAT229.87
horn_400CNF1520_2aQBF_760SAT232.89
horn_400CNF1680_2aQBF_244SAT235.16
horn_400CNF1840_2aQBF_401UNSAT235.72
ncf_16_32_2_u.3SAT240.52
horn_400CNF2080_2aQBF_714SAT242.01
ncf_8_16_4_u.9UNSAT242.26
k_grz_n-16SAT244.86
renHorn_400CNF1200_2aQBF_97UNSAT245.57
ncf_8_16_8_edau.4UNSAT246.18
C432.blif_0.10_1.00_0_0_out_exactUNSAT246.99
ncf_16_32_2_d.6SAT247.24
horn_400CNF2080_2aQBF_176SAT249.46
horn_400CNF2320_2aQBF_137UNSAT251.15
ncf_4_32_2_edau.4UNSAT251.3
ncf_4_8_8_u.6UNSAT254.11
robots_1_5_3_100.4SAT254.33
robots_1_5_3_16.4SAT256.58
horn_400CNF2000_2aQBF_456UNSAT261.19
robots_1_5_4_91.4SAT261.3
horn_400CNF2160_2aQBF_411UNSAT266.51
renHorn_400CNF2360_2aQBF_9SAT268.93
k_poly_p-20UNSAT272.81
C499.blif_0.10_0.20_0_1_inp_exactSAT273.42
horn_400CNF1600_2aQBF_26UNSAT276.56
ev-pr-6x6-9-5-0-1-2-lgUNSAT278.18
ncf_16_32_2_d.10UNSAT279.95
ncf_4_16_8_d.2SAT280
robots_1_5_4_75.8UNSAT281.34
ncf_16_32_2_edau.3SAT283.11
4qbf-5cnf-80var-320cl.3SAT287.33
renHorn_400CNF1400_2aQBF_80SAT290.95
k_path_p-12UNSAT293.05
horn_400CNF1920_2aQBF_704UNSAT293.78
horn_400CNF1920_2aQBF_597SAT293.87
horn_400CNF1520_2aQBF_702SAT299.28
k_poly_p-21UNSAT305.67
horn_400CNF1760_2aQBF_686SAT306.71
horn_400CNF1600_2aQBF_73SAT308.62
horn_400CNF1920_2aQBF_603UNSAT309
horn_400CNF2320_2aQBF_797SAT314.83
robots_1_5_2_61.8UNSAT319.29
renHorn_400CNF1560_2aQBF_2UNSAT327.51
horn_400CNF2160_2aQBF_657UNSAT327.57
2qbf-5cnf-40var-160cl.7UNSAT329.09
ncf_16_32_8_euad.4SAT333.44
horn_400CNF1840_2aQBF_215UNSAT333.48
horn_400CNF1680_2aQBF_154UNSAT336.87
horn_400CNF1920_2aQBF_647SAT337.19
horn_400CNF2000_2aQBF_8UNSAT343.04
horn_400CNF1920_2aQBF_534SAT343.33
ncf_4_8_8_u.2UNSAT347.91
ncf_16_32_4_euad.9SAT351.96
robots_1_5_5_34.4SAT352.6
ncf_8_16_8_edau.5SAT353.87
ncf_8_16_8_d.5SAT355.63
horn_400CNF1600_2aQBF_505SAT355.95
ncf_4_32_2_u.6UNSAT357.93
horn_400CNF1760_2aQBF_188UNSAT360.84
ncf_4_32_2_edau.5UNSAT377.07
horn_400CNF1680_2aQBF_503SAT388.41
connect_6x5_5_RUNSAT390.27
horn_400CNF1520_2aQBF_98UNSAT391.12
k_d4_p-16UNSAT393.18
robots_1_5_3_52.4SAT393.56
robots_1_5_3_55.8UNSAT395.79
robots_1_5_4_2.4SAT397.94
horn_400CNF1600_2aQBF_331SAT404.09
robots_1_5_5_8.4SAT408.08
ncf_8_16_8_euad.2SAT409.31
robots_1_5_5_100.4SAT409.78
horn_400CNF1600_2aQBF_912SAT412.83
horn_400CNF1280_2aQBF_841UNSAT418.61
renHorn_400CNF1480_2aQBF_98SAT433.72
horn_400CNF1600_2aQBF_278UNSAT446.95
horn_400CNF1520_2aQBF_600UNSAT450.54
ncf_16_32_2_euad.2UNSAT452.1
robots_1_5_2_21.4SAT453.69
horn_400CNF1760_2aQBF_711SAT455.06
robots_1_5_3_90.8UNSAT474.05
5qbf-5cnf-160var-2560cl.1UNSAT476.4
horn_400CNF2320_2aQBF_132SAT484.18
horn_400CNF1920_2aQBF_75UNSAT485.09
ncf_8_16_8_euad.3SAT501.88
ncf_4_16_4_u.2SAT507.8
ev-pr-8x8-11-7-0-1-2-lgUNSAT511.79
ncf_4_16_8_euad.6SAT516.32
renHorn_400CNF1640_2aQBF_7UNSAT518.03
renHorn_400CNF2120_2aQBF_17UNSAT530.68
ncf_16_32_4_edau.8SAT539.56
horn_400CNF2080_2aQBF_832SAT540.33
ncf_8_16_8_euad.5SAT541.26
C432.blif_0.10_0.20_0_0_inp_exactUNSAT549.48
horn_400CNF2160_2aQBF_407SAT563.98
robots_1_5_3_100.8UNSAT570.2
horn_400CNF1440_2aQBF_642SAT573.21
ncf_16_32_4_d.9SAT578
1qbf-5cnf-160var-2560cl.3SAT629.36
ncf_16_32_4_euad.8SAT630.25
4qbf-5cnf-40var-320cl.1UNSAT653.01
k_t4p_p-8UNSAT667.63
2qbf-5cnf-40var-160cl.6UNSAT674.82
horn_400CNF1680_2aQBF_745SAT676.07
ncf_4_16_8_d.6SAT677.68
renHorn_400CNF1640_2aQBF_79SAT680.73
ncf_4_16_8_edau.2SAT684.34
horn_400CNF1840_2aQBF_514SAT685.06
k_grz_n-12SAT690.19
robots_1_5_5_10.8UNSAT699.91
horn_400CNF1600_2aQBF_3SAT711.68
horn_400CNF1680_2aQBF_695SAT714.63
ncf_8_16_8_edau.2SAT715.5
ncf_4_32_2_d.6UNSAT719.58
horn_400CNF1840_2aQBF_323SAT721.24
robots_1_5_5_50.8UNSAT726.58
horn_400CNF2080_2aQBF_709SAT732.11
horn_400CNF1680_2aQBF_433UNSAT738.99
ncf_4_16_8_u.3SAT739.88
2qbf-5cnf-160var-320cl.0SAT758.22
k_path_n-20SAT766.21
renHorn_400CNF1720_2aQBF_92SAT766.82
ncf_4_32_2_u.5UNSAT791.96
robots_1_5_4_17.8UNSAT795.41
ncf_16_32_4_euad.7UNSAT799.74
horn_400CNF1680_2aQBF_547SAT820.27
horn_400CNF2000_2aQBF_642UNSAT825.33
horn_400CNF1920_2aQBF_721UNSAT826.38
renHorn_400CNF1280_2aQBF_3SAT838.22
robots_1_5_2_9.8UNSAT841.85
ncf_4_16_8_d.4SAT854.69
ncf_8_16_8_u.2SAT861.59
ncf_16_32_4_u.8SAT866.96
ncf_16_32_8_d.4SAT881.88
renHorn_400CNF1480_2aQBF_92SAT884.94
renHorn_400CNF1480_2aQBF_99SAT895.52
1qbf-5cnf-160var-2560cl.7FAIL898.04
ncf_16_64_8_edau.1FAIL898.45
renHorn_400CNF1560_2aQBF_68FAIL898.51
ncf_8_32_2_edau.5FAIL898.54
BLOCKS3i.5.4FAIL898.59
renHorn_400CNF1800_2aQBF_53FAIL898.65
ncf_16_64_8_d.2FAIL898.72
ncf_4_32_4_edau.1FAIL900.21
toilet_c_10_01.20FAIL900.47
s510_d46_sFAIL900.58
ncf_8_64_8_u.10FAIL900.64
s510_d47_uFAIL900.68
ev-pr-6x6-19-5-0-1-2-sFAIL900.7
C5315.blif_0.10_1.00_0_0_out_exactFAIL900.74
ev-pr-6x6-11-5-0-1-2-sFAIL900.75
toilet_a_10_01.20FAIL900.75
szymanski-24-sFAIL900.77
ev-pr-6x6-15-5-0-1-2-sFAIL900.77
ev-pr-6x6-9-5-0-1-2-sFAIL900.78
ev-pr-6x6-13-5-0-1-2-sFAIL900.83
szymanski-22-sFAIL900.83
szymanski-20-sFAIL900.83
s510_d32_sFAIL900.84
k_ph_n-21FAIL900.84
connect_9x8_3_RFAIL900.85
connect_9x8_5_RFAIL900.87
C5315.blif_0.10_1.00_0_1_out_exactFAIL900.87
ncf_16_128_4_euad.7FAIL900.87
k_ph_p-21FAIL900.87
ev-pr-6x6-7-5-0-1-2-sFAIL900.88
connect_9x8_8_RFAIL900.89
connect_8x7_3_RFAIL900.9
1qbf-5cnf-160var-2560cl.9FAIL900.9
szymanski-18-sFAIL900.91
k_ph_n-20FAIL900.91
ev-pr-8x8-19-7-0-1-2-lgFAIL900.91
k_branch_n-20FAIL900.91
s3330_d10_uFAIL900.91
k_ph_p-20FAIL900.91
connect_9x8_4_RFAIL900.91
counter_64FAIL900.91
szymanski-16-sFAIL900.91
comp.blif_0.10_1.00_0_0_out_exactFAIL900.91
connect_8x7_7_RFAIL900.92
adder-6-unsatFAIL900.92
connect_9x8_6_RFAIL900.92
ev-pr-8x8-15-7-0-1-2-lgFAIL900.92
adder-12-unsatFAIL900.92
ev-pr-8x8-17-7-0-1-2-lgFAIL900.92
s3330_d8_sFAIL900.92
1qbf-5cnf-160var-2560cl.4FAIL900.92
1qbf-5cnf-160var-2560cl.6FAIL900.92
1qbf-5cnf-160var-2560cl.5FAIL900.92
adder-14-unsatFAIL900.93
connect_8x7_4_RFAIL900.93
connect_8x7_5_RFAIL900.93
connect_7x6_3_RFAIL900.93
k_ph_n-16FAIL900.94
ev-pr-6x6-5-5-0-1-2-sFAIL900.94
k_branch_n-21FAIL900.94
s510_d16_sFAIL900.94
1qbf-5cnf-160var-5120cl.3FAIL900.94
1qbf-5cnf-160var-5120cl.9FAIL900.94
1qbf-5cnf-160var-5120cl.1FAIL900.94
1qbf-5cnf-160var-5120cl.0FAIL900.94
1qbf-5cnf-160var-5120cl.7FAIL900.94
ev-pr-4x4-15-3-0-0-1-sFAIL900.95
counter_re_64FAIL900.95
adder-8-unsatFAIL900.95
ev-pr-8x8-13-7-0-1-2-lgFAIL900.95
BLOCKS4ii.6.3FAIL900.95
ev-pr-6x6-19-5-0-1-2-lgFAIL900.95
s1269_d10_sFAIL900.95
connect_7x6_4_RFAIL900.95
szymanski-14-sFAIL900.95
connect_9x8_7_RFAIL900.95
Adder2-6-cFAIL900.95
ev-pr-6x6-17-5-0-1-2-lgFAIL900.96
robots_1_5_5_5.8FAIL900.96
ncf_8_64_4_u.7FAIL900.96
ev-pr-4x4-7-3-0-0-1-sFAIL900.96
ncf_8_64_8_euad.9FAIL900.96
adder-10-unsatFAIL900.96
C499.blif_0.10_1.00_0_0_out_exactFAIL900.96
Adder2-6-sFAIL900.96
robots_1_5_2_32.8FAIL900.96
counter_e_64FAIL900.96
k_branch_p-20FAIL900.96
adder-16-unsatFAIL900.96
robots_1_5_2_2.4FAIL900.96
1qbf-5cnf-160var-5120cl.4FAIL900.96
1qbf-5cnf-160var-5120cl.5FAIL900.96
1qbf-5cnf-80var-2560cl.8FAIL900.96
lut4_2_f2FAIL900.97
ev-pr-6x6-11-5-0-1-2-lgFAIL900.97
ncf_16_32_4_euad.2FAIL900.97
ncf_16_128_8_edau.4FAIL900.97
ncf_16_128_8_d.2FAIL900.97
robots_1_5_2_91.8FAIL900.97
ncf_16_128_8_euad.2FAIL900.97
ncf_4_32_8_u.3FAIL900.97
robots_1_5_3_57.4FAIL900.97
connect_6x5_4_RFAIL900.97
ev-pr-4x4-17-3-0-0-1-sFAIL900.97
ncf_16_64_4_edau.8FAIL900.97
ncf_8_64_8_edau.1FAIL900.97
2qbf-5cnf-160var-320cl.9FAIL900.97
ncf_8_64_4_u.4FAIL900.97
ncf_16_128_8_u.8FAIL900.97
renHorn_400CNF1800_2aQBF_7FAIL900.97
ncf_16_32_4_euad.6FAIL900.97
ncf_16_64_2_u.2FAIL900.97
k_branch_p-21FAIL900.97
ncf_16_64_4_d.1FAIL900.97
s499_d21_sFAIL900.97
ev-pr-4x4-11-3-0-0-1-sFAIL900.97
ncf_8_32_2_euad.2FAIL900.97
ncf_4_32_8_euad.7FAIL900.97
szymanski-8-sFAIL900.97
ncf_16_128_4_u.2FAIL900.97
s1269_d11_uFAIL900.97
ncf_16_128_8_d.4FAIL900.97
Adder2-12-sFAIL900.97
ncf_16_128_2_edau.5FAIL900.97
k_branch_n-16FAIL900.97
robots_1_5_3_2.4FAIL900.97
horn_400CNF1360_2aQBF_867FAIL900.97
C5315.blif_0.10_0.20_0_0_inp_exactFAIL900.97
ev-pr-6x6-13-5-0-1-2-lgFAIL900.97
ncf_16_128_2_euad.4FAIL900.97
s820_d11_uFAIL900.97
mutex-128-sFAIL900.97
adder-4-unsatFAIL900.97
robots_1_5_3_27.8FAIL900.97
robots_1_5_4_46.8FAIL900.97
horn_400CNF1600_2aQBF_922FAIL900.97
1qbf-5cnf-80var-2560cl.2FAIL900.97
1qbf-5cnf-160var-5120cl.2FAIL900.97
1qbf-5cnf-160var-5120cl.8FAIL900.97
1qbf-5cnf-80var-2560cl.7FAIL900.97
1qbf-5cnf-80var-2560cl.0FAIL900.97
ncf_8_64_2_d.10FAIL900.98
robots_1_5_5_99.8FAIL900.98
ncf_8_32_4_d.6FAIL900.98
ncf_4_32_2_d.1FAIL900.98
ncf_16_64_8_u.1FAIL900.98
ncf_16_64_2_d.7FAIL900.98
connect_8x7_6_RFAIL900.98
ncf_16_128_8_u.2FAIL900.98
ncf_8_16_8_u.5FAIL900.98
ncf_8_32_4_edau.5FAIL900.98
ncf_8_64_8_euad.4FAIL900.98
ncf_4_32_2_edau.1FAIL900.98
C6288.blif_0.10_0.20_0_0_out_exactFAIL900.98
ncf_8_16_8_u.3FAIL900.98
ncf_16_32_8_euad.7FAIL900.98
k_branch_p-16FAIL900.98
ncf_16_64_4_d.3FAIL900.98
ncf_16_128_2_d.5FAIL900.98
counter_r_32FAIL900.98
ncf_8_16_8_euad.10FAIL900.98
ncf_16_64_8_d.7FAIL900.98
szymanski-10-sFAIL900.98
ncf_16_64_2_edau.3FAIL900.98
ncf_16_128_8_u.3FAIL900.98
ncf_8_32_4_d.4FAIL900.98
ncf_4_32_8_d.2FAIL900.98
horn_400CNF2000_2aQBF_987FAIL900.98
ncf_4_32_8_d.3FAIL900.98
ncf_8_64_4_edau.6FAIL900.98
horn_400CNF2080_2aQBF_899FAIL900.98
robots_1_5_2_39.4FAIL900.98
robots_1_5_2_85.4FAIL900.98
ncf_4_32_4_d.5FAIL900.98
robots_1_5_2_40.8FAIL900.98
ncf_16_64_8_euad.9FAIL900.98
renHorn_400CNF2200_2aQBF_22FAIL900.98
ncf_8_64_2_d.4FAIL900.98
ncf_8_64_2_u.5FAIL900.98
ncf_8_32_4_euad.10FAIL900.98
ncf_8_32_2_d.5FAIL900.98
ncf_16_128_8_d.6FAIL900.98
robots_1_5_3_20.4FAIL900.98
ncf_8_16_8_u.4FAIL900.98
C880.blif_0.10_0.20_0_1_inp_exactFAIL900.98
ev-pr-6x6-15-5-0-1-2-lgFAIL900.98
ncf_8_32_4_edau.9FAIL900.98
ncf_16_128_8_d.8FAIL900.98
renHorn_400CNF1640_2aQBF_87FAIL900.98
horn_400CNF1760_2aQBF_946FAIL900.98
C6288.blif_0.10_1.00_0_1_inp_exactFAIL900.98
ncf_4_16_8_euad.5FAIL900.98
robots_1_5_3_64.8FAIL900.98
ncf_16_128_8_edau.7FAIL900.98
2qbf-5cnf-160var-320cl.7FAIL900.98
ncf_16_128_8_u.5FAIL900.98
C6288.blif_0.10_0.20_0_1_inp_exactFAIL900.98
ncf_16_64_8_d.8FAIL900.98
test2_quant2FAIL900.98
ncf_16_128_4_edau.4FAIL900.98
ncf_16_128_4_euad.6FAIL900.98
ncf_16_128_8_u.6FAIL900.98
horn_400CNF1440_2aQBF_553FAIL900.98
ncf_4_32_2_euad.9FAIL900.98
ncf_8_32_2_u.2FAIL900.98
ncf_8_32_8_edau.9FAIL900.98
ncf_16_128_8_edau.2FAIL900.98
ncf_8_32_4_u.6FAIL900.98
s713_d7_uFAIL900.98
horn_400CNF1200_2aQBF_539FAIL900.98
ncf_16_128_4_edau.6FAIL900.98
ncf_16_128_4_euad.5FAIL900.98
C5315.blif_0.10_1.00_0_0_inp_exactFAIL900.98
3qbf-5cnf-160var-1280cl.3FAIL900.98
ncf_4_32_4_u.1FAIL900.98
ncf_8_64_4_euad.2FAIL900.98
ncf_8_64_8_edau.6FAIL900.98
ncf_16_128_8_d.5FAIL900.98
ncf_8_64_2_edau.4FAIL900.98
robots_1_5_3_39.8FAIL900.98
renHorn_400CNF2120_2aQBF_37FAIL900.98
ncf_16_64_2_euad.10FAIL900.98
lut4_AND_fXORFAIL900.98
ncf_8_64_8_euad.5FAIL900.98
ncf_16_128_2_edau.7FAIL900.98
C880.blif_0.10_0.20_0_0_inp_exactFAIL900.98
connect_7x6_5_RFAIL900.98
renHorn_400CNF1280_2aQBF_22FAIL900.98
robots_1_5_5_30.4FAIL900.98
robots_1_5_5_12.8FAIL900.98
robots_1_5_5_14.8FAIL900.98
ncf_8_32_8_d.8FAIL900.98
ncf_4_32_4_edau.7FAIL900.98
counter_e_32FAIL900.98
5qbf-5cnf-160var-1280cl.2FAIL900.98
szymanski-12-sFAIL900.98
ncf_8_64_2_u.4FAIL900.98
ncf_8_64_8_edau.3FAIL900.98
ncf_4_16_8_edau.10FAIL900.98
ncf_8_32_4_u.1FAIL900.98
6qbf-5cnf-80var-640cl.7FAIL900.98
ncf_16_32_4_euad.4FAIL900.98
ncf_16_128_8_euad.6FAIL900.98
ncf_8_32_4_u.3FAIL900.98
ncf_16_128_4_euad.9FAIL900.98
ncf_16_128_2_u.9FAIL900.98
ncf_16_32_8_u.8FAIL900.98
renHorn_400CNF1640_2aQBF_38FAIL900.98
ncf_16_128_4_edau.8FAIL900.98
renHorn_400CNF1800_2aQBF_2FAIL900.98
renHorn_400CNF2120_2aQBF_31FAIL900.98
ncf_8_64_2_euad.3FAIL900.98
horn_400CNF1920_2aQBF_927FAIL900.98
ncf_16_64_8_u.4FAIL900.98
horn_400CNF1520_2aQBF_53FAIL900.98
ncf_8_64_4_edau.10FAIL900.98
ncf_16_32_8_edau.5FAIL900.98
ncf_16_64_4_u.5FAIL900.98
ncf_16_32_8_d.6FAIL900.98
ncf_4_32_4_euad.3FAIL900.98
ncf_16_128_8_d.7FAIL900.98
robots_1_5_4_24.8FAIL900.98
ncf_16_128_4_u.5FAIL900.98
connect_7x6_6_RFAIL900.98
k_grz_n-21FAIL900.98
ncf_8_64_8_d.8FAIL900.98
ncf_8_64_2_euad.7FAIL900.98
Adder2-8-sFAIL900.98
ncf_8_32_4_u.4FAIL900.98
horn_400CNF1520_2aQBF_387FAIL900.98
ncf_16_64_2_edau.5FAIL900.98
uclid-pipe3bFAIL900.98
ncf_4_32_4_d.3FAIL900.98
ncf_16_32_4_d.3FAIL900.98
4qbf-5cnf-160var-1280cl.0FAIL900.98
ncf_8_64_8_d.6FAIL900.98
5qbf-5cnf-160var-1280cl.5FAIL900.98
ncf_16_128_4_d.8FAIL900.98
ncf_8_64_8_euad.3FAIL900.98
1qbf-5cnf-80var-2560cl.1FAIL900.98
1qbf-5cnf-160var-5120cl.6FAIL900.98
1qbf-5cnf-80var-2560cl.6FAIL900.98
1qbf-5cnf-80var-2560cl.9FAIL900.98
ncf_8_32_4_euad.2FAIL900.99
ncf_16_64_8_edau.6FAIL900.99
robots_1_5_5_95.8FAIL900.99
counter_re_32FAIL900.99
ncf_4_32_8_euad.8FAIL900.99
adder-4-satFAIL900.99
counter_r_64FAIL900.99
ncf_8_32_4_edau.6FAIL900.99
ncf_16_64_8_euad.6FAIL900.99
ncf_16_128_8_euad.7FAIL900.99
k_grz_p-16FAIL900.99
ncf_4_32_2_euad.6FAIL900.99
ncf_16_32_4_u.2FAIL900.99
6qbf-5cnf-160var-1280cl.5FAIL900.99
ncf_4_16_8_u.6FAIL900.99
k_path_p-16FAIL900.99
ncf_8_64_4_d.7FAIL900.99
ncf_16_64_8_euad.3FAIL900.99
ncf_16_128_8_d.3FAIL900.99
connect_6x5_3_RFAIL900.99
C880.blif_0.10_0.20_0_1_out_exactFAIL900.99
BLOCKS4i.6.4FAIL900.99
counter_16FAIL900.99
ncf_8_32_2_euad.8FAIL900.99
ncf_16_32_8_u.1FAIL900.99
mutex-64-sFAIL900.99
ncf_16_32_8_euad.1FAIL900.99
ncf_8_64_4_d.3FAIL900.99
ncf_16_128_4_u.3FAIL900.99
ncf_16_128_4_d.4FAIL900.99
ncf_16_128_4_edau.9FAIL900.99
ncf_8_32_2_euad.3FAIL900.99
renHorn_400CNF2120_2aQBF_52FAIL900.99
renHorn_400CNF2280_2aQBF_67FAIL900.99
ncf_4_32_4_euad.9FAIL900.99
k_branch_n-12FAIL900.99
ncf_8_32_8_u.6FAIL900.99
ncf_8_64_4_d.9FAIL900.99
ncf_16_64_4_edau.5FAIL900.99
ncf_8_32_8_d.2FAIL900.99
ncf_16_32_8_edau.8FAIL900.99
ncf_16_128_2_u.8FAIL900.99
ncf_8_32_8_euad.3FAIL900.99
2qbf-5cnf-160var-640cl.2FAIL900.99
ncf_16_64_4_u.7FAIL900.99
Adder2-16-cFAIL900.99
horn_400CNF2160_2aQBF_701FAIL900.99
renHorn_400CNF1200_2aQBF_2FAIL900.99
ncf_4_32_8_edau.6FAIL900.99
ncf_16_64_8_edau.8FAIL900.99
horn_400CNF2320_2aQBF_230FAIL900.99
ncf_8_64_8_u.5FAIL900.99
renHorn_400CNF2040_2aQBF_11FAIL900.99
C6288.blif_0.10_1.00_0_0_out_exactFAIL900.99
ncf_16_64_8_d.6FAIL900.99
ncf_16_32_8_d.7FAIL900.99
robots_1_5_2_54.8FAIL900.99
ncf_16_64_4_d.6FAIL900.99
renHorn_400CNF1560_2aQBF_96FAIL900.99
C880.blif_0.10_1.00_0_0_out_exactFAIL900.99
s386_d2_sFAIL900.99
s386_d7_sFAIL900.99
s3330_d4_sFAIL900.99
C6288.blif_0.10_0.20_0_0_inp_exactFAIL900.99
ncf_8_64_4_u.5FAIL900.99
ncf_16_128_2_d.4FAIL900.99
ncf_16_128_8_edau.6FAIL900.99
test2_quant_squaring3FAIL900.99
counter_32FAIL900.99
ncf_16_64_4_euad.4FAIL900.99
3qbf-5cnf-160var-1280cl.4FAIL900.99
ncf_16_128_4_d.2FAIL900.99
2qbf-5cnf-160var-640cl.3FAIL900.99
ncf_4_32_8_u.10FAIL900.99
ncf_8_32_4_edau.10FAIL900.99
ncf_4_16_8_u.2FAIL900.99
renHorn_400CNF1480_2aQBF_85FAIL900.99
s713_d4_sFAIL900.99
ncf_16_128_2_euad.6FAIL900.99
ncf_16_128_4_edau.5FAIL900.99
robots_1_5_3_24.4FAIL900.99
robots_1_5_3_44.4FAIL900.99
s386_d4_sFAIL900.99
s1269_d4_sFAIL900.99
ncf_8_64_4_u.2FAIL900.99
ncf_8_64_8_u.9FAIL900.99
C6288.blif_0.10_0.20_0_1_out_exactFAIL900.99
ncf_16_32_4_d.1FAIL900.99
ncf_16_128_2_edau.2FAIL900.99
ncf_8_32_4_edau.1FAIL900.99
uclid-pipe3aFAIL900.99
ncf_8_64_8_euad.8FAIL900.99
Adder2-10-cFAIL900.99
ncf_16_128_4_edau.2FAIL900.99
ev-pr-4x4-13-3-0-0-1-sFAIL900.99
ncf_16_128_8_edau.1FAIL900.99
renHorn_400CNF1280_2aQBF_7FAIL900.99
ncf_4_16_8_euad.3FAIL900.99
4qbf-5cnf-40var-320cl.4FAIL900.99
ncf_16_32_8_euad.10FAIL900.99
ncf_16_64_4_euad.7FAIL900.99
ncf_4_32_4_u.9FAIL900.99
test4_quant4FAIL900.99
ncf_16_128_8_u.1FAIL900.99
s510_d2_sFAIL900.99
ncf_16_64_8_euad.10FAIL900.99
k_d4_n-12FAIL900.99
ncf_8_32_4_d.1FAIL900.99
ncf_4_32_2_edau.3FAIL900.99
4qbf-5cnf-160var-640cl.0FAIL900.99
ncf_8_32_8_d.3FAIL900.99
4qbf-5cnf-80var-320cl.2FAIL900.99
C432.blif_0.10_0.20_0_0_out_exactFAIL900.99
ncf_8_64_2_d.6FAIL900.99
ncf_8_64_2_euad.6FAIL900.99
ncf_8_64_8_d.4FAIL900.99
ncf_8_32_8_u.1FAIL900.99
k_t4p_n-8FAIL900.99
s386_d8_uFAIL900.99
test2_quant3FAIL900.99
ncf_16_32_8_u.10FAIL900.99
ncf_16_128_8_edau.3FAIL900.99
ncf_16_128_8_euad.5FAIL900.99
ncf_8_32_2_u.1FAIL900.99
ncf_4_32_8_u.1FAIL900.99
ncf_16_64_2_edau.4FAIL900.99
ncf_16_128_4_edau.3FAIL900.99
2qbf-5cnf-160var-1280cl.2FAIL900.99
ncf_16_128_4_d.5FAIL900.99
ncf_8_32_4_u.8FAIL900.99
ncf_16_32_4_u.6FAIL900.99
robots_1_5_2_67.8FAIL900.99
ncf_16_32_2_u.1FAIL900.99
ncf_8_32_8_euad.10FAIL900.99
ncf_16_64_2_u.5FAIL900.99
counter_e_8FAIL900.99
ncf_16_32_4_edau.3FAIL900.99
ncf_8_64_4_euad.4FAIL900.99
Adder2-16-sFAIL900.99
ncf_4_32_8_d.6FAIL900.99
k_t4p_p-16FAIL900.99
test3_quant4FAIL900.99
ncf_16_64_8_d.5FAIL900.99
s298_d8_sFAIL900.99
6qbf-5cnf-160var-1280cl.6FAIL900.99
ncf_4_32_4_u.7FAIL900.99
ncf_16_128_8_euad.1FAIL900.99
robots_1_5_3_78.4FAIL900.99
robots_1_5_2_99.4FAIL900.99
s298_d16_sFAIL900.99
robots_1_5_4_51.4FAIL900.99
ncf_8_64_2_edau.5FAIL900.99
ncf_8_64_2_u.9FAIL900.99
s1196_d3_uFAIL900.99
2qbf-5cnf-160var-320cl.3FAIL900.99
horn_400CNF1680_2aQBF_482FAIL900.99
horn_400CNF1760_2aQBF_330FAIL900.99
k_grz_p-21FAIL900.99
ncf_8_32_8_edau.3FAIL900.99
robots_1_5_2_80.4FAIL900.99
ncf_8_64_2_u.3FAIL900.99
robots_1_5_4_1.8FAIL900.99
robots_1_5_4_96.8FAIL900.99
mutex-16-sFAIL900.99
ncf_16_128_4_euad.2FAIL900.99
ncf_4_32_8_u.9FAIL900.99
ncf_16_64_4_edau.6FAIL900.99
ncf_8_32_8_euad.4FAIL900.99
ncf_16_64_2_euad.6FAIL900.99
ev-pr-4x4-17-3-0-0-1-lgFAIL900.99
ncf_4_32_8_u.7FAIL900.99
ncf_16_128_8_d.10FAIL900.99
ncf_16_32_4_d.5FAIL900.99
robots_1_5_4_98.4FAIL900.99
ncf_8_32_8_u.8FAIL900.99
ncf_16_32_4_d.6FAIL900.99
ncf_16_128_4_d.3FAIL900.99
renHorn_400CNF1280_2aQBF_56FAIL900.99
4qbf-5cnf-160var-1280cl.3FAIL900.99
ncf_16_32_8_u.2FAIL900.99
renHorn_400CNF1720_2aQBF_79FAIL900.99
robots_1_5_2_3.4FAIL900.99
robots_1_5_5_45.4FAIL900.99
robots_1_5_5_93.4FAIL900.99
ncf_8_32_2_u.4FAIL900.99
ev-pr-4x4-9-3-0-0-1-sFAIL900.99
Adder2-8-cFAIL900.99
ncf_8_64_8_euad.1FAIL900.99
s298_d4_sFAIL900.99
ncf_8_32_2_euad.10FAIL900.99
test3_quant2FAIL900.99
ncf_8_32_2_euad.1FAIL900.99
s713_d6_sFAIL900.99
ncf_8_32_2_edau.4FAIL900.99
ncf_16_64_8_edau.9FAIL900.99
ncf_16_128_2_edau.4FAIL900.99
C6288.blif_0.10_1.00_0_0_inp_exactFAIL900.99
ncf_8_64_8_u.8FAIL900.99
ncf_16_128_2_d.8FAIL900.99
ncf_16_128_4_euad.1FAIL900.99
ncf_8_32_2_d.6FAIL900.99
ncf_8_64_4_euad.10FAIL900.99
3qbf-5cnf-160var-1280cl.5FAIL900.99
ncf_4_32_2_d.8FAIL900.99
ncf_8_32_8_edau.8FAIL900.99
ncf_8_64_4_d.8FAIL900.99
test1_quant3FAIL900.99
k_path_p-20FAIL900.99
adder-12-satFAIL900.99
ncf_16_64_4_euad.2FAIL900.99
ncf_16_128_4_edau.7FAIL900.99
6qbf-5cnf-160var-1280cl.0FAIL900.99
ncf_16_128_8_euad.8FAIL900.99
ncf_8_64_8_d.9FAIL900.99
6qbf-5cnf-160var-1280cl.7FAIL900.99
s499_d2_sFAIL900.99
ncf_8_64_8_d.3FAIL900.99
ncf_16_32_2_edau.1FAIL900.99
2qbf-5cnf-160var-320cl.4FAIL900.99
ncf_4_32_2_euad.10FAIL900.99
ncf_16_32_8_u.6FAIL900.99
ncf_16_64_4_d.8FAIL900.99
ncf_16_128_8_u.9FAIL900.99
renHorn_400CNF1280_2aQBF_62FAIL900.99
s1196_d2_sFAIL900.99
k_ph_n-12FAIL900.99
ncf_8_32_8_d.1FAIL900.99
renHorn_400CNF1880_2aQBF_88FAIL900.99
ncf_8_64_4_d.10FAIL900.99
ncf_16_32_2_d.3FAIL900.99
k_ph_p-16FAIL900.99
horn_400CNF1760_2aQBF_10FAIL900.99
ncf_4_32_8_u.6FAIL900.99
ncf_8_64_4_edau.9FAIL900.99
2qbf-5cnf-160var-1280cl.6FAIL900.99
ncf_16_128_4_u.7FAIL900.99
ncf_16_128_4_euad.8FAIL900.99
6qbf-5cnf-40var-320cl.8FAIL900.99
ncf_8_64_8_euad.10FAIL900.99
ncf_8_64_8_d.5FAIL900.99
ncf_16_128_2_euad.1FAIL900.99
6qbf-5cnf-160var-1280cl.3FAIL900.99
ncf_16_32_8_u.9FAIL900.99
ncf_8_32_2_d.2FAIL900.99
ncf_16_64_4_d.10FAIL900.99
horn_400CNF2160_2aQBF_308FAIL900.99
horn_400CNF2320_2aQBF_80FAIL900.99
k_grz_p-20FAIL900.99
ncf_8_32_2_d.4FAIL900.99
ncf_8_32_8_euad.8FAIL900.99
ncf_16_32_2_d.4FAIL900.99
ncf_8_64_4_d.5FAIL900.99
ev-pr-4x4-5-3-0-0-1-sFAIL900.99
ncf_16_64_4_euad.6FAIL900.99
s820_d8_sFAIL900.99
robots_1_5_4_87.4FAIL900.99
ncf_16_64_8_edau.7FAIL900.99
ncf_16_32_4_euad.5FAIL900.99
s298_d18_sFAIL900.99
2qbf-5cnf-160var-640cl.7FAIL900.99
ncf_4_32_4_euad.2FAIL900.99
Adder2-10-sFAIL900.99
ncf_8_32_2_d.3FAIL900.99
ncf_8_32_8_euad.2FAIL900.99
ncf_8_32_8_d.4FAIL900.99
s298_d19_uFAIL900.99
ncf_8_32_8_euad.9FAIL900.99
ncf_8_32_8_u.9FAIL900.99
ncf_4_16_8_d.1FAIL900.99
ncf_16_64_8_euad.7FAIL900.99
ncf_16_128_8_u.4FAIL900.99
horn_400CNF1760_2aQBF_979FAIL900.99
2qbf-5cnf-160var-1280cl.9FAIL900.99
ncf_8_64_8_edau.2FAIL900.99
ncf_16_32_2_edau.8FAIL900.99
4qbf-5cnf-160var-640cl.2FAIL900.99
renHorn_400CNF1960_2aQBF_79FAIL900.99
ncf_16_64_8_euad.2FAIL900.99
ncf_8_16_8_d.3FAIL900.99
ncf_16_64_8_d.9FAIL900.99
ncf_4_32_8_d.5FAIL900.99
ncf_16_32_8_d.1FAIL900.99
ncf_8_64_8_euad.7FAIL900.99
renHorn_400CNF1880_2aQBF_19FAIL900.99
ncf_8_32_2_u.10FAIL900.99
horn_400CNF2160_2aQBF_660FAIL900.99
ncf_16_64_4_u.9FAIL900.99
ncf_16_128_8_edau.8FAIL900.99
ncf_16_128_8_euad.9FAIL900.99
ncf_16_128_8_u.10FAIL900.99
s820_d4_sFAIL900.99
ncf_16_128_2_euad.5FAIL900.99
ncf_8_64_8_u.1FAIL900.99
ncf_16_64_2_u.3FAIL900.99
ncf_16_128_8_d.9FAIL900.99
robots_1_5_5_12.4FAIL900.99
ncf_16_64_8_edau.2FAIL900.99
ncf_16_32_4_edau.6FAIL900.99
6qbf-5cnf-160var-1280cl.8FAIL900.99
horn_400CNF1760_2aQBF_996FAIL900.99
2qbf-5cnf-80var-640cl.2FAIL900.99
ncf_8_32_4_edau.2FAIL900.99
ncf_16_128_4_u.8FAIL900.99
k_lin_p-21FAIL900.99
ncf_4_16_8_edau.6FAIL900.99
horn_400CNF1840_2aQBF_980FAIL900.99
ncf_16_64_2_d.5FAIL900.99
ncf_16_64_4_euad.3FAIL900.99
ncf_16_128_4_d.1FAIL900.99
1qbf-5cnf-80var-2560cl.3FAIL900.99
2qbf-5cnf-40var-160cl.5FAIL901
4qbf-5cnf-80var-320cl.9FAIL901
ncf_8_64_2_euad.1FAIL901
ncf_8_32_2_d.7FAIL901
ncf_16_64_4_d.9FAIL901
ncf_4_16_8_u.8FAIL901
ncf_16_64_2_u.7FAIL901
ncf_16_64_8_u.3FAIL901
ncf_16_64_8_d.4FAIL901
ncf_16_128_2_euad.7FAIL901
ncf_8_64_8_edau.9FAIL901
ncf_16_64_4_edau.7FAIL901
ncf_4_32_4_d.6FAIL901
2qbf-5cnf-160var-320cl.2FAIL901
ncf_16_128_2_d.1FAIL901
adder-10-satFAIL901
ncf_4_32_8_edau.8FAIL901
ncf_8_32_8_u.10FAIL901
ncf_16_32_4_edau.1FAIL901
ncf_16_32_4_u.7FAIL901
ncf_16_64_2_euad.2FAIL901
ncf_16_64_4_euad.5FAIL901
ncf_16_64_8_u.7FAIL901
adder-6-satFAIL901
s499_d16_sFAIL901
ncf_4_32_2_euad.7FAIL901
ncf_8_64_2_edau.6FAIL901
ncf_4_32_8_edau.3FAIL901
ncf_8_32_2_edau.1FAIL901
ncf_16_32_8_d.2FAIL901
ncf_16_64_4_u.8FAIL901
ncf_16_128_2_u.2FAIL901
2qbf-5cnf-80var-640cl.6FAIL901
6qbf-5cnf-80var-640cl.8FAIL901
ncf_8_32_4_d.8FAIL901
3qbf-5cnf-160var-1280cl.7FAIL901
renHorn_400CNF1560_2aQBF_28FAIL901
4qbf-5cnf-40var-320cl.2FAIL901
ncf_8_16_8_u.10FAIL901
ncf_8_32_2_edau.7FAIL901
ncf_16_64_2_d.3FAIL901
ncf_4_16_8_edau.5FAIL901
k_d4_p-20FAIL901
ncf_16_32_2_d.1FAIL901
2qbf-5cnf-40var-160cl.9FAIL901
ncf_8_64_8_edau.8FAIL901
renHorn_400CNF2360_2aQBF_58FAIL901
ncf_4_32_8_u.5FAIL901
ncf_8_32_8_edau.4FAIL901
ncf_16_128_8_euad.10FAIL901
s499_d8_sFAIL901
ncf_16_32_4_d.4FAIL901
4qbf-5cnf-160var-640cl.9FAIL901
ncf_16_128_2_euad.9FAIL901
renHorn_400CNF1880_2aQBF_81FAIL901
ncf_16_64_8_u.8FAIL901
ncf_8_64_2_d.3FAIL901
ncf_16_64_8_u.10FAIL901
ncf_8_32_2_u.7FAIL901
k_d4_n-21FAIL901
3qbf-5cnf-160var-1280cl.1FAIL901
ncf_8_64_2_euad.9FAIL901
ncf_8_64_4_d.6FAIL901
ncf_16_64_2_euad.7FAIL901
horn_400CNF1840_2aQBF_555FAIL901
k_t4p_n-21FAIL901
s27_d5_uFAIL901
ncf_4_32_8_euad.3FAIL901
ncf_8_64_8_u.2FAIL901
ncf_16_32_4_u.5FAIL901
ncf_16_128_4_u.9FAIL901
horn_400CNF2160_2aQBF_996FAIL901
6qbf-5cnf-80var-640cl.5FAIL901
horn_400CNF1280_2aQBF_389FAIL901
2qbf-5cnf-160var-320cl.8FAIL901
renHorn_400CNF1960_2aQBF_76FAIL901
ncf_8_32_2_u.9FAIL901
ncf_8_64_4_euad.7FAIL901
ev-pr-4x4-13-3-0-0-1-lgFAIL901
ncf_4_16_8_u.7FAIL901
ncf_4_32_4_edau.6FAIL901
ncf_8_32_8_euad.5FAIL901
BLOCKS4iii.6FAIL901
renHorn_400CNF1720_2aQBF_20FAIL901
ncf_8_64_2_edau.2FAIL901
2qbf-5cnf-160var-640cl.5FAIL901
ncf_4_32_8_edau.7FAIL901
horn_400CNF2000_2aQBF_564FAIL901
2qbf-5cnf-160var-1280cl.3FAIL901
4qbf-5cnf-80var-320cl.1FAIL901
ncf_16_64_8_d.10FAIL901
ncf_4_16_8_d.3FAIL901
ncf_8_32_2_d.1FAIL901
ncf_16_64_2_edau.7FAIL901
BLOCKS4ii.7.2FAIL901
ncf_4_32_2_euad.3FAIL901
3qbf-5cnf-160var-1280cl.0FAIL901
ncf_8_32_4_d.2FAIL901
ncf_8_64_2_u.1FAIL901
2qbf-5cnf-80var-320cl.0FAIL901
ncf_4_16_4_u.3FAIL901
ncf_16_64_2_euad.1FAIL901
ncf_16_128_2_d.10FAIL901
adder-16-satFAIL901
ncf_4_32_8_euad.10FAIL901
ncf_8_64_4_edau.4FAIL901
renHorn_400CNF1480_2aQBF_44FAIL901
ncf_16_32_8_edau.6FAIL901
renHorn_400CNF2360_2aQBF_88FAIL901
horn_400CNF1600_2aQBF_748FAIL901
test1_quant2FAIL901
ncf_8_32_4_euad.4FAIL901
ncf_16_32_2_edau.5FAIL901
ncf_16_128_2_d.6FAIL901
mutex-32-sFAIL901
ncf_4_32_2_d.7FAIL901
ncf_8_64_4_u.10FAIL901
ncf_16_64_4_d.7FAIL901
ncf_8_32_2_euad.4FAIL901
ncf_4_32_2_euad.8FAIL901
k_d4_n-16FAIL901
4qbf-5cnf-80var-320cl.7FAIL901
ncf_4_32_8_d.9FAIL901
4qbf-5cnf-40var-320cl.8FAIL901
C5315.blif_0.10_0.20_0_1_inp_exactFAIL901
ncf_8_64_4_edau.2FAIL901
ncf_8_64_8_edau.10FAIL901
ncf_8_32_8_d.10FAIL901
ncf_8_64_2_u.8FAIL901
ncf_16_64_2_euad.4FAIL901
ncf_16_128_2_u.1FAIL901
uclid-pipe2FAIL901
ncf_16_64_2_d.9FAIL901
ncf_8_32_4_d.10FAIL901
ncf_16_128_2_d.9FAIL901
ncf_16_128_4_d.10FAIL901
renHorn_400CNF1200_2aQBF_8FAIL901
2qbf-5cnf-160var-640cl.8FAIL901
ncf_4_32_2_u.4FAIL901
ncf_4_32_2_euad.5FAIL901
s820_d2_sFAIL901
ncf_4_32_2_d.10FAIL901
ncf_4_32_4_d.2FAIL901
ncf_16_32_8_edau.7FAIL901
renHorn_400CNF2040_2aQBF_100FAIL901
renHorn_400CNF2280_2aQBF_4FAIL901
ncf_4_32_8_d.7FAIL901
horn_400CNF1680_2aQBF_728FAIL901
ncf_16_128_2_d.3FAIL901
6qbf-5cnf-80var-640cl.1FAIL901
ncf_4_32_2_u.3FAIL901
ncf_4_32_8_euad.5FAIL901
ncf_8_32_2_euad.5FAIL901
ncf_8_32_8_d.7FAIL901
k_d4_n-8FAIL901
counter_r_16FAIL901
ncf_8_32_4_u.10FAIL901
BLOCKS4iii.7FAIL901
ncf_8_64_4_edau.5FAIL901
C499.blif_0.10_0.20_0_1_out_exactFAIL901
ncf_8_32_2_edau.2FAIL901
ncf_8_16_8_euad.4FAIL901
ncf_8_64_2_d.1FAIL901
ncf_16_32_2_euad.6FAIL901
ncf_4_32_8_u.2FAIL901
ncf_16_64_2_d.4FAIL901
ncf_16_64_4_u.6FAIL901
ncf_16_64_4_edau.9FAIL901
ncf_16_64_4_euad.9FAIL901
ncf_16_128_2_edau.1FAIL901
ncf_16_128_2_d.2FAIL901
horn_400CNF1600_2aQBF_789FAIL901
ncf_8_32_2_d.8FAIL901
2qbf-5cnf-160var-1280cl.8FAIL901
k_t4p_n-12FAIL901
k_d4_p-21FAIL901
test4_quant2FAIL901
Adder2-14-sFAIL901
ncf_8_32_4_d.7FAIL901
ncf_16_64_8_euad.8FAIL901
ncf_16_128_2_euad.10FAIL901
k_lin_p-8FAIL901
4qbf-5cnf-160var-1280cl.9FAIL901
2qbf-5cnf-80var-320cl.2FAIL901
2qbf-5cnf-160var-1280cl.4FAIL901
ncf_4_32_4_d.4FAIL901
ncf_8_64_4_edau.3FAIL901
ncf_8_64_8_u.4FAIL901
ncf_16_128_8_u.7FAIL901
k_t4p_n-20FAIL901
ncf_8_32_8_edau.6FAIL901
k_ph_p-12FAIL901
2qbf-5cnf-80var-320cl.7FAIL901
ncf_4_16_8_u.10FAIL901
renHorn_400CNF1360_2aQBF_22FAIL901
C5315.blif_0.10_0.20_0_0_out_exactFAIL901
ncf_8_64_2_u.6FAIL901
ncf_4_32_4_edau.9FAIL901
ncf_16_64_2_u.10FAIL901
ncf_16_64_2_u.4FAIL901
renHorn_400CNF1960_2aQBF_68FAIL901
ncf_4_32_4_euad.1FAIL901
ncf_4_32_8_edau.9FAIL901
ncf_16_128_4_edau.10FAIL901
test1_quant_squaring3FAIL901
ncf_8_32_2_edau.10FAIL901
4qbf-5cnf-80var-640cl.9FAIL901
ncf_16_64_2_u.8FAIL901
ncf_8_64_4_euad.3FAIL901
robots_1_5_2_82.4FAIL901
BLOCKS3i.4.4FAIL901
ncf_16_32_4_d.8FAIL901
ncf_16_64_2_edau.8FAIL901
ncf_8_32_4_u.9FAIL901
ncf_16_64_2_euad.8FAIL901
ncf_16_32_8_u.7FAIL901
ncf_16_128_2_u.3FAIL901
ncf_8_32_2_euad.7FAIL901
ncf_16_64_4_u.3FAIL901
4qbf-5cnf-80var-640cl.8FAIL901
ncf_16_64_4_euad.8FAIL901
2qbf-5cnf-80var-320cl.8FAIL901
ncf_8_32_2_u.8FAIL901
ncf_8_32_4_euad.3FAIL901
ncf_8_32_8_euad.1FAIL901
ncf_8_32_4_edau.4FAIL901
ncf_16_32_2_euad.10FAIL901
ncf_16_32_4_edau.7FAIL901
ncf_16_64_4_euad.1FAIL901
ncf_16_128_4_d.7FAIL901
ncf_4_32_4_euad.10FAIL901
ncf_8_64_8_euad.6FAIL901
ncf_16_32_8_edau.9FAIL901
3qbf-5cnf-160var-1280cl.8FAIL901
ncf_4_32_2_d.5FAIL901
ncf_4_32_8_euad.6FAIL901
ncf_8_64_8_edau.5FAIL901
ncf_16_32_8_euad.2FAIL901
ncf_16_128_4_u.4FAIL901
6qbf-5cnf-160var-1280cl.2FAIL901
ncf_16_128_2_u.6FAIL901
6qbf-5cnf-160var-1280cl.9FAIL901
C880.blif_0.10_1.00_0_0_inp_exactFAIL901
robots_1_5_4_46.4FAIL901
ncf_4_32_8_edau.10FAIL901
ncf_8_32_2_u.6FAIL901
ncf_8_64_4_euad.9FAIL901
ncf_8_64_4_d.4FAIL901
ncf_16_64_2_u.9FAIL901
ncf_16_64_8_edau.5FAIL901
horn_400CNF2000_2aQBF_523FAIL901
ncf_8_32_2_u.5FAIL901
ncf_16_32_2_euad.4FAIL901
ncf_16_128_4_u.1FAIL901
robots_1_5_2_100.8FAIL901
ncf_16_64_2_d.6FAIL901
2qbf-5cnf-160var-320cl.1FAIL901
k_t4p_p-20FAIL901
k_t4p_n-16FAIL901
ncf_8_64_2_euad.10FAIL901
ncf_8_16_8_d.10FAIL901
ncf_8_64_2_edau.9FAIL901
ncf_16_32_2_euad.8FAIL901
ncf_16_64_2_edau.10FAIL901
6qbf-5cnf-80var-640cl.6FAIL901
ncf_8_32_8_edau.2FAIL901
ncf_8_64_2_euad.5FAIL901
ncf_4_32_8_euad.1FAIL901
renHorn_400CNF2200_2aQBF_48FAIL901
horn_400CNF1840_2aQBF_158FAIL901
ncf_4_32_8_euad.4FAIL901
ncf_8_64_2_euad.2FAIL901
6qbf-5cnf-80var-640cl.3FAIL901
ncf_4_16_8_edau.7FAIL901
ncf_4_32_2_u.1FAIL901
ncf_8_32_4_euad.1FAIL901
k_d4_n-20FAIL901
k_t4p_p-21FAIL901
ncf_8_32_4_euad.8FAIL901
5qbf-5cnf-160var-1280cl.3FAIL901
ncf_8_32_8_edau.10FAIL901
ncf_16_128_4_edau.1FAIL901
horn_400CNF1920_2aQBF_314FAIL901
s499_d4_sFAIL901
C5315.blif_0.10_1.00_0_1_inp_exactFAIL901
renHorn_400CNF1480_2aQBF_21FAIL901
ncf_8_32_2_edau.8FAIL901
test3_quant_squaring2FAIL901
ncf_16_32_2_d.5FAIL901
ncf_16_128_4_u.6FAIL901
4qbf-5cnf-80var-640cl.2FAIL901
ncf_16_32_2_euad.1FAIL901
ncf_8_32_8_edau.1FAIL901
ncf_4_16_8_euad.1FAIL901
3qbf-5cnf-160var-1280cl.2FAIL901
ncf_16_32_2_euad.5FAIL901
4qbf-5cnf-80var-640cl.0FAIL901
4qbf-5cnf-160var-640cl.3FAIL901
ncf_8_64_8_u.3FAIL901
ncf_8_32_8_u.5FAIL901
4qbf-5cnf-160var-640cl.5FAIL901
2qbf-5cnf-40var-160cl.8FAIL901
ncf_4_32_8_d.1FAIL901
ncf_8_32_8_d.5FAIL901
ncf_8_64_8_d.2FAIL901
ncf_8_64_8_d.7FAIL901
ncf_16_32_8_euad.9FAIL901
ncf_16_64_2_euad.9FAIL901
ncf_16_32_2_euad.3FAIL901
ncf_16_64_8_u.2FAIL901
ncf_16_64_8_euad.4FAIL901
ncf_16_64_2_euad.3FAIL901
C5315.blif_0.10_0.20_0_1_out_exactFAIL901
ncf_8_64_4_u.8FAIL901
ncf_16_128_2_u.7FAIL901
5qbf-5cnf-160var-1280cl.1FAIL901
ncf_8_64_2_d.5FAIL901
counter_r_8FAIL901
ncf_8_32_2_euad.9FAIL901
ncf_8_32_4_euad.5FAIL901
ncf_16_32_4_euad.3FAIL901
adder-8-satFAIL901
ncf_16_64_4_d.4FAIL901
ncf_8_64_2_u.7FAIL901
ncf_16_64_4_u.10FAIL901
ncf_16_128_8_edau.9FAIL901
ncf_4_32_8_d.10FAIL901
s499_d22_uFAIL901
2qbf-5cnf-160var-1280cl.7FAIL901
k_ph_p-8FAIL901
ncf_4_32_8_edau.1FAIL901
ncf_16_32_4_edau.5FAIL901
6qbf-5cnf-160var-1280cl.1FAIL901
ncf_4_32_4_d.7FAIL901
ncf_16_32_8_d.5FAIL901
ncf_16_64_4_u.2FAIL901
ncf_4_32_4_edau.8FAIL901
ncf_4_32_8_euad.2FAIL901
ncf_16_32_4_u.1FAIL901
renHorn_400CNF1720_2aQBF_11FAIL901
2qbf-5cnf-80var-320cl.9FAIL901
horn_400CNF1360_2aQBF_130FAIL901
ncf_8_32_4_u.2FAIL901
horn_400CNF1360_2aQBF_310FAIL901
renHorn_400CNF1640_2aQBF_42FAIL901
horn_400CNF1680_2aQBF_29FAIL901
ncf_4_32_4_d.10FAIL901
horn_400CNF1680_2aQBF_91FAIL901
horn_400CNF1760_2aQBF_614FAIL901
ncf_8_64_2_edau.1FAIL901
ncf_8_64_8_d.10FAIL901
s510_d8_sFAIL901
counter_re_16FAIL901
4qbf-5cnf-80var-640cl.4FAIL901
ncf_16_64_4_d.2FAIL901
4qbf-5cnf-160var-1280cl.4FAIL901
ncf_16_128_2_edau.9FAIL901
6qbf-5cnf-80var-640cl.4FAIL901
ncf_4_32_4_edau.3FAIL901
4qbf-5cnf-160var-1280cl.7FAIL901
ncf_8_64_2_euad.4FAIL901
ncf_16_64_8_euad.5FAIL901
ncf_16_128_4_d.9FAIL901
ncf_8_64_4_u.1FAIL901
renHorn_400CNF2120_2aQBF_88FAIL901
robots_1_5_2_100.4FAIL901
C880.blif_0.10_0.20_0_0_out_exactFAIL901
ncf_16_32_2_d.8FAIL901
renHorn_400CNF1560_2aQBF_90FAIL901
6qbf-5cnf-40var-320cl.1FAIL901
ncf_8_64_4_euad.6FAIL901
test4_quant_squaring4FAIL901
ncf_8_32_4_edau.8FAIL901
ncf_4_32_8_edau.5FAIL901
ncf_8_32_2_d.9FAIL901
test4_quant_squaring2FAIL901
k_lin_p-20FAIL901
renHorn_400CNF1720_2aQBF_71FAIL901
4qbf-5cnf-160var-1280cl.2FAIL901
ncf_16_128_2_edau.8FAIL901
ncf_8_64_8_u.6FAIL901
ncf_16_64_8_euad.1FAIL901
renHorn_400CNF2280_2aQBF_13FAIL901
4qbf-5cnf-160var-640cl.8FAIL901
s510_d4_sFAIL901
C499.blif_0.10_0.20_0_0_out_exactFAIL901
k_grz_n-20FAIL901
4qbf-5cnf-160var-640cl.7FAIL901
k_path_n-21FAIL901
TOILET10.1.iv.20FAIL901
ncf_4_32_4_u.4FAIL901
4qbf-5cnf-160var-640cl.1FAIL901
ncf_8_32_8_euad.6FAIL901
ncf_8_64_2_edau.8FAIL901
ncf_8_64_2_d.8FAIL901
ncf_8_64_2_u.10FAIL901
ncf_8_64_4_euad.1FAIL901
ncf_8_64_8_d.1FAIL901
counter_e_16FAIL901
ncf_16_64_2_edau.2FAIL901
ncf_16_128_2_u.10FAIL901
ncf_8_64_2_d.7FAIL901
ncf_16_128_4_euad.3FAIL901
renHorn_400CNF2040_2aQBF_59FAIL901
renHorn_400CNF2360_2aQBF_97FAIL901
BLOCKS3i.5.3FAIL901
ncf_16_128_2_edau.10FAIL901
ncf_16_64_2_d.10FAIL901
ncf_8_64_4_edau.8FAIL901
ncf_16_64_4_u.1FAIL901
ncf_4_32_4_edau.4FAIL901
test5_quant5FAIL901
ncf_16_64_8_edau.4FAIL901
ncf_8_64_2_edau.10FAIL901
ncf_4_32_2_d.9FAIL901
ncf_4_32_4_d.9FAIL901
ncf_8_32_8_euad.7FAIL901
2qbf-5cnf-160var-640cl.9FAIL901
ncf_8_64_2_edau.3FAIL901
ncf_16_32_4_d.2FAIL901
ncf_16_64_4_edau.10FAIL901
renHorn_400CNF1800_2aQBF_20FAIL901
4qbf-5cnf-40var-320cl.5FAIL901
ncf_8_64_4_u.3FAIL901
ncf_4_32_8_d.4FAIL901
renHorn_400CNF2120_2aQBF_19FAIL901
robots_1_5_4_100.4FAIL901
robots_1_5_4_50.4FAIL901
ncf_16_32_8_edau.10FAIL901
ncf_8_64_2_d.2FAIL901
ncf_16_32_8_u.5FAIL901
ncf_8_32_4_u.5FAIL901
ncf_4_16_4_edau.3FAIL901
ncf_16_32_8_d.10FAIL901
ncf_16_64_8_u.5FAIL901
ncf_8_64_4_u.6FAIL901
ncf_16_128_8_d.1FAIL901
ncf_16_64_2_edau.9FAIL901
horn_400CNF2160_2aQBF_692FAIL901
ncf_16_64_8_d.1FAIL901
renHorn_400CNF2200_2aQBF_79FAIL901
horn_400CNF1760_2aQBF_846FAIL901
horn_400CNF2320_2aQBF_832FAIL901
robots_1_5_3_16.8FAIL901
ncf_16_64_2_d.2FAIL901
ncf_16_128_2_euad.2FAIL901
ev-pr-4x4-15-3-0-0-1-lgFAIL901
ncf_8_32_2_euad.6FAIL901
4qbf-5cnf-160var-1280cl.6FAIL901
ncf_8_64_2_edau.7FAIL901
ncf_16_32_4_euad.1FAIL901
ncf_4_32_2_euad.1FAIL901
ncf_16_64_4_edau.2FAIL901
ncf_4_16_8_u.5FAIL901
robots_1_5_2_75.8FAIL901
ncf_16_128_2_d.7FAIL901
2qbf-5cnf-80var-640cl.7FAIL901
TOILET16.1.iv.32FAIL901
ncf_8_64_8_u.7FAIL901
ncf_4_32_4_d.8FAIL901
2qbf-5cnf-160var-640cl.6FAIL901
ncf_4_16_8_u.1FAIL901
k_lin_p-12FAIL901
ncf_8_32_4_u.7FAIL901
C499.blif_0.10_0.20_0_0_inp_exactFAIL901
2qbf-5cnf-160var-640cl.1FAIL901
ncf_16_64_2_d.1FAIL901
ncf_16_32_8_edau.2FAIL901
s1269_d2_sFAIL901
ncf_4_32_4_u.10FAIL901
ncf_8_32_8_u.2FAIL901
renHorn_400CNF1560_2aQBF_72FAIL901
ncf_4_32_4_euad.4FAIL901
ncf_16_128_4_u.10FAIL901
ncf_16_128_4_euad.10FAIL901
robots_1_5_4_99.8FAIL901
1qbf-5cnf-80var-2560cl.5FAIL901
1qbf-5cnf-80var-2560cl.4FAIL901
adder-14-satFAIL901.01
horn_400CNF1440_2aQBF_967FAIL901.01
ncf_8_64_8_euad.2FAIL901.01
ncf_16_32_2_u.5FAIL901.01
2qbf-5cnf-80var-320cl.1FAIL901.01
6qbf-5cnf-40var-320cl.6FAIL901.01
ncf_8_32_4_edau.3FAIL901.01
ncf_16_64_8_edau.10FAIL901.01
4qbf-5cnf-80var-640cl.6FAIL901.01
s820_d10_sFAIL901.01
2qbf-5cnf-40var-320cl.8FAIL901.01
3qbf-5cnf-160var-1280cl.9FAIL901.01
ncf_8_64_4_d.2FAIL901.01
ncf_8_32_2_edau.9FAIL901.01
ncf_8_32_8_edau.5FAIL901.01
4qbf-5cnf-160var-640cl.4FAIL901.01
s713_d2_sFAIL901.01
ncf_16_64_2_edau.6FAIL901.01
ncf_16_64_4_u.4FAIL901.01
ncf_8_32_4_d.9FAIL901.01
ncf_16_32_4_u.3FAIL901.01
Adder2-12-cFAIL901.01
renHorn_400CNF2280_2aQBF_95FAIL901.01
test2_quant_squaring2FAIL901.01
2qbf-5cnf-40var-160cl.3FAIL901.01
test5_quant7FAIL901.01
ncf_8_64_2_u.2FAIL901.01
ncf_8_32_4_d.5FAIL901.01
2qbf-5cnf-160var-1280cl.1FAIL901.01
2qbf-5cnf-80var-320cl.5FAIL901.01
ncf_16_32_8_edau.1FAIL901.01
ncf_16_32_8_euad.8FAIL901.01
ncf_16_32_8_euad.5FAIL901.01
6qbf-5cnf-80var-640cl.2FAIL901.01
ncf_4_32_4_euad.6FAIL901.01
ncf_8_16_8_edau.3FAIL901.01
ncf_16_64_8_edau.3FAIL901.01
ncf_16_32_8_d.9FAIL901.01
ncf_16_64_8_u.9FAIL901.01
renHorn_400CNF1560_2aQBF_47FAIL901.01
k_lin_p-16FAIL901.01
ncf_16_64_2_d.8FAIL901.01
ncf_4_32_4_u.3FAIL901.01
ncf_16_128_2_u.4FAIL901.01
ncf_4_32_2_d.3FAIL901.01
ncf_8_64_4_edau.1FAIL901.01
ncf_8_16_8_edau.10FAIL901.01
ncf_4_32_8_edau.4FAIL901.01
ncf_16_128_8_euad.3FAIL901.01
ncf_8_32_4_euad.9FAIL901.01
2qbf-5cnf-160var-1280cl.0FAIL901.01
robots_1_5_2_45.4FAIL901.01
ncf_16_32_2_u.8FAIL901.01
ncf_16_32_8_d.8FAIL901.01
ncf_16_64_2_u.6FAIL901.01
ncf_16_64_4_euad.10FAIL901.01
ncf_16_64_4_d.5FAIL901.01
ncf_8_64_4_euad.8FAIL901.01
renHorn_400CNF1960_2aQBF_35FAIL901.01
ncf_16_64_8_d.3FAIL901.01
ncf_8_32_8_d.6FAIL901.01
ncf_4_32_4_euad.7FAIL901.01
ncf_4_32_4_edau.10FAIL901.01
ncf_16_64_2_euad.5FAIL901.01
ncf_16_128_2_euad.3FAIL901.01
2qbf-5cnf-160var-640cl.4FAIL901.01
ncf_8_32_4_euad.7FAIL901.01
ncf_4_32_4_u.8FAIL901.01
ncf_16_64_4_edau.3FAIL901.01
counter_re_8FAIL901.01
ncf_16_64_4_edau.4FAIL901.01
ncf_16_128_8_euad.4FAIL901.01
ncf_8_32_4_edau.7FAIL901.01
ncf_4_32_4_euad.8FAIL901.01
ncf_8_32_4_d.3FAIL901.01
ncf_16_128_2_edau.6FAIL901.01
k_t4p_p-12FAIL901.01
6qbf-5cnf-80var-640cl.9FAIL901.01
2qbf-5cnf-40var-160cl.0FAIL901.01
ncf_4_32_8_d.8FAIL901.01
test3_quant_squaring4FAIL901.01
ncf_16_32_8_euad.6FAIL901.01
ncf_16_64_4_edau.1FAIL901.01
ncf_8_64_4_edau.7FAIL901.01
ncf_8_64_8_edau.7FAIL901.01
test5_quant_squaring5FAIL901.01
ncf_8_64_2_euad.8FAIL901.01
ncf_8_64_4_u.9FAIL901.01
ncf_16_128_2_edau.3FAIL901.01
ncf_16_128_4_euad.4FAIL901.01
ncf_16_128_8_edau.5FAIL901.01
ncf_16_128_4_d.6FAIL901.01
4qbf-5cnf-160var-1280cl.8FAIL901.01
k_path_p-21FAIL901.01
4qbf-5cnf-160var-640cl.6FAIL901.01
ncf_4_32_8_u.8FAIL901.01
2qbf-5cnf-40var-160cl.4FAIL901.01
ncf_16_32_4_edau.4FAIL901.01
ncf_16_64_8_u.6FAIL901.01
renHorn_400CNF2120_2aQBF_21FAIL901.01
ncf_4_32_4_d.1FAIL901.01
horn_400CNF1440_2aQBF_117FAIL901.01
2qbf-5cnf-80var-320cl.6FAIL901.01
ncf_16_32_4_edau.2FAIL901.01
renHorn_400CNF1640_2aQBF_18FAIL901.01
renHorn_400CNF1800_2aQBF_24FAIL901.01
2qbf-5cnf-160var-320cl.6FAIL901.01
ncf_8_32_4_euad.6FAIL901.01
ncf_8_32_8_u.4FAIL901.01
ncf_8_32_2_d.10FAIL901.01
ncf_4_32_8_euad.9FAIL901.01
ncf_16_128_2_euad.8FAIL901.01
ncf_16_128_2_u.5FAIL901.01
ncf_4_32_8_u.4FAIL901.01
ncf_4_16_8_edau.1FAIL901.01
horn_400CNF1600_2aQBF_514FAIL901.01
horn_400CNF2160_2aQBF_588FAIL901.01
ncf_8_32_8_d.9FAIL901.01
5qbf-5cnf-160var-2560cl.3FAIL901.01
ncf_4_32_4_euad.5FAIL901.01
ncf_8_32_8_edau.7FAIL901.01
ncf_16_32_4_u.4FAIL901.01
ncf_8_32_8_u.7FAIL901.01
ncf_16_128_8_edau.10FAIL901.01
test1_quant_squaring2FAIL901.01
k_path_n-16FAIL901.01
2qbf-5cnf-80var-320cl.3FAIL901.01
s298_d2_sFAIL901.01
ncf_8_64_4_d.1FAIL901.01
4qbf-5cnf-160var-1280cl.1FAIL901.01
s3330_d2_sFAIL901.01
2qbf-5cnf-160var-640cl.0FAIL901.01
ncf_8_64_8_edau.4FAIL901.01
ncf_4_32_4_u.6FAIL901.01
ncf_8_32_8_u.3FAIL901.01
C432.blif_0.10_0.20_0_1_out_exactFAIL901.01
ncf_8_64_4_euad.5FAIL901.01
renHorn_400CNF1640_2aQBF_53FAIL901.01
Adder2-14-cFAIL901.01
ncf_4_32_8_edau.2FAIL901.01
ncf_8_64_2_d.9FAIL901.01
C499.blif_0.10_1.00_0_0_inp_exactFAIL901.01
test5_quant_squaring4FAIL901.02