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

Instances solved by yQuaffle
QBFEVAL'06

Instance	Result	Time
6qbf-5cnf-20var-640cl.4	UNSAT	0
6qbf-5cnf-20var-640cl.0	UNSAT	0
ncf_4_8_2_euad.4	UNSAT	0
4qbf-5cnf-20var-640cl.8	UNSAT	0
4qbf-5cnf-20var-640cl.5	UNSAT	0
ncf_4_8_2_u.3	UNSAT	0
6qbf-5cnf-20var-640cl.1	UNSAT	0
5qbf-5cnf-20var-640cl.2	UNSAT	0
tree-exa2-50	UNSAT	0
5qbf-5cnf-20var-640cl.6	UNSAT	0
4qbf-5cnf-20var-640cl.0	UNSAT	0
5qbf-5cnf-20var-640cl.9	UNSAT	0
x10.1	UNSAT	0
x10.8	UNSAT	0
x15.2	UNSAT	0
x15.9	UNSAT	0
x5.0	SAT	0
x5.1	UNSAT	0
x5.4	UNSAT	0
cmu.dme1.B-d2	SAT	0
cmu.dme2.B-d2	SAT	0
eijk.S208c.S-d2	SAT	0
eijk.S208o.S-d2	SAT	0
eijk.S298.S-d2	SAT	0
eijk.S444.S-d2	SAT	0
texas.parsesys^1.E-d2	SAT	0
vis.eisenberg.E-d2	SAT	0
Qq2k1k4v40v40m2s1	SAT	0
Qq2k1k4v40v40m2s2	SAT	0
Qq2k1k4v40v40m2s3	SAT	0
Qq2k1k4v40v40m2s4	SAT	0
Qq2k1k4v40v40m2s5	SAT	0
Qq2k1k4v40v40m2s7	SAT	0
Qq2k1k4v40v40m2s9	SAT	0
Qq2k1k4v40v40m4s0	SAT	0
Qq2k1k4v40v40m4s1	SAT	0
Qq2k1k4v40v40m4s3	SAT	0
Qq2k1k4v40v40m4s6	SAT	0
Qq2k1k4v40v40m4s7	SAT	0
Qq2k1k4v40v40m8s1	SAT	0
Qq2k1k4v40v40m8s3	SAT	0
Qq2k1k4v40v40m8s6	UNSAT	0
Qq2k1k4v40v40m8s7	SAT	0
Qq2k1k4v40v40m8s8	SAT	0
Qq2k1k4v40v40m8s9	SAT	0
Qq2k1k4v40v40m16s2	UNSAT	0
Qq2k1k4v40v40m16s5	SAT	0
Qq2k1k4v40v40m16s7	SAT	0
Qq2k1k4v40v40m16s9	UNSAT	0
Qq2k1k4v40v40m32s3	UNSAT	0
Qq2k1k4v40v40m32s4	UNSAT	0
Qq2k1k4v40v40m32s8	UNSAT	0
Qq2k1k4v80v80m2s1	SAT	0
Qq2k1k4v80v80m2s3	SAT	0
Qq2k1k4v80v80m2s5	SAT	0
Qq2k1k4v80v80m2s6	SAT	0
Qq2k1k4v80v80m2s8	SAT	0
Qq2k1k4v80v80m2s9	SAT	0
Qq2k1k4v80v80m4s0	SAT	0
Qq2k1k4v80v80m4s1	SAT	0
Qq2k1k4v80v80m4s3	SAT	0
Qq2k1k4v80v80m4s4	SAT	0
Qq2k1k4v80v80m4s5	SAT	0
Qq2k1k4v80v80m4s6	SAT	0
Qq2k1k4v80v80m4s7	SAT	0
Qq2k1k4v80v80m4s9	SAT	0
Qq2k1k4v80v80m8s3	SAT	0
Qq2k1k4v80v80m8s5	SAT	0
Qq2k1k4v80v80m8s8	SAT	0
Qq2k1k4v80v80m8s9	SAT	0
Qq2k1k4v80v80m16s2	SAT	0
Qq2k1k4v80v80m16s4	SAT	0
Qq2k1k4v80v80m16s9	SAT	0
Qq2k1k4v80v80m32s0	UNSAT	0
Qq2k1k4v80v80m32s5	UNSAT	0
Qq2k1k4v80v80m32s6	UNSAT	0
Qq2k1k4v80v80m32s7	SAT	0
Qq2k1k4v80v80m32s8	UNSAT	0
Qq2k2k3v40v40m2s0	SAT	0
Qq2k2k3v40v40m2s2	SAT	0
Qq2k2k3v40v40m2s3	SAT	0
Qq2k2k3v40v40m2s4	SAT	0
Qq2k2k3v40v40m2s5	SAT	0
Qq2k2k3v40v40m2s6	SAT	0
Qq2k2k3v40v40m4s1	SAT	0
Qq2k2k3v40v40m4s2	SAT	0
Qq2k2k3v40v40m4s3	SAT	0
Qq2k2k3v40v40m4s4	SAT	0
Qq2k2k3v40v40m4s9	SAT	0
Qq2k2k3v40v40m8s2	SAT	0
Qq2k2k3v40v40m8s3	SAT	0
Qq2k2k3v40v40m8s4	SAT	0
Qq2k2k3v40v40m8s5	SAT	0
Qq2k2k3v40v40m8s6	SAT	0
Qq2k2k3v40v40m8s7	SAT	0
Qq2k2k3v40v40m8s9	SAT	0
Qq2k2k3v40v40m16s0	SAT	0
Qq2k2k3v40v40m16s2	SAT	0
Qq2k2k3v40v40m16s3	SAT	0
Qq2k2k3v40v40m16s5	SAT	0
Qq2k2k3v40v40m16s6	SAT	0
Qq2k2k3v40v40m16s8	SAT	0
Qq2k2k3v40v40m16s9	SAT	0
Qq2k2k3v40v40m32s0	SAT	0
Qq2k2k3v40v40m32s2	SAT	0
Qq2k2k3v40v40m32s3	SAT	0
Qq2k2k3v40v40m32s4	SAT	0
Qq2k2k3v40v40m32s5	SAT	0
Qq2k2k3v40v40m32s6	SAT	0
Qq2k2k3v40v40m32s9	SAT	0
Qq2k2k3v80v80m2s0	SAT	0
Qq2k2k3v80v80m2s1	SAT	0
Qq2k2k3v80v80m2s2	SAT	0
Qq2k2k3v80v80m2s3	SAT	0
Qq2k2k3v80v80m2s5	SAT	0
Qq2k2k3v80v80m2s7	SAT	0
Qq2k2k3v80v80m2s8	SAT	0
Qq2k2k3v80v80m2s9	SAT	0
Qq2k2k3v80v80m4s3	SAT	0
Qq2k2k3v80v80m4s4	SAT	0
Qq2k2k3v80v80m4s6	SAT	0
Qq2k2k3v80v80m4s8	SAT	0
Qq2k2k3v80v80m4s9	SAT	0
Qq2k2k3v80v80m8s1	SAT	0
Qq2k2k3v80v80m8s4	SAT	0
Qq2k2k3v80v80m8s7	SAT	0
Qq2k2k3v80v80m8s8	SAT	0
Qq2k2k3v80v80m8s9	SAT	0
Qq2k2k3v80v80m16s0	SAT	0
Qq2k2k3v80v80m16s1	SAT	0
Qq2k2k3v80v80m16s2	SAT	0
Qq2k2k3v80v80m16s5	SAT	0
Qq2k2k3v80v80m16s6	SAT	0
Qq2k2k3v80v80m16s8	SAT	0
Qq2k2k3v80v80m32s0	SAT	0
Qq2k2k3v80v80m32s1	SAT	0
Qq2k2k3v80v80m32s3	SAT	0
Qq2k2k3v80v80m32s4	SAT	0
Qq2k3k2v40v40m2s0	SAT	0
Qq2k3k2v40v40m2s2	SAT	0
Qq2k3k2v40v40m2s4	SAT	0
Qq2k3k2v40v40m2s5	SAT	0
Qq2k3k2v40v40m2s6	SAT	0
Qq2k3k2v40v40m2s7	SAT	0
Qq2k3k2v40v40m2s9	SAT	0
Qq2k3k2v40v40m4s2	SAT	0
Qq2k3k2v40v40m4s3	SAT	0
Qq2k3k2v40v40m4s6	SAT	0
Qq2k3k2v40v40m4s8	SAT	0
Qq2k3k2v40v40m8s0	SAT	0
Qq2k3k2v40v40m8s1	SAT	0
Qq2k3k2v40v40m8s3	SAT	0
Qq2k3k2v40v40m8s5	SAT	0
Qq2k3k2v40v40m8s8	SAT	0
Qq2k3k2v40v40m8s9	SAT	0
Qq2k3k2v40v40m16s3	SAT	0
Qq2k3k2v40v40m16s6	SAT	0
Qq2k3k2v40v40m16s8	SAT	0
Qq2k3k2v40v40m32s0	SAT	0
Qq2k3k2v40v40m32s1	SAT	0
Qq2k3k2v40v40m32s2	SAT	0
Qq2k3k2v40v40m32s3	SAT	0
Qq2k3k2v40v40m32s4	SAT	0
Qq2k3k2v40v40m32s7	SAT	0
Qq2k3k2v40v40m32s8	SAT	0
Qq2k3k2v40v40m32s9	SAT	0
Qq2k3k2v80v80m2s0	SAT	0
Qq2k3k2v80v80m2s1	SAT	0
Qq2k3k2v80v80m2s4	SAT	0
Qq2k3k2v80v80m2s8	SAT	0
Qq2k3k2v80v80m2s9	SAT	0
Qq2k3k2v80v80m4s2	SAT	0
Qq2k3k2v80v80m4s3	SAT	0
Qq2k3k2v80v80m4s4	SAT	0
Qq2k3k2v80v80m4s6	SAT	0
Qq2k3k2v80v80m4s7	SAT	0
Qq2k3k2v80v80m4s9	SAT	0
Qq2k3k2v80v80m8s4	SAT	0
Qq2k3k2v80v80m8s5	SAT	0
Qq2k3k2v80v80m8s7	SAT	0
Qq2k3k2v80v80m16s0	SAT	0
Qq2k3k2v80v80m16s1	SAT	0
Qq2k3k2v80v80m16s3	SAT	0
Qq2k3k2v80v80m16s4	SAT	0
Qq2k3k2v80v80m16s7	SAT	0
Qq2k3k2v80v80m16s9	SAT	0
Qq2k3k2v80v80m32s0	SAT	0
Qq2k3k2v80v80m32s1	SAT	0
Qq2k3k2v80v80m32s4	SAT	0
Qq2k3k2v80v80m32s7	SAT	0
Qq2k3k2v80v80m32s8	SAT	0
Qq3k1k1k3v40v40v40m2s0	SAT	0
Qq3k1k1k3v40v40v40m2s1	SAT	0
Qq3k1k1k3v40v40v40m2s2	SAT	0
Qq3k1k1k3v40v40v40m2s3	SAT	0
Qq3k1k1k3v40v40v40m2s8	SAT	0
Qq3k1k1k3v40v40v40m2s9	SAT	0
Qq3k1k1k3v40v40v40m4s4	SAT	0
Qq3k1k1k3v40v40v40m4s7	SAT	0
Qq3k1k1k3v40v40v40m4s8	SAT	0
Qq3k1k1k3v40v40v40m4s9	SAT	0
Qq3k1k1k3v40v40v40m8s0	SAT	0
Qq3k1k1k3v40v40v40m8s3	SAT	0
Qq3k1k1k3v40v40v40m8s5	SAT	0
Qq3k1k1k3v40v40v40m8s6	SAT	0
Qq3k1k1k3v40v40v40m8s7	SAT	0
Qq3k1k1k3v40v40v40m8s9	SAT	0
Qq3k1k1k3v40v40v40m16s1	SAT	0
Qq3k1k1k3v40v40v40m16s3	SAT	0
Qq3k1k1k3v40v40v40m16s7	SAT	0
Qq3k1k1k3v40v40v40m16s8	SAT	0
Qq3k1k1k3v40v40v40m32s0	SAT	0
Qq3k1k1k3v40v40v40m32s1	SAT	0
Qq3k1k1k3v40v40v40m32s3	SAT	0
Qq3k1k1k3v40v40v40m32s4	SAT	0
Qq3k1k1k3v40v40v40m32s5	SAT	0
Qq3k1k1k3v40v40v40m32s8	SAT	0
Qq3k1k1k3v80v80v80m2s0	SAT	0
Qq3k1k1k3v80v80v80m2s1	SAT	0
Qq3k1k1k3v80v80v80m2s4	SAT	0
Qq3k1k1k3v80v80v80m2s5	SAT	0
Qq3k1k1k3v80v80v80m2s8	SAT	0
Qq3k1k1k3v80v80v80m2s9	SAT	0
Qq3k1k1k3v80v80v80m4s0	SAT	0
Qq3k1k1k3v80v80v80m4s2	SAT	0
Qq3k1k1k3v80v80v80m4s3	SAT	0
Qq3k1k1k3v80v80v80m4s4	SAT	0
Qq3k1k1k3v80v80v80m4s6	SAT	0
Qq3k1k1k3v80v80v80m4s7	SAT	0
Qq3k1k1k3v80v80v80m4s8	SAT	0
Qq3k1k1k3v80v80v80m8s0	SAT	0
Qq3k1k1k3v80v80v80m8s2	SAT	0
Qq3k1k1k3v80v80v80m8s3	SAT	0
Qq3k1k1k3v80v80v80m8s4	SAT	0
Qq3k1k1k3v80v80v80m8s5	SAT	0
Qq3k1k1k3v80v80v80m8s6	SAT	0
Qq3k1k1k3v80v80v80m8s8	SAT	0
Qq3k1k1k3v80v80v80m16s4	SAT	0
Qq3k1k1k3v80v80v80m16s6	SAT	0
Qq3k1k1k3v80v80v80m16s9	SAT	0
Qq3k1k1k3v80v80v80m32s0	SAT	0
Qq3k1k1k3v80v80v80m32s2	SAT	0
Qq3k1k1k3v80v80v80m32s3	SAT	0
Qq3k1k1k3v80v80v80m32s5	SAT	0
Qq3k1k1k3v80v80v80m32s6	SAT	0
Qq3k1k1k3v80v80v80m32s9	SAT	0
Qq3k1k2k2v40v40v40m2s0	SAT	0
Qq3k1k2k2v40v40v40m2s1	SAT	0
Qq3k1k2k2v40v40v40m2s5	SAT	0
Qq3k1k2k2v40v40v40m4s7	SAT	0
Qq3k1k2k2v40v40v40m8s0	SAT	0
Qq3k1k2k2v40v40v40m8s1	SAT	0
Qq3k1k2k2v40v40v40m8s2	SAT	0
Qq3k1k2k2v40v40v40m8s4	SAT	0
Qq3k1k2k2v40v40v40m8s5	SAT	0
Qq3k1k2k2v40v40v40m8s9	SAT	0
Qq3k1k2k2v40v40v40m16s1	SAT	0
Qq3k1k2k2v40v40v40m16s3	SAT	0
Qq3k1k2k2v40v40v40m16s7	SAT	0
Qq3k1k2k2v40v40v40m16s9	SAT	0
Qq3k1k2k2v40v40v40m32s1	SAT	0
Qq3k1k2k2v40v40v40m32s3	SAT	0
Qq3k1k2k2v40v40v40m32s4	SAT	0
Qq3k1k2k2v40v40v40m32s6	SAT	0
Qq3k1k2k2v40v40v40m32s7	SAT	0
Qq3k1k2k2v40v40v40m32s9	SAT	0
Qq3k1k2k2v80v80v80m2s2	SAT	0
Qq3k1k2k2v80v80v80m2s3	SAT	0
Qq3k1k2k2v80v80v80m2s4	SAT	0
Qq3k1k2k2v80v80v80m2s5	SAT	0
Qq3k1k2k2v80v80v80m2s6	SAT	0
Qq3k1k2k2v80v80v80m2s8	SAT	0
Qq3k1k2k2v80v80v80m2s9	SAT	0
Qq3k1k2k2v80v80v80m4s0	SAT	0
Qq3k1k2k2v80v80v80m4s2	SAT	0
Qq3k1k2k2v80v80v80m4s3	SAT	0
Qq3k1k2k2v80v80v80m4s4	SAT	0
Qq3k1k2k2v80v80v80m4s6	SAT	0
Qq3k1k2k2v80v80v80m4s7	SAT	0
Qq3k1k2k2v80v80v80m4s8	SAT	0
Qq3k1k2k2v80v80v80m8s3	SAT	0
Qq3k1k2k2v80v80v80m8s7	SAT	0
Qq3k1k2k2v80v80v80m8s9	SAT	0
Qq3k1k2k2v80v80v80m16s0	SAT	0
Qq3k1k2k2v80v80v80m16s2	SAT	0
Qq3k1k2k2v80v80v80m16s3	SAT	0
Qq3k1k2k2v80v80v80m16s5	SAT	0
Qq3k1k2k2v80v80v80m16s6	SAT	0
Qq3k1k2k2v80v80v80m16s9	SAT	0
Qq3k1k2k2v80v80v80m32s1	SAT	0
Qq3k1k2k2v80v80v80m32s3	SAT	0
Qq3k1k2k2v80v80v80m32s4	SAT	0
Qq3k1k2k2v80v80v80m32s5	SAT	0
Qq3k1k2k2v80v80v80m32s8	SAT	0
Qq3k1k2k2v80v80v80m32s9	SAT	0
Qq3k1k3k1v40v40v40m2s0	SAT	0
Qq3k1k3k1v40v40v40m2s1	SAT	0
Qq3k1k3k1v40v40v40m2s2	SAT	0
Qq3k1k3k1v40v40v40m2s4	SAT	0
Qq3k1k3k1v40v40v40m2s8	SAT	0
Qq3k1k3k1v40v40v40m4s0	SAT	0
Qq3k1k3k1v40v40v40m4s6	SAT	0
Qq3k1k3k1v40v40v40m8s0	SAT	0
Qq3k1k3k1v40v40v40m8s2	SAT	0
Qq3k1k3k1v40v40v40m8s3	SAT	0
Qq3k1k3k1v40v40v40m16s1	SAT	0
Qq3k1k3k1v40v40v40m16s2	SAT	0
Qq3k1k3k1v40v40v40m16s3	SAT	0
Qq3k1k3k1v40v40v40m16s5	SAT	0
Qq3k1k3k1v40v40v40m16s6	SAT	0
Qq3k1k3k1v40v40v40m32s4	SAT	0
Qq3k1k3k1v40v40v40m32s8	SAT	0
Qq3k1k3k1v40v40v40m32s9	SAT	0
Qq3k1k3k1v80v80v80m2s0	SAT	0
Qq3k1k3k1v80v80v80m2s7	SAT	0
Qq3k1k3k1v80v80v80m2s8	SAT	0
Qq3k1k3k1v80v80v80m4s1	SAT	0
Qq3k1k3k1v80v80v80m4s4	SAT	0
Qq3k1k3k1v80v80v80m4s6	SAT	0
Qq3k1k3k1v80v80v80m4s9	SAT	0
Qq3k1k3k1v80v80v80m8s2	SAT	0
Qq3k1k3k1v80v80v80m8s4	SAT	0
Qq3k1k3k1v80v80v80m8s6	SAT	0
Qq3k1k3k1v80v80v80m16s2	SAT	0
Qq3k1k3k1v80v80v80m16s3	SAT	0
Qq3k1k3k1v80v80v80m16s4	SAT	0
Qq3k1k3k1v80v80v80m16s7	SAT	0
Qq3k1k3k1v80v80v80m16s8	SAT	0
Qq3k1k3k1v80v80v80m16s9	SAT	0
Qq3k1k3k1v80v80v80m32s0	SAT	0
Qq3k1k3k1v80v80v80m32s2	SAT	0
Qq3k1k3k1v80v80v80m32s4	SAT	0
Qq3k1k3k1v80v80v80m32s5	SAT	0
Qq3k1k3k1v80v80v80m32s6	SAT	0
Qq3k1k3k1v80v80v80m32s7	SAT	0
Qq3k1k3k1v80v80v80m32s8	SAT	0
Qq3k2k1k2v40v40v40m2s1	SAT	0
Qq3k2k1k2v40v40v40m2s4	SAT	0
Qq3k2k1k2v40v40v40m2s5	SAT	0
Qq3k2k1k2v40v40v40m2s6	SAT	0
Qq3k2k1k2v40v40v40m2s7	SAT	0
Qq3k2k1k2v40v40v40m2s8	SAT	0
Qq3k2k1k2v40v40v40m2s9	SAT	0
Qq3k2k1k2v40v40v40m4s1	SAT	0
Qq3k2k1k2v40v40v40m4s2	SAT	0
Qq3k2k1k2v40v40v40m4s4	SAT	0
Qq3k2k1k2v40v40v40m4s8	SAT	0
Qq3k2k1k2v40v40v40m4s9	SAT	0
Qq3k2k1k2v40v40v40m8s1	SAT	0
Qq3k2k1k2v40v40v40m8s2	SAT	0
Qq3k2k1k2v40v40v40m8s3	SAT	0
Qq3k2k1k2v40v40v40m8s5	SAT	0
Qq3k2k1k2v40v40v40m8s9	SAT	0
Qq3k2k1k2v40v40v40m16s2	SAT	0
Qq3k2k1k2v40v40v40m16s3	SAT	0
Qq3k2k1k2v40v40v40m16s5	SAT	0
Qq3k2k1k2v40v40v40m16s6	SAT	0
Qq3k2k1k2v40v40v40m16s7	SAT	0
Qq3k2k1k2v40v40v40m16s8	SAT	0
Qq3k2k1k2v40v40v40m16s9	SAT	0
Qq3k2k1k2v40v40v40m32s1	SAT	0
Qq3k2k1k2v40v40v40m32s3	SAT	0
Qq3k2k1k2v40v40v40m32s5	SAT	0
Qq3k2k1k2v40v40v40m32s6	SAT	0
Qq3k2k1k2v40v40v40m32s7	SAT	0
Qq3k2k1k2v80v80v80m2s1	SAT	0
Qq3k2k1k2v80v80v80m2s2	SAT	0
Qq3k2k1k2v80v80v80m2s3	SAT	0
Qq3k2k1k2v80v80v80m2s6	SAT	0
Qq3k2k1k2v80v80v80m2s9	SAT	0
Qq3k2k1k2v80v80v80m4s0	SAT	0
Qq3k2k1k2v80v80v80m4s1	SAT	0
Qq3k2k1k2v80v80v80m4s4	SAT	0
Qq3k2k1k2v80v80v80m4s7	SAT	0
Qq3k2k1k2v80v80v80m4s8	SAT	0
Qq3k2k1k2v80v80v80m4s9	SAT	0
Qq3k2k1k2v80v80v80m8s0	SAT	0
Qq3k2k1k2v80v80v80m8s1	SAT	0
Qq3k2k1k2v80v80v80m8s3	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
Qq3k2k1k2v80v80v80m32s5	SAT	0
Qq3k2k1k2v80v80v80m32s6	SAT	0
Qq3k2k1k2v80v80v80m32s7	SAT	0
Qq3k2k1k2v80v80v80m32s8	SAT	0
Qq3k2k2k1v40v40v40m2s0	SAT	0
Qq3k2k2k1v40v40v40m2s1	SAT	0
Qq3k2k2k1v40v40v40m2s2	SAT	0
Qq3k2k2k1v40v40v40m2s3	SAT	0
Qq3k2k2k1v40v40v40m2s4	SAT	0
Qq3k2k2k1v40v40v40m2s6	SAT	0
Qq3k2k2k1v40v40v40m2s8	SAT	0
Qq3k2k2k1v40v40v40m4s0	SAT	0
Qq3k2k2k1v40v40v40m4s1	SAT	0
Qq3k2k2k1v40v40v40m4s4	SAT	0
Qq3k2k2k1v40v40v40m4s5	SAT	0
Qq3k2k2k1v40v40v40m4s6	SAT	0
Qq3k2k2k1v40v40v40m4s7	SAT	0
Qq3k2k2k1v40v40v40m4s8	SAT	0
Qq3k2k2k1v40v40v40m4s9	SAT	0
Qq3k2k2k1v40v40v40m8s0	SAT	0
Qq3k2k2k1v40v40v40m8s3	SAT	0
Qq3k2k2k1v40v40v40m8s4	SAT	0
Qq3k2k2k1v40v40v40m8s5	SAT	0
Qq3k2k2k1v40v40v40m8s6	SAT	0
Qq3k2k2k1v40v40v40m8s7	SAT	0
Qq3k2k2k1v40v40v40m8s8	SAT	0
Qq3k2k2k1v40v40v40m8s9	SAT	0
Qq3k2k2k1v40v40v40m16s0	SAT	0
Qq3k2k2k1v40v40v40m16s5	SAT	0
Qq3k2k2k1v40v40v40m16s6	SAT	0
Qq3k2k2k1v40v40v40m16s9	SAT	0
Qq3k2k2k1v40v40v40m32s0	SAT	0
Qq3k2k2k1v40v40v40m32s1	SAT	0
Qq3k2k2k1v40v40v40m32s2	SAT	0
Qq3k2k2k1v40v40v40m32s3	SAT	0
Qq3k2k2k1v40v40v40m32s6	SAT	0
Qq3k2k2k1v40v40v40m32s8	SAT	0
Qq3k2k2k1v40v40v40m32s9	SAT	0
Qq3k2k2k1v80v80v80m2s0	SAT	0
Qq3k2k2k1v80v80v80m2s1	SAT	0
Qq3k2k2k1v80v80v80m2s4	SAT	0
Qq3k2k2k1v80v80v80m2s5	SAT	0
Qq3k2k2k1v80v80v80m2s8	SAT	0
Qq3k2k2k1v80v80v80m4s2	SAT	0
Qq3k2k2k1v80v80v80m4s3	SAT	0
Qq3k2k2k1v80v80v80m4s7	SAT	0
Qq3k2k2k1v80v80v80m8s3	SAT	0
Qq3k2k2k1v80v80v80m8s4	SAT	0
Qq3k2k2k1v80v80v80m8s5	SAT	0
Qq3k2k2k1v80v80v80m8s8	SAT	0
Qq3k2k2k1v80v80v80m16s1	SAT	0
Qq3k2k2k1v80v80v80m16s2	SAT	0
Qq3k2k2k1v80v80v80m16s3	SAT	0
Qq3k2k2k1v80v80v80m16s6	SAT	0
Qq3k2k2k1v80v80v80m32s2	SAT	0
Qq3k2k2k1v80v80v80m32s5	SAT	0
Qq3k2k2k1v80v80v80m32s6	SAT	0
Qq3k2k2k1v80v80v80m32s7	SAT	0
Qq3k2k2k1v80v80v80m32s8	SAT	0
Qq3k3k1k1v40v40v40m2s1	SAT	0
Qq3k3k1k1v40v40v40m2s2	SAT	0
Qq3k3k1k1v40v40v40m2s5	SAT	0
Qq3k3k1k1v40v40v40m2s6	SAT	0
Qq3k3k1k1v40v40v40m2s7	SAT	0
Qq3k3k1k1v40v40v40m2s9	SAT	0
Qq3k3k1k1v40v40v40m4s0	SAT	0
Qq3k3k1k1v40v40v40m4s2	SAT	0
Qq3k3k1k1v40v40v40m4s5	SAT	0
Qq3k3k1k1v40v40v40m4s6	SAT	0
Qq3k3k1k1v40v40v40m4s8	SAT	0
Qq3k3k1k1v40v40v40m4s9	SAT	0
Qq3k3k1k1v40v40v40m8s2	SAT	0
Qq3k3k1k1v40v40v40m8s3	SAT	0
Qq3k3k1k1v40v40v40m8s4	SAT	0
Qq3k3k1k1v40v40v40m8s5	SAT	0
Qq3k3k1k1v40v40v40m8s6	SAT	0
Qq3k3k1k1v40v40v40m8s8	SAT	0
Qq3k3k1k1v40v40v40m16s1	SAT	0
Qq3k3k1k1v40v40v40m16s4	SAT	0
Qq3k3k1k1v40v40v40m16s5	SAT	0
Qq3k3k1k1v40v40v40m16s6	SAT	0
Qq3k3k1k1v40v40v40m16s7	SAT	0
Qq3k3k1k1v40v40v40m16s8	SAT	0
Qq3k3k1k1v40v40v40m16s9	SAT	0
Qq3k3k1k1v40v40v40m32s0	SAT	0
Qq3k3k1k1v40v40v40m32s2	SAT	0
Qq3k3k1k1v40v40v40m32s3	SAT	0
Qq3k3k1k1v40v40v40m32s4	SAT	0
Qq3k3k1k1v40v40v40m32s5	SAT	0
Qq3k3k1k1v40v40v40m32s6	SAT	0
Qq3k3k1k1v40v40v40m32s7	SAT	0
Qq3k3k1k1v40v40v40m32s8	SAT	0
Qq3k3k1k1v40v40v40m32s9	SAT	0
Qq3k3k1k1v80v80v80m2s2	SAT	0
Qq3k3k1k1v80v80v80m2s3	SAT	0
Qq3k3k1k1v80v80v80m2s4	SAT	0
Qq3k3k1k1v80v80v80m2s5	SAT	0
Qq3k3k1k1v80v80v80m2s7	SAT	0
Qq3k3k1k1v80v80v80m2s8	SAT	0
Qq3k3k1k1v80v80v80m4s1	SAT	0
Qq3k3k1k1v80v80v80m4s2	SAT	0
Qq3k3k1k1v80v80v80m4s3	SAT	0
Qq3k3k1k1v80v80v80m4s4	SAT	0
Qq3k3k1k1v80v80v80m4s6	SAT	0
Qq3k3k1k1v80v80v80m4s7	SAT	0
Qq3k3k1k1v80v80v80m4s9	SAT	0
Qq3k3k1k1v80v80v80m8s0	SAT	0
Qq3k3k1k1v80v80v80m8s1	SAT	0
Qq3k3k1k1v80v80v80m8s2	SAT	0
Qq3k3k1k1v80v80v80m8s3	SAT	0
Qq3k3k1k1v80v80v80m8s5	SAT	0
Qq3k3k1k1v80v80v80m8s7	SAT	0
Qq3k3k1k1v80v80v80m8s9	SAT	0
Qq3k3k1k1v80v80v80m16s0	SAT	0
Qq3k3k1k1v80v80v80m16s1	SAT	0
Qq3k3k1k1v80v80v80m16s3	SAT	0
Qq3k3k1k1v80v80v80m16s4	SAT	0
Qq3k3k1k1v80v80v80m16s6	SAT	0
Qq3k3k1k1v80v80v80m32s0	SAT	0
Qq3k3k1k1v80v80v80m32s3	SAT	0
Qq3k3k1k1v80v80v80m32s5	SAT	0
Qq3k3k1k1v80v80v80m32s6	SAT	0
Qq3k3k1k1v80v80v80m32s7	SAT	0
Qq2k3k2v80v80m32s9	SAT	0
5qbf-5cnf-40var-1280cl.0	UNSAT	0.01
6qbf-5cnf-20var-640cl.3	UNSAT	0.01
ncf_4_8_2_u.7	UNSAT	0.01
ncf_4_16_2_d.6	SAT	0.01
6qbf-5cnf-20var-640cl.7	UNSAT	0.01
4qbf-5cnf-40var-1280cl.3	UNSAT	0.01
ncf_16_32_2_edau.5	UNSAT	0.01
5qbf-5cnf-20var-640cl.1	UNSAT	0.01
5qbf-5cnf-40var-1280cl.9	UNSAT	0.01
4qbf-5cnf-20var-640cl.4	UNSAT	0.01
4qbf-5cnf-40var-1280cl.9	UNSAT	0.01
6qbf-5cnf-40var-1280cl.6	UNSAT	0.01
5qbf-5cnf-40var-1280cl.6	UNSAT	0.01
4qbf-5cnf-20var-640cl.6	UNSAT	0.01
5qbf-5cnf-20var-640cl.7	UNSAT	0.01
5qbf-5cnf-20var-640cl.0	UNSAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
5qbf-5cnf-20var-640cl.3	UNSAT	0.01
3qbf-5cnf-40var-640cl.9	UNSAT	0.01
3qbf-5cnf-20var-320cl.1	UNSAT	0.01
3qbf-5cnf-40var-640cl.7	UNSAT	0.01
6qbf-5cnf-20var-640cl.9	UNSAT	0.01
4qbf-5cnf-40var-1280cl.0	UNSAT	0.01
4qbf-5cnf-40var-1280cl.2	UNSAT	0.01
4qbf-5cnf-20var-640cl.9	UNSAT	0.01
4qbf-5cnf-40var-1280cl.4	UNSAT	0.01
5qbf-5cnf-40var-1280cl.4	UNSAT	0.01
5qbf-5cnf-40var-1280cl.1	UNSAT	0.01
4qbf-5cnf-40var-1280cl.8	UNSAT	0.01
3qbf-5cnf-20var-160cl.1	SAT	0.01
6qbf-5cnf-40var-1280cl.9	UNSAT	0.01
5qbf-5cnf-20var-640cl.5	UNSAT	0.01
k_poly_p-12	UNSAT	0.01
3qbf-5cnf-20var-320cl.4	UNSAT	0.01
6qbf-5cnf-40var-1280cl.4	UNSAT	0.01
3qbf-5cnf-20var-320cl.7	UNSAT	0.01
ncf_4_8_2_euad.7	UNSAT	0.01
4qbf-5cnf-20var-640cl.2	UNSAT	0.01
ncf_4_8_4_u.3	UNSAT	0.01
4qbf-5cnf-20var-640cl.3	UNSAT	0.01
3qbf-5cnf-20var-160cl.2	SAT	0.01
5qbf-5cnf-40var-1280cl.5	UNSAT	0.01
ncf_4_8_2_euad.10	SAT	0.01
ncf_4_8_2_u.2	SAT	0.01
5qbf-5cnf-20var-640cl.4	UNSAT	0.01
6qbf-5cnf-40var-1280cl.7	UNSAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
4qbf-5cnf-40var-1280cl.1	UNSAT	0.01
x10.0	UNSAT	0.01
x10.2	UNSAT	0.01
x10.3	UNSAT	0.01
x10.4	SAT	0.01
x10.5	UNSAT	0.01
x10.6	UNSAT	0.01
x15.5	UNSAT	0.01
x20.3	UNSAT	0.01
x5.2	UNSAT	0.01
x5.3	UNSAT	0.01
x5.5	UNSAT	0.01
x5.6	UNSAT	0.01
x5.7	UNSAT	0.01
x5.9	UNSAT	0.01
eijk.S208.S-d2	SAT	0.01
eijk.S382.S-d2	SAT	0.01
eijk.S386.S-d2	SAT	0.01
vis.bakery.E-d2	SAT	0.01
Qq2k1k4v40v40m2s0	SAT	0.01
Qq2k1k4v40v40m2s6	SAT	0.01
Qq2k1k4v40v40m2s8	SAT	0.01
Qq2k1k4v40v40m4s4	SAT	0.01
Qq2k1k4v40v40m4s5	SAT	0.01
Qq2k1k4v40v40m4s8	SAT	0.01
Qq2k1k4v40v40m4s9	SAT	0.01
Qq2k1k4v40v40m8s0	SAT	0.01
Qq2k1k4v40v40m8s2	UNSAT	0.01
Qq2k1k4v40v40m16s0	UNSAT	0.01
Qq2k1k4v40v40m16s3	UNSAT	0.01
Qq2k1k4v40v40m16s4	SAT	0.01
Qq2k1k4v40v40m16s6	UNSAT	0.01
Qq2k1k4v40v40m16s8	SAT	0.01
Qq2k1k4v40v40m32s0	UNSAT	0.01
Qq2k1k4v40v40m32s1	UNSAT	0.01
Qq2k1k4v40v40m32s5	UNSAT	0.01
Qq2k1k4v40v40m32s6	UNSAT	0.01
Qq2k1k4v40v40m32s7	UNSAT	0.01
Qq2k1k4v80v80m2s0	SAT	0.01
Qq2k1k4v80v80m2s4	SAT	0.01
Qq2k1k4v80v80m2s7	SAT	0.01
Qq2k1k4v80v80m4s8	SAT	0.01
Qq2k1k4v80v80m8s1	SAT	0.01
Qq2k1k4v80v80m8s2	SAT	0.01
Qq2k1k4v80v80m8s4	SAT	0.01
Qq2k1k4v80v80m8s7	SAT	0.01
Qq2k1k4v80v80m16s0	UNSAT	0.01
Qq2k1k4v80v80m16s1	SAT	0.01
Qq2k1k4v80v80m16s3	UNSAT	0.01
Qq2k1k4v80v80m16s5	SAT	0.01
Qq2k1k4v80v80m16s6	SAT	0.01
Qq2k1k4v80v80m16s7	SAT	0.01
Qq2k1k4v80v80m16s8	UNSAT	0.01
Qq2k1k4v80v80m32s2	UNSAT	0.01
Qq2k1k4v80v80m32s4	UNSAT	0.01
Qq2k1k4v80v80m32s9	UNSAT	0.01
Qq2k2k3v40v40m2s1	SAT	0.01
Qq2k2k3v40v40m2s7	SAT	0.01
Qq2k2k3v40v40m2s8	SAT	0.01
Qq2k2k3v40v40m2s9	SAT	0.01
Qq2k2k3v40v40m4s0	SAT	0.01
Qq2k2k3v40v40m4s5	SAT	0.01
Qq2k2k3v40v40m4s6	SAT	0.01
Qq2k2k3v40v40m4s7	SAT	0.01
Qq2k2k3v40v40m4s8	SAT	0.01
Qq2k2k3v40v40m8s1	SAT	0.01
Qq2k2k3v40v40m8s8	SAT	0.01
Qq2k2k3v40v40m16s1	SAT	0.01
Qq2k2k3v40v40m16s4	SAT	0.01
Qq2k2k3v40v40m16s7	SAT	0.01
Qq2k2k3v40v40m32s1	SAT	0.01
Qq2k2k3v40v40m32s7	SAT	0.01
Qq2k2k3v40v40m32s8	SAT	0.01
Qq2k2k3v80v80m2s4	SAT	0.01
Qq2k2k3v80v80m2s6	SAT	0.01
Qq2k2k3v80v80m4s0	SAT	0.01
Qq2k2k3v80v80m4s1	SAT	0.01
Qq2k2k3v80v80m4s2	SAT	0.01
Qq2k2k3v80v80m4s5	SAT	0.01
Qq2k2k3v80v80m4s7	SAT	0.01
Qq2k2k3v80v80m8s2	SAT	0.01
Qq2k2k3v80v80m8s3	SAT	0.01
Qq2k2k3v80v80m8s5	SAT	0.01
Qq2k2k3v80v80m8s6	SAT	0.01
Qq2k2k3v80v80m16s3	SAT	0.01
Qq2k2k3v80v80m16s7	SAT	0.01
Qq2k2k3v80v80m32s2	SAT	0.01
Qq2k2k3v80v80m32s5	SAT	0.01
Qq2k2k3v80v80m32s6	SAT	0.01
Qq2k2k3v80v80m32s8	SAT	0.01
Qq2k2k3v80v80m32s9	SAT	0.01
Qq2k3k2v40v40m2s1	SAT	0.01
Qq2k3k2v40v40m2s8	SAT	0.01
Qq2k3k2v40v40m4s0	SAT	0.01
Qq2k3k2v40v40m4s1	SAT	0.01
Qq2k3k2v40v40m4s4	SAT	0.01
Qq2k3k2v40v40m4s5	SAT	0.01
Qq2k3k2v40v40m4s7	SAT	0.01
Qq2k3k2v40v40m4s9	SAT	0.01
Qq2k3k2v40v40m8s2	SAT	0.01
Qq2k3k2v40v40m8s4	SAT	0.01
Qq2k3k2v40v40m8s6	SAT	0.01
Qq2k3k2v40v40m16s0	SAT	0.01
Qq2k3k2v40v40m16s1	SAT	0.01
Qq2k3k2v40v40m16s4	SAT	0.01
Qq2k3k2v40v40m16s5	SAT	0.01
Qq2k3k2v40v40m16s7	SAT	0.01
Qq2k3k2v40v40m32s5	SAT	0.01
Qq2k3k2v40v40m32s6	SAT	0.01
Qq2k3k2v80v80m2s2	SAT	0.01
Qq2k3k2v80v80m2s5	SAT	0.01
Qq2k3k2v80v80m2s6	SAT	0.01
Qq2k3k2v80v80m2s7	SAT	0.01
Qq2k3k2v80v80m4s0	SAT	0.01
Qq2k3k2v80v80m4s1	SAT	0.01
Qq2k3k2v80v80m4s5	SAT	0.01
Qq2k3k2v80v80m8s0	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
Qq2k3k2v80v80m16s2	SAT	0.01
Qq2k3k2v80v80m16s5	SAT	0.01
Qq2k3k2v80v80m16s6	SAT	0.01
Qq2k3k2v80v80m16s8	SAT	0.01
Qq2k3k2v80v80m32s2	SAT	0.01
Qq2k3k2v80v80m32s3	SAT	0.01
Qq2k3k2v80v80m32s5	SAT	0.01
Qq2k3k2v80v80m32s6	SAT	0.01
Qq3k1k1k3v40v40v40m2s4	SAT	0.01
Qq3k1k1k3v40v40v40m2s5	SAT	0.01
Qq3k1k1k3v40v40v40m2s6	SAT	0.01
Qq3k1k1k3v40v40v40m2s7	SAT	0.01
Qq3k1k1k3v40v40v40m4s0	SAT	0.01
Qq3k1k1k3v40v40v40m4s1	SAT	0.01
Qq3k1k1k3v40v40v40m4s2	SAT	0.01
Qq3k1k1k3v40v40v40m4s3	SAT	0.01
Qq3k1k1k3v40v40v40m4s6	SAT	0.01
Qq3k1k1k3v40v40v40m8s1	SAT	0.01
Qq3k1k1k3v40v40v40m8s2	SAT	0.01
Qq3k1k1k3v40v40v40m8s8	SAT	0.01
Qq3k1k1k3v40v40v40m16s0	SAT	0.01
Qq3k1k1k3v40v40v40m16s2	SAT	0.01
Qq3k1k1k3v40v40v40m16s4	SAT	0.01
Qq3k1k1k3v40v40v40m16s5	SAT	0.01
Qq3k1k1k3v40v40v40m16s9	SAT	0.01
Qq3k1k1k3v40v40v40m32s2	SAT	0.01
Qq3k1k1k3v40v40v40m32s6	SAT	0.01
Qq3k1k1k3v40v40v40m32s7	SAT	0.01
Qq3k1k1k3v80v80v80m2s2	SAT	0.01
Qq3k1k1k3v80v80v80m2s3	SAT	0.01
Qq3k1k1k3v80v80v80m2s6	SAT	0.01
Qq3k1k1k3v80v80v80m2s7	SAT	0.01
Qq3k1k1k3v80v80v80m4s1	SAT	0.01
Qq3k1k1k3v80v80v80m4s9	SAT	0.01
Qq3k1k1k3v80v80v80m8s1	SAT	0.01
Qq3k1k1k3v80v80v80m8s7	SAT	0.01
Qq3k1k1k3v80v80v80m8s9	SAT	0.01
Qq3k1k1k3v80v80v80m16s0	SAT	0.01
Qq3k1k1k3v80v80v80m16s1	SAT	0.01
Qq3k1k1k3v80v80v80m16s3	SAT	0.01
Qq3k1k1k3v80v80v80m16s5	SAT	0.01
Qq3k1k1k3v80v80v80m16s7	SAT	0.01
Qq3k1k1k3v80v80v80m16s8	SAT	0.01
Qq3k1k1k3v80v80v80m32s4	SAT	0.01
Qq3k1k1k3v80v80v80m32s8	SAT	0.01
Qq3k1k2k2v40v40v40m2s2	SAT	0.01
Qq3k1k2k2v40v40v40m2s3	SAT	0.01
Qq3k1k2k2v40v40v40m2s4	SAT	0.01
Qq3k1k2k2v40v40v40m2s6	SAT	0.01
Qq3k1k2k2v40v40v40m2s7	SAT	0.01
Qq3k1k2k2v40v40v40m2s8	SAT	0.01
Qq3k1k2k2v40v40v40m2s9	SAT	0.01
Qq3k1k2k2v40v40v40m4s1	SAT	0.01
Qq3k1k2k2v40v40v40m4s2	SAT	0.01
Qq3k1k2k2v40v40v40m4s4	SAT	0.01
Qq3k1k2k2v40v40v40m4s5	SAT	0.01
Qq3k1k2k2v40v40v40m4s6	SAT	0.01
Qq3k1k2k2v40v40v40m4s8	SAT	0.01
Qq3k1k2k2v40v40v40m8s3	SAT	0.01
Qq3k1k2k2v40v40v40m8s6	SAT	0.01
Qq3k1k2k2v40v40v40m8s8	SAT	0.01
Qq3k1k2k2v40v40v40m16s0	SAT	0.01
Qq3k1k2k2v40v40v40m16s2	SAT	0.01
Qq3k1k2k2v40v40v40m16s4	SAT	0.01
Qq3k1k2k2v40v40v40m16s5	SAT	0.01
Qq3k1k2k2v40v40v40m16s6	SAT	0.01
Qq3k1k2k2v40v40v40m32s0	SAT	0.01
Qq3k1k2k2v40v40v40m32s2	SAT	0.01
Qq3k1k2k2v40v40v40m32s5	SAT	0.01
Qq3k1k2k2v40v40v40m32s8	SAT	0.01
Qq3k1k2k2v80v80v80m2s0	SAT	0.01
Qq3k1k2k2v80v80v80m2s1	SAT	0.01
Qq3k1k2k2v80v80v80m2s7	SAT	0.01
Qq3k1k2k2v80v80v80m4s1	SAT	0.01
Qq3k1k2k2v80v80v80m4s5	SAT	0.01
Qq3k1k2k2v80v80v80m4s9	SAT	0.01
Qq3k1k2k2v80v80v80m8s0	SAT	0.01
Qq3k1k2k2v80v80v80m8s1	SAT	0.01
Qq3k1k2k2v80v80v80m8s2	SAT	0.01
Qq3k1k2k2v80v80v80m8s4	SAT	0.01
Qq3k1k2k2v80v80v80m8s5	SAT	0.01
Qq3k1k2k2v80v80v80m8s6	SAT	0.01
Qq3k1k2k2v80v80v80m8s8	SAT	0.01
Qq3k1k2k2v80v80v80m16s1	SAT	0.01
Qq3k1k2k2v80v80v80m16s4	SAT	0.01
Qq3k1k2k2v80v80v80m16s7	SAT	0.01
Qq3k1k2k2v80v80v80m16s8	SAT	0.01
Qq3k1k2k2v80v80v80m32s0	SAT	0.01
Qq3k1k2k2v80v80v80m32s2	SAT	0.01
Qq3k1k2k2v80v80v80m32s6	SAT	0.01
Qq3k1k2k2v80v80v80m32s7	SAT	0.01
Qq3k1k3k1v40v40v40m2s5	SAT	0.01
Qq3k1k3k1v40v40v40m2s6	SAT	0.01
Qq3k1k3k1v40v40v40m2s7	SAT	0.01
Qq3k1k3k1v40v40v40m2s9	SAT	0.01
Qq3k1k3k1v40v40v40m4s1	SAT	0.01
Qq3k1k3k1v40v40v40m4s2	SAT	0.01
Qq3k1k3k1v40v40v40m4s3	SAT	0.01
Qq3k1k3k1v40v40v40m4s4	SAT	0.01
Qq3k1k3k1v40v40v40m4s5	SAT	0.01
Qq3k1k3k1v40v40v40m4s7	SAT	0.01
Qq3k1k3k1v40v40v40m4s8	SAT	0.01
Qq3k1k3k1v40v40v40m4s9	SAT	0.01
Qq3k1k3k1v40v40v40m8s1	SAT	0.01
Qq3k1k3k1v40v40v40m8s4	SAT	0.01
Qq3k1k3k1v40v40v40m8s5	SAT	0.01
Qq3k1k3k1v40v40v40m8s6	SAT	0.01
Qq3k1k3k1v40v40v40m8s7	SAT	0.01
Qq3k1k3k1v40v40v40m8s9	SAT	0.01
Qq3k1k3k1v40v40v40m16s4	SAT	0.01
Qq3k1k3k1v40v40v40m16s7	SAT	0.01
Qq3k1k3k1v40v40v40m16s8	SAT	0.01
Qq3k1k3k1v40v40v40m32s0	SAT	0.01
Qq3k1k3k1v40v40v40m32s1	SAT	0.01
Qq3k1k3k1v40v40v40m32s2	SAT	0.01
Qq3k1k3k1v40v40v40m32s6	SAT	0.01
Qq3k1k3k1v80v80v80m2s1	SAT	0.01
Qq3k1k3k1v80v80v80m2s2	SAT	0.01
Qq3k1k3k1v80v80v80m2s3	SAT	0.01
Qq3k1k3k1v80v80v80m2s4	SAT	0.01
Qq3k1k3k1v80v80v80m2s5	SAT	0.01
Qq3k1k3k1v80v80v80m2s6	SAT	0.01
Qq3k1k3k1v80v80v80m2s9	SAT	0.01
Qq3k1k3k1v80v80v80m4s0	SAT	0.01
Qq3k1k3k1v80v80v80m4s2	SAT	0.01
Qq3k1k3k1v80v80v80m4s3	SAT	0.01
Qq3k1k3k1v80v80v80m4s5	SAT	0.01
Qq3k1k3k1v80v80v80m4s7	SAT	0.01
Qq3k1k3k1v80v80v80m4s8	SAT	0.01
Qq3k1k3k1v80v80v80m8s0	SAT	0.01
Qq3k1k3k1v80v80v80m8s1	SAT	0.01
Qq3k1k3k1v80v80v80m8s3	SAT	0.01
Qq3k1k3k1v80v80v80m8s5	SAT	0.01
Qq3k1k3k1v80v80v80m8s7	SAT	0.01
Qq3k1k3k1v80v80v80m8s8	SAT	0.01
Qq3k1k3k1v80v80v80m8s9	SAT	0.01
Qq3k1k3k1v80v80v80m16s1	SAT	0.01
Qq3k1k3k1v80v80v80m16s5	SAT	0.01
Qq3k1k3k1v80v80v80m16s6	SAT	0.01
Qq3k1k3k1v80v80v80m32s1	SAT	0.01
Qq3k1k3k1v80v80v80m32s3	SAT	0.01
Qq3k2k1k2v40v40v40m2s0	SAT	0.01
Qq3k2k1k2v40v40v40m2s2	SAT	0.01
Qq3k2k1k2v40v40v40m4s0	SAT	0.01
Qq3k2k1k2v40v40v40m4s3	SAT	0.01
Qq3k2k1k2v40v40v40m4s5	SAT	0.01
Qq3k2k1k2v40v40v40m4s6	SAT	0.01
Qq3k2k1k2v40v40v40m4s7	SAT	0.01
Qq3k2k1k2v40v40v40m8s0	SAT	0.01
Qq3k2k1k2v40v40v40m8s4	SAT	0.01
Qq3k2k1k2v40v40v40m8s6	SAT	0.01
Qq3k2k1k2v40v40v40m8s7	SAT	0.01
Qq3k2k1k2v40v40v40m8s8	SAT	0.01
Qq3k2k1k2v40v40v40m16s0	SAT	0.01
Qq3k2k1k2v40v40v40m16s1	SAT	0.01
Qq3k2k1k2v40v40v40m16s4	SAT	0.01
Qq3k2k1k2v40v40v40m32s0	SAT	0.01
Qq3k2k1k2v40v40v40m32s2	SAT	0.01
Qq3k2k1k2v40v40v40m32s4	SAT	0.01
Qq3k2k1k2v40v40v40m32s8	SAT	0.01
Qq3k2k1k2v40v40v40m32s9	SAT	0.01
Qq3k2k1k2v80v80v80m2s4	SAT	0.01
Qq3k2k1k2v80v80v80m2s7	SAT	0.01
Qq3k2k1k2v80v80v80m2s8	SAT	0.01
Qq3k2k1k2v80v80v80m4s3	SAT	0.01
Qq3k2k1k2v80v80v80m4s5	SAT	0.01
Qq3k2k1k2v80v80v80m8s4	SAT	0.01
Qq3k2k1k2v80v80v80m8s5	SAT	0.01
Qq3k2k1k2v80v80v80m16s5	SAT	0.01
Qq3k2k1k2v80v80v80m16s6	SAT	0.01
Qq3k2k1k2v80v80v80m16s7	SAT	0.01
Qq3k2k1k2v80v80v80m32s0	SAT	0.01
Qq3k2k1k2v80v80v80m32s1	SAT	0.01
Qq3k2k1k2v80v80v80m32s3	SAT	0.01
Qq3k2k1k2v80v80v80m32s4	SAT	0.01
Qq3k2k2k1v40v40v40m2s5	SAT	0.01
Qq3k2k2k1v40v40v40m2s7	SAT	0.01
Qq3k2k2k1v40v40v40m2s9	SAT	0.01
Qq3k2k2k1v40v40v40m4s2	SAT	0.01
Qq3k2k2k1v40v40v40m8s1	SAT	0.01
Qq3k2k2k1v40v40v40m8s2	SAT	0.01
Qq3k2k2k1v40v40v40m16s2	SAT	0.01
Qq3k2k2k1v40v40v40m16s3	SAT	0.01
Qq3k2k2k1v40v40v40m16s4	SAT	0.01
Qq3k2k2k1v40v40v40m16s7	SAT	0.01
Qq3k2k2k1v40v40v40m16s8	SAT	0.01
Qq3k2k2k1v40v40v40m32s4	SAT	0.01
Qq3k2k2k1v40v40v40m32s5	SAT	0.01
Qq3k2k2k1v40v40v40m32s7	SAT	0.01
Qq3k2k2k1v80v80v80m2s2	SAT	0.01
Qq3k2k2k1v80v80v80m2s6	SAT	0.01
Qq3k2k2k1v80v80v80m2s9	SAT	0.01
Qq3k2k2k1v80v80v80m4s1	SAT	0.01
Qq3k2k2k1v80v80v80m4s4	SAT	0.01
Qq3k2k2k1v80v80v80m4s5	SAT	0.01
Qq3k2k2k1v80v80v80m4s6	SAT	0.01
Qq3k2k2k1v80v80v80m4s8	SAT	0.01
Qq3k2k2k1v80v80v80m4s9	SAT	0.01
Qq3k2k2k1v80v80v80m8s0	SAT	0.01
Qq3k2k2k1v80v80v80m8s1	SAT	0.01
Qq3k2k2k1v80v80v80m8s6	SAT	0.01
Qq3k2k2k1v80v80v80m8s7	SAT	0.01
Qq3k2k2k1v80v80v80m8s9	SAT	0.01
Qq3k2k2k1v80v80v80m16s0	SAT	0.01
Qq3k2k2k1v80v80v80m16s5	SAT	0.01
Qq3k2k2k1v80v80v80m16s7	SAT	0.01
Qq3k2k2k1v80v80v80m16s9	SAT	0.01
Qq3k2k2k1v80v80v80m32s0	SAT	0.01
Qq3k2k2k1v80v80v80m32s3	SAT	0.01
Qq3k2k2k1v80v80v80m32s4	SAT	0.01
Qq3k2k2k1v80v80v80m32s9	SAT	0.01
Qq3k3k1k1v40v40v40m2s3	SAT	0.01
Qq3k3k1k1v40v40v40m2s4	SAT	0.01
Qq3k3k1k1v40v40v40m4s3	SAT	0.01
Qq3k3k1k1v40v40v40m4s4	SAT	0.01
Qq3k3k1k1v40v40v40m4s7	SAT	0.01
Qq3k3k1k1v40v40v40m8s0	SAT	0.01
Qq3k3k1k1v40v40v40m8s1	SAT	0.01
Qq3k3k1k1v40v40v40m8s7	SAT	0.01
Qq3k3k1k1v40v40v40m8s9	SAT	0.01
Qq3k3k1k1v40v40v40m16s0	SAT	0.01
Qq3k3k1k1v40v40v40m16s2	SAT	0.01
Qq3k3k1k1v40v40v40m16s3	SAT	0.01
Qq3k3k1k1v40v40v40m32s1	SAT	0.01
Qq3k3k1k1v80v80v80m2s6	SAT	0.01
Qq3k3k1k1v80v80v80m2s9	SAT	0.01
Qq3k3k1k1v80v80v80m4s0	SAT	0.01
Qq3k3k1k1v80v80v80m4s5	SAT	0.01
Qq3k3k1k1v80v80v80m4s8	SAT	0.01
Qq3k3k1k1v80v80v80m8s4	SAT	0.01
Qq3k3k1k1v80v80v80m8s6	SAT	0.01
Qq3k3k1k1v80v80v80m8s8	SAT	0.01
Qq3k3k1k1v80v80v80m16s2	SAT	0.01
Qq3k3k1k1v80v80v80m16s5	SAT	0.01
Qq3k3k1k1v80v80v80m16s7	SAT	0.01
Qq3k3k1k1v80v80v80m16s8	SAT	0.01
Qq3k3k1k1v80v80v80m16s9	SAT	0.01
Qq3k3k1k1v80v80v80m32s1	SAT	0.01
Qq3k3k1k1v80v80v80m32s2	SAT	0.01
Qq3k3k1k1v80v80v80m32s4	SAT	0.01
Qq3k3k1k1v80v80v80m32s8	SAT	0.01
Qq3k3k1k1v80v80v80m32s9	SAT	0.01
6qbf-5cnf-80var-2560cl.9	UNSAT	0.02
3qbf-5cnf-20var-160cl.9	SAT	0.02
3qbf-5cnf-80var-2560cl.9	UNSAT	0.02
2qbf-5cnf-40var-640cl.1	UNSAT	0.02
ncf_4_32_2_edau.1	UNSAT	0.02
3qbf-5cnf-20var-320cl.9	UNSAT	0.02
3qbf-5cnf-80var-2560cl.0	UNSAT	0.02
5qbf-5cnf-80var-2560cl.3	UNSAT	0.02
4qbf-5cnf-80var-2560cl.5	UNSAT	0.02
4qbf-5cnf-40var-1280cl.7	UNSAT	0.02
6qbf-5cnf-80var-2560cl.1	UNSAT	0.02
3qbf-5cnf-20var-160cl.0	SAT	0.02
ncf_4_8_2_euad.1	UNSAT	0.02
ncf_4_16_2_edau.6	SAT	0.02
4qbf-5cnf-20var-640cl.1	UNSAT	0.02
4qbf-5cnf-40var-1280cl.6	UNSAT	0.02
5qbf-5cnf-80var-2560cl.6	UNSAT	0.02
4qbf-5cnf-20var-640cl.7	UNSAT	0.02
3qbf-5cnf-80var-2560cl.5	UNSAT	0.02
5qbf-5cnf-80var-2560cl.1	UNSAT	0.02
4qbf-5cnf-80var-2560cl.1	UNSAT	0.02
4qbf-5cnf-80var-2560cl.6	UNSAT	0.02
ncf_16_32_2_edau.2	UNSAT	0.02
5qbf-5cnf-40var-1280cl.3	UNSAT	0.02
5qbf-5cnf-80var-2560cl.7	UNSAT	0.02
5qbf-5cnf-80var-2560cl.2	UNSAT	0.02
ncf_4_8_2_euad.3	UNSAT	0.02
3qbf-5cnf-20var-320cl.6	UNSAT	0.02
ncf_4_16_2_euad.6	SAT	0.02
6qbf-5cnf-20var-640cl.2	UNSAT	0.02
4qbf-5cnf-80var-2560cl.7	UNSAT	0.02
ncf_16_32_2_d.5	UNSAT	0.02
5qbf-5cnf-40var-1280cl.8	UNSAT	0.02
6qbf-5cnf-80var-2560cl.4	UNSAT	0.02
6qbf-5cnf-80var-2560cl.7	UNSAT	0.02
k_poly_p-21	UNSAT	0.02
5qbf-5cnf-80var-2560cl.4	UNSAT	0.02
5qbf-5cnf-40var-1280cl.2	UNSAT	0.02
2qbf-5cnf-40var-640cl.0	UNSAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
6qbf-5cnf-80var-2560cl.2	UNSAT	0.02
4qbf-5cnf-80var-2560cl.9	UNSAT	0.02
5qbf-5cnf-40var-640cl.8	UNSAT	0.02
5qbf-5cnf-80var-2560cl.0	UNSAT	0.02
k_poly_p-20	UNSAT	0.02
3qbf-5cnf-80var-2560cl.3	UNSAT	0.02
ncf_16_32_2_d.2	UNSAT	0.02
6qbf-5cnf-40var-1280cl.8	UNSAT	0.02
x10.7	SAT	0.02
x10.9	UNSAT	0.02
x15.0	UNSAT	0.02
x15.4	UNSAT	0.02
x25.8	UNSAT	0.02
x5.8	UNSAT	0.02
eijk.S832.S-d2	SAT	0.02
eijk.S953.S-d2	SAT	0.02
vis.4-arbit^1.E-d2	SAT	0.02
vis.coherence^1.E-d2	SAT	0.02
texas.ifetch1^1.E-f2	UNSAT	0.02
texas.ifetch1^2.E-f2	UNSAT	0.02
texas.ifetch1^3.E-f2	UNSAT	0.02
texas.ifetch1^4.E-f2	UNSAT	0.02
vis.emodel.E-f2	UNSAT	0.02
Qq2k1k4v40v40m4s2	UNSAT	0.02
Qq2k1k4v40v40m8s4	SAT	0.02
Qq2k1k4v40v40m8s5	SAT	0.02
Qq2k1k4v40v40m16s1	SAT	0.02
Qq2k1k4v40v40m32s2	UNSAT	0.02
Qq2k1k4v80v80m2s2	SAT	0.02
Qq2k1k4v80v80m4s2	SAT	0.02
Qq2k1k4v80v80m8s6	SAT	0.02
Qq2k1k4v80v80m32s1	SAT	0.02
Qq2k1k4v80v80m32s3	UNSAT	0.02
Qq2k2k3v40v40m8s0	SAT	0.02
Qq2k2k3v80v80m8s0	SAT	0.02
Qq2k2k3v80v80m16s4	SAT	0.02
Qq2k2k3v80v80m16s9	SAT	0.02
Qq2k2k3v80v80m32s7	SAT	0.02
Qq2k3k2v40v40m2s3	SAT	0.02
Qq2k3k2v40v40m8s7	SAT	0.02
Qq2k3k2v40v40m16s2	SAT	0.02
Qq2k3k2v40v40m16s9	SAT	0.02
Qq2k3k2v80v80m2s3	SAT	0.02
Qq2k3k2v80v80m4s8	SAT	0.02
Qq3k1k1k3v40v40v40m4s5	SAT	0.02
Qq3k1k1k3v40v40v40m16s6	SAT	0.02
Qq3k1k1k3v40v40v40m32s9	SAT	0.02
Qq3k1k1k3v80v80v80m4s5	SAT	0.02
Qq3k1k1k3v80v80v80m32s1	SAT	0.02
Qq3k1k1k3v80v80v80m32s7	SAT	0.02
Qq3k1k2k2v40v40v40m4s0	SAT	0.02
Qq3k1k2k2v40v40v40m4s3	SAT	0.02
Qq3k1k2k2v40v40v40m4s9	SAT	0.02
Qq3k1k2k2v40v40v40m8s7	SAT	0.02
Qq3k1k2k2v40v40v40m16s8	SAT	0.02
Qq3k1k3k1v40v40v40m2s3	SAT	0.02
Qq3k1k3k1v40v40v40m8s8	SAT	0.02
Qq3k1k3k1v40v40v40m16s0	SAT	0.02
Qq3k1k3k1v40v40v40m16s9	SAT	0.02
Qq3k1k3k1v40v40v40m32s3	SAT	0.02
Qq3k1k3k1v40v40v40m32s5	SAT	0.02
Qq3k1k3k1v40v40v40m32s7	SAT	0.02
Qq3k1k3k1v80v80v80m16s0	SAT	0.02
Qq3k1k3k1v80v80v80m32s9	SAT	0.02
Qq3k2k1k2v40v40v40m2s3	SAT	0.02
Qq3k2k1k2v80v80v80m2s0	SAT	0.02
Qq3k2k1k2v80v80v80m2s5	SAT	0.02
Qq3k2k1k2v80v80v80m4s2	SAT	0.02
Qq3k2k1k2v80v80v80m4s6	SAT	0.02
Qq3k2k1k2v80v80v80m8s2	SAT	0.02
Qq3k2k1k2v80v80v80m16s8	SAT	0.02
Qq3k2k1k2v80v80v80m16s9	SAT	0.02
Qq3k2k1k2v80v80v80m32s2	SAT	0.02
Qq3k2k1k2v80v80v80m32s9	SAT	0.02
Qq3k2k2k1v40v40v40m4s3	SAT	0.02
Qq3k2k2k1v80v80v80m2s7	SAT	0.02
Qq3k2k2k1v80v80v80m4s0	SAT	0.02
Qq3k2k2k1v80v80v80m8s2	SAT	0.02
Qq3k2k2k1v80v80v80m16s4	SAT	0.02
Qq3k2k2k1v80v80v80m16s8	SAT	0.02
Qq3k3k1k1v40v40v40m2s0	SAT	0.02
Qq3k3k1k1v40v40v40m2s8	SAT	0.02
Qq3k3k1k1v40v40v40m4s1	SAT	0.02
Qq3k3k1k1v80v80v80m2s0	SAT	0.02
Qq3k3k1k1v80v80v80m2s1	SAT	0.02
6qbf-5cnf-80var-2560cl.8	UNSAT	0.03
ncf_4_8_2_euad.8	SAT	0.03
5qbf-5cnf-40var-1280cl.7	UNSAT	0.03
6qbf-5cnf-40var-1280cl.5	UNSAT	0.03
6qbf-5cnf-20var-640cl.5	UNSAT	0.03
lut4_2_fXOR	SAT	0.03
3qbf-5cnf-80var-2560cl.6	UNSAT	0.03
ncf_4_8_2_euad.9	SAT	0.03
5qbf-5cnf-80var-2560cl.9	UNSAT	0.03
4qbf-5cnf-80var-2560cl.4	UNSAT	0.03
ncf_4_8_2_euad.6	SAT	0.03
4qbf-5cnf-80var-2560cl.0	UNSAT	0.03
ncf_8_16_4_euad.5	UNSAT	0.03
ncf_16_32_2_u.2	UNSAT	0.03
5qbf-5cnf-20var-640cl.8	UNSAT	0.03
6qbf-5cnf-80var-2560cl.6	UNSAT	0.03
3qbf-5cnf-80var-2560cl.7	UNSAT	0.03
4qbf-5cnf-80var-2560cl.8	UNSAT	0.03
ncf_4_16_2_u.6	SAT	0.03
3qbf-5cnf-80var-2560cl.1	UNSAT	0.03
3qbf-5cnf-20var-320cl.5	UNSAT	0.03
2qbf-5cnf-80var-1280cl.2	UNSAT	0.03
5qbf-5cnf-80var-2560cl.5	UNSAT	0.03
ncf_16_32_2_d.6	SAT	0.03
4qbf-5cnf-40var-1280cl.5	UNSAT	0.03
ncf_4_8_4_euad.3	UNSAT	0.03
ncf_8_16_4_d.5	UNSAT	0.03
ncf_4_8_2_u.8	SAT	0.03
3qbf-5cnf-80var-2560cl.2	UNSAT	0.03
4qbf-5cnf-80var-2560cl.3	UNSAT	0.03
6qbf-5cnf-40var-1280cl.2	UNSAT	0.03
2qbf-5cnf-40var-640cl.7	UNSAT	0.03
2qbf-5cnf-40var-640cl.3	UNSAT	0.03
3qbf-5cnf-80var-2560cl.4	UNSAT	0.03
3qbf-5cnf-80var-2560cl.8	UNSAT	0.03
4qbf-5cnf-80var-2560cl.2	UNSAT	0.03
5qbf-5cnf-80var-2560cl.8	UNSAT	0.03
ncf_8_16_4_edau.8	UNSAT	0.03
2qbf-5cnf-40var-640cl.8	UNSAT	0.03
ncf_4_8_2_u.10	SAT	0.03
x15.1	SAT	0.03
x15.7	UNSAT	0.03
x15.8	SAT	0.03
eijk.S526.S-d2	SAT	0.03
irst.dme4.B-d2	SAT	0.03
Qq2k1k4v40v40m32s9	UNSAT	0.03
Qq2k1k4v80v80m8s0	SAT	0.03
Qq3k1k1k3v40v40v40m8s4	SAT	0.03
Qq3k1k1k3v80v80v80m16s2	SAT	0.03
Qq3k2k2k1v40v40v40m16s1	SAT	0.03
Qq3k2k2k1v80v80v80m2s3	SAT	0.03
Qq3k2k2k1v80v80v80m32s1	SAT	0.03
ncf_4_16_2_euad.2	SAT	0.04
ncf_16_32_2_edau.6	SAT	0.04
ncf_16_32_2_u.5	UNSAT	0.04
6qbf-5cnf-80var-2560cl.5	UNSAT	0.04
ncf_4_16_2_d.2	SAT	0.04
5qbf-5cnf-160var-5120cl.8	UNSAT	0.04
ncf_8_16_4_euad.6	UNSAT	0.04
2qbf-5cnf-160var-5120cl.2	UNSAT	0.04
5qbf-5cnf-160var-5120cl.1	UNSAT	0.04
4qbf-5cnf-160var-5120cl.0	UNSAT	0.04
5qbf-5cnf-160var-5120cl.5	UNSAT	0.04
4qbf-5cnf-160var-5120cl.3	UNSAT	0.04
3qbf-5cnf-80var-320cl.0	SAT	0.04
3qbf-5cnf-20var-320cl.8	UNSAT	0.04
3qbf-5cnf-20var-320cl.0	UNSAT	0.04
5qbf-5cnf-160var-5120cl.3	UNSAT	0.04
6qbf-5cnf-80var-2560cl.0	UNSAT	0.04
3qbf-5cnf-20var-320cl.2	UNSAT	0.04
6qbf-5cnf-160var-5120cl.6	UNSAT	0.04
4qbf-5cnf-160var-5120cl.2	UNSAT	0.04
2qbf-5cnf-160var-5120cl.9	UNSAT	0.04
6qbf-5cnf-20var-640cl.6	UNSAT	0.04
4qbf-5cnf-160var-5120cl.5	UNSAT	0.04
6qbf-5cnf-80var-2560cl.3	UNSAT	0.04
ncf_16_32_2_euad.8	UNSAT	0.04
6qbf-5cnf-160var-5120cl.1	UNSAT	0.04
2qbf-5cnf-160var-5120cl.1	UNSAT	0.04
6qbf-5cnf-160var-5120cl.4	UNSAT	0.04
ncf_8_16_4_d.6	UNSAT	0.04
4qbf-5cnf-160var-5120cl.1	UNSAT	0.04
2qbf-5cnf-160var-5120cl.4	UNSAT	0.04
ncf_16_32_2_d.8	UNSAT	0.04
ncf_4_32_2_edau.4	UNSAT	0.04
6qbf-5cnf-160var-5120cl.3	UNSAT	0.04
5qbf-5cnf-160var-5120cl.9	UNSAT	0.04
2qbf-5cnf-160var-5120cl.5	UNSAT	0.04
2qbf-5cnf-160var-5120cl.8	UNSAT	0.04
4qbf-5cnf-160var-5120cl.6	UNSAT	0.04
x15.3	SAT	0.04
x15.6	UNSAT	0.04
x30.1	UNSAT	0.04
eijk.S820.S-d2	SAT	0.04
vis.emodel.E-d2	SAT	0.04
texas.parsesys^4.E-f2	UNSAT	0.04
6qbf-5cnf-160var-5120cl.8	UNSAT	0.05
ncf_4_8_2_u.1	UNSAT	0.05
2qbf-5cnf-160var-5120cl.3	UNSAT	0.05
ncf_16_32_2_d.7	UNSAT	0.05
6qbf-5cnf-160var-5120cl.9	UNSAT	0.05
5qbf-5cnf-160var-5120cl.7	UNSAT	0.05
6qbf-5cnf-160var-5120cl.7	UNSAT	0.05
ncf_4_8_2_u.9	SAT	0.05
5qbf-5cnf-160var-5120cl.6	UNSAT	0.05
2qbf-5cnf-160var-5120cl.7	UNSAT	0.05
4qbf-5cnf-160var-5120cl.4	UNSAT	0.05
4qbf-5cnf-160var-5120cl.7	UNSAT	0.05
5qbf-5cnf-160var-5120cl.0	UNSAT	0.05
ncf_8_16_4_euad.8	UNSAT	0.05
ncf_16_32_2_euad.5	UNSAT	0.05
3qbf-5cnf-20var-160cl.5	SAT	0.05
5qbf-5cnf-160var-5120cl.4	UNSAT	0.05
5qbf-5cnf-160var-5120cl.2	UNSAT	0.05
4qbf-5cnf-160var-5120cl.9	UNSAT	0.05
4qbf-5cnf-160var-5120cl.8	UNSAT	0.05
6qbf-5cnf-160var-5120cl.5	UNSAT	0.05
ncf_4_8_2_u.6	SAT	0.05
2qbf-5cnf-160var-5120cl.6	UNSAT	0.05
2qbf-5cnf-80var-1280cl.9	UNSAT	0.05
vis.elevator^1.E-f2	UNSAT	0.05
sortnetsort5.AE.stepl.003	SAT	0.05
ncf_4_8_4_u.6	SAT	0.06
2qbf-5cnf-40var-640cl.2	UNSAT	0.06
6qbf-5cnf-20var-640cl.8	UNSAT	0.06
ncf_16_32_2_euad.2	UNSAT	0.06
2qbf-5cnf-160var-5120cl.0	UNSAT	0.06
ncf_4_8_4_euad.7	UNSAT	0.06
x20.0	SAT	0.06
3qbf-5cnf-20var-160cl.7	SAT	0.07
4qbf-5cnf-20var-320cl.1	UNSAT	0.07
2qbf-5cnf-40var-640cl.5	UNSAT	0.07
2qbf-5cnf-40var-640cl.6	UNSAT	0.07
6qbf-5cnf-160var-5120cl.0	UNSAT	0.07
x20.4	UNSAT	0.07
x20.8	SAT	0.07
sortnetsort6.AE.stepl.003	SAT	0.07
ncf_8_16_4_u.2	UNSAT	0.08
ncf_8_16_4_edau.5	UNSAT	0.08
2qbf-5cnf-40var-640cl.9	UNSAT	0.08
6qbf-5cnf-160var-5120cl.2	UNSAT	0.08
C880.blif_0.10_1.00_0_1_inp_exact	SAT	0.08
ncf_16_32_2_d.9	UNSAT	0.08
ncf_16_32_2_edau.8	UNSAT	0.08
2qbf-5cnf-80var-1280cl.8	UNSAT	0.08
ncf_8_16_4_euad.2	UNSAT	0.08
ncf_8_16_4_d.2	UNSAT	0.08
6qbf-5cnf-20var-160cl.1	SAT	0.08
x20.9	SAT	0.08
ncf_8_16_4_edau.2	UNSAT	0.09
BLOCKS3i.4.4	UNSAT	0.09
ncf_4_8_4_euad.6	SAT	0.09
ncf_16_32_2_euad.7	UNSAT	0.09
x20.7	SAT	0.09
nusmv.reactor^5.C-f2	UNSAT	0.09
ncf_4_8_4_euad.9	SAT	0.1
ncf_16_32_4_d.4	UNSAT	0.1
3qbf-5cnf-80var-1280cl.6	UNSAT	0.1
k_lin_p-8	UNSAT	0.1
3qbf-5cnf-20var-160cl.6	SAT	0.1
x20.1	UNSAT	0.1
ncf_4_8_8_edau.5	UNSAT	0.11
3qbf-5cnf-80var-320cl.9	SAT	0.11
3qbf-5cnf-40var-640cl.6	UNSAT	0.11
3qbf-5cnf-40var-640cl.8	UNSAT	0.11
3qbf-5cnf-20var-160cl.4	SAT	0.11
ncf_16_32_2_d.4	UNSAT	0.11
ncf_16_32_4_d.10	UNSAT	0.11
1qbf-5cnf-160var-2560cl.7	SAT	0.11
x20.6	SAT	0.11
ncf_16_32_2_edau.9	UNSAT	0.12
1qbf-5cnf-160var-2560cl.1	SAT	0.12
x20.2	SAT	0.12
sortnetsort5.v.stepl.003	UNSAT	0.12
ncf_16_32_2_u.8	UNSAT	0.13
ncf_4_8_8_u.5	UNSAT	0.13
4qbf-5cnf-20var-320cl.0	UNSAT	0.13
x20.5	SAT	0.13
3qbf-5cnf-80var-1280cl.2	UNSAT	0.14
3qbf-5cnf-20var-320cl.3	UNSAT	0.14
x25.3	UNSAT	0.14
texas.PI_main^14.E-f2	UNSAT	0.14
sortnetsort5.AE.stepl.006	UNSAT	0.14
ncf_16_32_2_euad.9	UNSAT	0.15
sortnetsort5.AE.stepl.005	UNSAT	0.15
ncf_16_32_2_d.1	UNSAT	0.16
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.16
ncf_4_8_2_u.5	SAT	0.16
6qbf-5cnf-20var-160cl.7	SAT	0.17
x25.0	SAT	0.17
sortnetsort5.AE.stepl.004	SAT	0.17
sortnetsort7.AE.stepl.003	SAT	0.17
ncf_4_8_2_euad.5	SAT	0.18
1qbf-5cnf-160var-2560cl.0	SAT	0.18
sortnetsort5.AE.stepl.007	UNSAT	0.18
ncf_8_16_4_u.5	UNSAT	0.19
3qbf-5cnf-80var-320cl.6	SAT	0.19
ncf_16_32_4_euad.7	UNSAT	0.2
ncf_16_32_4_d.7	UNSAT	0.21
ncf_4_8_4_u.9	SAT	0.21
ncf_8_16_4_edau.6	UNSAT	0.21
ncf_4_16_2_euad.4	SAT	0.21
4qbf-5cnf-20var-320cl.4	UNSAT	0.22
ncf_4_16_2_d.4	SAT	0.22
x25.7	UNSAT	0.22
4qbf-5cnf-20var-320cl.2	UNSAT	0.23
ncf_16_32_2_euad.4	UNSAT	0.24
ncf_16_32_2_euad.10	UNSAT	0.25
x25.6	UNSAT	0.25
lognBWLARGEA1	UNSAT	0.26
4qbf-5cnf-20var-320cl.8	UNSAT	0.26
4qbf-5cnf-20var-320cl.9	UNSAT	0.26
4qbf-5cnf-20var-160cl.3	UNSAT	0.26
ncf_16_32_2_u.9	UNSAT	0.27
ncf_16_32_2_euad.6	SAT	0.28
3qbf-5cnf-20var-160cl.8	SAT	0.28
3qbf-5cnf-40var-640cl.5	UNSAT	0.29
ncf_4_8_8_d.5	UNSAT	0.29
lut4_AND_f1	SAT	0.29
x25.9	UNSAT	0.29
x25.1	SAT	0.3
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	0.31
irst.dme5.B-d2	SAT	0.31
sortnetsort8.AE.stepl.003	SAT	0.31
2qbf-5cnf-80var-1280cl.4	UNSAT	0.32
ncf_16_32_2_edau.7	UNSAT	0.32
ncf_4_16_2_u.2	SAT	0.33
x25.4	UNSAT	0.33
4qbf-5cnf-20var-320cl.6	UNSAT	0.34
ncf_16_32_4_d.5	UNSAT	0.34
2qbf-5cnf-80var-1280cl.3	UNSAT	0.35
2qbf-5cnf-40var-320cl.0	UNSAT	0.35
k_lin_p-12	UNSAT	0.35
BLOCKS3ii.5.2	UNSAT	0.36
BLOCKS3ii.5.3	SAT	0.36
ncf_8_16_4_u.6	UNSAT	0.36
6qbf-5cnf-20var-160cl.2	SAT	0.36
BLOCKS3iii.5	SAT	0.36
x25.2	SAT	0.36
ncf_8_16_8_d.6	UNSAT	0.37
ncf_4_16_2_edau.2	SAT	0.37
3qbf-5cnf-20var-160cl.3	SAT	0.37
ncf_4_8_8_euad.5	UNSAT	0.39
ncf_16_32_4_edau.4	UNSAT	0.39
3qbf-5cnf-40var-320cl.4	SAT	0.39
counter_re_4	SAT	0.39
ncf_8_16_4_edau.10	SAT	0.4
ncf_16_32_2_edau.10	UNSAT	0.4
4qbf-5cnf-20var-320cl.5	UNSAT	0.4
ncf_16_32_2_u.6	SAT	0.41
ncf_4_16_2_edau.7	SAT	0.41
4qbf-5cnf-20var-160cl.7	UNSAT	0.42
x30.8	UNSAT	0.42
ncf_16_32_2_d.10	UNSAT	0.43
2qbf-5cnf-80var-1280cl.1	UNSAT	0.44
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.45
ncf_16_32_4_euad.4	UNSAT	0.47
2qbf-5cnf-40var-640cl.4	UNSAT	0.47
sortnetsort5.v.stepl.005	SAT	0.47
ncf_8_16_4_d.10	SAT	0.48
5qbf-5cnf-20var-320cl.1	UNSAT	0.49
ncf_8_16_4_euad.10	SAT	0.5
x30.7	UNSAT	0.5
ncf_16_32_2_edau.4	UNSAT	0.52
ncf_16_32_4_edau.10	UNSAT	0.52
5qbf-5cnf-20var-320cl.6	UNSAT	0.52
x30.0	UNSAT	0.52
lut4_3_fAND	SAT	0.53
3qbf-5cnf-40var-640cl.3	UNSAT	0.53
k_ph_n-8	SAT	0.53
4qbf-5cnf-20var-320cl.3	UNSAT	0.54
4qbf-5cnf-20var-160cl.0	UNSAT	0.54
lut4_2_f1	SAT	0.55
2qbf-5cnf-80var-1280cl.6	UNSAT	0.57
k_lin_p-16	UNSAT	0.58
3qbf-5cnf-40var-640cl.4	UNSAT	0.58
x25.5	UNSAT	0.61
ncf_16_32_4_euad.5	UNSAT	0.62
x30.9	UNSAT	0.62
sortnetsort6.AE.stepl.004	SAT	0.68
6qbf-5cnf-40var-1280cl.1	UNSAT	0.71
3qbf-5cnf-40var-640cl.0	UNSAT	0.72
x35.5	UNSAT	0.72
1qbf-5cnf-160var-2560cl.4	SAT	0.73
lognBWLARGEB1	UNSAT	0.74
ncf_8_16_8_edau.6	UNSAT	0.78
4qbf-5cnf-20var-320cl.7	UNSAT	0.79
robots_1_5_5_26.4	SAT	0.8
x30.5	UNSAT	0.82
ncf_16_32_4_u.5	UNSAT	0.83
x45.0	UNSAT	0.83
robots_1_5_5_66.4	SAT	0.88
sortnetsort5.v.stepl.006	SAT	0.89
robots_1_5_2_21.4	SAT	0.91
ncf_4_8_8_d.9	UNSAT	0.91
ncf_4_16_2_d.7	SAT	0.93
x30.4	SAT	0.94
2qbf-5cnf-80var-1280cl.5	UNSAT	0.95
robots_1_5_2_3.4	SAT	0.95
ncf_4_16_2_edau.4	SAT	0.97
ncf_16_32_2_d.3	SAT	0.97
sortnetsort6.AE.stepl.007	UNSAT	0.97
ncf_16_32_2_edau.3	SAT	0.99
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.99
6qbf-5cnf-40var-1280cl.3	UNSAT	1
1qbf-5cnf-160var-2560cl.2	SAT	1
ncf_4_8_8_euad.9	UNSAT	1.01
robots_1_5_2_85.4	SAT	1.02
x50.7	UNSAT	1.05
ncf_4_16_2_u.4	SAT	1.09
6qbf-5cnf-20var-160cl.9	SAT	1.22
2qbf-5cnf-80var-1280cl.0	UNSAT	1.23
sortnetsort6.AE.stepl.005	UNSAT	1.27
ncf_4_32_2_u.4	UNSAT	1.34
eijk.S1423.S-d2	SAT	1.4
5qbf-5cnf-20var-320cl.5	UNSAT	1.51
3qbf-5cnf-40var-640cl.1	UNSAT	1.57
sortnetsort6.AE.stepl.006	UNSAT	1.59
x45.8	UNSAT	1.6
5qbf-5cnf-20var-320cl.7	UNSAT	1.64
x40.8	UNSAT	1.71
x30.2	UNSAT	1.74
connect_8x7_4_W	UNSAT	1.82
k_lin_p-20	UNSAT	1.83
x30.6	SAT	1.83
x35.8	SAT	1.88
connect_8x7_3_D	UNSAT	1.89
connect_8x7_3_W	UNSAT	1.94
C499.blif_0.10_0.20_0_1_inp_exact	SAT	1.94
connect_8x7_4_D	UNSAT	1.95
ncf_16_32_4_edau.5	UNSAT	1.98
ncf_8_16_8_euad.6	UNSAT	2
x30.3	SAT	2.02
x35.6	UNSAT	2.03
k_lin_p-21	UNSAT	2.15
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	2.18
ncf_8_16_4_u.10	SAT	2.18
ncf_16_32_4_edau.7	UNSAT	2.19
robots_1_5_2_100.4	SAT	2.2
4qbf-5cnf-40var-640cl.7	UNSAT	2.25
ncf_16_32_4_u.7	UNSAT	2.36
connect_9x8_5_D	UNSAT	2.47
connect_9x8_5_W	UNSAT	2.48
5qbf-5cnf-20var-320cl.0	UNSAT	2.49
3qbf-5cnf-80var-1280cl.3	UNSAT	2.55
robots_1_5_4_31.4	SAT	2.56
connect_9x8_4_W	UNSAT	2.61
ncf_16_32_4_edau.9	SAT	2.61
connect_9x8_4_D	UNSAT	2.62
connect_9x8_3_D	UNSAT	2.63
connect_9x8_3_W	UNSAT	2.65
robots_1_5_2_2.4	SAT	2.67
robots_1_5_4_30.4	SAT	2.69
robots_1_5_5_87.4	SAT	2.72
x40.0	UNSAT	2.73
robots_1_5_2_80.4	SAT	2.77
robots_1_5_4_50.4	SAT	2.88
robots_1_5_3_44.4	SAT	2.96
sortnetsort7.AE.stepl.004	SAT	3.02
robots_1_5_4_100.4	SAT	3.03
robots_1_5_4_46.4	SAT	3.04
robots_1_5_3_100.4	SAT	3.05
ncf_16_32_4_d.9	SAT	3.08
robots_1_5_3_16.4	SAT	3.14
x35.4	UNSAT	3.16
robots_1_5_2_45.4	SAT	3.24
robots_1_5_4_87.4	SAT	3.27
robots_1_5_2_99.4	SAT	3.3
ncf_16_32_4_euad.9	SAT	3.36
robots_1_5_4_98.4	SAT	3.36
robots_1_5_3_20.4	SAT	3.59
robots_1_5_5_45.4	SAT	3.62
ncf_16_32_2_u.7	UNSAT	3.64
robots_1_5_5_30.4	SAT	3.67
robots_1_5_4_91.4	SAT	3.74
robots_1_5_4_2.4	SAT	3.74
robots_1_5_3_66.4	SAT	3.94
robots_1_5_3_24.4	SAT	4.01
irst.dme6.B-d2	SAT	4.06
robots_1_5_4_51.4	SAT	4.08
sortnetsort6.v.stepl.003	UNSAT	4.1
robots_1_5_3_78.4	SAT	4.11
robots_1_5_5_34.4	SAT	4.12
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	4.14
sortnetsort8.AE.stepl.004	SAT	4.19
robots_1_5_3_57.4	SAT	4.23
3qbf-5cnf-40var-320cl.8	SAT	4.3
robots_1_5_2_39.4	SAT	4.34
robots_1_5_5_8.4	SAT	4.37
ncf_16_32_4_edau.1	SAT	4.38
6qbf-5cnf-20var-320cl.6	UNSAT	4.39
robots_1_5_3_2.4	SAT	4.39
robots_1_5_5_100.4	SAT	4.42
robots_1_5_3_52.4	SAT	4.46
robots_1_5_5_93.4	SAT	4.55
robots_1_5_5_12.4	SAT	4.56
x55.2	UNSAT	4.58
x40.4	UNSAT	4.61
BLOCKS4iii.6	UNSAT	4.66
robots_1_5_2_82.4	SAT	4.66
x45.6	UNSAT	4.72
toilet_a_10_05.4	SAT	4.74
counter_8	SAT	4.87
1qbf-5cnf-160var-2560cl.3	SAT	4.95
k_lin_n-4	SAT	5.05
ncf_4_8_4_u.7	UNSAT	5.13
ncf_16_32_4_u.1	SAT	5.29
1qbf-5cnf-160var-2560cl.9	SAT	5.33
5qbf-5cnf-20var-320cl.8	UNSAT	5.47
ncf_16_32_4_d.1	SAT	5.63
5qbf-5cnf-20var-320cl.4	UNSAT	5.73
ncf_16_32_4_euad.1	SAT	6.14
x40.1	UNSAT	6.17
ncf_16_32_2_euad.1	UNSAT	6.57
x55.1	UNSAT	6.96
BLOCKS3i.5.4	SAT	7
x35.3	UNSAT	7.11
x45.4	UNSAT	7.29
ncf_4_8_4_euad.5	SAT	7.45
3qbf-5cnf-40var-640cl.2	UNSAT	7.73
6qbf-5cnf-40var-1280cl.0	UNSAT	7.75
ncf_4_16_2_u.7	SAT	8.15
x35.1	SAT	8.49
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	9.87
5qbf-5cnf-20var-320cl.2	UNSAT	10.35
4qbf-5cnf-20var-160cl.6	UNSAT	10.64
3qbf-5cnf-80var-320cl.2	SAT	10.93
x50.4	UNSAT	11.16
k_ph_p-8	UNSAT	11.17
ncf_4_16_2_edau.10	UNSAT	11.36
sortnetsort5.v.stepl.004	UNSAT	12.33
3qbf-5cnf-80var-320cl.3	SAT	13.2
x50.3	UNSAT	13.91
ncf_4_16_2_edau.9	SAT	14.41
3qbf-5cnf-80var-320cl.5	SAT	15.05
5qbf-5cnf-20var-320cl.9	UNSAT	15.51
ncf_16_32_8_d.8	UNSAT	16.81
6qbf-5cnf-20var-160cl.8	SAT	17.14
ncf_4_16_2_u.9	SAT	17.27
ncf_4_16_2_d.10	UNSAT	17.39
sortnetsort9.AE.stepl.004	SAT	17.55
1qbf-5cnf-160var-2560cl.5	SAT	18.01
x35.0	UNSAT	19.67
3qbf-5cnf-40var-320cl.0	SAT	20.01
sortnetsort5.v.stepl.007	SAT	20.45
eijk.bs1512.S-d2	SAT	20.46
x35.7	UNSAT	21.22
ncf_8_16_4_d.4	SAT	21.56
x40.3	UNSAT	21.66
6qbf-5cnf-20var-320cl.5	UNSAT	22.74
ncf_4_16_4_d.5	SAT	24.11
sortnetsort10.AE.stepl.004	SAT	24.12
toilet_a_10_01.16	UNSAT	24.22
4qbf-5cnf-20var-160cl.8	UNSAT	24.32
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	25.02
ncf_4_16_4_euad.5	SAT	25.37
ncf_16_32_4_euad.10	UNSAT	26.44
TOILET7.1.iv.13	UNSAT	26.61
x55.4	UNSAT	27.86
3qbf-5cnf-80var-320cl.8	SAT	28.49
x35.9	SAT	29.73
ncf_4_8_8_edau.9	UNSAT	30.07
k_ph_n-12	SAT	30.42
ncf_4_16_4_edau.5	SAT	30.47
ncf_16_32_2_u.10	UNSAT	30.67
x40.5	UNSAT	31.09
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	31.98
x55.3	UNSAT	33.62
ncf_4_16_4_u.5	SAT	34.43
6qbf-5cnf-20var-320cl.8	UNSAT	36.16
2qbf-5cnf-40var-320cl.1	UNSAT	39.64
2qbf-5cnf-40var-320cl.3	UNSAT	40.06
nusmv.dme1-16.B-d2	SAT	41.56
1qbf-5cnf-160var-2560cl.6	SAT	46.12
x35.2	SAT	46.55
x50.0	UNSAT	47.26
ncf_8_16_4_d.3	SAT	47.72
ncf_4_8_4_euad.2	UNSAT	48.03
3qbf-5cnf-40var-320cl.7	SAT	48.24
ncf_4_16_2_d.9	SAT	49.3
ncf_8_16_4_edau.4	SAT	49.82
ncf_16_32_2_edau.1	UNSAT	50.35
5qbf-5cnf-40var-640cl.7	UNSAT	50.4
1qbf-5cnf-160var-2560cl.8	SAT	50.4
ncf_4_8_4_u.5	SAT	51.94
4qbf-5cnf-40var-640cl.3	UNSAT	53.04
ncf_8_16_4_euad.4	SAT	54.2
x65.7	UNSAT	54.66
4qbf-5cnf-20var-160cl.5	UNSAT	55.84
ncf_4_16_2_euad.9	SAT	59.57
6qbf-5cnf-20var-320cl.9	UNSAT	68.77
ncf_16_32_2_euad.3	SAT	70.56
lut4_AND_fXOR	UNSAT	75.08
ncf_4_16_4_d.6	UNSAT	83.26
ncf_8_16_4_edau.3	SAT	84.26
k_lin_n-8	SAT	87.53
2qbf-5cnf-40var-160cl.0	SAT	88.17
BLOCKS3i.5.3	UNSAT	93.49
ncf_4_16_2_u.1	UNSAT	96.36
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	100.54
6qbf-5cnf-20var-160cl.5	SAT	101.06
4qbf-5cnf-20var-160cl.4	UNSAT	106.2
nusmv.dme2-16.B-d2	SAT	106.75
sortnetsort7.v.stepl.003	UNSAT	107.32
4qbf-5cnf-20var-160cl.1	UNSAT	107.87
k_grz_p-4	UNSAT	109.51
4qbf-5cnf-40var-640cl.8	UNSAT	110.16
BLOCKS4ii.6.3	UNSAT	121.89
connect_5x4_4_R	UNSAT	123.19
x55.9	UNSAT	126.7
2qbf-5cnf-80var-1280cl.7	UNSAT	128.59
C432.blif_0.10_0.20_0_1_inp_exact	SAT	132.14
3qbf-5cnf-40var-320cl.1	SAT	134.03
connect_5x4_3_R	UNSAT	141.66
3qbf-5cnf-80var-1280cl.8	UNSAT	146.85
C5315.blif_0.10_1.00_0_1_out_exact	SAT	147.97
2qbf-5cnf-40var-320cl.5	UNSAT	147.99
3qbf-5cnf-40var-320cl.3	SAT	149.95
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	150.36
5qbf-5cnf-40var-640cl.1	UNSAT	152.69
x60.4	UNSAT	156.08
4qbf-5cnf-40var-640cl.5	UNSAT	163.67
4qbf-5cnf-40var-640cl.6	UNSAT	163.87
ncf_4_16_2_edau.1	UNSAT	166.65
x40.9	UNSAT	171.21
6qbf-5cnf-20var-320cl.0	UNSAT	174.39
BLOCKS4ii.7.2	UNSAT	175.03
ncf_16_32_4_u.4	UNSAT	177.33
2qbf-5cnf-160var-2560cl.8	UNSAT	189.95
ncf_8_16_4_u.4	SAT	200.87
k_grz_p-8	UNSAT	202.2
x45.2	UNSAT	203.27
x50.8	UNSAT	215.38
ncf_16_32_4_d.3	SAT	220.98
x45.1	UNSAT	225.68
eijk.S344.S-d2	SAT	226.78
eijk.S349.S-d2	SAT	227.63
ncf_8_16_4_u.8	UNSAT	228.56
3qbf-5cnf-80var-320cl.4	SAT	231.11
6qbf-5cnf-20var-320cl.7	UNSAT	236.69
6qbf-5cnf-20var-320cl.4	UNSAT	238.87
3qbf-5cnf-40var-320cl.6	SAT	242.3
ncf_16_32_4_euad.3	SAT	252.26
6qbf-5cnf-20var-160cl.6	SAT	254.06
ncf_8_16_4_d.1	SAT	290.53
5qbf-5cnf-20var-320cl.3	UNSAT	301.27
x40.2	UNSAT	310.78
ncf_4_8_8_u.9	UNSAT	316.54
6qbf-5cnf-20var-320cl.1	UNSAT	332.07
ncf_16_32_4_u.3	SAT	346.09
ncf_4_16_4_d.8	SAT	359.27
x60.5	UNSAT	359.42
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	360.98
k_ph_n-16	SAT	361.88
k_branch_p-4	UNSAT	368.34
ncf_8_16_4_edau.1	SAT	373.12
4qbf-5cnf-40var-640cl.4	UNSAT	373.88
ncf_4_16_4_euad.8	SAT	375.07
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	390.38
3qbf-5cnf-80var-320cl.1	SAT	407.59
ncf_4_8_4_u.2	UNSAT	419.84
ncf_4_8_4_euad.1	SAT	425.18
ncf_16_32_4_edau.3	SAT	425.96
ncf_4_16_4_edau.8	SAT	436.83
4qbf-5cnf-20var-160cl.2	SAT	442.18
sortnetsort6.v.stepl.005	SAT	446.83
6qbf-5cnf-20var-160cl.3	UNSAT	454.29
2qbf-5cnf-40var-320cl.8	UNSAT	461.14
ncf_16_32_4_u.9	SAT	483.72
ncf_4_16_2_edau.5	UNSAT	485.75
ncf_4_16_4_u.8	SAT	486.3
szymanski-18-s	FAIL	492
szymanski-20-s	FAIL	492.39
szymanski-22-s	FAIL	493.84
szymanski-16-s	FAIL	493.98
szymanski-24-s	FAIL	494.25
szymanski-14-s	FAIL	495.37
szymanski-12-s	FAIL	501.65
szymanski-10-s	FAIL	504.48
sortnetsort6.v.stepl.004	UNSAT	509.02
connect_6x5_5_R	FAIL	514.58
szymanski-8-s	FAIL	515.19
S-edau-9	FAIL	525.78
S-adeu-6	FAIL	526.4
S-edau-6	FAIL	526.49
S-edau-0	FAIL	526.72
S-edau-8	FAIL	527.32
S-adeu-9	FAIL	527.49
S-edau-1	FAIL	527.7
S-edau-3	FAIL	528.09
S-edau-5	FAIL	528.1
S-edau-2	FAIL	528.11
S-adeu-0	FAIL	528.19
S-edau-4	FAIL	528.66
S-edau-7	FAIL	529.33
S-adeu-5	FAIL	530.85
S-adeu-1	FAIL	531.12
S-adeu-2	FAIL	532.27
S-adeu-7	FAIL	533.21
x230.0	FAIL	533.45
S-adeu-8	FAIL	533.64
S-adeu-4	FAIL	533.78
S-adeu-3	FAIL	533.92
T-edau-5	FAIL	535.93
T-adeu-8	FAIL	536.62
Adder2-8-s	FAIL	537.22
T-edau-6	FAIL	537.66
T-adeu-1	FAIL	537.96
T-adeu-5	FAIL	538.26
T-edau-9	FAIL	538.54
T-edau-8	FAIL	538.6
T-adeu-9	FAIL	538.72
x180.5	FAIL	538.8
T-adeu-4	FAIL	538.89
T-edau-0	FAIL	538.95
x215.1	FAIL	539.14
x245.8	FAIL	539.29
6qbf-5cnf-20var-160cl.4	SAT	539.82
T-adeu-3	FAIL	539.91
x180.6	FAIL	540.06
x235.3	FAIL	540.45
x240.1	FAIL	540.55
T-adeu-0	FAIL	540.55
T-adeu-7	FAIL	540.59
x210.0	FAIL	540.71
T-edau-2	FAIL	540.99
Adder2-8-c	FAIL	541.08
T-edau-1	FAIL	541.1
x180.9	FAIL	541.99
x225.6	FAIL	542.16
x200.6	FAIL	542.36
T-edau-4	FAIL	542.61
x200.4	FAIL	542.75
x190.7	FAIL	542.88
mutex-128-s	FAIL	543.2
x230.1	FAIL	543.2
x215.2	FAIL	543.32
x165.6	FAIL	543.36
T-adeu-6	FAIL	543.75
T-edau-3	FAIL	543.92
x235.9	FAIL	544.25
x190.5	FAIL	544.33
x210.4	FAIL	544.63
x135.7	FAIL	545.09
x170.9	FAIL	545.28
x225.8	FAIL	545.28
x150.8	FAIL	545.64
x215.6	FAIL	545.78
x200.3	FAIL	546.49
x250.1	FAIL	546.55
x235.4	FAIL	546.63
x210.6	FAIL	546.78
x195.0	FAIL	547.01
x175.2	FAIL	547.14
x245.9	FAIL	547.19
x235.0	FAIL	547.36
x220.6	FAIL	547.52
x165.2	FAIL	547.57
x180.1	FAIL	547.6
x240.5	FAIL	547.96
x165.7	FAIL	548.16
x170.8	FAIL	548.2
x250.2	FAIL	548.29
x210.9	FAIL	548.36
x205.4	FAIL	548.38
x145.2	FAIL	548.5
x250.0	FAIL	548.69
x235.7	FAIL	548.81
x160.9	FAIL	548.87
T-edau-7	FAIL	548.97
x240.8	FAIL	549.02
x75.8	FAIL	549.11
x225.0	FAIL	549.31
x160.6	FAIL	549.42
x160.5	FAIL	549.46
x195.9	FAIL	549.47
x120.9	FAIL	549.49
x190.8	FAIL	549.55
x300.0	FAIL	549.69
x170.6	FAIL	549.84
x175.0	FAIL	549.92
x240.0	FAIL	550.17
x205.8	FAIL	550.44
x130.9	FAIL	550.45
x225.7	FAIL	550.67
x210.5	FAIL	550.86
x200.1	FAIL	550.97
x180.0	FAIL	551.14
x165.5	FAIL	551.16
x185.4	FAIL	551.54
x195.3	FAIL	551.74
x175.3	FAIL	551.84
x195.2	FAIL	551.85
x190.3	FAIL	551.88
x210.2	FAIL	552.1
x170.1	FAIL	552.14
x205.0	FAIL	552.48
x210.3	FAIL	552.59
x170.3	FAIL	552.67
x210.7	FAIL	552.67
x85.0	FAIL	552.68
x175.7	FAIL	552.74
x190.0	FAIL	552.83
x200.7	FAIL	552.85
x125.3	FAIL	552.92
x185.2	FAIL	552.94
x150.3	FAIL	552.98
x185.6	FAIL	553.11
x175.5	FAIL	553.22
x165.4	FAIL	553.25
x150.2	FAIL	553.27
x90.7	FAIL	553.44
x145.1	FAIL	553.49
x135.8	FAIL	553.5
x125.0	FAIL	553.56
x205.6	FAIL	553.58
x165.0	FAIL	553.59
mutex-64-s	FAIL	553.65
x170.2	FAIL	553.71
x170.0	FAIL	553.77
x145.3	FAIL	553.88
x135.3	FAIL	553.92
x175.8	FAIL	553.98
x145.5	FAIL	554.1
x155.8	FAIL	554.16
x125.5	FAIL	554.17
x150.9	FAIL	554.22
x145.4	FAIL	554.23
x180.3	FAIL	554.31
x155.1	FAIL	554.36
x150.6	FAIL	554.51
x160.4	FAIL	554.52
x150.4	FAIL	554.54
x230.4	FAIL	554.67
x90.8	FAIL	554.81
x195.7	FAIL	555.06
x155.6	FAIL	555.08
x230.8	FAIL	555.1
x115.5	FAIL	555.16
x125.8	FAIL	555.23
x215.7	FAIL	555.26
x160.2	FAIL	555.35
x165.8	FAIL	555.44
x155.9	FAIL	555.46
x155.7	FAIL	555.47
x160.8	FAIL	555.47
x160.7	FAIL	555.56
x185.5	FAIL	555.58
x185.1	FAIL	555.75
x160.3	FAIL	555.95
x90.2	FAIL	555.97
x140.0	FAIL	556.15
x140.9	FAIL	556.25
x105.1	FAIL	556.27
Adder2-6-s	FAIL	556.36
x145.8	FAIL	556.55
x115.0	FAIL	556.62
ncf_16_32_4_d.2	SAT	556.77
x130.2	FAIL	556.87
Adder2-6-c	FAIL	556.89
x90.4	FAIL	556.89
x145.7	FAIL	557.03
x90.0	FAIL	557.14
x135.5	FAIL	557.23
x125.2	FAIL	557.24
x165.1	FAIL	557.28
x135.6	FAIL	557.37
x120.1	FAIL	557.5
x110.7	FAIL	557.58
x135.2	FAIL	557.6
x140.7	FAIL	557.62
x105.8	FAIL	557.7
x140.5	FAIL	557.79
x185.7	FAIL	557.86
x115.2	FAIL	557.96
x85.2	FAIL	557.96
x140.3	FAIL	557.97
x125.1	FAIL	557.98
x130.1	FAIL	558.06
x95.9	FAIL	558.06
x120.8	FAIL	558.15
x105.6	FAIL	558.25
x110.5	FAIL	558.39
x110.0	FAIL	558.41
x120.5	FAIL	558.46
x130.0	FAIL	558.47
x65.6	FAIL	558.51
x130.4	FAIL	558.54
x145.6	FAIL	558.64
x110.4	FAIL	558.65
x95.7	FAIL	558.72
x120.3	FAIL	558.83
x120.7	FAIL	558.86
x130.5	FAIL	558.93
x100.2	FAIL	559.08
x100.8	FAIL	559.13
adder-16-sat	FAIL	559.24
x190.2	FAIL	559.28
x85.5	FAIL	559.36
x135.1	FAIL	559.37
x125.6	FAIL	559.5
x110.3	FAIL	559.53
x105.3	FAIL	559.55
x95.2	FAIL	559.7
x170.7	FAIL	559.76
x70.2	FAIL	559.88
x125.9	FAIL	560.03
x130.7	FAIL	560.05
x130.6	FAIL	560.25
x125.4	FAIL	560.26
x120.6	FAIL	560.48
x185.9	FAIL	560.48
x115.4	FAIL	560.57
x80.4	FAIL	560.64
x95.6	FAIL	560.8
x135.4	FAIL	561.02
x95.3	FAIL	561.02
x155.2	FAIL	561.07
x85.3	FAIL	561.07
x105.7	FAIL	561.24
x115.1	FAIL	561.25
x135.0	FAIL	561.34
x75.0	FAIL	561.35
x95.1	FAIL	561.44
x100.6	FAIL	561.64
x120.4	FAIL	561.7
x130.8	FAIL	562
x115.6	FAIL	562.17
x95.8	FAIL	562.31
x150.5	FAIL	562.48
x115.7	FAIL	562.57
x160.0	FAIL	562.65
x65.8	FAIL	562.66
x90.5	FAIL	562.78
x70.8	FAIL	562.86
x65.9	FAIL	562.98
x70.1	FAIL	563.45
x70.3	FAIL	563.49
x175.6	FAIL	563.5
x80.3	FAIL	563.69
adder-14-sat	FAIL	563.86
x85.9	FAIL	563.89
x70.6	FAIL	564.04
x80.1	FAIL	564.06
x80.6	FAIL	564.15
x110.2	FAIL	564.41
mutex-32-s	FAIL	564.56
x115.3	FAIL	565.1
x100.3	FAIL	565.21
x50.2	FAIL	565.31
x80.7	FAIL	565.65
x100.0	FAIL	565.75
x235.8	FAIL	565.76
x100.9	FAIL	566.23
ncf_16_32_8_d.6	FAIL	566.42
x65.3	FAIL	567.17
x60.3	FAIL	567.57
ncf_16_32_8_edau.7	FAIL	567.64
x60.0	FAIL	567.78
ncf_16_32_8_edau.3	FAIL	568.08
x65.5	FAIL	568.25
x90.6	FAIL	568.82
ncf_16_32_8_euad.9	FAIL	568.97
ncf_16_32_8_d.5	FAIL	569.14
ncf_16_32_8_d.2	FAIL	569.27
x150.7	FAIL	569.32
x100.5	FAIL	569.44
x80.0	FAIL	569.93
x55.0	FAIL	570.17
adder-12-sat	FAIL	570.67
ncf_16_32_8_euad.8	FAIL	570.68
ncf_16_32_8_d.3	FAIL	570.82
ncf_16_32_8_d.7	FAIL	570.83
ncf_16_32_8_d.4	FAIL	570.89
x65.0	FAIL	571.22
ncf_16_32_8_edau.4	FAIL	571.51
ncf_16_32_8_euad.2	FAIL	571.62
ncf_16_32_8_edau.9	FAIL	572.44
ncf_16_32_8_u.3	FAIL	572.79
ncf_16_32_8_d.10	FAIL	572.85
ncf_16_32_8_euad.5	FAIL	573.1
x225.3	FAIL	573.15
ncf_16_32_8_euad.10	FAIL	573.24
ncf_16_32_8_euad.1	FAIL	573.49
ncf_16_32_8_edau.8	FAIL	574
ncf_16_32_8_euad.7	FAIL	574.03
ncf_16_32_8_edau.10	FAIL	574.23
ncf_16_32_8_euad.6	FAIL	574.27
ncf_16_32_8_edau.1	FAIL	574.31
ncf_16_32_8_edau.2	FAIL	574.6
ncf_16_32_8_euad.4	FAIL	574.61
ncf_16_32_8_d.1	FAIL	574.69
mutex-16-s	FAIL	574.95
ncf_16_32_8_u.1	FAIL	575.13
ncf_16_32_8_edau.6	FAIL	575.26
ncf_8_16_8_d.10	FAIL	575.67
ncf_16_32_8_euad.3	FAIL	576.03
ncf_16_32_8_u.4	FAIL	576.32
ncf_8_16_8_d.5	FAIL	577.04
ncf_16_32_8_u.7	FAIL	577.08
ncf_4_16_8_d.10	FAIL	577.68
ncf_16_32_8_u.10	FAIL	578.13
ncf_8_16_8_d.3	FAIL	578.13
x230.2	FAIL	578.24
x85.7	FAIL	578.4
ncf_8_16_8_d.2	FAIL	578.67
ncf_4_16_8_d.1	FAIL	578.71
adder-10-sat	FAIL	578.87
ncf_8_16_8_d.8	FAIL	578.99
ncf_8_16_8_d.9	FAIL	579.03
ncf_4_16_8_d.4	FAIL	579.32
ncf_4_16_8_d.5	FAIL	579.51
ncf_8_16_8_d.4	FAIL	579.71
ncf_16_32_8_d.9	FAIL	579.8
ncf_16_32_8_edau.5	FAIL	579.97
ncf_16_32_8_u.9	FAIL	580.45
ncf_8_16_8_edau.10	FAIL	580.46
ncf_16_32_4_euad.6	FAIL	580.63
ncf_4_16_8_d.6	FAIL	580.76
ncf_4_16_8_d.3	FAIL	580.83
ncf_16_32_4_d.8	FAIL	580.84
ncf_8_16_8_d.7	FAIL	580.88
ncf_16_32_4_edau.6	FAIL	580.94
ncf_4_16_8_d.8	FAIL	580.97
ncf_8_16_8_edau.1	FAIL	581.1
ncf_8_16_8_edau.8	FAIL	581.13
ncf_8_16_8_edau.2	FAIL	581.17
ncf_8_16_8_euad.1	FAIL	581.18
ncf_8_16_8_edau.9	FAIL	581.41
x350.8	FAIL	581.43
ncf_4_16_8_d.2	FAIL	581.44
ncf_4_16_8_d.9	FAIL	581.54
ncf_4_16_8_u.5	FAIL	581.83
ncf_16_32_8_u.5	FAIL	581.9
ncf_8_16_8_euad.7	FAIL	581.96
ncf_8_16_8_euad.5	FAIL	582.04
ncf_8_16_8_euad.4	FAIL	582.3
ncf_8_16_8_edau.4	FAIL	582.31
ncf_4_16_8_euad.1	FAIL	582.34
x60.1	FAIL	582.53
ncf_16_32_4_u.2	FAIL	582.94
ncf_8_16_8_euad.3	FAIL	582.94
x145.9	FAIL	582.94
ncf_8_16_8_d.1	FAIL	583.07
ncf_8_16_8_euad.8	FAIL	583.09
ncf_16_32_8_u.8	FAIL	583.26
ncf_4_16_8_euad.10	FAIL	583.3
ncf_4_16_8_euad.6	FAIL	583.34
ncf_8_16_8_edau.3	FAIL	583.76
Adder2-4-s	FAIL	583.85
adder-8-sat	FAIL	583.86
ncf_16_32_8_u.2	FAIL	583.89
ncf_8_16_8_edau.5	FAIL	583.99
ncf_8_16_8_edau.7	FAIL	584.07
ncf_8_16_8_euad.2	FAIL	584.07
Adder2-4-c	FAIL	584.2
ncf_16_32_4_u.6	FAIL	584.31
ncf_4_16_8_euad.4	FAIL	584.51
ncf_8_16_8_euad.10	FAIL	584.6
ncf_4_16_8_euad.8	FAIL	584.62
ncf_16_32_4_d.6	FAIL	584.67
x70.9	FAIL	584.68
ncf_8_16_8_euad.9	FAIL	584.93
ncf_4_16_8_euad.2	FAIL	585.19
ncf_16_32_4_edau.8	FAIL	585.37
ncf_16_32_4_u.8	FAIL	585.43
ncf_4_16_8_u.4	FAIL	585.56
x140.1	FAIL	585.61
ncf_4_8_8_d.4	FAIL	585.63
ncf_4_16_8_d.7	FAIL	585.68
ncf_16_32_4_euad.8	FAIL	585.95
ncf_4_16_8_u.6	FAIL	586.11
ncf_4_8_8_d.2	FAIL	586.12
ev-pr-8x8-11-7-0-1-2-lg	FAIL	586.23
ncf_4_16_8_u.7	FAIL	586.29
ncf_16_32_8_u.6	FAIL	586.31
ncf_16_32_4_edau.2	FAIL	586.48
ncf_4_8_8_d.7	FAIL	586.59
x95.4	FAIL	586.6
ncf_4_16_8_u.8	FAIL	586.77
ncf_16_32_4_euad.2	FAIL	586.81
ncf_4_16_8_euad.3	FAIL	586.81
x70.4	FAIL	586.85
x175.1	FAIL	586.9
x210.1	FAIL	586.92
ncf_4_16_8_u.2	FAIL	586.99
ev-pr-6x6-9-5-0-1-2-lg	FAIL	587.31
ncf_4_16_8_u.10	FAIL	587.35
ncf_4_8_8_d.3	FAIL	587.44
ncf_4_16_8_euad.9	FAIL	587.55
ncf_4_16_8_u.3	FAIL	587.64
ncf_4_8_8_edau.7	FAIL	587.67
ncf_4_16_8_euad.7	FAIL	587.68
ncf_4_16_8_euad.5	FAIL	587.74
adder-6-unsat	FAIL	587.83
x350.2	FAIL	587.84
ncf_4_16_8_u.9	FAIL	588
ncf_4_16_4_d.2	FAIL	588.06
ncf_4_16_8_u.1	FAIL	588.06
ncf_4_8_8_d.8	FAIL	588.13
x85.8	FAIL	588.3
x60.6	FAIL	588.56
ncf_4_8_8_d.6	FAIL	588.75
ncf_4_8_8_euad.2	FAIL	588.76
ncf_4_8_8_edau.2	FAIL	588.78
ncf_4_8_8_euad.4	FAIL	588.81
ncf_4_8_8_d.10	FAIL	588.97
ncf_4_8_8_euad.3	FAIL	588.98
x400.3	FAIL	588.98
ncf_4_8_8_d.1	FAIL	589.27
ncf_4_8_8_edau.10	FAIL	589.32
ncf_4_8_8_u.2	FAIL	589.34
ncf_4_8_8_edau.3	FAIL	589.38
ncf_8_16_4_d.7	FAIL	589.46
ncf_4_8_8_euad.7	FAIL	589.58
ncf_4_8_8_edau.6	FAIL	589.94
ncf_4_8_8_edau.8	FAIL	589.98
x60.7	FAIL	589.99
ncf_4_32_2_edau.3	FAIL	590
x80.9	FAIL	590.04
ncf_4_8_8_euad.8	FAIL	590.05
ncf_4_8_8_euad.6	FAIL	590.05
ncf_4_8_8_u.10	FAIL	590.15
x235.1	FAIL	590.28
ncf_4_32_2_edau.2	FAIL	590.56
ncf_4_16_4_d.10	FAIL	590.57
x400.5	FAIL	590.67
ncf_8_16_4_u.3	FAIL	590.68
x85.1	FAIL	590.7
ncf_4_32_2_edau.10	FAIL	590.82
ncf_4_16_4_edau.2	FAIL	591.02
x55.7	FAIL	591.04
ncf_4_32_2_edau.6	FAIL	591.13
ncf_8_16_4_edau.7	FAIL	591.14
ncf_4_32_2_u.5	FAIL	591.18
ncf_4_16_4_d.1	FAIL	591.19
ncf_4_8_8_u.3	FAIL	591.47
ncf_4_16_4_edau.10	FAIL	591.48
ncf_4_32_2_edau.8	FAIL	591.51
ncf_4_8_8_euad.10	FAIL	591.51
x45.5	FAIL	591.52
x65.4	FAIL	591.52
ncf_4_16_4_edau.6	FAIL	591.54
ncf_4_32_2_edau.5	FAIL	591.78
adder-8-unsat	FAIL	591.79
ncf_16_32_4_u.10	FAIL	591.8
ncf_4_16_4_edau.7	FAIL	591.89
ev-pr-4x4-11-3-0-0-1-lg	FAIL	591.9
x400.4	FAIL	592
ncf_4_32_2_edau.7	FAIL	592.02
ncf_4_16_4_edau.9	FAIL	592.07
ncf_4_16_4_d.3	FAIL	592.07
ncf_4_16_4_d.4	FAIL	592.1
adder-6-sat	FAIL	592.11
ncf_4_8_8_edau.4	FAIL	592.14
ncf_4_16_4_d.9	FAIL	592.16
ncf_4_16_4_edau.1	FAIL	592.18
ncf_4_32_2_u.9	FAIL	592.19
ncf_4_32_2_edau.9	FAIL	592.2
ncf_8_16_4_edau.9	FAIL	592.22
ncf_4_16_4_d.7	FAIL	592.25
ncf_4_16_4_u.3	FAIL	592.29
6qbf-5cnf-20var-320cl.3	UNSAT	592.29
ncf_8_16_4_euad.7	FAIL	592.41
ncf_4_16_4_edau.4	FAIL	592.43
ncf_4_32_2_u.6	FAIL	592.45
ncf_4_8_8_u.8	FAIL	592.45
ev-pr-4x4-13-3-0-0-1-lg	FAIL	592.5
ncf_4_16_4_euad.1	FAIL	592.52
ncf_16_32_2_u.1	FAIL	592.57
ncf_4_16_4_euad.3	FAIL	592.64
ncf_4_16_4_euad.7	FAIL	592.64
ncf_4_8_8_edau.1	FAIL	592.66
ncf_4_32_2_u.2	FAIL	592.66
ncf_4_32_2_u.8	FAIL	592.7
ncf_4_16_4_u.2	FAIL	592.72
x50.9	FAIL	592.76
x300.8	FAIL	592.77
ncf_8_16_4_d.9	FAIL	592.8
x400.0	FAIL	592.8
ncf_4_32_2_u.3	FAIL	592.81
ncf_4_16_4_euad.9	FAIL	592.84
2qbf-5cnf-160var-320cl.2	FAIL	592.91
ncf_4_16_4_euad.2	FAIL	592.91
x55.8	FAIL	592.94
ncf_4_8_8_euad.1	FAIL	592.99
ncf_4_16_4_u.7	FAIL	593.04
ncf_16_32_2_u.4	FAIL	593.06
x240.9	FAIL	593.08
ncf_4_16_4_u.10	FAIL	593.16
x230.7	FAIL	593.18
ncf_8_16_4_u.1	FAIL	593.21
ncf_8_16_4_euad.3	FAIL	593.22
adder-4-unsat	FAIL	593.31
ncf_4_32_2_u.1	FAIL	593.34
ncf_4_16_4_euad.10	FAIL	593.39
ev-pr-4x4-15-3-0-0-1-lg	FAIL	593.41
ncf_4_16_4_euad.6	FAIL	593.43
ev-pr-4x4-17-3-0-0-1-lg	FAIL	593.46
ncf_4_32_2_u.10	FAIL	593.52
sortnetsort10.v.stepl.012	FAIL	593.55
ncf_8_16_4_euad.1	FAIL	593.58
ncf_4_16_4_u.4	FAIL	593.6
ncf_4_16_4_u.6	FAIL	593.6
ncf_4_16_4_edau.3	FAIL	593.6
sortnetsort9.v.stepl.009	FAIL	593.6
2qbf-5cnf-160var-320cl.0	FAIL	593.74
x60.8	FAIL	593.78
2qbf-5cnf-160var-320cl.6	FAIL	593.79
2qbf-5cnf-160var-320cl.3	FAIL	593.82
2qbf-5cnf-160var-320cl.4	FAIL	593.83
ncf_4_8_8_u.7	FAIL	593.84
sortnetsort9.v.stepl.011	FAIL	593.88
ncf_4_16_2_edau.3	FAIL	593.93
sortnetsort9.v.stepl.012	FAIL	593.95
x350.4	FAIL	593.98
ncf_4_16_4_u.1	FAIL	594.01
ncf_16_32_2_u.3	FAIL	594.02
ncf_4_16_4_u.9	FAIL	594.08
ncf_8_16_4_u.7	FAIL	594.1
6qbf-5cnf-160var-640cl.8	FAIL	594.22
ncf_4_32_2_u.7	FAIL	594.23
ncf_4_16_4_euad.4	FAIL	594.26
2qbf-5cnf-160var-320cl.1	FAIL	594.26
2qbf-5cnf-160var-320cl.7	FAIL	594.27
3qbf-5cnf-160var-640cl.2	FAIL	594.29
ncf_4_8_8_u.4	FAIL	594.37
3qbf-5cnf-160var-640cl.9	FAIL	594.41
sortnetsort10.v.stepl.010	FAIL	594.42
x70.0	FAIL	594.51
4qbf-5cnf-160var-640cl.0	FAIL	594.52
x400.2	FAIL	594.52
2qbf-5cnf-160var-320cl.9	FAIL	594.6
ncf_8_16_4_u.9	FAIL	594.63
ncf_4_16_2_euad.1	FAIL	594.64
4qbf-5cnf-160var-640cl.2	FAIL	594.65
x400.9	FAIL	594.72
4qbf-5cnf-160var-640cl.6	FAIL	594.84
sortnetsort10.AE.stepl.011	FAIL	594.84
x75.9	FAIL	594.86
3qbf-5cnf-160var-640cl.5	FAIL	594.9
ncf_4_8_4_euad.4	FAIL	594.97
ncf_4_8_8_u.6	FAIL	595.05
ncf_4_16_2_d.1	FAIL	595.13
ncf_8_16_4_euad.9	FAIL	595.13
ncf_4_16_2_euad.3	FAIL	595.13
2qbf-5cnf-160var-320cl.8	FAIL	595.15
x75.6	FAIL	595.21
sortnetsort10.v.stepl.009	FAIL	595.23
ncf_4_16_2_edau.8	FAIL	595.25
ncf_4_8_8_u.1	FAIL	595.29
x55.6	FAIL	595.34
sortnetsort8.v.stepl.008	FAIL	595.41
ncf_4_16_2_d.8	FAIL	595.42
3qbf-5cnf-160var-640cl.3	FAIL	595.43
sortnetsort9.v.stepl.008	FAIL	595.43
5qbf-5cnf-160var-640cl.2	FAIL	595.45
x400.6	FAIL	595.5
ncf_4_8_4_u.4	FAIL	595.52
2qbf-5cnf-160var-320cl.5	FAIL	595.57
3qbf-5cnf-160var-640cl.1	FAIL	595.64
4qbf-5cnf-160var-640cl.5	FAIL	595.66
sortnetsort9.v.stepl.010	FAIL	595.68
ncf_4_8_4_euad.10	FAIL	595.73
3qbf-5cnf-160var-640cl.7	FAIL	595.75
ncf_4_16_2_euad.8	FAIL	595.76
ncf_4_8_4_u.8	FAIL	595.78
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	595.78
5qbf-5cnf-160var-640cl.0	FAIL	595.81
x245.7	FAIL	595.81
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	595.82
sortnetsort10.v.stepl.011	FAIL	595.83
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	595.83
4qbf-5cnf-160var-640cl.9	FAIL	595.84
ncf_4_16_2_u.8	FAIL	595.84
x65.2	FAIL	595.85
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	595.86
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	595.87
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	595.88
5qbf-5cnf-160var-640cl.3	FAIL	595.92
4qbf-5cnf-160var-640cl.3	FAIL	595.92
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	595.93
6qbf-5cnf-160var-640cl.1	FAIL	595.94
4qbf-5cnf-160var-640cl.8	FAIL	595.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	595.99
x235.5	FAIL	596.01
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.02
x50.6	FAIL	596.04
6qbf-5cnf-160var-640cl.4	FAIL	596.05
ncf_4_8_4_euad.8	FAIL	596.06
ncf_4_16_2_euad.10	FAIL	596.07
4qbf-5cnf-160var-640cl.4	FAIL	596.07
3qbf-5cnf-160var-640cl.6	FAIL	596.09
6qbf-5cnf-160var-640cl.5	FAIL	596.1
sortnetsort9.AE.stepl.010	FAIL	596.1
6qbf-5cnf-160var-2560cl.2	FAIL	596.11
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	596.11
ncf_4_8_4_u.1	FAIL	596.12
4qbf-5cnf-160var-640cl.1	FAIL	596.13
5qbf-5cnf-160var-640cl.4	FAIL	596.14
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.14
ncf_4_16_2_d.5	FAIL	596.15
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.15
3qbf-5cnf-160var-640cl.4	FAIL	596.18
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	596.18
5qbf-5cnf-160var-640cl.1	FAIL	596.2
3qbf-5cnf-160var-640cl.0	FAIL	596.2
5qbf-5cnf-160var-2560cl.8	FAIL	596.21
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	596.21
x300.2	FAIL	596.22
sortnetsort7.v.stepl.009	FAIL	596.23
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.23
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.23
6qbf-5cnf-160var-640cl.3	FAIL	596.25
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.29
6qbf-5cnf-160var-640cl.7	FAIL	596.3
6qbf-5cnf-160var-640cl.6	FAIL	596.32
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	596.33
6qbf-5cnf-160var-2560cl.8	FAIL	596.34
x40.6	FAIL	596.34
sortnetsort10.v.stepl.008	FAIL	596.36
x245.2	FAIL	596.37
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.38
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.38
5qbf-5cnf-160var-640cl.6	FAIL	596.41
6qbf-5cnf-160var-640cl.0	FAIL	596.42
sortnetsort10.v.stepl.007	FAIL	596.43
3qbf-5cnf-160var-640cl.8	FAIL	596.44
6qbf-5cnf-160var-2560cl.7	FAIL	596.46
ncf_4_8_4_u.10	FAIL	596.46
x300.3	FAIL	596.47
ncf_4_16_2_d.3	FAIL	596.48
sortnetsort10.v.stepl.006	FAIL	596.48
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	596.48
6qbf-5cnf-160var-2560cl.6	FAIL	596.5
5qbf-5cnf-160var-2560cl.6	FAIL	596.51
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	596.51
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.54
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.55
x115.8	FAIL	596.56
sortnetsort7.v.stepl.007	FAIL	596.57
5qbf-5cnf-160var-640cl.8	FAIL	596.59
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	596.59
ncf_4_16_2_euad.7	FAIL	596.61
6qbf-5cnf-160var-640cl.9	FAIL	596.63
x225.4	FAIL	596.63
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	596.63
4qbf-5cnf-160var-640cl.7	FAIL	596.64
5qbf-5cnf-160var-640cl.9	FAIL	596.65
x50.1	FAIL	596.69
6qbf-5cnf-160var-2560cl.5	FAIL	596.73
x240.3	FAIL	596.76
x350.7	FAIL	596.78
sortnetsort10.AE.stepl.012	FAIL	596.78
6qbf-5cnf-160var-2560cl.1	FAIL	596.83
sortnetsort8.v.stepl.009	FAIL	596.83
5qbf-5cnf-160var-640cl.7	FAIL	596.84
x300.9	FAIL	596.87
5qbf-5cnf-160var-2560cl.7	FAIL	596.88
5qbf-5cnf-160var-2560cl.5	FAIL	596.9
sortnetsort10.AE.stepl.010	FAIL	596.9
5qbf-5cnf-160var-2560cl.0	FAIL	596.91
6qbf-5cnf-160var-640cl.2	FAIL	596.93
2qbf-5cnf-80var-320cl.7	FAIL	596.95
5qbf-5cnf-160var-2560cl.1	FAIL	596.95
5qbf-5cnf-160var-2560cl.9	FAIL	596.98
ncf_4_16_2_euad.5	FAIL	596.99
ncf_4_16_2_u.3	FAIL	596.99
x60.2	FAIL	597.04
6qbf-5cnf-160var-2560cl.4	FAIL	597.08
x220.7	FAIL	597.08
x240.4	FAIL	597.09
6qbf-5cnf-160var-2560cl.3	FAIL	597.12
6qbf-5cnf-160var-2560cl.9	FAIL	597.16
x215.3	FAIL	597.17
5qbf-5cnf-160var-2560cl.3	FAIL	597.21
4qbf-5cnf-160var-2560cl.6	FAIL	597.24
5qbf-5cnf-160var-2560cl.4	FAIL	597.25
sortnetsort9.v.stepl.006	FAIL	597.27
x180.2	FAIL	597.28
6qbf-5cnf-160var-2560cl.0	FAIL	597.33
ncf_4_16_2_u.10	FAIL	597.37
ncf_4_16_2_u.5	FAIL	597.45
x245.0	FAIL	597.45
sortnetsort9.v.stepl.007	FAIL	597.45
x45.7	FAIL	597.48
sortnetsort8.v.stepl.007	FAIL	597.48
6qbf-5cnf-80var-640cl.7	FAIL	597.49
x140.4	FAIL	597.49
x240.2	FAIL	597.49
x75.1	FAIL	597.49
4qbf-5cnf-160var-2560cl.3	FAIL	597.5
sortnetsort7.v.stepl.008	FAIL	597.52
2qbf-5cnf-80var-320cl.1	FAIL	597.53
x155.0	FAIL	597.56
sortnetsort10.v.stepl.005	FAIL	597.57
x170.4	FAIL	597.62
4qbf-5cnf-160var-2560cl.2	FAIL	597.64
4qbf-5cnf-160var-2560cl.4	FAIL	597.64
x350.0	FAIL	597.66
5qbf-5cnf-160var-2560cl.2	FAIL	597.69
3qbf-5cnf-160var-2560cl.3	FAIL	597.72
5qbf-5cnf-160var-640cl.5	FAIL	597.73
x40.7	FAIL	597.75
3qbf-5cnf-80var-320cl.7	FAIL	597.78
4qbf-5cnf-160var-2560cl.5	FAIL	597.79
4qbf-5cnf-80var-320cl.5	FAIL	597.81
x185.0	FAIL	597.82
3qbf-5cnf-160var-2560cl.2	FAIL	597.83
sortnetsort7.v.stepl.006	FAIL	597.85
6qbf-5cnf-80var-640cl.8	FAIL	597.86
6qbf-5cnf-80var-640cl.3	FAIL	597.88
x220.9	FAIL	597.88
x50.5	FAIL	597.88
BLOCKS4i.6.4	FAIL	597.89
x245.1	FAIL	597.89
4qbf-5cnf-160var-2560cl.1	FAIL	597.9
x230.9	FAIL	597.9
x225.2	FAIL	597.91
5qbf-5cnf-80var-640cl.1	FAIL	597.94
5qbf-5cnf-80var-640cl.0	FAIL	597.96
4qbf-5cnf-160var-2560cl.7	FAIL	597.96
3qbf-5cnf-160var-2560cl.7	FAIL	597.97
6qbf-5cnf-80var-640cl.4	FAIL	597.97
sortnetsort10.AE.stepl.009	FAIL	597.97
x220.8	FAIL	597.98
5qbf-5cnf-80var-640cl.3	FAIL	597.99
sortnetsort10.AE.stepl.008	FAIL	597.99
sortnetsort8.v.stepl.006	FAIL	597.99
4qbf-5cnf-160var-2560cl.0	FAIL	598.02
sortnetsort9.v.stepl.005	FAIL	598.02
x180.7	FAIL	598.04
4qbf-5cnf-80var-320cl.9	FAIL	598.05
x230.6	FAIL	598.05
6qbf-5cnf-80var-640cl.5	FAIL	598.06
5qbf-5cnf-80var-640cl.2	FAIL	598.06
4qbf-5cnf-80var-320cl.6	FAIL	598.09
4qbf-5cnf-80var-320cl.8	FAIL	598.1
x300.4	FAIL	598.1
6qbf-5cnf-80var-1280cl.9	FAIL	598.11
x205.3	FAIL	598.13
sortnetsort9.AE.stepl.011	FAIL	598.13
2qbf-5cnf-80var-320cl.2	FAIL	598.14
x240.7	FAIL	598.16
6qbf-5cnf-80var-640cl.9	FAIL	598.18
x215.8	FAIL	598.2
x155.3	FAIL	598.21
4qbf-5cnf-160var-2560cl.8	FAIL	598.22
4qbf-5cnf-80var-320cl.3	FAIL	598.22
5qbf-5cnf-80var-640cl.5	FAIL	598.25
5qbf-5cnf-80var-640cl.9	FAIL	598.25
x215.0	FAIL	598.25
6qbf-5cnf-80var-640cl.1	FAIL	598.27
5qbf-5cnf-80var-640cl.4	FAIL	598.3
5qbf-5cnf-80var-640cl.7	FAIL	598.31
4qbf-5cnf-160var-2560cl.9	FAIL	598.31
sortnetsort10.AE.stepl.007	FAIL	598.33
5qbf-5cnf-80var-1280cl.8	FAIL	598.36
5qbf-5cnf-80var-1280cl.0	FAIL	598.37
3qbf-5cnf-160var-2560cl.0	FAIL	598.38
6qbf-5cnf-80var-640cl.6	FAIL	598.38
x220.3	FAIL	598.4
2qbf-5cnf-80var-320cl.4	FAIL	598.41
3qbf-5cnf-160var-2560cl.1	FAIL	598.42
5qbf-5cnf-80var-640cl.6	FAIL	598.43
adder-4-sat	FAIL	598.44
3qbf-5cnf-160var-2560cl.5	FAIL	598.44
2qbf-5cnf-160var-2560cl.1	FAIL	598.44
6qbf-5cnf-80var-1280cl.5	FAIL	598.45
x190.1	FAIL	598.46
sortnetsort10.AE.stepl.006	FAIL	598.46
4qbf-5cnf-80var-320cl.7	FAIL	598.48
2qbf-5cnf-160var-2560cl.7	FAIL	598.49
6qbf-5cnf-80var-640cl.0	FAIL	598.5
2qbf-5cnf-80var-320cl.5	FAIL	598.53
6qbf-5cnf-80var-1280cl.7	FAIL	598.53
x150.0	FAIL	598.53
5qbf-5cnf-80var-1280cl.9	FAIL	598.54
4qbf-5cnf-80var-320cl.4	FAIL	598.54
x170.5	FAIL	598.54
6qbf-5cnf-80var-1280cl.4	FAIL	598.55
6qbf-5cnf-80var-640cl.2	FAIL	598.57
6qbf-5cnf-40var-320cl.9	FAIL	598.58
4qbf-5cnf-80var-320cl.1	FAIL	598.58
6qbf-5cnf-80var-1280cl.6	FAIL	598.59
x195.1	FAIL	598.59
3qbf-5cnf-160var-2560cl.8	FAIL	598.6
3qbf-5cnf-160var-2560cl.4	FAIL	598.6
sortnetsort9.AE.stepl.012	FAIL	598.6
x180.8	FAIL	598.61
4qbf-5cnf-80var-320cl.2	FAIL	598.63
x185.3	FAIL	598.64
5qbf-5cnf-80var-1280cl.5	FAIL	598.65
x250.8	FAIL	598.65
4qbf-5cnf-80var-320cl.0	FAIL	598.66
6qbf-5cnf-80var-1280cl.0	FAIL	598.68
6qbf-5cnf-40var-320cl.0	FAIL	598.68
6qbf-5cnf-80var-1280cl.8	FAIL	598.68
5qbf-5cnf-80var-640cl.8	FAIL	598.69
x145.0	FAIL	598.69
6qbf-5cnf-80var-1280cl.3	FAIL	598.7
x200.5	FAIL	598.7
x60.9	FAIL	598.7
sortnetsort6.v.stepl.007	FAIL	598.71
x220.0	FAIL	598.72
6qbf-5cnf-80var-1280cl.1	FAIL	598.73
x120.2	FAIL	598.73
5qbf-5cnf-80var-1280cl.2	FAIL	598.74
x245.3	FAIL	598.74
2qbf-5cnf-80var-320cl.9	FAIL	598.75
x205.7	FAIL	598.75
4qbf-5cnf-80var-1280cl.5	FAIL	598.78
3qbf-5cnf-160var-2560cl.6	FAIL	598.78
2qbf-5cnf-160var-2560cl.0	FAIL	598.81
BLOCKS4iii.7	FAIL	598.83
x125.7	FAIL	598.83
x45.9	FAIL	598.84
sortnetsort9.AE.stepl.009	FAIL	598.84
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	598.84
3qbf-5cnf-160var-2560cl.9	FAIL	598.86
5qbf-5cnf-80var-1280cl.4	FAIL	598.88
x175.9	FAIL	598.88
5qbf-5cnf-80var-1280cl.1	FAIL	598.91
x400.7	FAIL	598.91
5qbf-5cnf-80var-1280cl.6	FAIL	598.93
4qbf-5cnf-80var-1280cl.0	FAIL	598.93
sortnetsort7.AE.stepl.008	UNSAT	598.93
sortnetsort8.v.stepl.005	FAIL	598.93
sortnetsort9.AE.stepl.007	FAIL	598.93
2qbf-5cnf-80var-320cl.0	FAIL	598.95
2qbf-5cnf-160var-2560cl.4	FAIL	598.97
x165.3	FAIL	598.97
6qbf-5cnf-40var-320cl.1	FAIL	598.99
5qbf-5cnf-80var-1280cl.3	FAIL	599
sortnetsort8.AE.stepl.009	FAIL	599.04
2qbf-5cnf-160var-2560cl.9	FAIL	599.06
4qbf-5cnf-80var-1280cl.4	FAIL	599.07
sortnetsort10.AE.stepl.005	FAIL	599.07
x195.6	FAIL	599.09
4qbf-5cnf-80var-1280cl.6	FAIL	599.1
6qbf-5cnf-40var-320cl.5	FAIL	599.11
x70.5	FAIL	599.11
x200.8	FAIL	599.12
x205.2	FAIL	599.15
k_poly_n-20	FAIL	599.16
sortnetsort8.AE.stepl.008	FAIL	599.17
2qbf-5cnf-160var-2560cl.2	FAIL	599.18
3qbf-5cnf-80var-1280cl.9	FAIL	599.18
sortnetsort9.AE.stepl.008	FAIL	599.18
5qbf-5cnf-80var-1280cl.7	FAIL	599.2
6qbf-5cnf-80var-1280cl.2	FAIL	599.2
6qbf-5cnf-40var-320cl.3	FAIL	599.2
k_poly_n-21	FAIL	599.2
2qbf-5cnf-160var-2560cl.6	FAIL	599.22
2qbf-5cnf-160var-2560cl.3	FAIL	599.22
4qbf-5cnf-80var-1280cl.2	FAIL	599.22
4qbf-5cnf-80var-1280cl.9	FAIL	599.22
6qbf-5cnf-40var-320cl.4	FAIL	599.23
6qbf-5cnf-40var-320cl.8	FAIL	599.24
2qbf-5cnf-80var-320cl.3	FAIL	599.24
x220.5	FAIL	599.24
sortnetsort7.v.stepl.005	FAIL	599.24
4qbf-5cnf-80var-1280cl.7	FAIL	599.25
3qbf-5cnf-80var-1280cl.7	FAIL	599.25
k_branch_p-12	FAIL	599.25
x115.9	FAIL	599.25
x130.3	FAIL	599.25
sortnetsort6.v.stepl.006	FAIL	599.25
x100.7	FAIL	599.26
x45.3	FAIL	599.26
2qbf-5cnf-160var-2560cl.5	FAIL	599.27
sortnetsort7.AE.stepl.009	FAIL	599.27
x110.9	FAIL	599.28
x215.5	FAIL	599.29
6qbf-5cnf-40var-320cl.2	FAIL	599.3
4qbf-5cnf-80var-1280cl.1	FAIL	599.31
4qbf-5cnf-40var-320cl.9	FAIL	599.32
5qbf-5cnf-40var-320cl.8	FAIL	599.33
x105.5	FAIL	599.33
5qbf-5cnf-40var-320cl.9	FAIL	599.34
4qbf-5cnf-80var-1280cl.8	FAIL	599.34
3qbf-5cnf-80var-1280cl.0	FAIL	599.35
x140.2	FAIL	599.35
4qbf-5cnf-40var-320cl.7	FAIL	599.36
5qbf-5cnf-40var-320cl.3	FAIL	599.37
5qbf-5cnf-40var-320cl.7	FAIL	599.38
sortnetsort9.AE.stepl.006	FAIL	599.39
x205.5	FAIL	599.4
6qbf-5cnf-40var-640cl.0	FAIL	599.42
6qbf-5cnf-40var-320cl.6	FAIL	599.43
3qbf-5cnf-80var-1280cl.4	FAIL	599.43
5qbf-5cnf-40var-320cl.2	FAIL	599.43
5qbf-5cnf-40var-640cl.3	FAIL	599.43
5qbf-5cnf-40var-640cl.0	FAIL	599.43
x155.5	FAIL	599.44
5qbf-5cnf-40var-320cl.6	FAIL	599.47
6qbf-5cnf-40var-640cl.4	FAIL	599.48
6qbf-5cnf-40var-640cl.8	FAIL	599.48
5qbf-5cnf-40var-320cl.5	FAIL	599.48
2qbf-5cnf-80var-640cl.1	FAIL	599.48
x190.4	FAIL	599.49
6qbf-5cnf-40var-640cl.5	FAIL	599.51
2qbf-5cnf-80var-320cl.8	FAIL	599.51
4qbf-5cnf-80var-1280cl.3	FAIL	599.52
x165.9	FAIL	599.52
5qbf-5cnf-40var-320cl.1	FAIL	599.55
3qbf-5cnf-80var-1280cl.1	FAIL	599.55
k_poly_n-16	FAIL	599.55
2qbf-5cnf-80var-320cl.6	FAIL	599.57
toilet_c_10_05.7	FAIL	599.57
k_branch_n-8	FAIL	599.58
5qbf-5cnf-40var-640cl.4	FAIL	599.58
sortnetsort8.AE.stepl.005	FAIL	599.58
x105.0	FAIL	599.59
3qbf-5cnf-40var-320cl.5	FAIL	599.6
6qbf-5cnf-40var-320cl.7	FAIL	599.63
x205.9	FAIL	599.63
sortnetsort8.AE.stepl.007	FAIL	599.63
x195.4	FAIL	599.64
sortnetsort7.AE.stepl.005	FAIL	599.64
4qbf-5cnf-40var-320cl.1	FAIL	599.65
4qbf-5cnf-40var-320cl.0	FAIL	599.66
4qbf-5cnf-40var-320cl.8	FAIL	599.66
x190.9	FAIL	599.66
x85.4	FAIL	599.66
6qbf-5cnf-40var-640cl.9	FAIL	599.68
4qbf-5cnf-40var-320cl.4	FAIL	599.68
5qbf-5cnf-40var-640cl.9	FAIL	599.68
x95.5	FAIL	599.68
x155.4	FAIL	599.7
4qbf-5cnf-40var-320cl.6	FAIL	599.71
x140.6	FAIL	599.71
3qbf-5cnf-80var-1280cl.5	FAIL	599.72
5qbf-5cnf-40var-320cl.0	FAIL	599.72
x75.4	FAIL	599.73
k_branch_p-8	FAIL	599.74
x75.2	FAIL	599.74
4qbf-5cnf-40var-320cl.2	FAIL	599.75
6qbf-5cnf-40var-640cl.7	FAIL	599.76
4qbf-5cnf-40var-320cl.3	FAIL	599.77
6qbf-5cnf-40var-640cl.1	FAIL	599.77
4qbf-5cnf-40var-640cl.0	FAIL	599.78
x195.8	FAIL	599.8
3qbf-5cnf-40var-320cl.9	FAIL	599.81
x80.2	FAIL	599.81
x80.8	FAIL	599.81
5qbf-5cnf-40var-320cl.4	FAIL	599.82
sortnetsort8.AE.stepl.006	FAIL	599.82
5qbf-5cnf-40var-640cl.2	FAIL	599.83
2qbf-5cnf-80var-640cl.3	FAIL	599.83
x180.4	FAIL	599.84
sortnetsort10.v.stepl.004	FAIL	599.84
sortnetsort8.v.stepl.004	FAIL	599.85
sortnetsort9.AE.stepl.005	FAIL	599.86
6qbf-5cnf-40var-640cl.3	FAIL	599.87
x220.1	FAIL	599.87
4qbf-5cnf-40var-320cl.5	FAIL	599.88
x105.2	FAIL	599.88
x150.1	FAIL	599.88
x75.3	FAIL	599.88
5qbf-5cnf-40var-640cl.5	FAIL	599.89
6qbf-5cnf-20var-320cl.2	FAIL	599.89
4qbf-5cnf-40var-640cl.2	FAIL	599.89
2qbf-5cnf-80var-640cl.0	FAIL	599.9
k_path_p-20	FAIL	599.9
sortnetsort9.v.stepl.004	FAIL	599.9
2qbf-5cnf-80var-640cl.9	FAIL	599.91
6qbf-5cnf-20var-160cl.0	FAIL	599.92
x75.7	FAIL	599.92
6qbf-5cnf-40var-640cl.2	FAIL	599.93
x110.8	FAIL	599.94
x160.1	FAIL	599.94
sortnetsort7.AE.stepl.007	FAIL	599.94
2qbf-5cnf-80var-640cl.8	FAIL	599.95
5qbf-5cnf-40var-640cl.6	FAIL	599.95
x135.9	FAIL	599.97
4qbf-5cnf-40var-640cl.9	FAIL	599.98
TOILET10.1.iv.20	FAIL	599.98
x75.5	FAIL	599.98
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	599.98
k_path_p-21	FAIL	599.99
texas.ifetch1^9.E-f2	FAIL	600.72
eijk.S1196.S-d2	SAT	720.06
k_dum_p-12	UNSAT	734.31
eijk.S1238.S-d2	SAT	802.13
k_grz_n-8	SAT	987.13
x55.5	SAT	1298.02
2qbf-5cnf-40var-320cl.2	UNSAT	1310.42
2qbf-5cnf-40var-320cl.9	UNSAT	1399.73
k_grz_p-16	UNSAT	1557.42
sortnetsort8.v.stepl.003	UNSAT	1589.67
2qbf-5cnf-40var-320cl.4	UNSAT	1753.64
x85.6	UNSAT	1960.59
k_lin_n-21	FAIL	2022.6
2qbf-5cnf-40var-160cl.6	UNSAT	2043.5
k_lin_n-20	FAIL	2091.27
vis.eisenberg.E-f2	SAT	2105.06
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	2220.39
k_lin_n-16	FAIL	2530.71
k_lin_n-12	SAT	2729.85
k_t4p_n-21	FAIL	3125.91
x65.1	UNSAT	3143.74
k_t4p_n-20	FAIL	3416.09
test5_quant_squaring4	FAIL	3749.15
test5_quant_squaring5	FAIL	3819.54
C880.blif_0.10_1.00_0_1_out_exact	SAT	3850.31
counter_r_8	SAT	4668.95
4qbf-5cnf-20var-160cl.9	SAT	4802.01
k_t4p_n-16	FAIL	4939.65
C432.blif_0.10_0.20_0_0_inp_exact	UNSAT	5395.65
T-adeu-2	FAIL	5707.29
x300.5	FAIL	5711.89
x230.3	FAIL	5717.02
x300.1	FAIL	5717.66
x250.5	FAIL	5721.18
x250.6	FAIL	5743.34
x240.6	FAIL	5743.45
x185.8	FAIL	5749.88
x235.6	FAIL	5755.9
x250.3	FAIL	5759.9
x175.4	FAIL	5767.95
x225.9	FAIL	5774.44
x300.6	FAIL	5776.89
x215.9	FAIL	5783.4
x200.0	FAIL	5797.98
x190.6	FAIL	5803.37
x230.5	FAIL	5806.09
x250.4	FAIL	5820.64
x235.2	FAIL	5858.39
x245.6	FAIL	5867.81
x225.1	FAIL	5871.99
x210.8	FAIL	5920.99
x215.4	FAIL	5928.58
sortnetsort7.AE.stepl.006	FAIL	5961.04
x200.2	FAIL	5962.91
x220.4	FAIL	5972.74
x195.5	FAIL	5989.74
TOILET16.1.iv.32	FAIL	5993.44
k_poly_n-12	FAIL	5997.4
6qbf-5cnf-40var-640cl.6	FAIL	5997.59
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	5997.62
counter_e_8	FAIL	5997.69
k_path_n-20	FAIL	5997.72
sortnetsort7.v.stepl.004	FAIL	5997.91
k_path_n-12	FAIL	5997.94
x350.1	FAIL	5997.94
x350.6	FAIL	5998
k_path_n-21	FAIL	5998.02
k_path_p-16	FAIL	5998.03
k_path_p-12	FAIL	5998.15
k_path_p-8	FAIL	5998.16
k_path_n-16	FAIL	5998.21
4qbf-5cnf-40var-640cl.1	FAIL	5998.29
x70.7	FAIL	5998.35
x350.5	FAIL	5998.42
x350.9	FAIL	5998.45
2qbf-5cnf-80var-640cl.4	FAIL	5998.47
k_branch_n-4	FAIL	5998.48
2qbf-5cnf-80var-640cl.6	FAIL	5998.49
k_poly_n-8	FAIL	5998.5
k_path_n-8	FAIL	5998.55
x200.9	FAIL	5998.57
k_t4p_p-20	FAIL	5998.6
x220.2	FAIL	5998.61
x400.1	FAIL	5998.62
counter_re_8	FAIL	5998.63
x90.3	FAIL	5998.63
k_grz_p-20	FAIL	5998.64
x400.8	FAIL	5998.67
k_t4p_p-21	FAIL	5998.71
2qbf-5cnf-40var-320cl.7	FAIL	5998.72
x90.1	FAIL	5998.72
k_d4_n-20	FAIL	5998.74
x110.1	FAIL	5998.74
k_poly_n-4	FAIL	5998.75
x245.4	FAIL	5998.76
k_t4p_n-12	FAIL	5998.78
x245.5	FAIL	5998.81
x350.3	FAIL	5998.82
3qbf-5cnf-40var-320cl.2	FAIL	5998.85
x250.9	FAIL	5998.85
x205.1	FAIL	5998.86
k_dum_p-21	FAIL	5998.89
x225.5	FAIL	5998.89
k_grz_n-21	FAIL	5998.92
x250.7	FAIL	5998.92
2qbf-5cnf-80var-640cl.5	FAIL	5998.93
CHAIN23v.24	FAIL	5998.96
2qbf-5cnf-40var-160cl.1	FAIL	5998.99
x95.0	FAIL	5998.99
x300.7	FAIL	5999.01
2qbf-5cnf-40var-160cl.5	FAIL	5999.02
k_dum_p-20	FAIL	5999.11
C499.blif_0.10_1.00_0_0_out_exact	FAIL	5999.12
k_t4p_p-16	FAIL	5999.12
k_d4_n-21	FAIL	5999.14
2qbf-5cnf-40var-160cl.8	FAIL	5999.15
x105.9	FAIL	5999.17
x105.4	FAIL	5999.19
x110.6	FAIL	5999.19
CHAIN21v.22	FAIL	5999.21
k_t4p_n-8	FAIL	5999.23
k_dum_p-16	FAIL	5999.23
x140.8	FAIL	5999.23
CHAIN22v.23	FAIL	5999.25
k_grz_n-20	FAIL	5999.25
k_t4p_p-12	FAIL	5999.26
k_t4p_p-8	FAIL	5999.29
x100.4	FAIL	5999.29
2qbf-5cnf-40var-160cl.2	FAIL	5999.31
k_grz_p-21	FAIL	5999.32
CHAIN20v.21	FAIL	5999.34
k_t4p_p-4	FAIL	5999.34
k_d4_p-20	FAIL	5999.35
x120.0	FAIL	5999.39
2qbf-5cnf-80var-640cl.2	FAIL	5999.41
k_d4_n-16	FAIL	5999.42
k_dum_n-20	FAIL	5999.42
2qbf-5cnf-40var-160cl.9	FAIL	5999.44
2qbf-5cnf-80var-640cl.7	FAIL	5999.44
k_dum_n-21	FAIL	5999.45
x100.1	FAIL	5999.46
x90.9	FAIL	5999.46
eijk.S953.S-f2	FAIL	5999.48
qshifter_7	FAIL	5999.49
k_grz_p-12	FAIL	5999.5
texas.parsesys^2.E-f2	FAIL	5999.51
x80.5	FAIL	5999.52
eijk.bs1512.S-f2	FAIL	5999.52
k_d4_p-21	FAIL	5999.55
1qbf-5cnf-80var-2560cl.7	FAIL	5999.58
qshifter_6	FAIL	5999.59
2qbf-5cnf-40var-320cl.6	FAIL	5999.6
cmu.gigamax.B-f2	FAIL	5999.6
k_grz_n-16	FAIL	5999.61
k_grz_n-12	FAIL	5999.62
k_d4_p-16	FAIL	5999.65
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	5999.65
ken.oop^1.C-f2	FAIL	5999.65
vis.4-arbit^2.E-f2	FAIL	5999.65
k_d4_p-12	FAIL	5999.66
eijk.S386.S-f2	FAIL	5999.67
irst.dme6.B-f2	FAIL	5999.67
texas.PI_main^12.E-f2	FAIL	5999.67
eijk.S641.S-f2	FAIL	5999.72
nusmv.reactor^2.C-f2	FAIL	5999.73
k_dum_n-16	FAIL	5999.74
s510_d2_s	FAIL	5999.76
k_dum_n-12	FAIL	5999.76
nusmv.reactor^3.C-f2	FAIL	5999.76
s386_d2_s	FAIL	5999.77
k_d4_n-12	FAIL	5999.77
k_t4p_n-4	FAIL	5999.77
nusmv.reactor^7.C-f2	FAIL	5999.77
2qbf-5cnf-40var-160cl.7	FAIL	5999.78
1qbf-5cnf-80var-2560cl.3	FAIL	5999.78
ken.oop^2.C-f2	FAIL	5999.79
k_d4_n-8	FAIL	5999.8
eijk.S832.S-f2	FAIL	5999.8
2qbf-5cnf-40var-160cl.3	FAIL	5999.81
s820_d2_s	FAIL	5999.81
1qbf-5cnf-80var-2560cl.8	FAIL	5999.81
eijk.S820.S-f2	FAIL	5999.81
texas.two_proc^3.E-f2	FAIL	5999.81
lut4_2_f2	FAIL	5999.82
test3_quant4	FAIL	5999.82
1qbf-5cnf-80var-2560cl.2	FAIL	5999.82
texas.PI_main^01.E-f2	FAIL	5999.83
1qbf-5cnf-80var-2560cl.0	FAIL	5999.84
k_dum_n-8	FAIL	5999.85
nusmv.brp.B-f2	FAIL	5999.85
texas.PI_main^02.E-f2	FAIL	5999.85
k_d4_n-4	FAIL	5999.86
1qbf-5cnf-80var-2560cl.1	FAIL	5999.86
vis.coherence^1.E-f2	FAIL	5999.86
k_d4_p-8	FAIL	5999.87
s713_d2_s	FAIL	5999.88
texas.two_proc^1.E-f2	FAIL	5999.88
irst.dme4.B-f2	FAIL	5999.89
vis.4-arbit^1.E-f2	FAIL	5999.9
qshifter_5	FAIL	5999.91
1qbf-5cnf-80var-2560cl.6	FAIL	5999.91
1qbf-5cnf-80var-2560cl.4	FAIL	5999.91
texas.parsesys^1.E-f2	FAIL	5999.91
texas.two_proc^2.E-f2	FAIL	5999.91
s27_d3_u	FAIL	5999.92
texas.PI_main^16.E-f2	FAIL	5999.92
test5_quant7	FAIL	5999.94
eijk.S382.S-f2	FAIL	5999.95
1qbf-5cnf-80var-2560cl.9	FAIL	5999.96
texas.parsesys^3.E-f2	FAIL	5999.96
vis.coherence^5.E-f2	FAIL	5999.96
test3_quant_squaring2	FAIL	5999.97
2qbf-5cnf-40var-160cl.4	FAIL	5999.97
texas.two_proc^6.E-f2	FAIL	5999.97
s27_d4_u	FAIL	5999.98
nusmv.syncarb10^2.B-f2	FAIL	5999.98
texas.PI_main^11.E-f2	FAIL	5999.98
1qbf-5cnf-80var-2560cl.5	FAIL	6000
eijk.S444.S-f2	FAIL	6000
vis.elevator^3.E-f2	FAIL	6000
eijk.S713.S-f2	FAIL	6000.01
nusmv.reactor^4.C-f2	FAIL	6000.01
s499_d4_s	FAIL	6000.02
s298_d4_s	FAIL	6000.02
eijk.S510.S-f2	FAIL	6000.03
nusmv.reactor^6.C-f2	FAIL	6000.03
vis.coherence^2.E-f2	FAIL	6000.03
eijk.S420.S-f2	FAIL	6000.04
eijk.S838.S-f2	FAIL	6000.04
texas.two_proc^5.E-f2	FAIL	6000.04
cmu.dme2.B-f2	FAIL	6000.05
vis.elevator^2.E-f2	FAIL	6000.05
s298_d2_s	FAIL	6000.06
texas.PI_main^10.E-f2	FAIL	6000.06
vis.bakery.E-f2	FAIL	6000.09
eijk.S349.S-f2	FAIL	6000.1
texas.two_proc^4.E-f2	FAIL	6000.1
eijk.S526.S-f2	FAIL	6000.11
texas.ifetch1^7.E-f2	FAIL	6000.11
s27_d5_u	FAIL	6000.12
cmu.dme1.B-f2	FAIL	6000.14
eijk.S344.S-f2	FAIL	6000.16
eijk.S208c.S-f2	FAIL	6000.17
eijk.S208.S-f2	FAIL	6000.17
qshifter_8	FAIL	6000.18
test3_quant2	FAIL	6000.18
test5_quant5	FAIL	6000.18
vis.arbiter.E-f2	FAIL	6000.18
eijk.S208o.S-f2	FAIL	6000.19
eijk.S298.S-f2	FAIL	6000.19
vis.coherence^3.E-f2	FAIL	6000.2
irst.dme5.B-f2	FAIL	6000.21
nusmv.syncarb5^2.B-f2	FAIL	6000.22
texas.ifetch1^5.E-f2	FAIL	6000.25
C432.blif_0.10_0.20_0_0_out_exact	FAIL	6000.32
texas.ifetch1^8.E-f2	FAIL	6000.32
s499_d2_s	FAIL	6000.36

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by yQuaffle
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by yQuaffle QBFEVAL'06

Instances solved by yQuaffle
QBFEVAL'06