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

Instances solved by WalkQSAT
QBFEVAL'05

Instance	Result	Time
3qbf-5cnf-20var-160cl.9	SAT	0
ncf_4_8_2_edau.7	UNSAT	0
3qbf-5cnf-40var-160cl.7	SAT	0
6qbf-5cnf-20var-40cl.3	SAT	0
ncf_4_8_2_edau.10	SAT	0
2qbf-5cnf-20var-640cl.0	UNSAT	0
5qbf-5cnf-80var-320cl.3	SAT	0
5qbf-5cnf-80var-320cl.4	SAT	0
s641_d2_s	FAIL	0
4qbf-5cnf-80var-160cl.7	SAT	0
6qbf-5cnf-40var-160cl.7	SAT	0
5qbf-5cnf-20var-40cl.0	SAT	0
4qbf-5cnf-20var-80cl.4	SAT	0
ncf_4_8_2_u.7	UNSAT	0
6qbf-5cnf-80var-320cl.8	SAT	0
ncf_4_8_2_u.1	UNSAT	0
ncf_8_16_2_edau.6	UNSAT	0
6qbf-5cnf-20var-40cl.9	SAT	0
6qbf-5cnf-20var-640cl.5	UNSAT	0
2qbf-5cnf-40var-1280cl.6	UNSAT	0
3qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-80var-160cl.9	SAT	0
5qbf-5cnf-40var-160cl.0	SAT	0
5qbf-5cnf-20var-80cl.4	SAT	0
5qbf-5cnf-40var-160cl.7	SAT	0
impl16	SAT	0
2qbf-5cnf-20var-640cl.1	UNSAT	0
3qbf-5cnf-40var-80cl.9	SAT	0
4qbf-5cnf-40var-1280cl.3	UNSAT	0
6qbf-5cnf-40var-160cl.1	SAT	0
6qbf-5cnf-40var-1280cl.0	UNSAT	0
ncf_4_8_2_euad.4	UNSAT	0
5qbf-5cnf-20var-160cl.8	SAT	0
6qbf-5cnf-40var-160cl.5	SAT	0
ncf_4_8_2_d.9	SAT	0
toilet_c_08_01.4	UNSAT	0
5qbf-5cnf-20var-160cl.6	SAT	0
6qbf-5cnf-160var-320cl.5	SAT	0
5qbf-5cnf-20var-80cl.9	SAT	0
4qbf-5cnf-160var-320cl.1	SAT	0
5qbf-5cnf-20var-40cl.5	SAT	0
4qbf-5cnf-160var-320cl.8	SAT	0
6qbf-5cnf-80var-160cl.3	SAT	0
3qbf-5cnf-80var-320cl.7	SAT	0
3qbf-5cnf-20var-640cl.2	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
6qbf-5cnf-160var-320cl.6	SAT	0
ncf_4_8_2_d.1	UNSAT	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	FAIL	0
3qbf-5cnf-40var-80cl.3	SAT	0
4qbf-5cnf-160var-320cl.0	SAT	0
3qbf-5cnf-20var-160cl.0	SAT	0
impl18	SAT	0
2qbf-5cnf-20var-40cl.0	SAT	0
5qbf-5cnf-40var-1280cl.9	UNSAT	0
5qbf-5cnf-20var-40cl.7	SAT	0
3qbf-5cnf-80var-160cl.8	SAT	0
2qbf-5cnf-20var-40cl.1	SAT	0
4qbf-5cnf-40var-80cl.0	SAT	0
ncf_4_8_2_euad.1	UNSAT	0
impl04	SAT	0
4qbf-5cnf-20var-640cl.4	UNSAT	0
5qbf-5cnf-40var-80cl.5	SAT	0
4qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-160var-640cl.0	SAT	0
3qbf-5cnf-80var-320cl.0	SAT	0
5qbf-5cnf-20var-640cl.8	UNSAT	0
5qbf-5cnf-40var-80cl.0	SAT	0
2qbf-5cnf-20var-40cl.6	SAT	0
3qbf-5cnf-80var-160cl.4	SAT	0
tree-exa2-10	UNSAT	0
3qbf-5cnf-40var-640cl.8	UNSAT	0
s641_d4_s	FAIL	0
3qbf-5cnf-20var-80cl.9	SAT	0
4qbf-5cnf-20var-640cl.7	UNSAT	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
4qbf-5cnf-40var-80cl.3	SAT	0
ncf_4_8_2_d.5	SAT	0
4qbf-5cnf-20var-640cl.5	UNSAT	0
tree-exa2-15	UNSAT	0
3qbf-5cnf-20var-80cl.5	SAT	0
tree-exa2-20	UNSAT	0
4qbf-5cnf-20var-80cl.9	SAT	0
5qbf-5cnf-20var-160cl.3	SAT	0
5qbf-5cnf-40var-80cl.9	SAT	0
3qbf-5cnf-20var-160cl.4	SAT	0
4qbf-5cnf-20var-320cl.1	UNSAT	0
2qbf-5cnf-20var-640cl.3	UNSAT	0
4qbf-5cnf-20var-40cl.0	SAT	0
ncf_4_8_2_edau.4	UNSAT	0
4qbf-5cnf-80var-160cl.1	SAT	0
3qbf-5cnf-40var-80cl.8	SAT	0
ncf_4_8_2_u.4	UNSAT	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
6qbf-5cnf-20var-40cl.8	SAT	0
mutex-2-s	SAT	0
5qbf-5cnf-40var-80cl.7	SAT	0
tree-exa10-10	SAT	0
3qbf-5cnf-40var-640cl.9	UNSAT	0
6qbf-5cnf-20var-640cl.1	UNSAT	0
6qbf-5cnf-20var-80cl.4	SAT	0
2qbf-5cnf-20var-40cl.9	SAT	0
6qbf-5cnf-20var-80cl.2	SAT	0
5qbf-5cnf-20var-80cl.8	SAT	0
4qbf-5cnf-20var-80cl.1	SAT	0
ncf_4_8_4_u.5	SAT	0
ncf_4_16_2_euad.6	SAT	0
3qbf-5cnf-20var-40cl.8	SAT	0
4qbf-5cnf-40var-80cl.4	SAT	0
6qbf-5cnf-160var-640cl.8	SAT	0
6qbf-5cnf-20var-640cl.9	UNSAT	0
6qbf-5cnf-40var-160cl.3	SAT	0
6qbf-5cnf-80var-320cl.4	SAT	0
ncf_4_8_2_edau.1	UNSAT	0
2qbf-5cnf-40var-1280cl.4	UNSAT	0
4qbf-5cnf-80var-160cl.0	SAT	0
horn_400CNF1360_2aQBF_755	UNSAT	0
4qbf-5cnf-40var-1280cl.0	UNSAT	0
5qbf-5cnf-20var-40cl.6	SAT	0
3qbf-5cnf-20var-640cl.7	UNSAT	0
3qbf-5cnf-20var-80cl.2	SAT	0
6qbf-5cnf-160var-320cl.8	SAT	0
2qbf-5cnf-80var-2560cl.2	UNSAT	0
4qbf-5cnf-20var-320cl.6	UNSAT	0
5qbf-5cnf-40var-160cl.2	SAT	0
3qbf-5cnf-40var-160cl.1	SAT	0
flipflop-4-c	UNSAT	0
ncf_8_16_2_u.7	SAT	0
5qbf-5cnf-20var-80cl.3	SAT	0
4qbf-5cnf-20var-640cl.9	UNSAT	0
4qbf-5cnf-80var-160cl.5	SAT	0
ncf_8_16_2_u.6	UNSAT	0
4qbf-5cnf-40var-80cl.8	SAT	0
ncf_4_8_4_euad.6	SAT	0
5qbf-5cnf-40var-1280cl.4	UNSAT	0
4qbf-5cnf-40var-80cl.7	SAT	0
5qbf-5cnf-20var-80cl.5	SAT	0
4qbf-5cnf-20var-40cl.1	SAT	0
4qbf-5cnf-160var-320cl.4	SAT	0
3qbf-5cnf-20var-160cl.5	SAT	0
6qbf-5cnf-40var-80cl.7	SAT	0
3qbf-5cnf-20var-160cl.6	SAT	0
ncf_4_8_2_edau.5	SAT	0
5qbf-5cnf-40var-1280cl.8	UNSAT	0
3qbf-5cnf-20var-40cl.7	SAT	0
5qbf-5cnf-20var-160cl.0	SAT	0
5qbf-5cnf-80var-160cl.0	SAT	0
6qbf-5cnf-20var-40cl.1	SAT	0
3qbf-5cnf-20var-80cl.6	SAT	0
ncf_4_8_2_u.5	SAT	0
5qbf-5cnf-80var-160cl.8	SAT	0
3qbf-5cnf-40var-1280cl.9	UNSAT	0
6qbf-5cnf-80var-160cl.0	SAT	0
3qbf-5cnf-20var-40cl.9	SAT	0
6qbf-5cnf-40var-160cl.4	SAT	0
6qbf-5cnf-80var-160cl.9	SAT	0
3qbf-5cnf-40var-80cl.2	SAT	0
4qbf-5cnf-40var-80cl.2	SAT	0
2qbf-5cnf-20var-40cl.7	SAT	0
3qbf-5cnf-20var-40cl.3	SAT	0
tree-exa2-30	UNSAT	0
3qbf-5cnf-80var-320cl.8	SAT	0
4qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-160var-640cl.6	SAT	0
ncf_4_8_4_d.9	SAT	0
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	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
5qbf-5cnf-20var-80cl.6	SAT	0
3qbf-5cnf-20var-40cl.6	SAT	0
3qbf-5cnf-160var-640cl.9	SAT	0
TOILET2.1.iv.4	SAT	0
ncf_8_16_2_euad.7	SAT	0
2qbf-5cnf-40var-80cl.4	SAT	0
5qbf-5cnf-40var-80cl.3	SAT	0
6qbf-5cnf-40var-80cl.5	SAT	0
impl02	SAT	0
3qbf-5cnf-20var-80cl.3	SAT	0
2qbf-5cnf-20var-40cl.5	SAT	0
Adder2-2-c	UNSAT	0
6qbf-5cnf-160var-320cl.2	SAT	0
3qbf-5cnf-80var-320cl.4	SAT	0
6qbf-5cnf-80var-160cl.8	SAT	0
3qbf-5cnf-160var-320cl.4	SAT	0
6qbf-5cnf-40var-80cl.1	SAT	0
3qbf-5cnf-20var-640cl.5	UNSAT	0
3qbf-5cnf-40var-160cl.4	SAT	0
4qbf-5cnf-40var-80cl.9	SAT	0
6qbf-5cnf-20var-80cl.3	SAT	0
3qbf-5cnf-40var-80cl.5	SAT	0
6qbf-5cnf-160var-320cl.0	SAT	0
2qbf-5cnf-20var-40cl.8	SAT	0
6qbf-5cnf-20var-80cl.9	SAT	0
5qbf-5cnf-20var-80cl.7	SAT	0
4qbf-5cnf-20var-80cl.2	SAT	0
ncf_4_8_2_d.4	UNSAT	0
5qbf-5cnf-20var-40cl.1	SAT	0
5qbf-5cnf-40var-320cl.7	SAT	0
2qbf-5cnf-20var-40cl.4	SAT	0
3qbf-5cnf-20var-40cl.1	SAT	0
6qbf-5cnf-80var-320cl.5	SAT	0
ncf_8_16_2_euad.8	UNSAT	0
6qbf-5cnf-20var-160cl.3	UNSAT	0
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0
toilet_c_10_01.4	UNSAT	0
5qbf-5cnf-40var-640cl.8	UNSAT	0
2qbf-5cnf-40var-1280cl.5	UNSAT	0
3qbf-5cnf-20var-160cl.2	SAT	0
toilet_c_08_01.2	UNSAT	0
5qbf-5cnf-20var-160cl.5	SAT	0
4qbf-5cnf-40var-80cl.6	SAT	0
5qbf-5cnf-160var-640cl.5	SAT	0
3qbf-5cnf-80var-160cl.5	SAT	0
s641_d7_u	FAIL	0
impl14	SAT	0
ncf_4_8_2_euad.10	SAT	0
ncf_4_8_2_u.2	SAT	0
ncf_4_8_4_edau.9	SAT	0
3qbf-5cnf-160var-320cl.3	SAT	0
3qbf-5cnf-80var-320cl.5	SAT	0
4qbf-5cnf-20var-320cl.5	UNSAT	0
3qbf-5cnf-20var-80cl.4	SAT	0
3qbf-5cnf-20var-40cl.5	SAT	0
5qbf-5cnf-80var-320cl.8	SAT	0
3qbf-5cnf-20var-640cl.4	UNSAT	0
ncf_4_8_2_u.10	SAT	0
2qbf-5cnf-20var-320cl.6	UNSAT	0
1qbf-5cnf-20var-160cl.6	SAT	0
1qbf-5cnf-20var-320cl.2	SAT	0
1qbf-5cnf-40var-320cl.9	SAT	0
6qbf-5cnf-20var-40cl.4	SAT	0
1qbf-5cnf-20var-320cl.8	SAT	0
1qbf-5cnf-20var-80cl.8	SAT	0
1qbf-5cnf-40var-160cl.4	SAT	0
1qbf-5cnf-40var-80cl.5	SAT	0
1qbf-5cnf-160var-640cl.5	SAT	0
1qbf-5cnf-20var-160cl.8	SAT	0
1qbf-5cnf-80var-640cl.5	SAT	0
1qbf-5cnf-20var-320cl.1	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-40var-80cl.3	SAT	0
1qbf-5cnf-160var-640cl.2	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-320cl.6	SAT	0
1qbf-5cnf-40var-80cl.8	SAT	0
1qbf-5cnf-160var-640cl.0	SAT	0
1qbf-5cnf-160var-320cl.7	SAT	0
1qbf-5cnf-160var-320cl.5	SAT	0
5qbf-5cnf-80var-160cl.3	SAT	0
1qbf-5cnf-20var-320cl.4	SAT	0
1qbf-5cnf-20var-40cl.2	SAT	0
1qbf-5cnf-20var-40cl.8	SAT	0
1qbf-5cnf-160var-1280cl.9	SAT	0
1qbf-5cnf-80var-640cl.6	SAT	0
1qbf-5cnf-40var-320cl.0	SAT	0
1qbf-5cnf-20var-160cl.5	SAT	0
1qbf-5cnf-20var-160cl.1	SAT	0
1qbf-5cnf-80var-320cl.1	SAT	0
1qbf-5cnf-20var-160cl.3	SAT	0
1qbf-5cnf-40var-160cl.5	SAT	0
1qbf-5cnf-80var-320cl.2	SAT	0
1qbf-5cnf-40var-320cl.1	SAT	0
1qbf-5cnf-20var-80cl.2	SAT	0
1qbf-5cnf-160var-320cl.9	SAT	0
1qbf-5cnf-160var-1280cl.7	SAT	0
1qbf-5cnf-20var-80cl.0	SAT	0
1qbf-5cnf-40var-320cl.4	SAT	0
1qbf-5cnf-80var-320cl.0	SAT	0
1qbf-5cnf-80var-160cl.8	SAT	0
1qbf-5cnf-20var-160cl.0	SAT	0
1qbf-5cnf-160var-640cl.7	SAT	0
1qbf-5cnf-40var-80cl.9	SAT	0
1qbf-5cnf-80var-160cl.9	SAT	0
1qbf-5cnf-40var-160cl.6	SAT	0
1qbf-5cnf-20var-40cl.1	SAT	0
1qbf-5cnf-40var-160cl.0	SAT	0
1qbf-5cnf-40var-320cl.7	SAT	0
1qbf-5cnf-160var-640cl.3	SAT	0
1qbf-5cnf-20var-160cl.9	SAT	0
1qbf-5cnf-40var-320cl.8	SAT	0
1qbf-5cnf-80var-320cl.5	SAT	0
1qbf-5cnf-160var-320cl.1	SAT	0
5qbf-5cnf-40var-80cl.1	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-80var-160cl.2	SAT	0
1qbf-5cnf-20var-80cl.1	SAT	0
1qbf-5cnf-160var-320cl.4	SAT	0
1qbf-5cnf-20var-80cl.7	SAT	0
6qbf-5cnf-80var-2560cl.9	UNSAT	0.01
3qbf-5cnf-40var-1280cl.5	UNSAT	0.01
ncf_8_16_2_edau.8	UNSAT	0.01
ncf_4_16_2_euad.2	SAT	0.01
3qbf-5cnf-80var-320cl.1	SAT	0.01
flipflop-3-c	UNSAT	0.01
ncf_4_8_2_euad.8	SAT	0.01
impl20	SAT	0.01
5qbf-5cnf-40var-1280cl.7	UNSAT	0.01
impl10	SAT	0.01
5qbf-5cnf-40var-1280cl.0	UNSAT	0.01
6qbf-5cnf-40var-1280cl.5	UNSAT	0.01
6qbf-5cnf-20var-40cl.0	SAT	0.01
3qbf-5cnf-160var-320cl.0	SAT	0.01
6qbf-5cnf-20var-640cl.3	UNSAT	0.01
3qbf-5cnf-80var-160cl.2	SAT	0.01
4qbf-5cnf-20var-80cl.8	SAT	0.01
3qbf-5cnf-20var-320cl.9	UNSAT	0.01
tree-exa2-45	UNSAT	0.01
6qbf-5cnf-80var-160cl.4	SAT	0.01
3qbf-5cnf-40var-160cl.5	SAT	0.01
6qbf-5cnf-40var-160cl.6	SAT	0.01
6qbf-5cnf-40var-80cl.3	SAT	0.01
ncf_4_8_2_edau.3	UNSAT	0.01
6qbf-5cnf-80var-320cl.7	SAT	0.01
ncf_8_16_2_d.1	SAT	0.01
4qbf-5cnf-20var-80cl.5	SAT	0.01
5qbf-5cnf-160var-640cl.8	SAT	0.01
5qbf-5cnf-40var-80cl.8	SAT	0.01
6qbf-5cnf-20var-640cl.4	UNSAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
ncf_8_16_4_d.10	SAT	0.01
6qbf-5cnf-20var-640cl.7	UNSAT	0.01
2qbf-5cnf-20var-40cl.2	SAT	0.01
5qbf-5cnf-40var-320cl.1	SAT	0.01
6qbf-5cnf-160var-640cl.2	SAT	0.01
3qbf-5cnf-80var-160cl.1	SAT	0.01
comp.blif_0.10_1.00_0_0_inp_exact	FAIL	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
ncf_8_16_2_d.6	UNSAT	0.01
5qbf-5cnf-20var-80cl.2	SAT	0.01
2qbf-5cnf-40var-80cl.2	SAT	0.01
4qbf-5cnf-20var-40cl.5	SAT	0.01
ncf_4_8_8_u.9	UNSAT	0.01
5qbf-5cnf-40var-160cl.1	SAT	0.01
6qbf-5cnf-80var-160cl.2	SAT	0.01
counter_re_2	SAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
ncf_4_8_2_d.10	SAT	0.01
6qbf-5cnf-20var-160cl.8	SAT	0.01
4qbf-5cnf-40var-640cl.9	UNSAT	0.01
3qbf-5cnf-80var-160cl.7	SAT	0.01
ncf_8_16_4_edau.2	UNSAT	0.01
k_ph_n-4	SAT	0.01
ncf_8_16_2_u.10	SAT	0.01
5qbf-5cnf-40var-80cl.6	SAT	0.01
ncf_4_8_2_d.3	UNSAT	0.01
3qbf-5cnf-20var-640cl.9	UNSAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
3qbf-5cnf-80var-320cl.9	SAT	0.01
5qbf-5cnf-80var-2560cl.3	UNSAT	0.01
4qbf-5cnf-20var-640cl.8	UNSAT	0.01
ncf_8_16_4_u.2	UNSAT	0.01
6qbf-5cnf-80var-320cl.6	SAT	0.01
ncf_16_32_2_d.7	UNSAT	0.01
3qbf-5cnf-20var-640cl.6	UNSAT	0.01
4qbf-5cnf-40var-1280cl.7	UNSAT	0.01
mutex-4-s	SAT	0.01
5qbf-5cnf-20var-320cl.2	UNSAT	0.01
3qbf-5cnf-40var-320cl.8	SAT	0.01
4qbf-5cnf-80var-2560cl.4	UNSAT	0.01
ncf_16_32_2_u.6	SAT	0.01
impl12	SAT	0.01
impl08	SAT	0.01
3qbf-5cnf-40var-1280cl.0	UNSAT	0.01
6qbf-5cnf-80var-320cl.2	SAT	0.01
3qbf-5cnf-40var-160cl.9	SAT	0.01
ncf_8_16_2_edau.10	SAT	0.01
4qbf-5cnf-160var-320cl.3	SAT	0.01
5qbf-5cnf-80var-320cl.6	SAT	0.01
ncf_8_16_4_euad.5	UNSAT	0.01
5qbf-5cnf-20var-640cl.1	UNSAT	0.01
4qbf-5cnf-80var-160cl.3	SAT	0.01
ncf_4_8_4_edau.7	UNSAT	0.01
3qbf-5cnf-20var-80cl.0	SAT	0.01
4qbf-5cnf-40var-160cl.1	SAT	0.01
toilet_c_08_01.8	UNSAT	0.01
5qbf-5cnf-80var-320cl.9	SAT	0.01
5qbf-5cnf-160var-640cl.4	SAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.01
toilet_c_08_01.16	SAT	0.01
3qbf-5cnf-40var-1280cl.8	UNSAT	0.01
ncf_4_16_2_euad.9	SAT	0.01
3qbf-5cnf-20var-40cl.4	SAT	0.01
3qbf-5cnf-160var-320cl.5	SAT	0.01
6qbf-5cnf-20var-40cl.7	SAT	0.01
6qbf-5cnf-40var-1280cl.6	UNSAT	0.01
2qbf-5cnf-20var-640cl.6	UNSAT	0.01
ncf_4_8_4_u.9	SAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
6qbf-5cnf-80var-320cl.9	SAT	0.01
5qbf-5cnf-80var-320cl.7	SAT	0.01
3qbf-5cnf-160var-320cl.1	SAT	0.01
6qbf-5cnf-40var-160cl.8	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
3qbf-5cnf-20var-80cl.1	SAT	0.01
ncf_4_8_2_u.9	SAT	0.01
4qbf-5cnf-40var-1280cl.6	UNSAT	0.01
3qbf-5cnf-20var-160cl.7	SAT	0.01
5qbf-5cnf-40var-1280cl.6	UNSAT	0.01
toilet_c_08_10.2	SAT	0.01
counter_r_2	SAT	0.01
5qbf-5cnf-80var-2560cl.1	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
5qbf-5cnf-40var-80cl.4	SAT	0.01
6qbf-5cnf-20var-320cl.6	UNSAT	0.01
5qbf-5cnf-160var-640cl.9	SAT	0.01
ncf_4_8_2_edau.9	SAT	0.01
5qbf-5cnf-40var-80cl.2	SAT	0.01
2qbf-5cnf-20var-640cl.9	UNSAT	0.01
6qbf-5cnf-160var-320cl.9	SAT	0.01
4qbf-5cnf-40var-640cl.4	UNSAT	0.01
5qbf-5cnf-20var-160cl.4	SAT	0.01
ncf_8_16_4_euad.10	SAT	0.01
5qbf-5cnf-80var-160cl.1	SAT	0.01
4qbf-5cnf-20var-320cl.4	UNSAT	0.01
4qbf-5cnf-20var-320cl.2	UNSAT	0.01
6qbf-5cnf-80var-320cl.3	SAT	0.01
4qbf-5cnf-20var-640cl.6	UNSAT	0.01
5qbf-5cnf-20var-160cl.7	SAT	0.01
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.01
6qbf-5cnf-40var-80cl.9	SAT	0.01
5qbf-5cnf-40var-320cl.2	SAT	0.01
5qbf-5cnf-20var-40cl.2	SAT	0.01
2qbf-5cnf-80var-1280cl.6	UNSAT	0.01
5qbf-5cnf-20var-640cl.7	UNSAT	0.01
5qbf-5cnf-20var-640cl.0	UNSAT	0.01
4qbf-5cnf-40var-640cl.2	UNSAT	0.01
3qbf-5cnf-40var-160cl.6	SAT	0.01
6qbf-5cnf-20var-80cl.8	SAT	0.01
ncf_4_16_2_u.2	SAT	0.01
2qbf-5cnf-40var-1280cl.8	UNSAT	0.01
3qbf-5cnf-40var-160cl.8	SAT	0.01
ncf_8_16_4_edau.1	SAT	0.01
ncf_4_8_2_u.3	UNSAT	0.01
ncf_8_16_2_d.7	SAT	0.01
5qbf-5cnf-40var-1280cl.3	UNSAT	0.01
3qbf-5cnf-20var-640cl.3	UNSAT	0.01
5qbf-5cnf-20var-640cl.3	UNSAT	0.01
5qbf-5cnf-80var-320cl.0	SAT	0.01
ncf_4_8_4_d.5	SAT	0.01
ncf_8_16_2_edau.7	SAT	0.01
6qbf-5cnf-40var-80cl.2	SAT	0.01
ncf_4_8_2_euad.3	UNSAT	0.01
ncf_8_16_2_u.1	SAT	0.01
ncf_8_16_2_euad.4	SAT	0.01
ncf_4_16_2_u.6	SAT	0.01
6qbf-5cnf-80var-160cl.1	SAT	0.01
5qbf-5cnf-80var-160cl.5	SAT	0.01
toilet_c_10_10.2	SAT	0.01
5qbf-5cnf-20var-640cl.2	UNSAT	0.01
horn_400CNF1680_2aQBF_154	UNSAT	0.01
2qbf-5cnf-20var-640cl.7	UNSAT	0.01
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.01
ncf_8_16_4_euad.8	UNSAT	0.01
3qbf-5cnf-20var-320cl.1	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
tree-exa2-40	UNSAT	0.01
ncf_4_8_2_d.2	SAT	0.01
ncf_4_8_4_d.3	UNSAT	0.01
3qbf-5cnf-20var-320cl.6	UNSAT	0.01
2qbf-5cnf-20var-640cl.5	UNSAT	0.01
3qbf-5cnf-40var-640cl.7	UNSAT	0.01
4qbf-5cnf-20var-80cl.6	SAT	0.01
3qbf-5cnf-80var-320cl.3	SAT	0.01
s641_d6_s	FAIL	0.01
6qbf-5cnf-20var-640cl.8	UNSAT	0.01
3qbf-5cnf-80var-160cl.6	SAT	0.01
3qbf-5cnf-40var-160cl.2	SAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
ncf_8_16_2_euad.3	UNSAT	0.01
4qbf-5cnf-40var-1280cl.2	UNSAT	0.01
ncf_4_8_2_d.7	UNSAT	0.01
ncf_4_8_2_d.8	SAT	0.01
ncf_4_8_4_euad.5	SAT	0.01
6qbf-5cnf-20var-320cl.3	UNSAT	0.01
ncf_8_16_2_d.10	SAT	0.01
4qbf-5cnf-40var-160cl.5	SAT	0.01
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.01
3qbf-5cnf-160var-320cl.9	SAT	0.01
2qbf-5cnf-20var-40cl.3	SAT	0.01
5qbf-5cnf-20var-160cl.1	SAT	0.01
6qbf-5cnf-20var-80cl.6	SAT	0.01
ncf_4_16_4_edau.5	SAT	0.01
4qbf-5cnf-40var-80cl.5	SAT	0.01
3qbf-5cnf-160var-320cl.2	SAT	0.01
5qbf-5cnf-80var-160cl.4	SAT	0.01
6qbf-5cnf-40var-80cl.4	SAT	0.01
3qbf-5cnf-20var-80cl.8	SAT	0.01
5qbf-5cnf-20var-40cl.8	SAT	0.01
4qbf-5cnf-20var-40cl.6	SAT	0.01
3qbf-5cnf-20var-40cl.0	SAT	0.01
ncf_8_16_4_u.1	SAT	0.01
5qbf-5cnf-20var-80cl.0	SAT	0.01
5qbf-5cnf-160var-640cl.2	SAT	0.01
5qbf-5cnf-20var-40cl.4	SAT	0.01
4qbf-5cnf-40var-1280cl.4	UNSAT	0.01
4qbf-5cnf-20var-80cl.0	SAT	0.01
4qbf-5cnf-80var-2560cl.7	UNSAT	0.01
4qbf-5cnf-40var-1280cl.5	UNSAT	0.01
ncf_4_8_4_euad.3	UNSAT	0.01
ncf_8_16_2_euad.6	UNSAT	0.01
ncf_8_16_4_d.5	UNSAT	0.01
2qbf-5cnf-20var-640cl.4	UNSAT	0.01
toilet_c_10_01.8	UNSAT	0.01
ncf_4_8_4_d.2	UNSAT	0.01
2qbf-5cnf-40var-640cl.5	UNSAT	0.01
5qbf-5cnf-40var-160cl.5	SAT	0.01
ncf_4_8_2_u.8	SAT	0.01
3qbf-5cnf-80var-160cl.3	SAT	0.01
5qbf-5cnf-40var-1280cl.1	UNSAT	0.01
5qbf-5cnf-160var-320cl.2	SAT	0.01
2qbf-5cnf-40var-640cl.6	UNSAT	0.01
3qbf-5cnf-160var-640cl.8	SAT	0.01
3qbf-5cnf-40var-160cl.3	SAT	0.01
5qbf-5cnf-80var-160cl.2	SAT	0.01
4qbf-5cnf-160var-320cl.2	SAT	0.01
6qbf-5cnf-160var-320cl.4	SAT	0.01
4qbf-5cnf-20var-80cl.7	SAT	0.01
ncf_8_16_4_d.6	UNSAT	0.01
4qbf-5cnf-20var-320cl.0	UNSAT	0.01
6qbf-5cnf-160var-640cl.4	SAT	0.01
ncf_4_8_4_u.7	UNSAT	0.01
6qbf-5cnf-160var-640cl.7	SAT	0.01
toilet_c_08_05.4	SAT	0.01
4qbf-5cnf-80var-160cl.4	SAT	0.01
5qbf-5cnf-80var-640cl.2	SAT	0.01
4qbf-5cnf-40var-1280cl.8	UNSAT	0.01
3qbf-5cnf-40var-1280cl.2	UNSAT	0.01
4qbf-5cnf-160var-320cl.5	SAT	0.01
comp.blif_0.10_1.00_0_1_inp_exact	FAIL	0.01
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
ncf_8_16_2_d.3	UNSAT	0.01
6qbf-5cnf-40var-1280cl.9	UNSAT	0.01
4qbf-5cnf-20var-640cl.0	UNSAT	0.01
6qbf-5cnf-40var-160cl.9	SAT	0.01
4qbf-5cnf-40var-80cl.1	SAT	0.01
3qbf-5cnf-160var-640cl.7	SAT	0.01
ncf_8_16_4_edau.6	UNSAT	0.01
ncf_8_16_4_u.10	SAT	0.01
2qbf-5cnf-20var-640cl.8	UNSAT	0.01
ncf_4_16_4_euad.5	SAT	0.01
ncf_4_8_4_euad.2	UNSAT	0.01
5qbf-5cnf-20var-640cl.5	UNSAT	0.01
5qbf-5cnf-20var-160cl.2	SAT	0.01
3qbf-5cnf-40var-80cl.4	SAT	0.01
6qbf-5cnf-40var-1280cl.2	UNSAT	0.01
4qbf-5cnf-160var-320cl.6	SAT	0.01
5qbf-5cnf-160var-320cl.4	SAT	0.01
6qbf-5cnf-160var-320cl.3	SAT	0.01
horn_400CNF1760_2aQBF_10	UNSAT	0.01
ncf_8_16_2_d.4	SAT	0.01
6qbf-5cnf-160var-640cl.5	SAT	0.01
4qbf-5cnf-80var-160cl.8	SAT	0.01
counter_2	SAT	0.01
5qbf-5cnf-80var-320cl.2	SAT	0.01
6qbf-5cnf-40var-80cl.8	SAT	0.01
4qbf-5cnf-40var-640cl.8	UNSAT	0.01
4qbf-5cnf-80var-160cl.2	SAT	0.01
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.01
2qbf-5cnf-40var-1280cl.1	UNSAT	0.01
2qbf-5cnf-40var-640cl.7	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
3qbf-5cnf-20var-320cl.4	UNSAT	0.01
ncf_4_8_2_edau.2	SAT	0.01
3qbf-5cnf-40var-80cl.6	SAT	0.01
ncf_8_16_2_euad.1	SAT	0.01
3qbf-5cnf-40var-80cl.0	SAT	0.01
6qbf-5cnf-160var-640cl.0	SAT	0.01
6qbf-5cnf-80var-160cl.5	SAT	0.01
ncf_4_8_2_euad.5	SAT	0.01
ncf_4_8_2_euad.7	UNSAT	0.01
impl06	SAT	0.01
3qbf-5cnf-20var-640cl.1	UNSAT	0.01
5qbf-5cnf-160var-320cl.7	SAT	0.01
6qbf-5cnf-20var-80cl.1	SAT	0.01
4qbf-5cnf-20var-320cl.7	UNSAT	0.01
TOILET7.1.iv.14	SAT	0.01
4qbf-5cnf-20var-640cl.2	UNSAT	0.01
ncf_4_8_4_edau.3	UNSAT	0.01
5qbf-5cnf-20var-160cl.9	SAT	0.01
ncf_8_16_2_euad.10	SAT	0.01
ncf_8_16_4_u.8	UNSAT	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
5qbf-5cnf-20var-640cl.9	UNSAT	0.01
6qbf-5cnf-40var-160cl.2	SAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
3qbf-5cnf-20var-160cl.8	SAT	0.01
ncf_8_16_2_u.4	SAT	0.01
5qbf-5cnf-80var-160cl.9	SAT	0.01
toilet_c_08_05.10	SAT	0.01
3qbf-5cnf-160var-320cl.7	SAT	0.01
3qbf-5cnf-160var-640cl.2	SAT	0.01
ncf_8_16_4_euad.2	UNSAT	0.01
tree-exa2-35	UNSAT	0.01
ncf_4_8_4_d.6	SAT	0.01
z4ml.blif_0.10_1.00_0_0_out_exact	FAIL	0.01
5qbf-5cnf-160var-320cl.1	SAT	0.01
4qbf-5cnf-20var-640cl.3	UNSAT	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
6qbf-5cnf-80var-160cl.6	SAT	0.01
4qbf-5cnf-20var-80cl.3	SAT	0.01
4qbf-5cnf-80var-160cl.9	SAT	0.01
3qbf-5cnf-160var-640cl.1	SAT	0.01
3qbf-5cnf-40var-1280cl.6	UNSAT	0.01
3qbf-5cnf-160var-640cl.5	SAT	0.01
5qbf-5cnf-40var-160cl.9	SAT	0.01
5qbf-5cnf-160var-320cl.9	SAT	0.01
4qbf-5cnf-20var-40cl.7	SAT	0.01
2qbf-5cnf-80var-1280cl.9	UNSAT	0.01
6qbf-5cnf-20var-40cl.2	SAT	0.01
3qbf-5cnf-40var-1280cl.1	UNSAT	0.01
6qbf-5cnf-160var-320cl.7	SAT	0.01
6qbf-5cnf-20var-320cl.1	UNSAT	0.01
6qbf-5cnf-160var-320cl.1	SAT	0.01
5qbf-5cnf-20var-40cl.9	SAT	0.01
2qbf-5cnf-40var-1280cl.3	UNSAT	0.01
3qbf-5cnf-20var-640cl.8	UNSAT	0.01
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
3qbf-5cnf-40var-1280cl.7	UNSAT	0.01
5qbf-5cnf-160var-320cl.6	SAT	0.01
3qbf-5cnf-80var-2560cl.3	UNSAT	0.01
3qbf-5cnf-20var-640cl.0	UNSAT	0.01
TOILET2.1.iv.3	UNSAT	0.01
6qbf-5cnf-20var-160cl.7	SAT	0.01
4qbf-5cnf-160var-320cl.9	SAT	0.01
3qbf-5cnf-160var-320cl.8	SAT	0.01
2qbf-5cnf-40var-80cl.3	SAT	0.01
3qbf-5cnf-160var-640cl.4	SAT	0.01
ncf_4_8_4_u.2	UNSAT	0.01
6qbf-5cnf-40var-160cl.0	SAT	0.01
5qbf-5cnf-80var-160cl.6	SAT	0.01
1qbf-5cnf-80var-320cl.6	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-20var-80cl.4	SAT	0.01
1qbf-5cnf-80var-320cl.8	SAT	0.01
1qbf-5cnf-40var-320cl.6	SAT	0.01
1qbf-5cnf-40var-160cl.7	SAT	0.01
1qbf-5cnf-20var-40cl.6	SAT	0.01
1qbf-5cnf-80var-640cl.2	SAT	0.01
1qbf-5cnf-80var-320cl.9	SAT	0.01
1qbf-5cnf-20var-40cl.5	SAT	0.01
1qbf-5cnf-160var-1280cl.2	SAT	0.01
1qbf-5cnf-80var-640cl.1	SAT	0.01
1qbf-5cnf-20var-80cl.5	SAT	0.01
1qbf-5cnf-160var-1280cl.1	SAT	0.01
1qbf-5cnf-160var-320cl.2	SAT	0.01
1qbf-5cnf-160var-640cl.6	SAT	0.01
1qbf-5cnf-20var-80cl.6	SAT	0.01
1qbf-5cnf-20var-40cl.3	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-160cl.4	SAT	0.01
1qbf-5cnf-160var-640cl.4	SAT	0.01
1qbf-5cnf-80var-160cl.7	SAT	0.01
1qbf-5cnf-160var-320cl.8	SAT	0.01
1qbf-5cnf-80var-320cl.4	SAT	0.01
1qbf-5cnf-20var-320cl.9	SAT	0.01
1qbf-5cnf-160var-640cl.8	SAT	0.01
1qbf-5cnf-40var-160cl.1	SAT	0.01
1qbf-5cnf-80var-640cl.9	SAT	0.01
1qbf-5cnf-160var-320cl.3	SAT	0.01
1qbf-5cnf-80var-640cl.0	SAT	0.01
1qbf-5cnf-80var-160cl.0	SAT	0.01
1qbf-5cnf-20var-80cl.3	SAT	0.01
1qbf-5cnf-40var-320cl.2	SAT	0.01
1qbf-5cnf-20var-160cl.2	SAT	0.01
1qbf-5cnf-80var-640cl.4	SAT	0.01
1qbf-5cnf-160var-320cl.6	SAT	0.01
1qbf-5cnf-20var-40cl.9	SAT	0.01
1qbf-5cnf-20var-320cl.0	SAT	0.01
1qbf-5cnf-80var-160cl.6	SAT	0.01
1qbf-5cnf-160var-640cl.9	SAT	0.01
1qbf-5cnf-160var-1280cl.3	SAT	0.01
1qbf-5cnf-160var-1280cl.5	SAT	0.01
1qbf-5cnf-40var-80cl.2	SAT	0.01
4qbf-5cnf-20var-40cl.3	SAT	0.01
1qbf-5cnf-20var-160cl.4	SAT	0.01
1qbf-5cnf-40var-320cl.5	SAT	0.01
1qbf-5cnf-40var-160cl.8	SAT	0.01
1qbf-5cnf-20var-160cl.7	SAT	0.01
1qbf-5cnf-40var-320cl.3	SAT	0.01
6qbf-5cnf-80var-160cl.7	SAT	0.01
1qbf-5cnf-80var-160cl.1	SAT	0.01
1qbf-5cnf-80var-160cl.5	SAT	0.01
1qbf-5cnf-80var-640cl.8	SAT	0.01
1qbf-5cnf-40var-80cl.6	SAT	0.01
1qbf-5cnf-80var-640cl.7	SAT	0.01
3qbf-5cnf-80var-2560cl.9	UNSAT	0.02
ncf_8_16_4_d.1	SAT	0.02
ncf_16_32_2_edau.6	SAT	0.02
counter_e_2	SAT	0.02
5qbf-5cnf-80var-640cl.7	SAT	0.02
4qbf-5cnf-20var-320cl.3	UNSAT	0.02
5qbf-5cnf-20var-320cl.1	UNSAT	0.02
ncf_4_16_4_u.5	SAT	0.02
5qbf-5cnf-80var-160cl.7	SAT	0.02
4qbf-5cnf-40var-640cl.1	UNSAT	0.02
5qbf-5cnf-80var-320cl.1	SAT	0.02
6qbf-5cnf-20var-160cl.4	SAT	0.02
ncf_4_16_2_d.2	SAT	0.02
renHorn_400CNF1800_2aQBF_53	UNSAT	0.02
2qbf-5cnf-80var-2560cl.7	UNSAT	0.02
ncf_4_16_2_d.6	SAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
6qbf-5cnf-20var-320cl.5	UNSAT	0.02
4qbf-5cnf-80var-320cl.0	SAT	0.02
renHorn_400CNF1200_2aQBF_28	UNSAT	0.02
horn_400CNF1360_2aQBF_894	UNSAT	0.02
3qbf-5cnf-160var-640cl.3	SAT	0.02
toilet_c_10_01.20	SAT	0.02
4qbf-5cnf-80var-160cl.6	SAT	0.02
5qbf-5cnf-160var-320cl.5	SAT	0.02
4qbf-5cnf-80var-1280cl.5	UNSAT	0.02
horn_400CNF1760_2aQBF_726	UNSAT	0.02
horn_400CNF1760_2aQBF_484	UNSAT	0.02
6qbf-5cnf-20var-640cl.0	UNSAT	0.02
horn_400CNF1840_2aQBF_401	UNSAT	0.02
ncf_8_16_2_euad.9	UNSAT	0.02
ncf_8_16_4_euad.6	UNSAT	0.02
szymanski-4-s	UNSAT	0.02
3qbf-5cnf-80var-2560cl.6	UNSAT	0.02
flipflop-5-c	UNSAT	0.02
horn_400CNF2000_2aQBF_564	UNSAT	0.02
3qbf-5cnf-80var-2560cl.0	UNSAT	0.02
5qbf-5cnf-40var-640cl.1	UNSAT	0.02
6qbf-5cnf-20var-320cl.8	UNSAT	0.02
horn_400CNF1600_2aQBF_748	UNSAT	0.02
ncf_8_16_2_edau.4	SAT	0.02
4qbf-5cnf-80var-2560cl.0	UNSAT	0.02
ncf_8_16_2_d.9	UNSAT	0.02
ncf_4_8_4_u.6	SAT	0.02
2qbf-5cnf-80var-1280cl.4	UNSAT	0.02
renHorn_400CNF1200_2aQBF_8	UNSAT	0.02
renHorn_400CNF1200_2aQBF_97	UNSAT	0.02
4qbf-5cnf-40var-1280cl.9	UNSAT	0.02
horn_400CNF1600_2aQBF_278	UNSAT	0.02
ncf_4_8_4_d.7	UNSAT	0.02
horn_400CNF1760_2aQBF_946	UNSAT	0.02
2qbf-5cnf-80var-2560cl.4	UNSAT	0.02
4qbf-5cnf-20var-640cl.1	UNSAT	0.02
6qbf-5cnf-80var-2560cl.6	UNSAT	0.02
5qbf-5cnf-80var-2560cl.6	UNSAT	0.02
ncf_4_8_4_edau.5	SAT	0.02
4qbf-5cnf-40var-640cl.5	UNSAT	0.02
ncf_16_32_2_euad.6	SAT	0.02
3qbf-5cnf-80var-2560cl.5	UNSAT	0.02
ncf_4_8_4_edau.6	SAT	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_8_16_2_u.5	UNSAT	0.02
3qbf-5cnf-20var-320cl.2	UNSAT	0.02
2qbf-5cnf-80var-1280cl.3	UNSAT	0.02
4qbf-5cnf-80var-2560cl.6	UNSAT	0.02
3qbf-5cnf-40var-1280cl.4	UNSAT	0.02
ncf_16_32_2_edau.9	UNSAT	0.02
3qbf-5cnf-40var-1280cl.3	UNSAT	0.02
horn_400CNF1840_2aQBF_215	UNSAT	0.02
toilet_a_08_01.4	UNSAT	0.02
ncf_8_16_4_u.6	UNSAT	0.02
ncf_8_16_4_edau.10	SAT	0.02
ncf_4_8_8_u.5	UNSAT	0.02
5qbf-5cnf-80var-2560cl.7	UNSAT	0.02
4qbf-5cnf-80var-2560cl.8	UNSAT	0.02
3qbf-5cnf-80var-2560cl.1	UNSAT	0.02
horn_400CNF1760_2aQBF_886	UNSAT	0.02
horn_400CNF2000_2aQBF_650	UNSAT	0.02
6qbf-5cnf-80var-320cl.0	SAT	0.02
2qbf-5cnf-80var-2560cl.0	UNSAT	0.02
5qbf-5cnf-160var-640cl.6	SAT	0.02
ncf_4_16_2_edau.9	SAT	0.02
6qbf-5cnf-20var-640cl.2	UNSAT	0.02
6qbf-5cnf-160var-640cl.9	SAT	0.02
TOILET6.1.iv.12	SAT	0.02
5qbf-5cnf-20var-320cl.6	UNSAT	0.02
2qbf-5cnf-80var-2560cl.5	UNSAT	0.02
4qbf-5cnf-40var-640cl.3	UNSAT	0.02
ncf_16_32_2_u.7	UNSAT	0.02
ncf_16_32_2_euad.9	UNSAT	0.02
ncf_4_16_2_d.9	SAT	0.02
2qbf-5cnf-40var-1280cl.7	UNSAT	0.02
5qbf-5cnf-160var-640cl.0	SAT	0.02
ncf_4_8_4_d.8	UNSAT	0.02
ncf_16_32_2_d.6	SAT	0.02
renHorn_400CNF1280_2aQBF_22	UNSAT	0.02
toilet_c_08_05.8	SAT	0.02
2qbf-5cnf-20var-320cl.5	UNSAT	0.02
renHorn_400CNF1480_2aQBF_21	UNSAT	0.02
6qbf-5cnf-40var-640cl.7	UNSAT	0.02
2qbf-5cnf-40var-1280cl.0	UNSAT	0.02
ncf_4_8_2_edau.8	SAT	0.02
6qbf-5cnf-160var-640cl.6	SAT	0.02
5qbf-5cnf-20var-640cl.6	UNSAT	0.02
toilet_c_10_05.4	SAT	0.02
ncf_16_32_2_euad.7	UNSAT	0.02
ncf_4_16_2_d.4	SAT	0.02
5qbf-5cnf-160var-320cl.0	SAT	0.02
3qbf-5cnf-80var-2560cl.2	UNSAT	0.02
4qbf-5cnf-40var-640cl.0	UNSAT	0.02
6qbf-5cnf-160var-640cl.1	SAT	0.02
ncf_8_16_2_edau.9	UNSAT	0.02
3qbf-5cnf-160var-5120cl.3	UNSAT	0.02
2qbf-5cnf-80var-160cl.8	SAT	0.02
ncf_4_8_8_euad.9	UNSAT	0.02
ncf_4_8_4_edau.8	UNSAT	0.02
4qbf-5cnf-80var-2560cl.3	UNSAT	0.02
2qbf-5cnf-40var-1280cl.9	UNSAT	0.02
horn_400CNF1360_2aQBF_130	UNSAT	0.02
ncf_16_32_2_d.9	UNSAT	0.02
horn_400CNF1680_2aQBF_29	UNSAT	0.02
horn_400CNF1680_2aQBF_91	UNSAT	0.02
toilet_a_08_01.2	UNSAT	0.02
2qbf-5cnf-40var-1280cl.2	UNSAT	0.02
5qbf-5cnf-40var-1280cl.2	UNSAT	0.02
5qbf-5cnf-20var-320cl.4	UNSAT	0.02
2qbf-5cnf-80var-2560cl.1	UNSAT	0.02
Adder2-2-s	SAT	0.02
z4ml.blif_0.10_0.20_0_0_inp_exact	FAIL	0.02
6qbf-5cnf-40var-1280cl.4	UNSAT	0.02
ncf_8_32_2_d.9	UNSAT	0.02
3qbf-5cnf-80var-2560cl.4	UNSAT	0.02
horn_400CNF2080_2aQBF_793	UNSAT	0.02
5qbf-5cnf-20var-320cl.8	UNSAT	0.02
toilet_c_08_05.2	UNSAT	0.02
ncf_16_32_2_edau.7	UNSAT	0.02
ncf_4_8_4_euad.7	UNSAT	0.02
renHorn_400CNF1640_2aQBF_7	UNSAT	0.02
ncf_4_8_4_u.3	UNSAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
3qbf-5cnf-80var-2560cl.8	UNSAT	0.02
ncf_16_32_2_edau.8	UNSAT	0.02
4qbf-5cnf-80var-2560cl.2	UNSAT	0.02
ncf_4_8_8_d.9	UNSAT	0.02
2qbf-5cnf-40var-80cl.8	SAT	0.02
4qbf-5cnf-80var-2560cl.9	UNSAT	0.02
ncf_8_16_2_edau.1	SAT	0.02
5qbf-5cnf-160var-640cl.7	SAT	0.02
6qbf-5cnf-20var-40cl.5	SAT	0.02
horn_400CNF1840_2aQBF_752	UNSAT	0.02
5qbf-5cnf-40var-320cl.0	SAT	0.02
horn_400CNF2160_2aQBF_411	UNSAT	0.02
ncf_4_16_2_u.9	SAT	0.02
ncf_4_8_8_edau.9	UNSAT	0.02
5qbf-5cnf-20var-640cl.4	UNSAT	0.02
6qbf-5cnf-40var-1280cl.7	UNSAT	0.02
ncf_16_32_2_d.2	UNSAT	0.02
6qbf-5cnf-40var-1280cl.8	UNSAT	0.02
3qbf-5cnf-40var-640cl.4	UNSAT	0.02
horn_400CNF1600_2aQBF_236	UNSAT	0.02
6qbf-5cnf-20var-160cl.1	SAT	0.02
6qbf-5cnf-160var-640cl.3	SAT	0.02
horn_400CNF1600_2aQBF_922	UNSAT	0.02
2qbf-5cnf-40var-80cl.6	SAT	0.02
5qbf-5cnf-40var-320cl.4	SAT	0.02
4qbf-5cnf-40var-1280cl.1	UNSAT	0.02
4qbf-5cnf-160var-320cl.7	SAT	0.02
1qbf-5cnf-40var-640cl.3	SAT	0.02
1qbf-5cnf-20var-640cl.4	UNSAT	0.02
1qbf-5cnf-20var-320cl.5	SAT	0.02
1qbf-5cnf-160var-1280cl.6	SAT	0.02
1qbf-5cnf-160var-1280cl.4	SAT	0.02
1qbf-5cnf-20var-640cl.9	UNSAT	0.02
1qbf-5cnf-160var-1280cl.8	SAT	0.02
1qbf-5cnf-20var-640cl.5	UNSAT	0.02
1qbf-5cnf-40var-640cl.9	SAT	0.02
1qbf-5cnf-160var-1280cl.0	SAT	0.02
2qbf-5cnf-80var-2560cl.3	UNSAT	0.03
ncf_8_16_2_u.9	UNSAT	0.03
ncf_4_32_2_d.1	UNSAT	0.03
ncf_4_16_4_d.5	SAT	0.03
ncf_4_32_2_edau.1	UNSAT	0.03
ncf_8_16_2_edau.5	UNSAT	0.03
6qbf-5cnf-80var-2560cl.5	UNSAT	0.03
renHorn_400CNF1560_2aQBF_28	UNSAT	0.03
ncf_8_32_2_edau.9	UNSAT	0.03
ncf_8_16_4_u.4	SAT	0.03
6qbf-5cnf-20var-320cl.9	UNSAT	0.03
ncf_4_16_4_d.8	SAT	0.03
ncf_4_8_8_edau.5	UNSAT	0.03
ncf_8_16_8_d.6	UNSAT	0.03
4qbf-5cnf-80var-2560cl.5	UNSAT	0.03
szymanski-5-s	UNSAT	0.03
ncf_4_16_2_edau.4	SAT	0.03
toilet_c_10_05.8	SAT	0.03
ncf_16_32_2_u.9	UNSAT	0.03
renHorn_400CNF1480_2aQBF_85	UNSAT	0.03
2qbf-5cnf-160var-5120cl.2	UNSAT	0.03
6qbf-5cnf-80var-2560cl.1	UNSAT	0.03
3qbf-5cnf-160var-5120cl.5	UNSAT	0.03
ncf_4_16_2_euad.5	UNSAT	0.03
ncf_4_8_8_d.5	UNSAT	0.03
3qbf-5cnf-160var-5120cl.9	UNSAT	0.03
horn_400CNF1520_2aQBF_98	UNSAT	0.03
3qbf-5cnf-20var-320cl.0	UNSAT	0.03
ncf_4_16_2_edau.2	SAT	0.03
k_ph_p-4	FAIL	0.03
6qbf-5cnf-80var-2560cl.0	UNSAT	0.03
6qbf-5cnf-40var-1280cl.3	UNSAT	0.03
renHorn_400CNF1200_2aQBF_79	UNSAT	0.03
renHorn_400CNF1960_2aQBF_68	UNSAT	0.03
ncf_4_8_4_euad.8	UNSAT	0.03
2qbf-5cnf-160var-5120cl.9	UNSAT	0.03
ncf_16_32_2_u.8	UNSAT	0.03
ncf_16_32_2_edau.2	UNSAT	0.03
horn_400CNF1600_2aQBF_571	UNSAT	0.03
5qbf-5cnf-80var-2560cl.2	UNSAT	0.03
ncf_16_32_4_edau.3	SAT	0.03
4qbf-5cnf-40var-160cl.3	SAT	0.03
4qbf-5cnf-20var-320cl.9	UNSAT	0.03
ncf_8_16_2_edau.2	UNSAT	0.03
3qbf-5cnf-160var-5120cl.6	UNSAT	0.03
4qbf-5cnf-20var-160cl.3	UNSAT	0.03
6qbf-5cnf-40var-1280cl.1	UNSAT	0.03
ncf_4_8_4_edau.2	UNSAT	0.03
ncf_16_32_2_euad.8	UNSAT	0.03
renHorn_400CNF1800_2aQBF_36	UNSAT	0.03
horn_400CNF1840_2aQBF_158	UNSAT	0.03
horn_400CNF1920_2aQBF_721	UNSAT	0.03
ncf_16_32_2_euad.5	UNSAT	0.03
5qbf-5cnf-20var-320cl.7	UNSAT	0.03
4qbf-5cnf-40var-320cl.3	UNSAT	0.03
ncf_8_16_2_euad.5	UNSAT	0.03
ncf_4_8_8_euad.5	UNSAT	0.03
ncf_4_8_4_u.8	UNSAT	0.03
ncf_8_32_2_euad.9	UNSAT	0.03
6qbf-5cnf-80var-2560cl.4	UNSAT	0.03
toilet_a_08_01.8	UNSAT	0.03
6qbf-5cnf-80var-2560cl.7	UNSAT	0.03
5qbf-5cnf-80var-2560cl.4	UNSAT	0.03
ncf_4_8_8_u.4	SAT	0.03
horn_400CNF1920_2aQBF_927	UNSAT	0.03
horn_400CNF1520_2aQBF_53	UNSAT	0.03
4qbf-5cnf-80var-1280cl.4	UNSAT	0.03
2qbf-5cnf-40var-640cl.3	UNSAT	0.03
2qbf-5cnf-80var-2560cl.8	UNSAT	0.03
ncf_16_32_2_d.8	UNSAT	0.03
2qbf-5cnf-160var-5120cl.0	UNSAT	0.03
3qbf-5cnf-20var-320cl.7	UNSAT	0.03
toilet_c_10_05.7	SAT	0.03
TOILET10.1.iv.20	SAT	0.03
4qbf-5cnf-40var-640cl.6	UNSAT	0.03
6qbf-5cnf-80var-2560cl.2	UNSAT	0.03
ncf_8_16_4_d.2	UNSAT	0.03
5qbf-5cnf-80var-2560cl.8	UNSAT	0.03
horn_400CNF2160_2aQBF_660	UNSAT	0.03
2qbf-5cnf-160var-5120cl.6	UNSAT	0.03
ncf_4_32_2_euad.1	UNSAT	0.03
2qbf-5cnf-160var-5120cl.5	UNSAT	0.03
2qbf-5cnf-80var-2560cl.6	UNSAT	0.03
ncf_8_16_4_edau.8	UNSAT	0.03
1qbf-5cnf-40var-640cl.1	SAT	0.03
1qbf-5cnf-20var-640cl.3	UNSAT	0.03
1qbf-5cnf-20var-320cl.3	SAT	0.03
1qbf-5cnf-20var-640cl.6	UNSAT	0.03
1qbf-5cnf-20var-640cl.8	UNSAT	0.03
1qbf-5cnf-20var-640cl.2	UNSAT	0.03
1qbf-5cnf-20var-640cl.7	UNSAT	0.03
1qbf-5cnf-20var-640cl.1	UNSAT	0.03
2qbf-5cnf-160var-2560cl.6	UNSAT	0.04
2qbf-5cnf-40var-80cl.7	SAT	0.04
ncf_8_16_4_d.4	SAT	0.04
6qbf-5cnf-160var-5120cl.8	UNSAT	0.04
ncf_16_32_2_u.5	UNSAT	0.04
ncf_8_16_8_edau.6	UNSAT	0.04
2qbf-5cnf-160var-5120cl.3	UNSAT	0.04
horn_400CNF1680_2aQBF_589	UNSAT	0.04
ncf_4_8_8_d.8	SAT	0.04
ncf_8_32_2_u.9	UNSAT	0.04
5qbf-5cnf-80var-2560cl.9	UNSAT	0.04
ncf_4_8_8_euad.8	SAT	0.04
ncf_4_16_2_euad.1	UNSAT	0.04
4qbf-5cnf-160var-5120cl.0	UNSAT	0.04
3qbf-5cnf-40var-640cl.6	UNSAT	0.04
2qbf-5cnf-160var-2560cl.2	UNSAT	0.04
ncf_16_32_2_u.2	UNSAT	0.04
toilet_a_08_05.2	UNSAT	0.04
6qbf-5cnf-20var-320cl.7	UNSAT	0.04
6qbf-5cnf-160var-5120cl.9	UNSAT	0.04
ncf_4_16_2_euad.7	SAT	0.04
ncf_4_16_4_euad.8	SAT	0.04
ncf_8_16_4_euad.4	SAT	0.04
3qbf-5cnf-160var-5120cl.2	UNSAT	0.04
ncf_16_32_4_euad.9	SAT	0.04
ncf_16_32_4_u.9	SAT	0.04
5qbf-5cnf-160var-5120cl.3	UNSAT	0.04
5qbf-5cnf-20var-320cl.0	UNSAT	0.04
renHorn_400CNF1960_2aQBF_50	UNSAT	0.04
2qbf-5cnf-160var-2560cl.4	UNSAT	0.04
2qbf-5cnf-160var-5120cl.7	UNSAT	0.04
6qbf-5cnf-20var-160cl.5	SAT	0.04
3qbf-5cnf-160var-5120cl.7	UNSAT	0.04
4qbf-5cnf-160var-5120cl.4	UNSAT	0.04
toilet_c_10_05.12	SAT	0.04
4qbf-5cnf-160var-5120cl.7	UNSAT	0.04
5qbf-5cnf-160var-5120cl.0	UNSAT	0.04
3qbf-5cnf-20var-320cl.5	UNSAT	0.04
3qbf-5cnf-160var-5120cl.0	UNSAT	0.04
4qbf-5cnf-160var-5120cl.5	UNSAT	0.04
3qbf-5cnf-160var-5120cl.8	UNSAT	0.04
ncf_16_32_2_euad.4	UNSAT	0.04
3qbf-5cnf-160var-5120cl.1	UNSAT	0.04
6qbf-5cnf-80var-1280cl.3	UNSAT	0.04
ncf_4_32_2_u.1	UNSAT	0.04
ncf_16_32_4_euad.3	SAT	0.04
ncf_8_16_4_edau.4	SAT	0.04
4qbf-5cnf-160var-5120cl.1	UNSAT	0.04
3qbf-5cnf-20var-320cl.3	UNSAT	0.04
4qbf-5cnf-160var-5120cl.9	UNSAT	0.04
4qbf-5cnf-160var-5120cl.8	UNSAT	0.04
2qbf-5cnf-160var-5120cl.4	UNSAT	0.04
3qbf-5cnf-80var-640cl.0	SAT	0.04
ncf_8_16_8_u.6	UNSAT	0.04
5qbf-5cnf-20var-320cl.5	UNSAT	0.04
ncf_8_16_2_euad.2	UNSAT	0.04
ncf_16_32_2_d.4	UNSAT	0.04
6qbf-5cnf-160var-5120cl.5	UNSAT	0.04
ncf_16_32_2_u.4	UNSAT	0.04
4qbf-5cnf-80var-1280cl.8	UNSAT	0.04
horn_400CNF2160_2aQBF_657	UNSAT	0.04
ncf_16_32_4_d.9	SAT	0.04
5qbf-5cnf-80var-2560cl.0	UNSAT	0.04
toilet_c_10_05.2	UNSAT	0.04
ncf_16_32_4_d.3	SAT	0.04
5qbf-5cnf-40var-640cl.0	UNSAT	0.04
ncf_4_8_8_edau.8	SAT	0.04
1qbf-5cnf-20var-640cl.0	UNSAT	0.04
6qbf-5cnf-80var-2560cl.8	UNSAT	0.05
ncf_4_8_2_edau.6	SAT	0.05
ncf_16_32_4_d.4	UNSAT	0.05
flipflop-6-c	UNSAT	0.05
5qbf-5cnf-160var-5120cl.8	UNSAT	0.05
ncf_16_32_4_u.5	UNSAT	0.05
4qbf-5cnf-40var-160cl.6	SAT	0.05
qshifter_3	SAT	0.05
ncf_16_32_2_edau.4	UNSAT	0.05
ncf_16_32_2_edau.5	UNSAT	0.05
ncf_4_8_2_euad.6	SAT	0.05
ncf_16_32_2_u.10	UNSAT	0.05
4qbf-5cnf-160var-5120cl.3	UNSAT	0.05
3qbf-5cnf-20var-320cl.8	UNSAT	0.05
ncf_4_16_2_u.5	UNSAT	0.05
ncf_4_8_8_euad.4	SAT	0.05
ncf_4_8_8_u.8	SAT	0.05
ncf_4_16_2_u.4	SAT	0.05
ncf_16_32_4_d.5	UNSAT	0.05
ncf_4_16_4_u.8	SAT	0.05
6qbf-5cnf-160var-5120cl.1	UNSAT	0.05
2qbf-5cnf-160var-5120cl.1	UNSAT	0.05
ncf_16_32_2_d.5	UNSAT	0.05
6qbf-5cnf-160var-5120cl.4	UNSAT	0.05
ncf_8_16_8_euad.6	UNSAT	0.05
ncf_4_16_4_edau.8	SAT	0.05
ncf_4_16_2_u.7	SAT	0.05
ncf_16_32_4_euad.4	UNSAT	0.05
5qbf-5cnf-160var-5120cl.2	UNSAT	0.05
ncf_16_32_4_edau.5	UNSAT	0.05
ncf_4_8_4_euad.4	UNSAT	0.05
horn_400CNF1440_2aQBF_117	UNSAT	0.05
ncf_16_32_4_edau.9	SAT	0.05
6qbf-5cnf-160var-5120cl.0	UNSAT	0.05
4qbf-5cnf-80var-1280cl.2	UNSAT	0.05
ncf_4_8_2_u.6	SAT	0.05
3qbf-5cnf-160var-5120cl.4	UNSAT	0.05
6qbf-5cnf-20var-160cl.2	SAT	0.05
horn_400CNF2320_2aQBF_433	UNSAT	0.05
5qbf-5cnf-160var-5120cl.9	UNSAT	0.05
comp.blif_0.10_1.00_0_0_out_exact	FAIL	0.05
ncf_4_16_2_euad.4	SAT	0.05
2qbf-5cnf-160var-5120cl.8	UNSAT	0.05
4qbf-5cnf-160var-5120cl.6	UNSAT	0.05
ncf_16_32_4_d.7	UNSAT	0.06
horn_400CNF1520_2aQBF_165	UNSAT	0.06
4qbf-5cnf-80var-1280cl.3	UNSAT	0.06
5qbf-5cnf-160var-5120cl.5	UNSAT	0.06
5qbf-5cnf-160var-5120cl.6	UNSAT	0.06
6qbf-5cnf-160var-5120cl.6	UNSAT	0.06
4qbf-5cnf-160var-5120cl.2	UNSAT	0.06
ncf_4_8_4_u.1	SAT	0.06
4qbf-5cnf-40var-640cl.7	UNSAT	0.06
6qbf-5cnf-80var-2560cl.3	UNSAT	0.06
ncf_16_32_4_edau.10	UNSAT	0.06
s27_d2_s	SAT	0.06
6qbf-5cnf-40var-640cl.3	UNSAT	0.06
ncf_16_32_2_euad.2	UNSAT	0.06
ncf_4_8_2_d.6	SAT	0.06
3qbf-5cnf-20var-160cl.1	SAT	0.06
4qbf-5cnf-40var-160cl.0	SAT	0.06
ncf_16_32_4_edau.4	UNSAT	0.06
6qbf-5cnf-20var-320cl.4	UNSAT	0.06
4qbf-5cnf-20var-160cl.0	UNSAT	0.06
szymanski-6-s	UNSAT	0.06
ncf_16_32_4_u.4	UNSAT	0.06
ncf_16_32_2_u.3	SAT	0.06
2qbf-5cnf-40var-80cl.9	SAT	0.06
ncf_4_8_8_edau.4	SAT	0.06
ncf_16_32_4_d.10	UNSAT	0.06
1qbf-5cnf-80var-1280cl.5	SAT	0.06
6qbf-5cnf-40var-640cl.9	UNSAT	0.07
ncf_16_32_4_u.7	UNSAT	0.07
ncf_16_32_2_d.1	UNSAT	0.07
ncf_16_32_4_euad.10	UNSAT	0.07
ncf_16_64_2_euad.1	SAT	0.07
ncf_16_32_4_d.1	SAT	0.07
ncf_8_16_2_u.2	UNSAT	0.07
ncf_16_32_2_u.1	UNSAT	0.07
2qbf-5cnf-40var-80cl.0	SAT	0.07
5qbf-5cnf-80var-2560cl.5	UNSAT	0.07
ncf_16_32_2_euad.1	UNSAT	0.07
ncf_16_32_2_euad.3	SAT	0.07
adder-2-sat	SAT	0.07
ncf_16_32_4_euad.7	UNSAT	0.07
ncf_16_32_2_edau.3	SAT	0.07
ncf_16_32_2_edau.10	UNSAT	0.07
3qbf-5cnf-40var-640cl.0	UNSAT	0.07
TOILET16.1.iv.32	SAT	0.07
4qbf-5cnf-80var-1280cl.7	UNSAT	0.08
ncf_16_32_4_u.3	SAT	0.08
5qbf-5cnf-40var-640cl.5	UNSAT	0.08
ncf_16_32_4_u.10	UNSAT	0.08
ncf_16_32_4_edau.7	UNSAT	0.08
5qbf-5cnf-20var-320cl.3	UNSAT	0.08
BLOCKS3iii.4	UNSAT	0.08
ncf_8_16_8_d.7	UNSAT	0.08
3qbf-5cnf-40var-640cl.5	UNSAT	0.09
ncf_8_16_2_d.5	UNSAT	0.09
5qbf-5cnf-160var-5120cl.7	UNSAT	0.09
6qbf-5cnf-20var-320cl.0	UNSAT	0.09
ncf_4_16_2_edau.7	FAIL	0.09
ncf_16_32_8_d.8	UNSAT	0.09
ncf_4_8_4_edau.1	SAT	0.09
counter_4	SAT	0.09
5qbf-5cnf-80var-640cl.3	SAT	0.09
ncf_4_16_2_edau.5	UNSAT	0.1
5qbf-5cnf-40var-640cl.7	UNSAT	0.1
ncf_4_8_8_u.6	UNSAT	0.1
ncf_8_16_8_u.1	SAT	0.1
6qbf-5cnf-160var-5120cl.7	UNSAT	0.1
3qbf-5cnf-80var-1280cl.2	UNSAT	0.1
3qbf-5cnf-80var-1280cl.3	UNSAT	0.1
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.1
ncf_8_16_8_euad.7	UNSAT	0.1
5qbf-5cnf-40var-640cl.4	UNSAT	0.1
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.1
1qbf-5cnf-40var-640cl.5	SAT	0.1
1qbf-5cnf-40var-640cl.7	SAT	0.1
ncf_4_16_4_euad.9	SAT	0.11
connect_5x4_4_W	UNSAT	0.11
ncf_4_16_2_d.5	UNSAT	0.11
toilet_a_10_01.2	UNSAT	0.11
toilet_a_10_01.3	UNSAT	0.11
ncf_16_32_4_u.1	SAT	0.11
4qbf-5cnf-80var-1280cl.9	UNSAT	0.11
ncf_4_8_8_d.4	SAT	0.11
tree-exa10-15	SAT	0.12
ncf_8_16_8_u.8	UNSAT	0.12
connect_5x4_4_D	UNSAT	0.12
4qbf-5cnf-80var-1280cl.0	UNSAT	0.12
toilet_a_10_01.4	UNSAT	0.12
ncf_16_32_8_u.8	UNSAT	0.12
ncf_16_32_4_euad.5	UNSAT	0.12
toilet_a_10_01.8	UNSAT	0.12
ncf_8_16_8_edau.1	SAT	0.12
2qbf-5cnf-80var-160cl.2	SAT	0.13
connect_5x4_3_W	UNSAT	0.13
6qbf-5cnf-40var-640cl.8	UNSAT	0.13
C499.blif_0.10_1.00_0_1_inp_exact	FAIL	0.13
ncf_8_16_8_d.1	SAT	0.13
ncf_16_32_4_u.2	SAT	0.14
ncf_16_32_8_edau.8	UNSAT	0.14
ncf_4_16_8_u.7	SAT	0.14
6qbf-5cnf-40var-640cl.5	UNSAT	0.14
ncf_8_16_8_euad.1	SAT	0.14
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.14
5qbf-5cnf-40var-320cl.9	SAT	0.14
ncf_16_32_4_euad.1	SAT	0.14
4qbf-5cnf-40var-160cl.7	SAT	0.15
2qbf-5cnf-20var-80cl.0	SAT	0.15
2qbf-5cnf-80var-160cl.0	SAT	0.15
6qbf-5cnf-80var-1280cl.2	UNSAT	0.15
ncf_16_32_2_d.3	SAT	0.15
connect_5x4_3_D	UNSAT	0.15
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.15
5qbf-5cnf-20var-320cl.9	UNSAT	0.16
ncf_4_16_4_u.9	SAT	0.16
4qbf-5cnf-40var-160cl.4	SAT	0.16
ncf_8_16_4_euad.9	UNSAT	0.16
flipflop-7-c	UNSAT	0.16
ncf_8_16_8_u.7	UNSAT	0.16
5qbf-5cnf-40var-640cl.6	UNSAT	0.16
ncf_4_16_8_euad.7	SAT	0.16
6qbf-5cnf-80var-1280cl.9	UNSAT	0.16
3qbf-5cnf-40var-320cl.9	SAT	0.16
3qbf-5cnf-40var-640cl.3	UNSAT	0.17
ncf_16_32_4_u.8	SAT	0.17
ncf_16_32_2_euad.10	UNSAT	0.17
connect_6x5_5_W	UNSAT	0.17
2qbf-5cnf-160var-2560cl.0	UNSAT	0.17
5qbf-5cnf-160var-1280cl.9	SAT	0.17
toilet_a_10_05.2	UNSAT	0.17
6qbf-5cnf-40var-640cl.4	UNSAT	0.18
connect_6x5_5_D	UNSAT	0.18
ncf_8_32_2_euad.10	UNSAT	0.18
ncf_16_32_2_edau.1	UNSAT	0.18
ncf_16_32_4_d.2	SAT	0.18
ncf_4_8_8_euad.6	UNSAT	0.18
ncf_16_32_4_euad.2	SAT	0.19
vonNeumann-ripple-carry-5-c	UNSAT	0.19
5qbf-5cnf-160var-5120cl.4	UNSAT	0.19
ncf_8_32_2_d.6	UNSAT	0.19
2qbf-5cnf-20var-160cl.4	UNSAT	0.19
ncf_16_32_4_euad.8	SAT	0.19
ncf_4_8_4_u.10	SAT	0.19
ncf_16_32_8_euad.8	UNSAT	0.2
ncf_8_32_8_d.3	UNSAT	0.2
2qbf-5cnf-20var-80cl.5	SAT	0.2
ev-pr-4x4-7-3-0-0-1-lg	SAT	0.2
3qbf-5cnf-40var-640cl.1	UNSAT	0.2
ncf_8_32_2_euad.6	UNSAT	0.2
counter_e_4	SAT	0.21
counter_r_4	SAT	0.21
4qbf-5cnf-40var-160cl.2	SAT	0.21
3qbf-5cnf-40var-320cl.6	SAT	0.21
connect_6x5_4_W	UNSAT	0.21
5qbf-5cnf-40var-320cl.5	SAT	0.21
ncf_4_8_4_euad.1	SAT	0.21
ncf_4_8_4_d.1	SAT	0.21
1qbf-5cnf-40var-640cl.8	SAT	0.21
ncf_8_32_8_euad.3	UNSAT	0.22
6qbf-5cnf-20var-160cl.0	SAT	0.22
6qbf-5cnf-80var-1280cl.5	UNSAT	0.22
2qbf-5cnf-20var-160cl.2	UNSAT	0.22
ncf_16_32_4_edau.1	SAT	0.24
ncf_16_32_4_d.8	SAT	0.24
s499_d21_s	FAIL	0.24
szymanski-8-s	UNSAT	0.24
4qbf-5cnf-20var-160cl.8	UNSAT	0.24
3qbf-5cnf-40var-320cl.0	SAT	0.25
ncf_4_16_2_d.7	FAIL	0.25
connect_6x5_4_D	UNSAT	0.25
ncf_8_16_8_edau.7	UNSAT	0.25
connect_6x5_3_D	UNSAT	0.25
s499_d22_u	FAIL	0.25
3qbf-5cnf-20var-160cl.3	SAT	0.25
2qbf-5cnf-20var-80cl.9	SAT	0.25
6qbf-5cnf-160var-5120cl.3	UNSAT	0.25
connect_6x5_3_W	UNSAT	0.26
4qbf-5cnf-20var-160cl.2	SAT	0.26
4qbf-5cnf-20var-160cl.1	UNSAT	0.27
ncf_4_8_4_edau.10	SAT	0.27
6qbf-5cnf-40var-640cl.2	UNSAT	0.27
flipflop-8-c	UNSAT	0.27
3qbf-5cnf-80var-1280cl.6	UNSAT	0.28
5qbf-5cnf-80var-640cl.6	SAT	0.28
ncf_4_8_8_u.1	SAT	0.28
2qbf-5cnf-80var-160cl.3	SAT	0.28
6qbf-5cnf-20var-160cl.6	SAT	0.28
ev-pr-4x4-9-3-0-0-1-lg	SAT	0.29
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	0.29
2qbf-5cnf-80var-160cl.5	SAT	0.3
6qbf-5cnf-40var-640cl.0	UNSAT	0.3
ncf_8_16_8_edau.8	UNSAT	0.31
ncf_4_8_4_euad.10	SAT	0.31
ncf_16_32_4_d.6	UNSAT	0.32
2qbf-5cnf-20var-80cl.7	SAT	0.33
connect_7x6_6_D	UNSAT	0.33
vonNeumann-ripple-carry-6-c	UNSAT	0.34
2qbf-5cnf-20var-80cl.6	SAT	0.34
connect_7x6_6_W	UNSAT	0.34
2qbf-5cnf-20var-80cl.2	SAT	0.35
ev-pr-4x4-11-3-0-0-1-lg	SAT	0.35
6qbf-5cnf-20var-160cl.9	SAT	0.36
6qbf-5cnf-40var-640cl.6	UNSAT	0.36
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.36
toilet_a_08_10.2	SAT	0.37
toilet_a_08_05.4	SAT	0.37
3qbf-5cnf-40var-320cl.2	SAT	0.37
connect_7x6_5_D	UNSAT	0.37
ncf_4_8_4_u.4	UNSAT	0.37
6qbf-5cnf-20var-320cl.2	UNSAT	0.38
term1.blif_0.10_1.00_0_1_out_exact	FAIL	0.38
2qbf-5cnf-20var-320cl.9	UNSAT	0.38
3qbf-5cnf-80var-1280cl.0	UNSAT	0.39
1qbf-5cnf-40var-640cl.2	SAT	0.39
ncf_16_32_4_euad.6	UNSAT	0.4
connect_7x6_5_W	UNSAT	0.4
term1.blif_0.10_1.00_0_0_out_exact	FAIL	0.41
4qbf-5cnf-160var-2560cl.1	UNSAT	0.41
ev-pr-4x4-13-3-0-0-1-lg	SAT	0.42
ncf_4_16_8_d.7	SAT	0.43
connect_7x6_4_W	UNSAT	0.43
1qbf-5cnf-40var-640cl.0	SAT	0.43
toilet_a_08_01.16	SAT	0.44
ncf_4_16_4_edau.9	SAT	0.44
toilet_a_08_05.8	SAT	0.44
4qbf-5cnf-20var-160cl.7	UNSAT	0.44
5qbf-5cnf-80var-1280cl.1	UNSAT	0.44
szymanski-18-s	FAIL	0.45
toilet_a_08_05.10	SAT	0.45
ncf_16_32_8_u.4	SAT	0.45
connect_7x6_4_D	UNSAT	0.45
ncf_16_64_2_d.1	SAT	0.46
2qbf-5cnf-20var-80cl.8	SAT	0.46
term1.blif_0.10_0.20_0_0_out_exact	FAIL	0.48
connect_7x6_3_D	UNSAT	0.48
connect_7x6_3_W	UNSAT	0.49
s1269_d11_u	FAIL	0.49
2qbf-5cnf-20var-80cl.4	SAT	0.5
ncf_8_32_8_edau.3	UNSAT	0.5
ncf_8_32_8_u.3	UNSAT	0.5
4qbf-5cnf-40var-160cl.8	SAT	0.51
6qbf-5cnf-160var-2560cl.8	UNSAT	0.51
ev-pr-4x4-15-3-0-0-1-lg	SAT	0.51
ncf_16_64_2_u.1	SAT	0.52
4qbf-5cnf-20var-160cl.4	UNSAT	0.52
4qbf-5cnf-20var-160cl.5	UNSAT	0.54
flipflop-9-c	UNSAT	0.54
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	0.54
k_ph_n-8	SAT	0.54
ncf_16_32_2_d.10	UNSAT	0.56
connect_8x7_3_W	FAIL	0.56
5qbf-5cnf-40var-640cl.9	UNSAT	0.56
vonNeumann-ripple-carry-7-c	UNSAT	0.56
k_dum_p-4	UNSAT	0.56
ncf_16_32_8_euad.4	SAT	0.57
5qbf-5cnf-80var-1280cl.9	UNSAT	0.57
connect_8x7_7_W	UNSAT	0.57
connect_8x7_4_W	FAIL	0.57
4qbf-5cnf-20var-160cl.6	UNSAT	0.58
connect_8x7_7_D	UNSAT	0.58
connect_8x7_4_D	FAIL	0.58
vonNeumann-ripple-carry-8-c	FAIL	0.59
2qbf-5cnf-20var-80cl.3	SAT	0.6
ev-pr-4x4-17-3-0-0-1-lg	SAT	0.6
3qbf-5cnf-40var-320cl.3	SAT	0.61
connect_8x7_4_R	FAIL	0.61
CHAIN12v.13	SAT	0.61
ncf_8_16_2_d.2	UNSAT	0.61
szymanski-20-s	FAIL	0.61
connect_8x7_3_R	FAIL	0.62
connect_8x7_3_D	FAIL	0.62
2qbf-5cnf-20var-80cl.1	SAT	0.63
connect_8x7_6_D	UNSAT	0.63
5qbf-5cnf-160var-1280cl.1	SAT	0.63
ncf_16_32_4_edau.8	SAT	0.63
ncf_4_8_8_u.3	SAT	0.63
2qbf-5cnf-20var-160cl.5	UNSAT	0.64
6qbf-5cnf-160var-5120cl.2	UNSAT	0.64
ncf_16_32_4_u.6	UNSAT	0.64
3qbf-5cnf-40var-640cl.2	UNSAT	0.64
C880.blif_0.10_1.00_0_1_out_exact	SAT	0.64
4qbf-5cnf-40var-160cl.9	SAT	0.65
connect_8x7_6_W	UNSAT	0.65
szymanski-10-s	UNSAT	0.67
5qbf-5cnf-40var-640cl.3	UNSAT	0.67
6qbf-5cnf-160var-2560cl.7	UNSAT	0.67
s510_d32_s	FAIL	0.68
2qbf-5cnf-20var-160cl.0	UNSAT	0.68
6qbf-5cnf-40var-640cl.1	UNSAT	0.68
flipflop-11-c	FAIL	0.69
comp.blif_0.10_0.20_0_1_inp_exact	FAIL	0.69
5qbf-5cnf-40var-640cl.2	UNSAT	0.69
2qbf-5cnf-160var-2560cl.9	UNSAT	0.69
connect_8x7_5_W	UNSAT	0.7
term1.blif_0.10_0.20_0_1_out_exact	FAIL	0.7
ncf_16_32_8_euad.7	SAT	0.71
2qbf-5cnf-20var-160cl.3	UNSAT	0.74
ncf_4_16_8_edau.7	SAT	0.74
comp.blif_0.10_0.20_0_0_inp_exact	FAIL	0.75
connect_8x7_5_D	UNSAT	0.75
ncf_16_64_2_edau.1	SAT	0.76
ncf_4_16_4_u.7	SAT	0.78
4qbf-5cnf-160var-2560cl.2	UNSAT	0.78
4qbf-5cnf-80var-1280cl.1	UNSAT	0.79
ncf_4_16_2_u.10	UNSAT	0.79
1qbf-5cnf-80var-1280cl.1	SAT	0.8
3qbf-5cnf-80var-1280cl.4	UNSAT	0.81
ncf_4_8_8_euad.1	SAT	0.81
connect_9x8_8_D	UNSAT	0.82
connect_9x8_5_D	FAIL	0.84
connect_9x8_5_R	FAIL	0.86
szymanski-22-s	FAIL	0.86
2qbf-5cnf-40var-160cl.6	UNSAT	0.86
connect_9x8_8_W	UNSAT	0.86
1qbf-5cnf-40var-640cl.4	SAT	0.86
4qbf-5cnf-160var-2560cl.7	UNSAT	0.87
connect_9x8_5_W	FAIL	0.88
2qbf-5cnf-40var-320cl.9	UNSAT	0.89
connect_9x8_3_R	FAIL	0.93
ncf_4_8_8_euad.3	SAT	0.93
ncf_4_16_8_d.10	SAT	0.94
connect_9x8_4_R	FAIL	0.94
ncf_16_32_4_edau.2	SAT	0.94
connect_9x8_4_W	FAIL	0.96
flipflop-10-c	UNSAT	0.97
connect_9x8_7_W	UNSAT	0.97
connect_9x8_3_D	FAIL	0.97
connect_9x8_3_W	FAIL	0.98
vonNeumann-ripple-carry-9-c	FAIL	0.98
ncf_16_32_8_u.7	SAT	0.99
connect_9x8_4_D	FAIL	1
3qbf-5cnf-40var-320cl.1	SAT	1.01
ncf_16_32_8_d.4	SAT	1.03
connect_9x8_7_D	UNSAT	1.04
ncf_4_16_4_euad.1	SAT	1.05
4qbf-5cnf-160var-2560cl.6	UNSAT	1.06
counter_re_4	SAT	1.06
flipflop-12-c	FAIL	1.07
C499.blif_0.10_1.00_0_0_out_exact	FAIL	1.07
szymanski-24-s	FAIL	1.11
6qbf-5cnf-160var-2560cl.5	UNSAT	1.12
4qbf-5cnf-160var-2560cl.3	UNSAT	1.13
ncf_16_32_8_d.7	SAT	1.14
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	1.14
5qbf-5cnf-160var-5120cl.1	UNSAT	1.15
connect_9x8_6_W	UNSAT	1.17
2qbf-5cnf-80var-160cl.6	SAT	1.17
connect_9x8_6_D	UNSAT	1.18
s510_d46_s	FAIL	1.23
5qbf-5cnf-80var-1280cl.7	UNSAT	1.25
vonNeumann-ripple-carry-10-c	FAIL	1.25
s510_d47_u	FAIL	1.27
1qbf-5cnf-40var-640cl.6	SAT	1.3
adder-2-unsat	FAIL	1.38
szymanski-12-s	UNSAT	1.38
ncf_4_8_4_edau.4	UNSAT	1.38
ncf_4_8_8_euad.2	UNSAT	1.39
ncf_16_32_8_u.5	UNSAT	1.43
s3330_d8_s	FAIL	1.45
CHAIN13v.14	SAT	1.46
ncf_16_32_4_edau.6	UNSAT	1.46
6qbf-5cnf-80var-1280cl.8	UNSAT	1.46
4qbf-5cnf-20var-160cl.9	SAT	1.5
ncf_4_16_2_u.1	UNSAT	1.52
ncf_4_16_4_d.9	SAT	1.56
ncf_4_8_4_d.10	SAT	1.64
5qbf-5cnf-80var-640cl.5	SAT	1.66
ncf_4_16_2_euad.10	UNSAT	1.66
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	1.69
k_dum_n-4	SAT	1.84
s3330_d9_s	FAIL	1.84
vonNeumann-ripple-carry-11-c	FAIL	1.87
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	1.92
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	1.96
4qbf-5cnf-160var-2560cl.8	UNSAT	1.98
ncf_16_32_8_euad.5	UNSAT	2.14
s3330_d10_u	FAIL	2.16
2qbf-5cnf-20var-160cl.7	UNSAT	2.16
ncf_8_32_2_euad.5	UNSAT	2.17
mutex-8-s	SAT	2.23
3qbf-5cnf-80var-1280cl.1	UNSAT	2.34
6qbf-5cnf-80var-1280cl.7	UNSAT	2.46
3qbf-5cnf-160var-2560cl.7	UNSAT	2.49
2qbf-5cnf-80var-160cl.9	SAT	2.52
vonNeumann-ripple-carry-12-c	FAIL	2.57
toilet_c_10_01.16	UNSAT	2.59
ncf_16_32_8_edau.5	UNSAT	2.6
ncf_8_16_8_euad.9	UNSAT	2.63
ncf_4_16_8_edau.10	SAT	2.74
ncf_4_8_4_d.4	UNSAT	2.76
5qbf-5cnf-80var-1280cl.3	UNSAT	2.77
ncf_8_32_4_d.6	UNSAT	2.79
4qbf-5cnf-80var-640cl.6	UNSAT	2.79
szymanski-14-s	UNSAT	2.81
ncf_4_16_4_u.1	SAT	2.87
ncf_4_16_2_edau.10	UNSAT	2.92
6qbf-5cnf-80var-1280cl.0	UNSAT	3.02
toilet_a_10_01.16	UNSAT	3.1
4qbf-5cnf-160var-2560cl.9	UNSAT	3.13
ncf_4_16_8_u.4	SAT	3.24
2qbf-5cnf-160var-320cl.5	SAT	3.32
ncf_16_32_8_edau.4	SAT	3.32
3qbf-5cnf-40var-320cl.4	SAT	3.32
vonNeumann-ripple-carry-13-c	FAIL	3.49
4qbf-5cnf-80var-1280cl.6	UNSAT	3.51
2qbf-5cnf-80var-160cl.1	SAT	3.53
CHAIN14v.15	SAT	3.54
6qbf-5cnf-160var-2560cl.1	UNSAT	3.7
ncf_4_32_2_euad.2	SAT	3.73
ncf_16_32_8_u.10	SAT	3.86
3qbf-5cnf-80var-640cl.4	SAT	3.9
k_grz_n-4	SAT	4.07
2qbf-5cnf-20var-160cl.6	UNSAT	4.07
2qbf-5cnf-20var-160cl.9	FAIL	4.15
2qbf-5cnf-80var-160cl.4	SAT	4.19
tree-exa10-20	SAT	4.43
6qbf-5cnf-80var-1280cl.1	UNSAT	4.45
3qbf-5cnf-40var-320cl.5	UNSAT	4.47
ncf_4_16_2_d.1	UNSAT	4.52
ncf_4_16_2_u.8	SAT	4.57
ncf_16_32_8_edau.7	SAT	4.61
6qbf-5cnf-160var-2560cl.3	UNSAT	4.7
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	4.74
szymanski-16-s	UNSAT	4.88
TOILET6.1.iv.11	FAIL	4.89
BLOCKS3ii.4.3	UNSAT	5.12
4qbf-5cnf-80var-320cl.6	SAT	5.23
robots_1_5_2_81.2	SAT	5.26
2qbf-5cnf-80var-640cl.2	UNSAT	5.41
ncf_16_32_8_d.5	UNSAT	5.48
4qbf-5cnf-40var-320cl.9	UNSAT	5.52
ncf_4_32_2_edau.2	SAT	5.64
ncf_4_32_2_u.2	SAT	5.65
k_grz_p-4	UNSAT	5.73
vonNeumann-ripple-carry-15-c	FAIL	5.77
4qbf-5cnf-160var-1280cl.8	UNSAT	5.85
5qbf-5cnf-40var-320cl.3	SAT	6.07
5qbf-5cnf-80var-1280cl.4	UNSAT	6.12
5qbf-5cnf-80var-1280cl.5	UNSAT	6.22
ncf_4_16_2_edau.1	UNSAT	6.66
ncf_4_16_4_u.4	UNSAT	6.75
2qbf-5cnf-80var-160cl.7	SAT	6.77
robots_1_5_5_24.2	FAIL	6.82
lut4_XOR_fOR	FAIL	7.14
robots_1_5_5_62.2	FAIL	7.23
robots_1_5_4_71.2	FAIL	7.35
2qbf-5cnf-20var-160cl.8	UNSAT	7.4
2qbf-5cnf-20var-160cl.1	UNSAT	7.74
robots_1_5_2_85.2	FAIL	7.9
CHAIN15v.16	SAT	8.02
ncf_4_16_2_edau.8	SAT	8.05
3qbf-5cnf-80var-1280cl.8	UNSAT	8.43
ncf_4_16_4_edau.7	SAT	8.44
3qbf-5cnf-40var-320cl.7	SAT	8.47
robots_1_5_2_47.2	FAIL	8.53
k_d4_p-4	UNSAT	9.03
robots_1_5_3_25.2	FAIL	9.08
ev-pr-6x6-9-5-0-1-2-lg	FAIL	9.33
ncf_8_16_4_d.9	UNSAT	9.75
robots_1_5_5_15.2	FAIL	9.86
5qbf-5cnf-40var-320cl.6	SAT	9.92
robots_1_5_5_38.2	FAIL	9.95
C880.blif_0.10_1.00_0_1_inp_exact	SAT	9.99
robots_1_5_4_100.2	FAIL	10.14
horn_400CNF2080_2aQBF_194	UNSAT	10.17
robots_1_5_4_75.2	FAIL	10.19
robots_1_5_5_56.2	FAIL	10.23
6qbf-5cnf-160var-2560cl.9	UNSAT	10.26
5qbf-5cnf-80var-1280cl.6	UNSAT	10.4
3qbf-5cnf-160var-2560cl.9	UNSAT	10.52
4qbf-5cnf-160var-2560cl.0	UNSAT	10.57
ncf_16_32_8_euad.6	SAT	10.59
horn_400CNF1360_2aQBF_867	UNSAT	10.87
ncf_16_32_8_d.6	SAT	11.03
1qbf-5cnf-80var-1280cl.0	SAT	11.11
robots_1_5_5_61.2	FAIL	11.3
5qbf-5cnf-160var-2560cl.0	UNSAT	11.31
counter_8	SAT	11.32
ncf_4_16_4_euad.3	SAT	11.61
ncf_8_32_8_euad.1	UNSAT	11.68
robots_1_5_4_44.2	FAIL	11.7
robots_1_5_4_73.2	FAIL	11.83
robots_1_5_5_75.2	FAIL	11.87
ncf_8_32_4_euad.6	UNSAT	11.88
robots_1_5_4_81.2	FAIL	11.95
ncf_16_32_8_euad.3	SAT	12.69
ncf_4_16_4_edau.1	SAT	12.91
ncf_8_16_8_euad.8	UNSAT	13.14
6qbf-5cnf-40var-320cl.6	SAT	13.2
robots_1_5_2_49.2	FAIL	13.23
ncf_4_16_8_u.10	SAT	13.33
ncf_4_16_4_euad.4	UNSAT	13.47
k_dum_p-8	UNSAT	13.64
ncf_8_32_2_d.10	UNSAT	13.9
ncf_4_8_8_u.10	SAT	13.96
robots_1_5_4_32.2	FAIL	14.43
robots_1_5_5_31.2	FAIL	14.6
ncf_16_32_8_u.6	SAT	14.71
TOILET7.1.iv.13	FAIL	14.73
6qbf-5cnf-160var-2560cl.0	UNSAT	14.92
5qbf-5cnf-160var-2560cl.5	UNSAT	15
1qbf-5cnf-40var-1280cl.2	UNSAT	15.06
k_ph_n-12	SAT	15.09
robots_1_5_3_51.2	FAIL	15.49
lut4_XOR_f1	FAIL	15.52
robots_1_5_3_100.2	FAIL	15.53
1qbf-5cnf-40var-1280cl.6	UNSAT	15.68
ncf_16_32_8_euad.10	SAT	15.81
robots_1_5_2_100.2	FAIL	16.26
ncf_16_32_8_u.3	SAT	16.34
3qbf-5cnf-80var-640cl.6	SAT	16.35
ncf_4_16_4_d.7	SAT	16.35
ev-pr-8x8-5-7-0-1-2-lg	FAIL	16.56
ncf_4_8_8_d.3	SAT	16.67
robots_1_5_5_100.2	FAIL	16.69
robots_1_5_4_52.2	FAIL	16.86
robots_1_5_3_7.2	FAIL	16.97
robots_1_5_4_59.2	FAIL	17.27
robots_1_5_3_30.2	FAIL	17.46
robots_1_5_2_31.2	FAIL	17.88
ncf_16_32_8_d.10	SAT	17.94
1qbf-5cnf-40var-1280cl.3	UNSAT	18.52
CHAIN16v.17	SAT	18.54
1qbf-5cnf-40var-1280cl.8	UNSAT	18.57
2qbf-5cnf-20var-320cl.0	UNSAT	18.93
ncf_4_16_2_euad.8	SAT	19.2
ncf_4_16_4_d.1	SAT	19.5
robots_1_5_2_28.2	FAIL	19.68
robots_1_5_5_97.2	FAIL	19.85
lognBWLARGEA1	FAIL	20.62
ncf_4_8_8_edau.3	SAT	20.86
k_path_p-4	UNSAT	21.23
robots_1_5_2_33.2	FAIL	21.57
1qbf-5cnf-40var-1280cl.5	UNSAT	22.19
5qbf-5cnf-80var-1280cl.8	UNSAT	22.24
robots_1_5_2_10.2	FAIL	22.45
robots_1_5_3_26.2	FAIL	22.71
ncf_4_16_4_euad.7	SAT	23.26
2qbf-5cnf-40var-320cl.8	UNSAT	23.35
2qbf-5cnf-40var-640cl.4	UNSAT	23.61
robots_1_5_2_14.2	FAIL	23.94
ncf_4_8_8_edau.10	SAT	24.03
5qbf-5cnf-80var-1280cl.2	UNSAT	24.05
robots_1_5_3_52.2	FAIL	24.09
ev-pr-6x6-13-5-0-1-2-lg	FAIL	24.32
ncf_16_64_4_edau.1	SAT	24.74
ncf_4_32_2_d.2	SAT	24.82
1qbf-5cnf-160var-2560cl.7	FAIL	25.42
ncf_16_32_8_edau.10	SAT	25.62
robots_1_5_3_80.2	FAIL	25.66
robots_1_5_4_22.2	FAIL	25.87
robots_1_5_3_91.2	FAIL	25.87
toilet_a_10_10.2	SAT	26.05
4qbf-5cnf-160var-2560cl.5	UNSAT	26.72
toilet_a_10_05.4	SAT	26.88
5qbf-5cnf-80var-1280cl.0	UNSAT	27.18
1qbf-5cnf-160var-5120cl.7	FAIL	27.42
robots_1_5_3_62.2	FAIL	27.44
1qbf-5cnf-40var-1280cl.7	UNSAT	28.33
ncf_4_16_2_u.3	UNSAT	28.45
1qbf-5cnf-160var-2560cl.0	FAIL	28.49
toilet_a_10_01.20	SAT	28.57
1qbf-5cnf-160var-5120cl.3	FAIL	28.76
ncf_4_8_8_d.1	SAT	29.32
k_grz_n-8	SAT	29.64
1qbf-5cnf-80var-1280cl.3	FAIL	30.4
5qbf-5cnf-160var-1280cl.7	SAT	30.49
1qbf-5cnf-160var-5120cl.9	FAIL	31.04
3qbf-5cnf-80var-1280cl.7	UNSAT	31.24
1qbf-5cnf-160var-2560cl.3	FAIL	31.43
1qbf-5cnf-160var-5120cl.6	FAIL	31.49
1qbf-5cnf-40var-1280cl.0	UNSAT	32.03
1qbf-5cnf-160var-5120cl.1	FAIL	32.11
s27_d3_u	UNSAT	32.57
1qbf-5cnf-160var-5120cl.8	FAIL	33.38
robots_1_5_5_66.4	FAIL	33.54
robots_1_5_5_26.4	FAIL	33.59
robots_1_5_2_21.4	FAIL	33.63
ncf_4_8_8_edau.1	SAT	34.25
4qbf-5cnf-80var-320cl.5	SAT	34.34
1qbf-5cnf-40var-1280cl.9	UNSAT	34.35
1qbf-5cnf-160var-2560cl.1	FAIL	34.46
ncf_4_16_4_u.3	SAT	34.64
1qbf-5cnf-80var-1280cl.9	FAIL	35.1
1qbf-5cnf-160var-5120cl.0	FAIL	35.33
ev-pr-6x6-7-5-0-1-2-lg	FAIL	35.39
3qbf-5cnf-160var-2560cl.5	FAIL	35.57
1qbf-5cnf-160var-2560cl.5	FAIL	35.59
1qbf-5cnf-160var-5120cl.4	FAIL	35.63
5qbf-5cnf-40var-320cl.8	SAT	35.92
1qbf-5cnf-80var-1280cl.4	FAIL	37.12
1qbf-5cnf-160var-5120cl.5	FAIL	37.14
ncf_4_16_4_u.10	UNSAT	37.47
1qbf-5cnf-40var-1280cl.1	UNSAT	38.07
1qbf-5cnf-160var-2560cl.9	FAIL	38.76
2qbf-5cnf-20var-320cl.2	UNSAT	38.99
BLOCKS3ii.5.3	FAIL	39.27
k_lin_p-4	UNSAT	39.61
ncf_4_8_8_u.7	SAT	40
1qbf-5cnf-80var-2560cl.7	FAIL	40.25
1qbf-5cnf-160var-5120cl.2	FAIL	41.54
ncf_8_16_4_u.9	UNSAT	41.55
BLOCKS4ii.6.3	FAIL	41.72
1qbf-5cnf-80var-1280cl.7	FAIL	41.76
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	42.08
1qbf-5cnf-160var-2560cl.8	FAIL	42.08
ncf_4_16_4_euad.10	UNSAT	42.42
1qbf-5cnf-80var-2560cl.2	FAIL	42.74
CHAIN17v.18	SAT	43.12
robots_1_5_2_3.4	FAIL	43.34
robots_1_5_2_85.4	FAIL	43.81
lut4_3_fAND	FAIL	44.1
1qbf-5cnf-80var-1280cl.8	FAIL	44.37
1qbf-5cnf-160var-2560cl.4	FAIL	44.51
4qbf-5cnf-160var-2560cl.4	UNSAT	45.41
1qbf-5cnf-160var-2560cl.2	FAIL	46.27
1qbf-5cnf-80var-2560cl.6	FAIL	46.35
ncf_8_32_4_euad.7	UNSAT	47.16
1qbf-5cnf-80var-1280cl.2	FAIL	47.57
3qbf-5cnf-160var-2560cl.6	FAIL	47.78
ncf_4_16_4_d.4	FAIL	47.91
robots_1_5_2_100.4	FAIL	48.11
1qbf-5cnf-160var-2560cl.6	FAIL	48.27
BLOCKS3i.5.3	FAIL	48.88
1qbf-5cnf-80var-2560cl.8	FAIL	48.96
1qbf-5cnf-80var-2560cl.3	FAIL	50.03
6qbf-5cnf-40var-320cl.0	UNSAT	50.05
ncf_4_16_8_euad.10	SAT	50.6
1qbf-5cnf-80var-2560cl.1	FAIL	50.82
robots_1_5_3_44.4	FAIL	51.17
Adder2-4-c	FAIL	51.37
ncf_8_16_8_u.9	UNSAT	51.55
robots_1_5_4_50.4	FAIL	51.69
robots_1_5_4_100.4	FAIL	52.3
ncf_4_16_4_edau.4	UNSAT	52.33
robots_1_5_4_30.4	FAIL	52.6
robots_1_5_4_31.4	FAIL	53.89
robots_1_5_3_100.4	FAIL	54.49
ncf_4_8_8_u.2	UNSAT	54.58
robots_1_5_5_87.4	FAIL	54.62
robots_1_5_3_16.4	FAIL	54.83
5qbf-5cnf-160var-2560cl.2	FAIL	55.34
5qbf-5cnf-160var-1280cl.5	SAT	55.42
ncf_8_16_8_d.8	UNSAT	55.53
1qbf-5cnf-80var-2560cl.5	FAIL	56.49
1qbf-5cnf-80var-2560cl.9	FAIL	56.84
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	57.9
1qbf-5cnf-80var-2560cl.4	FAIL	58.5
ncf_4_16_8_u.8	UNSAT	59.13
ncf_8_16_8_edau.9	UNSAT	59.87
robots_1_5_2_2.4	FAIL	60.13
1qbf-5cnf-80var-2560cl.0	FAIL	60.21
5qbf-5cnf-160var-2560cl.4	FAIL	60.57
ncf_8_32_2_u.10	UNSAT	60.59
connect_7x6_3_R	FAIL	61.3
robots_1_5_2_80.4	FAIL	61.36
3qbf-5cnf-160var-2560cl.1	FAIL	61.42
robots_1_5_2_99.4	FAIL	61.76
ncf_4_8_8_d.6	FAIL	62.4
3qbf-5cnf-80var-1280cl.9	UNSAT	62.72
lut4_2_f2	FAIL	63.36
lut4_2_fXOR	FAIL	63.61
lut4_2_f1	FAIL	64.23
6qbf-5cnf-160var-2560cl.2	FAIL	66.18
ncf_4_16_4_u.6	UNSAT	66.58
1qbf-5cnf-80var-1280cl.6	FAIL	67.05
1qbf-5cnf-40var-1280cl.4	FAIL	67.26
ncf_4_16_8_u.2	SAT	67.29
ev-pr-8x8-17-7-0-1-2-lg	FAIL	68.28
ncf_8_16_4_u.3	SAT	68.32
BLOCKS3i.5.4	FAIL	68.54
robots_1_5_2_45.4	FAIL	68.86
robots_1_5_4_98.4	FAIL	68.9
robots_1_5_4_46.4	FAIL	69.05
robots_1_5_3_66.4	FAIL	69.33
robots_1_5_5_45.4	FAIL	70.73
robots_1_5_4_87.4	FAIL	70.75
BLOCKS4i.6.4	FAIL	70.84
ncf_4_16_2_euad.3	UNSAT	70.87
robots_1_5_2_82.4	FAIL	70.96
robots_1_5_4_2.4	FAIL	71.25
robots_1_5_5_30.4	FAIL	71.46
robots_1_5_4_91.4	FAIL	71.51
robots_1_5_3_24.4	FAIL	71.73
lut4_AND_f1	FAIL	72.65
lut4_AND_fXOR	FAIL	72.95
robots_1_5_3_52.4	FAIL	73.11
robots_1_5_3_20.4	FAIL	73.22
robots_1_5_3_78.4	FAIL	73.25
3qbf-5cnf-160var-2560cl.8	FAIL	74.25
robots_1_5_3_57.4	FAIL	74.6
robots_1_5_4_51.4	FAIL	74.77
robots_1_5_2_39.4	FAIL	74.85
robots_1_5_5_34.4	FAIL	75.01
ncf_4_8_8_edau.6	FAIL	75.59
ncf_16_32_8_d.3	SAT	75.87
robots_1_5_3_2.4	FAIL	76.19
4qbf-5cnf-40var-320cl.2	UNSAT	76.71
robots_1_5_5_93.4	FAIL	76.82
robots_1_5_5_8.4	FAIL	76.9
robots_1_5_5_100.4	FAIL	77.62
BLOCKS4iii.7	FAIL	78.51
robots_1_5_5_12.4	FAIL	79.02
ncf_4_16_4_edau.10	UNSAT	79.85
Adder2-6-c	FAIL	80.32
BLOCKS3ii.5.2	FAIL	82.14
5qbf-5cnf-160var-1280cl.0	SAT	84.44
C432.blif_0.10_1.00_0_0_out_exact	FAIL	84.54
5qbf-5cnf-160var-2560cl.8	FAIL	85.25
5qbf-5cnf-160var-2560cl.9	FAIL	86.09
3qbf-5cnf-80var-640cl.7	SAT	86.59
BLOCKS4iii.6	FAIL	87.79
ncf_4_16_2_edau.3	UNSAT	90.4
3qbf-5cnf-80var-1280cl.5	UNSAT	92.62
ncf_4_16_2_d.10	FAIL	95.3
5qbf-5cnf-160var-2560cl.1	FAIL	95.63
CHAIN18v.19	SAT	100.97
ncf_4_8_8_euad.10	SAT	101.01
BLOCKS4ii.7.2	FAIL	102.38
adder-10-unsat	FAIL	102.72
2qbf-5cnf-40var-320cl.5	UNSAT	105.46
ncf_4_32_2_u.4	UNSAT	105.53
4qbf-5cnf-80var-320cl.4	SAT	107.11
3qbf-5cnf-160var-2560cl.3	FAIL	110.28
ncf_4_16_8_edau.4	SAT	110.5
ev-pr-6x6-15-5-0-1-2-lg	FAIL	112.07
ncf_8_16_4_euad.3	SAT	113.25
BLOCKS3i.4.4	FAIL	114.44
qshifter_4	SAT	114.99
ncf_4_8_8_d.7	SAT	115.09
3qbf-5cnf-160var-2560cl.0	UNSAT	115.25
6qbf-5cnf-40var-320cl.8	SAT	120.79
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	122.58
5qbf-5cnf-160var-2560cl.7	FAIL	122.7
ncf_4_16_8_d.5	UNSAT	124.35
5qbf-5cnf-160var-2560cl.3	FAIL	126.12
ncf_4_16_8_u.9	SAT	128.7
k_grz_p-8	UNSAT	129.23
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	131.05
6qbf-5cnf-160var-2560cl.6	FAIL	134.51
2qbf-5cnf-40var-320cl.0	UNSAT	136.46
5qbf-5cnf-160var-2560cl.6	FAIL	137.35
3qbf-5cnf-160var-2560cl.4	FAIL	138.21
Adder2-8-c	FAIL	138.43
6qbf-5cnf-160var-2560cl.4	FAIL	140.87
tree-exa10-25	SAT	155.2
robots_1_5_5_66.8	FAIL	157.2
robots_1_5_3_39.8	FAIL	157.47
k_ph_n-16	SAT	158.98
3qbf-5cnf-80var-640cl.9	SAT	159.65
ncf_4_16_8_euad.4	SAT	161.95
2qbf-5cnf-20var-320cl.1	UNSAT	166.78
ncf_4_16_8_euad.8	UNSAT	171.89
ncf_4_8_8_d.2	UNSAT	174.84
k_path_n-4	SAT	179.5
6qbf-5cnf-40var-320cl.1	SAT	179.69
4qbf-5cnf-40var-320cl.0	UNSAT	183.62
robots_1_5_3_8.8	FAIL	185.08
robots_1_5_4_56.8	FAIL	186.35
ncf_4_16_2_d.8	SAT	187.21
robots_1_5_5_33.8	FAIL	187.5
robots_1_5_2_75.8	FAIL	188.5
robots_1_5_3_64.8	FAIL	188.52
robots_1_5_3_55.8	FAIL	189
robots_1_5_4_75.8	FAIL	191.91
robots_1_5_2_67.8	FAIL	191.93
robots_1_5_3_44.8	FAIL	191.98
robots_1_5_3_90.8	FAIL	192.84
robots_1_5_4_100.8	FAIL	193.3
robots_1_5_3_16.8	FAIL	193.73
robots_1_5_3_100.8	FAIL	195.08
Adder2-14-c	FAIL	196.5
robots_1_5_5_5.8	FAIL	196.52
2qbf-5cnf-20var-320cl.8	FAIL	198.77
2qbf-5cnf-20var-320cl.7	FAIL	200.4
robots_1_5_2_61.8	FAIL	201.45
robots_1_5_2_91.8	FAIL	204.32
robots_1_5_2_100.8	FAIL	208.33
ncf_16_32_8_edau.6	SAT	208.52
robots_1_5_2_32.8	FAIL	211.03
2qbf-5cnf-20var-320cl.3	FAIL	216.09
robots_1_5_4_46.8	FAIL	220.08
ncf_16_32_8_edau.3	SAT	220.29
robots_1_5_2_54.8	FAIL	220.66
robots_1_5_5_14.8	FAIL	221.27
robots_1_5_4_1.8	FAIL	222.95
robots_1_5_3_70.8	FAIL	223.71
ncf_4_16_4_euad.6	UNSAT	225.22
robots_1_5_2_82.8	FAIL	226.62
robots_1_5_4_91.8	FAIL	226.78
robots_1_5_3_27.8	FAIL	227.51
robots_1_5_5_10.8	FAIL	229.08
robots_1_5_4_17.8	FAIL	229.48
CHAIN19v.20	SAT	230.67
robots_1_5_2_9.8	FAIL	230.84
robots_1_5_2_40.8	FAIL	231.37
robots_1_5_5_50.8	FAIL	231.52
4qbf-5cnf-80var-320cl.8	SAT	232.3
robots_1_5_5_95.8	FAIL	232.58
robots_1_5_4_24.8	FAIL	234.85
robots_1_5_5_99.8	FAIL	236.08
robots_1_5_5_100.8	FAIL	236.08
robots_1_5_4_99.8	FAIL	236.26
robots_1_5_5_12.8	FAIL	237.44
robots_1_5_4_96.8	FAIL	238.01
ncf_4_8_8_euad.7	SAT	241.9
ncf_8_32_2_edau.10	UNSAT	243.76
k_grz_n-12	SAT	257.69
k_d4_n-4	SAT	263.07
3qbf-5cnf-160var-2560cl.2	FAIL	265.59
5qbf-5cnf-80var-640cl.0	SAT	268.86
ncf_4_16_8_euad.2	SAT	284.34
Adder2-10-c	FAIL	295.99
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	316.28
ncf_8_16_4_edau.7	SAT	326.6
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	341.11
ncf_4_32_4_u.1	SAT	348.76
Adder2-12-c	FAIL	354.03
ncf_8_32_4_euad.9	UNSAT	354.73
horn_400CNF2320_2aQBF_137	UNSAT	370.11
2qbf-5cnf-40var-320cl.6	UNSAT	370.39
comp.blif_0.10_0.20_0_0_out_exact	FAIL	391.28
Adder2-16-c	FAIL	420.5
4qbf-5cnf-80var-640cl.3	UNSAT	428.81
3qbf-5cnf-80var-640cl.1	SAT	443.74
ncf_8_16_8_d.9	UNSAT	444.65
ncf_8_16_4_u.7	SAT	451.44
lognBWLARGEB1	FAIL	476.98
ncf_4_16_4_edau.6	UNSAT	478.52
ncf_4_16_8_u.5	UNSAT	483.21
2qbf-5cnf-40var-160cl.1	UNSAT	496.25
5qbf-5cnf-80var-640cl.8	SAT	508.62
connect_5x4_3_R	FAIL	510.67
CHAIN20v.21	SAT	519.08
k_grz_p-12	UNSAT	519.43
ncf_8_16_4_euad.7	SAT	522.52
ncf_8_16_4_edau.9	UNSAT	580.01
ncf_8_16_8_edau.3	SAT	608.38
C880.blif_0.10_1.00_0_0_out_exact	FAIL	632.57
counter_r_32	FAIL	641.53
ncf_4_16_4_d.10	UNSAT	675.38
ncf_4_8_8_edau.7	SAT	680.83
6qbf-5cnf-40var-320cl.5	SAT	684.02
C880.blif_0.10_0.20_0_1_out_exact	FAIL	699.26
ncf_4_8_8_d.10	SAT	744.79
2qbf-5cnf-40var-160cl.7	UNSAT	752.43
test5_quant5	SAT	763.67
counter_e_32	FAIL	812.81
C499.blif_0.10_0.20_0_0_out_exact	FAIL	819.02
C499.blif_0.10_0.20_0_1_out_exact	FAIL	832.62
C880.blif_0.10_0.20_0_0_out_exact	FAIL	883.85
ncf_8_16_4_d.3	SAT	894.81
counter_re_16	FAIL	899.72
BLOCKS3iii.5	FAIL	900.08
C432.blif_0.10_0.20_0_0_out_exact	FAIL	900.11
counter_r_16	FAIL	900.13
counter_re_32	FAIL	900.14
C432.blif_0.10_0.20_0_1_out_exact	FAIL	900.14
k_ph_p-12	FAIL	900.31
counter_e_16	FAIL	900.44
ev-pr-6x6-19-5-0-1-2-s	FAIL	900.51
k_ph_p-8	FAIL	900.51
ev-pr-6x6-17-5-0-1-2-s	FAIL	900.55
counter_re_8	FAIL	900.58
ncf_16_128_4_u.8	FAIL	900.58
ncf_16_64_4_euad.8	FAIL	900.64
ev-pr-6x6-15-5-0-1-2-s	FAIL	900.64
ncf_8_64_8_u.10	FAIL	900.67
ncf_8_64_8_euad.4	FAIL	900.68
ev-pr-6x6-13-5-0-1-2-s	FAIL	900.68
C432.blif_0.10_1.00_0_0_inp_exact	FAIL	900.69
k_lin_p-21	FAIL	900.69
counter_r_8	FAIL	900.7
k_lin_p-12	FAIL	900.72
ev-pr-6x6-11-5-0-1-2-s	FAIL	900.73
ncf_16_64_4_u.3	FAIL	900.75
ncf_8_64_8_u.1	FAIL	900.75
s1269_d10_s	FAIL	900.76
ncf_16_64_8_u.9	FAIL	900.77
s298_d19_u	FAIL	900.78
ev-pr-6x6-9-5-0-1-2-s	FAIL	900.79
connect_9x8_8_R	FAIL	900.79
connect_9x8_6_R	FAIL	900.8
ncf_4_32_4_u.6	FAIL	900.8
connect_8x7_6_R	FAIL	900.81
counter_e_8	FAIL	900.81
ncf_16_64_8_u.2	FAIL	900.81
s820_d8_s	FAIL	900.81
connect_9x8_7_R	FAIL	900.82
k_ph_p-16	FAIL	900.82
ncf_8_32_8_u.5	FAIL	900.83
ev-pr-6x6-7-5-0-1-2-s	FAIL	900.83
counter_32	FAIL	900.84
ev-pr-6x6-5-5-0-1-2-s	FAIL	900.84
qshifter_8	FAIL	900.85
connect_7x6_6_R	FAIL	900.85
s1269_d8_s	FAIL	900.85
ncf_16_128_4_euad.10	FAIL	900.85
s820_d10_s	FAIL	900.86
s3330_d4_s	FAIL	900.86
6qbf-5cnf-80var-1280cl.6	FAIL	900.86
3qbf-5cnf-80var-640cl.2	FAIL	900.86
ncf_16_128_4_u.3	FAIL	900.87
k_ph_n-20	FAIL	900.88
connect_8x7_7_R	FAIL	900.88
connect_7x6_4_R	FAIL	900.88
connect_7x6_5_R	FAIL	900.88
ncf_16_128_8_u.4	FAIL	900.88
connect_8x7_5_R	FAIL	900.89
s510_d16_s	FAIL	900.89
qshifter_7	FAIL	900.9
ev-pr-8x8-13-7-0-1-2-lg	FAIL	900.9
ncf_16_128_4_euad.4	FAIL	900.9
connect_6x5_5_R	FAIL	900.9
ncf_16_64_8_euad.2	FAIL	900.9
ev-pr-4x4-15-3-0-0-1-s	FAIL	900.91
s499_d16_s	FAIL	900.91
s499_d8_s	FAIL	900.91
ncf_16_128_8_euad.8	FAIL	900.91
ncf_16_128_8_u.9	FAIL	900.91
ncf_4_32_2_u.9	FAIL	900.91
horn_400CNF1760_2aQBF_614	FAIL	900.91
ncf_16_64_8_u.4	FAIL	900.91
k_ph_p-21	FAIL	900.91
ncf_4_32_4_u.7	FAIL	900.92
k_ph_n-21	FAIL	900.92
s510_d8_s	FAIL	900.92
ncf_16_64_8_euad.5	FAIL	900.92
s298_d18_s	FAIL	900.92
s820_d11_u	FAIL	900.92
ncf_8_32_8_u.6	FAIL	900.93
renHorn_400CNF1280_2aQBF_56	FAIL	900.93
ncf_8_64_8_euad.2	FAIL	900.94
ncf_8_64_8_edau.9	FAIL	900.94
ncf_16_64_8_u.1	FAIL	900.94
ncf_16_64_8_euad.3	FAIL	900.94
ncf_16_32_8_euad.1	FAIL	900.94
ncf_16_64_2_euad.7	FAIL	900.94
ncf_16_64_4_u.6	FAIL	900.94
k_ph_p-20	FAIL	900.94
s713_d7_u	FAIL	900.94
horn_400CNF2000_2aQBF_456	FAIL	900.94
ncf_4_32_2_u.6	FAIL	900.94
ncf_16_64_4_edau.6	FAIL	900.94
ncf_8_64_8_u.3	FAIL	900.94
ncf_16_64_8_euad.4	FAIL	900.94
ncf_16_64_4_u.10	FAIL	900.94
ncf_16_64_8_euad.7	FAIL	900.94
ncf_8_64_2_euad.7	FAIL	900.94
ncf_8_32_4_u.4	FAIL	900.94
4qbf-5cnf-160var-1280cl.0	FAIL	900.94
ev-pr-6x6-17-5-0-1-2-lg	FAIL	900.95
connect_6x5_3_R	FAIL	900.95
ncf_8_16_8_euad.10	FAIL	900.95
ncf_16_128_8_euad.2	FAIL	900.95
ncf_8_64_2_u.2	FAIL	900.95
k_lin_n-20	FAIL	900.95
ncf_16_64_8_euad.8	FAIL	900.95
k_branch_p-21	FAIL	900.95
counter_e_64	FAIL	900.95
3qbf-5cnf-160var-1280cl.2	FAIL	900.95
ncf_8_64_8_euad.1	FAIL	900.95
qshifter_6	FAIL	900.95
ncf_16_128_8_euad.6	FAIL	900.95
4qbf-5cnf-160var-1280cl.4	FAIL	900.95
ncf_16_64_8_euad.1	FAIL	900.95
ncf_16_128_4_euad.3	FAIL	900.95
ncf_8_64_2_d.2	FAIL	900.95
ncf_16_32_8_edau.2	FAIL	900.95
ncf_8_64_8_euad.3	FAIL	900.95
ncf_16_128_4_u.10	FAIL	900.95
ncf_16_64_8_u.3	FAIL	900.96
counter_r_64	FAIL	900.96
ncf_16_64_8_euad.6	FAIL	900.96
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	900.96
ncf_8_32_8_euad.5	FAIL	900.96
ev-pr-6x6-19-5-0-1-2-lg	FAIL	900.96
ncf_8_16_8_u.2	FAIL	900.96
ncf_8_64_4_u.10	FAIL	900.96
ev-pr-8x8-19-7-0-1-2-lg	FAIL	900.96
ncf_4_32_4_euad.6	FAIL	900.96
ev-pr-4x4-13-3-0-0-1-s	FAIL	900.96
ncf_16_128_8_edau.1	FAIL	900.96
ncf_4_32_2_euad.5	FAIL	900.96
ncf_16_128_8_u.6	FAIL	900.96
ncf_8_64_8_u.4	FAIL	900.96
ncf_16_64_4_euad.10	FAIL	900.96
ncf_16_32_8_euad.2	FAIL	900.96
ncf_8_64_8_euad.5	FAIL	900.96
ncf_16_128_4_euad.2	FAIL	900.96
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	900.96
ncf_4_32_8_euad.7	FAIL	900.96
s713_d6_s	FAIL	900.96
ncf_16_128_8_edau.5	FAIL	900.96
ncf_8_16_8_edau.4	FAIL	900.96
ncf_16_128_4_edau.8	FAIL	900.96
ncf_16_128_4_u.7	FAIL	900.96
ncf_8_64_8_euad.10	FAIL	900.96
4qbf-5cnf-80var-640cl.4	FAIL	900.96
ncf_8_64_2_euad.4	FAIL	900.96
5qbf-5cnf-160var-1280cl.6	FAIL	900.96
ncf_16_128_8_d.7	FAIL	900.96
ncf_16_64_8_edau.4	FAIL	900.96
counter_re_64	FAIL	900.97
ncf_16_32_8_u.1	FAIL	900.97
ncf_4_16_8_edau.5	FAIL	900.97
ncf_16_128_8_u.3	FAIL	900.97
k_t4p_n-21	FAIL	900.97
ncf_8_64_8_u.2	FAIL	900.97
ncf_16_128_8_edau.6	FAIL	900.97
connect_6x5_4_R	FAIL	900.97
ncf_8_64_8_euad.8	FAIL	900.97
ev-pr-4x4-17-3-0-0-1-s	FAIL	900.97
k_branch_n-20	FAIL	900.97
horn_400CNF1440_2aQBF_829	FAIL	900.97
k_d4_n-8	FAIL	900.97
ncf_4_16_8_euad.5	FAIL	900.97
ncf_8_16_8_euad.4	FAIL	900.97
ncf_4_32_8_u.2	FAIL	900.97
ncf_16_128_8_u.7	FAIL	900.97
ncf_8_64_2_u.6	FAIL	900.97
ncf_4_32_4_euad.1	FAIL	900.97
ncf_8_32_4_u.8	FAIL	900.97
ncf_4_32_4_euad.10	FAIL	900.97
ncf_8_64_8_euad.6	FAIL	900.97
ncf_16_32_8_edau.9	FAIL	900.97
s298_d16_s	FAIL	900.97
ncf_16_128_8_euad.4	FAIL	900.97
ev-pr-4x4-11-3-0-0-1-s	FAIL	900.97
2qbf-5cnf-160var-2560cl.7	FAIL	900.97
ncf_16_64_8_edau.1	FAIL	900.97
counter_64	FAIL	900.97
5qbf-5cnf-160var-1280cl.3	FAIL	900.97
ncf_16_128_4_edau.1	FAIL	900.97
ev-pr-4x4-9-3-0-0-1-s	FAIL	900.97
k_branch_n-21	FAIL	900.97
test3_quant2	FAIL	900.97
ncf_4_16_4_d.3	FAIL	900.97
ncf_8_64_2_u.7	FAIL	900.97
ncf_16_128_4_euad.9	FAIL	900.97
ncf_16_128_8_d.4	FAIL	900.97
ncf_8_64_8_d.3	FAIL	900.97
6qbf-5cnf-160var-1280cl.1	FAIL	900.97
k_poly_p-21	FAIL	900.97
ev-pr-8x8-15-7-0-1-2-lg	FAIL	900.97
ncf_4_32_8_euad.9	FAIL	900.97
ncf_8_32_8_d.9	FAIL	900.97
ncf_16_64_4_euad.6	FAIL	900.97
ncf_4_32_4_euad.2	FAIL	900.97
ncf_8_32_8_u.9	FAIL	900.97
ncf_8_32_2_u.3	FAIL	900.97
k_poly_p-8	FAIL	900.97
ncf_8_16_8_euad.5	FAIL	900.97
ncf_16_64_2_edau.9	FAIL	900.97
ncf_8_16_8_euad.2	FAIL	900.97
adder-14-sat	FAIL	900.98
ncf_8_64_4_u.7	FAIL	900.98
k_lin_n-16	FAIL	900.98
adder-10-sat	FAIL	900.98
ncf_4_32_2_euad.6	FAIL	900.98
ncf_16_64_2_euad.2	FAIL	900.98
ncf_16_64_8_u.7	FAIL	900.98
ncf_8_64_4_d.7	FAIL	900.98
counter_16	FAIL	900.98
ncf_16_128_4_edau.9	FAIL	900.98
ncf_8_64_8_edau.8	FAIL	900.98
ncf_4_32_4_euad.9	FAIL	900.98
ncf_8_32_8_d.2	FAIL	900.98
ncf_16_128_2_euad.9	FAIL	900.98
ncf_16_64_2_edau.6	FAIL	900.98
ncf_16_64_8_u.8	FAIL	900.98
ncf_16_128_8_edau.4	FAIL	900.98
ncf_16_128_2_u.8	FAIL	900.98
4qbf-5cnf-40var-320cl.7	FAIL	900.98
horn_400CNF1600_2aQBF_3	FAIL	900.98
renHorn_400CNF1200_2aQBF_2	FAIL	900.98
ncf_4_32_8_edau.6	FAIL	900.98
ncf_8_64_8_u.5	FAIL	900.98
ncf_4_32_8_d.2	FAIL	900.98
ncf_8_64_4_euad.7	FAIL	900.98
ncf_16_64_8_d.6	FAIL	900.98
ev-pr-4x4-7-3-0-0-1-s	FAIL	900.98
ncf_8_64_4_u.5	FAIL	900.98
horn_400CNF1520_2aQBF_116	FAIL	900.98
ncf_16_128_2_d.4	FAIL	900.98
ncf_8_32_4_d.2	FAIL	900.98
ncf_16_128_4_d.2	FAIL	900.98
adder-16-sat	FAIL	900.98
ncf_4_32_8_euad.10	FAIL	900.98
ncf_8_64_4_edau.4	FAIL	900.98
connect_5x4_4_R	FAIL	900.98
s1269_d4_s	FAIL	900.98
ncf_8_64_8_edau.10	FAIL	900.98
ncf_16_128_2_u.1	FAIL	900.98
ncf_16_64_8_edau.3	FAIL	900.98
ncf_8_32_4_edau.9	FAIL	900.98
ncf_16_32_8_d.9	FAIL	900.98
k_d4_p-16	FAIL	900.98
ncf_4_32_8_euad.5	FAIL	900.98
ncf_8_32_8_u.1	FAIL	900.98
k_lin_p-16	FAIL	900.98
ncf_16_128_2_edau.1	FAIL	900.98
ncf_16_128_8_edau.3	FAIL	900.98
ncf_16_128_8_edau.7	FAIL	900.98
ncf_4_32_2_d.3	FAIL	900.98
ncf_16_128_2_euad.10	FAIL	900.98
4qbf-5cnf-160var-1280cl.9	FAIL	900.98
ncf_8_64_4_edau.3	FAIL	900.98
ncf_16_128_4_d.5	FAIL	900.98
ncf_4_32_8_edau.9	FAIL	900.98
ncf_8_32_2_u.2	FAIL	900.98
ncf_8_32_8_euad.10	FAIL	900.98
ncf_16_128_4_edau.6	FAIL	900.98
renHorn_400CNF2360_2aQBF_9	FAIL	900.98
ncf_8_32_4_edau.4	FAIL	900.98
s298_d8_s	FAIL	900.98
ncf_8_64_4_euad.2	FAIL	900.98
ncf_8_64_8_edau.5	FAIL	900.98
ncf_8_64_8_edau.6	FAIL	900.98
ncf_16_128_4_u.4	FAIL	900.98
ncf_16_128_2_u.6	FAIL	900.98
ncf_8_32_2_u.6	FAIL	900.98
5qbf-5cnf-80var-640cl.9	FAIL	900.98
ncf_8_32_4_d.3	FAIL	900.98
ncf_4_32_8_u.9	FAIL	900.98
ncf_8_32_8_euad.4	FAIL	900.98
ncf_16_64_2_euad.6	FAIL	900.98
6qbf-5cnf-80var-640cl.6	FAIL	900.98
ncf_16_128_8_d.10	FAIL	900.98
ncf_8_64_2_euad.2	FAIL	900.98
k_t4p_p-21	FAIL	900.98
ncf_16_32_8_u.2	FAIL	900.98
test3_quant_squaring2	FAIL	900.98
ncf_8_32_2_u.4	FAIL	900.98
k_branch_p-20	FAIL	900.98
ncf_8_64_2_u.4	FAIL	900.98
ncf_8_64_4_u.8	FAIL	900.98
4qbf-5cnf-80var-640cl.7	FAIL	900.98
CHAIN21v.22	FAIL	900.98
ncf_8_64_4_euad.10	FAIL	900.98
ncf_16_128_4_u.2	FAIL	900.98
k_poly_p-16	FAIL	900.98
ncf_16_128_8_edau.9	FAIL	900.98
renHorn_400CNF1480_2aQBF_99	FAIL	900.98
2qbf-5cnf-160var-2560cl.3	FAIL	900.98
ncf_8_64_2_edau.1	FAIL	900.98
ncf_16_128_2_edau.9	FAIL	900.98
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	900.98
ncf_8_32_8_euad.8	FAIL	900.98
ncf_16_64_4_u.5	FAIL	900.98
ev-pr-4x4-5-3-0-0-1-s	FAIL	900.98
renHorn_400CNF1720_2aQBF_71	FAIL	900.98
ev-pr-8x8-11-7-0-1-2-lg	FAIL	900.98
ev-pr-8x8-9-7-0-1-2-lg	FAIL	900.98
s510_d4_s	FAIL	900.98
ncf_8_32_8_euad.6	FAIL	900.98
ncf_16_128_2_u.10	FAIL	900.98
adder-16-unsat	FAIL	900.98
ncf_16_128_2_edau.10	FAIL	900.98
ncf_4_32_4_d.9	FAIL	900.98
ncf_16_64_4_edau.10	FAIL	900.98
s3330_d2_s	FAIL	900.98
ncf_16_128_8_edau.8	FAIL	900.98
ncf_16_128_8_euad.9	FAIL	900.98
uclid-pipe3b	FAIL	900.98
4qbf-5cnf-80var-640cl.1	FAIL	900.98
ncf_16_64_4_edau.2	FAIL	900.98
k_poly_p-20	FAIL	900.98
ncf_8_64_4_euad.5	FAIL	900.98
ncf_16_64_4_euad.3	FAIL	900.98
k_poly_p-4	FAIL	900.98
ncf_8_64_2_d.10	FAIL	900.99
ncf_16_64_2_u.7	FAIL	900.99
ev-pr-6x6-11-5-0-1-2-lg	FAIL	900.99
2qbf-5cnf-160var-320cl.2	FAIL	900.99
ncf_16_128_8_u.2	FAIL	900.99
ncf_8_16_8_u.5	FAIL	900.99
ncf_16_128_8_euad.7	FAIL	900.99
ncf_4_32_2_edau.5	FAIL	900.99
ncf_4_32_8_edau.8	FAIL	900.99
ncf_8_32_8_u.10	FAIL	900.99
ncf_4_16_8_d.4	FAIL	900.99
ncf_4_32_4_u.5	FAIL	900.99
ncf_16_64_8_edau.10	FAIL	900.99
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900.99
ncf_4_32_2_euad.7	FAIL	900.99
ncf_16_32_8_d.2	FAIL	900.99
ncf_16_64_4_u.8	FAIL	900.99
ncf_16_128_2_u.2	FAIL	900.99
6qbf-5cnf-80var-640cl.8	FAIL	900.99
k_branch_p-16	FAIL	900.99
ncf_8_16_8_u.10	FAIL	900.99
ncf_8_32_2_euad.8	FAIL	900.99
ncf_16_64_2_d.3	FAIL	900.99
ncf_8_16_8_euad.3	FAIL	900.99
ncf_8_64_4_d.9	FAIL	900.99
ncf_16_128_8_euad.10	FAIL	900.99
horn_400CNF1440_2aQBF_147	FAIL	900.99
horn_400CNF1440_2aQBF_165	FAIL	900.99
ncf_8_32_8_edau.5	FAIL	900.99
4qbf-5cnf-160var-640cl.9	FAIL	900.99
s713_d2_s	FAIL	900.99
horn_400CNF1600_2aQBF_103	FAIL	900.99
horn_400CNF1600_2aQBF_331	FAIL	900.99
ncf_16_64_8_d.7	FAIL	900.99
ncf_8_64_4_d.6	FAIL	900.99
horn_400CNF1840_2aQBF_555	FAIL	900.99
ncf_16_64_4_u.7	FAIL	900.99
ncf_16_128_4_u.9	FAIL	900.99
2qbf-5cnf-160var-2560cl.5	FAIL	900.99
ncf_16_64_8_edau.8	FAIL	900.99
horn_400CNF2000_2aQBF_987	FAIL	900.99
ncf_4_32_8_d.3	FAIL	900.99
6qbf-5cnf-160var-1280cl.4	FAIL	900.99
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	900.99
ncf_4_32_4_edau.6	FAIL	900.99
6qbf-5cnf-40var-320cl.7	FAIL	900.99
renHorn_400CNF2280_2aQBF_95	FAIL	900.99
k_dum_p-20	FAIL	900.99
5qbf-5cnf-160var-1280cl.8	FAIL	900.99
test2_quant_squaring2	FAIL	900.99
ncf_16_64_8_euad.9	FAIL	900.99
horn_400CNF1600_2aQBF_505	FAIL	900.99
horn_400CNF2160_2aQBF_976	FAIL	900.99
renHorn_400CNF1560_2aQBF_96	FAIL	900.99
ncf_16_64_8_d.10	FAIL	900.99
ncf_4_16_8_d.3	FAIL	900.99
3qbf-5cnf-160var-1280cl.0	FAIL	900.99
ncf_8_32_4_d.5	FAIL	900.99
ncf_8_32_4_euad.4	FAIL	900.99
ncf_16_128_4_edau.5	FAIL	900.99
ncf_16_128_8_d.6	FAIL	900.99
ncf_4_32_8_u.3	FAIL	900.99
2qbf-5cnf-160var-1280cl.1	FAIL	900.99
k_path_n-8	FAIL	900.99
ncf_4_32_2_d.7	FAIL	900.99
ncf_8_16_8_u.4	FAIL	900.99
adder-6-unsat	FAIL	900.99
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	900.99
ncf_8_64_4_edau.2	FAIL	900.99
ncf_8_64_4_u.2	FAIL	900.99
ncf_8_32_8_d.10	FAIL	900.99
ncf_16_32_8_edau.1	FAIL	900.99
ncf_16_64_2_euad.4	FAIL	900.99
ncf_4_16_4_edau.2	FAIL	900.99
2qbf-5cnf-160var-640cl.8	FAIL	900.99
s820_d2_s	FAIL	900.99
ncf_8_32_2_edau.5	FAIL	900.99
renHorn_400CNF1640_2aQBF_87	FAIL	900.99
ncf_16_128_8_u.1	FAIL	900.99
horn_400CNF1680_2aQBF_728	FAIL	900.99
ncf_16_64_8_euad.10	FAIL	900.99
6qbf-5cnf-80var-640cl.1	FAIL	900.99
ncf_8_32_8_d.7	FAIL	900.99
ncf_8_64_8_edau.1	FAIL	900.99
ncf_8_32_2_edau.2	FAIL	900.99
k_t4p_n-8	FAIL	900.99
6qbf-5cnf-40var-320cl.4	FAIL	900.99
ncf_16_64_4_euad.9	FAIL	900.99
ncf_4_32_4_u.2	FAIL	900.99
ncf_16_128_2_u.4	FAIL	900.99
ncf_16_128_8_u.5	FAIL	900.99
4qbf-5cnf-40var-320cl.1	FAIL	900.99
ncf_4_16_8_euad.6	FAIL	900.99
CHAIN23v.24	FAIL	900.99
ncf_8_32_2_u.1	FAIL	900.99
ncf_16_64_8_d.8	FAIL	900.99
k_lin_p-8	FAIL	900.99
2qbf-5cnf-80var-320cl.2	FAIL	900.99
k_grz_n-16	FAIL	900.99
test2_quant2	FAIL	900.99
2qbf-5cnf-80var-1280cl.0	FAIL	900.99
ncf_16_128_4_edau.4	FAIL	900.99
ncf_16_128_4_euad.6	FAIL	900.99
ncf_16_64_2_edau.4	FAIL	900.99
ncf_16_128_4_edau.3	FAIL	900.99
k_t4p_n-20	FAIL	900.99
ncf_16_128_8_u.8	FAIL	900.99
k_t4p_p-4	FAIL	900.99
ncf_4_32_4_edau.9	FAIL	900.99
renHorn_400CNF2040_2aQBF_86	FAIL	900.99
horn_400CNF1440_2aQBF_553	FAIL	900.99
horn_400CNF1440_2aQBF_676	FAIL	900.99
ncf_4_32_2_euad.9	FAIL	900.99
horn_400CNF1520_2aQBF_760	FAIL	900.99
test1_quant_squaring3	FAIL	900.99
ncf_16_128_8_euad.3	FAIL	900.99
horn_400CNF2000_2aQBF_104	FAIL	900.99
ncf_16_64_2_u.8	FAIL	900.99
ncf_16_128_8_edau.2	FAIL	900.99
ncf_8_32_4_u.6	FAIL	900.99
ncf_16_64_2_u.5	FAIL	900.99
ncf_16_64_2_u.6	FAIL	900.99
renHorn_400CNF2120_2aQBF_10	FAIL	900.99
ncf_16_64_2_u.2	FAIL	900.99
ncf_8_32_2_euad.7	FAIL	900.99
ncf_8_64_4_euad.4	FAIL	900.99
4qbf-5cnf-80var-640cl.8	FAIL	900.99
ncf_8_32_2_edau.3	FAIL	900.99
k_poly_n-16	FAIL	900.99
Adder2-16-s	FAIL	900.99
k_t4p_p-16	FAIL	900.99
ncf_16_64_4_euad.1	FAIL	900.99
ncf_16_64_8_d.5	FAIL	900.99
ncf_4_32_2_d.5	FAIL	900.99
ncf_4_32_4_euad.7	FAIL	900.99
ncf_16_64_2_euad.5	FAIL	900.99
ncf_16_128_2_euad.3	FAIL	900.99
2qbf-5cnf-160var-640cl.4	FAIL	900.99
ncf_4_32_8_edau.10	FAIL	900.99
ncf_4_32_4_u.8	FAIL	900.99
ncf_8_64_2_u.9	FAIL	900.99
ncf_16_64_4_edau.3	FAIL	900.99
s1196_d3_u	FAIL	900.99
ncf_16_64_4_edau.4	FAIL	900.99
horn_400CNF1760_2aQBF_330	FAIL	900.99
ncf_8_32_4_edau.7	FAIL	900.99
ncf_4_32_4_euad.8	FAIL	900.99
ncf_16_128_2_edau.7	FAIL	900.99
2qbf-5cnf-160var-320cl.1	FAIL	900.99
k_t4p_p-20	FAIL	900.99
ncf_8_64_2_euad.5	FAIL	900.99
ncf_4_32_8_euad.1	FAIL	900.99
4qbf-5cnf-160var-1280cl.3	FAIL	900.99
ncf_4_32_2_edau.10	FAIL	900.99
5qbf-5cnf-80var-640cl.1	FAIL	900.99
test3_quant_squaring4	FAIL	900.99
ncf_4_16_8_euad.1	FAIL	900.99
ncf_8_32_8_d.8	FAIL	900.99
4qbf-5cnf-80var-640cl.0	FAIL	900.99
ncf_8_64_8_d.7	FAIL	900.99
ncf_8_32_2_edau.4	FAIL	900.99
ncf_16_64_8_edau.9	FAIL	900.99
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900.99
ncf_8_64_4_edau.7	FAIL	900.99
k_lin_n-21	FAIL	900.99
ncf_8_64_8_u.8	FAIL	900.99
ncf_16_128_2_d.8	FAIL	900.99
ncf_16_128_4_euad.1	FAIL	900.99
ncf_8_32_8_edau.8	FAIL	900.99
ncf_8_32_4_euad.5	FAIL	900.99
adder-12-sat	FAIL	900.99
6qbf-5cnf-160var-1280cl.0	FAIL	900.99
ncf_8_32_4_u.3	FAIL	900.99
renHorn_400CNF1360_2aQBF_35	FAIL	900.99
2qbf-5cnf-160var-1280cl.7	FAIL	900.99
ncf_16_128_2_u.9	FAIL	900.99
k_dum_n-20	FAIL	900.99
ncf_4_32_8_edau.1	FAIL	900.99
2qbf-5cnf-40var-160cl.4	FAIL	900.99
ncf_4_32_2_euad.10	FAIL	900.99
ncf_4_32_8_euad.2	FAIL	900.99
k_path_p-12	FAIL	900.99
k_poly_n-8	FAIL	900.99
ncf_8_32_4_u.2	FAIL	900.99
renHorn_400CNF1640_2aQBF_42	FAIL	900.99
2qbf-5cnf-80var-320cl.6	FAIL	900.99
ncf_8_16_8_edau.2	FAIL	900.99
renHorn_400CNF1800_2aQBF_24	FAIL	900.99
ncf_8_32_8_u.4	FAIL	900.99
ncf_8_64_8_d.5	FAIL	900.99
horn_400CNF2080_2aQBF_176	FAIL	900.99
ncf_16_128_2_euad.1	FAIL	900.99
ncf_16_128_2_euad.8	FAIL	900.99
6qbf-5cnf-160var-1280cl.3	FAIL	900.99
6qbf-5cnf-80var-640cl.4	FAIL	900.99
ncf_16_128_2_u.5	FAIL	900.99
ncf_16_128_2_edau.5	FAIL	900.99
k_poly_p-12	FAIL	900.99
4qbf-5cnf-160var-1280cl.7	FAIL	900.99
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	900.99
ncf_4_16_8_edau.1	FAIL	900.99
k_branch_n-16	FAIL	900.99
ncf_8_64_4_edau.10	FAIL	900.99
ncf_16_64_4_d.10	FAIL	900.99
k_poly_n-12	FAIL	900.99
ncf_4_32_2_u.8	FAIL	900.99
horn_400CNF2320_2aQBF_80	FAIL	900.99
ncf_4_32_4_edau.1	FAIL	900.99
renHorn_400CNF1560_2aQBF_90	FAIL	900.99
4qbf-5cnf-160var-1280cl.5	FAIL	900.99
ncf_8_64_4_euad.6	FAIL	900.99
ncf_4_32_8_edau.5	FAIL	900.99
test4_quant_squaring2	FAIL	900.99
ncf_4_32_2_edau.4	FAIL	900.99
horn_400CNF1840_2aQBF_32	FAIL	900.99
ncf_16_128_4_u.5	FAIL	900.99
ncf_16_64_8_edau.7	FAIL	900.99
6qbf-5cnf-80var-1280cl.4	FAIL	900.99
2qbf-5cnf-160var-640cl.7	FAIL	900.99
ncf_8_32_2_d.3	FAIL	900.99
ncf_4_32_4_euad.5	FAIL	900.99
ncf_8_32_8_edau.7	FAIL	900.99
ncf_8_64_8_d.1	FAIL	900.99
ncf_8_64_2_d.7	FAIL	900.99
ncf_8_32_8_u.7	FAIL	900.99
ncf_16_128_8_edau.10	FAIL	900.99
ncf_4_16_4_euad.2	FAIL	900.99
ncf_8_64_4_edau.8	FAIL	900.99
ncf_16_64_4_u.1	FAIL	900.99
ncf_4_32_4_edau.4	FAIL	900.99
test1_quant_squaring2	FAIL	900.99
ncf_8_64_2_edau.10	FAIL	900.99
ncf_16_128_4_euad.7	FAIL	900.99
k_path_n-16	FAIL	900.99
ncf_8_64_8_edau.2	FAIL	900.99
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	900.99
2qbf-5cnf-80var-640cl.1	FAIL	900.99
ncf_8_32_8_euad.7	FAIL	900.99
renHorn_400CNF1800_2aQBF_20	FAIL	900.99
4qbf-5cnf-160var-1280cl.1	FAIL	900.99
ncf_4_32_8_d.4	FAIL	900.99
k_dum_n-21	FAIL	900.99
ncf_4_32_2_u.5	FAIL	900.99
Adder2-8-s	FAIL	900.99
ncf_4_32_8_d.5	FAIL	900.99
ncf_8_64_8_euad.7	FAIL	900.99
k_poly_n-21	FAIL	900.99
ncf_16_64_8_u.5	FAIL	900.99
ncf_8_64_4_u.6	FAIL	900.99
ncf_16_128_8_d.1	FAIL	900.99
ncf_4_16_8_d.2	FAIL	900.99
ncf_16_64_8_d.1	FAIL	900.99
renHorn_400CNF2200_2aQBF_79	FAIL	900.99
horn_400CNF1760_2aQBF_846	FAIL	900.99
horn_400CNF2320_2aQBF_832	FAIL	900.99
2qbf-5cnf-160var-640cl.0	FAIL	900.99
ncf_16_128_8_u.10	FAIL	900.99
s820_d4_s	FAIL	900.99
ncf_16_128_2_euad.5	FAIL	900.99
horn_400CNF1680_2aQBF_503	FAIL	900.99
k_dum_n-12	FAIL	900.99
4qbf-5cnf-160var-1280cl.6	FAIL	900.99
ncf_4_32_4_d.3	FAIL	900.99
2qbf-5cnf-40var-320cl.3	FAIL	900.99
ncf_8_64_2_edau.7	FAIL	900.99
ncf_16_128_8_d.9	FAIL	900.99
2qbf-5cnf-160var-640cl.6	FAIL	900.99
horn_400CNF1760_2aQBF_996	FAIL	900.99
ncf_16_128_4_d.8	FAIL	900.99
2qbf-5cnf-80var-640cl.3	FAIL	900.99
ncf_4_32_8_edau.2	FAIL	900.99
horn_400CNF1920_2aQBF_534	FAIL	900.99
2qbf-5cnf-40var-160cl.5	FAIL	901
ncf_8_32_4_euad.2	FAIL	901
ncf_8_64_2_euad.1	FAIL	901
ncf_16_64_8_edau.6	FAIL	901
2qbf-5cnf-160var-2560cl.8	FAIL	901
ncf_8_32_2_d.7	FAIL	901
horn_400CNF1840_2aQBF_340	FAIL	901
ncf_4_16_2_d.3	FAIL	901
ncf_4_16_8_edau.9	FAIL	901
ncf_16_64_8_d.4	FAIL	901
ncf_16_128_2_euad.7	FAIL	901
renHorn_400CNF1200_2aQBF_85	FAIL	901
horn_400CNF1440_2aQBF_967	FAIL	901
6qbf-5cnf-40var-320cl.9	FAIL	901
adder-4-sat	FAIL	901
k_dum_p-21	FAIL	901
ncf_8_32_4_edau.6	FAIL	901
ncf_16_64_4_edau.7	FAIL	901
2qbf-5cnf-80var-320cl.1	FAIL	901
ncf_4_32_4_d.6	FAIL	901
2qbf-5cnf-40var-640cl.1	FAIL	901
ncf_16_64_2_d.7	FAIL	901
tree-exa10-30	FAIL	901
ncf_16_128_2_d.1	FAIL	901
k_lin_n-12	FAIL	901
3qbf-5cnf-80var-640cl.3	FAIL	901
k_grz_p-16	FAIL	901
ncf_4_16_8_edau.8	FAIL	901
ncf_8_32_4_edau.5	FAIL	901
ncf_8_32_4_edau.3	FAIL	901
ncf_16_64_4_euad.5	FAIL	901
adder-6-sat	FAIL	901
6qbf-5cnf-160var-1280cl.5	FAIL	901
k_path_p-16	FAIL	901
ncf_8_16_8_u.3	FAIL	901
ncf_8_64_2_edau.6	FAIL	901
ncf_4_32_8_edau.3	FAIL	901
ncf_16_128_8_d.3	FAIL	901
2qbf-5cnf-80var-640cl.6	FAIL	901
3qbf-5cnf-160var-1280cl.7	FAIL	901
ncf_8_32_2_edau.7	FAIL	901
mutex-64-s	FAIL	901
ncf_16_64_4_d.3	FAIL	901
ncf_16_128_2_d.5	FAIL	901
ncf_8_64_4_d.2	FAIL	901
2qbf-5cnf-40var-320cl.2	FAIL	901
k_d4_p-20	FAIL	901
ncf_8_64_4_d.3	FAIL	901
ncf_16_128_4_d.4	FAIL	901
renHorn_400CNF1720_2aQBF_92	FAIL	901
renHorn_400CNF2120_2aQBF_52	FAIL	901
renHorn_400CNF2280_2aQBF_67	FAIL	901
renHorn_400CNF2360_2aQBF_58	FAIL	901
adder-8-unsat	FAIL	901
ncf_4_32_8_u.5	FAIL	901
ncf_16_64_4_edau.5	FAIL	901
horn_400CNF1440_2aQBF_668	FAIL	901
ncf_4_16_8_u.3	FAIL	901
horn_400CNF1600_2aQBF_73	FAIL	901
ncf_8_64_2_d.3	FAIL	901
horn_400CNF1680_2aQBF_244	FAIL	901
horn_400CNF1680_2aQBF_698	FAIL	901
ncf_16_64_8_u.10	FAIL	901
ncf_8_32_2_u.7	FAIL	901
horn_400CNF1280_2aQBF_755	FAIL	901
4qbf-5cnf-40var-320cl.6	FAIL	901
k_d4_n-21	FAIL	901
3qbf-5cnf-160var-1280cl.1	FAIL	901
ncf_4_32_2_euad.4	FAIL	901
ncf_8_64_2_euad.9	FAIL	901
ncf_16_64_2_edau.3	FAIL	901
horn_400CNF2160_2aQBF_23	FAIL	901
adder-14-unsat	FAIL	901
ncf_4_32_8_euad.3	FAIL	901
ncf_16_64_4_u.4	FAIL	901
horn_400CNF2160_2aQBF_701	FAIL	901
horn_400CNF2160_2aQBF_996	FAIL	901
ncf_8_32_4_d.9	FAIL	901
6qbf-5cnf-80var-640cl.5	FAIL	901
horn_400CNF1280_2aQBF_389	FAIL	901
horn_400CNF2320_2aQBF_132	FAIL	901
k_poly_n-4	FAIL	901
horn_400CNF2320_2aQBF_230	FAIL	901
2qbf-5cnf-160var-320cl.8	FAIL	901
renHorn_400CNF1960_2aQBF_76	FAIL	901
renHorn_400CNF2040_2aQBF_11	FAIL	901
horn_400CNF2320_2aQBF_458	FAIL	901
horn_400CNF2320_2aQBF_813	FAIL	901
ncf_8_64_4_edau.6	FAIL	901
renHorn_400CNF1280_2aQBF_3	FAIL	901
2qbf-5cnf-160var-320cl.0	FAIL	901
ncf_16_128_8_d.2	FAIL	901
renHorn_400CNF1720_2aQBF_20	FAIL	901
horn_400CNF1600_2aQBF_956	FAIL	901
ncf_8_64_2_edau.2	FAIL	901
horn_400CNF2080_2aQBF_899	FAIL	901
ncf_4_32_4_d.5	FAIL	901
renHorn_400CNF1960_2aQBF_41	FAIL	901
2qbf-5cnf-160var-640cl.5	FAIL	901
ncf_16_64_4_d.6	FAIL	901
2qbf-5cnf-160var-1280cl.3	FAIL	901
s386_d2_s	FAIL	901
ncf_4_16_8_d.6	FAIL	901
4qbf-5cnf-80var-320cl.1	FAIL	901
2qbf-5cnf-40var-160cl.3	FAIL	901
ncf_8_32_2_d.1	FAIL	901
horn_400CNF1680_2aQBF_950	FAIL	901
horn_400CNF2000_2aQBF_8	FAIL	901
test5_quant7	FAIL	901
ncf_16_64_2_edau.7	FAIL	901
renHorn_400CNF2200_2aQBF_22	FAIL	901
test2_quant_squaring3	FAIL	901
ncf_4_32_2_euad.3	FAIL	901
ncf_8_64_2_u.1	FAIL	901
ncf_16_64_4_euad.4	FAIL	901
3qbf-5cnf-160var-1280cl.4	FAIL	901
ncf_16_128_2_d.10	FAIL	901
ncf_4_32_2_edau.7	FAIL	901
ncf_8_16_8_d.4	FAIL	901
2qbf-5cnf-80var-640cl.4	FAIL	901
2qbf-5cnf-160var-640cl.3	FAIL	901
ncf_4_32_8_u.10	FAIL	901
ncf_8_32_4_edau.10	FAIL	901
ncf_8_64_2_d.4	FAIL	901
renHorn_400CNF1400_2aQBF_80	FAIL	901
renHorn_400CNF1480_2aQBF_44	FAIL	901
renHorn_400CNF1360_2aQBF_96	FAIL	901
ncf_8_64_8_euad.9	FAIL	901
renHorn_400CNF2360_2aQBF_88	FAIL	901
s713_d4_s	FAIL	901
test1_quant2	FAIL	901
ncf_8_32_4_euad.10	FAIL	901
ncf_16_128_2_euad.6	FAIL	901
ncf_4_32_4_edau.2	FAIL	901
k_poly_n-20	FAIL	901
mutex-32-s	FAIL	901
s386_d4_s	FAIL	901
2qbf-5cnf-80var-320cl.5	FAIL	901
ncf_16_64_4_d.7	FAIL	901
ncf_8_32_2_euad.4	FAIL	901
k_d4_n-16	FAIL	901
ncf_4_32_8_d.9	FAIL	901
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	901
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	901
ncf_16_128_2_edau.2	FAIL	901
ncf_8_32_4_edau.1	FAIL	901
uclid-pipe2	FAIL	901
ncf_16_64_2_d.9	FAIL	901
ncf_8_32_4_d.10	FAIL	901
ncf_16_128_2_d.9	FAIL	901
ncf_16_128_4_edau.2	FAIL	901
ncf_16_128_4_d.10	FAIL	901
ncf_16_64_4_edau.8	FAIL	901
6qbf-5cnf-40var-320cl.2	FAIL	901
renHorn_400CNF1280_2aQBF_7	FAIL	901
ncf_4_16_8_d.9	FAIL	901
ncf_4_16_8_euad.3	FAIL	901
4qbf-5cnf-40var-320cl.4	FAIL	901
ncf_4_32_2_d.10	FAIL	901
ncf_4_32_4_d.2	FAIL	901
ncf_16_64_4_euad.7	FAIL	901
ncf_4_32_4_u.9	FAIL	901
ncf_16_128_8_d.8	FAIL	901
renHorn_400CNF2040_2aQBF_100	FAIL	901
renHorn_400CNF2280_2aQBF_4	FAIL	901
s27_d4_u	FAIL	901
test4_quant4	FAIL	901
ncf_4_32_8_d.7	FAIL	901
horn_400CNF1760_2aQBF_188	FAIL	901
s510_d2_s	FAIL	901
ncf_16_128_2_d.3	FAIL	901
renHorn_400CNF1560_2aQBF_47	FAIL	901
horn_400CNF1920_2aQBF_890	FAIL	901
horn_400CNF2000_2aQBF_702	FAIL	901
ncf_8_32_4_d.1	FAIL	901
ncf_4_32_2_edau.3	FAIL	901
ncf_4_32_2_u.3	FAIL	901
4qbf-5cnf-160var-640cl.0	FAIL	901
ncf_8_32_4_u.10	FAIL	901
4qbf-5cnf-80var-320cl.2	FAIL	901
4qbf-5cnf-80var-640cl.5	FAIL	901
ncf_8_32_2_edau.6	FAIL	901
ncf_8_64_2_d.6	FAIL	901
ncf_8_64_2_euad.6	FAIL	901
ncf_8_64_8_d.4	FAIL	901
2qbf-5cnf-80var-1280cl.5	FAIL	901
ncf_8_64_2_d.1	FAIL	901
s386_d8_u	FAIL	901
2qbf-5cnf-40var-640cl.9	FAIL	901
test2_quant3	FAIL	901
ncf_16_64_4_edau.9	FAIL	901
ncf_16_128_2_d.2	FAIL	901
ncf_16_64_2_d.8	FAIL	901
ncf_4_32_4_u.3	FAIL	901
ncf_8_32_2_d.8	FAIL	901
ncf_16_128_8_euad.5	FAIL	901
2qbf-5cnf-160var-320cl.7	FAIL	901
k_dum_n-16	FAIL	901
2qbf-5cnf-160var-1280cl.8	FAIL	901
k_t4p_n-12	FAIL	901
k_d4_p-21	FAIL	901
2qbf-5cnf-160var-320cl.9	FAIL	901
2qbf-5cnf-80var-640cl.8	FAIL	901
Adder2-14-s	FAIL	901
ncf_8_32_4_d.7	FAIL	901
k_branch_p-4	FAIL	901
k_t4p_p-8	FAIL	901
k_branch_p-12	FAIL	901
2qbf-5cnf-80var-640cl.5	FAIL	901
2qbf-5cnf-160var-1280cl.4	FAIL	901
ncf_4_32_4_d.4	FAIL	901
ncf_8_64_4_edau.1	FAIL	901
ncf_4_32_8_u.1	FAIL	901
ncf_8_32_8_edau.6	FAIL	901
2qbf-5cnf-160var-1280cl.2	FAIL	901
2qbf-5cnf-80var-320cl.7	FAIL	901
ncf_8_16_8_edau.10	FAIL	901
renHorn_400CNF1360_2aQBF_22	FAIL	901
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	901
renHorn_400CNF1800_2aQBF_7	FAIL	901
ncf_16_64_2_u.10	FAIL	901
ncf_16_64_2_u.4	FAIL	901
ncf_8_16_8_edau.5	FAIL	901
renHorn_400CNF2280_2aQBF_59	FAIL	901
ncf_16_128_4_edau.10	FAIL	901
horn_400CNF1520_2aQBF_995	FAIL	901
4qbf-5cnf-80var-640cl.9	FAIL	901
ncf_4_32_8_edau.4	FAIL	901
horn_400CNF2000_2aQBF_878	FAIL	901
ncf_8_32_8_edau.9	FAIL	901
horn_400CNF2080_2aQBF_322	FAIL	901
horn_400CNF2080_2aQBF_714	FAIL	901
horn_400CNF2080_2aQBF_840	FAIL	901
ncf_8_64_4_euad.3	FAIL	901
horn_400CNF2160_2aQBF_407	FAIL	901
horn_400CNF2160_2aQBF_92	FAIL	901
horn_400CNF2320_2aQBF_797	FAIL	901
2qbf-5cnf-160var-1280cl.0	FAIL	901
ncf_4_16_8_edau.3	FAIL	901
ncf_16_64_2_edau.8	FAIL	901
ncf_8_32_4_u.9	FAIL	901
ncf_16_64_2_euad.8	FAIL	901
renHorn_400CNF1480_2aQBF_62	FAIL	901
horn_400CNF1440_2aQBF_642	FAIL	901
horn_400CNF1200_2aQBF_539	FAIL	901
ncf_16_64_4_d.5	FAIL	901
ncf_16_128_2_u.3	FAIL	901
renHorn_400CNF1800_2aQBF_5	FAIL	901
horn_400CNF1440_2aQBF_925	FAIL	901
horn_400CNF1520_2aQBF_625	FAIL	901
ncf_16_128_4_euad.5	FAIL	901
horn_400CNF1920_2aQBF_75	FAIL	901
2qbf-5cnf-80var-320cl.4	FAIL	901
5qbf-5cnf-80var-640cl.4	FAIL	901
ncf_4_32_2_edau.6	FAIL	901
ncf_4_32_8_d.6	FAIL	901
ncf_8_32_2_u.8	FAIL	901
3qbf-5cnf-160var-1280cl.3	FAIL	901
ncf_4_16_4_d.6	FAIL	901
ncf_8_16_8_d.2	FAIL	901
ncf_8_32_4_euad.3	FAIL	901
ncf_8_64_4_euad.8	FAIL	901
test3_quant4	FAIL	901
k_d4_p-12	FAIL	901
ncf_4_32_2_u.10	FAIL	901
ncf_4_32_4_edau.5	FAIL	901
ncf_16_64_4_d.1	FAIL	901
ncf_16_128_4_d.7	FAIL	901
renHorn_400CNF1960_2aQBF_35	FAIL	901
6qbf-5cnf-160var-1280cl.6	FAIL	901
ncf_16_64_8_d.3	FAIL	901
horn_400CNF2320_2aQBF_209	FAIL	901
k_lin_n-8	FAIL	901
3qbf-5cnf-160var-1280cl.8	FAIL	901
ncf_4_32_8_euad.6	FAIL	901
2qbf-5cnf-40var-640cl.2	FAIL	901
ncf_16_128_8_d.5	FAIL	901
6qbf-5cnf-160var-1280cl.2	FAIL	901
horn_400CNF2000_2aQBF_787	FAIL	901
6qbf-5cnf-160var-1280cl.9	FAIL	901
renHorn_400CNF2120_2aQBF_37	FAIL	901
k_lin_n-4	FAIL	901
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	901
ncf_8_64_4_euad.9	FAIL	901
2qbf-5cnf-80var-1280cl.2	FAIL	901
CHAIN22v.23	FAIL	901
k_dum_n-8	FAIL	901
ncf_8_64_4_d.4	FAIL	901
ncf_16_64_2_u.9	FAIL	901
ncf_16_64_8_edau.5	FAIL	901
horn_400CNF2000_2aQBF_523	FAIL	901
ncf_8_32_2_u.5	FAIL	901
k_grz_p-21	FAIL	901
horn_400CNF2000_2aQBF_642	FAIL	901
ncf_16_128_4_u.1	FAIL	901
ncf_8_64_2_u.3	FAIL	901
mutex-16-s	FAIL	901
ncf_16_128_2_edau.6	FAIL	901
2qbf-5cnf-80var-640cl.0	FAIL	901
k_t4p_n-16	FAIL	901
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	901
ncf_8_64_2_euad.10	FAIL	901
ncf_8_16_8_d.10	FAIL	901
ncf_8_64_2_edau.9	FAIL	901
ncf_4_32_8_u.7	FAIL	901
ncf_16_64_2_edau.10	FAIL	901
ncf_8_32_8_edau.2	FAIL	901
k_t4p_p-12	FAIL	901
renHorn_400CNF2200_2aQBF_48	FAIL	901
horn_400CNF1600_2aQBF_26	FAIL	901
horn_400CNF2080_2aQBF_709	FAIL	901
horn_400CNF2080_2aQBF_832	FAIL	901
qshifter_5	FAIL	901
ncf_8_32_2_euad.2	FAIL	901
ncf_4_32_8_euad.4	FAIL	901
ncf_8_32_8_u.8	FAIL	901
ncf_16_128_4_d.3	FAIL	901
6qbf-5cnf-80var-640cl.9	FAIL	901
2qbf-5cnf-40var-320cl.4	FAIL	901
2qbf-5cnf-40var-160cl.0	FAIL	901
6qbf-5cnf-80var-640cl.3	FAIL	901
ncf_8_32_4_euad.1	FAIL	901
k_d4_n-20	FAIL	901
ncf_8_32_4_euad.8	FAIL	901
ncf_4_32_8_d.8	FAIL	901
ncf_8_32_8_edau.10	FAIL	901
horn_400CNF2000_2aQBF_577	FAIL	901
horn_400CNF1920_2aQBF_314	FAIL	901
s499_d4_s	FAIL	901
horn_400CNF1920_2aQBF_970	FAIL	901
ncf_8_32_2_edau.8	FAIL	901
ncf_16_128_4_u.6	FAIL	901
4qbf-5cnf-80var-640cl.2	FAIL	901
ncf_4_32_4_edau.7	FAIL	901
s298_d4_s	FAIL	901
5qbf-5cnf-160var-1280cl.2	FAIL	901
4qbf-5cnf-160var-640cl.5	FAIL	901
2qbf-5cnf-40var-160cl.8	FAIL	901
ncf_4_32_8_d.1	FAIL	901
ncf_8_32_2_euad.1	FAIL	901
ncf_8_32_8_d.5	FAIL	901
ncf_8_64_8_d.2	FAIL	901
ncf_16_32_8_euad.9	FAIL	901
ncf_16_64_2_euad.9	FAIL	901
2qbf-5cnf-40var-320cl.7	FAIL	901
ncf_8_64_8_edau.7	FAIL	901
ncf_16_128_2_u.7	FAIL	901
test5_quant_squaring5	FAIL	901
ncf_8_32_4_u.1	FAIL	901
4qbf-5cnf-80var-320cl.3	FAIL	901
ncf_8_64_2_d.5	FAIL	901
3qbf-5cnf-160var-1280cl.5	FAIL	901
ncf_4_32_2_d.8	FAIL	901
ncf_8_64_2_euad.8	FAIL	901
ncf_8_64_4_d.8	FAIL	901
test1_quant3	FAIL	901
ncf_8_64_4_u.9	FAIL	901
k_path_p-20	FAIL	901
6qbf-5cnf-80var-640cl.7	FAIL	901
ncf_4_8_8_edau.2	FAIL	901
adder-8-sat	FAIL	901
ncf_16_64_4_euad.2	FAIL	901
ncf_4_32_2_edau.8	FAIL	901
ncf_16_64_4_d.4	FAIL	901
ncf_16_128_2_edau.3	FAIL	901
ncf_16_128_4_edau.7	FAIL	901
test5_quant_squaring4	FAIL	901
ncf_8_64_8_d.9	FAIL	901
ncf_16_128_4_d.6	FAIL	901
s499_d2_s	FAIL	901
ncf_4_16_4_d.2	FAIL	901
k_path_p-21	FAIL	901
4qbf-5cnf-160var-640cl.6	FAIL	901
ncf_4_32_2_d.6	FAIL	901
ncf_4_32_8_u.8	FAIL	901
k_dum_p-12	FAIL	901
2qbf-5cnf-160var-320cl.4	FAIL	901
ncf_4_32_4_d.7	FAIL	901
k_path_n-12	FAIL	901
ncf_16_64_4_u.2	FAIL	901
ncf_16_64_4_d.8	FAIL	901
ncf_4_32_4_edau.8	FAIL	901
s1196_d2_s	FAIL	901
ncf_16_64_8_u.6	FAIL	901
renHorn_400CNF1640_2aQBF_38	FAIL	901
renHorn_400CNF1720_2aQBF_11	FAIL	901
ncf_8_32_8_d.1	FAIL	901
renHorn_400CNF1880_2aQBF_88	FAIL	901
renHorn_400CNF2120_2aQBF_21	FAIL	901
ncf_4_32_4_d.1	FAIL	901
horn_400CNF1360_2aQBF_310	FAIL	901
horn_400CNF1360_2aQBF_565	FAIL	901
horn_400CNF1520_2aQBF_782	FAIL	901
ncf_4_32_4_d.10	FAIL	901
horn_400CNF1760_2aQBF_686	FAIL	901
horn_400CNF1760_2aQBF_711	FAIL	901
ncf_4_32_8_u.6	FAIL	901
ncf_8_64_8_d.10	FAIL	901
horn_400CNF1840_2aQBF_323	FAIL	901
horn_400CNF1920_2aQBF_597	FAIL	901
2qbf-5cnf-160var-1280cl.6	FAIL	901
ncf_16_128_4_euad.8	FAIL	901
renHorn_400CNF1640_2aQBF_18	FAIL	901
2qbf-5cnf-160var-320cl.6	FAIL	901
ncf_8_16_8_d.5	FAIL	901
horn_400CNF1680_2aQBF_286	FAIL	901
horn_400CNF1920_2aQBF_952	FAIL	901
Adder2-4-s	FAIL	901
ncf_16_64_4_d.2	FAIL	901
Adder2-12-s	FAIL	901
k_dum_p-16	FAIL	901
ncf_4_32_8_u.4	FAIL	901
ncf_16_32_8_u.9	FAIL	901
ncf_16_128_4_d.9	FAIL	901
ncf_8_32_2_d.2	FAIL	901
ncf_8_64_4_u.1	FAIL	901
renHorn_400CNF2120_2aQBF_84	FAIL	901
k_path_n-20	FAIL	901
horn_400CNF1600_2aQBF_514	FAIL	901
horn_400CNF1920_2aQBF_647	FAIL	901
horn_400CNF1920_2aQBF_704	FAIL	901
horn_400CNF2160_2aQBF_308	FAIL	901
horn_400CNF2160_2aQBF_427	FAIL	901
renHorn_400CNF2120_2aQBF_88	FAIL	901
horn_400CNF2160_2aQBF_588	FAIL	901
horn_400CNF1680_2aQBF_695	FAIL	901
k_grz_p-20	FAIL	901
ncf_8_32_2_d.4	FAIL	901
horn_400CNF2320_2aQBF_72	FAIL	901
ncf_8_64_4_d.5	FAIL	901
test4_quant_squaring4	FAIL	901
ncf_8_32_4_edau.8	FAIL	901
2qbf-5cnf-40var-320cl.1	FAIL	901
k_lin_p-20	FAIL	901
4qbf-5cnf-160var-1280cl.2	FAIL	901
ncf_16_128_2_edau.8	FAIL	901
k_branch_n-8	FAIL	901
2qbf-5cnf-160var-1280cl.5	FAIL	901
ncf_8_64_8_u.6	FAIL	901
6qbf-5cnf-40var-320cl.3	FAIL	901
adder-12-unsat	FAIL	901
k_branch_p-8	FAIL	901
4qbf-5cnf-160var-640cl.8	FAIL	901
4qbf-5cnf-160var-640cl.7	FAIL	901
k_path_n-21	FAIL	901
Adder2-10-s	FAIL	901
ncf_4_32_4_u.4	FAIL	901
4qbf-5cnf-160var-640cl.1	FAIL	901
ncf_8_32_8_euad.2	FAIL	901
ncf_8_32_8_d.4	FAIL	901
ncf_8_32_8_euad.9	FAIL	901
ncf_4_16_8_d.1	FAIL	901
ncf_8_64_2_edau.8	FAIL	901
ncf_8_64_2_d.8	FAIL	901
ncf_8_64_2_u.10	FAIL	901
ncf_8_64_4_euad.1	FAIL	901
ncf_16_64_2_edau.2	FAIL	901
renHorn_400CNF2040_2aQBF_59	FAIL	901
renHorn_400CNF2360_2aQBF_97	FAIL	901
horn_400CNF1520_2aQBF_405	FAIL	901
k_grz_n-21	FAIL	901
2qbf-5cnf-160var-1280cl.9	FAIL	901
horn_400CNF1840_2aQBF_329	FAIL	901
horn_400CNF1920_2aQBF_583	FAIL	901
ncf_16_64_2_d.10	FAIL	901
ncf_16_64_8_d.2	FAIL	901
ncf_8_16_4_d.7	FAIL	901
2qbf-5cnf-80var-320cl.3	FAIL	901
ncf_4_32_2_d.9	FAIL	901
s298_d2_s	FAIL	901
2qbf-5cnf-160var-640cl.9	FAIL	901
ncf_8_64_2_edau.3	FAIL	901
4qbf-5cnf-160var-640cl.2	FAIL	901
2qbf-5cnf-80var-1280cl.8	FAIL	901
ncf_16_128_2_euad.4	FAIL	901
renHorn_400CNF1960_2aQBF_79	FAIL	901
horn_400CNF1600_2aQBF_912	FAIL	901
horn_400CNF2080_2aQBF_584	FAIL	901
4qbf-5cnf-40var-320cl.5	FAIL	901
ncf_8_64_4_d.1	FAIL	901
ncf_8_64_4_u.3	FAIL	901
3qbf-5cnf-80var-640cl.5	FAIL	901
ncf_8_16_8_d.3	FAIL	901
k_t4p_n-4	FAIL	901
ncf_16_64_8_d.9	FAIL	901
renHorn_400CNF1480_2aQBF_96	FAIL	901
renHorn_400CNF2120_2aQBF_19	FAIL	901
renHorn_400CNF2120_2aQBF_63	FAIL	901
ncf_8_32_4_u.5	FAIL	901
ncf_4_16_4_edau.3	FAIL	901
mutex-128-s	FAIL	901
2qbf-5cnf-80var-640cl.9	FAIL	901
ncf_16_32_8_d.1	FAIL	901
adder-4-unsat	FAIL	901
renHorn_400CNF1880_2aQBF_19	FAIL	901
horn_400CNF1840_2aQBF_514	FAIL	901
horn_400CNF2160_2aQBF_692	FAIL	901
horn_400CNF2320_2aQBF_772	FAIL	901
ncf_4_16_4_u.2	FAIL	901
ncf_16_64_4_u.9	FAIL	901
horn_400CNF1360_2aQBF_831	FAIL	901
k_d4_p-8	FAIL	901
ncf_16_64_2_d.2	FAIL	901
ncf_16_128_2_euad.2	FAIL	901
horn_400CNF1520_2aQBF_387	FAIL	901
6qbf-5cnf-80var-640cl.0	FAIL	901
ncf_16_64_2_edau.5	FAIL	901
renHorn_400CNF1480_2aQBF_92	FAIL	901
ncf_8_64_8_edau.4	FAIL	901
k_path_p-8	FAIL	901
horn_400CNF1520_2aQBF_702	FAIL	901
ncf_4_16_8_d.8	FAIL	901
ncf_16_64_2_u.3	FAIL	901
ncf_8_64_8_d.6	FAIL	901
renHorn_400CNF1560_2aQBF_68	FAIL	901
horn_400CNF1920_2aQBF_603	FAIL	901
2qbf-5cnf-80var-640cl.7	FAIL	901
ncf_8_64_8_u.7	FAIL	901
ncf_4_32_4_d.8	FAIL	901
6qbf-5cnf-160var-1280cl.8	FAIL	901
ncf_4_16_8_u.1	FAIL	901
ncf_8_32_4_u.7	FAIL	901
renHorn_400CNF1640_2aQBF_53	FAIL	901
ncf_8_32_4_edau.2	FAIL	901
2qbf-5cnf-40var-640cl.8	FAIL	901
5qbf-5cnf-160var-1280cl.4	FAIL	901
renHorn_400CNF1480_2aQBF_98	FAIL	901
s1269_d2_s	FAIL	901
ncf_4_16_8_edau.6	FAIL	901
ncf_4_32_4_u.10	FAIL	901
ncf_8_32_8_u.2	FAIL	901
renHorn_400CNF1560_2aQBF_72	FAIL	901
horn_400CNF1760_2aQBF_997	FAIL	901
ncf_4_16_8_edau.2	FAIL	901
ncf_8_64_2_d.9	FAIL	901
horn_400CNF1840_2aQBF_980	FAIL	901
ncf_16_64_2_d.5	FAIL	901
3qbf-5cnf-160var-1280cl.6	FAIL	901
horn_400CNF2080_2aQBF_682	FAIL	901
ncf_16_128_4_d.1	FAIL	901
horn_400CNF1440_2aQBF_737	FAIL	901
4qbf-5cnf-80var-320cl.9	FAIL	901.01
ncf_16_64_4_d.9	FAIL	901.01
ncf_4_32_8_euad.8	FAIL	901.01
ncf_4_32_2_d.4	FAIL	901.01
ncf_4_16_8_u.6	FAIL	901.01
ncf_8_32_2_edau.1	FAIL	901.01
ncf_8_32_4_d.8	FAIL	901.01
3qbf-5cnf-160var-1280cl.9	FAIL	901.01
2qbf-5cnf-40var-160cl.9	FAIL	901.01
ncf_8_32_2_euad.3	FAIL	901.01
k_branch_n-12	FAIL	901.01
ncf_8_32_8_edau.4	FAIL	901.01
renHorn_400CNF1880_2aQBF_81	FAIL	901.01
4qbf-5cnf-160var-640cl.4	FAIL	901.01
ncf_4_32_2_u.7	FAIL	901.01
2qbf-5cnf-160var-640cl.2	FAIL	901.01
s27_d5_u	FAIL	901.01
ncf_8_32_4_d.4	FAIL	901.01
ncf_4_32_8_edau.7	FAIL	901.01
s386_d7_s	FAIL	901.01
2qbf-5cnf-80var-320cl.0	FAIL	901.01
ncf_8_64_2_u.5	FAIL	901.01
horn_400CNF1360_2aQBF_788	FAIL	901.01
ncf_8_32_2_d.5	FAIL	901.01
ncf_16_128_2_d.6	FAIL	901.01
2qbf-5cnf-40var-160cl.2	FAIL	901.01
ncf_4_32_2_euad.8	FAIL	901.01
4qbf-5cnf-80var-320cl.7	FAIL	901.01
4qbf-5cnf-40var-320cl.8	FAIL	901.01
ncf_8_64_8_u.9	FAIL	901.01
ncf_8_64_2_u.8	FAIL	901.01
uclid-pipe3a	FAIL	901.01
6qbf-5cnf-80var-640cl.2	FAIL	901.01
k_d4_n-12	FAIL	901.01
2qbf-5cnf-80var-1280cl.7	FAIL	901.01
ncf_8_64_4_edau.5	FAIL	901.01
ncf_16_64_2_d.4	FAIL	901.01
horn_400CNF1600_2aQBF_789	FAIL	901.01
test4_quant2	FAIL	901.01
Adder2-6-s	FAIL	901.01
ncf_8_64_4_u.4	FAIL	901.01
renHorn_400CNF1640_2aQBF_79	FAIL	901.01
horn_400CNF1520_2aQBF_382	FAIL	901.01
horn_400CNF1840_2aQBF_547	FAIL	901.01
2qbf-5cnf-80var-320cl.8	FAIL	901.01
ncf_8_32_8_d.6	FAIL	901.01
ncf_4_32_4_edau.10	FAIL	901.01
ncf_16_128_8_euad.1	FAIL	901.01
ncf_8_64_2_edau.4	FAIL	901.01
ncf_8_64_2_edau.5	FAIL	901.01
ncf_16_64_2_euad.10	FAIL	901.01
2qbf-5cnf-160var-320cl.3	FAIL	901.01
horn_400CNF1680_2aQBF_482	FAIL	901.01
ncf_16_64_2_d.6	FAIL	901.01
horn_400CNF1680_2aQBF_745	FAIL	901.01
renHorn_400CNF1720_2aQBF_79	FAIL	901.01
ncf_8_32_8_edau.1	FAIL	901.01
4qbf-5cnf-160var-640cl.3	FAIL	901.01
k_branch_n-4	FAIL	901.01
ncf_8_64_8_edau.3	FAIL	901.01
ncf_16_128_2_edau.4	FAIL	901.01
ncf_16_64_2_euad.3	FAIL	901.01
2qbf-5cnf-160var-2560cl.1	FAIL	901.01
6qbf-5cnf-160var-1280cl.7	FAIL	901.01
ncf_4_32_8_d.10	FAIL	901.01
ncf_4_16_8_euad.9	FAIL	901.01
renHorn_400CNF1280_2aQBF_62	FAIL	901.01
renHorn_400CNF1560_2aQBF_2	FAIL	901.01
renHorn_400CNF1800_2aQBF_2	FAIL	901.01
2qbf-5cnf-80var-320cl.9	FAIL	901.01
ncf_8_64_4_d.10	FAIL	901.01
renHorn_400CNF2120_2aQBF_31	FAIL	901.01
ncf_8_64_2_euad.3	FAIL	901.01
horn_400CNF1840_2aQBF_198	FAIL	901.01
ncf_8_64_4_edau.9	FAIL	901.01
renHorn_400CNF2120_2aQBF_17	FAIL	901.01
horn_400CNF1520_2aQBF_600	FAIL	901.01
ncf_4_32_4_edau.3	FAIL	901.01
horn_400CNF1680_2aQBF_547	FAIL	901.01
ncf_4_32_4_euad.3	FAIL	901.01
renHorn_400CNF2280_2aQBF_13	FAIL	901.01
horn_400CNF2320_2aQBF_420	FAIL	901.01
k_grz_n-20	FAIL	901.01
3qbf-5cnf-80var-640cl.8	FAIL	901.01
horn_400CNF1760_2aQBF_93	FAIL	901.01
horn_400CNF1760_2aQBF_979	FAIL	901.01
ncf_8_64_8_d.8	FAIL	901.01
horn_400CNF1680_2aQBF_433	FAIL	901.01
2qbf-5cnf-80var-1280cl.1	FAIL	901.01
ncf_16_128_2_d.7	FAIL	901.01
ncf_8_16_4_edau.3	FAIL	901.01
ncf_16_64_8_edau.2	FAIL	901.01
2qbf-5cnf-160var-640cl.1	FAIL	901.01
ncf_4_32_2_edau.9	FAIL	901.01
ncf_4_32_4_euad.4	FAIL	901.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by WalkQSAT
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by WalkQSAT QBFEVAL'05

Instances solved by WalkQSAT
QBFEVAL'05