Instances solved by <a href='solver_detail.php?solver=36'>Qbfl</a> <br> QBFEVAL'06

Instances solved by Qbfl
QBFEVAL'06

Instance	Result	Time
3qbf-5cnf-20var-160cl.9	SAT	0
2qbf-5cnf-40var-640cl.1	UNSAT	0
3qbf-5cnf-40var-320cl.0	SAT	0
3qbf-5cnf-40var-320cl.7	SAT	0
5qbf-5cnf-160var-640cl.8	SAT	0
5qbf-5cnf-80var-640cl.0	SAT	0
6qbf-5cnf-160var-640cl.2	SAT	0
5qbf-5cnf-160var-640cl.3	SAT	0
5qbf-5cnf-160var-640cl.1	SAT	0
3qbf-5cnf-80var-320cl.9	SAT	0
5qbf-5cnf-160var-640cl.4	SAT	0
ncf_8_16_4_edau.5	UNSAT	0
3qbf-5cnf-20var-160cl.4	SAT	0
5qbf-5cnf-40var-320cl.2	SAT	0
3qbf-5cnf-40var-320cl.6	SAT	0
5qbf-5cnf-160var-640cl.6	SAT	0
3qbf-5cnf-80var-320cl.3	SAT	0
6qbf-5cnf-160var-640cl.9	SAT	0
5qbf-5cnf-160var-640cl.2	SAT	0
2qbf-5cnf-40var-640cl.5	UNSAT	0
3qbf-5cnf-20var-160cl.6	SAT	0
6qbf-5cnf-160var-640cl.7	SAT	0
3qbf-5cnf-20var-160cl.1	SAT	0
3qbf-5cnf-80var-320cl.8	SAT	0
6qbf-5cnf-160var-640cl.5	SAT	0
3qbf-5cnf-40var-320cl.2	SAT	0
5qbf-5cnf-40var-320cl.7	SAT	0
5qbf-5cnf-80var-640cl.8	SAT	0
3qbf-5cnf-20var-160cl.2	SAT	0
3qbf-5cnf-80var-320cl.6	SAT	0
3qbf-5cnf-160var-640cl.1	SAT	0
5qbf-5cnf-40var-320cl.0	SAT	0
5qbf-5cnf-160var-640cl.5	SAT	0
3qbf-5cnf-40var-320cl.4	SAT	0
5qbf-5cnf-40var-320cl.4	SAT	0
3qbf-5cnf-40var-320cl.9	SAT	0
x5.1	UNSAT	0
x5.3	UNSAT	0
x5.5	UNSAT	0
cmu.dme1.B-d2	SAT	0
eijk.S208c.S-d2	SAT	0
eijk.S208o.S-d2	SAT	0
eijk.S208.S-d2	SAT	0
eijk.S298.S-d2	SAT	0
eijk.S382.S-d2	SAT	0
irst.dme4.B-d2	SAT	0
texas.parsesys^1.E-d2	SAT	0
vis.coherence^1.E-d2	SAT	0
vis.eisenberg.E-d2	SAT	0
texas.parsesys^4.E-f2	UNSAT	0
Qq2k1k4v40v40m2s1	SAT	0
Qq2k1k4v40v40m2s3	SAT	0
Qq2k1k4v40v40m2s4	SAT	0
Qq2k1k4v40v40m2s5	SAT	0
Qq2k1k4v40v40m2s8	SAT	0
Qq2k1k4v40v40m2s9	SAT	0
Qq2k1k4v40v40m4s0	SAT	0
Qq2k1k4v40v40m4s1	SAT	0
Qq2k1k4v40v40m4s2	UNSAT	0
Qq2k1k4v40v40m4s3	SAT	0
Qq2k1k4v40v40m4s4	SAT	0
Qq2k1k4v40v40m4s7	SAT	0
Qq2k1k4v40v40m4s9	SAT	0
Qq2k1k4v40v40m8s0	SAT	0
Qq2k1k4v40v40m8s1	SAT	0
Qq2k1k4v40v40m8s3	SAT	0
Qq2k1k4v40v40m8s6	UNSAT	0
Qq2k1k4v40v40m8s8	SAT	0
Qq2k1k4v40v40m16s0	UNSAT	0
Qq2k1k4v40v40m16s1	SAT	0
Qq2k1k4v40v40m16s2	UNSAT	0
Qq2k1k4v40v40m16s3	UNSAT	0
Qq2k1k4v40v40m16s4	SAT	0
Qq2k1k4v40v40m16s5	SAT	0
Qq2k1k4v40v40m16s9	UNSAT	0
Qq2k1k4v40v40m32s2	UNSAT	0
Qq2k1k4v40v40m32s3	UNSAT	0
Qq2k1k4v40v40m32s4	UNSAT	0
Qq2k1k4v40v40m32s6	UNSAT	0
Qq2k1k4v40v40m32s9	UNSAT	0
Qq2k1k4v80v80m2s0	SAT	0
Qq2k1k4v80v80m2s1	SAT	0
Qq2k1k4v80v80m2s2	SAT	0
Qq2k1k4v80v80m2s5	SAT	0
Qq2k1k4v80v80m2s8	SAT	0
Qq2k1k4v80v80m4s1	SAT	0
Qq2k1k4v80v80m4s2	SAT	0
Qq2k1k4v80v80m4s3	SAT	0
Qq2k1k4v80v80m4s4	SAT	0
Qq2k1k4v80v80m4s6	SAT	0
Qq2k1k4v80v80m4s7	SAT	0
Qq2k1k4v80v80m4s8	SAT	0
Qq2k1k4v80v80m8s2	SAT	0
Qq2k1k4v80v80m8s3	SAT	0
Qq2k1k4v80v80m8s4	SAT	0
Qq2k1k4v80v80m8s5	SAT	0
Qq2k1k4v80v80m8s6	SAT	0
Qq2k1k4v80v80m8s8	SAT	0
Qq2k1k4v80v80m8s9	SAT	0
Qq2k1k4v80v80m16s0	UNSAT	0
Qq2k1k4v80v80m16s1	SAT	0
Qq2k1k4v80v80m16s2	SAT	0
Qq2k1k4v80v80m16s3	UNSAT	0
Qq2k1k4v80v80m16s4	SAT	0
Qq2k1k4v80v80m16s5	SAT	0
Qq2k1k4v80v80m16s9	SAT	0
Qq2k1k4v80v80m32s0	UNSAT	0
Qq2k1k4v80v80m32s3	UNSAT	0
Qq2k1k4v80v80m32s5	UNSAT	0
Qq2k1k4v80v80m32s7	SAT	0
Qq2k1k4v80v80m32s9	UNSAT	0
Qq2k2k3v40v40m2s0	SAT	0
Qq2k2k3v40v40m2s1	SAT	0
Qq2k2k3v40v40m2s3	SAT	0
Qq2k2k3v40v40m2s4	SAT	0
Qq2k2k3v40v40m2s6	SAT	0
Qq2k2k3v40v40m2s7	SAT	0
Qq2k2k3v40v40m2s8	SAT	0
Qq2k2k3v40v40m4s0	SAT	0
Qq2k2k3v40v40m4s1	SAT	0
Qq2k2k3v40v40m4s4	SAT	0
Qq2k2k3v40v40m4s5	SAT	0
Qq2k2k3v40v40m4s6	SAT	0
Qq2k2k3v40v40m4s7	SAT	0
Qq2k2k3v40v40m4s8	SAT	0
Qq2k2k3v40v40m4s9	SAT	0
Qq2k2k3v40v40m8s0	SAT	0
Qq2k2k3v40v40m8s1	SAT	0
Qq2k2k3v40v40m8s2	SAT	0
Qq2k2k3v40v40m8s3	SAT	0
Qq2k2k3v40v40m8s4	SAT	0
Qq2k2k3v40v40m8s5	SAT	0
Qq2k2k3v40v40m8s6	SAT	0
Qq2k2k3v40v40m8s7	SAT	0
Qq2k2k3v40v40m16s0	SAT	0
Qq2k2k3v40v40m16s1	SAT	0
Qq2k2k3v40v40m16s2	SAT	0
Qq2k2k3v40v40m16s3	SAT	0
Qq2k2k3v40v40m16s7	SAT	0
Qq2k2k3v40v40m16s8	SAT	0
Qq2k2k3v40v40m16s9	SAT	0
Qq2k2k3v40v40m32s0	SAT	0
Qq2k2k3v40v40m32s1	SAT	0
Qq2k2k3v40v40m32s2	SAT	0
Qq2k2k3v40v40m32s3	SAT	0
Qq2k2k3v40v40m32s6	SAT	0
Qq2k2k3v40v40m32s7	SAT	0
Qq2k2k3v40v40m32s8	SAT	0
Qq2k2k3v40v40m32s9	SAT	0
Qq2k2k3v80v80m2s1	SAT	0
Qq2k2k3v80v80m2s3	SAT	0
Qq2k2k3v80v80m2s4	SAT	0
Qq2k2k3v80v80m2s5	SAT	0
Qq2k2k3v80v80m2s7	SAT	0
Qq2k2k3v80v80m2s8	SAT	0
Qq2k2k3v80v80m2s9	SAT	0
Qq2k2k3v80v80m4s0	SAT	0
Qq2k2k3v80v80m4s1	SAT	0
Qq2k2k3v80v80m4s2	SAT	0
Qq2k2k3v80v80m4s3	SAT	0
Qq2k2k3v80v80m4s4	SAT	0
Qq2k2k3v80v80m4s5	SAT	0
Qq2k2k3v80v80m4s6	SAT	0
Qq2k2k3v80v80m4s7	SAT	0
Qq2k2k3v80v80m4s8	SAT	0
Qq2k2k3v80v80m8s0	SAT	0
Qq2k2k3v80v80m8s1	SAT	0
Qq2k2k3v80v80m8s4	SAT	0
Qq2k2k3v80v80m8s5	SAT	0
Qq2k2k3v80v80m8s6	SAT	0
Qq2k2k3v80v80m8s7	SAT	0
Qq2k2k3v80v80m8s9	SAT	0
Qq2k2k3v80v80m16s0	SAT	0
Qq2k2k3v80v80m16s1	SAT	0
Qq2k2k3v80v80m16s2	SAT	0
Qq2k2k3v80v80m16s3	SAT	0
Qq2k2k3v80v80m16s5	SAT	0
Qq2k2k3v80v80m16s8	SAT	0
Qq2k2k3v80v80m16s9	SAT	0
Qq2k2k3v80v80m32s0	SAT	0
Qq2k2k3v80v80m32s1	SAT	0
Qq2k2k3v80v80m32s2	SAT	0
Qq2k2k3v80v80m32s4	SAT	0
Qq2k2k3v80v80m32s6	SAT	0
Qq2k2k3v80v80m32s7	SAT	0
Qq2k2k3v80v80m32s8	SAT	0
Qq2k3k2v40v40m2s1	SAT	0
Qq2k3k2v40v40m2s2	SAT	0
Qq2k3k2v40v40m2s3	SAT	0
Qq2k3k2v40v40m2s4	SAT	0
Qq2k3k2v40v40m2s5	SAT	0
Qq2k3k2v40v40m2s6	SAT	0
Qq2k3k2v40v40m2s7	SAT	0
Qq2k3k2v40v40m4s1	SAT	0
Qq2k3k2v40v40m4s2	SAT	0
Qq2k3k2v40v40m4s4	SAT	0
Qq2k3k2v40v40m4s7	SAT	0
Qq2k3k2v40v40m8s1	SAT	0
Qq2k3k2v40v40m8s3	SAT	0
Qq2k3k2v40v40m8s4	SAT	0
Qq2k3k2v40v40m8s6	SAT	0
Qq2k3k2v40v40m8s7	SAT	0
Qq2k3k2v40v40m8s8	SAT	0
Qq2k3k2v40v40m8s9	SAT	0
Qq2k3k2v40v40m16s0	SAT	0
Qq2k3k2v40v40m16s1	SAT	0
Qq2k3k2v40v40m16s2	SAT	0
Qq2k3k2v40v40m16s4	SAT	0
Qq2k3k2v40v40m16s5	SAT	0
Qq2k3k2v40v40m16s6	SAT	0
Qq2k3k2v40v40m16s7	SAT	0
Qq2k3k2v40v40m16s8	SAT	0
Qq2k3k2v40v40m32s0	SAT	0
Qq2k3k2v40v40m32s1	SAT	0
Qq2k3k2v40v40m32s3	SAT	0
Qq2k3k2v40v40m32s4	SAT	0
Qq2k3k2v40v40m32s5	SAT	0
Qq2k3k2v40v40m32s6	SAT	0
Qq2k3k2v40v40m32s8	SAT	0
Qq2k3k2v40v40m32s9	SAT	0
Qq2k3k2v80v80m2s0	SAT	0
Qq2k3k2v80v80m2s2	SAT	0
Qq2k3k2v80v80m2s4	SAT	0
Qq2k3k2v80v80m2s5	SAT	0
Qq2k3k2v80v80m2s9	SAT	0
Qq2k3k2v80v80m4s0	SAT	0
Qq2k3k2v80v80m4s1	SAT	0
Qq2k3k2v80v80m4s3	SAT	0
Qq2k3k2v80v80m4s5	SAT	0
Qq2k3k2v80v80m4s6	SAT	0
Qq2k3k2v80v80m4s7	SAT	0
Qq2k3k2v80v80m4s8	SAT	0
Qq2k3k2v80v80m4s9	SAT	0
Qq2k3k2v80v80m8s0	SAT	0
Qq2k3k2v80v80m8s1	SAT	0
Qq2k3k2v80v80m8s3	SAT	0
Qq2k3k2v80v80m8s4	SAT	0
Qq2k3k2v80v80m8s5	SAT	0
Qq2k3k2v80v80m8s6	SAT	0
Qq2k3k2v80v80m8s8	SAT	0
Qq2k3k2v80v80m8s9	SAT	0
Qq2k3k2v80v80m16s1	SAT	0
Qq2k3k2v80v80m16s3	SAT	0
Qq2k3k2v80v80m16s4	SAT	0
Qq2k3k2v80v80m16s6	SAT	0
Qq2k3k2v80v80m16s7	SAT	0
Qq2k3k2v80v80m16s8	SAT	0
Qq2k3k2v80v80m16s9	SAT	0
Qq2k3k2v80v80m32s0	SAT	0
Qq2k3k2v80v80m32s2	SAT	0
Qq2k3k2v80v80m32s4	SAT	0
Qq2k3k2v80v80m32s5	SAT	0
Qq2k3k2v80v80m32s8	SAT	0
Qq3k1k1k3v40v40v40m2s0	SAT	0
Qq3k1k1k3v40v40v40m2s2	SAT	0
Qq3k1k1k3v40v40v40m2s3	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
Qq3k1k1k3v40v40v40m4s7	SAT	0
Qq3k1k1k3v40v40v40m4s8	SAT	0
Qq3k1k1k3v40v40v40m4s9	SAT	0
Qq3k1k1k3v40v40v40m8s2	SAT	0
Qq3k1k1k3v40v40v40m8s3	SAT	0
Qq3k1k1k3v40v40v40m8s4	SAT	0
Qq3k1k1k3v40v40v40m8s6	SAT	0
Qq3k1k1k3v40v40v40m8s7	SAT	0
Qq3k1k1k3v40v40v40m8s9	SAT	0
Qq3k1k1k3v40v40v40m16s0	SAT	0
Qq3k1k1k3v40v40v40m16s1	SAT	0
Qq3k1k1k3v40v40v40m16s3	SAT	0
Qq3k1k1k3v40v40v40m16s4	SAT	0
Qq3k1k1k3v40v40v40m16s5	SAT	0
Qq3k1k1k3v40v40v40m16s6	SAT	0
Qq3k1k1k3v40v40v40m16s7	SAT	0
Qq3k1k1k3v40v40v40m16s9	SAT	0
Qq3k1k1k3v40v40v40m32s0	SAT	0
Qq3k1k1k3v40v40v40m32s1	SAT	0
Qq3k1k1k3v40v40v40m32s2	SAT	0
Qq3k1k1k3v40v40v40m32s3	SAT	0
Qq3k1k1k3v40v40v40m32s5	SAT	0
Qq3k1k1k3v40v40v40m32s6	SAT	0
Qq3k1k1k3v40v40v40m32s7	SAT	0
Qq3k1k1k3v40v40v40m32s8	SAT	0
Qq3k1k1k3v40v40v40m32s9	SAT	0
Qq3k1k1k3v80v80v80m2s3	SAT	0
Qq3k1k1k3v80v80v80m2s4	SAT	0
Qq3k1k1k3v80v80v80m2s5	SAT	0
Qq3k1k1k3v80v80v80m2s6	SAT	0
Qq3k1k1k3v80v80v80m2s8	SAT	0
Qq3k1k1k3v80v80v80m2s9	SAT	0
Qq3k1k1k3v80v80v80m4s0	SAT	0
Qq3k1k1k3v80v80v80m4s2	SAT	0
Qq3k1k1k3v80v80v80m4s3	SAT	0
Qq3k1k1k3v80v80v80m4s6	SAT	0
Qq3k1k1k3v80v80v80m4s9	SAT	0
Qq3k1k1k3v80v80v80m8s1	SAT	0
Qq3k1k1k3v80v80v80m8s2	SAT	0
Qq3k1k1k3v80v80v80m8s3	SAT	0
Qq3k1k1k3v80v80v80m8s6	SAT	0
Qq3k1k1k3v80v80v80m16s0	SAT	0
Qq3k1k1k3v80v80v80m16s1	SAT	0
Qq3k1k1k3v80v80v80m16s3	SAT	0
Qq3k1k1k3v80v80v80m16s4	SAT	0
Qq3k1k1k3v80v80v80m16s6	SAT	0
Qq3k1k1k3v80v80v80m16s8	SAT	0
Qq3k1k1k3v80v80v80m32s1	SAT	0
Qq3k1k1k3v80v80v80m32s4	SAT	0
Qq3k1k1k3v80v80v80m32s6	SAT	0
Qq3k1k1k3v80v80v80m32s8	SAT	0
Qq3k1k1k3v80v80v80m32s9	SAT	0
Qq3k1k2k2v40v40v40m2s2	SAT	0
Qq3k1k2k2v40v40v40m2s4	SAT	0
Qq3k1k2k2v40v40v40m2s5	SAT	0
Qq3k1k2k2v40v40v40m2s6	SAT	0
Qq3k1k2k2v40v40v40m2s8	SAT	0
Qq3k1k2k2v40v40v40m4s1	SAT	0
Qq3k1k2k2v40v40v40m4s4	SAT	0
Qq3k1k2k2v40v40v40m4s5	SAT	0
Qq3k1k2k2v40v40v40m4s7	SAT	0
Qq3k1k2k2v40v40v40m4s8	SAT	0
Qq3k1k2k2v40v40v40m8s2	SAT	0
Qq3k1k2k2v40v40v40m8s3	SAT	0
Qq3k1k2k2v40v40v40m8s4	SAT	0
Qq3k1k2k2v40v40v40m8s5	SAT	0
Qq3k1k2k2v40v40v40m8s7	SAT	0
Qq3k1k2k2v40v40v40m8s8	SAT	0
Qq3k1k2k2v40v40v40m8s9	SAT	0
Qq3k1k2k2v40v40v40m16s0	SAT	0
Qq3k1k2k2v40v40v40m16s1	SAT	0
Qq3k1k2k2v40v40v40m16s2	SAT	0
Qq3k1k2k2v40v40v40m16s5	SAT	0
Qq3k1k2k2v40v40v40m16s7	SAT	0
Qq3k1k2k2v40v40v40m16s8	SAT	0
Qq3k1k2k2v40v40v40m16s9	SAT	0
Qq3k1k2k2v40v40v40m32s2	SAT	0
Qq3k1k2k2v40v40v40m32s6	SAT	0
Qq3k1k2k2v40v40v40m32s8	SAT	0
Qq3k1k2k2v80v80v80m2s0	SAT	0
Qq3k1k2k2v80v80v80m2s1	SAT	0
Qq3k1k2k2v80v80v80m2s2	SAT	0
Qq3k1k2k2v80v80v80m2s4	SAT	0
Qq3k1k2k2v80v80v80m2s5	SAT	0
Qq3k1k2k2v80v80v80m2s6	SAT	0
Qq3k1k2k2v80v80v80m2s7	SAT	0
Qq3k1k2k2v80v80v80m2s9	SAT	0
Qq3k1k2k2v80v80v80m4s0	SAT	0
Qq3k1k2k2v80v80v80m4s1	SAT	0
Qq3k1k2k2v80v80v80m4s2	SAT	0
Qq3k1k2k2v80v80v80m4s3	SAT	0
Qq3k1k2k2v80v80v80m4s4	SAT	0
Qq3k1k2k2v80v80v80m4s5	SAT	0
Qq3k1k2k2v80v80v80m4s6	SAT	0
Qq3k1k2k2v80v80v80m4s8	SAT	0
Qq3k1k2k2v80v80v80m8s0	SAT	0
Qq3k1k2k2v80v80v80m8s1	SAT	0
Qq3k1k2k2v80v80v80m8s2	SAT	0
Qq3k1k2k2v80v80v80m8s3	SAT	0
Qq3k1k2k2v80v80v80m8s4	SAT	0
Qq3k1k2k2v80v80v80m8s6	SAT	0
Qq3k1k2k2v80v80v80m8s7	SAT	0
Qq3k1k2k2v80v80v80m8s9	SAT	0
Qq3k1k2k2v80v80v80m16s2	SAT	0
Qq3k1k2k2v80v80v80m16s3	SAT	0
Qq3k1k2k2v80v80v80m16s4	SAT	0
Qq3k1k2k2v80v80v80m16s5	SAT	0
Qq3k1k2k2v80v80v80m16s6	SAT	0
Qq3k1k2k2v80v80v80m16s9	SAT	0
Qq3k1k2k2v80v80v80m32s3	SAT	0
Qq3k1k2k2v80v80v80m32s5	SAT	0
Qq3k1k2k2v80v80v80m32s6	SAT	0
Qq3k1k2k2v80v80v80m32s9	SAT	0
Qq3k1k3k1v40v40v40m2s0	SAT	0
Qq3k1k3k1v40v40v40m2s1	SAT	0
Qq3k1k3k1v40v40v40m2s3	SAT	0
Qq3k1k3k1v40v40v40m2s4	SAT	0
Qq3k1k3k1v40v40v40m2s5	SAT	0
Qq3k1k3k1v40v40v40m2s6	SAT	0
Qq3k1k3k1v40v40v40m2s7	SAT	0
Qq3k1k3k1v40v40v40m4s0	SAT	0
Qq3k1k3k1v40v40v40m4s4	SAT	0
Qq3k1k3k1v40v40v40m4s5	SAT	0
Qq3k1k3k1v40v40v40m4s6	SAT	0
Qq3k1k3k1v40v40v40m4s9	SAT	0
Qq3k1k3k1v40v40v40m8s0	SAT	0
Qq3k1k3k1v40v40v40m8s2	SAT	0
Qq3k1k3k1v40v40v40m8s4	SAT	0
Qq3k1k3k1v40v40v40m8s5	SAT	0
Qq3k1k3k1v40v40v40m8s8	SAT	0
Qq3k1k3k1v40v40v40m16s1	SAT	0
Qq3k1k3k1v40v40v40m16s2	SAT	0
Qq3k1k3k1v40v40v40m16s4	SAT	0
Qq3k1k3k1v40v40v40m16s5	SAT	0
Qq3k1k3k1v40v40v40m16s6	SAT	0
Qq3k1k3k1v40v40v40m16s7	SAT	0
Qq3k1k3k1v40v40v40m16s8	SAT	0
Qq3k1k3k1v40v40v40m32s1	SAT	0
Qq3k1k3k1v40v40v40m32s2	SAT	0
Qq3k1k3k1v40v40v40m32s7	SAT	0
Qq3k1k3k1v40v40v40m32s9	SAT	0
Qq3k1k3k1v80v80v80m2s0	SAT	0
Qq3k1k3k1v80v80v80m2s1	SAT	0
Qq3k1k3k1v80v80v80m2s2	SAT	0
Qq3k1k3k1v80v80v80m2s3	SAT	0
Qq3k1k3k1v80v80v80m2s4	SAT	0
Qq3k1k3k1v80v80v80m2s5	SAT	0
Qq3k1k3k1v80v80v80m2s6	SAT	0
Qq3k1k3k1v80v80v80m2s9	SAT	0
Qq3k1k3k1v80v80v80m4s0	SAT	0
Qq3k1k3k1v80v80v80m4s1	SAT	0
Qq3k1k3k1v80v80v80m4s2	SAT	0
Qq3k1k3k1v80v80v80m4s3	SAT	0
Qq3k1k3k1v80v80v80m4s4	SAT	0
Qq3k1k3k1v80v80v80m4s5	SAT	0
Qq3k1k3k1v80v80v80m4s6	SAT	0
Qq3k1k3k1v80v80v80m4s9	SAT	0
Qq3k1k3k1v80v80v80m8s0	SAT	0
Qq3k1k3k1v80v80v80m8s1	SAT	0
Qq3k1k3k1v80v80v80m8s2	SAT	0
Qq3k1k3k1v80v80v80m8s4	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
Qq3k1k3k1v80v80v80m16s3	SAT	0
Qq3k1k3k1v80v80v80m16s4	SAT	0
Qq3k1k3k1v80v80v80m16s5	SAT	0
Qq3k1k3k1v80v80v80m16s6	SAT	0
Qq3k1k3k1v80v80v80m16s8	SAT	0
Qq3k1k3k1v80v80v80m16s9	SAT	0
Qq3k1k3k1v80v80v80m32s6	SAT	0
Qq3k1k3k1v80v80v80m32s9	SAT	0
Qq3k2k1k2v40v40v40m2s0	SAT	0
Qq3k2k1k2v40v40v40m2s1	SAT	0
Qq3k2k1k2v40v40v40m2s2	SAT	0
Qq3k2k1k2v40v40v40m2s3	SAT	0
Qq3k2k1k2v40v40v40m2s4	SAT	0
Qq3k2k1k2v40v40v40m2s5	SAT	0
Qq3k2k1k2v40v40v40m2s6	SAT	0
Qq3k2k1k2v40v40v40m2s8	SAT	0
Qq3k2k1k2v40v40v40m4s1	SAT	0
Qq3k2k1k2v40v40v40m4s3	SAT	0
Qq3k2k1k2v40v40v40m4s4	SAT	0
Qq3k2k1k2v40v40v40m4s6	SAT	0
Qq3k2k1k2v40v40v40m4s7	SAT	0
Qq3k2k1k2v40v40v40m4s8	SAT	0
Qq3k2k1k2v40v40v40m4s9	SAT	0
Qq3k2k1k2v40v40v40m8s0	SAT	0
Qq3k2k1k2v40v40v40m8s3	SAT	0
Qq3k2k1k2v40v40v40m8s5	SAT	0
Qq3k2k1k2v40v40v40m8s6	SAT	0
Qq3k2k1k2v40v40v40m8s7	SAT	0
Qq3k2k1k2v40v40v40m8s8	SAT	0
Qq3k2k1k2v40v40v40m8s9	SAT	0
Qq3k2k1k2v40v40v40m16s1	SAT	0
Qq3k2k1k2v40v40v40m16s2	SAT	0
Qq3k2k1k2v40v40v40m16s3	SAT	0
Qq3k2k1k2v40v40v40m16s5	SAT	0
Qq3k2k1k2v40v40v40m16s9	SAT	0
Qq3k2k1k2v40v40v40m32s0	SAT	0
Qq3k2k1k2v40v40v40m32s1	SAT	0
Qq3k2k1k2v40v40v40m32s2	SAT	0
Qq3k2k1k2v40v40v40m32s3	SAT	0
Qq3k2k1k2v40v40v40m32s5	SAT	0
Qq3k2k1k2v80v80v80m2s1	SAT	0
Qq3k2k1k2v80v80v80m2s3	SAT	0
Qq3k2k1k2v80v80v80m2s4	SAT	0
Qq3k2k1k2v80v80v80m2s5	SAT	0
Qq3k2k1k2v80v80v80m2s6	SAT	0
Qq3k2k1k2v80v80v80m2s7	SAT	0
Qq3k2k1k2v80v80v80m4s0	SAT	0
Qq3k2k1k2v80v80v80m4s1	SAT	0
Qq3k2k1k2v80v80v80m4s3	SAT	0
Qq3k2k1k2v80v80v80m4s4	SAT	0
Qq3k2k1k2v80v80v80m4s6	SAT	0
Qq3k2k1k2v80v80v80m4s7	SAT	0
Qq3k2k1k2v80v80v80m4s9	SAT	0
Qq3k2k1k2v80v80v80m8s1	SAT	0
Qq3k2k1k2v80v80v80m8s2	SAT	0
Qq3k2k1k2v80v80v80m8s3	SAT	0
Qq3k2k1k2v80v80v80m8s4	SAT	0
Qq3k2k1k2v80v80v80m8s6	SAT	0
Qq3k2k1k2v80v80v80m8s7	SAT	0
Qq3k2k1k2v80v80v80m8s8	SAT	0
Qq3k2k1k2v80v80v80m8s9	SAT	0
Qq3k2k1k2v80v80v80m16s0	SAT	0
Qq3k2k1k2v80v80v80m16s1	SAT	0
Qq3k2k1k2v80v80v80m16s2	SAT	0
Qq3k2k1k2v80v80v80m16s3	SAT	0
Qq3k2k1k2v80v80v80m16s4	SAT	0
Qq3k2k1k2v80v80v80m16s6	SAT	0
Qq3k2k1k2v80v80v80m16s7	SAT	0
Qq3k2k1k2v80v80v80m32s1	SAT	0
Qq3k2k1k2v80v80v80m32s2	SAT	0
Qq3k2k1k2v80v80v80m32s3	SAT	0
Qq3k2k1k2v80v80v80m32s4	SAT	0
Qq3k2k1k2v80v80v80m32s6	SAT	0
Qq3k2k1k2v80v80v80m32s7	SAT	0
Qq3k2k1k2v80v80v80m32s8	SAT	0
Qq3k2k1k2v80v80v80m32s9	SAT	0
Qq3k2k2k1v40v40v40m2s0	SAT	0
Qq3k2k2k1v40v40v40m2s1	SAT	0
Qq3k2k2k1v40v40v40m2s2	SAT	0
Qq3k2k2k1v40v40v40m2s3	SAT	0
Qq3k2k2k1v40v40v40m2s5	SAT	0
Qq3k2k2k1v40v40v40m2s6	SAT	0
Qq3k2k2k1v40v40v40m2s7	SAT	0
Qq3k2k2k1v40v40v40m2s8	SAT	0
Qq3k2k2k1v40v40v40m4s0	SAT	0
Qq3k2k2k1v40v40v40m4s2	SAT	0
Qq3k2k2k1v40v40v40m4s3	SAT	0
Qq3k2k2k1v40v40v40m4s6	SAT	0
Qq3k2k2k1v40v40v40m4s7	SAT	0
Qq3k2k2k1v40v40v40m4s8	SAT	0
Qq3k2k2k1v40v40v40m8s0	SAT	0
Qq3k2k2k1v40v40v40m8s1	SAT	0
Qq3k2k2k1v40v40v40m8s2	SAT	0
Qq3k2k2k1v40v40v40m8s3	SAT	0
Qq3k2k2k1v40v40v40m8s4	SAT	0
Qq3k2k2k1v40v40v40m8s6	SAT	0
Qq3k2k2k1v40v40v40m8s7	SAT	0
Qq3k2k2k1v40v40v40m8s9	SAT	0
Qq3k2k2k1v40v40v40m16s0	SAT	0
Qq3k2k2k1v40v40v40m16s1	SAT	0
Qq3k2k2k1v40v40v40m16s4	SAT	0
Qq3k2k2k1v40v40v40m16s5	SAT	0
Qq3k2k2k1v40v40v40m16s6	SAT	0
Qq3k2k2k1v40v40v40m16s7	SAT	0
Qq3k2k2k1v40v40v40m16s8	SAT	0
Qq3k2k2k1v40v40v40m32s0	SAT	0
Qq3k2k2k1v40v40v40m32s2	SAT	0
Qq3k2k2k1v40v40v40m32s3	SAT	0
Qq3k2k2k1v40v40v40m32s4	SAT	0
Qq3k2k2k1v40v40v40m32s5	SAT	0
Qq3k2k2k1v40v40v40m32s6	SAT	0
Qq3k2k2k1v40v40v40m32s7	SAT	0
Qq3k2k2k1v40v40v40m32s9	SAT	0
Qq3k2k2k1v80v80v80m2s7	SAT	0
Qq3k2k2k1v80v80v80m2s8	SAT	0
Qq3k2k2k1v80v80v80m2s9	SAT	0
Qq3k2k2k1v80v80v80m4s1	SAT	0
Qq3k2k2k1v80v80v80m4s2	SAT	0
Qq3k2k2k1v80v80v80m4s4	SAT	0
Qq3k2k2k1v80v80v80m4s5	SAT	0
Qq3k2k2k1v80v80v80m4s6	SAT	0
Qq3k2k2k1v80v80v80m4s7	SAT	0
Qq3k2k2k1v80v80v80m4s8	SAT	0
Qq3k2k2k1v80v80v80m4s9	SAT	0
Qq3k2k2k1v80v80v80m8s1	SAT	0
Qq3k2k2k1v80v80v80m8s3	SAT	0
Qq3k2k2k1v80v80v80m8s5	SAT	0
Qq3k2k2k1v80v80v80m8s7	SAT	0
Qq3k2k2k1v80v80v80m8s8	SAT	0
Qq3k2k2k1v80v80v80m16s0	SAT	0
Qq3k2k2k1v80v80v80m16s1	SAT	0
Qq3k2k2k1v80v80v80m16s3	SAT	0
Qq3k2k2k1v80v80v80m16s5	SAT	0
Qq3k2k2k1v80v80v80m16s6	SAT	0
Qq3k2k2k1v80v80v80m16s8	SAT	0
Qq3k2k2k1v80v80v80m32s0	SAT	0
Qq3k2k2k1v80v80v80m32s3	SAT	0
Qq3k2k2k1v80v80v80m32s6	SAT	0
Qq3k2k2k1v80v80v80m32s7	SAT	0
Qq3k2k2k1v80v80v80m32s8	SAT	0
Qq3k2k2k1v80v80v80m32s9	SAT	0
Qq3k3k1k1v40v40v40m2s0	SAT	0
Qq3k3k1k1v40v40v40m2s1	SAT	0
Qq3k3k1k1v40v40v40m2s3	SAT	0
Qq3k3k1k1v40v40v40m2s4	SAT	0
Qq3k3k1k1v40v40v40m2s5	SAT	0
Qq3k3k1k1v40v40v40m2s6	SAT	0
Qq3k3k1k1v40v40v40m2s8	SAT	0
Qq3k3k1k1v40v40v40m4s0	SAT	0
Qq3k3k1k1v40v40v40m4s1	SAT	0
Qq3k3k1k1v40v40v40m4s3	SAT	0
Qq3k3k1k1v40v40v40m4s4	SAT	0
Qq3k3k1k1v40v40v40m4s5	SAT	0
Qq3k3k1k1v40v40v40m4s7	SAT	0
Qq3k3k1k1v40v40v40m4s8	SAT	0
Qq3k3k1k1v40v40v40m8s0	SAT	0
Qq3k3k1k1v40v40v40m8s1	SAT	0
Qq3k3k1k1v40v40v40m8s2	SAT	0
Qq3k3k1k1v40v40v40m8s3	SAT	0
Qq3k3k1k1v40v40v40m8s4	SAT	0
Qq3k3k1k1v40v40v40m8s5	SAT	0
Qq3k3k1k1v40v40v40m8s6	SAT	0
Qq3k3k1k1v40v40v40m8s9	SAT	0
Qq3k3k1k1v40v40v40m16s0	SAT	0
Qq3k3k1k1v40v40v40m16s1	SAT	0
Qq3k3k1k1v40v40v40m16s4	SAT	0
Qq3k3k1k1v40v40v40m16s5	SAT	0
Qq3k3k1k1v40v40v40m16s9	SAT	0
Qq3k3k1k1v40v40v40m32s0	SAT	0
Qq3k3k1k1v40v40v40m32s1	SAT	0
Qq3k3k1k1v40v40v40m32s3	SAT	0
Qq3k3k1k1v40v40v40m32s4	SAT	0
Qq3k3k1k1v40v40v40m32s5	SAT	0
Qq3k3k1k1v40v40v40m32s6	SAT	0
Qq3k3k1k1v80v80v80m2s1	SAT	0
Qq3k3k1k1v80v80v80m2s3	SAT	0
Qq3k3k1k1v80v80v80m2s4	SAT	0
Qq3k3k1k1v80v80v80m2s6	SAT	0
Qq3k3k1k1v80v80v80m2s8	SAT	0
Qq3k3k1k1v80v80v80m2s9	SAT	0
Qq3k3k1k1v80v80v80m4s0	SAT	0
Qq3k3k1k1v80v80v80m4s1	SAT	0
Qq3k3k1k1v80v80v80m4s4	SAT	0
Qq3k3k1k1v80v80v80m4s5	SAT	0
Qq3k3k1k1v80v80v80m4s8	SAT	0
Qq3k3k1k1v80v80v80m4s9	SAT	0
Qq3k3k1k1v80v80v80m8s3	SAT	0
Qq3k3k1k1v80v80v80m8s4	SAT	0
Qq3k3k1k1v80v80v80m8s6	SAT	0
Qq3k3k1k1v80v80v80m8s7	SAT	0
Qq3k3k1k1v80v80v80m8s8	SAT	0
Qq3k3k1k1v80v80v80m8s9	SAT	0
Qq3k3k1k1v80v80v80m16s0	SAT	0
Qq3k3k1k1v80v80v80m16s1	SAT	0
Qq3k3k1k1v80v80v80m16s3	SAT	0
Qq3k3k1k1v80v80v80m16s5	SAT	0
Qq3k3k1k1v80v80v80m16s6	SAT	0
Qq3k3k1k1v80v80v80m16s7	SAT	0
Qq3k3k1k1v80v80v80m16s8	SAT	0
Qq3k3k1k1v80v80v80m16s9	SAT	0
Qq3k3k1k1v80v80v80m32s0	SAT	0
Qq3k3k1k1v80v80v80m32s2	SAT	0
Qq3k3k1k1v80v80v80m32s4	SAT	0
Qq3k3k1k1v80v80v80m32s8	SAT	0
Qq2k3k2v80v80m32s9	SAT	0
Qq3k3k1k1v80v80v80m32s9	SAT	0
3qbf-5cnf-80var-320cl.1	SAT	0.01
5qbf-5cnf-80var-640cl.7	SAT	0.01
ncf_4_8_2_u.1	UNSAT	0.01
5qbf-5cnf-80var-640cl.5	SAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
5qbf-5cnf-40var-320cl.1	SAT	0.01
5qbf-5cnf-40var-320cl.8	SAT	0.01
3qbf-5cnf-40var-320cl.3	SAT	0.01
ncf_4_8_2_euad.4	UNSAT	0.01
3qbf-5cnf-80var-320cl.7	SAT	0.01
3qbf-5cnf-40var-320cl.8	SAT	0.01
ncf_8_16_4_euad.5	UNSAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
3qbf-5cnf-80var-320cl.0	SAT	0.01
5qbf-5cnf-80var-640cl.6	SAT	0.01
ncf_4_8_4_u.9	SAT	0.01
2qbf-5cnf-40var-640cl.9	UNSAT	0.01
5qbf-5cnf-160var-640cl.9	SAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
5qbf-5cnf-80var-640cl.4	SAT	0.01
2qbf-5cnf-40var-640cl.2	UNSAT	0.01
5qbf-5cnf-80var-640cl.9	SAT	0.01
6qbf-5cnf-160var-640cl.8	SAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
ncf_8_16_4_d.5	UNSAT	0.01
3qbf-5cnf-20var-160cl.5	SAT	0.01
5qbf-5cnf-40var-320cl.6	SAT	0.01
2qbf-5cnf-40var-640cl.6	UNSAT	0.01
6qbf-5cnf-160var-640cl.6	SAT	0.01
ncf_4_8_2_u.5	SAT	0.01
6qbf-5cnf-160var-640cl.4	SAT	0.01
5qbf-5cnf-80var-640cl.2	SAT	0.01
5qbf-5cnf-40var-320cl.9	SAT	0.01
6qbf-5cnf-160var-640cl.1	SAT	0.01
3qbf-5cnf-160var-640cl.7	SAT	0.01
3qbf-5cnf-160var-640cl.9	SAT	0.01
2qbf-5cnf-40var-640cl.7	UNSAT	0.01
3qbf-5cnf-80var-320cl.2	SAT	0.01
3qbf-5cnf-80var-320cl.4	SAT	0.01
6qbf-5cnf-160var-640cl.0	SAT	0.01
ncf_4_8_2_euad.5	SAT	0.01
5qbf-5cnf-40var-320cl.3	SAT	0.01
3qbf-5cnf-160var-640cl.5	SAT	0.01
ncf_4_8_4_u.4	FAIL	0.01
3qbf-5cnf-80var-320cl.5	SAT	0.01
3qbf-5cnf-160var-640cl.4	SAT	0.01
6qbf-5cnf-160var-640cl.3	SAT	0.01
2qbf-5cnf-40var-640cl.4	UNSAT	0.01
ncf_4_8_2_u.10	SAT	0.01
x10.1	UNSAT	0.01
x5.0	SAT	0.01
x5.2	UNSAT	0.01
x5.4	UNSAT	0.01
x5.6	UNSAT	0.01
x5.7	UNSAT	0.01
x5.9	UNSAT	0.01
cmu.dme2.B-d2	SAT	0.01
eijk.S344.S-d2	SAT	0.01
eijk.S349.S-d2	SAT	0.01
eijk.S386.S-d2	SAT	0.01
eijk.S444.S-d2	SAT	0.01
eijk.S526.S-d2	SAT	0.01
eijk.S953.S-d2	SAT	0.01
vis.4-arbit^1.E-d2	SAT	0.01
vis.bakery.E-d2	SAT	0.01
Qq2k1k4v40v40m2s2	SAT	0.01
Qq2k1k4v40v40m2s7	SAT	0.01
Qq2k1k4v40v40m4s5	SAT	0.01
Qq2k1k4v40v40m4s6	SAT	0.01
Qq2k1k4v40v40m4s8	SAT	0.01
Qq2k1k4v40v40m8s2	UNSAT	0.01
Qq2k1k4v40v40m8s4	SAT	0.01
Qq2k1k4v40v40m8s5	SAT	0.01
Qq2k1k4v40v40m8s7	SAT	0.01
Qq2k1k4v40v40m8s9	SAT	0.01
Qq2k1k4v40v40m16s6	UNSAT	0.01
Qq2k1k4v40v40m16s7	SAT	0.01
Qq2k1k4v40v40m16s8	SAT	0.01
Qq2k1k4v40v40m32s0	UNSAT	0.01
Qq2k1k4v40v40m32s1	UNSAT	0.01
Qq2k1k4v40v40m32s5	UNSAT	0.01
Qq2k1k4v40v40m32s7	UNSAT	0.01
Qq2k1k4v40v40m32s8	UNSAT	0.01
Qq2k1k4v80v80m2s3	SAT	0.01
Qq2k1k4v80v80m2s4	SAT	0.01
Qq2k1k4v80v80m2s6	SAT	0.01
Qq2k1k4v80v80m2s7	SAT	0.01
Qq2k1k4v80v80m2s9	SAT	0.01
Qq2k1k4v80v80m4s0	SAT	0.01
Qq2k1k4v80v80m4s9	SAT	0.01
Qq2k1k4v80v80m8s1	SAT	0.01
Qq2k1k4v80v80m8s7	SAT	0.01
Qq2k1k4v80v80m16s7	SAT	0.01
Qq2k1k4v80v80m16s8	UNSAT	0.01
Qq2k1k4v80v80m32s1	SAT	0.01
Qq2k1k4v80v80m32s2	UNSAT	0.01
Qq2k1k4v80v80m32s4	UNSAT	0.01
Qq2k1k4v80v80m32s6	UNSAT	0.01
Qq2k1k4v80v80m32s8	UNSAT	0.01
Qq2k2k3v40v40m2s2	SAT	0.01
Qq2k2k3v40v40m2s5	SAT	0.01
Qq2k2k3v40v40m2s9	SAT	0.01
Qq2k2k3v40v40m4s2	SAT	0.01
Qq2k2k3v40v40m4s3	SAT	0.01
Qq2k2k3v40v40m8s8	SAT	0.01
Qq2k2k3v40v40m8s9	SAT	0.01
Qq2k2k3v40v40m16s4	SAT	0.01
Qq2k2k3v40v40m16s5	SAT	0.01
Qq2k2k3v40v40m16s6	SAT	0.01
Qq2k2k3v40v40m32s4	SAT	0.01
Qq2k2k3v40v40m32s5	SAT	0.01
Qq2k2k3v80v80m2s0	SAT	0.01
Qq2k2k3v80v80m2s2	SAT	0.01
Qq2k2k3v80v80m4s9	SAT	0.01
Qq2k2k3v80v80m8s3	SAT	0.01
Qq2k2k3v80v80m8s8	SAT	0.01
Qq2k2k3v80v80m16s4	SAT	0.01
Qq2k2k3v80v80m16s6	SAT	0.01
Qq2k2k3v80v80m16s7	SAT	0.01
Qq2k2k3v80v80m32s3	SAT	0.01
Qq2k2k3v80v80m32s5	SAT	0.01
Qq2k2k3v80v80m32s9	SAT	0.01
Qq2k3k2v40v40m2s0	SAT	0.01
Qq2k3k2v40v40m2s8	SAT	0.01
Qq2k3k2v40v40m4s0	SAT	0.01
Qq2k3k2v40v40m4s3	SAT	0.01
Qq2k3k2v40v40m4s5	SAT	0.01
Qq2k3k2v40v40m4s6	SAT	0.01
Qq2k3k2v40v40m4s8	SAT	0.01
Qq2k3k2v40v40m4s9	SAT	0.01
Qq2k3k2v40v40m8s0	SAT	0.01
Qq2k3k2v40v40m8s2	SAT	0.01
Qq2k3k2v40v40m8s5	SAT	0.01
Qq2k3k2v40v40m16s3	SAT	0.01
Qq2k3k2v40v40m16s9	SAT	0.01
Qq2k3k2v40v40m32s2	SAT	0.01
Qq2k3k2v40v40m32s7	SAT	0.01
Qq2k3k2v80v80m2s1	SAT	0.01
Qq2k3k2v80v80m2s3	SAT	0.01
Qq2k3k2v80v80m2s6	SAT	0.01
Qq2k3k2v80v80m2s7	SAT	0.01
Qq2k3k2v80v80m4s2	SAT	0.01
Qq2k3k2v80v80m4s4	SAT	0.01
Qq2k3k2v80v80m8s7	SAT	0.01
Qq2k3k2v80v80m16s0	SAT	0.01
Qq2k3k2v80v80m16s2	SAT	0.01
Qq2k3k2v80v80m16s5	SAT	0.01
Qq2k3k2v80v80m32s1	SAT	0.01
Qq2k3k2v80v80m32s3	SAT	0.01
Qq2k3k2v80v80m32s6	SAT	0.01
Qq2k3k2v80v80m32s7	SAT	0.01
Qq3k1k1k3v40v40v40m2s1	SAT	0.01
Qq3k1k1k3v40v40v40m2s4	SAT	0.01
Qq3k1k1k3v40v40v40m4s3	SAT	0.01
Qq3k1k1k3v40v40v40m4s4	SAT	0.01
Qq3k1k1k3v40v40v40m8s1	SAT	0.01
Qq3k1k1k3v40v40v40m8s5	SAT	0.01
Qq3k1k1k3v40v40v40m8s8	SAT	0.01
Qq3k1k1k3v40v40v40m16s2	SAT	0.01
Qq3k1k1k3v40v40v40m16s8	SAT	0.01
Qq3k1k1k3v40v40v40m32s4	SAT	0.01
Qq3k1k1k3v80v80v80m2s0	SAT	0.01
Qq3k1k1k3v80v80v80m2s1	SAT	0.01
Qq3k1k1k3v80v80v80m2s2	SAT	0.01
Qq3k1k1k3v80v80v80m2s7	SAT	0.01
Qq3k1k1k3v80v80v80m4s1	SAT	0.01
Qq3k1k1k3v80v80v80m4s4	SAT	0.01
Qq3k1k1k3v80v80v80m4s5	SAT	0.01
Qq3k1k1k3v80v80v80m4s8	SAT	0.01
Qq3k1k1k3v80v80v80m8s0	SAT	0.01
Qq3k1k1k3v80v80v80m8s4	SAT	0.01
Qq3k1k1k3v80v80v80m8s5	SAT	0.01
Qq3k1k1k3v80v80v80m8s8	SAT	0.01
Qq3k1k1k3v80v80v80m16s2	SAT	0.01
Qq3k1k1k3v80v80v80m16s5	SAT	0.01
Qq3k1k1k3v80v80v80m16s7	SAT	0.01
Qq3k1k1k3v80v80v80m16s9	SAT	0.01
Qq3k1k1k3v80v80v80m32s0	SAT	0.01
Qq3k1k1k3v80v80v80m32s3	SAT	0.01
Qq3k1k1k3v80v80v80m32s7	SAT	0.01
Qq3k1k2k2v40v40v40m2s0	SAT	0.01
Qq3k1k2k2v40v40v40m2s1	SAT	0.01
Qq3k1k2k2v40v40v40m2s3	SAT	0.01
Qq3k1k2k2v40v40v40m2s7	SAT	0.01
Qq3k1k2k2v40v40v40m2s9	SAT	0.01
Qq3k1k2k2v40v40v40m4s0	SAT	0.01
Qq3k1k2k2v40v40v40m4s2	SAT	0.01
Qq3k1k2k2v40v40v40m4s3	SAT	0.01
Qq3k1k2k2v40v40v40m4s6	SAT	0.01
Qq3k1k2k2v40v40v40m4s9	SAT	0.01
Qq3k1k2k2v40v40v40m8s0	SAT	0.01
Qq3k1k2k2v40v40v40m8s1	SAT	0.01
Qq3k1k2k2v40v40v40m8s6	SAT	0.01
Qq3k1k2k2v40v40v40m16s3	SAT	0.01
Qq3k1k2k2v40v40v40m16s4	SAT	0.01
Qq3k1k2k2v40v40v40m16s6	SAT	0.01
Qq3k1k2k2v40v40v40m32s0	SAT	0.01
Qq3k1k2k2v40v40v40m32s3	SAT	0.01
Qq3k1k2k2v40v40v40m32s4	SAT	0.01
Qq3k1k2k2v40v40v40m32s5	SAT	0.01
Qq3k1k2k2v40v40v40m32s7	SAT	0.01
Qq3k1k2k2v40v40v40m32s9	SAT	0.01
Qq3k1k2k2v80v80v80m2s3	SAT	0.01
Qq3k1k2k2v80v80v80m2s8	SAT	0.01
Qq3k1k2k2v80v80v80m4s7	SAT	0.01
Qq3k1k2k2v80v80v80m4s9	SAT	0.01
Qq3k1k2k2v80v80v80m8s5	SAT	0.01
Qq3k1k2k2v80v80v80m8s8	SAT	0.01
Qq3k1k2k2v80v80v80m16s0	SAT	0.01
Qq3k1k2k2v80v80v80m16s1	SAT	0.01
Qq3k1k2k2v80v80v80m16s7	SAT	0.01
Qq3k1k2k2v80v80v80m32s0	SAT	0.01
Qq3k1k2k2v80v80v80m32s1	SAT	0.01
Qq3k1k2k2v80v80v80m32s2	SAT	0.01
Qq3k1k2k2v80v80v80m32s4	SAT	0.01
Qq3k1k2k2v80v80v80m32s7	SAT	0.01
Qq3k1k2k2v80v80v80m32s8	SAT	0.01
Qq3k1k3k1v40v40v40m2s2	SAT	0.01
Qq3k1k3k1v40v40v40m2s8	SAT	0.01
Qq3k1k3k1v40v40v40m2s9	SAT	0.01
Qq3k1k3k1v40v40v40m4s1	SAT	0.01
Qq3k1k3k1v40v40v40m4s2	SAT	0.01
Qq3k1k3k1v40v40v40m4s3	SAT	0.01
Qq3k1k3k1v40v40v40m4s7	SAT	0.01
Qq3k1k3k1v40v40v40m4s8	SAT	0.01
Qq3k1k3k1v40v40v40m8s1	SAT	0.01
Qq3k1k3k1v40v40v40m8s3	SAT	0.01
Qq3k1k3k1v40v40v40m8s6	SAT	0.01
Qq3k1k3k1v40v40v40m8s7	SAT	0.01
Qq3k1k3k1v40v40v40m8s9	SAT	0.01
Qq3k1k3k1v40v40v40m16s0	SAT	0.01
Qq3k1k3k1v40v40v40m16s3	SAT	0.01
Qq3k1k3k1v40v40v40m32s0	SAT	0.01
Qq3k1k3k1v40v40v40m32s3	SAT	0.01
Qq3k1k3k1v40v40v40m32s4	SAT	0.01
Qq3k1k3k1v40v40v40m32s5	SAT	0.01
Qq3k1k3k1v40v40v40m32s8	SAT	0.01
Qq3k1k3k1v80v80v80m2s7	SAT	0.01
Qq3k1k3k1v80v80v80m2s8	SAT	0.01
Qq3k1k3k1v80v80v80m4s7	SAT	0.01
Qq3k1k3k1v80v80v80m8s3	SAT	0.01
Qq3k1k3k1v80v80v80m16s7	SAT	0.01
Qq3k1k3k1v80v80v80m32s1	SAT	0.01
Qq3k1k3k1v80v80v80m32s2	SAT	0.01
Qq3k1k3k1v80v80v80m32s3	SAT	0.01
Qq3k1k3k1v80v80v80m32s5	SAT	0.01
Qq3k1k3k1v80v80v80m32s7	SAT	0.01
Qq3k2k1k2v40v40v40m2s7	SAT	0.01
Qq3k2k1k2v40v40v40m2s9	SAT	0.01
Qq3k2k1k2v40v40v40m4s0	SAT	0.01
Qq3k2k1k2v40v40v40m4s2	SAT	0.01
Qq3k2k1k2v40v40v40m4s5	SAT	0.01
Qq3k2k1k2v40v40v40m8s1	SAT	0.01
Qq3k2k1k2v40v40v40m8s2	SAT	0.01
Qq3k2k1k2v40v40v40m16s0	SAT	0.01
Qq3k2k1k2v40v40v40m16s4	SAT	0.01
Qq3k2k1k2v40v40v40m16s6	SAT	0.01
Qq3k2k1k2v40v40v40m32s4	SAT	0.01
Qq3k2k1k2v40v40v40m32s6	SAT	0.01
Qq3k2k1k2v40v40v40m32s7	SAT	0.01
Qq3k2k1k2v40v40v40m32s8	SAT	0.01
Qq3k2k1k2v40v40v40m32s9	SAT	0.01
Qq3k2k1k2v80v80v80m2s0	SAT	0.01
Qq3k2k1k2v80v80v80m2s2	SAT	0.01
Qq3k2k1k2v80v80v80m2s8	SAT	0.01
Qq3k2k1k2v80v80v80m2s9	SAT	0.01
Qq3k2k1k2v80v80v80m4s2	SAT	0.01
Qq3k2k1k2v80v80v80m4s5	SAT	0.01
Qq3k2k1k2v80v80v80m4s8	SAT	0.01
Qq3k2k1k2v80v80v80m8s0	SAT	0.01
Qq3k2k1k2v80v80v80m16s5	SAT	0.01
Qq3k2k1k2v80v80v80m16s8	SAT	0.01
Qq3k2k1k2v80v80v80m16s9	SAT	0.01
Qq3k2k1k2v80v80v80m32s0	SAT	0.01
Qq3k2k1k2v80v80v80m32s5	SAT	0.01
Qq3k2k2k1v40v40v40m2s4	SAT	0.01
Qq3k2k2k1v40v40v40m2s9	SAT	0.01
Qq3k2k2k1v40v40v40m4s4	SAT	0.01
Qq3k2k2k1v40v40v40m4s5	SAT	0.01
Qq3k2k2k1v40v40v40m8s5	SAT	0.01
Qq3k2k2k1v40v40v40m8s8	SAT	0.01
Qq3k2k2k1v40v40v40m16s2	SAT	0.01
Qq3k2k2k1v40v40v40m16s3	SAT	0.01
Qq3k2k2k1v40v40v40m16s9	SAT	0.01
Qq3k2k2k1v40v40v40m32s1	SAT	0.01
Qq3k2k2k1v40v40v40m32s8	SAT	0.01
Qq3k2k2k1v80v80v80m2s0	SAT	0.01
Qq3k2k2k1v80v80v80m2s2	SAT	0.01
Qq3k2k2k1v80v80v80m2s3	SAT	0.01
Qq3k2k2k1v80v80v80m2s4	SAT	0.01
Qq3k2k2k1v80v80v80m2s5	SAT	0.01
Qq3k2k2k1v80v80v80m2s6	SAT	0.01
Qq3k2k2k1v80v80v80m4s0	SAT	0.01
Qq3k2k2k1v80v80v80m4s3	SAT	0.01
Qq3k2k2k1v80v80v80m8s0	SAT	0.01
Qq3k2k2k1v80v80v80m8s2	SAT	0.01
Qq3k2k2k1v80v80v80m8s4	SAT	0.01
Qq3k2k2k1v80v80v80m8s6	SAT	0.01
Qq3k2k2k1v80v80v80m8s9	SAT	0.01
Qq3k2k2k1v80v80v80m16s2	SAT	0.01
Qq3k2k2k1v80v80v80m16s4	SAT	0.01
Qq3k2k2k1v80v80v80m16s7	SAT	0.01
Qq3k2k2k1v80v80v80m16s9	SAT	0.01
Qq3k2k2k1v80v80v80m32s1	SAT	0.01
Qq3k2k2k1v80v80v80m32s2	SAT	0.01
Qq3k2k2k1v80v80v80m32s4	SAT	0.01
Qq3k2k2k1v80v80v80m32s5	SAT	0.01
Qq3k3k1k1v40v40v40m2s7	SAT	0.01
Qq3k3k1k1v40v40v40m4s2	SAT	0.01
Qq3k3k1k1v40v40v40m4s6	SAT	0.01
Qq3k3k1k1v40v40v40m4s9	SAT	0.01
Qq3k3k1k1v40v40v40m8s7	SAT	0.01
Qq3k3k1k1v40v40v40m8s8	SAT	0.01
Qq3k3k1k1v40v40v40m16s2	SAT	0.01
Qq3k3k1k1v40v40v40m16s3	SAT	0.01
Qq3k3k1k1v40v40v40m16s6	SAT	0.01
Qq3k3k1k1v40v40v40m16s7	SAT	0.01
Qq3k3k1k1v40v40v40m16s8	SAT	0.01
Qq3k3k1k1v40v40v40m32s2	SAT	0.01
Qq3k3k1k1v40v40v40m32s7	SAT	0.01
Qq3k3k1k1v40v40v40m32s8	SAT	0.01
Qq3k3k1k1v40v40v40m32s9	SAT	0.01
Qq3k3k1k1v80v80v80m2s0	SAT	0.01
Qq3k3k1k1v80v80v80m2s2	SAT	0.01
Qq3k3k1k1v80v80v80m2s7	SAT	0.01
Qq3k3k1k1v80v80v80m4s2	SAT	0.01
Qq3k3k1k1v80v80v80m4s3	SAT	0.01
Qq3k3k1k1v80v80v80m4s6	SAT	0.01
Qq3k3k1k1v80v80v80m4s7	SAT	0.01
Qq3k3k1k1v80v80v80m8s0	SAT	0.01
Qq3k3k1k1v80v80v80m8s1	SAT	0.01
Qq3k3k1k1v80v80v80m8s2	SAT	0.01
Qq3k3k1k1v80v80v80m8s5	SAT	0.01
Qq3k3k1k1v80v80v80m16s2	SAT	0.01
Qq3k3k1k1v80v80v80m16s4	SAT	0.01
Qq3k3k1k1v80v80v80m32s1	SAT	0.01
Qq3k3k1k1v80v80v80m32s3	SAT	0.01
Qq3k3k1k1v80v80v80m32s5	SAT	0.01
Qq3k3k1k1v80v80v80m32s6	SAT	0.01
Qq3k3k1k1v80v80v80m32s7	SAT	0.01
ncf_4_8_2_euad.8	SAT	0.02
ncf_4_8_2_u.7	UNSAT	0.02
3qbf-5cnf-160var-640cl.3	SAT	0.02
3qbf-5cnf-40var-320cl.1	SAT	0.02
ncf_4_8_2_euad.9	SAT	0.02
4qbf-5cnf-20var-640cl.4	UNSAT	0.02
3qbf-5cnf-160var-640cl.0	SAT	0.02
5qbf-5cnf-160var-640cl.0	SAT	0.02
5qbf-5cnf-80var-640cl.1	SAT	0.02
3qbf-5cnf-160var-640cl.8	SAT	0.02
3qbf-5cnf-160var-640cl.6	SAT	0.02
5qbf-5cnf-80var-640cl.3	SAT	0.02
5qbf-5cnf-40var-320cl.5	SAT	0.02
ncf_4_8_4_euad.2	UNSAT	0.02
2qbf-5cnf-40var-640cl.3	UNSAT	0.02
2qbf-5cnf-40var-640cl.0	UNSAT	0.02
3qbf-5cnf-160var-640cl.2	SAT	0.02
ncf_8_16_4_euad.2	UNSAT	0.02
ncf_8_16_4_d.2	UNSAT	0.02
4qbf-5cnf-20var-640cl.3	UNSAT	0.02
5qbf-5cnf-160var-640cl.7	SAT	0.02
ncf_4_8_2_euad.10	SAT	0.02
ncf_4_8_8_edau.9	UNSAT	0.02
ncf_4_8_2_euad.2	SAT	0.02
ncf_4_8_4_u.2	UNSAT	0.02
x10.0	UNSAT	0.02
x10.5	UNSAT	0.02
x10.6	UNSAT	0.02
x10.9	UNSAT	0.02
x5.8	UNSAT	0.02
Qq2k1k4v40v40m2s0	SAT	0.02
Qq2k1k4v40v40m2s6	SAT	0.02
Qq2k1k4v80v80m4s5	SAT	0.02
Qq2k1k4v80v80m8s0	SAT	0.02
Qq2k1k4v80v80m16s6	SAT	0.02
Qq2k2k3v80v80m2s6	SAT	0.02
Qq2k2k3v80v80m8s2	SAT	0.02
Qq2k3k2v40v40m2s9	SAT	0.02
Qq2k3k2v80v80m2s8	SAT	0.02
Qq2k3k2v80v80m8s2	SAT	0.02
Qq3k1k1k3v40v40v40m2s5	SAT	0.02
Qq3k1k1k3v40v40v40m8s0	SAT	0.02
Qq3k1k1k3v80v80v80m4s7	SAT	0.02
Qq3k1k1k3v80v80v80m8s7	SAT	0.02
Qq3k1k1k3v80v80v80m8s9	SAT	0.02
Qq3k1k1k3v80v80v80m32s2	SAT	0.02
Qq3k1k1k3v80v80v80m32s5	SAT	0.02
Qq3k1k2k2v40v40v40m32s1	SAT	0.02
Qq3k1k2k2v80v80v80m16s8	SAT	0.02
Qq3k1k3k1v40v40v40m16s9	SAT	0.02
Qq3k1k3k1v40v40v40m32s6	SAT	0.02
Qq3k1k3k1v80v80v80m4s8	SAT	0.02
Qq3k1k3k1v80v80v80m32s0	SAT	0.02
Qq3k1k3k1v80v80v80m32s4	SAT	0.02
Qq3k1k3k1v80v80v80m32s8	SAT	0.02
Qq3k2k1k2v40v40v40m8s4	SAT	0.02
Qq3k2k1k2v40v40v40m16s7	SAT	0.02
Qq3k2k1k2v40v40v40m16s8	SAT	0.02
Qq3k2k1k2v80v80v80m8s5	SAT	0.02
Qq3k2k2k1v40v40v40m4s1	SAT	0.02
Qq3k2k2k1v40v40v40m4s9	SAT	0.02
Qq3k2k2k1v80v80v80m2s1	SAT	0.02
Qq3k3k1k1v40v40v40m2s2	SAT	0.02
Qq3k3k1k1v40v40v40m2s9	SAT	0.02
Qq3k3k1k1v80v80v80m2s5	SAT	0.02
ncf_4_8_8_u.9	UNSAT	0.03
ncf_8_16_4_u.2	UNSAT	0.03
4qbf-5cnf-20var-640cl.1	UNSAT	0.03
4qbf-5cnf-20var-640cl.5	UNSAT	0.03
2qbf-5cnf-80var-1280cl.2	UNSAT	0.03
ncf_4_8_2_u.8	SAT	0.03
2qbf-5cnf-40var-640cl.8	UNSAT	0.03
x10.2	UNSAT	0.03
x10.4	SAT	0.03
x10.8	UNSAT	0.03
eijk.S1423.S-d2	SAT	0.03
irst.dme6.B-d2	SAT	0.03
ncf_8_16_4_edau.2	UNSAT	0.04
4qbf-5cnf-20var-640cl.8	UNSAT	0.04
ncf_4_8_2_u.9	SAT	0.04
2qbf-5cnf-80var-1280cl.3	UNSAT	0.04
ncf_4_8_8_euad.9	UNSAT	0.04
ncf_4_8_8_d.9	UNSAT	0.04
x10.7	SAT	0.04
4qbf-5cnf-20var-640cl.7	UNSAT	0.05
ncf_4_8_2_euad.7	UNSAT	0.05
4qbf-5cnf-20var-640cl.2	UNSAT	0.05
x10.3	UNSAT	0.05
4qbf-5cnf-20var-640cl.0	UNSAT	0.06
4qbf-5cnf-20var-640cl.6	UNSAT	0.07
ncf_4_8_8_edau.4	SAT	0.08
x15.6	UNSAT	0.08
2qbf-5cnf-160var-5120cl.7	UNSAT	0.09
2qbf-5cnf-160var-5120cl.1	UNSAT	0.09
ncf_4_8_2_u.2	SAT	0.09
2qbf-5cnf-160var-5120cl.5	UNSAT	0.09
2qbf-5cnf-160var-5120cl.2	UNSAT	0.1
2qbf-5cnf-160var-5120cl.9	UNSAT	0.1
qshifter_5	SAT	0.1
4qbf-5cnf-20var-640cl.9	UNSAT	0.1
2qbf-5cnf-160var-5120cl.4	UNSAT	0.1
3qbf-5cnf-20var-160cl.7	SAT	0.11
2qbf-5cnf-160var-5120cl.0	UNSAT	0.11
2qbf-5cnf-160var-5120cl.6	UNSAT	0.11
2qbf-5cnf-80var-1280cl.9	UNSAT	0.11
2qbf-5cnf-160var-5120cl.8	UNSAT	0.11
ncf_4_8_8_d.4	SAT	0.11
ncf_4_8_2_euad.6	SAT	0.12
x15.0	UNSAT	0.12
2qbf-5cnf-160var-5120cl.3	UNSAT	0.13
ncf_4_8_8_u.4	SAT	0.13
x15.3	SAT	0.13
x15.4	UNSAT	0.13
ncf_4_16_2_euad.6	SAT	0.15
ncf_4_8_8_euad.4	SAT	0.15
x15.1	SAT	0.15
1qbf-5cnf-160var-2560cl.8	SAT	0.16
1qbf-5cnf-160var-2560cl.0	SAT	0.16
x15.8	SAT	0.16
ncf_4_16_2_u.6	SAT	0.17
ncf_4_16_2_u.9	SAT	0.17
ncf_16_32_2_u.7	UNSAT	0.18
ncf_4_8_2_u.6	SAT	0.18
x15.9	UNSAT	0.18
connect_8x7_3_W	UNSAT	0.2
ncf_4_16_2_edau.9	SAT	0.2
ncf_4_16_2_d.9	SAT	0.21
4qbf-5cnf-20var-320cl.1	UNSAT	0.22
x15.7	UNSAT	0.22
ncf_4_16_2_euad.9	SAT	0.25
ncf_16_32_2_edau.7	UNSAT	0.25
connect_8x7_3_D	UNSAT	0.25
connect_8x7_4_W	UNSAT	0.25
4qbf-5cnf-20var-320cl.5	UNSAT	0.26
x15.2	UNSAT	0.26
connect_8x7_4_D	UNSAT	0.27
x15.5	UNSAT	0.27
connect_9x8_5_D	UNSAT	0.29
3qbf-5cnf-20var-160cl.0	SAT	0.29
2qbf-5cnf-80var-1280cl.6	UNSAT	0.29
ncf_4_16_2_edau.6	SAT	0.3
3qbf-5cnf-20var-160cl.8	SAT	0.3
2qbf-5cnf-80var-1280cl.5	UNSAT	0.31
connect_9x8_5_W	UNSAT	0.32
1qbf-5cnf-160var-2560cl.1	SAT	0.32
4qbf-5cnf-20var-320cl.7	UNSAT	0.33
connect_9x8_4_W	UNSAT	0.34
ncf_16_32_2_euad.7	UNSAT	0.34
connect_9x8_3_D	UNSAT	0.34
connect_9x8_4_D	UNSAT	0.35
connect_9x8_3_W	UNSAT	0.36
3qbf-5cnf-20var-320cl.9	UNSAT	0.39
4qbf-5cnf-20var-320cl.2	UNSAT	0.39
ncf_16_32_2_d.7	UNSAT	0.42
x20.2	SAT	0.43
5qbf-5cnf-20var-640cl.1	UNSAT	0.45
3qbf-5cnf-20var-320cl.4	UNSAT	0.46
ncf_4_16_2_d.6	SAT	0.48
ncf_4_8_4_euad.3	UNSAT	0.48
ncf_4_8_4_euad.10	UNSAT	0.52
2qbf-5cnf-80var-1280cl.7	UNSAT	0.54
4qbf-5cnf-40var-1280cl.6	UNSAT	0.59
3qbf-5cnf-20var-320cl.7	UNSAT	0.6
4qbf-5cnf-20var-320cl.0	UNSAT	0.61
4qbf-5cnf-40var-1280cl.1	UNSAT	0.61
ncf_8_16_4_u.6	UNSAT	0.63
1qbf-5cnf-160var-2560cl.5	SAT	0.66
x20.4	UNSAT	0.67
5qbf-5cnf-20var-640cl.7	UNSAT	0.72
5qbf-5cnf-20var-640cl.2	UNSAT	0.79
5qbf-5cnf-20var-640cl.9	UNSAT	0.81
ncf_8_16_4_u.8	UNSAT	0.85
4qbf-5cnf-20var-320cl.4	UNSAT	0.87
ncf_8_16_4_euad.6	UNSAT	0.89
ncf_8_16_4_edau.6	UNSAT	0.97
ncf_8_16_4_euad.8	UNSAT	0.99
1qbf-5cnf-160var-2560cl.2	SAT	1
2qbf-5cnf-160var-2560cl.9	UNSAT	1.02
4qbf-5cnf-20var-320cl.9	UNSAT	1.05
5qbf-5cnf-20var-640cl.0	UNSAT	1.06
x20.1	UNSAT	1.13
6qbf-5cnf-20var-640cl.5	UNSAT	1.18
x25.9	UNSAT	1.22
ncf_4_16_2_u.7	SAT	1.28
6qbf-5cnf-20var-640cl.4	UNSAT	1.33
ncf_4_8_4_u.3	UNSAT	1.34
3qbf-5cnf-20var-320cl.6	UNSAT	1.38
irst.dme5.B-d2	SAT	1.38
3qbf-5cnf-20var-320cl.0	UNSAT	1.41
ncf_8_16_4_d.6	UNSAT	1.42
x20.8	SAT	1.42
qshifter_6	SAT	1.48
4qbf-5cnf-20var-160cl.0	UNSAT	1.48
6qbf-5cnf-20var-640cl.8	UNSAT	1.71
x20.0	SAT	1.71
x20.7	SAT	1.75
ncf_4_8_4_euad.8	UNSAT	1.78
T-edau-0	UNSAT	1.95
4qbf-5cnf-20var-320cl.3	UNSAT	1.96
6qbf-5cnf-20var-640cl.3	UNSAT	1.96
4qbf-5cnf-20var-320cl.8	UNSAT	2.12
T-edau-6	UNSAT	2.17
x20.9	SAT	2.22
4qbf-5cnf-40var-1280cl.9	UNSAT	2.29
3qbf-5cnf-20var-320cl.1	UNSAT	2.29
T-edau-4	UNSAT	2.41
6qbf-5cnf-20var-640cl.7	UNSAT	2.49
ncf_8_16_8_d.1	SAT	2.49
szymanski-8-s	UNSAT	2.5
ncf_8_16_8_euad.1	SAT	2.52
ncf_4_8_4_euad.6	SAT	2.52
ncf_4_8_4_u.8	UNSAT	2.53
ncf_4_8_8_euad.1	SAT	2.54
ncf_4_8_4_u.1	SAT	2.56
4qbf-5cnf-20var-320cl.6	UNSAT	2.64
2qbf-5cnf-80var-1280cl.0	UNSAT	2.69
x20.5	SAT	2.7
2qbf-5cnf-80var-1280cl.8	UNSAT	2.77
ncf_4_16_2_euad.7	SAT	2.78
T-edau-1	UNSAT	2.78
T-edau-5	UNSAT	2.8
ncf_4_16_2_edau.7	SAT	2.85
3qbf-5cnf-20var-160cl.3	SAT	2.86
ncf_8_16_4_edau.1	SAT	3
ncf_8_16_4_u.1	SAT	3
4qbf-5cnf-80var-320cl.0	SAT	3.02
4qbf-5cnf-20var-160cl.8	UNSAT	3.04
x20.3	UNSAT	3.05
ncf_4_8_8_edau.6	UNSAT	3.06
x20.6	SAT	3.13
ncf_16_32_2_edau.9	UNSAT	3.14
ncf_16_32_2_u.9	UNSAT	3.15
x40.1	UNSAT	3.27
T-edau-2	UNSAT	3.33
6qbf-5cnf-20var-160cl.3	UNSAT	3.39
T-edau-9	UNSAT	3.43
3qbf-5cnf-20var-320cl.2	UNSAT	3.44
ncf_4_16_4_euad.9	SAT	3.55
6qbf-5cnf-20var-160cl.7	SAT	3.74
x25.5	UNSAT	3.93
sortnetsort5.v.stepl.003	UNSAT	3.95
4qbf-5cnf-40var-1280cl.8	UNSAT	3.96
ncf_4_16_2_d.7	SAT	4.07
vis.emodel.E-d2	SAT	4.07
T-edau-3	UNSAT	4.14
2qbf-5cnf-80var-1280cl.4	UNSAT	4.22
6qbf-5cnf-20var-160cl.5	UNSAT	4.23
ncf_4_8_8_d.6	UNSAT	4.31
5qbf-5cnf-20var-640cl.4	UNSAT	4.35
3qbf-5cnf-20var-320cl.3	UNSAT	4.44
3qbf-5cnf-20var-320cl.5	UNSAT	4.54
T-edau-7	UNSAT	4.68
6qbf-5cnf-20var-320cl.6	UNSAT	4.7
6qbf-5cnf-20var-160cl.6	UNSAT	4.81
ncf_4_16_2_euad.2	SAT	4.83
x25.7	UNSAT	4.96
6qbf-5cnf-20var-320cl.7	UNSAT	4.97
6qbf-5cnf-20var-160cl.1	UNSAT	4.97
ncf_8_16_4_edau.8	UNSAT	5.17
ncf_4_8_8_d.1	SAT	5.6
5qbf-5cnf-20var-640cl.3	UNSAT	6.06
ncf_4_8_8_u.6	UNSAT	6.46
ncf_8_16_4_d.8	UNSAT	6.84
6qbf-5cnf-20var-640cl.1	UNSAT	6.91
1qbf-5cnf-160var-2560cl.7	SAT	7.21
sortnetsort5.v.stepl.005	SAT	7.24
ncf_8_16_8_edau.1	SAT	7.69
ncf_8_16_4_euad.10	SAT	7.74
sortnetsort5.v.stepl.006	SAT	8.23
x30.5	UNSAT	8.47
ncf_4_16_4_d.9	SAT	8.58
5qbf-5cnf-20var-640cl.5	UNSAT	8.88
ncf_4_16_4_euad.5	SAT	9.05
sortnetsort5.v.stepl.007	SAT	9.27
S-edau-0	UNSAT	9.64
S-edau-4	UNSAT	9.65
eijk.bs1512.S-d2	SAT	9.73
S-edau-6	UNSAT	9.75
szymanski-10-s	UNSAT	9.9
S-edau-1	UNSAT	9.95
ncf_4_8_4_euad.1	SAT	10.41
ncf_4_8_4_u.10	SAT	10.64
ncf_4_8_4_euad.4	UNSAT	10.69
S-edau-2	UNSAT	10.76
4qbf-5cnf-20var-160cl.3	UNSAT	10.91
S-edau-5	UNSAT	11.1
4qbf-5cnf-80var-320cl.6	SAT	11.13
x30.0	UNSAT	11.29
6qbf-5cnf-20var-640cl.2	UNSAT	11.46
S-edau-9	UNSAT	11.53
6qbf-5cnf-20var-160cl.9	SAT	11.65
ncf_4_16_4_edau.9	SAT	11.67
ncf_4_8_4_u.6	SAT	11.87
4qbf-5cnf-40var-1280cl.4	UNSAT	11.91
ncf_4_16_4_u.9	SAT	12.31
ncf_4_16_2_u.2	SAT	12.31
6qbf-5cnf-20var-320cl.0	UNSAT	13.11
S-edau-3	UNSAT	13.37
4qbf-5cnf-20var-160cl.1	UNSAT	13.56
S-edau-7	UNSAT	13.85
4qbf-5cnf-40var-1280cl.7	UNSAT	13.88
5qbf-5cnf-20var-320cl.5	UNSAT	14.46
ncf_8_16_4_d.1	SAT	14.61
ncf_8_16_4_euad.1	SAT	14.72
3qbf-5cnf-20var-320cl.8	UNSAT	14.79
5qbf-5cnf-20var-640cl.8	UNSAT	15.25
x25.6	UNSAT	15.32
6qbf-5cnf-20var-640cl.6	UNSAT	15.86
x25.1	SAT	16.78
2qbf-5cnf-80var-1280cl.1	UNSAT	17.01
ncf_4_16_2_euad.5	UNSAT	17.74
6qbf-5cnf-20var-640cl.0	UNSAT	18.12
4qbf-5cnf-20var-160cl.7	UNSAT	19.03
4qbf-5cnf-20var-160cl.5	UNSAT	19.18
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	20.21
5qbf-5cnf-20var-640cl.6	UNSAT	21.18
6qbf-5cnf-20var-640cl.9	UNSAT	21.4
x25.3	UNSAT	21.71
x40.4	UNSAT	22.91
ncf_8_16_4_d.10	SAT	23.29
ncf_4_8_2_euad.3	UNSAT	26.05
x25.0	SAT	26.93
x30.2	UNSAT	27.35
x25.8	UNSAT	28.17
k_grz_n-8	SAT	29.41
ncf_4_16_2_u.5	UNSAT	30.93
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	31.05
4qbf-5cnf-20var-160cl.6	UNSAT	32.11
ncf_4_8_4_euad.7	UNSAT	32.36
szymanski-12-s	UNSAT	32.65
x25.2	SAT	32.67
ncf_4_8_2_u.3	UNSAT	32.76
6qbf-5cnf-20var-320cl.5	UNSAT	32.97
4qbf-5cnf-40var-1280cl.2	UNSAT	33.1
vis.emodel.E-f2	UNSAT	33.18
6qbf-5cnf-20var-320cl.2	UNSAT	33.44
6qbf-5cnf-20var-160cl.2	SAT	33.54
ncf_4_8_4_euad.5	SAT	34.36
S-adeu-6	UNSAT	36.31
x25.4	UNSAT	36.62
S-adeu-0	UNSAT	37.29
4qbf-5cnf-40var-1280cl.5	UNSAT	38.08
T-edau-8	UNSAT	38.81
T-adeu-8	UNSAT	39.06
5qbf-5cnf-20var-320cl.0	UNSAT	41.24
S-adeu-4	UNSAT	41.45
x45.9	UNSAT	43.14
6qbf-5cnf-20var-160cl.0	UNSAT	43.66
6qbf-5cnf-20var-160cl.8	SAT	46.07
ncf_4_16_2_d.4	SAT	46.59
ncf_4_16_2_edau.4	SAT	48.78
x35.0	UNSAT	50.47
2qbf-5cnf-40var-160cl.6	UNSAT	51.14
ncf_4_8_8_edau.1	SAT	51.7
ncf_4_16_2_d.2	SAT	51.91
qshifter_7	SAT	52.62
S-adeu-1	UNSAT	52.95
S-adeu-5	UNSAT	53.08
6qbf-5cnf-20var-320cl.9	UNSAT	54.14
x30.7	UNSAT	54.45
ncf_4_8_4_u.7	UNSAT	55.72
6qbf-5cnf-40var-320cl.8	UNSAT	55.99
6qbf-5cnf-20var-320cl.1	UNSAT	56.12
x30.8	UNSAT	56.64
ncf_4_16_2_edau.2	SAT	57.61
ncf_4_8_4_u.5	SAT	59.25
4qbf-5cnf-40var-1280cl.0	UNSAT	59.6
x45.6	UNSAT	59.61
2qbf-5cnf-160var-2560cl.3	UNSAT	60.28
4qbf-5cnf-80var-320cl.5	SAT	60.5
6qbf-5cnf-20var-320cl.4	UNSAT	62.51
ncf_4_8_8_u.1	SAT	63.3
x30.3	SAT	64.45
S-edau-8	UNSAT	64.46
eijk.S832.S-d2	SAT	64.79
S-adeu-2	UNSAT	66.46
2qbf-5cnf-40var-320cl.6	UNSAT	67.69
eijk.S1196.S-d2	SAT	73.63
vis.eisenberg.E-f2	SAT	74.61
S-adeu-9	UNSAT	77.16
x30.1	UNSAT	78.64
eijk.S820.S-d2	SAT	84.21
5qbf-5cnf-20var-320cl.7	UNSAT	86.72
szymanski-14-s	UNSAT	87.53
5qbf-5cnf-20var-320cl.6	UNSAT	87.77
T-adeu-7	UNSAT	89.8
S-adeu-3	UNSAT	92.32
x35.3	UNSAT	93.91
ncf_4_16_2_edau.1	UNSAT	96.41
4qbf-5cnf-40var-1280cl.3	UNSAT	97.24
S-adeu-7	UNSAT	97.27
6qbf-5cnf-40var-320cl.4	UNSAT	101.65
5qbf-5cnf-20var-320cl.2	UNSAT	102
T-adeu-4	UNSAT	102.63
ncf_4_16_2_d.3	UNSAT	111.57
ncf_16_32_2_euad.9	UNSAT	111.75
ncf_16_32_2_d.9	UNSAT	112.18
ncf_4_16_2_edau.3	UNSAT	112.3
5qbf-5cnf-40var-640cl.0	UNSAT	116.27
ncf_8_16_4_u.10	SAT	117.87
ncf_4_16_2_d.1	UNSAT	118.42
4qbf-5cnf-20var-160cl.2	SAT	119.85
6qbf-5cnf-20var-320cl.3	UNSAT	122.99
x40.5	UNSAT	123.49
5qbf-5cnf-20var-320cl.1	UNSAT	124.27
4qbf-5cnf-40var-320cl.1	UNSAT	128.36
sortnetsort6.v.stepl.003	UNSAT	130.41
sortnetsort5.v.stepl.004	UNSAT	133.78
6qbf-5cnf-40var-320cl.3	UNSAT	134.23
2qbf-5cnf-40var-320cl.0	UNSAT	139.62
5qbf-5cnf-20var-320cl.8	UNSAT	141.47
3qbf-5cnf-40var-640cl.9	UNSAT	141.78
5qbf-5cnf-20var-320cl.3	UNSAT	141.87
6qbf-5cnf-20var-320cl.8	UNSAT	147.94
k_grz_n-12	SAT	148.56
ncf_4_16_2_d.10	UNSAT	151.37
4qbf-5cnf-40var-320cl.5	UNSAT	154
4qbf-5cnf-20var-160cl.4	UNSAT	158.05
x30.4	SAT	163.41
x30.6	SAT	168.71
6qbf-5cnf-20var-160cl.4	SAT	169.89
nusmv.syncarb5^2.B-f2	SAT	175.77
3qbf-5cnf-40var-640cl.8	UNSAT	177.69
ncf_4_16_2_edau.10	UNSAT	183.21
ncf_8_16_4_edau.10	SAT	184.75
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	186.41
ncf_4_16_2_d.8	SAT	193.86
5qbf-5cnf-20var-320cl.4	UNSAT	194.04
ncf_4_8_8_d.7	SAT	196.12
ncf_4_8_8_euad.3	SAT	196.34
6qbf-5cnf-40var-320cl.1	UNSAT	201.74
szymanski-16-s	UNSAT	205.04
x30.9	UNSAT	205.26
4qbf-5cnf-40var-640cl.9	UNSAT	211.45
6qbf-5cnf-40var-320cl.6	UNSAT	211.69
ev-pr-4x4-11-3-0-0-1-lg	SAT	216.11
eijk.S1238.S-d2	SAT	231.82
ncf_4_8_8_euad.6	UNSAT	249.39
ncf_4_16_2_edau.8	SAT	250.51
ncf_8_16_8_d.9	UNSAT	276.75
ncf_4_16_2_edau.5	UNSAT	293.38
T-adeu-5	UNSAT	298.68
CHAIN20v.21	SAT	307.73
2qbf-5cnf-160var-2560cl.2	UNSAT	314.56
ncf_4_16_2_d.5	UNSAT	337.31
ncf_4_16_2_euad.4	SAT	345.42
C880.blif_0.10_1.00_0_1_inp_exact	SAT	349.17
ncf_4_16_4_d.1	SAT	352.39
x35.4	UNSAT	376.1
4qbf-5cnf-40var-320cl.2	UNSAT	390.63
6qbf-5cnf-40var-320cl.0	UNSAT	402.84
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	402.92
ncf_4_8_8_d.8	SAT	409.78
4qbf-5cnf-20var-160cl.9	UNSAT	411.99
sortnetsort6.v.stepl.005	SAT	419.81
3qbf-5cnf-40var-640cl.7	UNSAT	420.7
szymanski-18-s	UNSAT	432.21
5qbf-5cnf-20var-320cl.9	UNSAT	456.71
ncf_4_8_8_d.10	SAT	481.58
sortnetsort6.v.stepl.006	SAT	496.55
2qbf-5cnf-40var-320cl.9	UNSAT	513.76
ncf_4_16_4_d.7	SAT	515.98
vis.bakery.E-f2	SAT	529.7
tree-exa2-50	FAIL	530.37
x35.5	UNSAT	533.92
sortnetsort6.v.stepl.007	SAT	545.61
s27_d3_u	FAIL	575.15
s27_d4_u	FAIL	580.47
comp.blif_0.10_0.20_0_0_out_exact	FAIL	580.71
test3_quant2	FAIL	581.14
test3_quant_squaring2	FAIL	581.64
s27_d5_u	FAIL	582.91
counter_re_4	FAIL	583
test5_quant_squaring4	FAIL	583.96
lut4_2_f1	FAIL	584.74
lut4_2_f2	FAIL	584.87
k_grz_p-4	FAIL	585.78
test5_quant5	FAIL	586.23
test5_quant_squaring5	FAIL	586.26
lut4_2_fXOR	FAIL	587.1
k_dum_n-8	FAIL	587.69
test3_quant4	FAIL	587.82
connect_5x4_4_R	UNSAT	587.96
lut4_AND_f1	FAIL	588.97
k_t4p_p-4	FAIL	589.33
k_dum_n-12	FAIL	589.72
k_dum_p-12	FAIL	589.92
test5_quant7	FAIL	590.12
k_grz_p-8	FAIL	590.21
counter_8	FAIL	590.66
k_d4_n-4	FAIL	590.84
adder-4-sat	FAIL	590.86
counter_e_8	FAIL	591
k_dum_n-16	FAIL	591.09
k_dum_p-16	FAIL	591.35
counter_r_8	FAIL	591.4
lut4_AND_fXOR	FAIL	591.44
counter_re_8	FAIL	591.71
k_t4p_n-4	FAIL	591.79
s298_d2_s	FAIL	592.5
k_d4_p-8	FAIL	592.5
k_grz_p-12	FAIL	592.54
sortnetsort6.v.stepl.004	FAIL	592.63
k_dum_n-20	FAIL	593.01
sortnetsort7.v.stepl.003	FAIL	593.08
TOILET7.1.iv.13	FAIL	593.17
C880.blif_0.10_1.00_0_1_out_exact	FAIL	593.18
k_dum_n-21	FAIL	593.23
k_dum_p-20	FAIL	593.28
k_t4p_p-8	FAIL	593.35
k_dum_p-21	FAIL	593.48
comp.blif_0.10_1.00_0_0_out_exact	FAIL	593.5
2qbf-5cnf-40var-160cl.4	FAIL	593.57
nusmv.dme1-16.B-d2	FAIL	593.6
ncf_4_16_2_u.8	FAIL	593.84
ncf_4_16_2_euad.3	FAIL	593.87
s386_d2_s	FAIL	593.95
k_d4_n-8	FAIL	593.99
k_d4_p-12	FAIL	594.11
k_ph_n-12	FAIL	594.11
texas.ifetch1^5.E-f2	FAIL	594.12
2qbf-5cnf-40var-160cl.3	FAIL	594.21
vis.arbiter.E-f2	FAIL	594.34
texas.ifetch1^8.E-f2	FAIL	594.38
ncf_4_16_2_euad.8	FAIL	594.5
vis.4-arbit^1.E-f2	FAIL	594.53
ncf_4_8_8_d.5	FAIL	594.59
adder-6-sat	FAIL	594.62
ncf_4_16_4_euad.7	FAIL	594.62
C432.blif_0.10_0.20_0_0_out_exact	FAIL	594.63
term1.blif_0.10_1.00_0_0_out_exact	FAIL	594.67
sortnetsort7.v.stepl.004	FAIL	594.73
ncf_4_16_4_euad.6	FAIL	594.8
k_grz_p-16	FAIL	594.81
2qbf-5cnf-40var-160cl.7	FAIL	594.82
k_path_p-8	FAIL	594.82
2qbf-5cnf-40var-160cl.2	FAIL	594.83
s499_d2_s	FAIL	594.88
ncf_4_16_4_euad.2	FAIL	594.88
ncf_4_16_4_euad.8	FAIL	595.03
ncf_4_8_8_u.5	FAIL	595.04
4qbf-5cnf-40var-320cl.6	FAIL	595.07
ncf_4_8_8_edau.3	FAIL	595.12
sortnetsort8.v.stepl.003	FAIL	595.13
nusmv.syncarb10^2.B-f2	FAIL	595.18
ncf_4_8_8_d.3	FAIL	595.24
s510_d2_s	FAIL	595.25
k_lin_p-21	FAIL	595.26
sortnetsort8.v.stepl.004	FAIL	595.29
ncf_8_16_4_d.4	FAIL	595.35
ncf_4_16_4_d.8	FAIL	595.39
k_grz_n-16	FAIL	595.39
sortnetsort7.v.stepl.005	FAIL	595.39
ncf_4_16_2_u.10	FAIL	595.41
k_t4p_p-12	FAIL	595.42
ncf_4_16_4_d.2	FAIL	595.42
ncf_4_16_2_euad.10	FAIL	595.45
4qbf-5cnf-40var-320cl.8	FAIL	595.48
2qbf-5cnf-40var-160cl.1	FAIL	595.5
lut4_3_fAND	FAIL	595.51
4qbf-5cnf-40var-320cl.9	FAIL	595.51
ncf_4_16_2_u.3	FAIL	595.52
ncf_8_16_4_d.3	FAIL	595.52
ncf_4_32_2_u.9	FAIL	595.53
ncf_8_16_4_d.7	FAIL	595.55
ncf_4_8_8_edau.8	FAIL	595.58
ncf_4_32_2_u.5	FAIL	595.59
ncf_4_8_8_euad.8	FAIL	595.6
ncf_4_8_8_edau.5	FAIL	595.63
k_d4_p-16	FAIL	595.7
k_path_n-8	FAIL	595.77
k_d4_n-12	FAIL	595.8
k_grz_n-20	FAIL	595.81
ncf_4_16_4_euad.3	FAIL	595.82
k_path_p-12	FAIL	595.82
ncf_4_16_4_euad.10	FAIL	595.82
BLOCKS3i.4.4	FAIL	595.84
k_ph_p-8	FAIL	595.85
ncf_8_16_4_d.9	FAIL	595.96
ncf_4_8_8_d.2	FAIL	595.96
ncf_4_16_4_u.2	FAIL	595.99
ncf_4_32_2_edau.9	FAIL	595.99
ncf_4_16_4_euad.4	FAIL	596
2qbf-5cnf-40var-160cl.5	FAIL	596.02
2qbf-5cnf-40var-160cl.9	FAIL	596.03
ncf_4_8_8_u.10	FAIL	596.03
texas.parsesys^2.E-f2	FAIL	596.03
eijk.S208o.S-f2	FAIL	596.05
term1.blif_0.10_0.20_0_0_out_exact	FAIL	596.06
k_t4p_n-8	FAIL	596.08
ncf_4_16_4_u.1	FAIL	596.08
ncf_4_16_4_u.3	FAIL	596.09
2qbf-5cnf-40var-160cl.0	FAIL	596.09
sortnetsort7.v.stepl.006	FAIL	596.1
ncf_4_16_4_d.4	FAIL	596.12
ncf_4_32_2_u.6	FAIL	596.13
ncf_4_16_2_euad.1	FAIL	596.15
ncf_4_16_4_d.3	FAIL	596.16
ncf_4_32_2_edau.5	FAIL	596.19
ncf_8_16_4_euad.3	FAIL	596.22
BLOCKS3ii.5.3	FAIL	596.25
ncf_4_16_4_edau.8	FAIL	596.25
ncf_4_32_2_edau.7	FAIL	596.27
BLOCKS3i.5.4	FAIL	596.28
sortnetsort8.v.stepl.005	FAIL	596.29
ncf_8_16_4_euad.7	FAIL	596.32
ncf_8_16_4_u.7	FAIL	596.34
ncf_4_8_8_u.3	FAIL	596.34
k_path_n-12	FAIL	596.35
ncf_4_32_2_edau.6	FAIL	596.37
ncf_4_16_4_edau.1	FAIL	596.37
k_grz_p-20	FAIL	596.39
k_d4_p-20	FAIL	596.42
ncf_4_16_2_u.4	FAIL	596.42
ncf_4_16_2_u.1	FAIL	596.45
nusmv.dme2-16.B-d2	FAIL	596.47
ncf_4_32_2_u.4	FAIL	596.48
k_d4_p-21	FAIL	596.49
ncf_8_16_8_edau.6	FAIL	596.51
ncf_4_16_4_euad.1	FAIL	596.51
ncf_4_8_8_u.2	FAIL	596.53
2qbf-5cnf-40var-160cl.8	FAIL	596.54
k_grz_n-21	FAIL	596.54
k_grz_p-21	FAIL	596.56
ncf_8_16_8_d.7	FAIL	596.56
k_path_p-16	FAIL	596.58
k_t4p_p-16	FAIL	596.61
BLOCKS3i.5.3	FAIL	596.62
ncf_4_16_4_edau.7	FAIL	596.63
ncf_4_8_8_euad.2	FAIL	596.63
texas.parsesys^3.E-f2	FAIL	596.64
6qbf-5cnf-40var-320cl.9	FAIL	596.66
k_d4_n-16	FAIL	596.68
ncf_4_16_4_u.4	FAIL	596.68
ncf_8_16_4_edau.4	FAIL	596.7
ncf_4_8_8_euad.10	FAIL	596.71
sortnetsort7.v.stepl.007	FAIL	596.72
ncf_4_8_8_edau.2	FAIL	596.73
eijk.S208.S-f2	FAIL	596.73
TOILET10.1.iv.20	FAIL	596.74
ncf_4_16_8_euad.6	FAIL	596.75
k_path_n-16	FAIL	596.75
texas.parsesys^1.E-f2	FAIL	596.75
sortnetsort9.v.stepl.004	FAIL	596.79
BLOCKS3iii.5	FAIL	596.8
ncf_16_32_2_euad.5	FAIL	596.81
ncf_4_16_4_edau.5	FAIL	596.83
ncf_16_32_2_edau.3	FAIL	596.85
eijk.S208c.S-f2	FAIL	596.86
ncf_4_8_8_euad.7	FAIL	596.87
ncf_4_16_8_euad.1	FAIL	596.95
ncf_16_32_2_d.3	FAIL	596.97
s820_d2_s	FAIL	596.98
ncf_4_16_8_euad.10	FAIL	596.98
ncf_8_16_4_edau.3	FAIL	596.99
ncf_4_8_8_u.8	FAIL	597
ncf_4_16_4_edau.3	FAIL	597
ncf_4_16_8_euad.3	FAIL	597.01
ncf_4_16_8_d.7	FAIL	597.05
ncf_8_16_8_d.8	FAIL	597.05
ncf_4_8_8_u.7	FAIL	597.07
ncf_4_16_4_u.8	FAIL	597.07
ncf_4_8_8_euad.5	FAIL	597.1
ncf_4_16_4_u.7	FAIL	597.11
ncf_4_16_8_euad.5	FAIL	597.14
ncf_8_16_8_euad.4	FAIL	597.15
ncf_4_16_4_d.5	FAIL	597.16
ncf_4_32_2_u.10	FAIL	597.17
k_path_p-20	FAIL	597.18
ncf_4_32_2_edau.2	FAIL	597.18
ncf_4_16_4_d.6	FAIL	597.19
eijk.S298.S-f2	FAIL	597.21
vis.elevator^3.E-f2	FAIL	597.21
ncf_4_32_2_u.7	FAIL	597.23
ncf_4_32_2_edau.3	FAIL	597.27
k_path_n-20	FAIL	597.27
ncf_4_16_4_u.6	FAIL	597.28
ncf_4_32_2_edau.1	FAIL	597.3
ncf_16_32_4_euad.10	FAIL	597.3
ncf_4_16_8_d.3	FAIL	597.3
ncf_4_16_8_u.9	FAIL	597.31
ncf_8_16_4_edau.7	FAIL	597.31
adder-8-sat	FAIL	597.33
ncf_4_16_4_d.10	FAIL	597.34
ncf_4_16_8_d.8	FAIL	597.36
6qbf-5cnf-40var-320cl.7	FAIL	597.38
2qbf-5cnf-80var-320cl.9	FAIL	597.38
k_path_n-21	FAIL	597.38
sortnetsort7.v.stepl.008	FAIL	597.39
ncf_8_16_4_u.3	FAIL	597.43
ncf_8_16_4_edau.9	FAIL	597.44
ncf_4_16_8_euad.2	FAIL	597.44
ncf_4_16_8_d.4	FAIL	597.45
k_d4_n-20	FAIL	597.46
k_t4p_p-21	FAIL	597.46
C499.blif_0.10_1.00_0_0_out_exact	FAIL	597.49
s713_d2_s	FAIL	597.51
ncf_4_16_4_edau.2	FAIL	597.52
k_ph_n-16	FAIL	597.52
sortnetsort9.v.stepl.005	FAIL	597.52
ncf_4_16_4_edau.4	FAIL	597.53
sortnetsort8.v.stepl.006	FAIL	597.53
ncf_4_16_8_u.10	FAIL	597.56
ncf_4_32_2_edau.4	FAIL	597.56
ncf_16_32_4_d.10	FAIL	597.57
ncf_8_16_8_euad.8	FAIL	597.6
ncf_4_16_8_u.1	FAIL	597.61
s298_d4_s	FAIL	597.62
ncf_4_8_8_edau.7	FAIL	597.62
BLOCKS3ii.5.2	FAIL	597.64
ncf_8_16_8_euad.9	FAIL	597.66
k_t4p_p-20	FAIL	597.71
k_d4_n-21	FAIL	597.72
ncf_8_16_8_d.4	FAIL	597.72
ncf_4_16_8_euad.4	FAIL	597.72
ncf_4_16_4_u.5	FAIL	597.76
ncf_4_16_8_d.5	FAIL	597.76
ncf_4_16_8_u.3	FAIL	597.77
ncf_8_16_8_d.6	FAIL	597.77
ncf_16_32_2_d.5	FAIL	597.79
sortnetsort7.v.stepl.009	FAIL	597.8
k_branch_p-4	FAIL	597.81
C432.blif_0.10_1.00_0_0_out_exact	FAIL	597.82
ncf_4_16_8_u.5	FAIL	597.82
sortnetsort10.v.stepl.004	FAIL	597.82
k_path_p-21	FAIL	597.83
ncf_4_16_4_u.10	FAIL	597.85
ncf_4_16_8_euad.9	FAIL	597.85
ncf_4_32_2_edau.8	FAIL	597.88
2qbf-5cnf-80var-320cl.7	FAIL	597.89
ncf_16_32_2_d.2	FAIL	597.89
sortnetsort8.v.stepl.007	FAIL	597.9
ncf_16_32_4_d.8	FAIL	597.93
ncf_16_32_4_d.6	FAIL	597.93
3qbf-5cnf-40var-640cl.4	FAIL	597.94
k_ph_n-8	FAIL	597.96
ncf_4_16_4_edau.10	FAIL	597.98
4qbf-5cnf-40var-320cl.3	FAIL	597.98
ncf_16_32_2_d.10	FAIL	597.99
ncf_16_32_4_edau.10	FAIL	598
ncf_4_16_8_euad.7	FAIL	598
ncf_4_16_8_euad.8	FAIL	598.01
ncf_8_16_8_edau.3	FAIL	598.01
texas.PI_main^16.E-f2	FAIL	598.01
ncf_8_16_4_euad.9	FAIL	598.02
2qbf-5cnf-40var-320cl.5	FAIL	598.02
ncf_16_32_2_euad.10	FAIL	598.05
ncf_4_16_8_u.6	FAIL	598.08
eijk.S386.S-f2	FAIL	598.09
sortnetsort9.v.stepl.006	FAIL	598.09
ncf_8_16_8_d.10	FAIL	598.12
ncf_8_16_8_edau.9	FAIL	598.13
ncf_16_32_4_d.5	FAIL	598.13
ncf_4_32_2_edau.10	FAIL	598.13
ncf_16_32_4_d.2	FAIL	598.13
ncf_8_16_8_euad.7	FAIL	598.14
ncf_4_32_2_u.2	FAIL	598.14
k_t4p_n-12	FAIL	598.15
sortnetsort8.v.stepl.008	FAIL	598.15
ncf_8_16_8_d.2	FAIL	598.16
vis.elevator^2.E-f2	FAIL	598.16
sortnetsort8.v.stepl.009	FAIL	598.16
ncf_8_16_8_edau.7	FAIL	598.17
Adder2-4-s	FAIL	598.2
ncf_8_16_8_euad.2	FAIL	598.21
texas.PI_main^01.E-f2	FAIL	598.22
ncf_4_16_8_u.8	FAIL	598.23
4qbf-5cnf-40var-320cl.7	FAIL	598.23
ncf_4_16_4_edau.6	FAIL	598.25
k_branch_n-4	FAIL	598.26
4qbf-5cnf-80var-320cl.9	FAIL	598.27
ncf_4_32_2_u.1	FAIL	598.27
ncf_16_32_2_edau.5	FAIL	598.28
2qbf-5cnf-40var-320cl.7	FAIL	598.28
2qbf-5cnf-40var-320cl.8	FAIL	598.29
ncf_4_16_8_d.10	FAIL	598.31
2qbf-5cnf-80var-320cl.5	FAIL	598.32
ncf_8_16_8_edau.8	FAIL	598.33
eijk.S510.S-f2	FAIL	598.34
texas.PI_main^10.E-f2	FAIL	598.34
sortnetsort10.v.stepl.005	FAIL	598.34
ncf_16_32_4_d.7	FAIL	598.35
2qbf-5cnf-40var-320cl.4	FAIL	598.35
2qbf-5cnf-80var-320cl.2	FAIL	598.36
ncf_8_16_8_euad.3	FAIL	598.37
ncf_4_32_2_u.8	FAIL	598.37
4qbf-5cnf-40var-320cl.0	FAIL	598.38
ncf_8_16_4_u.9	FAIL	598.38
2qbf-5cnf-40var-320cl.2	FAIL	598.38
ncf_16_32_4_d.4	FAIL	598.38
ncf_16_32_2_d.6	FAIL	598.4
ncf_16_32_4_euad.5	FAIL	598.4
ncf_4_16_8_u.7	FAIL	598.41
k_lin_n-4	FAIL	598.41
s499_d4_s	FAIL	598.43
6qbf-5cnf-80var-640cl.7	FAIL	598.43
4qbf-5cnf-40var-640cl.8	FAIL	598.43
ncf_8_16_8_euad.10	FAIL	598.48
BLOCKS4ii.6.3	FAIL	598.48
ncf_4_16_8_u.4	FAIL	598.48
ncf_16_32_4_u.5	FAIL	598.5
ncf_8_16_8_d.5	FAIL	598.5
ncf_4_32_2_u.3	FAIL	598.51
4qbf-5cnf-80var-320cl.2	FAIL	598.51
2qbf-5cnf-80var-320cl.0	FAIL	598.52
2qbf-5cnf-40var-320cl.1	FAIL	598.53
ncf_16_32_4_d.3	FAIL	598.53
3qbf-5cnf-40var-640cl.2	FAIL	598.54
ncf_16_32_2_edau.10	FAIL	598.54
4qbf-5cnf-80var-320cl.1	FAIL	598.55
2qbf-5cnf-160var-320cl.7	FAIL	598.55
sortnetsort9.v.stepl.007	FAIL	598.55
2qbf-5cnf-80var-320cl.8	FAIL	598.56
4qbf-5cnf-80var-320cl.3	FAIL	598.56
texas.PI_main^02.E-f2	FAIL	598.59
ncf_16_32_4_edau.3	FAIL	598.6
5qbf-5cnf-40var-640cl.8	FAIL	598.6
4qbf-5cnf-40var-640cl.0	FAIL	598.61
4qbf-5cnf-40var-640cl.4	FAIL	598.62
adder-4-unsat	FAIL	598.62
ncf_8_16_8_euad.5	FAIL	598.64
ncf_4_16_8_u.2	FAIL	598.67
cmu.dme2.B-f2	FAIL	598.67
5qbf-5cnf-40var-640cl.7	FAIL	598.68
4qbf-5cnf-40var-320cl.4	FAIL	598.68
2qbf-5cnf-40var-320cl.3	FAIL	598.69
ncf_16_32_4_edau.6	FAIL	598.7
ncf_16_32_2_d.1	FAIL	598.71
ncf_16_32_4_edau.7	FAIL	598.72
2qbf-5cnf-160var-320cl.8	FAIL	598.74
ncf_4_16_8_d.2	FAIL	598.74
sortnetsort9.v.stepl.008	FAIL	598.74
ncf_16_32_4_edau.8	FAIL	598.78
4qbf-5cnf-40var-640cl.2	FAIL	598.79
5qbf-5cnf-40var-1280cl.0	FAIL	598.8
6qbf-5cnf-80var-640cl.2	FAIL	598.8
ncf_8_16_4_euad.4	FAIL	598.8
ncf_16_32_2_edau.1	FAIL	598.8
ncf_16_32_8_d.3	FAIL	598.81
ncf_16_32_4_edau.5	FAIL	598.81
2qbf-5cnf-80var-320cl.4	FAIL	598.82
ncf_16_32_4_d.9	FAIL	598.82
ncf_4_16_8_d.1	FAIL	598.84
sortnetsort10.v.stepl.006	FAIL	598.86
ncf_16_32_2_u.5	FAIL	598.87
ncf_8_16_8_euad.6	FAIL	598.87
ncf_4_16_8_d.9	FAIL	598.9
k_poly_n-4	FAIL	598.92
ncf_16_32_2_d.8	FAIL	598.92
5qbf-5cnf-40var-640cl.3	FAIL	598.95
ncf_16_32_4_u.10	FAIL	598.95
6qbf-5cnf-40var-640cl.5	FAIL	598.96
2qbf-5cnf-80var-320cl.3	FAIL	598.96
3qbf-5cnf-40var-640cl.3	FAIL	598.97
2qbf-5cnf-80var-320cl.6	FAIL	598.98
4qbf-5cnf-40var-640cl.6	FAIL	598.98
2qbf-5cnf-80var-320cl.1	FAIL	598.99
ncf_16_32_2_edau.6	FAIL	599
ncf_4_8_8_edau.10	FAIL	599
5qbf-5cnf-40var-640cl.2	FAIL	599.01
CHAIN21v.22	FAIL	599.01
adder-10-sat	FAIL	599.03
3qbf-5cnf-40var-320cl.5	FAIL	599.03
ncf_16_32_8_d.2	FAIL	599.04
6qbf-5cnf-40var-640cl.3	FAIL	599.04
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	599.05
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	599.06
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	599.06
ncf_16_32_4_edau.9	FAIL	599.08
ncf_16_32_2_edau.2	FAIL	599.09
ncf_8_16_8_d.3	FAIL	599.09
4qbf-5cnf-40var-640cl.1	FAIL	599.1
6qbf-5cnf-80var-640cl.0	FAIL	599.1
CHAIN23v.24	FAIL	599.11
texas.PI_main^11.E-f2	FAIL	599.11
5qbf-5cnf-40var-640cl.9	FAIL	599.12
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.12
4qbf-5cnf-40var-640cl.5	FAIL	599.13
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	599.13
3qbf-5cnf-40var-640cl.6	FAIL	599.14
ncf_16_32_8_euad.5	FAIL	599.16
BLOCKS4i.6.4	FAIL	599.17
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	599.17
ncf_8_16_4_u.4	FAIL	599.18
2qbf-5cnf-160var-320cl.5	FAIL	599.18
ncf_16_32_4_edau.4	FAIL	599.2
4qbf-5cnf-80var-320cl.4	FAIL	599.2
sortnetsort10.v.stepl.007	FAIL	599.2
5qbf-5cnf-40var-1280cl.4	FAIL	599.21
ncf_8_16_8_edau.4	FAIL	599.21
sortnetsort9.v.stepl.011	FAIL	599.21
3qbf-5cnf-80var-2560cl.6	FAIL	599.22
k_lin_p-8	FAIL	599.22
4qbf-5cnf-40var-640cl.3	FAIL	599.22
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	599.22
ncf_16_32_2_u.2	FAIL	599.23
ncf_16_32_4_d.1	FAIL	599.23
ncf_16_32_2_d.4	FAIL	599.23
4qbf-5cnf-80var-320cl.8	FAIL	599.24
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	599.24
ncf_16_32_8_d.6	FAIL	599.25
3qbf-5cnf-40var-640cl.5	FAIL	599.26
ncf_16_32_4_euad.6	FAIL	599.26
texas.two_proc^2.E-f2	FAIL	599.26
5qbf-5cnf-40var-1280cl.7	FAIL	599.27
ken.oop^2.C-f2	FAIL	599.27
ncf_16_32_8_euad.3	FAIL	599.32
ncf_8_16_8_edau.2	FAIL	599.35
ncf_16_32_8_d.4	FAIL	599.35
ncf_16_32_8_u.3	FAIL	599.36
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.36
texas.ifetch1^1.E-f2	FAIL	599.37
ncf_4_16_8_d.6	FAIL	599.38
sortnetsort10.v.stepl.008	FAIL	599.39
sortnetsort9.v.stepl.009	FAIL	599.39
3qbf-5cnf-80var-2560cl.5	FAIL	599.4
ncf_8_16_8_edau.10	FAIL	599.4
ncf_8_16_8_edau.5	FAIL	599.4
4qbf-5cnf-40var-640cl.7	FAIL	599.4
5qbf-5cnf-40var-1280cl.8	FAIL	599.4
3qbf-5cnf-40var-640cl.0	FAIL	599.4
ev-pr-4x4-15-3-0-0-1-lg	FAIL	599.4
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	599.4
sortnetsort9.v.stepl.012	FAIL	599.41
ncf_16_32_4_edau.2	FAIL	599.42
TOILET16.1.iv.32	FAIL	599.42
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	599.42
adder-12-sat	FAIL	599.43
sortnetsort10.v.stepl.009	FAIL	599.43
eijk.S349.S-f2	FAIL	599.44
sortnetsort5.AE.stepl.003	FAIL	599.44
sortnetsort9.v.stepl.010	FAIL	599.45
2qbf-5cnf-160var-320cl.6	FAIL	599.46
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.46
2qbf-5cnf-160var-320cl.0	FAIL	599.47
2qbf-5cnf-160var-320cl.9	FAIL	599.49
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.49
6qbf-5cnf-40var-320cl.5	FAIL	599.5
4qbf-5cnf-160var-640cl.5	FAIL	599.5
ncf_16_32_2_u.10	FAIL	599.52
ev-pr-4x4-13-3-0-0-1-lg	FAIL	599.53
3qbf-5cnf-80var-2560cl.0	FAIL	599.53
6qbf-5cnf-80var-1280cl.5	FAIL	599.54
eijk.S832.S-f2	FAIL	599.54
vis.4-arbit^2.E-f2	FAIL	599.54
6qbf-5cnf-40var-640cl.6	FAIL	599.55
3qbf-5cnf-80var-2560cl.2	FAIL	599.56
3qbf-5cnf-80var-2560cl.8	FAIL	599.56
sortnetsort10.v.stepl.011	FAIL	599.56
CHAIN22v.23	FAIL	599.57
ncf_16_32_8_euad.4	FAIL	599.59
Adder2-6-s	FAIL	599.59
ev-pr-4x4-17-3-0-0-1-lg	FAIL	599.59
texas.two_proc^1.E-f2	FAIL	599.59
ncf_16_32_8_d.7	FAIL	599.6
ncf_16_32_2_edau.4	FAIL	599.6
3qbf-5cnf-80var-2560cl.1	FAIL	599.6
ncf_16_32_4_u.2	FAIL	599.61
ncf_16_32_8_u.7	FAIL	599.61
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	599.62
ncf_16_32_8_d.8	FAIL	599.64
5qbf-5cnf-40var-640cl.4	FAIL	599.65
sortnetsort10.v.stepl.010	FAIL	599.65
k_t4p_n-16	FAIL	599.66
ncf_16_32_2_edau.8	FAIL	599.66
2qbf-5cnf-160var-320cl.4	FAIL	599.67
4qbf-5cnf-80var-1280cl.2	FAIL	599.67
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	599.68
ncf_16_32_8_edau.10	FAIL	599.68
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.68
adder-6-unsat	FAIL	599.7
toilet_c_10_05.7	FAIL	599.7
3qbf-5cnf-80var-2560cl.7	FAIL	599.71
ncf_16_32_2_euad.2	FAIL	599.71
ncf_16_32_4_edau.1	FAIL	599.72
6qbf-5cnf-40var-320cl.2	FAIL	599.72
ncf_16_32_2_euad.1	FAIL	599.72
ncf_16_32_8_d.10	FAIL	599.72
eijk.S344.S-f2	FAIL	599.72
eijk.S713.S-f2	FAIL	599.72
2qbf-5cnf-160var-320cl.1	FAIL	599.73
3qbf-5cnf-80var-2560cl.3	FAIL	599.73
T-adeu-9	FAIL	599.73
6qbf-5cnf-40var-640cl.0	FAIL	599.74
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.74
ncf_16_32_8_edau.6	FAIL	599.75
2qbf-5cnf-160var-320cl.3	FAIL	599.75
texas.two_proc^4.E-f2	FAIL	599.75
sortnetsort10.v.stepl.012	FAIL	599.75
6qbf-5cnf-40var-640cl.9	FAIL	599.76
ncf_16_32_4_euad.8	FAIL	599.77
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.77
ncf_16_32_4_u.6	FAIL	599.79
6qbf-5cnf-40var-1280cl.2	FAIL	599.79
texas.ifetch1^4.E-f2	FAIL	599.8
texas.ifetch1^2.E-f2	FAIL	599.81
texas.ifetch1^3.E-f2	FAIL	599.81
texas.ifetch1^9.E-f2	FAIL	599.81
3qbf-5cnf-80var-2560cl.4	FAIL	599.82
ncf_16_32_2_u.3	FAIL	599.82
4qbf-5cnf-80var-320cl.7	FAIL	599.84
3qbf-5cnf-40var-640cl.1	FAIL	599.84
ncf_16_32_4_euad.1	FAIL	599.84
nusmv.reactor^3.C-f2	FAIL	599.84
ncf_16_32_8_edau.3	FAIL	599.86
eijk.S444.S-f2	FAIL	599.86
5qbf-5cnf-40var-640cl.6	FAIL	599.87
ncf_16_32_2_euad.4	FAIL	599.88
eijk.S953.S-f2	FAIL	599.88
ncf_16_32_8_edau.7	FAIL	599.89
ncf_16_32_4_u.8	FAIL	599.89
5qbf-5cnf-40var-1280cl.3	FAIL	599.89
3qbf-5cnf-80var-2560cl.9	FAIL	599.9
3qbf-5cnf-80var-1280cl.6	FAIL	599.9
ncf_16_32_2_euad.3	FAIL	599.9
6qbf-5cnf-40var-1280cl.9	FAIL	599.9
4qbf-5cnf-160var-640cl.6	FAIL	599.9
texas.two_proc^6.E-f2	FAIL	599.9
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.9
5qbf-5cnf-40var-1280cl.9	FAIL	599.92
6qbf-5cnf-40var-640cl.2	FAIL	599.92
ncf_16_32_8_edau.2	FAIL	599.92
ncf_16_32_8_d.9	FAIL	599.94
ncf_16_32_4_u.1	FAIL	599.94
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.94
ncf_16_32_8_edau.4	FAIL	599.96
4qbf-5cnf-160var-640cl.7	FAIL	599.96
5qbf-5cnf-80var-1280cl.2	FAIL	599.96
T-adeu-0	FAIL	599.96
adder-14-sat	FAIL	599.97
ncf_16_32_8_euad.7	FAIL	599.97
BLOCKS4iii.7	FAIL	599.97
ncf_16_32_2_u.4	FAIL	599.97
T-adeu-1	FAIL	599.97
ncf_16_32_2_u.6	FAIL	599.98
ncf_16_32_4_euad.9	FAIL	599.98
4qbf-5cnf-80var-1280cl.1	FAIL	599.98
5qbf-5cnf-40var-1280cl.2	FAIL	599.98
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	599.99
connect_5x4_3_R	UNSAT	664.8
szymanski-20-s	UNSAT	713.94
6qbf-5cnf-40var-1280cl.5	UNSAT	750.51
x45.8	UNSAT	804.1
x35.7	UNSAT	864.72
qshifter_8	SAT	900.41
x45.1	UNSAT	906.54
x35.1	SAT	924.91
S-adeu-8	UNSAT	991.61
x35.6	UNSAT	1132.85
szymanski-22-s	UNSAT	1404.81
x35.8	SAT	1446.58
x60.1	UNSAT	1761.56
5qbf-5cnf-40var-1280cl.6	UNSAT	1789.31
x45.0	UNSAT	1848.3
6qbf-5cnf-80var-640cl.8	UNSAT	1893.21
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	1902.43
x50.3	UNSAT	1926.35
ncf_16_32_2_euad.6	SAT	2081.31
4qbf-5cnf-80var-2560cl.7	UNSAT	2155.76
x45.2	UNSAT	2336.21
T-adeu-3	UNSAT	2424.62
szymanski-24-s	UNSAT	2491.4
T-adeu-6	UNSAT	3007.55
T-adeu-2	UNSAT	3263.73
x40.8	UNSAT	3283.8
4qbf-5cnf-80var-2560cl.0	UNSAT	3345.11
k_lin_p-20	FAIL	3540.41
2qbf-5cnf-160var-2560cl.5	UNSAT	3742.69
x40.9	UNSAT	3751.88
4qbf-5cnf-80var-2560cl.9	UNSAT	4145.78
x35.9	SAT	5243.15
x35.2	SAT	5444.38
x50.7	UNSAT	5514.86
2qbf-5cnf-160var-2560cl.8	UNSAT	5570.11
k_t4p_n-20	FAIL	5961.8
k_t4p_n-21	FAIL	5963.37
vis.coherence^5.E-f2	FAIL	5967.58
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	5974.73
eijk.S641.S-f2	FAIL	5975.09
ncf_16_32_4_euad.4	FAIL	5976.52
texas.ifetch1^7.E-f2	FAIL	5976.83
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	5977.52
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	5977.59
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	5978.19
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	5978.42
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	5978.43
BLOCKS4iii.6	FAIL	5979.96
texas.two_proc^3.E-f2	FAIL	5980.14
Adder2-4-c	FAIL	5981.23
BLOCKS4ii.7.2	FAIL	5981.8
ncf_16_32_8_euad.10	FAIL	5982.2
eijk.S420.S-f2	FAIL	5982.49
k_lin_n-8	FAIL	5982.56
adder-8-unsat	FAIL	5982.59
ncf_16_32_8_u.4	FAIL	5982.6
sortnetsort5.AE.stepl.004	FAIL	5983.3
5qbf-5cnf-40var-640cl.5	FAIL	5983.52
ncf_16_32_8_edau.8	FAIL	5983.6
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	5983.6
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	5983.77
ncf_16_32_8_edau.5	FAIL	5983.79
6qbf-5cnf-40var-640cl.4	FAIL	5984
2qbf-5cnf-160var-320cl.2	FAIL	5984.1
ncf_16_32_8_d.5	FAIL	5984.12
adder-16-sat	FAIL	5984.37
k_branch_p-8	FAIL	5984.61
eijk.bs1512.S-f2	FAIL	5984.64
ncf_16_32_8_u.6	FAIL	5984.83
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	5984.85
k_branch_n-8	FAIL	5984.92
4qbf-5cnf-160var-640cl.0	FAIL	5984.97
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	5985.09
cmu.dme1.B-f2	FAIL	5985.12
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	5985.23
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	5985.31
texas.two_proc^5.E-f2	FAIL	5985.48
vis.coherence^1.E-f2	FAIL	5985.49
eijk.S820.S-f2	FAIL	5985.59
6qbf-5cnf-80var-640cl.6	FAIL	5985.81
vis.coherence^3.E-f2	FAIL	5986.06
k_lin_p-12	FAIL	5986.17
ncf_16_32_2_euad.8	FAIL	5986.28
mutex-16-s	FAIL	5986.29
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	5986.36
ncf_16_32_8_u.10	FAIL	5986.63
ken.oop^1.C-f2	FAIL	5986.68
vis.coherence^2.E-f2	FAIL	5986.79
ncf_16_32_4_euad.2	FAIL	5987.3
6qbf-5cnf-40var-640cl.1	FAIL	5987.5
ncf_16_32_8_euad.8	FAIL	5987.57
ncf_16_32_8_u.9	FAIL	5987.6
k_poly_n-8	FAIL	5987.63
sortnetsort6.AE.stepl.003	FAIL	5988.13
ncf_16_32_8_u.8	FAIL	5988.26
ncf_16_32_8_u.5	FAIL	5988.47
nusmv.brp.B-f2	FAIL	5988.5
sortnetsort5.AE.stepl.005	FAIL	5988.7
eijk.S526.S-f2	FAIL	5989.12
6qbf-5cnf-80var-2560cl.5	FAIL	5989.17
6qbf-5cnf-40var-1280cl.0	FAIL	5989.19
texas.PI_main^12.E-f2	FAIL	5989.28
k_lin_n-16	FAIL	5989.3
vis.elevator^1.E-f2	FAIL	5989.48
5qbf-5cnf-40var-1280cl.5	FAIL	5989.64
6qbf-5cnf-80var-640cl.9	FAIL	5989.65
4qbf-5cnf-80var-1280cl.7	FAIL	5989.68
Adder2-8-s	FAIL	5989.68
ncf_16_32_8_edau.9	FAIL	5989.78
4qbf-5cnf-160var-640cl.3	FAIL	5989.79
ncf_16_32_4_u.9	FAIL	5990.34
cmu.gigamax.B-f2	FAIL	5990.35
5qbf-5cnf-80var-2560cl.7	FAIL	5990.41
irst.dme4.B-f2	FAIL	5990.43
ncf_16_32_4_u.4	FAIL	5990.46
texas.PI_main^14.E-f2	FAIL	5990.51
6qbf-5cnf-40var-640cl.7	FAIL	5990.56
k_lin_p-16	FAIL	5990.64
ev-pr-8x8-11-7-0-1-2-lg	FAIL	5990.67
5qbf-5cnf-40var-640cl.1	FAIL	5990.72
ncf_16_32_4_u.3	FAIL	5990.93
2qbf-5cnf-80var-640cl.6	FAIL	5990.96
sortnetsort6.AE.stepl.004	FAIL	5991
Adder2-6-c	FAIL	5991.07
4qbf-5cnf-80var-1280cl.3	FAIL	5991.14
5qbf-5cnf-40var-1280cl.1	FAIL	5991.31
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	5991.68
6qbf-5cnf-40var-640cl.8	FAIL	5991.73
3qbf-5cnf-80var-1280cl.1	FAIL	5991.86
4qbf-5cnf-160var-640cl.4	FAIL	5991.93
sortnetsort5.AE.stepl.006	FAIL	5991.94
x50.5	FAIL	5992.27
sortnetsort6.AE.stepl.005	FAIL	5992.33
ncf_16_32_8_u.2	FAIL	5992.43
6qbf-5cnf-80var-2560cl.6	FAIL	5992.55
ncf_16_32_4_u.7	FAIL	5992.57
3qbf-5cnf-80var-1280cl.9	FAIL	5992.68
ncf_16_32_4_euad.7	FAIL	5992.69
6qbf-5cnf-80var-2560cl.4	FAIL	5992.79
5qbf-5cnf-80var-2560cl.8	FAIL	5992.83
k_lin_n-12	FAIL	5992.87
k_branch_p-12	FAIL	5992.92
5qbf-5cnf-80var-1280cl.0	FAIL	5992.94
2qbf-5cnf-80var-640cl.8	FAIL	5992.95
6qbf-5cnf-40var-1280cl.7	FAIL	5992.96
ncf_16_32_2_u.1	FAIL	5993.02
2qbf-5cnf-80var-640cl.2	FAIL	5993.03
4qbf-5cnf-80var-1280cl.6	FAIL	5993.08
5qbf-5cnf-80var-2560cl.6	FAIL	5993.14
4qbf-5cnf-80var-2560cl.4	FAIL	5993.15
Adder2-8-c	FAIL	5993.15
4qbf-5cnf-80var-2560cl.8	FAIL	5993.24
k_poly_n-12	FAIL	5993.28
4qbf-5cnf-160var-640cl.9	FAIL	5993.33
irst.dme5.B-f2	FAIL	5993.37
sortnetsort5.AE.stepl.007	FAIL	5993.41
2qbf-5cnf-80var-640cl.9	FAIL	5993.45
6qbf-5cnf-40var-1280cl.1	FAIL	5993.49
ncf_16_32_2_u.8	FAIL	5993.57
6qbf-5cnf-40var-1280cl.8	FAIL	5993.59
sortnetsort6.AE.stepl.006	FAIL	5993.64
ncf_16_32_8_euad.9	FAIL	5993.7
5qbf-5cnf-80var-1280cl.6	FAIL	5993.74
4qbf-5cnf-80var-1280cl.0	FAIL	5994
sortnetsort6.AE.stepl.007	FAIL	5994.06
4qbf-5cnf-80var-1280cl.9	FAIL	5994.12
4qbf-5cnf-160var-640cl.2	FAIL	5994.14
eijk.S382.S-f2	FAIL	5994.14
k_poly_p-12	FAIL	5994.15
nusmv.reactor^6.C-f2	FAIL	5994.2
6qbf-5cnf-40var-1280cl.4	FAIL	5994.21
x55.4	FAIL	5994.22
x45.4	FAIL	5994.34
x80.2	FAIL	5994.35
5qbf-5cnf-160var-2560cl.5	FAIL	5994.36
2qbf-5cnf-80var-640cl.1	FAIL	5994.38
x75.8	FAIL	5994.38
4qbf-5cnf-80var-1280cl.5	FAIL	5994.42
nusmv.reactor^2.C-f2	FAIL	5994.44
2qbf-5cnf-80var-640cl.4	FAIL	5994.45
6qbf-5cnf-40var-1280cl.6	FAIL	5994.47
6qbf-5cnf-40var-1280cl.3	FAIL	5994.52
3qbf-5cnf-80var-1280cl.3	FAIL	5994.56
3qbf-5cnf-80var-1280cl.8	FAIL	5994.6
ncf_16_32_8_edau.1	FAIL	5994.61
x75.2	FAIL	5994.62
ncf_16_32_8_euad.6	FAIL	5994.67
nusmv.reactor^7.C-f2	FAIL	5994.69
x75.5	FAIL	5994.7
x70.9	FAIL	5994.71
ncf_16_32_8_d.1	FAIL	5994.72
5qbf-5cnf-80var-2560cl.0	FAIL	5994.72
x80.1	FAIL	5994.73
nusmv.reactor^4.C-f2	FAIL	5994.75
3qbf-5cnf-80var-1280cl.0	FAIL	5994.78
2qbf-5cnf-80var-640cl.3	FAIL	5994.8
irst.dme6.B-f2	FAIL	5994.82
2qbf-5cnf-80var-640cl.7	FAIL	5994.85
2qbf-5cnf-80var-640cl.5	FAIL	5994.86
k_lin_n-21	FAIL	5994.89
x80.3	FAIL	5994.89
lognBWLARGEA1	FAIL	5994.9
4qbf-5cnf-160var-640cl.8	FAIL	5994.94
x40.6	FAIL	5994.95
5qbf-5cnf-80var-1280cl.5	FAIL	5994.98
2qbf-5cnf-80var-640cl.0	FAIL	5994.99
k_lin_n-20	FAIL	5995.04
x75.9	FAIL	5995.04
x70.8	FAIL	5995.07
x40.3	FAIL	5995.11
x50.9	FAIL	5995.12
3qbf-5cnf-80var-1280cl.2	FAIL	5995.14
3qbf-5cnf-80var-1280cl.4	FAIL	5995.19
6qbf-5cnf-160var-2560cl.1	FAIL	5995.25
ncf_16_32_8_euad.2	FAIL	5995.25
5qbf-5cnf-80var-1280cl.4	FAIL	5995.34
5qbf-5cnf-80var-2560cl.1	FAIL	5995.35
x40.0	FAIL	5995.39
x75.3	FAIL	5995.39
ncf_16_32_4_euad.3	FAIL	5995.49
4qbf-5cnf-160var-640cl.1	FAIL	5995.53
mutex-32-s	FAIL	5995.56
x60.3	FAIL	5995.57
5qbf-5cnf-80var-1280cl.3	FAIL	5995.59
4qbf-5cnf-80var-1280cl.4	FAIL	5995.67
x75.0	FAIL	5995.67
eijk.S838.S-f2	FAIL	5995.74
x80.0	FAIL	5995.8
k_poly_n-16	FAIL	5995.81
x75.4	FAIL	5995.84
x45.5	FAIL	5995.88
x40.7	FAIL	5995.92
x75.7	FAIL	5995.94
x50.0	FAIL	5996
x50.1	FAIL	5996.02
x75.1	FAIL	5996.02
5qbf-5cnf-80var-2560cl.3	FAIL	5996.06
sortnetsort7.AE.stepl.003	FAIL	5996.11
6qbf-5cnf-80var-1280cl.2	FAIL	5996.12
nusmv.reactor^5.C-f2	FAIL	5996.12
3qbf-5cnf-80var-1280cl.7	FAIL	5996.15
x60.6	FAIL	5996.18
x105.8	FAIL	5996.22
x45.3	FAIL	5996.22
x85.2	FAIL	5996.22
x55.2	FAIL	5996.29
x50.8	FAIL	5996.37
x40.2	FAIL	5996.45
x60.2	FAIL	5996.51
4qbf-5cnf-80var-2560cl.3	FAIL	5996.54
2qbf-5cnf-160var-2560cl.0	FAIL	5996.56
x65.7	FAIL	5996.6
sortnetsort8.AE.stepl.005	FAIL	5996.6
x50.4	FAIL	5996.65
5qbf-5cnf-80var-2560cl.2	FAIL	5996.66
x60.4	FAIL	5996.68
ncf_16_32_8_u.1	FAIL	5996.69
6qbf-5cnf-80var-2560cl.9	FAIL	5996.7
x120.9	FAIL	5996.73
x60.8	FAIL	5996.73
x55.6	FAIL	5996.74
x45.7	FAIL	5996.75
6qbf-5cnf-80var-2560cl.7	FAIL	5996.76
x130.2	FAIL	5996.79
x50.2	FAIL	5996.81
sortnetsort8.AE.stepl.003	FAIL	5996.87
x65.3	FAIL	5996.88
x115.5	FAIL	5996.89
x55.3	FAIL	5996.9
x60.0	FAIL	5996.91
x55.9	FAIL	5996.92
x60.9	FAIL	5996.92
3qbf-5cnf-160var-2560cl.8	FAIL	5996.94
x235.3	FAIL	5996.95
toilet_a_10_05.4	FAIL	5996.97
connect_6x5_5_R	FAIL	5996.97
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	5996.98
5qbf-5cnf-80var-2560cl.5	FAIL	5996.99
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	5997
6qbf-5cnf-80var-2560cl.8	FAIL	5997.01
4qbf-5cnf-80var-2560cl.2	FAIL	5997.01
x110.0	FAIL	5997.01
k_poly_n-20	FAIL	5997.02
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	5997.02
6qbf-5cnf-80var-1280cl.0	FAIL	5997.02
6qbf-5cnf-80var-2560cl.0	FAIL	5997.03
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	5997.07
x55.8	FAIL	5997.07
6qbf-5cnf-80var-640cl.3	FAIL	5997.08
x50.6	FAIL	5997.09
x120.2	FAIL	5997.11
4qbf-5cnf-80var-2560cl.1	FAIL	5997.12
x105.6	FAIL	5997.12
x100.6	FAIL	5997.14
x65.5	FAIL	5997.14
x125.8	FAIL	5997.15
x115.9	FAIL	5997.18
4qbf-5cnf-80var-2560cl.6	FAIL	5997.21
x120.8	FAIL	5997.21
ncf_16_32_8_euad.1	FAIL	5997.22
sortnetsort10.AE.stepl.007	FAIL	5997.22
k_poly_p-21	FAIL	5997.23
x105.5	FAIL	5997.25
k_poly_p-20	FAIL	5997.26
4qbf-5cnf-80var-2560cl.5	FAIL	5997.3
6qbf-5cnf-80var-2560cl.3	FAIL	5997.31
sortnetsort10.AE.stepl.004	FAIL	5997.31
6qbf-5cnf-80var-1280cl.4	FAIL	5997.33
x135.3	FAIL	5997.33
x85.4	FAIL	5997.33
k_poly_n-21	FAIL	5997.34
mutex-64-s	FAIL	5997.38
x125.6	FAIL	5997.39
sortnetsort7.AE.stepl.004	FAIL	5997.39
sortnetsort10.AE.stepl.005	FAIL	5997.4
x55.5	FAIL	5997.42
lognBWLARGEB1	FAIL	5997.43
toilet_a_10_01.16	FAIL	5997.44
x55.1	FAIL	5997.46
sortnetsort8.AE.stepl.009	FAIL	5997.49
x115.8	FAIL	5997.5
x65.1	FAIL	5997.52
sortnetsort8.AE.stepl.008	FAIL	5997.54
6qbf-5cnf-80var-640cl.1	FAIL	5997.56
6qbf-5cnf-160var-2560cl.2	FAIL	5997.56
sortnetsort10.AE.stepl.006	FAIL	5997.56
5qbf-5cnf-80var-1280cl.1	FAIL	5997.58
sortnetsort8.AE.stepl.004	FAIL	5997.58
x70.2	FAIL	5997.59
3qbf-5cnf-160var-2560cl.7	FAIL	5997.6
x55.7	FAIL	5997.62
x120.7	FAIL	5997.63
x60.5	FAIL	5997.63
x70.7	FAIL	5997.64
x165.6	FAIL	5997.65
3qbf-5cnf-80var-1280cl.5	FAIL	5997.67
4qbf-5cnf-80var-1280cl.8	FAIL	5997.68
6qbf-5cnf-80var-640cl.4	FAIL	5997.71
x65.2	FAIL	5997.71
x65.4	FAIL	5997.72
4qbf-5cnf-160var-5120cl.2	FAIL	5997.73
6qbf-5cnf-80var-1280cl.7	FAIL	5997.73
6qbf-5cnf-80var-1280cl.9	FAIL	5997.73
x155.0	FAIL	5997.75
x100.4	FAIL	5997.76
x155.5	FAIL	5997.78
x175.8	FAIL	5997.8
x135.6	FAIL	5997.85
x65.9	FAIL	5997.85
x90.3	FAIL	5997.85
x60.7	FAIL	5997.87
6qbf-5cnf-80var-640cl.5	FAIL	5997.88
x190.4	FAIL	5997.88
x150.8	FAIL	5997.9
x70.4	FAIL	5997.9
x90.4	FAIL	5997.9
sortnetsort7.AE.stepl.005	FAIL	5997.92
x70.5	FAIL	5997.94
x220.5	FAIL	5997.95
x110.2	FAIL	5997.97
x80.6	FAIL	5997.97
x170.8	FAIL	5997.99
6qbf-5cnf-80var-1280cl.8	FAIL	5998
x140.9	FAIL	5998
x85.7	FAIL	5998
x90.7	FAIL	5998.01
4qbf-5cnf-160var-2560cl.0	FAIL	5998.02
x70.6	FAIL	5998.03
sortnetsort8.AE.stepl.006	FAIL	5998.04
sortnetsort10.AE.stepl.009	FAIL	5998.07
x95.5	FAIL	5998.08
x75.6	FAIL	5998.1
5qbf-5cnf-80var-1280cl.8	FAIL	5998.11
sortnetsort10.AE.stepl.008	FAIL	5998.11
x80.4	FAIL	5998.12
x85.8	FAIL	5998.13
sortnetsort10.AE.stepl.012	FAIL	5998.13
sortnetsort8.AE.stepl.007	FAIL	5998.13
6qbf-5cnf-80var-1280cl.1	FAIL	5998.14
5qbf-5cnf-80var-2560cl.9	FAIL	5998.14
6qbf-5cnf-80var-1280cl.3	FAIL	5998.14
sortnetsort9.AE.stepl.006	FAIL	5998.17
sortnetsort7.AE.stepl.006	FAIL	5998.19
x220.6	FAIL	5998.22
x80.9	FAIL	5998.22
x55.0	FAIL	5998.23
sortnetsort9.AE.stepl.008	FAIL	5998.25
x70.0	FAIL	5998.26
6qbf-5cnf-80var-2560cl.2	FAIL	5998.27
x85.9	FAIL	5998.27
mutex-128-s	FAIL	5998.28
x65.8	FAIL	5998.28
x95.6	FAIL	5998.3
x230.3	FAIL	5998.31
x80.5	FAIL	5998.31
x190.0	FAIL	5998.32
x95.4	FAIL	5998.32
x85.5	FAIL	5998.33
4qbf-5cnf-160var-2560cl.1	FAIL	5998.34
x105.7	FAIL	5998.34
x65.0	FAIL	5998.34
x85.3	FAIL	5998.34
x80.8	FAIL	5998.35
x195.4	FAIL	5998.36
x235.5	FAIL	5998.39
6qbf-5cnf-160var-2560cl.5	FAIL	5998.4
x85.1	FAIL	5998.4
x90.1	FAIL	5998.4
x190.1	FAIL	5998.41
sortnetsort10.AE.stepl.011	FAIL	5998.41
x70.1	FAIL	5998.42
x90.9	FAIL	5998.42
6qbf-5cnf-160var-2560cl.9	FAIL	5998.43
5qbf-5cnf-80var-2560cl.4	FAIL	5998.43
6qbf-5cnf-160var-5120cl.0	FAIL	5998.43
x300.2	FAIL	5998.44
x185.3	FAIL	5998.45
x70.3	FAIL	5998.45
6qbf-5cnf-80var-2560cl.1	FAIL	5998.46
x200.2	FAIL	5998.48
x300.3	FAIL	5998.48
x95.9	FAIL	5998.48
x100.7	FAIL	5998.49
x95.3	FAIL	5998.49
4qbf-5cnf-160var-2560cl.9	FAIL	5998.51
x95.2	FAIL	5998.52
sortnetsort7.AE.stepl.007	FAIL	5998.52
x350.0	FAIL	5998.53
x115.4	FAIL	5998.54
x120.5	FAIL	5998.54
x350.8	FAIL	5998.54
x95.0	FAIL	5998.55
x95.1	FAIL	5998.56
6qbf-5cnf-80var-1280cl.6	FAIL	5998.58
x105.9	FAIL	5998.58
x105.2	FAIL	5998.59
sortnetsort9.AE.stepl.004	FAIL	5998.59
x100.1	FAIL	5998.6
x90.8	FAIL	5998.61
x105.4	FAIL	5998.62
x90.6	FAIL	5998.63
sortnetsort7.AE.stepl.008	FAIL	5998.63
x100.5	FAIL	5998.64
x100.8	FAIL	5998.64
sortnetsort9.AE.stepl.012	FAIL	5998.65
x100.2	FAIL	5998.66
x115.6	FAIL	5998.67
x125.0	FAIL	5998.67
sortnetsort7.AE.stepl.009	FAIL	5998.68
x120.1	FAIL	5998.69
sortnetsort9.AE.stepl.005	FAIL	5998.73
x120.4	FAIL	5998.74
x115.3	FAIL	5998.76
sortnetsort9.AE.stepl.007	FAIL	5998.76
4qbf-5cnf-160var-2560cl.6	FAIL	5998.77
x145.7	FAIL	5998.78
robots_1_5_3_20.4	FAIL	5998.8
5qbf-5cnf-80var-1280cl.7	FAIL	5998.8
x155.9	FAIL	5998.81
sortnetsort9.AE.stepl.009	FAIL	5998.81
x125.1	FAIL	5998.82
4qbf-5cnf-160var-2560cl.7	FAIL	5998.83
x115.7	FAIL	5998.83
x130.6	FAIL	5998.83
x85.0	FAIL	5998.83
x165.3	FAIL	5998.84
x170.7	FAIL	5998.85
2qbf-5cnf-160var-2560cl.1	FAIL	5998.86
x110.1	FAIL	5998.86
x100.0	FAIL	5998.87
x95.8	FAIL	5998.87
x100.3	FAIL	5998.89
sortnetsort9.AE.stepl.010	FAIL	5998.9
x110.5	FAIL	5998.91
x115.2	FAIL	5998.91
x85.6	FAIL	5998.91
x90.5	FAIL	5998.92
sortnetsort9.AE.stepl.011	FAIL	5998.92
robots_1_5_4_31.4	FAIL	5998.96
robots_1_5_3_24.4	FAIL	5998.97
x130.3	FAIL	5998.97
robots_1_5_2_85.4	FAIL	5998.98
robots_1_5_4_51.4	FAIL	5998.98
x105.1	FAIL	5999
x130.1	FAIL	5999
x105.0	FAIL	5999.01
5qbf-5cnf-160var-5120cl.3	FAIL	5999.03
x105.3	FAIL	5999.03
x90.2	FAIL	5999.03
3qbf-5cnf-160var-2560cl.0	FAIL	5999.04
x65.6	FAIL	5999.04
6qbf-5cnf-160var-2560cl.4	FAIL	5999.05
x125.5	FAIL	5999.05
x130.8	FAIL	5999.07
x125.9	FAIL	5999.09
2qbf-5cnf-160var-2560cl.6	FAIL	5999.1
x100.9	FAIL	5999.11
5qbf-5cnf-160var-5120cl.7	FAIL	5999.15
x80.7	FAIL	5999.15
x95.7	FAIL	5999.15
x110.7	FAIL	5999.18
x120.0	FAIL	5999.18
x135.7	FAIL	5999.19
x125.2	FAIL	5999.21
x120.3	FAIL	5999.23
x150.2	FAIL	5999.23
x140.3	FAIL	5999.25
x135.5	FAIL	5999.26
x160.2	FAIL	5999.26
x90.0	FAIL	5999.27
5qbf-5cnf-80var-1280cl.9	FAIL	5999.33
x125.7	FAIL	5999.33
x135.9	FAIL	5999.33
x150.0	FAIL	5999.34
2qbf-5cnf-160var-2560cl.4	FAIL	5999.35
4qbf-5cnf-160var-2560cl.5	FAIL	5999.35
x145.2	FAIL	5999.35
3qbf-5cnf-160var-2560cl.3	FAIL	5999.37
x155.7	FAIL	5999.38
x165.7	FAIL	5999.38
5qbf-5cnf-160var-2560cl.3	FAIL	5999.4
x110.6	FAIL	5999.4
x145.6	FAIL	5999.4
x130.0	FAIL	5999.42
2qbf-5cnf-160var-2560cl.7	FAIL	5999.43
x150.6	FAIL	5999.46
3qbf-5cnf-160var-2560cl.9	FAIL	5999.47
x145.8	FAIL	5999.47
x110.3	FAIL	5999.5
x110.8	FAIL	5999.5
x145.4	FAIL	5999.5
x155.3	FAIL	5999.5
6qbf-5cnf-160var-2560cl.3	FAIL	5999.51
x125.4	FAIL	5999.52
x110.4	FAIL	5999.54
x140.2	FAIL	5999.54
x125.3	FAIL	5999.55
x135.1	FAIL	5999.55
x135.2	FAIL	5999.56
x165.1	FAIL	5999.56
x195.0	FAIL	5999.56
x120.6	FAIL	5999.57
x150.7	FAIL	5999.57
3qbf-5cnf-160var-2560cl.6	FAIL	5999.59
5qbf-5cnf-160var-2560cl.0	FAIL	5999.6
x140.0	FAIL	5999.62
x150.9	FAIL	5999.62
x170.9	FAIL	5999.62
x115.1	FAIL	5999.63
x160.8	FAIL	5999.65
4qbf-5cnf-160var-2560cl.8	FAIL	5999.66
x150.1	FAIL	5999.69
x130.5	FAIL	5999.7
4qbf-5cnf-160var-5120cl.0	FAIL	5999.71
x150.3	FAIL	5999.71
x200.1	FAIL	5999.71
x110.9	FAIL	5999.72
x130.4	FAIL	5999.72
x135.0	FAIL	5999.72
4qbf-5cnf-160var-5120cl.4	FAIL	5999.73
4qbf-5cnf-160var-5120cl.7	FAIL	5999.73
x145.0	FAIL	5999.73
x155.1	FAIL	5999.74
4qbf-5cnf-160var-5120cl.6	FAIL	5999.75
x185.4	FAIL	5999.75
x140.6	FAIL	5999.76
x180.5	FAIL	5999.76
5qbf-5cnf-160var-5120cl.6	FAIL	5999.77
6qbf-5cnf-160var-2560cl.8	FAIL	5999.77
4qbf-5cnf-160var-5120cl.3	FAIL	5999.79
6qbf-5cnf-160var-5120cl.2	FAIL	5999.8
x165.4	FAIL	5999.8
5qbf-5cnf-160var-5120cl.1	FAIL	5999.81
x145.1	FAIL	5999.81
x160.1	FAIL	5999.81
x160.6	FAIL	5999.81
x190.3	FAIL	5999.81
x195.8	FAIL	5999.81
5qbf-5cnf-160var-2560cl.4	FAIL	5999.82
x130.7	FAIL	5999.82
x135.8	FAIL	5999.82
x165.0	FAIL	5999.82
x210.5	FAIL	5999.82
5qbf-5cnf-160var-5120cl.9	FAIL	5999.83
6qbf-5cnf-160var-5120cl.4	FAIL	5999.86
5qbf-5cnf-160var-5120cl.4	FAIL	5999.86
5qbf-5cnf-160var-5120cl.2	FAIL	5999.86
3qbf-5cnf-160var-2560cl.1	FAIL	5999.87
x155.8	FAIL	5999.87
x160.3	FAIL	5999.88
5qbf-5cnf-160var-5120cl.5	FAIL	5999.89
5qbf-5cnf-160var-5120cl.0	FAIL	5999.89
x115.0	FAIL	5999.89
x170.6	FAIL	5999.89
x140.4	FAIL	5999.9
x155.2	FAIL	5999.91
x185.0	FAIL	5999.91
5qbf-5cnf-160var-2560cl.1	FAIL	5999.92
x130.9	FAIL	5999.92
x165.9	FAIL	5999.92
x175.1	FAIL	5999.92
3qbf-5cnf-160var-2560cl.2	FAIL	5999.93
6qbf-5cnf-160var-2560cl.0	FAIL	5999.93
x190.9	FAIL	5999.93
x205.5	FAIL	5999.93
3qbf-5cnf-160var-2560cl.5	FAIL	5999.94
x145.5	FAIL	5999.94
x155.4	FAIL	5999.94
x150.5	FAIL	5999.95
x170.4	FAIL	5999.95
x180.4	FAIL	5999.95
x145.9	FAIL	5999.96
4qbf-5cnf-160var-2560cl.3	FAIL	5999.97
x165.5	FAIL	5999.97
x150.4	FAIL	5999.98
5qbf-5cnf-160var-5120cl.8	FAIL	5999.99
x205.1	FAIL	5999.99
4qbf-5cnf-160var-5120cl.1	FAIL	6000
x140.1	FAIL	6000
x160.7	FAIL	6000.01
x160.9	FAIL	6000.01
3qbf-5cnf-160var-2560cl.4	FAIL	6000.02
6qbf-5cnf-160var-5120cl.7	FAIL	6000.02
5qbf-5cnf-160var-2560cl.9	FAIL	6000.03
x140.7	FAIL	6000.03
x185.8	FAIL	6000.04
x185.9	FAIL	6000.04
x185.6	FAIL	6000.06
x195.5	FAIL	6000.06
x175.7	FAIL	6000.07
x190.5	FAIL	6000.07
x190.8	FAIL	6000.07
x200.9	FAIL	6000.07
x210.1	FAIL	6000.07
x185.1	FAIL	6000.08
x195.1	FAIL	6000.08
x195.6	FAIL	6000.08
x200.7	FAIL	6000.08
6qbf-5cnf-160var-5120cl.6	FAIL	6000.09
6qbf-5cnf-160var-5120cl.1	FAIL	6000.09
x180.0	FAIL	6000.09
x180.1	FAIL	6000.09
x205.2	FAIL	6000.09
x175.3	FAIL	6000.1
x175.5	FAIL	6000.1
x180.8	FAIL	6000.1
6qbf-5cnf-160var-5120cl.9	FAIL	6000.11
x170.0	FAIL	6000.11
x180.7	FAIL	6000.11
x190.7	FAIL	6000.11
x160.5	FAIL	6000.12
x185.5	FAIL	6000.12
x215.0	FAIL	6000.12
x135.4	FAIL	6000.13
x175.2	FAIL	6000.13
x185.7	FAIL	6000.13
x190.6	FAIL	6000.13
x210.2	FAIL	6000.13
4qbf-5cnf-160var-2560cl.4	FAIL	6000.15
x195.3	FAIL	6000.15
x205.0	FAIL	6000.15
x210.8	FAIL	6000.15
x240.8	FAIL	6000.15
4qbf-5cnf-160var-5120cl.5	FAIL	6000.16
4qbf-5cnf-160var-2560cl.2	FAIL	6000.16
6qbf-5cnf-160var-5120cl.3	FAIL	6000.16
x165.8	FAIL	6000.16
x170.5	FAIL	6000.16
x215.8	FAIL	6000.16
x245.6	FAIL	6000.16
6qbf-5cnf-160var-5120cl.8	FAIL	6000.17
x140.5	FAIL	6000.17
x165.2	FAIL	6000.17
x180.3	FAIL	6000.17
x205.3	FAIL	6000.17
x215.7	FAIL	6000.17
x240.5	FAIL	6000.18
x170.1	FAIL	6000.19
x170.3	FAIL	6000.19
x180.6	FAIL	6000.19
x200.8	FAIL	6000.19
x220.7	FAIL	6000.19
x160.4	FAIL	6000.2
x200.3	FAIL	6000.2
4qbf-5cnf-160var-5120cl.9	FAIL	6000.21
6qbf-5cnf-160var-2560cl.7	FAIL	6000.21
4qbf-5cnf-160var-5120cl.8	FAIL	6000.21
x160.0	FAIL	6000.21
x175.4	FAIL	6000.23
x205.6	FAIL	6000.23
6qbf-5cnf-160var-2560cl.6	FAIL	6000.24
x235.7	FAIL	6000.24
x210.3	FAIL	6000.25
x215.3	FAIL	6000.25
x215.9	FAIL	6000.25
x240.4	FAIL	6000.26
x195.9	FAIL	6000.27
x205.7	FAIL	6000.27
x215.6	FAIL	6000.27
x230.2	FAIL	6000.27
x145.3	FAIL	6000.28
x220.3	FAIL	6000.28
x225.1	FAIL	6000.28
x235.9	FAIL	6000.28
x245.5	FAIL	6000.28
x200.5	FAIL	6000.29
x170.2	FAIL	6000.3
x220.4	FAIL	6000.3
x175.0	FAIL	6000.31
x200.4	FAIL	6000.31
x225.7	FAIL	6000.31
x225.9	FAIL	6000.31
x195.2	FAIL	6000.32
x230.5	FAIL	6000.32
x240.2	FAIL	6000.32
x250.9	FAIL	6000.32
x190.2	FAIL	6000.33
x210.7	FAIL	6000.33
x220.2	FAIL	6000.33
x235.4	FAIL	6000.33
x220.1	FAIL	6000.34
6qbf-5cnf-160var-5120cl.5	FAIL	6000.35
x235.6	FAIL	6000.35
x245.3	FAIL	6000.35
5qbf-5cnf-160var-2560cl.2	FAIL	6000.36
x175.6	FAIL	6000.36
x200.6	FAIL	6000.36
x235.0	FAIL	6000.36
x250.1	FAIL	6000.36
5qbf-5cnf-160var-2560cl.6	FAIL	6000.37
x140.8	FAIL	6000.37
x230.8	FAIL	6000.37
x235.2	FAIL	6000.37
x240.1	FAIL	6000.37
x175.9	FAIL	6000.38
x200.0	FAIL	6000.38
x210.6	FAIL	6000.38
x225.0	FAIL	6000.38
x225.2	FAIL	6000.38
x245.0	FAIL	6000.38
5qbf-5cnf-160var-2560cl.7	FAIL	6000.39
x215.5	FAIL	6000.39
x220.9	FAIL	6000.39
x240.7	FAIL	6000.41
x250.8	FAIL	6000.41
5qbf-5cnf-160var-2560cl.8	FAIL	6000.42
x205.8	FAIL	6000.42
x225.3	FAIL	6000.42
x230.4	FAIL	6000.42
x210.0	FAIL	6000.43
x205.4	FAIL	6000.45
x225.4	FAIL	6000.45
x155.6	FAIL	6000.46
x180.9	FAIL	6000.46
x215.1	FAIL	6000.47
x245.1	FAIL	6000.47
x250.2	FAIL	6000.47
x205.9	FAIL	6000.48
x215.2	FAIL	6000.48
x235.8	FAIL	6000.48
x250.4	FAIL	6000.48
x220.8	FAIL	6000.49
x235.1	FAIL	6000.49
x245.7	FAIL	6000.49
x180.2	FAIL	6000.52
x245.2	FAIL	6000.52
x245.4	FAIL	6000.53
x245.9	FAIL	6000.53
x240.6	FAIL	6000.54
x220.0	FAIL	6000.55
x225.5	FAIL	6000.55
x230.6	FAIL	6000.55
x250.5	FAIL	6000.55
x210.4	FAIL	6000.57
x210.9	FAIL	6000.57
x230.0	FAIL	6000.57
x250.0	FAIL	6000.57
x300.6	FAIL	6000.57
x225.8	FAIL	6000.58
x240.3	FAIL	6000.58
x240.9	FAIL	6000.59
x240.0	FAIL	6000.6
x185.2	FAIL	6000.62
x215.4	FAIL	6000.62
x230.1	FAIL	6000.62
x230.9	FAIL	6000.62
x350.6	FAIL	6000.62
sortnetsort10.AE.stepl.010	FAIL	6000.62
x250.6	FAIL	6000.63
x250.7	FAIL	6000.64
x230.7	FAIL	6000.65
x250.3	FAIL	6000.65
x225.6	FAIL	6000.67
x300.5	FAIL	6000.69
x300.9	FAIL	6000.69
x350.4	FAIL	6000.7
x300.0	FAIL	6000.72
x400.9	FAIL	6000.73
1qbf-5cnf-160var-2560cl.3	FAIL	6000.75
x195.7	FAIL	6000.75
x245.8	FAIL	6000.75
x300.1	FAIL	6000.75
x300.4	FAIL	6000.75
x300.7	FAIL	6000.75
x350.5	FAIL	6000.75
x300.8	FAIL	6000.76
x400.2	FAIL	6000.76
x350.3	FAIL	6000.77
x400.5	FAIL	6000.77
x400.6	FAIL	6000.8
x400.7	FAIL	6000.8
1qbf-5cnf-160var-2560cl.9	FAIL	6000.82
x400.1	FAIL	6000.82
1qbf-5cnf-80var-2560cl.9	FAIL	6000.84
x350.7	FAIL	6000.84
x400.8	FAIL	6000.84
1qbf-5cnf-80var-2560cl.7	FAIL	6000.85
x400.4	FAIL	6000.85
robots_1_5_2_21.4	FAIL	6000.86
1qbf-5cnf-80var-2560cl.5	FAIL	6000.86
x350.9	FAIL	6000.86
robots_1_5_2_39.4	FAIL	6000.87
robots_1_5_5_30.4	FAIL	6000.87
robots_1_5_3_16.4	FAIL	6000.87
robots_1_5_2_2.4	FAIL	6000.87
1qbf-5cnf-160var-2560cl.4	FAIL	6000.87
1qbf-5cnf-80var-2560cl.2	FAIL	6000.87
1qbf-5cnf-80var-2560cl.6	FAIL	6000.87
1qbf-5cnf-160var-2560cl.6	FAIL	6000.87
x400.3	FAIL	6000.87
1qbf-5cnf-80var-2560cl.1	FAIL	6000.88
1qbf-5cnf-80var-2560cl.4	FAIL	6000.88
1qbf-5cnf-80var-2560cl.0	FAIL	6000.88
x350.2	FAIL	6000.88
1qbf-5cnf-80var-2560cl.3	FAIL	6000.89
x400.0	FAIL	6000.89
robots_1_5_3_52.4	FAIL	6000.9
1qbf-5cnf-80var-2560cl.8	FAIL	6000.9
x350.1	FAIL	6000.9
robots_1_5_2_80.4	FAIL	6000.91
robots_1_5_2_45.4	FAIL	6000.92
robots_1_5_2_3.4	FAIL	6000.93
robots_1_5_3_66.4	FAIL	6000.93
robots_1_5_5_26.4	FAIL	6000.94
robots_1_5_2_82.4	FAIL	6000.94
robots_1_5_2_99.4	FAIL	6000.94
robots_1_5_2_100.4	FAIL	6000.94
robots_1_5_4_46.4	FAIL	6000.95
robots_1_5_3_44.4	FAIL	6000.96
robots_1_5_3_57.4	FAIL	6000.96
robots_1_5_4_91.4	FAIL	6000.96
robots_1_5_5_34.4	FAIL	6000.96
robots_1_5_4_50.4	FAIL	6000.96
robots_1_5_4_2.4	FAIL	6000.97
robots_1_5_3_78.4	FAIL	6000.98
robots_1_5_5_45.4	FAIL	6000.98
robots_1_5_5_66.4	FAIL	6000.98
robots_1_5_4_87.4	FAIL	6000.98
robots_1_5_3_100.4	FAIL	6000.98
robots_1_5_4_30.4	FAIL	6000.99
robots_1_5_4_98.4	FAIL	6000.99
robots_1_5_5_100.4	FAIL	6000.99
robots_1_5_5_87.4	FAIL	6000.99
robots_1_5_5_93.4	FAIL	6000.99
robots_1_5_3_2.4	FAIL	6000.99
robots_1_5_4_100.4	FAIL	6000.99
robots_1_5_5_12.4	FAIL	6000.99
robots_1_5_5_8.4	FAIL	6000.99

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Qbfl
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Qbfl QBFEVAL'06

Instances solved by Qbfl
QBFEVAL'06