Instances solved by GRL
QBFEVAL'05

InstanceResultTime
3qbf-5cnf-20var-160cl.9SAT0
counter_e_2SAT0
3qbf-5cnf-80var-320cl.1SAT0
impl20SAT0
5qbf-5cnf-80var-320cl.4SAT0
impl10SAT0
s641_d2_sFAIL0
4qbf-5cnf-80var-160cl.7SAT0
6qbf-5cnf-40var-160cl.7SAT0
5qbf-5cnf-20var-40cl.0SAT0
4qbf-5cnf-20var-80cl.4SAT0
5qbf-5cnf-80var-160cl.7SAT0
6qbf-5cnf-40var-80cl.3SAT0
6qbf-5cnf-20var-40cl.9SAT0
5qbf-5cnf-40var-80cl.8SAT0
3qbf-5cnf-20var-40cl.2SAT0
2qbf-5cnf-20var-40cl.2SAT0
3qbf-5cnf-80var-160cl.1SAT0
5qbf-5cnf-20var-80cl.4SAT0
4qbf-5cnf-80var-160cl.6SAT0
5qbf-5cnf-20var-80cl.2SAT0
2qbf-5cnf-40var-80cl.2SAT0
5qbf-5cnf-40var-160cl.7SAT0
impl16SAT0
2qbf-5cnf-20var-640cl.1UNSAT0
3qbf-5cnf-40var-80cl.9SAT0
6qbf-5cnf-40var-160cl.1SAT0
6qbf-5cnf-40var-160cl.5SAT0
z4ml.blif_0.10_1.00_0_1_out_exactSAT0
3qbf-5cnf-80var-160cl.7SAT0
toilet_c_08_01.4UNSAT0
6qbf-5cnf-160var-320cl.5SAT0
5qbf-5cnf-40var-80cl.6SAT0
5qbf-5cnf-20var-40cl.5SAT0
3qbf-5cnf-20var-640cl.9UNSAT0
4qbf-5cnf-160var-320cl.8SAT0
6qbf-5cnf-80var-160cl.3SAT0
3qbf-5cnf-80var-320cl.9SAT0
6qbf-5cnf-80var-320cl.6SAT0
3qbf-5cnf-80var-160cl.0SAT0
6qbf-5cnf-20var-80cl.0SAT0
impl12SAT0
tree-exa2-25UNSAT0
6qbf-5cnf-20var-40cl.6SAT0
impl08SAT0
3qbf-5cnf-40var-160cl.9SAT0
3qbf-5cnf-40var-80cl.3SAT0
2qbf-5cnf-20var-320cl.8UNSAT0
impl18SAT0
2qbf-5cnf-20var-40cl.0SAT0
5qbf-5cnf-40var-1280cl.9UNSAT0
5qbf-5cnf-20var-40cl.7SAT0
3qbf-5cnf-80var-160cl.8SAT0
2qbf-5cnf-20var-40cl.1SAT0
4qbf-5cnf-40var-80cl.0SAT0
3qbf-5cnf-20var-80cl.0SAT0
5qbf-5cnf-40var-80cl.5SAT0
4qbf-5cnf-20var-40cl.2SAT0
toilet_c_08_01.8UNSAT0
5qbf-5cnf-160var-640cl.4SAT0
3qbf-5cnf-80var-320cl.0SAT0
6qbf-5cnf-20var-40cl.7SAT0
2qbf-5cnf-20var-40cl.6SAT0
2qbf-5cnf-20var-640cl.6UNSAT0
ncf_4_8_4_u.9SAT0
6qbf-5cnf-40var-160cl.8SAT0
3qbf-5cnf-20var-80cl.1SAT0
tree-exa2-10UNSAT0
s641_d4_sFAIL0
3qbf-5cnf-20var-80cl.9SAT0
6qbf-5cnf-20var-80cl.7SAT0
2qbf-5cnf-40var-80cl.5SAT0
3qbf-5cnf-40var-80cl.7SAT0
5qbf-5cnf-40var-80cl.4SAT0
5qbf-5cnf-20var-160cl.4SAT0
tree-exa2-15UNSAT0
3qbf-5cnf-20var-80cl.5SAT0
tree-exa2-20UNSAT0
4qbf-5cnf-20var-80cl.9SAT0
5qbf-5cnf-40var-80cl.9SAT0
3qbf-5cnf-20var-160cl.4SAT0
4qbf-5cnf-20var-320cl.1UNSAT0
comp.blif_0.10_1.00_0_1_out_exactSAT0
5qbf-5cnf-20var-640cl.7UNSAT0
6qbf-5cnf-20var-80cl.8SAT0
3qbf-5cnf-40var-160cl.8SAT0
3qbf-5cnf-20var-80cl.7SAT0
toilet_c_10_01.2UNSAT0
5qbf-5cnf-20var-80cl.1SAT0
6qbf-5cnf-20var-40cl.8SAT0
mutex-2-sSAT0
5qbf-5cnf-40var-80cl.7SAT0
6qbf-5cnf-40var-80cl.2SAT0
5qbf-5cnf-80var-160cl.5SAT0
6qbf-5cnf-20var-80cl.4SAT0
z4ml.blif_0.10_0.20_0_1_out_exactSAT0
2qbf-5cnf-20var-40cl.9SAT0
6qbf-5cnf-20var-80cl.2SAT0
5qbf-5cnf-20var-80cl.8SAT0
4qbf-5cnf-20var-80cl.1SAT0
2qbf-5cnf-20var-640cl.5UNSAT0
4qbf-5cnf-20var-80cl.6SAT0
s641_d6_sFAIL0
3qbf-5cnf-20var-40cl.8SAT0
4qbf-5cnf-40var-80cl.4SAT0
6qbf-5cnf-40var-160cl.3SAT0
3qbf-5cnf-80var-160cl.6SAT0
3qbf-5cnf-40var-160cl.2SAT0
5qbf-5cnf-20var-40cl.6SAT0
3qbf-5cnf-20var-80cl.2SAT0
2qbf-5cnf-20var-40cl.3SAT0
5qbf-5cnf-20var-160cl.1SAT0
6qbf-5cnf-20var-80cl.6SAT0
4qbf-5cnf-40var-80cl.5SAT0
6qbf-5cnf-40var-80cl.4SAT0
6qbf-5cnf-160var-320cl.8SAT0
3qbf-5cnf-20var-80cl.8SAT0
5qbf-5cnf-20var-40cl.8SAT0
4qbf-5cnf-20var-40cl.6SAT0
3qbf-5cnf-20var-40cl.0SAT0
5qbf-5cnf-40var-160cl.2SAT0
3qbf-5cnf-40var-160cl.1SAT0
flipflop-4-cUNSAT0
5qbf-5cnf-20var-80cl.0SAT0
5qbf-5cnf-20var-40cl.4SAT0
5qbf-5cnf-20var-80cl.3SAT0
4qbf-5cnf-80var-160cl.5SAT0
4qbf-5cnf-40var-80cl.8SAT0
4qbf-5cnf-40var-80cl.7SAT0
5qbf-5cnf-20var-80cl.5SAT0
4qbf-5cnf-20var-40cl.1SAT0
5qbf-5cnf-40var-160cl.5SAT0
3qbf-5cnf-20var-160cl.5SAT0
6qbf-5cnf-40var-80cl.7SAT0
3qbf-5cnf-80var-160cl.3SAT0
3qbf-5cnf-20var-40cl.7SAT0
5qbf-5cnf-20var-160cl.0SAT0
5qbf-5cnf-80var-160cl.0SAT0
3qbf-5cnf-40var-160cl.3SAT0
6qbf-5cnf-20var-40cl.1SAT0
3qbf-5cnf-20var-80cl.6SAT0
5qbf-5cnf-20var-640cl.6UNSAT0
6qbf-5cnf-80var-160cl.0SAT0
6qbf-5cnf-40var-160cl.4SAT0
4qbf-5cnf-80var-160cl.4SAT0
5qbf-5cnf-160var-320cl.0SAT0
6qbf-5cnf-80var-160cl.9SAT0
C432.blif_0.10_1.00_0_1_inp_exactSAT0
4qbf-5cnf-40var-80cl.2SAT0
2qbf-5cnf-20var-40cl.7SAT0
6qbf-5cnf-40var-160cl.9SAT0
3qbf-5cnf-20var-40cl.3SAT0
tree-exa2-30UNSAT0
4qbf-5cnf-40var-80cl.1SAT0
4qbf-5cnf-20var-40cl.9SAT0
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0
5qbf-5cnf-40var-160cl.8SAT0
6qbf-5cnf-40var-80cl.0SAT0
3qbf-5cnf-40var-80cl.4SAT0
4qbf-5cnf-20var-40cl.4SAT0
4qbf-5cnf-160var-320cl.6SAT0
3qbf-5cnf-20var-40cl.6SAT0
TOILET2.1.iv.4SAT0
5qbf-5cnf-40var-80cl.3SAT0
counter_2SAT0
5qbf-5cnf-80var-320cl.2SAT0
6qbf-5cnf-40var-80cl.8SAT0
impl02SAT0
3qbf-5cnf-20var-80cl.3SAT0
2qbf-5cnf-40var-640cl.7UNSAT0
3qbf-5cnf-80var-320cl.2SAT0
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT0
6qbf-5cnf-40var-80cl.6SAT0
2qbf-5cnf-20var-40cl.5SAT0
6qbf-5cnf-40var-80cl.1SAT0
3qbf-5cnf-20var-640cl.5UNSAT0
3qbf-5cnf-40var-80cl.6SAT0
6qbf-5cnf-80var-160cl.5SAT0
3qbf-5cnf-40var-160cl.4SAT0
4qbf-5cnf-40var-80cl.9SAT0
5qbf-5cnf-160var-320cl.7SAT0
6qbf-5cnf-20var-80cl.3SAT0
6qbf-5cnf-20var-80cl.1SAT0
3qbf-5cnf-40var-80cl.5SAT0
6qbf-5cnf-20var-80cl.9SAT0
5qbf-5cnf-20var-80cl.7SAT0
5qbf-5cnf-20var-160cl.9SAT0
ncf_4_8_2_d.4UNSAT0
5qbf-5cnf-20var-40cl.1SAT0
5qbf-5cnf-20var-40cl.3SAT0
2qbf-5cnf-20var-40cl.4SAT0
5qbf-5cnf-80var-160cl.9SAT0
6qbf-5cnf-80var-320cl.5SAT0
tree-exa2-35UNSAT0
5qbf-5cnf-40var-640cl.8UNSAT0
5qbf-5cnf-160var-320cl.1SAT0
4qbf-5cnf-20var-640cl.3UNSAT0
3qbf-5cnf-20var-160cl.2SAT0
6qbf-5cnf-20var-40cl.5SAT0
toilet_c_08_01.2UNSAT0
4qbf-5cnf-20var-80cl.3SAT0
5qbf-5cnf-20var-160cl.5SAT0
s641_d7_uFAIL0
impl14SAT0
3qbf-5cnf-160var-640cl.5SAT0
4qbf-5cnf-20var-40cl.7SAT0
6qbf-5cnf-20var-40cl.2SAT0
ncf_4_8_4_edau.9SAT0
5qbf-5cnf-20var-40cl.9SAT0
3qbf-5cnf-160var-320cl.3SAT0
2qbf-5cnf-40var-80cl.9SAT0
3qbf-5cnf-20var-640cl.8UNSAT0
comp.blif_0.10_0.20_0_1_out_exactSAT0
TOILET2.1.iv.3UNSAT0
5qbf-5cnf-80var-320cl.8SAT0
3qbf-5cnf-20var-640cl.4UNSAT0
6qbf-5cnf-40var-160cl.0SAT0
1qbf-5cnf-40var-320cl.9SAT0
1qbf-5cnf-80var-320cl.6SAT0
6qbf-5cnf-20var-40cl.4SAT0
1qbf-5cnf-20var-80cl.4SAT0
1qbf-5cnf-20var-320cl.8SAT0
1qbf-5cnf-20var-80cl.8SAT0
1qbf-5cnf-40var-80cl.5SAT0
1qbf-5cnf-20var-160cl.8SAT0
1qbf-5cnf-80var-320cl.8SAT0
1qbf-5cnf-40var-320cl.6SAT0
1qbf-5cnf-40var-160cl.7SAT0
1qbf-5cnf-20var-40cl.6SAT0
1qbf-5cnf-20var-80cl.9SAT0
1qbf-5cnf-40var-80cl.1SAT0
1qbf-5cnf-40var-160cl.3SAT0
1qbf-5cnf-40var-80cl.3SAT0
1qbf-5cnf-20var-40cl.5SAT0
1qbf-5cnf-80var-320cl.7SAT0
6qbf-5cnf-20var-80cl.5SAT0
1qbf-5cnf-20var-40cl.7SAT0
1qbf-5cnf-40var-160cl.2SAT0
1qbf-5cnf-20var-80cl.5SAT0
1qbf-5cnf-20var-320cl.6SAT0
1qbf-5cnf-160var-320cl.2SAT0
1qbf-5cnf-40var-80cl.8SAT0
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-80var-320cl.3SAT0
1qbf-5cnf-20var-40cl.8SAT0
1qbf-5cnf-40var-320cl.0SAT0
1qbf-5cnf-20var-160cl.5SAT0
1qbf-5cnf-80var-160cl.7SAT0
1qbf-5cnf-160var-320cl.8SAT0
1qbf-5cnf-20var-160cl.3SAT0
1qbf-5cnf-80var-320cl.4SAT0
1qbf-5cnf-40var-160cl.5SAT0
1qbf-5cnf-40var-160cl.1SAT0
1qbf-5cnf-160var-320cl.3SAT0
1qbf-5cnf-40var-320cl.1SAT0
1qbf-5cnf-20var-80cl.2SAT0
1qbf-5cnf-160var-320cl.9SAT0
1qbf-5cnf-80var-160cl.0SAT0
1qbf-5cnf-20var-80cl.0SAT0
1qbf-5cnf-20var-80cl.3SAT0
1qbf-5cnf-40var-320cl.2SAT0
1qbf-5cnf-80var-320cl.0SAT0
1qbf-5cnf-80var-160cl.8SAT0
1qbf-5cnf-160var-320cl.6SAT0
1qbf-5cnf-20var-160cl.0SAT0
1qbf-5cnf-20var-40cl.9SAT0
1qbf-5cnf-40var-80cl.9SAT0
1qbf-5cnf-80var-160cl.9SAT0
1qbf-5cnf-80var-160cl.6SAT0
1qbf-5cnf-40var-160cl.6SAT0
1qbf-5cnf-20var-40cl.1SAT0
1qbf-5cnf-40var-160cl.0SAT0
1qbf-5cnf-160var-640cl.9SAT0
1qbf-5cnf-160var-640cl.3SAT0
1qbf-5cnf-20var-160cl.9SAT0
1qbf-5cnf-40var-80cl.2SAT0
1qbf-5cnf-80var-320cl.5SAT0
4qbf-5cnf-20var-40cl.3SAT0
1qbf-5cnf-20var-160cl.4SAT0
1qbf-5cnf-40var-320cl.5SAT0
5qbf-5cnf-40var-80cl.1SAT0
1qbf-5cnf-40var-80cl.0SAT0
1qbf-5cnf-20var-40cl.4SAT0
1qbf-5cnf-40var-320cl.3SAT0
1qbf-5cnf-160var-320cl.0SAT0
1qbf-5cnf-20var-40cl.0SAT0
6qbf-5cnf-80var-160cl.7SAT0
1qbf-5cnf-80var-160cl.2SAT0
1qbf-5cnf-20var-80cl.1SAT0
1qbf-5cnf-80var-160cl.5SAT0
1qbf-5cnf-160var-320cl.4SAT0
1qbf-5cnf-80var-640cl.8SAT0
1qbf-5cnf-40var-80cl.6SAT0
flipflop-3-cUNSAT0.01
3qbf-5cnf-40var-160cl.7SAT0.01
6qbf-5cnf-20var-40cl.3SAT0.01
2qbf-5cnf-20var-640cl.0UNSAT0.01
5qbf-5cnf-80var-320cl.3SAT0.01
2qbf-5cnf-40var-80cl.7SAT0.01
6qbf-5cnf-40var-1280cl.5UNSAT0.01
6qbf-5cnf-20var-40cl.0SAT0.01
3qbf-5cnf-160var-320cl.0SAT0.01
3qbf-5cnf-80var-160cl.2SAT0.01
4qbf-5cnf-20var-80cl.8SAT0.01
6qbf-5cnf-80var-320cl.8SAT0.01
2qbf-5cnf-20var-320cl.0UNSAT0.01
2qbf-5cnf-80var-160cl.5SAT0.01
5qbf-5cnf-80var-320cl.1SAT0.01
tree-exa2-45UNSAT0.01
ncf_4_8_2_u.1UNSAT0.01
6qbf-5cnf-80var-160cl.4SAT0.01
3qbf-5cnf-40var-160cl.5SAT0.01
6qbf-5cnf-40var-160cl.6SAT0.01
6qbf-5cnf-80var-320cl.7SAT0.01
4qbf-5cnf-20var-80cl.5SAT0.01
5qbf-5cnf-160var-640cl.8SAT0.01
6qbf-5cnf-20var-640cl.4UNSAT0.01
6qbf-5cnf-20var-640cl.5UNSAT0.01
ncf_4_8_4_euad.9SAT0.01
3qbf-5cnf-80var-160cl.9SAT0.01
5qbf-5cnf-40var-160cl.0SAT0.01
6qbf-5cnf-20var-640cl.7UNSAT0.01
3qbf-5cnf-160var-640cl.3SAT0.01
5qbf-5cnf-160var-640cl.3SAT0.01
5qbf-5cnf-160var-640cl.1SAT0.01
toilet_c_10_01.20SAT0.01
6qbf-5cnf-80var-320cl.1SAT0.01
4qbf-5cnf-20var-40cl.5SAT0.01
5qbf-5cnf-160var-320cl.5SAT0.01
5qbf-5cnf-40var-160cl.1SAT0.01
6qbf-5cnf-80var-160cl.2SAT0.01
ncf_4_8_2_euad.4UNSAT0.01
5qbf-5cnf-20var-160cl.8SAT0.01
szymanski-4-sUNSAT0.01
4qbf-5cnf-40var-640cl.9UNSAT0.01
5qbf-5cnf-20var-160cl.6SAT0.01
k_ph_n-4SAT0.01
5qbf-5cnf-20var-80cl.9SAT0.01
4qbf-5cnf-160var-320cl.1SAT0.01
3qbf-5cnf-80var-320cl.7SAT0.01
3qbf-5cnf-20var-640cl.2UNSAT0.01
2qbf-5cnf-20var-640cl.2UNSAT0.01
4qbf-5cnf-20var-40cl.8SAT0.01
mutex-4-sSAT0.01
3qbf-5cnf-40var-160cl.0SAT0.01
3qbf-5cnf-40var-1280cl.0UNSAT0.01
2qbf-5cnf-20var-320cl.4UNSAT0.01
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0.01
6qbf-5cnf-80var-320cl.2SAT0.01
3qbf-5cnf-20var-160cl.0SAT0.01
5qbf-5cnf-20var-640cl.1UNSAT0.01
4qbf-5cnf-80var-160cl.3SAT0.01
impl04SAT0.01
4qbf-5cnf-20var-640cl.4UNSAT0.01
4qbf-5cnf-40var-160cl.1SAT0.01
3qbf-5cnf-160var-640cl.0SAT0.01
5qbf-5cnf-80var-320cl.9SAT0.01
ncf_8_16_4_edau.5UNSAT0.01
toilet_c_08_01.16SAT0.01
3qbf-5cnf-40var-1280cl.8UNSAT0.01
3qbf-5cnf-20var-40cl.4SAT0.01
5qbf-5cnf-20var-640cl.8UNSAT0.01
5qbf-5cnf-40var-80cl.0SAT0.01
3qbf-5cnf-160var-320cl.5SAT0.01
6qbf-5cnf-80var-320cl.9SAT0.01
5qbf-5cnf-80var-320cl.7SAT0.01
4qbf-5cnf-20var-640cl.1UNSAT0.01
4qbf-5cnf-20var-320cl.8UNSAT0.01
3qbf-5cnf-80var-160cl.4SAT0.01
2qbf-5cnf-40var-80cl.1SAT0.01
ncf_4_8_2_u.9SAT0.01
5qbf-5cnf-40var-1280cl.6UNSAT0.01
4qbf-5cnf-40var-640cl.5UNSAT0.01
4qbf-5cnf-20var-640cl.7UNSAT0.01
toilet_c_08_10.2SAT0.01
counter_r_2SAT0.01
5qbf-5cnf-80var-320cl.5SAT0.01
5qbf-5cnf-40var-160cl.3SAT0.01
5qbf-5cnf-160var-320cl.8SAT0.01
4qbf-5cnf-40var-80cl.3SAT0.01
6qbf-5cnf-20var-320cl.6UNSAT0.01
5qbf-5cnf-40var-80cl.2SAT0.01
2qbf-5cnf-20var-640cl.9UNSAT0.01
6qbf-5cnf-160var-320cl.9SAT0.01
4qbf-5cnf-20var-640cl.5UNSAT0.01
5qbf-5cnf-80var-160cl.1SAT0.01
4qbf-5cnf-20var-320cl.4UNSAT0.01
6qbf-5cnf-80var-320cl.3SAT0.01
4qbf-5cnf-20var-640cl.6UNSAT0.01
5qbf-5cnf-20var-160cl.3SAT0.01
2qbf-5cnf-20var-640cl.3UNSAT0.01
4qbf-5cnf-20var-40cl.0SAT0.01
6qbf-5cnf-40var-80cl.9SAT0.01
ncf_4_8_2_edau.4UNSAT0.01
5qbf-5cnf-20var-40cl.2SAT0.01
5qbf-5cnf-20var-640cl.0UNSAT0.01
4qbf-5cnf-80var-160cl.1SAT0.01
3qbf-5cnf-40var-80cl.8SAT0.01
3qbf-5cnf-40var-160cl.6SAT0.01
ncf_4_8_2_u.4UNSAT0.01
ncf_8_16_2_d.7SAT0.01
3qbf-5cnf-20var-640cl.3UNSAT0.01
5qbf-5cnf-40var-160cl.4SAT0.01
5qbf-5cnf-80var-320cl.0SAT0.01
4qbf-5cnf-40var-160cl.3SAT0.01
ncf_8_16_2_edau.7SAT0.01
tree-exa10-10SAT0.01
3qbf-5cnf-40var-640cl.9UNSAT0.01
6qbf-5cnf-80var-160cl.1SAT0.01
2qbf-5cnf-20var-640cl.7UNSAT0.01
6qbf-5cnf-80var-320cl.0SAT0.01
2qbf-5cnf-20var-160cl.3UNSAT0.01
5qbf-5cnf-160var-320cl.3SAT0.01
6qbf-5cnf-20var-640cl.6UNSAT0.01
tree-exa2-50UNSAT0.01
2qbf-5cnf-40var-640cl.2UNSAT0.01
tree-exa2-40UNSAT0.01
5qbf-5cnf-160var-640cl.6SAT0.01
3qbf-5cnf-40var-640cl.7UNSAT0.01
3qbf-5cnf-80var-320cl.3SAT0.01
6qbf-5cnf-160var-640cl.8SAT0.01
6qbf-5cnf-20var-640cl.2UNSAT0.01
6qbf-5cnf-20var-640cl.8UNSAT0.01
6qbf-5cnf-80var-320cl.4SAT0.01
4qbf-5cnf-80var-160cl.0SAT0.01
3qbf-5cnf-20var-640cl.7UNSAT0.01
TOILET6.1.iv.12SAT0.01
C432.blif_0.10_1.00_0_1_out_exactSAT0.01
3qbf-5cnf-160var-320cl.9SAT0.01
3qbf-5cnf-160var-320cl.2SAT0.01
5qbf-5cnf-80var-160cl.4SAT0.01
4qbf-5cnf-20var-320cl.6UNSAT0.01
ncf_8_16_2_u.7SAT0.01
4qbf-5cnf-20var-640cl.9UNSAT0.01
4qbf-5cnf-20var-80cl.0SAT0.01
toilet_c_08_05.8SAT0.01
2qbf-5cnf-20var-320cl.5UNSAT0.01
toilet_c_10_01.8UNSAT0.01
2qbf-5cnf-40var-640cl.5UNSAT0.01
4qbf-5cnf-160var-320cl.4SAT0.01
3qbf-5cnf-20var-160cl.6SAT0.01
5qbf-5cnf-160var-320cl.2SAT0.01
2qbf-5cnf-40var-640cl.6UNSAT0.01
3qbf-5cnf-160var-640cl.8SAT0.01
5qbf-5cnf-80var-160cl.2SAT0.01
6qbf-5cnf-160var-320cl.4SAT0.01
5qbf-5cnf-80var-160cl.8SAT0.01
toilet_c_10_05.4SAT0.01
4qbf-5cnf-20var-80cl.7SAT0.01
3qbf-5cnf-40var-1280cl.9UNSAT0.01
3qbf-5cnf-20var-40cl.9SAT0.01
toilet_c_08_05.4SAT0.01
3qbf-5cnf-40var-1280cl.2UNSAT0.01
4qbf-5cnf-160var-320cl.5SAT0.01
3qbf-5cnf-40var-80cl.2SAT0.01
comp.blif_0.10_1.00_0_1_inp_exactSAT0.01
ncf_8_16_2_d.3UNSAT0.01
4qbf-5cnf-20var-640cl.0UNSAT0.01
6qbf-5cnf-160var-640cl.1SAT0.01
3qbf-5cnf-160var-640cl.7SAT0.01
3qbf-5cnf-160var-640cl.6SAT0.01
ncf_4_8_4_d.9SAT0.01
2qbf-5cnf-20var-640cl.8UNSAT0.01
5qbf-5cnf-20var-640cl.5UNSAT0.01
5qbf-5cnf-20var-160cl.2SAT0.01
5qbf-5cnf-40var-160cl.6SAT0.01
3qbf-5cnf-40var-80cl.1SAT0.01
5qbf-5cnf-20var-80cl.6SAT0.01
2qbf-5cnf-20var-320cl.9UNSAT0.01
3qbf-5cnf-160var-640cl.9SAT0.01
5qbf-5cnf-160var-320cl.4SAT0.01
6qbf-5cnf-160var-320cl.3SAT0.01
ncf_8_16_2_euad.7SAT0.01
2qbf-5cnf-40var-80cl.4SAT0.01
4qbf-5cnf-80var-160cl.8SAT0.01
6qbf-5cnf-40var-80cl.5SAT0.01
4qbf-5cnf-80var-160cl.2SAT0.01
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT0.01
ncf_8_16_2_d.8UNSAT0.01
Adder2-2-cUNSAT0.01
6qbf-5cnf-160var-320cl.2SAT0.01
3qbf-5cnf-80var-320cl.4SAT0.01
3qbf-5cnf-20var-320cl.4UNSAT0.01
2qbf-5cnf-40var-640cl.3UNSAT0.01
3qbf-5cnf-160var-320cl.4SAT0.01
2qbf-5cnf-20var-320cl.1UNSAT0.01
2qbf-5cnf-20var-320cl.7UNSAT0.01
3qbf-5cnf-40var-80cl.0SAT0.01
impl06SAT0.01
3qbf-5cnf-20var-640cl.1UNSAT0.01
6qbf-5cnf-160var-320cl.0SAT0.01
2qbf-5cnf-20var-40cl.8SAT0.01
TOILET7.1.iv.14SAT0.01
4qbf-5cnf-20var-640cl.2UNSAT0.01
4qbf-5cnf-20var-80cl.2SAT0.01
5qbf-5cnf-40var-320cl.7SAT0.01
5qbf-5cnf-20var-640cl.9UNSAT0.01
6qbf-5cnf-40var-160cl.2SAT0.01
ncf_8_16_2_u.3UNSAT0.01
3qbf-5cnf-20var-40cl.1SAT0.01
3qbf-5cnf-160var-640cl.2SAT0.01
2qbf-5cnf-40var-80cl.8SAT0.01
ncf_8_16_2_euad.8UNSAT0.01
z4ml.blif_0.10_1.00_0_1_inp_exactSAT0.01
toilet_c_10_01.4UNSAT0.01
2qbf-5cnf-40var-1280cl.5UNSAT0.01
5qbf-5cnf-160var-640cl.7SAT0.01
5qbf-5cnf-40var-1280cl.5UNSAT0.01
3qbf-5cnf-80var-320cl.6SAT0.01
3qbf-5cnf-160var-320cl.6SAT0.01
6qbf-5cnf-80var-160cl.6SAT0.01
4qbf-5cnf-80var-160cl.9SAT0.01
4qbf-5cnf-40var-80cl.6SAT0.01
3qbf-5cnf-80var-160cl.5SAT0.01
5qbf-5cnf-40var-160cl.9SAT0.01
5qbf-5cnf-160var-320cl.9SAT0.01
6qbf-5cnf-160var-320cl.1SAT0.01
5qbf-5cnf-20var-640cl.4UNSAT0.01
3qbf-5cnf-40var-1280cl.7UNSAT0.01
5qbf-5cnf-160var-320cl.6SAT0.01
3qbf-5cnf-80var-320cl.5SAT0.01
2qbf-5cnf-80var-640cl.2UNSAT0.01
4qbf-5cnf-160var-320cl.9SAT0.01
4qbf-5cnf-20var-320cl.5UNSAT0.01
3qbf-5cnf-160var-320cl.8SAT0.01
3qbf-5cnf-20var-80cl.4SAT0.01
3qbf-5cnf-160var-640cl.4SAT0.01
6qbf-5cnf-160var-640cl.3SAT0.01
3qbf-5cnf-20var-40cl.5SAT0.01
2qbf-5cnf-40var-640cl.4UNSAT0.01
2qbf-5cnf-40var-80cl.6SAT0.01
ncf_4_8_2_u.10SAT0.01
4qbf-5cnf-160var-320cl.7SAT0.01
2qbf-5cnf-20var-320cl.6UNSAT0.01
1qbf-5cnf-20var-160cl.6SAT0.01
5qbf-5cnf-80var-160cl.6SAT0.01
1qbf-5cnf-20var-320cl.2SAT0.01
1qbf-5cnf-40var-80cl.7SAT0.01
1qbf-5cnf-40var-80cl.4SAT0.01
1qbf-5cnf-80var-160cl.3SAT0.01
1qbf-5cnf-40var-160cl.4SAT0.01
1qbf-5cnf-160var-640cl.5SAT0.01
1qbf-5cnf-80var-640cl.5SAT0.01
1qbf-5cnf-20var-320cl.1SAT0.01
1qbf-5cnf-80var-640cl.2SAT0.01
1qbf-5cnf-80var-320cl.9SAT0.01
1qbf-5cnf-160var-640cl.2SAT0.01
1qbf-5cnf-40var-160cl.9SAT0.01
1qbf-5cnf-80var-640cl.1SAT0.01
1qbf-5cnf-160var-1280cl.1SAT0.01
1qbf-5cnf-160var-640cl.6SAT0.01
1qbf-5cnf-20var-80cl.6SAT0.01
1qbf-5cnf-80var-640cl.3SAT0.01
1qbf-5cnf-20var-320cl.7SAT0.01
1qbf-5cnf-160var-640cl.1SAT0.01
1qbf-5cnf-20var-40cl.2SAT0.01
1qbf-5cnf-80var-160cl.4SAT0.01
1qbf-5cnf-160var-1280cl.9SAT0.01
1qbf-5cnf-80var-640cl.6SAT0.01
1qbf-5cnf-160var-640cl.4SAT0.01
1qbf-5cnf-20var-160cl.1SAT0.01
1qbf-5cnf-80var-320cl.1SAT0.01
1qbf-5cnf-20var-320cl.9SAT0.01
1qbf-5cnf-80var-320cl.2SAT0.01
1qbf-5cnf-160var-640cl.8SAT0.01
1qbf-5cnf-80var-640cl.9SAT0.01
1qbf-5cnf-80var-640cl.0SAT0.01
1qbf-5cnf-160var-1280cl.7SAT0.01
1qbf-5cnf-20var-160cl.2SAT0.01
1qbf-5cnf-80var-640cl.4SAT0.01
1qbf-5cnf-40var-320cl.4SAT0.01
1qbf-5cnf-20var-320cl.5SAT0.01
1qbf-5cnf-160var-640cl.7SAT0.01
1qbf-5cnf-20var-320cl.0SAT0.01
1qbf-5cnf-160var-1280cl.4SAT0.01
1qbf-5cnf-40var-320cl.7SAT0.01
1qbf-5cnf-160var-1280cl.3SAT0.01
1qbf-5cnf-160var-1280cl.5SAT0.01
1qbf-5cnf-40var-320cl.8SAT0.01
1qbf-5cnf-160var-320cl.1SAT0.01
1qbf-5cnf-40var-160cl.8SAT0.01
1qbf-5cnf-20var-160cl.7SAT0.01
1qbf-5cnf-40var-640cl.9SAT0.01
1qbf-5cnf-80var-160cl.1SAT0.01
1qbf-5cnf-20var-80cl.7SAT0.01
1qbf-5cnf-80var-640cl.7SAT0.01
ncf_8_16_2_edau.8UNSAT0.02
comp.blif_0.10_0.20_0_1_inp_exactSAT0.02
5qbf-5cnf-40var-1280cl.0UNSAT0.02
2qbf-5cnf-40var-640cl.1UNSAT0.02
6qbf-5cnf-20var-640cl.3UNSAT0.02
3qbf-5cnf-20var-320cl.9UNSAT0.02
6qbf-5cnf-160var-640cl.2SAT0.02
6qbf-5cnf-20var-640cl.0UNSAT0.02
6qbf-5cnf-40var-1280cl.0UNSAT0.02
counter_re_2SAT0.02
ncf_4_8_2_euad.9SAT0.02
3qbf-5cnf-80var-2560cl.0UNSAT0.02
4qbf-5cnf-40var-160cl.6SAT0.02
4qbf-5cnf-20var-640cl.8UNSAT0.02
3qbf-5cnf-20var-640cl.6UNSAT0.02
4qbf-5cnf-40var-1280cl.7UNSAT0.02
6qbf-5cnf-160var-320cl.6SAT0.02
4qbf-5cnf-160var-320cl.0SAT0.02
4qbf-5cnf-160var-320cl.3SAT0.02
5qbf-5cnf-80var-320cl.6SAT0.02
ncf_8_16_4_euad.5UNSAT0.02
2qbf-5cnf-80var-1280cl.4UNSAT0.02
4qbf-5cnf-40var-1280cl.9UNSAT0.02
6qbf-5cnf-40var-1280cl.6UNSAT0.02
3qbf-5cnf-160var-320cl.1SAT0.02
ncf_8_16_2_edau.3UNSAT0.02
3qbf-5cnf-20var-320cl.0UNSAT0.02
4qbf-5cnf-40var-1280cl.6UNSAT0.02
3qbf-5cnf-40var-640cl.8UNSAT0.02
ncf_8_16_2_u.8UNSAT0.02
k_ph_p-4UNSAT0.02
5qbf-5cnf-160var-640cl.9SAT0.02
4qbf-5cnf-20var-320cl.2UNSAT0.02
2qbf-5cnf-20var-320cl.3UNSAT0.02
3qbf-5cnf-40var-1280cl.4UNSAT0.02
3qbf-5cnf-40var-1280cl.3UNSAT0.02
4qbf-5cnf-40var-640cl.2UNSAT0.02
2qbf-5cnf-20var-320cl.2UNSAT0.02
5qbf-5cnf-40var-1280cl.3UNSAT0.02
toilet_c_10_10.2SAT0.02
5qbf-5cnf-20var-640cl.2UNSAT0.02
3qbf-5cnf-20var-320cl.6UNSAT0.02
3qbf-5cnf-160var-5120cl.0UNSAT0.02
6qbf-5cnf-20var-640cl.9UNSAT0.02
2qbf-5cnf-40var-1280cl.4UNSAT0.02
6qbf-5cnf-160var-640cl.9SAT0.02
ncf_8_16_4_u.5UNSAT0.02
4qbf-5cnf-40var-1280cl.0UNSAT0.02
4qbf-5cnf-40var-1280cl.2UNSAT0.02
6qbf-5cnf-20var-320cl.3UNSAT0.02
4qbf-5cnf-40var-160cl.5SAT0.02
2qbf-5cnf-80var-2560cl.5UNSAT0.02
4qbf-5cnf-40var-1280cl.4UNSAT0.02
2qbf-5cnf-80var-160cl.3SAT0.02
5qbf-5cnf-40var-1280cl.4UNSAT0.02
ncf_8_16_4_d.5UNSAT0.02
2qbf-5cnf-20var-640cl.4UNSAT0.02
ncf_4_8_2_edau.5SAT0.02
5qbf-5cnf-40var-1280cl.1UNSAT0.02
2qbf-5cnf-40var-1280cl.0UNSAT0.02
5qbf-5cnf-40var-1280cl.8UNSAT0.02
4qbf-5cnf-160var-320cl.2SAT0.02
6qbf-5cnf-160var-640cl.6SAT0.02
ncf_4_8_2_u.5SAT0.02
4qbf-5cnf-20var-320cl.0UNSAT0.02
6qbf-5cnf-160var-640cl.4SAT0.02
6qbf-5cnf-160var-640cl.7SAT0.02
3qbf-5cnf-80var-320cl.8SAT0.02
2qbf-5cnf-80var-160cl.8SAT0.02
5qbf-5cnf-40var-320cl.5SAT0.02
6qbf-5cnf-40var-1280cl.2UNSAT0.02
2qbf-5cnf-40var-1280cl.9UNSAT0.02
2qbf-5cnf-20var-160cl.2UNSAT0.02
2qbf-5cnf-40var-1280cl.2UNSAT0.02
6qbf-5cnf-160var-640cl.5SAT0.02
4qbf-5cnf-40var-640cl.8UNSAT0.02
2qbf-5cnf-40var-1280cl.1UNSAT0.02
6qbf-5cnf-80var-160cl.8SAT0.02
6qbf-5cnf-160var-640cl.0SAT0.02
3qbf-5cnf-20var-320cl.7UNSAT0.02
ncf_4_8_2_euad.5SAT0.02
4qbf-5cnf-20var-320cl.7UNSAT0.02
TOILET10.1.iv.20SAT0.02
toilet_c_08_05.2UNSAT0.02
2qbf-5cnf-40var-640cl.0UNSAT0.02
3qbf-5cnf-20var-160cl.8SAT0.02
3qbf-5cnf-160var-320cl.7SAT0.02
6qbf-5cnf-20var-160cl.3UNSAT0.02
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT0.02
3qbf-5cnf-160var-640cl.1SAT0.02
5qbf-5cnf-160var-640cl.5SAT0.02
ncf_4_8_2_euad.10SAT0.02
3qbf-5cnf-40var-1280cl.6UNSAT0.02
3qbf-5cnf-40var-1280cl.1UNSAT0.02
6qbf-5cnf-160var-320cl.7SAT0.02
6qbf-5cnf-20var-320cl.1UNSAT0.02
2qbf-5cnf-40var-1280cl.3UNSAT0.02
3qbf-5cnf-80var-2560cl.3UNSAT0.02
3qbf-5cnf-20var-640cl.0UNSAT0.02
2qbf-5cnf-40var-640cl.8UNSAT0.02
2qbf-5cnf-40var-80cl.3SAT0.02
6qbf-5cnf-20var-160cl.1SAT0.02
1qbf-5cnf-40var-640cl.1SAT0.02
1qbf-5cnf-160var-1280cl.2SAT0.02
1qbf-5cnf-160var-1280cl.6SAT0.02
1qbf-5cnf-20var-640cl.9UNSAT0.02
1qbf-5cnf-160var-1280cl.8SAT0.02
1qbf-5cnf-20var-640cl.2UNSAT0.02
1qbf-5cnf-20var-640cl.1UNSAT0.02
1qbf-5cnf-20var-640cl.5UNSAT0.02
1qbf-5cnf-160var-1280cl.0SAT0.02
6qbf-5cnf-80var-2560cl.9UNSAT0.03
3qbf-5cnf-40var-1280cl.5UNSAT0.03
ncf_4_8_2_euad.8SAT0.03
2qbf-5cnf-80var-2560cl.7UNSAT0.03
2qbf-5cnf-40var-1280cl.6UNSAT0.03
4qbf-5cnf-80var-320cl.0SAT0.03
4qbf-5cnf-40var-1280cl.3UNSAT0.03
ncf_4_8_2_d.9SAT0.03
3qbf-5cnf-80var-2560cl.6UNSAT0.03
flipflop-5-cUNSAT0.03
toilet_c_10_05.8SAT0.03
2qbf-5cnf-20var-80cl.0SAT0.03
ncf_4_8_2_euad.1UNSAT0.03
renHorn_400CNF1200_2aQBF_8UNSAT0.03
3qbf-5cnf-160var-5120cl.9UNSAT0.03
2qbf-5cnf-80var-1280cl.5UNSAT0.03
2qbf-5cnf-40var-640cl.9UNSAT0.03
3qbf-5cnf-80var-2560cl.7UNSAT0.03
4qbf-5cnf-40var-640cl.4UNSAT0.03
ncf_4_8_2_d.5SAT0.03
2qbf-5cnf-80var-1280cl.3UNSAT0.03
5qbf-5cnf-20var-160cl.7SAT0.03
5qbf-5cnf-40var-320cl.2SAT0.03
2qbf-5cnf-80var-1280cl.6UNSAT0.03
2qbf-5cnf-40var-1280cl.8UNSAT0.03
5qbf-5cnf-80var-2560cl.2UNSAT0.03
5qbf-5cnf-20var-640cl.3UNSAT0.03
toilet_c_10_05.12SAT0.03
3qbf-5cnf-80var-2560cl.1UNSAT0.03
6qbf-5cnf-20var-640cl.1UNSAT0.03
3qbf-5cnf-20var-320cl.1UNSAT0.03
ncf_8_16_2_euad.3UNSAT0.03
2qbf-5cnf-40var-1280cl.7UNSAT0.03
5qbf-5cnf-160var-640cl.2SAT0.03
5qbf-5cnf-160var-640cl.0SAT0.03
2qbf-5cnf-80var-160cl.0SAT0.03
4qbf-5cnf-80var-2560cl.7UNSAT0.03
4qbf-5cnf-40var-1280cl.5UNSAT0.03
6qbf-5cnf-40var-640cl.7UNSAT0.03
ncf_4_8_4_d.2UNSAT0.03
ncf_4_8_2_u.8SAT0.03
4qbf-5cnf-40var-1280cl.8UNSAT0.03
3qbf-5cnf-80var-2560cl.2UNSAT0.03
6qbf-5cnf-40var-1280cl.9UNSAT0.03
adder-2-satSAT0.03
Adder2-2-sSAT0.03
5qbf-5cnf-20var-320cl.5UNSAT0.03
ncf_4_8_2_edau.2SAT0.03
3qbf-5cnf-80var-2560cl.4UNSAT0.03
toilet_c_10_05.7SAT0.03
2qbf-5cnf-20var-160cl.4UNSAT0.03
renHorn_400CNF1640_2aQBF_7UNSAT0.03
horn_400CNF1280_2aQBF_841UNSAT0.03
3qbf-5cnf-80var-2560cl.8UNSAT0.03
toilet_c_08_05.10SAT0.03
2qbf-5cnf-80var-1280cl.9UNSAT0.03
toilet_c_10_05.2UNSAT0.03
2qbf-5cnf-80var-2560cl.6UNSAT0.03
6qbf-5cnf-40var-1280cl.7UNSAT0.03
ncf_4_8_2_euad.2SAT0.03
6qbf-5cnf-40var-1280cl.8UNSAT0.03
5qbf-5cnf-40var-320cl.4SAT0.03
4qbf-5cnf-40var-1280cl.1UNSAT0.03
1qbf-5cnf-20var-640cl.0UNSAT0.03
1qbf-5cnf-20var-320cl.3SAT0.03
1qbf-5cnf-40var-640cl.3SAT0.03
1qbf-5cnf-20var-640cl.4UNSAT0.03
1qbf-5cnf-20var-640cl.6UNSAT0.03
1qbf-5cnf-20var-640cl.7UNSAT0.03
3qbf-5cnf-80var-2560cl.9UNSAT0.04
2qbf-5cnf-80var-2560cl.3UNSAT0.04
ncf_4_8_2_u.7UNSAT0.04
renHorn_400CNF1560_2aQBF_28UNSAT0.04
renHorn_400CNF1800_2aQBF_53UNSAT0.04
renHorn_400CNF1200_2aQBF_28UNSAT0.04
horn_400CNF1360_2aQBF_894UNSAT0.04
ncf_8_16_4_edau.2UNSAT0.04
ncf_8_16_4_u.2UNSAT0.04
4qbf-5cnf-80var-2560cl.5UNSAT0.04
szymanski-5-sUNSAT0.04
6qbf-5cnf-80var-2560cl.1UNSAT0.04
4qbf-5cnf-80var-2560cl.0UNSAT0.04
horn_400CNF1520_2aQBF_98UNSAT0.04
5qbf-5cnf-80var-2560cl.6UNSAT0.04
3qbf-5cnf-80var-2560cl.5UNSAT0.04
5qbf-5cnf-80var-2560cl.1UNSAT0.04
ncf_4_8_2_edau.9SAT0.04
renHorn_400CNF1200_2aQBF_79UNSAT0.04
4qbf-5cnf-80var-2560cl.6UNSAT0.04
toilet_a_08_01.4UNSAT0.04
5qbf-5cnf-80var-2560cl.7UNSAT0.04
4qbf-5cnf-80var-2560cl.8UNSAT0.04
2qbf-5cnf-40var-80cl.0SAT0.04
4qbf-5cnf-20var-320cl.9UNSAT0.04
ncf_4_8_2_d.2SAT0.04
3qbf-5cnf-160var-5120cl.8UNSAT0.04
2qbf-5cnf-80var-1280cl.2UNSAT0.04
ncf_4_8_2_edau.1UNSAT0.04
horn_400CNF1360_2aQBF_755UNSAT0.04
2qbf-5cnf-80var-2560cl.2UNSAT0.04
renHorn_400CNF1800_2aQBF_36UNSAT0.04
ncf_8_16_4_u.1SAT0.04
renHorn_400CNF1480_2aQBF_21UNSAT0.04
4qbf-5cnf-40var-640cl.0UNSAT0.04
4qbf-5cnf-40var-160cl.0SAT0.04
ncf_4_8_4_euad.2UNSAT0.04
5qbf-5cnf-80var-2560cl.4UNSAT0.04
4qbf-5cnf-80var-2560cl.3UNSAT0.04
horn_400CNF1360_2aQBF_130UNSAT0.04
horn_400CNF1680_2aQBF_91UNSAT0.04
toilet_a_08_01.2UNSAT0.04
horn_400CNF1920_2aQBF_927UNSAT0.04
6qbf-5cnf-40var-1280cl.4UNSAT0.04
ncf_4_8_2_euad.7UNSAT0.04
4qbf-5cnf-80var-2560cl.9UNSAT0.04
5qbf-5cnf-80var-2560cl.8UNSAT0.04
horn_400CNF1840_2aQBF_752UNSAT0.04
5qbf-5cnf-80var-2560cl.0UNSAT0.04
ncf_4_8_2_u.2SAT0.04
3qbf-5cnf-40var-640cl.4UNSAT0.04
1qbf-5cnf-20var-640cl.3UNSAT0.04
1qbf-5cnf-20var-640cl.8UNSAT0.04
ncf_8_16_4_d.1SAT0.05
ncf_4_8_2_edau.10SAT0.05
4qbf-5cnf-20var-320cl.3UNSAT0.05
6qbf-5cnf-80var-2560cl.5UNSAT0.05
6qbf-5cnf-20var-160cl.4SAT0.05
ncf_8_16_4_euad.1SAT0.05
4qbf-5cnf-40var-160cl.7SAT0.05
4qbf-5cnf-80var-1280cl.5UNSAT0.05
horn_400CNF1760_2aQBF_726UNSAT0.05
horn_400CNF1760_2aQBF_484UNSAT0.05
6qbf-5cnf-20var-320cl.9UNSAT0.05
tree-exa10-15SAT0.05
6qbf-5cnf-20var-160cl.8SAT0.05
horn_400CNF2000_2aQBF_564UNSAT0.05
5qbf-5cnf-40var-640cl.1UNSAT0.05
5qbf-5cnf-80var-2560cl.3UNSAT0.05
ncf_16_32_2_u.9SAT0.05
horn_400CNF1600_2aQBF_748UNSAT0.05
ncf_4_8_2_d.1UNSAT0.05
4qbf-5cnf-80var-2560cl.4UNSAT0.05
3qbf-5cnf-160var-5120cl.5UNSAT0.05
horn_400CNF1600_2aQBF_278UNSAT0.05
2qbf-5cnf-80var-2560cl.4UNSAT0.05
6qbf-5cnf-80var-2560cl.6UNSAT0.05
6qbf-5cnf-80var-2560cl.0UNSAT0.05
4qbf-5cnf-80var-2560cl.1UNSAT0.05
2qbf-5cnf-80var-2560cl.9UNSAT0.05
ncf_16_32_2_edau.9SAT0.05
horn_400CNF1600_2aQBF_571UNSAT0.05
3qbf-5cnf-160var-5120cl.7UNSAT0.05
horn_400CNF1680_2aQBF_154UNSAT0.05
horn_400CNF1760_2aQBF_886UNSAT0.05
2qbf-5cnf-80var-2560cl.0UNSAT0.05
5qbf-5cnf-20var-320cl.6UNSAT0.05
3qbf-5cnf-160var-5120cl.3UNSAT0.05
toilet_a_08_01.8UNSAT0.05
6qbf-5cnf-80var-2560cl.7UNSAT0.05
5qbf-5cnf-20var-320cl.4UNSAT0.05
2qbf-5cnf-80var-2560cl.1UNSAT0.05
2qbf-5cnf-20var-160cl.7UNSAT0.05
horn_400CNF1520_2aQBF_53UNSAT0.05
2qbf-5cnf-80var-2560cl.8UNSAT0.05
6qbf-5cnf-20var-160cl.6SAT0.05
4qbf-5cnf-80var-2560cl.2UNSAT0.05
ncf_8_16_4_euad.2UNSAT0.05
5qbf-5cnf-160var-5120cl.9UNSAT0.05
ncf_8_16_4_d.2UNSAT0.05
5qbf-5cnf-40var-320cl.0SAT0.05
horn_400CNF2160_2aQBF_411UNSAT0.05
horn_400CNF1600_2aQBF_236UNSAT0.05
3qbf-5cnf-40var-320cl.0SAT0.06
5qbf-5cnf-40var-320cl.1SAT0.06
horn_400CNF1520_2aQBF_165UNSAT0.06
flipflop-6-cUNSAT0.06
horn_400CNF1840_2aQBF_401UNSAT0.06
ncf_4_8_2_d.10SAT0.06
5qbf-5cnf-80var-2560cl.9UNSAT0.06
renHorn_400CNF1480_2aQBF_85UNSAT0.06
toilet_a_08_05.2UNSAT0.06
4qbf-5cnf-40var-160cl.2SAT0.06
3qbf-5cnf-20var-160cl.7SAT0.06
3qbf-5cnf-160var-5120cl.2UNSAT0.06
3qbf-5cnf-20var-320cl.2UNSAT0.06
renHorn_400CNF1960_2aQBF_68UNSAT0.06
ncf_8_16_4_edau.1SAT0.06
6qbf-5cnf-20var-160cl.5SAT0.06
2qbf-5cnf-20var-80cl.5SAT0.06
3qbf-5cnf-160var-5120cl.6UNSAT0.06
3qbf-5cnf-160var-5120cl.1UNSAT0.06
4qbf-5cnf-20var-160cl.3UNSAT0.06
6qbf-5cnf-40var-1280cl.1UNSAT0.06
4qbf-5cnf-40var-640cl.3UNSAT0.06
horn_400CNF1920_2aQBF_721UNSAT0.06
4qbf-5cnf-40var-320cl.3UNSAT0.06
3qbf-5cnf-20var-320cl.3UNSAT0.06
ncf_16_32_2_d.9SAT0.06
horn_400CNF1680_2aQBF_29UNSAT0.06
horn_400CNF1760_2aQBF_10UNSAT0.06
5qbf-5cnf-40var-1280cl.2UNSAT0.06
2qbf-5cnf-20var-160cl.1UNSAT0.06
4qbf-5cnf-80var-1280cl.4UNSAT0.06
2qbf-5cnf-160var-5120cl.0UNSAT0.06
horn_400CNF2080_2aQBF_793UNSAT0.06
2qbf-5cnf-20var-80cl.7SAT0.06
4qbf-5cnf-40var-640cl.6UNSAT0.06
3qbf-5cnf-160var-5120cl.4UNSAT0.06
horn_400CNF2160_2aQBF_657UNSAT0.06
horn_400CNF1600_2aQBF_922UNSAT0.06
1qbf-5cnf-80var-1280cl.5SAT0.06
5qbf-5cnf-80var-640cl.7SAT0.07
5qbf-5cnf-40var-1280cl.7UNSAT0.07
2qbf-5cnf-160var-2560cl.6UNSAT0.07
4qbf-5cnf-40var-640cl.1UNSAT0.07
6qbf-5cnf-20var-320cl.5UNSAT0.07
6qbf-5cnf-20var-320cl.8UNSAT0.07
horn_400CNF1760_2aQBF_946UNSAT0.07
5qbf-5cnf-160var-5120cl.3UNSAT0.07
horn_400CNF1840_2aQBF_215UNSAT0.07
5qbf-5cnf-160var-5120cl.0UNSAT0.07
horn_400CNF2000_2aQBF_650UNSAT0.07
2qbf-5cnf-40var-160cl.6UNSAT0.07
ncf_16_32_2_euad.9SAT0.07
renHorn_400CNF1280_2aQBF_22UNSAT0.07
6qbf-5cnf-80var-2560cl.2UNSAT0.07
horn_400CNF2160_2aQBF_660UNSAT0.07
2qbf-5cnf-20var-80cl.8SAT0.07
ncf_4_8_8_u.9UNSAT0.08
5qbf-5cnf-160var-5120cl.8UNSAT0.08
2qbf-5cnf-20var-80cl.2SAT0.08
6qbf-5cnf-20var-320cl.7UNSAT0.08
4qbf-5cnf-160var-5120cl.3UNSAT0.08
connect_5x4_3_WUNSAT0.08
3qbf-5cnf-20var-320cl.5UNSAT0.08
4qbf-5cnf-40var-160cl.4SAT0.08
2qbf-5cnf-20var-80cl.6SAT0.08
C5315.blif_0.10_1.00_0_1_out_exactSAT0.08
6qbf-5cnf-80var-2560cl.4UNSAT0.08
5qbf-5cnf-160var-5120cl.2UNSAT0.08
ncf_4_8_8_euad.9UNSAT0.08
2qbf-5cnf-160var-5120cl.4UNSAT0.08
ncf_4_8_8_d.9UNSAT0.08
connect_5x4_3_DUNSAT0.08
ncf_4_8_8_edau.9UNSAT0.08
TOILET16.1.iv.32SAT0.08
4qbf-5cnf-160var-5120cl.6UNSAT0.08
2qbf-5cnf-20var-80cl.1SAT0.09
2qbf-5cnf-160var-5120cl.2UNSAT0.09
4qbf-5cnf-160var-5120cl.0UNSAT0.09
2qbf-5cnf-160var-2560cl.2UNSAT0.09
6qbf-5cnf-160var-5120cl.9UNSAT0.09
5qbf-5cnf-160var-5120cl.6UNSAT0.09
6qbf-5cnf-20var-160cl.0SAT0.09
2qbf-5cnf-160var-2560cl.4UNSAT0.09
2qbf-5cnf-160var-5120cl.7UNSAT0.09
2qbf-5cnf-160var-5120cl.9UNSAT0.09
4qbf-5cnf-160var-5120cl.7UNSAT0.09
4qbf-5cnf-160var-5120cl.5UNSAT0.09
horn_400CNF1840_2aQBF_158UNSAT0.09
ncf_4_8_2_edau.8SAT0.09
4qbf-5cnf-160var-5120cl.9UNSAT0.09
4qbf-5cnf-160var-5120cl.8UNSAT0.09
horn_400CNF2320_2aQBF_433UNSAT0.09
2qbf-5cnf-160var-5120cl.6UNSAT0.09
term1.blif_0.10_1.00_0_1_inp_exactSAT0.09
2qbf-5cnf-160var-5120cl.5UNSAT0.09
2qbf-5cnf-160var-5120cl.8UNSAT0.09
1qbf-5cnf-40var-640cl.5SAT0.09
3qbf-5cnf-40var-640cl.6UNSAT0.1
5qbf-5cnf-160var-5120cl.5UNSAT0.1
connect_5x4_4_WUNSAT0.1
6qbf-5cnf-160var-5120cl.6UNSAT0.1
connect_5x4_4_DUNSAT0.1
4qbf-5cnf-160var-5120cl.4UNSAT0.1
ncf_4_16_2_d.9SAT0.1
6qbf-5cnf-160var-5120cl.4UNSAT0.1
counter_4SAT0.1
4qbf-5cnf-160var-5120cl.1UNSAT0.1
horn_400CNF1440_2aQBF_117UNSAT0.1
2qbf-5cnf-20var-80cl.9SAT0.1
6qbf-5cnf-160var-5120cl.5UNSAT0.1
5qbf-5cnf-20var-320cl.8UNSAT0.1
4qbf-5cnf-80var-1280cl.8UNSAT0.1
ncf_4_8_4_u.2UNSAT0.1
1qbf-5cnf-40var-640cl.7SAT0.1
6qbf-5cnf-160var-5120cl.8UNSAT0.11
2qbf-5cnf-160var-5120cl.3UNSAT0.11
ncf_4_16_2_euad.9SAT0.11
4qbf-5cnf-160var-5120cl.2UNSAT0.11
ncf_4_16_2_euad.6SAT0.11
2qbf-5cnf-160var-5120cl.1UNSAT0.11
C499.blif_0.10_1.00_0_1_inp_exactSAT0.11
6qbf-5cnf-160var-5120cl.0UNSAT0.11
ncf_4_16_2_u.9SAT0.11
3qbf-5cnf-40var-640cl.5UNSAT0.12
vonNeumann-ripple-carry-5-cUNSAT0.12
6qbf-5cnf-40var-1280cl.3UNSAT0.12
ncf_4_16_2_edau.9SAT0.12
ncf_4_8_4_edau.2UNSAT0.12
6qbf-5cnf-160var-5120cl.1UNSAT0.12
3qbf-5cnf-20var-160cl.1SAT0.12
3qbf-5cnf-20var-160cl.3SAT0.12
2qbf-5cnf-80var-160cl.4SAT0.12
5qbf-5cnf-40var-640cl.0UNSAT0.12
6qbf-5cnf-80var-2560cl.8UNSAT0.13
ncf_4_8_2_edau.7UNSAT0.13
qshifter_3SAT0.13
5qbf-5cnf-20var-320cl.2UNSAT0.13
5qbf-5cnf-20var-320cl.0UNSAT0.13
renHorn_400CNF1960_2aQBF_50UNSAT0.13
flipflop-7-cUNSAT0.13
horn_400CNF1360_2aQBF_310UNSAT0.13
2qbf-5cnf-20var-160cl.8UNSAT0.14
connect_6x5_5_WUNSAT0.14
ncf_4_8_2_d.7UNSAT0.14
6qbf-5cnf-80var-2560cl.3UNSAT0.14
5qbf-5cnf-20var-320cl.3UNSAT0.14
szymanski-6-sUNSAT0.14
2qbf-5cnf-20var-80cl.3SAT0.15
ncf_8_16_2_euad.9UNSAT0.15
2qbf-5cnf-20var-160cl.5UNSAT0.15
2qbf-5cnf-20var-160cl.0UNSAT0.15
3qbf-5cnf-40var-320cl.6SAT0.15
5qbf-5cnf-20var-320cl.7UNSAT0.15
5qbf-5cnf-40var-320cl.9SAT0.15
k_lin_p-4UNSAT0.15
4qbf-5cnf-20var-160cl.0UNSAT0.15
horn_400CNF1360_2aQBF_867UNSAT0.15
C499.blif_0.10_1.00_0_1_out_exactSAT0.15
6qbf-5cnf-20var-160cl.9SAT0.16
5qbf-5cnf-80var-640cl.2SAT0.16
4qbf-5cnf-20var-160cl.8UNSAT0.16
connect_6x5_5_DUNSAT0.17
4qbf-5cnf-40var-160cl.8SAT0.17
5qbf-5cnf-160var-5120cl.7UNSAT0.17
connect_6x5_4_DUNSAT0.17
6qbf-5cnf-80var-1280cl.3UNSAT0.17
connect_6x5_4_WUNSAT0.17
4qbf-5cnf-80var-1280cl.2UNSAT0.17
6qbf-5cnf-160var-5120cl.7UNSAT0.18
ncf_4_8_2_d.8SAT0.18
ncf_4_16_2_d.6SAT0.19
lut4_XOR_fORUNSAT0.19
C5315.blif_0.10_1.00_0_1_inp_exactSAT0.19
connect_6x5_3_DUNSAT0.19
4qbf-5cnf-40var-160cl.9SAT0.2
3qbf-5cnf-40var-320cl.8SAT0.2
5qbf-5cnf-80var-2560cl.5UNSAT0.2
1qbf-5cnf-40var-640cl.8SAT0.2
4qbf-5cnf-80var-1280cl.7UNSAT0.21
4qbf-5cnf-80var-1280cl.3UNSAT0.21
toilet_a_10_01.3UNSAT0.21
ev-pr-4x4-5-3-0-0-1-lgSAT0.21
5qbf-5cnf-160var-5120cl.4UNSAT0.21
6qbf-5cnf-40var-640cl.8UNSAT0.21
connect_6x5_3_WUNSAT0.21
2qbf-5cnf-80var-160cl.2SAT0.22
ncf_16_32_2_u.7SAT0.22
ncf_8_16_2_edau.6SAT0.23
5qbf-5cnf-40var-640cl.5UNSAT0.23
ncf_8_16_2_d.9UNSAT0.23
toilet_a_10_01.4UNSAT0.23
6qbf-5cnf-20var-160cl.2SAT0.23
horn_400CNF1680_2aQBF_589UNSAT0.24
2qbf-5cnf-20var-80cl.4SAT0.24
toilet_a_10_01.2UNSAT0.24
horn_400CNF2080_2aQBF_194UNSAT0.24
ncf_8_16_2_u.6SAT0.24
horn_400CNF2160_2aQBF_976UNSAT0.25
ncf_16_32_2_euad.7SAT0.25
toilet_a_10_01.8UNSAT0.25
4qbf-5cnf-80var-1280cl.9UNSAT0.25
4qbf-5cnf-40var-640cl.7UNSAT0.26
s27_d2_sSAT0.26
2qbf-5cnf-80var-160cl.9SAT0.26
flipflop-8-cUNSAT0.26
2qbf-5cnf-20var-160cl.9UNSAT0.27
3qbf-5cnf-80var-640cl.0SAT0.27
3qbf-5cnf-40var-640cl.0UNSAT0.27
vonNeumann-ripple-carry-6-cUNSAT0.28
6qbf-5cnf-20var-160cl.7SAT0.28
connect_7x6_6_WUNSAT0.29
4qbf-5cnf-80var-1280cl.0UNSAT0.3
5qbf-5cnf-80var-640cl.3SAT0.3
connect_7x6_5_WUNSAT0.3
toilet_a_10_05.2UNSAT0.3
connect_7x6_6_DUNSAT0.3
2qbf-5cnf-80var-160cl.1SAT0.31
ncf_8_16_2_d.6SAT0.32
renHorn_400CNF1200_2aQBF_97UNSAT0.32
6qbf-5cnf-20var-320cl.0UNSAT0.32
connect_7x6_4_DUNSAT0.32
3qbf-5cnf-20var-320cl.8UNSAT0.34
3qbf-5cnf-40var-320cl.5UNSAT0.34
6qbf-5cnf-20var-320cl.4UNSAT0.34
connect_7x6_5_DUNSAT0.34
2qbf-5cnf-80var-1280cl.8UNSAT0.34
ev-pr-4x4-7-3-0-0-1-lgSAT0.35
ncf_8_16_2_euad.6SAT0.35
term1.blif_0.10_0.20_0_1_inp_exactSAT0.35
ncf_8_16_4_u.6UNSAT0.36
k_dum_p-4UNSAT0.36
ncf_4_16_2_edau.6SAT0.37
ev-pr-6x6-5-5-0-1-2-lgUNSAT0.37
connect_7x6_4_WUNSAT0.38
3qbf-5cnf-80var-1280cl.2UNSAT0.38
ncf_4_16_2_u.6SAT0.39
connect_7x6_3_WUNSAT0.39
term1.blif_0.10_1.00_0_1_out_exactSAT0.4
3qbf-5cnf-80var-1280cl.3UNSAT0.4
1qbf-5cnf-40var-640cl.2SAT0.4
connect_7x6_3_DUNSAT0.41
ncf_8_16_4_u.8UNSAT0.41
1qbf-5cnf-40var-640cl.0SAT0.42
connect_8x7_7_WUNSAT0.43
connect_8x7_7_DUNSAT0.44
ncf_4_8_2_u.3UNSAT0.44
5qbf-5cnf-40var-640cl.4UNSAT0.44
vonNeumann-ripple-carry-7-cUNSAT0.45
ncf_4_8_4_u.3UNSAT0.45
flipflop-9-cUNSAT0.46
2qbf-5cnf-160var-2560cl.0UNSAT0.46
ncf_8_16_8_u.1SAT0.47
ev-pr-4x4-9-3-0-0-1-lgSAT0.47
4qbf-5cnf-20var-160cl.4UNSAT0.48
ncf_8_16_8_edau.1SAT0.48
ncf_4_8_4_euad.3UNSAT0.5
6qbf-5cnf-160var-5120cl.3UNSAT0.5
2qbf-5cnf-20var-160cl.6UNSAT0.5
ncf_4_8_8_edau.4SAT0.5
ncf_8_16_4_euad.6UNSAT0.53
connect_8x7_6_DUNSAT0.54
connect_8x7_6_WUNSAT0.54
4qbf-5cnf-20var-160cl.9SAT0.55
6qbf-5cnf-80var-1280cl.2UNSAT0.56
szymanski-8-sUNSAT0.57
6qbf-5cnf-40var-640cl.9UNSAT0.58
2qbf-5cnf-80var-160cl.6SAT0.58
ncf_4_8_8_u.4SAT0.59
k_path_p-4UNSAT0.6
ev-pr-4x4-11-3-0-0-1-lgSAT0.61
connect_8x7_5_WUNSAT0.61
ncf_4_8_4_euad.6SAT0.61
5qbf-5cnf-40var-320cl.3SAT0.61
connect_8x7_5_DUNSAT0.64
ncf_8_16_4_euad.8UNSAT0.65
ncf_16_32_2_edau.7SAT0.65
horn_400CNF2320_2aQBF_137UNSAT0.7
connect_9x8_8_DUNSAT0.71
ncf_8_16_2_u.9UNSAT0.72
ncf_8_16_8_euad.1SAT0.72
ncf_8_16_8_d.1SAT0.73
4qbf-5cnf-20var-160cl.2SAT0.73
3qbf-5cnf-40var-320cl.9SAT0.73
ev-pr-4x4-13-3-0-0-1-lgSAT0.75
vonNeumann-ripple-carry-8-cUNSAT0.75
connect_9x8_8_WUNSAT0.76
3qbf-5cnf-40var-320cl.1SAT0.79
horn_400CNF1520_2aQBF_625UNSAT0.79
ncf_8_16_2_edau.9UNSAT0.79
ncf_4_8_2_u.6SAT0.8
2qbf-5cnf-40var-320cl.9UNSAT0.8
2qbf-5cnf-80var-160cl.7SAT0.81
ncf_16_32_2_d.7SAT0.81
ncf_4_8_8_euad.4SAT0.81
C880.blif_0.10_1.00_0_1_out_exactSAT0.82
1qbf-5cnf-80var-1280cl.1SAT0.82
connect_9x8_7_WUNSAT0.83
ncf_4_8_4_u.6SAT0.83
connect_8x7_4_DUNSAT0.85
connect_8x7_4_WUNSAT0.85
flipflop-10-cUNSAT0.87
connect_9x8_7_DUNSAT0.88
connect_8x7_3_DUNSAT0.88
ev-pr-4x4-15-3-0-0-1-lgSAT0.88
1qbf-5cnf-40var-640cl.4SAT0.88
ncf_4_8_4_u.1SAT0.91
connect_9x8_6_DUNSAT0.95
connect_8x7_3_WUNSAT0.95
ev-pr-8x8-5-7-0-1-2-lgUNSAT0.95
ncf_4_8_2_euad.3UNSAT0.96
connect_9x8_6_WUNSAT0.97
6qbf-5cnf-20var-320cl.2UNSAT0.98
4qbf-5cnf-160var-2560cl.1UNSAT1
6qbf-5cnf-160var-5120cl.2UNSAT1.01
ncf_4_8_4_edau.6SAT1.02
2qbf-5cnf-160var-2560cl.8UNSAT1.04
ev-pr-4x4-17-3-0-0-1-lgSAT1.04
counter_e_4SAT1.05
ncf_4_16_2_d.7SAT1.05
ncf_8_16_2_euad.5UNSAT1.05
5qbf-5cnf-20var-320cl.1UNSAT1.06
ncf_8_16_2_euad.1SAT1.08
vonNeumann-ripple-carry-9-cUNSAT1.16
2qbf-5cnf-160var-2560cl.1UNSAT1.16
6qbf-5cnf-80var-1280cl.9UNSAT1.17
horn_400CNF1840_2aQBF_340UNSAT1.18
ncf_4_8_2_euad.6SAT1.23
4qbf-5cnf-20var-160cl.7UNSAT1.23
ncf_4_8_2_edau.6SAT1.25
ncf_4_16_2_euad.7SAT1.26
connect_9x8_5_DUNSAT1.27
3qbf-5cnf-40var-640cl.2UNSAT1.28
1qbf-5cnf-40var-640cl.6SAT1.29
5qbf-5cnf-40var-640cl.7UNSAT1.3
3qbf-5cnf-80var-1280cl.0UNSAT1.31
connect_5x4_4_RUNSAT1.31
counter_r_4SAT1.31
connect_9x8_5_WUNSAT1.31
ncf_8_16_2_d.1SAT1.32
horn_400CNF1440_2aQBF_829UNSAT1.33
3qbf-5cnf-40var-320cl.7SAT1.35
connect_9x8_4_DUNSAT1.36
connect_9x8_3_WUNSAT1.37
2qbf-5cnf-160var-2560cl.3UNSAT1.38
connect_9x8_3_DUNSAT1.38
2qbf-5cnf-160var-320cl.5SAT1.39
4qbf-5cnf-80var-1280cl.1UNSAT1.39
flipflop-11-cUNSAT1.4
connect_9x8_4_WUNSAT1.42
renHorn_400CNF1280_2aQBF_56UNSAT1.42
5qbf-5cnf-160var-5120cl.1UNSAT1.43
CHAIN12v.13SAT1.43
6qbf-5cnf-40var-640cl.3UNSAT1.52
adder-2-unsatUNSAT1.53
2qbf-5cnf-160var-2560cl.9UNSAT1.53
5qbf-5cnf-40var-640cl.3UNSAT1.54
3qbf-5cnf-40var-320cl.2SAT1.59
3qbf-5cnf-40var-640cl.1UNSAT1.59
k_dum_n-4SAT1.63
ncf_8_16_4_euad.10SAT1.63
vonNeumann-ripple-carry-10-cUNSAT1.68
szymanski-10-sUNSAT1.69
ncf_4_16_4_euad.9SAT1.71
4qbf-5cnf-160var-2560cl.2UNSAT1.72
5qbf-5cnf-80var-640cl.6SAT1.78
5qbf-5cnf-20var-320cl.9UNSAT1.79
ncf_4_8_4_euad.4UNSAT1.79
ncf_4_8_4_euad.1SAT1.79
k_lin_p-8UNSAT1.85
ncf_4_8_4_d.6SAT1.85
2qbf-5cnf-80var-1280cl.1UNSAT1.86
ncf_8_16_2_edau.1SAT1.88
ncf_8_16_2_u.1SAT1.92
4qbf-5cnf-20var-160cl.1UNSAT1.92
4qbf-5cnf-160var-2560cl.7UNSAT1.98
term1.blif_0.10_0.20_0_1_out_exactSAT1.99
2qbf-5cnf-40var-320cl.6UNSAT2.04
4qbf-5cnf-160var-2560cl.3UNSAT2.05
robots_1_5_2_49.2SAT2.1
3qbf-5cnf-40var-320cl.3SAT2.12
robots_1_5_2_81.2SAT2.12
robots_1_5_2_85.2SAT2.13
robots_1_5_5_24.2SAT2.14
flipflop-12-cUNSAT2.16
vonNeumann-ripple-carry-11-cUNSAT2.36
4qbf-5cnf-160var-2560cl.6UNSAT2.37
ncf_8_16_4_u.10SAT2.37
6qbf-5cnf-40var-640cl.4UNSAT2.42
4qbf-5cnf-80var-320cl.8SAT2.42
renHorn_400CNF1560_2aQBF_2UNSAT2.45
6qbf-5cnf-160var-2560cl.7UNSAT2.47
6qbf-5cnf-40var-640cl.2UNSAT2.52
toilet_c_10_01.16UNSAT2.55
ncf_4_16_2_edau.7SAT2.68
BLOCKS3iii.4UNSAT2.77
lut4_XOR_f1SAT2.79
ncf_8_16_4_edau.8UNSAT2.85
6qbf-5cnf-40var-640cl.6UNSAT2.89
k_ph_n-8SAT2.94
5qbf-5cnf-40var-320cl.6SAT3.03
ev-pr-6x6-7-5-0-1-2-lgUNSAT3.06
ncf_4_16_2_u.7SAT3.08
3qbf-5cnf-80var-640cl.9SAT3.12
toilet_a_08_05.4SAT3.13
toilet_a_08_10.2SAT3.15
5qbf-5cnf-40var-640cl.9UNSAT3.16
toilet_a_08_05.10SAT3.23
toilet_a_08_05.8SAT3.23
toilet_a_10_01.16UNSAT3.24
toilet_a_08_01.16SAT3.27
6qbf-5cnf-160var-2560cl.8UNSAT3.27
vonNeumann-ripple-carry-12-cUNSAT3.3
2qbf-5cnf-160var-2560cl.5UNSAT3.31
6qbf-5cnf-80var-1280cl.8UNSAT3.39
6qbf-5cnf-40var-320cl.0UNSAT3.43
5qbf-5cnf-40var-640cl.6UNSAT3.5
6qbf-5cnf-160var-2560cl.5UNSAT3.5
ncf_4_8_4_u.7UNSAT3.51
4qbf-5cnf-20var-160cl.5UNSAT3.52
ncf_4_8_4_u.4UNSAT3.59
ncf_4_8_2_edau.3UNSAT3.62
ncf_4_16_4_u.9SAT3.7
ncf_8_16_4_edau.6UNSAT3.79
comp.blif_0.10_0.20_0_0_inp_exactUNSAT3.84
4qbf-5cnf-80var-320cl.6SAT3.86
ncf_4_8_2_d.6SAT3.92
2qbf-5cnf-80var-1280cl.7UNSAT3.95
szymanski-12-sUNSAT3.97
renHorn_400CNF1720_2aQBF_20UNSAT4.12
5qbf-5cnf-160var-1280cl.7SAT4.13
4qbf-5cnf-160var-2560cl.8UNSAT4.23
4qbf-5cnf-20var-160cl.6UNSAT4.28
3qbf-5cnf-40var-640cl.3UNSAT4.42
vonNeumann-ripple-carry-13-cUNSAT4.5
5qbf-5cnf-80var-1280cl.7UNSAT4.5
ncf_4_8_4_euad.8UNSAT4.6
6qbf-5cnf-40var-640cl.1UNSAT5.06
2qbf-5cnf-80var-1280cl.0UNSAT5.12
renHorn_400CNF1560_2aQBF_96SAT5.25
ncf_8_16_4_d.6UNSAT5.28
k_lin_n-4SAT5.44
4qbf-5cnf-80var-1280cl.6UNSAT5.48
6qbf-5cnf-40var-640cl.0UNSAT5.5
4qbf-5cnf-160var-2560cl.9UNSAT5.76
robots_1_5_2_21.4SAT5.77
6qbf-5cnf-80var-1280cl.0UNSAT5.83
2qbf-5cnf-160var-2560cl.7UNSAT5.84
robots_1_5_5_26.4SAT5.85
robots_1_5_2_85.4SAT5.86
robots_1_5_5_66.4SAT5.86
robots_1_5_2_3.4SAT5.87
ncf_4_8_4_edau.1SAT5.91
TOILET6.1.iv.11UNSAT6.07
ncf_4_8_8_u.1SAT6.14
robots_1_5_3_51.2SAT6.36
k_d4_p-4UNSAT6.38
CHAIN13v.14SAT6.4
2qbf-5cnf-40var-320cl.0UNSAT6.41
robots_1_5_4_75.2SAT6.43
5qbf-5cnf-80var-1280cl.9UNSAT6.44
3qbf-5cnf-160var-2560cl.7UNSAT6.44
ncf_8_16_4_d.8UNSAT6.5
robots_1_5_2_47.2SAT6.5
3qbf-5cnf-40var-320cl.4SAT6.5
robots_1_5_2_100.2SAT6.51
robots_1_5_2_31.2SAT6.52
robots_1_5_5_62.2SAT6.56
ncf_4_8_4_u.8UNSAT6.67
counter_re_4SAT6.87
6qbf-5cnf-40var-640cl.5UNSAT6.89
robots_1_5_3_100.2SAT7.06
robots_1_5_4_73.2SAT7.12
robots_1_5_2_28.2SAT7.13
robots_1_5_4_44.2SAT7.13
robots_1_5_5_61.2SAT7.13
robots_1_5_4_81.2SAT7.16
robots_1_5_5_75.2SAT7.18
robots_1_5_5_38.2SAT7.29
robots_1_5_5_56.2SAT7.31
5qbf-5cnf-40var-640cl.2UNSAT7.33
robots_1_5_5_15.2SAT7.35
robots_1_5_3_25.2SAT7.37
robots_1_5_4_100.2SAT7.4
ncf_4_8_8_u.5SAT8.35
vonNeumann-ripple-carry-15-cUNSAT8.4
szymanski-14-sUNSAT8.45
renHorn_400CNF1280_2aQBF_3SAT8.71
5qbf-5cnf-160var-1280cl.5SAT8.92
ncf_8_16_2_u.10SAT8.98
robots_1_5_2_10.2SAT9.36
connect_5x4_3_RUNSAT9.42
tree-exa10-20SAT9.59
renHorn_400CNF1360_2aQBF_35UNSAT9.62
horn_400CNF1520_2aQBF_405UNSAT9.83
ncf_4_8_4_euad.7UNSAT10.09
robots_1_5_2_14.2SAT10.14
robots_1_5_2_33.2SAT10.17
robots_1_5_4_71.2SAT10.18
k_path_n-4SAT10.25
ncf_4_8_4_edau.8UNSAT10.32
ncf_4_8_8_euad.1SAT10.59
robots_1_5_4_32.2SAT10.91
robots_1_5_3_62.2SAT10.93
robots_1_5_3_26.2SAT10.94
robots_1_5_5_31.2SAT10.98
1qbf-5cnf-80var-1280cl.0SAT11.08
ncf_4_8_4_u.10SAT11.42
ncf_8_16_2_d.5UNSAT11.46
robots_1_5_3_52.2SAT11.65
robots_1_5_3_91.2SAT11.75
robots_1_5_4_22.2SAT11.81
3qbf-5cnf-80var-1280cl.6UNSAT11.84
robots_1_5_3_80.2SAT11.84
connect_6x5_5_RUNSAT11.91
ncf_4_8_4_edau.3UNSAT12.1
ncf_4_16_4_euad.5SAT12.32
robots_1_5_4_59.2SAT12.45
robots_1_5_3_30.2SAT12.51
robots_1_5_3_7.2SAT12.55
robots_1_5_4_52.2SAT12.55
robots_1_5_5_97.2SAT12.55
robots_1_5_5_100.2SAT12.58
k_grz_p-4UNSAT12.68
ncf_8_16_2_euad.10SAT12.74
renHorn_400CNF1800_2aQBF_20UNSAT12.82
3qbf-5cnf-80var-1280cl.8UNSAT12.87
BLOCKS3ii.4.3UNSAT13.28
k_lin_p-12UNSAT13.64
6qbf-5cnf-80var-1280cl.5UNSAT13.66
ncf_8_16_2_euad.4SAT14.34
4qbf-5cnf-160var-2560cl.0UNSAT14.69
ncf_4_8_8_u.3SAT15.34
6qbf-5cnf-80var-1280cl.1UNSAT15.42
1qbf-5cnf-40var-1280cl.2UNSAT15.46
1qbf-5cnf-40var-1280cl.6UNSAT15.82
5qbf-5cnf-160var-1280cl.9SAT15.95
szymanski-16-sUNSAT16
renHorn_400CNF1480_2aQBF_62SAT16.41
robots_1_5_3_39.8SAT16.59
robots_1_5_5_66.8SAT16.61
robots_1_5_2_75.8SAT16.74
lognBWLARGEA1UNSAT16.77
3qbf-5cnf-160var-2560cl.9UNSAT16.8
BLOCKS3ii.5.2UNSAT16.93
1qbf-5cnf-40var-1280cl.8UNSAT17.67
1qbf-5cnf-40var-1280cl.3UNSAT17.95
ncf_8_16_2_u.5UNSAT18.27
ncf_4_8_4_edau.10SAT18.56
5qbf-5cnf-80var-640cl.0SAT19.41
ncf_4_8_8_euad.3SAT19.59
k_grz_n-4SAT19.74
4qbf-5cnf-40var-320cl.9UNSAT20.16
ncf_8_16_2_d.4SAT20.56
mutex-8-sSAT21.34
5qbf-5cnf-80var-1280cl.3UNSAT22.08
1qbf-5cnf-40var-1280cl.5UNSAT22.13
renHorn_400CNF1400_2aQBF_80SAT22.47
horn_400CNF1600_2aQBF_26UNSAT22.49
4qbf-5cnf-80var-320cl.5SAT22.57
horn_400CNF1920_2aQBF_704UNSAT23.23
ncf_4_8_8_u.8SAT23.63
6qbf-5cnf-160var-2560cl.0UNSAT24.01
ncf_4_8_2_d.3UNSAT24.04
4qbf-5cnf-80var-320cl.4SAT24.98
ncf_4_8_4_d.3UNSAT25.12
1qbf-5cnf-160var-2560cl.7FAIL25.85
horn_400CNF1440_2aQBF_737SAT26.42
CHAIN14v.15SAT26.77
1qbf-5cnf-160var-2560cl.0FAIL27.98
1qbf-5cnf-40var-1280cl.7UNSAT28.15
ncf_4_16_4_u.5SAT28.46
horn_400CNF1440_2aQBF_925SAT28.46
1qbf-5cnf-160var-5120cl.3FAIL28.98
szymanski-18-sUNSAT29.12
horn_400CNF1520_2aQBF_782UNSAT29.16
ncf_8_16_2_edau.5UNSAT29.42
1qbf-5cnf-80var-1280cl.3FAIL30.23
5qbf-5cnf-80var-1280cl.1UNSAT30.89
1qbf-5cnf-160var-2560cl.3FAIL30.95
ncf_8_16_4_edau.10SAT31.01
1qbf-5cnf-160var-5120cl.9FAIL31.22
ncf_4_8_4_d.8UNSAT31.45
1qbf-5cnf-160var-5120cl.6FAIL32.21
1qbf-5cnf-40var-1280cl.0UNSAT32.42
1qbf-5cnf-160var-5120cl.1FAIL32.55
4qbf-5cnf-160var-2560cl.5UNSAT32.61
k_lin_p-16UNSAT33.37
1qbf-5cnf-160var-5120cl.7FAIL33.38
1qbf-5cnf-40var-1280cl.9UNSAT33.61
ncf_8_16_8_u.7UNSAT33.79
1qbf-5cnf-160var-2560cl.1FAIL33.99
ev-pr-8x8-7-7-0-1-2-lgUNSAT34.66
1qbf-5cnf-80var-1280cl.9FAIL35
1qbf-5cnf-160var-2560cl.5FAIL35.05
1qbf-5cnf-160var-5120cl.8FAIL35.39
ncf_4_8_4_euad.10SAT35.47
1qbf-5cnf-160var-5120cl.4FAIL35.56
horn_400CNF1360_2aQBF_788SAT35.57
1qbf-5cnf-160var-5120cl.0FAIL35.67
1qbf-5cnf-160var-5120cl.5FAIL36.61
5qbf-5cnf-80var-1280cl.4UNSAT37.01
1qbf-5cnf-80var-1280cl.4FAIL37.23
5qbf-5cnf-40var-320cl.8SAT37.37
horn_400CNF1280_2aQBF_389UNSAT37.43
adder-6-unsatFAIL37.62
BLOCKS3ii.5.3FAIL37.98
1qbf-5cnf-160var-2560cl.9FAIL38.21
k_dum_p-8UNSAT38.3
1qbf-5cnf-40var-1280cl.1UNSAT38.37
1qbf-5cnf-80var-2560cl.7FAIL39.79
6qbf-5cnf-160var-2560cl.9UNSAT40.25
horn_400CNF1200_2aQBF_539SAT40.38
ncf_4_8_4_u.5SAT40.95
1qbf-5cnf-160var-5120cl.2FAIL41.33
ncf_4_16_4_edau.9SAT41.5
renHorn_400CNF1960_2aQBF_35UNSAT42
1qbf-5cnf-160var-2560cl.8FAIL42
1qbf-5cnf-80var-1280cl.7FAIL42.15
robots_1_5_2_100.4SAT43.39
1qbf-5cnf-80var-2560cl.2FAIL43.49
robots_1_5_2_2.4SAT43.79
robots_1_5_2_80.4SAT43.96
1qbf-5cnf-160var-2560cl.4FAIL43.98
1qbf-5cnf-80var-1280cl.8FAIL44.44
ncf_4_8_4_edau.4UNSAT45.07
1qbf-5cnf-160var-2560cl.2FAIL45.97
1qbf-5cnf-80var-2560cl.6FAIL46.38
1qbf-5cnf-80var-1280cl.2FAIL47.28
1qbf-5cnf-160var-2560cl.6FAIL47.85
1qbf-5cnf-80var-2560cl.8FAIL48.61
szymanski-20-sUNSAT48.66
1qbf-5cnf-80var-2560cl.3FAIL49.9
BLOCKS3i.5.3FAIL50.38
BLOCKS4ii.6.3FAIL50.7
3qbf-5cnf-160var-2560cl.5FAIL51.08
robots_1_5_2_45.4SAT51.33
1qbf-5cnf-80var-2560cl.1FAIL51.34
2qbf-5cnf-40var-320cl.8UNSAT51.74
horn_400CNF2000_2aQBF_8UNSAT51.9
robots_1_5_3_44.4SAT52.09
4qbf-5cnf-160var-2560cl.4UNSAT52.27
ncf_8_16_2_edau.4SAT53.54
ncf_8_16_2_u.4SAT53.81
Adder2-4-cFAIL54.08
robots_1_5_4_98.4SAT55.38
1qbf-5cnf-80var-2560cl.9FAIL56.43
1qbf-5cnf-80var-2560cl.5FAIL56.86
robots_1_5_3_16.4SAT56.94
counter_8SAT58
C499.blif_0.10_0.20_0_1_inp_exactFAIL58.51
1qbf-5cnf-80var-2560cl.4FAIL58.78
robots_1_5_2_99.4SAT59.12
robots_1_5_4_50.4SAT59.57
horn_400CNF2080_2aQBF_584UNSAT59.97
1qbf-5cnf-80var-2560cl.0FAIL60.2
5qbf-5cnf-160var-1280cl.1SAT60.87
robots_1_5_3_66.4SAT60.91
robots_1_5_4_46.4SAT60.95
robots_1_5_4_87.4SAT61.16
ncf_4_8_8_d.4SAT61.65
robots_1_5_3_100.4SAT62.01
robots_1_5_4_31.4SAT62.97
robots_1_5_5_87.4SAT63.2
lut4_3_fANDFAIL64.07
lut4_2_fXORFAIL64.67
lut4_2_f1FAIL64.74
lut4_2_f2FAIL64.85
robots_1_5_4_30.4SAT65.16
term1.blif_0.10_1.00_0_0_inp_exactFAIL65.87
3qbf-5cnf-80var-640cl.6SAT66.49
ncf_8_16_8_u.8UNSAT66.82
1qbf-5cnf-80var-1280cl.6FAIL66.93
robots_1_5_4_100.4SAT67.55
1qbf-5cnf-40var-1280cl.4FAIL67.78
6qbf-5cnf-160var-2560cl.2FAIL68.25
renHorn_400CNF2280_2aQBF_67UNSAT68.96
ncf_8_16_4_d.10SAT70.34
lognBWLARGEB1UNSAT70.35
BLOCKS3i.5.4FAIL70.68
robots_1_5_2_39.4SAT70.82
robots_1_5_3_20.4SAT70.82
term1.blif_0.10_1.00_0_0_out_exactFAIL71.26
3qbf-5cnf-80var-1280cl.5FAIL71.72
robots_1_5_2_82.4SAT72.17
robots_1_5_3_24.4SAT72.44
robots_1_5_3_2.4SAT72.53
robots_1_5_5_45.4SAT73.47
5qbf-5cnf-160var-2560cl.2FAIL73.77
2qbf-5cnf-40var-320cl.7UNSAT74.17
robots_1_5_5_30.4SAT74.82
robots_1_5_4_91.4SAT74.86
C499.blif_0.10_0.20_0_0_inp_exactFAIL75.95
lut4_AND_fXORFAIL77.52
lut4_AND_f1FAIL77.7
C880.blif_0.10_0.20_0_1_inp_exactFAIL78.94
szymanski-22-sUNSAT79.94
k_grz_p-8UNSAT80.23
5qbf-5cnf-160var-2560cl.5FAIL80.31
robots_1_5_4_2.4SAT81.49
6qbf-5cnf-160var-2560cl.6FAIL82.16
robots_1_5_3_78.4SAT83.46
BLOCKS4i.6.4FAIL83.7
robots_1_5_5_34.4SAT83.96
3qbf-5cnf-80var-640cl.7SAT85.89
5qbf-5cnf-160var-2560cl.4FAIL87.09
C880.blif_0.10_0.20_0_0_inp_exactFAIL87.34
connect_7x6_6_RUNSAT87.88
robots_1_5_3_57.4SAT88.85
3qbf-5cnf-160var-2560cl.0FAIL89.24
Adder2-6-cFAIL90.41
ev-pr-8x8-9-7-0-1-2-lgUNSAT92.77
3qbf-5cnf-160var-2560cl.2FAIL93.53
horn_400CNF1520_2aQBF_600UNSAT93.82
3qbf-5cnf-160var-2560cl.6FAIL94.08
ev-pr-6x6-9-5-0-1-2-lgUNSAT94.66
robots_1_5_3_52.4SAT94.96
5qbf-5cnf-160var-2560cl.3FAIL95.55
robots_1_5_5_93.4SAT97.14
robots_1_5_4_51.4SAT97.34
k_lin_p-20UNSAT99.64
renHorn_400CNF1200_2aQBF_85SAT99.83
TOILET7.1.iv.13UNSAT102.6
ncf_4_16_2_u.4SAT103.1
5qbf-5cnf-80var-1280cl.0FAIL103.62
5qbf-5cnf-80var-1280cl.6UNSAT103.77
BLOCKS4iii.7FAIL104.25
5qbf-5cnf-160var-2560cl.9FAIL106.01
3qbf-5cnf-160var-2560cl.1FAIL106.15
CHAIN15v.16SAT106.73
ncf_4_8_4_edau.5SAT107
5qbf-5cnf-80var-1280cl.5UNSAT109.51
robots_1_5_5_8.4SAT110.43
robots_1_5_5_12.4SAT110.78
robots_1_5_5_100.4SAT111.28
C880.blif_0.10_1.00_0_1_inp_exactFAIL112.6
robots_1_5_5_33.8UNSAT113.15
5qbf-5cnf-160var-2560cl.8FAIL115.06
BLOCKS4ii.7.2FAIL115.23
BLOCKS4iii.6FAIL116.49
horn_400CNF1600_2aQBF_73SAT116.53
6qbf-5cnf-160var-2560cl.4FAIL117.47
BLOCKS3i.4.4FAIL118.73
robots_1_5_4_56.8UNSAT119.56
adder-14-unsatFAIL122.89
szymanski-24-sUNSAT124.3
5qbf-5cnf-160var-2560cl.0FAIL126.2
adder-16-unsatFAIL127.38
3qbf-5cnf-160var-2560cl.3FAIL128.34
C499.blif_0.10_1.00_0_0_inp_exactFAIL130.56
renHorn_400CNF1480_2aQBF_44UNSAT130.95
5qbf-5cnf-80var-1280cl.2FAIL131.78
robots_1_5_3_44.8UNSAT137.04
renHorn_400CNF1640_2aQBF_18SAT138.1
ncf_4_8_8_euad.8SAT140.17
robots_1_5_3_8.8UNSAT140.77
5qbf-5cnf-160var-2560cl.1FAIL141.58
horn_400CNF1760_2aQBF_979UNSAT142.11
k_lin_p-21UNSAT142.7
C499.blif_0.10_1.00_0_0_out_exactFAIL144.18
connect_9x8_3_RFAIL146.67
robots_1_5_3_70.8UNSAT147.46
3qbf-5cnf-80var-1280cl.7UNSAT153.4
3qbf-5cnf-160var-2560cl.4FAIL153.53
renHorn_400CNF1200_2aQBF_2UNSAT155.12
6qbf-5cnf-80var-1280cl.7UNSAT157.46
5qbf-5cnf-160var-2560cl.7FAIL159.6
robots_1_5_4_100.8UNSAT159.79
5qbf-5cnf-160var-2560cl.6FAIL160
3qbf-5cnf-80var-1280cl.9FAIL160.4
ncf_4_16_2_u.2SAT164.49
Adder2-8-cFAIL165.43
k_ph_n-12SAT170.77
5qbf-5cnf-80var-1280cl.8FAIL180.38
ncf_4_16_4_d.9SAT185
robots_1_5_4_91.8UNSAT190.44
4qbf-5cnf-80var-640cl.6UNSAT192.32
term1.blif_0.10_0.20_0_0_inp_exactFAIL193.92
C880.blif_0.10_1.00_0_0_inp_exactFAIL194.36
3qbf-5cnf-80var-1280cl.1FAIL197.01
adder-4-unsatFAIL198.05
5qbf-5cnf-80var-640cl.4SAT198.99
k_grz_n-8SAT211.89
ncf_4_8_4_euad.5SAT214.72
4qbf-5cnf-80var-320cl.3SAT221.88
ncf_4_16_2_euad.4SAT222.9
connect_9x8_4_RFAIL229.61
2qbf-5cnf-40var-320cl.1UNSAT230.53
k_ph_p-8UNSAT231.57
robots_1_5_4_75.8UNSAT231.87
horn_400CNF1440_2aQBF_165UNSAT248.82
toilet_a_10_05.4SAT251.89
toilet_a_10_01.20SAT254.2
robots_1_5_2_67.8FAIL257.2
toilet_a_10_10.2SAT258.02
ncf_8_16_2_edau.10SAT258.26
term1.blif_0.10_0.20_0_0_out_exactFAIL260.54
C432.blif_0.10_1.00_0_0_out_exactFAIL261.54
Adder2-14-cFAIL262.4
horn_400CNF2320_2aQBF_420UNSAT262.87
horn_400CNF1360_2aQBF_831UNSAT264.58
robots_1_5_2_82.8UNSAT267.63
robots_1_5_3_55.8UNSAT272.07
4qbf-5cnf-40var-320cl.6UNSAT274.81
horn_400CNF1280_2aQBF_755SAT277.43
ncf_4_16_4_u.1SAT277.73
k_lin_n-8SAT281.46
robots_1_5_5_100.8UNSAT292.05
robots_1_5_5_5.8FAIL301.18
robots_1_5_4_46.8FAIL306.51
robots_1_5_5_50.8UNSAT307.55
robots_1_5_3_90.8FAIL308.07
robots_1_5_4_17.8FAIL313.31
C5315.blif_0.10_1.00_0_0_out_exactFAIL315.47
robots_1_5_5_99.8FAIL316.68
robots_1_5_5_14.8FAIL317.03
robots_1_5_5_95.8FAIL319.57
6qbf-5cnf-160var-2560cl.3FAIL325.68
robots_1_5_2_54.8SAT326.26
robots_1_5_5_10.8UNSAT328.55
robots_1_5_4_1.8FAIL330.56
connect_7x6_5_RUNSAT332.01
adder-12-unsatFAIL333.53
C5315.blif_0.10_1.00_0_0_inp_exactFAIL336.03
robots_1_5_2_61.8FAIL340.32
robots_1_5_4_96.8FAIL344.21
2qbf-5cnf-160var-320cl.6SAT344.68
connect_8x7_3_RFAIL345.78
2qbf-5cnf-40var-320cl.5UNSAT350.34
Adder2-10-cFAIL353.33
robots_1_5_5_12.8FAIL353.9
robots_1_5_4_24.8FAIL357.3
robots_1_5_4_99.8FAIL359.46
robots_1_5_3_27.8UNSAT366.91
renHorn_400CNF1480_2aQBF_98SAT370.26
robots_1_5_2_32.8FAIL373.84
3qbf-5cnf-160var-2560cl.8FAIL380.94
6qbf-5cnf-40var-320cl.6SAT389.14
robots_1_5_2_9.8FAIL390.44
robots_1_5_2_40.8FAIL390.67
ncf_4_8_8_euad.6UNSAT397.29
robots_1_5_3_100.8FAIL405.7
5qbf-5cnf-80var-640cl.8SAT411.34
renHorn_400CNF1280_2aQBF_7SAT411.8
robots_1_5_2_91.8SAT413.27
CHAIN16v.17SAT423.14
6qbf-5cnf-80var-1280cl.6FAIL428.63
connect_6x5_4_RUNSAT440.89
renHorn_400CNF1360_2aQBF_96SAT444.1
Adder2-12-cFAIL444.99
horn_400CNF1600_2aQBF_789SAT452.67
ncf_4_16_4_euad.1SAT468.54
adder-8-unsatFAIL470.52
robots_1_5_2_100.8FAIL489.06
ncf_4_16_2_euad.2SAT501.52
robots_1_5_3_64.8FAIL508.88
k_d4_n-4SAT509.71
ev-pr-6x6-11-5-0-1-2-lgUNSAT527.36
connect_8x7_4_RFAIL547.34
Adder2-16-cFAIL575.4
2qbf-5cnf-160var-320cl.2SAT581.91
ncf_8_16_2_d.2UNSAT606.07
ncf_8_16_2_u.2UNSAT606.56
ncf_8_16_2_euad.2UNSAT606.94
ncf_8_16_2_edau.2UNSAT611.2
robots_1_5_3_16.8FAIL625.69
connect_6x5_3_RSAT648.96
adder-10-unsatFAIL688.63
ncf_4_8_4_edau.7UNSAT759.13
connect_8x7_7_RUNSAT779.92
renHorn_400CNF1360_2aQBF_22SAT821.75
2qbf-5cnf-40var-160cl.7UNSAT842.49
s1196_d2_sFAIL864.45
C432.blif_0.10_0.20_0_1_inp_exactSAT885.67
horn_400CNF1360_2aQBF_565SAT892.73
ncf_4_8_4_d.10SAT893.82
ncf_4_8_4_d.4UNSAT898.31
counter_re_16FAIL899.62
BLOCKS3iii.5FAIL899.74
counter_re_32FAIL899.96
C880.blif_0.10_1.00_0_0_out_exactFAIL899.99
C880.blif_0.10_0.20_0_0_out_exactFAIL900.04
counter_re_8FAIL900.09
counter_re_64FAIL900.11
ev-pr-6x6-19-5-0-1-2-sFAIL900.17
k_d4_n-20FAIL900.21
k_d4_n-21FAIL900.23
k_ph_p-12FAIL900.24
ev-pr-6x6-15-5-0-1-2-sFAIL900.24
C880.blif_0.10_0.20_0_1_out_exactFAIL900.25
k_t4p_n-12FAIL900.28
k_t4p_p-21FAIL900.28
s713_d2_sFAIL900.33
k_d4_n-16FAIL900.35
test2_quant2FAIL900.35
k_t4p_p-16FAIL900.35
3qbf-5cnf-80var-640cl.2FAIL900.35
k_t4p_n-21FAIL900.36
k_t4p_n-8FAIL900.36
k_t4p_n-20FAIL900.37
ev-pr-6x6-17-5-0-1-2-sFAIL900.38
k_d4_p-21FAIL900.38
s820_d2_sFAIL900.39
k_d4_n-12FAIL900.4
s298_d4_sFAIL900.4
connect_9x8_5_RFAIL900.41
k_branch_p-21FAIL900.41
k_t4p_p-20FAIL900.41
k_t4p_n-16FAIL900.41
k_branch_p-16FAIL900.42
k_poly_p-16FAIL900.42
k_branch_n-16FAIL900.42
s510_d47_uFAIL900.42
qshifter_8FAIL900.43
qshifter_5FAIL900.44
s3330_d10_uFAIL900.45
counter_e_8FAIL900.45
k_path_p-21FAIL900.45
ev-pr-4x4-5-3-0-0-1-sFAIL900.45
k_dum_n-21FAIL900.45
k_d4_p-20FAIL900.46
s713_d4_sFAIL900.46
s510_d2_sFAIL900.46
test2_quant_squaring3FAIL900.47
ev-pr-4x4-13-3-0-0-1-sFAIL900.47
k_lin_n-21FAIL900.47
s510_d46_sFAIL900.47
s298_d8_sFAIL900.48
k_branch_n-8FAIL900.48
k_branch_p-12FAIL900.49
k_branch_n-21FAIL900.49
k_branch_n-20FAIL900.5
Adder2-8-sFAIL900.5
s3330_d2_sFAIL900.5
k_branch_n-12FAIL900.51
ev-pr-6x6-13-5-0-1-2-sFAIL900.51
s499_d4_sFAIL900.51
counter_e_32FAIL900.51
counter_e_16FAIL900.51
k_grz_p-16FAIL900.52
k_lin_n-20FAIL900.52
s3330_d9_sFAIL900.52
k_poly_p-12FAIL900.52
test2_quant_squaring2FAIL900.53
k_d4_p-16FAIL900.53
ncf_16_128_4_edau.6FAIL900.53
k_dum_n-20FAIL900.53
ncf_8_64_4_edau.9FAIL900.53
k_path_n-20FAIL900.53
k_grz_p-20FAIL900.53
s3330_d8_sFAIL900.53
s499_d8_sFAIL900.54
ev-pr-4x4-17-3-0-0-1-sFAIL900.54
k_poly_n-16FAIL900.54
k_t4p_p-12FAIL900.54
ev-pr-4x4-9-3-0-0-1-sFAIL900.54
k_lin_n-16FAIL900.55
s386_d4_sFAIL900.55
k_t4p_p-8FAIL900.55
k_t4p_n-4FAIL900.55
6qbf-5cnf-160var-2560cl.1FAIL900.56
k_poly_n-20FAIL900.56
ncf_16_128_8_d.5FAIL900.56
3qbf-5cnf-160var-1280cl.2FAIL900.56
ev-pr-6x6-19-5-0-1-2-lgFAIL900.57
test2_quant3FAIL900.57
ev-pr-4x4-11-3-0-0-1-sFAIL900.57
Adder2-10-sFAIL900.57
k_branch_p-20FAIL900.58
C432.blif_0.10_0.20_0_0_inp_exactFAIL900.58
k_grz_n-21FAIL900.58
ncf_8_64_4_edau.2FAIL900.59
Adder2-12-sFAIL900.59
k_poly_n-12FAIL900.59
ev-pr-6x6-11-5-0-1-2-sFAIL900.6
ev-pr-4x4-7-3-0-0-1-sFAIL900.6
4qbf-5cnf-40var-320cl.2FAIL900.61
k_dum_n-16FAIL900.61
s713_d7_uFAIL900.61
counter_e_64FAIL900.61
counter_r_8FAIL900.61
ncf_16_128_2_euad.8FAIL900.61
k_path_n-21FAIL900.61
k_path_n-16FAIL900.61
ncf_8_64_4_d.2FAIL900.62
k_dum_p-20FAIL900.62
uclid-pipe3aFAIL900.62
ncf_8_64_8_edau.6FAIL900.62
k_grz_p-21FAIL900.62
ncf_16_128_4_u.2FAIL900.62
ncf_8_64_8_d.3FAIL900.62
s298_d19_uFAIL900.62
k_poly_n-21FAIL900.62
C6288.blif_0.10_0.20_0_0_inp_exactFAIL900.63
k_path_p-20FAIL900.63
s499_d2_sFAIL900.63
k_path_n-12FAIL900.63
s298_d18_sFAIL900.63
s820_d4_sFAIL900.63
ncf_8_64_8_edau.4FAIL900.63
ev-pr-6x6-7-5-0-1-2-sFAIL900.63
k_d4_p-12FAIL900.64
ncf_16_128_4_d.7FAIL900.64
ncf_16_128_8_u.9FAIL900.64
k_poly_p-21FAIL900.64
k_branch_p-8FAIL900.64
k_grz_n-20FAIL900.64
s1269_d2_sFAIL900.64
ncf_16_128_2_d.4FAIL900.65
k_d4_n-8FAIL900.65
ncf_16_64_4_d.5FAIL900.65
k_grz_n-12FAIL900.65
s1196_d3_uFAIL900.65
ncf_8_64_8_d.7FAIL900.65
ncf_8_64_8_edau.7FAIL900.65
4qbf-5cnf-160var-1280cl.8FAIL900.65
k_dum_p-16FAIL900.65
ncf_8_64_2_edau.3FAIL900.65
ncf_8_64_8_euad.3FAIL900.65
k_dum_p-21FAIL900.66
ev-pr-4x4-15-3-0-0-1-sFAIL900.66
qshifter_7FAIL900.66
ev-pr-6x6-9-5-0-1-2-sFAIL900.66
ncf_4_32_8_edau.7FAIL900.66
connect_7x6_4_RFAIL900.66
ev-pr-6x6-15-5-0-1-2-lgFAIL900.66
s298_d16_sFAIL900.66
k_poly_p-8FAIL900.66
ncf_16_128_8_edau.4FAIL900.67
connect_8x7_5_RFAIL900.67
connect_9x8_6_RFAIL900.67
Adder2-6-sFAIL900.67
ncf_8_64_4_edau.1FAIL900.67
ncf_8_64_8_d.2FAIL900.67
qshifter_6FAIL900.67
ncf_16_128_8_d.4FAIL900.67
ncf_16_128_4_edau.8FAIL900.67
k_poly_n-8FAIL900.67
ncf_8_64_8_d.10FAIL900.67
C432.blif_0.10_1.00_0_0_inp_exactFAIL900.67
ncf_8_64_4_u.1FAIL900.67
ncf_16_128_2_edau.10FAIL900.67
ev-pr-6x6-17-5-0-1-2-lgFAIL900.68
adder-14-satFAIL900.68
k_lin_n-12FAIL900.68
ncf_8_64_4_d.7FAIL900.68
ncf_8_64_8_edau.10FAIL900.68
test1_quant_squaring3FAIL900.68
k_grz_p-12FAIL900.68
s713_d6_sFAIL900.68
test5_quant_squaring5FAIL900.68
ncf_16_128_8_edau.10FAIL900.68
ncf_8_64_8_euad.7FAIL900.68
k_ph_n-20FAIL900.69
k_path_p-16FAIL900.69
ncf_16_128_4_edau.2FAIL900.69
ncf_16_128_2_d.3FAIL900.69
ncf_16_128_4_edau.10FAIL900.69
connect_7x6_3_RFAIL900.69
ncf_8_64_8_d.5FAIL900.69
ncf_16_64_8_edau.7FAIL900.69
qshifter_4FAIL900.69
ncf_16_64_8_edau.10FAIL900.7
ncf_8_64_8_u.10FAIL900.7
ncf_16_128_8_d.2FAIL900.7
k_path_n-8FAIL900.7
ncf_16_128_8_u.1FAIL900.7
ncf_8_32_8_d.7FAIL900.7
test1_quant3FAIL900.7
ev-pr-8x8-11-7-0-1-2-lgFAIL900.7
ncf_16_128_2_euad.4FAIL900.7
ncf_8_64_4_u.3FAIL900.7
ncf_16_128_8_euad.9FAIL900.7
k_poly_p-20FAIL900.7
ncf_16_64_8_edau.6FAIL900.71
ncf_8_64_8_edau.9FAIL900.71
ncf_16_128_4_edau.9FAIL900.71
ncf_16_64_4_edau.5FAIL900.71
ncf_4_32_8_d.3FAIL900.71
s386_d2_sFAIL900.71
ncf_8_64_4_edau.5FAIL900.71
ncf_8_64_4_euad.8FAIL900.71
k_ph_n-21FAIL900.71
ncf_16_128_8_edau.5FAIL900.71
ncf_16_128_2_edau.5FAIL900.71
ncf_8_64_8_d.1FAIL900.71
ncf_8_64_8_u.7FAIL900.71
ncf_4_32_8_edau.2FAIL900.71
ncf_16_128_4_u.10FAIL900.71
ncf_8_64_8_u.2FAIL900.72
ncf_16_64_8_edau.8FAIL900.72
ncf_16_64_8_d.6FAIL900.72
ncf_8_64_2_d.4FAIL900.72
ncf_16_64_8_edau.3FAIL900.72
ncf_16_128_2_u.4FAIL900.72
C6288.blif_0.10_0.20_0_1_inp_exactFAIL900.72
Adder2-14-sFAIL900.72
ncf_16_64_8_d.3FAIL900.72
ncf_4_32_8_u.7FAIL900.72
ncf_4_32_8_d.8FAIL900.72
ncf_8_32_8_edau.8FAIL900.72
ncf_16_64_8_u.6FAIL900.72
ncf_16_64_4_d.10FAIL900.72
test1_quant_squaring2FAIL900.72
ncf_8_64_8_edau.2FAIL900.72
3qbf-5cnf-80var-640cl.3FAIL900.73
mutex-64-sFAIL900.73
ncf_16_128_8_edau.1FAIL900.73
ncf_4_32_8_u.2FAIL900.73
ncf_16_128_8_edau.7FAIL900.73
k_grz_n-16FAIL900.73
ncf_16_128_4_edau.4FAIL900.73
ncf_16_128_8_u.6FAIL900.73
ncf_16_128_8_euad.3FAIL900.73
ncf_16_128_8_edau.2FAIL900.73
ncf_16_128_8_euad.6FAIL900.73
s499_d22_uFAIL900.73
s510_d4_sFAIL900.73
s820_d11_uFAIL900.73
mutex-128-sFAIL900.73
ncf_16_128_8_d.9FAIL900.73
ncf_4_32_4_d.8FAIL900.73
ncf_16_64_8_d.7FAIL900.74
ncf_16_128_8_u.3FAIL900.74
ncf_4_32_8_euad.3FAIL900.74
3qbf-5cnf-80var-1280cl.4FAIL900.74
ncf_16_32_8_d.7FAIL900.74
ncf_16_64_8_euad.9FAIL900.74
ncf_8_64_8_euad.8FAIL900.74
ncf_16_64_8_u.9FAIL900.74
ncf_4_32_8_d.7FAIL900.74
ncf_8_64_8_edau.1FAIL900.74
ncf_8_32_8_euad.10FAIL900.74
ncf_16_128_2_edau.6FAIL900.74
ncf_16_64_4_edau.6FAIL900.74
k_ph_n-16FAIL900.74
ncf_16_128_4_u.6FAIL900.74
ncf_8_64_8_euad.1FAIL900.74
ncf_16_64_8_edau.9FAIL900.74
ncf_16_128_2_edau.4FAIL900.74
adder-12-satFAIL900.74
ncf_16_128_4_edau.7FAIL900.74
ncf_8_64_8_d.9FAIL900.74
ncf_8_32_8_u.9FAIL900.74
ev-pr-8x8-17-7-0-1-2-lgFAIL900.74
k_ph_p-21FAIL900.74
ncf_16_64_8_edau.2FAIL900.74
s499_d16_sFAIL900.75
ncf_16_128_4_d.4FAIL900.75
ncf_8_64_4_edau.6FAIL900.75
ncf_16_128_2_d.10FAIL900.75
ncf_4_32_8_d.9FAIL900.75
ncf_16_128_2_edau.2FAIL900.75
ncf_16_128_8_d.8FAIL900.75
ncf_16_128_2_d.2FAIL900.75
k_t4p_p-4FAIL900.75
ncf_4_32_8_edau.9FAIL900.75
ncf_16_128_4_d.3FAIL900.75
ncf_16_128_4_edau.1FAIL900.75
ncf_4_32_8_euad.7FAIL900.75
ncf_4_32_8_edau.1FAIL900.75
k_ph_p-16FAIL900.75
Adder2-4-sFAIL900.75
4qbf-5cnf-160var-1280cl.7FAIL900.75
ncf_8_64_4_edau.8FAIL900.75
ncf_16_64_8_edau.4FAIL900.75
comp.blif_0.10_1.00_0_0_out_exactFAIL900.75
ncf_16_64_8_d.4FAIL900.76
ncf_4_32_8_edau.3FAIL900.76
ncf_16_128_2_d.5FAIL900.76
ncf_4_32_8_d.2FAIL900.76
ncf_4_32_4_d.5FAIL900.76
ncf_16_128_8_euad.2FAIL900.76
ncf_4_32_8_u.3FAIL900.76
ncf_16_32_8_edau.7FAIL900.76
ncf_16_128_2_edau.1FAIL900.76
k_ph_p-20FAIL900.76
horn_400CNF1840_2aQBF_547FAIL900.76
ncf_16_64_4_edau.4FAIL900.76
ncf_8_32_8_edau.3FAIL900.76
ncf_8_64_8_u.3FAIL900.76
ncf_4_16_8_edau.10FAIL900.76
ncf_16_128_2_d.8FAIL900.76
ncf_8_64_2_d.5FAIL900.76
ncf_16_128_4_d.6FAIL900.76
ev-pr-8x8-15-7-0-1-2-lgFAIL900.76
ncf_16_128_2_edau.9FAIL900.76
ncf_16_128_4_u.5FAIL900.76
ncf_16_64_4_u.9FAIL900.76
ncf_16_128_8_edau.8FAIL900.76
k_d4_p-8FAIL900.76
ncf_8_64_8_u.1FAIL900.76
ncf_8_64_8_euad.4FAIL900.77
ncf_8_64_8_edau.8FAIL900.77
comp.blif_0.10_1.00_0_0_inp_exactFAIL900.77
ev-pr-8x8-13-7-0-1-2-lgFAIL900.77
ncf_8_64_2_edau.2FAIL900.77
ncf_8_32_4_d.5FAIL900.77
test1_quant2FAIL900.77
ncf_16_128_4_edau.5FAIL900.77
ev-pr-8x8-19-7-0-1-2-lgFAIL900.77
uclid-pipe2FAIL900.77
ncf_4_32_8_euad.5FAIL900.77
ncf_16_64_4_edau.9FAIL900.77
ncf_16_64_8_d.8FAIL900.77
ncf_8_64_8_u.4FAIL900.77
ncf_16_64_2_edau.8FAIL900.77
ncf_4_32_8_d.6FAIL900.77
ncf_16_64_4_edau.3FAIL900.77
k_dum_n-8FAIL900.77
ncf_16_128_8_edau.9FAIL900.77
ncf_16_64_4_d.8FAIL900.77
ncf_16_64_4_u.5FAIL900.77
ncf_8_64_4_d.5FAIL900.77
ncf_8_32_8_euad.6FAIL900.77
ncf_8_64_4_d.1FAIL900.77
ncf_16_64_8_d.1FAIL900.77
k_dum_n-12FAIL900.77
ncf_16_128_4_euad.10FAIL900.77
ncf_8_64_4_u.7FAIL900.78
ncf_4_32_8_edau.8FAIL900.78
ncf_8_64_4_d.3FAIL900.78
ncf_8_64_4_d.9FAIL900.78
ncf_16_128_2_u.8FAIL900.78
s386_d7_sFAIL900.78
mutex-32-sFAIL900.78
ncf_16_128_8_edau.3FAIL900.78
ncf_16_128_4_edau.3FAIL900.78
ncf_16_128_2_u.3FAIL900.78
ncf_16_64_4_d.1FAIL900.78
ncf_8_64_8_edau.5FAIL900.78
ncf_8_64_2_edau.5FAIL900.78
ncf_16_128_2_edau.7FAIL900.78
ev-pr-6x6-5-5-0-1-2-sFAIL900.78
ncf_4_32_8_d.1FAIL900.78
ncf_8_64_4_euad.6FAIL900.78
ncf_8_32_8_d.9FAIL900.78
s298_d2_sFAIL900.78
k_path_p-8FAIL900.78
ncf_8_64_4_euad.5FAIL900.78
ncf_8_32_2_d.7FAIL900.79
ncf_16_64_8_u.1FAIL900.79
s510_d32_sFAIL900.79
ncf_16_32_4_d.4FAIL900.79
ncf_8_64_2_d.3FAIL900.79
ncf_16_64_4_d.6FAIL900.79
counter_32FAIL900.79
ncf_16_128_4_d.2FAIL900.79
adder-16-satFAIL900.79
ncf_16_64_2_d.9FAIL900.79
ncf_8_32_8_u.1FAIL900.79
ncf_4_16_8_d.10FAIL900.79
ncf_16_128_4_d.5FAIL900.79
ncf_8_32_8_euad.1FAIL900.79
s499_d21_sFAIL900.79
6qbf-5cnf-80var-640cl.3FAIL900.79
counter_64FAIL900.79
ncf_16_128_2_edau.3FAIL900.79
ncf_4_32_8_d.10FAIL900.79
k_path_p-12FAIL900.79
ncf_8_64_4_d.10FAIL900.79
ncf_8_64_8_euad.10FAIL900.79
ncf_16_128_4_d.9FAIL900.79
connect_9x8_8_RFAIL900.79
test4_quant_squaring4FAIL900.79
ncf_16_64_2_edau.2FAIL900.79
ncf_8_64_2_edau.10FAIL900.79
ncf_16_128_2_euad.2FAIL900.79
ncf_4_8_8_edau.6FAIL900.79
ncf_16_64_4_edau.2FAIL900.79
ncf_4_16_8_u.5FAIL900.79
s820_d10_sFAIL900.8
ncf_4_32_8_u.5FAIL900.8
s3330_d4_sFAIL900.8
ncf_16_128_8_edau.6FAIL900.8
ncf_16_64_4_d.7FAIL900.8
ncf_8_32_8_d.10FAIL900.8
ncf_8_64_2_u.8FAIL900.8
ncf_8_32_4_edau.1FAIL900.8
ncf_8_32_4_d.10FAIL900.8
ncf_16_128_2_d.9FAIL900.8
ncf_8_64_8_d.4FAIL900.8
ncf_4_32_4_u.3FAIL900.8
ncf_16_128_8_euad.5FAIL900.8
ncf_8_64_4_edau.3FAIL900.8
ncf_8_64_4_euad.4FAIL900.8
ncf_16_128_4_u.1FAIL900.8
ncf_8_64_2_edau.9FAIL900.8
connect_9x8_7_RFAIL900.8
ncf_8_32_4_u.1FAIL900.8
ncf_8_16_8_d.5FAIL900.8
s510_d8_sFAIL900.8
ncf_8_64_4_edau.10FAIL900.8
ncf_16_128_8_d.7FAIL900.8
6qbf-5cnf-80var-1280cl.4FAIL900.8
ncf_8_32_8_edau.7FAIL900.8
ncf_8_64_4_euad.1FAIL900.8
ncf_4_32_8_d.4FAIL900.8
ncf_8_64_4_u.6FAIL900.8
ncf_16_128_2_d.7FAIL900.8
ncf_8_32_4_edau.2FAIL900.8
ncf_16_128_2_d.1FAIL900.81
ncf_16_128_8_u.2FAIL900.81
ncf_16_64_2_euad.2FAIL900.81
ncf_16_128_8_d.3FAIL900.81
ncf_8_64_2_u.1FAIL900.81
ncf_4_32_8_euad.10FAIL900.81
ncf_4_32_8_u.10FAIL900.81
ncf_8_32_4_euad.4FAIL900.81
ncf_16_128_2_euad.6FAIL900.81
ncf_16_128_2_d.6FAIL900.81
ncf_8_64_4_u.2FAIL900.81
counter_r_16FAIL900.81
C499.blif_0.10_0.20_0_1_out_exactFAIL900.81
s386_d8_uFAIL900.81
ncf_4_32_8_u.1FAIL900.81
ncf_8_16_8_edau.10FAIL900.81
ncf_8_32_4_u.8FAIL900.81
ncf_8_32_4_u.6FAIL900.81
ncf_8_64_4_euad.2FAIL900.81
ncf_4_16_8_edau.7FAIL900.81
ncf_8_32_8_edau.10FAIL900.81
ncf_4_32_2_edau.10FAIL900.81
ncf_8_64_4_edau.7FAIL900.81
ncf_4_16_4_d.3FAIL900.81
s820_d8_sFAIL900.81
ncf_8_64_2_d.7FAIL900.81
ncf_16_128_4_euad.3FAIL900.81
ncf_16_64_8_d.2FAIL900.81
ev-pr-6x6-13-5-0-1-2-lgFAIL900.81
ncf_8_64_8_d.8FAIL900.81
ncf_16_64_8_d.9FAIL900.81
ncf_4_32_4_d.3FAIL900.81
4qbf-5cnf-160var-1280cl.0FAIL900.81
ncf_16_128_4_d.8FAIL900.81
counter_r_64FAIL900.82
ncf_16_128_8_euad.7FAIL900.82
ncf_4_16_8_d.4FAIL900.82
ncf_16_128_2_u.2FAIL900.82
ncf_8_32_8_u.6FAIL900.82
ncf_8_32_8_d.2FAIL900.82
ncf_8_64_4_d.6FAIL900.82
2qbf-5cnf-160var-1280cl.3FAIL900.82
ncf_4_16_8_d.6FAIL900.82
ncf_4_16_8_d.3FAIL900.82
ncf_8_16_8_d.6FAIL900.82
ncf_8_64_4_edau.4FAIL900.82
ncf_8_16_8_u.4FAIL900.82
ncf_16_64_4_edau.8FAIL900.82
4qbf-5cnf-80var-640cl.5FAIL900.82
ncf_4_16_8_euad.5FAIL900.82
ncf_8_64_2_d.1FAIL900.82
4qbf-5cnf-160var-1280cl.9FAIL900.82
horn_400CNF1520_2aQBF_995FAIL900.82
ncf_8_64_4_euad.3FAIL900.82
ncf_4_16_8_edau.3FAIL900.82
Adder2-16-sFAIL900.82
ncf_4_32_2_u.10FAIL900.82
ncf_4_32_4_u.7FAIL900.82
ncf_16_128_8_euad.1FAIL900.82
ncf_16_128_2_u.6FAIL900.82
ncf_16_64_8_edau.5FAIL900.82
ncf_8_64_2_u.3FAIL900.82
ncf_16_64_2_edau.10FAIL900.82
ncf_16_128_8_d.10FAIL900.82
ncf_4_8_8_d.7FAIL900.82
ncf_8_64_8_edau.3FAIL900.82
ncf_8_64_4_u.8FAIL900.82
ncf_16_128_4_euad.4FAIL900.82
ncf_4_32_2_d.6FAIL900.82
ncf_16_64_4_d.2FAIL900.82
ncf_4_32_4_edau.3FAIL900.82
ncf_16_128_2_edau.8FAIL900.82
ncf_8_32_8_euad.2FAIL900.82
ncf_8_64_2_edau.8FAIL900.82
ncf_4_16_8_d.8FAIL900.82
ncf_4_32_4_d.6FAIL900.83
ncf_4_16_8_d.5FAIL900.83
adder-10-satFAIL900.83
ncf_16_128_4_u.9FAIL900.83
ncf_4_8_8_d.6FAIL900.83
4qbf-5cnf-80var-640cl.3FAIL900.83
ncf_16_128_8_d.6FAIL900.83
2qbf-5cnf-160var-1280cl.1FAIL900.83
ncf_4_32_2_euad.5FAIL900.83
ncf_4_32_4_d.2FAIL900.83
ncf_4_32_2_d.3FAIL900.83
ncf_16_128_4_euad.6FAIL900.83
horn_400CNF2000_2aQBF_104FAIL900.83
ncf_8_16_8_d.2FAIL900.83
6qbf-5cnf-160var-1280cl.6FAIL900.83
ncf_16_64_2_euad.5FAIL900.83
ncf_16_128_2_euad.3FAIL900.83
ncf_8_64_4_d.4FAIL900.83
ncf_16_64_8_edau.1FAIL900.83
ncf_16_64_4_edau.1FAIL900.83
ncf_8_64_4_d.8FAIL900.83
ncf_16_64_4_d.4FAIL900.83
test5_quant_squaring4FAIL900.83
k_dum_p-12FAIL900.83
ncf_4_32_4_edau.8FAIL900.83
ncf_8_32_8_d.1FAIL900.83
ncf_8_64_2_euad.4FAIL900.83
ncf_16_32_8_edau.5FAIL900.83
ncf_4_32_8_edau.5FAIL900.83
renHorn_400CNF1720_2aQBF_71FAIL900.83
ncf_4_16_8_edau.4FAIL900.83
ncf_16_128_2_u.10FAIL900.83
4qbf-5cnf-160var-1280cl.1FAIL900.83
uclid-pipe3bFAIL900.83
ncf_8_64_2_d.9FAIL900.83
ncf_8_64_2_d.10FAIL900.84
ncf_8_32_4_euad.2FAIL900.84
ncf_16_64_4_d.9FAIL900.84
ncf_8_64_8_euad.2FAIL900.84
connect_8x7_6_RFAIL900.84
ncf_16_64_8_u.7FAIL900.84
ncf_8_64_2_edau.6FAIL900.84
ncf_16_64_4_d.3FAIL900.84
ncf_16_128_8_euad.10FAIL900.84
ncf_8_32_8_edau.5FAIL900.84
ncf_4_32_8_edau.6FAIL900.84
ncf_4_8_8_d.1FAIL900.84
ncf_8_32_2_d.5FAIL900.84
ncf_4_32_4_u.9FAIL900.84
ncf_8_32_8_d.3FAIL900.84
ncf_8_16_8_euad.4FAIL900.84
ncf_16_64_4_euad.9FAIL900.84
ncf_4_32_4_edau.9FAIL900.84
ncf_4_32_4_euad.1FAIL900.84
ncf_16_32_4_u.10FAIL900.84
ncf_16_128_4_euad.5FAIL900.84
ncf_16_32_8_edau.9FAIL900.84
ncf_8_64_2_u.9FAIL900.84
ncf_16_128_8_euad.4FAIL900.84
ncf_16_128_4_euad.2FAIL900.84
ncf_4_32_8_euad.1FAIL900.84
ncf_4_32_8_euad.4FAIL900.84
renHorn_400CNF1720_2aQBF_79FAIL900.84
ncf_8_32_8_edau.1FAIL900.84
ncf_8_64_8_u.8FAIL900.84
ncf_16_64_4_u.10FAIL900.84
ncf_4_32_4_d.1FAIL900.84
ncf_16_64_4_euad.6FAIL900.84
ncf_16_64_8_euad.1FAIL900.84
ncf_8_32_2_d.3FAIL900.84
test5_quant5FAIL900.84
ncf_16_64_4_edau.10FAIL900.84
ncf_4_32_8_d.5FAIL900.84
horn_400CNF2320_2aQBF_772FAIL900.84
ncf_16_128_2_euad.5FAIL900.84
ncf_16_128_4_u.8FAIL900.84
ncf_16_128_4_d.1FAIL900.84
ncf_8_32_8_u.10FAIL900.85
ncf_8_32_4_edau.5FAIL900.85
ncf_16_32_4_u.2FAIL900.85
ncf_16_64_4_euad.5FAIL900.85
adder-6-satFAIL900.85
ncf_8_32_4_d.8FAIL900.85
ncf_16_32_8_u.1FAIL900.85
ncf_16_64_2_d.3FAIL900.85
ncf_4_32_4_euad.9FAIL900.85
ncf_4_32_2_u.7FAIL900.85
ncf_8_32_2_u.7FAIL900.85
ncf_16_32_8_edau.4FAIL900.85
ncf_8_16_8_d.4FAIL900.85
ncf_4_8_8_d.5FAIL900.85
ncf_4_16_8_d.9FAIL900.85
ncf_8_32_4_u.10FAIL900.85
C432.blif_0.10_0.20_0_0_out_exactFAIL900.85
ncf_8_64_2_d.6FAIL900.85
2qbf-5cnf-80var-640cl.8FAIL900.85
ncf_4_16_8_euad.6FAIL900.85
ncf_4_32_8_edau.4FAIL900.85
ncf_16_64_4_euad.10FAIL900.85
ncf_16_32_4_edau.3FAIL900.85
ncf_8_16_4_d.3FAIL900.85
ncf_4_32_4_edau.5FAIL900.85
ncf_8_32_8_d.6FAIL900.85
ncf_8_16_8_d.10FAIL900.85
ncf_8_32_8_d.8FAIL900.85
ncf_8_32_8_u.5FAIL900.85
ncf_16_128_4_euad.1FAIL900.85
ncf_8_32_2_d.6FAIL900.85
ncf_16_32_8_d.5FAIL900.85
ncf_16_128_4_euad.8FAIL900.85
ncf_4_32_8_euad.9FAIL900.85
ncf_4_32_4_euad.2FAIL900.85
ncf_4_32_4_euad.5FAIL900.85
2qbf-5cnf-160var-1280cl.9FAIL900.85
horn_400CNF1840_2aQBF_329FAIL900.85
renHorn_400CNF2120_2aQBF_63FAIL900.85
comp.blif_0.10_0.20_0_0_out_exactFAIL900.85
ncf_16_64_2_edau.5FAIL900.85
4qbf-5cnf-80var-640cl.1FAIL900.85
ncf_8_64_8_d.6FAIL900.85
ncf_4_16_4_d.4FAIL900.85
ncf_8_64_2_euad.1FAIL900.86
ncf_8_16_8_u.5FAIL900.86
ncf_4_32_4_u.5FAIL900.86
counter_16FAIL900.86
ncf_16_128_4_u.3FAIL900.86
ncf_16_64_2_edau.3FAIL900.86
ncf_16_32_4_u.5FAIL900.86
ncf_8_32_4_d.9FAIL900.86
ncf_8_64_4_euad.7FAIL900.86
ncf_16_64_8_d.10FAIL900.86
ncf_4_8_8_edau.5FAIL900.86
ncf_8_64_4_u.5FAIL900.86
ncf_16_64_2_edau.7FAIL900.86
renHorn_400CNF2360_2aQBF_88FAIL900.86
s1269_d10_sFAIL900.86
C5315.blif_0.10_0.20_0_1_inp_exactFAIL900.86
ncf_16_128_4_d.10FAIL900.86
ncf_4_32_2_d.10FAIL900.86
ncf_16_32_8_d.9FAIL900.86
C5315.blif_0.10_0.20_0_0_out_exactFAIL900.86
ncf_8_16_8_edau.5FAIL900.86
ncf_8_32_4_euad.9FAIL900.86
horn_400CNF2080_2aQBF_840FAIL900.86
horn_400CNF2160_2aQBF_92FAIL900.86
horn_400CNF2320_2aQBF_797FAIL900.86
ncf_16_64_8_d.5FAIL900.86
ncf_4_32_4_euad.7FAIL900.86
ncf_8_64_2_edau.4FAIL900.86
ncf_8_64_8_euad.5FAIL900.86
ncf_4_32_8_u.9FAIL900.86
horn_400CNF1680_2aQBF_745FAIL900.86
ncf_8_16_8_euad.7FAIL900.86
ncf_16_64_8_u.2FAIL900.86
ncf_8_32_2_edau.4FAIL900.86
ncf_16_128_2_u.7FAIL900.86
3qbf-5cnf-160var-1280cl.5FAIL900.86
ncf_4_8_8_d.3FAIL900.86
adder-8-satFAIL900.86
ncf_4_32_8_euad.2FAIL900.86
renHorn_400CNF1800_2aQBF_2FAIL900.86
ncf_16_128_4_u.7FAIL900.86
ncf_8_32_4_euad.6FAIL900.86
ncf_16_64_8_u.4FAIL900.86
ncf_16_128_2_euad.1FAIL900.86
ncf_16_128_2_u.5FAIL900.86
ncf_8_32_2_d.2FAIL900.86
horn_400CNF2160_2aQBF_588FAIL900.86
ncf_8_32_2_d.4FAIL900.86
ncf_16_128_8_u.4FAIL900.86
ncf_4_32_2_d.9FAIL900.86
ncf_4_32_4_d.9FAIL900.86
ncf_8_32_4_u.5FAIL900.86
ncf_16_128_8_d.1FAIL900.86
ncf_4_8_8_d.2FAIL900.86
5qbf-5cnf-160var-1280cl.4FAIL900.86
ncf_16_64_4_edau.7FAIL900.87
ncf_4_32_2_d.1FAIL900.87
ncf_4_16_8_edau.8FAIL900.87
6qbf-5cnf-160var-1280cl.5FAIL900.87
ncf_8_32_8_edau.4FAIL900.87
ncf_16_32_8_edau.8FAIL900.87
k_poly_n-4FAIL900.87
ncf_8_32_8_euad.5FAIL900.87
test5_quant7FAIL900.87
ncf_8_32_4_edau.10FAIL900.87
ncf_8_64_8_euad.9FAIL900.87
ncf_8_32_4_euad.10FAIL900.87
ncf_4_16_8_d.7FAIL900.87
ncf_8_32_2_edau.5FAIL900.87
renHorn_400CNF2040_2aQBF_100FAIL900.87
ncf_16_64_2_d.8FAIL900.87
ncf_8_64_4_u.4FAIL900.87
k_branch_p-4FAIL900.87
ncf_16_128_2_euad.10FAIL900.87
ncf_16_64_2_edau.4FAIL900.87
ncf_16_128_8_u.7FAIL900.87
ncf_8_32_8_edau.6FAIL900.87
renHorn_400CNF2120_2aQBF_10FAIL900.87
ncf_8_32_4_euad.3FAIL900.87
ncf_8_32_4_d.3FAIL900.87
ncf_8_16_8_d.9FAIL900.87
ncf_16_32_8_u.2FAIL900.87
ncf_4_32_4_edau.7FAIL900.87
k_branch_n-4FAIL900.87
ncf_4_16_4_edau.8FAIL900.87
ncf_16_32_8_d.3FAIL900.87
ncf_8_64_2_euad.8FAIL900.87
ncf_16_128_2_u.9FAIL900.87
horn_400CNF1760_2aQBF_614FAIL900.87
ncf_4_16_4_edau.4FAIL900.87
4qbf-5cnf-160var-1280cl.2FAIL900.87
horn_400CNF1760_2aQBF_93FAIL900.87
ncf_16_32_2_edau.8FAIL900.87
ncf_8_64_2_d.2FAIL900.87
ncf_8_32_4_u.4FAIL900.87
2qbf-5cnf-80var-640cl.9FAIL900.87
horn_400CNF1520_2aQBF_702FAIL900.87
ncf_8_64_2_edau.7FAIL900.87
ncf_8_32_8_u.2FAIL900.87
k_poly_p-4FAIL900.87
ncf_16_64_8_euad.6FAIL900.88
ncf_4_32_2_d.4FAIL900.88
ncf_4_16_8_u.6FAIL900.88
ncf_16_64_4_u.8FAIL900.88
ncf_16_32_4_d.7FAIL900.88
ncf_4_16_8_edau.5FAIL900.88
counter_r_32FAIL900.88
ncf_8_64_2_euad.9FAIL900.88
horn_400CNF1600_2aQBF_3FAIL900.88
ncf_8_16_8_edau.9FAIL900.88
ncf_4_16_8_euad.3FAIL900.88
ncf_8_32_4_d.1FAIL900.88
ncf_4_32_2_u.3FAIL900.88
ncf_16_64_4_u.6FAIL900.88
ncf_4_16_4_d.1FAIL900.88
2qbf-5cnf-160var-1280cl.4FAIL900.88
ncf_16_128_8_u.8FAIL900.88
ncf_8_32_8_edau.9FAIL900.88
ncf_16_32_8_d.8FAIL900.88
ncf_16_64_2_u.2FAIL900.88
4qbf-5cnf-80var-640cl.8FAIL900.88
ncf_16_64_4_euad.8FAIL900.88
ncf_4_32_2_edau.6FAIL900.88
horn_400CNF2320_2aQBF_209FAIL900.88
ncf_16_128_4_u.4FAIL900.88
ncf_8_32_8_edau.2FAIL900.88
ncf_8_32_4_euad.1FAIL900.88
horn_400CNF2000_2aQBF_577FAIL900.88
test3_quant_squaring4FAIL900.88
ncf_4_8_8_d.10FAIL900.88
ncf_4_8_8_edau.2FAIL900.88
6qbf-5cnf-160var-1280cl.0FAIL900.88
ncf_16_32_8_edau.3FAIL900.88
ncf_4_32_4_d.7FAIL900.88
ncf_16_64_4_u.2FAIL900.88
renHorn_400CNF1640_2aQBF_38FAIL900.88
renHorn_400CNF1640_2aQBF_42FAIL900.88
ncf_4_32_8_u.6FAIL900.88
ncf_8_32_8_u.4FAIL900.88
horn_400CNF1680_2aQBF_286FAIL900.88
ncf_8_32_2_d.10FAIL900.88
ncf_4_16_8_edau.1FAIL900.88
horn_400CNF1680_2aQBF_547FAIL900.88
ncf_4_32_4_u.4FAIL900.88
ncf_4_16_8_d.1FAIL900.88
ncf_16_32_4_u.4FAIL900.88
ncf_16_64_8_euad.7FAIL900.88
ncf_16_64_2_d.10FAIL900.88
ncf_4_16_8_euad.10FAIL900.88
ncf_8_64_2_euad.7FAIL900.88
horn_400CNF1840_2aQBF_514FAIL900.88
ncf_16_64_2_d.2FAIL900.88
ncf_8_16_4_edau.3FAIL900.88
ncf_8_32_4_u.7FAIL900.88
adder-4-satFAIL900.89
ncf_8_32_4_edau.3FAIL900.89
horn_400CNF1440_2aQBF_147FAIL900.89
horn_400CNF1440_2aQBF_668FAIL900.89
ncf_16_32_4_euad.2FAIL900.89
renHorn_400CNF1880_2aQBF_81FAIL900.89
horn_400CNF1600_2aQBF_331FAIL900.89
ncf_16_64_8_u.8FAIL900.89
2qbf-5cnf-160var-640cl.2FAIL900.89
ncf_16_64_2_u.1FAIL900.89
ncf_8_64_8_u.5FAIL900.89
horn_400CNF1600_2aQBF_956FAIL900.89
horn_400CNF1520_2aQBF_116FAIL900.89
ncf_4_32_2_euad.3FAIL900.89
ncf_8_32_4_d.2FAIL900.89
ncf_16_64_4_euad.4FAIL900.89
ncf_4_32_2_edau.7FAIL900.89
ncf_8_64_2_u.5FAIL900.89
ncf_16_32_8_edau.6FAIL900.89
ncf_8_64_4_u.10FAIL900.89
ncf_4_16_4_edau.2FAIL900.89
renHorn_400CNF2280_2aQBF_4FAIL900.89
ncf_16_32_4_u.9FAIL900.89
ncf_16_32_8_u.4FAIL900.89
ncf_16_64_2_d.4FAIL900.89
ncf_4_32_4_d.4FAIL900.89
horn_400CNF1520_2aQBF_760FAIL900.89
2qbf-5cnf-160var-1280cl.0FAIL900.89
ncf_4_16_4_d.6FAIL900.89
test3_quant4FAIL900.89
ncf_4_16_4_edau.7FAIL900.89
ncf_4_32_8_euad.6FAIL900.89
horn_400CNF2000_2aQBF_456FAIL900.89
ncf_4_8_8_u.7FAIL900.89
ncf_4_32_8_edau.10FAIL900.89
ncf_8_64_4_euad.9FAIL900.89
ncf_16_64_2_d.6FAIL900.89
ncf_8_16_4_d.9FAIL900.89
ncf_4_16_4_euad.3FAIL900.89
ncf_16_64_2_euad.3FAIL900.89
ncf_4_16_8_euad.4FAIL900.89
4qbf-5cnf-80var-640cl.7FAIL900.89
ncf_8_64_2_u.7FAIL900.89
ncf_16_128_8_euad.8FAIL900.89
ncf_16_128_4_euad.9FAIL900.89
ncf_8_64_2_edau.1FAIL900.89
4qbf-5cnf-160var-1280cl.4FAIL900.89
ncf_4_32_8_u.4FAIL900.89
ncf_16_32_8_d.6FAIL900.89
ncf_4_32_4_euad.3FAIL900.89
renHorn_400CNF2280_2aQBF_13FAIL900.89
horn_400CNF1920_2aQBF_583FAIL900.89
ncf_4_32_4_edau.4FAIL900.89
ncf_8_16_8_euad.5FAIL900.89
ncf_8_16_8_d.3FAIL900.89
ncf_4_16_4_edau.3FAIL900.89
s510_d16_sFAIL900.89
ncf_4_16_4_edau.1FAIL900.89
ncf_4_8_8_edau.7FAIL900.89
6qbf-5cnf-160var-1280cl.8FAIL900.89
ncf_16_32_8_edau.2FAIL900.89
horn_400CNF1840_2aQBF_980FAIL900.89
ncf_4_16_8_edau.9FAIL900.9
ncf_16_128_2_euad.7FAIL900.9
horn_400CNF1440_2aQBF_967FAIL900.9
ncf_16_64_2_d.7FAIL900.9
ncf_8_16_8_edau.6FAIL900.9
ncf_8_32_2_edau.7FAIL900.9
ncf_4_16_8_u.3FAIL900.9
ncf_4_32_4_edau.6FAIL900.9
horn_400CNF2080_2aQBF_899FAIL900.9
2qbf-5cnf-160var-640cl.3FAIL900.9
ncf_4_16_8_u.2FAIL900.9
C6288.blif_0.10_0.20_0_1_out_exactFAIL900.9
ncf_16_32_8_edau.1FAIL900.9
ncf_16_128_2_u.1FAIL900.9
ncf_4_16_4_euad.8FAIL900.9
horn_400CNF1760_2aQBF_188FAIL900.9
ncf_4_32_2_edau.3FAIL900.9
2qbf-5cnf-160var-1280cl.8FAIL900.9
2qbf-5cnf-160var-1280cl.2FAIL900.9
ncf_16_64_2_u.4FAIL900.9
ncf_8_32_4_u.9FAIL900.9
ncf_8_32_2_u.8FAIL900.9
ncf_4_32_4_edau.10FAIL900.9
ncf_4_32_4_u.8FAIL900.9
ncf_4_16_2_u.1FAIL900.9
horn_400CNF2000_2aQBF_523FAIL900.9
ncf_16_32_4_edau.10FAIL900.9
ncf_8_16_8_d.8FAIL900.9
ncf_8_64_2_euad.2FAIL900.9
4qbf-5cnf-160var-1280cl.3FAIL900.9
ncf_8_32_4_euad.8FAIL900.9
ncf_8_32_2_euad.10FAIL900.9
ncf_8_32_8_d.5FAIL900.9
ncf_16_64_8_euad.4FAIL900.9
ncf_8_64_4_euad.10FAIL900.9
ncf_8_64_4_u.9FAIL900.9
s1269_d11_uFAIL900.9
ncf_16_32_2_edau.1FAIL900.9
ncf_8_32_4_u.2FAIL900.9
ncf_16_32_4_edau.9FAIL900.9
ncf_8_64_2_euad.3FAIL900.9
horn_400CNF2160_2aQBF_427FAIL900.9
horn_400CNF1680_2aQBF_695FAIL900.9
ncf_8_64_8_u.6FAIL900.9
ncf_8_32_8_euad.9FAIL900.9
ncf_8_64_2_u.10FAIL900.9
ncf_4_16_4_d.10FAIL900.9
ncf_4_16_4_euad.2FAIL900.9
ncf_16_128_4_euad.7FAIL900.9
ncf_16_32_8_d.4FAIL900.9
ncf_16_32_8_edau.10FAIL900.9
ncf_4_16_8_d.2FAIL900.9
ncf_8_32_2_u.10FAIL900.9
renHorn_400CNF2200_2aQBF_79FAIL900.9
horn_400CNF1520_2aQBF_387FAIL900.9
ncf_16_32_4_euad.1FAIL900.9
ncf_4_32_2_edau.9FAIL900.9
renHorn_400CNF1560_2aQBF_72FAIL900.9
ncf_16_64_2_d.5FAIL900.9
ncf_4_8_8_edau.8FAIL900.9
ncf_4_16_2_d.3FAIL900.91
ncf_4_16_8_u.8FAIL900.91
ncf_16_64_2_u.7FAIL900.91
ncf_4_32_8_euad.8FAIL900.91
ncf_8_16_4_d.4FAIL900.91
ncf_4_32_2_edau.5FAIL900.91
2qbf-5cnf-80var-640cl.6FAIL900.91
ncf_8_32_2_euad.3FAIL900.91
ncf_16_128_2_euad.9FAIL900.91
horn_400CNF1600_2aQBF_103FAIL900.91
ncf_16_64_8_u.10FAIL900.91
ncf_4_8_8_d.8FAIL900.91
horn_400CNF1840_2aQBF_555FAIL900.91
s27_d5_uFAIL900.91
ncf_16_32_4_euad.10FAIL900.91
ncf_4_16_2_edau.4FAIL900.91
ncf_4_16_8_u.4FAIL900.91
ncf_4_32_4_edau.2FAIL900.91
ncf_4_32_2_d.7FAIL900.91
s1269_d4_sFAIL900.91
ncf_8_64_8_u.9FAIL900.91
ncf_4_16_8_euad.2FAIL900.91
ncf_16_128_8_u.5FAIL900.91
CHAIN23v.24FAIL900.91
ncf_8_16_4_euad.7FAIL900.91
renHorn_400CNF1800_2aQBF_7FAIL900.91
horn_400CNF1440_2aQBF_553FAIL900.91
horn_400CNF1440_2aQBF_642FAIL900.91
ncf_8_32_2_euad.7FAIL900.91
ncf_4_16_2_d.1FAIL900.91
horn_400CNF1680_2aQBF_482FAIL900.91
horn_400CNF1760_2aQBF_330FAIL900.91
mutex-16-sFAIL900.91
renHorn_400CNF2200_2aQBF_48FAIL900.91
horn_400CNF2080_2aQBF_832FAIL900.91
ncf_16_32_4_d.6FAIL900.91
3qbf-5cnf-80var-640cl.1FAIL900.91
ncf_16_32_8_euad.6FAIL900.91
ncf_8_32_4_euad.5FAIL900.91
ncf_4_16_4_d.2FAIL900.91
6qbf-5cnf-160var-1280cl.1FAIL900.91
ncf_4_32_2_u.9FAIL900.91
ncf_4_32_4_d.10FAIL900.91
horn_400CNF1840_2aQBF_323FAIL900.91
2qbf-5cnf-160var-1280cl.6FAIL900.91
ncf_16_32_4_edau.2FAIL900.91
horn_400CNF1920_2aQBF_952FAIL900.91
renHorn_400CNF2120_2aQBF_88FAIL900.91
horn_400CNF2320_2aQBF_80FAIL900.91
4qbf-5cnf-160var-1280cl.5FAIL900.91
ncf_16_32_2_d.4FAIL900.91
ncf_8_32_4_edau.8FAIL900.91
C499.blif_0.10_0.20_0_0_out_exactFAIL900.91
ncf_4_8_4_d.1FAIL900.91
ncf_4_8_8_u.2FAIL900.91
ncf_16_64_4_u.1FAIL900.91
s1269_d8_sFAIL900.91
ncf_16_32_4_d.2FAIL900.91
horn_400CNF1680_2aQBF_433FAIL900.91
ncf_4_32_2_u.5FAIL900.91
ncf_16_32_8_d.10FAIL900.91
ncf_4_16_4_u.2FAIL900.91
horn_400CNF1760_2aQBF_846FAIL900.91
horn_400CNF2320_2aQBF_832FAIL900.91
horn_400CNF1680_2aQBF_503FAIL900.91
ncf_16_64_2_u.3FAIL900.91
renHorn_400CNF1560_2aQBF_68FAIL900.91
C432.blif_0.10_0.20_0_1_out_exactFAIL900.91
horn_400CNF1760_2aQBF_996FAIL900.91
3qbf-5cnf-80var-640cl.4FAIL900.91
ncf_4_16_8_edau.6FAIL900.91
ncf_4_32_4_u.10FAIL900.91
ncf_4_16_8_edau.2FAIL900.91
ncf_4_32_4_euad.4FAIL900.91
ncf_16_64_8_u.3FAIL900.92
ncf_8_32_4_d.6FAIL900.92
ncf_8_32_2_edau.1FAIL900.92
ncf_16_32_8_d.2FAIL900.92
ncf_16_32_8_euad.4FAIL900.92
renHorn_400CNF2120_2aQBF_52FAIL900.92
horn_400CNF1680_2aQBF_244FAIL900.92
ncf_8_32_4_d.4FAIL900.92
ncf_4_16_4_d.8FAIL900.92
horn_400CNF2160_2aQBF_701FAIL900.92
renHorn_400CNF2040_2aQBF_11FAIL900.92
ncf_8_32_2_u.9FAIL900.92
horn_400CNF2000_2aQBF_987FAIL900.92
horn_400CNF2320_2aQBF_813FAIL900.92
6qbf-5cnf-160var-1280cl.4FAIL900.92
ncf_8_16_8_u.2FAIL900.92
ncf_4_16_4_edau.10FAIL900.92
ncf_8_16_4_edau.9FAIL900.92
ncf_16_32_4_d.1FAIL900.92
ncf_4_32_4_euad.6FAIL900.92
ncf_4_8_8_euad.7FAIL900.92
ncf_8_32_4_edau.9FAIL900.92
ncf_4_16_2_d.10FAIL900.92
renHorn_400CNF1560_2aQBF_47FAIL900.92
horn_400CNF1920_2aQBF_890FAIL900.92
ncf_8_16_8_edau.7FAIL900.92
renHorn_400CNF1640_2aQBF_79FAIL900.92
horn_400CNF2160_2aQBF_407FAIL900.92
ncf_16_64_2_euad.8FAIL900.92
ncf_16_64_2_u.5FAIL900.92
ncf_16_64_4_euad.1FAIL900.92
ncf_4_32_2_d.5FAIL900.92
ncf_4_32_4_u.1FAIL900.92
6qbf-5cnf-160var-1280cl.2FAIL900.92
ncf_8_32_2_u.6FAIL900.92
ncf_16_64_2_u.9FAIL900.92
ncf_16_32_4_d.5FAIL900.92
ncf_4_16_8_u.9FAIL900.92
ncf_4_16_2_d.8FAIL900.92
test3_quant_squaring2FAIL900.92
ncf_8_64_2_u.4FAIL900.92
C5315.blif_0.10_0.20_0_1_out_exactFAIL900.92
ncf_8_16_8_edau.4FAIL900.92
ncf_16_32_4_edau.5FAIL900.92
ncf_16_32_8_u.6FAIL900.92
ncf_16_64_2_edau.1FAIL900.92
renHorn_400CNF1880_2aQBF_88FAIL900.92
renHorn_400CNF2120_2aQBF_21FAIL900.92
ncf_4_16_4_d.7FAIL900.92
renHorn_400CNF1800_2aQBF_24FAIL900.92
renHorn_400CNF2120_2aQBF_17FAIL900.92
ncf_16_64_8_euad.5FAIL900.92
ncf_4_8_8_euad.10FAIL900.92
renHorn_400CNF1560_2aQBF_90FAIL900.92
horn_400CNF1840_2aQBF_32FAIL900.92
2qbf-5cnf-160var-640cl.7FAIL900.92
C5315.blif_0.10_0.20_0_0_inp_exactFAIL900.92
ncf_8_16_8_u.9FAIL900.92
ncf_8_32_8_euad.7FAIL900.92
4qbf-5cnf-40var-320cl.5FAIL900.92
renHorn_400CNF1480_2aQBF_96FAIL900.92
ncf_16_32_8_d.1FAIL900.92
ncf_16_64_2_edau.9FAIL900.92
renHorn_400CNF1880_2aQBF_19FAIL900.92
horn_400CNF2160_2aQBF_692FAIL900.92
ncf_16_128_8_u.10FAIL900.92
renHorn_400CNF1480_2aQBF_92FAIL900.92
ncf_16_32_2_d.2FAIL900.92
ncf_16_32_4_edau.6FAIL900.92
ncf_16_32_4_edau.8FAIL900.92
3qbf-5cnf-160var-1280cl.6FAIL900.92
horn_400CNF1920_2aQBF_534FAIL900.92
horn_400CNF2080_2aQBF_682FAIL900.92
ncf_8_32_4_edau.6FAIL900.93
ncf_4_16_2_edau.5FAIL900.93
ncf_8_16_4_u.9FAIL900.93
C6288.blif_0.10_0.20_0_0_out_exactFAIL900.93
ncf_4_32_2_euad.7FAIL900.93
ncf_16_64_8_euad.3FAIL900.93
6qbf-5cnf-80var-640cl.8FAIL900.93
ncf_16_32_8_euad.1FAIL900.93
4qbf-5cnf-160var-640cl.9FAIL900.93
4qbf-5cnf-160var-640cl.4FAIL900.93
ncf_4_32_2_euad.4FAIL900.93
horn_400CNF2320_2aQBF_132FAIL900.93
horn_400CNF1680_2aQBF_950FAIL900.93
ncf_16_32_2_edau.4FAIL900.93
4qbf-5cnf-40var-320cl.8FAIL900.93
ncf_16_32_8_euad.8FAIL900.93
ncf_16_64_2_euad.4FAIL900.93
ncf_8_16_8_edau.3FAIL900.93
ncf_16_64_4_euad.7FAIL900.93
renHorn_400CNF1640_2aQBF_87FAIL900.93
s27_d4_uFAIL900.93
test4_quant4FAIL900.93
ncf_4_8_4_d.7FAIL900.93
ncf_4_16_4_euad.4FAIL900.93
ncf_8_64_2_euad.6FAIL900.93
ncf_16_32_8_u.10FAIL900.93
ncf_4_32_4_u.2FAIL900.93
2qbf-5cnf-160var-320cl.7FAIL900.93
ncf_4_16_4_u.7FAIL900.93
ncf_4_16_8_u.10FAIL900.93
ncf_16_64_2_u.10FAIL900.93
renHorn_400CNF2040_2aQBF_86FAIL900.93
horn_400CNF1440_2aQBF_676FAIL900.93
ncf_16_64_2_u.8FAIL900.93
horn_400CNF2080_2aQBF_714FAIL900.93
ncf_16_64_2_u.6FAIL900.93
2qbf-5cnf-80var-320cl.4FAIL900.93
3qbf-5cnf-160var-1280cl.8FAIL900.93
ncf_4_16_2_edau.10FAIL900.93
horn_400CNF2000_2aQBF_787FAIL900.93
renHorn_400CNF2120_2aQBF_37FAIL900.93
ncf_8_32_4_edau.7FAIL900.93
ncf_4_32_4_euad.8FAIL900.93
ncf_4_32_2_u.6FAIL900.93
2qbf-5cnf-80var-640cl.0FAIL900.93
ncf_8_32_8_euad.4FAIL900.93
ncf_8_32_2_euad.2FAIL900.93
5qbf-5cnf-160var-1280cl.3FAIL900.93
horn_400CNF1920_2aQBF_970FAIL900.93
ncf_4_16_2_d.4FAIL900.93
ncf_16_32_4_euad.4FAIL900.93
ncf_16_64_4_euad.2FAIL900.93
ncf_16_32_4_u.1FAIL900.93
renHorn_400CNF1720_2aQBF_11FAIL900.93
ncf_4_8_8_edau.10FAIL900.93
horn_400CNF1760_2aQBF_686FAIL900.93
s27_d3_uFAIL900.93
horn_400CNF1600_2aQBF_514FAIL900.93
ncf_16_32_2_d.8FAIL900.93
6qbf-5cnf-40var-320cl.1FAIL900.93
ncf_8_16_4_u.7FAIL900.93
2qbf-5cnf-160var-1280cl.5FAIL900.93
4qbf-5cnf-160var-640cl.8FAIL900.93
ncf_8_32_8_d.4FAIL900.93
ncf_8_64_2_d.8FAIL900.93
ncf_8_32_8_u.7FAIL900.93
renHorn_400CNF2040_2aQBF_59FAIL900.93
renHorn_400CNF2360_2aQBF_97FAIL900.93
ncf_16_64_8_euad.2FAIL900.93
ncf_16_64_8_u.5FAIL900.93
2qbf-5cnf-160var-640cl.0FAIL900.93
4qbf-5cnf-160var-1280cl.6FAIL900.93
ncf_4_32_4_u.6FAIL900.93
ncf_8_16_8_euad.2FAIL900.93
horn_400CNF1760_2aQBF_997FAIL900.93
ncf_16_32_2_u.5FAIL900.94
ncf_8_16_4_euad.3FAIL900.94
ncf_8_16_8_u.3FAIL900.94
5qbf-5cnf-80var-640cl.5FAIL900.94
ncf_16_32_2_d.1FAIL900.94
ncf_8_16_8_euad.3FAIL900.94
ncf_4_16_8_euad.8FAIL900.94
horn_400CNF1680_2aQBF_698FAIL900.94
horn_400CNF2160_2aQBF_23FAIL900.94
ncf_16_64_4_u.4FAIL900.94
ncf_16_64_4_u.7FAIL900.94
horn_400CNF2320_2aQBF_230FAIL900.94
horn_400CNF2320_2aQBF_458FAIL900.94
ncf_16_32_4_u.3FAIL900.94
ncf_8_64_2_u.2FAIL900.94
ncf_4_16_4_u.3FAIL900.94
3qbf-5cnf-160var-1280cl.4FAIL900.94
2qbf-5cnf-80var-640cl.4FAIL900.94
CHAIN20v.21FAIL900.94
ncf_8_32_2_euad.4FAIL900.94
ncf_16_32_2_u.10FAIL900.94
ncf_16_32_8_euad.5FAIL900.94
ncf_4_32_2_u.4FAIL900.94
ncf_16_32_8_euad.10FAIL900.94
horn_400CNF2000_2aQBF_702FAIL900.94
6qbf-5cnf-80var-640cl.1FAIL900.94
ncf_8_32_2_euad.5FAIL900.94
ncf_8_32_2_edau.2FAIL900.94
4qbf-5cnf-40var-320cl.1FAIL900.94
test4_quant2FAIL900.94
ncf_8_32_2_u.1FAIL900.94
ncf_4_16_2_edau.1FAIL900.94
ncf_4_16_2_d.5FAIL900.94
ncf_16_64_8_euad.8FAIL900.94
2qbf-5cnf-80var-640cl.5FAIL900.94
renHorn_400CNF2280_2aQBF_59FAIL900.94
ncf_4_32_2_euad.9FAIL900.94
ncf_16_32_4_euad.6FAIL900.94
ncf_8_32_2_edau.10FAIL900.94
ncf_8_32_2_u.2FAIL900.94
horn_400CNF2000_2aQBF_878FAIL900.94
ncf_16_64_4_u.3FAIL900.94
renHorn_400CNF2360_2aQBF_9FAIL900.94
ncf_8_32_2_edau.3FAIL900.94
ncf_8_16_8_euad.8FAIL900.94
ncf_4_32_4_euad.10FAIL900.94
ncf_16_32_8_euad.2FAIL900.94
6qbf-5cnf-160var-1280cl.9FAIL900.94
ncf_16_64_2_euad.10FAIL900.94
ncf_16_32_2_euad.4FAIL900.94
horn_400CNF2000_2aQBF_642FAIL900.94
ncf_8_16_4_euad.9FAIL900.94
ncf_8_64_2_euad.10FAIL900.94
ncf_4_16_4_u.8FAIL900.94
horn_400CNF1920_2aQBF_314FAIL900.94
ncf_8_32_2_u.4FAIL900.94
test3_quant2FAIL900.94
4qbf-5cnf-160var-640cl.5FAIL900.94
ncf_4_8_8_euad.5FAIL900.94
ncf_8_32_4_u.3FAIL900.94
ncf_8_16_4_edau.4FAIL900.94
2qbf-5cnf-160var-1280cl.7FAIL900.94
ncf_4_32_8_u.8FAIL900.94
ncf_4_32_2_euad.10FAIL900.94
ncf_16_32_4_edau.4FAIL900.94
renHorn_400CNF2120_2aQBF_31FAIL900.94
ncf_16_32_2_d.3FAIL900.94
horn_400CNF1760_2aQBF_711FAIL900.94
ncf_4_16_2_edau.8FAIL900.94
horn_400CNF2080_2aQBF_176FAIL900.94
renHorn_400CNF2120_2aQBF_84FAIL900.94
horn_400CNF2160_2aQBF_308FAIL900.94
5qbf-5cnf-160var-1280cl.6FAIL900.94
ncf_4_32_4_edau.1FAIL900.94
ncf_8_32_2_d.9FAIL900.94
ncf_16_32_2_edau.3FAIL900.94
ncf_8_32_2_u.3FAIL900.94
ncf_16_32_2_u.3FAIL900.94
ncf_8_16_4_d.7FAIL900.94
ncf_4_16_2_euad.3FAIL900.94
renHorn_400CNF2120_2aQBF_19FAIL900.94
6qbf-5cnf-80var-640cl.0FAIL900.94
ncf_8_32_2_euad.6FAIL900.94
renHorn_400CNF1640_2aQBF_53FAIL900.94
ncf_16_32_4_d.10FAIL900.94
ncf_16_64_4_euad.3FAIL900.94
ncf_4_32_2_euad.6FAIL900.95
ncf_16_32_8_euad.7FAIL900.95
3qbf-5cnf-160var-1280cl.7FAIL900.95
3qbf-5cnf-160var-1280cl.9FAIL900.95
ncf_8_16_8_euad.10FAIL900.95
ncf_4_8_8_edau.3FAIL900.95
3qbf-5cnf-160var-1280cl.1FAIL900.95
4qbf-5cnf-40var-320cl.7FAIL900.95
2qbf-5cnf-160var-320cl.0FAIL900.95
renHorn_400CNF2280_2aQBF_95FAIL900.95
5qbf-5cnf-160var-1280cl.8FAIL900.95
2qbf-5cnf-40var-160cl.3FAIL900.95
ncf_8_32_2_d.1FAIL900.95
renHorn_400CNF2200_2aQBF_22FAIL900.95
3qbf-5cnf-160var-1280cl.0FAIL900.95
ncf_16_64_2_euad.1FAIL900.95
ncf_16_32_2_edau.5FAIL900.95
ncf_4_16_2_euad.1FAIL900.95
ncf_4_16_4_euad.6FAIL900.95
ncf_4_16_2_euad.5FAIL900.95
ncf_8_16_4_euad.4FAIL900.95
2qbf-5cnf-160var-640cl.8FAIL900.95
horn_400CNF1680_2aQBF_728FAIL900.95
ncf_16_64_8_euad.10FAIL900.95
ncf_8_32_2_d.8FAIL900.95
2qbf-5cnf-160var-320cl.9FAIL900.95
horn_400CNF1520_2aQBF_382FAIL900.95
4qbf-5cnf-80var-640cl.9FAIL900.95
ncf_16_32_4_d.8FAIL900.95
horn_400CNF1920_2aQBF_75FAIL900.95
ncf_8_32_4_edau.4FAIL900.95
ncf_16_32_2_euad.10FAIL900.95
ncf_8_64_8_euad.6FAIL900.95
ncf_8_32_4_euad.7FAIL900.95
CHAIN22v.23FAIL900.95
ncf_16_64_2_euad.6FAIL900.95
ncf_8_64_2_euad.5FAIL900.95
6qbf-5cnf-80var-640cl.9FAIL900.95
ncf_16_32_2_d.6FAIL900.95
4qbf-5cnf-80var-640cl.2FAIL900.95
ncf_16_64_2_euad.9FAIL900.95
ncf_16_32_8_u.3FAIL900.95
renHorn_400CNF1480_2aQBF_99FAIL900.95
ncf_4_16_8_euad.9FAIL900.95
ncf_4_16_2_u.10FAIL900.95
ncf_4_16_2_edau.3FAIL900.95
horn_400CNF1840_2aQBF_198FAIL900.95
ncf_8_16_8_edau.2FAIL900.95
test4_quant_squaring2FAIL900.95
6qbf-5cnf-40var-320cl.3FAIL900.95
ncf_16_32_4_euad.5FAIL900.95
ncf_4_16_4_u.6FAIL900.95
4qbf-5cnf-160var-640cl.1FAIL900.95
ncf_16_32_2_edau.10FAIL900.95
2qbf-5cnf-160var-640cl.9FAIL900.95
ncf_16_32_2_u.4FAIL900.95
4qbf-5cnf-160var-640cl.2FAIL900.95
renHorn_400CNF1960_2aQBF_79FAIL900.95
horn_400CNF1600_2aQBF_912FAIL900.95
2qbf-5cnf-40var-320cl.3FAIL900.95
ncf_8_16_4_edau.7FAIL900.95
ncf_16_32_4_d.3FAIL900.95
ncf_8_16_8_d.7FAIL900.95
2qbf-5cnf-80var-640cl.3FAIL900.95
4qbf-5cnf-40var-320cl.0FAIL900.96
ncf_4_16_2_euad.8FAIL900.96
ncf_16_32_4_edau.1FAIL900.96
ncf_4_32_2_euad.2FAIL900.96
ncf_4_32_2_edau.1FAIL900.96
ncf_4_16_2_d.2FAIL900.96
ncf_8_32_2_euad.8FAIL900.96
ncf_8_32_2_edau.9FAIL900.96
ncf_16_64_2_edau.6FAIL900.96
ncf_8_32_8_euad.3FAIL900.96
horn_400CNF2160_2aQBF_996FAIL900.96
6qbf-5cnf-80var-640cl.5FAIL900.96
renHorn_400CNF1960_2aQBF_76FAIL900.96
6qbf-5cnf-40var-320cl.7FAIL900.96
renHorn_400CNF1960_2aQBF_41FAIL900.96
2qbf-5cnf-160var-640cl.5FAIL900.96
horn_400CNF1600_2aQBF_505FAIL900.96
ncf_8_16_8_euad.9FAIL900.96
ncf_4_32_2_euad.8FAIL900.96
C6288.blif_0.10_1.00_0_1_inp_exactFAIL900.96
ncf_4_16_2_u.3FAIL900.96
6qbf-5cnf-40var-320cl.4FAIL900.96
ncf_4_16_2_u.5FAIL900.96
ncf_8_64_2_u.6FAIL900.96
ncf_16_32_4_u.6FAIL900.96
horn_400CNF2080_2aQBF_322FAIL900.96
ncf_16_32_2_edau.2FAIL900.96
ncf_16_32_8_u.7FAIL900.96
3qbf-5cnf-160var-1280cl.3FAIL900.96
ncf_16_32_4_edau.7FAIL900.96
5qbf-5cnf-80var-640cl.9FAIL900.96
ncf_8_32_2_u.5FAIL900.96
ncf_8_16_2_d.10FAIL900.96
2qbf-5cnf-160var-320cl.1FAIL900.96
ncf_16_32_2_euad.8FAIL900.96
horn_400CNF2080_2aQBF_709FAIL900.96
ncf_8_32_8_u.8FAIL900.96
ncf_4_32_2_u.1FAIL900.96
4qbf-5cnf-80var-640cl.0FAIL900.96
ncf_8_16_8_euad.6FAIL900.96
ncf_4_16_4_u.4FAIL900.96
ncf_8_32_2_euad.1FAIL900.96
ncf_16_32_8_euad.9FAIL900.96
CHAIN21v.22FAIL900.96
ncf_4_32_2_d.8FAIL900.96
ncf_8_32_2_euad.9FAIL900.96
ncf_16_32_4_euad.3FAIL900.96
renHorn_400CNF1280_2aQBF_62FAIL900.96
2qbf-5cnf-80var-320cl.6FAIL900.96
horn_400CNF1920_2aQBF_597FAIL900.96
6qbf-5cnf-40var-320cl.8FAIL900.96
6qbf-5cnf-160var-1280cl.3FAIL900.96
horn_400CNF1920_2aQBF_647FAIL900.96
ncf_4_32_2_u.8FAIL900.96
horn_400CNF2320_2aQBF_72FAIL900.96
ncf_8_32_8_euad.8FAIL900.96
ncf_4_32_2_edau.4FAIL900.96
3qbf-5cnf-80var-640cl.5FAIL900.96
ncf_16_32_8_u.5FAIL900.96
ncf_4_16_4_euad.7FAIL900.96
ncf_4_16_4_euad.10FAIL900.96
ncf_8_32_8_u.3FAIL900.96
horn_400CNF1920_2aQBF_603FAIL900.96
2qbf-5cnf-80var-640cl.7FAIL900.96
2qbf-5cnf-160var-640cl.1FAIL900.96
ncf_16_32_2_edau.6FAIL900.97
6qbf-5cnf-40var-320cl.9FAIL900.97
tree-exa10-30FAIL900.97
ncf_16_32_2_d.10FAIL900.97
ncf_4_16_4_d.5FAIL900.97
2qbf-5cnf-40var-160cl.9FAIL900.97
renHorn_400CNF1720_2aQBF_92FAIL900.97
ncf_8_16_4_u.4FAIL900.97
C6288.blif_0.10_1.00_0_0_out_exactFAIL900.97
ncf_4_16_8_u.7FAIL900.97
tree-exa10-25FAIL900.97
4qbf-5cnf-80var-320cl.7FAIL900.97
6qbf-5cnf-80var-640cl.2FAIL900.97
4qbf-5cnf-80var-320cl.2FAIL900.97
ncf_4_32_2_d.2FAIL900.97
ncf_8_32_2_edau.6FAIL900.97
ncf_16_32_8_euad.3FAIL900.97
ncf_4_8_8_u.10FAIL900.97
ncf_8_16_4_u.3FAIL900.97
ncf_8_32_4_d.7FAIL900.97
2qbf-5cnf-80var-320cl.7FAIL900.97
ncf_16_32_2_u.1FAIL900.97
ncf_4_8_4_d.5FAIL900.97
CHAIN19v.20FAIL900.97
2qbf-5cnf-160var-640cl.4FAIL900.97
ncf_4_16_4_edau.5FAIL900.97
2qbf-5cnf-40var-160cl.0FAIL900.97
5qbf-5cnf-80var-640cl.1FAIL900.97
ncf_8_32_2_edau.8FAIL900.97
ncf_16_32_2_d.5FAIL900.97
ncf_4_16_8_euad.1FAIL900.97
ncf_16_32_2_euad.5FAIL900.97
4qbf-5cnf-160var-640cl.3FAIL900.97
ncf_16_32_2_euad.2FAIL900.97
ncf_4_8_8_edau.1FAIL900.97
C6288.blif_0.10_1.00_0_0_inp_exactFAIL900.97
6qbf-5cnf-80var-640cl.7FAIL900.97
6qbf-5cnf-160var-1280cl.7FAIL900.97
4qbf-5cnf-160var-640cl.6FAIL900.97
2qbf-5cnf-160var-320cl.4FAIL900.97
ncf_4_8_8_euad.2FAIL900.97
4qbf-5cnf-80var-640cl.4FAIL900.97
6qbf-5cnf-80var-640cl.4FAIL900.97
C6288.blif_0.10_1.00_0_1_out_exactFAIL900.97
ncf_8_16_8_u.6FAIL900.97
2qbf-5cnf-80var-320cl.3FAIL900.97
2qbf-5cnf-80var-640cl.1FAIL900.97
ncf_16_32_4_d.9FAIL900.97
ncf_16_32_4_euad.8FAIL900.97
ncf_4_32_2_euad.1FAIL900.97
2qbf-5cnf-160var-640cl.6FAIL900.97
ncf_4_16_8_u.1FAIL900.97
4qbf-5cnf-80var-320cl.9FAIL900.98
ncf_4_16_4_u.10FAIL900.98
2qbf-5cnf-80var-320cl.1FAIL900.98
6qbf-5cnf-40var-320cl.5FAIL900.98
ncf_8_16_8_u.10FAIL900.98
2qbf-5cnf-40var-320cl.2FAIL900.98
renHorn_400CNF2360_2aQBF_58FAIL900.98
ncf_4_16_4_edau.6FAIL900.98
2qbf-5cnf-40var-160cl.1FAIL900.98
ncf_16_64_2_euad.7FAIL900.98
ncf_4_8_8_u.6FAIL900.98
2qbf-5cnf-80var-320cl.5FAIL900.98
2qbf-5cnf-40var-160cl.2FAIL900.98
ncf_16_32_2_u.2FAIL900.98
ncf_16_32_2_euad.6FAIL900.98
ncf_16_32_4_euad.9FAIL900.98
2qbf-5cnf-80var-320cl.2FAIL900.98
ncf_16_32_4_u.8FAIL900.98
CHAIN18v.19FAIL900.98
ncf_16_32_2_u.8FAIL900.98
renHorn_400CNF1800_2aQBF_5FAIL900.98
2qbf-5cnf-160var-320cl.3FAIL900.98
6qbf-5cnf-80var-640cl.6FAIL900.98
2qbf-5cnf-40var-320cl.4FAIL900.98
CHAIN17v.18FAIL900.98
2qbf-5cnf-40var-160cl.8FAIL900.98
ncf_16_32_2_euad.3FAIL900.98
ncf_4_32_2_edau.8FAIL900.98
ncf_8_16_8_edau.8FAIL900.98
2qbf-5cnf-40var-160cl.4FAIL900.98
ncf_16_32_8_u.8FAIL900.98
2qbf-5cnf-80var-320cl.9FAIL900.98
ncf_4_32_2_edau.2FAIL900.98
ncf_16_32_8_u.9FAIL900.98
3qbf-5cnf-80var-640cl.8FAIL900.98
ncf_4_32_2_u.2FAIL900.98
ncf_16_32_4_u.7FAIL900.99
ncf_4_16_2_euad.10FAIL900.99
4qbf-5cnf-80var-320cl.1FAIL900.99
2qbf-5cnf-80var-320cl.0FAIL900.99
6qbf-5cnf-40var-320cl.2FAIL900.99
4qbf-5cnf-40var-320cl.4FAIL900.99
4qbf-5cnf-160var-640cl.0FAIL900.99
2qbf-5cnf-80var-320cl.8FAIL900.99
5qbf-5cnf-160var-1280cl.0FAIL900.99
ncf_4_16_2_u.8FAIL900.99
5qbf-5cnf-160var-1280cl.2FAIL900.99
ncf_4_16_8_euad.7FAIL900.99
2qbf-5cnf-160var-320cl.8FAIL901
ncf_16_32_2_u.6FAIL901
ncf_4_16_2_edau.2FAIL901
ncf_16_32_2_euad.1FAIL901
ncf_16_32_4_euad.7FAIL901
4qbf-5cnf-160var-640cl.7FAIL901
ncf_16_64_2_d.1FAIL901
2qbf-5cnf-40var-160cl.5FAIL901.01