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

Instances solved by openQbf
QBFEVAL'05

Instance	Result	Time
6qbf-5cnf-20var-80cl.8	SAT	0.11
3qbf-5cnf-20var-40cl.0	SAT	0.12
1qbf-5cnf-20var-40cl.9	SAT	0.12
1qbf-5cnf-20var-40cl.4	SAT	0.12
5qbf-5cnf-40var-80cl.5	SAT	0.13
3qbf-5cnf-20var-80cl.9	SAT	0.13
s641_d6_s	FAIL	0.13
3qbf-5cnf-20var-40cl.1	SAT	0.13
6qbf-5cnf-40var-80cl.3	SAT	0.14
3qbf-5cnf-20var-80cl.1	SAT	0.14
s641_d4_s	FAIL	0.14
3qbf-5cnf-40var-80cl.7	SAT	0.14
6qbf-5cnf-40var-80cl.4	SAT	0.14
6qbf-5cnf-80var-160cl.9	SAT	0.14
4qbf-5cnf-40var-80cl.2	SAT	0.14
3qbf-5cnf-20var-40cl.3	SAT	0.14
4qbf-5cnf-20var-40cl.9	SAT	0.14
impl02	SAT	0.14
3qbf-5cnf-20var-80cl.3	SAT	0.14
6qbf-5cnf-20var-80cl.1	SAT	0.14
5qbf-5cnf-20var-80cl.7	SAT	0.14
4qbf-5cnf-40var-80cl.6	SAT	0.14
s641_d7_u	FAIL	0.14
1qbf-5cnf-40var-80cl.8	SAT	0.14
1qbf-5cnf-40var-80cl.0	SAT	0.14
6qbf-5cnf-20var-40cl.0	SAT	0.15
s641_d2_s	FAIL	0.15
6qbf-5cnf-40var-160cl.1	SAT	0.15
5qbf-5cnf-40var-80cl.6	SAT	0.15
5qbf-5cnf-20var-80cl.9	SAT	0.15
4qbf-5cnf-20var-40cl.8	SAT	0.15
6qbf-5cnf-20var-40cl.6	SAT	0.15
5qbf-5cnf-20var-40cl.7	SAT	0.15
2qbf-5cnf-20var-40cl.1	SAT	0.15
3qbf-5cnf-40var-160cl.8	SAT	0.15
6qbf-5cnf-20var-80cl.2	SAT	0.15
4qbf-5cnf-40var-80cl.4	SAT	0.15
6qbf-5cnf-40var-160cl.3	SAT	0.15
5qbf-5cnf-20var-40cl.6	SAT	0.15
4qbf-5cnf-40var-80cl.5	SAT	0.15
3qbf-5cnf-20var-80cl.8	SAT	0.15
5qbf-5cnf-20var-40cl.8	SAT	0.15
5qbf-5cnf-20var-80cl.3	SAT	0.15
5qbf-5cnf-20var-80cl.5	SAT	0.15
6qbf-5cnf-20var-40cl.1	SAT	0.15
4qbf-5cnf-40var-80cl.1	SAT	0.15
5qbf-5cnf-40var-80cl.3	SAT	0.15
6qbf-5cnf-40var-80cl.5	SAT	0.15
6qbf-5cnf-40var-80cl.1	SAT	0.15
3qbf-5cnf-40var-80cl.0	SAT	0.15
5qbf-5cnf-20var-40cl.1	SAT	0.15
2qbf-5cnf-20var-40cl.4	SAT	0.15
6qbf-5cnf-20var-40cl.2	SAT	0.15
5qbf-5cnf-20var-40cl.9	SAT	0.15
1qbf-5cnf-20var-40cl.6	SAT	0.15
1qbf-5cnf-20var-40cl.3	SAT	0.15
1qbf-5cnf-20var-40cl.8	SAT	0.15
1qbf-5cnf-20var-40cl.1	SAT	0.15
1qbf-5cnf-40var-80cl.2	SAT	0.15
4qbf-5cnf-20var-40cl.3	SAT	0.15
1qbf-5cnf-40var-80cl.6	SAT	0.15
flipflop-3-c	UNSAT	0.16
4qbf-5cnf-80var-160cl.7	SAT	0.16
6qbf-5cnf-40var-160cl.7	SAT	0.16
5qbf-5cnf-20var-40cl.0	SAT	0.16
5qbf-5cnf-40var-80cl.8	SAT	0.16
3qbf-5cnf-20var-40cl.2	SAT	0.16
4qbf-5cnf-20var-40cl.5	SAT	0.16
3qbf-5cnf-40var-80cl.9	SAT	0.16
5qbf-5cnf-20var-40cl.5	SAT	0.16
3qbf-5cnf-40var-80cl.3	SAT	0.16
3qbf-5cnf-20var-80cl.0	SAT	0.16
4qbf-5cnf-40var-160cl.1	SAT	0.16
5qbf-5cnf-40var-80cl.0	SAT	0.16
tree-exa2-10	UNSAT	0.16
4qbf-5cnf-40var-80cl.3	SAT	0.16
3qbf-5cnf-20var-80cl.5	SAT	0.16
3qbf-5cnf-20var-160cl.4	SAT	0.16
4qbf-5cnf-20var-40cl.0	SAT	0.16
6qbf-5cnf-40var-80cl.9	SAT	0.16
5qbf-5cnf-20var-40cl.2	SAT	0.16
6qbf-5cnf-20var-40cl.8	SAT	0.16
tree-exa10-10	SAT	0.16
3qbf-5cnf-20var-80cl.2	SAT	0.16
2qbf-5cnf-20var-40cl.3	SAT	0.16
4qbf-5cnf-20var-40cl.6	SAT	0.16
5qbf-5cnf-20var-80cl.0	SAT	0.16
4qbf-5cnf-40var-80cl.7	SAT	0.16
4qbf-5cnf-20var-40cl.1	SAT	0.16
3qbf-5cnf-80var-160cl.3	SAT	0.16
3qbf-5cnf-20var-40cl.7	SAT	0.16
3qbf-5cnf-20var-80cl.6	SAT	0.16
6qbf-5cnf-40var-160cl.4	SAT	0.16
4qbf-5cnf-80var-160cl.4	SAT	0.16
3qbf-5cnf-40var-80cl.2	SAT	0.16
2qbf-5cnf-20var-40cl.7	SAT	0.16
6qbf-5cnf-40var-80cl.0	SAT	0.16
3qbf-5cnf-40var-80cl.4	SAT	0.16
3qbf-5cnf-40var-80cl.1	SAT	0.16
3qbf-5cnf-20var-40cl.6	SAT	0.16
5qbf-5cnf-80var-320cl.2	SAT	0.16
6qbf-5cnf-40var-80cl.6	SAT	0.16
2qbf-5cnf-20var-40cl.5	SAT	0.16
impl06	SAT	0.16
6qbf-5cnf-20var-80cl.3	SAT	0.16
3qbf-5cnf-40var-80cl.5	SAT	0.16
6qbf-5cnf-20var-40cl.5	SAT	0.16
toilet_c_08_01.2	UNSAT	0.16
3qbf-5cnf-80var-160cl.5	SAT	0.16
4qbf-5cnf-20var-40cl.7	SAT	0.16
ncf_4_8_4_edau.9	SAT	0.16
TOILET2.1.iv.3	UNSAT	0.16
3qbf-5cnf-20var-80cl.4	SAT	0.16
3qbf-5cnf-20var-40cl.5	SAT	0.16
1qbf-5cnf-40var-80cl.4	SAT	0.16
1qbf-5cnf-20var-80cl.8	SAT	0.16
1qbf-5cnf-40var-80cl.5	SAT	0.16
1qbf-5cnf-40var-160cl.3	SAT	0.16
1qbf-5cnf-20var-40cl.5	SAT	0.16
1qbf-5cnf-20var-40cl.7	SAT	0.16
1qbf-5cnf-20var-40cl.2	SAT	0.16
1qbf-5cnf-20var-160cl.5	SAT	0.16
1qbf-5cnf-40var-160cl.5	SAT	0.16
1qbf-5cnf-20var-80cl.2	SAT	0.16
1qbf-5cnf-20var-80cl.3	SAT	0.16
1qbf-5cnf-40var-80cl.9	SAT	0.16
1qbf-5cnf-20var-40cl.0	SAT	0.16
1qbf-5cnf-20var-80cl.1	SAT	0.16
1qbf-5cnf-20var-80cl.7	SAT	0.16
6qbf-5cnf-20var-40cl.3	SAT	0.17
ncf_4_8_2_u.1	UNSAT	0.17
6qbf-5cnf-80var-160cl.4	SAT	0.17
6qbf-5cnf-20var-40cl.9	SAT	0.17
3qbf-5cnf-80var-160cl.9	SAT	0.17
5qbf-5cnf-40var-160cl.0	SAT	0.17
4qbf-5cnf-80var-160cl.6	SAT	0.17
6qbf-5cnf-80var-320cl.1	SAT	0.17
5qbf-5cnf-20var-80cl.2	SAT	0.17
6qbf-5cnf-80var-160cl.3	SAT	0.17
6qbf-5cnf-20var-80cl.0	SAT	0.17
4qbf-5cnf-80var-160cl.3	SAT	0.17
4qbf-5cnf-20var-40cl.2	SAT	0.17
6qbf-5cnf-20var-40cl.7	SAT	0.17
3qbf-5cnf-80var-160cl.4	SAT	0.17
6qbf-5cnf-20var-80cl.7	SAT	0.17
5qbf-5cnf-40var-80cl.4	SAT	0.17
3qbf-5cnf-40var-80cl.8	SAT	0.17
3qbf-5cnf-20var-80cl.7	SAT	0.17
toilet_c_10_01.2	UNSAT	0.17
2qbf-5cnf-20var-40cl.9	SAT	0.17
5qbf-5cnf-20var-80cl.8	SAT	0.17
5qbf-5cnf-80var-160cl.4	SAT	0.17
3qbf-5cnf-20var-160cl.5	SAT	0.17
6qbf-5cnf-40var-80cl.7	SAT	0.17
4qbf-5cnf-20var-80cl.7	SAT	0.17
6qbf-5cnf-80var-160cl.0	SAT	0.17
3qbf-5cnf-20var-40cl.9	SAT	0.17
5qbf-5cnf-40var-160cl.8	SAT	0.17
5qbf-5cnf-20var-80cl.6	SAT	0.17
TOILET2.1.iv.4	SAT	0.17
2qbf-5cnf-40var-80cl.4	SAT	0.17
4qbf-5cnf-80var-160cl.8	SAT	0.17
6qbf-5cnf-40var-80cl.8	SAT	0.17
3qbf-5cnf-40var-80cl.6	SAT	0.17
6qbf-5cnf-80var-160cl.5	SAT	0.17
4qbf-5cnf-40var-80cl.9	SAT	0.17
6qbf-5cnf-160var-320cl.0	SAT	0.17
6qbf-5cnf-20var-80cl.9	SAT	0.17
6qbf-5cnf-40var-160cl.2	SAT	0.17
4qbf-5cnf-80var-160cl.9	SAT	0.17
3qbf-5cnf-80var-320cl.5	SAT	0.17
6qbf-5cnf-40var-160cl.0	SAT	0.17
5qbf-5cnf-80var-160cl.6	SAT	0.17
1qbf-5cnf-40var-80cl.7	SAT	0.17
1qbf-5cnf-20var-80cl.4	SAT	0.17
1qbf-5cnf-40var-160cl.4	SAT	0.17
1qbf-5cnf-20var-80cl.9	SAT	0.17
1qbf-5cnf-40var-80cl.3	SAT	0.17
1qbf-5cnf-20var-80cl.0	SAT	0.17
1qbf-5cnf-20var-160cl.2	SAT	0.17
1qbf-5cnf-20var-160cl.9	SAT	0.17
1qbf-5cnf-40var-320cl.8	SAT	0.17
5qbf-5cnf-40var-80cl.1	SAT	0.17
3qbf-5cnf-80var-160cl.2	SAT	0.18
5qbf-5cnf-80var-160cl.7	SAT	0.18
3qbf-5cnf-40var-160cl.5	SAT	0.18
6qbf-5cnf-40var-160cl.6	SAT	0.18
3qbf-5cnf-80var-160cl.1	SAT	0.18
5qbf-5cnf-20var-80cl.4	SAT	0.18
5qbf-5cnf-40var-160cl.7	SAT	0.18
5qbf-5cnf-40var-160cl.1	SAT	0.18
6qbf-5cnf-40var-160cl.5	SAT	0.18
3qbf-5cnf-20var-640cl.9	UNSAT	0.18
3qbf-5cnf-40var-160cl.9	SAT	0.18
3qbf-5cnf-80var-160cl.8	SAT	0.18
4qbf-5cnf-40var-80cl.0	SAT	0.18
impl04	SAT	0.18
5qbf-5cnf-80var-320cl.9	SAT	0.18
3qbf-5cnf-20var-40cl.4	SAT	0.18
2qbf-5cnf-20var-40cl.6	SAT	0.18
6qbf-5cnf-40var-160cl.8	SAT	0.18
5qbf-5cnf-20var-160cl.4	SAT	0.18
5qbf-5cnf-20var-160cl.3	SAT	0.18
5qbf-5cnf-20var-80cl.1	SAT	0.18
5qbf-5cnf-40var-160cl.4	SAT	0.18
6qbf-5cnf-40var-80cl.2	SAT	0.18
6qbf-5cnf-20var-80cl.4	SAT	0.18
6qbf-5cnf-80var-320cl.0	SAT	0.18
3qbf-5cnf-20var-40cl.8	SAT	0.18
6qbf-5cnf-80var-320cl.4	SAT	0.18
3qbf-5cnf-40var-160cl.2	SAT	0.18
6qbf-5cnf-20var-80cl.6	SAT	0.18
5qbf-5cnf-40var-160cl.2	SAT	0.18
3qbf-5cnf-40var-160cl.1	SAT	0.18
5qbf-5cnf-20var-40cl.4	SAT	0.18
5qbf-5cnf-40var-160cl.5	SAT	0.18
4qbf-5cnf-160var-320cl.2	SAT	0.18
5qbf-5cnf-40var-160cl.6	SAT	0.18
4qbf-5cnf-20var-40cl.4	SAT	0.18
5qbf-5cnf-20var-40cl.3	SAT	0.18
5qbf-5cnf-80var-160cl.9	SAT	0.18
6qbf-5cnf-80var-160cl.6	SAT	0.18
3qbf-5cnf-20var-640cl.4	UNSAT	0.18
6qbf-5cnf-20var-40cl.4	SAT	0.18
1qbf-5cnf-80var-160cl.3	SAT	0.18
1qbf-5cnf-40var-80cl.1	SAT	0.18
6qbf-5cnf-20var-80cl.5	SAT	0.18
1qbf-5cnf-40var-160cl.9	SAT	0.18
1qbf-5cnf-20var-80cl.5	SAT	0.18
1qbf-5cnf-20var-80cl.6	SAT	0.18
1qbf-5cnf-20var-320cl.4	SAT	0.18
1qbf-5cnf-20var-160cl.1	SAT	0.18
1qbf-5cnf-80var-160cl.7	SAT	0.18
1qbf-5cnf-20var-320cl.5	SAT	0.18
1qbf-5cnf-80var-160cl.9	SAT	0.18
1qbf-5cnf-80var-160cl.6	SAT	0.18
1qbf-5cnf-40var-160cl.0	SAT	0.18
1qbf-5cnf-40var-160cl.8	SAT	0.18
6qbf-5cnf-80var-160cl.7	SAT	0.18
3qbf-5cnf-40var-160cl.7	SAT	0.19
5qbf-5cnf-80var-320cl.1	SAT	0.19
6qbf-5cnf-80var-320cl.7	SAT	0.19
6qbf-5cnf-80var-160cl.2	SAT	0.19
toilet_c_08_01.4	UNSAT	0.19
5qbf-5cnf-20var-160cl.6	SAT	0.19
3qbf-5cnf-80var-160cl.0	SAT	0.19
ncf_4_8_2_d.1	UNSAT	0.19
2qbf-5cnf-20var-40cl.0	SAT	0.19
ncf_4_8_2_euad.1	UNSAT	0.19
5qbf-5cnf-40var-160cl.3	SAT	0.19
5qbf-5cnf-40var-80cl.2	SAT	0.19
5qbf-5cnf-80var-160cl.1	SAT	0.19
5qbf-5cnf-40var-80cl.9	SAT	0.19
4qbf-5cnf-80var-160cl.1	SAT	0.19
mutex-2-s	SAT	0.19
5qbf-5cnf-40var-80cl.7	SAT	0.19
6qbf-5cnf-80var-160cl.1	SAT	0.19
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.19
5qbf-5cnf-160var-320cl.3	SAT	0.19
4qbf-5cnf-20var-80cl.1	SAT	0.19
3qbf-5cnf-80var-160cl.6	SAT	0.19
3qbf-5cnf-160var-320cl.2	SAT	0.19
4qbf-5cnf-80var-160cl.5	SAT	0.19
2qbf-5cnf-20var-320cl.5	UNSAT	0.19
4qbf-5cnf-40var-80cl.8	SAT	0.19
5qbf-5cnf-80var-160cl.2	SAT	0.19
5qbf-5cnf-80var-160cl.8	SAT	0.19
5qbf-5cnf-160var-320cl.0	SAT	0.19
ncf_8_16_2_d.3	UNSAT	0.19
6qbf-5cnf-40var-160cl.9	SAT	0.19
5qbf-5cnf-20var-160cl.2	SAT	0.19
4qbf-5cnf-80var-160cl.2	SAT	0.19
6qbf-5cnf-80var-160cl.8	SAT	0.19
3qbf-5cnf-40var-160cl.4	SAT	0.19
6qbf-5cnf-80var-320cl.5	SAT	0.19
5qbf-5cnf-160var-320cl.1	SAT	0.19
3qbf-5cnf-160var-320cl.6	SAT	0.19
5qbf-5cnf-160var-320cl.9	SAT	0.19
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.19
4qbf-5cnf-160var-320cl.7	SAT	0.19
1qbf-5cnf-20var-160cl.6	SAT	0.19
1qbf-5cnf-80var-320cl.6	SAT	0.19
1qbf-5cnf-20var-160cl.8	SAT	0.19
1qbf-5cnf-40var-160cl.7	SAT	0.19
1qbf-5cnf-80var-160cl.4	SAT	0.19
1qbf-5cnf-160var-320cl.8	SAT	0.19
1qbf-5cnf-20var-160cl.3	SAT	0.19
1qbf-5cnf-20var-320cl.9	SAT	0.19
1qbf-5cnf-40var-160cl.1	SAT	0.19
1qbf-5cnf-160var-320cl.3	SAT	0.19
1qbf-5cnf-80var-160cl.0	SAT	0.19
1qbf-5cnf-40var-320cl.4	SAT	0.19
1qbf-5cnf-80var-160cl.8	SAT	0.19
1qbf-5cnf-40var-320cl.7	SAT	0.19
1qbf-5cnf-80var-160cl.1	SAT	0.19
1qbf-5cnf-80var-160cl.5	SAT	0.19
3qbf-5cnf-160var-320cl.0	SAT	0.2
ncf_4_8_2_edau.3	UNSAT	0.2
5qbf-5cnf-20var-160cl.8	SAT	0.2
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.2
ncf_4_8_2_d.3	UNSAT	0.2
3qbf-5cnf-20var-640cl.2	UNSAT	0.2
3qbf-5cnf-40var-160cl.0	SAT	0.2
6qbf-5cnf-80var-320cl.2	SAT	0.2
4qbf-5cnf-160var-320cl.0	SAT	0.2
2qbf-5cnf-20var-320cl.8	UNSAT	0.2
4qbf-5cnf-160var-320cl.3	SAT	0.2
4qbf-5cnf-20var-320cl.1	UNSAT	0.2
ncf_4_8_2_edau.4	UNSAT	0.2
3qbf-5cnf-40var-160cl.6	SAT	0.2
ncf_4_8_2_euad.3	UNSAT	0.2
ncf_4_8_2_edau.1	UNSAT	0.2
4qbf-5cnf-80var-160cl.0	SAT	0.2
3qbf-5cnf-20var-640cl.7	UNSAT	0.2
3qbf-5cnf-160var-320cl.9	SAT	0.2
5qbf-5cnf-80var-160cl.0	SAT	0.2
3qbf-5cnf-40var-160cl.3	SAT	0.2
6qbf-5cnf-160var-320cl.4	SAT	0.2
6qbf-5cnf-160var-320cl.3	SAT	0.2
4qbf-5cnf-20var-80cl.2	SAT	0.2
ncf_8_16_2_euad.8	UNSAT	0.2
5qbf-5cnf-40var-160cl.9	SAT	0.2
6qbf-5cnf-160var-320cl.7	SAT	0.2
6qbf-5cnf-160var-320cl.1	SAT	0.2
4qbf-5cnf-160var-320cl.9	SAT	0.2
3qbf-5cnf-160var-320cl.8	SAT	0.2
2qbf-5cnf-20var-320cl.6	UNSAT	0.2
1qbf-5cnf-20var-320cl.2	SAT	0.2
1qbf-5cnf-80var-320cl.8	SAT	0.2
1qbf-5cnf-40var-320cl.6	SAT	0.2
1qbf-5cnf-80var-320cl.9	SAT	0.2
1qbf-5cnf-20var-320cl.3	SAT	0.2
1qbf-5cnf-20var-320cl.7	SAT	0.2
1qbf-5cnf-40var-320cl.0	SAT	0.2
1qbf-5cnf-20var-160cl.0	SAT	0.2
1qbf-5cnf-20var-320cl.0	SAT	0.2
1qbf-5cnf-40var-160cl.6	SAT	0.2
1qbf-5cnf-40var-320cl.5	SAT	0.2
1qbf-5cnf-160var-320cl.1	SAT	0.2
1qbf-5cnf-20var-160cl.7	SAT	0.2
1qbf-5cnf-80var-160cl.2	SAT	0.2
5qbf-5cnf-80var-320cl.3	SAT	0.21
5qbf-5cnf-80var-320cl.4	SAT	0.21
2qbf-5cnf-20var-320cl.0	UNSAT	0.21
3qbf-5cnf-20var-320cl.9	UNSAT	0.21
6qbf-5cnf-20var-640cl.4	UNSAT	0.21
tree-exa10-15	SAT	0.21
3qbf-5cnf-80var-160cl.7	SAT	0.21
6qbf-5cnf-160var-320cl.5	SAT	0.21
4qbf-5cnf-160var-320cl.1	SAT	0.21
3qbf-5cnf-80var-320cl.9	SAT	0.21
impl08	SAT	0.21
5qbf-5cnf-80var-320cl.6	SAT	0.21
3qbf-5cnf-80var-320cl.0	SAT	0.21
ncf_4_8_4_u.9	SAT	0.21
5qbf-5cnf-80var-320cl.7	SAT	0.21
3qbf-5cnf-160var-320cl.1	SAT	0.21
5qbf-5cnf-80var-320cl.5	SAT	0.21
5qbf-5cnf-160var-640cl.9	SAT	0.21
6qbf-5cnf-160var-320cl.9	SAT	0.21
ncf_4_8_2_u.4	UNSAT	0.21
3qbf-5cnf-20var-640cl.3	UNSAT	0.21
2qbf-5cnf-20var-640cl.7	UNSAT	0.21
ncf_4_8_2_u.5	SAT	0.21
4qbf-5cnf-160var-320cl.5	SAT	0.21
ncf_4_8_4_d.9	SAT	0.21
2qbf-5cnf-80var-160cl.8	SAT	0.21
3qbf-5cnf-80var-320cl.2	SAT	0.21
6qbf-5cnf-160var-320cl.2	SAT	0.21
3qbf-5cnf-160var-320cl.4	SAT	0.21
3qbf-5cnf-20var-640cl.8	UNSAT	0.21
5qbf-5cnf-80var-320cl.8	SAT	0.21
1qbf-5cnf-80var-320cl.7	SAT	0.21
1qbf-5cnf-40var-160cl.2	SAT	0.21
1qbf-5cnf-160var-320cl.2	SAT	0.21
5qbf-5cnf-80var-160cl.3	SAT	0.21
1qbf-5cnf-80var-320cl.4	SAT	0.21
1qbf-5cnf-40var-320cl.2	SAT	0.21
1qbf-5cnf-80var-320cl.0	SAT	0.21
1qbf-5cnf-160var-320cl.6	SAT	0.21
1qbf-5cnf-80var-320cl.5	SAT	0.21
1qbf-5cnf-20var-160cl.4	SAT	0.21
1qbf-5cnf-40var-640cl.9	SAT	0.21
1qbf-5cnf-160var-320cl.4	SAT	0.21
6qbf-5cnf-80var-320cl.8	SAT	0.22
2qbf-5cnf-20var-640cl.1	UNSAT	0.22
ncf_4_8_2_euad.4	UNSAT	0.22
4qbf-5cnf-160var-320cl.8	SAT	0.22
6qbf-5cnf-80var-320cl.6	SAT	0.22
6qbf-5cnf-160var-320cl.6	SAT	0.22
3qbf-5cnf-20var-160cl.0	SAT	0.22
5qbf-5cnf-20var-640cl.1	UNSAT	0.22
ncf_8_16_2_d.9	UNSAT	0.22
3qbf-5cnf-160var-320cl.5	SAT	0.22
2qbf-5cnf-20var-640cl.6	UNSAT	0.22
ncf_4_8_4_d.7	UNSAT	0.22
ncf_8_16_2_edau.3	UNSAT	0.22
tree-exa2-15	UNSAT	0.22
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.22
2qbf-5cnf-20var-320cl.2	UNSAT	0.22
5qbf-5cnf-80var-160cl.5	SAT	0.22
6qbf-5cnf-160var-640cl.8	SAT	0.22
6qbf-5cnf-20var-640cl.8	UNSAT	0.22
ncf_8_16_2_euad.3	UNSAT	0.22
6qbf-5cnf-160var-320cl.8	SAT	0.22
2qbf-5cnf-20var-640cl.4	UNSAT	0.22
4qbf-5cnf-160var-320cl.4	SAT	0.22
5qbf-5cnf-40var-320cl.6	SAT	0.22
ncf_8_16_2_edau.9	UNSAT	0.22
2qbf-5cnf-20var-320cl.1	UNSAT	0.22
5qbf-5cnf-160var-320cl.7	SAT	0.22
2qbf-5cnf-20var-40cl.8	SAT	0.22
ncf_4_8_4_euad.7	UNSAT	0.22
1qbf-5cnf-40var-320cl.9	SAT	0.22
1qbf-5cnf-20var-320cl.1	SAT	0.22
1qbf-5cnf-160var-320cl.5	SAT	0.22
1qbf-5cnf-80var-320cl.3	SAT	0.22
1qbf-5cnf-80var-320cl.1	SAT	0.22
1qbf-5cnf-40var-320cl.1	SAT	0.22
1qbf-5cnf-160var-320cl.9	SAT	0.22
1qbf-5cnf-80var-640cl.4	SAT	0.22
1qbf-5cnf-40var-320cl.3	SAT	0.22
1qbf-5cnf-160var-320cl.0	SAT	0.22
5qbf-5cnf-160var-320cl.5	SAT	0.23
ncf_8_16_2_euad.9	UNSAT	0.23
4qbf-5cnf-20var-640cl.8	UNSAT	0.23
2qbf-5cnf-20var-320cl.4	UNSAT	0.23
ncf_8_16_2_u.8	UNSAT	0.23
5qbf-5cnf-160var-320cl.8	SAT	0.23
ncf_8_16_2_d.2	UNSAT	0.23
6qbf-5cnf-80var-320cl.3	SAT	0.23
5qbf-5cnf-80var-320cl.0	SAT	0.23
ncf_8_16_2_edau.2	UNSAT	0.23
2qbf-5cnf-20var-640cl.5	UNSAT	0.23
6qbf-5cnf-20var-640cl.2	UNSAT	0.23
5qbf-5cnf-160var-640cl.2	SAT	0.23
5qbf-5cnf-160var-320cl.2	SAT	0.23
6qbf-5cnf-160var-640cl.6	SAT	0.23
6qbf-5cnf-160var-640cl.7	SAT	0.23
2qbf-5cnf-20var-160cl.9	UNSAT	0.23
4qbf-5cnf-20var-640cl.0	UNSAT	0.23
4qbf-5cnf-160var-320cl.6	SAT	0.23
ncf_8_16_2_euad.7	SAT	0.23
ncf_8_16_2_d.8	UNSAT	0.23
3qbf-5cnf-80var-320cl.4	SAT	0.23
3qbf-5cnf-20var-640cl.5	UNSAT	0.23
2qbf-5cnf-20var-320cl.7	UNSAT	0.23
3qbf-5cnf-20var-640cl.1	UNSAT	0.23
4qbf-5cnf-20var-640cl.2	UNSAT	0.23
5qbf-5cnf-20var-640cl.9	UNSAT	0.23
ncf_8_16_2_u.3	UNSAT	0.23
3qbf-5cnf-160var-320cl.7	SAT	0.23
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.23
toilet_c_10_01.4	UNSAT	0.23
5qbf-5cnf-40var-640cl.8	UNSAT	0.23
5qbf-5cnf-160var-320cl.6	SAT	0.23
k_poly_p-4	UNSAT	0.23
1qbf-5cnf-20var-320cl.8	SAT	0.23
1qbf-5cnf-160var-320cl.7	SAT	0.23
1qbf-5cnf-80var-320cl.2	SAT	0.23
1qbf-5cnf-80var-640cl.9	SAT	0.23
1qbf-5cnf-80var-640cl.7	SAT	0.23
ncf_8_16_2_edau.8	UNSAT	0.24
3qbf-5cnf-80var-320cl.1	SAT	0.24
ncf_4_8_4_euad.9	SAT	0.24
2qbf-5cnf-20var-40cl.2	SAT	0.24
5qbf-5cnf-160var-640cl.1	SAT	0.24
3qbf-5cnf-80var-320cl.7	SAT	0.24
ncf_8_16_4_u.2	UNSAT	0.24
6qbf-5cnf-80var-320cl.9	SAT	0.24
4qbf-5cnf-20var-640cl.1	UNSAT	0.24
2qbf-5cnf-20var-640cl.9	UNSAT	0.24
2qbf-5cnf-20var-640cl.3	UNSAT	0.24
3qbf-5cnf-80var-320cl.3	SAT	0.24
flipflop-4-c	UNSAT	0.24
4qbf-5cnf-20var-640cl.9	UNSAT	0.24
3qbf-5cnf-20var-160cl.6	SAT	0.24
3qbf-5cnf-80var-320cl.8	SAT	0.24
ncf_16_32_2_d.9	UNSAT	0.24
5qbf-5cnf-160var-320cl.4	SAT	0.24
ncf_4_8_8_d.9	UNSAT	0.24
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.24
4qbf-5cnf-20var-80cl.3	SAT	0.24
3qbf-5cnf-160var-320cl.3	SAT	0.24
1qbf-5cnf-20var-320cl.6	SAT	0.24
1qbf-5cnf-160var-640cl.1	SAT	0.24
1qbf-5cnf-80var-640cl.0	SAT	0.24
4qbf-5cnf-20var-80cl.4	SAT	0.25
6qbf-5cnf-160var-640cl.2	SAT	0.25
ncf_16_32_2_d.7	UNSAT	0.25
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.25
ncf_4_8_4_edau.7	UNSAT	0.25
5qbf-5cnf-40var-1280cl.6	UNSAT	0.25
toilet_c_08_10.2	SAT	0.25
ncf_4_8_2_d.5	SAT	0.25
4qbf-5cnf-20var-640cl.5	UNSAT	0.25
2qbf-5cnf-40var-640cl.2	UNSAT	0.25
ncf_4_8_2_edau.5	SAT	0.25
2qbf-5cnf-40var-640cl.3	UNSAT	0.25
5qbf-5cnf-160var-640cl.7	SAT	0.25
3qbf-5cnf-80var-320cl.6	SAT	0.25
3qbf-5cnf-160var-640cl.1	SAT	0.25
3qbf-5cnf-40var-1280cl.7	UNSAT	0.25
2qbf-5cnf-40var-640cl.8	UNSAT	0.25
1qbf-5cnf-80var-640cl.2	SAT	0.25
1qbf-5cnf-80var-640cl.1	SAT	0.25
1qbf-5cnf-80var-640cl.3	SAT	0.25
1qbf-5cnf-40var-640cl.2	SAT	0.25
1qbf-5cnf-80var-640cl.8	SAT	0.25
ncf_4_8_2_euad.8	SAT	0.26
2qbf-5cnf-20var-640cl.0	UNSAT	0.26
6qbf-5cnf-20var-640cl.3	UNSAT	0.26
5qbf-5cnf-160var-640cl.3	SAT	0.26
ncf_4_8_2_euad.9	SAT	0.26
2qbf-5cnf-20var-640cl.2	UNSAT	0.26
ncf_16_32_2_u.9	UNSAT	0.26
ncf_8_16_4_edau.5	UNSAT	0.26
2qbf-5cnf-40var-640cl.9	UNSAT	0.26
5qbf-5cnf-20var-640cl.7	UNSAT	0.26
ncf_16_32_2_euad.9	UNSAT	0.26
2qbf-5cnf-40var-640cl.5	UNSAT	0.26
3qbf-5cnf-40var-1280cl.9	UNSAT	0.26
ncf_16_32_2_euad.7	UNSAT	0.26
6qbf-5cnf-160var-640cl.4	SAT	0.26
3qbf-5cnf-40var-1280cl.2	UNSAT	0.26
6qbf-5cnf-160var-640cl.1	SAT	0.26
2qbf-5cnf-20var-320cl.9	UNSAT	0.26
6qbf-5cnf-160var-640cl.5	SAT	0.26
ncf_4_8_2_euad.7	UNSAT	0.26
5qbf-5cnf-20var-160cl.9	SAT	0.26
ncf_4_8_2_d.4	UNSAT	0.26
3qbf-5cnf-160var-640cl.2	SAT	0.26
ncf_8_16_4_d.2	UNSAT	0.26
5qbf-5cnf-160var-640cl.5	SAT	0.26
ncf_4_8_8_edau.9	UNSAT	0.26
6qbf-5cnf-160var-640cl.3	SAT	0.26
1qbf-5cnf-160var-640cl.4	SAT	0.26
1qbf-5cnf-40var-640cl.8	SAT	0.26
1qbf-5cnf-160var-640cl.9	SAT	0.26
1qbf-5cnf-20var-640cl.9	UNSAT	0.26
ncf_8_16_2_u.9	UNSAT	0.27
5qbf-5cnf-160var-640cl.8	SAT	0.27
ncf_8_16_4_edau.2	UNSAT	0.27
3qbf-5cnf-40var-1280cl.0	UNSAT	0.27
5qbf-5cnf-160var-640cl.4	SAT	0.27
3qbf-5cnf-40var-1280cl.8	UNSAT	0.27
ncf_8_16_2_u.2	UNSAT	0.27
2qbf-5cnf-40var-80cl.5	SAT	0.27
5qbf-5cnf-20var-640cl.0	UNSAT	0.27
ncf_16_32_2_edau.2	UNSAT	0.27
4qbf-5cnf-20var-80cl.6	SAT	0.27
ncf_8_16_4_u.5	UNSAT	0.27
5qbf-5cnf-160var-640cl.0	SAT	0.27
3qbf-5cnf-160var-640cl.8	SAT	0.27
3qbf-5cnf-160var-640cl.7	SAT	0.27
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.27
ncf_8_16_2_euad.2	UNSAT	0.27
6qbf-5cnf-160var-640cl.0	SAT	0.27
ncf_4_8_2_euad.5	SAT	0.27
k_poly_p-8	UNSAT	0.27
ncf_8_16_4_euad.2	UNSAT	0.27
2qbf-5cnf-40var-80cl.8	SAT	0.27
3qbf-5cnf-40var-1280cl.1	UNSAT	0.27
3qbf-5cnf-20var-640cl.0	UNSAT	0.27
1qbf-5cnf-160var-640cl.0	SAT	0.27
6qbf-5cnf-20var-640cl.7	UNSAT	0.28
3qbf-5cnf-160var-640cl.3	SAT	0.28
ncf_4_8_8_u.9	UNSAT	0.28
ncf_8_16_4_euad.6	UNSAT	0.28
ncf_8_16_4_euad.5	UNSAT	0.28
ncf_4_8_8_d.5	UNSAT	0.28
toilet_c_08_01.16	SAT	0.28
4qbf-5cnf-20var-640cl.7	UNSAT	0.28
5qbf-5cnf-20var-160cl.7	SAT	0.28
5qbf-5cnf-40var-320cl.2	SAT	0.28
3qbf-5cnf-40var-1280cl.3	UNSAT	0.28
ncf_4_8_2_u.3	UNSAT	0.28
ncf_8_16_4_euad.8	UNSAT	0.28
s27_d2_s	SAT	0.28
ncf_8_16_4_d.5	UNSAT	0.28
2qbf-5cnf-20var-640cl.8	UNSAT	0.28
3qbf-5cnf-160var-640cl.9	SAT	0.28
Adder2-2-c	UNSAT	0.28
2qbf-5cnf-40var-640cl.0	UNSAT	0.28
ncf_16_32_2_edau.7	UNSAT	0.28
4qbf-5cnf-20var-640cl.3	UNSAT	0.28
1qbf-5cnf-160var-640cl.5	SAT	0.28
1qbf-5cnf-80var-640cl.5	SAT	0.28
1qbf-5cnf-160var-640cl.7	SAT	0.28
impl10	SAT	0.29
3qbf-5cnf-20var-640cl.6	UNSAT	0.29
4qbf-5cnf-40var-1280cl.7	UNSAT	0.29
4qbf-5cnf-20var-640cl.4	UNSAT	0.29
3qbf-5cnf-160var-640cl.0	SAT	0.29
4qbf-5cnf-20var-640cl.6	UNSAT	0.29
3qbf-5cnf-40var-1280cl.4	UNSAT	0.29
ncf_16_32_2_edau.9	UNSAT	0.29
ncf_8_16_2_edau.7	SAT	0.29
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.29
2qbf-5cnf-40var-1280cl.9	UNSAT	0.29
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.29
2qbf-5cnf-40var-1280cl.5	UNSAT	0.29
ncf_4_8_2_euad.10	SAT	0.29
ncf_16_32_2_d.2	UNSAT	0.29
2qbf-5cnf-40var-80cl.3	SAT	0.29
1qbf-5cnf-40var-640cl.1	SAT	0.29
1qbf-5cnf-40var-640cl.5	SAT	0.29
1qbf-5cnf-160var-640cl.2	SAT	0.29
1qbf-5cnf-20var-640cl.4	UNSAT	0.29
1qbf-5cnf-80var-640cl.6	SAT	0.29
1qbf-5cnf-40var-640cl.7	SAT	0.29
1qbf-5cnf-20var-640cl.6	UNSAT	0.29
1qbf-5cnf-160var-640cl.8	SAT	0.29
1qbf-5cnf-20var-640cl.2	UNSAT	0.29
1qbf-5cnf-40var-640cl.0	SAT	0.29
2qbf-5cnf-40var-1280cl.6	UNSAT	0.3
szymanski-4-s	UNSAT	0.3
ncf_4_8_2_u.9	SAT	0.3
3qbf-5cnf-80var-2560cl.5	UNSAT	0.3
3qbf-5cnf-80var-2560cl.1	UNSAT	0.3
6qbf-5cnf-20var-640cl.9	UNSAT	0.3
ncf_4_8_2_d.7	UNSAT	0.3
ncf_8_16_2_u.7	SAT	0.3
4qbf-5cnf-40var-1280cl.4	UNSAT	0.3
5qbf-5cnf-40var-1280cl.4	UNSAT	0.3
ncf_4_8_4_u.7	UNSAT	0.3
6qbf-5cnf-40var-1280cl.2	UNSAT	0.3
4qbf-5cnf-20var-320cl.7	UNSAT	0.3
ncf_8_16_4_u.8	UNSAT	0.3
ncf_8_16_4_d.8	UNSAT	0.3
4qbf-5cnf-40var-1280cl.1	UNSAT	0.3
1qbf-5cnf-20var-640cl.1	UNSAT	0.3
1qbf-5cnf-40var-640cl.4	SAT	0.3
2qbf-5cnf-40var-80cl.2	SAT	0.31
4qbf-5cnf-40var-1280cl.6	UNSAT	0.31
2qbf-5cnf-40var-1280cl.8	UNSAT	0.31
ncf_8_16_2_d.7	SAT	0.31
5qbf-5cnf-20var-640cl.2	UNSAT	0.31
5qbf-5cnf-160var-640cl.6	SAT	0.31
6qbf-5cnf-160var-640cl.9	SAT	0.31
2qbf-5cnf-40var-1280cl.0	UNSAT	0.31
2qbf-5cnf-40var-1280cl.1	UNSAT	0.31
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.31
3qbf-5cnf-160var-640cl.5	SAT	0.31
1qbf-5cnf-20var-640cl.0	UNSAT	0.31
1qbf-5cnf-160var-1280cl.4	SAT	0.31
1qbf-5cnf-160var-640cl.3	SAT	0.31
1qbf-5cnf-20var-640cl.7	UNSAT	0.31
1qbf-5cnf-20var-640cl.5	UNSAT	0.31
5qbf-5cnf-40var-1280cl.0	UNSAT	0.32
toilet_c_10_10.2	SAT	0.32
2qbf-5cnf-40var-1280cl.4	UNSAT	0.32
4qbf-5cnf-20var-320cl.6	UNSAT	0.32
4qbf-5cnf-40var-1280cl.8	UNSAT	0.32
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.32
3qbf-5cnf-160var-640cl.6	SAT	0.32
ncf_4_8_8_euad.9	UNSAT	0.32
2qbf-5cnf-40var-1280cl.2	UNSAT	0.32
ncf_8_16_4_edau.8	UNSAT	0.32
1qbf-5cnf-160var-640cl.6	SAT	0.32
1qbf-5cnf-20var-640cl.8	UNSAT	0.32
1qbf-5cnf-160var-1280cl.5	SAT	0.32
4qbf-5cnf-40var-1280cl.3	UNSAT	0.33
3qbf-5cnf-80var-2560cl.0	UNSAT	0.33
4qbf-5cnf-20var-80cl.9	SAT	0.33
5qbf-5cnf-20var-160cl.1	SAT	0.33
ncf_16_32_2_u.7	UNSAT	0.33
5qbf-5cnf-40var-1280cl.1	UNSAT	0.33
5qbf-5cnf-20var-640cl.6	UNSAT	0.33
3qbf-5cnf-40var-1280cl.6	UNSAT	0.33
2qbf-5cnf-40var-1280cl.3	UNSAT	0.33
1qbf-5cnf-40var-640cl.6	SAT	0.33
1qbf-5cnf-20var-640cl.3	UNSAT	0.33
1qbf-5cnf-160var-1280cl.3	SAT	0.33
4qbf-5cnf-20var-320cl.3	UNSAT	0.34
ncf_8_16_2_edau.6	UNSAT	0.34
4qbf-5cnf-20var-80cl.5	SAT	0.34
4qbf-5cnf-20var-320cl.9	UNSAT	0.34
2qbf-5cnf-80var-1280cl.2	UNSAT	0.34
ncf_4_8_2_u.8	SAT	0.34
ncf_16_32_2_euad.2	UNSAT	0.34
ncf_4_8_8_euad.5	UNSAT	0.34
ncf_4_8_4_euad.2	UNSAT	0.34
ncf_4_8_2_u.10	SAT	0.34
1qbf-5cnf-160var-1280cl.0	SAT	0.34
6qbf-5cnf-20var-640cl.5	UNSAT	0.35
3qbf-5cnf-80var-2560cl.6	UNSAT	0.35
ncf_16_32_2_edau.4	UNSAT	0.35
4qbf-5cnf-40var-1280cl.9	UNSAT	0.35
2qbf-5cnf-40var-80cl.1	SAT	0.35
4qbf-5cnf-40var-1280cl.0	UNSAT	0.35
4qbf-5cnf-40var-1280cl.2	UNSAT	0.35
2qbf-5cnf-80var-1280cl.3	UNSAT	0.36
2qbf-5cnf-40var-1280cl.7	UNSAT	0.36
Adder2-2-s	SAT	0.36
3qbf-5cnf-80var-2560cl.4	UNSAT	0.36
5qbf-5cnf-20var-160cl.5	SAT	0.36
tree-exa10-20	SAT	0.36
2qbf-5cnf-80var-1280cl.9	UNSAT	0.36
1qbf-5cnf-160var-1280cl.7	SAT	0.36
ncf_4_8_2_u.7	UNSAT	0.37
5qbf-5cnf-40var-1280cl.9	UNSAT	0.37
4qbf-5cnf-40var-1280cl.5	UNSAT	0.37
toilet_c_10_01.8	UNSAT	0.37
ncf_4_32_2_euad.1	UNSAT	0.37
6qbf-5cnf-40var-1280cl.7	UNSAT	0.37
3qbf-5cnf-80var-2560cl.3	UNSAT	0.37
ncf_4_8_4_u.2	UNSAT	0.37
1qbf-5cnf-160var-1280cl.9	SAT	0.37
1qbf-5cnf-160var-1280cl.6	SAT	0.37
1qbf-5cnf-160var-1280cl.8	SAT	0.37
ncf_4_8_2_edau.7	UNSAT	0.38
toilet_c_10_01.20	SAT	0.38
2qbf-5cnf-80var-1280cl.0	UNSAT	0.38
3qbf-5cnf-40var-640cl.7	UNSAT	0.38
k_poly_p-12	UNSAT	0.38
5qbf-5cnf-20var-640cl.4	UNSAT	0.38
2qbf-5cnf-40var-640cl.4	UNSAT	0.38
1qbf-5cnf-80var-1280cl.0	SAT	0.38
6qbf-5cnf-40var-1280cl.5	UNSAT	0.39
2qbf-5cnf-80var-1280cl.4	UNSAT	0.39
toilet_c_08_01.8	UNSAT	0.39
5qbf-5cnf-20var-640cl.8	UNSAT	0.39
2qbf-5cnf-20var-320cl.3	UNSAT	0.39
toilet_c_08_05.8	SAT	0.39
5qbf-5cnf-40var-1280cl.8	UNSAT	0.39
3qbf-5cnf-80var-2560cl.2	UNSAT	0.39
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.39
2qbf-5cnf-40var-640cl.7	UNSAT	0.39
ncf_4_8_4_edau.3	UNSAT	0.39
1qbf-5cnf-80var-1280cl.5	SAT	0.39
2qbf-5cnf-40var-640cl.1	UNSAT	0.4
3qbf-5cnf-40var-640cl.9	UNSAT	0.4
ncf_8_16_2_u.6	UNSAT	0.4
ncf_8_16_4_edau.6	UNSAT	0.4
toilet_a_08_01.2	UNSAT	0.4
3qbf-5cnf-20var-160cl.2	SAT	0.4
1qbf-5cnf-160var-1280cl.2	SAT	0.4
ncf_16_32_4_d.4	UNSAT	0.41
3qbf-5cnf-160var-5120cl.5	UNSAT	0.41
3qbf-5cnf-160var-5120cl.2	UNSAT	0.41
3qbf-5cnf-160var-5120cl.7	UNSAT	0.41
3qbf-5cnf-160var-5120cl.6	UNSAT	0.41
3qbf-5cnf-160var-5120cl.0	UNSAT	0.41
ncf_4_8_4_u.8	UNSAT	0.41
3qbf-5cnf-160var-5120cl.3	UNSAT	0.41
ncf_16_32_4_euad.7	UNSAT	0.41
ncf_4_8_4_edau.2	UNSAT	0.42
ncf_4_8_4_d.2	UNSAT	0.42
1qbf-5cnf-160var-1280cl.1	SAT	0.42
3qbf-5cnf-80var-2560cl.9	UNSAT	0.43
flipflop-5-c	UNSAT	0.43
qshifter_3	SAT	0.43
5qbf-5cnf-20var-640cl.3	UNSAT	0.43
2qbf-5cnf-80var-2560cl.2	UNSAT	0.43
renHorn_400CNF1280_2aQBF_22	UNSAT	0.43
4qbf-5cnf-20var-80cl.0	SAT	0.43
ncf_4_8_4_edau.4	UNSAT	0.43
ncf_16_32_4_euad.4	UNSAT	0.43
adder-2-sat	SAT	0.43
toilet_c_08_05.2	UNSAT	0.43
3qbf-5cnf-160var-5120cl.4	UNSAT	0.43
2qbf-5cnf-80var-1280cl.8	UNSAT	0.43
ncf_4_8_2_euad.2	SAT	0.43
6qbf-5cnf-80var-2560cl.5	UNSAT	0.44
4qbf-5cnf-80var-2560cl.5	UNSAT	0.44
3qbf-5cnf-40var-640cl.8	UNSAT	0.44
5qbf-5cnf-80var-2560cl.1	UNSAT	0.44
3qbf-5cnf-80var-2560cl.7	UNSAT	0.44
4qbf-5cnf-80var-2560cl.6	UNSAT	0.44
ncf_4_8_4_euad.8	UNSAT	0.44
2qbf-5cnf-40var-640cl.6	UNSAT	0.44
ncf_4_8_4_u.3	UNSAT	0.44
toilet_c_08_05.10	SAT	0.44
2qbf-5cnf-80var-2560cl.7	UNSAT	0.45
toilet_c_10_05.8	SAT	0.45
2qbf-5cnf-80var-2560cl.9	UNSAT	0.45
4qbf-5cnf-20var-320cl.4	UNSAT	0.45
ncf_8_16_4_u.6	UNSAT	0.45
ncf_4_8_8_u.5	UNSAT	0.45
ncf_4_8_2_d.2	SAT	0.45
3qbf-5cnf-160var-5120cl.8	UNSAT	0.45
3qbf-5cnf-160var-5120cl.1	UNSAT	0.45
ncf_4_8_2_d.8	SAT	0.45
renHorn_400CNF1280_2aQBF_56	UNSAT	0.45
ncf_16_32_2_d.4	UNSAT	0.45
3qbf-5cnf-20var-320cl.7	UNSAT	0.45
3qbf-5cnf-80var-2560cl.8	UNSAT	0.45
3qbf-5cnf-20var-160cl.9	SAT	0.46
6qbf-5cnf-20var-640cl.0	UNSAT	0.46
ncf_4_8_2_d.10	SAT	0.46
ncf_4_8_2_euad.6	SAT	0.46
3qbf-5cnf-160var-5120cl.9	UNSAT	0.46
6qbf-5cnf-80var-2560cl.7	UNSAT	0.46
ncf_4_8_8_u.4	SAT	0.46
toilet_c_10_05.7	SAT	0.46
2qbf-5cnf-80var-2560cl.3	UNSAT	0.47
toilet_a_08_01.4	UNSAT	0.47
4qbf-5cnf-80var-2560cl.7	UNSAT	0.47
k_poly_p-16	UNSAT	0.47
2qbf-5cnf-80var-2560cl.8	UNSAT	0.47
2qbf-5cnf-80var-2560cl.0	UNSAT	0.48
2qbf-5cnf-80var-2560cl.5	UNSAT	0.48
ncf_4_8_2_edau.8	SAT	0.48
2qbf-5cnf-80var-2560cl.1	UNSAT	0.48
4qbf-5cnf-80var-2560cl.2	UNSAT	0.48
2qbf-5cnf-80var-2560cl.6	UNSAT	0.48
3qbf-5cnf-40var-1280cl.5	UNSAT	0.49
4qbf-5cnf-80var-2560cl.4	UNSAT	0.49
4qbf-5cnf-80var-2560cl.0	UNSAT	0.49
4qbf-5cnf-80var-2560cl.1	UNSAT	0.49
4qbf-5cnf-80var-2560cl.8	UNSAT	0.49
toilet_c_08_05.4	SAT	0.49
ncf_4_8_4_edau.8	UNSAT	0.49
1qbf-5cnf-40var-640cl.3	SAT	0.49
2qbf-5cnf-80var-2560cl.4	UNSAT	0.5
ncf_4_8_4_euad.3	UNSAT	0.5
ncf_8_16_8_euad.6	UNSAT	0.5
ncf_4_8_2_edau.10	SAT	0.51
ncf_4_8_8_edau.5	UNSAT	0.51
6qbf-5cnf-80var-2560cl.0	UNSAT	0.51
ncf_4_8_4_d.3	UNSAT	0.51
ncf_4_8_8_euad.4	SAT	0.51
6qbf-5cnf-80var-2560cl.3	UNSAT	0.51
horn_400CNF1280_2aQBF_389	UNSAT	0.52
tree-exa2-20	UNSAT	0.52
toilet_c_10_05.12	SAT	0.52
3qbf-5cnf-20var-320cl.4	UNSAT	0.52
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.52
k_poly_p-20	UNSAT	0.52
ncf_8_16_2_d.6	UNSAT	0.53
horn_400CNF1360_2aQBF_130	UNSAT	0.53
2qbf-5cnf-160var-2560cl.9	UNSAT	0.54
tree-exa10-25	SAT	0.54
3qbf-5cnf-20var-320cl.6	UNSAT	0.55
horn_400CNF1360_2aQBF_755	UNSAT	0.55
k_poly_p-21	UNSAT	0.55
4qbf-5cnf-80var-2560cl.9	UNSAT	0.55
ncf_8_16_8_edau.6	UNSAT	0.56
impl12	SAT	0.56
toilet_c_10_05.2	UNSAT	0.56
2qbf-5cnf-160var-2560cl.8	UNSAT	0.57
6qbf-5cnf-20var-640cl.1	UNSAT	0.57
horn_400CNF2080_2aQBF_584	UNSAT	0.57
flipflop-6-c	UNSAT	0.58
2qbf-5cnf-80var-1280cl.1	UNSAT	0.59
mutex-4-s	SAT	0.6
horn_400CNF2080_2aQBF_194	UNSAT	0.6
2qbf-5cnf-160var-2560cl.7	UNSAT	0.6
2qbf-5cnf-160var-2560cl.3	UNSAT	0.6
ncf_8_16_8_d.6	UNSAT	0.61
horn_400CNF1520_2aQBF_625	UNSAT	0.61
5qbf-5cnf-40var-320cl.1	SAT	0.63
2qbf-5cnf-160var-2560cl.1	UNSAT	0.63
ncf_8_16_4_d.6	UNSAT	0.63
2qbf-5cnf-160var-2560cl.6	UNSAT	0.64
szymanski-5-s	UNSAT	0.64
ncf_4_8_4_d.8	UNSAT	0.64
2qbf-5cnf-80var-1280cl.7	UNSAT	0.65
2qbf-5cnf-40var-80cl.0	SAT	0.65
4qbf-5cnf-20var-320cl.8	UNSAT	0.66
ncf_4_16_2_d.9	SAT	0.66
ncf_16_32_4_edau.4	UNSAT	0.66
toilet_a_10_01.2	UNSAT	0.67
ncf_16_32_4_u.7	UNSAT	0.68
ncf_16_32_2_euad.4	UNSAT	0.68
ncf_8_16_2_euad.6	UNSAT	0.68
ncf_16_32_4_edau.7	UNSAT	0.69
ncf_4_16_2_edau.9	SAT	0.69
ncf_4_8_2_edau.2	SAT	0.69
ncf_4_8_2_u.6	SAT	0.69
renHorn_400CNF1960_2aQBF_35	UNSAT	0.7
horn_400CNF1520_2aQBF_405	UNSAT	0.7
ncf_4_8_2_u.2	SAT	0.7
vonNeumann-ripple-carry-5-c	UNSAT	0.71
horn_400CNF2160_2aQBF_23	UNSAT	0.72
2qbf-5cnf-160var-2560cl.5	UNSAT	0.74
flipflop-7-c	UNSAT	0.75
ncf_4_8_2_d.9	SAT	0.76
5qbf-5cnf-80var-2560cl.2	UNSAT	0.76
3qbf-5cnf-20var-320cl.2	UNSAT	0.77
4qbf-5cnf-160var-5120cl.5	UNSAT	0.77
ncf_4_8_4_u.4	UNSAT	0.77
horn_400CNF1440_2aQBF_117	UNSAT	0.78
2qbf-5cnf-20var-160cl.2	UNSAT	0.78
ncf_16_32_4_d.7	UNSAT	0.8
2qbf-5cnf-160var-5120cl.9	UNSAT	0.8
ncf_4_16_2_u.9	SAT	0.8
4qbf-5cnf-160var-5120cl.7	UNSAT	0.81
ncf_4_8_4_euad.6	SAT	0.81
4qbf-5cnf-160var-5120cl.8	UNSAT	0.81
6qbf-5cnf-40var-1280cl.8	UNSAT	0.81
6qbf-5cnf-20var-320cl.7	UNSAT	0.82
2qbf-5cnf-160var-5120cl.7	UNSAT	0.83
5qbf-5cnf-20var-640cl.5	UNSAT	0.83
horn_400CNF2080_2aQBF_322	UNSAT	0.84
2qbf-5cnf-40var-80cl.7	SAT	0.85
horn_400CNF1680_2aQBF_589	UNSAT	0.85
4qbf-5cnf-160var-5120cl.3	UNSAT	0.86
toilet_a_10_01.4	UNSAT	0.86
2qbf-5cnf-80var-1280cl.6	UNSAT	0.87
3qbf-5cnf-20var-320cl.5	UNSAT	0.87
horn_400CNF1600_2aQBF_571	UNSAT	0.88
horn_400CNF1680_2aQBF_154	UNSAT	0.88
horn_400CNF1520_2aQBF_53	UNSAT	0.88
ncf_4_16_2_euad.9	SAT	0.9
4qbf-5cnf-160var-5120cl.4	UNSAT	0.9
horn_400CNF2320_2aQBF_433	UNSAT	0.9
2qbf-5cnf-20var-160cl.6	UNSAT	0.9
4qbf-5cnf-160var-5120cl.6	UNSAT	0.9
horn_400CNF1760_2aQBF_188	UNSAT	0.91
6qbf-5cnf-20var-640cl.6	UNSAT	0.91
horn_400CNF1520_2aQBF_600	UNSAT	0.91
4qbf-5cnf-20var-80cl.8	SAT	0.92
4qbf-5cnf-160var-5120cl.9	UNSAT	0.92
vonNeumann-ripple-carry-6-c	UNSAT	0.93
4qbf-5cnf-40var-160cl.5	SAT	0.94
2qbf-5cnf-160var-5120cl.0	UNSAT	0.94
ncf_4_8_4_u.6	SAT	0.95
counter_2	SAT	0.95
1qbf-5cnf-80var-1280cl.9	SAT	0.95
1qbf-5cnf-80var-1280cl.6	SAT	0.96
6qbf-5cnf-20var-320cl.8	UNSAT	0.97
2qbf-5cnf-160var-5120cl.6	UNSAT	0.97
horn_400CNF2320_2aQBF_832	UNSAT	0.98
1qbf-5cnf-80var-1280cl.2	SAT	0.99
4qbf-5cnf-20var-320cl.2	UNSAT	1
2qbf-5cnf-160var-5120cl.3	UNSAT	1.01
3qbf-5cnf-20var-320cl.1	UNSAT	1.01
3qbf-5cnf-20var-160cl.1	SAT	1.01
1qbf-5cnf-80var-1280cl.8	SAT	1.02
ncf_4_8_2_edau.9	SAT	1.03
toilet_a_10_01.3	UNSAT	1.03
horn_400CNF1840_2aQBF_401	UNSAT	1.04
2qbf-5cnf-160var-2560cl.4	UNSAT	1.04
ncf_4_16_2_euad.6	SAT	1.04
4qbf-5cnf-20var-320cl.0	UNSAT	1.04
renHorn_400CNF1800_2aQBF_20	UNSAT	1.06
renHorn_400CNF2120_2aQBF_17	UNSAT	1.07
2qbf-5cnf-160var-5120cl.5	UNSAT	1.07
flipflop-8-c	UNSAT	1.07
lut4_XOR_f1	SAT	1.08
2qbf-5cnf-160var-5120cl.4	UNSAT	1.08
3qbf-5cnf-20var-320cl.0	UNSAT	1.1
vonNeumann-ripple-carry-7-c	UNSAT	1.1
2qbf-5cnf-160var-5120cl.8	UNSAT	1.1
ncf_4_8_8_edau.4	SAT	1.1
horn_400CNF2000_2aQBF_456	UNSAT	1.11
ncf_4_8_2_edau.6	SAT	1.12
ncf_8_32_8_d.3	UNSAT	1.12
ncf_4_8_4_euad.4	UNSAT	1.13
4qbf-5cnf-160var-5120cl.0	UNSAT	1.15
4qbf-5cnf-160var-5120cl.2	UNSAT	1.15
4qbf-5cnf-160var-5120cl.1	UNSAT	1.15
toilet_a_08_01.8	UNSAT	1.15
2qbf-5cnf-160var-5120cl.2	UNSAT	1.16
ncf_8_16_8_u.6	UNSAT	1.16
2qbf-5cnf-40var-80cl.9	SAT	1.21
2qbf-5cnf-160var-5120cl.1	UNSAT	1.23
ncf_4_16_2_u.6	SAT	1.25
1qbf-5cnf-40var-1280cl.2	UNSAT	1.25
1qbf-5cnf-40var-1280cl.7	UNSAT	1.25
impl14	SAT	1.26
ncf_4_8_4_d.4	UNSAT	1.27
1qbf-5cnf-40var-1280cl.5	UNSAT	1.31
toilet_a_08_01.16	SAT	1.35
vonNeumann-ripple-carry-8-c	UNSAT	1.36
1qbf-5cnf-40var-1280cl.3	UNSAT	1.36
ncf_4_16_2_d.6	SAT	1.37
5qbf-5cnf-40var-1280cl.5	UNSAT	1.37
ncf_4_8_4_euad.5	SAT	1.39
flipflop-9-c	UNSAT	1.39
1qbf-5cnf-80var-1280cl.7	SAT	1.42
6qbf-5cnf-20var-320cl.6	UNSAT	1.44
szymanski-6-s	UNSAT	1.47
2qbf-5cnf-20var-160cl.7	UNSAT	1.49
2qbf-5cnf-80var-160cl.0	SAT	1.51
ncf_4_8_2_d.6	SAT	1.52
robots_1_5_5_24.2	SAT	1.53
toilet_a_08_05.2	UNSAT	1.55
ncf_4_16_2_edau.6	SAT	1.55
1qbf-5cnf-40var-1280cl.4	UNSAT	1.55
ncf_4_16_2_d.10	UNSAT	1.56
1qbf-5cnf-40var-1280cl.1	UNSAT	1.56
1qbf-5cnf-40var-1280cl.9	UNSAT	1.58
ncf_4_16_2_edau.10	UNSAT	1.6
1qbf-5cnf-40var-1280cl.6	UNSAT	1.61
tree-exa10-30	SAT	1.65
ncf_4_16_2_euad.10	UNSAT	1.65
toilet_a_08_10.2	SAT	1.67
3qbf-5cnf-20var-160cl.7	SAT	1.71
3qbf-5cnf-20var-160cl.8	SAT	1.73
1qbf-5cnf-40var-1280cl.0	UNSAT	1.73
1qbf-5cnf-40var-1280cl.8	UNSAT	1.75
4qbf-5cnf-20var-160cl.1	UNSAT	1.77
3qbf-5cnf-20var-320cl.3	UNSAT	1.78
C499.blif_0.10_1.00_0_1_inp_exact	SAT	1.81
1qbf-5cnf-160var-2560cl.8	SAT	1.82
2qbf-5cnf-160var-2560cl.2	UNSAT	1.84
6qbf-5cnf-20var-320cl.5	UNSAT	1.87
6qbf-5cnf-160var-5120cl.7	UNSAT	1.89
6qbf-5cnf-40var-1280cl.6	UNSAT	1.91
ncf_4_16_4_u.9	SAT	1.97
5qbf-5cnf-40var-320cl.9	SAT	1.97
vonNeumann-ripple-carry-9-c	UNSAT	1.98
2qbf-5cnf-40var-80cl.6	SAT	1.98
toilet_a_08_05.10	SAT	1.99
3qbf-5cnf-20var-160cl.3	SAT	2
counter_e_2	SAT	2.06
robots_1_5_5_61.2	SAT	2.06
6qbf-5cnf-40var-1280cl.9	UNSAT	2.06
robots_1_5_5_38.2	SAT	2.07
5qbf-5cnf-80var-2560cl.7	UNSAT	2.09
ncf_8_16_2_euad.5	UNSAT	2.1
robots_1_5_4_81.2	SAT	2.11
robots_1_5_4_100.2	SAT	2.11
robots_1_5_4_73.2	SAT	2.12
ev-pr-4x4-5-3-0-0-1-lg	SAT	2.12
robots_1_5_5_56.2	SAT	2.12
6qbf-5cnf-40var-1280cl.0	UNSAT	2.14
robots_1_5_4_75.2	SAT	2.14
robots_1_5_5_75.2	SAT	2.15
BLOCKS3iii.4	UNSAT	2.15
6qbf-5cnf-40var-1280cl.4	UNSAT	2.15
ncf_8_16_2_u.5	UNSAT	2.18
1qbf-5cnf-80var-1280cl.4	SAT	2.19
robots_1_5_4_44.2	SAT	2.21
robots_1_5_5_62.2	SAT	2.22
robots_1_5_3_51.2	SAT	2.23
robots_1_5_5_15.2	SAT	2.24
ncf_4_32_2_d.1	UNSAT	2.24
tree-exa2-25	UNSAT	2.27
robots_1_5_3_100.2	SAT	2.3
ncf_4_8_4_euad.10	SAT	2.32
robots_1_5_2_85.2	SAT	2.34
ncf_4_8_4_u.5	SAT	2.36
k_ph_p-4	UNSAT	2.41
CHAIN12v.13	SAT	2.52
robots_1_5_4_22.2	SAT	2.52
flipflop-10-c	UNSAT	2.55
robots_1_5_4_59.2	SAT	2.55
robots_1_5_5_100.2	SAT	2.57
robots_1_5_3_30.2	SAT	2.58
robots_1_5_5_97.2	SAT	2.59
robots_1_5_3_7.2	SAT	2.6
robots_1_5_3_91.2	SAT	2.6
2qbf-5cnf-20var-160cl.4	UNSAT	2.61
6qbf-5cnf-80var-2560cl.1	UNSAT	2.64
vonNeumann-ripple-carry-10-c	UNSAT	2.65
ncf_4_8_8_u.1	SAT	2.66
3qbf-5cnf-40var-640cl.4	UNSAT	2.72
2qbf-5cnf-20var-80cl.2	SAT	2.74
robots_1_5_3_25.2	SAT	2.74
5qbf-5cnf-20var-160cl.0	SAT	2.75
robots_1_5_3_62.2	SAT	2.76
ncf_4_8_8_euad.1	SAT	2.76
1qbf-5cnf-80var-1280cl.1	SAT	2.77
ncf_4_8_4_u.1	SAT	2.8
ncf_4_8_4_edau.6	SAT	2.81
robots_1_5_3_52.2	SAT	2.82
robots_1_5_3_26.2	SAT	2.82
robots_1_5_3_80.2	SAT	2.82
robots_1_5_2_31.2	SAT	2.87
ncf_4_16_2_u.10	UNSAT	2.87
2qbf-5cnf-20var-160cl.1	UNSAT	2.87
1qbf-5cnf-80var-1280cl.3	SAT	2.87
ncf_16_32_8_edau.8	UNSAT	2.89
robots_1_5_2_49.2	SAT	2.92
robots_1_5_2_33.2	SAT	2.93
2qbf-5cnf-80var-1280cl.5	UNSAT	2.94
robots_1_5_2_10.2	SAT	2.96
robots_1_5_2_28.2	SAT	2.97
ncf_16_32_8_d.8	UNSAT	2.97
ncf_8_16_4_u.1	SAT	2.97
ncf_8_16_4_edau.1	SAT	2.98
2qbf-5cnf-20var-80cl.4	SAT	2.98
toilet_a_08_05.8	SAT	3
impl16	SAT	3.01
robots_1_5_2_100.2	SAT	3.01
6qbf-5cnf-80var-2560cl.4	UNSAT	3.01
6qbf-5cnf-160var-5120cl.1	UNSAT	3.03
robots_1_5_2_14.2	SAT	3.04
ncf_8_16_2_d.5	UNSAT	3.14
5qbf-5cnf-40var-320cl.7	SAT	3.16
robots_1_5_5_31.2	SAT	3.22
term1.blif_0.10_0.20_0_1_inp_exact	SAT	3.24
ncf_4_8_4_u.10	SAT	3.25
connect_9x8_6_W	UNSAT	3.27
robots_1_5_4_52.2	SAT	3.28
robots_1_5_4_71.2	SAT	3.33
toilet_a_08_05.4	SAT	3.35
connect_9x8_7_D	UNSAT	3.38
robots_1_5_4_32.2	SAT	3.38
5qbf-5cnf-160var-5120cl.9	UNSAT	3.38
connect_9x8_6_D	UNSAT	3.39
ncf_8_16_2_edau.1	SAT	3.4
counter_r_2	SAT	3.41
2qbf-5cnf-20var-80cl.9	SAT	3.44
connect_9x8_8_W	UNSAT	3.48
5qbf-5cnf-40var-320cl.5	SAT	3.49
flipflop-11-c	UNSAT	3.52
connect_9x8_7_W	UNSAT	3.53
connect_9x8_8_D	UNSAT	3.54
2qbf-5cnf-20var-80cl.3	SAT	3.55
4qbf-5cnf-40var-160cl.4	SAT	3.56
robots_1_5_2_81.2	SAT	3.6
szymanski-8-s	UNSAT	3.6
vonNeumann-ripple-carry-11-c	UNSAT	3.66
adder-2-unsat	UNSAT	3.69
ncf_8_16_8_edau.1	SAT	3.76
2qbf-5cnf-20var-80cl.1	SAT	3.77
ncf_8_16_8_u.1	SAT	3.79
robots_1_5_2_47.2	SAT	3.98
5qbf-5cnf-20var-320cl.4	UNSAT	4.06
2qbf-5cnf-20var-160cl.5	UNSAT	4.08
lut4_XOR_fOR	UNSAT	4.09
connect_8x7_5_W	UNSAT	4.09
connect_8x7_5_D	UNSAT	4.1
connect_8x7_6_W	UNSAT	4.25
2qbf-5cnf-20var-80cl.0	SAT	4.26
ncf_4_16_2_euad.5	UNSAT	4.28
ncf_8_16_2_d.1	SAT	4.3
connect_8x7_6_D	UNSAT	4.31
4qbf-5cnf-80var-1280cl.4	UNSAT	4.33
connect_8x7_7_D	UNSAT	4.35
5qbf-5cnf-160var-5120cl.0	UNSAT	4.42
connect_8x7_7_W	UNSAT	4.43
4qbf-5cnf-40var-160cl.2	SAT	4.44
CHAIN13v.14	SAT	4.46
ncf_4_16_2_edau.7	SAT	4.62
connect_7x6_3_W	UNSAT	4.64
connect_7x6_3_D	UNSAT	4.66
vonNeumann-ripple-carry-12-c	UNSAT	4.7
connect_7x6_4_W	UNSAT	4.77
ncf_4_16_4_euad.9	SAT	4.81
toilet_a_10_01.8	UNSAT	4.83
6qbf-5cnf-160var-5120cl.6	UNSAT	4.85
5qbf-5cnf-20var-320cl.7	UNSAT	4.86
connect_7x6_4_D	UNSAT	4.87
ncf_8_16_2_edau.5	UNSAT	4.88
connect_7x6_5_W	UNSAT	5.01
4qbf-5cnf-40var-640cl.8	UNSAT	5.03
connect_7x6_5_D	UNSAT	5.04
connect_7x6_6_W	UNSAT	5.08
5qbf-5cnf-20var-320cl.8	UNSAT	5.1
4qbf-5cnf-40var-160cl.3	SAT	5.12
connect_7x6_6_D	UNSAT	5.17
flipflop-12-c	UNSAT	5.2
6qbf-5cnf-160var-5120cl.9	UNSAT	5.21
ncf_8_16_8_euad.1	SAT	5.25
ncf_4_16_2_euad.2	SAT	5.29
ncf_8_16_8_d.1	SAT	5.29
connect_6x5_3_D	UNSAT	5.44
connect_6x5_4_W	UNSAT	5.53
ncf_4_8_4_d.6	SAT	5.58
connect_6x5_5_W	UNSAT	5.59
connect_6x5_3_W	UNSAT	5.62
connect_6x5_4_D	UNSAT	5.79
ncf_8_16_4_euad.10	SAT	5.84
2qbf-5cnf-80var-160cl.3	SAT	5.84
connect_5x4_3_W	UNSAT	5.85
vonNeumann-ripple-carry-13-c	UNSAT	5.9
connect_5x4_4_D	UNSAT	5.91
connect_5x4_4_W	UNSAT	5.92
4qbf-5cnf-80var-2560cl.3	UNSAT	6.03
connect_6x5_5_D	UNSAT	6.04
6qbf-5cnf-20var-320cl.4	UNSAT	6.04
1qbf-5cnf-160var-2560cl.7	SAT	6.12
ncf_4_16_2_d.5	UNSAT	6.15
ncf_4_16_2_u.7	SAT	6.18
connect_5x4_3_D	UNSAT	6.18
ncf_16_32_8_euad.8	UNSAT	6.28
2qbf-5cnf-20var-80cl.7	SAT	6.32
4qbf-5cnf-20var-160cl.3	UNSAT	6.46
2qbf-5cnf-20var-80cl.5	SAT	6.71
2qbf-5cnf-20var-80cl.6	SAT	6.78
ev-pr-4x4-7-3-0-0-1-lg	SAT	7.1
ncf_4_8_4_euad.1	SAT	7.11
ncf_16_32_4_euad.5	UNSAT	7.15
szymanski-10-s	UNSAT	7.22
ncf_8_16_4_d.1	SAT	7.23
ncf_8_16_4_euad.1	SAT	7.32
2qbf-5cnf-20var-80cl.8	SAT	7.46
ncf_4_8_4_edau.10	SAT	7.48
ncf_8_16_2_u.1	SAT	7.52
4qbf-5cnf-40var-160cl.6	SAT	7.73
3qbf-5cnf-20var-320cl.8	UNSAT	7.86
ncf_4_16_2_d.7	SAT	7.92
ncf_4_8_8_euad.3	SAT	8.2
6qbf-5cnf-20var-320cl.1	UNSAT	8.31
5qbf-5cnf-20var-320cl.6	UNSAT	8.37
2qbf-5cnf-160var-2560cl.0	UNSAT	8.67
impl18	SAT	8.7
ncf_8_32_8_edau.3	UNSAT	8.93
2qbf-5cnf-80var-160cl.5	SAT	9.25
ncf_16_32_2_edau.8	UNSAT	9.36
CHAIN14v.15	SAT	9.44
ncf_4_8_8_euad.8	SAT	9.58
vonNeumann-ripple-carry-15-c	UNSAT	9.59
ncf_4_16_2_u.2	SAT	9.96
ncf_4_8_8_d.4	SAT	10.04
5qbf-5cnf-40var-1280cl.7	UNSAT	10.05
4qbf-5cnf-40var-160cl.9	SAT	10.09
2qbf-5cnf-20var-160cl.0	UNSAT	10.12
lut4_3_fAND	SAT	10.28
2qbf-5cnf-20var-160cl.3	UNSAT	10.49
C432.blif_0.10_1.00_0_1_inp_exact	SAT	10.69
4qbf-5cnf-40var-640cl.4	UNSAT	10.71
2qbf-5cnf-20var-160cl.8	UNSAT	10.83
ncf_16_32_2_u.2	UNSAT	11.11
3qbf-5cnf-40var-640cl.6	UNSAT	11.5
4qbf-5cnf-40var-640cl.6	UNSAT	11.56
ncf_4_8_4_edau.1	SAT	11.63
4qbf-5cnf-20var-320cl.5	UNSAT	12.3
5qbf-5cnf-160var-5120cl.6	UNSAT	12.46
4qbf-5cnf-80var-320cl.0	SAT	12.49
4qbf-5cnf-40var-640cl.5	UNSAT	12.51
5qbf-5cnf-40var-320cl.4	SAT	12.77
ncf_16_32_2_euad.8	UNSAT	12.79
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	12.98
ncf_4_16_2_euad.3	UNSAT	13.39
5qbf-5cnf-20var-320cl.0	UNSAT	13.67
toilet_a_10_05.2	UNSAT	13.8
ncf_4_16_2_euad.7	SAT	14.18
6qbf-5cnf-160var-5120cl.5	UNSAT	14.19
1qbf-5cnf-160var-2560cl.1	SAT	14.91
5qbf-5cnf-160var-5120cl.8	UNSAT	14.95
6qbf-5cnf-20var-320cl.9	UNSAT	15.69
ncf_16_32_4_d.5	UNSAT	16.04
tree-exa2-30	UNSAT	16.06
ncf_8_16_4_u.10	SAT	16.13
ncf_4_8_4_d.10	SAT	16.24
4qbf-5cnf-40var-640cl.1	UNSAT	17.08
szymanski-12-s	UNSAT	17.85
ncf_4_16_2_euad.4	SAT	18.55
k_path_p-4	UNSAT	18.56
ncf_8_16_2_euad.10	SAT	18.67
4qbf-5cnf-40var-640cl.7	UNSAT	19.07
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	19.11
5qbf-5cnf-20var-320cl.2	UNSAT	19.24
2qbf-5cnf-40var-320cl.6	UNSAT	19.39
6qbf-5cnf-20var-320cl.3	UNSAT	19.86
5qbf-5cnf-40var-1280cl.2	UNSAT	19.92
ncf_16_32_2_d.8	UNSAT	19.93
3qbf-5cnf-40var-320cl.8	SAT	20.18
4qbf-5cnf-20var-160cl.7	UNSAT	20.48
6qbf-5cnf-20var-160cl.5	SAT	21.34
5qbf-5cnf-80var-2560cl.8	UNSAT	21.39
6qbf-5cnf-20var-160cl.9	SAT	21.58
CHAIN15v.16	SAT	21.94
ncf_4_8_8_u.8	SAT	21.94
ncf_4_16_2_euad.1	UNSAT	23.36
ncf_4_16_4_euad.5	SAT	23.36
ncf_4_16_4_euad.1	SAT	23.75
BLOCKS3ii.4.3	UNSAT	24.08
5qbf-5cnf-80var-2560cl.3	UNSAT	24.94
4qbf-5cnf-20var-160cl.0	UNSAT	25.75
ncf_8_16_2_euad.1	SAT	26.08
6qbf-5cnf-20var-160cl.1	SAT	26.08
ncf_8_16_4_edau.9	UNSAT	26.16
toilet_a_10_10.2	SAT	26.19
5qbf-5cnf-20var-320cl.9	UNSAT	26.37
4qbf-5cnf-40var-160cl.7	SAT	26.39
ncf_4_16_2_u.8	SAT	27.06
4qbf-5cnf-40var-160cl.0	SAT	27.14
ncf_4_16_2_u.4	SAT	27.85
toilet_a_10_01.20	SAT	28.07
5qbf-5cnf-20var-320cl.3	UNSAT	28.47
lut4_2_fXOR	SAT	30.15
5qbf-5cnf-20var-320cl.5	UNSAT	30.28
5qbf-5cnf-40var-1280cl.3	UNSAT	30.49
ncf_8_16_2_u.10	SAT	30.72
1qbf-5cnf-160var-2560cl.0	SAT	31.59
szymanski-14-s	UNSAT	32.26
ncf_4_16_2_euad.8	SAT	32.29
ncf_4_16_2_u.3	UNSAT	32.32
ncf_4_16_2_edau.2	SAT	32.94
4qbf-5cnf-40var-640cl.9	UNSAT	33.14
ncf_4_16_2_d.2	SAT	33.51
ncf_4_16_2_u.5	UNSAT	34.05
3qbf-5cnf-40var-640cl.0	UNSAT	37.45
impl20	SAT	37.84
6qbf-5cnf-20var-160cl.8	SAT	39.38
ev-pr-4x4-9-3-0-0-1-lg	SAT	39.72
ncf_4_8_8_d.2	UNSAT	40.02
6qbf-5cnf-20var-160cl.2	SAT	41.51
ncf_8_16_2_d.4	SAT	42.73
ncf_4_16_4_euad.6	UNSAT	43.18
2qbf-5cnf-80var-160cl.2	SAT	45.5
6qbf-5cnf-20var-160cl.7	SAT	46.28
4qbf-5cnf-40var-640cl.3	UNSAT	46.73
ncf_4_8_4_edau.5	SAT	46.94
6qbf-5cnf-40var-1280cl.1	UNSAT	48.81
ncf_4_16_2_d.1	UNSAT	50.38
2qbf-5cnf-80var-160cl.9	SAT	50.48
2qbf-5cnf-80var-160cl.6	SAT	50.85
ncf_4_16_4_edau.9	SAT	52.42
CHAIN16v.17	SAT	52.75
qshifter_4	SAT	53.03
4qbf-5cnf-40var-160cl.8	SAT	55.26
counter_re_2	SAT	56.24
6qbf-5cnf-20var-160cl.3	UNSAT	56.58
3qbf-5cnf-40var-640cl.5	UNSAT	56.7
ncf_16_32_4_euad.10	UNSAT	59.11
ncf_4_8_4_d.1	SAT	59.38
6qbf-5cnf-80var-2560cl.6	UNSAT	60.55
5qbf-5cnf-160var-5120cl.3	UNSAT	60.79
TOILET6.1.iv.12	SAT	61.07
5qbf-5cnf-80var-2560cl.0	UNSAT	62.88
ncf_4_8_8_u.7	SAT	64.57
ncf_8_16_2_euad.4	SAT	65.47
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	67.1
6qbf-5cnf-80var-2560cl.9	UNSAT	67.4
ncf_4_16_2_u.1	UNSAT	68.29
comp.blif_0.10_0.20_0_1_inp_exact	SAT	69.56
ncf_4_8_8_u.3	SAT	69.67
6qbf-5cnf-40var-1280cl.3	UNSAT	70.24
6qbf-5cnf-80var-2560cl.8	UNSAT	72.13
3qbf-5cnf-40var-640cl.3	UNSAT	76.93
ncf_8_32_2_d.9	UNSAT	79.48
ncf_4_16_4_u.7	SAT	80.24
ncf_8_32_2_euad.9	UNSAT	80.86
ncf_4_8_8_euad.7	SAT	81.96
szymanski-16-s	UNSAT	83.92
ncf_4_16_2_d.4	SAT	92.73
TOILET6.1.iv.11	UNSAT	95.95
ncf_4_16_2_edau.4	SAT	96
ncf_16_32_4_u.4	UNSAT	96.61
ncf_4_16_4_u.5	SAT	98.04
ncf_16_32_2_u.4	UNSAT	98.67
4qbf-5cnf-20var-160cl.8	UNSAT	99.47
ncf_4_16_4_d.9	SAT	101.21
ncf_4_16_4_u.1	SAT	101.84
5qbf-5cnf-80var-2560cl.4	UNSAT	103.58
1qbf-5cnf-160var-2560cl.9	SAT	105.23
ncf_4_16_4_euad.7	SAT	105.28
ncf_4_8_4_d.5	SAT	105.31
4qbf-5cnf-20var-160cl.2	SAT	112.31
ncf_8_16_2_edau.4	SAT	115.31
k_ph_n-4	SAT	119.15
ncf_4_8_8_euad.2	UNSAT	120
ncf_8_16_2_d.10	SAT	121.73
robots_1_5_5_26.4	SAT	123.68
robots_1_5_5_66.4	SAT	124.4
5qbf-5cnf-40var-320cl.0	SAT	124.69
ncf_8_16_2_edau.10	SAT	128.84
ncf_8_16_8_u.7	UNSAT	130.27
CHAIN17v.18	SAT	130.56
szymanski-18-s	UNSAT	137.2
mutex-8-s	SAT	138.57
1qbf-5cnf-160var-2560cl.5	SAT	145.48
6qbf-5cnf-20var-320cl.0	UNSAT	156.18
ncf_4_16_2_edau.8	SAT	167.99
connect_5x4_4_R	UNSAT	170.49
ncf_4_16_2_edau.3	UNSAT	171.68
ncf_16_32_8_u.8	UNSAT	172.51
ncf_4_8_8_u.10	SAT	172.52
ncf_8_16_4_euad.4	SAT	173.17
1qbf-5cnf-80var-2560cl.4	UNSAT	180.1
5qbf-5cnf-20var-320cl.1	UNSAT	180.83
ncf_8_16_2_u.4	SAT	183.02
ncf_4_16_4_edau.10	UNSAT	183.59
ncf_4_16_2_d.3	UNSAT	184.23
toilet_c_10_01.16	UNSAT	187.5
4qbf-5cnf-80var-320cl.5	SAT	189.89
robots_1_5_4_30.4	SAT	195.9
robots_1_5_4_50.4	SAT	196.09
robots_1_5_5_87.4	SAT	196.21
ncf_4_8_8_euad.10	SAT	196.71
robots_1_5_4_100.4	SAT	196.93
robots_1_5_4_31.4	SAT	197.51
1qbf-5cnf-80var-2560cl.2	UNSAT	199.34
3qbf-5cnf-40var-320cl.6	SAT	199.81
1qbf-5cnf-160var-2560cl.6	SAT	202.27
1qbf-5cnf-160var-2560cl.4	SAT	217.74
robots_1_5_3_44.4	SAT	217.99
robots_1_5_3_16.4	SAT	220.35
robots_1_5_3_100.4	SAT	222.94
ncf_4_16_2_edau.5	UNSAT	231.68
1qbf-5cnf-80var-2560cl.6	UNSAT	233.17
ncf_4_8_8_u.2	UNSAT	236.83
szymanski-20-s	UNSAT	237.07
tree-exa2-35	UNSAT	237.34
ncf_8_16_8_u.8	UNSAT	237.63
1qbf-5cnf-80var-2560cl.3	UNSAT	239.14
6qbf-5cnf-20var-320cl.2	UNSAT	240.48
robots_1_5_2_85.4	SAT	242.37
CHAIN18v.19	SAT	243.07
4qbf-5cnf-80var-320cl.6	SAT	245.53
1qbf-5cnf-80var-2560cl.8	UNSAT	248
robots_1_5_2_3.4	SAT	250.97
1qbf-5cnf-80var-2560cl.1	UNSAT	251.27
4qbf-5cnf-20var-160cl.4	UNSAT	251.77
1qbf-5cnf-80var-2560cl.7	UNSAT	251.79
1qbf-5cnf-80var-2560cl.0	UNSAT	253.04
ncf_4_16_2_edau.1	UNSAT	262.39
ncf_4_16_4_euad.4	UNSAT	262.52
1qbf-5cnf-80var-2560cl.5	UNSAT	268.97
1qbf-5cnf-80var-2560cl.9	UNSAT	273.11
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	275.77
1qbf-5cnf-160var-2560cl.2	SAT	278.99
ev-pr-4x4-11-3-0-0-1-lg	SAT	293.38
2qbf-5cnf-40var-320cl.9	UNSAT	294.34
4qbf-5cnf-40var-640cl.0	UNSAT	303.71
robots_1_5_4_87.4	SAT	307.87
robots_1_5_4_91.4	SAT	309.08
robots_1_5_5_30.4	SAT	309.14
robots_1_5_4_98.4	SAT	309.94
6qbf-5cnf-20var-160cl.4	SAT	311.01
robots_1_5_4_46.4	SAT	311.17
robots_1_5_4_2.4	SAT	311.34
robots_1_5_4_51.4	SAT	312.99
robots_1_5_3_20.4	SAT	313.34
robots_1_5_3_78.4	SAT	313.8
ncf_8_16_4_d.10	SAT	314.74
robots_1_5_5_45.4	SAT	314.79
3qbf-5cnf-40var-320cl.3	SAT	316.17
ncf_4_16_2_d.8	SAT	317.2
robots_1_5_5_34.4	SAT	317.94
robots_1_5_5_12.4	SAT	318
robots_1_5_5_93.4	SAT	318.06
robots_1_5_5_100.4	SAT	319.03
robots_1_5_5_8.4	SAT	319.61
5qbf-5cnf-160var-5120cl.5	UNSAT	321.92
ncf_4_16_4_u.6	UNSAT	329.01
6qbf-5cnf-80var-2560cl.2	UNSAT	341.36
robots_1_5_3_66.4	SAT	350.19
6qbf-5cnf-20var-160cl.6	SAT	350.83
robots_1_5_3_52.4	SAT	354.1
4qbf-5cnf-20var-160cl.5	UNSAT	355.94
ncf_8_32_2_euad.7	UNSAT	361.85
robots_1_5_3_24.4	SAT	365.08
ncf_4_8_8_edau.2	UNSAT	366.81
robots_1_5_3_2.4	SAT	366.84
robots_1_5_3_57.4	SAT	367.59
robots_1_5_2_21.4	SAT	378.62
robots_1_5_2_82.4	SAT	382.42
robots_1_5_2_80.4	SAT	383.67
robots_1_5_2_2.4	SAT	388.48
robots_1_5_2_99.4	SAT	390.06
connect_5x4_3_R	UNSAT	395.57
3qbf-5cnf-40var-640cl.1	UNSAT	403.72
ncf_8_16_4_edau.10	SAT	408.47
szymanski-22-s	UNSAT	409.85
2qbf-5cnf-80var-160cl.1	SAT	410.31
2qbf-5cnf-40var-320cl.1	UNSAT	412.47
robots_1_5_2_100.4	SAT	415.5
robots_1_5_2_45.4	SAT	415.64
robots_1_5_2_39.4	SAT	419.69
ncf_8_16_8_euad.7	UNSAT	427.11
toilet_c_10_05.4	SAT	427.13
ncf_4_8_8_edau.1	SAT	499.76
connect_9x8_4_D	UNSAT	531.69
connect_8x7_3_D	UNSAT	538.12
connect_8x7_4_D	UNSAT	544.01
connect_8x7_4_W	UNSAT	546.39
CHAIN19v.20	SAT	548.95
connect_9x8_4_W	UNSAT	560.17
2qbf-5cnf-80var-160cl.7	SAT	574.13
connect_9x8_5_D	UNSAT	577.86
4qbf-5cnf-20var-160cl.6	UNSAT	583.39
connect_9x8_5_W	UNSAT	600.73
lut4_2_f1	SAT	602.06
connect_9x8_3_D	UNSAT	615.52
connect_8x7_3_W	UNSAT	653.98
connect_9x8_3_W	UNSAT	660.08
6qbf-5cnf-160var-5120cl.0	UNSAT	679.68
ncf_4_32_2_euad.4	UNSAT	695.31
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	703.5
szymanski-24-s	UNSAT	712.05
2qbf-5cnf-80var-160cl.4	SAT	724.66
4qbf-5cnf-40var-640cl.2	UNSAT	732.79
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	733.11
ncf_4_16_4_u.10	UNSAT	740.45
6qbf-5cnf-20var-160cl.0	SAT	763.67
ncf_16_32_8_edau.2	UNSAT	819.14
ncf_4_16_8_euad.7	SAT	882.55
ncf_8_32_4_euad.3	FAIL	900.45
Adder2-6-s	FAIL	900.48
2qbf-5cnf-160var-1280cl.6	FAIL	900.8
ncf_16_128_8_u.5	FAIL	900.81
ncf_8_32_2_euad.2	FAIL	900.81
2qbf-5cnf-80var-640cl.2	FAIL	900.81
ncf_4_16_8_u.6	FAIL	900.82
ncf_16_32_8_u.9	FAIL	900.82
ncf_4_16_4_u.3	FAIL	900.83
ncf_8_32_4_d.8	FAIL	900.84
counter_e_4	FAIL	900.84
renHorn_400CNF2280_2aQBF_4	FAIL	900.84
ncf_8_32_2_u.3	FAIL	900.84
ncf_4_32_2_edau.5	FAIL	900.85
ev-pr-6x6-11-5-0-1-2-s	FAIL	900.85
4qbf-5cnf-40var-320cl.2	FAIL	900.85
renHorn_400CNF1880_2aQBF_81	FAIL	900.85
ncf_4_32_8_euad.6	FAIL	900.85
3qbf-5cnf-80var-1280cl.2	FAIL	900.85
k_ph_n-16	FAIL	900.85
k_d4_n-4	FAIL	900.85
ncf_4_32_2_u.8	FAIL	900.85
2qbf-5cnf-160var-640cl.7	FAIL	900.85
k_path_n-4	FAIL	900.85
k_lin_p-12	FAIL	900.85
term1.blif_0.10_1.00_0_0_out_exact	FAIL	900.86
ncf_4_16_8_u.8	FAIL	900.86
2qbf-5cnf-160var-320cl.8	FAIL	900.86
horn_400CNF1600_2aQBF_956	FAIL	900.86
4qbf-5cnf-80var-320cl.1	FAIL	900.86
connect_6x5_4_R	FAIL	900.86
2qbf-5cnf-80var-640cl.5	FAIL	900.86
ncf_4_32_4_u.7	FAIL	900.86
ncf_16_64_4_edau.3	FAIL	900.86
k_grz_p-21	FAIL	900.86
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	900.86
ncf_16_32_2_d.5	FAIL	900.86
renHorn_400CNF1800_2aQBF_2	FAIL	900.86
horn_400CNF1600_2aQBF_514	FAIL	900.86
ncf_8_16_4_d.7	FAIL	900.86
s820_d11_u	FAIL	900.86
ncf_4_16_8_edau.9	FAIL	900.87
4qbf-5cnf-80var-640cl.6	FAIL	900.87
ncf_8_32_2_euad.8	FAIL	900.87
5qbf-5cnf-40var-320cl.8	FAIL	900.87
renHorn_400CNF2040_2aQBF_11	FAIL	900.87
robots_1_5_2_40.8	FAIL	900.87
horn_400CNF1680_2aQBF_950	FAIL	900.87
5qbf-5cnf-40var-640cl.5	FAIL	900.87
3qbf-5cnf-160var-2560cl.9	FAIL	900.87
connect_7x6_4_R	FAIL	900.87
ncf_8_64_8_u.9	FAIL	900.87
ncf_16_64_2_euad.4	FAIL	900.87
5qbf-5cnf-80var-640cl.6	FAIL	900.87
ncf_8_32_4_edau.9	FAIL	900.87
s27_d4_u	FAIL	900.87
3qbf-5cnf-160var-2560cl.7	FAIL	900.87
C432.blif_0.10_0.20_0_0_out_exact	FAIL	900.87
C499.blif_0.10_0.20_0_1_out_exact	FAIL	900.87
k_t4p_p-8	FAIL	900.87
ncf_16_32_4_u.8	FAIL	900.87
s3330_d9_s	FAIL	900.87
horn_400CNF1840_2aQBF_215	FAIL	900.87
ncf_8_32_4_u.6	FAIL	900.87
ncf_16_128_2_euad.3	FAIL	900.87
6qbf-5cnf-160var-1280cl.9	FAIL	900.87
lut4_AND_fXOR	FAIL	900.87
test3_quant_squaring4	FAIL	900.87
ncf_16_32_2_euad.1	FAIL	900.87
4qbf-5cnf-80var-640cl.0	FAIL	900.87
s298_d4_s	FAIL	900.87
ncf_8_64_2_u.4	FAIL	900.87
6qbf-5cnf-80var-640cl.7	FAIL	900.87
2qbf-5cnf-160var-1280cl.7	FAIL	900.87
6qbf-5cnf-40var-320cl.8	FAIL	900.87
k_path_n-20	FAIL	900.87
horn_400CNF1920_2aQBF_704	FAIL	900.87
ncf_8_64_4_euad.6	FAIL	900.87
horn_400CNF1280_2aQBF_841	FAIL	900.87
ncf_4_16_4_euad.2	FAIL	900.87
ncf_8_64_2_d.2	FAIL	900.87
ncf_4_16_8_d.2	FAIL	900.87
horn_400CNF1840_2aQBF_514	FAIL	900.87
k_path_p-8	FAIL	900.87
ncf_4_16_4_euad.10	FAIL	900.87
ncf_8_16_4_edau.7	FAIL	900.87
k_ph_p-21	FAIL	900.87
2qbf-5cnf-160var-640cl.1	FAIL	900.87
ncf_16_32_4_edau.8	FAIL	900.87
connect_9x8_5_R	FAIL	900.88
ncf_4_32_2_euad.6	FAIL	900.88
ncf_8_32_4_edau.3	FAIL	900.88
5qbf-5cnf-80var-640cl.5	FAIL	900.88
s510_d32_s	FAIL	900.88
2qbf-5cnf-40var-320cl.2	FAIL	900.88
ncf_8_16_8_euad.3	FAIL	900.88
5qbf-5cnf-40var-640cl.7	FAIL	900.88
ncf_16_128_2_euad.9	FAIL	900.88
ncf_16_64_4_euad.4	FAIL	900.88
s386_d4_s	FAIL	900.88
ev-pr-4x4-13-3-0-0-1-s	FAIL	900.88
ncf_4_16_8_euad.3	FAIL	900.88
ncf_16_128_8_u.1	FAIL	900.88
6qbf-5cnf-80var-640cl.1	FAIL	900.88
4qbf-5cnf-80var-320cl.2	FAIL	900.88
ncf_16_32_4_u.9	FAIL	900.88
robots_1_5_3_64.8	FAIL	900.88
ncf_8_16_8_edau.7	FAIL	900.88
ncf_16_128_4_edau.3	FAIL	900.88
2qbf-5cnf-80var-320cl.7	FAIL	900.88
5qbf-5cnf-40var-640cl.3	FAIL	900.88
4qbf-5cnf-80var-640cl.8	FAIL	900.88
ncf_16_128_4_euad.5	FAIL	900.88
2qbf-5cnf-80var-320cl.4	FAIL	900.88
test3_quant4	FAIL	900.88
ncf_8_64_8_edau.5	FAIL	900.88
ncf_4_32_4_euad.7	FAIL	900.88
ncf_8_32_4_euad.7	FAIL	900.88
CHAIN22v.23	FAIL	900.88
ncf_16_32_4_d.6	FAIL	900.88
5qbf-5cnf-80var-640cl.1	FAIL	900.88
ncf_8_32_2_edau.8	FAIL	900.88
k_branch_n-4	FAIL	900.88
qshifter_6	FAIL	900.88
4qbf-5cnf-80var-320cl.3	FAIL	900.88
ncf_16_128_8_euad.8	FAIL	900.88
ncf_4_32_2_d.6	FAIL	900.88
C880.blif_0.10_1.00_0_1_out_exact	FAIL	900.88
s1196_d2_s	FAIL	900.88
ncf_8_16_8_edau.2	FAIL	900.88
Adder2-4-s	FAIL	900.88
4qbf-5cnf-80var-640cl.4	FAIL	900.88
6qbf-5cnf-80var-640cl.4	FAIL	900.88
4qbf-5cnf-160var-1280cl.7	FAIL	900.88
5qbf-5cnf-80var-1280cl.1	FAIL	900.88
ncf_8_64_4_d.5	FAIL	900.88
ncf_8_16_4_u.7	FAIL	900.88
renHorn_400CNF2280_2aQBF_13	FAIL	900.88
C499.blif_0.10_0.20_0_0_out_exact	FAIL	900.88
3qbf-5cnf-80var-640cl.8	FAIL	900.88
ev-pr-6x6-15-5-0-1-2-s	FAIL	900.88
2qbf-5cnf-80var-320cl.3	FAIL	900.88
ncf_16_64_2_edau.5	FAIL	900.88
ncf_4_32_4_d.8	FAIL	900.88
5qbf-5cnf-40var-640cl.0	FAIL	900.88
ncf_4_32_4_euad.4	FAIL	900.88
4qbf-5cnf-40var-320cl.0	FAIL	900.89
robots_1_5_5_5.8	FAIL	900.89
robots_1_5_5_95.8	FAIL	900.89
counter_r_64	FAIL	900.89
2qbf-5cnf-80var-320cl.1	FAIL	900.89
ncf_4_32_8_edau.8	FAIL	900.89
6qbf-5cnf-40var-320cl.6	FAIL	900.89
k_path_p-16	FAIL	900.89
3qbf-5cnf-40var-320cl.7	FAIL	900.89
4qbf-5cnf-80var-1280cl.7	FAIL	900.89
ncf_16_128_4_u.3	FAIL	900.89
renHorn_400CNF2360_2aQBF_58	FAIL	900.89
ncf_4_32_2_u.7	FAIL	900.89
2qbf-5cnf-40var-160cl.1	FAIL	900.89
horn_400CNF1680_2aQBF_698	FAIL	900.89
ncf_16_128_2_u.8	FAIL	900.89
horn_400CNF1760_2aQBF_484	FAIL	900.89
Adder2-16-c	FAIL	900.89
6qbf-5cnf-80var-640cl.5	FAIL	900.89
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	900.89
horn_400CNF2000_2aQBF_564	FAIL	900.89
C880.blif_0.10_1.00_0_0_out_exact	FAIL	900.89
renHorn_400CNF2200_2aQBF_22	FAIL	900.89
3qbf-5cnf-80var-1280cl.5	FAIL	900.89
k_grz_n-4	FAIL	900.89
ncf_8_32_4_euad.10	FAIL	900.89
ncf_8_32_2_d.5	FAIL	900.89
ncf_4_32_2_euad.8	FAIL	900.89
ncf_4_32_4_euad.6	FAIL	900.89
renHorn_400CNF1280_2aQBF_7	FAIL	900.89
ncf_8_32_2_edau.5	FAIL	900.89
k_d4_p-16	FAIL	900.89
6qbf-5cnf-40var-640cl.0	FAIL	900.89
horn_400CNF1600_2aQBF_789	FAIL	900.89
ncf_16_128_8_euad.5	FAIL	900.89
2qbf-5cnf-160var-320cl.7	FAIL	900.89
4qbf-5cnf-40var-320cl.1	FAIL	900.89
4qbf-5cnf-160var-1280cl.9	FAIL	900.89
k_grz_n-16	FAIL	900.89
horn_400CNF1440_2aQBF_676	FAIL	900.89
ncf_16_128_4_edau.10	FAIL	900.89
ncf_8_32_2_edau.10	FAIL	900.89
4qbf-5cnf-80var-640cl.9	FAIL	900.89
renHorn_400CNF1960_2aQBF_50	FAIL	900.89
ncf_16_32_2_euad.10	FAIL	900.89
ncf_16_64_4_d.1	FAIL	900.89
ncf_4_16_4_edau.7	FAIL	900.89
ncf_16_32_8_euad.2	FAIL	900.89
s298_d16_s	FAIL	900.89
s499_d21_s	FAIL	900.89
ncf_16_64_2_d.6	FAIL	900.89
ncf_16_64_4_edau.6	FAIL	900.89
horn_400CNF1840_2aQBF_158	FAIL	900.89
4qbf-5cnf-80var-1280cl.1	FAIL	900.89
6qbf-5cnf-80var-1280cl.3	FAIL	900.89
ncf_8_32_4_euad.1	FAIL	900.89
connect_7x6_5_R	FAIL	900.89
ncf_4_32_2_edau.10	FAIL	900.89
robots_1_5_3_70.8	FAIL	900.89
ncf_8_32_2_euad.10	FAIL	900.89
2qbf-5cnf-40var-160cl.8	FAIL	900.89
4qbf-5cnf-80var-640cl.7	FAIL	900.89
5qbf-5cnf-80var-640cl.2	FAIL	900.89
2qbf-5cnf-40var-320cl.0	FAIL	900.89
ncf_8_16_8_edau.8	FAIL	900.89
4qbf-5cnf-160var-2560cl.4	FAIL	900.89
ncf_4_32_8_d.10	FAIL	900.89
k_path_p-12	FAIL	900.89
ncf_16_128_4_edau.8	FAIL	900.89
k_ph_n-12	FAIL	900.89
toilet_a_10_01.16	FAIL	900.89
ncf_4_16_4_d.7	FAIL	900.89
ncf_16_32_4_edau.2	FAIL	900.89
horn_400CNF1920_2aQBF_927	FAIL	900.89
2qbf-5cnf-160var-320cl.6	FAIL	900.89
s27_d3_u	FAIL	900.89
connect_6x5_5_R	FAIL	900.89
ncf_4_16_8_edau.1	FAIL	900.89
horn_400CNF1680_2aQBF_547	FAIL	900.89
k_grz_p-20	FAIL	900.89
test4_quant_squaring4	FAIL	900.89
ncf_16_64_8_edau.7	FAIL	900.89
5qbf-5cnf-160var-2560cl.3	FAIL	900.89
ncf_16_32_2_u.3	FAIL	900.89
mutex-128-s	FAIL	900.89
s510_d47_u	FAIL	900.89
ncf_4_32_2_u.2	FAIL	900.89
TOILET16.1.iv.32	FAIL	900.89
ev-pr-6x6-7-5-0-1-2-s	FAIL	900.89
1qbf-5cnf-160var-5120cl.3	FAIL	900.89
1qbf-5cnf-160var-5120cl.7	FAIL	900.89
horn_400CNF1840_2aQBF_340	FAIL	900.9
ncf_4_32_8_euad.8	FAIL	900.9
ncf_16_128_2_euad.7	FAIL	900.9
horn_400CNF1440_2aQBF_967	FAIL	900.9
adder-4-sat	FAIL	900.9
k_dum_p-21	FAIL	900.9
ncf_8_16_4_d.4	FAIL	900.9
ncf_16_32_2_u.5	FAIL	900.9
2qbf-5cnf-160var-320cl.2	FAIL	900.9
k_lin_n-12	FAIL	900.9
ncf_16_32_2_d.10	FAIL	900.9
ncf_16_64_8_u.7	FAIL	900.9
ncf_8_32_2_edau.1	FAIL	900.9
3qbf-5cnf-160var-1280cl.7	FAIL	900.9
3qbf-5cnf-160var-1280cl.9	FAIL	900.9
ncf_4_16_8_edau.5	FAIL	900.9
ncf_8_64_4_d.2	FAIL	900.9
ncf_16_32_2_d.1	FAIL	900.9
horn_400CNF1360_2aQBF_894	FAIL	900.9
6qbf-5cnf-40var-640cl.4	FAIL	900.9
comp.blif_0.10_1.00_0_0_inp_exact	FAIL	900.9
BLOCKS3i.5.4	FAIL	900.9
ncf_8_16_4_u.4	FAIL	900.9
4qbf-5cnf-160var-640cl.9	FAIL	900.9
s713_d2_s	FAIL	900.9
4qbf-5cnf-80var-1280cl.5	FAIL	900.9
horn_400CNF1600_2aQBF_73	FAIL	900.9
ncf_16_64_8_d.7	FAIL	900.9
horn_400CNF1760_2aQBF_726	FAIL	900.9
horn_400CNF1280_2aQBF_755	FAIL	900.9
2qbf-5cnf-160var-640cl.2	FAIL	900.9
ncf_4_8_8_d.8	FAIL	900.9
3qbf-5cnf-160var-1280cl.1	FAIL	900.9
s27_d5_u	FAIL	900.9
ncf_16_64_4_u.4	FAIL	900.9
horn_400CNF2320_2aQBF_458	FAIL	900.9
horn_400CNF2320_2aQBF_813	FAIL	900.9
4qbf-5cnf-160var-2560cl.7	FAIL	900.9
ncf_8_64_2_edau.2	FAIL	900.9
ncf_4_16_8_d.6	FAIL	900.9
test5_quant7	FAIL	900.9
BLOCKS4ii.7.2	FAIL	900.9
2qbf-5cnf-160var-320cl.5	FAIL	900.9
5qbf-5cnf-80var-2560cl.9	FAIL	900.9
ncf_8_16_8_euad.9	FAIL	900.9
ncf_8_64_8_euad.9	FAIL	900.9
test1_quant2	FAIL	900.9
adder-6-unsat	FAIL	900.9
4qbf-5cnf-40var-320cl.8	FAIL	900.9
ncf_8_64_2_u.8	FAIL	900.9
renHorn_400CNF1200_2aQBF_8	FAIL	900.9
ncf_4_32_2_u.4	FAIL	900.9
4qbf-5cnf-40var-320cl.4	FAIL	900.9
ev-pr-6x6-15-5-0-1-2-lg	FAIL	900.9
horn_400CNF1920_2aQBF_890	FAIL	900.9
5qbf-5cnf-160var-5120cl.7	FAIL	900.9
k_d4_n-12	FAIL	900.9
ncf_4_32_2_u.3	FAIL	900.9
BLOCKS3ii.5.3	FAIL	900.9
ncf_4_32_2_d.2	FAIL	900.9
k_dum_n-16	FAIL	900.9
test4_quant2	FAIL	900.9
2qbf-5cnf-160var-320cl.9	FAIL	900.9
CHAIN23v.24	FAIL	900.9
k_lin_p-8	FAIL	900.9
3qbf-5cnf-80var-640cl.9	FAIL	900.9
k_t4p_p-4	FAIL	900.9
renHorn_400CNF2040_2aQBF_86	FAIL	900.9
horn_400CNF1440_2aQBF_553	FAIL	900.9
5qbf-5cnf-80var-1280cl.6	FAIL	900.9
ncf_8_32_8_edau.9	FAIL	900.9
horn_400CNF2160_2aQBF_407	FAIL	900.9
ncf_16_32_2_u.1	FAIL	900.9
ncf_8_32_4_u.9	FAIL	900.9
horn_400CNF1200_2aQBF_539	FAIL	900.9
ncf_16_64_4_euad.10	FAIL	900.9
2qbf-5cnf-80var-320cl.8	FAIL	900.9
ncf_16_64_8_d.5	FAIL	900.9
6qbf-5cnf-160var-1280cl.6	FAIL	900.9
horn_400CNF2320_2aQBF_209	FAIL	900.9
5qbf-5cnf-160var-2560cl.8	FAIL	900.9
k_d4_p-4	FAIL	900.9
tree-exa2-40	FAIL	900.9
ncf_16_128_8_d.5	FAIL	900.9
robots_1_5_3_39.8	FAIL	900.9
ncf_4_32_8_edau.10	FAIL	900.9
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	900.9
connect_9x8_4_R	FAIL	900.9
ncf_16_64_2_u.9	FAIL	900.9
horn_400CNF2320_2aQBF_137	FAIL	900.9
3qbf-5cnf-40var-640cl.2	FAIL	900.9
2qbf-5cnf-40var-160cl.6	FAIL	900.9
robots_1_5_4_91.8	FAIL	900.9
horn_400CNF1680_2aQBF_745	FAIL	900.9
ncf_8_32_8_edau.2	FAIL	900.9
6qbf-5cnf-80var-640cl.9	FAIL	900.9
ev-pr-6x6-5-5-0-1-2-s	FAIL	900.9
k_t4p_p-21	FAIL	900.9
ev-pr-6x6-19-5-0-1-2-s	FAIL	900.9
ncf_8_32_8_edau.1	FAIL	900.9
3qbf-5cnf-160var-1280cl.2	FAIL	900.9
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	900.9
4qbf-5cnf-160var-640cl.5	FAIL	900.9
s713_d6_s	FAIL	900.9
6qbf-5cnf-40var-320cl.0	FAIL	900.9
ncf_8_64_8_edau.3	FAIL	900.9
ncf_16_32_8_euad.9	FAIL	900.9
k_dum_p-4	FAIL	900.9
6qbf-5cnf-40var-640cl.1	FAIL	900.9
ncf_4_16_4_d.3	FAIL	900.9
ncf_8_64_8_edau.7	FAIL	900.9
ncf_16_64_4_euad.2	FAIL	900.9
ncf_8_16_8_edau.4	FAIL	900.9
4qbf-5cnf-160var-2560cl.5	FAIL	900.9
4qbf-5cnf-160var-640cl.6	FAIL	900.9
k_dum_p-12	FAIL	900.9
6qbf-5cnf-40var-640cl.8	FAIL	900.9
2qbf-5cnf-160var-320cl.4	FAIL	900.9
2qbf-5cnf-40var-160cl.4	FAIL	900.9
ncf_16_32_8_u.6	FAIL	900.9
ncf_4_32_2_u.9	FAIL	900.9
5qbf-5cnf-160var-1280cl.9	FAIL	900.9
ncf_16_64_2_edau.1	FAIL	900.9
k_poly_n-8	FAIL	900.9
horn_400CNF1520_2aQBF_782	FAIL	900.9
horn_400CNF1760_2aQBF_614	FAIL	900.9
horn_400CNF1760_2aQBF_686	FAIL	900.9
2qbf-5cnf-80var-320cl.6	FAIL	900.9
6qbf-5cnf-160var-1280cl.3	FAIL	900.9
ncf_8_64_4_u.1	FAIL	900.9
ncf_8_32_2_d.4	FAIL	900.9
ncf_4_16_4_edau.4	FAIL	900.9
test4_quant_squaring2	FAIL	900.9
renHorn_400CNF1720_2aQBF_71	FAIL	900.9
connect_8x7_3_R	FAIL	900.9
4qbf-5cnf-160var-640cl.8	FAIL	900.9
6qbf-5cnf-80var-1280cl.4	FAIL	900.9
5qbf-5cnf-80var-1280cl.8	FAIL	900.9
s298_d19_u	FAIL	900.9
k_grz_n-21	FAIL	900.9
ncf_16_64_4_u.1	FAIL	900.9
k_path_n-16	FAIL	900.9
ncf_8_64_8_edau.2	FAIL	900.9
4qbf-5cnf-40var-320cl.5	FAIL	900.9
comp.blif_0.10_1.00_0_0_out_exact	FAIL	900.9
ev-pr-8x8-17-7-0-1-2-lg	FAIL	900.9
adder-4-unsat	FAIL	900.9
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	900.9
6qbf-5cnf-160var-2560cl.5	FAIL	900.9
2qbf-5cnf-40var-320cl.3	FAIL	900.9
ncf_16_64_2_u.3	FAIL	900.9
C432.blif_0.10_0.20_0_1_out_exact	FAIL	900.9
counter_re_4	FAIL	900.9
6qbf-5cnf-160var-1280cl.8	FAIL	900.9
ncf_8_32_4_u.7	FAIL	900.9
horn_400CNF1760_2aQBF_996	FAIL	900.9
2qbf-5cnf-80var-640cl.3	FAIL	900.9
6qbf-5cnf-80var-1280cl.8	FAIL	900.9
ev-pr-6x6-17-5-0-1-2-lg	FAIL	900.91
2qbf-5cnf-40var-160cl.5	FAIL	900.91
ncf_8_32_2_d.7	FAIL	900.91
robots_1_5_5_100.8	FAIL	900.91
counter_8	FAIL	900.91
renHorn_400CNF1200_2aQBF_85	FAIL	900.91
6qbf-5cnf-40var-320cl.9	FAIL	900.91
3qbf-5cnf-40var-320cl.0	FAIL	900.91
ncf_4_32_2_d.4	FAIL	900.91
3qbf-5cnf-80var-640cl.3	FAIL	900.91
ncf_4_16_8_d.4	FAIL	900.91
ncf_4_16_8_edau.8	FAIL	900.91
ncf_4_32_2_euad.2	FAIL	900.91
ncf_16_64_4_euad.5	FAIL	900.91
TOILET7.1.iv.13	FAIL	900.91
ncf_16_32_8_euad.4	FAIL	900.91
ncf_8_64_4_d.3	FAIL	900.91
renHorn_400CNF2120_2aQBF_52	FAIL	900.91
ncf_8_32_2_edau.9	FAIL	900.91
6qbf-5cnf-160var-2560cl.1	FAIL	900.91
ncf_16_64_4_edau.5	FAIL	900.91
horn_400CNF1600_2aQBF_103	FAIL	900.91
ncf_16_64_2_euad.7	FAIL	900.91
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	900.91
ncf_16_32_4_u.5	FAIL	900.91
k_poly_n-4	FAIL	900.91
ncf_8_64_8_u.5	FAIL	900.91
ncf_16_32_4_u.3	FAIL	900.91
ncf_4_8_8_d.1	FAIL	900.91
BLOCKS4iii.6	FAIL	900.91
ncf_16_128_8_d.2	FAIL	900.91
renHorn_400CNF1720_2aQBF_20	FAIL	900.91
horn_400CNF2080_2aQBF_899	FAIL	900.91
k_dum_p-20	FAIL	900.91
robots_1_5_2_91.8	FAIL	900.91
ncf_16_64_4_d.6	FAIL	900.91
connect_8x7_4_R	FAIL	900.91
ncf_4_8_8_d.6	FAIL	900.91
ncf_8_64_4_u.5	FAIL	900.91
ncf_16_128_8_edau.6	FAIL	900.91
3qbf-5cnf-80var-640cl.6	FAIL	900.91
ncf_8_32_4_d.2	FAIL	900.91
ncf_4_32_8_euad.10	FAIL	900.91
2qbf-5cnf-80var-640cl.4	FAIL	900.91
renHorn_400CNF1360_2aQBF_96	FAIL	900.91
renHorn_400CNF2360_2aQBF_88	FAIL	900.91
ncf_8_64_4_edau.2	FAIL	900.91
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	900.91
ncf_8_32_8_d.10	FAIL	900.91
ncf_16_32_8_edau.1	FAIL	900.91
uclid-pipe2	FAIL	900.91
Adder2-10-c	FAIL	900.91
ev-pr-4x4-17-3-0-0-1-s	FAIL	900.91
ncf_4_16_4_edau.2	FAIL	900.91
renHorn_400CNF1200_2aQBF_97	FAIL	900.91
2qbf-5cnf-160var-640cl.8	FAIL	900.91
ncf_16_32_8_d.9	FAIL	900.91
ncf_16_64_8_u.9	FAIL	900.91
horn_400CNF2000_2aQBF_702	FAIL	900.91
k_d4_n-8	FAIL	900.91
ncf_8_32_4_u.10	FAIL	900.91
ncf_8_16_8_euad.4	FAIL	900.91
s386_d8_u	FAIL	900.91
ncf_16_32_8_u.10	FAIL	900.91
ncf_8_32_4_d.7	FAIL	900.91
ncf_8_64_4_u.4	FAIL	900.91
ncf_16_128_2_euad.10	FAIL	900.91
ncf_8_32_8_edau.6	FAIL	900.91
ncf_16_128_8_u.8	FAIL	900.91
2qbf-5cnf-160var-1280cl.2	FAIL	900.91
k_ph_p-12	FAIL	900.91
ncf_16_64_2_u.4	FAIL	900.91
renHorn_400CNF2280_2aQBF_59	FAIL	900.91
ncf_4_32_8_edau.4	FAIL	900.91
robots_1_5_2_67.8	FAIL	900.91
ncf_16_32_2_u.8	FAIL	900.91
BLOCKS3i.4.4	FAIL	900.91
ncf_4_16_8_edau.3	FAIL	900.91
ncf_16_64_2_u.5	FAIL	900.91
ncf_16_64_4_u.3	FAIL	900.91
horn_400CNF1840_2aQBF_547	FAIL	900.91
ncf_8_32_2_edau.3	FAIL	900.91
k_d4_p-12	FAIL	900.91
lut4_AND_f1	FAIL	900.91
ncf_8_64_2_u.9	FAIL	900.91
ncf_16_64_2_euad.10	FAIL	900.91
ncf_8_32_2_u.5	FAIL	900.91
ncf_4_32_2_u.6	FAIL	900.91
ncf_8_16_8_d.8	FAIL	900.91
ncf_8_16_8_d.10	FAIL	900.91
ncf_16_64_8_edau.1	FAIL	900.91
qshifter_5	FAIL	900.91
6qbf-5cnf-80var-640cl.3	FAIL	900.91
connect_9x8_7_R	FAIL	900.91
5qbf-5cnf-80var-1280cl.7	FAIL	900.91
ncf_4_16_8_edau.7	FAIL	900.91
ncf_8_32_4_euad.8	FAIL	900.91
ncf_16_128_4_edau.1	FAIL	900.91
horn_400CNF1920_2aQBF_314	FAIL	900.91
ncf_8_64_8_u.3	FAIL	900.91
k_grz_p-12	FAIL	900.91
4qbf-5cnf-40var-320cl.3	FAIL	900.91
2qbf-5cnf-40var-320cl.7	FAIL	900.91
6qbf-5cnf-40var-640cl.2	FAIL	900.91
k_lin_n-21	FAIL	900.91
5qbf-5cnf-160var-5120cl.4	FAIL	900.91
ncf_8_64_2_d.5	FAIL	900.91
5qbf-5cnf-80var-1280cl.5	FAIL	900.91
5qbf-5cnf-40var-640cl.6	FAIL	900.91
renHorn_400CNF1360_2aQBF_35	FAIL	900.91
s499_d22_u	FAIL	900.91
k_dum_n-20	FAIL	900.91
ncf_16_128_8_u.9	FAIL	900.91
ncf_4_32_4_edau.8	FAIL	900.91
renHorn_400CNF1280_2aQBF_62	FAIL	900.91
k_lin_p-4	FAIL	900.91
renHorn_400CNF1640_2aQBF_38	FAIL	900.91
renHorn_400CNF1720_2aQBF_11	FAIL	900.91
k_grz_p-4	FAIL	900.91
ncf_4_32_4_d.1	FAIL	900.91
ncf_16_32_4_edau.9	FAIL	900.91
ncf_8_64_2_euad.3	FAIL	900.91
renHorn_400CNF1640_2aQBF_18	FAIL	900.91
ncf_16_128_2_euad.8	FAIL	900.91
ncf_16_128_4_d.9	FAIL	900.91
k_poly_n-12	FAIL	900.91
s510_d46_s	FAIL	900.91
horn_400CNF2160_2aQBF_427	FAIL	900.91
renHorn_400CNF1560_2aQBF_90	FAIL	900.91
4qbf-5cnf-160var-1280cl.5	FAIL	900.91
ncf_4_32_4_euad.3	FAIL	900.91
s820_d8_s	FAIL	900.91
horn_400CNF2320_2aQBF_420	FAIL	900.91
4qbf-5cnf-40var-320cl.9	FAIL	900.91
4qbf-5cnf-160var-640cl.7	FAIL	900.91
6qbf-5cnf-160var-5120cl.3	FAIL	900.91
ncf_8_32_2_d.3	FAIL	900.91
ncf_8_32_8_euad.2	FAIL	900.91
ncf_8_32_8_u.9	FAIL	900.91
ncf_8_64_2_u.10	FAIL	900.91
ncf_8_64_8_d.1	FAIL	900.91
ncf_16_32_2_edau.3	FAIL	900.91
ncf_4_32_2_d.9	FAIL	900.91
3qbf-5cnf-80var-1280cl.8	FAIL	900.91
s298_d2_s	FAIL	900.91
2qbf-5cnf-160var-640cl.9	FAIL	900.91
renHorn_400CNF1960_2aQBF_79	FAIL	900.91
2qbf-5cnf-80var-640cl.9	FAIL	900.91
4qbf-5cnf-80var-1280cl.9	FAIL	900.91
5qbf-5cnf-160var-2560cl.1	FAIL	900.91
ncf_4_16_4_edau.1	FAIL	900.91
4qbf-5cnf-80var-640cl.1	FAIL	900.91
3qbf-5cnf-80var-640cl.7	FAIL	900.91
2qbf-5cnf-40var-320cl.5	FAIL	900.91
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	900.91
ncf_8_16_4_edau.3	FAIL	900.91
5qbf-5cnf-160var-1280cl.5	FAIL	900.91
ncf_8_32_4_edau.2	FAIL	900.91
ncf_16_64_2_d.1	FAIL	900.91
5qbf-5cnf-160var-1280cl.4	FAIL	900.91
renHorn_400CNF1480_2aQBF_98	FAIL	900.91
ncf_4_32_2_edau.9	FAIL	900.91
ncf_16_32_4_d.10	FAIL	900.91
ncf_16_128_4_d.1	FAIL	900.91
ncf_4_8_8_edau.8	FAIL	900.91
1qbf-5cnf-160var-5120cl.1	FAIL	900.91
1qbf-5cnf-160var-5120cl.0	FAIL	900.91
1qbf-5cnf-160var-5120cl.6	FAIL	900.91
1qbf-5cnf-160var-5120cl.4	FAIL	900.91
ncf_16_64_2_u.7	FAIL	900.92
4qbf-5cnf-160var-2560cl.3	FAIL	900.92
6qbf-5cnf-40var-640cl.9	FAIL	900.92
ncf_8_64_8_euad.2	FAIL	900.92
3qbf-5cnf-80var-1280cl.0	FAIL	900.92
ncf_16_64_2_d.7	FAIL	900.92
6qbf-5cnf-40var-320cl.5	FAIL	900.92
ncf_4_16_8_d.5	FAIL	900.92
ncf_16_32_4_u.2	FAIL	900.92
ncf_16_64_2_euad.2	FAIL	900.92
s499_d16_s	FAIL	900.92
tree-exa2-45	FAIL	900.92
3qbf-5cnf-160var-2560cl.8	FAIL	900.92
ncf_8_16_8_u.3	FAIL	900.92
counter_re_64	FAIL	900.92
2qbf-5cnf-80var-640cl.6	FAIL	900.92
6qbf-5cnf-80var-640cl.8	FAIL	900.92
renHorn_400CNF1560_2aQBF_28	FAIL	900.92
connect_6x5_3_R	FAIL	900.92
ncf_16_128_2_d.5	FAIL	900.92
k_d4_p-20	FAIL	900.92
2qbf-5cnf-40var-160cl.9	FAIL	900.92
ncf_8_32_2_euad.3	FAIL	900.92
renHorn_400CNF2280_2aQBF_67	FAIL	900.92
ncf_16_128_8_euad.10	FAIL	900.92
horn_400CNF1440_2aQBF_147	FAIL	900.92
horn_400CNF1520_2aQBF_165	FAIL	900.92
ncf_4_16_8_u.3	FAIL	900.92
ev-pr-6x6-17-5-0-1-2-s	FAIL	900.92
ncf_16_64_4_u.7	FAIL	900.92
ncf_4_16_4_d.8	FAIL	900.92
ncf_4_32_8_edau.6	FAIL	900.92
ncf_16_64_8_edau.8	FAIL	900.92
horn_400CNF2320_2aQBF_230	FAIL	900.92
3qbf-5cnf-40var-320cl.1	FAIL	900.92
renHorn_400CNF1960_2aQBF_76	FAIL	900.92
ncf_8_32_2_u.9	FAIL	900.92
6qbf-5cnf-160var-1280cl.4	FAIL	900.92
2qbf-5cnf-160var-320cl.0	FAIL	900.92
renHorn_400CNF2280_2aQBF_95	FAIL	900.92
robots_1_5_2_54.8	FAIL	900.92
2qbf-5cnf-160var-640cl.5	FAIL	900.92
ev-pr-6x6-9-5-0-1-2-s	FAIL	900.92
4qbf-5cnf-160var-2560cl.8	FAIL	900.92
renHorn_400CNF1560_2aQBF_96	FAIL	900.92
2qbf-5cnf-40var-160cl.3	FAIL	900.92
ncf_8_32_2_d.1	FAIL	900.92
robots_1_5_3_55.8	FAIL	900.92
ncf_16_64_2_edau.7	FAIL	900.92
3qbf-5cnf-80var-1280cl.6	FAIL	900.92
4qbf-5cnf-80var-1280cl.3	FAIL	900.92
ncf_8_64_2_u.2	FAIL	900.92
ncf_16_32_8_edau.4	FAIL	900.92
horn_400CNF1360_2aQBF_788	FAIL	900.92
5qbf-5cnf-80var-1280cl.9	FAIL	900.92
ncf_4_32_4_edau.2	FAIL	900.92
ncf_16_32_2_edau.5	FAIL	900.92
k_path_n-8	FAIL	900.92
4qbf-5cnf-80var-320cl.7	FAIL	900.92
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	900.92
ncf_8_64_8_edau.10	FAIL	900.92
ncf_16_128_4_edau.2	FAIL	900.92
6qbf-5cnf-40var-320cl.2	FAIL	900.92
ncf_16_128_8_edau.1	FAIL	900.92
connect_8x7_5_R	FAIL	900.92
ncf_4_32_2_d.10	FAIL	900.92
k_lin_n-20	FAIL	900.92
ncf_16_64_4_euad.7	FAIL	900.92
ncf_16_128_8_d.8	FAIL	900.92
renHorn_400CNF1640_2aQBF_87	FAIL	900.92
ncf_16_64_8_euad.10	FAIL	900.92
ncf_4_32_8_euad.5	FAIL	900.92
4qbf-5cnf-80var-640cl.5	FAIL	900.92
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	900.92
ncf_8_64_2_d.6	FAIL	900.92
ncf_8_64_2_euad.6	FAIL	900.92
k_lin_p-16	FAIL	900.92
ncf_16_64_4_u.6	FAIL	900.92
ncf_16_64_4_euad.9	FAIL	900.92
ncf_8_32_2_d.8	FAIL	900.92
k_ph_p-20	FAIL	900.92
2qbf-5cnf-160var-1280cl.8	FAIL	900.92
ncf_4_16_4_d.1	FAIL	900.92
ncf_16_128_4_euad.6	FAIL	900.92
renHorn_400CNF1200_2aQBF_79	FAIL	900.92
ncf_4_32_4_edau.9	FAIL	900.92
renHorn_400CNF1800_2aQBF_7	FAIL	900.92
ncf_8_16_8_edau.5	FAIL	900.92
ncf_4_32_8_edau.9	FAIL	900.92
5qbf-5cnf-160var-2560cl.0	FAIL	900.92
ncf_8_32_2_u.2	FAIL	900.92
ncf_16_32_4_u.6	FAIL	900.92
ncf_16_32_4_u.10	FAIL	900.92
horn_400CNF1440_2aQBF_642	FAIL	900.92
s713_d7_u	FAIL	900.92
ncf_8_16_4_d.3	FAIL	900.92
ncf_8_16_8_d.2	FAIL	900.92
ncf_8_64_4_euad.8	FAIL	900.92
5qbf-5cnf-160var-1280cl.0	FAIL	900.92
ncf_8_32_8_d.6	FAIL	900.92
horn_400CNF1760_2aQBF_886	FAIL	900.92
tree-exa2-50	FAIL	900.92
ncf_8_64_8_edau.6	FAIL	900.92
k_lin_n-4	FAIL	900.92
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	900.92
2qbf-5cnf-160var-320cl.3	FAIL	900.92
horn_400CNF1680_2aQBF_482	FAIL	900.92
ncf_8_64_8_euad.5	FAIL	900.92
ncf_8_16_4_euad.9	FAIL	900.92
mutex-16-s	FAIL	900.92
ncf_8_16_4_d.9	FAIL	900.92
ncf_8_64_2_edau.9	FAIL	900.92
ev-pr-4x4-17-3-0-0-1-lg	FAIL	900.92
robots_1_5_2_61.8	FAIL	900.92
2qbf-5cnf-40var-160cl.0	FAIL	900.92
ncf_8_16_8_d.9	FAIL	900.92
4qbf-5cnf-80var-640cl.2	FAIL	900.92
Adder2-8-c	FAIL	900.92
ncf_16_32_2_euad.5	FAIL	900.92
k_branch_n-21	FAIL	900.92
ncf_4_8_8_d.10	FAIL	900.92
5qbf-5cnf-160var-1280cl.2	FAIL	900.92
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	900.92
ncf_4_32_8_d.1	FAIL	900.92
ncf_8_64_8_d.2	FAIL	900.92
ncf_16_32_2_euad.3	FAIL	900.92
ncf_16_64_4_edau.1	FAIL	900.92
ncf_16_64_8_edau.9	FAIL	900.92
ncf_4_16_8_euad.4	FAIL	900.92
ncf_8_64_8_u.8	FAIL	900.92
ncf_16_32_8_d.3	FAIL	900.92
ncf_8_32_8_edau.8	FAIL	900.92
ncf_4_8_8_d.3	FAIL	900.92
ncf_16_128_2_edau.3	FAIL	900.92
ncf_16_128_8_euad.6	FAIL	900.92
ncf_8_64_8_d.9	FAIL	900.92
4qbf-5cnf-160var-1280cl.8	FAIL	900.92
ncf_4_16_4_d.2	FAIL	900.92
6qbf-5cnf-80var-1280cl.2	FAIL	900.92
2qbf-5cnf-40var-160cl.7	FAIL	900.92
5qbf-5cnf-160var-2560cl.6	FAIL	900.92
ncf_4_8_8_edau.10	FAIL	900.92
ncf_16_32_2_d.3	FAIL	900.92
horn_400CNF1760_2aQBF_10	FAIL	900.92
ncf_8_64_2_edau.1	FAIL	900.92
horn_400CNF1760_2aQBF_711	FAIL	900.92
ncf_8_64_4_edau.9	FAIL	900.92
horn_400CNF1920_2aQBF_597	FAIL	900.92
horn_400CNF1680_2aQBF_286	FAIL	900.92
4qbf-5cnf-80var-320cl.8	FAIL	900.92
ncf_16_128_2_edau.9	FAIL	900.92
k_dum_p-16	FAIL	900.92
connect_9x8_3_R	FAIL	900.92
3qbf-5cnf-80var-640cl.0	FAIL	900.92
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	900.92
renHorn_400CNF2120_2aQBF_84	FAIL	900.92
horn_400CNF2160_2aQBF_308	FAIL	900.92
renHorn_400CNF2120_2aQBF_88	FAIL	900.92
horn_400CNF2320_2aQBF_72	FAIL	900.92
ncf_8_32_8_euad.8	FAIL	900.92
ncf_16_64_4_u.5	FAIL	900.92
ncf_8_32_8_d.9	FAIL	900.92
horn_400CNF1840_2aQBF_32	FAIL	900.92
ev-pr-8x8-11-7-0-1-2-lg	FAIL	900.92
ncf_16_64_8_euad.1	FAIL	900.92
k_grz_n-20	FAIL	900.92
Adder2-6-c	FAIL	900.92
4qbf-5cnf-160var-640cl.1	FAIL	900.92
ncf_8_32_8_euad.6	FAIL	900.92
ncf_4_32_4_euad.5	FAIL	900.92
ncf_8_32_8_euad.9	FAIL	900.92
counter_e_16	FAIL	900.92
ncf_16_128_2_u.10	FAIL	900.92
ncf_16_128_4_euad.3	FAIL	900.92
ncf_8_32_8_u.7	FAIL	900.92
renHorn_400CNF2040_2aQBF_59	FAIL	900.92
horn_400CNF1760_2aQBF_93	FAIL	900.92
Adder2-4-c	FAIL	900.92
ncf_16_64_8_edau.4	FAIL	900.92
2qbf-5cnf-80var-640cl.1	FAIL	900.92
k_dum_n-21	FAIL	900.92
renHorn_400CNF1480_2aQBF_96	FAIL	900.92
ncf_16_32_4_euad.8	FAIL	900.92
ncf_4_32_2_u.5	FAIL	900.92
ncf_8_32_4_u.5	FAIL	900.92
ncf_4_8_8_euad.6	FAIL	900.92
6qbf-5cnf-160var-2560cl.6	FAIL	900.92
ncf_4_16_4_edau.3	FAIL	900.92
s3330_d8_s	FAIL	900.92
ncf_16_32_8_d.1	FAIL	900.92
ncf_8_64_4_u.6	FAIL	900.92
horn_400CNF2160_2aQBF_692	FAIL	900.92
s3330_d2_s	FAIL	900.92
ncf_16_64_4_u.9	FAIL	900.92
horn_400CNF1360_2aQBF_831	FAIL	900.92
horn_400CNF1760_2aQBF_846	FAIL	900.92
2qbf-5cnf-160var-640cl.0	FAIL	900.92
6qbf-5cnf-80var-640cl.0	FAIL	900.92
horn_400CNF1680_2aQBF_503	FAIL	900.92
ncf_4_32_4_u.6	FAIL	900.92
4qbf-5cnf-160var-1280cl.0	FAIL	900.92
robots_1_5_2_75.8	FAIL	900.92
ncf_16_128_2_d.7	FAIL	900.92
robots_1_5_4_100.8	FAIL	900.92
2qbf-5cnf-80var-640cl.7	FAIL	900.92
ncf_8_64_8_u.7	FAIL	900.92
ncf_16_32_4_edau.6	FAIL	900.92
renHorn_400CNF1640_2aQBF_53	FAIL	900.92
s1269_d2_s	FAIL	900.92
ncf_4_32_8_edau.2	FAIL	900.92
horn_400CNF1600_2aQBF_922	FAIL	900.92
horn_400CNF1760_2aQBF_997	FAIL	900.92
ncf_8_64_2_d.9	FAIL	900.92
horn_400CNF2080_2aQBF_682	FAIL	900.92
1qbf-5cnf-160var-5120cl.2	FAIL	900.92
1qbf-5cnf-160var-5120cl.8	FAIL	900.92
adder-14-sat	FAIL	900.93
6qbf-5cnf-160var-5120cl.8	FAIL	900.93
ncf_8_16_4_u.9	FAIL	900.93
k_dum_n-4	FAIL	900.93
ncf_16_64_8_edau.10	FAIL	900.93
adder-6-sat	FAIL	900.93
ncf_4_32_2_euad.7	FAIL	900.93
ncf_8_64_4_d.7	FAIL	900.93
ncf_16_128_2_u.2	FAIL	900.93
renHorn_400CNF1800_2aQBF_53	FAIL	900.93
3qbf-5cnf-160var-2560cl.0	FAIL	900.93
2qbf-5cnf-40var-320cl.8	FAIL	900.93
BLOCKS4i.6.4	FAIL	900.93
ncf_8_32_2_edau.7	FAIL	900.93
mutex-64-s	FAIL	900.93
ncf_16_64_4_d.3	FAIL	900.93
ncf_16_128_4_d.4	FAIL	900.93
renHorn_400CNF1200_2aQBF_28	FAIL	900.93
ncf_4_16_8_euad.8	FAIL	900.93
ncf_4_32_4_euad.9	FAIL	900.93
horn_400CNF1440_2aQBF_668	FAIL	900.93
ncf_8_32_8_edau.5	FAIL	900.93
ncf_16_32_4_euad.2	FAIL	900.93
4qbf-5cnf-160var-640cl.4	FAIL	900.93
horn_400CNF1600_2aQBF_331	FAIL	900.93
ncf_4_8_8_edau.3	FAIL	900.93
4qbf-5cnf-40var-320cl.6	FAIL	900.93
k_d4_n-21	FAIL	900.93
ncf_16_64_2_edau.3	FAIL	900.93
4qbf-5cnf-40var-320cl.7	FAIL	900.93
qshifter_7	FAIL	900.93
horn_400CNF2160_2aQBF_701	FAIL	900.93
horn_400CNF2000_2aQBF_987	FAIL	900.93
ncf_4_32_8_d.3	FAIL	900.93
BLOCKS4ii.6.3	FAIL	900.93
ncf_8_32_8_euad.5	FAIL	900.93
3qbf-5cnf-80var-1280cl.4	FAIL	900.93
robots_1_5_2_82.8	FAIL	900.93
5qbf-5cnf-160var-1280cl.8	FAIL	900.93
ncf_4_32_8_edau.7	FAIL	900.93
ncf_8_16_8_u.2	FAIL	900.93
2qbf-5cnf-160var-1280cl.3	FAIL	900.93
ev-pr-4x4-7-3-0-0-1-s	FAIL	900.93
ncf_16_128_8_euad.2	FAIL	900.93
horn_400CNF2000_2aQBF_8	FAIL	900.93
ncf_8_16_8_edau.9	FAIL	900.93
ncf_4_32_2_euad.3	FAIL	900.93
ncf_16_64_2_euad.1	FAIL	900.93
ncf_16_128_4_d.2	FAIL	900.93
ncf_8_16_8_d.4	FAIL	900.93
ncf_8_64_2_d.4	FAIL	900.93
2qbf-5cnf-160var-1280cl.1	FAIL	900.93
ncf_8_64_4_u.10	FAIL	900.93
s1269_d4_s	FAIL	900.93
ncf_16_64_4_d.7	FAIL	900.93
3qbf-5cnf-80var-1280cl.7	FAIL	900.93
5qbf-5cnf-160var-5120cl.1	FAIL	900.93
ncf_8_32_2_euad.4	FAIL	900.93
ev-pr-8x8-19-7-0-1-2-lg	FAIL	900.93
ncf_16_32_2_u.10	FAIL	900.93
ncf_16_32_8_euad.5	FAIL	900.93
uclid-pipe3a	FAIL	900.93
ncf_16_128_2_d.9	FAIL	900.93
ncf_8_16_8_edau.3	FAIL	900.93
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	900.93
ncf_16_64_4_edau.8	FAIL	900.93
3qbf-5cnf-80var-1280cl.9	FAIL	900.93
ncf_4_16_8_d.9	FAIL	900.93
ncf_4_32_2_euad.5	FAIL	900.93
s820_d2_s	FAIL	900.93
ncf_16_32_8_edau.7	FAIL	900.93
ncf_4_32_4_u.9	FAIL	900.93
C499.blif_0.10_1.00_0_0_out_exact	FAIL	900.93
5qbf-5cnf-80var-1280cl.4	FAIL	900.93
test4_quant4	FAIL	900.93
s510_d2_s	FAIL	900.93
connect_9x8_6_R	FAIL	900.93
s3330_d10_u	FAIL	900.93
ncf_8_32_4_d.1	FAIL	900.93
ncf_4_32_2_edau.3	FAIL	900.93
ncf_8_32_2_edau.6	FAIL	900.93
ncf_8_32_2_edau.2	FAIL	900.93
ncf_16_32_8_u.4	FAIL	900.93
ncf_16_128_8_edau.3	FAIL	900.93
6qbf-5cnf-160var-5120cl.2	FAIL	900.93
k_t4p_n-12	FAIL	900.93
ncf_4_32_2_d.3	FAIL	900.93
2qbf-5cnf-80var-640cl.8	FAIL	900.93
ncf_4_16_8_euad.6	FAIL	900.93
ncf_16_64_8_euad.8	FAIL	900.93
test2_quant2	FAIL	900.93
ncf_16_128_4_edau.4	FAIL	900.93
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	900.93
ncf_16_64_2_u.10	FAIL	900.93
ncf_4_32_4_euad.1	FAIL	900.93
ncf_4_32_2_euad.9	FAIL	900.93
horn_400CNF1520_2aQBF_995	FAIL	900.93
horn_400CNF2160_2aQBF_92	FAIL	900.93
ncf_8_32_8_euad.10	FAIL	900.93
counter_e_8	FAIL	900.93
ncf_16_64_4_d.5	FAIL	900.93
k_branch_p-21	FAIL	900.93
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	900.93
ncf_8_16_8_euad.8	FAIL	900.93
ncf_8_32_2_u.8	FAIL	900.93
3qbf-5cnf-160var-1280cl.3	FAIL	900.93
ncf_4_16_4_d.6	FAIL	900.93
connect_7x6_3_R	FAIL	900.93
ncf_4_32_2_u.10	FAIL	900.93
ncf_4_32_4_euad.10	FAIL	900.93
ncf_8_64_8_euad.6	FAIL	900.93
3qbf-5cnf-160var-1280cl.8	FAIL	900.93
5qbf-5cnf-80var-1280cl.0	FAIL	900.93
ncf_16_128_4_u.4	FAIL	900.93
ncf_8_64_2_edau.4	FAIL	900.93
ncf_16_64_2_euad.5	FAIL	900.93
5qbf-5cnf-40var-640cl.9	FAIL	900.93
robots_1_5_3_8.8	FAIL	900.93
horn_400CNF2000_2aQBF_787	FAIL	900.93
k_dum_n-8	FAIL	900.93
ncf_8_64_4_d.4	FAIL	900.93
5qbf-5cnf-160var-2560cl.4	FAIL	900.93
ncf_16_64_4_edau.4	FAIL	900.93
ncf_8_32_4_edau.7	FAIL	900.93
ev-pr-4x4-11-3-0-0-1-s	FAIL	900.93
ncf_8_32_4_d.3	FAIL	900.93
robots_1_5_4_75.8	FAIL	900.93
ncf_16_128_4_euad.2	FAIL	900.93
k_t4p_p-20	FAIL	900.93
2qbf-5cnf-80var-640cl.0	FAIL	900.93
ncf_8_64_2_euad.10	FAIL	900.93
5qbf-5cnf-80var-2560cl.5	FAIL	900.93
ncf_16_64_2_euad.6	FAIL	900.93
5qbf-5cnf-160var-2560cl.9	FAIL	900.93
6qbf-5cnf-80var-640cl.6	FAIL	900.93
ncf_8_64_2_euad.5	FAIL	900.93
renHorn_400CNF2200_2aQBF_48	FAIL	900.93
horn_400CNF1600_2aQBF_26	FAIL	900.93
horn_400CNF2080_2aQBF_832	FAIL	900.93
6qbf-5cnf-40var-640cl.6	FAIL	900.93
2qbf-5cnf-40var-320cl.4	FAIL	900.93
toilet_a_10_05.4	FAIL	900.93
ncf_8_64_2_euad.2	FAIL	900.93
5qbf-5cnf-160var-1280cl.3	FAIL	900.93
ncf_16_32_8_u.2	FAIL	900.93
renHorn_400CNF1720_2aQBF_79	FAIL	900.93
renHorn_400CNF1480_2aQBF_21	FAIL	900.93
horn_400CNF1920_2aQBF_970	FAIL	900.93
ncf_8_32_2_u.4	FAIL	900.93
robots_1_5_5_14.8	FAIL	900.93
ncf_16_128_4_u.6	FAIL	900.93
ncf_8_32_8_u.5	FAIL	900.93
k_branch_p-20	FAIL	900.93
3qbf-5cnf-80var-640cl.1	FAIL	900.93
ncf_8_64_4_u.8	FAIL	900.93
ncf_4_16_8_edau.10	FAIL	900.93
5qbf-5cnf-160var-1280cl.1	FAIL	900.93
test5_quant_squaring5	FAIL	900.93
3qbf-5cnf-160var-1280cl.5	FAIL	900.93
ncf_4_32_2_d.8	FAIL	900.93
test1_quant3	FAIL	900.93
adder-8-sat	FAIL	900.93
ncf_16_64_4_d.4	FAIL	900.93
s1269_d11_u	FAIL	900.93
renHorn_400CNF1480_2aQBF_99	FAIL	900.93
ncf_8_16_4_edau.4	FAIL	900.93
ncf_4_32_8_u.8	FAIL	900.93
5qbf-5cnf-80var-640cl.3	FAIL	900.93
ncf_4_32_2_euad.10	FAIL	900.93
ncf_4_32_4_d.7	FAIL	900.93
k_path_n-12	FAIL	900.93
6qbf-5cnf-80var-1280cl.7	FAIL	900.93
ncf_4_32_8_euad.2	FAIL	900.93
ncf_16_32_4_u.1	FAIL	900.93
ncf_8_64_4_d.10	FAIL	900.93
ncf_8_32_4_u.2	FAIL	900.93
renHorn_400CNF1640_2aQBF_42	FAIL	900.93
ncf_4_32_4_d.10	FAIL	900.93
k_ph_p-16	FAIL	900.93
ncf_8_64_8_d.10	FAIL	900.93
horn_400CNF1840_2aQBF_323	FAIL	900.93
renHorn_400CNF1800_2aQBF_24	FAIL	900.93
ncf_8_32_8_u.4	FAIL	900.93
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	900.93
3qbf-5cnf-40var-320cl.2	FAIL	900.93
horn_400CNF1920_2aQBF_647	FAIL	900.93
horn_400CNF2320_2aQBF_80	FAIL	900.93
connect_9x8_8_R	FAIL	900.93
6qbf-5cnf-40var-320cl.1	FAIL	900.93
ncf_8_32_4_edau.8	FAIL	900.93
k_lin_p-20	FAIL	900.93
ncf_4_32_2_edau.4	FAIL	900.93
4qbf-5cnf-160var-1280cl.2	FAIL	900.93
2qbf-5cnf-160var-1280cl.5	FAIL	900.93
ncf_8_64_8_u.6	FAIL	900.93
6qbf-5cnf-40var-320cl.3	FAIL	900.93
horn_400CNF2080_2aQBF_793	FAIL	900.93
Adder2-10-s	FAIL	900.93
connect_7x6_6_R	FAIL	900.93
ncf_4_16_8_edau.4	FAIL	900.93
ncf_8_32_8_d.4	FAIL	900.93
5qbf-5cnf-160var-2560cl.2	FAIL	900.93
ncf_8_64_2_d.7	FAIL	900.93
renHorn_400CNF2360_2aQBF_97	FAIL	900.93
BLOCKS3i.5.3	FAIL	900.93
ncf_16_32_2_edau.10	FAIL	900.93
horn_400CNF1840_2aQBF_329	FAIL	900.93
ncf_16_128_2_edau.10	FAIL	900.93
ncf_16_64_8_d.2	FAIL	900.93
ncf_8_64_2_edau.10	FAIL	900.93
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	900.93
ev-pr-6x6-13-5-0-1-2-lg	FAIL	900.93
4qbf-5cnf-80var-1280cl.8	FAIL	900.93
3qbf-5cnf-80var-640cl.5	FAIL	900.93
4qbf-5cnf-160var-1280cl.1	FAIL	900.93
ncf_16_32_8_d.4	FAIL	900.93
ncf_16_32_8_u.5	FAIL	900.93
4qbf-5cnf-80var-320cl.4	FAIL	900.93
5qbf-5cnf-40var-640cl.4	FAIL	900.93
ncf_16_32_8_d.10	FAIL	900.93
ncf_16_64_8_d.1	FAIL	900.93
ncf_8_32_2_u.10	FAIL	900.93
horn_400CNF2320_2aQBF_772	FAIL	900.93
ncf_16_64_2_d.2	FAIL	900.93
ncf_8_64_8_edau.4	FAIL	900.93
ncf_4_8_8_edau.6	FAIL	900.93
k_dum_n-12	FAIL	900.93
ncf_4_32_4_d.3	FAIL	900.93
ncf_8_32_8_u.3	FAIL	900.93
ncf_8_16_8_d.7	FAIL	900.93
robots_1_5_3_27.8	FAIL	900.93
ncf_4_8_8_edau.7	FAIL	900.93
2qbf-5cnf-160var-640cl.6	FAIL	900.93
ncf_8_64_4_euad.5	FAIL	900.93
horn_400CNF1600_2aQBF_236	FAIL	900.93
BLOCKS3iii.5	FAIL	900.93
ncf_16_128_4_u.10	FAIL	900.93
horn_400CNF1840_2aQBF_980	FAIL	900.93
ncf_16_64_4_euad.3	FAIL	900.93
1qbf-5cnf-160var-5120cl.9	FAIL	900.93
1qbf-5cnf-160var-5120cl.5	FAIL	900.93
1qbf-5cnf-160var-2560cl.3	FAIL	900.93
ncf_8_64_2_d.10	FAIL	900.94
ncf_8_32_4_euad.2	FAIL	900.94
ncf_16_32_2_edau.6	FAIL	900.94
robots_1_5_5_66.8	FAIL	900.94
counter_re_32	FAIL	900.94
3qbf-5cnf-160var-2560cl.3	FAIL	900.94
ncf_8_32_4_d.6	FAIL	900.94
ncf_8_32_4_edau.6	FAIL	900.94
ncf_8_64_8_edau.9	FAIL	900.94
ncf_16_64_8_u.1	FAIL	900.94
ncf_4_32_4_d.6	FAIL	900.94
ncf_8_16_8_u.5	FAIL	900.94
ncf_16_128_8_euad.7	FAIL	900.94
comp.blif_0.10_0.20_0_0_inp_exact	FAIL	900.94
ncf_8_16_4_euad.3	FAIL	900.94
ncf_4_32_4_u.5	FAIL	900.94
ncf_8_64_8_euad.4	FAIL	900.94
ev-pr-4x4-15-3-0-0-1-s	FAIL	900.94
ncf_4_32_8_edau.3	FAIL	900.94
ncf_16_32_8_d.2	FAIL	900.94
C880.blif_0.10_0.20_0_1_out_exact	FAIL	900.94
5qbf-5cnf-80var-640cl.0	FAIL	900.94
ncf_16_64_2_d.3	FAIL	900.94
ncf_8_64_8_edau.8	FAIL	900.94
renHorn_400CNF1720_2aQBF_92	FAIL	900.94
k_branch_n-12	FAIL	900.94
ncf_8_16_8_euad.10	FAIL	900.94
ncf_8_32_8_edau.4	FAIL	900.94
horn_400CNF1440_2aQBF_165	FAIL	900.94
ncf_16_64_2_edau.6	FAIL	900.94
ncf_8_64_2_euad.9	FAIL	900.94
horn_400CNF1840_2aQBF_555	FAIL	900.94
ev-pr-6x6-13-5-0-1-2-s	FAIL	900.94
ncf_4_32_8_euad.3	FAIL	900.94
ncf_8_32_4_d.4	FAIL	900.94
ncf_16_64_2_u.1	FAIL	900.94
ev-pr-8x8-13-7-0-1-2-lg	FAIL	900.94
ncf_4_32_4_edau.6	FAIL	900.94
ncf_16_64_8_d.6	FAIL	900.94
ncf_16_32_8_d.7	FAIL	900.94
renHorn_400CNF1960_2aQBF_41	FAIL	900.94
s3330_d4_s	FAIL	900.94
horn_400CNF1520_2aQBF_116	FAIL	900.94
ncf_8_64_2_u.1	FAIL	900.94
ncf_16_128_2_d.10	FAIL	900.94
4qbf-5cnf-80var-1280cl.6	FAIL	900.94
ncf_4_16_8_u.4	FAIL	900.94
ncf_8_32_4_edau.10	FAIL	900.94
ncf_8_64_4_edau.4	FAIL	900.94
renHorn_400CNF1400_2aQBF_80	FAIL	900.94
renHorn_400CNF1480_2aQBF_44	FAIL	900.94
ncf_16_32_8_edau.6	FAIL	900.94
ncf_16_32_2_u.6	FAIL	900.94
mutex-32-s	FAIL	900.94
s1269_d10_s	FAIL	900.94
ncf_8_16_8_u.4	FAIL	900.94
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	900.94
5qbf-5cnf-160var-2560cl.5	FAIL	900.94
ncf_16_32_4_d.1	FAIL	900.94
ncf_16_128_2_edau.2	FAIL	900.94
ncf_8_32_4_edau.1	FAIL	900.94
6qbf-5cnf-80var-640cl.2	FAIL	900.94
renHorn_400CNF2040_2aQBF_100	FAIL	900.94
horn_400CNF1440_2aQBF_829	FAIL	900.94
ncf_16_128_2_d.3	FAIL	900.94
ncf_8_32_2_euad.5	FAIL	900.94
4qbf-5cnf-160var-640cl.0	FAIL	900.94
ncf_8_32_8_d.7	FAIL	900.94
BLOCKS4iii.7	FAIL	900.94
ncf_8_64_4_edau.5	FAIL	900.94
k_t4p_n-8	FAIL	900.94
ncf_16_32_4_euad.9	FAIL	900.94
ncf_16_32_8_euad.3	FAIL	900.94
test2_quant3	FAIL	900.94
ncf_16_64_2_d.4	FAIL	900.94
ncf_16_128_2_d.2	FAIL	900.94
ncf_16_64_2_d.8	FAIL	900.94
Adder2-14-s	FAIL	900.94
k_branch_p-12	FAIL	900.94
ncf_8_64_4_edau.3	FAIL	900.94
ncf_8_64_4_edau.1	FAIL	900.94
ncf_4_32_8_u.1	FAIL	900.94
ncf_16_128_8_u.6	FAIL	900.94
k_t4p_n-20	FAIL	900.94
test1_quant_squaring3	FAIL	900.94
ncf_16_32_4_euad.6	FAIL	900.94
ncf_16_128_8_euad.3	FAIL	900.94
horn_400CNF2080_2aQBF_840	FAIL	900.94
horn_400CNF2320_2aQBF_797	FAIL	900.94
2qbf-5cnf-160var-1280cl.0	FAIL	900.94
renHorn_400CNF1800_2aQBF_5	FAIL	900.94
ncf_16_32_4_edau.3	FAIL	900.94
renHorn_400CNF2360_2aQBF_9	FAIL	900.94
3qbf-5cnf-40var-320cl.5	FAIL	900.94
5qbf-5cnf-80var-640cl.4	FAIL	900.94
ncf_4_32_4_edau.5	FAIL	900.94
ncf_8_32_4_edau.4	FAIL	900.94
s298_d8_s	FAIL	900.94
ncf_16_64_8_d.3	FAIL	900.94
ncf_4_32_4_edau.10	FAIL	900.94
ncf_16_128_8_euad.1	FAIL	900.94
robots_1_5_2_9.8	FAIL	900.94
6qbf-5cnf-80var-1280cl.0	FAIL	900.94
ncf_8_64_4_euad.9	FAIL	900.94
ncf_16_128_8_euad.4	FAIL	900.94
ncf_4_32_4_euad.8	FAIL	900.94
robots_1_5_3_100.8	FAIL	900.94
counter_e_64	FAIL	900.94
k_grz_n-8	FAIL	900.94
ncf_16_64_2_edau.10	FAIL	900.94
lognBWLARGEB1	FAIL	900.94
3qbf-5cnf-80var-1280cl.3	FAIL	900.94
6qbf-5cnf-160var-2560cl.4	FAIL	900.94
counter_64	FAIL	900.94
4qbf-5cnf-160var-1280cl.3	FAIL	900.94
4qbf-5cnf-160var-2560cl.9	FAIL	900.94
ncf_4_32_8_d.8	FAIL	900.94
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	900.94
ncf_4_8_8_d.7	FAIL	900.94
robots_1_5_5_33.8	FAIL	900.94
ev-pr-4x4-9-3-0-0-1-s	FAIL	900.94
6qbf-5cnf-40var-640cl.7	FAIL	900.94
ncf_8_32_8_d.8	FAIL	900.94
4qbf-5cnf-160var-2560cl.6	FAIL	900.94
3qbf-5cnf-160var-2560cl.6	FAIL	900.94
k_ph_n-8	FAIL	900.94
4qbf-5cnf-160var-640cl.3	FAIL	900.94
ncf_4_32_4_edau.7	FAIL	900.94
6qbf-5cnf-40var-640cl.3	FAIL	900.94
counter_e_32	FAIL	900.94
ncf_4_16_4_u.4	FAIL	900.94
ncf_16_64_8_euad.4	FAIL	900.94
ncf_16_128_2_edau.4	FAIL	900.94
ncf_8_64_4_edau.7	FAIL	900.94
ncf_4_16_4_edau.8	FAIL	900.94
ncf_16_128_2_d.8	FAIL	900.94
6qbf-5cnf-160var-2560cl.9	FAIL	900.94
ncf_8_32_2_d.6	FAIL	900.94
ncf_8_64_4_d.8	FAIL	900.94
ncf_16_32_4_euad.3	FAIL	900.94
ncf_8_32_4_u.3	FAIL	900.94
test5_quant_squaring4	FAIL	900.94
ncf_16_32_8_edau.3	FAIL	900.94
ncf_16_64_4_u.10	FAIL	900.94
ncf_16_128_4_euad.9	FAIL	900.94
s499_d2_s	FAIL	900.94
ncf_4_16_8_euad.9	FAIL	900.94
ncf_16_128_2_u.9	FAIL	900.94
ncf_4_32_8_edau.1	FAIL	900.94
ncf_16_32_2_edau.1	FAIL	900.94
6qbf-5cnf-160var-1280cl.1	FAIL	900.94
ncf_16_32_8_d.5	FAIL	900.94
ncf_16_64_4_d.8	FAIL	900.94
2qbf-5cnf-80var-320cl.9	FAIL	900.94
renHorn_400CNF2120_2aQBF_31	FAIL	900.94
horn_400CNF1680_2aQBF_91	FAIL	900.94
4qbf-5cnf-20var-160cl.9	FAIL	900.94
counter_re_16	FAIL	900.94
ev-pr-8x8-15-7-0-1-2-lg	FAIL	900.94
ncf_8_32_4_euad.6	FAIL	900.94
ncf_16_64_8_u.4	FAIL	900.94
ncf_8_32_2_d.10	FAIL	900.94
ncf_8_64_8_d.5	FAIL	900.94
ncf_16_128_2_u.5	FAIL	900.94
ncf_16_128_2_edau.5	FAIL	900.94
ncf_4_32_4_edau.3	FAIL	900.94
ncf_8_32_2_d.2	FAIL	900.94
ncf_8_64_4_edau.10	FAIL	900.94
horn_400CNF2160_2aQBF_588	FAIL	900.94
ncf_4_32_4_edau.1	FAIL	900.94
ncf_16_64_4_euad.6	FAIL	900.94
robots_1_5_4_24.8	FAIL	900.94
k_branch_n-8	FAIL	900.94
ncf_16_128_4_u.5	FAIL	900.94
s298_d18_s	FAIL	900.94
4qbf-5cnf-80var-1280cl.2	FAIL	900.94
ncf_16_128_8_edau.10	FAIL	900.94
horn_400CNF1360_2aQBF_867	FAIL	900.94
2qbf-5cnf-160var-1280cl.9	FAIL	900.94
6qbf-5cnf-80var-1280cl.9	FAIL	900.94
adder-16-unsat	FAIL	900.94
ncf_4_16_4_d.10	FAIL	900.94
ncf_8_64_4_edau.8	FAIL	900.94
test5_quant5	FAIL	900.94
ncf_8_16_8_u.9	FAIL	900.94
ncf_8_32_8_euad.7	FAIL	900.94
s1269_d8_s	FAIL	900.94
ncf_16_32_4_d.2	FAIL	900.94
ncf_16_128_2_euad.4	FAIL	900.94
horn_400CNF1600_2aQBF_912	FAIL	900.94
ncf_8_64_2_euad.7	FAIL	900.94
horn_400CNF2160_2aQBF_657	FAIL	900.94
ncf_8_64_4_u.3	FAIL	900.94
ncf_4_32_8_d.4	FAIL	900.94
k_t4p_n-4	FAIL	900.94
renHorn_400CNF2120_2aQBF_63	FAIL	900.94
Adder2-8-s	FAIL	900.94
ncf_8_32_4_u.4	FAIL	900.94
comp.blif_0.10_0.20_0_0_out_exact	FAIL	900.94
5qbf-5cnf-80var-640cl.8	FAIL	900.94
k_poly_n-21	FAIL	900.94
ncf_16_64_2_edau.9	FAIL	900.94
ncf_4_16_4_u.2	FAIL	900.94
ncf_16_128_8_edau.8	FAIL	900.94
robots_1_5_3_16.8	FAIL	900.94
horn_400CNF1520_2aQBF_387	FAIL	900.94
s510_d16_s	FAIL	900.94
ncf_8_32_2_euad.6	FAIL	900.94
uclid-pipe3b	FAIL	900.94
ncf_16_128_2_euad.5	FAIL	900.94
renHorn_400CNF1480_2aQBF_92	FAIL	900.94
3qbf-5cnf-40var-320cl.4	FAIL	900.94
ncf_4_16_8_d.8	FAIL	900.94
ncf_8_64_8_d.6	FAIL	900.94
ncf_16_128_8_d.9	FAIL	900.94
term1.blif_0.10_1.00_0_1_inp_exact	FAIL	900.94
ncf_16_64_8_edau.2	FAIL	900.94
ncf_8_16_8_euad.2	FAIL	900.94
ncf_16_128_4_d.8	FAIL	900.94
k_lin_p-21	FAIL	900.94
3qbf-5cnf-80var-640cl.4	FAIL	900.94
renHorn_400CNF1560_2aQBF_72	FAIL	900.94
ncf_16_64_2_d.5	FAIL	900.94
ncf_16_128_4_euad.10	FAIL	900.94
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	900.94
ncf_16_64_4_d.9	FAIL	900.95
qshifter_8	FAIL	900.95
ncf_16_64_8_u.3	FAIL	900.95
ncf_16_64_8_d.4	FAIL	900.95
4qbf-5cnf-160var-2560cl.0	FAIL	900.95
ncf_16_128_8_u.2	FAIL	900.95
5qbf-5cnf-40var-640cl.2	FAIL	900.95
ncf_8_32_8_u.10	FAIL	900.95
k_grz_p-16	FAIL	900.95
ncf_4_16_4_d.5	FAIL	900.95
ncf_4_32_2_edau.1	FAIL	900.95
ncf_16_128_8_d.3	FAIL	900.95
ncf_16_32_8_euad.7	FAIL	900.95
counter_16	FAIL	900.95
ncf_8_64_8_u.10	FAIL	900.95
ncf_16_128_4_edau.9	FAIL	900.95
3qbf-5cnf-160var-2560cl.4	FAIL	900.95
ncf_4_16_4_edau.6	FAIL	900.95
ncf_8_32_8_u.6	FAIL	900.95
ncf_8_64_4_d.9	FAIL	900.95
s499_d8_s	FAIL	900.95
horn_400CNF1680_2aQBF_244	FAIL	900.95
ncf_8_32_2_u.7	FAIL	900.95
ncf_8_32_8_euad.3	FAIL	900.95
ncf_8_64_4_d.6	FAIL	900.95
adder-14-unsat	FAIL	900.95
horn_400CNF2160_2aQBF_996	FAIL	900.95
ncf_8_32_4_d.9	FAIL	900.95
horn_400CNF2320_2aQBF_132	FAIL	900.95
BLOCKS3ii.5.2	FAIL	900.95
6qbf-5cnf-40var-320cl.7	FAIL	900.95
Adder2-12-c	FAIL	900.95
test2_quant_squaring2	FAIL	900.95
s386_d7_s	FAIL	900.95
ncf_16_64_8_d.10	FAIL	900.95
ncf_16_128_2_d.4	FAIL	900.95
test2_quant_squaring3	FAIL	900.95
counter_32	FAIL	900.95
3qbf-5cnf-160var-1280cl.0	FAIL	900.95
3qbf-5cnf-160var-1280cl.4	FAIL	900.95
adder-16-sat	FAIL	900.95
horn_400CNF1600_2aQBF_748	FAIL	900.95
ncf_16_128_2_euad.6	FAIL	900.95
ncf_16_128_8_d.6	FAIL	900.95
ncf_16_128_2_d.6	FAIL	900.95
CHAIN20v.21	FAIL	900.95
ncf_8_64_4_u.2	FAIL	900.95
ncf_16_64_2_d.9	FAIL	900.95
ncf_16_128_4_d.10	FAIL	900.95
adder-10-unsat	FAIL	900.95
ncf_4_32_4_d.2	FAIL	900.95
ncf_16_64_8_edau.3	FAIL	900.95
horn_400CNF1520_2aQBF_98	FAIL	900.95
horn_400CNF1600_2aQBF_278	FAIL	900.95
horn_400CNF1680_2aQBF_728	FAIL	900.95
horn_400CNF1760_2aQBF_946	FAIL	900.95
3qbf-5cnf-80var-1280cl.1	FAIL	900.95
5qbf-5cnf-80var-2560cl.6	FAIL	900.95
ncf_8_64_8_edau.1	FAIL	900.95
ncf_8_64_8_d.4	FAIL	900.95
ncf_8_32_8_u.1	FAIL	900.95
ncf_16_32_2_euad.6	FAIL	900.95
6qbf-5cnf-40var-320cl.4	FAIL	900.95
ncf_16_64_4_edau.9	FAIL	900.95
ncf_4_32_4_u.2	FAIL	900.95
robots_1_5_3_44.8	FAIL	900.95
k_d4_p-21	FAIL	900.95
ncf_8_32_2_u.1	FAIL	900.95
2qbf-5cnf-80var-320cl.2	FAIL	900.95
ncf_8_64_8_u.4	FAIL	900.95
ncf_16_128_8_u.7	FAIL	900.95
ncf_4_16_8_u.10	FAIL	900.95
renHorn_400CNF1360_2aQBF_22	FAIL	900.95
ncf_8_64_2_u.6	FAIL	900.95
renHorn_400CNF1640_2aQBF_79	FAIL	900.95
renHorn_400CNF1960_2aQBF_68	FAIL	900.95
horn_400CNF1520_2aQBF_382	FAIL	900.95
horn_400CNF1520_2aQBF_760	FAIL	900.95
horn_400CNF2000_2aQBF_104	FAIL	900.95
horn_400CNF2080_2aQBF_714	FAIL	900.95
ncf_16_128_8_edau.2	FAIL	900.95
ncf_16_32_4_d.8	FAIL	900.95
ncf_16_64_2_u.6	FAIL	900.95
ncf_16_128_4_edau.6	FAIL	900.95
horn_400CNF1440_2aQBF_925	FAIL	900.95
ncf_16_64_4_euad.8	FAIL	900.95
k_poly_n-16	FAIL	900.95
Adder2-16-s	FAIL	900.95
k_t4p_p-16	FAIL	900.95
ncf_16_64_4_euad.1	FAIL	900.95
k_grz_n-12	FAIL	900.95
4qbf-5cnf-160var-2560cl.1	FAIL	900.95
ncf_4_32_2_d.5	FAIL	900.95
ncf_4_32_4_u.1	FAIL	900.95
6qbf-5cnf-160var-1280cl.2	FAIL	900.95
2qbf-5cnf-160var-640cl.4	FAIL	900.95
ncf_8_32_2_u.6	FAIL	900.95
ncf_8_64_2_edau.5	FAIL	900.95
counter_re_8	FAIL	900.95
ncf_16_128_4_u.1	FAIL	900.95
robots_1_5_2_100.8	FAIL	900.95
ncf_16_32_4_edau.10	FAIL	900.95
ncf_16_128_2_edau.7	FAIL	900.95
ncf_16_128_2_edau.6	FAIL	900.95
ncf_8_32_8_euad.4	FAIL	900.95
ncf_4_32_8_u.7	FAIL	900.95
4qbf-5cnf-160var-2560cl.2	FAIL	900.95
k_dum_p-8	FAIL	900.95
renHorn_400CNF1800_2aQBF_36	FAIL	900.95
6qbf-5cnf-80var-1280cl.6	FAIL	900.95
ncf_16_128_8_d.10	FAIL	900.95
ncf_4_32_8_euad.1	FAIL	900.95
horn_400CNF2080_2aQBF_709	FAIL	900.95
6qbf-5cnf-160var-2560cl.8	FAIL	900.95
ncf_4_32_2_u.1	FAIL	900.95
k_d4_n-20	FAIL	900.95
ncf_16_32_2_d.6	FAIL	900.95
robots_1_5_5_12.8	FAIL	900.95
test3_quant_squaring2	FAIL	900.95
horn_400CNF1920_2aQBF_721	FAIL	900.95
ncf_4_16_8_euad.1	FAIL	900.95
6qbf-5cnf-160var-5120cl.4	FAIL	900.95
test3_quant2	FAIL	900.95
ncf_4_16_4_euad.3	FAIL	900.95
ncf_4_32_8_euad.7	FAIL	900.95
ncf_8_32_2_euad.1	FAIL	900.95
ncf_16_64_2_euad.9	FAIL	900.95
ncf_16_128_2_u.7	FAIL	900.95
ncf_16_128_4_euad.1	FAIL	900.95
CHAIN21v.22	FAIL	900.95
ncf_8_64_4_euad.10	FAIL	900.95
ncf_8_64_2_euad.8	FAIL	900.95
ncf_8_32_4_euad.5	FAIL	900.95
adder-12-sat	FAIL	900.95
counter_4	FAIL	900.95
ncf_16_128_4_euad.4	FAIL	900.95
ncf_16_128_8_edau.5	FAIL	900.95
ncf_8_64_2_u.7	FAIL	900.95
6qbf-5cnf-160var-1280cl.7	FAIL	900.95
ncf_16_128_4_d.6	FAIL	900.95
ncf_16_128_8_d.4	FAIL	900.95
ncf_16_128_8_edau.9	FAIL	900.95
6qbf-5cnf-80var-1280cl.5	FAIL	900.95
ncf_16_64_4_u.2	FAIL	900.95
6qbf-5cnf-160var-2560cl.7	FAIL	900.95
ncf_16_64_8_u.6	FAIL	900.95
ncf_4_32_2_edau.2	FAIL	900.95
renHorn_400CNF1880_2aQBF_88	FAIL	900.95
renHorn_400CNF2120_2aQBF_21	FAIL	900.95
horn_400CNF1360_2aQBF_310	FAIL	900.95
horn_400CNF1360_2aQBF_565	FAIL	900.95
horn_400CNF1680_2aQBF_29	FAIL	900.95
ncf_16_128_4_u.7	FAIL	900.95
horn_400CNF1920_2aQBF_952	FAIL	900.95
ncf_16_64_4_d.2	FAIL	900.95
horn_400CNF2080_2aQBF_176	FAIL	900.95
ncf_16_128_2_euad.1	FAIL	900.95
ncf_4_32_8_u.4	FAIL	900.95
k_branch_n-16	FAIL	900.95
ncf_16_64_4_d.10	FAIL	900.95
5qbf-5cnf-160var-1280cl.6	FAIL	900.95
ev-pr-4x4-5-3-0-0-1-s	FAIL	900.95
6qbf-5cnf-160var-2560cl.3	FAIL	900.95
ncf_16_128_2_edau.8	FAIL	900.95
ev-pr-8x8-9-7-0-1-2-lg	FAIL	900.95
adder-12-unsat	FAIL	900.95
k_branch_p-8	FAIL	900.95
s510_d4_s	FAIL	900.95
TOILET7.1.iv.14	FAIL	900.95
ncf_4_32_4_euad.2	FAIL	900.95
ncf_4_16_8_d.1	FAIL	900.95
ncf_16_128_8_u.4	FAIL	900.95
renHorn_400CNF1640_2aQBF_7	FAIL	900.95
horn_400CNF1920_2aQBF_583	FAIL	900.95
ncf_16_64_2_d.10	FAIL	900.95
ncf_4_32_4_edau.4	FAIL	900.95
test1_quant_squaring2	FAIL	900.95
4qbf-5cnf-160var-640cl.2	FAIL	900.95
5qbf-5cnf-40var-320cl.3	FAIL	900.95
ncf_4_32_8_d.5	FAIL	900.95
ncf_8_64_8_euad.7	FAIL	900.95
renHorn_400CNF1880_2aQBF_19	FAIL	900.95
horn_400CNF1840_2aQBF_752	FAIL	900.95
horn_400CNF2160_2aQBF_660	FAIL	900.95
k_grz_p-8	FAIL	900.95
horn_400CNF1520_2aQBF_702	FAIL	900.95
ncf_8_64_8_u.1	FAIL	900.95
ncf_16_32_4_d.3	FAIL	900.95
renHorn_400CNF1560_2aQBF_68	FAIL	900.95
ncf_4_16_8_u.1	FAIL	900.95
Adder2-14-c	FAIL	900.95
ncf_4_16_4_d.4	FAIL	900.95
ncf_8_64_8_euad.3	FAIL	900.95
3qbf-5cnf-160var-640cl.4	FAIL	900.95
ncf_4_16_8_edau.6	FAIL	900.95
ncf_8_32_8_u.2	FAIL	900.95
3qbf-5cnf-160var-1280cl.6	FAIL	900.95
horn_400CNF1440_2aQBF_737	FAIL	900.95
3qbf-5cnf-40var-320cl.9	FAIL	900.95
4qbf-5cnf-80var-320cl.9	FAIL	900.96
ncf_8_64_2_euad.1	FAIL	900.96
lut4_2_f2	FAIL	900.96
5qbf-5cnf-80var-640cl.7	FAIL	900.96
ev-pr-6x6-11-5-0-1-2-lg	FAIL	900.96
ncf_8_64_4_u.7	FAIL	900.96
ncf_16_64_4_edau.7	FAIL	900.96
connect_8x7_6_R	FAIL	900.96
ncf_16_32_4_edau.1	FAIL	900.96
ncf_8_64_2_edau.6	FAIL	900.96
ncf_16_64_4_u.8	FAIL	900.96
ncf_16_64_8_euad.3	FAIL	900.96
lognBWLARGEA1	FAIL	900.96
ncf_8_16_8_u.10	FAIL	900.96
ncf_16_32_8_u.1	FAIL	900.96
adder-8-unsat	FAIL	900.96
ncf_16_128_8_edau.4	FAIL	900.96
ncf_16_64_8_u.10	FAIL	900.96
k_t4p_n-21	FAIL	900.96
ncf_8_64_8_u.2	FAIL	900.96
ncf_16_128_4_u.9	FAIL	900.96
renHorn_400CNF1200_2aQBF_2	FAIL	900.96
3qbf-5cnf-160var-2560cl.5	FAIL	900.96
ncf_4_8_8_u.6	FAIL	900.96
renHorn_400CNF1280_2aQBF_3	FAIL	900.96
ncf_16_64_8_euad.9	FAIL	900.96
s386_d2_s	FAIL	900.96
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	900.96
ncf_4_16_8_d.3	FAIL	900.96
5qbf-5cnf-40var-640cl.1	FAIL	900.96
6qbf-5cnf-40var-640cl.5	FAIL	900.96
ncf_4_32_2_edau.7	FAIL	900.96
ncf_4_32_8_u.10	FAIL	900.96
ncf_4_16_8_u.2	FAIL	900.96
renHorn_400CNF1480_2aQBF_85	FAIL	900.96
s713_d4_s	FAIL	900.96
3qbf-5cnf-160var-2560cl.1	FAIL	900.96
ncf_4_32_8_u.3	FAIL	900.96
k_poly_n-20	FAIL	900.96
2qbf-5cnf-80var-320cl.5	FAIL	900.96
ncf_4_32_2_d.7	FAIL	900.96
ncf_4_32_8_d.9	FAIL	900.96
ncf_4_16_8_d.7	FAIL	900.96
ncf_16_128_2_u.1	FAIL	900.96
ncf_8_32_4_d.10	FAIL	900.96
k_branch_n-20	FAIL	900.96
ncf_16_32_8_euad.10	FAIL	900.96
counter_r_16	FAIL	900.96
ncf_4_16_8_euad.5	FAIL	900.96
ncf_4_16_8_d.10	FAIL	900.96
ncf_4_32_8_u.2	FAIL	900.96
ncf_16_128_2_edau.1	FAIL	900.96
ncf_16_128_8_edau.7	FAIL	900.96
ncf_16_64_8_d.8	FAIL	900.96
ncf_8_16_4_euad.7	FAIL	900.96
ncf_8_32_4_u.8	FAIL	900.96
horn_400CNF2000_2aQBF_878	FAIL	900.96
ncf_8_32_4_euad.9	FAIL	900.96
ncf_16_64_2_u.8	FAIL	900.96
ncf_8_64_4_euad.3	FAIL	900.96
ncf_16_64_2_euad.8	FAIL	900.96
ncf_16_32_8_u.7	FAIL	900.96
ncf_16_128_2_u.3	FAIL	900.96
ncf_4_32_2_edau.6	FAIL	900.96
ncf_4_32_8_d.6	FAIL	900.96
term1.blif_0.10_1.00_0_1_out_exact	FAIL	900.96
ncf_16_128_4_d.7	FAIL	900.96
ncf_16_32_8_edau.9	FAIL	900.96
horn_400CNF2000_2aQBF_650	FAIL	900.96
4qbf-5cnf-80var-1280cl.0	FAIL	900.96
robots_1_5_2_32.8	FAIL	900.96
renHorn_400CNF2120_2aQBF_37	FAIL	900.96
5qbf-5cnf-80var-640cl.9	FAIL	900.96
s1196_d3_u	FAIL	900.96
ncf_16_64_8_edau.5	FAIL	900.96
horn_400CNF2000_2aQBF_523	FAIL	900.96
ncf_8_64_2_u.3	FAIL	900.96
robots_1_5_4_1.8	FAIL	900.96
robots_1_5_4_96.8	FAIL	900.96
k_ph_n-21	FAIL	900.96
ncf_4_32_8_u.9	FAIL	900.96
k_t4p_n-16	FAIL	900.96
k_t4p_p-12	FAIL	900.96
ncf_4_16_4_u.8	FAIL	900.96
ncf_16_128_4_d.3	FAIL	900.96
s499_d4_s	FAIL	900.96
ncf_16_32_8_euad.6	FAIL	900.96
ncf_16_64_8_u.2	FAIL	900.96
ncf_8_32_2_edau.4	FAIL	900.96
5qbf-5cnf-80var-1280cl.3	FAIL	900.96
counter_r_8	FAIL	900.96
ncf_8_64_4_u.9	FAIL	900.96
ncf_16_32_8_u.3	FAIL	900.96
k_path_p-20	FAIL	900.96
ncf_4_32_2_edau.8	FAIL	900.96
k_path_p-21	FAIL	900.96
k_ph_p-8	FAIL	900.96
3qbf-5cnf-80var-640cl.2	FAIL	900.96
ncf_8_64_8_d.3	FAIL	900.96
renHorn_400CNF1560_2aQBF_2	FAIL	900.96
ncf_8_32_8_d.1	FAIL	900.96
ncf_8_16_8_d.5	FAIL	900.96
s510_d8_s	FAIL	900.96
ncf_8_64_2_euad.4	FAIL	900.96
ncf_16_64_8_euad.5	FAIL	900.96
horn_400CNF1680_2aQBF_695	FAIL	900.96
C880.blif_0.10_0.20_0_0_out_exact	FAIL	900.96
ncf_16_32_8_edau.5	FAIL	900.96
ncf_16_32_8_d.6	FAIL	900.96
ncf_4_32_8_edau.5	FAIL	900.96
ncf_16_128_8_d.7	FAIL	900.96
robots_1_5_4_56.8	FAIL	900.96
k_path_n-21	FAIL	900.96
ncf_4_32_4_u.4	FAIL	900.96
ncf_8_64_2_edau.8	FAIL	900.96
ncf_8_64_2_d.8	FAIL	900.96
ncf_8_32_8_edau.7	FAIL	900.96
ncf_16_64_2_edau.2	FAIL	900.96
ncf_8_64_8_d.8	FAIL	900.96
ncf_16_64_4_edau.10	FAIL	900.96
ncf_16_64_8_euad.2	FAIL	900.96
ncf_8_64_4_d.1	FAIL	900.96
ncf_8_16_8_d.3	FAIL	900.96
ncf_16_32_4_d.9	FAIL	900.96
ncf_16_64_8_d.9	FAIL	900.96
ncf_16_128_8_d.1	FAIL	900.96
renHorn_400CNF2200_2aQBF_79	FAIL	900.96
k_d4_p-8	FAIL	900.96
ncf_16_128_8_euad.9	FAIL	900.96
ev-pr-4x4-15-3-0-0-1-lg	FAIL	900.96
horn_400CNF2160_2aQBF_411	FAIL	900.96
4qbf-5cnf-160var-1280cl.6	FAIL	900.96
ncf_16_64_4_edau.2	FAIL	900.96
horn_400CNF1920_2aQBF_603	FAIL	900.96
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	900.96
ncf_4_32_4_u.10	FAIL	900.96
horn_400CNF1920_2aQBF_534	FAIL	900.96
robots_1_5_4_17.8	FAIL	900.96
robots_1_5_4_99.8	FAIL	900.96
ncf_16_64_8_edau.6	FAIL	900.97
ncf_16_64_8_euad.6	FAIL	900.97
k_lin_n-16	FAIL	900.97
ncf_16_128_2_d.1	FAIL	900.97
ncf_8_32_4_edau.5	FAIL	900.97
6qbf-5cnf-160var-1280cl.5	FAIL	900.97
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900.97
s820_d10_s	FAIL	900.97
k_branch_p-16	FAIL	900.97
ncf_4_32_8_u.5	FAIL	900.97
ncf_16_64_8_u.8	FAIL	900.97
ncf_8_64_2_d.3	FAIL	900.97
ncf_16_128_8_u.3	FAIL	900.97
horn_400CNF1600_2aQBF_3	FAIL	900.97
ncf_4_32_8_d.2	FAIL	900.97
ev-pr-4x4-13-3-0-0-1-lg	FAIL	900.97
ncf_4_16_8_u.7	FAIL	900.97
horn_400CNF1600_2aQBF_505	FAIL	900.97
horn_400CNF2160_2aQBF_976	FAIL	900.97
6qbf-5cnf-80var-1280cl.1	FAIL	900.97
4qbf-5cnf-80var-640cl.3	FAIL	900.97
2qbf-5cnf-80var-320cl.0	FAIL	900.97
2qbf-5cnf-160var-640cl.3	FAIL	900.97
ncf_8_32_4_euad.4	FAIL	900.97
ncf_16_128_4_edau.5	FAIL	900.97
2qbf-5cnf-40var-160cl.2	FAIL	900.97
counter_r_4	FAIL	900.97
ncf_8_64_8_euad.8	FAIL	900.97
renHorn_400CNF1560_2aQBF_47	FAIL	900.97
ncf_4_32_4_u.3	FAIL	900.97
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	900.97
ncf_8_16_4_u.3	FAIL	900.97
6qbf-5cnf-160var-2560cl.2	FAIL	900.97
k_branch_p-4	FAIL	900.97
ncf_4_32_4_d.4	FAIL	900.97
ncf_16_128_4_d.5	FAIL	900.97
term1.blif_0.10_0.20_0_0_out_exact	FAIL	900.97
ncf_8_16_8_edau.10	FAIL	900.97
renHorn_400CNF1480_2aQBF_62	FAIL	900.97
horn_400CNF1920_2aQBF_75	FAIL	900.97
k_lin_n-8	FAIL	900.97
ncf_8_64_4_euad.2	FAIL	900.97
ncf_16_128_2_u.6	FAIL	900.97
ncf_4_32_4_u.8	FAIL	900.97
horn_400CNF1760_2aQBF_330	FAIL	900.97
horn_400CNF2000_2aQBF_642	FAIL	900.97
5qbf-5cnf-160var-1280cl.7	FAIL	900.97
2qbf-5cnf-160var-320cl.1	FAIL	900.97
ncf_4_16_4_edau.5	FAIL	900.97
ncf_8_32_8_u.8	FAIL	900.97
robots_1_5_5_10.8	FAIL	900.97
ncf_8_32_8_d.5	FAIL	900.97
ncf_8_64_8_d.7	FAIL	900.97
ncf_16_64_2_euad.3	FAIL	900.97
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	900.97
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900.97
ncf_8_32_4_u.1	FAIL	900.97
ncf_16_128_4_edau.7	FAIL	900.97
6qbf-5cnf-160var-1280cl.0	FAIL	900.97
5qbf-5cnf-160var-5120cl.2	FAIL	900.97
ncf_16_32_4_edau.5	FAIL	900.97
horn_400CNF1840_2aQBF_198	FAIL	900.97
ncf_16_128_4_euad.8	FAIL	900.97
5qbf-5cnf-160var-2560cl.7	FAIL	900.97
4qbf-5cnf-160var-1280cl.4	FAIL	900.97
ncf_8_64_4_euad.1	FAIL	900.97
horn_400CNF1760_2aQBF_979	FAIL	900.97
ncf_4_16_8_euad.10	FAIL	900.97
ncf_16_128_4_euad.7	FAIL	900.97
ncf_8_16_8_euad.5	FAIL	900.97
ncf_16_32_8_edau.10	FAIL	900.97
ncf_16_64_8_u.5	FAIL	900.97
s820_d4_s	FAIL	900.97
5qbf-5cnf-80var-1280cl.2	FAIL	900.97
ncf_8_64_2_edau.7	FAIL	900.97
ncf_16_32_4_euad.1	FAIL	900.97
ncf_4_16_8_u.5	FAIL	900.97
ncf_16_128_4_u.8	FAIL	900.97
ncf_4_16_8_edau.2	FAIL	900.97
robots_1_5_5_50.8	FAIL	900.98
robots_1_5_5_99.8	FAIL	900.98
k_ph_n-20	FAIL	900.98
ncf_16_32_8_euad.1	FAIL	900.98
connect_8x7_7_R	FAIL	900.98
counter_r_32	FAIL	900.98
C432.blif_0.10_1.00_0_0_out_exact	FAIL	900.98
ncf_8_64_4_euad.7	FAIL	900.98
ncf_8_64_4_edau.6	FAIL	900.98
ncf_4_32_4_d.5	FAIL	900.98
ev-pr-6x6-19-5-0-1-2-lg	FAIL	900.98
ncf_8_64_2_u.5	FAIL	900.98
k_d4_n-16	FAIL	900.98
ncf_4_16_4_euad.8	FAIL	900.98
ncf_4_32_8_d.7	FAIL	900.98
ncf_8_64_2_d.1	FAIL	900.98
2qbf-5cnf-160var-1280cl.4	FAIL	900.98
ncf_16_64_2_edau.4	FAIL	900.98
renHorn_400CNF2120_2aQBF_10	FAIL	900.98
ncf_16_64_2_u.2	FAIL	900.98
ncf_8_64_4_euad.4	FAIL	900.98
robots_1_5_3_90.8	FAIL	900.98
ncf_4_32_8_euad.4	FAIL	900.98
ncf_4_16_8_u.9	FAIL	900.98
ncf_8_32_8_edau.10	FAIL	900.98
horn_400CNF2000_2aQBF_577	FAIL	900.98
ncf_8_64_8_euad.1	FAIL	900.98
ncf_8_64_8_euad.10	FAIL	900.98
ncf_4_32_8_euad.9	FAIL	900.98
Adder2-12-s	FAIL	900.98
ncf_16_64_8_euad.7	FAIL	900.98
ncf_8_64_2_edau.3	FAIL	900.98
renHorn_400CNF2120_2aQBF_19	FAIL	900.98
horn_400CNF1680_2aQBF_433	FAIL	900.98
6qbf-5cnf-160var-2560cl.0	FAIL	900.98
ncf_16_128_8_u.10	FAIL	900.98
robots_1_5_4_46.8	FAIL	900.98
adder-10-sat	FAIL	900.99
ncf_8_32_8_d.2	FAIL	900.99
ncf_8_32_4_d.5	FAIL	900.99
ncf_4_16_8_euad.2	FAIL	900.99
ncf_16_128_2_u.4	FAIL	900.99
ncf_16_64_2_edau.8	FAIL	900.99
ncf_8_32_8_euad.1	FAIL	900.99
3qbf-5cnf-160var-2560cl.2	FAIL	900.99
ncf_16_128_4_u.2	FAIL	900.99
ncf_4_32_8_u.6	FAIL	900.99
TOILET10.1.iv.20	FAIL	900.99
ncf_4_32_4_d.9	FAIL	900.99
ncf_16_128_2_euad.2	FAIL	901

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by openQbf
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by openQbf QBFEVAL'05

Instances solved by openQbf
QBFEVAL'05