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

Instances solved by QbflHR
QBFEVAL'05

Instance	Result	Time
ncf_8_16_2_edau.8	UNSAT	0
flipflop-3-c	UNSAT	0
3qbf-5cnf-40var-160cl.7	SAT	0
ncf_4_8_2_edau.10	UNSAT	0
2qbf-5cnf-20var-640cl.0	UNSAT	0
5qbf-5cnf-80var-320cl.3	SAT	0
6qbf-5cnf-20var-40cl.0	SAT	0
6qbf-5cnf-40var-160cl.7	SAT	0
3qbf-5cnf-80var-640cl.3	SAT	0
5qbf-5cnf-80var-160cl.7	SAT	0
5qbf-5cnf-80var-320cl.1	SAT	0
3qbf-5cnf-40var-320cl.7	SAT	0
3qbf-5cnf-40var-160cl.5	SAT	0
6qbf-5cnf-40var-80cl.3	SAT	0
6qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-160var-1280cl.7	SAT	0
5qbf-5cnf-160var-640cl.8	SAT	0
ncf_4_8_4_euad.9	SAT	0
5qbf-5cnf-80var-640cl.0	SAT	0
3qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-80var-160cl.9	SAT	0
5qbf-5cnf-40var-160cl.0	SAT	0
5qbf-5cnf-40var-320cl.1	SAT	0
horn_400CNF1360_2aQBF_894	UNSAT	0
5qbf-5cnf-160var-640cl.3	SAT	0
5qbf-5cnf-20var-80cl.4	SAT	0
5qbf-5cnf-160var-640cl.1	SAT	0
5qbf-5cnf-40var-320cl.8	SAT	0
6qbf-5cnf-80var-320cl.1	SAT	0
5qbf-5cnf-20var-80cl.2	SAT	0
4qbf-5cnf-20var-40cl.5	SAT	0
horn_400CNF1520_2aQBF_165	UNSAT	0
5qbf-5cnf-160var-320cl.5	SAT	0
3qbf-5cnf-40var-80cl.9	SAT	0
horn_400CNF1760_2aQBF_484	UNSAT	0
6qbf-5cnf-40var-160cl.1	SAT	0
ncf_4_8_2_euad.4	UNSAT	0
5qbf-5cnf-20var-160cl.8	SAT	0
6qbf-5cnf-40var-160cl.5	SAT	0
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0
3qbf-5cnf-80var-160cl.7	SAT	0
5qbf-5cnf-20var-160cl.6	SAT	0
6qbf-5cnf-160var-320cl.5	SAT	0
5qbf-5cnf-20var-80cl.9	SAT	0
4qbf-5cnf-160var-320cl.1	SAT	0
3qbf-5cnf-20var-640cl.9	UNSAT	0
3qbf-5cnf-80var-320cl.7	SAT	0
4qbf-5cnf-20var-640cl.8	UNSAT	0
3qbf-5cnf-80var-640cl.6	SAT	0
6qbf-5cnf-80var-320cl.6	SAT	0
3qbf-5cnf-160var-1280cl.4	SAT	0
2qbf-5cnf-20var-640cl.2	UNSAT	0
toilet_c_10_05.8	SAT	0
4qbf-5cnf-20var-40cl.8	SAT	0
6qbf-5cnf-160var-320cl.6	SAT	0
impl12	SAT	0
6qbf-5cnf-20var-40cl.6	SAT	0
impl08	SAT	0
2qbf-5cnf-20var-320cl.4	UNSAT	0
4qbf-5cnf-160var-320cl.0	SAT	0
3qbf-5cnf-20var-160cl.0	SAT	0
impl18	SAT	0
2qbf-5cnf-20var-40cl.0	SAT	0
4qbf-5cnf-80var-160cl.3	SAT	0
3qbf-5cnf-80var-160cl.8	SAT	0
2qbf-5cnf-20var-40cl.1	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
5qbf-5cnf-80var-320cl.9	SAT	0
5qbf-5cnf-160var-640cl.4	SAT	0
ncf_8_16_4_edau.5	UNSAT	0
toilet_c_08_01.16	SAT	0
3qbf-5cnf-80var-320cl.0	SAT	0
5qbf-5cnf-40var-80cl.0	SAT	0
5qbf-5cnf-80var-640cl.6	SAT	0
6qbf-5cnf-20var-40cl.7	SAT	0
5qbf-5cnf-80var-320cl.7	SAT	0
3qbf-5cnf-80var-160cl.4	SAT	0
3qbf-5cnf-20var-80cl.1	SAT	0
tree-exa2-10	UNSAT	0
s641_d4_s	FAIL	0
3qbf-5cnf-20var-80cl.9	SAT	0
toilet_c_08_10.2	SAT	0
6qbf-5cnf-20var-80cl.7	SAT	0
2qbf-5cnf-40var-640cl.9	UNSAT	0
5qbf-5cnf-80var-320cl.5	SAT	0
5qbf-5cnf-40var-160cl.3	SAT	0
ncf_8_16_2_u.8	UNSAT	0
5qbf-5cnf-40var-80cl.4	SAT	0
ncf_4_8_2_d.5	SAT	0
5qbf-5cnf-20var-160cl.4	SAT	0
5qbf-5cnf-80var-160cl.1	SAT	0
6qbf-5cnf-80var-320cl.3	SAT	0
5qbf-5cnf-20var-160cl.3	SAT	0
5qbf-5cnf-40var-80cl.9	SAT	0
2qbf-5cnf-20var-640cl.3	UNSAT	0
4qbf-5cnf-20var-40cl.0	SAT	0
6qbf-5cnf-40var-80cl.9	SAT	0
5qbf-5cnf-40var-320cl.2	SAT	0
renHorn_400CNF1960_2aQBF_68	UNSAT	0
2qbf-5cnf-80var-1280cl.6	UNSAT	0
3qbf-5cnf-40var-80cl.8	SAT	0
3qbf-5cnf-40var-160cl.6	SAT	0
6qbf-5cnf-20var-80cl.8	SAT	0
toilet_c_10_01.2	UNSAT	0
5qbf-5cnf-40var-160cl.4	SAT	0
5qbf-5cnf-80var-320cl.0	SAT	0
5qbf-5cnf-40var-80cl.7	SAT	0
tree-exa10-10	SAT	0
5qbf-5cnf-80var-160cl.5	SAT	0
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0
5qbf-5cnf-160var-1280cl.0	SAT	0
6qbf-5cnf-80var-320cl.0	SAT	0
2qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-160var-1280cl.8	SAT	0
5qbf-5cnf-160var-320cl.3	SAT	0
6qbf-5cnf-20var-80cl.2	SAT	0
5qbf-5cnf-20var-80cl.8	SAT	0
4qbf-5cnf-20var-80cl.1	SAT	0
2qbf-5cnf-20var-640cl.5	UNSAT	0
5qbf-5cnf-160var-640cl.6	SAT	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
3qbf-5cnf-80var-160cl.6	SAT	0
3qbf-5cnf-40var-160cl.2	SAT	0
4qbf-5cnf-80var-160cl.0	SAT	0
6qbf-5cnf-160var-640cl.9	SAT	0
ncf_8_16_4_u.5	UNSAT	0
horn_400CNF1360_2aQBF_755	UNSAT	0
5qbf-5cnf-20var-40cl.6	SAT	0
TOILET6.1.iv.12	SAT	0
3qbf-5cnf-20var-80cl.2	SAT	0
3qbf-5cnf-160var-320cl.9	SAT	0
2qbf-5cnf-20var-40cl.3	SAT	0
5qbf-5cnf-20var-160cl.1	SAT	0
6qbf-5cnf-20var-80cl.6	SAT	0
4qbf-5cnf-40var-80cl.5	SAT	0
3qbf-5cnf-160var-320cl.2	SAT	0
6qbf-5cnf-40var-80cl.4	SAT	0
4qbf-5cnf-20var-40cl.6	SAT	0
3qbf-5cnf-20var-40cl.0	SAT	0
horn_400CNF1600_2aQBF_26	UNSAT	0
2qbf-5cnf-40var-1280cl.7	UNSAT	0
3qbf-5cnf-40var-160cl.1	SAT	0
renHorn_400CNF1280_2aQBF_56	UNSAT	0
5qbf-5cnf-160var-640cl.2	SAT	0
5qbf-5cnf-20var-40cl.4	SAT	0
2qbf-5cnf-20var-320cl.5	UNSAT	0
renHorn_400CNF1480_2aQBF_21	UNSAT	0
5qbf-5cnf-80var-640cl.1	SAT	0
ncf_8_16_4_d.5	UNSAT	0
5qbf-5cnf-20var-80cl.5	SAT	0
2qbf-5cnf-20var-640cl.4	UNSAT	0
2qbf-5cnf-40var-640cl.5	UNSAT	0
4qbf-5cnf-160var-320cl.4	SAT	0
3qbf-5cnf-20var-160cl.5	SAT	0
3qbf-5cnf-20var-160cl.6	SAT	0
3qbf-5cnf-80var-640cl.1	SAT	0
5qbf-5cnf-40var-320cl.6	SAT	0
3qbf-5cnf-160var-640cl.8	SAT	0
3qbf-5cnf-40var-160cl.3	SAT	0
6qbf-5cnf-160var-640cl.6	SAT	0
6qbf-5cnf-80var-160cl.0	SAT	0
3qbf-5cnf-20var-40cl.9	SAT	0
6qbf-5cnf-40var-160cl.4	SAT	0
3qbf-5cnf-20var-160cl.1	SAT	0
4qbf-5cnf-160var-320cl.5	SAT	0
6qbf-5cnf-80var-160cl.9	SAT	0
3qbf-5cnf-40var-80cl.2	SAT	0
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0
4qbf-5cnf-40var-80cl.2	SAT	0
ncf_8_16_2_d.3	UNSAT	0
6qbf-5cnf-160var-640cl.1	SAT	0
2qbf-5cnf-20var-40cl.7	SAT	0
6qbf-5cnf-40var-160cl.9	SAT	0
3qbf-5cnf-20var-40cl.3	SAT	0
4qbf-5cnf-40var-80cl.1	SAT	0
3qbf-5cnf-80var-320cl.8	SAT	0
3qbf-5cnf-80var-640cl.2	SAT	0
4qbf-5cnf-20var-40cl.9	SAT	0
ncf_4_8_4_d.9	SAT	0
2qbf-5cnf-20var-640cl.8	UNSAT	0
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0
5qbf-5cnf-40var-160cl.8	SAT	0
5qbf-5cnf-20var-160cl.2	SAT	0
4qbf-5cnf-20var-40cl.4	SAT	0
2qbf-5cnf-40var-1280cl.9	UNSAT	0
3qbf-5cnf-40var-80cl.1	SAT	0
horn_400CNF1360_2aQBF_130	UNSAT	0
TOILET2.1.iv.4	SAT	0
ncf_8_16_2_euad.7	SAT	0
2qbf-5cnf-40var-80cl.4	SAT	0
5qbf-5cnf-40var-80cl.3	SAT	0
5qbf-5cnf-80var-320cl.2	SAT	0
6qbf-5cnf-40var-80cl.5	SAT	0
4qbf-5cnf-80var-160cl.2	SAT	0
3qbf-5cnf-20var-80cl.3	SAT	0
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0
2qbf-5cnf-40var-1280cl.1	UNSAT	0
3qbf-5cnf-40var-320cl.2	SAT	0
ncf_8_16_2_d.8	UNSAT	0
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0
6qbf-5cnf-40var-80cl.6	SAT	0
2qbf-5cnf-20var-40cl.5	SAT	0
6qbf-5cnf-160var-320cl.2	SAT	0
3qbf-5cnf-80var-320cl.4	SAT	0
2qbf-5cnf-40var-640cl.3	UNSAT	0
3qbf-5cnf-160var-320cl.4	SAT	0
horn_400CNF1920_2aQBF_704	UNSAT	0
3qbf-5cnf-40var-80cl.6	SAT	0
3qbf-5cnf-40var-80cl.0	SAT	0
6qbf-5cnf-160var-640cl.0	SAT	0
3qbf-5cnf-40var-160cl.4	SAT	0
impl06	SAT	0
6qbf-5cnf-20var-80cl.3	SAT	0
3qbf-5cnf-40var-80cl.5	SAT	0
TOILET7.1.iv.14	SAT	0
4qbf-5cnf-20var-640cl.2	UNSAT	0
3qbf-5cnf-80var-640cl.8	SAT	0
5qbf-5cnf-20var-80cl.7	SAT	0
4qbf-5cnf-20var-80cl.2	SAT	0
5qbf-5cnf-20var-40cl.1	SAT	0
TOILET10.1.iv.20	SAT	0
5qbf-5cnf-40var-320cl.7	SAT	0
horn_400CNF1520_2aQBF_405	UNSAT	0
horn_400CNF1760_2aQBF_979	UNSAT	0
6qbf-5cnf-40var-160cl.2	SAT	0
ncf_8_16_2_u.3	UNSAT	0
3qbf-5cnf-20var-160cl.8	SAT	0
toilet_c_08_05.10	SAT	0
3qbf-5cnf-160var-320cl.7	SAT	0
horn_400CNF2080_2aQBF_584	UNSAT	0
3qbf-5cnf-160var-640cl.2	SAT	0
5qbf-5cnf-40var-320cl.3	SAT	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
3qbf-5cnf-20var-160cl.2	SAT	0
5qbf-5cnf-160var-640cl.7	SAT	0
6qbf-5cnf-20var-40cl.5	SAT	0
3qbf-5cnf-80var-320cl.6	SAT	0
3qbf-5cnf-160var-320cl.6	SAT	0
toilet_c_08_01.2	UNSAT	0
5qbf-5cnf-20var-160cl.5	SAT	0
3qbf-5cnf-160var-640cl.1	SAT	0
5qbf-5cnf-40var-320cl.0	SAT	0
3qbf-5cnf-80var-160cl.5	SAT	0
s641_d7_u	FAIL	0
3qbf-5cnf-160var-640cl.5	SAT	0
5qbf-5cnf-40var-160cl.9	SAT	0
4qbf-5cnf-20var-40cl.7	SAT	0
6qbf-5cnf-20var-40cl.2	SAT	0
5qbf-5cnf-20var-40cl.9	SAT	0
2qbf-5cnf-40var-1280cl.3	UNSAT	0
3qbf-5cnf-160var-320cl.3	SAT	0
5qbf-5cnf-160var-320cl.6	SAT	0
TOILET2.1.iv.3	UNSAT	0
4qbf-5cnf-160var-320cl.9	SAT	0
3qbf-5cnf-20var-80cl.4	SAT	0
3qbf-5cnf-160var-640cl.4	SAT	0
6qbf-5cnf-160var-640cl.3	SAT	0
5qbf-5cnf-80var-320cl.8	SAT	0
5qbf-5cnf-40var-320cl.4	SAT	0
ncf_4_8_2_u.10	UNSAT	0
6qbf-5cnf-40var-160cl.0	SAT	0
4qbf-5cnf-160var-320cl.7	SAT	0
1qbf-5cnf-20var-160cl.6	SAT	0
1qbf-5cnf-40var-640cl.6	SAT	0
1qbf-5cnf-80var-320cl.6	SAT	0
1qbf-5cnf-40var-80cl.7	SAT	0
6qbf-5cnf-20var-40cl.4	SAT	0
1qbf-5cnf-20var-80cl.4	SAT	0
1qbf-5cnf-40var-80cl.5	SAT	0
1qbf-5cnf-80var-320cl.8	SAT	0
1qbf-5cnf-80var-640cl.5	SAT	0
1qbf-5cnf-40var-320cl.6	SAT	0
1qbf-5cnf-20var-320cl.1	SAT	0
1qbf-5cnf-40var-160cl.7	SAT	0
1qbf-5cnf-20var-80cl.9	SAT	0
1qbf-5cnf-40var-160cl.3	SAT	0
1qbf-5cnf-80var-640cl.2	SAT	0
1qbf-5cnf-80var-320cl.9	SAT	0
1qbf-5cnf-20var-40cl.5	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-80var-640cl.1	SAT	0
1qbf-5cnf-20var-80cl.5	SAT	0
1qbf-5cnf-20var-320cl.6	SAT	0
1qbf-5cnf-160var-640cl.6	SAT	0
1qbf-5cnf-20var-80cl.6	SAT	0
1qbf-5cnf-160var-640cl.0	SAT	0
1qbf-5cnf-160var-320cl.7	SAT	0
1qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-80var-160cl.4	SAT	0
1qbf-5cnf-20var-40cl.8	SAT	0
1qbf-5cnf-160var-1280cl.9	SAT	0
1qbf-5cnf-80var-320cl.1	SAT	0
1qbf-5cnf-20var-160cl.3	SAT	0
1qbf-5cnf-40var-160cl.5	SAT	0
1qbf-5cnf-160var-640cl.8	SAT	0
1qbf-5cnf-40var-320cl.1	SAT	0
1qbf-5cnf-20var-80cl.2	SAT	0
1qbf-5cnf-80var-640cl.0	SAT	0
1qbf-5cnf-160var-320cl.9	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-40var-320cl.4	SAT	0
1qbf-5cnf-40var-640cl.8	SAT	0
1qbf-5cnf-160var-320cl.6	SAT	0
1qbf-5cnf-20var-160cl.0	SAT	0
1qbf-5cnf-20var-320cl.5	SAT	0
1qbf-5cnf-160var-1280cl.4	SAT	0
1qbf-5cnf-80var-160cl.6	SAT	0
1qbf-5cnf-20var-40cl.1	SAT	0
1qbf-5cnf-40var-160cl.0	SAT	0
1qbf-5cnf-160var-640cl.9	SAT	0
1qbf-5cnf-160var-1280cl.3	SAT	0
1qbf-5cnf-20var-160cl.9	SAT	0
1qbf-5cnf-160var-1280cl.5	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-40var-320cl.5	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-160cl.7	SAT	0
1qbf-5cnf-40var-640cl.0	SAT	0
1qbf-5cnf-80var-1280cl.1	SAT	0
1qbf-5cnf-80var-160cl.2	SAT	0
1qbf-5cnf-20var-80cl.1	SAT	0
1qbf-5cnf-160var-1280cl.0	SAT	0
1qbf-5cnf-80var-640cl.8	SAT	0
1qbf-5cnf-20var-80cl.7	SAT	0
1qbf-5cnf-40var-80cl.6	SAT	0
3qbf-5cnf-80var-320cl.1	SAT	0.01
5qbf-5cnf-80var-640cl.7	SAT	0.01
ncf_4_8_2_euad.8	SAT	0.01
impl20	SAT	0.01
6qbf-5cnf-20var-40cl.3	SAT	0.01
2qbf-5cnf-40var-80cl.7	SAT	0.01
5qbf-5cnf-80var-320cl.4	SAT	0.01
impl10	SAT	0.01
2qbf-5cnf-40var-640cl.1	UNSAT	0.01
s641_d2_s	FAIL	0.01
3qbf-5cnf-40var-320cl.0	SAT	0.01
3qbf-5cnf-160var-320cl.0	SAT	0.01
5qbf-5cnf-20var-40cl.0	SAT	0.01
4qbf-5cnf-20var-80cl.4	SAT	0.01
3qbf-5cnf-80var-160cl.2	SAT	0.01
6qbf-5cnf-80var-320cl.8	SAT	0.01
2qbf-5cnf-20var-320cl.0	UNSAT	0.01
6qbf-5cnf-40var-160cl.6	SAT	0.01
6qbf-5cnf-80var-320cl.7	SAT	0.01
renHorn_400CNF1800_2aQBF_53	UNSAT	0.01
4qbf-5cnf-20var-80cl.5	SAT	0.01
5qbf-5cnf-40var-80cl.8	SAT	0.01
5qbf-5cnf-80var-640cl.5	SAT	0.01
2qbf-5cnf-40var-1280cl.6	UNSAT	0.01
3qbf-5cnf-160var-1280cl.9	SAT	0.01
2qbf-5cnf-20var-40cl.2	SAT	0.01
6qbf-5cnf-160var-640cl.2	SAT	0.01
3qbf-5cnf-80var-160cl.1	SAT	0.01
3qbf-5cnf-160var-640cl.3	SAT	0.01
4qbf-5cnf-80var-160cl.6	SAT	0.01
horn_400CNF1440_2aQBF_668	UNSAT	0.01
5qbf-5cnf-40var-160cl.7	SAT	0.01
horn_400CNF1600_2aQBF_331	SAT	0.01
horn_400CNF1600_2aQBF_73	SAT	0.01
impl16	SAT	0.01
horn_400CNF1680_2aQBF_589	UNSAT	0.01
2qbf-5cnf-20var-640cl.1	UNSAT	0.01
3qbf-5cnf-160var-1280cl.1	SAT	0.01
horn_400CNF1840_2aQBF_401	UNSAT	0.01
3qbf-5cnf-40var-320cl.3	SAT	0.01
5qbf-5cnf-40var-160cl.1	SAT	0.01
6qbf-5cnf-80var-160cl.2	SAT	0.01
3qbf-5cnf-40var-320cl.1	SAT	0.01
ncf_4_8_2_d.10	UNSAT	0.01
5qbf-5cnf-40var-80cl.6	SAT	0.01
renHorn_400CNF1280_2aQBF_3	SAT	0.01
renHorn_400CNF1720_2aQBF_20	UNSAT	0.01
horn_400CNF1600_2aQBF_956	SAT	0.01
5qbf-5cnf-160var-1280cl.8	SAT	0.01
4qbf-5cnf-160var-320cl.8	SAT	0.01
6qbf-5cnf-80var-160cl.3	SAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
3qbf-5cnf-80var-320cl.9	SAT	0.01
3qbf-5cnf-160var-1280cl.0	SAT	0.01
3qbf-5cnf-80var-160cl.0	SAT	0.01
6qbf-5cnf-20var-80cl.0	SAT	0.01
renHorn_400CNF1400_2aQBF_80	SAT	0.01
horn_400CNF1360_2aQBF_788	SAT	0.01
horn_400CNF1600_2aQBF_748	UNSAT	0.01
3qbf-5cnf-40var-160cl.0	SAT	0.01
3qbf-5cnf-40var-320cl.8	SAT	0.01
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.01
6qbf-5cnf-80var-320cl.2	SAT	0.01
3qbf-5cnf-40var-160cl.9	SAT	0.01
3qbf-5cnf-40var-80cl.3	SAT	0.01
4qbf-5cnf-160var-320cl.3	SAT	0.01
5qbf-5cnf-80var-320cl.6	SAT	0.01
ncf_8_16_4_euad.5	UNSAT	0.01
5qbf-5cnf-20var-640cl.1	UNSAT	0.01
5qbf-5cnf-20var-40cl.7	SAT	0.01
4qbf-5cnf-40var-80cl.0	SAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
4qbf-5cnf-20var-640cl.4	UNSAT	0.01
renHorn_400CNF1200_2aQBF_8	UNSAT	0.01
renHorn_400CNF1200_2aQBF_97	UNSAT	0.01
4qbf-5cnf-20var-40cl.2	SAT	0.01
3qbf-5cnf-20var-40cl.4	SAT	0.01
3qbf-5cnf-160var-320cl.5	SAT	0.01
2qbf-5cnf-20var-40cl.6	SAT	0.01
horn_400CNF1440_2aQBF_829	UNSAT	0.01
ncf_4_8_4_u.9	SAT	0.01
horn_400CNF1520_2aQBF_98	UNSAT	0.01
horn_400CNF1600_2aQBF_278	UNSAT	0.01
horn_400CNF1760_2aQBF_946	UNSAT	0.01
4qbf-5cnf-20var-640cl.1	UNSAT	0.01
6qbf-5cnf-40var-160cl.8	SAT	0.01
ncf_8_16_2_edau.3	UNSAT	0.01
2qbf-5cnf-40var-80cl.1	SAT	0.01
ncf_8_16_2_u.2	UNSAT	0.01
2qbf-5cnf-80var-1280cl.5	UNSAT	0.01
5qbf-5cnf-160var-320cl.8	SAT	0.01
2qbf-5cnf-40var-80cl.5	SAT	0.01
2qbf-5cnf-80var-2560cl.9	UNSAT	0.01
4qbf-5cnf-40var-80cl.3	SAT	0.01
5qbf-5cnf-160var-640cl.9	SAT	0.01
5qbf-5cnf-40var-80cl.2	SAT	0.01
2qbf-5cnf-20var-640cl.9	UNSAT	0.01
6qbf-5cnf-160var-320cl.9	SAT	0.01
ncf_8_16_2_d.2	UNSAT	0.01
4qbf-5cnf-20var-640cl.5	UNSAT	0.01
3qbf-5cnf-20var-80cl.5	SAT	0.01
4qbf-5cnf-20var-80cl.9	SAT	0.01
3qbf-5cnf-80var-640cl.9	SAT	0.01
2qbf-5cnf-20var-320cl.3	UNSAT	0.01
3qbf-5cnf-20var-160cl.4	SAT	0.01
renHorn_400CNF1200_2aQBF_79	UNSAT	0.01
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.01
horn_400CNF1440_2aQBF_676	SAT	0.01
5qbf-5cnf-20var-40cl.2	SAT	0.01
connect_5x4_4_D	UNSAT	0.01
horn_400CNF1840_2aQBF_215	UNSAT	0.01
4qbf-5cnf-80var-160cl.1	SAT	0.01
renHorn_400CNF1960_2aQBF_50	UNSAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
2qbf-5cnf-40var-1280cl.8	UNSAT	0.01
3qbf-5cnf-20var-80cl.7	SAT	0.01
horn_400CNF1200_2aQBF_539	SAT	0.01
2qbf-5cnf-20var-320cl.2	UNSAT	0.01
ncf_8_16_2_d.7	SAT	0.01
3qbf-5cnf-20var-640cl.3	UNSAT	0.01
horn_400CNF1440_2aQBF_925	SAT	0.01
horn_400CNF1600_2aQBF_571	UNSAT	0.01
6qbf-5cnf-20var-40cl.8	SAT	0.01
mutex-2-s	SAT	0.01
5qbf-5cnf-80var-640cl.4	SAT	0.01
6qbf-5cnf-40var-80cl.2	SAT	0.01
6qbf-5cnf-80var-160cl.1	SAT	0.01
toilet_c_10_10.2	SAT	0.01
6qbf-5cnf-20var-80cl.4	SAT	0.01
2qbf-5cnf-20var-640cl.7	UNSAT	0.01
horn_400CNF2000_2aQBF_650	UNSAT	0.01
horn_400CNF2320_2aQBF_209	UNSAT	0.01
ncf_8_16_2_edau.2	UNSAT	0.01
2qbf-5cnf-40var-640cl.2	UNSAT	0.01
2qbf-5cnf-80var-2560cl.0	UNSAT	0.01
4qbf-5cnf-20var-80cl.6	SAT	0.01
5qbf-5cnf-80var-640cl.9	SAT	0.01
3qbf-5cnf-80var-320cl.3	SAT	0.01
6qbf-5cnf-80var-320cl.4	SAT	0.01
horn_400CNF1680_2aQBF_482	SAT	0.01
horn_400CNF2000_2aQBF_642	UNSAT	0.01
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.01
6qbf-5cnf-160var-320cl.8	SAT	0.01
3qbf-5cnf-20var-80cl.8	SAT	0.01
5qbf-5cnf-20var-40cl.8	SAT	0.01
5qbf-5cnf-40var-160cl.2	SAT	0.01
5qbf-5cnf-20var-80cl.0	SAT	0.01
ncf_8_16_2_u.7	SAT	0.01
5qbf-5cnf-20var-80cl.3	SAT	0.01
4qbf-5cnf-80var-160cl.5	SAT	0.01
5qbf-5cnf-160var-640cl.0	SAT	0.01
s27_d2_s	SAT	0.01
5qbf-5cnf-160var-1280cl.3	SAT	0.01
renHorn_400CNF1280_2aQBF_22	UNSAT	0.01
toilet_c_08_05.8	SAT	0.01
4qbf-5cnf-40var-80cl.8	SAT	0.01
4qbf-5cnf-40var-80cl.7	SAT	0.01
4qbf-5cnf-20var-40cl.1	SAT	0.01
5qbf-5cnf-40var-160cl.5	SAT	0.01
ncf_4_8_2_u.8	SAT	0.01
6qbf-5cnf-40var-80cl.7	SAT	0.01
5qbf-5cnf-160var-1280cl.2	SAT	0.01
3qbf-5cnf-80var-160cl.3	SAT	0.01
ncf_4_8_2_edau.5	SAT	0.01
2qbf-5cnf-40var-1280cl.0	UNSAT	0.01
5qbf-5cnf-160var-320cl.2	SAT	0.01
3qbf-5cnf-20var-40cl.7	SAT	0.01
5qbf-5cnf-20var-160cl.0	SAT	0.01
2qbf-5cnf-40var-640cl.6	UNSAT	0.01
5qbf-5cnf-80var-160cl.0	SAT	0.01
5qbf-5cnf-80var-160cl.2	SAT	0.01
6qbf-5cnf-20var-40cl.1	SAT	0.01
4qbf-5cnf-160var-320cl.2	SAT	0.01
3qbf-5cnf-20var-80cl.6	SAT	0.01
ncf_4_8_2_u.5	SAT	0.01
5qbf-5cnf-80var-160cl.8	SAT	0.01
toilet_c_10_05.4	SAT	0.01
4qbf-5cnf-20var-80cl.7	SAT	0.01
5qbf-5cnf-160var-1280cl.1	SAT	0.01
3qbf-5cnf-160var-1280cl.5	SAT	0.01
6qbf-5cnf-160var-640cl.4	SAT	0.01
6qbf-5cnf-160var-640cl.7	SAT	0.01
toilet_c_08_05.4	SAT	0.01
5qbf-5cnf-40var-320cl.9	SAT	0.01
3qbf-5cnf-160var-640cl.7	SAT	0.01
3qbf-5cnf-160var-640cl.6	SAT	0.01
5qbf-5cnf-40var-320cl.5	SAT	0.01
5qbf-5cnf-160var-1280cl.9	SAT	0.01
6qbf-5cnf-40var-80cl.0	SAT	0.01
3qbf-5cnf-40var-80cl.4	SAT	0.01
5qbf-5cnf-40var-160cl.6	SAT	0.01
4qbf-5cnf-160var-320cl.6	SAT	0.01
5qbf-5cnf-20var-80cl.6	SAT	0.01
3qbf-5cnf-20var-40cl.6	SAT	0.01
horn_400CNF1360_2aQBF_310	UNSAT	0.01
horn_400CNF1360_2aQBF_565	SAT	0.01
horn_400CNF1440_2aQBF_117	UNSAT	0.01
horn_400CNF1680_2aQBF_29	UNSAT	0.01
3qbf-5cnf-160var-640cl.9	SAT	0.01
5qbf-5cnf-160var-320cl.4	SAT	0.01
horn_400CNF1680_2aQBF_91	UNSAT	0.01
horn_400CNF1760_2aQBF_10	UNSAT	0.01
toilet_a_08_01.2	UNSAT	0.01
2qbf-5cnf-40var-1280cl.2	UNSAT	0.01
6qbf-5cnf-160var-640cl.5	SAT	0.01
4qbf-5cnf-80var-160cl.8	SAT	0.01
horn_400CNF1920_2aQBF_927	UNSAT	0.01
6qbf-5cnf-40var-80cl.8	SAT	0.01
impl02	SAT	0.01
3qbf-5cnf-80var-640cl.0	SAT	0.01
Adder2-2-c	UNSAT	0.01
6qbf-5cnf-80var-160cl.8	SAT	0.01
horn_400CNF1520_2aQBF_53	UNSAT	0.01
horn_400CNF1600_2aQBF_514	UNSAT	0.01
horn_400CNF2160_2aQBF_588	UNSAT	0.01
5qbf-5cnf-160var-1280cl.6	SAT	0.01
2qbf-5cnf-20var-320cl.1	UNSAT	0.01
3qbf-5cnf-20var-640cl.5	UNSAT	0.01
2qbf-5cnf-20var-320cl.7	UNSAT	0.01
4qbf-5cnf-40var-80cl.9	SAT	0.01
ncf_4_8_2_euad.5	SAT	0.01
ncf_4_8_2_euad.7	UNSAT	0.01
5qbf-5cnf-160var-320cl.7	SAT	0.01
horn_400CNF2080_2aQBF_793	UNSAT	0.01
6qbf-5cnf-20var-80cl.1	SAT	0.01
toilet_c_10_05.7	SAT	0.01
6qbf-5cnf-160var-320cl.0	SAT	0.01
2qbf-5cnf-20var-40cl.8	SAT	0.01
6qbf-5cnf-20var-80cl.9	SAT	0.01
5qbf-5cnf-20var-160cl.9	SAT	0.01
ncf_4_8_2_d.4	UNSAT	0.01
toilet_c_08_05.2	UNSAT	0.01
2qbf-5cnf-40var-640cl.0	UNSAT	0.01
5qbf-5cnf-20var-40cl.3	SAT	0.01
horn_400CNF1360_2aQBF_867	UNSAT	0.01
qshifter_4	SAT	0.01
3qbf-5cnf-20var-40cl.1	SAT	0.01
5qbf-5cnf-80var-160cl.9	SAT	0.01
6qbf-5cnf-80var-320cl.5	SAT	0.01
2qbf-5cnf-40var-80cl.8	SAT	0.01
horn_400CNF1680_2aQBF_433	UNSAT	0.01
toilet_c_10_01.4	UNSAT	0.01
5qbf-5cnf-80var-640cl.8	SAT	0.01
5qbf-5cnf-160var-320cl.1	SAT	0.01
2qbf-5cnf-40var-1280cl.5	UNSAT	0.01
6qbf-5cnf-80var-160cl.6	SAT	0.01
horn_400CNF1840_2aQBF_752	UNSAT	0.01
4qbf-5cnf-20var-80cl.3	SAT	0.01
4qbf-5cnf-80var-160cl.9	SAT	0.01
horn_400CNF1360_2aQBF_831	UNSAT	0.01
4qbf-5cnf-40var-80cl.6	SAT	0.01
5qbf-5cnf-160var-640cl.5	SAT	0.01
impl14	SAT	0.01
renHorn_400CNF1480_2aQBF_92	SAT	0.01
3qbf-5cnf-40var-320cl.4	SAT	0.01
5qbf-5cnf-160var-320cl.9	SAT	0.01
6qbf-5cnf-160var-320cl.7	SAT	0.01
ncf_4_8_4_edau.9	SAT	0.01
ncf_4_8_8_edau.9	UNSAT	0.01
6qbf-5cnf-160var-320cl.1	SAT	0.01
horn_400CNF1920_2aQBF_603	UNSAT	0.01
3qbf-5cnf-20var-640cl.8	UNSAT	0.01
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.01
3qbf-5cnf-20var-640cl.0	UNSAT	0.01
3qbf-5cnf-80var-320cl.5	SAT	0.01
5qbf-5cnf-160var-1280cl.5	SAT	0.01
3qbf-5cnf-160var-320cl.8	SAT	0.01
renHorn_400CNF1480_2aQBF_98	SAT	0.01
2qbf-5cnf-40var-80cl.3	SAT	0.01
3qbf-5cnf-20var-40cl.5	SAT	0.01
ncf_4_8_4_u.2	UNSAT	0.01
3qbf-5cnf-20var-640cl.4	UNSAT	0.01
horn_400CNF1840_2aQBF_980	UNSAT	0.01
3qbf-5cnf-160var-1280cl.6	SAT	0.01
2qbf-5cnf-20var-320cl.6	UNSAT	0.01
3qbf-5cnf-40var-320cl.9	SAT	0.01
5qbf-5cnf-80var-160cl.6	SAT	0.01
1qbf-5cnf-20var-320cl.2	SAT	0.01
1qbf-5cnf-40var-320cl.9	SAT	0.01
1qbf-5cnf-40var-80cl.4	SAT	0.01
1qbf-5cnf-40var-640cl.1	SAT	0.01
1qbf-5cnf-80var-160cl.3	SAT	0.01
1qbf-5cnf-20var-320cl.8	SAT	0.01
1qbf-5cnf-20var-80cl.8	SAT	0.01
1qbf-5cnf-40var-160cl.4	SAT	0.01
1qbf-5cnf-160var-640cl.5	SAT	0.01
1qbf-5cnf-20var-160cl.8	SAT	0.01
1qbf-5cnf-20var-40cl.6	SAT	0.01
1qbf-5cnf-40var-80cl.1	SAT	0.01
1qbf-5cnf-40var-640cl.5	SAT	0.01
1qbf-5cnf-40var-80cl.3	SAT	0.01
1qbf-5cnf-160var-640cl.2	SAT	0.01
1qbf-5cnf-40var-160cl.2	SAT	0.01
1qbf-5cnf-160var-1280cl.1	SAT	0.01
1qbf-5cnf-160var-320cl.2	SAT	0.01
1qbf-5cnf-40var-80cl.8	SAT	0.01
1qbf-5cnf-20var-320cl.3	SAT	0.01
1qbf-5cnf-40var-640cl.3	SAT	0.01
1qbf-5cnf-160var-320cl.5	SAT	0.01
1qbf-5cnf-20var-320cl.4	SAT	0.01
1qbf-5cnf-20var-640cl.4	UNSAT	0.01
1qbf-5cnf-80var-640cl.3	SAT	0.01
1qbf-5cnf-20var-320cl.7	SAT	0.01
1qbf-5cnf-80var-320cl.3	SAT	0.01
1qbf-5cnf-160var-640cl.1	SAT	0.01
1qbf-5cnf-40var-640cl.2	SAT	0.01
1qbf-5cnf-20var-40cl.2	SAT	0.01
1qbf-5cnf-80var-640cl.6	SAT	0.01
1qbf-5cnf-40var-320cl.0	SAT	0.01
1qbf-5cnf-160var-640cl.4	SAT	0.01
1qbf-5cnf-20var-160cl.1	SAT	0.01
1qbf-5cnf-80var-160cl.7	SAT	0.01
1qbf-5cnf-160var-320cl.8	SAT	0.01
1qbf-5cnf-80var-320cl.4	SAT	0.01
1qbf-5cnf-20var-320cl.9	SAT	0.01
1qbf-5cnf-40var-640cl.7	SAT	0.01
1qbf-5cnf-20var-640cl.6	UNSAT	0.01
1qbf-5cnf-80var-320cl.2	SAT	0.01
1qbf-5cnf-40var-160cl.1	SAT	0.01
1qbf-5cnf-80var-640cl.9	SAT	0.01
1qbf-5cnf-160var-320cl.3	SAT	0.01
1qbf-5cnf-80var-160cl.0	SAT	0.01
1qbf-5cnf-160var-1280cl.7	SAT	0.01
1qbf-5cnf-80var-1280cl.6	SAT	0.01
1qbf-5cnf-80var-1280cl.0	SAT	0.01
1qbf-5cnf-80var-640cl.4	SAT	0.01
1qbf-5cnf-80var-320cl.0	SAT	0.01
1qbf-5cnf-80var-160cl.8	SAT	0.01
1qbf-5cnf-160var-1280cl.6	SAT	0.01
1qbf-5cnf-20var-40cl.9	SAT	0.01
1qbf-5cnf-40var-80cl.9	SAT	0.01
1qbf-5cnf-80var-160cl.9	SAT	0.01
1qbf-5cnf-20var-320cl.0	SAT	0.01
1qbf-5cnf-40var-160cl.6	SAT	0.01
1qbf-5cnf-40var-320cl.7	SAT	0.01
1qbf-5cnf-160var-640cl.3	SAT	0.01
1qbf-5cnf-160var-1280cl.8	SAT	0.01
1qbf-5cnf-20var-640cl.7	UNSAT	0.01
1qbf-5cnf-20var-640cl.1	UNSAT	0.01
1qbf-5cnf-20var-160cl.4	SAT	0.01
1qbf-5cnf-40var-320cl.3	SAT	0.01
1qbf-5cnf-160var-320cl.0	SAT	0.01
1qbf-5cnf-20var-40cl.0	SAT	0.01
1qbf-5cnf-40var-640cl.9	SAT	0.01
1qbf-5cnf-40var-640cl.4	SAT	0.01
1qbf-5cnf-80var-160cl.5	SAT	0.01
1qbf-5cnf-160var-320cl.4	SAT	0.01
ncf_4_8_2_edau.7	UNSAT	0.02
2qbf-5cnf-80var-2560cl.3	UNSAT	0.02
horn_400CNF1440_2aQBF_967	SAT	0.02
4qbf-5cnf-80var-160cl.7	SAT	0.02
ncf_4_8_2_u.7	UNSAT	0.02
ncf_4_8_2_u.1	UNSAT	0.02
6qbf-5cnf-80var-160cl.4	SAT	0.02
renHorn_400CNF1560_2aQBF_28	UNSAT	0.02
2qbf-5cnf-80var-2560cl.7	UNSAT	0.02
renHorn_400CNF1200_2aQBF_28	UNSAT	0.02
renHorn_400CNF2120_2aQBF_52	SAT	0.02
toilet_c_10_01.20	SAT	0.02
horn_400CNF1440_2aQBF_147	SAT	0.02
horn_400CNF1440_2aQBF_165	UNSAT	0.02
horn_400CNF1680_2aQBF_244	SAT	0.02
ncf_4_8_8_u.9	UNSAT	0.02
horn_400CNF1280_2aQBF_755	SAT	0.02
horn_400CNF1840_2aQBF_555	SAT	0.02
horn_400CNF2160_2aQBF_23	UNSAT	0.02
horn_400CNF1280_2aQBF_389	UNSAT	0.02
renHorn_400CNF1200_2aQBF_2	UNSAT	0.02
tree-exa10-15	SAT	0.02
renHorn_400CNF2040_2aQBF_11	SAT	0.02
horn_400CNF2000_2aQBF_987	SAT	0.02
toilet_c_08_01.4	UNSAT	0.02
k_ph_n-4	SAT	0.02
flipflop-5-c	UNSAT	0.02
horn_400CNF2080_2aQBF_899	SAT	0.02
5qbf-5cnf-20var-40cl.5	SAT	0.02
horn_400CNF2160_2aQBF_976	UNSAT	0.02
renHorn_400CNF1560_2aQBF_96	SAT	0.02
horn_400CNF1520_2aQBF_116	SAT	0.02
renHorn_400CNF2200_2aQBF_22	SAT	0.02
3qbf-5cnf-20var-640cl.2	UNSAT	0.02
qshifter_3	SAT	0.02
renHorn_400CNF1480_2aQBF_44	UNSAT	0.02
renHorn_400CNF1480_2aQBF_85	UNSAT	0.02
ncf_4_8_2_d.1	UNSAT	0.02
2qbf-5cnf-20var-320cl.8	UNSAT	0.02
ncf_8_16_2_d.9	UNSAT	0.02
2qbf-5cnf-80var-1280cl.4	UNSAT	0.02
renHorn_400CNF1280_2aQBF_7	SAT	0.02
3qbf-5cnf-160var-640cl.0	SAT	0.02
2qbf-5cnf-20var-640cl.6	UNSAT	0.02
horn_400CNF1680_2aQBF_728	UNSAT	0.02
renHorn_400CNF1560_2aQBF_47	SAT	0.02
horn_400CNF1920_2aQBF_890	UNSAT	0.02
6qbf-5cnf-80var-320cl.9	SAT	0.02
2qbf-5cnf-80var-2560cl.4	UNSAT	0.02
3qbf-5cnf-160var-320cl.1	SAT	0.02
ncf_4_8_2_u.9	SAT	0.02
connect_5x4_3_W	UNSAT	0.02
4qbf-5cnf-20var-640cl.7	UNSAT	0.02
horn_400CNF1600_2aQBF_789	SAT	0.02
3qbf-5cnf-40var-80cl.7	SAT	0.02
tree-exa2-15	UNSAT	0.02
4qbf-5cnf-20var-640cl.6	UNSAT	0.02
2qbf-5cnf-80var-1280cl.3	UNSAT	0.02
5qbf-5cnf-20var-160cl.7	SAT	0.02
renHorn_400CNF1640_2aQBF_79	SAT	0.02
ncf_4_8_2_edau.4	UNSAT	0.02
horn_400CNF1520_2aQBF_382	SAT	0.02
horn_400CNF1520_2aQBF_760	SAT	0.02
horn_400CNF2160_2aQBF_92	SAT	0.02
3qbf-5cnf-40var-160cl.8	SAT	0.02
5qbf-5cnf-20var-80cl.1	SAT	0.02
ncf_8_16_2_edau.7	SAT	0.02
horn_400CNF1840_2aQBF_547	SAT	0.02
horn_400CNF1680_2aQBF_154	UNSAT	0.02
horn_400CNF1760_2aQBF_886	UNSAT	0.02
horn_400CNF2000_2aQBF_456	UNSAT	0.02
2qbf-5cnf-80var-1280cl.2	UNSAT	0.02
6qbf-5cnf-160var-640cl.8	SAT	0.02
2qbf-5cnf-40var-1280cl.4	UNSAT	0.02
ncf_8_16_2_euad.3	UNSAT	0.02
3qbf-5cnf-20var-640cl.7	UNSAT	0.02
horn_400CNF2080_2aQBF_194	UNSAT	0.02
5qbf-5cnf-160var-1280cl.7	SAT	0.02
2qbf-5cnf-80var-2560cl.5	UNSAT	0.02
5qbf-5cnf-80var-160cl.4	SAT	0.02
ncf_4_8_4_edau.2	UNSAT	0.02
horn_400CNF1680_2aQBF_745	SAT	0.02
2qbf-5cnf-80var-2560cl.2	UNSAT	0.02
renHorn_400CNF1800_2aQBF_36	UNSAT	0.02
horn_400CNF1840_2aQBF_158	UNSAT	0.02
flipflop-4-c	UNSAT	0.02
horn_400CNF1920_2aQBF_970	SAT	0.02
horn_400CNF1920_2aQBF_721	UNSAT	0.02
ncf_4_8_2_edau.8	SAT	0.02
6qbf-5cnf-160var-320cl.4	SAT	0.02
4qbf-5cnf-80var-160cl.4	SAT	0.02
5qbf-5cnf-80var-640cl.2	SAT	0.02
5qbf-5cnf-160var-320cl.0	SAT	0.02
renHorn_400CNF1360_2aQBF_35	UNSAT	0.02
renHorn_400CNF1480_2aQBF_99	SAT	0.02
adder-2-sat	SAT	0.02
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.02
5qbf-5cnf-80var-640cl.3	SAT	0.02
ncf_4_8_8_euad.9	UNSAT	0.02
ncf_4_8_4_euad.2	UNSAT	0.02
renHorn_400CNF1280_2aQBF_62	SAT	0.02
renHorn_400CNF1560_2aQBF_2	UNSAT	0.02
renHorn_400CNF1720_2aQBF_11	SAT	0.02
renHorn_400CNF1800_2aQBF_2	UNSAT	0.02
2qbf-5cnf-20var-320cl.9	UNSAT	0.02
renHorn_400CNF1640_2aQBF_42	SAT	0.02
6qbf-5cnf-160var-320cl.3	SAT	0.02
horn_400CNF1760_2aQBF_614	SAT	0.02
horn_400CNF1760_2aQBF_686	SAT	0.02
horn_400CNF1840_2aQBF_198	SAT	0.02
renHorn_400CNF2120_2aQBF_17	UNSAT	0.02
2qbf-5cnf-80var-2560cl.1	UNSAT	0.02
2qbf-5cnf-40var-640cl.7	UNSAT	0.02
3qbf-5cnf-80var-320cl.2	SAT	0.02
horn_400CNF1520_2aQBF_600	UNSAT	0.02
Adder2-2-s	SAT	0.02
horn_400CNF1680_2aQBF_547	SAT	0.02
horn_400CNF2320_2aQBF_80	UNSAT	0.02
horn_400CNF1680_2aQBF_695	SAT	0.02
2qbf-5cnf-80var-2560cl.8	UNSAT	0.02
6qbf-5cnf-40var-80cl.1	SAT	0.02
ncf_8_16_2_euad.2	UNSAT	0.02
6qbf-5cnf-80var-160cl.5	SAT	0.02
3qbf-5cnf-20var-640cl.1	UNSAT	0.02
horn_400CNF2320_2aQBF_420	UNSAT	0.02
renHorn_400CNF1640_2aQBF_7	UNSAT	0.02
horn_400CNF1280_2aQBF_841	UNSAT	0.02
2qbf-5cnf-20var-40cl.4	SAT	0.02
renHorn_400CNF1800_2aQBF_20	UNSAT	0.02
renHorn_400CNF1960_2aQBF_79	SAT	0.02
horn_400CNF1600_2aQBF_912	SAT	0.02
3qbf-5cnf-80var-640cl.5	SAT	0.02
renHorn_400CNF1480_2aQBF_96	SAT	0.02
renHorn_400CNF2120_2aQBF_19	SAT	0.02
4qbf-5cnf-20var-640cl.3	UNSAT	0.02
renHorn_400CNF1880_2aQBF_19	SAT	0.02
horn_400CNF1840_2aQBF_514	SAT	0.02
horn_400CNF2160_2aQBF_660	UNSAT	0.02
horn_400CNF2320_2aQBF_832	UNSAT	0.02
horn_400CNF1520_2aQBF_387	SAT	0.02
ncf_4_8_2_euad.10	UNSAT	0.02
horn_400CNF1520_2aQBF_702	SAT	0.02
horn_400CNF1680_2aQBF_503	SAT	0.02
connect_5x4_3_D	UNSAT	0.02
3qbf-5cnf-80var-640cl.7	SAT	0.02
renHorn_400CNF1560_2aQBF_68	UNSAT	0.02
ncf_4_8_2_euad.2	SAT	0.02
5qbf-5cnf-160var-1280cl.4	SAT	0.02
horn_400CNF1600_2aQBF_236	UNSAT	0.02
3qbf-5cnf-80var-640cl.4	SAT	0.02
2qbf-5cnf-40var-640cl.4	UNSAT	0.02
horn_400CNF1600_2aQBF_922	UNSAT	0.02
horn_400CNF1920_2aQBF_534	SAT	0.02
horn_400CNF2080_2aQBF_682	UNSAT	0.02
horn_400CNF1440_2aQBF_737	SAT	0.02
1qbf-5cnf-40var-160cl.9	SAT	0.02
1qbf-5cnf-20var-640cl.3	UNSAT	0.02
1qbf-5cnf-80var-1280cl.4	SAT	0.02
5qbf-5cnf-80var-160cl.3	SAT	0.02
1qbf-5cnf-20var-160cl.5	SAT	0.02
1qbf-5cnf-160var-640cl.7	SAT	0.02
1qbf-5cnf-20var-640cl.9	UNSAT	0.02
1qbf-5cnf-20var-640cl.2	UNSAT	0.02
1qbf-5cnf-20var-640cl.5	UNSAT	0.02
1qbf-5cnf-40var-80cl.0	SAT	0.02
1qbf-5cnf-20var-40cl.4	SAT	0.02
6qbf-5cnf-80var-160cl.7	SAT	0.02
1qbf-5cnf-80var-160cl.1	SAT	0.02
1qbf-5cnf-80var-640cl.7	SAT	0.02
horn_400CNF1840_2aQBF_340	UNSAT	0.03
renHorn_400CNF1200_2aQBF_85	SAT	0.03
renHorn_400CNF1720_2aQBF_92	SAT	0.03
renHorn_400CNF2280_2aQBF_67	UNSAT	0.03
renHorn_400CNF2360_2aQBF_58	SAT	0.03
2qbf-5cnf-40var-80cl.2	SAT	0.03
horn_400CNF1760_2aQBF_726	UNSAT	0.03
flipflop-6-c	UNSAT	0.03
horn_400CNF1600_2aQBF_3	SAT	0.03
renHorn_400CNF1960_2aQBF_76	UNSAT	0.03
horn_400CNF2320_2aQBF_458	SAT	0.03
szymanski-4-s	UNSAT	0.03
ncf_8_16_4_edau.2	UNSAT	0.03
vonNeumann-ripple-carry-5-c	UNSAT	0.03
horn_400CNF1600_2aQBF_505	SAT	0.03
horn_400CNF2000_2aQBF_564	UNSAT	0.03
horn_400CNF1680_2aQBF_950	SAT	0.03
ncf_8_16_4_u.2	UNSAT	0.03
szymanski-5-s	UNSAT	0.03
renHorn_400CNF1360_2aQBF_96	SAT	0.03
renHorn_400CNF2360_2aQBF_88	SAT	0.03
renHorn_400CNF1640_2aQBF_87	SAT	0.03
renHorn_400CNF2040_2aQBF_100	SAT	0.03
horn_400CNF1760_2aQBF_188	UNSAT	0.03
horn_400CNF2000_2aQBF_702	SAT	0.03
renHorn_400CNF1360_2aQBF_22	SAT	0.03
renHorn_400CNF1800_2aQBF_7	SAT	0.03
renHorn_400CNF2040_2aQBF_86	SAT	0.03
renHorn_400CNF2280_2aQBF_59	SAT	0.03
horn_400CNF1440_2aQBF_553	SAT	0.03
horn_400CNF1520_2aQBF_995	SAT	0.03
horn_400CNF2000_2aQBF_104	UNSAT	0.03
horn_400CNF2000_2aQBF_878	SAT	0.03
horn_400CNF2080_2aQBF_322	UNSAT	0.03
horn_400CNF2080_2aQBF_840	SAT	0.03
horn_400CNF2160_2aQBF_407	SAT	0.03
toilet_a_08_01.4	UNSAT	0.03
renHorn_400CNF1480_2aQBF_62	SAT	0.03
horn_400CNF1440_2aQBF_642	SAT	0.03
renHorn_400CNF1800_2aQBF_5	SAT	0.03
horn_400CNF1520_2aQBF_625	UNSAT	0.03
horn_400CNF1920_2aQBF_75	UNSAT	0.03
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.03
renHorn_400CNF1960_2aQBF_35	UNSAT	0.03
horn_400CNF2000_2aQBF_787	UNSAT	0.03
ncf_4_8_8_euad.4	SAT	0.03
ncf_4_8_2_edau.1	UNSAT	0.03
horn_400CNF1760_2aQBF_330	UNSAT	0.03
toilet_a_10_01.2	UNSAT	0.03
horn_400CNF2320_2aQBF_137	UNSAT	0.03
ncf_4_8_2_d.8	SAT	0.03
horn_400CNF2080_2aQBF_832	SAT	0.03
4qbf-5cnf-20var-640cl.9	UNSAT	0.03
ncf_8_16_2_u.6	UNSAT	0.03
renHorn_400CNF1720_2aQBF_79	SAT	0.03
horn_400CNF1920_2aQBF_314	SAT	0.03
ncf_4_8_4_d.2	UNSAT	0.03
4qbf-5cnf-20var-640cl.0	UNSAT	0.03
2qbf-5cnf-80var-160cl.8	SAT	0.03
renHorn_400CNF1640_2aQBF_38	SAT	0.03
ncf_4_8_8_u.4	SAT	0.03
renHorn_400CNF1880_2aQBF_88	SAT	0.03
renHorn_400CNF2120_2aQBF_21	SAT	0.03
horn_400CNF1520_2aQBF_782	UNSAT	0.03
horn_400CNF1840_2aQBF_323	SAT	0.03
horn_400CNF1920_2aQBF_597	SAT	0.03
renHorn_400CNF1640_2aQBF_18	SAT	0.03
renHorn_400CNF1800_2aQBF_24	SAT	0.03
horn_400CNF1920_2aQBF_952	SAT	0.03
horn_400CNF2080_2aQBF_176	SAT	0.03
renHorn_400CNF2120_2aQBF_84	SAT	0.03
horn_400CNF1920_2aQBF_647	SAT	0.03
horn_400CNF2160_2aQBF_308	SAT	0.03
horn_400CNF2160_2aQBF_427	SAT	0.03
renHorn_400CNF2120_2aQBF_88	SAT	0.03
renHorn_400CNF1560_2aQBF_90	UNSAT	0.03
horn_400CNF2320_2aQBF_72	SAT	0.03
renHorn_400CNF1720_2aQBF_71	SAT	0.03
horn_400CNF1840_2aQBF_32	SAT	0.03
4qbf-5cnf-20var-320cl.7	UNSAT	0.03
renHorn_400CNF2040_2aQBF_59	UNSAT	0.03
horn_400CNF1760_2aQBF_93	SAT	0.03
horn_400CNF1840_2aQBF_329	SAT	0.03
horn_400CNF1920_2aQBF_583	SAT	0.03
ncf_4_8_8_d.9	UNSAT	0.03
renHorn_400CNF2120_2aQBF_63	SAT	0.03
horn_400CNF2160_2aQBF_692	SAT	0.03
horn_400CNF2320_2aQBF_772	UNSAT	0.03
horn_400CNF1760_2aQBF_846	SAT	0.03
horn_400CNF2160_2aQBF_411	UNSAT	0.03
2qbf-5cnf-80var-1280cl.9	UNSAT	0.03
toilet_c_10_05.2	UNSAT	0.03
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.03
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.03
2qbf-5cnf-80var-2560cl.6	UNSAT	0.03
horn_400CNF1760_2aQBF_996	SAT	0.03
2qbf-5cnf-40var-640cl.8	UNSAT	0.03
horn_400CNF1760_2aQBF_997	SAT	0.03
1qbf-5cnf-20var-640cl.0	UNSAT	0.03
1qbf-5cnf-20var-640cl.8	UNSAT	0.03
ncf_8_16_2_edau.6	UNSAT	0.04
renHorn_400CNF1880_2aQBF_81	SAT	0.04
horn_400CNF1600_2aQBF_103	SAT	0.04
horn_400CNF1680_2aQBF_698	SAT	0.04
horn_400CNF2160_2aQBF_701	SAT	0.04
horn_400CNF2320_2aQBF_132	SAT	0.04
horn_400CNF2320_2aQBF_230	SAT	0.04
horn_400CNF2320_2aQBF_813	SAT	0.04
renHorn_400CNF2280_2aQBF_95	SAT	0.04
renHorn_400CNF1960_2aQBF_41	SAT	0.04
horn_400CNF2000_2aQBF_8	UNSAT	0.04
connect_6x5_4_D	UNSAT	0.04
4qbf-5cnf-20var-320cl.2	UNSAT	0.04
tree-exa2-20	UNSAT	0.04
horn_400CNF2320_2aQBF_797	SAT	0.04
2qbf-5cnf-160var-2560cl.4	UNSAT	0.04
renHorn_400CNF2120_2aQBF_10	SAT	0.04
renHorn_400CNF2360_2aQBF_9	SAT	0.04
toilet_c_10_05.12	SAT	0.04
connect_6x5_5_W	UNSAT	0.04
ncf_4_8_2_d.2	SAT	0.04
renHorn_400CNF2120_2aQBF_37	SAT	0.04
horn_400CNF2000_2aQBF_523	SAT	0.04
renHorn_400CNF2200_2aQBF_48	SAT	0.04
horn_400CNF2080_2aQBF_709	SAT	0.04
4qbf-5cnf-20var-80cl.0	SAT	0.04
horn_400CNF2000_2aQBF_577	SAT	0.04
connect_6x5_4_W	UNSAT	0.04
3qbf-5cnf-40var-1280cl.2	UNSAT	0.04
ncf_8_16_2_edau.9	UNSAT	0.04
renHorn_400CNF2120_2aQBF_31	SAT	0.04
horn_400CNF1760_2aQBF_711	SAT	0.04
2qbf-5cnf-160var-5120cl.4	UNSAT	0.04
horn_400CNF1680_2aQBF_286	SAT	0.04
renHorn_400CNF2280_2aQBF_13	SAT	0.04
renHorn_400CNF2360_2aQBF_97	SAT	0.04
horn_400CNF2160_2aQBF_657	UNSAT	0.04
horn_400CNF2320_2aQBF_433	UNSAT	0.04
renHorn_400CNF2200_2aQBF_79	SAT	0.04
renHorn_400CNF1640_2aQBF_53	SAT	0.04
renHorn_400CNF1560_2aQBF_72	SAT	0.04
1qbf-5cnf-80var-1280cl.3	SAT	0.04
1qbf-5cnf-80var-1280cl.5	SAT	0.04
horn_400CNF2160_2aQBF_996	SAT	0.05
ncf_4_8_2_d.9	SAT	0.05
connect_6x5_5_D	UNSAT	0.05
3qbf-5cnf-20var-640cl.6	UNSAT	0.05
2qbf-5cnf-160var-5120cl.2	UNSAT	0.05
2qbf-5cnf-160var-2560cl.2	UNSAT	0.05
renHorn_400CNF2280_2aQBF_4	SAT	0.05
4qbf-5cnf-40var-1280cl.6	UNSAT	0.05
connect_5x4_4_W	UNSAT	0.05
ncf_4_8_2_edau.9	SAT	0.05
horn_400CNF2080_2aQBF_714	SAT	0.05
2qbf-5cnf-160var-5120cl.7	UNSAT	0.05
2qbf-5cnf-160var-5120cl.9	UNSAT	0.05
ncf_4_8_2_d.7	UNSAT	0.05
2qbf-5cnf-160var-5120cl.1	UNSAT	0.05
2qbf-5cnf-160var-5120cl.0	UNSAT	0.05
2qbf-5cnf-80var-1280cl.8	UNSAT	0.05
6qbf-5cnf-20var-160cl.3	UNSAT	0.05
2qbf-5cnf-160var-5120cl.6	UNSAT	0.05
2qbf-5cnf-160var-5120cl.5	UNSAT	0.05
TOILET16.1.iv.32	SAT	0.05
2qbf-5cnf-160var-5120cl.8	UNSAT	0.05
2qbf-5cnf-160var-5120cl.3	UNSAT	0.06
toilet_a_08_10.2	SAT	0.06
ncf_4_8_2_euad.6	SAT	0.06
ncf_8_16_2_u.5	UNSAT	0.06
2qbf-5cnf-40var-80cl.0	SAT	0.06
ncf_4_16_2_euad.6	SAT	0.06
4qbf-5cnf-40var-1280cl.4	UNSAT	0.06
flipflop-7-c	UNSAT	0.06
2qbf-5cnf-160var-2560cl.0	UNSAT	0.06
connect_7x6_5_D	UNSAT	0.06
ncf_4_8_2_edau.2	SAT	0.06
ncf_4_8_2_u.2	SAT	0.06
ncf_8_16_2_u.9	UNSAT	0.07
ncf_8_16_2_euad.9	UNSAT	0.07
mutex-4-s	SAT	0.07
3qbf-5cnf-40var-1280cl.8	UNSAT	0.07
toilet_a_08_05.4	SAT	0.07
connect_6x5_3_D	UNSAT	0.07
3qbf-5cnf-20var-320cl.4	UNSAT	0.07
4qbf-5cnf-20var-160cl.0	UNSAT	0.07
szymanski-6-s	UNSAT	0.07
connect_6x5_3_W	UNSAT	0.07
connect_7x6_4_D	UNSAT	0.07
connect_7x6_6_D	UNSAT	0.07
4qbf-5cnf-40var-1280cl.1	UNSAT	0.07
1qbf-5cnf-80var-1280cl.7	SAT	0.07
1qbf-5cnf-80var-1280cl.2	SAT	0.07
1qbf-5cnf-80var-1280cl.9	SAT	0.07
toilet_a_08_01.16	SAT	0.08
4qbf-5cnf-20var-80cl.8	SAT	0.08
3qbf-5cnf-20var-320cl.9	UNSAT	0.08
ncf_8_16_2_d.6	UNSAT	0.08
toilet_a_08_05.10	SAT	0.08
vonNeumann-ripple-carry-6-c	UNSAT	0.08
5qbf-5cnf-20var-640cl.2	UNSAT	0.08
toilet_a_10_01.3	UNSAT	0.08
connect_7x6_3_D	UNSAT	0.08
6qbf-5cnf-20var-640cl.5	UNSAT	0.09
ncf_8_16_4_edau.1	UNSAT	0.09
6qbf-5cnf-20var-640cl.8	UNSAT	0.09
ncf_8_16_2_euad.5	UNSAT	0.09
3qbf-5cnf-40var-1280cl.9	UNSAT	0.09
toilet_a_08_05.8	SAT	0.09
connect_7x6_6_W	UNSAT	0.09
connect_7x6_5_W	UNSAT	0.09
2qbf-5cnf-20var-160cl.6	UNSAT	0.09
1qbf-5cnf-80var-1280cl.8	SAT	0.09
ncf_4_16_2_d.6	SAT	0.1
connect_7x6_4_W	UNSAT	0.1
connect_7x6_3_W	UNSAT	0.1
ncf_8_16_4_u.1	UNSAT	0.1
ncf_8_16_2_euad.6	UNSAT	0.1
vonNeumann-ripple-carry-7-c	UNSAT	0.1
ncf_4_8_2_u.6	SAT	0.1
2qbf-5cnf-80var-1280cl.1	UNSAT	0.1
2qbf-5cnf-40var-80cl.6	SAT	0.1
2qbf-5cnf-80var-1280cl.0	UNSAT	0.11
qshifter_5	SAT	0.11
4qbf-5cnf-40var-1280cl.5	UNSAT	0.11
4qbf-5cnf-20var-320cl.1	UNSAT	0.12
connect_8x7_7_D	UNSAT	0.12
robots_1_5_5_24.2	SAT	0.12
ncf_4_8_4_euad.6	SAT	0.12
4qbf-5cnf-20var-320cl.5	UNSAT	0.12
flipflop-8-c	UNSAT	0.12
connect_8x7_7_W	UNSAT	0.13
4qbf-5cnf-40var-1280cl.0	UNSAT	0.13
ncf_4_8_4_u.6	SAT	0.14
4qbf-5cnf-40var-1280cl.9	UNSAT	0.14
connect_8x7_5_D	UNSAT	0.14
connect_8x7_5_W	UNSAT	0.14
ncf_4_16_2_edau.9	SAT	0.14
connect_9x8_8_W	UNSAT	0.14
ncf_4_8_4_u.8	UNSAT	0.14
connect_8x7_6_W	UNSAT	0.14
ncf_4_16_2_u.9	SAT	0.14
2qbf-5cnf-160var-2560cl.5	UNSAT	0.15
robots_1_5_5_61.2	SAT	0.15
connect_8x7_6_D	UNSAT	0.15
robots_1_5_5_38.2	SAT	0.15
3qbf-5cnf-20var-320cl.7	UNSAT	0.15
robots_1_5_5_15.2	SAT	0.16
robots_1_5_5_75.2	SAT	0.16
4qbf-5cnf-20var-160cl.5	UNSAT	0.16
3qbf-5cnf-20var-320cl.0	UNSAT	0.16
robots_1_5_4_73.2	SAT	0.16
robots_1_5_5_56.2	SAT	0.16
robots_1_5_4_81.2	SAT	0.16
2qbf-5cnf-80var-160cl.0	SAT	0.16
robots_1_5_4_100.2	SAT	0.16
2qbf-5cnf-20var-80cl.2	SAT	0.17
toilet_a_08_05.2	UNSAT	0.17
ncf_4_16_2_euad.9	SAT	0.17
4qbf-5cnf-20var-320cl.8	UNSAT	0.17
robots_1_5_4_44.2	SAT	0.17
robots_1_5_4_75.2	SAT	0.17
connect_9x8_8_D	UNSAT	0.18
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.18
ncf_4_16_2_d.9	SAT	0.18
2qbf-5cnf-80var-1280cl.7	UNSAT	0.19
ncf_4_8_4_euad.8	UNSAT	0.19
2qbf-5cnf-20var-160cl.3	UNSAT	0.19
4qbf-5cnf-20var-320cl.0	UNSAT	0.19
vonNeumann-ripple-carry-8-c	UNSAT	0.19
2qbf-5cnf-40var-80cl.9	SAT	0.19
connect_9x8_7_D	UNSAT	0.2
connect_9x8_7_W	UNSAT	0.2
ncf_4_16_2_u.6	SAT	0.2
ncf_4_8_4_euad.5	SAT	0.2
4qbf-5cnf-40var-160cl.5	SAT	0.2
5qbf-5cnf-20var-640cl.9	UNSAT	0.2
robots_1_5_5_62.2	SAT	0.2
6qbf-5cnf-20var-640cl.3	UNSAT	0.21
ncf_4_8_2_u.3	UNSAT	0.21
4qbf-5cnf-20var-160cl.1	UNSAT	0.21
2qbf-5cnf-20var-160cl.4	UNSAT	0.21
1qbf-5cnf-160var-2560cl.0	SAT	0.21
2qbf-5cnf-80var-160cl.5	SAT	0.22
robots_1_5_3_7.2	SAT	0.22
connect_9x8_6_D	UNSAT	0.22
ncf_8_16_4_u.6	UNSAT	0.22
ncf_4_8_2_edau.6	SAT	0.23
robots_1_5_4_32.2	SAT	0.23
robots_1_5_5_100.2	SAT	0.23
flipflop-9-c	UNSAT	0.23
robots_1_5_4_71.2	SAT	0.23
connect_9x8_6_W	UNSAT	0.24
tree-exa2-25	UNSAT	0.24
robots_1_5_4_52.2	SAT	0.24
toilet_a_10_01.4	UNSAT	0.24
robots_1_5_5_97.2	SAT	0.24
robots_1_5_3_100.2	SAT	0.24
1qbf-5cnf-160var-2560cl.6	SAT	0.24
robots_1_5_3_30.2	SAT	0.25
ncf_4_16_2_edau.6	SAT	0.25
robots_1_5_4_22.2	SAT	0.25
robots_1_5_5_31.2	SAT	0.25
robots_1_5_4_59.2	SAT	0.25
ncf_4_8_8_edau.4	SAT	0.25
robots_1_5_3_51.2	SAT	0.26
ncf_4_8_2_d.6	SAT	0.26
vonNeumann-ripple-carry-9-c	UNSAT	0.27
4qbf-5cnf-20var-320cl.4	UNSAT	0.27
5qbf-5cnf-20var-640cl.0	UNSAT	0.27
ncf_8_16_4_euad.6	UNSAT	0.28
robots_1_5_2_81.2	SAT	0.28
robots_1_5_3_62.2	SAT	0.28
5qbf-5cnf-20var-640cl.7	UNSAT	0.29
robots_1_5_2_85.2	SAT	0.29
ncf_4_8_2_euad.3	UNSAT	0.29
connect_8x7_4_D	UNSAT	0.29
connect_8x7_3_D	UNSAT	0.29
ncf_4_8_4_euad.10	SAT	0.29
connect_8x7_4_W	UNSAT	0.29
uclid-pipe3a	UNSAT	0.3
robots_1_5_2_49.2	SAT	0.3
robots_1_5_3_52.2	SAT	0.31
4qbf-5cnf-40var-1280cl.3	UNSAT	0.31
robots_1_5_3_25.2	SAT	0.31
robots_1_5_3_80.2	SAT	0.31
robots_1_5_3_26.2	SAT	0.32
connect_8x7_3_W	UNSAT	0.32
ncf_4_8_4_u.5	SAT	0.32
robots_1_5_3_91.2	SAT	0.32
ncf_4_8_2_edau.3	UNSAT	0.34
2qbf-5cnf-20var-160cl.8	UNSAT	0.34
robots_1_5_2_33.2	SAT	0.35
robots_1_5_2_31.2	SAT	0.36
4qbf-5cnf-20var-320cl.6	UNSAT	0.36
4qbf-5cnf-20var-160cl.3	UNSAT	0.38
ncf_4_8_4_euad.1	SAT	0.39
ncf_8_16_4_euad.2	UNSAT	0.39
ncf_8_16_4_d.2	UNSAT	0.39
connect_9x8_4_W	UNSAT	0.4
robots_1_5_2_28.2	SAT	0.4
connect_9x8_5_W	UNSAT	0.4
connect_9x8_5_D	UNSAT	0.41
3qbf-5cnf-40var-1280cl.4	UNSAT	0.41
ncf_4_8_4_u.1	SAT	0.41
vonNeumann-ripple-carry-10-c	UNSAT	0.41
connect_9x8_4_D	UNSAT	0.41
2qbf-5cnf-20var-160cl.5	UNSAT	0.42
6qbf-5cnf-40var-320cl.3	UNSAT	0.42
robots_1_5_2_47.2	SAT	0.42
connect_9x8_3_W	UNSAT	0.43
connect_9x8_3_D	UNSAT	0.43
ncf_4_8_8_u.1	SAT	0.44
ncf_4_8_8_euad.1	SAT	0.44
robots_1_5_2_10.2	SAT	0.45
3qbf-5cnf-40var-1280cl.1	UNSAT	0.45
4qbf-5cnf-20var-320cl.3	UNSAT	0.46
toilet_c_08_01.8	UNSAT	0.46
4qbf-5cnf-20var-320cl.9	UNSAT	0.46
2qbf-5cnf-20var-80cl.3	SAT	0.47
ncf_4_8_2_d.3	UNSAT	0.47
2qbf-5cnf-20var-80cl.0	SAT	0.47
robots_1_5_2_100.2	SAT	0.47
ncf_8_16_2_edau.1	SAT	0.49
ncf_8_16_2_u.1	SAT	0.5
2qbf-5cnf-20var-160cl.7	UNSAT	0.5
6qbf-5cnf-20var-640cl.4	UNSAT	0.52
szymanski-8-s	UNSAT	0.52
2qbf-5cnf-20var-80cl.9	SAT	0.52
4qbf-5cnf-40var-1280cl.7	UNSAT	0.53
robots_1_5_2_14.2	SAT	0.53
ncf_4_16_2_euad.2	SAT	0.54
4qbf-5cnf-20var-160cl.6	UNSAT	0.54
3qbf-5cnf-20var-320cl.5	UNSAT	0.54
1qbf-5cnf-40var-1280cl.7	UNSAT	0.54
4qbf-5cnf-40var-160cl.3	SAT	0.55
2qbf-5cnf-20var-80cl.4	SAT	0.55
4qbf-5cnf-40var-1280cl.2	UNSAT	0.56
6qbf-5cnf-20var-640cl.2	UNSAT	0.57
ncf_8_16_2_euad.1	SAT	0.57
CHAIN12v.13	SAT	0.58
ncf_4_8_4_u.3	UNSAT	0.58
vonNeumann-ripple-carry-11-c	UNSAT	0.59
3qbf-5cnf-20var-320cl.6	UNSAT	0.59
2qbf-5cnf-20var-160cl.2	UNSAT	0.59
ncf_4_8_4_u.10	SAT	0.59
2qbf-5cnf-20var-80cl.1	SAT	0.6
flipflop-10-c	UNSAT	0.62
4qbf-5cnf-40var-160cl.9	SAT	0.64
ncf_8_16_2_d.1	SAT	0.65
3qbf-5cnf-20var-160cl.7	SAT	0.66
4qbf-5cnf-40var-1280cl.8	UNSAT	0.66
ncf_4_8_4_u.4	UNSAT	0.66
3qbf-5cnf-20var-160cl.9	SAT	0.67
ncf_8_16_8_u.1	SAT	0.69
ncf_8_16_8_edau.1	SAT	0.69
ncf_4_16_2_d.7	SAT	0.71
ncf_4_16_2_euad.7	SAT	0.73
ncf_8_16_2_edau.5	UNSAT	0.76
ncf_4_8_4_edau.6	SAT	0.77
3qbf-5cnf-40var-1280cl.6	UNSAT	0.77
4qbf-5cnf-40var-160cl.2	SAT	0.78
counter_2	SAT	0.78
1qbf-5cnf-40var-1280cl.9	UNSAT	0.78
1qbf-5cnf-40var-1280cl.5	UNSAT	0.8
3qbf-5cnf-20var-320cl.3	UNSAT	0.82
vonNeumann-ripple-carry-12-c	UNSAT	0.84
6qbf-5cnf-20var-320cl.6	UNSAT	0.85
3qbf-5cnf-20var-320cl.2	UNSAT	0.85
5qbf-5cnf-20var-640cl.4	UNSAT	0.85
2qbf-5cnf-160var-2560cl.6	UNSAT	0.86
1qbf-5cnf-40var-1280cl.3	UNSAT	0.86
3qbf-5cnf-40var-1280cl.3	UNSAT	0.87
1qbf-5cnf-40var-1280cl.2	UNSAT	0.87
6qbf-5cnf-20var-640cl.0	UNSAT	0.88
1qbf-5cnf-40var-1280cl.1	UNSAT	0.88
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.9
toilet_a_10_05.2	UNSAT	0.9
1qbf-5cnf-40var-1280cl.8	UNSAT	0.92
5qbf-5cnf-20var-640cl.8	UNSAT	0.93
ncf_4_16_2_edau.7	SAT	0.93
ncf_4_16_2_u.7	SAT	0.93
1qbf-5cnf-160var-2560cl.7	SAT	0.94
1qbf-5cnf-160var-2560cl.5	SAT	0.94
flipflop-11-c	UNSAT	0.99
1qbf-5cnf-40var-1280cl.4	UNSAT	1.02
2qbf-5cnf-20var-80cl.5	SAT	1.04
ncf_4_16_2_euad.4	SAT	1.05
vonNeumann-ripple-carry-13-c	UNSAT	1.07
4qbf-5cnf-40var-160cl.4	SAT	1.09
1qbf-5cnf-40var-1280cl.0	UNSAT	1.13
toilet_a_10_05.4	SAT	1.15
toilet_a_10_10.2	SAT	1.15
3qbf-5cnf-20var-320cl.1	UNSAT	1.16
ncf_4_8_8_euad.8	SAT	1.17
adder-2-unsat	UNSAT	1.2
1qbf-5cnf-40var-1280cl.6	UNSAT	1.21
ncf_4_8_4_euad.3	UNSAT	1.24
ncf_4_8_4_d.6	SAT	1.26
6qbf-5cnf-20var-640cl.1	UNSAT	1.28
5qbf-5cnf-20var-640cl.5	UNSAT	1.28
5qbf-5cnf-20var-640cl.3	UNSAT	1.29
toilet_a_10_01.20	SAT	1.31
ev-pr-4x4-7-3-0-0-1-lg	SAT	1.31
3qbf-5cnf-40var-640cl.8	UNSAT	1.36
2qbf-5cnf-20var-160cl.9	UNSAT	1.38
toilet_c_10_01.8	UNSAT	1.41
5qbf-5cnf-40var-640cl.8	UNSAT	1.41
ncf_8_16_4_d.1	UNSAT	1.42
CHAIN13v.14	SAT	1.42
counter_r_2	SAT	1.42
ncf_8_16_4_euad.1	UNSAT	1.43
3qbf-5cnf-80var-2560cl.5	UNSAT	1.46
ncf_8_16_4_euad.10	SAT	1.53
qshifter_6	SAT	1.53
ncf_4_8_8_euad.3	SAT	1.57
ncf_4_16_2_u.2	SAT	1.63
k_ph_p-4	UNSAT	1.64
ncf_4_8_4_edau.10	SAT	1.64
flipflop-12-c	UNSAT	1.77
4qbf-5cnf-40var-160cl.6	SAT	1.78
vonNeumann-ripple-carry-15-c	UNSAT	1.87
2qbf-5cnf-160var-2560cl.7	UNSAT	1.87
6qbf-5cnf-20var-640cl.9	UNSAT	1.89
6qbf-5cnf-20var-640cl.7	UNSAT	1.91
6qbf-5cnf-20var-160cl.1	UNSAT	1.91
3qbf-5cnf-40var-1280cl.7	UNSAT	1.92
ncf_16_32_2_u.9	UNSAT	2.15
ncf_4_8_4_edau.8	UNSAT	2.16
4qbf-5cnf-20var-160cl.8	UNSAT	2.23
ncf_8_16_4_edau.6	UNSAT	2.28
2qbf-5cnf-80var-160cl.3	SAT	2.31
6qbf-5cnf-20var-320cl.4	UNSAT	2.33
4qbf-5cnf-20var-160cl.7	UNSAT	2.36
ncf_16_32_2_edau.9	UNSAT	2.38
3qbf-5cnf-40var-640cl.9	UNSAT	2.42
ncf_4_8_4_d.10	SAT	2.47
szymanski-10-s	UNSAT	2.54
3qbf-5cnf-40var-320cl.6	SAT	2.55
6qbf-5cnf-20var-160cl.6	UNSAT	2.56
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	2.62
ncf_8_16_2_euad.4	SAT	2.63
2qbf-5cnf-160var-2560cl.8	UNSAT	2.68
3qbf-5cnf-40var-640cl.7	UNSAT	2.85
2qbf-5cnf-160var-2560cl.3	UNSAT	2.85
ncf_4_8_8_u.10	UNSAT	2.92
comp.blif_0.10_1.00_0_1_inp_exact	SAT	2.97
4qbf-5cnf-40var-320cl.0	UNSAT	3
ncf_8_16_2_d.5	UNSAT	3.04
ncf_4_16_4_euad.1	SAT	3.14
ncf_4_8_4_euad.4	UNSAT	3.23
CHAIN14v.15	SAT	3.44
2qbf-5cnf-160var-2560cl.1	UNSAT	3.59
tree-exa10-20	SAT	3.69
ncf_4_8_8_euad.10	UNSAT	3.81
2qbf-5cnf-20var-80cl.7	SAT	3.82
ncf_4_8_4_d.8	UNSAT	3.92
ncf_4_16_2_u.4	SAT	3.94
3qbf-5cnf-20var-160cl.3	SAT	4.12
2qbf-5cnf-20var-160cl.1	UNSAT	4.15
6qbf-5cnf-20var-160cl.5	UNSAT	4.17
tree-exa2-30	UNSAT	4.18
ncf_8_16_4_u.8	UNSAT	4.18
2qbf-5cnf-20var-80cl.6	SAT	4.29
ncf_8_16_4_d.6	UNSAT	4.33
2qbf-5cnf-160var-2560cl.9	UNSAT	4.67
3qbf-5cnf-40var-1280cl.0	UNSAT	4.7
2qbf-5cnf-20var-80cl.8	SAT	4.87
ncf_4_8_8_d.4	SAT	4.91
4qbf-5cnf-20var-160cl.4	UNSAT	4.97
ncf_4_8_8_u.8	SAT	5.29
4qbf-5cnf-80var-2560cl.7	UNSAT	5.44
ncf_4_8_4_d.3	UNSAT	5.68
6qbf-5cnf-20var-320cl.2	UNSAT	5.75
ncf_16_32_2_u.7	UNSAT	5.9
4qbf-5cnf-40var-320cl.5	UNSAT	6.07
k_grz_n-4	SAT	6.28
ncf_4_8_4_edau.1	SAT	6.33
6qbf-5cnf-20var-160cl.7	SAT	6.44
ncf_16_32_2_edau.7	UNSAT	6.58
ncf_16_32_2_euad.7	UNSAT	6.65
ncf_4_8_4_d.7	UNSAT	6.83
ncf_8_16_4_euad.8	UNSAT	6.92
ncf_4_8_4_d.1	SAT	6.98
ncf_4_8_4_edau.4	UNSAT	7.04
1qbf-5cnf-160var-2560cl.1	SAT	7.16
szymanski-12-s	UNSAT	7.19
toilet_a_08_01.8	UNSAT	7.23
2qbf-5cnf-20var-160cl.0	UNSAT	7.32
ncf_4_8_4_edau.3	UNSAT	7.44
ncf_16_32_2_d.7	UNSAT	7.47
ncf_4_8_4_d.5	SAT	7.64
4qbf-5cnf-80var-2560cl.9	UNSAT	7.79
1qbf-5cnf-160var-2560cl.8	SAT	7.88
4qbf-5cnf-40var-320cl.1	UNSAT	8.08
CHAIN15v.16	SAT	8.13
ncf_4_16_4_euad.8	SAT	8.38
6qbf-5cnf-20var-320cl.7	UNSAT	8.43
connect_5x4_4_R	UNSAT	8.61
ev-pr-4x4-9-3-0-0-1-lg	SAT	8.65
ncf_8_16_8_d.1	SAT	8.83
ncf_8_16_8_euad.1	SAT	8.86
ncf_4_16_4_euad.9	SAT	9.02
6qbf-5cnf-20var-160cl.2	SAT	9.07
ncf_4_8_8_euad.6	UNSAT	9.12
2qbf-5cnf-80var-160cl.9	SAT	9.42
ncf_4_8_8_edau.6	UNSAT	9.99
ncf_4_8_4_d.4	UNSAT	10.04
ncf_8_16_4_edau.8	UNSAT	10.08
ncf_8_16_4_d.8	UNSAT	11.04
ncf_4_8_8_d.1	SAT	11.17
6qbf-5cnf-20var-160cl.9	SAT	11.24
ncf_4_8_4_edau.5	SAT	11.32
3qbf-5cnf-160var-1280cl.3	SAT	11.42
ncf_4_8_8_d.6	UNSAT	11.79
counter_e_2	SAT	12.12
C499.blif_0.10_1.00_0_1_inp_exact	SAT	12.15
5qbf-5cnf-20var-320cl.5	UNSAT	12.17
4qbf-5cnf-80var-320cl.0	SAT	12.26
6qbf-5cnf-20var-160cl.4	UNSAT	12.77
ncf_4_16_4_d.9	SAT	12.92
ncf_8_16_2_euad.10	SAT	13.26
4qbf-5cnf-40var-320cl.3	UNSAT	13.29
3qbf-5cnf-80var-2560cl.3	UNSAT	13.57
5qbf-5cnf-20var-320cl.2	UNSAT	13.66
6qbf-5cnf-20var-320cl.3	UNSAT	14.19
ncf_4_16_4_euad.5	SAT	14.24
6qbf-5cnf-20var-160cl.8	SAT	14.25
6qbf-5cnf-20var-320cl.5	UNSAT	14.75
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	15.27
mutex-8-s	SAT	15.54
ncf_4_8_8_u.6	UNSAT	15.56
3qbf-5cnf-20var-320cl.8	UNSAT	15.68
ncf_4_16_4_u.9	SAT	15.8
lut4_XOR_f1	SAT	15.97
ncf_4_8_4_edau.7	UNSAT	16.48
ncf_4_16_4_edau.9	SAT	16.89
4qbf-5cnf-80var-640cl.2	UNSAT	17.33
szymanski-14-s	UNSAT	17.48
5qbf-5cnf-20var-320cl.8	UNSAT	17.52
6qbf-5cnf-20var-640cl.6	UNSAT	17.94
4qbf-5cnf-40var-160cl.0	SAT	18.23
ncf_4_16_2_euad.5	UNSAT	18.27
4qbf-5cnf-40var-160cl.7	SAT	18.42
4qbf-5cnf-20var-160cl.9	UNSAT	18.43
6qbf-5cnf-20var-160cl.0	UNSAT	18.75
CHAIN16v.17	SAT	20.53
4qbf-5cnf-80var-320cl.6	SAT	20.59
5qbf-5cnf-20var-640cl.6	UNSAT	21.5
2qbf-5cnf-80var-160cl.2	SAT	21.83
5qbf-5cnf-20var-320cl.1	UNSAT	22.77
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	23.06
2qbf-5cnf-80var-160cl.4	SAT	23.07
5qbf-5cnf-20var-320cl.3	UNSAT	24.67
k_path_p-4	UNSAT	25.01
5qbf-5cnf-20var-320cl.0	UNSAT	27.48
ncf_8_16_4_d.10	SAT	27.95
k_grz_n-8	SAT	29.15
6qbf-5cnf-20var-320cl.9	UNSAT	29.23
5qbf-5cnf-20var-320cl.4	UNSAT	30.27
ncf_4_16_2_u.5	UNSAT	30.92
4qbf-5cnf-40var-320cl.6	UNSAT	31.59
4qbf-5cnf-40var-320cl.8	UNSAT	32.7
ncf_4_8_4_euad.7	UNSAT	33.17
ncf_8_16_2_d.10	SAT	34.02
5qbf-5cnf-20var-320cl.7	UNSAT	34.03
ncf_8_16_2_u.10	SAT	35.27
szymanski-16-s	UNSAT	37.9
6qbf-5cnf-40var-640cl.1	UNSAT	37.96
TOILET6.1.iv.11	UNSAT	39.43
2qbf-5cnf-80var-160cl.1	SAT	39.61
6qbf-5cnf-20var-320cl.0	UNSAT	41.08
ncf_8_16_2_edau.10	SAT	43.62
robots_1_5_5_66.4	SAT	45.13
tree-exa2-35	UNSAT	45.54
robots_1_5_5_26.4	SAT	45.7
4qbf-5cnf-20var-160cl.2	UNSAT	46.96
ncf_4_16_2_d.4	SAT	47.23
ncf_4_16_2_edau.4	SAT	48.88
6qbf-5cnf-40var-320cl.8	UNSAT	48.99
CHAIN17v.18	SAT	50.95
2qbf-5cnf-40var-160cl.6	UNSAT	51.24
6qbf-5cnf-40var-320cl.1	UNSAT	52.01
ncf_4_16_2_d.2	SAT	52.75
4qbf-5cnf-40var-160cl.8	SAT	53.33
ncf_4_8_8_edau.1	SAT	53.97
qshifter_7	SAT	54.4
ncf_4_8_4_u.7	UNSAT	55.24
6qbf-5cnf-20var-320cl.1	UNSAT	56.59
ncf_4_16_2_edau.2	SAT	58.48
5qbf-5cnf-20var-320cl.6	UNSAT	59.11
connect_5x4_3_R	UNSAT	61.81
6qbf-5cnf-40var-320cl.9	UNSAT	62.82
6qbf-5cnf-20var-320cl.8	UNSAT	66.41
4qbf-5cnf-80var-320cl.5	SAT	70.44
2qbf-5cnf-40var-320cl.6	UNSAT	71.63
ncf_8_16_2_edau.4	SAT	73.11
robots_1_5_4_50.4	SAT	73.83
szymanski-18-s	UNSAT	74.64
robots_1_5_4_31.4	SAT	74.81
robots_1_5_4_30.4	SAT	75.38
robots_1_5_5_87.4	SAT	75.38
robots_1_5_4_100.4	SAT	76.29
toilet_a_10_01.8	UNSAT	87.58
2qbf-5cnf-80var-160cl.6	SAT	90.96
ncf_4_16_2_edau.1	UNSAT	95.99
6qbf-5cnf-40var-320cl.0	UNSAT	96.81
robots_1_5_3_44.4	SAT	100.04
ncf_8_16_2_d.4	SAT	101.29
3qbf-5cnf-40var-1280cl.5	UNSAT	102.6
counter_re_2	SAT	104.08
ncf_4_16_2_d.3	UNSAT	106.28
tree-exa10-25	SAT	108.24
ncf_4_16_2_edau.3	UNSAT	108.24
6qbf-5cnf-40var-320cl.4	UNSAT	112.83
robots_1_5_4_98.4	SAT	113.84
robots_1_5_4_87.4	SAT	114.81
ncf_4_16_2_d.1	UNSAT	115.44
robots_1_5_4_46.4	SAT	115.51
robots_1_5_4_91.4	SAT	115.59
robots_1_5_4_2.4	SAT	115.84
4qbf-5cnf-160var-1280cl.5	UNSAT	116.88
ncf_16_32_2_d.9	UNSAT	116.98
ncf_16_32_2_euad.9	UNSAT	117.05
robots_1_5_3_20.4	SAT	117.63
ncf_8_16_4_u.10	SAT	117.71
robots_1_5_5_30.4	SAT	117.74
robots_1_5_4_51.4	SAT	118.76
robots_1_5_5_45.4	SAT	118.76
robots_1_5_5_12.4	SAT	120.24
robots_1_5_3_78.4	SAT	120.46
robots_1_5_5_34.4	SAT	121.03
robots_1_5_5_93.4	SAT	122.89
robots_1_5_5_100.4	SAT	123.55
robots_1_5_5_8.4	SAT	123.71
CHAIN18v.19	SAT	129.78
ncf_8_16_2_u.4	SAT	130.29
6qbf-5cnf-40var-320cl.6	UNSAT	132.31
szymanski-20-s	UNSAT	136.35
k_grz_n-12	SAT	140.44
6qbf-5cnf-40var-320cl.7	UNSAT	141.59
2qbf-5cnf-40var-320cl.0	UNSAT	144.08
connect_6x5_5_R	UNSAT	144.94
ncf_4_16_2_d.10	UNSAT	146.78
4qbf-5cnf-40var-320cl.7	UNSAT	155.65
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	161.99
5qbf-5cnf-20var-320cl.9	UNSAT	172.23
toilet_c_10_01.16	UNSAT	173.23
ncf_8_16_4_edau.10	SAT	179.19
ncf_4_16_2_edau.10	UNSAT	180.74
ncf_4_16_2_d.8	SAT	188.76
ncf_4_8_8_d.7	SAT	192.37
ev-pr-4x4-11-3-0-0-1-lg	SAT	206.06
4qbf-5cnf-40var-640cl.9	UNSAT	207.62
CHAIN19v.20	SAT	209.55
4qbf-5cnf-80var-640cl.3	UNSAT	216.77
4qbf-5cnf-40var-320cl.4	UNSAT	224.18
szymanski-22-s	UNSAT	234.39
ncf_4_16_2_edau.8	SAT	249.15
5qbf-5cnf-40var-640cl.0	UNSAT	261.08
6qbf-5cnf-80var-640cl.0	UNSAT	270.95
ncf_8_16_8_d.9	UNSAT	272.63
6qbf-5cnf-80var-640cl.8	UNSAT	275.79
2qbf-5cnf-80var-160cl.7	SAT	278.98
ncf_4_16_2_edau.5	UNSAT	280.98
4qbf-5cnf-40var-320cl.9	UNSAT	286.2
1qbf-5cnf-160var-2560cl.3	SAT	309.69
ncf_4_16_2_d.5	UNSAT	325.94
ncf_4_16_4_d.1	SAT	339.13
C880.blif_0.10_1.00_0_1_inp_exact	SAT	361.14
1qbf-5cnf-160var-2560cl.9	SAT	382.28
ncf_8_16_8_u.8	UNSAT	387.09
szymanski-24-s	UNSAT	388.18
ncf_4_8_8_d.8	SAT	392.89
CHAIN20v.21	SAT	396.23
ncf_4_16_4_d.7	SAT	448
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	456.34
k_dum_n-4	SAT	457.97
comp.blif_0.10_0.20_0_1_inp_exact	SAT	466.87
5qbf-5cnf-40var-640cl.2	UNSAT	467.73
tree-exa2-40	UNSAT	502.8
ncf_4_8_8_d.10	SAT	505.66
6qbf-5cnf-40var-320cl.5	UNSAT	505.95
2qbf-5cnf-40var-320cl.9	UNSAT	516.93
lut4_XOR_fOR	UNSAT	599.56
6qbf-5cnf-80var-640cl.1	UNSAT	603.46
ncf_8_16_8_u.7	UNSAT	604.29
3qbf-5cnf-40var-640cl.4	UNSAT	640.47
6qbf-5cnf-80var-640cl.2	UNSAT	699.19
ncf_4_16_4_u.5	SAT	721.9
ncf_4_16_2_euad.10	UNSAT	725.15
4qbf-5cnf-40var-320cl.2	UNSAT	772.43
ncf_4_8_8_d.2	UNSAT	772.77
2qbf-5cnf-40var-160cl.7	UNSAT	777.31
ncf_4_16_4_d.8	SAT	793.51
5qbf-5cnf-40var-1280cl.0	UNSAT	794.25
k_grz_n-16	SAT	802.5
6qbf-5cnf-40var-1280cl.5	UNSAT	812.72
ncf_4_8_8_d.3	SAT	852.54
TOILET7.1.iv.13	UNSAT	860.78
k_ph_n-12	FAIL	893.56
k_lin_p-21	FAIL	893.7
k_ph_p-12	FAIL	893.88
k_ph_p-8	FAIL	894.11
ncf_4_8_8_d.5	UNSAT	897.49
6qbf-5cnf-80var-640cl.7	FAIL	898.52
k_ph_n-8	FAIL	899.84
connect_9x8_3_R	FAIL	899.96
ncf_16_128_4_edau.6	FAIL	900.48
ncf_8_64_4_u.8	FAIL	900.53
connect_9x8_5_R	FAIL	900.54
ncf_8_64_8_u.6	FAIL	900.62
connect_9x8_4_R	FAIL	900.64
connect_8x7_3_R	FAIL	900.66
ncf_4_32_8_u.2	FAIL	900.68
k_t4p_p-8	FAIL	900.69
s510_d47_u	FAIL	900.73
connect_8x7_4_R	FAIL	900.79
ev-pr-6x6-13-5-0-1-2-s	FAIL	900.81
ev-pr-6x6-17-5-0-1-2-s	FAIL	900.82
ev-pr-6x6-19-5-0-1-2-s	FAIL	900.84
connect_8x7_5_R	FAIL	900.86
connect_6x5_3_R	FAIL	900.87
ev-pr-6x6-15-5-0-1-2-s	FAIL	900.87
1qbf-5cnf-160var-5120cl.1	FAIL	900.88
connect_7x6_3_R	FAIL	900.89
k_dum_p-8	FAIL	900.89
connect_9x8_7_R	FAIL	900.89
connect_9x8_8_R	FAIL	900.89
ev-pr-6x6-11-5-0-1-2-s	FAIL	900.9
connect_7x6_5_R	FAIL	900.9
ev-pr-8x8-11-7-0-1-2-lg	FAIL	900.9
connect_7x6_4_R	FAIL	900.91
s3330_d10_u	FAIL	900.91
1qbf-5cnf-160var-5120cl.7	FAIL	900.91
connect_8x7_6_R	FAIL	900.92
s510_d32_s	FAIL	900.92
ncf_16_128_2_d.5	FAIL	900.92
connect_8x7_7_R	FAIL	900.92
s510_d46_s	FAIL	900.92
1qbf-5cnf-160var-2560cl.2	FAIL	900.92
1qbf-5cnf-160var-5120cl.2	FAIL	900.92
connect_6x5_4_R	FAIL	900.93
k_poly_p-20	FAIL	900.93
1qbf-5cnf-160var-5120cl.5	FAIL	900.93
1qbf-5cnf-160var-5120cl.8	FAIL	900.93
ncf_16_32_4_euad.2	FAIL	900.94
ev-pr-6x6-9-5-0-1-2-s	FAIL	900.94
connect_9x8_6_R	FAIL	900.94
connect_7x6_6_R	FAIL	900.94
1qbf-5cnf-160var-5120cl.3	FAIL	900.94
1qbf-5cnf-160var-5120cl.9	FAIL	900.94
1qbf-5cnf-160var-5120cl.6	FAIL	900.94
1qbf-5cnf-80var-2560cl.0	FAIL	900.94
k_branch_n-20	FAIL	900.95
1qbf-5cnf-160var-2560cl.4	FAIL	900.95
1qbf-5cnf-80var-2560cl.9	FAIL	900.95
1qbf-5cnf-80var-2560cl.7	FAIL	900.95
k_ph_n-20	FAIL	900.96
ncf_4_16_8_u.7	FAIL	900.96
s1269_d10_s	FAIL	900.96
6qbf-5cnf-40var-640cl.0	FAIL	900.96
k_branch_n-21	FAIL	900.96
s1269_d11_u	FAIL	900.96
s510_d16_s	FAIL	900.96
ev-pr-6x6-7-5-0-1-2-s	FAIL	900.96
1qbf-5cnf-160var-5120cl.0	FAIL	900.96
1qbf-5cnf-80var-2560cl.5	FAIL	900.96
1qbf-5cnf-160var-5120cl.4	FAIL	900.96
robots_1_5_5_5.8	FAIL	900.97
k_lin_n-12	FAIL	900.97
mutex-64-s	FAIL	900.97
ncf_8_64_4_d.6	FAIL	900.97
ev-pr-4x4-17-3-0-0-1-s	FAIL	900.97
k_lin_n-20	FAIL	900.97
k_branch_p-21	FAIL	900.97
s499_d21_s	FAIL	900.97
k_ph_n-21	FAIL	900.97
lognBWLARGEB1	FAIL	900.97
k_branch_p-20	FAIL	900.97
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	900.97
s499_d22_u	FAIL	900.97
k_branch_n-16	FAIL	900.97
s820_d8_s	FAIL	900.97
robots_1_5_4_24.8	FAIL	900.97
ev-pr-8x8-9-7-0-1-2-lg	FAIL	900.97
s298_d19_u	FAIL	900.97
ev-pr-6x6-13-5-0-1-2-lg	FAIL	900.97
s3330_d8_s	FAIL	900.97
ncf_16_128_8_u.10	FAIL	900.97
robots_1_5_4_17.8	FAIL	900.97
1qbf-5cnf-80var-2560cl.1	FAIL	900.97
1qbf-5cnf-80var-2560cl.2	FAIL	900.97
1qbf-5cnf-80var-2560cl.8	FAIL	900.97
ncf_16_64_8_u.3	FAIL	900.98
ev-pr-4x4-15-3-0-0-1-s	FAIL	900.98
ncf_16_128_8_d.3	FAIL	900.98
adder-8-unsat	FAIL	900.98
Adder2-16-c	FAIL	900.98
ev-pr-8x8-13-7-0-1-2-lg	FAIL	900.98
robots_1_5_2_82.8	FAIL	900.98
robots_1_5_2_91.8	FAIL	900.98
ncf_8_16_8_d.6	FAIL	900.98
test2_quant_squaring3	FAIL	900.98
BLOCKS4ii.7.2	FAIL	900.98
mutex-32-s	FAIL	900.98
ev-pr-8x8-19-7-0-1-2-lg	FAIL	900.98
ncf_16_128_8_u.1	FAIL	900.98
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	900.98
ncf_16_128_8_euad.5	FAIL	900.98
k_branch_p-12	FAIL	900.98
ncf_16_128_8_u.6	FAIL	900.98
k_t4p_n-20	FAIL	900.98
term1.blif_0.10_0.20_0_0_out_exact	FAIL	900.98
s3330_d9_s	FAIL	900.98
robots_1_5_2_82.4	FAIL	900.98
robots_1_5_2_67.8	FAIL	900.98
ncf_16_32_4_u.10	FAIL	900.98
robots_1_5_3_8.8	FAIL	900.98
s298_d16_s	FAIL	900.98
robots_1_5_4_75.8	FAIL	900.98
robots_1_5_4_96.8	FAIL	900.98
ncf_16_64_2_euad.6	FAIL	900.98
ev-pr-6x6-5-5-0-1-2-s	FAIL	900.98
ncf_4_32_8_d.1	FAIL	900.98
ncf_16_128_8_edau.5	FAIL	900.98
k_ph_p-16	FAIL	900.98
ev-pr-8x8-15-7-0-1-2-lg	FAIL	900.98
k_branch_n-8	FAIL	900.98
s1269_d8_s	FAIL	900.98
s820_d11_u	FAIL	900.98
ev-pr-8x8-17-7-0-1-2-lg	FAIL	900.98
robots_1_5_3_16.8	FAIL	900.98
ncf_16_128_8_euad.9	FAIL	900.98
k_ph_p-21	FAIL	900.98
ncf_16_128_8_d.9	FAIL	900.98
robots_1_5_3_27.8	FAIL	900.98
1qbf-5cnf-80var-2560cl.6	FAIL	900.98
1qbf-5cnf-80var-2560cl.3	FAIL	900.98
ncf_16_64_8_edau.6	FAIL	900.99
ncf_4_16_8_edau.9	FAIL	900.99
counter_r_64	FAIL	900.99
ev-pr-6x6-11-5-0-1-2-lg	FAIL	900.99
ncf_16_64_2_d.7	FAIL	900.99
ncf_16_64_8_edau.10	FAIL	900.99
counter_re_64	FAIL	900.99
ncf_4_32_8_edau.3	FAIL	900.99
ncf_16_32_8_d.2	FAIL	900.99
ncf_16_64_4_u.8	FAIL	900.99
ncf_16_32_8_euad.7	FAIL	900.99
lognBWLARGEA1	FAIL	900.99
k_branch_p-16	FAIL	900.99
ncf_8_16_8_edau.6	FAIL	900.99
ncf_8_32_2_edau.7	FAIL	900.99
ncf_16_32_8_euad.4	FAIL	900.99
ncf_16_128_4_u.3	FAIL	900.99
ncf_4_16_8_euad.8	FAIL	900.99
s499_d8_s	FAIL	900.99
ncf_8_64_2_euad.9	FAIL	900.99
ncf_16_32_4_euad.10	FAIL	900.99
ev-pr-4x4-13-3-0-0-1-lg	FAIL	900.99
BLOCKS4ii.6.3	FAIL	900.99
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	900.99
counter_e_4	FAIL	900.99
BLOCKS4iii.6	FAIL	900.99
ncf_16_128_8_d.2	FAIL	900.99
ev-pr-6x6-19-5-0-1-2-lg	FAIL	900.99
ev-pr-4x4-7-3-0-0-1-s	FAIL	900.99
ncf_16_64_8_d.10	FAIL	900.99
robots_1_5_3_55.8	FAIL	900.99
ncf_16_128_8_edau.6	FAIL	900.99
ncf_16_128_4_d.2	FAIL	900.99
ncf_8_32_4_edau.10	FAIL	900.99
s713_d4_s	FAIL	900.99
4qbf-5cnf-80var-2560cl.4	FAIL	900.99
ncf_16_128_8_d.6	FAIL	900.99
ncf_4_32_8_u.3	FAIL	900.99
ncf_4_16_4_euad.6	FAIL	900.99
ncf_8_64_8_u.9	FAIL	900.99
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	900.99
ncf_16_32_8_edau.1	FAIL	900.99
ncf_16_32_8_euad.5	FAIL	900.99
ncf_8_64_8_euad.8	FAIL	900.99
Adder2-10-c	FAIL	900.99
ncf_16_128_4_d.10	FAIL	900.99
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	900.99
s820_d2_s	FAIL	900.99
ncf_8_32_4_edau.9	FAIL	900.99
C499.blif_0.10_1.00_0_0_out_exact	FAIL	900.99
ncf_16_128_8_d.8	FAIL	900.99
ncf_4_32_8_d.7	FAIL	900.99
ncf_16_128_2_d.3	FAIL	900.99
5qbf-5cnf-160var-5120cl.7	FAIL	900.99
ncf_8_64_4_edau.5	FAIL	900.99
ncf_16_64_4_u.6	FAIL	900.99
ncf_16_64_4_edau.9	FAIL	900.99
ncf_16_64_4_euad.9	FAIL	900.99
ncf_16_128_2_d.2	FAIL	900.99
ncf_4_32_4_u.3	FAIL	900.99
ncf_16_128_8_edau.7	FAIL	900.99
2qbf-5cnf-160var-320cl.7	FAIL	900.99
k_ph_p-20	FAIL	900.99
k_t4p_n-12	FAIL	900.99
Adder2-6-s	FAIL	900.99
ncf_4_16_8_euad.6	FAIL	900.99
ncf_16_64_8_d.8	FAIL	900.99
test2_quant2	FAIL	900.99
ncf_16_128_4_euad.6	FAIL	900.99
ncf_8_64_8_u.4	FAIL	900.99
ncf_16_128_4_d.5	FAIL	900.99
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	900.99
ncf_4_32_8_edau.9	FAIL	900.99
test1_quant_squaring3	FAIL	900.99
ncf_16_128_8_edau.2	FAIL	900.99
s713_d7_u	FAIL	900.99
counter_e_8	FAIL	900.99
ncf_16_128_2_u.3	FAIL	900.99
ncf_16_64_4_euad.8	FAIL	900.99
Adder2-16-s	FAIL	900.99
ncf_16_128_4_d.7	FAIL	900.99
6qbf-5cnf-160var-1280cl.6	FAIL	900.99
ncf_16_64_8_d.3	FAIL	900.99
ncf_4_32_4_u.1	FAIL	900.99
ncf_4_32_8_euad.6	FAIL	900.99
ncf_16_128_8_euad.1	FAIL	900.99
robots_1_5_2_32.8	FAIL	900.99
robots_1_5_2_9.8	FAIL	900.99
ncf_16_128_2_euad.3	FAIL	900.99
3qbf-5cnf-160var-5120cl.6	FAIL	900.99
3qbf-5cnf-160var-5120cl.8	FAIL	900.99
ncf_16_128_8_euad.4	FAIL	900.99
ncf_16_128_4_u.1	FAIL	900.99
ev-pr-4x4-11-3-0-0-1-s	FAIL	900.99
robots_1_5_4_1.8	FAIL	900.99
ncf_8_16_8_d.8	FAIL	900.99
ncf_16_128_2_edau.6	FAIL	900.99
ncf_8_64_2_edau.9	FAIL	900.99
ncf_4_32_8_euad.1	FAIL	900.99
k_ph_n-16	FAIL	900.99
ncf_16_32_4_d.6	FAIL	900.99
robots_1_5_2_61.8	FAIL	900.99
counter_64	FAIL	900.99
s499_d4_s	FAIL	900.99
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	900.99
robots_1_5_2_3.4	FAIL	900.99
robots_1_5_3_70.8	FAIL	900.99
robots_1_5_5_10.8	FAIL	900.99
robots_1_5_5_14.8	FAIL	900.99
ncf_8_64_8_euad.1	FAIL	900.99
ncf_8_64_8_u.3	FAIL	900.99
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	900.99
test3_quant2	FAIL	900.99
4qbf-5cnf-160var-640cl.5	FAIL	900.99
s713_d6_s	FAIL	900.99
ncf_8_64_8_edau.3	FAIL	900.99
ncf_16_32_8_euad.9	FAIL	900.99
ncf_16_64_8_edau.9	FAIL	900.99
ncf_4_16_8_euad.4	FAIL	900.99
ncf_16_128_2_d.8	FAIL	900.99
ncf_16_64_4_euad.2	FAIL	900.99
ncf_16_128_4_euad.4	FAIL	900.99
ncf_16_64_4_u.10	FAIL	900.99
ncf_16_128_4_d.6	FAIL	900.99
ncf_16_128_4_euad.9	FAIL	900.99
ncf_16_128_8_d.4	FAIL	900.99
ncf_16_128_8_edau.9	FAIL	900.99
ncf_8_64_8_d.3	FAIL	900.99
ncf_4_32_4_d.7	FAIL	900.99
ncf_16_32_8_u.8	FAIL	900.99
ncf_16_128_8_u.9	FAIL	900.99
5qbf-5cnf-80var-2560cl.4	FAIL	900.99
C880.blif_0.10_1.00_0_1_out_exact	FAIL	900.99
2qbf-5cnf-80var-320cl.9	FAIL	900.99
ncf_4_32_8_u.6	FAIL	900.99
5qbf-5cnf-40var-1280cl.2	FAIL	900.99
ncf_16_64_4_d.2	FAIL	900.99
ncf_4_32_8_euad.9	FAIL	900.99
Adder2-12-s	FAIL	900.99
6qbf-5cnf-80var-640cl.4	FAIL	900.99
ncf_16_128_2_edau.5	FAIL	900.99
ncf_4_32_8_u.4	FAIL	900.99
ncf_16_64_8_euad.5	FAIL	900.99
ncf_16_128_4_d.9	FAIL	900.99
6qbf-5cnf-160var-5120cl.0	FAIL	900.99
ncf_8_64_4_edau.10	FAIL	900.99
k_path_n-20	FAIL	900.99
robots_1_5_2_100.4	FAIL	900.99
ncf_16_32_2_d.8	FAIL	900.99
ncf_8_64_4_d.5	FAIL	900.99
ncf_8_32_4_edau.8	FAIL	900.99
robots_1_5_4_56.8	FAIL	900.99
robots_1_5_3_2.4	FAIL	900.99
3qbf-5cnf-80var-2560cl.4	FAIL	900.99
ncf_4_16_8_euad.7	FAIL	900.99
k_branch_p-8	FAIL	900.99
4qbf-5cnf-160var-640cl.8	FAIL	900.99
BLOCKS3ii.4.3	FAIL	900.99
Adder2-10-s	FAIL	900.99
ncf_8_64_8_d.1	FAIL	900.99
counter_e_16	FAIL	900.99
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	900.99
ncf_8_64_2_edau.3	FAIL	900.99
k_t4p_n-4	FAIL	900.99
ncf_16_64_8_d.9	FAIL	900.99
Adder2-8-s	FAIL	900.99
comp.blif_0.10_0.20_0_0_out_exact	FAIL	900.99
mutex-128-s	FAIL	900.99
ncf_16_64_8_u.5	FAIL	900.99
robots_1_5_3_100.4	FAIL	900.99
robots_1_5_3_52.4	FAIL	900.99
ev-pr-4x4-15-3-0-0-1-lg	FAIL	900.99
4qbf-5cnf-160var-1280cl.6	FAIL	900.99
ncf_8_16_4_edau.7	FAIL	900.99
ncf_4_32_2_euad.1	FAIL	900.99
Adder2-14-c	FAIL	900.99
ncf_8_64_8_euad.3	FAIL	900.99
2qbf-5cnf-80var-640cl.3	FAIL	900.99
ncf_16_32_4_d.10	FAIL	900.99
ncf_16_128_4_u.10	FAIL	900.99
robots_1_5_2_2.4	FAIL	900.99
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	900.99
1qbf-5cnf-80var-2560cl.4	FAIL	900.99
2qbf-5cnf-40var-160cl.5	FAIL	901
4qbf-5cnf-80var-320cl.9	FAIL	901
6qbf-5cnf-80var-2560cl.9	FAIL	901
ncf_8_32_4_euad.2	FAIL	901
robots_1_5_5_50.8	FAIL	901
ncf_4_16_4_u.10	FAIL	901
ncf_8_64_2_euad.1	FAIL	901
term1.blif_0.10_1.00_0_0_out_exact	FAIL	901
ncf_16_64_4_d.9	FAIL	901
robots_1_5_5_66.8	FAIL	901
robots_1_5_5_95.8	FAIL	901
robots_1_5_5_99.8	FAIL	901
counter_re_32	FAIL	901
robots_1_5_5_100.8	FAIL	901
qshifter_8	FAIL	901
lut4_2_f2	FAIL	901
adder-14-sat	FAIL	901
counter_8	FAIL	901
5qbf-5cnf-40var-1280cl.7	FAIL	901
ncf_4_32_8_euad.8	FAIL	901
6qbf-5cnf-40var-640cl.9	FAIL	901
ncf_8_32_4_d.6	FAIL	901
ncf_8_64_4_u.7	FAIL	901
ncf_8_64_8_euad.2	FAIL	901
6qbf-5cnf-160var-5120cl.8	FAIL	901
ncf_16_32_2_u.5	FAIL	901
ncf_16_64_4_edau.7	FAIL	901
ncf_4_16_2_euad.8	FAIL	901
ncf_4_32_2_d.1	FAIL	901
ncf_16_64_8_u.1	FAIL	901
2qbf-5cnf-80var-320cl.1	FAIL	901
3qbf-5cnf-80var-1280cl.0	FAIL	901
ncf_16_64_8_euad.6	FAIL	901
k_lin_n-16	FAIL	901
tree-exa10-30	FAIL	901
ncf_16_128_2_d.1	FAIL	901
ncf_16_128_8_u.2	FAIL	901
ncf_8_16_8_u.5	FAIL	901
ncf_8_16_4_u.9	FAIL	901
ncf_16_128_8_euad.7	FAIL	901
ncf_4_32_2_d.4	FAIL	901
adder-10-sat	FAIL	901
ncf_4_32_2_edau.5	FAIL	901
ncf_4_32_8_edau.8	FAIL	901
ncf_16_32_4_edau.1	FAIL	901
k_grz_p-16	FAIL	901
ncf_4_32_2_euad.6	FAIL	901
ncf_8_32_4_edau.5	FAIL	901
ncf_8_16_4_euad.3	FAIL	901
ncf_8_32_4_edau.3	FAIL	901
4qbf-5cnf-40var-640cl.1	FAIL	901
ncf_4_32_4_u.5	FAIL	901
ncf_8_64_8_euad.4	FAIL	901
ncf_16_32_2_d.10	FAIL	901
adder-6-sat	FAIL	901
ncf_4_16_4_d.5	FAIL	901
ncf_4_32_2_edau.1	FAIL	901
4qbf-5cnf-80var-640cl.6	FAIL	901
6qbf-5cnf-160var-1280cl.5	FAIL	901
ncf_4_16_8_u.6	FAIL	901
k_path_p-16	FAIL	901
s499_d16_s	FAIL	901
tree-exa2-45	FAIL	901
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	901
6qbf-5cnf-80var-2560cl.5	FAIL	901
ncf_4_32_2_euad.7	FAIL	901
ncf_8_16_8_u.3	FAIL	901
ncf_8_64_2_edau.6	FAIL	901
ncf_8_32_2_edau.1	FAIL	901
ncf_16_128_2_u.2	FAIL	901
s820_d10_s	FAIL	901
2qbf-5cnf-80var-640cl.6	FAIL	901
ncf_8_32_4_d.8	FAIL	901
C880.blif_0.10_0.20_0_1_out_exact	FAIL	901
3qbf-5cnf-160var-2560cl.0	FAIL	901
4qbf-5cnf-80var-1280cl.7	FAIL	901
2qbf-5cnf-40var-320cl.8	FAIL	901
counter_16	FAIL	901
ncf_8_32_2_euad.8	FAIL	901
ncf_16_32_4_d.7	FAIL	901
ncf_16_64_2_d.3	FAIL	901
ncf_16_64_4_d.3	FAIL	901
ncf_16_32_8_euad.1	FAIL	901
ncf_4_16_8_edau.5	FAIL	901
ncf_8_64_4_d.2	FAIL	901
ncf_8_64_8_u.10	FAIL	901
ncf_8_64_4_d.3	FAIL	901
2qbf-5cnf-40var-160cl.9	FAIL	901
ncf_16_128_4_edau.9	FAIL	901
ncf_8_64_8_edau.8	FAIL	901
ncf_8_32_2_euad.3	FAIL	901
counter_r_32	FAIL	901
ncf_8_32_2_edau.9	FAIL	901
ncf_8_16_8_euad.3	FAIL	901
comp.blif_0.10_1.00_0_0_inp_exact	FAIL	901
lut4_3_fAND	FAIL	901
BLOCKS3i.5.4	FAIL	901
C432.blif_0.10_1.00_0_0_out_exact	FAIL	901
ncf_4_32_4_euad.9	FAIL	901
ncf_4_32_8_u.5	FAIL	901
k_branch_n-12	FAIL	901
ncf_8_16_8_euad.10	FAIL	901
ncf_8_32_8_edau.4	FAIL	901
ncf_8_32_8_u.6	FAIL	901
ncf_8_64_4_d.9	FAIL	901
6qbf-5cnf-160var-2560cl.1	FAIL	901
ncf_16_128_8_euad.10	FAIL	901
ncf_4_16_8_u.3	FAIL	901
ncf_8_32_8_d.2	FAIL	901
ncf_16_32_4_d.4	FAIL	901
4qbf-5cnf-160var-640cl.9	FAIL	901
ncf_16_128_2_euad.9	FAIL	901
4qbf-5cnf-160var-640cl.4	FAIL	901
s713_d2_s	FAIL	901
ncf_16_64_2_edau.6	FAIL	901
ncf_4_32_2_u.7	FAIL	901
4qbf-5cnf-80var-1280cl.5	FAIL	901
ncf_16_32_8_edau.8	FAIL	901
ncf_16_64_8_u.8	FAIL	901
ncf_8_64_2_d.3	FAIL	901
ncf_16_64_8_d.7	FAIL	901
ncf_16_64_8_u.10	FAIL	901
ncf_16_128_2_u.8	FAIL	901
ncf_8_32_2_u.7	FAIL	901
k_d4_n-21	FAIL	901
2qbf-5cnf-160var-640cl.2	FAIL	901
ncf_4_32_2_euad.4	FAIL	901
ncf_16_64_2_edau.3	FAIL	901
ncf_16_128_8_u.3	FAIL	901
ncf_16_64_2_euad.7	FAIL	901
adder-14-unsat	FAIL	901
s27_d5_u	FAIL	901
5qbf-5cnf-160var-5120cl.8	FAIL	901
ncf_4_32_8_euad.3	FAIL	901
ncf_8_32_4_d.4	FAIL	901
ncf_16_32_4_u.5	FAIL	901
6qbf-5cnf-40var-1280cl.0	FAIL	901
ncf_16_128_4_u.9	FAIL	901
ncf_8_32_4_d.9	FAIL	901
6qbf-5cnf-80var-640cl.5	FAIL	901
ncf_16_64_2_u.1	FAIL	901
ncf_4_32_8_edau.6	FAIL	901
ncf_16_64_8_edau.8	FAIL	901
3qbf-5cnf-40var-640cl.5	FAIL	901
2qbf-5cnf-160var-320cl.8	FAIL	901
ncf_4_32_8_d.2	FAIL	901
ncf_8_32_2_u.9	FAIL	901
3qbf-5cnf-160var-2560cl.5	FAIL	901
ncf_8_64_4_edau.6	FAIL	901
ncf_4_32_4_edau.6	FAIL	901
BLOCKS3ii.5.2	FAIL	901
4qbf-5cnf-160var-2560cl.7	FAIL	901
2qbf-5cnf-160var-320cl.0	FAIL	901
3qbf-5cnf-80var-1280cl.4	FAIL	901
ncf_8_64_2_edau.2	FAIL	901
Adder2-12-c	FAIL	901
robots_1_5_2_21.4	FAIL	901
robots_1_5_2_85.4	FAIL	901
robots_1_5_2_54.8	FAIL	901
test2_quant_squaring2	FAIL	901
ncf_16_64_8_euad.9	FAIL	901
4qbf-5cnf-160var-2560cl.8	FAIL	901
ncf_4_32_8_edau.7	FAIL	901
ncf_16_64_4_d.6	FAIL	901
s386_d2_s	FAIL	901
s386_d7_s	FAIL	901
s3330_d4_s	FAIL	901
ncf_4_16_8_d.6	FAIL	901
4qbf-5cnf-80var-320cl.1	FAIL	901
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	901
ncf_4_8_8_edau.5	FAIL	901
ncf_4_16_8_d.3	FAIL	901
ncf_8_32_2_d.1	FAIL	901
ncf_8_64_4_u.5	FAIL	901
ncf_16_128_8_euad.2	FAIL	901
6qbf-5cnf-80var-1280cl.1	FAIL	901
ncf_16_64_2_edau.7	FAIL	901
3qbf-5cnf-80var-1280cl.6	FAIL	901
6qbf-5cnf-40var-640cl.5	FAIL	901
4qbf-5cnf-80var-1280cl.3	FAIL	901
ncf_8_16_8_edau.9	FAIL	901
4qbf-5cnf-80var-2560cl.5	FAIL	901
counter_32	FAIL	901
ncf_8_16_8_euad.9	FAIL	901
ncf_8_32_4_d.2	FAIL	901
ncf_4_16_4_u.3	FAIL	901
ncf_16_64_4_euad.4	FAIL	901
ncf_4_16_4_edau.10	FAIL	901
ncf_16_128_2_d.10	FAIL	901
adder-16-sat	FAIL	901
ncf_4_32_2_edau.7	FAIL	901
ncf_8_16_8_d.4	FAIL	901
2qbf-5cnf-80var-640cl.4	FAIL	901
3qbf-5cnf-80var-1280cl.5	FAIL	901
4qbf-5cnf-80var-1280cl.6	FAIL	901
5qbf-5cnf-40var-640cl.5	FAIL	901
ncf_4_32_8_u.10	FAIL	901
ncf_8_32_4_d.5	FAIL	901
ncf_4_16_8_u.2	FAIL	901
ncf_16_32_8_edau.6	FAIL	901
ncf_8_16_4_edau.9	FAIL	901
5qbf-5cnf-80var-1280cl.9	FAIL	901
test1_quant2	FAIL	901
ncf_8_32_4_euad.4	FAIL	901
ncf_8_32_4_euad.10	FAIL	901
3qbf-5cnf-160var-2560cl.1	FAIL	901
ncf_4_32_4_edau.2	FAIL	901
ncf_16_32_2_edau.4	FAIL	901
ncf_16_32_2_edau.5	FAIL	901
ncf_16_32_2_u.6	FAIL	901
2qbf-5cnf-160var-1280cl.1	FAIL	901
ncf_16_128_2_d.6	FAIL	901
k_path_n-8	FAIL	901
2qbf-5cnf-80var-320cl.5	FAIL	901
ncf_16_64_4_d.7	FAIL	901
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	901
3qbf-5cnf-160var-2560cl.9	FAIL	901
3qbf-5cnf-80var-1280cl.7	FAIL	901
6qbf-5cnf-80var-2560cl.1	FAIL	901
ncf_4_16_2_euad.1	FAIL	901
ncf_8_32_2_euad.4	FAIL	901
ncf_4_32_2_euad.8	FAIL	901
k_d4_n-16	FAIL	901
ncf_4_32_8_d.9	FAIL	901
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	901
5qbf-5cnf-160var-2560cl.5	FAIL	901
4qbf-5cnf-80var-2560cl.0	FAIL	901
ncf_4_16_8_d.7	FAIL	901
ncf_8_64_4_edau.2	FAIL	901
3qbf-5cnf-40var-640cl.6	FAIL	901
ncf_8_64_4_u.2	FAIL	901
3qbf-5cnf-160var-5120cl.5	FAIL	901
ncf_8_32_8_d.10	FAIL	901
ncf_8_64_2_u.8	FAIL	901
ncf_16_32_8_euad.8	FAIL	901
ncf_16_64_2_euad.4	FAIL	901
5qbf-5cnf-160var-5120cl.5	FAIL	901
ncf_16_128_2_u.1	FAIL	901
ncf_16_128_2_edau.2	FAIL	901
counter_r_4	FAIL	901
ncf_8_32_4_edau.1	FAIL	901
6qbf-5cnf-160var-5120cl.9	FAIL	901
4qbf-5cnf-160var-5120cl.3	FAIL	901
ncf_16_64_2_d.9	FAIL	901
ncf_16_128_2_d.9	FAIL	901
ncf_4_32_4_euad.6	FAIL	901
ncf_8_16_8_edau.3	FAIL	901
ev-pr-4x4-13-3-0-0-1-s	FAIL	901
ncf_4_16_8_euad.2	FAIL	901
ncf_16_64_4_edau.8	FAIL	901
ncf_16_128_8_edau.1	FAIL	901
3qbf-5cnf-160var-5120cl.9	FAIL	901
adder-10-unsat	FAIL	901
2qbf-5cnf-160var-640cl.8	FAIL	901
3qbf-5cnf-80var-1280cl.9	FAIL	901
ncf_4_8_8_euad.7	FAIL	901
ncf_4_16_8_d.9	FAIL	901
ncf_4_16_8_euad.3	FAIL	901
ncf_4_32_2_d.10	FAIL	901
ncf_4_32_4_d.2	FAIL	901
ncf_16_32_8_edau.7	FAIL	901
ncf_16_32_8_euad.10	FAIL	901
ncf_16_64_4_euad.7	FAIL	901
ncf_16_64_8_edau.3	FAIL	901
ev-pr-6x6-15-5-0-1-2-lg	FAIL	901
ncf_4_32_4_u.9	FAIL	901
ncf_16_64_8_u.9	FAIL	901
5qbf-5cnf-80var-1280cl.4	FAIL	901
6qbf-5cnf-40var-1280cl.6	FAIL	901
ncf_16_64_8_euad.10	FAIL	901
k_d4_n-12	FAIL	901
ncf_4_32_2_edau.3	FAIL	901
ncf_4_16_4_euad.4	FAIL	901
ncf_4_32_2_u.3	FAIL	901
3qbf-5cnf-160var-2560cl.7	FAIL	901
ncf_4_32_8_euad.5	FAIL	901
ncf_8_32_2_euad.5	FAIL	901
ncf_8_32_8_d.7	FAIL	901
counter_r_16	FAIL	901
3qbf-5cnf-80var-1280cl.1	FAIL	901
ncf_8_32_4_u.10	FAIL	901
4qbf-5cnf-80var-320cl.2	FAIL	901
BLOCKS3ii.5.3	FAIL	901
C432.blif_0.10_0.20_0_0_out_exact	FAIL	901
6qbf-5cnf-80var-2560cl.6	FAIL	901
5qbf-5cnf-160var-5120cl.6	FAIL	901
BLOCKS4iii.7	FAIL	901
ncf_8_64_2_d.6	FAIL	901
ncf_8_64_8_edau.1	FAIL	901
ncf_8_64_2_euad.6	FAIL	901
ncf_8_32_2_edau.2	FAIL	901
ncf_8_64_8_d.4	FAIL	901
5qbf-5cnf-40var-1280cl.6	FAIL	901
4qbf-5cnf-40var-640cl.5	FAIL	901
ncf_8_16_8_euad.4	FAIL	901
ncf_8_32_8_u.1	FAIL	901
k_t4p_n-8	FAIL	901
ncf_16_32_2_euad.6	FAIL	901
ncf_16_32_4_euad.9	FAIL	901
ncf_16_32_4_u.9	FAIL	901
s386_d8_u	FAIL	901
k_lin_p-16	FAIL	901
ncf_16_32_8_euad.3	FAIL	901
ncf_16_32_8_u.4	FAIL	901
test2_quant3	FAIL	901
ncf_16_32_8_u.10	FAIL	901
ncf_16_64_2_d.4	FAIL	901
ncf_16_128_2_edau.1	FAIL	901
ncf_16_64_2_d.8	FAIL	901
6qbf-5cnf-80var-2560cl.0	FAIL	901
ncf_4_32_4_u.2	FAIL	901
robots_1_5_3_44.8	FAIL	901
robots_1_5_3_64.8	FAIL	901
ncf_8_32_2_d.8	FAIL	901
ncf_16_128_2_u.4	FAIL	901
ncf_16_128_8_edau.3	FAIL	901
ncf_16_128_8_u.5	FAIL	901
6qbf-5cnf-160var-5120cl.2	FAIL	901
3qbf-5cnf-80var-2560cl.7	FAIL	901
4qbf-5cnf-80var-2560cl.1	FAIL	901
2qbf-5cnf-160var-1280cl.8	FAIL	901
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	901
4qbf-5cnf-40var-640cl.4	FAIL	901
ncf_8_16_4_u.3	FAIL	901
CHAIN23v.24	FAIL	901
6qbf-5cnf-160var-2560cl.2	FAIL	901
ncf_8_16_8_edau.7	FAIL	901
ncf_8_32_2_u.1	FAIL	901
Adder2-14-s	FAIL	901
ncf_8_32_4_d.7	FAIL	901
ncf_16_64_8_euad.8	FAIL	901
k_branch_p-4	FAIL	901
ncf_16_128_2_euad.10	FAIL	901
k_lin_p-8	FAIL	901
6qbf-5cnf-160var-5120cl.6	FAIL	901
2qbf-5cnf-80var-320cl.2	FAIL	901
2qbf-5cnf-80var-640cl.5	FAIL	901
2qbf-5cnf-160var-1280cl.4	FAIL	901
ncf_16_32_4_u.8	FAIL	901
ncf_8_64_4_edau.1	FAIL	901
ncf_4_32_8_u.1	FAIL	901
ncf_16_64_2_edau.4	FAIL	901
ncf_16_128_8_u.7	FAIL	901
ncf_16_128_4_edau.3	FAIL	901
ncf_16_128_8_u.8	FAIL	901
2qbf-5cnf-160var-1280cl.2	FAIL	901
4qbf-5cnf-80var-2560cl.6	FAIL	901
ncf_8_16_4_euad.7	FAIL	901
2qbf-5cnf-80var-320cl.7	FAIL	901
ncf_8_64_2_u.6	FAIL	901
ncf_4_32_4_edau.9	FAIL	901
ncf_16_64_2_u.10	FAIL	901
ncf_16_64_2_u.4	FAIL	901
ncf_4_32_4_euad.1	FAIL	901
ncf_4_32_2_euad.9	FAIL	901
5qbf-5cnf-80var-1280cl.6	FAIL	901
ncf_16_128_4_edau.10	FAIL	901
5qbf-5cnf-160var-2560cl.0	FAIL	901
ncf_8_32_4_u.8	FAIL	901
ncf_16_32_4_euad.6	FAIL	901
ncf_8_32_2_edau.10	FAIL	901
4qbf-5cnf-80var-640cl.9	FAIL	901
ncf_8_32_8_edau.9	FAIL	901
ncf_8_32_4_euad.9	FAIL	901
ncf_16_64_2_u.8	FAIL	901
2qbf-5cnf-160var-1280cl.0	FAIL	901
4qbf-5cnf-40var-640cl.2	FAIL	901
robots_1_5_2_45.4	FAIL	901
ncf_8_32_4_u.6	FAIL	901
ncf_16_32_2_u.1	FAIL	901
ncf_8_32_8_euad.10	FAIL	901
ncf_16_32_2_u.8	FAIL	901
BLOCKS3i.4.4	FAIL	901
ncf_16_32_4_d.8	FAIL	901
ncf_16_32_8_d.8	FAIL	901
ncf_4_16_8_edau.3	FAIL	901
ncf_16_64_2_edau.8	FAIL	901
ncf_8_32_4_u.9	FAIL	901
ncf_16_64_2_euad.8	FAIL	901
ncf_16_32_2_edau.2	FAIL	901
ncf_16_64_2_u.5	FAIL	901
ncf_16_64_2_u.6	FAIL	901
ncf_16_64_4_euad.10	FAIL	901
ncf_16_32_8_u.7	FAIL	901
5qbf-5cnf-40var-1280cl.3	FAIL	901
ncf_16_64_2_u.2	FAIL	901
ncf_16_32_4_edau.3	FAIL	901
ncf_8_16_4_d.3	FAIL	901
3qbf-5cnf-160var-5120cl.7	FAIL	901
ncf_8_32_2_euad.7	FAIL	901
4qbf-5cnf-80var-2560cl.8	FAIL	901
ncf_8_64_4_euad.4	FAIL	901
4qbf-5cnf-80var-640cl.8	FAIL	901
ncf_16_128_4_euad.5	FAIL	901
4qbf-5cnf-160var-5120cl.4	FAIL	901
k_poly_n-16	FAIL	901
2qbf-5cnf-80var-320cl.8	FAIL	901
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	901
ncf_4_16_4_d.6	FAIL	901
ncf_8_16_8_d.2	FAIL	901
ncf_8_32_4_euad.3	FAIL	901
ncf_8_32_8_euad.1	FAIL	901
k_t4p_p-16	FAIL	901
ncf_8_64_4_euad.8	FAIL	901
test3_quant4	FAIL	901
k_d4_p-12	FAIL	901
3qbf-5cnf-80var-2560cl.1	FAIL	901
ncf_4_32_2_u.10	FAIL	901
ncf_4_32_4_edau.5	FAIL	901
ncf_8_32_4_edau.4	FAIL	901
ncf_16_64_4_euad.1	FAIL	901
ncf_16_64_4_d.1	FAIL	901
lut4_AND_f1	FAIL	901
s298_d8_s	FAIL	901
ncf_4_32_4_euad.10	FAIL	901
ncf_16_32_8_edau.9	FAIL	901
4qbf-5cnf-160var-2560cl.1	FAIL	901
tree-exa2-50	FAIL	901
ncf_4_32_4_u.7	FAIL	901
ncf_8_64_4_euad.2	FAIL	901
ncf_4_32_4_euad.7	FAIL	901
ncf_16_32_8_euad.2	FAIL	901
ncf_16_128_4_u.4	FAIL	901
ncf_4_32_4_edau.10	FAIL	901
ncf_8_64_2_edau.4	FAIL	901
robots_1_5_3_39.8	FAIL	901
ncf_4_8_8_u.7	FAIL	901
5qbf-5cnf-40var-640cl.9	FAIL	901
2qbf-5cnf-160var-640cl.4	FAIL	901
robots_1_5_2_99.4	FAIL	901
robots_1_5_3_90.8	FAIL	901
ncf_4_16_2_u.8	FAIL	901
3qbf-5cnf-160var-5120cl.0	FAIL	901
6qbf-5cnf-80var-1280cl.0	FAIL	901
ncf_4_32_4_u.8	FAIL	901
4qbf-5cnf-160var-5120cl.5	FAIL	901
ncf_8_64_2_u.9	FAIL	901
ncf_8_64_4_euad.9	FAIL	901
ncf_16_64_4_edau.3	FAIL	901
counter_re_8	FAIL	901
s1196_d3_u	FAIL	901
ncf_4_16_2_u.1	FAIL	901
ncf_4_16_4_u.1	FAIL	901
ncf_8_64_4_d.4	FAIL	901
5qbf-5cnf-160var-2560cl.4	FAIL	901
ncf_16_64_2_u.9	FAIL	901
lut4_AND_fXOR	FAIL	901
ncf_16_64_8_edau.5	FAIL	901
ncf_16_64_4_edau.4	FAIL	901
ncf_8_64_8_euad.5	FAIL	901
ncf_8_32_2_u.5	FAIL	901
k_grz_p-21	FAIL	901
ncf_16_32_2_euad.4	FAIL	901
ncf_8_32_8_edau.3	FAIL	901
robots_1_5_2_80.4	FAIL	901
robots_1_5_2_100.8	FAIL	901
3qbf-5cnf-40var-640cl.2	FAIL	901
ncf_4_32_4_euad.8	FAIL	901
ncf_8_64_2_u.3	FAIL	901
ncf_8_32_4_d.3	FAIL	901
robots_1_5_4_91.8	FAIL	901
ncf_8_16_4_euad.9	FAIL	901
ncf_4_32_2_u.6	FAIL	901
ncf_16_128_2_edau.7	FAIL	901
mutex-16-s	FAIL	901
ncf_16_128_4_euad.2	FAIL	901
2qbf-5cnf-160var-320cl.1	FAIL	901
robots_1_5_3_100.8	FAIL	901
k_t4p_p-20	FAIL	901
4qbf-5cnf-40var-640cl.3	FAIL	901
ncf_4_16_4_edau.5	FAIL	901
2qbf-5cnf-80var-640cl.0	FAIL	901
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	901
ncf_8_64_2_euad.10	FAIL	901
ncf_16_64_4_edau.6	FAIL	901
ncf_8_32_8_euad.4	FAIL	901
ev-pr-4x4-17-3-0-0-1-lg	FAIL	901
4qbf-5cnf-160var-2560cl.2	FAIL	901
5qbf-5cnf-160var-2560cl.9	FAIL	901
ncf_16_64_2_edau.10	FAIL	901
6qbf-5cnf-80var-1280cl.6	FAIL	901
6qbf-5cnf-80var-640cl.6	FAIL	901
ncf_8_32_8_edau.2	FAIL	901
ncf_8_64_2_euad.5	FAIL	901
ncf_16_128_8_d.10	FAIL	901
k_t4p_p-12	FAIL	901
4qbf-5cnf-80var-1280cl.1	FAIL	901
6qbf-5cnf-40var-640cl.6	FAIL	901
6qbf-5cnf-160var-2560cl.8	FAIL	901
ncf_8_32_2_euad.2	FAIL	901
ncf_4_32_8_euad.4	FAIL	901
ncf_16_128_4_d.3	FAIL	901
6qbf-5cnf-80var-640cl.9	FAIL	901
3qbf-5cnf-80var-1280cl.3	FAIL	901
ncf_8_64_2_euad.2	FAIL	901
2qbf-5cnf-40var-160cl.0	FAIL	901
4qbf-5cnf-160var-1280cl.3	FAIL	901
ncf_4_16_8_edau.7	FAIL	901
k_t4p_p-21	FAIL	901
ncf_16_32_2_d.6	FAIL	901
ncf_16_32_8_u.2	FAIL	901
3qbf-5cnf-160var-2560cl.2	FAIL	901
ncf_4_32_8_d.8	FAIL	901
ncf_8_32_2_edau.8	FAIL	901
robots_1_5_5_12.8	FAIL	901
test3_quant_squaring4	FAIL	901
ncf_16_32_2_d.5	FAIL	901
5qbf-5cnf-40var-1280cl.4	FAIL	901
ncf_8_32_2_u.4	FAIL	901
ncf_16_128_4_u.6	FAIL	901
ncf_16_32_2_euad.1	FAIL	901
ncf_8_32_8_edau.1	FAIL	901
6qbf-5cnf-40var-640cl.7	FAIL	901
ncf_4_16_8_euad.1	FAIL	901
ncf_8_32_8_d.8	FAIL	901
3qbf-5cnf-160var-1280cl.2	FAIL	901
4qbf-5cnf-160var-2560cl.6	FAIL	901
ncf_16_32_2_euad.5	FAIL	901
3qbf-5cnf-160var-2560cl.6	FAIL	901
4qbf-5cnf-80var-640cl.0	FAIL	901
ncf_4_32_4_edau.7	FAIL	901
ncf_8_32_8_u.5	FAIL	901
6qbf-5cnf-40var-640cl.3	FAIL	901
counter_e_32	FAIL	901
ncf_8_16_8_euad.6	FAIL	901
ncf_8_32_2_euad.10	FAIL	901
ncf_8_64_2_u.4	FAIL	901
ncf_4_16_4_u.4	FAIL	901
2qbf-5cnf-40var-160cl.8	FAIL	901
ncf_4_16_4_euad.3	FAIL	901
ncf_4_32_8_euad.7	FAIL	901
ncf_8_32_2_euad.1	FAIL	901
ncf_8_32_8_d.5	FAIL	901
k_branch_n-4	FAIL	901
ncf_8_64_8_d.2	FAIL	901
ncf_8_64_8_d.7	FAIL	901
ncf_16_32_2_euad.2	FAIL	901
ncf_16_32_8_euad.6	FAIL	901
ncf_16_64_2_euad.9	FAIL	901
ncf_16_32_2_euad.3	FAIL	901
ncf_16_64_4_edau.1	FAIL	901
ncf_16_64_8_u.2	FAIL	901
ncf_8_32_2_edau.4	FAIL	901
ncf_16_128_2_edau.4	FAIL	901
ncf_16_64_2_euad.3	FAIL	901
2qbf-5cnf-40var-320cl.7	FAIL	901
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	901
ncf_8_64_4_edau.7	FAIL	901
k_lin_n-21	FAIL	901
ncf_4_16_4_d.3	FAIL	901
ncf_4_16_8_edau.10	FAIL	901
ncf_8_64_8_edau.7	FAIL	901
ncf_8_64_8_u.8	FAIL	901
ncf_4_8_8_euad.5	FAIL	901
ncf_16_128_2_u.7	FAIL	901
ncf_16_128_4_euad.1	FAIL	901
6qbf-5cnf-160var-2560cl.9	FAIL	901
test5_quant_squaring5	FAIL	901
ncf_8_64_4_euad.10	FAIL	901
ncf_8_32_4_u.1	FAIL	901
ncf_16_32_8_d.3	FAIL	901
ncf_8_64_2_d.5	FAIL	901
counter_r_8	FAIL	901
5qbf-5cnf-80var-1280cl.5	FAIL	901
k_d4_n-4	FAIL	901
ncf_4_32_2_d.8	FAIL	901
ncf_8_32_2_euad.9	FAIL	901
ncf_8_64_2_euad.8	FAIL	901
test1_quant3	FAIL	901
ncf_8_32_4_euad.5	FAIL	901
ncf_8_64_4_u.9	FAIL	901
ncf_16_32_8_u.3	FAIL	901
adder-12-sat	FAIL	901
ncf_16_32_4_euad.4	FAIL	901
ncf_4_32_2_edau.8	FAIL	901
ncf_16_64_4_d.4	FAIL	901
ncf_16_128_2_edau.3	FAIL	901
counter_4	FAIL	901
ncf_16_128_8_euad.6	FAIL	901
k_poly_p-16	FAIL	901
ncf_8_32_4_u.3	FAIL	901
ncf_16_128_8_euad.8	FAIL	901
6qbf-5cnf-80var-2560cl.4	FAIL	901
4qbf-5cnf-40var-640cl.0	FAIL	901
ncf_8_64_8_d.9	FAIL	901
ncf_8_16_8_edau.8	FAIL	901
4qbf-5cnf-160var-2560cl.4	FAIL	901
6qbf-5cnf-40var-1280cl.9	FAIL	901
6qbf-5cnf-160var-1280cl.7	FAIL	901
ncf_8_16_8_edau.4	FAIL	901
ncf_16_32_8_edau.3	FAIL	901
5qbf-5cnf-160var-5120cl.2	FAIL	901
s499_d2_s	FAIL	901
ncf_4_32_8_d.10	FAIL	901
ncf_4_16_8_euad.9	FAIL	901
ncf_8_16_4_edau.4	FAIL	901
BLOCKS3iii.4	FAIL	901
2qbf-5cnf-160var-1280cl.7	FAIL	901
ncf_16_128_2_u.9	FAIL	901
4qbf-5cnf-160var-1280cl.8	FAIL	901
k_dum_n-20	FAIL	901
k_path_p-21	FAIL	901
3qbf-5cnf-160var-5120cl.3	FAIL	901
4qbf-5cnf-160var-5120cl.1	FAIL	901
ncf_4_32_2_d.6	FAIL	901
ncf_4_32_8_u.8	FAIL	901
k_dum_p-12	FAIL	901
6qbf-5cnf-40var-640cl.8	FAIL	901
ncf_16_32_2_edau.1	FAIL	901
2qbf-5cnf-160var-320cl.4	FAIL	901
2qbf-5cnf-40var-160cl.4	FAIL	901
ncf_4_32_2_euad.10	FAIL	901
ncf_16_32_4_edau.4	FAIL	901
ncf_16_32_4_edau.5	FAIL	901
6qbf-5cnf-160var-1280cl.1	FAIL	901
ncf_16_32_8_d.5	FAIL	901
ncf_16_32_8_u.6	FAIL	901
ncf_16_64_4_d.8	FAIL	901
6qbf-5cnf-80var-1280cl.7	FAIL	901
ncf_4_32_2_u.9	FAIL	901
ncf_16_32_4_euad.7	FAIL	901
ncf_4_32_4_edau.8	FAIL	901
4qbf-5cnf-160var-5120cl.9	FAIL	901
ncf_4_32_8_euad.2	FAIL	901
ncf_16_32_4_u.1	FAIL	901
ncf_16_64_8_u.6	FAIL	901
ncf_16_128_4_edau.8	FAIL	901
6qbf-5cnf-40var-1280cl.2	FAIL	901
ncf_4_8_8_edau.10	FAIL	901
ncf_4_32_2_edau.2	FAIL	901
ncf_8_64_4_d.10	FAIL	901
ncf_4_32_4_d.1	FAIL	901
ncf_8_32_4_u.2	FAIL	901
ncf_16_32_2_d.3	FAIL	901
ncf_4_32_4_d.10	FAIL	901
ncf_16_32_4_edau.9	FAIL	901
ncf_8_64_2_edau.1	FAIL	901
ncf_8_64_8_d.10	FAIL	901
2qbf-5cnf-80var-320cl.6	FAIL	901
2qbf-5cnf-160var-1280cl.6	FAIL	901
toilet_a_10_01.16	FAIL	901
ncf_16_32_4_edau.2	FAIL	901
ncf_16_128_4_euad.8	FAIL	901
2qbf-5cnf-160var-320cl.6	FAIL	901
ncf_4_8_8_euad.2	FAIL	901
ncf_8_16_8_d.5	FAIL	901
ncf_8_64_8_euad.10	FAIL	901
s510_d8_s	FAIL	901
counter_re_16	FAIL	901
5qbf-5cnf-160var-2560cl.7	FAIL	901
ncf_8_32_4_euad.6	FAIL	901
ncf_8_32_8_u.4	FAIL	901
C432.blif_0.10_1.00_0_0_inp_exact	FAIL	901
4qbf-5cnf-80var-320cl.8	FAIL	901
4qbf-5cnf-160var-1280cl.4	FAIL	901
ncf_16_128_2_euad.8	FAIL	901
ncf_16_128_2_edau.9	FAIL	901
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	901
k_dum_p-16	FAIL	901
k_poly_p-12	FAIL	901
s27_d3_u	FAIL	901
ncf_4_32_4_edau.3	FAIL	901
4qbf-5cnf-160var-1280cl.7	FAIL	901
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	901
ncf_4_16_8_edau.1	FAIL	901
ncf_8_16_8_u.6	FAIL	901
ncf_8_32_2_d.2	FAIL	901
lut4_2_f1	FAIL	901
ncf_16_64_4_d.10	FAIL	901
k_grz_p-20	FAIL	901
5qbf-5cnf-80var-1280cl.1	FAIL	901
C880.blif_0.10_0.20_0_0_out_exact	FAIL	901
ncf_8_32_2_d.4	FAIL	901
ncf_16_32_8_edau.5	FAIL	901
ncf_8_32_8_euad.8	FAIL	901
ncf_8_64_4_euad.6	FAIL	901
ncf_16_64_4_u.5	FAIL	901
ncf_4_16_4_edau.4	FAIL	901
test4_quant_squaring4	FAIL	901
ev-pr-4x4-5-3-0-0-1-s	FAIL	901
6qbf-5cnf-160var-2560cl.3	FAIL	901
ncf_4_32_8_edau.5	FAIL	901
ncf_8_32_8_d.9	FAIL	901
k_lin_p-20	FAIL	901
ncf_4_32_2_edau.4	FAIL	901
ncf_16_128_8_d.7	FAIL	901
ncf_8_16_4_u.7	FAIL	901
4qbf-5cnf-160var-1280cl.2	FAIL	901
ncf_16_128_4_u.5	FAIL	901
2qbf-5cnf-160var-1280cl.5	FAIL	901
ncf_16_64_8_euad.1	FAIL	901
ncf_16_64_8_edau.7	FAIL	901
adder-12-unsat	FAIL	901
ncf_16_32_4_euad.5	FAIL	901
6qbf-5cnf-80var-1280cl.4	FAIL	901
s510_d4_s	FAIL	901
5qbf-5cnf-80var-1280cl.8	FAIL	901
C499.blif_0.10_0.20_0_0_out_exact	FAIL	901
k_grz_n-20	FAIL	901
s298_d18_s	FAIL	901
4qbf-5cnf-160var-640cl.7	FAIL	901
2qbf-5cnf-160var-640cl.7	FAIL	901
ncf_4_32_4_euad.2	FAIL	901
k_path_n-21	FAIL	901
ncf_4_16_4_u.6	FAIL	901
Adder2-6-c	FAIL	901
4qbf-5cnf-80var-1280cl.2	FAIL	901
ncf_8_32_2_d.3	FAIL	901
ncf_8_32_8_euad.2	FAIL	901
ncf_4_16_8_edau.4	FAIL	901
ncf_8_32_8_d.4	FAIL	901
ncf_4_8_8_u.2	FAIL	901
ncf_8_32_8_euad.6	FAIL	901
ncf_4_32_4_euad.5	FAIL	901
ncf_8_64_2_edau.8	FAIL	901
ncf_8_64_2_d.8	FAIL	901
ncf_8_32_8_edau.7	FAIL	901
ncf_8_64_2_u.10	FAIL	901
ncf_8_64_4_euad.1	FAIL	901
ncf_16_64_8_euad.7	FAIL	901
ncf_16_128_2_u.10	FAIL	901
ncf_8_64_2_d.7	FAIL	901
ncf_16_128_4_euad.3	FAIL	901
ncf_16_128_8_u.4	FAIL	901
3qbf-5cnf-160var-5120cl.4	FAIL	901
ncf_16_128_8_edau.10	FAIL	901
ncf_16_32_2_edau.10	FAIL	901
ncf_8_32_2_u.3	FAIL	901
k_grz_n-21	FAIL	901
2qbf-5cnf-160var-1280cl.9	FAIL	901
6qbf-5cnf-80var-1280cl.9	FAIL	901
ncf_16_32_2_u.3	FAIL	901
adder-16-unsat	FAIL	901
ncf_16_128_2_edau.10	FAIL	901
ncf_16_64_2_d.10	FAIL	901
ncf_16_64_8_d.2	FAIL	901
ncf_16_64_4_u.1	FAIL	901
ncf_4_32_4_edau.4	FAIL	901
test1_quant_squaring2	FAIL	901
ncf_8_64_2_edau.10	FAIL	901
ncf_16_128_4_euad.7	FAIL	901
k_path_n-16	FAIL	901
ncf_8_64_8_edau.2	FAIL	901
k_poly_p-8	FAIL	901
3qbf-5cnf-40var-640cl.0	FAIL	901
2qbf-5cnf-80var-640cl.1	FAIL	901
ncf_4_16_2_euad.3	FAIL	901
ncf_4_32_4_d.9	FAIL	901
ncf_8_16_8_u.9	FAIL	901
ncf_8_16_8_euad.5	FAIL	901
3qbf-5cnf-80var-1280cl.8	FAIL	901
s298_d2_s	FAIL	901
2qbf-5cnf-160var-640cl.9	FAIL	901
ncf_8_64_8_d.8	FAIL	901
ncf_16_32_2_u.4	FAIL	901
ncf_16_32_4_d.2	FAIL	901
4qbf-5cnf-160var-640cl.2	FAIL	901
ncf_16_128_2_euad.4	FAIL	901
4qbf-5cnf-80var-1280cl.8	FAIL	901
ncf_16_64_8_euad.2	FAIL	901
ncf_8_64_4_d.1	FAIL	901
robots_1_5_3_16.4	FAIL	901
4qbf-5cnf-160var-1280cl.1	FAIL	901
ncf_4_32_8_d.4	FAIL	901
ncf_8_16_8_d.3	FAIL	901
k_dum_n-21	FAIL	901
ncf_16_32_8_d.4	FAIL	901
5qbf-5cnf-160var-5120cl.9	FAIL	901
6qbf-5cnf-80var-2560cl.2	FAIL	901
ncf_4_32_2_u.5	FAIL	901
ncf_16_32_8_edau.10	FAIL	901
ncf_8_64_2_d.2	FAIL	901
comp.blif_0.10_1.00_0_0_out_exact	FAIL	901
ncf_8_32_4_u.4	FAIL	901
ncf_8_32_4_u.5	FAIL	901
k_path_n-4	FAIL	901
5qbf-5cnf-40var-640cl.4	FAIL	901
6qbf-5cnf-160var-2560cl.0	FAIL	901
6qbf-5cnf-160var-2560cl.6	FAIL	901
ncf_4_32_8_d.5	FAIL	901
ncf_16_32_8_d.1	FAIL	901
adder-4-unsat	FAIL	901
ncf_16_32_8_d.10	FAIL	901
k_poly_n-21	FAIL	901
5qbf-5cnf-40var-1280cl.5	FAIL	901
ncf_8_64_4_u.6	FAIL	901
ncf_16_64_2_edau.9	FAIL	901
ncf_4_16_8_d.2	FAIL	901
ncf_16_64_8_d.1	FAIL	901
s3330_d2_s	FAIL	901
ncf_16_128_8_edau.8	FAIL	901
ncf_4_16_4_euad.7	FAIL	901
k_d4_p-8	FAIL	901
2qbf-5cnf-160var-640cl.0	FAIL	901
robots_1_5_3_66.4	FAIL	901
ncf_16_64_2_d.2	FAIL	901
5qbf-5cnf-80var-2560cl.0	FAIL	901
5qbf-5cnf-160var-2560cl.1	FAIL	901
s820_d4_s	FAIL	901
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	901
ncf_8_32_2_euad.6	FAIL	901
ncf_16_64_2_edau.5	FAIL	901
uclid-pipe3b	FAIL	901
ncf_16_128_2_euad.5	FAIL	901
ncf_4_16_4_edau.1	FAIL	901
k_dum_n-12	FAIL	901
ncf_8_32_8_u.3	FAIL	901
ncf_4_32_2_u.2	FAIL	901
ncf_16_32_4_euad.1	FAIL	901
2qbf-5cnf-40var-320cl.5	FAIL	901
ncf_16_32_4_d.3	FAIL	901
ncf_4_16_8_u.5	FAIL	901
ncf_8_64_8_d.6	FAIL	901
ncf_16_128_2_d.7	FAIL	901
robots_1_5_4_100.8	FAIL	901
2qbf-5cnf-80var-640cl.7	FAIL	901
6qbf-5cnf-40var-1280cl.7	FAIL	901
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	901
ncf_4_8_8_edau.7	FAIL	901
ncf_4_32_4_d.8	FAIL	901
ncf_8_16_4_edau.3	FAIL	901
ncf_16_32_4_edau.6	FAIL	901
6qbf-5cnf-160var-1280cl.8	FAIL	901
ncf_4_16_8_u.1	FAIL	901
ncf_8_16_8_euad.2	FAIL	901
ncf_8_32_4_u.7	FAIL	901
ncf_8_64_4_euad.5	FAIL	901
2qbf-5cnf-80var-640cl.2	FAIL	901
ncf_4_16_4_d.4	FAIL	901
ncf_8_32_4_edau.2	FAIL	901
ncf_16_32_4_edau.8	FAIL	901
ncf_16_128_4_u.8	FAIL	901
ncf_4_32_2_edau.9	FAIL	901
s1269_d2_s	FAIL	901
ncf_4_16_8_edau.6	FAIL	901
ncf_4_32_4_u.10	FAIL	901
ncf_4_32_4_euad.4	FAIL	901
ncf_16_64_2_d.5	FAIL	901
ncf_16_64_4_euad.3	FAIL	901
ncf_16_128_4_euad.10	FAIL	901
ncf_16_128_4_d.1	FAIL	901
robots_1_5_4_99.8	FAIL	901
ev-pr-6x6-17-5-0-1-2-lg	FAIL	901.01
ncf_8_64_2_d.10	FAIL	901.01
3qbf-5cnf-80var-2560cl.9	FAIL	901.01
6qbf-5cnf-80var-2560cl.8	FAIL	901.01
ncf_8_32_2_d.7	FAIL	901.01
ncf_16_32_2_edau.6	FAIL	901.01
ncf_4_16_8_u.8	FAIL	901.01
ncf_16_64_2_u.7	FAIL	901.01
ncf_16_128_2_euad.7	FAIL	901.01
3qbf-5cnf-160var-2560cl.3	FAIL	901.01
ncf_8_16_4_d.4	FAIL	901.01
ncf_8_64_8_edau.9	FAIL	901.01
ncf_4_32_4_d.6	FAIL	901.01
2qbf-5cnf-160var-320cl.2	FAIL	901.01
ncf_4_16_8_d.5	FAIL	901.01
ncf_8_32_8_u.10	FAIL	901.01
ncf_4_16_8_d.4	FAIL	901.01
ncf_4_16_8_edau.8	FAIL	901.01
ncf_4_32_2_euad.2	FAIL	901.01
ncf_16_32_4_u.2	FAIL	901.01
ncf_16_32_4_u.7	FAIL	901.01
ncf_16_64_2_euad.2	FAIL	901.01
ncf_16_64_4_euad.5	FAIL	901.01
3qbf-5cnf-160var-2560cl.8	FAIL	901.01
ncf_8_64_4_d.7	FAIL	901.01
ncf_16_64_8_euad.3	FAIL	901.01
BLOCKS4i.6.4	FAIL	901.01
ncf_8_16_8_u.10	FAIL	901.01
ncf_16_32_8_u.1	FAIL	901.01
2qbf-5cnf-40var-320cl.2	FAIL	901.01
k_d4_p-20	FAIL	901.01
ncf_16_32_2_d.1	FAIL	901.01
ncf_16_128_4_d.4	FAIL	901.01
3qbf-5cnf-160var-2560cl.4	FAIL	901.01
6qbf-5cnf-40var-640cl.4	FAIL	901.01
5qbf-5cnf-40var-640cl.7	FAIL	901.01
ncf_4_16_4_edau.6	FAIL	901.01
ncf_8_16_4_u.4	FAIL	901.01
ncf_16_64_4_edau.5	FAIL	901.01
ncf_8_32_8_edau.5	FAIL	901.01
ncf_4_8_8_edau.3	FAIL	901.01
2qbf-5cnf-40var-160cl.1	FAIL	901.01
ncf_16_128_8_edau.4	FAIL	901.01
ncf_8_32_8_euad.3	FAIL	901.01
k_t4p_n-21	FAIL	901.01
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
ncf_8_64_8_u.2	FAIL	901.01
ncf_16_64_4_u.4	FAIL	901.01
ncf_16_64_4_u.7	FAIL	901.01
k_poly_n-4	FAIL	901.01
ncf_8_64_8_u.5	FAIL	901.01
lut4_2_fXOR	FAIL	901.01
ncf_4_32_8_d.3	FAIL	901.01
6qbf-5cnf-160var-1280cl.4	FAIL	901.01
3qbf-5cnf-80var-2560cl.6	FAIL	901.01
ncf_16_32_4_u.3	FAIL	901.01
ncf_16_64_8_d.6	FAIL	901.01
ncf_8_32_8_euad.5	FAIL	901.01
ncf_16_32_8_d.7	FAIL	901.01
ncf_4_32_4_d.5	FAIL	901.01
robots_1_5_2_40.8	FAIL	901.01
2qbf-5cnf-160var-640cl.5	FAIL	901.01
ncf_8_16_8_u.2	FAIL	901.01
2qbf-5cnf-160var-1280cl.3	FAIL	901.01
C880.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
2qbf-5cnf-40var-160cl.3	FAIL	901.01
3qbf-5cnf-80var-2560cl.0	FAIL	901.01
test5_quant7	FAIL	901.01
5qbf-5cnf-40var-640cl.1	FAIL	901.01
2qbf-5cnf-160var-320cl.5	FAIL	901.01
ncf_8_64_2_u.1	FAIL	901.01
ncf_8_64_2_u.2	FAIL	901.01
2qbf-5cnf-80var-320cl.0	FAIL	901.01
ncf_16_32_8_edau.4	FAIL	901.01
ncf_16_64_2_euad.1	FAIL	901.01
ncf_4_32_8_euad.10	FAIL	901.01
ncf_8_64_2_d.4	FAIL	901.01
ncf_8_64_2_u.5	FAIL	901.01
ncf_8_64_4_edau.4	FAIL	901.01
ncf_8_64_8_euad.9	FAIL	901.01
ncf_16_128_2_euad.6	FAIL	901.01
ncf_8_32_2_d.5	FAIL	901.01
ncf_16_128_4_edau.5	FAIL	901.01
robots_1_5_3_24.4	FAIL	901.01
k_poly_n-20	FAIL	901.01
s386_d4_s	FAIL	901.01
ncf_8_16_8_u.4	FAIL	901.01
ncf_8_64_4_u.10	FAIL	901.01
s1269_d4_s	FAIL	901.01
adder-6-unsat	FAIL	901.01
2qbf-5cnf-40var-160cl.2	FAIL	901.01
5qbf-5cnf-160var-5120cl.1	FAIL	901.01
4qbf-5cnf-80var-320cl.7	FAIL	901.01
4qbf-5cnf-160var-5120cl.0	FAIL	901.01
5qbf-5cnf-40var-1280cl.9	FAIL	901.01
ncf_8_64_8_edau.10	FAIL	901.01
ncf_16_32_2_u.2	FAIL	901.01
ncf_16_32_2_u.10	FAIL	901.01
ncf_16_32_4_d.1	FAIL	901.01
uclid-pipe2	FAIL	901.01
ncf_8_32_4_d.10	FAIL	901.01
ncf_16_128_4_edau.2	FAIL	901.01
ncf_4_16_4_edau.2	FAIL	901.01
ncf_8_16_4_euad.4	FAIL	901.01
6qbf-5cnf-40var-320cl.2	FAIL	901.01
ncf_4_32_2_u.4	FAIL	901.01
ncf_4_32_2_euad.5	FAIL	901.01
ncf_8_32_2_edau.5	FAIL	901.01
ncf_16_32_8_d.9	FAIL	901.01
s27_d4_u	FAIL	901.01
test4_quant4	FAIL	901.01
k_d4_p-16	FAIL	901.01
s510_d2_s	FAIL	901.01
ncf_8_32_4_d.1	FAIL	901.01
4qbf-5cnf-160var-640cl.0	FAIL	901.01
ncf_8_32_8_d.3	FAIL	901.01
k_d4_n-8	FAIL	901.01
4qbf-5cnf-80var-640cl.5	FAIL	901.01
ncf_4_16_8_euad.5	FAIL	901.01
5qbf-5cnf-80var-2560cl.6	FAIL	901.01
C499.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
ncf_4_16_2_u.3	FAIL	901.01
3qbf-5cnf-160var-5120cl.2	FAIL	901.01
ncf_4_16_8_d.10	FAIL	901.01
5qbf-5cnf-80var-2560cl.1	FAIL	901.01
5qbf-5cnf-160var-5120cl.3	FAIL	901.01
ncf_4_32_2_d.3	FAIL	901.01
k_d4_p-21	FAIL	901.01
test4_quant2	FAIL	901.01
2qbf-5cnf-160var-320cl.9	FAIL	901.01
2qbf-5cnf-80var-640cl.8	FAIL	901.01
3qbf-5cnf-40var-640cl.3	FAIL	901.01
ncf_8_64_4_u.4	FAIL	901.01
4qbf-5cnf-160var-1280cl.9	FAIL	901.01
6qbf-5cnf-40var-1280cl.3	FAIL	901.01
ncf_4_16_4_u.7	FAIL	901.01
ncf_4_32_4_d.4	FAIL	901.01
ncf_8_64_4_edau.3	FAIL	901.01
ncf_16_128_4_edau.4	FAIL	901.01
ncf_8_32_8_edau.6	FAIL	901.01
k_t4p_p-4	FAIL	901.01
ncf_8_16_8_edau.10	FAIL	901.01
ncf_4_16_8_u.10	FAIL	901.01
4qbf-5cnf-160var-5120cl.2	FAIL	901.01
5qbf-5cnf-40var-640cl.3	FAIL	901.01
ncf_4_32_8_edau.4	FAIL	901.01
ncf_16_128_8_euad.3	FAIL	901.01
ncf_16_32_4_u.6	FAIL	901.01
ncf_4_8_8_u.5	FAIL	901.01
ncf_16_64_4_d.5	FAIL	901.01
5qbf-5cnf-80var-2560cl.7	FAIL	901.01
5qbf-5cnf-80var-2560cl.2	FAIL	901.01
ncf_16_64_4_u.3	FAIL	901.01
ncf_8_32_2_edau.3	FAIL	901.01
3qbf-5cnf-40var-320cl.5	FAIL	901.01
ncf_4_32_2_edau.6	FAIL	901.01
ncf_8_16_8_euad.8	FAIL	901.01
ncf_4_32_8_d.6	FAIL	901.01
ncf_8_32_2_u.8	FAIL	901.01
4qbf-5cnf-160var-5120cl.7	FAIL	901.01
ncf_16_32_2_euad.10	FAIL	901.01
ncf_16_32_4_edau.7	FAIL	901.01
ncf_16_64_8_d.5	FAIL	901.01
5qbf-5cnf-160var-5120cl.0	FAIL	901.01
ncf_8_64_8_euad.6	FAIL	901.01
ncf_8_32_8_d.6	FAIL	901.01
ncf_4_16_4_edau.7	FAIL	901.01
k_lin_n-8	FAIL	901.01
5qbf-5cnf-160var-2560cl.8	FAIL	901.01
ncf_8_64_8_edau.5	FAIL	901.01
4qbf-5cnf-40var-640cl.7	FAIL	901.01
k_d4_p-4	FAIL	901.01
5qbf-5cnf-80var-1280cl.0	FAIL	901.01
ncf_8_64_8_edau.6	FAIL	901.01
4qbf-5cnf-80var-1280cl.0	FAIL	901.01
ncf_16_128_8_d.5	FAIL	901.01
6qbf-5cnf-160var-1280cl.2	FAIL	901.01
ncf_16_64_2_euad.5	FAIL	901.01
ncf_16_128_2_u.6	FAIL	901.01
ncf_8_32_4_euad.7	FAIL	901.01
6qbf-5cnf-160var-1280cl.9	FAIL	901.01
k_lin_n-4	FAIL	901.01
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
ncf_4_32_8_edau.10	FAIL	901.01
ncf_8_32_2_u.6	FAIL	901.01
ncf_8_64_2_edau.5	FAIL	901.01
ncf_16_64_2_euad.10	FAIL	901.01
CHAIN22v.23	FAIL	901.01
k_dum_n-8	FAIL	901.01
2qbf-5cnf-160var-320cl.3	FAIL	901.01
ncf_8_32_4_edau.7	FAIL	901.01
3qbf-5cnf-160var-5120cl.1	FAIL	901.01
6qbf-5cnf-80var-2560cl.3	FAIL	901.01
ncf_16_32_4_edau.10	FAIL	901.01
6qbf-5cnf-40var-1280cl.1	FAIL	901.01
ncf_16_64_2_d.6	FAIL	901.01
ncf_4_32_8_u.9	FAIL	901.01
counter_e_64	FAIL	901.01
k_t4p_n-16	FAIL	901.01
3qbf-5cnf-80var-1280cl.2	FAIL	901.01
ncf_8_16_8_d.10	FAIL	901.01
ncf_16_32_2_euad.8	FAIL	901.01
ncf_4_32_8_u.7	FAIL	901.01
ncf_16_32_4_d.5	FAIL	901.01
ncf_16_64_8_edau.1	FAIL	901.01
ncf_4_16_4_u.8	FAIL	901.01
6qbf-5cnf-160var-5120cl.1	FAIL	901.01
ncf_8_32_8_u.8	FAIL	901.01
2qbf-5cnf-40var-320cl.4	FAIL	901.01
6qbf-5cnf-160var-2560cl.4	FAIL	901.01
6qbf-5cnf-80var-1280cl.3	FAIL	901.01
5qbf-5cnf-80var-1280cl.7	FAIL	901.01
ncf_4_32_2_u.1	FAIL	901.01
ncf_8_32_4_euad.1	FAIL	901.01
k_d4_n-20	FAIL	901.01
4qbf-5cnf-160var-2560cl.9	FAIL	901.01
ncf_8_32_4_euad.8	FAIL	901.01
ncf_8_32_8_edau.10	FAIL	901.01
ncf_16_128_4_edau.1	FAIL	901.01
robots_1_5_5_33.8	FAIL	901.01
test3_quant_squaring2	FAIL	901.01
Adder2-8-c	FAIL	901.01
6qbf-5cnf-160var-5120cl.4	FAIL	901.01
4qbf-5cnf-160var-640cl.3	FAIL	901.01
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
s298_d4_s	FAIL	901.01
k_grz_p-12	FAIL	901.01
ncf_8_16_8_euad.7	FAIL	901.01
5qbf-5cnf-40var-1280cl.1	FAIL	901.01
5qbf-5cnf-40var-1280cl.8	FAIL	901.01
ncf_16_64_8_euad.4	FAIL	901.01
k_dum_p-4	FAIL	901.01
6qbf-5cnf-40var-640cl.2	FAIL	901.01
5qbf-5cnf-160var-5120cl.4	FAIL	901.01
ncf_4_16_4_edau.8	FAIL	901.01
4qbf-5cnf-80var-640cl.7	FAIL	901.01
CHAIN21v.22	FAIL	901.01
5qbf-5cnf-80var-1280cl.3	FAIL	901.01
ncf_8_32_2_d.6	FAIL	901.01
4qbf-5cnf-80var-320cl.3	FAIL	901.01
ncf_16_128_4_u.2	FAIL	901.01
ncf_8_32_8_edau.8	FAIL	901.01
ncf_8_64_4_d.8	FAIL	901.01
ncf_16_32_4_euad.3	FAIL	901.01
k_path_p-20	FAIL	901.01
ncf_4_8_8_edau.2	FAIL	901.01
adder-8-sat	FAIL	901.01
3qbf-5cnf-80var-2560cl.2	FAIL	901.01
ncf_16_128_4_edau.7	FAIL	901.01
6qbf-5cnf-160var-1280cl.0	FAIL	901.01
test5_quant_squaring4	FAIL	901.01
5qbf-5cnf-40var-640cl.6	FAIL	901.01
4qbf-5cnf-160var-2560cl.5	FAIL	901.01
ncf_4_16_4_d.2	FAIL	901.01
4qbf-5cnf-160var-640cl.6	FAIL	901.01
6qbf-5cnf-80var-1280cl.5	FAIL	901.01
ncf_4_16_2_u.10	FAIL	901.01
ncf_4_32_8_edau.1	FAIL	901.01
6qbf-5cnf-80var-2560cl.7	FAIL	901.01
k_path_n-12	FAIL	901.01
ncf_16_64_4_u.2	FAIL	901.01
5qbf-5cnf-160var-2560cl.6	FAIL	901.01
k_lin_p-4	FAIL	901.01
k_path_p-12	FAIL	901.01
6qbf-5cnf-160var-2560cl.7	FAIL	901.01
s1196_d2_s	FAIL	901.01
4qbf-5cnf-80var-2560cl.3	FAIL	901.01
ncf_16_64_2_edau.1	FAIL	901.01
k_grz_p-4	FAIL	901.01
ncf_8_32_8_d.1	FAIL	901.01
k_poly_n-8	FAIL	901.01
4qbf-5cnf-160var-5120cl.8	FAIL	901.01
ncf_8_64_2_euad.3	FAIL	901.01
ncf_8_16_8_edau.2	FAIL	901.01
ncf_16_128_4_u.7	FAIL	901.01
ncf_16_64_8_u.4	FAIL	901.01
ncf_8_32_2_d.10	FAIL	901.01
Adder2-4-s	FAIL	901.01
4qbf-5cnf-80var-640cl.4	FAIL	901.01
ncf_8_64_8_d.5	FAIL	901.01
4qbf-5cnf-40var-640cl.8	FAIL	901.01
6qbf-5cnf-160var-1280cl.3	FAIL	901.01
ncf_16_128_2_u.5	FAIL	901.01
ncf_8_64_2_euad.4	FAIL	901.01
ncf_16_32_8_u.9	FAIL	901.01
ncf_8_64_4_u.1	FAIL	901.01
4qbf-5cnf-80var-1280cl.4	FAIL	901.01
k_poly_n-12	FAIL	901.01
6qbf-5cnf-40var-1280cl.4	FAIL	901.01
ncf_4_32_2_u.8	FAIL	901.01
ncf_4_32_4_edau.1	FAIL	901.01
ncf_16_32_8_d.6	FAIL	901.01
2qbf-5cnf-40var-320cl.1	FAIL	901.01
ncf_4_32_4_euad.3	FAIL	901.01
ncf_8_32_2_d.9	FAIL	901.01
test4_quant_squaring2	FAIL	901.01
ncf_16_64_4_euad.6	FAIL	901.01
ncf_16_128_2_edau.8	FAIL	901.01
6qbf-5cnf-160var-5120cl.5	FAIL	901.01
5qbf-5cnf-160var-2560cl.3	FAIL	901.01
6qbf-5cnf-160var-5120cl.3	FAIL	901.01
ncf_4_32_4_u.4	FAIL	901.01
4qbf-5cnf-160var-640cl.1	FAIL	901.01
3qbf-5cnf-40var-640cl.1	FAIL	901.01
5qbf-5cnf-160var-2560cl.2	FAIL	901.01
ncf_8_32_8_u.9	FAIL	901.01
4qbf-5cnf-40var-640cl.6	FAIL	901.01
ncf_4_16_8_d.1	FAIL	901.01
ncf_16_32_2_edau.3	FAIL	901.01
ncf_16_32_4_u.4	FAIL	901.01
ncf_16_64_2_edau.2	FAIL	901.01
ncf_8_32_8_u.7	FAIL	901.01
BLOCKS3i.5.3	FAIL	901.01
ncf_4_16_4_d.10	FAIL	901.01
ncf_8_64_4_edau.8	FAIL	901.01
test5_quant5	FAIL	901.01
Adder2-4-c	FAIL	901.01
3qbf-5cnf-80var-2560cl.8	FAIL	901.01
ncf_8_16_4_d.7	FAIL	901.01
ncf_16_64_8_edau.4	FAIL	901.01
ncf_4_16_8_euad.10	FAIL	901.01
ncf_16_32_2_edau.8	FAIL	901.01
2qbf-5cnf-80var-320cl.3	FAIL	901.01
4qbf-5cnf-80var-2560cl.2	FAIL	901.01
ncf_4_32_2_d.9	FAIL	901.01
ncf_16_64_4_edau.10	FAIL	901.01
ncf_8_64_2_euad.7	FAIL	901.01
ncf_8_64_4_u.3	FAIL	901.01
ncf_16_32_4_d.9	FAIL	901.01
ncf_16_32_4_euad.8	FAIL	901.01
ncf_16_32_8_u.5	FAIL	901.01
4qbf-5cnf-80var-320cl.4	FAIL	901.01
ncf_4_16_4_edau.3	FAIL	901.01
2qbf-5cnf-80var-640cl.9	FAIL	901.01
5qbf-5cnf-80var-2560cl.8	FAIL	901.01
ncf_8_64_8_euad.7	FAIL	901.01
ncf_16_128_8_d.1	FAIL	901.01
ncf_8_32_2_u.10	FAIL	901.01
ncf_4_16_4_u.2	FAIL	901.01
ncf_16_64_4_u.9	FAIL	901.01
4qbf-5cnf-80var-1280cl.9	FAIL	901.01
ncf_16_128_2_euad.2	FAIL	901.01
k_grz_p-8	FAIL	901.01
5qbf-5cnf-80var-1280cl.2	FAIL	901.01
6qbf-5cnf-160var-2560cl.5	FAIL	901.01
ncf_8_64_8_edau.4	FAIL	901.01
k_path_p-8	FAIL	901.01
4qbf-5cnf-80var-640cl.1	FAIL	901.01
ncf_4_16_8_d.8	FAIL	901.01
ncf_4_32_4_d.3	FAIL	901.01
ncf_4_32_4_u.6	FAIL	901.01
2qbf-5cnf-40var-320cl.3	FAIL	901.01
ncf_8_64_2_edau.7	FAIL	901.01
ncf_8_64_8_u.1	FAIL	901.01
ncf_16_64_2_u.3	FAIL	901.01
ncf_16_64_4_edau.2	FAIL	901.01
C432.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
ncf_8_16_8_d.7	FAIL	901.01
robots_1_5_2_75.8	FAIL	901.01
robots_1_5_4_46.8	FAIL	901.01
counter_re_4	FAIL	901.01
ncf_8_64_8_u.7	FAIL	901.01
ncf_16_32_2_d.2	FAIL	901.01
ncf_16_64_8_edau.2	FAIL	901.01
6qbf-5cnf-40var-1280cl.8	FAIL	901.01
2qbf-5cnf-160var-640cl.6	FAIL	901.01
k_lin_p-12	FAIL	901.01
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
2qbf-5cnf-160var-640cl.1	FAIL	901.01
ncf_16_64_2_d.1	FAIL	901.01
ncf_16_128_4_d.8	FAIL	901.01
ncf_4_8_8_u.3	FAIL	901.01
BLOCKS3iii.5	FAIL	901.01
ncf_4_32_8_edau.2	FAIL	901.01
ncf_8_32_8_u.2	FAIL	901.01
ncf_4_16_8_edau.2	FAIL	901.01
ncf_8_64_2_d.9	FAIL	901.01
4qbf-5cnf-160var-5120cl.6	FAIL	901.01
k_poly_p-4	FAIL	901.01
ncf_4_8_8_edau.8	FAIL	901.01
6qbf-5cnf-80var-1280cl.8	FAIL	901.01
4qbf-5cnf-160var-2560cl.3	FAIL	901.02
ncf_16_64_8_d.4	FAIL	901.02
adder-4-sat	FAIL	901.02
k_dum_p-21	FAIL	901.02
4qbf-5cnf-160var-2560cl.0	FAIL	901.02
ncf_8_32_4_edau.6	FAIL	901.02
comp.blif_0.10_0.20_0_0_inp_exact	FAIL	901.02
ncf_16_64_8_u.7	FAIL	901.02
ncf_8_64_4_euad.7	FAIL	901.02
robots_1_5_2_39.4	FAIL	901.02
k_dum_p-20	FAIL	901.02
ncf_16_128_2_d.4	FAIL	901.02
5qbf-5cnf-80var-2560cl.3	FAIL	901.02
5qbf-5cnf-80var-2560cl.9	FAIL	901.02
ncf_4_32_2_euad.3	FAIL	901.02
2qbf-5cnf-160var-640cl.3	FAIL	901.02
ncf_4_16_8_u.4	FAIL	901.02
robots_1_5_3_57.4	FAIL	901.02
ncf_4_32_2_d.7	FAIL	901.02
6qbf-5cnf-160var-5120cl.7	FAIL	901.02
ncf_4_32_2_d.2	FAIL	901.02
ncf_8_32_2_edau.6	FAIL	901.02
ncf_8_64_2_d.1	FAIL	901.02
k_dum_n-16	FAIL	901.02
ncf_8_16_8_edau.5	FAIL	901.02
ncf_8_32_2_u.2	FAIL	901.02
ncf_8_64_4_euad.3	FAIL	901.02
2qbf-5cnf-80var-320cl.4	FAIL	901.02
ncf_4_32_2_d.5	FAIL	901.02
ncf_8_16_4_d.9	FAIL	901.02
5qbf-5cnf-80var-2560cl.5	FAIL	901.02
6qbf-5cnf-80var-640cl.3	FAIL	901.02
ncf_4_16_8_u.9	FAIL	901.02
ncf_4_32_2_edau.10	FAIL	901.02
ev-pr-4x4-9-3-0-0-1-s	FAIL	901.02
ncf_8_64_2_u.7	FAIL	901.02
6qbf-5cnf-80var-1280cl.2	FAIL	901.02
k_poly_p-21	FAIL	901.02
ncf_8_64_4_edau.9	FAIL	901.02
ncf_16_128_2_euad.1	FAIL	901.02
ncf_16_32_2_d.4	FAIL	901.02
ncf_8_32_8_euad.9	FAIL	901.02
ncf_4_16_4_euad.2	FAIL	901.02
ncf_8_32_8_euad.7	FAIL	901.02
ncf_4_16_4_euad.10	FAIL	901.02
4qbf-5cnf-160var-1280cl.0	FAIL	901.02
ncf_16_32_8_edau.2	FAIL	901.02

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QbflHR
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QbflHR QBFEVAL'05

Instances solved by QbflHR
QBFEVAL'05