Instances solved by <a href='solver_detail.php?solver=35'>sKizzo-0.9-grn</a> <br> QBFEVAL'06

Instances solved by sKizzo-0.9-grn
QBFEVAL'06

Instance	Result	Time
ncf_8_16_4_d.1	SAT	0
ncf_16_32_2_edau.6	SAT	0
5qbf-5cnf-160var-640cl.8	SAT	0
ncf_4_16_2_d.6	SAT	0
ncf_8_16_4_d.10	SAT	0
5qbf-5cnf-160var-640cl.3	SAT	0
5qbf-5cnf-160var-640cl.1	SAT	0
ncf_4_16_2_edau.4	SAT	0
ncf_4_16_2_edau.6	SAT	0
ncf_4_16_2_edau.2	SAT	0
tree-exa2-50	UNSAT	0
5qbf-5cnf-160var-640cl.6	SAT	0
6qbf-5cnf-160var-640cl.8	SAT	0
5qbf-5cnf-160var-640cl.0	SAT	0
ncf_16_32_2_d.6	SAT	0
ncf_8_16_4_d.5	UNSAT	0
ncf_4_8_8_edau.1	SAT	0
ncf_4_8_8_d.3	SAT	0
5qbf-5cnf-160var-640cl.7	SAT	0
x5.7	UNSAT	0
x5.8	UNSAT	0
eijk.S208.S-d2	SAT	0
texas.parsesys^1.E-d2	SAT	0
vis.bakery.E-d2	SAT	0
Qq2k1k4v40v40m2s0	SAT	0
Qq2k1k4v40v40m2s1	SAT	0
Qq2k1k4v40v40m2s2	SAT	0
Qq2k1k4v40v40m2s3	SAT	0
Qq2k1k4v40v40m2s6	SAT	0
Qq2k1k4v40v40m2s8	SAT	0
Qq2k1k4v40v40m4s0	SAT	0
Qq2k1k4v40v40m4s2	UNSAT	0
Qq2k1k4v40v40m4s3	SAT	0
Qq2k1k4v40v40m4s4	SAT	0
Qq2k1k4v40v40m4s5	SAT	0
Qq2k1k4v40v40m4s6	SAT	0
Qq2k1k4v40v40m4s7	SAT	0
Qq2k1k4v40v40m4s8	SAT	0
Qq2k1k4v40v40m4s9	SAT	0
Qq2k1k4v40v40m8s0	SAT	0
Qq2k1k4v40v40m8s2	UNSAT	0
Qq2k1k4v40v40m8s4	SAT	0
Qq2k1k4v40v40m8s5	SAT	0
Qq2k1k4v40v40m8s6	UNSAT	0
Qq2k1k4v40v40m8s7	SAT	0
Qq2k1k4v40v40m16s0	UNSAT	0
Qq2k1k4v40v40m16s1	SAT	0
Qq2k1k4v40v40m16s2	UNSAT	0
Qq2k1k4v40v40m16s3	UNSAT	0
Qq2k1k4v40v40m16s4	SAT	0
Qq2k1k4v40v40m16s7	SAT	0
Qq2k1k4v40v40m16s8	SAT	0
Qq2k1k4v40v40m32s1	UNSAT	0
Qq2k1k4v40v40m32s3	UNSAT	0
Qq2k1k4v40v40m32s5	UNSAT	0
Qq2k1k4v40v40m32s6	UNSAT	0
Qq2k1k4v40v40m32s7	UNSAT	0
Qq2k1k4v40v40m32s8	UNSAT	0
Qq2k1k4v40v40m32s9	UNSAT	0
Qq2k1k4v80v80m2s0	SAT	0
Qq2k1k4v80v80m2s1	SAT	0
Qq2k1k4v80v80m2s2	SAT	0
Qq2k1k4v80v80m2s3	SAT	0
Qq2k1k4v80v80m2s4	SAT	0
Qq2k1k4v80v80m2s6	SAT	0
Qq2k1k4v80v80m2s8	SAT	0
Qq2k1k4v80v80m2s9	SAT	0
Qq2k1k4v80v80m4s0	SAT	0
Qq2k1k4v80v80m4s1	SAT	0
Qq2k1k4v80v80m4s2	SAT	0
Qq2k1k4v80v80m4s3	SAT	0
Qq2k1k4v80v80m4s4	SAT	0
Qq2k1k4v80v80m4s5	SAT	0
Qq2k1k4v80v80m4s6	SAT	0
Qq2k1k4v80v80m4s8	SAT	0
Qq2k1k4v80v80m8s0	SAT	0
Qq2k1k4v80v80m8s1	SAT	0
Qq2k1k4v80v80m8s4	SAT	0
Qq2k1k4v80v80m8s5	SAT	0
Qq2k1k4v80v80m8s6	SAT	0
Qq2k1k4v80v80m8s7	SAT	0
Qq2k1k4v80v80m8s9	SAT	0
Qq2k1k4v80v80m16s1	SAT	0
Qq2k1k4v80v80m16s2	SAT	0
Qq2k1k4v80v80m16s3	UNSAT	0
Qq2k1k4v80v80m16s4	SAT	0
Qq2k1k4v80v80m16s6	SAT	0
Qq2k1k4v80v80m16s7	SAT	0
Qq2k1k4v80v80m16s8	UNSAT	0
Qq2k1k4v80v80m16s9	SAT	0
Qq2k1k4v80v80m32s0	UNSAT	0
Qq2k1k4v80v80m32s1	SAT	0
Qq2k1k4v80v80m32s2	UNSAT	0
Qq2k1k4v80v80m32s3	UNSAT	0
Qq2k1k4v80v80m32s4	UNSAT	0
Qq2k1k4v80v80m32s5	UNSAT	0
Qq2k1k4v80v80m32s6	UNSAT	0
Qq2k1k4v80v80m32s8	UNSAT	0
Qq2k1k4v80v80m32s9	UNSAT	0
Qq2k2k3v40v40m2s1	SAT	0
Qq2k2k3v40v40m2s2	SAT	0
Qq2k2k3v40v40m2s3	SAT	0
Qq2k2k3v40v40m2s4	SAT	0
Qq2k2k3v40v40m2s5	SAT	0
Qq2k2k3v40v40m2s7	SAT	0
Qq2k2k3v40v40m2s8	SAT	0
Qq2k2k3v40v40m2s9	SAT	0
Qq2k2k3v40v40m4s0	SAT	0
Qq2k2k3v40v40m4s1	SAT	0
Qq2k2k3v40v40m4s3	SAT	0
Qq2k2k3v40v40m4s5	SAT	0
Qq2k2k3v40v40m4s6	SAT	0
Qq2k2k3v40v40m4s7	SAT	0
Qq2k2k3v40v40m4s8	SAT	0
Qq2k2k3v40v40m4s9	SAT	0
Qq2k2k3v40v40m8s0	SAT	0
Qq2k2k3v40v40m8s2	SAT	0
Qq2k2k3v40v40m8s3	SAT	0
Qq2k2k3v40v40m8s5	SAT	0
Qq2k2k3v40v40m8s6	SAT	0
Qq2k2k3v40v40m8s7	SAT	0
Qq2k2k3v40v40m8s8	SAT	0
Qq2k2k3v40v40m8s9	SAT	0
Qq2k2k3v40v40m16s0	SAT	0
Qq2k2k3v40v40m16s1	SAT	0
Qq2k2k3v40v40m16s2	SAT	0
Qq2k2k3v40v40m16s3	SAT	0
Qq2k2k3v40v40m16s4	SAT	0
Qq2k2k3v40v40m16s5	SAT	0
Qq2k2k3v40v40m16s6	SAT	0
Qq2k2k3v40v40m16s7	SAT	0
Qq2k2k3v40v40m16s8	SAT	0
Qq2k2k3v40v40m16s9	SAT	0
Qq2k2k3v40v40m32s0	SAT	0
Qq2k2k3v40v40m32s1	SAT	0
Qq2k2k3v40v40m32s3	SAT	0
Qq2k2k3v40v40m32s4	SAT	0
Qq2k2k3v40v40m32s6	SAT	0
Qq2k2k3v40v40m32s7	SAT	0
Qq2k2k3v40v40m32s9	SAT	0
Qq2k2k3v80v80m2s0	SAT	0
Qq2k2k3v80v80m2s1	SAT	0
Qq2k2k3v80v80m2s2	SAT	0
Qq2k2k3v80v80m2s4	SAT	0
Qq2k2k3v80v80m2s5	SAT	0
Qq2k2k3v80v80m2s6	SAT	0
Qq2k2k3v80v80m2s7	SAT	0
Qq2k2k3v80v80m2s9	SAT	0
Qq2k2k3v80v80m4s0	SAT	0
Qq2k2k3v80v80m4s1	SAT	0
Qq2k2k3v80v80m4s3	SAT	0
Qq2k2k3v80v80m4s5	SAT	0
Qq2k2k3v80v80m4s6	SAT	0
Qq2k2k3v80v80m4s7	SAT	0
Qq2k2k3v80v80m4s8	SAT	0
Qq2k2k3v80v80m4s9	SAT	0
Qq2k2k3v80v80m8s0	SAT	0
Qq2k2k3v80v80m8s1	SAT	0
Qq2k2k3v80v80m8s2	SAT	0
Qq2k2k3v80v80m8s3	SAT	0
Qq2k2k3v80v80m8s5	SAT	0
Qq2k2k3v80v80m8s7	SAT	0
Qq2k2k3v80v80m8s9	SAT	0
Qq2k2k3v80v80m16s0	SAT	0
Qq2k2k3v80v80m16s1	SAT	0
Qq2k2k3v80v80m16s2	SAT	0
Qq2k2k3v80v80m16s3	SAT	0
Qq2k2k3v80v80m16s4	SAT	0
Qq2k2k3v80v80m16s5	SAT	0
Qq2k2k3v80v80m16s6	SAT	0
Qq2k2k3v80v80m32s2	SAT	0
Qq2k2k3v80v80m32s3	SAT	0
Qq2k2k3v80v80m32s5	SAT	0
Qq2k2k3v80v80m32s6	SAT	0
Qq2k2k3v80v80m32s7	SAT	0
Qq2k2k3v80v80m32s8	SAT	0
Qq2k2k3v80v80m32s9	SAT	0
Qq2k3k2v40v40m2s0	SAT	0
Qq2k3k2v40v40m2s1	SAT	0
Qq2k3k2v40v40m2s2	SAT	0
Qq2k3k2v40v40m2s4	SAT	0
Qq2k3k2v40v40m2s5	SAT	0
Qq2k3k2v40v40m2s7	SAT	0
Qq2k3k2v40v40m2s8	SAT	0
Qq2k3k2v40v40m4s2	SAT	0
Qq2k3k2v40v40m4s7	SAT	0
Qq2k3k2v40v40m4s9	SAT	0
Qq2k3k2v40v40m8s0	SAT	0
Qq2k3k2v40v40m8s1	SAT	0
Qq2k3k2v40v40m8s2	SAT	0
Qq2k3k2v40v40m8s3	SAT	0
Qq2k3k2v40v40m8s4	SAT	0
Qq2k3k2v40v40m8s6	SAT	0
Qq2k3k2v40v40m8s8	SAT	0
Qq2k3k2v40v40m8s9	SAT	0
Qq2k3k2v40v40m16s0	SAT	0
Qq2k3k2v40v40m16s1	SAT	0
Qq2k3k2v40v40m16s2	SAT	0
Qq2k3k2v40v40m16s3	SAT	0
Qq2k3k2v40v40m16s4	SAT	0
Qq2k3k2v40v40m16s5	SAT	0
Qq2k3k2v40v40m16s6	SAT	0
Qq2k3k2v40v40m16s7	SAT	0
Qq2k3k2v40v40m16s9	SAT	0
Qq2k3k2v40v40m32s1	SAT	0
Qq2k3k2v40v40m32s2	SAT	0
Qq2k3k2v40v40m32s3	SAT	0
Qq2k3k2v40v40m32s5	SAT	0
Qq2k3k2v40v40m32s6	SAT	0
Qq2k3k2v40v40m32s8	SAT	0
Qq2k3k2v40v40m32s9	SAT	0
Qq2k3k2v80v80m2s0	SAT	0
Qq2k3k2v80v80m2s1	SAT	0
Qq2k3k2v80v80m2s2	SAT	0
Qq2k3k2v80v80m2s3	SAT	0
Qq2k3k2v80v80m2s4	SAT	0
Qq2k3k2v80v80m2s5	SAT	0
Qq2k3k2v80v80m2s6	SAT	0
Qq2k3k2v80v80m2s7	SAT	0
Qq2k3k2v80v80m2s8	SAT	0
Qq2k3k2v80v80m2s9	SAT	0
Qq2k3k2v80v80m4s0	SAT	0
Qq2k3k2v80v80m4s3	SAT	0
Qq2k3k2v80v80m4s5	SAT	0
Qq2k3k2v80v80m4s6	SAT	0
Qq2k3k2v80v80m4s7	SAT	0
Qq2k3k2v80v80m4s8	SAT	0
Qq2k3k2v80v80m4s9	SAT	0
Qq2k3k2v80v80m8s0	SAT	0
Qq2k3k2v80v80m8s3	SAT	0
Qq2k3k2v80v80m8s5	SAT	0
Qq2k3k2v80v80m8s6	SAT	0
Qq2k3k2v80v80m8s8	SAT	0
Qq2k3k2v80v80m16s0	SAT	0
Qq2k3k2v80v80m16s1	SAT	0
Qq2k3k2v80v80m16s2	SAT	0
Qq2k3k2v80v80m16s3	SAT	0
Qq2k3k2v80v80m16s4	SAT	0
Qq2k3k2v80v80m16s5	SAT	0
Qq2k3k2v80v80m16s6	SAT	0
Qq2k3k2v80v80m16s7	SAT	0
Qq2k3k2v80v80m16s9	SAT	0
Qq2k3k2v80v80m32s1	SAT	0
Qq2k3k2v80v80m32s2	SAT	0
Qq2k3k2v80v80m32s3	SAT	0
Qq2k3k2v80v80m32s5	SAT	0
Qq2k3k2v80v80m32s6	SAT	0
Qq2k3k2v80v80m32s8	SAT	0
Qq3k1k1k3v40v40v40m2s0	SAT	0
Qq3k1k1k3v40v40v40m2s1	SAT	0
Qq3k1k1k3v40v40v40m2s4	SAT	0
Qq3k1k1k3v40v40v40m2s6	SAT	0
Qq3k1k1k3v40v40v40m2s7	SAT	0
Qq3k1k1k3v40v40v40m2s8	SAT	0
Qq3k1k1k3v40v40v40m2s9	SAT	0
Qq3k1k1k3v40v40v40m4s0	SAT	0
Qq3k1k1k3v40v40v40m4s1	SAT	0
Qq3k1k1k3v40v40v40m4s2	SAT	0
Qq3k1k1k3v40v40v40m4s5	SAT	0
Qq3k1k1k3v40v40v40m4s6	SAT	0
Qq3k1k1k3v40v40v40m4s9	SAT	0
Qq3k1k1k3v40v40v40m8s0	SAT	0
Qq3k1k1k3v40v40v40m8s1	SAT	0
Qq3k1k1k3v40v40v40m8s3	SAT	0
Qq3k1k1k3v40v40v40m8s4	SAT	0
Qq3k1k1k3v40v40v40m8s5	SAT	0
Qq3k1k1k3v40v40v40m8s6	SAT	0
Qq3k1k1k3v40v40v40m8s7	SAT	0
Qq3k1k1k3v40v40v40m8s8	SAT	0
Qq3k1k1k3v40v40v40m8s9	SAT	0
Qq3k1k1k3v40v40v40m16s0	SAT	0
Qq3k1k1k3v40v40v40m16s1	SAT	0
Qq3k1k1k3v40v40v40m16s2	SAT	0
Qq3k1k1k3v40v40v40m16s3	SAT	0
Qq3k1k1k3v40v40v40m16s4	SAT	0
Qq3k1k1k3v40v40v40m16s5	SAT	0
Qq3k1k1k3v40v40v40m16s7	SAT	0
Qq3k1k1k3v40v40v40m16s8	SAT	0
Qq3k1k1k3v40v40v40m16s9	SAT	0
Qq3k1k1k3v40v40v40m32s0	SAT	0
Qq3k1k1k3v40v40v40m32s4	SAT	0
Qq3k1k1k3v40v40v40m32s5	SAT	0
Qq3k1k1k3v40v40v40m32s6	SAT	0
Qq3k1k1k3v40v40v40m32s7	SAT	0
Qq3k1k1k3v40v40v40m32s8	SAT	0
Qq3k1k1k3v40v40v40m32s9	SAT	0
Qq3k1k1k3v80v80v80m2s0	SAT	0
Qq3k1k1k3v80v80v80m2s2	SAT	0
Qq3k1k1k3v80v80v80m2s3	SAT	0
Qq3k1k1k3v80v80v80m2s6	SAT	0
Qq3k1k1k3v80v80v80m2s8	SAT	0
Qq3k1k1k3v80v80v80m4s0	SAT	0
Qq3k1k1k3v80v80v80m4s1	SAT	0
Qq3k1k1k3v80v80v80m4s2	SAT	0
Qq3k1k1k3v80v80v80m4s3	SAT	0
Qq3k1k1k3v80v80v80m4s5	SAT	0
Qq3k1k1k3v80v80v80m4s6	SAT	0
Qq3k1k1k3v80v80v80m4s7	SAT	0
Qq3k1k1k3v80v80v80m4s8	SAT	0
Qq3k1k1k3v80v80v80m4s9	SAT	0
Qq3k1k1k3v80v80v80m8s0	SAT	0
Qq3k1k1k3v80v80v80m8s1	SAT	0
Qq3k1k1k3v80v80v80m8s2	SAT	0
Qq3k1k1k3v80v80v80m8s3	SAT	0
Qq3k1k1k3v80v80v80m8s4	SAT	0
Qq3k1k1k3v80v80v80m8s5	SAT	0
Qq3k1k1k3v80v80v80m8s6	SAT	0
Qq3k1k1k3v80v80v80m8s7	SAT	0
Qq3k1k1k3v80v80v80m8s8	SAT	0
Qq3k1k1k3v80v80v80m8s9	SAT	0
Qq3k1k1k3v80v80v80m16s2	SAT	0
Qq3k1k1k3v80v80v80m16s3	SAT	0
Qq3k1k1k3v80v80v80m16s4	SAT	0
Qq3k1k1k3v80v80v80m16s5	SAT	0
Qq3k1k1k3v80v80v80m16s6	SAT	0
Qq3k1k1k3v80v80v80m16s7	SAT	0
Qq3k1k1k3v80v80v80m16s9	SAT	0
Qq3k1k1k3v80v80v80m32s0	SAT	0
Qq3k1k1k3v80v80v80m32s1	SAT	0
Qq3k1k1k3v80v80v80m32s3	SAT	0
Qq3k1k1k3v80v80v80m32s4	SAT	0
Qq3k1k1k3v80v80v80m32s5	SAT	0
Qq3k1k1k3v80v80v80m32s6	SAT	0
Qq3k1k1k3v80v80v80m32s7	SAT	0
Qq3k1k1k3v80v80v80m32s9	SAT	0
Qq3k1k2k2v40v40v40m2s3	SAT	0
Qq3k1k2k2v40v40v40m2s4	SAT	0
Qq3k1k2k2v40v40v40m2s5	SAT	0
Qq3k1k2k2v40v40v40m2s6	SAT	0
Qq3k1k2k2v40v40v40m2s7	SAT	0
Qq3k1k2k2v40v40v40m2s8	SAT	0
Qq3k1k2k2v40v40v40m2s9	SAT	0
Qq3k1k2k2v40v40v40m4s0	SAT	0
Qq3k1k2k2v40v40v40m4s3	SAT	0
Qq3k1k2k2v40v40v40m4s4	SAT	0
Qq3k1k2k2v40v40v40m4s5	SAT	0
Qq3k1k2k2v40v40v40m4s6	SAT	0
Qq3k1k2k2v40v40v40m4s7	SAT	0
Qq3k1k2k2v40v40v40m4s8	SAT	0
Qq3k1k2k2v40v40v40m4s9	SAT	0
Qq3k1k2k2v40v40v40m8s0	SAT	0
Qq3k1k2k2v40v40v40m8s2	SAT	0
Qq3k1k2k2v40v40v40m8s3	SAT	0
Qq3k1k2k2v40v40v40m8s4	SAT	0
Qq3k1k2k2v40v40v40m8s6	SAT	0
Qq3k1k2k2v40v40v40m8s7	SAT	0
Qq3k1k2k2v40v40v40m8s8	SAT	0
Qq3k1k2k2v40v40v40m8s9	SAT	0
Qq3k1k2k2v40v40v40m16s0	SAT	0
Qq3k1k2k2v40v40v40m16s1	SAT	0
Qq3k1k2k2v40v40v40m16s2	SAT	0
Qq3k1k2k2v40v40v40m16s3	SAT	0
Qq3k1k2k2v40v40v40m16s4	SAT	0
Qq3k1k2k2v40v40v40m16s6	SAT	0
Qq3k1k2k2v40v40v40m16s7	SAT	0
Qq3k1k2k2v40v40v40m16s8	SAT	0
Qq3k1k2k2v40v40v40m16s9	SAT	0
Qq3k1k2k2v40v40v40m32s0	SAT	0
Qq3k1k2k2v40v40v40m32s1	SAT	0
Qq3k1k2k2v40v40v40m32s2	SAT	0
Qq3k1k2k2v40v40v40m32s3	SAT	0
Qq3k1k2k2v40v40v40m32s4	SAT	0
Qq3k1k2k2v40v40v40m32s6	SAT	0
Qq3k1k2k2v40v40v40m32s7	SAT	0
Qq3k1k2k2v40v40v40m32s8	SAT	0
Qq3k1k2k2v40v40v40m32s9	SAT	0
Qq3k1k2k2v80v80v80m2s0	SAT	0
Qq3k1k2k2v80v80v80m2s1	SAT	0
Qq3k1k2k2v80v80v80m2s2	SAT	0
Qq3k1k2k2v80v80v80m2s3	SAT	0
Qq3k1k2k2v80v80v80m2s4	SAT	0
Qq3k1k2k2v80v80v80m2s5	SAT	0
Qq3k1k2k2v80v80v80m2s6	SAT	0
Qq3k1k2k2v80v80v80m2s7	SAT	0
Qq3k1k2k2v80v80v80m2s8	SAT	0
Qq3k1k2k2v80v80v80m2s9	SAT	0
Qq3k1k2k2v80v80v80m4s4	SAT	0
Qq3k1k2k2v80v80v80m4s5	SAT	0
Qq3k1k2k2v80v80v80m4s6	SAT	0
Qq3k1k2k2v80v80v80m4s7	SAT	0
Qq3k1k2k2v80v80v80m4s8	SAT	0
Qq3k1k2k2v80v80v80m8s0	SAT	0
Qq3k1k2k2v80v80v80m8s3	SAT	0
Qq3k1k2k2v80v80v80m8s4	SAT	0
Qq3k1k2k2v80v80v80m8s6	SAT	0
Qq3k1k2k2v80v80v80m8s7	SAT	0
Qq3k1k2k2v80v80v80m8s8	SAT	0
Qq3k1k2k2v80v80v80m16s1	SAT	0
Qq3k1k2k2v80v80v80m16s3	SAT	0
Qq3k1k2k2v80v80v80m16s4	SAT	0
Qq3k1k2k2v80v80v80m16s8	SAT	0
Qq3k1k2k2v80v80v80m16s9	SAT	0
Qq3k1k2k2v80v80v80m32s2	SAT	0
Qq3k1k2k2v80v80v80m32s3	SAT	0
Qq3k1k2k2v80v80v80m32s5	SAT	0
Qq3k1k2k2v80v80v80m32s6	SAT	0
Qq3k1k2k2v80v80v80m32s7	SAT	0
Qq3k1k2k2v80v80v80m32s8	SAT	0
Qq3k1k3k1v40v40v40m2s1	SAT	0
Qq3k1k3k1v40v40v40m2s4	SAT	0
Qq3k1k3k1v40v40v40m2s5	SAT	0
Qq3k1k3k1v40v40v40m2s6	SAT	0
Qq3k1k3k1v40v40v40m2s7	SAT	0
Qq3k1k3k1v40v40v40m2s8	SAT	0
Qq3k1k3k1v40v40v40m2s9	SAT	0
Qq3k1k3k1v40v40v40m4s0	SAT	0
Qq3k1k3k1v40v40v40m4s2	SAT	0
Qq3k1k3k1v40v40v40m4s5	SAT	0
Qq3k1k3k1v40v40v40m4s6	SAT	0
Qq3k1k3k1v40v40v40m4s7	SAT	0
Qq3k1k3k1v40v40v40m8s0	SAT	0
Qq3k1k3k1v40v40v40m8s1	SAT	0
Qq3k1k3k1v40v40v40m8s2	SAT	0
Qq3k1k3k1v40v40v40m8s6	SAT	0
Qq3k1k3k1v40v40v40m8s7	SAT	0
Qq3k1k3k1v40v40v40m8s9	SAT	0
Qq3k1k3k1v40v40v40m16s0	SAT	0
Qq3k1k3k1v40v40v40m16s2	SAT	0
Qq3k1k3k1v40v40v40m16s3	SAT	0
Qq3k1k3k1v40v40v40m16s4	SAT	0
Qq3k1k3k1v40v40v40m16s5	SAT	0
Qq3k1k3k1v40v40v40m16s7	SAT	0
Qq3k1k3k1v40v40v40m16s8	SAT	0
Qq3k1k3k1v40v40v40m32s0	SAT	0
Qq3k1k3k1v40v40v40m32s1	SAT	0
Qq3k1k3k1v40v40v40m32s3	SAT	0
Qq3k1k3k1v40v40v40m32s6	SAT	0
Qq3k1k3k1v40v40v40m32s7	SAT	0
Qq3k1k3k1v40v40v40m32s8	SAT	0
Qq3k1k3k1v80v80v80m2s0	SAT	0
Qq3k1k3k1v80v80v80m2s1	SAT	0
Qq3k1k3k1v80v80v80m2s2	SAT	0
Qq3k1k3k1v80v80v80m2s3	SAT	0
Qq3k1k3k1v80v80v80m2s4	SAT	0
Qq3k1k3k1v80v80v80m2s5	SAT	0
Qq3k1k3k1v80v80v80m2s8	SAT	0
Qq3k1k3k1v80v80v80m2s9	SAT	0
Qq3k1k3k1v80v80v80m4s1	SAT	0
Qq3k1k3k1v80v80v80m4s2	SAT	0
Qq3k1k3k1v80v80v80m4s4	SAT	0
Qq3k1k3k1v80v80v80m4s5	SAT	0
Qq3k1k3k1v80v80v80m4s8	SAT	0
Qq3k1k3k1v80v80v80m4s9	SAT	0
Qq3k1k3k1v80v80v80m8s0	SAT	0
Qq3k1k3k1v80v80v80m8s2	SAT	0
Qq3k1k3k1v80v80v80m8s3	SAT	0
Qq3k1k3k1v80v80v80m8s5	SAT	0
Qq3k1k3k1v80v80v80m8s6	SAT	0
Qq3k1k3k1v80v80v80m8s7	SAT	0
Qq3k1k3k1v80v80v80m8s8	SAT	0
Qq3k1k3k1v80v80v80m8s9	SAT	0
Qq3k1k3k1v80v80v80m16s0	SAT	0
Qq3k1k3k1v80v80v80m16s1	SAT	0
Qq3k1k3k1v80v80v80m16s2	SAT	0
Qq3k1k3k1v80v80v80m16s4	SAT	0
Qq3k1k3k1v80v80v80m16s5	SAT	0
Qq3k1k3k1v80v80v80m16s6	SAT	0
Qq3k1k3k1v80v80v80m16s7	SAT	0
Qq3k1k3k1v80v80v80m16s8	SAT	0
Qq3k1k3k1v80v80v80m16s9	SAT	0
Qq3k1k3k1v80v80v80m32s0	SAT	0
Qq3k1k3k1v80v80v80m32s1	SAT	0
Qq3k1k3k1v80v80v80m32s2	SAT	0
Qq3k1k3k1v80v80v80m32s4	SAT	0
Qq3k1k3k1v80v80v80m32s8	SAT	0
Qq3k1k3k1v80v80v80m32s9	SAT	0
Qq3k2k1k2v40v40v40m2s0	SAT	0
Qq3k2k1k2v40v40v40m2s1	SAT	0
Qq3k2k1k2v40v40v40m2s3	SAT	0
Qq3k2k1k2v40v40v40m2s4	SAT	0
Qq3k2k1k2v40v40v40m2s6	SAT	0
Qq3k2k1k2v40v40v40m2s7	SAT	0
Qq3k2k1k2v40v40v40m2s9	SAT	0
Qq3k2k1k2v40v40v40m4s1	SAT	0
Qq3k2k1k2v40v40v40m4s3	SAT	0
Qq3k2k1k2v40v40v40m4s4	SAT	0
Qq3k2k1k2v40v40v40m4s6	SAT	0
Qq3k2k1k2v40v40v40m4s7	SAT	0
Qq3k2k1k2v40v40v40m4s8	SAT	0
Qq3k2k1k2v40v40v40m8s0	SAT	0
Qq3k2k1k2v40v40v40m8s3	SAT	0
Qq3k2k1k2v40v40v40m8s4	SAT	0
Qq3k2k1k2v40v40v40m8s5	SAT	0
Qq3k2k1k2v40v40v40m8s6	SAT	0
Qq3k2k1k2v40v40v40m8s7	SAT	0
Qq3k2k1k2v40v40v40m8s8	SAT	0
Qq3k2k1k2v40v40v40m8s9	SAT	0
Qq3k2k1k2v40v40v40m16s0	SAT	0
Qq3k2k1k2v40v40v40m16s1	SAT	0
Qq3k2k1k2v40v40v40m16s2	SAT	0
Qq3k2k1k2v40v40v40m16s3	SAT	0
Qq3k2k1k2v40v40v40m16s4	SAT	0
Qq3k2k1k2v40v40v40m16s5	SAT	0
Qq3k2k1k2v40v40v40m16s6	SAT	0
Qq3k2k1k2v40v40v40m16s7	SAT	0
Qq3k2k1k2v40v40v40m16s8	SAT	0
Qq3k2k1k2v40v40v40m16s9	SAT	0
Qq3k2k1k2v40v40v40m32s0	SAT	0
Qq3k2k1k2v40v40v40m32s2	SAT	0
Qq3k2k1k2v40v40v40m32s3	SAT	0
Qq3k2k1k2v40v40v40m32s4	SAT	0
Qq3k2k1k2v40v40v40m32s5	SAT	0
Qq3k2k1k2v40v40v40m32s6	SAT	0
Qq3k2k1k2v40v40v40m32s8	SAT	0
Qq3k2k1k2v40v40v40m32s9	SAT	0
Qq3k2k1k2v80v80v80m2s1	SAT	0
Qq3k2k1k2v80v80v80m2s2	SAT	0
Qq3k2k1k2v80v80v80m2s3	SAT	0
Qq3k2k1k2v80v80v80m2s4	SAT	0
Qq3k2k1k2v80v80v80m2s5	SAT	0
Qq3k2k1k2v80v80v80m2s6	SAT	0
Qq3k2k1k2v80v80v80m2s7	SAT	0
Qq3k2k1k2v80v80v80m2s9	SAT	0
Qq3k2k1k2v80v80v80m4s1	SAT	0
Qq3k2k1k2v80v80v80m4s3	SAT	0
Qq3k2k1k2v80v80v80m4s4	SAT	0
Qq3k2k1k2v80v80v80m4s5	SAT	0
Qq3k2k1k2v80v80v80m4s7	SAT	0
Qq3k2k1k2v80v80v80m4s9	SAT	0
Qq3k2k1k2v80v80v80m8s0	SAT	0
Qq3k2k1k2v80v80v80m8s2	SAT	0
Qq3k2k1k2v80v80v80m8s5	SAT	0
Qq3k2k1k2v80v80v80m8s6	SAT	0
Qq3k2k1k2v80v80v80m8s7	SAT	0
Qq3k2k1k2v80v80v80m8s8	SAT	0
Qq3k2k1k2v80v80v80m8s9	SAT	0
Qq3k2k1k2v80v80v80m16s0	SAT	0
Qq3k2k1k2v80v80v80m16s1	SAT	0
Qq3k2k1k2v80v80v80m16s5	SAT	0
Qq3k2k1k2v80v80v80m16s6	SAT	0
Qq3k2k1k2v80v80v80m16s7	SAT	0
Qq3k2k1k2v80v80v80m16s8	SAT	0
Qq3k2k1k2v80v80v80m32s0	SAT	0
Qq3k2k1k2v80v80v80m32s1	SAT	0
Qq3k2k1k2v80v80v80m32s3	SAT	0
Qq3k2k1k2v80v80v80m32s4	SAT	0
Qq3k2k1k2v80v80v80m32s5	SAT	0
Qq3k2k1k2v80v80v80m32s9	SAT	0
Qq3k2k2k1v40v40v40m2s0	SAT	0
Qq3k2k2k1v40v40v40m2s1	SAT	0
Qq3k2k2k1v40v40v40m2s2	SAT	0
Qq3k2k2k1v40v40v40m2s4	SAT	0
Qq3k2k2k1v40v40v40m2s5	SAT	0
Qq3k2k2k1v40v40v40m2s7	SAT	0
Qq3k2k2k1v40v40v40m2s9	SAT	0
Qq3k2k2k1v40v40v40m4s0	SAT	0
Qq3k2k2k1v40v40v40m4s2	SAT	0
Qq3k2k2k1v40v40v40m4s3	SAT	0
Qq3k2k2k1v40v40v40m4s4	SAT	0
Qq3k2k2k1v40v40v40m4s5	SAT	0
Qq3k2k2k1v40v40v40m4s6	SAT	0
Qq3k2k2k1v40v40v40m4s8	SAT	0
Qq3k2k2k1v40v40v40m4s9	SAT	0
Qq3k2k2k1v40v40v40m8s0	SAT	0
Qq3k2k2k1v40v40v40m8s1	SAT	0
Qq3k2k2k1v40v40v40m8s2	SAT	0
Qq3k2k2k1v40v40v40m8s4	SAT	0
Qq3k2k2k1v40v40v40m8s6	SAT	0
Qq3k2k2k1v40v40v40m8s8	SAT	0
Qq3k2k2k1v40v40v40m16s1	SAT	0
Qq3k2k2k1v40v40v40m16s2	SAT	0
Qq3k2k2k1v40v40v40m16s4	SAT	0
Qq3k2k2k1v40v40v40m16s5	SAT	0
Qq3k2k2k1v40v40v40m16s7	SAT	0
Qq3k2k2k1v40v40v40m16s8	SAT	0
Qq3k2k2k1v40v40v40m16s9	SAT	0
Qq3k2k2k1v40v40v40m32s1	SAT	0
Qq3k2k2k1v40v40v40m32s4	SAT	0
Qq3k2k2k1v40v40v40m32s7	SAT	0
Qq3k2k2k1v40v40v40m32s8	SAT	0
Qq3k2k2k1v40v40v40m32s9	SAT	0
Qq3k2k2k1v80v80v80m2s0	SAT	0
Qq3k2k2k1v80v80v80m2s1	SAT	0
Qq3k2k2k1v80v80v80m2s2	SAT	0
Qq3k2k2k1v80v80v80m2s4	SAT	0
Qq3k2k2k1v80v80v80m2s5	SAT	0
Qq3k2k2k1v80v80v80m2s8	SAT	0
Qq3k2k2k1v80v80v80m2s9	SAT	0
Qq3k2k2k1v80v80v80m4s0	SAT	0
Qq3k2k2k1v80v80v80m4s1	SAT	0
Qq3k2k2k1v80v80v80m4s2	SAT	0
Qq3k2k2k1v80v80v80m4s3	SAT	0
Qq3k2k2k1v80v80v80m4s4	SAT	0
Qq3k2k2k1v80v80v80m4s5	SAT	0
Qq3k2k2k1v80v80v80m4s6	SAT	0
Qq3k2k2k1v80v80v80m4s7	SAT	0
Qq3k2k2k1v80v80v80m4s9	SAT	0
Qq3k2k2k1v80v80v80m8s1	SAT	0
Qq3k2k2k1v80v80v80m8s2	SAT	0
Qq3k2k2k1v80v80v80m8s3	SAT	0
Qq3k2k2k1v80v80v80m8s4	SAT	0
Qq3k2k2k1v80v80v80m8s5	SAT	0
Qq3k2k2k1v80v80v80m8s6	SAT	0
Qq3k2k2k1v80v80v80m8s7	SAT	0
Qq3k2k2k1v80v80v80m8s8	SAT	0
Qq3k2k2k1v80v80v80m16s2	SAT	0
Qq3k2k2k1v80v80v80m16s3	SAT	0
Qq3k2k2k1v80v80v80m16s4	SAT	0
Qq3k2k2k1v80v80v80m16s5	SAT	0
Qq3k2k2k1v80v80v80m16s6	SAT	0
Qq3k2k2k1v80v80v80m16s7	SAT	0
Qq3k2k2k1v80v80v80m16s8	SAT	0
Qq3k2k2k1v80v80v80m16s9	SAT	0
Qq3k2k2k1v80v80v80m32s0	SAT	0
Qq3k2k2k1v80v80v80m32s1	SAT	0
Qq3k2k2k1v80v80v80m32s5	SAT	0
Qq3k2k2k1v80v80v80m32s7	SAT	0
Qq3k2k2k1v80v80v80m32s8	SAT	0
Qq3k2k2k1v80v80v80m32s9	SAT	0
Qq3k3k1k1v40v40v40m2s0	SAT	0
Qq3k3k1k1v40v40v40m2s1	SAT	0
Qq3k3k1k1v40v40v40m2s4	SAT	0
Qq3k3k1k1v40v40v40m2s5	SAT	0
Qq3k3k1k1v40v40v40m2s6	SAT	0
Qq3k3k1k1v40v40v40m2s7	SAT	0
Qq3k3k1k1v40v40v40m2s8	SAT	0
Qq3k3k1k1v40v40v40m2s9	SAT	0
Qq3k3k1k1v40v40v40m4s0	SAT	0
Qq3k3k1k1v40v40v40m4s2	SAT	0
Qq3k3k1k1v40v40v40m4s3	SAT	0
Qq3k3k1k1v40v40v40m4s6	SAT	0
Qq3k3k1k1v40v40v40m4s7	SAT	0
Qq3k3k1k1v40v40v40m4s9	SAT	0
Qq3k3k1k1v40v40v40m8s0	SAT	0
Qq3k3k1k1v40v40v40m8s3	SAT	0
Qq3k3k1k1v40v40v40m8s4	SAT	0
Qq3k3k1k1v40v40v40m8s7	SAT	0
Qq3k3k1k1v40v40v40m8s8	SAT	0
Qq3k3k1k1v40v40v40m8s9	SAT	0
Qq3k3k1k1v40v40v40m16s0	SAT	0
Qq3k3k1k1v40v40v40m16s1	SAT	0
Qq3k3k1k1v40v40v40m16s2	SAT	0
Qq3k3k1k1v40v40v40m16s4	SAT	0
Qq3k3k1k1v40v40v40m16s5	SAT	0
Qq3k3k1k1v40v40v40m16s7	SAT	0
Qq3k3k1k1v40v40v40m16s9	SAT	0
Qq3k3k1k1v40v40v40m32s1	SAT	0
Qq3k3k1k1v40v40v40m32s2	SAT	0
Qq3k3k1k1v40v40v40m32s3	SAT	0
Qq3k3k1k1v40v40v40m32s4	SAT	0
Qq3k3k1k1v40v40v40m32s7	SAT	0
Qq3k3k1k1v40v40v40m32s8	SAT	0
Qq3k3k1k1v80v80v80m2s1	SAT	0
Qq3k3k1k1v80v80v80m2s2	SAT	0
Qq3k3k1k1v80v80v80m2s3	SAT	0
Qq3k3k1k1v80v80v80m2s4	SAT	0
Qq3k3k1k1v80v80v80m2s5	SAT	0
Qq3k3k1k1v80v80v80m2s6	SAT	0
Qq3k3k1k1v80v80v80m2s7	SAT	0
Qq3k3k1k1v80v80v80m2s8	SAT	0
Qq3k3k1k1v80v80v80m2s9	SAT	0
Qq3k3k1k1v80v80v80m4s0	SAT	0
Qq3k3k1k1v80v80v80m4s1	SAT	0
Qq3k3k1k1v80v80v80m4s2	SAT	0
Qq3k3k1k1v80v80v80m4s4	SAT	0
Qq3k3k1k1v80v80v80m4s6	SAT	0
Qq3k3k1k1v80v80v80m4s7	SAT	0
Qq3k3k1k1v80v80v80m4s8	SAT	0
Qq3k3k1k1v80v80v80m4s9	SAT	0
Qq3k3k1k1v80v80v80m8s0	SAT	0
Qq3k3k1k1v80v80v80m8s3	SAT	0
Qq3k3k1k1v80v80v80m8s4	SAT	0
Qq3k3k1k1v80v80v80m8s5	SAT	0
Qq3k3k1k1v80v80v80m8s7	SAT	0
Qq3k3k1k1v80v80v80m8s8	SAT	0
Qq3k3k1k1v80v80v80m8s9	SAT	0
Qq3k3k1k1v80v80v80m16s1	SAT	0
Qq3k3k1k1v80v80v80m16s2	SAT	0
Qq3k3k1k1v80v80v80m16s3	SAT	0
Qq3k3k1k1v80v80v80m16s4	SAT	0
Qq3k3k1k1v80v80v80m16s5	SAT	0
Qq3k3k1k1v80v80v80m16s6	SAT	0
Qq3k3k1k1v80v80v80m16s7	SAT	0
Qq3k3k1k1v80v80v80m16s8	SAT	0
Qq3k3k1k1v80v80v80m16s9	SAT	0
Qq3k3k1k1v80v80v80m32s2	SAT	0
Qq3k3k1k1v80v80v80m32s3	SAT	0
Qq3k3k1k1v80v80v80m32s4	SAT	0
Qq3k3k1k1v80v80v80m32s6	SAT	0
Qq3k3k1k1v80v80v80m32s7	SAT	0
Qq3k3k1k1v80v80v80m32s8	SAT	0
Qq2k3k2v80v80m32s9	SAT	0
Qq3k3k1k1v80v80v80m32s9	SAT	0
ncf_4_16_4_d.5	SAT	0.01
ncf_4_16_2_d.2	SAT	0.01
ncf_8_16_4_euad.1	SAT	0.01
6qbf-5cnf-160var-640cl.2	SAT	0.01
ncf_4_8_8_edau.3	SAT	0.01
ncf_4_8_8_u.9	UNSAT	0.01
ncf_4_8_8_d.8	SAT	0.01
ncf_4_8_8_d.1	SAT	0.01
ncf_4_16_8_d.7	SAT	0.01
ncf_4_8_8_d.5	UNSAT	0.01
5qbf-5cnf-160var-640cl.4	SAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.01
3qbf-5cnf-20var-320cl.8	UNSAT	0.01
ncf_4_8_4_u.9	SAT	0.01
5qbf-5cnf-160var-640cl.9	SAT	0.01
ncf_4_16_4_d.1	SAT	0.01
ncf_8_16_4_edau.10	SAT	0.01
ncf_8_16_4_edau.1	SAT	0.01
mutex-16-s	SAT	0.01
ncf_4_16_4_edau.5	SAT	0.01
ncf_8_16_4_u.1	SAT	0.01
5qbf-5cnf-160var-640cl.2	SAT	0.01
6qbf-5cnf-160var-640cl.6	SAT	0.01
ncf_4_16_4_edau.8	SAT	0.01
ncf_4_16_2_d.4	SAT	0.01
6qbf-5cnf-160var-640cl.4	SAT	0.01
6qbf-5cnf-160var-640cl.7	SAT	0.01
ncf_8_16_4_edau.4	SAT	0.01
ncf_4_8_8_euad.9	UNSAT	0.01
6qbf-5cnf-160var-640cl.5	SAT	0.01
ncf_16_32_4_edau.2	SAT	0.01
3qbf-5cnf-20var-320cl.4	UNSAT	0.01
ncf_16_32_2_edau.7	UNSAT	0.01
ncf_4_8_8_d.9	UNSAT	0.01
ncf_16_32_4_d.9	SAT	0.01
5qbf-5cnf-160var-640cl.5	SAT	0.01
ncf_4_16_4_edau.1	SAT	0.01
6qbf-5cnf-160var-640cl.3	SAT	0.01
ncf_4_8_8_edau.8	SAT	0.01
x5.0	SAT	0.01
x5.1	UNSAT	0.01
x5.3	UNSAT	0.01
x5.5	UNSAT	0.01
x5.6	UNSAT	0.01
x5.9	UNSAT	0.01
cmu.dme1.B-d2	SAT	0.01
eijk.S208c.S-d2	SAT	0.01
eijk.S208o.S-d2	SAT	0.01
eijk.S298.S-d2	SAT	0.01
eijk.S382.S-d2	SAT	0.01
vis.coherence^1.E-d2	SAT	0.01
vis.eisenberg.E-d2	SAT	0.01
Qq2k1k4v40v40m2s4	SAT	0.01
Qq2k1k4v40v40m2s5	SAT	0.01
Qq2k1k4v40v40m2s7	SAT	0.01
Qq2k1k4v40v40m2s9	SAT	0.01
Qq2k1k4v40v40m4s1	SAT	0.01
Qq2k1k4v40v40m8s1	SAT	0.01
Qq2k1k4v40v40m8s3	SAT	0.01
Qq2k1k4v40v40m8s8	SAT	0.01
Qq2k1k4v40v40m8s9	SAT	0.01
Qq2k1k4v40v40m16s5	SAT	0.01
Qq2k1k4v40v40m16s6	UNSAT	0.01
Qq2k1k4v40v40m16s9	UNSAT	0.01
Qq2k1k4v40v40m32s0	UNSAT	0.01
Qq2k1k4v40v40m32s2	UNSAT	0.01
Qq2k1k4v40v40m32s4	UNSAT	0.01
Qq2k1k4v80v80m2s5	SAT	0.01
Qq2k1k4v80v80m2s7	SAT	0.01
Qq2k1k4v80v80m4s7	SAT	0.01
Qq2k1k4v80v80m4s9	SAT	0.01
Qq2k1k4v80v80m8s2	SAT	0.01
Qq2k1k4v80v80m8s3	SAT	0.01
Qq2k1k4v80v80m8s8	SAT	0.01
Qq2k1k4v80v80m16s0	UNSAT	0.01
Qq2k1k4v80v80m16s5	SAT	0.01
Qq2k1k4v80v80m32s7	SAT	0.01
Qq2k2k3v40v40m2s0	SAT	0.01
Qq2k2k3v40v40m2s6	SAT	0.01
Qq2k2k3v40v40m4s2	SAT	0.01
Qq2k2k3v40v40m4s4	SAT	0.01
Qq2k2k3v40v40m8s1	SAT	0.01
Qq2k2k3v40v40m8s4	SAT	0.01
Qq2k2k3v40v40m32s2	SAT	0.01
Qq2k2k3v40v40m32s5	SAT	0.01
Qq2k2k3v40v40m32s8	SAT	0.01
Qq2k2k3v80v80m2s3	SAT	0.01
Qq2k2k3v80v80m2s8	SAT	0.01
Qq2k2k3v80v80m4s2	SAT	0.01
Qq2k2k3v80v80m4s4	SAT	0.01
Qq2k2k3v80v80m8s4	SAT	0.01
Qq2k2k3v80v80m8s6	SAT	0.01
Qq2k2k3v80v80m8s8	SAT	0.01
Qq2k2k3v80v80m16s7	SAT	0.01
Qq2k2k3v80v80m16s8	SAT	0.01
Qq2k2k3v80v80m16s9	SAT	0.01
Qq2k2k3v80v80m32s0	SAT	0.01
Qq2k2k3v80v80m32s1	SAT	0.01
Qq2k3k2v40v40m2s3	SAT	0.01
Qq2k3k2v40v40m2s6	SAT	0.01
Qq2k3k2v40v40m2s9	SAT	0.01
Qq2k3k2v40v40m4s0	SAT	0.01
Qq2k3k2v40v40m4s3	SAT	0.01
Qq2k3k2v40v40m4s4	SAT	0.01
Qq2k3k2v40v40m4s5	SAT	0.01
Qq2k3k2v40v40m4s6	SAT	0.01
Qq2k3k2v40v40m4s8	SAT	0.01
Qq2k3k2v40v40m8s5	SAT	0.01
Qq2k3k2v40v40m8s7	SAT	0.01
Qq2k3k2v40v40m16s8	SAT	0.01
Qq2k3k2v40v40m32s0	SAT	0.01
Qq2k3k2v40v40m32s4	SAT	0.01
Qq2k3k2v40v40m32s7	SAT	0.01
Qq2k3k2v80v80m4s1	SAT	0.01
Qq2k3k2v80v80m4s2	SAT	0.01
Qq2k3k2v80v80m4s4	SAT	0.01
Qq2k3k2v80v80m8s1	SAT	0.01
Qq2k3k2v80v80m8s2	SAT	0.01
Qq2k3k2v80v80m8s4	SAT	0.01
Qq2k3k2v80v80m8s7	SAT	0.01
Qq2k3k2v80v80m8s9	SAT	0.01
Qq2k3k2v80v80m16s8	SAT	0.01
Qq2k3k2v80v80m32s0	SAT	0.01
Qq2k3k2v80v80m32s4	SAT	0.01
Qq2k3k2v80v80m32s7	SAT	0.01
Qq3k1k1k3v40v40v40m2s2	SAT	0.01
Qq3k1k1k3v40v40v40m2s3	SAT	0.01
Qq3k1k1k3v40v40v40m2s5	SAT	0.01
Qq3k1k1k3v40v40v40m4s3	SAT	0.01
Qq3k1k1k3v40v40v40m4s4	SAT	0.01
Qq3k1k1k3v40v40v40m4s7	SAT	0.01
Qq3k1k1k3v40v40v40m4s8	SAT	0.01
Qq3k1k1k3v40v40v40m8s2	SAT	0.01
Qq3k1k1k3v40v40v40m16s6	SAT	0.01
Qq3k1k1k3v40v40v40m32s1	SAT	0.01
Qq3k1k1k3v40v40v40m32s2	SAT	0.01
Qq3k1k1k3v40v40v40m32s3	SAT	0.01
Qq3k1k1k3v80v80v80m2s1	SAT	0.01
Qq3k1k1k3v80v80v80m2s4	SAT	0.01
Qq3k1k1k3v80v80v80m2s5	SAT	0.01
Qq3k1k1k3v80v80v80m2s7	SAT	0.01
Qq3k1k1k3v80v80v80m2s9	SAT	0.01
Qq3k1k1k3v80v80v80m4s4	SAT	0.01
Qq3k1k1k3v80v80v80m16s0	SAT	0.01
Qq3k1k1k3v80v80v80m16s1	SAT	0.01
Qq3k1k1k3v80v80v80m16s8	SAT	0.01
Qq3k1k1k3v80v80v80m32s2	SAT	0.01
Qq3k1k1k3v80v80v80m32s8	SAT	0.01
Qq3k1k2k2v40v40v40m2s0	SAT	0.01
Qq3k1k2k2v40v40v40m2s1	SAT	0.01
Qq3k1k2k2v40v40v40m2s2	SAT	0.01
Qq3k1k2k2v40v40v40m4s1	SAT	0.01
Qq3k1k2k2v40v40v40m4s2	SAT	0.01
Qq3k1k2k2v40v40v40m8s1	SAT	0.01
Qq3k1k2k2v40v40v40m8s5	SAT	0.01
Qq3k1k2k2v40v40v40m16s5	SAT	0.01
Qq3k1k2k2v40v40v40m32s5	SAT	0.01
Qq3k1k2k2v80v80v80m4s0	SAT	0.01
Qq3k1k2k2v80v80v80m4s1	SAT	0.01
Qq3k1k2k2v80v80v80m4s2	SAT	0.01
Qq3k1k2k2v80v80v80m4s3	SAT	0.01
Qq3k1k2k2v80v80v80m4s9	SAT	0.01
Qq3k1k2k2v80v80v80m8s1	SAT	0.01
Qq3k1k2k2v80v80v80m8s2	SAT	0.01
Qq3k1k2k2v80v80v80m8s5	SAT	0.01
Qq3k1k2k2v80v80v80m8s9	SAT	0.01
Qq3k1k2k2v80v80v80m16s0	SAT	0.01
Qq3k1k2k2v80v80v80m16s2	SAT	0.01
Qq3k1k2k2v80v80v80m16s5	SAT	0.01
Qq3k1k2k2v80v80v80m16s6	SAT	0.01
Qq3k1k2k2v80v80v80m16s7	SAT	0.01
Qq3k1k2k2v80v80v80m32s0	SAT	0.01
Qq3k1k2k2v80v80v80m32s4	SAT	0.01
Qq3k1k2k2v80v80v80m32s9	SAT	0.01
Qq3k1k3k1v40v40v40m2s0	SAT	0.01
Qq3k1k3k1v40v40v40m2s2	SAT	0.01
Qq3k1k3k1v40v40v40m2s3	SAT	0.01
Qq3k1k3k1v40v40v40m4s1	SAT	0.01
Qq3k1k3k1v40v40v40m4s3	SAT	0.01
Qq3k1k3k1v40v40v40m4s8	SAT	0.01
Qq3k1k3k1v40v40v40m4s9	SAT	0.01
Qq3k1k3k1v40v40v40m8s3	SAT	0.01
Qq3k1k3k1v40v40v40m8s4	SAT	0.01
Qq3k1k3k1v40v40v40m8s5	SAT	0.01
Qq3k1k3k1v40v40v40m8s8	SAT	0.01
Qq3k1k3k1v40v40v40m16s1	SAT	0.01
Qq3k1k3k1v40v40v40m16s6	SAT	0.01
Qq3k1k3k1v40v40v40m16s9	SAT	0.01
Qq3k1k3k1v40v40v40m32s2	SAT	0.01
Qq3k1k3k1v40v40v40m32s4	SAT	0.01
Qq3k1k3k1v40v40v40m32s9	SAT	0.01
Qq3k1k3k1v80v80v80m2s6	SAT	0.01
Qq3k1k3k1v80v80v80m2s7	SAT	0.01
Qq3k1k3k1v80v80v80m4s3	SAT	0.01
Qq3k1k3k1v80v80v80m4s6	SAT	0.01
Qq3k1k3k1v80v80v80m4s7	SAT	0.01
Qq3k1k3k1v80v80v80m8s1	SAT	0.01
Qq3k1k3k1v80v80v80m8s4	SAT	0.01
Qq3k1k3k1v80v80v80m16s3	SAT	0.01
Qq3k1k3k1v80v80v80m32s3	SAT	0.01
Qq3k1k3k1v80v80v80m32s5	SAT	0.01
Qq3k1k3k1v80v80v80m32s6	SAT	0.01
Qq3k1k3k1v80v80v80m32s7	SAT	0.01
Qq3k2k1k2v40v40v40m2s2	SAT	0.01
Qq3k2k1k2v40v40v40m2s5	SAT	0.01
Qq3k2k1k2v40v40v40m2s8	SAT	0.01
Qq3k2k1k2v40v40v40m4s0	SAT	0.01
Qq3k2k1k2v40v40v40m4s2	SAT	0.01
Qq3k2k1k2v40v40v40m4s5	SAT	0.01
Qq3k2k1k2v40v40v40m4s9	SAT	0.01
Qq3k2k1k2v40v40v40m8s1	SAT	0.01
Qq3k2k1k2v40v40v40m8s2	SAT	0.01
Qq3k2k1k2v40v40v40m32s1	SAT	0.01
Qq3k2k1k2v40v40v40m32s7	SAT	0.01
Qq3k2k1k2v80v80v80m2s0	SAT	0.01
Qq3k2k1k2v80v80v80m2s8	SAT	0.01
Qq3k2k1k2v80v80v80m4s0	SAT	0.01
Qq3k2k1k2v80v80v80m4s2	SAT	0.01
Qq3k2k1k2v80v80v80m4s6	SAT	0.01
Qq3k2k1k2v80v80v80m4s8	SAT	0.01
Qq3k2k1k2v80v80v80m8s1	SAT	0.01
Qq3k2k1k2v80v80v80m8s3	SAT	0.01
Qq3k2k1k2v80v80v80m8s4	SAT	0.01
Qq3k2k1k2v80v80v80m16s2	SAT	0.01
Qq3k2k1k2v80v80v80m16s3	SAT	0.01
Qq3k2k1k2v80v80v80m16s4	SAT	0.01
Qq3k2k1k2v80v80v80m16s9	SAT	0.01
Qq3k2k1k2v80v80v80m32s2	SAT	0.01
Qq3k2k1k2v80v80v80m32s6	SAT	0.01
Qq3k2k1k2v80v80v80m32s7	SAT	0.01
Qq3k2k1k2v80v80v80m32s8	SAT	0.01
Qq3k2k2k1v40v40v40m2s3	SAT	0.01
Qq3k2k2k1v40v40v40m2s6	SAT	0.01
Qq3k2k2k1v40v40v40m2s8	SAT	0.01
Qq3k2k2k1v40v40v40m4s1	SAT	0.01
Qq3k2k2k1v40v40v40m4s7	SAT	0.01
Qq3k2k2k1v40v40v40m8s3	SAT	0.01
Qq3k2k2k1v40v40v40m8s5	SAT	0.01
Qq3k2k2k1v40v40v40m8s7	SAT	0.01
Qq3k2k2k1v40v40v40m8s9	SAT	0.01
Qq3k2k2k1v40v40v40m16s0	SAT	0.01
Qq3k2k2k1v40v40v40m16s3	SAT	0.01
Qq3k2k2k1v40v40v40m16s6	SAT	0.01
Qq3k2k2k1v40v40v40m32s0	SAT	0.01
Qq3k2k2k1v40v40v40m32s2	SAT	0.01
Qq3k2k2k1v40v40v40m32s3	SAT	0.01
Qq3k2k2k1v40v40v40m32s5	SAT	0.01
Qq3k2k2k1v40v40v40m32s6	SAT	0.01
Qq3k2k2k1v80v80v80m2s3	SAT	0.01
Qq3k2k2k1v80v80v80m2s6	SAT	0.01
Qq3k2k2k1v80v80v80m2s7	SAT	0.01
Qq3k2k2k1v80v80v80m4s8	SAT	0.01
Qq3k2k2k1v80v80v80m8s0	SAT	0.01
Qq3k2k2k1v80v80v80m8s9	SAT	0.01
Qq3k2k2k1v80v80v80m16s0	SAT	0.01
Qq3k2k2k1v80v80v80m16s1	SAT	0.01
Qq3k2k2k1v80v80v80m32s2	SAT	0.01
Qq3k2k2k1v80v80v80m32s3	SAT	0.01
Qq3k2k2k1v80v80v80m32s4	SAT	0.01
Qq3k2k2k1v80v80v80m32s6	SAT	0.01
Qq3k3k1k1v40v40v40m2s2	SAT	0.01
Qq3k3k1k1v40v40v40m2s3	SAT	0.01
Qq3k3k1k1v40v40v40m4s1	SAT	0.01
Qq3k3k1k1v40v40v40m4s4	SAT	0.01
Qq3k3k1k1v40v40v40m4s5	SAT	0.01
Qq3k3k1k1v40v40v40m4s8	SAT	0.01
Qq3k3k1k1v40v40v40m8s1	SAT	0.01
Qq3k3k1k1v40v40v40m8s2	SAT	0.01
Qq3k3k1k1v40v40v40m8s5	SAT	0.01
Qq3k3k1k1v40v40v40m8s6	SAT	0.01
Qq3k3k1k1v40v40v40m16s3	SAT	0.01
Qq3k3k1k1v40v40v40m16s6	SAT	0.01
Qq3k3k1k1v40v40v40m16s8	SAT	0.01
Qq3k3k1k1v40v40v40m32s5	SAT	0.01
Qq3k3k1k1v40v40v40m32s6	SAT	0.01
Qq3k3k1k1v40v40v40m32s9	SAT	0.01
Qq3k3k1k1v80v80v80m2s0	SAT	0.01
Qq3k3k1k1v80v80v80m4s3	SAT	0.01
Qq3k3k1k1v80v80v80m4s5	SAT	0.01
Qq3k3k1k1v80v80v80m8s1	SAT	0.01
Qq3k3k1k1v80v80v80m8s6	SAT	0.01
Qq3k3k1k1v80v80v80m16s0	SAT	0.01
Qq3k3k1k1v80v80v80m32s0	SAT	0.01
Qq3k3k1k1v80v80v80m32s1	SAT	0.01
Qq3k3k1k1v80v80v80m32s5	SAT	0.01
ncf_8_16_4_d.4	SAT	0.02
ncf_4_8_4_euad.9	SAT	0.02
ncf_4_16_4_d.8	SAT	0.02
ncf_8_16_4_euad.5	UNSAT	0.02
5qbf-5cnf-20var-640cl.1	UNSAT	0.02
ncf_4_8_2_u.4	UNSAT	0.02
ncf_16_32_4_d.8	SAT	0.02
ncf_16_32_4_edau.3	SAT	0.02
3qbf-5cnf-20var-320cl.5	UNSAT	0.02
6qbf-5cnf-160var-640cl.9	SAT	0.02
ncf_8_16_4_u.5	UNSAT	0.02
qshifter_5	SAT	0.02
ncf_16_32_8_d.3	SAT	0.02
6qbf-5cnf-160var-640cl.1	SAT	0.02
6qbf-5cnf-160var-640cl.0	SAT	0.02
ncf_16_32_4_d.2	SAT	0.02
ncf_4_8_2_euad.10	SAT	0.02
ncf_16_32_4_d.3	SAT	0.02
ncf_4_8_8_edau.9	UNSAT	0.02
ncf_16_32_4_edau.8	SAT	0.02
ncf_4_8_2_u.10	SAT	0.02
x5.2	UNSAT	0.02
x5.4	UNSAT	0.02
cmu.dme2.B-d2	SAT	0.02
eijk.S444.S-d2	SAT	0.02
eijk.S526.S-d2	SAT	0.02
texas.parsesys^4.E-f2	UNSAT	0.02
Qq2k2k3v80v80m32s4	SAT	0.02
Qq2k3k2v40v40m4s1	SAT	0.02
Qq3k1k2k2v80v80v80m32s1	SAT	0.02
Qq3k1k3k1v40v40v40m4s4	SAT	0.02
Qq3k1k3k1v40v40v40m32s5	SAT	0.02
Qq3k1k3k1v80v80v80m4s0	SAT	0.02
Qq3k3k1k1v40v40v40m32s0	SAT	0.02
Qq3k3k1k1v80v80v80m8s2	SAT	0.02
ncf_4_8_8_edau.5	UNSAT	0.03
ncf_16_32_2_d.7	UNSAT	0.03
mutex-32-s	SAT	0.03
k_lin_p-8	UNSAT	0.03
k_t4p_p-4	UNSAT	0.03
3qbf-5cnf-20var-320cl.6	UNSAT	0.03
3qbf-5cnf-40var-640cl.7	UNSAT	0.03
ncf_16_32_8_edau.3	SAT	0.03
ncf_16_32_4_edau.9	SAT	0.03
3qbf-5cnf-20var-320cl.7	UNSAT	0.03
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.03
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	0.03
counter_re_4	SAT	0.03
irst.dme5.B-d2	SAT	0.03
texas.ifetch1^4.E-f2	UNSAT	0.03
sortnetsort5.v.stepl.003	UNSAT	0.03
ncf_4_8_2_euad.8	SAT	0.04
ncf_4_8_2_u.7	UNSAT	0.04
ncf_4_8_2_u.1	UNSAT	0.04
ncf_4_8_2_euad.4	UNSAT	0.04
ncf_4_8_2_euad.6	SAT	0.04
ncf_4_8_2_euad.1	UNSAT	0.04
3qbf-5cnf-20var-320cl.0	UNSAT	0.04
3qbf-5cnf-20var-320cl.3	UNSAT	0.04
ncf_4_8_2_euad.5	SAT	0.04
ncf_8_16_4_d.8	UNSAT	0.04
ncf_8_16_4_euad.2	UNSAT	0.04
ncf_8_16_4_d.2	UNSAT	0.04
5qbf-5cnf-20var-640cl.4	UNSAT	0.04
x10.0	UNSAT	0.04
eijk.S386.S-d2	SAT	0.04
eijk.S953.S-d2	SAT	0.04
sortnetsort5.v.stepl.004	UNSAT	0.04
3qbf-5cnf-20var-320cl.9	UNSAT	0.05
ncf_8_16_4_u.2	UNSAT	0.05
ncf_4_16_2_u.6	SAT	0.05
ncf_4_16_2_euad.6	SAT	0.05
ncf_4_8_2_u.8	SAT	0.05
ncf_8_16_4_edau.6	UNSAT	0.05
s27_d3_u	UNSAT	0.05
ncf_4_8_2_euad.7	UNSAT	0.05
toilet_c_10_05.7	SAT	0.05
ncf_4_8_2_u.6	SAT	0.05
k_d4_p-8	UNSAT	0.05
k_lin_p-12	UNSAT	0.05
ncf_8_16_4_edau.8	UNSAT	0.05
x10.5	UNSAT	0.05
x10.7	SAT	0.05
x10.8	UNSAT	0.05
lut4_2_fXOR	SAT	0.06
ncf_8_16_4_edau.2	UNSAT	0.06
3qbf-5cnf-40var-640cl.6	UNSAT	0.06
3qbf-5cnf-20var-320cl.2	UNSAT	0.06
5qbf-5cnf-20var-640cl.0	UNSAT	0.06
ncf_4_8_2_u.5	SAT	0.06
CHAIN21v.22	SAT	0.06
x10.2	UNSAT	0.06
x10.3	UNSAT	0.06
x10.4	SAT	0.06
x10.9	UNSAT	0.06
sortnetsort5.v.stepl.005	SAT	0.06
sortnetsort5.v.stepl.006	SAT	0.06
sortnetsort5.v.stepl.007	SAT	0.06
mutex-64-s	SAT	0.07
CHAIN20v.21	SAT	0.07
k_branch_p-4	UNSAT	0.07
CHAIN22v.23	SAT	0.07
5qbf-5cnf-20var-640cl.6	UNSAT	0.07
ncf_8_16_4_d.6	UNSAT	0.07
x10.1	UNSAT	0.07
eijk.S820.S-d2	SAT	0.07
sortnetsort6.v.stepl.003	UNSAT	0.07
5qbf-5cnf-20var-640cl.2	UNSAT	0.08
x10.6	UNSAT	0.08
TOILET7.1.iv.13	UNSAT	0.09
3qbf-5cnf-80var-2560cl.6	UNSAT	0.09
k_t4p_p-8	UNSAT	0.09
5qbf-5cnf-20var-640cl.7	UNSAT	0.09
3qbf-5cnf-40var-640cl.9	UNSAT	0.09
k_d4_p-12	UNSAT	0.09
3qbf-5cnf-20var-320cl.1	UNSAT	0.09
3qbf-5cnf-40var-640cl.0	UNSAT	0.09
3qbf-5cnf-80var-2560cl.9	UNSAT	0.1
3qbf-5cnf-80var-2560cl.0	UNSAT	0.1
k_lin_p-16	UNSAT	0.1
CHAIN23v.24	SAT	0.1
ncf_4_16_2_u.2	SAT	0.1
s499_d2_s	SAT	0.1
5qbf-5cnf-20var-640cl.9	UNSAT	0.1
BLOCKS3iii.5	SAT	0.1
eijk.S832.S-d2	SAT	0.1
sortnetsort6.v.stepl.005	SAT	0.1
ncf_4_16_2_euad.2	SAT	0.11
ncf_4_16_2_edau.9	SAT	0.11
4qbf-5cnf-20var-640cl.9	UNSAT	0.11
qshifter_6	SAT	0.11
5qbf-5cnf-20var-640cl.5	UNSAT	0.11
BLOCKS3i.5.3	UNSAT	0.11
irst.dme6.B-d2	SAT	0.11
vis.emodel.E-f2	UNSAT	0.11
sortnetsort6.v.stepl.004	UNSAT	0.11
BLOCKS3i.4.4	UNSAT	0.12
3qbf-5cnf-40var-640cl.2	UNSAT	0.12
ncf_4_16_2_d.9	SAT	0.12
3qbf-5cnf-80var-2560cl.4	UNSAT	0.12
3qbf-5cnf-40var-640cl.4	UNSAT	0.12
vis.emodel.E-d2	SAT	0.12
3qbf-5cnf-40var-640cl.5	UNSAT	0.13
3qbf-5cnf-80var-2560cl.7	UNSAT	0.13
3qbf-5cnf-80var-2560cl.1	UNSAT	0.13
ncf_16_32_4_edau.5	UNSAT	0.13
sortnetsort6.v.stepl.006	SAT	0.13
sortnetsort6.v.stepl.007	SAT	0.13
sortnetsort7.v.stepl.003	UNSAT	0.13
BLOCKS3ii.5.2	UNSAT	0.14
k_d4_p-16	UNSAT	0.14
ncf_16_32_4_d.5	UNSAT	0.14
s27_d4_u	UNSAT	0.15
3qbf-5cnf-40var-640cl.8	UNSAT	0.15
3qbf-5cnf-40var-640cl.3	UNSAT	0.15
BLOCKS3i.5.4	SAT	0.16
k_t4p_p-12	UNSAT	0.16
mutex-128-s	SAT	0.16
ncf_4_16_4_u.5	SAT	0.17
BLOCKS3ii.5.3	SAT	0.17
3qbf-5cnf-80var-2560cl.8	UNSAT	0.17
ncf_4_8_4_u.2	UNSAT	0.17
k_lin_p-20	UNSAT	0.18
5qbf-5cnf-40var-1280cl.7	UNSAT	0.2
3qbf-5cnf-80var-2560cl.5	UNSAT	0.2
ncf_4_16_4_euad.5	SAT	0.2
ncf_4_8_4_euad.2	UNSAT	0.2
Adder2-4-s	SAT	0.2
3qbf-5cnf-40var-640cl.1	UNSAT	0.2
nusmv.syncarb5^2.B-f2	SAT	0.2
k_d4_p-20	UNSAT	0.21
5qbf-5cnf-20var-640cl.8	UNSAT	0.21
k_lin_p-21	UNSAT	0.21
4qbf-5cnf-20var-640cl.7	UNSAT	0.22
ncf_4_8_2_euad.3	UNSAT	0.22
k_t4p_p-16	UNSAT	0.22
ncf_4_8_4_euad.5	SAT	0.22
s298_d2_s	SAT	0.22
nusmv.dme2-16.B-d2	SAT	0.22
ncf_16_32_2_edau.9	UNSAT	0.23
ncf_4_8_2_u.3	UNSAT	0.23
ncf_16_32_4_edau.10	UNSAT	0.23
sortnetsort7.v.stepl.004	UNSAT	0.23
ncf_4_8_4_u.5	SAT	0.24
3qbf-5cnf-80var-1280cl.8	UNSAT	0.24
ncf_16_32_4_d.10	UNSAT	0.24
ncf_16_32_2_u.9	UNSAT	0.25
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.25
x15.6	UNSAT	0.25
sortnetsort7.v.stepl.006	SAT	0.25
ncf_4_16_2_edau.5	UNSAT	0.26
k_d4_p-21	UNSAT	0.26
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.29
ncf_4_16_2_euad.4	SAT	0.29
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.29
x15.4	UNSAT	0.29
sortnetsort8.v.stepl.003	UNSAT	0.29
counter_8	SAT	0.3
TOILET10.1.iv.20	SAT	0.3
s27_d5_u	UNSAT	0.31
sortnetsort7.v.stepl.007	SAT	0.31
ncf_4_16_2_d.5	UNSAT	0.32
ncf_4_16_2_edau.1	UNSAT	0.34
ncf_16_32_2_d.8	UNSAT	0.34
ncf_16_32_2_euad.9	UNSAT	0.35
ncf_4_16_4_edau.9	SAT	0.36
ncf_16_32_2_d.9	UNSAT	0.36
sortnetsort7.v.stepl.008	SAT	0.36
sortnetsort7.v.stepl.009	SAT	0.37
k_path_p-8	UNSAT	0.38
ncf_4_16_4_d.9	SAT	0.39
ncf_4_16_2_u.4	SAT	0.39
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.39
k_branch_p-8	UNSAT	0.4
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.41
vis.4-arbit^1.E-d2	SAT	0.41
ncf_4_8_4_euad.6	SAT	0.42
k_ph_n-8	SAT	0.42
eijk.S344.S-d2	SAT	0.42
ncf_4_8_4_u.6	SAT	0.43
ncf_4_16_4_euad.1	SAT	0.43
ncf_4_8_4_euad.7	UNSAT	0.43
texas.PI_main^14.E-f2	UNSAT	0.43
ncf_4_8_8_u.1	SAT	0.44
ncf_4_16_2_d.1	UNSAT	0.44
ncf_4_16_4_u.1	SAT	0.44
ncf_4_8_4_u.7	UNSAT	0.44
ncf_4_8_8_euad.1	SAT	0.44
adder-4-sat	SAT	0.45
k_t4p_p-20	UNSAT	0.45
lut4_3_fAND	SAT	0.46
5qbf-5cnf-40var-1280cl.3	UNSAT	0.46
k_t4p_p-21	UNSAT	0.46
toilet_a_10_05.4	SAT	0.47
ncf_16_32_2_edau.8	UNSAT	0.47
5qbf-5cnf-40var-1280cl.0	UNSAT	0.5
4qbf-5cnf-20var-640cl.4	UNSAT	0.5
3qbf-5cnf-80var-1280cl.3	UNSAT	0.5
3qbf-5cnf-80var-1280cl.1	UNSAT	0.51
5qbf-5cnf-40var-1280cl.6	UNSAT	0.51
eijk.S349.S-d2	SAT	0.51
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	0.52
ncf_4_8_8_u.3	SAT	0.52
lognBWLARGEA1	UNSAT	0.53
ncf_4_8_4_euad.3	UNSAT	0.53
ncf_4_16_4_u.9	SAT	0.55
ncf_4_16_4_euad.9	SAT	0.56
5qbf-5cnf-40var-1280cl.1	UNSAT	0.57
ncf_4_8_4_u.3	UNSAT	0.58
ncf_4_8_8_euad.3	SAT	0.6
lut4_AND_f1	SAT	0.61
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.62
adder-4-unsat	FAIL	0.62
ncf_4_8_4_u.8	UNSAT	0.63
k_grz_p-4	UNSAT	0.63
sortnetsort8.v.stepl.004	UNSAT	0.63
C6288.blif_0.10_1.00_0_1_out_exact	SAT	0.64
k_poly_p-12	UNSAT	0.64
qshifter_7	SAT	0.65
lut4_2_f1	SAT	0.66
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	0.66
counter_r_8	SAT	0.67
ncf_4_8_4_euad.8	UNSAT	0.68
4qbf-5cnf-20var-640cl.1	UNSAT	0.69
5qbf-5cnf-20var-320cl.8	UNSAT	0.69
ncf_4_16_4_euad.8	SAT	0.7
4qbf-5cnf-20var-640cl.6	UNSAT	0.74
1qbf-5cnf-160var-2560cl.5	SAT	0.74
3qbf-5cnf-80var-1280cl.4	UNSAT	0.76
ncf_4_16_4_u.8	SAT	0.77
ncf_4_8_4_euad.4	UNSAT	0.8
5qbf-5cnf-40var-1280cl.2	UNSAT	0.8
irst.dme4.B-d2	SAT	0.8
3qbf-5cnf-80var-1280cl.7	UNSAT	0.81
x15.3	SAT	0.83
sortnetsort8.v.stepl.008	SAT	0.83
ncf_16_32_2_u.7	UNSAT	0.84
connect_8x7_4_D	UNSAT	0.84
connect_8x7_4_W	UNSAT	0.84
k_lin_n-4	SAT	0.85
5qbf-5cnf-20var-320cl.5	UNSAT	0.85
connect_8x7_3_D	UNSAT	0.86
connect_8x7_3_W	UNSAT	0.91
x15.7	UNSAT	0.94
4qbf-5cnf-20var-640cl.3	UNSAT	0.95
sortnetsort8.v.stepl.007	SAT	0.95
BLOCKS4iii.6	UNSAT	0.96
ncf_4_8_4_u.4	UNSAT	0.97
s510_d2_s	SAT	0.99
ncf_16_32_4_d.7	UNSAT	1
x15.1	SAT	1.01
1qbf-5cnf-160var-2560cl.0	SAT	1.02
ncf_16_32_8_edau.8	UNSAT	1.03
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	1.04
x15.8	SAT	1.04
x15.9	UNSAT	1.04
ncf_8_16_4_u.6	UNSAT	1.06
ncf_16_32_8_d.8	UNSAT	1.07
x15.0	UNSAT	1.07
ncf_16_32_4_edau.7	UNSAT	1.11
nusmv.reactor^5.C-f2	UNSAT	1.13
x15.5	UNSAT	1.15
x15.2	UNSAT	1.18
sortnetsort8.v.stepl.009	SAT	1.2
1qbf-5cnf-160var-2560cl.7	SAT	1.21
ncf_16_32_2_euad.7	UNSAT	1.23
5qbf-5cnf-40var-1280cl.5	UNSAT	1.23
5qbf-5cnf-20var-640cl.3	UNSAT	1.24
lut4_AND_fXOR	UNSAT	1.31
4qbf-5cnf-20var-640cl.0	UNSAT	1.31
ncf_8_16_4_euad.6	UNSAT	1.36
connect_9x8_5_W	UNSAT	1.37
sortnetsort9.v.stepl.004	UNSAT	1.38
connect_9x8_5_D	UNSAT	1.39
connect_9x8_4_W	UNSAT	1.41
connect_9x8_3_W	UNSAT	1.45
connect_9x8_3_D	UNSAT	1.46
connect_9x8_4_D	UNSAT	1.48
BLOCKS4iii.7	SAT	1.5
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	1.53
BLOCKS4ii.6.3	UNSAT	1.55
ncf_4_8_2_u.9	SAT	1.56
TOILET16.1.iv.32	SAT	1.59
ncf_4_16_2_d.7	SAT	1.61
BLOCKS4i.6.4	UNSAT	1.68
lognBWLARGEB1	UNSAT	1.75
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	1.78
BLOCKS4ii.7.2	UNSAT	1.82
3qbf-5cnf-80var-1280cl.5	UNSAT	2.06
ncf_4_8_8_u.5	UNSAT	2.11
1qbf-5cnf-160var-2560cl.8	SAT	2.11
ncf_4_8_8_euad.5	UNSAT	2.29
ncf_4_16_2_u.5	UNSAT	2.33
k_poly_p-20	UNSAT	2.33
ev-pr-8x8-11-7-0-1-2-lg	UNSAT	2.37
sortnetsort9.v.stepl.009	SAT	2.42
ncf_4_16_2_euad.5	UNSAT	2.44
3qbf-5cnf-160var-2560cl.7	UNSAT	2.51
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	2.51
ncf_4_32_2_edau.1	UNSAT	2.52
k_poly_p-21	UNSAT	2.54
adder-8-unsat	FAIL	2.57
4qbf-5cnf-20var-640cl.8	UNSAT	2.68
ncf_4_16_2_edau.7	SAT	2.81
k_ph_p-8	UNSAT	2.91
s386_d2_s	SAT	3
5qbf-5cnf-20var-320cl.9	UNSAT	3.04
sortnetsort9.v.stepl.008	SAT	3.07
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	3.22
k_branch_p-12	UNSAT	3.24
sortnetsort10.v.stepl.004	UNSAT	3.28
sortnetsort9.v.stepl.011	SAT	3.37
counter_re_8	SAT	3.45
cmu.gigamax.B-f2	SAT	3.66
sortnetsort9.v.stepl.012	SAT	3.68
ncf_4_16_2_u.9	SAT	3.69
sortnetsort8.v.stepl.006	SAT	3.72
sortnetsort7.v.stepl.005	UNSAT	3.8
3qbf-5cnf-160var-2560cl.1	UNSAT	3.85
3qbf-5cnf-20var-160cl.1	FAIL	3.89
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	3.89
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	3.93
texas.parsesys^3.E-f2	SAT	4.15
lut4_2_f2	UNSAT	4.22
counter_e_8	SAT	4.26
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	4.45
5qbf-5cnf-40var-1280cl.4	UNSAT	4.83
ncf_4_16_2_euad.9	SAT	4.93
qshifter_8	SAT	4.98
T-edau-9	UNSAT	5.01
3qbf-5cnf-20var-160cl.5	FAIL	5.17
T-edau-5	UNSAT	5.65
T-edau-7	UNSAT	5.86
k_t4p_n-20	FAIL	6.1
ncf_4_16_2_euad.7	SAT	6.14
ncf_4_8_4_euad.10	SAT	6.2
k_grz_p-8	UNSAT	6.26
5qbf-5cnf-20var-320cl.0	UNSAT	6.32
eijk.S1423.S-d2	SAT	6.37
3qbf-5cnf-20var-160cl.8	FAIL	6.39
T-edau-1	UNSAT	6.71
sortnetsort9.v.stepl.010	SAT	6.92
T-edau-6	UNSAT	6.94
k_t4p_n-21	FAIL	6.98
T-edau-8	UNSAT	7.15
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	7.21
3qbf-5cnf-160var-2560cl.6	UNSAT	7.48
T-edau-0	UNSAT	7.75
sortnetsort8.v.stepl.005	UNSAT	7.81
3qbf-5cnf-80var-1280cl.9	UNSAT	7.99
4qbf-5cnf-20var-320cl.6	UNSAT	8.08
3qbf-5cnf-80var-2560cl.2	UNSAT	8.08
5qbf-5cnf-40var-640cl.1	UNSAT	8.16
5qbf-5cnf-40var-1280cl.9	UNSAT	8.16
eijk.S1238.S-d2	SAT	8.18
3qbf-5cnf-80var-2560cl.3	UNSAT	8.22
2qbf-5cnf-80var-640cl.6	UNSAT	8.35
5qbf-5cnf-80var-2560cl.7	UNSAT	8.41
6qbf-5cnf-80var-1280cl.2	UNSAT	8.42
3qbf-5cnf-160var-2560cl.8	UNSAT	8.44
5qbf-5cnf-20var-320cl.2	UNSAT	8.48
5qbf-5cnf-40var-640cl.3	UNSAT	8.49
4qbf-5cnf-40var-640cl.7	UNSAT	8.54
4qbf-5cnf-40var-640cl.3	UNSAT	8.55
4qbf-5cnf-80var-2560cl.7	UNSAT	8.55
6qbf-5cnf-20var-320cl.8	UNSAT	8.6
6qbf-5cnf-80var-1280cl.5	UNSAT	8.62
2qbf-5cnf-80var-640cl.3	UNSAT	8.62
2qbf-5cnf-160var-5120cl.2	UNSAT	8.65
3qbf-5cnf-160var-2560cl.2	UNSAT	8.65
T-edau-2	UNSAT	8.69
6qbf-5cnf-80var-2560cl.5	UNSAT	8.7
4qbf-5cnf-160var-2560cl.7	UNSAT	8.8
6qbf-5cnf-80var-2560cl.7	UNSAT	8.85
5qbf-5cnf-20var-320cl.4	UNSAT	8.88
6qbf-5cnf-20var-320cl.7	UNSAT	8.89
6qbf-5cnf-20var-640cl.6	UNSAT	8.94
T-edau-4	UNSAT	8.95
5qbf-5cnf-160var-5120cl.8	UNSAT	8.96
4qbf-5cnf-40var-640cl.0	UNSAT	8.97
4qbf-5cnf-160var-2560cl.3	UNSAT	9.06
3qbf-5cnf-160var-2560cl.9	UNSAT	9.07
4qbf-5cnf-40var-640cl.4	UNSAT	9.09
4qbf-5cnf-160var-2560cl.0	UNSAT	9.11
6qbf-5cnf-20var-640cl.1	UNSAT	9.11
5qbf-5cnf-80var-2560cl.3	UNSAT	9.13
2qbf-5cnf-40var-640cl.1	UNSAT	9.16
4qbf-5cnf-160var-5120cl.1	UNSAT	9.17
4qbf-5cnf-160var-2560cl.4	UNSAT	9.18
6qbf-5cnf-80var-2560cl.9	UNSAT	9.2
6qbf-5cnf-80var-2560cl.8	UNSAT	9.22
5qbf-5cnf-40var-640cl.8	UNSAT	9.23
5qbf-5cnf-160var-2560cl.8	UNSAT	9.28
5qbf-5cnf-160var-5120cl.4	UNSAT	9.3
5qbf-5cnf-80var-2560cl.9	UNSAT	9.33
6qbf-5cnf-20var-640cl.9	UNSAT	9.35
2qbf-5cnf-40var-320cl.8	UNSAT	9.36
4qbf-5cnf-20var-320cl.4	UNSAT	9.4
ncf_4_8_4_u.10	SAT	9.4
4qbf-5cnf-160var-5120cl.2	UNSAT	9.41
5qbf-5cnf-160var-2560cl.9	UNSAT	9.42
5qbf-5cnf-80var-2560cl.6	UNSAT	9.48
5qbf-5cnf-160var-5120cl.9	UNSAT	9.48
5qbf-5cnf-160var-2560cl.6	UNSAT	9.49
2qbf-5cnf-80var-1280cl.7	UNSAT	9.5
6qbf-5cnf-20var-640cl.4	UNSAT	9.51
4qbf-5cnf-80var-2560cl.3	UNSAT	9.53
2qbf-5cnf-40var-640cl.8	UNSAT	9.56
5qbf-5cnf-160var-2560cl.0	UNSAT	9.57
6qbf-5cnf-80var-1280cl.1	UNSAT	9.58
4qbf-5cnf-80var-2560cl.5	UNSAT	9.58
6qbf-5cnf-80var-1280cl.8	UNSAT	9.58
4qbf-5cnf-40var-1280cl.7	UNSAT	9.61
4qbf-5cnf-80var-1280cl.2	UNSAT	9.63
4qbf-5cnf-80var-1280cl.7	UNSAT	9.64
4qbf-5cnf-80var-1280cl.4	UNSAT	9.65
5qbf-5cnf-160var-2560cl.7	UNSAT	9.69
5qbf-5cnf-160var-2560cl.5	UNSAT	9.7
5qbf-5cnf-160var-5120cl.5	UNSAT	9.71
T-adeu-5	UNSAT	9.75
5qbf-5cnf-80var-1280cl.7	UNSAT	9.76
2qbf-5cnf-160var-5120cl.7	UNSAT	9.77
2qbf-5cnf-160var-5120cl.9	UNSAT	9.78
4qbf-5cnf-40var-1280cl.8	UNSAT	9.78
2qbf-5cnf-40var-320cl.5	UNSAT	9.78
3qbf-5cnf-160var-2560cl.3	UNSAT	9.82
5qbf-5cnf-160var-5120cl.1	UNSAT	9.89
5qbf-5cnf-160var-5120cl.3	UNSAT	9.93
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	9.98
2qbf-5cnf-40var-640cl.6	UNSAT	9.99
5qbf-5cnf-80var-2560cl.2	UNSAT	10.02
2qbf-5cnf-160var-2560cl.2	UNSAT	10.03
2qbf-5cnf-80var-1280cl.4	UNSAT	10.07
6qbf-5cnf-80var-2560cl.2	UNSAT	10.08
4qbf-5cnf-80var-2560cl.8	UNSAT	10.09
4qbf-5cnf-20var-320cl.7	UNSAT	10.17
2qbf-5cnf-160var-5120cl.4	UNSAT	10.18
6qbf-5cnf-80var-2560cl.0	UNSAT	10.23
2qbf-5cnf-80var-320cl.0	UNSAT	10.25
sortnetsort10.v.stepl.009	SAT	10.26
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	10.3
6qbf-5cnf-40var-640cl.9	UNSAT	10.32
5qbf-5cnf-80var-2560cl.5	UNSAT	10.34
6qbf-5cnf-80var-1280cl.4	UNSAT	10.38
6qbf-5cnf-80var-640cl.8	UNSAT	10.41
6qbf-5cnf-20var-640cl.2	UNSAT	10.42
4qbf-5cnf-40var-640cl.2	UNSAT	10.45
3qbf-5cnf-160var-2560cl.4	UNSAT	10.47
5qbf-5cnf-80var-2560cl.0	UNSAT	10.48
3qbf-5cnf-20var-160cl.2	FAIL	10.53
4qbf-5cnf-160var-5120cl.4	UNSAT	10.54
6qbf-5cnf-40var-1280cl.2	UNSAT	10.56
3qbf-5cnf-20var-160cl.0	FAIL	10.57
6qbf-5cnf-160var-2560cl.9	UNSAT	10.62
6qbf-5cnf-80var-1280cl.7	UNSAT	10.62
2qbf-5cnf-40var-320cl.1	UNSAT	10.69
5qbf-5cnf-40var-640cl.5	UNSAT	10.72
6qbf-5cnf-40var-1280cl.6	UNSAT	10.74
5qbf-5cnf-80var-1280cl.8	UNSAT	10.74
ev-pr-4x4-13-3-0-0-1-lg	FAIL	10.81
5qbf-5cnf-80var-1280cl.4	UNSAT	10.84
6qbf-5cnf-160var-2560cl.5	UNSAT	10.84
4qbf-5cnf-40var-1280cl.6	UNSAT	10.86
5qbf-5cnf-160var-2560cl.3	UNSAT	10.86
5qbf-5cnf-40var-640cl.4	UNSAT	10.86
6qbf-5cnf-20var-640cl.3	UNSAT	10.91
4qbf-5cnf-160var-2560cl.1	UNSAT	10.94
4qbf-5cnf-80var-2560cl.6	UNSAT	10.96
6qbf-5cnf-80var-2560cl.3	UNSAT	10.96
2qbf-5cnf-40var-640cl.0	UNSAT	10.98
5qbf-5cnf-80var-2560cl.8	UNSAT	10.99
6qbf-5cnf-160var-5120cl.6	UNSAT	11.08
6qbf-5cnf-80var-2560cl.1	UNSAT	11.15
2qbf-5cnf-160var-2560cl.1	UNSAT	11.17
6qbf-5cnf-80var-1280cl.9	UNSAT	11.17
4qbf-5cnf-40var-1280cl.9	UNSAT	11.19
6qbf-5cnf-160var-2560cl.0	UNSAT	11.24
4qbf-5cnf-160var-5120cl.6	UNSAT	11.24
5qbf-5cnf-160var-2560cl.2	UNSAT	11.25
5qbf-5cnf-80var-1280cl.3	UNSAT	11.32
4qbf-5cnf-40var-1280cl.2	UNSAT	11.36
6qbf-5cnf-160var-5120cl.0	UNSAT	11.38
6qbf-5cnf-40var-1280cl.1	UNSAT	11.41
T-adeu-8	UNSAT	11.44
2qbf-5cnf-40var-640cl.5	UNSAT	11.47
6qbf-5cnf-20var-320cl.1	UNSAT	11.47
6qbf-5cnf-20var-640cl.5	UNSAT	11.51
2qbf-5cnf-80var-640cl.1	UNSAT	11.54
3qbf-5cnf-160var-2560cl.0	UNSAT	11.57
4qbf-5cnf-160var-2560cl.2	UNSAT	11.57
6qbf-5cnf-160var-2560cl.7	UNSAT	11.59
2qbf-5cnf-40var-640cl.4	UNSAT	11.61
6qbf-5cnf-40var-1280cl.5	UNSAT	11.64
toilet_a_10_01.16	UNSAT	11.64
3qbf-5cnf-80var-1280cl.6	UNSAT	11.69
3qbf-5cnf-20var-160cl.9	FAIL	11.77
2qbf-5cnf-160var-2560cl.8	UNSAT	11.79
5qbf-5cnf-160var-5120cl.2	UNSAT	11.79
5qbf-5cnf-40var-640cl.0	UNSAT	11.86
5qbf-5cnf-80var-2560cl.1	UNSAT	11.92
5qbf-5cnf-160var-5120cl.7	UNSAT	11.93
4qbf-5cnf-160var-5120cl.9	UNSAT	11.94
2qbf-5cnf-80var-1280cl.5	UNSAT	11.96
6qbf-5cnf-80var-2560cl.4	UNSAT	11.96
4qbf-5cnf-20var-320cl.9	UNSAT	11.98
4qbf-5cnf-20var-320cl.2	UNSAT	12.04
2qbf-5cnf-80var-640cl.5	UNSAT	12.05
4qbf-5cnf-80var-2560cl.9	UNSAT	12.05
sortnetsort10.v.stepl.012	SAT	12.09
6qbf-5cnf-160var-2560cl.3	UNSAT	12.1
6qbf-5cnf-40var-640cl.4	UNSAT	12.12
2qbf-5cnf-80var-640cl.7	UNSAT	12.12
2qbf-5cnf-40var-320cl.4	UNSAT	12.16
ncf_8_16_4_u.8	UNSAT	12.18
ev-pr-4x4-11-3-0-0-1-lg	FAIL	12.2
2qbf-5cnf-160var-5120cl.3	UNSAT	12.36
4qbf-5cnf-40var-640cl.1	UNSAT	12.42
5qbf-5cnf-80var-1280cl.9	UNSAT	12.5
sortnetsort10.v.stepl.011	SAT	12.66
3qbf-5cnf-160var-2560cl.5	UNSAT	12.69
5qbf-5cnf-160var-5120cl.0	UNSAT	12.72
4qbf-5cnf-160var-5120cl.7	UNSAT	12.79
5qbf-5cnf-20var-320cl.1	UNSAT	12.84
6qbf-5cnf-160var-2560cl.8	UNSAT	12.88
2qbf-5cnf-40var-640cl.2	UNSAT	12.9
6qbf-5cnf-40var-640cl.6	UNSAT	12.96
4qbf-5cnf-80var-1280cl.8	UNSAT	12.99
2qbf-5cnf-160var-2560cl.5	UNSAT	13.07
2qbf-5cnf-40var-160cl.7	UNSAT	13.2
5qbf-5cnf-80var-2560cl.4	UNSAT	13.23
6qbf-5cnf-160var-2560cl.1	UNSAT	13.27
6qbf-5cnf-160var-5120cl.3	UNSAT	13.28
4qbf-5cnf-160var-5120cl.0	UNSAT	13.31
k_grz_n-16	FAIL	13.31
4qbf-5cnf-40var-1280cl.5	UNSAT	13.36
6qbf-5cnf-20var-320cl.9	UNSAT	13.38
5qbf-5cnf-80var-1280cl.2	UNSAT	13.41
6qbf-5cnf-40var-640cl.5	UNSAT	13.55
6qbf-5cnf-20var-320cl.0	UNSAT	13.56
4qbf-5cnf-20var-320cl.8	UNSAT	13.58
4qbf-5cnf-20var-320cl.0	UNSAT	13.59
4qbf-5cnf-40var-320cl.1	UNSAT	13.6
4qbf-5cnf-160var-5120cl.8	UNSAT	13.61
4qbf-5cnf-160var-5120cl.5	UNSAT	13.87
6qbf-5cnf-20var-320cl.4	UNSAT	13.97
2qbf-5cnf-160var-5120cl.0	UNSAT	14.07
2qbf-5cnf-160var-5120cl.5	UNSAT	14.19
T-edau-3	UNSAT	14.2
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	14.46
2qbf-5cnf-40var-320cl.3	UNSAT	14.48
2qbf-5cnf-40var-320cl.0	UNSAT	14.49
k_lin_n-8	SAT	14.5
5qbf-5cnf-20var-320cl.7	UNSAT	14.66
6qbf-5cnf-20var-320cl.6	UNSAT	14.7
3qbf-5cnf-20var-160cl.4	FAIL	14.79
4qbf-5cnf-160var-2560cl.5	UNSAT	14.8
6qbf-5cnf-160var-5120cl.1	UNSAT	14.83
5qbf-5cnf-40var-640cl.9	UNSAT	14.91
4qbf-5cnf-40var-320cl.3	UNSAT	14.97
2qbf-5cnf-80var-1280cl.0	UNSAT	15.02
4qbf-5cnf-80var-2560cl.1	UNSAT	15.07
k_ph_n-12	SAT	15.1
4qbf-5cnf-20var-320cl.1	UNSAT	15.12
5qbf-5cnf-40var-1280cl.8	UNSAT	15.13
2qbf-5cnf-40var-640cl.3	UNSAT	15.29
6qbf-5cnf-40var-1280cl.9	UNSAT	15.32
6qbf-5cnf-160var-5120cl.5	UNSAT	15.38
4qbf-5cnf-80var-2560cl.0	UNSAT	15.44
5qbf-5cnf-80var-1280cl.1	UNSAT	15.46
1qbf-5cnf-160var-2560cl.2	SAT	15.46
ncf_4_32_2_u.1	UNSAT	15.48
4qbf-5cnf-20var-320cl.3	UNSAT	15.55
4qbf-5cnf-160var-2560cl.6	UNSAT	15.57
6qbf-5cnf-160var-5120cl.2	UNSAT	15.59
2qbf-5cnf-40var-640cl.9	UNSAT	15.64
2qbf-5cnf-160var-5120cl.8	UNSAT	15.72
2qbf-5cnf-80var-1280cl.3	UNSAT	15.74
6qbf-5cnf-160var-5120cl.9	UNSAT	15.85
3qbf-5cnf-20var-160cl.6	FAIL	15.89
2qbf-5cnf-80var-1280cl.9	UNSAT	15.91
2qbf-5cnf-40var-320cl.7	UNSAT	15.93
T-adeu-1	UNSAT	16.13
2qbf-5cnf-160var-2560cl.6	UNSAT	16.21
5qbf-5cnf-20var-320cl.6	UNSAT	16.24
T-adeu-4	UNSAT	16.28
5qbf-5cnf-160var-2560cl.4	UNSAT	16.31
s298_d4_s	SAT	16.31
6qbf-5cnf-40var-640cl.2	UNSAT	16.5
4qbf-5cnf-160var-2560cl.9	UNSAT	16.63
2qbf-5cnf-160var-5120cl.6	UNSAT	16.67
6qbf-5cnf-20var-320cl.5	UNSAT	16.71
6qbf-5cnf-80var-2560cl.6	UNSAT	17.07
4qbf-5cnf-20var-160cl.8	UNSAT	17.07
6qbf-5cnf-160var-5120cl.8	UNSAT	17.18
2qbf-5cnf-40var-640cl.7	UNSAT	17.18
6qbf-5cnf-20var-640cl.8	UNSAT	17.2
6qbf-5cnf-40var-1280cl.4	UNSAT	17.4
4qbf-5cnf-20var-640cl.5	UNSAT	17.47
4qbf-5cnf-160var-2560cl.8	UNSAT	17.52
2qbf-5cnf-40var-320cl.6	UNSAT	17.7
6qbf-5cnf-80var-1280cl.3	UNSAT	17.75
3qbf-5cnf-80var-1280cl.0	UNSAT	17.96
4qbf-5cnf-160var-5120cl.3	UNSAT	18.01
sortnetsort10.v.stepl.010	SAT	18.01
5qbf-5cnf-160var-5120cl.6	UNSAT	18.03
T-adeu-7	UNSAT	18.13
T-adeu-6	UNSAT	18.21
x20.2	SAT	18.26
2qbf-5cnf-80var-1280cl.2	UNSAT	18.3
4qbf-5cnf-40var-640cl.8	UNSAT	18.41
ncf_8_16_4_euad.8	UNSAT	18.58
6qbf-5cnf-160var-5120cl.7	UNSAT	18.76
ncf_8_16_8_d.7	UNSAT	18.83
sortnetsort9.v.stepl.005	UNSAT	19.09
6qbf-5cnf-40var-640cl.8	UNSAT	19.37
6qbf-5cnf-80var-1280cl.6	UNSAT	19.6
4qbf-5cnf-20var-640cl.2	UNSAT	19.6
4qbf-5cnf-80var-1280cl.1	UNSAT	19.63
4qbf-5cnf-80var-1280cl.9	UNSAT	20.02
4qbf-5cnf-40var-1280cl.3	UNSAT	20.25
4qbf-5cnf-20var-320cl.5	UNSAT	20.42
6qbf-5cnf-160var-2560cl.6	UNSAT	20.56
4qbf-5cnf-40var-640cl.6	UNSAT	21.45
eijk.bs1512.S-d2	SAT	22.09
2qbf-5cnf-80var-640cl.0	UNSAT	22.48
eijk.S1196.S-d2	SAT	22.8
6qbf-5cnf-20var-640cl.0	UNSAT	22.89
4qbf-5cnf-80var-1280cl.6	UNSAT	22.92
4qbf-5cnf-80var-1280cl.3	UNSAT	23
ncf_4_8_2_euad.9	SAT	23.08
6qbf-5cnf-40var-1280cl.7	UNSAT	23.72
2qbf-5cnf-160var-2560cl.7	UNSAT	24.4
4qbf-5cnf-40var-1280cl.0	UNSAT	24.43
2qbf-5cnf-80var-1280cl.8	UNSAT	24.5
ev-pr-4x4-17-3-0-0-1-lg	FAIL	25
5qbf-5cnf-80var-1280cl.6	UNSAT	25.05
2qbf-5cnf-40var-320cl.2	UNSAT	25.11
4qbf-5cnf-40var-1280cl.1	UNSAT	25.13
x20.4	UNSAT	25.53
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	25.61
T-adeu-0	UNSAT	25.68
1qbf-5cnf-160var-2560cl.3	SAT	25.83
T-adeu-2	UNSAT	26.18
3qbf-5cnf-80var-1280cl.2	UNSAT	26.72
6qbf-5cnf-20var-320cl.3	UNSAT	26.77
s820_d2_s	SAT	26.79
2qbf-5cnf-160var-2560cl.3	UNSAT	26.99
6qbf-5cnf-80var-1280cl.0	UNSAT	27.27
ncf_8_16_8_edau.7	UNSAT	27.29
6qbf-5cnf-160var-2560cl.4	UNSAT	27.47
4qbf-5cnf-80var-1280cl.0	UNSAT	27.72
4qbf-5cnf-40var-320cl.9	UNSAT	28.41
k_path_p-12	UNSAT	28.56
5qbf-5cnf-160var-2560cl.1	UNSAT	29.14
x20.6	SAT	29.23
ncf_4_8_2_euad.2	SAT	29.51
texas.parsesys^1.E-f2	SAT	30.2
2qbf-5cnf-80var-1280cl.1	UNSAT	30.28
6qbf-5cnf-40var-640cl.3	UNSAT	30.8
2qbf-5cnf-40var-160cl.2	UNSAT	30.94
k_lin_n-12	SAT	31.32
x20.5	SAT	31.44
ncf_4_8_2_u.2	SAT	31.45
2qbf-5cnf-40var-320cl.9	UNSAT	31.73
6qbf-5cnf-40var-640cl.7	UNSAT	32.07
4qbf-5cnf-40var-640cl.9	UNSAT	32.28
2qbf-5cnf-160var-2560cl.4	UNSAT	33.09
6qbf-5cnf-40var-320cl.0	UNSAT	33.17
6qbf-5cnf-160var-2560cl.2	UNSAT	33.42
2qbf-5cnf-160var-5120cl.1	UNSAT	33.7
6qbf-5cnf-40var-1280cl.3	UNSAT	33.95
5qbf-5cnf-80var-1280cl.0	UNSAT	33.96
k_grz_p-12	UNSAT	34.17
ncf_4_16_2_euad.1	UNSAT	34.19
6qbf-5cnf-160var-5120cl.4	UNSAT	34.54
5qbf-5cnf-80var-1280cl.5	UNSAT	35.5
ev-pr-4x4-15-3-0-0-1-lg	FAIL	35.67
s713_d2_s	SAT	36.31
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	37.35
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	37.7
x20.0	SAT	37.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	38.11
T-adeu-9	UNSAT	38.52
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	38.65
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	39.21
Adder2-6-s	SAT	39.49
5qbf-5cnf-40var-640cl.2	UNSAT	40.07
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	40.08
4qbf-5cnf-40var-640cl.5	UNSAT	40.91
6qbf-5cnf-20var-640cl.7	UNSAT	41.67
texas.parsesys^2.E-f2	UNSAT	41.76
2qbf-5cnf-80var-640cl.4	UNSAT	42.1
szymanski-8-s	UNSAT	42.64
sortnetsort10.v.stepl.005	UNSAT	42.89
6qbf-5cnf-40var-640cl.0	UNSAT	43.62
2qbf-5cnf-160var-2560cl.0	UNSAT	44.01
2qbf-5cnf-80var-640cl.8	UNSAT	44.02
6qbf-5cnf-40var-1280cl.8	UNSAT	44.62
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	45.02
4qbf-5cnf-40var-1280cl.4	UNSAT	45.06
5qbf-5cnf-20var-320cl.3	UNSAT	45.29
k_lin_n-16	FAIL	46.18
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	48.07
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	48.63
6qbf-5cnf-40var-1280cl.0	UNSAT	48.82
sortnetsort10.v.stepl.008	SAT	49.41
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	50.26
1qbf-5cnf-160var-2560cl.4	SAT	50.33
T-adeu-3	UNSAT	50.64
4qbf-5cnf-80var-2560cl.4	UNSAT	51.71
sortnetsort9.v.stepl.007	SAT	51.88
5qbf-5cnf-40var-640cl.7	UNSAT	54.19
1qbf-5cnf-80var-2560cl.8	UNSAT	57.25
1qbf-5cnf-80var-2560cl.2	UNSAT	57.77
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	58.31
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	58.63
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	58.86
4qbf-5cnf-20var-160cl.0	UNSAT	59.26
1qbf-5cnf-80var-2560cl.4	UNSAT	59.4
k_grz_p-16	FAIL	59.61
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	61.67
1qbf-5cnf-80var-2560cl.6	UNSAT	61.92
k_ph_n-16	SAT	62.26
1qbf-5cnf-80var-2560cl.3	UNSAT	63.55
1qbf-5cnf-80var-2560cl.1	UNSAT	65.83
connect_6x5_5_R	FAIL	67.61
1qbf-5cnf-80var-2560cl.9	UNSAT	67.9
sortnetsort10.AE.stepl.004	FAIL	69.13
2qbf-5cnf-80var-1280cl.6	UNSAT	69.14
1qbf-5cnf-80var-2560cl.0	UNSAT	72.3
ncf_4_8_4_euad.1	FAIL	72.64
k_lin_n-20	FAIL	74.12
6qbf-5cnf-40var-640cl.1	UNSAT	74.38
k_lin_n-21	FAIL	77.88
ncf_4_16_2_u.1	UNSAT	78.42
connect_5x4_4_R	UNSAT	78.59
2qbf-5cnf-80var-320cl.9	UNSAT	78.88
sortnetsort8.AE.stepl.009	FAIL	80.7
x20.1	UNSAT	80.89
adder-6-sat	SAT	83.1
ncf_4_16_4_euad.10	UNSAT	84.67
sortnetsort10.AE.stepl.005	FAIL	84.76
1qbf-5cnf-160var-2560cl.1	SAT	85.46
x20.9	SAT	85.46
x20.3	UNSAT	85.87
vis.eisenberg.E-f2	SAT	86.13
1qbf-5cnf-80var-2560cl.7	UNSAT	86.69
ncf_4_8_8_euad.8	FAIL	87.24
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	88.35
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	88.38
ncf_4_8_4_u.1	FAIL	89.34
x20.7	SAT	90
sortnetsort7.AE.stepl.007	FAIL	91.06
ncf_4_16_4_d.10	UNSAT	92.67
1qbf-5cnf-80var-2560cl.5	UNSAT	94.71
x20.8	SAT	95.15
S-adeu-5	UNSAT	95.61
4qbf-5cnf-20var-160cl.7	UNSAT	95.7
ncf_4_16_4_edau.10	UNSAT	96.15
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	96.62
4qbf-5cnf-20var-160cl.3	UNSAT	97.44
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	99.68
ncf_4_16_2_u.8	FAIL	100.04
ncf_4_32_2_edau.2	FAIL	101.95
ncf_4_16_4_u.7	FAIL	101.97
4qbf-5cnf-80var-2560cl.2	UNSAT	104.84
ncf_4_8_8_d.2	UNSAT	105.84
sortnetsort8.AE.stepl.006	FAIL	107.17
4qbf-5cnf-20var-160cl.4	UNSAT	107.59
ncf_4_8_8_u.4	FAIL	108.15
sortnetsort8.AE.stepl.008	FAIL	108.93
S-adeu-7	UNSAT	112.51
ncf_16_32_2_edau.5	UNSAT	114.16
ncf_4_16_2_euad.8	FAIL	116.21
ncf_4_8_8_u.8	FAIL	117.11
ncf_4_16_4_u.10	UNSAT	117.51
sortnetsort6.AE.stepl.007	FAIL	118.82
sortnetsort7.AE.stepl.009	FAIL	120.85
k_branch_n-8	FAIL	120.92
sortnetsort9.AE.stepl.009	FAIL	122.49
sortnetsort9.AE.stepl.010	FAIL	123.3
ncf_4_16_4_euad.7	FAIL	123.6
4qbf-5cnf-40var-320cl.6	UNSAT	124.82
ncf_4_32_2_u.2	FAIL	125.77
ncf_8_16_4_edau.3	FAIL	126.61
ncf_4_16_2_euad.10	FAIL	127.67
sortnetsort10.AE.stepl.006	FAIL	128.52
sortnetsort8.AE.stepl.007	FAIL	128.61
2qbf-5cnf-160var-2560cl.9	UNSAT	129
ncf_4_16_4_d.7	FAIL	129.08
ncf_4_16_4_edau.7	FAIL	129.92
sortnetsort7.AE.stepl.008	FAIL	131.53
ncf_8_16_4_d.3	FAIL	131.71
ncf_4_16_2_u.10	FAIL	132.3
connect_5x4_3_R	FAIL	132.38
sortnetsort9.AE.stepl.011	FAIL	134.64
sortnetsort9.AE.stepl.007	FAIL	136.94
ncf_4_8_8_euad.4	FAIL	139.62
k_d4_n-21	FAIL	139.89
ncf_4_8_8_edau.2	UNSAT	140.08
sortnetsort9.AE.stepl.008	FAIL	140.42
2qbf-5cnf-80var-640cl.2	UNSAT	143.33
sortnetsort9.AE.stepl.012	FAIL	145.04
2qbf-5cnf-80var-640cl.9	UNSAT	146.17
2qbf-5cnf-80var-320cl.6	UNSAT	147.35
ncf_16_32_2_d.5	UNSAT	147.48
k_d4_n-20	FAIL	148.81
sortnetsort8.AE.stepl.004	FAIL	151.13
k_branch_n-4	SAT	151.72
4qbf-5cnf-40var-320cl.2	UNSAT	159.14
k_d4_n-16	FAIL	160.57
k_path_p-16	UNSAT	164.82
k_d4_n-4	SAT	167.5
ncf_4_8_8_d.4	FAIL	167.55
S-adeu-8	UNSAT	170.87
k_d4_n-12	FAIL	172.37
4qbf-5cnf-20var-160cl.1	UNSAT	174.72
Adder2-8-c	FAIL	175.24
ncf_4_16_4_euad.4	FAIL	175.52
k_t4p_n-16	FAIL	176.68
S-adeu-4	UNSAT	177.71
sortnetsort10.AE.stepl.011	FAIL	179.15
ncf_4_8_8_edau.4	FAIL	184.07
4qbf-5cnf-80var-1280cl.5	UNSAT	185.32
sortnetsort10.AE.stepl.008	FAIL	191.48
6qbf-5cnf-80var-640cl.5	FAIL	193.82
ncf_4_16_4_u.4	FAIL	197.66
2qbf-5cnf-80var-320cl.4	UNSAT	202.35
ncf_4_16_4_euad.6	UNSAT	205.43
sortnetsort6.AE.stepl.005	FAIL	211.03
sortnetsort10.AE.stepl.007	FAIL	211.12
sortnetsort7.AE.stepl.006	FAIL	212.92
sortnetsort6.AE.stepl.004	FAIL	215.7
k_grz_n-21	FAIL	220.11
szymanski-14-s	FAIL	221.38
ncf_4_16_4_edau.4	FAIL	233.23
szymanski-10-s	UNSAT	236.7
sortnetsort10.AE.stepl.010	FAIL	237.06
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	240.84
sortnetsort6.AE.stepl.006	FAIL	242.04
k_poly_n-21	FAIL	245.25
sortnetsort9.AE.stepl.005	FAIL	248.7
C880.blif_0.10_1.00_0_1_inp_exact	SAT	251.16
C880.blif_0.10_1.00_0_1_out_exact	FAIL	251.25
4qbf-5cnf-40var-320cl.4	UNSAT	253.43
szymanski-16-s	FAIL	255.51
szymanski-20-s	FAIL	256.67
s499_d4_s	SAT	257.39
k_poly_n-20	FAIL	260.37
2qbf-5cnf-80var-320cl.5	UNSAT	269.09
sortnetsort10.AE.stepl.009	FAIL	275.28
sortnetsort6.AE.stepl.003	FAIL	282.39
k_poly_n-16	FAIL	284.84
szymanski-24-s	FAIL	286.41
ncf_4_16_8_euad.7	FAIL	286.79
szymanski-18-s	FAIL	288.6
sortnetsort9.AE.stepl.006	FAIL	289.68
3qbf-5cnf-20var-160cl.7	SAT	293.85
sortnetsort8.AE.stepl.005	FAIL	294.61
szymanski-22-s	FAIL	307.34
k_poly_n-12	FAIL	309.64
k_d4_n-8	FAIL	310.24
k_poly_n-8	FAIL	316.87
szymanski-12-s	FAIL	317.3
sortnetsort10.AE.stepl.012	FAIL	333.97
3qbf-5cnf-20var-160cl.3	FAIL	335.32
ncf_4_16_8_u.7	FAIL	342.23
sortnetsort7.AE.stepl.005	FAIL	349.14
sortnetsort8.AE.stepl.003	FAIL	354.07
ncf_4_16_4_d.4	FAIL	371.63
ncf_4_16_2_u.7	SAT	374.23
irst.dme5.B-f2	FAIL	385.68
x25.8	FAIL	396.94
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	397.86
Adder2-4-c	FAIL	398.7
x25.9	FAIL	401.99
4qbf-5cnf-40var-320cl.0	UNSAT	416.96
k_grz_p-21	FAIL	427.19
k_grz_p-20	FAIL	428.32
6qbf-5cnf-80var-640cl.0	UNSAT	429.71
1qbf-5cnf-160var-2560cl.9	SAT	432.6
ncf_4_32_2_u.8	FAIL	450.38
ncf_4_16_8_d.8	UNSAT	455.03
3qbf-5cnf-40var-320cl.4	FAIL	473.94
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	476.57
ncf_8_16_4_u.10	FAIL	484.35
ncf_4_16_4_edau.3	FAIL	485.89
k_path_n-16	FAIL	487.5
3qbf-5cnf-40var-320cl.2	FAIL	492.51
ncf_4_16_2_edau.8	FAIL	495.16
3qbf-5cnf-40var-320cl.7	FAIL	504.15
ncf_4_32_2_edau.8	FAIL	515.43
S-edau-7	FAIL	515.55
ncf_8_16_4_edau.7	FAIL	517.92
ncf_4_16_2_d.3	FAIL	522.78
3qbf-5cnf-40var-320cl.0	FAIL	523.22
k_dum_n-8	SAT	525.41
Adder2-8-s	SAT	532.62
ncf_4_16_2_d.8	FAIL	539.2
S-edau-9	FAIL	545.71
sortnetsort9.AE.stepl.004	FAIL	546.97
3qbf-5cnf-40var-320cl.1	FAIL	554.72
ncf_4_16_2_d.10	FAIL	557.49
S-edau-1	FAIL	558.12
ncf_4_16_2_euad.3	FAIL	559.76
ncf_4_16_2_edau.3	FAIL	559.98
ncf_4_16_2_edau.10	FAIL	562.15
k_dum_n-12	FAIL	570.01
k_dum_n-20	FAIL	570.21
k_dum_n-16	FAIL	570.38
k_poly_n-4	FAIL	570.43
k_dum_n-21	FAIL	570.53
k_t4p_n-4	FAIL	570.97
k_t4p_n-8	FAIL	572.2
k_t4p_n-12	FAIL	572.78
sortnetsort5.AE.stepl.005	FAIL	573.58
3qbf-5cnf-40var-320cl.3	FAIL	573.61
k_grz_n-20	FAIL	573.91
k_dum_p-12	FAIL	574.61
k_dum_p-21	FAIL	574.71
k_path_n-12	FAIL	574.72
k_path_n-8	FAIL	574.82
k_dum_p-20	FAIL	575.47
k_dum_p-16	FAIL	575.95
test5_quant_squaring4	FAIL	582.85
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	583.8
adder-6-unsat	FAIL	584.51
ncf_4_16_2_u.3	FAIL	589.01
3qbf-5cnf-80var-320cl.9	FAIL	589.83
robots_1_5_2_3.4	FAIL	592.81
sortnetsort5.AE.stepl.004	FAIL	595.61
Adder2-6-c	FAIL	595.83
robots_1_5_2_99.4	FAIL	596.14
irst.dme6.B-f2	FAIL	596.19
robots_1_5_2_45.4	FAIL	596.84
S-edau-3	FAIL	597.02
robots_1_5_2_21.4	FAIL	597.07
robots_1_5_2_2.4	FAIL	598.27
robots_1_5_5_93.4	FAIL	598.32
robots_1_5_2_80.4	FAIL	598.38
robots_1_5_2_39.4	FAIL	598.47
robots_1_5_5_100.4	FAIL	598.6
robots_1_5_4_98.4	FAIL	598.62
robots_1_5_5_87.4	FAIL	598.66
robots_1_5_4_91.4	FAIL	598.67
robots_1_5_4_50.4	FAIL	598.7
robots_1_5_4_87.4	FAIL	598.73
robots_1_5_4_100.4	FAIL	598.73
robots_1_5_4_51.4	FAIL	598.74
robots_1_5_5_34.4	FAIL	598.79
robots_1_5_5_12.4	FAIL	598.81
robots_1_5_3_20.4	FAIL	598.84
robots_1_5_4_31.4	FAIL	598.85
robots_1_5_3_78.4	FAIL	598.87
robots_1_5_5_45.4	FAIL	598.91
robots_1_5_5_30.4	FAIL	598.92
robots_1_5_4_46.4	FAIL	598.97
robots_1_5_4_2.4	FAIL	598.97
robots_1_5_2_100.4	FAIL	598.99
robots_1_5_5_8.4	FAIL	598.99
robots_1_5_5_26.4	FAIL	599.07
robots_1_5_5_66.4	FAIL	599.15
ncf_4_16_4_euad.2	FAIL	599.15
robots_1_5_4_30.4	FAIL	599.18
robots_1_5_3_44.4	FAIL	599.22
robots_1_5_3_66.4	FAIL	599.26
robots_1_5_3_2.4	FAIL	599.3
robots_1_5_3_52.4	FAIL	599.37
robots_1_5_3_16.4	FAIL	599.38
robots_1_5_3_100.4	FAIL	599.39
robots_1_5_2_85.4	FAIL	599.46
robots_1_5_3_57.4	FAIL	599.5
robots_1_5_3_24.4	FAIL	599.51
robots_1_5_2_82.4	FAIL	599.56
sortnetsort5.AE.stepl.006	FAIL	599.89
ncf_4_16_4_d.3	FAIL	599.95
x75.0	FAIL	600.93
x215.2	FAIL	600.94
ncf_16_32_8_d.9	FAIL	600.96
S-edau-2	FAIL	656.44
ncf_4_8_8_d.7	FAIL	660.42
ncf_8_16_4_euad.10	FAIL	662.96
sortnetsort7.AE.stepl.003	FAIL	664.7
S-edau-0	FAIL	682.91
S-edau-8	FAIL	690.14
eijk.S208o.S-f2	SAT	694.29
6qbf-5cnf-20var-320cl.2	UNSAT	702.08
ncf_8_16_8_d.9	FAIL	711.77
ncf_4_8_8_edau.10	FAIL	713.29
ncf_8_16_8_euad.1	SAT	723.79
ncf_8_16_8_d.1	SAT	724.81
ncf_4_16_4_edau.6	UNSAT	730.25
S-edau-4	FAIL	736.35
x25.5	FAIL	762.46
x25.1	FAIL	769.19
eijk.S349.S-f2	FAIL	788.02
S-edau-5	FAIL	845.89
x25.3	FAIL	847.85
x25.2	FAIL	853.14
x25.0	FAIL	853.53
ncf_4_8_8_edau.7	FAIL	877.31
S-edau-6	FAIL	878.8
ncf_4_16_4_d.2	FAIL	890.61
eijk.bs1512.S-f2	FAIL	890.76
x25.4	FAIL	896.88
ncf_4_16_4_edau.2	FAIL	938.49
ncf_8_16_8_euad.7	UNSAT	958.23
ncf_4_32_2_edau.4	UNSAT	979.71
sortnetsort5.AE.stepl.007	FAIL	1000.41
test5_quant_squaring5	FAIL	1020.99
ncf_4_8_8_d.10	FAIL	1027.82
x25.7	FAIL	1031.25
ncf_4_8_8_u.10	FAIL	1057.97
1qbf-5cnf-160var-2560cl.6	SAT	1092.69
ncf_4_32_2_u.3	UNSAT	1092.82
ncf_8_16_8_edau.1	SAT	1135.61
C432.blif_0.10_0.20_0_0_out_exact	UNSAT	1148
eijk.S526.S-f2	FAIL	1155.45
sortnetsort10.v.stepl.007	SAT	1169.24
ncf_4_8_8_euad.10	FAIL	1194.08
ncf_4_32_2_u.7	FAIL	1196.89
nusmv.dme1-16.B-d2	SAT	1199.19
sortnetsort7.AE.stepl.004	FAIL	1209.42
ncf_4_16_4_euad.3	FAIL	1236.09
irst.dme4.B-f2	FAIL	1251.36
ncf_4_8_8_euad.2	UNSAT	1353.01
k_path_p-20	UNSAT	1416.85
ncf_4_16_4_u.3	FAIL	1437.97
4qbf-5cnf-40var-320cl.7	UNSAT	1491.27
ncf_4_32_2_edau.7	FAIL	1573.84
cmu.dme1.B-f2	FAIL	1575.22
ncf_8_16_8_edau.9	FAIL	1582
ncf_4_16_4_u.2	FAIL	1688.14
ncf_4_8_8_u.7	FAIL	1722.86
nusmv.reactor^3.C-f2	FAIL	1731.24
ncf_4_32_2_u.4	UNSAT	1734.96
2qbf-5cnf-80var-320cl.3	UNSAT	1765.05
S-adeu-3	FAIL	1869.14
eijk.S510.S-f2	FAIL	1936.13
ncf_8_16_4_d.9	FAIL	1952.3
ncf_4_32_2_edau.3	UNSAT	2051.55
k_path_p-21	UNSAT	2115.67
ncf_8_16_4_euad.3	FAIL	2137.77
sortnetsort5.AE.stepl.003	UNSAT	2183.04
S-adeu-9	FAIL	2216.77
ken.oop^2.C-f2	FAIL	2240.66
texas.ifetch1^2.E-f2	FAIL	2487.7
ncf_4_8_8_euad.7	FAIL	2488.93
ncf_4_16_4_u.6	UNSAT	2502.2
eijk.S386.S-f2	FAIL	2515.13
ncf_8_16_8_d.6	UNSAT	2540.4
texas.ifetch1^3.E-f2	FAIL	2543.57
ncf_4_16_4_d.6	UNSAT	2597.12
k_grz_n-8	SAT	2601.33
S-adeu-1	FAIL	2653.49
S-adeu-6	FAIL	2658.21
S-adeu-0	FAIL	2790.63
S-adeu-2	FAIL	2792.67
6qbf-5cnf-40var-320cl.9	FAIL	2816.53
ncf_4_8_8_u.6	FAIL	2921.22
ncf_8_16_4_edau.9	FAIL	3011.7
ncf_4_32_2_u.9	FAIL	3204.28
eijk.S344.S-f2	FAIL	3277.62
vis.bakery.E-f2	SAT	3323.07
x30.8	FAIL	3330.89
ncf_4_8_8_d.6	FAIL	3332.36
ncf_4_8_8_euad.6	FAIL	3350.92
texas.ifetch1^7.E-f2	FAIL	3501.86
ncf_4_8_8_u.2	UNSAT	3513.04
k_path_n-20	FAIL	3525.32
ncf_4_16_8_d.9	FAIL	3667.82
eijk.S953.S-f2	FAIL	3679.51
texas.ifetch1^5.E-f2	FAIL	3714.19
texas.ifetch1^9.E-f2	FAIL	3836.17
texas.ifetch1^8.E-f2	FAIL	3874.45
eijk.S208.S-f2	SAT	3901.09
ncf_16_32_2_edau.10	FAIL	4041.07
ncf_16_32_4_u.1	FAIL	4048.01
ncf_8_16_8_edau.6	UNSAT	4105.96
ncf_16_32_4_u.3	FAIL	4173.8
nusmv.reactor^4.C-f2	FAIL	4192.16
x30.3	FAIL	4289.91
texas.two_proc^4.E-f2	FAIL	4434.44
nusmv.reactor^7.C-f2	FAIL	4440.93
nusmv.reactor^6.C-f2	FAIL	4450.47
ncf_4_16_8_u.2	FAIL	4460.57
ncf_4_8_8_edau.6	FAIL	4491.12
ncf_8_16_4_u.3	FAIL	4494.1
ncf_8_16_8_euad.8	FAIL	4552.55
nusmv.brp.B-f2	FAIL	4643.34
ncf_16_32_2_u.10	FAIL	4653.21
k_path_n-21	FAIL	4759.51
ncf_16_32_2_u.2	FAIL	4777.64
ncf_4_16_8_euad.4	FAIL	4799.22
ncf_16_32_4_u.9	FAIL	5009.31
ncf_4_32_2_u.6	FAIL	5045.37
ncf_4_16_8_euad.9	FAIL	5066.54
eijk.S832.S-f2	FAIL	5068.24
texas.ifetch1^1.E-f2	FAIL	5074.01
ncf_4_32_2_edau.9	FAIL	5116.72
ncf_4_16_8_d.4	FAIL	5116.77
nusmv.reactor^2.C-f2	FAIL	5224.75
3qbf-5cnf-40var-320cl.8	FAIL	5241.92
ncf_8_16_4_u.9	FAIL	5307.93
5qbf-5cnf-40var-640cl.6	UNSAT	5462.87
ncf_4_16_8_euad.5	FAIL	5470.62
x30.7	FAIL	5562.46
ncf_16_32_4_euad.9	FAIL	5563.62
ncf_4_16_8_d.2	FAIL	5584.38
adder-14-sat	FAIL	5589.39
vis.4-arbit^1.E-f2	FAIL	5636.44
eijk.S838.S-f2	FAIL	5668.57
ncf_16_32_4_d.1	FAIL	5746.45
6qbf-5cnf-20var-160cl.2	FAIL	5767.88
x25.6	FAIL	5806.32
3qbf-5cnf-40var-320cl.5	UNSAT	5810.4
ncf_16_32_4_d.6	FAIL	5856.5
eijk.S420.S-f2	FAIL	5935.66
4qbf-5cnf-20var-160cl.2	FAIL	5989.97
ncf_16_32_2_u.6	FAIL	5992.23
cmu.dme2.B-f2	FAIL	5998.21
texas.two_proc^5.E-f2	FAIL	5999.69
ncf_16_32_2_euad.4	FAIL	5999.83
ncf_16_32_4_u.6	FAIL	5999.94
2qbf-5cnf-40var-160cl.0	FAIL	5999.95
texas.PI_main^02.E-f2	FAIL	5999.98
vis.elevator^3.E-f2	FAIL	5999.99
ncf_16_32_4_u.5	FAIL	6000.05
ncf_16_32_8_u.6	FAIL	6000.05
ncf_16_32_2_u.4	FAIL	6000.06
x30.6	FAIL	6000.08
ncf_8_16_4_euad.7	FAIL	6000.09
x225.1	FAIL	6000.1
ncf_16_32_4_edau.6	FAIL	6000.11
x115.0	FAIL	6000.13
x190.1	FAIL	6000.13
ncf_16_32_8_u.7	FAIL	6000.15
ncf_16_32_8_d.6	FAIL	6000.17
x130.5	FAIL	6000.19
ncf_4_16_8_euad.3	FAIL	6000.2
ncf_16_32_4_euad.6	FAIL	6000.2
ncf_4_16_8_u.5	FAIL	6000.2
x60.2	FAIL	6000.2
texas.PI_main^10.E-f2	FAIL	6000.2
texas.two_proc^2.E-f2	FAIL	6000.2
ncf_16_32_2_d.1	FAIL	6000.21
test3_quant2	FAIL	6000.21
x400.8	FAIL	6000.22
ncf_4_16_8_u.6	FAIL	6000.23
ncf_16_32_4_euad.2	FAIL	6000.24
ncf_16_32_8_euad.5	FAIL	6000.24
vis.arbiter.E-f2	FAIL	6000.25
x170.3	FAIL	6000.26
eijk.S382.S-f2	FAIL	6000.26
eijk.S444.S-f2	FAIL	6000.26
sortnetsort9.v.stepl.006	FAIL	6000.26
ncf_16_32_2_edau.4	FAIL	6000.27
eijk.S298.S-f2	FAIL	6000.27
ncf_16_32_2_d.4	FAIL	6000.29
4qbf-5cnf-40var-320cl.5	FAIL	6000.29
ncf_16_32_8_u.5	FAIL	6000.29
x135.0	FAIL	6000.29
ncf_8_16_8_euad.3	FAIL	6000.3
x300.8	FAIL	6000.3
ncf_16_32_8_euad.4	FAIL	6000.31
ncf_8_16_8_d.4	FAIL	6000.31
test3_quant_squaring2	FAIL	6000.31
x60.1	FAIL	6000.32
vis.coherence^1.E-f2	FAIL	6000.32
ncf_16_32_2_d.10	FAIL	6000.33
ncf_16_32_8_u.1	FAIL	6000.33
ncf_16_32_2_edau.2	FAIL	6000.33
ncf_16_32_2_euad.2	FAIL	6000.33
5qbf-5cnf-40var-320cl.7	FAIL	6000.33
x240.8	FAIL	6000.34
ncf_16_32_2_euad.10	FAIL	6000.35
ken.oop^1.C-f2	FAIL	6000.36
texas.two_proc^3.E-f2	FAIL	6000.37
x115.9	FAIL	6000.38
x230.3	FAIL	6000.38
x30.1	FAIL	6000.38
x35.3	FAIL	6000.38
x65.9	FAIL	6000.38
eijk.S820.S-f2	FAIL	6000.38
texas.PI_main^12.E-f2	FAIL	6000.38
vis.elevator^2.E-f2	FAIL	6000.38
ncf_8_16_8_edau.4	FAIL	6000.39
ncf_16_32_8_u.8	FAIL	6000.39
x175.4	FAIL	6000.39
texas.PI_main^01.E-f2	FAIL	6000.39
texas.two_proc^1.E-f2	FAIL	6000.4
ncf_8_16_4_u.4	FAIL	6000.41
3qbf-5cnf-160var-640cl.6	FAIL	6000.41
ncf_8_16_8_euad.5	FAIL	6000.41
x30.4	FAIL	6000.41
x350.7	FAIL	6000.41
ncf_8_16_8_euad.4	FAIL	6000.42
ncf_8_16_8_edau.10	FAIL	6000.42
texas.two_proc^6.E-f2	FAIL	6000.42
ncf_16_32_2_euad.6	FAIL	6000.43
ncf_16_32_4_edau.1	FAIL	6000.44
ncf_16_32_8_edau.4	FAIL	6000.44
3qbf-5cnf-80var-320cl.2	FAIL	6000.44
ncf_16_32_8_edau.5	FAIL	6000.44
vis.coherence^5.E-f2	FAIL	6000.44
6qbf-5cnf-20var-160cl.8	FAIL	6000.45
ncf_4_32_2_u.10	FAIL	6000.45
ncf_4_16_8_u.9	FAIL	6000.45
x155.8	FAIL	6000.45
vis.elevator^1.E-f2	FAIL	6000.45
ncf_4_32_2_edau.10	FAIL	6000.46
ncf_16_32_4_euad.1	FAIL	6000.46
x300.9	FAIL	6000.46
ncf_16_32_8_edau.6	FAIL	6000.47
x85.0	FAIL	6000.47
texas.PI_main^16.E-f2	FAIL	6000.47
ncf_16_32_8_u.4	FAIL	6000.48
ncf_8_16_8_d.10	FAIL	6000.49
ncf_16_32_4_euad.4	FAIL	6000.49
x30.5	FAIL	6000.49
x75.2	FAIL	6000.49
eijk.S713.S-f2	FAIL	6000.49
ncf_16_32_8_euad.7	FAIL	6000.5
ncf_8_16_8_edau.5	FAIL	6000.5
adder-12-sat	FAIL	6000.5
ncf_16_32_8_d.5	FAIL	6000.5
4qbf-5cnf-20var-160cl.5	FAIL	6000.51
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	6000.51
2qbf-5cnf-80var-320cl.2	FAIL	6000.51
6qbf-5cnf-20var-160cl.1	FAIL	6000.51
x115.3	FAIL	6000.51
x30.9	FAIL	6000.51
x35.7	FAIL	6000.52
adder-10-sat	FAIL	6000.53
x100.3	FAIL	6000.53
x210.9	FAIL	6000.53
x95.5	FAIL	6000.53
ncf_8_16_8_euad.10	FAIL	6000.54
6qbf-5cnf-20var-160cl.3	FAIL	6000.54
ncf_16_32_8_d.1	FAIL	6000.54
5qbf-5cnf-40var-320cl.9	FAIL	6000.55
3qbf-5cnf-160var-640cl.2	FAIL	6000.55
ncf_16_32_4_euad.8	FAIL	6000.55
3qbf-5cnf-40var-320cl.9	FAIL	6000.55
x100.5	FAIL	6000.55
x110.9	FAIL	6000.55
x155.7	FAIL	6000.55
x300.7	FAIL	6000.55
ncf_16_32_8_d.2	FAIL	6000.56
test5_quant5	FAIL	6000.56
x135.7	FAIL	6000.56
x55.1	FAIL	6000.56
x60.0	FAIL	6000.56
x60.8	FAIL	6000.56
vis.4-arbit^2.E-f2	FAIL	6000.56
6qbf-5cnf-20var-160cl.5	FAIL	6000.57
ncf_16_32_8_edau.9	FAIL	6000.57
x190.7	FAIL	6000.57
x250.7	FAIL	6000.57
x40.4	FAIL	6000.57
ncf_16_32_8_euad.1	FAIL	6000.58
2qbf-5cnf-40var-160cl.3	FAIL	6000.58
ncf_16_32_8_euad.2	FAIL	6000.58
ncf_16_32_4_euad.3	FAIL	6000.58
6qbf-5cnf-20var-160cl.7	FAIL	6000.58
x120.2	FAIL	6000.58
x50.0	FAIL	6000.58
2qbf-5cnf-40var-160cl.5	FAIL	6000.59
ncf_8_16_4_euad.4	FAIL	6000.59
3qbf-5cnf-80var-320cl.0	FAIL	6000.59
ncf_16_32_8_edau.10	FAIL	6000.59
5qbf-5cnf-40var-320cl.0	FAIL	6000.59
x105.6	FAIL	6000.59
x115.2	FAIL	6000.59
x135.5	FAIL	6000.59
x140.2	FAIL	6000.59
x190.8	FAIL	6000.59
x205.1	FAIL	6000.59
nusmv.syncarb10^2.B-f2	FAIL	6000.59
5qbf-5cnf-40var-320cl.1	FAIL	6000.6
4qbf-5cnf-80var-320cl.6	FAIL	6000.6
2qbf-5cnf-80var-320cl.8	FAIL	6000.6
3qbf-5cnf-80var-320cl.5	FAIL	6000.6
x105.2	FAIL	6000.6
x145.0	FAIL	6000.6
x150.2	FAIL	6000.6
x165.1	FAIL	6000.6
x185.6	FAIL	6000.6
x35.5	FAIL	6000.6
x45.1	FAIL	6000.6
x55.5	FAIL	6000.6
x60.7	FAIL	6000.6
x65.3	FAIL	6000.6
x80.8	FAIL	6000.6
x80.9	FAIL	6000.6
x95.0	FAIL	6000.6
vis.coherence^3.E-f2	FAIL	6000.6
6qbf-5cnf-40var-320cl.5	FAIL	6000.61
5qbf-5cnf-40var-320cl.8	FAIL	6000.61
ncf_4_16_8_u.3	FAIL	6000.61
ncf_16_32_8_euad.10	FAIL	6000.61
ncf_16_32_4_u.8	FAIL	6000.61
6qbf-5cnf-20var-160cl.9	FAIL	6000.61
ncf_8_16_8_d.5	FAIL	6000.61
ncf_16_32_4_euad.5	FAIL	6000.61
x105.3	FAIL	6000.61
x110.6	FAIL	6000.61
x110.8	FAIL	6000.61
x120.1	FAIL	6000.61
x150.4	FAIL	6000.61
x160.7	FAIL	6000.61
x165.6	FAIL	6000.61
x180.0	FAIL	6000.61
x30.2	FAIL	6000.61
x35.2	FAIL	6000.61
x45.0	FAIL	6000.61
x50.6	FAIL	6000.61
x70.1	FAIL	6000.61
x70.3	FAIL	6000.61
x75.1	FAIL	6000.61
x85.8	FAIL	6000.61
x95.8	FAIL	6000.61
ncf_4_16_8_u.4	FAIL	6000.62
4qbf-5cnf-40var-320cl.8	FAIL	6000.62
5qbf-5cnf-40var-320cl.6	FAIL	6000.62
ncf_16_32_2_euad.3	FAIL	6000.62
3qbf-5cnf-80var-320cl.8	FAIL	6000.62
4qbf-5cnf-20var-160cl.9	FAIL	6000.62
ncf_4_16_8_d.1	FAIL	6000.62
ncf_16_32_8_d.4	FAIL	6000.62
ncf_4_32_2_u.5	FAIL	6000.62
3qbf-5cnf-160var-640cl.4	FAIL	6000.62
x105.8	FAIL	6000.62
x110.7	FAIL	6000.62
x115.6	FAIL	6000.62
x140.3	FAIL	6000.62
x145.4	FAIL	6000.62
x155.1	FAIL	6000.62
x170.1	FAIL	6000.62
x175.5	FAIL	6000.62
x185.0	FAIL	6000.62
x40.3	FAIL	6000.62
x75.4	FAIL	6000.62
x85.9	FAIL	6000.62
x90.8	FAIL	6000.62
texas.PI_main^11.E-f2	FAIL	6000.62
test5_quant7	FAIL	6000.63
ncf_16_32_8_euad.3	FAIL	6000.63
2qbf-5cnf-80var-320cl.7	FAIL	6000.63
ncf_16_32_8_u.2	FAIL	6000.63
2qbf-5cnf-40var-160cl.4	FAIL	6000.63
3qbf-5cnf-160var-640cl.1	FAIL	6000.63
x225.8	FAIL	6000.63
x230.6	FAIL	6000.63
x235.9	FAIL	6000.63
x30.0	FAIL	6000.63
x70.9	FAIL	6000.63
eijk.S208c.S-f2	FAIL	6000.63
eijk.S641.S-f2	FAIL	6000.63
vis.coherence^2.E-f2	FAIL	6000.63
3qbf-5cnf-80var-320cl.1	FAIL	6000.64
6qbf-5cnf-20var-160cl.4	FAIL	6000.64
ncf_4_16_8_euad.1	FAIL	6000.64
ncf_8_16_8_euad.6	FAIL	6000.64
ncf_16_32_8_euad.6	FAIL	6000.64
2qbf-5cnf-160var-320cl.4	FAIL	6000.64
6qbf-5cnf-40var-320cl.1	FAIL	6000.64
ncf_16_32_4_u.4	FAIL	6000.64
6qbf-5cnf-20var-160cl.6	FAIL	6000.64
4qbf-5cnf-160var-640cl.2	FAIL	6000.64
3qbf-5cnf-80var-320cl.6	FAIL	6000.64
x115.7	FAIL	6000.64
x125.9	FAIL	6000.64
x150.1	FAIL	6000.64
x160.3	FAIL	6000.64
x170.0	FAIL	6000.64
x170.7	FAIL	6000.64
x180.1	FAIL	6000.64
x215.1	FAIL	6000.64
x220.1	FAIL	6000.64
x235.5	FAIL	6000.64
x240.2	FAIL	6000.64
x50.5	FAIL	6000.64
x55.9	FAIL	6000.64
x60.9	FAIL	6000.64
x65.0	FAIL	6000.64
x70.0	FAIL	6000.64
x70.5	FAIL	6000.64
x75.7	FAIL	6000.64
x85.4	FAIL	6000.64
ncf_16_32_4_u.7	FAIL	6000.65
2qbf-5cnf-40var-160cl.9	FAIL	6000.65
2qbf-5cnf-40var-160cl.1	FAIL	6000.65
4qbf-5cnf-20var-160cl.6	FAIL	6000.65
test3_quant4	FAIL	6000.65
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	6000.65
ncf_16_32_2_edau.1	FAIL	6000.65
5qbf-5cnf-80var-640cl.3	FAIL	6000.65
ncf_16_32_8_u.9	FAIL	6000.65
ncf_8_16_4_u.7	FAIL	6000.65
ncf_16_32_8_edau.2	FAIL	6000.65
x100.9	FAIL	6000.65
x115.1	FAIL	6000.65
x140.6	FAIL	6000.65
x190.4	FAIL	6000.65
x200.1	FAIL	6000.65
x205.8	FAIL	6000.65
x225.2	FAIL	6000.65
x350.8	FAIL	6000.65
x55.0	FAIL	6000.65
x75.5	FAIL	6000.65
x80.5	FAIL	6000.65
x90.2	FAIL	6000.65
ncf_4_16_8_euad.8	FAIL	6000.66
3qbf-5cnf-80var-320cl.7	FAIL	6000.66
3qbf-5cnf-160var-640cl.8	FAIL	6000.66
5qbf-5cnf-40var-320cl.5	FAIL	6000.66
ncf_16_32_4_euad.7	FAIL	6000.66
5qbf-5cnf-80var-640cl.8	FAIL	6000.66
x100.1	FAIL	6000.66
x110.0	FAIL	6000.66
x120.7	FAIL	6000.66
x125.3	FAIL	6000.66
x130.4	FAIL	6000.66
x130.8	FAIL	6000.66
x160.1	FAIL	6000.66
x160.5	FAIL	6000.66
x170.8	FAIL	6000.66
x180.7	FAIL	6000.66
x185.2	FAIL	6000.66
x220.5	FAIL	6000.66
x240.6	FAIL	6000.66
x70.6	FAIL	6000.66
x75.3	FAIL	6000.66
x75.8	FAIL	6000.66
x90.1	FAIL	6000.66
x95.9	FAIL	6000.66
2qbf-5cnf-80var-320cl.1	FAIL	6000.67
3qbf-5cnf-40var-320cl.6	FAIL	6000.67
3qbf-5cnf-80var-320cl.3	FAIL	6000.67
2qbf-5cnf-40var-160cl.8	FAIL	6000.67
6qbf-5cnf-40var-320cl.8	FAIL	6000.67
x150.0	FAIL	6000.67
x155.4	FAIL	6000.67
x160.4	FAIL	6000.67
x195.6	FAIL	6000.67
x205.0	FAIL	6000.67
x245.9	FAIL	6000.67
x35.9	FAIL	6000.67
x40.6	FAIL	6000.67
x45.5	FAIL	6000.67
x60.3	FAIL	6000.67
x60.4	FAIL	6000.67
x65.5	FAIL	6000.67
x85.3	FAIL	6000.67
x85.5	FAIL	6000.67
ncf_16_32_4_u.2	FAIL	6000.68
ncf_16_32_4_euad.10	FAIL	6000.68
4qbf-5cnf-80var-320cl.5	FAIL	6000.68
ncf_4_16_8_euad.2	FAIL	6000.68
2qbf-5cnf-160var-320cl.7	FAIL	6000.68
2qbf-5cnf-160var-320cl.9	FAIL	6000.68
x100.2	FAIL	6000.68
x120.6	FAIL	6000.68
x125.7	FAIL	6000.68
x135.2	FAIL	6000.68
x135.3	FAIL	6000.68
x140.1	FAIL	6000.68
x145.8	FAIL	6000.68
x155.0	FAIL	6000.68
x160.6	FAIL	6000.68
x160.8	FAIL	6000.68
x165.0	FAIL	6000.68
x175.6	FAIL	6000.68
x180.5	FAIL	6000.68
x185.8	FAIL	6000.68
x190.3	FAIL	6000.68
x200.0	FAIL	6000.68
x200.4	FAIL	6000.68
x205.3	FAIL	6000.68
x220.2	FAIL	6000.68
x245.7	FAIL	6000.68
x300.3	FAIL	6000.68
x45.7	FAIL	6000.68
x45.9	FAIL	6000.68
x75.6	FAIL	6000.68
x80.1	FAIL	6000.68
x80.4	FAIL	6000.68
x80.7	FAIL	6000.68
x90.3	FAIL	6000.68
x90.9	FAIL	6000.68
2qbf-5cnf-160var-320cl.2	FAIL	6000.69
6qbf-5cnf-40var-320cl.7	FAIL	6000.69
4qbf-5cnf-80var-320cl.7	FAIL	6000.69
6qbf-5cnf-80var-640cl.7	FAIL	6000.69
3qbf-5cnf-160var-640cl.7	FAIL	6000.69
4qbf-5cnf-80var-320cl.4	FAIL	6000.69
x105.0	FAIL	6000.69
x110.2	FAIL	6000.69
x115.8	FAIL	6000.69
x125.0	FAIL	6000.69
x125.2	FAIL	6000.69
x125.5	FAIL	6000.69
x130.1	FAIL	6000.69
x170.6	FAIL	6000.69
x175.3	FAIL	6000.69
x175.8	FAIL	6000.69
x190.6	FAIL	6000.69
x195.9	FAIL	6000.69
x200.6	FAIL	6000.69
x215.5	FAIL	6000.69
x220.9	FAIL	6000.69
x230.1	FAIL	6000.69
x230.8	FAIL	6000.69
x235.6	FAIL	6000.69
x245.2	FAIL	6000.69
x245.8	FAIL	6000.69
x250.6	FAIL	6000.69
x40.9	FAIL	6000.69
x45.4	FAIL	6000.69
x50.7	FAIL	6000.69
x55.2	FAIL	6000.69
x90.6	FAIL	6000.69
x95.3	FAIL	6000.69
ncf_16_32_2_u.5	FAIL	6000.7
4qbf-5cnf-80var-320cl.0	FAIL	6000.7
ncf_8_16_8_euad.9	FAIL	6000.7
ncf_16_32_8_edau.1	FAIL	6000.7
6qbf-5cnf-20var-160cl.0	FAIL	6000.7
ncf_16_32_8_u.10	FAIL	6000.7
5qbf-5cnf-80var-640cl.4	FAIL	6000.7
ncf_4_32_2_edau.6	FAIL	6000.7
ncf_16_32_2_d.3	FAIL	6000.7
x100.6	FAIL	6000.7
x105.5	FAIL	6000.7
x105.7	FAIL	6000.7
x110.3	FAIL	6000.7
x110.4	FAIL	6000.7
x115.5	FAIL	6000.7
x125.1	FAIL	6000.7
x130.2	FAIL	6000.7
x130.9	FAIL	6000.7
x135.4	FAIL	6000.7
x135.6	FAIL	6000.7
x140.4	FAIL	6000.7
x145.3	FAIL	6000.7
x145.5	FAIL	6000.7
x150.3	FAIL	6000.7
x155.3	FAIL	6000.7
x160.9	FAIL	6000.7
x165.2	FAIL	6000.7
x165.7	FAIL	6000.7
x170.2	FAIL	6000.7
x180.3	FAIL	6000.7
x180.6	FAIL	6000.7
x180.8	FAIL	6000.7
x185.3	FAIL	6000.7
x205.7	FAIL	6000.7
x210.0	FAIL	6000.7
x210.8	FAIL	6000.7
x235.0	FAIL	6000.7
x235.7	FAIL	6000.7
x350.2	FAIL	6000.7
x350.4	FAIL	6000.7
x35.1	FAIL	6000.7
x40.0	FAIL	6000.7
x45.2	FAIL	6000.7
x85.7	FAIL	6000.7
x90.0	FAIL	6000.7
x95.6	FAIL	6000.7
ncf_4_32_2_edau.5	FAIL	6000.71
ncf_16_32_8_euad.8	FAIL	6000.71
ncf_16_32_2_u.8	FAIL	6000.71
k_grz_n-12	FAIL	6000.71
5qbf-5cnf-80var-640cl.9	FAIL	6000.71
2qbf-5cnf-40var-160cl.6	FAIL	6000.71
ncf_16_32_8_d.10	FAIL	6000.71
x100.8	FAIL	6000.71
x110.5	FAIL	6000.71
x125.8	FAIL	6000.71
x130.6	FAIL	6000.71
x140.0	FAIL	6000.71
x145.9	FAIL	6000.71
x170.4	FAIL	6000.71
x175.2	FAIL	6000.71
x185.5	FAIL	6000.71
x200.5	FAIL	6000.71
x215.4	FAIL	6000.71
x225.6	FAIL	6000.71
x250.5	FAIL	6000.71
x40.2	FAIL	6000.71
x55.4	FAIL	6000.71
x60.5	FAIL	6000.71
x65.6	FAIL	6000.71
3qbf-5cnf-160var-640cl.3	FAIL	6000.72
2qbf-5cnf-160var-320cl.0	FAIL	6000.72
ncf_16_32_8_edau.7	FAIL	6000.72
6qbf-5cnf-40var-320cl.4	FAIL	6000.72
ncf_4_16_8_euad.6	FAIL	6000.72
ncf_4_16_8_u.10	FAIL	6000.72
5qbf-5cnf-40var-320cl.2	FAIL	6000.72
ncf_16_32_2_u.1	FAIL	6000.72
ncf_16_32_2_euad.5	FAIL	6000.72
adder-8-sat	FAIL	6000.72
x100.4	FAIL	6000.72
x100.7	FAIL	6000.72
x115.4	FAIL	6000.72
x120.3	FAIL	6000.72
x120.9	FAIL	6000.72
x130.0	FAIL	6000.72
x130.3	FAIL	6000.72
x140.8	FAIL	6000.72
x145.6	FAIL	6000.72
x150.9	FAIL	6000.72
x160.0	FAIL	6000.72
x165.5	FAIL	6000.72
x170.9	FAIL	6000.72
x180.2	FAIL	6000.72
x190.0	FAIL	6000.72
x195.1	FAIL	6000.72
x200.3	FAIL	6000.72
x215.9	FAIL	6000.72
x225.4	FAIL	6000.72
x240.0	FAIL	6000.72
x250.9	FAIL	6000.72
x45.8	FAIL	6000.72
x70.7	FAIL	6000.72
x75.9	FAIL	6000.72
x80.0	FAIL	6000.72
x85.6	FAIL	6000.72
x90.7	FAIL	6000.72
2qbf-5cnf-160var-320cl.8	FAIL	6000.73
ncf_4_16_8_d.6	FAIL	6000.73
3qbf-5cnf-160var-640cl.9	FAIL	6000.73
x120.8	FAIL	6000.73
x135.8	FAIL	6000.73
x150.5	FAIL	6000.73
x150.7	FAIL	6000.73
x155.2	FAIL	6000.73
x165.3	FAIL	6000.73
x170.5	FAIL	6000.73
x175.7	FAIL	6000.73
x185.4	FAIL	6000.73
x195.5	FAIL	6000.73
x210.3	FAIL	6000.73
x215.7	FAIL	6000.73
x240.3	FAIL	6000.73
x245.5	FAIL	6000.73
x40.1	FAIL	6000.73
x45.6	FAIL	6000.73
x65.4	FAIL	6000.73
x70.8	FAIL	6000.73
x90.4	FAIL	6000.73
x95.2	FAIL	6000.73
4qbf-5cnf-80var-320cl.9	FAIL	6000.74
ncf_4_16_8_u.8	FAIL	6000.74
6qbf-5cnf-40var-320cl.6	FAIL	6000.74
ncf_8_16_8_edau.3	FAIL	6000.74
ncf_8_16_8_d.2	FAIL	6000.74
ncf_16_32_2_euad.1	FAIL	6000.74
5qbf-5cnf-80var-640cl.2	FAIL	6000.74
3qbf-5cnf-80var-320cl.4	FAIL	6000.74
6qbf-5cnf-40var-320cl.3	FAIL	6000.74
ncf_8_16_4_d.7	FAIL	6000.74
x100.0	FAIL	6000.74
x105.4	FAIL	6000.74
x130.7	FAIL	6000.74
x135.1	FAIL	6000.74
x145.1	FAIL	6000.74
x150.6	FAIL	6000.74
x165.9	FAIL	6000.74
x175.9	FAIL	6000.74
x190.9	FAIL	6000.74
x195.2	FAIL	6000.74
x200.7	FAIL	6000.74
x210.4	FAIL	6000.74
x215.8	FAIL	6000.74
x220.7	FAIL	6000.74
x220.8	FAIL	6000.74
x235.4	FAIL	6000.74
x240.7	FAIL	6000.74
x245.4	FAIL	6000.74
x250.3	FAIL	6000.74
x50.3	FAIL	6000.74
x55.6	FAIL	6000.74
x55.7	FAIL	6000.74
x65.2	FAIL	6000.74
x80.2	FAIL	6000.74
x85.2	FAIL	6000.74
x90.5	FAIL	6000.74
x95.4	FAIL	6000.74
3qbf-5cnf-160var-640cl.0	FAIL	6000.75
ncf_8_16_4_euad.9	FAIL	6000.75
ncf_8_16_8_edau.8	FAIL	6000.75
4qbf-5cnf-160var-640cl.1	FAIL	6000.75
ncf_16_32_2_edau.3	FAIL	6000.75
x105.1	FAIL	6000.75
x105.9	FAIL	6000.75
x125.4	FAIL	6000.75
x145.2	FAIL	6000.75
x155.6	FAIL	6000.75
x160.2	FAIL	6000.75
x165.8	FAIL	6000.75
x180.4	FAIL	6000.75
x210.1	FAIL	6000.75
x215.6	FAIL	6000.75
x220.6	FAIL	6000.75
x225.0	FAIL	6000.75
x230.2	FAIL	6000.75
x230.9	FAIL	6000.75
x240.1	FAIL	6000.75
x245.0	FAIL	6000.75
x245.3	FAIL	6000.75
x250.4	FAIL	6000.75
x40.7	FAIL	6000.75
x45.3	FAIL	6000.75
x65.7	FAIL	6000.75
x70.2	FAIL	6000.75
x80.6	FAIL	6000.75
x95.1	FAIL	6000.75
x95.7	FAIL	6000.75
4qbf-5cnf-80var-320cl.1	FAIL	6000.76
ncf_16_32_8_euad.9	FAIL	6000.76
4qbf-5cnf-80var-320cl.8	FAIL	6000.76
6qbf-5cnf-80var-640cl.4	FAIL	6000.76
5qbf-5cnf-40var-320cl.4	FAIL	6000.76
x120.4	FAIL	6000.76
x140.7	FAIL	6000.76
x190.2	FAIL	6000.76
x200.2	FAIL	6000.76
x205.9	FAIL	6000.76
x220.0	FAIL	6000.76
x220.3	FAIL	6000.76
x225.5	FAIL	6000.76
x230.5	FAIL	6000.76
x240.9	FAIL	6000.76
x250.0	FAIL	6000.76
x250.1	FAIL	6000.76
x250.2	FAIL	6000.76
x300.4	FAIL	6000.76
x35.6	FAIL	6000.76
x50.1	FAIL	6000.76
x50.2	FAIL	6000.76
x50.9	FAIL	6000.76
x70.4	FAIL	6000.76
4qbf-5cnf-160var-640cl.4	FAIL	6000.77
2qbf-5cnf-160var-320cl.5	FAIL	6000.77
4qbf-5cnf-80var-320cl.2	FAIL	6000.77
ncf_8_16_8_d.8	FAIL	6000.77
ncf_16_32_2_euad.8	FAIL	6000.77
4qbf-5cnf-160var-640cl.3	FAIL	6000.77
4qbf-5cnf-80var-320cl.3	FAIL	6000.77
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	6000.77
ncf_16_32_2_u.3	FAIL	6000.77
3qbf-5cnf-160var-640cl.5	FAIL	6000.77
ncf_16_32_2_d.2	FAIL	6000.77
x120.0	FAIL	6000.77
x135.9	FAIL	6000.77
x185.7	FAIL	6000.77
x195.4	FAIL	6000.77
x205.5	FAIL	6000.77
x235.8	FAIL	6000.77
x350.3	FAIL	6000.77
x35.4	FAIL	6000.77
x400.0	FAIL	6000.77
x400.1	FAIL	6000.77
x400.7	FAIL	6000.77
4qbf-5cnf-160var-640cl.9	FAIL	6000.78
4qbf-5cnf-160var-640cl.6	FAIL	6000.78
4qbf-5cnf-160var-640cl.8	FAIL	6000.78
4qbf-5cnf-160var-640cl.7	FAIL	6000.78
ncf_8_16_8_euad.2	FAIL	6000.78
x140.5	FAIL	6000.78
x140.9	FAIL	6000.78
x145.7	FAIL	6000.78
x190.5	FAIL	6000.78
x195.0	FAIL	6000.78
x195.7	FAIL	6000.78
x195.8	FAIL	6000.78
x200.9	FAIL	6000.78
x225.9	FAIL	6000.78
x230.0	FAIL	6000.78
x230.4	FAIL	6000.78
x235.2	FAIL	6000.78
x235.3	FAIL	6000.78
x245.1	FAIL	6000.78
x245.6	FAIL	6000.78
x300.0	FAIL	6000.78
x35.0	FAIL	6000.78
x400.3	FAIL	6000.78
x50.4	FAIL	6000.78
x55.8	FAIL	6000.78
x60.6	FAIL	6000.78
5qbf-5cnf-80var-640cl.7	FAIL	6000.79
ncf_4_16_8_d.5	FAIL	6000.79
5qbf-5cnf-80var-640cl.0	FAIL	6000.79
6qbf-5cnf-40var-320cl.2	FAIL	6000.79
5qbf-5cnf-80var-640cl.6	FAIL	6000.79
5qbf-5cnf-80var-640cl.1	FAIL	6000.79
4qbf-5cnf-160var-640cl.5	FAIL	6000.79
ncf_16_32_8_u.3	FAIL	6000.79
ncf_16_32_4_edau.4	FAIL	6000.79
x155.5	FAIL	6000.79
x155.9	FAIL	6000.79
x175.1	FAIL	6000.79
x180.9	FAIL	6000.79
x185.1	FAIL	6000.79
x195.3	FAIL	6000.79
x205.6	FAIL	6000.79
x210.5	FAIL	6000.79
x215.0	FAIL	6000.79
x230.7	FAIL	6000.79
x350.9	FAIL	6000.79
x50.8	FAIL	6000.79
x65.8	FAIL	6000.79
sortnetsort10.v.stepl.006	FAIL	6000.79
ncf_4_16_8_d.3	FAIL	6000.8
ncf_4_16_8_d.10	FAIL	6000.8
ncf_16_32_4_u.10	FAIL	6000.8
2qbf-5cnf-160var-320cl.1	FAIL	6000.8
6qbf-5cnf-80var-640cl.6	FAIL	6000.8
5qbf-5cnf-40var-320cl.3	FAIL	6000.8
x110.1	FAIL	6000.8
x175.0	FAIL	6000.8
x185.9	FAIL	6000.8
x210.2	FAIL	6000.8
x220.4	FAIL	6000.8
x250.8	FAIL	6000.8
x300.2	FAIL	6000.8
x300.5	FAIL	6000.8
x350.5	FAIL	6000.8
x400.4	FAIL	6000.8
x400.5	FAIL	6000.8
x40.5	FAIL	6000.8
x80.3	FAIL	6000.8
6qbf-5cnf-80var-640cl.1	FAIL	6000.81
2qbf-5cnf-160var-320cl.6	FAIL	6000.81
x125.6	FAIL	6000.81
x150.8	FAIL	6000.81
x165.4	FAIL	6000.81
x200.8	FAIL	6000.81
x205.4	FAIL	6000.81
x210.6	FAIL	6000.81
x225.7	FAIL	6000.81
x240.5	FAIL	6000.81
x300.1	FAIL	6000.81
x35.8	FAIL	6000.81
x400.6	FAIL	6000.81
x40.8	FAIL	6000.81
x55.3	FAIL	6000.81
x65.1	FAIL	6000.81
x85.1	FAIL	6000.81
5qbf-5cnf-80var-640cl.5	FAIL	6000.82
6qbf-5cnf-80var-640cl.2	FAIL	6000.82
2qbf-5cnf-160var-320cl.3	FAIL	6000.82
6qbf-5cnf-80var-640cl.9	FAIL	6000.82
6qbf-5cnf-80var-640cl.3	FAIL	6000.82
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	6000.82
ncf_4_16_8_u.1	FAIL	6000.82
x120.5	FAIL	6000.82
x205.2	FAIL	6000.82
x225.3	FAIL	6000.82
x300.6	FAIL	6000.82
x350.0	FAIL	6000.82
x350.1	FAIL	6000.82
x400.9	FAIL	6000.82
ncf_16_32_4_d.4	FAIL	6000.83
ncf_4_16_8_euad.10	FAIL	6000.83
ncf_8_16_8_d.3	FAIL	6000.83
ncf_16_32_8_d.7	FAIL	6000.84
x210.7	FAIL	6000.85
ncf_8_16_8_edau.2	FAIL	6000.86
x215.3	FAIL	6000.86
x235.1	FAIL	6000.86
4qbf-5cnf-160var-640cl.0	FAIL	6000.87
x350.6	FAIL	6000.88
adder-16-sat	FAIL	6000.89
x400.2	FAIL	6000.89
x240.4	FAIL	6000.9

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by sKizzo-0.9-grn
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by sKizzo-0.9-grn QBFEVAL'06

Instances solved by sKizzo-0.9-grn
QBFEVAL'06