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

Instances solved by GRL
QBFEVAL'06

Instance	Result	Time
3qbf-5cnf-20var-160cl.9	SAT	0
4qbf-5cnf-20var-640cl.8	UNSAT	0
5qbf-5cnf-20var-640cl.1	UNSAT	0
4qbf-5cnf-20var-640cl.4	UNSAT	0
4qbf-5cnf-20var-640cl.6	UNSAT	0
5qbf-5cnf-20var-640cl.7	UNSAT	0
3qbf-5cnf-80var-320cl.3	SAT	0
4qbf-5cnf-20var-640cl.9	UNSAT	0
x5.1	UNSAT	0
x5.8	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.S208.S-d2	SAT	0
eijk.S298.S-d2	SAT	0
eijk.S382.S-d2	SAT	0
eijk.S386.S-d2	SAT	0
eijk.S444.S-d2	SAT	0
eijk.S526.S-d2	SAT	0
vis.4-arbit^1.E-d2	SAT	0
vis.bakery.E-d2	SAT	0
vis.eisenberg.E-d2	SAT	0
Qq2k1k4v40v40m2s1	SAT	0
Qq2k1k4v40v40m2s2	SAT	0
Qq2k1k4v40v40m2s6	SAT	0
Qq2k1k4v40v40m2s7	SAT	0
Qq2k1k4v40v40m2s8	SAT	0
Qq2k1k4v40v40m2s9	SAT	0
Qq2k1k4v40v40m4s0	SAT	0
Qq2k1k4v40v40m4s3	SAT	0
Qq2k1k4v40v40m4s5	SAT	0
Qq2k1k4v40v40m4s6	SAT	0
Qq2k1k4v40v40m4s7	SAT	0
Qq2k1k4v40v40m4s9	SAT	0
Qq2k1k4v40v40m8s0	SAT	0
Qq2k1k4v40v40m8s1	SAT	0
Qq2k1k4v40v40m8s2	UNSAT	0
Qq2k1k4v40v40m8s4	SAT	0
Qq2k1k4v40v40m8s6	UNSAT	0
Qq2k1k4v40v40m8s7	SAT	0
Qq2k1k4v40v40m8s8	SAT	0
Qq2k1k4v40v40m8s9	SAT	0
Qq2k1k4v40v40m16s0	UNSAT	0
Qq2k1k4v40v40m16s3	UNSAT	0
Qq2k1k4v40v40m16s4	SAT	0
Qq2k1k4v40v40m16s5	SAT	0
Qq2k1k4v40v40m16s7	SAT	0
Qq2k1k4v40v40m32s1	UNSAT	0
Qq2k1k4v40v40m32s2	UNSAT	0
Qq2k1k4v40v40m32s4	UNSAT	0
Qq2k1k4v40v40m32s5	UNSAT	0
Qq2k1k4v40v40m32s6	UNSAT	0
Qq2k1k4v40v40m32s7	UNSAT	0
Qq2k1k4v40v40m32s8	UNSAT	0
Qq2k1k4v40v40m32s9	UNSAT	0
Qq2k1k4v80v80m2s0	SAT	0
Qq2k1k4v80v80m2s1	SAT	0
Qq2k1k4v80v80m2s3	SAT	0
Qq2k1k4v80v80m2s4	SAT	0
Qq2k1k4v80v80m2s5	SAT	0
Qq2k1k4v80v80m2s6	SAT	0
Qq2k1k4v80v80m2s7	SAT	0
Qq2k1k4v80v80m2s8	SAT	0
Qq2k1k4v80v80m2s9	SAT	0
Qq2k1k4v80v80m4s0	SAT	0
Qq2k1k4v80v80m4s4	SAT	0
Qq2k1k4v80v80m4s5	SAT	0
Qq2k1k4v80v80m4s6	SAT	0
Qq2k1k4v80v80m4s8	SAT	0
Qq2k1k4v80v80m8s0	SAT	0
Qq2k1k4v80v80m8s1	SAT	0
Qq2k1k4v80v80m8s2	SAT	0
Qq2k1k4v80v80m8s3	SAT	0
Qq2k1k4v80v80m8s4	SAT	0
Qq2k1k4v80v80m8s5	SAT	0
Qq2k1k4v80v80m8s7	SAT	0
Qq2k1k4v80v80m8s8	SAT	0
Qq2k1k4v80v80m8s9	SAT	0
Qq2k1k4v80v80m16s2	SAT	0
Qq2k1k4v80v80m16s3	UNSAT	0
Qq2k1k4v80v80m16s4	SAT	0
Qq2k1k4v80v80m16s5	SAT	0
Qq2k1k4v80v80m16s6	SAT	0
Qq2k1k4v80v80m16s7	SAT	0
Qq2k1k4v80v80m16s8	UNSAT	0
Qq2k1k4v80v80m32s0	UNSAT	0
Qq2k1k4v80v80m32s1	SAT	0
Qq2k1k4v80v80m32s4	UNSAT	0
Qq2k1k4v80v80m32s6	UNSAT	0
Qq2k1k4v80v80m32s7	SAT	0
Qq2k1k4v80v80m32s8	UNSAT	0
Qq2k1k4v80v80m32s9	UNSAT	0
Qq2k2k3v40v40m2s0	SAT	0
Qq2k2k3v40v40m2s1	SAT	0
Qq2k2k3v40v40m2s2	SAT	0
Qq2k2k3v40v40m2s4	SAT	0
Qq2k2k3v40v40m2s5	SAT	0
Qq2k2k3v40v40m2s6	SAT	0
Qq2k2k3v40v40m2s7	SAT	0
Qq2k2k3v40v40m4s0	SAT	0
Qq2k2k3v40v40m4s1	SAT	0
Qq2k2k3v40v40m4s2	SAT	0
Qq2k2k3v40v40m4s3	SAT	0
Qq2k2k3v40v40m4s4	SAT	0
Qq2k2k3v40v40m4s5	SAT	0
Qq2k2k3v40v40m4s6	SAT	0
Qq2k2k3v40v40m4s7	SAT	0
Qq2k2k3v40v40m4s8	SAT	0
Qq2k2k3v40v40m4s9	SAT	0
Qq2k2k3v40v40m8s0	SAT	0
Qq2k2k3v40v40m8s2	SAT	0
Qq2k2k3v40v40m8s3	SAT	0
Qq2k2k3v40v40m8s4	SAT	0
Qq2k2k3v40v40m8s5	SAT	0
Qq2k2k3v40v40m8s6	SAT	0
Qq2k2k3v40v40m8s7	SAT	0
Qq2k2k3v40v40m8s8	SAT	0
Qq2k2k3v40v40m16s0	SAT	0
Qq2k2k3v40v40m16s1	SAT	0
Qq2k2k3v40v40m16s2	SAT	0
Qq2k2k3v40v40m16s3	SAT	0
Qq2k2k3v40v40m16s4	SAT	0
Qq2k2k3v40v40m16s5	SAT	0
Qq2k2k3v40v40m16s6	SAT	0
Qq2k2k3v40v40m16s7	SAT	0
Qq2k2k3v40v40m16s9	SAT	0
Qq2k2k3v40v40m32s0	SAT	0
Qq2k2k3v40v40m32s2	SAT	0
Qq2k2k3v40v40m32s4	SAT	0
Qq2k2k3v40v40m32s6	SAT	0
Qq2k2k3v40v40m32s8	SAT	0
Qq2k2k3v40v40m32s9	SAT	0
Qq2k2k3v80v80m2s0	SAT	0
Qq2k2k3v80v80m2s1	SAT	0
Qq2k2k3v80v80m2s2	SAT	0
Qq2k2k3v80v80m2s3	SAT	0
Qq2k2k3v80v80m2s4	SAT	0
Qq2k2k3v80v80m2s6	SAT	0
Qq2k2k3v80v80m2s7	SAT	0
Qq2k2k3v80v80m2s9	SAT	0
Qq2k2k3v80v80m4s0	SAT	0
Qq2k2k3v80v80m4s1	SAT	0
Qq2k2k3v80v80m4s3	SAT	0
Qq2k2k3v80v80m4s5	SAT	0
Qq2k2k3v80v80m4s6	SAT	0
Qq2k2k3v80v80m4s7	SAT	0
Qq2k2k3v80v80m4s8	SAT	0
Qq2k2k3v80v80m4s9	SAT	0
Qq2k2k3v80v80m8s0	SAT	0
Qq2k2k3v80v80m8s1	SAT	0
Qq2k2k3v80v80m8s2	SAT	0
Qq2k2k3v80v80m8s3	SAT	0
Qq2k2k3v80v80m8s5	SAT	0
Qq2k2k3v80v80m8s6	SAT	0
Qq2k2k3v80v80m8s7	SAT	0
Qq2k2k3v80v80m8s9	SAT	0
Qq2k2k3v80v80m16s0	SAT	0
Qq2k2k3v80v80m16s2	SAT	0
Qq2k2k3v80v80m16s3	SAT	0
Qq2k2k3v80v80m16s4	SAT	0
Qq2k2k3v80v80m16s5	SAT	0
Qq2k2k3v80v80m16s6	SAT	0
Qq2k2k3v80v80m16s7	SAT	0
Qq2k2k3v80v80m16s9	SAT	0
Qq2k2k3v80v80m32s0	SAT	0
Qq2k2k3v80v80m32s1	SAT	0
Qq2k2k3v80v80m32s2	SAT	0
Qq2k2k3v80v80m32s3	SAT	0
Qq2k2k3v80v80m32s5	SAT	0
Qq2k2k3v80v80m32s6	SAT	0
Qq2k2k3v80v80m32s7	SAT	0
Qq2k2k3v80v80m32s8	SAT	0
Qq2k2k3v80v80m32s9	SAT	0
Qq2k3k2v40v40m2s0	SAT	0
Qq2k3k2v40v40m2s4	SAT	0
Qq2k3k2v40v40m2s5	SAT	0
Qq2k3k2v40v40m2s6	SAT	0
Qq2k3k2v40v40m2s7	SAT	0
Qq2k3k2v40v40m2s8	SAT	0
Qq2k3k2v40v40m4s0	SAT	0
Qq2k3k2v40v40m4s1	SAT	0
Qq2k3k2v40v40m4s2	SAT	0
Qq2k3k2v40v40m4s3	SAT	0
Qq2k3k2v40v40m4s4	SAT	0
Qq2k3k2v40v40m4s5	SAT	0
Qq2k3k2v40v40m4s6	SAT	0
Qq2k3k2v40v40m4s7	SAT	0
Qq2k3k2v40v40m4s8	SAT	0
Qq2k3k2v40v40m4s9	SAT	0
Qq2k3k2v40v40m8s0	SAT	0
Qq2k3k2v40v40m8s1	SAT	0
Qq2k3k2v40v40m8s2	SAT	0
Qq2k3k2v40v40m8s5	SAT	0
Qq2k3k2v40v40m8s7	SAT	0
Qq2k3k2v40v40m8s8	SAT	0
Qq2k3k2v40v40m16s0	SAT	0
Qq2k3k2v40v40m16s2	SAT	0
Qq2k3k2v40v40m16s3	SAT	0
Qq2k3k2v40v40m16s5	SAT	0
Qq2k3k2v40v40m16s6	SAT	0
Qq2k3k2v40v40m16s7	SAT	0
Qq2k3k2v40v40m16s8	SAT	0
Qq2k3k2v40v40m16s9	SAT	0
Qq2k3k2v40v40m32s0	SAT	0
Qq2k3k2v40v40m32s1	SAT	0
Qq2k3k2v40v40m32s3	SAT	0
Qq2k3k2v40v40m32s4	SAT	0
Qq2k3k2v40v40m32s5	SAT	0
Qq2k3k2v40v40m32s6	SAT	0
Qq2k3k2v40v40m32s7	SAT	0
Qq2k3k2v40v40m32s9	SAT	0
Qq2k3k2v80v80m2s1	SAT	0
Qq2k3k2v80v80m2s2	SAT	0
Qq2k3k2v80v80m2s3	SAT	0
Qq2k3k2v80v80m2s5	SAT	0
Qq2k3k2v80v80m2s6	SAT	0
Qq2k3k2v80v80m2s7	SAT	0
Qq2k3k2v80v80m2s8	SAT	0
Qq2k3k2v80v80m4s0	SAT	0
Qq2k3k2v80v80m4s2	SAT	0
Qq2k3k2v80v80m4s3	SAT	0
Qq2k3k2v80v80m4s5	SAT	0
Qq2k3k2v80v80m4s6	SAT	0
Qq2k3k2v80v80m8s0	SAT	0
Qq2k3k2v80v80m8s2	SAT	0
Qq2k3k2v80v80m8s3	SAT	0
Qq2k3k2v80v80m8s4	SAT	0
Qq2k3k2v80v80m8s5	SAT	0
Qq2k3k2v80v80m8s6	SAT	0
Qq2k3k2v80v80m8s7	SAT	0
Qq2k3k2v80v80m8s9	SAT	0
Qq2k3k2v80v80m16s0	SAT	0
Qq2k3k2v80v80m16s1	SAT	0
Qq2k3k2v80v80m16s2	SAT	0
Qq2k3k2v80v80m16s3	SAT	0
Qq2k3k2v80v80m16s4	SAT	0
Qq2k3k2v80v80m16s5	SAT	0
Qq2k3k2v80v80m16s6	SAT	0
Qq2k3k2v80v80m16s7	SAT	0
Qq2k3k2v80v80m16s8	SAT	0
Qq2k3k2v80v80m16s9	SAT	0
Qq2k3k2v80v80m32s0	SAT	0
Qq2k3k2v80v80m32s1	SAT	0
Qq2k3k2v80v80m32s3	SAT	0
Qq2k3k2v80v80m32s4	SAT	0
Qq2k3k2v80v80m32s5	SAT	0
Qq2k3k2v80v80m32s6	SAT	0
Qq2k3k2v80v80m32s7	SAT	0
Qq2k3k2v80v80m32s8	SAT	0
Qq3k1k1k3v40v40v40m2s0	SAT	0
Qq3k1k1k3v40v40v40m2s1	SAT	0
Qq3k1k1k3v40v40v40m2s2	SAT	0
Qq3k1k1k3v40v40v40m2s3	SAT	0
Qq3k1k1k3v40v40v40m2s4	SAT	0
Qq3k1k1k3v40v40v40m2s5	SAT	0
Qq3k1k1k3v40v40v40m2s7	SAT	0
Qq3k1k1k3v40v40v40m2s8	SAT	0
Qq3k1k1k3v40v40v40m2s9	SAT	0
Qq3k1k1k3v40v40v40m4s0	SAT	0
Qq3k1k1k3v40v40v40m4s1	SAT	0
Qq3k1k1k3v40v40v40m4s2	SAT	0
Qq3k1k1k3v40v40v40m4s3	SAT	0
Qq3k1k1k3v40v40v40m4s5	SAT	0
Qq3k1k1k3v40v40v40m4s6	SAT	0
Qq3k1k1k3v40v40v40m4s7	SAT	0
Qq3k1k1k3v40v40v40m4s9	SAT	0
Qq3k1k1k3v40v40v40m8s0	SAT	0
Qq3k1k1k3v40v40v40m8s1	SAT	0
Qq3k1k1k3v40v40v40m8s3	SAT	0
Qq3k1k1k3v40v40v40m8s4	SAT	0
Qq3k1k1k3v40v40v40m8s5	SAT	0
Qq3k1k1k3v40v40v40m8s6	SAT	0
Qq3k1k1k3v40v40v40m8s8	SAT	0
Qq3k1k1k3v40v40v40m8s9	SAT	0
Qq3k1k1k3v40v40v40m16s0	SAT	0
Qq3k1k1k3v40v40v40m16s1	SAT	0
Qq3k1k1k3v40v40v40m16s2	SAT	0
Qq3k1k1k3v40v40v40m16s4	SAT	0
Qq3k1k1k3v40v40v40m16s5	SAT	0
Qq3k1k1k3v40v40v40m16s7	SAT	0
Qq3k1k1k3v40v40v40m16s8	SAT	0
Qq3k1k1k3v40v40v40m32s0	SAT	0
Qq3k1k1k3v40v40v40m32s1	SAT	0
Qq3k1k1k3v40v40v40m32s2	SAT	0
Qq3k1k1k3v40v40v40m32s3	SAT	0
Qq3k1k1k3v40v40v40m32s4	SAT	0
Qq3k1k1k3v40v40v40m32s5	SAT	0
Qq3k1k1k3v40v40v40m32s7	SAT	0
Qq3k1k1k3v40v40v40m32s8	SAT	0
Qq3k1k1k3v80v80v80m2s0	SAT	0
Qq3k1k1k3v80v80v80m2s1	SAT	0
Qq3k1k1k3v80v80v80m2s2	SAT	0
Qq3k1k1k3v80v80v80m2s3	SAT	0
Qq3k1k1k3v80v80v80m2s4	SAT	0
Qq3k1k1k3v80v80v80m4s1	SAT	0
Qq3k1k1k3v80v80v80m4s2	SAT	0
Qq3k1k1k3v80v80v80m4s3	SAT	0
Qq3k1k1k3v80v80v80m4s6	SAT	0
Qq3k1k1k3v80v80v80m4s7	SAT	0
Qq3k1k1k3v80v80v80m4s8	SAT	0
Qq3k1k1k3v80v80v80m4s9	SAT	0
Qq3k1k1k3v80v80v80m8s0	SAT	0
Qq3k1k1k3v80v80v80m8s2	SAT	0
Qq3k1k1k3v80v80v80m8s3	SAT	0
Qq3k1k1k3v80v80v80m8s4	SAT	0
Qq3k1k1k3v80v80v80m8s5	SAT	0
Qq3k1k1k3v80v80v80m8s6	SAT	0
Qq3k1k1k3v80v80v80m8s8	SAT	0
Qq3k1k1k3v80v80v80m8s9	SAT	0
Qq3k1k1k3v80v80v80m16s0	SAT	0
Qq3k1k1k3v80v80v80m16s1	SAT	0
Qq3k1k1k3v80v80v80m16s3	SAT	0
Qq3k1k1k3v80v80v80m16s5	SAT	0
Qq3k1k1k3v80v80v80m16s6	SAT	0
Qq3k1k1k3v80v80v80m16s7	SAT	0
Qq3k1k1k3v80v80v80m16s8	SAT	0
Qq3k1k1k3v80v80v80m16s9	SAT	0
Qq3k1k1k3v80v80v80m32s0	SAT	0
Qq3k1k1k3v80v80v80m32s1	SAT	0
Qq3k1k1k3v80v80v80m32s2	SAT	0
Qq3k1k1k3v80v80v80m32s3	SAT	0
Qq3k1k1k3v80v80v80m32s4	SAT	0
Qq3k1k1k3v80v80v80m32s6	SAT	0
Qq3k1k1k3v80v80v80m32s7	SAT	0
Qq3k1k2k2v40v40v40m2s0	SAT	0
Qq3k1k2k2v40v40v40m2s1	SAT	0
Qq3k1k2k2v40v40v40m2s2	SAT	0
Qq3k1k2k2v40v40v40m2s5	SAT	0
Qq3k1k2k2v40v40v40m2s6	SAT	0
Qq3k1k2k2v40v40v40m2s9	SAT	0
Qq3k1k2k2v40v40v40m4s0	SAT	0
Qq3k1k2k2v40v40v40m4s1	SAT	0
Qq3k1k2k2v40v40v40m4s2	SAT	0
Qq3k1k2k2v40v40v40m4s3	SAT	0
Qq3k1k2k2v40v40v40m4s4	SAT	0
Qq3k1k2k2v40v40v40m4s5	SAT	0
Qq3k1k2k2v40v40v40m4s6	SAT	0
Qq3k1k2k2v40v40v40m8s0	SAT	0
Qq3k1k2k2v40v40v40m8s1	SAT	0
Qq3k1k2k2v40v40v40m8s2	SAT	0
Qq3k1k2k2v40v40v40m8s3	SAT	0
Qq3k1k2k2v40v40v40m8s4	SAT	0
Qq3k1k2k2v40v40v40m8s6	SAT	0
Qq3k1k2k2v40v40v40m8s7	SAT	0
Qq3k1k2k2v40v40v40m8s8	SAT	0
Qq3k1k2k2v40v40v40m8s9	SAT	0
Qq3k1k2k2v40v40v40m16s0	SAT	0
Qq3k1k2k2v40v40v40m16s1	SAT	0
Qq3k1k2k2v40v40v40m16s3	SAT	0
Qq3k1k2k2v40v40v40m16s4	SAT	0
Qq3k1k2k2v40v40v40m16s5	SAT	0
Qq3k1k2k2v40v40v40m16s7	SAT	0
Qq3k1k2k2v40v40v40m16s9	SAT	0
Qq3k1k2k2v40v40v40m32s0	SAT	0
Qq3k1k2k2v40v40v40m32s2	SAT	0
Qq3k1k2k2v40v40v40m32s3	SAT	0
Qq3k1k2k2v40v40v40m32s5	SAT	0
Qq3k1k2k2v40v40v40m32s8	SAT	0
Qq3k1k2k2v40v40v40m32s9	SAT	0
Qq3k1k2k2v80v80v80m2s0	SAT	0
Qq3k1k2k2v80v80v80m2s2	SAT	0
Qq3k1k2k2v80v80v80m2s3	SAT	0
Qq3k1k2k2v80v80v80m2s4	SAT	0
Qq3k1k2k2v80v80v80m2s5	SAT	0
Qq3k1k2k2v80v80v80m2s6	SAT	0
Qq3k1k2k2v80v80v80m2s7	SAT	0
Qq3k1k2k2v80v80v80m2s8	SAT	0
Qq3k1k2k2v80v80v80m2s9	SAT	0
Qq3k1k2k2v80v80v80m4s0	SAT	0
Qq3k1k2k2v80v80v80m4s1	SAT	0
Qq3k1k2k2v80v80v80m4s4	SAT	0
Qq3k1k2k2v80v80v80m4s5	SAT	0
Qq3k1k2k2v80v80v80m4s6	SAT	0
Qq3k1k2k2v80v80v80m4s7	SAT	0
Qq3k1k2k2v80v80v80m4s8	SAT	0
Qq3k1k2k2v80v80v80m4s9	SAT	0
Qq3k1k2k2v80v80v80m8s0	SAT	0
Qq3k1k2k2v80v80v80m8s1	SAT	0
Qq3k1k2k2v80v80v80m8s2	SAT	0
Qq3k1k2k2v80v80v80m8s3	SAT	0
Qq3k1k2k2v80v80v80m8s4	SAT	0
Qq3k1k2k2v80v80v80m8s5	SAT	0
Qq3k1k2k2v80v80v80m8s6	SAT	0
Qq3k1k2k2v80v80v80m8s8	SAT	0
Qq3k1k2k2v80v80v80m8s9	SAT	0
Qq3k1k2k2v80v80v80m16s0	SAT	0
Qq3k1k2k2v80v80v80m16s2	SAT	0
Qq3k1k2k2v80v80v80m16s3	SAT	0
Qq3k1k2k2v80v80v80m16s4	SAT	0
Qq3k1k2k2v80v80v80m16s5	SAT	0
Qq3k1k2k2v80v80v80m16s6	SAT	0
Qq3k1k2k2v80v80v80m16s8	SAT	0
Qq3k1k2k2v80v80v80m16s9	SAT	0
Qq3k1k2k2v80v80v80m32s0	SAT	0
Qq3k1k2k2v80v80v80m32s3	SAT	0
Qq3k1k2k2v80v80v80m32s4	SAT	0
Qq3k1k2k2v80v80v80m32s5	SAT	0
Qq3k1k2k2v80v80v80m32s6	SAT	0
Qq3k1k2k2v80v80v80m32s7	SAT	0
Qq3k1k2k2v80v80v80m32s9	SAT	0
Qq3k1k3k1v40v40v40m2s0	SAT	0
Qq3k1k3k1v40v40v40m2s1	SAT	0
Qq3k1k3k1v40v40v40m2s2	SAT	0
Qq3k1k3k1v40v40v40m2s5	SAT	0
Qq3k1k3k1v40v40v40m2s6	SAT	0
Qq3k1k3k1v40v40v40m2s7	SAT	0
Qq3k1k3k1v40v40v40m2s8	SAT	0
Qq3k1k3k1v40v40v40m2s9	SAT	0
Qq3k1k3k1v40v40v40m4s0	SAT	0
Qq3k1k3k1v40v40v40m4s1	SAT	0
Qq3k1k3k1v40v40v40m4s2	SAT	0
Qq3k1k3k1v40v40v40m4s3	SAT	0
Qq3k1k3k1v40v40v40m4s4	SAT	0
Qq3k1k3k1v40v40v40m4s6	SAT	0
Qq3k1k3k1v40v40v40m4s7	SAT	0
Qq3k1k3k1v40v40v40m4s8	SAT	0
Qq3k1k3k1v40v40v40m8s0	SAT	0
Qq3k1k3k1v40v40v40m8s2	SAT	0
Qq3k1k3k1v40v40v40m8s3	SAT	0
Qq3k1k3k1v40v40v40m8s5	SAT	0
Qq3k1k3k1v40v40v40m8s6	SAT	0
Qq3k1k3k1v40v40v40m8s8	SAT	0
Qq3k1k3k1v40v40v40m8s9	SAT	0
Qq3k1k3k1v40v40v40m16s0	SAT	0
Qq3k1k3k1v40v40v40m16s1	SAT	0
Qq3k1k3k1v40v40v40m16s3	SAT	0
Qq3k1k3k1v40v40v40m16s5	SAT	0
Qq3k1k3k1v40v40v40m16s6	SAT	0
Qq3k1k3k1v40v40v40m16s7	SAT	0
Qq3k1k3k1v40v40v40m16s8	SAT	0
Qq3k1k3k1v40v40v40m32s0	SAT	0
Qq3k1k3k1v40v40v40m32s1	SAT	0
Qq3k1k3k1v40v40v40m32s3	SAT	0
Qq3k1k3k1v40v40v40m32s4	SAT	0
Qq3k1k3k1v40v40v40m32s5	SAT	0
Qq3k1k3k1v40v40v40m32s8	SAT	0
Qq3k1k3k1v40v40v40m32s9	SAT	0
Qq3k1k3k1v80v80v80m2s1	SAT	0
Qq3k1k3k1v80v80v80m2s2	SAT	0
Qq3k1k3k1v80v80v80m2s3	SAT	0
Qq3k1k3k1v80v80v80m2s4	SAT	0
Qq3k1k3k1v80v80v80m2s5	SAT	0
Qq3k1k3k1v80v80v80m2s6	SAT	0
Qq3k1k3k1v80v80v80m4s0	SAT	0
Qq3k1k3k1v80v80v80m4s1	SAT	0
Qq3k1k3k1v80v80v80m4s2	SAT	0
Qq3k1k3k1v80v80v80m4s4	SAT	0
Qq3k1k3k1v80v80v80m4s5	SAT	0
Qq3k1k3k1v80v80v80m4s7	SAT	0
Qq3k1k3k1v80v80v80m4s8	SAT	0
Qq3k1k3k1v80v80v80m8s2	SAT	0
Qq3k1k3k1v80v80v80m8s3	SAT	0
Qq3k1k3k1v80v80v80m8s8	SAT	0
Qq3k1k3k1v80v80v80m8s9	SAT	0
Qq3k1k3k1v80v80v80m16s0	SAT	0
Qq3k1k3k1v80v80v80m16s2	SAT	0
Qq3k1k3k1v80v80v80m16s3	SAT	0
Qq3k1k3k1v80v80v80m16s5	SAT	0
Qq3k1k3k1v80v80v80m16s6	SAT	0
Qq3k1k3k1v80v80v80m16s7	SAT	0
Qq3k1k3k1v80v80v80m32s0	SAT	0
Qq3k1k3k1v80v80v80m32s1	SAT	0
Qq3k1k3k1v80v80v80m32s3	SAT	0
Qq3k1k3k1v80v80v80m32s4	SAT	0
Qq3k1k3k1v80v80v80m32s6	SAT	0
Qq3k1k3k1v80v80v80m32s7	SAT	0
Qq3k2k1k2v40v40v40m2s1	SAT	0
Qq3k2k1k2v40v40v40m2s2	SAT	0
Qq3k2k1k2v40v40v40m2s5	SAT	0
Qq3k2k1k2v40v40v40m2s6	SAT	0
Qq3k2k1k2v40v40v40m2s8	SAT	0
Qq3k2k1k2v40v40v40m2s9	SAT	0
Qq3k2k1k2v40v40v40m4s0	SAT	0
Qq3k2k1k2v40v40v40m4s1	SAT	0
Qq3k2k1k2v40v40v40m4s3	SAT	0
Qq3k2k1k2v40v40v40m4s6	SAT	0
Qq3k2k1k2v40v40v40m4s7	SAT	0
Qq3k2k1k2v40v40v40m4s8	SAT	0
Qq3k2k1k2v40v40v40m4s9	SAT	0
Qq3k2k1k2v40v40v40m8s2	SAT	0
Qq3k2k1k2v40v40v40m8s3	SAT	0
Qq3k2k1k2v40v40v40m8s4	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
Qq3k2k1k2v40v40v40m16s4	SAT	0
Qq3k2k1k2v40v40v40m16s5	SAT	0
Qq3k2k1k2v40v40v40m16s7	SAT	0
Qq3k2k1k2v40v40v40m16s8	SAT	0
Qq3k2k1k2v40v40v40m16s9	SAT	0
Qq3k2k1k2v40v40v40m32s0	SAT	0
Qq3k2k1k2v40v40v40m32s1	SAT	0
Qq3k2k1k2v40v40v40m32s3	SAT	0
Qq3k2k1k2v40v40v40m32s6	SAT	0
Qq3k2k1k2v40v40v40m32s8	SAT	0
Qq3k2k1k2v80v80v80m2s0	SAT	0
Qq3k2k1k2v80v80v80m2s1	SAT	0
Qq3k2k1k2v80v80v80m2s2	SAT	0
Qq3k2k1k2v80v80v80m2s4	SAT	0
Qq3k2k1k2v80v80v80m2s6	SAT	0
Qq3k2k1k2v80v80v80m2s7	SAT	0
Qq3k2k1k2v80v80v80m2s8	SAT	0
Qq3k2k1k2v80v80v80m4s0	SAT	0
Qq3k2k1k2v80v80v80m4s1	SAT	0
Qq3k2k1k2v80v80v80m4s2	SAT	0
Qq3k2k1k2v80v80v80m4s3	SAT	0
Qq3k2k1k2v80v80v80m4s4	SAT	0
Qq3k2k1k2v80v80v80m4s6	SAT	0
Qq3k2k1k2v80v80v80m4s8	SAT	0
Qq3k2k1k2v80v80v80m8s0	SAT	0
Qq3k2k1k2v80v80v80m8s1	SAT	0
Qq3k2k1k2v80v80v80m8s2	SAT	0
Qq3k2k1k2v80v80v80m8s3	SAT	0
Qq3k2k1k2v80v80v80m8s4	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
Qq3k2k1k2v80v80v80m16s8	SAT	0
Qq3k2k1k2v80v80v80m32s0	SAT	0
Qq3k2k1k2v80v80v80m32s1	SAT	0
Qq3k2k1k2v80v80v80m32s2	SAT	0
Qq3k2k1k2v80v80v80m32s3	SAT	0
Qq3k2k1k2v80v80v80m32s6	SAT	0
Qq3k2k1k2v80v80v80m32s7	SAT	0
Qq3k2k1k2v80v80v80m32s8	SAT	0
Qq3k2k1k2v80v80v80m32s9	SAT	0
Qq3k2k2k1v40v40v40m2s0	SAT	0
Qq3k2k2k1v40v40v40m2s2	SAT	0
Qq3k2k2k1v40v40v40m2s6	SAT	0
Qq3k2k2k1v40v40v40m2s7	SAT	0
Qq3k2k2k1v40v40v40m2s8	SAT	0
Qq3k2k2k1v40v40v40m2s9	SAT	0
Qq3k2k2k1v40v40v40m4s0	SAT	0
Qq3k2k2k1v40v40v40m4s2	SAT	0
Qq3k2k2k1v40v40v40m4s4	SAT	0
Qq3k2k2k1v40v40v40m4s5	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
Qq3k2k2k1v40v40v40m8s5	SAT	0
Qq3k2k2k1v40v40v40m8s6	SAT	0
Qq3k2k2k1v40v40v40m8s7	SAT	0
Qq3k2k2k1v40v40v40m8s9	SAT	0
Qq3k2k2k1v40v40v40m16s0	SAT	0
Qq3k2k2k1v40v40v40m16s3	SAT	0
Qq3k2k2k1v40v40v40m16s4	SAT	0
Qq3k2k2k1v40v40v40m16s5	SAT	0
Qq3k2k2k1v40v40v40m16s6	SAT	0
Qq3k2k2k1v40v40v40m16s7	SAT	0
Qq3k2k2k1v40v40v40m16s8	SAT	0
Qq3k2k2k1v40v40v40m16s9	SAT	0
Qq3k2k2k1v40v40v40m32s2	SAT	0
Qq3k2k2k1v40v40v40m32s4	SAT	0
Qq3k2k2k1v40v40v40m32s5	SAT	0
Qq3k2k2k1v40v40v40m32s6	SAT	0
Qq3k2k2k1v40v40v40m32s7	SAT	0
Qq3k2k2k1v40v40v40m32s8	SAT	0
Qq3k2k2k1v40v40v40m32s9	SAT	0
Qq3k2k2k1v80v80v80m2s0	SAT	0
Qq3k2k2k1v80v80v80m2s1	SAT	0
Qq3k2k2k1v80v80v80m2s2	SAT	0
Qq3k2k2k1v80v80v80m2s3	SAT	0
Qq3k2k2k1v80v80v80m2s4	SAT	0
Qq3k2k2k1v80v80v80m2s5	SAT	0
Qq3k2k2k1v80v80v80m2s6	SAT	0
Qq3k2k2k1v80v80v80m2s7	SAT	0
Qq3k2k2k1v80v80v80m2s8	SAT	0
Qq3k2k2k1v80v80v80m2s9	SAT	0
Qq3k2k2k1v80v80v80m4s0	SAT	0
Qq3k2k2k1v80v80v80m4s1	SAT	0
Qq3k2k2k1v80v80v80m4s2	SAT	0
Qq3k2k2k1v80v80v80m4s3	SAT	0
Qq3k2k2k1v80v80v80m4s4	SAT	0
Qq3k2k2k1v80v80v80m4s5	SAT	0
Qq3k2k2k1v80v80v80m4s6	SAT	0
Qq3k2k2k1v80v80v80m4s7	SAT	0
Qq3k2k2k1v80v80v80m4s8	SAT	0
Qq3k2k2k1v80v80v80m8s0	SAT	0
Qq3k2k2k1v80v80v80m8s1	SAT	0
Qq3k2k2k1v80v80v80m8s2	SAT	0
Qq3k2k2k1v80v80v80m8s3	SAT	0
Qq3k2k2k1v80v80v80m8s4	SAT	0
Qq3k2k2k1v80v80v80m8s5	SAT	0
Qq3k2k2k1v80v80v80m8s6	SAT	0
Qq3k2k2k1v80v80v80m8s7	SAT	0
Qq3k2k2k1v80v80v80m8s8	SAT	0
Qq3k2k2k1v80v80v80m8s9	SAT	0
Qq3k2k2k1v80v80v80m16s0	SAT	0
Qq3k2k2k1v80v80v80m16s1	SAT	0
Qq3k2k2k1v80v80v80m16s3	SAT	0
Qq3k2k2k1v80v80v80m16s4	SAT	0
Qq3k2k2k1v80v80v80m16s5	SAT	0
Qq3k2k2k1v80v80v80m16s6	SAT	0
Qq3k2k2k1v80v80v80m16s7	SAT	0
Qq3k2k2k1v80v80v80m16s8	SAT	0
Qq3k2k2k1v80v80v80m16s9	SAT	0
Qq3k2k2k1v80v80v80m32s1	SAT	0
Qq3k2k2k1v80v80v80m32s2	SAT	0
Qq3k2k2k1v80v80v80m32s3	SAT	0
Qq3k2k2k1v80v80v80m32s4	SAT	0
Qq3k2k2k1v80v80v80m32s6	SAT	0
Qq3k3k1k1v40v40v40m2s1	SAT	0
Qq3k3k1k1v40v40v40m2s2	SAT	0
Qq3k3k1k1v40v40v40m2s3	SAT	0
Qq3k3k1k1v40v40v40m2s4	SAT	0
Qq3k3k1k1v40v40v40m2s5	SAT	0
Qq3k3k1k1v40v40v40m2s6	SAT	0
Qq3k3k1k1v40v40v40m2s7	SAT	0
Qq3k3k1k1v40v40v40m2s8	SAT	0
Qq3k3k1k1v40v40v40m2s9	SAT	0
Qq3k3k1k1v40v40v40m4s0	SAT	0
Qq3k3k1k1v40v40v40m4s2	SAT	0
Qq3k3k1k1v40v40v40m4s3	SAT	0
Qq3k3k1k1v40v40v40m4s4	SAT	0
Qq3k3k1k1v40v40v40m4s6	SAT	0
Qq3k3k1k1v40v40v40m8s0	SAT	0
Qq3k3k1k1v40v40v40m8s2	SAT	0
Qq3k3k1k1v40v40v40m8s3	SAT	0
Qq3k3k1k1v40v40v40m8s5	SAT	0
Qq3k3k1k1v40v40v40m8s7	SAT	0
Qq3k3k1k1v40v40v40m8s8	SAT	0
Qq3k3k1k1v40v40v40m8s9	SAT	0
Qq3k3k1k1v40v40v40m16s0	SAT	0
Qq3k3k1k1v40v40v40m16s1	SAT	0
Qq3k3k1k1v40v40v40m16s3	SAT	0
Qq3k3k1k1v40v40v40m16s4	SAT	0
Qq3k3k1k1v40v40v40m16s6	SAT	0
Qq3k3k1k1v40v40v40m16s7	SAT	0
Qq3k3k1k1v40v40v40m16s8	SAT	0
Qq3k3k1k1v40v40v40m16s9	SAT	0
Qq3k3k1k1v40v40v40m32s0	SAT	0
Qq3k3k1k1v40v40v40m32s1	SAT	0
Qq3k3k1k1v40v40v40m32s2	SAT	0
Qq3k3k1k1v40v40v40m32s3	SAT	0
Qq3k3k1k1v40v40v40m32s4	SAT	0
Qq3k3k1k1v40v40v40m32s6	SAT	0
Qq3k3k1k1v40v40v40m32s7	SAT	0
Qq3k3k1k1v40v40v40m32s8	SAT	0
Qq3k3k1k1v80v80v80m2s0	SAT	0
Qq3k3k1k1v80v80v80m2s1	SAT	0
Qq3k3k1k1v80v80v80m2s2	SAT	0
Qq3k3k1k1v80v80v80m2s3	SAT	0
Qq3k3k1k1v80v80v80m2s4	SAT	0
Qq3k3k1k1v80v80v80m2s6	SAT	0
Qq3k3k1k1v80v80v80m2s8	SAT	0
Qq3k3k1k1v80v80v80m2s9	SAT	0
Qq3k3k1k1v80v80v80m4s0	SAT	0
Qq3k3k1k1v80v80v80m4s1	SAT	0
Qq3k3k1k1v80v80v80m4s2	SAT	0
Qq3k3k1k1v80v80v80m4s3	SAT	0
Qq3k3k1k1v80v80v80m4s4	SAT	0
Qq3k3k1k1v80v80v80m4s5	SAT	0
Qq3k3k1k1v80v80v80m4s6	SAT	0
Qq3k3k1k1v80v80v80m4s9	SAT	0
Qq3k3k1k1v80v80v80m8s0	SAT	0
Qq3k3k1k1v80v80v80m8s1	SAT	0
Qq3k3k1k1v80v80v80m8s3	SAT	0
Qq3k3k1k1v80v80v80m8s5	SAT	0
Qq3k3k1k1v80v80v80m8s6	SAT	0
Qq3k3k1k1v80v80v80m8s8	SAT	0
Qq3k3k1k1v80v80v80m16s0	SAT	0
Qq3k3k1k1v80v80v80m16s2	SAT	0
Qq3k3k1k1v80v80v80m16s3	SAT	0
Qq3k3k1k1v80v80v80m16s4	SAT	0
Qq3k3k1k1v80v80v80m16s6	SAT	0
Qq3k3k1k1v80v80v80m16s7	SAT	0
Qq3k3k1k1v80v80v80m16s8	SAT	0
Qq3k3k1k1v80v80v80m16s9	SAT	0
Qq3k3k1k1v80v80v80m32s1	SAT	0
Qq3k3k1k1v80v80v80m32s4	SAT	0
Qq3k3k1k1v80v80v80m32s5	SAT	0
Qq3k3k1k1v80v80v80m32s6	SAT	0
Qq3k3k1k1v80v80v80m32s7	SAT	0
Qq3k3k1k1v80v80v80m32s8	SAT	0
3qbf-5cnf-80var-320cl.1	SAT	0.01
6qbf-5cnf-20var-640cl.3	UNSAT	0.01
6qbf-5cnf-20var-640cl.5	UNSAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
6qbf-5cnf-160var-640cl.2	SAT	0.01
4qbf-5cnf-40var-1280cl.3	UNSAT	0.01
6qbf-5cnf-20var-640cl.0	UNSAT	0.01
ncf_4_8_2_euad.4	UNSAT	0.01
4qbf-5cnf-40var-640cl.9	UNSAT	0.01
3qbf-5cnf-80var-320cl.9	SAT	0.01
3qbf-5cnf-80var-320cl.7	SAT	0.01
3qbf-5cnf-20var-160cl.0	SAT	0.01
ncf_8_16_4_euad.5	UNSAT	0.01
5qbf-5cnf-40var-1280cl.9	UNSAT	0.01
3qbf-5cnf-160var-640cl.0	SAT	0.01
3qbf-5cnf-80var-320cl.0	SAT	0.01
5qbf-5cnf-20var-640cl.8	UNSAT	0.01
4qbf-5cnf-20var-320cl.8	UNSAT	0.01
ncf_4_8_2_u.9	SAT	0.01
4qbf-5cnf-40var-640cl.5	UNSAT	0.01
4qbf-5cnf-20var-640cl.7	UNSAT	0.01
5qbf-5cnf-80var-2560cl.1	UNSAT	0.01
6qbf-5cnf-20var-320cl.6	UNSAT	0.01
4qbf-5cnf-20var-640cl.5	UNSAT	0.01
3qbf-5cnf-20var-160cl.4	SAT	0.01
5qbf-5cnf-20var-640cl.0	UNSAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
5qbf-5cnf-20var-640cl.2	UNSAT	0.01
tree-exa2-50	UNSAT	0.01
3qbf-5cnf-40var-640cl.7	UNSAT	0.01
6qbf-5cnf-20var-640cl.2	UNSAT	0.01
6qbf-5cnf-20var-640cl.8	UNSAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
5qbf-5cnf-160var-640cl.0	SAT	0.01
4qbf-5cnf-40var-1280cl.4	UNSAT	0.01
5qbf-5cnf-40var-1280cl.4	UNSAT	0.01
2qbf-5cnf-40var-640cl.5	UNSAT	0.01
3qbf-5cnf-20var-160cl.6	SAT	0.01
5qbf-5cnf-40var-1280cl.1	UNSAT	0.01
2qbf-5cnf-40var-640cl.6	UNSAT	0.01
3qbf-5cnf-160var-640cl.8	SAT	0.01
6qbf-5cnf-160var-640cl.6	SAT	0.01
4qbf-5cnf-20var-320cl.0	UNSAT	0.01
6qbf-5cnf-160var-640cl.4	SAT	0.01
6qbf-5cnf-160var-640cl.7	SAT	0.01
4qbf-5cnf-20var-640cl.0	UNSAT	0.01
6qbf-5cnf-160var-640cl.1	SAT	0.01
3qbf-5cnf-80var-320cl.8	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
3qbf-5cnf-20var-320cl.4	UNSAT	0.01
2qbf-5cnf-40var-640cl.3	UNSAT	0.01
6qbf-5cnf-160var-640cl.0	SAT	0.01
toilet_c_10_05.7	SAT	0.01
4qbf-5cnf-20var-320cl.7	UNSAT	0.01
4qbf-5cnf-20var-640cl.2	UNSAT	0.01
3qbf-5cnf-20var-160cl.8	SAT	0.01
5qbf-5cnf-40var-640cl.8	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
3qbf-5cnf-80var-320cl.6	SAT	0.01
3qbf-5cnf-160var-640cl.1	SAT	0.01
3qbf-5cnf-160var-640cl.5	SAT	0.01
6qbf-5cnf-20var-320cl.1	UNSAT	0.01
3qbf-5cnf-160var-640cl.4	SAT	0.01
2qbf-5cnf-40var-640cl.4	UNSAT	0.01
ncf_4_8_2_u.10	SAT	0.01
4qbf-5cnf-40var-1280cl.1	UNSAT	0.01
x10.2	SAT	0.01
x5.0	SAT	0.01
x5.2	UNSAT	0.01
x5.3	UNSAT	0.01
x5.4	UNSAT	0.01
x5.5	UNSAT	0.01
x5.6	UNSAT	0.01
x5.7	UNSAT	0.01
x5.9	UNSAT	0.01
eijk.S953.S-d2	SAT	0.01
texas.parsesys^1.E-d2	SAT	0.01
vis.coherence^1.E-d2	SAT	0.01
vis.emodel.E-d2	SAT	0.01
Qq2k1k4v40v40m2s0	SAT	0.01
Qq2k1k4v40v40m2s3	SAT	0.01
Qq2k1k4v40v40m2s4	SAT	0.01
Qq2k1k4v40v40m2s5	SAT	0.01
Qq2k1k4v40v40m4s1	SAT	0.01
Qq2k1k4v40v40m4s2	UNSAT	0.01
Qq2k1k4v40v40m4s4	SAT	0.01
Qq2k1k4v40v40m4s8	SAT	0.01
Qq2k1k4v40v40m8s3	SAT	0.01
Qq2k1k4v40v40m8s5	SAT	0.01
Qq2k1k4v40v40m16s1	SAT	0.01
Qq2k1k4v40v40m16s2	UNSAT	0.01
Qq2k1k4v40v40m16s6	UNSAT	0.01
Qq2k1k4v40v40m16s8	SAT	0.01
Qq2k1k4v40v40m32s0	UNSAT	0.01
Qq2k1k4v40v40m32s3	UNSAT	0.01
Qq2k1k4v80v80m2s2	SAT	0.01
Qq2k1k4v80v80m4s1	SAT	0.01
Qq2k1k4v80v80m4s2	SAT	0.01
Qq2k1k4v80v80m4s3	SAT	0.01
Qq2k1k4v80v80m4s7	SAT	0.01
Qq2k1k4v80v80m4s9	SAT	0.01
Qq2k1k4v80v80m8s6	SAT	0.01
Qq2k1k4v80v80m16s0	UNSAT	0.01
Qq2k1k4v80v80m16s1	SAT	0.01
Qq2k1k4v80v80m16s9	SAT	0.01
Qq2k1k4v80v80m32s2	UNSAT	0.01
Qq2k1k4v80v80m32s3	UNSAT	0.01
Qq2k1k4v80v80m32s5	UNSAT	0.01
Qq2k2k3v40v40m2s3	SAT	0.01
Qq2k2k3v40v40m2s8	SAT	0.01
Qq2k2k3v40v40m2s9	SAT	0.01
Qq2k2k3v40v40m8s1	SAT	0.01
Qq2k2k3v40v40m8s9	SAT	0.01
Qq2k2k3v40v40m16s8	SAT	0.01
Qq2k2k3v40v40m32s1	SAT	0.01
Qq2k2k3v40v40m32s3	SAT	0.01
Qq2k2k3v40v40m32s5	SAT	0.01
Qq2k2k3v40v40m32s7	SAT	0.01
Qq2k2k3v80v80m2s5	SAT	0.01
Qq2k2k3v80v80m2s8	SAT	0.01
Qq2k2k3v80v80m4s2	SAT	0.01
Qq2k2k3v80v80m4s4	SAT	0.01
Qq2k2k3v80v80m8s4	SAT	0.01
Qq2k2k3v80v80m8s8	SAT	0.01
Qq2k2k3v80v80m16s1	SAT	0.01
Qq2k2k3v80v80m16s8	SAT	0.01
Qq2k2k3v80v80m32s4	SAT	0.01
Qq2k3k2v40v40m2s1	SAT	0.01
Qq2k3k2v40v40m2s2	SAT	0.01
Qq2k3k2v40v40m2s3	SAT	0.01
Qq2k3k2v40v40m2s9	SAT	0.01
Qq2k3k2v40v40m8s3	SAT	0.01
Qq2k3k2v40v40m8s4	SAT	0.01
Qq2k3k2v40v40m8s6	SAT	0.01
Qq2k3k2v40v40m8s9	SAT	0.01
Qq2k3k2v40v40m16s1	SAT	0.01
Qq2k3k2v40v40m16s4	SAT	0.01
Qq2k3k2v40v40m32s2	SAT	0.01
Qq2k3k2v40v40m32s8	SAT	0.01
Qq2k3k2v80v80m2s0	SAT	0.01
Qq2k3k2v80v80m2s4	SAT	0.01
Qq2k3k2v80v80m2s9	SAT	0.01
Qq2k3k2v80v80m4s1	SAT	0.01
Qq2k3k2v80v80m4s4	SAT	0.01
Qq2k3k2v80v80m4s7	SAT	0.01
Qq2k3k2v80v80m4s8	SAT	0.01
Qq2k3k2v80v80m4s9	SAT	0.01
Qq2k3k2v80v80m8s1	SAT	0.01
Qq2k3k2v80v80m8s8	SAT	0.01
Qq2k3k2v80v80m32s2	SAT	0.01
Qq3k1k1k3v40v40v40m2s6	SAT	0.01
Qq3k1k1k3v40v40v40m4s4	SAT	0.01
Qq3k1k1k3v40v40v40m4s8	SAT	0.01
Qq3k1k1k3v40v40v40m8s2	SAT	0.01
Qq3k1k1k3v40v40v40m8s7	SAT	0.01
Qq3k1k1k3v40v40v40m16s3	SAT	0.01
Qq3k1k1k3v40v40v40m16s6	SAT	0.01
Qq3k1k1k3v40v40v40m16s9	SAT	0.01
Qq3k1k1k3v40v40v40m32s6	SAT	0.01
Qq3k1k1k3v40v40v40m32s9	SAT	0.01
Qq3k1k1k3v80v80v80m2s5	SAT	0.01
Qq3k1k1k3v80v80v80m2s6	SAT	0.01
Qq3k1k1k3v80v80v80m2s7	SAT	0.01
Qq3k1k1k3v80v80v80m2s8	SAT	0.01
Qq3k1k1k3v80v80v80m2s9	SAT	0.01
Qq3k1k1k3v80v80v80m4s0	SAT	0.01
Qq3k1k1k3v80v80v80m4s4	SAT	0.01
Qq3k1k1k3v80v80v80m4s5	SAT	0.01
Qq3k1k1k3v80v80v80m8s1	SAT	0.01
Qq3k1k1k3v80v80v80m8s7	SAT	0.01
Qq3k1k1k3v80v80v80m16s2	SAT	0.01
Qq3k1k1k3v80v80v80m16s4	SAT	0.01
Qq3k1k1k3v80v80v80m32s5	SAT	0.01
Qq3k1k1k3v80v80v80m32s8	SAT	0.01
Qq3k1k1k3v80v80v80m32s9	SAT	0.01
Qq3k1k2k2v40v40v40m2s3	SAT	0.01
Qq3k1k2k2v40v40v40m2s4	SAT	0.01
Qq3k1k2k2v40v40v40m2s7	SAT	0.01
Qq3k1k2k2v40v40v40m2s8	SAT	0.01
Qq3k1k2k2v40v40v40m4s7	SAT	0.01
Qq3k1k2k2v40v40v40m4s8	SAT	0.01
Qq3k1k2k2v40v40v40m4s9	SAT	0.01
Qq3k1k2k2v40v40v40m8s5	SAT	0.01
Qq3k1k2k2v40v40v40m16s2	SAT	0.01
Qq3k1k2k2v40v40v40m16s6	SAT	0.01
Qq3k1k2k2v40v40v40m16s8	SAT	0.01
Qq3k1k2k2v40v40v40m32s1	SAT	0.01
Qq3k1k2k2v40v40v40m32s4	SAT	0.01
Qq3k1k2k2v40v40v40m32s6	SAT	0.01
Qq3k1k2k2v40v40v40m32s7	SAT	0.01
Qq3k1k2k2v80v80v80m2s1	SAT	0.01
Qq3k1k2k2v80v80v80m4s2	SAT	0.01
Qq3k1k2k2v80v80v80m4s3	SAT	0.01
Qq3k1k2k2v80v80v80m8s7	SAT	0.01
Qq3k1k2k2v80v80v80m16s1	SAT	0.01
Qq3k1k2k2v80v80v80m16s7	SAT	0.01
Qq3k1k2k2v80v80v80m32s1	SAT	0.01
Qq3k1k2k2v80v80v80m32s2	SAT	0.01
Qq3k1k2k2v80v80v80m32s8	SAT	0.01
Qq3k1k3k1v40v40v40m2s3	SAT	0.01
Qq3k1k3k1v40v40v40m2s4	SAT	0.01
Qq3k1k3k1v40v40v40m4s5	SAT	0.01
Qq3k1k3k1v40v40v40m4s9	SAT	0.01
Qq3k1k3k1v40v40v40m8s1	SAT	0.01
Qq3k1k3k1v40v40v40m8s4	SAT	0.01
Qq3k1k3k1v40v40v40m8s7	SAT	0.01
Qq3k1k3k1v40v40v40m16s2	SAT	0.01
Qq3k1k3k1v40v40v40m16s4	SAT	0.01
Qq3k1k3k1v40v40v40m16s9	SAT	0.01
Qq3k1k3k1v40v40v40m32s2	SAT	0.01
Qq3k1k3k1v40v40v40m32s6	SAT	0.01
Qq3k1k3k1v40v40v40m32s7	SAT	0.01
Qq3k1k3k1v80v80v80m2s0	SAT	0.01
Qq3k1k3k1v80v80v80m2s7	SAT	0.01
Qq3k1k3k1v80v80v80m2s8	SAT	0.01
Qq3k1k3k1v80v80v80m2s9	SAT	0.01
Qq3k1k3k1v80v80v80m4s3	SAT	0.01
Qq3k1k3k1v80v80v80m4s6	SAT	0.01
Qq3k1k3k1v80v80v80m4s9	SAT	0.01
Qq3k1k3k1v80v80v80m8s0	SAT	0.01
Qq3k1k3k1v80v80v80m8s1	SAT	0.01
Qq3k1k3k1v80v80v80m8s4	SAT	0.01
Qq3k1k3k1v80v80v80m8s5	SAT	0.01
Qq3k1k3k1v80v80v80m8s6	SAT	0.01
Qq3k1k3k1v80v80v80m8s7	SAT	0.01
Qq3k1k3k1v80v80v80m16s1	SAT	0.01
Qq3k1k3k1v80v80v80m16s4	SAT	0.01
Qq3k1k3k1v80v80v80m16s8	SAT	0.01
Qq3k1k3k1v80v80v80m16s9	SAT	0.01
Qq3k1k3k1v80v80v80m32s2	SAT	0.01
Qq3k1k3k1v80v80v80m32s5	SAT	0.01
Qq3k1k3k1v80v80v80m32s8	SAT	0.01
Qq3k1k3k1v80v80v80m32s9	SAT	0.01
Qq3k2k1k2v40v40v40m2s0	SAT	0.01
Qq3k2k1k2v40v40v40m2s3	SAT	0.01
Qq3k2k1k2v40v40v40m2s4	SAT	0.01
Qq3k2k1k2v40v40v40m2s7	SAT	0.01
Qq3k2k1k2v40v40v40m4s2	SAT	0.01
Qq3k2k1k2v40v40v40m4s4	SAT	0.01
Qq3k2k1k2v40v40v40m4s5	SAT	0.01
Qq3k2k1k2v40v40v40m8s0	SAT	0.01
Qq3k2k1k2v40v40v40m8s1	SAT	0.01
Qq3k2k1k2v40v40v40m16s0	SAT	0.01
Qq3k2k1k2v40v40v40m16s6	SAT	0.01
Qq3k2k1k2v40v40v40m32s2	SAT	0.01
Qq3k2k1k2v40v40v40m32s4	SAT	0.01
Qq3k2k1k2v40v40v40m32s5	SAT	0.01
Qq3k2k1k2v40v40v40m32s7	SAT	0.01
Qq3k2k1k2v40v40v40m32s9	SAT	0.01
Qq3k2k1k2v80v80v80m2s3	SAT	0.01
Qq3k2k1k2v80v80v80m2s5	SAT	0.01
Qq3k2k1k2v80v80v80m2s9	SAT	0.01
Qq3k2k1k2v80v80v80m4s5	SAT	0.01
Qq3k2k1k2v80v80v80m4s7	SAT	0.01
Qq3k2k1k2v80v80v80m4s9	SAT	0.01
Qq3k2k1k2v80v80v80m8s5	SAT	0.01
Qq3k2k1k2v80v80v80m8s6	SAT	0.01
Qq3k2k1k2v80v80v80m16s5	SAT	0.01
Qq3k2k1k2v80v80v80m32s4	SAT	0.01
Qq3k2k1k2v80v80v80m32s5	SAT	0.01
Qq3k2k2k1v40v40v40m2s1	SAT	0.01
Qq3k2k2k1v40v40v40m2s3	SAT	0.01
Qq3k2k2k1v40v40v40m2s4	SAT	0.01
Qq3k2k2k1v40v40v40m2s5	SAT	0.01
Qq3k2k2k1v40v40v40m4s1	SAT	0.01
Qq3k2k2k1v40v40v40m4s3	SAT	0.01
Qq3k2k2k1v40v40v40m4s9	SAT	0.01
Qq3k2k2k1v40v40v40m8s8	SAT	0.01
Qq3k2k2k1v40v40v40m16s1	SAT	0.01
Qq3k2k2k1v40v40v40m16s2	SAT	0.01
Qq3k2k2k1v40v40v40m32s0	SAT	0.01
Qq3k2k2k1v40v40v40m32s1	SAT	0.01
Qq3k2k2k1v40v40v40m32s3	SAT	0.01
Qq3k2k2k1v80v80v80m4s9	SAT	0.01
Qq3k2k2k1v80v80v80m16s2	SAT	0.01
Qq3k2k2k1v80v80v80m32s0	SAT	0.01
Qq3k2k2k1v80v80v80m32s5	SAT	0.01
Qq3k2k2k1v80v80v80m32s7	SAT	0.01
Qq3k2k2k1v80v80v80m32s8	SAT	0.01
Qq3k2k2k1v80v80v80m32s9	SAT	0.01
Qq3k3k1k1v40v40v40m2s0	SAT	0.01
Qq3k3k1k1v40v40v40m4s1	SAT	0.01
Qq3k3k1k1v40v40v40m4s5	SAT	0.01
Qq3k3k1k1v40v40v40m4s7	SAT	0.01
Qq3k3k1k1v40v40v40m4s8	SAT	0.01
Qq3k3k1k1v40v40v40m4s9	SAT	0.01
Qq3k3k1k1v40v40v40m8s1	SAT	0.01
Qq3k3k1k1v40v40v40m8s4	SAT	0.01
Qq3k3k1k1v40v40v40m8s6	SAT	0.01
Qq3k3k1k1v40v40v40m16s2	SAT	0.01
Qq3k3k1k1v40v40v40m16s5	SAT	0.01
Qq3k3k1k1v40v40v40m32s5	SAT	0.01
Qq3k3k1k1v40v40v40m32s9	SAT	0.01
Qq3k3k1k1v80v80v80m2s5	SAT	0.01
Qq3k3k1k1v80v80v80m2s7	SAT	0.01
Qq3k3k1k1v80v80v80m4s7	SAT	0.01
Qq3k3k1k1v80v80v80m4s8	SAT	0.01
Qq3k3k1k1v80v80v80m8s2	SAT	0.01
Qq3k3k1k1v80v80v80m8s4	SAT	0.01
Qq3k3k1k1v80v80v80m8s7	SAT	0.01
Qq3k3k1k1v80v80v80m8s9	SAT	0.01
Qq3k3k1k1v80v80v80m16s1	SAT	0.01
Qq3k3k1k1v80v80v80m16s5	SAT	0.01
Qq3k3k1k1v80v80v80m32s0	SAT	0.01
Qq3k3k1k1v80v80v80m32s2	SAT	0.01
Qq3k3k1k1v80v80v80m32s3	SAT	0.01
Qq2k3k2v80v80m32s9	SAT	0.01
Qq3k3k1k1v80v80v80m32s9	SAT	0.01
6qbf-5cnf-40var-1280cl.5	UNSAT	0.02
3qbf-5cnf-20var-320cl.9	UNSAT	0.02
5qbf-5cnf-160var-640cl.8	SAT	0.02
6qbf-5cnf-20var-640cl.4	UNSAT	0.02
6qbf-5cnf-20var-640cl.7	UNSAT	0.02
3qbf-5cnf-160var-640cl.3	SAT	0.02
5qbf-5cnf-160var-640cl.3	SAT	0.02
5qbf-5cnf-160var-640cl.1	SAT	0.02
6qbf-5cnf-40var-1280cl.0	UNSAT	0.02
ncf_4_8_2_euad.9	SAT	0.02
3qbf-5cnf-80var-2560cl.0	UNSAT	0.02
4qbf-5cnf-40var-1280cl.7	UNSAT	0.02
4qbf-5cnf-40var-1280cl.9	UNSAT	0.02
ncf_8_16_4_edau.5	UNSAT	0.02
ncf_4_8_4_u.9	SAT	0.02
4qbf-5cnf-20var-640cl.1	UNSAT	0.02
4qbf-5cnf-40var-1280cl.6	UNSAT	0.02
3qbf-5cnf-40var-640cl.8	UNSAT	0.02
5qbf-5cnf-40var-1280cl.6	UNSAT	0.02
3qbf-5cnf-80var-2560cl.5	UNSAT	0.02
2qbf-5cnf-40var-640cl.9	UNSAT	0.02
5qbf-5cnf-160var-640cl.9	SAT	0.02
4qbf-5cnf-20var-320cl.2	UNSAT	0.02
4qbf-5cnf-20var-320cl.1	UNSAT	0.02
4qbf-5cnf-40var-640cl.2	UNSAT	0.02
5qbf-5cnf-40var-1280cl.3	UNSAT	0.02
5qbf-5cnf-20var-640cl.3	UNSAT	0.02
3qbf-5cnf-40var-640cl.9	UNSAT	0.02
3qbf-5cnf-80var-2560cl.1	UNSAT	0.02
6qbf-5cnf-20var-640cl.6	UNSAT	0.02
3qbf-5cnf-20var-320cl.6	UNSAT	0.02
5qbf-5cnf-160var-640cl.6	SAT	0.02
2qbf-5cnf-80var-1280cl.2	UNSAT	0.02
6qbf-5cnf-160var-640cl.8	SAT	0.02
6qbf-5cnf-20var-640cl.9	UNSAT	0.02
6qbf-5cnf-160var-640cl.9	SAT	0.02
4qbf-5cnf-40var-1280cl.0	UNSAT	0.02
4qbf-5cnf-40var-1280cl.2	UNSAT	0.02
6qbf-5cnf-20var-320cl.3	UNSAT	0.02
4qbf-5cnf-20var-320cl.6	UNSAT	0.02
5qbf-5cnf-160var-640cl.2	SAT	0.02
4qbf-5cnf-40var-1280cl.5	UNSAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
3qbf-5cnf-20var-160cl.5	SAT	0.02
5qbf-5cnf-40var-1280cl.8	UNSAT	0.02
5qbf-5cnf-20var-640cl.6	UNSAT	0.02
ncf_4_8_2_u.5	SAT	0.02
4qbf-5cnf-40var-1280cl.8	UNSAT	0.02
6qbf-5cnf-40var-1280cl.9	UNSAT	0.02
3qbf-5cnf-160var-640cl.7	SAT	0.02
3qbf-5cnf-160var-640cl.6	SAT	0.02
5qbf-5cnf-40var-320cl.5	SAT	0.02
6qbf-5cnf-40var-1280cl.2	UNSAT	0.02
4qbf-5cnf-40var-640cl.8	UNSAT	0.02
3qbf-5cnf-20var-320cl.7	UNSAT	0.02
5qbf-5cnf-40var-320cl.7	SAT	0.02
2qbf-5cnf-40var-640cl.0	UNSAT	0.02
5qbf-5cnf-20var-640cl.9	UNSAT	0.02
3qbf-5cnf-160var-640cl.2	SAT	0.02
6qbf-5cnf-20var-160cl.3	UNSAT	0.02
5qbf-5cnf-160var-640cl.7	SAT	0.02
5qbf-5cnf-160var-640cl.5	SAT	0.02
ncf_4_8_2_euad.10	SAT	0.02
5qbf-5cnf-20var-640cl.4	UNSAT	0.02
3qbf-5cnf-80var-320cl.5	SAT	0.02
2qbf-5cnf-80var-640cl.2	UNSAT	0.02
4qbf-5cnf-20var-320cl.5	UNSAT	0.02
2qbf-5cnf-40var-640cl.8	UNSAT	0.02
6qbf-5cnf-20var-160cl.1	SAT	0.02
6qbf-5cnf-160var-640cl.3	SAT	0.02
x10.5	UNSAT	0.02
x10.6	SAT	0.02
x10.8	SAT	0.02
texas.ifetch1^1.E-f2	UNSAT	0.02
vis.emodel.E-f2	UNSAT	0.02
Qq2k1k4v40v40m16s9	UNSAT	0.02
Qq3k2k1k2v80v80v80m16s9	SAT	0.02
3qbf-5cnf-80var-2560cl.9	UNSAT	0.03
5qbf-5cnf-40var-1280cl.0	UNSAT	0.03
2qbf-5cnf-40var-640cl.1	UNSAT	0.03
ncf_4_8_2_u.1	UNSAT	0.03
6qbf-5cnf-20var-160cl.8	SAT	0.03
3qbf-5cnf-80var-2560cl.6	UNSAT	0.03
5qbf-5cnf-80var-2560cl.3	UNSAT	0.03
4qbf-5cnf-80var-2560cl.5	UNSAT	0.03
2qbf-5cnf-80var-1280cl.4	UNSAT	0.03
ncf_4_8_2_euad.1	UNSAT	0.03
5qbf-5cnf-160var-640cl.4	SAT	0.03
6qbf-5cnf-40var-1280cl.6	UNSAT	0.03
3qbf-5cnf-20var-320cl.0	UNSAT	0.03
3qbf-5cnf-80var-2560cl.7	UNSAT	0.03
4qbf-5cnf-40var-640cl.4	UNSAT	0.03
4qbf-5cnf-20var-320cl.4	UNSAT	0.03
2qbf-5cnf-80var-1280cl.3	UNSAT	0.03
5qbf-5cnf-40var-320cl.2	SAT	0.03
2qbf-5cnf-80var-1280cl.6	UNSAT	0.03
4qbf-5cnf-20var-320cl.9	UNSAT	0.03
3qbf-5cnf-20var-320cl.1	UNSAT	0.03
2qbf-5cnf-40var-640cl.2	UNSAT	0.03
6qbf-5cnf-40var-640cl.7	UNSAT	0.03
ncf_4_8_2_u.8	SAT	0.03
3qbf-5cnf-80var-2560cl.2	UNSAT	0.03
5qbf-5cnf-20var-640cl.5	UNSAT	0.03
6qbf-5cnf-160var-640cl.5	SAT	0.03
ncf_4_8_2_euad.5	SAT	0.03
3qbf-5cnf-80var-2560cl.4	UNSAT	0.03
TOILET10.1.iv.20	SAT	0.03
3qbf-5cnf-80var-2560cl.8	UNSAT	0.03
ncf_4_8_2_u.2	SAT	0.03
2qbf-5cnf-80var-1280cl.9	UNSAT	0.03
6qbf-5cnf-40var-1280cl.7	UNSAT	0.03
3qbf-5cnf-80var-2560cl.3	UNSAT	0.03
3qbf-5cnf-40var-640cl.4	UNSAT	0.03
5qbf-5cnf-40var-320cl.4	SAT	0.03
x10.0	UNSAT	0.03
x10.1	UNSAT	0.03
x10.4	SAT	0.03
x10.9	SAT	0.03
x15.7	SAT	0.03
texas.parsesys^4.E-f2	UNSAT	0.03
ncf_4_8_2_euad.8	SAT	0.04
ncf_4_8_2_u.7	UNSAT	0.04
6qbf-5cnf-80var-2560cl.5	UNSAT	0.04
5qbf-5cnf-40var-640cl.1	UNSAT	0.04
6qbf-5cnf-80var-2560cl.6	UNSAT	0.04
2qbf-5cnf-80var-1280cl.5	UNSAT	0.04
4qbf-5cnf-80var-2560cl.6	UNSAT	0.04
5qbf-5cnf-80var-2560cl.2	UNSAT	0.04
4qbf-5cnf-80var-2560cl.8	UNSAT	0.04
6qbf-5cnf-20var-640cl.1	UNSAT	0.04
4qbf-5cnf-80var-2560cl.7	UNSAT	0.04
4qbf-5cnf-40var-640cl.0	UNSAT	0.04
ncf_4_8_4_euad.2	UNSAT	0.04
4qbf-5cnf-80var-2560cl.3	UNSAT	0.04
5qbf-5cnf-20var-320cl.5	UNSAT	0.04
6qbf-5cnf-40var-1280cl.4	UNSAT	0.04
4qbf-5cnf-80var-2560cl.2	UNSAT	0.04
5qbf-5cnf-80var-2560cl.8	UNSAT	0.04
5qbf-5cnf-40var-320cl.0	SAT	0.04
5qbf-5cnf-80var-2560cl.0	UNSAT	0.04
ncf_4_8_2_euad.2	SAT	0.04
6qbf-5cnf-40var-1280cl.8	UNSAT	0.04
x10.3	SAT	0.04
eijk.S820.S-d2	SAT	0.04
eijk.S832.S-d2	SAT	0.04
vis.elevator^1.E-f2	UNSAT	0.04
6qbf-5cnf-80var-2560cl.9	UNSAT	0.05
4qbf-5cnf-20var-320cl.3	UNSAT	0.05
6qbf-5cnf-20var-160cl.4	SAT	0.05
4qbf-5cnf-80var-320cl.0	SAT	0.05
5qbf-5cnf-40var-320cl.1	SAT	0.05
4qbf-5cnf-80var-1280cl.5	UNSAT	0.05
6qbf-5cnf-20var-320cl.9	UNSAT	0.05
ncf_8_16_4_edau.2	UNSAT	0.05
5qbf-5cnf-80var-2560cl.9	UNSAT	0.05
ncf_16_32_2_u.9	SAT	0.05
4qbf-5cnf-80var-2560cl.4	UNSAT	0.05
6qbf-5cnf-80var-2560cl.1	UNSAT	0.05
4qbf-5cnf-80var-2560cl.0	UNSAT	0.05
5qbf-5cnf-80var-2560cl.6	UNSAT	0.05
6qbf-5cnf-80var-2560cl.0	UNSAT	0.05
4qbf-5cnf-80var-2560cl.1	UNSAT	0.05
3qbf-5cnf-20var-320cl.2	UNSAT	0.05
ncf_16_32_2_edau.9	SAT	0.05
ncf_8_16_4_edau.1	SAT	0.05
5qbf-5cnf-80var-2560cl.7	UNSAT	0.05
4qbf-5cnf-20var-160cl.3	UNSAT	0.05
5qbf-5cnf-20var-320cl.6	UNSAT	0.05
ncf_8_16_4_u.1	SAT	0.05
5qbf-5cnf-40var-1280cl.2	UNSAT	0.05
ncf_4_8_2_euad.7	UNSAT	0.05
6qbf-5cnf-20var-160cl.6	SAT	0.05
4qbf-5cnf-80var-2560cl.9	UNSAT	0.05
ncf_8_16_4_d.2	UNSAT	0.05
x10.7	SAT	0.05
texas.ifetch1^3.E-f2	UNSAT	0.05
ncf_8_16_4_d.1	SAT	0.06
3qbf-5cnf-40var-320cl.0	SAT	0.06
4qbf-5cnf-40var-640cl.1	UNSAT	0.06
ncf_8_16_4_u.2	UNSAT	0.06
3qbf-5cnf-20var-160cl.7	SAT	0.06
5qbf-5cnf-160var-5120cl.3	UNSAT	0.06
5qbf-5cnf-160var-5120cl.0	UNSAT	0.06
6qbf-5cnf-40var-1280cl.1	UNSAT	0.06
4qbf-5cnf-40var-640cl.3	UNSAT	0.06
4qbf-5cnf-40var-320cl.3	UNSAT	0.06
6qbf-5cnf-80var-2560cl.4	UNSAT	0.06
3qbf-5cnf-20var-320cl.3	UNSAT	0.06
6qbf-5cnf-80var-2560cl.7	UNSAT	0.06
5qbf-5cnf-80var-2560cl.4	UNSAT	0.06
5qbf-5cnf-20var-320cl.4	UNSAT	0.06
4qbf-5cnf-40var-640cl.6	UNSAT	0.06
ncf_8_16_4_euad.2	UNSAT	0.06
5qbf-5cnf-160var-5120cl.9	UNSAT	0.06
x15.5	SAT	0.06
5qbf-5cnf-80var-640cl.7	SAT	0.07
5qbf-5cnf-40var-1280cl.7	UNSAT	0.07
2qbf-5cnf-160var-2560cl.6	UNSAT	0.07
ncf_8_16_4_euad.1	SAT	0.07
6qbf-5cnf-20var-320cl.5	UNSAT	0.07
6qbf-5cnf-20var-320cl.8	UNSAT	0.07
4qbf-5cnf-160var-5120cl.0	UNSAT	0.07
5qbf-5cnf-160var-5120cl.5	UNSAT	0.07
5qbf-5cnf-160var-5120cl.6	UNSAT	0.07
6qbf-5cnf-20var-160cl.5	SAT	0.07
ncf_16_32_2_euad.9	SAT	0.07
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.07
5qbf-5cnf-160var-5120cl.2	UNSAT	0.07
ncf_16_32_2_d.9	SAT	0.07
4qbf-5cnf-160var-5120cl.8	UNSAT	0.07
6qbf-5cnf-80var-2560cl.2	UNSAT	0.07
ncf_4_8_8_edau.9	UNSAT	0.07
TOILET16.1.iv.32	SAT	0.07
5qbf-5cnf-160var-5120cl.8	UNSAT	0.08
2qbf-5cnf-160var-5120cl.2	UNSAT	0.08
6qbf-5cnf-20var-320cl.7	UNSAT	0.08
2qbf-5cnf-160var-5120cl.7	UNSAT	0.08
3qbf-5cnf-20var-320cl.5	UNSAT	0.08
2qbf-5cnf-40var-160cl.6	UNSAT	0.08
ncf_4_8_8_euad.9	UNSAT	0.08
4qbf-5cnf-160var-5120cl.9	UNSAT	0.08
4qbf-5cnf-80var-1280cl.4	UNSAT	0.08
ncf_4_8_8_d.9	UNSAT	0.08
x15.6	UNSAT	0.08
x20.4	SAT	0.08
nusmv.reactor^5.C-f2	UNSAT	0.08
texas.ifetch1^4.E-f2	UNSAT	0.08
2qbf-5cnf-160var-5120cl.3	UNSAT	0.09
ncf_4_8_8_u.9	UNSAT	0.09
4qbf-5cnf-160var-5120cl.3	UNSAT	0.09
6qbf-5cnf-20var-160cl.0	SAT	0.09
2qbf-5cnf-160var-2560cl.4	UNSAT	0.09
2qbf-5cnf-160var-5120cl.9	UNSAT	0.09
4qbf-5cnf-160var-5120cl.4	UNSAT	0.09
4qbf-5cnf-160var-5120cl.5	UNSAT	0.09
2qbf-5cnf-160var-5120cl.4	UNSAT	0.09
2qbf-5cnf-160var-5120cl.8	UNSAT	0.09
4qbf-5cnf-160var-5120cl.6	UNSAT	0.09
texas.ifetch1^2.E-f2	UNSAT	0.09
6qbf-5cnf-160var-5120cl.8	UNSAT	0.1
2qbf-5cnf-160var-2560cl.2	UNSAT	0.1
6qbf-5cnf-160var-5120cl.9	UNSAT	0.1
6qbf-5cnf-160var-5120cl.6	UNSAT	0.1
4qbf-5cnf-160var-5120cl.7	UNSAT	0.1
ncf_4_16_2_euad.6	SAT	0.1
2qbf-5cnf-160var-5120cl.1	UNSAT	0.1
6qbf-5cnf-160var-5120cl.4	UNSAT	0.1
4qbf-5cnf-160var-5120cl.1	UNSAT	0.1
6qbf-5cnf-160var-5120cl.0	UNSAT	0.1
2qbf-5cnf-160var-5120cl.0	UNSAT	0.1
6qbf-5cnf-160var-5120cl.5	UNSAT	0.1
2qbf-5cnf-160var-5120cl.6	UNSAT	0.1
2qbf-5cnf-160var-5120cl.5	UNSAT	0.1
x20.5	SAT	0.1
3qbf-5cnf-40var-640cl.5	UNSAT	0.11
3qbf-5cnf-40var-640cl.6	UNSAT	0.11
ncf_4_16_2_euad.9	SAT	0.11
6qbf-5cnf-40var-1280cl.3	UNSAT	0.11
6qbf-5cnf-160var-5120cl.1	UNSAT	0.11
5qbf-5cnf-20var-320cl.8	UNSAT	0.11
4qbf-5cnf-80var-1280cl.8	UNSAT	0.11
ncf_4_16_2_u.9	SAT	0.11
ncf_4_8_4_u.2	UNSAT	0.11
x15.3	SAT	0.11
x15.8	SAT	0.11
x35.0	SAT	0.11
6qbf-5cnf-80var-2560cl.8	UNSAT	0.12
4qbf-5cnf-160var-5120cl.2	UNSAT	0.12
ncf_4_16_2_edau.9	SAT	0.12
ncf_4_16_2_d.9	SAT	0.12
3qbf-5cnf-20var-160cl.1	SAT	0.12
3qbf-5cnf-20var-160cl.3	SAT	0.12
x15.0	UNSAT	0.12
x15.1	SAT	0.12
5qbf-5cnf-20var-320cl.2	UNSAT	0.13
5qbf-5cnf-20var-320cl.7	UNSAT	0.13
5qbf-5cnf-20var-320cl.3	UNSAT	0.13
5qbf-5cnf-40var-640cl.0	UNSAT	0.13
5qbf-5cnf-20var-320cl.0	UNSAT	0.14
3qbf-5cnf-40var-320cl.6	SAT	0.14
6qbf-5cnf-80var-2560cl.3	UNSAT	0.14
4qbf-5cnf-20var-160cl.0	UNSAT	0.14
irst.dme4.B-d2	SAT	0.14
4qbf-5cnf-80var-1280cl.2	UNSAT	0.15
sortnetsort5.v.stepl.003	UNSAT	0.15
5qbf-5cnf-160var-5120cl.7	UNSAT	0.16
6qbf-5cnf-20var-160cl.9	SAT	0.16
4qbf-5cnf-20var-160cl.8	UNSAT	0.16
3qbf-5cnf-40var-320cl.8	SAT	0.17
6qbf-5cnf-160var-5120cl.7	UNSAT	0.17
5qbf-5cnf-40var-320cl.9	SAT	0.17
x30.1	SAT	0.17
6qbf-5cnf-80var-1280cl.3	UNSAT	0.18
5qbf-5cnf-80var-640cl.2	SAT	0.18
ncf_4_16_2_d.6	SAT	0.19
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.19
x15.4	UNSAT	0.19
4qbf-5cnf-80var-1280cl.7	UNSAT	0.2
ncf_16_32_2_u.7	SAT	0.2
5qbf-5cnf-80var-2560cl.5	UNSAT	0.2
4qbf-5cnf-80var-1280cl.3	UNSAT	0.21
x15.9	UNSAT	0.21
x65.6	SAT	0.21
5qbf-5cnf-40var-640cl.5	UNSAT	0.22
5qbf-5cnf-160var-5120cl.4	UNSAT	0.22
6qbf-5cnf-40var-640cl.8	UNSAT	0.22
6qbf-5cnf-20var-160cl.2	SAT	0.22
ncf_16_32_2_euad.7	SAT	0.24
4qbf-5cnf-40var-640cl.7	UNSAT	0.26
3qbf-5cnf-40var-640cl.0	UNSAT	0.26
4qbf-5cnf-80var-1280cl.9	UNSAT	0.26
6qbf-5cnf-20var-160cl.7	SAT	0.27
x15.2	UNSAT	0.29
5qbf-5cnf-80var-640cl.3	SAT	0.3
x30.5	SAT	0.31
3qbf-5cnf-20var-320cl.8	UNSAT	0.32
6qbf-5cnf-20var-320cl.0	UNSAT	0.32
4qbf-5cnf-80var-1280cl.0	UNSAT	0.32
2qbf-5cnf-80var-1280cl.8	UNSAT	0.32
eijk.S1423.S-d2	SAT	0.32
3qbf-5cnf-40var-320cl.5	UNSAT	0.33
x20.9	SAT	0.33
x20.2	SAT	0.35
ncf_4_16_2_edau.6	SAT	0.37
3qbf-5cnf-80var-1280cl.2	UNSAT	0.37
6qbf-5cnf-20var-320cl.4	UNSAT	0.37
ncf_8_16_4_u.6	UNSAT	0.39
ncf_4_16_2_u.6	SAT	0.39
3qbf-5cnf-80var-1280cl.3	UNSAT	0.4
sortnetsort6.v.stepl.003	UNSAT	0.4
ncf_8_16_4_u.8	UNSAT	0.41
ncf_4_8_4_u.3	UNSAT	0.42
ncf_4_8_2_u.3	UNSAT	0.44
5qbf-5cnf-40var-640cl.4	UNSAT	0.44
4qbf-5cnf-20var-160cl.4	UNSAT	0.45
2qbf-5cnf-160var-2560cl.0	UNSAT	0.45
ncf_4_8_4_euad.3	UNSAT	0.49
ncf_8_16_8_edau.1	SAT	0.49
6qbf-5cnf-160var-5120cl.3	UNSAT	0.5
ncf_8_16_4_euad.6	UNSAT	0.52
ncf_4_8_8_edau.4	SAT	0.52
4qbf-5cnf-20var-160cl.9	SAT	0.54
6qbf-5cnf-80var-1280cl.2	UNSAT	0.57
6qbf-5cnf-40var-640cl.9	UNSAT	0.58
szymanski-8-s	UNSAT	0.59
ncf_4_8_8_u.4	SAT	0.6
ev-pr-4x4-11-3-0-0-1-lg	SAT	0.61
x20.6	SAT	0.61
ncf_4_8_4_euad.6	SAT	0.64
5qbf-5cnf-40var-320cl.3	SAT	0.64
ncf_16_32_2_edau.7	SAT	0.65
ncf_8_16_4_euad.8	UNSAT	0.66
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	UNSAT	0.66
sortnetsort5.v.stepl.006	SAT	0.67
x20.0	SAT	0.68
x40.1	UNSAT	0.7
ncf_8_16_8_euad.1	SAT	0.73
ncf_8_16_8_d.1	SAT	0.73
4qbf-5cnf-20var-160cl.2	SAT	0.73
3qbf-5cnf-40var-320cl.9	SAT	0.73
x20.8	SAT	0.74
x25.9	UNSAT	0.74
ev-pr-4x4-13-3-0-0-1-lg	SAT	0.76
texas.PI_main^14.E-f2	UNSAT	0.79
3qbf-5cnf-40var-320cl.1	SAT	0.8
2qbf-5cnf-40var-320cl.9	UNSAT	0.8
sortnetsort5.v.stepl.007	SAT	0.8
ncf_16_32_2_d.7	SAT	0.81
ncf_4_8_2_u.6	SAT	0.82
ncf_4_8_8_euad.4	SAT	0.83
irst.dme5.B-d2	SAT	0.83
x30.0	SAT	0.84
connect_8x7_4_W	UNSAT	0.85
connect_8x7_4_D	UNSAT	0.86
x20.3	SAT	0.86
ncf_4_8_4_u.6	SAT	0.87
C880.blif_0.10_1.00_0_1_out_exact	SAT	0.87
ev-pr-4x4-15-3-0-0-1-lg	SAT	0.89
ncf_4_8_4_u.1	SAT	0.9
connect_8x7_3_W	UNSAT	0.91
connect_8x7_3_D	UNSAT	0.92
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	0.93
ncf_4_16_2_d.7	SAT	0.97
6qbf-5cnf-20var-320cl.2	UNSAT	0.97
6qbf-5cnf-160var-5120cl.2	UNSAT	0.99
4qbf-5cnf-160var-2560cl.1	UNSAT	0.99
5qbf-5cnf-20var-320cl.1	UNSAT	1.02
ev-pr-4x4-17-3-0-0-1-lg	SAT	1.04
2qbf-5cnf-160var-2560cl.8	UNSAT	1.05
ncf_4_8_2_euad.3	UNSAT	1.08
x40.7	SAT	1.13
sortnetsort5.AE.stepl.003	SAT	1.16
6qbf-5cnf-80var-1280cl.9	UNSAT	1.17
ncf_4_16_2_euad.7	SAT	1.18
2qbf-5cnf-160var-2560cl.1	UNSAT	1.18
x60.7	SAT	1.18
4qbf-5cnf-20var-160cl.7	UNSAT	1.22
ncf_4_8_2_euad.6	SAT	1.24
3qbf-5cnf-80var-1280cl.0	UNSAT	1.27
3qbf-5cnf-40var-640cl.2	UNSAT	1.27
5qbf-5cnf-40var-640cl.7	UNSAT	1.28
connect_5x4_4_R	UNSAT	1.31
3qbf-5cnf-40var-320cl.7	SAT	1.32
connect_9x8_3_W	UNSAT	1.32
connect_9x8_5_D	UNSAT	1.34
connect_9x8_5_W	UNSAT	1.34
connect_9x8_4_D	UNSAT	1.35
5qbf-5cnf-160var-5120cl.1	UNSAT	1.37
2qbf-5cnf-160var-2560cl.3	UNSAT	1.37
connect_9x8_4_W	UNSAT	1.39
connect_9x8_3_D	UNSAT	1.39
x40.4	UNSAT	1.39
4qbf-5cnf-80var-1280cl.1	UNSAT	1.4
2qbf-5cnf-160var-320cl.5	SAT	1.44
6qbf-5cnf-40var-640cl.3	UNSAT	1.51
2qbf-5cnf-160var-2560cl.9	UNSAT	1.55
sortnetsort5.v.stepl.004	UNSAT	1.56
5qbf-5cnf-40var-640cl.3	UNSAT	1.57
x130.6	SAT	1.58
3qbf-5cnf-40var-320cl.2	SAT	1.59
3qbf-5cnf-40var-640cl.1	UNSAT	1.62
x30.4	SAT	1.62
ncf_8_16_4_euad.10	SAT	1.63
x20.1	SAT	1.65
szymanski-10-s	UNSAT	1.69
x175.8	SAT	1.69
4qbf-5cnf-160var-2560cl.2	UNSAT	1.7
ncf_4_8_4_euad.4	UNSAT	1.7
5qbf-5cnf-20var-320cl.9	UNSAT	1.73
ncf_4_16_4_euad.9	SAT	1.73
x25.7	UNSAT	1.73
x20.7	SAT	1.74
ncf_4_8_4_euad.1	SAT	1.75
5qbf-5cnf-80var-640cl.6	SAT	1.77
k_lin_p-8	UNSAT	1.83
2qbf-5cnf-80var-1280cl.1	UNSAT	1.88
4qbf-5cnf-20var-160cl.1	UNSAT	1.93
S-adeu-8	UNSAT	1.93
4qbf-5cnf-160var-2560cl.7	UNSAT	1.98
4qbf-5cnf-160var-2560cl.3	UNSAT	2.03
2qbf-5cnf-40var-320cl.6	UNSAT	2.03
S-adeu-4	UNSAT	2.05
sortnetsort5.v.stepl.005	SAT	2.06
x25.5	UNSAT	2.1
3qbf-5cnf-40var-320cl.3	SAT	2.15
4qbf-5cnf-160var-2560cl.6	UNSAT	2.36
ncf_8_16_4_u.10	SAT	2.39
4qbf-5cnf-80var-320cl.8	SAT	2.4
6qbf-5cnf-40var-640cl.4	UNSAT	2.41
6qbf-5cnf-160var-2560cl.7	UNSAT	2.48
x40.0	SAT	2.5
sortnetsort7.v.stepl.003	UNSAT	2.52
6qbf-5cnf-40var-640cl.2	UNSAT	2.56
x150.4	SAT	2.62
x25.6	UNSAT	2.65
x85.8	SAT	2.66
ncf_8_16_4_edau.8	UNSAT	2.74
ncf_4_16_2_edau.7	SAT	2.75
T-adeu-8	UNSAT	2.75
eijk.bs1512.S-d2	SAT	2.83
6qbf-5cnf-40var-640cl.6	UNSAT	2.88
T-adeu-4	UNSAT	2.93
k_ph_n-8	SAT	2.94
5qbf-5cnf-40var-320cl.6	SAT	3
ncf_4_16_2_u.7	SAT	3
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	3.1
x30.8	SAT	3.17
5qbf-5cnf-40var-640cl.9	UNSAT	3.19
6qbf-5cnf-160var-2560cl.8	UNSAT	3.24
x25.0	SAT	3.25
toilet_a_10_01.16	UNSAT	3.27
x135.4	SAT	3.3
2qbf-5cnf-160var-2560cl.5	UNSAT	3.33
6qbf-5cnf-80var-1280cl.8	UNSAT	3.4
ncf_4_8_4_u.7	UNSAT	3.43
4qbf-5cnf-20var-160cl.5	UNSAT	3.44
6qbf-5cnf-40var-320cl.0	UNSAT	3.46
6qbf-5cnf-160var-2560cl.5	UNSAT	3.49
5qbf-5cnf-40var-640cl.6	UNSAT	3.5
irst.dme6.B-d2	SAT	3.54
ncf_4_8_4_u.4	UNSAT	3.55
ncf_4_16_4_u.9	SAT	3.68
ncf_8_16_4_edau.6	UNSAT	3.72
x45.6	UNSAT	3.75
4qbf-5cnf-80var-320cl.6	SAT	3.89
2qbf-5cnf-80var-1280cl.7	UNSAT	3.95
szymanski-12-s	UNSAT	3.98
x25.3	UNSAT	4.1
x30.6	SAT	4.19
4qbf-5cnf-160var-2560cl.8	UNSAT	4.24
x25.8	UNSAT	4.24
4qbf-5cnf-20var-160cl.6	UNSAT	4.39
3qbf-5cnf-40var-640cl.3	UNSAT	4.48
ncf_4_8_4_euad.8	UNSAT	4.55
5qbf-5cnf-80var-1280cl.7	UNSAT	4.58
sortnetsort6.v.stepl.004	UNSAT	4.67
x30.7	SAT	4.71
x150.0	SAT	4.74
x25.1	SAT	4.81
x50.1	SAT	4.94
6qbf-5cnf-40var-640cl.1	UNSAT	5.08
x55.1	SAT	5.1
2qbf-5cnf-80var-1280cl.0	UNSAT	5.15
ncf_8_16_4_d.6	UNSAT	5.33
x215.0	SAT	5.41
4qbf-5cnf-80var-1280cl.6	UNSAT	5.43
6qbf-5cnf-40var-640cl.0	UNSAT	5.43
k_lin_n-4	SAT	5.43
4qbf-5cnf-160var-2560cl.9	UNSAT	5.76
robots_1_5_2_85.4	SAT	5.78
robots_1_5_2_21.4	SAT	5.8
2qbf-5cnf-160var-2560cl.7	UNSAT	5.8
x45.0	SAT	5.83
robots_1_5_5_66.4	SAT	5.85
robots_1_5_5_26.4	SAT	5.86
6qbf-5cnf-80var-1280cl.0	UNSAT	5.86
robots_1_5_2_3.4	SAT	5.86
ncf_4_8_8_u.1	SAT	6.24
3qbf-5cnf-40var-320cl.4	SAT	6.35
3qbf-5cnf-160var-2560cl.7	UNSAT	6.4
2qbf-5cnf-40var-320cl.0	UNSAT	6.42
5qbf-5cnf-80var-1280cl.9	UNSAT	6.48
ncf_8_16_4_d.8	UNSAT	6.56
ncf_4_8_4_u.8	UNSAT	6.59
T-edau-6	UNSAT	6.69
counter_re_4	SAT	6.85
6qbf-5cnf-40var-640cl.5	UNSAT	6.86
x45.1	SAT	7.11
T-edau-1	UNSAT	7.2
5qbf-5cnf-40var-640cl.2	UNSAT	7.35
T-edau-0	UNSAT	7.43
T-edau-4	UNSAT	7.7
S-edau-6	UNSAT	8.09
T-edau-5	UNSAT	8.12
T-edau-7	UNSAT	8.23
S-edau-1	UNSAT	8.28
x25.4	UNSAT	8.32
T-edau-3	UNSAT	8.37
ncf_4_8_8_u.5	SAT	8.43
szymanski-14-s	UNSAT	8.46
S-edau-0	UNSAT	8.58
S-edau-4	UNSAT	8.86
S-edau-5	UNSAT	8.99
S-edau-3	UNSAT	9.02
S-edau-7	UNSAT	9.15
S-adeu-5	UNSAT	9.29
connect_5x4_3_R	UNSAT	9.42
sortnetsort8.v.stepl.003	UNSAT	9.46
T-edau-8	UNSAT	9.58
T-edau-9	UNSAT	9.68
T-edau-2	UNSAT	9.77
S-edau-9	UNSAT	9.99
ncf_4_8_4_euad.7	UNSAT	10.09
S-adeu-7	UNSAT	10.18
S-edau-8	UNSAT	10.27
S-edau-2	UNSAT	10.39
x25.2	SAT	10.63
ncf_4_8_8_euad.1	SAT	10.68
x35.6	SAT	11.43
ncf_4_8_4_u.10	SAT	11.54
3qbf-5cnf-80var-1280cl.6	UNSAT	11.86
connect_6x5_5_R	UNSAT	12
sortnetsort5.AE.stepl.004	SAT	12.24
ncf_4_16_4_euad.5	SAT	12.35
x80.8	SAT	12.57
3qbf-5cnf-80var-1280cl.8	UNSAT	12.96
k_grz_p-4	UNSAT	13.03
k_lin_p-12	UNSAT	13.6
6qbf-5cnf-80var-1280cl.5	UNSAT	14.53
T-adeu-5	UNSAT	14.62
4qbf-5cnf-160var-2560cl.0	UNSAT	14.68
ncf_4_8_8_u.3	SAT	15.35
6qbf-5cnf-80var-1280cl.1	UNSAT	15.5
szymanski-16-s	UNSAT	15.94
lognBWLARGEA1	UNSAT	16.81
BLOCKS3ii.5.2	UNSAT	16.92
3qbf-5cnf-160var-2560cl.9	UNSAT	16.94
x35.9	SAT	17.14
x30.3	SAT	17.17
T-adeu-7	UNSAT	17.17
sortnetsort5.AE.stepl.005	UNSAT	18.09
sortnetsort5.AE.stepl.006	UNSAT	19.19
5qbf-5cnf-80var-640cl.0	SAT	19.48
ncf_4_8_8_euad.3	SAT	19.72
4qbf-5cnf-40var-320cl.9	UNSAT	20.15
sortnetsort5.AE.stepl.007	UNSAT	20.77
5qbf-5cnf-80var-1280cl.3	UNSAT	22.16
x40.6	SAT	22.33
x30.9	UNSAT	22.62
4qbf-5cnf-80var-320cl.5	SAT	22.7
ncf_4_8_8_u.8	SAT	23.66
6qbf-5cnf-160var-2560cl.0	UNSAT	24.01
x30.2	SAT	24.65
4qbf-5cnf-80var-320cl.4	SAT	25.19
1qbf-5cnf-160var-2560cl.7	FAIL	25.76
1qbf-5cnf-160var-2560cl.0	FAIL	28.21
ncf_4_16_4_u.5	SAT	28.67
szymanski-18-s	UNSAT	29.08
5qbf-5cnf-80var-1280cl.1	UNSAT	30.59
1qbf-5cnf-160var-2560cl.3	FAIL	30.99
ncf_8_16_4_edau.10	SAT	31.2
4qbf-5cnf-160var-2560cl.5	UNSAT	32.53
k_lin_p-16	UNSAT	33.43
x35.5	UNSAT	33.46
1qbf-5cnf-160var-2560cl.1	FAIL	33.93
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	34.36
1qbf-5cnf-160var-2560cl.5	FAIL	35.34
ncf_4_8_4_euad.10	SAT	35.71
x70.8	SAT	36.23
5qbf-5cnf-80var-1280cl.4	UNSAT	36.73
5qbf-5cnf-40var-320cl.8	SAT	37.32
adder-6-unsat	FAIL	37.66
BLOCKS3ii.5.3	FAIL	38.01
1qbf-5cnf-160var-2560cl.9	FAIL	38.29
1qbf-5cnf-80var-2560cl.7	FAIL	40.23
6qbf-5cnf-160var-2560cl.9	UNSAT	40.48
eijk.S349.S-d2	SAT	40.56
eijk.S344.S-d2	SAT	40.71
ncf_4_8_4_u.5	SAT	41.5
ncf_4_16_4_edau.9	SAT	41.98
1qbf-5cnf-160var-2560cl.8	FAIL	42.13
x80.3	SAT	42.7
1qbf-5cnf-80var-2560cl.2	FAIL	43.05
robots_1_5_2_100.4	SAT	43.44
robots_1_5_2_2.4	SAT	43.86
1qbf-5cnf-160var-2560cl.4	FAIL	44.21
robots_1_5_2_80.4	SAT	44.28
x35.3	UNSAT	44.96
1qbf-5cnf-160var-2560cl.2	FAIL	46.08
1qbf-5cnf-80var-2560cl.6	FAIL	46.35
1qbf-5cnf-160var-2560cl.6	FAIL	48.2
1qbf-5cnf-80var-2560cl.8	FAIL	48.69
szymanski-20-s	UNSAT	48.71
1qbf-5cnf-80var-2560cl.3	FAIL	50.13
nusmv.dme2-16.B-d2	SAT	50.2
BLOCKS3i.5.3	FAIL	50.43
1qbf-5cnf-80var-2560cl.1	FAIL	50.69
BLOCKS4ii.6.3	FAIL	50.85
robots_1_5_2_45.4	SAT	51.33
3qbf-5cnf-160var-2560cl.5	FAIL	51.47
x45.5	SAT	51.69
2qbf-5cnf-40var-320cl.8	UNSAT	51.85
robots_1_5_3_44.4	SAT	52.28
4qbf-5cnf-160var-2560cl.4	UNSAT	52.3
x35.7	UNSAT	53.7
Adder2-4-c	FAIL	54.22
x140.7	SAT	55.05
robots_1_5_4_98.4	SAT	55.25
1qbf-5cnf-80var-2560cl.9	FAIL	56.68
1qbf-5cnf-80var-2560cl.5	FAIL	56.86
robots_1_5_3_16.4	SAT	56.97
counter_8	SAT	58.5
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	58.61
x90.2	SAT	58.61
1qbf-5cnf-80var-2560cl.4	FAIL	59.17
robots_1_5_2_99.4	SAT	59.3
robots_1_5_4_50.4	SAT	59.77
1qbf-5cnf-80var-2560cl.0	FAIL	60.31
ncf_4_8_8_d.4	SAT	60.85
robots_1_5_3_66.4	SAT	60.94
sortnetsort7.v.stepl.004	UNSAT	61.06
robots_1_5_4_87.4	SAT	61.07
robots_1_5_4_46.4	SAT	61.59
robots_1_5_3_100.4	SAT	61.81
lut4_3_fAND	FAIL	63.03
robots_1_5_5_87.4	SAT	63.15
robots_1_5_4_31.4	SAT	63.34
lut4_2_f2	FAIL	64.71
lut4_2_f1	FAIL	65.19
lut4_2_fXOR	FAIL	65.34
robots_1_5_4_30.4	SAT	65.5
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	66.1
sortnetsort6.v.stepl.007	SAT	67.37
x35.4	UNSAT	67.41
robots_1_5_4_100.4	SAT	67.79
6qbf-5cnf-160var-2560cl.2	FAIL	68.24
ncf_8_16_4_d.10	SAT	70.18
lognBWLARGEB1	UNSAT	70.42
x50.7	UNSAT	70.52
BLOCKS3i.5.4	FAIL	70.7
robots_1_5_2_39.4	SAT	70.79
robots_1_5_3_20.4	SAT	70.99
term1.blif_0.10_1.00_0_0_out_exact	FAIL	71.67
3qbf-5cnf-80var-1280cl.5	FAIL	71.67
robots_1_5_3_2.4	SAT	72.19
robots_1_5_3_24.4	SAT	72.28
robots_1_5_2_82.4	SAT	72.34
robots_1_5_5_45.4	SAT	73.25
2qbf-5cnf-40var-320cl.7	UNSAT	73.83
5qbf-5cnf-160var-2560cl.2	FAIL	74.22
robots_1_5_4_91.4	SAT	74.48
robots_1_5_5_30.4	SAT	74.78
lut4_AND_f1	FAIL	77.6
lut4_AND_fXOR	FAIL	77.64
k_grz_p-8	UNSAT	79.51
szymanski-22-s	UNSAT	79.92
5qbf-5cnf-160var-2560cl.5	FAIL	81.25
robots_1_5_4_2.4	SAT	81.72
6qbf-5cnf-160var-2560cl.6	FAIL	81.72
BLOCKS4i.6.4	FAIL	83.85
robots_1_5_3_78.4	SAT	83.88
robots_1_5_5_34.4	SAT	84.15
x45.8	UNSAT	85.6
x70.9	SAT	86.26
5qbf-5cnf-160var-2560cl.4	FAIL	87.08
robots_1_5_3_57.4	SAT	89.3
3qbf-5cnf-160var-2560cl.0	FAIL	89.54
Adder2-6-c	FAIL	90.71
x35.8	SAT	90.87
sortnetsort6.v.stepl.006	SAT	91.41
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	92.91
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	93.76
3qbf-5cnf-160var-2560cl.2	FAIL	93.85
3qbf-5cnf-160var-2560cl.6	FAIL	94.33
5qbf-5cnf-160var-2560cl.3	FAIL	94.5
robots_1_5_3_52.4	SAT	95.43
robots_1_5_5_93.4	SAT	96.89
robots_1_5_4_51.4	SAT	98.03
k_lin_p-20	UNSAT	100.68
TOILET7.1.iv.13	UNSAT	102.76
5qbf-5cnf-80var-1280cl.6	UNSAT	103.8
ncf_4_16_2_u.4	SAT	104.1
5qbf-5cnf-80var-1280cl.0	FAIL	104.12
BLOCKS4iii.7	FAIL	104.7
3qbf-5cnf-160var-2560cl.1	FAIL	105.54
5qbf-5cnf-160var-2560cl.9	FAIL	106.64
5qbf-5cnf-80var-1280cl.5	UNSAT	109.6
robots_1_5_5_100.4	SAT	110.41
x120.6	SAT	110.54
robots_1_5_5_8.4	SAT	111.09
robots_1_5_5_12.4	SAT	111.33
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	112
5qbf-5cnf-160var-2560cl.8	FAIL	115.18
BLOCKS4ii.7.2	FAIL	115.59
BLOCKS4iii.6	FAIL	116.77
6qbf-5cnf-160var-2560cl.4	FAIL	118.08
BLOCKS3i.4.4	FAIL	118.8
szymanski-24-s	UNSAT	124.66
sortnetsort6.v.stepl.005	UNSAT	124.73
5qbf-5cnf-160var-2560cl.0	FAIL	127.01
x40.8	UNSAT	128.14
x35.2	SAT	128.16
3qbf-5cnf-160var-2560cl.3	FAIL	128.73
x45.9	UNSAT	129.92
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	131.1
5qbf-5cnf-80var-1280cl.2	FAIL	131.69
x35.1	SAT	136.75
ncf_4_8_8_euad.8	SAT	142.87
k_lin_p-21	UNSAT	143.93
C499.blif_0.10_1.00_0_0_out_exact	FAIL	144.47
3qbf-5cnf-160var-2560cl.4	FAIL	153.54
3qbf-5cnf-80var-1280cl.7	UNSAT	154.25
6qbf-5cnf-80var-1280cl.7	UNSAT	158
5qbf-5cnf-160var-2560cl.1	FAIL	159.36
5qbf-5cnf-160var-2560cl.7	FAIL	160.39
3qbf-5cnf-80var-1280cl.9	FAIL	161
5qbf-5cnf-160var-2560cl.6	FAIL	161.12
ncf_4_16_2_u.2	SAT	165.92
Adder2-8-c	FAIL	166.12
k_ph_n-12	SAT	172.62
5qbf-5cnf-80var-1280cl.8	FAIL	176.31
ncf_4_16_4_d.9	SAT	185.18
x45.7	SAT	190.99
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	193.41
sortnetsort8.v.stepl.004	UNSAT	195.83
3qbf-5cnf-80var-1280cl.1	FAIL	197.92
adder-4-unsat	FAIL	198.19
5qbf-5cnf-80var-640cl.4	SAT	198.59
k_grz_n-8	SAT	211.73
ncf_4_8_4_euad.5	SAT	215.42
4qbf-5cnf-80var-320cl.3	SAT	223.6
ncf_4_16_2_euad.4	SAT	226.45
2qbf-5cnf-40var-320cl.1	UNSAT	230.99
k_ph_p-8	UNSAT	232.95
toilet_a_10_05.4	SAT	253.91
C432.blif_0.10_1.00_0_0_out_exact	FAIL	260.32
term1.blif_0.10_0.20_0_0_out_exact	FAIL	261.05
4qbf-5cnf-40var-320cl.6	UNSAT	276.15
ncf_4_16_4_u.1	SAT	279.48
k_lin_n-8	SAT	285.94
x40.2	UNSAT	292.3
x40.5	SAT	300.31
x45.2	UNSAT	303.34
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	316.11
6qbf-5cnf-160var-2560cl.3	FAIL	326.13
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	335.97
2qbf-5cnf-160var-320cl.6	SAT	345.98
2qbf-5cnf-40var-320cl.5	UNSAT	350.91
x70.4	SAT	357.92
3qbf-5cnf-160var-2560cl.8	FAIL	382.34
6qbf-5cnf-40var-320cl.6	SAT	388.65
ncf_4_8_8_euad.6	UNSAT	401.46
nusmv.dme1-16.B-d2	SAT	410.44
5qbf-5cnf-80var-640cl.8	SAT	413.47
6qbf-5cnf-80var-1280cl.6	FAIL	431.75
x110.7	SAT	442.7
ncf_4_16_4_euad.1	SAT	470.88
adder-8-unsat	FAIL	472.18
sortnetsort6.AE.stepl.003	SAT	478.32
x75.9	SAT	500.02
k_d4_n-4	SAT	508.06
ncf_4_16_2_euad.2	SAT	508.44
sortnetsort10.v.stepl.012	FAIL	531.54
x70.0	SAT	571.75
2qbf-5cnf-160var-320cl.2	SAT	581.93
sortnetsort10.v.stepl.011	FAIL	598.39
sortnetsort9.v.stepl.012	FAIL	599.99
sortnetsort10.v.stepl.010	FAIL	600.02
BLOCKS3iii.5	FAIL	600.04
texas.two_proc^5.E-f2	FAIL	600.12
sortnetsort10.v.stepl.009	FAIL	600.15
sortnetsort9.v.stepl.009	FAIL	600.15
sortnetsort9.v.stepl.011	FAIL	600.16
sortnetsort9.v.stepl.010	FAIL	600.19
sortnetsort10.v.stepl.008	FAIL	600.21
k_t4p_n-20	FAIL	600.28
k_poly_n-21	FAIL	600.37
sortnetsort9.v.stepl.008	FAIL	600.39
counter_re_8	FAIL	600.4
s820_d2_s	FAIL	600.41
sortnetsort10.v.stepl.007	FAIL	600.41
sortnetsort9.v.stepl.007	FAIL	600.42
k_d4_p-21	FAIL	600.45
k_t4p_p-21	FAIL	600.45
k_d4_n-21	FAIL	600.48
k_t4p_n-16	FAIL	600.48
k_t4p_p-12	FAIL	600.49
sortnetsort9.v.stepl.006	FAIL	600.49
s713_d2_s	FAIL	600.5
qshifter_5	FAIL	600.5
sortnetsort10.v.stepl.005	FAIL	600.5
qshifter_8	FAIL	600.51
k_d4_n-20	FAIL	600.51
s298_d4_s	FAIL	600.51
k_t4p_p-20	FAIL	600.52
k_path_n-21	FAIL	600.52
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.52
counter_e_8	FAIL	600.53
k_d4_p-16	FAIL	600.54
sortnetsort8.v.stepl.009	FAIL	600.54
k_t4p_n-21	FAIL	600.55
sortnetsort10.v.stepl.006	FAIL	600.55
k_grz_p-21	FAIL	600.56
k_dum_n-21	FAIL	600.56
k_t4p_n-12	FAIL	600.57
6qbf-5cnf-160var-2560cl.1	FAIL	600.58
k_t4p_p-16	FAIL	600.59
k_path_p-20	FAIL	600.59
k_d4_p-20	FAIL	600.6
k_t4p_n-8	FAIL	600.6
ncf_16_32_2_u.3	FAIL	600.6
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.6
k_grz_p-12	FAIL	600.61
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	600.61
k_branch_p-12	FAIL	600.62
k_branch_n-8	FAIL	600.62
sortnetsort8.v.stepl.006	FAIL	600.62
s510_d2_s	FAIL	600.63
k_path_n-20	FAIL	600.63
k_poly_p-20	FAIL	600.63
x300.4	FAIL	600.63
irst.dme4.B-f2	FAIL	600.63
irst.dme5.B-f2	FAIL	600.63
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	600.63
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.63
k_dum_p-21	FAIL	600.64
k_d4_n-12	FAIL	600.64
k_poly_n-16	FAIL	600.64
s499_d4_s	FAIL	600.64
k_poly_p-21	FAIL	600.64
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	600.64
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.64
k_path_p-21	FAIL	600.65
texas.PI_main^11.E-f2	FAIL	600.65
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.65
k_dum_p-20	FAIL	600.66
k_poly_n-20	FAIL	600.66
Adder2-8-s	FAIL	600.66
nusmv.reactor^2.C-f2	FAIL	600.66
sortnetsort8.v.stepl.007	FAIL	600.66
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.66
k_lin_n-16	FAIL	600.67
k_grz_p-16	FAIL	600.67
k_d4_n-16	FAIL	600.67
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	600.67
k_branch_p-8	FAIL	600.67
cmu.dme2.B-f2	FAIL	600.67
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	600.67
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.67
k_grz_p-20	FAIL	600.68
k_grz_n-20	FAIL	600.68
x350.0	FAIL	600.68
irst.dme6.B-f2	FAIL	600.68
sortnetsort10.AE.stepl.012	FAIL	600.68
sortnetsort9.v.stepl.005	FAIL	600.68
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.68
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.68
k_grz_n-12	FAIL	600.69
counter_r_8	FAIL	600.69
s499_d2_s	FAIL	600.69
ncf_16_32_8_u.5	FAIL	600.69
x350.7	FAIL	600.69
x400.9	FAIL	600.69
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	600.69
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.69
s386_d2_s	FAIL	600.7
ncf_4_16_2_euad.5	FAIL	600.7
k_poly_n-8	FAIL	600.7
texas.ifetch1^5.E-f2	FAIL	600.7
k_path_p-12	FAIL	600.71
k_poly_p-12	FAIL	600.71
k_path_n-16	FAIL	600.71
x350.3	FAIL	600.71
eijk.S953.S-f2	FAIL	600.71
sortnetsort7.v.stepl.008	FAIL	600.71
sortnetsort8.v.stepl.008	FAIL	600.71
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.71
k_lin_n-20	FAIL	600.72
k_d4_n-8	FAIL	600.72
k_t4p_p-4	FAIL	600.72
k_d4_p-12	FAIL	600.72
x300.1	FAIL	600.72
nusmv.reactor^3.C-f2	FAIL	600.72
nusmv.reactor^6.C-f2	FAIL	600.72
sortnetsort9.AE.stepl.009	FAIL	600.72
k_path_p-16	FAIL	600.73
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	600.73
k_dum_n-16	FAIL	600.73
k_grz_n-16	FAIL	600.73
k_lin_n-21	FAIL	600.73
k_poly_n-12	FAIL	600.73
x200.0	FAIL	600.73
x300.9	FAIL	600.73
x400.3	FAIL	600.73
x400.8	FAIL	600.73
cmu.gigamax.B-f2	FAIL	600.73
vis.elevator^3.E-f2	FAIL	600.73
sortnetsort7.v.stepl.009	FAIL	600.73
Adder2-6-s	FAIL	600.74
k_dum_n-20	FAIL	600.74
k_grz_n-21	FAIL	600.74
x195.0	FAIL	600.74
x200.8	FAIL	600.74
x350.1	FAIL	600.74
x400.5	FAIL	600.74
texas.two_proc^2.E-f2	FAIL	600.74
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.74
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.74
k_lin_n-12	FAIL	600.75
k_dum_p-12	FAIL	600.75
k_t4p_n-4	FAIL	600.75
k_dum_n-12	FAIL	600.75
x205.2	FAIL	600.75
x300.5	FAIL	600.75
T-adeu-1	FAIL	600.75
eijk.bs1512.S-f2	FAIL	600.75
eijk.S820.S-f2	FAIL	600.75
nusmv.reactor^4.C-f2	FAIL	600.75
nusmv.reactor^7.C-f2	FAIL	600.75
sortnetsort10.AE.stepl.010	FAIL	600.75
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.75
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.75
adder-16-sat	FAIL	600.76
k_t4p_p-8	FAIL	600.76
x250.3	FAIL	600.76
x300.3	FAIL	600.76
x300.7	FAIL	600.76
x300.8	FAIL	600.76
ken.oop^2.C-f2	FAIL	600.76
texas.ifetch1^7.E-f2	FAIL	600.76
texas.PI_main^12.E-f2	FAIL	600.76
sortnetsort9.AE.stepl.008	FAIL	600.76
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.76
ncf_8_16_8_d.5	FAIL	600.77
x195.2	FAIL	600.77
x195.5	FAIL	600.77
x235.0	FAIL	600.77
x245.2	FAIL	600.77
x400.4	FAIL	600.77
S-adeu-0	FAIL	600.77
T-adeu-0	FAIL	600.77
cmu.dme1.B-f2	FAIL	600.77
texas.PI_main^01.E-f2	FAIL	600.77
texas.PI_main^10.E-f2	FAIL	600.77
texas.PI_main^16.E-f2	FAIL	600.77
vis.elevator^2.E-f2	FAIL	600.77
sortnetsort10.AE.stepl.011	FAIL	600.77
sortnetsort10.v.stepl.004	FAIL	600.77
sortnetsort7.v.stepl.007	FAIL	600.77
sortnetsort9.AE.stepl.012	FAIL	600.77
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.77
mutex-64-s	FAIL	600.78
qshifter_6	FAIL	600.78
x180.5	FAIL	600.78
x215.2	FAIL	600.78
x230.4	FAIL	600.78
x245.5	FAIL	600.78
x250.0	FAIL	600.78
x250.8	FAIL	600.78
x350.4	FAIL	600.78
x350.6	FAIL	600.78
T-adeu-6	FAIL	600.78
texas.PI_main^02.E-f2	FAIL	600.78
texas.two_proc^3.E-f2	FAIL	600.78
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.78
qshifter_7	FAIL	600.79
k_dum_p-16	FAIL	600.79
mutex-128-s	FAIL	600.79
x220.0	FAIL	600.79
x235.4	FAIL	600.79
x240.8	FAIL	600.79
x245.8	FAIL	600.79
x300.0	FAIL	600.79
x300.6	FAIL	600.79
x400.1	FAIL	600.79
eijk.S832.S-f2	FAIL	600.79
texas.ifetch1^9.E-f2	FAIL	600.79
vis.coherence^1.E-f2	FAIL	600.79
sortnetsort10.AE.stepl.006	FAIL	600.79
sortnetsort8.AE.stepl.008	FAIL	600.79
sortnetsort8.v.stepl.005	FAIL	600.79
sortnetsort9.AE.stepl.011	FAIL	600.79
k_path_n-12	FAIL	600.8
x140.6	FAIL	600.8
x160.4	FAIL	600.8
x175.6	FAIL	600.8
x180.1	FAIL	600.8
x185.7	FAIL	600.8
x185.8	FAIL	600.8
x195.4	FAIL	600.8
x240.2	FAIL	600.8
texas.two_proc^1.E-f2	FAIL	600.8
sortnetsort7.AE.stepl.009	FAIL	600.8
sortnetsort8.AE.stepl.009	FAIL	600.8
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.8
k_poly_n-4	FAIL	600.81
k_path_n-8	FAIL	600.81
mutex-32-s	FAIL	600.81
k_branch_p-4	FAIL	600.81
k_dum_n-8	FAIL	600.81
Adder2-4-s	FAIL	600.81
comp.blif_0.10_1.00_0_0_out_exact	FAIL	600.81
k_path_p-8	FAIL	600.81
x140.9	FAIL	600.81
x145.3	FAIL	600.81
x175.9	FAIL	600.81
x215.6	FAIL	600.81
x220.9	FAIL	600.81
x235.1	FAIL	600.81
x240.1	FAIL	600.81
x350.8	FAIL	600.81
x400.2	FAIL	600.81
S-adeu-9	FAIL	600.81
eijk.S838.S-f2	FAIL	600.81
texas.two_proc^6.E-f2	FAIL	600.81
sortnetsort7.v.stepl.006	FAIL	600.81
6qbf-5cnf-80var-1280cl.4	FAIL	600.82
s298_d2_s	FAIL	600.82
x150.9	FAIL	600.82
x155.8	FAIL	600.82
x210.6	FAIL	600.82
x215.8	FAIL	600.82
x230.1	FAIL	600.82
x240.6	FAIL	600.82
x400.0	FAIL	600.82
T-adeu-3	FAIL	600.82
T-adeu-9	FAIL	600.82
texas.ifetch1^8.E-f2	FAIL	600.82
texas.two_proc^4.E-f2	FAIL	600.82
sortnetsort10.AE.stepl.007	FAIL	600.82
sortnetsort10.AE.stepl.008	FAIL	600.82
sortnetsort8.AE.stepl.007	FAIL	600.82
sortnetsort9.AE.stepl.010	FAIL	600.82
adder-10-sat	FAIL	600.83
ncf_16_32_4_edau.3	FAIL	600.83
k_branch_n-4	FAIL	600.83
x135.2	FAIL	600.83
x140.0	FAIL	600.83
x155.2	FAIL	600.83
x160.6	FAIL	600.83
x180.9	FAIL	600.83
x185.2	FAIL	600.83
x185.6	FAIL	600.83
x195.6	FAIL	600.83
x200.6	FAIL	600.83
x210.3	FAIL	600.83
x215.7	FAIL	600.83
x230.0	FAIL	600.83
x245.6	FAIL	600.83
x300.2	FAIL	600.83
x350.5	FAIL	600.83
S-adeu-3	FAIL	600.83
ken.oop^1.C-f2	FAIL	600.83
nusmv.brp.B-f2	FAIL	600.83
texas.parsesys^3.E-f2	FAIL	600.83
sortnetsort10.AE.stepl.009	FAIL	600.83
sortnetsort8.AE.stepl.006	FAIL	600.83
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.83
test5_quant_squaring5	FAIL	600.84
ncf_8_16_8_edau.4	FAIL	600.84
ev-pr-8x8-11-7-0-1-2-lg	FAIL	600.84
k_d4_p-8	FAIL	600.84
x125.7	FAIL	600.84
x140.5	FAIL	600.84
x175.5	FAIL	600.84
x180.0	FAIL	600.84
x180.4	FAIL	600.84
x180.6	FAIL	600.84
x185.3	FAIL	600.84
x185.9	FAIL	600.84
x190.1	FAIL	600.84
x190.4	FAIL	600.84
x205.6	FAIL	600.84
x210.1	FAIL	600.84
x210.7	FAIL	600.84
x215.1	FAIL	600.84
x220.6	FAIL	600.84
x225.8	FAIL	600.84
x225.9	FAIL	600.84
x230.5	FAIL	600.84
x230.7	FAIL	600.84
x235.9	FAIL	600.84
x240.3	FAIL	600.84
x240.9	FAIL	600.84
S-adeu-1	FAIL	600.84
S-adeu-6	FAIL	600.84
vis.coherence^2.E-f2	FAIL	600.84
sortnetsort10.AE.stepl.005	FAIL	600.84
sortnetsort7.AE.stepl.005	FAIL	600.84
ncf_4_32_2_edau.5	FAIL	600.85
3qbf-5cnf-80var-1280cl.4	FAIL	600.85
ncf_8_16_4_d.3	FAIL	600.85
ncf_4_16_2_d.1	FAIL	600.85
x120.8	FAIL	600.85
x155.6	FAIL	600.85
x165.6	FAIL	600.85
x175.7	FAIL	600.85
x190.9	FAIL	600.85
x195.9	FAIL	600.85
x200.1	FAIL	600.85
x205.0	FAIL	600.85
x205.7	FAIL	600.85
x210.9	FAIL	600.85
x215.9	FAIL	600.85
x235.8	FAIL	600.85
x240.5	FAIL	600.85
x245.9	FAIL	600.85
x350.2	FAIL	600.85
x60.4	FAIL	600.85
vis.4-arbit^1.E-f2	FAIL	600.85
vis.4-arbit^2.E-f2	FAIL	600.85
sortnetsort7.AE.stepl.008	FAIL	600.85
sortnetsort8.AE.stepl.005	FAIL	600.85
sortnetsort9.AE.stepl.007	FAIL	600.85
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.85
adder-4-sat	FAIL	600.86
ncf_16_32_8_euad.1	FAIL	600.86
ncf_4_16_8_d.6	FAIL	600.86
ncf_16_32_8_edau.7	FAIL	600.86
ncf_16_32_4_d.5	FAIL	600.86
ncf_4_8_8_d.7	FAIL	600.86
test3_quant_squaring2	FAIL	600.86
test5_quant5	FAIL	600.86
x125.6	FAIL	600.86
x140.8	FAIL	600.86
x160.5	FAIL	600.86
x160.7	FAIL	600.86
x165.3	FAIL	600.86
x165.7	FAIL	600.86
x170.6	FAIL	600.86
x185.0	FAIL	600.86
x190.2	FAIL	600.86
x190.6	FAIL	600.86
x190.8	FAIL	600.86
x195.3	FAIL	600.86
x200.2	FAIL	600.86
x200.5	FAIL	600.86
x215.4	FAIL	600.86
x220.2	FAIL	600.86
x220.4	FAIL	600.86
x225.7	FAIL	600.86
x230.3	FAIL	600.86
x240.4	FAIL	600.86
x240.7	FAIL	600.86
x250.5	FAIL	600.86
x250.9	FAIL	600.86
x85.2	FAIL	600.86
x95.4	FAIL	600.86
x95.5	FAIL	600.86
x95.8	FAIL	600.86
vis.bakery.E-f2	FAIL	600.86
vis.coherence^3.E-f2	FAIL	600.86
sortnetsort9.AE.stepl.006	FAIL	600.86
adder-14-sat	FAIL	600.87
ncf_4_8_8_edau.5	FAIL	600.87
ncf_4_32_2_edau.3	FAIL	600.87
ncf_4_8_8_edau.2	FAIL	600.87
ncf_16_32_8_d.1	FAIL	600.87
ncf_4_8_8_edau.6	FAIL	600.87
ncf_4_16_8_d.8	FAIL	600.87
x110.2	FAIL	600.87
x145.6	FAIL	600.87
x150.7	FAIL	600.87
x155.3	FAIL	600.87
x155.7	FAIL	600.87
x160.8	FAIL	600.87
x165.0	FAIL	600.87
x170.1	FAIL	600.87
x175.3	FAIL	600.87
x195.8	FAIL	600.87
x200.7	FAIL	600.87
x205.4	FAIL	600.87
x215.5	FAIL	600.87
x220.8	FAIL	600.87
x225.4	FAIL	600.87
x225.6	FAIL	600.87
x240.0	FAIL	600.87
x245.1	FAIL	600.87
x250.1	FAIL	600.87
x250.6	FAIL	600.87
x400.6	FAIL	600.87
x55.4	FAIL	600.87
x55.5	FAIL	600.87
x70.5	FAIL	600.87
S-adeu-2	FAIL	600.87
eijk.S382.S-f2	FAIL	600.87
sortnetsort7.AE.stepl.007	FAIL	600.87
sortnetsort9.AE.stepl.004	FAIL	600.87
sortnetsort9.v.stepl.004	FAIL	600.87
ncf_4_16_8_d.5	FAIL	600.88
adder-6-sat	FAIL	600.88
ncf_4_16_8_u.3	FAIL	600.88
ncf_4_8_8_d.6	FAIL	600.88
ncf_4_8_8_d.5	FAIL	600.88
ncf_4_16_8_euad.3	FAIL	600.88
ncf_16_32_8_d.5	FAIL	600.88
ncf_4_8_8_edau.7	FAIL	600.88
x100.1	FAIL	600.88
x105.6	FAIL	600.88
x115.7	FAIL	600.88
x120.4	FAIL	600.88
x130.2	FAIL	600.88
x140.2	FAIL	600.88
x145.5	FAIL	600.88
x150.5	FAIL	600.88
x150.6	FAIL	600.88
x155.0	FAIL	600.88
x165.4	FAIL	600.88
x175.0	FAIL	600.88
x175.1	FAIL	600.88
x190.5	FAIL	600.88
x195.1	FAIL	600.88
x200.4	FAIL	600.88
x200.9	FAIL	600.88
x205.1	FAIL	600.88
x210.5	FAIL	600.88
x210.8	FAIL	600.88
x220.5	FAIL	600.88
x225.1	FAIL	600.88
x230.8	FAIL	600.88
x245.0	FAIL	600.88
x245.4	FAIL	600.88
x55.8	FAIL	600.88
x90.0	FAIL	600.88
x90.6	FAIL	600.88
texas.parsesys^2.E-f2	FAIL	600.88
sortnetsort6.AE.stepl.005	FAIL	600.88
sortnetsort6.AE.stepl.007	FAIL	600.88
ncf_4_16_2_d.3	FAIL	600.89
ncf_8_16_8_d.4	FAIL	600.89
ncf_16_32_8_edau.6	FAIL	600.89
ncf_4_16_8_euad.5	FAIL	600.89
ncf_4_16_4_d.6	FAIL	600.89
adder-12-sat	FAIL	600.89
ncf_8_16_8_d.3	FAIL	600.89
ncf_4_16_8_d.2	FAIL	600.89
ncf_4_8_8_d.2	FAIL	600.89
x100.2	FAIL	600.89
x115.3	FAIL	600.89
x120.0	FAIL	600.89
x120.2	FAIL	600.89
x130.0	FAIL	600.89
x130.4	FAIL	600.89
x140.1	FAIL	600.89
x145.1	FAIL	600.89
x155.4	FAIL	600.89
x160.0	FAIL	600.89
x175.4	FAIL	600.89
x190.0	FAIL	600.89
x205.5	FAIL	600.89
x205.9	FAIL	600.89
x210.2	FAIL	600.89
x210.4	FAIL	600.89
x220.1	FAIL	600.89
x230.2	FAIL	600.89
x230.6	FAIL	600.89
x230.9	FAIL	600.89
x235.3	FAIL	600.89
x235.5	FAIL	600.89
x235.7	FAIL	600.89
x245.3	FAIL	600.89
x350.9	FAIL	600.89
x400.7	FAIL	600.89
x60.6	FAIL	600.89
x65.0	FAIL	600.89
x65.9	FAIL	600.89
x75.6	FAIL	600.89
x80.9	FAIL	600.89
x85.9	FAIL	600.89
x90.5	FAIL	600.89
eijk.S208.S-f2	FAIL	600.89
eijk.S349.S-f2	FAIL	600.89
eijk.S420.S-f2	FAIL	600.89
eijk.S510.S-f2	FAIL	600.89
sortnetsort10.AE.stepl.004	FAIL	600.89
sortnetsort8.AE.stepl.003	FAIL	600.89
ncf_4_16_8_d.4	FAIL	600.9
ncf_4_16_8_u.6	FAIL	600.9
ncf_8_16_8_edau.9	FAIL	600.9
ncf_16_32_8_edau.1	FAIL	600.9
C432.blif_0.10_0.20_0_0_out_exact	FAIL	600.9
ncf_4_16_8_d.10	FAIL	600.9
ncf_4_8_8_u.10	FAIL	600.9
ncf_4_16_8_euad.6	FAIL	600.9
ncf_8_16_8_d.2	FAIL	600.9
mutex-16-s	FAIL	600.9
k_ph_n-16	FAIL	600.9
ncf_8_16_8_euad.7	FAIL	600.9
ncf_4_16_4_euad.3	FAIL	600.9
ncf_4_16_4_d.3	FAIL	600.9
adder-8-sat	FAIL	600.9
test5_quant_squaring4	FAIL	600.9
comp.blif_0.10_0.20_0_0_out_exact	FAIL	600.9
2qbf-5cnf-80var-640cl.9	FAIL	600.9
ncf_16_32_4_d.3	FAIL	600.9
ncf_4_32_2_edau.9	FAIL	600.9
x105.3	FAIL	600.9
x110.4	FAIL	600.9
x110.5	FAIL	600.9
x115.4	FAIL	600.9
x120.9	FAIL	600.9
x125.8	FAIL	600.9
x130.7	FAIL	600.9
x135.7	FAIL	600.9
x145.2	FAIL	600.9
x150.8	FAIL	600.9
x160.3	FAIL	600.9
x160.9	FAIL	600.9
x170.0	FAIL	600.9
x180.3	FAIL	600.9
x180.8	FAIL	600.9
x185.5	FAIL	600.9
x200.3	FAIL	600.9
x220.3	FAIL	600.9
x225.0	FAIL	600.9
x250.2	FAIL	600.9
x250.7	FAIL	600.9
x70.7	FAIL	600.9
eijk.S208o.S-f2	FAIL	600.9
texas.parsesys^1.E-f2	FAIL	600.9
sortnetsort6.AE.stepl.006	FAIL	600.9
sortnetsort7.AE.stepl.006	FAIL	600.9
sortnetsort7.v.stepl.005	FAIL	600.9
2qbf-5cnf-80var-320cl.1	FAIL	600.91
ncf_16_32_4_euad.2	FAIL	600.91
ncf_4_16_4_d.8	FAIL	600.91
ncf_16_32_8_d.7	FAIL	600.91
ncf_16_32_8_edau.4	FAIL	600.91
ncf_4_16_8_euad.2	FAIL	600.91
ncf_16_32_8_d.9	FAIL	600.91
ncf_4_16_4_d.1	FAIL	600.91
ncf_4_32_2_edau.6	FAIL	600.91
ncf_4_16_4_edau.7	FAIL	600.91
ncf_8_16_4_d.9	FAIL	600.91
ncf_8_16_8_d.10	FAIL	600.91
ncf_16_32_8_u.2	FAIL	600.91
ncf_4_16_8_euad.4	FAIL	600.91
ncf_16_32_8_edau.3	FAIL	600.91
ncf_16_32_8_u.6	FAIL	600.91
ncf_4_16_4_d.7	FAIL	600.91
ncf_16_32_2_d.8	FAIL	600.91
ncf_16_32_8_edau.5	FAIL	600.91
2qbf-5cnf-80var-640cl.1	FAIL	600.91
ncf_16_32_4_d.2	FAIL	600.91
ncf_16_32_8_d.10	FAIL	600.91
x100.6	FAIL	600.91
x100.9	FAIL	600.91
x105.2	FAIL	600.91
x110.0	FAIL	600.91
x115.8	FAIL	600.91
x120.7	FAIL	600.91
x125.2	FAIL	600.91
x130.8	FAIL	600.91
x130.9	FAIL	600.91
x135.5	FAIL	600.91
x135.6	FAIL	600.91
x140.4	FAIL	600.91
x145.0	FAIL	600.91
x145.7	FAIL	600.91
x155.1	FAIL	600.91
x155.5	FAIL	600.91
x155.9	FAIL	600.91
x165.2	FAIL	600.91
x165.5	FAIL	600.91
x170.8	FAIL	600.91
x175.2	FAIL	600.91
x180.2	FAIL	600.91
x185.1	FAIL	600.91
x185.4	FAIL	600.91
x205.8	FAIL	600.91
x210.0	FAIL	600.91
x220.7	FAIL	600.91
x225.5	FAIL	600.91
x245.7	FAIL	600.91
x45.3	FAIL	600.91
x50.8	FAIL	600.91
x70.6	FAIL	600.91
x75.7	FAIL	600.91
x80.0	FAIL	600.91
x80.4	FAIL	600.91
x85.3	FAIL	600.91
x90.4	FAIL	600.91
x95.3	FAIL	600.91
eijk.S526.S-f2	FAIL	600.91
vis.coherence^5.E-f2	FAIL	600.91
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.91
ncf_4_16_4_u.10	FAIL	600.92
ncf_16_32_4_u.2	FAIL	600.92
ncf_4_16_4_d.5	FAIL	600.92
ncf_16_32_8_d.2	FAIL	600.92
4qbf-5cnf-160var-640cl.9	FAIL	600.92
s27_d5_u	FAIL	600.92
ncf_16_32_4_euad.10	FAIL	600.92
ncf_4_16_8_d.3	FAIL	600.92
test5_quant7	FAIL	600.92
ncf_8_16_8_euad.9	FAIL	600.92
ncf_4_16_8_d.7	FAIL	600.92
ncf_8_16_8_edau.3	FAIL	600.92
ncf_4_16_4_edau.2	FAIL	600.92
ncf_4_16_8_d.9	FAIL	600.92
s27_d4_u	FAIL	600.92
ncf_8_16_8_euad.4	FAIL	600.92
ncf_16_32_8_u.4	FAIL	600.92
4qbf-5cnf-40var-320cl.1	FAIL	600.92
ncf_8_16_8_edau.7	FAIL	600.92
ncf_16_32_4_u.6	FAIL	600.92
ncf_16_32_4_u.10	FAIL	600.92
ncf_16_32_8_d.8	FAIL	600.92
test3_quant4	FAIL	600.92
ncf_4_32_2_u.6	FAIL	600.92
ncf_16_32_4_d.6	FAIL	600.92
6qbf-5cnf-80var-640cl.3	FAIL	600.92
ncf_16_32_8_d.3	FAIL	600.92
ncf_4_16_8_euad.9	FAIL	600.92
ncf_16_32_8_u.8	FAIL	600.92
ncf_4_16_8_d.1	FAIL	600.92
ncf_16_32_2_edau.8	FAIL	600.92
ncf_4_32_2_u.5	FAIL	600.92
ncf_4_16_4_edau.3	FAIL	600.92
ncf_16_32_4_euad.1	FAIL	600.92
ncf_8_16_4_edau.7	FAIL	600.92
ncf_4_16_4_d.4	FAIL	600.92
x100.0	FAIL	600.92
x100.8	FAIL	600.92
x105.5	FAIL	600.92
x110.9	FAIL	600.92
x115.0	FAIL	600.92
x115.5	FAIL	600.92
x120.1	FAIL	600.92
x125.1	FAIL	600.92
x130.1	FAIL	600.92
x135.1	FAIL	600.92
x135.8	FAIL	600.92
x145.4	FAIL	600.92
x150.1	FAIL	600.92
x150.3	FAIL	600.92
x160.1	FAIL	600.92
x160.2	FAIL	600.92
x165.8	FAIL	600.92
x170.4	FAIL	600.92
x195.7	FAIL	600.92
x205.3	FAIL	600.92
x215.3	FAIL	600.92
x225.2	FAIL	600.92
x50.3	FAIL	600.92
x55.2	FAIL	600.92
x65.2	FAIL	600.92
x65.5	FAIL	600.92
x75.1	FAIL	600.92
x75.5	FAIL	600.92
x85.7	FAIL	600.92
x90.3	FAIL	600.92
x95.0	FAIL	600.92
x95.1	FAIL	600.92
eijk.S208c.S-f2	FAIL	600.92
eijk.S344.S-f2	FAIL	600.92
eijk.S386.S-f2	FAIL	600.92
eijk.S444.S-f2	FAIL	600.92
eijk.S713.S-f2	FAIL	600.92
sortnetsort7.AE.stepl.004	FAIL	600.92
sortnetsort9.AE.stepl.005	FAIL	600.92
ncf_16_32_8_u.1	FAIL	600.93
ncf_16_32_8_euad.4	FAIL	600.93
ncf_16_32_2_d.1	FAIL	600.93
ncf_16_32_4_d.4	FAIL	600.93
ncf_8_16_4_edau.9	FAIL	600.93
4qbf-5cnf-40var-320cl.8	FAIL	600.93
ncf_4_16_4_euad.6	FAIL	600.93
ncf_4_16_4_euad.8	FAIL	600.93
ncf_4_8_8_euad.7	FAIL	600.93
ncf_4_16_4_euad.4	FAIL	600.93
ncf_4_16_2_d.5	FAIL	600.93
2qbf-5cnf-80var-640cl.5	FAIL	600.93
ncf_8_16_8_edau.10	FAIL	600.93
ncf_16_32_8_euad.2	FAIL	600.93
ncf_4_8_8_u.7	FAIL	600.93
ncf_4_16_2_u.8	FAIL	600.93
2qbf-5cnf-80var-640cl.0	FAIL	600.93
ncf_16_32_8_u.3	FAIL	600.93
ncf_4_16_4_d.2	FAIL	600.93
ncf_4_16_2_u.10	FAIL	600.93
ncf_16_32_4_edau.2	FAIL	600.93
s27_d3_u	FAIL	600.93
ncf_8_16_4_u.7	FAIL	600.93
ncf_4_8_8_u.2	FAIL	600.93
ncf_16_32_2_edau.3	FAIL	600.93
ncf_8_16_8_euad.5	FAIL	600.93
x100.7	FAIL	600.93
x105.1	FAIL	600.93
x110.1	FAIL	600.93
x110.8	FAIL	600.93
x115.6	FAIL	600.93
x120.3	FAIL	600.93
x120.5	FAIL	600.93
x125.0	FAIL	600.93
x125.3	FAIL	600.93
x130.3	FAIL	600.93
x145.9	FAIL	600.93
x170.3	FAIL	600.93
x170.5	FAIL	600.93
x170.7	FAIL	600.93
x180.7	FAIL	600.93
x250.4	FAIL	600.93
x55.6	FAIL	600.93
x55.9	FAIL	600.93
x60.2	FAIL	600.93
x65.4	FAIL	600.93
x70.1	FAIL	600.93
x75.0	FAIL	600.93
x80.2	FAIL	600.93
x85.1	FAIL	600.93
x90.7	FAIL	600.93
x90.9	FAIL	600.93
x95.2	FAIL	600.93
eijk.S641.S-f2	FAIL	600.93
vis.arbiter.E-f2	FAIL	600.93
sortnetsort6.AE.stepl.004	FAIL	600.93
ncf_8_16_4_u.9	FAIL	600.94
2qbf-5cnf-80var-640cl.6	FAIL	600.94
ncf_8_16_8_euad.3	FAIL	600.94
ncf_4_32_2_u.7	FAIL	600.94
ncf_16_32_8_edau.8	FAIL	600.94
ncf_8_16_8_d.6	FAIL	600.94
2qbf-5cnf-80var-640cl.4	FAIL	600.94
ncf_16_32_4_d.1	FAIL	600.94
ncf_16_32_8_euad.5	FAIL	600.94
ncf_4_32_2_u.4	FAIL	600.94
ncf_4_16_2_d.10	FAIL	600.94
2qbf-5cnf-80var-640cl.8	FAIL	600.94
CHAIN23v.24	FAIL	600.94
ncf_4_16_8_u.10	FAIL	600.94
ncf_16_32_8_u.7	FAIL	600.94
ncf_4_32_2_u.10	FAIL	600.94
2qbf-5cnf-40var-320cl.4	FAIL	600.94
ncf_4_8_8_d.10	FAIL	600.94
ncf_16_32_8_euad.9	FAIL	600.94
ncf_4_8_8_edau.1	FAIL	600.94
ncf_4_16_4_edau.8	FAIL	600.94
ncf_8_16_8_edau.8	FAIL	600.94
ncf_16_32_4_edau.9	FAIL	600.94
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	600.94
ncf_16_32_8_d.6	FAIL	600.94
ncf_4_16_4_edau.4	FAIL	600.94
ncf_4_16_8_euad.10	FAIL	600.94
ncf_16_32_8_d.4	FAIL	600.94
ncf_4_16_4_edau.1	FAIL	600.94
ncf_4_32_2_u.2	FAIL	600.94
ncf_4_16_8_u.5	FAIL	600.94
ncf_16_32_2_d.2	FAIL	600.94
ncf_8_16_8_euad.2	FAIL	600.94
ncf_16_32_4_edau.8	FAIL	600.94
x100.4	FAIL	600.94
x105.4	FAIL	600.94
x105.8	FAIL	600.94
x110.3	FAIL	600.94
x115.9	FAIL	600.94
x125.4	FAIL	600.94
x130.5	FAIL	600.94
x140.3	FAIL	600.94
x165.1	FAIL	600.94
x165.9	FAIL	600.94
x170.2	FAIL	600.94
x170.9	FAIL	600.94
x190.7	FAIL	600.94
x225.3	FAIL	600.94
x235.6	FAIL	600.94
x45.4	FAIL	600.94
x60.0	FAIL	600.94
x60.9	FAIL	600.94
x80.1	FAIL	600.94
x85.0	FAIL	600.94
x85.6	FAIL	600.94
x95.9	FAIL	600.94
eijk.S298.S-f2	FAIL	600.94
sortnetsort7.AE.stepl.003	FAIL	600.94
sortnetsort8.AE.stepl.004	FAIL	600.94
ncf_16_32_4_u.7	FAIL	600.95
6qbf-5cnf-80var-640cl.8	FAIL	600.95
ncf_8_16_8_edau.6	FAIL	600.95
ncf_16_32_4_u.5	FAIL	600.95
ncf_4_8_8_d.1	FAIL	600.95
ncf_4_16_4_u.3	FAIL	600.95
ncf_4_16_8_u.2	FAIL	600.95
6qbf-5cnf-80var-640cl.2	FAIL	600.95
4qbf-5cnf-160var-640cl.0	FAIL	600.95
ncf_16_32_4_u.9	FAIL	600.95
ncf_4_16_2_u.5	FAIL	600.95
ncf_16_32_8_euad.3	FAIL	600.95
2qbf-5cnf-80var-320cl.2	FAIL	600.95
ncf_8_16_8_edau.5	FAIL	600.95
ncf_16_32_4_d.8	FAIL	600.95
2qbf-5cnf-80var-320cl.8	FAIL	600.95
ncf_16_32_2_euad.10	FAIL	600.95
ncf_4_16_2_u.1	FAIL	600.95
ncf_8_16_4_euad.9	FAIL	600.95
ncf_4_32_2_edau.10	FAIL	600.95
ncf_4_16_8_euad.1	FAIL	600.95
ncf_16_32_2_euad.3	FAIL	600.95
ncf_16_32_4_euad.3	FAIL	600.95
6qbf-5cnf-80var-640cl.7	FAIL	600.95
ncf_16_32_2_edau.1	FAIL	600.95
ncf_16_32_4_edau.5	FAIL	600.95
ncf_4_32_2_u.9	FAIL	600.95
ncf_4_8_8_edau.10	FAIL	600.95
2qbf-5cnf-80var-320cl.6	FAIL	600.95
ncf_16_32_8_u.9	FAIL	600.95
ncf_16_32_4_u.4	FAIL	600.95
ncf_16_32_2_edau.10	FAIL	600.95
ncf_4_16_4_euad.2	FAIL	600.95
ncf_8_16_4_d.7	FAIL	600.95
ncf_16_32_4_d.9	FAIL	600.95
6qbf-5cnf-80var-640cl.0	FAIL	600.95
2qbf-5cnf-40var-320cl.3	FAIL	600.95
ncf_4_16_8_u.1	FAIL	600.95
ncf_16_32_4_d.10	FAIL	600.95
ncf_4_8_8_edau.8	FAIL	600.95
x105.0	FAIL	600.95
x110.6	FAIL	600.95
x125.5	FAIL	600.95
x125.9	FAIL	600.95
x135.0	FAIL	600.95
x145.8	FAIL	600.95
x190.3	FAIL	600.95
x235.2	FAIL	600.95
x40.9	FAIL	600.95
x50.0	FAIL	600.95
x50.9	FAIL	600.95
x60.8	FAIL	600.95
x70.2	FAIL	600.95
x70.3	FAIL	600.95
x75.2	FAIL	600.95
x75.3	FAIL	600.95
x75.4	FAIL	600.95
x75.8	FAIL	600.95
x80.5	FAIL	600.95
x85.4	FAIL	600.95
x90.1	FAIL	600.95
x90.8	FAIL	600.95
x95.6	FAIL	600.95
vis.eisenberg.E-f2	FAIL	600.95
4qbf-5cnf-40var-320cl.0	FAIL	600.96
ncf_4_16_8_u.8	FAIL	600.96
6qbf-5cnf-40var-320cl.9	FAIL	600.96
6qbf-5cnf-40var-320cl.5	FAIL	600.96
ncf_16_32_4_edau.1	FAIL	600.96
4qbf-5cnf-40var-320cl.2	FAIL	600.96
5qbf-5cnf-80var-640cl.5	FAIL	600.96
2qbf-5cnf-40var-320cl.2	FAIL	600.96
ncf_4_16_8_euad.8	FAIL	600.96
2qbf-5cnf-160var-320cl.8	FAIL	600.96
ncf_4_32_2_edau.7	FAIL	600.96
ncf_4_16_8_u.4	FAIL	600.96
ncf_16_32_2_edau.4	FAIL	600.96
ncf_16_32_2_u.6	FAIL	600.96
ncf_8_16_4_euad.4	FAIL	600.96
ncf_4_32_2_u.3	FAIL	600.96
ncf_16_32_8_u.10	FAIL	600.96
2qbf-5cnf-160var-320cl.7	FAIL	600.96
ncf_8_16_4_u.3	FAIL	600.96
ncf_4_16_2_edau.1	FAIL	600.96
ncf_4_16_4_u.7	FAIL	600.96
2qbf-5cnf-80var-320cl.7	FAIL	600.96
ncf_8_16_8_euad.8	FAIL	600.96
ncf_4_16_2_edau.10	FAIL	600.96
6qbf-5cnf-80var-640cl.6	FAIL	600.96
ncf_4_16_4_u.8	FAIL	600.96
ncf_4_16_8_u.9	FAIL	600.96
ncf_4_16_2_d.8	FAIL	600.96
5qbf-5cnf-80var-640cl.1	FAIL	600.96
ncf_16_32_2_d.5	FAIL	600.96
4qbf-5cnf-160var-640cl.5	FAIL	600.96
ncf_4_8_8_d.3	FAIL	600.96
ncf_8_16_4_edau.4	FAIL	600.96
2qbf-5cnf-160var-320cl.4	FAIL	600.96
ncf_16_32_4_edau.4	FAIL	600.96
ncf_4_32_2_edau.2	FAIL	600.96
ncf_4_16_2_edau.3	FAIL	600.96
ncf_16_32_2_d.3	FAIL	600.96
ncf_8_16_8_edau.2	FAIL	600.96
ncf_4_16_2_edau.8	FAIL	600.96
ncf_4_8_8_euad.10	FAIL	600.96
ncf_4_32_2_u.8	FAIL	600.96
6qbf-5cnf-40var-320cl.3	FAIL	600.96
ncf_16_32_4_euad.5	FAIL	600.96
4qbf-5cnf-160var-640cl.7	FAIL	600.96
4qbf-5cnf-160var-640cl.1	FAIL	600.96
4qbf-5cnf-40var-320cl.5	FAIL	600.96
ncf_16_32_8_edau.10	FAIL	600.96
ncf_4_16_4_u.2	FAIL	600.96
ncf_4_16_4_euad.7	FAIL	600.96
ncf_4_16_4_euad.10	FAIL	600.96
ncf_8_16_4_edau.3	FAIL	600.96
ncf_16_32_4_edau.6	FAIL	600.96
x105.7	FAIL	600.96
x115.1	FAIL	600.96
x115.2	FAIL	600.96
x150.2	FAIL	600.96
x50.2	FAIL	600.96
x50.4	FAIL	600.96
x50.6	FAIL	600.96
x65.1	FAIL	600.96
x65.8	FAIL	600.96
x80.6	FAIL	600.96
x80.7	FAIL	600.96
x85.5	FAIL	600.96
eijk.S1196.S-d2	FAIL	600.96
nusmv.syncarb10^2.B-f2	FAIL	600.96
ncf_16_32_2_edau.6	FAIL	600.97
ncf_4_16_2_euad.8	FAIL	600.97
ncf_4_16_2_edau.5	FAIL	600.97
ncf_16_32_2_d.10	FAIL	600.97
ncf_4_32_2_edau.1	FAIL	600.97
ncf_4_16_4_edau.6	FAIL	600.97
ncf_8_16_8_euad.10	FAIL	600.97
4qbf-5cnf-160var-640cl.4	FAIL	600.97
ncf_4_8_8_edau.3	FAIL	600.97
4qbf-5cnf-40var-320cl.7	FAIL	600.97
ncf_4_8_8_u.6	FAIL	600.97
ncf_4_16_8_u.7	FAIL	600.97
2qbf-5cnf-160var-320cl.0	FAIL	600.97
4qbf-5cnf-80var-320cl.1	FAIL	600.97
ncf_4_16_4_edau.10	FAIL	600.97
ncf_16_32_2_edau.5	FAIL	600.97
ncf_16_32_8_euad.10	FAIL	600.97
6qbf-5cnf-80var-640cl.1	FAIL	600.97
ncf_4_16_2_u.3	FAIL	600.97
ncf_16_32_4_euad.9	FAIL	600.97
6qbf-5cnf-40var-320cl.4	FAIL	600.97
2qbf-5cnf-160var-320cl.9	FAIL	600.97
ncf_16_32_2_edau.2	FAIL	600.97
ncf_16_32_8_edau.9	FAIL	600.97
CHAIN22v.23	FAIL	600.97
ncf_16_32_2_euad.4	FAIL	600.97
ncf_8_16_8_d.8	FAIL	600.97
ncf_4_16_4_edau.5	FAIL	600.97
ncf_16_32_2_euad.1	FAIL	600.97
4qbf-5cnf-160var-640cl.3	FAIL	600.97
CHAIN21v.22	FAIL	600.97
ncf_4_16_2_d.4	FAIL	600.97
ncf_16_32_4_euad.7	FAIL	600.97
ncf_16_32_4_u.1	FAIL	600.97
6qbf-5cnf-80var-640cl.4	FAIL	600.97
ncf_4_32_2_edau.4	FAIL	600.97
ncf_8_16_8_d.7	FAIL	600.97
2qbf-5cnf-80var-640cl.7	FAIL	600.97
2qbf-5cnf-80var-640cl.3	FAIL	600.97
x100.5	FAIL	600.97
x40.3	FAIL	600.97
x55.0	FAIL	600.97
x55.7	FAIL	600.97
x60.1	FAIL	600.97
x60.3	FAIL	600.97
x65.7	FAIL	600.97
eijk.S1238.S-d2	FAIL	600.97
nusmv.syncarb5^2.B-f2	FAIL	600.97
4qbf-5cnf-80var-320cl.9	FAIL	600.98
ncf_16_32_2_u.5	FAIL	600.98
ncf_16_32_8_euad.7	FAIL	600.98
ncf_16_32_4_d.7	FAIL	600.98
ncf_8_16_4_u.4	FAIL	600.98
ncf_4_8_8_d.8	FAIL	600.98
ncf_16_32_4_u.3	FAIL	600.98
6qbf-5cnf-40var-320cl.7	FAIL	600.98
2qbf-5cnf-80var-320cl.0	FAIL	600.98
2qbf-5cnf-40var-160cl.2	FAIL	600.98
ncf_4_16_2_euad.1	FAIL	600.98
4qbf-5cnf-80var-320cl.7	FAIL	600.98
ncf_16_32_2_u.10	FAIL	600.98
6qbf-5cnf-40var-320cl.2	FAIL	600.98
4qbf-5cnf-40var-320cl.4	FAIL	600.98
ncf_16_32_4_euad.6	FAIL	600.98
ncf_16_32_2_u.1	FAIL	600.98
ncf_16_32_2_u.8	FAIL	600.98
2qbf-5cnf-160var-320cl.3	FAIL	600.98
ncf_16_32_2_euad.8	FAIL	600.98
6qbf-5cnf-80var-640cl.9	FAIL	600.98
2qbf-5cnf-40var-160cl.0	FAIL	600.98
ncf_4_32_2_u.1	FAIL	600.98
ncf_8_16_8_d.9	FAIL	600.98
ncf_16_32_2_d.6	FAIL	600.98
ncf_8_16_8_euad.6	FAIL	600.98
ncf_4_16_4_u.4	FAIL	600.98
ncf_16_32_2_euad.2	FAIL	600.98
ncf_4_32_2_edau.8	FAIL	600.98
4qbf-5cnf-160var-640cl.6	FAIL	600.98
2qbf-5cnf-40var-160cl.7	FAIL	600.98
ncf_4_8_8_euad.2	FAIL	600.98
ncf_16_32_2_d.4	FAIL	600.98
4qbf-5cnf-160var-640cl.8	FAIL	600.98
ncf_4_16_4_u.6	FAIL	600.98
ncf_4_16_4_d.10	FAIL	600.98
ncf_4_16_2_euad.3	FAIL	600.98
ncf_16_32_2_u.4	FAIL	600.98
x100.3	FAIL	600.98
x105.9	FAIL	600.98
x135.9	FAIL	600.98
x55.3	FAIL	600.98
x60.5	FAIL	600.98
x95.7	FAIL	600.98
ncf_8_16_4_d.4	FAIL	600.99
ncf_8_16_4_euad.3	FAIL	600.99
ncf_4_16_2_euad.10	FAIL	600.99
2qbf-5cnf-40var-160cl.1	FAIL	600.99
6qbf-5cnf-80var-640cl.5	FAIL	600.99
2qbf-5cnf-40var-160cl.3	FAIL	600.99
ncf_4_16_2_edau.4	FAIL	600.99
2qbf-5cnf-80var-320cl.5	FAIL	600.99
ncf_16_32_2_u.2	FAIL	600.99
4qbf-5cnf-80var-320cl.2	FAIL	600.99
ncf_16_32_2_euad.6	FAIL	600.99
ncf_16_32_4_u.8	FAIL	600.99
ncf_8_16_4_euad.7	FAIL	600.99
2qbf-5cnf-80var-320cl.4	FAIL	600.99
ncf_16_32_4_edau.7	FAIL	600.99
5qbf-5cnf-80var-640cl.9	FAIL	600.99
ncf_16_32_4_edau.10	FAIL	600.99
2qbf-5cnf-160var-320cl.1	FAIL	600.99
test3_quant2	FAIL	600.99
2qbf-5cnf-40var-160cl.8	FAIL	600.99
ncf_16_32_8_euad.6	FAIL	600.99
ncf_16_32_4_euad.4	FAIL	600.99
2qbf-5cnf-40var-160cl.4	FAIL	600.99
2qbf-5cnf-80var-320cl.9	FAIL	600.99
6qbf-5cnf-40var-320cl.8	FAIL	600.99
6qbf-5cnf-40var-320cl.1	FAIL	600.99
ncf_4_16_8_euad.7	FAIL	600.99
4qbf-5cnf-160var-640cl.2	FAIL	600.99
ncf_16_32_4_euad.8	FAIL	600.99
ncf_16_32_8_edau.2	FAIL	600.99
x135.3	FAIL	600.99
x50.5	FAIL	600.99
x65.3	FAIL	600.99
2qbf-5cnf-40var-160cl.9	FAIL	601
CHAIN20v.21	FAIL	601
ncf_16_32_8_euad.8	FAIL	601
ncf_4_16_2_edau.2	FAIL	601
ncf_16_32_2_euad.5	FAIL	601
ncf_4_8_8_euad.5	FAIL	601
2qbf-5cnf-80var-320cl.3	FAIL	601
2qbf-5cnf-40var-160cl.5	FAIL	601.01
ncf_4_16_2_d.2	FAIL	601.01
T-adeu-2	FAIL	601.23

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by GRL
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by GRL QBFEVAL'06

Instances solved by GRL
QBFEVAL'06