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

Instances solved by QChaffLearn
QBFEVAL'05

Instance	Result	Time
counter_e_2	UNSAT	0
3qbf-5cnf-40var-160cl.7	SAT	0
6qbf-5cnf-20var-40cl.3	SAT	0
adder-2-unsat	UNSAT	0
5qbf-5cnf-80var-320cl.4	SAT	0
6qbf-5cnf-40var-1280cl.5	UNSAT	0
6qbf-5cnf-20var-40cl.0	SAT	0
4qbf-5cnf-80var-160cl.7	SAT	0
6qbf-5cnf-40var-160cl.7	SAT	0
4qbf-5cnf-20var-80cl.4	SAT	0
3qbf-5cnf-80var-160cl.2	SAT	0
6qbf-5cnf-80var-320cl.8	SAT	0
tree-exa2-45	UNSAT	0
6qbf-5cnf-80var-160cl.4	SAT	0
3qbf-5cnf-40var-160cl.5	SAT	0
6qbf-5cnf-40var-160cl.6	SAT	0
6qbf-5cnf-40var-80cl.3	SAT	0
5qbf-5cnf-40var-80cl.8	SAT	0
2qbf-5cnf-40var-1280cl.6	UNSAT	0
3qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-80var-160cl.9	SAT	0
2qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-80var-160cl.1	SAT	0
5qbf-5cnf-20var-80cl.4	SAT	0
4qbf-5cnf-80var-160cl.6	SAT	0
5qbf-5cnf-20var-80cl.2	SAT	0
4qbf-5cnf-20var-40cl.5	SAT	0
5qbf-5cnf-40var-160cl.7	SAT	0
5qbf-5cnf-160var-320cl.5	SAT	0
5qbf-5cnf-40var-160cl.1	SAT	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
4qbf-5cnf-40var-640cl.9	UNSAT	0
toilet_c_08_01.4	UNSAT	0
5qbf-5cnf-20var-160cl.6	SAT	0
k_ph_n-4	SAT	0
5qbf-5cnf-20var-80cl.9	SAT	0
5qbf-5cnf-20var-40cl.5	SAT	0
3qbf-5cnf-80var-320cl.9	SAT	0
3qbf-5cnf-20var-640cl.2	UNSAT	0
6qbf-5cnf-80var-320cl.6	SAT	0
3qbf-5cnf-20var-640cl.6	UNSAT	0
3qbf-5cnf-80var-160cl.0	SAT	0
6qbf-5cnf-20var-80cl.0	SAT	0
2qbf-5cnf-20var-640cl.2	UNSAT	0
4qbf-5cnf-20var-40cl.8	SAT	0
3qbf-5cnf-40var-160cl.0	SAT	0
impl12	SAT	0
tree-exa2-25	UNSAT	0
6qbf-5cnf-20var-40cl.6	SAT	0
2qbf-5cnf-20var-320cl.4	UNSAT	0
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0
6qbf-5cnf-80var-320cl.2	SAT	0
3qbf-5cnf-40var-160cl.9	SAT	0
3qbf-5cnf-40var-80cl.3	SAT	0
4qbf-5cnf-160var-320cl.0	SAT	0
3qbf-5cnf-20var-160cl.0	UNSAT	0
2qbf-5cnf-20var-320cl.8	UNSAT	0
4qbf-5cnf-160var-320cl.3	SAT	0
impl18	SAT	0
2qbf-5cnf-20var-40cl.0	SAT	0
4qbf-5cnf-80var-160cl.3	SAT	0
5qbf-5cnf-20var-40cl.7	SAT	0
2qbf-5cnf-20var-40cl.1	SAT	0
4qbf-5cnf-40var-80cl.0	SAT	0
impl04	SAT	0
3qbf-5cnf-20var-80cl.0	SAT	0
4qbf-5cnf-40var-160cl.1	SAT	0
5qbf-5cnf-40var-80cl.5	SAT	0
5qbf-5cnf-80var-320cl.9	SAT	0
3qbf-5cnf-20var-40cl.4	SAT	0
5qbf-5cnf-20var-640cl.8	UNSAT	0
5qbf-5cnf-40var-80cl.0	SAT	0
3qbf-5cnf-160var-320cl.5	SAT	0
2qbf-5cnf-20var-40cl.6	SAT	0
2qbf-5cnf-20var-640cl.6	UNSAT	0
6qbf-5cnf-80var-320cl.9	SAT	0
5qbf-5cnf-80var-320cl.7	SAT	0
4qbf-5cnf-20var-640cl.1	UNSAT	0
6qbf-5cnf-40var-160cl.8	SAT	0
3qbf-5cnf-80var-160cl.4	SAT	0
3qbf-5cnf-20var-80cl.1	SAT	0
ncf_4_8_2_u.9	SAT	0
3qbf-5cnf-40var-640cl.8	UNSAT	0
s641_d4_s	FAIL	0
5qbf-5cnf-40var-1280cl.6	UNSAT	0
3qbf-5cnf-20var-80cl.9	SAT	0
6qbf-5cnf-20var-80cl.7	SAT	0
5qbf-5cnf-40var-160cl.3	SAT	0
2qbf-5cnf-40var-80cl.5	SAT	0
3qbf-5cnf-40var-80cl.7	SAT	0
5qbf-5cnf-40var-80cl.4	SAT	0
6qbf-5cnf-20var-320cl.6	UNSAT	0
5qbf-5cnf-160var-640cl.9	SAT	0
5qbf-5cnf-40var-80cl.2	SAT	0
4qbf-5cnf-20var-640cl.5	UNSAT	0
5qbf-5cnf-20var-160cl.4	SAT	0
tree-exa2-15	UNSAT	0
4qbf-5cnf-20var-320cl.2	UNSAT	0
tree-exa2-20	UNSAT	0
4qbf-5cnf-20var-80cl.9	SAT	0
5qbf-5cnf-20var-160cl.3	SAT	0
4qbf-5cnf-20var-320cl.1	UNSAT	0
5qbf-5cnf-20var-160cl.7	SAT	0
comp.blif_0.10_1.00_0_1_out_exact	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-20var-40cl.2	SAT	0
5qbf-5cnf-20var-640cl.7	UNSAT	0
5qbf-5cnf-20var-640cl.0	UNSAT	0
4qbf-5cnf-80var-160cl.1	SAT	0
3qbf-5cnf-40var-80cl.8	SAT	0
4qbf-5cnf-40var-640cl.2	UNSAT	0
3qbf-5cnf-40var-160cl.6	SAT	0
6qbf-5cnf-20var-80cl.8	SAT	0
3qbf-5cnf-40var-160cl.8	SAT	0
3qbf-5cnf-20var-80cl.7	SAT	0
toilet_c_10_01.2	UNSAT	0
5qbf-5cnf-20var-80cl.1	SAT	0
5qbf-5cnf-40var-160cl.4	SAT	0
4qbf-5cnf-40var-160cl.3	SAT	0
6qbf-5cnf-20var-40cl.8	SAT	0
mutex-2-s	SAT	0
5qbf-5cnf-40var-80cl.7	SAT	0
tree-exa10-10	SAT	0
6qbf-5cnf-80var-160cl.1	SAT	0
5qbf-5cnf-80var-160cl.5	SAT	0
6qbf-5cnf-20var-80cl.4	SAT	0
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0
6qbf-5cnf-80var-320cl.0	SAT	0
2qbf-5cnf-20var-40cl.9	SAT	0
6qbf-5cnf-20var-80cl.2	SAT	0
tree-exa2-40	UNSAT	0
4qbf-5cnf-20var-80cl.1	SAT	0
2qbf-5cnf-20var-640cl.5	UNSAT	0
4qbf-5cnf-20var-80cl.6	SAT	0
3qbf-5cnf-80var-320cl.3	SAT	0
s641_d6_s	FAIL	0
3qbf-5cnf-20var-40cl.8	SAT	0
4qbf-5cnf-40var-80cl.4	SAT	0
6qbf-5cnf-20var-640cl.2	UNSAT	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
5qbf-5cnf-20var-40cl.6	SAT	0
TOILET6.1.iv.12	SAT	0
4qbf-5cnf-40var-160cl.5	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
5qbf-5cnf-80var-160cl.4	SAT	0
6qbf-5cnf-40var-80cl.4	SAT	0
3qbf-5cnf-20var-40cl.0	SAT	0
4qbf-5cnf-20var-320cl.6	UNSAT	0
3qbf-5cnf-40var-160cl.1	SAT	0
ncf_8_16_2_u.7	SAT	0
5qbf-5cnf-20var-40cl.4	SAT	0
5qbf-5cnf-20var-80cl.3	SAT	0
4qbf-5cnf-20var-640cl.9	UNSAT	0
4qbf-5cnf-80var-160cl.5	SAT	0
2qbf-5cnf-20var-320cl.5	UNSAT	0
4qbf-5cnf-40var-80cl.8	SAT	0
4qbf-5cnf-40var-80cl.7	SAT	0
5qbf-5cnf-20var-80cl.5	SAT	0
4qbf-5cnf-20var-40cl.1	SAT	0
5qbf-5cnf-40var-160cl.5	SAT	0
4qbf-5cnf-160var-320cl.4	SAT	0
3qbf-5cnf-20var-160cl.5	SAT	0
6qbf-5cnf-40var-80cl.7	SAT	0
5qbf-5cnf-20var-160cl.0	SAT	0
2qbf-5cnf-40var-640cl.6	UNSAT	0
3qbf-5cnf-40var-160cl.3	SAT	0
5qbf-5cnf-80var-160cl.2	SAT	0
6qbf-5cnf-20var-40cl.1	SAT	0
4qbf-5cnf-160var-320cl.2	SAT	0
3qbf-5cnf-20var-80cl.6	SAT	0
5qbf-5cnf-20var-640cl.6	UNSAT	0
6qbf-5cnf-160var-320cl.4	SAT	0
5qbf-5cnf-80var-160cl.8	SAT	0
4qbf-5cnf-20var-320cl.0	UNSAT	0
3qbf-5cnf-20var-40cl.9	SAT	0
6qbf-5cnf-160var-640cl.4	SAT	0
4qbf-5cnf-80var-160cl.4	SAT	0
5qbf-5cnf-160var-320cl.0	SAT	0
3qbf-5cnf-40var-1280cl.2	UNSAT	0
6qbf-5cnf-80var-160cl.9	SAT	0
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0
4qbf-5cnf-40var-80cl.2	SAT	0
4qbf-5cnf-20var-640cl.0	UNSAT	0
6qbf-5cnf-40var-160cl.9	SAT	0
3qbf-5cnf-20var-40cl.3	SAT	0
3qbf-5cnf-80var-320cl.8	SAT	0
ncf_4_8_4_d.9	SAT	0
z4ml.blif_0.10_0.20_0_1_inp_exact	UNSAT	0
5qbf-5cnf-40var-160cl.8	SAT	0
6qbf-5cnf-40var-80cl.0	SAT	0
5qbf-5cnf-40var-160cl.6	SAT	0
4qbf-5cnf-20var-40cl.4	SAT	0
3qbf-5cnf-40var-80cl.1	SAT	0
4qbf-5cnf-160var-320cl.6	SAT	0
5qbf-5cnf-20var-80cl.6	SAT	0
3qbf-5cnf-20var-40cl.6	SAT	0
5qbf-5cnf-160var-320cl.4	SAT	0
TOILET2.1.iv.4	SAT	0
2qbf-5cnf-40var-80cl.4	SAT	0
4qbf-5cnf-80var-160cl.8	SAT	0
counter_2	UNSAT	0
6qbf-5cnf-40var-80cl.8	SAT	0
6qbf-5cnf-40var-80cl.5	SAT	0
4qbf-5cnf-80var-160cl.2	SAT	0
impl02	SAT	0
3qbf-5cnf-20var-80cl.3	SAT	0
2qbf-5cnf-40var-640cl.7	UNSAT	0
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0
3qbf-5cnf-80var-320cl.4	SAT	0
2qbf-5cnf-20var-320cl.1	UNSAT	0
6qbf-5cnf-40var-80cl.1	SAT	0
2qbf-5cnf-20var-320cl.7	UNSAT	0
3qbf-5cnf-40var-80cl.6	SAT	0
3qbf-5cnf-40var-80cl.0	SAT	0
6qbf-5cnf-80var-160cl.5	SAT	0
3qbf-5cnf-40var-160cl.4	SAT	0
impl06	SAT	0
3qbf-5cnf-20var-640cl.1	UNSAT	0
6qbf-5cnf-20var-80cl.3	SAT	0
3qbf-5cnf-40var-80cl.5	SAT	0
6qbf-5cnf-160var-320cl.0	SAT	0
4qbf-5cnf-20var-320cl.7	UNSAT	0
2qbf-5cnf-20var-40cl.8	SAT	0
6qbf-5cnf-20var-80cl.9	SAT	0
5qbf-5cnf-20var-80cl.7	SAT	0
5qbf-5cnf-20var-160cl.9	SAT	0
ncf_4_8_2_d.4	UNSAT	0
5qbf-5cnf-20var-40cl.1	SAT	0
5qbf-5cnf-20var-640cl.9	UNSAT	0
3qbf-5cnf-20var-160cl.8	SAT	0
3qbf-5cnf-20var-40cl.1	SAT	0
5qbf-5cnf-80var-160cl.9	SAT	0
3qbf-5cnf-160var-640cl.2	SAT	0
tree-exa2-35	UNSAT	0
toilet_c_10_01.4	UNSAT	0
5qbf-5cnf-160var-320cl.1	SAT	0
2qbf-5cnf-40var-1280cl.5	UNSAT	0
3qbf-5cnf-20var-160cl.2	SAT	0
6qbf-5cnf-20var-40cl.5	SAT	0
6qbf-5cnf-80var-160cl.6	SAT	0
toilet_c_08_01.2	UNSAT	0
4qbf-5cnf-40var-80cl.6	SAT	0
s641_d7_u	FAIL	0
impl14	SAT	0
3qbf-5cnf-160var-640cl.5	SAT	0
5qbf-5cnf-40var-160cl.9	SAT	0
5qbf-5cnf-160var-320cl.9	SAT	0
4qbf-5cnf-20var-40cl.7	SAT	0
6qbf-5cnf-20var-40cl.2	SAT	0
ncf_4_8_4_edau.9	SAT	0
5qbf-5cnf-20var-640cl.4	UNSAT	0
5qbf-5cnf-20var-40cl.9	SAT	0
counter_re_4	UNSAT	0
3qbf-5cnf-20var-640cl.8	UNSAT	0
comp.blif_0.10_0.20_0_1_out_exact	SAT	0
3qbf-5cnf-20var-640cl.0	UNSAT	0
3qbf-5cnf-80var-320cl.5	SAT	0
6qbf-5cnf-20var-160cl.7	SAT	0
4qbf-5cnf-20var-320cl.5	UNSAT	0
2qbf-5cnf-40var-640cl.8	UNSAT	0
3qbf-5cnf-160var-320cl.8	SAT	0
3qbf-5cnf-20var-80cl.4	SAT	0
6qbf-5cnf-160var-640cl.3	SAT	0
2qbf-5cnf-40var-640cl.4	UNSAT	0
5qbf-5cnf-80var-320cl.8	SAT	0
4qbf-5cnf-160var-320cl.7	SAT	0
2qbf-5cnf-20var-320cl.6	UNSAT	0
1qbf-5cnf-20var-160cl.6	SAT	0
1qbf-5cnf-20var-320cl.2	SAT	0
1qbf-5cnf-80var-320cl.6	SAT	0
6qbf-5cnf-20var-40cl.4	SAT	0
1qbf-5cnf-20var-80cl.4	SAT	0
1qbf-5cnf-20var-320cl.8	SAT	0
1qbf-5cnf-20var-80cl.8	SAT	0
1qbf-5cnf-40var-80cl.5	SAT	0
1qbf-5cnf-160var-640cl.5	SAT	0
1qbf-5cnf-20var-160cl.8	SAT	0
1qbf-5cnf-80var-320cl.8	SAT	0
1qbf-5cnf-40var-320cl.6	SAT	0
1qbf-5cnf-20var-40cl.6	SAT	0
1qbf-5cnf-20var-80cl.9	SAT	0
1qbf-5cnf-40var-80cl.1	SAT	0
1qbf-5cnf-40var-160cl.3	SAT	0
1qbf-5cnf-80var-640cl.2	SAT	0
1qbf-5cnf-80var-320cl.9	SAT	0
1qbf-5cnf-40var-80cl.3	SAT	0
1qbf-5cnf-20var-40cl.5	SAT	0
1qbf-5cnf-80var-320cl.7	SAT	0
6qbf-5cnf-20var-80cl.5	SAT	0
1qbf-5cnf-20var-40cl.7	SAT	0
1qbf-5cnf-40var-160cl.9	SAT	0
1qbf-5cnf-40var-160cl.2	SAT	0
1qbf-5cnf-20var-80cl.5	SAT	0
1qbf-5cnf-20var-320cl.6	SAT	0
1qbf-5cnf-160var-320cl.2	SAT	0
1qbf-5cnf-160var-640cl.6	SAT	0
1qbf-5cnf-20var-80cl.6	SAT	0
1qbf-5cnf-160var-320cl.7	SAT	0
5qbf-5cnf-80var-160cl.3	SAT	0
1qbf-5cnf-20var-320cl.4	SAT	0
1qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-20var-40cl.2	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-40var-320cl.0	SAT	0
1qbf-5cnf-20var-160cl.5	SAT	0
1qbf-5cnf-20var-160cl.1	SAT	0
1qbf-5cnf-80var-160cl.7	SAT	0
1qbf-5cnf-160var-320cl.8	SAT	0
1qbf-5cnf-20var-160cl.3	SAT	0
1qbf-5cnf-80var-320cl.4	SAT	0
1qbf-5cnf-40var-160cl.5	SAT	0
1qbf-5cnf-80var-320cl.2	SAT	0
1qbf-5cnf-80var-640cl.9	SAT	0
1qbf-5cnf-160var-320cl.3	SAT	0
1qbf-5cnf-20var-80cl.2	SAT	0
1qbf-5cnf-160var-320cl.9	SAT	0
1qbf-5cnf-80var-160cl.0	SAT	0
1qbf-5cnf-20var-80cl.3	SAT	0
1qbf-5cnf-40var-320cl.2	SAT	0
1qbf-5cnf-80var-640cl.4	SAT	0
1qbf-5cnf-40var-320cl.4	SAT	0
1qbf-5cnf-80var-320cl.0	SAT	0
1qbf-5cnf-160var-320cl.6	SAT	0
1qbf-5cnf-20var-160cl.0	SAT	0
1qbf-5cnf-20var-40cl.9	SAT	0
1qbf-5cnf-80var-160cl.6	SAT	0
1qbf-5cnf-40var-160cl.6	SAT	0
1qbf-5cnf-40var-160cl.0	SAT	0
1qbf-5cnf-160var-640cl.3	SAT	0
1qbf-5cnf-20var-160cl.9	SAT	0
1qbf-5cnf-40var-80cl.2	SAT	0
4qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-20var-160cl.4	SAT	0
1qbf-5cnf-40var-320cl.5	SAT	0
1qbf-5cnf-160var-320cl.1	SAT	0
1qbf-5cnf-40var-160cl.8	SAT	0
1qbf-5cnf-20var-160cl.7	SAT	0
1qbf-5cnf-40var-80cl.0	SAT	0
1qbf-5cnf-20var-40cl.4	SAT	0
1qbf-5cnf-160var-320cl.0	SAT	0
1qbf-5cnf-20var-40cl.0	SAT	0
1qbf-5cnf-40var-640cl.9	SAT	0
6qbf-5cnf-80var-160cl.7	SAT	0
1qbf-5cnf-80var-160cl.2	SAT	0
1qbf-5cnf-20var-80cl.1	SAT	0
1qbf-5cnf-160var-320cl.4	SAT	0
1qbf-5cnf-80var-640cl.8	SAT	0
1qbf-5cnf-20var-80cl.7	SAT	0
1qbf-5cnf-40var-80cl.6	SAT	0
1qbf-5cnf-80var-640cl.7	SAT	0
3qbf-5cnf-20var-160cl.9	SAT	0.01
3qbf-5cnf-80var-320cl.1	SAT	0.01
flipflop-3-c	UNSAT	0.01
counter_8	UNSAT	0.01
impl20	SAT	0.01
comp.blif_0.10_0.20_0_1_inp_exact	UNSAT	0.01
2qbf-5cnf-20var-640cl.0	UNSAT	0.01
4qbf-5cnf-20var-320cl.3	UNSAT	0.01
5qbf-5cnf-80var-320cl.3	SAT	0.01
impl10	SAT	0.01
5qbf-5cnf-40var-1280cl.0	UNSAT	0.01
s641_d2_s	FAIL	0.01
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.01
3qbf-5cnf-160var-320cl.0	SAT	0.01
5qbf-5cnf-20var-40cl.0	SAT	0.01
5qbf-5cnf-80var-160cl.7	SAT	0.01
2qbf-5cnf-20var-320cl.0	UNSAT	0.01
5qbf-5cnf-80var-320cl.1	SAT	0.01
3qbf-5cnf-20var-320cl.9	UNSAT	0.01
6qbf-5cnf-20var-40cl.9	SAT	0.01
6qbf-5cnf-80var-320cl.7	SAT	0.01
4qbf-5cnf-20var-80cl.5	SAT	0.01
5qbf-5cnf-160var-640cl.8	SAT	0.01
6qbf-5cnf-20var-640cl.5	UNSAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
6qbf-5cnf-20var-320cl.5	UNSAT	0.01
5qbf-5cnf-40var-160cl.0	SAT	0.01
6qbf-5cnf-20var-640cl.7	UNSAT	0.01
renHorn_400CNF1200_2aQBF_28	UNSAT	0.01
lut4_XOR_fOR	UNSAT	0.01
3qbf-5cnf-160var-640cl.3	SAT	0.01
5qbf-5cnf-160var-640cl.3	SAT	0.01
5qbf-5cnf-160var-640cl.1	SAT	0.01
6qbf-5cnf-80var-320cl.1	SAT	0.01
2qbf-5cnf-40var-80cl.2	SAT	0.01
impl16	SAT	0.01
2qbf-5cnf-20var-640cl.1	UNSAT	0.01
3qbf-5cnf-40var-80cl.9	SAT	0.01
6qbf-5cnf-20var-640cl.0	UNSAT	0.01
6qbf-5cnf-80var-160cl.2	SAT	0.01
ncf_4_8_2_euad.4	UNSAT	0.01
counter_re_2	UNSAT	0.01
3qbf-5cnf-80var-160cl.7	SAT	0.01
6qbf-5cnf-160var-320cl.5	SAT	0.01
counter_e_4	UNSAT	0.01
5qbf-5cnf-40var-80cl.6	SAT	0.01
4qbf-5cnf-160var-320cl.1	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.7	SAT	0.01
4qbf-5cnf-20var-640cl.8	UNSAT	0.01
4qbf-5cnf-80var-2560cl.5	UNSAT	0.01
4qbf-5cnf-40var-1280cl.7	UNSAT	0.01
6qbf-5cnf-20var-320cl.8	UNSAT	0.01
6qbf-5cnf-160var-320cl.6	SAT	0.01
impl08	SAT	0.01
3qbf-5cnf-40var-1280cl.0	UNSAT	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-40var-1280cl.9	UNSAT	0.01
counter_r_4	UNSAT	0.01
3qbf-5cnf-80var-160cl.8	SAT	0.01
4qbf-5cnf-20var-640cl.4	UNSAT	0.01
4qbf-5cnf-20var-40cl.2	SAT	0.01
4qbf-5cnf-40var-1280cl.9	UNSAT	0.01
3qbf-5cnf-160var-640cl.0	SAT	0.01
toilet_c_08_01.8	UNSAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.01
toilet_c_08_01.16	SAT	0.01
3qbf-5cnf-80var-320cl.0	SAT	0.01
3qbf-5cnf-20var-320cl.8	UNSAT	0.01
6qbf-5cnf-20var-40cl.7	SAT	0.01
6qbf-5cnf-40var-1280cl.6	UNSAT	0.01
ncf_4_8_4_u.9	SAT	0.01
horn_400CNF1520_2aQBF_98	UNSAT	0.01
3qbf-5cnf-160var-320cl.1	SAT	0.01
4qbf-5cnf-20var-320cl.8	UNSAT	0.01
ncf_8_16_2_edau.3	UNSAT	0.01
2qbf-5cnf-40var-80cl.1	SAT	0.01
tree-exa2-10	UNSAT	0.01
4qbf-5cnf-40var-1280cl.6	UNSAT	0.01
2qbf-5cnf-80var-1280cl.5	UNSAT	0.01
4qbf-5cnf-20var-640cl.7	UNSAT	0.01
toilet_c_08_10.2	SAT	0.01
counter_r_2	UNSAT	0.01
3qbf-5cnf-80var-2560cl.5	UNSAT	0.01
2qbf-5cnf-40var-640cl.9	UNSAT	0.01
5qbf-5cnf-80var-320cl.5	SAT	0.01
ncf_8_16_2_u.8	UNSAT	0.01
5qbf-5cnf-160var-320cl.8	SAT	0.01
4qbf-5cnf-40var-80cl.3	SAT	0.01
2qbf-5cnf-20var-640cl.9	UNSAT	0.01
6qbf-5cnf-160var-320cl.9	SAT	0.01
4qbf-5cnf-40var-640cl.4	UNSAT	0.01
3qbf-5cnf-20var-80cl.5	SAT	0.01
5qbf-5cnf-80var-160cl.1	SAT	0.01
4qbf-5cnf-20var-320cl.4	UNSAT	0.01
6qbf-5cnf-80var-320cl.3	SAT	0.01
4qbf-5cnf-20var-640cl.6	UNSAT	0.01
5qbf-5cnf-40var-80cl.9	SAT	0.01
2qbf-5cnf-20var-320cl.3	UNSAT	0.01
3qbf-5cnf-20var-160cl.4	SAT	0.01
2qbf-5cnf-80var-1280cl.3	UNSAT	0.01
renHorn_400CNF1200_2aQBF_79	UNSAT	0.01
3qbf-5cnf-40var-1280cl.4	UNSAT	0.01
ncf_4_8_2_edau.4	UNSAT	0.01
3qbf-5cnf-40var-1280cl.3	UNSAT	0.01
2qbf-5cnf-80var-1280cl.6	UNSAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
2qbf-5cnf-40var-1280cl.8	UNSAT	0.01
ncf_8_16_2_d.7	SAT	0.01
counter_e_8	UNSAT	0.01
5qbf-5cnf-40var-1280cl.3	UNSAT	0.01
3qbf-5cnf-20var-640cl.3	UNSAT	0.01
5qbf-5cnf-80var-320cl.0	SAT	0.01
ncf_8_16_2_edau.7	SAT	0.01
4qbf-5cnf-20var-320cl.9	UNSAT	0.01
6qbf-5cnf-40var-80cl.2	SAT	0.01
toilet_c_10_10.2	SAT	0.01
5qbf-5cnf-20var-640cl.2	UNSAT	0.01
2qbf-5cnf-20var-640cl.7	UNSAT	0.01
5qbf-5cnf-160var-320cl.3	SAT	0.01
6qbf-5cnf-20var-640cl.6	UNSAT	0.01
tree-exa2-50	UNSAT	0.01
5qbf-5cnf-20var-80cl.8	SAT	0.01
2qbf-5cnf-40var-640cl.2	UNSAT	0.01
5qbf-5cnf-160var-640cl.6	SAT	0.01
3qbf-5cnf-40var-640cl.7	UNSAT	0.01
counter_re_8	UNSAT	0.01
2qbf-5cnf-80var-1280cl.2	UNSAT	0.01
6qbf-5cnf-160var-640cl.8	SAT	0.01
6qbf-5cnf-20var-640cl.8	UNSAT	0.01
6qbf-5cnf-80var-320cl.4	SAT	0.01
2qbf-5cnf-40var-1280cl.4	UNSAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
4qbf-5cnf-40var-1280cl.0	UNSAT	0.01
ncf_8_16_2_euad.3	UNSAT	0.01
3qbf-5cnf-20var-640cl.7	UNSAT	0.01
4qbf-5cnf-40var-1280cl.2	UNSAT	0.01
6qbf-5cnf-20var-320cl.3	UNSAT	0.01
2qbf-5cnf-80var-2560cl.5	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
4qbf-5cnf-20var-40cl.6	SAT	0.01
5qbf-5cnf-40var-160cl.2	SAT	0.01
5qbf-5cnf-20var-80cl.0	SAT	0.01
5qbf-5cnf-160var-640cl.2	SAT	0.01
5qbf-5cnf-160var-640cl.0	SAT	0.01
4qbf-5cnf-40var-1280cl.4	UNSAT	0.01
toilet_c_08_05.8	SAT	0.01
4qbf-5cnf-40var-1280cl.5	UNSAT	0.01
5qbf-5cnf-40var-1280cl.4	UNSAT	0.01
2qbf-5cnf-20var-640cl.4	UNSAT	0.01
2qbf-5cnf-40var-640cl.5	UNSAT	0.01
3qbf-5cnf-80var-160cl.3	SAT	0.01
5qbf-5cnf-40var-1280cl.1	UNSAT	0.01
2qbf-5cnf-40var-1280cl.0	UNSAT	0.01
5qbf-5cnf-160var-320cl.2	SAT	0.01
5qbf-5cnf-40var-1280cl.8	UNSAT	0.01
3qbf-5cnf-20var-40cl.7	SAT	0.01
5qbf-5cnf-80var-160cl.0	SAT	0.01
3qbf-5cnf-160var-640cl.8	SAT	0.01
6qbf-5cnf-160var-640cl.6	SAT	0.01
toilet_c_10_05.4	SAT	0.01
4qbf-5cnf-20var-80cl.7	SAT	0.01
3qbf-5cnf-40var-1280cl.9	UNSAT	0.01
6qbf-5cnf-80var-160cl.0	SAT	0.01
counter_r_8	UNSAT	0.01
6qbf-5cnf-40var-160cl.4	SAT	0.01
6qbf-5cnf-160var-640cl.7	SAT	0.01
toilet_c_08_05.4	SAT	0.01
counter_4	UNSAT	0.01
4qbf-5cnf-160var-320cl.5	SAT	0.01
3qbf-5cnf-40var-80cl.2	SAT	0.01
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
4qbf-5cnf-40var-640cl.0	UNSAT	0.01
ncf_8_16_2_d.3	UNSAT	0.01
6qbf-5cnf-160var-640cl.1	SAT	0.01
2qbf-5cnf-20var-40cl.7	SAT	0.01
tree-exa2-30	UNSAT	0.01
4qbf-5cnf-40var-80cl.1	SAT	0.01
3qbf-5cnf-160var-640cl.7	SAT	0.01
4qbf-5cnf-20var-40cl.9	SAT	0.01
3qbf-5cnf-160var-640cl.6	SAT	0.01
2qbf-5cnf-20var-640cl.8	UNSAT	0.01
k_lin_p-4	UNSAT	0.01
3qbf-5cnf-40var-80cl.4	SAT	0.01
2qbf-5cnf-40var-1280cl.9	UNSAT	0.01
2qbf-5cnf-20var-320cl.9	UNSAT	0.01
3qbf-5cnf-160var-640cl.9	SAT	0.01
ncf_8_16_2_euad.7	SAT	0.01
2qbf-5cnf-40var-1280cl.2	UNSAT	0.01
4qbf-5cnf-20var-160cl.7	UNSAT	0.01
5qbf-5cnf-40var-80cl.3	SAT	0.01
6qbf-5cnf-160var-640cl.5	SAT	0.01
5qbf-5cnf-80var-320cl.2	SAT	0.01
4qbf-5cnf-40var-640cl.8	UNSAT	0.01
2qbf-5cnf-40var-1280cl.1	UNSAT	0.01
3qbf-5cnf-80var-320cl.2	SAT	0.01
ncf_8_16_2_d.8	UNSAT	0.01
6qbf-5cnf-40var-80cl.6	SAT	0.01
2qbf-5cnf-20var-40cl.5	SAT	0.01
Adder2-2-c	UNSAT	0.01
6qbf-5cnf-160var-320cl.2	SAT	0.01
3qbf-5cnf-20var-320cl.4	UNSAT	0.01
6qbf-5cnf-80var-160cl.8	SAT	0.01
ncf_4_8_2_edau.2	SAT	0.01
2qbf-5cnf-40var-640cl.3	UNSAT	0.01
3qbf-5cnf-160var-320cl.4	SAT	0.01
6qbf-5cnf-40var-1280cl.4	UNSAT	0.01
3qbf-5cnf-20var-640cl.5	UNSAT	0.01
6qbf-5cnf-160var-640cl.0	SAT	0.01
4qbf-5cnf-40var-80cl.9	SAT	0.01
6qbf-5cnf-20var-80cl.1	SAT	0.01
TOILET7.1.iv.14	SAT	0.01
4qbf-5cnf-20var-640cl.2	UNSAT	0.01
4qbf-5cnf-20var-80cl.2	SAT	0.01
5qbf-5cnf-40var-320cl.7	SAT	0.01
2qbf-5cnf-40var-640cl.0	UNSAT	0.01
5qbf-5cnf-20var-40cl.3	SAT	0.01
horn_400CNF1280_2aQBF_841	UNSAT	0.01
6qbf-5cnf-40var-160cl.2	SAT	0.01
2qbf-5cnf-20var-40cl.4	SAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
3qbf-5cnf-160var-320cl.7	SAT	0.01
6qbf-5cnf-80var-320cl.5	SAT	0.01
2qbf-5cnf-40var-80cl.8	SAT	0.01
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.01
ncf_8_16_2_euad.8	UNSAT	0.01
6qbf-5cnf-20var-160cl.3	UNSAT	0.01
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.01
5qbf-5cnf-40var-640cl.8	UNSAT	0.01
4qbf-5cnf-20var-640cl.3	UNSAT	0.01
adder-4-unsat	UNSAT	0.01
5qbf-5cnf-160var-640cl.7	SAT	0.01
5qbf-5cnf-40var-1280cl.5	UNSAT	0.01
3qbf-5cnf-80var-320cl.6	SAT	0.01
3qbf-5cnf-160var-320cl.6	SAT	0.01
4qbf-5cnf-20var-80cl.3	SAT	0.01
5qbf-5cnf-20var-160cl.5	SAT	0.01
4qbf-5cnf-80var-160cl.9	SAT	0.01
3qbf-5cnf-160var-640cl.1	SAT	0.01
5qbf-5cnf-40var-320cl.0	SAT	0.01
5qbf-5cnf-80var-2560cl.0	UNSAT	0.01
5qbf-5cnf-160var-640cl.5	SAT	0.01
3qbf-5cnf-80var-160cl.5	SAT	0.01
3qbf-5cnf-40var-1280cl.6	UNSAT	0.01
2qbf-5cnf-80var-1280cl.9	UNSAT	0.01
3qbf-5cnf-40var-1280cl.1	UNSAT	0.01
6qbf-5cnf-20var-320cl.1	UNSAT	0.01
6qbf-5cnf-160var-320cl.1	SAT	0.01
2qbf-5cnf-40var-1280cl.3	UNSAT	0.01
3qbf-5cnf-160var-320cl.3	SAT	0.01
6qbf-5cnf-40var-1280cl.7	UNSAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
5qbf-5cnf-160var-320cl.6	SAT	0.01
TOILET2.1.iv.3	UNSAT	0.01
2qbf-5cnf-80var-640cl.2	UNSAT	0.01
4qbf-5cnf-160var-320cl.9	SAT	0.01
3qbf-5cnf-40var-640cl.4	UNSAT	0.01
2qbf-5cnf-40var-80cl.3	SAT	0.01
3qbf-5cnf-160var-640cl.4	SAT	0.01
3qbf-5cnf-20var-40cl.5	SAT	0.01
3qbf-5cnf-20var-640cl.4	UNSAT	0.01
5qbf-5cnf-40var-320cl.4	SAT	0.01
ncf_4_8_2_u.10	SAT	0.01
6qbf-5cnf-40var-160cl.0	SAT	0.01
4qbf-5cnf-40var-1280cl.1	UNSAT	0.01
1qbf-5cnf-40var-320cl.9	SAT	0.01
1qbf-5cnf-40var-80cl.7	SAT	0.01
1qbf-5cnf-40var-80cl.4	SAT	0.01
1qbf-5cnf-80var-160cl.3	SAT	0.01
1qbf-5cnf-40var-160cl.4	SAT	0.01
1qbf-5cnf-80var-640cl.5	SAT	0.01
1qbf-5cnf-20var-320cl.1	SAT	0.01
1qbf-5cnf-40var-160cl.7	SAT	0.01
1qbf-5cnf-160var-640cl.2	SAT	0.01
1qbf-5cnf-160var-1280cl.2	SAT	0.01
1qbf-5cnf-80var-640cl.1	SAT	0.01
1qbf-5cnf-160var-1280cl.1	SAT	0.01
1qbf-5cnf-40var-80cl.8	SAT	0.01
1qbf-5cnf-160var-640cl.0	SAT	0.01
1qbf-5cnf-160var-320cl.5	SAT	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-80var-640cl.6	SAT	0.01
1qbf-5cnf-160var-640cl.4	SAT	0.01
1qbf-5cnf-80var-320cl.1	SAT	0.01
1qbf-5cnf-20var-320cl.9	SAT	0.01
1qbf-5cnf-160var-640cl.8	SAT	0.01
1qbf-5cnf-40var-160cl.1	SAT	0.01
1qbf-5cnf-40var-320cl.1	SAT	0.01
1qbf-5cnf-80var-640cl.0	SAT	0.01
1qbf-5cnf-160var-1280cl.7	SAT	0.01
1qbf-5cnf-20var-80cl.0	SAT	0.01
1qbf-5cnf-20var-160cl.2	SAT	0.01
1qbf-5cnf-80var-160cl.8	SAT	0.01
1qbf-5cnf-20var-320cl.5	SAT	0.01
1qbf-5cnf-160var-640cl.7	SAT	0.01
1qbf-5cnf-40var-80cl.9	SAT	0.01
1qbf-5cnf-80var-160cl.9	SAT	0.01
1qbf-5cnf-20var-320cl.0	SAT	0.01
1qbf-5cnf-160var-1280cl.4	SAT	0.01
1qbf-5cnf-20var-40cl.1	SAT	0.01
1qbf-5cnf-40var-320cl.7	SAT	0.01
1qbf-5cnf-160var-640cl.9	SAT	0.01
1qbf-5cnf-160var-1280cl.8	SAT	0.01
1qbf-5cnf-40var-320cl.8	SAT	0.01
1qbf-5cnf-80var-320cl.5	SAT	0.01
5qbf-5cnf-40var-80cl.1	SAT	0.01
1qbf-5cnf-40var-320cl.3	SAT	0.01
1qbf-5cnf-80var-160cl.1	SAT	0.01
1qbf-5cnf-80var-160cl.5	SAT	0.01
1qbf-5cnf-160var-1280cl.0	SAT	0.01
3qbf-5cnf-40var-1280cl.5	UNSAT	0.02
ncf_8_16_2_edau.8	UNSAT	0.02
3qbf-5cnf-80var-2560cl.9	UNSAT	0.02
5qbf-5cnf-80var-640cl.7	SAT	0.02
5qbf-5cnf-40var-1280cl.7	UNSAT	0.02
2qbf-5cnf-40var-640cl.1	UNSAT	0.02
6qbf-5cnf-20var-640cl.3	UNSAT	0.02
4qbf-5cnf-20var-80cl.8	SAT	0.02
4qbf-5cnf-40var-640cl.1	UNSAT	0.02
2qbf-5cnf-80var-160cl.5	SAT	0.02
6qbf-5cnf-80var-2560cl.5	UNSAT	0.02
renHorn_400CNF1800_2aQBF_53	UNSAT	0.02
2qbf-5cnf-80var-2560cl.7	UNSAT	0.02
6qbf-5cnf-20var-640cl.4	UNSAT	0.02
6qbf-5cnf-160var-640cl.2	SAT	0.02
horn_400CNF1360_2aQBF_894	UNSAT	0.02
4qbf-5cnf-40var-160cl.7	SAT	0.02
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.02
toilet_c_10_01.20	SAT	0.02
4qbf-5cnf-80var-1280cl.5	UNSAT	0.02
4qbf-5cnf-40var-1280cl.3	UNSAT	0.02
6qbf-5cnf-40var-160cl.1	SAT	0.02
6qbf-5cnf-40var-1280cl.0	UNSAT	0.02
szymanski-4-s	UNSAT	0.02
ncf_8_16_4_edau.2	UNSAT	0.02
3qbf-5cnf-80var-2560cl.6	UNSAT	0.02
3qbf-5cnf-20var-640cl.9	UNSAT	0.02
3qbf-5cnf-80var-2560cl.0	UNSAT	0.02
5qbf-5cnf-40var-640cl.1	UNSAT	0.02
toilet_c_10_05.8	SAT	0.02
mutex-4-s	SAT	0.02
horn_400CNF1600_2aQBF_748	UNSAT	0.02
5qbf-5cnf-20var-320cl.2	UNSAT	0.02
4qbf-5cnf-80var-2560cl.4	UNSAT	0.02
6qbf-5cnf-80var-2560cl.1	UNSAT	0.02
4qbf-5cnf-80var-2560cl.0	UNSAT	0.02
2qbf-5cnf-80var-1280cl.4	UNSAT	0.02
ncf_4_8_2_euad.1	UNSAT	0.02
renHorn_400CNF1200_2aQBF_8	UNSAT	0.02
5qbf-5cnf-160var-640cl.4	SAT	0.02
3qbf-5cnf-40var-1280cl.8	UNSAT	0.02
horn_400CNF1600_2aQBF_278	UNSAT	0.02
horn_400CNF1760_2aQBF_946	UNSAT	0.02
2qbf-5cnf-80var-2560cl.4	UNSAT	0.02
6qbf-5cnf-80var-2560cl.6	UNSAT	0.02
5qbf-5cnf-80var-2560cl.6	UNSAT	0.02
3qbf-5cnf-20var-160cl.7	SAT	0.02
4qbf-5cnf-40var-640cl.5	UNSAT	0.02
5qbf-5cnf-80var-2560cl.1	UNSAT	0.02
k_ph_p-4	UNSAT	0.02
3qbf-5cnf-80var-2560cl.7	UNSAT	0.02
4qbf-5cnf-80var-2560cl.1	UNSAT	0.02
2qbf-5cnf-80var-2560cl.9	UNSAT	0.02
ncf_4_8_2_d.5	SAT	0.02
4qbf-5cnf-80var-2560cl.6	UNSAT	0.02
5qbf-5cnf-40var-320cl.2	SAT	0.02
toilet_a_08_01.4	UNSAT	0.02
2qbf-5cnf-20var-320cl.2	UNSAT	0.02
horn_400CNF1600_2aQBF_571	UNSAT	0.02
5qbf-5cnf-80var-2560cl.2	UNSAT	0.02
5qbf-5cnf-20var-640cl.3	UNSAT	0.02
4qbf-5cnf-80var-2560cl.8	UNSAT	0.02
3qbf-5cnf-40var-640cl.9	UNSAT	0.02
3qbf-5cnf-80var-2560cl.1	UNSAT	0.02
6qbf-5cnf-20var-640cl.1	UNSAT	0.02
horn_400CNF1680_2aQBF_154	UNSAT	0.02
3qbf-5cnf-20var-320cl.1	UNSAT	0.02
2qbf-5cnf-20var-160cl.3	UNSAT	0.02
3qbf-5cnf-20var-320cl.6	UNSAT	0.02
2qbf-5cnf-80var-2560cl.0	UNSAT	0.02
6qbf-5cnf-20var-640cl.9	UNSAT	0.02
6qbf-5cnf-160var-640cl.9	SAT	0.02
horn_400CNF1360_2aQBF_755	UNSAT	0.02
5qbf-5cnf-20var-320cl.6	UNSAT	0.02
4qbf-5cnf-40var-640cl.3	UNSAT	0.02
2qbf-5cnf-80var-2560cl.2	UNSAT	0.02
2qbf-5cnf-40var-1280cl.7	UNSAT	0.02
flipflop-4-c	UNSAT	0.02
4qbf-5cnf-80var-2560cl.7	UNSAT	0.02
renHorn_400CNF1480_2aQBF_21	UNSAT	0.02
horn_400CNF1920_2aQBF_721	UNSAT	0.02
6qbf-5cnf-40var-640cl.7	UNSAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
toilet_c_10_01.8	UNSAT	0.02
ncf_4_8_2_u.8	SAT	0.02
3qbf-5cnf-20var-160cl.6	SAT	0.02
ncf_4_8_2_u.5	SAT	0.02
5qbf-5cnf-80var-640cl.2	SAT	0.02
4qbf-5cnf-40var-1280cl.8	UNSAT	0.02
3qbf-5cnf-80var-2560cl.2	UNSAT	0.02
5qbf-5cnf-40var-320cl.9	SAT	0.02
6qbf-5cnf-40var-1280cl.9	UNSAT	0.02
2qbf-5cnf-80var-160cl.8	SAT	0.02
5qbf-5cnf-20var-640cl.5	UNSAT	0.02
4qbf-5cnf-80var-2560cl.3	UNSAT	0.02
6qbf-5cnf-40var-1280cl.2	UNSAT	0.02
horn_400CNF1360_2aQBF_130	UNSAT	0.02
horn_400CNF1680_2aQBF_29	UNSAT	0.02
6qbf-5cnf-160var-320cl.3	SAT	0.02
2qbf-5cnf-20var-160cl.2	UNSAT	0.02
toilet_a_08_01.2	UNSAT	0.02
horn_400CNF1920_2aQBF_927	UNSAT	0.02
5qbf-5cnf-40var-1280cl.2	UNSAT	0.02
2qbf-5cnf-80var-2560cl.1	UNSAT	0.02
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.02
horn_400CNF1520_2aQBF_53	UNSAT	0.02
2qbf-5cnf-80var-2560cl.8	UNSAT	0.02
3qbf-5cnf-20var-320cl.7	UNSAT	0.02
ncf_4_8_2_euad.5	SAT	0.02
5qbf-5cnf-160var-320cl.7	SAT	0.02
horn_400CNF2080_2aQBF_793	UNSAT	0.02
3qbf-5cnf-40var-640cl.0	UNSAT	0.02
2qbf-5cnf-80var-1280cl.8	UNSAT	0.02
ncf_4_8_2_euad.10	SAT	0.02
horn_400CNF2160_2aQBF_411	UNSAT	0.02
ncf_4_8_2_u.2	SAT	0.02
6qbf-5cnf-160var-320cl.7	SAT	0.02
3qbf-5cnf-40var-1280cl.7	UNSAT	0.02
3qbf-5cnf-80var-2560cl.3	UNSAT	0.02
6qbf-5cnf-40var-1280cl.8	UNSAT	0.02
ncf_4_8_8_d.4	UNSAT	0.02
horn_400CNF1600_2aQBF_236	UNSAT	0.02
ncf_4_8_8_edau.4	UNSAT	0.02
horn_400CNF1600_2aQBF_922	UNSAT	0.02
5qbf-5cnf-80var-160cl.6	SAT	0.02
1qbf-5cnf-40var-640cl.1	SAT	0.02
1qbf-5cnf-20var-320cl.3	SAT	0.02
1qbf-5cnf-20var-640cl.6	UNSAT	0.02
1qbf-5cnf-160var-1280cl.6	SAT	0.02
1qbf-5cnf-20var-640cl.9	UNSAT	0.02
1qbf-5cnf-20var-640cl.2	UNSAT	0.02
1qbf-5cnf-160var-1280cl.3	SAT	0.02
1qbf-5cnf-160var-1280cl.5	SAT	0.02
1qbf-5cnf-20var-640cl.1	UNSAT	0.02
6qbf-5cnf-80var-2560cl.9	UNSAT	0.03
ncf_8_16_4_d.1	SAT	0.03
2qbf-5cnf-80var-2560cl.3	UNSAT	0.03
2qbf-5cnf-160var-2560cl.6	UNSAT	0.03
ncf_4_8_2_u.1	UNSAT	0.03
renHorn_400CNF1560_2aQBF_28	UNSAT	0.03
ncf_8_16_4_euad.1	SAT	0.03
counter_16	UNSAT	0.03
horn_400CNF1760_2aQBF_726	UNSAT	0.03
horn_400CNF1760_2aQBF_484	UNSAT	0.03
horn_400CNF1840_2aQBF_401	UNSAT	0.03
flipflop-5-c	UNSAT	0.03
5qbf-5cnf-80var-2560cl.3	UNSAT	0.03
ncf_8_16_4_u.2	UNSAT	0.03
renHorn_400CNF1480_2aQBF_85	UNSAT	0.03
6qbf-5cnf-80var-2560cl.0	UNSAT	0.03
ncf_4_8_2_edau.9	SAT	0.03
3qbf-5cnf-20var-320cl.2	UNSAT	0.03
6qbf-5cnf-40var-1280cl.3	UNSAT	0.03
ncf_16_32_2_edau.9	UNSAT	0.03
horn_400CNF1840_2aQBF_215	UNSAT	0.03
2qbf-5cnf-160var-5120cl.7	UNSAT	0.03
ncf_8_16_4_edau.1	SAT	0.03
5qbf-5cnf-80var-2560cl.7	UNSAT	0.03
4qbf-5cnf-160var-5120cl.7	UNSAT	0.03
horn_400CNF2000_2aQBF_650	UNSAT	0.03
ncf_4_8_2_d.2	SAT	0.03
ncf_4_16_2_edau.10	UNSAT	0.03
ncf_4_16_2_euad.6	SAT	0.03
ncf_4_8_2_edau.1	UNSAT	0.03
6qbf-5cnf-40var-1280cl.1	UNSAT	0.03
renHorn_400CNF1800_2aQBF_36	UNSAT	0.03
ncf_8_16_4_u.1	SAT	0.03
4qbf-5cnf-20var-80cl.0	SAT	0.03
ncf_4_8_2_edau.5	SAT	0.03
3qbf-5cnf-160var-5120cl.3	UNSAT	0.03
toilet_a_08_01.8	UNSAT	0.03
ncf_4_8_4_euad.2	UNSAT	0.03
4qbf-5cnf-160var-5120cl.9	UNSAT	0.03
5qbf-5cnf-20var-160cl.2	SAT	0.03
5qbf-5cnf-80var-2560cl.4	UNSAT	0.03
horn_400CNF1440_2aQBF_117	UNSAT	0.03
horn_400CNF1680_2aQBF_91	UNSAT	0.03
horn_400CNF1760_2aQBF_10	UNSAT	0.03
4qbf-5cnf-80var-1280cl.4	UNSAT	0.03
3qbf-5cnf-80var-2560cl.4	UNSAT	0.03
toilet_c_10_05.7	SAT	0.03
TOILET10.1.iv.20	SAT	0.03
toilet_c_08_05.2	UNSAT	0.03
4qbf-5cnf-40var-640cl.6	UNSAT	0.03
renHorn_400CNF1640_2aQBF_7	UNSAT	0.03
horn_400CNF1360_2aQBF_867	UNSAT	0.03
3qbf-5cnf-80var-2560cl.8	UNSAT	0.03
4qbf-5cnf-80var-2560cl.2	UNSAT	0.03
toilet_c_08_05.10	SAT	0.03
4qbf-5cnf-80var-1280cl.8	UNSAT	0.03
4qbf-5cnf-80var-2560cl.9	UNSAT	0.03
ncf_8_16_4_d.2	UNSAT	0.03
horn_400CNF1840_2aQBF_752	UNSAT	0.03
horn_400CNF2160_2aQBF_660	UNSAT	0.03
toilet_c_10_05.2	UNSAT	0.03
2qbf-5cnf-80var-2560cl.6	UNSAT	0.03
5qbf-5cnf-40var-640cl.0	UNSAT	0.03
1qbf-5cnf-20var-640cl.3	UNSAT	0.03
1qbf-5cnf-20var-640cl.4	UNSAT	0.03
1qbf-5cnf-20var-640cl.8	UNSAT	0.03
1qbf-5cnf-20var-640cl.5	UNSAT	0.03
ncf_4_8_2_euad.8	SAT	0.04
ncf_4_8_2_edau.10	SAT	0.04
5qbf-5cnf-40var-320cl.1	SAT	0.04
horn_400CNF1520_2aQBF_165	UNSAT	0.04
2qbf-5cnf-160var-5120cl.3	UNSAT	0.04
ncf_4_8_8_u.9	UNSAT	0.04
3qbf-5cnf-40var-640cl.5	UNSAT	0.04
horn_400CNF2000_2aQBF_564	UNSAT	0.04
5qbf-5cnf-80var-2560cl.9	UNSAT	0.04
3qbf-5cnf-80var-640cl.6	UNSAT	0.04
5qbf-5cnf-40var-640cl.5	UNSAT	0.04
qshifter_3	SAT	0.04
ncf_16_32_2_u.9	UNSAT	0.04
2qbf-5cnf-160var-5120cl.2	UNSAT	0.04
4qbf-5cnf-160var-5120cl.0	UNSAT	0.04
3qbf-5cnf-160var-5120cl.5	UNSAT	0.04
2qbf-5cnf-160var-2560cl.2	UNSAT	0.04
6qbf-5cnf-20var-320cl.7	UNSAT	0.04
counter_r_16	UNSAT	0.04
3qbf-5cnf-160var-5120cl.2	UNSAT	0.04
5qbf-5cnf-160var-5120cl.3	UNSAT	0.04
5qbf-5cnf-20var-320cl.0	UNSAT	0.04
k_lin_p-8	UNSAT	0.04
renHorn_400CNF1960_2aQBF_68	UNSAT	0.04
renHorn_400CNF1960_2aQBF_50	UNSAT	0.04
2qbf-5cnf-160var-2560cl.4	UNSAT	0.04
2qbf-5cnf-160var-5120cl.9	UNSAT	0.04
toilet_c_10_05.12	SAT	0.04
5qbf-5cnf-160var-5120cl.0	UNSAT	0.04
horn_400CNF1760_2aQBF_886	UNSAT	0.04
3qbf-5cnf-20var-320cl.5	UNSAT	0.04
3qbf-5cnf-160var-5120cl.6	UNSAT	0.04
3qbf-5cnf-160var-5120cl.0	UNSAT	0.04
ncf_16_32_2_euad.9	UNSAT	0.04
2qbf-5cnf-160var-5120cl.1	UNSAT	0.04
6qbf-5cnf-160var-5120cl.4	UNSAT	0.04
ncf_4_8_4_d.2	UNSAT	0.04
6qbf-5cnf-80var-2560cl.4	UNSAT	0.04
4qbf-5cnf-160var-5120cl.1	UNSAT	0.04
6qbf-5cnf-80var-2560cl.7	UNSAT	0.04
ncf_4_8_8_euad.9	UNSAT	0.04
ncf_16_32_2_d.9	UNSAT	0.04
counter_re_16	UNSAT	0.04
2qbf-5cnf-160var-5120cl.4	UNSAT	0.04
5qbf-5cnf-20var-320cl.4	UNSAT	0.04
Adder2-2-s	SAT	0.04
counter_e_16	UNSAT	0.04
3qbf-5cnf-160var-5120cl.4	UNSAT	0.04
ncf_4_8_8_d.9	UNSAT	0.04
horn_400CNF2160_2aQBF_657	UNSAT	0.04
horn_400CNF2320_2aQBF_433	UNSAT	0.04
ncf_8_16_4_euad.2	UNSAT	0.04
5qbf-5cnf-160var-5120cl.9	UNSAT	0.04
6qbf-5cnf-80var-2560cl.2	UNSAT	0.04
5qbf-5cnf-80var-2560cl.8	UNSAT	0.04
2qbf-5cnf-160var-5120cl.6	UNSAT	0.04
ncf_4_8_8_edau.9	UNSAT	0.04
BLOCKS3iii.5	UNSAT	0.04
4qbf-5cnf-160var-5120cl.6	UNSAT	0.04
1qbf-5cnf-20var-640cl.0	UNSAT	0.04
1qbf-5cnf-40var-640cl.3	SAT	0.04
1qbf-5cnf-20var-640cl.7	UNSAT	0.04
6qbf-5cnf-160var-5120cl.8	UNSAT	0.05
ncf_4_8_2_u.7	UNSAT	0.05
5qbf-5cnf-160var-5120cl.8	UNSAT	0.05
ncf_4_8_2_d.10	SAT	0.05
6qbf-5cnf-160var-5120cl.9	UNSAT	0.05
4qbf-5cnf-160var-5120cl.3	UNSAT	0.05
3qbf-5cnf-160var-5120cl.9	UNSAT	0.05
ncf_4_16_2_d.10	UNSAT	0.05
6qbf-5cnf-160var-5120cl.6	UNSAT	0.05
3qbf-5cnf-160var-5120cl.7	UNSAT	0.05
4qbf-5cnf-160var-5120cl.4	UNSAT	0.05
4qbf-5cnf-40var-640cl.7	UNSAT	0.05
4qbf-5cnf-160var-5120cl.5	UNSAT	0.05
3qbf-5cnf-160var-5120cl.8	UNSAT	0.05
3qbf-5cnf-160var-5120cl.1	UNSAT	0.05
6qbf-5cnf-80var-1280cl.3	UNSAT	0.05
3qbf-5cnf-20var-160cl.1	SAT	0.05
horn_400CNF1360_2aQBF_310	UNSAT	0.05
4qbf-5cnf-160var-5120cl.8	UNSAT	0.05
5qbf-5cnf-20var-320cl.5	UNSAT	0.05
2qbf-5cnf-160var-5120cl.0	UNSAT	0.05
mutex-128-s	FAIL	0.05
2qbf-5cnf-80var-1280cl.1	UNSAT	0.05
2qbf-5cnf-160var-5120cl.5	UNSAT	0.05
6qbf-5cnf-40var-640cl.9	UNSAT	0.06
2qbf-5cnf-40var-80cl.7	SAT	0.06
ncf_4_16_2_d.6	SAT	0.06
5qbf-5cnf-160var-5120cl.5	UNSAT	0.06
toilet_a_08_05.2	UNSAT	0.06
renHorn_400CNF1200_2aQBF_97	UNSAT	0.06
lut4_XOR_f1	UNSAT	0.06
3qbf-5cnf-20var-320cl.0	UNSAT	0.06
4qbf-5cnf-160var-5120cl.2	UNSAT	0.06
horn_400CNF2080_2aQBF_194	UNSAT	0.06
6qbf-5cnf-80var-2560cl.3	UNSAT	0.06
5qbf-5cnf-80var-2560cl.5	UNSAT	0.06
horn_400CNF1840_2aQBF_158	UNSAT	0.06
6qbf-5cnf-160var-5120cl.1	UNSAT	0.06
5qbf-5cnf-160var-5120cl.2	UNSAT	0.06
2qbf-5cnf-160var-2560cl.3	UNSAT	0.06
6qbf-5cnf-160var-5120cl.0	UNSAT	0.06
6qbf-5cnf-160var-5120cl.5	UNSAT	0.06
2qbf-5cnf-20var-160cl.4	UNSAT	0.06
4qbf-5cnf-80var-1280cl.2	UNSAT	0.06
2qbf-5cnf-160var-5120cl.8	UNSAT	0.06
6qbf-5cnf-80var-2560cl.8	UNSAT	0.07
flipflop-6-c	UNSAT	0.07
ncf_4_8_2_d.9	SAT	0.07
5qbf-5cnf-160var-5120cl.6	UNSAT	0.07
Adder2-14-s	FAIL	0.07
ncf_4_16_2_d.9	SAT	0.07
flipflop-7-c	FAIL	0.07
ncf_4_8_2_edau.8	SAT	0.07
4qbf-5cnf-40var-320cl.3	UNSAT	0.07
adder-2-sat	SAT	0.07
3qbf-5cnf-20var-320cl.3	UNSAT	0.07
ncf_4_8_2_euad.7	UNSAT	0.07
Adder2-14-c	FAIL	0.07
1qbf-5cnf-80var-1280cl.5	SAT	0.07
6qbf-5cnf-20var-320cl.9	UNSAT	0.08
4qbf-5cnf-80var-1280cl.3	UNSAT	0.08
ncf_4_16_2_d.7	UNSAT	0.08
ncf_4_16_2_euad.9	SAT	0.08
renHorn_400CNF1280_2aQBF_22	UNSAT	0.08
1qbf-5cnf-40var-640cl.5	SAT	0.08
4qbf-5cnf-80var-1280cl.7	UNSAT	0.09
szymanski-10-s	FAIL	0.09
Adder2-16-c	FAIL	0.09
5qbf-5cnf-160var-5120cl.7	UNSAT	0.09
Adder2-16-s	FAIL	0.09
ncf_4_16_2_u.6	SAT	0.09
ncf_4_16_2_edau.9	SAT	0.09
ncf_4_8_4_edau.2	UNSAT	0.09
ncf_4_16_2_u.9	SAT	0.09
2qbf-5cnf-40var-80cl.6	SAT	0.09
5qbf-5cnf-20var-320cl.9	UNSAT	0.1
ncf_4_16_2_edau.6	SAT	0.1
6qbf-5cnf-20var-160cl.5	SAT	0.1
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.1
3qbf-5cnf-80var-640cl.0	SAT	0.1
3qbf-5cnf-40var-640cl.1	UNSAT	0.1
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.1
TOILET16.1.iv.32	SAT	0.1
1qbf-5cnf-40var-640cl.7	SAT	0.1
ncf_4_8_2_edau.7	UNSAT	0.11
ncf_8_16_2_euad.9	UNSAT	0.11
vonNeumann-ripple-carry-5-c	FAIL	0.11
szymanski-5-s	UNSAT	0.11
6qbf-5cnf-160var-5120cl.7	UNSAT	0.11
3qbf-5cnf-40var-640cl.3	UNSAT	0.11
3qbf-5cnf-40var-320cl.6	SAT	0.11
ncf_4_8_2_d.8	SAT	0.11
3qbf-5cnf-80var-1280cl.2	UNSAT	0.11
3qbf-5cnf-80var-1280cl.3	UNSAT	0.11
s27_d2_s	SAT	0.11
ncf_8_16_4_u.8	UNSAT	0.11
5qbf-5cnf-40var-640cl.4	UNSAT	0.11
ncf_4_8_4_u.2	UNSAT	0.11
5qbf-5cnf-20var-320cl.1	UNSAT	0.12
ncf_4_8_2_d.1	UNSAT	0.12
ncf_4_16_2_euad.7	SAT	0.12
4qbf-5cnf-80var-1280cl.0	UNSAT	0.12
toilet_a_10_01.2	UNSAT	0.12
toilet_a_10_01.3	UNSAT	0.12
toilet_a_10_01.4	UNSAT	0.12
C432.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.12
szymanski-12-s	FAIL	0.12
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.12
2qbf-5cnf-20var-160cl.7	UNSAT	0.12
ncf_4_8_2_u.6	SAT	0.12
4qbf-5cnf-80var-1280cl.9	UNSAT	0.12
counter_re_32	UNSAT	0.13
counter_r_32	UNSAT	0.13
C432.blif_0.10_0.20_0_1_inp_exact	UNSAT	0.13
counter_32	UNSAT	0.13
3qbf-5cnf-40var-320cl.8	UNSAT	0.13
adder-6-unsat	UNSAT	0.13
2qbf-5cnf-80var-160cl.2	SAT	0.13
6qbf-5cnf-20var-160cl.2	SAT	0.13
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.13
TOILET6.1.iv.11	UNSAT	0.14
connect_5x4_4_D	UNSAT	0.14
counter_e_32	UNSAT	0.14
6qbf-5cnf-80var-1280cl.2	UNSAT	0.14
ncf_4_8_2_euad.6	SAT	0.15
k_lin_p-16	UNSAT	0.15
2qbf-5cnf-80var-1280cl.0	UNSAT	0.15
ncf_4_8_4_euad.8	UNSAT	0.15
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.15
ncf_4_8_4_euad.6	SAT	0.15
toilet_a_10_01.8	UNSAT	0.15
flipflop-8-c	FAIL	0.15
4qbf-5cnf-40var-160cl.6	SAT	0.16
connect_5x4_4_W	UNSAT	0.16
ncf_8_16_4_u.6	UNSAT	0.16
5qbf-5cnf-160var-1280cl.7	SAT	0.16
connect_5x4_3_D	UNSAT	0.16
3qbf-5cnf-40var-640cl.6	UNSAT	0.17
ncf_4_8_4_u.6	SAT	0.17
2qbf-5cnf-80var-1280cl.7	UNSAT	0.17
connect_5x4_3_W	UNSAT	0.17
ncf_4_8_2_d.7	UNSAT	0.17
5qbf-5cnf-80var-640cl.3	SAT	0.17
2qbf-5cnf-160var-2560cl.0	UNSAT	0.18
tree-exa10-15	SAT	0.19
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	0.19
5qbf-5cnf-160var-5120cl.4	UNSAT	0.19
5qbf-5cnf-160var-1280cl.9	SAT	0.19
5qbf-5cnf-20var-320cl.8	UNSAT	0.19
2qbf-5cnf-40var-80cl.0	SAT	0.2
ncf_4_16_2_u.7	SAT	0.2
6qbf-5cnf-40var-640cl.8	UNSAT	0.2
ncf_8_16_2_euad.1	SAT	0.2
toilet_a_10_05.2	UNSAT	0.2
ncf_8_16_2_d.9	UNSAT	0.21
ncf_8_16_4_euad.8	UNSAT	0.21
ev-pr-4x4-7-3-0-0-1-lg	SAT	0.21
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.21
6qbf-5cnf-20var-160cl.1	SAT	0.21
1qbf-5cnf-40var-640cl.8	SAT	0.21
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.22
ncf_8_16_4_euad.6	UNSAT	0.22
vonNeumann-ripple-carry-6-c	FAIL	0.22
ncf_4_8_4_edau.6	SAT	0.22
ncf_4_8_4_u.3	UNSAT	0.22
term1.blif_0.10_1.00_0_1_out_exact	UNSAT	0.23
5qbf-5cnf-20var-320cl.3	UNSAT	0.23
3qbf-5cnf-20var-160cl.3	SAT	0.23
ncf_8_16_2_edau.6	UNSAT	0.24
ncf_8_16_2_d.1	SAT	0.24
6qbf-5cnf-20var-320cl.0	UNSAT	0.24
szymanski-14-s	FAIL	0.24
connect_6x5_5_W	UNSAT	0.24
6qbf-5cnf-40var-640cl.0	UNSAT	0.25
horn_400CNF2320_2aQBF_137	UNSAT	0.25
ncf_8_16_2_u.6	UNSAT	0.25
2qbf-5cnf-160var-2560cl.1	UNSAT	0.25
5qbf-5cnf-40var-320cl.5	SAT	0.25
2qbf-5cnf-160var-2560cl.8	UNSAT	0.26
3qbf-5cnf-40var-320cl.7	UNSAT	0.26
connect_6x5_5_D	UNSAT	0.26
connect_6x5_4_D	UNSAT	0.26
flipflop-9-c	FAIL	0.26
6qbf-5cnf-160var-5120cl.3	UNSAT	0.26
adder-8-unsat	UNSAT	0.27
ncf_8_16_2_euad.6	UNSAT	0.27
6qbf-5cnf-80var-1280cl.9	UNSAT	0.27
ncf_8_16_2_edau.1	SAT	0.27
ncf_8_16_2_u.1	SAT	0.28
ncf_8_16_2_d.6	UNSAT	0.29
ncf_16_32_2_u.7	UNSAT	0.29
k_dum_p-8	UNSAT	0.29
connect_6x5_3_D	UNSAT	0.29
ncf_16_32_2_euad.7	UNSAT	0.29
ev-pr-4x4-9-3-0-0-1-lg	SAT	0.3
5qbf-5cnf-20var-320cl.7	UNSAT	0.3
szymanski-6-s	UNSAT	0.3
toilet_a_08_10.2	SAT	0.31
connect_6x5_4_W	UNSAT	0.31
szymanski-16-s	FAIL	0.31
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.31
2qbf-5cnf-160var-2560cl.5	UNSAT	0.32
6qbf-5cnf-20var-160cl.8	SAT	0.32
connect_6x5_3_W	UNSAT	0.32
ncf_4_8_4_d.6	SAT	0.32
3qbf-5cnf-40var-320cl.0	SAT	0.33
TOILET7.1.iv.13	UNSAT	0.33
ncf_4_8_2_u.3	UNSAT	0.33
ncf_4_8_4_u.1	SAT	0.34
s499_d21_s	FAIL	0.34
4qbf-5cnf-160var-1280cl.3	UNSAT	0.34
vonNeumann-ripple-carry-7-c	FAIL	0.34
s499_d22_u	FAIL	0.34
s1269_d8_s	FAIL	0.34
connect_7x6_6_D	UNSAT	0.35
toilet_a_08_05.4	SAT	0.36
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	0.36
5qbf-5cnf-40var-640cl.6	UNSAT	0.36
2qbf-5cnf-20var-80cl.0	SAT	0.37
ncf_8_16_2_euad.5	UNSAT	0.37
ev-pr-4x4-11-3-0-0-1-lg	SAT	0.38
ncf_4_16_2_edau.7	SAT	0.38
3qbf-5cnf-80var-1280cl.0	UNSAT	0.39
ncf_4_8_4_euad.3	UNSAT	0.39
4qbf-5cnf-160var-2560cl.1	UNSAT	0.4
2qbf-5cnf-80var-160cl.3	SAT	0.4
k_ph_n-8	SAT	0.4
toilet_a_08_05.8	SAT	0.4
6qbf-5cnf-20var-320cl.4	UNSAT	0.4
s820_d11_u	FAIL	0.4
toilet_a_08_01.16	SAT	0.41
s1269_d10_s	FAIL	0.41
1qbf-5cnf-40var-640cl.0	SAT	0.41
toilet_a_08_05.10	SAT	0.42
s3330_d4_s	FAIL	0.42
6qbf-5cnf-40var-640cl.2	UNSAT	0.42
connect_7x6_6_W	UNSAT	0.42
2qbf-5cnf-40var-80cl.9	SAT	0.42
1qbf-5cnf-40var-640cl.2	SAT	0.42
4qbf-5cnf-40var-160cl.2	SAT	0.43
flipflop-10-c	FAIL	0.45
5qbf-5cnf-40var-640cl.2	UNSAT	0.46
ev-pr-4x4-13-3-0-0-1-lg	SAT	0.46
4qbf-5cnf-40var-160cl.4	SAT	0.47
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.47
ncf_4_8_8_u.4	SAT	0.47
2qbf-5cnf-20var-160cl.1	UNSAT	0.47
2qbf-5cnf-20var-80cl.9	SAT	0.47
2qbf-5cnf-80var-160cl.0	SAT	0.48
connect_7x6_5_D	UNSAT	0.48
connect_7x6_5_W	UNSAT	0.48
ncf_8_16_8_u.1	SAT	0.49
ncf_4_16_4_euad.9	SAT	0.49
ncf_4_16_2_edau.8	UNSAT	0.49
6qbf-5cnf-40var-640cl.6	UNSAT	0.5
szymanski-18-s	FAIL	0.51
4qbf-5cnf-20var-160cl.8	UNSAT	0.51
connect_7x6_4_W	UNSAT	0.52
connect_7x6_4_D	UNSAT	0.52
ncf_8_16_2_u.9	UNSAT	0.53
counter_64	UNSAT	0.53
ncf_8_16_8_edau.1	SAT	0.53
counter_r_64	UNSAT	0.54
counter_re_64	UNSAT	0.54
4qbf-5cnf-80var-320cl.0	SAT	0.54
ev-pr-4x4-15-3-0-0-1-lg	SAT	0.54
ncf_4_8_2_euad.3	UNSAT	0.56
connect_7x6_3_W	UNSAT	0.56
2qbf-5cnf-20var-80cl.2	SAT	0.57
ncf_4_8_4_euad.1	SAT	0.57
ncf_8_16_2_u.5	UNSAT	0.58
connect_7x6_3_D	UNSAT	0.58
ncf_4_16_4_euad.5	SAT	0.59
ncf_4_8_4_u.8	UNSAT	0.6
horn_400CNF1680_2aQBF_589	UNSAT	0.61
counter_e_64	UNSAT	0.62
ev-pr-4x4-17-3-0-0-1-lg	SAT	0.62
vonNeumann-ripple-carry-8-c	FAIL	0.62
adder-10-unsat	UNSAT	0.63
6qbf-5cnf-160var-5120cl.2	UNSAT	0.64
connect_8x7_7_D	UNSAT	0.64
s1269_d11_u	FAIL	0.64
ncf_8_16_2_edau.9	UNSAT	0.64
connect_8x7_7_W	UNSAT	0.65
4qbf-5cnf-20var-160cl.3	UNSAT	0.65
4qbf-5cnf-80var-1280cl.1	UNSAT	0.65
ncf_8_16_8_d.1	SAT	0.65
4qbf-5cnf-20var-160cl.2	UNSAT	0.65
4qbf-5cnf-20var-160cl.5	UNSAT	0.66
ncf_4_16_4_u.9	SAT	0.68
6qbf-5cnf-160var-2560cl.7	UNSAT	0.68
szymanski-20-s	FAIL	0.69
ncf_8_16_8_euad.1	SAT	0.7
2qbf-5cnf-160var-2560cl.9	UNSAT	0.71
ncf_4_8_8_euad.4	SAT	0.72
ev-pr-6x6-5-5-0-1-2-s	FAIL	0.72
flipflop-11-c	FAIL	0.73
6qbf-5cnf-40var-640cl.3	UNSAT	0.74
connect_8x7_6_D	UNSAT	0.76
6qbf-5cnf-20var-160cl.6	SAT	0.76
connect_8x7_6_W	UNSAT	0.77
2qbf-5cnf-20var-160cl.8	UNSAT	0.78
2qbf-5cnf-20var-80cl.7	SAT	0.78
6qbf-5cnf-160var-2560cl.8	UNSAT	0.79
4qbf-5cnf-160var-2560cl.2	UNSAT	0.8
k_ph_p-16	UNSAT	0.84
4qbf-5cnf-20var-160cl.0	UNSAT	0.85
1qbf-5cnf-80var-1280cl.1	SAT	0.85
s510_d32_s	FAIL	0.86
k_path_p-4	UNSAT	0.86
connect_8x7_5_D	UNSAT	0.86
horn_400CNF2160_2aQBF_976	UNSAT	0.87
4qbf-5cnf-160var-2560cl.7	UNSAT	0.88
connect_8x7_5_W	UNSAT	0.88
1qbf-5cnf-40var-640cl.4	SAT	0.89
CHAIN12v.13	SAT	0.91
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	0.92
2qbf-5cnf-20var-80cl.3	SAT	0.93
ncf_4_8_4_euad.4	UNSAT	0.93
3qbf-5cnf-40var-320cl.3	SAT	0.94
vonNeumann-ripple-carry-9-c	FAIL	0.96
szymanski-22-s	FAIL	0.96
connect_9x8_8_D	UNSAT	0.97
ncf_4_8_2_edau.6	SAT	0.98
2qbf-5cnf-20var-160cl.5	UNSAT	0.98
2qbf-5cnf-20var-80cl.4	SAT	0.98
connect_9x8_8_W	UNSAT	0.99
ncf_4_8_4_edau.1	SAT	1.01
ev-pr-6x6-7-5-0-1-2-s	FAIL	1.01
2qbf-5cnf-20var-80cl.5	SAT	1.02
ncf_8_16_4_edau.8	UNSAT	1.02
2qbf-5cnf-20var-160cl.0	UNSAT	1.03
4qbf-5cnf-160var-2560cl.6	UNSAT	1.03
term1.blif_0.10_0.20_0_1_out_exact	SAT	1.06
horn_400CNF1840_2aQBF_340	UNSAT	1.07
4qbf-5cnf-160var-2560cl.3	UNSAT	1.12
6qbf-5cnf-160var-2560cl.5	UNSAT	1.12
2qbf-5cnf-20var-80cl.1	SAT	1.13
2qbf-5cnf-20var-80cl.6	SAT	1.13
3qbf-5cnf-80var-1280cl.4	UNSAT	1.15
5qbf-5cnf-160var-5120cl.1	UNSAT	1.16
5qbf-5cnf-160var-1280cl.5	SAT	1.16
flipflop-12-c	FAIL	1.18
connect_9x8_7_D	UNSAT	1.19
5qbf-5cnf-80var-1280cl.9	UNSAT	1.19
connect_9x8_7_W	UNSAT	1.2
6qbf-5cnf-80var-1280cl.8	UNSAT	1.22
szymanski-24-s	FAIL	1.24
1qbf-5cnf-40var-640cl.6	SAT	1.26
ncf_4_16_4_u.5	SAT	1.27
5qbf-5cnf-80var-1280cl.7	UNSAT	1.27
connect_9x8_6_W	UNSAT	1.28
6qbf-5cnf-40var-640cl.5	UNSAT	1.28
3qbf-5cnf-40var-640cl.2	UNSAT	1.28
C880.blif_0.10_1.00_0_1_out_exact	SAT	1.28
5qbf-5cnf-40var-640cl.9	UNSAT	1.3
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	1.3
connect_9x8_6_D	UNSAT	1.31
2qbf-5cnf-20var-80cl.8	SAT	1.31
4qbf-5cnf-20var-160cl.4	UNSAT	1.32
ev-pr-6x6-9-5-0-1-2-s	FAIL	1.33
6qbf-5cnf-20var-160cl.9	SAT	1.35
vonNeumann-ripple-carry-10-c	FAIL	1.36
s510_d46_s	FAIL	1.36
ncf_16_32_2_edau.7	UNSAT	1.36
connect_8x7_4_D	UNSAT	1.37
connect_8x7_4_W	UNSAT	1.37
connect_8x7_3_W	UNSAT	1.41
2qbf-5cnf-40var-160cl.6	UNSAT	1.46
4qbf-5cnf-40var-160cl.9	SAT	1.49
3qbf-5cnf-40var-320cl.2	SAT	1.51
connect_8x7_3_D	UNSAT	1.51
2qbf-5cnf-20var-160cl.9	UNSAT	1.53
6qbf-5cnf-20var-160cl.4	SAT	1.54
ncf_8_16_2_u.10	SAT	1.57
s510_d47_u	FAIL	1.59
ev-pr-6x6-11-5-0-1-2-s	FAIL	1.6
s3330_d8_s	FAIL	1.63
3qbf-5cnf-80var-1280cl.1	UNSAT	1.66
ncf_8_16_2_euad.4	SAT	1.69
ncf_4_8_4_u.10	SAT	1.71
4qbf-5cnf-40var-160cl.0	SAT	1.75
szymanski-8-s	UNSAT	1.78
C499.blif_0.10_0.20_0_1_inp_exact	UNSAT	1.81
s3330_d9_s	FAIL	1.83
2qbf-5cnf-160var-2560cl.7	UNSAT	1.86
ncf_8_16_2_d.4	SAT	1.87
k_ph_p-8	UNSAT	1.92
vonNeumann-ripple-carry-11-c	FAIL	1.94
connect_9x8_5_D	UNSAT	1.95
connect_9x8_5_W	UNSAT	1.95
ncf_4_8_4_edau.8	UNSAT	1.95
ev-pr-6x6-13-5-0-1-2-s	FAIL	1.97
robots_1_5_5_24.2	SAT	1.97
4qbf-5cnf-160var-2560cl.8	UNSAT	2.02
3qbf-5cnf-80var-1280cl.6	UNSAT	2.03
robots_1_5_2_81.2	SAT	2.03
connect_9x8_4_D	UNSAT	2.04
robots_1_5_2_85.2	SAT	2.05
ncf_16_32_2_d.7	UNSAT	2.06
CHAIN13v.14	SAT	2.06
robots_1_5_2_49.2	SAT	2.06
2qbf-5cnf-20var-160cl.6	UNSAT	2.06
connect_9x8_4_W	UNSAT	2.08
connect_9x8_3_W	UNSAT	2.11
adder-12-unsat	UNSAT	2.12
connect_9x8_3_D	UNSAT	2.12
ncf_8_16_4_euad.10	SAT	2.13
robots_1_5_5_61.2	SAT	2.23
robots_1_5_4_81.2	SAT	2.23
ncf_8_16_2_euad.10	SAT	2.23
robots_1_5_5_75.2	SAT	2.24
robots_1_5_5_62.2	SAT	2.24
robots_1_5_4_75.2	SAT	2.25
robots_1_5_3_100.2	SAT	2.25
robots_1_5_5_38.2	SAT	2.25
ev-pr-6x6-15-5-0-1-2-s	FAIL	2.25
robots_1_5_4_100.2	SAT	2.25
5qbf-5cnf-80var-1280cl.3	UNSAT	2.26
robots_1_5_2_47.2	SAT	2.26
robots_1_5_4_44.2	SAT	2.27
robots_1_5_4_73.2	SAT	2.27
robots_1_5_3_51.2	SAT	2.28
robots_1_5_2_100.2	SAT	2.28
robots_1_5_5_56.2	SAT	2.28
robots_1_5_2_28.2	SAT	2.29
robots_1_5_5_15.2	SAT	2.3
robots_1_5_3_25.2	SAT	2.3
robots_1_5_2_31.2	SAT	2.3
ncf_4_8_4_u.5	SAT	2.32
3qbf-5cnf-40var-320cl.9	SAT	2.32
2qbf-5cnf-80var-160cl.1	SAT	2.35
3qbf-5cnf-40var-320cl.4	SAT	2.36
s3330_d10_u	FAIL	2.38
ncf_4_8_2_d.6	SAT	2.42
5qbf-5cnf-40var-640cl.7	UNSAT	2.44
robots_1_5_3_52.2	SAT	2.44
6qbf-5cnf-80var-1280cl.1	UNSAT	2.44
robots_1_5_5_100.2	SAT	2.44
robots_1_5_4_52.2	SAT	2.45
robots_1_5_4_32.2	SAT	2.47
robots_1_5_2_10.2	SAT	2.47
robots_1_5_5_31.2	SAT	2.47
robots_1_5_5_97.2	SAT	2.47
robots_1_5_4_71.2	SAT	2.47
robots_1_5_3_7.2	SAT	2.48
robots_1_5_3_26.2	SAT	2.48
robots_1_5_3_62.2	SAT	2.49
robots_1_5_3_30.2	SAT	2.5
robots_1_5_3_91.2	SAT	2.5
ev-pr-6x6-17-5-0-1-2-s	FAIL	2.51
robots_1_5_4_59.2	SAT	2.51
robots_1_5_2_33.2	SAT	2.51
3qbf-5cnf-160var-2560cl.7	UNSAT	2.52
robots_1_5_2_14.2	SAT	2.52
robots_1_5_3_80.2	SAT	2.53
robots_1_5_4_22.2	SAT	2.54
toilet_c_10_01.16	UNSAT	2.56
vonNeumann-ripple-carry-12-c	FAIL	2.72
5qbf-5cnf-40var-640cl.3	UNSAT	2.85
ev-pr-6x6-19-5-0-1-2-s	FAIL	2.87
k_ph_n-16	UNSAT	2.93
k_lin_p-12	UNSAT	2.93
6qbf-5cnf-80var-1280cl.0	UNSAT	2.95
ncf_4_8_8_u.2	UNSAT	2.98
C499.blif_0.10_0.20_0_0_inp_exact	UNSAT	3.06
C880.blif_0.10_1.00_0_0_inp_exact	UNSAT	3.09
toilet_a_10_01.16	UNSAT	3.13
ncf_4_16_2_edau.3	UNSAT	3.14
3qbf-5cnf-40var-320cl.5	UNSAT	3.16
4qbf-5cnf-160var-2560cl.9	UNSAT	3.2
ncf_4_8_4_euad.10	SAT	3.31
6qbf-5cnf-40var-640cl.1	UNSAT	3.34
k_ph_n-20	UNSAT	3.36
ncf_4_8_2_edau.3	UNSAT	3.4
k_ph_p-20	UNSAT	3.44
ncf_8_16_2_u.4	SAT	3.47
4qbf-5cnf-20var-160cl.6	UNSAT	3.62
4qbf-5cnf-80var-1280cl.6	UNSAT	3.62
k_ph_n-21	UNSAT	3.62
6qbf-5cnf-80var-1280cl.5	UNSAT	3.64
vonNeumann-ripple-carry-13-c	FAIL	3.66
ncf_4_8_4_u.7	UNSAT	3.75
ncf_4_8_4_edau.3	UNSAT	3.78
ncf_4_8_4_u.4	UNSAT	3.78
ncf_8_16_4_edau.6	UNSAT	3.8
6qbf-5cnf-20var-320cl.2	UNSAT	3.94
mutex-8-s	SAT	3.98
k_ph_p-21	UNSAT	4.19
k_dum_p-4	UNSAT	4.31
4qbf-5cnf-20var-160cl.1	UNSAT	4.39
3qbf-5cnf-80var-1280cl.7	UNSAT	4.4
ncf_8_16_4_d.8	UNSAT	4.46
C880.blif_0.10_0.20_0_1_inp_exact	UNSAT	4.49
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	4.66
adder-14-unsat	UNSAT	4.83
ncf_8_16_2_edau.4	SAT	4.85
ncf_4_16_2_u.4	SAT	4.98
4qbf-5cnf-40var-160cl.8	SAT	5.22
ncf_8_16_4_u.10	SAT	5.3
CHAIN14v.15	SAT	5.34
k_grz_n-4	SAT	5.53
k_dum_p-12	UNSAT	5.7
horn_400CNF1440_2aQBF_829	UNSAT	5.81
robots_1_5_5_66.4	SAT	5.81
robots_1_5_5_26.4	SAT	5.88
ncf_8_16_4_d.6	UNSAT	5.96
robots_1_5_2_85.4	SAT	6.01
robots_1_5_2_3.4	SAT	6.03
robots_1_5_2_21.4	SAT	6.07
ncf_4_8_4_edau.10	SAT	6.07
ncf_4_8_4_d.8	UNSAT	6.16
ncf_4_16_4_edau.9	SAT	6.37
vonNeumann-ripple-carry-15-c	FAIL	6.6
k_lin_p-20	UNSAT	6.66
ncf_4_8_4_euad.5	SAT	6.72
C880.blif_0.10_1.00_0_1_inp_exact	SAT	6.76
k_lin_n-4	SAT	6.84
tree-exa10-20	SAT	6.9
ncf_8_32_4_edau.4	UNSAT	7.16
2qbf-5cnf-80var-160cl.9	SAT	7.32
5qbf-5cnf-80var-1280cl.5	UNSAT	7.69
ncf_8_16_2_edau.5	UNSAT	7.75
6qbf-5cnf-160var-2560cl.9	UNSAT	7.88
5qbf-5cnf-80var-1280cl.6	UNSAT	8
ncf_4_16_2_euad.4	SAT	8.02
renHorn_400CNF1200_2aQBF_2	UNSAT	8.1
ncf_8_16_2_d.5	UNSAT	8.22
ncf_8_16_2_edau.10	SAT	8.35
ncf_4_16_8_d.10	UNSAT	8.36
3qbf-5cnf-80var-640cl.9	SAT	8.39
5qbf-5cnf-40var-320cl.8	SAT	8.62
lognBWLARGEA1	UNSAT	9.25
ncf_4_16_4_u.1	SAT	9.44
k_path_n-4	SAT	9.82
k_grz_p-4	UNSAT	9.94
2qbf-5cnf-40var-320cl.9	UNSAT	9.98
3qbf-5cnf-40var-320cl.1	SAT	10.09
BLOCKS3iii.4	UNSAT	10.53
k_ph_n-12	SAT	10.54
3qbf-5cnf-160var-2560cl.9	UNSAT	10.55
2qbf-5cnf-80var-160cl.6	SAT	10.63
4qbf-5cnf-160var-2560cl.0	UNSAT	10.64
3qbf-5cnf-80var-1280cl.8	UNSAT	10.99
1qbf-5cnf-80var-1280cl.0	SAT	10.99
BLOCKS3ii.4.3	UNSAT	11.25
CHAIN15v.16	SAT	11.31
6qbf-5cnf-20var-160cl.0	SAT	11.37
ncf_4_8_8_euad.7	UNSAT	11.38
2qbf-5cnf-40var-320cl.6	UNSAT	11.48
ncf_4_8_2_d.3	UNSAT	11.89
ncf_8_16_4_edau.10	SAT	12.01
ncf_4_16_2_d.3	UNSAT	12.08
renHorn_400CNF1480_2aQBF_98	SAT	12.22
5qbf-5cnf-80var-1280cl.4	UNSAT	13.06
C880.blif_0.10_0.20_0_0_inp_exact	UNSAT	13.23
ncf_4_8_4_euad.7	UNSAT	13.38
3qbf-5cnf-80var-640cl.7	UNSAT	13.78
ncf_4_16_4_d.9	UNSAT	13.81
k_d4_p-4	UNSAT	13.97
horn_400CNF1520_2aQBF_405	UNSAT	14.36
2qbf-5cnf-40var-320cl.0	UNSAT	14.38
5qbf-5cnf-160var-1280cl.6	SAT	14.56
5qbf-5cnf-80var-640cl.6	SAT	14.67
ncf_4_16_4_euad.1	SAT	14.71
BLOCKS3ii.5.2	UNSAT	14.81
6qbf-5cnf-160var-2560cl.0	UNSAT	15
C499.blif_0.10_0.20_0_1_out_exact	UNSAT	15.17
2qbf-5cnf-80var-160cl.4	SAT	15.48
1qbf-5cnf-40var-1280cl.6	UNSAT	15.76
k_lin_p-21	UNSAT	16.03
3qbf-5cnf-160var-1280cl.5	UNSAT	16.59
1qbf-5cnf-40var-1280cl.2	UNSAT	16.68
ncf_8_16_2_u.2	UNSAT	17.01
renHorn_400CNF1720_2aQBF_20	UNSAT	17.27
ncf_8_16_2_euad.2	UNSAT	17.29
ncf_8_16_2_d.2	UNSAT	17.51
1qbf-5cnf-40var-1280cl.8	UNSAT	17.64
ncf_8_16_2_edau.2	UNSAT	17.75
1qbf-5cnf-40var-1280cl.3	UNSAT	18.01
ncf_4_8_4_d.10	UNSAT	18.53
robots_1_5_5_66.8	SAT	18.56
4qbf-5cnf-20var-160cl.9	SAT	18.61
ncf_4_8_4_edau.4	UNSAT	20.26
ncf_4_8_4_edau.5	SAT	20.7
robots_1_5_3_39.8	SAT	20.94
ncf_4_16_4_d.5	SAT	21.16
robots_1_5_2_75.8	SAT	21.56
3qbf-5cnf-80var-1280cl.5	UNSAT	22
ncf_4_16_4_edau.5	SAT	22.08
adder-16-unsat	UNSAT	22.23
1qbf-5cnf-40var-1280cl.5	UNSAT	22.31
ncf_4_32_4_edau.2	UNSAT	22.64
2qbf-5cnf-80var-160cl.7	SAT	23.35
ncf_4_8_8_u.3	SAT	23.8
robots_1_5_2_100.4	SAT	23.81
ncf_4_16_4_u.8	SAT	24.31
ncf_8_16_4_d.10	SAT	24.64
toilet_a_10_10.2	SAT	24.77
toilet_a_10_05.4	SAT	25.58
1qbf-5cnf-160var-2560cl.7	FAIL	26.25
4qbf-5cnf-160var-2560cl.5	UNSAT	26.65
CHAIN16v.17	SAT	26.66
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	26.76
toilet_a_10_01.20	SAT	27.46
ncf_4_8_8_edau.10	UNSAT	27.58
1qbf-5cnf-160var-2560cl.0	FAIL	28.26
1qbf-5cnf-40var-1280cl.7	UNSAT	28.54
1qbf-5cnf-160var-5120cl.3	FAIL	28.88
1qbf-5cnf-80var-1280cl.3	FAIL	29.78
1qbf-5cnf-160var-2560cl.3	FAIL	31.16
1qbf-5cnf-160var-5120cl.9	FAIL	31.44
ncf_4_8_4_d.3	UNSAT	31.56
ncf_4_16_2_u.2	SAT	31.59
1qbf-5cnf-160var-5120cl.6	FAIL	31.77
1qbf-5cnf-160var-5120cl.1	FAIL	31.91
1qbf-5cnf-40var-1280cl.0	UNSAT	32.3
5qbf-5cnf-40var-320cl.3	SAT	32.89
1qbf-5cnf-160var-5120cl.7	FAIL	32.93
1qbf-5cnf-40var-1280cl.9	UNSAT	34.14
1qbf-5cnf-160var-2560cl.1	FAIL	34.23
1qbf-5cnf-160var-5120cl.8	FAIL	34.42
ncf_8_16_8_u.8	UNSAT	34.54
1qbf-5cnf-80var-1280cl.9	FAIL	35.21
1qbf-5cnf-160var-5120cl.0	FAIL	35.55
3qbf-5cnf-160var-2560cl.5	FAIL	35.56
1qbf-5cnf-160var-5120cl.4	FAIL	35.77
1qbf-5cnf-160var-2560cl.5	FAIL	35.79
robots_1_5_2_80.4	SAT	36.13
robots_1_5_2_2.4	SAT	36.72
1qbf-5cnf-160var-5120cl.5	FAIL	37.04
1qbf-5cnf-80var-1280cl.4	FAIL	37.64
horn_400CNF1520_2aQBF_625	UNSAT	37.92
1qbf-5cnf-40var-1280cl.1	UNSAT	37.92
BLOCKS3ii.5.3	FAIL	39.37
1qbf-5cnf-80var-2560cl.7	FAIL	39.41
6qbf-5cnf-40var-640cl.4	UNSAT	39.51
k_ph_p-12	UNSAT	39.66
lognBWLARGEB1	UNSAT	40.03
5qbf-5cnf-40var-320cl.6	SAT	40.26
1qbf-5cnf-160var-5120cl.2	FAIL	41.87
2qbf-5cnf-160var-320cl.5	SAT	41.93
1qbf-5cnf-160var-2560cl.9	FAIL	42.26
1qbf-5cnf-160var-2560cl.8	FAIL	42.42
1qbf-5cnf-80var-1280cl.7	FAIL	42.51
1qbf-5cnf-80var-2560cl.2	FAIL	43.05
ncf_4_16_4_euad.8	SAT	44.32
1qbf-5cnf-80var-1280cl.8	FAIL	44.4
BLOCKS4ii.6.3	FAIL	44.51
lut4_3_fAND	FAIL	44.56
1qbf-5cnf-160var-2560cl.4	FAIL	44.66
4qbf-5cnf-160var-2560cl.4	UNSAT	45.43
robots_1_5_3_44.4	SAT	45.82
1qbf-5cnf-160var-2560cl.2	FAIL	45.85
renHorn_400CNF1360_2aQBF_35	UNSAT	46.16
1qbf-5cnf-80var-2560cl.6	FAIL	46.28
ncf_4_16_2_u.5	UNSAT	46.54
robots_1_5_2_45.4	SAT	47.17
robots_1_5_4_50.4	SAT	47.38
horn_400CNF1360_2aQBF_788	SAT	47.54
robots_1_5_4_30.4	SAT	47.64
1qbf-5cnf-80var-1280cl.2	FAIL	47.69
renHorn_400CNF1560_2aQBF_2	UNSAT	47.94
ncf_4_8_4_d.1	SAT	48.11
1qbf-5cnf-80var-2560cl.8	FAIL	48.24
robots_1_5_4_31.4	SAT	48.52
4qbf-5cnf-80var-320cl.6	SAT	48.68
robots_1_5_5_87.4	SAT	48.93
robots_1_5_4_100.4	SAT	49.11
BLOCKS3i.5.3	FAIL	49.14
1qbf-5cnf-160var-2560cl.6	FAIL	49.51
robots_1_5_3_16.4	SAT	49.76
1qbf-5cnf-80var-2560cl.3	FAIL	49.93
1qbf-5cnf-80var-2560cl.1	FAIL	50.66
robots_1_5_3_100.4	SAT	50.71
robots_1_5_2_99.4	SAT	51.14
Adder2-4-c	FAIL	51.22
k_dum_n-4	SAT	51.26
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	52.6
ncf_4_8_8_u.7	UNSAT	53.41
k_grz_n-8	SAT	53.65
ncf_4_8_8_u.10	SAT	54.36
5qbf-5cnf-160var-2560cl.2	FAIL	54.98
3qbf-5cnf-160var-2560cl.2	UNSAT	56.62
1qbf-5cnf-80var-2560cl.5	FAIL	56.77
1qbf-5cnf-80var-2560cl.9	FAIL	56.79
ncf_4_8_4_d.4	UNSAT	57.76
ncf_4_8_8_euad.3	SAT	58.87
1qbf-5cnf-80var-2560cl.4	FAIL	59.19
5qbf-5cnf-160var-2560cl.4	FAIL	59.89
CHAIN17v.18	SAT	60.09
ncf_4_16_2_euad.2	SAT	60.24
1qbf-5cnf-80var-2560cl.0	FAIL	60.62
lut4_2_f2	FAIL	63.4
lut4_2_fXOR	FAIL	63.8
lut4_2_f1	FAIL	63.82
robots_1_5_4_98.4	SAT	64.4
robots_1_5_4_87.4	SAT	64.92
ncf_8_16_8_euad.7	UNSAT	65.12
1qbf-5cnf-80var-1280cl.6	FAIL	66.74
5qbf-5cnf-80var-640cl.1	UNSAT	66.88
robots_1_5_4_46.4	SAT	67.49
1qbf-5cnf-40var-1280cl.4	FAIL	67.53
BLOCKS3i.5.4	FAIL	68.4
robots_1_5_3_66.4	SAT	68.73
ncf_8_16_8_u.7	UNSAT	69.23
BLOCKS4i.6.4	FAIL	69.83
ncf_4_8_8_edau.7	UNSAT	70.25
5qbf-5cnf-80var-1280cl.2	UNSAT	70.26
ncf_4_32_2_euad.2	SAT	70.91
lut4_AND_fXOR	FAIL	73.23
lut4_AND_f1	FAIL	73.3
6qbf-5cnf-160var-2560cl.2	FAIL	75.53
robots_1_5_3_2.4	SAT	76.07
ncf_4_16_4_d.6	UNSAT	76.59
robots_1_5_4_91.4	SAT	76.65
robots_1_5_5_30.4	SAT	77.44
robots_1_5_4_2.4	SAT	77.9
BLOCKS4iii.7	FAIL	78.2
robots_1_5_2_82.4	SAT	79.72
Adder2-6-c	FAIL	80.23
robots_1_5_5_45.4	SAT	80.47
ncf_8_16_2_d.10	SAT	80.83
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	82.48
robots_1_5_3_24.4	SAT	83.96
ncf_4_16_2_edau.2	SAT	84.25
robots_1_5_3_57.4	SAT	84.38
robots_1_5_3_20.4	SAT	84.46
5qbf-5cnf-160var-2560cl.8	FAIL	85.11
5qbf-5cnf-160var-2560cl.9	FAIL	86.61
renHorn_400CNF1480_2aQBF_62	SAT	86.63
robots_1_5_2_39.4	SAT	88.18
BLOCKS4iii.6	FAIL	88.25
ncf_4_8_8_u.5	UNSAT	89.17
qshifter_4	SAT	89.72
5qbf-5cnf-160var-1280cl.0	SAT	89.94
k_grz_p-8	UNSAT	91.21
4qbf-5cnf-160var-1280cl.9	UNSAT	96.01
k_lin_n-8	SAT	96.21
robots_1_5_4_51.4	SAT	96.41
robots_1_5_5_34.4	SAT	96.54
robots_1_5_3_78.4	SAT	97.43
horn_400CNF1920_2aQBF_704	UNSAT	97.95
ncf_4_16_2_d.1	UNSAT	99.83
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	101.19
ncf_4_32_2_u.2	SAT	101.35
BLOCKS4ii.7.2	FAIL	102.31
renHorn_400CNF1280_2aQBF_56	UNSAT	103.04
robots_1_5_3_52.4	SAT	104.14
robots_1_5_5_100.4	SAT	105.65
4qbf-5cnf-40var-320cl.4	UNSAT	108.42
ncf_8_32_4_d.2	UNSAT	109.05
robots_1_5_5_93.4	SAT	109.84
robots_1_5_5_12.4	SAT	110.98
3qbf-5cnf-160var-2560cl.3	FAIL	112.08
robots_1_5_5_8.4	SAT	113.35
BLOCKS3i.4.4	FAIL	114.55
connect_5x4_4_R	UNSAT	116.68
k_dum_p-16	UNSAT	118.8
5qbf-5cnf-160var-2560cl.7	FAIL	122.8
k_lin_n-16	UNSAT	123.04
C880.blif_0.10_1.00_0_0_out_exact	UNSAT	127.79
6qbf-5cnf-160var-2560cl.6	FAIL	128.15
5qbf-5cnf-160var-2560cl.0	FAIL	130.46
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	130.6
horn_400CNF2320_2aQBF_420	UNSAT	130.65
3qbf-5cnf-80var-1280cl.9	FAIL	131.61
k_lin_n-12	UNSAT	135.63
5qbf-5cnf-160var-2560cl.6	FAIL	136.46
ncf_8_16_4_euad.7	SAT	137.84
Adder2-8-c	FAIL	138.27
3qbf-5cnf-160var-2560cl.4	FAIL	138.35
6qbf-5cnf-160var-2560cl.4	FAIL	140.5
ncf_4_16_2_edau.4	SAT	143.08
CHAIN18v.19	SAT	143.51
ncf_4_8_4_edau.7	UNSAT	144.48
ncf_4_16_2_u.8	SAT	148.33
2qbf-5cnf-40var-320cl.8	UNSAT	148.96
renHorn_400CNF1280_2aQBF_3	SAT	148.97
5qbf-5cnf-160var-2560cl.3	FAIL	149.95
ncf_4_8_8_u.1	SAT	152.06
ncf_8_16_4_u.7	SAT	156.87
horn_400CNF1600_2aQBF_26	UNSAT	159.73
ncf_4_32_2_edau.2	SAT	167.88
2qbf-5cnf-40var-320cl.3	UNSAT	172.88
4qbf-5cnf-40var-320cl.1	UNSAT	173.2
connect_5x4_3_R	UNSAT	177.27
ncf_4_16_2_euad.10	UNSAT	180.16
ncf_4_32_2_u.6	UNSAT	185.41
3qbf-5cnf-160var-2560cl.6	FAIL	188.49
3qbf-5cnf-160var-2560cl.0	UNSAT	188.58
renHorn_400CNF1200_2aQBF_85	SAT	194.32
ncf_16_32_4_euad.9	SAT	198.84
ncf_16_32_4_u.9	SAT	200.05
renHorn_400CNF1480_2aQBF_44	UNSAT	202.83
6qbf-5cnf-80var-1280cl.7	UNSAT	213.46
4qbf-5cnf-80var-320cl.5	SAT	229.6
ncf_4_8_8_euad.5	UNSAT	238.32
ncf_8_16_4_euad.4	SAT	243.72
ncf_16_32_2_euad.6	SAT	246.49
tree-exa10-25	SAT	248.85
5qbf-5cnf-80var-1280cl.1	UNSAT	249.68
renHorn_400CNF1280_2aQBF_7	SAT	250.01
3qbf-5cnf-80var-640cl.4	SAT	253.12
ncf_4_8_4_d.5	SAT	255.92
robots_1_5_3_8.8	UNSAT	256.28
5qbf-5cnf-80var-640cl.9	SAT	256.67
3qbf-5cnf-80var-640cl.1	UNSAT	257.03
ncf_16_32_2_u.6	SAT	257.64
3qbf-5cnf-160var-2560cl.1	UNSAT	257.73
5qbf-5cnf-80var-1280cl.0	FAIL	266.01
5qbf-5cnf-160var-1280cl.2	SAT	271.06
ncf_4_8_8_euad.1	SAT	272.27
ncf_8_64_2_d.9	UNSAT	272.96
ncf_8_64_2_edau.9	UNSAT	278.78
ncf_4_16_8_edau.10	UNSAT	285.54
4qbf-5cnf-40var-320cl.9	UNSAT	285.87
ncf_16_64_2_euad.6	UNSAT	290.12
term1.blif_0.10_0.20_0_0_out_exact	FAIL	293.83
Adder2-10-c	FAIL	296.92
robots_1_5_5_33.8	UNSAT	302.1
CHAIN19v.20	SAT	303.74
ncf_16_32_2_edau.6	SAT	303.92
ncf_4_16_2_u.10	UNSAT	305.76
robots_1_5_4_56.8	UNSAT	309.06
ncf_16_32_2_d.6	SAT	310.5
horn_400CNF1520_2aQBF_600	UNSAT	314.34
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	317.12
ncf_4_8_8_edau.1	SAT	318.11
ncf_4_16_2_euad.8	SAT	329.17
4qbf-5cnf-80var-640cl.6	UNSAT	329.22
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	338.66
2qbf-5cnf-40var-320cl.1	UNSAT	345.79
4qbf-5cnf-80var-320cl.4	SAT	346.46
ncf_4_8_8_euad.2	UNSAT	353.45
Adder2-12-c	FAIL	355.59
ncf_4_32_2_d.2	SAT	359.96
ncf_4_16_2_d.8	SAT	366.18
horn_400CNF1280_2aQBF_755	SAT	371.26
s27_d3_u	UNSAT	382.39
robots_1_5_3_44.8	UNSAT	389.01
ncf_4_16_2_d.2	SAT	401.86
ev-pr-6x6-11-5-0-1-2-lg	UNSAT	434.71
robots_1_5_4_100.8	UNSAT	447.56
ncf_4_16_2_d.4	SAT	450.53
3qbf-5cnf-160var-2560cl.8	FAIL	458.37
ncf_8_32_4_edau.8	UNSAT	462.63
2qbf-5cnf-40var-320cl.4	UNSAT	464.23
comp.blif_0.10_0.20_0_0_out_exact	FAIL	478.4
horn_400CNF2080_2aQBF_584	UNSAT	480.22
2qbf-5cnf-40var-320cl.7	UNSAT	491.33
horn_400CNF1360_2aQBF_831	UNSAT	493.87
k_d4_n-4	SAT	528.06
4qbf-5cnf-40var-320cl.2	UNSAT	532.68
ncf_4_16_2_euad.5	UNSAT	535.55
horn_400CNF1440_2aQBF_925	SAT	587.37
4qbf-5cnf-80var-320cl.8	SAT	602.81
horn_400CNF1520_2aQBF_782	UNSAT	609.74
ncf_8_16_8_edau.8	UNSAT	615.2
ncf_4_8_8_edau.3	SAT	617.21
ncf_8_64_8_edau.2	UNSAT	627.22
robots_1_5_3_70.8	UNSAT	676.71
CHAIN20v.21	SAT	677.71
horn_400CNF2000_2aQBF_8	UNSAT	680.89
4qbf-5cnf-80var-640cl.7	UNSAT	703.85
5qbf-5cnf-80var-640cl.0	SAT	709.7
6qbf-5cnf-40var-320cl.2	FAIL	788.41
6qbf-5cnf-40var-320cl.5	FAIL	790.98
6qbf-5cnf-40var-320cl.6	FAIL	791.74
6qbf-5cnf-40var-320cl.8	FAIL	794.36
6qbf-5cnf-80var-640cl.2	FAIL	796.87
4qbf-5cnf-80var-320cl.7	FAIL	798.73
6qbf-5cnf-40var-320cl.7	FAIL	799.79
6qbf-5cnf-40var-320cl.0	FAIL	800.43
6qbf-5cnf-80var-640cl.0	FAIL	801.19
6qbf-5cnf-80var-640cl.1	FAIL	801.95
ncf_16_32_2_euad.1	FAIL	802.06
6qbf-5cnf-80var-640cl.4	FAIL	802.57
ncf_16_32_2_u.1	FAIL	802.67
ncf_16_32_2_euad.8	FAIL	803.06
ncf_16_32_2_euad.5	FAIL	804.44
6qbf-5cnf-80var-640cl.8	FAIL	805.52
6qbf-5cnf-80var-640cl.7	FAIL	805.88
4qbf-5cnf-80var-320cl.3	FAIL	806.05
ncf_8_16_4_u.4	SAT	807.3
6qbf-5cnf-80var-640cl.5	FAIL	807.85
ncf_16_32_2_u.5	FAIL	808.04
ncf_8_32_2_euad.4	FAIL	810.5
ncf_8_32_2_euad.2	FAIL	811.27
ncf_16_32_2_d.1	FAIL	812.1
4qbf-5cnf-80var-320cl.9	FAIL	813.61
ncf_16_32_2_d.3	FAIL	813.75
6qbf-5cnf-40var-320cl.9	FAIL	814.74
ncf_8_32_2_euad.8	FAIL	815.35
ncf_8_32_2_euad.9	FAIL	815.39
6qbf-5cnf-80var-640cl.9	FAIL	815.78
ncf_8_32_2_euad.5	FAIL	815.89
6qbf-5cnf-80var-640cl.6	FAIL	818.13
ncf_16_32_2_u.8	FAIL	818.2
2qbf-5cnf-160var-320cl.6	FAIL	818.62
ncf_8_32_2_u.9	FAIL	820.05
ncf_8_32_2_d.8	FAIL	820.29
ncf_16_32_4_u.1	FAIL	820.78
ncf_8_32_2_u.8	FAIL	820.84
ncf_16_32_2_edau.4	FAIL	821.34
2qbf-5cnf-40var-160cl.8	FAIL	821.34
2qbf-5cnf-160var-320cl.1	FAIL	821.5
4qbf-5cnf-80var-320cl.2	FAIL	821.57
ncf_8_32_2_u.5	FAIL	821.78
ncf_16_32_2_edau.8	FAIL	822.36
ncf_8_32_2_edau.8	FAIL	822.41
ncf_16_32_2_d.4	FAIL	822.42
ncf_16_32_2_edau.1	FAIL	822.65
2qbf-5cnf-160var-320cl.4	FAIL	822.66
ncf_16_32_2_d.5	FAIL	822.72
ncf_8_32_4_euad.9	FAIL	823.1
ncf_16_32_4_d.7	FAIL	823.55
4qbf-5cnf-80var-320cl.1	FAIL	823.76
ncf_16_32_4_euad.1	FAIL	823.86
ncf_16_32_2_edau.10	FAIL	824.57
2qbf-5cnf-40var-160cl.3	FAIL	824.6
2qbf-5cnf-40var-160cl.0	FAIL	824.83
ncf_16_32_2_edau.3	FAIL	825.11
ncf_16_32_2_d.8	FAIL	825.54
6qbf-5cnf-160var-1280cl.1	FAIL	825.84
ncf_16_32_2_u.2	FAIL	825.87
ncf_16_32_2_d.2	FAIL	825.91
6qbf-5cnf-160var-1280cl.0	FAIL	825.99
ncf_4_16_2_edau.5	FAIL	826
2qbf-5cnf-160var-320cl.7	FAIL	826.36
ncf_16_32_2_edau.2	FAIL	826.38
ncf_16_32_4_edau.1	FAIL	826.39
6qbf-5cnf-40var-320cl.1	FAIL	826.44
6qbf-5cnf-160var-1280cl.6	FAIL	826.56
6qbf-5cnf-40var-320cl.4	FAIL	826.85
2qbf-5cnf-160var-320cl.2	FAIL	827.37
ncf_16_32_2_d.10	FAIL	827.52
6qbf-5cnf-160var-1280cl.4	FAIL	827.67
ncf_8_32_2_d.5	FAIL	827.96
6qbf-5cnf-40var-320cl.3	FAIL	828.16
6qbf-5cnf-160var-1280cl.3	FAIL	828.27
ncf_8_16_4_edau.7	FAIL	828.48
6qbf-5cnf-160var-1280cl.8	FAIL	828.59
6qbf-5cnf-160var-1280cl.7	FAIL	828.63
ncf_8_16_4_edau.4	FAIL	828.71
2qbf-5cnf-40var-160cl.5	FAIL	828.72
2qbf-5cnf-80var-320cl.7	FAIL	828.73
4qbf-5cnf-160var-640cl.8	FAIL	829.14
4qbf-5cnf-160var-640cl.1	FAIL	829.27
4qbf-5cnf-80var-640cl.5	FAIL	829.29
6qbf-5cnf-160var-1280cl.9	FAIL	829.59
2qbf-5cnf-80var-320cl.5	FAIL	829.72
6qbf-5cnf-160var-1280cl.2	FAIL	829.73
ncf_8_32_4_euad.7	FAIL	829.97
ncf_16_32_4_d.1	FAIL	830.67
2qbf-5cnf-40var-160cl.7	FAIL	831.16
ncf_8_16_4_d.4	FAIL	831.2
2qbf-5cnf-40var-160cl.9	FAIL	831.47
ncf_4_32_4_euad.8	FAIL	831.53
ncf_8_32_2_u.4	FAIL	831.72
ncf_8_32_2_d.7	FAIL	831.77
ncf_4_16_2_edau.1	FAIL	831.83
4qbf-5cnf-80var-640cl.9	FAIL	831.86
ncf_16_32_2_u.3	FAIL	831.91
2qbf-5cnf-160var-320cl.8	FAIL	831.98
ncf_16_32_4_edau.9	FAIL	832.02
4qbf-5cnf-160var-640cl.2	FAIL	832.31
2qbf-5cnf-160var-320cl.9	FAIL	832.41
ncf_8_32_2_u.2	FAIL	832.61
2qbf-5cnf-40var-160cl.4	FAIL	832.62
ncf_4_8_8_d.5	FAIL	832.84
ncf_16_32_4_d.9	FAIL	832.86
ncf_16_32_2_euad.2	FAIL	833.29
4qbf-5cnf-160var-640cl.5	FAIL	833.31
ncf_16_32_2_u.4	FAIL	833.32
4qbf-5cnf-160var-640cl.9	FAIL	833.34
2qbf-5cnf-80var-320cl.4	FAIL	833.65
2qbf-5cnf-160var-320cl.0	FAIL	833.88
2qbf-5cnf-80var-320cl.0	FAIL	833.98
4qbf-5cnf-160var-640cl.3	FAIL	834.08
ncf_16_32_4_d.4	FAIL	834.13
horn_400CNF1200_2aQBF_539	FAIL	834.21
2qbf-5cnf-40var-160cl.1	FAIL	834.25
2qbf-5cnf-80var-320cl.1	FAIL	834.28
ncf_16_32_4_edau.7	FAIL	834.38
ncf_4_16_4_edau.8	FAIL	834.94
2qbf-5cnf-40var-160cl.2	FAIL	835.03
ncf_16_32_2_euad.3	FAIL	835.09
ncf_16_32_4_d.3	FAIL	835.16
ncf_8_16_4_edau.9	FAIL	835.47
2qbf-5cnf-80var-320cl.2	FAIL	835.86
ncf_4_8_4_d.7	FAIL	835.97
ncf_8_32_2_d.3	FAIL	836.13
ncf_8_32_4_u.7	FAIL	836.38
ncf_8_16_4_d.3	FAIL	836.49
ncf_16_64_2_d.6	FAIL	836.54
2qbf-5cnf-80var-320cl.6	FAIL	836.92
ncf_4_16_2_d.5	FAIL	837.13
ncf_16_32_4_edau.4	FAIL	837.15
ncf_4_16_4_edau.7	FAIL	837.39
2qbf-5cnf-80var-320cl.8	FAIL	837.4
ncf_16_32_2_u.10	FAIL	837.56
ncf_4_32_2_edau.8	FAIL	837.57
ncf_8_32_2_edau.5	FAIL	837.68
ncf_8_32_2_edau.3	FAIL	837.77
4qbf-5cnf-160var-640cl.4	FAIL	837.99
ncf_8_32_2_edau.7	FAIL	838.05
2qbf-5cnf-80var-320cl.3	FAIL	838.13
horn_400CNF1280_2aQBF_389	FAIL	838.15
renHorn_400CNF1280_2aQBF_62	FAIL	838.29
2qbf-5cnf-160var-640cl.5	FAIL	838.33
ncf_16_64_2_euad.1	FAIL	838.43
ncf_16_32_2_edau.5	FAIL	838.54
ncf_8_16_4_edau.3	FAIL	838.62
ncf_16_64_2_edau.1	FAIL	839.13
ncf_16_64_2_d.1	FAIL	839.18
2qbf-5cnf-80var-320cl.9	FAIL	839.21
4qbf-5cnf-160var-640cl.6	FAIL	839.32
4qbf-5cnf-160var-1280cl.1	FAIL	839.32
ncf_4_8_8_edau.5	FAIL	839.41
ncf_16_64_2_u.1	FAIL	839.48
horn_400CNF1360_2aQBF_565	FAIL	839.53
2qbf-5cnf-160var-320cl.3	FAIL	839.74
ncf_16_32_4_euad.3	FAIL	839.77
horn_400CNF1440_2aQBF_553	FAIL	839.78
ncf_4_16_4_edau.1	FAIL	839.85
ncf_4_16_4_edau.10	FAIL	839.88
ncf_8_32_4_u.9	FAIL	839.91
ncf_8_32_2_edau.10	FAIL	839.97
ncf_4_32_2_d.3	FAIL	840.04
ncf_8_16_4_d.9	FAIL	840.1
ncf_16_64_2_euad.4	FAIL	840.16
ncf_16_64_2_edau.6	FAIL	840.2
ncf_8_32_2_edau.9	FAIL	840.38
4qbf-5cnf-160var-1280cl.5	FAIL	840.38
horn_400CNF1440_2aQBF_165	FAIL	840.39
ncf_16_32_4_d.10	FAIL	840.62
2qbf-5cnf-160var-640cl.2	FAIL	840.94
ncf_8_16_4_d.7	FAIL	841.14
ncf_16_32_4_euad.7	FAIL	841.39
renHorn_400CNF1360_2aQBF_22	FAIL	841.68
horn_400CNF1440_2aQBF_147	FAIL	841.7
renHorn_400CNF1400_2aQBF_80	FAIL	841.74
ncf_8_32_2_d.2	FAIL	841.76
ncf_4_32_4_u.8	FAIL	841.79
ncf_4_8_8_d.3	FAIL	841.87
horn_400CNF1440_2aQBF_676	FAIL	842.24
horn_400CNF1440_2aQBF_737	FAIL	842.34
horn_400CNF1440_2aQBF_967	FAIL	842.41
2qbf-5cnf-40var-320cl.2	FAIL	842.49
ncf_16_32_4_edau.6	FAIL	842.72
6qbf-5cnf-160var-1280cl.5	FAIL	842.73
ncf_4_16_4_edau.2	FAIL	842.77
ncf_4_32_4_d.4	FAIL	842.79
4qbf-5cnf-80var-640cl.2	FAIL	842.82
renHorn_400CNF1360_2aQBF_96	FAIL	842.86
ncf_4_8_8_edau.2	FAIL	842.99
ncf_8_32_2_edau.6	FAIL	843.17
ncf_4_32_2_d.1	FAIL	843.28
2qbf-5cnf-160var-640cl.0	FAIL	843.28
ncf_4_16_4_d.4	FAIL	843.31
horn_400CNF1520_2aQBF_995	FAIL	843.36
renHorn_400CNF1560_2aQBF_90	FAIL	843.38
ncf_4_16_4_edau.6	FAIL	843.83
ncf_16_32_4_d.8	FAIL	843.83
ncf_8_32_2_edau.4	FAIL	843.86
ncf_8_64_2_euad.8	FAIL	843.89
ncf_8_64_2_euad.10	FAIL	844.09
ncf_4_16_4_d.7	FAIL	844.22
horn_400CNF1520_2aQBF_382	FAIL	844.23
ncf_8_64_2_euad.5	FAIL	844.25
4qbf-5cnf-160var-640cl.7	FAIL	844.25
horn_400CNF1520_2aQBF_760	FAIL	844.33
2qbf-5cnf-80var-640cl.1	FAIL	844.48
renHorn_400CNF1480_2aQBF_99	FAIL	844.52
ncf_8_32_2_d.9	FAIL	844.53
renHorn_400CNF1480_2aQBF_96	FAIL	844.56
horn_400CNF1440_2aQBF_668	FAIL	844.57
renHorn_400CNF1560_2aQBF_68	FAIL	844.69
horn_400CNF1440_2aQBF_642	FAIL	844.74
ncf_16_32_4_edau.3	FAIL	844.76
renHorn_400CNF1480_2aQBF_92	FAIL	844.84
2qbf-5cnf-160var-640cl.9	FAIL	844.85
ncf_4_16_4_edau.4	FAIL	844.91
ncf_4_8_8_edau.6	FAIL	844.91
renHorn_400CNF1560_2aQBF_47	FAIL	844.94
ncf_16_32_4_edau.10	FAIL	845.04
ncf_8_32_2_d.10	FAIL	845.22
2qbf-5cnf-160var-640cl.3	FAIL	845.46
ncf_16_32_4_u.7	FAIL	845.52
ncf_16_32_4_d.6	FAIL	845.61
horn_400CNF1520_2aQBF_702	FAIL	845.83
6qbf-5cnf-80var-640cl.3	FAIL	845.96
4qbf-5cnf-160var-640cl.0	FAIL	845.99
horn_400CNF1680_2aQBF_433	FAIL	846.08
renHorn_400CNF1560_2aQBF_96	FAIL	846.18
horn_400CNF1600_2aQBF_73	FAIL	846.19
4qbf-5cnf-160var-1280cl.2	FAIL	846.24
ncf_8_32_2_edau.1	FAIL	846.29
ncf_16_64_2_u.8	FAIL	846.3
horn_400CNF1680_2aQBF_728	FAIL	846.33
ncf_8_32_2_d.4	FAIL	846.34
ncf_16_64_2_d.8	FAIL	846.48
horn_400CNF1520_2aQBF_387	FAIL	846.51
horn_400CNF1600_2aQBF_103	FAIL	846.54
horn_400CNF1680_2aQBF_950	FAIL	846.67
ncf_8_32_2_edau.2	FAIL	846.7
ncf_4_32_2_edau.4	FAIL	846.72
horn_400CNF1600_2aQBF_331	FAIL	846.85
renHorn_400CNF1560_2aQBF_72	FAIL	846.92
ncf_8_32_2_d.6	FAIL	847.05
ncf_16_32_2_euad.4	FAIL	847.07
ncf_16_32_4_edau.8	FAIL	847.11
ncf_4_16_4_edau.3	FAIL	847.35
horn_400CNF1600_2aQBF_505	FAIL	847.39
horn_400CNF1520_2aQBF_116	FAIL	847.4
ncf_16_64_2_euad.8	FAIL	847.42
horn_400CNF1600_2aQBF_912	FAIL	847.52
renHorn_400CNF1640_2aQBF_87	FAIL	847.81
renHorn_400CNF1640_2aQBF_53	FAIL	847.83
ncf_16_64_2_d.10	FAIL	848.03
horn_400CNF1600_2aQBF_3	FAIL	848.06
renHorn_400CNF1640_2aQBF_79	FAIL	848.1
2qbf-5cnf-160var-640cl.7	FAIL	848.15
ncf_16_64_4_euad.1	FAIL	848.18
horn_400CNF1600_2aQBF_789	FAIL	848.24
2qbf-5cnf-160var-640cl.4	FAIL	848.24
horn_400CNF1600_2aQBF_956	FAIL	848.26
horn_400CNF1600_2aQBF_514	FAIL	848.38
horn_400CNF1680_2aQBF_482	FAIL	848.39
horn_400CNF1680_2aQBF_547	FAIL	848.45
horn_400CNF1680_2aQBF_503	FAIL	848.49
ncf_4_32_4_edau.4	FAIL	848.5
ncf_8_32_4_edau.1	FAIL	848.59
renHorn_400CNF1640_2aQBF_18	FAIL	848.79
ncf_16_64_2_d.7	FAIL	848.82
renHorn_400CNF1640_2aQBF_42	FAIL	848.91
ncf_8_64_2_u.5	FAIL	848.96
horn_400CNF1760_2aQBF_330	FAIL	849.09
renHorn_400CNF1720_2aQBF_79	FAIL	849.17
4qbf-5cnf-160var-1280cl.6	FAIL	849.2
ncf_8_32_4_d.6	FAIL	849.39
2qbf-5cnf-160var-640cl.6	FAIL	849.43
ncf_16_32_4_u.3	FAIL	849.45
horn_400CNF1680_2aQBF_698	FAIL	849.56
2qbf-5cnf-160var-640cl.8	FAIL	849.71
ncf_8_32_2_d.1	FAIL	849.73
ncf_4_32_2_edau.3	FAIL	849.77
2qbf-5cnf-80var-640cl.7	FAIL	849.78
renHorn_400CNF1640_2aQBF_38	FAIL	849.81
ncf_8_64_4_euad.10	FAIL	849.83
ncf_8_64_4_euad.3	FAIL	849.84
ncf_8_32_4_d.7	FAIL	849.86
horn_400CNF1680_2aQBF_286	FAIL	849.87
horn_400CNF1680_2aQBF_244	FAIL	850
horn_400CNF1760_2aQBF_996	FAIL	850.09
ncf_16_64_2_u.4	FAIL	850.1
horn_400CNF1760_2aQBF_979	FAIL	850.3
horn_400CNF1680_2aQBF_745	FAIL	850.41
horn_400CNF1680_2aQBF_695	FAIL	850.43
renHorn_400CNF1720_2aQBF_11	FAIL	850.45
2qbf-5cnf-80var-640cl.9	FAIL	850.75
renHorn_400CNF1720_2aQBF_92	FAIL	850.87
horn_400CNF1760_2aQBF_997	FAIL	850.87
ncf_8_32_4_edau.7	FAIL	850.88
4qbf-5cnf-160var-1280cl.4	FAIL	850.94
ncf_4_16_4_d.1	FAIL	851.02
ncf_8_16_8_edau.3	FAIL	851.14
horn_400CNF1760_2aQBF_188	FAIL	851.19
ncf_8_64_2_u.8	FAIL	851.24
ncf_8_32_2_u.6	FAIL	851.24
ncf_16_32_4_euad.4	FAIL	851.27
horn_400CNF1760_2aQBF_686	FAIL	851.27
ncf_8_64_4_euad.6	FAIL	851.34
horn_400CNF1840_2aQBF_514	FAIL	851.38
renHorn_400CNF1800_2aQBF_7	FAIL	851.4
ncf_4_32_2_d.4	FAIL	851.42
ncf_16_32_4_edau.2	FAIL	851.52
5qbf-5cnf-80var-640cl.8	FAIL	851.58
ncf_4_8_8_edau.8	FAIL	851.62
2qbf-5cnf-80var-640cl.5	FAIL	851.71
ncf_4_32_4_d.10	FAIL	851.72
ncf_16_32_4_u.4	FAIL	851.72
renHorn_400CNF1720_2aQBF_71	FAIL	851.74
4qbf-5cnf-160var-1280cl.8	FAIL	851.83
ncf_16_64_2_edau.8	FAIL	851.86
ncf_8_64_4_euad.2	FAIL	851.86
horn_400CNF1760_2aQBF_846	FAIL	852.01
horn_400CNF1760_2aQBF_614	FAIL	852.2
ncf_4_16_4_d.10	FAIL	852.24
renHorn_400CNF1800_2aQBF_20	FAIL	852.35
ncf_16_64_4_u.1	FAIL	852.37
ncf_8_16_8_d.6	FAIL	852.38
ncf_4_8_8_d.7	FAIL	852.43
horn_400CNF1840_2aQBF_555	FAIL	852.49
renHorn_400CNF1800_2aQBF_24	FAIL	852.53
ncf_4_8_8_d.2	FAIL	852.56
horn_400CNF1840_2aQBF_323	FAIL	852.64
ncf_16_64_2_edau.10	FAIL	852.69
ncf_4_16_8_d.1	FAIL	852.73
ncf_16_32_4_d.2	FAIL	852.76
ncf_4_16_4_d.8	FAIL	852.77
horn_400CNF1840_2aQBF_32	FAIL	852.81
2qbf-5cnf-80var-640cl.8	FAIL	852.89
ncf_8_32_4_euad.3	FAIL	852.91
ncf_8_32_4_d.1	FAIL	853.03
ncf_4_32_2_edau.1	FAIL	853.06
renHorn_400CNF1880_2aQBF_19	FAIL	853.11
horn_400CNF1840_2aQBF_547	FAIL	853.15
renHorn_400CNF1800_2aQBF_5	FAIL	853.17
ncf_16_64_2_u.6	FAIL	853.21
horn_400CNF1920_2aQBF_314	FAIL	853.23
ncf_16_32_8_d.7	FAIL	853.31
ncf_8_32_4_d.9	FAIL	853.34
ncf_8_32_4_edau.6	FAIL	853.35
horn_400CNF1840_2aQBF_329	FAIL	853.39
ncf_4_16_4_d.2	FAIL	853.41
ncf_16_32_4_edau.5	FAIL	853.47
horn_400CNF1920_2aQBF_75	FAIL	853.49
2qbf-5cnf-80var-640cl.0	FAIL	853.51
horn_400CNF1760_2aQBF_711	FAIL	853.59
ncf_8_16_8_edau.6	FAIL	853.68
ncf_8_32_4_edau.3	FAIL	853.75
2qbf-5cnf-160var-640cl.1	FAIL	853.81
ncf_16_64_2_u.10	FAIL	853.84
ncf_4_32_2_edau.5	FAIL	853.86
horn_400CNF1760_2aQBF_93	FAIL	853.92
horn_400CNF1920_2aQBF_647	FAIL	853.94
renHorn_400CNF1800_2aQBF_2	FAIL	854
ncf_16_32_4_u.10	FAIL	854.13
ncf_16_64_2_edau.7	FAIL	854.16
2qbf-5cnf-80var-640cl.4	FAIL	854.23
horn_400CNF1920_2aQBF_890	FAIL	854.24
ncf_4_32_4_edau.10	FAIL	854.27
horn_400CNF1920_2aQBF_534	FAIL	854.31
ncf_16_64_2_d.9	FAIL	854.39
ncf_4_32_4_d.1	FAIL	854.51
renHorn_400CNF1960_2aQBF_35	FAIL	854.59
renHorn_400CNF1880_2aQBF_88	FAIL	854.59
horn_400CNF1840_2aQBF_198	FAIL	854.67
horn_400CNF1920_2aQBF_583	FAIL	854.67
horn_400CNF1920_2aQBF_597	FAIL	854.7
ncf_8_64_2_u.10	FAIL	854.78
ncf_8_16_8_d.9	FAIL	854.84
horn_400CNF1920_2aQBF_952	FAIL	854.93
horn_400CNF2000_2aQBF_523	FAIL	854.94
horn_400CNF1920_2aQBF_970	FAIL	855.13
ncf_4_32_2_edau.7	FAIL	855.16
renHorn_400CNF1960_2aQBF_76	FAIL	855.17
horn_400CNF2000_2aQBF_787	FAIL	855.22
ncf_8_32_4_d.4	FAIL	855.3
renHorn_400CNF1880_2aQBF_81	FAIL	855.33
ncf_4_32_2_d.5	FAIL	855.38
horn_400CNF1920_2aQBF_603	FAIL	855.44
horn_400CNF1840_2aQBF_980	FAIL	855.51
4qbf-5cnf-80var-640cl.0	FAIL	855.78
ncf_4_32_2_edau.6	FAIL	856.16
4qbf-5cnf-40var-320cl.0	FAIL	856.24
ncf_16_64_2_euad.10	FAIL	856.25
ncf_16_64_2_u.7	FAIL	856.28
ncf_8_32_4_edau.5	FAIL	856.35
ncf_16_32_4_u.6	FAIL	856.4
ncf_8_64_4_u.2	FAIL	856.56
ncf_4_16_4_d.3	FAIL	856.65
horn_400CNF2000_2aQBF_577	FAIL	856.7
horn_400CNF2080_2aQBF_682	FAIL	856.72
5qbf-5cnf-80var-640cl.5	FAIL	856.73
renHorn_400CNF2040_2aQBF_86	FAIL	856.81
horn_400CNF2080_2aQBF_709	FAIL	856.83
2qbf-5cnf-80var-640cl.3	FAIL	856.85
horn_400CNF2080_2aQBF_176	FAIL	856.87
ncf_4_16_8_edau.7	FAIL	856.92
ncf_8_16_8_edau.4	FAIL	857
horn_400CNF2080_2aQBF_840	FAIL	857.01
horn_400CNF2000_2aQBF_702	FAIL	857.15
ncf_8_32_4_edau.10	FAIL	857.41
horn_400CNF2000_2aQBF_104	FAIL	857.45
horn_400CNF2000_2aQBF_987	FAIL	857.54
ncf_8_32_8_u.7	FAIL	857.57
renHorn_400CNF2120_2aQBF_63	FAIL	857.69
ncf_4_16_4_u.3	FAIL	857.73
ncf_4_32_2_d.8	FAIL	857.78
horn_400CNF2080_2aQBF_322	FAIL	857.79
renHorn_400CNF2040_2aQBF_100	FAIL	857.83
ncf_8_32_4_edau.2	FAIL	857.89
ncf_16_32_8_d.8	FAIL	857.97
renHorn_400CNF2040_2aQBF_59	FAIL	857.97
horn_400CNF2000_2aQBF_642	FAIL	857.99
horn_400CNF2160_2aQBF_308	FAIL	857.99
ncf_4_16_8_edau.6	FAIL	858.1
horn_400CNF2080_2aQBF_899	FAIL	858.19
ncf_8_16_8_u.6	FAIL	858.2
ncf_16_64_2_d.3	FAIL	858.23
renHorn_400CNF2040_2aQBF_11	FAIL	858.24
horn_400CNF2160_2aQBF_92	FAIL	858.4
horn_400CNF2160_2aQBF_23	FAIL	858.52
renHorn_400CNF2120_2aQBF_52	FAIL	858.55
ncf_8_32_4_edau.9	FAIL	858.61
renHorn_400CNF1960_2aQBF_41	FAIL	858.74
ncf_4_32_4_edau.6	FAIL	858.77
ncf_8_16_8_edau.10	FAIL	858.79
2qbf-5cnf-40var-320cl.5	FAIL	858.79
renHorn_400CNF2120_2aQBF_17	FAIL	858.8
horn_400CNF2000_2aQBF_878	FAIL	858.81
ncf_8_32_8_d.6	FAIL	858.84
ncf_4_32_2_edau.10	FAIL	858.85
renHorn_400CNF2120_2aQBF_88	FAIL	858.93
horn_400CNF2160_2aQBF_692	FAIL	858.99
ncf_16_64_2_edau.3	FAIL	859.01
ncf_8_16_8_edau.2	FAIL	859.05
ncf_16_32_4_euad.8	FAIL	859.1
horn_400CNF2080_2aQBF_714	FAIL	859.13
2qbf-5cnf-160var-1280cl.2	FAIL	859.14
renHorn_400CNF2120_2aQBF_21	FAIL	859.17
renHorn_400CNF1960_2aQBF_79	FAIL	859.18
ncf_4_16_8_edau.4	FAIL	859.23
renHorn_400CNF2120_2aQBF_84	FAIL	859.24
ncf_8_32_8_d.9	FAIL	859.34
ncf_16_32_8_d.5	FAIL	859.35
horn_400CNF2160_2aQBF_427	FAIL	859.41
horn_400CNF2160_2aQBF_701	FAIL	859.42
ncf_8_16_8_edau.5	FAIL	859.5
horn_400CNF2080_2aQBF_832	FAIL	859.5
horn_400CNF2000_2aQBF_456	FAIL	859.52
ncf_4_32_2_d.7	FAIL	859.62
horn_400CNF2160_2aQBF_588	FAIL	859.62
ncf_8_64_4_u.6	FAIL	859.63
renHorn_400CNF2120_2aQBF_10	FAIL	859.65
2qbf-5cnf-160var-1280cl.5	FAIL	859.66
ncf_16_128_2_euad.1	FAIL	859.67
ncf_8_64_4_u.10	FAIL	859.69
ncf_4_32_2_u.3	FAIL	859.69
ncf_16_64_4_d.8	FAIL	859.71
renHorn_400CNF2120_2aQBF_37	FAIL	859.89
renHorn_400CNF2120_2aQBF_31	FAIL	859.92
horn_400CNF2160_2aQBF_407	FAIL	860.08
renHorn_400CNF2200_2aQBF_22	FAIL	860.23
ncf_8_16_8_u.3	FAIL	860.28
ncf_16_32_8_euad.6	FAIL	860.3
ncf_8_32_4_u.10	FAIL	860.33
ncf_4_16_4_u.2	FAIL	860.35
ncf_4_16_8_d.7	FAIL	860.38
2qbf-5cnf-80var-640cl.6	FAIL	860.43
horn_400CNF2160_2aQBF_996	FAIL	860.49
renHorn_400CNF2120_2aQBF_19	FAIL	860.53
renHorn_400CNF2200_2aQBF_79	FAIL	860.68
ncf_4_32_2_edau.9	FAIL	860.77
ncf_8_32_4_d.3	FAIL	860.86
ncf_8_64_2_d.6	FAIL	860.88
ncf_16_64_2_edau.9	FAIL	860.96
ncf_4_16_8_edau.1	FAIL	860.99
ncf_8_32_4_d.10	FAIL	861.01
ncf_16_64_4_euad.2	FAIL	861.1
ncf_16_64_2_edau.5	FAIL	861.11
horn_400CNF2320_2aQBF_832	FAIL	861.12
ncf_16_32_8_d.1	FAIL	861.35
renHorn_400CNF2200_2aQBF_48	FAIL	861.37
horn_400CNF2320_2aQBF_813	FAIL	861.38
ncf_4_16_8_d.8	FAIL	861.44
renHorn_400CNF2280_2aQBF_67	FAIL	861.51
horn_400CNF2320_2aQBF_797	FAIL	861.57
ncf_8_64_2_d.5	FAIL	861.57
horn_400CNF2320_2aQBF_209	FAIL	861.58
2qbf-5cnf-160var-1280cl.0	FAIL	861.59
ncf_8_16_4_u.9	FAIL	861.61
ncf_4_32_8_d.8	FAIL	861.64
ncf_16_128_2_euad.3	FAIL	861.76
ncf_16_64_2_d.5	FAIL	861.76
horn_400CNF2320_2aQBF_230	FAIL	861.77
horn_400CNF2320_2aQBF_132	FAIL	861.78
ncf_8_32_4_u.3	FAIL	861.78
2qbf-5cnf-160var-1280cl.7	FAIL	861.8
ncf_8_16_8_euad.8	FAIL	861.83
ncf_16_64_4_edau.1	FAIL	861.89
renHorn_400CNF2280_2aQBF_13	FAIL	861.98
ncf_4_32_2_u.1	FAIL	861.99
ncf_8_32_2_u.3	FAIL	861.99
horn_400CNF2320_2aQBF_772	FAIL	862
horn_400CNF2320_2aQBF_72	FAIL	862.07
ncf_8_64_2_d.2	FAIL	862.13
horn_400CNF2320_2aQBF_80	FAIL	862.2
ncf_8_16_8_u.10	FAIL	862.24
ncf_16_128_2_u.7	FAIL	862.24
ncf_4_32_2_d.10	FAIL	862.26
ncf_4_16_8_u.7	FAIL	862.27
ncf_16_32_4_euad.6	FAIL	862.31
ncf_8_16_8_d.2	FAIL	862.32
renHorn_400CNF2280_2aQBF_95	FAIL	862.36
ncf_16_32_2_euad.10	FAIL	862.39
ncf_4_8_8_d.10	FAIL	862.39
ncf_16_64_4_d.7	FAIL	862.53
5qbf-5cnf-160var-1280cl.1	FAIL	862.56
ncf_16_32_8_u.7	FAIL	862.64
ncf_8_16_4_euad.3	FAIL	862.77
renHorn_400CNF2280_2aQBF_59	FAIL	862.77
ncf_16_128_2_euad.7	FAIL	862.9
renHorn_400CNF2280_2aQBF_4	FAIL	862.91
ncf_4_32_2_d.6	FAIL	863
ncf_16_64_2_edau.4	FAIL	863.03
ncf_16_32_8_edau.8	FAIL	863.15
ncf_4_32_4_u.2	FAIL	863.21
ncf_16_32_8_edau.1	FAIL	863.25
horn_400CNF2320_2aQBF_458	FAIL	863.37
ncf_8_16_8_d.3	FAIL	863.38
tree-exa10-30	FAIL	863.4
ncf_16_128_2_u.1	FAIL	863.4
2qbf-5cnf-160var-1280cl.8	FAIL	863.4
ncf_4_16_8_edau.5	FAIL	863.41
ncf_16_64_2_euad.7	FAIL	863.57
renHorn_400CNF2360_2aQBF_58	FAIL	863.63
2qbf-5cnf-160var-1280cl.4	FAIL	863.65
ncf_4_16_8_edau.8	FAIL	863.76
ncf_8_64_2_d.10	FAIL	863.84
ncf_8_16_8_edau.7	FAIL	863.9
ncf_4_32_4_edau.1	FAIL	863.93
ncf_4_16_8_edau.3	FAIL	864
ncf_4_16_8_u.9	FAIL	864.02
ncf_16_32_8_d.6	FAIL	864.1
renHorn_400CNF2360_2aQBF_9	FAIL	864.13
ncf_4_16_8_edau.9	FAIL	864.14
ncf_8_16_8_u.2	FAIL	864.15
ncf_16_64_4_edau.4	FAIL	864.22
ncf_4_16_8_u.1	FAIL	864.26
ncf_16_64_4_u.4	FAIL	864.36
renHorn_400CNF2360_2aQBF_88	FAIL	864.36
ncf_16_64_8_d.10	FAIL	864.37
ncf_4_8_8_d.8	FAIL	864.43
ncf_4_16_8_edau.2	FAIL	864.45
ncf_4_8_8_d.6	FAIL	864.46
ncf_16_64_4_d.1	FAIL	864.48
2qbf-5cnf-160var-1280cl.3	FAIL	864.55
ncf_8_64_4_u.3	FAIL	864.56
ncf_4_32_2_euad.3	FAIL	864.76
ncf_8_64_2_edau.2	FAIL	864.81
ncf_8_16_8_euad.6	FAIL	864.81
renHorn_400CNF2360_2aQBF_97	FAIL	864.88
ncf_16_64_4_d.2	FAIL	864.92
ncf_16_128_2_euad.2	FAIL	864.96
ncf_8_32_8_edau.7	FAIL	864.98
ncf_8_16_8_d.10	FAIL	865.01
2qbf-5cnf-160var-1280cl.6	FAIL	865.14
k_poly_p-4	FAIL	865.19
ncf_16_64_2_d.4	FAIL	865.23
ncf_8_16_8_edau.9	FAIL	865.3
ncf_16_32_8_edau.5	FAIL	865.3
ncf_4_16_4_euad.2	FAIL	865.34
ncf_16_64_4_edau.8	FAIL	865.36
ncf_16_64_4_d.6	FAIL	865.71
ncf_4_16_4_u.4	FAIL	865.76
ncf_16_32_8_edau.6	FAIL	865.78
ncf_16_32_4_euad.10	FAIL	865.92
ncf_16_64_4_u.2	FAIL	865.93
ncf_16_32_8_edau.7	FAIL	865.95
ncf_8_32_4_d.5	FAIL	865.96
ncf_8_64_2_edau.10	FAIL	865.98
4qbf-5cnf-40var-320cl.5	FAIL	866.02
ncf_16_32_8_euad.10	FAIL	866.09
ncf_4_8_8_u.8	FAIL	866.18
ncf_4_32_4_edau.9	FAIL	866.22
ncf_4_32_2_d.9	FAIL	866.23
ncf_16_128_4_euad.6	FAIL	866.24
ncf_4_8_8_d.1	FAIL	866.26
ncf_4_16_4_euad.7	FAIL	866.31
ncf_16_128_4_u.9	FAIL	866.37
ncf_8_64_2_edau.3	FAIL	866.54
ncf_16_64_4_edau.6	FAIL	866.55
ncf_8_64_2_d.1	FAIL	866.58
ncf_16_32_8_edau.10	FAIL	866.59
ncf_4_8_8_euad.6	FAIL	866.6
ncf_4_16_8_euad.7	FAIL	866.68
ncf_16_32_8_u.6	FAIL	866.72
ncf_16_32_8_euad.7	FAIL	867
ncf_8_16_8_d.4	FAIL	867.05
ncf_16_128_4_u.6	FAIL	867.05
ncf_16_128_2_u.2	FAIL	867.09
ncf_16_64_4_euad.6	FAIL	867.09
ncf_16_64_2_edau.2	FAIL	867.12
ncf_4_16_4_u.7	FAIL	867.15
ncf_16_64_4_edau.10	FAIL	867.22
ncf_8_64_2_edau.4	FAIL	867.31
ncf_4_32_4_d.9	FAIL	867.38
ncf_4_32_4_edau.3	FAIL	867.39
ncf_8_32_8_edau.9	FAIL	867.41
ncf_8_64_4_d.6	FAIL	867.49
ncf_16_32_8_u.10	FAIL	867.57
ncf_8_16_4_u.3	FAIL	867.57
ncf_16_64_4_d.3	FAIL	867.6
ncf_4_32_8_edau.4	FAIL	867.62
ncf_4_8_8_u.6	FAIL	867.67
4qbf-5cnf-40var-320cl.6	FAIL	867.73
ncf_4_32_4_d.2	FAIL	867.84
ncf_16_32_8_d.9	FAIL	867.99
ncf_16_128_2_u.10	FAIL	868.09
2qbf-5cnf-160var-1280cl.1	FAIL	868.1
ncf_16_128_2_euad.10	FAIL	868.13
ncf_16_64_4_u.8	FAIL	868.14
3qbf-5cnf-80var-640cl.5	FAIL	868.15
ncf_8_32_8_d.7	FAIL	868.17
ncf_16_128_2_u.3	FAIL	868.29
ncf_8_64_2_edau.7	FAIL	868.29
ncf_16_32_8_d.10	FAIL	868.36
ncf_16_128_8_edau.7	FAIL	868.44
ncf_8_64_4_d.7	FAIL	868.55
ncf_8_16_8_euad.10	FAIL	868.55
ncf_8_32_2_u.1	FAIL	868.63
4qbf-5cnf-40var-320cl.7	FAIL	868.65
2qbf-5cnf-160var-1280cl.9	FAIL	868.66
ncf_8_32_8_edau.3	FAIL	868.69
ncf_16_32_8_edau.9	FAIL	868.71
ncf_16_32_8_u.1	FAIL	868.72
k_poly_n-4	FAIL	868.72
ncf_8_32_8_edau.6	FAIL	868.76
ncf_4_32_4_edau.7	FAIL	868.78
ncf_16_32_8_d.2	FAIL	868.8
ncf_16_32_8_edau.2	FAIL	868.8
ncf_4_8_8_euad.8	FAIL	868.81
ncf_16_128_4_euad.9	FAIL	868.86
ncf_8_16_8_u.5	FAIL	868.93
ncf_8_64_2_edau.6	FAIL	868.93
ncf_4_32_2_u.10	FAIL	868.96
ncf_8_64_2_d.4	FAIL	869
ncf_16_32_8_edau.4	FAIL	869.03
ncf_16_32_4_u.8	FAIL	869.32
ncf_8_32_8_euad.7	FAIL	869.33
ncf_16_128_4_u.10	FAIL	869.33
ncf_8_64_2_edau.5	FAIL	869.43
ncf_16_64_4_u.6	FAIL	869.46
ncf_16_32_4_d.5	FAIL	869.61
ncf_8_32_2_euad.1	FAIL	869.68
ncf_8_64_4_edau.10	FAIL	869.72
ncf_16_64_4_edau.7	FAIL	869.74
ncf_16_128_8_edau.10	FAIL	869.79
ncf_8_64_4_d.2	FAIL	869.89
ncf_8_32_2_u.10	FAIL	870.13
ncf_16_64_2_u.2	FAIL	870.15
ncf_16_64_4_d.10	FAIL	870.16
ncf_16_32_8_u.8	FAIL	870.18
ncf_8_64_2_u.4	FAIL	870.21
ncf_8_64_2_edau.1	FAIL	870.28
ncf_16_32_4_u.2	FAIL	870.3
ncf_8_64_2_d.8	FAIL	870.3
ncf_16_64_4_edau.5	FAIL	870.33
ncf_8_32_4_u.1	FAIL	870.44
ncf_4_32_4_edau.5	FAIL	870.61
4qbf-5cnf-160var-1280cl.0	FAIL	870.63
ncf_16_128_2_u.4	FAIL	870.67
ncf_16_64_4_d.5	FAIL	870.72
ncf_16_128_2_d.10	FAIL	870.73
ncf_8_16_8_euad.2	FAIL	870.79
ncf_8_64_2_d.3	FAIL	870.85
ncf_8_16_8_euad.3	FAIL	870.86
ncf_16_128_2_d.7	FAIL	871.04
ncf_16_128_2_d.5	FAIL	871.05
ncf_8_32_4_u.6	FAIL	871.13
ncf_8_32_4_u.4	FAIL	871.22
ncf_8_32_4_d.8	FAIL	871.24
ncf_16_64_4_d.4	FAIL	871.34
ncf_16_64_4_edau.2	FAIL	871.4
ncf_4_32_8_u.4	FAIL	871.47
ncf_4_16_8_u.6	FAIL	871.49
ncf_8_32_8_edau.8	FAIL	871.54
ncf_16_32_8_euad.1	FAIL	871.58
ncf_4_16_4_euad.10	FAIL	871.62
ncf_4_32_8_edau.9	FAIL	871.63
ncf_8_64_4_d.5	FAIL	871.65
ncf_8_32_8_d.2	FAIL	871.68
k_poly_n-8	FAIL	871.75
ncf_16_64_2_u.3	FAIL	871.76
ncf_16_64_4_d.9	FAIL	871.79
ncf_8_32_8_d.3	FAIL	871.82
ncf_4_32_8_edau.8	FAIL	871.83
ncf_8_32_8_d.8	FAIL	871.83
ncf_4_32_8_d.7	FAIL	871.95
ncf_16_32_4_u.5	FAIL	871.96
k_poly_p-8	FAIL	871.97
ncf_8_64_2_u.6	FAIL	872.07
ncf_16_128_4_euad.10	FAIL	872.07
ncf_4_32_8_d.4	FAIL	872.14
ncf_4_32_4_d.8	FAIL	872.16
ncf_8_32_8_u.3	FAIL	872.23
ncf_4_16_4_u.10	FAIL	872.3
ncf_4_32_4_d.6	FAIL	872.3
ncf_8_32_8_u.2	FAIL	872.32
ncf_8_64_2_edau.8	FAIL	872.43
ncf_8_64_2_d.7	FAIL	872.5
ncf_8_32_8_d.1	FAIL	872.63
ncf_4_32_2_u.4	FAIL	872.75
ncf_16_128_8_d.7	FAIL	872.78
ncf_16_64_2_u.5	FAIL	872.79
ncf_4_32_2_euad.1	FAIL	872.83
ncf_4_32_4_edau.8	FAIL	872.9
ncf_16_64_8_d.8	FAIL	872.92
ncf_16_64_2_u.9	FAIL	872.93
ncf_16_128_2_d.9	FAIL	872.96
ncf_8_16_8_d.7	FAIL	873.03
ncf_16_128_2_d.8	FAIL	873.04
ncf_16_64_8_edau.10	FAIL	873.09
ncf_4_32_4_u.3	FAIL	873.19
ncf_4_32_4_u.1	FAIL	873.24
ncf_8_64_2_u.2	FAIL	873.36
ncf_4_32_4_euad.3	FAIL	873.37
ncf_16_128_8_d.4	FAIL	873.38
ncf_16_32_8_u.4	FAIL	873.45
ncf_16_32_4_euad.2	FAIL	873.67
ncf_4_32_4_u.9	FAIL	873.72
ncf_16_32_8_euad.4	FAIL	873.73
ncf_8_16_8_d.8	FAIL	873.82
ncf_16_32_8_d.4	FAIL	873.84
ncf_16_64_2_d.2	FAIL	873.86
ncf_16_128_2_edau.10	FAIL	873.91
ncf_4_32_8_edau.3	FAIL	873.99
ncf_8_64_4_edau.6	FAIL	874
ncf_16_64_4_euad.8	FAIL	874.03
ncf_8_32_2_euad.6	FAIL	874.04
ncf_4_32_4_d.5	FAIL	874.05
ncf_16_64_2_euad.3	FAIL	874.08
ncf_8_64_2_u.1	FAIL	874.1
ncf_8_32_8_edau.10	FAIL	874.15
ncf_8_64_4_u.9	FAIL	874.2
3qbf-5cnf-80var-640cl.8	FAIL	874.21
ncf_8_64_2_u.3	FAIL	874.4
ncf_16_128_2_edau.7	FAIL	874.45
ncf_4_16_8_u.4	FAIL	874.48
ncf_16_128_2_d.6	FAIL	874.49
ncf_16_64_4_edau.3	FAIL	874.49
ncf_8_32_8_u.6	FAIL	874.55
ncf_4_32_4_u.5	FAIL	874.58
ncf_8_16_8_euad.4	FAIL	874.58
ncf_8_16_8_u.4	FAIL	874.6
ncf_4_16_2_u.1	FAIL	874.68
k_poly_n-12	FAIL	874.68
ncf_8_32_8_edau.4	FAIL	874.77
4qbf-5cnf-160var-1280cl.7	FAIL	874.78
3qbf-5cnf-160var-1280cl.6	FAIL	874.78
ncf_16_32_8_edau.3	FAIL	874.81
ncf_8_64_4_edau.9	FAIL	874.83
ncf_16_128_2_edau.5	FAIL	874.94
ncf_8_64_4_d.9	FAIL	874.95
5qbf-5cnf-160var-1280cl.8	FAIL	874.95
ncf_16_128_2_edau.1	FAIL	875.01
ncf_4_16_4_euad.4	FAIL	875.06
ncf_16_128_8_euad.5	FAIL	875.15
k_path_p-8	FAIL	875.22
ncf_4_16_8_d.9	FAIL	875.23
ncf_8_64_4_edau.7	FAIL	875.27
ncf_8_64_2_euad.6	FAIL	875.35
ncf_16_64_8_euad.10	FAIL	875.4
ncf_4_32_8_u.5	FAIL	875.5
ncf_4_32_4_d.7	FAIL	875.5
ncf_8_32_8_edau.1	FAIL	875.6
ncf_8_64_4_edau.5	FAIL	875.61
ncf_8_64_4_edau.2	FAIL	875.62
ncf_16_32_8_u.5	FAIL	875.68
ncf_8_32_2_euad.3	FAIL	875.7
ncf_16_128_2_d.1	FAIL	875.87
ncf_8_32_8_edau.5	FAIL	875.88
ncf_16_64_2_euad.9	FAIL	875.93
ncf_4_32_4_d.3	FAIL	875.97
robots_1_5_2_54.8	FAIL	875.99
ncf_16_32_8_euad.8	FAIL	876.17
3qbf-5cnf-160var-1280cl.7	FAIL	876.21
ncf_16_128_2_euad.9	FAIL	876.24
ncf_16_128_2_u.9	FAIL	876.38
ncf_8_64_2_euad.2	FAIL	876.47
ncf_16_128_4_d.8	FAIL	876.59
ncf_8_32_8_euad.6	FAIL	876.64
ncf_8_32_8_euad.1	FAIL	876.65
ncf_8_32_2_euad.7	FAIL	876.66
ncf_8_64_4_d.3	FAIL	876.69
ncf_16_128_2_u.5	FAIL	876.81
ncf_16_128_8_edau.4	FAIL	876.83
ncf_16_128_4_d.10	FAIL	876.84
ncf_16_128_4_u.3	FAIL	876.91
ncf_4_32_2_u.7	FAIL	876.93
ncf_16_64_2_euad.5	FAIL	876.93
ncf_8_32_4_euad.6	FAIL	876.93
ncf_8_32_8_euad.2	FAIL	876.98
ncf_8_32_8_euad.3	FAIL	877.02
ncf_8_32_8_u.4	FAIL	877.02
ncf_16_128_2_d.3	FAIL	877.19
ncf_8_64_4_edau.4	FAIL	877.24
ncf_16_128_2_edau.9	FAIL	877.25
ncf_4_32_2_euad.4	FAIL	877.27
ncf_16_64_8_d.3	FAIL	877.28
ncf_4_16_8_u.10	FAIL	877.3
4qbf-5cnf-80var-640cl.3	FAIL	877.34
ncf_8_64_4_d.10	FAIL	877.35
ncf_4_32_8_edau.5	FAIL	877.38
ncf_4_32_8_edau.10	FAIL	877.39
ncf_16_128_4_d.2	FAIL	877.45
k_poly_n-16	FAIL	877.45
ncf_16_64_4_edau.9	FAIL	877.49
ncf_16_128_4_edau.8	FAIL	877.54
ncf_8_64_4_edau.8	FAIL	877.55
ncf_8_64_4_u.4	FAIL	877.6
ncf_4_32_8_d.5	FAIL	877.67
ncf_8_64_2_euad.3	FAIL	877.72
ncf_16_128_4_d.9	FAIL	877.72
ncf_8_32_2_euad.10	FAIL	877.75
ncf_16_64_8_d.5	FAIL	877.8
ncf_8_32_8_edau.2	FAIL	877.8
k_path_n-8	FAIL	877.81
ncf_8_32_4_euad.10	FAIL	877.84
ncf_8_64_4_edau.1	FAIL	877.88
ncf_16_128_2_edau.2	FAIL	877.89
ncf_16_128_8_u.7	FAIL	877.89
ncf_16_32_8_euad.9	FAIL	877.9
ncf_16_128_2_edau.3	FAIL	877.9
ncf_4_32_4_u.7	FAIL	877.93
k_poly_p-12	FAIL	877.93
ncf_16_32_4_euad.5	FAIL	878
ncf_4_32_8_d.9	FAIL	878.02
ncf_16_64_8_u.10	FAIL	878.08
ncf_16_32_8_d.3	FAIL	878.08
ncf_16_128_4_d.5	FAIL	878.32
ncf_16_128_4_d.1	FAIL	878.39
ncf_16_64_2_euad.2	FAIL	878.45
ncf_8_64_4_d.4	FAIL	878.47
ncf_4_32_2_euad.10	FAIL	878.52
3qbf-5cnf-160var-1280cl.8	FAIL	878.54
ncf_8_64_4_d.1	FAIL	878.54
ncf_16_128_2_edau.6	FAIL	878.57
ncf_4_16_8_euad.8	FAIL	878.66
ncf_8_64_2_euad.1	FAIL	878.68
ncf_16_64_4_euad.9	FAIL	878.7
ncf_16_128_2_edau.8	FAIL	878.7
ncf_4_32_8_u.8	FAIL	878.73
ncf_4_16_8_d.6	FAIL	878.76
ncf_8_64_4_euad.9	FAIL	878.81
ncf_16_64_4_euad.4	FAIL	878.89
ncf_8_16_8_d.5	FAIL	878.9
ncf_4_32_8_euad.8	FAIL	878.93
ncf_16_32_8_euad.2	FAIL	878.93
k_branch_p-4	FAIL	878.95
ncf_4_16_8_d.4	FAIL	878.99
ncf_16_128_4_d.7	FAIL	878.99
ncf_16_64_4_u.9	FAIL	879
ncf_4_16_8_d.2	FAIL	879.02
ncf_16_64_8_edau.2	FAIL	879.05
ncf_4_32_8_edau.2	FAIL	879.06
ncf_8_32_8_euad.8	FAIL	879.08
6qbf-5cnf-80var-1280cl.4	FAIL	879.09
ncf_16_128_2_euad.4	FAIL	879.11
3qbf-5cnf-160var-1280cl.9	FAIL	879.18
ncf_8_32_8_u.8	FAIL	879.22
ncf_8_16_8_euad.5	FAIL	879.26
ncf_8_32_8_u.9	FAIL	879.28
ncf_16_128_4_u.2	FAIL	879.29
ncf_16_128_8_d.5	FAIL	879.31
ncf_4_32_4_u.4	FAIL	879.32
ncf_16_64_8_u.4	FAIL	879.34
ncf_16_64_4_u.10	FAIL	879.36
ncf_4_32_4_euad.1	FAIL	879.4
ncf_4_16_8_euad.4	FAIL	879.43
ncf_16_32_8_u.2	FAIL	879.46
ncf_8_64_8_d.7	FAIL	879.47
ncf_4_32_8_edau.7	FAIL	879.54
ncf_16_64_4_u.5	FAIL	879.59
ncf_16_64_8_u.3	FAIL	879.67
ncf_4_16_8_euad.2	FAIL	879.78
5qbf-5cnf-160var-1280cl.3	FAIL	879.81
ncf_8_32_4_u.8	FAIL	879.83
k_poly_n-21	FAIL	879.83
ncf_8_64_8_d.4	FAIL	879.95
ncf_16_32_8_euad.5	FAIL	880
ncf_8_64_8_edau.4	FAIL	880.02
ncf_4_32_4_euad.9	FAIL	880.11
ncf_8_64_4_edau.3	FAIL	880.13
k_poly_n-20	FAIL	880.24
ncf_16_128_4_edau.10	FAIL	880.25
ncf_16_64_8_edau.7	FAIL	880.27
k_poly_p-16	FAIL	880.33
ncf_16_64_8_euad.3	FAIL	880.37
ncf_16_128_2_euad.5	FAIL	880.41
connect_7x6_6_R	FAIL	880.5
ncf_8_32_8_d.4	FAIL	880.56
ncf_16_128_4_d.4	FAIL	880.57
ncf_16_64_8_euad.4	FAIL	880.58
ncf_8_32_4_u.2	FAIL	880.61
ncf_16_128_4_edau.5	FAIL	880.63
ncf_16_128_4_d.6	FAIL	880.65
ncf_16_128_8_edau.5	FAIL	880.67
ncf_16_64_8_u.7	FAIL	880.76
ncf_4_16_8_u.2	FAIL	880.76
ncf_16_128_8_edau.6	FAIL	880.79
ncf_4_16_8_d.5	FAIL	880.85
ncf_16_128_2_d.4	FAIL	880.85
ncf_8_32_2_u.7	FAIL	880.86
ncf_8_64_2_u.9	FAIL	880.86
ncf_4_16_8_euad.1	FAIL	880.93
ncf_16_32_8_euad.3	FAIL	880.94
ncf_4_16_8_u.8	FAIL	880.99
ncf_8_64_8_d.5	FAIL	881.01
ncf_4_16_8_u.3	FAIL	881.03
ncf_4_16_8_d.3	FAIL	881.18
ncf_16_64_8_edau.3	FAIL	881.24
ncf_16_64_8_edau.4	FAIL	881.25
ncf_16_128_2_u.8	FAIL	881.42
ev-pr-6x6-13-5-0-1-2-lg	FAIL	881.44
ncf_8_32_4_u.5	FAIL	881.44
ncf_8_64_4_u.5	FAIL	881.48
4qbf-5cnf-40var-320cl.8	FAIL	881.48
k_branch_n-4	FAIL	881.54
ncf_16_128_8_edau.9	FAIL	881.55
ncf_16_128_2_euad.6	FAIL	881.6
ncf_16_128_4_edau.2	FAIL	881.64
k_branch_p-16	FAIL	881.7
3qbf-5cnf-160var-1280cl.0	FAIL	881.7
ncf_8_32_8_d.10	FAIL	881.75
k_branch_n-16	FAIL	881.78
ncf_16_128_4_euad.3	FAIL	881.8
5qbf-5cnf-160var-1280cl.4	FAIL	881.83
ncf_8_64_4_d.8	FAIL	881.88
ncf_16_128_4_edau.9	FAIL	881.93
ncf_16_128_4_u.5	FAIL	881.96
ncf_16_64_8_d.1	FAIL	881.96
connect_6x5_4_R	FAIL	881.99
ncf_16_64_8_edau.9	FAIL	882
ncf_8_64_4_euad.5	FAIL	882.01
robots_1_5_3_100.8	FAIL	882.08
ncf_16_32_8_u.9	FAIL	882.08
ncf_16_64_4_euad.7	FAIL	882.13
ncf_8_64_4_u.1	FAIL	882.2
ncf_16_32_8_u.3	FAIL	882.24
ncf_16_64_8_d.2	FAIL	882.24
connect_7x6_5_R	FAIL	882.32
ncf_16_128_8_d.1	FAIL	882.34
ncf_8_32_8_u.1	FAIL	882.36
ncf_4_16_2_u.3	FAIL	882.41
k_path_p-12	FAIL	882.41
ev-pr-6x6-19-5-0-1-2-lg	FAIL	882.44
ncf_16_128_4_u.4	FAIL	882.44
ncf_8_32_4_euad.1	FAIL	882.45
k_poly_p-20	FAIL	882.5
connect_6x5_5_R	FAIL	882.53
3qbf-5cnf-160var-1280cl.4	FAIL	882.54
ncf_4_16_8_u.5	FAIL	882.55
ncf_16_128_4_edau.7	FAIL	882.65
ncf_16_64_4_u.7	FAIL	882.66
ncf_16_128_2_u.6	FAIL	882.68
ncf_16_64_8_u.9	FAIL	882.7
ncf_16_128_8_edau.3	FAIL	882.71
ncf_16_128_4_edau.4	FAIL	882.77
ncf_16_128_4_u.8	FAIL	882.78
ncf_4_32_2_u.5	FAIL	882.81
ncf_16_64_8_edau.1	FAIL	882.86
ncf_4_32_4_u.10	FAIL	882.88
ncf_16_128_8_u.4	FAIL	882.89
ncf_16_128_8_u.2	FAIL	882.92
ncf_16_128_2_d.2	FAIL	882.97
ev-pr-8x8-11-7-0-1-2-lg	FAIL	883.11
ncf_16_128_8_d.9	FAIL	883.18
connect_8x7_5_R	FAIL	883.25
ncf_16_128_8_u.8	FAIL	883.27
ncf_16_64_8_u.2	FAIL	883.32
ncf_4_32_8_d.3	FAIL	883.4
ncf_16_64_4_euad.5	FAIL	883.42
connect_6x5_3_R	FAIL	883.53
ncf_16_128_4_edau.1	FAIL	883.53
ev-pr-6x6-17-5-0-1-2-lg	FAIL	883.54
robots_1_5_3_55.8	FAIL	883.57
ncf_16_128_4_edau.6	FAIL	883.59
connect_8x7_7_R	FAIL	883.74
ncf_4_16_8_euad.6	FAIL	883.81
ncf_4_32_8_edau.1	FAIL	883.81
connect_8x7_6_R	FAIL	883.83
ncf_16_128_8_edau.1	FAIL	883.87
robots_1_5_5_12.8	FAIL	883.89
k_poly_p-21	FAIL	883.95
ncf_4_32_8_u.9	FAIL	883.96
ncf_16_64_8_u.6	FAIL	883.99
3qbf-5cnf-160var-1280cl.2	FAIL	884
ncf_8_64_8_edau.3	FAIL	884.08
ncf_16_128_2_edau.4	FAIL	884.09
ncf_16_128_4_euad.5	FAIL	884.11
robots_1_5_4_99.8	FAIL	884.15
robots_1_5_5_100.8	FAIL	884.29
ncf_8_64_8_edau.9	FAIL	884.33
ncf_8_16_4_euad.9	FAIL	884.36
robots_1_5_4_24.8	FAIL	884.4
ncf_8_32_8_u.5	FAIL	884.42
ncf_16_128_4_euad.4	FAIL	884.71
k_t4p_p-4	FAIL	884.72
k_path_n-12	FAIL	884.74
ncf_8_32_8_euad.4	FAIL	884.81
ev-pr-6x6-15-5-0-1-2-lg	FAIL	884.82
ncf_16_128_4_euad.8	FAIL	884.84
ncf_4_32_8_u.2	FAIL	884.89
robots_1_5_4_96.8	FAIL	884.89
ncf_8_64_8_d.6	FAIL	884.91
robots_1_5_5_10.8	FAIL	884.92
ncf_8_32_8_euad.9	FAIL	884.96
ncf_8_32_4_euad.5	FAIL	884.97
ncf_4_32_4_euad.5	FAIL	885
ncf_4_32_8_edau.6	FAIL	885.01
ncf_8_64_2_euad.7	FAIL	885.04
ncf_16_64_8_euad.2	FAIL	885.05
ncf_16_128_8_d.6	FAIL	885.06
robots_1_5_4_1.8	FAIL	885.1
robots_1_5_4_17.8	FAIL	885.14
robots_1_5_5_99.8	FAIL	885.15
robots_1_5_5_50.8	FAIL	885.16
robots_1_5_5_95.8	FAIL	885.23
ncf_16_128_8_euad.2	FAIL	885.25
ncf_8_64_8_d.9	FAIL	885.25
robots_1_5_5_14.8	FAIL	885.28
ncf_4_16_8_euad.9	FAIL	885.37
ncf_16_64_4_u.3	FAIL	885.49
ncf_16_64_8_edau.8	FAIL	885.57
ncf_8_64_8_edau.7	FAIL	885.57
ncf_4_16_8_euad.5	FAIL	885.61
ncf_16_128_4_edau.3	FAIL	885.62
robots_1_5_4_91.8	FAIL	885.63
ncf_8_64_4_euad.1	FAIL	885.71
connect_7x6_3_R	FAIL	885.72
ncf_4_16_4_u.6	FAIL	885.78
robots_1_5_4_46.8	FAIL	885.82
ncf_8_64_2_u.7	FAIL	885.88
ev-pr-8x8-13-7-0-1-2-lg	FAIL	885.96
ncf_16_128_8_euad.10	FAIL	885.99
3qbf-5cnf-160var-1280cl.3	FAIL	886.13
ncf_4_8_8_euad.10	FAIL	886.15
ncf_4_32_4_euad.2	FAIL	886.17
adder-10-sat	FAIL	886.18
mutex-64-s	FAIL	886.19
ncf_8_64_2_euad.4	FAIL	886.21
ncf_4_32_2_euad.6	FAIL	886.24
ev-pr-8x8-15-7-0-1-2-lg	FAIL	886.24
ncf_4_32_8_d.2	FAIL	886.26
ncf_16_128_2_euad.8	FAIL	886.26
ncf_4_16_8_euad.10	FAIL	886.37
ncf_16_64_8_euad.6	FAIL	886.39
ncf_4_32_8_d.10	FAIL	886.4
ncf_8_64_4_euad.8	FAIL	886.42
ncf_16_64_8_edau.5	FAIL	886.51
ncf_16_128_4_euad.2	FAIL	886.52
ncf_8_16_8_u.9	FAIL	886.73
robots_1_5_3_90.8	FAIL	886.74
ncf_16_128_8_u.3	FAIL	886.76
ncf_8_32_8_d.5	FAIL	886.8
robots_1_5_5_5.8	FAIL	886.86
ncf_16_64_8_d.4	FAIL	886.94
ncf_16_64_4_euad.10	FAIL	886.95
ncf_4_32_8_u.1	FAIL	886.97
ncf_8_64_8_edau.8	FAIL	887
robots_1_5_4_75.8	FAIL	887.04
ncf_8_64_8_u.3	FAIL	887.04
ncf_16_128_4_d.3	FAIL	887.08
connect_9x8_8_R	FAIL	887.11
ncf_8_64_8_edau.5	FAIL	887.15
3qbf-5cnf-80var-640cl.3	FAIL	887.22
ncf_8_64_2_euad.9	FAIL	887.22
ncf_8_64_8_edau.10	FAIL	887.24
ncf_16_128_8_edau.8	FAIL	887.24
k_path_p-16	FAIL	887.27
connect_8x7_4_R	FAIL	887.28
ncf_4_32_8_u.10	FAIL	887.29
robots_1_5_3_27.8	FAIL	887.31
ncf_16_128_8_euad.1	FAIL	887.32
ncf_8_64_8_u.2	FAIL	887.37
ncf_8_64_4_u.7	FAIL	887.4
ncf_8_64_4_u.8	FAIL	887.4
ncf_4_32_8_euad.5	FAIL	887.41
ev-pr-8x8-19-7-0-1-2-lg	FAIL	887.57
ncf_16_64_8_edau.6	FAIL	887.62
robots_1_5_2_40.8	FAIL	887.67
ncf_16_128_8_d.8	FAIL	887.69
6qbf-5cnf-80var-1280cl.6	FAIL	887.7
ncf_4_16_4_euad.3	FAIL	887.7
ncf_16_128_4_euad.1	FAIL	887.97
connect_7x6_4_R	FAIL	888.05
ev-pr-8x8-17-7-0-1-2-lg	FAIL	888.08
ncf_8_64_8_euad.7	FAIL	888.08
ncf_4_32_4_euad.4	FAIL	888.1
ncf_8_64_8_edau.6	FAIL	888.25
ncf_16_128_8_edau.2	FAIL	888.27
ncf_16_128_8_u.10	FAIL	888.28
4qbf-5cnf-80var-640cl.4	FAIL	888.32
ncf_8_64_8_euad.9	FAIL	888.36
3qbf-5cnf-160var-1280cl.1	FAIL	888.4
ncf_16_128_8_u.1	FAIL	888.42
ncf_16_128_8_d.2	FAIL	888.44
ncf_4_32_8_u.7	FAIL	888.48
ncf_4_32_4_euad.10	FAIL	888.5
k_path_n-16	FAIL	888.53
ncf_8_32_4_euad.8	FAIL	888.57
ncf_8_64_8_euad.4	FAIL	888.6
ncf_4_32_8_euad.4	FAIL	888.63
ncf_8_64_8_u.7	FAIL	888.73
robots_1_5_3_64.8	FAIL	888.74
ncf_8_32_4_euad.2	FAIL	888.86
ncf_4_32_2_euad.5	FAIL	888.89
ncf_16_64_8_euad.7	FAIL	888.9
ncf_16_64_8_euad.8	FAIL	889
connect_9x8_7_R	FAIL	889.01
ncf_8_64_8_u.6	FAIL	889.03
ncf_16_128_8_euad.7	FAIL	889.21
k_grz_p-21	FAIL	889.25
ncf_8_64_8_euad.2	FAIL	889.3
ncf_8_64_8_d.1	FAIL	889.32
ncf_16_128_8_euad.3	FAIL	889.34
adder-12-sat	FAIL	889.37
ncf_16_128_4_u.1	FAIL	889.4
ncf_4_32_2_u.9	FAIL	889.41
k_d4_p-8	FAIL	889.47
ncf_4_32_4_u.6	FAIL	889.5
ncf_16_128_8_euad.8	FAIL	889.52
ncf_8_64_8_u.4	FAIL	889.57
robots_1_5_2_67.8	FAIL	889.57
ncf_4_32_8_u.3	FAIL	889.59
connect_8x7_3_R	FAIL	889.76
k_grz_n-20	FAIL	889.76
k_grz_n-21	FAIL	889.76
ncf_16_128_4_u.7	FAIL	889.78
ncf_16_64_8_u.8	FAIL	889.81
k_path_p-20	FAIL	889.84
ncf_16_64_8_u.1	FAIL	889.9
ncf_16_64_8_d.7	FAIL	889.94
ncf_16_64_8_d.9	FAIL	889.95
k_grz_p-20	FAIL	889.97
Adder2-4-s	FAIL	889.99
ncf_4_16_8_euad.3	FAIL	890
5qbf-5cnf-160var-2560cl.5	FAIL	890.08
k_branch_n-20	FAIL	890.08
ncf_8_64_4_euad.4	FAIL	890.14
k_branch_p-20	FAIL	890.22
ncf_4_32_2_euad.7	FAIL	890.23
ncf_4_32_8_d.6	FAIL	890.23
ncf_8_64_8_euad.3	FAIL	890.23
connect_9x8_3_R	FAIL	890.24
ncf_8_64_8_d.2	FAIL	890.35
k_t4p_n-4	FAIL	890.36
6qbf-5cnf-160var-2560cl.3	FAIL	890.38
k_path_p-21	FAIL	890.43
ncf_8_64_8_euad.6	FAIL	890.44
k_path_n-20	FAIL	890.54
k_branch_p-21	FAIL	890.55
ncf_4_32_8_euad.2	FAIL	890.57
k_branch_n-8	FAIL	890.61
ncf_4_16_2_euad.3	FAIL	890.74
ncf_8_64_8_edau.1	FAIL	890.83
k_path_n-21	FAIL	890.84
ncf_4_32_8_d.1	FAIL	890.9
ncf_16_64_8_d.6	FAIL	890.91
ncf_16_64_8_u.5	FAIL	890.98
ncf_16_128_8_u.5	FAIL	891.03
ncf_8_64_8_d.3	FAIL	891.04
k_branch_n-21	FAIL	891.05
k_t4p_p-8	FAIL	891.07
robots_1_5_2_32.8	FAIL	891.07
robots_1_5_3_16.8	FAIL	891.09
ncf_4_32_8_euad.3	FAIL	891.11
5qbf-5cnf-80var-640cl.4	FAIL	891.11
ncf_4_32_8_euad.10	FAIL	891.2
k_lin_n-21	FAIL	891.29
ncf_8_64_8_u.1	FAIL	891.3
ncf_8_64_8_u.10	FAIL	891.31
k_lin_n-20	FAIL	891.32
robots_1_5_2_82.8	FAIL	891.37
connect_9x8_5_R	FAIL	891.39
adder-8-sat	FAIL	891.41
ncf_16_64_8_euad.9	FAIL	891.42
ncf_4_16_4_euad.6	FAIL	891.46
k_d4_p-12	FAIL	891.62
adder-14-sat	FAIL	891.65
k_branch_p-8	FAIL	891.67
ncf_8_64_8_u.8	FAIL	891.82
k_dum_p-20	FAIL	891.86
ncf_4_32_8_euad.6	FAIL	891.86
s27_d4_u	FAIL	891.87
ncf_16_128_8_u.6	FAIL	891.93
ncf_16_128_8_u.9	FAIL	891.95
robots_1_5_2_91.8	FAIL	891.96
ncf_16_128_8_d.3	FAIL	891.98
robots_1_5_2_61.8	FAIL	891.99
ncf_8_64_4_euad.7	FAIL	892.05
ncf_16_128_8_euad.9	FAIL	892.05
ncf_8_64_8_u.5	FAIL	892.09
connect_9x8_4_R	FAIL	892.17
ncf_8_32_8_u.10	FAIL	892.39
ncf_4_32_2_u.8	FAIL	892.55
ncf_4_32_8_u.6	FAIL	892.57
ncf_16_64_8_euad.5	FAIL	892.6
ncf_8_64_8_u.9	FAIL	892.71
k_dum_p-21	FAIL	892.73
robots_1_5_2_100.8	FAIL	892.74
ncf_4_32_8_euad.1	FAIL	892.89
ncf_8_32_8_euad.5	FAIL	892.96
mutex-16-s	FAIL	892.98
ncf_16_128_8_euad.6	FAIL	893.09
ncf_16_128_8_d.10	FAIL	893.2
robots_1_5_2_9.8	FAIL	893.27
ncf_8_64_8_d.8	FAIL	893.46
ncf_4_32_8_euad.9	FAIL	893.54
adder-4-sat	FAIL	893.56
ncf_4_32_8_euad.7	FAIL	893.63
test3_quant_squaring2	FAIL	893.71
ncf_16_128_4_euad.7	FAIL	893.77
adder-16-sat	FAIL	893.96
ncf_16_64_4_euad.3	FAIL	893.96
ncf_8_16_8_euad.9	FAIL	894.04
k_t4p_p-12	FAIL	894.18
ncf_16_64_8_euad.1	FAIL	894.38
uclid-pipe3a	FAIL	894.39
k_d4_n-8	FAIL	894.46
s27_d5_u	FAIL	894.55
Adder2-6-s	FAIL	894.55
test3_quant2	FAIL	894.6
ncf_8_64_8_d.10	FAIL	894.61
ncf_4_16_2_euad.1	FAIL	894.66
k_d4_p-16	FAIL	894.71
ncf_4_32_2_euad.9	FAIL	894.71
ncf_8_64_8_euad.8	FAIL	894.72
ncf_4_32_4_euad.7	FAIL	894.73
connect_9x8_6_R	FAIL	894.8
mutex-32-s	FAIL	894.9
k_branch_n-12	FAIL	894.96
k_t4p_n-8	FAIL	895.1
3qbf-5cnf-80var-640cl.2	FAIL	895.15
k_t4p_p-16	FAIL	895.2
ncf_8_64_8_euad.1	FAIL	895.37
ncf_8_64_8_euad.5	FAIL	895.49
k_branch_p-12	FAIL	895.5
ncf_16_128_8_euad.4	FAIL	895.54
test4_quant_squaring2	FAIL	895.92
test5_quant5	FAIL	895.99
test4_quant2	FAIL	896
6qbf-5cnf-160var-2560cl.1	FAIL	896.01
k_d4_p-21	FAIL	896.08
k_d4_p-20	FAIL	896.12
test3_quant4	FAIL	896.53
k_t4p_p-20	FAIL	896.57
Adder2-8-s	FAIL	896.72
ncf_8_32_8_euad.10	FAIL	896.74
k_t4p_p-21	FAIL	896.79
k_d4_n-12	FAIL	896.91
k_t4p_n-12	FAIL	896.96
5qbf-5cnf-160var-2560cl.1	FAIL	897.14
ncf_4_32_4_euad.6	FAIL	897.26
s298_d16_s	FAIL	897.34
test5_quant7	FAIL	897.42
k_d4_n-16	FAIL	897.45
test5_quant_squaring4	FAIL	897.47
test4_quant4	FAIL	897.49
s298_d18_s	FAIL	897.49
s298_d19_u	FAIL	897.51
adder-6-sat	FAIL	897.62
5qbf-5cnf-80var-1280cl.8	FAIL	897.86
test3_quant_squaring4	FAIL	897.89
ncf_4_32_2_euad.8	FAIL	897.91
k_t4p_n-16	FAIL	897.95
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	898.04
k_d4_n-20	FAIL	898.25
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	898.28
Adder2-10-s	FAIL	898.34
s386_d8_u	FAIL	898.35
k_d4_n-21	FAIL	898.38
test5_quant_squaring5	FAIL	898.52
test4_quant_squaring4	FAIL	898.54
k_t4p_n-21	FAIL	898.56
k_t4p_n-20	FAIL	898.6
s499_d16_s	FAIL	898.74
C880.blif_0.10_0.20_0_1_out_exact	FAIL	898.79
ncf_8_32_4_euad.4	FAIL	898.79
C880.blif_0.10_0.20_0_0_out_exact	FAIL	898.79
4qbf-5cnf-80var-640cl.1	FAIL	898.85
ncf_8_64_8_euad.10	FAIL	898.92
test1_quant_squaring2	FAIL	898.95
s298_d2_s	FAIL	898.96
test1_quant2	FAIL	898.99
test1_quant3	FAIL	899.05
Adder2-12-s	FAIL	899.1
s510_d16_s	FAIL	899.13
s820_d10_s	FAIL	899.15
CHAIN21v.22	FAIL	899.21
C499.blif_0.10_0.20_0_0_out_exact	FAIL	899.23
4qbf-5cnf-80var-640cl.8	FAIL	899.36
CHAIN22v.23	FAIL	899.43
s820_d8_s	FAIL	899.46
CHAIN23v.24	FAIL	899.49
s499_d8_s	FAIL	899.51
uclid-pipe3b	FAIL	899.58
s510_d8_s	FAIL	899.63
s499_d2_s	FAIL	899.66
test1_quant_squaring3	FAIL	899.82
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	899.86
s713_d7_u	FAIL	899.89
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	899.94
s386_d2_s	FAIL	899.95
uclid-pipe2	FAIL	899.95
C432.blif_0.10_0.20_0_1_out_exact	FAIL	899.98
C432.blif_0.10_0.20_0_0_out_exact	FAIL	899.99
s713_d6_s	FAIL	900
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900.03
ev-pr-4x4-17-3-0-0-1-s	FAIL	900.06
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	900.07
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900.12
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	900.13
k_dum_n-16	FAIL	900.2
qshifter_5	FAIL	900.24
k_dum_n-21	FAIL	900.26
k_grz_p-12	FAIL	900.28
k_grz_p-16	FAIL	900.29
s386_d7_s	FAIL	900.3
k_grz_n-16	FAIL	900.3
k_grz_n-12	FAIL	900.33
k_dum_n-12	FAIL	900.35
k_dum_n-8	FAIL	900.37
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	900.38
test2_quant_squaring3	FAIL	900.39
k_dum_n-20	FAIL	900.4
s510_d2_s	FAIL	900.44
s3330_d2_s	FAIL	900.47
s713_d2_s	FAIL	900.49
s1269_d4_s	FAIL	900.52
ev-pr-4x4-7-3-0-0-1-s	FAIL	900.56
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	900.56
ev-pr-4x4-5-3-0-0-1-s	FAIL	900.56
ev-pr-4x4-15-3-0-0-1-s	FAIL	900.58
s820_d2_s	FAIL	900.59
ev-pr-4x4-9-3-0-0-1-s	FAIL	900.62
ev-pr-4x4-13-3-0-0-1-s	FAIL	900.63
C432.blif_0.10_1.00_0_0_inp_exact	FAIL	900.63
s713_d4_s	FAIL	900.65
s298_d8_s	FAIL	900.66
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	900.66
test2_quant_squaring2	FAIL	900.71
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	900.71
test2_quant2	FAIL	900.71
ev-pr-4x4-11-3-0-0-1-s	FAIL	900.71
s820_d4_s	FAIL	900.72
qshifter_8	FAIL	900.73
s298_d4_s	FAIL	900.73
s386_d4_s	FAIL	900.74
s1269_d2_s	FAIL	900.77
test2_quant3	FAIL	900.78
s1196_d2_s	FAIL	900.79
s510_d4_s	FAIL	900.8
s499_d4_s	FAIL	900.85
qshifter_7	FAIL	900.88
s1196_d3_u	FAIL	900.9
qshifter_6	FAIL	900.96

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QChaffLearn
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QChaffLearn QBFEVAL'05

Instances solved by QChaffLearn
QBFEVAL'05