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

Instances solved by sSolve
QBFEVAL'05

Instance	Result	Time
3qbf-5cnf-20var-160cl.9	SAT	0
ncf_16_32_2_edau.6	SAT	0
3qbf-5cnf-40var-160cl.7	SAT	0
6qbf-5cnf-40var-320cl.9	SAT	0
6qbf-5cnf-40var-640cl.9	UNSAT	0
2qbf-5cnf-20var-640cl.0	UNSAT	0
4qbf-5cnf-20var-320cl.3	UNSAT	0
5qbf-5cnf-80var-320cl.3	SAT	0
ncf_4_16_4_u.5	SAT	0
s641_d2_s	FAIL	0
2qbf-5cnf-160var-320cl.2	SAT	0
6qbf-5cnf-40var-160cl.7	SAT	0
3qbf-5cnf-160var-320cl.0	SAT	0
4qbf-5cnf-20var-80cl.8	SAT	0
5qbf-5cnf-80var-160cl.7	SAT	0
4qbf-5cnf-40var-640cl.1	UNSAT	0
ncf_4_16_4_d.5	SAT	0
2qbf-5cnf-20var-320cl.0	UNSAT	0
2qbf-5cnf-80var-160cl.5	SAT	0
3qbf-5cnf-20var-320cl.9	UNSAT	0
6qbf-5cnf-20var-160cl.4	SAT	0
3qbf-5cnf-40var-320cl.7	SAT	0
6qbf-5cnf-80var-160cl.4	SAT	0
6qbf-5cnf-40var-80cl.3	SAT	0
6qbf-5cnf-20var-40cl.9	SAT	0
ncf_8_16_2_d.1	SAT	0
6qbf-5cnf-20var-640cl.4	UNSAT	0
6qbf-5cnf-20var-640cl.5	UNSAT	0
ncf_4_8_4_euad.9	SAT	0
ncf_4_16_2_d.6	SAT	0
3qbf-5cnf-20var-40cl.2	SAT	0
6qbf-5cnf-20var-640cl.7	UNSAT	0
4qbf-5cnf-80var-320cl.0	SAT	0
2qbf-5cnf-20var-40cl.2	SAT	0
5qbf-5cnf-40var-320cl.1	SAT	0
6qbf-5cnf-160var-640cl.2	SAT	0
5qbf-5cnf-20var-320cl.9	UNSAT	0
4qbf-5cnf-40var-160cl.7	SAT	0
3qbf-5cnf-80var-160cl.1	SAT	0
3qbf-5cnf-160var-640cl.3	SAT	0
5qbf-5cnf-20var-80cl.4	SAT	0
4qbf-5cnf-80var-160cl.6	SAT	0
5qbf-5cnf-20var-80cl.2	SAT	0
horn_400CNF1440_2aQBF_147	SAT	0
5qbf-5cnf-40var-160cl.7	SAT	0
5qbf-5cnf-160var-320cl.5	SAT	0
4qbf-5cnf-160var-640cl.4	SAT	0
ncf_4_8_8_u.9	UNSAT	0
3qbf-5cnf-40var-80cl.9	SAT	0
6qbf-5cnf-20var-640cl.0	UNSAT	0
6qbf-5cnf-40var-160cl.1	SAT	0
6qbf-5cnf-20var-320cl.9	UNSAT	0
5qbf-5cnf-40var-160cl.1	SAT	0
5qbf-5cnf-20var-160cl.8	SAT	0
6qbf-5cnf-40var-160cl.5	SAT	0
2qbf-5cnf-80var-160cl.6	SAT	0
tree-exa10-15	SAT	0
ncf_4_8_2_d.10	SAT	0
3qbf-5cnf-40var-640cl.5	UNSAT	0
2qbf-5cnf-160var-320cl.8	SAT	0
4qbf-5cnf-20var-160cl.4	UNSAT	0
3qbf-5cnf-80var-160cl.7	SAT	0
5qbf-5cnf-20var-160cl.6	SAT	0
4qbf-5cnf-40var-160cl.9	SAT	0
2qbf-5cnf-20var-80cl.1	SAT	0
6qbf-5cnf-40var-320cl.7	SAT	0
5qbf-5cnf-20var-80cl.9	SAT	0
5qbf-5cnf-20var-40cl.5	SAT	0
3qbf-5cnf-20var-640cl.9	UNSAT	0
4qbf-5cnf-80var-320cl.1	SAT	0
2qbf-5cnf-20var-160cl.0	UNSAT	0
ncf_4_8_2_euad.9	SAT	0
3qbf-5cnf-80var-320cl.9	SAT	0
2qbf-5cnf-160var-320cl.5	SAT	0
4qbf-5cnf-40var-160cl.6	SAT	0
4qbf-5cnf-80var-320cl.5	SAT	0
3qbf-5cnf-80var-1280cl.6	UNSAT	0
4qbf-5cnf-20var-640cl.8	UNSAT	0
6qbf-5cnf-40var-640cl.5	UNSAT	0
ncf_8_16_4_u.2	UNSAT	0
6qbf-5cnf-80var-320cl.6	SAT	0
3qbf-5cnf-20var-640cl.6	UNSAT	0
3qbf-5cnf-80var-160cl.0	SAT	0
qshifter_3	SAT	0
4qbf-5cnf-20var-40cl.8	SAT	0
6qbf-5cnf-20var-320cl.8	UNSAT	0
mutex-4-s	SAT	0
6qbf-5cnf-160var-320cl.6	SAT	0
ncf_16_32_2_u.6	SAT	0
6qbf-5cnf-20var-40cl.6	SAT	0
2qbf-5cnf-20var-320cl.4	UNSAT	0
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0
2qbf-5cnf-80var-160cl.2	SAT	0
6qbf-5cnf-80var-320cl.2	SAT	0
3qbf-5cnf-40var-160cl.9	SAT	0
ncf_8_16_2_edau.4	SAT	0
4qbf-5cnf-80var-320cl.7	SAT	0
3qbf-5cnf-40var-80cl.3	SAT	0
2qbf-5cnf-20var-320cl.8	UNSAT	0
5qbf-5cnf-80var-320cl.6	SAT	0
3qbf-5cnf-40var-640cl.6	UNSAT	0
ncf_8_16_4_euad.5	UNSAT	0
5qbf-5cnf-20var-640cl.1	UNSAT	0
2qbf-5cnf-20var-40cl.0	SAT	0
4qbf-5cnf-80var-160cl.3	SAT	0
6qbf-5cnf-20var-320cl.7	UNSAT	0
ncf_4_8_4_u.6	SAT	0
2qbf-5cnf-20var-40cl.1	SAT	0
4qbf-5cnf-40var-80cl.0	SAT	0
6qbf-5cnf-80var-640cl.2	SAT	0
impl04	SAT	0
3qbf-5cnf-20var-80cl.0	SAT	0
4qbf-5cnf-40var-160cl.1	SAT	0
4qbf-5cnf-40var-160cl.2	SAT	0
5qbf-5cnf-40var-80cl.5	SAT	0
4qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-80var-1280cl.9	UNSAT	0
4qbf-5cnf-40var-160cl.8	SAT	0
ncf_8_16_4_edau.5	UNSAT	0
3qbf-5cnf-80var-320cl.0	SAT	0
3qbf-5cnf-20var-40cl.4	SAT	0
5qbf-5cnf-20var-640cl.8	UNSAT	0
6qbf-5cnf-20var-40cl.7	SAT	0
ncf_4_8_4_u.9	SAT	0
5qbf-5cnf-80var-320cl.7	SAT	0
4qbf-5cnf-20var-640cl.1	UNSAT	0
4qbf-5cnf-20var-320cl.8	UNSAT	0
lut4_XOR_f1	SAT	0
3qbf-5cnf-80var-160cl.4	SAT	0
4qbf-5cnf-160var-640cl.0	SAT	0
3qbf-5cnf-20var-80cl.1	SAT	0
6qbf-5cnf-40var-640cl.0	UNSAT	0
s641_d4_s	FAIL	0
3qbf-5cnf-20var-160cl.7	SAT	0
3qbf-5cnf-20var-80cl.9	SAT	0
4qbf-5cnf-20var-640cl.7	UNSAT	0
toilet_c_08_10.2	SAT	0
6qbf-5cnf-20var-80cl.7	SAT	0
counter_r_2	SAT	0
5qbf-5cnf-80var-320cl.5	SAT	0
5qbf-5cnf-40var-160cl.3	SAT	0
ncf_4_8_4_edau.6	SAT	0
6qbf-5cnf-20var-320cl.0	UNSAT	0
3qbf-5cnf-40var-80cl.7	SAT	0
5qbf-5cnf-40var-80cl.4	SAT	0
4qbf-5cnf-40var-80cl.3	SAT	0
6qbf-5cnf-20var-320cl.6	UNSAT	0
5qbf-5cnf-160var-640cl.9	SAT	0
5qbf-5cnf-20var-320cl.0	UNSAT	0
2qbf-5cnf-20var-640cl.9	UNSAT	0
2qbf-5cnf-160var-320cl.9	SAT	0
4qbf-5cnf-40var-640cl.4	UNSAT	0
4qbf-5cnf-20var-640cl.5	UNSAT	0
5qbf-5cnf-20var-160cl.4	SAT	0
tree-exa2-15	UNSAT	0
3qbf-5cnf-20var-80cl.5	SAT	0
5qbf-5cnf-80var-160cl.1	SAT	0
3qbf-5cnf-40var-640cl.3	UNSAT	0
4qbf-5cnf-20var-320cl.4	UNSAT	0
4qbf-5cnf-20var-80cl.9	SAT	0
4qbf-5cnf-80var-320cl.6	SAT	0
4qbf-5cnf-20var-640cl.6	UNSAT	0
5qbf-5cnf-40var-80cl.9	SAT	0
4qbf-5cnf-20var-320cl.1	UNSAT	0
2qbf-5cnf-20var-640cl.3	UNSAT	0
4qbf-5cnf-20var-40cl.0	SAT	0
ncf_16_32_2_edau.9	UNSAT	0
6qbf-5cnf-40var-80cl.9	SAT	0
ncf_4_8_2_edau.4	UNSAT	0
5qbf-5cnf-20var-40cl.2	SAT	0
3qbf-5cnf-40var-1280cl.3	UNSAT	0
5qbf-5cnf-40var-640cl.3	UNSAT	0
4qbf-5cnf-80var-160cl.1	SAT	0
3qbf-5cnf-40var-80cl.8	SAT	0
4qbf-5cnf-40var-640cl.2	UNSAT	0
3qbf-5cnf-40var-160cl.6	SAT	0
3qbf-5cnf-40var-160cl.8	SAT	0
ncf_8_16_4_edau.10	SAT	0
3qbf-5cnf-20var-80cl.7	SAT	0
toilet_c_10_01.2	UNSAT	0
5qbf-5cnf-20var-80cl.1	SAT	0
2qbf-5cnf-20var-320cl.2	UNSAT	0
3qbf-5cnf-20var-640cl.3	UNSAT	0
5qbf-5cnf-20var-640cl.3	UNSAT	0
5qbf-5cnf-80var-320cl.0	SAT	0
horn_400CNF1840_2aQBF_547	SAT	0
mutex-2-s	SAT	0
5qbf-5cnf-80var-640cl.4	SAT	0
6qbf-5cnf-40var-80cl.2	SAT	0
tree-exa10-10	SAT	0
ncf_8_16_2_u.1	SAT	0
ncf_8_16_2_euad.4	SAT	0
ncf_4_16_2_u.6	SAT	0
6qbf-5cnf-80var-160cl.1	SAT	0
2qbf-5cnf-20var-80cl.4	SAT	0
6qbf-5cnf-20var-80cl.4	SAT	0
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0
2qbf-5cnf-20var-80cl.5	SAT	0
3qbf-5cnf-20var-320cl.1	UNSAT	0
6qbf-5cnf-80var-320cl.0	SAT	0
2qbf-5cnf-20var-160cl.3	UNSAT	0
2qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-20var-320cl.5	UNSAT	0
4qbf-5cnf-40var-160cl.4	SAT	0
6qbf-5cnf-20var-640cl.6	UNSAT	0
6qbf-5cnf-20var-80cl.2	SAT	0
2qbf-5cnf-40var-640cl.2	UNSAT	0
4qbf-5cnf-40var-640cl.7	UNSAT	0
3qbf-5cnf-20var-320cl.6	UNSAT	0
5qbf-5cnf-40var-640cl.9	UNSAT	0
5qbf-5cnf-160var-640cl.6	SAT	0
3qbf-5cnf-40var-640cl.7	UNSAT	0
4qbf-5cnf-20var-80cl.6	SAT	0
3qbf-5cnf-80var-320cl.3	SAT	0
3qbf-5cnf-20var-40cl.8	SAT	0
4qbf-5cnf-40var-80cl.4	SAT	0
6qbf-5cnf-20var-640cl.2	UNSAT	0
6qbf-5cnf-20var-640cl.8	UNSAT	0
6qbf-5cnf-20var-640cl.9	UNSAT	0
6qbf-5cnf-80var-320cl.4	SAT	0
3qbf-5cnf-80var-160cl.6	SAT	0
6qbf-5cnf-20var-160cl.9	SAT	0
3qbf-5cnf-40var-160cl.2	SAT	0
4qbf-5cnf-80var-160cl.0	SAT	0
6qbf-5cnf-160var-640cl.9	SAT	0
ncf_8_16_4_u.5	UNSAT	0
5qbf-5cnf-20var-40cl.6	SAT	0
3qbf-5cnf-40var-640cl.2	UNSAT	0
6qbf-5cnf-20var-320cl.3	UNSAT	0
4qbf-5cnf-40var-160cl.5	SAT	0
3qbf-5cnf-20var-80cl.2	SAT	0
5qbf-5cnf-20var-320cl.6	UNSAT	0
mutex-16-s	SAT	0
2qbf-5cnf-160var-320cl.1	SAT	0
5qbf-5cnf-20var-160cl.1	SAT	0
6qbf-5cnf-20var-80cl.6	SAT	0
4qbf-5cnf-40var-640cl.3	UNSAT	0
3qbf-5cnf-160var-320cl.2	SAT	0
5qbf-5cnf-80var-160cl.4	SAT	0
3qbf-5cnf-80var-1280cl.2	UNSAT	0
6qbf-5cnf-40var-80cl.4	SAT	0
3qbf-5cnf-20var-80cl.8	SAT	0
3qbf-5cnf-20var-40cl.0	SAT	0
4qbf-5cnf-20var-320cl.6	UNSAT	0
5qbf-5cnf-40var-160cl.2	SAT	0
4qbf-5cnf-80var-1280cl.1	UNSAT	0
5qbf-5cnf-20var-80cl.0	SAT	0
ncf_8_16_2_u.7	SAT	0
5qbf-5cnf-160var-640cl.2	SAT	0
5qbf-5cnf-20var-40cl.4	SAT	0
5qbf-5cnf-20var-80cl.3	SAT	0
4qbf-5cnf-20var-640cl.9	UNSAT	0
4qbf-5cnf-80var-160cl.5	SAT	0
6qbf-5cnf-80var-640cl.3	SAT	0
5qbf-5cnf-160var-640cl.0	SAT	0
s27_d2_s	SAT	0
2qbf-5cnf-80var-160cl.0	SAT	0
4qbf-5cnf-40var-1280cl.4	UNSAT	0
ncf_16_32_2_d.6	SAT	0
4qbf-5cnf-20var-80cl.0	SAT	0
4qbf-5cnf-40var-1280cl.5	UNSAT	0
2qbf-5cnf-80var-160cl.3	SAT	0
5qbf-5cnf-40var-1280cl.4	UNSAT	0
5qbf-5cnf-20var-80cl.5	SAT	0
4qbf-5cnf-160var-640cl.3	SAT	0
4qbf-5cnf-20var-40cl.1	SAT	0
5qbf-5cnf-40var-160cl.5	SAT	0
6qbf-5cnf-40var-640cl.3	UNSAT	0
3qbf-5cnf-20var-160cl.5	SAT	0
3qbf-5cnf-20var-160cl.6	SAT	0
2qbf-5cnf-40var-1280cl.0	UNSAT	0
3qbf-5cnf-20var-40cl.7	SAT	0
5qbf-5cnf-20var-160cl.0	SAT	0
2qbf-5cnf-40var-640cl.6	UNSAT	0
5qbf-5cnf-80var-160cl.0	SAT	0
3qbf-5cnf-40var-160cl.3	SAT	0
5qbf-5cnf-80var-160cl.2	SAT	0
4qbf-5cnf-40var-320cl.3	UNSAT	0
3qbf-5cnf-20var-80cl.6	SAT	0
6qbf-5cnf-160var-640cl.6	SAT	0
2qbf-5cnf-40var-320cl.7	UNSAT	0
6qbf-5cnf-40var-640cl.2	UNSAT	0
5qbf-5cnf-80var-160cl.8	SAT	0
4qbf-5cnf-20var-80cl.7	SAT	0
4qbf-5cnf-20var-320cl.0	UNSAT	0
3qbf-5cnf-20var-40cl.9	SAT	0
6qbf-5cnf-160var-640cl.4	SAT	0
ncf_4_8_2_d.6	SAT	0
6qbf-5cnf-160var-640cl.7	SAT	0
5qbf-5cnf-80var-640cl.2	SAT	0
5qbf-5cnf-160var-320cl.0	SAT	0
3qbf-5cnf-20var-160cl.1	SAT	0
3qbf-5cnf-40var-80cl.2	SAT	0
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0
4qbf-5cnf-40var-80cl.2	SAT	0
5qbf-5cnf-40var-640cl.6	UNSAT	0
4qbf-5cnf-20var-640cl.0	UNSAT	0
6qbf-5cnf-160var-640cl.1	SAT	0
ncf_8_16_2_edau.9	UNSAT	0
2qbf-5cnf-20var-40cl.7	SAT	0
4qbf-5cnf-160var-640cl.6	SAT	0
4qbf-5cnf-40var-80cl.1	SAT	0
4qbf-5cnf-20var-40cl.9	SAT	0
3qbf-5cnf-160var-640cl.6	SAT	0
ncf_8_16_4_u.10	SAT	0
2qbf-5cnf-80var-160cl.8	SAT	0
2qbf-5cnf-40var-320cl.6	UNSAT	0
2qbf-5cnf-160var-320cl.4	SAT	0
2qbf-5cnf-20var-640cl.8	UNSAT	0
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0
5qbf-5cnf-20var-640cl.5	UNSAT	0
5qbf-5cnf-20var-160cl.2	SAT	0
k_lin_p-4	UNSAT	0
6qbf-5cnf-40var-80cl.0	SAT	0
3qbf-5cnf-40var-80cl.4	SAT	0
5qbf-5cnf-40var-160cl.6	SAT	0
2qbf-5cnf-80var-320cl.9	UNSAT	0
3qbf-5cnf-40var-80cl.1	SAT	0
5qbf-5cnf-20var-80cl.6	SAT	0
3qbf-5cnf-20var-40cl.6	SAT	0
2qbf-5cnf-20var-320cl.9	UNSAT	0
ncf_16_32_2_d.9	UNSAT	0
5qbf-5cnf-160var-320cl.4	SAT	0
TOILET2.1.iv.4	SAT	0
ncf_8_16_2_d.4	SAT	0
6qbf-5cnf-20var-320cl.4	UNSAT	0
ncf_8_16_2_euad.7	SAT	0
5qbf-5cnf-40var-80cl.3	SAT	0
2qbf-5cnf-160var-320cl.6	SAT	0
counter_2	SAT	0
5qbf-5cnf-80var-320cl.2	SAT	0
2qbf-5cnf-20var-160cl.1	UNSAT	0
6qbf-5cnf-40var-80cl.5	SAT	0
5qbf-5cnf-20var-320cl.4	UNSAT	0
4qbf-5cnf-80var-320cl.8	SAT	0
4qbf-5cnf-80var-160cl.2	SAT	0
3qbf-5cnf-20var-80cl.3	SAT	0
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0
2qbf-5cnf-40var-1280cl.1	UNSAT	0
2qbf-5cnf-40var-640cl.7	UNSAT	0
3qbf-5cnf-80var-320cl.2	SAT	0
2qbf-5cnf-20var-40cl.5	SAT	0
3qbf-5cnf-80var-320cl.4	SAT	0
5qbf-5cnf-20var-320cl.5	UNSAT	0
6qbf-5cnf-80var-160cl.8	SAT	0
2qbf-5cnf-20var-320cl.1	UNSAT	0
5qbf-5cnf-80var-1280cl.1	UNSAT	0
3qbf-5cnf-20var-640cl.5	UNSAT	0
2qbf-5cnf-20var-320cl.7	UNSAT	0
3qbf-5cnf-40var-80cl.6	SAT	0
ncf_8_16_2_euad.1	SAT	0
3qbf-5cnf-40var-80cl.0	SAT	0
6qbf-5cnf-80var-160cl.5	SAT	0
3qbf-5cnf-40var-160cl.4	SAT	0
impl06	SAT	0
3qbf-5cnf-20var-640cl.1	UNSAT	0
5qbf-5cnf-160var-320cl.7	SAT	0
6qbf-5cnf-20var-80cl.3	SAT	0
2qbf-5cnf-20var-80cl.7	SAT	0
2qbf-5cnf-20var-80cl.9	SAT	0
4qbf-5cnf-160var-640cl.8	SAT	0
4qbf-5cnf-20var-640cl.2	UNSAT	0
5qbf-5cnf-20var-320cl.8	UNSAT	0
4qbf-5cnf-20var-80cl.2	SAT	0
5qbf-5cnf-20var-160cl.9	SAT	0
4qbf-5cnf-160var-640cl.1	SAT	0
3qbf-5cnf-40var-640cl.1	UNSAT	0
2qbf-5cnf-80var-160cl.1	SAT	0
5qbf-5cnf-20var-40cl.3	SAT	0
mutex-8-s	SAT	0
6qbf-5cnf-40var-160cl.2	SAT	0
6qbf-5cnf-20var-160cl.2	SAT	0
3qbf-5cnf-160var-320cl.7	SAT	0
3qbf-5cnf-40var-640cl.0	UNSAT	0
ncf_4_8_8_d.9	UNSAT	0
ncf_8_16_4_euad.2	UNSAT	0
ncf_16_32_4_d.9	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
ncf_4_8_4_d.6	SAT	0
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0
5qbf-5cnf-40var-640cl.4	UNSAT	0
5qbf-5cnf-40var-640cl.8	UNSAT	0
4qbf-5cnf-20var-640cl.3	UNSAT	0
6qbf-5cnf-20var-40cl.5	SAT	0
toilet_c_08_01.2	UNSAT	0
5qbf-5cnf-20var-160cl.5	SAT	0
4qbf-5cnf-80var-160cl.9	SAT	0
4qbf-5cnf-40var-80cl.6	SAT	0
3qbf-5cnf-160var-640cl.1	SAT	0
5qbf-5cnf-40var-320cl.0	SAT	0
3qbf-5cnf-40var-1280cl.6	UNSAT	0
3qbf-5cnf-40var-320cl.4	SAT	0
5qbf-5cnf-40var-160cl.9	SAT	0
5qbf-5cnf-160var-320cl.9	SAT	0
6qbf-5cnf-20var-40cl.2	SAT	0
2qbf-5cnf-20var-160cl.6	UNSAT	0
2qbf-5cnf-40var-320cl.5	UNSAT	0
ncf_4_8_4_edau.9	SAT	0
ncf_4_8_8_edau.9	UNSAT	0
5qbf-5cnf-20var-40cl.9	SAT	0
2qbf-5cnf-40var-80cl.9	SAT	0
3qbf-5cnf-20var-640cl.8	UNSAT	0
5qbf-5cnf-160var-320cl.6	SAT	0
3qbf-5cnf-80var-2560cl.3	UNSAT	0
3qbf-5cnf-80var-320cl.5	SAT	0
3qbf-5cnf-40var-640cl.4	UNSAT	0
4qbf-5cnf-20var-320cl.5	UNSAT	0
2qbf-5cnf-40var-80cl.3	SAT	0
2qbf-5cnf-40var-320cl.9	UNSAT	0
6qbf-5cnf-20var-160cl.1	SAT	0
6qbf-5cnf-160var-640cl.3	SAT	0
3qbf-5cnf-20var-40cl.5	SAT	0
2qbf-5cnf-40var-80cl.6	SAT	0
3qbf-5cnf-20var-640cl.4	UNSAT	0
6qbf-5cnf-40var-160cl.0	SAT	0
2qbf-5cnf-20var-80cl.8	SAT	0
2qbf-5cnf-20var-320cl.6	UNSAT	0
1qbf-5cnf-20var-160cl.6	SAT	0
5qbf-5cnf-80var-160cl.6	SAT	0
1qbf-5cnf-40var-80cl.4	SAT	0
6qbf-5cnf-20var-40cl.4	SAT	0
1qbf-5cnf-40var-640cl.1	SAT	0
1qbf-5cnf-20var-80cl.4	SAT	0
1qbf-5cnf-40var-80cl.5	SAT	0
1qbf-5cnf-80var-320cl.8	SAT	0
1qbf-5cnf-80var-640cl.5	SAT	0
1qbf-5cnf-40var-320cl.6	SAT	0
1qbf-5cnf-40var-160cl.7	SAT	0
1qbf-5cnf-20var-40cl.6	SAT	0
1qbf-5cnf-40var-80cl.1	SAT	0
1qbf-5cnf-40var-160cl.3	SAT	0
1qbf-5cnf-40var-640cl.5	SAT	0
1qbf-5cnf-80var-640cl.2	SAT	0
1qbf-5cnf-20var-40cl.5	SAT	0
1qbf-5cnf-160var-1280cl.2	SAT	0
6qbf-5cnf-20var-80cl.5	SAT	0
1qbf-5cnf-20var-40cl.7	SAT	0
1qbf-5cnf-80var-640cl.1	SAT	0
1qbf-5cnf-20var-80cl.5	SAT	0
1qbf-5cnf-20var-320cl.6	SAT	0
1qbf-5cnf-160var-640cl.6	SAT	0
1qbf-5cnf-40var-80cl.8	SAT	0
1qbf-5cnf-20var-320cl.3	SAT	0
1qbf-5cnf-40var-640cl.3	SAT	0
1qbf-5cnf-160var-640cl.0	SAT	0
1qbf-5cnf-160var-320cl.5	SAT	0
1qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-20var-40cl.8	SAT	0
1qbf-5cnf-80var-640cl.6	SAT	0
1qbf-5cnf-20var-160cl.5	SAT	0
1qbf-5cnf-160var-640cl.4	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-80var-320cl.4	SAT	0
1qbf-5cnf-20var-320cl.9	SAT	0
1qbf-5cnf-20var-640cl.6	UNSAT	0
1qbf-5cnf-40var-160cl.5	SAT	0
1qbf-5cnf-80var-320cl.2	SAT	0
1qbf-5cnf-160var-640cl.8	SAT	0
1qbf-5cnf-40var-160cl.1	SAT	0
1qbf-5cnf-80var-640cl.9	SAT	0
1qbf-5cnf-40var-320cl.1	SAT	0
1qbf-5cnf-20var-80cl.2	SAT	0
1qbf-5cnf-80var-640cl.0	SAT	0
1qbf-5cnf-160var-320cl.9	SAT	0
1qbf-5cnf-80var-160cl.0	SAT	0
1qbf-5cnf-160var-1280cl.7	SAT	0
1qbf-5cnf-20var-160cl.2	SAT	0
1qbf-5cnf-80var-640cl.4	SAT	0
1qbf-5cnf-40var-320cl.4	SAT	0
1qbf-5cnf-80var-320cl.0	SAT	0
1qbf-5cnf-80var-160cl.8	SAT	0
1qbf-5cnf-160var-320cl.6	SAT	0
1qbf-5cnf-20var-160cl.0	SAT	0
1qbf-5cnf-40var-80cl.9	SAT	0
1qbf-5cnf-80var-160cl.6	SAT	0
1qbf-5cnf-40var-160cl.0	SAT	0
1qbf-5cnf-40var-320cl.7	SAT	0
1qbf-5cnf-160var-640cl.9	SAT	0
1qbf-5cnf-20var-640cl.8	UNSAT	0
1qbf-5cnf-20var-640cl.7	UNSAT	0
1qbf-5cnf-20var-160cl.9	SAT	0
1qbf-5cnf-40var-80cl.2	SAT	0
1qbf-5cnf-40var-320cl.8	SAT	0
1qbf-5cnf-80var-320cl.5	SAT	0
4qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-20var-640cl.1	UNSAT	0
1qbf-5cnf-20var-160cl.4	SAT	0
1qbf-5cnf-40var-320cl.5	SAT	0
1qbf-5cnf-160var-320cl.1	SAT	0
1qbf-5cnf-40var-160cl.8	SAT	0
5qbf-5cnf-40var-80cl.1	SAT	0
1qbf-5cnf-20var-640cl.5	UNSAT	0
1qbf-5cnf-40var-80cl.0	SAT	0
1qbf-5cnf-160var-320cl.0	SAT	0
1qbf-5cnf-20var-40cl.0	SAT	0
1qbf-5cnf-40var-640cl.9	SAT	0
1qbf-5cnf-80var-1280cl.1	SAT	0
6qbf-5cnf-80var-160cl.7	SAT	0
1qbf-5cnf-80var-160cl.1	SAT	0
1qbf-5cnf-20var-80cl.1	SAT	0
1qbf-5cnf-80var-160cl.5	SAT	0
1qbf-5cnf-80var-640cl.8	SAT	0
1qbf-5cnf-20var-80cl.7	SAT	0
1qbf-5cnf-80var-1280cl.2	SAT	0
1qbf-5cnf-80var-640cl.7	SAT	0
4qbf-5cnf-80var-320cl.9	SAT	0.01
3qbf-5cnf-40var-1280cl.5	UNSAT	0.01
ncf_8_16_2_edau.8	UNSAT	0.01
3qbf-5cnf-80var-2560cl.9	UNSAT	0.01
3qbf-5cnf-80var-320cl.1	SAT	0.01
flipflop-3-c	UNSAT	0.01
6qbf-5cnf-20var-40cl.3	SAT	0.01
5qbf-5cnf-40var-1280cl.7	UNSAT	0.01
ncf_4_8_2_edau.10	SAT	0.01
horn_400CNF1440_2aQBF_967	SAT	0.01
2qbf-5cnf-40var-80cl.7	SAT	0.01
5qbf-5cnf-80var-320cl.4	SAT	0.01
5qbf-5cnf-20var-320cl.1	UNSAT	0.01
ncf_8_16_2_u.9	UNSAT	0.01
5qbf-5cnf-40var-1280cl.0	UNSAT	0.01
2qbf-5cnf-40var-640cl.1	UNSAT	0.01
6qbf-5cnf-40var-1280cl.5	UNSAT	0.01
3qbf-5cnf-80var-1280cl.0	UNSAT	0.01
6qbf-5cnf-20var-40cl.0	SAT	0.01
4qbf-5cnf-80var-160cl.7	SAT	0.01
6qbf-5cnf-40var-320cl.5	SAT	0.01
3qbf-5cnf-40var-320cl.0	SAT	0.01
5qbf-5cnf-40var-640cl.2	UNSAT	0.01
ncf_16_32_4_edau.1	SAT	0.01
6qbf-5cnf-20var-640cl.3	UNSAT	0.01
5qbf-5cnf-20var-40cl.0	SAT	0.01
6qbf-5cnf-40var-320cl.6	SAT	0.01
4qbf-5cnf-20var-80cl.4	SAT	0.01
3qbf-5cnf-80var-160cl.2	SAT	0.01
6qbf-5cnf-80var-320cl.8	SAT	0.01
5qbf-5cnf-80var-320cl.1	SAT	0.01
ncf_4_8_2_u.1	UNSAT	0.01
ncf_8_16_2_edau.6	UNSAT	0.01
ncf_4_8_2_edau.6	SAT	0.01
3qbf-5cnf-40var-160cl.5	SAT	0.01
6qbf-5cnf-40var-160cl.6	SAT	0.01
2qbf-5cnf-80var-640cl.6	UNSAT	0.01
6qbf-5cnf-80var-320cl.7	SAT	0.01
4qbf-5cnf-20var-80cl.5	SAT	0.01
5qbf-5cnf-160var-640cl.8	SAT	0.01
2qbf-5cnf-20var-160cl.8	UNSAT	0.01
5qbf-5cnf-80var-640cl.5	SAT	0.01
2qbf-5cnf-40var-320cl.8	UNSAT	0.01
6qbf-5cnf-20var-320cl.5	UNSAT	0.01
2qbf-5cnf-40var-1280cl.6	UNSAT	0.01
3qbf-5cnf-80var-160cl.9	SAT	0.01
5qbf-5cnf-40var-160cl.0	SAT	0.01
6qbf-5cnf-40var-640cl.4	UNSAT	0.01
lut4_3_fAND	FAIL	0.01
5qbf-5cnf-160var-640cl.3	SAT	0.01
5qbf-5cnf-40var-640cl.7	UNSAT	0.01
2qbf-5cnf-20var-80cl.3	SAT	0.01
5qbf-5cnf-40var-320cl.8	SAT	0.01
2qbf-5cnf-40var-80cl.2	SAT	0.01
4qbf-5cnf-20var-40cl.5	SAT	0.01
4qbf-5cnf-160var-640cl.9	SAT	0.01
renHorn_400CNF1880_2aQBF_81	SAT	0.01
horn_400CNF1600_2aQBF_331	SAT	0.01
horn_400CNF1600_2aQBF_73	SAT	0.01
horn_400CNF1680_2aQBF_698	SAT	0.01
2qbf-5cnf-20var-640cl.1	UNSAT	0.01
horn_400CNF1280_2aQBF_755	SAT	0.01
4qbf-5cnf-40var-1280cl.3	UNSAT	0.01
6qbf-5cnf-40var-1280cl.0	UNSAT	0.01
6qbf-5cnf-80var-160cl.2	SAT	0.01
ncf_4_8_2_euad.4	UNSAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
6qbf-5cnf-20var-160cl.8	SAT	0.01
ncf_4_8_2_d.9	SAT	0.01
3qbf-5cnf-160var-2560cl.5	UNSAT	0.01
4qbf-5cnf-40var-640cl.9	UNSAT	0.01
ncf_8_16_4_edau.2	UNSAT	0.01
2qbf-5cnf-20var-80cl.2	SAT	0.01
toilet_c_08_01.4	UNSAT	0.01
6qbf-5cnf-160var-320cl.5	SAT	0.01
ncf_4_8_8_d.1	SAT	0.01
5qbf-5cnf-40var-80cl.6	SAT	0.01
2qbf-5cnf-160var-320cl.0	SAT	0.01
3qbf-5cnf-80var-1280cl.4	UNSAT	0.01
2qbf-5cnf-20var-160cl.5	UNSAT	0.01
flipflop-5-c	UNSAT	0.01
4qbf-5cnf-160var-320cl.1	SAT	0.01
horn_400CNF1600_2aQBF_505	SAT	0.01
4qbf-5cnf-160var-320cl.8	SAT	0.01
6qbf-5cnf-80var-160cl.3	SAT	0.01
3qbf-5cnf-80var-2560cl.0	UNSAT	0.01
5qbf-5cnf-40var-640cl.1	UNSAT	0.01
tree-exa10-25	SAT	0.01
3qbf-5cnf-80var-320cl.7	SAT	0.01
2qbf-5cnf-80var-160cl.7	SAT	0.01
3qbf-5cnf-20var-640cl.2	UNSAT	0.01
5qbf-5cnf-80var-2560cl.3	UNSAT	0.01
4qbf-5cnf-80var-1280cl.3	UNSAT	0.01
ncf_16_64_2_euad.1	SAT	0.01
6qbf-5cnf-20var-80cl.0	SAT	0.01
2qbf-5cnf-20var-640cl.2	UNSAT	0.01
2qbf-5cnf-80var-640cl.4	UNSAT	0.01
3qbf-5cnf-80var-1280cl.5	UNSAT	0.01
4qbf-5cnf-80var-1280cl.6	UNSAT	0.01
5qbf-5cnf-40var-640cl.5	UNSAT	0.01
4qbf-5cnf-40var-1280cl.7	UNSAT	0.01
ncf_16_32_2_u.9	UNSAT	0.01
renHorn_400CNF1400_2aQBF_80	SAT	0.01
renHorn_400CNF1360_2aQBF_96	SAT	0.01
renHorn_400CNF1480_2aQBF_85	UNSAT	0.01
horn_400CNF1360_2aQBF_788	SAT	0.01
5qbf-5cnf-80var-1280cl.9	UNSAT	0.01
3qbf-5cnf-40var-160cl.0	SAT	0.01
ncf_4_8_2_d.1	UNSAT	0.01
3qbf-5cnf-40var-320cl.8	SAT	0.01
mutex-32-s	SAT	0.01
ncf_4_8_2_euad.6	SAT	0.01
3qbf-5cnf-40var-1280cl.0	UNSAT	0.01
3qbf-5cnf-80var-1280cl.7	UNSAT	0.01
4qbf-5cnf-160var-320cl.0	SAT	0.01
3qbf-5cnf-20var-160cl.0	SAT	0.01
4qbf-5cnf-160var-320cl.3	SAT	0.01
ncf_8_16_2_d.9	UNSAT	0.01
2qbf-5cnf-20var-80cl.0	SAT	0.01
5qbf-5cnf-40var-1280cl.9	UNSAT	0.01
ncf_16_32_4_d.1	SAT	0.01
5qbf-5cnf-20var-40cl.7	SAT	0.01
3qbf-5cnf-80var-160cl.8	SAT	0.01
2qbf-5cnf-80var-1280cl.4	UNSAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
4qbf-5cnf-20var-640cl.4	UNSAT	0.01
6qbf-5cnf-40var-320cl.2	SAT	0.01
renHorn_400CNF1200_2aQBF_97	UNSAT	0.01
renHorn_400CNF1280_2aQBF_7	SAT	0.01
4qbf-5cnf-40var-1280cl.9	UNSAT	0.01
3qbf-5cnf-160var-640cl.0	SAT	0.01
toilet_c_08_01.8	UNSAT	0.01
5qbf-5cnf-80var-320cl.9	SAT	0.01
5qbf-5cnf-160var-640cl.4	SAT	0.01
toilet_c_08_01.16	SAT	0.01
3qbf-5cnf-20var-320cl.8	UNSAT	0.01
5qbf-5cnf-40var-80cl.0	SAT	0.01
3qbf-5cnf-160var-320cl.5	SAT	0.01
5qbf-5cnf-80var-1280cl.4	UNSAT	0.01
6qbf-5cnf-40var-1280cl.6	UNSAT	0.01
2qbf-5cnf-20var-40cl.6	SAT	0.01
2qbf-5cnf-20var-640cl.6	UNSAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
renHorn_400CNF1560_2aQBF_47	SAT	0.01
horn_400CNF2000_2aQBF_702	SAT	0.01
6qbf-5cnf-80var-320cl.9	SAT	0.01
2qbf-5cnf-80var-2560cl.4	UNSAT	0.01
3qbf-5cnf-160var-320cl.1	SAT	0.01
6qbf-5cnf-40var-160cl.8	SAT	0.01
6qbf-5cnf-80var-640cl.1	SAT	0.01
4qbf-5cnf-80var-320cl.2	SAT	0.01
3qbf-5cnf-20var-320cl.0	UNSAT	0.01
2qbf-5cnf-40var-80cl.1	SAT	0.01
2qbf-5cnf-80var-1280cl.7	UNSAT	0.01
tree-exa2-10	UNSAT	0.01
3qbf-5cnf-40var-640cl.8	UNSAT	0.01
ncf_8_16_2_u.2	UNSAT	0.01
4qbf-5cnf-40var-640cl.5	UNSAT	0.01
2qbf-5cnf-80var-1280cl.5	UNSAT	0.01
3qbf-5cnf-160var-5120cl.2	UNSAT	0.01
ncf_16_32_4_u.9	SAT	0.01
3qbf-5cnf-80var-2560cl.5	UNSAT	0.01
5qbf-5cnf-80var-2560cl.1	UNSAT	0.01
6qbf-5cnf-20var-160cl.0	SAT	0.01
2qbf-5cnf-40var-640cl.9	UNSAT	0.01
ncf_8_16_2_u.8	UNSAT	0.01
k_ph_p-4	UNSAT	0.01
2qbf-5cnf-160var-320cl.7	SAT	0.01
2qbf-5cnf-40var-80cl.5	SAT	0.01
3qbf-5cnf-80var-2560cl.7	UNSAT	0.01
5qbf-5cnf-40var-80cl.2	SAT	0.01
3qbf-5cnf-20var-320cl.2	UNSAT	0.01
ncf_4_8_2_d.5	SAT	0.01
ncf_8_16_4_euad.10	SAT	0.01
k_lin_p-8	UNSAT	0.01
4qbf-5cnf-20var-320cl.2	UNSAT	0.01
6qbf-5cnf-80var-320cl.3	SAT	0.01
6qbf-5cnf-40var-1280cl.3	UNSAT	0.01
tree-exa2-20	UNSAT	0.01
5qbf-5cnf-20var-160cl.3	SAT	0.01
2qbf-5cnf-20var-320cl.3	UNSAT	0.01
2qbf-5cnf-80var-1280cl.0	UNSAT	0.01
3qbf-5cnf-20var-160cl.4	SAT	0.01
2qbf-5cnf-80var-1280cl.3	UNSAT	0.01
5qbf-5cnf-20var-160cl.7	SAT	0.01
4qbf-5cnf-80var-2560cl.6	UNSAT	0.01
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.01
renHorn_400CNF1360_2aQBF_22	SAT	0.01
5qbf-5cnf-40var-320cl.2	SAT	0.01
renHorn_400CNF2040_2aQBF_86	SAT	0.01
horn_400CNF1440_2aQBF_553	SAT	0.01
5qbf-5cnf-80var-1280cl.6	UNSAT	0.01
horn_400CNF1520_2aQBF_382	SAT	0.01
horn_400CNF1520_2aQBF_760	SAT	0.01
horn_400CNF1520_2aQBF_995	SAT	0.01
5qbf-5cnf-20var-640cl.7	UNSAT	0.01
5qbf-5cnf-20var-640cl.0	UNSAT	0.01
horn_400CNF2080_2aQBF_840	SAT	0.01
6qbf-5cnf-20var-80cl.8	SAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
2qbf-5cnf-40var-1280cl.8	UNSAT	0.01
renHorn_400CNF1480_2aQBF_62	SAT	0.01
horn_400CNF1440_2aQBF_642	SAT	0.01
ncf_8_16_2_d.7	SAT	0.01
5qbf-5cnf-40var-1280cl.3	UNSAT	0.01
renHorn_400CNF1800_2aQBF_5	SAT	0.01
5qbf-5cnf-80var-2560cl.7	UNSAT	0.01
6qbf-5cnf-20var-160cl.5	SAT	0.01
5qbf-5cnf-40var-160cl.4	SAT	0.01
4qbf-5cnf-40var-160cl.3	SAT	0.01
6qbf-5cnf-20var-40cl.8	SAT	0.01
ncf_8_16_2_edau.7	SAT	0.01
4qbf-5cnf-80var-2560cl.8	UNSAT	0.01
2qbf-5cnf-40var-80cl.0	SAT	0.01
4qbf-5cnf-20var-320cl.9	UNSAT	0.01
5qbf-5cnf-40var-80cl.7	SAT	0.01
3qbf-5cnf-40var-640cl.9	UNSAT	0.01
3qbf-5cnf-80var-2560cl.1	UNSAT	0.01
5qbf-5cnf-80var-160cl.5	SAT	0.01
6qbf-5cnf-20var-640cl.1	UNSAT	0.01
5qbf-5cnf-20var-640cl.2	UNSAT	0.01
2qbf-5cnf-20var-640cl.7	UNSAT	0.01
5qbf-5cnf-160var-320cl.3	SAT	0.01
5qbf-5cnf-20var-80cl.8	SAT	0.01
4qbf-5cnf-80var-1280cl.0	UNSAT	0.01
ncf_4_8_2_d.2	SAT	0.01
4qbf-5cnf-20var-80cl.1	SAT	0.01
2qbf-5cnf-20var-640cl.5	UNSAT	0.01
6qbf-5cnf-160var-1280cl.9	SAT	0.01
6qbf-5cnf-80var-1280cl.0	UNSAT	0.01
ncf_4_16_2_euad.6	SAT	0.01
s641_d6_s	FAIL	0.01
2qbf-5cnf-80var-1280cl.2	UNSAT	0.01
6qbf-5cnf-160var-640cl.8	SAT	0.01
6qbf-5cnf-40var-160cl.3	SAT	0.01
2qbf-5cnf-40var-1280cl.4	UNSAT	0.01
2qbf-5cnf-160var-320cl.3	SAT	0.01
4qbf-5cnf-40var-1280cl.0	UNSAT	0.01
horn_400CNF2000_2aQBF_523	SAT	0.01
3qbf-5cnf-20var-640cl.7	UNSAT	0.01
4qbf-5cnf-40var-1280cl.2	UNSAT	0.01
4qbf-5cnf-20var-160cl.3	UNSAT	0.01
2qbf-5cnf-80var-2560cl.5	UNSAT	0.01
3qbf-5cnf-160var-320cl.9	SAT	0.01
2qbf-5cnf-20var-40cl.3	SAT	0.01
ncf_4_16_4_edau.5	SAT	0.01
4qbf-5cnf-40var-80cl.5	SAT	0.01
ncf_4_8_4_edau.2	UNSAT	0.01
ncf_16_32_2_euad.9	UNSAT	0.01
5qbf-5cnf-80var-2560cl.5	UNSAT	0.01
6qbf-5cnf-160var-320cl.8	SAT	0.01
2qbf-5cnf-80var-2560cl.2	UNSAT	0.01
5qbf-5cnf-20var-40cl.8	SAT	0.01
4qbf-5cnf-20var-40cl.6	SAT	0.01
2qbf-5cnf-40var-1280cl.7	UNSAT	0.01
3qbf-5cnf-40var-160cl.1	SAT	0.01
6qbf-5cnf-40var-640cl.6	UNSAT	0.01
flipflop-4-c	UNSAT	0.01
6qbf-5cnf-80var-640cl.9	SAT	0.01
3qbf-5cnf-80var-1280cl.3	UNSAT	0.01
6qbf-5cnf-80var-1280cl.3	UNSAT	0.01
5qbf-5cnf-80var-1280cl.7	UNSAT	0.01
ncf_8_16_2_u.6	UNSAT	0.01
horn_400CNF2000_2aQBF_577	SAT	0.01
2qbf-5cnf-20var-320cl.5	UNSAT	0.01
horn_400CNF1920_2aQBF_314	SAT	0.01
4qbf-5cnf-40var-80cl.8	SAT	0.01
horn_400CNF1920_2aQBF_970	SAT	0.01
ncf_4_8_4_euad.6	SAT	0.01
2qbf-5cnf-20var-80cl.6	SAT	0.01
4qbf-5cnf-40var-80cl.7	SAT	0.01
6qbf-5cnf-40var-640cl.7	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
4qbf-5cnf-160var-320cl.4	SAT	0.01
6qbf-5cnf-40var-80cl.7	SAT	0.01
3qbf-5cnf-80var-160cl.3	SAT	0.01
ncf_4_8_2_edau.5	SAT	0.01
4qbf-5cnf-160var-640cl.5	SAT	0.01
5qbf-5cnf-40var-1280cl.1	UNSAT	0.01
5qbf-5cnf-160var-320cl.2	SAT	0.01
5qbf-5cnf-40var-1280cl.8	UNSAT	0.01
5qbf-5cnf-40var-320cl.6	SAT	0.01
3qbf-5cnf-160var-640cl.8	SAT	0.01
6qbf-5cnf-20var-40cl.1	SAT	0.01
4qbf-5cnf-160var-320cl.2	SAT	0.01
5qbf-5cnf-20var-640cl.6	UNSAT	0.01
6qbf-5cnf-160var-320cl.4	SAT	0.01
ncf_4_8_2_u.5	SAT	0.01
3qbf-5cnf-40var-1280cl.9	UNSAT	0.01
5qbf-5cnf-80var-1280cl.3	UNSAT	0.01
6qbf-5cnf-80var-160cl.0	SAT	0.01
4qbf-5cnf-80var-320cl.3	SAT	0.01
5qbf-5cnf-80var-1280cl.5	UNSAT	0.01
6qbf-5cnf-40var-160cl.4	SAT	0.01
4qbf-5cnf-80var-160cl.4	SAT	0.01
2qbf-5cnf-40var-320cl.0	UNSAT	0.01
6qbf-5cnf-80var-640cl.7	SAT	0.01
3qbf-5cnf-40var-1280cl.2	UNSAT	0.01
3qbf-5cnf-80var-2560cl.2	UNSAT	0.01
2qbf-5cnf-20var-160cl.9	UNSAT	0.01
4qbf-5cnf-160var-320cl.5	SAT	0.01
6qbf-5cnf-80var-160cl.9	SAT	0.01
k_poly_p-16	UNSAT	0.01
5qbf-5cnf-40var-320cl.9	SAT	0.01
4qbf-5cnf-40var-640cl.0	UNSAT	0.01
6qbf-5cnf-40var-1280cl.9	UNSAT	0.01
6qbf-5cnf-40var-160cl.9	SAT	0.01
3qbf-5cnf-20var-40cl.3	SAT	0.01
3qbf-5cnf-20var-320cl.3	UNSAT	0.01
6qbf-5cnf-80var-1280cl.5	UNSAT	0.01
3qbf-5cnf-80var-320cl.8	SAT	0.01
4qbf-5cnf-40var-160cl.0	SAT	0.01
ncf_4_8_4_d.9	SAT	0.01
5qbf-5cnf-80var-640cl.3	SAT	0.01
5qbf-5cnf-40var-320cl.5	SAT	0.01
2qbf-5cnf-40var-160cl.7	UNSAT	0.01
ncf_4_8_8_euad.9	UNSAT	0.01
ncf_4_16_4_euad.5	SAT	0.01
ncf_4_8_4_euad.2	UNSAT	0.01
5qbf-5cnf-40var-160cl.8	SAT	0.01
6qbf-5cnf-160var-1280cl.1	SAT	0.01
renHorn_400CNF1280_2aQBF_62	SAT	0.01
5qbf-5cnf-80var-2560cl.4	UNSAT	0.01
ncf_16_32_4_u.1	SAT	0.01
renHorn_400CNF1640_2aQBF_38	SAT	0.01
renHorn_400CNF1720_2aQBF_11	SAT	0.01
6qbf-5cnf-40var-1280cl.2	UNSAT	0.01
4qbf-5cnf-20var-40cl.4	SAT	0.01
2qbf-5cnf-40var-1280cl.9	UNSAT	0.01
ncf_4_32_2_edau.2	SAT	0.01
4qbf-5cnf-160var-320cl.6	SAT	0.01
4qbf-5cnf-20var-160cl.8	UNSAT	0.01
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
3qbf-5cnf-20var-160cl.3	SAT	0.01
6qbf-5cnf-160var-320cl.3	SAT	0.01
ncf_16_32_4_edau.9	SAT	0.01
2qbf-5cnf-20var-160cl.2	UNSAT	0.01
horn_400CNF1760_2aQBF_711	SAT	0.01
toilet_a_08_01.2	UNSAT	0.01
2qbf-5cnf-40var-1280cl.2	UNSAT	0.01
horn_400CNF1840_2aQBF_198	SAT	0.01
2qbf-5cnf-40var-80cl.4	SAT	0.01
6qbf-5cnf-160var-640cl.5	SAT	0.01
4qbf-5cnf-80var-160cl.8	SAT	0.01
renHorn_400CNF1640_2aQBF_18	SAT	0.01
5qbf-5cnf-40var-1280cl.2	UNSAT	0.01
6qbf-5cnf-40var-320cl.8	SAT	0.01
6qbf-5cnf-40var-80cl.8	SAT	0.01
horn_400CNF2080_2aQBF_176	SAT	0.01
4qbf-5cnf-40var-640cl.8	UNSAT	0.01
impl02	SAT	0.01
6qbf-5cnf-80var-640cl.4	SAT	0.01
ncf_8_16_2_d.8	UNSAT	0.01
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.01
6qbf-5cnf-40var-80cl.6	SAT	0.01
Adder2-2-c	UNSAT	0.01
6qbf-5cnf-160var-320cl.2	SAT	0.01
3qbf-5cnf-20var-320cl.4	UNSAT	0.01
2qbf-5cnf-20var-160cl.7	UNSAT	0.01
ncf_4_8_2_edau.2	SAT	0.01
4qbf-5cnf-80var-1280cl.4	UNSAT	0.01
2qbf-5cnf-40var-640cl.3	UNSAT	0.01
horn_400CNF1680_2aQBF_547	SAT	0.01
3qbf-5cnf-160var-320cl.4	SAT	0.01
6qbf-5cnf-40var-1280cl.4	UNSAT	0.01
2qbf-5cnf-80var-160cl.9	SAT	0.01
renHorn_400CNF2120_2aQBF_88	SAT	0.01
2qbf-5cnf-80var-2560cl.8	UNSAT	0.01
ncf_8_16_2_euad.2	UNSAT	0.01
2qbf-5cnf-40var-320cl.1	UNSAT	0.01
6qbf-5cnf-160var-640cl.0	SAT	0.01
renHorn_400CNF1720_2aQBF_71	SAT	0.01
3qbf-5cnf-20var-320cl.7	UNSAT	0.01
4qbf-5cnf-40var-80cl.9	SAT	0.01
ncf_4_8_2_euad.5	SAT	0.01
3qbf-5cnf-80var-2560cl.4	UNSAT	0.01
renHorn_400CNF2280_2aQBF_13	SAT	0.01
6qbf-5cnf-20var-80cl.1	SAT	0.01
6qbf-5cnf-80var-1280cl.4	UNSAT	0.01
3qbf-5cnf-40var-80cl.5	SAT	0.01
2qbf-5cnf-20var-160cl.4	UNSAT	0.01
4qbf-5cnf-20var-320cl.7	UNSAT	0.01
2qbf-5cnf-20var-40cl.8	SAT	0.01
4qbf-5cnf-160var-640cl.7	SAT	0.01
6qbf-5cnf-20var-80cl.9	SAT	0.01
5qbf-5cnf-20var-80cl.7	SAT	0.01
ncf_4_8_2_d.4	UNSAT	0.01
5qbf-5cnf-20var-40cl.1	SAT	0.01
4qbf-5cnf-80var-1280cl.2	UNSAT	0.01
5qbf-5cnf-40var-320cl.7	SAT	0.01
2qbf-5cnf-40var-640cl.0	UNSAT	0.01
5qbf-5cnf-160var-2560cl.2	UNSAT	0.01
4qbf-5cnf-40var-640cl.6	UNSAT	0.01
ncf_4_8_2_u.6	SAT	0.01
5qbf-5cnf-20var-640cl.9	UNSAT	0.01
6qbf-5cnf-80var-1280cl.9	UNSAT	0.01
2qbf-5cnf-20var-40cl.4	SAT	0.01
6qbf-5cnf-20var-160cl.6	SAT	0.01
ncf_8_16_2_u.3	UNSAT	0.01
3qbf-5cnf-20var-160cl.8	SAT	0.01
3qbf-5cnf-80var-2560cl.8	UNSAT	0.01
ncf_8_16_2_u.4	SAT	0.01
ncf_16_32_2_edau.8	UNSAT	0.01
3qbf-5cnf-20var-40cl.1	SAT	0.01
5qbf-5cnf-80var-160cl.9	SAT	0.01
k_poly_p-8	UNSAT	0.01
4qbf-5cnf-160var-640cl.2	SAT	0.01
2qbf-5cnf-80var-1280cl.8	UNSAT	0.01
6qbf-5cnf-80var-320cl.5	SAT	0.01
4qbf-5cnf-80var-1280cl.8	UNSAT	0.01
2qbf-5cnf-40var-80cl.8	SAT	0.01
6qbf-5cnf-80var-2560cl.2	UNSAT	0.01
5qbf-5cnf-40var-320cl.3	SAT	0.01
toilet_c_10_01.4	UNSAT	0.01
4qbf-5cnf-80var-320cl.4	SAT	0.01
5qbf-5cnf-160var-320cl.1	SAT	0.01
2qbf-5cnf-40var-1280cl.5	UNSAT	0.01
ncf_8_16_4_d.2	UNSAT	0.01
2qbf-5cnf-80var-640cl.9	UNSAT	0.01
5qbf-5cnf-80var-2560cl.8	UNSAT	0.01
ncf_8_16_2_edau.1	SAT	0.01
3qbf-5cnf-20var-160cl.2	SAT	0.01
5qbf-5cnf-160var-640cl.7	SAT	0.01
5qbf-5cnf-40var-1280cl.5	UNSAT	0.01
2qbf-5cnf-80var-160cl.4	SAT	0.01
2qbf-5cnf-80var-1280cl.1	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
renHorn_400CNF1880_2aQBF_19	SAT	0.01
4qbf-5cnf-20var-80cl.3	SAT	0.01
4qbf-5cnf-80var-1280cl.9	UNSAT	0.01
tree-exa10-20	SAT	0.01
5qbf-5cnf-160var-640cl.5	SAT	0.01
3qbf-5cnf-80var-160cl.5	SAT	0.01
s641_d7_u	FAIL	0.01
ncf_4_8_2_euad.10	SAT	0.01
3qbf-5cnf-160var-640cl.5	SAT	0.01
horn_400CNF1520_2aQBF_702	SAT	0.01
ncf_4_8_2_u.2	SAT	0.01
4qbf-5cnf-20var-40cl.7	SAT	0.01
2qbf-5cnf-80var-1280cl.9	UNSAT	0.01
2qbf-5cnf-40var-320cl.3	UNSAT	0.01
6qbf-5cnf-160var-320cl.7	SAT	0.01
ncf_16_32_4_euad.1	SAT	0.01
6qbf-5cnf-20var-320cl.1	UNSAT	0.01
5qbf-5cnf-20var-640cl.4	UNSAT	0.01
2qbf-5cnf-40var-1280cl.3	UNSAT	0.01
3qbf-5cnf-160var-320cl.3	SAT	0.01
6qbf-5cnf-40var-1280cl.7	UNSAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
3qbf-5cnf-40var-1280cl.7	UNSAT	0.01
k_poly_p-20	UNSAT	0.01
3qbf-5cnf-20var-640cl.0	UNSAT	0.01
6qbf-5cnf-40var-1280cl.8	UNSAT	0.01
TOILET2.1.iv.3	UNSAT	0.01
renHorn_400CNF1640_2aQBF_53	SAT	0.01
5qbf-5cnf-40var-640cl.0	UNSAT	0.01
6qbf-5cnf-20var-160cl.7	SAT	0.01
4qbf-5cnf-160var-320cl.9	SAT	0.01
2qbf-5cnf-40var-640cl.8	UNSAT	0.01
3qbf-5cnf-160var-320cl.8	SAT	0.01
renHorn_400CNF1480_2aQBF_98	SAT	0.01
3qbf-5cnf-20var-80cl.4	SAT	0.01
3qbf-5cnf-160var-640cl.4	SAT	0.01
2qbf-5cnf-80var-640cl.3	UNSAT	0.01
2qbf-5cnf-40var-640cl.4	UNSAT	0.01
5qbf-5cnf-80var-320cl.8	SAT	0.01
ncf_4_8_4_u.2	UNSAT	0.01
renHorn_400CNF1560_2aQBF_72	SAT	0.01
4qbf-5cnf-20var-160cl.2	SAT	0.01
ncf_4_8_2_u.10	SAT	0.01
4qbf-5cnf-40var-1280cl.1	UNSAT	0.01
4qbf-5cnf-160var-320cl.7	SAT	0.01
k_poly_p-4	UNSAT	0.01
horn_400CNF1440_2aQBF_737	SAT	0.01
6qbf-5cnf-80var-1280cl.8	UNSAT	0.01
1qbf-5cnf-40var-640cl.6	SAT	0.01
1qbf-5cnf-20var-640cl.0	UNSAT	0.01
1qbf-5cnf-20var-320cl.2	SAT	0.01
1qbf-5cnf-40var-320cl.9	SAT	0.01
1qbf-5cnf-80var-320cl.6	SAT	0.01
1qbf-5cnf-40var-80cl.7	SAT	0.01
1qbf-5cnf-80var-160cl.3	SAT	0.01
1qbf-5cnf-20var-320cl.8	SAT	0.01
1qbf-5cnf-20var-80cl.8	SAT	0.01
1qbf-5cnf-40var-160cl.4	SAT	0.01
1qbf-5cnf-160var-640cl.5	SAT	0.01
1qbf-5cnf-20var-160cl.8	SAT	0.01
1qbf-5cnf-20var-320cl.1	SAT	0.01
1qbf-5cnf-20var-80cl.9	SAT	0.01
1qbf-5cnf-80var-1280cl.3	SAT	0.01
1qbf-5cnf-80var-320cl.9	SAT	0.01
1qbf-5cnf-40var-80cl.3	SAT	0.01
1qbf-5cnf-160var-640cl.2	SAT	0.01
1qbf-5cnf-80var-320cl.7	SAT	0.01
1qbf-5cnf-40var-160cl.9	SAT	0.01
1qbf-5cnf-40var-160cl.2	SAT	0.01
1qbf-5cnf-160var-1280cl.1	SAT	0.01
1qbf-5cnf-160var-320cl.2	SAT	0.01
1qbf-5cnf-20var-640cl.3	UNSAT	0.01
1qbf-5cnf-20var-80cl.6	SAT	0.01
1qbf-5cnf-160var-320cl.7	SAT	0.01
1qbf-5cnf-80var-1280cl.4	SAT	0.01
5qbf-5cnf-80var-160cl.3	SAT	0.01
1qbf-5cnf-20var-320cl.4	SAT	0.01
1qbf-5cnf-20var-640cl.4	UNSAT	0.01
1qbf-5cnf-80var-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-20var-40cl.2	SAT	0.01
1qbf-5cnf-80var-160cl.4	SAT	0.01
1qbf-5cnf-160var-1280cl.9	SAT	0.01
1qbf-5cnf-40var-320cl.0	SAT	0.01
1qbf-5cnf-80var-160cl.7	SAT	0.01
1qbf-5cnf-160var-320cl.8	SAT	0.01
1qbf-5cnf-40var-640cl.7	SAT	0.01
1qbf-5cnf-160var-320cl.3	SAT	0.01
1qbf-5cnf-20var-80cl.0	SAT	0.01
1qbf-5cnf-80var-1280cl.6	SAT	0.01
1qbf-5cnf-160var-2560cl.3	SAT	0.01
1qbf-5cnf-80var-1280cl.0	SAT	0.01
1qbf-5cnf-20var-80cl.3	SAT	0.01
1qbf-5cnf-40var-320cl.2	SAT	0.01
1qbf-5cnf-40var-640cl.8	SAT	0.01
1qbf-5cnf-20var-320cl.5	SAT	0.01
1qbf-5cnf-160var-1280cl.6	SAT	0.01
1qbf-5cnf-160var-640cl.7	SAT	0.01
1qbf-5cnf-20var-40cl.9	SAT	0.01
1qbf-5cnf-80var-160cl.9	SAT	0.01
1qbf-5cnf-20var-320cl.0	SAT	0.01
1qbf-5cnf-160var-1280cl.4	SAT	0.01
1qbf-5cnf-40var-160cl.6	SAT	0.01
1qbf-5cnf-20var-40cl.1	SAT	0.01
1qbf-5cnf-20var-640cl.9	UNSAT	0.01
1qbf-5cnf-160var-640cl.3	SAT	0.01
1qbf-5cnf-20var-640cl.2	UNSAT	0.01
1qbf-5cnf-160var-1280cl.3	SAT	0.01
1qbf-5cnf-160var-1280cl.5	SAT	0.01
1qbf-5cnf-20var-160cl.7	SAT	0.01
1qbf-5cnf-20var-40cl.4	SAT	0.01
1qbf-5cnf-40var-320cl.3	SAT	0.01
1qbf-5cnf-40var-640cl.0	SAT	0.01
1qbf-5cnf-40var-640cl.4	SAT	0.01
1qbf-5cnf-80var-160cl.2	SAT	0.01
1qbf-5cnf-160var-320cl.4	SAT	0.01
1qbf-5cnf-160var-1280cl.0	SAT	0.01
1qbf-5cnf-40var-80cl.6	SAT	0.01
1qbf-5cnf-80var-1280cl.9	SAT	0.01
6qbf-5cnf-80var-2560cl.8	UNSAT	0.02
counter_e_2	SAT	0.02
2qbf-5cnf-80var-2560cl.3	UNSAT	0.02
renHorn_400CNF1200_2aQBF_85	SAT	0.02
2qbf-5cnf-160var-2560cl.6	UNSAT	0.02
3qbf-5cnf-160var-2560cl.3	UNSAT	0.02
3qbf-5cnf-160var-2560cl.8	UNSAT	0.02
6qbf-5cnf-80var-2560cl.5	UNSAT	0.02
renHorn_400CNF1560_2aQBF_28	UNSAT	0.02
2qbf-5cnf-80var-2560cl.7	UNSAT	0.02
5qbf-5cnf-40var-80cl.8	SAT	0.02
3qbf-5cnf-160var-2560cl.0	UNSAT	0.02
4qbf-5cnf-80var-1280cl.7	UNSAT	0.02
ncf_8_16_4_d.10	SAT	0.02
renHorn_400CNF1200_2aQBF_28	UNSAT	0.02
renHorn_400CNF1720_2aQBF_92	SAT	0.02
3qbf-5cnf-160var-2560cl.4	UNSAT	0.02
4qbf-5cnf-20var-160cl.5	UNSAT	0.02
5qbf-5cnf-160var-640cl.1	SAT	0.02
6qbf-5cnf-80var-320cl.1	SAT	0.02
ncf_8_16_2_d.6	UNSAT	0.02
horn_400CNF1440_2aQBF_165	UNSAT	0.02
horn_400CNF1440_2aQBF_668	UNSAT	0.02
horn_400CNF1520_2aQBF_165	UNSAT	0.02
horn_400CNF1600_2aQBF_103	SAT	0.02
4qbf-5cnf-80var-1280cl.5	UNSAT	0.02
ncf_8_16_2_euad.9	UNSAT	0.02
horn_400CNF2160_2aQBF_701	SAT	0.02
2qbf-5cnf-160var-2560cl.5	UNSAT	0.02
ncf_16_64_2_u.1	SAT	0.02
horn_400CNF1280_2aQBF_389	UNSAT	0.02
horn_400CNF2320_2aQBF_132	SAT	0.02
renHorn_400CNF2040_2aQBF_11	SAT	0.02
horn_400CNF2000_2aQBF_987	SAT	0.02
horn_400CNF2320_2aQBF_813	SAT	0.02
szymanski-4-s	UNSAT	0.02
3qbf-5cnf-80var-2560cl.6	UNSAT	0.02
k_ph_n-4	SAT	0.02
renHorn_400CNF1280_2aQBF_3	SAT	0.02
horn_400CNF1600_2aQBF_956	SAT	0.02
renHorn_400CNF2280_2aQBF_95	SAT	0.02
horn_400CNF2080_2aQBF_899	SAT	0.02
4qbf-5cnf-160var-2560cl.8	UNSAT	0.02
renHorn_400CNF1560_2aQBF_96	SAT	0.02
2qbf-5cnf-40var-160cl.3	SAT	0.02
6qbf-5cnf-80var-1280cl.1	UNSAT	0.02
horn_400CNF1520_2aQBF_116	SAT	0.02
renHorn_400CNF2200_2aQBF_22	SAT	0.02
5qbf-5cnf-80var-2560cl.9	UNSAT	0.02
4qbf-5cnf-80var-2560cl.5	UNSAT	0.02
renHorn_400CNF2360_2aQBF_88	SAT	0.02
3qbf-5cnf-160var-2560cl.1	UNSAT	0.02
4qbf-5cnf-80var-2560cl.4	UNSAT	0.02
impl08	SAT	0.02
3qbf-5cnf-160var-2560cl.9	UNSAT	0.02
4qbf-5cnf-40var-320cl.8	UNSAT	0.02
4qbf-5cnf-80var-2560cl.0	UNSAT	0.02
renHorn_400CNF1200_2aQBF_8	UNSAT	0.02
3qbf-5cnf-160var-5120cl.9	UNSAT	0.02
3qbf-5cnf-40var-1280cl.8	UNSAT	0.02
ncf_4_16_2_euad.9	SAT	0.02
renHorn_400CNF2040_2aQBF_100	SAT	0.02
renHorn_400CNF2280_2aQBF_4	SAT	0.02
3qbf-5cnf-160var-2560cl.7	UNSAT	0.02
ncf_8_16_2_edau.3	UNSAT	0.02
3qbf-5cnf-80var-1280cl.1	UNSAT	0.02
6qbf-5cnf-80var-2560cl.6	UNSAT	0.02
4qbf-5cnf-40var-1280cl.6	UNSAT	0.02
5qbf-5cnf-80var-2560cl.6	UNSAT	0.02
5qbf-5cnf-40var-1280cl.6	UNSAT	0.02
ncf_16_32_2_euad.6	SAT	0.02
ncf_16_32_4_euad.9	SAT	0.02
horn_400CNF1600_2aQBF_789	SAT	0.02
5qbf-5cnf-160var-320cl.8	SAT	0.02
4qbf-5cnf-80var-2560cl.1	UNSAT	0.02
2qbf-5cnf-80var-2560cl.9	UNSAT	0.02
ncf_4_8_2_edau.9	SAT	0.02
6qbf-5cnf-160var-320cl.9	SAT	0.02
ncf_8_16_2_d.2	UNSAT	0.02
2qbf-5cnf-80var-640cl.5	UNSAT	0.02
renHorn_400CNF1200_2aQBF_79	UNSAT	0.02
3qbf-5cnf-40var-1280cl.4	UNSAT	0.02
renHorn_400CNF1640_2aQBF_79	SAT	0.02
2qbf-5cnf-80var-1280cl.6	UNSAT	0.02
horn_400CNF2000_2aQBF_878	SAT	0.02
horn_400CNF2080_2aQBF_714	SAT	0.02
horn_400CNF2160_2aQBF_407	SAT	0.02
horn_400CNF2160_2aQBF_92	SAT	0.02
horn_400CNF2320_2aQBF_797	SAT	0.02
2qbf-5cnf-160var-2560cl.4	UNSAT	0.02
ncf_16_32_2_u.8	UNSAT	0.02
renHorn_400CNF2120_2aQBF_10	SAT	0.02
horn_400CNF1440_2aQBF_925	SAT	0.02
5qbf-5cnf-80var-2560cl.2	UNSAT	0.02
toilet_c_10_10.2	SAT	0.02
ncf_8_16_2_edau.2	UNSAT	0.02
5qbf-5cnf-160var-2560cl.8	UNSAT	0.02
3qbf-5cnf-40var-320cl.6	SAT	0.02
2qbf-5cnf-80var-2560cl.0	UNSAT	0.02
3qbf-5cnf-160var-5120cl.0	UNSAT	0.02
ncf_4_8_2_edau.1	UNSAT	0.02
horn_400CNF1360_2aQBF_755	UNSAT	0.02
ncf_8_16_2_euad.3	UNSAT	0.02
2qbf-5cnf-40var-160cl.6	UNSAT	0.02
TOILET6.1.iv.12	SAT	0.02
6qbf-5cnf-40var-1280cl.1	UNSAT	0.02
ncf_16_32_2_euad.8	UNSAT	0.02
5qbf-5cnf-160var-2560cl.9	UNSAT	0.02
ncf_4_16_2_d.9	SAT	0.02
2qbf-5cnf-160var-2560cl.7	UNSAT	0.02
6qbf-5cnf-80var-1280cl.6	UNSAT	0.02
horn_400CNF2080_2aQBF_709	SAT	0.02
horn_400CNF2080_2aQBF_832	SAT	0.02
renHorn_400CNF1280_2aQBF_56	UNSAT	0.02
2qbf-5cnf-40var-320cl.4	UNSAT	0.02
2qbf-5cnf-40var-160cl.0	SAT	0.02
renHorn_400CNF1280_2aQBF_22	UNSAT	0.02
renHorn_400CNF1720_2aQBF_79	SAT	0.02
3qbf-5cnf-160var-2560cl.2	UNSAT	0.02
4qbf-5cnf-80var-2560cl.7	UNSAT	0.02
5qbf-5cnf-80var-640cl.1	SAT	0.02
ncf_8_16_2_euad.6	UNSAT	0.02
ncf_4_8_2_u.8	SAT	0.02
2qbf-5cnf-40var-160cl.8	SAT	0.02
ncf_4_8_2_edau.8	SAT	0.02
5qbf-5cnf-20var-320cl.7	UNSAT	0.02
5qbf-5cnf-20var-320cl.3	UNSAT	0.02
toilet_c_08_05.4	SAT	0.02
4qbf-5cnf-40var-1280cl.8	UNSAT	0.02
counter_4	SAT	0.02
ncf_8_16_2_d.3	UNSAT	0.02
renHorn_400CNF1480_2aQBF_99	SAT	0.02
adder-2-sat	SAT	0.02
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.02
2qbf-5cnf-160var-2560cl.3	UNSAT	0.02
3qbf-5cnf-160var-640cl.7	SAT	0.02
6qbf-5cnf-40var-640cl.8	UNSAT	0.02
6qbf-5cnf-80var-1280cl.2	UNSAT	0.02
2qbf-5cnf-160var-2560cl.0	UNSAT	0.02
5qbf-5cnf-160var-2560cl.6	UNSAT	0.02
6qbf-5cnf-80var-1280cl.7	UNSAT	0.02
k_poly_p-21	UNSAT	0.02
ncf_16_64_2_edau.1	SAT	0.02
ncf_4_8_8_u.4	SAT	0.02
renHorn_400CNF1880_2aQBF_88	SAT	0.02
renHorn_400CNF2120_2aQBF_31	SAT	0.02
horn_400CNF1360_2aQBF_130	UNSAT	0.02
horn_400CNF1360_2aQBF_565	SAT	0.02
3qbf-5cnf-160var-640cl.9	SAT	0.02
horn_400CNF1760_2aQBF_614	SAT	0.02
horn_400CNF1760_2aQBF_686	SAT	0.02
horn_400CNF1840_2aQBF_323	SAT	0.02
horn_400CNF1920_2aQBF_597	SAT	0.02
renHorn_400CNF1800_2aQBF_24	SAT	0.02
horn_400CNF1680_2aQBF_286	SAT	0.02
horn_400CNF1920_2aQBF_952	SAT	0.02
2qbf-5cnf-80var-2560cl.1	UNSAT	0.02
horn_400CNF1520_2aQBF_600	UNSAT	0.02
k_poly_p-12	UNSAT	0.02
Adder2-2-s	SAT	0.02
renHorn_400CNF2120_2aQBF_84	SAT	0.02
horn_400CNF1520_2aQBF_53	UNSAT	0.02
horn_400CNF2160_2aQBF_427	SAT	0.02
4qbf-5cnf-20var-160cl.0	UNSAT	0.02
6qbf-5cnf-40var-80cl.1	SAT	0.02
horn_400CNF1840_2aQBF_32	SAT	0.02
5qbf-5cnf-80var-1280cl.8	UNSAT	0.02
6qbf-5cnf-160var-320cl.0	SAT	0.02
TOILET7.1.iv.14	SAT	0.02
renHorn_400CNF2360_2aQBF_97	SAT	0.02
horn_400CNF1280_2aQBF_841	UNSAT	0.02
horn_400CNF1760_2aQBF_93	SAT	0.02
horn_400CNF1840_2aQBF_329	SAT	0.02
horn_400CNF1920_2aQBF_583	SAT	0.02
3qbf-5cnf-80var-1280cl.8	UNSAT	0.02
horn_400CNF1600_2aQBF_912	SAT	0.02
3qbf-5cnf-160var-640cl.2	SAT	0.02
renHorn_400CNF1480_2aQBF_96	SAT	0.02
renHorn_400CNF2120_2aQBF_19	SAT	0.02
renHorn_400CNF2120_2aQBF_63	SAT	0.02
4qbf-5cnf-80var-2560cl.9	UNSAT	0.02
5qbf-5cnf-80var-640cl.8	SAT	0.02
horn_400CNF1840_2aQBF_514	SAT	0.02
horn_400CNF2160_2aQBF_692	SAT	0.02
horn_400CNF1360_2aQBF_831	UNSAT	0.02
5qbf-5cnf-80var-2560cl.0	UNSAT	0.02
horn_400CNF1520_2aQBF_387	SAT	0.02
5qbf-5cnf-80var-1280cl.2	UNSAT	0.02
renHorn_400CNF1480_2aQBF_92	SAT	0.02
horn_400CNF1680_2aQBF_503	SAT	0.02
3qbf-5cnf-40var-1280cl.1	UNSAT	0.02
ncf_4_32_2_u.2	SAT	0.02
6qbf-5cnf-160var-320cl.1	SAT	0.02
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.02
2qbf-5cnf-80var-2560cl.6	UNSAT	0.02
k_lin_p-12	UNSAT	0.02
2qbf-5cnf-80var-640cl.2	UNSAT	0.02
ncf_16_64_2_d.1	SAT	0.02
ncf_4_8_8_edau.4	SAT	0.02
horn_400CNF1760_2aQBF_997	SAT	0.02
1qbf-5cnf-80var-1280cl.5	SAT	0.02
1qbf-5cnf-40var-640cl.2	SAT	0.02
1qbf-5cnf-80var-1280cl.7	SAT	0.02
1qbf-5cnf-160var-1280cl.8	SAT	0.02
6qbf-5cnf-80var-2560cl.9	UNSAT	0.03
2qbf-5cnf-160var-2560cl.8	UNSAT	0.03
ncf_4_8_2_euad.8	SAT	0.03
4qbf-5cnf-160var-2560cl.0	UNSAT	0.03
tree-exa10-30	SAT	0.03
2qbf-5cnf-160var-2560cl.9	UNSAT	0.03
ncf_4_8_2_u.7	UNSAT	0.03
6qbf-5cnf-80var-640cl.8	UNSAT	0.03
mutex-64-s	SAT	0.03
renHorn_400CNF2120_2aQBF_52	SAT	0.03
renHorn_400CNF2360_2aQBF_58	SAT	0.03
horn_400CNF1360_2aQBF_894	UNSAT	0.03
2qbf-5cnf-40var-160cl.1	UNSAT	0.03
horn_400CNF1840_2aQBF_401	UNSAT	0.03
horn_400CNF2320_2aQBF_230	SAT	0.03
lut4_2_fXOR	SAT	0.03
horn_400CNF2320_2aQBF_458	SAT	0.03
4qbf-5cnf-160var-2560cl.7	UNSAT	0.03
renHorn_400CNF1960_2aQBF_41	SAT	0.03
horn_400CNF1680_2aQBF_950	SAT	0.03
renHorn_400CNF1480_2aQBF_44	UNSAT	0.03
horn_400CNF1600_2aQBF_748	UNSAT	0.03
5qbf-5cnf-20var-320cl.2	UNSAT	0.03
2qbf-5cnf-40var-160cl.2	UNSAT	0.03
6qbf-5cnf-80var-2560cl.1	UNSAT	0.03
5qbf-5cnf-160var-2560cl.5	UNSAT	0.03
3qbf-5cnf-160var-5120cl.5	UNSAT	0.03
2qbf-5cnf-160var-2560cl.2	UNSAT	0.03
renHorn_400CNF1640_2aQBF_87	SAT	0.03
5qbf-5cnf-160var-5120cl.7	UNSAT	0.03
ncf_4_8_2_u.9	SAT	0.03
5qbf-5cnf-160var-5120cl.6	UNSAT	0.03
5qbf-5cnf-160var-5120cl.3	UNSAT	0.03
6qbf-5cnf-80var-2560cl.0	UNSAT	0.03
renHorn_400CNF1800_2aQBF_7	SAT	0.03
renHorn_400CNF2280_2aQBF_59	SAT	0.03
5qbf-5cnf-160var-2560cl.0	UNSAT	0.03
toilet_a_08_01.4	UNSAT	0.03
horn_400CNF1600_2aQBF_571	UNSAT	0.03
renHorn_400CNF2360_2aQBF_9	SAT	0.03
2qbf-5cnf-80var-320cl.4	UNSAT	0.03
3qbf-5cnf-160var-5120cl.6	UNSAT	0.03
renHorn_400CNF2120_2aQBF_37	SAT	0.03
ncf_4_16_2_edau.9	SAT	0.03
3qbf-5cnf-160var-5120cl.8	UNSAT	0.03
ncf_4_8_2_d.8	SAT	0.03
6qbf-5cnf-80var-2560cl.3	UNSAT	0.03
4qbf-5cnf-160var-2560cl.2	UNSAT	0.03
renHorn_400CNF2200_2aQBF_48	SAT	0.03
4qbf-5cnf-160var-2560cl.9	UNSAT	0.03
4qbf-5cnf-160var-2560cl.6	UNSAT	0.03
3qbf-5cnf-160var-2560cl.6	UNSAT	0.03
2qbf-5cnf-160var-2560cl.1	UNSAT	0.03
6qbf-5cnf-80var-2560cl.4	UNSAT	0.03
4qbf-5cnf-160var-2560cl.4	UNSAT	0.03
ncf_4_8_8_euad.1	SAT	0.03
4qbf-5cnf-160var-2560cl.5	UNSAT	0.03
3qbf-5cnf-160var-5120cl.3	UNSAT	0.03
6qbf-5cnf-80var-2560cl.7	UNSAT	0.03
renHorn_400CNF1560_2aQBF_2	UNSAT	0.03
4qbf-5cnf-80var-2560cl.3	UNSAT	0.03
renHorn_400CNF1800_2aQBF_2	UNSAT	0.03
renHorn_400CNF2120_2aQBF_21	SAT	0.03
horn_400CNF1440_2aQBF_117	UNSAT	0.03
horn_400CNF1520_2aQBF_782	UNSAT	0.03
horn_400CNF1680_2aQBF_29	UNSAT	0.03
4qbf-5cnf-20var-160cl.9	SAT	0.03
6qbf-5cnf-160var-1280cl.3	SAT	0.03
horn_400CNF1920_2aQBF_647	SAT	0.03
ncf_16_32_2_d.8	UNSAT	0.03
renHorn_400CNF1560_2aQBF_90	UNSAT	0.03
BLOCKS3ii.4.3	UNSAT	0.03
toilet_c_08_05.2	UNSAT	0.03
3qbf-5cnf-160var-5120cl.4	UNSAT	0.03
renHorn_400CNF1640_2aQBF_7	UNSAT	0.03
horn_400CNF1360_2aQBF_867	UNSAT	0.03
horn_400CNF1520_2aQBF_405	UNSAT	0.03
4qbf-5cnf-80var-2560cl.2	UNSAT	0.03
renHorn_400CNF1960_2aQBF_79	SAT	0.03
horn_400CNF1680_2aQBF_433	UNSAT	0.03
6qbf-5cnf-160var-2560cl.6	UNSAT	0.03
renHorn_400CNF2200_2aQBF_79	SAT	0.03
ncf_4_16_2_u.9	SAT	0.03
renHorn_400CNF1560_2aQBF_68	UNSAT	0.03
horn_400CNF1600_2aQBF_922	UNSAT	0.03
1qbf-5cnf-160var-2560cl.7	SAT	0.03
1qbf-5cnf-80var-1280cl.8	SAT	0.03
horn_400CNF1840_2aQBF_340	UNSAT	0.04
ncf_4_8_2_edau.7	UNSAT	0.04
4qbf-5cnf-160var-2560cl.3	UNSAT	0.04
ncf_4_8_2_edau.3	UNSAT	0.04
renHorn_400CNF1800_2aQBF_53	UNSAT	0.04
2qbf-5cnf-40var-320cl.2	UNSAT	0.04
2qbf-5cnf-40var-160cl.9	SAT	0.04
horn_400CNF1760_2aQBF_484	UNSAT	0.04
flipflop-6-c	UNSAT	0.04
renHorn_400CNF1720_2aQBF_20	UNSAT	0.04
szymanski-5-s	UNSAT	0.04
5qbf-5cnf-160var-5120cl.1	UNSAT	0.04
5qbf-5cnf-160var-5120cl.5	UNSAT	0.04
horn_400CNF1520_2aQBF_98	UNSAT	0.04
horn_400CNF1600_2aQBF_278	UNSAT	0.04
horn_400CNF1760_2aQBF_188	UNSAT	0.04
horn_400CNF1760_2aQBF_946	UNSAT	0.04
horn_400CNF1920_2aQBF_890	UNSAT	0.04
renHorn_400CNF1960_2aQBF_68	UNSAT	0.04
renHorn_400CNF1960_2aQBF_50	UNSAT	0.04
horn_400CNF1520_2aQBF_625	UNSAT	0.04
3qbf-5cnf-160var-5120cl.7	UNSAT	0.04
5qbf-5cnf-160var-5120cl.0	UNSAT	0.04
4qbf-5cnf-160var-2560cl.1	UNSAT	0.04
horn_400CNF2000_2aQBF_650	UNSAT	0.04
5qbf-5cnf-80var-1280cl.0	UNSAT	0.04
horn_400CNF2000_2aQBF_456	UNSAT	0.04
horn_400CNF2000_2aQBF_787	UNSAT	0.04
horn_400CNF1760_2aQBF_330	UNSAT	0.04
3qbf-5cnf-160var-5120cl.1	UNSAT	0.04
ncf_16_32_2_u.7	UNSAT	0.04
renHorn_400CNF1800_2aQBF_36	UNSAT	0.04
horn_400CNF1600_2aQBF_26	UNSAT	0.04
renHorn_400CNF1480_2aQBF_21	UNSAT	0.04
horn_400CNF1920_2aQBF_721	UNSAT	0.04
5qbf-5cnf-160var-5120cl.4	UNSAT	0.04
6qbf-5cnf-160var-2560cl.9	UNSAT	0.04
5qbf-5cnf-160var-5120cl.2	UNSAT	0.04
2qbf-5cnf-40var-160cl.4	SAT	0.04
6qbf-5cnf-160var-2560cl.7	UNSAT	0.04
ncf_4_8_4_edau.8	UNSAT	0.04
horn_400CNF1920_2aQBF_927	UNSAT	0.04
horn_400CNF1760_2aQBF_979	UNSAT	0.04
horn_400CNF2080_2aQBF_584	UNSAT	0.04
horn_400CNF2160_2aQBF_657	UNSAT	0.04
5qbf-5cnf-160var-5120cl.9	UNSAT	0.04
6qbf-5cnf-160var-2560cl.0	UNSAT	0.04
5qbf-5cnf-160var-2560cl.1	UNSAT	0.04
horn_400CNF1920_2aQBF_603	UNSAT	0.04
horn_400CNF1600_2aQBF_236	UNSAT	0.04
renHorn_400CNF2280_2aQBF_67	UNSAT	0.05
lut4_XOR_fOR	UNSAT	0.05
toilet_c_10_01.20	SAT	0.05
6qbf-5cnf-160var-2560cl.1	UNSAT	0.05
horn_400CNF1680_2aQBF_589	UNSAT	0.05
horn_400CNF1760_2aQBF_726	UNSAT	0.05
5qbf-5cnf-160var-5120cl.8	UNSAT	0.05
horn_400CNF2000_2aQBF_8	UNSAT	0.05
tree-exa2-25	UNSAT	0.05
horn_400CNF1680_2aQBF_728	UNSAT	0.05
CHAIN12v.13	SAT	0.05
2qbf-5cnf-160var-1280cl.4	UNSAT	0.05
connect_5x4_4_D	UNSAT	0.05
horn_400CNF2080_2aQBF_322	UNSAT	0.05
2qbf-5cnf-160var-5120cl.7	UNSAT	0.05
horn_400CNF1920_2aQBF_75	UNSAT	0.05
horn_400CNF1680_2aQBF_154	UNSAT	0.05
horn_400CNF1760_2aQBF_886	UNSAT	0.05
ncf_4_8_2_d.7	UNSAT	0.05
horn_400CNF2080_2aQBF_194	UNSAT	0.05
horn_400CNF2320_2aQBF_137	UNSAT	0.05
horn_400CNF1840_2aQBF_158	UNSAT	0.05
6qbf-5cnf-160var-2560cl.8	UNSAT	0.05
6qbf-5cnf-160var-2560cl.4	UNSAT	0.05
toilet_c_10_05.4	SAT	0.05
horn_400CNF1680_2aQBF_91	UNSAT	0.05
4qbf-5cnf-20var-160cl.7	UNSAT	0.05
5qbf-5cnf-160var-2560cl.7	UNSAT	0.05
2qbf-5cnf-160var-5120cl.4	UNSAT	0.05
renHorn_400CNF2120_2aQBF_17	UNSAT	0.05
horn_400CNF1920_2aQBF_704	UNSAT	0.05
horn_400CNF2320_2aQBF_80	UNSAT	0.05
ncf_4_8_2_euad.7	UNSAT	0.05
horn_400CNF2080_2aQBF_793	UNSAT	0.05
renHorn_400CNF1800_2aQBF_20	UNSAT	0.05
mutex-128-s	SAT	0.05
horn_400CNF1840_2aQBF_752	UNSAT	0.05
6qbf-5cnf-160var-2560cl.5	UNSAT	0.05
toilet_c_10_05.2	UNSAT	0.05
5qbf-5cnf-40var-320cl.4	SAT	0.05
horn_400CNF1840_2aQBF_980	UNSAT	0.05
2qbf-5cnf-40var-160cl.5	SAT	0.06
4qbf-5cnf-40var-320cl.0	UNSAT	0.06
2qbf-5cnf-160var-5120cl.3	UNSAT	0.06
renHorn_400CNF1960_2aQBF_76	UNSAT	0.06
horn_400CNF2160_2aQBF_976	UNSAT	0.06
6qbf-5cnf-160var-2560cl.2	UNSAT	0.06
6qbf-5cnf-20var-320cl.2	UNSAT	0.06
horn_400CNF2320_2aQBF_209	UNSAT	0.06
ncf_4_8_4_d.3	UNSAT	0.06
ncf_4_8_8_euad.4	SAT	0.06
ncf_4_8_4_d.8	UNSAT	0.06
2qbf-5cnf-160var-5120cl.1	UNSAT	0.06
flipflop-7-c	UNSAT	0.06
renHorn_400CNF1360_2aQBF_35	UNSAT	0.06
horn_400CNF2160_2aQBF_588	UNSAT	0.06
renHorn_400CNF2040_2aQBF_59	UNSAT	0.06
horn_400CNF2160_2aQBF_660	UNSAT	0.06
horn_400CNF2160_2aQBF_411	UNSAT	0.06
2qbf-5cnf-160var-5120cl.6	UNSAT	0.06
2qbf-5cnf-160var-5120cl.5	UNSAT	0.06
1qbf-5cnf-40var-1280cl.4	UNSAT	0.06
1qbf-5cnf-160var-2560cl.2	SAT	0.06
1qbf-5cnf-40var-1280cl.3	UNSAT	0.06
1qbf-5cnf-40var-1280cl.7	UNSAT	0.06
horn_400CNF2160_2aQBF_23	UNSAT	0.07
counter_re_2	SAT	0.07
2qbf-5cnf-160var-5120cl.2	UNSAT	0.07
ncf_4_8_4_edau.5	SAT	0.07
connect_5x4_4_W	UNSAT	0.07
horn_400CNF2000_2aQBF_104	UNSAT	0.07
ncf_4_16_2_edau.7	SAT	0.07
2qbf-5cnf-160var-5120cl.9	UNSAT	0.07
ncf_4_8_2_u.3	UNSAT	0.07
horn_400CNF2000_2aQBF_642	UNSAT	0.07
4qbf-5cnf-20var-160cl.1	UNSAT	0.07
ncf_4_16_2_u.7	SAT	0.07
2qbf-5cnf-160var-5120cl.0	UNSAT	0.07
horn_400CNF2320_2aQBF_420	UNSAT	0.07
horn_400CNF2320_2aQBF_832	UNSAT	0.07
connect_5x4_3_D	UNSAT	0.07
2qbf-5cnf-160var-5120cl.8	UNSAT	0.07
1qbf-5cnf-40var-1280cl.8	UNSAT	0.07
1qbf-5cnf-40var-1280cl.5	UNSAT	0.07
1qbf-5cnf-40var-1280cl.6	UNSAT	0.07
1qbf-5cnf-40var-1280cl.1	UNSAT	0.07
impl10	SAT	0.08
BLOCKS3ii.5.3	SAT	0.08
2qbf-5cnf-80var-640cl.8	UNSAT	0.08
4qbf-5cnf-160var-5120cl.2	UNSAT	0.08
5qbf-5cnf-160var-2560cl.4	UNSAT	0.08
toilet_a_10_01.2	UNSAT	0.08
6qbf-5cnf-40var-640cl.1	UNSAT	0.08
ncf_4_8_4_u.8	UNSAT	0.08
ncf_16_32_2_euad.7	UNSAT	0.08
ncf_4_8_4_edau.1	SAT	0.08
4qbf-5cnf-160var-5120cl.8	UNSAT	0.08
6qbf-5cnf-160var-2560cl.3	UNSAT	0.08
horn_400CNF2320_2aQBF_772	UNSAT	0.08
horn_400CNF2080_2aQBF_682	UNSAT	0.08
1qbf-5cnf-160var-2560cl.6	SAT	0.08
1qbf-5cnf-40var-1280cl.9	UNSAT	0.08
1qbf-5cnf-40var-1280cl.0	UNSAT	0.08
1qbf-5cnf-40var-1280cl.2	UNSAT	0.08
ncf_4_8_2_d.3	UNSAT	0.09
CHAIN13v.14	SAT	0.09
connect_5x4_3_W	UNSAT	0.09
ncf_4_8_4_u.1	SAT	0.09
4qbf-5cnf-160var-5120cl.4	UNSAT	0.09
ncf_4_8_4_u.5	SAT	0.09
4qbf-5cnf-160var-5120cl.5	UNSAT	0.09
horn_400CNF1680_2aQBF_745	SAT	0.09
6qbf-5cnf-160var-5120cl.1	UNSAT	0.09
toilet_c_08_05.8	SAT	0.09
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.09
4qbf-5cnf-160var-5120cl.9	UNSAT	0.09
lut4_2_f1	SAT	0.09
horn_400CNF1680_2aQBF_695	SAT	0.09
szymanski-6-s	UNSAT	0.09
ncf_4_8_4_edau.3	UNSAT	0.09
ncf_16_32_2_d.7	UNSAT	0.1
4qbf-5cnf-20var-160cl.6	UNSAT	0.1
4qbf-5cnf-160var-5120cl.0	UNSAT	0.1
4qbf-5cnf-160var-5120cl.3	UNSAT	0.1
6qbf-5cnf-160var-5120cl.7	UNSAT	0.1
ncf_8_16_2_d.10	SAT	0.1
6qbf-5cnf-40var-320cl.0	UNSAT	0.1
4qbf-5cnf-160var-5120cl.1	UNSAT	0.1
2qbf-5cnf-160var-640cl.7	UNSAT	0.1
6qbf-5cnf-160var-5120cl.3	UNSAT	0.1
ncf_16_32_2_edau.7	UNSAT	0.1
horn_400CNF2320_2aQBF_433	UNSAT	0.1
ncf_8_16_4_edau.8	UNSAT	0.1
4qbf-5cnf-160var-5120cl.6	UNSAT	0.1
1qbf-5cnf-160var-2560cl.9	SAT	0.1
ncf_8_16_2_edau.5	UNSAT	0.11
ncf_8_16_2_d.5	UNSAT	0.11
6qbf-5cnf-160var-5120cl.9	UNSAT	0.11
ncf_8_16_2_u.5	UNSAT	0.11
6qbf-5cnf-160var-5120cl.6	UNSAT	0.11
ncf_4_8_4_euad.8	UNSAT	0.11
ncf_4_8_4_d.5	SAT	0.11
4qbf-5cnf-160var-5120cl.7	UNSAT	0.11
ncf_8_16_8_euad.1	SAT	0.11
6qbf-5cnf-160var-5120cl.4	UNSAT	0.11
6qbf-5cnf-160var-5120cl.0	UNSAT	0.11
6qbf-5cnf-160var-5120cl.5	UNSAT	0.11
TOILET10.1.iv.20	SAT	0.11
ncf_8_16_4_d.8	UNSAT	0.11
ncf_8_16_8_d.1	SAT	0.11
6qbf-5cnf-160var-5120cl.8	UNSAT	0.12
vonNeumann-ripple-carry-5-c	UNSAT	0.12
6qbf-5cnf-160var-5120cl.2	UNSAT	0.12
toilet_a_10_01.3	UNSAT	0.12
ncf_8_16_2_euad.5	UNSAT	0.12
ncf_4_8_8_edau.1	SAT	0.12
ncf_4_8_4_edau.4	UNSAT	0.13
connect_6x5_4_W	UNSAT	0.13
ncf_8_16_4_edau.6	UNSAT	0.13
1qbf-5cnf-160var-2560cl.8	SAT	0.13
ncf_4_16_2_d.2	SAT	0.14
connect_6x5_5_D	UNSAT	0.14
connect_6x5_5_W	UNSAT	0.14
ncf_8_16_2_euad.10	SAT	0.14
horn_400CNF1760_2aQBF_996	SAT	0.14
flipflop-8-c	UNSAT	0.14
1qbf-5cnf-160var-2560cl.0	SAT	0.14
ncf_4_16_2_euad.2	SAT	0.15
toilet_a_10_01.4	UNSAT	0.15
connect_6x5_3_D	UNSAT	0.15
CHAIN14v.15	SAT	0.15
6qbf-5cnf-40var-320cl.1	SAT	0.15
connect_6x5_3_W	UNSAT	0.15
toilet_c_08_05.10	SAT	0.15
ncf_4_8_4_edau.7	UNSAT	0.16
5qbf-5cnf-160var-2560cl.3	UNSAT	0.16
connect_6x5_4_D	UNSAT	0.17
ncf_4_8_2_euad.3	UNSAT	0.17
vonNeumann-ripple-carry-6-c	UNSAT	0.18
ncf_4_8_8_u.1	SAT	0.18
ncf_4_16_2_d.4	SAT	0.19
2qbf-5cnf-160var-1280cl.2	UNSAT	0.21
ncf_4_8_4_euad.5	SAT	0.21
robots_1_5_5_24.2	SAT	0.21
3qbf-5cnf-40var-320cl.2	SAT	0.21
horn_400CNF2320_2aQBF_72	SAT	0.21
ncf_16_32_4_euad.8	SAT	0.21
connect_7x6_6_D	UNSAT	0.21
renHorn_400CNF1960_2aQBF_35	UNSAT	0.22
ncf_8_16_4_d.6	UNSAT	0.22
ncf_8_16_8_edau.1	SAT	0.22
ncf_8_16_8_u.1	SAT	0.23
robots_1_5_2_81.2	SAT	0.23
robots_1_5_2_85.2	SAT	0.23
ncf_16_32_4_d.8	SAT	0.23
connect_7x6_5_D	UNSAT	0.23
robots_1_5_2_49.2	SAT	0.23
ncf_4_8_4_u.7	UNSAT	0.24
connect_7x6_6_W	UNSAT	0.24
k_path_p-4	UNSAT	0.25
flipflop-9-c	UNSAT	0.25
connect_7x6_5_W	UNSAT	0.25
ncf_4_16_2_euad.4	SAT	0.25
ncf_8_16_2_edau.10	SAT	0.26
ncf_4_8_4_u.4	UNSAT	0.27
ncf_16_32_4_edau.8	SAT	0.27
toilet_a_08_10.2	SAT	0.28
ncf_8_16_4_euad.8	UNSAT	0.28
connect_7x6_3_D	UNSAT	0.28
robots_1_5_5_75.2	SAT	0.29
ncf_4_16_2_edau.2	SAT	0.29
connect_7x6_4_W	UNSAT	0.29
ncf_4_16_2_u.2	SAT	0.29
ncf_8_16_4_u.6	UNSAT	0.29
ncf_4_8_4_u.3	UNSAT	0.29
connect_7x6_4_D	UNSAT	0.29
ncf_4_8_8_d.4	SAT	0.29
ncf_8_16_2_u.10	SAT	0.3
robots_1_5_3_51.2	SAT	0.3
robots_1_5_4_44.2	SAT	0.3
robots_1_5_4_75.2	SAT	0.3
robots_1_5_4_73.2	SAT	0.31
robots_1_5_5_61.2	SAT	0.31
robots_1_5_4_81.2	SAT	0.31
robots_1_5_5_15.2	SAT	0.32
TOILET6.1.iv.11	UNSAT	0.32
ncf_4_8_8_d.8	SAT	0.32
robots_1_5_2_28.2	SAT	0.32
CHAIN15v.16	SAT	0.32
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	0.32
robots_1_5_3_100.2	SAT	0.32
robots_1_5_5_38.2	SAT	0.32
robots_1_5_4_100.2	SAT	0.32
horn_400CNF2160_2aQBF_996	SAT	0.33
connect_7x6_3_W	UNSAT	0.33
robots_1_5_5_56.2	SAT	0.33
robots_1_5_5_62.2	SAT	0.33
connect_8x7_7_W	UNSAT	0.34
robots_1_5_2_100.2	SAT	0.34
ncf_4_16_4_edau.9	SAT	0.34
vonNeumann-ripple-carry-7-c	UNSAT	0.34
robots_1_5_2_47.2	SAT	0.34
2qbf-5cnf-80var-640cl.7	UNSAT	0.34
ncf_4_16_2_edau.4	SAT	0.36
robots_1_5_2_31.2	SAT	0.36
ncf_4_8_4_edau.10	SAT	0.36
ncf_4_8_8_d.3	SAT	0.36
1qbf-5cnf-160var-2560cl.1	SAT	0.36
connect_8x7_7_D	UNSAT	0.37
BLOCKS3iii.4	UNSAT	0.37
ncf_4_8_4_u.10	SAT	0.37
robots_1_5_3_7.2	SAT	0.38
robots_1_5_3_25.2	SAT	0.38
toilet_a_08_01.8	UNSAT	0.38
szymanski-8-s	UNSAT	0.39
robots_1_5_2_14.2	SAT	0.39
robots_1_5_2_33.2	SAT	0.39
robots_1_5_4_52.2	SAT	0.4
robots_1_5_2_10.2	SAT	0.4
ncf_4_16_2_u.4	SAT	0.4
robots_1_5_5_97.2	SAT	0.4
robots_1_5_4_71.2	SAT	0.4
robots_1_5_3_52.2	SAT	0.41
robots_1_5_4_32.2	SAT	0.41
robots_1_5_5_31.2	SAT	0.41
ncf_16_32_8_d.4	SAT	0.41
flipflop-10-c	UNSAT	0.42
robots_1_5_3_26.2	SAT	0.42
robots_1_5_3_30.2	SAT	0.42
robots_1_5_3_62.2	SAT	0.42
robots_1_5_4_22.2	SAT	0.42
robots_1_5_5_100.2	SAT	0.42
robots_1_5_4_59.2	SAT	0.42
robots_1_5_3_91.2	SAT	0.42
robots_1_5_3_80.2	SAT	0.42
ncf_8_16_8_edau.6	UNSAT	0.44
connect_8x7_6_D	UNSAT	0.44
ncf_4_8_4_euad.1	SAT	0.44
ncf_8_16_4_u.8	UNSAT	0.44
connect_8x7_6_W	UNSAT	0.45
toilet_a_08_01.16	SAT	0.46
connect_8x7_5_D	UNSAT	0.46
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.46
k_ph_n-8	SAT	0.48
connect_8x7_5_W	UNSAT	0.49
ncf_4_8_4_euad.3	UNSAT	0.51
ncf_4_8_4_euad.10	SAT	0.51
adder-2-unsat	UNSAT	0.52
2qbf-5cnf-80var-320cl.0	UNSAT	0.53
tree-exa2-30	UNSAT	0.54
ncf_4_16_4_d.1	SAT	0.55
3qbf-5cnf-40var-320cl.5	UNSAT	0.55
vonNeumann-ripple-carry-8-c	UNSAT	0.56
impl12	SAT	0.57
connect_9x8_8_D	UNSAT	0.59
connect_9x8_8_W	UNSAT	0.59
ncf_4_16_4_edau.8	SAT	0.59
qshifter_4	SAT	0.59
ncf_8_16_4_d.4	SAT	0.6
CHAIN16v.17	SAT	0.6
ncf_8_16_4_euad.6	UNSAT	0.61
connect_8x7_4_D	UNSAT	0.63
ncf_4_8_4_d.10	SAT	0.65
connect_8x7_4_W	UNSAT	0.65
connect_9x8_7_D	UNSAT	0.66
ncf_4_16_4_d.8	SAT	0.66
ncf_4_16_4_u.9	SAT	0.68
connect_8x7_3_W	UNSAT	0.68
ncf_4_8_8_edau.8	SAT	0.68
1qbf-5cnf-160var-2560cl.4	SAT	0.68
connect_8x7_3_D	UNSAT	0.69
flipflop-11-c	UNSAT	0.7
1qbf-5cnf-160var-2560cl.5	SAT	0.7
connect_9x8_7_W	UNSAT	0.71
6qbf-5cnf-80var-640cl.6	SAT	0.71
ncf_4_16_4_euad.1	SAT	0.72
ncf_4_32_2_edau.9	UNSAT	0.74
toilet_a_08_05.4	SAT	0.77
ncf_4_16_2_edau.8	SAT	0.77
toilet_c_10_05.7	SAT	0.78
connect_9x8_6_W	UNSAT	0.79
connect_9x8_6_D	UNSAT	0.8
ncf_8_16_8_edau.9	UNSAT	0.82
C432.blif_0.10_0.20_0_1_inp_exact	SAT	0.84
ncf_8_16_8_u.6	UNSAT	0.84
ncf_4_16_2_u.8	SAT	0.86
vonNeumann-ripple-carry-9-c	UNSAT	0.87
4qbf-5cnf-40var-320cl.1	UNSAT	0.88
ncf_4_8_4_d.1	SAT	0.9
ncf_4_32_2_u.9	UNSAT	0.91
ncf_8_32_2_d.8	SAT	0.92
k_grz_n-4	SAT	0.93
ncf_4_8_8_u.10	SAT	0.94
k_dum_p-4	UNSAT	0.94
ncf_4_16_4_u.1	SAT	0.97
ncf_4_16_4_edau.1	SAT	0.97
connect_9x8_5_D	UNSAT	0.98
connect_9x8_5_W	UNSAT	0.98
6qbf-5cnf-160var-1280cl.6	SAT	1.02
connect_9x8_4_D	UNSAT	1.04
connect_9x8_4_W	UNSAT	1.05
connect_9x8_3_W	UNSAT	1.06
2qbf-5cnf-80var-640cl.1	UNSAT	1.06
ncf_4_16_2_edau.10	UNSAT	1.1
flipflop-12-c	UNSAT	1.11
connect_9x8_3_D	UNSAT	1.13
ncf_4_8_8_edau.10	SAT	1.15
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	1.15
ncf_8_32_2_edau.8	SAT	1.22
horn_400CNF1760_2aQBF_10	UNSAT	1.22
k_dum_n-4	SAT	1.27
ncf_4_32_2_d.1	UNSAT	1.28
CHAIN17v.18	SAT	1.28
ncf_8_16_4_euad.4	SAT	1.3
vonNeumann-ripple-carry-10-c	UNSAT	1.3
ncf_8_32_2_euad.8	SAT	1.34
ncf_4_8_8_u.7	SAT	1.34
ncf_4_8_4_euad.4	UNSAT	1.36
ncf_4_16_4_u.8	SAT	1.38
ncf_4_8_4_d.4	UNSAT	1.42
ncf_4_16_8_d.7	SAT	1.43
szymanski-10-s	UNSAT	1.45
ncf_16_32_4_u.8	SAT	1.45
ncf_4_8_8_euad.3	SAT	1.47
2qbf-5cnf-80var-640cl.0	UNSAT	1.55
ncf_4_8_8_edau.7	SAT	1.55
toilet_a_08_05.2	UNSAT	1.56
ncf_8_32_2_u.8	SAT	1.56
ncf_4_16_4_edau.7	SAT	1.58
3qbf-5cnf-40var-320cl.9	SAT	1.6
ncf_4_16_2_d.7	SAT	1.61
k_lin_n-4	SAT	1.61
ncf_4_16_2_euad.7	SAT	1.63
toilet_a_10_01.8	UNSAT	1.79
ncf_16_32_4_d.3	SAT	1.85
vonNeumann-ripple-carry-11-c	UNSAT	1.88
TOILET16.1.iv.32	SAT	1.88
ncf_4_16_2_edau.3	UNSAT	1.89
toilet_a_10_10.2	SAT	1.89
lut4_AND_f1	SAT	1.94
3qbf-5cnf-40var-320cl.1	SAT	1.95
toilet_c_10_05.8	SAT	1.98
ncf_4_16_4_euad.8	SAT	2.1
2qbf-5cnf-80var-320cl.5	UNSAT	2.12
4qbf-5cnf-40var-320cl.5	UNSAT	2.22
ncf_4_8_8_u.8	SAT	2.24
lognBWLARGEA1	UNSAT	2.25
ncf_4_16_2_edau.1	UNSAT	2.3
ncf_16_32_2_euad.3	SAT	2.34
ncf_4_16_2_u.1	UNSAT	2.39
toilet_a_10_01.20	SAT	2.41
ncf_8_16_4_edau.4	SAT	2.45
vonNeumann-ripple-carry-12-c	UNSAT	2.54
ncf_4_16_4_d.9	SAT	2.66
CHAIN18v.19	SAT	2.66
ncf_4_16_8_edau.10	SAT	2.72
ncf_16_32_2_d.3	SAT	2.72
ncf_16_32_2_edau.3	SAT	2.76
ncf_16_32_2_u.3	SAT	2.78
ncf_4_16_2_edau.5	UNSAT	2.85
ncf_4_16_2_u.5	UNSAT	2.86
toilet_a_08_05.8	SAT	3.05
ncf_8_16_4_u.4	SAT	3.06
horn_400CNF1840_2aQBF_555	SAT	3.07
ncf_4_8_4_d.7	UNSAT	3.24
ncf_4_16_8_edau.7	SAT	3.29
robots_1_5_5_26.4	SAT	3.3
robots_1_5_5_66.4	SAT	3.3
ncf_8_16_4_d.1	SAT	3.35
ncf_8_16_4_euad.1	SAT	3.37
ncf_4_8_8_edau.3	SAT	3.4
4qbf-5cnf-80var-640cl.0	UNSAT	3.4
robots_1_5_2_85.4	SAT	3.41
robots_1_5_2_21.4	SAT	3.46
ncf_8_16_4_edau.1	SAT	3.46
robots_1_5_2_3.4	SAT	3.46
ncf_8_16_4_u.1	SAT	3.47
TOILET7.1.iv.13	UNSAT	3.54
vonNeumann-ripple-carry-13-c	UNSAT	3.62
toilet_a_10_05.4	SAT	3.62
4qbf-5cnf-40var-320cl.6	UNSAT	3.86
k_d4_p-4	UNSAT	3.97
impl14	SAT	4.27
ncf_16_32_8_euad.4	SAT	4.29
ncf_4_8_8_u.3	SAT	4.45
ncf_8_16_4_euad.7	SAT	4.63
szymanski-12-s	UNSAT	4.66
ncf_8_16_8_d.6	UNSAT	4.77
connect_5x4_4_R	UNSAT	4.81
ncf_16_32_4_euad.3	SAT	4.82
ncf_4_8_8_euad.10	SAT	4.82
toilet_a_08_05.10	SAT	4.85
ncf_8_16_8_edau.7	UNSAT	5
5qbf-5cnf-80var-640cl.6	SAT	5.07
ncf_4_8_8_edau.6	UNSAT	5.11
ncf_16_32_4_euad.2	SAT	5.18
ncf_4_8_8_edau.2	UNSAT	5.21
3qbf-5cnf-80var-640cl.1	SAT	5.25
CHAIN19v.20	SAT	5.53
ncf_4_8_8_euad.8	SAT	5.66
ncf_8_16_8_u.9	UNSAT	5.84
tree-exa2-35	UNSAT	5.91
ncf_4_16_2_euad.5	UNSAT	5.97
ncf_16_32_4_d.2	SAT	6.03
ncf_4_16_2_u.10	UNSAT	6.07
vonNeumann-ripple-carry-15-c	UNSAT	6.18
ncf_4_16_4_u.7	SAT	6.24
horn_400CNF1600_2aQBF_3	SAT	6.44
ncf_4_16_2_d.1	UNSAT	6.46
ncf_16_32_2_edau.2	UNSAT	6.54
ncf_8_16_8_edau.10	SAT	6.58
ncf_4_16_2_d.5	UNSAT	6.6
ncf_4_16_4_euad.9	SAT	6.8
ncf_4_16_8_u.10	SAT	6.92
ncf_4_16_4_edau.10	UNSAT	6.95
ncf_8_16_8_euad.6	UNSAT	7.16
ncf_4_16_2_euad.3	UNSAT	7.49
ncf_16_32_2_edau.4	UNSAT	7.85
horn_400CNF1680_2aQBF_244	SAT	8.14
5qbf-5cnf-80var-640cl.9	SAT	8.61
ncf_8_16_8_edau.8	UNSAT	8.64
ncf_4_16_2_d.3	UNSAT	8.98
ncf_16_32_2_u.2	UNSAT	9.33
ncf_4_16_2_d.10	UNSAT	9.67
4qbf-5cnf-40var-320cl.7	UNSAT	10.3
4qbf-5cnf-80var-640cl.4	UNSAT	10.51
k_path_n-4	SAT	10.88
ncf_4_16_2_euad.1	UNSAT	10.92
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	11.02
CHAIN20v.21	SAT	11.11
6qbf-5cnf-40var-320cl.4	SAT	11.41
ncf_4_16_8_u.9	SAT	11.58
szymanski-14-s	UNSAT	12
ncf_4_16_8_u.7	SAT	12.18
ncf_8_16_8_u.8	UNSAT	12.3
ncf_4_16_8_edau.9	SAT	12.39
lognBWLARGEB1	UNSAT	12.83
ncf_16_32_4_edau.3	SAT	13.6
ncf_16_32_2_u.4	UNSAT	14.26
3qbf-5cnf-40var-320cl.3	SAT	14.28
ncf_16_32_4_u.2	SAT	14.53
ncf_16_32_4_edau.2	SAT	14.67
ncf_4_8_4_euad.7	UNSAT	15.56
ncf_4_16_2_euad.8	SAT	15.65
toilet_a_10_05.2	UNSAT	16.1
horn_400CNF1920_2aQBF_534	SAT	16.67
ncf_4_16_2_d.8	SAT	16.98
k_lin_n-8	SAT	17.13
ncf_8_16_8_u.10	SAT	17.28
ncf_4_8_8_edau.5	UNSAT	17.93
robots_1_5_2_100.4	SAT	18.04
ncf_4_16_2_euad.10	UNSAT	18.08
ncf_8_16_8_u.7	UNSAT	19.07
1qbf-5cnf-80var-2560cl.4	UNSAT	19.39
2qbf-5cnf-160var-640cl.4	UNSAT	19.68
1qbf-5cnf-80var-2560cl.2	UNSAT	20.25
1qbf-5cnf-80var-2560cl.0	UNSAT	20.81
ncf_4_8_8_u.2	UNSAT	21.15
ncf_4_16_2_u.3	UNSAT	21.21
1qbf-5cnf-80var-2560cl.3	UNSAT	21.69
ev-pr-4x4-7-3-0-0-1-lg	SAT	21.97
horn_400CNF1440_2aQBF_676	SAT	22.14
1qbf-5cnf-80var-2560cl.8	UNSAT	22.47
1qbf-5cnf-80var-2560cl.9	UNSAT	22.56
1qbf-5cnf-80var-2560cl.7	UNSAT	22.63
robots_1_5_2_80.4	SAT	22.83
1qbf-5cnf-80var-2560cl.5	UNSAT	22.93
1qbf-5cnf-80var-2560cl.6	UNSAT	23.06
comp.blif_0.10_0.20_0_1_inp_exact	SAT	23.65
connect_5x4_3_R	UNSAT	23.89
robots_1_5_2_2.4	SAT	24.33
1qbf-5cnf-80var-2560cl.1	UNSAT	24.39
BLOCKS3ii.5.2	UNSAT	24.5
CHAIN21v.22	SAT	24.87
ncf_16_32_4_u.3	SAT	25.16
ncf_4_8_8_euad.7	SAT	25.91
szymanski-16-s	UNSAT	26.21
term1.blif_0.10_1.00_0_1_inp_exact	SAT	26.27
ncf_16_32_8_d.3	SAT	26.98
toilet_c_10_05.12	SAT	27.58
ncf_4_8_8_u.6	UNSAT	28.39
robots_1_5_2_45.4	SAT	28.49
robots_1_5_5_87.4	SAT	28.49
robots_1_5_4_50.4	SAT	28.59
robots_1_5_4_31.4	SAT	28.68
robots_1_5_4_30.4	SAT	28.85
robots_1_5_3_44.4	SAT	29.12
robots_1_5_4_100.4	SAT	29.17
robots_1_5_3_16.4	SAT	29.22
robots_1_5_3_100.4	SAT	29.46
robots_1_5_2_99.4	SAT	29.7
term1.blif_0.10_1.00_0_1_out_exact	SAT	29.94
4qbf-5cnf-40var-320cl.4	UNSAT	29.96
impl16	SAT	30.46
ncf_8_16_8_d.7	UNSAT	31.5
lut4_2_f2	UNSAT	32.37
4qbf-5cnf-80var-640cl.1	UNSAT	34.53
ncf_4_16_8_euad.7	SAT	35.23
2qbf-5cnf-160var-1280cl.5	UNSAT	35.47
robots_1_5_4_46.4	SAT	37.26
robots_1_5_4_98.4	SAT	37.39
robots_1_5_3_66.4	SAT	37.75
robots_1_5_4_87.4	SAT	38.3
ncf_4_16_4_u.10	UNSAT	39.82
2qbf-5cnf-160var-1280cl.0	UNSAT	41.97
ncf_8_16_4_d.7	SAT	41.98
robots_1_5_4_91.4	SAT	42.59
robots_1_5_5_30.4	SAT	42.61
robots_1_5_4_2.4	SAT	42.86
robots_1_5_3_24.4	SAT	43.01
robots_1_5_5_45.4	SAT	43.48
robots_1_5_3_20.4	SAT	43.64
robots_1_5_3_2.4	SAT	44.02
robots_1_5_3_57.4	SAT	44.07
4qbf-5cnf-40var-320cl.2	UNSAT	44.16
robots_1_5_2_82.4	SAT	44.6
robots_1_5_2_39.4	SAT	44.95
ncf_8_16_8_d.10	SAT	45.51
2qbf-5cnf-160var-1280cl.7	UNSAT	46.75
counter_r_4	SAT	46.86
robots_1_5_5_34.4	SAT	47.88
CHAIN22v.23	SAT	47.97
ncf_8_16_8_euad.7	UNSAT	48.72
robots_1_5_3_78.4	SAT	48.77
robots_1_5_4_51.4	SAT	48.8
3qbf-5cnf-80var-640cl.8	SAT	49.1
robots_1_5_3_52.4	SAT	50.22
szymanski-18-s	UNSAT	51.02
robots_1_5_5_93.4	SAT	53.71
robots_1_5_5_100.4	SAT	53.97
robots_1_5_5_12.4	SAT	54.45
robots_1_5_5_8.4	SAT	54.47
comp.blif_0.10_0.20_0_1_out_exact	SAT	54.48
4qbf-5cnf-160var-1280cl.8	UNSAT	58.27
ncf_4_16_8_euad.10	SAT	58.7
2qbf-5cnf-80var-320cl.6	UNSAT	60.15
ncf_16_32_8_u.7	SAT	60.63
ncf_16_32_8_edau.7	SAT	62.38
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	63.07
ncf_16_32_8_edau.3	SAT	65.78
tree-exa2-40	UNSAT	66.82
ncf_8_16_8_euad.8	UNSAT	69.23
toilet_c_10_01.16	UNSAT	73.44
ncf_16_64_2_u.7	SAT	74.33
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	74.37
3qbf-5cnf-80var-640cl.4	SAT	74.58
ncf_8_16_4_edau.7	SAT	79.85
ncf_16_64_2_edau.7	SAT	80.76
ncf_8_16_4_u.7	SAT	80.81
ncf_16_32_2_d.2	UNSAT	81.66
ncf_4_8_8_u.5	UNSAT	85.21
szymanski-20-s	UNSAT	90.9
ncf_16_32_8_d.10	SAT	93.02
comp.blif_0.10_1.00_0_1_inp_exact	SAT	96.62
2qbf-5cnf-160var-1280cl.6	UNSAT	100.09
CHAIN23v.24	SAT	101.97
ncf_4_16_4_edau.6	UNSAT	104.9
ncf_16_32_8_edau.10	SAT	108.75
k_lin_n-12	SAT	112.35
ncf_16_32_2_euad.2	UNSAT	118.44
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	129.3
renHorn_400CNF1640_2aQBF_42	SAT	131.55
ncf_4_32_2_edau.8	SAT	136.18
ncf_16_32_4_edau.5	UNSAT	143.48
2qbf-5cnf-80var-320cl.8	SAT	149.04
4qbf-5cnf-160var-1280cl.2	UNSAT	151.38
szymanski-22-s	UNSAT	152.17
2qbf-5cnf-160var-640cl.3	UNSAT	159.13
ncf_16_32_8_edau.4	SAT	173.82
ncf_8_16_8_euad.10	SAT	189.83
ncf_4_32_2_u.8	SAT	200.97
ncf_8_16_4_edau.9	UNSAT	201.55
k_lin_n-16	SAT	224.42
ev-pr-4x4-9-3-0-0-1-lg	SAT	229.63
ncf_4_16_4_d.7	SAT	230.16
impl18	SAT	230.98
4qbf-5cnf-40var-320cl.9	UNSAT	234.09
szymanski-24-s	UNSAT	242.15
lut4_AND_fXOR	UNSAT	246.15
ncf_8_16_8_euad.9	UNSAT	247.77
ncf_4_32_2_edau.4	UNSAT	248.27
robots_1_5_5_66.8	SAT	251.56
connect_6x5_5_R	UNSAT	253.79
robots_1_5_2_75.8	SAT	263.93
robots_1_5_3_39.8	SAT	267.32
ncf_16_32_8_u.6	SAT	268.34
3qbf-5cnf-80var-640cl.6	SAT	285.41
ncf_4_16_4_euad.2	SAT	290.95
ncf_16_32_8_edau.6	SAT	293.76
ncf_4_16_4_euad.3	SAT	310.49
ncf_16_32_2_edau.10	UNSAT	311.05
ncf_16_64_2_euad.7	SAT	321.65
ncf_4_16_4_euad.7	SAT	340.31
horn_400CNF2160_2aQBF_308	SAT	346.43
k_dum_p-8	UNSAT	357.68
ncf_4_32_2_d.9	UNSAT	360.99
ncf_16_32_4_d.5	UNSAT	391.31
2qbf-5cnf-80var-320cl.7	SAT	404.42
ncf_16_64_2_d.7	SAT	417.38
ncf_16_32_4_edau.7	UNSAT	434.71
ncf_16_32_4_u.7	UNSAT	455.93
ncf_4_16_8_edau.4	SAT	457.04
robots_1_5_5_33.8	UNSAT	463.06
robots_1_5_4_56.8	UNSAT	463.49
robots_1_5_3_8.8	UNSAT	478.14
ncf_4_16_8_euad.9	SAT	491.6
robots_1_5_4_100.8	UNSAT	495.54
robots_1_5_3_44.8	UNSAT	500.81
ncf_4_32_2_u.4	UNSAT	513.07
ncf_16_32_2_u.10	UNSAT	548.17
ncf_16_32_8_u.4	SAT	564.56
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	565.97
4qbf-5cnf-80var-640cl.6	UNSAT	574.42
3qbf-5cnf-80var-640cl.5	SAT	586.36
ncf_4_32_4_u.2	SAT	611.86
ncf_4_32_4_edau.2	SAT	615.47
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	615.56
ncf_4_32_2_euad.2	SAT	642.75
k_dum_n-8	SAT	661.63
k_branch_n-4	SAT	708.1
ncf_16_32_4_u.5	UNSAT	718.91
ncf_16_32_8_u.3	SAT	720.56
ncf_8_16_4_u.9	UNSAT	721.42
ncf_4_16_4_u.6	UNSAT	785.14
tree-exa2-45	UNSAT	825.17
ncf_4_32_2_euad.9	UNSAT	858.8
ncf_8_16_4_euad.3	SAT	868.03
ncf_4_32_2_d.2	SAT	872.4
s27_d5_u	FAIL	900.16
s499_d8_s	FAIL	900.19
qshifter_5	FAIL	900.19
qshifter_7	FAIL	900.2
s499_d16_s	FAIL	900.22
s510_d2_s	FAIL	900.23
s713_d4_s	FAIL	900.25
s27_d4_u	FAIL	900.25
s499_d22_u	FAIL	900.26
s499_d21_s	FAIL	900.27
s3330_d2_s	FAIL	900.27
s386_d8_u	FAIL	900.28
s1196_d3_u	FAIL	900.28
s1269_d2_s	FAIL	900.28
s820_d10_s	FAIL	900.29
s298_d8_s	FAIL	900.3
qshifter_8	FAIL	900.31
s510_d8_s	FAIL	900.31
s820_d4_s	FAIL	900.32
s298_d19_u	FAIL	900.33
s298_d16_s	FAIL	900.34
qshifter_6	FAIL	900.34
s27_d3_u	FAIL	900.34
s1196_d2_s	FAIL	900.35
s298_d2_s	FAIL	900.35
s298_d4_s	FAIL	900.37
s820_d2_s	FAIL	900.38
s499_d2_s	FAIL	900.38
s386_d2_s	FAIL	900.4
s386_d7_s	FAIL	900.4
s3330_d4_s	FAIL	900.41
s386_d4_s	FAIL	900.42
s820_d11_u	FAIL	900.42
s510_d16_s	FAIL	900.42
s499_d4_s	FAIL	900.43
s510_d4_s	FAIL	900.44
s713_d2_s	FAIL	900.45
s820_d8_s	FAIL	900.47
s298_d18_s	FAIL	900.48
s713_d6_s	FAIL	900.49
s713_d7_u	FAIL	900.51
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900.59
test3_quant_squaring2	FAIL	900.65
s3330_d9_s	FAIL	900.66
s3330_d8_s	FAIL	900.66
tree-exa2-50	FAIL	900.68
test2_quant_squaring3	FAIL	900.73
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	900.73
s510_d32_s	FAIL	900.74
test2_quant2	FAIL	900.75
impl20	FAIL	900.76
test4_quant2	FAIL	900.77
test5_quant_squaring4	FAIL	900.77
test2_quant_squaring2	FAIL	900.78
test2_quant3	FAIL	900.79
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	900.79
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	900.79
test3_quant_squaring4	FAIL	900.79
term1.blif_0.10_1.00_0_0_out_exact	FAIL	900.8
s3330_d10_u	FAIL	900.8
test4_quant_squaring2	FAIL	900.8
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	900.82
ncf_16_32_8_euad.6	FAIL	900.82
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	900.83
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	900.83
test1_quant2	FAIL	900.84
test1_quant_squaring3	FAIL	900.84
ev-pr-6x6-19-5-0-1-2-s	FAIL	900.84
ev-pr-6x6-15-5-0-1-2-s	FAIL	900.84
test1_quant_squaring2	FAIL	900.84
C880.blif_0.10_0.20_0_1_out_exact	FAIL	900.85
ev-pr-6x6-17-5-0-1-2-s	FAIL	900.85
test1_quant3	FAIL	900.85
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	900.85
test4_quant_squaring4	FAIL	900.85
adder-16-sat	FAIL	900.87
ncf_8_16_8_euad.4	FAIL	900.87
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	900.87
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	900.87
test3_quant2	FAIL	900.87
C432.blif_0.10_0.20_0_0_out_exact	FAIL	900.88
k_grz_n-8	FAIL	900.88
3qbf-5cnf-160var-1280cl.9	FAIL	900.89
ev-pr-6x6-9-5-0-1-2-s	FAIL	900.89
test3_quant4	FAIL	900.89
k_ph_n-12	FAIL	900.89
ncf_4_8_8_euad.6	FAIL	900.89
ncf_8_32_2_edau.5	FAIL	900.9
test4_quant4	FAIL	900.9
ncf_8_32_8_edau.1	FAIL	900.9
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	900.9
test5_quant_squaring5	FAIL	900.9
k_grz_p-4	FAIL	900.9
k_poly_n-8	FAIL	900.9
3qbf-5cnf-80var-640cl.0	FAIL	900.9
adder-14-sat	FAIL	900.91
ev-pr-6x6-11-5-0-1-2-s	FAIL	900.91
robots_1_5_3_55.8	FAIL	900.91
k_d4_n-12	FAIL	900.91
ncf_8_32_8_euad.1	FAIL	900.91
connect_9x8_3_R	FAIL	900.91
ncf_16_32_8_edau.5	FAIL	900.91
ev-pr-4x4-5-3-0-0-1-s	FAIL	900.91
ncf_16_32_8_edau.2	FAIL	900.91
adder-4-sat	FAIL	900.92
ncf_8_32_4_edau.6	FAIL	900.92
ev-pr-4x4-15-3-0-0-1-s	FAIL	900.92
ev-pr-6x6-13-5-0-1-2-s	FAIL	900.92
ncf_8_32_2_d.5	FAIL	900.92
uclid-pipe2	FAIL	900.92
ev-pr-4x4-17-3-0-0-1-s	FAIL	900.92
ev-pr-4x4-13-3-0-0-1-s	FAIL	900.92
ev-pr-4x4-11-3-0-0-1-s	FAIL	900.92
ncf_8_64_4_u.8	FAIL	900.92
adder-12-sat	FAIL	900.92
comp.blif_0.10_0.20_0_0_out_exact	FAIL	900.92
k_ph_p-21	FAIL	900.92
ncf_8_16_8_euad.2	FAIL	900.92
ncf_16_32_4_d.10	FAIL	900.92
connect_9x8_5_R	FAIL	900.93
ncf_16_32_4_euad.10	FAIL	900.93
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	900.93
ncf_4_16_8_d.9	FAIL	900.93
ncf_4_16_8_d.10	FAIL	900.93
ncf_16_32_4_euad.6	FAIL	900.93
ncf_8_64_2_edau.5	FAIL	900.93
connect_9x8_4_R	FAIL	900.93
ncf_16_64_8_edau.5	FAIL	900.93
ncf_8_32_2_u.5	FAIL	900.93
ncf_16_32_4_d.6	FAIL	900.93
ncf_8_16_8_d.9	FAIL	900.93
ncf_8_32_4_u.1	FAIL	900.93
adder-8-sat	FAIL	900.93
3qbf-5cnf-80var-640cl.2	FAIL	900.93
ncf_16_64_8_u.4	FAIL	900.93
C880.blif_0.10_0.20_0_0_out_exact	FAIL	900.93
connect_8x7_3_R	FAIL	900.93
C499.blif_0.10_0.20_0_0_out_exact	FAIL	900.93
test5_quant5	FAIL	900.93
k_grz_p-8	FAIL	900.93
3qbf-5cnf-80var-640cl.7	FAIL	900.93
3qbf-5cnf-80var-640cl.3	FAIL	900.94
ncf_16_32_2_d.10	FAIL	900.94
ncf_16_32_2_d.1	FAIL	900.94
adder-8-unsat	FAIL	900.94
ncf_16_32_8_edau.8	FAIL	900.94
test5_quant7	FAIL	900.94
C499.blif_0.10_0.20_0_1_out_exact	FAIL	900.94
ncf_16_64_4_edau.9	FAIL	900.94
k_t4p_p-8	FAIL	900.94
ncf_16_64_2_edau.4	FAIL	900.94
ncf_16_64_4_euad.1	FAIL	900.94
ncf_8_32_4_edau.7	FAIL	900.94
ev-pr-6x6-5-5-0-1-2-s	FAIL	900.94
ncf_8_32_8_d.5	FAIL	900.94
ncf_8_64_8_d.7	FAIL	900.94
ncf_4_16_4_d.3	FAIL	900.94
ncf_8_32_8_edau.8	FAIL	900.94
ncf_8_64_8_d.5	FAIL	900.94
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	900.94
6qbf-5cnf-40var-320cl.3	FAIL	900.94
adder-16-unsat	FAIL	900.94
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	900.94
ncf_8_16_8_euad.5	FAIL	900.94
s510_d47_u	FAIL	900.94
C432.blif_0.10_0.20_0_1_out_exact	FAIL	900.94
ncf_8_32_4_d.6	FAIL	900.95
ncf_16_128_4_d.4	FAIL	900.95
C432.blif_0.10_1.00_0_0_out_exact	FAIL	900.95
ncf_8_32_4_d.4	FAIL	900.95
k_poly_n-4	FAIL	900.95
ncf_16_64_8_d.6	FAIL	900.95
C880.blif_0.10_1.00_0_0_out_exact	FAIL	900.95
k_poly_n-20	FAIL	900.95
connect_9x8_6_R	FAIL	900.95
k_t4p_n-8	FAIL	900.95
Adder2-6-s	FAIL	900.95
k_t4p_p-4	FAIL	900.95
ncf_16_64_2_u.4	FAIL	900.95
horn_400CNF1840_2aQBF_215	FAIL	900.95
3qbf-5cnf-160var-1280cl.3	FAIL	900.95
k_t4p_p-20	FAIL	900.95
k_t4p_p-21	FAIL	900.95
ncf_16_32_8_u.2	FAIL	900.95
ncf_16_32_2_euad.1	FAIL	900.95
ncf_16_64_2_euad.3	FAIL	900.95
3qbf-5cnf-160var-1280cl.5	FAIL	900.95
ncf_8_32_4_euad.5	FAIL	900.95
ncf_16_128_4_d.6	FAIL	900.95
ncf_8_32_4_euad.6	FAIL	900.95
Adder2-4-s	FAIL	900.95
adder-12-unsat	FAIL	900.95
ncf_16_64_2_d.10	FAIL	900.95
2qbf-5cnf-80var-320cl.3	FAIL	900.95
ncf_16_32_8_d.1	FAIL	900.95
ncf_8_64_8_d.6	FAIL	900.95
ncf_16_32_4_edau.6	FAIL	900.95
ev-pr-6x6-7-5-0-1-2-s	FAIL	900.95
ncf_8_32_2_d.7	FAIL	900.96
5qbf-5cnf-80var-640cl.7	FAIL	900.96
counter_r_64	FAIL	900.96
6qbf-5cnf-160var-1280cl.4	FAIL	900.96
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	900.96
5qbf-5cnf-160var-1280cl.8	FAIL	900.96
ncf_8_32_2_d.1	FAIL	900.96
ncf_16_128_2_d.4	FAIL	900.96
4qbf-5cnf-80var-640cl.3	FAIL	900.96
connect_7x6_4_R	FAIL	900.96
ncf_16_32_8_edau.1	FAIL	900.96
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	900.96
ncf_8_32_4_edau.9	FAIL	900.96
k_d4_p-16	FAIL	900.96
4qbf-5cnf-80var-640cl.5	FAIL	900.96
ncf_8_64_8_d.4	FAIL	900.96
k_t4p_n-20	FAIL	900.96
ncf_8_32_4_u.6	FAIL	900.96
4qbf-5cnf-80var-640cl.8	FAIL	900.96
ncf_8_16_8_d.2	FAIL	900.96
6qbf-5cnf-160var-1280cl.2	FAIL	900.96
ncf_8_32_4_euad.7	FAIL	900.96
ncf_8_32_2_u.6	FAIL	900.96
C432.blif_0.10_1.00_0_1_out_exact	FAIL	900.96
k_ph_n-21	FAIL	900.96
ncf_16_64_8_edau.1	FAIL	900.96
connect_9x8_7_R	FAIL	900.96
ev-pr-4x4-9-3-0-0-1-s	FAIL	900.96
ncf_8_32_8_d.8	FAIL	900.96
3qbf-5cnf-160var-1280cl.2	FAIL	900.96
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	900.96
4qbf-5cnf-80var-640cl.7	FAIL	900.96
ncf_16_32_8_u.8	FAIL	900.96
5qbf-5cnf-160var-1280cl.9	FAIL	900.96
ncf_16_64_4_d.2	FAIL	900.96
k_poly_n-12	FAIL	900.96
k_grz_p-20	FAIL	900.96
5qbf-5cnf-160var-1280cl.6	FAIL	900.96
ncf_16_128_2_edau.8	FAIL	900.96
ncf_8_32_8_euad.2	FAIL	900.96
ncf_8_64_8_d.8	FAIL	900.96
ncf_16_32_8_u.5	FAIL	900.96
ncf_16_64_4_u.9	FAIL	900.96
ncf_4_16_8_d.8	FAIL	900.96
4qbf-5cnf-160var-1280cl.0	FAIL	900.96
k_dum_p-21	FAIL	900.97
ncf_16_64_8_u.1	FAIL	900.97
2qbf-5cnf-80var-320cl.1	FAIL	900.97
ncf_4_16_8_d.5	FAIL	900.97
adder-10-sat	FAIL	900.97
k_grz_p-16	FAIL	900.97
k_ph_n-20	FAIL	900.97
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900.97
ncf_8_64_2_edau.6	FAIL	900.97
ncf_8_32_2_edau.1	FAIL	900.97
ncf_16_32_8_d.2	FAIL	900.97
ncf_16_64_8_euad.3	FAIL	900.97
ncf_8_32_4_d.8	FAIL	900.97
ncf_8_32_2_euad.3	FAIL	900.97
ncf_8_32_8_euad.3	FAIL	900.97
2qbf-5cnf-160var-640cl.2	FAIL	900.97
ncf_16_64_2_edau.3	FAIL	900.97
ncf_4_32_4_edau.6	FAIL	900.97
robots_1_5_2_54.8	FAIL	900.97
2qbf-5cnf-160var-640cl.5	FAIL	900.97
connect_8x7_4_R	FAIL	900.97
3qbf-5cnf-160var-1280cl.0	FAIL	900.97
ncf_8_64_2_u.2	FAIL	900.97
3qbf-5cnf-160var-1280cl.4	FAIL	900.97
ncf_16_128_2_d.10	FAIL	900.97
ncf_8_64_2_d.4	FAIL	900.97
adder-6-unsat	FAIL	900.97
adder-10-unsat	FAIL	900.97
connect_8x7_5_R	FAIL	900.97
k_branch_n-20	FAIL	900.97
ncf_16_64_8_edau.3	FAIL	900.97
ncf_8_32_2_euad.5	FAIL	900.97
k_d4_n-8	FAIL	900.97
ncf_8_32_2_edau.6	FAIL	900.97
ncf_8_64_2_d.6	FAIL	900.97
ncf_8_64_2_euad.6	FAIL	900.97
k_t4p_n-12	FAIL	900.97
ncf_8_64_4_u.4	FAIL	900.97
ncf_16_64_8_d.8	FAIL	900.97
2qbf-5cnf-80var-320cl.2	FAIL	900.97
ncf_8_64_2_u.6	FAIL	900.97
ncf_8_32_2_u.2	FAIL	900.97
ncf_16_32_4_u.6	FAIL	900.97
ncf_16_32_2_u.1	FAIL	900.97
ncf_8_16_4_d.3	FAIL	900.97
ncf_8_32_2_edau.3	FAIL	900.97
ncf_4_32_8_d.6	FAIL	900.97
ncf_16_64_4_d.1	FAIL	900.97
ncf_8_32_8_d.6	FAIL	900.97
3qbf-5cnf-160var-1280cl.8	FAIL	900.97
ncf_16_64_2_u.9	FAIL	900.97
ncf_8_32_8_edau.3	FAIL	900.97
5qbf-5cnf-160var-1280cl.7	FAIL	900.97
ncf_8_16_8_d.8	FAIL	900.97
ncf_16_64_2_edau.10	FAIL	900.97
k_t4p_p-12	FAIL	900.97
ncf_4_8_8_d.10	FAIL	900.97
k_grz_p-12	FAIL	900.97
ncf_8_32_2_euad.10	FAIL	900.97
ncf_8_32_4_u.3	FAIL	900.97
ncf_8_64_8_d.9	FAIL	900.97
6qbf-5cnf-160var-1280cl.7	FAIL	900.97
ncf_16_64_4_u.2	FAIL	900.97
ncf_4_32_8_u.6	FAIL	900.97
ncf_8_64_8_d.10	FAIL	900.97
ncf_8_32_2_d.10	FAIL	900.97
4qbf-5cnf-160var-1280cl.4	FAIL	900.97
k_dum_p-16	FAIL	900.97
ncf_16_128_4_d.9	FAIL	900.97
s510_d46_s	FAIL	900.97
4qbf-5cnf-160var-1280cl.5	FAIL	900.97
ncf_16_32_8_d.6	FAIL	900.97
ncf_16_64_8_euad.1	FAIL	900.97
ncf_4_32_4_u.4	FAIL	900.97
ncf_8_32_8_edau.7	FAIL	900.97
ncf_16_64_4_u.1	FAIL	900.97
Adder2-8-s	FAIL	900.97
k_poly_n-21	FAIL	900.97
k_d4_p-8	FAIL	900.97
ncf_8_32_2_euad.6	FAIL	900.97
k_dum_n-12	FAIL	900.97
4qbf-5cnf-160var-1280cl.6	FAIL	900.97
ncf_8_32_8_u.3	FAIL	900.97
ncf_16_64_2_u.3	FAIL	900.97
ncf_16_64_4_edau.2	FAIL	900.97
counter_re_4	FAIL	900.97
ncf_8_32_4_u.7	FAIL	900.97
3qbf-5cnf-160var-1280cl.6	FAIL	900.97
1qbf-5cnf-160var-5120cl.1	FAIL	900.97
1qbf-5cnf-160var-5120cl.8	FAIL	900.97
1qbf-5cnf-160var-5120cl.7	FAIL	900.97
ncf_4_32_8_euad.8	FAIL	900.98
ncf_16_64_8_u.3	FAIL	900.98
adder-6-sat	FAIL	900.98
k_path_p-16	FAIL	900.98
ncf_16_64_4_u.8	FAIL	900.98
k_branch_p-16	FAIL	900.98
ncf_16_64_2_d.3	FAIL	900.98
ncf_16_128_2_d.5	FAIL	900.98
ncf_4_16_8_edau.5	FAIL	900.98
k_branch_n-12	FAIL	900.98
ncf_16_32_4_d.4	FAIL	900.98
k_t4p_n-21	FAIL	900.98
Adder2-16-c	FAIL	900.98
6qbf-5cnf-80var-640cl.5	FAIL	900.98
counter_e_4	FAIL	900.98
ncf_16_128_8_d.2	FAIL	900.98
ncf_16_32_8_d.7	FAIL	900.98
horn_400CNF2000_2aQBF_564	FAIL	900.98
ncf_8_16_8_u.2	FAIL	900.98
ev-pr-4x4-7-3-0-0-1-s	FAIL	900.98
ncf_16_64_8_d.10	FAIL	900.98
ncf_4_8_8_d.6	FAIL	900.98
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	900.98
ncf_8_64_2_u.8	FAIL	900.98
ncf_16_32_8_euad.5	FAIL	900.98
uclid-pipe3a	FAIL	900.98
ncf_4_8_8_d.5	FAIL	900.98
ncf_8_32_4_d.10	FAIL	900.98
ncf_4_16_8_euad.2	FAIL	900.98
2qbf-5cnf-160var-640cl.8	FAIL	900.98
k_lin_n-20	FAIL	900.98
ev-pr-6x6-15-5-0-1-2-lg	FAIL	900.98
ncf_16_32_8_d.9	FAIL	900.98
horn_400CNF1440_2aQBF_829	FAIL	900.98
ncf_8_32_8_d.7	FAIL	900.98
ncf_8_32_4_u.10	FAIL	900.98
ncf_4_16_8_euad.5	FAIL	900.98
ncf_8_32_2_edau.2	FAIL	900.98
ncf_16_64_2_d.4	FAIL	900.98
ncf_16_64_4_euad.9	FAIL	900.98
k_dum_n-16	FAIL	900.98
k_ph_p-20	FAIL	900.98
2qbf-5cnf-160var-1280cl.8	FAIL	900.98
ncf_8_32_2_u.1	FAIL	900.98
ev-pr-4x4-11-3-0-0-1-lg	FAIL	900.98
3qbf-5cnf-80var-640cl.9	FAIL	900.98
ncf_8_64_4_edau.1	FAIL	900.98
ncf_8_64_8_u.4	FAIL	900.98
ncf_4_32_4_euad.1	FAIL	900.98
ncf_8_32_2_edau.10	FAIL	900.98
ncf_16_32_8_d.8	FAIL	900.98
ncf_8_32_2_euad.7	FAIL	900.98
k_branch_p-21	FAIL	900.98
ncf_8_64_4_euad.4	FAIL	900.98
ncf_16_64_4_euad.8	FAIL	900.98
ncf_4_16_4_d.6	FAIL	900.98
ncf_4_32_2_u.10	FAIL	900.98
ncf_16_64_8_d.5	FAIL	900.98
ncf_16_64_8_d.3	FAIL	900.98
ncf_4_32_4_edau.10	FAIL	900.98
ncf_16_64_2_euad.10	FAIL	900.98
ncf_16_64_4_edau.3	FAIL	900.98
ncf_8_16_4_d.9	FAIL	900.98
counter_e_64	FAIL	900.98
k_t4p_n-16	FAIL	900.98
ncf_4_32_8_u.7	FAIL	900.98
ncf_8_64_2_euad.5	FAIL	900.98
ncf_16_128_8_d.10	FAIL	900.98
k_ph_n-16	FAIL	900.98
4qbf-5cnf-160var-1280cl.3	FAIL	900.98
k_d4_n-20	FAIL	900.98
5qbf-5cnf-160var-1280cl.3	FAIL	900.98
ncf_8_32_2_u.4	FAIL	900.98
4qbf-5cnf-80var-640cl.2	FAIL	900.98
k_branch_n-21	FAIL	900.98
ncf_4_32_4_edau.7	FAIL	900.98
5qbf-5cnf-160var-1280cl.2	FAIL	900.98
ncf_8_64_8_edau.3	FAIL	900.98
ncf_4_16_8_euad.4	FAIL	900.98
ncf_8_64_4_u.9	FAIL	900.98
ncf_16_64_4_d.4	FAIL	900.98
6qbf-5cnf-160var-1280cl.0	FAIL	900.98
k_dum_n-20	FAIL	900.98
ncf_4_16_4_d.2	FAIL	900.98
k_path_p-21	FAIL	900.98
ncf_4_32_8_u.8	FAIL	900.98
k_dum_p-12	FAIL	900.98
ncf_16_32_2_edau.1	FAIL	900.98
ncf_8_64_2_edau.1	FAIL	900.98
ncf_8_64_4_edau.9	FAIL	900.98
4qbf-5cnf-160var-1280cl.7	FAIL	900.98
ncf_16_64_8_euad.5	FAIL	900.98
k_branch_n-16	FAIL	900.98
connect_9x8_8_R	FAIL	900.98
ncf_8_64_4_d.5	FAIL	900.98
k_branch_n-8	FAIL	900.98
k_branch_p-8	FAIL	900.98
k_path_n-21	FAIL	900.98
ncf_8_32_8_d.4	FAIL	900.98
ncf_8_64_2_edau.8	FAIL	900.98
ncf_8_64_2_d.8	FAIL	900.98
counter_e_16	FAIL	900.98
ncf_8_32_8_u.7	FAIL	900.98
2qbf-5cnf-160var-1280cl.9	FAIL	900.98
ncf_16_64_8_d.2	FAIL	900.98
ncf_16_64_8_edau.4	FAIL	900.98
ncf_8_64_4_u.3	FAIL	900.98
4qbf-5cnf-160var-1280cl.1	FAIL	900.98
k_dum_n-21	FAIL	900.98
ncf_8_32_4_u.5	FAIL	900.98
adder-4-unsat	FAIL	900.98
ncf_16_64_8_u.5	FAIL	900.98
ncf_16_128_8_d.1	FAIL	900.98
horn_400CNF1760_2aQBF_846	FAIL	900.98
2qbf-5cnf-160var-640cl.0	FAIL	900.98
ncf_16_64_2_d.2	FAIL	900.98
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	900.98
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	900.98
5qbf-5cnf-160var-1280cl.5	FAIL	900.98
2qbf-5cnf-160var-640cl.1	FAIL	900.98
ev-pr-6x6-17-5-0-1-2-lg	FAIL	900.99
robots_1_5_5_100.8	FAIL	900.99
ncf_4_16_8_u.8	FAIL	900.99
counter_8	FAIL	900.99
ev-pr-6x6-11-5-0-1-2-lg	FAIL	900.99
ncf_16_64_4_edau.7	FAIL	900.99
ncf_16_64_8_euad.6	FAIL	900.99
connect_8x7_6_R	FAIL	900.99
ncf_16_128_2_d.1	FAIL	900.99
ncf_4_32_8_edau.8	FAIL	900.99
ncf_8_32_4_edau.5	FAIL	900.99
counter_re_64	FAIL	900.99
ncf_4_32_8_edau.3	FAIL	900.99
ncf_16_32_8_euad.7	FAIL	900.99
counter_16	FAIL	900.99
ncf_8_32_2_edau.7	FAIL	900.99
ncf_16_32_8_euad.1	FAIL	900.99
ncf_8_64_4_d.2	FAIL	900.99
ncf_8_64_8_edau.8	FAIL	900.99
connect_8x7_7_R	FAIL	900.99
ncf_8_32_2_edau.9	FAIL	900.99
ncf_8_16_8_euad.3	FAIL	900.99
ncf_4_16_8_euad.8	FAIL	900.99
ncf_4_32_8_u.5	FAIL	900.99
ncf_8_32_8_edau.4	FAIL	900.99
ncf_8_32_8_u.6	FAIL	900.99
ncf_16_64_4_edau.5	FAIL	900.99
ncf_16_64_2_edau.6	FAIL	900.99
ncf_16_64_8_u.8	FAIL	900.99
ncf_16_128_8_edau.4	FAIL	900.99
k_d4_n-21	FAIL	900.99
ncf_16_64_4_u.7	FAIL	900.99
ncf_16_128_4_u.9	FAIL	900.99
ncf_4_32_8_d.2	FAIL	900.99
ncf_8_32_2_u.9	FAIL	900.99
ncf_4_32_8_d.3	FAIL	900.99
ncf_8_64_2_edau.2	FAIL	900.99
robots_1_5_2_82.8	FAIL	900.99
k_dum_p-20	FAIL	900.99
robots_1_5_2_91.8	FAIL	900.99
ncf_8_64_4_u.5	FAIL	900.99
ncf_16_128_8_euad.2	FAIL	900.99
ncf_16_128_8_edau.6	FAIL	900.99
counter_32	FAIL	900.99
ncf_8_32_4_d.2	FAIL	900.99
ncf_8_64_2_u.1	FAIL	900.99
ncf_8_16_8_d.4	FAIL	900.99
ncf_4_32_8_u.10	FAIL	900.99
ncf_8_32_4_d.5	FAIL	900.99
ncf_8_64_2_u.5	FAIL	900.99
ncf_16_32_2_edau.5	FAIL	900.99
ncf_16_128_4_edau.5	FAIL	900.99
ncf_16_128_2_d.6	FAIL	900.99
k_path_n-8	FAIL	900.99
ncf_16_64_4_d.7	FAIL	900.99
ncf_8_32_2_euad.4	FAIL	900.99
k_d4_n-16	FAIL	900.99
ncf_8_64_4_u.2	FAIL	900.99
ncf_4_16_4_euad.6	FAIL	900.99
ncf_8_64_8_edau.10	FAIL	900.99
ncf_16_64_2_euad.4	FAIL	900.99
ncf_8_64_8_euad.8	FAIL	900.99
ncf_16_128_4_edau.2	FAIL	900.99
ncf_16_128_4_d.10	FAIL	900.99
ncf_4_32_4_d.2	FAIL	900.99
ncf_4_32_4_u.9	FAIL	900.99
C499.blif_0.10_1.00_0_0_out_exact	FAIL	900.99
ncf_4_32_8_d.7	FAIL	900.99
ncf_16_128_2_d.3	FAIL	900.99
ncf_16_64_8_euad.10	FAIL	900.99
ncf_8_32_4_d.1	FAIL	900.99
ncf_4_16_4_euad.4	FAIL	900.99
ncf_8_32_8_d.3	FAIL	900.99
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	900.99
BLOCKS4iii.7	FAIL	900.99
ncf_8_64_8_edau.1	FAIL	900.99
ncf_8_32_8_u.1	FAIL	900.99
ncf_16_32_8_euad.3	FAIL	900.99
ncf_16_64_4_u.6	FAIL	900.99
ncf_16_128_2_d.2	FAIL	900.99
ncf_16_64_2_d.8	FAIL	900.99
ncf_4_32_4_u.3	FAIL	900.99
k_d4_p-21	FAIL	900.99
ncf_4_16_8_euad.6	FAIL	900.99
Adder2-14-s	FAIL	900.99
k_branch_p-4	FAIL	900.99
4qbf-5cnf-160var-1280cl.9	FAIL	900.99
k_branch_p-12	FAIL	900.99
ncf_8_64_4_edau.3	FAIL	900.99
ncf_4_32_8_u.1	FAIL	900.99
ncf_16_128_4_d.5	FAIL	900.99
ncf_4_32_4_edau.9	FAIL	900.99
ncf_16_64_2_u.10	FAIL	900.99
ncf_4_32_8_edau.9	FAIL	900.99
ncf_16_128_8_euad.3	FAIL	900.99
ncf_8_32_8_edau.9	FAIL	900.99
ncf_16_64_2_u.8	FAIL	900.99
ncf_16_128_8_edau.2	FAIL	900.99
ncf_8_32_8_euad.10	FAIL	900.99
BLOCKS3i.4.4	FAIL	900.99
horn_400CNF1200_2aQBF_539	FAIL	900.99
ncf_16_64_2_u.6	FAIL	900.99
ncf_16_128_4_edau.6	FAIL	900.99
counter_e_8	FAIL	900.99
ncf_16_128_2_u.3	FAIL	900.99
k_poly_n-16	FAIL	900.99
Adder2-16-s	FAIL	900.99
connect_7x6_3_R	FAIL	900.99
ncf_16_32_2_euad.10	FAIL	900.99
k_grz_n-12	FAIL	900.99
ncf_16_128_4_d.7	FAIL	900.99
ncf_16_32_8_edau.9	FAIL	900.99
5qbf-5cnf-160var-1280cl.0	FAIL	900.99
ncf_4_32_4_euad.7	FAIL	900.99
ncf_16_32_8_euad.2	FAIL	900.99
robots_1_5_2_9.8	FAIL	900.99
robots_1_5_3_90.8	FAIL	900.99
ncf_4_32_8_edau.10	FAIL	900.99
ncf_8_64_2_u.9	FAIL	900.99
horn_400CNF1680_2aQBF_482	FAIL	900.99
k_grz_p-21	FAIL	900.99
robots_1_5_4_96.8	FAIL	900.99
ncf_8_16_4_euad.9	FAIL	900.99
ncf_16_64_4_edau.6	FAIL	900.99
counter_64	FAIL	900.99
ncf_4_32_2_u.1	FAIL	900.99
ncf_8_32_4_euad.1	FAIL	900.99
connect_7x6_5_R	FAIL	900.99
ncf_16_128_4_edau.1	FAIL	900.99
ncf_4_32_2_edau.10	FAIL	900.99
robots_1_5_5_10.8	FAIL	900.99
robots_1_5_5_14.8	FAIL	900.99
ncf_16_128_4_u.6	FAIL	900.99
ncf_4_16_8_euad.1	FAIL	900.99
ncf_16_32_2_euad.5	FAIL	900.99
ncf_8_32_8_u.5	FAIL	900.99
k_branch_p-20	FAIL	900.99
ncf_8_32_2_euad.1	FAIL	900.99
ncf_8_64_8_d.2	FAIL	900.99
ncf_16_32_8_euad.9	FAIL	900.99
ncf_16_64_4_edau.1	FAIL	900.99
ncf_16_64_8_euad.4	FAIL	900.99
k_lin_n-21	FAIL	900.99
ncf_16_128_2_u.7	FAIL	900.99
ncf_16_128_2_d.8	FAIL	900.99
5qbf-5cnf-160var-1280cl.1	FAIL	900.99
ncf_8_32_2_d.6	FAIL	900.99
ncf_8_64_2_d.5	FAIL	900.99
counter_r_8	FAIL	900.99
ncf_8_64_4_d.8	FAIL	900.99
k_path_p-20	FAIL	900.99
ncf_16_32_4_euad.4	FAIL	900.99
ncf_16_128_2_edau.3	FAIL	900.99
s1269_d11_u	FAIL	900.99
ncf_16_128_8_d.4	FAIL	900.99
ncf_8_64_8_d.3	FAIL	900.99
ncf_16_32_8_d.5	FAIL	900.99
k_path_n-12	FAIL	900.99
ncf_16_32_4_euad.7	FAIL	900.99
k_path_p-12	FAIL	900.99
C880.blif_0.10_1.00_0_1_out_exact	FAIL	900.99
ncf_16_64_8_u.6	FAIL	900.99
ncf_16_128_4_edau.8	FAIL	900.99
ncf_4_32_4_d.1	FAIL	900.99
ncf_8_32_4_u.2	FAIL	900.99
toilet_a_10_01.16	FAIL	900.99
ncf_4_32_8_euad.9	FAIL	900.99
ncf_16_32_8_u.9	FAIL	900.99
ncf_8_64_4_u.1	FAIL	900.99
ncf_16_64_4_d.10	FAIL	900.99
horn_400CNF1600_2aQBF_514	FAIL	900.99
ncf_8_32_2_d.4	FAIL	900.99
ncf_8_32_8_euad.8	FAIL	900.99
ncf_8_64_4_euad.6	FAIL	900.99
ncf_16_64_4_u.5	FAIL	900.99
k_lin_p-20	FAIL	900.99
ncf_8_64_8_u.6	FAIL	900.99
Adder2-10-s	FAIL	900.99
ncf_8_32_8_euad.6	FAIL	900.99
k_grz_n-21	FAIL	900.99
k_path_n-16	FAIL	900.99
ev-pr-6x6-13-5-0-1-2-lg	FAIL	900.99
ncf_8_32_8_euad.7	FAIL	900.99
s1269_d8_s	FAIL	900.99
2qbf-5cnf-160var-640cl.9	FAIL	900.99
ncf_8_64_2_edau.3	FAIL	900.99
ncf_16_128_2_euad.4	FAIL	900.99
k_t4p_n-4	FAIL	900.99
ev-pr-8x8-17-7-0-1-2-lg	FAIL	900.99
ncf_16_64_8_d.1	FAIL	900.99
ncf_16_128_2_euad.2	FAIL	900.99
ncf_4_32_4_d.3	FAIL	900.99
robots_1_5_3_27.8	FAIL	900.99
ncf_8_64_8_u.7	FAIL	900.99
2qbf-5cnf-160var-640cl.6	FAIL	900.99
6qbf-5cnf-160var-1280cl.8	FAIL	900.99
ncf_4_32_4_euad.4	FAIL	900.99
ncf_16_64_2_d.5	FAIL	900.99
ncf_16_128_4_d.1	FAIL	900.99
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	900.99
1qbf-5cnf-160var-5120cl.2	FAIL	900.99
ncf_8_64_2_d.10	FAIL	901
ncf_8_32_4_euad.2	FAIL	901
ncf_16_64_4_d.9	FAIL	901
counter_re_32	FAIL	901
ncf_16_64_8_d.4	FAIL	901
ncf_16_128_2_euad.7	FAIL	901
ncf_8_64_8_edau.9	FAIL	901
ncf_16_128_8_u.2	FAIL	901
ncf_16_128_8_euad.7	FAIL	901
ncf_4_32_2_d.4	FAIL	901
ncf_4_32_2_edau.5	FAIL	901
ncf_8_32_8_u.10	FAIL	901
ncf_4_16_8_d.4	FAIL	901
ncf_4_16_8_edau.8	FAIL	901
ncf_4_32_2_euad.6	FAIL	901
ncf_8_32_4_edau.3	FAIL	901
ncf_4_32_4_u.5	FAIL	901
ncf_8_64_8_euad.4	FAIL	901
ncf_16_64_4_euad.5	FAIL	901
ncf_16_64_8_u.7	FAIL	901
ncf_4_32_2_edau.1	FAIL	901
6qbf-5cnf-160var-1280cl.5	FAIL	901
ncf_4_32_2_euad.7	FAIL	901
ncf_8_64_4_d.7	FAIL	901
ncf_16_128_8_d.3	FAIL	901
3qbf-5cnf-160var-1280cl.7	FAIL	901
BLOCKS4i.6.4	FAIL	901
5qbf-5cnf-80var-640cl.0	FAIL	901
ncf_16_32_4_d.7	FAIL	901
ncf_16_32_8_u.1	FAIL	901
ncf_16_64_4_d.3	FAIL	901
ncf_8_64_8_u.10	FAIL	901
ncf_16_128_4_u.3	FAIL	901
ncf_16_128_4_edau.9	FAIL	901
counter_r_32	FAIL	901
BLOCKS3i.5.4	FAIL	901
ncf_4_32_4_euad.9	FAIL	901
ncf_8_64_4_d.9	FAIL	901
ncf_16_128_8_euad.10	FAIL	901
ncf_8_32_8_d.2	FAIL	901
ncf_8_32_8_edau.5	FAIL	901
ncf_16_128_2_euad.9	FAIL	901
ncf_4_32_2_u.7	FAIL	901
ncf_16_64_8_d.7	FAIL	901
ncf_16_128_2_u.8	FAIL	901
ncf_8_32_2_u.7	FAIL	901
3qbf-5cnf-160var-1280cl.1	FAIL	901
ncf_8_64_2_euad.9	FAIL	901
ncf_16_128_8_u.3	FAIL	901
adder-14-unsat	FAIL	901
ncf_4_32_8_euad.3	FAIL	901
ncf_8_64_8_u.2	FAIL	901
ncf_16_64_4_u.4	FAIL	901
ev-pr-8x8-13-7-0-1-2-lg	FAIL	901
renHorn_400CNF1200_2aQBF_2	FAIL	901
ncf_4_32_8_edau.6	FAIL	901
ncf_8_64_4_euad.7	FAIL	901
ev-pr-4x4-13-3-0-0-1-lg	FAIL	901
BLOCKS4ii.6.3	FAIL	901
ncf_8_32_8_euad.5	FAIL	901
robots_1_5_2_40.8	FAIL	901
ev-pr-6x6-19-5-0-1-2-lg	FAIL	901
ncf_4_32_8_edau.7	FAIL	901
2qbf-5cnf-160var-1280cl.3	FAIL	901
ncf_4_16_8_d.6	FAIL	901
ncf_4_16_8_d.3	FAIL	901
BLOCKS4ii.7.2	FAIL	901
ncf_4_32_2_euad.3	FAIL	901
ncf_4_16_4_u.3	FAIL	901
ncf_16_64_4_euad.4	FAIL	901
ncf_4_32_2_edau.7	FAIL	901
ev-pr-6x6-9-5-0-1-2-lg	FAIL	901
ncf_4_32_8_euad.10	FAIL	901
ncf_8_64_4_edau.4	FAIL	901
ncf_4_16_8_u.2	FAIL	901
ncf_8_64_8_euad.9	FAIL	901
ncf_16_128_8_d.6	FAIL	901
ncf_4_32_8_u.3	FAIL	901
s1269_d10_s	FAIL	901
ncf_8_16_8_u.4	FAIL	901
ncf_4_32_2_euad.8	FAIL	901
ev-pr-8x8-19-7-0-1-2-lg	FAIL	901
ncf_4_32_8_d.9	FAIL	901
ncf_8_64_4_edau.2	FAIL	901
connect_6x5_4_R	FAIL	901
ncf_8_32_8_d.10	FAIL	901
ncf_16_32_8_euad.8	FAIL	901
ncf_16_128_2_edau.2	FAIL	901
ncf_8_32_4_edau.1	FAIL	901
ncf_16_64_2_d.9	FAIL	901
Adder2-10-c	FAIL	901
ncf_16_128_2_d.9	FAIL	901
ncf_4_32_4_euad.6	FAIL	901
ncf_4_16_4_edau.2	FAIL	901
ncf_16_64_4_edau.8	FAIL	901
ncf_16_128_8_edau.1	FAIL	901
ncf_4_16_8_euad.3	FAIL	901
ncf_4_32_2_euad.5	FAIL	901
ncf_4_32_2_d.10	FAIL	901
ncf_16_64_4_euad.7	FAIL	901
ncf_16_64_8_u.9	FAIL	901
ncf_16_128_8_d.8	FAIL	901
ncf_4_32_2_edau.3	FAIL	901
counter_r_16	FAIL	901
ncf_8_64_4_edau.5	FAIL	901
ncf_8_64_2_d.1	FAIL	901
k_lin_p-16	FAIL	901
ncf_4_32_8_u.2	FAIL	901
ncf_16_32_8_u.10	FAIL	901
ncf_16_128_2_edau.1	FAIL	901
robots_1_5_3_64.8	FAIL	901
ncf_16_128_2_u.4	FAIL	901
ncf_16_128_8_euad.5	FAIL	901
ncf_16_128_8_edau.7	FAIL	901
ncf_16_128_8_u.5	FAIL	901
ncf_8_16_4_u.3	FAIL	901
ncf_8_32_4_d.7	FAIL	901
ncf_16_64_8_euad.8	FAIL	901
ncf_16_128_2_euad.10	FAIL	901
ncf_4_32_4_d.4	FAIL	901
ncf_16_128_8_u.6	FAIL	901
ncf_8_32_8_edau.6	FAIL	901
k_ph_p-12	FAIL	901
term1.blif_0.10_0.20_0_0_out_exact	FAIL	901
ncf_16_128_4_edau.10	FAIL	901
ncf_8_32_4_u.8	FAIL	901
4qbf-5cnf-80var-640cl.9	FAIL	901
ncf_4_32_8_edau.4	FAIL	901
robots_1_5_2_67.8	FAIL	901
ncf_4_16_8_edau.3	FAIL	901
ncf_8_32_4_u.9	FAIL	901
ncf_16_64_2_euad.8	FAIL	901
ncf_16_64_2_u.5	FAIL	901
ncf_16_64_4_euad.10	FAIL	901
ncf_16_64_4_d.5	FAIL	901
ncf_4_32_2_edau.6	FAIL	901
ncf_8_32_4_euad.3	FAIL	901
k_t4p_p-16	FAIL	901
ncf_8_64_4_euad.8	FAIL	901
k_d4_p-12	FAIL	901
ncf_4_32_4_edau.5	FAIL	901
ncf_8_32_4_edau.4	FAIL	901
ncf_4_32_4_euad.10	FAIL	901
ncf_4_32_2_d.5	FAIL	901
ncf_4_32_4_u.7	FAIL	901
ncf_4_32_8_euad.6	FAIL	901
ncf_8_64_4_euad.2	FAIL	901
ncf_8_64_8_edau.5	FAIL	901
ncf_8_64_8_edau.6	FAIL	901
ncf_16_128_4_u.4	FAIL	901
ncf_16_128_8_euad.1	FAIL	901
ncf_16_128_8_d.5	FAIL	901
ncf_8_64_2_edau.4	FAIL	901
ncf_16_128_2_euad.3	FAIL	901
ncf_4_32_4_u.8	FAIL	901
ncf_8_64_4_euad.9	FAIL	901
counter_re_8	FAIL	901
ncf_16_128_8_euad.4	FAIL	901
ncf_8_64_8_euad.5	FAIL	901
ncf_16_32_2_euad.4	FAIL	901
ncf_16_128_4_u.1	FAIL	901
ncf_4_32_4_euad.8	FAIL	901
ncf_8_32_4_d.3	FAIL	901
robots_1_5_4_75.8	FAIL	901
robots_1_5_4_91.8	FAIL	901
ncf_4_32_2_u.6	FAIL	901
ncf_16_128_2_edau.7	FAIL	901
ncf_16_64_2_d.6	FAIL	901
ncf_16_128_4_euad.2	FAIL	901
ncf_16_128_2_edau.6	FAIL	901
ncf_8_64_2_euad.10	FAIL	901
ncf_8_32_8_euad.4	FAIL	901
ncf_8_64_2_edau.9	FAIL	901
ncf_16_64_2_euad.6	FAIL	901
ev-pr-4x4-17-3-0-0-1-lg	FAIL	901
ncf_8_32_8_edau.2	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
robots_1_5_2_61.8	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
robots_1_5_5_12.8	FAIL	901
ncf_16_32_2_d.5	FAIL	901
Adder2-8-c	FAIL	901
counter_e_32	FAIL	901
ncf_4_16_4_u.4	FAIL	901
ncf_4_32_8_d.1	FAIL	901
ncf_4_32_8_euad.7	FAIL	901
ncf_16_64_2_euad.9	FAIL	901
ncf_16_64_8_u.2	FAIL	901
ncf_16_64_8_edau.9	FAIL	901
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	901
ncf_8_64_4_edau.7	FAIL	901
ncf_8_64_8_edau.7	FAIL	901
ncf_8_64_8_u.8	FAIL	901
ncf_4_8_8_euad.5	FAIL	901
ncf_16_128_4_euad.1	FAIL	901
ncf_16_128_4_u.2	FAIL	901
k_d4_n-4	FAIL	901
ncf_8_32_2_euad.9	FAIL	901
ncf_8_64_2_euad.8	FAIL	901
ncf_16_64_4_euad.2	FAIL	901
ncf_16_128_4_euad.4	FAIL	901
ncf_16_128_4_edau.7	FAIL	901
ncf_16_128_8_edau.5	FAIL	901
ncf_16_128_8_euad.6	FAIL	901
ncf_16_128_8_euad.8	FAIL	901
ncf_8_16_8_edau.4	FAIL	901
ncf_16_64_4_u.10	FAIL	901
ncf_16_128_8_edau.9	FAIL	901
ncf_4_32_2_d.6	FAIL	901
ncf_16_128_8_u.9	FAIL	901
ncf_4_32_4_edau.8	FAIL	901
ncf_4_32_8_euad.2	FAIL	901
ncf_8_32_8_d.1	FAIL	901
ncf_8_64_4_d.10	FAIL	901
horn_400CNF1360_2aQBF_310	FAIL	901
ncf_8_64_2_euad.3	FAIL	901
ncf_8_16_8_edau.2	FAIL	901
ncf_16_128_4_u.7	FAIL	901
ncf_16_128_4_euad.8	FAIL	901
ncf_8_16_8_d.5	FAIL	901
counter_re_16	FAIL	901
ev-pr-8x8-15-7-0-1-2-lg	FAIL	901
ncf_8_32_8_u.4	FAIL	901
ncf_16_128_2_euad.1	FAIL	901
Adder2-12-s	FAIL	901
ncf_16_128_2_euad.8	FAIL	901
ncf_16_128_2_edau.9	FAIL	901
ncf_16_128_2_u.5	FAIL	901
ncf_16_128_2_edau.5	FAIL	901
ncf_4_32_4_edau.3	FAIL	901
ncf_4_32_8_u.4	FAIL	901
ncf_8_64_2_euad.4	FAIL	901
ncf_4_16_8_edau.1	FAIL	901
ncf_8_32_2_d.2	FAIL	901
ncf_8_64_4_edau.10	FAIL	901
k_path_n-20	FAIL	901
ncf_4_16_4_edau.4	FAIL	901
ncf_8_32_4_edau.8	FAIL	901
ncf_4_32_4_euad.3	FAIL	901
ncf_4_32_8_edau.5	FAIL	901
ncf_8_32_2_d.9	FAIL	901
ncf_8_32_8_d.9	FAIL	901
ncf_16_64_4_euad.6	FAIL	901
ncf_16_128_8_d.7	FAIL	901
robots_1_5_4_24.8	FAIL	901
ev-pr-8x8-11-7-0-1-2-lg	FAIL	901
ncf_16_128_4_u.5	FAIL	901
ncf_16_64_8_edau.7	FAIL	901
ncf_4_32_4_euad.2	FAIL	901
Adder2-6-c	FAIL	901
connect_7x6_6_R	FAIL	901
ncf_8_32_2_d.3	FAIL	901
ncf_8_32_8_u.9	FAIL	901
ncf_4_16_8_d.1	FAIL	901
ncf_8_64_2_u.10	FAIL	901
ncf_8_64_4_euad.1	FAIL	901
ncf_8_64_8_d.1	FAIL	901
ncf_16_32_4_u.4	FAIL	901
ncf_16_64_8_euad.7	FAIL	901
ncf_16_128_2_u.10	FAIL	901
ncf_8_64_2_d.7	FAIL	901
ncf_16_128_8_u.4	FAIL	901
ncf_16_128_8_edau.10	FAIL	901
BLOCKS3i.5.3	FAIL	901
ncf_8_32_2_u.3	FAIL	901
ncf_16_128_2_edau.10	FAIL	901
ncf_8_64_4_edau.8	FAIL	901
Adder2-4-c	FAIL	901
ncf_8_64_2_edau.10	FAIL	901
ncf_16_128_4_euad.7	FAIL	901
ncf_8_64_8_edau.2	FAIL	901
ncf_4_32_4_d.9	FAIL	901
ncf_16_64_8_euad.2	FAIL	901
ncf_8_64_2_euad.7	FAIL	901
ncf_4_32_8_d.4	FAIL	901
ncf_16_64_8_d.9	FAIL	901
ncf_4_32_2_u.5	FAIL	901
ncf_8_64_2_d.2	FAIL	901
ncf_8_32_4_u.4	FAIL	901
ncf_8_64_8_euad.7	FAIL	901
ncf_8_64_4_u.6	FAIL	901
ncf_16_64_2_edau.9	FAIL	901
ncf_8_32_2_u.10	FAIL	901
ncf_4_16_4_u.2	FAIL	901
ncf_16_128_8_edau.8	FAIL	901
ncf_4_8_8_d.2	FAIL	901
ncf_16_128_8_euad.9	FAIL	901
ncf_16_128_8_u.10	FAIL	901
6qbf-5cnf-80var-640cl.0	FAIL	901
ev-pr-4x4-15-3-0-0-1-lg	FAIL	901
ncf_16_64_2_edau.5	FAIL	901
uclid-pipe3b	FAIL	901
ncf_8_64_8_edau.4	FAIL	901
ncf_4_16_4_euad.10	FAIL	901
ncf_4_32_4_u.6	FAIL	901
ncf_8_64_2_edau.7	FAIL	901
ncf_8_64_8_u.1	FAIL	901
ncf_4_16_8_u.5	FAIL	901
ncf_16_128_2_d.7	FAIL	901
robots_1_5_4_46.8	FAIL	901
ncf_4_32_4_d.8	FAIL	901
ncf_8_16_4_edau.3	FAIL	901
ncf_16_64_8_edau.2	FAIL	901
ncf_4_16_8_u.1	FAIL	901
ncf_8_64_4_euad.5	FAIL	901
Adder2-14-c	FAIL	901
ncf_4_16_4_d.4	FAIL	901
5qbf-5cnf-160var-1280cl.4	FAIL	901
ncf_16_128_4_u.8	FAIL	901
ncf_16_128_4_d.8	FAIL	901
ncf_4_16_8_edau.6	FAIL	901
ncf_4_32_4_u.10	FAIL	901
ncf_4_32_8_edau.2	FAIL	901
ncf_8_32_8_u.2	FAIL	901
ncf_4_16_8_edau.2	FAIL	901
ncf_8_64_2_d.9	FAIL	901
ncf_16_128_4_u.10	FAIL	901
ncf_16_128_4_euad.10	FAIL	901
robots_1_5_4_17.8	FAIL	901
robots_1_5_4_99.8	FAIL	901
1qbf-5cnf-160var-5120cl.3	FAIL	901
1qbf-5cnf-160var-5120cl.9	FAIL	901
1qbf-5cnf-160var-5120cl.0	FAIL	901
1qbf-5cnf-160var-5120cl.6	FAIL	901
1qbf-5cnf-160var-5120cl.4	FAIL	901
1qbf-5cnf-160var-5120cl.5	FAIL	901
robots_1_5_5_50.8	FAIL	901.01
ncf_8_64_2_euad.1	FAIL	901.01
ncf_16_64_8_edau.6	FAIL	901.01
robots_1_5_5_5.8	FAIL	901.01
robots_1_5_5_95.8	FAIL	901.01
robots_1_5_5_99.8	FAIL	901.01
ncf_8_64_4_u.7	FAIL	901.01
ncf_8_64_8_euad.2	FAIL	901.01
ncf_16_32_2_u.5	FAIL	901.01
ncf_4_32_4_d.6	FAIL	901.01
ncf_8_16_8_u.5	FAIL	901.01
ncf_16_64_2_euad.2	FAIL	901.01
ncf_16_64_8_edau.10	FAIL	901.01
ncf_4_16_8_u.6	FAIL	901.01
ncf_8_16_8_u.3	FAIL	901.01
ncf_16_128_2_u.2	FAIL	901.01
k_d4_p-20	FAIL	901.01
ncf_8_64_4_d.3	FAIL	901.01
ncf_4_16_8_u.3	FAIL	901.01
ncf_8_64_2_d.3	FAIL	901.01
ncf_16_64_8_u.10	FAIL	901.01
ncf_4_32_2_euad.4	FAIL	901.01
ncf_8_64_4_d.6	FAIL	901.01
ncf_8_32_4_d.9	FAIL	901.01
ncf_16_64_8_edau.8	FAIL	901.01
ncf_8_64_8_u.5	FAIL	901.01
ncf_8_64_4_edau.6	FAIL	901.01
BLOCKS4iii.6	FAIL	901.01
ncf_4_32_4_d.5	FAIL	901.01
ncf_16_64_8_euad.9	FAIL	901.01
ncf_16_64_4_d.6	FAIL	901.01
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
ncf_16_128_4_d.2	FAIL	901.01
ncf_4_16_8_u.4	FAIL	901.01
ncf_8_32_4_edau.10	FAIL	901.01
ncf_8_32_4_euad.4	FAIL	901.01
ncf_8_32_4_euad.10	FAIL	901.01
ncf_16_128_2_euad.6	FAIL	901.01
2qbf-5cnf-160var-1280cl.1	FAIL	901.01
ncf_4_32_2_d.7	FAIL	901.01
ncf_8_64_4_u.10	FAIL	901.01
s1269_d4_s	FAIL	901.01
ncf_8_64_8_u.9	FAIL	901.01
ncf_16_128_2_u.1	FAIL	901.01
ncf_8_16_8_edau.3	FAIL	901.01
ncf_16_32_8_euad.10	FAIL	901.01
ncf_16_128_8_u.1	FAIL	901.01
ncf_4_32_2_u.3	FAIL	901.01
ncf_4_32_8_euad.5	FAIL	901.01
ncf_16_128_8_edau.3	FAIL	901.01
ncf_4_32_2_d.3	FAIL	901.01
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
k_grz_n-16	FAIL	901.01
ncf_16_128_4_edau.4	FAIL	901.01
ncf_16_128_4_euad.6	FAIL	901.01
ncf_16_128_8_u.7	FAIL	901.01
ncf_16_128_4_edau.3	FAIL	901.01
ncf_16_128_8_u.8	FAIL	901.01
ncf_8_16_8_edau.5	FAIL	901.01
ncf_8_32_4_euad.9	FAIL	901.01
ncf_8_64_4_euad.3	FAIL	901.01
ncf_16_32_4_u.10	FAIL	901.01
ncf_16_64_2_edau.8	FAIL	901.01
ncf_16_64_2_u.2	FAIL	901.01
ncf_16_64_4_u.3	FAIL	901.01
ncf_16_128_4_euad.5	FAIL	901.01
ncf_8_64_8_euad.6	FAIL	901.01
ncf_4_32_4_u.1	FAIL	901.01
robots_1_5_2_32.8	FAIL	901.01
ncf_16_64_2_euad.5	FAIL	901.01
ncf_16_128_2_u.6	FAIL	901.01
ncf_8_64_4_d.4	FAIL	901.01
ncf_16_64_4_edau.4	FAIL	901.01
robots_1_5_2_100.8	FAIL	901.01
ncf_8_64_2_u.3	FAIL	901.01
ncf_16_32_4_edau.10	FAIL	901.01
robots_1_5_4_1.8	FAIL	901.01
robots_1_5_3_100.8	FAIL	901.01
ncf_4_32_8_u.9	FAIL	901.01
ncf_4_32_8_euad.1	FAIL	901.01
ncf_16_128_4_d.3	FAIL	901.01
ncf_8_64_2_euad.2	FAIL	901.01
ncf_4_8_8_d.7	FAIL	901.01
robots_1_5_3_70.8	FAIL	901.01
ncf_8_64_8_euad.1	FAIL	901.01
ncf_8_64_8_u.3	FAIL	901.01
ncf_8_64_2_u.4	FAIL	901.01
ncf_8_32_2_edau.4	FAIL	901.01
ncf_16_128_2_edau.4	FAIL	901.01
ncf_8_64_4_euad.10	FAIL	901.01
ncf_4_32_2_d.8	FAIL	901.01
ncf_8_64_2_u.7	FAIL	901.01
ncf_16_128_4_euad.9	FAIL	901.01
ncf_4_32_8_d.10	FAIL	901.01
ncf_16_128_2_u.9	FAIL	901.01
k_ph_p-8	FAIL	901.01
ncf_4_32_8_edau.1	FAIL	901.01
ncf_4_32_2_euad.10	FAIL	901.01
ncf_16_32_4_edau.4	FAIL	901.01
ncf_4_32_4_d.7	FAIL	901.01
ncf_16_64_4_d.8	FAIL	901.01
ncf_4_32_4_d.10	FAIL	901.01
k_ph_p-16	FAIL	901.01
ncf_4_8_8_euad.2	FAIL	901.01
ncf_8_64_8_euad.10	FAIL	901.01
ncf_4_32_4_edau.1	FAIL	901.01
ncf_16_32_2_d.4	FAIL	901.01
ev-pr-8x8-9-7-0-1-2-lg	FAIL	901.01
ncf_16_32_4_euad.5	FAIL	901.01
k_grz_n-20	FAIL	901.01
ncf_4_32_4_euad.5	FAIL	901.01
ncf_8_32_8_euad.9	FAIL	901.01
ncf_16_64_2_edau.2	FAIL	901.01
ncf_16_128_4_euad.3	FAIL	901.01
ncf_4_16_4_d.10	FAIL	901.01
ncf_4_32_4_edau.4	FAIL	901.01
ncf_16_64_4_edau.10	FAIL	901.01
ncf_8_64_4_d.1	FAIL	901.01
ncf_8_16_8_d.3	FAIL	901.01
ncf_4_16_4_edau.3	FAIL	901.01
ncf_4_32_8_d.5	FAIL	901.01
ncf_4_16_8_d.2	FAIL	901.01
robots_1_5_3_16.8	FAIL	901.01
ncf_16_128_2_euad.5	FAIL	901.01
k_path_p-8	FAIL	901.01
ncf_4_32_2_euad.1	FAIL	901.01
ncf_16_128_8_d.9	FAIL	901.01
ncf_8_32_4_edau.2	FAIL	901.01
ncf_8_64_8_euad.3	FAIL	901.01
k_lin_p-21	FAIL	901.01
BLOCKS3iii.5	FAIL	901.01
ncf_16_64_4_euad.3	FAIL	901.01
connect_6x5_3_R	FAIL	901.02
Adder2-12-c	FAIL	901.02

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by sSolve
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by sSolve QBFEVAL'05

Instances solved by sSolve
QBFEVAL'05