Instances solved by <a href='solver_detail.php?solver=13'>yQuaffle</a> <br> QBFEVAL'05

Instances solved by yQuaffle
QBFEVAL'05

Instance	Result	Time
counter_e_2	SAT	0
6qbf-5cnf-20var-40cl.3	SAT	0
2qbf-5cnf-40var-80cl.7	SAT	0
6qbf-5cnf-20var-40cl.0	SAT	0
2qbf-5cnf-20var-320cl.0	UNSAT	0
tree-exa2-45	UNSAT	0
ncf_8_16_2_edau.6	UNSAT	0
ncf_4_8_2_edau.3	UNSAT	0
2qbf-5cnf-20var-40cl.2	SAT	0
5qbf-5cnf-20var-80cl.4	SAT	0
4qbf-5cnf-20var-40cl.5	SAT	0
2qbf-5cnf-20var-640cl.1	UNSAT	0
2qbf-5cnf-20var-80cl.1	SAT	0
5qbf-5cnf-40var-80cl.6	SAT	0
3qbf-5cnf-20var-640cl.9	UNSAT	0
3qbf-5cnf-20var-640cl.2	UNSAT	0
3qbf-5cnf-20var-640cl.6	UNSAT	0
6qbf-5cnf-20var-80cl.0	SAT	0
2qbf-5cnf-20var-640cl.2	UNSAT	0
4qbf-5cnf-20var-40cl.8	SAT	0
ncf_4_8_2_d.1	UNSAT	0
6qbf-5cnf-20var-40cl.6	SAT	0
impl08	SAT	0
2qbf-5cnf-20var-320cl.4	UNSAT	0
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0
5qbf-5cnf-20var-640cl.1	UNSAT	0
2qbf-5cnf-20var-40cl.0	FAIL	0
5qbf-5cnf-20var-40cl.7	SAT	0
3qbf-5cnf-80var-160cl.8	SAT	0
4qbf-5cnf-40var-80cl.0	SAT	0
3qbf-5cnf-20var-80cl.0	SAT	0
5qbf-5cnf-40var-80cl.5	SAT	0
3qbf-5cnf-20var-40cl.4	SAT	0
5qbf-5cnf-40var-80cl.0	SAT	0
2qbf-5cnf-20var-40cl.6	FAIL	0
ncf_8_16_2_edau.3	UNSAT	0
2qbf-5cnf-40var-80cl.1	SAT	0
3qbf-5cnf-20var-80cl.1	SAT	0
tree-exa2-10	UNSAT	0
4qbf-5cnf-20var-640cl.7	UNSAT	0
counter_r_2	SAT	0
ncf_8_16_2_u.8	UNSAT	0
3qbf-5cnf-40var-80cl.7	SAT	0
5qbf-5cnf-40var-80cl.4	SAT	0
tree-exa2-20	UNSAT	0
5qbf-5cnf-40var-80cl.9	SAT	0
2qbf-5cnf-20var-320cl.3	UNSAT	0
2qbf-5cnf-20var-640cl.3	UNSAT	0
6qbf-5cnf-40var-80cl.9	SAT	0
ncf_4_8_2_edau.4	UNSAT	0
5qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-40var-80cl.8	SAT	0
ncf_4_8_2_u.4	UNSAT	0
2qbf-5cnf-40var-1280cl.8	UNSAT	0
3qbf-5cnf-40var-160cl.8	SAT	0
3qbf-5cnf-20var-80cl.7	SAT	0
2qbf-5cnf-20var-320cl.2	UNSAT	0
6qbf-5cnf-20var-40cl.8	SAT	0
5qbf-5cnf-40var-80cl.7	SAT	0
6qbf-5cnf-40var-80cl.2	SAT	0
ncf_4_8_2_euad.3	UNSAT	0
2qbf-5cnf-20var-640cl.7	UNSAT	0
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0
2qbf-5cnf-20var-40cl.9	SAT	0
tree-exa2-40	UNSAT	0
2qbf-5cnf-80var-1280cl.2	UNSAT	0
3qbf-5cnf-20var-40cl.8	SAT	0
6qbf-5cnf-20var-640cl.2	UNSAT	0
6qbf-5cnf-20var-640cl.9	UNSAT	0
3qbf-5cnf-20var-80cl.2	SAT	0
4qbf-5cnf-40var-80cl.5	SAT	0
4qbf-5cnf-20var-40cl.6	SAT	0
3qbf-5cnf-20var-40cl.0	SAT	0
flipflop-4-c	UNSAT	0
5qbf-5cnf-20var-40cl.4	SAT	0
ncf_8_16_2_u.6	UNSAT	0
ncf_8_16_2_euad.6	UNSAT	0
5qbf-5cnf-20var-80cl.5	SAT	0
4qbf-5cnf-20var-40cl.1	SAT	0
3qbf-5cnf-40var-160cl.3	SAT	0
3qbf-5cnf-20var-80cl.6	SAT	0
5qbf-5cnf-20var-640cl.6	UNSAT	0
3qbf-5cnf-40var-1280cl.9	UNSAT	0
3qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-40var-80cl.2	SAT	0
3qbf-5cnf-20var-40cl.3	SAT	0
tree-exa2-30	UNSAT	0
2qbf-5cnf-20var-640cl.8	UNSAT	0
4qbf-5cnf-20var-40cl.4	SAT	0
5qbf-5cnf-20var-80cl.6	SAT	0
2qbf-5cnf-20var-320cl.9	UNSAT	0
TOILET2.1.iv.4	SAT	0
ncf_8_16_2_d.4	SAT	0
2qbf-5cnf-40var-80cl.4	FAIL	0
6qbf-5cnf-40var-80cl.8	SAT	0
6qbf-5cnf-40var-80cl.5	SAT	0
impl02	SAT	0
ncf_8_16_2_d.8	UNSAT	0
2qbf-5cnf-20var-320cl.1	UNSAT	0
4qbf-5cnf-40var-80cl.9	FAIL	0
ncf_4_8_2_euad.7	UNSAT	0
impl06	SAT	0
6qbf-5cnf-20var-80cl.3	SAT	0
3qbf-5cnf-40var-80cl.5	SAT	0
2qbf-5cnf-20var-40cl.8	SAT	0
2qbf-5cnf-20var-40cl.4	FAIL	0
tree-exa2-35	UNSAT	0
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0
toilet_c_10_01.4	UNSAT	0
toilet_c_08_01.2	UNSAT	0
4qbf-5cnf-20var-80cl.3	SAT	0
3qbf-5cnf-80var-160cl.5	SAT	0
impl14	SAT	0
4qbf-5cnf-20var-40cl.7	SAT	0
6qbf-5cnf-20var-40cl.2	SAT	0
toilet_c_10_05.2	UNSAT	0
5qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-20var-640cl.0	UNSAT	0
3qbf-5cnf-20var-80cl.4	SAT	0
2qbf-5cnf-40var-80cl.3	SAT	0
3qbf-5cnf-20var-40cl.5	SAT	0
2qbf-5cnf-20var-320cl.6	UNSAT	0
1qbf-5cnf-20var-160cl.6	SAT	0
1qbf-5cnf-20var-320cl.2	SAT	0
1qbf-5cnf-40var-320cl.9	SAT	0
1qbf-5cnf-80var-320cl.6	SAT	0
1qbf-5cnf-40var-80cl.7	SAT	0
1qbf-5cnf-40var-80cl.4	SAT	0
6qbf-5cnf-20var-40cl.4	SAT	0
1qbf-5cnf-20var-320cl.8	SAT	0
1qbf-5cnf-40var-80cl.5	SAT	0
1qbf-5cnf-20var-160cl.8	SAT	0
1qbf-5cnf-80var-320cl.8	SAT	0
1qbf-5cnf-20var-320cl.1	SAT	0
1qbf-5cnf-40var-80cl.1	SAT	0
1qbf-5cnf-80var-640cl.2	SAT	0
1qbf-5cnf-80var-320cl.9	SAT	0
1qbf-5cnf-40var-80cl.3	SAT	0
1qbf-5cnf-20var-40cl.5	SAT	0
1qbf-5cnf-80var-320cl.7	SAT	0
6qbf-5cnf-20var-80cl.5	SAT	0
1qbf-5cnf-40var-160cl.9	SAT	0
1qbf-5cnf-40var-160cl.2	SAT	0
1qbf-5cnf-40var-80cl.8	SAT	0
1qbf-5cnf-20var-320cl.3	SAT	0
1qbf-5cnf-160var-320cl.5	SAT	0
1qbf-5cnf-20var-320cl.4	SAT	0
1qbf-5cnf-80var-640cl.3	SAT	0
1qbf-5cnf-20var-320cl.7	SAT	0
1qbf-5cnf-20var-40cl.2	SAT	0
1qbf-5cnf-20var-40cl.8	SAT	0
1qbf-5cnf-80var-640cl.6	SAT	0
1qbf-5cnf-20var-160cl.5	SAT	0
1qbf-5cnf-160var-640cl.4	SAT	0
1qbf-5cnf-20var-160cl.1	SAT	0
1qbf-5cnf-80var-320cl.1	SAT	0
1qbf-5cnf-20var-160cl.3	SAT	0
1qbf-5cnf-20var-320cl.9	SAT	0
1qbf-5cnf-40var-160cl.5	SAT	0
1qbf-5cnf-80var-320cl.2	SAT	0
1qbf-5cnf-160var-640cl.8	SAT	0
1qbf-5cnf-80var-640cl.9	SAT	0
1qbf-5cnf-40var-320cl.1	SAT	0
1qbf-5cnf-20var-80cl.0	SAT	0
1qbf-5cnf-20var-160cl.2	SAT	0
1qbf-5cnf-80var-320cl.0	SAT	0
1qbf-5cnf-40var-640cl.8	SAT	0
1qbf-5cnf-80var-160cl.8	SAT	0
1qbf-5cnf-160var-320cl.6	SAT	0
1qbf-5cnf-20var-320cl.5	SAT	0
1qbf-5cnf-160var-640cl.7	SAT	0
1qbf-5cnf-40var-80cl.9	SAT	0
1qbf-5cnf-20var-320cl.0	SAT	0
1qbf-5cnf-160var-1280cl.4	SAT	0
1qbf-5cnf-80var-160cl.6	SAT	0
1qbf-5cnf-20var-40cl.1	SAT	0
1qbf-5cnf-40var-320cl.7	SAT	0
1qbf-5cnf-160var-640cl.9	SAT	0
1qbf-5cnf-160var-640cl.3	SAT	0
1qbf-5cnf-40var-320cl.8	SAT	0
1qbf-5cnf-80var-320cl.5	SAT	0
4qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-20var-160cl.4	SAT	0
1qbf-5cnf-40var-320cl.5	SAT	0
1qbf-5cnf-160var-320cl.1	SAT	0
1qbf-5cnf-20var-160cl.7	SAT	0
1qbf-5cnf-40var-80cl.0	SAT	0
1qbf-5cnf-40var-320cl.3	SAT	0
1qbf-5cnf-80var-160cl.5	SAT	0
1qbf-5cnf-160var-320cl.4	SAT	0
3qbf-5cnf-40var-1280cl.5	UNSAT	0.01
ncf_8_16_2_edau.8	UNSAT	0.01
3qbf-5cnf-20var-160cl.9	SAT	0.01
flipflop-3-c	UNSAT	0.01
ncf_4_8_2_edau.7	UNSAT	0.01
impl20	SAT	0.01
2qbf-5cnf-80var-2560cl.3	UNSAT	0.01
5qbf-5cnf-40var-1280cl.7	UNSAT	0.01
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
adder-2-unsat	UNSAT	0.01
impl10	SAT	0.01
5qbf-5cnf-40var-1280cl.0	UNSAT	0.01
2qbf-5cnf-40var-640cl.1	UNSAT	0.01
6qbf-5cnf-40var-1280cl.5	UNSAT	0.01
6qbf-5cnf-20var-640cl.3	UNSAT	0.01
5qbf-5cnf-20var-40cl.0	SAT	0.01
4qbf-5cnf-20var-80cl.8	SAT	0.01
ncf_4_8_2_u.7	UNSAT	0.01
ncf_4_32_2_edau.1	UNSAT	0.01
3qbf-5cnf-20var-320cl.9	UNSAT	0.01
ncf_4_8_2_edau.6	SAT	0.01
6qbf-5cnf-20var-40cl.9	SAT	0.01
ncf_8_16_2_d.1	SAT	0.01
5qbf-5cnf-40var-80cl.8	SAT	0.01
6qbf-5cnf-20var-640cl.4	UNSAT	0.01
ncf_4_16_2_d.6	SAT	0.01
2qbf-5cnf-40var-1280cl.6	UNSAT	0.01
3qbf-5cnf-20var-40cl.2	SAT	0.01
3qbf-5cnf-80var-160cl.9	SAT	0.01
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.01
ncf_8_16_2_d.6	UNSAT	0.01
5qbf-5cnf-40var-160cl.7	SAT	0.01
impl16	SAT	0.01
3qbf-5cnf-40var-80cl.9	SAT	0.01
4qbf-5cnf-40var-1280cl.3	UNSAT	0.01
6qbf-5cnf-20var-640cl.0	UNSAT	0.01
ncf_4_8_2_euad.4	UNSAT	0.01
counter_re_2	SAT	0.01
tree-exa10-15	SAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
k_ph_n-4	SAT	0.01
ncf_4_8_2_d.3	UNSAT	0.01
5qbf-5cnf-20var-80cl.9	SAT	0.01
5qbf-5cnf-20var-40cl.5	SAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
4qbf-5cnf-20var-640cl.8	UNSAT	0.01
3qbf-5cnf-80var-160cl.0	SAT	0.01
impl12	SAT	0.01
tree-exa2-25	UNSAT	0.01
3qbf-5cnf-40var-1280cl.0	UNSAT	0.01
ncf_8_16_2_edau.4	SAT	0.01
3qbf-5cnf-40var-80cl.3	SAT	0.01
impl18	SAT	0.01
2qbf-5cnf-20var-40cl.1	SAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
4qbf-5cnf-20var-640cl.4	UNSAT	0.01
4qbf-5cnf-20var-40cl.2	SAT	0.01
4qbf-5cnf-40var-1280cl.9	UNSAT	0.01
toilet_c_08_01.8	UNSAT	0.01
3qbf-5cnf-40var-1280cl.8	UNSAT	0.01
5qbf-5cnf-20var-640cl.8	UNSAT	0.01
3qbf-5cnf-160var-320cl.5	SAT	0.01
2qbf-5cnf-20var-640cl.6	UNSAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
4qbf-5cnf-20var-640cl.1	UNSAT	0.01
4qbf-5cnf-40var-1280cl.6	UNSAT	0.01
3qbf-5cnf-20var-80cl.9	SAT	0.01
2qbf-5cnf-40var-80cl.5	SAT	0.01
5qbf-5cnf-40var-80cl.2	SAT	0.01
2qbf-5cnf-20var-640cl.9	UNSAT	0.01
tree-exa2-15	UNSAT	0.01
3qbf-5cnf-20var-80cl.5	SAT	0.01
5qbf-5cnf-80var-160cl.1	SAT	0.01
4qbf-5cnf-20var-640cl.6	UNSAT	0.01
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.01
4qbf-5cnf-20var-40cl.0	SAT	0.01
3qbf-5cnf-40var-1280cl.3	UNSAT	0.01
5qbf-5cnf-20var-640cl.7	UNSAT	0.01
toilet_c_10_01.2	UNSAT	0.01
ncf_4_8_2_u.3	UNSAT	0.01
5qbf-5cnf-40var-1280cl.3	UNSAT	0.01
5qbf-5cnf-20var-640cl.3	UNSAT	0.01
ncf_8_16_2_edau.7	SAT	0.01
tree-exa10-10	SAT	0.01
3qbf-5cnf-40var-640cl.9	UNSAT	0.01
ncf_8_16_2_u.1	SAT	0.01
6qbf-5cnf-20var-640cl.1	UNSAT	0.01
5qbf-5cnf-20var-640cl.2	UNSAT	0.01
3qbf-5cnf-20var-320cl.1	UNSAT	0.01
6qbf-5cnf-20var-80cl.2	SAT	0.01
tree-exa2-50	UNSAT	0.01
5qbf-5cnf-20var-80cl.8	SAT	0.01
ncf_4_8_2_d.2	SAT	0.01
ncf_4_8_4_d.3	UNSAT	0.01
3qbf-5cnf-20var-320cl.6	UNSAT	0.01
2qbf-5cnf-20var-640cl.5	UNSAT	0.01
3qbf-5cnf-40var-640cl.7	UNSAT	0.01
4qbf-5cnf-20var-80cl.6	FAIL	0.01
ncf_4_16_2_euad.6	SAT	0.01
ncf_4_8_2_edau.1	UNSAT	0.01
2qbf-5cnf-40var-1280cl.4	UNSAT	0.01
3qbf-5cnf-80var-160cl.6	SAT	0.01
3qbf-5cnf-40var-160cl.2	SAT	0.01
4qbf-5cnf-40var-1280cl.0	UNSAT	0.01
ncf_8_16_2_euad.3	UNSAT	0.01
5qbf-5cnf-20var-40cl.6	SAT	0.01
3qbf-5cnf-20var-640cl.7	UNSAT	0.01
4qbf-5cnf-40var-1280cl.2	UNSAT	0.01
ncf_4_8_2_d.7	UNSAT	0.01
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.01
2qbf-5cnf-20var-40cl.3	FAIL	0.01
5qbf-5cnf-80var-160cl.4	SAT	0.01
6qbf-5cnf-40var-80cl.4	SAT	0.01
3qbf-5cnf-20var-80cl.8	SAT	0.01
5qbf-5cnf-20var-40cl.8	SAT	0.01
2qbf-5cnf-40var-1280cl.7	UNSAT	0.01
ncf_8_16_2_u.7	SAT	0.01
5qbf-5cnf-20var-80cl.3	SAT	0.01
4qbf-5cnf-20var-640cl.9	UNSAT	0.01
2qbf-5cnf-20var-320cl.5	UNSAT	0.01
4qbf-5cnf-40var-1280cl.5	UNSAT	0.01
4qbf-5cnf-40var-80cl.7	SAT	0.01
2qbf-5cnf-20var-640cl.4	UNSAT	0.01
toilet_c_10_01.8	UNSAT	0.01
6qbf-5cnf-40var-80cl.7	SAT	0.01
5qbf-5cnf-40var-1280cl.1	UNSAT	0.01
2qbf-5cnf-40var-1280cl.0	UNSAT	0.01
5qbf-5cnf-40var-1280cl.8	UNSAT	0.01
3qbf-5cnf-20var-40cl.7	SAT	0.01
6qbf-5cnf-20var-40cl.1	SAT	0.01
4qbf-5cnf-40var-1280cl.8	UNSAT	0.01
3qbf-5cnf-40var-1280cl.2	UNSAT	0.01
6qbf-5cnf-80var-160cl.9	SAT	0.01
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
4qbf-5cnf-40var-80cl.2	FAIL	0.01
6qbf-5cnf-40var-1280cl.9	UNSAT	0.01
4qbf-5cnf-20var-640cl.0	UNSAT	0.01
BLOCKS3iii.4	UNSAT	0.01
2qbf-5cnf-20var-40cl.7	SAT	0.01
4qbf-5cnf-40var-80cl.1	SAT	0.01
4qbf-5cnf-20var-40cl.9	FAIL	0.01
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
5qbf-5cnf-20var-640cl.5	UNSAT	0.01
5qbf-5cnf-80var-2560cl.4	UNSAT	0.01
6qbf-5cnf-40var-80cl.0	SAT	0.01
3qbf-5cnf-40var-80cl.4	SAT	0.01
3qbf-5cnf-40var-80cl.1	SAT	0.01
ncf_8_16_2_euad.7	SAT	0.01
2qbf-5cnf-40var-1280cl.2	UNSAT	0.01
5qbf-5cnf-40var-1280cl.2	UNSAT	0.01
2qbf-5cnf-40var-1280cl.1	UNSAT	0.01
k_poly_p-12	UNSAT	0.01
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.01
6qbf-5cnf-40var-80cl.6	SAT	0.01
2qbf-5cnf-20var-40cl.5	FAIL	0.01
3qbf-5cnf-20var-320cl.4	UNSAT	0.01
6qbf-5cnf-40var-80cl.1	FAIL	0.01
3qbf-5cnf-20var-640cl.5	UNSAT	0.01
2qbf-5cnf-20var-320cl.7	UNSAT	0.01
3qbf-5cnf-40var-80cl.6	SAT	0.01
ncf_8_16_2_euad.1	SAT	0.01
3qbf-5cnf-40var-80cl.0	SAT	0.01
6qbf-5cnf-80var-160cl.5	SAT	0.01
ncf_8_32_2_d.9	UNSAT	0.01
3qbf-5cnf-40var-160cl.4	SAT	0.01
3qbf-5cnf-20var-640cl.1	UNSAT	0.01
2qbf-5cnf-20var-80cl.9	SAT	0.01
4qbf-5cnf-20var-640cl.2	UNSAT	0.01
4qbf-5cnf-20var-80cl.2	SAT	0.01
ncf_4_8_2_d.4	UNSAT	0.01
5qbf-5cnf-20var-40cl.1	SAT	0.01
5qbf-5cnf-20var-40cl.3	SAT	0.01
6qbf-5cnf-40var-160cl.2	FAIL	0.01
ncf_8_16_2_u.3	UNSAT	0.01
k_poly_p-8	UNSAT	0.01
4qbf-5cnf-80var-2560cl.9	UNSAT	0.01
5qbf-5cnf-40var-640cl.8	UNSAT	0.01
ncf_8_16_2_edau.1	SAT	0.01
3qbf-5cnf-20var-160cl.2	SAT	0.01
6qbf-5cnf-20var-40cl.5	SAT	0.01
3qbf-5cnf-160var-320cl.6	SAT	0.01
3qbf-5cnf-40var-1280cl.6	UNSAT	0.01
ncf_4_8_2_u.2	SAT	0.01
3qbf-5cnf-40var-1280cl.1	UNSAT	0.01
5qbf-5cnf-20var-640cl.4	UNSAT	0.01
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
3qbf-5cnf-40var-1280cl.7	UNSAT	0.01
k_poly_p-20	UNSAT	0.01
3qbf-5cnf-80var-2560cl.3	UNSAT	0.01
6qbf-5cnf-40var-1280cl.8	UNSAT	0.01
TOILET2.1.iv.3	UNSAT	0.01
2qbf-5cnf-40var-80cl.6	FAIL	0.01
4qbf-5cnf-40var-1280cl.1	UNSAT	0.01
2qbf-5cnf-20var-80cl.8	SAT	0.01
k_poly_p-4	UNSAT	0.01
1qbf-5cnf-40var-640cl.6	SAT	0.01
1qbf-5cnf-20var-640cl.0	UNSAT	0.01
1qbf-5cnf-40var-640cl.1	SAT	0.01
1qbf-5cnf-20var-80cl.4	SAT	0.01
1qbf-5cnf-20var-80cl.8	SAT	0.01
1qbf-5cnf-40var-160cl.4	SAT	0.01
1qbf-5cnf-160var-640cl.5	SAT	0.01
1qbf-5cnf-80var-640cl.5	SAT	0.01
1qbf-5cnf-40var-160cl.7	SAT	0.01
1qbf-5cnf-20var-80cl.9	SAT	0.01
1qbf-5cnf-40var-160cl.3	SAT	0.01
1qbf-5cnf-40var-640cl.5	SAT	0.01
1qbf-5cnf-20var-40cl.7	SAT	0.01
1qbf-5cnf-80var-640cl.1	SAT	0.01
1qbf-5cnf-20var-80cl.5	SAT	0.01
1qbf-5cnf-20var-320cl.6	SAT	0.01
1qbf-5cnf-160var-640cl.6	SAT	0.01
1qbf-5cnf-20var-80cl.6	SAT	0.01
1qbf-5cnf-40var-640cl.3	SAT	0.01
1qbf-5cnf-160var-640cl.0	SAT	0.01
1qbf-5cnf-160var-320cl.7	SAT	0.01
1qbf-5cnf-80var-1280cl.4	SAT	0.01
1qbf-5cnf-20var-40cl.3	SAT	0.01
1qbf-5cnf-20var-640cl.4	UNSAT	0.01
1qbf-5cnf-80var-320cl.3	SAT	0.01
1qbf-5cnf-160var-640cl.1	SAT	0.01
1qbf-5cnf-40var-640cl.2	SAT	0.01
1qbf-5cnf-160var-1280cl.9	SAT	0.01
1qbf-5cnf-40var-320cl.0	SAT	0.01
1qbf-5cnf-80var-160cl.7	SAT	0.01
1qbf-5cnf-160var-320cl.8	SAT	0.01
1qbf-5cnf-80var-320cl.4	SAT	0.01
1qbf-5cnf-40var-160cl.1	SAT	0.01
1qbf-5cnf-160var-320cl.3	SAT	0.01
1qbf-5cnf-20var-80cl.2	SAT	0.01
1qbf-5cnf-80var-640cl.0	SAT	0.01
1qbf-5cnf-160var-320cl.9	SAT	0.01
1qbf-5cnf-80var-160cl.0	SAT	0.01
1qbf-5cnf-160var-1280cl.7	SAT	0.01
1qbf-5cnf-80var-1280cl.6	SAT	0.01
1qbf-5cnf-80var-1280cl.0	SAT	0.01
1qbf-5cnf-40var-320cl.2	SAT	0.01
1qbf-5cnf-80var-640cl.4	SAT	0.01
1qbf-5cnf-40var-320cl.4	SAT	0.01
1qbf-5cnf-20var-160cl.0	SAT	0.01
1qbf-5cnf-20var-40cl.9	SAT	0.01
1qbf-5cnf-80var-160cl.9	SAT	0.01
1qbf-5cnf-40var-160cl.6	SAT	0.01
1qbf-5cnf-20var-640cl.8	UNSAT	0.01
1qbf-5cnf-20var-640cl.9	UNSAT	0.01
1qbf-5cnf-160var-1280cl.8	SAT	0.01
1qbf-5cnf-20var-640cl.2	UNSAT	0.01
1qbf-5cnf-160var-1280cl.5	SAT	0.01
1qbf-5cnf-40var-80cl.2	SAT	0.01
1qbf-5cnf-20var-40cl.4	SAT	0.01
1qbf-5cnf-160var-320cl.0	SAT	0.01
1qbf-5cnf-20var-40cl.0	SAT	0.01
1qbf-5cnf-40var-640cl.4	SAT	0.01
1qbf-5cnf-80var-160cl.1	SAT	0.01
1qbf-5cnf-20var-80cl.1	SAT	0.01
1qbf-5cnf-160var-1280cl.0	SAT	0.01
1qbf-5cnf-40var-80cl.6	SAT	0.01
3qbf-5cnf-80var-2560cl.9	UNSAT	0.02
ncf_4_8_2_euad.8	SAT	0.02
3qbf-5cnf-40var-160cl.7	SAT	0.02
2qbf-5cnf-20var-640cl.0	UNSAT	0.02
ncf_4_32_2_d.1	UNSAT	0.02
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.02
5qbf-5cnf-80var-160cl.7	SAT	0.02
6qbf-5cnf-80var-2560cl.5	UNSAT	0.02
6qbf-5cnf-80var-160cl.4	SAT	0.02
6qbf-5cnf-20var-640cl.7	UNSAT	0.02
toilet_c_10_01.20	SAT	0.02
5qbf-5cnf-20var-80cl.2	SAT	0.02
2qbf-5cnf-40var-80cl.2	SAT	0.02
ncf_8_32_2_u.9	UNSAT	0.02
ncf_4_8_2_d.9	SAT	0.02
3qbf-5cnf-80var-160cl.7	SAT	0.02
3qbf-5cnf-80var-2560cl.6	UNSAT	0.02
toilet_c_08_01.4	UNSAT	0.02
flipflop-5-c	UNSAT	0.02
5qbf-5cnf-80var-2560cl.3	UNSAT	0.02
5qbf-5cnf-80var-2560cl.9	UNSAT	0.02
4qbf-5cnf-80var-2560cl.5	UNSAT	0.02
ncf_8_16_2_d.5	UNSAT	0.02
4qbf-5cnf-80var-2560cl.4	UNSAT	0.02
6qbf-5cnf-80var-2560cl.1	UNSAT	0.02
2qbf-5cnf-20var-320cl.8	UNSAT	0.02
4qbf-5cnf-80var-2560cl.0	UNSAT	0.02
5qbf-5cnf-40var-1280cl.9	UNSAT	0.02
toilet_c_08_01.16	SAT	0.02
6qbf-5cnf-20var-40cl.7	FAIL	0.02
3qbf-5cnf-80var-160cl.4	SAT	0.02
5qbf-5cnf-40var-1280cl.6	UNSAT	0.02
k_ph_p-4	UNSAT	0.02
6qbf-5cnf-80var-2560cl.0	UNSAT	0.02
3qbf-5cnf-80var-2560cl.7	UNSAT	0.02
2qbf-5cnf-80var-2560cl.9	UNSAT	0.02
4qbf-5cnf-40var-80cl.3	SAT	0.02
ncf_4_8_2_edau.9	SAT	0.02
4qbf-5cnf-20var-640cl.5	UNSAT	0.02
4qbf-5cnf-80var-2560cl.6	UNSAT	0.02
3qbf-5cnf-40var-1280cl.4	UNSAT	0.02
renHorn_400CNF1640_2aQBF_79	SAT	0.02
5qbf-5cnf-20var-640cl.0	UNSAT	0.02
ncf_8_16_2_d.7	SAT	0.02
3qbf-5cnf-20var-640cl.3	UNSAT	0.02
5qbf-5cnf-80var-2560cl.7	UNSAT	0.02
5qbf-5cnf-80var-2560cl.2	UNSAT	0.02
mutex-2-s	SAT	0.02
ncf_4_16_2_u.6	SAT	0.02
3qbf-5cnf-80var-2560cl.1	UNSAT	0.02
4qbf-5cnf-20var-80cl.1	SAT	0.02
2qbf-5cnf-80var-2560cl.0	UNSAT	0.02
2qbf-5cnf-80var-2560cl.5	UNSAT	0.02
5qbf-5cnf-80var-2560cl.5	UNSAT	0.02
2qbf-5cnf-80var-2560cl.2	UNSAT	0.02
5qbf-5cnf-20var-80cl.0	SAT	0.02
4qbf-5cnf-40var-1280cl.4	UNSAT	0.02
4qbf-5cnf-20var-80cl.0	SAT	0.02
ncf_4_8_4_euad.3	UNSAT	0.02
2qbf-5cnf-20var-80cl.6	SAT	0.02
ncf_16_32_2_d.5	UNSAT	0.02
5qbf-5cnf-40var-1280cl.4	UNSAT	0.02
5qbf-5cnf-80var-160cl.2	SAT	0.02
ncf_8_16_2_euad.5	UNSAT	0.02
ncf_4_8_2_d.6	SAT	0.02
ncf_8_32_2_euad.9	UNSAT	0.02
3qbf-5cnf-80var-2560cl.2	UNSAT	0.02
3qbf-5cnf-20var-160cl.1	SAT	0.02
k_poly_p-16	UNSAT	0.02
6qbf-5cnf-80var-2560cl.4	UNSAT	0.02
ncf_8_16_2_d.3	UNSAT	0.02
6qbf-5cnf-80var-2560cl.7	UNSAT	0.02
k_poly_p-21	UNSAT	0.02
2qbf-5cnf-40var-1280cl.9	UNSAT	0.02
3qbf-5cnf-20var-40cl.6	SAT	0.02
5qbf-5cnf-40var-80cl.3	SAT	0.02
counter_2	SAT	0.02
3qbf-5cnf-20var-80cl.3	SAT	0.02
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.02
2qbf-5cnf-40var-640cl.3	UNSAT	0.02
2qbf-5cnf-80var-2560cl.8	UNSAT	0.02
3qbf-5cnf-20var-320cl.7	UNSAT	0.02
2qbf-5cnf-20var-160cl.4	UNSAT	0.02
ncf_4_8_4_edau.3	UNSAT	0.02
BLOCKS3ii.4.3	UNSAT	0.02
toilet_c_08_05.2	UNSAT	0.02
2qbf-5cnf-40var-640cl.0	UNSAT	0.02
5qbf-5cnf-20var-640cl.9	UNSAT	0.02
ncf_4_8_4_u.3	UNSAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
3qbf-5cnf-20var-40cl.1	SAT	0.02
4qbf-5cnf-80var-2560cl.2	UNSAT	0.02
renHorn_400CNF1480_2aQBF_96	SAT	0.02
6qbf-5cnf-80var-2560cl.2	UNSAT	0.02
ncf_8_16_2_euad.8	UNSAT	0.02
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.02
2qbf-5cnf-40var-1280cl.5	UNSAT	0.02
4qbf-5cnf-20var-640cl.3	UNSAT	0.02
5qbf-5cnf-40var-1280cl.5	UNSAT	0.02
4qbf-5cnf-40var-80cl.6	SAT	0.02
5qbf-5cnf-80var-2560cl.0	UNSAT	0.02
ncf_4_8_2_euad.10	SAT	0.02
2qbf-5cnf-40var-1280cl.3	UNSAT	0.02
3qbf-5cnf-20var-640cl.8	UNSAT	0.02
6qbf-5cnf-40var-1280cl.7	UNSAT	0.02
ncf_16_32_2_d.2	UNSAT	0.02
ncf_8_16_4_edau.8	UNSAT	0.02
2qbf-5cnf-40var-640cl.8	UNSAT	0.02
3qbf-5cnf-20var-640cl.4	UNSAT	0.02
ncf_4_8_2_u.10	SAT	0.02
horn_400CNF1440_2aQBF_737	SAT	0.02
1qbf-5cnf-80var-160cl.3	SAT	0.02
1qbf-5cnf-40var-320cl.6	SAT	0.02
1qbf-5cnf-20var-40cl.6	SAT	0.02
1qbf-5cnf-80var-1280cl.3	SAT	0.02
1qbf-5cnf-160var-640cl.2	SAT	0.02
1qbf-5cnf-160var-1280cl.2	SAT	0.02
1qbf-5cnf-160var-1280cl.1	SAT	0.02
1qbf-5cnf-160var-320cl.2	SAT	0.02
1qbf-5cnf-20var-640cl.3	UNSAT	0.02
5qbf-5cnf-80var-160cl.3	SAT	0.02
1qbf-5cnf-80var-160cl.4	SAT	0.02
1qbf-5cnf-40var-640cl.7	SAT	0.02
1qbf-5cnf-20var-640cl.6	UNSAT	0.02
1qbf-5cnf-20var-80cl.3	SAT	0.02
1qbf-5cnf-160var-1280cl.6	SAT	0.02
1qbf-5cnf-40var-160cl.0	SAT	0.02
1qbf-5cnf-20var-160cl.9	SAT	0.02
1qbf-5cnf-20var-640cl.1	UNSAT	0.02
1qbf-5cnf-40var-160cl.8	SAT	0.02
5qbf-5cnf-40var-80cl.1	SAT	0.02
1qbf-5cnf-20var-640cl.5	UNSAT	0.02
1qbf-5cnf-40var-640cl.9	SAT	0.02
1qbf-5cnf-40var-640cl.0	SAT	0.02
1qbf-5cnf-80var-1280cl.1	SAT	0.02
1qbf-5cnf-80var-160cl.2	SAT	0.02
1qbf-5cnf-80var-640cl.8	SAT	0.02
1qbf-5cnf-20var-80cl.7	SAT	0.02
1qbf-5cnf-80var-640cl.7	SAT	0.02
6qbf-5cnf-80var-2560cl.9	UNSAT	0.03
6qbf-5cnf-80var-2560cl.8	UNSAT	0.03
ncf_16_32_2_edau.6	SAT	0.03
ncf_16_32_2_u.5	UNSAT	0.03
ncf_4_32_2_d.4	UNSAT	0.03
3qbf-5cnf-80var-160cl.2	SAT	0.03
2qbf-5cnf-80var-2560cl.7	UNSAT	0.03
6qbf-5cnf-20var-640cl.5	UNSAT	0.03
ncf_8_32_2_edau.9	UNSAT	0.03
ncf_4_8_2_d.10	SAT	0.03
renHorn_400CNF2040_2aQBF_11	SAT	0.03
3qbf-5cnf-80var-2560cl.0	UNSAT	0.03
horn_400CNF1680_2aQBF_950	SAT	0.03
4qbf-5cnf-40var-1280cl.7	UNSAT	0.03
3qbf-5cnf-20var-160cl.0	SAT	0.03
ncf_16_32_2_u.2	UNSAT	0.03
toilet_a_08_05.2	UNSAT	0.03
impl04	SAT	0.03
6qbf-5cnf-40var-1280cl.6	UNSAT	0.03
2qbf-5cnf-80var-2560cl.4	UNSAT	0.03
lut4_XOR_f1	SAT	0.03
6qbf-5cnf-160var-5120cl.7	UNSAT	0.03
5qbf-5cnf-80var-2560cl.6	UNSAT	0.03
3qbf-5cnf-80var-2560cl.5	UNSAT	0.03
5qbf-5cnf-80var-2560cl.1	UNSAT	0.03
4qbf-5cnf-80var-2560cl.1	UNSAT	0.03
4qbf-5cnf-20var-80cl.9	SAT	0.03
toilet_a_08_01.4	UNSAT	0.03
ncf_8_16_2_euad.4	SAT	0.03
6qbf-5cnf-20var-80cl.4	SAT	0.03
5qbf-5cnf-160var-5120cl.0	UNSAT	0.03
6qbf-5cnf-20var-640cl.6	UNSAT	0.03
ncf_4_8_2_d.8	SAT	0.03
4qbf-5cnf-80var-2560cl.7	UNSAT	0.03
2qbf-5cnf-80var-160cl.3	SAT	0.03
5qbf-5cnf-80var-160cl.0	SAT	0.03
ncf_4_8_2_edau.8	FAIL	0.03
ncf_8_16_4_d.6	UNSAT	0.03
6qbf-5cnf-80var-160cl.0	SAT	0.03
2qbf-5cnf-20var-160cl.9	UNSAT	0.03
counter_4	SAT	0.03
renHorn_400CNF1480_2aQBF_99	SAT	0.03
toilet_a_08_01.8	UNSAT	0.03
k_lin_p-4	UNSAT	0.03
4qbf-5cnf-80var-2560cl.3	UNSAT	0.03
6qbf-5cnf-40var-1280cl.2	UNSAT	0.03
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.03
2qbf-5cnf-20var-160cl.2	UNSAT	0.03
2qbf-5cnf-20var-160cl.7	UNSAT	0.03
renHorn_400CNF2120_2aQBF_84	SAT	0.03
6qbf-5cnf-80var-160cl.8	SAT	0.03
ncf_4_8_2_edau.2	SAT	0.03
6qbf-5cnf-40var-1280cl.4	UNSAT	0.03
renHorn_400CNF2120_2aQBF_88	SAT	0.03
ncf_16_32_2_d.8	UNSAT	0.03
renHorn_400CNF1720_2aQBF_71	SAT	0.03
3qbf-5cnf-80var-2560cl.4	UNSAT	0.03
6qbf-5cnf-20var-80cl.9	SAT	0.03
3qbf-5cnf-80var-2560cl.8	UNSAT	0.03
5qbf-5cnf-80var-2560cl.8	UNSAT	0.03
renHorn_400CNF1480_2aQBF_92	SAT	0.03
5qbf-5cnf-40var-160cl.9	SAT	0.03
2qbf-5cnf-80var-1280cl.9	UNSAT	0.03
2qbf-5cnf-20var-160cl.6	UNSAT	0.03
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.03
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.03
2qbf-5cnf-80var-2560cl.6	UNSAT	0.03
5qbf-5cnf-80var-160cl.6	SAT	0.03
1qbf-5cnf-20var-640cl.7	UNSAT	0.03
1qbf-5cnf-160var-1280cl.3	SAT	0.03
1qbf-5cnf-80var-1280cl.2	SAT	0.03
ncf_4_16_2_euad.2	SAT	0.04
ncf_4_8_2_edau.10	SAT	0.04
4qbf-5cnf-20var-80cl.4	SAT	0.04
6qbf-5cnf-40var-80cl.3	SAT	0.04
ncf_4_16_2_d.2	SAT	0.04
lut4_XOR_fOR	UNSAT	0.04
2qbf-5cnf-160var-5120cl.3	UNSAT	0.04
5qbf-5cnf-160var-5120cl.8	UNSAT	0.04
ncf_8_16_4_euad.6	UNSAT	0.04
lut4_2_fXOR	SAT	0.04
ncf_16_32_2_edau.5	UNSAT	0.04
ncf_4_8_2_euad.6	SAT	0.04
5qbf-5cnf-160var-5120cl.1	UNSAT	0.04
3qbf-5cnf-40var-160cl.9	SAT	0.04
4qbf-5cnf-160var-5120cl.0	UNSAT	0.04
ncf_8_16_4_euad.5	UNSAT	0.04
3qbf-5cnf-160var-5120cl.5	UNSAT	0.04
5qbf-5cnf-160var-5120cl.5	UNSAT	0.04
6qbf-5cnf-160var-5120cl.9	UNSAT	0.04
3qbf-5cnf-160var-5120cl.9	UNSAT	0.04
3qbf-5cnf-80var-320cl.0	SAT	0.04
5qbf-5cnf-160var-5120cl.7	UNSAT	0.04
3qbf-5cnf-20var-320cl.0	UNSAT	0.04
6qbf-5cnf-80var-2560cl.6	UNSAT	0.04
5qbf-5cnf-160var-5120cl.6	UNSAT	0.04
3qbf-5cnf-20var-320cl.2	UNSAT	0.04
6qbf-5cnf-160var-5120cl.6	UNSAT	0.04
4qbf-5cnf-160var-5120cl.2	UNSAT	0.04
3qbf-5cnf-40var-160cl.6	SAT	0.04
2qbf-5cnf-160var-5120cl.7	UNSAT	0.04
renHorn_400CNF1480_2aQBF_62	SAT	0.04
ncf_16_32_2_edau.2	UNSAT	0.04
3qbf-5cnf-160var-5120cl.7	UNSAT	0.04
4qbf-5cnf-80var-2560cl.8	UNSAT	0.04
4qbf-5cnf-160var-5120cl.4	UNSAT	0.04
4qbf-5cnf-160var-5120cl.7	UNSAT	0.04
ncf_8_16_4_euad.8	UNSAT	0.04
3qbf-5cnf-20var-320cl.5	UNSAT	0.04
2qbf-5cnf-40var-640cl.2	UNSAT	0.04
3qbf-5cnf-160var-5120cl.6	UNSAT	0.04
3qbf-5cnf-160var-5120cl.0	UNSAT	0.04
4qbf-5cnf-160var-5120cl.5	UNSAT	0.04
3qbf-5cnf-160var-5120cl.8	UNSAT	0.04
4qbf-5cnf-40var-80cl.4	SAT	0.04
3qbf-5cnf-160var-5120cl.1	UNSAT	0.04
6qbf-5cnf-80var-2560cl.3	UNSAT	0.04
6qbf-5cnf-20var-80cl.6	SAT	0.04
6qbf-5cnf-160var-5120cl.1	UNSAT	0.04
ncf_16_32_2_d.6	SAT	0.04
2qbf-5cnf-160var-5120cl.1	UNSAT	0.04
toilet_c_08_05.8	SAT	0.04
6qbf-5cnf-160var-5120cl.4	UNSAT	0.04
ncf_8_16_4_d.5	UNSAT	0.04
ncf_16_32_2_euad.5	UNSAT	0.04
ncf_4_8_2_u.8	FAIL	0.04
3qbf-5cnf-20var-160cl.5	SAT	0.04
3qbf-5cnf-80var-160cl.3	SAT	0.04
5qbf-5cnf-160var-5120cl.4	UNSAT	0.04
5qbf-5cnf-160var-5120cl.2	UNSAT	0.04
4qbf-5cnf-160var-5120cl.1	UNSAT	0.04
4qbf-5cnf-160var-5120cl.9	UNSAT	0.04
4qbf-5cnf-160var-5120cl.8	UNSAT	0.04
toilet_a_08_01.2	UNSAT	0.04
2qbf-5cnf-160var-5120cl.4	UNSAT	0.04
2qbf-5cnf-20var-160cl.1	UNSAT	0.04
2qbf-5cnf-80var-2560cl.1	UNSAT	0.04
2qbf-5cnf-40var-640cl.7	UNSAT	0.04
2qbf-5cnf-160var-5120cl.0	UNSAT	0.04
ncf_4_32_2_edau.4	UNSAT	0.04
6qbf-5cnf-160var-5120cl.3	UNSAT	0.04
ncf_4_8_2_u.6	SAT	0.04
3qbf-5cnf-160var-5120cl.4	UNSAT	0.04
2qbf-5cnf-40var-80cl.8	SAT	0.04
5qbf-5cnf-160var-5120cl.9	UNSAT	0.04
tree-exa10-20	SAT	0.04
2qbf-5cnf-160var-5120cl.5	UNSAT	0.04
2qbf-5cnf-160var-5120cl.8	UNSAT	0.04
1qbf-5cnf-80var-1280cl.5	SAT	0.04
6qbf-5cnf-160var-5120cl.8	UNSAT	0.05
4qbf-5cnf-80var-160cl.7	SAT	0.05
2qbf-5cnf-20var-160cl.8	UNSAT	0.05
flipflop-6-c	UNSAT	0.05
ncf_16_32_2_d.7	UNSAT	0.05
2qbf-5cnf-160var-5120cl.2	UNSAT	0.05
2qbf-5cnf-20var-80cl.0	SAT	0.05
4qbf-5cnf-160var-5120cl.3	UNSAT	0.05
3qbf-5cnf-20var-320cl.8	UNSAT	0.05
ncf_4_8_4_d.7	UNSAT	0.05
ncf_4_8_2_u.9	SAT	0.05
3qbf-5cnf-20var-160cl.7	SAT	0.05
3qbf-5cnf-160var-5120cl.2	UNSAT	0.05
5qbf-5cnf-160var-5120cl.3	UNSAT	0.05
2qbf-5cnf-160var-5120cl.9	UNSAT	0.05
ncf_8_32_2_edau.3	UNSAT	0.05
2qbf-5cnf-20var-80cl.5	SAT	0.05
2qbf-5cnf-20var-160cl.3	UNSAT	0.05
6qbf-5cnf-20var-640cl.8	UNSAT	0.05
ncf_16_32_2_euad.8	UNSAT	0.05
3qbf-5cnf-40var-160cl.1	SAT	0.05
2qbf-5cnf-40var-640cl.5	UNSAT	0.05
ncf_16_32_2_euad.2	UNSAT	0.05
ncf_16_32_2_euad.7	UNSAT	0.05
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.05
renHorn_400CNF2120_2aQBF_21	SAT	0.05
6qbf-5cnf-160var-5120cl.5	UNSAT	0.05
ncf_8_16_2_u.4	SAT	0.05
3qbf-5cnf-160var-320cl.7	SAT	0.05
renHorn_400CNF1960_2aQBF_79	SAT	0.05
ncf_8_16_4_euad.2	UNSAT	0.05
4qbf-5cnf-160var-5120cl.6	UNSAT	0.05
ncf_4_8_2_u.1	UNSAT	0.06
2qbf-5cnf-20var-80cl.2	SAT	0.06
ncf_4_8_4_u.6	SAT	0.06
ncf_8_16_4_edau.5	UNSAT	0.06
renHorn_400CNF2040_2aQBF_100	SAT	0.06
toilet_c_08_10.2	SAT	0.06
6qbf-5cnf-20var-80cl.7	SAT	0.06
5qbf-5cnf-20var-80cl.1	SAT	0.06
2qbf-5cnf-40var-80cl.0	SAT	0.06
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.06
ncf_8_16_2_d.10	SAT	0.06
2qbf-5cnf-40var-640cl.6	UNSAT	0.06
4qbf-5cnf-20var-80cl.7	SAT	0.06
toilet_c_08_05.4	SAT	0.06
3qbf-5cnf-160var-5120cl.3	UNSAT	0.06
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.06
6qbf-5cnf-160var-5120cl.0	UNSAT	0.06
ncf_8_32_2_d.3	UNSAT	0.06
ncf_4_8_4_euad.7	UNSAT	0.06
2qbf-5cnf-80var-1280cl.8	UNSAT	0.06
2qbf-5cnf-160var-5120cl.6	UNSAT	0.06
1qbf-5cnf-80var-1280cl.7	SAT	0.06
renHorn_400CNF1560_2aQBF_28	UNSAT	0.07
ncf_16_32_4_d.4	UNSAT	0.07
ncf_4_8_8_edau.5	UNSAT	0.07
qshifter_3	SAT	0.07
ncf_4_8_4_edau.7	UNSAT	0.07
renHorn_400CNF1280_2aQBF_7	SAT	0.07
3qbf-5cnf-160var-320cl.1	SAT	0.07
ncf_4_8_4_edau.6	SAT	0.07
6qbf-5cnf-160var-5120cl.2	UNSAT	0.07
ncf_8_16_2_euad.10	SAT	0.07
ncf_4_8_4_d.6	SAT	0.07
ncf_8_16_4_d.2	UNSAT	0.07
5qbf-5cnf-20var-160cl.5	SAT	0.07
1qbf-5cnf-80var-1280cl.8	SAT	0.07
3qbf-5cnf-80var-160cl.1	SAT	0.08
3qbf-5cnf-80var-1280cl.6	UNSAT	0.08
2qbf-5cnf-40var-640cl.9	UNSAT	0.08
5qbf-5cnf-20var-160cl.7	SAT	0.08
4qbf-5cnf-80var-160cl.0	SAT	0.08
ncf_4_8_4_d.9	SAT	0.08
5qbf-5cnf-40var-160cl.6	SAT	0.08
5qbf-5cnf-20var-80cl.7	SAT	0.08
ncf_16_32_2_edau.8	UNSAT	0.08
toilet_c_08_05.10	SAT	0.08
ncf_4_8_4_euad.9	SAT	0.09
ncf_8_16_4_edau.2	UNSAT	0.09
ncf_8_16_4_u.2	UNSAT	0.09
3qbf-5cnf-40var-640cl.6	UNSAT	0.09
ncf_4_8_2_d.5	SAT	0.09
k_lin_p-8	UNSAT	0.09
4qbf-5cnf-20var-320cl.1	UNSAT	0.09
ncf_16_32_2_edau.9	UNSAT	0.09
BLOCKS3i.4.4	UNSAT	0.09
adder-2-sat	SAT	0.09
4qbf-5cnf-80var-160cl.8	FAIL	0.09
6qbf-5cnf-20var-160cl.1	SAT	0.09
ncf_16_32_4_d.10	UNSAT	0.09
4qbf-5cnf-20var-80cl.5	SAT	0.1
horn_400CNF1600_2aQBF_73	SAT	0.1
6qbf-5cnf-80var-160cl.3	SAT	0.1
5qbf-5cnf-20var-160cl.4	SAT	0.1
3qbf-5cnf-20var-160cl.4	SAT	0.1
ncf_4_8_8_u.5	UNSAT	0.1
ncf_4_8_4_euad.6	SAT	0.1
ncf_4_8_2_edau.5	SAT	0.1
ncf_16_32_2_d.9	UNSAT	0.1
renHorn_400CNF1640_2aQBF_18	SAT	0.1
ncf_16_32_2_d.4	UNSAT	0.1
ncf_4_8_4_edau.9	SAT	0.1
2qbf-5cnf-20var-160cl.5	UNSAT	0.11
2qbf-5cnf-20var-160cl.0	UNSAT	0.11
3qbf-5cnf-80var-320cl.9	SAT	0.11
3qbf-5cnf-40var-640cl.8	UNSAT	0.11
5qbf-5cnf-80var-160cl.5	SAT	0.11
C880.blif_0.10_1.00_0_1_inp_exact	SAT	0.11
5qbf-5cnf-20var-160cl.1	SAT	0.11
3qbf-5cnf-80var-1280cl.2	UNSAT	0.11
Adder2-2-c	UNSAT	0.11
5qbf-5cnf-160var-320cl.1	SAT	0.11
robots_1_5_4_100.2	SAT	0.11
1qbf-5cnf-160var-2560cl.7	SAT	0.11
robots_1_5_4_44.2	SAT	0.12
horn_400CNF2160_2aQBF_92	SAT	0.12
renHorn_400CNF1800_2aQBF_5	SAT	0.12
5qbf-5cnf-40var-160cl.4	SAT	0.12
horn_400CNF2000_2aQBF_787	UNSAT	0.12
toilet_a_10_01.3	UNSAT	0.12
ncf_16_32_2_euad.9	UNSAT	0.12
robots_1_5_5_24.2	SAT	0.12
s27_d2_s	SAT	0.12
3qbf-5cnf-20var-160cl.6	SAT	0.12
flipflop-7-c	UNSAT	0.12
renHorn_400CNF1720_2aQBF_11	SAT	0.12
renHorn_400CNF1880_2aQBF_88	SAT	0.12
1qbf-5cnf-160var-2560cl.1	SAT	0.12
6qbf-5cnf-80var-160cl.7	SAT	0.12
4qbf-5cnf-80var-160cl.6	SAT	0.13
renHorn_400CNF2200_2aQBF_22	SAT	0.13
counter_r_4	SAT	0.13
ncf_16_32_2_u.8	UNSAT	0.13
renHorn_400CNF2120_2aQBF_10	SAT	0.13
2qbf-5cnf-20var-80cl.4	SAT	0.13
robots_1_5_4_73.2	SAT	0.13
toilet_a_10_01.2	UNSAT	0.13
horn_400CNF2320_2aQBF_137	UNSAT	0.13
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.13
renHorn_400CNF1800_2aQBF_24	SAT	0.13
horn_400CNF2160_2aQBF_657	UNSAT	0.13
renHorn_400CNF1880_2aQBF_19	SAT	0.13
robots_1_5_2_49.2	SAT	0.13
3qbf-5cnf-160var-320cl.3	SAT	0.13
2qbf-5cnf-40var-80cl.9	SAT	0.13
robots_1_5_5_15.2	SAT	0.14
ncf_16_32_2_d.1	UNSAT	0.14
k_path_p-4	UNSAT	0.14
5qbf-5cnf-40var-160cl.1	SAT	0.14
horn_400CNF2320_2aQBF_458	FAIL	0.14
robots_1_5_3_51.2	SAT	0.14
connect_5x4_4_D	UNSAT	0.14
robots_1_5_4_22.2	SAT	0.14
toilet_a_10_01.4	UNSAT	0.14
robots_1_5_5_56.2	SAT	0.14
robots_1_5_4_75.2	SAT	0.14
robots_1_5_4_81.2	SAT	0.14
4qbf-5cnf-80var-160cl.5	SAT	0.14
ncf_4_8_2_u.5	SAT	0.14
4qbf-5cnf-20var-320cl.0	UNSAT	0.14
toilet_a_10_05.2	UNSAT	0.14
renHorn_400CNF2200_2aQBF_79	SAT	0.14
robots_1_5_5_62.2	SAT	0.14
5qbf-5cnf-160var-320cl.6	SAT	0.14
robots_1_5_5_75.2	SAT	0.15
ncf_8_32_4_edau.5	UNSAT	0.15
3qbf-5cnf-40var-160cl.0	SAT	0.15
4qbf-5cnf-80var-160cl.1	SAT	0.15
robots_1_5_2_81.2	SAT	0.15
robots_1_5_3_25.2	SAT	0.15
robots_1_5_5_61.2	SAT	0.15
5qbf-5cnf-20var-160cl.2	SAT	0.15
toilet_a_10_01.8	UNSAT	0.15
2qbf-5cnf-80var-160cl.1	SAT	0.15
renHorn_400CNF2360_2aQBF_97	SAT	0.15
6qbf-5cnf-20var-160cl.7	FAIL	0.15
horn_400CNF1920_2aQBF_534	FAIL	0.15
toilet_a_08_01.16	SAT	0.16
2qbf-5cnf-20var-80cl.3	SAT	0.16
robots_1_5_2_28.2	SAT	0.16
robots_1_5_4_52.2	SAT	0.16
robots_1_5_2_85.2	SAT	0.16
robots_1_5_5_31.2	SAT	0.16
robots_1_5_4_59.2	SAT	0.16
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.16
3qbf-5cnf-20var-320cl.3	UNSAT	0.16
ncf_16_64_2_d.1	SAT	0.16
ncf_16_32_4_d.7	UNSAT	0.17
robots_1_5_3_7.2	SAT	0.17
counter_e_4	SAT	0.17
robots_1_5_3_30.2	SAT	0.17
renHorn_400CNF2280_2aQBF_4	SAT	0.17
connect_5x4_4_W	UNSAT	0.17
robots_1_5_2_31.2	SAT	0.17
robots_1_5_5_97.2	SAT	0.17
5qbf-5cnf-80var-160cl.8	SAT	0.17
ncf_8_16_4_edau.6	UNSAT	0.17
ncf_16_32_4_euad.7	UNSAT	0.17
robots_1_5_3_100.2	SAT	0.17
robots_1_5_5_38.2	SAT	0.17
robots_1_5_2_47.2	SAT	0.17
robots_1_5_3_91.2	SAT	0.17
horn_400CNF1680_2aQBF_503	SAT	0.17
robots_1_5_4_71.2	SAT	0.17
1qbf-5cnf-160var-2560cl.0	SAT	0.17
connect_5x4_3_W	UNSAT	0.18
ncf_8_16_2_u.5	UNSAT	0.18
robots_1_5_2_100.2	SAT	0.18
robots_1_5_4_32.2	SAT	0.18
ncf_8_16_4_u.5	UNSAT	0.18
robots_1_5_5_100.2	SAT	0.18
horn_400CNF1680_2aQBF_695	FAIL	0.18
ncf_4_8_2_euad.5	SAT	0.18
robots_1_5_3_52.2	SAT	0.19
vonNeumann-ripple-carry-5-c	UNSAT	0.19
robots_1_5_3_26.2	SAT	0.19
k_dum_p-4	UNSAT	0.19
ncf_4_16_2_d.4	SAT	0.19
3qbf-5cnf-80var-320cl.6	SAT	0.19
robots_1_5_3_80.2	SAT	0.19
ncf_4_16_2_euad.4	SAT	0.19
connect_5x4_3_D	UNSAT	0.19
ncf_8_16_2_edau.10	SAT	0.2
ncf_16_32_2_euad.10	UNSAT	0.2
robots_1_5_3_62.2	SAT	0.2
robots_1_5_2_10.2	SAT	0.2
ncf_16_32_2_euad.4	UNSAT	0.2
horn_400CNF2160_2aQBF_308	FAIL	0.2
robots_1_5_2_33.2	SAT	0.2
horn_400CNF1840_2aQBF_329	SAT	0.2
ncf_8_64_2_d.2	UNSAT	0.2
ncf_8_16_2_edau.5	UNSAT	0.21
ncf_8_64_2_edau.2	UNSAT	0.21
4qbf-5cnf-20var-320cl.4	UNSAT	0.21
4qbf-5cnf-40var-160cl.3	SAT	0.21
4qbf-5cnf-20var-160cl.3	UNSAT	0.21
ncf_16_64_2_edau.1	SAT	0.21
ncf_16_32_2_u.9	UNSAT	0.22
ncf_4_8_4_u.9	SAT	0.22
4qbf-5cnf-20var-320cl.2	UNSAT	0.22
robots_1_5_2_14.2	SAT	0.22
flipflop-8-c	UNSAT	0.22
lognBWLARGEA1	UNSAT	0.23
toilet_a_08_05.4	SAT	0.23
4qbf-5cnf-20var-320cl.8	UNSAT	0.23
6qbf-5cnf-20var-80cl.8	SAT	0.23
5qbf-5cnf-20var-160cl.9	SAT	0.23
ncf_4_32_4_d.6	UNSAT	0.24
connect_6x5_5_W	UNSAT	0.24
connect_6x5_5_D	UNSAT	0.25
toilet_a_08_10.2	SAT	0.25
ncf_8_16_4_u.6	UNSAT	0.25
4qbf-5cnf-20var-320cl.9	UNSAT	0.25
ncf_16_32_4_d.5	UNSAT	0.25
toilet_a_08_05.8	SAT	0.25
ncf_16_32_2_edau.7	UNSAT	0.25
1qbf-5cnf-40var-1280cl.5	UNSAT	0.25
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	0.26
3qbf-5cnf-20var-160cl.8	SAT	0.26
ncf_4_32_4_edau.6	UNSAT	0.27
ncf_8_16_8_d.6	UNSAT	0.27
ncf_4_16_2_edau.2	SAT	0.27
lut4_AND_f1	SAT	0.27
3qbf-5cnf-40var-160cl.5	SAT	0.28
3qbf-5cnf-40var-640cl.5	UNSAT	0.28
5qbf-5cnf-20var-160cl.6	SAT	0.28
connect_6x5_4_D	UNSAT	0.28
5qbf-5cnf-20var-160cl.3	SAT	0.28
connect_6x5_4_W	UNSAT	0.28
2qbf-5cnf-80var-160cl.7	SAT	0.29
ncf_4_8_8_d.5	UNSAT	0.29
2qbf-5cnf-80var-1280cl.4	UNSAT	0.29
4qbf-5cnf-40var-160cl.1	SAT	0.29
ncf_16_32_2_euad.6	SAT	0.29
ncf_4_16_2_u.2	SAT	0.29
2qbf-5cnf-20var-80cl.7	SAT	0.3
ncf_16_32_2_edau.10	UNSAT	0.3
2qbf-5cnf-80var-160cl.4	SAT	0.3
1qbf-5cnf-40var-1280cl.8	UNSAT	0.3
toilet_a_08_05.10	SAT	0.31
2qbf-5cnf-80var-1280cl.3	UNSAT	0.31
ncf_8_16_4_edau.10	SAT	0.31
connect_6x5_3_D	UNSAT	0.31
ncf_4_8_8_euad.5	UNSAT	0.31
ncf_16_32_4_edau.4	UNSAT	0.31
2qbf-5cnf-40var-320cl.0	UNSAT	0.32
3qbf-5cnf-20var-160cl.3	SAT	0.32
connect_6x5_3_W	UNSAT	0.32
counter_re_4	SAT	0.32
1qbf-5cnf-40var-1280cl.2	UNSAT	0.32
1qbf-5cnf-40var-1280cl.7	UNSAT	0.32
1qbf-5cnf-40var-1280cl.1	UNSAT	0.32
2qbf-5cnf-80var-160cl.5	SAT	0.33
toilet_c_10_05.12	SAT	0.33
4qbf-5cnf-40var-80cl.8	SAT	0.33
5qbf-5cnf-80var-160cl.9	SAT	0.33
k_lin_p-12	UNSAT	0.33
4qbf-5cnf-20var-320cl.6	UNSAT	0.34
6qbf-5cnf-20var-160cl.2	SAT	0.34
BLOCKS3ii.5.2	UNSAT	0.35
BLOCKS3ii.5.3	SAT	0.35
ncf_4_16_2_edau.7	SAT	0.35
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.35
1qbf-5cnf-40var-1280cl.4	UNSAT	0.35
1qbf-5cnf-40var-1280cl.9	UNSAT	0.35
1qbf-5cnf-40var-1280cl.3	UNSAT	0.35
ncf_16_32_2_u.6	SAT	0.36
3qbf-5cnf-40var-320cl.4	SAT	0.36
BLOCKS3iii.5	SAT	0.36
1qbf-5cnf-40var-1280cl.0	UNSAT	0.36
vonNeumann-ripple-carry-6-c	UNSAT	0.37
ncf_16_32_4_euad.4	UNSAT	0.37
6qbf-5cnf-20var-80cl.1	SAT	0.37
flipflop-9-c	UNSAT	0.38
4qbf-5cnf-20var-160cl.7	UNSAT	0.38
ncf_8_16_4_euad.10	SAT	0.39
connect_7x6_6_W	UNSAT	0.39
connect_7x6_6_D	UNSAT	0.39
ncf_16_32_2_edau.4	UNSAT	0.41
ncf_8_64_4_edau.7	UNSAT	0.41
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.41
4qbf-5cnf-20var-320cl.5	UNSAT	0.41
ncf_16_32_2_d.10	UNSAT	0.42
ncf_8_16_4_d.10	SAT	0.43
5qbf-5cnf-40var-160cl.8	SAT	0.43
ncf_16_32_4_edau.10	UNSAT	0.44
2qbf-5cnf-80var-1280cl.1	UNSAT	0.44
4qbf-5cnf-80var-160cl.9	SAT	0.44
1qbf-5cnf-40var-1280cl.6	UNSAT	0.44
ncf_8_16_2_u.10	SAT	0.45
connect_7x6_5_W	UNSAT	0.45
lut4_3_fAND	SAT	0.46
5qbf-5cnf-20var-320cl.6	UNSAT	0.46
connect_7x6_5_D	UNSAT	0.46
ncf_16_64_2_edau.2	UNSAT	0.46
2qbf-5cnf-40var-640cl.4	UNSAT	0.46
k_ph_n-8	SAT	0.47
5qbf-5cnf-160var-320cl.0	SAT	0.48
connect_7x6_4_W	UNSAT	0.49
4qbf-5cnf-20var-160cl.0	UNSAT	0.49
lut4_2_f1	SAT	0.5
5qbf-5cnf-20var-320cl.1	UNSAT	0.51
horn_400CNF1520_2aQBF_98	UNSAT	0.51
4qbf-5cnf-20var-320cl.3	UNSAT	0.52
k_lin_p-16	UNSAT	0.52
3qbf-5cnf-40var-640cl.3	UNSAT	0.52
ncf_16_32_4_euad.5	UNSAT	0.52
connect_7x6_4_D	UNSAT	0.52
2qbf-5cnf-80var-1280cl.6	UNSAT	0.54
connect_7x6_3_D	UNSAT	0.55
3qbf-5cnf-40var-640cl.4	UNSAT	0.55
Adder2-2-s	SAT	0.56
3qbf-5cnf-160var-320cl.2	SAT	0.57
5qbf-5cnf-160var-320cl.3	SAT	0.59
connect_7x6_3_W	UNSAT	0.59
5qbf-5cnf-40var-160cl.2	SAT	0.59
horn_400CNF1440_2aQBF_165	UNSAT	0.6
ncf_8_16_8_edau.6	UNSAT	0.61
horn_400CNF2320_2aQBF_797	SAT	0.61
horn_400CNF1600_2aQBF_956	SAT	0.62
lognBWLARGEB1	UNSAT	0.62
vonNeumann-ripple-carry-7-c	UNSAT	0.63
connect_8x7_7_W	UNSAT	0.64
connect_8x7_7_D	UNSAT	0.64
6qbf-5cnf-40var-1280cl.1	UNSAT	0.64
ncf_16_32_4_u.5	UNSAT	0.67
horn_400CNF1840_2aQBF_198	SAT	0.67
tree-exa10-25	SAT	0.68
renHorn_400CNF1720_2aQBF_92	SAT	0.69
connect_8x7_6_W	UNSAT	0.69
6qbf-5cnf-160var-320cl.7	SAT	0.69
horn_400CNF1840_2aQBF_555	FAIL	0.7
ncf_16_32_2_d.3	SAT	0.7
horn_400CNF2320_2aQBF_72	FAIL	0.7
robots_1_5_5_26.4	SAT	0.71
flipflop-10-c	UNSAT	0.71
ncf_8_32_2_d.8	SAT	0.71
3qbf-5cnf-40var-640cl.0	UNSAT	0.71
4qbf-5cnf-40var-160cl.0	SAT	0.72
1qbf-5cnf-160var-2560cl.4	SAT	0.72
ncf_4_8_8_d.9	UNSAT	0.73
connect_8x7_6_D	UNSAT	0.74
robots_1_5_5_66.4	SAT	0.74
ncf_4_16_2_d.7	SAT	0.77
robots_1_5_2_21.4	SAT	0.8
ncf_4_8_8_euad.9	UNSAT	0.8
4qbf-5cnf-20var-320cl.7	UNSAT	0.8
6qbf-5cnf-40var-160cl.7	SAT	0.82
connect_8x7_5_D	UNSAT	0.83
connect_8x7_5_W	UNSAT	0.83
horn_400CNF1920_2aQBF_970	SAT	0.85
3qbf-5cnf-160var-320cl.8	SAT	0.85
6qbf-5cnf-40var-160cl.1	SAT	0.87
robots_1_5_2_85.4	SAT	0.88
robots_1_5_2_3.4	SAT	0.88
ncf_4_16_2_edau.4	SAT	0.89
6qbf-5cnf-40var-160cl.6	SAT	0.9
renHorn_400CNF1960_2aQBF_41	SAT	0.9
ncf_16_32_2_edau.3	SAT	0.9
renHorn_400CNF1200_2aQBF_79	UNSAT	0.93
2qbf-5cnf-80var-1280cl.5	UNSAT	0.94
connect_9x8_8_W	UNSAT	0.94
6qbf-5cnf-40var-160cl.8	SAT	0.95
6qbf-5cnf-40var-1280cl.3	UNSAT	0.95
1qbf-5cnf-160var-2560cl.2	SAT	0.95
connect_9x8_8_D	UNSAT	0.96
ncf_4_16_2_u.4	SAT	0.96
renHorn_400CNF1560_2aQBF_72	SAT	0.96
ncf_4_8_4_d.5	SAT	0.99
vonNeumann-ripple-carry-8-c	UNSAT	1.01
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	1.01
toilet_c_10_10.2	SAT	1.03
renHorn_400CNF2280_2aQBF_67	UNSAT	1.04
horn_400CNF1680_2aQBF_244	FAIL	1.05
renHorn_400CNF2040_2aQBF_86	SAT	1.06
CHAIN12v.13	SAT	1.09
connect_9x8_7_W	UNSAT	1.11
renHorn_400CNF2360_2aQBF_88	SAT	1.12
connect_9x8_7_D	UNSAT	1.13
ncf_8_32_2_euad.8	SAT	1.16
flipflop-11-c	UNSAT	1.18
horn_400CNF2160_2aQBF_996	FAIL	1.19
2qbf-5cnf-80var-1280cl.0	UNSAT	1.19
renHorn_400CNF2120_2aQBF_37	SAT	1.2
renHorn_400CNF2280_2aQBF_59	SAT	1.21
ncf_4_32_2_u.4	UNSAT	1.22
6qbf-5cnf-20var-160cl.9	SAT	1.22
4qbf-5cnf-80var-160cl.2	SAT	1.22
horn_400CNF2000_2aQBF_642	UNSAT	1.23
ncf_4_32_2_euad.4	UNSAT	1.24
6qbf-5cnf-80var-160cl.6	SAT	1.24
renHorn_400CNF1560_2aQBF_96	SAT	1.26
2qbf-5cnf-80var-160cl.0	SAT	1.26
ncf_8_16_2_u.2	UNSAT	1.27
6qbf-5cnf-40var-160cl.4	SAT	1.28
connect_9x8_6_W	UNSAT	1.3
connect_9x8_6_D	UNSAT	1.3
toilet_c_10_05.4	SAT	1.34
renHorn_400CNF1720_2aQBF_20	UNSAT	1.36
ncf_8_16_2_edau.2	UNSAT	1.36
horn_400CNF1600_2aQBF_514	UNSAT	1.41
connect_8x7_4_W	UNSAT	1.44
1qbf-5cnf-80var-1280cl.9	SAT	1.45
ncf_8_16_2_euad.9	UNSAT	1.47
connect_8x7_4_D	UNSAT	1.47
connect_8x7_3_W	UNSAT	1.48
ncf_16_128_2_edau.1	UNSAT	1.48
ncf_16_128_2_d.2	UNSAT	1.5
3qbf-5cnf-40var-640cl.1	UNSAT	1.5
5qbf-5cnf-20var-320cl.5	UNSAT	1.51
connect_8x7_3_D	UNSAT	1.53
5qbf-5cnf-40var-160cl.3	SAT	1.57
k_lin_p-20	UNSAT	1.57
ncf_8_16_8_euad.6	UNSAT	1.58
3qbf-5cnf-160var-320cl.9	SAT	1.6
5qbf-5cnf-20var-320cl.7	UNSAT	1.6
5qbf-5cnf-40var-160cl.0	SAT	1.62
vonNeumann-ripple-carry-9-c	UNSAT	1.62
ncf_16_32_4_edau.5	UNSAT	1.76
ncf_4_8_4_edau.5	SAT	1.8
C499.blif_0.10_0.20_0_1_inp_exact	SAT	1.85
flipflop-12-c	UNSAT	1.87
5qbf-5cnf-160var-320cl.8	SAT	1.88
robots_1_5_2_100.4	SAT	1.9
ncf_16_32_4_edau.7	UNSAT	1.95
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	1.97
connect_9x8_5_D	UNSAT	1.98
connect_9x8_5_W	UNSAT	1.98
k_lin_p-21	UNSAT	1.98
horn_400CNF1760_2aQBF_886	UNSAT	2.04
ncf_8_16_4_u.10	SAT	2.04
connect_9x8_4_W	UNSAT	2.05
connect_9x8_3_W	UNSAT	2.05
connect_9x8_3_D	UNSAT	2.06
4qbf-5cnf-40var-640cl.7	UNSAT	2.07
ncf_16_32_4_u.7	UNSAT	2.09
connect_9x8_4_D	UNSAT	2.09
5qbf-5cnf-20var-160cl.8	SAT	2.12
ncf_16_32_4_edau.9	SAT	2.16
3qbf-5cnf-80var-1280cl.3	UNSAT	2.35
horn_400CNF1360_2aQBF_130	UNSAT	2.35
5qbf-5cnf-40var-160cl.5	SAT	2.36
vonNeumann-ripple-carry-10-c	UNSAT	2.38
robots_1_5_4_30.4	SAT	2.39
5qbf-5cnf-20var-320cl.0	UNSAT	2.41
robots_1_5_5_87.4	SAT	2.42
robots_1_5_4_31.4	SAT	2.42
4qbf-5cnf-80var-160cl.4	SAT	2.43
robots_1_5_2_2.4	SAT	2.47
robots_1_5_2_80.4	SAT	2.56
robots_1_5_4_100.4	SAT	2.58
ncf_16_32_4_d.9	SAT	2.61
5qbf-5cnf-20var-160cl.0	SAT	2.62
robots_1_5_4_50.4	SAT	2.64
robots_1_5_3_44.4	SAT	2.72
toilet_a_10_01.20	SAT	2.72
robots_1_5_3_100.4	SAT	2.74
ncf_16_32_4_euad.9	SAT	2.76
robots_1_5_3_16.4	SAT	2.77
robots_1_5_4_46.4	SAT	2.8
3qbf-5cnf-160var-320cl.0	SAT	2.87
ncf_8_32_8_d.3	UNSAT	2.93
robots_1_5_2_45.4	SAT	2.93
CHAIN13v.14	SAT	2.96
horn_400CNF2320_2aQBF_80	UNSAT	2.97
robots_1_5_2_99.4	SAT	3.02
robots_1_5_4_87.4	SAT	3.04
robots_1_5_4_98.4	SAT	3.07
5qbf-5cnf-160var-320cl.2	SAT	3.12
renHorn_400CNF1280_2aQBF_3	SAT	3.15
ncf_16_32_2_u.7	UNSAT	3.23
robots_1_5_4_2.4	SAT	3.28
ncf_4_8_4_d.4	UNSAT	3.29
robots_1_5_3_20.4	SAT	3.3
robots_1_5_5_45.4	SAT	3.32
vonNeumann-ripple-carry-11-c	UNSAT	3.35
robots_1_5_5_30.4	SAT	3.37
robots_1_5_3_66.4	SAT	3.44
robots_1_5_4_91.4	SAT	3.48
renHorn_400CNF1480_2aQBF_98	FAIL	3.55
horn_400CNF1280_2aQBF_755	SAT	3.56
horn_400CNF1440_2aQBF_553	SAT	3.56
horn_400CNF1440_2aQBF_925	SAT	3.58
renHorn_400CNF1200_2aQBF_85	SAT	3.62
robots_1_5_3_24.4	SAT	3.64
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	3.68
robots_1_5_4_51.4	SAT	3.7
robots_1_5_5_34.4	SAT	3.7
ncf_8_32_8_d.5	UNSAT	3.71
robots_1_5_3_78.4	SAT	3.74
6qbf-5cnf-80var-160cl.2	SAT	3.8
toilet_a_10_10.2	SAT	3.8
ncf_16_32_4_edau.1	SAT	3.81
renHorn_400CNF1960_2aQBF_76	UNSAT	3.89
2qbf-5cnf-80var-160cl.9	SAT	3.9
robots_1_5_3_57.4	SAT	3.93
toilet_a_10_05.4	SAT	3.94
robots_1_5_3_2.4	SAT	3.98
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	4
robots_1_5_5_8.4	SAT	4
robots_1_5_2_39.4	SAT	4.02
3qbf-5cnf-40var-320cl.8	SAT	4.05
horn_400CNF2080_2aQBF_840	SAT	4.06
robots_1_5_5_12.4	SAT	4.08
robots_1_5_5_100.4	SAT	4.09
renHorn_400CNF1200_2aQBF_28	UNSAT	4.11
6qbf-5cnf-20var-320cl.6	UNSAT	4.11
robots_1_5_5_93.4	SAT	4.18
ncf_8_32_2_edau.8	SAT	4.19
counter_8	SAT	4.23
horn_400CNF1920_2aQBF_314	SAT	4.27
robots_1_5_3_52.4	SAT	4.3
robots_1_5_2_82.4	SAT	4.35
BLOCKS4iii.6	UNSAT	4.41
horn_400CNF2000_2aQBF_564	UNSAT	4.45
ncf_16_32_4_u.1	SAT	4.58
k_lin_n-4	SAT	4.66
4qbf-5cnf-160var-320cl.9	FAIL	4.73
1qbf-5cnf-160var-2560cl.3	SAT	4.79
vonNeumann-ripple-carry-12-c	UNSAT	4.81
horn_400CNF1680_2aQBF_547	SAT	4.84
ncf_4_8_4_u.7	UNSAT	4.91
ncf_8_32_2_u.8	SAT	4.92
horn_400CNF1680_2aQBF_482	FAIL	5.03
ncf_16_32_4_euad.1	SAT	5.07
horn_400CNF1440_2aQBF_967	SAT	5.12
1qbf-5cnf-160var-2560cl.9	SAT	5.22
ncf_16_32_4_d.1	SAT	5.25
5qbf-5cnf-20var-320cl.8	UNSAT	5.29
5qbf-5cnf-20var-320cl.4	UNSAT	5.44
horn_400CNF1680_2aQBF_745	FAIL	5.51
ncf_4_32_8_edau.9	UNSAT	5.55
2qbf-5cnf-80var-160cl.2	SAT	5.68
ncf_16_32_2_euad.1	UNSAT	5.68
horn_400CNF1920_2aQBF_647	SAT	5.99
k_d4_p-4	UNSAT	6.08
TOILET6.1.iv.11	UNSAT	6.09
5qbf-5cnf-160var-320cl.5	SAT	6.11
renHorn_400CNF2120_2aQBF_31	SAT	6.16
3qbf-5cnf-160var-320cl.4	SAT	6.26
vonNeumann-ripple-carry-13-c	UNSAT	6.37
horn_400CNF1840_2aQBF_514	SAT	6.39
horn_400CNF1920_2aQBF_952	SAT	6.52
BLOCKS3i.5.4	SAT	6.64
ncf_8_32_2_edau.7	UNSAT	6.89
ncf_4_8_4_euad.5	SAT	7.02
6qbf-5cnf-40var-1280cl.0	UNSAT	7.07
horn_400CNF1600_2aQBF_3	SAT	7.35
ncf_4_16_2_u.7	SAT	7.48
3qbf-5cnf-40var-640cl.2	UNSAT	7.49
TOILET6.1.iv.12	SAT	7.54
horn_400CNF1520_2aQBF_782	UNSAT	7.56
2qbf-5cnf-80var-160cl.6	SAT	7.8
CHAIN14v.15	SAT	7.94
ev-pr-4x4-7-3-0-0-1-lg	SAT	8.36
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	8.44
ncf_8_64_4_edau.10	UNSAT	8.6
6qbf-5cnf-40var-160cl.5	SAT	9.23
renHorn_400CNF1200_2aQBF_8	UNSAT	9.78
5qbf-5cnf-20var-320cl.2	UNSAT	9.94
horn_400CNF1600_2aQBF_331	SAT	10.17
5qbf-5cnf-160var-320cl.7	SAT	10.18
3qbf-5cnf-80var-320cl.2	SAT	10.24
4qbf-5cnf-20var-160cl.6	UNSAT	10.27
horn_400CNF1600_2aQBF_103	SAT	10.53
horn_400CNF2000_2aQBF_702	SAT	10.68
ncf_4_16_2_edau.10	UNSAT	10.75
k_ph_p-8	UNSAT	10.94
vonNeumann-ripple-carry-15-c	UNSAT	11.09
ncf_16_128_2_edau.8	UNSAT	11.21
horn_400CNF1680_2aQBF_91	UNSAT	11.76
k_dum_n-4	SAT	11.96
3qbf-5cnf-80var-320cl.3	SAT	12.28
ncf_8_16_2_d.9	UNSAT	12.31
ncf_16_32_8_d.8	UNSAT	13.24
ncf_4_16_2_edau.9	SAT	13.73
3qbf-5cnf-80var-320cl.5	SAT	14.26
horn_400CNF1920_2aQBF_603	UNSAT	14.29
5qbf-5cnf-20var-320cl.9	UNSAT	14.85
horn_400CNF1440_2aQBF_117	UNSAT	15.2
5qbf-5cnf-160var-320cl.4	SAT	15.23
horn_400CNF1600_2aQBF_278	UNSAT	15.78
k_dum_p-8	UNSAT	15.99
horn_400CNF2320_2aQBF_132	SAT	16.04
renHorn_400CNF1800_2aQBF_53	UNSAT	16.26
ncf_8_16_2_edau.9	UNSAT	16.34
ncf_4_16_2_d.10	UNSAT	16.35
ncf_4_16_2_u.9	SAT	17.01
6qbf-5cnf-20var-160cl.8	SAT	17.09
1qbf-5cnf-160var-2560cl.5	SAT	17.55
5qbf-5cnf-80var-320cl.3	SAT	18.12
2qbf-5cnf-80var-160cl.8	SAT	19.2
3qbf-5cnf-40var-320cl.0	SAT	19.26
robots_1_5_5_66.8	SAT	19.42
horn_400CNF2000_2aQBF_878	SAT	20.09
ncf_8_16_4_d.4	SAT	20.12
4qbf-5cnf-40var-160cl.7	SAT	20.6
renHorn_400CNF1400_2aQBF_80	SAT	20.8
robots_1_5_3_39.8	SAT	21.41
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	21.48
4qbf-5cnf-40var-160cl.6	SAT	21.52
robots_1_5_2_75.8	SAT	21.99
6qbf-5cnf-20var-320cl.5	UNSAT	22.14
renHorn_400CNF2120_2aQBF_52	SAT	22.35
ncf_8_32_2_u.3	UNSAT	22.5
ncf_4_16_4_d.5	SAT	22.85
horn_400CNF2320_2aQBF_813	SAT	23.14
toilet_a_10_01.16	UNSAT	23.26
4qbf-5cnf-20var-160cl.8	UNSAT	23.55
ncf_16_32_4_euad.10	UNSAT	23.78
ncf_16_128_4_edau.10	UNSAT	23.89
ncf_4_16_4_euad.5	SAT	24.15
toilet_c_10_01.16	UNSAT	24.22
CHAIN15v.16	SAT	24.55
ncf_8_32_8_euad.3	UNSAT	25.9
TOILET7.1.iv.13	UNSAT	26.73
3qbf-5cnf-80var-320cl.8	SAT	27.34
k_ph_n-12	SAT	27.89
k_path_n-4	SAT	27.95
ncf_4_16_4_edau.5	SAT	28.16
ncf_4_8_8_edau.9	UNSAT	28.29
ncf_16_32_2_u.10	UNSAT	29.42
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	29.78
horn_400CNF2080_2aQBF_714	SAT	30.25
TOILET7.1.iv.14	SAT	30.31
horn_400CNF1920_2aQBF_704	UNSAT	30.5
horn_400CNF1760_2aQBF_979	UNSAT	30.85
horn_400CNF2000_2aQBF_523	SAT	31
horn_400CNF1520_2aQBF_625	UNSAT	31.07
horn_400CNF1440_2aQBF_676	FAIL	31.44
ncf_4_16_4_u.5	SAT	31.9
horn_400CNF2000_2aQBF_577	SAT	33.13
ncf_8_64_8_edau.10	UNSAT	34.18
6qbf-5cnf-20var-320cl.8	UNSAT	35.17
ncf_4_8_4_d.2	UNSAT	37.5
horn_400CNF2160_2aQBF_407	SAT	37.68
2qbf-5cnf-40var-320cl.1	UNSAT	37.79
horn_400CNF1360_2aQBF_788	SAT	37.83
4qbf-5cnf-80var-160cl.3	SAT	37.99
toilet_c_10_05.8	SAT	38.02
horn_400CNF2080_2aQBF_194	UNSAT	38.2
2qbf-5cnf-40var-320cl.3	UNSAT	38.37
tree-exa10-30	SAT	38.4
horn_400CNF2160_2aQBF_411	UNSAT	39.66
4qbf-5cnf-40var-160cl.5	SAT	41.14
6qbf-5cnf-40var-160cl.0	SAT	41.65
renHorn_400CNF2120_2aQBF_63	SAT	43.13
mutex-4-s	SAT	44.45
ncf_8_16_4_d.3	SAT	44.47
1qbf-5cnf-160var-2560cl.6	SAT	44.63
ncf_4_8_4_euad.2	UNSAT	44.85
3qbf-5cnf-40var-320cl.7	SAT	46.19
ncf_8_16_4_edau.4	SAT	46.75
ncf_16_32_2_edau.1	UNSAT	46.92
ncf_4_16_2_d.9	SAT	47.49
ncf_8_32_8_edau.3	UNSAT	47.95
ncf_8_16_2_u.9	UNSAT	48.44
5qbf-5cnf-40var-640cl.7	UNSAT	48.6
1qbf-5cnf-160var-2560cl.8	SAT	48.6
renHorn_400CNF2360_2aQBF_9	SAT	48.64
6qbf-5cnf-160var-320cl.6	SAT	49.87
ncf_8_16_4_euad.4	SAT	50.05
ncf_4_8_4_u.5	SAT	50.24
4qbf-5cnf-40var-640cl.3	UNSAT	51
4qbf-5cnf-20var-160cl.5	UNSAT	54.46
horn_400CNF1360_2aQBF_565	SAT	54.75
ncf_4_8_4_edau.2	UNSAT	55.9
ncf_4_16_2_euad.9	SAT	57.12
ncf_16_128_4_d.10	UNSAT	58.7
ev-pr-4x4-9-3-0-0-1-lg	SAT	60.84
4qbf-5cnf-40var-160cl.2	SAT	63.19
horn_400CNF2320_2aQBF_832	UNSAT	63.74
ncf_16_32_2_euad.3	SAT	66.86
4qbf-5cnf-160var-320cl.0	SAT	67.05
6qbf-5cnf-20var-320cl.9	UNSAT	67.11
horn_400CNF1520_2aQBF_600	UNSAT	68.07
CHAIN16v.17	SAT	70.08
lut4_AND_fXOR	UNSAT	71.54
horn_400CNF2320_2aQBF_209	UNSAT	73.69
renHorn_400CNF2120_2aQBF_19	SAT	73.92
horn_400CNF1920_2aQBF_890	UNSAT	73.99
ncf_4_16_4_d.6	UNSAT	79.03
ncf_8_16_4_edau.3	FAIL	79.26
k_lin_n-8	SAT	83.78
2qbf-5cnf-40var-160cl.0	SAT	84.69
horn_400CNF1920_2aQBF_583	SAT	86.42
horn_400CNF2160_2aQBF_427	SAT	87.41
BLOCKS3i.5.3	UNSAT	88.23
ncf_4_16_2_u.1	UNSAT	91.82
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	95.9
6qbf-5cnf-20var-160cl.5	SAT	97.17
horn_400CNF2160_2aQBF_976	UNSAT	103.27
4qbf-5cnf-20var-160cl.4	UNSAT	103.66
k_grz_n-4	SAT	104.97
4qbf-5cnf-20var-160cl.1	UNSAT	105.44
4qbf-5cnf-40var-640cl.8	UNSAT	105.84
horn_400CNF1760_2aQBF_614	FAIL	106.47
k_grz_p-4	UNSAT	109.46
connect_5x4_4_R	UNSAT	111.51
horn_400CNF1680_2aQBF_286	SAT	116.99
BLOCKS4ii.6.3	UNSAT	120.78
2qbf-5cnf-80var-1280cl.7	UNSAT	122.27
C432.blif_0.10_0.20_0_1_inp_exact	SAT	127.54
horn_400CNF2000_2aQBF_8	UNSAT	129.39
3qbf-5cnf-40var-320cl.1	SAT	129.75
connect_5x4_3_R	UNSAT	131.83
ncf_4_8_4_d.1	SAT	133.4
ncf_4_8_4_edau.10	SAT	136.91
3qbf-5cnf-80var-1280cl.8	UNSAT	143.18
C5315.blif_0.10_1.00_0_1_out_exact	SAT	143.23
2qbf-5cnf-40var-320cl.5	UNSAT	144.15
3qbf-5cnf-40var-320cl.3	SAT	145.97
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	146.03
5qbf-5cnf-40var-640cl.1	UNSAT	148.97
ncf_4_16_2_edau.1	UNSAT	156.12
4qbf-5cnf-40var-640cl.6	UNSAT	156.72
renHorn_400CNF1640_2aQBF_42	FAIL	158.08
renHorn_400CNF1800_2aQBF_36	UNSAT	158.13
4qbf-5cnf-40var-640cl.5	UNSAT	158.2
renHorn_400CNF2200_2aQBF_48	SAT	159.97
6qbf-5cnf-20var-320cl.0	UNSAT	169.7
BLOCKS4ii.7.2	UNSAT	173.65
5qbf-5cnf-80var-320cl.1	SAT	177.61
ncf_16_32_4_u.4	UNSAT	179.07
2qbf-5cnf-160var-2560cl.8	UNSAT	180.75
renHorn_400CNF1280_2aQBF_62	SAT	181.92
horn_400CNF1920_2aQBF_597	SAT	185.49
horn_400CNF2080_2aQBF_322	UNSAT	192.19
ncf_8_16_4_u.4	SAT	195.22
ncf_4_8_4_d.10	SAT	199.26
k_grz_p-8	UNSAT	204.27
ncf_16_32_4_d.3	SAT	205.94
3qbf-5cnf-80var-320cl.4	SAT	225.48
6qbf-5cnf-20var-320cl.7	UNSAT	227.96
ncf_8_16_4_u.8	UNSAT	233.58
3qbf-5cnf-40var-320cl.6	SAT	233.95
renHorn_400CNF2280_2aQBF_13	SAT	235.52
renHorn_400CNF1280_2aQBF_56	UNSAT	235.82
6qbf-5cnf-20var-320cl.4	UNSAT	236.2
ncf_16_32_4_euad.3	SAT	237.4
5qbf-5cnf-80var-320cl.6	SAT	239.54
CHAIN17v.18	SAT	241.36
6qbf-5cnf-20var-160cl.6	SAT	247.55
ncf_4_8_4_edau.1	SAT	265.69
5qbf-5cnf-80var-320cl.9	SAT	271.19
horn_400CNF1600_2aQBF_748	UNSAT	271.59
ncf_8_16_4_d.1	SAT	278.56
6qbf-5cnf-40var-160cl.3	SAT	287.44
5qbf-5cnf-20var-320cl.3	UNSAT	292.29
horn_400CNF1920_2aQBF_75	UNSAT	296.98
ncf_4_8_8_u.9	UNSAT	307
6qbf-5cnf-20var-320cl.1	UNSAT	323.52
ncf_16_32_4_u.3	SAT	338.52
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	338.6
ncf_16_128_2_d.8	UNSAT	340.6
horn_400CNF2080_2aQBF_682	UNSAT	342.26
k_ph_n-16	SAT	344.51
ncf_4_16_4_d.8	SAT	348.28
k_branch_p-4	UNSAT	352.7
ncf_8_16_4_edau.1	SAT	358.75
4qbf-5cnf-40var-640cl.4	UNSAT	363.51
ncf_4_16_4_euad.8	SAT	367.67
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	371.16
renHorn_400CNF1560_2aQBF_90	UNSAT	383.61
horn_400CNF1200_2aQBF_539	FAIL	396.33
ncf_4_8_4_u.2	UNSAT	397.81
3qbf-5cnf-80var-320cl.1	SAT	398.25
renHorn_400CNF1360_2aQBF_22	SAT	403.82
ncf_4_8_4_euad.1	SAT	406.03
ncf_16_32_4_edau.3	SAT	409.67
ncf_4_16_4_edau.8	SAT	413.28
horn_400CNF1520_2aQBF_405	UNSAT	413.58
renHorn_400CNF1280_2aQBF_22	UNSAT	415.23
robots_1_5_2_100.8	SAT	425.79
robots_1_5_2_91.8	SAT	428.48
4qbf-5cnf-20var-160cl.2	SAT	432.71
6qbf-5cnf-20var-160cl.3	UNSAT	439.55
2qbf-5cnf-40var-320cl.8	UNSAT	441.86
counter_64	FAIL	450.05
ncf_4_16_2_edau.5	UNSAT	460.21
ncf_4_16_4_u.8	SAT	461.02
renHorn_400CNF1480_2aQBF_85	UNSAT	473.4
4qbf-5cnf-40var-160cl.4	SAT	476.17
ncf_16_32_4_u.9	SAT	493.7
horn_400CNF1440_2aQBF_829	UNSAT	508.19
counter_32	FAIL	521.58
horn_400CNF1520_2aQBF_387	SAT	525.08
6qbf-5cnf-160var-320cl.3	SAT	534.74
ncf_16_32_4_d.2	SAT	538.92
6qbf-5cnf-20var-160cl.4	SAT	542.59
horn_400CNF2080_2aQBF_899	SAT	544.32
6qbf-5cnf-20var-320cl.3	UNSAT	573.02
connect_8x7_4_R	FAIL	573.54
horn_400CNF1760_2aQBF_484	UNSAT	587.99
ncf_16_128_2_d.1	UNSAT	590.65
ncf_8_16_4_euad.1	SAT	600.83
horn_400CNF1360_2aQBF_894	UNSAT	604.59
renHorn_400CNF1960_2aQBF_50	UNSAT	618.63
ncf_4_16_4_u.9	SAT	633.09
2qbf-5cnf-160var-2560cl.4	UNSAT	634.88
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	646.32
ncf_4_16_2_u.5	UNSAT	653.08
connect_7x6_4_R	FAIL	655.17
horn_400CNF1680_2aQBF_589	UNSAT	661.89
connect_7x6_5_R	FAIL	663.28
k_branch_n-20	FAIL	675.16
connect_8x7_3_R	FAIL	690.44
horn_400CNF1600_2aQBF_236	UNSAT	692.37
k_branch_p-21	FAIL	702.95
k_branch_n-21	FAIL	711.5
k_dum_p-12	UNSAT	716.1
connect_7x6_6_R	FAIL	716.27
connect_8x7_5_R	FAIL	717.76
connect_8x7_7_R	FAIL	719.79
k_branch_n-16	FAIL	726.22
szymanski-20-s	FAIL	727.4
szymanski-24-s	FAIL	727.47
szymanski-18-s	FAIL	728.71
connect_8x7_6_R	FAIL	729.58
szymanski-16-s	FAIL	729.63
k_branch_p-20	FAIL	730.08
szymanski-22-s	FAIL	731.68
connect_6x5_4_R	FAIL	732.35
s3330_d8_s	FAIL	733.09
szymanski-14-s	FAIL	733.15
szymanski-12-s	FAIL	741.59
k_branch_p-16	FAIL	749.99
szymanski-10-s	FAIL	755.43
robots_1_5_5_5.8	FAIL	756.76
robots_1_5_3_90.8	FAIL	759.58
robots_1_5_4_75.8	FAIL	759.62
counter_r_64	FAIL	760.11
robots_1_5_4_100.8	FAIL	760.53
robots_1_5_5_12.8	FAIL	761.1
robots_1_5_4_56.8	FAIL	761.5
robots_1_5_4_24.8	FAIL	762.19
connect_9x8_3_R	FAIL	762.75
robots_1_5_4_99.8	FAIL	763.35
Adder2-16-s	FAIL	763.93
robots_1_5_5_99.8	FAIL	764.01
robots_1_5_5_33.8	FAIL	764.42
CHAIN18v.19	SAT	764.82
robots_1_5_3_16.8	FAIL	765.98
horn_400CNF1520_2aQBF_165	UNSAT	766
robots_1_5_4_46.8	FAIL	766.62
robots_1_5_3_44.8	FAIL	766.68
robots_1_5_5_100.8	FAIL	766.94
robots_1_5_4_96.8	FAIL	767.67
robots_1_5_4_91.8	FAIL	768.71
robots_1_5_5_95.8	FAIL	769.07
robots_1_5_4_1.8	FAIL	769.07
robots_1_5_5_14.8	FAIL	769.13
robots_1_5_4_17.8	FAIL	769.29
Adder2-14-s	FAIL	769.4
horn_400CNF2160_2aQBF_692	SAT	769.54
robots_1_5_3_100.8	FAIL	769.76
robots_1_5_2_82.8	FAIL	773.09
robots_1_5_5_50.8	FAIL	774.21
robots_1_5_5_10.8	FAIL	774.25
robots_1_5_3_27.8	FAIL	774.92
Adder2-12-s	FAIL	775.8
robots_1_5_2_67.8	FAIL	775.85
robots_1_5_2_9.8	FAIL	776.59
robots_1_5_2_40.8	FAIL	776.79
connect_9x8_4_R	FAIL	777.08
robots_1_5_2_61.8	FAIL	777.92
robots_1_5_3_70.8	FAIL	778.02
robots_1_5_3_64.8	FAIL	778.93
5qbf-5cnf-40var-320cl.6	SAT	779.51
robots_1_5_3_55.8	FAIL	779.97
Adder2-16-c	FAIL	781.1
robots_1_5_2_32.8	FAIL	782.69
robots_1_5_2_54.8	FAIL	784.67
szymanski-8-s	FAIL	785.55
Adder2-14-c	FAIL	786.88
robots_1_5_3_8.8	FAIL	787.22
Adder2-10-s	FAIL	789.29
connect_9x8_5_R	FAIL	792.55
connect_9x8_8_R	FAIL	793.59
Adder2-12-c	FAIL	793.71
connect_9x8_6_R	FAIL	795.13
connect_9x8_7_R	FAIL	799.28
ev-pr-8x8-19-7-0-1-2-lg	FAIL	799.87
ncf_16_128_8_d.1	FAIL	802.83
ncf_16_128_8_d.8	FAIL	803.81
Adder2-10-c	FAIL	805.58
ncf_16_128_8_d.10	FAIL	806.17
ncf_16_128_8_d.4	FAIL	806.36
connect_7x6_3_R	FAIL	806.47
ncf_16_128_8_d.6	FAIL	808.54
Adder2-8-s	FAIL	809.11
ncf_16_128_8_d.9	FAIL	810.45
ncf_16_128_8_d.5	FAIL	811.2
ncf_16_128_8_edau.2	FAIL	812.06
connect_6x5_3_R	FAIL	812.31
ncf_16_128_8_edau.9	FAIL	813.95
ncf_16_128_8_edau.8	FAIL	814.34
ncf_16_128_8_edau.10	FAIL	815.54
ncf_16_128_8_d.2	FAIL	816.71
ncf_16_128_8_edau.6	FAIL	816.86
ncf_16_128_8_euad.9	FAIL	818.21
Adder2-8-c	FAIL	820.17
mutex-128-s	FAIL	820.24
ncf_16_128_8_euad.10	FAIL	820.41
ncf_16_128_8_d.7	FAIL	822.07
ncf_16_128_4_d.9	FAIL	822.84
ncf_16_128_4_euad.7	FAIL	823.68
ncf_16_128_4_d.8	FAIL	823.72
ncf_16_128_4_d.1	FAIL	824.45
ncf_16_128_4_d.4	FAIL	824.5
ncf_16_128_8_euad.6	FAIL	824.88
ncf_16_64_8_d.7	FAIL	826.24
ncf_16_128_8_u.6	FAIL	826.7
ncf_16_128_8_u.4	FAIL	827.51
ncf_8_64_8_edau.3	FAIL	827.9
ncf_16_128_8_d.3	FAIL	827.98
ncf_16_128_8_u.9	FAIL	827.99
szymanski-6-s	FAIL	828
ncf_16_64_8_d.8	FAIL	828.81
ncf_16_64_8_d.2	FAIL	829.04
ncf_16_128_4_d.7	FAIL	829.21
ncf_16_64_8_d.1	FAIL	829.53
ncf_16_128_4_edau.8	FAIL	830.02
ncf_16_64_8_d.9	FAIL	830.38
ncf_16_64_8_d.6	FAIL	830.76
ncf_16_64_8_d.5	FAIL	830.95
ncf_8_64_8_d.4	FAIL	831.02
ncf_8_64_8_d.10	FAIL	832.39
horn_400CNF1440_2aQBF_668	UNSAT	833.1
ncf_16_128_4_edau.4	FAIL	833.16
ncf_16_128_4_edau.7	FAIL	833.35
mutex-64-s	FAIL	833.64
ncf_16_128_8_euad.3	FAIL	833.76
ncf_16_128_4_u.8	FAIL	833.93
ncf_8_64_8_d.7	FAIL	833.95
ncf_16_128_8_u.10	FAIL	834.04
ncf_16_128_8_u.5	FAIL	834.64
ncf_8_64_8_d.3	FAIL	834.71
ncf_16_128_4_euad.4	FAIL	834.72
ncf_16_64_8_d.10	FAIL	834.77
ncf_8_64_8_d.2	FAIL	834.82
ncf_16_128_4_edau.3	FAIL	834.87
ncf_16_128_4_edau.2	FAIL	834.95
ncf_16_128_8_edau.3	FAIL	835.48
ncf_16_128_8_u.3	FAIL	835.63
ncf_16_64_8_d.4	FAIL	835.83
ncf_16_64_8_d.3	FAIL	835.85
ncf_16_128_4_edau.1	FAIL	836.2
ncf_8_64_8_d.8	FAIL	836.3
connect_6x5_5_R	FAIL	836.32
ncf_8_64_8_d.1	FAIL	836.41
ncf_8_64_8_d.9	FAIL	836.81
ncf_16_128_4_euad.1	FAIL	837.15
ncf_8_64_8_edau.1	FAIL	837.39
ncf_16_128_8_edau.4	FAIL	837.5
ncf_8_64_8_d.5	FAIL	837.54
ncf_16_128_4_edau.6	FAIL	837.59
ncf_16_128_4_edau.9	FAIL	838.75
ncf_16_128_4_d.2	FAIL	839.03
ncf_16_64_8_euad.8	FAIL	839.78
ncf_16_64_8_edau.5	FAIL	839.81
ncf_16_128_8_u.2	FAIL	839.91
ncf_16_64_8_euad.2	FAIL	840.21
ncf_8_64_8_edau.5	FAIL	840.45
ncf_8_64_8_euad.9	FAIL	840.55
ncf_8_64_8_euad.1	FAIL	840.6
ncf_16_128_8_u.7	FAIL	840.61
adder-16-sat	FAIL	840.8
ncf_8_64_8_d.6	FAIL	841.3
ncf_16_128_8_u.8	FAIL	841.38
ncf_16_128_8_euad.1	FAIL	841.5
ev-pr-4x4-17-3-0-0-1-s	FAIL	841.52
ncf_8_64_8_euad.7	FAIL	842.01
ncf_16_128_2_edau.7	FAIL	842.02
ncf_16_64_8_edau.4	FAIL	842.07
ncf_16_128_4_euad.9	FAIL	842.1
ev-pr-4x4-15-3-0-0-1-s	FAIL	842.41
ncf_16_64_8_euad.7	FAIL	842.51
Adder2-6-s	FAIL	842.63
ncf_8_64_8_edau.2	FAIL	842.69
ncf_16_64_8_euad.4	FAIL	842.75
ncf_16_64_8_edau.6	FAIL	842.89
ncf_16_128_4_u.4	FAIL	843.11
ncf_8_64_8_edau.4	FAIL	843.13
ncf_16_64_8_edau.8	FAIL	843.31
ncf_16_64_8_edau.1	FAIL	843.32
ncf_16_64_8_euad.5	FAIL	843.77
ncf_16_128_8_euad.7	FAIL	843.78
ev-pr-4x4-13-3-0-0-1-s	FAIL	843.87
ncf_8_64_8_edau.9	FAIL	843.88
ncf_8_64_4_edau.8	FAIL	843.91
ncf_16_64_8_euad.3	FAIL	844.4
ncf_16_64_8_edau.9	FAIL	844.47
ncf_16_128_4_d.6	FAIL	844.63
ncf_8_64_8_euad.10	FAIL	844.81
ev-pr-4x4-11-3-0-0-1-lg	SAT	844.88
counter_e_64	FAIL	844.93
ncf_16_128_4_euad.10	FAIL	844.97
ncf_8_64_8_euad.4	FAIL	845.04
Adder2-6-c	FAIL	845.08
ncf_16_64_8_edau.3	FAIL	845.19
ncf_8_64_8_edau.8	FAIL	845.22
ncf_16_128_4_u.5	FAIL	845.31
ncf_16_128_4_u.2	FAIL	845.52
ev-pr-4x4-11-3-0-0-1-s	FAIL	845.57
ncf_16_64_8_edau.10	FAIL	845.59
ncf_8_64_8_edau.6	FAIL	845.92
ncf_8_64_8_euad.2	FAIL	846
ncf_16_128_8_edau.7	FAIL	846.12
ncf_16_64_8_euad.9	FAIL	846.43
ncf_8_64_8_edau.7	FAIL	846.44
ncf_16_128_8_edau.1	FAIL	847.34
adder-14-sat	FAIL	847.6
ncf_16_128_4_euad.8	FAIL	847.61
ncf_16_64_8_euad.6	FAIL	847.81
ev-pr-4x4-9-3-0-0-1-s	FAIL	847.81
ncf_8_64_8_euad.6	FAIL	847.89
ncf_16_128_4_u.10	FAIL	847.96
ncf_16_64_8_edau.7	FAIL	848.13
ncf_16_128_2_d.9	FAIL	848.19
ncf_16_128_4_d.5	FAIL	848.25
ncf_8_64_8_euad.5	FAIL	848.25
ncf_16_64_8_u.4	FAIL	848.34
ncf_16_64_8_u.5	FAIL	848.36
ncf_16_64_8_euad.10	FAIL	848.64
ncf_16_128_4_u.1	FAIL	848.9
ev-pr-8x8-17-7-0-1-2-lg	FAIL	848.91
ncf_16_64_8_u.2	FAIL	849.11
ncf_16_64_8_edau.2	FAIL	849.52
ncf_8_64_8_euad.8	FAIL	849.56
ncf_16_64_8_euad.1	FAIL	849.61
ncf_16_128_4_u.7	FAIL	849.82
ncf_16_128_2_edau.2	FAIL	849.83
ncf_8_64_8_euad.3	FAIL	849.97
ncf_8_64_8_u.3	FAIL	850.01
ncf_16_128_8_edau.5	FAIL	850.06
ncf_16_128_2_edau.6	FAIL	850.1
ncf_16_32_8_d.6	FAIL	850.43
mutex-32-s	FAIL	850.7
ncf_16_128_2_edau.5	FAIL	850.81
ncf_16_128_2_edau.10	FAIL	851.25
ncf_16_64_8_u.1	FAIL	851.33
ncf_8_64_4_d.9	FAIL	851.73
ncf_16_128_2_edau.9	FAIL	851.76
ncf_16_64_8_u.8	FAIL	851.83
ncf_16_128_2_edau.3	FAIL	851.97
ncf_8_64_8_u.6	FAIL	852.42
ncf_16_128_2_d.10	FAIL	852.46
ncf_16_128_2_d.3	FAIL	852.59
ev-pr-6x6-19-5-0-1-2-s	FAIL	853.1
ncf_16_64_8_u.10	FAIL	853.11
ncf_16_64_4_d.10	FAIL	853.24
ncf_16_64_8_u.6	FAIL	853.3
ncf_16_64_8_u.3	FAIL	853.41
ncf_8_64_8_u.1	FAIL	853.61
ncf_8_32_8_d.10	FAIL	853.85
ncf_16_32_8_edau.7	FAIL	854
ncf_8_64_8_u.9	FAIL	854.01
ncf_8_64_8_u.8	FAIL	854.04
ncf_8_32_8_d.8	FAIL	854.07
ncf_16_128_8_euad.2	FAIL	854.12
ev-pr-6x6-15-5-0-1-2-s	FAIL	854.12
ncf_16_128_2_edau.4	FAIL	854.22
ev-pr-6x6-17-5-0-1-2-s	FAIL	854.36
ncf_8_64_8_u.5	FAIL	854.45
ncf_16_64_4_d.8	FAIL	854.51
ncf_8_64_4_d.7	FAIL	854.68
ev-pr-4x4-7-3-0-0-1-s	FAIL	855.11
ev-pr-6x6-13-5-0-1-2-s	FAIL	855.29
ncf_16_128_8_euad.8	FAIL	855.42
ncf_16_128_2_d.4	FAIL	855.49
ncf_16_64_4_d.5	FAIL	855.49
ev-pr-6x6-11-5-0-1-2-s	FAIL	855.6
ncf_8_32_8_d.2	FAIL	856.08
ncf_16_64_4_d.3	FAIL	856.16
ncf_8_32_8_d.4	FAIL	856.47
ncf_16_64_4_d.1	FAIL	856.55
ncf_16_128_4_edau.5	FAIL	856.59
ncf_16_64_4_d.9	FAIL	856.82
ncf_8_32_8_d.9	FAIL	856.89
ncf_8_32_8_euad.5	FAIL	856.99
ncf_8_64_4_d.8	FAIL	857.09
ncf_16_128_2_u.5	FAIL	857.21
ncf_8_64_4_d.10	FAIL	857.22
ncf_16_64_4_d.4	FAIL	857.76
ncf_16_128_4_u.9	FAIL	857.79
ncf_16_128_2_u.9	FAIL	857.81
ncf_16_128_2_u.2	FAIL	857.86
ncf_8_64_8_u.2	FAIL	857.9
ncf_16_64_8_u.9	FAIL	857.94
ncf_16_64_4_edau.10	FAIL	858
ncf_16_32_8_edau.3	FAIL	858.05
adder-12-sat	FAIL	858.06
ncf_8_32_8_d.7	FAIL	858.2
ncf_16_32_2_u.3	SAT	858.44
ncf_8_32_8_d.6	FAIL	858.66
ncf_16_64_4_edau.7	FAIL	858.81
ncf_16_64_4_d.7	FAIL	858.83
ncf_16_128_2_u.10	FAIL	858.9
ncf_16_64_4_d.6	FAIL	858.92
ncf_16_64_4_edau.4	FAIL	858.98
ev-pr-6x6-9-5-0-1-2-s	FAIL	859.08
ncf_16_32_8_euad.9	FAIL	859.09
ncf_16_64_4_d.2	FAIL	859.24
ncf_8_64_4_d.5	FAIL	859.46
ncf_16_128_2_u.1	FAIL	859.48
ncf_16_32_8_d.4	FAIL	859.5
ncf_4_32_8_d.6	FAIL	859.68
ncf_4_32_8_d.3	FAIL	859.83
ncf_4_32_8_d.5	FAIL	859.97
ncf_16_32_8_d.2	FAIL	859.99
ncf_8_64_8_u.7	FAIL	860.02
ncf_8_64_4_d.2	FAIL	860.46
ncf_4_32_8_d.10	FAIL	860.55
ncf_16_32_8_d.5	FAIL	860.55
ncf_16_64_4_edau.9	FAIL	860.72
ncf_16_32_8_euad.8	FAIL	860.83
ncf_16_128_2_d.6	FAIL	860.88
ncf_16_32_8_d.7	FAIL	861.01
ncf_16_32_8_d.3	FAIL	861.03
ncf_16_64_4_edau.3	FAIL	861.06
ncf_16_64_4_edau.6	FAIL	861.11
ncf_16_64_2_d.3	FAIL	861.15
ncf_4_32_8_d.1	FAIL	861.28
ev-pr-6x6-19-5-0-1-2-lg	FAIL	861.42
ncf_16_128_2_u.4	FAIL	861.42
ncf_16_64_4_edau.8	FAIL	861.51
ncf_8_64_4_d.3	FAIL	861.6
ncf_8_32_8_edau.1	FAIL	861.6
ncf_8_32_8_edau.5	FAIL	861.65
ncf_8_64_4_d.4	FAIL	861.67
ncf_16_32_8_edau.4	FAIL	861.7
ncf_16_128_2_d.5	FAIL	861.74
ncf_16_32_8_d.10	FAIL	861.93
ncf_16_64_8_u.7	FAIL	861.97
ncf_16_64_4_euad.3	FAIL	861.99
ncf_16_32_8_euad.2	FAIL	862.22
ncf_4_32_8_d.4	FAIL	862.47
ncf_8_64_4_euad.1	FAIL	862.58
ncf_16_64_4_euad.8	FAIL	862.79
ncf_8_64_4_euad.10	FAIL	862.82
ncf_8_32_8_euad.10	FAIL	862.84
ncf_16_64_4_euad.6	FAIL	862.88
ncf_16_128_4_euad.6	FAIL	862.98
ncf_8_32_8_edau.9	FAIL	862.99
ncf_8_32_8_edau.2	FAIL	863.01
ncf_8_64_4_d.1	FAIL	863.15
ncf_8_32_8_euad.8	FAIL	863.24
ncf_8_64_4_edau.1	FAIL	863.56
ncf_8_64_4_edau.6	FAIL	863.62
ncf_16_128_4_euad.5	FAIL	863.62
ev-pr-6x6-7-5-0-1-2-s	FAIL	863.68
ncf_4_32_8_edau.4	FAIL	863.94
ev-pr-4x4-5-3-0-0-1-s	FAIL	863.98
ncf_4_32_8_d.7	FAIL	864.25
ncf_4_32_8_d.2	FAIL	864.28
ncf_16_64_4_euad.5	FAIL	864.3
ncf_16_32_8_euad.6	FAIL	864.35
ncf_8_32_8_euad.9	FAIL	864.35
ncf_16_64_4_euad.2	FAIL	864.41
ncf_8_32_8_euad.2	FAIL	864.42
ncf_16_32_8_euad.5	FAIL	864.47
ncf_16_64_4_euad.1	FAIL	864.48
ncf_16_64_4_euad.4	FAIL	864.54
ncf_16_32_8_euad.10	FAIL	864.57
ncf_4_32_8_edau.6	FAIL	864.62
ncf_16_128_2_euad.2	FAIL	864.62
ncf_8_64_4_edau.4	FAIL	864.63
ncf_8_64_4_u.1	FAIL	864.66
ncf_8_64_4_euad.3	FAIL	864.67
ncf_4_32_8_euad.6	FAIL	864.68
ncf_16_64_4_euad.7	FAIL	864.69
ncf_8_64_4_edau.5	FAIL	864.78
ncf_8_64_4_euad.2	FAIL	864.8
ncf_16_32_8_u.3	FAIL	864.81
ncf_8_64_4_edau.3	FAIL	864.83
ncf_4_32_8_edau.2	FAIL	864.94
ncf_4_32_8_euad.10	FAIL	864.95
ncf_16_32_8_edau.2	FAIL	865.07
ncf_16_32_8_d.1	FAIL	865.19
ncf_8_32_8_edau.7	FAIL	865.38
ncf_8_64_8_u.10	FAIL	865.43
ncf_16_32_8_euad.1	FAIL	865.44
ncf_8_32_8_euad.7	FAIL	865.62
ncf_16_64_2_edau.7	FAIL	865.63
ncf_8_64_4_euad.6	FAIL	865.66
ncf_8_64_4_euad.9	FAIL	865.75
ncf_16_32_8_edau.6	FAIL	865.81
ncf_8_64_4_d.6	FAIL	865.92
ncf_4_32_8_d.9	FAIL	865.94
ncf_16_32_8_euad.3	FAIL	865.97
ncf_16_128_2_euad.4	FAIL	865.97
ncf_8_64_4_u.6	FAIL	866.03
ncf_4_32_8_euad.8	FAIL	866.2
ncf_8_32_8_edau.8	FAIL	866.21
ncf_8_64_4_euad.8	FAIL	866.25
ncf_16_64_4_u.9	FAIL	866.29
ncf_4_32_8_d.8	FAIL	866.36
ncf_16_32_8_edau.8	FAIL	866.46
ncf_16_32_8_edau.10	FAIL	866.72
ncf_16_64_4_u.10	FAIL	866.81
ncf_16_32_8_euad.7	FAIL	866.87
ncf_8_32_4_d.1	FAIL	867.01
ncf_16_128_2_euad.5	FAIL	867.08
ncf_8_32_8_edau.4	FAIL	867.09
ncf_16_64_4_u.6	FAIL	867.12
ncf_4_32_8_edau.10	FAIL	867.14
ncf_4_32_8_euad.1	FAIL	867.14
ncf_4_32_8_edau.3	FAIL	867.15
ncf_16_32_8_u.1	FAIL	867.16
ncf_8_32_8_u.10	FAIL	867.24
ncf_4_32_8_edau.7	FAIL	867.25
ncf_4_8_4_u.1	SAT	867.29
ncf_16_128_8_euad.4	FAIL	867.29
ncf_16_32_8_edau.9	FAIL	867.43
ncf_8_32_8_euad.4	FAIL	867.45
ncf_8_32_8_edau.10	FAIL	867.5
ncf_16_64_4_euad.10	FAIL	867.51
ncf_16_64_2_d.10	FAIL	867.53
ncf_16_32_8_euad.4	FAIL	867.55
ncf_8_64_4_euad.5	FAIL	867.7
ncf_8_64_4_euad.7	FAIL	867.72
ncf_4_32_8_edau.5	FAIL	867.92
ncf_4_32_8_euad.3	FAIL	868.28
ncf_16_64_4_edau.1	FAIL	868.31
ncf_16_64_4_u.5	FAIL	868.31
ncf_8_64_4_euad.4	FAIL	868.33
ncf_16_64_4_u.3	FAIL	868.46
ncf_16_128_2_u.7	FAIL	868.46
ncf_4_32_8_euad.7	FAIL	868.48
ncf_4_32_8_edau.1	FAIL	868.63
ncf_8_64_2_d.10	FAIL	868.65
ncf_4_32_8_euad.4	FAIL	868.68
ncf_8_32_8_d.1	FAIL	868.8
ncf_4_32_8_euad.9	FAIL	868.8
ncf_8_32_8_u.8	FAIL	869.01
ncf_16_128_8_u.1	FAIL	869.03
ncf_8_64_4_u.4	FAIL	869.04
ncf_16_128_4_d.3	FAIL	869.11
ncf_16_32_8_edau.1	FAIL	869.12
ncf_8_64_4_u.8	FAIL	869.15
ncf_4_32_8_edau.8	FAIL	869.16
ncf_8_32_8_u.5	FAIL	869.19
ncf_16_128_2_euad.3	FAIL	869.2
ncf_16_128_8_euad.5	FAIL	869.25
ncf_16_64_2_d.7	FAIL	869.28
ncf_8_64_4_u.2	FAIL	869.4
ncf_16_32_8_u.4	FAIL	869.42
ncf_16_128_2_euad.1	FAIL	869.45
ncf_8_64_4_u.7	FAIL	869.47
ncf_16_64_2_d.2	FAIL	869.52
ncf_8_16_8_d.10	FAIL	869.58
ncf_16_128_2_u.6	FAIL	869.67
ncf_16_64_4_euad.9	FAIL	869.73
ncf_8_32_8_euad.6	FAIL	869.77
ncf_8_64_4_edau.9	FAIL	869.87
ncf_4_32_8_u.6	FAIL	869.95
mutex-16-s	FAIL	870
ncf_8_64_4_u.5	FAIL	870.1
ncf_8_16_8_d.3	FAIL	870.1
ncf_8_64_4_u.3	FAIL	870.18
ncf_4_32_8_euad.5	FAIL	870.22
ncf_8_64_4_edau.2	FAIL	870.3
ncf_16_128_2_euad.10	FAIL	870.32
adder-10-sat	FAIL	870.35
ncf_16_32_8_u.7	FAIL	870.4
ncf_8_32_8_u.9	FAIL	870.4
ncf_16_128_2_u.8	FAIL	870.5
ncf_4_32_8_u.10	FAIL	870.52
ncf_16_32_8_u.10	FAIL	870.9
ncf_16_64_2_edau.8	FAIL	870.91
ncf_4_32_8_u.2	FAIL	871.24
ncf_8_16_8_d.2	FAIL	871.33
ncf_8_32_8_u.4	FAIL	871.34
ncf_4_16_8_d.10	FAIL	871.48
ncf_4_32_8_u.7	FAIL	871.61
ncf_16_64_4_u.1	FAIL	871.62
ncf_16_128_4_u.6	FAIL	871.74
ncf_16_128_4_u.3	FAIL	871.77
ncf_8_16_8_d.5	FAIL	871.89
ncf_8_32_8_u.1	FAIL	871.9
ncf_16_32_8_d.9	FAIL	871.96
ncf_16_128_2_d.7	FAIL	872.21
ncf_16_128_2_euad.9	FAIL	872.29
ncf_16_32_8_u.6	FAIL	872.31
ev-pr-6x6-5-5-0-1-2-s	FAIL	872.35
ncf_4_32_8_u.1	FAIL	872.38
ncf_8_32_8_edau.6	FAIL	872.43
ncf_16_64_2_edau.3	FAIL	872.52
ev-pr-8x8-15-7-0-1-2-lg	FAIL	872.58
ncf_16_32_4_edau.6	FAIL	872.58
ncf_4_16_8_d.1	FAIL	872.81
ncf_8_16_8_edau.2	FAIL	872.94
ncf_8_16_8_d.9	FAIL	872.96
ncf_8_64_4_u.10	FAIL	872.98
ncf_16_64_4_u.8	FAIL	873.01
ncf_16_32_8_edau.5	FAIL	873.3
ncf_16_128_4_euad.3	FAIL	873.31
ncf_8_32_8_u.6	FAIL	873.36
ncf_16_64_4_u.4	FAIL	873.37
ncf_8_64_8_u.4	FAIL	873.37
ncf_16_64_2_d.9	FAIL	873.51
ncf_8_16_8_d.8	FAIL	873.53
ncf_8_16_8_d.4	FAIL	873.54
ncf_8_16_8_d.7	FAIL	873.71
ncf_8_64_2_edau.3	FAIL	873.96
ncf_4_32_8_u.4	FAIL	873.99
ncf_4_16_8_d.3	FAIL	874.08
ncf_16_64_4_edau.2	FAIL	874.12
ncf_4_16_8_d.4	FAIL	874.36
ncf_8_16_8_edau.10	FAIL	874.4
ncf_8_16_8_edau.9	FAIL	874.46
ncf_8_64_2_edau.7	FAIL	874.46
ncf_4_16_8_d.5	FAIL	874.49
ncf_16_32_8_u.9	FAIL	874.5
ncf_16_128_2_u.3	FAIL	874.53
ncf_4_16_8_d.6	FAIL	874.54
ncf_16_32_4_euad.6	FAIL	874.63
ncf_16_64_2_edau.5	FAIL	874.79
ncf_8_32_8_u.7	FAIL	874.85
ncf_16_64_4_edau.5	FAIL	874.88
ncf_16_64_2_d.8	FAIL	874.89
ncf_4_32_8_u.3	FAIL	874.96
ncf_8_16_8_edau.8	FAIL	875.1
ncf_4_32_8_euad.2	FAIL	875.15
ncf_8_64_2_edau.9	FAIL	875.21
ncf_8_64_2_d.8	FAIL	875.23
ncf_16_64_4_u.7	FAIL	875.35
ncf_8_64_4_u.9	FAIL	875.48
ncf_4_32_4_d.8	FAIL	875.48
ncf_4_32_8_u.5	FAIL	875.5
ncf_8_64_2_euad.4	FAIL	875.57
ncf_16_32_4_edau.2	SAT	875.61
ncf_16_32_8_u.5	FAIL	875.62
ncf_4_16_8_d.9	FAIL	875.76
ncf_16_128_2_euad.7	FAIL	875.9
ncf_16_64_2_u.9	FAIL	875.94
ncf_8_16_8_edau.1	FAIL	875.96
ncf_8_64_2_edau.5	FAIL	875.97
ncf_4_16_8_d.2	FAIL	876.08
ncf_8_32_4_d.8	FAIL	876.14
ncf_16_64_2_euad.1	FAIL	876.14
ncf_8_64_2_euad.7	FAIL	876.15
ncf_16_64_2_d.5	FAIL	876.15
ncf_8_16_8_euad.5	FAIL	876.18
ncf_16_64_2_u.3	FAIL	876.27
ncf_4_32_8_u.8	FAIL	876.31
ncf_8_16_8_euad.1	FAIL	876.35
ncf_8_64_2_d.4	FAIL	876.43
ncf_8_64_2_edau.10	FAIL	876.44
ncf_8_32_4_d.3	FAIL	876.5
ncf_8_64_2_edau.8	FAIL	876.54
ncf_16_64_2_edau.4	FAIL	876.61
ncf_8_16_8_edau.4	FAIL	876.63
ncf_4_32_4_d.3	FAIL	876.69
ncf_8_32_4_d.4	FAIL	876.7
ncf_8_64_2_u.7	FAIL	876.7
ncf_8_32_4_d.2	FAIL	876.76
ncf_8_32_8_u.2	FAIL	876.88
ncf_4_16_8_edau.10	FAIL	876.9
ncf_8_64_2_edau.4	FAIL	876.91
ncf_8_64_2_d.5	FAIL	876.96
ncf_8_32_8_euad.1	FAIL	877.06
ncf_16_64_2_euad.6	FAIL	877.13
ncf_16_64_2_euad.3	FAIL	877.2
ncf_4_16_8_d.8	FAIL	877.22
ncf_16_32_4_d.8	FAIL	877.32
ncf_4_16_8_euad.1	FAIL	877.36
ncf_4_16_8_u.5	FAIL	877.36
ncf_8_16_8_euad.8	FAIL	877.42
ncf_16_64_2_u.4	FAIL	877.44
ncf_8_16_8_euad.3	FAIL	877.48
ncf_8_32_4_edau.1	FAIL	877.48
ncf_8_16_8_edau.5	FAIL	877.49
ncf_4_16_8_edau.7	FAIL	877.49
ncf_4_16_8_edau.2	FAIL	877.56
ncf_8_32_4_d.10	FAIL	877.57
ncf_16_128_4_euad.2	FAIL	877.57
ncf_8_32_4_d.6	FAIL	877.75
ncf_4_16_8_edau.4	FAIL	877.84
ncf_8_64_2_euad.5	FAIL	877.93
ncf_4_16_8_edau.3	FAIL	877.96
ncf_16_32_4_u.2	FAIL	878.19
ncf_4_32_4_d.7	FAIL	878.24
ncf_8_16_8_edau.3	FAIL	878.36
ncf_8_32_4_edau.9	FAIL	878.54
ncf_16_32_8_u.8	FAIL	878.6
ncf_8_16_8_euad.4	FAIL	878.68
Adder2-4-s	FAIL	878.72
szymanski-5-s	FAIL	878.73
ncf_8_64_2_edau.6	FAIL	878.78
ncf_8_64_2_u.6	FAIL	878.81
ncf_8_16_8_d.1	FAIL	878.81
ncf_8_64_2_edau.1	FAIL	878.86
adder-8-sat	FAIL	878.89
ncf_8_32_4_edau.8	FAIL	879.02
ncf_4_16_8_euad.10	FAIL	879.02
ncf_16_64_2_edau.6	FAIL	879.05
ncf_4_32_4_edau.5	FAIL	879.06
ncf_8_64_2_u.5	FAIL	879.14
ncf_16_32_8_u.2	FAIL	879.17
ncf_4_16_8_edau.5	FAIL	879.2
ncf_8_16_8_euad.2	FAIL	879.21
ncf_4_16_8_euad.6	FAIL	879.25
ncf_8_64_2_u.10	FAIL	879.26
ncf_8_32_4_d.5	FAIL	879.28
ncf_4_32_4_d.5	FAIL	879.32
ncf_8_32_4_euad.4	FAIL	879.32
ncf_8_64_2_u.3	FAIL	879.39
ncf_4_16_8_edau.1	FAIL	879.47
ncf_16_64_2_euad.7	FAIL	879.53
ncf_8_16_8_euad.7	FAIL	879.53
ev-pr-8x8-11-7-0-1-2-lg	FAIL	879.6
ncf_8_32_4_edau.3	FAIL	879.65
ncf_8_32_4_euad.1	FAIL	879.65
ncf_16_64_2_edau.9	FAIL	879.87
ncf_8_32_4_euad.8	FAIL	879.9
Adder2-4-c	FAIL	879.91
ncf_8_32_4_euad.5	FAIL	879.92
ncf_4_32_4_edau.9	FAIL	879.95
ncf_4_32_4_d.2	FAIL	879.98
ncf_8_16_8_euad.10	FAIL	879.99
ncf_16_32_4_euad.8	FAIL	880
ncf_16_64_2_edau.10	FAIL	880.14
ncf_4_16_8_edau.9	FAIL	880.15
ncf_16_64_2_u.6	FAIL	880.15
ncf_8_64_2_u.9	FAIL	880.15
ncf_4_32_4_u.3	FAIL	880.17
ncf_8_32_2_edau.10	FAIL	880.17
ncf_8_64_2_u.8	FAIL	880.2
ncf_8_16_8_edau.7	FAIL	880.23
ncf_4_16_8_euad.8	FAIL	880.3
ncf_8_16_8_euad.9	FAIL	880.3
ncf_8_32_4_euad.3	FAIL	880.45
ncf_16_32_4_d.6	FAIL	880.45
ncf_16_64_4_u.2	FAIL	880.46
ncf_8_32_4_d.9	FAIL	880.63
ncf_8_32_4_euad.7	FAIL	880.65
ncf_8_32_4_edau.7	FAIL	880.72
ncf_16_32_4_u.8	FAIL	880.74
ncf_8_16_8_u.9	FAIL	880.74
ncf_4_32_4_edau.2	FAIL	880.76
ncf_4_16_8_d.7	FAIL	880.79
ncf_16_64_2_euad.9	FAIL	880.79
ncf_4_16_8_euad.2	FAIL	880.83
ncf_8_32_4_edau.6	FAIL	880.85
ncf_4_32_4_euad.8	FAIL	880.89
ncf_4_32_4_d.9	FAIL	880.93
ncf_8_64_2_euad.2	FAIL	880.94
ncf_4_16_8_euad.4	FAIL	880.97
ncf_4_32_4_edau.4	FAIL	881
ncf_8_64_2_u.1	FAIL	881.1
ncf_8_32_4_edau.4	FAIL	881.12
ncf_8_32_4_u.8	FAIL	881.2
ncf_4_8_8_d.4	FAIL	881.26
ncf_8_32_4_edau.2	FAIL	881.28
ncf_4_32_4_euad.9	FAIL	881.29
ncf_4_16_8_edau.8	FAIL	881.36
ncf_4_16_8_u.7	FAIL	881.36
ncf_16_64_2_d.4	FAIL	881.37
ncf_4_32_4_u.8	FAIL	881.39
ncf_4_32_4_edau.3	FAIL	881.43
ncf_16_64_2_u.1	FAIL	881.47
ncf_8_32_4_euad.2	FAIL	881.49
ncf_8_32_4_u.9	FAIL	881.53
ncf_16_32_4_u.6	FAIL	881.55
ncf_4_16_8_u.6	FAIL	881.56
ncf_4_32_4_euad.6	FAIL	881.6
adder-6-unsat	FAIL	881.64
ncf_4_32_4_d.1	FAIL	881.7
ncf_4_32_4_euad.2	FAIL	881.73
ncf_4_16_8_edau.6	FAIL	881.76
ncf_4_32_4_edau.7	FAIL	881.8
ncf_4_32_4_edau.1	FAIL	881.93
ncf_8_16_8_u.2	FAIL	881.94
ncf_8_64_2_u.4	FAIL	881.98
ncf_4_32_4_euad.7	FAIL	882.09
ncf_4_16_8_u.10	FAIL	882.16
mutex-8-s	FAIL	882.27
ncf_4_16_8_euad.3	FAIL	882.35
ncf_4_32_4_d.4	FAIL	882.44
ncf_8_16_8_u.1	FAIL	882.47
ncf_4_32_4_d.10	FAIL	882.48
ncf_8_32_4_u.7	FAIL	882.52
ncf_8_32_4_d.7	FAIL	882.53
ncf_8_64_2_euad.8	FAIL	882.54
ncf_4_32_8_u.9	FAIL	882.61
ncf_16_64_2_u.7	FAIL	882.62
ncf_4_32_4_u.6	FAIL	882.64
ncf_4_16_8_euad.5	FAIL	882.65
ncf_4_16_8_u.4	FAIL	882.77
ncf_8_32_8_u.3	FAIL	882.79
ev-pr-8x8-13-7-0-1-2-lg	FAIL	882.8
ncf_16_32_4_edau.8	FAIL	882.82
ncf_16_64_2_u.5	FAIL	882.83
ncf_4_32_4_euad.4	FAIL	882.83
ncf_4_8_8_d.2	FAIL	882.9
ncf_4_16_8_euad.9	FAIL	882.97
adder-16-unsat	FAIL	883.13
ncf_4_32_4_u.4	FAIL	883.26
ncf_8_64_2_d.7	FAIL	883.28
ncf_4_8_8_d.7	FAIL	883.32
ncf_8_32_4_edau.10	FAIL	883.35
ncf_4_16_8_u.2	FAIL	883.38
ncf_4_16_8_u.8	FAIL	883.4
ncf_4_32_4_edau.10	FAIL	883.42
ncf_4_16_8_u.3	FAIL	883.5
ncf_8_64_2_d.1	FAIL	883.69
ncf_8_16_8_u.8	FAIL	883.7
ncf_8_16_8_u.10	FAIL	883.71
ncf_16_64_2_euad.2	FAIL	883.79
ncf_8_32_4_u.6	FAIL	883.83
ncf_4_32_4_euad.10	FAIL	883.86
ncf_4_8_8_d.3	FAIL	883.86
ncf_8_64_2_d.6	FAIL	883.87
ncf_4_32_4_edau.8	FAIL	883.93
ncf_4_32_4_u.1	FAIL	884.03
ncf_4_16_8_euad.7	FAIL	884.06
ncf_4_32_4_u.5	FAIL	884.21
ncf_8_64_2_euad.9	FAIL	884.21
ncf_8_64_2_d.9	FAIL	884.28
ncf_8_32_4_u.10	FAIL	884.29
ncf_16_64_2_u.2	FAIL	884.55
ncf_8_16_8_u.7	FAIL	884.59
ncf_8_32_4_u.3	FAIL	884.59
ev-pr-6x6-11-5-0-1-2-lg	FAIL	884.62
ncf_8_16_8_u.3	FAIL	884.62
ncf_4_8_8_d.8	FAIL	884.68
ncf_4_32_2_d.3	FAIL	884.7
ncf_8_32_4_euad.9	FAIL	884.72
ncf_4_32_4_u.10	FAIL	884.72
ncf_4_32_4_u.9	FAIL	884.74
ev-pr-6x6-13-5-0-1-2-lg	FAIL	884.75
ncf_4_8_8_edau.2	FAIL	884.82
ncf_16_32_4_euad.2	FAIL	884.85
ncf_8_64_2_u.2	FAIL	884.86
ncf_4_32_4_euad.5	FAIL	884.86
ncf_16_64_2_u.8	FAIL	884.95
ncf_16_64_2_euad.5	FAIL	884.99
ncf_4_8_8_d.10	FAIL	885.01
ncf_4_16_4_d.2	FAIL	885.01
ncf_16_64_2_u.10	FAIL	885.03
ncf_4_16_8_u.1	FAIL	885.03
ncf_4_8_8_edau.7	FAIL	885.04
ncf_16_128_2_euad.8	FAIL	885.08
ncf_4_32_4_euad.1	FAIL	885.11
ncf_4_8_8_d.6	FAIL	885.14
ncf_4_16_8_u.9	FAIL	885.14
ncf_16_64_2_euad.4	FAIL	885.25
ncf_8_64_2_euad.6	FAIL	885.26
ncf_8_32_4_euad.6	FAIL	885.32
ncf_8_32_4_u.1	FAIL	885.38
ncf_8_32_2_d.1	FAIL	885.39
adder-8-unsat	FAIL	885.45
ncf_4_8_8_edau.3	FAIL	885.64
ev-pr-6x6-15-5-0-1-2-lg	FAIL	885.69
ncf_4_32_4_u.2	FAIL	885.78
ncf_4_8_8_euad.4	FAIL	885.85
ncf_8_64_2_euad.3	FAIL	885.85
ncf_4_32_4_euad.3	FAIL	886.03
ncf_8_32_4_u.4	FAIL	886.12
horn_400CNF1520_2aQBF_702	FAIL	886.16
ncf_8_32_2_d.2	FAIL	886.27
ncf_4_8_8_euad.7	FAIL	886.28
ncf_4_8_8_euad.2	FAIL	886.28
ncf_8_32_2_d.6	FAIL	886.35
ncf_8_32_4_u.2	FAIL	886.37
ncf_16_64_2_euad.10	FAIL	886.41
ncf_4_8_8_edau.6	FAIL	886.41
ncf_4_32_2_euad.5	FAIL	886.61
ncf_8_16_4_d.7	FAIL	886.66
ncf_4_8_8_edau.8	FAIL	886.71
ncf_4_8_8_u.2	FAIL	886.73
ncf_4_8_8_euad.3	FAIL	886.74
ncf_4_8_8_d.1	FAIL	886.82
horn_400CNF1760_2aQBF_846	FAIL	886.85
ncf_4_8_8_euad.8	FAIL	886.91
renHorn_400CNF1560_2aQBF_2	FAIL	886.93
ncf_8_32_2_euad.1	FAIL	886.97
ev-pr-6x6-17-5-0-1-2-lg	FAIL	886.98
ncf_4_32_4_u.7	FAIL	886.99
ncf_4_16_4_d.10	FAIL	887.05
ncf_4_8_8_euad.6	FAIL	887.17
renHorn_400CNF2360_2aQBF_58	FAIL	887.2
horn_400CNF1520_2aQBF_382	FAIL	887.25
ncf_4_8_8_edau.10	FAIL	887.3
ncf_8_32_4_euad.10	FAIL	887.32
renHorn_400CNF1640_2aQBF_53	FAIL	887.36
horn_400CNF2320_2aQBF_433	FAIL	887.44
renHorn_400CNF1880_2aQBF_81	FAIL	887.46
horn_400CNF2080_2aQBF_176	FAIL	887.47
ncf_8_32_2_d.4	FAIL	887.47
ncf_8_32_2_edau.4	FAIL	887.5
ncf_16_64_2_euad.8	FAIL	887.56
ncf_4_32_2_edau.3	FAIL	887.6
ncf_8_32_4_u.5	FAIL	887.66
ncf_4_32_2_edau.2	FAIL	887.68
ncf_4_8_8_u.10	FAIL	887.74
horn_400CNF1840_2aQBF_215	FAIL	887.74
horn_400CNF1600_2aQBF_505	FAIL	887.84
ncf_4_32_2_d.6	FAIL	887.84
ncf_4_32_2_d.2	FAIL	887.89
horn_400CNF2080_2aQBF_832	FAIL	887.89
horn_400CNF1840_2aQBF_752	FAIL	887.91
adder-12-unsat	FAIL	887.92
ncf_4_32_2_edau.10	FAIL	887.97
horn_400CNF1760_2aQBF_93	FAIL	887.98
horn_400CNF1760_2aQBF_996	FAIL	888.03
ncf_4_32_2_d.10	FAIL	888.09
ncf_8_16_8_u.5	FAIL	888.12
ncf_8_16_8_u.4	FAIL	888.12
horn_400CNF1680_2aQBF_433	FAIL	888.13
renHorn_400CNF1360_2aQBF_96	FAIL	888.22
ncf_8_32_2_d.10	FAIL	888.24
ncf_8_64_2_d.3	FAIL	888.29
ncf_8_32_2_edau.6	FAIL	888.36
horn_400CNF1760_2aQBF_997	FAIL	888.38
horn_400CNF1520_2aQBF_760	FAIL	888.41
horn_400CNF1840_2aQBF_32	FAIL	888.43
horn_400CNF1360_2aQBF_310	FAIL	888.47
horn_400CNF2320_2aQBF_420	FAIL	888.48
ncf_8_32_2_edau.1	FAIL	888.5
ncf_8_32_2_u.1	FAIL	888.5
ncf_8_64_2_euad.10	FAIL	888.51
horn_400CNF1840_2aQBF_547	FAIL	888.52
horn_400CNF2160_2aQBF_701	FAIL	888.53
ncf_4_16_4_edau.10	FAIL	888.53
ncf_4_8_8_u.3	FAIL	888.54
ncf_4_32_2_edau.6	FAIL	888.55
horn_400CNF1600_2aQBF_912	FAIL	888.56
renHorn_400CNF1360_2aQBF_35	FAIL	888.57
horn_400CNF1840_2aQBF_323	FAIL	888.59
ncf_4_8_8_euad.10	FAIL	888.65
ncf_4_32_2_edau.8	FAIL	888.66
ncf_8_16_4_edau.7	FAIL	888.66
renHorn_400CNF1200_2aQBF_97	FAIL	888.68
horn_400CNF1520_2aQBF_995	FAIL	888.68
ncf_4_32_2_d.9	FAIL	888.71
ncf_8_64_2_euad.1	FAIL	888.73
horn_400CNF2000_2aQBF_104	FAIL	888.76
renHorn_400CNF1560_2aQBF_47	FAIL	888.81
ncf_4_32_2_d.5	FAIL	888.82
ncf_8_16_4_u.3	FAIL	888.84
ncf_8_16_8_u.6	FAIL	888.87
horn_400CNF2080_2aQBF_584	FAIL	888.89
renHorn_400CNF2280_2aQBF_95	FAIL	888.91
horn_400CNF2000_2aQBF_456	FAIL	888.91
horn_400CNF1760_2aQBF_10	FAIL	888.91
horn_400CNF1680_2aQBF_29	FAIL	888.93
renHorn_400CNF1640_2aQBF_87	FAIL	888.94
horn_400CNF1920_2aQBF_927	FAIL	888.95
ncf_4_16_4_d.1	FAIL	888.96
horn_400CNF1920_2aQBF_721	FAIL	889.03
ncf_4_16_4_edau.7	FAIL	889.05
horn_400CNF1760_2aQBF_726	FAIL	889.1
ncf_4_32_2_edau.5	FAIL	889.15
adder-14-unsat	FAIL	889.15
ncf_8_32_2_euad.6	FAIL	889.15
horn_400CNF1520_2aQBF_116	FAIL	889.18
horn_400CNF2000_2aQBF_650	FAIL	889.23
horn_400CNF1760_2aQBF_686	FAIL	889.26
ncf_4_16_4_edau.2	FAIL	889.27
ncf_8_16_4_edau.9	FAIL	889.28
horn_400CNF1760_2aQBF_330	FAIL	889.31
renHorn_400CNF1560_2aQBF_68	FAIL	889.31
renHorn_400CNF1800_2aQBF_7	FAIL	889.33
renHorn_400CNF1720_2aQBF_79	FAIL	889.35
ncf_4_32_2_u.5	FAIL	889.35
horn_400CNF1840_2aQBF_340	FAIL	889.36
ncf_4_16_4_euad.7	FAIL	889.39
ev-pr-4x4-13-3-0-0-1-lg	FAIL	889.44
horn_400CNF2080_2aQBF_709	FAIL	889.45
ncf_16_32_4_u.10	FAIL	889.47
ncf_4_32_2_edau.9	FAIL	889.47
ncf_8_32_2_euad.3	FAIL	889.49
ncf_4_16_4_edau.9	FAIL	889.49
horn_400CNF1600_2aQBF_789	FAIL	889.52
horn_400CNF2320_2aQBF_772	FAIL	889.53
horn_400CNF1840_2aQBF_980	FAIL	889.6
ncf_4_8_8_u.8	FAIL	889.64
ncf_4_16_4_edau.6	FAIL	889.66
ncf_4_32_2_euad.8	FAIL	889.66
ncf_8_16_4_euad.7	FAIL	889.66
horn_400CNF1440_2aQBF_642	FAIL	889.66
ncf_8_16_4_d.9	FAIL	889.66
horn_400CNF2160_2aQBF_588	FAIL	889.66
renHorn_400CNF1800_2aQBF_2	FAIL	889.67
horn_400CNF1280_2aQBF_389	FAIL	889.69
renHorn_400CNF1200_2aQBF_2	FAIL	889.73
ncf_4_16_4_d.9	FAIL	889.74
horn_400CNF1760_2aQBF_711	FAIL	889.75
horn_400CNF2160_2aQBF_23	FAIL	889.76
renHorn_400CNF2040_2aQBF_59	FAIL	889.76
ncf_4_8_8_edau.4	FAIL	889.76
horn_400CNF1600_2aQBF_26	FAIL	889.78
renHorn_400CNF1640_2aQBF_38	FAIL	889.78
ncf_8_32_2_d.7	FAIL	889.8
ncf_4_32_2_edau.7	FAIL	889.88
ncf_4_16_4_u.3	FAIL	889.9
ncf_4_16_4_d.7	FAIL	889.91
horn_400CNF1360_2aQBF_831	FAIL	889.92
horn_400CNF1760_2aQBF_946	FAIL	889.96
ncf_8_32_2_euad.10	FAIL	889.96
ncf_4_16_4_d.4	FAIL	889.96
renHorn_400CNF1960_2aQBF_68	FAIL	889.99
ncf_8_32_2_u.6	FAIL	889.99
horn_400CNF1840_2aQBF_158	FAIL	890
ncf_4_32_2_d.7	FAIL	890.03
ncf_4_32_2_u.9	FAIL	890.04
horn_400CNF1680_2aQBF_698	FAIL	890.07
horn_400CNF1440_2aQBF_147	FAIL	890.13
horn_400CNF1600_2aQBF_922	FAIL	890.13
horn_400CNF1280_2aQBF_841	FAIL	890.14
renHorn_400CNF1800_2aQBF_20	FAIL	890.16
ncf_4_16_4_euad.1	FAIL	890.17
ncf_8_32_2_edau.2	FAIL	890.2
ncf_4_16_4_d.3	FAIL	890.22
ncf_4_8_8_edau.1	FAIL	890.23
ncf_4_32_2_u.8	FAIL	890.23
ncf_4_32_2_u.10	FAIL	890.24
ncf_4_32_2_euad.9	FAIL	890.26
2qbf-5cnf-160var-320cl.2	FAIL	890.27
ncf_4_16_4_edau.1	FAIL	890.27
adder-6-sat	FAIL	890.3
ncf_4_32_2_u.6	FAIL	890.34
ncf_4_32_2_d.8	FAIL	890.34
horn_400CNF1840_2aQBF_401	FAIL	890.35
horn_400CNF1680_2aQBF_154	FAIL	890.35
ncf_8_32_2_euad.4	FAIL	890.39
renHorn_400CNF1480_2aQBF_21	FAIL	890.39
ncf_16_64_2_d.6	FAIL	890.41
horn_400CNF1360_2aQBF_755	FAIL	890.45
renHorn_400CNF2120_2aQBF_17	FAIL	890.45
ncf_4_16_4_edau.4	FAIL	890.45
horn_400CNF2080_2aQBF_793	FAIL	890.47
ncf_4_32_2_u.2	FAIL	890.48
horn_400CNF1680_2aQBF_728	FAIL	890.58
ncf_16_32_2_u.4	FAIL	890.58
adder-10-unsat	FAIL	890.59
horn_400CNF2320_2aQBF_230	FAIL	890.6
ncf_8_16_2_d.2	FAIL	890.73
ncf_4_16_4_u.2	FAIL	890.74
horn_400CNF2000_2aQBF_987	FAIL	890.8
horn_400CNF1760_2aQBF_188	FAIL	890.81
ncf_8_32_2_d.5	FAIL	890.84
ncf_4_16_4_euad.9	FAIL	890.84
ev-pr-4x4-17-3-0-0-1-lg	FAIL	890.84
ncf_4_32_2_euad.6	FAIL	890.85
adder-4-unsat	FAIL	890.86
ncf_4_32_2_euad.2	FAIL	890.9
ncf_4_8_8_euad.1	FAIL	890.93
ncf_8_32_2_euad.5	FAIL	890.94
ncf_4_16_4_euad.3	FAIL	890.98
horn_400CNF2160_2aQBF_660	FAIL	890.98
ncf_4_32_2_u.3	FAIL	891.02
ev-pr-4x4-15-3-0-0-1-lg	FAIL	891.12
ncf_4_16_4_euad.10	FAIL	891.21
ncf_4_16_4_u.10	FAIL	891.22
ncf_8_32_2_euad.7	FAIL	891.23
ncf_4_16_4_euad.2	FAIL	891.23
ncf_8_32_2_u.10	FAIL	891.28
horn_400CNF1600_2aQBF_571	FAIL	891.32
ncf_8_32_2_u.4	FAIL	891.32
ncf_4_16_4_u.7	FAIL	891.38
ncf_4_8_8_u.7	FAIL	891.39
ncf_8_32_2_edau.5	FAIL	891.44
renHorn_400CNF1480_2aQBF_44	FAIL	891.45
ncf_8_16_4_euad.3	FAIL	891.53
ncf_8_32_2_u.5	FAIL	891.54
ncf_4_32_2_euad.10	FAIL	891.54
ncf_4_8_8_u.4	FAIL	891.6
ncf_4_16_4_u.6	FAIL	891.63
ncf_4_32_2_u.1	FAIL	891.65
ncf_16_32_2_u.1	FAIL	891.67
horn_400CNF1360_2aQBF_867	FAIL	891.72
szymanski-4-s	FAIL	891.74
2qbf-5cnf-160var-320cl.1	FAIL	891.79
ncf_8_16_4_u.1	FAIL	891.84
ncf_8_16_4_u.7	FAIL	891.84
renHorn_400CNF1960_2aQBF_35	FAIL	891.88
ncf_4_16_4_euad.6	FAIL	892.03
ncf_8_32_2_euad.2	FAIL	892.05
ncf_4_16_4_u.1	FAIL	892.1
ncf_4_16_4_u.4	FAIL	892.14
renHorn_400CNF1640_2aQBF_7	FAIL	892.2
2qbf-5cnf-160var-320cl.6	FAIL	892.22
ncf_8_32_2_u.2	FAIL	892.23
ncf_8_32_2_u.7	FAIL	892.24
ncf_16_128_2_euad.6	FAIL	892.32
2qbf-5cnf-160var-320cl.0	FAIL	892.44
ncf_4_16_4_euad.4	FAIL	892.44
ncf_4_32_2_euad.1	FAIL	892.5
3qbf-5cnf-160var-640cl.9	FAIL	892.52
ncf_4_16_4_edau.3	FAIL	892.56
ncf_4_16_2_edau.3	FAIL	892.57
ncf_8_16_4_u.9	FAIL	892.78
2qbf-5cnf-160var-320cl.3	FAIL	892.79
3qbf-5cnf-160var-640cl.2	FAIL	892.79
2qbf-5cnf-160var-320cl.4	FAIL	892.82
horn_400CNF1520_2aQBF_53	FAIL	892.83
2qbf-5cnf-160var-640cl.0	FAIL	892.83
5qbf-5cnf-160var-1280cl.5	FAIL	892.83
2qbf-5cnf-160var-320cl.9	FAIL	892.87
2qbf-5cnf-160var-320cl.7	FAIL	892.89
4qbf-5cnf-160var-640cl.2	FAIL	892.94
ncf_4_32_2_u.7	FAIL	892.95
ncf_4_8_8_u.6	FAIL	893
ncf_4_16_2_euad.1	FAIL	893.03
ncf_4_8_4_d.8	FAIL	893.11
ncf_4_32_2_euad.7	FAIL	893.17
2qbf-5cnf-160var-640cl.2	FAIL	893.19
6qbf-5cnf-160var-320cl.2	FAIL	893.23
6qbf-5cnf-160var-640cl.8	FAIL	893.28
4qbf-5cnf-160var-640cl.6	FAIL	893.28
6qbf-5cnf-160var-320cl.5	FAIL	893.32
ncf_4_8_4_edau.8	FAIL	893.32
ncf_4_8_4_edau.4	FAIL	893.35
ncf_4_16_2_euad.3	FAIL	893.46
4qbf-5cnf-40var-320cl.0	UNSAT	893.5
4qbf-5cnf-160var-1280cl.3	FAIL	893.53
3qbf-5cnf-160var-640cl.5	FAIL	893.53
ncf_4_16_2_d.1	FAIL	893.54
2qbf-5cnf-160var-320cl.5	FAIL	893.62
5qbf-5cnf-160var-320cl.9	FAIL	893.63
ncf_8_16_2_euad.2	FAIL	893.64
2qbf-5cnf-160var-320cl.8	FAIL	893.65
2qbf-5cnf-160var-640cl.5	FAIL	893.68
5qbf-5cnf-160var-1280cl.8	FAIL	893.72
ncf_4_16_2_d.8	FAIL	893.75
2qbf-5cnf-160var-640cl.8	FAIL	893.77
6qbf-5cnf-160var-1280cl.6	FAIL	893.77
6qbf-5cnf-160var-1280cl.1	FAIL	893.77
6qbf-5cnf-160var-320cl.4	FAIL	893.79
ncf_8_16_4_euad.9	FAIL	893.82
6qbf-5cnf-80var-320cl.5	FAIL	893.82
3qbf-5cnf-160var-640cl.7	FAIL	893.89
5qbf-5cnf-160var-1280cl.1	FAIL	893.9
ncf_4_8_8_u.1	FAIL	893.93
ncf_4_8_4_euad.4	FAIL	893.93
3qbf-5cnf-160var-1280cl.9	FAIL	893.96
ncf_4_8_4_u.4	FAIL	893.96
4qbf-5cnf-160var-640cl.0	FAIL	894.02
4qbf-5cnf-160var-1280cl.6	FAIL	894.07
5qbf-5cnf-160var-1280cl.4	FAIL	894.1
ncf_4_32_2_euad.3	FAIL	894.14
6qbf-5cnf-160var-1280cl.4	FAIL	894.16
4qbf-5cnf-160var-1280cl.0	FAIL	894.16
3qbf-5cnf-160var-640cl.3	FAIL	894.18
ncf_4_16_2_edau.8	FAIL	894.2
3qbf-5cnf-160var-1280cl.2	FAIL	894.22
6qbf-5cnf-160var-320cl.0	FAIL	894.23
3qbf-5cnf-160var-640cl.6	FAIL	894.3
2qbf-5cnf-160var-640cl.1	FAIL	894.31
3qbf-5cnf-160var-640cl.1	FAIL	894.32
2qbf-5cnf-160var-640cl.6	FAIL	894.32
5qbf-5cnf-160var-640cl.2	FAIL	894.33
6qbf-5cnf-160var-640cl.1	FAIL	894.39
4qbf-5cnf-160var-1280cl.9	FAIL	894.42
6qbf-5cnf-160var-320cl.8	FAIL	894.43
6qbf-5cnf-160var-1280cl.8	FAIL	894.43
4qbf-5cnf-160var-320cl.3	FAIL	894.44
6qbf-5cnf-160var-1280cl.3	FAIL	894.45
4qbf-5cnf-160var-640cl.5	FAIL	894.46
ncf_4_8_4_euad.10	FAIL	894.46
3qbf-5cnf-160var-640cl.4	FAIL	894.46
ncf_4_16_2_euad.8	FAIL	894.48
5qbf-5cnf-160var-640cl.3	FAIL	894.52
5qbf-5cnf-160var-640cl.0	FAIL	894.52
5qbf-5cnf-160var-1280cl.0	FAIL	894.53
5qbf-5cnf-160var-1280cl.7	FAIL	894.58
4qbf-5cnf-160var-640cl.3	FAIL	894.6
4qbf-5cnf-160var-640cl.9	FAIL	894.61
5qbf-5cnf-160var-1280cl.9	FAIL	894.61
2qbf-5cnf-160var-640cl.7	FAIL	894.62
4qbf-5cnf-160var-640cl.1	FAIL	894.63
4qbf-5cnf-160var-640cl.8	FAIL	894.68
4qbf-5cnf-160var-1280cl.8	FAIL	894.69
4qbf-5cnf-160var-320cl.2	FAIL	894.75
ncf_4_16_2_u.8	FAIL	894.77
6qbf-5cnf-160var-320cl.1	FAIL	894.81
5qbf-5cnf-160var-640cl.8	FAIL	894.82
4qbf-5cnf-160var-640cl.4	FAIL	894.87
6qbf-5cnf-160var-640cl.4	FAIL	894.87
4qbf-5cnf-160var-320cl.4	FAIL	894.88
6qbf-5cnf-160var-1280cl.7	FAIL	894.9
5qbf-5cnf-160var-1280cl.6	FAIL	894.91
3qbf-5cnf-160var-1280cl.0	FAIL	894.93
5qbf-5cnf-160var-1280cl.3	FAIL	894.97
2qbf-5cnf-160var-640cl.9	FAIL	894.97
6qbf-5cnf-160var-1280cl.5	FAIL	894.98
3qbf-5cnf-160var-1280cl.7	FAIL	894.99
4qbf-5cnf-160var-640cl.7	FAIL	895
4qbf-5cnf-160var-1280cl.2	FAIL	895.02
ncf_4_8_4_u.8	FAIL	895.05
3qbf-5cnf-160var-1280cl.6	FAIL	895.05
3qbf-5cnf-160var-1280cl.4	FAIL	895.06
2qbf-5cnf-160var-640cl.3	FAIL	895.06
4qbf-5cnf-160var-320cl.1	FAIL	895.1
6qbf-5cnf-160var-640cl.3	FAIL	895.13
5qbf-5cnf-160var-2560cl.8	FAIL	895.16
6qbf-5cnf-160var-1280cl.9	FAIL	895.18
6qbf-5cnf-160var-2560cl.2	FAIL	895.2
5qbf-5cnf-160var-1280cl.2	FAIL	895.2
4qbf-5cnf-160var-1280cl.1	FAIL	895.22
2qbf-5cnf-80var-320cl.5	FAIL	895.23
5qbf-5cnf-160var-640cl.1	FAIL	895.24
6qbf-5cnf-160var-2560cl.7	FAIL	895.24
ncf_4_16_2_d.5	FAIL	895.25
ncf_4_8_4_euad.8	FAIL	895.26
6qbf-5cnf-160var-640cl.9	FAIL	895.28
3qbf-5cnf-160var-640cl.8	FAIL	895.28
ncf_4_16_2_euad.7	FAIL	895.31
5qbf-5cnf-160var-640cl.9	FAIL	895.31
4qbf-5cnf-160var-1280cl.5	FAIL	895.31
ncf_4_16_2_d.3	FAIL	895.32
3qbf-5cnf-160var-640cl.0	FAIL	895.36
5qbf-5cnf-160var-640cl.4	FAIL	895.36
6qbf-5cnf-160var-640cl.0	FAIL	895.38
ncf_4_8_4_u.10	FAIL	895.4
6qbf-5cnf-160var-2560cl.8	FAIL	895.43
6qbf-5cnf-160var-640cl.7	FAIL	895.45
5qbf-5cnf-160var-2560cl.3	FAIL	895.46
4qbf-5cnf-160var-320cl.7	FAIL	895.46
6qbf-5cnf-160var-1280cl.2	FAIL	895.47
5qbf-5cnf-160var-640cl.7	FAIL	895.47
ncf_4_16_2_euad.10	FAIL	895.48
6qbf-5cnf-160var-2560cl.1	FAIL	895.48
3qbf-5cnf-160var-1280cl.1	FAIL	895.51
6qbf-5cnf-160var-2560cl.5	FAIL	895.53
6qbf-5cnf-160var-640cl.5	FAIL	895.54
4qbf-5cnf-160var-1280cl.4	FAIL	895.54
6qbf-5cnf-160var-2560cl.9	FAIL	895.55
5qbf-5cnf-160var-640cl.6	FAIL	895.56
4qbf-5cnf-160var-320cl.6	FAIL	895.58
6qbf-5cnf-160var-640cl.6	FAIL	895.59
3qbf-5cnf-160var-1280cl.5	FAIL	895.61
4qbf-5cnf-160var-320cl.5	FAIL	895.61
6qbf-5cnf-160var-1280cl.0	FAIL	895.71
6qbf-5cnf-160var-2560cl.3	FAIL	895.74
5qbf-5cnf-160var-2560cl.0	FAIL	895.75
3qbf-5cnf-160var-1280cl.8	FAIL	895.76
5qbf-5cnf-160var-2560cl.9	FAIL	895.83
6qbf-5cnf-80var-320cl.6	FAIL	895.85
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	895.86
2qbf-5cnf-160var-640cl.4	FAIL	895.87
6qbf-5cnf-160var-640cl.2	FAIL	895.89
3qbf-5cnf-160var-1280cl.3	FAIL	895.89
4qbf-5cnf-160var-1280cl.7	FAIL	895.9
5qbf-5cnf-80var-320cl.0	FAIL	895.95
5qbf-5cnf-160var-2560cl.7	FAIL	895.97
5qbf-5cnf-160var-2560cl.6	FAIL	896.04
5qbf-5cnf-160var-2560cl.4	FAIL	896.09
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	896.1
5qbf-5cnf-160var-2560cl.5	FAIL	896.13
6qbf-5cnf-160var-320cl.9	FAIL	896.15
6qbf-5cnf-160var-2560cl.6	FAIL	896.17
4qbf-5cnf-160var-320cl.8	FAIL	896.18
2qbf-5cnf-160var-1280cl.4	FAIL	896.22
2qbf-5cnf-160var-1280cl.2	FAIL	896.24
6qbf-5cnf-160var-2560cl.0	FAIL	896.26
ncf_4_16_2_u.3	FAIL	896.27
4qbf-5cnf-160var-2560cl.3	FAIL	896.31
ncf_4_16_2_euad.5	FAIL	896.31
4qbf-5cnf-160var-2560cl.6	FAIL	896.31
2qbf-5cnf-160var-1280cl.3	FAIL	896.35
2qbf-5cnf-80var-320cl.7	FAIL	896.38
6qbf-5cnf-160var-2560cl.4	FAIL	896.38
5qbf-5cnf-160var-2560cl.1	FAIL	896.39
5qbf-5cnf-160var-2560cl.2	FAIL	896.52
ncf_4_16_2_u.10	FAIL	896.53
6qbf-5cnf-80var-320cl.8	FAIL	896.56
6qbf-5cnf-80var-160cl.1	FAIL	896.62
4qbf-5cnf-160var-2560cl.5	FAIL	896.74
5qbf-5cnf-160var-640cl.5	FAIL	896.77
3qbf-5cnf-80var-320cl.7	FAIL	896.8
3qbf-5cnf-80var-640cl.9	FAIL	896.83
2qbf-5cnf-160var-1280cl.0	FAIL	896.9
4qbf-5cnf-160var-2560cl.1	FAIL	896.93
5qbf-5cnf-80var-320cl.7	FAIL	896.94
2qbf-5cnf-160var-1280cl.5	FAIL	896.97
6qbf-5cnf-80var-640cl.7	FAIL	896.99
6qbf-5cnf-80var-320cl.0	FAIL	897
4qbf-5cnf-160var-2560cl.2	FAIL	897
4qbf-5cnf-80var-320cl.5	FAIL	897.03
6qbf-5cnf-80var-320cl.9	FAIL	897.03
6qbf-5cnf-80var-320cl.4	FAIL	897.08
4qbf-5cnf-80var-320cl.6	FAIL	897.09
6qbf-5cnf-80var-640cl.3	FAIL	897.09
5qbf-5cnf-80var-640cl.3	FAIL	897.09
5qbf-5cnf-80var-320cl.8	FAIL	897.09
3qbf-5cnf-160var-2560cl.3	FAIL	897.11
4qbf-5cnf-160var-2560cl.4	FAIL	897.14
6qbf-5cnf-80var-640cl.8	FAIL	897.16
4qbf-5cnf-160var-2560cl.7	FAIL	897.17
4qbf-5cnf-80var-640cl.3	FAIL	897.17
2qbf-5cnf-160var-1280cl.8	FAIL	897.18
4qbf-5cnf-160var-2560cl.0	FAIL	897.23
6qbf-5cnf-80var-640cl.4	FAIL	897.23
3qbf-5cnf-160var-2560cl.4	FAIL	897.24
3qbf-5cnf-80var-640cl.7	FAIL	897.24
3qbf-5cnf-160var-2560cl.7	FAIL	897.3
5qbf-5cnf-80var-320cl.2	FAIL	897.31
4qbf-5cnf-160var-2560cl.9	FAIL	897.33
5qbf-5cnf-80var-640cl.2	FAIL	897.35
5qbf-5cnf-80var-640cl.0	FAIL	897.4
6qbf-5cnf-80var-640cl.9	FAIL	897.4
3qbf-5cnf-80var-640cl.1	FAIL	897.4
5qbf-5cnf-80var-640cl.1	FAIL	897.41
6qbf-5cnf-80var-640cl.1	FAIL	897.42
5qbf-5cnf-80var-1280cl.9	FAIL	897.43
2qbf-5cnf-80var-320cl.2	FAIL	897.43
2qbf-5cnf-80var-320cl.1	FAIL	897.46
3qbf-5cnf-160var-2560cl.0	FAIL	897.46
adder-4-sat	FAIL	897.51
3qbf-5cnf-160var-2560cl.5	FAIL	897.51
4qbf-5cnf-80var-320cl.4	FAIL	897.51
5qbf-5cnf-80var-320cl.5	FAIL	897.52
3qbf-5cnf-160var-2560cl.6	FAIL	897.52
5qbf-5cnf-80var-320cl.4	FAIL	897.56
5qbf-5cnf-80var-640cl.5	FAIL	897.57
4qbf-5cnf-80var-320cl.0	FAIL	897.58
3qbf-5cnf-160var-2560cl.1	FAIL	897.59
4qbf-5cnf-160var-2560cl.8	FAIL	897.6
2qbf-5cnf-160var-1280cl.7	FAIL	897.62
5qbf-5cnf-80var-640cl.9	FAIL	897.63
BLOCKS4i.6.4	FAIL	897.64
4qbf-5cnf-80var-640cl.5	FAIL	897.66
6qbf-5cnf-80var-640cl.6	FAIL	897.67
2qbf-5cnf-160var-2560cl.1	FAIL	897.67
4qbf-5cnf-80var-320cl.8	FAIL	897.67
4qbf-5cnf-80var-640cl.6	FAIL	897.71
3qbf-5cnf-160var-2560cl.2	FAIL	897.71
k_ph_p-16	FAIL	897.72
6qbf-5cnf-80var-320cl.1	FAIL	897.73
k_ph_p-20	FAIL	897.73
5qbf-5cnf-80var-1280cl.0	FAIL	897.73
6qbf-5cnf-80var-640cl.0	FAIL	897.73
4qbf-5cnf-80var-640cl.9	FAIL	897.75
4qbf-5cnf-80var-640cl.1	FAIL	897.75
6qbf-5cnf-40var-320cl.9	FAIL	897.76
6qbf-5cnf-80var-640cl.5	FAIL	897.76
4qbf-5cnf-80var-640cl.4	FAIL	897.76
6qbf-5cnf-80var-320cl.7	FAIL	897.77
4qbf-5cnf-80var-320cl.1	FAIL	897.77
6qbf-5cnf-80var-320cl.2	FAIL	897.78
3qbf-5cnf-80var-640cl.2	FAIL	897.78
4qbf-5cnf-80var-640cl.8	FAIL	897.79
3qbf-5cnf-80var-640cl.5	FAIL	897.79
4qbf-5cnf-80var-320cl.3	FAIL	897.82
2qbf-5cnf-80var-320cl.4	FAIL	897.83
4qbf-5cnf-80var-640cl.0	FAIL	897.87
s298_d19_u	FAIL	897.87
6qbf-5cnf-80var-1280cl.9	FAIL	897.87
6qbf-5cnf-80var-640cl.2	FAIL	897.89
5qbf-5cnf-80var-640cl.6	FAIL	897.89
6qbf-5cnf-80var-320cl.3	FAIL	897.89
5qbf-5cnf-80var-640cl.4	FAIL	897.9
5qbf-5cnf-80var-640cl.8	FAIL	897.9
6qbf-5cnf-80var-1280cl.6	FAIL	897.92
5qbf-5cnf-80var-640cl.7	FAIL	897.93
4qbf-5cnf-80var-640cl.2	FAIL	897.94
3qbf-5cnf-80var-640cl.3	FAIL	897.95
6qbf-5cnf-80var-1280cl.1	FAIL	897.96
3qbf-5cnf-80var-640cl.0	FAIL	897.96
s298_d18_s	FAIL	897.96
2qbf-5cnf-160var-2560cl.7	FAIL	897.98
4qbf-5cnf-80var-320cl.2	FAIL	897.99
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	898
4qbf-5cnf-80var-320cl.9	FAIL	898.03
6qbf-5cnf-80var-1280cl.0	FAIL	898.04
6qbf-5cnf-80var-1280cl.5	FAIL	898.04
5qbf-5cnf-80var-1280cl.2	FAIL	898.05
5qbf-5cnf-80var-1280cl.5	FAIL	898.06
3qbf-5cnf-80var-640cl.4	FAIL	898.07
4qbf-5cnf-80var-640cl.7	FAIL	898.09
5qbf-5cnf-80var-1280cl.8	FAIL	898.09
3qbf-5cnf-80var-640cl.8	FAIL	898.1
k_ph_n-21	FAIL	898.11
6qbf-5cnf-80var-1280cl.4	FAIL	898.12
k_ph_n-20	FAIL	898.14
s499_d16_s	FAIL	898.14
6qbf-5cnf-40var-160cl.9	FAIL	898.17
2qbf-5cnf-160var-2560cl.0	FAIL	898.17
3qbf-5cnf-160var-2560cl.9	FAIL	898.19
2qbf-5cnf-160var-2560cl.3	FAIL	898.21
4qbf-5cnf-80var-320cl.7	FAIL	898.22
2qbf-5cnf-80var-320cl.9	FAIL	898.22
6qbf-5cnf-80var-1280cl.8	FAIL	898.23
6qbf-5cnf-80var-1280cl.7	FAIL	898.24
6qbf-5cnf-80var-1280cl.2	FAIL	898.29
4qbf-5cnf-40var-160cl.8	FAIL	898.31
BLOCKS4iii.7	FAIL	898.31
5qbf-5cnf-80var-1280cl.6	FAIL	898.31
s499_d21_s	FAIL	898.32
4qbf-5cnf-80var-1280cl.9	FAIL	898.32
5qbf-5cnf-80var-1280cl.7	FAIL	898.33
4qbf-5cnf-80var-1280cl.2	FAIL	898.35
5qbf-5cnf-80var-1280cl.4	FAIL	898.36
2qbf-5cnf-160var-2560cl.6	FAIL	898.37
3qbf-5cnf-160var-2560cl.8	FAIL	898.38
6qbf-5cnf-80var-1280cl.3	FAIL	898.39
2qbf-5cnf-160var-2560cl.5	FAIL	898.41
3qbf-5cnf-80var-640cl.6	FAIL	898.42
6qbf-5cnf-40var-320cl.4	FAIL	898.43
k_branch_n-12	FAIL	898.44
2qbf-5cnf-160var-2560cl.9	FAIL	898.45
2qbf-5cnf-160var-2560cl.2	FAIL	898.48
6qbf-5cnf-40var-320cl.0	FAIL	898.48
s499_d22_u	FAIL	898.49
5qbf-5cnf-80var-1280cl.1	FAIL	898.53
s298_d16_s	FAIL	898.55
5qbf-5cnf-80var-1280cl.3	FAIL	898.55
2qbf-5cnf-160var-1280cl.6	FAIL	898.55
k_ph_p-21	FAIL	898.56
4qbf-5cnf-80var-1280cl.5	FAIL	898.59
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	898.6
6qbf-5cnf-40var-320cl.1	FAIL	898.63
6qbf-5cnf-40var-320cl.2	FAIL	898.73
4qbf-5cnf-80var-1280cl.1	FAIL	898.73
4qbf-5cnf-80var-1280cl.0	FAIL	898.75
6qbf-5cnf-40var-320cl.5	FAIL	898.76
s3330_d10_u	FAIL	898.77
3qbf-5cnf-80var-1280cl.7	FAIL	898.78
5qbf-5cnf-40var-320cl.8	FAIL	898.79
2qbf-5cnf-80var-320cl.0	FAIL	898.79
4qbf-5cnf-80var-1280cl.8	FAIL	898.81
3qbf-5cnf-80var-1280cl.1	FAIL	898.82
4qbf-5cnf-80var-1280cl.6	FAIL	898.83
5qbf-5cnf-40var-320cl.5	FAIL	898.83
s3330_d4_s	FAIL	898.84
6qbf-5cnf-40var-320cl.3	FAIL	898.84
2qbf-5cnf-80var-320cl.3	FAIL	898.85
k_poly_n-21	FAIL	898.87
s510_d16_s	FAIL	898.87
4qbf-5cnf-80var-1280cl.7	FAIL	898.88
4qbf-5cnf-80var-1280cl.4	FAIL	898.88
6qbf-5cnf-40var-320cl.8	FAIL	898.89
k_branch_p-12	FAIL	898.9
4qbf-5cnf-40var-320cl.9	FAIL	898.92
s1269_d8_s	FAIL	898.93
k_poly_n-20	FAIL	898.94
3qbf-5cnf-80var-1280cl.9	FAIL	898.95
s510_d47_u	FAIL	898.95
3qbf-5cnf-80var-1280cl.0	FAIL	898.97
6qbf-5cnf-40var-320cl.6	FAIL	898.97
5qbf-5cnf-40var-320cl.7	FAIL	898.97
5qbf-5cnf-40var-320cl.1	FAIL	898.98
3qbf-5cnf-80var-1280cl.5	FAIL	898.99
6qbf-5cnf-40var-640cl.0	FAIL	898.99
2qbf-5cnf-160var-1280cl.1	FAIL	899
5qbf-5cnf-40var-320cl.2	FAIL	899
3qbf-5cnf-40var-320cl.5	FAIL	899.03
counter_re_64	FAIL	899.04
5qbf-5cnf-40var-320cl.4	FAIL	899.06
6qbf-5cnf-40var-640cl.8	FAIL	899.08
counter_e_8	FAIL	899.09
k_poly_n-16	FAIL	899.12
5qbf-5cnf-40var-320cl.9	FAIL	899.14
k_branch_n-8	FAIL	899.14
6qbf-5cnf-40var-320cl.7	FAIL	899.15
s820_d11_u	FAIL	899.15
s510_d46_s	FAIL	899.16
4qbf-5cnf-40var-160cl.9	FAIL	899.17
uclid-pipe2	FAIL	899.18
k_ph_p-12	FAIL	899.18
3qbf-5cnf-80var-1280cl.4	FAIL	899.19
s510_d32_s	FAIL	899.2
4qbf-5cnf-40var-320cl.7	FAIL	899.2
5qbf-5cnf-40var-320cl.3	FAIL	899.2
6qbf-5cnf-40var-640cl.4	FAIL	899.21
2qbf-5cnf-160var-1280cl.9	FAIL	899.22
4qbf-5cnf-40var-320cl.5	FAIL	899.23
s820_d10_s	FAIL	899.28
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	899.3
4qbf-5cnf-40var-320cl.4	FAIL	899.31
2qbf-5cnf-80var-320cl.8	FAIL	899.32
4qbf-5cnf-80var-1280cl.3	FAIL	899.33
2qbf-5cnf-80var-320cl.6	FAIL	899.35
4qbf-5cnf-40var-320cl.1	FAIL	899.36
6qbf-5cnf-40var-640cl.5	FAIL	899.37
toilet_c_10_05.7	FAIL	899.39
6qbf-5cnf-40var-640cl.7	FAIL	899.41
s1269_d10_s	FAIL	899.42
s3330_d9_s	FAIL	899.42
4qbf-5cnf-40var-320cl.8	FAIL	899.43
6qbf-5cnf-40var-640cl.1	FAIL	899.43
4qbf-5cnf-40var-320cl.6	FAIL	899.5
4qbf-5cnf-40var-320cl.3	FAIL	899.5
k_branch_p-8	FAIL	899.5
5qbf-5cnf-40var-320cl.0	FAIL	899.5
6qbf-5cnf-40var-640cl.3	FAIL	899.51
TOILET10.1.iv.20	FAIL	899.51
3qbf-5cnf-40var-320cl.9	FAIL	899.51
2qbf-5cnf-80var-640cl.1	FAIL	899.52
5qbf-5cnf-40var-640cl.0	FAIL	899.52
uclid-pipe3a	FAIL	899.53
s1269_d11_u	FAIL	899.56
4qbf-5cnf-40var-640cl.2	FAIL	899.57
k_poly_n-12	FAIL	899.57
2qbf-5cnf-80var-640cl.9	FAIL	899.58
4qbf-5cnf-40var-320cl.2	FAIL	899.59
5qbf-5cnf-40var-640cl.5	FAIL	899.61
6qbf-5cnf-40var-640cl.2	FAIL	899.63
5qbf-5cnf-40var-640cl.4	FAIL	899.63
6qbf-5cnf-40var-640cl.9	FAIL	899.64
5qbf-5cnf-40var-640cl.2	FAIL	899.64
2qbf-5cnf-80var-640cl.3	FAIL	899.64
2qbf-5cnf-80var-640cl.0	FAIL	899.65
5qbf-5cnf-40var-640cl.6	FAIL	899.67
k_lin_n-16	FAIL	899.68
4qbf-5cnf-40var-640cl.0	FAIL	899.68
5qbf-5cnf-40var-640cl.9	FAIL	899.7
5qbf-5cnf-40var-640cl.3	FAIL	899.71
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	899.72
6qbf-5cnf-20var-160cl.0	FAIL	899.74
C880.blif_0.10_0.20_0_1_out_exact	FAIL	899.75
k_path_p-20	FAIL	899.75
2qbf-5cnf-80var-640cl.8	FAIL	899.79
k_path_n-21	FAIL	899.81
4qbf-5cnf-40var-640cl.9	FAIL	899.82
k_lin_n-21	FAIL	899.83
C880.blif_0.10_0.20_0_0_out_exact	FAIL	899.84
k_lin_n-20	FAIL	899.86
6qbf-5cnf-40var-640cl.6	FAIL	899.86
k_path_p-16	FAIL	899.87
6qbf-5cnf-20var-320cl.2	FAIL	899.88
uclid-pipe3b	FAIL	899.88
counter_r_16	FAIL	899.89
k_path_n-8	FAIL	899.91
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	899.91
k_t4p_p-20	FAIL	899.91
k_branch_n-4	FAIL	899.91
k_path_n-12	FAIL	899.92
TOILET16.1.iv.32	FAIL	899.92
k_path_p-21	FAIL	899.94
2qbf-5cnf-80var-640cl.2	FAIL	899.95
counter_re_8	FAIL	899.96
4qbf-5cnf-20var-160cl.9	FAIL	899.98
counter_re_16	FAIL	899.98
k_path_n-16	FAIL	899.98
counter_16	FAIL	899.99
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	900
test2_quant_squaring3	FAIL	900.01
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	900.01
counter_r_32	FAIL	900.02
k_path_p-12	FAIL	900.02
2qbf-5cnf-80var-640cl.4	FAIL	900.04
s1196_d2_s	FAIL	900.04
k_poly_n-8	FAIL	900.04
k_path_n-20	FAIL	900.04
4qbf-5cnf-40var-640cl.1	FAIL	900.05
2qbf-5cnf-40var-160cl.1	FAIL	900.07
C880.blif_0.10_1.00_0_0_out_exact	FAIL	900.08
k_dum_p-21	FAIL	900.09
2qbf-5cnf-80var-640cl.6	FAIL	900.09
2qbf-5cnf-80var-640cl.5	FAIL	900.1
3qbf-5cnf-40var-320cl.2	FAIL	900.1
k_t4p_n-21	FAIL	900.11
k_t4p_n-20	FAIL	900.11
k_path_p-8	FAIL	900.11
2qbf-5cnf-80var-640cl.7	FAIL	900.12
k_t4p_n-16	FAIL	900.16
k_t4p_p-21	FAIL	900.16
counter_r_8	FAIL	900.16
k_poly_n-4	FAIL	900.17
2qbf-5cnf-40var-160cl.6	FAIL	900.17
k_grz_p-20	FAIL	900.18
k_t4p_n-12	FAIL	900.19
k_t4p_p-16	FAIL	900.19
k_grz_n-21	FAIL	900.19
k_lin_n-12	FAIL	900.2
s641_d6_s	FAIL	900.2
k_t4p_p-8	FAIL	900.21
counter_re_32	FAIL	900.22
s820_d8_s	FAIL	900.23
k_grz_n-20	FAIL	900.23
2qbf-5cnf-40var-320cl.4	FAIL	900.25
s1196_d3_u	FAIL	900.26
k_grz_p-21	FAIL	900.28
test5_quant_squaring5	FAIL	900.28
2qbf-5cnf-40var-320cl.9	FAIL	900.28
2qbf-5cnf-40var-160cl.7	FAIL	900.3
CHAIN23v.24	FAIL	900.31
counter_e_16	FAIL	900.32
s641_d7_u	FAIL	900.32
k_grz_n-12	FAIL	900.33
k_dum_p-20	FAIL	900.34
2qbf-5cnf-40var-320cl.7	FAIL	900.34
s510_d8_s	FAIL	900.34
s510_d4_s	FAIL	900.34
k_d4_n-20	FAIL	900.36
test5_quant_squaring4	FAIL	900.36
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	900.37
s713_d6_s	FAIL	900.37
k_t4p_n-4	FAIL	900.37
k_d4_n-21	FAIL	900.38
test1_quant_squaring3	FAIL	900.38
s298_d8_s	FAIL	900.38
s3330_d2_s	FAIL	900.38
k_d4_p-20	FAIL	900.39
counter_e_32	FAIL	900.39
k_grz_p-16	FAIL	900.4
k_t4p_p-12	FAIL	900.4
s641_d2_s	FAIL	900.41
k_t4p_n-8	FAIL	900.41
k_d4_p-21	FAIL	900.41
term1.blif_0.10_0.20_0_0_out_exact	FAIL	900.41
CHAIN20v.21	FAIL	900.42
s641_d4_s	FAIL	900.42
s386_d4_s	FAIL	900.43
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	900.43
k_t4p_p-4	FAIL	900.43
2qbf-5cnf-40var-320cl.2	FAIL	900.44
test2_quant_squaring2	FAIL	900.44
s386_d8_u	FAIL	900.44
CHAIN19v.20	FAIL	900.44
CHAIN22v.23	FAIL	900.44
2qbf-5cnf-40var-160cl.8	FAIL	900.44
k_dum_p-16	FAIL	900.44
s499_d8_s	FAIL	900.45
s713_d4_s	FAIL	900.45
2qbf-5cnf-40var-160cl.3	FAIL	900.46
test2_quant3	FAIL	900.46
k_dum_n-16	FAIL	900.46
test1_quant3	FAIL	900.46
k_d4_n-16	FAIL	900.47
s713_d7_u	FAIL	900.47
test3_quant_squaring4	FAIL	900.47
s1269_d2_s	FAIL	900.47
lut4_2_f2	FAIL	900.48
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900.48
s27_d5_u	FAIL	900.48
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	900.48
k_grz_p-12	FAIL	900.48
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	900.48
1qbf-5cnf-80var-2560cl.1	FAIL	900.48
s820_d2_s	FAIL	900.49
C499.blif_0.10_1.00_0_0_out_exact	FAIL	900.49
test4_quant4	FAIL	900.49
CHAIN21v.22	FAIL	900.49
1qbf-5cnf-80var-2560cl.7	FAIL	900.5
k_grz_n-16	FAIL	900.51
2qbf-5cnf-40var-320cl.6	FAIL	900.51
k_d4_p-16	FAIL	900.52
s820_d4_s	FAIL	900.52
1qbf-5cnf-160var-5120cl.5	FAIL	900.52
1qbf-5cnf-80var-2560cl.2	FAIL	900.52
2qbf-5cnf-40var-160cl.2	FAIL	900.53
k_d4_p-12	FAIL	900.53
qshifter_6	FAIL	900.53
k_dum_n-21	FAIL	900.53
k_d4_p-8	FAIL	900.53
1qbf-5cnf-80var-2560cl.4	FAIL	900.53
s386_d2_s	FAIL	900.54
s386_d7_s	FAIL	900.54
1qbf-5cnf-160var-5120cl.4	FAIL	900.54
s510_d2_s	FAIL	900.55
k_d4_n-12	FAIL	900.55
qshifter_4	FAIL	900.55
1qbf-5cnf-160var-5120cl.1	FAIL	900.55
1qbf-5cnf-160var-5120cl.8	FAIL	900.55
s1269_d4_s	FAIL	900.56
k_d4_n-8	FAIL	900.56
k_dum_n-20	FAIL	900.56
1qbf-5cnf-160var-5120cl.3	FAIL	900.56
1qbf-5cnf-160var-5120cl.7	FAIL	900.56
2qbf-5cnf-40var-160cl.5	FAIL	900.57
test1_quant2	FAIL	900.57
C432.blif_0.10_0.20_0_1_out_exact	FAIL	900.57
1qbf-5cnf-80var-2560cl.0	FAIL	900.57
test3_quant4	FAIL	900.59
k_dum_n-8	FAIL	900.59
1qbf-5cnf-80var-2560cl.3	FAIL	900.59
s27_d4_u	FAIL	900.6
qshifter_5	FAIL	900.6
s298_d4_s	FAIL	900.6
C880.blif_0.10_1.00_0_1_out_exact	FAIL	900.6
test1_quant_squaring2	FAIL	900.6
1qbf-5cnf-160var-5120cl.9	FAIL	900.6
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	900.61
test2_quant2	FAIL	900.61
s298_d2_s	FAIL	900.61
1qbf-5cnf-80var-2560cl.6	FAIL	900.61
1qbf-5cnf-160var-5120cl.2	FAIL	900.61
2qbf-5cnf-40var-160cl.9	FAIL	900.62
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	900.62
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	900.62
2qbf-5cnf-40var-160cl.4	FAIL	900.62
k_dum_n-12	FAIL	900.62
test4_quant_squaring4	FAIL	900.63
1qbf-5cnf-160var-5120cl.0	FAIL	900.63
1qbf-5cnf-160var-5120cl.6	FAIL	900.63
1qbf-5cnf-80var-2560cl.5	FAIL	900.63
test5_quant7	FAIL	900.64
test4_quant2	FAIL	900.65
k_grz_n-8	FAIL	900.65
test3_quant2	FAIL	900.65
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900.65
k_d4_n-4	FAIL	900.67
s27_d3_u	FAIL	900.67
1qbf-5cnf-80var-2560cl.8	FAIL	900.67
C432.blif_0.10_0.20_0_0_out_exact	FAIL	900.68
C499.blif_0.10_0.20_0_1_out_exact	FAIL	900.68
s713_d2_s	FAIL	900.69
qshifter_7	FAIL	900.69
C499.blif_0.10_0.20_0_0_out_exact	FAIL	900.69
test4_quant_squaring2	FAIL	900.7
s499_d2_s	FAIL	900.71
test3_quant_squaring2	FAIL	900.73
test5_quant5	FAIL	900.74
1qbf-5cnf-80var-2560cl.9	FAIL	900.75
s499_d4_s	FAIL	900.78
qshifter_8	FAIL	900.86

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by yQuaffle
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by yQuaffle QBFEVAL'05

Instances solved by yQuaffle
QBFEVAL'05