Instances solved by <a href='solver_detail.php?solver=44'>qube5.0</a> <br> QBFEVAL'06

Instances solved by qube5.0
QBFEVAL'06

Instance	Result	Time
ncf_4_8_2_u.9	SAT	0
ncf_4_16_2_euad.6	SAT	0
3qbf-5cnf-20var-160cl.6	SAT	0
s27_d3_u	UNSAT	0
x5.2	UNSAT	0
eijk.S298.S-d2	SAT	0
texas.parsesys^1.E-d2	SAT	0
Qq2k1k4v40v40m4s1	SAT	0
Qq2k1k4v40v40m4s2	UNSAT	0
Qq2k1k4v40v40m4s6	SAT	0
Qq2k1k4v40v40m4s8	SAT	0
Qq2k1k4v40v40m8s2	UNSAT	0
Qq2k1k4v40v40m8s6	UNSAT	0
Qq2k1k4v40v40m8s7	SAT	0
Qq2k1k4v40v40m8s8	SAT	0
Qq2k1k4v40v40m16s0	UNSAT	0
Qq2k1k4v40v40m16s3	UNSAT	0
Qq2k1k4v40v40m16s4	SAT	0
Qq2k1k4v40v40m16s6	UNSAT	0
Qq2k1k4v40v40m16s8	SAT	0
Qq2k1k4v40v40m16s9	UNSAT	0
Qq2k1k4v40v40m32s0	UNSAT	0
Qq2k1k4v40v40m32s2	UNSAT	0
Qq2k1k4v40v40m32s3	UNSAT	0
Qq2k1k4v40v40m32s6	UNSAT	0
Qq2k1k4v40v40m32s7	UNSAT	0
Qq2k1k4v40v40m32s8	UNSAT	0
Qq2k1k4v80v80m2s0	SAT	0
Qq2k1k4v80v80m2s1	SAT	0
Qq2k1k4v80v80m2s9	SAT	0
Qq2k1k4v80v80m4s1	SAT	0
Qq2k1k4v80v80m4s2	SAT	0
Qq2k1k4v80v80m4s9	SAT	0
Qq2k1k4v80v80m8s5	SAT	0
Qq2k1k4v80v80m8s7	SAT	0
Qq2k1k4v80v80m16s0	UNSAT	0
Qq2k1k4v80v80m16s1	SAT	0
Qq2k1k4v80v80m16s7	SAT	0
Qq2k1k4v80v80m32s0	UNSAT	0
Qq2k1k4v80v80m32s3	UNSAT	0
Qq2k1k4v80v80m32s7	SAT	0
Qq2k1k4v80v80m32s8	UNSAT	0
Qq2k2k3v40v40m2s4	SAT	0
Qq2k2k3v40v40m2s6	SAT	0
Qq2k2k3v40v40m8s0	SAT	0
Qq2k2k3v40v40m8s1	SAT	0
Qq2k2k3v40v40m16s0	SAT	0
Qq2k2k3v40v40m16s1	SAT	0
Qq2k2k3v40v40m16s2	SAT	0
Qq2k2k3v40v40m16s6	SAT	0
Qq2k2k3v40v40m32s2	SAT	0
Qq2k2k3v40v40m32s9	SAT	0
Qq2k2k3v80v80m2s3	SAT	0
Qq2k2k3v80v80m2s7	SAT	0
Qq2k2k3v80v80m2s8	SAT	0
Qq2k2k3v80v80m4s9	SAT	0
Qq2k2k3v80v80m8s0	SAT	0
Qq2k2k3v80v80m8s2	SAT	0
Qq2k2k3v80v80m8s3	SAT	0
Qq2k2k3v80v80m8s9	SAT	0
Qq2k2k3v80v80m16s1	SAT	0
Qq2k2k3v80v80m16s7	SAT	0
Qq2k2k3v80v80m32s1	SAT	0
Qq2k2k3v80v80m32s2	SAT	0
Qq2k2k3v80v80m32s8	SAT	0
Qq2k3k2v40v40m2s4	SAT	0
Qq2k3k2v40v40m2s5	SAT	0
Qq2k3k2v40v40m2s7	SAT	0
Qq2k3k2v40v40m4s1	SAT	0
Qq2k3k2v40v40m4s3	SAT	0
Qq2k3k2v40v40m4s4	SAT	0
Qq2k3k2v40v40m4s7	SAT	0
Qq2k3k2v40v40m4s8	SAT	0
Qq2k3k2v40v40m8s0	SAT	0
Qq2k3k2v40v40m8s1	SAT	0
Qq2k3k2v40v40m8s7	SAT	0
Qq2k3k2v40v40m8s9	SAT	0
Qq2k3k2v40v40m16s1	SAT	0
Qq2k3k2v40v40m16s2	SAT	0
Qq2k3k2v40v40m16s4	SAT	0
Qq2k3k2v40v40m16s8	SAT	0
Qq2k3k2v40v40m16s9	SAT	0
Qq2k3k2v40v40m32s0	SAT	0
Qq2k3k2v40v40m32s3	SAT	0
Qq2k3k2v80v80m2s5	SAT	0
Qq2k3k2v80v80m2s9	SAT	0
Qq2k3k2v80v80m4s1	SAT	0
Qq2k3k2v80v80m4s3	SAT	0
Qq2k3k2v80v80m4s4	SAT	0
Qq2k3k2v80v80m4s5	SAT	0
Qq2k3k2v80v80m4s6	SAT	0
Qq2k3k2v80v80m4s8	SAT	0
Qq2k3k2v80v80m8s0	SAT	0
Qq2k3k2v80v80m8s5	SAT	0
Qq2k3k2v80v80m8s7	SAT	0
Qq2k3k2v80v80m16s2	SAT	0
Qq2k3k2v80v80m16s5	SAT	0
Qq2k3k2v80v80m16s9	SAT	0
Qq2k3k2v80v80m32s0	SAT	0
Qq2k3k2v80v80m32s4	SAT	0
Qq2k3k2v80v80m32s7	SAT	0
Qq2k3k2v80v80m32s8	SAT	0
Qq3k1k1k3v40v40v40m2s0	SAT	0
Qq3k1k1k3v40v40v40m2s1	SAT	0
Qq3k1k1k3v40v40v40m2s5	SAT	0
Qq3k1k1k3v40v40v40m2s6	SAT	0
Qq3k1k1k3v40v40v40m2s9	SAT	0
Qq3k1k1k3v40v40v40m4s7	SAT	0
Qq3k1k1k3v40v40v40m8s3	SAT	0
Qq3k1k1k3v40v40v40m8s8	SAT	0
Qq3k1k1k3v40v40v40m16s2	SAT	0
Qq3k1k1k3v40v40v40m16s5	SAT	0
Qq3k1k1k3v40v40v40m16s7	SAT	0
Qq3k1k1k3v40v40v40m32s0	SAT	0
Qq3k1k1k3v40v40v40m32s6	SAT	0
Qq3k1k1k3v40v40v40m32s7	SAT	0
Qq3k1k1k3v80v80v80m2s0	SAT	0
Qq3k1k1k3v80v80v80m2s4	SAT	0
Qq3k1k1k3v80v80v80m4s5	SAT	0
Qq3k1k1k3v80v80v80m4s6	SAT	0
Qq3k1k1k3v80v80v80m4s7	SAT	0
Qq3k1k1k3v80v80v80m8s6	SAT	0
Qq3k1k1k3v80v80v80m16s0	SAT	0
Qq3k1k1k3v80v80v80m16s2	SAT	0
Qq3k1k1k3v80v80v80m16s4	SAT	0
Qq3k1k1k3v80v80v80m16s6	SAT	0
Qq3k1k1k3v80v80v80m32s5	SAT	0
Qq3k1k1k3v80v80v80m32s6	SAT	0
Qq3k1k2k2v40v40v40m2s0	SAT	0
Qq3k1k2k2v40v40v40m4s0	SAT	0
Qq3k1k2k2v40v40v40m4s4	SAT	0
Qq3k1k2k2v40v40v40m8s0	SAT	0
Qq3k1k2k2v40v40v40m8s3	SAT	0
Qq3k1k2k2v40v40v40m8s5	SAT	0
Qq3k1k2k2v40v40v40m16s1	SAT	0
Qq3k1k2k2v40v40v40m16s2	SAT	0
Qq3k1k2k2v40v40v40m16s5	SAT	0
Qq3k1k2k2v40v40v40m16s7	SAT	0
Qq3k1k2k2v40v40v40m32s1	SAT	0
Qq3k1k2k2v40v40v40m32s3	SAT	0
Qq3k1k2k2v40v40v40m32s8	SAT	0
Qq3k1k2k2v80v80v80m2s0	SAT	0
Qq3k1k2k2v80v80v80m2s1	SAT	0
Qq3k1k2k2v80v80v80m2s7	SAT	0
Qq3k1k2k2v80v80v80m2s9	SAT	0
Qq3k1k2k2v80v80v80m4s3	SAT	0
Qq3k1k2k2v80v80v80m4s5	SAT	0
Qq3k1k2k2v80v80v80m4s6	SAT	0
Qq3k1k2k2v80v80v80m4s8	SAT	0
Qq3k1k2k2v80v80v80m8s1	SAT	0
Qq3k1k2k2v80v80v80m8s5	SAT	0
Qq3k1k2k2v80v80v80m8s7	SAT	0
Qq3k1k2k2v80v80v80m16s4	SAT	0
Qq3k1k2k2v80v80v80m16s5	SAT	0
Qq3k1k2k2v80v80v80m32s0	SAT	0
Qq3k1k2k2v80v80v80m32s7	SAT	0
Qq3k1k2k2v80v80v80m32s8	SAT	0
Qq3k1k2k2v80v80v80m32s9	SAT	0
Qq3k1k3k1v40v40v40m2s0	SAT	0
Qq3k1k3k1v40v40v40m2s5	SAT	0
Qq3k1k3k1v40v40v40m2s7	SAT	0
Qq3k1k3k1v40v40v40m2s8	SAT	0
Qq3k1k3k1v40v40v40m4s1	SAT	0
Qq3k1k3k1v40v40v40m4s4	SAT	0
Qq3k1k3k1v40v40v40m4s6	SAT	0
Qq3k1k3k1v40v40v40m4s7	SAT	0
Qq3k1k3k1v40v40v40m8s0	SAT	0
Qq3k1k3k1v40v40v40m8s3	SAT	0
Qq3k1k3k1v40v40v40m8s4	SAT	0
Qq3k1k3k1v40v40v40m16s5	SAT	0
Qq3k1k3k1v40v40v40m16s6	SAT	0
Qq3k1k3k1v40v40v40m16s8	SAT	0
Qq3k1k3k1v40v40v40m32s0	SAT	0
Qq3k1k3k1v40v40v40m32s6	SAT	0
Qq3k1k3k1v40v40v40m32s8	SAT	0
Qq3k1k3k1v80v80v80m2s1	SAT	0
Qq3k1k3k1v80v80v80m2s3	SAT	0
Qq3k1k3k1v80v80v80m2s4	SAT	0
Qq3k1k3k1v80v80v80m2s7	SAT	0
Qq3k1k3k1v80v80v80m4s0	SAT	0
Qq3k1k3k1v80v80v80m4s2	SAT	0
Qq3k1k3k1v80v80v80m4s4	SAT	0
Qq3k1k3k1v80v80v80m4s9	SAT	0
Qq3k1k3k1v80v80v80m8s2	SAT	0
Qq3k1k3k1v80v80v80m8s5	SAT	0
Qq3k1k3k1v80v80v80m8s7	SAT	0
Qq3k1k3k1v80v80v80m16s1	SAT	0
Qq3k2k1k2v40v40v40m2s4	SAT	0
Qq3k2k1k2v40v40v40m2s5	SAT	0
Qq3k2k1k2v40v40v40m4s0	SAT	0
Qq3k2k1k2v40v40v40m4s1	SAT	0
Qq3k2k1k2v40v40v40m4s2	SAT	0
Qq3k2k1k2v40v40v40m4s3	SAT	0
Qq3k2k1k2v40v40v40m4s5	SAT	0
Qq3k2k1k2v40v40v40m4s7	SAT	0
Qq3k2k1k2v40v40v40m4s8	SAT	0
Qq3k2k1k2v40v40v40m8s1	SAT	0
Qq3k2k1k2v40v40v40m8s6	SAT	0
Qq3k2k1k2v40v40v40m8s7	SAT	0
Qq3k2k1k2v40v40v40m16s3	SAT	0
Qq3k2k1k2v40v40v40m32s1	SAT	0
Qq3k2k1k2v80v80v80m2s2	SAT	0
Qq3k2k1k2v80v80v80m2s7	SAT	0
Qq3k2k1k2v80v80v80m2s8	SAT	0
Qq3k2k1k2v80v80v80m4s1	SAT	0
Qq3k2k1k2v80v80v80m4s3	SAT	0
Qq3k2k1k2v80v80v80m4s7	SAT	0
Qq3k2k1k2v80v80v80m4s9	SAT	0
Qq3k2k1k2v80v80v80m8s4	SAT	0
Qq3k2k1k2v80v80v80m8s5	SAT	0
Qq3k2k1k2v80v80v80m16s1	SAT	0
Qq3k2k1k2v80v80v80m16s3	SAT	0
Qq3k2k1k2v80v80v80m16s6	SAT	0
Qq3k2k1k2v80v80v80m16s8	SAT	0
Qq3k2k1k2v80v80v80m32s2	SAT	0
Qq3k2k1k2v80v80v80m32s7	SAT	0
Qq3k2k2k1v40v40v40m2s2	SAT	0
Qq3k2k2k1v40v40v40m2s6	SAT	0
Qq3k2k2k1v40v40v40m2s7	SAT	0
Qq3k2k2k1v40v40v40m4s0	SAT	0
Qq3k2k2k1v40v40v40m4s1	SAT	0
Qq3k2k2k1v40v40v40m8s5	SAT	0
Qq3k2k2k1v40v40v40m8s6	SAT	0
Qq3k2k2k1v40v40v40m16s0	SAT	0
Qq3k2k2k1v40v40v40m16s4	SAT	0
Qq3k2k2k1v40v40v40m32s7	SAT	0
Qq3k2k2k1v80v80v80m2s3	SAT	0
Qq3k2k2k1v80v80v80m2s5	SAT	0
Qq3k2k2k1v80v80v80m2s7	SAT	0
Qq3k2k2k1v80v80v80m4s1	SAT	0
Qq3k2k2k1v80v80v80m4s5	SAT	0
Qq3k2k2k1v80v80v80m4s9	SAT	0
Qq3k2k2k1v80v80v80m8s0	SAT	0
Qq3k2k2k1v80v80v80m8s2	SAT	0
Qq3k2k2k1v80v80v80m8s4	SAT	0
Qq3k2k2k1v80v80v80m8s6	SAT	0
Qq3k2k2k1v80v80v80m16s6	SAT	0
Qq3k2k2k1v80v80v80m16s8	SAT	0
Qq3k2k2k1v80v80v80m32s4	SAT	0
Qq3k2k2k1v80v80v80m32s6	SAT	0
Qq3k2k2k1v80v80v80m32s7	SAT	0
Qq3k3k1k1v40v40v40m2s1	SAT	0
Qq3k3k1k1v40v40v40m4s0	SAT	0
Qq3k3k1k1v40v40v40m4s2	SAT	0
Qq3k3k1k1v40v40v40m4s4	SAT	0
Qq3k3k1k1v40v40v40m4s5	SAT	0
Qq3k3k1k1v40v40v40m4s7	SAT	0
Qq3k3k1k1v40v40v40m8s1	SAT	0
Qq3k3k1k1v40v40v40m16s2	SAT	0
Qq3k3k1k1v40v40v40m16s4	SAT	0
Qq3k3k1k1v40v40v40m16s6	SAT	0
Qq3k3k1k1v40v40v40m32s7	SAT	0
Qq3k3k1k1v40v40v40m32s8	SAT	0
Qq3k3k1k1v80v80v80m2s6	SAT	0
Qq3k3k1k1v80v80v80m2s7	SAT	0
Qq3k3k1k1v80v80v80m2s9	SAT	0
Qq3k3k1k1v80v80v80m4s2	SAT	0
Qq3k3k1k1v80v80v80m4s5	SAT	0
Qq3k3k1k1v80v80v80m4s6	SAT	0
Qq3k3k1k1v80v80v80m4s9	SAT	0
Qq3k3k1k1v80v80v80m8s0	SAT	0
Qq3k3k1k1v80v80v80m16s0	SAT	0
Qq3k3k1k1v80v80v80m16s1	SAT	0
Qq3k3k1k1v80v80v80m16s5	SAT	0
Qq3k3k1k1v80v80v80m16s6	SAT	0
Qq3k3k1k1v80v80v80m16s9	SAT	0
Qq3k3k1k1v80v80v80m32s3	SAT	0
Qq3k3k1k1v80v80v80m32s7	SAT	0
2qbf-5cnf-40var-640cl.1	UNSAT	0.01
3qbf-5cnf-20var-320cl.9	UNSAT	0.01
6qbf-5cnf-20var-640cl.5	UNSAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
6qbf-5cnf-20var-320cl.7	UNSAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
5qbf-5cnf-20var-320cl.0	UNSAT	0.01
3qbf-5cnf-20var-320cl.2	UNSAT	0.01
4qbf-5cnf-20var-320cl.4	UNSAT	0.01
3qbf-5cnf-20var-160cl.4	SAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
4qbf-5cnf-20var-320cl.9	UNSAT	0.01
3qbf-5cnf-40var-640cl.9	UNSAT	0.01
tree-exa2-50	UNSAT	0.01
4qbf-5cnf-40var-640cl.7	UNSAT	0.01
3qbf-5cnf-20var-320cl.6	UNSAT	0.01
3qbf-5cnf-40var-640cl.7	UNSAT	0.01
3qbf-5cnf-20var-160cl.5	SAT	0.01
5qbf-5cnf-40var-320cl.6	SAT	0.01
5qbf-5cnf-20var-320cl.7	UNSAT	0.01
ncf_4_16_2_d.4	SAT	0.01
3qbf-5cnf-20var-160cl.1	SAT	0.01
4qbf-5cnf-20var-640cl.0	UNSAT	0.01
2qbf-5cnf-40var-640cl.7	UNSAT	0.01
5qbf-5cnf-20var-320cl.8	UNSAT	0.01
5qbf-5cnf-20var-640cl.9	UNSAT	0.01
3qbf-5cnf-20var-160cl.8	SAT	0.01
ncf_4_8_8_d.9	UNSAT	0.01
3qbf-5cnf-20var-160cl.2	SAT	0.01
3qbf-5cnf-80var-320cl.6	SAT	0.01
ncf_4_8_2_u.2	SAT	0.01
ncf_4_8_2_u.10	SAT	0.01
x5.0	SAT	0.01
x5.3	UNSAT	0.01
x5.6	UNSAT	0.01
x5.7	UNSAT	0.01
cmu.dme1.B-d2	SAT	0.01
eijk.S208c.S-d2	SAT	0.01
vis.4-arbit^1.E-d2	SAT	0.01
vis.bakery.E-d2	SAT	0.01
vis.eisenberg.E-d2	SAT	0.01
Qq2k1k4v40v40m2s0	SAT	0.01
Qq2k1k4v40v40m2s1	SAT	0.01
Qq2k1k4v40v40m2s3	SAT	0.01
Qq2k1k4v40v40m2s5	SAT	0.01
Qq2k1k4v40v40m2s7	SAT	0.01
Qq2k1k4v40v40m2s8	SAT	0.01
Qq2k1k4v40v40m4s3	SAT	0.01
Qq2k1k4v40v40m4s4	SAT	0.01
Qq2k1k4v40v40m4s7	SAT	0.01
Qq2k1k4v40v40m4s9	SAT	0.01
Qq2k1k4v40v40m8s0	SAT	0.01
Qq2k1k4v40v40m8s3	SAT	0.01
Qq2k1k4v40v40m8s4	SAT	0.01
Qq2k1k4v40v40m8s5	SAT	0.01
Qq2k1k4v40v40m8s9	SAT	0.01
Qq2k1k4v40v40m16s2	UNSAT	0.01
Qq2k1k4v40v40m16s5	SAT	0.01
Qq2k1k4v40v40m32s1	UNSAT	0.01
Qq2k1k4v80v80m2s2	SAT	0.01
Qq2k1k4v80v80m2s5	SAT	0.01
Qq2k1k4v80v80m2s7	SAT	0.01
Qq2k1k4v80v80m4s0	SAT	0.01
Qq2k1k4v80v80m4s3	SAT	0.01
Qq2k1k4v80v80m4s5	SAT	0.01
Qq2k1k4v80v80m8s1	SAT	0.01
Qq2k1k4v80v80m8s3	SAT	0.01
Qq2k1k4v80v80m8s8	SAT	0.01
Qq2k1k4v80v80m16s2	SAT	0.01
Qq2k1k4v80v80m16s3	UNSAT	0.01
Qq2k1k4v80v80m16s8	UNSAT	0.01
Qq2k1k4v80v80m32s1	SAT	0.01
Qq2k1k4v80v80m32s2	UNSAT	0.01
Qq2k1k4v80v80m32s4	UNSAT	0.01
Qq2k1k4v80v80m32s5	UNSAT	0.01
Qq2k1k4v80v80m32s6	UNSAT	0.01
Qq2k1k4v80v80m32s9	UNSAT	0.01
Qq2k2k3v40v40m2s1	SAT	0.01
Qq2k2k3v40v40m2s2	SAT	0.01
Qq2k2k3v40v40m2s3	SAT	0.01
Qq2k2k3v40v40m2s7	SAT	0.01
Qq2k2k3v40v40m2s9	SAT	0.01
Qq2k2k3v40v40m4s0	SAT	0.01
Qq2k2k3v40v40m4s1	SAT	0.01
Qq2k2k3v40v40m4s3	SAT	0.01
Qq2k2k3v40v40m4s5	SAT	0.01
Qq2k2k3v40v40m4s6	SAT	0.01
Qq2k2k3v40v40m4s8	SAT	0.01
Qq2k2k3v40v40m4s9	SAT	0.01
Qq2k2k3v40v40m8s2	SAT	0.01
Qq2k2k3v40v40m8s4	SAT	0.01
Qq2k2k3v40v40m8s6	SAT	0.01
Qq2k2k3v40v40m8s7	SAT	0.01
Qq2k2k3v40v40m8s8	SAT	0.01
Qq2k2k3v40v40m32s1	SAT	0.01
Qq2k2k3v40v40m32s4	SAT	0.01
Qq2k2k3v40v40m32s5	SAT	0.01
Qq2k2k3v40v40m32s6	SAT	0.01
Qq2k2k3v40v40m32s8	SAT	0.01
Qq2k2k3v80v80m2s0	SAT	0.01
Qq2k2k3v80v80m2s2	SAT	0.01
Qq2k2k3v80v80m2s4	SAT	0.01
Qq2k2k3v80v80m2s5	SAT	0.01
Qq2k2k3v80v80m2s6	SAT	0.01
Qq2k2k3v80v80m2s9	SAT	0.01
Qq2k2k3v80v80m4s2	SAT	0.01
Qq2k2k3v80v80m4s5	SAT	0.01
Qq2k2k3v80v80m4s6	SAT	0.01
Qq2k2k3v80v80m4s8	SAT	0.01
Qq2k2k3v80v80m8s4	SAT	0.01
Qq2k2k3v80v80m8s6	SAT	0.01
Qq2k2k3v80v80m8s8	SAT	0.01
Qq2k2k3v80v80m16s0	SAT	0.01
Qq2k2k3v80v80m16s2	SAT	0.01
Qq2k2k3v80v80m16s5	SAT	0.01
Qq2k2k3v80v80m16s9	SAT	0.01
Qq2k2k3v80v80m32s0	SAT	0.01
Qq2k2k3v80v80m32s5	SAT	0.01
Qq2k2k3v80v80m32s6	SAT	0.01
Qq2k2k3v80v80m32s9	SAT	0.01
Qq2k3k2v40v40m2s0	SAT	0.01
Qq2k3k2v40v40m2s1	SAT	0.01
Qq2k3k2v40v40m2s6	SAT	0.01
Qq2k3k2v40v40m2s8	SAT	0.01
Qq2k3k2v40v40m2s9	SAT	0.01
Qq2k3k2v40v40m4s0	SAT	0.01
Qq2k3k2v40v40m4s5	SAT	0.01
Qq2k3k2v40v40m4s9	SAT	0.01
Qq2k3k2v40v40m8s2	SAT	0.01
Qq2k3k2v40v40m8s3	SAT	0.01
Qq2k3k2v40v40m8s6	SAT	0.01
Qq2k3k2v40v40m8s8	SAT	0.01
Qq2k3k2v40v40m16s0	SAT	0.01
Qq2k3k2v40v40m16s3	SAT	0.01
Qq2k3k2v40v40m16s5	SAT	0.01
Qq2k3k2v40v40m16s6	SAT	0.01
Qq2k3k2v40v40m16s7	SAT	0.01
Qq2k3k2v40v40m32s4	SAT	0.01
Qq2k3k2v40v40m32s6	SAT	0.01
Qq2k3k2v40v40m32s7	SAT	0.01
Qq2k3k2v40v40m32s8	SAT	0.01
Qq2k3k2v80v80m2s0	SAT	0.01
Qq2k3k2v80v80m2s3	SAT	0.01
Qq2k3k2v80v80m2s4	SAT	0.01
Qq2k3k2v80v80m2s6	SAT	0.01
Qq2k3k2v80v80m4s0	SAT	0.01
Qq2k3k2v80v80m4s2	SAT	0.01
Qq2k3k2v80v80m8s1	SAT	0.01
Qq2k3k2v80v80m8s2	SAT	0.01
Qq2k3k2v80v80m8s3	SAT	0.01
Qq2k3k2v80v80m8s6	SAT	0.01
Qq2k3k2v80v80m8s8	SAT	0.01
Qq2k3k2v80v80m8s9	SAT	0.01
Qq2k3k2v80v80m16s3	SAT	0.01
Qq2k3k2v80v80m16s7	SAT	0.01
Qq2k3k2v80v80m32s1	SAT	0.01
Qq2k3k2v80v80m32s3	SAT	0.01
Qq2k3k2v80v80m32s5	SAT	0.01
Qq3k1k1k3v40v40v40m2s3	SAT	0.01
Qq3k1k1k3v40v40v40m4s1	SAT	0.01
Qq3k1k1k3v40v40v40m4s2	SAT	0.01
Qq3k1k1k3v40v40v40m4s5	SAT	0.01
Qq3k1k1k3v40v40v40m4s8	SAT	0.01
Qq3k1k1k3v40v40v40m8s1	SAT	0.01
Qq3k1k1k3v40v40v40m8s2	SAT	0.01
Qq3k1k1k3v40v40v40m8s6	SAT	0.01
Qq3k1k1k3v40v40v40m8s7	SAT	0.01
Qq3k1k1k3v40v40v40m16s0	SAT	0.01
Qq3k1k1k3v40v40v40m16s1	SAT	0.01
Qq3k1k1k3v40v40v40m16s8	SAT	0.01
Qq3k1k1k3v40v40v40m32s2	SAT	0.01
Qq3k1k1k3v40v40v40m32s3	SAT	0.01
Qq3k1k1k3v40v40v40m32s5	SAT	0.01
Qq3k1k1k3v80v80v80m2s1	SAT	0.01
Qq3k1k1k3v80v80v80m2s3	SAT	0.01
Qq3k1k1k3v80v80v80m2s6	SAT	0.01
Qq3k1k1k3v80v80v80m2s7	SAT	0.01
Qq3k1k1k3v80v80v80m2s8	SAT	0.01
Qq3k1k1k3v80v80v80m4s0	SAT	0.01
Qq3k1k1k3v80v80v80m4s2	SAT	0.01
Qq3k1k1k3v80v80v80m4s3	SAT	0.01
Qq3k1k1k3v80v80v80m4s4	SAT	0.01
Qq3k1k1k3v80v80v80m4s8	SAT	0.01
Qq3k1k1k3v80v80v80m8s2	SAT	0.01
Qq3k1k1k3v80v80v80m8s3	SAT	0.01
Qq3k1k1k3v80v80v80m8s4	SAT	0.01
Qq3k1k1k3v80v80v80m8s5	SAT	0.01
Qq3k1k1k3v80v80v80m8s7	SAT	0.01
Qq3k1k1k3v80v80v80m16s3	SAT	0.01
Qq3k1k1k3v80v80v80m16s7	SAT	0.01
Qq3k1k1k3v80v80v80m32s0	SAT	0.01
Qq3k1k1k3v80v80v80m32s3	SAT	0.01
Qq3k1k1k3v80v80v80m32s7	SAT	0.01
Qq3k1k2k2v40v40v40m2s1	SAT	0.01
Qq3k1k2k2v40v40v40m2s3	SAT	0.01
Qq3k1k2k2v40v40v40m2s6	SAT	0.01
Qq3k1k2k2v40v40v40m2s8	SAT	0.01
Qq3k1k2k2v40v40v40m2s9	SAT	0.01
Qq3k1k2k2v40v40v40m4s1	SAT	0.01
Qq3k1k2k2v40v40v40m4s2	SAT	0.01
Qq3k1k2k2v40v40v40m4s5	SAT	0.01
Qq3k1k2k2v40v40v40m4s6	SAT	0.01
Qq3k1k2k2v40v40v40m4s7	SAT	0.01
Qq3k1k2k2v40v40v40m4s8	SAT	0.01
Qq3k1k2k2v40v40v40m4s9	SAT	0.01
Qq3k1k2k2v40v40v40m8s8	SAT	0.01
Qq3k1k2k2v40v40v40m16s3	SAT	0.01
Qq3k1k2k2v40v40v40m16s6	SAT	0.01
Qq3k1k2k2v40v40v40m16s8	SAT	0.01
Qq3k1k2k2v40v40v40m32s4	SAT	0.01
Qq3k1k2k2v40v40v40m32s6	SAT	0.01
Qq3k1k2k2v40v40v40m32s9	SAT	0.01
Qq3k1k2k2v80v80v80m2s4	SAT	0.01
Qq3k1k2k2v80v80v80m2s5	SAT	0.01
Qq3k1k2k2v80v80v80m2s6	SAT	0.01
Qq3k1k2k2v80v80v80m2s8	SAT	0.01
Qq3k1k2k2v80v80v80m4s0	SAT	0.01
Qq3k1k2k2v80v80v80m4s7	SAT	0.01
Qq3k1k2k2v80v80v80m8s3	SAT	0.01
Qq3k1k2k2v80v80v80m8s4	SAT	0.01
Qq3k1k2k2v80v80v80m8s6	SAT	0.01
Qq3k1k2k2v80v80v80m8s9	SAT	0.01
Qq3k1k2k2v80v80v80m16s0	SAT	0.01
Qq3k1k2k2v80v80v80m16s1	SAT	0.01
Qq3k1k2k2v80v80v80m16s7	SAT	0.01
Qq3k1k2k2v80v80v80m32s1	SAT	0.01
Qq3k1k2k2v80v80v80m32s2	SAT	0.01
Qq3k1k2k2v80v80v80m32s6	SAT	0.01
Qq3k1k3k1v40v40v40m2s1	SAT	0.01
Qq3k1k3k1v40v40v40m2s2	SAT	0.01
Qq3k1k3k1v40v40v40m2s3	SAT	0.01
Qq3k1k3k1v40v40v40m2s6	SAT	0.01
Qq3k1k3k1v40v40v40m2s9	SAT	0.01
Qq3k1k3k1v40v40v40m4s0	SAT	0.01
Qq3k1k3k1v40v40v40m4s2	SAT	0.01
Qq3k1k3k1v40v40v40m4s3	SAT	0.01
Qq3k1k3k1v40v40v40m4s5	SAT	0.01
Qq3k1k3k1v40v40v40m4s8	SAT	0.01
Qq3k1k3k1v40v40v40m4s9	SAT	0.01
Qq3k1k3k1v40v40v40m8s1	SAT	0.01
Qq3k1k3k1v40v40v40m8s6	SAT	0.01
Qq3k1k3k1v40v40v40m16s0	SAT	0.01
Qq3k1k3k1v40v40v40m16s2	SAT	0.01
Qq3k1k3k1v40v40v40m16s4	SAT	0.01
Qq3k1k3k1v40v40v40m16s7	SAT	0.01
Qq3k1k3k1v40v40v40m16s9	SAT	0.01
Qq3k1k3k1v40v40v40m32s2	SAT	0.01
Qq3k1k3k1v40v40v40m32s3	SAT	0.01
Qq3k1k3k1v40v40v40m32s7	SAT	0.01
Qq3k1k3k1v80v80v80m2s0	SAT	0.01
Qq3k1k3k1v80v80v80m2s2	SAT	0.01
Qq3k1k3k1v80v80v80m2s5	SAT	0.01
Qq3k1k3k1v80v80v80m2s8	SAT	0.01
Qq3k1k3k1v80v80v80m2s9	SAT	0.01
Qq3k1k3k1v80v80v80m4s1	SAT	0.01
Qq3k1k3k1v80v80v80m4s5	SAT	0.01
Qq3k1k3k1v80v80v80m4s6	SAT	0.01
Qq3k1k3k1v80v80v80m8s0	SAT	0.01
Qq3k1k3k1v80v80v80m8s6	SAT	0.01
Qq3k1k3k1v80v80v80m8s9	SAT	0.01
Qq3k1k3k1v80v80v80m16s3	SAT	0.01
Qq3k1k3k1v80v80v80m16s4	SAT	0.01
Qq3k1k3k1v80v80v80m16s8	SAT	0.01
Qq3k1k3k1v80v80v80m32s0	SAT	0.01
Qq3k1k3k1v80v80v80m32s1	SAT	0.01
Qq3k1k3k1v80v80v80m32s3	SAT	0.01
Qq3k1k3k1v80v80v80m32s4	SAT	0.01
Qq3k1k3k1v80v80v80m32s6	SAT	0.01
Qq3k1k3k1v80v80v80m32s7	SAT	0.01
Qq3k1k3k1v80v80v80m32s8	SAT	0.01
Qq3k1k3k1v80v80v80m32s9	SAT	0.01
Qq3k2k1k2v40v40v40m2s0	SAT	0.01
Qq3k2k1k2v40v40v40m2s1	SAT	0.01
Qq3k2k1k2v40v40v40m2s6	SAT	0.01
Qq3k2k1k2v40v40v40m2s7	SAT	0.01
Qq3k2k1k2v40v40v40m2s8	SAT	0.01
Qq3k2k1k2v40v40v40m4s4	SAT	0.01
Qq3k2k1k2v40v40v40m4s6	SAT	0.01
Qq3k2k1k2v40v40v40m4s9	SAT	0.01
Qq3k2k1k2v40v40v40m8s0	SAT	0.01
Qq3k2k1k2v40v40v40m8s2	SAT	0.01
Qq3k2k1k2v40v40v40m8s4	SAT	0.01
Qq3k2k1k2v40v40v40m8s8	SAT	0.01
Qq3k2k1k2v40v40v40m8s9	SAT	0.01
Qq3k2k1k2v40v40v40m16s1	SAT	0.01
Qq3k2k1k2v40v40v40m16s2	SAT	0.01
Qq3k2k1k2v40v40v40m16s4	SAT	0.01
Qq3k2k1k2v40v40v40m16s5	SAT	0.01
Qq3k2k1k2v40v40v40m16s8	SAT	0.01
Qq3k2k1k2v40v40v40m16s9	SAT	0.01
Qq3k2k1k2v40v40v40m32s0	SAT	0.01
Qq3k2k1k2v40v40v40m32s3	SAT	0.01
Qq3k2k1k2v40v40v40m32s6	SAT	0.01
Qq3k2k1k2v40v40v40m32s7	SAT	0.01
Qq3k2k1k2v80v80v80m2s0	SAT	0.01
Qq3k2k1k2v80v80v80m2s3	SAT	0.01
Qq3k2k1k2v80v80v80m2s4	SAT	0.01
Qq3k2k1k2v80v80v80m2s5	SAT	0.01
Qq3k2k1k2v80v80v80m2s9	SAT	0.01
Qq3k2k1k2v80v80v80m4s2	SAT	0.01
Qq3k2k1k2v80v80v80m4s4	SAT	0.01
Qq3k2k1k2v80v80v80m4s8	SAT	0.01
Qq3k2k1k2v80v80v80m8s0	SAT	0.01
Qq3k2k1k2v80v80v80m8s1	SAT	0.01
Qq3k2k1k2v80v80v80m8s6	SAT	0.01
Qq3k2k1k2v80v80v80m8s8	SAT	0.01
Qq3k2k1k2v80v80v80m16s2	SAT	0.01
Qq3k2k1k2v80v80v80m16s5	SAT	0.01
Qq3k2k1k2v80v80v80m16s7	SAT	0.01
Qq3k2k1k2v80v80v80m16s9	SAT	0.01
Qq3k2k1k2v80v80v80m32s3	SAT	0.01
Qq3k2k1k2v80v80v80m32s5	SAT	0.01
Qq3k2k1k2v80v80v80m32s6	SAT	0.01
Qq3k2k2k1v40v40v40m2s0	SAT	0.01
Qq3k2k2k1v40v40v40m2s1	SAT	0.01
Qq3k2k2k1v40v40v40m2s3	SAT	0.01
Qq3k2k2k1v40v40v40m2s5	SAT	0.01
Qq3k2k2k1v40v40v40m2s9	SAT	0.01
Qq3k2k2k1v40v40v40m4s7	SAT	0.01
Qq3k2k2k1v40v40v40m4s9	SAT	0.01
Qq3k2k2k1v40v40v40m8s0	SAT	0.01
Qq3k2k2k1v40v40v40m8s1	SAT	0.01
Qq3k2k2k1v40v40v40m16s1	SAT	0.01
Qq3k2k2k1v40v40v40m16s2	SAT	0.01
Qq3k2k2k1v40v40v40m16s7	SAT	0.01
Qq3k2k2k1v40v40v40m16s8	SAT	0.01
Qq3k2k2k1v40v40v40m16s9	SAT	0.01
Qq3k2k2k1v40v40v40m32s1	SAT	0.01
Qq3k2k2k1v40v40v40m32s2	SAT	0.01
Qq3k2k2k1v40v40v40m32s4	SAT	0.01
Qq3k2k2k1v40v40v40m32s5	SAT	0.01
Qq3k2k2k1v40v40v40m32s8	SAT	0.01
Qq3k2k2k1v40v40v40m32s9	SAT	0.01
Qq3k2k2k1v80v80v80m2s0	SAT	0.01
Qq3k2k2k1v80v80v80m2s2	SAT	0.01
Qq3k2k2k1v80v80v80m2s4	SAT	0.01
Qq3k2k2k1v80v80v80m2s6	SAT	0.01
Qq3k2k2k1v80v80v80m2s9	SAT	0.01
Qq3k2k2k1v80v80v80m4s0	SAT	0.01
Qq3k2k2k1v80v80v80m4s3	SAT	0.01
Qq3k2k2k1v80v80v80m4s4	SAT	0.01
Qq3k2k2k1v80v80v80m8s1	SAT	0.01
Qq3k2k2k1v80v80v80m8s3	SAT	0.01
Qq3k2k2k1v80v80v80m8s7	SAT	0.01
Qq3k2k2k1v80v80v80m8s9	SAT	0.01
Qq3k2k2k1v80v80v80m16s0	SAT	0.01
Qq3k2k2k1v80v80v80m16s4	SAT	0.01
Qq3k3k1k1v40v40v40m2s0	SAT	0.01
Qq3k3k1k1v40v40v40m2s4	SAT	0.01
Qq3k3k1k1v40v40v40m2s5	SAT	0.01
Qq3k3k1k1v40v40v40m2s6	SAT	0.01
Qq3k3k1k1v40v40v40m2s7	SAT	0.01
Qq3k3k1k1v40v40v40m2s8	SAT	0.01
Qq3k3k1k1v40v40v40m4s6	SAT	0.01
Qq3k3k1k1v40v40v40m4s8	SAT	0.01
Qq3k3k1k1v40v40v40m8s0	SAT	0.01
Qq3k3k1k1v40v40v40m8s2	SAT	0.01
Qq3k3k1k1v40v40v40m8s7	SAT	0.01
Qq3k3k1k1v40v40v40m8s8	SAT	0.01
Qq3k3k1k1v40v40v40m16s0	SAT	0.01
Qq3k3k1k1v40v40v40m16s1	SAT	0.01
Qq3k3k1k1v40v40v40m16s3	SAT	0.01
Qq3k3k1k1v40v40v40m16s5	SAT	0.01
Qq3k3k1k1v40v40v40m16s7	SAT	0.01
Qq3k3k1k1v40v40v40m16s8	SAT	0.01
Qq3k3k1k1v40v40v40m16s9	SAT	0.01
Qq3k3k1k1v40v40v40m32s0	SAT	0.01
Qq3k3k1k1v40v40v40m32s3	SAT	0.01
Qq3k3k1k1v40v40v40m32s5	SAT	0.01
Qq3k3k1k1v40v40v40m32s9	SAT	0.01
Qq3k3k1k1v80v80v80m2s3	SAT	0.01
Qq3k3k1k1v80v80v80m2s4	SAT	0.01
Qq3k3k1k1v80v80v80m4s1	SAT	0.01
Qq3k3k1k1v80v80v80m4s7	SAT	0.01
Qq3k3k1k1v80v80v80m4s8	SAT	0.01
Qq3k3k1k1v80v80v80m8s1	SAT	0.01
Qq3k3k1k1v80v80v80m8s2	SAT	0.01
Qq3k3k1k1v80v80v80m8s3	SAT	0.01
Qq3k3k1k1v80v80v80m8s4	SAT	0.01
Qq3k3k1k1v80v80v80m8s5	SAT	0.01
Qq3k3k1k1v80v80v80m8s6	SAT	0.01
Qq3k3k1k1v80v80v80m8s9	SAT	0.01
Qq3k3k1k1v80v80v80m16s2	SAT	0.01
Qq3k3k1k1v80v80v80m16s3	SAT	0.01
Qq3k3k1k1v80v80v80m16s4	SAT	0.01
Qq3k3k1k1v80v80v80m16s7	SAT	0.01
Qq3k3k1k1v80v80v80m16s8	SAT	0.01
Qq3k3k1k1v80v80v80m32s1	SAT	0.01
Qq3k3k1k1v80v80v80m32s2	SAT	0.01
Qq3k3k1k1v80v80v80m32s4	SAT	0.01
Qq3k3k1k1v80v80v80m32s8	SAT	0.01
3qbf-5cnf-80var-320cl.1	SAT	0.02
6qbf-5cnf-40var-640cl.9	UNSAT	0.02
ncf_4_8_2_u.1	UNSAT	0.02
6qbf-5cnf-20var-640cl.4	UNSAT	0.02
ncf_4_8_4_euad.9	SAT	0.02
ncf_4_16_2_d.6	SAT	0.02
6qbf-5cnf-20var-320cl.5	UNSAT	0.02
6qbf-5cnf-20var-640cl.7	UNSAT	0.02
6qbf-5cnf-20var-640cl.0	UNSAT	0.02
lut4_2_fXOR	SAT	0.02
5qbf-5cnf-40var-640cl.1	UNSAT	0.02
ncf_8_16_4_u.2	UNSAT	0.02
ncf_16_32_2_u.6	SAT	0.02
3qbf-5cnf-20var-160cl.0	SAT	0.02
5qbf-5cnf-20var-640cl.1	UNSAT	0.02
ncf_4_16_2_euad.7	SAT	0.02
4qbf-5cnf-20var-640cl.4	UNSAT	0.02
3qbf-5cnf-160var-640cl.0	SAT	0.02
3qbf-5cnf-80var-320cl.0	SAT	0.02
3qbf-5cnf-20var-320cl.8	UNSAT	0.02
ncf_4_8_4_u.9	SAT	0.02
4qbf-5cnf-20var-640cl.1	UNSAT	0.02
4qbf-5cnf-20var-320cl.8	UNSAT	0.02
4qbf-5cnf-40var-640cl.5	UNSAT	0.02
4qbf-5cnf-20var-640cl.7	UNSAT	0.02
6qbf-5cnf-20var-320cl.6	UNSAT	0.02
4qbf-5cnf-20var-640cl.5	UNSAT	0.02
4qbf-5cnf-20var-320cl.1	UNSAT	0.02
5qbf-5cnf-40var-320cl.2	SAT	0.02
4qbf-5cnf-40var-640cl.2	UNSAT	0.02
ncf_8_16_4_edau.1	SAT	0.02
5qbf-5cnf-20var-640cl.3	UNSAT	0.02
6qbf-5cnf-20var-640cl.1	UNSAT	0.02
3qbf-5cnf-20var-320cl.1	UNSAT	0.02
2qbf-5cnf-40var-640cl.2	UNSAT	0.02
5qbf-5cnf-160var-640cl.6	SAT	0.02
6qbf-5cnf-160var-640cl.8	SAT	0.02
ncf_8_16_4_u.5	UNSAT	0.02
6qbf-5cnf-20var-320cl.3	UNSAT	0.02
5qbf-5cnf-20var-320cl.6	UNSAT	0.02
5qbf-5cnf-160var-640cl.2	SAT	0.02
5qbf-5cnf-160var-640cl.0	SAT	0.02
2qbf-5cnf-40var-640cl.5	UNSAT	0.02
ncf_4_8_2_u.8	SAT	0.02
2qbf-5cnf-40var-640cl.6	UNSAT	0.02
ncf_4_8_2_u.5	SAT	0.02
4qbf-5cnf-40var-640cl.0	UNSAT	0.02
3qbf-5cnf-80var-320cl.8	SAT	0.02
3qbf-5cnf-160var-640cl.6	SAT	0.02
ncf_16_32_2_d.9	UNSAT	0.02
4qbf-5cnf-40var-640cl.8	UNSAT	0.02
3qbf-5cnf-80var-320cl.4	SAT	0.02
3qbf-5cnf-20var-320cl.4	UNSAT	0.02
5qbf-5cnf-20var-320cl.5	UNSAT	0.02
2qbf-5cnf-40var-640cl.3	UNSAT	0.02
3qbf-5cnf-20var-320cl.7	UNSAT	0.02
ncf_4_8_2_euad.5	SAT	0.02
ncf_4_8_2_euad.7	UNSAT	0.02
ncf_4_8_2_u.6	SAT	0.02
5qbf-5cnf-40var-640cl.8	UNSAT	0.02
4qbf-5cnf-20var-640cl.3	UNSAT	0.02
3qbf-5cnf-160var-640cl.1	SAT	0.02
3qbf-5cnf-80var-320cl.5	SAT	0.02
4qbf-5cnf-20var-320cl.5	UNSAT	0.02
2qbf-5cnf-40var-640cl.8	UNSAT	0.02
5qbf-5cnf-40var-320cl.4	SAT	0.02
x10.4	SAT	0.02
x5.1	UNSAT	0.02
x5.9	UNSAT	0.02
cmu.dme2.B-d2	SAT	0.02
eijk.S208.S-d2	SAT	0.02
eijk.S444.S-d2	SAT	0.02
nusmv.dme1-16.B-d2	SAT	0.02
Qq2k1k4v40v40m2s2	SAT	0.02
Qq2k1k4v40v40m2s4	SAT	0.02
Qq2k1k4v40v40m2s6	SAT	0.02
Qq2k1k4v40v40m2s9	SAT	0.02
Qq2k1k4v40v40m4s5	SAT	0.02
Qq2k1k4v40v40m8s1	SAT	0.02
Qq2k1k4v40v40m16s7	SAT	0.02
Qq2k1k4v40v40m32s4	UNSAT	0.02
Qq2k1k4v40v40m32s5	UNSAT	0.02
Qq2k1k4v40v40m32s9	UNSAT	0.02
Qq2k1k4v80v80m2s4	SAT	0.02
Qq2k1k4v80v80m2s6	SAT	0.02
Qq2k1k4v80v80m2s8	SAT	0.02
Qq2k1k4v80v80m4s6	SAT	0.02
Qq2k1k4v80v80m4s7	SAT	0.02
Qq2k1k4v80v80m4s8	SAT	0.02
Qq2k1k4v80v80m8s0	SAT	0.02
Qq2k1k4v80v80m8s2	SAT	0.02
Qq2k1k4v80v80m8s4	SAT	0.02
Qq2k1k4v80v80m16s5	SAT	0.02
Qq2k1k4v80v80m16s6	SAT	0.02
Qq2k2k3v40v40m2s0	SAT	0.02
Qq2k2k3v40v40m2s5	SAT	0.02
Qq2k2k3v40v40m2s8	SAT	0.02
Qq2k2k3v40v40m4s2	SAT	0.02
Qq2k2k3v40v40m4s4	SAT	0.02
Qq2k2k3v40v40m4s7	SAT	0.02
Qq2k2k3v40v40m8s3	SAT	0.02
Qq2k2k3v40v40m8s5	SAT	0.02
Qq2k2k3v40v40m16s3	SAT	0.02
Qq2k2k3v40v40m16s4	SAT	0.02
Qq2k2k3v40v40m16s5	SAT	0.02
Qq2k2k3v40v40m16s9	SAT	0.02
Qq2k2k3v40v40m32s0	SAT	0.02
Qq2k2k3v40v40m32s3	SAT	0.02
Qq2k2k3v80v80m4s1	SAT	0.02
Qq2k2k3v80v80m4s4	SAT	0.02
Qq2k2k3v80v80m4s7	SAT	0.02
Qq2k2k3v80v80m8s1	SAT	0.02
Qq2k2k3v80v80m8s5	SAT	0.02
Qq2k2k3v80v80m8s7	SAT	0.02
Qq2k2k3v80v80m16s3	SAT	0.02
Qq2k2k3v80v80m16s4	SAT	0.02
Qq2k2k3v80v80m16s6	SAT	0.02
Qq2k2k3v80v80m16s8	SAT	0.02
Qq2k2k3v80v80m32s3	SAT	0.02
Qq2k3k2v40v40m2s2	SAT	0.02
Qq2k3k2v40v40m2s3	SAT	0.02
Qq2k3k2v40v40m4s6	SAT	0.02
Qq2k3k2v40v40m8s5	SAT	0.02
Qq2k3k2v40v40m32s1	SAT	0.02
Qq2k3k2v40v40m32s5	SAT	0.02
Qq2k3k2v80v80m2s2	SAT	0.02
Qq2k3k2v80v80m2s7	SAT	0.02
Qq2k3k2v80v80m2s8	SAT	0.02
Qq2k3k2v80v80m4s7	SAT	0.02
Qq2k3k2v80v80m4s9	SAT	0.02
Qq2k3k2v80v80m8s4	SAT	0.02
Qq2k3k2v80v80m16s1	SAT	0.02
Qq2k3k2v80v80m16s4	SAT	0.02
Qq2k3k2v80v80m16s6	SAT	0.02
Qq2k3k2v80v80m16s8	SAT	0.02
Qq3k1k1k3v40v40v40m2s4	SAT	0.02
Qq3k1k1k3v40v40v40m2s7	SAT	0.02
Qq3k1k1k3v40v40v40m2s8	SAT	0.02
Qq3k1k1k3v40v40v40m4s0	SAT	0.02
Qq3k1k1k3v40v40v40m4s6	SAT	0.02
Qq3k1k1k3v40v40v40m8s0	SAT	0.02
Qq3k1k1k3v40v40v40m8s4	SAT	0.02
Qq3k1k1k3v40v40v40m16s3	SAT	0.02
Qq3k1k1k3v40v40v40m16s4	SAT	0.02
Qq3k1k1k3v40v40v40m16s6	SAT	0.02
Qq3k1k1k3v40v40v40m16s9	SAT	0.02
Qq3k1k1k3v40v40v40m32s1	SAT	0.02
Qq3k1k1k3v40v40v40m32s4	SAT	0.02
Qq3k1k1k3v40v40v40m32s8	SAT	0.02
Qq3k1k1k3v80v80v80m2s5	SAT	0.02
Qq3k1k1k3v80v80v80m2s9	SAT	0.02
Qq3k1k1k3v80v80v80m4s1	SAT	0.02
Qq3k1k1k3v80v80v80m4s9	SAT	0.02
Qq3k1k1k3v80v80v80m8s0	SAT	0.02
Qq3k1k1k3v80v80v80m8s1	SAT	0.02
Qq3k1k1k3v80v80v80m8s8	SAT	0.02
Qq3k1k1k3v80v80v80m16s5	SAT	0.02
Qq3k1k1k3v80v80v80m16s8	SAT	0.02
Qq3k1k1k3v80v80v80m16s9	SAT	0.02
Qq3k1k1k3v80v80v80m32s1	SAT	0.02
Qq3k1k1k3v80v80v80m32s2	SAT	0.02
Qq3k1k1k3v80v80v80m32s9	SAT	0.02
Qq3k1k2k2v40v40v40m2s4	SAT	0.02
Qq3k1k2k2v40v40v40m2s5	SAT	0.02
Qq3k1k2k2v40v40v40m2s7	SAT	0.02
Qq3k1k2k2v40v40v40m4s3	SAT	0.02
Qq3k1k2k2v40v40v40m8s1	SAT	0.02
Qq3k1k2k2v40v40v40m8s2	SAT	0.02
Qq3k1k2k2v40v40v40m8s4	SAT	0.02
Qq3k1k2k2v40v40v40m8s6	SAT	0.02
Qq3k1k2k2v40v40v40m16s0	SAT	0.02
Qq3k1k2k2v40v40v40m16s4	SAT	0.02
Qq3k1k2k2v40v40v40m16s9	SAT	0.02
Qq3k1k2k2v40v40v40m32s0	SAT	0.02
Qq3k1k2k2v40v40v40m32s2	SAT	0.02
Qq3k1k2k2v40v40v40m32s5	SAT	0.02
Qq3k1k2k2v40v40v40m32s7	SAT	0.02
Qq3k1k2k2v80v80v80m2s3	SAT	0.02
Qq3k1k2k2v80v80v80m4s1	SAT	0.02
Qq3k1k2k2v80v80v80m4s2	SAT	0.02
Qq3k1k2k2v80v80v80m4s4	SAT	0.02
Qq3k1k2k2v80v80v80m4s9	SAT	0.02
Qq3k1k2k2v80v80v80m8s0	SAT	0.02
Qq3k1k2k2v80v80v80m8s2	SAT	0.02
Qq3k1k2k2v80v80v80m8s8	SAT	0.02
Qq3k1k2k2v80v80v80m16s2	SAT	0.02
Qq3k1k2k2v80v80v80m16s3	SAT	0.02
Qq3k1k2k2v80v80v80m16s6	SAT	0.02
Qq3k1k2k2v80v80v80m16s8	SAT	0.02
Qq3k1k2k2v80v80v80m32s3	SAT	0.02
Qq3k1k3k1v40v40v40m2s4	SAT	0.02
Qq3k1k3k1v40v40v40m8s2	SAT	0.02
Qq3k1k3k1v40v40v40m8s5	SAT	0.02
Qq3k1k3k1v40v40v40m8s8	SAT	0.02
Qq3k1k3k1v40v40v40m8s9	SAT	0.02
Qq3k1k3k1v40v40v40m16s1	SAT	0.02
Qq3k1k3k1v40v40v40m16s3	SAT	0.02
Qq3k1k3k1v40v40v40m32s5	SAT	0.02
Qq3k1k3k1v40v40v40m32s9	SAT	0.02
Qq3k1k3k1v80v80v80m2s6	SAT	0.02
Qq3k1k3k1v80v80v80m4s3	SAT	0.02
Qq3k1k3k1v80v80v80m4s8	SAT	0.02
Qq3k1k3k1v80v80v80m8s1	SAT	0.02
Qq3k1k3k1v80v80v80m8s4	SAT	0.02
Qq3k1k3k1v80v80v80m8s8	SAT	0.02
Qq3k1k3k1v80v80v80m16s2	SAT	0.02
Qq3k1k3k1v80v80v80m16s6	SAT	0.02
Qq3k1k3k1v80v80v80m16s9	SAT	0.02
Qq3k1k3k1v80v80v80m32s2	SAT	0.02
Qq3k2k1k2v40v40v40m2s2	SAT	0.02
Qq3k2k1k2v40v40v40m2s3	SAT	0.02
Qq3k2k1k2v40v40v40m8s3	SAT	0.02
Qq3k2k1k2v40v40v40m8s5	SAT	0.02
Qq3k2k1k2v40v40v40m16s0	SAT	0.02
Qq3k2k1k2v40v40v40m16s7	SAT	0.02
Qq3k2k1k2v40v40v40m32s2	SAT	0.02
Qq3k2k1k2v40v40v40m32s4	SAT	0.02
Qq3k2k1k2v40v40v40m32s5	SAT	0.02
Qq3k2k1k2v40v40v40m32s8	SAT	0.02
Qq3k2k1k2v80v80v80m2s1	SAT	0.02
Qq3k2k1k2v80v80v80m2s6	SAT	0.02
Qq3k2k1k2v80v80v80m4s0	SAT	0.02
Qq3k2k1k2v80v80v80m8s3	SAT	0.02
Qq3k2k1k2v80v80v80m8s7	SAT	0.02
Qq3k2k1k2v80v80v80m16s0	SAT	0.02
Qq3k2k1k2v80v80v80m16s4	SAT	0.02
Qq3k2k1k2v80v80v80m32s0	SAT	0.02
Qq3k2k1k2v80v80v80m32s8	SAT	0.02
Qq3k2k2k1v40v40v40m2s4	SAT	0.02
Qq3k2k2k1v40v40v40m2s8	SAT	0.02
Qq3k2k2k1v40v40v40m4s2	SAT	0.02
Qq3k2k2k1v40v40v40m4s3	SAT	0.02
Qq3k2k2k1v40v40v40m4s4	SAT	0.02
Qq3k2k2k1v40v40v40m4s5	SAT	0.02
Qq3k2k2k1v40v40v40m4s6	SAT	0.02
Qq3k2k2k1v40v40v40m4s8	SAT	0.02
Qq3k2k2k1v40v40v40m8s2	SAT	0.02
Qq3k2k2k1v40v40v40m8s3	SAT	0.02
Qq3k2k2k1v40v40v40m8s7	SAT	0.02
Qq3k2k2k1v40v40v40m16s5	SAT	0.02
Qq3k2k2k1v40v40v40m16s6	SAT	0.02
Qq3k2k2k1v40v40v40m32s0	SAT	0.02
Qq3k2k2k1v40v40v40m32s3	SAT	0.02
Qq3k2k2k1v40v40v40m32s6	SAT	0.02
Qq3k2k2k1v80v80v80m2s1	SAT	0.02
Qq3k2k2k1v80v80v80m2s8	SAT	0.02
Qq3k2k2k1v80v80v80m4s2	SAT	0.02
Qq3k2k2k1v80v80v80m4s6	SAT	0.02
Qq3k2k2k1v80v80v80m4s7	SAT	0.02
Qq3k2k2k1v80v80v80m8s5	SAT	0.02
Qq3k2k2k1v80v80v80m16s2	SAT	0.02
Qq3k2k2k1v80v80v80m16s3	SAT	0.02
Qq3k2k2k1v80v80v80m16s5	SAT	0.02
Qq3k2k2k1v80v80v80m16s9	SAT	0.02
Qq3k2k2k1v80v80v80m32s0	SAT	0.02
Qq3k2k2k1v80v80v80m32s1	SAT	0.02
Qq3k2k2k1v80v80v80m32s2	SAT	0.02
Qq3k2k2k1v80v80v80m32s9	SAT	0.02
Qq3k3k1k1v40v40v40m2s2	SAT	0.02
Qq3k3k1k1v40v40v40m2s9	SAT	0.02
Qq3k3k1k1v40v40v40m4s9	SAT	0.02
Qq3k3k1k1v40v40v40m8s3	SAT	0.02
Qq3k3k1k1v40v40v40m8s4	SAT	0.02
Qq3k3k1k1v40v40v40m8s5	SAT	0.02
Qq3k3k1k1v40v40v40m8s9	SAT	0.02
Qq3k3k1k1v40v40v40m32s4	SAT	0.02
Qq3k3k1k1v40v40v40m32s6	SAT	0.02
Qq3k3k1k1v80v80v80m2s1	SAT	0.02
Qq3k3k1k1v80v80v80m2s5	SAT	0.02
Qq3k3k1k1v80v80v80m2s8	SAT	0.02
Qq3k3k1k1v80v80v80m4s3	SAT	0.02
Qq3k3k1k1v80v80v80m4s4	SAT	0.02
Qq3k3k1k1v80v80v80m8s7	SAT	0.02
Qq3k3k1k1v80v80v80m8s8	SAT	0.02
Qq3k3k1k1v80v80v80m32s0	SAT	0.02
Qq3k3k1k1v80v80v80m32s5	SAT	0.02
Qq3k3k1k1v80v80v80m32s6	SAT	0.02
Qq2k3k2v80v80m32s9	SAT	0.02
ncf_8_16_4_d.1	SAT	0.03
ncf_4_8_2_euad.8	SAT	0.03
4qbf-5cnf-20var-320cl.3	UNSAT	0.03
6qbf-5cnf-20var-640cl.3	UNSAT	0.03
ncf_4_8_2_u.7	UNSAT	0.03
5qbf-5cnf-160var-640cl.8	SAT	0.03
ncf_8_16_4_d.10	SAT	0.03
6qbf-5cnf-160var-640cl.2	SAT	0.03
5qbf-5cnf-160var-640cl.3	SAT	0.03
ncf_4_8_8_u.9	UNSAT	0.03
4qbf-5cnf-40var-1280cl.3	UNSAT	0.03
ncf_4_8_2_euad.4	UNSAT	0.03
3qbf-5cnf-40var-640cl.5	UNSAT	0.03
3qbf-5cnf-80var-320cl.9	SAT	0.03
4qbf-5cnf-80var-320cl.5	SAT	0.03
4qbf-5cnf-20var-640cl.8	UNSAT	0.03
ncf_16_32_2_u.9	UNSAT	0.03
ncf_4_8_2_euad.6	SAT	0.03
3qbf-5cnf-40var-640cl.6	UNSAT	0.03
ncf_4_8_4_u.6	SAT	0.03
s27_d4_u	UNSAT	0.03
3qbf-5cnf-20var-160cl.7	SAT	0.03
ncf_8_16_4_euad.10	SAT	0.03
4qbf-5cnf-80var-320cl.6	SAT	0.03
2qbf-5cnf-80var-1280cl.6	UNSAT	0.03
5qbf-5cnf-20var-640cl.0	UNSAT	0.03
ncf_4_16_2_u.6	SAT	0.03
3qbf-5cnf-40var-320cl.6	SAT	0.03
3qbf-5cnf-80var-320cl.3	SAT	0.03
6qbf-5cnf-20var-640cl.8	UNSAT	0.03
6qbf-5cnf-160var-640cl.9	SAT	0.03
4qbf-5cnf-40var-640cl.3	UNSAT	0.03
ncf_4_16_4_edau.5	SAT	0.03
ncf_16_32_2_euad.9	UNSAT	0.03
ncf_8_16_4_u.1	SAT	0.03
4qbf-5cnf-20var-320cl.6	UNSAT	0.03
4qbf-5cnf-20var-640cl.9	UNSAT	0.03
5qbf-5cnf-20var-320cl.3	UNSAT	0.03
6qbf-5cnf-160var-640cl.6	SAT	0.03
5qbf-5cnf-20var-640cl.6	UNSAT	0.03
4qbf-5cnf-20var-320cl.0	UNSAT	0.03
5qbf-5cnf-40var-320cl.9	SAT	0.03
3qbf-5cnf-160var-640cl.7	SAT	0.03
5qbf-5cnf-80var-640cl.3	SAT	0.03
5qbf-5cnf-40var-320cl.5	SAT	0.03
ncf_4_8_8_euad.9	UNSAT	0.03
ncf_4_16_4_euad.5	SAT	0.03
ncf_4_8_4_euad.2	UNSAT	0.03
6qbf-5cnf-40var-1280cl.2	UNSAT	0.03
ncf_4_32_2_edau.2	SAT	0.03
4qbf-5cnf-20var-160cl.8	UNSAT	0.03
3qbf-5cnf-20var-160cl.3	SAT	0.03
6qbf-5cnf-160var-640cl.5	SAT	0.03
5qbf-5cnf-20var-320cl.4	UNSAT	0.03
3qbf-5cnf-80var-320cl.2	SAT	0.03
6qbf-5cnf-160var-640cl.0	SAT	0.03
4qbf-5cnf-20var-320cl.7	UNSAT	0.03
2qbf-5cnf-40var-640cl.0	UNSAT	0.03
ncf_8_16_4_d.2	UNSAT	0.03
5qbf-5cnf-40var-1280cl.5	UNSAT	0.03
5qbf-5cnf-160var-640cl.5	SAT	0.03
ncf_4_8_2_euad.10	SAT	0.03
3qbf-5cnf-160var-640cl.5	SAT	0.03
6qbf-5cnf-20var-320cl.1	UNSAT	0.03
5qbf-5cnf-20var-640cl.4	UNSAT	0.03
ncf_4_8_2_euad.2	SAT	0.03
6qbf-5cnf-40var-1280cl.8	UNSAT	0.03
ncf_4_8_4_u.2	UNSAT	0.03
x10.3	UNSAT	0.03
x10.5	UNSAT	0.03
x10.7	SAT	0.03
x10.8	UNSAT	0.03
x15.6	UNSAT	0.03
x5.4	UNSAT	0.03
eijk.S208o.S-d2	SAT	0.03
Qq2k1k4v40v40m4s0	SAT	0.03
Qq2k1k4v40v40m16s1	SAT	0.03
Qq2k1k4v80v80m2s3	SAT	0.03
Qq2k1k4v80v80m4s4	SAT	0.03
Qq2k1k4v80v80m8s6	SAT	0.03
Qq2k1k4v80v80m8s9	SAT	0.03
Qq2k1k4v80v80m16s9	SAT	0.03
Qq2k2k3v40v40m16s7	SAT	0.03
Qq2k2k3v40v40m16s8	SAT	0.03
Qq2k2k3v40v40m32s7	SAT	0.03
Qq2k2k3v80v80m2s1	SAT	0.03
Qq2k2k3v80v80m32s4	SAT	0.03
Qq2k2k3v80v80m32s7	SAT	0.03
Qq2k3k2v40v40m4s2	SAT	0.03
Qq2k3k2v40v40m8s4	SAT	0.03
Qq2k3k2v40v40m32s2	SAT	0.03
Qq2k3k2v40v40m32s9	SAT	0.03
Qq2k3k2v80v80m32s2	SAT	0.03
Qq2k3k2v80v80m32s6	SAT	0.03
Qq3k1k1k3v40v40v40m2s2	SAT	0.03
Qq3k1k1k3v40v40v40m4s4	SAT	0.03
Qq3k1k1k3v40v40v40m8s9	SAT	0.03
Qq3k1k1k3v40v40v40m32s9	SAT	0.03
Qq3k1k1k3v80v80v80m8s9	SAT	0.03
Qq3k1k1k3v80v80v80m16s1	SAT	0.03
Qq3k1k1k3v80v80v80m32s4	SAT	0.03
Qq3k1k1k3v80v80v80m32s8	SAT	0.03
Qq3k1k2k2v40v40v40m2s2	SAT	0.03
Qq3k1k2k2v40v40v40m8s7	SAT	0.03
Qq3k1k2k2v40v40v40m8s9	SAT	0.03
Qq3k1k2k2v80v80v80m2s2	SAT	0.03
Qq3k1k2k2v80v80v80m16s9	SAT	0.03
Qq3k1k2k2v80v80v80m32s4	SAT	0.03
Qq3k1k2k2v80v80v80m32s5	SAT	0.03
Qq3k1k3k1v40v40v40m8s7	SAT	0.03
Qq3k1k3k1v40v40v40m32s1	SAT	0.03
Qq3k1k3k1v40v40v40m32s4	SAT	0.03
Qq3k1k3k1v80v80v80m4s7	SAT	0.03
Qq3k1k3k1v80v80v80m8s3	SAT	0.03
Qq3k1k3k1v80v80v80m16s0	SAT	0.03
Qq3k1k3k1v80v80v80m16s7	SAT	0.03
Qq3k1k3k1v80v80v80m32s5	SAT	0.03
Qq3k2k1k2v40v40v40m2s9	SAT	0.03
Qq3k2k1k2v40v40v40m16s6	SAT	0.03
Qq3k2k1k2v40v40v40m32s9	SAT	0.03
Qq3k2k1k2v80v80v80m4s5	SAT	0.03
Qq3k2k1k2v80v80v80m4s6	SAT	0.03
Qq3k2k1k2v80v80v80m8s2	SAT	0.03
Qq3k2k1k2v80v80v80m8s9	SAT	0.03
Qq3k2k1k2v80v80v80m32s9	SAT	0.03
Qq3k2k2k1v40v40v40m8s4	SAT	0.03
Qq3k2k2k1v40v40v40m8s8	SAT	0.03
Qq3k2k2k1v40v40v40m8s9	SAT	0.03
Qq3k2k2k1v40v40v40m16s3	SAT	0.03
Qq3k2k2k1v80v80v80m4s8	SAT	0.03
Qq3k2k2k1v80v80v80m8s8	SAT	0.03
Qq3k2k2k1v80v80v80m16s1	SAT	0.03
Qq3k2k2k1v80v80v80m16s7	SAT	0.03
Qq3k2k2k1v80v80v80m32s3	SAT	0.03
Qq3k2k2k1v80v80v80m32s5	SAT	0.03
Qq3k2k2k1v80v80v80m32s8	SAT	0.03
Qq3k3k1k1v40v40v40m2s3	SAT	0.03
Qq3k3k1k1v40v40v40m4s1	SAT	0.03
Qq3k3k1k1v40v40v40m4s3	SAT	0.03
Qq3k3k1k1v40v40v40m8s6	SAT	0.03
Qq3k3k1k1v40v40v40m32s1	SAT	0.03
Qq3k3k1k1v40v40v40m32s2	SAT	0.03
Qq3k3k1k1v80v80v80m2s0	SAT	0.03
Qq3k3k1k1v80v80v80m2s2	SAT	0.03
Qq3k3k1k1v80v80v80m4s0	SAT	0.03
Qq3k3k1k1v80v80v80m32s9	SAT	0.03
3qbf-5cnf-20var-160cl.9	SAT	0.04
5qbf-5cnf-40var-1280cl.7	UNSAT	0.04
6qbf-5cnf-40var-1280cl.5	UNSAT	0.04
6qbf-5cnf-20var-160cl.4	SAT	0.04
ncf_4_16_2_d.2	SAT	0.04
4qbf-5cnf-80var-320cl.0	SAT	0.04
5qbf-5cnf-40var-320cl.1	SAT	0.04
5qbf-5cnf-160var-640cl.1	SAT	0.04
4qbf-5cnf-80var-1280cl.5	UNSAT	0.04
6qbf-5cnf-20var-320cl.9	UNSAT	0.04
s27_d5_u	UNSAT	0.04
6qbf-5cnf-40var-1280cl.0	UNSAT	0.04
6qbf-5cnf-20var-160cl.8	SAT	0.04
4qbf-5cnf-40var-640cl.9	UNSAT	0.04
3qbf-5cnf-80var-320cl.7	SAT	0.04
ncf_4_16_2_edau.4	SAT	0.04
5qbf-5cnf-40var-640cl.5	UNSAT	0.04
6qbf-5cnf-20var-320cl.8	UNSAT	0.04
ncf_8_16_4_euad.5	UNSAT	0.04
5qbf-5cnf-40var-1280cl.9	UNSAT	0.04
ncf_4_8_2_euad.1	UNSAT	0.04
5qbf-5cnf-160var-640cl.4	SAT	0.04
ncf_8_16_4_edau.5	UNSAT	0.04
5qbf-5cnf-20var-640cl.8	UNSAT	0.04
6qbf-5cnf-40var-1280cl.6	UNSAT	0.04
3qbf-5cnf-20var-320cl.0	UNSAT	0.04
ncf_4_16_2_edau.2	SAT	0.04
4qbf-5cnf-40var-1280cl.6	UNSAT	0.04
3qbf-5cnf-40var-640cl.8	UNSAT	0.04
5qbf-5cnf-40var-1280cl.6	UNSAT	0.04
2qbf-5cnf-80var-1280cl.5	UNSAT	0.04
ncf_16_32_2_euad.6	SAT	0.04
ncf_16_32_4_euad.9	SAT	0.04
2qbf-5cnf-40var-640cl.9	UNSAT	0.04
5qbf-5cnf-160var-640cl.9	SAT	0.04
4qbf-5cnf-20var-320cl.2	UNSAT	0.04
4qbf-5cnf-20var-640cl.6	UNSAT	0.04
2qbf-5cnf-80var-1280cl.3	UNSAT	0.04
5qbf-5cnf-20var-640cl.7	UNSAT	0.04
ncf_8_16_4_edau.10	SAT	0.04
5qbf-5cnf-20var-640cl.2	UNSAT	0.04
6qbf-5cnf-20var-640cl.6	UNSAT	0.04
ncf_4_8_8_euad.4	SAT	0.04
6qbf-5cnf-20var-640cl.2	UNSAT	0.04
6qbf-5cnf-20var-640cl.9	UNSAT	0.04
4qbf-5cnf-40var-1280cl.0	UNSAT	0.04
3qbf-5cnf-40var-640cl.2	UNSAT	0.04
6qbf-5cnf-40var-1280cl.1	UNSAT	0.04
4qbf-5cnf-40var-1280cl.4	UNSAT	0.04
4qbf-5cnf-40var-1280cl.5	UNSAT	0.04
ncf_4_8_4_euad.6	SAT	0.04
ncf_8_16_4_d.5	UNSAT	0.04
ncf_4_8_4_u.7	UNSAT	0.04
4qbf-5cnf-40var-1280cl.8	UNSAT	0.04
6qbf-5cnf-40var-1280cl.9	UNSAT	0.04
3qbf-5cnf-20var-320cl.3	UNSAT	0.04
6qbf-5cnf-40var-640cl.8	UNSAT	0.04
5qbf-5cnf-20var-640cl.5	UNSAT	0.04
3qbf-5cnf-160var-640cl.9	SAT	0.04
4qbf-5cnf-80var-1280cl.4	UNSAT	0.04
6qbf-5cnf-40var-1280cl.4	UNSAT	0.04
4qbf-5cnf-20var-640cl.2	UNSAT	0.04
5qbf-5cnf-40var-320cl.7	SAT	0.04
3qbf-5cnf-160var-640cl.2	SAT	0.04
6qbf-5cnf-20var-160cl.3	UNSAT	0.04
5qbf-5cnf-160var-640cl.7	SAT	0.04
4qbf-5cnf-80var-1280cl.9	UNSAT	0.04
ncf_4_8_8_edau.9	UNSAT	0.04
6qbf-5cnf-40var-1280cl.7	UNSAT	0.04
6qbf-5cnf-20var-160cl.1	SAT	0.04
3qbf-5cnf-160var-640cl.4	SAT	0.04
2qbf-5cnf-40var-640cl.4	UNSAT	0.04
4qbf-5cnf-40var-1280cl.1	UNSAT	0.04
x10.2	UNSAT	0.04
x10.6	UNSAT	0.04
x15.0	UNSAT	0.04
x15.1	SAT	0.04
x15.3	SAT	0.04
x15.4	UNSAT	0.04
x15.5	UNSAT	0.04
x15.8	SAT	0.04
x5.5	UNSAT	0.04
x5.8	UNSAT	0.04
eijk.S382.S-d2	SAT	0.04
eijk.S386.S-d2	SAT	0.04
eijk.S526.S-d2	SAT	0.04
eijk.S953.S-d2	SAT	0.04
Qq2k1k4v80v80m16s4	SAT	0.04
Qq2k2k3v40v40m8s9	SAT	0.04
Qq2k2k3v80v80m4s0	SAT	0.04
Qq2k2k3v80v80m4s3	SAT	0.04
Qq2k3k2v80v80m2s1	SAT	0.04
Qq2k3k2v80v80m16s0	SAT	0.04
Qq3k1k1k3v40v40v40m4s3	SAT	0.04
Qq3k1k1k3v40v40v40m4s9	SAT	0.04
Qq3k1k1k3v80v80v80m2s2	SAT	0.04
Qq3k1k3k1v80v80v80m16s5	SAT	0.04
Qq3k2k1k2v80v80v80m32s1	SAT	0.04
Qq3k2k1k2v80v80v80m32s4	SAT	0.04
ncf_16_32_2_edau.6	SAT	0.05
ncf_8_16_4_d.4	SAT	0.05
ncf_4_16_4_u.5	SAT	0.05
5qbf-5cnf-40var-1280cl.0	UNSAT	0.05
4qbf-5cnf-40var-640cl.1	UNSAT	0.05
ncf_4_16_4_d.5	SAT	0.05
ncf_8_16_4_euad.1	SAT	0.05
3qbf-5cnf-160var-640cl.3	SAT	0.05
ncf_4_8_8_d.8	SAT	0.05
ncf_8_16_4_edau.2	UNSAT	0.05
ncf_16_32_2_d.7	UNSAT	0.05
4qbf-5cnf-40var-1280cl.7	UNSAT	0.05
5qbf-5cnf-20var-320cl.2	UNSAT	0.05
4qbf-5cnf-80var-2560cl.4	UNSAT	0.05
ncf_4_16_2_d.7	SAT	0.05
2qbf-5cnf-80var-1280cl.4	UNSAT	0.05
4qbf-5cnf-40var-1280cl.9	UNSAT	0.05
ncf_4_16_2_euad.9	SAT	0.05
ncf_16_32_4_u.9	SAT	0.05
5qbf-5cnf-80var-2560cl.1	UNSAT	0.05
4qbf-5cnf-40var-640cl.4	UNSAT	0.05
ncf_4_16_4_d.1	SAT	0.05
6qbf-5cnf-40var-1280cl.3	UNSAT	0.05
ncf_4_16_2_edau.7	SAT	0.05
5qbf-5cnf-40var-1280cl.3	UNSAT	0.05
6qbf-5cnf-20var-160cl.5	SAT	0.05
ncf_4_8_2_euad.3	UNSAT	0.05
ncf_4_16_2_edau.10	UNSAT	0.05
ncf_4_16_2_edau.9	SAT	0.05
2qbf-5cnf-80var-1280cl.2	UNSAT	0.05
ncf_4_16_2_d.1	UNSAT	0.05
ncf_16_32_2_u.7	UNSAT	0.05
3qbf-5cnf-80var-1280cl.2	UNSAT	0.05
ncf_16_32_2_d.6	SAT	0.05
5qbf-5cnf-40var-1280cl.4	UNSAT	0.05
6qbf-5cnf-40var-640cl.7	UNSAT	0.05
5qbf-5cnf-40var-1280cl.1	UNSAT	0.05
5qbf-5cnf-40var-1280cl.8	UNSAT	0.05
3qbf-5cnf-160var-640cl.8	SAT	0.05
ncf_4_8_8_edau.1	SAT	0.05
ncf_16_32_2_euad.7	UNSAT	0.05
6qbf-5cnf-160var-640cl.4	SAT	0.05
6qbf-5cnf-160var-640cl.7	SAT	0.05
ncf_4_16_2_u.7	SAT	0.05
6qbf-5cnf-160var-640cl.1	SAT	0.05
ncf_8_16_4_u.10	SAT	0.05
2qbf-5cnf-160var-2560cl.0	UNSAT	0.05
4qbf-5cnf-40var-640cl.6	UNSAT	0.05
6qbf-5cnf-20var-160cl.6	SAT	0.05
ncf_8_16_4_d.8	UNSAT	0.05
4qbf-5cnf-80var-1280cl.8	UNSAT	0.05
ncf_8_16_4_euad.2	UNSAT	0.05
5qbf-5cnf-40var-640cl.4	UNSAT	0.05
2qbf-5cnf-80var-1280cl.1	UNSAT	0.05
5qbf-5cnf-40var-320cl.0	SAT	0.05
ncf_4_16_2_u.9	SAT	0.05
2qbf-5cnf-80var-1280cl.9	UNSAT	0.05
ncf_4_8_8_d.4	SAT	0.05
ncf_8_16_4_edau.8	UNSAT	0.05
3qbf-5cnf-40var-640cl.4	UNSAT	0.05
6qbf-5cnf-160var-640cl.3	SAT	0.05
ncf_4_8_8_edau.8	SAT	0.05
x10.1	UNSAT	0.05
x10.9	UNSAT	0.05
x20.4	UNSAT	0.05
nusmv.dme2-16.B-d2	SAT	0.05
Qq3k1k1k3v40v40v40m8s5	SAT	0.05
3qbf-5cnf-80var-2560cl.9	UNSAT	0.06
3qbf-5cnf-40var-320cl.0	SAT	0.06
ncf_16_32_4_edau.1	SAT	0.06
ncf_4_8_8_edau.3	SAT	0.06
3qbf-5cnf-80var-2560cl.6	UNSAT	0.06
ncf_4_8_8_d.1	SAT	0.06
ncf_4_16_4_u.9	SAT	0.06
5qbf-5cnf-80var-2560cl.9	UNSAT	0.06
6qbf-5cnf-40var-640cl.5	UNSAT	0.06
2qbf-5cnf-160var-2560cl.2	UNSAT	0.06
ncf_4_16_2_d.10	UNSAT	0.06
6qbf-5cnf-20var-320cl.0	UNSAT	0.06
ncf_16_32_2_edau.9	UNSAT	0.06
ncf_4_16_4_edau.9	SAT	0.06
ncf_4_8_2_u.3	UNSAT	0.06
5qbf-5cnf-80var-2560cl.7	UNSAT	0.06
5qbf-5cnf-80var-2560cl.2	UNSAT	0.06
3qbf-5cnf-20var-320cl.5	UNSAT	0.06
4qbf-5cnf-80var-1280cl.0	UNSAT	0.06
ncf_4_16_2_d.9	SAT	0.06
3qbf-5cnf-80var-1280cl.3	UNSAT	0.06
4qbf-5cnf-80var-2560cl.7	UNSAT	0.06
ncf_8_16_4_d.6	UNSAT	0.06
5qbf-5cnf-40var-1280cl.2	UNSAT	0.06
2qbf-5cnf-80var-1280cl.8	UNSAT	0.06
ncf_16_32_4_d.9	SAT	0.06
4qbf-5cnf-80var-320cl.4	SAT	0.06
ncf_16_32_4_d.3	SAT	0.06
3qbf-5cnf-80var-2560cl.3	UNSAT	0.06
5qbf-5cnf-40var-640cl.0	UNSAT	0.06
x10.0	UNSAT	0.06
x15.2	UNSAT	0.06
x25.4	UNSAT	0.06
eijk.bs1512.S-d2	SAT	0.06
6qbf-5cnf-80var-2560cl.9	UNSAT	0.07
3qbf-5cnf-40var-320cl.7	SAT	0.07
4qbf-5cnf-80var-1280cl.7	UNSAT	0.07
5qbf-5cnf-40var-640cl.7	UNSAT	0.07
5qbf-5cnf-80var-2560cl.3	UNSAT	0.07
4qbf-5cnf-80var-1280cl.3	UNSAT	0.07
4qbf-5cnf-80var-2560cl.0	UNSAT	0.07
ncf_16_32_4_d.1	SAT	0.07
2qbf-5cnf-80var-1280cl.7	UNSAT	0.07
6qbf-5cnf-80var-2560cl.6	UNSAT	0.07
5qbf-5cnf-80var-2560cl.6	UNSAT	0.07
4qbf-5cnf-80var-2560cl.1	UNSAT	0.07
3qbf-5cnf-40var-640cl.3	UNSAT	0.07
ncf_4_16_2_d.5	UNSAT	0.07
4qbf-5cnf-80var-2560cl.8	UNSAT	0.07
4qbf-5cnf-160var-2560cl.1	UNSAT	0.07
5qbf-5cnf-40var-640cl.9	UNSAT	0.07
4qbf-5cnf-40var-1280cl.2	UNSAT	0.07
4qbf-5cnf-80var-1280cl.1	UNSAT	0.07
6qbf-5cnf-40var-640cl.6	UNSAT	0.07
6qbf-5cnf-80var-1280cl.3	UNSAT	0.07
ncf_4_16_2_d.8	SAT	0.07
6qbf-5cnf-40var-640cl.2	UNSAT	0.07
3qbf-5cnf-80var-2560cl.2	UNSAT	0.07
6qbf-5cnf-80var-2560cl.4	UNSAT	0.07
ncf_16_32_4_u.1	SAT	0.07
ncf_16_32_4_edau.9	SAT	0.07
ncf_16_32_2_edau.7	UNSAT	0.07
ncf_4_8_4_euad.7	UNSAT	0.07
3qbf-5cnf-80var-2560cl.8	UNSAT	0.07
4qbf-5cnf-80var-2560cl.2	UNSAT	0.07
4qbf-5cnf-80var-2560cl.9	UNSAT	0.07
5qbf-5cnf-80var-2560cl.8	UNSAT	0.07
5qbf-5cnf-80var-2560cl.0	UNSAT	0.07
ncf_4_16_4_edau.1	SAT	0.07
ncf_4_8_8_edau.4	SAT	0.07
x15.7	UNSAT	0.07
x20.8	SAT	0.07
x25.6	UNSAT	0.07
irst.dme4.B-d2	SAT	0.07
2qbf-5cnf-160var-2560cl.6	UNSAT	0.08
6qbf-5cnf-80var-2560cl.5	UNSAT	0.08
3qbf-5cnf-80var-2560cl.0	UNSAT	0.08
4qbf-5cnf-80var-1280cl.6	UNSAT	0.08
3qbf-5cnf-80var-2560cl.5	UNSAT	0.08
6qbf-5cnf-80var-2560cl.0	UNSAT	0.08
3qbf-5cnf-80var-2560cl.7	UNSAT	0.08
ncf_4_16_2_edau.1	UNSAT	0.08
4qbf-5cnf-80var-2560cl.6	UNSAT	0.08
2qbf-5cnf-160var-2560cl.4	UNSAT	0.08
ncf_8_16_4_u.6	UNSAT	0.08
ncf_16_32_4_edau.3	SAT	0.08
3qbf-5cnf-80var-2560cl.1	UNSAT	0.08
5qbf-5cnf-80var-2560cl.5	UNSAT	0.08
5qbf-5cnf-80var-1280cl.7	UNSAT	0.08
ncf_4_8_8_u.4	SAT	0.08
4qbf-5cnf-20var-160cl.0	UNSAT	0.08
ncf_4_32_2_edau.4	UNSAT	0.08
ncf_4_8_4_euad.1	SAT	0.08
3qbf-5cnf-80var-2560cl.4	UNSAT	0.08
4qbf-5cnf-80var-1280cl.2	UNSAT	0.08
s298_d2_s	SAT	0.08
x15.9	UNSAT	0.08
x20.1	UNSAT	0.08
x20.2	SAT	0.08
x20.3	UNSAT	0.08
x20.7	SAT	0.08
x20.9	SAT	0.08
irst.dme5.B-d2	SAT	0.08
vis.coherence^1.E-d2	SAT	0.08
vis.emodel.E-d2	SAT	0.08
ncf_4_16_4_d.9	SAT	0.09
ncf_4_32_2_edau.1	UNSAT	0.09
ncf_4_16_4_d.8	SAT	0.09
2qbf-5cnf-160var-320cl.0	SAT	0.09
4qbf-5cnf-80var-2560cl.5	UNSAT	0.09
6qbf-5cnf-80var-2560cl.1	UNSAT	0.09
5qbf-5cnf-80var-1280cl.6	UNSAT	0.09
ncf_4_8_4_u.1	SAT	0.09
ncf_4_8_4_euad.3	UNSAT	0.09
ncf_4_8_4_u.8	UNSAT	0.09
ncf_8_16_4_edau.4	SAT	0.09
ncf_8_16_4_edau.6	UNSAT	0.09
6qbf-5cnf-80var-1280cl.2	UNSAT	0.09
6qbf-5cnf-80var-2560cl.7	UNSAT	0.09
5qbf-5cnf-80var-2560cl.4	UNSAT	0.09
4qbf-5cnf-80var-2560cl.3	UNSAT	0.09
6qbf-5cnf-80var-2560cl.2	UNSAT	0.09
ncf_4_8_4_u.10	SAT	0.09
3qbf-5cnf-40var-320cl.4	SAT	0.09
6qbf-5cnf-20var-160cl.7	SAT	0.09
x20.0	SAT	0.09
x20.5	SAT	0.09
x20.6	SAT	0.09
eijk.S1423.S-d2	SAT	0.09
sortnetsort5.AE.stepl.003	SAT	0.09
ncf_4_16_2_edau.5	UNSAT	0.1
2qbf-5cnf-160var-320cl.2	SAT	0.1
ncf_8_16_4_euad.6	UNSAT	0.1
ncf_4_8_8_d.5	UNSAT	0.1
ncf_4_16_4_euad.9	SAT	0.1
5qbf-5cnf-80var-640cl.6	SAT	0.1
5qbf-5cnf-40var-640cl.3	UNSAT	0.1
6qbf-5cnf-20var-160cl.9	SAT	0.1
ncf_4_16_4_edau.8	SAT	0.1
ncf_4_8_8_d.3	SAT	0.1
toilet_c_10_05.7	SAT	0.1
ncf_8_16_4_u.8	UNSAT	0.1
6qbf-5cnf-80var-1280cl.9	UNSAT	0.1
ncf_4_8_4_u.3	UNSAT	0.1
ncf_8_16_8_edau.1	SAT	0.1
ncf_4_8_4_u.4	UNSAT	0.1
6qbf-5cnf-80var-2560cl.8	UNSAT	0.11
4qbf-5cnf-160var-2560cl.3	UNSAT	0.11
2qbf-5cnf-160var-2560cl.5	UNSAT	0.11
6qbf-5cnf-20var-160cl.0	SAT	0.11
ncf_4_8_4_euad.8	UNSAT	0.11
6qbf-5cnf-80var-2560cl.3	UNSAT	0.11
2qbf-5cnf-160var-2560cl.3	UNSAT	0.11
4qbf-5cnf-160var-5120cl.9	UNSAT	0.11
ncf_4_16_4_edau.4	UNSAT	0.11
5qbf-5cnf-40var-320cl.3	SAT	0.11
ncf_4_16_4_d.4	UNSAT	0.11
ncf_4_8_4_euad.10	SAT	0.11
x30.7	UNSAT	0.11
3qbf-5cnf-80var-1280cl.6	UNSAT	0.12
2qbf-5cnf-160var-5120cl.2	UNSAT	0.12
5qbf-5cnf-160var-5120cl.3	UNSAT	0.12
k_lin_p-8	UNSAT	0.12
4qbf-5cnf-160var-5120cl.2	UNSAT	0.12
2qbf-5cnf-160var-5120cl.7	UNSAT	0.12
ncf_8_16_4_euad.8	UNSAT	0.12
4qbf-5cnf-160var-5120cl.1	UNSAT	0.12
ncf_4_16_2_edau.8	SAT	0.12
2qbf-5cnf-160var-5120cl.8	UNSAT	0.12
ncf_16_32_2_d.2	UNSAT	0.12
ncf_8_16_8_d.1	SAT	0.12
6qbf-5cnf-80var-1280cl.8	UNSAT	0.12
x25.7	UNSAT	0.12
eijk.S820.S-d2	SAT	0.12
2qbf-5cnf-160var-2560cl.8	UNSAT	0.13
4qbf-5cnf-160var-2560cl.0	UNSAT	0.13
5qbf-5cnf-160var-5120cl.8	UNSAT	0.13
ncf_4_8_8_edau.5	UNSAT	0.13
5qbf-5cnf-160var-5120cl.5	UNSAT	0.13
4qbf-5cnf-160var-5120cl.3	UNSAT	0.13
ncf_8_16_8_edau.7	UNSAT	0.13
2qbf-5cnf-160var-5120cl.9	UNSAT	0.13
4qbf-5cnf-160var-5120cl.4	UNSAT	0.13
2qbf-5cnf-160var-2560cl.7	UNSAT	0.13
6qbf-5cnf-160var-5120cl.1	UNSAT	0.13
2qbf-5cnf-160var-5120cl.1	UNSAT	0.13
5qbf-5cnf-160var-5120cl.2	UNSAT	0.13
2qbf-5cnf-160var-5120cl.0	UNSAT	0.13
6qbf-5cnf-160var-2560cl.0	UNSAT	0.13
2qbf-5cnf-160var-5120cl.6	UNSAT	0.13
x25.9	UNSAT	0.13
x30.2	UNSAT	0.13
texas.ifetch1^4.E-f2	UNSAT	0.13
vis.emodel.E-f2	UNSAT	0.13
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.13
2qbf-5cnf-160var-5120cl.3	UNSAT	0.14
4qbf-5cnf-160var-2560cl.7	UNSAT	0.14
4qbf-5cnf-160var-2560cl.8	UNSAT	0.14
4qbf-5cnf-160var-5120cl.0	UNSAT	0.14
5qbf-5cnf-160var-5120cl.7	UNSAT	0.14
6qbf-5cnf-160var-5120cl.6	UNSAT	0.14
ncf_16_32_4_d.8	SAT	0.14
4qbf-5cnf-160var-5120cl.5	UNSAT	0.14
4qbf-5cnf-20var-160cl.3	UNSAT	0.14
4qbf-5cnf-160var-2560cl.2	UNSAT	0.14
4qbf-5cnf-160var-2560cl.6	UNSAT	0.14
4qbf-5cnf-40var-320cl.3	UNSAT	0.14
6qbf-5cnf-160var-5120cl.0	UNSAT	0.14
5qbf-5cnf-80var-1280cl.2	UNSAT	0.14
ncf_8_16_8_d.7	UNSAT	0.14
x25.5	UNSAT	0.14
sortnetsort5.AE.stepl.005	UNSAT	0.14
6qbf-5cnf-160var-5120cl.8	UNSAT	0.15
6qbf-5cnf-160var-5120cl.9	UNSAT	0.15
5qbf-5cnf-80var-1280cl.4	UNSAT	0.15
5qbf-5cnf-160var-5120cl.6	UNSAT	0.15
4qbf-5cnf-160var-5120cl.7	UNSAT	0.15
4qbf-5cnf-160var-2560cl.9	UNSAT	0.15
2qbf-5cnf-160var-2560cl.1	UNSAT	0.15
ncf_4_8_8_edau.2	UNSAT	0.15
6qbf-5cnf-160var-2560cl.7	UNSAT	0.15
4qbf-5cnf-160var-5120cl.8	UNSAT	0.15
2qbf-5cnf-160var-5120cl.4	UNSAT	0.15
3qbf-5cnf-40var-320cl.2	SAT	0.15
6qbf-5cnf-160var-5120cl.5	UNSAT	0.15
ncf_16_32_8_d.4	SAT	0.15
5qbf-5cnf-160var-5120cl.9	UNSAT	0.15
6qbf-5cnf-160var-2560cl.5	UNSAT	0.15
2qbf-5cnf-160var-5120cl.5	UNSAT	0.15
ncf_16_32_4_edau.8	SAT	0.15
4qbf-5cnf-160var-5120cl.6	UNSAT	0.15
x25.3	UNSAT	0.15
eijk.S832.S-d2	SAT	0.15
texas.ifetch1^1.E-f2	UNSAT	0.15
texas.ifetch1^3.E-f2	UNSAT	0.15
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.15
6qbf-5cnf-80var-1280cl.1	UNSAT	0.16
2qbf-5cnf-160var-320cl.5	SAT	0.16
6qbf-5cnf-160var-5120cl.7	UNSAT	0.16
ncf_16_32_2_edau.2	UNSAT	0.16
5qbf-5cnf-160var-5120cl.0	UNSAT	0.16
ncf_4_8_4_u.5	SAT	0.16
ncf_8_16_8_euad.1	SAT	0.16
5qbf-5cnf-160var-5120cl.4	UNSAT	0.16
ncf_4_16_2_edau.3	UNSAT	0.16
6qbf-5cnf-20var-320cl.4	UNSAT	0.16
ncf_4_16_4_d.7	SAT	0.16
x25.2	SAT	0.16
x30.5	UNSAT	0.16
x35.0	UNSAT	0.16
texas.ifetch1^2.E-f2	UNSAT	0.16
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.16
ncf_16_32_8_edau.4	SAT	0.17
ncf_4_16_4_edau.7	SAT	0.17
6qbf-5cnf-160var-5120cl.4	UNSAT	0.17
lut4_2_f1	SAT	0.17
x25.0	SAT	0.17
x25.8	UNSAT	0.17
x45.6	UNSAT	0.17
2qbf-5cnf-160var-2560cl.9	UNSAT	0.18
5qbf-5cnf-40var-320cl.8	SAT	0.18
5qbf-5cnf-80var-1280cl.9	UNSAT	0.18
5qbf-5cnf-160var-5120cl.1	UNSAT	0.18
ncf_4_8_4_euad.5	SAT	0.18
k_ph_n-8	SAT	0.18
4qbf-5cnf-160var-2560cl.4	UNSAT	0.18
5qbf-5cnf-80var-1280cl.1	UNSAT	0.18
ncf_16_32_2_d.8	UNSAT	0.18
6qbf-5cnf-20var-160cl.2	SAT	0.18
x25.1	SAT	0.18
texas.parsesys^4.E-f2	UNSAT	0.18
5qbf-5cnf-20var-320cl.1	UNSAT	0.19
ncf_4_16_4_edau.6	UNSAT	0.19
ncf_8_16_8_d.6	UNSAT	0.19
6qbf-5cnf-80var-1280cl.0	UNSAT	0.19
mutex-16-s	SAT	0.19
s499_d2_s	SAT	0.19
ncf_4_8_4_euad.4	UNSAT	0.19
x40.4	UNSAT	0.19
ncf_4_16_2_d.3	UNSAT	0.2
ncf_8_16_8_edau.6	UNSAT	0.2
3qbf-5cnf-80var-1280cl.5	UNSAT	0.2
5qbf-5cnf-80var-1280cl.5	UNSAT	0.2
4qbf-5cnf-160var-2560cl.5	UNSAT	0.2
x45.0	UNSAT	0.2
ncf_16_32_2_edau.5	UNSAT	0.21
6qbf-5cnf-160var-2560cl.8	UNSAT	0.21
3qbf-5cnf-40var-320cl.9	SAT	0.21
x40.8	UNSAT	0.21
sortnetsort6.AE.stepl.003	SAT	0.21
ncf_4_16_2_euad.8	SAT	0.22
s386_d2_s	SAT	0.22
ncf_4_16_8_d.7	SAT	0.22
6qbf-5cnf-160var-5120cl.2	UNSAT	0.22
3qbf-5cnf-40var-640cl.0	UNSAT	0.22
ncf_4_8_8_d.2	UNSAT	0.22
ncf_4_32_2_u.2	SAT	0.22
2qbf-5cnf-80var-1280cl.0	UNSAT	0.23
6qbf-5cnf-160var-5120cl.3	UNSAT	0.23
x30.9	UNSAT	0.23
3qbf-5cnf-40var-320cl.1	SAT	0.24
3qbf-5cnf-160var-2560cl.5	UNSAT	0.24
ncf_4_16_8_d.6	SAT	0.24
ncf_4_8_8_u.1	SAT	0.24
ncf_4_8_8_edau.7	SAT	0.24
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.24
5qbf-5cnf-80var-640cl.7	SAT	0.25
ncf_4_16_4_edau.2	SAT	0.25
s510_d2_s	SAT	0.25
ncf_4_16_4_d.2	SAT	0.25
ncf_4_16_4_edau.3	SAT	0.25
x35.3	UNSAT	0.25
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.25
ncf_16_32_4_d.7	UNSAT	0.26
3qbf-5cnf-160var-2560cl.7	UNSAT	0.26
4qbf-5cnf-40var-320cl.1	UNSAT	0.26
3qbf-5cnf-160var-2560cl.9	UNSAT	0.27
6qbf-5cnf-40var-640cl.0	UNSAT	0.27
ncf_4_16_2_u.8	SAT	0.27
6qbf-5cnf-160var-2560cl.9	UNSAT	0.27
3qbf-5cnf-40var-640cl.1	UNSAT	0.27
x30.8	UNSAT	0.27
x40.3	UNSAT	0.27
eijk.S344.S-d2	SAT	0.27
sortnetsort5.AE.stepl.006	UNSAT	0.27
sortnetsort5.v.stepl.003	UNSAT	0.27
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.27
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.27
ncf_4_32_2_edau.9	UNSAT	0.28
BLOCKS3ii.5.2	UNSAT	0.29
3qbf-5cnf-80var-1280cl.9	UNSAT	0.29
ncf_4_8_8_d.7	SAT	0.29
5qbf-5cnf-80var-1280cl.3	UNSAT	0.29
eijk.S349.S-d2	SAT	0.29
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.29
ncf_16_32_4_d.4	UNSAT	0.3
4qbf-5cnf-160var-640cl.9	SAT	0.3
ncf_16_32_4_edau.7	UNSAT	0.3
4qbf-5cnf-20var-160cl.1	UNSAT	0.3
ncf_4_8_8_euad.1	SAT	0.3
x45.9	UNSAT	0.3
6qbf-5cnf-160var-2560cl.1	UNSAT	0.31
x30.4	SAT	0.31
x50.4	UNSAT	0.31
sortnetsort5.AE.stepl.007	UNSAT	0.31
3qbf-5cnf-160var-2560cl.4	UNSAT	0.32
x45.4	UNSAT	0.32
irst.dme6.B-d2	SAT	0.32
6qbf-5cnf-40var-640cl.3	UNSAT	0.33
x55.3	UNSAT	0.33
3qbf-5cnf-40var-320cl.8	SAT	0.34
ncf_4_16_2_u.5	UNSAT	0.34
x30.6	SAT	0.34
x35.6	UNSAT	0.34
x40.9	UNSAT	0.34
k_lin_n-4	SAT	0.35
Adder2-4-c	UNSAT	0.36
ncf_16_32_2_edau.8	UNSAT	0.36
ncf_4_8_8_edau.6	UNSAT	0.36
x30.1	UNSAT	0.36
ncf_8_16_8_edau.9	UNSAT	0.37
ncf_4_16_2_euad.5	UNSAT	0.37
5qbf-5cnf-160var-2560cl.2	UNSAT	0.37
x30.3	SAT	0.37
x40.0	UNSAT	0.37
x70.0	UNSAT	0.37
ncf_16_32_4_edau.10	UNSAT	0.38
ncf_16_32_4_edau.4	UNSAT	0.38
5qbf-5cnf-20var-320cl.9	UNSAT	0.39
ncf_8_16_8_d.9	UNSAT	0.39
6qbf-5cnf-40var-640cl.1	UNSAT	0.39
x35.5	UNSAT	0.39
x35.7	UNSAT	0.39
k_lin_p-12	UNSAT	0.4
ncf_4_16_2_u.10	UNSAT	0.41
ncf_4_8_8_edau.10	SAT	0.41
2qbf-5cnf-160var-320cl.6	SAT	0.41
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.41
ncf_4_16_4_d.6	UNSAT	0.43
6qbf-5cnf-40var-320cl.0	UNSAT	0.43
6qbf-5cnf-160var-2560cl.6	UNSAT	0.43
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.43
2qbf-5cnf-160var-320cl.4	SAT	0.44
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.44
sortnetsort5.AE.stepl.004	SAT	0.45
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	UNSAT	0.45
ncf_8_16_4_d.9	UNSAT	0.46
ncf_8_16_8_euad.7	UNSAT	0.46
x30.0	UNSAT	0.46
6qbf-5cnf-160var-2560cl.2	UNSAT	0.47
3qbf-5cnf-80var-1280cl.1	UNSAT	0.48
2qbf-5cnf-160var-320cl.3	SAT	0.48
ncf_16_32_4_edau.2	SAT	0.48
6qbf-5cnf-160var-2560cl.3	UNSAT	0.48
x70.8	UNSAT	0.48
vis.elevator^1.E-f2	UNSAT	0.48
5qbf-5cnf-160var-2560cl.9	UNSAT	0.49
5qbf-5cnf-40var-640cl.2	UNSAT	0.5
ncf_8_16_4_edau.9	UNSAT	0.5
ncf_16_32_4_d.10	UNSAT	0.5
x50.0	UNSAT	0.5
ncf_16_32_4_edau.5	UNSAT	0.51
ncf_16_32_4_d.2	SAT	0.51
x35.2	SAT	0.51
ncf_4_16_4_u.4	UNSAT	0.52
x40.1	UNSAT	0.52
3qbf-5cnf-160var-2560cl.2	UNSAT	0.53
counter_re_4	SAT	0.54
5qbf-5cnf-40var-640cl.6	UNSAT	0.55
ncf_8_16_4_edau.7	SAT	0.55
x70.5	UNSAT	0.55
ncf_4_32_2_edau.6	UNSAT	0.56
2qbf-5cnf-40var-160cl.6	UNSAT	0.56
4qbf-5cnf-20var-160cl.2	SAT	0.56
5qbf-5cnf-80var-640cl.5	SAT	0.57
ncf_16_32_2_d.5	UNSAT	0.57
x75.5	UNSAT	0.57
eijk.S298.S-f2	SAT	0.57
C880.blif_0.10_1.00_0_1_inp_exact	SAT	0.58
ncf_16_32_2_d.10	UNSAT	0.61
ncf_4_8_8_u.8	SAT	0.61
ncf_16_32_4_d.5	UNSAT	0.61
x55.4	UNSAT	0.61
x75.1	UNSAT	0.61
texas.ifetch1^8.E-f2	SAT	0.61
3qbf-5cnf-160var-2560cl.3	UNSAT	0.62
6qbf-5cnf-20var-320cl.2	UNSAT	0.62
ncf_8_16_8_edau.10	SAT	0.62
3qbf-5cnf-40var-320cl.3	SAT	0.63
ncf_4_16_4_u.3	SAT	0.63
x70.7	UNSAT	0.63
x85.4	UNSAT	0.63
6qbf-5cnf-160var-2560cl.4	UNSAT	0.64
5qbf-5cnf-80var-640cl.2	SAT	0.64
x50.8	UNSAT	0.64
x35.8	SAT	0.65
x60.6	UNSAT	0.65
ncf_8_16_8_edau.3	SAT	0.66
5qbf-5cnf-160var-2560cl.0	UNSAT	0.66
ncf_4_16_2_u.2	SAT	0.66
3qbf-5cnf-40var-320cl.5	UNSAT	0.66
ncf_4_16_2_euad.2	SAT	0.67
ncf_4_16_4_edau.10	UNSAT	0.67
2qbf-5cnf-40var-320cl.0	UNSAT	0.69
x45.8	UNSAT	0.69
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.69
ncf_4_32_2_edau.8	SAT	0.7
ncf_4_16_8_euad.10	SAT	0.7
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.7
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.7
ncf_4_8_8_u.2	UNSAT	0.71
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.71
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.71
ncf_4_16_2_u.4	SAT	0.72
x35.9	SAT	0.72
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.72
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.72
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.72
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.73
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.73
ncf_8_16_8_edau.8	UNSAT	0.74
ncf_4_16_2_euad.4	SAT	0.74
4qbf-5cnf-20var-160cl.5	UNSAT	0.75
ncf_16_32_8_edau.3	SAT	0.75
x35.4	UNSAT	0.75
x40.5	UNSAT	0.75
nusmv.reactor^5.C-f2	UNSAT	0.75
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.75
x75.2	UNSAT	0.76
5qbf-5cnf-160var-2560cl.6	UNSAT	0.77
x45.1	UNSAT	0.77
x60.0	UNSAT	0.8
x75.9	UNSAT	0.8
sortnetsort7.AE.stepl.003	SAT	0.8
s713_d2_s	SAT	0.81
ncf_4_8_8_euad.8	SAT	0.81
ncf_4_16_2_u.3	UNSAT	0.81
ncf_8_16_4_d.3	SAT	0.81
ncf_4_16_4_u.7	SAT	0.82
x100.4	UNSAT	0.83
x45.2	UNSAT	0.84
x55.9	UNSAT	0.85
x50.7	UNSAT	0.86
x75.6	UNSAT	0.86
x55.1	UNSAT	0.87
x55.8	UNSAT	0.87
x85.8	UNSAT	0.87
4qbf-5cnf-20var-160cl.7	UNSAT	0.88
2qbf-5cnf-40var-320cl.8	UNSAT	0.9
ncf_4_16_4_euad.7	SAT	0.9
x50.3	UNSAT	0.9
3qbf-5cnf-160var-2560cl.6	UNSAT	0.91
5qbf-5cnf-80var-640cl.0	SAT	0.92
texas.ifetch1^7.E-f2	SAT	0.92
lut4_3_fAND	SAT	0.93
ncf_4_16_8_u.10	SAT	0.93
4qbf-5cnf-80var-320cl.8	SAT	0.93
ncf_4_8_8_u.3	SAT	0.93
k_ph_n-12	SAT	0.95
ncf_16_32_4_euad.1	SAT	0.95
mutex-32-s	SAT	0.96
x35.1	SAT	0.96
x60.1	UNSAT	0.96
x40.6	UNSAT	0.97
2qbf-5cnf-160var-320cl.7	SAT	0.99
BLOCKS3i.4.4	UNSAT	0.99
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	0.99
ncf_16_32_2_edau.10	UNSAT	1.01
x50.6	UNSAT	1.01
S-edau-0	UNSAT	1.01
T-edau-3	UNSAT	1.02
sortnetsort6.AE.stepl.006	UNSAT	1.02
S-edau-6	UNSAT	1.03
ncf_8_16_8_euad.9	UNSAT	1.04
x40.2	UNSAT	1.05
k_lin_p-16	UNSAT	1.06
szymanski-8-s	UNSAT	1.06
ncf_8_16_4_edau.3	SAT	1.06
S-edau-2	UNSAT	1.06
S-edau-5	UNSAT	1.06
x65.7	UNSAT	1.07
x75.3	UNSAT	1.07
S-edau-8	UNSAT	1.07
2qbf-5cnf-40var-320cl.6	UNSAT	1.08
x45.5	UNSAT	1.08
T-edau-2	UNSAT	1.08
sortnetsort6.AE.stepl.004	SAT	1.08
x60.9	UNSAT	1.09
x85.1	UNSAT	1.09
S-edau-1	UNSAT	1.09
x105.2	UNSAT	1.1
S-edau-3	UNSAT	1.1
S-edau-7	UNSAT	1.1
5qbf-5cnf-80var-640cl.4	SAT	1.13
ncf_4_16_2_u.1	UNSAT	1.14
ncf_4_16_4_u.10	UNSAT	1.16
x100.0	UNSAT	1.16
x75.8	UNSAT	1.16
x60.8	UNSAT	1.17
S-edau-4	UNSAT	1.18
5qbf-5cnf-160var-2560cl.5	UNSAT	1.19
ncf_4_8_8_euad.3	SAT	1.19
k_lin_p-21	UNSAT	1.19
ncf_4_8_8_d.6	UNSAT	1.21
k_lin_p-20	UNSAT	1.24
ncf_4_16_4_d.10	UNSAT	1.25
T-edau-8	UNSAT	1.26
ncf_8_16_4_d.7	SAT	1.27
S-edau-9	UNSAT	1.28
ncf_4_8_8_u.10	SAT	1.3
x120.0	UNSAT	1.31
6qbf-5cnf-80var-1280cl.7	UNSAT	1.33
BLOCKS3ii.5.3	SAT	1.34
2qbf-5cnf-160var-320cl.9	SAT	1.34
ncf_4_16_2_euad.3	UNSAT	1.34
sortnetsort8.AE.stepl.003	SAT	1.36
ncf_4_16_2_euad.1	UNSAT	1.39
4qbf-5cnf-80var-320cl.3	SAT	1.41
3qbf-5cnf-80var-1280cl.8	UNSAT	1.41
x50.9	UNSAT	1.43
x80.3	UNSAT	1.44
nusmv.syncarb5^2.B-f2	SAT	1.44
ncf_4_16_2_euad.10	UNSAT	1.49
robots_1_5_2_21.4	SAT	1.49
x80.4	UNSAT	1.49
texas.ifetch1^5.E-f2	SAT	1.49
ncf_4_8_8_euad.2	UNSAT	1.5
robots_1_5_2_85.4	SAT	1.51
ncf_8_16_4_euad.7	SAT	1.51
5qbf-5cnf-160var-2560cl.1	UNSAT	1.52
T-adeu-3	UNSAT	1.54
sortnetsort6.v.stepl.003	UNSAT	1.54
robots_1_5_2_3.4	SAT	1.56
4qbf-5cnf-40var-320cl.9	UNSAT	1.58
robots_1_5_5_26.4	SAT	1.6
robots_1_5_5_66.4	SAT	1.6
x85.6	UNSAT	1.63
mutex-64-s	SAT	1.64
x65.6	UNSAT	1.64
3qbf-5cnf-80var-1280cl.7	UNSAT	1.66
x120.5	UNSAT	1.66
S-adeu-0	UNSAT	1.67
x60.5	UNSAT	1.69
ncf_4_16_4_euad.8	SAT	1.7
ncf_4_8_8_d.10	SAT	1.7
5qbf-5cnf-160var-2560cl.7	UNSAT	1.71
BLOCKS3iii.5	SAT	1.71
4qbf-5cnf-80var-320cl.2	SAT	1.74
S-adeu-7	UNSAT	1.74
S-adeu-8	UNSAT	1.74
T-edau-7	UNSAT	1.74
s820_d2_s	SAT	1.75
eijk.S344.S-f2	SAT	1.75
sortnetsort6.AE.stepl.005	UNSAT	1.76
x60.3	UNSAT	1.77
S-adeu-6	UNSAT	1.78
T-adeu-2	UNSAT	1.78
4qbf-5cnf-20var-160cl.4	UNSAT	1.79
x95.4	UNSAT	1.79
x55.7	UNSAT	1.81
ncf_4_32_2_edau.10	SAT	1.83
S-adeu-1	UNSAT	1.84
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	1.84
x60.4	UNSAT	1.85
ncf_16_32_8_u.4	SAT	1.86
ncf_4_16_4_u.8	SAT	1.88
x60.7	UNSAT	1.88
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	1.88
S-adeu-3	UNSAT	1.89
texas.two_proc^6.E-f2	SAT	1.91
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	1.92
x85.2	UNSAT	1.93
5qbf-5cnf-160var-2560cl.4	UNSAT	1.94
x70.2	UNSAT	1.94
ncf_8_16_8_d.10	SAT	1.95
texas.PI_main^14.E-f2	UNSAT	1.95
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	1.98
ncf_4_8_8_euad.10	SAT	1.99
S-adeu-4	UNSAT	1.99
S-adeu-9	UNSAT	2.01
ncf_4_16_4_euad.4	UNSAT	2.1
4qbf-5cnf-20var-160cl.9	SAT	2.11
T-edau-5	UNSAT	2.14
ncf_4_16_8_d.8	UNSAT	2.18
x40.7	SAT	2.18
x105.6	UNSAT	2.22
4qbf-5cnf-80var-320cl.1	SAT	2.23
3qbf-5cnf-80var-1280cl.0	UNSAT	2.24
x45.3	SAT	2.24
x50.2	UNSAT	2.24
x95.0	UNSAT	2.3
x65.8	UNSAT	2.31
T-edau-4	UNSAT	2.31
x90.4	UNSAT	2.32
sortnetsort6.AE.stepl.007	UNSAT	2.33
ncf_4_16_4_u.1	SAT	2.35
S-adeu-2	UNSAT	2.35
5qbf-5cnf-80var-640cl.8	SAT	2.37
x65.2	UNSAT	2.46
ncf_16_32_8_d.3	SAT	2.48
ncf_16_32_8_edau.10	SAT	2.5
x115.1	UNSAT	2.51
S-adeu-5	UNSAT	2.56
ncf_4_16_8_euad.8	UNSAT	2.68
ncf_16_32_8_d.5	UNSAT	2.7
T-adeu-4	UNSAT	2.74
x85.3	UNSAT	2.76
x50.1	UNSAT	2.77
ncf_4_16_4_euad.1	SAT	2.78
x110.9	UNSAT	2.78
x95.5	UNSAT	2.8
ncf_4_32_2_edau.3	UNSAT	2.86
x65.9	UNSAT	2.9
texas.ifetch1^9.E-f2	SAT	2.99
T-adeu-7	UNSAT	3
x90.2	UNSAT	3.03
szymanski-10-s	UNSAT	3.1
x135.6	UNSAT	3.1
eijk.S1238.S-d2	SAT	3.12
x100.2	UNSAT	3.16
x60.2	UNSAT	3.16
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	3.2
x65.4	UNSAT	3.2
x145.8	UNSAT	3.21
x110.6	UNSAT	3.23
ncf_4_8_8_u.7	SAT	3.29
x80.5	UNSAT	3.3
nusmv.brp.B-f2	SAT	3.3
ncf_4_8_8_euad.6	UNSAT	3.31
x80.6	UNSAT	3.31
T-adeu-8	UNSAT	3.39
ncf_8_16_4_u.7	SAT	3.43
ncf_16_32_8_edau.8	UNSAT	3.52
x160.4	UNSAT	3.58
ncf_16_32_8_d.10	SAT	3.59
x75.4	UNSAT	3.59
T-adeu-5	UNSAT	3.63
x90.1	UNSAT	3.68
x70.3	UNSAT	3.69
ncf_16_32_8_d.8	UNSAT	3.71
ncf_4_8_8_euad.7	SAT	3.72
ncf_16_32_8_euad.4	SAT	3.74
x70.9	UNSAT	3.8
x105.1	UNSAT	3.99
lognBWLARGEA1	UNSAT	4.07
ncf_8_16_8_d.5	SAT	4.09
ncf_8_16_8_d.3	SAT	4.16
x70.6	UNSAT	4.17
ncf_4_16_4_euad.2	SAT	4.19
x90.7	UNSAT	4.21
x115.6	UNSAT	4.27
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	4.3
ncf_4_8_8_u.5	UNSAT	4.31
ncf_4_16_4_euad.6	UNSAT	4.32
x105.0	UNSAT	4.33
k_ph_n-16	SAT	4.39
x45.7	SAT	4.45
x125.0	UNSAT	4.49
s298_d4_s	SAT	4.51
x120.9	UNSAT	4.55
4qbf-5cnf-20var-160cl.6	UNSAT	4.59
ncf_4_32_2_u.8	SAT	4.59
x55.2	UNSAT	4.62
x115.2	UNSAT	4.8
s499_d4_s	SAT	4.86
eijk.S1196.S-d2	SAT	5.13
ncf_4_8_8_euad.5	UNSAT	5.17
x165.9	UNSAT	5.25
ncf_4_16_4_d.3	SAT	5.28
x130.2	UNSAT	5.34
ncf_16_32_2_edau.3	SAT	5.45
x90.3	UNSAT	5.51
mutex-128-s	SAT	5.55
x155.1	UNSAT	5.57
ncf_4_16_8_u.9	SAT	5.67
x100.1	UNSAT	5.68
x85.5	UNSAT	5.7
robots_1_5_2_100.4	SAT	5.72
x85.7	UNSAT	5.84
x50.5	UNSAT	5.85
T-edau-6	UNSAT	5.95
6qbf-5cnf-80var-1280cl.5	UNSAT	6.11
ken.oop^1.C-f2	SAT	6.11
sortnetsort5.v.stepl.006	SAT	6.22
x65.5	UNSAT	6.27
x65.0	UNSAT	6.3
ken.oop^2.C-f2	SAT	6.3
x55.6	UNSAT	6.38
k_lin_n-8	SAT	6.39
ncf_4_16_8_d.2	SAT	6.39
x150.6	UNSAT	6.45
ncf_4_16_8_euad.9	SAT	6.47
x140.9	UNSAT	6.54
x115.8	UNSAT	6.58
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	6.6
x120.3	UNSAT	6.64
ncf_4_16_4_u.6	UNSAT	6.65
x95.2	UNSAT	6.65
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	6.73
x65.3	UNSAT	6.99
x130.5	UNSAT	7.24
x95.6	UNSAT	7.45
ncf_4_16_8_d.4	SAT	7.6
szymanski-12-s	UNSAT	7.62
3qbf-5cnf-160var-2560cl.0	UNSAT	7.63
T-adeu-6	UNSAT	7.63
x130.7	UNSAT	7.68
toilet_a_10_05.4	SAT	7.94
x120.2	UNSAT	8
sortnetsort5.v.stepl.005	SAT	8.08
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	8.09
ncf_4_16_8_u.2	SAT	8.11
robots_1_5_2_45.4	SAT	8.12
x80.1	UNSAT	8.12
x105.7	UNSAT	8.66
toilet_a_10_01.16	UNSAT	8.8
x70.4	UNSAT	8.86
x95.7	UNSAT	8.88
eijk.S526.S-f2	SAT	8.95
robots_1_5_2_99.4	SAT	9.03
ncf_4_16_4_euad.3	SAT	9.06
T-edau-0	UNSAT	9.18
3qbf-5cnf-160var-2560cl.8	UNSAT	9.25
eijk.S444.S-f2	SAT	9.51
k_grz_p-4	UNSAT	9.57
T-edau-1	UNSAT	9.76
x100.6	UNSAT	9.86
x175.9	UNSAT	9.99
x80.8	UNSAT	10.07
ncf_8_16_4_u.9	UNSAT	10.14
robots_1_5_2_2.4	SAT	10.2
sortnetsort5.v.stepl.007	SAT	10.34
robots_1_5_2_80.4	SAT	10.48
T-edau-9	UNSAT	10.54
robots_1_5_3_2.4	SAT	10.59
robots_1_5_3_44.4	SAT	10.61
ncf_4_32_2_edau.5	UNSAT	10.63
5qbf-5cnf-160var-2560cl.3	UNSAT	10.66
x85.9	UNSAT	10.78
ncf_8_16_8_edau.2	SAT	11.02
x145.3	UNSAT	11.28
x125.8	UNSAT	11.33
ncf_8_16_8_edau.5	SAT	11.66
T-adeu-9	UNSAT	11.72
x105.8	UNSAT	11.81
x130.3	UNSAT	11.83
robots_1_5_3_16.4	SAT	12.02
x55.5	SAT	12.03
ncf_16_32_2_d.4	UNSAT	12.04
ncf_16_32_2_d.3	SAT	12.16
robots_1_5_3_100.4	SAT	12.21
k_ph_p-8	UNSAT	12.4
robots_1_5_2_39.4	SAT	12.46
robots_1_5_2_82.4	SAT	12.5
sortnetsort6.v.stepl.005	SAT	12.85
x75.7	UNSAT	13
x130.4	UNSAT	13.13
x90.6	UNSAT	13.24
robots_1_5_3_66.4	SAT	13.36
nusmv.reactor^6.C-f2	SAT	13.41
robots_1_5_3_24.4	SAT	13.55
x100.3	UNSAT	13.59
lognBWLARGEB1	UNSAT	13.69
x120.1	UNSAT	13.82
x150.5	UNSAT	13.99
C499.blif_0.10_0.20_0_1_inp_exact	SAT	14.01
ncf_8_16_4_euad.9	UNSAT	14.02
T-adeu-0	UNSAT	14.03
ncf_4_16_4_u.2	SAT	14.08
x105.5	UNSAT	14.15
x80.2	UNSAT	14.66
x125.9	UNSAT	14.98
ncf_16_32_8_edau.5	UNSAT	15.08
robots_1_5_3_57.4	SAT	15.3
2qbf-5cnf-40var-320cl.7	UNSAT	15.46
ncf_8_16_8_d.8	UNSAT	15.84
robots_1_5_5_12.4	SAT	16.21
x140.5	UNSAT	16.33
x95.8	UNSAT	16.5
ncf_4_32_2_u.4	UNSAT	16.6
x100.5	UNSAT	16.66
x95.1	UNSAT	16.85
x155.5	UNSAT	17.13
robots_1_5_4_98.4	SAT	17.19
szymanski-14-s	UNSAT	17.4
ncf_4_32_2_edau.7	SAT	17.43
x90.8	UNSAT	17.62
robots_1_5_5_30.4	SAT	17.82
x220.9	UNSAT	17.86
x175.6	UNSAT	17.96
robots_1_5_4_91.4	SAT	18.14
robots_1_5_4_87.4	SAT	18.15
robots_1_5_3_52.4	SAT	18.53
x175.8	UNSAT	18.74
x70.1	UNSAT	18.74
x80.7	UNSAT	18.84
4qbf-5cnf-80var-320cl.9	SAT	18.98
robots_1_5_5_45.4	SAT	18.98
x110.5	UNSAT	19.22
robots_1_5_4_46.4	SAT	19.58
robots_1_5_3_20.4	SAT	20.22
ncf_4_16_4_euad.10	UNSAT	20.25
x120.6	UNSAT	20.42
3qbf-5cnf-80var-1280cl.4	UNSAT	20.5
x110.2	UNSAT	20.5
robots_1_5_3_78.4	SAT	20.53
x125.6	UNSAT	20.81
robots_1_5_5_93.4	SAT	20.83
robots_1_5_4_50.4	SAT	20.87
x155.3	UNSAT	20.91
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	20.98
x110.4	UNSAT	21.05
robots_1_5_4_2.4	SAT	21.14
x195.6	UNSAT	21.27
robots_1_5_4_100.4	SAT	21.59
x95.3	UNSAT	21.98
sortnetsort6.v.stepl.006	SAT	22.2
x180.7	UNSAT	22.42
robots_1_5_5_34.4	SAT	22.94
ncf_4_16_8_euad.5	UNSAT	23.1
ncf_8_16_4_u.4	SAT	23.14
ncf_16_32_2_edau.4	UNSAT	23.3
T-adeu-1	UNSAT	23.47
x55.0	UNSAT	23.61
x85.0	UNSAT	24.04
robots_1_5_5_87.4	SAT	24.26
robots_1_5_4_31.4	SAT	24.31
robots_1_5_4_30.4	SAT	24.51
x170.4	UNSAT	25.06
robots_1_5_4_51.4	SAT	25.2
ncf_8_16_4_euad.4	SAT	25.59
x110.1	UNSAT	25.82
k_grz_p-12	UNSAT	25.98
connect_5x4_4_R	UNSAT	26.26
x80.9	UNSAT	26.93
x160.3	UNSAT	27.31
irst.dme4.B-f2	SAT	27.45
k_lin_n-12	SAT	28.03
robots_1_5_5_100.4	SAT	28.04
robots_1_5_5_8.4	SAT	28.04
ncf_16_32_8_d.6	SAT	28.07
x155.8	UNSAT	28.22
ncf_4_16_8_u.1	SAT	28.52
x215.5	UNSAT	28.75
x115.9	UNSAT	29.68
sortnetsort5.v.stepl.004	UNSAT	30.67
x135.9	UNSAT	31.45
sortnetsort7.v.stepl.003	UNSAT	31.76
ncf_4_32_2_u.3	UNSAT	31.77
2qbf-5cnf-40var-320cl.5	UNSAT	31.85
x90.9	UNSAT	34.53
x205.3	UNSAT	35.42
6qbf-5cnf-40var-320cl.8	SAT	35.9
x140.7	UNSAT	36.77
ncf_4_16_8_euad.2	SAT	36.98
x65.1	UNSAT	37.46
ncf_8_16_8_d.2	SAT	37.53
5qbf-5cnf-160var-2560cl.8	UNSAT	37.92
x135.2	UNSAT	38.29
x75.0	UNSAT	39.02
x110.0	UNSAT	39.21
irst.dme5.B-f2	SAT	40.08
szymanski-16-s	UNSAT	40.41
ncf_4_8_8_u.6	UNSAT	41.33
x130.6	UNSAT	41.42
k_grz_p-8	UNSAT	41.98
nusmv.reactor^7.C-f2	SAT	41.99
nusmv.reactor^4.C-f2	SAT	43.62
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	44.99
x115.4	UNSAT	45.1
vis.eisenberg.E-f2	SAT	46.22
sortnetsort6.v.stepl.007	SAT	46.48
x150.2	UNSAT	46.9
x165.6	UNSAT	47
x125.2	UNSAT	48.16
ncf_4_16_8_u.5	UNSAT	48.5
2qbf-5cnf-40var-320cl.9	UNSAT	48.89
BLOCKS3i.5.4	SAT	49.18
x205.4	UNSAT	52.18
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	52.54
ncf_4_16_8_d.5	UNSAT	52.8
connect_5x4_3_R	UNSAT	52.9
x100.9	UNSAT	53.75
x105.9	UNSAT	53.98
2qbf-5cnf-40var-320cl.1	UNSAT	54.66
x135.7	UNSAT	56.07
x80.0	UNSAT	56.57
5qbf-5cnf-80var-1280cl.8	UNSAT	59.35
x145.0	UNSAT	59.9
2qbf-5cnf-40var-160cl.1	UNSAT	60.55
x140.4	UNSAT	61.54
4qbf-5cnf-40var-320cl.7	UNSAT	62.36
ncf_8_16_8_edau.4	UNSAT	63.29
x125.7	UNSAT	64.65
eijk.S382.S-f2	SAT	65.71
ncf_16_32_4_u.5	UNSAT	66.1
x100.8	UNSAT	67.06
x105.3	UNSAT	67.28
ncf_16_32_4_u.10	UNSAT	69.88
x125.4	UNSAT	71.47
ev-pr-4x4-11-3-0-0-1-lg	SAT	72.05
x160.7	UNSAT	72.84
ncf_8_16_8_euad.6	UNSAT	73.52
x110.8	UNSAT	74.13
x200.1	UNSAT	77.09
x150.7	UNSAT	77.17
eijk.S349.S-f2	SAT	78.85
k_lin_n-16	SAT	79.89
szymanski-18-s	UNSAT	82.58
ncf_8_16_4_euad.3	SAT	83.1
x115.3	UNSAT	83.19
x90.5	UNSAT	85.72
ncf_16_32_4_euad.5	UNSAT	89.22
x160.1	UNSAT	89.22
x115.5	UNSAT	89.63
2qbf-5cnf-40var-160cl.2	UNSAT	90.38
x125.3	UNSAT	92.18
C880.blif_0.10_1.00_0_1_out_exact	SAT	97.22
2qbf-5cnf-40var-320cl.3	UNSAT	98.86
x175.2	UNSAT	101.5
x240.5	UNSAT	101.53
sortnetsort7.AE.stepl.004	SAT	103.62
sortnetsort8.AE.stepl.004	SAT	104.39
x150.4	UNSAT	104.94
2qbf-5cnf-160var-320cl.8	SAT	109.22
x245.1	UNSAT	109.35
x120.8	UNSAT	110.71
x145.1	UNSAT	116.09
6qbf-5cnf-80var-1280cl.6	UNSAT	116.24
ncf_4_32_2_u.9	UNSAT	116.66
x165.8	UNSAT	118.11
x220.3	UNSAT	123.03
eijk.S832.S-f2	SAT	123.18
x165.7	UNSAT	123.52
irst.dme6.B-f2	SAT	123.65
x185.5	UNSAT	125.85
5qbf-5cnf-80var-640cl.9	SAT	126.05
x150.0	UNSAT	130.88
x215.8	UNSAT	136.52
k_lin_n-20	SAT	136.76
5qbf-5cnf-80var-640cl.1	SAT	136.88
x190.2	UNSAT	137.93
x185.8	UNSAT	138.29
connect_6x5_5_R	UNSAT	139.44
ncf_8_16_4_u.3	SAT	139.87
2qbf-5cnf-40var-160cl.4	SAT	141.99
x145.4	UNSAT	147.27
szymanski-20-s	UNSAT	159.03
x210.2	UNSAT	161.02
6qbf-5cnf-40var-320cl.1	SAT	161.39
x175.3	UNSAT	161.44
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	162.51
4qbf-5cnf-40var-320cl.0	UNSAT	163.46
x90.0	UNSAT	164.44
x150.8	UNSAT	173.2
x190.8	UNSAT	177.77
ncf_4_32_2_u.7	SAT	178.44
k_lin_n-21	SAT	182.38
ncf_8_16_8_euad.8	UNSAT	183.5
x140.6	UNSAT	186.16
ncf_16_32_8_u.3	SAT	191.03
x100.7	UNSAT	196.19
ncf_4_16_8_u.7	SAT	196.55
k_branch_p-4	UNSAT	198.02
ncf_16_32_4_euad.10	UNSAT	200.43
x160.9	UNSAT	201.59
sortnetsort7.AE.stepl.006	UNSAT	208.34
ncf_4_16_8_d.9	SAT	210.35
x160.8	UNSAT	211.62
x165.3	UNSAT	215.81
x225.7	UNSAT	224.98
vis.4-arbit^1.E-f2	SAT	226.34
eijk.S820.S-f2	SAT	231.27
ncf_8_16_8_euad.2	SAT	232.02
ncf_16_32_8_euad.3	SAT	236.06
ncf_8_16_8_euad.3	SAT	239.11
ev-pr-4x4-13-3-0-0-1-lg	SAT	239.59
ncf_4_16_8_euad.7	SAT	239.89
k_grz_n-12	SAT	243.94
x190.7	UNSAT	245.58
x245.7	UNSAT	249.39
k_t4p_n-20	FAIL	250.77
k_t4p_n-21	FAIL	255.48
2qbf-5cnf-40var-160cl.3	SAT	255.81
adder-16-sat	FAIL	260.38
sortnetsort8.v.stepl.003	UNSAT	262.41
sortnetsort6.v.stepl.004	UNSAT	264.05
6qbf-5cnf-40var-320cl.9	SAT	282.72
ncf_4_16_8_d.3	SAT	283.46
x130.9	UNSAT	287.29
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	294.44
ev-pr-4x4-17-3-0-0-1-lg	FAIL	298.84
x250.2	UNSAT	300.16
x160.6	UNSAT	318.95
x210.4	UNSAT	322.37
ev-pr-4x4-15-3-0-0-1-lg	FAIL	323.39
adder-14-sat	FAIL	325.34
2qbf-5cnf-40var-160cl.7	UNSAT	329.91
szymanski-22-s	UNSAT	338.69
k_branch_p-12	FAIL	346.4
x130.8	UNSAT	349.21
k_branch_n-4	SAT	349.62
ev-pr-8x8-11-7-0-1-2-lg	FAIL	352.76
ncf_8_16_8_d.4	UNSAT	357.47
x165.4	UNSAT	360.11
3qbf-5cnf-160var-2560cl.1	UNSAT	376.42
x105.4	UNSAT	376.53
x140.0	UNSAT	376.58
6qbf-5cnf-40var-320cl.6	SAT	392.18
x230.6	UNSAT	396.61
ncf_16_32_4_euad.8	SAT	400.15
6qbf-5cnf-40var-320cl.5	SAT	400.78
4qbf-5cnf-40var-320cl.6	UNSAT	403.38
x155.6	UNSAT	407.34
x115.0	UNSAT	429.75
x220.7	UNSAT	431.81
x165.0	UNSAT	441.21
C432.blif_0.10_0.20_0_1_inp_exact	SAT	454.02
k_t4p_n-16	FAIL	459.63
k_grz_n-8	SAT	462.46
x230.4	UNSAT	464.8
x250.4	UNSAT	465.13
x110.7	UNSAT	465.75
nusmv.reactor^2.C-f2	SAT	470.13
eijk.S208o.S-f2	SAT	474.28
lut4_AND_fXOR	UNSAT	477.28
x195.2	UNSAT	478.1
adder-12-sat	FAIL	482.48
x115.7	UNSAT	484.71
x140.8	UNSAT	485.65
x125.1	UNSAT	488.04
szymanski-24-s	UNSAT	494.65
vis.4-arbit^2.E-f2	SAT	532.84
x215.0	UNSAT	535.67
x235.4	UNSAT	562.61
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	571.9
6qbf-5cnf-40var-640cl.4	UNSAT	586.25
4qbf-5cnf-80var-320cl.7	SAT	591.4
Adder2-8-c	FAIL	594.38
qshifter_8	FAIL	594.59
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	594.66
sortnetsort7.AE.stepl.007	UNSAT	594.78
ncf_16_32_4_euad.6	FAIL	594.88
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	595
ncf_16_32_4_u.6	FAIL	597.93
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	598.97
sortnetsort10.v.stepl.010	FAIL	599.28
sortnetsort9.v.stepl.012	FAIL	599.37
sortnetsort10.v.stepl.006	FAIL	599.55
ncf_4_16_8_u.6	SAT	599.66
Adder2-6-c	FAIL	599.67
sortnetsort10.v.stepl.005	FAIL	599.82
x235.0	UNSAT	599.85
sortnetsort10.v.stepl.009	FAIL	599.85
sortnetsort9.v.stepl.011	FAIL	599.92
sortnetsort9.v.stepl.009	FAIL	599.93
sortnetsort10.v.stepl.008	FAIL	599.98
k_branch_p-8	FAIL	604.87
x185.0	UNSAT	609.36
ncf_16_32_2_euad.2	UNSAT	621.29
k_branch_n-8	FAIL	635.06
2qbf-5cnf-160var-320cl.1	SAT	638.8
x135.1	UNSAT	686.12
k_t4p_n-12	FAIL	690.64
x155.9	UNSAT	699.31
k_d4_n-4	SAT	707.2
ncf_16_32_4_u.8	SAT	722.47
k_t4p_p-21	FAIL	730.59
k_t4p_p-20	FAIL	731.38
k_poly_n-21	FAIL	733.49
TOILET7.1.iv.13	UNSAT	831.79
k_poly_p-21	FAIL	842.24
ncf_16_32_2_d.1	UNSAT	855.81
k_d4_n-20	FAIL	864.65
k_d4_n-21	FAIL	871.01
k_path_n-21	FAIL	879.74
x180.3	UNSAT	880.23
k_poly_p-20	FAIL	880.55
ncf_16_32_2_u.2	UNSAT	882.91
sortnetsort7.AE.stepl.008	UNSAT	884.49
x135.5	UNSAT	913.62
k_poly_n-20	FAIL	915.27
ncf_4_16_8_euad.1	SAT	922.72
k_d4_p-21	FAIL	928.99
k_d4_n-16	FAIL	934.02
x140.3	UNSAT	945.27
x190.0	UNSAT	955.69
k_path_p-20	FAIL	959.08
x190.3	UNSAT	965.72
x235.7	UNSAT	980.98
x210.0	UNSAT	995.76
k_t4p_p-16	FAIL	1008.28
k_d4_p-20	FAIL	1009.33
ncf_4_32_2_u.6	UNSAT	1042.87
2qbf-5cnf-40var-320cl.4	UNSAT	1047.47
k_path_n-20	FAIL	1047.55
k_path_p-21	FAIL	1055.18
4qbf-5cnf-160var-640cl.0	SAT	1065.68
test5_quant_squaring5	FAIL	1074.62
x125.5	UNSAT	1136.62
x120.7	UNSAT	1161.43
x180.2	UNSAT	1165.29
k_t4p_n-8	FAIL	1184.79
sortnetsort7.AE.stepl.009	UNSAT	1212.65
x220.6	UNSAT	1216.71
x155.0	UNSAT	1234.9
x195.7	UNSAT	1244.8
x130.1	UNSAT	1255.41
sortnetsort9.AE.stepl.004	SAT	1298.14
adder-10-sat	FAIL	1300.91
2qbf-5cnf-40var-160cl.0	SAT	1323.84
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	1327.13
x230.7	UNSAT	1338.71
x95.9	UNSAT	1355.43
sortnetsort7.AE.stepl.005	SAT	1364.78
x195.5	UNSAT	1397.19
x185.6	UNSAT	1463.83
ncf_4_16_8_d.1	SAT	1465.85
x245.9	UNSAT	1505.83
2qbf-5cnf-40var-160cl.8	SAT	1506.48
x190.5	UNSAT	1508.14
x200.3	UNSAT	1534.6
2qbf-5cnf-80var-640cl.3	UNSAT	1569.08
x250.0	UNSAT	1680.61
6qbf-5cnf-40var-320cl.2	SAT	1696.95
x175.1	UNSAT	1699.66
4qbf-5cnf-160var-640cl.2	SAT	1709.05
connect_8x7_4_W	UNSAT	1716.88
connect_8x7_4_D	UNSAT	1717.71
connect_8x7_3_W	UNSAT	1718.78
connect_8x7_3_D	UNSAT	1730.58
ncf_16_32_4_u.2	SAT	1755.41
x130.0	UNSAT	1765.75
k_dum_n-21	FAIL	1834.06
lut4_AND_f1	SAT	1847.82
1qbf-5cnf-160var-2560cl.4	SAT	1856.81
nusmv.reactor^3.C-f2	FAIL	1865.27
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	1911.3
connect_9x8_5_W	UNSAT	1956.37
connect_9x8_5_D	UNSAT	1957.06
connect_9x8_4_W	UNSAT	1984.64
connect_9x8_4_D	UNSAT	1990.77
connect_9x8_3_D	UNSAT	1993.25
connect_9x8_3_W	UNSAT	2000.09
x155.2	UNSAT	2019.75
2qbf-5cnf-40var-160cl.9	SAT	2020.99
k_poly_n-16	FAIL	2136.1
k_dum_n-20	FAIL	2143.96
counter_8	SAT	2172.58
1qbf-5cnf-160var-2560cl.1	SAT	2208.75
k_dum_p-21	FAIL	2232.01
k_poly_p-12	FAIL	2232.43
test5_quant_squaring4	FAIL	2242.87
x205.0	UNSAT	2249.48
k_d4_n-12	FAIL	2256.71
k_d4_p-16	FAIL	2281.93
k_poly_n-12	FAIL	2315.96
ncf_16_32_8_u.1	FAIL	2321.38
k_dum_p-20	FAIL	2375.22
k_t4p_p-12	FAIL	2442.72
k_dum_n-16	FAIL	2462.48
x240.0	UNSAT	2464.55
TOILET16.1.iv.32	FAIL	2489.06
k_path_p-16	FAIL	2510.94
x150.9	UNSAT	2539.72
k_path_n-16	FAIL	2580.96
k_path_n-12	FAIL	2584.76
k_dum_p-16	FAIL	2600.46
k_path_p-12	FAIL	2629.15
2qbf-5cnf-40var-160cl.5	SAT	2658.14
k_t4p_p-8	FAIL	2747.52
k_d4_p-12	FAIL	2813.99
CHAIN20v.21	SAT	2869.23
k_d4_n-8	FAIL	3131.17
k_dum_n-12	FAIL	3168.33
ncf_8_16_8_euad.10	FAIL	3188.59
ncf_16_32_8_edau.2	FAIL	3189.19
x170.8	UNSAT	3209.97
ncf_16_32_8_d.2	FAIL	3230.03
sortnetsort8.AE.stepl.007	UNSAT	3276.12
sortnetsort8.AE.stepl.006	UNSAT	3290.99
k_grz_n-21	FAIL	3316.93
sortnetsort8.AE.stepl.008	UNSAT	3346.72
ncf_16_32_8_u.5	FAIL	3360.99
x160.0	UNSAT	3383.23
ncf_16_32_8_d.1	FAIL	3451.47
k_grz_n-20	FAIL	3457.97
adder-8-sat	FAIL	3685.54
6qbf-5cnf-80var-1280cl.4	FAIL	3743.87
k_t4p_n-4	FAIL	3903.2
x200.6	UNSAT	3957.15
x245.6	UNSAT	4101.71
ncf_16_32_8_edau.9	FAIL	4108.78
ncf_16_32_8_euad.5	FAIL	4188.09
x225.0	UNSAT	4284.9
x175.5	UNSAT	4336.52
x135.8	UNSAT	4376.46
ncf_16_32_8_euad.8	FAIL	4472.63
ncf_16_32_8_d.9	FAIL	4567.52
k_grz_p-21	FAIL	4689.95
ncf_16_32_8_edau.1	FAIL	4715.3
x240.2	UNSAT	4739.7
texas.parsesys^1.E-f2	SAT	4801.95
6qbf-5cnf-40var-320cl.7	SAT	4833.74
k_grz_p-20	FAIL	4889.08
x205.5	UNSAT	4933.26
ncf_16_32_2_edau.1	UNSAT	4939.78
counter_r_8	FAIL	4948.77
x155.4	UNSAT	4956.24
x205.6	UNSAT	4973.61
x170.3	UNSAT	5001.16
ncf_4_16_8_euad.4	SAT	5003.34
counter_e_8	FAIL	5005.4
counter_re_8	FAIL	5022.45
cmu.gigamax.B-f2	FAIL	5107.52
k_grz_n-16	FAIL	5165.91
x210.6	UNSAT	5270.85
eijk.bs1512.S-f2	FAIL	5329.26
sortnetsort8.AE.stepl.009	UNSAT	5331.06
ncf_16_32_8_d.7	FAIL	5332.85
2qbf-5cnf-40var-320cl.2	UNSAT	5365.82
k_grz_p-16	FAIL	5376.17
4qbf-5cnf-160var-640cl.6	SAT	5440.62
x185.4	UNSAT	5462.96
5qbf-5cnf-80var-1280cl.0	FAIL	5483.61
4qbf-5cnf-40var-320cl.5	UNSAT	5532.34
x150.1	UNSAT	5840.62
qshifter_7	FAIL	5886.5
4qbf-5cnf-40var-320cl.4	UNSAT	5903.34
k_poly_n-8	FAIL	5912.37
sortnetsort10.v.stepl.011	FAIL	5994.58
ncf_16_32_8_u.8	FAIL	5994.74
sortnetsort9.v.stepl.008	FAIL	5996.28
sortnetsort10.v.stepl.012	FAIL	5996.3
sortnetsort10.v.stepl.007	FAIL	5997.48
sortnetsort9.v.stepl.007	FAIL	5997.69
sortnetsort8.v.stepl.009	FAIL	5998.29
sortnetsort9.v.stepl.010	FAIL	5998.33
sortnetsort10.AE.stepl.011	FAIL	5998.71
x400.9	FAIL	5998.8
sortnetsort8.v.stepl.007	FAIL	5998.8
x400.1	FAIL	5999.04
sortnetsort10.AE.stepl.009	FAIL	5999.08
sortnetsort8.v.stepl.008	FAIL	5999.17
x350.4	FAIL	5999.23
sortnetsort10.v.stepl.004	FAIL	5999.32
x400.5	FAIL	5999.35
sortnetsort8.v.stepl.005	FAIL	5999.36
sortnetsort9.AE.stepl.007	FAIL	5999.39
sortnetsort9.v.stepl.005	FAIL	5999.4
sortnetsort9.AE.stepl.011	FAIL	5999.43
k_t4p_p-4	FAIL	5999.44
sortnetsort10.AE.stepl.012	FAIL	5999.44
sortnetsort9.AE.stepl.012	FAIL	5999.45
sortnetsort10.AE.stepl.007	FAIL	5999.5
x350.0	FAIL	5999.58
ncf_8_16_8_euad.4	FAIL	5999.59
x400.8	FAIL	5999.59
sortnetsort10.AE.stepl.004	FAIL	5999.59
sortnetsort9.AE.stepl.005	FAIL	5999.6
sortnetsort10.AE.stepl.006	FAIL	5999.64
sortnetsort9.v.stepl.006	FAIL	5999.66
x400.6	FAIL	5999.7
sortnetsort10.AE.stepl.010	FAIL	5999.7
sortnetsort9.AE.stepl.009	FAIL	5999.7
x300.9	FAIL	5999.72
ncf_8_16_8_euad.5	FAIL	5999.76
sortnetsort8.v.stepl.004	FAIL	5999.76
x400.0	FAIL	5999.78
sortnetsort9.v.stepl.004	FAIL	5999.8
x350.1	FAIL	5999.82
adder-8-unsat	FAIL	5999.84
x400.3	FAIL	5999.86
nusmv.syncarb10^2.B-f2	FAIL	5999.89
sortnetsort8.v.stepl.006	FAIL	5999.89
x350.3	FAIL	5999.9
x350.9	FAIL	5999.9
k_dum_p-12	FAIL	5999.91
x300.7	FAIL	5999.92
BLOCKS4iii.7	FAIL	5999.93
ncf_16_32_4_euad.2	FAIL	5999.94
x300.1	FAIL	5999.94
x400.7	FAIL	5999.95
sortnetsort7.v.stepl.009	FAIL	5999.95
sortnetsort9.AE.stepl.010	FAIL	5999.95
ncf_4_16_8_euad.6	FAIL	5999.96
ncf_16_32_8_edau.7	FAIL	5999.99
x300.3	FAIL	5999.99
ncf_16_32_8_edau.6	FAIL	6000.01
ncf_16_32_4_euad.4	FAIL	6000.01
test5_quant7	FAIL	6000.03
k_dum_n-8	FAIL	6000.03
k_path_p-8	FAIL	6000.03
sortnetsort10.AE.stepl.008	FAIL	6000.04
sortnetsort9.AE.stepl.006	FAIL	6000.04
x300.8	FAIL	6000.06
x350.7	FAIL	6000.06
k_path_n-8	FAIL	6000.07
k_d4_p-8	FAIL	6000.07
x350.6	FAIL	6000.08
x350.8	FAIL	6000.08
eijk.S838.S-f2	FAIL	6000.08
x300.6	FAIL	6000.09
sortnetsort9.AE.stepl.008	FAIL	6000.09
sortnetsort10.AE.stepl.005	FAIL	6000.1
ncf_4_16_8_u.3	FAIL	6000.11
x350.5	FAIL	6000.11
sortnetsort7.v.stepl.007	FAIL	6000.12
TOILET10.1.iv.20	FAIL	6000.16
x300.5	FAIL	6000.21
sortnetsort7.v.stepl.008	FAIL	6000.21
ncf_16_32_4_u.4	FAIL	6000.22
x300.2	FAIL	6000.22
x350.2	FAIL	6000.22
ncf_4_16_8_u.8	FAIL	6000.23
x400.2	FAIL	6000.23
x300.4	FAIL	6000.25
x400.4	FAIL	6000.25
ncf_4_16_8_euad.3	FAIL	6000.26
ncf_16_32_2_euad.5	FAIL	6000.26
ncf_4_16_8_u.4	FAIL	6000.28
ncf_16_32_4_d.6	FAIL	6000.28
6qbf-5cnf-80var-640cl.3	FAIL	6000.28
adder-6-sat	FAIL	6000.29
eijk.S713.S-f2	FAIL	6000.32
BLOCKS4ii.7.2	FAIL	6000.35
eijk.S420.S-f2	FAIL	6000.36
ncf_16_32_8_u.10	FAIL	6000.37
test5_quant5	FAIL	6000.38
2qbf-5cnf-80var-640cl.1	FAIL	6000.38
sortnetsort7.v.stepl.006	FAIL	6000.38
ncf_16_32_8_euad.10	FAIL	6000.4
qshifter_6	FAIL	6000.4
ncf_16_32_4_edau.6	FAIL	6000.4
sortnetsort7.v.stepl.004	FAIL	6000.41
BLOCKS4ii.6.3	FAIL	6000.42
texas.two_proc^4.E-f2	FAIL	6000.44
sortnetsort7.v.stepl.005	FAIL	6000.44
x235.2	FAIL	6000.45
ncf_4_16_8_d.10	FAIL	6000.46
Adder2-6-s	FAIL	6000.46
Adder2-8-s	FAIL	6000.46
x245.4	FAIL	6000.47
x300.0	FAIL	6000.47
C499.blif_0.10_1.00_0_0_out_exact	FAIL	6000.48
test3_quant4	FAIL	6000.49
2qbf-5cnf-80var-640cl.2	FAIL	6000.5
2qbf-5cnf-80var-320cl.7	FAIL	6000.51
2qbf-5cnf-80var-320cl.9	FAIL	6000.51
vis.arbiter.E-f2	FAIL	6000.51
4qbf-5cnf-40var-320cl.8	FAIL	6000.52
2qbf-5cnf-80var-640cl.5	FAIL	6000.53
k_poly_n-4	FAIL	6000.54
ncf_4_32_2_u.10	FAIL	6000.54
Adder2-4-s	FAIL	6000.54
x235.3	FAIL	6000.54
x235.5	FAIL	6000.54
x250.7	FAIL	6000.54
1qbf-5cnf-160var-2560cl.0	FAIL	6000.55
texas.PI_main^02.E-f2	FAIL	6000.56
test3_quant_squaring2	FAIL	6000.57
6qbf-5cnf-40var-320cl.3	FAIL	6000.57
2qbf-5cnf-80var-640cl.7	FAIL	6000.57
x220.4	FAIL	6000.57
x250.5	FAIL	6000.57
2qbf-5cnf-80var-640cl.8	FAIL	6000.58
2qbf-5cnf-80var-640cl.9	FAIL	6000.58
1qbf-5cnf-160var-2560cl.3	FAIL	6000.58
6qbf-5cnf-80var-640cl.8	FAIL	6000.59
BLOCKS4iii.6	FAIL	6000.59
1qbf-5cnf-160var-2560cl.8	FAIL	6000.59
1qbf-5cnf-160var-2560cl.9	FAIL	6000.59
x235.6	FAIL	6000.59
ncf_16_32_2_u.5	FAIL	6000.6
ncf_16_32_4_u.3	FAIL	6000.6
test3_quant2	FAIL	6000.6
eijk.S641.S-f2	FAIL	6000.6
C432.blif_0.10_0.20_0_0_out_exact	FAIL	6000.61
ncf_16_32_2_euad.1	FAIL	6000.61
ncf_16_32_4_euad.7	FAIL	6000.61
1qbf-5cnf-160var-2560cl.2	FAIL	6000.61
x210.3	FAIL	6000.61
texas.two_proc^1.E-f2	FAIL	6000.61
ncf_16_32_4_u.7	FAIL	6000.62
6qbf-5cnf-40var-320cl.4	FAIL	6000.62
x230.5	FAIL	6000.62
x235.8	FAIL	6000.62
x245.8	FAIL	6000.62
texas.two_proc^5.E-f2	FAIL	6000.62
2qbf-5cnf-80var-320cl.1	FAIL	6000.63
4qbf-5cnf-160var-640cl.4	FAIL	6000.63
2qbf-5cnf-80var-640cl.4	FAIL	6000.63
ncf_16_32_2_u.8	FAIL	6000.63
qshifter_5	FAIL	6000.63
x230.0	FAIL	6000.63
x240.1	FAIL	6000.63
x250.6	FAIL	6000.63
sortnetsort8.AE.stepl.005	FAIL	6000.63
C432.blif_0.10_1.00_0_0_out_exact	FAIL	6000.64
4qbf-5cnf-160var-640cl.7	FAIL	6000.64
ncf_16_32_2_u.3	FAIL	6000.64
x170.6	FAIL	6000.64
x235.9	FAIL	6000.64
x250.8	FAIL	6000.64
eijk.S208.S-f2	FAIL	6000.64
texas.parsesys^3.E-f2	FAIL	6000.64
ncf_16_32_2_euad.8	FAIL	6000.65
CHAIN21v.22	FAIL	6000.65
x220.8	FAIL	6000.65
x225.3	FAIL	6000.65
texas.two_proc^3.E-f2	FAIL	6000.65
adder-4-sat	FAIL	6000.66
2qbf-5cnf-80var-640cl.6	FAIL	6000.66
x190.9	FAIL	6000.66
x250.3	FAIL	6000.66
eijk.S510.S-f2	FAIL	6000.66
6qbf-5cnf-80var-640cl.1	FAIL	6000.67
6qbf-5cnf-80var-640cl.6	FAIL	6000.67
ncf_16_32_2_u.4	FAIL	6000.67
x205.8	FAIL	6000.67
x210.8	FAIL	6000.67
x215.2	FAIL	6000.67
x245.0	FAIL	6000.67
texas.PI_main^16.E-f2	FAIL	6000.67
texas.two_proc^2.E-f2	FAIL	6000.67
ncf_16_32_8_euad.7	FAIL	6000.68
2qbf-5cnf-80var-320cl.5	FAIL	6000.68
CHAIN23v.24	FAIL	6000.68
CHAIN22v.23	FAIL	6000.68
ncf_4_32_2_u.5	FAIL	6000.68
1qbf-5cnf-160var-2560cl.5	FAIL	6000.68
x230.3	FAIL	6000.68
x240.8	FAIL	6000.68
x250.1	FAIL	6000.68
vis.coherence^5.E-f2	FAIL	6000.68
4qbf-5cnf-40var-320cl.2	FAIL	6000.69
2qbf-5cnf-80var-320cl.2	FAIL	6000.69
2qbf-5cnf-80var-320cl.4	FAIL	6000.69
2qbf-5cnf-80var-320cl.8	FAIL	6000.69
ncf_16_32_8_u.2	FAIL	6000.69
ncf_16_32_8_euad.9	FAIL	6000.69
6qbf-5cnf-80var-640cl.7	FAIL	6000.69
1qbf-5cnf-160var-2560cl.7	FAIL	6000.69
x210.7	FAIL	6000.69
x220.2	FAIL	6000.69
x220.5	FAIL	6000.69
BLOCKS4i.6.4	FAIL	6000.7
adder-6-unsat	FAIL	6000.7
ncf_16_32_2_u.10	FAIL	6000.7
ncf_16_32_2_euad.10	FAIL	6000.7
2qbf-5cnf-80var-640cl.0	FAIL	6000.7
ncf_4_32_2_u.1	FAIL	6000.7
4qbf-5cnf-160var-640cl.3	FAIL	6000.7
ncf_16_32_2_euad.3	FAIL	6000.7
2qbf-5cnf-80var-320cl.6	FAIL	6000.7
2qbf-5cnf-80var-320cl.3	FAIL	6000.7
x195.1	FAIL	6000.7
x200.0	FAIL	6000.7
2qbf-5cnf-80var-320cl.0	FAIL	6000.71
ncf_16_32_8_u.7	FAIL	6000.71
ncf_16_32_2_euad.4	FAIL	6000.71
6qbf-5cnf-80var-640cl.4	FAIL	6000.71
adder-4-unsat	FAIL	6000.71
1qbf-5cnf-160var-2560cl.6	FAIL	6000.71
x110.3	FAIL	6000.71
x170.5	FAIL	6000.71
x170.9	FAIL	6000.71
x180.0	FAIL	6000.71
x180.1	FAIL	6000.71
x240.4	FAIL	6000.71
eijk.S208c.S-f2	FAIL	6000.71
texas.parsesys^2.E-f2	FAIL	6000.71
ncf_16_32_4_euad.3	FAIL	6000.72
x160.5	FAIL	6000.72
x195.3	FAIL	6000.72
x195.4	FAIL	6000.72
x205.1	FAIL	6000.72
x215.1	FAIL	6000.72
x215.3	FAIL	6000.72
x215.6	FAIL	6000.72
x220.0	FAIL	6000.72
x250.9	FAIL	6000.72
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	6000.73
4qbf-5cnf-160var-640cl.8	FAIL	6000.73
x185.9	FAIL	6000.73
x195.9	FAIL	6000.73
x215.4	FAIL	6000.73
x220.1	FAIL	6000.73
x240.3	FAIL	6000.73
x245.2	FAIL	6000.73
texas.PI_main^12.E-f2	FAIL	6000.73
ncf_16_32_2_u.1	FAIL	6000.74
x170.1	FAIL	6000.74
x170.7	FAIL	6000.74
x185.1	FAIL	6000.74
x195.8	FAIL	6000.74
x230.1	FAIL	6000.74
4qbf-5cnf-160var-640cl.1	FAIL	6000.75
x210.5	FAIL	6000.75
x210.9	FAIL	6000.75
x245.3	FAIL	6000.75
cmu.dme2.B-f2	FAIL	6000.75
texas.PI_main^11.E-f2	FAIL	6000.75
vis.coherence^3.E-f2	FAIL	6000.75
lut4_2_f2	FAIL	6000.76
x135.0	FAIL	6000.76
x145.9	FAIL	6000.76
x155.7	FAIL	6000.76
x160.2	FAIL	6000.76
x165.2	FAIL	6000.76
x180.9	FAIL	6000.76
x190.1	FAIL	6000.76
x200.5	FAIL	6000.76
x225.6	FAIL	6000.76
x225.8	FAIL	6000.76
vis.coherence^1.E-f2	FAIL	6000.76
6qbf-5cnf-80var-640cl.5	FAIL	6000.77
ncf_16_32_8_euad.6	FAIL	6000.77
ncf_16_32_8_u.6	FAIL	6000.77
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	6000.77
6qbf-5cnf-80var-640cl.0	FAIL	6000.77
1qbf-5cnf-80var-2560cl.5	FAIL	6000.77
x145.5	FAIL	6000.77
x170.2	FAIL	6000.77
x190.6	FAIL	6000.77
x205.9	FAIL	6000.77
x240.7	FAIL	6000.77
vis.elevator^3.E-f2	FAIL	6000.77
1qbf-5cnf-80var-2560cl.2	FAIL	6000.78
x165.1	FAIL	6000.78
x165.5	FAIL	6000.78
x175.7	FAIL	6000.78
x200.4	FAIL	6000.78
x240.9	FAIL	6000.78
6qbf-5cnf-80var-640cl.2	FAIL	6000.79
6qbf-5cnf-80var-640cl.9	FAIL	6000.79
x140.1	FAIL	6000.79
x205.7	FAIL	6000.79
x225.9	FAIL	6000.79
x240.6	FAIL	6000.79
cmu.dme1.B-f2	FAIL	6000.79
ncf_16_32_8_euad.2	FAIL	6000.8
BLOCKS3i.5.3	FAIL	6000.8
1qbf-5cnf-80var-2560cl.1	FAIL	6000.8
x175.0	FAIL	6000.8
x200.7	FAIL	6000.8
x225.4	FAIL	6000.8
x225.5	FAIL	6000.8
x230.9	FAIL	6000.8
vis.coherence^2.E-f2	FAIL	6000.8
4qbf-5cnf-160var-640cl.5	FAIL	6000.81
1qbf-5cnf-80var-2560cl.3	FAIL	6000.81
1qbf-5cnf-80var-2560cl.0	FAIL	6000.81
x135.3	FAIL	6000.81
x170.0	FAIL	6000.81
x200.2	FAIL	6000.81
x215.9	FAIL	6000.81
x225.2	FAIL	6000.81
ncf_16_32_8_euad.1	FAIL	6000.82
x175.4	FAIL	6000.82
x180.8	FAIL	6000.82
x185.2	FAIL	6000.82
x200.8	FAIL	6000.82
x215.7	FAIL	6000.82
ncf_16_32_8_u.9	FAIL	6000.83
1qbf-5cnf-80var-2560cl.9	FAIL	6000.83
1qbf-5cnf-80var-2560cl.7	FAIL	6000.83
x180.6	FAIL	6000.83
x225.1	FAIL	6000.83
x245.5	FAIL	6000.83
eijk.S386.S-f2	FAIL	6000.83
1qbf-5cnf-80var-2560cl.4	FAIL	6000.84
x140.2	FAIL	6000.84
x180.5	FAIL	6000.84
x185.3	FAIL	6000.84
x185.7	FAIL	6000.84
x210.1	FAIL	6000.84
vis.bakery.E-f2	FAIL	6000.84
1qbf-5cnf-80var-2560cl.6	FAIL	6000.85
x150.3	FAIL	6000.85
x180.4	FAIL	6000.85
x195.0	FAIL	6000.85
x200.9	FAIL	6000.85
x230.2	FAIL	6000.85
x235.1	FAIL	6000.85
eijk.S953.S-f2	FAIL	6000.85
texas.PI_main^10.E-f2	FAIL	6000.85
1qbf-5cnf-80var-2560cl.8	FAIL	6000.86
x120.4	FAIL	6000.86
x145.7	FAIL	6000.86
x145.6	FAIL	6000.87
x190.4	FAIL	6000.87
x205.2	FAIL	6000.87
x145.2	FAIL	6000.88
x230.8	FAIL	6000.88
x135.4	FAIL	6000.89
vis.elevator^2.E-f2	FAIL	6000.91
texas.PI_main^01.E-f2	FAIL	6001.02

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qube5.0
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qube5.0 QBFEVAL'06

Instances solved by qube5.0
QBFEVAL'06