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

Instances solved by QMRes
QBFEVAL'05

Instance	Result	Time
s641_d2_s	FAIL	0
6qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-20var-40cl.2	SAT	0
4qbf-5cnf-20var-40cl.5	SAT	0
tree-exa2-25	UNSAT	0
6qbf-5cnf-20var-40cl.6	SAT	0
impl08	SAT	0
2qbf-5cnf-20var-40cl.0	SAT	0
impl04	SAT	0
3qbf-5cnf-20var-40cl.4	SAT	0
tree-exa2-10	UNSAT	0
tree-exa2-15	UNSAT	0
tree-exa2-20	UNSAT	0
5qbf-5cnf-20var-40cl.2	SAT	0
6qbf-5cnf-20var-40cl.8	SAT	0
tree-exa10-10	SAT	0
2qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-20var-40cl.8	SAT	0
5qbf-5cnf-20var-40cl.4	SAT	0
4qbf-5cnf-20var-40cl.1	SAT	0
6qbf-5cnf-20var-40cl.1	SAT	0
3qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-20var-40cl.3	SAT	0
tree-exa2-30	UNSAT	0
2qbf-5cnf-20var-40cl.5	SAT	0
5qbf-5cnf-20var-40cl.3	SAT	0
2qbf-5cnf-20var-40cl.4	SAT	0
tree-exa10-20	SAT	0
6qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-20var-40cl.5	SAT	0
1qbf-5cnf-20var-40cl.6	SAT	0
1qbf-5cnf-20var-40cl.5	SAT	0
1qbf-5cnf-40var-80cl.8	SAT	0
1qbf-5cnf-20var-40cl.9	SAT	0
1qbf-5cnf-20var-40cl.1	SAT	0
flipflop-3-c	UNSAT	0.01
impl10	SAT	0.01
5qbf-5cnf-20var-40cl.0	SAT	0.01
tree-exa2-45	UNSAT	0.01
2qbf-5cnf-20var-40cl.2	SAT	0.01
lut4_3_fAND	FAIL	0.01
tree-exa10-15	SAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
tree-exa10-25	SAT	0.01
4qbf-5cnf-20var-40cl.8	SAT	0.01
impl12	SAT	0.01
3qbf-5cnf-40var-80cl.3	SAT	0.01
5qbf-5cnf-20var-40cl.7	SAT	0.01
4qbf-5cnf-40var-80cl.0	SAT	0.01
6qbf-5cnf-20var-40cl.7	SAT	0.01
2qbf-5cnf-20var-40cl.6	SAT	0.01
s641_d4_s	FAIL	0.01
5qbf-5cnf-40var-80cl.4	SAT	0.01
4qbf-5cnf-40var-80cl.3	SAT	0.01
4qbf-5cnf-20var-40cl.0	SAT	0.01
3qbf-5cnf-40var-80cl.8	SAT	0.01
2qbf-5cnf-40var-80cl.0	SAT	0.01
mutex-2-s	SAT	0.01
tree-exa2-50	UNSAT	0.01
tree-exa2-40	UNSAT	0.01
s641_d6_s	FAIL	0.01
5qbf-5cnf-20var-40cl.6	SAT	0.01
4qbf-5cnf-40var-80cl.5	SAT	0.01
6qbf-5cnf-40var-80cl.4	SAT	0.01
4qbf-5cnf-20var-40cl.6	SAT	0.01
3qbf-5cnf-20var-40cl.0	SAT	0.01
6qbf-5cnf-40var-80cl.7	SAT	0.01
3qbf-5cnf-20var-40cl.7	SAT	0.01
3qbf-5cnf-40var-80cl.2	SAT	0.01
4qbf-5cnf-40var-80cl.2	SAT	0.01
adder-2-sat	SAT	0.01
2qbf-5cnf-20var-40cl.7	SAT	0.01
4qbf-5cnf-40var-80cl.1	SAT	0.01
4qbf-5cnf-20var-40cl.9	SAT	0.01
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
6qbf-5cnf-40var-80cl.0	SAT	0.01
counter_2	SAT	0.01
impl02	SAT	0.01
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.01
3qbf-5cnf-40var-80cl.6	SAT	0.01
impl06	SAT	0.01
2qbf-5cnf-20var-40cl.8	SAT	0.01
5qbf-5cnf-20var-40cl.1	SAT	0.01
3qbf-5cnf-20var-40cl.1	SAT	0.01
tree-exa2-35	UNSAT	0.01
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.01
6qbf-5cnf-20var-40cl.5	SAT	0.01
toilet_c_08_01.2	UNSAT	0.01
s641_d7_u	FAIL	0.01
4qbf-5cnf-20var-40cl.7	SAT	0.01
TOILET2.1.iv.3	UNSAT	0.01
1qbf-5cnf-40var-80cl.4	SAT	0.01
6qbf-5cnf-20var-40cl.4	SAT	0.01
1qbf-5cnf-40var-80cl.5	SAT	0.01
1qbf-5cnf-40var-80cl.1	SAT	0.01
1qbf-5cnf-40var-80cl.9	SAT	0.01
1qbf-5cnf-40var-80cl.2	SAT	0.01
1qbf-5cnf-20var-40cl.0	SAT	0.01
6qbf-5cnf-20var-40cl.3	SAT	0.02
adder-2-unsat	UNSAT	0.02
6qbf-5cnf-20var-40cl.0	SAT	0.02
tree-exa10-30	SAT	0.02
4qbf-5cnf-20var-80cl.4	SAT	0.02
6qbf-5cnf-40var-80cl.3	SAT	0.02
5qbf-5cnf-20var-80cl.2	SAT	0.02
2qbf-5cnf-40var-80cl.2	SAT	0.02
3qbf-5cnf-40var-80cl.9	SAT	0.02
toilet_c_08_01.4	UNSAT	0.02
5qbf-5cnf-40var-80cl.6	SAT	0.02
5qbf-5cnf-20var-80cl.9	SAT	0.02
5qbf-5cnf-20var-40cl.5	SAT	0.02
qshifter_3	SAT	0.02
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.02
impl18	SAT	0.02
2qbf-5cnf-20var-40cl.1	SAT	0.02
4qbf-5cnf-20var-40cl.2	SAT	0.02
5qbf-5cnf-40var-80cl.0	SAT	0.02
2qbf-5cnf-40var-80cl.1	SAT	0.02
counter_r_2	SAT	0.02
3qbf-5cnf-40var-80cl.7	SAT	0.02
5qbf-5cnf-40var-80cl.9	SAT	0.02
toilet_c_10_01.2	UNSAT	0.02
5qbf-5cnf-40var-80cl.7	SAT	0.02
6qbf-5cnf-40var-80cl.2	SAT	0.02
6qbf-5cnf-20var-80cl.4	SAT	0.02
6qbf-5cnf-20var-80cl.2	SAT	0.02
4qbf-5cnf-40var-80cl.4	SAT	0.02
6qbf-5cnf-20var-80cl.6	SAT	0.02
3qbf-5cnf-20var-80cl.8	SAT	0.02
5qbf-5cnf-20var-40cl.8	SAT	0.02
5qbf-5cnf-20var-80cl.0	SAT	0.02
5qbf-5cnf-20var-80cl.3	SAT	0.02
s27_d2_s	SAT	0.02
4qbf-5cnf-40var-80cl.8	SAT	0.02
4qbf-5cnf-40var-80cl.7	SAT	0.02
3qbf-5cnf-40var-80cl.4	SAT	0.02
3qbf-5cnf-40var-80cl.1	SAT	0.02
5qbf-5cnf-20var-80cl.6	SAT	0.02
3qbf-5cnf-20var-40cl.6	SAT	0.02
TOILET2.1.iv.4	SAT	0.02
6qbf-5cnf-40var-80cl.8	SAT	0.02
6qbf-5cnf-40var-80cl.6	SAT	0.02
6qbf-5cnf-40var-80cl.1	SAT	0.02
4qbf-5cnf-40var-80cl.9	SAT	0.02
6qbf-5cnf-20var-80cl.3	SAT	0.02
3qbf-5cnf-40var-80cl.5	SAT	0.02
6qbf-5cnf-20var-80cl.9	SAT	0.02
qshifter_4	SAT	0.02
2qbf-5cnf-40var-80cl.8	SAT	0.02
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
4qbf-5cnf-20var-80cl.3	SAT	0.02
4qbf-5cnf-40var-80cl.6	SAT	0.02
impl14	SAT	0.02
5qbf-5cnf-20var-40cl.9	SAT	0.02
2qbf-5cnf-40var-80cl.9	SAT	0.02
3qbf-5cnf-20var-80cl.4	SAT	0.02
2qbf-5cnf-40var-80cl.3	SAT	0.02
2qbf-5cnf-40var-80cl.6	SAT	0.02
1qbf-5cnf-40var-80cl.7	SAT	0.02
1qbf-5cnf-20var-80cl.9	SAT	0.02
1qbf-5cnf-40var-80cl.3	SAT	0.02
1qbf-5cnf-20var-40cl.7	SAT	0.02
1qbf-5cnf-20var-40cl.3	SAT	0.02
1qbf-5cnf-20var-40cl.2	SAT	0.02
1qbf-5cnf-20var-40cl.8	SAT	0.02
1qbf-5cnf-20var-80cl.0	SAT	0.02
1qbf-5cnf-20var-80cl.3	SAT	0.02
4qbf-5cnf-20var-40cl.3	SAT	0.02
5qbf-5cnf-40var-80cl.1	SAT	0.02
1qbf-5cnf-40var-80cl.0	SAT	0.02
1qbf-5cnf-20var-40cl.4	SAT	0.02
1qbf-5cnf-20var-80cl.7	SAT	0.02
1qbf-5cnf-40var-80cl.6	SAT	0.02
counter_e_2	SAT	0.03
impl20	SAT	0.03
2qbf-5cnf-40var-80cl.7	SAT	0.03
5qbf-5cnf-40var-80cl.8	SAT	0.03
impl16	SAT	0.03
counter_re_2	SAT	0.03
6qbf-5cnf-20var-80cl.0	SAT	0.03
mutex-4-s	SAT	0.03
3qbf-5cnf-20var-80cl.0	SAT	0.03
5qbf-5cnf-40var-80cl.5	SAT	0.03
3qbf-5cnf-20var-80cl.9	SAT	0.03
6qbf-5cnf-20var-80cl.7	SAT	0.03
5qbf-5cnf-40var-80cl.2	SAT	0.03
3qbf-5cnf-20var-80cl.5	SAT	0.03
4qbf-5cnf-20var-80cl.9	SAT	0.03
6qbf-5cnf-40var-80cl.9	SAT	0.03
6qbf-5cnf-20var-80cl.8	SAT	0.03
3qbf-5cnf-20var-80cl.7	SAT	0.03
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.03
4qbf-5cnf-20var-80cl.6	SAT	0.03
3qbf-5cnf-20var-80cl.2	SAT	0.03
2qbf-5cnf-20var-40cl.3	SAT	0.03
5qbf-5cnf-20var-80cl.5	SAT	0.03
2qbf-5cnf-40var-80cl.4	SAT	0.03
5qbf-5cnf-40var-80cl.3	SAT	0.03
6qbf-5cnf-40var-80cl.5	SAT	0.03
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.03
3qbf-5cnf-40var-80cl.0	SAT	0.03
6qbf-5cnf-20var-80cl.1	SAT	0.03
4qbf-5cnf-20var-80cl.2	SAT	0.03
1qbf-5cnf-20var-80cl.4	SAT	0.03
1qbf-5cnf-20var-80cl.8	SAT	0.03
6qbf-5cnf-20var-80cl.5	SAT	0.03
1qbf-5cnf-20var-80cl.5	SAT	0.03
1qbf-5cnf-20var-80cl.2	SAT	0.03
2qbf-5cnf-20var-80cl.1	SAT	0.04
3qbf-5cnf-80var-160cl.0	SAT	0.04
3qbf-5cnf-80var-160cl.8	SAT	0.04
2qbf-5cnf-40var-80cl.5	SAT	0.04
5qbf-5cnf-20var-80cl.8	SAT	0.04
4qbf-5cnf-20var-80cl.1	SAT	0.04
3qbf-5cnf-20var-80cl.6	SAT	0.04
4qbf-5cnf-20var-80cl.7	SAT	0.04
4qbf-5cnf-20var-40cl.4	SAT	0.04
Adder2-2-s	SAT	0.04
toilet_c_10_01.4	UNSAT	0.04
4qbf-5cnf-80var-160cl.9	SAT	0.04
5qbf-5cnf-80var-160cl.6	SAT	0.04
1qbf-5cnf-20var-80cl.6	SAT	0.04
1qbf-5cnf-20var-80cl.1	SAT	0.04
5qbf-5cnf-20var-80cl.4	SAT	0.05
4qbf-5cnf-80var-160cl.6	SAT	0.05
6qbf-5cnf-40var-160cl.1	SAT	0.05
2qbf-5cnf-20var-80cl.2	SAT	0.05
5qbf-5cnf-20var-80cl.1	SAT	0.05
2qbf-5cnf-80var-160cl.3	SAT	0.05
3qbf-5cnf-80var-160cl.3	SAT	0.05
6qbf-5cnf-80var-160cl.4	SAT	0.06
5qbf-5cnf-80var-160cl.5	SAT	0.06
4qbf-5cnf-80var-160cl.5	SAT	0.06
2qbf-5cnf-80var-160cl.0	SAT	0.06
4qbf-5cnf-20var-80cl.0	SAT	0.06
5qbf-5cnf-80var-160cl.0	SAT	0.06
5qbf-5cnf-80var-160cl.2	SAT	0.06
4qbf-5cnf-80var-160cl.4	SAT	0.06
toilet_a_08_01.2	UNSAT	0.06
4qbf-5cnf-80var-160cl.8	SAT	0.06
Adder2-2-c	UNSAT	0.06
6qbf-5cnf-80var-160cl.8	SAT	0.06
6qbf-5cnf-80var-160cl.5	SAT	0.06
toilet_c_08_05.2	UNSAT	0.06
5qbf-5cnf-80var-160cl.9	SAT	0.06
3qbf-5cnf-80var-160cl.5	SAT	0.06
2qbf-5cnf-20var-80cl.8	SAT	0.06
6qbf-5cnf-80var-160cl.7	SAT	0.06
4qbf-5cnf-80var-160cl.7	SAT	0.07
5qbf-5cnf-80var-160cl.7	SAT	0.07
3qbf-5cnf-80var-160cl.9	SAT	0.07
6qbf-5cnf-80var-160cl.2	SAT	0.07
k_ph_n-4	SAT	0.07
6qbf-5cnf-80var-160cl.3	SAT	0.07
4qbf-5cnf-80var-160cl.3	SAT	0.07
3qbf-5cnf-80var-160cl.4	SAT	0.07
4qbf-5cnf-80var-160cl.1	SAT	0.07
5qbf-5cnf-80var-160cl.8	SAT	0.07
6qbf-5cnf-80var-160cl.0	SAT	0.07
6qbf-5cnf-80var-160cl.9	SAT	0.07
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.07
4qbf-5cnf-20var-80cl.5	SAT	0.08
3qbf-5cnf-80var-160cl.1	SAT	0.08
k_path_p-4	UNSAT	0.08
szymanski-4-s	UNSAT	0.08
6qbf-5cnf-40var-160cl.8	SAT	0.08
5qbf-5cnf-80var-160cl.1	SAT	0.08
2qbf-5cnf-20var-80cl.4	SAT	0.08
5qbf-5cnf-80var-160cl.4	SAT	0.08
qshifter_5	SAT	0.08
6qbf-5cnf-80var-160cl.6	SAT	0.08
5qbf-5cnf-80var-160cl.3	SAT	0.08
6qbf-5cnf-40var-160cl.7	SAT	0.09
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.09
toilet_c_08_10.2	SAT	0.09
2qbf-5cnf-80var-160cl.8	SAT	0.09
4qbf-5cnf-80var-160cl.2	SAT	0.09
2qbf-5cnf-80var-160cl.4	SAT	0.09
3qbf-5cnf-80var-160cl.2	SAT	0.1
2qbf-5cnf-80var-160cl.5	SAT	0.1
2qbf-5cnf-20var-80cl.3	SAT	0.1
3qbf-5cnf-80var-160cl.7	SAT	0.1
6qbf-5cnf-40var-160cl.3	SAT	0.1
k_dum_p-4	UNSAT	0.1
k_lin_p-4	UNSAT	0.1
2qbf-5cnf-80var-160cl.2	SAT	0.11
2qbf-5cnf-20var-80cl.0	SAT	0.11
k_ph_p-4	UNSAT	0.11
toilet_a_08_01.4	UNSAT	0.11
6qbf-5cnf-80var-160cl.1	SAT	0.11
4qbf-5cnf-80var-160cl.0	SAT	0.11
s27_d3_u	UNSAT	0.11
5qbf-5cnf-20var-80cl.7	SAT	0.11
6qbf-5cnf-40var-160cl.0	SAT	0.11
1qbf-5cnf-80var-160cl.8	SAT	0.11
6qbf-5cnf-40var-160cl.4	SAT	0.12
2qbf-5cnf-20var-80cl.7	SAT	0.12
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.13
k_dum_n-4	SAT	0.13
adder-4-sat	SAT	0.14
3qbf-5cnf-20var-640cl.9	UNSAT	0.14
5qbf-5cnf-40var-160cl.3	SAT	0.14
5qbf-5cnf-40var-160cl.2	SAT	0.14
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.15
6qbf-5cnf-40var-160cl.6	SAT	0.15
k_poly_n-4	SAT	0.15
mutex-8-s	SAT	0.15
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	0.15
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.15
3qbf-5cnf-20var-80cl.3	SAT	0.16
2qbf-5cnf-80var-160cl.9	SAT	0.16
k_path_n-4	SAT	0.16
toilet_c_10_05.2	UNSAT	0.16
toilet_a_08_05.2	UNSAT	0.17
5qbf-5cnf-40var-160cl.4	SAT	0.17
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.17
5qbf-5cnf-40var-160cl.9	SAT	0.17
4qbf-5cnf-20var-80cl.8	SAT	0.18
3qbf-5cnf-160var-320cl.5	SAT	0.18
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.18
CHAIN12v.13	SAT	0.19
k_d4_p-4	UNSAT	0.19
2qbf-5cnf-20var-80cl.6	SAT	0.19
3qbf-5cnf-160var-320cl.0	SAT	0.2
5qbf-5cnf-40var-160cl.8	SAT	0.2
1qbf-5cnf-80var-160cl.1	SAT	0.2
toilet_a_08_10.2	SAT	0.21
3qbf-5cnf-20var-80cl.1	SAT	0.21
2qbf-5cnf-20var-80cl.5	SAT	0.21
k_dum_p-8	UNSAT	0.21
k_grz_p-4	UNSAT	0.21
1qbf-5cnf-80var-160cl.3	SAT	0.21
5qbf-5cnf-40var-160cl.7	SAT	0.22
3qbf-5cnf-80var-160cl.6	SAT	0.22
4qbf-5cnf-160var-320cl.4	SAT	0.22
toilet_c_08_01.8	UNSAT	0.23
3qbf-5cnf-160var-320cl.2	SAT	0.23
k_poly_p-4	UNSAT	0.23
4qbf-5cnf-160var-320cl.3	SAT	0.24
5qbf-5cnf-160var-320cl.3	SAT	0.24
3qbf-5cnf-160var-320cl.4	SAT	0.24
5qbf-5cnf-160var-320cl.5	SAT	0.25
k_grz_n-4	SAT	0.25
5qbf-5cnf-160var-320cl.8	SAT	0.25
6qbf-5cnf-160var-320cl.8	SAT	0.25
4qbf-5cnf-160var-320cl.2	SAT	0.25
4qbf-5cnf-160var-320cl.6	SAT	0.25
5qbf-5cnf-160var-320cl.7	SAT	0.25
2qbf-5cnf-80var-160cl.1	SAT	0.25
4qbf-5cnf-160var-320cl.7	SAT	0.25
5qbf-5cnf-160var-320cl.0	SAT	0.26
3qbf-5cnf-20var-640cl.3	UNSAT	0.27
6qbf-5cnf-160var-320cl.3	SAT	0.27
6qbf-5cnf-160var-320cl.2	SAT	0.27
6qbf-5cnf-160var-320cl.7	SAT	0.27
4qbf-5cnf-160var-320cl.0	SAT	0.28
2qbf-5cnf-20var-80cl.9	SAT	0.28
6qbf-5cnf-160var-320cl.5	SAT	0.29
CHAIN13v.14	SAT	0.29
6qbf-5cnf-160var-320cl.4	SAT	0.29
6qbf-5cnf-160var-320cl.9	SAT	0.3
5qbf-5cnf-160var-320cl.2	SAT	0.3
5qbf-5cnf-160var-320cl.4	SAT	0.3
5qbf-5cnf-160var-320cl.1	SAT	0.3
5qbf-5cnf-160var-320cl.6	SAT	0.3
6qbf-5cnf-160var-320cl.6	SAT	0.31
4qbf-5cnf-160var-320cl.5	SAT	0.31
6qbf-5cnf-160var-320cl.0	SAT	0.31
5qbf-5cnf-160var-320cl.9	SAT	0.31
k_t4p_p-4	UNSAT	0.32
toilet_a_08_01.8	UNSAT	0.33
3qbf-5cnf-160var-320cl.6	SAT	0.33
6qbf-5cnf-160var-320cl.1	SAT	0.33
5qbf-5cnf-40var-160cl.1	SAT	0.34
CHAIN14v.15	SAT	0.35
3qbf-5cnf-160var-320cl.8	SAT	0.35
4qbf-5cnf-160var-320cl.1	SAT	0.37
k_d4_n-4	SAT	0.38
k_dum_n-8	SAT	0.39
1qbf-5cnf-80var-160cl.9	SAT	0.4
3qbf-5cnf-160var-320cl.9	SAT	0.41
k_lin_p-8	UNSAT	0.42
2qbf-5cnf-80var-160cl.7	SAT	0.43
1qbf-5cnf-80var-160cl.0	SAT	0.44
qshifter_6	SAT	0.46
k_path_p-8	UNSAT	0.46
4qbf-5cnf-40var-160cl.6	SAT	0.48
CHAIN15v.16	SAT	0.48
6qbf-5cnf-40var-160cl.9	SAT	0.48
k_dum_p-12	UNSAT	0.48
ncf_4_8_2_edau.10	SAT	0.52
k_grz_p-8	UNSAT	0.52
3qbf-5cnf-160var-320cl.1	SAT	0.55
6qbf-5cnf-40var-160cl.2	SAT	0.57
1qbf-5cnf-20var-160cl.3	SAT	0.58
k_poly_n-8	SAT	0.59
k_d4_p-8	UNSAT	0.59
k_path_n-8	SAT	0.6
1qbf-5cnf-80var-160cl.2	SAT	0.6
mutex-16-s	SAT	0.62
1qbf-5cnf-20var-160cl.7	SAT	0.63
k_grz_n-8	SAT	0.64
CHAIN17v.18	SAT	0.65
2qbf-5cnf-80var-160cl.6	SAT	0.67
toilet_a_10_01.2	UNSAT	0.67
TOILET6.1.iv.11	UNSAT	0.68
4qbf-5cnf-160var-320cl.8	SAT	0.69
toilet_a_10_01.4	UNSAT	0.7
CHAIN16v.17	SAT	0.71
1qbf-5cnf-80var-160cl.6	SAT	0.72
toilet_a_10_01.3	UNSAT	0.73
ncf_4_8_2_d.5	SAT	0.77
toilet_c_10_01.8	UNSAT	0.81
k_dum_n-12	SAT	0.82
adder-4-unsat	UNSAT	0.84
TOILET6.1.iv.12	SAT	0.85
k_dum_p-16	UNSAT	0.85
6qbf-5cnf-80var-320cl.9	SAT	0.87
Adder2-4-s	SAT	0.88
k_t4p_n-4	SAT	0.89
CHAIN19v.20	SAT	0.9
5qbf-5cnf-40var-160cl.0	SAT	0.95
k_grz_p-12	UNSAT	0.95
toilet_a_10_05.2	UNSAT	1
1qbf-5cnf-20var-160cl.1	SAT	1.03
k_t4p_p-8	UNSAT	1.05
ncf_4_8_2_edau.5	SAT	1.06
1qbf-5cnf-20var-160cl.4	SAT	1.06
1qbf-5cnf-20var-160cl.5	SAT	1.07
k_path_p-12	UNSAT	1.09
6qbf-5cnf-80var-320cl.8	SAT	1.1
ncf_4_8_2_d.10	SAT	1.11
3qbf-5cnf-160var-320cl.7	SAT	1.11
1qbf-5cnf-20var-160cl.9	SAT	1.11
ncf_4_8_2_edau.9	SAT	1.12
1qbf-5cnf-20var-160cl.6	SAT	1.12
5qbf-5cnf-40var-160cl.5	SAT	1.13
1qbf-5cnf-20var-160cl.0	SAT	1.13
CHAIN18v.19	SAT	1.14
3qbf-5cnf-160var-320cl.3	SAT	1.14
5qbf-5cnf-40var-160cl.6	SAT	1.16
1qbf-5cnf-80var-160cl.5	SAT	1.17
CHAIN20v.21	SAT	1.18
test5_quant_squaring4	SAT	1.18
1qbf-5cnf-80var-160cl.7	SAT	1.19
3qbf-5cnf-40var-160cl.0	SAT	1.21
1qbf-5cnf-20var-160cl.8	SAT	1.21
k_dum_n-16	SAT	1.22
k_d4_p-12	UNSAT	1.27
1qbf-5cnf-80var-160cl.4	SAT	1.29
1qbf-5cnf-20var-160cl.2	SAT	1.32
CHAIN21v.22	SAT	1.33
k_dum_p-20	UNSAT	1.36
counter_4	SAT	1.36
BLOCKS3iii.4	UNSAT	1.36
k_path_n-12	SAT	1.42
k_dum_p-21	UNSAT	1.43
vonNeumann-ripple-carry-6-c	FAIL	1.43
adder-6-sat	SAT	1.44
4qbf-5cnf-160var-320cl.9	SAT	1.44
toilet_a_10_01.8	UNSAT	1.45
szymanski-14-s	FAIL	1.51
s27_d4_u	UNSAT	1.52
flipflop-9-c	FAIL	1.57
k_d4_n-8	SAT	1.6
k_grz_p-16	UNSAT	1.64
counter_r_4	SAT	1.72
CHAIN22v.23	SAT	1.73
4qbf-5cnf-40var-160cl.2	SAT	1.76
6qbf-5cnf-80var-320cl.3	SAT	1.84
k_dum_n-21	SAT	1.99
k_dum_n-20	SAT	2
ncf_4_8_2_edau.6	SAT	2.09
CHAIN23v.24	SAT	2.13
toilet_c_08_01.16	SAT	2.19
toilet_a_08_01.16	SAT	2.21
k_d4_p-16	UNSAT	2.3
k_grz_n-12	SAT	2.36
k_path_p-16	UNSAT	2.39
k_path_n-16	SAT	2.5
k_t4p_p-12	UNSAT	2.53
ncf_4_8_2_edau.7	UNSAT	2.58
k_grz_p-20	UNSAT	2.58
ncf_4_8_2_d.7	UNSAT	2.61
qshifter_7	SAT	2.63
szymanski-16-s	FAIL	2.64
Adder2-4-c	UNSAT	2.73
k_grz_p-21	UNSAT	2.75
vonNeumann-ripple-carry-7-c	FAIL	2.81
3qbf-5cnf-40var-160cl.3	SAT	2.82
k_lin_n-4	SAT	2.83
4qbf-5cnf-40var-160cl.5	SAT	2.9
TOILET7.1.iv.13	UNSAT	2.95
test5_quant7	SAT	2.97
ncf_4_8_2_edau.4	UNSAT	3
flipflop-10-c	FAIL	3.08
test5_quant_squaring5	SAT	3.08
1qbf-5cnf-40var-160cl.4	SAT	3.16
k_t4p_n-8	SAT	3.32
k_lin_p-12	UNSAT	3.41
ncf_4_8_2_d.6	SAT	3.42
k_path_p-20	UNSAT	3.48
k_poly_n-16	SAT	3.53
TOILET7.1.iv.14	SAT	3.54
k_d4_p-20	UNSAT	3.59
szymanski-18-s	FAIL	3.76
k_path_n-20	SAT	3.82
k_poly_p-16	UNSAT	3.91
ncf_4_8_2_d.4	UNSAT	4.02
k_t4p_p-16	UNSAT	4.08
connect_9x8_8_D	FAIL	4.11
k_d4_p-21	UNSAT	4.13
connect_9x8_8_W	FAIL	4.13
k_path_p-21	UNSAT	4.13
connect_9x8_8_R	FAIL	4.15
k_d4_n-12	SAT	4.27
k_path_n-21	SAT	4.38
6qbf-5cnf-80var-320cl.4	SAT	4.47
vonNeumann-ripple-carry-8-c	FAIL	4.48
connect_8x7_4_D	FAIL	4.9
connect_8x7_4_R	FAIL	4.93
connect_8x7_4_W	FAIL	4.93
6qbf-5cnf-40var-160cl.5	SAT	4.97
szymanski-20-s	FAIL	5.08
flipflop-11-c	FAIL	5.18
connect_9x8_7_D	FAIL	5.18
connect_9x8_7_R	FAIL	5.19
connect_9x8_7_W	FAIL	5.23
ncf_4_8_2_d.9	SAT	5.28
test5_quant5	SAT	5.59
s298_d2_s	SAT	5.67
connect_8x7_3_R	FAIL	6.11
connect_8x7_3_D	FAIL	6.14
connect_8x7_3_W	FAIL	6.18
connect_9x8_6_W	FAIL	6.52
connect_9x8_6_D	FAIL	6.53
connect_9x8_6_R	FAIL	6.58
5qbf-5cnf-20var-160cl.7	SAT	6.59
k_t4p_p-20	UNSAT	6.65
4qbf-5cnf-40var-160cl.9	SAT	6.67
5qbf-5cnf-80var-320cl.3	SAT	6.7
k_t4p_p-21	UNSAT	6.82
vonNeumann-ripple-carry-9-c	FAIL	6.83
mutex-32-s	SAT	6.91
3qbf-5cnf-40var-160cl.5	SAT	6.97
ncf_4_8_2_edau.2	SAT	7.02
test3_quant_squaring2	UNSAT	7.11
4qbf-5cnf-40var-160cl.4	SAT	7.14
szymanski-22-s	FAIL	7.18
5qbf-5cnf-80var-320cl.8	SAT	7.29
k_d4_n-16	SAT	7.32
adder-8-sat	SAT	7.46
1qbf-5cnf-40var-160cl.9	SAT	7.66
connect_9x8_5_W	FAIL	7.92
6qbf-5cnf-80var-320cl.7	SAT	7.93
connect_9x8_5_R	FAIL	7.98
connect_9x8_5_D	FAIL	8.08
5qbf-5cnf-80var-320cl.6	SAT	8.08
k_t4p_n-12	SAT	8.2
flipflop-12-c	FAIL	8.3
ncf_4_8_2_d.8	SAT	8.38
ncf_4_8_2_d.2	SAT	8.68
1qbf-5cnf-40var-160cl.5	SAT	8.69
1qbf-5cnf-40var-160cl.0	SAT	8.94
szymanski-24-s	FAIL	9.61
ncf_4_8_2_edau.8	SAT	9.66
1qbf-5cnf-40var-160cl.2	SAT	9.9
test3_quant2	UNSAT	9.94
connect_9x8_4_R	FAIL	10.17
connect_9x8_4_D	FAIL	10.17
3qbf-5cnf-40var-160cl.2	SAT	10.19
connect_9x8_4_W	FAIL	10.3
szymanski-5-s	UNSAT	10.56
Adder2-6-s	SAT	10.86
k_d4_n-20	SAT	10.98
6qbf-5cnf-80var-320cl.5	SAT	11.36
vonNeumann-ripple-carry-10-c	FAIL	11.47
adder-6-unsat	UNSAT	11.72
k_d4_n-21	SAT	12.25
connect_9x8_3_W	FAIL	13.6
connect_9x8_3_D	FAIL	13.66
connect_9x8_3_R	FAIL	13.68
1qbf-5cnf-40var-160cl.1	SAT	13.96
4qbf-5cnf-40var-160cl.3	SAT	14.47
s1269_d4_s	FAIL	14.72
s713_d6_s	FAIL	14.74
s3330_d9_s	FAIL	14.85
3qbf-5cnf-40var-160cl.1	SAT	15.1
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	15.65
vonNeumann-ripple-carry-11-c	FAIL	15.66
s499_d22_u	FAIL	15.76
s820_d11_u	FAIL	15.77
s510_d32_s	FAIL	15.84
s3330_d10_u	FAIL	15.9
qshifter_8	SAT	15.94
s499_d21_s	FAIL	16.3
6qbf-5cnf-80var-320cl.2	SAT	16.31
1qbf-5cnf-40var-160cl.3	SAT	16.33
s499_d16_s	FAIL	16.47
s820_d8_s	FAIL	16.9
s510_d16_s	FAIL	16.9
s298_d16_s	FAIL	16.97
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	16.98
s820_d10_s	FAIL	17.03
s1269_d10_s	FAIL	17.07
5qbf-5cnf-80var-320cl.9	SAT	17.1
s1269_d8_s	FAIL	17.58
s510_d46_s	FAIL	17.63
k_t4p_n-16	SAT	17.7
s298_d18_s	FAIL	17.76
s1269_d11_u	FAIL	18.37
ev-pr-6x6-5-5-0-1-2-s	FAIL	18.51
s3330_d4_s	FAIL	18.59
s499_d2_s	SAT	19.85
s298_d19_u	FAIL	19.94
counter_re_4	SAT	19.95
ev-pr-6x6-7-5-0-1-2-s	FAIL	20.14
s713_d7_u	FAIL	20.28
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	20.71
s510_d47_u	FAIL	20.79
ev-pr-6x6-17-5-0-1-2-s	FAIL	20.95
5qbf-5cnf-20var-160cl.3	SAT	21.36
s3330_d8_s	FAIL	21.55
ev-pr-6x6-9-5-0-1-2-s	FAIL	21.6
1qbf-5cnf-40var-160cl.6	SAT	21.93
term1.blif_0.10_1.00_0_1_out_exact	SAT	22.14
1qbf-5cnf-20var-320cl.8	SAT	22.62
1qbf-5cnf-20var-320cl.7	SAT	22.67
Adder2-6-c	UNSAT	22.9
ev-pr-6x6-19-5-0-1-2-s	FAIL	23.24
1qbf-5cnf-20var-320cl.6	SAT	23.6
3qbf-5cnf-40var-160cl.8	SAT	23.73
vonNeumann-ripple-carry-12-c	FAIL	24.98
s3330_d2_s	FAIL	25.46
s27_d5_u	UNSAT	25.63
k_ph_p-20	FAIL	25.69
k_t4p_n-20	SAT	25.84
1qbf-5cnf-40var-160cl.7	SAT	26.2
ev-pr-6x6-11-5-0-1-2-s	FAIL	26.25
ev-pr-6x6-15-5-0-1-2-s	FAIL	26.74
term1.blif_0.10_0.20_0_1_out_exact	SAT	26.89
1qbf-5cnf-20var-320cl.3	SAT	27.09
6qbf-5cnf-80var-320cl.1	SAT	27.54
ev-pr-6x6-13-5-0-1-2-s	FAIL	28.96
1qbf-5cnf-20var-320cl.9	SAT	29.4
1qbf-5cnf-20var-320cl.5	SAT	29.4
1qbf-5cnf-20var-320cl.4	SAT	30.51
term1.blif_0.10_1.00_0_1_inp_exact	SAT	30.72
k_ph_p-21	FAIL	30.76
k_t4p_n-21	SAT	30.82
1qbf-5cnf-20var-320cl.0	SAT	31.41
k_ph_n-21	FAIL	31.52
1qbf-5cnf-20var-320cl.2	SAT	31.73
vonNeumann-ripple-carry-13-c	FAIL	32.46
adder-10-sat	SAT	32.48
1qbf-5cnf-20var-320cl.1	SAT	32.58
6qbf-5cnf-20var-160cl.2	SAT	36.93
vonNeumann-ripple-carry-15-c	FAIL	38.3
BLOCKS3ii.4.3	UNSAT	38.42
5qbf-5cnf-80var-320cl.1	SAT	39.72
toilet_c_10_01.16	UNSAT	42.09
toilet_a_10_01.16	UNSAT	42.82
test3_quant4	UNSAT	43.03
2qbf-5cnf-160var-320cl.6	SAT	45.62
5qbf-5cnf-20var-160cl.2	SAT	49.89
2qbf-5cnf-160var-320cl.0	SAT	50.14
5qbf-5cnf-20var-160cl.5	SAT	50.7
6qbf-5cnf-80var-320cl.0	SAT	50.85
Adder2-8-s	SAT	51.64
1qbf-5cnf-40var-160cl.8	SAT	53.27
5qbf-5cnf-80var-320cl.4	SAT	53.97
5qbf-5cnf-20var-160cl.4	SAT	56.76
lut4_XOR_fOR	UNSAT	60.43
flipflop-4-c	UNSAT	60.54
3qbf-5cnf-40var-160cl.4	SAT	62.17
lut4_XOR_f1	SAT	65.62
k_grz_n-16	SAT	67.82
1qbf-5cnf-160var-320cl.4	SAT	76.51
4qbf-5cnf-20var-160cl.3	UNSAT	76.94
counter_e_4	SAT	80.23
2qbf-5cnf-40var-160cl.6	UNSAT	81.45
toilet_c_10_01.20	SAT	82.68
toilet_a_10_01.20	SAT	83.36
adder-8-unsat	UNSAT	85.28
5qbf-5cnf-20var-160cl.0	SAT	88.23
adder-12-sat	SAT	88.67
k_branch_p-4	UNSAT	108
Adder2-8-c	UNSAT	108.41
5qbf-5cnf-20var-160cl.8	SAT	114.69
2qbf-5cnf-40var-160cl.4	SAT	118.58
k_branch_n-4	SAT	118.92
5qbf-5cnf-80var-320cl.2	SAT	123.25
6qbf-5cnf-160var-640cl.2	SAT	129.32
6qbf-5cnf-20var-160cl.7	SAT	134.85
2qbf-5cnf-20var-160cl.2	UNSAT	135.21
4qbf-5cnf-20var-160cl.0	UNSAT	144.49
4qbf-5cnf-40var-160cl.8	SAT	156.01
test4_quant_squaring2	FAIL	158.76
2qbf-5cnf-40var-160cl.0	SAT	161.77
2qbf-5cnf-20var-160cl.3	UNSAT	165.5
ncf_4_8_2_edau.1	UNSAT	172.6
2qbf-5cnf-20var-160cl.1	UNSAT	180.24
ncf_4_8_2_d.1	UNSAT	181.79
3qbf-5cnf-20var-160cl.4	SAT	182.11
test3_quant_squaring4	FAIL	188.02
4qbf-5cnf-40var-160cl.1	SAT	198.56
connect_6x5_5_D	UNSAT	205.1
3qbf-5cnf-40var-160cl.6	SAT	207.68
renHorn_400CNF2360_2aQBF_88	FAIL	215.16
2qbf-5cnf-20var-160cl.8	UNSAT	220.89
adder-14-sat	SAT	222.81
k_poly_p-8	UNSAT	228.48
adder-12-unsat	FAIL	233.82
5qbf-5cnf-80var-320cl.0	SAT	240.11
connect_6x5_4_D	UNSAT	241.75
2qbf-5cnf-160var-320cl.7	SAT	246.06
3qbf-5cnf-20var-160cl.5	SAT	256.6
test4_quant2	FAIL	258.59
5qbf-5cnf-20var-160cl.9	SAT	259.88
5qbf-5cnf-160var-640cl.9	SAT	262.77
2qbf-5cnf-160var-320cl.1	SAT	273.23
1qbf-5cnf-20var-640cl.9	UNSAT	286.4
TOILET10.1.iv.20	SAT	292.92
1qbf-5cnf-20var-640cl.4	UNSAT	301.12
1qbf-5cnf-20var-640cl.1	UNSAT	302.49
5qbf-5cnf-80var-320cl.5	SAT	302.92
2qbf-5cnf-20var-160cl.7	UNSAT	312.37
1qbf-5cnf-20var-640cl.0	UNSAT	313.05
k_lin_p-16	UNSAT	315.8
ncf_4_8_2_d.3	UNSAT	320.91
5qbf-5cnf-80var-320cl.7	SAT	323.51
3qbf-5cnf-40var-160cl.7	SAT	325.1
renHorn_400CNF1560_2aQBF_90	FAIL	326.49
3qbf-5cnf-20var-160cl.8	SAT	330.91
1qbf-5cnf-20var-640cl.3	UNSAT	339.35
1qbf-5cnf-20var-640cl.5	UNSAT	339.77
2qbf-5cnf-40var-160cl.9	SAT	345.47
1qbf-5cnf-20var-640cl.6	UNSAT	347.55
Adder2-10-c	FAIL	351.28
2qbf-5cnf-40var-160cl.7	UNSAT	356.81
1qbf-5cnf-20var-640cl.8	UNSAT	360.3
connect_6x5_3_D	UNSAT	360.33
ncf_4_8_2_edau.3	UNSAT	364.83
2qbf-5cnf-40var-160cl.1	UNSAT	375.07
Adder2-10-s	FAIL	375.18
Adder2-16-s	FAIL	382.49
renHorn_400CNF1720_2aQBF_20	FAIL	397.61
2qbf-5cnf-40var-160cl.8	SAT	403.29
3qbf-5cnf-40var-160cl.9	SAT	405.67
1qbf-5cnf-20var-640cl.7	UNSAT	419.1
6qbf-5cnf-160var-640cl.7	SAT	422.27
horn_400CNF1680_2aQBF_482	FAIL	426.27
6qbf-5cnf-20var-160cl.5	SAT	427.43
1qbf-5cnf-20var-640cl.2	UNSAT	433.75
2qbf-5cnf-20var-160cl.6	UNSAT	446.56
2qbf-5cnf-20var-160cl.9	UNSAT	462.64
renHorn_400CNF2040_2aQBF_59	FAIL	466.01
horn_400CNF1760_2aQBF_846	FAIL	469.78
horn_400CNF1600_2aQBF_748	FAIL	479.03
3qbf-5cnf-20var-160cl.9	SAT	486.88
renHorn_400CNF1480_2aQBF_62	FAIL	490.16
6qbf-5cnf-80var-320cl.6	SAT	498.91
s298_d8_s	FAIL	500.86
horn_400CNF2080_2aQBF_176	FAIL	502.18
Adder2-12-s	FAIL	508.36
test4_quant4	FAIL	513.5
3qbf-5cnf-20var-160cl.7	SAT	516.5
horn_400CNF1680_2aQBF_503	FAIL	516.58
6qbf-5cnf-160var-640cl.8	SAT	531.53
horn_400CNF2080_2aQBF_840	FAIL	533.63
test4_quant_squaring4	FAIL	533.84
horn_400CNF2080_2aQBF_899	FAIL	542.31
renHorn_400CNF2120_2aQBF_17	FAIL	544.16
4qbf-5cnf-40var-160cl.0	SAT	552.53
horn_400CNF1360_2aQBF_310	FAIL	553.36
horn_400CNF2160_2aQBF_692	FAIL	555.36
adder-16-sat	SAT	573.1
2qbf-5cnf-20var-160cl.0	UNSAT	580.96
horn_400CNF1360_2aQBF_755	FAIL	589.85
renHorn_400CNF2360_2aQBF_9	FAIL	590.95
2qbf-5cnf-20var-160cl.5	UNSAT	601.13
horn_400CNF1760_2aQBF_996	FAIL	606.42
horn_400CNF1520_2aQBF_116	FAIL	607.96
horn_400CNF2320_2aQBF_132	FAIL	612.29
horn_400CNF1840_2aQBF_547	FAIL	616.02
horn_400CNF1520_2aQBF_625	FAIL	622.82
horn_400CNF1840_2aQBF_401	FAIL	631.38
renHorn_400CNF1560_2aQBF_2	FAIL	632.08
renHorn_400CNF2120_2aQBF_10	FAIL	632.97
horn_400CNF1520_2aQBF_782	FAIL	634
horn_400CNF1440_2aQBF_829	FAIL	641
horn_400CNF2080_2aQBF_584	FAIL	642.18
4qbf-5cnf-20var-160cl.4	UNSAT	651.61
renHorn_400CNF2120_2aQBF_84	FAIL	660.23
5qbf-5cnf-160var-2560cl.1	FAIL	669.23
5qbf-5cnf-160var-640cl.2	SAT	676.25
horn_400CNF1760_2aQBF_979	FAIL	676.27
horn_400CNF1520_2aQBF_53	FAIL	678.25
2qbf-5cnf-160var-320cl.4	SAT	688.61
4qbf-5cnf-160var-2560cl.3	FAIL	697.64
horn_400CNF2080_2aQBF_322	FAIL	701.52
horn_400CNF2320_2aQBF_797	FAIL	718.18
horn_400CNF1600_2aQBF_278	FAIL	723.28
renHorn_400CNF1800_2aQBF_20	FAIL	729.97
6qbf-5cnf-160var-1280cl.7	FAIL	732.32
horn_400CNF1440_2aQBF_553	FAIL	738.27
s298_d4_s	FAIL	741.07
3qbf-5cnf-20var-160cl.1	SAT	742.51
s386_d4_s	FAIL	746.14
horn_400CNF1600_2aQBF_912	FAIL	751.11
C499.blif_0.10_1.00_0_1_inp_exact	SAT	755.31
horn_400CNF1920_2aQBF_647	FAIL	757.09
renHorn_400CNF1800_2aQBF_5	FAIL	757.2
horn_400CNF2000_2aQBF_787	FAIL	760.64
horn_400CNF1520_2aQBF_600	FAIL	762.71
horn_400CNF1840_2aQBF_198	FAIL	763.03
horn_400CNF1600_2aQBF_571	FAIL	763.38
horn_400CNF2000_2aQBF_878	FAIL	764.87
renHorn_400CNF2280_2aQBF_4	FAIL	765.96
4qbf-5cnf-160var-640cl.3	FAIL	767.44
4qbf-5cnf-160var-1280cl.0	FAIL	770.68
horn_400CNF2000_2aQBF_642	FAIL	772.51
renHorn_400CNF2280_2aQBF_59	FAIL	776.41
2qbf-5cnf-20var-160cl.4	UNSAT	777.68
s386_d2_s	FAIL	790.46
4qbf-5cnf-160var-1280cl.6	FAIL	791.08
6qbf-5cnf-20var-160cl.0	SAT	791.44
renHorn_400CNF2120_2aQBF_52	FAIL	795.07
horn_400CNF1840_2aQBF_555	FAIL	797.11
renHorn_400CNF1800_2aQBF_36	FAIL	798.15
4qbf-5cnf-80var-640cl.4	FAIL	800.94
horn_400CNF1440_2aQBF_925	FAIL	801.89
renHorn_400CNF2200_2aQBF_22	FAIL	803.93
horn_400CNF1280_2aQBF_841	FAIL	804.67
6qbf-5cnf-160var-1280cl.1	FAIL	809.73
5qbf-5cnf-160var-640cl.7	FAIL	815.37
5qbf-5cnf-20var-160cl.1	SAT	815.65
horn_400CNF1840_2aQBF_329	FAIL	818.38
renHorn_400CNF1960_2aQBF_76	FAIL	818.82
horn_400CNF1200_2aQBF_539	FAIL	819.45
renHorn_400CNF1480_2aQBF_98	FAIL	822.9
renHorn_400CNF1560_2aQBF_72	FAIL	823.32
5qbf-5cnf-160var-2560cl.4	FAIL	829.33
horn_400CNF1360_2aQBF_788	FAIL	830.8
horn_400CNF1600_2aQBF_956	FAIL	830.91
renHorn_400CNF2280_2aQBF_13	FAIL	833.84
horn_400CNF1600_2aQBF_505	FAIL	835.35
renHorn_400CNF2360_2aQBF_97	FAIL	837.38
renHorn_400CNF1480_2aQBF_99	FAIL	840.65
renHorn_400CNF1960_2aQBF_35	FAIL	846.42
6qbf-5cnf-160var-5120cl.1	FAIL	848.27
horn_400CNF2080_2aQBF_709	FAIL	848.34
horn_400CNF1440_2aQBF_737	FAIL	848.55
renHorn_400CNF2120_2aQBF_31	FAIL	850.17
6qbf-5cnf-80var-640cl.5	FAIL	851.23
horn_400CNF1680_2aQBF_728	FAIL	854.48
renHorn_400CNF1360_2aQBF_96	FAIL	857.35
renHorn_400CNF2120_2aQBF_63	FAIL	862.55
renHorn_400CNF1880_2aQBF_81	FAIL	868.22
horn_400CNF1600_2aQBF_922	FAIL	869.4
6qbf-5cnf-80var-1280cl.1	FAIL	871.36
horn_400CNF2320_2aQBF_420	FAIL	871.43
5qbf-5cnf-160var-1280cl.3	FAIL	873.01
horn_400CNF2320_2aQBF_209	FAIL	873.06
horn_400CNF2320_2aQBF_832	FAIL	873.07
horn_400CNF1600_2aQBF_514	FAIL	875.67
horn_400CNF1600_2aQBF_103	FAIL	876.56
horn_400CNF1520_2aQBF_387	FAIL	877.16
renHorn_400CNF1480_2aQBF_85	FAIL	877.89
renHorn_400CNF1800_2aQBF_24	FAIL	878.87
horn_400CNF1600_2aQBF_789	FAIL	879.51
horn_400CNF1280_2aQBF_389	FAIL	880.54
adder-10-unsat	FAIL	880.97
horn_400CNF1680_2aQBF_433	FAIL	881.6
renHorn_400CNF2280_2aQBF_95	FAIL	882.64
horn_400CNF1680_2aQBF_91	FAIL	883.35
5qbf-5cnf-160var-1280cl.4	FAIL	883.35
horn_400CNF1680_2aQBF_286	FAIL	883.59
horn_400CNF1920_2aQBF_75	FAIL	884.04
renHorn_400CNF1480_2aQBF_21	FAIL	884.09
horn_400CNF1360_2aQBF_831	FAIL	884.59
horn_400CNF2320_2aQBF_813	FAIL	884.6
6qbf-5cnf-160var-1280cl.4	FAIL	884.64
3qbf-5cnf-160var-2560cl.3	FAIL	884.92
horn_400CNF1920_2aQBF_890	FAIL	885.3
horn_400CNF1680_2aQBF_589	FAIL	885.55
renHorn_400CNF1200_2aQBF_28	FAIL	885.81
horn_400CNF1440_2aQBF_165	FAIL	886.29
renHorn_400CNF1720_2aQBF_71	FAIL	886.33
horn_400CNF1920_2aQBF_927	FAIL	886.4
horn_400CNF1360_2aQBF_565	FAIL	886.41
horn_400CNF1680_2aQBF_547	FAIL	886.52
horn_400CNF1680_2aQBF_154	FAIL	886.6
horn_400CNF2000_2aQBF_650	FAIL	886.84
horn_400CNF2160_2aQBF_23	FAIL	886.97
horn_400CNF1760_2aQBF_997	FAIL	887.95
horn_400CNF1440_2aQBF_967	FAIL	888.46
horn_400CNF1920_2aQBF_603	FAIL	888.52
horn_400CNF1760_2aQBF_330	FAIL	888.6
horn_400CNF2080_2aQBF_793	FAIL	888.72
horn_400CNF1840_2aQBF_32	FAIL	888.79
horn_400CNF1920_2aQBF_721	FAIL	889.07
4qbf-5cnf-160var-640cl.7	FAIL	889.09
adder-16-unsat	FAIL	889.2
k_lin_n-8	FAIL	889.47
6qbf-5cnf-160var-5120cl.9	FAIL	889.6
renHorn_400CNF2120_2aQBF_37	FAIL	889.7
horn_400CNF2080_2aQBF_714	FAIL	889.78
5qbf-5cnf-160var-5120cl.5	FAIL	889.87
renHorn_400CNF2200_2aQBF_48	FAIL	889.91
horn_400CNF2160_2aQBF_976	FAIL	889.99
horn_400CNF1760_2aQBF_686	FAIL	890
renHorn_400CNF1640_2aQBF_7	FAIL	890.11
horn_400CNF2000_2aQBF_564	FAIL	890.39
renHorn_400CNF2040_2aQBF_11	FAIL	890.78
horn_400CNF2000_2aQBF_577	FAIL	890.86
6qbf-5cnf-160var-5120cl.2	FAIL	891.47
horn_400CNF2320_2aQBF_72	FAIL	891.48
horn_400CNF1760_2aQBF_93	FAIL	891.51
horn_400CNF1600_2aQBF_331	FAIL	892.06
renHorn_400CNF2120_2aQBF_21	FAIL	892.19
horn_400CNF1520_2aQBF_382	FAIL	893.06
horn_400CNF1920_2aQBF_583	FAIL	893.13
4qbf-5cnf-160var-2560cl.2	FAIL	893.14
renHorn_400CNF1640_2aQBF_53	FAIL	894.28
renHorn_400CNF1280_2aQBF_22	FAIL	895.69
renHorn_400CNF1720_2aQBF_79	FAIL	895.79
6qbf-5cnf-80var-640cl.4	FAIL	895.79
horn_400CNF1760_2aQBF_711	FAIL	895.81
test1_quant_squaring3	FAIL	895.92
horn_400CNF1760_2aQBF_484	FAIL	896.37
Adder2-16-c	FAIL	896.56
renHorn_400CNF1800_2aQBF_7	FAIL	896.61
renHorn_400CNF1640_2aQBF_79	FAIL	897.06
renHorn_400CNF2360_2aQBF_58	FAIL	897.15
6qbf-5cnf-80var-2560cl.4	FAIL	897.34
renHorn_400CNF2120_2aQBF_88	FAIL	897.34
robots_1_5_3_57.4	FAIL	897.42
renHorn_400CNF1800_2aQBF_2	FAIL	897.51
horn_400CNF1760_2aQBF_614	FAIL	897.67
ncf_16_64_8_d.9	FAIL	897.75
ncf_16_64_2_edau.5	FAIL	897.76
ncf_8_64_2_euad.1	FAIL	897.89
ncf_16_32_2_euad.3	FAIL	897.91
3qbf-5cnf-160var-640cl.4	FAIL	897.94
robots_1_5_5_56.2	FAIL	898.02
renHorn_400CNF1400_2aQBF_80	FAIL	898.11
2qbf-5cnf-40var-1280cl.3	FAIL	898.12
ncf_4_16_8_euad.2	FAIL	898.14
C432.blif_0.10_0.20_0_0_out_exact	FAIL	898.16
3qbf-5cnf-40var-640cl.8	FAIL	898.18
ncf_8_32_8_edau.6	FAIL	898.21
ncf_8_64_4_edau.10	FAIL	898.22
renHorn_400CNF1480_2aQBF_92	FAIL	898.29
horn_400CNF1920_2aQBF_534	FAIL	898.3
ncf_4_16_2_d.8	FAIL	898.33
ncf_4_32_4_euad.9	FAIL	898.34
horn_400CNF1440_2aQBF_642	FAIL	898.35
ncf_4_16_8_euad.6	FAIL	898.42
ncf_4_16_2_euad.10	FAIL	898.44
horn_400CNF1600_2aQBF_26	FAIL	898.49
s1269_d2_s	FAIL	898.51
1qbf-5cnf-40var-640cl.2	FAIL	898.51
6qbf-5cnf-80var-640cl.7	FAIL	898.63
renHorn_400CNF1200_2aQBF_79	FAIL	898.68
horn_400CNF1680_2aQBF_698	FAIL	898.97
renHorn_400CNF1640_2aQBF_87	FAIL	899
renHorn_400CNF2040_2aQBF_86	FAIL	899.08
s386_d7_s	FAIL	899.1
2qbf-5cnf-160var-1280cl.2	FAIL	899.14
horn_400CNF1920_2aQBF_952	FAIL	899.24
6qbf-5cnf-160var-1280cl.5	FAIL	899.25
4qbf-5cnf-160var-640cl.6	FAIL	899.27
s499_d8_s	FAIL	899.41
Adder2-14-s	FAIL	899.45
s713_d4_s	FAIL	899.51
s510_d8_s	FAIL	899.53
horn_400CNF1680_2aQBF_695	FAIL	899.53
horn_400CNF2320_2aQBF_772	FAIL	899.54
s386_d8_u	FAIL	899.67
5qbf-5cnf-80var-2560cl.6	FAIL	899.75
robots_1_5_4_91.4	FAIL	899.75
robots_1_5_3_52.4	FAIL	899.76
robots_1_5_3_44.4	FAIL	899.81
3qbf-5cnf-40var-640cl.2	FAIL	899.81
szymanski-12-s	FAIL	899.81
horn_400CNF2160_2aQBF_701	FAIL	899.82
horn_400CNF1440_2aQBF_676	FAIL	899.82
horn_400CNF1920_2aQBF_314	FAIL	899.84
robots_1_5_5_100.4	FAIL	899.84
robots_1_5_5_12.4	FAIL	899.84
k_ph_n-20	FAIL	899.85
k_poly_p-12	FAIL	899.86
renHorn_400CNF1280_2aQBF_62	FAIL	899.87
robots_1_5_3_16.4	FAIL	899.87
robots_1_5_4_100.4	FAIL	899.87
horn_400CNF1680_2aQBF_244	FAIL	899.88
5qbf-5cnf-160var-640cl.4	FAIL	899.88
horn_400CNF2160_2aQBF_588	FAIL	899.88
horn_400CNF1440_2aQBF_668	FAIL	899.89
horn_400CNF1680_2aQBF_950	FAIL	899.9
robots_1_5_3_24.4	FAIL	899.92
s820_d4_s	FAIL	899.93
robots_1_5_2_99.4	FAIL	899.94
s499_d4_s	FAIL	899.94
3qbf-5cnf-160var-640cl.7	FAIL	899.94
4qbf-5cnf-40var-320cl.7	FAIL	899.95
renHorn_400CNF1960_2aQBF_41	FAIL	899.95
horn_400CNF2160_2aQBF_407	FAIL	899.95
robots_1_5_4_46.4	FAIL	899.95
2qbf-5cnf-160var-320cl.5	FAIL	899.96
horn_400CNF1840_2aQBF_323	FAIL	899.96
horn_400CNF2320_2aQBF_433	FAIL	899.96
robots_1_5_2_9.8	FAIL	899.97
robots_1_5_4_98.4	FAIL	899.97
5qbf-5cnf-160var-1280cl.8	FAIL	899.98
horn_400CNF2080_2aQBF_832	FAIL	899.98
k_ph_n-12	FAIL	899.98
renHorn_400CNF1960_2aQBF_79	FAIL	899.99
robots_1_5_2_45.4	FAIL	900
robots_1_5_2_100.4	FAIL	900
renHorn_400CNF1560_2aQBF_28	FAIL	900.01
3qbf-5cnf-160var-1280cl.9	FAIL	900.01
robots_1_5_3_27.8	FAIL	900.01
6qbf-5cnf-40var-640cl.5	FAIL	900.02
4qbf-5cnf-160var-2560cl.5	FAIL	900.02
3qbf-5cnf-80var-320cl.6	FAIL	900.02
k_poly_p-20	FAIL	900.02
ncf_8_64_2_edau.6	FAIL	900.03
horn_400CNF2080_2aQBF_682	FAIL	900.03
robots_1_5_2_85.4	FAIL	900.04
robots_1_5_2_91.8	FAIL	900.04
lut4_2_f2	FAIL	900.05
5qbf-5cnf-160var-1280cl.0	FAIL	900.05
robots_1_5_5_87.4	FAIL	900.05
s1196_d2_s	FAIL	900.05
robots_1_5_4_50.4	FAIL	900.05
renHorn_400CNF1960_2aQBF_50	FAIL	900.06
2qbf-5cnf-160var-2560cl.1	FAIL	900.06
renHorn_400CNF1640_2aQBF_18	FAIL	900.06
3qbf-5cnf-80var-2560cl.9	FAIL	900.07
horn_400CNF1760_2aQBF_726	FAIL	900.07
5qbf-5cnf-80var-640cl.3	FAIL	900.07
szymanski-6-s	FAIL	900.07
renHorn_400CNF2120_2aQBF_19	FAIL	900.07
horn_400CNF1840_2aQBF_752	FAIL	900.07
Adder2-14-c	FAIL	900.07
horn_400CNF1520_2aQBF_98	FAIL	900.08
horn_400CNF2000_2aQBF_702	FAIL	900.08
5qbf-5cnf-160var-2560cl.2	FAIL	900.08
horn_400CNF2160_2aQBF_996	FAIL	900.09
renHorn_400CNF1280_2aQBF_56	FAIL	900.09
robots_1_5_5_12.8	FAIL	900.09
robots_1_5_2_2.4	FAIL	900.09
6qbf-5cnf-160var-640cl.9	FAIL	900.1
renHorn_400CNF1640_2aQBF_38	FAIL	900.1
6qbf-5cnf-160var-1280cl.3	FAIL	900.1
6qbf-5cnf-160var-640cl.3	FAIL	900.1
5qbf-5cnf-160var-2560cl.5	FAIL	900.11
s510_d2_s	FAIL	900.11
6qbf-5cnf-40var-640cl.0	FAIL	900.11
5qbf-5cnf-160var-2560cl.0	FAIL	900.11
6qbf-5cnf-80var-2560cl.2	FAIL	900.11
6qbf-5cnf-80var-2560cl.0	FAIL	900.12
4qbf-5cnf-80var-640cl.0	FAIL	900.12
robots_1_5_3_66.4	FAIL	900.12
robots_1_5_5_26.4	FAIL	900.13
4qbf-5cnf-80var-2560cl.0	FAIL	900.13
2qbf-5cnf-160var-640cl.8	FAIL	900.13
ncf_16_128_8_u.1	FAIL	900.13
3qbf-5cnf-160var-5120cl.7	FAIL	900.13
robots_1_5_4_51.4	FAIL	900.13
horn_400CNF2000_2aQBF_523	FAIL	900.13
renHorn_400CNF1720_2aQBF_11	FAIL	900.13
horn_400CNF1600_2aQBF_236	FAIL	900.13
robots_1_5_5_99.8	FAIL	900.14
6qbf-5cnf-20var-640cl.0	FAIL	900.14
4qbf-5cnf-80var-320cl.1	FAIL	900.14
2qbf-5cnf-160var-640cl.3	FAIL	900.14
renHorn_400CNF1200_2aQBF_97	FAIL	900.14
6qbf-5cnf-40var-1280cl.3	FAIL	900.14
renHorn_400CNF1360_2aQBF_22	FAIL	900.14
2qbf-5cnf-160var-1280cl.0	FAIL	900.14
6qbf-5cnf-40var-320cl.0	FAIL	900.14
3qbf-5cnf-80var-2560cl.3	FAIL	900.14
1qbf-5cnf-160var-1280cl.4	FAIL	900.14
5qbf-5cnf-40var-320cl.8	FAIL	900.15
4qbf-5cnf-160var-2560cl.7	FAIL	900.15
6qbf-5cnf-80var-640cl.2	FAIL	900.15
5qbf-5cnf-80var-1280cl.4	FAIL	900.15
3qbf-5cnf-80var-1280cl.1	FAIL	900.15
4qbf-5cnf-80var-640cl.5	FAIL	900.15
4qbf-5cnf-80var-640cl.8	FAIL	900.15
5qbf-5cnf-80var-640cl.9	FAIL	900.15
2qbf-5cnf-160var-2560cl.7	FAIL	900.15
robots_1_5_5_93.4	FAIL	900.15
renHorn_400CNF1880_2aQBF_88	FAIL	900.15
horn_400CNF1760_2aQBF_10	FAIL	900.15
horn_400CNF2320_2aQBF_80	FAIL	900.15
ncf_8_64_8_d.8	FAIL	900.15
2qbf-5cnf-160var-640cl.0	FAIL	900.15
robots_1_5_3_100.4	FAIL	900.15
ncf_16_128_4_u.8	FAIL	900.15
6qbf-5cnf-80var-2560cl.9	FAIL	900.16
6qbf-5cnf-40var-1280cl.5	FAIL	900.16
4qbf-5cnf-80var-2560cl.5	FAIL	900.16
robots_1_5_2_82.4	FAIL	900.16
horn_400CNF1440_2aQBF_117	FAIL	900.16
renHorn_400CNF2200_2aQBF_79	FAIL	900.16
robots_1_5_4_99.8	FAIL	900.16
renHorn_400CNF1560_2aQBF_47	FAIL	900.17
horn_400CNF2080_2aQBF_194	FAIL	900.17
5qbf-5cnf-80var-2560cl.5	FAIL	900.17
robots_1_5_5_45.4	FAIL	900.17
4qbf-5cnf-160var-2560cl.4	FAIL	900.17
renHorn_400CNF1360_2aQBF_35	FAIL	900.17
robots_1_5_4_31.4	FAIL	900.17
6qbf-5cnf-40var-640cl.9	FAIL	900.18
6qbf-5cnf-80var-640cl.8	FAIL	900.18
horn_400CNF2000_2aQBF_987	FAIL	900.18
horn_400CNF2000_2aQBF_8	FAIL	900.18
renHorn_400CNF1480_2aQBF_44	FAIL	900.18
ev-pr-4x4-9-3-0-0-1-lg	FAIL	900.18
6qbf-5cnf-80var-1280cl.0	FAIL	900.18
horn_400CNF1840_2aQBF_158	FAIL	900.18
5qbf-5cnf-80var-1280cl.7	FAIL	900.18
robots_1_5_5_34.4	FAIL	900.18
6qbf-5cnf-160var-640cl.6	FAIL	900.18
3qbf-5cnf-80var-320cl.2	FAIL	900.18
robots_1_5_5_95.8	FAIL	900.19
renHorn_400CNF1720_2aQBF_92	FAIL	900.19
3qbf-5cnf-80var-320cl.9	FAIL	900.19
robots_1_5_3_20.4	FAIL	900.19
renHorn_400CNF2040_2aQBF_100	FAIL	900.19
4qbf-5cnf-40var-1280cl.0	FAIL	900.19
robots_1_5_3_100.8	FAIL	900.19
horn_400CNF1680_2aQBF_745	FAIL	900.19
3qbf-5cnf-160var-640cl.2	FAIL	900.19
robots_1_5_5_8.4	FAIL	900.19
4qbf-5cnf-40var-640cl.1	FAIL	900.2
horn_400CNF2320_2aQBF_230	FAIL	900.2
robots_1_5_2_21.4	FAIL	900.2
renHorn_400CNF1560_2aQBF_96	FAIL	900.2
k_ph_p-12	FAIL	900.2
4qbf-5cnf-40var-640cl.7	FAIL	900.2
6qbf-5cnf-80var-640cl.6	FAIL	900.2
robots_1_5_4_2.4	FAIL	900.2
ncf_8_64_8_d.2	FAIL	900.2
6qbf-5cnf-160var-1280cl.8	FAIL	900.2
horn_400CNF1840_2aQBF_980	FAIL	900.2
ev-pr-4x4-11-3-0-0-1-lg	FAIL	900.21
4qbf-5cnf-80var-2560cl.7	FAIL	900.21
robots_1_5_2_3.4	FAIL	900.21
4qbf-5cnf-40var-320cl.3	FAIL	900.21
renHorn_400CNF1640_2aQBF_42	FAIL	900.21
robots_1_5_3_2.4	FAIL	900.21
4qbf-5cnf-80var-1280cl.2	FAIL	900.21
robots_1_5_5_5.8	FAIL	900.22
4qbf-5cnf-160var-640cl.4	FAIL	900.22
robots_1_5_2_54.8	FAIL	900.22
3qbf-5cnf-160var-5120cl.2	FAIL	900.22
5qbf-5cnf-160var-2560cl.9	FAIL	900.22
3qbf-5cnf-160var-5120cl.3	FAIL	900.22
6qbf-5cnf-40var-1280cl.7	FAIL	900.22
6qbf-5cnf-160var-5120cl.8	FAIL	900.23
horn_400CNF1600_2aQBF_3	FAIL	900.23
robots_1_5_2_40.8	FAIL	900.23
4qbf-5cnf-160var-5120cl.3	FAIL	900.23
3qbf-5cnf-160var-2560cl.7	FAIL	900.23
4qbf-5cnf-80var-2560cl.1	FAIL	900.23
robots_1_5_3_78.4	FAIL	900.23
2qbf-5cnf-80var-2560cl.5	FAIL	900.23
horn_400CNF1920_2aQBF_970	FAIL	900.23
robots_1_5_5_33.8	FAIL	900.23
6qbf-5cnf-80var-1280cl.5	FAIL	900.23
horn_400CNF1680_2aQBF_29	FAIL	900.23
4qbf-5cnf-160var-2560cl.8	FAIL	900.24
4qbf-5cnf-80var-1280cl.3	FAIL	900.24
2qbf-5cnf-80var-320cl.0	FAIL	900.24
4qbf-5cnf-80var-320cl.7	FAIL	900.24
6qbf-5cnf-80var-2560cl.6	FAIL	900.24
4qbf-5cnf-80var-2560cl.6	FAIL	900.24
horn_400CNF1520_2aQBF_760	FAIL	900.24
robots_1_5_2_67.8	FAIL	900.24
horn_400CNF2000_2aQBF_456	FAIL	900.24
6qbf-5cnf-160var-1280cl.9	FAIL	900.24
s1196_d3_u	FAIL	900.24
4qbf-5cnf-80var-640cl.2	FAIL	900.24
horn_400CNF1920_2aQBF_597	FAIL	900.24
5qbf-5cnf-160var-2560cl.7	FAIL	900.24
horn_400CNF2160_2aQBF_427	FAIL	900.24
6qbf-5cnf-80var-1280cl.4	FAIL	900.24
5qbf-5cnf-80var-1280cl.8	FAIL	900.24
5qbf-5cnf-160var-5120cl.9	FAIL	900.24
uclid-pipe3b	FAIL	900.24
6qbf-5cnf-80var-1280cl.8	FAIL	900.24
robots_1_5_5_100.8	FAIL	900.25
3qbf-5cnf-160var-640cl.3	FAIL	900.25
horn_400CNF1520_2aQBF_165	FAIL	900.25
4qbf-5cnf-160var-640cl.9	FAIL	900.25
robots_1_5_2_39.4	FAIL	900.25
6qbf-5cnf-80var-640cl.1	FAIL	900.25
6qbf-5cnf-160var-5120cl.6	FAIL	900.25
robots_1_5_2_32.8	FAIL	900.25
robots_1_5_3_39.8	FAIL	900.25
robots_1_5_2_80.4	FAIL	900.25
robots_1_5_4_1.8	FAIL	900.25
6qbf-5cnf-80var-640cl.3	FAIL	900.25
robots_1_5_3_70.8	FAIL	900.25
3qbf-5cnf-80var-640cl.0	FAIL	900.25
6qbf-5cnf-40var-320cl.1	FAIL	900.25
robots_1_5_4_56.8	FAIL	900.25
horn_400CNF1520_2aQBF_405	FAIL	900.25
renHorn_400CNF1480_2aQBF_96	FAIL	900.25
k_poly_n-21	FAIL	900.25
6qbf-5cnf-160var-2560cl.5	FAIL	900.25
robots_1_5_4_100.8	FAIL	900.25
2qbf-5cnf-160var-640cl.6	FAIL	900.25
renHorn_400CNF2280_2aQBF_67	FAIL	900.26
test1_quant2	FAIL	900.26
5qbf-5cnf-40var-640cl.3	FAIL	900.26
robots_1_5_3_90.8	FAIL	900.26
5qbf-5cnf-160var-640cl.0	FAIL	900.26
6qbf-5cnf-160var-2560cl.4	FAIL	900.26
robots_1_5_5_10.8	FAIL	900.26
5qbf-5cnf-160var-1280cl.1	FAIL	900.26
5qbf-5cnf-160var-1280cl.9	FAIL	900.26
4qbf-5cnf-80var-2560cl.3	FAIL	900.26
4qbf-5cnf-160var-1280cl.5	FAIL	900.26
robots_1_5_4_87.4	FAIL	900.26
4qbf-5cnf-160var-640cl.2	FAIL	900.26
4qbf-5cnf-80var-2560cl.9	FAIL	900.26
3qbf-5cnf-80var-640cl.4	FAIL	900.26
5qbf-5cnf-40var-320cl.4	FAIL	900.26
1qbf-5cnf-160var-5120cl.9	FAIL	900.26
robots_1_5_5_66.8	FAIL	900.27
k_lin_n-12	FAIL	900.27
5qbf-5cnf-160var-5120cl.8	FAIL	900.27
robots_1_5_3_55.8	FAIL	900.27
3qbf-5cnf-160var-1280cl.4	FAIL	900.27
3qbf-5cnf-80var-1280cl.7	FAIL	900.27
2qbf-5cnf-80var-1280cl.3	FAIL	900.27
2qbf-5cnf-160var-5120cl.7	FAIL	900.27
robots_1_5_4_91.8	FAIL	900.27
horn_400CNF1920_2aQBF_704	FAIL	900.27
robots_1_5_4_24.8	FAIL	900.27
2qbf-5cnf-80var-640cl.4	FAIL	900.28
3qbf-5cnf-160var-5120cl.5	FAIL	900.28
6qbf-5cnf-40var-1280cl.6	FAIL	900.28
robots_1_5_3_64.8	FAIL	900.28
6qbf-5cnf-160var-1280cl.6	FAIL	900.28
4qbf-5cnf-80var-1280cl.0	FAIL	900.28
robots_1_5_4_30.4	FAIL	900.28
2qbf-5cnf-160var-320cl.3	FAIL	900.28
3qbf-5cnf-80var-1280cl.3	FAIL	900.28
robots_1_5_5_30.4	FAIL	900.28
6qbf-5cnf-40var-640cl.7	FAIL	900.28
4qbf-5cnf-160var-1280cl.7	FAIL	900.28
lut4_2_f1	FAIL	900.28
horn_400CNF1840_2aQBF_514	FAIL	900.28
6qbf-5cnf-80var-640cl.0	FAIL	900.28
5qbf-5cnf-160var-1280cl.5	FAIL	900.28
2qbf-5cnf-80var-640cl.3	FAIL	900.28
robots_1_5_4_17.8	FAIL	900.28
1qbf-5cnf-160var-1280cl.1	FAIL	900.28
1qbf-5cnf-160var-2560cl.7	FAIL	900.28
ncf_16_128_2_d.5	FAIL	900.29
5qbf-5cnf-160var-640cl.3	FAIL	900.29
counter_32	FAIL	900.29
3qbf-5cnf-160var-1280cl.0	FAIL	900.29
4qbf-5cnf-160var-5120cl.0	FAIL	900.29
5qbf-5cnf-160var-5120cl.3	FAIL	900.29
horn_400CNF2000_2aQBF_104	FAIL	900.29
ncf_8_64_8_edau.5	FAIL	900.29
2qbf-5cnf-80var-640cl.0	FAIL	900.29
ncf_16_128_4_edau.8	FAIL	900.29
2qbf-5cnf-80var-320cl.6	FAIL	900.29
ev-pr-8x8-15-7-0-1-2-lg	FAIL	900.29
3qbf-5cnf-40var-320cl.2	FAIL	900.29
horn_400CNF2160_2aQBF_308	FAIL	900.29
2qbf-5cnf-80var-640cl.7	FAIL	900.29
1qbf-5cnf-160var-640cl.8	FAIL	900.29
2qbf-5cnf-160var-2560cl.9	FAIL	900.3
4qbf-5cnf-80var-320cl.0	FAIL	900.3
2qbf-5cnf-160var-1280cl.1	FAIL	900.3
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	900.3
robots_1_5_3_44.8	FAIL	900.3
5qbf-5cnf-80var-1280cl.6	FAIL	900.3
robots_1_5_4_75.8	FAIL	900.3
robots_1_5_4_96.8	FAIL	900.3
robots_1_5_5_66.4	FAIL	900.3
2qbf-5cnf-160var-1280cl.7	FAIL	900.3
4qbf-5cnf-160var-1280cl.8	FAIL	900.3
2qbf-5cnf-160var-2560cl.0	FAIL	900.3
6qbf-5cnf-160var-2560cl.3	FAIL	900.3
1qbf-5cnf-160var-320cl.7	FAIL	900.3
1qbf-5cnf-160var-2560cl.3	FAIL	900.3
1qbf-5cnf-160var-1280cl.5	FAIL	900.3
robots_1_5_5_50.8	FAIL	900.31
horn_400CNF1360_2aQBF_894	FAIL	900.31
6qbf-5cnf-40var-640cl.4	FAIL	900.31
ncf_16_64_2_edau.6	FAIL	900.31
2qbf-5cnf-160var-2560cl.5	FAIL	900.31
horn_400CNF2320_2aQBF_458	FAIL	900.31
robots_1_5_3_30.2	FAIL	900.31
renHorn_400CNF1200_2aQBF_8	FAIL	900.31
test2_quant2	FAIL	900.31
3qbf-5cnf-160var-1280cl.8	FAIL	900.31
5qbf-5cnf-160var-2560cl.8	FAIL	900.31
ncf_16_64_4_edau.4	FAIL	900.31
robots_1_5_2_100.8	FAIL	900.31
5qbf-5cnf-160var-1280cl.7	FAIL	900.31
ncf_16_64_2_d.6	FAIL	900.31
robots_1_5_2_61.8	FAIL	900.31
5qbf-5cnf-160var-5120cl.4	FAIL	900.31
5qbf-5cnf-80var-2560cl.4	FAIL	900.31
4qbf-5cnf-80var-1280cl.4	FAIL	900.31
6qbf-5cnf-40var-320cl.3	FAIL	900.31
1qbf-5cnf-160var-1280cl.7	FAIL	900.31
1qbf-5cnf-160var-1280cl.3	FAIL	900.31
counter_8	FAIL	900.32
5qbf-5cnf-40var-1280cl.7	FAIL	900.32
3qbf-5cnf-40var-320cl.0	FAIL	900.32
6qbf-5cnf-160var-2560cl.1	FAIL	900.32
4qbf-5cnf-80var-640cl.3	FAIL	900.32
3qbf-5cnf-80var-1280cl.9	FAIL	900.32
5qbf-5cnf-80var-640cl.6	FAIL	900.32
k_branch_p-21	FAIL	900.32
5qbf-5cnf-80var-640cl.4	FAIL	900.32
robots_1_5_3_8.8	FAIL	900.32
2qbf-5cnf-160var-5120cl.1	FAIL	900.32
2qbf-5cnf-160var-2560cl.3	FAIL	900.32
6qbf-5cnf-40var-640cl.8	FAIL	900.32
6qbf-5cnf-80var-1280cl.7	FAIL	900.32
ncf_16_128_4_u.7	FAIL	900.32
3qbf-5cnf-80var-320cl.4	FAIL	900.32
horn_400CNF1360_2aQBF_867	FAIL	900.32
2qbf-5cnf-160var-640cl.9	FAIL	900.32
4qbf-5cnf-80var-320cl.4	FAIL	900.32
2qbf-5cnf-80var-1280cl.9	FAIL	900.32
robots_1_5_4_46.8	FAIL	900.32
5qbf-5cnf-80var-640cl.5	FAIL	900.33
3qbf-5cnf-160var-2560cl.4	FAIL	900.33
ncf_16_64_8_euad.9	FAIL	900.33
2qbf-5cnf-160var-5120cl.2	FAIL	900.33
ncf_16_128_4_edau.5	FAIL	900.33
ncf_16_128_4_edau.4	FAIL	900.33
renHorn_400CNF1960_2aQBF_68	FAIL	900.33
3qbf-5cnf-80var-2560cl.1	FAIL	900.33
5qbf-5cnf-160var-640cl.6	FAIL	900.33
5qbf-5cnf-40var-1280cl.4	FAIL	900.33
6qbf-5cnf-40var-640cl.2	FAIL	900.33
4qbf-5cnf-160var-5120cl.9	FAIL	900.33
ev-pr-8x8-17-7-0-1-2-lg	FAIL	900.33
5qbf-5cnf-40var-640cl.4	FAIL	900.33
2qbf-5cnf-80var-1280cl.1	FAIL	900.33
renHorn_400CNF1880_2aQBF_19	FAIL	900.33
robots_1_5_3_16.8	FAIL	900.33
horn_400CNF2160_2aQBF_411	FAIL	900.33
robots_1_5_2_75.8	FAIL	900.33
ncf_8_64_8_u.7	FAIL	900.33
1qbf-5cnf-160var-320cl.9	FAIL	900.33
horn_400CNF1440_2aQBF_147	FAIL	900.34
test2_quant_squaring2	FAIL	900.34
3qbf-5cnf-80var-2560cl.0	FAIL	900.34
ncf_16_128_2_d.10	FAIL	900.34
6qbf-5cnf-80var-2560cl.1	FAIL	900.34
s820_d2_s	FAIL	900.34
3qbf-5cnf-80var-320cl.0	FAIL	900.34
horn_400CNF1760_2aQBF_188	FAIL	900.34
2qbf-5cnf-160var-5120cl.9	FAIL	900.34
5qbf-5cnf-80var-2560cl.2	FAIL	900.34
6qbf-5cnf-160var-1280cl.2	FAIL	900.34
5qbf-5cnf-160var-1280cl.2	FAIL	900.34
4qbf-5cnf-160var-640cl.5	FAIL	900.34
6qbf-5cnf-80var-2560cl.7	FAIL	900.34
5qbf-5cnf-80var-1280cl.1	FAIL	900.34
ncf_8_64_8_u.6	FAIL	900.34
3qbf-5cnf-80var-640cl.8	FAIL	900.34
5qbf-5cnf-40var-320cl.3	FAIL	900.34
5qbf-5cnf-40var-1280cl.5	FAIL	900.34
horn_400CNF1520_2aQBF_702	FAIL	900.34
4qbf-5cnf-160var-5120cl.6	FAIL	900.34
1qbf-5cnf-160var-320cl.5	FAIL	900.34
1qbf-5cnf-160var-640cl.4	FAIL	900.34
1qbf-5cnf-160var-1280cl.6	FAIL	900.34
3qbf-5cnf-160var-2560cl.5	FAIL	900.35
robots_1_5_2_82.8	FAIL	900.35
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	900.35
ncf_16_128_8_edau.7	FAIL	900.35
ncf_16_128_2_u.6	FAIL	900.35
6qbf-5cnf-80var-640cl.9	FAIL	900.35
5qbf-5cnf-40var-320cl.6	FAIL	900.35
6qbf-5cnf-160var-640cl.5	FAIL	900.35
ncf_16_128_2_euad.1	FAIL	900.35
k_poly_n-12	FAIL	900.35
6qbf-5cnf-80var-1280cl.9	FAIL	900.35
ncf_8_64_8_edau.2	FAIL	900.35
3qbf-5cnf-160var-640cl.1	FAIL	900.35
2qbf-5cnf-160var-5120cl.5	FAIL	900.35
2qbf-5cnf-160var-2560cl.6	FAIL	900.36
3qbf-5cnf-80var-640cl.3	FAIL	900.36
renHorn_400CNF1800_2aQBF_53	FAIL	900.36
3qbf-5cnf-160var-2560cl.0	FAIL	900.36
6qbf-5cnf-20var-320cl.5	FAIL	900.36
2qbf-5cnf-160var-320cl.8	FAIL	900.36
ncf_16_128_8_euad.2	FAIL	900.36
4qbf-5cnf-80var-1280cl.6	FAIL	900.36
3qbf-5cnf-160var-2560cl.1	FAIL	900.36
ncf_16_128_8_d.6	FAIL	900.36
2qbf-5cnf-80var-320cl.5	FAIL	900.36
horn_400CNF1760_2aQBF_946	FAIL	900.36
4qbf-5cnf-80var-320cl.2	FAIL	900.36
ncf_16_128_2_edau.1	FAIL	900.36
4qbf-5cnf-160var-5120cl.2	FAIL	900.36
robots_1_5_5_14.8	FAIL	900.36
6qbf-5cnf-160var-5120cl.4	FAIL	900.36
5qbf-5cnf-80var-1280cl.3	FAIL	900.36
4qbf-5cnf-40var-1280cl.8	FAIL	900.36
6qbf-5cnf-40var-1280cl.9	FAIL	900.36
6qbf-5cnf-160var-640cl.0	FAIL	900.36
s510_d4_s	FAIL	900.36
5qbf-5cnf-80var-640cl.8	FAIL	900.36
ncf_16_128_8_d.9	FAIL	900.36
6qbf-5cnf-40var-1280cl.8	FAIL	900.36
3qbf-5cnf-40var-640cl.4	FAIL	900.36
1qbf-5cnf-160var-1280cl.0	FAIL	900.36
3qbf-5cnf-160var-2560cl.8	FAIL	900.37
6qbf-5cnf-80var-2560cl.5	FAIL	900.37
renHorn_400CNF1200_2aQBF_2	FAIL	900.37
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	900.37
ncf_16_128_4_edau.2	FAIL	900.37
6qbf-5cnf-40var-320cl.2	FAIL	900.37
renHorn_400CNF1280_2aQBF_7	FAIL	900.37
6qbf-5cnf-40var-320cl.4	FAIL	900.37
horn_400CNF2320_2aQBF_137	FAIL	900.37
5qbf-5cnf-80var-1280cl.5	FAIL	900.37
5qbf-5cnf-40var-320cl.9	FAIL	900.37
6qbf-5cnf-160var-2560cl.7	FAIL	900.37
5qbf-5cnf-160var-2560cl.3	FAIL	900.37
ev-pr-4x4-15-3-0-0-1-lg	FAIL	900.37
3qbf-5cnf-80var-320cl.1	FAIL	900.38
5qbf-5cnf-80var-640cl.7	FAIL	900.38
4qbf-5cnf-40var-320cl.2	FAIL	900.38
ncf_16_128_4_d.2	FAIL	900.38
3qbf-5cnf-40var-1280cl.0	FAIL	900.38
3qbf-5cnf-80var-2560cl.5	FAIL	900.38
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	900.38
2qbf-5cnf-160var-320cl.9	FAIL	900.38
4qbf-5cnf-80var-640cl.9	FAIL	900.38
horn_400CNF1760_2aQBF_886	FAIL	900.38
3qbf-5cnf-80var-1280cl.2	FAIL	900.38
robots_1_5_5_61.2	FAIL	900.38
3qbf-5cnf-80var-320cl.8	FAIL	900.38
4qbf-5cnf-80var-640cl.1	FAIL	900.38
ev-pr-6x6-17-5-0-1-2-lg	FAIL	900.39
renHorn_400CNF1200_2aQBF_85	FAIL	900.39
ncf_16_64_2_d.7	FAIL	900.39
ev-pr-4x4-15-3-0-0-1-s	FAIL	900.39
ncf_16_128_4_d.4	FAIL	900.39
lut4_2_fXOR	FAIL	900.39
4qbf-5cnf-40var-320cl.1	FAIL	900.39
6qbf-5cnf-20var-640cl.1	FAIL	900.39
ncf_16_128_4_d.3	FAIL	900.39
3qbf-5cnf-160var-640cl.8	FAIL	900.39
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	900.39
5qbf-5cnf-40var-640cl.6	FAIL	900.39
3qbf-5cnf-160var-640cl.6	FAIL	900.39
5qbf-5cnf-160var-2560cl.6	FAIL	900.39
4qbf-5cnf-160var-5120cl.8	FAIL	900.39
5qbf-5cnf-40var-1280cl.2	FAIL	900.39
4qbf-5cnf-80var-320cl.8	FAIL	900.39
6qbf-5cnf-40var-1280cl.4	FAIL	900.39
robots_1_5_2_33.2	FAIL	900.39
5qbf-5cnf-40var-320cl.7	FAIL	900.39
4qbf-5cnf-160var-1280cl.1	FAIL	900.39
ncf_16_128_2_euad.5	FAIL	900.39
renHorn_400CNF1560_2aQBF_68	FAIL	900.39
1qbf-5cnf-160var-640cl.2	FAIL	900.39
horn_400CNF1840_2aQBF_340	FAIL	900.4
mutex-64-s	FAIL	900.4
flipflop-6-c	FAIL	900.4
6qbf-5cnf-40var-1280cl.0	FAIL	900.4
6qbf-5cnf-40var-320cl.7	FAIL	900.4
3qbf-5cnf-160var-2560cl.9	FAIL	900.4
ncf_16_128_4_edau.3	FAIL	900.4
horn_400CNF1520_2aQBF_995	FAIL	900.4
2qbf-5cnf-80var-1280cl.6	FAIL	900.4
5qbf-5cnf-40var-640cl.9	FAIL	900.4
2qbf-5cnf-160var-640cl.4	FAIL	900.4
3qbf-5cnf-160var-2560cl.6	FAIL	900.4
6qbf-5cnf-160var-2560cl.9	FAIL	900.4
ncf_8_64_8_d.10	FAIL	900.4
2qbf-5cnf-160var-1280cl.5	FAIL	900.4
5qbf-5cnf-80var-2560cl.8	FAIL	900.4
4qbf-5cnf-80var-1280cl.9	FAIL	900.4
ncf_16_128_4_d.8	FAIL	900.4
1qbf-5cnf-160var-640cl.6	FAIL	900.4
1qbf-5cnf-160var-320cl.8	FAIL	900.4
1qbf-5cnf-160var-640cl.7	FAIL	900.4
ev-pr-8x8-13-7-0-1-2-lg	FAIL	900.41
ncf_16_128_2_u.3	FAIL	900.41
ncf_16_64_2_u.2	FAIL	900.41
5qbf-5cnf-80var-1280cl.0	FAIL	900.41
ncf_16_64_4_edau.6	FAIL	900.41
6qbf-5cnf-40var-640cl.1	FAIL	900.41
3qbf-5cnf-80var-640cl.2	FAIL	900.41
ncf_16_128_8_d.7	FAIL	900.41
ncf_16_128_8_edau.10	FAIL	900.41
4qbf-5cnf-80var-2560cl.2	FAIL	900.41
ncf_16_128_8_d.1	FAIL	900.41
2qbf-5cnf-160var-5120cl.8	FAIL	900.41
1qbf-5cnf-160var-320cl.3	FAIL	900.41
ncf_8_64_8_u.5	FAIL	900.42
uclid-pipe3a	FAIL	900.42
ncf_16_128_8_d.8	FAIL	900.42
ncf_16_128_8_edau.3	FAIL	900.42
horn_400CNF2160_2aQBF_92	FAIL	900.42
ncf_8_64_8_euad.6	FAIL	900.42
ncf_8_64_8_edau.6	FAIL	900.42
6qbf-5cnf-40var-640cl.6	FAIL	900.42
ncf_8_64_8_edau.3	FAIL	900.42
ncf_16_128_4_d.6	FAIL	900.42
4qbf-5cnf-160var-5120cl.1	FAIL	900.42
6qbf-5cnf-160var-5120cl.3	FAIL	900.42
3qbf-5cnf-160var-5120cl.4	FAIL	900.42
ncf_16_128_4_euad.7	FAIL	900.42
2qbf-5cnf-80var-640cl.1	FAIL	900.42
ncf_8_64_4_u.3	FAIL	900.42
ncf_8_64_2_d.9	FAIL	900.42
2qbf-5cnf-80var-320cl.1	FAIL	900.43
ncf_16_128_8_u.2	FAIL	900.43
k_branch_p-16	FAIL	900.43
4qbf-5cnf-40var-640cl.9	FAIL	900.43
renHorn_400CNF1280_2aQBF_3	FAIL	900.43
BLOCKS4ii.7.2	FAIL	900.43
6qbf-5cnf-20var-320cl.7	FAIL	900.43
ncf_16_128_2_d.3	FAIL	900.43
2qbf-5cnf-160var-1280cl.8	FAIL	900.43
6qbf-5cnf-160var-2560cl.2	FAIL	900.43
horn_400CNF1840_2aQBF_215	FAIL	900.43
ncf_16_128_8_edau.2	FAIL	900.43
6qbf-5cnf-40var-1280cl.1	FAIL	900.43
4qbf-5cnf-160var-1280cl.3	FAIL	900.43
5qbf-5cnf-40var-1280cl.8	FAIL	900.43
3qbf-5cnf-160var-1280cl.5	FAIL	900.43
5qbf-5cnf-160var-5120cl.2	FAIL	900.43
ncf_16_128_2_u.9	FAIL	900.43
3qbf-5cnf-160var-640cl.9	FAIL	900.43
ncf_16_128_4_euad.8	FAIL	900.43
6qbf-5cnf-160var-2560cl.0	FAIL	900.43
robots_1_5_3_80.2	FAIL	900.43
ncf_8_64_8_u.1	FAIL	900.43
3qbf-5cnf-80var-320cl.5	FAIL	900.43
1qbf-5cnf-160var-2560cl.2	FAIL	900.43
5qbf-5cnf-80var-640cl.0	FAIL	900.44
ncf_8_64_8_edau.8	FAIL	900.44
ncf_16_128_2_euad.9	FAIL	900.44
horn_400CNF1600_2aQBF_73	FAIL	900.44
Adder2-12-c	FAIL	900.44
5qbf-5cnf-40var-1280cl.6	FAIL	900.44
test2_quant3	FAIL	900.44
ncf_16_128_2_euad.3	FAIL	900.44
3qbf-5cnf-160var-5120cl.6	FAIL	900.44
ncf_8_64_2_euad.2	FAIL	900.44
ncf_8_64_4_d.8	FAIL	900.44
ncf_16_128_8_edau.5	FAIL	900.44
ncf_16_64_8_u.6	FAIL	900.44
5qbf-5cnf-160var-1280cl.6	FAIL	900.44
2qbf-5cnf-160var-5120cl.0	FAIL	900.44
ncf_16_128_2_edau.10	FAIL	900.44
horn_400CNF2160_2aQBF_660	FAIL	900.44
ncf_8_64_8_d.6	FAIL	900.44
3qbf-5cnf-40var-320cl.9	FAIL	900.44
ncf_16_64_8_d.4	FAIL	900.45
5qbf-5cnf-40var-320cl.1	FAIL	900.45
ncf_16_128_8_edau.1	FAIL	900.45
connect_5x4_3_W	FAIL	900.45
ncf_16_64_4_d.1	FAIL	900.45
4qbf-5cnf-160var-2560cl.1	FAIL	900.45
robots_1_5_2_10.2	FAIL	900.45
ncf_16_128_8_d.10	FAIL	900.45
ncf_8_64_2_u.4	FAIL	900.45
ncf_16_64_8_u.2	FAIL	900.45
4qbf-5cnf-80var-640cl.7	FAIL	900.45
ncf_16_128_4_euad.4	FAIL	900.45
6qbf-5cnf-20var-320cl.4	FAIL	900.45
4qbf-5cnf-160var-640cl.1	FAIL	900.45
3qbf-5cnf-80var-2560cl.8	FAIL	900.45
2qbf-5cnf-80var-640cl.9	FAIL	900.45
ncf_16_128_8_edau.8	FAIL	900.45
ncf_16_64_8_edau.2	FAIL	900.45
6qbf-5cnf-80var-2560cl.8	FAIL	900.46
s713_d2_s	FAIL	900.46
3qbf-5cnf-80var-1280cl.5	FAIL	900.46
ev-pr-8x8-19-7-0-1-2-lg	FAIL	900.46
ncf_16_64_8_euad.10	FAIL	900.46
4qbf-5cnf-40var-640cl.4	FAIL	900.46
ncf_16_128_8_u.8	FAIL	900.46
2qbf-5cnf-160var-2560cl.4	FAIL	900.46
ncf_16_64_2_euad.8	FAIL	900.46
ncf_16_64_2_u.6	FAIL	900.46
ncf_16_128_4_edau.6	FAIL	900.46
ncf_16_128_4_d.7	FAIL	900.46
ncf_8_64_8_euad.1	FAIL	900.46
ncf_8_64_8_edau.7	FAIL	900.46
ncf_8_64_8_u.8	FAIL	900.46
5qbf-5cnf-80var-640cl.2	FAIL	900.46
ncf_16_128_8_edau.9	FAIL	900.46
ncf_16_128_2_edau.5	FAIL	900.46
ncf_16_64_8_d.1	FAIL	900.46
1qbf-5cnf-160var-5120cl.4	FAIL	900.46
ncf_16_128_8_d.3	FAIL	900.47
6qbf-5cnf-20var-640cl.7	FAIL	900.47
4qbf-5cnf-80var-320cl.5	FAIL	900.47
ncf_8_64_2_u.8	FAIL	900.47
ncf_16_64_2_euad.4	FAIL	900.47
ev-pr-4x4-13-3-0-0-1-s	FAIL	900.47
4qbf-5cnf-20var-320cl.1	FAIL	900.47
ncf_8_64_2_u.6	FAIL	900.47
ncf_16_128_8_euad.1	FAIL	900.47
robots_1_5_3_62.2	FAIL	900.47
2qbf-5cnf-80var-2560cl.0	FAIL	900.47
4qbf-5cnf-160var-5120cl.5	FAIL	900.47
6qbf-5cnf-80var-2560cl.3	FAIL	900.47
5qbf-5cnf-80var-640cl.1	FAIL	900.47
ncf_16_64_4_edau.1	FAIL	900.47
ncf_8_64_4_edau.9	FAIL	900.47
robots_1_5_5_38.2	FAIL	900.47
4qbf-5cnf-40var-320cl.9	FAIL	900.47
connect_7x6_6_W	FAIL	900.47
6qbf-5cnf-40var-320cl.9	FAIL	900.48
4qbf-5cnf-160var-2560cl.0	FAIL	900.48
2qbf-5cnf-80var-640cl.6	FAIL	900.48
2qbf-5cnf-80var-2560cl.4	FAIL	900.48
2qbf-5cnf-80var-1280cl.7	FAIL	900.48
2qbf-5cnf-40var-640cl.9	FAIL	900.48
ev-pr-4x4-11-3-0-0-1-s	FAIL	900.48
ncf_16_128_2_edau.6	FAIL	900.48
ncf_16_64_2_euad.6	FAIL	900.48
ncf_16_128_8_euad.6	FAIL	900.48
ncf_16_128_4_d.9	FAIL	900.48
ncf_16_64_2_d.2	FAIL	900.48
ncf_16_64_2_u.3	FAIL	900.48
ncf_16_128_4_d.1	FAIL	900.48
2qbf-5cnf-160var-2560cl.8	FAIL	900.49
ncf_16_64_2_euad.2	FAIL	900.49
2qbf-5cnf-160var-640cl.2	FAIL	900.49
3qbf-5cnf-160var-1280cl.1	FAIL	900.49
ncf_8_64_8_u.2	FAIL	900.49
ncf_16_64_2_edau.7	FAIL	900.49
ev-pr-4x4-17-3-0-0-1-s	FAIL	900.49
ncf_16_128_8_u.5	FAIL	900.49
3qbf-5cnf-80var-2560cl.7	FAIL	900.49
3qbf-5cnf-40var-640cl.3	FAIL	900.49
2qbf-5cnf-80var-1280cl.0	FAIL	900.49
ncf_16_128_8_u.6	FAIL	900.49
ncf_16_64_2_u.4	FAIL	900.49
robots_1_5_4_73.2	FAIL	900.49
ncf_8_64_4_d.4	FAIL	900.49
5qbf-5cnf-20var-320cl.6	FAIL	900.49
lognBWLARGEB1	FAIL	900.49
3qbf-5cnf-160var-1280cl.2	FAIL	900.49
ncf_16_128_2_edau.3	FAIL	900.49
ncf_8_64_2_u.7	FAIL	900.49
6qbf-5cnf-80var-1280cl.2	FAIL	900.49
3qbf-5cnf-20var-640cl.5	FAIL	900.49
ncf_8_64_8_d.1	FAIL	900.49
ncf_16_128_4_euad.3	FAIL	900.49
2qbf-5cnf-80var-2560cl.6	FAIL	900.49
ncf_16_64_2_u.7	FAIL	900.5
5qbf-5cnf-160var-640cl.8	FAIL	900.5
ncf_16_128_4_u.3	FAIL	900.5
ncf_16_128_4_u.9	FAIL	900.5
3qbf-5cnf-40var-320cl.1	FAIL	900.5
ncf_8_64_4_euad.7	FAIL	900.5
5qbf-5cnf-80var-2560cl.3	FAIL	900.5
3qbf-5cnf-80var-640cl.6	FAIL	900.5
ncf_16_128_2_u.1	FAIL	900.5
ncf_16_64_2_d.4	FAIL	900.5
ncf_16_128_8_euad.5	FAIL	900.5
ncf_16_128_2_euad.10	FAIL	900.5
2qbf-5cnf-80var-320cl.2	FAIL	900.5
ncf_16_128_4_u.4	FAIL	900.5
ncf_16_64_2_edau.10	FAIL	900.5
ncf_16_128_4_u.6	FAIL	900.5
4qbf-5cnf-160var-2560cl.6	FAIL	900.5
4qbf-5cnf-80var-320cl.3	FAIL	900.5
6qbf-5cnf-160var-640cl.1	FAIL	900.5
k_poly_p-21	FAIL	900.5
ncf_16_128_2_edau.9	FAIL	900.5
ncf_16_64_8_euad.1	FAIL	900.5
6qbf-5cnf-160var-5120cl.5	FAIL	900.5
ncf_4_32_2_d.9	FAIL	900.5
2qbf-5cnf-80var-1280cl.8	FAIL	900.5
4qbf-5cnf-80var-1280cl.8	FAIL	900.5
1qbf-5cnf-160var-5120cl.2	FAIL	900.5
1qbf-5cnf-160var-5120cl.7	FAIL	900.5
2qbf-5cnf-160var-5120cl.3	FAIL	900.51
ncf_16_64_2_edau.3	FAIL	900.51
ncf_8_32_4_d.4	FAIL	900.51
2qbf-5cnf-160var-1280cl.3	FAIL	900.51
ncf_16_64_4_euad.4	FAIL	900.51
ncf_8_64_4_u.2	FAIL	900.51
ncf_8_64_8_u.9	FAIL	900.51
ncf_16_64_2_d.8	FAIL	900.51
3qbf-5cnf-80var-640cl.9	FAIL	900.51
ncf_16_128_4_euad.6	FAIL	900.51
ncf_16_128_8_euad.3	FAIL	900.51
ncf_16_64_2_euad.5	FAIL	900.51
4qbf-5cnf-40var-1280cl.4	FAIL	900.51
ncf_16_64_4_d.4	FAIL	900.51
ncf_8_64_8_d.9	FAIL	900.51
ncf_8_64_2_euad.4	FAIL	900.51
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	900.51
ncf_16_64_8_u.1	FAIL	900.52
5qbf-5cnf-40var-640cl.2	FAIL	900.52
4qbf-5cnf-40var-160cl.7	FAIL	900.52
ncf_16_64_4_u.4	FAIL	900.52
robots_1_5_2_28.2	FAIL	900.52
ncf_16_128_8_d.2	FAIL	900.52
ncf_8_64_8_edau.1	FAIL	900.52
robots_1_5_2_85.2	FAIL	900.52
ncf_16_64_2_edau.8	FAIL	900.52
5qbf-5cnf-40var-1280cl.3	FAIL	900.52
ncf_8_64_4_euad.4	FAIL	900.52
ncf_8_64_2_edau.4	FAIL	900.52
6qbf-5cnf-20var-640cl.2	FAIL	900.52
ncf_16_64_2_u.9	FAIL	900.52
ev-pr-4x4-17-3-0-0-1-lg	FAIL	900.52
k_branch_n-21	FAIL	900.52
ncf_16_128_4_u.5	FAIL	900.52
3qbf-5cnf-40var-640cl.1	FAIL	900.52
ncf_16_64_4_u.1	FAIL	900.52
robots_1_5_3_91.2	FAIL	900.52
5qbf-5cnf-80var-1280cl.2	FAIL	900.52
6qbf-5cnf-20var-320cl.1	FAIL	900.52
ncf_16_128_4_euad.10	FAIL	900.52
1qbf-5cnf-160var-5120cl.3	FAIL	900.52
1qbf-5cnf-160var-320cl.0	FAIL	900.52
ncf_16_128_4_edau.9	FAIL	900.53
ncf_16_64_4_d.6	FAIL	900.53
2qbf-5cnf-80var-1280cl.4	FAIL	900.53
3qbf-5cnf-40var-1280cl.8	FAIL	900.53
5qbf-5cnf-20var-640cl.8	FAIL	900.53
6qbf-5cnf-20var-320cl.0	FAIL	900.53
ncf_16_128_4_edau.10	FAIL	900.53
robots_1_5_2_100.2	FAIL	900.53
4qbf-5cnf-40var-640cl.2	FAIL	900.53
robots_1_5_3_25.2	FAIL	900.53
3qbf-5cnf-40var-320cl.5	FAIL	900.53
ncf_8_64_2_u.9	FAIL	900.53
ncf_16_64_8_euad.4	FAIL	900.53
ncf_16_64_2_euad.3	FAIL	900.53
ncf_16_128_2_u.5	FAIL	900.53
4qbf-5cnf-160var-640cl.8	FAIL	900.53
ncf_8_64_2_d.2	FAIL	900.53
3qbf-5cnf-40var-1280cl.6	FAIL	900.53
5qbf-5cnf-40var-640cl.0	FAIL	900.53
2qbf-5cnf-80var-640cl.2	FAIL	900.53
ncf_16_64_8_edau.6	FAIL	900.54
k_lin_n-16	FAIL	900.54
6qbf-5cnf-20var-640cl.5	FAIL	900.54
ncf_8_16_8_euad.3	FAIL	900.54
horn_400CNF1280_2aQBF_755	FAIL	900.54
6qbf-5cnf-20var-160cl.8	FAIL	900.54
ev-pr-4x4-13-3-0-0-1-lg	FAIL	900.54
ncf_16_128_8_edau.6	FAIL	900.54
4qbf-5cnf-40var-320cl.8	FAIL	900.54
ncf_8_64_8_euad.8	FAIL	900.54
ncf_16_128_2_d.9	FAIL	900.54
4qbf-5cnf-160var-640cl.0	FAIL	900.54
ncf_16_128_4_euad.5	FAIL	900.54
3qbf-5cnf-80var-320cl.3	FAIL	900.54
2qbf-5cnf-80var-2560cl.2	FAIL	900.54
3qbf-5cnf-80var-640cl.1	FAIL	900.54
ncf_8_64_8_d.7	FAIL	900.54
5qbf-5cnf-20var-640cl.6	FAIL	900.54
ncf_16_128_4_euad.1	FAIL	900.54
3qbf-5cnf-40var-1280cl.2	FAIL	900.54
5qbf-5cnf-40var-320cl.5	FAIL	900.54
1qbf-5cnf-160var-5120cl.0	FAIL	900.54
1qbf-5cnf-160var-320cl.2	FAIL	900.54
1qbf-5cnf-160var-320cl.6	FAIL	900.54
1qbf-5cnf-80var-1280cl.8	FAIL	900.54
4qbf-5cnf-80var-320cl.9	FAIL	900.55
ncf_16_128_2_d.1	FAIL	900.55
5qbf-5cnf-20var-320cl.9	FAIL	900.55
4qbf-5cnf-80var-1280cl.5	FAIL	900.55
4qbf-5cnf-80var-2560cl.4	FAIL	900.55
ncf_16_128_4_d.10	FAIL	900.55
4qbf-5cnf-80var-320cl.6	FAIL	900.55
5qbf-5cnf-40var-320cl.2	FAIL	900.55
4qbf-5cnf-80var-2560cl.8	FAIL	900.55
ncf_16_64_4_euad.1	FAIL	900.55
ncf_16_128_8_d.5	FAIL	900.55
ncf_16_64_2_euad.10	FAIL	900.55
6qbf-5cnf-20var-320cl.3	FAIL	900.55
ncf_8_64_4_u.8	FAIL	900.55
ncf_8_64_2_euad.8	FAIL	900.55
ncf_16_128_4_edau.7	FAIL	900.55
6qbf-5cnf-40var-1280cl.2	FAIL	900.55
ncf_16_64_4_euad.6	FAIL	900.55
5qbf-5cnf-40var-320cl.0	FAIL	900.55
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	900.55
1qbf-5cnf-160var-1280cl.9	FAIL	900.55
1qbf-5cnf-160var-640cl.9	FAIL	900.55
6qbf-5cnf-40var-320cl.6	FAIL	900.56
ncf_8_64_4_d.2	FAIL	900.56
5qbf-5cnf-40var-640cl.7	FAIL	900.56
ncf_16_64_8_u.10	FAIL	900.56
3qbf-5cnf-40var-320cl.3	FAIL	900.56
2qbf-5cnf-160var-640cl.5	FAIL	900.56
k_poly_n-20	FAIL	900.56
ncf_16_128_2_d.6	FAIL	900.56
2qbf-5cnf-160var-2560cl.2	FAIL	900.56
2qbf-5cnf-80var-640cl.8	FAIL	900.56
robots_1_5_4_32.2	FAIL	900.56
connect_8x7_6_D	FAIL	900.56
3qbf-5cnf-160var-2560cl.2	FAIL	900.56
ncf_16_128_4_edau.1	FAIL	900.56
4qbf-5cnf-40var-1280cl.5	FAIL	900.56
2qbf-5cnf-40var-640cl.5	FAIL	900.56
ncf_8_64_4_euad.10	FAIL	900.56
2qbf-5cnf-160var-5120cl.4	FAIL	900.56
connect_8x7_6_W	FAIL	900.56
ncf_16_64_2_d.10	FAIL	900.56
3qbf-5cnf-80var-1280cl.8	FAIL	900.56
3qbf-5cnf-40var-320cl.4	FAIL	900.56
3qbf-5cnf-160var-640cl.5	FAIL	900.56
BLOCKS3iii.5	FAIL	900.56
ncf_16_128_4_u.10	FAIL	900.56
1qbf-5cnf-80var-320cl.0	FAIL	900.56
1qbf-5cnf-160var-5120cl.8	FAIL	900.56
ncf_8_64_4_u.7	FAIL	900.57
ncf_8_64_8_edau.9	FAIL	900.57
ncf_8_64_4_d.7	FAIL	900.57
ncf_16_32_8_euad.4	FAIL	900.57
robots_1_5_3_52.2	FAIL	900.57
ncf_16_64_8_d.6	FAIL	900.57
ncf_8_64_2_u.2	FAIL	900.57
ncf_8_64_4_u.10	FAIL	900.57
4qbf-5cnf-20var-640cl.4	FAIL	900.57
3qbf-5cnf-160var-5120cl.9	FAIL	900.57
4qbf-5cnf-40var-1280cl.9	FAIL	900.57
k_branch_n-20	FAIL	900.57
5qbf-5cnf-160var-5120cl.7	FAIL	900.57
counter_r_16	FAIL	900.57
4qbf-5cnf-40var-1280cl.6	FAIL	900.57
ncf_16_128_4_d.5	FAIL	900.57
ncf_16_64_2_u.10	FAIL	900.57
ncf_16_64_2_u.8	FAIL	900.57
4qbf-5cnf-160var-5120cl.7	FAIL	900.57
6qbf-5cnf-20var-640cl.8	FAIL	900.57
connect_7x6_3_W	FAIL	900.57
counter_64	FAIL	900.57
robots_1_5_2_14.2	FAIL	900.57
ncf_16_64_8_edau.4	FAIL	900.57
1qbf-5cnf-80var-320cl.3	FAIL	900.57
6qbf-5cnf-40var-320cl.5	FAIL	900.58
ncf_16_64_8_edau.10	FAIL	900.58
5qbf-5cnf-160var-640cl.1	FAIL	900.58
ncf_8_64_2_euad.9	FAIL	900.58
2qbf-5cnf-20var-640cl.2	FAIL	900.58
ncf_8_64_4_edau.4	FAIL	900.58
ncf_8_64_8_euad.9	FAIL	900.58
5qbf-5cnf-20var-320cl.2	FAIL	900.58
ncf_16_128_2_euad.6	FAIL	900.58
6qbf-5cnf-160var-5120cl.7	FAIL	900.58
2qbf-5cnf-80var-2560cl.9	FAIL	900.58
2qbf-5cnf-160var-1280cl.4	FAIL	900.58
3qbf-5cnf-40var-1280cl.4	FAIL	900.58
ncf_16_64_2_u.5	FAIL	900.58
5qbf-5cnf-80var-2560cl.7	FAIL	900.58
3qbf-5cnf-160var-5120cl.0	FAIL	900.58
2qbf-5cnf-40var-1280cl.4	FAIL	900.58
ncf_8_64_2_edau.9	FAIL	900.58
6qbf-5cnf-160var-2560cl.8	FAIL	900.58
term1.blif_0.10_0.20_0_1_inp_exact	FAIL	900.58
3qbf-5cnf-40var-1280cl.9	FAIL	900.58
ncf_8_64_4_d.10	FAIL	900.58
2qbf-5cnf-80var-2560cl.8	FAIL	900.58
2qbf-5cnf-160var-640cl.7	FAIL	900.58
5qbf-5cnf-20var-640cl.9	FAIL	900.58
robots_1_5_2_47.2	FAIL	900.58
ncf_16_64_2_edau.9	FAIL	900.58
robots_1_5_2_49.2	FAIL	900.58
5qbf-5cnf-20var-640cl.4	FAIL	900.58
4qbf-5cnf-40var-1280cl.1	FAIL	900.58
1qbf-5cnf-160var-2560cl.0	FAIL	900.58
1qbf-5cnf-160var-640cl.3	FAIL	900.58
ncf_8_64_8_euad.2	FAIL	900.59
ncf_8_64_4_d.3	FAIL	900.59
ncf_8_64_4_d.9	FAIL	900.59
ncf_16_128_8_u.3	FAIL	900.59
ncf_16_64_2_euad.7	FAIL	900.59
BLOCKS4ii.6.3	FAIL	900.59
ncf_8_64_2_edau.2	FAIL	900.59
ncf_16_64_8_d.10	FAIL	900.59
4qbf-5cnf-40var-1280cl.7	FAIL	900.59
ev-pr-8x8-7-7-0-1-2-lg	FAIL	900.59
ncf_8_64_2_d.6	FAIL	900.59
4qbf-5cnf-20var-320cl.4	FAIL	900.59
ncf_8_16_8_edau.10	FAIL	900.59
ncf_8_64_4_euad.8	FAIL	900.59
connect_5x4_3_R	FAIL	900.59
6qbf-5cnf-20var-640cl.9	FAIL	900.59
3qbf-5cnf-160var-5120cl.1	FAIL	900.59
robots_1_5_5_100.2	FAIL	900.59
ncf_16_64_8_edau.1	FAIL	900.59
ncf_16_128_4_euad.9	FAIL	900.59
ncf_16_64_8_u.4	FAIL	900.59
ncf_8_64_8_d.5	FAIL	900.59
2qbf-5cnf-40var-640cl.7	FAIL	900.59
5qbf-5cnf-20var-320cl.8	FAIL	900.59
6qbf-5cnf-20var-160cl.6	FAIL	900.59
horn_400CNF2160_2aQBF_657	FAIL	900.59
2qbf-5cnf-40var-320cl.9	FAIL	900.59
ncf_16_64_2_d.5	FAIL	900.59
1qbf-5cnf-160var-5120cl.6	FAIL	900.59
1qbf-5cnf-160var-5120cl.5	FAIL	900.59
1qbf-5cnf-80var-2560cl.3	FAIL	900.59
1qbf-5cnf-80var-1280cl.1	FAIL	900.59
ncf_16_64_8_euad.6	FAIL	900.6
6qbf-5cnf-20var-320cl.9	FAIL	900.6
3qbf-5cnf-40var-640cl.5	FAIL	900.6
3qbf-5cnf-80var-2560cl.6	FAIL	900.6
3qbf-5cnf-80var-1280cl.4	FAIL	900.6
5qbf-5cnf-40var-640cl.1	FAIL	900.6
ncf_8_64_2_u.5	FAIL	900.6
ev-pr-6x6-15-5-0-1-2-lg	FAIL	900.6
ncf_8_64_4_u.4	FAIL	900.6
4qbf-5cnf-20var-320cl.2	FAIL	900.6
ncf_16_64_2_edau.4	FAIL	900.6
5qbf-5cnf-20var-640cl.0	FAIL	900.6
robots_1_5_2_31.2	FAIL	900.6
ncf_4_32_4_euad.8	FAIL	900.6
6qbf-5cnf-80var-1280cl.6	FAIL	900.6
robots_1_5_4_59.2	FAIL	900.6
robots_1_5_4_75.2	FAIL	900.6
ncf_8_64_8_d.3	FAIL	900.6
4qbf-5cnf-20var-160cl.9	FAIL	900.6
connect_6x5_5_R	FAIL	900.6
ev-pr-8x8-9-7-0-1-2-lg	FAIL	900.6
4qbf-5cnf-40var-640cl.6	FAIL	900.6
ncf_16_64_2_edau.2	FAIL	900.6
2qbf-5cnf-160var-5120cl.6	FAIL	900.6
robots_1_5_4_71.2	FAIL	900.6
1qbf-5cnf-80var-1280cl.3	FAIL	900.6
1qbf-5cnf-160var-2560cl.1	FAIL	900.6
1qbf-5cnf-160var-640cl.1	FAIL	900.6
counter_r_64	FAIL	900.61
2qbf-5cnf-40var-320cl.8	FAIL	900.61
robots_1_5_3_51.2	FAIL	900.61
3qbf-5cnf-80var-320cl.7	FAIL	900.61
ncf_8_64_8_edau.10	FAIL	900.61
4qbf-5cnf-160var-1280cl.9	FAIL	900.61
ncf_8_64_4_edau.3	FAIL	900.61
2qbf-5cnf-80var-320cl.7	FAIL	900.61
ncf_8_16_8_d.2	FAIL	900.61
connect_8x7_5_W	FAIL	900.61
ncf_8_64_4_euad.9	FAIL	900.61
2qbf-5cnf-80var-1280cl.2	FAIL	900.61
6qbf-5cnf-20var-160cl.9	FAIL	900.61
4qbf-5cnf-40var-1280cl.2	FAIL	900.61
ncf_8_16_2_u.7	FAIL	900.61
4qbf-5cnf-20var-640cl.9	FAIL	900.61
4qbf-5cnf-160var-2560cl.9	FAIL	900.61
2qbf-5cnf-40var-1280cl.1	FAIL	900.61
ncf_8_64_4_euad.6	FAIL	900.61
ev-pr-8x8-11-7-0-1-2-lg	FAIL	900.61
3qbf-5cnf-80var-2560cl.4	FAIL	900.61
4qbf-5cnf-20var-640cl.2	FAIL	900.61
ncf_8_64_2_edau.8	FAIL	900.61
5qbf-5cnf-40var-640cl.8	FAIL	900.61
3qbf-5cnf-40var-1280cl.1	FAIL	900.61
ncf_8_64_2_edau.7	FAIL	900.61
robots_1_5_4_100.2	FAIL	900.61
4qbf-5cnf-20var-320cl.5	FAIL	900.61
3qbf-5cnf-160var-1280cl.6	FAIL	900.61
1qbf-5cnf-160var-2560cl.8	FAIL	900.61
1qbf-5cnf-160var-2560cl.4	FAIL	900.61
1qbf-5cnf-80var-320cl.5	FAIL	900.61
robots_1_5_5_75.2	FAIL	900.62
5qbf-5cnf-20var-320cl.1	FAIL	900.62
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900.62
2qbf-5cnf-40var-160cl.3	FAIL	900.62
connect_7x6_4_R	FAIL	900.62
3qbf-5cnf-160var-640cl.0	FAIL	900.62
ncf_8_64_2_euad.6	FAIL	900.62
2qbf-5cnf-80var-1280cl.5	FAIL	900.62
5qbf-5cnf-20var-320cl.0	FAIL	900.62
4qbf-5cnf-20var-640cl.5	FAIL	900.62
6qbf-5cnf-20var-320cl.2	FAIL	900.62
robots_1_5_2_81.2	FAIL	900.62
4qbf-5cnf-160var-5120cl.4	FAIL	900.62
2qbf-5cnf-80var-320cl.4	FAIL	900.62
5qbf-5cnf-160var-5120cl.0	FAIL	900.62
6qbf-5cnf-20var-640cl.6	FAIL	900.62
robots_1_5_4_22.2	FAIL	900.62
ncf_16_128_4_u.1	FAIL	900.62
4qbf-5cnf-40var-640cl.3	FAIL	900.62
counter_e_64	FAIL	900.62
k_branch_p-20	FAIL	900.62
ncf_16_32_8_euad.9	FAIL	900.62
ncf_16_64_2_euad.9	FAIL	900.62
ncf_8_64_4_edau.7	FAIL	900.62
3qbf-5cnf-80var-2560cl.2	FAIL	900.62
2qbf-5cnf-160var-1280cl.6	FAIL	900.62
5qbf-5cnf-20var-320cl.4	FAIL	900.62
4qbf-5cnf-40var-640cl.8	FAIL	900.62
ncf_8_64_2_d.8	FAIL	900.62
3qbf-5cnf-80var-640cl.5	FAIL	900.62
robots_1_5_5_62.2	FAIL	900.62
3qbf-5cnf-40var-1280cl.7	FAIL	900.62
flipflop-8-c	FAIL	900.62
1qbf-5cnf-80var-640cl.6	FAIL	900.62
3qbf-5cnf-40var-1280cl.5	FAIL	900.63
6qbf-5cnf-20var-640cl.3	FAIL	900.63
4qbf-5cnf-20var-160cl.5	FAIL	900.63
ncf_4_32_2_euad.4	FAIL	900.63
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	900.63
4qbf-5cnf-20var-640cl.8	FAIL	900.63
ncf_8_64_2_d.4	FAIL	900.63
6qbf-5cnf-20var-320cl.8	FAIL	900.63
5qbf-5cnf-80var-1280cl.9	FAIL	900.63
ncf_16_128_2_edau.2	FAIL	900.63
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	900.63
4qbf-5cnf-40var-320cl.4	FAIL	900.63
3qbf-5cnf-40var-1280cl.3	FAIL	900.63
connect_8x7_7_D	FAIL	900.63
2qbf-5cnf-80var-320cl.8	FAIL	900.63
3qbf-5cnf-40var-640cl.9	FAIL	900.63
3qbf-5cnf-160var-5120cl.8	FAIL	900.63
6qbf-5cnf-80var-1280cl.3	FAIL	900.63
2qbf-5cnf-40var-640cl.6	FAIL	900.63
ncf_16_128_2_d.8	FAIL	900.63
4qbf-5cnf-20var-160cl.7	FAIL	900.63
ncf_4_32_4_euad.3	FAIL	900.63
counter_e_16	FAIL	900.63
ncf_16_64_8_d.2	FAIL	900.63
2qbf-5cnf-80var-320cl.3	FAIL	900.63
1qbf-5cnf-80var-640cl.1	FAIL	900.63
1qbf-5cnf-160var-640cl.0	FAIL	900.63
1qbf-5cnf-80var-640cl.8	FAIL	900.63
2qbf-5cnf-40var-160cl.5	FAIL	900.64
2qbf-5cnf-80var-2560cl.3	FAIL	900.64
lognBWLARGEA1	FAIL	900.64
ncf_16_64_2_d.3	FAIL	900.64
connect_8x7_7_R	FAIL	900.64
3qbf-5cnf-20var-640cl.6	FAIL	900.64
5qbf-5cnf-40var-640cl.5	FAIL	900.64
connect_8x7_7_W	FAIL	900.64
ncf_4_32_4_u.2	FAIL	900.64
5qbf-5cnf-20var-640cl.7	FAIL	900.64
BLOCKS3i.4.4	FAIL	900.64
connect_8x7_5_D	FAIL	900.64
3qbf-5cnf-40var-320cl.6	FAIL	900.64
ncf_16_64_8_edau.9	FAIL	900.64
4qbf-5cnf-40var-640cl.0	FAIL	900.64
horn_400CNF1360_2aQBF_130	FAIL	900.64
2qbf-5cnf-40var-1280cl.2	FAIL	900.64
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	900.64
ncf_16_64_4_d.10	FAIL	900.64
2qbf-5cnf-40var-640cl.3	FAIL	900.64
ncf_4_32_4_edau.1	FAIL	900.64
robots_1_5_3_100.2	FAIL	900.64
connect_7x6_5_W	FAIL	900.64
ncf_16_128_2_u.10	FAIL	900.64
3qbf-5cnf-80var-640cl.7	FAIL	900.64
2qbf-5cnf-40var-320cl.5	FAIL	900.64
1qbf-5cnf-160var-640cl.5	FAIL	900.64
1qbf-5cnf-160var-5120cl.1	FAIL	900.64
1qbf-5cnf-80var-2560cl.1	FAIL	900.64
1qbf-5cnf-80var-2560cl.6	FAIL	900.64
1qbf-5cnf-160var-2560cl.6	FAIL	900.64
1qbf-5cnf-80var-1280cl.9	FAIL	900.64
2qbf-5cnf-160var-320cl.2	FAIL	900.65
4qbf-5cnf-80var-640cl.6	FAIL	900.65
6qbf-5cnf-20var-160cl.4	FAIL	900.65
3qbf-5cnf-160var-1280cl.7	FAIL	900.65
6qbf-5cnf-20var-640cl.4	FAIL	900.65
2qbf-5cnf-40var-1280cl.6	FAIL	900.65
szymanski-10-s	FAIL	900.65
ncf_8_64_4_edau.6	FAIL	900.65
5qbf-5cnf-20var-160cl.6	FAIL	900.65
ncf_4_32_8_edau.7	FAIL	900.65
3qbf-5cnf-40var-320cl.8	FAIL	900.65
connect_5x4_4_R	FAIL	900.65
5qbf-5cnf-20var-640cl.1	FAIL	900.65
5qbf-5cnf-40var-1280cl.9	FAIL	900.65
connect_8x7_5_R	FAIL	900.65
connect_7x6_4_W	FAIL	900.65
ncf_16_64_4_u.6	FAIL	900.65
ncf_4_16_2_u.2	FAIL	900.65
2qbf-5cnf-40var-640cl.2	FAIL	900.65
ncf_4_32_8_euad.4	FAIL	900.65
robots_1_5_5_97.2	FAIL	900.65
6qbf-5cnf-40var-640cl.3	FAIL	900.65
C432.blif_0.10_1.00_0_1_inp_exact	FAIL	900.65
3qbf-5cnf-40var-640cl.0	FAIL	900.65
ncf_8_64_8_euad.7	FAIL	900.65
5qbf-5cnf-80var-2560cl.0	FAIL	900.65
1qbf-5cnf-80var-640cl.9	FAIL	900.65
1qbf-5cnf-80var-1280cl.6	FAIL	900.65
1qbf-5cnf-160var-2560cl.9	FAIL	900.65
4qbf-5cnf-20var-320cl.3	FAIL	900.66
5qbf-5cnf-40var-1280cl.0	FAIL	900.66
2qbf-5cnf-80var-2560cl.7	FAIL	900.66
3qbf-5cnf-80var-1280cl.6	FAIL	900.66
ncf_4_32_2_u.4	FAIL	900.66
ncf_16_64_8_u.9	FAIL	900.66
5qbf-5cnf-160var-5120cl.6	FAIL	900.66
ncf_4_16_8_euad.5	FAIL	900.66
ncf_16_128_2_d.2	FAIL	900.66
ncf_8_64_4_euad.3	FAIL	900.66
ncf_8_64_2_edau.5	FAIL	900.66
ncf_4_16_2_edau.9	FAIL	900.66
counter_re_8	FAIL	900.66
ncf_8_64_8_euad.5	FAIL	900.66
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	900.66
5qbf-5cnf-20var-320cl.7	FAIL	900.66
6qbf-5cnf-160var-1280cl.0	FAIL	900.66
5qbf-5cnf-20var-640cl.5	FAIL	900.66
2qbf-5cnf-80var-2560cl.1	FAIL	900.66
6qbf-5cnf-160var-5120cl.0	FAIL	900.66
2qbf-5cnf-40var-320cl.1	FAIL	900.66
k_lin_p-20	FAIL	900.66
toilet_c_10_05.7	FAIL	900.66
6qbf-5cnf-20var-160cl.1	FAIL	900.66
1qbf-5cnf-160var-1280cl.2	FAIL	900.66
1qbf-5cnf-80var-2560cl.4	FAIL	900.66
1qbf-5cnf-160var-320cl.1	FAIL	900.66
robots_1_5_5_15.2	FAIL	900.67
ncf_16_64_8_d.7	FAIL	900.67
4qbf-5cnf-40var-320cl.6	FAIL	900.67
ev-pr-6x6-19-5-0-1-2-lg	FAIL	900.67
ncf_8_16_8_d.4	FAIL	900.67
2qbf-5cnf-40var-160cl.2	FAIL	900.67
4qbf-5cnf-20var-320cl.8	FAIL	900.67
ncf_16_64_8_d.8	FAIL	900.67
2qbf-5cnf-80var-640cl.5	FAIL	900.67
ncf_16_64_8_d.5	FAIL	900.67
robots_1_5_5_31.2	FAIL	900.67
k_ph_n-16	FAIL	900.67
ncf_4_16_4_edau.8	FAIL	900.67
4qbf-5cnf-20var-320cl.0	FAIL	900.67
6qbf-5cnf-160var-640cl.4	FAIL	900.67
ncf_16_32_8_d.5	FAIL	900.67
connect_7x6_5_D	FAIL	900.67
5qbf-5cnf-20var-320cl.5	FAIL	900.67
connect_7x6_3_D	FAIL	900.67
k_branch_p-8	FAIL	900.67
connect_7x6_4_D	FAIL	900.67
2qbf-5cnf-40var-640cl.8	FAIL	900.67
2qbf-5cnf-40var-640cl.4	FAIL	900.67
4qbf-5cnf-20var-160cl.2	FAIL	900.67
1qbf-5cnf-80var-320cl.4	FAIL	900.67
1qbf-5cnf-80var-640cl.0	FAIL	900.67
1qbf-5cnf-80var-1280cl.2	FAIL	900.67
ncf_16_64_4_d.9	FAIL	900.68
connect_8x7_6_R	FAIL	900.68
ncf_8_64_4_d.6	FAIL	900.68
ncf_16_64_8_edau.8	FAIL	900.68
vonNeumann-ripple-carry-5-c	FAIL	900.68
3qbf-5cnf-40var-640cl.6	FAIL	900.68
3qbf-5cnf-20var-320cl.0	FAIL	900.68
robots_1_5_4_44.2	FAIL	900.68
robots_1_5_4_52.2	FAIL	900.68
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	900.68
2qbf-5cnf-40var-1280cl.8	FAIL	900.68
5qbf-5cnf-20var-640cl.3	FAIL	900.68
ncf_4_8_4_d.3	FAIL	900.68
3qbf-5cnf-40var-640cl.7	FAIL	900.68
4qbf-5cnf-20var-320cl.6	FAIL	900.68
2qbf-5cnf-40var-320cl.4	FAIL	900.68
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	900.68
ncf_16_128_2_edau.4	FAIL	900.68
ncf_16_128_8_d.4	FAIL	900.68
2qbf-5cnf-40var-320cl.6	FAIL	900.68
ncf_16_64_2_edau.1	FAIL	900.68
2qbf-5cnf-80var-320cl.9	FAIL	900.68
4qbf-5cnf-20var-160cl.8	FAIL	900.68
ncf_8_64_2_edau.1	FAIL	900.68
4qbf-5cnf-160var-1280cl.4	FAIL	900.68
4qbf-5cnf-160var-1280cl.2	FAIL	900.68
ncf_4_8_4_d.6	FAIL	900.68
6qbf-5cnf-160var-2560cl.6	FAIL	900.68
1qbf-5cnf-40var-640cl.4	FAIL	900.68
1qbf-5cnf-80var-640cl.7	FAIL	900.68
3qbf-5cnf-80var-1280cl.0	FAIL	900.69
counter_16	FAIL	900.69
ncf_4_16_8_u.3	FAIL	900.69
ncf_8_64_2_d.3	FAIL	900.69
adder-14-unsat	FAIL	900.69
robots_1_5_3_26.2	FAIL	900.69
ev-pr-4x4-7-3-0-0-1-s	FAIL	900.69
ncf_8_32_4_d.2	FAIL	900.69
ncf_4_32_2_edau.7	FAIL	900.69
connect_6x5_4_R	FAIL	900.69
4qbf-5cnf-40var-640cl.5	FAIL	900.69
5qbf-5cnf-80var-2560cl.1	FAIL	900.69
ncf_8_64_4_edau.1	FAIL	900.69
connect_5x4_4_D	FAIL	900.69
connect_7x6_3_R	FAIL	900.69
ncf_4_32_4_euad.7	FAIL	900.69
robots_1_5_5_24.2	FAIL	900.69
ev-pr-4x4-9-3-0-0-1-s	FAIL	900.69
2qbf-5cnf-40var-1280cl.0	FAIL	900.69
5qbf-5cnf-20var-320cl.3	FAIL	900.69
ncf_16_32_8_euad.6	FAIL	900.69
2qbf-5cnf-40var-320cl.7	FAIL	900.69
k_branch_n-16	FAIL	900.69
ncf_16_128_2_edau.8	FAIL	900.69
ncf_16_64_8_edau.7	FAIL	900.69
4qbf-5cnf-20var-320cl.7	FAIL	900.69
ncf_16_32_2_edau.7	FAIL	900.69
2qbf-5cnf-160var-1280cl.9	FAIL	900.69
2qbf-5cnf-40var-1280cl.5	FAIL	900.69
ncf_4_32_2_edau.9	FAIL	900.69
1qbf-5cnf-160var-1280cl.8	FAIL	900.69
1qbf-5cnf-80var-2560cl.7	FAIL	900.69
1qbf-5cnf-160var-2560cl.5	FAIL	900.69
3qbf-5cnf-40var-320cl.7	FAIL	900.7
robots_1_5_3_7.2	FAIL	900.7
ev-pr-6x6-9-5-0-1-2-lg	FAIL	900.7
ncf_8_32_2_edau.5	FAIL	900.7
ncf_8_32_4_u.10	FAIL	900.7
ncf_8_32_2_u.2	FAIL	900.7
ncf_16_128_2_edau.7	FAIL	900.7
C432.blif_0.10_1.00_0_1_out_exact	FAIL	900.7
2qbf-5cnf-40var-1280cl.7	FAIL	900.7
4qbf-5cnf-80var-1280cl.1	FAIL	900.7
robots_1_5_4_81.2	FAIL	900.7
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	900.7
ncf_4_32_8_d.1	FAIL	900.7
ncf_16_32_8_d.3	FAIL	900.7
ncf_8_64_4_u.9	FAIL	900.7
ncf_8_32_8_d.9	FAIL	900.7
2qbf-5cnf-40var-640cl.0	FAIL	900.7
ncf_8_64_2_d.7	FAIL	900.7
4qbf-5cnf-20var-640cl.3	FAIL	900.7
2qbf-5cnf-160var-640cl.1	FAIL	900.7
1qbf-5cnf-80var-320cl.9	FAIL	900.7
connect_6x5_3_R	FAIL	900.71
2qbf-5cnf-40var-320cl.2	FAIL	900.71
ncf_16_32_4_u.5	FAIL	900.71
5qbf-5cnf-80var-2560cl.9	FAIL	900.71
ncf_8_32_2_d.5	FAIL	900.71
ncf_8_32_8_u.1	FAIL	900.71
ncf_16_32_8_u.4	FAIL	900.71
ncf_16_64_8_d.3	FAIL	900.71
ncf_4_32_4_u.1	FAIL	900.71
ncf_4_32_8_edau.10	FAIL	900.71
ev-pr-4x4-7-3-0-0-1-lg	FAIL	900.71
ncf_4_16_2_d.9	FAIL	900.71
ncf_16_32_4_d.5	FAIL	900.71
ncf_8_32_2_euad.2	FAIL	900.71
connect_7x6_5_R	FAIL	900.71
ncf_4_32_2_edau.10	FAIL	900.71
szymanski-8-s	FAIL	900.71
ncf_4_32_2_u.9	FAIL	900.71
ncf_4_32_4_d.1	FAIL	900.71
k_ph_p-16	FAIL	900.71
ncf_16_64_4_d.2	FAIL	900.71
ncf_16_32_2_d.4	FAIL	900.71
ev-pr-8x8-5-7-0-1-2-lg	FAIL	900.71
ncf_8_64_4_edau.8	FAIL	900.71
4qbf-5cnf-40var-320cl.5	FAIL	900.71
ncf_16_32_8_u.5	FAIL	900.71
connect_5x4_3_D	FAIL	900.71
1qbf-5cnf-80var-2560cl.2	FAIL	900.71
1qbf-5cnf-80var-1280cl.0	FAIL	900.71
1qbf-5cnf-80var-640cl.4	FAIL	900.71
ncf_8_32_2_edau.9	FAIL	900.72
ncf_8_32_4_d.10	FAIL	900.72
ncf_8_64_8_d.4	FAIL	900.72
4qbf-5cnf-20var-320cl.9	FAIL	900.72
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	900.72
ncf_8_64_4_euad.2	FAIL	900.72
ncf_8_32_8_edau.2	FAIL	900.72
ncf_4_32_4_edau.7	FAIL	900.72
2qbf-5cnf-40var-320cl.0	FAIL	900.72
ncf_16_32_4_edau.4	FAIL	900.72
6qbf-5cnf-40var-320cl.8	FAIL	900.72
ncf_4_32_2_edau.4	FAIL	900.72
ncf_16_32_2_edau.3	FAIL	900.72
ncf_8_64_2_edau.3	FAIL	900.72
ncf_8_64_4_d.1	FAIL	900.72
ncf_16_128_8_u.10	FAIL	900.72
ncf_4_8_4_u.2	FAIL	900.72
ncf_4_8_2_u.10	FAIL	900.72
ncf_16_32_2_u.5	FAIL	900.73
ncf_4_32_8_edau.3	FAIL	900.73
ncf_16_128_2_u.2	FAIL	900.73
4qbf-5cnf-80var-1280cl.7	FAIL	900.73
BLOCKS4i.6.4	FAIL	900.73
k_branch_n-12	FAIL	900.73
4qbf-5cnf-40var-1280cl.3	FAIL	900.73
3qbf-5cnf-20var-640cl.2	FAIL	900.73
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	900.73
ncf_4_32_8_d.7	FAIL	900.73
ncf_8_64_4_edau.5	FAIL	900.73
6qbf-5cnf-20var-320cl.6	FAIL	900.73
ncf_16_64_4_euad.10	FAIL	900.73
3qbf-5cnf-20var-320cl.5	FAIL	900.73
ncf_16_64_8_edau.5	FAIL	900.73
ncf_8_32_2_u.5	FAIL	900.73
ncf_16_32_2_euad.9	FAIL	900.73
ncf_4_32_8_euad.1	FAIL	900.73
ev-pr-6x6-5-5-0-1-2-lg	FAIL	900.73
ncf_16_32_2_euad.1	FAIL	900.73
ncf_16_32_2_euad.5	FAIL	900.73
5qbf-5cnf-40var-1280cl.1	FAIL	900.73
4qbf-5cnf-20var-640cl.0	FAIL	900.73
ncf_4_16_4_d.2	FAIL	900.73
ncf_16_32_2_edau.1	FAIL	900.73
ncf_16_32_4_edau.9	FAIL	900.73
3qbf-5cnf-20var-640cl.1	FAIL	900.73
ncf_16_64_4_edau.10	FAIL	900.73
ncf_4_32_8_d.4	FAIL	900.73
mutex-128-s	FAIL	900.73
ncf_16_128_8_euad.9	FAIL	900.73
ncf_4_32_2_u.2	FAIL	900.73
ncf_16_32_4_euad.1	FAIL	900.73
ncf_4_8_4_edau.9	FAIL	900.73
1qbf-5cnf-80var-2560cl.0	FAIL	900.73
4qbf-5cnf-40var-320cl.0	FAIL	900.74
ev-pr-6x6-11-5-0-1-2-lg	FAIL	900.74
ncf_8_32_2_u.4	FAIL	900.74
ncf_16_128_8_euad.8	FAIL	900.74
ncf_4_32_4_d.7	FAIL	900.74
C432.blif_0.10_1.00_0_0_inp_exact	FAIL	900.74
ncf_16_64_8_euad.5	FAIL	900.74
ncf_8_32_2_d.4	FAIL	900.74
ncf_8_64_4_d.5	FAIL	900.74
ncf_8_32_4_edau.8	FAIL	900.74
ev-pr-4x4-5-3-0-0-1-s	FAIL	900.74
ncf_4_8_4_euad.1	FAIL	900.74
ncf_4_8_4_euad.7	FAIL	900.74
ev-pr-6x6-13-5-0-1-2-lg	FAIL	900.74
ncf_8_64_2_euad.7	FAIL	900.74
ncf_4_32_8_d.5	FAIL	900.74
ncf_8_32_4_edau.2	FAIL	900.74
1qbf-5cnf-80var-320cl.8	FAIL	900.74
1qbf-5cnf-40var-1280cl.4	FAIL	900.74
counter_re_32	FAIL	900.75
ncf_16_128_8_euad.7	FAIL	900.75
ncf_8_32_2_euad.3	FAIL	900.75
ncf_16_128_8_euad.10	FAIL	900.75
ncf_16_32_4_euad.2	FAIL	900.75
ncf_4_32_8_euad.3	FAIL	900.75
ncf_4_32_8_d.3	FAIL	900.75
flipflop-5-c	FAIL	900.75
ncf_4_16_8_d.3	FAIL	900.75
4qbf-5cnf-20var-160cl.6	FAIL	900.75
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	900.75
ncf_4_32_2_d.10	FAIL	900.75
3qbf-5cnf-20var-320cl.8	FAIL	900.75
ncf_4_32_8_euad.5	FAIL	900.75
ncf_8_32_2_euad.5	FAIL	900.75
4qbf-5cnf-20var-640cl.7	FAIL	900.75
3qbf-5cnf-20var-320cl.2	FAIL	900.75
ncf_16_32_4_u.10	FAIL	900.75
ncf_4_8_2_u.4	FAIL	900.75
ncf_16_32_2_u.1	FAIL	900.75
ncf_8_32_4_edau.4	FAIL	900.75
5qbf-5cnf-20var-640cl.2	FAIL	900.75
ncf_4_32_8_euad.6	FAIL	900.75
ncf_16_64_4_edau.3	FAIL	900.75
ncf_16_128_8_euad.4	FAIL	900.75
ncf_8_32_8_d.8	FAIL	900.75
counter_e_32	FAIL	900.75
k_lin_n-21	FAIL	900.75
ncf_4_32_2_euad.10	FAIL	900.75
ncf_8_32_2_d.3	FAIL	900.75
ncf_4_32_4_edau.4	FAIL	900.75
ncf_16_32_4_d.9	FAIL	900.75
ncf_4_32_2_u.5	FAIL	900.75
1qbf-5cnf-80var-320cl.6	FAIL	900.75
1qbf-5cnf-80var-640cl.5	FAIL	900.75
1qbf-5cnf-80var-320cl.1	FAIL	900.75
1qbf-5cnf-40var-320cl.2	FAIL	900.75
ncf_4_32_2_d.1	FAIL	900.76
ncf_4_8_2_u.7	FAIL	900.76
ncf_4_32_2_euad.7	FAIL	900.76
counter_re_64	FAIL	900.76
ncf_16_64_4_u.8	FAIL	900.76
ncf_16_32_8_euad.1	FAIL	900.76
ncf_16_32_2_d.1	FAIL	900.76
ncf_4_32_8_u.5	FAIL	900.76
ncf_16_32_4_euad.10	FAIL	900.76
ncf_16_32_2_d.7	FAIL	900.76
ncf_8_32_4_euad.10	FAIL	900.76
ncf_4_32_4_edau.2	FAIL	900.76
ncf_4_32_2_d.7	FAIL	900.76
ncf_16_32_4_d.1	FAIL	900.76
ncf_4_16_4_euad.4	FAIL	900.76
ncf_16_64_4_edau.9	FAIL	900.76
ncf_16_128_8_u.7	FAIL	900.76
ncf_4_32_2_euad.9	FAIL	900.76
ncf_4_32_8_edau.4	FAIL	900.76
ncf_4_32_2_u.10	FAIL	900.76
4qbf-5cnf-20var-160cl.1	FAIL	900.76
ncf_8_32_2_euad.10	FAIL	900.76
ncf_4_32_8_euad.7	FAIL	900.76
ncf_8_32_2_euad.9	FAIL	900.76
ncf_16_32_8_edau.3	FAIL	900.76
ncf_4_32_2_edau.2	FAIL	900.76
3qbf-5cnf-20var-160cl.3	FAIL	900.76
ncf_8_64_8_euad.10	FAIL	900.76
3qbf-5cnf-20var-320cl.4	FAIL	900.76
ncf_16_32_8_edau.5	FAIL	900.76
3qbf-5cnf-20var-320cl.7	FAIL	900.76
connect_6x5_3_W	FAIL	900.76
ncf_4_16_8_euad.7	FAIL	900.76
ncf_8_32_8_euad.2	FAIL	900.76
ncf_8_32_2_u.3	FAIL	900.76
1qbf-5cnf-80var-640cl.2	FAIL	900.76
1qbf-5cnf-80var-1280cl.5	FAIL	900.76
1qbf-5cnf-80var-1280cl.7	FAIL	900.76
ncf_4_16_8_u.8	FAIL	900.77
ncf_8_16_8_u.3	FAIL	900.77
ncf_16_128_8_edau.4	FAIL	900.77
ncf_4_32_8_euad.10	FAIL	900.77
ncf_16_32_2_u.10	FAIL	900.77
uclid-pipe2	FAIL	900.77
ncf_4_32_4_d.2	FAIL	900.77
ncf_8_32_4_d.7	FAIL	900.77
ncf_8_16_4_euad.7	FAIL	900.77
ncf_8_16_8_edau.5	FAIL	900.77
ncf_8_32_2_u.8	FAIL	900.77
3qbf-5cnf-20var-320cl.1	FAIL	900.77
ncf_4_32_2_d.5	FAIL	900.77
connect_6x5_5_W	FAIL	900.77
ncf_16_32_2_u.7	FAIL	900.77
ncf_16_32_4_d.6	FAIL	900.77
ncf_16_32_2_d.5	FAIL	900.77
ncf_4_16_8_euad.9	FAIL	900.77
ncf_4_32_2_d.6	FAIL	900.77
ncf_16_32_8_u.8	FAIL	900.77
2qbf-5cnf-40var-1280cl.9	FAIL	900.77
ncf_4_32_8_u.4	FAIL	900.77
ncf_16_32_2_u.3	FAIL	900.77
ncf_16_32_8_d.4	FAIL	900.77
6qbf-5cnf-20var-160cl.3	FAIL	900.77
5qbf-5cnf-160var-640cl.5	FAIL	900.77
ncf_8_16_4_edau.3	FAIL	900.77
1qbf-5cnf-80var-2560cl.8	FAIL	900.77
ncf_4_32_2_d.4	FAIL	900.78
ncf_4_32_2_u.7	FAIL	900.78
ncf_16_32_8_edau.8	FAIL	900.78
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	900.78
ncf_4_8_2_euad.9	FAIL	900.78
ncf_16_128_2_d.4	FAIL	900.78
ncf_8_32_4_euad.4	FAIL	900.78
ncf_16_32_2_edau.5	FAIL	900.78
ncf_4_16_8_d.7	FAIL	900.78
ncf_4_8_2_euad.1	FAIL	900.78
ncf_4_16_4_edau.2	FAIL	900.78
k_lin_n-20	FAIL	900.78
ncf_8_32_2_edau.2	FAIL	900.78
4qbf-5cnf-20var-640cl.6	FAIL	900.78
ncf_4_32_4_euad.1	FAIL	900.78
ncf_8_32_2_edau.10	FAIL	900.78
ncf_16_32_8_d.8	FAIL	900.78
ncf_8_32_2_euad.7	FAIL	900.78
ncf_8_32_4_euad.7	FAIL	900.78
3qbf-5cnf-20var-640cl.7	FAIL	900.78
ncf_16_32_4_edau.10	FAIL	900.78
ncf_4_32_2_u.1	FAIL	900.78
ncf_8_32_2_edau.8	FAIL	900.78
ncf_4_8_4_edau.4	FAIL	900.78
ncf_16_32_2_euad.7	FAIL	900.78
connect_6x5_4_W	FAIL	900.78
ncf_16_32_4_edau.5	FAIL	900.78
ncf_16_32_8_u.6	FAIL	900.78
ncf_16_32_4_u.1	FAIL	900.78
ncf_4_8_2_euad.5	FAIL	900.78
ncf_16_128_8_u.4	FAIL	900.78
ncf_16_32_2_u.4	FAIL	900.78
ncf_16_128_2_euad.2	FAIL	900.78
2qbf-5cnf-40var-320cl.3	FAIL	900.78
ncf_8_32_8_u.3	FAIL	900.78
3qbf-5cnf-20var-640cl.0	FAIL	900.78
ncf_16_32_4_d.10	FAIL	900.78
ncf_4_16_8_edau.8	FAIL	900.79
ncf_4_32_2_euad.6	FAIL	900.79
ncf_8_64_8_u.10	FAIL	900.79
ncf_4_16_8_euad.8	FAIL	900.79
ncf_4_16_8_u.7	FAIL	900.79
ncf_4_8_8_edau.5	FAIL	900.79
ncf_8_64_4_u.5	FAIL	900.79
ncf_8_16_2_edau.4	FAIL	900.79
ncf_16_32_8_euad.5	FAIL	900.79
ncf_8_16_8_edau.3	FAIL	900.79
ncf_16_32_4_euad.9	FAIL	900.79
ncf_16_32_4_u.9	FAIL	900.79
2qbf-5cnf-20var-320cl.3	FAIL	900.79
ncf_16_32_2_edau.9	FAIL	900.79
ncf_8_16_8_euad.8	FAIL	900.79
3qbf-5cnf-160var-1280cl.3	FAIL	900.79
ncf_8_16_2_edau.2	FAIL	900.79
ncf_4_32_4_u.8	FAIL	900.79
ncf_4_16_4_edau.5	FAIL	900.79
flipflop-7-c	FAIL	900.79
ncf_4_16_8_euad.4	FAIL	900.79
ncf_16_32_8_u.3	FAIL	900.79
ncf_4_32_8_d.10	FAIL	900.79
3qbf-5cnf-20var-320cl.3	FAIL	900.79
k_ph_p-8	FAIL	900.79
ncf_16_128_8_u.9	FAIL	900.79
ncf_4_32_4_edau.8	FAIL	900.79
ncf_16_32_2_d.3	FAIL	900.79
ncf_8_32_2_d.10	FAIL	900.79
ncf_8_64_4_u.1	FAIL	900.79
ncf_16_32_2_d.8	FAIL	900.79
ncf_8_32_2_d.9	FAIL	900.79
ncf_4_32_4_euad.2	FAIL	900.79
connect_7x6_6_R	FAIL	900.79
ncf_4_16_8_d.1	FAIL	900.79
ncf_4_8_2_euad.10	FAIL	900.79
ncf_16_64_4_edau.2	FAIL	900.79
ncf_4_32_4_d.8	FAIL	900.79
3qbf-5cnf-20var-640cl.4	FAIL	900.79
1qbf-5cnf-80var-2560cl.5	FAIL	900.79
ncf_4_16_4_d.9	FAIL	900.8
ncf_8_32_2_edau.7	FAIL	900.8
counter_r_32	FAIL	900.8
ncf_16_64_8_u.8	FAIL	900.8
ncf_16_128_2_u.8	FAIL	900.8
test2_quant_squaring3	FAIL	900.8
ncf_4_32_8_u.3	FAIL	900.8
ncf_16_32_8_euad.8	FAIL	900.8
ncf_16_64_4_euad.7	FAIL	900.8
ncf_4_16_2_edau.2	FAIL	900.8
ncf_8_32_2_edau.6	FAIL	900.8
ncf_4_16_2_u.5	FAIL	900.8
ncf_16_32_4_u.8	FAIL	900.8
ev-pr-6x6-7-5-0-1-2-lg	FAIL	900.8
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	900.8
2qbf-5cnf-20var-640cl.4	FAIL	900.8
ncf_4_8_2_u.8	FAIL	900.8
ncf_8_16_2_euad.5	FAIL	900.8
toilet_c_10_05.4	FAIL	900.8
ncf_16_128_2_u.7	FAIL	900.8
ncf_16_32_2_d.9	FAIL	900.8
ncf_16_128_2_euad.8	FAIL	900.8
2qbf-5cnf-20var-320cl.7	FAIL	900.8
ncf_16_32_8_d.6	FAIL	900.8
ncf_4_32_8_edau.5	FAIL	900.8
ncf_4_32_2_euad.1	FAIL	900.8
ncf_16_32_2_d.2	FAIL	900.8
ncf_4_32_4_euad.4	FAIL	900.8
1qbf-5cnf-80var-640cl.3	FAIL	900.8
ncf_8_16_4_d.1	FAIL	900.81
2qbf-5cnf-40var-640cl.1	FAIL	900.81
ncf_4_16_8_d.5	FAIL	900.81
ncf_4_32_2_euad.2	FAIL	900.81
ncf_8_64_8_euad.4	FAIL	900.81
ncf_16_64_4_euad.5	FAIL	900.81
ncf_16_64_8_u.7	FAIL	900.81
ncf_4_32_2_edau.1	FAIL	900.81
ncf_16_32_8_euad.7	FAIL	900.81
ncf_8_32_2_u.9	FAIL	900.81
ncf_8_32_2_d.1	FAIL	900.81
ncf_4_32_4_euad.6	FAIL	900.81
4qbf-5cnf-20var-640cl.1	FAIL	900.81
ncf_8_32_8_d.3	FAIL	900.81
ncf_4_16_4_d.1	FAIL	900.81
ncf_16_32_4_d.8	FAIL	900.81
ncf_4_16_8_edau.3	FAIL	900.81
ncf_8_32_8_euad.1	FAIL	900.81
ncf_8_16_2_d.10	FAIL	900.81
ncf_4_32_2_u.6	FAIL	900.81
ncf_8_32_2_d.6	FAIL	900.81
ncf_16_64_4_euad.2	FAIL	900.81
ncf_8_16_8_edau.8	FAIL	900.81
2qbf-5cnf-20var-320cl.9	FAIL	900.81
ncf_8_16_8_edau.2	FAIL	900.81
ncf_8_16_2_euad.2	FAIL	900.81
ncf_4_16_8_euad.10	FAIL	900.81
ncf_8_64_4_u.6	FAIL	900.81
ncf_8_32_2_u.10	FAIL	900.81
ncf_16_128_2_d.7	FAIL	900.81
3qbf-5cnf-20var-640cl.8	FAIL	900.81
connect_7x6_6_D	FAIL	900.81
1qbf-5cnf-80var-1280cl.4	FAIL	900.81
1qbf-5cnf-80var-320cl.2	FAIL	900.81
1qbf-5cnf-80var-2560cl.9	FAIL	900.81
1qbf-5cnf-40var-1280cl.3	FAIL	900.81
ncf_4_8_2_euad.8	FAIL	900.82
ncf_16_32_2_d.10	FAIL	900.82
ncf_16_32_4_u.7	FAIL	900.82
BLOCKS3i.5.4	FAIL	900.82
ncf_8_16_4_edau.2	FAIL	900.82
C880.blif_0.10_1.00_0_0_out_exact	FAIL	900.82
ncf_16_32_8_edau.4	FAIL	900.82
ncf_16_32_2_edau.4	FAIL	900.82
2qbf-5cnf-20var-320cl.4	FAIL	900.82
ncf_8_16_2_edau.10	FAIL	900.82
ncf_8_64_4_edau.2	FAIL	900.82
ncf_4_8_8_d.5	FAIL	900.82
ncf_4_32_2_euad.5	FAIL	900.82
ncf_16_32_8_euad.3	FAIL	900.82
ncf_8_32_2_d.8	FAIL	900.82
ncf_16_128_2_u.4	FAIL	900.82
ncf_4_32_4_d.4	FAIL	900.82
ncf_16_32_2_euad.10	FAIL	900.82
ncf_4_32_4_u.7	FAIL	900.82
ncf_16_32_2_euad.4	FAIL	900.82
ncf_16_128_4_euad.2	FAIL	900.82
ncf_8_32_8_u.8	FAIL	900.82
ncf_4_16_8_u.9	FAIL	900.82
k_ph_n-8	FAIL	900.82
ncf_8_64_8_u.3	FAIL	900.82
ncf_8_16_4_d.6	FAIL	900.82
ncf_16_128_4_u.2	FAIL	900.82
ncf_8_16_8_u.7	FAIL	900.82
ncf_8_32_8_d.1	FAIL	900.82
ncf_8_32_2_d.2	FAIL	900.82
ncf_4_16_4_edau.3	FAIL	900.82
ncf_8_64_8_edau.4	FAIL	900.82
ncf_8_32_4_u.7	FAIL	900.82
ncf_4_16_4_d.4	FAIL	900.82
1qbf-5cnf-40var-320cl.6	FAIL	900.82
1qbf-5cnf-40var-1280cl.0	FAIL	900.82
1qbf-5cnf-40var-320cl.5	FAIL	900.82
1qbf-5cnf-40var-1280cl.1	FAIL	900.82
ncf_4_32_8_euad.8	FAIL	900.83
ncf_16_128_2_euad.7	FAIL	900.83
ncf_4_32_2_edau.5	FAIL	900.83
ncf_16_64_8_euad.3	FAIL	900.83
ncf_4_16_2_d.2	FAIL	900.83
ncf_4_16_8_edau.5	FAIL	900.83
ncf_16_64_4_u.7	FAIL	900.83
ncf_4_16_8_d.6	FAIL	900.83
ncf_8_16_8_edau.9	FAIL	900.83
ncf_4_16_8_u.4	FAIL	900.83
ncf_8_32_4_edau.10	FAIL	900.83
ncf_16_32_2_u.9	FAIL	900.83
ncf_4_8_2_euad.6	FAIL	900.83
3qbf-5cnf-20var-160cl.0	FAIL	900.83
ncf_4_16_4_euad.6	FAIL	900.83
ncf_16_64_2_d.9	FAIL	900.83
ncf_4_32_2_u.3	FAIL	900.83
BLOCKS4iii.7	FAIL	900.83
ncf_4_8_4_edau.5	FAIL	900.83
ncf_16_32_8_u.10	FAIL	900.83
connect_5x4_4_W	FAIL	900.83
ncf_4_32_8_u.1	FAIL	900.83
ncf_4_16_8_u.10	FAIL	900.83
ncf_4_32_8_edau.9	FAIL	900.83
ncf_16_32_4_euad.6	FAIL	900.83
ncf_16_32_4_u.6	FAIL	900.83
toilet_c_10_05.12	FAIL	900.83
ncf_8_32_2_edau.3	FAIL	900.83
ncf_8_32_4_edau.7	FAIL	900.83
ncf_4_16_8_euad.1	FAIL	900.83
ncf_8_16_8_euad.6	FAIL	900.83
ncf_8_16_8_euad.7	FAIL	900.83
ncf_4_16_4_euad.1	FAIL	900.83
ncf_4_16_8_edau.1	FAIL	900.83
ncf_8_32_8_euad.8	FAIL	900.83
ncf_4_16_4_edau.4	FAIL	900.83
ncf_4_8_4_d.1	FAIL	900.83
ncf_4_16_4_d.10	FAIL	900.83
ncf_8_64_2_edau.10	FAIL	900.83
ncf_8_16_8_u.9	FAIL	900.83
ncf_16_64_8_euad.2	FAIL	900.83
ncf_16_64_8_u.5	FAIL	900.83
ncf_4_16_8_d.2	FAIL	900.83
ncf_8_64_4_euad.5	FAIL	900.83
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	900.83
1qbf-5cnf-80var-320cl.7	FAIL	900.83
1qbf-5cnf-40var-1280cl.9	FAIL	900.83
ncf_16_32_4_edau.1	FAIL	900.84
ncf_8_16_4_euad.3	FAIL	900.84
3qbf-5cnf-20var-320cl.9	FAIL	900.84
ncf_8_16_4_euad.1	FAIL	900.84
ncf_16_64_4_d.3	FAIL	900.84
ncf_16_64_2_u.1	FAIL	900.84
BLOCKS3ii.5.2	FAIL	900.84
ncf_8_16_8_u.2	FAIL	900.84
ncf_8_16_8_u.4	FAIL	900.84
ncf_4_16_8_d.9	FAIL	900.84
ncf_4_32_8_u.2	FAIL	900.84
ncf_16_64_8_euad.8	FAIL	900.84
ncf_8_64_8_u.4	FAIL	900.84
ncf_4_32_2_edau.6	FAIL	900.84
ncf_16_32_8_euad.2	FAIL	900.84
3qbf-5cnf-20var-320cl.6	FAIL	900.84
ncf_4_8_8_euad.4	FAIL	900.84
ncf_4_16_4_u.1	FAIL	900.84
ncf_8_64_2_euad.10	FAIL	900.84
ncf_8_16_8_d.10	FAIL	900.84
ncf_8_16_8_d.9	FAIL	900.84
ncf_4_16_4_d.3	FAIL	900.84
ncf_16_32_4_euad.7	FAIL	900.84
ncf_16_64_4_u.5	FAIL	900.84
ncf_8_64_4_euad.1	FAIL	900.84
ncf_8_16_8_euad.5	FAIL	900.84
ncf_8_16_8_d.3	FAIL	900.84
ncf_16_32_4_euad.8	FAIL	900.84
3qbf-5cnf-20var-160cl.2	FAIL	900.84
ncf_16_64_4_u.9	FAIL	900.84
ncf_4_16_4_edau.1	FAIL	900.84
ncf_8_16_8_d.7	FAIL	900.84
ncf_8_16_8_euad.2	FAIL	900.84
ncf_8_16_8_d.1	FAIL	900.84
ncf_16_64_4_euad.3	FAIL	900.84
1qbf-5cnf-40var-640cl.1	FAIL	900.84
1qbf-5cnf-40var-640cl.3	FAIL	900.84
1qbf-5cnf-40var-640cl.7	FAIL	900.84
ncf_4_16_8_edau.9	FAIL	900.85
ncf_16_64_8_u.3	FAIL	900.85
ncf_4_32_8_edau.8	FAIL	900.85
ncf_4_32_4_u.5	FAIL	900.85
ncf_8_32_2_euad.8	FAIL	900.85
ncf_4_16_4_edau.10	FAIL	900.85
ncf_8_32_4_d.5	FAIL	900.85
ncf_4_16_8_euad.3	FAIL	900.85
ncf_4_16_2_d.10	FAIL	900.85
ncf_4_8_4_d.7	FAIL	900.85
ncf_8_16_2_edau.3	FAIL	900.85
ncf_4_32_2_d.2	FAIL	900.85
ncf_4_16_2_u.3	FAIL	900.85
ncf_16_64_4_euad.9	FAIL	900.85
ncf_8_16_2_d.2	FAIL	900.85
ncf_8_16_8_u.8	FAIL	900.85
ncf_8_16_4_d.3	FAIL	900.85
ncf_4_16_4_d.6	FAIL	900.85
ncf_8_32_4_euad.3	FAIL	900.85
2qbf-5cnf-20var-640cl.7	FAIL	900.85
2qbf-5cnf-20var-640cl.5	FAIL	900.85
ncf_4_16_2_u.8	FAIL	900.85
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	900.85
ncf_8_16_2_euad.3	FAIL	900.85
ncf_8_64_2_u.3	FAIL	900.85
ncf_8_16_8_d.8	FAIL	900.85
ncf_8_32_8_euad.4	FAIL	900.85
ncf_4_16_8_edau.7	FAIL	900.85
ncf_4_16_4_u.4	FAIL	900.85
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900.85
ncf_8_64_2_d.5	FAIL	900.85
ncf_8_32_4_u.3	FAIL	900.85
ncf_4_32_8_edau.1	FAIL	900.85
ncf_16_64_4_u.2	FAIL	900.85
ncf_4_32_8_euad.2	FAIL	900.85
ncf_8_16_2_d.4	FAIL	900.85
ncf_4_32_2_u.8	FAIL	900.85
ncf_8_32_8_euad.6	FAIL	900.85
BLOCKS3i.5.3	FAIL	900.85
ncf_8_16_8_edau.1	FAIL	900.85
ncf_8_16_2_euad.8	FAIL	900.85
ncf_8_16_4_d.2	FAIL	900.85
ncf_8_16_4_edau.8	FAIL	900.85
2qbf-5cnf-20var-320cl.6	FAIL	900.85
ncf_4_8_8_edau.8	FAIL	900.85
1qbf-5cnf-40var-320cl.1	FAIL	900.85
1qbf-5cnf-40var-320cl.8	FAIL	900.85
1qbf-5cnf-40var-640cl.0	FAIL	900.85
ncf_8_32_4_euad.2	FAIL	900.86
ncf_8_16_2_edau.5	FAIL	900.86
ncf_8_32_2_edau.1	FAIL	900.86
ncf_8_32_8_edau.4	FAIL	900.86
ncf_8_32_8_u.6	FAIL	900.86
ncf_4_32_8_d.2	FAIL	900.86
ncf_8_64_2_u.1	FAIL	900.86
toilet_c_10_05.8	FAIL	900.86
ncf_4_8_8_euad.8	FAIL	900.86
ncf_4_32_8_d.9	FAIL	900.86
ncf_16_32_8_euad.10	FAIL	900.86
ncf_8_16_8_euad.4	FAIL	900.86
ncf_8_64_2_d.1	FAIL	900.86
ncf_8_16_4_u.3	FAIL	900.86
ncf_8_16_8_edau.7	FAIL	900.86
ncf_4_16_2_d.5	FAIL	900.86
2qbf-5cnf-20var-640cl.3	FAIL	900.86
ncf_8_16_4_u.6	FAIL	900.86
ncf_4_8_2_u.3	FAIL	900.86
ncf_16_64_4_u.3	FAIL	900.86
ncf_8_16_2_euad.4	FAIL	900.86
ncf_4_32_4_edau.5	FAIL	900.86
ncf_4_16_4_edau.7	FAIL	900.86
ncf_4_16_2_u.1	FAIL	900.86
ncf_4_16_2_u.4	FAIL	900.86
ncf_8_64_2_euad.5	FAIL	900.86
ncf_16_32_2_d.6	FAIL	900.86
ncf_16_32_8_u.2	FAIL	900.86
ncf_4_8_4_edau.1	FAIL	900.86
ncf_4_16_2_u.10	FAIL	900.86
ncf_4_32_8_u.8	FAIL	900.86
ncf_8_16_2_euad.7	FAIL	900.86
2qbf-5cnf-20var-320cl.1	FAIL	900.86
C880.blif_0.10_0.20_0_0_out_exact	FAIL	900.86
ncf_16_32_4_euad.5	FAIL	900.86
ncf_4_16_8_edau.4	FAIL	900.86
ncf_16_64_8_euad.7	FAIL	900.86
ncf_16_32_2_edau.10	FAIL	900.86
ncf_8_16_2_u.3	FAIL	900.86
ncf_16_128_2_euad.4	FAIL	900.86
ncf_4_16_2_u.9	FAIL	900.86
TOILET16.1.iv.32	FAIL	900.86
ncf_16_32_4_edau.6	FAIL	900.86
ncf_8_64_8_euad.3	FAIL	900.86
ncf_4_16_8_edau.6	FAIL	900.86
ncf_4_16_2_euad.2	FAIL	900.87
ncf_4_16_2_d.3	FAIL	900.87
2qbf-5cnf-20var-640cl.0	FAIL	900.87
ncf_8_16_4_u.9	FAIL	900.87
ncf_8_16_8_edau.6	FAIL	900.87
ncf_16_32_8_u.1	FAIL	900.87
ncf_8_16_4_u.4	FAIL	900.87
ncf_8_16_4_euad.6	FAIL	900.87
ncf_4_16_4_d.8	FAIL	900.87
ncf_8_16_2_u.10	FAIL	900.87
5qbf-5cnf-160var-5120cl.1	FAIL	900.87
2qbf-5cnf-20var-640cl.6	FAIL	900.87
ncf_8_32_4_d.1	FAIL	900.87
BLOCKS3ii.5.3	FAIL	900.87
ncf_4_16_2_edau.1	FAIL	900.87
ncf_4_8_4_d.10	FAIL	900.87
ncf_8_32_4_u.6	FAIL	900.87
ncf_4_8_4_u.1	FAIL	900.87
ncf_4_8_8_u.5	FAIL	900.87
ncf_4_32_4_euad.10	FAIL	900.87
ncf_8_16_4_euad.9	FAIL	900.87
ncf_8_16_8_euad.1	FAIL	900.87
ncf_4_32_8_u.7	FAIL	900.87
ncf_8_32_8_d.5	FAIL	900.87
ncf_4_16_8_edau.10	FAIL	900.87
ncf_8_32_4_euad.5	FAIL	900.87
toilet_a_08_05.8	FAIL	900.87
ncf_8_16_8_edau.4	FAIL	900.87
ncf_4_8_4_d.9	FAIL	900.87
ncf_4_16_2_edau.3	FAIL	900.87
counter_re_16	FAIL	900.87
ncf_4_16_2_edau.8	FAIL	900.87
ncf_8_32_8_u.4	FAIL	900.87
ncf_4_32_4_edau.3	FAIL	900.87
ncf_16_32_8_u.9	FAIL	900.87
k_branch_n-8	FAIL	900.87
ncf_8_64_2_u.10	FAIL	900.87
ncf_8_32_8_u.7	FAIL	900.87
ncf_16_32_2_edau.8	FAIL	900.87
ncf_8_32_8_euad.7	FAIL	900.87
ncf_4_16_8_u.5	FAIL	900.87
ncf_4_16_8_u.1	FAIL	900.87
ncf_16_32_4_edau.8	FAIL	900.87
ncf_4_16_8_edau.2	FAIL	900.87
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	900.87
1qbf-5cnf-40var-640cl.8	FAIL	900.87
1qbf-5cnf-40var-320cl.7	FAIL	900.87
1qbf-5cnf-40var-1280cl.5	FAIL	900.87
1qbf-5cnf-40var-640cl.9	FAIL	900.87
ncf_8_16_8_u.5	FAIL	900.88
ncf_4_16_8_d.4	FAIL	900.88
2qbf-5cnf-20var-320cl.0	FAIL	900.88
C880.blif_0.10_0.20_0_1_out_exact	FAIL	900.88
ncf_8_16_8_u.10	FAIL	900.88
ncf_8_16_8_euad.10	FAIL	900.88
ncf_8_16_8_d.6	FAIL	900.88
ncf_8_16_8_euad.9	FAIL	900.88
ncf_8_16_8_u.1	FAIL	900.88
ncf_4_32_8_u.10	FAIL	900.88
ncf_4_16_8_u.2	FAIL	900.88
ncf_4_8_4_d.4	FAIL	900.88
ncf_16_64_4_d.7	FAIL	900.88
ncf_8_16_4_euad.4	FAIL	900.88
2qbf-5cnf-20var-640cl.9	FAIL	900.88
ncf_8_32_8_euad.10	FAIL	900.88
ncf_16_32_8_u.7	FAIL	900.88
ncf_4_8_2_euad.3	FAIL	900.88
ncf_4_32_8_d.8	FAIL	900.88
ncf_8_16_4_d.5	FAIL	900.88
3qbf-5cnf-20var-160cl.6	FAIL	900.88
ncf_16_32_2_euad.2	FAIL	900.88
ncf_16_32_4_euad.4	FAIL	900.88
ncf_8_16_2_d.3	FAIL	900.88
ncf_16_64_4_u.10	FAIL	900.88
C880.blif_0.10_1.00_0_1_out_exact	FAIL	900.88
ncf_4_8_4_euad.4	FAIL	900.88
ncf_4_32_8_u.6	FAIL	900.88
ncf_4_16_4_d.7	FAIL	900.88
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	900.88
ncf_8_16_8_u.6	FAIL	900.88
ncf_4_8_2_euad.7	FAIL	900.88
ncf_4_32_4_euad.5	FAIL	900.88
ncf_4_8_4_u.3	FAIL	900.88
ncf_8_32_4_u.4	FAIL	900.88
ncf_4_16_8_d.8	FAIL	900.88
ncf_4_8_4_u.4	FAIL	900.88
ncf_4_8_4_euad.10	FAIL	900.88
ncf_8_32_8_u.2	FAIL	900.88
1qbf-5cnf-40var-1280cl.7	FAIL	900.88
1qbf-5cnf-40var-320cl.3	FAIL	900.88
ncf_8_16_4_d.4	FAIL	900.89
ncf_8_32_4_d.8	FAIL	900.89
ncf_16_32_4_u.3	FAIL	900.89
ncf_8_32_8_euad.5	FAIL	900.89
ncf_4_32_4_d.5	FAIL	900.89
ncf_16_64_2_euad.1	FAIL	900.89
ncf_4_16_2_edau.4	FAIL	900.89
ncf_8_16_4_edau.9	FAIL	900.89
ncf_4_16_2_edau.6	FAIL	900.89
ncf_4_16_8_d.10	FAIL	900.89
ncf_8_16_2_u.8	FAIL	900.89
k_branch_p-12	FAIL	900.89
ncf_8_32_4_u.9	FAIL	900.89
ncf_16_32_2_edau.2	FAIL	900.89
ncf_4_16_4_edau.9	FAIL	900.89
ncf_8_16_2_d.7	FAIL	900.89
ncf_16_64_4_euad.8	FAIL	900.89
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	900.89
ncf_4_8_4_edau.10	FAIL	900.89
ncf_4_8_4_d.2	FAIL	900.89
ncf_8_32_8_u.5	FAIL	900.89
ncf_4_16_2_d.4	FAIL	900.89
ncf_8_16_4_edau.4	FAIL	900.89
ncf_4_8_8_euad.9	FAIL	900.89
ncf_4_8_4_edau.8	FAIL	900.89
ncf_4_32_8_euad.9	FAIL	900.89
ncf_8_16_2_d.8	FAIL	900.89
C499.blif_0.10_0.20_0_0_out_exact	FAIL	900.89
k_grz_n-20	FAIL	900.89
ncf_4_16_4_u.6	FAIL	900.89
ncf_4_32_4_u.4	FAIL	900.89
ncf_8_32_8_euad.9	FAIL	900.89
ncf_8_32_8_u.9	FAIL	900.89
ncf_8_32_8_edau.7	FAIL	900.89
toilet_c_08_05.10	FAIL	900.89
ncf_16_32_8_edau.10	FAIL	900.89
ncf_8_32_4_u.5	FAIL	900.89
1qbf-5cnf-40var-320cl.9	FAIL	900.89
ncf_8_64_2_d.10	FAIL	900.9
ncf_8_16_2_edau.8	FAIL	900.9
ncf_4_16_8_u.6	FAIL	900.9
ncf_16_64_4_edau.5	FAIL	900.9
ncf_8_32_2_u.7	FAIL	900.9
ncf_8_32_8_euad.3	FAIL	900.9
ncf_8_16_2_d.5	FAIL	900.9
2qbf-5cnf-20var-320cl.8	FAIL	900.9
ncf_16_32_8_edau.1	FAIL	900.9
ncf_4_32_2_edau.3	FAIL	900.9
C499.blif_0.10_0.20_0_1_out_exact	FAIL	900.9
ncf_4_32_4_u.3	FAIL	900.9
ncf_8_16_4_edau.1	FAIL	900.9
counter_e_8	FAIL	900.9
ncf_16_64_4_d.5	FAIL	900.9
ncf_4_16_2_edau.10	FAIL	900.9
ncf_4_8_4_euad.5	FAIL	900.9
ncf_4_8_8_u.8	FAIL	900.9
ncf_8_16_4_d.9	FAIL	900.9
ncf_4_32_8_u.9	FAIL	900.9
ncf_8_32_4_euad.1	FAIL	900.9
ncf_8_32_4_euad.8	FAIL	900.9
ncf_8_32_8_edau.10	FAIL	900.9
2qbf-5cnf-20var-320cl.5	FAIL	900.9
ncf_8_32_4_u.2	FAIL	900.9
ncf_8_64_2_euad.3	FAIL	900.9
ncf_8_16_8_d.5	FAIL	900.9
ncf_4_8_4_edau.3	FAIL	900.9
ncf_4_8_8_u.2	FAIL	900.9
ncf_4_32_4_d.3	FAIL	900.9
ncf_4_32_4_u.6	FAIL	900.9
1qbf-5cnf-40var-640cl.5	FAIL	900.9
1qbf-5cnf-40var-320cl.0	FAIL	900.9
1qbf-5cnf-40var-1280cl.6	FAIL	900.9
ncf_16_64_4_edau.7	FAIL	900.91
ncf_8_32_8_u.10	FAIL	900.91
ncf_16_32_4_u.2	FAIL	900.91
ncf_4_8_2_u.1	FAIL	900.91
ncf_16_32_8_d.2	FAIL	900.91
2qbf-5cnf-20var-640cl.1	FAIL	900.91
toilet_a_08_05.10	FAIL	900.91
BLOCKS4iii.6	FAIL	900.91
ncf_16_32_8_d.7	FAIL	900.91
ncf_16_32_2_u.6	FAIL	900.91
ncf_8_32_8_d.10	FAIL	900.91
ncf_16_64_4_edau.8	FAIL	900.91
ncf_16_64_8_edau.3	FAIL	900.91
ncf_4_32_4_u.9	FAIL	900.91
ncf_8_16_2_u.5	FAIL	900.91
ncf_8_32_4_euad.9	FAIL	900.91
ncf_16_32_2_u.8	FAIL	900.91
ncf_16_32_8_edau.9	FAIL	900.91
ncf_8_32_2_u.6	FAIL	900.91
ncf_4_8_4_d.8	FAIL	900.91
toilet_c_08_05.8	FAIL	900.91
ncf_4_8_2_u.5	FAIL	900.91
ncf_16_32_4_euad.3	FAIL	900.91
ncf_8_16_2_edau.9	FAIL	900.91
toilet_a_10_10.2	FAIL	900.91
ncf_8_32_8_d.4	FAIL	900.91
ncf_16_32_4_u.4	FAIL	900.91
ncf_4_16_2_euad.3	FAIL	900.91
ncf_4_8_8_d.9	FAIL	900.91
ncf_16_32_8_d.10	FAIL	900.91
ncf_8_32_2_euad.6	FAIL	900.91
ncf_8_32_4_edau.5	FAIL	900.92
ncf_8_16_2_d.6	FAIL	900.92
ncf_16_32_4_d.4	FAIL	900.92
ncf_4_8_8_edau.3	FAIL	900.92
ncf_4_8_8_u.9	FAIL	900.92
ncf_4_8_8_d.8	FAIL	900.92
ncf_8_32_4_d.9	FAIL	900.92
ncf_8_32_2_euad.4	FAIL	900.92
ncf_16_32_8_d.9	FAIL	900.92
toilet_a_08_05.4	FAIL	900.92
ncf_4_32_2_d.3	FAIL	900.92
ncf_8_32_2_u.1	FAIL	900.92
ncf_8_32_4_u.8	FAIL	900.92
ncf_4_8_4_d.5	FAIL	900.92
ncf_8_16_4_euad.8	FAIL	900.92
ncf_4_16_2_d.1	FAIL	900.92
ncf_16_32_2_euad.8	FAIL	900.92
ncf_8_32_8_edau.1	FAIL	900.92
ncf_8_32_2_euad.1	FAIL	900.92
ncf_4_8_8_edau.1	FAIL	900.92
ncf_4_8_4_u.8	FAIL	900.92
ncf_4_8_4_u.7	FAIL	900.92
ncf_4_32_2_d.8	FAIL	900.92
ncf_8_32_8_edau.8	FAIL	900.92
ncf_4_8_8_u.4	FAIL	900.92
ncf_16_32_4_edau.2	FAIL	900.92
ncf_4_8_4_u.10	FAIL	900.92
ncf_4_32_4_u.10	FAIL	900.92
ncf_16_32_2_edau.6	FAIL	900.93
ncf_8_32_4_d.6	FAIL	900.93
ncf_4_16_4_d.5	FAIL	900.93
ncf_4_16_4_edau.6	FAIL	900.93
ncf_8_32_8_edau.5	FAIL	900.93
ncf_4_32_2_euad.3	FAIL	900.93
ncf_4_32_2_euad.8	FAIL	900.93
ncf_4_8_4_u.9	FAIL	900.93
ncf_4_8_2_u.9	FAIL	900.93
ncf_8_16_2_u.2	FAIL	900.93
ncf_16_32_2_euad.6	FAIL	900.93
ncf_4_8_4_edau.6	FAIL	900.93
ncf_8_16_2_edau.7	FAIL	900.93
ncf_8_32_8_d.6	FAIL	900.93
ncf_8_32_8_edau.3	FAIL	900.93
ncf_4_8_4_euad.3	FAIL	900.93
test1_quant3	FAIL	900.93
ncf_4_8_8_edau.2	FAIL	900.93
ncf_4_8_8_euad.2	FAIL	900.93
ncf_8_32_4_euad.6	FAIL	900.93
ncf_8_16_4_u.8	FAIL	900.93
ncf_8_16_4_d.8	FAIL	900.93
ncf_4_16_2_euad.4	FAIL	900.93
C499.blif_0.10_1.00_0_1_out_exact	FAIL	900.93
ncf_4_8_8_d.4	FAIL	900.93
ncf_16_32_8_edau.2	FAIL	900.93
1qbf-5cnf-40var-640cl.6	FAIL	900.93
1qbf-5cnf-40var-1280cl.8	FAIL	900.93
1qbf-5cnf-40var-320cl.4	FAIL	900.93
1qbf-5cnf-40var-1280cl.2	FAIL	900.93
ncf_8_32_2_d.7	FAIL	900.94
ncf_8_32_4_edau.3	FAIL	900.94
ncf_4_8_4_euad.9	FAIL	900.94
ncf_4_8_2_euad.4	FAIL	900.94
ncf_4_16_2_euad.1	FAIL	900.94
ncf_8_16_2_d.9	FAIL	900.94
ncf_16_32_2_u.2	FAIL	900.94
ncf_4_8_4_u.6	FAIL	900.94
ncf_16_32_8_edau.7	FAIL	900.94
C499.blif_0.10_1.00_0_0_out_exact	FAIL	900.94
ncf_4_32_4_edau.10	FAIL	900.94
ncf_4_8_4_u.5	FAIL	900.94
lut4_AND_fXOR	FAIL	900.94
ncf_8_32_4_d.3	FAIL	900.94
ncf_4_8_8_d.7	FAIL	900.94
ncf_4_8_4_euad.6	FAIL	900.94
ncf_4_8_8_euad.5	FAIL	900.94
ncf_4_32_2_edau.8	FAIL	900.94
2qbf-5cnf-20var-640cl.8	FAIL	900.94
ncf_16_64_4_d.8	FAIL	900.94
ncf_4_8_2_u.6	FAIL	900.94
k_grz_n-21	FAIL	900.94
ncf_16_32_4_d.2	FAIL	900.94
ncf_8_16_2_edau.1	FAIL	900.94
ncf_16_32_8_d.1	FAIL	900.94
ncf_4_8_2_euad.2	FAIL	900.94
ncf_16_64_2_d.1	FAIL	900.94
ncf_8_32_4_edau.6	FAIL	900.95
ncf_4_16_2_euad.8	FAIL	900.95
ncf_8_16_2_edau.6	FAIL	900.95
ncf_4_32_8_edau.6	FAIL	900.95
ncf_4_8_8_u.6	FAIL	900.95
ncf_4_32_4_edau.6	FAIL	900.95
ncf_8_32_8_edau.9	FAIL	900.95
2qbf-5cnf-20var-320cl.2	FAIL	900.95
ncf_16_32_4_edau.3	FAIL	900.95
ncf_4_32_8_d.6	FAIL	900.95
ncf_4_8_8_u.7	FAIL	900.95
ev-pr-4x4-5-3-0-0-1-lg	FAIL	900.95
ncf_8_32_4_u.1	FAIL	900.95
counter_r_8	FAIL	900.95
ncf_4_8_8_d.3	FAIL	900.95
ncf_4_8_8_euad.1	FAIL	900.95
ncf_4_8_4_euad.2	FAIL	900.95
ncf_4_8_8_euad.10	FAIL	900.95
ncf_4_8_2_u.2	FAIL	900.95
ncf_4_8_8_edau.9	FAIL	900.95
C432.blif_0.10_0.20_0_1_out_exact	FAIL	900.95
ncf_4_8_8_edau.7	FAIL	900.95
ncf_4_8_8_u.3	FAIL	900.95
ncf_8_16_2_d.1	FAIL	900.96
ncf_4_16_2_d.6	FAIL	900.96
ncf_4_16_4_u.9	FAIL	900.96
ncf_8_16_4_u.2	FAIL	900.96
ncf_4_8_4_edau.7	FAIL	900.96
ncf_4_8_8_u.10	FAIL	900.96
ncf_4_8_4_euad.8	FAIL	900.96
ncf_8_16_2_u.1	FAIL	900.96
ncf_4_8_4_edau.2	FAIL	900.96
ncf_4_16_4_u.8	FAIL	900.96
toilet_a_10_05.4	FAIL	900.96
ncf_4_8_8_d.10	FAIL	900.96
ncf_4_8_8_edau.10	FAIL	900.96
ncf_4_32_4_d.10	FAIL	900.96
ncf_4_8_8_euad.3	FAIL	900.96
ncf_4_8_8_edau.4	FAIL	900.96
k_lin_p-21	FAIL	900.96
ncf_4_32_8_edau.2	FAIL	900.96
ncf_4_32_4_d.6	FAIL	900.97
ncf_8_16_4_d.10	FAIL	900.97
ncf_16_32_4_d.7	FAIL	900.97
C432.blif_0.10_1.00_0_0_out_exact	FAIL	900.97
ncf_8_32_8_d.2	FAIL	900.97
ncf_16_32_8_edau.6	FAIL	900.97
ncf_8_16_4_euad.5	FAIL	900.97
ncf_4_8_8_euad.7	FAIL	900.97
ncf_8_32_4_edau.9	FAIL	900.97
ncf_8_32_8_d.7	FAIL	900.97
ncf_4_8_8_u.1	FAIL	900.97
ncf_8_16_4_euad.10	FAIL	900.97
ncf_4_32_4_edau.9	FAIL	900.97
toilet_c_10_10.2	FAIL	900.97
ncf_8_16_2_u.6	FAIL	900.97
ncf_4_16_2_u.7	FAIL	900.97
toilet_c_08_05.4	FAIL	900.97
ncf_8_16_4_u.7	FAIL	900.97
test1_quant_squaring2	FAIL	900.97
ncf_4_8_8_euad.6	FAIL	900.97
ncf_16_32_4_d.3	FAIL	900.97
ncf_4_16_4_u.10	FAIL	900.98
ncf_8_16_2_euad.9	FAIL	900.98
ncf_4_8_8_d.1	FAIL	900.98
ncf_4_16_4_u.3	FAIL	900.98
ncf_4_16_2_euad.5	FAIL	900.98
ncf_8_32_4_edau.1	FAIL	900.98
ncf_8_16_4_edau.5	FAIL	900.98
ncf_4_16_4_u.7	FAIL	900.98
ncf_4_16_2_edau.7	FAIL	900.98
ncf_16_32_4_edau.7	FAIL	900.98
lut4_AND_f1	FAIL	900.98
ncf_8_32_2_edau.4	FAIL	900.98
ncf_8_16_4_edau.6	FAIL	900.98
ncf_8_16_2_euad.10	FAIL	900.98
ncf_4_8_8_d.2	FAIL	900.98
ncf_4_8_8_edau.6	FAIL	900.98
ncf_8_16_2_u.9	FAIL	900.99
ncf_4_16_4_u.5	FAIL	900.99
ncf_4_16_2_edau.5	FAIL	900.99
ncf_4_8_8_d.6	FAIL	900.99
ncf_4_16_2_d.7	FAIL	900.99
ncf_4_16_4_euad.9	FAIL	900.99
ncf_4_16_2_euad.9	FAIL	900.99
ncf_4_16_2_u.6	FAIL	900.99
ncf_4_16_2_euad.6	FAIL	900.99
ncf_8_16_4_u.5	FAIL	900.99
ncf_8_16_2_euad.6	FAIL	900.99
ncf_4_16_4_euad.3	FAIL	900.99
ncf_8_16_4_u.10	FAIL	900.99
ncf_4_16_4_euad.2	FAIL	900.99
ncf_8_16_4_d.7	FAIL	900.99
ncf_8_16_2_u.4	FAIL	900.99
ncf_4_32_4_d.9	FAIL	900.99
ncf_4_16_4_u.2	FAIL	900.99
ncf_4_16_4_euad.7	FAIL	900.99
ncf_8_16_4_edau.7	FAIL	900.99
ncf_4_16_2_euad.7	FAIL	901
ncf_4_16_4_euad.8	FAIL	901
ncf_8_16_4_edau.10	FAIL	901
ncf_8_16_4_u.1	FAIL	901
ncf_4_16_4_euad.5	FAIL	901
ncf_8_16_2_euad.1	FAIL	901
ncf_8_16_4_euad.2	FAIL	901
ncf_4_16_4_euad.10	FAIL	901

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QMRes
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QMRes QBFEVAL'05

Instances solved by QMRes
QBFEVAL'05