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

Instances solved by QUANTOR
QBFEVAL'05

Instance	Result	Time
ncf_8_16_2_edau.8	UNSAT	0
3qbf-5cnf-80var-2560cl.9	UNSAT	0
ncf_8_16_4_d.1	SAT	0
counter_e_2	SAT	0
ncf_4_8_2_edau.7	UNSAT	0
ncf_4_8_2_euad.8	SAT	0
6qbf-5cnf-20var-40cl.3	SAT	0
ncf_4_8_2_edau.10	SAT	0
5qbf-5cnf-80var-320cl.3	SAT	0
2qbf-5cnf-40var-80cl.7	SAT	0
5qbf-5cnf-80var-320cl.4	SAT	0
impl10	SAT	0
6qbf-5cnf-20var-40cl.0	SAT	0
s641_d2_s	FAIL	0
4qbf-5cnf-80var-160cl.7	SAT	0
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0
3qbf-5cnf-160var-320cl.0	SAT	0
5qbf-5cnf-20var-40cl.0	SAT	0
4qbf-5cnf-20var-80cl.4	SAT	0
3qbf-5cnf-80var-160cl.2	SAT	0
5qbf-5cnf-80var-160cl.7	SAT	0
ncf_4_8_2_u.7	UNSAT	0
6qbf-5cnf-80var-320cl.8	SAT	0
2qbf-5cnf-80var-160cl.5	SAT	0
tree-exa2-45	UNSAT	0
ncf_4_8_2_u.1	UNSAT	0
ncf_4_8_2_edau.6	SAT	0
6qbf-5cnf-80var-160cl.4	SAT	0
6qbf-5cnf-40var-160cl.6	SAT	0
6qbf-5cnf-40var-80cl.3	SAT	0
6qbf-5cnf-20var-40cl.9	SAT	0
6qbf-5cnf-80var-320cl.7	SAT	0
ncf_4_16_2_d.2	SAT	0
ncf_8_16_2_d.1	SAT	0
5qbf-5cnf-160var-640cl.8	SAT	0
ncf_4_8_4_euad.9	SAT	0
ncf_4_16_2_d.6	SAT	0
ncf_8_16_4_d.10	SAT	0
3qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-80var-160cl.9	SAT	0
5qbf-5cnf-40var-160cl.0	SAT	0
2qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-80var-160cl.1	SAT	0
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0
5qbf-5cnf-160var-640cl.3	SAT	0
5qbf-5cnf-20var-80cl.4	SAT	0
5qbf-5cnf-160var-640cl.1	SAT	0
6qbf-5cnf-80var-320cl.1	SAT	0
5qbf-5cnf-20var-80cl.2	SAT	0
2qbf-5cnf-40var-80cl.2	SAT	0
5qbf-5cnf-160var-320cl.5	SAT	0
3qbf-5cnf-40var-80cl.9	SAT	0
6qbf-5cnf-40var-160cl.1	SAT	0
6qbf-5cnf-80var-160cl.2	SAT	0
ncf_4_8_2_euad.4	UNSAT	0
counter_re_2	SAT	0
tree-exa10-15	SAT	0
ncf_4_8_2_d.10	SAT	0
ncf_4_8_2_d.9	SAT	0
3qbf-5cnf-80var-160cl.7	SAT	0
6qbf-5cnf-160var-320cl.5	SAT	0
counter_e_4	SAT	0
5qbf-5cnf-40var-80cl.6	SAT	0
5qbf-5cnf-20var-40cl.5	SAT	0
3qbf-5cnf-20var-640cl.9	UNSAT	0
6qbf-5cnf-80var-160cl.3	SAT	0
ncf_4_8_2_euad.9	SAT	0
tree-exa10-25	SAT	0
6qbf-5cnf-80var-320cl.6	SAT	0
6qbf-5cnf-20var-80cl.0	SAT	0
ncf_4_16_2_edau.4	SAT	0
qshifter_3	SAT	0
4qbf-5cnf-20var-40cl.8	SAT	0
ncf_16_32_2_u.9	UNSAT	0
6qbf-5cnf-160var-320cl.6	SAT	0
impl12	SAT	0
tree-exa2-25	UNSAT	0
6qbf-5cnf-20var-40cl.6	SAT	0
impl08	SAT	0
3qbf-5cnf-40var-1280cl.0	UNSAT	0
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0
6qbf-5cnf-80var-320cl.2	SAT	0
3qbf-5cnf-40var-80cl.3	SAT	0
4qbf-5cnf-160var-320cl.0	SAT	0
impl18	SAT	0
5qbf-5cnf-80var-320cl.6	SAT	0
ncf_8_16_4_euad.5	UNSAT	0
5qbf-5cnf-20var-640cl.1	UNSAT	0
ncf_8_16_2_d.9	UNSAT	0
4qbf-5cnf-80var-160cl.3	SAT	0
counter_r_4	SAT	0
5qbf-5cnf-20var-40cl.7	SAT	0
3qbf-5cnf-80var-160cl.8	SAT	0
2qbf-5cnf-20var-40cl.1	SAT	0
4qbf-5cnf-40var-80cl.0	SAT	0
impl04	SAT	0
3qbf-5cnf-20var-80cl.0	SAT	0
4qbf-5cnf-40var-160cl.1	SAT	0
5qbf-5cnf-40var-80cl.5	SAT	0
4qbf-5cnf-20var-40cl.2	SAT	0
5qbf-5cnf-80var-320cl.9	SAT	0
3qbf-5cnf-40var-1280cl.8	UNSAT	0
ncf_4_16_2_euad.9	SAT	0
3qbf-5cnf-20var-40cl.4	SAT	0
5qbf-5cnf-40var-80cl.0	SAT	0
3qbf-5cnf-160var-320cl.5	SAT	0
6qbf-5cnf-20var-40cl.7	SAT	0
2qbf-5cnf-20var-40cl.6	SAT	0
ncf_4_8_4_u.9	SAT	0
ncf_4_16_2_edau.6	SAT	0
5qbf-5cnf-80var-320cl.7	SAT	0
3qbf-5cnf-160var-320cl.1	SAT	0
ncf_8_16_2_edau.3	UNSAT	0
3qbf-5cnf-80var-160cl.4	SAT	0
2qbf-5cnf-40var-80cl.1	SAT	0
3qbf-5cnf-20var-80cl.9	SAT	0
6qbf-5cnf-20var-80cl.7	SAT	0
counter_r_2	SAT	0
5qbf-5cnf-80var-320cl.5	SAT	0
ncf_4_8_4_edau.6	SAT	0
2qbf-5cnf-40var-80cl.5	SAT	0
3qbf-5cnf-40var-80cl.7	SAT	0
5qbf-5cnf-40var-80cl.4	SAT	0
4qbf-5cnf-40var-80cl.3	SAT	0
5qbf-5cnf-160var-640cl.9	SAT	0
5qbf-5cnf-40var-80cl.2	SAT	0
6qbf-5cnf-160var-320cl.9	SAT	0
ncf_4_8_2_d.5	SAT	0
tree-exa2-15	UNSAT	0
3qbf-5cnf-20var-80cl.5	SAT	0
5qbf-5cnf-80var-160cl.1	SAT	0
6qbf-5cnf-80var-320cl.3	SAT	0
tree-exa2-20	UNSAT	0
5qbf-5cnf-40var-80cl.9	SAT	0
4qbf-5cnf-20var-40cl.0	SAT	0
ncf_4_8_2_edau.4	UNSAT	0
5qbf-5cnf-20var-40cl.2	SAT	0
4qbf-5cnf-80var-160cl.1	SAT	0
6qbf-5cnf-20var-80cl.8	SAT	0
ncf_8_16_4_edau.1	SAT	0
toilet_c_10_01.2	UNSAT	0
ncf_8_16_2_d.7	SAT	0
5qbf-5cnf-40var-160cl.4	SAT	0
ncf_4_8_4_d.5	SAT	0
6qbf-5cnf-20var-40cl.8	SAT	0
mutex-2-s	SAT	0
6qbf-5cnf-40var-80cl.2	SAT	0
tree-exa10-10	SAT	0
ncf_4_16_2_u.6	FAIL	0
6qbf-5cnf-80var-160cl.1	SAT	0
5qbf-5cnf-80var-160cl.5	SAT	0
6qbf-5cnf-20var-80cl.4	SAT	0
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0
6qbf-5cnf-80var-320cl.0	SAT	0
2qbf-5cnf-20var-40cl.9	SAT	0
5qbf-5cnf-160var-320cl.3	SAT	0
5qbf-5cnf-20var-80cl.8	SAT	0
tree-exa2-40	UNSAT	0
ncf_4_8_2_d.2	SAT	0
4qbf-5cnf-20var-80cl.1	SAT	0
4qbf-5cnf-20var-80cl.6	SAT	0
ncf_4_8_4_u.5	SAT	0
ncf_4_16_2_euad.6	FAIL	0
s641_d6_s	FAIL	0
3qbf-5cnf-20var-40cl.8	SAT	0
4qbf-5cnf-40var-80cl.4	SAT	0
6qbf-5cnf-40var-160cl.3	SAT	0
ncf_4_8_2_edau.1	UNSAT	0
3qbf-5cnf-80var-160cl.6	SAT	0
ncf_4_16_4_u.1	SAT	0
4qbf-5cnf-80var-160cl.0	SAT	0
6qbf-5cnf-160var-640cl.9	SAT	0
ncf_8_16_2_euad.3	UNSAT	0
5qbf-5cnf-20var-40cl.6	SAT	0
3qbf-5cnf-20var-80cl.2	SAT	0
3qbf-5cnf-160var-320cl.9	SAT	0
6qbf-5cnf-20var-80cl.6	SAT	0
4qbf-5cnf-40var-80cl.5	SAT	0
3qbf-5cnf-160var-320cl.2	SAT	0
ncf_4_8_4_edau.2	UNSAT	0
6qbf-5cnf-40var-80cl.4	SAT	0
6qbf-5cnf-160var-320cl.8	SAT	0
3qbf-5cnf-20var-80cl.8	SAT	0
5qbf-5cnf-20var-40cl.8	SAT	0
4qbf-5cnf-20var-40cl.6	SAT	0
3qbf-5cnf-20var-40cl.0	SAT	0
ncf_8_16_4_u.1	SAT	0
flipflop-4-c	UNSAT	0
5qbf-5cnf-20var-80cl.0	SAT	0
5qbf-5cnf-20var-40cl.4	SAT	0
5qbf-5cnf-20var-80cl.3	SAT	0
4qbf-5cnf-80var-160cl.5	SAT	0
5qbf-5cnf-160var-640cl.0	SAT	0
s27_d2_s	SAT	0
4qbf-5cnf-20var-80cl.0	SAT	0
4qbf-5cnf-40var-80cl.8	SAT	0
ncf_8_16_2_euad.6	UNSAT	0
4qbf-5cnf-40var-80cl.7	SAT	0
ncf_8_16_4_d.5	UNSAT	0
5qbf-5cnf-20var-80cl.5	SAT	0
4qbf-5cnf-20var-40cl.1	SAT	0
ncf_4_8_4_d.2	UNSAT	0
4qbf-5cnf-160var-320cl.4	SAT	0
6qbf-5cnf-40var-80cl.7	SAT	0
3qbf-5cnf-80var-160cl.3	SAT	0
5qbf-5cnf-80var-160cl.0	SAT	0
ncf_4_8_2_edau.8	SAT	0
5qbf-5cnf-80var-160cl.2	SAT	0
6qbf-5cnf-20var-40cl.1	SAT	0
4qbf-5cnf-160var-320cl.2	SAT	0
3qbf-5cnf-20var-80cl.6	SAT	0
6qbf-5cnf-160var-320cl.4	SAT	0
ncf_4_8_2_u.5	FAIL	0
5qbf-5cnf-80var-160cl.8	SAT	0
ncf_4_16_4_edau.8	SAT	0
ncf_4_16_2_d.4	SAT	0
3qbf-5cnf-20var-40cl.9	SAT	0
6qbf-5cnf-40var-160cl.4	SAT	0
ncf_4_8_2_d.6	SAT	0
3qbf-5cnf-40var-1280cl.2	UNSAT	0
counter_4	SAT	0
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0
ncf_8_16_2_d.3	UNSAT	0
6qbf-5cnf-160var-640cl.1	SAT	0
BLOCKS3iii.4	UNSAT	0
2qbf-5cnf-20var-40cl.7	SAT	0
3qbf-5cnf-20var-40cl.3	SAT	0
4qbf-5cnf-40var-80cl.1	SAT	0
4qbf-5cnf-20var-40cl.9	SAT	0
2qbf-5cnf-80var-160cl.8	SAT	0
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0
ncf_4_16_4_euad.5	FAIL	0
ncf_4_8_4_euad.2	UNSAT	0
5qbf-5cnf-40var-160cl.8	SAT	0
6qbf-5cnf-40var-80cl.0	SAT	0
3qbf-5cnf-40var-80cl.4	SAT	0
5qbf-5cnf-40var-160cl.6	SAT	0
3qbf-5cnf-40var-80cl.1	SAT	0
4qbf-5cnf-160var-320cl.6	SAT	0
5qbf-5cnf-20var-80cl.6	SAT	0
3qbf-5cnf-20var-40cl.6	SAT	0
ncf_4_16_4_euad.1	SAT	0
TOILET2.1.iv.4	SAT	0
ncf_8_16_2_d.4	SAT	0
2qbf-5cnf-40var-80cl.4	SAT	0
5qbf-5cnf-40var-80cl.3	SAT	0
6qbf-5cnf-160var-640cl.5	SAT	0
counter_2	SAT	0
5qbf-5cnf-80var-320cl.2	SAT	0
6qbf-5cnf-40var-80cl.8	SAT	0
6qbf-5cnf-40var-80cl.5	SAT	0
4qbf-5cnf-80var-160cl.2	SAT	0
impl02	SAT	0
3qbf-5cnf-20var-80cl.3	SAT	0
ncf_8_16_2_d.8	UNSAT	0
6qbf-5cnf-40var-80cl.6	SAT	0
2qbf-5cnf-20var-40cl.5	SAT	0
6qbf-5cnf-160var-320cl.2	SAT	0
6qbf-5cnf-80var-160cl.8	SAT	0
ncf_4_8_2_edau.2	SAT	0
3qbf-5cnf-160var-320cl.4	SAT	0
6qbf-5cnf-40var-80cl.1	SAT	0
3qbf-5cnf-40var-80cl.0	SAT	0
4qbf-5cnf-40var-80cl.9	SAT	0
ncf_4_8_2_euad.7	UNSAT	0
impl06	SAT	0
3qbf-5cnf-20var-640cl.1	UNSAT	0
6qbf-5cnf-20var-80cl.3	SAT	0
6qbf-5cnf-20var-80cl.1	SAT	0
3qbf-5cnf-40var-80cl.5	SAT	0
6qbf-5cnf-160var-320cl.0	SAT	0
6qbf-5cnf-20var-80cl.9	SAT	0
5qbf-5cnf-20var-80cl.7	SAT	0
4qbf-5cnf-20var-80cl.2	SAT	0
ncf_4_8_2_d.4	UNSAT	0
2qbf-5cnf-80var-160cl.1	SAT	0
5qbf-5cnf-20var-40cl.3	SAT	0
2qbf-5cnf-20var-40cl.4	SAT	0
3qbf-5cnf-160var-320cl.7	SAT	0
6qbf-5cnf-80var-320cl.5	SAT	0
ncf_8_16_4_euad.2	UNSAT	0
2qbf-5cnf-40var-80cl.8	SAT	0
tree-exa2-35	UNSAT	0
ncf_8_16_2_euad.8	UNSAT	0
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0
5qbf-5cnf-40var-640cl.8	UNSAT	0
ncf_8_16_2_edau.1	SAT	0
5qbf-5cnf-160var-640cl.7	SAT	0
2qbf-5cnf-80var-160cl.4	SAT	0
6qbf-5cnf-20var-40cl.5	SAT	0
3qbf-5cnf-160var-320cl.6	SAT	0
6qbf-5cnf-80var-160cl.6	SAT	0
toilet_c_08_01.2	UNSAT	0
4qbf-5cnf-20var-80cl.3	SAT	0
4qbf-5cnf-40var-80cl.6	SAT	0
tree-exa10-20	SAT	0
3qbf-5cnf-80var-160cl.5	SAT	0
s641_d7_u	FAIL	0
impl14	SAT	0
ncf_4_8_2_euad.10	FAIL	0
ncf_4_16_4_edau.1	SAT	0
5qbf-5cnf-40var-160cl.9	SAT	0
5qbf-5cnf-160var-320cl.9	SAT	0
4qbf-5cnf-20var-40cl.7	SAT	0
6qbf-5cnf-20var-40cl.2	SAT	0
toilet_c_10_05.2	UNSAT	0
3qbf-5cnf-40var-1280cl.1	UNSAT	0
6qbf-5cnf-160var-320cl.7	SAT	0
ncf_4_8_4_edau.9	SAT	0
6qbf-5cnf-160var-320cl.1	SAT	0
5qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-160var-320cl.3	SAT	0
counter_re_4	SAT	0
3qbf-5cnf-20var-640cl.8	UNSAT	0
TOILET2.1.iv.3	UNSAT	0
3qbf-5cnf-20var-40cl.5	SAT	0
5qbf-5cnf-80var-320cl.8	SAT	0
ncf_4_8_4_u.2	UNSAT	0
2qbf-5cnf-40var-80cl.6	SAT	0
3qbf-5cnf-20var-640cl.4	UNSAT	0
6qbf-5cnf-40var-160cl.0	SAT	0
4qbf-5cnf-40var-1280cl.1	UNSAT	0
4qbf-5cnf-160var-320cl.7	SAT	0
k_poly_p-4	UNSAT	0
5qbf-5cnf-80var-160cl.6	SAT	0
1qbf-5cnf-20var-320cl.2	SAT	0
1qbf-5cnf-40var-320cl.9	SAT	0
1qbf-5cnf-40var-80cl.7	SAT	0
1qbf-5cnf-40var-80cl.4	SAT	0
6qbf-5cnf-20var-40cl.4	SAT	0
1qbf-5cnf-80var-160cl.3	SAT	0
1qbf-5cnf-20var-80cl.4	SAT	0
1qbf-5cnf-20var-80cl.8	SAT	0
1qbf-5cnf-40var-160cl.4	SAT	0
1qbf-5cnf-40var-80cl.5	SAT	0
1qbf-5cnf-20var-160cl.8	SAT	0
1qbf-5cnf-80var-320cl.8	SAT	0
1qbf-5cnf-80var-640cl.5	SAT	0
1qbf-5cnf-20var-40cl.6	SAT	0
1qbf-5cnf-20var-80cl.9	SAT	0
1qbf-5cnf-40var-80cl.1	SAT	0
1qbf-5cnf-40var-640cl.5	SAT	0
1qbf-5cnf-80var-640cl.2	SAT	0
1qbf-5cnf-40var-80cl.3	SAT	0
1qbf-5cnf-80var-320cl.7	SAT	0
1qbf-5cnf-160var-1280cl.2	SAT	0
6qbf-5cnf-20var-80cl.5	SAT	0
1qbf-5cnf-20var-40cl.7	SAT	0
1qbf-5cnf-40var-160cl.9	SAT	0
1qbf-5cnf-20var-80cl.5	SAT	0
1qbf-5cnf-20var-320cl.6	SAT	0
1qbf-5cnf-160var-320cl.2	SAT	0
1qbf-5cnf-160var-640cl.6	SAT	0
1qbf-5cnf-20var-80cl.6	SAT	0
1qbf-5cnf-40var-80cl.8	SAT	0
1qbf-5cnf-160var-640cl.0	SAT	0
1qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-80var-640cl.3	SAT	0
1qbf-5cnf-160var-640cl.1	SAT	0
1qbf-5cnf-40var-640cl.2	SAT	0
1qbf-5cnf-20var-40cl.2	SAT	0
1qbf-5cnf-20var-40cl.8	SAT	0
1qbf-5cnf-160var-1280cl.9	SAT	0
1qbf-5cnf-80var-640cl.6	SAT	0
1qbf-5cnf-40var-320cl.0	SAT	0
1qbf-5cnf-20var-160cl.5	SAT	0
1qbf-5cnf-80var-160cl.7	SAT	0
1qbf-5cnf-160var-320cl.8	SAT	0
1qbf-5cnf-80var-320cl.4	SAT	0
1qbf-5cnf-20var-320cl.9	SAT	0
1qbf-5cnf-40var-160cl.1	SAT	0
1qbf-5cnf-40var-320cl.1	SAT	0
1qbf-5cnf-20var-80cl.2	SAT	0
1qbf-5cnf-160var-320cl.9	SAT	0
1qbf-5cnf-80var-160cl.0	SAT	0
1qbf-5cnf-20var-80cl.0	SAT	0
1qbf-5cnf-20var-80cl.3	SAT	0
1qbf-5cnf-40var-320cl.2	SAT	0
1qbf-5cnf-20var-160cl.2	SAT	0
1qbf-5cnf-80var-640cl.4	SAT	0
1qbf-5cnf-80var-320cl.0	SAT	0
1qbf-5cnf-80var-160cl.8	SAT	0
1qbf-5cnf-160var-320cl.6	SAT	0
1qbf-5cnf-20var-160cl.0	SAT	0
1qbf-5cnf-20var-40cl.9	SAT	0
1qbf-5cnf-80var-160cl.9	SAT	0
1qbf-5cnf-20var-320cl.0	SAT	0
1qbf-5cnf-80var-160cl.6	SAT	0
1qbf-5cnf-20var-40cl.1	SAT	0
1qbf-5cnf-40var-320cl.7	SAT	0
1qbf-5cnf-160var-640cl.9	SAT	0
1qbf-5cnf-20var-640cl.7	UNSAT	0
1qbf-5cnf-160var-1280cl.3	SAT	0
1qbf-5cnf-20var-160cl.9	SAT	0
1qbf-5cnf-40var-80cl.2	SAT	0
1qbf-5cnf-40var-320cl.8	SAT	0
1qbf-5cnf-80var-320cl.5	SAT	0
4qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-20var-160cl.4	SAT	0
1qbf-5cnf-160var-320cl.1	SAT	0
1qbf-5cnf-40var-160cl.8	SAT	0
5qbf-5cnf-40var-80cl.1	SAT	0
1qbf-5cnf-20var-640cl.5	UNSAT	0
1qbf-5cnf-20var-160cl.7	SAT	0
1qbf-5cnf-40var-80cl.0	SAT	0
1qbf-5cnf-20var-40cl.0	SAT	0
6qbf-5cnf-80var-160cl.7	SAT	0
1qbf-5cnf-40var-640cl.4	SAT	0
1qbf-5cnf-80var-160cl.1	SAT	0
1qbf-5cnf-20var-80cl.1	SAT	0
1qbf-5cnf-40var-80cl.6	SAT	0
ncf_16_32_2_edau.6	SAT	0.01
flipflop-3-c	UNSAT	0.01
impl20	SAT	0.01
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
ncf_4_16_4_u.5	FAIL	0.01
tree-exa10-30	SAT	0.01
6qbf-5cnf-40var-160cl.7	SAT	0.01
k_dum_n-4	SAT	0.01
ncf_4_16_4_d.5	SAT	0.01
5qbf-5cnf-80var-320cl.1	SAT	0.01
5qbf-5cnf-40var-80cl.8	SAT	0.01
ncf_8_16_4_euad.1	SAT	0.01
6qbf-5cnf-160var-640cl.2	SAT	0.01
4qbf-5cnf-80var-160cl.6	SAT	0.01
ncf_8_16_2_d.6	UNSAT	0.01
4qbf-5cnf-20var-40cl.5	SAT	0.01
5qbf-5cnf-40var-160cl.7	SAT	0.01
impl16	SAT	0.01
ncf_4_8_8_u.9	UNSAT	0.01
5qbf-5cnf-40var-160cl.1	SAT	0.01
ncf_4_16_4_d.8	SAT	0.01
6qbf-5cnf-40var-160cl.5	SAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
szymanski-4-s	UNSAT	0.01
ncf_8_16_4_edau.2	UNSAT	0.01
2qbf-5cnf-20var-80cl.2	SAT	0.01
toilet_c_08_01.4	UNSAT	0.01
5qbf-5cnf-20var-80cl.9	SAT	0.01
4qbf-5cnf-160var-320cl.1	SAT	0.01
4qbf-5cnf-160var-320cl.8	SAT	0.01
ncf_4_8_8_edau.5	UNSAT	0.01
3qbf-5cnf-80var-2560cl.0	UNSAT	0.01
3qbf-5cnf-80var-320cl.9	SAT	0.01
2qbf-5cnf-80var-160cl.7	SAT	0.01
3qbf-5cnf-20var-640cl.2	UNSAT	0.01
4qbf-5cnf-40var-160cl.6	SAT	0.01
3qbf-5cnf-80var-160cl.0	SAT	0.01
mutex-4-s	SAT	0.01
k_grz_n-4	SAT	0.01
ncf_4_8_2_d.1	UNSAT	0.01
CHAIN13v.14	SAT	0.01
2qbf-5cnf-80var-160cl.2	SAT	0.01
ncf_8_16_2_edau.4	SAT	0.01
4qbf-5cnf-160var-320cl.3	SAT	0.01
2qbf-5cnf-20var-40cl.0	SAT	0.01
ncf_16_32_4_d.1	FAIL	0.01
ncf_4_8_4_edau.7	UNSAT	0.01
ncf_4_16_4_euad.8	SAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
toilet_c_08_01.8	UNSAT	0.01
5qbf-5cnf-160var-640cl.4	SAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.01
6qbf-5cnf-80var-320cl.9	SAT	0.01
6qbf-5cnf-40var-160cl.8	SAT	0.01
ncf_4_8_2_u.9	SAT	0.01
ncf_4_16_2_edau.2	SAT	0.01
tree-exa2-10	UNSAT	0.01
ncf_4_8_4_edau.5	SAT	0.01
s641_d4_s	FAIL	0.01
3qbf-5cnf-80var-2560cl.5	UNSAT	0.01
5qbf-5cnf-40var-160cl.3	SAT	0.01
ncf_8_16_2_u.8	UNSAT	0.01
k_ph_p-4	UNSAT	0.01
5qbf-5cnf-160var-320cl.8	SAT	0.01
ncf_4_8_2_edau.9	SAT	0.01
ncf_4_16_4_d.1	SAT	0.01
4qbf-5cnf-20var-80cl.9	SAT	0.01
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.01
ncf_16_32_2_edau.9	UNSAT	0.01
6qbf-5cnf-40var-80cl.9	SAT	0.01
5qbf-5cnf-20var-640cl.7	UNSAT	0.01
3qbf-5cnf-40var-80cl.8	SAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
ncf_8_16_4_edau.10	SAT	0.01
3qbf-5cnf-20var-80cl.7	SAT	0.01
5qbf-5cnf-20var-80cl.1	SAT	0.01
3qbf-5cnf-20var-640cl.3	UNSAT	0.01
horn_400CNF1520_2aQBF_625	UNSAT	0.01
5qbf-5cnf-80var-320cl.0	SAT	0.01
ncf_8_16_2_edau.7	SAT	0.01
2qbf-5cnf-40var-80cl.0	SAT	0.01
k_poly_n-16	SAT	0.01
5qbf-5cnf-40var-80cl.7	SAT	0.01
6qbf-5cnf-20var-80cl.2	SAT	0.01
tree-exa2-50	UNSAT	0.01
k_d4_p-4	UNSAT	0.01
5qbf-5cnf-160var-640cl.6	SAT	0.01
ncf_4_16_2_edau.9	SAT	0.01
6qbf-5cnf-160var-640cl.8	SAT	0.01
6qbf-5cnf-80var-320cl.4	SAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
ncf_4_8_2_d.7	UNSAT	0.01
ncf_4_8_2_d.8	SAT	0.01
ncf_4_8_4_euad.5	SAT	0.01
4qbf-5cnf-40var-160cl.5	SAT	0.01
2qbf-5cnf-20var-40cl.3	SAT	0.01
5qbf-5cnf-80var-160cl.4	SAT	0.01
ncf_4_16_2_u.4	SAT	0.01
5qbf-5cnf-40var-160cl.2	SAT	0.01
ncf_4_16_4_u.8	SAT	0.01
ncf_16_32_2_d.6	SAT	0.01
2qbf-5cnf-80var-160cl.3	SAT	0.01
toilet_c_10_01.8	UNSAT	0.01
5qbf-5cnf-40var-160cl.5	SAT	0.01
ncf_4_8_2_u.8	SAT	0.01
ncf_4_8_2_edau.5	SAT	0.01
3qbf-5cnf-20var-40cl.7	SAT	0.01
k_dum_p-4	UNSAT	0.01
6qbf-5cnf-160var-640cl.6	SAT	0.01
4qbf-5cnf-20var-80cl.7	SAT	0.01
3qbf-5cnf-40var-1280cl.9	UNSAT	0.01
ncf_8_16_4_d.6	UNSAT	0.01
6qbf-5cnf-80var-160cl.0	SAT	0.01
6qbf-5cnf-160var-640cl.4	SAT	0.01
6qbf-5cnf-160var-640cl.7	SAT	0.01
4qbf-5cnf-80var-160cl.4	SAT	0.01
5qbf-5cnf-160var-320cl.0	SAT	0.01
3qbf-5cnf-80var-2560cl.2	UNSAT	0.01
4qbf-5cnf-160var-320cl.5	SAT	0.01
6qbf-5cnf-80var-160cl.9	SAT	0.01
3qbf-5cnf-40var-80cl.2	SAT	0.01
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
4qbf-5cnf-40var-80cl.2	SAT	0.01
adder-2-sat	SAT	0.01
6qbf-5cnf-40var-160cl.9	SAT	0.01
tree-exa2-30	UNSAT	0.01
ncf_8_16_4_edau.6	UNSAT	0.01
ncf_4_8_4_d.9	SAT	0.01
ncf_4_8_8_euad.9	UNSAT	0.01
k_lin_p-4	UNSAT	0.01
k_grz_p-4	UNSAT	0.01
4qbf-5cnf-20var-40cl.4	SAT	0.01
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
ncf_16_32_2_d.9	UNSAT	0.01
5qbf-5cnf-160var-320cl.4	SAT	0.01
6qbf-5cnf-160var-320cl.3	SAT	0.01
ncf_16_32_4_edau.9	SAT	0.01
4qbf-5cnf-80var-160cl.8	SAT	0.01
2qbf-5cnf-160var-320cl.6	SAT	0.01
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.01
Adder2-2-s	SAT	0.01
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.01
k_poly_n-12	SAT	0.01
3qbf-5cnf-40var-80cl.6	SAT	0.01
6qbf-5cnf-160var-640cl.0	SAT	0.01
6qbf-5cnf-80var-160cl.5	SAT	0.01
ncf_4_8_2_euad.5	FAIL	0.01
5qbf-5cnf-160var-320cl.7	SAT	0.01
2qbf-5cnf-20var-80cl.9	SAT	0.01
2qbf-5cnf-20var-40cl.8	SAT	0.01
TOILET7.1.iv.14	SAT	0.01
5qbf-5cnf-20var-40cl.1	SAT	0.01
toilet_c_08_05.2	UNSAT	0.01
6qbf-5cnf-40var-160cl.2	SAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
ncf_8_16_8_edau.1	SAT	0.01
qshifter_4	SAT	0.01
3qbf-5cnf-20var-40cl.1	SAT	0.01
5qbf-5cnf-80var-160cl.9	SAT	0.01
k_poly_p-8	UNSAT	0.01
ncf_4_8_8_d.9	UNSAT	0.01
ncf_16_32_4_d.9	SAT	0.01
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.01
ncf_4_8_4_d.6	SAT	0.01
toilet_c_10_01.4	UNSAT	0.01
k_path_n-4	SAT	0.01
5qbf-5cnf-160var-320cl.1	SAT	0.01
ncf_8_16_4_d.2	UNSAT	0.01
4qbf-5cnf-80var-160cl.9	SAT	0.01
5qbf-5cnf-160var-640cl.5	SAT	0.01
ncf_4_16_2_u.9	SAT	0.01
ncf_4_8_8_edau.9	UNSAT	0.01
2qbf-5cnf-40var-80cl.9	SAT	0.01
5qbf-5cnf-160var-320cl.6	SAT	0.01
ncf_8_16_4_edau.8	UNSAT	0.01
4qbf-5cnf-160var-320cl.9	SAT	0.01
3qbf-5cnf-160var-320cl.8	SAT	0.01
2qbf-5cnf-40var-80cl.3	SAT	0.01
6qbf-5cnf-160var-640cl.3	SAT	0.01
ncf_4_8_2_u.10	SAT	0.01
ncf_4_8_8_edau.8	SAT	0.01
1qbf-5cnf-20var-160cl.6	SAT	0.01
1qbf-5cnf-40var-640cl.6	SAT	0.01
1qbf-5cnf-80var-320cl.6	SAT	0.01
1qbf-5cnf-40var-640cl.1	SAT	0.01
1qbf-5cnf-20var-320cl.8	SAT	0.01
1qbf-5cnf-160var-640cl.5	SAT	0.01
1qbf-5cnf-40var-320cl.6	SAT	0.01
1qbf-5cnf-20var-320cl.1	SAT	0.01
1qbf-5cnf-40var-160cl.7	SAT	0.01
1qbf-5cnf-40var-160cl.3	SAT	0.01
1qbf-5cnf-160var-640cl.2	SAT	0.01
1qbf-5cnf-20var-40cl.5	SAT	0.01
1qbf-5cnf-80var-640cl.1	SAT	0.01
1qbf-5cnf-40var-160cl.2	SAT	0.01
1qbf-5cnf-160var-1280cl.1	SAT	0.01
1qbf-5cnf-20var-640cl.3	UNSAT	0.01
1qbf-5cnf-20var-320cl.3	SAT	0.01
1qbf-5cnf-40var-640cl.3	SAT	0.01
1qbf-5cnf-160var-320cl.7	SAT	0.01
1qbf-5cnf-160var-320cl.5	SAT	0.01
5qbf-5cnf-80var-160cl.3	SAT	0.01
1qbf-5cnf-20var-320cl.4	SAT	0.01
1qbf-5cnf-20var-640cl.4	UNSAT	0.01
1qbf-5cnf-80var-160cl.4	SAT	0.01
1qbf-5cnf-160var-640cl.4	SAT	0.01
1qbf-5cnf-20var-160cl.1	SAT	0.01
1qbf-5cnf-80var-320cl.1	SAT	0.01
1qbf-5cnf-40var-640cl.7	SAT	0.01
1qbf-5cnf-20var-640cl.6	UNSAT	0.01
1qbf-5cnf-40var-160cl.5	SAT	0.01
1qbf-5cnf-80var-320cl.2	SAT	0.01
1qbf-5cnf-160var-640cl.8	SAT	0.01
1qbf-5cnf-80var-640cl.9	SAT	0.01
1qbf-5cnf-160var-320cl.3	SAT	0.01
1qbf-5cnf-80var-640cl.0	SAT	0.01
1qbf-5cnf-40var-320cl.4	SAT	0.01
1qbf-5cnf-20var-320cl.5	SAT	0.01
1qbf-5cnf-160var-640cl.7	SAT	0.01
1qbf-5cnf-40var-80cl.9	SAT	0.01
1qbf-5cnf-160var-1280cl.4	SAT	0.01
1qbf-5cnf-40var-160cl.6	SAT	0.01
1qbf-5cnf-160var-640cl.3	SAT	0.01
1qbf-5cnf-20var-640cl.2	UNSAT	0.01
1qbf-5cnf-40var-320cl.5	SAT	0.01
1qbf-5cnf-20var-40cl.4	SAT	0.01
1qbf-5cnf-40var-320cl.3	SAT	0.01
1qbf-5cnf-160var-320cl.0	SAT	0.01
1qbf-5cnf-40var-640cl.9	SAT	0.01
1qbf-5cnf-80var-160cl.2	SAT	0.01
1qbf-5cnf-80var-160cl.5	SAT	0.01
1qbf-5cnf-160var-320cl.4	SAT	0.01
1qbf-5cnf-20var-80cl.7	SAT	0.01
1qbf-5cnf-80var-1280cl.2	SAT	0.01
1qbf-5cnf-80var-1280cl.9	SAT	0.01
1qbf-5cnf-80var-640cl.7	SAT	0.01
ncf_4_16_2_euad.2	SAT	0.02
k_dum_p-21	UNSAT	0.02
ncf_16_32_4_edau.1	FAIL	0.02
ncf_8_16_2_edau.6	UNSAT	0.02
ncf_4_8_2_edau.3	UNSAT	0.02
4qbf-5cnf-20var-80cl.5	SAT	0.02
k_path_p-4	UNSAT	0.02
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.02
ncf_4_8_8_d.8	SAT	0.02
k_poly_n-4	SAT	0.02
2qbf-5cnf-80var-160cl.6	SAT	0.02
k_ph_n-4	SAT	0.02
ncf_8_16_2_u.10	SAT	0.02
flipflop-5-c	UNSAT	0.02
2qbf-5cnf-160var-320cl.5	SAT	0.02
ncf_8_16_4_u.2	UNSAT	0.02
ncf_16_32_2_d.7	UNSAT	0.02
ncf_8_16_8_u.1	SAT	0.02
ncf_8_16_2_d.5	UNSAT	0.02
k_path_n-8	SAT	0.02
ncf_4_8_2_euad.6	SAT	0.02
ncf_8_16_2_edau.10	SAT	0.02
ncf_4_8_8_d.5	UNSAT	0.02
ncf_4_8_4_d.7	UNSAT	0.02
lut4_XOR_f1	SAT	0.02
CHAIN12v.13	SAT	0.02
ncf_8_16_2_u.5	UNSAT	0.02
3qbf-5cnf-160var-5120cl.7	UNSAT	0.02
k_dum_n-8	SAT	0.02
TOILET6.1.iv.12	SAT	0.02
ncf_8_16_8_euad.1	SAT	0.02
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.02
ncf_4_16_4_edau.5	SAT	0.02
ncf_16_32_2_euad.9	UNSAT	0.02
k_grz_n-8	SAT	0.02
ncf_4_16_2_d.9	SAT	0.02
qshifter_5	SAT	0.02
5qbf-5cnf-160var-640cl.2	SAT	0.02
2qbf-5cnf-80var-160cl.0	SAT	0.02
ncf_8_16_2_u.6	UNSAT	0.02
5qbf-5cnf-160var-320cl.2	SAT	0.02
CHAIN14v.15	SAT	0.02
ncf_8_16_2_euad.5	UNSAT	0.02
toilet_c_08_05.4	SAT	0.02
k_poly_p-16	UNSAT	0.02
ncf_8_16_2_edau.9	UNSAT	0.02
k_dum_n-20	SAT	0.02
3qbf-5cnf-160var-5120cl.3	UNSAT	0.02
k_dum_p-12	UNSAT	0.02
k_poly_n-8	SAT	0.02
k_poly_p-12	UNSAT	0.02
2qbf-5cnf-80var-160cl.9	SAT	0.02
ncf_4_8_2_u.6	SAT	0.02
3qbf-5cnf-160var-5120cl.4	UNSAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
k_poly_n-21	SAT	0.02
k_grz_p-8	UNSAT	0.02
k_path_p-8	UNSAT	0.02
k_dum_n-12	SAT	0.02
k_poly_p-20	UNSAT	0.02
3qbf-5cnf-80var-2560cl.3	UNSAT	0.02
3qbf-5cnf-20var-80cl.4	SAT	0.02
2qbf-5cnf-20var-80cl.8	SAT	0.02
1qbf-5cnf-20var-640cl.0	UNSAT	0.02
1qbf-5cnf-80var-320cl.9	SAT	0.02
1qbf-5cnf-80var-1280cl.5	SAT	0.02
1qbf-5cnf-80var-1280cl.4	SAT	0.02
1qbf-5cnf-20var-320cl.7	SAT	0.02
1qbf-5cnf-80var-320cl.3	SAT	0.02
1qbf-5cnf-20var-160cl.3	SAT	0.02
1qbf-5cnf-80var-1280cl.6	SAT	0.02
1qbf-5cnf-40var-640cl.8	SAT	0.02
1qbf-5cnf-160var-1280cl.6	SAT	0.02
1qbf-5cnf-40var-160cl.0	SAT	0.02
1qbf-5cnf-20var-640cl.8	UNSAT	0.02
1qbf-5cnf-20var-640cl.9	UNSAT	0.02
1qbf-5cnf-160var-1280cl.8	SAT	0.02
1qbf-5cnf-160var-1280cl.5	SAT	0.02
1qbf-5cnf-20var-640cl.1	UNSAT	0.02
1qbf-5cnf-40var-640cl.0	SAT	0.02
1qbf-5cnf-80var-1280cl.1	SAT	0.02
1qbf-5cnf-80var-640cl.8	SAT	0.02
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.03
ncf_8_16_2_u.9	UNSAT	0.03
ncf_16_32_4_d.7	UNSAT	0.03
ncf_8_32_2_edau.9	UNSAT	0.03
lut4_XOR_fOR	UNSAT	0.03
2qbf-5cnf-20var-80cl.3	SAT	0.03
ncf_8_16_2_euad.9	UNSAT	0.03
2qbf-5cnf-20var-80cl.1	SAT	0.03
k_dum_p-20	UNSAT	0.03
k_poly_n-20	SAT	0.03
2qbf-5cnf-20var-80cl.0	SAT	0.03
3qbf-5cnf-160var-5120cl.9	UNSAT	0.03
3qbf-5cnf-160var-5120cl.2	UNSAT	0.03
k_dum_n-16	SAT	0.03
k_lin_p-8	UNSAT	0.03
CHAIN18v.19	SAT	0.03
CHAIN15v.16	SAT	0.03
connect_5x4_4_D	UNSAT	0.03
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.03
2qbf-5cnf-20var-80cl.4	SAT	0.03
ncf_16_32_4_edau.7	UNSAT	0.03
3qbf-5cnf-160var-5120cl.6	UNSAT	0.03
3qbf-5cnf-160var-5120cl.0	UNSAT	0.03
k_dum_p-8	UNSAT	0.03
ncf_4_8_4_d.8	UNSAT	0.03
k_path_p-12	UNSAT	0.03
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.03
k_dum_p-16	UNSAT	0.03
s27_d3_u	UNSAT	0.03
ncf_8_32_2_d.9	UNSAT	0.03
ncf_4_8_4_d.1	SAT	0.03
BLOCKS3ii.4.3	UNSAT	0.03
k_dum_n-21	SAT	0.03
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	0.03
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.03
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.03
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.03
ncf_8_16_8_d.1	SAT	0.03
ncf_16_32_4_d.10	UNSAT	0.03
1qbf-5cnf-160var-1280cl.7	SAT	0.03
1qbf-5cnf-160var-1280cl.0	SAT	0.03
flipflop-6-c	UNSAT	0.04
ncf_16_32_8_edau.4	SAT	0.04
k_t4p_p-4	UNSAT	0.04
ncf_4_16_2_u.2	SAT	0.04
BLOCKS3i.4.4	UNSAT	0.04
2qbf-5cnf-160var-320cl.3	SAT	0.04
ncf_16_32_4_edau.10	UNSAT	0.04
k_ph_n-8	SAT	0.04
CHAIN17v.18	SAT	0.04
k_grz_p-12	UNSAT	0.04
k_path_n-12	SAT	0.04
k_poly_p-21	UNSAT	0.04
CHAIN16v.17	SAT	0.04
ncf_16_32_8_d.4	SAT	0.04
ncf_4_16_2_euad.4	SAT	0.04
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.04
k_path_p-16	UNSAT	0.05
szymanski-5-s	UNSAT	0.05
CHAIN20v.21	SAT	0.05
connect_5x4_3_W	UNSAT	0.05
connect_5x4_4_W	UNSAT	0.05
k_lin_n-4	SAT	0.05
toilet_a_08_01.2	UNSAT	0.05
k_path_n-16	SAT	0.05
k_t4p_n-4	SAT	0.05
connect_5x4_3_D	UNSAT	0.05
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.05
ncf_4_32_2_d.1	UNSAT	0.06
ncf_4_32_2_edau.1	UNSAT	0.06
TOILET6.1.iv.11	UNSAT	0.06
CHAIN19v.20	SAT	0.06
CHAIN21v.22	SAT	0.06
k_path_p-21	UNSAT	0.06
k_lin_p-12	UNSAT	0.06
BLOCKS3iii.5	SAT	0.06
1qbf-5cnf-80var-1280cl.0	SAT	0.06
toilet_a_08_05.2	UNSAT	0.07
toilet_a_08_01.4	UNSAT	0.07
2qbf-5cnf-20var-80cl.5	SAT	0.07
CHAIN22v.23	SAT	0.07
toilet_a_08_01.8	UNSAT	0.07
k_path_n-20	SAT	0.07
adder-2-unsat	UNSAT	0.08
toilet_a_08_05.4	SAT	0.08
CHAIN23v.24	SAT	0.08
ncf_4_16_2_d.5	UNSAT	0.08
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.08
connect_6x5_5_W	UNSAT	0.08
k_path_p-20	UNSAT	0.08
k_d4_p-16	UNSAT	0.09
flipflop-7-c	UNSAT	0.09
2qbf-5cnf-20var-80cl.7	SAT	0.09
k_path_n-21	SAT	0.09
connect_6x5_5_D	UNSAT	0.1
s27_d4_u	UNSAT	0.1
toilet_a_08_01.16	SAT	0.11
k_d4_p-20	UNSAT	0.11
vonNeumann-ripple-carry-5-c	UNSAT	0.11
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	0.11
k_lin_p-16	UNSAT	0.11
connect_6x5_4_D	UNSAT	0.11
k_d4_p-21	UNSAT	0.11
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.11
toilet_a_08_05.8	SAT	0.11
lut4_2_fXOR	SAT	0.12
ncf_4_8_2_d.3	UNSAT	0.12
toilet_c_08_10.2	SAT	0.12
ncf_8_16_2_d.2	UNSAT	0.12
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.12
ncf_4_8_8_edau.1	SAT	0.12
connect_6x5_4_W	UNSAT	0.12
ncf_4_8_8_d.3	SAT	0.12
ncf_8_16_2_euad.2	UNSAT	0.12
connect_6x5_3_W	UNSAT	0.12
ncf_8_16_2_u.2	UNSAT	0.13
ncf_8_16_2_edau.2	UNSAT	0.13
2qbf-5cnf-20var-80cl.6	SAT	0.13
ncf_4_16_2_edau.5	UNSAT	0.15
BLOCKS3ii.5.2	UNSAT	0.15
2qbf-5cnf-160var-320cl.9	SAT	0.15
connect_6x5_3_D	UNSAT	0.15
BLOCKS3i.5.3	UNSAT	0.15
1qbf-5cnf-80var-1280cl.8	SAT	0.15
ncf_4_16_2_d.7	SAT	0.16
adder-4-sat	SAT	0.17
BLOCKS3ii.5.3	SAT	0.17
Adder2-4-s	SAT	0.17
connect_7x6_6_W	UNSAT	0.17
1qbf-5cnf-160var-2560cl.5	SAT	0.17
ncf_4_16_4_d.9	SAT	0.18
toilet_a_08_10.2	SAT	0.18
connect_7x6_6_D	UNSAT	0.18
flipflop-8-c	UNSAT	0.18
ncf_4_8_8_edau.3	SAT	0.2
toilet_a_08_05.10	SAT	0.2
toilet_c_10_05.8	SAT	0.2
vonNeumann-ripple-carry-6-c	UNSAT	0.2
connect_7x6_5_W	UNSAT	0.2
1qbf-5cnf-40var-1280cl.5	UNSAT	0.21
1qbf-5cnf-40var-1280cl.2	UNSAT	0.21
connect_7x6_4_W	UNSAT	0.22
1qbf-5cnf-40var-1280cl.9	UNSAT	0.22
counter_8	SAT	0.23
ncf_8_16_2_edau.5	UNSAT	0.23
connect_7x6_5_D	UNSAT	0.23
toilet_c_08_05.10	SAT	0.23
ncf_4_8_8_u.3	SAT	0.23
ncf_4_8_8_u.1	SAT	0.24
toilet_c_10_05.12	SAT	0.24
toilet_c_08_05.8	SAT	0.25
1qbf-5cnf-40var-1280cl.7	UNSAT	0.25
k_lin_n-8	SAT	0.26
connect_7x6_3_W	UNSAT	0.26
k_lin_p-20	UNSAT	0.26
1qbf-5cnf-40var-1280cl.0	UNSAT	0.26
1qbf-5cnf-40var-1280cl.1	UNSAT	0.26
connect_7x6_4_D	UNSAT	0.27
connect_8x7_7_W	UNSAT	0.28
lut4_2_f1	SAT	0.28
2qbf-5cnf-20var-320cl.1	UNSAT	0.28
1qbf-5cnf-40var-1280cl.3	UNSAT	0.28
BLOCKS3i.5.4	SAT	0.29
qshifter_6	SAT	0.29
connect_7x6_3_D	UNSAT	0.29
1qbf-5cnf-40var-1280cl.6	UNSAT	0.29
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	0.31
connect_8x7_7_D	UNSAT	0.31
k_lin_p-21	UNSAT	0.31
flipflop-9-c	UNSAT	0.33
s27_d5_u	UNSAT	0.34
ncf_4_8_4_edau.8	UNSAT	0.34
connect_8x7_6_W	UNSAT	0.34
ncf_4_8_8_d.1	SAT	0.35
connect_8x7_6_D	UNSAT	0.35
Adder2-2-c	UNSAT	0.35
ncf_4_16_2_edau.7	SAT	0.36
ncf_4_8_2_u.2	SAT	0.37
1qbf-5cnf-40var-1280cl.4	UNSAT	0.37
toilet_c_10_05.7	SAT	0.38
connect_8x7_5_W	UNSAT	0.39
vonNeumann-ripple-carry-7-c	UNSAT	0.39
s298_d2_s	SAT	0.39
k_grz_n-12	SAT	0.4
s499_d2_s	SAT	0.41
ncf_4_8_4_edau.10	SAT	0.44
connect_9x8_8_W	UNSAT	0.45
connect_8x7_4_W	UNSAT	0.45
connect_8x7_3_W	UNSAT	0.46
connect_8x7_5_D	UNSAT	0.46
horn_400CNF1520_2aQBF_53	UNSAT	0.46
connect_8x7_3_D	UNSAT	0.46
connect_8x7_4_D	UNSAT	0.49
connect_9x8_8_D	UNSAT	0.5
1qbf-5cnf-40var-1280cl.8	UNSAT	0.5
connect_9x8_7_W	UNSAT	0.52
ncf_8_32_2_edau.8	SAT	0.58
ncf_4_8_8_euad.3	SAT	0.58
1qbf-5cnf-80var-1280cl.7	SAT	0.58
connect_9x8_7_D	UNSAT	0.6
toilet_c_08_01.16	SAT	0.61
flipflop-10-c	UNSAT	0.62
connect_9x8_6_W	UNSAT	0.63
renHorn_400CNF1200_2aQBF_8	UNSAT	0.63
vonNeumann-ripple-carry-8-c	UNSAT	0.63
2qbf-5cnf-20var-640cl.4	UNSAT	0.65
connect_9x8_5_W	UNSAT	0.66
connect_9x8_6_D	UNSAT	0.69
connect_9x8_5_D	UNSAT	0.7
renHorn_400CNF1200_2aQBF_97	UNSAT	0.71
connect_9x8_4_W	UNSAT	0.75
connect_9x8_3_W	UNSAT	0.77
connect_9x8_4_D	UNSAT	0.79
mutex-8-s	SAT	0.81
connect_9x8_3_D	UNSAT	0.88
lognBWLARGEA1	UNSAT	0.92
k_lin_n-12	SAT	0.93
ncf_4_8_2_euad.2	SAT	0.94
vonNeumann-ripple-carry-9-c	UNSAT	0.97
flipflop-11-c	UNSAT	0.99
lut4_AND_f1	SAT	1.05
2qbf-5cnf-40var-160cl.7	UNSAT	1.05
toilet_c_10_10.2	SAT	1.07
TOILET7.1.iv.13	UNSAT	1.08
ncf_4_16_4_edau.9	SAT	1.08
ncf_4_8_4_u.8	UNSAT	1.08
3qbf-5cnf-20var-320cl.4	UNSAT	1.13
2qbf-5cnf-20var-320cl.2	UNSAT	1.19
2qbf-5cnf-20var-640cl.9	UNSAT	1.22
2qbf-5cnf-20var-640cl.7	UNSAT	1.24
robots_1_5_5_24.2	SAT	1.24
2qbf-5cnf-20var-640cl.8	UNSAT	1.28
ncf_16_32_2_euad.7	UNSAT	1.34
k_grz_p-16	UNSAT	1.42
k_d4_n-4	SAT	1.43
renHorn_400CNF1200_2aQBF_28	UNSAT	1.47
toilet_c_10_05.4	SAT	1.47
2qbf-5cnf-20var-160cl.6	UNSAT	1.47
robots_1_5_2_85.2	SAT	1.5
vonNeumann-ripple-carry-10-c	UNSAT	1.51
ncf_4_8_4_d.10	SAT	1.54
flipflop-12-c	UNSAT	1.59
robots_1_5_3_51.2	SAT	1.61
robots_1_5_3_100.2	SAT	1.62
ncf_4_16_4_euad.9	SAT	1.7
lut4_AND_fXOR	UNSAT	1.76
robots_1_5_4_75.2	SAT	1.82
robots_1_5_5_62.2	SAT	1.88
robots_1_5_2_10.2	SAT	1.92
robots_1_5_4_71.2	SAT	1.92
robots_1_5_2_100.2	SAT	1.93
robots_1_5_4_73.2	SAT	1.93
robots_1_5_5_61.2	SAT	1.93
robots_1_5_2_33.2	SAT	1.93
robots_1_5_4_44.2	SAT	1.94
ncf_4_8_4_u.6	SAT	1.95
robots_1_5_5_75.2	SAT	1.96
robots_1_5_2_14.2	SAT	1.96
robots_1_5_4_100.2	SAT	1.96
robots_1_5_5_38.2	SAT	1.97
robots_1_5_5_15.2	SAT	1.98
robots_1_5_4_32.2	SAT	1.98
robots_1_5_4_81.2	SAT	1.98
robots_1_5_5_31.2	SAT	1.99
robots_1_5_5_56.2	SAT	1.99
robots_1_5_3_25.2	SAT	2
k_lin_n-16	SAT	2.01
robots_1_5_2_49.2	SAT	2.02
robots_1_5_5_100.2	SAT	2.03
robots_1_5_2_47.2	SAT	2.03
robots_1_5_3_7.2	SAT	2.05
robots_1_5_4_52.2	SAT	2.05
robots_1_5_5_97.2	SAT	2.05
vonNeumann-ripple-carry-11-c	UNSAT	2.06
robots_1_5_4_22.2	SAT	2.08
k_grz_n-16	SAT	2.1
robots_1_5_2_81.2	SAT	2.12
robots_1_5_3_91.2	SAT	2.12
robots_1_5_3_80.2	SAT	2.12
robots_1_5_2_31.2	SAT	2.13
robots_1_5_3_52.2	SAT	2.16
robots_1_5_3_30.2	SAT	2.17
robots_1_5_2_28.2	SAT	2.19
robots_1_5_4_59.2	SAT	2.19
ncf_4_8_4_edau.1	SAT	2.31
qshifter_7	SAT	2.35
1qbf-5cnf-80var-1280cl.3	SAT	2.37
toilet_a_10_01.2	UNSAT	2.39
toilet_a_10_01.3	UNSAT	2.46
2qbf-5cnf-20var-640cl.1	UNSAT	2.47
renHorn_400CNF1200_2aQBF_79	UNSAT	2.49
2qbf-5cnf-20var-640cl.0	UNSAT	2.53
robots_1_5_3_26.2	SAT	2.55
2qbf-5cnf-20var-640cl.6	UNSAT	2.56
k_grz_p-21	UNSAT	2.56
toilet_a_10_01.4	UNSAT	2.56
ncf_4_16_4_u.9	SAT	2.58
2qbf-5cnf-20var-160cl.2	UNSAT	2.6
2qbf-5cnf-20var-320cl.0	UNSAT	2.61
robots_1_5_3_62.2	SAT	2.63
k_grz_p-20	UNSAT	2.69
renHorn_400CNF1280_2aQBF_22	UNSAT	2.72
toilet_a_10_01.8	UNSAT	2.76
toilet_a_10_05.2	UNSAT	2.76
k_ph_n-12	SAT	2.78
toilet_a_10_01.20	SAT	2.79
ncf_16_32_2_edau.7	UNSAT	2.83
k_ph_p-8	UNSAT	2.98
horn_400CNF1360_2aQBF_894	UNSAT	3.02
renHorn_400CNF1360_2aQBF_35	UNSAT	3.03
vonNeumann-ripple-carry-12-c	UNSAT	3.07
BLOCKS4iii.6	UNSAT	3.13
horn_400CNF1440_2aQBF_668	UNSAT	3.27
lut4_3_fAND	SAT	3.31
ncf_4_8_4_u.10	SAT	3.35
renHorn_400CNF1480_2aQBF_85	UNSAT	3.44
2qbf-5cnf-20var-160cl.4	UNSAT	3.56
ncf_4_8_4_edau.3	UNSAT	3.59
toilet_a_10_10.2	SAT	3.8
lognBWLARGEB1	UNSAT	3.81
vonNeumann-ripple-carry-13-c	UNSAT	3.84
k_lin_n-20	SAT	3.94
term1.blif_0.10_0.20_0_1_inp_exact	SAT	3.94
2qbf-5cnf-40var-160cl.2	UNSAT	4
ev-pr-4x4-5-3-0-0-1-lg	SAT	4.02
ncf_4_8_4_euad.6	SAT	4.03
k_lin_n-21	SAT	4.65
ncf_4_8_4_euad.10	SAT	4.83
horn_400CNF1280_2aQBF_841	UNSAT	5.15
horn_400CNF1360_2aQBF_755	UNSAT	5.22
2qbf-5cnf-20var-640cl.3	UNSAT	5.25
k_grz_n-20	SAT	5.38
2qbf-5cnf-20var-160cl.3	UNSAT	5.43
2qbf-5cnf-20var-160cl.1	UNSAT	5.44
BLOCKS4ii.6.3	UNSAT	5.47
2qbf-5cnf-20var-640cl.2	UNSAT	5.68
2qbf-5cnf-160var-320cl.0	SAT	5.94
BLOCKS4i.6.4	UNSAT	6.31
3qbf-5cnf-20var-640cl.7	UNSAT	6.4
k_grz_n-21	SAT	6.73
vonNeumann-ripple-carry-15-c	UNSAT	6.87
lut4_2_f2	UNSAT	7.11
2qbf-5cnf-20var-160cl.8	UNSAT	7.18
2qbf-5cnf-20var-640cl.5	UNSAT	7.21
3qbf-5cnf-20var-80cl.1	SAT	7.68
ncf_8_16_8_edau.6	UNSAT	7.69
TOILET10.1.iv.20	SAT	8
2qbf-5cnf-40var-160cl.1	UNSAT	8.4
Adder2-6-c	FAIL	8.57
2qbf-5cnf-80var-640cl.5	FAIL	8.67
2qbf-5cnf-160var-320cl.7	SAT	8.72
4qbf-5cnf-80var-640cl.9	FAIL	8.75
2qbf-5cnf-80var-640cl.6	FAIL	8.8
2qbf-5cnf-80var-640cl.9	FAIL	8.82
robots_1_5_3_70.8	FAIL	8.83
2qbf-5cnf-80var-640cl.3	FAIL	8.83
2qbf-5cnf-160var-1280cl.6	FAIL	8.85
robots_1_5_3_55.8	FAIL	8.87
3qbf-5cnf-80var-640cl.8	FAIL	8.87
robots_1_5_3_100.8	FAIL	8.88
2qbf-5cnf-160var-1280cl.3	FAIL	8.89
robots_1_5_3_64.8	FAIL	8.9
2qbf-5cnf-80var-640cl.8	FAIL	8.9
robots_1_5_2_9.8	FAIL	8.9
2qbf-5cnf-80var-640cl.7	FAIL	8.9
robots_1_5_2_61.8	FAIL	8.91
robots_1_5_5_10.8	FAIL	8.91
robots_1_5_4_99.8	FAIL	8.91
robots_1_5_5_99.8	FAIL	8.92
robots_1_5_4_24.8	FAIL	8.92
4qbf-5cnf-80var-640cl.6	FAIL	8.93
2qbf-5cnf-160var-1280cl.4	FAIL	8.93
5qbf-5cnf-40var-640cl.9	FAIL	8.93
robots_1_5_5_12.8	FAIL	8.93
3qbf-5cnf-80var-640cl.6	FAIL	8.94
robots_1_5_3_39.8	FAIL	8.96
2qbf-5cnf-40var-320cl.3	FAIL	8.96
robots_1_5_5_50.8	FAIL	8.97
2qbf-5cnf-160var-1280cl.1	FAIL	8.97
robots_1_5_2_67.8	FAIL	8.97
ncf_8_16_2_euad.1	SAT	8.97
6qbf-5cnf-40var-640cl.9	FAIL	8.99
2qbf-5cnf-160var-1280cl.7	FAIL	9
2qbf-5cnf-80var-640cl.1	FAIL	9
robots_1_5_3_27.8	FAIL	9
robots_1_5_2_40.8	FAIL	9.01
robots_1_5_2_91.8	FAIL	9.01
3qbf-5cnf-80var-640cl.9	FAIL	9.01
Adder2-8-c	FAIL	9.01
robots_1_5_2_75.8	FAIL	9.01
robots_1_5_4_46.8	FAIL	9.01
robots_1_5_5_95.8	FAIL	9.02
robots_1_5_3_44.8	FAIL	9.02
2qbf-5cnf-160var-1280cl.8	FAIL	9.02
robots_1_5_4_56.8	FAIL	9.02
2qbf-5cnf-80var-640cl.2	FAIL	9.02
robots_1_5_4_17.8	FAIL	9.02
robots_1_5_3_90.8	FAIL	9.03
robots_1_5_5_14.8	FAIL	9.03
robots_1_5_5_66.8	FAIL	9.04
robots_1_5_4_1.8	FAIL	9.04
robots_1_5_4_96.8	FAIL	9.04
4qbf-5cnf-40var-640cl.0	FAIL	9.04
3qbf-5cnf-40var-320cl.2	FAIL	9.04
3qbf-5cnf-160var-1280cl.8	FAIL	9.05
robots_1_5_3_8.8	FAIL	9.05
robots_1_5_2_82.8	FAIL	9.06
2qbf-5cnf-80var-640cl.4	FAIL	9.06
robots_1_5_4_91.8	FAIL	9.06
robots_1_5_4_75.8	FAIL	9.07
2qbf-5cnf-80var-640cl.0	FAIL	9.07
robots_1_5_4_100.8	FAIL	9.07
2qbf-5cnf-40var-320cl.9	FAIL	9.07
robots_1_5_2_32.8	FAIL	9.08
2qbf-5cnf-40var-320cl.6	FAIL	9.08
6qbf-5cnf-80var-1280cl.9	FAIL	9.08
4qbf-5cnf-40var-640cl.7	FAIL	9.09
2qbf-5cnf-160var-1280cl.9	FAIL	9.09
robots_1_5_5_5.8	FAIL	9.1
2qbf-5cnf-160var-1280cl.2	FAIL	9.1
2qbf-5cnf-160var-1280cl.0	FAIL	9.1
2qbf-5cnf-160var-1280cl.5	FAIL	9.11
3qbf-5cnf-160var-1280cl.6	FAIL	9.11
5qbf-5cnf-80var-1280cl.7	FAIL	9.12
robots_1_5_5_33.8	FAIL	9.12
3qbf-5cnf-80var-640cl.5	FAIL	9.12
szymanski-14-s	FAIL	9.13
3qbf-5cnf-80var-640cl.7	FAIL	9.13
robots_1_5_5_100.8	FAIL	9.14
2qbf-5cnf-40var-320cl.0	FAIL	9.14
2qbf-5cnf-40var-320cl.2	FAIL	9.15
robots_1_5_2_100.8	FAIL	9.15
szymanski-16-s	FAIL	9.16
6qbf-5cnf-80var-1280cl.2	FAIL	9.16
3qbf-5cnf-40var-320cl.3	FAIL	9.17
robots_1_5_3_16.8	FAIL	9.17
5qbf-5cnf-80var-1280cl.9	FAIL	9.18
4qbf-5cnf-40var-640cl.5	FAIL	9.19
4qbf-5cnf-80var-640cl.4	FAIL	9.19
4qbf-5cnf-40var-640cl.8	FAIL	9.19
4qbf-5cnf-40var-640cl.1	FAIL	9.2
robots_1_5_2_54.8	FAIL	9.2
6qbf-5cnf-80var-1280cl.6	FAIL	9.2
3qbf-5cnf-160var-1280cl.1	FAIL	9.21
6qbf-5cnf-80var-1280cl.1	FAIL	9.21
3qbf-5cnf-80var-640cl.1	FAIL	9.21
5qbf-5cnf-80var-1280cl.2	FAIL	9.21
szymanski-18-s	FAIL	9.22
3qbf-5cnf-160var-1280cl.4	FAIL	9.23
3qbf-5cnf-40var-640cl.2	FAIL	9.23
2qbf-5cnf-40var-320cl.7	FAIL	9.25
4qbf-5cnf-40var-640cl.9	FAIL	9.27
4qbf-5cnf-160var-1280cl.5	FAIL	9.27
5qbf-5cnf-80var-1280cl.0	FAIL	9.28
szymanski-12-s	FAIL	9.28
4qbf-5cnf-40var-640cl.6	FAIL	9.28
3qbf-5cnf-160var-1280cl.9	FAIL	9.29
3qbf-5cnf-160var-1280cl.0	FAIL	9.29
4qbf-5cnf-80var-640cl.3	FAIL	9.3
3qbf-5cnf-80var-1280cl.2	FAIL	9.3
5qbf-5cnf-80var-1280cl.3	FAIL	9.31
4qbf-5cnf-40var-640cl.4	FAIL	9.32
k_t4p_p-8	FAIL	9.32
2qbf-5cnf-160var-640cl.1	FAIL	9.32
2qbf-5cnf-160var-640cl.5	FAIL	9.33
5qbf-5cnf-80var-1280cl.5	FAIL	9.34
2qbf-5cnf-160var-640cl.9	FAIL	9.35
3qbf-5cnf-80var-640cl.4	FAIL	9.36
3qbf-5cnf-160var-1280cl.7	FAIL	9.37
4qbf-5cnf-40var-320cl.0	FAIL	9.38
4qbf-5cnf-160var-1280cl.9	FAIL	9.38
3qbf-5cnf-80var-1280cl.8	FAIL	9.38
2qbf-5cnf-160var-640cl.0	FAIL	9.38
2qbf-5cnf-80var-1280cl.2	FAIL	9.39
5qbf-5cnf-80var-1280cl.4	FAIL	9.4
C499.blif_0.10_0.20_0_0_out_exact	FAIL	9.4
6qbf-5cnf-80var-1280cl.4	FAIL	9.41
4qbf-5cnf-40var-640cl.3	FAIL	9.43
3qbf-5cnf-80var-640cl.3	FAIL	9.44
C499.blif_0.10_0.20_0_1_out_exact	FAIL	9.44
4qbf-5cnf-80var-1280cl.1	FAIL	9.46
s386_d2_s	SAT	9.47
4qbf-5cnf-80var-1280cl.3	FAIL	9.47
3qbf-5cnf-160var-1280cl.5	FAIL	9.47
4qbf-5cnf-80var-1280cl.9	FAIL	9.47
2qbf-5cnf-80var-1280cl.6	FAIL	9.48
4qbf-5cnf-160var-1280cl.4	FAIL	9.48
2qbf-5cnf-80var-1280cl.8	FAIL	9.48
4qbf-5cnf-40var-640cl.2	FAIL	9.49
2qbf-5cnf-80var-1280cl.9	FAIL	9.5
3qbf-5cnf-160var-1280cl.3	FAIL	9.51
5qbf-5cnf-160var-1280cl.6	FAIL	9.51
4qbf-5cnf-80var-1280cl.2	FAIL	9.51
2qbf-5cnf-160var-640cl.4	FAIL	9.52
2qbf-5cnf-160var-640cl.2	FAIL	9.53
3qbf-5cnf-40var-640cl.3	FAIL	9.54
2qbf-5cnf-40var-320cl.5	FAIL	9.54
4qbf-5cnf-80var-1280cl.6	FAIL	9.55
2qbf-5cnf-80var-1280cl.1	FAIL	9.55
2qbf-5cnf-80var-1280cl.3	FAIL	9.56
4qbf-5cnf-80var-640cl.8	FAIL	9.57
4qbf-5cnf-80var-1280cl.0	FAIL	9.57
5qbf-5cnf-80var-1280cl.1	FAIL	9.57
2qbf-5cnf-160var-640cl.6	FAIL	9.57
3qbf-5cnf-40var-640cl.5	FAIL	9.58
3qbf-5cnf-80var-1280cl.5	FAIL	9.58
2qbf-5cnf-80var-1280cl.4	FAIL	9.59
2qbf-5cnf-80var-1280cl.0	FAIL	9.59
3qbf-5cnf-80var-1280cl.7	FAIL	9.6
4qbf-5cnf-160var-1280cl.8	FAIL	9.6
3qbf-5cnf-80var-1280cl.6	FAIL	9.62
5qbf-5cnf-160var-1280cl.3	FAIL	9.62
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	9.62
4qbf-5cnf-80var-1280cl.8	FAIL	9.63
4qbf-5cnf-80var-640cl.5	FAIL	9.64
4qbf-5cnf-80var-640cl.0	FAIL	9.64
4qbf-5cnf-80var-1280cl.4	FAIL	9.64
2qbf-5cnf-160var-640cl.3	FAIL	9.65
adder-6-unsat	FAIL	9.65
3qbf-5cnf-40var-640cl.6	FAIL	9.65
2qbf-5cnf-40var-320cl.4	FAIL	9.65
4qbf-5cnf-80var-1280cl.7	FAIL	9.66
2qbf-5cnf-80var-1280cl.7	FAIL	9.66
2qbf-5cnf-160var-640cl.7	FAIL	9.66
3qbf-5cnf-80var-1280cl.4	FAIL	9.67
5qbf-5cnf-160var-1280cl.7	FAIL	9.67
2qbf-5cnf-80var-1280cl.5	FAIL	9.68
3qbf-5cnf-80var-1280cl.3	FAIL	9.7
adder-4-unsat	FAIL	9.71
2qbf-5cnf-160var-640cl.8	FAIL	9.73
3qbf-5cnf-80var-1280cl.1	FAIL	9.74
3qbf-5cnf-80var-1280cl.9	FAIL	9.76
3qbf-5cnf-80var-1280cl.0	FAIL	9.79
4qbf-5cnf-80var-1280cl.5	FAIL	9.79
counter_re_64	FAIL	9.82
4qbf-5cnf-160var-1280cl.2	FAIL	9.82
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	9.82
counter_re_16	FAIL	9.84
3qbf-5cnf-160var-2560cl.9	FAIL	9.85
4qbf-5cnf-160var-1280cl.3	FAIL	9.86
3qbf-5cnf-40var-640cl.7	FAIL	9.88
3qbf-5cnf-160var-2560cl.7	FAIL	9.91
3qbf-5cnf-40var-640cl.1	FAIL	9.91
BLOCKS4iii.7	SAT	9.92
5qbf-5cnf-40var-320cl.2	FAIL	9.93
k_d4_n-20	FAIL	9.94
k_d4_n-21	FAIL	9.96
3qbf-5cnf-160var-1280cl.2	FAIL	9.96
szymanski-6-s	UNSAT	9.97
2qbf-5cnf-80var-320cl.8	FAIL	10.01
3qbf-5cnf-40var-640cl.0	FAIL	10.03
k_branch_p-4	FAIL	10.05
szymanski-20-s	FAIL	10.05
4qbf-5cnf-160var-640cl.5	FAIL	10.05
k_d4_p-8	FAIL	10.05
2qbf-5cnf-40var-320cl.1	FAIL	10.08
2qbf-5cnf-80var-320cl.3	FAIL	10.09
2qbf-5cnf-80var-320cl.2	FAIL	10.12
2qbf-5cnf-40var-160cl.6	UNSAT	10.13
5qbf-5cnf-160var-2560cl.9	FAIL	10.14
k_branch_n-4	FAIL	10.14
6qbf-5cnf-40var-320cl.2	FAIL	10.16
4qbf-5cnf-40var-320cl.5	FAIL	10.16
3qbf-5cnf-40var-320cl.0	FAIL	10.21
k_d4_n-8	FAIL	10.21
2qbf-5cnf-80var-320cl.7	FAIL	10.22
6qbf-5cnf-160var-2560cl.7	FAIL	10.24
4qbf-5cnf-40var-320cl.7	FAIL	10.25
6qbf-5cnf-160var-2560cl.6	FAIL	10.25
2qbf-5cnf-80var-320cl.1	FAIL	10.26
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	10.28
2qbf-5cnf-80var-320cl.6	FAIL	10.28
6qbf-5cnf-160var-2560cl.3	FAIL	10.28
6qbf-5cnf-160var-2560cl.5	FAIL	10.28
6qbf-5cnf-160var-2560cl.4	FAIL	10.29
5qbf-5cnf-160var-2560cl.2	FAIL	10.29
6qbf-5cnf-160var-2560cl.1	FAIL	10.31
5qbf-5cnf-160var-2560cl.8	FAIL	10.32
5qbf-5cnf-160var-2560cl.7	FAIL	10.34
6qbf-5cnf-160var-2560cl.0	FAIL	10.35
2qbf-5cnf-80var-320cl.4	FAIL	10.36
6qbf-5cnf-160var-2560cl.9	FAIL	10.36
4qbf-5cnf-160var-1280cl.0	FAIL	10.36
5qbf-5cnf-80var-640cl.9	FAIL	10.37
2qbf-5cnf-80var-320cl.0	FAIL	10.38
3qbf-5cnf-160var-2560cl.6	FAIL	10.38
4qbf-5cnf-40var-320cl.3	FAIL	10.39
6qbf-5cnf-80var-640cl.7	FAIL	10.39
5qbf-5cnf-160var-2560cl.3	FAIL	10.4
5qbf-5cnf-160var-1280cl.5	FAIL	10.4
5qbf-5cnf-160var-2560cl.0	FAIL	10.42
5qbf-5cnf-160var-2560cl.1	FAIL	10.46
5qbf-5cnf-160var-2560cl.6	FAIL	10.47
5qbf-5cnf-160var-2560cl.4	FAIL	10.5
2qbf-5cnf-80var-320cl.9	FAIL	10.52
6qbf-5cnf-40var-640cl.6	FAIL	10.53
5qbf-5cnf-160var-1280cl.4	FAIL	10.53
2qbf-5cnf-160var-2560cl.8	FAIL	10.54
4qbf-5cnf-160var-2560cl.4	FAIL	10.54
4qbf-5cnf-160var-1280cl.1	FAIL	10.54
4qbf-5cnf-160var-1280cl.6	FAIL	10.54
4qbf-5cnf-40var-1280cl.2	FAIL	10.55
3qbf-5cnf-80var-640cl.2	FAIL	10.55
2qbf-5cnf-160var-2560cl.0	FAIL	10.55
6qbf-5cnf-160var-1280cl.3	FAIL	10.55
6qbf-5cnf-40var-320cl.6	FAIL	10.56
horn_400CNF1280_2aQBF_389	UNSAT	10.56
4qbf-5cnf-40var-1280cl.7	FAIL	10.56
szymanski-22-s	FAIL	10.56
4qbf-5cnf-40var-1280cl.8	FAIL	10.56
3qbf-5cnf-160var-2560cl.4	FAIL	10.57
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	10.57
6qbf-5cnf-20var-320cl.2	FAIL	10.57
2qbf-5cnf-160var-2560cl.7	FAIL	10.57
4qbf-5cnf-40var-1280cl.3	FAIL	10.58
4qbf-5cnf-160var-2560cl.7	FAIL	10.58
4qbf-5cnf-160var-2560cl.8	FAIL	10.58
6qbf-5cnf-20var-320cl.6	FAIL	10.58
4qbf-5cnf-160var-2560cl.2	FAIL	10.58
2qbf-5cnf-160var-2560cl.5	FAIL	10.59
4qbf-5cnf-40var-1280cl.0	FAIL	10.59
2qbf-5cnf-160var-2560cl.3	FAIL	10.59
5qbf-5cnf-40var-320cl.7	FAIL	10.59
4qbf-5cnf-160var-2560cl.5	FAIL	10.61
4qbf-5cnf-160var-1280cl.7	FAIL	10.61
3qbf-5cnf-160var-2560cl.5	FAIL	10.62
4qbf-5cnf-40var-1280cl.5	FAIL	10.62
2qbf-5cnf-80var-320cl.5	FAIL	10.63
2qbf-5cnf-160var-2560cl.2	FAIL	10.64
3qbf-5cnf-160var-2560cl.3	FAIL	10.66
6qbf-5cnf-80var-640cl.8	FAIL	10.66
6qbf-5cnf-40var-640cl.3	FAIL	10.66
2qbf-5cnf-160var-2560cl.9	FAIL	10.67
2qbf-5cnf-160var-2560cl.4	FAIL	10.67
5qbf-5cnf-160var-2560cl.5	FAIL	10.68
3qbf-5cnf-80var-320cl.2	FAIL	10.68
4qbf-5cnf-160var-2560cl.3	FAIL	10.7
3qbf-5cnf-160var-2560cl.8	FAIL	10.7
4qbf-5cnf-160var-2560cl.6	FAIL	10.7
TOILET16.1.iv.32	SAT	10.7
4qbf-5cnf-40var-160cl.2	SAT	10.72
adder-8-unsat	FAIL	10.74
3qbf-5cnf-160var-2560cl.1	FAIL	10.74
4qbf-5cnf-40var-1280cl.6	FAIL	10.75
4qbf-5cnf-160var-2560cl.1	FAIL	10.75
3qbf-5cnf-160var-2560cl.0	FAIL	10.76
4qbf-5cnf-160var-2560cl.0	FAIL	10.78
3qbf-5cnf-160var-2560cl.2	FAIL	10.78
2qbf-5cnf-160var-2560cl.6	FAIL	10.79
6qbf-5cnf-20var-320cl.1	FAIL	10.79
6qbf-5cnf-20var-320cl.5	FAIL	10.81
4qbf-5cnf-160var-2560cl.9	FAIL	10.81
6qbf-5cnf-40var-640cl.7	FAIL	10.83
counter_re_32	FAIL	10.85
2qbf-5cnf-160var-2560cl.1	FAIL	10.85
4qbf-5cnf-40var-1280cl.9	FAIL	10.86
6qbf-5cnf-40var-320cl.4	FAIL	10.87
2qbf-5cnf-40var-320cl.8	FAIL	10.89
3qbf-5cnf-80var-640cl.0	FAIL	10.92
6qbf-5cnf-80var-640cl.4	FAIL	10.96
5qbf-5cnf-20var-320cl.9	FAIL	10.97
ncf_4_32_2_euad.2	FAIL	10.99
6qbf-5cnf-160var-1280cl.4	FAIL	11
5qbf-5cnf-20var-320cl.0	FAIL	11
6qbf-5cnf-20var-320cl.3	FAIL	11.02
6qbf-5cnf-80var-1280cl.3	FAIL	11.02
5qbf-5cnf-80var-640cl.5	FAIL	11.03
mutex-32-s	FAIL	11.03
k_branch_n-12	FAIL	11.05
5qbf-5cnf-40var-640cl.5	FAIL	11.06
k_branch_p-12	FAIL	11.07
term1.blif_0.10_0.20_0_1_out_exact	SAT	11.08
6qbf-5cnf-20var-320cl.0	FAIL	11.1
5qbf-5cnf-40var-640cl.0	FAIL	11.1
6qbf-5cnf-40var-640cl.5	FAIL	11.11
4qbf-5cnf-40var-320cl.8	FAIL	11.12
uclid-pipe2	FAIL	11.12
k_d4_n-12	FAIL	11.12
6qbf-5cnf-20var-320cl.8	FAIL	11.13
6qbf-5cnf-160var-1280cl.6	FAIL	11.14
6qbf-5cnf-80var-1280cl.8	FAIL	11.14
5qbf-5cnf-40var-640cl.2	FAIL	11.19
5qbf-5cnf-80var-640cl.4	FAIL	11.22
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	11.24
6qbf-5cnf-40var-640cl.4	FAIL	11.25
6qbf-5cnf-40var-640cl.0	FAIL	11.25
5qbf-5cnf-160var-1280cl.9	FAIL	11.25
5qbf-5cnf-40var-640cl.1	FAIL	11.26
6qbf-5cnf-40var-640cl.8	FAIL	11.26
5qbf-5cnf-40var-640cl.4	FAIL	11.26
counter_e_64	FAIL	11.27
6qbf-5cnf-80var-1280cl.5	FAIL	11.27
4qbf-5cnf-40var-320cl.4	FAIL	11.29
5qbf-5cnf-40var-640cl.6	FAIL	11.29
adder-10-unsat	FAIL	11.31
6qbf-5cnf-40var-640cl.2	FAIL	11.31
horn_400CNF1440_2aQBF_642	FAIL	11.34
Adder2-12-c	FAIL	11.35
6qbf-5cnf-20var-320cl.9	FAIL	11.38
5qbf-5cnf-20var-640cl.0	FAIL	11.4
6qbf-5cnf-160var-1280cl.8	FAIL	11.4
renHorn_400CNF1480_2aQBF_44	FAIL	11.41
3qbf-5cnf-160var-640cl.6	FAIL	11.42
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	11.43
6qbf-5cnf-40var-320cl.1	FAIL	11.43
3qbf-5cnf-80var-320cl.3	FAIL	11.45
renHorn_400CNF1480_2aQBF_96	FAIL	11.46
4qbf-5cnf-80var-640cl.7	FAIL	11.47
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	11.47
counter_r_64	FAIL	11.48
4qbf-5cnf-20var-320cl.2	FAIL	11.49
renHorn_400CNF1560_2aQBF_2	FAIL	11.49
6qbf-5cnf-20var-320cl.4	FAIL	11.49
6qbf-5cnf-160var-1280cl.1	FAIL	11.52
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	11.54
4qbf-5cnf-20var-320cl.8	FAIL	11.56
renHorn_400CNF1480_2aQBF_99	FAIL	11.56
6qbf-5cnf-40var-320cl.8	FAIL	11.56
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	11.58
6qbf-5cnf-80var-1280cl.7	FAIL	11.58
6qbf-5cnf-80var-1280cl.0	FAIL	11.59
6qbf-5cnf-20var-640cl.6	FAIL	11.6
3qbf-5cnf-80var-2560cl.7	FAIL	11.61
renHorn_400CNF1480_2aQBF_21	FAIL	11.61
5qbf-5cnf-160var-1280cl.1	FAIL	11.61
4qbf-5cnf-40var-320cl.9	FAIL	11.62
ncf_4_32_4_edau.4	FAIL	11.64
3qbf-5cnf-160var-640cl.4	FAIL	11.64
5qbf-5cnf-20var-320cl.7	FAIL	11.66
renHorn_400CNF1480_2aQBF_98	FAIL	11.66
6qbf-5cnf-20var-640cl.5	FAIL	11.67
5qbf-5cnf-20var-320cl.2	FAIL	11.67
Adder2-10-c	FAIL	11.68
ncf_4_32_4_edau.10	FAIL	11.72
k_d4_n-16	FAIL	11.73
4qbf-5cnf-80var-2560cl.9	FAIL	11.73
horn_400CNF1520_2aQBF_165	FAIL	11.74
s510_d2_s	SAT	11.75
horn_400CNF1440_2aQBF_737	FAIL	11.75
5qbf-5cnf-40var-640cl.7	FAIL	11.77
5qbf-5cnf-80var-2560cl.3	FAIL	11.77
5qbf-5cnf-20var-320cl.3	FAIL	11.77
5qbf-5cnf-80var-640cl.8	FAIL	11.77
6qbf-5cnf-20var-640cl.1	FAIL	11.78
counter_r_32	FAIL	11.79
4qbf-5cnf-80var-2560cl.2	FAIL	11.79
horn_400CNF1520_2aQBF_98	FAIL	11.8
4qbf-5cnf-80var-2560cl.0	FAIL	11.83
2qbf-5cnf-40var-640cl.6	FAIL	11.83
renHorn_400CNF1560_2aQBF_96	FAIL	11.84
4qbf-5cnf-80var-2560cl.5	FAIL	11.84
4qbf-5cnf-40var-320cl.1	FAIL	11.84
5qbf-5cnf-80var-1280cl.8	FAIL	11.85
4qbf-5cnf-80var-320cl.0	FAIL	11.86
6qbf-5cnf-20var-640cl.0	FAIL	11.86
4qbf-5cnf-20var-320cl.0	FAIL	11.86
ncf_8_16_4_d.7	FAIL	11.86
3qbf-5cnf-160var-640cl.1	FAIL	11.86
renHorn_400CNF1560_2aQBF_72	FAIL	11.86
4qbf-5cnf-20var-320cl.1	FAIL	11.87
4qbf-5cnf-160var-640cl.3	FAIL	11.87
4qbf-5cnf-80var-2560cl.4	FAIL	11.88
BLOCKS4ii.7.2	UNSAT	11.89
5qbf-5cnf-40var-640cl.3	FAIL	11.89
ncf_4_16_2_u.5	FAIL	11.9
2qbf-5cnf-40var-640cl.9	FAIL	11.9
3qbf-5cnf-40var-640cl.9	FAIL	11.9
2qbf-5cnf-40var-640cl.5	FAIL	11.9
3qbf-5cnf-40var-640cl.4	FAIL	11.9
2qbf-5cnf-40var-640cl.4	FAIL	11.9
4qbf-5cnf-80var-2560cl.1	FAIL	11.92
4qbf-5cnf-80var-2560cl.3	FAIL	11.92
4qbf-5cnf-80var-2560cl.7	FAIL	11.93
5qbf-5cnf-80var-1280cl.6	FAIL	11.94
renHorn_400CNF1560_2aQBF_90	FAIL	11.94
horn_400CNF1520_2aQBF_387	FAIL	11.94
4qbf-5cnf-80var-2560cl.6	FAIL	11.96
horn_400CNF1520_2aQBF_760	FAIL	11.96
2qbf-5cnf-40var-640cl.2	FAIL	11.96
k_branch_n-21	FAIL	11.97
2qbf-5cnf-40var-640cl.3	FAIL	11.98
3qbf-5cnf-20var-320cl.2	UNSAT	11.99
4qbf-5cnf-20var-320cl.7	FAIL	11.99
horn_400CNF1520_2aQBF_995	FAIL	12
horn_400CNF1520_2aQBF_600	FAIL	12.01
6qbf-5cnf-20var-640cl.3	FAIL	12.02
2qbf-5cnf-20var-160cl.5	UNSAT	12.02
ncf_4_32_4_u.10	FAIL	12.02
renHorn_400CNF1560_2aQBF_28	FAIL	12.03
horn_400CNF1520_2aQBF_405	FAIL	12.03
renHorn_400CNF1560_2aQBF_68	FAIL	12.03
horn_400CNF1520_2aQBF_782	FAIL	12.04
5qbf-5cnf-20var-320cl.5	FAIL	12.05
2qbf-5cnf-40var-640cl.0	FAIL	12.05
5qbf-5cnf-20var-640cl.8	FAIL	12.06
counter_e_32	FAIL	12.06
4qbf-5cnf-80var-2560cl.8	FAIL	12.07
renHorn_400CNF1560_2aQBF_47	FAIL	12.08
renHorn_400CNF1640_2aQBF_79	FAIL	12.1
horn_400CNF1520_2aQBF_116	FAIL	12.11
4qbf-5cnf-20var-320cl.6	FAIL	12.12
k_branch_p-20	FAIL	12.12
3qbf-5cnf-80var-320cl.5	FAIL	12.12
4qbf-5cnf-160var-640cl.9	FAIL	12.13
horn_400CNF1600_2aQBF_103	FAIL	12.13
Adder2-16-c	FAIL	12.13
2qbf-5cnf-40var-640cl.7	FAIL	12.13
2qbf-5cnf-40var-640cl.1	FAIL	12.14
horn_400CNF1600_2aQBF_956	FAIL	12.14
horn_400CNF1600_2aQBF_789	FAIL	12.14
6qbf-5cnf-20var-640cl.7	FAIL	12.15
renHorn_400CNF1720_2aQBF_79	FAIL	12.15
ncf_4_32_4_u.4	FAIL	12.15
renHorn_400CNF1640_2aQBF_7	FAIL	12.15
k_branch_p-16	FAIL	12.16
renHorn_400CNF1640_2aQBF_42	FAIL	12.17
renHorn_400CNF1640_2aQBF_53	FAIL	12.17
horn_400CNF1600_2aQBF_278	FAIL	12.18
renHorn_400CNF1720_2aQBF_71	FAIL	12.18
renHorn_400CNF1640_2aQBF_87	FAIL	12.19
k_branch_n-16	FAIL	12.19
2qbf-5cnf-20var-320cl.9	UNSAT	12.2
horn_400CNF1440_2aQBF_165	FAIL	12.21
horn_400CNF1600_2aQBF_331	FAIL	12.21
horn_400CNF1600_2aQBF_73	FAIL	12.21
3qbf-5cnf-40var-320cl.1	FAIL	12.21
szymanski-24-s	FAIL	12.21
5qbf-5cnf-20var-160cl.4	FAIL	12.23
ncf_8_32_2_edau.10	FAIL	12.23
ncf_4_16_4_u.6	FAIL	12.23
horn_400CNF1600_2aQBF_922	FAIL	12.24
renHorn_400CNF1280_2aQBF_56	FAIL	12.25
2qbf-5cnf-40var-640cl.8	FAIL	12.25
3qbf-5cnf-80var-2560cl.6	FAIL	12.26
3qbf-5cnf-160var-640cl.9	FAIL	12.26
5qbf-5cnf-160var-1280cl.8	FAIL	12.27
k_branch_n-20	FAIL	12.27
k_branch_p-21	FAIL	12.27
k_branch_p-8	FAIL	12.27
6qbf-5cnf-20var-640cl.2	FAIL	12.28
5qbf-5cnf-20var-160cl.6	FAIL	12.29
6qbf-5cnf-20var-640cl.9	FAIL	12.3
renHorn_400CNF1640_2aQBF_18	FAIL	12.3
3qbf-5cnf-20var-640cl.0	UNSAT	12.3
uclid-pipe3a	FAIL	12.32
ncf_4_32_2_d.5	FAIL	12.32
ncf_4_16_4_u.4	FAIL	12.32
renHorn_400CNF1200_2aQBF_85	FAIL	12.33
3qbf-5cnf-40var-320cl.5	FAIL	12.33
5qbf-5cnf-160var-1280cl.0	FAIL	12.33
horn_400CNF1680_2aQBF_745	FAIL	12.34
4qbf-5cnf-160var-640cl.6	FAIL	12.35
counter_e_16	FAIL	12.35
3qbf-5cnf-80var-2560cl.8	FAIL	12.35
ncf_16_64_2_d.1	FAIL	12.35
renHorn_400CNF1720_2aQBF_92	FAIL	12.36
6qbf-5cnf-40var-320cl.7	FAIL	12.38
3qbf-5cnf-80var-2560cl.1	FAIL	12.38
5qbf-5cnf-20var-640cl.6	FAIL	12.38
horn_400CNF1600_2aQBF_748	FAIL	12.4
horn_400CNF1600_2aQBF_26	FAIL	12.4
ncf_4_16_4_edau.3	FAIL	12.4
renHorn_400CNF1720_2aQBF_11	FAIL	12.41
horn_400CNF1600_2aQBF_514	FAIL	12.41
horn_400CNF1600_2aQBF_912	FAIL	12.42
ncf_4_32_2_u.7	FAIL	12.43
renHorn_400CNF1280_2aQBF_7	FAIL	12.43
5qbf-5cnf-20var-640cl.5	FAIL	12.43
ncf_4_8_8_edau.10	FAIL	12.43
4qbf-5cnf-20var-320cl.9	FAIL	12.44
horn_400CNF1680_2aQBF_503	FAIL	12.44
horn_400CNF1600_2aQBF_236	FAIL	12.44
6qbf-5cnf-20var-640cl.8	FAIL	12.45
counter_r_16	FAIL	12.47
3qbf-5cnf-80var-2560cl.4	FAIL	12.5
renHorn_400CNF1640_2aQBF_38	FAIL	12.52
k_branch_n-8	FAIL	12.52
ncf_4_8_8_u.2	FAIL	12.52
5qbf-5cnf-20var-640cl.9	FAIL	12.52
ncf_8_32_2_edau.1	FAIL	12.54
ncf_4_32_2_edau.7	FAIL	12.54
horn_400CNF1600_2aQBF_505	FAIL	12.55
horn_400CNF1680_2aQBF_244	FAIL	12.56
horn_400CNF1600_2aQBF_3	FAIL	12.56
ncf_4_32_4_d.2	FAIL	12.56
ncf_4_32_2_edau.5	FAIL	12.57
5qbf-5cnf-40var-1280cl.4	FAIL	12.57
ncf_4_32_2_edau.8	FAIL	12.57
ncf_16_64_2_edau.1	FAIL	12.58
ncf_16_64_2_edau.2	FAIL	12.58
horn_400CNF1680_2aQBF_482	FAIL	12.59
5qbf-5cnf-40var-1280cl.8	FAIL	12.59
6qbf-5cnf-40var-1280cl.6	FAIL	12.61
5qbf-5cnf-20var-640cl.3	FAIL	12.61
renHorn_400CNF1720_2aQBF_20	FAIL	12.62
ncf_4_32_2_edau.3	FAIL	12.62
horn_400CNF1680_2aQBF_698	FAIL	12.63
horn_400CNF1680_2aQBF_950	FAIL	12.63
ncf_4_16_8_euad.1	FAIL	12.63
horn_400CNF1680_2aQBF_728	FAIL	12.65
6qbf-5cnf-40var-1280cl.3	FAIL	12.66
horn_400CNF1680_2aQBF_91	FAIL	12.66
6qbf-5cnf-40var-1280cl.7	FAIL	12.66
2qbf-5cnf-20var-320cl.6	UNSAT	12.66
horn_400CNF1360_2aQBF_130	FAIL	12.67
ncf_8_32_2_d.1	FAIL	12.68
6qbf-5cnf-40var-1280cl.8	FAIL	12.68
ncf_4_32_4_edau.9	FAIL	12.69
6qbf-5cnf-20var-640cl.4	FAIL	12.7
6qbf-5cnf-40var-1280cl.1	FAIL	12.72
horn_400CNF1680_2aQBF_29	FAIL	12.73
horn_400CNF1680_2aQBF_695	FAIL	12.73
ncf_8_32_2_edau.6	FAIL	12.75
6qbf-5cnf-40var-1280cl.4	FAIL	12.75
horn_400CNF1680_2aQBF_154	FAIL	12.76
5qbf-5cnf-160var-1280cl.2	FAIL	12.76
6qbf-5cnf-40var-1280cl.2	FAIL	12.76
ncf_4_16_4_edau.4	FAIL	12.76
ncf_8_16_4_edau.7	FAIL	12.76
renHorn_400CNF1280_2aQBF_3	FAIL	12.77
ncf_4_32_2_d.8	FAIL	12.77
3qbf-5cnf-40var-640cl.8	FAIL	12.78
horn_400CNF1520_2aQBF_702	FAIL	12.78
ncf_4_16_4_euad.3	FAIL	12.79
ncf_8_32_4_edau.10	FAIL	12.81
horn_400CNF1600_2aQBF_571	FAIL	12.81
ncf_4_8_4_euad.3	FAIL	12.81
6qbf-5cnf-40var-1280cl.5	FAIL	12.82
mutex-64-s	FAIL	12.82
3qbf-5cnf-40var-320cl.8	FAIL	12.83
3qbf-5cnf-20var-320cl.1	UNSAT	12.83
ncf_4_16_8_u.1	FAIL	12.83
horn_400CNF1680_2aQBF_589	FAIL	12.84
6qbf-5cnf-160var-1280cl.9	FAIL	12.84
renHorn_400CNF1200_2aQBF_2	FAIL	12.85
horn_400CNF1200_2aQBF_539	FAIL	12.85
ncf_4_16_4_euad.2	FAIL	12.85
ncf_4_16_4_edau.6	FAIL	12.88
ncf_4_8_8_u.6	FAIL	12.88
ncf_16_64_2_edau.7	FAIL	12.88
6qbf-5cnf-40var-1280cl.9	FAIL	12.88
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	12.88
ncf_8_32_4_edau.2	FAIL	12.88
horn_400CNF1680_2aQBF_433	FAIL	12.89
uclid-pipe3b	FAIL	12.89
ncf_8_16_4_d.3	FAIL	12.9
ncf_8_32_4_edau.6	FAIL	12.91
3qbf-5cnf-80var-320cl.4	FAIL	12.91
renHorn_400CNF1800_2aQBF_53	FAIL	12.92
horn_400CNF1760_2aQBF_484	FAIL	12.92
6qbf-5cnf-40var-1280cl.0	FAIL	12.92
ncf_16_32_8_u.4	FAIL	12.92
ncf_4_32_4_u.2	FAIL	12.93
6qbf-5cnf-160var-2560cl.8	FAIL	12.93
horn_400CNF1680_2aQBF_547	FAIL	12.93
ncf_8_16_4_u.4	FAIL	12.94
ncf_4_32_4_d.10	FAIL	12.94
ncf_8_32_4_edau.3	FAIL	12.95
horn_400CNF1760_2aQBF_711	FAIL	12.95
renHorn_400CNF1800_2aQBF_24	FAIL	12.95
renHorn_400CNF1360_2aQBF_22	FAIL	12.96
ncf_8_16_8_u.7	FAIL	12.96
ncf_8_64_4_edau.4	FAIL	12.97
ncf_8_16_2_d.10	FAIL	12.98
horn_400CNF1760_2aQBF_330	FAIL	12.99
horn_400CNF1680_2aQBF_286	FAIL	12.99
horn_400CNF1760_2aQBF_93	FAIL	12.99
ncf_4_8_8_u.8	FAIL	13.01
horn_400CNF1760_2aQBF_614	FAIL	13.01
3qbf-5cnf-40var-1280cl.4	FAIL	13.02
ncf_4_32_2_edau.10	FAIL	13.02
ncf_4_32_4_edau.8	FAIL	13.03
horn_400CNF1360_2aQBF_831	UNSAT	13.03
horn_400CNF1760_2aQBF_886	FAIL	13.05
ncf_4_16_8_edau.5	FAIL	13.06
ncf_4_32_4_d.4	FAIL	13.06
ncf_4_16_8_edau.6	FAIL	13.06
ncf_8_16_4_euad.4	FAIL	13.07
ncf_4_32_2_d.3	FAIL	13.07
ncf_8_32_2_u.1	FAIL	13.07
ncf_4_32_4_u.8	FAIL	13.07
renHorn_400CNF1800_2aQBF_2	FAIL	13.07
renHorn_400CNF1800_2aQBF_20	FAIL	13.07
4qbf-5cnf-80var-640cl.1	FAIL	13.07
ncf_8_32_8_edau.4	FAIL	13.08
ncf_4_16_8_d.9	FAIL	13.08
ncf_4_32_2_u.5	FAIL	13.08
horn_400CNF1760_2aQBF_846	FAIL	13.08
Adder2-14-c	FAIL	13.08
ncf_16_64_4_edau.1	FAIL	13.09
ncf_8_16_4_u.10	FAIL	13.09
ncf_4_8_8_edau.7	FAIL	13.09
horn_400CNF1760_2aQBF_997	FAIL	13.1
ncf_4_32_2_u.10	FAIL	13.11
5qbf-5cnf-20var-320cl.8	FAIL	13.13
renHorn_400CNF1880_2aQBF_19	FAIL	13.13
ncf_4_32_2_euad.4	FAIL	13.14
ncf_8_32_2_d.5	FAIL	13.14
ncf_8_32_8_edau.7	FAIL	13.14
ncf_8_32_2_edau.2	FAIL	13.16
ncf_8_32_4_edau.4	FAIL	13.16
horn_400CNF1760_2aQBF_946	FAIL	13.17
ncf_16_64_2_d.6	FAIL	13.17
ncf_4_8_8_u.10	FAIL	13.18
4qbf-5cnf-20var-640cl.1	FAIL	13.19
ncf_4_16_8_u.8	FAIL	13.2
horn_400CNF1760_2aQBF_686	FAIL	13.2
4qbf-5cnf-20var-640cl.2	FAIL	13.2
ncf_4_32_4_edau.7	FAIL	13.22
4qbf-5cnf-20var-640cl.3	FAIL	13.22
ncf_16_32_4_u.1	FAIL	13.23
ncf_4_16_8_u.6	FAIL	13.24
horn_400CNF1360_2aQBF_788	FAIL	13.24
6qbf-5cnf-160var-2560cl.2	FAIL	13.26
5qbf-5cnf-40var-1280cl.5	FAIL	13.27
5qbf-5cnf-40var-1280cl.3	FAIL	13.28
ncf_4_32_4_u.7	FAIL	13.28
ncf_4_16_4_u.2	FAIL	13.28
4qbf-5cnf-20var-640cl.7	FAIL	13.29
ncf_8_32_4_d.3	FAIL	13.29
horn_400CNF1760_2aQBF_10	FAIL	13.3
ncf_4_32_2_u.8	FAIL	13.3
5qbf-5cnf-40var-1280cl.1	FAIL	13.31
ncf_4_32_2_d.4	FAIL	13.32
4qbf-5cnf-20var-640cl.5	FAIL	13.32
ncf_8_64_2_edau.7	FAIL	13.32
horn_400CNF1760_2aQBF_726	FAIL	13.33
ncf_4_32_2_euad.8	FAIL	13.33
ncf_16_32_4_u.10	FAIL	13.33
ncf_8_64_2_edau.4	FAIL	13.33
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	13.34
horn_400CNF1280_2aQBF_755	FAIL	13.36
horn_400CNF1760_2aQBF_188	FAIL	13.37
horn_400CNF1360_2aQBF_565	FAIL	13.37
ncf_4_32_4_edau.1	FAIL	13.37
ncf_4_32_2_u.6	FAIL	13.38
4qbf-5cnf-20var-640cl.0	FAIL	13.38
ncf_8_32_2_d.10	FAIL	13.38
Adder2-4-c	FAIL	13.38
ncf_8_32_2_u.10	FAIL	13.38
ncf_4_32_8_edau.2	FAIL	13.38
5qbf-5cnf-40var-1280cl.6	FAIL	13.4
horn_400CNF1840_2aQBF_198	FAIL	13.4
ncf_8_32_4_d.4	FAIL	13.41
2qbf-5cnf-80var-2560cl.0	FAIL	13.41
toilet_a_10_05.4	SAT	13.42
renHorn_400CNF1400_2aQBF_80	FAIL	13.43
5qbf-5cnf-160var-5120cl.1	FAIL	13.43
horn_400CNF1840_2aQBF_215	FAIL	13.43
ncf_16_32_4_d.6	FAIL	13.43
ncf_8_64_2_edau.8	FAIL	13.43
ncf_16_64_2_d.10	FAIL	13.43
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	13.46
4qbf-5cnf-20var-640cl.9	FAIL	13.46
renHorn_400CNF1880_2aQBF_88	FAIL	13.46
ncf_16_32_4_u.9	FAIL	13.47
ncf_4_32_4_u.3	FAIL	13.47
2qbf-5cnf-80var-2560cl.2	FAIL	13.47
horn_400CNF1760_2aQBF_996	FAIL	13.47
3qbf-5cnf-40var-320cl.9	FAIL	13.47
ncf_4_32_4_edau.6	FAIL	13.48
5qbf-5cnf-160var-5120cl.5	FAIL	13.48
4qbf-5cnf-20var-640cl.4	FAIL	13.48
ncf_4_32_4_u.9	FAIL	13.48
ncf_8_32_4_u.10	FAIL	13.48
2qbf-5cnf-80var-2560cl.5	FAIL	13.48
ncf_4_8_8_edau.2	FAIL	13.48
5qbf-5cnf-40var-1280cl.0	FAIL	13.49
ncf_4_32_4_u.5	FAIL	13.49
ncf_8_64_2_edau.3	FAIL	13.49
ncf_8_32_4_edau.8	FAIL	13.5
ncf_4_32_2_u.2	FAIL	13.5
horn_400CNF1840_2aQBF_980	FAIL	13.5
ncf_16_32_4_u.3	FAIL	13.51
horn_400CNF1840_2aQBF_340	FAIL	13.52
2qbf-5cnf-80var-2560cl.7	FAIL	13.52
ncf_8_32_4_edau.1	FAIL	13.52
renHorn_400CNF1800_2aQBF_5	FAIL	13.52
renHorn_400CNF1360_2aQBF_96	FAIL	13.53
5qbf-5cnf-160var-5120cl.7	FAIL	13.53
horn_400CNF1760_2aQBF_979	FAIL	13.53
adder-16-unsat	FAIL	13.53
ncf_4_32_2_u.4	FAIL	13.54
renHorn_400CNF1800_2aQBF_7	FAIL	13.54
ncf_8_64_2_edau.5	FAIL	13.54
5qbf-5cnf-40var-1280cl.7	FAIL	13.55
5qbf-5cnf-40var-1280cl.9	FAIL	13.57
ncf_4_32_4_u.6	FAIL	13.57
ncf_4_32_2_edau.4	FAIL	13.58
ncf_8_16_8_u.2	FAIL	13.59
ncf_8_16_8_d.4	FAIL	13.6
ncf_8_32_2_d.8	FAIL	13.6
horn_400CNF1840_2aQBF_514	FAIL	13.6
horn_400CNF1840_2aQBF_752	FAIL	13.6
horn_400CNF1360_2aQBF_310	FAIL	13.61
2qbf-5cnf-80var-2560cl.9	FAIL	13.62
ncf_8_16_8_u.4	FAIL	13.63
2qbf-5cnf-80var-2560cl.4	FAIL	13.63
ncf_8_64_4_edau.5	FAIL	13.63
ncf_16_32_4_edau.3	FAIL	13.63
2qbf-5cnf-80var-2560cl.1	FAIL	13.64
ncf_16_32_4_euad.8	FAIL	13.64
ncf_4_32_8_edau.4	FAIL	13.65
k_t4p_n-16	FAIL	13.65
5qbf-5cnf-80var-640cl.7	FAIL	13.66
ncf_16_32_2_u.5	FAIL	13.66
ncf_8_32_2_edau.5	FAIL	13.66
ncf_8_16_2_euad.4	FAIL	13.66
ncf_8_32_4_u.1	FAIL	13.66
ncf_8_32_8_u.4	FAIL	13.66
ncf_4_16_8_d.1	FAIL	13.66
ncf_4_32_4_euad.2	FAIL	13.67
renHorn_400CNF1480_2aQBF_92	FAIL	13.67
2qbf-5cnf-80var-2560cl.3	FAIL	13.68
horn_400CNF1840_2aQBF_158	FAIL	13.68
ncf_4_32_8_u.4	FAIL	13.68
ncf_8_32_8_u.2	FAIL	13.68
ncf_16_64_2_edau.3	FAIL	13.69
2qbf-5cnf-20var-320cl.3	UNSAT	13.69
horn_400CNF1840_2aQBF_547	FAIL	13.69
ncf_4_32_8_u.7	FAIL	13.69
horn_400CNF1840_2aQBF_323	FAIL	13.69
ncf_4_32_4_edau.3	FAIL	13.69
ncf_4_16_8_u.2	FAIL	13.7
5qbf-5cnf-40var-1280cl.2	FAIL	13.7
ncf_4_32_2_euad.7	FAIL	13.71
horn_400CNF1840_2aQBF_555	FAIL	13.71
ncf_8_32_4_d.1	FAIL	13.71
horn_400CNF1840_2aQBF_32	FAIL	13.71
ncf_8_32_4_u.3	FAIL	13.72
2qbf-5cnf-80var-2560cl.8	FAIL	13.72
2qbf-5cnf-80var-2560cl.6	FAIL	13.72
ncf_16_32_4_edau.6	FAIL	13.72
ncf_8_32_8_edau.6	FAIL	13.73
ncf_8_32_8_edau.9	FAIL	13.73
6qbf-5cnf-80var-2560cl.9	FAIL	13.74
ncf_8_32_2_d.7	FAIL	13.74
ncf_8_16_4_u.9	FAIL	13.74
ncf_8_32_4_edau.9	FAIL	13.74
renHorn_400CNF1960_2aQBF_76	FAIL	13.75
ncf_8_16_8_euad.9	FAIL	13.75
ncf_4_16_4_euad.6	FAIL	13.75
ncf_4_16_4_euad.4	FAIL	13.75
ncf_16_32_4_d.3	FAIL	13.75
ncf_4_16_8_euad.9	FAIL	13.76
ncf_4_32_8_edau.6	FAIL	13.77
ncf_16_32_4_euad.9	FAIL	13.77
ncf_4_16_8_euad.7	FAIL	13.77
ncf_8_32_8_u.7	FAIL	13.78
ncf_4_32_2_euad.3	FAIL	13.79
ncf_16_32_8_edau.2	FAIL	13.79
ncf_4_32_4_euad.4	FAIL	13.79
3qbf-5cnf-40var-320cl.4	FAIL	13.8
renHorn_400CNF1880_2aQBF_81	FAIL	13.81
ncf_16_32_8_edau.9	FAIL	13.81
4qbf-5cnf-40var-1280cl.4	FAIL	13.81
ncf_16_64_2_edau.9	FAIL	13.81
ncf_16_32_2_u.6	FAIL	13.82
ncf_4_16_4_d.10	FAIL	13.82
ncf_8_16_2_u.4	FAIL	13.82
ncf_4_16_8_u.3	FAIL	13.83
ncf_4_32_2_u.3	FAIL	13.83
ncf_16_128_4_d.5	FAIL	13.83
ncf_4_16_4_euad.7	FAIL	13.83
ncf_4_32_8_edau.10	FAIL	13.84
ncf_8_32_8_u.8	FAIL	13.84
horn_400CNF1840_2aQBF_329	FAIL	13.84
ncf_8_32_4_d.5	FAIL	13.85
ncf_8_32_2_d.6	FAIL	13.85
ncf_8_64_2_edau.6	FAIL	13.86
ncf_8_16_8_edau.2	FAIL	13.86
ncf_4_16_8_u.4	FAIL	13.87
ncf_8_32_4_edau.7	FAIL	13.87
ncf_8_64_2_edau.10	FAIL	13.87
ncf_8_32_2_u.2	FAIL	13.88
6qbf-5cnf-80var-2560cl.0	FAIL	13.89
horn_400CNF1920_2aQBF_704	FAIL	13.89
ncf_16_64_2_edau.5	FAIL	13.89
ncf_16_64_2_d.3	FAIL	13.9
horn_400CNF1920_2aQBF_534	FAIL	13.9
ncf_8_64_4_edau.6	FAIL	13.91
ncf_4_32_8_u.2	FAIL	13.91
horn_400CNF1840_2aQBF_401	FAIL	13.92
ncf_4_32_4_euad.10	FAIL	13.92
ncf_8_32_4_u.2	FAIL	13.93
ncf_8_16_2_euad.10	FAIL	13.93
ncf_4_32_4_u.1	FAIL	13.94
ncf_8_32_8_u.10	FAIL	13.95
szymanski-10-s	FAIL	13.95
ncf_8_32_2_u.6	FAIL	13.95
ncf_8_64_2_d.5	FAIL	13.95
ncf_8_64_8_edau.2	FAIL	13.95
ncf_16_32_2_u.4	FAIL	13.95
ncf_8_32_4_u.6	FAIL	13.96
ncf_16_128_2_edau.7	FAIL	13.97
6qbf-5cnf-80var-2560cl.2	FAIL	13.97
ncf_16_32_2_u.10	FAIL	13.98
ncf_4_16_8_edau.2	FAIL	13.98
ncf_8_32_2_u.7	FAIL	13.99
ncf_8_32_2_u.3	FAIL	13.99
ncf_8_32_8_u.3	FAIL	13.99
ncf_4_32_8_d.3	FAIL	14
ncf_4_32_2_u.9	FAIL	14
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	14.01
ncf_4_32_4_edau.5	FAIL	14.01
ncf_4_8_8_d.10	FAIL	14.01
ncf_4_16_4_edau.7	FAIL	14.02
renHorn_400CNF1960_2aQBF_79	FAIL	14.02
ncf_8_64_4_d.9	FAIL	14.03
ncf_16_32_4_u.8	FAIL	14.03
ncf_8_32_2_u.5	FAIL	14.03
ncf_8_64_8_edau.7	FAIL	14.03
ncf_8_32_2_edau.7	FAIL	14.04
renHorn_400CNF1960_2aQBF_41	FAIL	14.04
ncf_4_32_4_edau.2	FAIL	14.04
6qbf-5cnf-80var-2560cl.6	FAIL	14.04
ncf_16_64_4_edau.9	FAIL	14.04
ncf_8_16_4_u.3	FAIL	14.04
renHorn_400CNF1960_2aQBF_68	FAIL	14.04
horn_400CNF1440_2aQBF_676	FAIL	14.04
ncf_8_64_8_edau.6	FAIL	14.04
2qbf-5cnf-20var-160cl.7	UNSAT	14.04
horn_400CNF1920_2aQBF_647	FAIL	14.04
ncf_16_64_2_edau.8	FAIL	14.05
ncf_8_64_8_edau.5	FAIL	14.05
horn_400CNF1920_2aQBF_721	FAIL	14.05
ncf_16_32_2_euad.2	FAIL	14.05
horn_400CNF1920_2aQBF_890	FAIL	14.06
horn_400CNF1920_2aQBF_583	FAIL	14.06
ncf_4_8_8_edau.6	FAIL	14.06
ncf_4_16_8_euad.6	FAIL	14.07
ncf_8_32_4_u.9	FAIL	14.07
renHorn_400CNF1800_2aQBF_36	FAIL	14.07
ncf_8_32_8_edau.2	FAIL	14.07
ncf_4_16_4_d.7	FAIL	14.07
adder-14-sat	FAIL	14.08
ncf_4_16_8_d.10	FAIL	14.08
ncf_4_32_2_d.9	FAIL	14.08
adder-12-unsat	FAIL	14.09
horn_400CNF1360_2aQBF_867	FAIL	14.09
ncf_8_64_8_edau.10	FAIL	14.1
6qbf-5cnf-80var-2560cl.7	FAIL	14.1
ncf_8_32_4_euad.7	FAIL	14.11
ncf_16_32_2_u.2	FAIL	14.12
ncf_8_16_4_euad.3	FAIL	14.13
horn_400CNF1440_2aQBF_829	FAIL	14.13
horn_400CNF1440_2aQBF_925	FAIL	14.13
renHorn_400CNF1960_2aQBF_35	FAIL	14.13
3qbf-5cnf-40var-1280cl.6	FAIL	14.13
ncf_16_128_2_d.2	FAIL	14.14
ncf_16_128_2_edau.8	FAIL	14.14
6qbf-5cnf-80var-2560cl.5	FAIL	14.15
ncf_16_32_4_d.4	FAIL	14.15
ncf_4_16_8_edau.3	FAIL	14.15
ncf_16_32_2_euad.4	FAIL	14.15
ncf_8_32_8_d.4	FAIL	14.15
ncf_8_32_8_u.1	FAIL	14.16
horn_400CNF1440_2aQBF_117	FAIL	14.16
ncf_16_128_2_edau.4	FAIL	14.17
6qbf-5cnf-80var-2560cl.4	FAIL	14.17
6qbf-5cnf-80var-2560cl.3	FAIL	14.18
ncf_4_32_8_u.9	FAIL	14.18
ncf_8_32_4_u.4	FAIL	14.18
horn_400CNF1920_2aQBF_603	FAIL	14.18
ncf_16_32_2_euad.3	FAIL	14.19
ncf_4_16_4_u.7	FAIL	14.2
ncf_8_32_2_edau.4	FAIL	14.2
ncf_4_16_2_euad.5	FAIL	14.21
ncf_8_64_4_edau.3	FAIL	14.21
ncf_4_32_2_d.2	SAT	14.22
horn_400CNF1920_2aQBF_970	FAIL	14.22
horn_400CNF1920_2aQBF_952	FAIL	14.22
ncf_4_8_8_u.7	FAIL	14.23
ncf_16_32_8_u.3	FAIL	14.23
horn_400CNF1920_2aQBF_597	FAIL	14.23
ncf_4_16_2_d.3	FAIL	14.24
horn_400CNF1440_2aQBF_967	FAIL	14.24
4qbf-5cnf-160var-640cl.4	FAIL	14.24
ncf_8_32_4_d.8	FAIL	14.25
k_t4p_n-12	FAIL	14.25
renHorn_400CNF2120_2aQBF_10	FAIL	14.25
2qbf-5cnf-40var-1280cl.9	FAIL	14.25
ncf_4_16_8_euad.10	FAIL	14.25
5qbf-5cnf-80var-2560cl.8	FAIL	14.25
5qbf-5cnf-80var-2560cl.5	FAIL	14.26
ncf_4_32_8_edau.3	FAIL	14.27
6qbf-5cnf-80var-2560cl.1	FAIL	14.27
3qbf-5cnf-160var-640cl.3	FAIL	14.28
ncf_8_64_2_d.8	FAIL	14.28
ncf_16_64_4_edau.2	FAIL	14.28
ncf_16_64_4_d.1	FAIL	14.29
horn_400CNF1920_2aQBF_927	FAIL	14.29
6qbf-5cnf-80var-2560cl.8	FAIL	14.3
ncf_8_32_8_u.6	FAIL	14.3
ncf_16_64_8_edau.7	FAIL	14.3
ncf_4_16_8_d.6	FAIL	14.31
5qbf-5cnf-80var-2560cl.9	FAIL	14.31
ncf_4_16_2_edau.3	FAIL	14.31
ncf_8_64_4_edau.10	FAIL	14.31
horn_400CNF2000_2aQBF_702	FAIL	14.32
5qbf-5cnf-20var-160cl.3	FAIL	14.32
ncf_8_32_4_d.2	FAIL	14.33
horn_400CNF1920_2aQBF_75	FAIL	14.33
ncf_8_32_4_euad.8	FAIL	14.33
ncf_8_64_8_edau.3	FAIL	14.33
test1_quant_squaring3	FAIL	14.34
2qbf-5cnf-20var-160cl.0	UNSAT	14.35
3qbf-5cnf-40var-1280cl.7	FAIL	14.35
6qbf-5cnf-20var-160cl.8	FAIL	14.36
horn_400CNF1920_2aQBF_314	FAIL	14.36
ncf_16_128_2_edau.3	FAIL	14.36
ncf_8_16_8_u.5	FAIL	14.37
ncf_4_32_8_edau.1	FAIL	14.37
ncf_4_16_8_u.5	FAIL	14.37
2qbf-5cnf-40var-1280cl.3	FAIL	14.37
5qbf-5cnf-80var-2560cl.6	FAIL	14.38
ncf_8_32_2_euad.2	FAIL	14.38
ncf_16_32_8_u.5	FAIL	14.38
ncf_16_32_8_u.10	FAIL	14.39
ncf_8_32_4_euad.9	FAIL	14.39
2qbf-5cnf-40var-1280cl.0	FAIL	14.39
C880.blif_0.10_0.20_0_1_out_exact	FAIL	14.4
ncf_16_32_8_euad.3	FAIL	14.4
ncf_8_32_4_u.8	FAIL	14.4
ncf_8_32_4_euad.2	FAIL	14.41
ncf_4_32_2_euad.6	FAIL	14.41
2qbf-5cnf-40var-1280cl.8	FAIL	14.41
renHorn_400CNF1960_2aQBF_50	FAIL	14.42
ncf_16_64_4_edau.6	FAIL	14.42
ncf_8_32_2_d.4	FAIL	14.42
adder-14-unsat	FAIL	14.43
5qbf-5cnf-80var-2560cl.0	FAIL	14.43
ncf_8_64_4_d.3	FAIL	14.44
ncf_16_32_4_u.5	FAIL	14.44
ncf_16_64_8_edau.10	FAIL	14.45
renHorn_400CNF2120_2aQBF_88	FAIL	14.45
ncf_8_32_2_euad.1	FAIL	14.46
ncf_8_64_2_u.1	FAIL	14.47
2qbf-5cnf-40var-1280cl.4	FAIL	14.48
renHorn_400CNF2120_2aQBF_17	FAIL	14.48
3qbf-5cnf-160var-5120cl.1	FAIL	14.49
2qbf-5cnf-40var-1280cl.1	FAIL	14.49
2qbf-5cnf-40var-1280cl.5	FAIL	14.49
ncf_16_64_2_edau.6	FAIL	14.5
ncf_16_32_4_euad.5	FAIL	14.5
ncf_16_64_2_d.5	FAIL	14.5
horn_400CNF2000_2aQBF_8	FAIL	14.51
ncf_8_16_4_edau.9	FAIL	14.51
ncf_4_32_8_edau.9	FAIL	14.51
2qbf-5cnf-40var-1280cl.7	FAIL	14.51
C880.blif_0.10_0.20_0_0_out_exact	FAIL	14.51
4qbf-5cnf-80var-640cl.2	FAIL	14.52
3qbf-5cnf-40var-1280cl.5	FAIL	14.53
renHorn_400CNF2040_2aQBF_11	FAIL	14.53
ncf_4_16_2_edau.8	FAIL	14.53
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	14.55
ncf_4_32_4_euad.9	FAIL	14.55
ncf_8_64_4_u.4	FAIL	14.55
2qbf-5cnf-40var-1280cl.2	FAIL	14.55
ncf_8_32_4_u.7	FAIL	14.55
ncf_4_32_2_d.7	FAIL	14.56
ncf_16_32_2_u.3	FAIL	14.56
horn_400CNF2000_2aQBF_564	FAIL	14.57
ncf_8_64_4_edau.2	FAIL	14.57
ncf_16_64_2_d.9	FAIL	14.57
5qbf-5cnf-80var-640cl.6	FAIL	14.57
ncf_8_32_2_u.8	FAIL	14.57
5qbf-5cnf-80var-2560cl.4	FAIL	14.57
ncf_16_32_8_u.1	FAIL	14.58
ncf_16_32_8_u.2	FAIL	14.59
6qbf-5cnf-40var-320cl.5	FAIL	14.6
4qbf-5cnf-40var-320cl.2	FAIL	14.6
ncf_16_32_2_d.1	FAIL	14.6
2qbf-5cnf-20var-320cl.4	UNSAT	14.6
horn_400CNF2000_2aQBF_104	FAIL	14.61
5qbf-5cnf-80var-2560cl.7	FAIL	14.61
k_d4_p-12	FAIL	14.61
ncf_8_16_8_edau.9	FAIL	14.62
ncf_16_32_2_euad.5	FAIL	14.62
ncf_16_32_2_d.4	FAIL	14.63
ncf_16_32_4_u.4	FAIL	14.63
5qbf-5cnf-80var-2560cl.2	FAIL	14.64
ncf_16_64_2_d.7	FAIL	14.65
ncf_4_8_2_u.3	FAIL	14.65
ncf_16_32_2_edau.4	FAIL	14.66
renHorn_400CNF2040_2aQBF_86	FAIL	14.66
ncf_16_32_4_euad.6	FAIL	14.66
ncf_16_32_4_euad.3	FAIL	14.66
ncf_8_16_8_euad.3	FAIL	14.67
horn_400CNF1440_2aQBF_553	FAIL	14.67
2qbf-5cnf-40var-1280cl.6	FAIL	14.68
ncf_8_32_8_d.6	FAIL	14.68
ncf_4_32_8_d.10	FAIL	14.68
ncf_16_32_2_euad.8	FAIL	14.69
ncf_8_64_4_edau.7	FAIL	14.69
ncf_4_16_8_edau.4	FAIL	14.69
ncf_8_64_2_edau.2	FAIL	14.7
horn_400CNF1520_2aQBF_382	FAIL	14.7
horn_400CNF2000_2aQBF_787	FAIL	14.7
horn_400CNF2000_2aQBF_577	FAIL	14.7
mutex-128-s	FAIL	14.7
ncf_8_16_4_edau.3	FAIL	14.7
ncf_16_32_8_edau.8	FAIL	14.71
5qbf-5cnf-80var-2560cl.1	FAIL	14.71
horn_400CNF2000_2aQBF_642	FAIL	14.72
ncf_4_16_4_euad.10	FAIL	14.73
ncf_16_32_4_euad.2	FAIL	14.74
ncf_16_64_4_d.10	FAIL	14.74
horn_400CNF2000_2aQBF_878	FAIL	14.75
ncf_4_32_8_d.4	FAIL	14.75
ncf_4_8_8_d.6	FAIL	14.76
horn_400CNF2000_2aQBF_456	FAIL	14.76
ncf_8_16_8_u.10	FAIL	14.77
ncf_4_32_2_d.6	FAIL	14.77
horn_400CNF1440_2aQBF_147	FAIL	14.78
horn_400CNF2000_2aQBF_987	FAIL	14.78
ncf_4_16_4_edau.10	FAIL	14.8
horn_400CNF2000_2aQBF_650	FAIL	14.8
ncf_8_64_4_d.5	FAIL	14.8
ncf_8_16_8_euad.2	FAIL	14.8
ncf_16_32_4_u.6	FAIL	14.83
ncf_8_64_2_u.9	FAIL	14.86
ncf_8_64_2_d.3	FAIL	14.88
ncf_8_32_4_d.9	FAIL	14.88
horn_400CNF2000_2aQBF_523	FAIL	14.88
renHorn_400CNF2120_2aQBF_19	FAIL	14.88
ncf_16_64_2_euad.3	FAIL	14.89
ncf_8_16_8_edau.4	FAIL	14.89
ncf_4_16_8_edau.9	FAIL	14.9
ncf_8_32_4_u.5	FAIL	14.91
ncf_8_64_8_edau.9	FAIL	14.92
ncf_8_32_4_euad.1	FAIL	14.92
ncf_4_8_4_euad.1	FAIL	14.92
renHorn_400CNF2040_2aQBF_100	FAIL	14.93
ncf_16_64_2_d.2	FAIL	14.94
ncf_8_16_4_u.7	FAIL	14.95
renHorn_400CNF2040_2aQBF_59	FAIL	14.95
ncf_8_64_2_u.5	FAIL	14.96
ncf_8_16_4_euad.9	FAIL	14.96
ncf_8_16_8_u.9	FAIL	14.96
ncf_4_32_8_u.3	FAIL	14.97
ncf_16_128_2_edau.1	FAIL	14.97
ncf_16_32_2_u.8	FAIL	14.98
horn_400CNF2080_2aQBF_176	FAIL	14.98
ncf_16_64_2_d.4	FAIL	14.99
5qbf-5cnf-20var-320cl.1	FAIL	15
4qbf-5cnf-160var-640cl.0	FAIL	15
renHorn_400CNF2120_2aQBF_52	FAIL	15.01
horn_400CNF2080_2aQBF_714	FAIL	15.01
horn_400CNF2080_2aQBF_584	FAIL	15.02
ncf_4_32_4_d.3	FAIL	15.02
4qbf-5cnf-160var-5120cl.6	FAIL	15.02
horn_400CNF2080_2aQBF_322	FAIL	15.04
ncf_16_32_8_u.7	FAIL	15.04
ncf_16_64_4_edau.3	FAIL	15.05
horn_400CNF2080_2aQBF_840	FAIL	15.06
4qbf-5cnf-160var-5120cl.7	FAIL	15.06
ncf_8_64_2_u.2	FAIL	15.07
renHorn_400CNF2120_2aQBF_37	FAIL	15.07
horn_400CNF2080_2aQBF_709	FAIL	15.07
renHorn_400CNF1280_2aQBF_62	FAIL	15.07
ncf_4_32_4_d.1	FAIL	15.07
ncf_16_64_4_u.1	FAIL	15.07
ncf_16_128_2_d.7	FAIL	15.07
ncf_16_64_4_d.4	FAIL	15.08
ncf_16_128_2_edau.10	FAIL	15.09
ncf_8_64_4_u.10	FAIL	15.11
ncf_8_32_4_euad.4	FAIL	15.12
renHorn_400CNF2120_2aQBF_21	FAIL	15.12
ncf_16_128_2_edau.9	FAIL	15.12
ncf_16_128_2_edau.5	FAIL	15.12
renHorn_400CNF2120_2aQBF_84	FAIL	15.12
ncf_16_32_4_u.7	FAIL	15.13
ncf_16_32_8_edau.7	FAIL	15.13
ncf_8_64_2_u.7	FAIL	15.13
renHorn_400CNF2120_2aQBF_31	FAIL	15.13
ncf_8_64_4_d.6	FAIL	15.15
ncf_16_32_8_u.6	FAIL	15.15
4qbf-5cnf-160var-5120cl.8	FAIL	15.15
ncf_4_16_4_d.4	FAIL	15.15
ncf_16_128_8_edau.1	FAIL	15.16
4qbf-5cnf-20var-640cl.6	FAIL	15.16
4qbf-5cnf-20var-640cl.8	FAIL	15.17
ncf_16_64_8_edau.1	FAIL	15.17
ncf_8_16_4_d.9	FAIL	15.18
ncf_16_128_4_d.8	FAIL	15.19
4qbf-5cnf-160var-5120cl.3	FAIL	15.2
ncf_8_16_4_euad.10	FAIL	15.2
ncf_16_32_2_edau.2	FAIL	15.2
ncf_8_16_4_euad.8	FAIL	15.2
ncf_4_32_4_euad.3	FAIL	15.2
ncf_8_32_8_euad.7	FAIL	15.2
ncf_16_128_8_edau.3	FAIL	15.21
ncf_8_32_2_u.9	FAIL	15.23
ncf_8_32_2_euad.4	FAIL	15.23
renHorn_400CNF2200_2aQBF_22	FAIL	15.24
ncf_16_64_2_edau.4	FAIL	15.24
ncf_8_32_2_euad.8	FAIL	15.25
ncf_8_64_8_edau.1	FAIL	15.25
ncf_4_8_4_d.3	FAIL	15.25
horn_400CNF2080_2aQBF_194	FAIL	15.25
ncf_16_128_2_edau.6	FAIL	15.25
ncf_4_32_2_euad.10	FAIL	15.25
ncf_8_64_2_u.8	FAIL	15.26
4qbf-5cnf-160var-5120cl.5	FAIL	15.26
ncf_4_32_8_edau.8	FAIL	15.28
ncf_8_32_2_euad.6	FAIL	15.28
ncf_8_64_4_d.2	FAIL	15.3
ncf_4_8_8_euad.7	FAIL	15.3
ncf_16_32_2_euad.1	FAIL	15.3
4qbf-5cnf-160var-5120cl.9	FAIL	15.31
ncf_8_64_4_u.2	FAIL	15.32
ncf_16_64_2_edau.10	FAIL	15.32
ncf_16_32_8_edau.3	FAIL	15.32
renHorn_400CNF2200_2aQBF_79	FAIL	15.34
horn_400CNF2080_2aQBF_899	FAIL	15.35
ncf_4_16_8_euad.5	FAIL	15.35
horn_400CNF2080_2aQBF_832	FAIL	15.35
ncf_4_32_2_edau.9	FAIL	15.35
ncf_8_16_8_euad.4	FAIL	15.36
ncf_16_64_2_u.7	FAIL	15.37
ncf_4_16_4_edau.2	FAIL	15.37
renHorn_400CNF2120_2aQBF_63	FAIL	15.37
ncf_16_32_4_euad.10	FAIL	15.39
4qbf-5cnf-160var-5120cl.2	FAIL	15.39
ncf_16_32_8_u.9	FAIL	15.4
4qbf-5cnf-160var-5120cl.1	FAIL	15.41
ncf_16_32_4_d.5	FAIL	15.42
ncf_16_32_2_d.2	FAIL	15.42
ncf_8_16_8_u.3	FAIL	15.43
horn_400CNF2160_2aQBF_701	FAIL	15.43
ncf_4_32_2_d.10	FAIL	15.43
ncf_16_64_4_u.10	FAIL	15.43
ncf_4_16_4_u.3	FAIL	15.44
4qbf-5cnf-160var-5120cl.0	FAIL	15.44
ncf_8_32_2_d.2	FAIL	15.45
horn_400CNF2160_2aQBF_411	FAIL	15.45
ncf_4_32_8_euad.3	FAIL	15.46
ncf_8_64_8_edau.8	FAIL	15.47
ncf_4_16_4_d.2	FAIL	15.5
ncf_4_16_8_euad.8	FAIL	15.51
ncf_16_128_4_edau.3	FAIL	15.52
ncf_16_32_2_edau.1	FAIL	15.52
ncf_16_32_8_u.8	FAIL	15.53
horn_400CNF2080_2aQBF_682	FAIL	15.54
ncf_8_32_4_edau.5	FAIL	15.55
ncf_16_64_8_edau.3	FAIL	15.55
ncf_4_32_4_d.7	FAIL	15.55
ncf_8_64_2_u.10	FAIL	15.55
horn_400CNF2160_2aQBF_976	FAIL	15.56
ncf_16_128_4_edau.2	FAIL	15.56
horn_400CNF2080_2aQBF_793	FAIL	15.56
ncf_8_32_2_euad.10	FAIL	15.57
ncf_8_16_8_d.2	FAIL	15.58
ncf_4_32_8_u.10	FAIL	15.59
4qbf-5cnf-160var-5120cl.4	FAIL	15.59
ncf_4_32_8_edau.7	FAIL	15.6
horn_400CNF2160_2aQBF_692	FAIL	15.63
ncf_16_64_2_euad.1	FAIL	15.64
ncf_16_32_4_euad.1	FAIL	15.64
k_t4p_p-21	FAIL	15.65
ncf_16_128_2_d.10	FAIL	15.66
ncf_8_64_4_u.9	FAIL	15.66
ncf_4_8_4_euad.8	UNSAT	15.67
ncf_16_128_2_d.9	FAIL	15.69
ncf_16_64_4_edau.7	FAIL	15.71
ncf_16_32_8_edau.1	FAIL	15.71
ncf_16_64_8_u.4	FAIL	15.71
ncf_4_8_8_edau.4	FAIL	15.71
ncf_8_64_4_edau.1	FAIL	15.73
ncf_16_64_2_u.2	FAIL	15.74
ncf_4_8_4_edau.4	FAIL	15.74
ncf_4_32_4_d.6	FAIL	15.75
ncf_8_16_8_u.8	FAIL	15.76
ncf_8_16_8_edau.10	FAIL	15.76
ncf_4_32_8_edau.5	FAIL	15.76
ncf_8_64_2_d.10	FAIL	15.77
k_t4p_p-20	FAIL	15.77
ncf_8_32_8_d.1	FAIL	15.77
ncf_8_64_4_u.1	FAIL	15.77
horn_400CNF2160_2aQBF_660	FAIL	15.77
6qbf-5cnf-20var-160cl.0	FAIL	15.78
ncf_16_128_4_edau.6	FAIL	15.78
ncf_4_8_4_u.3	FAIL	15.78
horn_400CNF2160_2aQBF_996	FAIL	15.79
ncf_16_128_2_edau.2	FAIL	15.79
6qbf-5cnf-160var-1280cl.0	FAIL	15.79
ncf_16_128_4_edau.8	FAIL	15.79
2qbf-5cnf-20var-320cl.7	FAIL	15.79
ncf_16_32_8_euad.4	FAIL	15.8
ncf_4_16_8_u.7	FAIL	15.8
ncf_4_8_8_euad.8	FAIL	15.8
horn_400CNF2160_2aQBF_92	FAIL	15.8
ncf_8_64_2_edau.1	FAIL	15.81
horn_400CNF2160_2aQBF_308	FAIL	15.81
ncf_8_32_4_d.6	FAIL	15.82
ncf_8_16_8_d.9	FAIL	15.82
ncf_8_64_4_d.8	FAIL	15.82
ncf_8_32_8_d.2	FAIL	15.83
ncf_4_32_8_d.5	FAIL	15.83
ncf_8_64_8_u.2	FAIL	15.85
test1_quant2	FAIL	15.86
ncf_16_64_4_u.6	FAIL	15.86
ncf_8_64_8_u.4	FAIL	15.86
ncf_8_32_4_euad.10	FAIL	15.87
ncf_16_64_8_u.8	FAIL	15.89
ncf_16_128_4_edau.4	FAIL	15.89
ncf_4_8_8_d.7	FAIL	15.89
k_t4p_p-16	FAIL	15.9
horn_400CNF2160_2aQBF_657	FAIL	15.9
ncf_16_128_4_d.2	FAIL	15.91
ncf_4_32_8_euad.7	FAIL	15.91
3qbf-5cnf-20var-320cl.3	FAIL	15.91
horn_400CNF2160_2aQBF_588	FAIL	15.91
3qbf-5cnf-160var-640cl.5	FAIL	15.91
ncf_4_32_4_d.9	FAIL	15.92
ncf_4_16_2_edau.1	FAIL	15.93
4qbf-5cnf-160var-640cl.8	FAIL	15.93
adder-16-sat	FAIL	15.94
ncf_4_16_8_u.9	FAIL	15.94
toilet_c_10_01.20	SAT	15.96
ncf_16_64_2_u.8	FAIL	15.96
renHorn_400CNF2200_2aQBF_48	FAIL	15.96
ncf_4_16_4_u.10	FAIL	15.97
horn_400CNF2160_2aQBF_407	FAIL	15.97
ncf_8_32_2_euad.9	FAIL	15.97
ncf_8_64_8_u.6	FAIL	15.97
ncf_8_64_4_u.3	FAIL	15.97
ncf_16_64_2_u.1	FAIL	15.98
ncf_4_16_4_d.6	FAIL	15.98
ncf_16_64_8_d.3	FAIL	15.98
ncf_16_128_4_edau.7	FAIL	15.98
ncf_4_16_8_d.4	FAIL	15.99
ncf_8_64_4_euad.4	FAIL	15.99
ncf_8_32_8_edau.10	FAIL	15.99
3qbf-5cnf-160var-640cl.7	FAIL	15.99
ncf_4_32_4_euad.5	FAIL	15.99
ncf_4_16_8_edau.8	FAIL	16
renHorn_400CNF2280_2aQBF_67	FAIL	16
renHorn_400CNF2360_2aQBF_58	FAIL	16
ncf_8_32_4_d.7	FAIL	16
ncf_16_64_8_edau.5	FAIL	16
ncf_8_32_2_euad.3	FAIL	16.01
horn_400CNF2160_2aQBF_427	FAIL	16.01
ncf_8_64_2_euad.6	FAIL	16.02
ncf_4_32_4_euad.1	FAIL	16.02
test1_quant_squaring2	FAIL	16.02
ncf_16_64_4_u.7	FAIL	16.03
ncf_16_32_4_edau.4	FAIL	16.03
ncf_8_64_8_edau.4	FAIL	16.04
ncf_16_64_2_u.10	FAIL	16.05
ncf_8_32_2_u.4	FAIL	16.05
ncf_4_32_8_u.6	FAIL	16.05
ncf_8_64_4_edau.9	FAIL	16.05
ncf_16_128_2_d.4	FAIL	16.06
horn_400CNF2160_2aQBF_23	FAIL	16.07
ncf_8_64_2_u.4	FAIL	16.07
ncf_8_64_4_euad.10	FAIL	16.07
ncf_4_32_8_d.6	FAIL	16.08
renHorn_400CNF2280_2aQBF_4	FAIL	16.1
3qbf-5cnf-160var-5120cl.8	FAIL	16.1
ncf_4_32_8_u.8	FAIL	16.1
ncf_8_64_8_u.5	FAIL	16.11
ncf_8_64_8_u.9	FAIL	16.11
ncf_8_32_8_d.10	FAIL	16.11
ncf_16_64_4_euad.9	FAIL	16.12
ncf_16_64_8_u.2	FAIL	16.12
ncf_8_64_4_u.7	FAIL	16.16
renHorn_400CNF2280_2aQBF_95	FAIL	16.16
ncf_8_32_8_euad.1	FAIL	16.16
ncf_16_64_4_edau.8	FAIL	16.17
ncf_16_32_4_d.8	FAIL	16.17
ncf_8_64_2_euad.5	FAIL	16.17
ncf_8_32_8_d.7	FAIL	16.19
ncf_8_64_4_d.4	FAIL	16.2
renHorn_400CNF2280_2aQBF_59	FAIL	16.23
ncf_16_64_4_u.3	FAIL	16.24
ncf_4_16_8_edau.1	FAIL	16.24
ncf_4_32_4_euad.8	FAIL	16.26
ncf_4_8_8_u.4	FAIL	16.27
ncf_16_32_8_euad.8	FAIL	16.28
ncf_4_32_2_euad.9	FAIL	16.28
ncf_8_64_4_edau.8	FAIL	16.28
ncf_4_32_4_euad.7	FAIL	16.3
ncf_8_64_4_u.5	FAIL	16.33
ncf_8_64_8_d.2	FAIL	16.33
ncf_16_32_2_euad.10	FAIL	16.34
ncf_16_64_2_u.3	FAIL	16.34
ncf_4_32_4_euad.6	FAIL	16.35
ncf_8_64_2_edau.9	FAIL	16.35
ncf_8_16_8_euad.10	FAIL	16.36
ncf_16_64_2_u.5	FAIL	16.37
ncf_4_8_4_euad.4	FAIL	16.37
5qbf-5cnf-20var-160cl.9	FAIL	16.37
ncf_16_128_4_edau.9	FAIL	16.38
ncf_16_64_4_edau.5	FAIL	16.38
ncf_16_64_4_u.4	FAIL	16.38
ncf_16_128_2_d.6	FAIL	16.39
ncf_16_64_2_u.4	FAIL	16.39
ncf_8_32_8_d.8	FAIL	16.4
ncf_16_128_2_d.1	FAIL	16.41
ncf_16_64_2_u.9	FAIL	16.41
ncf_16_64_4_u.5	FAIL	16.41
ncf_16_64_8_d.7	FAIL	16.44
ncf_16_128_4_edau.1	FAIL	16.44
ncf_4_8_8_euad.10	FAIL	16.44
ncf_16_128_8_edau.2	FAIL	16.46
ncf_8_64_4_u.6	FAIL	16.46
ncf_8_16_4_euad.6	FAIL	16.47
5qbf-5cnf-20var-160cl.0	FAIL	16.47
ncf_16_64_4_u.2	FAIL	16.47
3qbf-5cnf-160var-5120cl.5	FAIL	16.48
ncf_16_128_4_d.4	FAIL	16.49
renHorn_400CNF2280_2aQBF_13	FAIL	16.5
3qbf-5cnf-40var-160cl.0	FAIL	16.51
ncf_8_16_4_euad.7	FAIL	16.54
ncf_4_16_8_euad.2	FAIL	16.56
ncf_8_32_2_euad.5	FAIL	16.56
horn_400CNF2320_2aQBF_72	FAIL	16.56
renHorn_400CNF2360_2aQBF_97	FAIL	16.56
ncf_16_128_4_d.9	FAIL	16.57
ncf_8_64_8_u.10	FAIL	16.58
ncf_16_64_8_edau.9	FAIL	16.58
horn_400CNF2320_2aQBF_209	FAIL	16.6
3qbf-5cnf-40var-320cl.7	FAIL	16.61
ncf_4_32_8_d.7	FAIL	16.61
ncf_4_8_4_euad.7	FAIL	16.61
ncf_8_32_8_edau.5	FAIL	16.63
ncf_8_32_8_euad.5	FAIL	16.64
ncf_16_64_2_euad.10	FAIL	16.64
ncf_8_64_8_u.1	FAIL	16.64
ncf_8_32_4_d.10	FAIL	16.67
ncf_8_16_8_edau.5	FAIL	16.68
ncf_16_32_8_euad.7	FAIL	16.69
ncf_8_16_8_euad.7	FAIL	16.69
ncf_16_64_4_u.8	FAIL	16.7
ncf_8_64_8_d.7	FAIL	16.7
ncf_8_32_8_euad.3	FAIL	16.71
ncf_8_64_2_u.6	FAIL	16.72
ncf_16_64_4_d.3	FAIL	16.74
5qbf-5cnf-20var-320cl.6	FAIL	16.74
ncf_16_32_8_d.8	FAIL	16.75
ncf_16_64_8_u.7	FAIL	16.76
horn_400CNF2320_2aQBF_458	FAIL	16.77
ncf_16_128_4_d.3	FAIL	16.77
ncf_8_16_8_d.10	FAIL	16.79
ncf_16_32_2_d.8	FAIL	16.79
renHorn_400CNF2360_2aQBF_88	FAIL	16.8
6qbf-5cnf-160var-5120cl.6	FAIL	16.8
ncf_16_32_8_edau.5	FAIL	16.8
ncf_16_64_4_d.5	FAIL	16.81
6qbf-5cnf-40var-640cl.1	FAIL	16.81
ncf_8_64_2_euad.4	FAIL	16.81
ncf_16_64_2_euad.5	FAIL	16.82
6qbf-5cnf-80var-640cl.6	FAIL	16.82
ncf_8_64_4_d.1	FAIL	16.83
ncf_4_32_8_euad.8	FAIL	16.84
ncf_16_32_8_euad.2	FAIL	16.85
ncf_16_128_4_d.6	FAIL	16.85
ncf_8_16_4_u.8	FAIL	16.85
ncf_16_64_8_edau.4	FAIL	16.85
2qbf-5cnf-20var-320cl.5	UNSAT	16.86
ncf_8_32_8_u.9	FAIL	16.86
horn_400CNF2320_2aQBF_772	FAIL	16.87
renHorn_400CNF2360_2aQBF_9	FAIL	16.88
6qbf-5cnf-160var-5120cl.5	FAIL	16.89
ncf_8_16_8_edau.7	FAIL	16.9
horn_400CNF2320_2aQBF_420	FAIL	16.91
6qbf-5cnf-160var-5120cl.7	FAIL	16.92
ncf_16_64_2_euad.8	FAIL	16.92
ncf_8_32_4_euad.6	FAIL	16.93
ncf_8_64_2_d.9	FAIL	16.93
ncf_4_32_8_u.5	FAIL	16.94
ncf_8_64_8_u.3	FAIL	16.94
ncf_16_64_4_d.8	FAIL	16.94
ncf_8_16_8_euad.6	FAIL	16.96
ncf_4_32_8_d.2	FAIL	16.97
horn_400CNF2320_2aQBF_137	FAIL	16.99
6qbf-5cnf-160var-5120cl.1	FAIL	16.99
ncf_4_32_8_euad.6	FAIL	17
horn_400CNF2320_2aQBF_433	FAIL	17
adder-12-sat	FAIL	17.01
horn_400CNF2320_2aQBF_80	FAIL	17.01
6qbf-5cnf-160var-1280cl.7	FAIL	17.02
6qbf-5cnf-160var-5120cl.4	FAIL	17.04
ncf_8_32_2_euad.7	FAIL	17.05
5qbf-5cnf-20var-160cl.7	FAIL	17.06
ncf_8_32_4_euad.5	FAIL	17.06
ncf_16_64_4_d.9	FAIL	17.07
horn_400CNF2320_2aQBF_797	FAIL	17.07
horn_400CNF2320_2aQBF_813	FAIL	17.08
horn_400CNF2320_2aQBF_832	FAIL	17.08
6qbf-5cnf-160var-5120cl.8	FAIL	17.11
ncf_16_128_4_edau.5	FAIL	17.11
ncf_16_32_4_euad.7	FAIL	17.11
ncf_16_128_8_edau.5	FAIL	17.14
ncf_8_64_2_d.6	FAIL	17.17
ncf_8_64_2_u.3	FAIL	17.17
ncf_4_32_8_d.1	FAIL	17.19
ncf_16_64_2_euad.9	FAIL	17.19
ncf_8_32_8_euad.6	FAIL	17.19
ncf_16_32_8_euad.10	FAIL	17.2
ncf_8_64_4_euad.2	FAIL	17.2
6qbf-5cnf-160var-5120cl.0	FAIL	17.2
ncf_4_16_2_u.3	FAIL	17.22
ncf_8_32_4_euad.3	FAIL	17.22
ncf_8_32_8_euad.9	FAIL	17.22
ncf_16_32_8_d.5	FAIL	17.23
ncf_16_128_8_edau.7	FAIL	17.24
ncf_8_32_8_euad.2	FAIL	17.24
6qbf-5cnf-160var-5120cl.2	FAIL	17.26
horn_400CNF2320_2aQBF_132	FAIL	17.28
ncf_16_128_8_edau.9	FAIL	17.29
ncf_16_64_4_d.7	FAIL	17.32
ncf_8_32_8_euad.4	FAIL	17.32
ncf_16_64_2_u.6	FAIL	17.35
ncf_16_128_2_d.8	FAIL	17.35
ncf_8_32_8_d.9	FAIL	17.37
ncf_16_64_8_edau.8	FAIL	17.38
ncf_16_32_4_edau.5	FAIL	17.38
ncf_16_32_8_d.2	FAIL	17.4
ncf_16_128_8_edau.4	FAIL	17.41
ncf_16_32_4_euad.4	FAIL	17.41
ncf_4_16_2_d.1	FAIL	17.42
ncf_16_64_8_u.6	FAIL	17.42
ncf_16_128_8_edau.10	FAIL	17.43
ncf_8_32_8_u.5	FAIL	17.44
ncf_16_64_4_euad.6	FAIL	17.46
6qbf-5cnf-160var-5120cl.3	FAIL	17.46
ncf_16_64_4_edau.10	FAIL	17.46
6qbf-5cnf-160var-5120cl.9	FAIL	17.47
ncf_4_16_2_euad.10	FAIL	17.48
ncf_16_32_8_d.10	FAIL	17.48
ncf_4_32_8_euad.4	FAIL	17.49
ncf_8_32_8_d.5	FAIL	17.49
ncf_16_32_4_d.2	FAIL	17.54
horn_400CNF2320_2aQBF_230	FAIL	17.55
ncf_4_32_8_u.1	FAIL	17.55
ncf_16_64_8_d.1	FAIL	17.55
ncf_16_128_8_edau.6	FAIL	17.57
ncf_8_64_8_d.5	FAIL	17.57
4qbf-5cnf-20var-160cl.2	FAIL	17.57
ncf_4_32_4_d.5	FAIL	17.58
ncf_16_64_4_edau.4	FAIL	17.58
ncf_8_64_2_euad.8	FAIL	17.58
ncf_16_64_8_edau.6	FAIL	17.59
ncf_4_16_8_d.3	FAIL	17.59
ncf_16_64_2_euad.4	FAIL	17.6
3qbf-5cnf-160var-640cl.0	FAIL	17.6
ncf_16_64_2_d.8	FAIL	17.61
ncf_4_32_4_d.8	FAIL	17.63
ncf_4_32_2_edau.6	FAIL	17.64
ncf_8_16_8_edau.8	FAIL	17.65
ncf_4_16_8_d.2	FAIL	17.65
2qbf-5cnf-160var-320cl.4	SAT	17.66
ncf_4_16_8_euad.3	FAIL	17.68
ncf_8_64_4_d.10	FAIL	17.69
ncf_16_64_4_d.6	FAIL	17.7
ncf_8_64_4_euad.7	FAIL	17.71
ncf_16_32_4_u.2	FAIL	17.73
ncf_4_32_8_euad.1	FAIL	17.73
5qbf-5cnf-160var-5120cl.6	FAIL	17.75
ncf_4_32_8_euad.5	FAIL	17.76
ncf_8_32_2_edau.3	FAIL	17.77
ncf_16_64_4_euad.1	FAIL	17.77
ncf_4_32_8_d.8	FAIL	17.78
ncf_16_64_4_d.2	FAIL	17.78
ncf_4_8_8_euad.6	FAIL	17.78
ncf_8_64_4_d.7	FAIL	17.8
ncf_16_128_2_u.7	FAIL	17.8
ncf_4_32_8_euad.2	FAIL	17.82
ncf_16_128_2_d.3	FAIL	17.83
ncf_8_64_2_euad.9	FAIL	17.85
ncf_4_8_4_u.7	FAIL	17.85
test1_quant3	FAIL	17.87
ncf_8_64_2_euad.7	FAIL	17.92
ncf_8_64_4_euad.3	FAIL	17.93
ncf_16_32_4_edau.2	FAIL	17.93
5qbf-5cnf-160var-5120cl.8	FAIL	17.95
ncf_16_64_4_euad.4	FAIL	17.95
ncf_8_16_4_d.4	FAIL	17.99
5qbf-5cnf-160var-5120cl.0	FAIL	17.99
ncf_4_16_2_u.1	FAIL	18.01
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	18.01
ncf_4_8_4_d.4	FAIL	18.03
ncf_8_64_2_d.4	FAIL	18.1
ncf_16_64_4_euad.10	FAIL	18.11
1qbf-5cnf-160var-2560cl.0	SAT	18.11
ncf_16_128_4_u.5	FAIL	18.15
ncf_16_64_8_u.5	FAIL	18.15
ncf_16_128_4_d.1	FAIL	18.15
ncf_8_64_4_euad.5	FAIL	18.16
ncf_4_16_8_d.5	FAIL	18.17
ncf_16_128_4_d.10	FAIL	18.17
ncf_16_32_2_euad.6	FAIL	18.17
ncf_16_64_8_edau.2	FAIL	18.17
ncf_8_64_2_d.7	FAIL	18.18
ncf_16_128_2_d.5	FAIL	18.2
ncf_16_32_2_edau.5	FAIL	18.2
ncf_8_16_8_d.5	FAIL	18.2
ncf_8_64_4_euad.8	FAIL	18.23
ncf_8_32_8_edau.8	FAIL	18.23
ncf_8_64_2_d.1	FAIL	18.25
5qbf-5cnf-160var-5120cl.3	FAIL	18.25
5qbf-5cnf-160var-5120cl.4	FAIL	18.26
5qbf-5cnf-160var-5120cl.2	FAIL	18.26
ncf_16_128_2_u.5	FAIL	18.28
ncf_16_32_2_edau.10	FAIL	18.29
ncf_8_64_4_u.8	FAIL	18.3
5qbf-5cnf-160var-5120cl.9	FAIL	18.34
ncf_8_16_2_u.7	FAIL	18.36
ncf_4_16_2_euad.1	FAIL	18.37
ncf_16_32_8_euad.9	FAIL	18.37
renHorn_400CNF1480_2aQBF_62	FAIL	18.4
ncf_8_16_2_euad.7	FAIL	18.4
ncf_4_16_2_euad.3	FAIL	18.45
ncf_16_32_2_u.1	FAIL	18.46
5qbf-5cnf-80var-640cl.3	FAIL	18.52
ncf_8_64_8_euad.6	FAIL	18.53
ncf_8_16_4_edau.4	FAIL	18.56
ncf_8_64_8_u.7	FAIL	18.57
ncf_8_64_2_euad.3	FAIL	18.58
ncf_16_64_4_u.9	FAIL	18.58
ncf_16_32_8_euad.5	FAIL	18.59
ncf_16_64_8_d.6	FAIL	18.62
ncf_8_16_2_u.1	FAIL	18.73
ncf_8_32_8_d.3	FAIL	18.74
ncf_16_128_2_u.9	FAIL	18.74
ncf_8_64_8_u.8	FAIL	18.78
ncf_16_32_2_d.10	FAIL	18.84
ncf_8_64_4_euad.9	FAIL	18.85
ncf_16_64_8_u.10	FAIL	18.9
ncf_4_32_2_euad.5	FAIL	18.95
ncf_8_64_4_euad.6	FAIL	18.95
ncf_16_128_8_d.5	FAIL	18.98
ncf_16_64_4_euad.2	FAIL	18.99
ncf_16_64_8_euad.7	FAIL	18.99
ncf_16_128_2_u.2	FAIL	19
ncf_16_64_4_euad.7	FAIL	19.02
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	19.04
ncf_8_16_8_euad.5	FAIL	19.05
ncf_8_32_8_euad.8	FAIL	19.06
ncf_16_32_8_euad.6	FAIL	19.09
ncf_16_32_8_d.1	FAIL	19.09
ncf_8_16_8_edau.3	FAIL	19.1
ncf_4_16_8_edau.10	FAIL	19.1
ncf_16_32_8_d.7	FAIL	19.11
ncf_8_32_8_edau.3	FAIL	19.14
Adder2-14-s	FAIL	19.17
ncf_16_128_4_edau.10	FAIL	19.18
ncf_8_32_8_edau.1	FAIL	19.2
ncf_16_128_8_edau.8	FAIL	19.2
ncf_16_128_8_u.6	FAIL	19.21
ncf_8_64_4_euad.1	FAIL	19.23
ncf_16_64_4_euad.8	FAIL	19.25
ncf_4_8_4_u.4	FAIL	19.31
ncf_16_64_4_euad.3	FAIL	19.37
Adder2-16-s	FAIL	19.38
ncf_16_32_8_edau.6	FAIL	19.4
3qbf-5cnf-40var-320cl.6	FAIL	19.41
ncf_8_64_8_euad.2	FAIL	19.43
ncf_16_128_8_u.5	FAIL	19.49
ncf_16_64_8_u.1	FAIL	19.52
ncf_16_32_8_d.9	FAIL	19.53
ncf_8_16_8_d.3	FAIL	19.58
ncf_16_128_2_u.6	FAIL	19.6
ncf_16_128_2_euad.2	FAIL	19.62
ncf_16_128_8_d.7	FAIL	19.67
ncf_16_128_8_u.4	FAIL	19.67
ncf_16_64_8_u.3	FAIL	19.68
ncf_4_16_8_u.10	FAIL	19.78
ncf_8_16_8_d.7	FAIL	19.79
ncf_16_64_4_euad.5	FAIL	19.89
ncf_16_128_2_u.8	FAIL	19.89
ncf_8_64_2_euad.2	FAIL	19.89
ncf_16_128_4_u.7	FAIL	19.92
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	19.95
ncf_8_64_8_d.8	FAIL	19.97
ncf_16_128_8_u.10	FAIL	19.97
ncf_16_64_2_euad.7	FAIL	19.98
ncf_8_64_8_d.1	FAIL	20
ev-pr-8x8-5-7-0-1-2-lg	FAIL	20.01
ncf_8_64_8_d.4	FAIL	20.07
ncf_16_128_4_d.7	FAIL	20.07
2qbf-5cnf-40var-160cl.5	FAIL	20.08
ncf_16_64_2_euad.6	FAIL	20.09
ncf_16_64_8_u.9	FAIL	20.11
ncf_16_32_8_euad.1	FAIL	20.14
6qbf-5cnf-160var-1280cl.2	FAIL	20.21
ncf_16_64_8_d.8	FAIL	20.22
ncf_16_128_2_u.3	FAIL	20.22
3qbf-5cnf-40var-160cl.4	FAIL	20.23
ncf_16_128_2_u.4	FAIL	20.24
ncf_16_32_8_edau.10	FAIL	20.33
ncf_8_32_8_euad.10	FAIL	20.34
ncf_16_64_8_euad.1	FAIL	20.35
ncf_8_64_8_d.10	FAIL	20.38
ncf_16_128_4_euad.4	FAIL	20.39
ncf_16_64_8_euad.6	FAIL	20.41
ncf_16_128_4_euad.7	FAIL	20.45
ncf_4_16_8_d.8	FAIL	20.46
ncf_8_16_4_u.6	FAIL	20.47
qshifter_8	SAT	20.53
ncf_16_64_2_euad.2	FAIL	20.61
ncf_16_32_4_edau.8	FAIL	20.63
ncf_16_128_2_u.10	FAIL	20.65
ncf_8_64_8_euad.10	FAIL	20.67
ncf_4_32_8_d.9	FAIL	20.68
ncf_16_128_2_u.1	FAIL	20.68
ncf_16_32_2_edau.8	FAIL	20.71
test2_quant_squaring3	FAIL	20.73
6qbf-5cnf-40var-320cl.0	FAIL	20.79
ncf_16_128_2_euad.9	FAIL	20.84
ncf_16_128_2_euad.7	FAIL	20.87
ncf_4_16_2_u.10	FAIL	20.87
3qbf-5cnf-160var-640cl.8	FAIL	20.89
ncf_16_128_4_euad.3	FAIL	20.94
ncf_16_128_4_euad.2	FAIL	20.98
ncf_4_16_4_d.3	FAIL	21
ncf_8_64_8_d.9	FAIL	21.08
ncf_4_8_8_euad.4	FAIL	21.1
5qbf-5cnf-80var-640cl.1	FAIL	21.13
ncf_8_64_2_d.2	FAIL	21.16
2qbf-5cnf-160var-5120cl.8	FAIL	21.19
ncf_16_32_8_d.6	FAIL	21.22
ncf_8_64_8_euad.7	FAIL	21.22
2qbf-5cnf-160var-5120cl.2	FAIL	21.25
ncf_16_128_4_u.10	FAIL	21.25
ncf_8_64_2_euad.10	FAIL	21.28
ncf_16_32_2_d.5	FAIL	21.28
4qbf-5cnf-80var-320cl.3	FAIL	21.28
2qbf-5cnf-160var-5120cl.5	FAIL	21.28
2qbf-5cnf-160var-5120cl.3	FAIL	21.32
ncf_16_128_4_u.2	FAIL	21.33
2qbf-5cnf-160var-5120cl.6	FAIL	21.34
ncf_16_64_8_d.4	FAIL	21.37
2qbf-5cnf-160var-5120cl.7	FAIL	21.38
2qbf-5cnf-160var-5120cl.0	FAIL	21.39
2qbf-5cnf-160var-5120cl.9	FAIL	21.41
2qbf-5cnf-160var-5120cl.4	FAIL	21.41
ncf_16_64_8_euad.10	FAIL	21.47
6qbf-5cnf-160var-1280cl.5	FAIL	21.5
2qbf-5cnf-160var-5120cl.1	FAIL	21.5
ncf_16_128_4_euad.8	FAIL	21.56
mutex-16-s	FAIL	21.71
ncf_8_64_8_euad.3	FAIL	21.77
ncf_16_64_8_d.9	FAIL	21.79
ncf_16_128_8_u.3	FAIL	21.81
ncf_8_64_2_euad.1	FAIL	21.96
ncf_8_16_8_euad.8	FAIL	21.96
ncf_16_128_4_u.3	FAIL	21.99
6qbf-5cnf-80var-640cl.5	FAIL	22.03
2qbf-5cnf-40var-160cl.8	FAIL	22.09
ncf_16_64_8_d.5	FAIL	22.17
ncf_8_64_8_euad.5	FAIL	22.31
4qbf-5cnf-20var-80cl.8	FAIL	22.37
2qbf-5cnf-40var-160cl.9	FAIL	22.43
ncf_8_64_8_euad.8	FAIL	22.43
ncf_16_128_4_u.8	FAIL	22.51
ncf_4_32_8_euad.10	FAIL	22.63
ncf_8_64_8_euad.4	FAIL	22.74
ncf_16_128_8_u.7	FAIL	22.74
ncf_16_128_2_euad.4	FAIL	22.81
ncf_8_64_8_euad.9	FAIL	22.82
ncf_16_128_4_u.4	FAIL	22.89
ncf_8_16_8_d.8	FAIL	22.98
ncf_16_128_4_u.6	FAIL	23.01
ncf_4_32_8_euad.9	FAIL	23.03
6qbf-5cnf-40var-320cl.3	FAIL	23.04
ncf_16_128_8_u.2	FAIL	23.14
4qbf-5cnf-40var-160cl.9	FAIL	23.18
ncf_8_16_8_u.6	FAIL	23.2
2qbf-5cnf-160var-320cl.8	FAIL	23.22
ncf_4_16_2_edau.10	FAIL	23.22
ncf_8_64_8_euad.1	FAIL	23.25
ncf_16_64_8_d.10	FAIL	23.27
ncf_8_64_8_d.6	FAIL	23.27
ncf_16_128_8_d.8	FAIL	23.29
ncf_16_128_8_d.9	FAIL	23.4
2qbf-5cnf-40var-160cl.0	FAIL	23.42
ncf_16_128_8_u.9	FAIL	23.43
4qbf-5cnf-20var-160cl.6	FAIL	23.44
ncf_16_128_4_euad.5	FAIL	23.51
ncf_16_128_8_d.10	FAIL	23.67
ncf_16_128_8_d.4	FAIL	23.67
ncf_16_128_8_d.1	FAIL	23.73
3qbf-5cnf-20var-640cl.6	UNSAT	23.81
ncf_16_128_4_u.1	FAIL	23.82
ncf_16_64_8_euad.8	FAIL	23.85
ncf_16_128_2_euad.1	FAIL	23.88
ncf_16_128_2_euad.10	FAIL	23.99
ncf_16_128_4_u.9	FAIL	24.05
ncf_8_64_8_d.3	FAIL	24.23
ncf_4_8_8_euad.2	FAIL	24.24
ncf_16_64_8_euad.3	FAIL	24.32
4qbf-5cnf-40var-320cl.6	FAIL	24.33
ncf_4_16_2_euad.8	FAIL	24.34
ncf_16_64_8_euad.5	FAIL	24.38
4qbf-5cnf-20var-160cl.9	FAIL	24.42
ncf_16_128_4_euad.10	FAIL	24.45
4qbf-5cnf-20var-320cl.5	FAIL	24.6
ncf_16_128_4_euad.1	FAIL	24.61
ncf_16_64_8_euad.9	FAIL	24.62
ncf_16_128_4_euad.9	FAIL	24.65
ncf_8_32_2_d.3	FAIL	24.74
ncf_16_128_8_u.1	FAIL	24.79
ncf_16_128_4_euad.6	FAIL	24.83
test3_quant_squaring4	FAIL	24.98
3qbf-5cnf-40var-1280cl.3	FAIL	25
ncf_16_128_8_u.8	FAIL	25.08
ncf_4_16_2_u.8	FAIL	25.12
6qbf-5cnf-80var-640cl.3	FAIL	25.16
ncf_4_8_4_u.1	FAIL	25.28
toilet_c_10_01.16	UNSAT	25.32
ncf_16_128_8_d.6	FAIL	25.33
ncf_16_128_2_euad.5	FAIL	25.34
ncf_16_64_8_euad.4	FAIL	25.71
2qbf-5cnf-20var-160cl.9	UNSAT	25.86
ncf_8_16_8_d.6	FAIL	26.08
ncf_16_128_2_euad.8	FAIL	26.19
ncf_16_128_8_euad.5	FAIL	26.2
k_t4p_n-20	FAIL	26.32
k_t4p_p-12	FAIL	26.34
5qbf-5cnf-80var-640cl.0	FAIL	26.35
ncf_16_32_8_d.3	FAIL	26.35
3qbf-5cnf-80var-320cl.1	FAIL	26.39
k_t4p_n-21	FAIL	26.42
ncf_4_8_8_u.5	FAIL	26.49
ncf_16_128_2_euad.3	FAIL	26.73
ncf_16_64_8_euad.2	FAIL	26.8
6qbf-5cnf-80var-640cl.1	FAIL	26.98
ncf_16_128_2_euad.6	FAIL	27.09
test5_quant5	FAIL	27.82
ncf_4_16_2_d.8	FAIL	27.96
ncf_4_16_8_euad.4	FAIL	28
3qbf-5cnf-20var-320cl.9	FAIL	28.18
4qbf-5cnf-20var-320cl.4	FAIL	28.28
ncf_16_128_8_d.3	FAIL	28.33
connect_5x4_4_R	FAIL	28.34
k_t4p_n-8	FAIL	28.39
3qbf-5cnf-160var-640cl.2	FAIL	28.59
2qbf-5cnf-20var-320cl.8	FAIL	28.78
ncf_4_32_2_u.1	FAIL	29.15
szymanski-8-s	FAIL	29.27
5qbf-5cnf-20var-160cl.8	FAIL	29.32
ncf_16_64_8_d.2	FAIL	29.34
ncf_16_128_8_d.2	FAIL	29.41
5qbf-5cnf-40var-320cl.8	FAIL	29.45
4qbf-5cnf-160var-640cl.1	FAIL	29.82
connect_7x6_3_R	FAIL	30.23
counter_64	FAIL	30.41
ncf_16_128_8_euad.2	FAIL	30.48
ncf_4_16_2_d.10	FAIL	30.64
ncf_16_128_8_euad.10	FAIL	30.86
ncf_16_128_8_euad.7	FAIL	30.91
connect_5x4_3_R	FAIL	30.92
3qbf-5cnf-20var-320cl.8	FAIL	31.06
counter_16	FAIL	31.08
2qbf-5cnf-40var-160cl.3	FAIL	31.16
connect_9x8_4_R	FAIL	31.35
ncf_16_128_8_euad.8	FAIL	31.36
4qbf-5cnf-160var-640cl.2	FAIL	31.46
3qbf-5cnf-20var-160cl.3	FAIL	31.6
counter_32	FAIL	31.61
5qbf-5cnf-40var-320cl.6	FAIL	31.73
ncf_16_32_2_d.3	FAIL	31.78
counter_r_8	SAT	32.05
3qbf-5cnf-80var-320cl.7	FAIL	32.06
robots_1_5_3_24.4	FAIL	32.38
robots_1_5_3_57.4	FAIL	32.41
robots_1_5_3_2.4	FAIL	32.68
robots_1_5_5_66.4	FAIL	32.8
ncf_16_32_2_u.7	UNSAT	32.83
robots_1_5_5_26.4	FAIL	32.93
ncf_16_128_8_euad.6	FAIL	33.35
6qbf-5cnf-80var-640cl.9	FAIL	33.37
robots_1_5_3_52.4	FAIL	33.5
5qbf-5cnf-20var-320cl.4	FAIL	33.59
connect_8x7_7_R	FAIL	33.71
ncf_16_32_2_edau.3	FAIL	33.85
Adder2-6-s	SAT	34.31
6qbf-5cnf-20var-160cl.1	FAIL	34.38
ncf_16_128_8_euad.1	FAIL	34.41
ncf_16_128_8_euad.9	FAIL	34.48
3qbf-5cnf-20var-640cl.5	UNSAT	34.5
k_ph_n-16	SAT	34.52
test3_quant4	FAIL	34.82
connect_7x6_5_R	FAIL	34.82
robots_1_5_2_3.4	FAIL	35.01
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	35.09
6qbf-5cnf-20var-320cl.7	FAIL	35.43
3qbf-5cnf-80var-320cl.0	FAIL	35.62
robots_1_5_3_66.4	FAIL	35.67
4qbf-5cnf-80var-320cl.5	FAIL	35.68
test4_quant_squaring4	FAIL	35.8
robots_1_5_2_85.4	FAIL	35.91
Adder2-10-s	FAIL	35.99
connect_6x5_3_R	FAIL	36.39
robots_1_5_2_2.4	FAIL	37.17
connect_9x8_3_R	FAIL	37.27
3qbf-5cnf-40var-160cl.2	SAT	37.61
6qbf-5cnf-20var-160cl.3	FAIL	37.63
4qbf-5cnf-80var-320cl.9	FAIL	37.66
5qbf-5cnf-40var-320cl.3	FAIL	37.72
5qbf-5cnf-80var-640cl.2	FAIL	37.75
ncf_16_128_8_euad.3	FAIL	37.76
adder-6-sat	SAT	37.95
connect_9x8_5_R	FAIL	38.42
connect_8x7_3_R	FAIL	38.69
5qbf-5cnf-40var-320cl.5	FAIL	38.87
2qbf-5cnf-160var-320cl.2	SAT	38.89
robots_1_5_2_82.4	FAIL	39
4qbf-5cnf-20var-160cl.7	FAIL	39.76
test5_quant7	FAIL	39.98
robots_1_5_3_16.4	FAIL	40.06
6qbf-5cnf-80var-640cl.0	FAIL	40.1
ncf_4_8_8_euad.1	SAT	40.17
connect_8x7_4_R	FAIL	40.19
connect_9x8_6_R	FAIL	40.25
ncf_16_128_8_euad.4	FAIL	40.37
connect_7x6_4_R	FAIL	40.46
ncf_4_16_8_edau.7	SAT	40.57
4qbf-5cnf-160var-640cl.7	FAIL	40.61
adder-10-sat	FAIL	40.84
connect_9x8_7_R	FAIL	41.29
robots_1_5_3_100.4	FAIL	41.31
robots_1_5_2_99.4	FAIL	41.48
robots_1_5_2_80.4	FAIL	41.84
5qbf-5cnf-20var-640cl.2	FAIL	41.9
ev-pr-6x6-5-5-0-1-2-lg	FAIL	42.44
robots_1_5_2_45.4	FAIL	42.45
robots_1_5_2_21.4	FAIL	42.57
connect_6x5_4_R	FAIL	42.75
robots_1_5_2_39.4	FAIL	42.76
connect_8x7_6_R	FAIL	42.94
robots_1_5_2_100.4	FAIL	43.36
2qbf-5cnf-160var-320cl.1	FAIL	43.68
6qbf-5cnf-40var-320cl.9	FAIL	44.41
connect_7x6_6_R	FAIL	44.73
robots_1_5_4_100.4	FAIL	45.58
robots_1_5_4_30.4	FAIL	45.89
robots_1_5_4_50.4	FAIL	45.94
2qbf-5cnf-40var-160cl.4	FAIL	46
robots_1_5_4_31.4	FAIL	46.17
ncf_4_8_8_d.2	FAIL	46.55
connect_8x7_5_R	FAIL	46.65
robots_1_5_5_87.4	FAIL	46.69
6qbf-5cnf-20var-160cl.7	FAIL	48.8
5qbf-5cnf-40var-320cl.4	FAIL	48.93
3qbf-5cnf-20var-320cl.6	FAIL	49.68
5qbf-5cnf-40var-320cl.0	FAIL	50.04
4qbf-5cnf-20var-160cl.3	FAIL	50.29
4qbf-5cnf-80var-320cl.4	FAIL	50.78
1qbf-5cnf-160var-2560cl.4	SAT	54.3
s820_d2_s	SAT	54.79
3qbf-5cnf-80var-320cl.6	FAIL	57.22
4qbf-5cnf-80var-320cl.7	FAIL	59.06
3qbf-5cnf-20var-160cl.2	FAIL	59.11
robots_1_5_3_44.4	FAIL	59.14
4qbf-5cnf-20var-160cl.5	FAIL	59.48
5qbf-5cnf-40var-320cl.9	FAIL	60.78
4qbf-5cnf-20var-160cl.0	FAIL	61.09
3qbf-5cnf-20var-320cl.5	FAIL	61.75
connect_6x5_5_R	FAIL	62
4qbf-5cnf-80var-320cl.8	FAIL	62.13
robots_1_5_5_8.4	FAIL	62.63
robots_1_5_5_100.4	FAIL	63.07
test5_quant_squaring5	FAIL	64.34
connect_9x8_8_R	FAIL	64.77
3qbf-5cnf-20var-160cl.4	FAIL	65.16
toilet_a_10_01.16	UNSAT	70.06
3qbf-5cnf-20var-320cl.0	FAIL	70.29
3qbf-5cnf-20var-160cl.6	FAIL	70.62
test2_quant3	FAIL	71.01
4qbf-5cnf-80var-320cl.1	FAIL	71.06
5qbf-5cnf-20var-160cl.1	FAIL	71.64
test5_quant_squaring4	FAIL	74.48
4qbf-5cnf-20var-320cl.3	FAIL	77.91
robots_1_5_4_46.4	FAIL	78.14
robots_1_5_5_30.4	FAIL	79.29
robots_1_5_4_91.4	FAIL	79.3
robots_1_5_4_98.4	FAIL	79.44
robots_1_5_5_45.4	FAIL	79.46
6qbf-5cnf-80var-640cl.2	FAIL	80
6qbf-5cnf-20var-160cl.9	FAIL	80.16
counter_e_8	SAT	80.59
6qbf-5cnf-20var-160cl.4	FAIL	81.11
robots_1_5_4_87.4	FAIL	81.41
robots_1_5_3_20.4	FAIL	82.51
robots_1_5_4_2.4	FAIL	82.55
robots_1_5_4_51.4	FAIL	84.85
robots_1_5_3_78.4	FAIL	85.37
robots_1_5_5_34.4	FAIL	85.46
4qbf-5cnf-80var-320cl.2	FAIL	86.8
robots_1_5_5_12.4	FAIL	86.81
ncf_4_8_8_euad.5	FAIL	87.25
robots_1_5_5_93.4	FAIL	87.9
3qbf-5cnf-20var-160cl.1	FAIL	90.09
5qbf-5cnf-20var-640cl.4	FAIL	92.01
1qbf-5cnf-80var-2560cl.2	UNSAT	96.15
1qbf-5cnf-80var-2560cl.9	UNSAT	99.01
1qbf-5cnf-160var-2560cl.2	SAT	99.39
1qbf-5cnf-80var-2560cl.3	UNSAT	99.87
ev-pr-4x4-7-3-0-0-1-lg	FAIL	99.91
1qbf-5cnf-80var-2560cl.6	UNSAT	99.92
1qbf-5cnf-80var-2560cl.8	UNSAT	101.76
1qbf-5cnf-80var-2560cl.4	UNSAT	102.12
1qbf-5cnf-80var-2560cl.0	UNSAT	102.94
1qbf-5cnf-160var-2560cl.8	SAT	103.42
4qbf-5cnf-40var-160cl.7	FAIL	107.26
1qbf-5cnf-80var-2560cl.7	UNSAT	108.12
test2_quant2	FAIL	109.33
test2_quant_squaring2	FAIL	109.34
1qbf-5cnf-80var-2560cl.1	UNSAT	109.65
1qbf-5cnf-160var-2560cl.7	SAT	110.27
3qbf-5cnf-20var-320cl.7	FAIL	114.41
3qbf-5cnf-20var-160cl.9	FAIL	115.7
Adder2-12-s	FAIL	118.11
4qbf-5cnf-40var-160cl.3	SAT	118.19
ev-pr-4x4-17-3-0-0-1-lg	FAIL	118.66
3qbf-5cnf-40var-160cl.5	FAIL	119.72
s298_d4_s	SAT	119.99
1qbf-5cnf-80var-2560cl.5	UNSAT	121.94
C880.blif_0.10_1.00_0_1_out_exact	FAIL	131.47
C880.blif_0.10_1.00_0_0_out_exact	FAIL	131.66
test4_quant_squaring2	FAIL	136.12
4qbf-5cnf-20var-160cl.1	FAIL	137.1
ev-pr-8x8-13-7-0-1-2-lg	FAIL	145.28
test4_quant2	FAIL	147.32
s499_d4_s	SAT	154.46
ev-pr-6x6-13-5-0-1-2-lg	FAIL	154.61
ncf_4_8_8_d.4	FAIL	157.79
3qbf-5cnf-80var-320cl.8	FAIL	159.77
ev-pr-6x6-15-5-0-1-2-lg	FAIL	160.18
1qbf-5cnf-160var-2560cl.6	SAT	163.37
4qbf-5cnf-20var-160cl.4	FAIL	164.46
6qbf-5cnf-20var-160cl.2	FAIL	165.12
ev-pr-4x4-9-3-0-0-1-lg	FAIL	165.31
ev-pr-8x8-15-7-0-1-2-lg	FAIL	166.69
5qbf-5cnf-20var-160cl.2	FAIL	167.77
counter_re_8	SAT	168.46
3qbf-5cnf-20var-160cl.7	FAIL	168.72
4qbf-5cnf-40var-160cl.8	FAIL	169.3
5qbf-5cnf-40var-320cl.1	FAIL	170.04
ev-pr-6x6-17-5-0-1-2-lg	FAIL	172.24
4qbf-5cnf-80var-320cl.6	FAIL	177.88
ev-pr-8x8-9-7-0-1-2-lg	FAIL	181.1
ev-pr-4x4-11-3-0-0-1-lg	FAIL	181.64
ev-pr-6x6-19-5-0-1-2-lg	FAIL	186.7
1qbf-5cnf-160var-2560cl.3	SAT	187.17
ev-pr-8x8-17-7-0-1-2-lg	FAIL	191.45
s713_d2_s	SAT	209.31
ev-pr-8x8-19-7-0-1-2-lg	FAIL	216.53
ncf_4_16_2_u.7	SAT	218.7
ev-pr-6x6-7-5-0-1-2-lg	FAIL	223.98
ev-pr-6x6-9-5-0-1-2-lg	FAIL	230.59
3qbf-5cnf-20var-160cl.8	FAIL	232.31
ev-pr-8x8-11-7-0-1-2-lg	FAIL	238.71
ncf_4_32_2_edau.2	SAT	243.72
ncf_4_8_2_euad.3	FAIL	257.72
ev-pr-8x8-7-7-0-1-2-lg	FAIL	260.89
ev-pr-4x4-13-3-0-0-1-lg	FAIL	265.53
5qbf-5cnf-20var-160cl.5	FAIL	280.11
ev-pr-6x6-11-5-0-1-2-lg	FAIL	294.22
4qbf-5cnf-20var-160cl.8	FAIL	312.55
1qbf-5cnf-160var-2560cl.1	SAT	331.54
ev-pr-4x4-15-3-0-0-1-lg	FAIL	347
3qbf-5cnf-40var-160cl.9	FAIL	351.68
3qbf-5cnf-20var-160cl.0	FAIL	376.7
4qbf-5cnf-40var-160cl.4	FAIL	408.98
6qbf-5cnf-20var-160cl.6	FAIL	412.36
1qbf-5cnf-160var-2560cl.9	SAT	434.69
4qbf-5cnf-40var-160cl.0	FAIL	458.03
3qbf-5cnf-40var-160cl.8	FAIL	515.37
6qbf-5cnf-20var-160cl.5	FAIL	539.94
3qbf-5cnf-40var-160cl.3	FAIL	576.6
test4_quant4	FAIL	592.92
3qbf-5cnf-40var-160cl.7	FAIL	621.24
3qbf-5cnf-40var-160cl.1	FAIL	656.6
ncf_4_16_2_euad.7	SAT	669.99
C432.blif_0.10_0.20_0_0_out_exact	UNSAT	737.06
3qbf-5cnf-20var-160cl.5	FAIL	810.5
ncf_4_16_8_d.7	FAIL	830.97
ev-pr-6x6-19-5-0-1-2-s	FAIL	870.18
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	891.02
1qbf-5cnf-160var-5120cl.3	FAIL	892.11
1qbf-5cnf-160var-5120cl.7	FAIL	892.18
1qbf-5cnf-160var-5120cl.8	FAIL	892.24
1qbf-5cnf-160var-5120cl.0	FAIL	892.41
1qbf-5cnf-160var-5120cl.9	FAIL	892.47
1qbf-5cnf-160var-5120cl.1	FAIL	892.56
1qbf-5cnf-160var-5120cl.4	FAIL	892.64
1qbf-5cnf-160var-5120cl.2	FAIL	892.95
1qbf-5cnf-160var-5120cl.5	FAIL	893.1
1qbf-5cnf-160var-5120cl.6	FAIL	893.11
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	893.16
k_ph_p-12	FAIL	893.61
s510_d32_s	FAIL	895.36
C432.blif_0.10_0.20_0_1_out_exact	FAIL	895.55
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	895.57
s510_d46_s	FAIL	895.58
k_ph_p-16	FAIL	896.27
s3330_d8_s	FAIL	896.31
s510_d47_u	FAIL	896.45
s3330_d4_s	FAIL	896.72
s1269_d8_s	FAIL	896.76
s1269_d10_s	FAIL	897.09
s499_d16_s	FAIL	897.3
s510_d16_s	FAIL	897.42
term1.blif_0.10_0.20_0_0_out_exact	FAIL	897.55
s1269_d11_u	FAIL	898.09
s3330_d9_s	FAIL	898.43
s386_d4_s	FAIL	898.44
s3330_d2_s	FAIL	898.85
s820_d11_u	FAIL	899.04
s298_d19_u	FAIL	899.31
s1196_d2_s	FAIL	899.36
s1269_d2_s	FAIL	899.39
s820_d10_s	FAIL	899.43
s820_d8_s	FAIL	899.46
s298_d18_s	FAIL	899.58
s510_d4_s	FAIL	899.83
ev-pr-6x6-17-5-0-1-2-s	FAIL	899.96
s820_d4_s	FAIL	899.96
s499_d8_s	FAIL	900.02
s298_d8_s	FAIL	900.02
s713_d7_u	FAIL	900.03
s1196_d3_u	FAIL	900.03
s510_d8_s	FAIL	900.04
s3330_d10_u	FAIL	900.14
s499_d22_u	FAIL	900.16
ev-pr-6x6-15-5-0-1-2-s	FAIL	900.2
3qbf-5cnf-40var-160cl.6	FAIL	900.26
s1269_d4_s	FAIL	900.27
s713_d6_s	FAIL	900.29
ev-pr-6x6-13-5-0-1-2-s	FAIL	900.3
s386_d7_s	FAIL	900.3
ev-pr-4x4-17-3-0-0-1-s	FAIL	900.3
s386_d8_u	FAIL	900.31
ev-pr-4x4-15-3-0-0-1-s	FAIL	900.4
ev-pr-4x4-9-3-0-0-1-s	FAIL	900.41
Adder2-8-s	FAIL	900.42
ncf_4_32_2_euad.1	FAIL	900.44
ev-pr-6x6-11-5-0-1-2-s	FAIL	900.45
s499_d21_s	FAIL	900.48
ev-pr-6x6-9-5-0-1-2-s	FAIL	900.52
test3_quant_squaring2	FAIL	900.57
ev-pr-4x4-11-3-0-0-1-s	FAIL	900.58
ev-pr-4x4-13-3-0-0-1-s	FAIL	900.59
s713_d4_s	FAIL	900.63
ev-pr-4x4-5-3-0-0-1-s	FAIL	900.66
test3_quant2	FAIL	900.67
ev-pr-6x6-7-5-0-1-2-s	FAIL	900.7
s298_d16_s	FAIL	900.71
ev-pr-4x4-7-3-0-0-1-s	FAIL	900.77
adder-8-sat	FAIL	900.82
k_ph_p-21	FAIL	900.84
ev-pr-6x6-5-5-0-1-2-s	FAIL	900.88
k_ph_n-21	FAIL	900.9
k_ph_p-20	FAIL	900.91
k_ph_n-20	FAIL	900.94

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUANTOR
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUANTOR QBFEVAL'05

Instances solved by QUANTOR
QBFEVAL'05