Instances solved by <a href='solver_detail.php?solver=10'>skizzo

Instances solved by skizzo_v0.5
QBFEVAL'05

Instance	Result	Time
ncf_8_16_4_d.1	SAT	0
ncf_16_32_2_edau.6	SAT	0
5qbf-5cnf-80var-320cl.4	SAT	0
s641_d2_s	FAIL	0
5qbf-5cnf-20var-40cl.0	SAT	0
ncf_4_16_2_d.2	SAT	0
2qbf-5cnf-20var-40cl.2	SAT	0
5qbf-5cnf-20var-80cl.2	SAT	0
ncf_4_8_2_d.9	SAT	0
4qbf-5cnf-160var-320cl.1	SAT	0
4qbf-5cnf-20var-40cl.8	SAT	0
ncf_4_8_2_d.1	UNSAT	0
tree-exa2-25	SAT	0
6qbf-5cnf-20var-40cl.6	SAT	0
ncf_8_16_2_edau.4	SAT	0
5qbf-5cnf-20var-40cl.7	SAT	0
6qbf-5cnf-20var-40cl.7	SAT	0
ncf_4_16_2_edau.2	SAT	0
6qbf-5cnf-20var-80cl.7	SAT	0
5qbf-5cnf-40var-80cl.4	SAT	0
4qbf-5cnf-40var-80cl.3	SAT	0
ncf_4_8_2_edau.9	SAT	0
6qbf-5cnf-160var-320cl.9	SAT	0
tree-exa2-20	SAT	0
5qbf-5cnf-40var-80cl.9	SAT	0
6qbf-5cnf-40var-80cl.9	SAT	0
4qbf-5cnf-80var-160cl.1	SAT	0
6qbf-5cnf-20var-80cl.8	SAT	0
5qbf-5cnf-40var-160cl.4	SAT	0
6qbf-5cnf-20var-40cl.8	SAT	0
5qbf-5cnf-20var-80cl.8	SAT	0
4qbf-5cnf-20var-80cl.6	SAT	0
s641_d6_s	FAIL	0
3qbf-5cnf-20var-40cl.8	SAT	0
4qbf-5cnf-40var-80cl.5	SAT	0
3qbf-5cnf-160var-320cl.2	SAT	0
6qbf-5cnf-160var-320cl.8	SAT	0
5qbf-5cnf-20var-80cl.3	SAT	0
4qbf-5cnf-80var-160cl.5	SAT	0
4qbf-5cnf-40var-80cl.7	SAT	0
5qbf-5cnf-20var-80cl.5	SAT	0
6qbf-5cnf-40var-80cl.7	SAT	0
3qbf-5cnf-80var-160cl.3	SAT	0
3qbf-5cnf-20var-40cl.7	SAT	0
6qbf-5cnf-160var-640cl.6	SAT	0
6qbf-5cnf-160var-320cl.4	SAT	0
5qbf-5cnf-80var-160cl.8	SAT	0
2qbf-5cnf-20var-40cl.7	SAT	0
6qbf-5cnf-40var-160cl.9	SAT	0
ncf_4_8_4_d.9	SAT	0
5qbf-5cnf-40var-160cl.8	SAT	0
3qbf-5cnf-40var-80cl.1	SAT	0
ncf_8_16_2_d.4	SAT	0
6qbf-5cnf-160var-640cl.5	SAT	0
5qbf-5cnf-80var-320cl.2	SAT	0
6qbf-5cnf-40var-80cl.5	SAT	0
6qbf-5cnf-40var-80cl.6	SAT	0
6qbf-5cnf-160var-320cl.2	SAT	0
3qbf-5cnf-40var-80cl.0	SAT	0
6qbf-5cnf-160var-640cl.0	SAT	0
4qbf-5cnf-40var-80cl.9	SAT	0
6qbf-5cnf-20var-80cl.1	SAT	0
6qbf-5cnf-160var-320cl.0	SAT	0
toilet_c_08_05.2	UNSAT	0
qshifter_4	SAT	0
5qbf-5cnf-160var-640cl.7	SAT	0
6qbf-5cnf-80var-160cl.6	SAT	0
5qbf-5cnf-160var-640cl.5	SAT	0
s641_d7_u	FAIL	0
6qbf-5cnf-160var-640cl.3	SAT	0
5qbf-5cnf-80var-160cl.6	SAT	0
5qbf-5cnf-80var-160cl.3	SAT	0
1qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-40var-640cl.2	SAT	0
1qbf-5cnf-20var-160cl.2	SAT	0
1qbf-5cnf-40var-160cl.6	SAT	0
1qbf-5cnf-20var-40cl.1	SAT	0
1qbf-5cnf-80var-1280cl.1	SAT	0
flipflop-3-c	UNSAT	0.01
ncf_4_8_2_edau.10	SAT	0.01
5qbf-5cnf-80var-320cl.3	SAT	0.01
ncf_8_16_4_d.4	SAT	0.01
6qbf-5cnf-20var-40cl.0	SAT	0.01
4qbf-5cnf-20var-80cl.4	SAT	0.01
3qbf-5cnf-80var-160cl.2	SAT	0.01
5qbf-5cnf-80var-160cl.7	SAT	0.01
ncf_4_8_2_edau.6	SAT	0.01
6qbf-5cnf-80var-160cl.4	SAT	0.01
6qbf-5cnf-40var-80cl.3	SAT	0.01
6qbf-5cnf-20var-40cl.9	SAT	0.01
ncf_8_16_2_d.1	SAT	0.01
5qbf-5cnf-160var-640cl.8	SAT	0.01
5qbf-5cnf-40var-80cl.8	SAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
3qbf-5cnf-20var-40cl.2	SAT	0.01
3qbf-5cnf-80var-160cl.9	SAT	0.01
5qbf-5cnf-40var-160cl.0	SAT	0.01
3qbf-5cnf-80var-160cl.1	SAT	0.01
5qbf-5cnf-20var-80cl.4	SAT	0.01
2qbf-5cnf-40var-80cl.2	SAT	0.01
4qbf-5cnf-20var-40cl.5	SAT	0.01
ncf_4_8_8_edau.3	SAT	0.01
impl16	SAT	0.01
3qbf-5cnf-40var-80cl.9	SAT	0.01
ncf_4_8_8_d.8	SAT	0.01
5qbf-5cnf-40var-160cl.1	SAT	0.01
ncf_4_16_4_d.8	SAT	0.01
tree-exa10-15	SAT	0.01
ncf_4_8_2_d.10	SAT	0.01
3qbf-5cnf-80var-160cl.7	SAT	0.01
5qbf-5cnf-40var-80cl.6	SAT	0.01
5qbf-5cnf-20var-80cl.9	SAT	0.01
tree-exa10-25	SAT	0.01
6qbf-5cnf-80var-320cl.6	SAT	0.01
3qbf-5cnf-80var-160cl.0	SAT	0.01
6qbf-5cnf-20var-80cl.0	SAT	0.01
ncf_4_16_2_edau.4	SAT	0.01
impl08	SAT	0.01
3qbf-5cnf-40var-80cl.3	SAT	0.01
4qbf-5cnf-160var-320cl.0	SAT	0.01
4qbf-5cnf-80var-160cl.3	SAT	0.01
ncf_4_8_4_edau.7	UNSAT	0.01
3qbf-5cnf-80var-160cl.8	SAT	0.01
2qbf-5cnf-20var-40cl.1	SAT	0.01
impl04	SAT	0.01
4qbf-5cnf-40var-160cl.1	SAT	0.01
5qbf-5cnf-40var-80cl.5	SAT	0.01
3qbf-5cnf-20var-40cl.4	SAT	0.01
3qbf-5cnf-160var-320cl.5	SAT	0.01
ncf_4_8_4_u.9	SAT	0.01
3qbf-5cnf-160var-320cl.1	SAT	0.01
2qbf-5cnf-40var-80cl.1	SAT	0.01
ncf_4_8_4_edau.5	SAT	0.01
s641_d4_s	FAIL	0.01
5qbf-5cnf-40var-160cl.3	SAT	0.01
ncf_8_16_2_u.8	UNSAT	0.01
3qbf-5cnf-40var-80cl.7	SAT	0.01
5qbf-5cnf-40var-80cl.2	SAT	0.01
tree-exa2-15	SAT	0.01
5qbf-5cnf-80var-160cl.1	SAT	0.01
6qbf-5cnf-80var-320cl.3	SAT	0.01
4qbf-5cnf-20var-80cl.9	SAT	0.01
4qbf-5cnf-20var-40cl.0	SAT	0.01
ncf_8_16_4_edau.1	SAT	0.01
5qbf-5cnf-20var-80cl.1	SAT	0.01
6qbf-5cnf-40var-80cl.2	SAT	0.01
tree-exa10-10	SAT	0.01
6qbf-5cnf-80var-320cl.0	SAT	0.01
2qbf-5cnf-20var-40cl.9	SAT	0.01
5qbf-5cnf-160var-320cl.3	SAT	0.01
6qbf-5cnf-20var-80cl.2	SAT	0.01
ncf_4_8_2_d.2	SAT	0.01
5qbf-5cnf-160var-640cl.6	SAT	0.01
4qbf-5cnf-80var-160cl.0	SAT	0.01
ncf_4_8_2_d.8	SAT	0.01
2qbf-5cnf-20var-40cl.3	SAT	0.01
6qbf-5cnf-40var-80cl.4	SAT	0.01
4qbf-5cnf-20var-40cl.6	SAT	0.01
ncf_8_16_4_u.1	SAT	0.01
5qbf-5cnf-40var-160cl.2	SAT	0.01
5qbf-5cnf-20var-80cl.0	SAT	0.01
5qbf-5cnf-160var-640cl.2	SAT	0.01
5qbf-5cnf-20var-40cl.4	SAT	0.01
5qbf-5cnf-160var-640cl.0	SAT	0.01
4qbf-5cnf-40var-80cl.8	SAT	0.01
4qbf-5cnf-20var-40cl.1	SAT	0.01
5qbf-5cnf-40var-160cl.5	SAT	0.01
4qbf-5cnf-160var-320cl.4	SAT	0.01
4qbf-5cnf-20var-80cl.7	SAT	0.01
6qbf-5cnf-160var-640cl.4	SAT	0.01
ncf_4_8_2_d.6	SAT	0.01
4qbf-5cnf-80var-160cl.4	SAT	0.01
4qbf-5cnf-160var-320cl.5	SAT	0.01
3qbf-5cnf-40var-80cl.2	SAT	0.01
6qbf-5cnf-160var-640cl.1	SAT	0.01
3qbf-5cnf-20var-40cl.3	SAT	0.01
4qbf-5cnf-40var-80cl.1	SAT	0.01
4qbf-5cnf-20var-40cl.9	SAT	0.01
5qbf-5cnf-20var-80cl.6	SAT	0.01
3qbf-5cnf-20var-40cl.6	SAT	0.01
6qbf-5cnf-160var-320cl.3	SAT	0.01
2qbf-5cnf-40var-80cl.4	SAT	0.01
4qbf-5cnf-80var-160cl.8	SAT	0.01
2qbf-5cnf-20var-40cl.5	SAT	0.01
6qbf-5cnf-80var-160cl.8	SAT	0.01
ncf_4_8_2_edau.2	SAT	0.01
3qbf-5cnf-40var-80cl.6	SAT	0.01
6qbf-5cnf-80var-160cl.5	SAT	0.01
impl06	SAT	0.01
6qbf-5cnf-20var-80cl.3	SAT	0.01
2qbf-5cnf-20var-40cl.8	SAT	0.01
6qbf-5cnf-20var-80cl.9	SAT	0.01
5qbf-5cnf-20var-40cl.1	SAT	0.01
3qbf-5cnf-20var-40cl.1	SAT	0.01
5qbf-5cnf-80var-160cl.9	SAT	0.01
3qbf-5cnf-160var-320cl.7	SAT	0.01
6qbf-5cnf-80var-320cl.5	SAT	0.01
tree-exa2-35	SAT	0.01
ncf_4_8_4_d.6	SAT	0.01
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.01
ncf_8_16_2_edau.1	SAT	0.01
6qbf-5cnf-20var-40cl.5	SAT	0.01
3qbf-5cnf-160var-320cl.6	SAT	0.01
4qbf-5cnf-80var-160cl.9	SAT	0.01
4qbf-5cnf-40var-80cl.6	SAT	0.01
ncf_4_8_4_edau.9	SAT	0.01
5qbf-5cnf-160var-320cl.6	SAT	0.01
4qbf-5cnf-160var-320cl.9	SAT	0.01
3qbf-5cnf-20var-40cl.5	SAT	0.01
1qbf-5cnf-80var-320cl.8	SAT	0.01
1qbf-5cnf-20var-40cl.6	SAT	0.01
1qbf-5cnf-40var-80cl.3	SAT	0.01
1qbf-5cnf-160var-640cl.2	SAT	0.01
6qbf-5cnf-20var-80cl.5	SAT	0.01
1qbf-5cnf-40var-80cl.8	SAT	0.01
1qbf-5cnf-20var-160cl.3	SAT	0.01
1qbf-5cnf-20var-320cl.9	SAT	0.01
1qbf-5cnf-40var-320cl.1	SAT	0.01
1qbf-5cnf-20var-80cl.2	SAT	0.01
1qbf-5cnf-40var-320cl.4	SAT	0.01
1qbf-5cnf-160var-640cl.7	SAT	0.01
1qbf-5cnf-20var-320cl.0	SAT	0.01
1qbf-5cnf-160var-640cl.3	SAT	0.01
5qbf-5cnf-40var-80cl.1	SAT	0.01
ncf_8_16_2_edau.8	UNSAT	0.02
counter_e_2	SAT	0.02
impl20	SAT	0.02
4qbf-5cnf-80var-160cl.7	SAT	0.02
3qbf-5cnf-160var-320cl.0	SAT	0.02
ncf_4_16_4_d.5	SAT	0.02
tree-exa2-45	SAT	0.02
ncf_4_16_2_d.6	SAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
5qbf-5cnf-160var-640cl.3	SAT	0.02
4qbf-5cnf-80var-160cl.6	SAT	0.02
5qbf-5cnf-40var-160cl.7	SAT	0.02
5qbf-5cnf-160var-320cl.5	SAT	0.02
ncf_4_8_8_u.9	UNSAT	0.02
6qbf-5cnf-40var-160cl.1	SAT	0.02
6qbf-5cnf-80var-160cl.2	SAT	0.02
counter_re_2	SAT	0.02
6qbf-5cnf-40var-160cl.5	SAT	0.02
5qbf-5cnf-20var-40cl.5	SAT	0.02
4qbf-5cnf-160var-320cl.8	SAT	0.02
6qbf-5cnf-80var-160cl.3	SAT	0.02
qshifter_3	SAT	0.02
mutex-4-s	SAT	0.02
impl12	SAT	0.02
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.02
6qbf-5cnf-80var-320cl.2	SAT	0.02
4qbf-5cnf-160var-320cl.3	SAT	0.02
impl18	SAT	0.02
5qbf-5cnf-80var-320cl.6	SAT	0.02
counter_r_4	SAT	0.02
4qbf-5cnf-40var-80cl.0	SAT	0.02
4qbf-5cnf-20var-40cl.2	SAT	0.02
5qbf-5cnf-80var-320cl.9	SAT	0.02
5qbf-5cnf-160var-640cl.4	SAT	0.02
5qbf-5cnf-40var-80cl.0	SAT	0.02
5qbf-5cnf-80var-320cl.7	SAT	0.02
tree-exa2-10	SAT	0.02
counter_r_2	SAT	0.02
5qbf-5cnf-80var-320cl.5	SAT	0.02
k_ph_p-4	UNSAT	0.02
5qbf-5cnf-160var-320cl.8	SAT	0.02
2qbf-5cnf-40var-80cl.5	SAT	0.02
3qbf-5cnf-20var-80cl.5	SAT	0.02
5qbf-5cnf-20var-40cl.2	SAT	0.02
3qbf-5cnf-40var-80cl.8	SAT	0.02
ncf_16_32_4_d.8	SAT	0.02
ncf_4_8_4_d.5	SAT	0.02
mutex-2-s	SAT	0.02
5qbf-5cnf-40var-80cl.7	SAT	0.02
6qbf-5cnf-20var-80cl.4	SAT	0.02
tree-exa2-50	SAT	0.02
k_d4_p-4	UNSAT	0.02
tree-exa2-40	SAT	0.02
4qbf-5cnf-40var-80cl.4	SAT	0.02
6qbf-5cnf-160var-640cl.8	SAT	0.02
6qbf-5cnf-40var-160cl.3	SAT	0.02
6qbf-5cnf-80var-320cl.4	SAT	0.02
ncf_4_8_2_edau.1	UNSAT	0.02
3qbf-5cnf-80var-160cl.6	SAT	0.02
6qbf-5cnf-160var-640cl.9	SAT	0.02
6qbf-5cnf-20var-80cl.6	SAT	0.02
ncf_4_16_4_edau.5	SAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
5qbf-5cnf-80var-160cl.0	SAT	0.02
ncf_4_8_2_edau.8	SAT	0.02
5qbf-5cnf-80var-160cl.2	SAT	0.02
6qbf-5cnf-20var-40cl.1	SAT	0.02
4qbf-5cnf-160var-320cl.2	SAT	0.02
ncf_4_8_8_edau.1	SAT	0.02
6qbf-5cnf-80var-160cl.0	SAT	0.02
6qbf-5cnf-160var-640cl.7	SAT	0.02
5qbf-5cnf-160var-320cl.0	SAT	0.02
6qbf-5cnf-80var-160cl.9	SAT	0.02
ncf_8_16_4_edau.4	SAT	0.02
tree-exa2-30	SAT	0.02
2qbf-5cnf-80var-160cl.8	SAT	0.02
6qbf-5cnf-40var-80cl.0	SAT	0.02
3qbf-5cnf-40var-80cl.4	SAT	0.02
5qbf-5cnf-40var-160cl.6	SAT	0.02
4qbf-5cnf-20var-40cl.4	SAT	0.02
5qbf-5cnf-160var-320cl.4	SAT	0.02
TOILET2.1.iv.4	SAT	0.02
5qbf-5cnf-40var-80cl.3	SAT	0.02
counter_2	SAT	0.02
6qbf-5cnf-40var-80cl.8	SAT	0.02
4qbf-5cnf-80var-160cl.2	SAT	0.02
ncf_8_16_2_d.8	UNSAT	0.02
3qbf-5cnf-160var-320cl.4	SAT	0.02
6qbf-5cnf-40var-80cl.1	SAT	0.02
5qbf-5cnf-20var-80cl.7	SAT	0.02
5qbf-5cnf-20var-40cl.3	SAT	0.02
6qbf-5cnf-40var-160cl.2	SAT	0.02
2qbf-5cnf-20var-40cl.4	SAT	0.02
ncf_16_32_4_d.2	SAT	0.02
ncf_16_32_4_d.9	SAT	0.02
2qbf-5cnf-40var-80cl.8	SAT	0.02
ncf_8_16_2_euad.8	UNSAT	0.02
5qbf-5cnf-160var-320cl.1	SAT	0.02
tree-exa10-20	SAT	0.02
impl14	SAT	0.02
ncf_4_16_4_edau.1	SAT	0.02
4qbf-5cnf-20var-40cl.7	SAT	0.02
6qbf-5cnf-20var-40cl.2	SAT	0.02
ncf_4_8_8_edau.9	UNSAT	0.02
6qbf-5cnf-160var-320cl.1	SAT	0.02
5qbf-5cnf-20var-40cl.9	SAT	0.02
3qbf-5cnf-160var-320cl.3	SAT	0.02
ncf_16_32_4_edau.8	SAT	0.02
6qbf-5cnf-40var-160cl.0	SAT	0.02
ncf_4_8_8_edau.8	SAT	0.02
1qbf-5cnf-20var-160cl.6	SAT	0.02
1qbf-5cnf-80var-320cl.6	SAT	0.02
1qbf-5cnf-40var-80cl.4	SAT	0.02
6qbf-5cnf-20var-40cl.4	SAT	0.02
1qbf-5cnf-20var-80cl.8	SAT	0.02
1qbf-5cnf-20var-80cl.9	SAT	0.02
1qbf-5cnf-20var-40cl.7	SAT	0.02
1qbf-5cnf-40var-160cl.2	SAT	0.02
1qbf-5cnf-20var-640cl.3	UNSAT	0.02
1qbf-5cnf-20var-320cl.3	SAT	0.02
1qbf-5cnf-80var-640cl.3	SAT	0.02
1qbf-5cnf-160var-640cl.1	SAT	0.02
1qbf-5cnf-20var-40cl.8	SAT	0.02
1qbf-5cnf-160var-1280cl.9	SAT	0.02
1qbf-5cnf-160var-640cl.4	SAT	0.02
1qbf-5cnf-80var-320cl.2	SAT	0.02
1qbf-5cnf-160var-640cl.8	SAT	0.02
1qbf-5cnf-160var-1280cl.7	SAT	0.02
1qbf-5cnf-80var-320cl.0	SAT	0.02
1qbf-5cnf-20var-160cl.0	SAT	0.02
1qbf-5cnf-20var-40cl.9	SAT	0.02
1qbf-5cnf-40var-80cl.9	SAT	0.02
1qbf-5cnf-80var-160cl.6	SAT	0.02
1qbf-5cnf-40var-320cl.7	SAT	0.02
1qbf-5cnf-160var-1280cl.5	SAT	0.02
4qbf-5cnf-20var-40cl.3	SAT	0.02
1qbf-5cnf-20var-160cl.4	SAT	0.02
1qbf-5cnf-40var-320cl.5	SAT	0.02
1qbf-5cnf-20var-40cl.4	SAT	0.02
6qbf-5cnf-80var-160cl.7	SAT	0.02
1qbf-5cnf-20var-80cl.1	SAT	0.02
1qbf-5cnf-40var-80cl.6	SAT	0.02
6qbf-5cnf-20var-40cl.3	SAT	0.03
impl10	SAT	0.03
tree-exa10-30	SAT	0.03
6qbf-5cnf-40var-160cl.7	SAT	0.03
6qbf-5cnf-80var-320cl.8	SAT	0.03
ncf_8_16_2_edau.6	UNSAT	0.03
6qbf-5cnf-40var-160cl.6	SAT	0.03
ncf_8_16_4_d.10	SAT	0.03
6qbf-5cnf-160var-640cl.2	SAT	0.03
5qbf-5cnf-160var-640cl.1	SAT	0.03
6qbf-5cnf-80var-320cl.1	SAT	0.03
6qbf-5cnf-160var-320cl.5	SAT	0.03
ncf_4_16_8_d.7	SAT	0.03
2qbf-5cnf-20var-40cl.0	SAT	0.03
toilet_c_08_01.16	SAT	0.03
2qbf-5cnf-20var-40cl.6	SAT	0.03
ncf_4_16_2_edau.6	SAT	0.03
ncf_4_8_4_d.7	UNSAT	0.03
6qbf-5cnf-80var-320cl.9	SAT	0.03
6qbf-5cnf-40var-160cl.8	SAT	0.03
ncf_4_8_4_edau.6	SAT	0.03
ncf_4_16_4_d.1	SAT	0.03
ncf_4_8_2_edau.4	UNSAT	0.03
ncf_8_16_4_edau.10	SAT	0.03
toilet_c_10_01.2	SAT	0.03
5qbf-5cnf-80var-160cl.5	SAT	0.03
5qbf-5cnf-20var-40cl.6	SAT	0.03
ncf_4_8_2_d.7	UNSAT	0.03
3qbf-5cnf-160var-320cl.9	SAT	0.03
5qbf-5cnf-80var-160cl.4	SAT	0.03
5qbf-5cnf-20var-40cl.8	SAT	0.03
3qbf-5cnf-20var-40cl.0	SAT	0.03
qshifter_5	SAT	0.03
ncf_4_16_8_edau.7	SAT	0.03
ncf_8_16_2_euad.6	UNSAT	0.03
toilet_c_10_01.8	UNSAT	0.03
5qbf-5cnf-160var-320cl.2	SAT	0.03
ncf_4_16_4_edau.8	SAT	0.03
3qbf-5cnf-20var-40cl.9	SAT	0.03
ncf_4_8_8_d.3	SAT	0.03
4qbf-5cnf-40var-80cl.2	SAT	0.03
4qbf-5cnf-160var-320cl.6	SAT	0.03
ncf_16_32_4_edau.9	SAT	0.03
impl02	SAT	0.03
Adder2-2-s	SAT	0.03
5qbf-5cnf-160var-320cl.7	SAT	0.03
3qbf-5cnf-40var-80cl.5	SAT	0.03
ncf_4_8_2_d.4	UNSAT	0.03
mutex-8-s	SAT	0.03
ncf_4_8_8_d.9	UNSAT	0.03
ncf_8_16_4_d.2	UNSAT	0.03
toilet_c_08_01.2	SAT	0.03
3qbf-5cnf-80var-160cl.5	SAT	0.03
5qbf-5cnf-40var-160cl.9	SAT	0.03
toilet_c_10_05.2	UNSAT	0.03
6qbf-5cnf-160var-320cl.7	SAT	0.03
ncf_16_32_4_d.3	SAT	0.03
3qbf-5cnf-160var-320cl.8	SAT	0.03
5qbf-5cnf-80var-320cl.8	SAT	0.03
ncf_4_8_2_u.10	SAT	0.03
4qbf-5cnf-160var-320cl.7	SAT	0.03
1qbf-5cnf-20var-320cl.2	SAT	0.03
1qbf-5cnf-80var-160cl.3	SAT	0.03
1qbf-5cnf-20var-320cl.8	SAT	0.03
1qbf-5cnf-40var-160cl.4	SAT	0.03
1qbf-5cnf-40var-80cl.5	SAT	0.03
1qbf-5cnf-20var-160cl.8	SAT	0.03
1qbf-5cnf-80var-640cl.5	SAT	0.03
1qbf-5cnf-40var-320cl.6	SAT	0.03
1qbf-5cnf-40var-160cl.3	SAT	0.03
1qbf-5cnf-40var-640cl.5	SAT	0.03
1qbf-5cnf-20var-40cl.5	SAT	0.03
1qbf-5cnf-20var-320cl.6	SAT	0.03
1qbf-5cnf-160var-1280cl.1	SAT	0.03
1qbf-5cnf-20var-320cl.7	SAT	0.03
1qbf-5cnf-20var-40cl.2	SAT	0.03
1qbf-5cnf-80var-160cl.4	SAT	0.03
1qbf-5cnf-80var-640cl.6	SAT	0.03
1qbf-5cnf-40var-320cl.0	SAT	0.03
1qbf-5cnf-80var-160cl.7	SAT	0.03
1qbf-5cnf-160var-320cl.8	SAT	0.03
1qbf-5cnf-80var-320cl.4	SAT	0.03
1qbf-5cnf-40var-160cl.1	SAT	0.03
1qbf-5cnf-80var-640cl.9	SAT	0.03
1qbf-5cnf-80var-160cl.0	SAT	0.03
1qbf-5cnf-80var-1280cl.0	SAT	0.03
1qbf-5cnf-20var-80cl.3	SAT	0.03
1qbf-5cnf-40var-320cl.2	SAT	0.03
1qbf-5cnf-80var-160cl.8	SAT	0.03
1qbf-5cnf-20var-640cl.8	UNSAT	0.03
1qbf-5cnf-20var-640cl.2	UNSAT	0.03
1qbf-5cnf-20var-640cl.7	UNSAT	0.03
1qbf-5cnf-20var-640cl.1	UNSAT	0.03
1qbf-5cnf-20var-160cl.7	SAT	0.03
1qbf-5cnf-20var-40cl.0	SAT	0.03
1qbf-5cnf-40var-640cl.9	SAT	0.03
1qbf-5cnf-80var-160cl.1	SAT	0.03
1qbf-5cnf-80var-160cl.2	SAT	0.03
1qbf-5cnf-80var-160cl.5	SAT	0.03
1qbf-5cnf-80var-640cl.8	SAT	0.03
ncf_4_8_2_edau.7	UNSAT	0.04
6qbf-5cnf-80var-320cl.7	SAT	0.04
ncf_4_8_2_euad.4	UNSAT	0.04
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.04
ncf_4_8_8_d.1	SAT	0.04
ncf_4_8_2_d.3	UNSAT	0.04
6qbf-5cnf-160var-320cl.6	SAT	0.04
toilet_c_08_01.8	UNSAT	0.04
3qbf-5cnf-80var-160cl.4	SAT	0.04
5qbf-5cnf-160var-640cl.9	SAT	0.04
2qbf-5cnf-20var-640cl.9	UNSAT	0.04
ncf_4_8_2_d.5	SAT	0.04
ncf_4_8_2_u.4	UNSAT	0.04
3qbf-5cnf-20var-640cl.3	UNSAT	0.04
5qbf-5cnf-80var-320cl.0	SAT	0.04
ncf_16_32_4_edau.3	SAT	0.04
6qbf-5cnf-80var-160cl.1	SAT	0.04
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.04
4qbf-5cnf-20var-80cl.1	SAT	0.04
mutex-16-s	SAT	0.04
flipflop-4-c	UNSAT	0.04
ncf_16_32_2_d.6	SAT	0.04
CHAIN14v.15	SAT	0.04
ncf_4_16_2_d.4	SAT	0.04
6qbf-5cnf-40var-160cl.4	SAT	0.04
ncf_16_32_8_edau.3	SAT	0.04
ncf_4_8_8_euad.9	UNSAT	0.04
ncf_16_32_4_edau.2	SAT	0.04
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.04
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.04
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.04
toilet_c_10_01.4	UNSAT	0.04
4qbf-5cnf-20var-80cl.3	SAT	0.04
5qbf-5cnf-160var-320cl.9	SAT	0.04
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.04
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.04
1qbf-5cnf-40var-640cl.6	SAT	0.04
1qbf-5cnf-20var-640cl.0	UNSAT	0.04
1qbf-5cnf-40var-320cl.9	SAT	0.04
1qbf-5cnf-160var-640cl.5	SAT	0.04
1qbf-5cnf-40var-160cl.7	SAT	0.04
1qbf-5cnf-80var-640cl.2	SAT	0.04
1qbf-5cnf-80var-320cl.9	SAT	0.04
1qbf-5cnf-40var-160cl.9	SAT	0.04
1qbf-5cnf-80var-640cl.1	SAT	0.04
1qbf-5cnf-20var-80cl.5	SAT	0.04
1qbf-5cnf-160var-640cl.6	SAT	0.04
1qbf-5cnf-20var-80cl.6	SAT	0.04
1qbf-5cnf-160var-320cl.5	SAT	0.04
1qbf-5cnf-20var-320cl.4	SAT	0.04
1qbf-5cnf-80var-320cl.3	SAT	0.04
1qbf-5cnf-20var-160cl.1	SAT	0.04
1qbf-5cnf-80var-320cl.1	SAT	0.04
1qbf-5cnf-40var-160cl.5	SAT	0.04
1qbf-5cnf-160var-320cl.3	SAT	0.04
1qbf-5cnf-80var-640cl.4	SAT	0.04
1qbf-5cnf-40var-640cl.8	SAT	0.04
1qbf-5cnf-20var-320cl.5	SAT	0.04
1qbf-5cnf-40var-160cl.0	SAT	0.04
1qbf-5cnf-160var-640cl.9	SAT	0.04
1qbf-5cnf-160var-1280cl.8	SAT	0.04
1qbf-5cnf-160var-1280cl.3	SAT	0.04
1qbf-5cnf-40var-80cl.2	SAT	0.04
1qbf-5cnf-40var-80cl.0	SAT	0.04
1qbf-5cnf-40var-640cl.0	SAT	0.04
1qbf-5cnf-160var-320cl.4	SAT	0.04
1qbf-5cnf-20var-80cl.7	SAT	0.04
5qbf-5cnf-80var-320cl.1	SAT	0.05
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.05
k_path_p-4	UNSAT	0.05
lut4_2_fXOR	SAT	0.05
toilet_c_08_01.4	UNSAT	0.05
counter_e_4	SAT	0.05
ncf_4_8_8_edau.5	UNSAT	0.05
ncf_16_32_2_d.7	UNSAT	0.05
ncf_8_16_4_euad.5	UNSAT	0.05
ncf_4_8_8_d.5	UNSAT	0.05
ncf_8_16_4_edau.5	UNSAT	0.05
lut4_XOR_f1	SAT	0.05
CHAIN12v.13	SAT	0.05
k_lin_p-8	UNSAT	0.05
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.05
ncf_8_16_4_u.5	UNSAT	0.05
ncf_4_8_2_u.8	SAT	0.05
counter_4	SAT	0.05
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.05
adder-2-sat	SAT	0.05
BLOCKS3iii.4	UNSAT	0.05
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.05
k_lin_p-4	UNSAT	0.05
3qbf-5cnf-20var-320cl.4	UNSAT	0.05
3qbf-5cnf-20var-640cl.1	UNSAT	0.05
ncf_4_8_4_edau.3	UNSAT	0.05
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.05
3qbf-5cnf-40var-1280cl.1	UNSAT	0.05
counter_re_4	SAT	0.05
3qbf-5cnf-20var-640cl.8	UNSAT	0.05
3qbf-5cnf-20var-640cl.0	UNSAT	0.05
k_lin_p-12	UNSAT	0.05
TOILET2.1.iv.3	UNSAT	0.05
ncf_8_16_4_edau.8	UNSAT	0.05
1qbf-5cnf-40var-80cl.7	SAT	0.05
1qbf-5cnf-40var-640cl.1	SAT	0.05
1qbf-5cnf-40var-80cl.1	SAT	0.05
1qbf-5cnf-80var-1280cl.3	SAT	0.05
1qbf-5cnf-160var-320cl.2	SAT	0.05
1qbf-5cnf-40var-640cl.3	SAT	0.05
1qbf-5cnf-20var-640cl.4	UNSAT	0.05
1qbf-5cnf-40var-640cl.7	SAT	0.05
1qbf-5cnf-20var-640cl.6	UNSAT	0.05
1qbf-5cnf-160var-320cl.9	SAT	0.05
1qbf-5cnf-20var-80cl.0	SAT	0.05
1qbf-5cnf-160var-320cl.6	SAT	0.05
1qbf-5cnf-20var-640cl.9	UNSAT	0.05
1qbf-5cnf-20var-160cl.9	SAT	0.05
1qbf-5cnf-40var-160cl.8	SAT	0.05
1qbf-5cnf-40var-320cl.3	SAT	0.05
1qbf-5cnf-80var-1280cl.2	SAT	0.05
1qbf-5cnf-80var-640cl.7	SAT	0.05
ncf_4_8_2_edau.3	UNSAT	0.06
k_ph_n-4	SAT	0.06
flipflop-5-c	UNSAT	0.06
CHAIN13v.14	SAT	0.06
toilet_a_08_05.2	UNSAT	0.06
3qbf-5cnf-20var-80cl.7	SAT	0.06
ncf_4_8_4_d.3	UNSAT	0.06
3qbf-5cnf-20var-640cl.7	UNSAT	0.06
ncf_8_16_2_u.6	UNSAT	0.06
3qbf-5cnf-20var-80cl.6	SAT	0.06
ncf_4_8_2_u.5	SAT	0.06
ncf_16_32_8_d.3	SAT	0.06
toilet_c_08_05.4	SAT	0.06
ncf_8_16_2_d.3	UNSAT	0.06
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.06
toilet_a_08_01.2	UNSAT	0.06
ncf_16_32_2_edau.7	UNSAT	0.06
ncf_8_16_2_u.3	UNSAT	0.06
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	0.06
k_d4_p-8	UNSAT	0.06
ncf_4_8_2_euad.10	SAT	0.06
1qbf-5cnf-20var-80cl.4	SAT	0.06
1qbf-5cnf-20var-320cl.1	SAT	0.06
1qbf-5cnf-80var-1280cl.5	SAT	0.06
1qbf-5cnf-160var-320cl.7	SAT	0.06
1qbf-5cnf-20var-160cl.5	SAT	0.06
1qbf-5cnf-80var-1280cl.6	SAT	0.06
1qbf-5cnf-160var-1280cl.6	SAT	0.06
1qbf-5cnf-80var-160cl.9	SAT	0.06
1qbf-5cnf-160var-2560cl.7	SAT	0.06
1qbf-5cnf-160var-1280cl.4	SAT	0.06
1qbf-5cnf-40var-320cl.8	SAT	0.06
1qbf-5cnf-160var-320cl.1	SAT	0.06
1qbf-5cnf-20var-640cl.5	UNSAT	0.06
1qbf-5cnf-40var-640cl.4	SAT	0.06
1qbf-5cnf-160var-1280cl.0	SAT	0.06
toilet_a_08_01.16	SAT	0.07
ncf_4_8_2_u.7	UNSAT	0.07
ncf_4_8_2_u.1	UNSAT	0.07
flipflop-6-c	UNSAT	0.07
BLOCKS3ii.5.2	UNSAT	0.07
toilet_c_10_05.8	SAT	0.07
5qbf-5cnf-20var-640cl.1	UNSAT	0.07
ncf_8_16_2_edau.3	UNSAT	0.07
3qbf-5cnf-20var-320cl.2	UNSAT	0.07
CHAIN15v.16	SAT	0.07
TOILET6.1.iv.12	SAT	0.07
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.07
3qbf-5cnf-20var-80cl.8	SAT	0.07
CHAIN17v.18	SAT	0.07
ncf_4_8_2_edau.5	SAT	0.07
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.07
3qbf-5cnf-20var-640cl.5	UNSAT	0.07
BLOCKS3ii.4.3	UNSAT	0.07
CHAIN16v.17	SAT	0.07
ncf_8_16_4_euad.2	UNSAT	0.07
3qbf-5cnf-40var-1280cl.6	UNSAT	0.07
k_poly_p-4	UNSAT	0.07
1qbf-5cnf-80var-320cl.7	SAT	0.07
1qbf-5cnf-160var-640cl.0	SAT	0.07
1qbf-5cnf-80var-1280cl.4	SAT	0.07
1qbf-5cnf-80var-640cl.0	SAT	0.07
1qbf-5cnf-80var-320cl.5	SAT	0.07
1qbf-5cnf-80var-1280cl.8	SAT	0.07
1qbf-5cnf-160var-320cl.0	SAT	0.07
lut4_XOR_fOR	UNSAT	0.08
toilet_c_10_01.20	SAT	0.08
ncf_8_16_2_d.6	UNSAT	0.08
ncf_4_8_2_euad.1	UNSAT	0.08
connect_5x4_3_W	UNSAT	0.08
connect_5x4_4_D	UNSAT	0.08
3qbf-5cnf-40var-1280cl.3	UNSAT	0.08
toilet_a_08_01.4	UNSAT	0.08
2qbf-5cnf-20var-640cl.7	UNSAT	0.08
CHAIN19v.20	SAT	0.08
3qbf-5cnf-40var-640cl.7	UNSAT	0.08
ncf_4_16_2_euad.6	SAT	0.08
ncf_8_16_2_euad.3	UNSAT	0.08
toilet_a_08_01.8	UNSAT	0.08
toilet_c_10_05.7	SAT	0.08
3qbf-5cnf-40var-1280cl.7	UNSAT	0.08
1qbf-5cnf-160var-2560cl.6	SAT	0.08
ncf_4_8_2_euad.8	SAT	0.09
ncf_8_16_4_edau.2	UNSAT	0.09
CHAIN20v.21	SAT	0.09
2qbf-5cnf-20var-640cl.6	UNSAT	0.09
BLOCKS3ii.5.3	SAT	0.09
connect_5x4_4_W	UNSAT	0.09
BLOCKS3i.4.4	UNSAT	0.09
ncf_4_16_2_u.6	SAT	0.09
toilet_c_08_05.8	SAT	0.09
3qbf-5cnf-40var-1280cl.2	UNSAT	0.09
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.09
ncf_4_8_2_euad.5	SAT	0.09
ncf_4_8_2_euad.7	UNSAT	0.09
BLOCKS3iii.5	SAT	0.09
1qbf-5cnf-80var-1280cl.7	SAT	0.09
ncf_8_16_4_u.2	UNSAT	0.1
2qbf-5cnf-20var-640cl.2	UNSAT	0.1
3qbf-5cnf-20var-80cl.0	SAT	0.1
ncf_4_8_2_u.9	SAT	0.1
CHAIN23v.24	SAT	0.1
k_branch_p-4	UNSAT	0.1
CHAIN18v.19	SAT	0.1
s27_d2_s	SAT	0.1
5qbf-5cnf-20var-640cl.6	UNSAT	0.1
CHAIN21v.22	SAT	0.1
s27_d3_u	UNSAT	0.1
ncf_8_16_4_d.8	UNSAT	0.1
toilet_c_08_05.10	SAT	0.1
k_path_p-8	UNSAT	0.1
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.1
1qbf-5cnf-160var-1280cl.2	SAT	0.1
2qbf-5cnf-20var-640cl.0	UNSAT	0.11
BLOCKS3i.5.4	SAT	0.11
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.11
TOILET6.1.iv.11	UNSAT	0.11
3qbf-5cnf-40var-1280cl.0	UNSAT	0.11
toilet_a_08_05.4	SAT	0.11
toilet_c_08_10.2	SAT	0.11
CHAIN22v.23	SAT	0.11
3qbf-5cnf-20var-80cl.2	SAT	0.11
ncf_4_8_2_euad.2	SAT	0.11
1qbf-5cnf-80var-1280cl.9	SAT	0.11
toilet_a_08_05.10	SAT	0.12
ncf_4_8_2_euad.9	SAT	0.12
ncf_4_16_2_d.7	SAT	0.12
5qbf-5cnf-20var-640cl.0	UNSAT	0.12
toilet_c_10_05.12	SAT	0.12
k_d4_p-12	UNSAT	0.12
qshifter_6	SAT	0.12
toilet_a_08_05.8	SAT	0.12
2qbf-5cnf-20var-320cl.1	UNSAT	0.12
BLOCKS3i.5.3	UNSAT	0.12
connect_5x4_3_D	UNSAT	0.12
ncf_4_8_2_u.2	SAT	0.12
2qbf-5cnf-40var-80cl.3	SAT	0.12
k_dum_n-4	SAT	0.13
2qbf-5cnf-40var-1280cl.6	UNSAT	0.13
k_poly_n-4	SAT	0.13
szymanski-4-s	UNSAT	0.13
ncf_4_8_2_euad.6	SAT	0.13
k_lin_p-16	UNSAT	0.13
ncf_8_16_2_edau.9	UNSAT	0.13
ncf_4_8_2_u.6	SAT	0.13
ncf_4_16_2_u.9	SAT	0.13
3qbf-5cnf-20var-80cl.4	SAT	0.13
ncf_8_16_2_u.9	UNSAT	0.14
vonNeumann-ripple-carry-5-c	UNSAT	0.14
3qbf-5cnf-20var-80cl.1	SAT	0.14
ncf_4_16_2_u.2	SAT	0.14
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.14
2qbf-5cnf-20var-640cl.8	UNSAT	0.14
3qbf-5cnf-20var-80cl.3	SAT	0.14
4qbf-5cnf-20var-80cl.2	SAT	0.14
5qbf-5cnf-20var-640cl.9	UNSAT	0.14
3qbf-5cnf-40var-640cl.0	UNSAT	0.14
1qbf-5cnf-40var-1280cl.5	UNSAT	0.14
1qbf-5cnf-40var-1280cl.1	UNSAT	0.14
connect_6x5_5_D	UNSAT	0.15
toilet_a_08_10.2	SAT	0.15
3qbf-5cnf-20var-80cl.9	SAT	0.15
connect_6x5_5_W	UNSAT	0.15
ncf_4_16_2_edau.9	SAT	0.15
1qbf-5cnf-40var-1280cl.9	UNSAT	0.15
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.16
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.16
3qbf-5cnf-40var-1280cl.8	UNSAT	0.16
ncf_4_16_2_euad.9	SAT	0.16
2qbf-5cnf-40var-80cl.0	SAT	0.16
2qbf-5cnf-20var-640cl.5	UNSAT	0.16
ncf_4_16_2_d.9	SAT	0.16
4qbf-5cnf-20var-640cl.9	UNSAT	0.16
flipflop-7-c	UNSAT	0.16
s499_d2_s	SAT	0.16
1qbf-5cnf-40var-1280cl.2	UNSAT	0.16
3qbf-5cnf-40var-640cl.5	UNSAT	0.17
ncf_4_16_2_edau.7	SAT	0.17
2qbf-5cnf-20var-320cl.2	UNSAT	0.17
4qbf-5cnf-20var-80cl.0	SAT	0.17
connect_6x5_4_W	UNSAT	0.17
TOILET7.1.iv.14	SAT	0.17
k_poly_p-8	UNSAT	0.17
1qbf-5cnf-40var-1280cl.3	UNSAT	0.17
1qbf-5cnf-40var-1280cl.0	UNSAT	0.17
ncf_8_16_2_d.9	UNSAT	0.18
ncf_4_16_2_u.4	SAT	0.18
2qbf-5cnf-20var-640cl.4	UNSAT	0.18
3qbf-5cnf-80var-2560cl.2	UNSAT	0.18
2qbf-5cnf-20var-320cl.9	UNSAT	0.18
1qbf-5cnf-40var-1280cl.4	UNSAT	0.18
ncf_8_16_2_euad.9	UNSAT	0.19
connect_6x5_3_W	UNSAT	0.19
ncf_4_8_4_d.1	SAT	0.19
2qbf-5cnf-40var-1280cl.3	UNSAT	0.19
TOILET16.1.iv.32	SAT	0.19
ncf_4_8_4_u.2	UNSAT	0.19
1qbf-5cnf-40var-1280cl.6	UNSAT	0.19
1qbf-5cnf-160var-2560cl.5	SAT	0.19
ncf_4_8_4_edau.1	SAT	0.2
ncf_8_16_4_edau.6	UNSAT	0.2
k_lin_p-20	UNSAT	0.2
1qbf-5cnf-40var-1280cl.8	UNSAT	0.2
s27_d4_u	UNSAT	0.21
k_d4_p-16	UNSAT	0.21
ncf_4_8_4_edau.2	UNSAT	0.21
k_dum_p-8	UNSAT	0.21
connect_6x5_3_D	UNSAT	0.21
ncf_4_8_4_euad.2	UNSAT	0.21
ncf_4_16_2_euad.4	SAT	0.21
1qbf-5cnf-40var-1280cl.7	UNSAT	0.21
ncf_4_16_2_euad.2	SAT	0.22
5qbf-5cnf-40var-1280cl.9	UNSAT	0.22
ncf_4_8_4_d.2	UNSAT	0.22
k_dum_p-4	UNSAT	0.22
3qbf-5cnf-40var-640cl.4	UNSAT	0.22
k_lin_p-21	UNSAT	0.22
1qbf-5cnf-160var-2560cl.2	SAT	0.22
ncf_4_16_4_u.5	SAT	0.23
connect_6x5_4_D	UNSAT	0.23
vonNeumann-ripple-carry-6-c	UNSAT	0.23
k_dum_n-8	SAT	0.23
ncf_8_16_4_d.6	UNSAT	0.23
1qbf-5cnf-160var-2560cl.0	SAT	0.23
TOILET7.1.iv.13	UNSAT	0.24
4qbf-5cnf-20var-640cl.7	UNSAT	0.25
ncf_4_16_4_euad.5	SAT	0.25
k_path_n-4	SAT	0.25
2qbf-5cnf-20var-640cl.1	UNSAT	0.26
k_poly_n-8	SAT	0.26
s298_d2_s	SAT	0.26
3qbf-5cnf-80var-2560cl.5	UNSAT	0.27
ncf_4_8_4_euad.5	SAT	0.27
3qbf-5cnf-40var-1280cl.9	UNSAT	0.27
2qbf-5cnf-40var-1280cl.9	UNSAT	0.27
Adder2-4-s	SAT	0.27
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.27
3qbf-5cnf-80var-2560cl.1	UNSAT	0.28
connect_7x6_6_D	UNSAT	0.28
counter_8	SAT	0.29
2qbf-5cnf-20var-320cl.8	UNSAT	0.29
ncf_4_8_4_d.10	SAT	0.29
connect_7x6_6_W	UNSAT	0.29
k_d4_p-20	UNSAT	0.3
ncf_4_8_2_euad.3	UNSAT	0.3
ncf_4_8_4_u.5	SAT	0.3
k_branch_p-8	UNSAT	0.3
2qbf-5cnf-40var-80cl.9	SAT	0.3
ncf_16_32_4_d.10	UNSAT	0.3
k_d4_p-21	UNSAT	0.31
ncf_4_8_2_u.3	UNSAT	0.31
ncf_16_32_4_edau.10	UNSAT	0.31
flipflop-8-c	UNSAT	0.31
ncf_16_32_2_edau.9	UNSAT	0.32
ncf_4_8_4_edau.10	SAT	0.32
connect_7x6_5_D	UNSAT	0.32
connect_7x6_5_W	UNSAT	0.32
k_dum_n-16	SAT	0.33
ncf_4_16_2_d.5	UNSAT	0.33
k_dum_p-12	UNSAT	0.33
k_dum_p-16	UNSAT	0.33
3qbf-5cnf-80var-2560cl.0	UNSAT	0.34
ncf_16_32_2_u.9	UNSAT	0.34
k_dum_n-12	SAT	0.34
3qbf-5cnf-80var-2560cl.3	UNSAT	0.34
connect_7x6_4_W	UNSAT	0.36
lut4_AND_f1	SAT	0.36
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.37
ncf_4_8_8_d.4	SAT	0.37
connect_7x6_4_D	UNSAT	0.38
ncf_16_32_2_d.8	UNSAT	0.39
ncf_4_16_2_edau.5	UNSAT	0.4
2qbf-5cnf-80var-160cl.0	SAT	0.4
s27_d5_u	UNSAT	0.41
ncf_4_16_4_euad.9	SAT	0.41
connect_7x6_3_W	UNSAT	0.41
ncf_4_8_4_u.6	SAT	0.42
ncf_4_8_4_d.8	UNSAT	0.42
ncf_16_32_2_d.9	UNSAT	0.42
ncf_4_16_4_d.9	SAT	0.43
ncf_16_32_2_edau.5	UNSAT	0.43
3qbf-5cnf-80var-2560cl.9	UNSAT	0.44
ncf_16_32_2_d.5	UNSAT	0.44
ncf_4_8_4_edau.8	UNSAT	0.44
connect_7x6_3_D	UNSAT	0.44
k_dum_p-21	UNSAT	0.45
connect_8x7_7_W	UNSAT	0.46
ncf_4_8_4_edau.4	UNSAT	0.46
1qbf-5cnf-160var-2560cl.4	SAT	0.46
ncf_4_16_4_edau.9	SAT	0.47
ncf_16_32_2_euad.9	UNSAT	0.47
vonNeumann-ripple-carry-7-c	UNSAT	0.47
k_dum_p-20	UNSAT	0.48
ncf_4_16_2_euad.7	SAT	0.48
connect_8x7_7_D	UNSAT	0.48
ncf_4_8_8_euad.1	SAT	0.48
k_poly_p-12	UNSAT	0.48
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.48
ncf_4_8_8_edau.4	SAT	0.49
szymanski-5-s	UNSAT	0.5
ncf_4_8_4_d.4	UNSAT	0.5
ncf_4_16_2_u.7	SAT	0.5
connect_8x7_6_W	UNSAT	0.51
ncf_4_8_4_euad.7	UNSAT	0.51
ncf_4_8_8_u.1	SAT	0.52
lut4_2_f1	SAT	0.52
3qbf-5cnf-80var-2560cl.8	UNSAT	0.52
ncf_16_32_2_edau.8	UNSAT	0.52
connect_8x7_6_D	UNSAT	0.54
k_dum_n-20	SAT	0.54
ncf_4_16_4_euad.1	SAT	0.54
lognBWLARGEA1	UNSAT	0.56
ncf_4_16_4_u.1	SAT	0.56
flipflop-9-c	UNSAT	0.56
ncf_4_16_4_u.9	SAT	0.57
ncf_4_8_4_euad.10	SAT	0.57
k_dum_n-21	SAT	0.58
2qbf-5cnf-40var-1280cl.5	UNSAT	0.58
toilet_a_10_01.20	SAT	0.59
ncf_4_8_4_u.7	UNSAT	0.59
3qbf-5cnf-80var-2560cl.6	UNSAT	0.61
2qbf-5cnf-40var-1280cl.7	UNSAT	0.61
ncf_4_8_4_euad.3	UNSAT	0.62
adder-4-sat	SAT	0.63
3qbf-5cnf-160var-5120cl.9	UNSAT	0.63
connect_8x7_5_D	UNSAT	0.63
connect_8x7_5_W	UNSAT	0.63
2qbf-5cnf-40var-1280cl.4	UNSAT	0.63
ncf_4_8_8_u.3	SAT	0.63
connect_8x7_4_W	UNSAT	0.63
2qbf-5cnf-40var-1280cl.2	UNSAT	0.64
1qbf-5cnf-160var-2560cl.1	SAT	0.65
ncf_8_16_2_d.5	UNSAT	0.66
ncf_4_16_2_edau.8	SAT	0.66
connect_8x7_3_W	UNSAT	0.67
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	0.67
4qbf-5cnf-20var-80cl.5	SAT	0.68
qshifter_7	SAT	0.68
1qbf-5cnf-160var-2560cl.9	SAT	0.68
2qbf-5cnf-40var-1280cl.0	UNSAT	0.69
C880.blif_0.10_0.20_0_0_out_exact	FAIL	0.69
ncf_4_16_2_d.8	SAT	0.7
connect_8x7_4_D	UNSAT	0.7
connect_8x7_3_D	UNSAT	0.7
5qbf-5cnf-40var-1280cl.0	UNSAT	0.72
TOILET10.1.iv.20	SAT	0.72
ncf_4_8_4_u.3	UNSAT	0.73
connect_9x8_8_W	UNSAT	0.74
toilet_c_10_05.4	SAT	0.74
vonNeumann-ripple-carry-8-c	UNSAT	0.74
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.75
k_poly_n-12	SAT	0.75
ncf_4_8_4_u.10	SAT	0.76
ncf_4_8_8_euad.3	SAT	0.76
toilet_a_10_01.2	UNSAT	0.77
4qbf-5cnf-40var-160cl.5	SAT	0.77
ncf_8_16_2_euad.1	SAT	0.77
2qbf-5cnf-40var-80cl.7	SAT	0.78
connect_9x8_8_D	UNSAT	0.78
ncf_8_16_2_edau.5	UNSAT	0.8
4qbf-5cnf-20var-640cl.4	UNSAT	0.8
lut4_AND_fXOR	UNSAT	0.8
ncf_4_16_2_edau.10	UNSAT	0.81
ncf_4_8_4_u.8	UNSAT	0.81
4qbf-5cnf-20var-640cl.6	UNSAT	0.82
ncf_4_16_4_euad.8	SAT	0.83
toilet_a_10_05.2	UNSAT	0.83
5qbf-5cnf-40var-1280cl.2	UNSAT	0.85
3qbf-5cnf-80var-1280cl.4	UNSAT	0.87
toilet_a_10_01.4	UNSAT	0.87
toilet_a_10_01.8	UNSAT	0.87
connect_9x8_7_W	UNSAT	0.88
ncf_4_16_4_u.8	SAT	0.88
5qbf-5cnf-40var-1280cl.1	UNSAT	0.88
adder-2-unsat	UNSAT	0.9
3qbf-5cnf-80var-2560cl.4	UNSAT	0.9
5qbf-5cnf-40var-1280cl.7	UNSAT	0.91
ncf_16_32_2_u.7	UNSAT	0.92
connect_9x8_7_D	UNSAT	0.93
ncf_8_16_2_edau.10	SAT	0.93
k_poly_p-16	UNSAT	0.95
toilet_a_10_01.3	UNSAT	0.96
vonNeumann-ripple-carry-9-c	UNSAT	0.97
ncf_4_8_4_euad.8	UNSAT	0.97
3qbf-5cnf-80var-1280cl.0	UNSAT	0.98
3qbf-5cnf-160var-5120cl.2	UNSAT	0.98
flipflop-10-c	UNSAT	1
ncf_8_16_2_u.1	SAT	1
5qbf-5cnf-20var-320cl.5	UNSAT	1
connect_9x8_6_W	UNSAT	1.01
k_t4p_p-4	UNSAT	1.01
connect_9x8_5_W	UNSAT	1.04
2qbf-5cnf-20var-80cl.2	SAT	1.06
connect_9x8_6_D	UNSAT	1.06
ncf_4_8_4_euad.4	UNSAT	1.06
3qbf-5cnf-160var-5120cl.4	UNSAT	1.06
k_t4p_p-8	UNSAT	1.09
toilet_c_10_10.2	SAT	1.09
k_branch_p-12	UNSAT	1.13
connect_9x8_4_W	UNSAT	1.15
3qbf-5cnf-40var-160cl.5	SAT	1.15
connect_9x8_5_D	UNSAT	1.16
robots_1_5_5_15.2	FAIL	1.17
connect_9x8_3_W	UNSAT	1.17
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	1.17
ncf_4_8_4_u.4	UNSAT	1.17
s510_d2_s	SAT	1.18
3qbf-5cnf-160var-5120cl.1	UNSAT	1.19
ncf_8_16_2_d.10	SAT	1.19
ncf_16_32_4_d.7	UNSAT	1.22
ncf_16_32_8_edau.8	UNSAT	1.22
ncf_4_16_2_d.10	UNSAT	1.23
connect_9x8_4_D	UNSAT	1.24
2qbf-5cnf-80var-160cl.5	SAT	1.25
connect_9x8_3_D	UNSAT	1.25
2qbf-5cnf-40var-1280cl.1	UNSAT	1.27
ncf_16_32_8_d.8	UNSAT	1.28
4qbf-5cnf-40var-160cl.3	SAT	1.28
k_poly_n-16	SAT	1.28
ncf_8_16_4_u.6	UNSAT	1.29
k_t4p_p-12	UNSAT	1.32
ncf_16_32_4_edau.7	UNSAT	1.34
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	1.35
ncf_16_32_2_euad.7	UNSAT	1.36
C6288.blif_0.10_1.00_0_1_out_exact	SAT	1.43
vonNeumann-ripple-carry-10-c	UNSAT	1.44
flipflop-11-c	UNSAT	1.46
ncf_8_16_2_u.5	UNSAT	1.48
k_t4p_p-16	UNSAT	1.55
1qbf-5cnf-160var-2560cl.3	SAT	1.57
k_poly_p-20	UNSAT	1.61
ncf_8_16_4_euad.6	UNSAT	1.62
4qbf-5cnf-20var-640cl.8	UNSAT	1.62
lognBWLARGEB1	UNSAT	1.66
robots_1_5_5_24.2	SAT	1.76
toilet_a_10_10.2	SAT	1.77
k_poly_p-21	UNSAT	1.78
k_t4p_p-21	UNSAT	1.8
ncf_8_16_2_euad.5	UNSAT	1.84
ncf_4_16_2_u.10	UNSAT	1.84
ncf_4_16_2_euad.10	UNSAT	1.86
Adder2-6-s	SAT	1.92
k_t4p_p-20	UNSAT	1.92
robots_1_5_5_62.2	SAT	2.02
szymanski-6-s	UNSAT	2.05
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	2.08
k_poly_n-20	SAT	2.22
C880.blif_0.10_0.20_0_1_out_exact	FAIL	2.25
5qbf-5cnf-40var-1280cl.6	UNSAT	2.27
k_path_p-12	UNSAT	2.3
Adder2-2-c	UNSAT	2.34
flipflop-12-c	UNSAT	2.35
k_poly_n-21	SAT	2.42
vonNeumann-ripple-carry-11-c	UNSAT	2.47
C880.blif_0.10_1.00_0_0_out_exact	FAIL	2.5
robots_1_5_4_81.2	SAT	2.5
2qbf-5cnf-20var-80cl.4	SAT	2.56
3qbf-5cnf-80var-2560cl.7	UNSAT	2.57
3qbf-5cnf-160var-5120cl.7	UNSAT	2.63
C880.blif_0.10_1.00_0_1_out_exact	FAIL	2.63
ncf_4_16_2_euad.8	SAT	2.66
robots_1_5_4_52.2	SAT	2.71
robots_1_5_2_85.2	SAT	2.71
2qbf-5cnf-20var-80cl.3	SAT	2.76
ncf_4_8_8_u.5	UNSAT	2.8
ncf_4_8_4_u.1	SAT	2.82
lut4_2_f2	UNSAT	2.89
3qbf-5cnf-160var-2560cl.7	UNSAT	2.89
robots_1_5_5_75.2	SAT	2.94
robots_1_5_5_61.2	SAT	3.1
robots_1_5_4_100.2	SAT	3.11
robots_1_5_3_52.2	SAT	3.12
ncf_4_8_8_euad.5	UNSAT	3.12
robots_1_5_4_73.2	SAT	3.13
robots_1_5_4_59.2	SAT	3.13
5qbf-5cnf-40var-1280cl.5	UNSAT	3.17
robots_1_5_5_38.2	SAT	3.21
robots_1_5_3_26.2	SAT	3.22
robots_1_5_5_56.2	SAT	3.22
robots_1_5_5_100.2	SAT	3.24
k_branch_p-16	UNSAT	3.25
ncf_4_8_4_euad.1	SAT	3.27
robots_1_5_3_51.2	SAT	3.3
k_t4p_n-4	FAIL	3.3
robots_1_5_3_7.2	SAT	3.33
robots_1_5_3_30.2	SAT	3.33
robots_1_5_4_71.2	SAT	3.35
robots_1_5_4_75.2	SAT	3.37
robots_1_5_4_22.2	SAT	3.39
robots_1_5_5_97.2	SAT	3.39
ncf_4_16_2_u.8	SAT	3.44
robots_1_5_5_31.2	SAT	3.45
vonNeumann-ripple-carry-12-c	UNSAT	3.46
robots_1_5_3_100.2	SAT	3.47
3qbf-5cnf-160var-5120cl.8	UNSAT	3.54
robots_1_5_4_32.2	SAT	3.55
s386_d2_s	SAT	3.56
k_t4p_n-8	SAT	3.57
ncf_8_16_4_d.3	SAT	3.59
ncf_4_16_4_d.4	UNSAT	3.62
robots_1_5_4_44.2	SAT	3.65
robots_1_5_2_31.2	SAT	3.67
2qbf-5cnf-20var-80cl.1	SAT	3.73
k_grz_n-4	SAT	3.79
lut4_3_fAND	SAT	3.81
4qbf-5cnf-20var-640cl.1	UNSAT	3.84
3qbf-5cnf-160var-2560cl.1	UNSAT	4.12
vonNeumann-ripple-carry-13-c	UNSAT	4.13
k_grz_n-8	SAT	4.34
ncf_4_32_2_edau.2	SAT	4.35
qshifter_8	SAT	4.37
robots_1_5_3_25.2	SAT	4.39
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	4.41
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	4.43
2qbf-5cnf-80var-2560cl.9	UNSAT	4.47
ncf_4_32_2_edau.1	UNSAT	4.51
2qbf-5cnf-20var-80cl.0	SAT	4.57
ncf_4_32_2_d.1	UNSAT	4.88
robots_1_5_2_14.2	SAT	5.05
robots_1_5_3_62.2	SAT	5.06
4qbf-5cnf-20var-80cl.8	SAT	5.09
ncf_4_16_4_edau.4	UNSAT	5.39
ev-pr-4x4-5-3-0-0-1-s	SAT	5.78
connect_6x5_3_R	FAIL	5.8
term1.blif_0.10_0.20_0_0_out_exact	FAIL	5.83
2qbf-5cnf-20var-80cl.9	SAT	5.88
term1.blif_0.10_0.20_0_1_out_exact	SAT	5.89
robots_1_5_3_91.2	SAT	5.96
3qbf-5cnf-160var-2560cl.6	UNSAT	5.97
3qbf-5cnf-160var-5120cl.5	UNSAT	6.16
k_grz_p-4	FAIL	6.22
k_t4p_n-12	SAT	6.29
2qbf-5cnf-40var-80cl.6	SAT	6.45
ncf_4_16_2_u.5	UNSAT	6.79
adder-6-sat	SAT	6.8
3qbf-5cnf-160var-5120cl.6	UNSAT	6.89
robots_1_5_3_80.2	SAT	6.93
ncf_8_16_4_u.8	UNSAT	7.3
toilet_a_10_05.4	SAT	7.36
connect_7x6_5_R	FAIL	7.48
3qbf-5cnf-20var-320cl.6	UNSAT	7.56
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	7.65
3qbf-5cnf-20var-320cl.3	UNSAT	7.69
3qbf-5cnf-20var-640cl.2	UNSAT	7.8
ncf_4_32_2_d.2	SAT	7.81
3qbf-5cnf-20var-320cl.0	UNSAT	7.86
3qbf-5cnf-80var-1280cl.8	UNSAT	7.86
ncf_4_8_8_euad.4	SAT	7.91
3qbf-5cnf-20var-320cl.1	UNSAT	7.92
vonNeumann-ripple-carry-15-c	UNSAT	7.96
5qbf-5cnf-20var-320cl.4	UNSAT	8.02
3qbf-5cnf-40var-640cl.6	UNSAT	8.04
3qbf-5cnf-40var-1280cl.5	UNSAT	8.21
5qbf-5cnf-80var-2560cl.9	UNSAT	8.21
3qbf-5cnf-40var-640cl.1	UNSAT	8.24
4qbf-5cnf-80var-2560cl.7	UNSAT	8.27
6qbf-5cnf-40var-640cl.7	UNSAT	8.28
2qbf-5cnf-80var-160cl.9	SAT	8.3
3qbf-5cnf-160var-2560cl.5	UNSAT	8.34
3qbf-5cnf-20var-320cl.9	UNSAT	8.38
k_grz_n-21	FAIL	8.4
3qbf-5cnf-160var-5120cl.0	UNSAT	8.41
6qbf-5cnf-80var-1280cl.5	UNSAT	8.47
5qbf-5cnf-80var-2560cl.3	UNSAT	8.52
k_branch_p-20	UNSAT	8.57
BLOCKS4iii.6	UNSAT	8.61
2qbf-5cnf-20var-80cl.5	SAT	8.69
6qbf-5cnf-80var-2560cl.6	UNSAT	8.77
2qbf-5cnf-80var-2560cl.5	UNSAT	8.77
5qbf-5cnf-80var-2560cl.4	UNSAT	8.78
2qbf-5cnf-20var-320cl.3	UNSAT	8.85
6qbf-5cnf-80var-2560cl.0	UNSAT	8.89
ncf_8_16_8_d.7	UNSAT	8.89
6qbf-5cnf-20var-640cl.6	UNSAT	8.9
4qbf-5cnf-40var-640cl.3	UNSAT	8.97
4qbf-5cnf-40var-1280cl.9	UNSAT	9.05
6qbf-5cnf-20var-640cl.2	UNSAT	9.07
2qbf-5cnf-80var-2560cl.0	UNSAT	9.08
2qbf-5cnf-160var-640cl.2	UNSAT	9.13
horn_400CNF1520_2aQBF_165	UNSAT	9.16
2qbf-5cnf-80var-320cl.0	UNSAT	9.22
6qbf-5cnf-80var-2560cl.3	UNSAT	9.24
2qbf-5cnf-160var-640cl.7	UNSAT	9.28
4qbf-5cnf-40var-640cl.4	UNSAT	9.31
4qbf-5cnf-20var-640cl.0	UNSAT	9.32
4qbf-5cnf-40var-320cl.1	UNSAT	9.34
3qbf-5cnf-80var-1280cl.6	UNSAT	9.47
2qbf-5cnf-80var-1280cl.7	UNSAT	9.52
2qbf-5cnf-80var-2560cl.8	UNSAT	9.58
connect_6x5_5_R	FAIL	9.61
k_path_p-20	UNSAT	9.62
robots_1_5_4_46.4	SAT	9.71
connect_5x4_3_R	FAIL	9.74
k_path_n-12	SAT	9.78
5qbf-5cnf-160var-2560cl.5	UNSAT	9.79
5qbf-5cnf-160var-2560cl.0	UNSAT	9.81
4qbf-5cnf-80var-640cl.1	UNSAT	9.86
3qbf-5cnf-20var-640cl.4	UNSAT	9.86
2qbf-5cnf-20var-80cl.8	SAT	9.89
robots_1_5_5_8.4	SAT	9.96
2qbf-5cnf-160var-1280cl.7	UNSAT	10.02
3qbf-5cnf-160var-2560cl.0	UNSAT	10.12
4qbf-5cnf-20var-640cl.5	UNSAT	10.12
2qbf-5cnf-40var-640cl.4	UNSAT	10.12
2qbf-5cnf-160var-5120cl.3	UNSAT	10.13
robots_1_5_5_34.4	SAT	10.13
adder-8-sat	SAT	10.18
robots_1_5_5_100.4	SAT	10.21
4qbf-5cnf-80var-1280cl.9	UNSAT	10.26
4qbf-5cnf-160var-2560cl.1	UNSAT	10.32
4qbf-5cnf-80var-640cl.5	UNSAT	10.33
5qbf-5cnf-160var-2560cl.9	UNSAT	10.37
2qbf-5cnf-20var-320cl.7	UNSAT	10.39
4qbf-5cnf-80var-2560cl.5	UNSAT	10.4
4qbf-5cnf-40var-160cl.8	SAT	10.44
5qbf-5cnf-160var-2560cl.8	UNSAT	10.45
6qbf-5cnf-20var-640cl.5	UNSAT	10.48
5qbf-5cnf-160var-5120cl.3	UNSAT	10.51
2qbf-5cnf-160var-640cl.5	UNSAT	10.54
robots_1_5_4_100.4	SAT	10.56
robots_1_5_4_50.4	SAT	10.65
2qbf-5cnf-80var-160cl.3	SAT	10.68
6qbf-5cnf-80var-2560cl.1	UNSAT	10.7
2qbf-5cnf-160var-2560cl.2	UNSAT	10.72
2qbf-5cnf-80var-640cl.0	UNSAT	10.76
6qbf-5cnf-160var-1280cl.4	UNSAT	10.79
2qbf-5cnf-80var-2560cl.4	UNSAT	10.79
6qbf-5cnf-160var-2560cl.3	UNSAT	10.79
horn_400CNF1840_2aQBF_340	UNSAT	10.83
4qbf-5cnf-160var-5120cl.4	UNSAT	10.85
5qbf-5cnf-20var-640cl.2	UNSAT	10.86
k_branch_p-21	UNSAT	10.93
3qbf-5cnf-160var-2560cl.9	UNSAT	10.96
6qbf-5cnf-40var-640cl.9	UNSAT	10.98
4qbf-5cnf-80var-320cl.5	SAT	11.07
3qbf-5cnf-40var-160cl.3	SAT	11.09
5qbf-5cnf-40var-640cl.8	UNSAT	11.1
ncf_4_16_2_euad.5	UNSAT	11.13
2qbf-5cnf-40var-640cl.3	UNSAT	11.13
6qbf-5cnf-80var-2560cl.5	UNSAT	11.24
2qbf-5cnf-160var-1280cl.9	UNSAT	11.29
k_path_n-21	SAT	11.31
robots_1_5_2_21.4	FAIL	11.37
4qbf-5cnf-80var-2560cl.9	UNSAT	11.37
5qbf-5cnf-80var-2560cl.0	UNSAT	11.37
2qbf-5cnf-160var-1280cl.6	UNSAT	11.41
6qbf-5cnf-20var-320cl.9	UNSAT	11.43
k_path_p-21	UNSAT	11.47
2qbf-5cnf-20var-640cl.3	UNSAT	11.48
4qbf-5cnf-160var-1280cl.7	UNSAT	11.53
5qbf-5cnf-160var-5120cl.8	UNSAT	11.54
2qbf-5cnf-80var-160cl.4	SAT	11.61
6qbf-5cnf-80var-2560cl.9	UNSAT	11.63
4qbf-5cnf-160var-1280cl.0	UNSAT	11.75
renHorn_400CNF1200_2aQBF_28	UNSAT	11.8
4qbf-5cnf-40var-1280cl.2	UNSAT	11.8
4qbf-5cnf-160var-5120cl.3	UNSAT	11.86
2qbf-5cnf-80var-2560cl.2	UNSAT	11.94
robots_1_5_2_33.2	SAT	11.98
6qbf-5cnf-160var-2560cl.9	UNSAT	12.02
k_t4p_n-20	SAT	12.03
3qbf-5cnf-80var-1280cl.7	UNSAT	12.09
6qbf-5cnf-160var-1280cl.5	UNSAT	12.14
4qbf-5cnf-40var-160cl.6	SAT	12.17
5qbf-5cnf-160var-5120cl.7	UNSAT	12.18
ncf_8_16_8_edau.7	UNSAT	12.21
6qbf-5cnf-160var-2560cl.6	UNSAT	12.39
5qbf-5cnf-40var-640cl.0	UNSAT	12.39
4qbf-5cnf-160var-5120cl.8	UNSAT	12.46
renHorn_400CNF1200_2aQBF_79	UNSAT	12.47
5qbf-5cnf-160var-5120cl.0	UNSAT	12.49
k_path_p-16	UNSAT	12.51
6qbf-5cnf-40var-640cl.4	UNSAT	12.52
4qbf-5cnf-160var-1280cl.5	UNSAT	12.53
2qbf-5cnf-20var-80cl.7	SAT	12.57
2qbf-5cnf-20var-320cl.0	UNSAT	12.58
2qbf-5cnf-160var-5120cl.5	UNSAT	12.62
robots_1_5_5_12.4	SAT	12.68
3qbf-5cnf-40var-640cl.8	UNSAT	12.76
6qbf-5cnf-160var-2560cl.0	UNSAT	12.83
6qbf-5cnf-20var-320cl.8	UNSAT	12.84
renHorn_400CNF1480_2aQBF_21	UNSAT	12.84
4qbf-5cnf-160var-5120cl.7	UNSAT	12.9
6qbf-5cnf-160var-5120cl.4	UNSAT	12.98
ncf_4_32_2_euad.1	UNSAT	13.08
toilet_c_10_01.16	UNSAT	13.1
5qbf-5cnf-160var-5120cl.5	UNSAT	13.1
4qbf-5cnf-20var-320cl.1	UNSAT	13.13
6qbf-5cnf-160var-5120cl.5	UNSAT	13.13
6qbf-5cnf-160var-5120cl.3	UNSAT	13.18
6qbf-5cnf-40var-1280cl.3	UNSAT	13.28
6qbf-5cnf-160var-5120cl.6	UNSAT	13.32
5qbf-5cnf-40var-640cl.3	UNSAT	13.32
2qbf-5cnf-160var-5120cl.9	UNSAT	13.33
2qbf-5cnf-20var-160cl.7	UNSAT	13.34
horn_400CNF1360_2aQBF_867	UNSAT	13.37
2qbf-5cnf-40var-640cl.6	UNSAT	13.38
2qbf-5cnf-160var-2560cl.3	UNSAT	13.56
4qbf-5cnf-20var-320cl.0	UNSAT	13.59
6qbf-5cnf-160var-5120cl.7	UNSAT	13.66
6qbf-5cnf-80var-640cl.0	UNSAT	13.66
4qbf-5cnf-160var-2560cl.7	UNSAT	13.67
5qbf-5cnf-160var-2560cl.6	UNSAT	13.7
ncf_8_16_4_euad.8	UNSAT	13.71
4qbf-5cnf-160var-1280cl.4	UNSAT	13.71
6qbf-5cnf-80var-1280cl.3	UNSAT	13.86
4qbf-5cnf-160var-5120cl.1	UNSAT	13.88
5qbf-5cnf-80var-2560cl.6	UNSAT	13.92
ncf_8_16_2_u.10	SAT	13.97
k_ph_n-12	SAT	14.07
ncf_8_32_2_edau.9	UNSAT	14.09
5qbf-5cnf-40var-1280cl.8	UNSAT	14.09
k_path_n-20	SAT	14.12
4qbf-5cnf-40var-160cl.2	SAT	14.18
renHorn_400CNF1560_2aQBF_28	UNSAT	14.28
6qbf-5cnf-160var-2560cl.8	UNSAT	14.69
k_path_n-16	SAT	14.81
2qbf-5cnf-40var-160cl.7	UNSAT	14.91
3qbf-5cnf-40var-160cl.0	SAT	14.92
2qbf-5cnf-20var-320cl.4	UNSAT	15.02
6qbf-5cnf-160var-5120cl.8	UNSAT	15.07
3qbf-5cnf-20var-640cl.9	UNSAT	15.09
ncf_8_16_8_u.1	SAT	15.14
2qbf-5cnf-160var-1280cl.4	UNSAT	15.15
6qbf-5cnf-160var-2560cl.5	UNSAT	15.15
4qbf-5cnf-80var-640cl.4	UNSAT	15.19
2qbf-5cnf-20var-320cl.6	UNSAT	15.19
2qbf-5cnf-160var-5120cl.8	UNSAT	15.28
2qbf-5cnf-80var-640cl.8	UNSAT	15.34
4qbf-5cnf-40var-160cl.4	SAT	15.34
ncf_8_16_8_edau.1	SAT	15.35
4qbf-5cnf-80var-1280cl.2	UNSAT	15.43
6qbf-5cnf-20var-640cl.3	UNSAT	15.53
5qbf-5cnf-20var-320cl.6	UNSAT	15.72
3qbf-5cnf-40var-640cl.2	UNSAT	15.74
2qbf-5cnf-40var-640cl.9	UNSAT	15.97
5qbf-5cnf-20var-320cl.0	UNSAT	15.98
4qbf-5cnf-80var-1280cl.5	UNSAT	16.11
6qbf-5cnf-20var-320cl.4	UNSAT	16.18
4qbf-5cnf-80var-2560cl.6	UNSAT	16.22
4qbf-5cnf-80var-2560cl.8	UNSAT	16.25
4qbf-5cnf-80var-2560cl.1	UNSAT	16.26
3qbf-5cnf-40var-640cl.3	UNSAT	16.29
ncf_4_32_2_u.1	UNSAT	16.29
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	16.32
ncf_8_32_2_d.9	UNSAT	16.4
5qbf-5cnf-160var-5120cl.9	UNSAT	16.52
5qbf-5cnf-160var-5120cl.2	UNSAT	16.56
4qbf-5cnf-40var-640cl.8	UNSAT	16.58
robots_1_5_4_87.4	SAT	16.59
6qbf-5cnf-20var-640cl.8	UNSAT	16.92
Adder2-8-s	SAT	17.02
2qbf-5cnf-80var-640cl.1	UNSAT	17.3
ncf_8_16_2_euad.2	UNSAT	17.32
4qbf-5cnf-160var-2560cl.5	UNSAT	17.41
3qbf-5cnf-20var-640cl.6	UNSAT	17.45
2qbf-5cnf-160var-5120cl.6	UNSAT	17.52
robots_1_5_5_66.4	SAT	17.54
k_grz_p-12	UNSAT	17.55
2qbf-5cnf-40var-640cl.7	UNSAT	17.6
3qbf-5cnf-40var-160cl.4	SAT	17.74
2qbf-5cnf-20var-320cl.5	UNSAT	17.84
s713_d2_s	SAT	17.85
5qbf-5cnf-80var-1280cl.1	UNSAT	17.91
5qbf-5cnf-20var-640cl.5	UNSAT	17.92
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	17.95
6qbf-5cnf-160var-5120cl.2	UNSAT	17.97
2qbf-5cnf-80var-160cl.1	SAT	18
2qbf-5cnf-80var-1280cl.3	UNSAT	18.17
toilet_a_10_01.16	UNSAT	18.25
5qbf-5cnf-160var-5120cl.1	UNSAT	18.39
2qbf-5cnf-80var-1280cl.2	UNSAT	18.84
6qbf-5cnf-40var-1280cl.5	UNSAT	18.92
4qbf-5cnf-80var-640cl.2	UNSAT	19.16
horn_400CNF1520_2aQBF_405	UNSAT	19.39
6qbf-5cnf-40var-640cl.3	UNSAT	19.58
2qbf-5cnf-80var-160cl.2	SAT	19.69
6qbf-5cnf-20var-640cl.0	UNSAT	20.11
4qbf-5cnf-160var-2560cl.4	UNSAT	20.31
4qbf-5cnf-160var-2560cl.2	UNSAT	20.44
2qbf-5cnf-80var-1280cl.5	UNSAT	20.75
5qbf-5cnf-20var-640cl.4	UNSAT	20.79
robots_1_5_2_49.2	SAT	20.81
3qbf-5cnf-80var-1280cl.1	UNSAT	20.85
mutex-128-s	SAT	20.91
5qbf-5cnf-20var-640cl.8	UNSAT	21.06
5qbf-5cnf-160var-2560cl.2	UNSAT	21.1
6qbf-5cnf-160var-1280cl.2	UNSAT	21.53
5qbf-5cnf-20var-640cl.3	UNSAT	21.95
ev-pr-6x6-5-5-0-1-2-s	FAIL	22.07
4qbf-5cnf-80var-320cl.6	SAT	22.16
ncf_16_32_2_edau.10	UNSAT	22.23
2qbf-5cnf-40var-1280cl.8	UNSAT	22.28
ncf_8_16_2_u.2	UNSAT	22.5
5qbf-5cnf-20var-320cl.1	UNSAT	22.76
C880.blif_0.10_1.00_0_1_inp_exact	SAT	22.78
ncf_16_32_2_d.10	UNSAT	23.6
ncf_8_16_2_edau.2	UNSAT	23.65
horn_400CNF1840_2aQBF_752	UNSAT	23.94
counter_e_8	SAT	23.98
3qbf-5cnf-80var-1280cl.5	UNSAT	24.1
2qbf-5cnf-20var-80cl.6	SAT	24.23
robots_1_5_3_66.4	FAIL	24.39
ncf_8_16_2_d.2	UNSAT	24.46
4qbf-5cnf-160var-1280cl.8	UNSAT	24.53
2qbf-5cnf-20var-160cl.2	UNSAT	24.59
renHorn_400CNF1360_2aQBF_35	UNSAT	24.67
counter_r_8	SAT	24.7
5qbf-5cnf-20var-160cl.3	SAT	24.78
renHorn_400CNF1720_2aQBF_20	UNSAT	24.83
2qbf-5cnf-40var-320cl.1	UNSAT	24.89
ncf_8_16_4_edau.3	SAT	25.13
2qbf-5cnf-40var-320cl.6	UNSAT	25.44
ncf_4_16_2_d.1	UNSAT	25.9
2qbf-5cnf-80var-2560cl.3	UNSAT	26.29
k_d4_n-4	SAT	26.29
s298_d4_s	SAT	26.32
robots_1_5_2_100.2	SAT	26.54
2qbf-5cnf-20var-160cl.0	UNSAT	26.58
ncf_4_8_8_u.4	SAT	27.13
3qbf-5cnf-80var-1280cl.3	UNSAT	27.2
2qbf-5cnf-20var-160cl.4	UNSAT	27.86
2qbf-5cnf-80var-2560cl.1	UNSAT	28.85
6qbf-5cnf-40var-320cl.0	UNSAT	29.18
5qbf-5cnf-160var-5120cl.4	UNSAT	29.86
5qbf-5cnf-20var-320cl.8	UNSAT	29.94
3qbf-5cnf-160var-5120cl.3	UNSAT	30.04
horn_400CNF1440_2aQBF_829	UNSAT	30.11
6qbf-5cnf-40var-1280cl.0	UNSAT	30.98
Adder2-6-c	FAIL	31.62
ncf_4_16_4_edau.7	SAT	31.63
ncf_8_16_2_u.7	SAT	31.74
ev-pr-4x4-9-3-0-0-1-lg	FAIL	32.15
2qbf-5cnf-80var-1280cl.6	UNSAT	32.19
6qbf-5cnf-80var-1280cl.2	UNSAT	32.48
s820_d2_s	SAT	32.5
2qbf-5cnf-20var-160cl.6	UNSAT	33.06
4qbf-5cnf-20var-160cl.0	UNSAT	33.21
k_d4_n-12	FAIL	33.25
5qbf-5cnf-160var-5120cl.6	UNSAT	33.4
4qbf-5cnf-20var-640cl.2	UNSAT	33.54
5qbf-5cnf-160var-2560cl.4	UNSAT	33.68
2qbf-5cnf-20var-160cl.8	UNSAT	33.71
5qbf-5cnf-80var-1280cl.4	UNSAT	33.72
robots_1_5_3_44.4	FAIL	33.94
3qbf-5cnf-160var-2560cl.8	UNSAT	33.97
adder-14-unsat	FAIL	34.05
ncf_8_16_8_d.1	SAT	34.3
4qbf-5cnf-20var-640cl.3	UNSAT	34.35
4qbf-5cnf-160var-2560cl.6	UNSAT	34.54
robots_1_5_3_20.4	SAT	35.46
robots_1_5_4_98.4	SAT	35.72
robots_1_5_3_55.8	FAIL	35.92
mutex-32-s	SAT	35.98
horn_400CNF1600_2aQBF_571	UNSAT	36.2
szymanski-8-s	UNSAT	36.24
ncf_4_16_4_d.7	SAT	36.3
C432.blif_0.10_0.20_0_0_out_exact	FAIL	36.4
5qbf-5cnf-80var-1280cl.6	UNSAT	36.54
ncf_8_16_2_euad.7	SAT	36.55
ncf_4_8_8_edau.2	UNSAT	37.19
3qbf-5cnf-160var-2560cl.2	UNSAT	37.28
5qbf-5cnf-160var-2560cl.3	UNSAT	37.37
3qbf-5cnf-20var-160cl.2	SAT	37.73
2qbf-5cnf-20var-160cl.5	UNSAT	37.78
5qbf-5cnf-160var-2560cl.1	UNSAT	37.8
4qbf-5cnf-160var-5120cl.0	UNSAT	38.1
2qbf-5cnf-160var-5120cl.2	UNSAT	38.22
5qbf-5cnf-40var-640cl.1	UNSAT	38.59
4qbf-5cnf-160var-1280cl.3	UNSAT	38.61
renHorn_400CNF1200_2aQBF_8	UNSAT	38.76
5qbf-5cnf-40var-1280cl.4	UNSAT	38.76
3qbf-5cnf-40var-640cl.9	UNSAT	39.03
connect_9x8_3_R	FAIL	39.12
ncf_8_16_2_euad.10	SAT	39.43
2qbf-5cnf-80var-1280cl.1	UNSAT	39.56
5qbf-5cnf-20var-640cl.7	UNSAT	39.82
2qbf-5cnf-20var-160cl.1	UNSAT	40.04
3qbf-5cnf-40var-1280cl.4	UNSAT	40.74
2qbf-5cnf-160var-320cl.6	SAT	40.91
5qbf-5cnf-80var-1280cl.0	UNSAT	40.99
2qbf-5cnf-40var-320cl.3	UNSAT	41.18
horn_400CNF1680_2aQBF_433	UNSAT	42.02
6qbf-5cnf-160var-5120cl.1	UNSAT	42.36
adder-4-unsat	FAIL	42.5
counter_re_8	SAT	42.92
3qbf-5cnf-80var-1280cl.2	UNSAT	42.93
connect_9x8_4_R	FAIL	43.71
5qbf-5cnf-40var-640cl.7	UNSAT	43.83
4qbf-5cnf-80var-2560cl.4	UNSAT	43.87
5qbf-5cnf-160var-2560cl.7	UNSAT	44.07
horn_400CNF2000_2aQBF_564	UNSAT	44.5
horn_400CNF1440_2aQBF_668	UNSAT	44.71
6qbf-5cnf-160var-5120cl.0	UNSAT	45.17
ncf_4_16_2_edau.1	UNSAT	45.24
robots_1_5_4_91.4	SAT	45.34
horn_400CNF1600_2aQBF_922	UNSAT	45.42
4qbf-5cnf-80var-1280cl.7	UNSAT	45.45
4qbf-5cnf-20var-320cl.5	UNSAT	45.8
4qbf-5cnf-80var-640cl.9	UNSAT	45.99
5qbf-5cnf-40var-1280cl.3	UNSAT	46.02
robots_1_5_3_78.4	SAT	46.21
4qbf-5cnf-40var-1280cl.4	UNSAT	46.33
robots_1_5_3_2.4	SAT	46.37
renHorn_400CNF1800_2aQBF_2	UNSAT	46.69
2qbf-5cnf-160var-5120cl.1	UNSAT	47.05
5qbf-5cnf-80var-2560cl.5	UNSAT	47.11
2qbf-5cnf-40var-320cl.7	UNSAT	47.8
connect_8x7_5_R	FAIL	48.07
Adder2-4-c	FAIL	48.1
5qbf-5cnf-40var-640cl.5	UNSAT	48.27
4qbf-5cnf-160var-2560cl.9	UNSAT	48.56
connect_9x8_5_R	FAIL	48.82
mutex-64-s	SAT	49.25
5qbf-5cnf-80var-2560cl.1	UNSAT	49.79
ncf_4_16_4_edau.10	UNSAT	50.21
6qbf-5cnf-160var-2560cl.2	UNSAT	50.46
2qbf-5cnf-20var-160cl.3	UNSAT	50.67
robots_1_5_3_16.4	SAT	50.83
4qbf-5cnf-20var-320cl.3	UNSAT	51.26
k_d4_n-8	SAT	51.64
ncf_4_8_8_d.2	UNSAT	52.88
4qbf-5cnf-20var-320cl.7	UNSAT	53.27
k_t4p_n-21	FAIL	54.73
2qbf-5cnf-160var-5120cl.0	UNSAT	54.8
5qbf-5cnf-80var-1280cl.7	UNSAT	54.86
ev-pr-4x4-5-3-0-0-1-lg	SAT	55.57
ev-pr-4x4-17-3-0-0-1-lg	FAIL	55.71
4qbf-5cnf-40var-1280cl.1	UNSAT	55.81
ncf_8_16_8_euad.1	SAT	56.14
6qbf-5cnf-20var-320cl.7	UNSAT	56.6
connect_9x8_8_R	FAIL	56.62
horn_400CNF1520_2aQBF_782	UNSAT	56.84
6qbf-5cnf-160var-2560cl.1	UNSAT	57.47
3qbf-5cnf-20var-320cl.5	UNSAT	58.04
horn_400CNF1760_2aQBF_10	UNSAT	58.48
robots_1_5_3_52.4	SAT	58.59
ncf_4_16_2_euad.1	UNSAT	58.98
robots_1_5_5_30.4	SAT	59.78
robots_1_5_5_45.4	SAT	59.81
4qbf-5cnf-80var-1280cl.6	UNSAT	60.12
2qbf-5cnf-40var-320cl.9	UNSAT	60.3
2qbf-5cnf-160var-2560cl.0	UNSAT	60.82
4qbf-5cnf-40var-1280cl.8	UNSAT	60.97
renHorn_400CNF1800_2aQBF_36	UNSAT	61.15
horn_400CNF1840_2aQBF_980	UNSAT	61.78
2qbf-5cnf-40var-640cl.5	UNSAT	62.01
4qbf-5cnf-160var-5120cl.5	UNSAT	62.21
s499_d4_s	SAT	62.57
2qbf-5cnf-40var-320cl.0	UNSAT	62.71
ncf_4_32_2_u.2	FAIL	62.72
robots_1_5_2_28.2	SAT	63.63
2qbf-5cnf-40var-320cl.8	UNSAT	63.71
4qbf-5cnf-160var-2560cl.0	UNSAT	63.77
2qbf-5cnf-160var-1280cl.3	FAIL	64.53
2qbf-5cnf-80var-320cl.9	UNSAT	65.38
4qbf-5cnf-160var-1280cl.2	UNSAT	65.69
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	65.89
4qbf-5cnf-20var-320cl.9	UNSAT	66.46
4qbf-5cnf-160var-5120cl.6	UNSAT	66.84
2qbf-5cnf-40var-640cl.8	UNSAT	66.95
4qbf-5cnf-80var-1280cl.1	UNSAT	67.03
2qbf-5cnf-160var-1280cl.0	UNSAT	68.33
6qbf-5cnf-160var-2560cl.7	UNSAT	68.47
6qbf-5cnf-20var-320cl.0	UNSAT	68.97
4qbf-5cnf-20var-320cl.2	UNSAT	70.13
5qbf-5cnf-80var-2560cl.8	UNSAT	70.43
2qbf-5cnf-160var-1280cl.5	UNSAT	70.79
2qbf-5cnf-40var-640cl.2	UNSAT	71.29
6qbf-5cnf-80var-1280cl.0	UNSAT	71.72
4qbf-5cnf-160var-5120cl.9	UNSAT	71.89
4qbf-5cnf-20var-320cl.8	UNSAT	72.18
4qbf-5cnf-40var-1280cl.6	UNSAT	72.82
counter_16	SAT	73.45
6qbf-5cnf-20var-320cl.1	UNSAT	73.64
robots_1_5_5_66.8	SAT	74.03
2qbf-5cnf-40var-640cl.0	UNSAT	74.46
adder-10-sat	SAT	74.61
horn_400CNF1360_2aQBF_130	UNSAT	74.9
4qbf-5cnf-80var-1280cl.4	UNSAT	75
connect_7x6_3_R	FAIL	75.63
k_ph_n-16	SAT	75.82
4qbf-5cnf-20var-320cl.6	UNSAT	76.41
5qbf-5cnf-20var-320cl.3	UNSAT	77.06
5qbf-5cnf-40var-640cl.9	UNSAT	77.64
5qbf-5cnf-80var-1280cl.8	UNSAT	77.71
3qbf-5cnf-20var-160cl.9	SAT	77.72
robots_1_5_5_87.4	SAT	77.88
4qbf-5cnf-40var-640cl.1	UNSAT	78
renHorn_400CNF1960_2aQBF_68	UNSAT	78.23
6qbf-5cnf-80var-2560cl.8	UNSAT	78.87
horn_400CNF1920_2aQBF_603	UNSAT	79.07
s510_d46_s	FAIL	79.81
connect_8x7_4_R	FAIL	80.11
horn_400CNF2160_2aQBF_411	UNSAT	80.26
adder-6-unsat	FAIL	80.27
BLOCKS4ii.6.3	FAIL	80.5
ev-pr-8x8-11-7-0-1-2-lg	UNSAT	81.04
s510_d47_u	FAIL	81.23
k_lin_n-21	FAIL	81.33
2qbf-5cnf-20var-160cl.9	UNSAT	81.89
5qbf-5cnf-80var-1280cl.3	UNSAT	82.13
renHorn_400CNF1200_2aQBF_2	UNSAT	83.05
5qbf-5cnf-80var-2560cl.2	UNSAT	83.63
3qbf-5cnf-20var-160cl.1	SAT	83.92
5qbf-5cnf-20var-160cl.5	SAT	83.93
ncf_4_16_2_u.1	UNSAT	84.88
robots_1_5_3_57.4	SAT	85.13
robots_1_5_4_17.8	FAIL	85.85
robots_1_5_4_46.8	FAIL	86.39
2qbf-5cnf-40var-320cl.5	UNSAT	86.42
robots_1_5_4_75.8	FAIL	86.52
2qbf-5cnf-80var-160cl.6	SAT	86.62
6qbf-5cnf-160var-2560cl.4	UNSAT	86.76
2qbf-5cnf-160var-2560cl.6	UNSAT	87.26
horn_400CNF1520_2aQBF_53	UNSAT	87.87
robots_1_5_4_96.8	FAIL	88.33
robots_1_5_2_75.8	FAIL	88.52
robots_1_5_2_32.8	FAIL	88.75
robots_1_5_2_100.8	FAIL	88.95
robots_1_5_3_16.8	FAIL	89.63
robots_1_5_2_82.8	FAIL	90.51
renHorn_400CNF1480_2aQBF_85	UNSAT	91.06
robots_1_5_5_95.8	FAIL	91.18
k_lin_n-20	FAIL	91.53
6qbf-5cnf-40var-1280cl.6	UNSAT	91.68
2qbf-5cnf-40var-320cl.2	UNSAT	91.81
ncf_4_16_4_u.10	UNSAT	91.84
robots_1_5_2_54.8	FAIL	92.19
robots_1_5_4_24.8	FAIL	92.32
2qbf-5cnf-160var-1280cl.8	UNSAT	93.57
6qbf-5cnf-80var-2560cl.7	UNSAT	93.78
6qbf-5cnf-160var-5120cl.9	UNSAT	94.53
4qbf-5cnf-160var-2560cl.8	UNSAT	94.54
3qbf-5cnf-160var-2560cl.3	UNSAT	95.53
adder-16-unsat	FAIL	95.75
2qbf-5cnf-160var-5120cl.7	UNSAT	96.64
6qbf-5cnf-20var-320cl.5	UNSAT	96.74
6qbf-5cnf-80var-2560cl.4	UNSAT	97.89
6qbf-5cnf-40var-640cl.2	UNSAT	98.47
4qbf-5cnf-40var-320cl.2	UNSAT	99.26
horn_400CNF1760_2aQBF_188	UNSAT	99.64
5qbf-5cnf-80var-1280cl.2	UNSAT	100
6qbf-5cnf-80var-1280cl.7	UNSAT	101.04
counter_re_64	FAIL	101.69
4qbf-5cnf-20var-320cl.4	UNSAT	102.41
horn_400CNF1360_2aQBF_831	UNSAT	102.41
6qbf-5cnf-80var-2560cl.2	UNSAT	102.52
s3330_d8_s	FAIL	103.4
robots_1_5_2_47.2	SAT	103.89
4qbf-5cnf-80var-1280cl.0	UNSAT	104.07
ev-pr-4x4-7-3-0-0-1-lg	SAT	104.68
horn_400CNF1600_2aQBF_236	UNSAT	104.69
6qbf-5cnf-40var-1280cl.8	UNSAT	106.07
horn_400CNF2320_2aQBF_209	UNSAT	106.22
2qbf-5cnf-80var-640cl.7	UNSAT	106.4
robots_1_5_5_100.8	FAIL	108.7
ev-pr-6x6-11-5-0-1-2-lg	FAIL	109.7
k_d4_n-16	SAT	111.78
4qbf-5cnf-160var-2560cl.3	UNSAT	111.9
4qbf-5cnf-20var-160cl.4	UNSAT	112.86
4qbf-5cnf-40var-320cl.6	UNSAT	114.92
6qbf-5cnf-80var-1280cl.4	UNSAT	115.82
k_ph_p-8	UNSAT	115.91
s3330_d9_s	FAIL	116.04
2qbf-5cnf-160var-2560cl.5	UNSAT	117.38
6qbf-5cnf-40var-640cl.1	UNSAT	117.78
BLOCKS4i.6.4	FAIL	118
6qbf-5cnf-40var-1280cl.4	UNSAT	118.01
robots_1_5_3_64.8	FAIL	118.22
2qbf-5cnf-80var-1280cl.9	UNSAT	118.86
robots_1_5_3_90.8	FAIL	118.97
k_lin_n-16	FAIL	119.36
6qbf-5cnf-20var-640cl.1	UNSAT	119.57
6qbf-5cnf-40var-640cl.8	UNSAT	119.93
ncf_4_16_4_euad.10	UNSAT	120.82
3qbf-5cnf-20var-160cl.0	FAIL	120.88
6qbf-5cnf-80var-1280cl.8	UNSAT	121.64
2qbf-5cnf-80var-640cl.6	UNSAT	121.65
2qbf-5cnf-80var-2560cl.7	UNSAT	121.71
2qbf-5cnf-80var-640cl.9	UNSAT	122.49
6qbf-5cnf-40var-1280cl.1	UNSAT	122.98
renHorn_400CNF1800_2aQBF_53	UNSAT	123.04
k_lin_n-4	SAT	123.62
4qbf-5cnf-40var-640cl.0	UNSAT	123.65
2qbf-5cnf-40var-160cl.2	UNSAT	124.83
4qbf-5cnf-40var-640cl.2	UNSAT	126.69
ncf_4_8_8_u.8	FAIL	128.47
4qbf-5cnf-80var-2560cl.2	UNSAT	128.96
6qbf-5cnf-20var-320cl.3	UNSAT	129.88
robots_1_5_3_24.4	SAT	131.34
ncf_4_16_4_euad.6	UNSAT	131.97
2qbf-5cnf-160var-640cl.3	UNSAT	132.22
2qbf-5cnf-160var-2560cl.9	UNSAT	132.25
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	132.89
4qbf-5cnf-40var-1280cl.7	UNSAT	135.37
s3330_d10_u	FAIL	135.75
6qbf-5cnf-40var-1280cl.7	UNSAT	136.08
ncf_16_128_8_u.3	FAIL	136.82
2qbf-5cnf-160var-2560cl.7	UNSAT	137.58
connect_8x7_3_R	FAIL	137.9
ncf_16_128_8_euad.9	FAIL	138.22
4qbf-5cnf-40var-1280cl.0	UNSAT	139.09
4qbf-5cnf-80var-2560cl.3	UNSAT	139.1
renHorn_400CNF1480_2aQBF_44	UNSAT	140.19
ncf_16_128_8_d.3	FAIL	140.35
6qbf-5cnf-80var-1280cl.1	UNSAT	140.84
ncf_16_128_8_edau.3	FAIL	143.36
k_grz_p-16	UNSAT	143.47
6qbf-5cnf-80var-1280cl.9	UNSAT	143.52
5qbf-5cnf-40var-640cl.4	UNSAT	143.77
4qbf-5cnf-80var-1280cl.8	UNSAT	143.85
3qbf-5cnf-20var-320cl.8	UNSAT	145.34
ncf_8_16_8_edau.9	UNSAT	146.33
k_lin_n-8	SAT	146.48
ncf_16_128_8_d.9	FAIL	146.82
2qbf-5cnf-160var-2560cl.8	UNSAT	147.15
2qbf-5cnf-40var-640cl.1	UNSAT	147.17
5qbf-5cnf-80var-1280cl.9	UNSAT	147.85
ncf_16_128_8_euad.3	FAIL	149.78
ncf_16_128_8_u.9	FAIL	150.06
3qbf-5cnf-20var-160cl.7	SAT	150.32
4qbf-5cnf-80var-1280cl.3	UNSAT	151.69
BLOCKS4ii.7.2	FAIL	151.81
k_d4_n-20	SAT	154.45
4qbf-5cnf-160var-1280cl.6	UNSAT	154.98
ncf_16_128_8_edau.9	FAIL	156.25
3qbf-5cnf-80var-1280cl.9	UNSAT	157.05
2qbf-5cnf-80var-1280cl.8	UNSAT	158.16
2qbf-5cnf-160var-2560cl.4	UNSAT	158.75
robots_1_5_5_5.8	FAIL	158.97
term1.blif_0.10_0.20_0_1_inp_exact	SAT	161.01
2qbf-5cnf-80var-320cl.6	UNSAT	161.15
ncf_16_128_8_d.2	FAIL	162.92
ncf_16_128_8_edau.2	FAIL	165.14
3qbf-5cnf-20var-160cl.4	SAT	165.26
4qbf-5cnf-40var-320cl.9	UNSAT	165.84
2qbf-5cnf-80var-1280cl.0	UNSAT	166.96
k_grz_n-12	FAIL	167.26
ncf_8_16_2_d.7	SAT	169.48
6qbf-5cnf-40var-640cl.0	UNSAT	170.39
k_lin_n-12	SAT	170.86
ev-pr-6x6-9-5-0-1-2-lg	FAIL	172.2
horn_400CNF2080_2aQBF_793	UNSAT	172.66
4qbf-5cnf-40var-640cl.7	UNSAT	176.69
4qbf-5cnf-80var-640cl.6	UNSAT	176.7
2qbf-5cnf-80var-1280cl.4	UNSAT	179.03
6qbf-5cnf-40var-640cl.6	UNSAT	179.31
robots_1_5_2_81.2	SAT	181.27
ncf_16_128_8_u.2	FAIL	183.18
5qbf-5cnf-20var-160cl.8	SAT	183.67
s510_d16_s	FAIL	184.9
6qbf-5cnf-40var-1280cl.9	UNSAT	186.09
ev-pr-6x6-13-5-0-1-2-lg	FAIL	186.12
connect_7x6_4_R	FAIL	187.16
ncf_4_16_4_u.7	FAIL	188.91
ncf_16_32_4_edau.5	UNSAT	189.34
2qbf-5cnf-80var-640cl.4	UNSAT	189.43
2qbf-5cnf-80var-640cl.2	UNSAT	189.84
s510_d8_s	FAIL	189.94
ncf_16_128_8_euad.2	FAIL	191.17
6qbf-5cnf-20var-640cl.9	UNSAT	191.75
6qbf-5cnf-80var-1280cl.6	UNSAT	192.19
k_ph_n-8	SAT	192.49
counter_r_64	FAIL	193.49
ncf_4_16_2_edau.3	UNSAT	194.12
3qbf-5cnf-40var-160cl.9	SAT	194.62
s1269_d10_s	FAIL	195.27
2qbf-5cnf-160var-1280cl.2	UNSAT	196.98
2qbf-5cnf-80var-320cl.5	UNSAT	197.65
ncf_4_8_8_euad.8	SAT	198.23
3qbf-5cnf-160var-2560cl.4	UNSAT	198.94
ev-pr-6x6-19-5-0-1-2-lg	FAIL	199
k_d4_n-21	SAT	199.45
2qbf-5cnf-80var-320cl.3	UNSAT	203.85
ncf_8_16_2_edau.7	FAIL	204.01
k_t4p_n-16	FAIL	204.34
4qbf-5cnf-160var-5120cl.2	UNSAT	205.92
renHorn_400CNF1560_2aQBF_2	UNSAT	206.38
5qbf-5cnf-80var-2560cl.7	UNSAT	210.05
2qbf-5cnf-160var-640cl.9	UNSAT	211.29
connect_7x6_6_R	FAIL	211.99
robots_1_5_2_10.2	SAT	213.76
4qbf-5cnf-20var-160cl.3	UNSAT	214.03
robots_1_5_4_56.8	FAIL	214.11
k_ph_n-21	FAIL	214.13
5qbf-5cnf-80var-1280cl.5	UNSAT	214.62
k_branch_n-12	FAIL	215.2
2qbf-5cnf-160var-640cl.1	UNSAT	216.84
6qbf-5cnf-20var-320cl.6	UNSAT	217.31
adder-12-unsat	FAIL	218.38
ncf_4_32_2_euad.2	FAIL	219.12
4qbf-5cnf-40var-640cl.9	UNSAT	219.34
5qbf-5cnf-20var-160cl.7	SAT	220.2
k_grz_p-21	UNSAT	224.59
connect_5x4_4_R	UNSAT	225.03
4qbf-5cnf-80var-640cl.3	UNSAT	225.13
ncf_4_16_4_edau.6	UNSAT	226.64
4qbf-5cnf-20var-160cl.8	UNSAT	229.29
horn_400CNF1760_2aQBF_330	UNSAT	230.04
horn_400CNF2080_2aQBF_584	UNSAT	232.16
connect_8x7_6_R	FAIL	232.4
ncf_16_32_4_d.1	SAT	232.52
6qbf-5cnf-20var-640cl.7	UNSAT	233.86
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	236.34
4qbf-5cnf-80var-640cl.0	UNSAT	236.83
4qbf-5cnf-40var-640cl.6	UNSAT	237.05
2qbf-5cnf-160var-2560cl.1	UNSAT	237.08
4qbf-5cnf-40var-640cl.5	UNSAT	241.79
4qbf-5cnf-40var-1280cl.5	UNSAT	242.52
ncf_16_128_8_d.7	FAIL	242.89
2qbf-5cnf-40var-320cl.4	UNSAT	243.01
1qbf-5cnf-160var-2560cl.8	SAT	247.58
ncf_16_32_4_d.5	UNSAT	247.67
BLOCKS4iii.7	SAT	248.84
szymanski-14-s	FAIL	250.43
ncf_16_128_8_d.8	FAIL	253.43
2qbf-5cnf-80var-2560cl.6	UNSAT	254.47
6qbf-5cnf-20var-640cl.4	UNSAT	254.62
s510_d32_s	FAIL	263.95
ncf_16_128_8_euad.8	FAIL	266.55
ncf_16_128_8_d.1	FAIL	267.53
Adder2-8-c	FAIL	269.15
ncf_16_128_8_euad.4	FAIL	272.87
ncf_16_128_8_u.8	FAIL	273.93
ev-pr-4x4-17-3-0-0-1-s	FAIL	274.17
ncf_16_128_8_d.4	FAIL	275.72
horn_400CNF2000_2aQBF_8	UNSAT	276.49
ncf_4_32_2_d.8	FAIL	277.17
ncf_16_128_8_euad.7	FAIL	278.91
2qbf-5cnf-80var-640cl.5	UNSAT	279.12
ncf_16_128_8_euad.1	FAIL	279.32
ncf_4_32_2_euad.8	FAIL	280.26
6qbf-5cnf-40var-1280cl.2	UNSAT	280.51
ev-pr-8x8-13-7-0-1-2-lg	FAIL	282.7
s499_d16_s	FAIL	284.05
robots_1_5_4_30.4	FAIL	284.59
ncf_16_128_8_euad.5	FAIL	285.15
ncf_16_128_8_d.6	FAIL	285.16
s3330_d4_s	FAIL	286.75
robots_1_5_4_91.8	UNSAT	287.28
Adder2-10-c	FAIL	287.71
robots_1_5_3_8.8	UNSAT	287.75
horn_400CNF1920_2aQBF_75	UNSAT	289.45
ncf_4_16_4_d.10	UNSAT	289.9
ev-pr-4x4-13-3-0-0-1-lg	FAIL	290.26
6qbf-5cnf-80var-640cl.8	UNSAT	293.02
ncf_16_128_8_euad.10	FAIL	294.02
ncf_16_128_8_euad.6	FAIL	294.69
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	294.91
connect_9x8_6_R	FAIL	294.92
ncf_16_128_8_d.5	FAIL	295.49
ev-pr-4x4-15-3-0-0-1-lg	FAIL	297.45
ncf_4_32_2_euad.4	UNSAT	299.61
ncf_16_128_8_u.5	FAIL	301.54
robots_1_5_3_27.8	FAIL	302.54
ncf_16_128_8_edau.8	FAIL	304.99
k_ph_p-21	FAIL	305.64
2qbf-5cnf-160var-5120cl.4	UNSAT	308.06
ncf_16_128_8_d.10	FAIL	309.11
3qbf-5cnf-40var-160cl.2	SAT	310.61
ev-pr-6x6-15-5-0-1-2-lg	FAIL	310.88
ncf_16_128_8_u.6	FAIL	311.39
3qbf-5cnf-20var-160cl.6	SAT	312.18
ev-pr-4x4-11-3-0-0-1-lg	SAT	313.36
4qbf-5cnf-40var-1280cl.3	UNSAT	314.16
ncf_16_128_8_u.4	FAIL	317.85
ev-pr-8x8-15-7-0-1-2-lg	FAIL	319.48
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	324.92
4qbf-5cnf-40var-320cl.0	UNSAT	325
robots_1_5_5_93.4	FAIL	330.78
ncf_16_128_8_edau.5	FAIL	330.98
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	331.73
robots_1_5_4_2.4	FAIL	335.54
ncf_16_128_8_edau.4	FAIL	336.06
robots_1_5_4_1.8	UNSAT	339.34
k_grz_p-20	FAIL	346.02
s1196_d3_u	FAIL	346.86
6qbf-5cnf-40var-640cl.5	UNSAT	346.91
ncf_16_128_8_edau.7	FAIL	348.71
robots_1_5_3_100.4	FAIL	348.85
robots_1_5_2_61.8	FAIL	352.44
4qbf-5cnf-160var-1280cl.9	UNSAT	352.6
C432.blif_0.10_0.20_0_1_inp_exact	SAT	352.83
5qbf-5cnf-20var-160cl.4	SAT	353.17
ev-pr-8x8-19-7-0-1-2-lg	FAIL	353.53
ncf_16_128_8_edau.10	FAIL	354.6
3qbf-5cnf-20var-160cl.5	SAT	357.69
4qbf-5cnf-40var-320cl.3	UNSAT	360.74
renHorn_400CNF1560_2aQBF_68	UNSAT	363.87
ncf_16_128_8_edau.1	FAIL	364.73
ev-pr-4x4-7-3-0-0-1-s	FAIL	365.19
ncf_16_128_8_edau.6	FAIL	365.62
adder-8-unsat	FAIL	366.18
connect_6x5_4_R	FAIL	366.6
robots_1_5_4_51.4	FAIL	373.17
horn_400CNF2160_2aQBF_23	UNSAT	373.64
k_branch_n-16	FAIL	374.72
connect_8x7_7_R	FAIL	375.59
ncf_16_128_8_u.1	FAIL	378.65
3qbf-5cnf-40var-160cl.6	SAT	379.69
k_branch_n-8	FAIL	382.59
ncf_16_128_8_u.10	FAIL	383.76
ncf_4_8_8_edau.7	SAT	385.25
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	392.96
k_ph_n-20	FAIL	393.08
2qbf-5cnf-40var-160cl.5	FAIL	393.42
5qbf-5cnf-20var-160cl.6	SAT	394.7
s1196_d2_s	FAIL	394.96
renHorn_400CNF2120_2aQBF_17	UNSAT	395.79
6qbf-5cnf-20var-320cl.2	UNSAT	401.37
ncf_4_32_2_edau.5	UNSAT	401.91
ncf_4_32_2_u.8	FAIL	404.46
4qbf-5cnf-20var-160cl.1	UNSAT	412.78
k_ph_p-12	FAIL	413.26
ev-pr-8x8-17-7-0-1-2-lg	FAIL	415.7
test5_quant_squaring4	FAIL	424.08
ncf_16_128_2_edau.4	FAIL	434.81
horn_400CNF2160_2aQBF_660	UNSAT	437.15
robots_1_5_2_91.8	FAIL	441.27
3qbf-5cnf-80var-320cl.9	SAT	444.68
4qbf-5cnf-80var-2560cl.0	UNSAT	447.38
ev-pr-4x4-9-3-0-0-1-s	FAIL	449.59
5qbf-5cnf-20var-160cl.1	SAT	449.66
ncf_8_16_8_edau.8	UNSAT	466.64
robots_1_5_5_33.8	UNSAT	466.75
robots_1_5_5_50.8	FAIL	471.42
ev-pr-6x6-7-5-0-1-2-s	FAIL	475.3
connect_9x8_7_R	FAIL	481.7
C432.blif_0.10_0.20_0_1_out_exact	FAIL	482.03
ncf_4_32_2_edau.6	UNSAT	491.65
robots_1_5_4_100.8	UNSAT	492.05
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	497.84
k_grz_p-8	UNSAT	500.85
robots_1_5_2_39.4	FAIL	522.55
3qbf-5cnf-20var-320cl.7	UNSAT	522.94
robots_1_5_2_9.8	FAIL	529.87
k_branch_n-21	FAIL	536.56
test5_quant_squaring5	FAIL	540.94
robots_1_5_3_39.8	FAIL	543.82
robots_1_5_2_67.8	FAIL	544.32
5qbf-5cnf-20var-160cl.0	SAT	550.27
4qbf-5cnf-80var-640cl.8	UNSAT	552.91
robots_1_5_3_44.8	UNSAT	553.28
4qbf-5cnf-160var-1280cl.1	UNSAT	556.03
ncf_4_32_2_u.4	UNSAT	557.73
ncf_16_128_2_edau.2	FAIL	560.42
ev-pr-6x6-17-5-0-1-2-lg	FAIL	565.11
ncf_4_16_8_u.7	FAIL	571.27
ncf_4_16_2_d.3	UNSAT	573.22
robots_1_5_5_26.4	FAIL	575.33
counter_32	SAT	576.47
ncf_4_16_4_euad.7	FAIL	578.21
renHorn_400CNF1960_2aQBF_76	UNSAT	580.07
s3330_d2_s	FAIL	581.98
ncf_4_16_4_edau.2	SAT	588.13
3qbf-5cnf-20var-160cl.3	SAT	589.59
ncf_4_8_8_u.2	UNSAT	602.03
ncf_8_32_8_edau.8	FAIL	604.45
2qbf-5cnf-160var-640cl.4	UNSAT	606.32
4qbf-5cnf-40var-160cl.9	SAT	610.29
robots_1_5_4_31.4	FAIL	620.65
s499_d21_s	FAIL	623.53
ncf_16_64_4_edau.10	FAIL	623.93
Adder2-12-c	FAIL	624.48
horn_400CNF1680_2aQBF_154	UNSAT	629.9
robots_1_5_2_40.8	FAIL	632.97
robots_1_5_5_10.8	FAIL	635.88
szymanski-24-s	FAIL	638.03
ncf_8_32_8_d.8	FAIL	639
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	641.74
s713_d7_u	FAIL	642.12
ncf_4_8_8_euad.2	UNSAT	642.58
ncf_4_16_4_d.3	FAIL	644.17
s713_d6_s	FAIL	647.43
ncf_4_8_8_euad.7	FAIL	655.73
k_branch_n-20	FAIL	662.28
ncf_4_32_2_edau.8	FAIL	672.29
robots_1_5_5_12.8	UNSAT	673.25
ncf_4_32_2_d.5	UNSAT	679.36
robots_1_5_5_99.8	UNSAT	685.03
adder-10-unsat	FAIL	690.3
robots_1_5_3_70.8	UNSAT	694.53
ncf_4_16_4_u.6	UNSAT	697.97
ncf_4_32_2_u.5	UNSAT	701.31
robots_1_5_5_14.8	UNSAT	705.61
ncf_4_32_2_euad.3	UNSAT	708.93
k_branch_n-4	FAIL	717.96
ncf_8_16_8_d.9	UNSAT	731.78
1qbf-5cnf-80var-2560cl.2	UNSAT	746.74
robots_1_5_2_3.4	FAIL	747.19
horn_400CNF2320_2aQBF_420	UNSAT	758.17
robots_1_5_2_82.4	FAIL	770.04
C499.blif_0.10_0.20_0_1_out_exact	FAIL	776.37
ncf_4_16_8_euad.7	FAIL	778.91
robots_1_5_2_85.4	FAIL	781.11
ncf_4_8_8_d.7	SAT	785.35
robots_1_5_2_100.4	FAIL	786.85
robots_1_5_2_2.4	FAIL	786.93
2qbf-5cnf-160var-640cl.0	FAIL	787.8
k_path_n-8	FAIL	790.48
ncf_4_8_4_euad.6	FAIL	791.76
robots_1_5_2_99.4	FAIL	797.61
ncf_4_16_4_u.2	FAIL	800.52
robots_1_5_4_99.8	FAIL	808.52
k_grz_n-20	FAIL	815.6
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	821.67
5qbf-5cnf-20var-160cl.2	FAIL	821.74
Adder2-10-s	FAIL	823.53
2qbf-5cnf-40var-160cl.0	FAIL	832.17
horn_400CNF1520_2aQBF_600	UNSAT	839.03
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	840.27
renHorn_400CNF1960_2aQBF_50	UNSAT	844
2qbf-5cnf-80var-320cl.4	UNSAT	848
robots_1_5_2_80.4	FAIL	848.32
C499.blif_0.10_0.20_0_0_out_exact	FAIL	851.11
4qbf-5cnf-80var-640cl.7	UNSAT	851.44
horn_400CNF1840_2aQBF_215	UNSAT	871.42
ncf_8_16_8_edau.6	UNSAT	872.42
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	873.36
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	874.99
robots_1_5_3_100.8	FAIL	880.9
test4_quant_squaring4	FAIL	884.77
k_grz_n-16	FAIL	885.87
s1269_d4_s	FAIL	887.45
counter_e_16	FAIL	892.38
3qbf-5cnf-20var-160cl.8	FAIL	892.98
k_ph_p-16	FAIL	893.24
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	893.79
1qbf-5cnf-160var-5120cl.7	FAIL	893.81
5qbf-5cnf-20var-160cl.9	FAIL	893.87
s713_d4_s	FAIL	894.17
1qbf-5cnf-160var-5120cl.4	FAIL	894.17
1qbf-5cnf-160var-5120cl.3	FAIL	894.22
1qbf-5cnf-160var-5120cl.2	FAIL	894.25
1qbf-5cnf-160var-5120cl.0	FAIL	894.31
1qbf-5cnf-160var-5120cl.6	FAIL	894.36
1qbf-5cnf-160var-5120cl.9	FAIL	894.44
1qbf-5cnf-160var-5120cl.1	FAIL	894.47
1qbf-5cnf-160var-5120cl.5	FAIL	894.48
5qbf-5cnf-20var-320cl.2	FAIL	894.51
ncf_4_16_4_u.4	FAIL	894.52
1qbf-5cnf-160var-5120cl.8	FAIL	894.54
s820_d10_s	FAIL	894.65
counter_re_16	FAIL	895.1
robots_1_5_2_45.4	FAIL	895.19
szymanski-20-s	FAIL	895.59
test3_quant_squaring4	FAIL	895.72
szymanski-22-s	FAIL	895.81
ncf_8_32_8_d.6	FAIL	895.81
Adder2-12-s	FAIL	896.14
s820_d11_u	FAIL	896.14
counter_64	FAIL	896.24
1qbf-5cnf-80var-2560cl.8	FAIL	896.33
1qbf-5cnf-80var-2560cl.1	FAIL	896.39
1qbf-5cnf-80var-2560cl.5	FAIL	896.43
1qbf-5cnf-80var-2560cl.0	FAIL	896.43
1qbf-5cnf-80var-2560cl.4	FAIL	896.46
s1269_d8_s	FAIL	896.48
1qbf-5cnf-80var-2560cl.7	FAIL	896.54
ncf_4_32_8_d.2	FAIL	896.75
ncf_4_32_8_u.4	FAIL	896.82
1qbf-5cnf-80var-2560cl.6	FAIL	896.82
k_ph_p-20	FAIL	896.83
1qbf-5cnf-80var-2560cl.3	FAIL	896.84
1qbf-5cnf-80var-2560cl.9	FAIL	896.92
s1269_d11_u	FAIL	897.11
ncf_4_16_4_euad.4	FAIL	897.32
ncf_8_32_8_d.2	FAIL	897.4
ncf_8_64_4_edau.10	FAIL	897.58
renHorn_400CNF1280_2aQBF_56	UNSAT	897.63
s499_d22_u	FAIL	897.63
ncf_8_64_8_d.1	FAIL	897.64
counter_re_32	FAIL	897.67
s386_d4_s	FAIL	897.71
ncf_16_32_8_euad.1	FAIL	897.73
ncf_4_16_8_u.5	FAIL	897.75
ncf_4_16_2_u.3	FAIL	897.82
ncf_4_32_2_euad.7	FAIL	897.86
adder-12-sat	FAIL	897.87
ncf_4_32_8_u.1	FAIL	897.91
ncf_8_32_4_u.7	FAIL	897.91
ncf_8_64_4_d.7	FAIL	898
ncf_4_16_2_euad.3	FAIL	898.03
ncf_4_32_8_edau.2	FAIL	898.03
ncf_8_16_4_u.10	FAIL	898.08
ncf_8_64_4_u.2	FAIL	898.13
ncf_8_64_8_d.7	FAIL	898.14
ncf_4_16_8_edau.1	FAIL	898.26
s298_d16_s	FAIL	898.27
ncf_8_16_8_u.6	FAIL	898.28
ncf_4_8_8_euad.10	FAIL	898.31
horn_400CNF1920_2aQBF_583	FAIL	898.37
3qbf-5cnf-80var-320cl.6	FAIL	898.37
2qbf-5cnf-160var-320cl.0	FAIL	898.41
s386_d8_u	FAIL	898.46
ncf_8_16_2_u.4	FAIL	898.52
ncf_8_32_8_euad.5	FAIL	898.63
ncf_8_32_8_euad.2	FAIL	898.74
ncf_8_64_4_edau.5	FAIL	898.76
s298_d19_u	FAIL	898.79
ncf_8_16_8_edau.10	FAIL	898.82
ncf_16_64_8_edau.10	FAIL	898.85
ncf_8_64_4_edau.8	FAIL	898.85
ncf_8_32_2_euad.10	FAIL	898.93
ncf_8_32_8_d.3	FAIL	898.97
s820_d4_s	FAIL	898.97
counter_r_16	FAIL	899
counter_r_32	FAIL	899.01
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	899.01
ncf_8_64_4_euad.2	FAIL	899.03
ncf_4_32_8_euad.4	FAIL	899.08
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	899.12
3qbf-5cnf-40var-320cl.0	FAIL	899.13
ev-pr-6x6-9-5-0-1-2-s	FAIL	899.13
ncf_4_32_8_d.3	FAIL	899.23
ncf_16_32_8_edau.4	FAIL	899.23
ncf_16_32_8_u.9	FAIL	899.23
ev-pr-6x6-11-5-0-1-2-s	FAIL	899.3
ev-pr-6x6-19-5-0-1-2-s	FAIL	899.3
ncf_8_64_4_euad.1	FAIL	899.31
ncf_4_16_4_edau.3	FAIL	899.32
ncf_8_64_8_d.6	FAIL	899.33
szymanski-12-s	FAIL	899.35
5qbf-5cnf-20var-320cl.7	FAIL	899.37
s820_d8_s	FAIL	899.38
ev-pr-4x4-11-3-0-0-1-s	FAIL	899.43
ncf_8_16_2_euad.4	FAIL	899.47
counter_e_32	FAIL	899.49
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	899.51
ncf_4_32_4_d.7	FAIL	899.51
ncf_8_32_8_edau.1	FAIL	899.52
Adder2-16-c	FAIL	899.53
ncf_4_32_2_d.7	FAIL	899.53
szymanski-18-s	FAIL	899.56
ncf_8_64_4_u.8	FAIL	899.58
ncf_16_128_4_u.4	FAIL	899.61
ncf_16_32_8_u.7	FAIL	899.64
ncf_16_128_4_euad.4	FAIL	899.64
ncf_16_32_8_euad.2	FAIL	899.67
ncf_4_32_8_euad.8	FAIL	899.69
ncf_8_32_8_u.5	FAIL	899.7
ncf_8_64_8_u.4	FAIL	899.71
ncf_16_128_4_d.4	FAIL	899.72
ncf_8_64_4_euad.8	FAIL	899.72
ncf_16_32_8_euad.3	FAIL	899.73
ncf_16_128_2_edau.9	FAIL	899.77
ncf_16_128_4_edau.4	FAIL	899.79
counter_e_64	FAIL	899.79
ncf_4_32_4_edau.5	FAIL	899.8
ncf_16_128_4_euad.8	FAIL	899.8
ncf_8_64_8_euad.7	FAIL	899.8
s298_d18_s	FAIL	899.81
ncf_8_64_4_u.3	FAIL	899.81
3qbf-5cnf-40var-320cl.3	FAIL	899.83
ncf_8_32_8_u.8	FAIL	899.83
ncf_4_32_8_euad.2	FAIL	899.83
ncf_16_32_2_d.4	FAIL	899.83
ncf_8_32_8_euad.6	FAIL	899.83
test5_quant7	FAIL	899.84
ncf_8_64_8_u.7	FAIL	899.85
ncf_8_32_2_euad.3	FAIL	899.88
ncf_4_8_8_d.10	FAIL	899.89
s298_d8_s	FAIL	899.9
ncf_8_64_8_d.5	FAIL	899.9
ncf_8_32_8_euad.8	FAIL	899.9
ncf_4_32_2_edau.7	FAIL	899.93
ncf_16_128_4_d.6	FAIL	899.93
ncf_16_128_4_edau.8	FAIL	899.94
5qbf-5cnf-20var-320cl.9	FAIL	899.95
ncf_8_64_4_euad.3	FAIL	899.95
3qbf-5cnf-40var-160cl.1	FAIL	899.95
ev-pr-6x6-15-5-0-1-2-s	FAIL	899.95
ncf_8_32_8_u.7	FAIL	899.95
ncf_16_64_8_euad.3	FAIL	899.96
ncf_16_64_4_u.6	FAIL	899.96
3qbf-5cnf-40var-320cl.2	FAIL	899.96
test5_quant5	FAIL	899.97
ncf_8_64_2_d.10	FAIL	899.98
ncf_16_64_4_u.5	FAIL	899.98
ev-pr-6x6-17-5-0-1-2-s	FAIL	899.99
ncf_8_64_4_d.3	FAIL	900
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900
ncf_4_16_8_d.8	FAIL	900
ncf_4_32_8_u.8	FAIL	900.01
ncf_16_128_2_u.9	FAIL	900.02
ncf_8_64_4_euad.7	FAIL	900.03
ncf_16_64_4_euad.6	FAIL	900.03
ncf_8_64_4_edau.7	FAIL	900.04
ncf_8_64_8_edau.5	FAIL	900.05
ncf_8_64_4_u.6	FAIL	900.05
ncf_8_64_8_euad.3	FAIL	900.05
ev-pr-6x6-13-5-0-1-2-s	FAIL	900.08
ncf_8_64_4_euad.10	FAIL	900.09
ncf_8_64_8_u.6	FAIL	900.09
ncf_16_32_8_edau.10	FAIL	900.09
ncf_8_32_2_d.7	FAIL	900.1
ncf_8_64_8_edau.2	FAIL	900.1
uclid-pipe3a	FAIL	900.11
ncf_8_64_4_u.4	FAIL	900.11
ncf_8_32_8_edau.2	FAIL	900.11
ncf_16_64_8_u.3	FAIL	900.12
ncf_8_16_8_edau.2	FAIL	900.12
ncf_8_64_2_d.3	FAIL	900.13
ncf_4_32_4_edau.1	FAIL	900.13
ncf_8_32_2_d.3	FAIL	900.13
ncf_8_64_4_edau.4	FAIL	900.14
s510_d4_s	FAIL	900.14
ncf_8_64_2_edau.3	FAIL	900.14
ncf_8_64_8_edau.4	FAIL	900.14
ncf_16_128_4_d.8	FAIL	900.14
ncf_4_32_4_d.2	FAIL	900.15
ncf_8_64_2_d.5	FAIL	900.15
ncf_16_128_4_edau.7	FAIL	900.15
ncf_16_128_4_u.2	FAIL	900.16
ncf_4_16_8_u.3	FAIL	900.17
ncf_16_64_4_euad.10	FAIL	900.17
ncf_8_32_8_u.4	FAIL	900.17
ncf_4_32_8_d.10	FAIL	900.18
ncf_16_64_4_u.2	FAIL	900.18
ncf_16_128_2_d.9	FAIL	900.19
Adder2-14-s	FAIL	900.19
ncf_16_64_2_edau.8	FAIL	900.19
test1_quant3	FAIL	900.19
ncf_16_64_4_d.2	FAIL	900.19
ev-pr-4x4-15-3-0-0-1-s	FAIL	900.2
ncf_16_128_4_d.5	FAIL	900.2
ncf_8_32_8_euad.10	FAIL	900.2
ncf_16_128_4_euad.2	FAIL	900.2
ncf_8_32_8_d.1	FAIL	900.2
ncf_16_64_8_euad.2	FAIL	900.2
2qbf-5cnf-40var-160cl.6	FAIL	900.21
ncf_8_64_4_u.9	FAIL	900.21
szymanski-16-s	FAIL	900.21
ncf_16_128_4_euad.7	FAIL	900.21
ncf_8_64_8_euad.8	FAIL	900.22
ncf_8_64_4_euad.6	FAIL	900.22
ncf_16_128_4_d.10	FAIL	900.23
ncf_8_64_8_u.3	FAIL	900.23
ncf_16_128_2_edau.10	FAIL	900.23
test2_quant2	FAIL	900.24
ncf_16_64_4_euad.2	FAIL	900.24
ncf_8_32_8_u.9	FAIL	900.24
test2_quant_squaring2	FAIL	900.25
ncf_16_64_4_euad.9	FAIL	900.25
ncf_4_32_4_u.1	FAIL	900.25
ncf_16_128_4_d.2	FAIL	900.26
ncf_4_16_8_u.2	FAIL	900.26
ncf_8_16_4_euad.10	FAIL	900.26
ncf_8_64_4_d.10	FAIL	900.26
ncf_4_32_4_d.8	FAIL	900.26
s386_d7_s	FAIL	900.27
test1_quant_squaring2	FAIL	900.27
ncf_16_128_4_u.8	FAIL	900.27
ncf_8_64_8_euad.2	FAIL	900.28
ncf_16_32_8_u.1	FAIL	900.28
ncf_8_32_4_euad.3	FAIL	900.28
ncf_8_64_8_euad.1	FAIL	900.28
ncf_8_64_4_d.9	FAIL	900.29
s499_d8_s	FAIL	900.29
ncf_8_64_2_euad.6	FAIL	900.29
ncf_16_64_4_d.1	FAIL	900.29
ncf_8_64_4_d.8	FAIL	900.29
ncf_4_32_8_edau.3	FAIL	900.3
ncf_16_128_4_edau.9	FAIL	900.3
ncf_8_32_8_u.6	FAIL	900.3
ncf_16_64_2_edau.3	FAIL	900.3
test4_quant2	FAIL	900.3
test3_quant4	FAIL	900.3
ncf_4_32_2_d.6	FAIL	900.3
ncf_16_64_4_euad.3	FAIL	900.3
ncf_16_128_4_euad.6	FAIL	900.31
ncf_8_32_4_d.4	FAIL	900.32
ncf_8_64_8_euad.9	FAIL	900.32
ncf_16_32_8_euad.8	FAIL	900.32
ncf_8_64_8_u.8	FAIL	900.32
ncf_16_64_8_edau.3	FAIL	900.33
ncf_16_32_4_u.6	FAIL	900.33
ncf_16_128_4_u.10	FAIL	900.33
ncf_8_32_2_edau.7	FAIL	900.34
ncf_16_128_2_euad.3	FAIL	900.34
ncf_8_32_4_u.3	FAIL	900.34
ncf_8_64_8_u.10	FAIL	900.35
ncf_16_64_4_u.4	FAIL	900.35
ncf_4_32_8_d.9	FAIL	900.35
ncf_16_64_2_d.1	FAIL	900.35
ncf_16_128_4_edau.2	FAIL	900.36
ncf_8_64_4_edau.3	FAIL	900.36
Adder2-16-s	FAIL	900.36
ncf_8_64_8_euad.6	FAIL	900.36
ncf_8_32_4_u.4	FAIL	900.36
s1269_d2_s	FAIL	900.36
ncf_4_32_4_edau.9	FAIL	900.37
ncf_8_32_8_euad.4	FAIL	900.37
ncf_8_32_2_euad.2	FAIL	900.37
5qbf-5cnf-40var-320cl.4	FAIL	900.37
ncf_16_128_2_euad.7	FAIL	900.38
ncf_4_32_4_edau.6	FAIL	900.38
ncf_16_64_8_euad.9	FAIL	900.38
ncf_16_64_4_edau.9	FAIL	900.38
ncf_16_64_2_u.8	FAIL	900.38
ncf_8_64_4_edau.9	FAIL	900.38
ncf_8_64_2_edau.8	FAIL	900.38
ncf_16_128_4_euad.3	FAIL	900.38
ncf_8_64_2_u.6	FAIL	900.39
ncf_16_64_8_u.4	FAIL	900.39
ncf_8_64_4_u.1	FAIL	900.39
ncf_8_64_2_euad.1	FAIL	900.4
ncf_8_32_2_u.7	FAIL	900.4
ncf_4_32_2_d.3	FAIL	900.4
ncf_16_64_2_euad.10	FAIL	900.4
6qbf-5cnf-20var-160cl.1	FAIL	900.4
ncf_16_64_8_euad.8	FAIL	900.41
ncf_16_32_2_u.4	FAIL	900.41
ncf_16_64_8_u.5	FAIL	900.41
ncf_8_32_8_u.3	FAIL	900.41
ncf_8_64_4_euad.5	FAIL	900.41
ncf_8_32_4_d.2	FAIL	900.42
ncf_8_64_4_edau.2	FAIL	900.42
ncf_4_32_8_edau.4	FAIL	900.42
ncf_16_64_4_edau.3	FAIL	900.42
ncf_8_64_8_euad.5	FAIL	900.42
ncf_16_128_4_d.3	FAIL	900.42
ncf_16_128_4_u.6	FAIL	900.42
ncf_16_64_4_edau.1	FAIL	900.42
ncf_16_32_8_d.4	FAIL	900.42
ncf_16_128_4_euad.10	FAIL	900.42
ncf_16_128_2_u.2	FAIL	900.43
ncf_4_16_8_edau.5	FAIL	900.43
ncf_16_64_8_u.8	FAIL	900.43
ncf_4_32_2_edau.3	FAIL	900.43
ncf_8_32_2_u.2	FAIL	900.43
ncf_16_64_2_euad.5	FAIL	900.43
ncf_8_32_4_u.1	FAIL	900.43
ncf_8_64_4_d.1	FAIL	900.43
ncf_8_64_8_u.1	FAIL	900.43
ncf_16_64_4_d.9	FAIL	900.44
ev-pr-4x4-13-3-0-0-1-s	FAIL	900.44
ncf_16_128_4_edau.10	FAIL	900.44
ncf_4_32_8_d.6	FAIL	900.44
ncf_8_32_2_u.6	FAIL	900.44
ncf_4_16_4_euad.3	FAIL	900.44
ncf_8_32_2_edau.4	FAIL	900.44
ncf_16_128_4_euad.1	FAIL	900.44
ncf_8_32_2_d.4	FAIL	900.44
ncf_16_64_8_u.1	FAIL	900.45
ncf_16_128_4_d.7	FAIL	900.45
ncf_8_64_2_euad.5	FAIL	900.45
ncf_8_32_2_u.4	FAIL	900.45
ncf_8_32_2_d.10	FAIL	900.45
ncf_16_128_4_u.3	FAIL	900.46
ncf_8_32_8_edau.4	FAIL	900.46
ncf_16_64_4_d.6	FAIL	900.46
ncf_8_64_4_u.5	FAIL	900.46
ncf_16_32_2_edau.2	FAIL	900.46
ncf_8_32_4_edau.4	FAIL	900.46
ncf_16_64_8_edau.5	FAIL	900.46
ncf_8_32_8_d.9	FAIL	900.46
3qbf-5cnf-160var-1280cl.7	FAIL	900.47
ncf_8_32_2_edau.2	FAIL	900.47
ncf_4_32_8_edau.10	FAIL	900.47
ncf_16_32_4_d.6	FAIL	900.47
ncf_16_128_4_u.7	FAIL	900.47
ncf_16_64_8_euad.5	FAIL	900.47
ncf_16_64_2_d.7	FAIL	900.48
3qbf-5cnf-160var-1280cl.9	FAIL	900.48
ncf_8_64_8_u.2	FAIL	900.48
ncf_8_64_4_u.10	FAIL	900.48
ncf_4_32_4_euad.6	FAIL	900.48
ncf_4_32_2_u.3	FAIL	900.48
ncf_4_32_4_u.3	FAIL	900.48
ncf_16_64_8_edau.9	FAIL	900.48
ncf_4_32_4_edau.8	FAIL	900.48
ncf_16_128_2_euad.8	FAIL	900.48
test4_quant_squaring2	FAIL	900.48
ncf_8_32_8_euad.9	FAIL	900.48
ncf_16_64_8_edau.6	FAIL	900.49
ncf_4_32_8_u.5	FAIL	900.49
ncf_16_32_2_edau.4	FAIL	900.49
ncf_4_32_8_euad.5	FAIL	900.49
ncf_16_64_8_d.8	FAIL	900.49
ncf_8_64_4_edau.1	FAIL	900.49
ncf_16_128_4_edau.6	FAIL	900.49
ncf_16_128_2_edau.7	FAIL	900.49
ncf_4_16_4_d.2	FAIL	900.49
ncf_8_64_2_d.7	FAIL	900.49
ncf_16_64_4_u.9	FAIL	900.49
3qbf-5cnf-40var-320cl.9	FAIL	900.49
ncf_16_64_8_euad.6	FAIL	900.5
ncf_16_64_2_d.3	FAIL	900.5
ncf_8_64_4_d.6	FAIL	900.5
ncf_8_64_4_edau.6	FAIL	900.5
ncf_16_128_4_edau.5	FAIL	900.5
ncf_8_64_8_u.9	FAIL	900.5
ncf_16_128_2_u.1	FAIL	900.5
horn_400CNF1840_2aQBF_547	FAIL	900.5
ncf_8_32_8_edau.3	FAIL	900.5
ncf_4_32_8_euad.1	FAIL	900.5
ncf_16_32_4_euad.4	FAIL	900.5
ncf_8_32_4_u.2	FAIL	900.5
ncf_8_64_8_euad.10	FAIL	900.5
ncf_4_32_4_euad.2	FAIL	900.5
ncf_16_64_2_d.10	FAIL	900.5
ncf_16_64_8_d.9	FAIL	900.5
ncf_8_32_4_u.5	FAIL	900.5
ncf_16_64_8_edau.8	FAIL	900.51
ncf_4_32_4_d.4	FAIL	900.51
ncf_16_128_4_edau.3	FAIL	900.51
ncf_8_16_4_d.9	FAIL	900.51
ncf_16_32_8_u.2	FAIL	900.51
ncf_8_32_8_edau.10	FAIL	900.51
ncf_8_32_2_edau.8	FAIL	900.51
ncf_8_64_8_d.2	FAIL	900.51
ncf_8_32_2_u.3	FAIL	900.51
ncf_4_32_4_d.6	FAIL	900.52
ncf_16_128_2_d.5	FAIL	900.52
ncf_8_32_8_edau.5	FAIL	900.52
ncf_8_16_8_euad.9	FAIL	900.52
ncf_16_64_2_euad.4	FAIL	900.52
ncf_8_32_4_edau.1	FAIL	900.52
ncf_16_128_2_d.3	FAIL	900.52
ncf_4_32_8_euad.6	FAIL	900.52
3qbf-5cnf-40var-320cl.4	FAIL	900.52
2qbf-5cnf-80var-320cl.1	FAIL	900.53
ncf_16_128_8_u.7	FAIL	900.53
ncf_8_32_2_d.2	FAIL	900.53
ncf_4_16_4_euad.2	FAIL	900.53
ncf_8_32_4_edau.10	FAIL	900.54
ncf_8_32_4_euad.4	FAIL	900.54
ncf_8_32_2_d.8	FAIL	900.54
ncf_8_32_4_d.7	FAIL	900.54
ncf_16_64_4_edau.6	FAIL	900.54
ncf_8_32_2_d.6	FAIL	900.54
ncf_16_64_8_d.1	FAIL	900.54
ncf_8_64_2_edau.7	FAIL	900.54
ncf_8_64_4_u.7	FAIL	900.55
ncf_8_16_8_u.5	FAIL	900.55
ncf_16_64_4_u.8	FAIL	900.55
ncf_16_64_2_edau.7	FAIL	900.55
ncf_8_32_2_d.5	FAIL	900.55
ncf_8_32_4_u.6	FAIL	900.55
ncf_4_32_8_u.9	FAIL	900.55
ncf_8_32_2_u.10	FAIL	900.55
ncf_16_128_2_euad.2	FAIL	900.55
ncf_16_64_2_edau.5	FAIL	900.55
ncf_16_128_4_d.1	FAIL	900.55
ncf_8_32_2_euad.4	FAIL	900.56
ncf_16_32_8_edau.1	FAIL	900.56
ncf_8_32_2_euad.5	FAIL	900.56
ncf_8_64_2_d.6	FAIL	900.56
ncf_16_128_2_d.2	FAIL	900.56
ncf_4_32_4_u.2	FAIL	900.56
ncf_8_64_2_edau.5	FAIL	900.56
ncf_8_64_4_euad.9	FAIL	900.56
ncf_16_32_4_u.1	FAIL	900.56
ncf_8_32_4_euad.6	FAIL	900.56
ncf_16_64_8_euad.1	FAIL	900.56
ncf_4_8_8_edau.6	FAIL	900.56
ncf_4_16_8_u.1	FAIL	900.56
ncf_8_64_4_d.2	FAIL	900.57
ncf_8_64_8_edau.8	FAIL	900.57
ncf_4_32_8_edau.6	FAIL	900.57
ncf_16_64_2_d.9	FAIL	900.57
ncf_16_128_2_edau.1	FAIL	900.57
ncf_8_32_2_u.1	FAIL	900.57
ncf_16_64_4_edau.4	FAIL	900.57
ncf_8_32_2_u.5	FAIL	900.57
ncf_16_64_8_edau.1	FAIL	900.57
ncf_16_32_2_d.3	FAIL	900.57
ncf_16_32_8_edau.5	FAIL	900.57
ncf_4_32_8_d.4	FAIL	900.57
ncf_16_64_8_d.4	FAIL	900.58
ncf_8_64_2_d.4	FAIL	900.58
ncf_8_32_4_euad.10	FAIL	900.58
ncf_8_32_8_d.7	FAIL	900.58
ncf_16_32_8_d.10	FAIL	900.58
4qbf-5cnf-80var-320cl.0	FAIL	900.59
ncf_16_32_8_d.7	FAIL	900.59
ncf_4_32_4_edau.2	FAIL	900.59
ncf_4_32_4_u.9	FAIL	900.59
ncf_4_32_8_d.7	FAIL	900.59
ncf_8_64_2_d.1	FAIL	900.59
ncf_8_32_4_u.9	FAIL	900.59
ncf_8_32_4_d.3	FAIL	900.59
test3_quant_squaring2	FAIL	900.59
ncf_16_32_2_euad.2	FAIL	900.59
ncf_4_32_4_d.1	FAIL	900.59
ncf_8_64_2_u.10	FAIL	900.59
ncf_16_64_8_d.2	FAIL	900.59
ncf_16_64_8_edau.4	FAIL	900.59
ncf_4_32_4_d.9	FAIL	900.59
3qbf-5cnf-40var-160cl.7	FAIL	900.6
test2_quant_squaring3	FAIL	900.6
3qbf-5cnf-160var-640cl.0	FAIL	900.6
test2_quant3	FAIL	900.6
ncf_16_128_2_euad.10	FAIL	900.6
test1_quant_squaring3	FAIL	900.6
ncf_8_32_2_edau.10	FAIL	900.6
ncf_8_32_4_euad.9	FAIL	900.6
ncf_4_16_8_edau.3	FAIL	900.6
ncf_8_32_2_euad.7	FAIL	900.6
ncf_8_16_8_d.2	FAIL	900.6
ncf_16_128_2_edau.6	FAIL	900.6
ncf_4_16_8_euad.1	FAIL	900.6
ncf_8_32_4_euad.5	FAIL	900.6
ncf_16_128_4_euad.9	FAIL	900.6
ncf_4_32_8_euad.9	FAIL	900.6
ncf_4_32_8_d.5	FAIL	900.6
ncf_8_32_4_euad.2	FAIL	900.61
3qbf-5cnf-80var-640cl.3	FAIL	900.61
ncf_16_128_4_u.9	FAIL	900.61
test1_quant2	FAIL	900.61
ncf_4_16_8_euad.2	FAIL	900.61
ncf_16_32_8_u.4	FAIL	900.61
ncf_16_128_2_u.4	FAIL	900.61
ncf_16_128_4_u.1	FAIL	900.61
ncf_16_64_2_edau.10	FAIL	900.61
ncf_4_32_2_edau.10	FAIL	900.61
ncf_16_64_8_u.2	FAIL	900.61
ncf_4_32_8_u.6	FAIL	900.61
ncf_16_128_4_d.9	FAIL	900.61
ncf_8_32_8_d.4	FAIL	900.61
ncf_16_64_8_edau.2	FAIL	900.61
ncf_8_64_8_euad.4	FAIL	900.62
ncf_16_64_8_d.6	FAIL	900.62
ncf_4_16_8_u.4	FAIL	900.62
test4_quant4	FAIL	900.62
ncf_16_64_2_d.4	FAIL	900.62
3qbf-5cnf-40var-320cl.5	FAIL	900.62
ncf_8_64_8_edau.6	FAIL	900.62
ncf_8_64_2_u.3	FAIL	900.62
ncf_16_64_4_d.10	FAIL	900.62
6qbf-5cnf-20var-160cl.6	FAIL	900.62
ncf_4_32_2_d.9	FAIL	900.62
4qbf-5cnf-160var-640cl.2	FAIL	900.62
ncf_16_64_4_edau.2	FAIL	900.62
ncf_8_32_4_d.6	FAIL	900.63
ncf_8_64_8_edau.9	FAIL	900.63
ncf_16_64_8_u.7	FAIL	900.63
3qbf-5cnf-40var-320cl.7	FAIL	900.63
ncf_16_64_8_u.10	FAIL	900.63
ncf_8_32_2_d.1	FAIL	900.63
ncf_16_64_8_u.9	FAIL	900.63
ncf_8_32_4_u.10	FAIL	900.63
ncf_4_32_4_euad.1	FAIL	900.63
ncf_16_64_4_d.5	FAIL	900.63
ncf_8_32_8_euad.1	FAIL	900.63
ncf_16_128_2_u.7	FAIL	900.63
ncf_4_32_4_edau.3	FAIL	900.63
ncf_4_32_4_euad.3	FAIL	900.63
ncf_4_32_2_euad.6	FAIL	900.64
ncf_8_32_2_edau.1	FAIL	900.64
ncf_8_32_2_euad.8	FAIL	900.64
ncf_4_32_2_u.7	FAIL	900.64
ncf_8_64_8_u.5	FAIL	900.64
3qbf-5cnf-40var-320cl.6	FAIL	900.64
ncf_8_32_4_euad.7	FAIL	900.64
ncf_8_32_4_euad.1	FAIL	900.64
ncf_8_32_2_euad.1	FAIL	900.64
ncf_16_64_4_d.4	FAIL	900.64
ncf_16_64_8_u.6	FAIL	900.64
ncf_4_32_4_u.4	FAIL	900.64
ncf_8_16_8_euad.5	FAIL	900.64
ncf_16_32_4_edau.6	FAIL	900.64
ncf_4_16_8_u.6	FAIL	900.65
5qbf-5cnf-40var-320cl.8	FAIL	900.65
ncf_16_64_8_euad.10	FAIL	900.65
5qbf-5cnf-40var-320cl.2	FAIL	900.65
ncf_4_32_8_edau.9	FAIL	900.65
ncf_8_32_4_u.8	FAIL	900.65
ncf_16_64_2_d.6	FAIL	900.65
ncf_16_32_2_euad.3	FAIL	900.65
ncf_8_64_8_edau.7	FAIL	900.65
ncf_4_32_8_edau.1	FAIL	900.65
ncf_16_128_2_euad.1	FAIL	900.65
ncf_8_32_4_edau.8	FAIL	900.65
ncf_4_32_2_edau.4	FAIL	900.65
ncf_16_128_4_u.5	FAIL	900.65
ncf_4_16_8_edau.4	FAIL	900.65
ncf_8_32_2_euad.6	FAIL	900.65
ncf_4_32_2_edau.9	FAIL	900.65
5qbf-5cnf-40var-640cl.2	FAIL	900.66
ncf_8_32_8_u.10	FAIL	900.66
ncf_16_64_4_u.7	FAIL	900.66
3qbf-5cnf-40var-320cl.1	FAIL	900.66
ncf_4_32_8_euad.10	FAIL	900.66
ncf_16_64_4_euad.7	FAIL	900.66
ncf_4_32_2_euad.9	FAIL	900.66
ncf_16_128_4_euad.5	FAIL	900.66
ncf_4_32_4_euad.8	FAIL	900.66
ncf_16_32_8_euad.9	FAIL	900.66
ncf_4_32_4_d.10	FAIL	900.66
ncf_8_16_8_d.5	FAIL	900.66
ncf_16_32_2_u.3	FAIL	900.66
horn_400CNF1600_2aQBF_912	FAIL	900.66
Adder2-14-c	FAIL	900.66
ncf_8_32_8_u.2	FAIL	900.66
ncf_16_64_2_d.5	FAIL	900.66
ncf_4_32_8_edau.8	FAIL	900.67
ncf_8_16_8_euad.10	FAIL	900.67
ncf_8_32_4_d.9	FAIL	900.67
ncf_4_32_4_d.5	FAIL	900.67
3qbf-5cnf-160var-1280cl.4	FAIL	900.67
ncf_8_16_8_u.4	FAIL	900.67
uclid-pipe2	FAIL	900.67
ncf_16_32_8_d.9	FAIL	900.67
ncf_4_32_8_u.2	FAIL	900.67
2qbf-5cnf-80var-320cl.7	FAIL	900.67
ncf_16_64_2_u.10	FAIL	900.67
ncf_8_32_8_edau.9	FAIL	900.67
ncf_16_64_2_u.5	FAIL	900.67
ncf_8_64_4_euad.4	FAIL	900.67
ncf_4_16_4_d.6	FAIL	900.67
ncf_16_64_8_d.5	FAIL	900.67
ncf_4_32_4_u.7	FAIL	900.67
ncf_4_32_4_u.8	FAIL	900.67
ncf_8_64_4_d.4	FAIL	900.67
ncf_8_16_8_d.10	FAIL	900.67
ncf_4_32_8_d.8	FAIL	900.67
ncf_16_64_8_euad.4	FAIL	900.67
ncf_16_32_8_u.3	FAIL	900.67
horn_400CNF1680_2aQBF_695	FAIL	900.67
2qbf-5cnf-160var-640cl.6	FAIL	900.67
ncf_16_64_2_u.7	FAIL	900.68
ncf_8_32_4_edau.5	FAIL	900.68
ncf_16_32_8_euad.4	FAIL	900.68
renHorn_400CNF1720_2aQBF_92	FAIL	900.68
ncf_16_128_2_u.8	FAIL	900.68
ncf_4_16_8_d.3	FAIL	900.68
ncf_8_16_8_d.4	FAIL	900.68
ncf_8_32_4_edau.9	FAIL	900.68
ncf_8_32_8_u.1	FAIL	900.68
3qbf-5cnf-160var-1280cl.3	FAIL	900.68
ncf_8_32_4_euad.8	FAIL	900.68
ncf_8_64_8_d.9	FAIL	900.68
ncf_16_32_2_edau.3	FAIL	900.68
ncf_16_32_4_euad.1	FAIL	900.68
ncf_16_128_2_euad.9	FAIL	900.69
ncf_8_32_2_edau.5	FAIL	900.69
ncf_4_32_4_euad.10	FAIL	900.69
ncf_8_64_2_edau.4	FAIL	900.69
ncf_4_32_4_edau.7	FAIL	900.69
ncf_8_32_2_euad.9	FAIL	900.69
ncf_16_128_2_edau.5	FAIL	900.69
ncf_16_64_2_edau.2	FAIL	900.69
ncf_4_32_4_u.6	FAIL	900.69
ncf_16_32_2_u.5	FAIL	900.7
ncf_4_32_4_u.5	FAIL	900.7
ncf_16_32_4_u.2	FAIL	900.7
ncf_16_64_2_euad.2	FAIL	900.7
ncf_16_64_2_u.1	FAIL	900.7
ncf_4_8_8_u.6	FAIL	900.7
ncf_16_64_8_d.10	FAIL	900.7
ncf_16_128_2_d.10	FAIL	900.7
ncf_8_16_4_edau.9	FAIL	900.7
ncf_4_16_8_euad.3	FAIL	900.7
ncf_4_32_2_u.6	FAIL	900.7
ncf_8_64_8_d.3	FAIL	900.7
ncf_4_8_8_edau.10	FAIL	900.7
ncf_16_128_2_edau.8	FAIL	900.7
ncf_8_16_8_u.9	FAIL	900.7
3qbf-5cnf-80var-320cl.1	FAIL	900.71
ncf_4_16_8_edau.9	FAIL	900.71
ncf_4_16_8_d.5	FAIL	900.71
ncf_8_16_4_euad.3	FAIL	900.71
5qbf-5cnf-80var-640cl.0	FAIL	900.71
ncf_16_64_8_d.7	FAIL	900.71
6qbf-5cnf-80var-640cl.5	FAIL	900.71
ncf_8_16_8_u.2	FAIL	900.71
ncf_16_64_4_euad.4	FAIL	900.71
ncf_8_32_4_edau.7	FAIL	900.71
ncf_8_16_8_euad.7	FAIL	900.71
6qbf-5cnf-40var-320cl.8	FAIL	900.71
6qbf-5cnf-80var-640cl.4	FAIL	900.71
6qbf-5cnf-20var-160cl.2	FAIL	900.71
ncf_8_32_8_euad.7	FAIL	900.71
3qbf-5cnf-80var-640cl.5	FAIL	900.71
ncf_4_8_8_euad.6	FAIL	900.71
ncf_4_16_8_edau.6	FAIL	900.71
ncf_4_16_8_d.4	FAIL	900.72
ncf_16_64_4_euad.5	FAIL	900.72
adder-16-sat	FAIL	900.72
ncf_4_32_8_u.10	FAIL	900.72
ncf_16_64_4_d.7	FAIL	900.72
ncf_4_16_8_d.9	FAIL	900.72
ncf_8_16_4_euad.7	FAIL	900.72
ncf_4_16_8_u.10	FAIL	900.72
ncf_16_32_8_u.6	FAIL	900.72
ncf_8_16_8_d.3	FAIL	900.72
ncf_4_16_8_edau.2	FAIL	900.72
5qbf-5cnf-80var-640cl.7	FAIL	900.73
ncf_8_32_4_edau.6	FAIL	900.73
ncf_4_16_8_euad.8	FAIL	900.73
2qbf-5cnf-40var-160cl.1	FAIL	900.73
ncf_16_128_2_euad.6	FAIL	900.73
ncf_4_32_2_d.10	FAIL	900.73
ncf_4_16_8_euad.5	FAIL	900.73
ncf_8_16_8_euad.4	FAIL	900.73
ncf_4_16_8_d.10	FAIL	900.73
3qbf-5cnf-40var-160cl.8	FAIL	900.73
ncf_4_32_4_euad.7	FAIL	900.73
ncf_16_64_2_u.9	FAIL	900.73
test3_quant2	FAIL	900.73
ncf_16_32_4_euad.3	FAIL	900.73
ncf_16_128_2_edau.3	FAIL	900.73
ncf_16_64_8_edau.7	FAIL	900.73
ncf_16_32_4_u.4	FAIL	900.73
6qbf-5cnf-20var-160cl.7	FAIL	900.73
ncf_4_32_8_euad.3	FAIL	900.74
3qbf-5cnf-80var-640cl.6	FAIL	900.74
ncf_4_32_8_u.3	FAIL	900.74
6qbf-5cnf-40var-320cl.2	FAIL	900.74
ncf_8_32_2_edau.6	FAIL	900.74
renHorn_400CNF1720_2aQBF_79	FAIL	900.74
3qbf-5cnf-80var-640cl.8	FAIL	900.74
ncf_16_64_2_edau.9	FAIL	900.74
ncf_16_64_2_u.3	FAIL	900.74
horn_400CNF1920_2aQBF_534	FAIL	900.74
ncf_16_32_4_edau.1	FAIL	900.75
5qbf-5cnf-40var-320cl.1	FAIL	900.75
ncf_8_32_8_euad.3	FAIL	900.75
ncf_16_32_4_euad.10	FAIL	900.75
ncf_8_32_4_d.1	FAIL	900.75
ncf_4_16_8_euad.6	FAIL	900.75
ncf_8_16_4_u.3	FAIL	900.75
ncf_16_64_2_u.2	FAIL	900.75
3qbf-5cnf-80var-640cl.1	FAIL	900.75
ncf_4_32_8_euad.7	FAIL	900.75
ncf_8_16_8_edau.4	FAIL	900.75
ncf_16_32_2_edau.1	FAIL	900.75
5qbf-5cnf-160var-1280cl.9	FAIL	900.75
renHorn_400CNF1640_2aQBF_42	FAIL	900.75
ncf_4_32_4_euad.5	FAIL	900.75
ncf_8_64_2_d.2	FAIL	900.75
ncf_8_32_4_edau.2	FAIL	900.75
ncf_16_128_2_d.1	FAIL	900.76
horn_400CNF1680_2aQBF_698	FAIL	900.76
ncf_4_32_8_edau.7	FAIL	900.76
ncf_16_128_2_d.4	FAIL	900.76
3qbf-5cnf-80var-320cl.7	FAIL	900.76
ncf_16_64_2_euad.1	FAIL	900.76
ncf_16_32_8_euad.5	FAIL	900.76
ncf_16_64_4_edau.8	FAIL	900.76
4qbf-5cnf-40var-320cl.4	FAIL	900.76
ncf_16_32_2_euad.6	FAIL	900.76
ncf_16_64_2_u.4	FAIL	900.76
horn_400CNF1520_2aQBF_760	FAIL	900.76
ncf_8_16_8_euad.8	FAIL	900.76
ncf_4_8_8_u.7	FAIL	900.76
horn_400CNF2000_2aQBF_523	FAIL	900.76
ncf_8_16_4_euad.9	FAIL	900.76
ncf_4_32_8_u.7	FAIL	900.76
2qbf-5cnf-40var-160cl.4	FAIL	900.76
ncf_4_32_2_u.9	FAIL	900.76
ncf_4_16_8_d.1	FAIL	900.76
ncf_16_128_2_euad.4	FAIL	900.76
ncf_4_16_8_d.2	FAIL	900.76
ncf_4_32_4_d.3	FAIL	900.76
ncf_16_32_8_euad.7	FAIL	900.77
2qbf-5cnf-160var-320cl.5	FAIL	900.77
ncf_4_16_4_u.3	FAIL	900.77
ncf_8_32_4_d.10	FAIL	900.77
4qbf-5cnf-80var-320cl.2	FAIL	900.77
ncf_16_32_4_euad.9	FAIL	900.77
ncf_8_32_8_edau.6	FAIL	900.77
2qbf-5cnf-160var-320cl.1	FAIL	900.77
ncf_16_64_2_euad.6	FAIL	900.77
5qbf-5cnf-80var-640cl.1	FAIL	900.77
ncf_16_32_2_euad.1	FAIL	900.77
ncf_8_32_8_d.5	FAIL	900.77
horn_400CNF1920_2aQBF_597	FAIL	900.77
ncf_8_64_4_d.5	FAIL	900.77
4qbf-5cnf-160var-640cl.1	FAIL	900.77
ncf_16_32_4_u.7	FAIL	900.78
ncf_8_16_8_u.10	FAIL	900.78
ncf_16_64_2_edau.6	FAIL	900.78
2qbf-5cnf-160var-320cl.8	FAIL	900.78
ncf_8_64_2_u.2	FAIL	900.78
ncf_16_32_2_u.6	FAIL	900.78
ncf_8_64_2_u.8	FAIL	900.78
ncf_8_16_4_euad.4	FAIL	900.78
6qbf-5cnf-20var-160cl.9	FAIL	900.78
6qbf-5cnf-80var-640cl.9	FAIL	900.78
2qbf-5cnf-40var-160cl.8	FAIL	900.78
5qbf-5cnf-40var-320cl.6	FAIL	900.78
ncf_16_64_2_euad.3	FAIL	900.78
3qbf-5cnf-160var-1280cl.5	FAIL	900.78
ncf_16_32_8_u.8	FAIL	900.78
3qbf-5cnf-80var-640cl.0	FAIL	900.78
3qbf-5cnf-80var-320cl.4	FAIL	900.78
ncf_8_64_8_d.8	FAIL	900.78
ncf_16_32_4_euad.8	FAIL	900.78
3qbf-5cnf-80var-640cl.4	FAIL	900.78
ncf_4_32_4_euad.4	FAIL	900.78
2qbf-5cnf-160var-320cl.2	FAIL	900.79
4qbf-5cnf-40var-160cl.7	FAIL	900.79
ncf_4_32_4_euad.9	FAIL	900.79
ncf_16_32_4_d.4	FAIL	900.79
ncf_4_8_8_d.6	FAIL	900.79
3qbf-5cnf-40var-320cl.8	FAIL	900.79
5qbf-5cnf-80var-640cl.6	FAIL	900.79
ncf_8_64_8_edau.1	FAIL	900.79
ncf_4_8_8_u.10	FAIL	900.79
ncf_16_128_2_u.3	FAIL	900.79
ncf_8_32_2_edau.3	FAIL	900.79
ncf_4_32_2_u.10	FAIL	900.79
ncf_16_32_2_euad.5	FAIL	900.79
2qbf-5cnf-160var-320cl.4	FAIL	900.79
6qbf-5cnf-160var-1280cl.1	FAIL	900.79
5qbf-5cnf-160var-1280cl.6	FAIL	900.79
ncf_8_16_4_d.7	FAIL	900.79
renHorn_400CNF2200_2aQBF_79	FAIL	900.79
ncf_16_32_8_d.2	FAIL	900.8
ncf_16_64_4_d.3	FAIL	900.8
ncf_16_32_4_euad.2	FAIL	900.8
ncf_8_64_2_euad.9	FAIL	900.8
horn_400CNF2000_2aQBF_987	FAIL	900.8
ncf_8_64_2_edau.2	FAIL	900.8
3qbf-5cnf-80var-320cl.0	FAIL	900.8
ncf_8_64_8_d.4	FAIL	900.8
horn_400CNF1600_2aQBF_789	FAIL	900.8
horn_400CNF1200_2aQBF_539	FAIL	900.8
5qbf-5cnf-80var-640cl.9	FAIL	900.8
ncf_16_32_2_euad.4	FAIL	900.8
ncf_8_64_2_euad.2	FAIL	900.8
5qbf-5cnf-160var-1280cl.2	FAIL	900.8
ncf_8_16_8_euad.6	FAIL	900.8
5qbf-5cnf-40var-640cl.6	FAIL	900.8
4qbf-5cnf-40var-160cl.0	FAIL	900.8
ncf_16_32_4_edau.4	FAIL	900.8
ncf_16_32_8_d.5	FAIL	900.8
ncf_8_64_8_d.10	FAIL	900.8
4qbf-5cnf-80var-320cl.4	FAIL	900.8
ncf_16_32_8_edau.2	FAIL	900.8
6qbf-5cnf-40var-320cl.5	FAIL	900.81
ncf_16_64_4_edau.5	FAIL	900.81
horn_400CNF1440_2aQBF_147	FAIL	900.81
6qbf-5cnf-20var-160cl.8	FAIL	900.81
horn_400CNF1600_2aQBF_956	FAIL	900.81
renHorn_400CNF2280_2aQBF_4	FAIL	900.81
horn_400CNF2000_2aQBF_702	FAIL	900.81
2qbf-5cnf-160var-320cl.7	FAIL	900.81
renHorn_400CNF2280_2aQBF_59	FAIL	900.81
renHorn_400CNF1480_2aQBF_62	FAIL	900.81
ncf_8_32_2_u.8	FAIL	900.81
renHorn_400CNF1960_2aQBF_35	FAIL	900.81
horn_400CNF1680_2aQBF_745	FAIL	900.81
ncf_4_32_8_d.1	FAIL	900.81
ncf_16_32_8_euad.6	FAIL	900.81
4qbf-5cnf-160var-640cl.6	FAIL	900.81
3qbf-5cnf-160var-640cl.9	FAIL	900.81
renHorn_400CNF2120_2aQBF_88	FAIL	900.81
ncf_4_32_8_edau.5	FAIL	900.81
4qbf-5cnf-20var-160cl.2	FAIL	900.81
horn_400CNF1760_2aQBF_484	FAIL	900.82
ncf_16_32_4_u.3	FAIL	900.82
ncf_4_16_8_d.6	FAIL	900.82
2qbf-5cnf-40var-160cl.3	FAIL	900.82
renHorn_400CNF1360_2aQBF_96	FAIL	900.82
ncf_16_32_2_u.2	FAIL	900.82
ncf_16_32_8_u.10	FAIL	900.82
horn_400CNF1440_2aQBF_676	FAIL	900.82
ncf_16_64_2_euad.8	FAIL	900.82
5qbf-5cnf-80var-640cl.3	FAIL	900.82
ncf_8_64_2_edau.1	FAIL	900.82
ncf_8_64_2_euad.4	FAIL	900.82
renHorn_400CNF1560_2aQBF_90	FAIL	900.82
ncf_4_32_4_edau.4	FAIL	900.82
5qbf-5cnf-80var-640cl.8	FAIL	900.82
2qbf-5cnf-40var-160cl.9	FAIL	900.83
horn_400CNF1360_2aQBF_894	FAIL	900.83
4qbf-5cnf-40var-320cl.7	FAIL	900.83
horn_400CNF2160_2aQBF_996	FAIL	900.83
horn_400CNF2320_2aQBF_132	FAIL	900.83
ncf_16_32_8_edau.6	FAIL	900.83
ncf_4_32_2_euad.5	FAIL	900.83
ncf_16_64_4_euad.8	FAIL	900.83
horn_400CNF1680_2aQBF_482	FAIL	900.83
ncf_4_16_8_u.9	FAIL	900.83
ncf_16_128_4_edau.1	FAIL	900.83
3qbf-5cnf-160var-1280cl.2	FAIL	900.83
3qbf-5cnf-160var-640cl.8	FAIL	900.83
ncf_16_32_4_euad.5	FAIL	900.83
4qbf-5cnf-160var-640cl.7	FAIL	900.83
5qbf-5cnf-40var-320cl.7	FAIL	900.83
ncf_4_16_8_euad.10	FAIL	900.83
renHorn_400CNF2120_2aQBF_19	FAIL	900.83
ncf_8_32_4_d.8	FAIL	900.84
horn_400CNF2160_2aQBF_701	FAIL	900.84
renHorn_400CNF1960_2aQBF_41	FAIL	900.84
ncf_8_16_8_d.6	FAIL	900.84
ncf_8_64_2_u.5	FAIL	900.84
horn_400CNF1520_2aQBF_98	FAIL	900.84
horn_400CNF1440_2aQBF_553	FAIL	900.84
horn_400CNF2080_2aQBF_840	FAIL	900.84
ncf_16_64_2_u.6	FAIL	900.84
renHorn_400CNF2120_2aQBF_10	FAIL	900.84
2qbf-5cnf-80var-320cl.8	FAIL	900.84
horn_400CNF2000_2aQBF_787	FAIL	900.84
ncf_8_64_2_edau.9	FAIL	900.84
6qbf-5cnf-80var-640cl.6	FAIL	900.84
ncf_16_64_2_euad.9	FAIL	900.84
4qbf-5cnf-80var-320cl.3	FAIL	900.84
6qbf-5cnf-80var-640cl.7	FAIL	900.84
ncf_8_16_8_u.7	FAIL	900.84
ncf_4_16_8_euad.9	FAIL	900.84
3qbf-5cnf-80var-320cl.8	FAIL	900.84
ncf_16_128_2_u.5	FAIL	900.84
ncf_8_64_2_d.8	FAIL	900.84
4qbf-5cnf-40var-320cl.5	FAIL	900.84
6qbf-5cnf-20var-160cl.3	FAIL	900.84
renHorn_400CNF1880_2aQBF_19	FAIL	900.84
3qbf-5cnf-160var-640cl.1	FAIL	900.84
ncf_8_16_8_euad.2	FAIL	900.84
horn_400CNF1760_2aQBF_997	FAIL	900.84
ncf_4_32_2_d.4	FAIL	900.85
ncf_16_32_2_d.1	FAIL	900.85
renHorn_400CNF2120_2aQBF_52	FAIL	900.85
horn_400CNF1600_2aQBF_331	FAIL	900.85
horn_400CNF1680_2aQBF_244	FAIL	900.85
6qbf-5cnf-40var-320cl.7	FAIL	900.85
4qbf-5cnf-20var-160cl.6	FAIL	900.85
ncf_16_32_2_u.10	FAIL	900.85
ncf_16_32_4_euad.6	FAIL	900.85
ncf_16_64_4_u.3	FAIL	900.85
ncf_16_32_2_euad.10	FAIL	900.85
ncf_4_32_4_edau.10	FAIL	900.85
horn_400CNF2080_2aQBF_832	FAIL	900.85
horn_400CNF1440_2aQBF_117	FAIL	900.85
horn_400CNF1840_2aQBF_198	FAIL	900.85
ncf_16_64_4_u.1	FAIL	900.85
renHorn_400CNF1800_2aQBF_20	FAIL	900.85
horn_400CNF2320_2aQBF_772	FAIL	900.85
ncf_8_16_4_edau.7	FAIL	900.85
ncf_4_16_8_edau.8	FAIL	900.86
ncf_8_32_4_edau.3	FAIL	900.86
4qbf-5cnf-20var-160cl.5	FAIL	900.86
horn_400CNF1440_2aQBF_165	FAIL	900.86
4qbf-5cnf-160var-640cl.9	FAIL	900.86
horn_400CNF2080_2aQBF_899	FAIL	900.86
renHorn_400CNF1280_2aQBF_7	FAIL	900.86
2qbf-5cnf-160var-640cl.8	FAIL	900.86
ncf_16_32_8_edau.7	FAIL	900.86
4qbf-5cnf-160var-640cl.0	FAIL	900.86
6qbf-5cnf-20var-160cl.0	FAIL	900.86
renHorn_400CNF1360_2aQBF_22	FAIL	900.86
horn_400CNF2000_2aQBF_878	FAIL	900.86
5qbf-5cnf-80var-640cl.4	FAIL	900.86
6qbf-5cnf-160var-1280cl.9	FAIL	900.86
ncf_8_64_2_u.9	FAIL	900.86
3qbf-5cnf-80var-320cl.3	FAIL	900.86
ncf_16_32_2_euad.8	FAIL	900.86
horn_400CNF1920_2aQBF_721	FAIL	900.86
6qbf-5cnf-160var-1280cl.7	FAIL	900.86
3qbf-5cnf-160var-640cl.6	FAIL	900.86
5qbf-5cnf-40var-320cl.5	FAIL	900.86
4qbf-5cnf-20var-160cl.7	FAIL	900.86
horn_400CNF1680_2aQBF_286	FAIL	900.86
horn_400CNF1680_2aQBF_547	FAIL	900.86
renHorn_400CNF1960_2aQBF_79	FAIL	900.86
5qbf-5cnf-40var-320cl.3	FAIL	900.86
horn_400CNF1520_2aQBF_387	FAIL	900.86
3qbf-5cnf-80var-640cl.7	FAIL	900.86
6qbf-5cnf-160var-1280cl.8	FAIL	900.86
4qbf-5cnf-80var-320cl.9	FAIL	900.87
6qbf-5cnf-40var-320cl.9	FAIL	900.87
6qbf-5cnf-40var-320cl.6	FAIL	900.87
6qbf-5cnf-20var-160cl.4	FAIL	900.87
ncf_16_32_4_u.5	FAIL	900.87
horn_400CNF1600_2aQBF_3	FAIL	900.87
horn_400CNF2320_2aQBF_813	FAIL	900.87
horn_400CNF1600_2aQBF_505	FAIL	900.87
ncf_16_32_8_euad.10	FAIL	900.87
horn_400CNF1600_2aQBF_278	FAIL	900.87
ncf_8_16_8_u.8	FAIL	900.87
ncf_16_64_2_edau.4	FAIL	900.87
ncf_8_16_8_edau.5	FAIL	900.87
renHorn_400CNF2040_2aQBF_86	FAIL	900.87
renHorn_400CNF1800_2aQBF_5	FAIL	900.87
6qbf-5cnf-20var-160cl.5	FAIL	900.87
ncf_16_64_4_euad.1	FAIL	900.87
6qbf-5cnf-80var-640cl.3	FAIL	900.87
ncf_8_64_2_u.4	FAIL	900.87
ncf_16_64_4_u.10	FAIL	900.87
ncf_16_32_4_euad.7	FAIL	900.87
4qbf-5cnf-20var-160cl.9	FAIL	900.87
ncf_8_64_2_euad.3	FAIL	900.87
4qbf-5cnf-80var-320cl.8	FAIL	900.87
renHorn_400CNF1720_2aQBF_71	FAIL	900.87
ncf_8_16_4_u.7	FAIL	900.87
6qbf-5cnf-40var-320cl.3	FAIL	900.87
horn_400CNF1280_2aQBF_841	FAIL	900.87
3qbf-5cnf-160var-640cl.2	FAIL	900.87
horn_400CNF2160_2aQBF_657	FAIL	900.87
ncf_16_32_2_d.2	FAIL	900.87
horn_400CNF1760_2aQBF_996	FAIL	900.87
renHorn_400CNF1560_2aQBF_72	FAIL	900.87
ncf_8_16_4_u.9	FAIL	900.88
ncf_8_64_2_edau.6	FAIL	900.88
5qbf-5cnf-80var-640cl.5	FAIL	900.88
renHorn_400CNF1880_2aQBF_81	FAIL	900.88
horn_400CNF1600_2aQBF_73	FAIL	900.88
ncf_16_64_2_euad.7	FAIL	900.88
horn_400CNF2320_2aQBF_458	FAIL	900.88
5qbf-5cnf-160var-1280cl.8	FAIL	900.88
3qbf-5cnf-160var-1280cl.0	FAIL	900.88
4qbf-5cnf-80var-320cl.7	FAIL	900.88
4qbf-5cnf-40var-320cl.8	FAIL	900.88
renHorn_400CNF1640_2aQBF_87	FAIL	900.88
renHorn_400CNF1560_2aQBF_47	FAIL	900.88
6qbf-5cnf-80var-640cl.1	FAIL	900.88
ncf_16_32_4_u.8	FAIL	900.88
horn_400CNF1520_2aQBF_382	FAIL	900.88
horn_400CNF1520_2aQBF_995	FAIL	900.88
horn_400CNF2080_2aQBF_714	FAIL	900.88
renHorn_400CNF2360_2aQBF_9	FAIL	900.88
ncf_16_64_8_d.3	FAIL	900.88
2qbf-5cnf-160var-320cl.3	FAIL	900.88
horn_400CNF2000_2aQBF_642	FAIL	900.88
ncf_8_64_2_euad.10	FAIL	900.88
ncf_16_128_2_d.8	FAIL	900.88
ncf_8_64_2_euad.8	FAIL	900.88
3qbf-5cnf-80var-640cl.2	FAIL	900.88
ncf_4_32_2_euad.10	FAIL	900.88
ncf_16_64_4_d.8	FAIL	900.88
renHorn_400CNF2120_2aQBF_21	FAIL	900.88
horn_400CNF1600_2aQBF_514	FAIL	900.88
horn_400CNF1920_2aQBF_647	FAIL	900.88
4qbf-5cnf-160var-640cl.8	FAIL	900.88
ncf_8_64_2_edau.10	FAIL	900.88
3qbf-5cnf-160var-640cl.4	FAIL	900.88
renHorn_400CNF2360_2aQBF_58	FAIL	900.89
ncf_8_16_8_euad.3	FAIL	900.89
horn_400CNF1760_2aQBF_726	FAIL	900.89
horn_400CNF2160_2aQBF_976	FAIL	900.89
4qbf-5cnf-80var-320cl.1	FAIL	900.89
horn_400CNF1600_2aQBF_748	FAIL	900.89
ncf_8_16_8_edau.3	FAIL	900.89
2qbf-5cnf-160var-320cl.9	FAIL	900.89
horn_400CNF2160_2aQBF_92	FAIL	900.89
ncf_16_32_2_u.8	FAIL	900.89
horn_400CNF2000_2aQBF_650	FAIL	900.89
3qbf-5cnf-160var-1280cl.8	FAIL	900.89
renHorn_400CNF2200_2aQBF_48	FAIL	900.89
horn_400CNF1840_2aQBF_158	FAIL	900.89
ncf_4_16_8_edau.10	FAIL	900.89
ncf_8_64_2_u.7	FAIL	900.89
ncf_16_64_2_edau.1	FAIL	900.89
horn_400CNF1920_2aQBF_952	FAIL	900.89
horn_400CNF2320_2aQBF_80	FAIL	900.89
horn_400CNF1840_2aQBF_32	FAIL	900.89
ncf_16_64_8_euad.7	FAIL	900.89
renHorn_400CNF1640_2aQBF_7	FAIL	900.89
renHorn_400CNF1480_2aQBF_96	FAIL	900.89
ncf_16_32_8_d.1	FAIL	900.89
5qbf-5cnf-40var-320cl.0	FAIL	900.89
ncf_4_32_4_u.10	FAIL	900.89
ncf_8_16_8_u.3	FAIL	900.9
renHorn_400CNF2280_2aQBF_67	FAIL	900.9
horn_400CNF1600_2aQBF_103	FAIL	900.9
horn_400CNF1680_2aQBF_589	FAIL	900.9
horn_400CNF1280_2aQBF_755	FAIL	900.9
horn_400CNF1280_2aQBF_389	FAIL	900.9
horn_400CNF2320_2aQBF_230	FAIL	900.9
renHorn_400CNF1280_2aQBF_3	FAIL	900.9
renHorn_400CNF2280_2aQBF_95	FAIL	900.9
2qbf-5cnf-80var-320cl.2	FAIL	900.9
renHorn_400CNF1800_2aQBF_7	FAIL	900.9
horn_400CNF1440_2aQBF_642	FAIL	900.9
ncf_16_128_2_u.6	FAIL	900.9
horn_400CNF2080_2aQBF_709	FAIL	900.9
5qbf-5cnf-40var-320cl.9	FAIL	900.9
renHorn_400CNF1280_2aQBF_62	FAIL	900.9
renHorn_400CNF2120_2aQBF_31	FAIL	900.9
horn_400CNF1360_2aQBF_310	FAIL	900.9
horn_400CNF1760_2aQBF_711	FAIL	900.9
renHorn_400CNF1640_2aQBF_18	FAIL	900.9
renHorn_400CNF1800_2aQBF_24	FAIL	900.9
renHorn_400CNF2040_2aQBF_59	FAIL	900.9
renHorn_400CNF2360_2aQBF_97	FAIL	900.9
horn_400CNF1760_2aQBF_93	FAIL	900.9
ncf_8_64_2_euad.7	FAIL	900.9
horn_400CNF1840_2aQBF_514	FAIL	900.9
horn_400CNF2160_2aQBF_692	FAIL	900.9
horn_400CNF1520_2aQBF_702	FAIL	900.9
adder-14-sat	FAIL	900.91
horn_400CNF1440_2aQBF_967	FAIL	900.91
ncf_16_64_4_edau.7	FAIL	900.91
horn_400CNF1520_2aQBF_116	FAIL	900.91
renHorn_400CNF1400_2aQBF_80	FAIL	900.91
ncf_16_128_2_d.6	FAIL	900.91
ncf_16_32_4_u.9	FAIL	900.91
horn_400CNF1440_2aQBF_925	FAIL	900.91
horn_400CNF2320_2aQBF_137	FAIL	900.91
3qbf-5cnf-160var-640cl.7	FAIL	900.91
renHorn_400CNF1640_2aQBF_38	FAIL	900.91
horn_400CNF1760_2aQBF_686	FAIL	900.91
horn_400CNF1920_2aQBF_704	FAIL	900.91
horn_400CNF2160_2aQBF_427	FAIL	900.91
ncf_16_32_8_d.6	FAIL	900.91
horn_400CNF2320_2aQBF_433	FAIL	900.91
ncf_16_128_2_euad.5	FAIL	900.91
3qbf-5cnf-80var-320cl.5	FAIL	900.91
5qbf-5cnf-160var-1280cl.4	FAIL	900.91
renHorn_400CNF1480_2aQBF_98	FAIL	900.91
2qbf-5cnf-80var-640cl.3	FAIL	900.91
ncf_8_64_2_d.9	FAIL	900.91
renHorn_400CNF1200_2aQBF_85	FAIL	900.92
3qbf-5cnf-160var-640cl.3	FAIL	900.92
horn_400CNF1680_2aQBF_950	FAIL	900.92
renHorn_400CNF2200_2aQBF_22	FAIL	900.92
horn_400CNF1360_2aQBF_788	FAIL	900.92
6qbf-5cnf-80var-640cl.2	FAIL	900.92
6qbf-5cnf-40var-320cl.4	FAIL	900.92
horn_400CNF2080_2aQBF_322	FAIL	900.92
horn_400CNF2000_2aQBF_456	FAIL	900.92
ncf_8_16_8_d.8	FAIL	900.92
renHorn_400CNF1280_2aQBF_22	FAIL	900.92
5qbf-5cnf-80var-640cl.2	FAIL	900.92
renHorn_400CNF1480_2aQBF_99	FAIL	900.92
renHorn_400CNF1720_2aQBF_11	FAIL	900.92
horn_400CNF1760_2aQBF_614	FAIL	900.92
horn_400CNF1840_2aQBF_329	FAIL	900.92
renHorn_400CNF1480_2aQBF_92	FAIL	900.92
3qbf-5cnf-160var-640cl.5	FAIL	900.92
renHorn_400CNF1640_2aQBF_53	FAIL	900.92
renHorn_400CNF1560_2aQBF_96	FAIL	900.93
2qbf-5cnf-80var-160cl.7	FAIL	900.93
renHorn_400CNF2360_2aQBF_88	FAIL	900.93
ncf_8_32_8_d.10	FAIL	900.93
renHorn_400CNF1200_2aQBF_97	FAIL	900.93
ncf_16_64_2_d.8	FAIL	900.93
ncf_16_32_4_u.10	FAIL	900.93
ncf_4_16_8_euad.4	FAIL	900.93
horn_400CNF1680_2aQBF_91	FAIL	900.93
horn_400CNF1920_2aQBF_927	FAIL	900.93
3qbf-5cnf-80var-320cl.2	FAIL	900.93
horn_400CNF2160_2aQBF_308	FAIL	900.93
horn_400CNF2320_2aQBF_72	FAIL	900.93
ncf_8_16_4_u.4	FAIL	900.94
4qbf-5cnf-160var-640cl.4	FAIL	900.94
ncf_8_64_2_u.1	FAIL	900.94
renHorn_400CNF2040_2aQBF_100	FAIL	900.94
horn_400CNF1680_2aQBF_728	FAIL	900.94
3qbf-5cnf-80var-640cl.9	FAIL	900.94
renHorn_400CNF1640_2aQBF_79	FAIL	900.94
ncf_16_32_8_edau.9	FAIL	900.94
renHorn_400CNF2120_2aQBF_37	FAIL	900.94
4qbf-5cnf-160var-640cl.3	FAIL	900.94
horn_400CNF1680_2aQBF_29	FAIL	900.94
horn_400CNF1840_2aQBF_323	FAIL	900.94
renHorn_400CNF2120_2aQBF_84	FAIL	900.94
ncf_16_64_2_d.2	FAIL	900.94
3qbf-5cnf-160var-1280cl.1	FAIL	900.95
ncf_8_32_4_d.5	FAIL	900.95
horn_400CNF1760_2aQBF_886	FAIL	900.95
horn_400CNF2080_2aQBF_194	FAIL	900.95
5qbf-5cnf-160var-1280cl.7	FAIL	900.95
horn_400CNF1360_2aQBF_565	FAIL	900.95
renHorn_400CNF2120_2aQBF_63	FAIL	900.95
ncf_16_32_8_u.5	FAIL	900.95
horn_400CNF1760_2aQBF_846	FAIL	900.95
2qbf-5cnf-160var-1280cl.1	FAIL	900.96
horn_400CNF1760_2aQBF_946	FAIL	900.96
horn_400CNF2160_2aQBF_407	FAIL	900.96
ncf_16_32_2_u.1	FAIL	900.96
horn_400CNF2000_2aQBF_577	FAIL	900.96
4qbf-5cnf-160var-640cl.5	FAIL	900.96
ncf_8_64_8_edau.3	FAIL	900.96
5qbf-5cnf-160var-1280cl.1	FAIL	900.96
horn_400CNF2160_2aQBF_588	FAIL	900.96
6qbf-5cnf-40var-320cl.1	FAIL	900.96
horn_400CNF1680_2aQBF_503	FAIL	900.96
5qbf-5cnf-160var-1280cl.5	FAIL	900.96
3qbf-5cnf-160var-1280cl.6	FAIL	900.96
horn_400CNF1440_2aQBF_737	FAIL	900.96
horn_400CNF1920_2aQBF_890	FAIL	900.97
horn_400CNF2000_2aQBF_104	FAIL	900.97
horn_400CNF2320_2aQBF_797	FAIL	900.97
horn_400CNF1600_2aQBF_26	FAIL	900.97
horn_400CNF1920_2aQBF_314	FAIL	900.97
horn_400CNF1920_2aQBF_970	FAIL	900.97
renHorn_400CNF1880_2aQBF_88	FAIL	900.97
renHorn_400CNF2280_2aQBF_13	FAIL	900.97
ncf_16_128_2_u.10	FAIL	900.97
horn_400CNF1520_2aQBF_625	FAIL	900.98
horn_400CNF1360_2aQBF_755	FAIL	900.98
horn_400CNF2080_2aQBF_176	FAIL	900.98
horn_400CNF2080_2aQBF_682	FAIL	900.98
horn_400CNF1840_2aQBF_401	FAIL	900.99
horn_400CNF1840_2aQBF_555	FAIL	900.99
6qbf-5cnf-160var-1280cl.6	FAIL	900.99
ncf_16_128_2_d.7	FAIL	900.99
ncf_4_16_8_u.8	FAIL	901
renHorn_400CNF2040_2aQBF_11	FAIL	901
6qbf-5cnf-160var-1280cl.0	FAIL	901
ncf_8_32_2_u.9	FAIL	901.01
5qbf-5cnf-160var-1280cl.0	FAIL	901.01
horn_400CNF1760_2aQBF_979	FAIL	901.01
ncf_8_64_8_edau.10	FAIL	901.02
6qbf-5cnf-160var-1280cl.3	FAIL	901.02
horn_400CNF2320_2aQBF_832	FAIL	901.03
ncf_8_32_8_edau.7	FAIL	901.04
5qbf-5cnf-160var-1280cl.3	FAIL	901.16
szymanski-10-s	FAIL	901.49
uclid-pipe3b	FAIL	901.52

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by skizzo_v0.5
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by skizzo_v0.5 QBFEVAL'05

Instances solved by skizzo_v0.5
QBFEVAL'05