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

Instances solved by WalkQSAT
QBFEVAL'06

Instance	Result	Time
3qbf-5cnf-80var-320cl.1	SAT	0
ncf_4_8_2_u.7	UNSAT	0
3qbf-5cnf-20var-320cl.9	UNSAT	0
ncf_4_8_2_u.1	UNSAT	0
5qbf-5cnf-160var-640cl.8	SAT	0
ncf_4_8_4_euad.9	SAT	0
3qbf-5cnf-160var-640cl.3	SAT	0
4qbf-5cnf-40var-640cl.9	UNSAT	0
4qbf-5cnf-40var-1280cl.7	UNSAT	0
ncf_8_16_4_euad.5	UNSAT	0
ncf_4_8_2_euad.1	UNSAT	0
5qbf-5cnf-160var-640cl.4	SAT	0
3qbf-5cnf-80var-320cl.0	SAT	0
ncf_4_16_2_edau.6	SAT	0
4qbf-5cnf-20var-320cl.8	UNSAT	0
ncf_4_8_2_u.9	SAT	0
5qbf-5cnf-40var-1280cl.6	UNSAT	0
4qbf-5cnf-20var-640cl.6	UNSAT	0
3qbf-5cnf-20var-160cl.4	SAT	0
3qbf-5cnf-40var-640cl.9	UNSAT	0
ncf_8_16_4_euad.8	UNSAT	0
3qbf-5cnf-20var-320cl.1	UNSAT	0
6qbf-5cnf-20var-640cl.2	UNSAT	0
ncf_8_16_4_u.5	UNSAT	0
4qbf-5cnf-20var-640cl.9	UNSAT	0
4qbf-5cnf-40var-1280cl.5	UNSAT	0
ncf_8_16_4_d.5	UNSAT	0
2qbf-5cnf-40var-640cl.5	UNSAT	0
3qbf-5cnf-20var-160cl.5	SAT	0
3qbf-5cnf-20var-160cl.6	SAT	0
3qbf-5cnf-160var-640cl.8	SAT	0
6qbf-5cnf-160var-640cl.6	SAT	0
6qbf-5cnf-160var-640cl.7	SAT	0
3qbf-5cnf-80var-320cl.8	SAT	0
3qbf-5cnf-160var-640cl.6	SAT	0
5qbf-5cnf-20var-640cl.5	UNSAT	0
6qbf-5cnf-40var-1280cl.2	UNSAT	0
4qbf-5cnf-40var-640cl.8	UNSAT	0
3qbf-5cnf-80var-320cl.2	SAT	0
5qbf-5cnf-20var-640cl.9	UNSAT	0
6qbf-5cnf-20var-160cl.3	UNSAT	0
3qbf-5cnf-20var-160cl.2	SAT	0
ncf_4_8_2_euad.10	SAT	0
ncf_4_8_2_u.2	SAT	0
6qbf-5cnf-20var-320cl.1	UNSAT	0
5qbf-5cnf-20var-640cl.4	UNSAT	0
4qbf-5cnf-20var-320cl.5	UNSAT	0
x10.5	UNSAT	0
x5.5	FAIL	0
cmu.dme1.B-d2	SAT	0
eijk.S208o.S-d2	SAT	0
eijk.S382.S-d2	SAT	0
eijk.S444.S-d2	SAT	0
eijk.S526.S-d2	SAT	0
texas.parsesys^1.E-d2	SAT	0
Qq2k1k4v40v40m2s0	SAT	0
Qq2k1k4v40v40m2s1	SAT	0
Qq2k1k4v40v40m2s3	SAT	0
Qq2k1k4v40v40m2s4	SAT	0
Qq2k1k4v40v40m2s5	SAT	0
Qq2k1k4v40v40m2s6	SAT	0
Qq2k1k4v40v40m4s1	SAT	0
Qq2k1k4v40v40m4s2	UNSAT	0
Qq2k1k4v40v40m4s3	SAT	0
Qq2k1k4v40v40m4s4	SAT	0
Qq2k1k4v40v40m4s7	SAT	0
Qq2k1k4v40v40m4s8	SAT	0
Qq2k1k4v40v40m4s9	SAT	0
Qq2k1k4v40v40m8s0	SAT	0
Qq2k1k4v40v40m8s3	SAT	0
Qq2k1k4v40v40m8s4	SAT	0
Qq2k1k4v40v40m8s5	SAT	0
Qq2k1k4v40v40m8s6	UNSAT	0
Qq2k1k4v40v40m8s9	SAT	0
Qq2k1k4v40v40m16s2	UNSAT	0
Qq2k1k4v40v40m16s4	SAT	0
Qq2k1k4v40v40m16s7	SAT	0
Qq2k1k4v40v40m16s9	UNSAT	0
Qq2k1k4v40v40m32s0	UNSAT	0
Qq2k1k4v40v40m32s1	UNSAT	0
Qq2k1k4v40v40m32s2	UNSAT	0
Qq2k1k4v40v40m32s3	UNSAT	0
Qq2k1k4v40v40m32s4	UNSAT	0
Qq2k1k4v40v40m32s6	UNSAT	0
Qq2k1k4v40v40m32s8	UNSAT	0
Qq2k1k4v40v40m32s9	UNSAT	0
Qq2k1k4v80v80m2s0	SAT	0
Qq2k1k4v80v80m2s1	SAT	0
Qq2k1k4v80v80m2s4	SAT	0
Qq2k1k4v80v80m2s5	SAT	0
Qq2k1k4v80v80m2s6	SAT	0
Qq2k1k4v80v80m2s8	SAT	0
Qq2k1k4v80v80m2s9	SAT	0
Qq2k1k4v80v80m4s0	SAT	0
Qq2k1k4v80v80m4s1	SAT	0
Qq2k1k4v80v80m4s4	SAT	0
Qq2k1k4v80v80m4s6	SAT	0
Qq2k1k4v80v80m4s7	SAT	0
Qq2k1k4v80v80m8s1	SAT	0
Qq2k1k4v80v80m8s4	SAT	0
Qq2k1k4v80v80m8s5	SAT	0
Qq2k1k4v80v80m8s6	SAT	0
Qq2k1k4v80v80m16s0	UNSAT	0
Qq2k1k4v80v80m16s1	SAT	0
Qq2k1k4v80v80m16s3	UNSAT	0
Qq2k1k4v80v80m16s6	SAT	0
Qq2k1k4v80v80m16s7	SAT	0
Qq2k1k4v80v80m16s8	UNSAT	0
Qq2k1k4v80v80m32s1	SAT	0
Qq2k1k4v80v80m32s2	UNSAT	0
Qq2k1k4v80v80m32s3	UNSAT	0
Qq2k1k4v80v80m32s4	UNSAT	0
Qq2k1k4v80v80m32s5	UNSAT	0
Qq2k1k4v80v80m32s6	UNSAT	0
Qq2k1k4v80v80m32s7	SAT	0
Qq2k1k4v80v80m32s9	UNSAT	0
Qq2k2k3v40v40m2s0	SAT	0
Qq2k2k3v40v40m2s2	SAT	0
Qq2k2k3v40v40m2s3	SAT	0
Qq2k2k3v40v40m2s7	SAT	0
Qq2k2k3v40v40m2s9	SAT	0
Qq2k2k3v40v40m4s1	SAT	0
Qq2k2k3v40v40m4s3	SAT	0
Qq2k2k3v40v40m4s4	SAT	0
Qq2k2k3v40v40m4s5	SAT	0
Qq2k2k3v40v40m4s6	SAT	0
Qq2k2k3v40v40m4s8	SAT	0
Qq2k2k3v40v40m4s9	SAT	0
Qq2k2k3v40v40m8s1	SAT	0
Qq2k2k3v40v40m8s2	SAT	0
Qq2k2k3v40v40m8s3	SAT	0
Qq2k2k3v40v40m8s6	SAT	0
Qq2k2k3v40v40m8s7	SAT	0
Qq2k2k3v40v40m8s9	SAT	0
Qq2k2k3v40v40m16s0	SAT	0
Qq2k2k3v40v40m16s1	SAT	0
Qq2k2k3v40v40m16s3	SAT	0
Qq2k2k3v40v40m16s4	SAT	0
Qq2k2k3v40v40m16s5	SAT	0
Qq2k2k3v40v40m16s6	SAT	0
Qq2k2k3v40v40m16s7	SAT	0
Qq2k2k3v40v40m16s9	SAT	0
Qq2k2k3v40v40m32s3	SAT	0
Qq2k2k3v40v40m32s4	SAT	0
Qq2k2k3v40v40m32s6	SAT	0
Qq2k2k3v40v40m32s9	SAT	0
Qq2k2k3v80v80m2s1	SAT	0
Qq2k2k3v80v80m2s6	SAT	0
Qq2k2k3v80v80m2s7	SAT	0
Qq2k2k3v80v80m2s8	SAT	0
Qq2k2k3v80v80m2s9	SAT	0
Qq2k2k3v80v80m4s0	SAT	0
Qq2k2k3v80v80m4s2	SAT	0
Qq2k2k3v80v80m4s3	SAT	0
Qq2k2k3v80v80m4s4	SAT	0
Qq2k2k3v80v80m4s5	SAT	0
Qq2k2k3v80v80m4s6	SAT	0
Qq2k2k3v80v80m4s7	SAT	0
Qq2k2k3v80v80m4s8	SAT	0
Qq2k2k3v80v80m4s9	SAT	0
Qq2k2k3v80v80m8s2	SAT	0
Qq2k2k3v80v80m8s3	SAT	0
Qq2k2k3v80v80m8s4	SAT	0
Qq2k2k3v80v80m8s5	SAT	0
Qq2k2k3v80v80m8s7	SAT	0
Qq2k2k3v80v80m8s8	SAT	0
Qq2k2k3v80v80m8s9	SAT	0
Qq2k2k3v80v80m16s0	SAT	0
Qq2k2k3v80v80m16s1	SAT	0
Qq2k2k3v80v80m16s2	SAT	0
Qq2k2k3v80v80m16s3	SAT	0
Qq2k2k3v80v80m16s6	SAT	0
Qq2k2k3v80v80m32s0	SAT	0
Qq2k2k3v80v80m32s2	SAT	0
Qq2k2k3v80v80m32s3	SAT	0
Qq2k2k3v80v80m32s5	SAT	0
Qq2k2k3v80v80m32s8	SAT	0
Qq2k2k3v80v80m32s9	SAT	0
Qq2k3k2v40v40m2s0	SAT	0
Qq2k3k2v40v40m2s1	SAT	0
Qq2k3k2v40v40m2s2	SAT	0
Qq2k3k2v40v40m2s3	SAT	0
Qq2k3k2v40v40m2s5	SAT	0
Qq2k3k2v40v40m2s7	SAT	0
Qq2k3k2v40v40m4s0	SAT	0
Qq2k3k2v40v40m4s1	SAT	0
Qq2k3k2v40v40m4s3	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
Qq2k3k2v40v40m8s3	SAT	0
Qq2k3k2v40v40m8s4	SAT	0
Qq2k3k2v40v40m8s5	SAT	0
Qq2k3k2v40v40m8s6	SAT	0
Qq2k3k2v40v40m8s7	SAT	0
Qq2k3k2v40v40m8s9	SAT	0
Qq2k3k2v40v40m16s0	SAT	0
Qq2k3k2v40v40m16s2	SAT	0
Qq2k3k2v40v40m16s4	SAT	0
Qq2k3k2v40v40m16s5	SAT	0
Qq2k3k2v40v40m16s8	SAT	0
Qq2k3k2v40v40m32s0	SAT	0
Qq2k3k2v40v40m32s1	SAT	0
Qq2k3k2v40v40m32s2	SAT	0
Qq2k3k2v40v40m32s4	SAT	0
Qq2k3k2v40v40m32s8	SAT	0
Qq2k3k2v40v40m32s9	SAT	0
Qq2k3k2v80v80m2s0	SAT	0
Qq2k3k2v80v80m2s1	SAT	0
Qq2k3k2v80v80m2s2	SAT	0
Qq2k3k2v80v80m2s6	SAT	0
Qq2k3k2v80v80m2s7	SAT	0
Qq2k3k2v80v80m2s9	SAT	0
Qq2k3k2v80v80m4s0	SAT	0
Qq2k3k2v80v80m4s1	SAT	0
Qq2k3k2v80v80m4s2	SAT	0
Qq2k3k2v80v80m4s3	SAT	0
Qq2k3k2v80v80m4s4	SAT	0
Qq2k3k2v80v80m4s5	SAT	0
Qq2k3k2v80v80m4s6	SAT	0
Qq2k3k2v80v80m4s7	SAT	0
Qq2k3k2v80v80m4s8	SAT	0
Qq2k3k2v80v80m4s9	SAT	0
Qq2k3k2v80v80m8s1	SAT	0
Qq2k3k2v80v80m8s3	SAT	0
Qq2k3k2v80v80m8s4	SAT	0
Qq2k3k2v80v80m8s5	SAT	0
Qq2k3k2v80v80m8s7	SAT	0
Qq2k3k2v80v80m8s8	SAT	0
Qq2k3k2v80v80m16s1	SAT	0
Qq2k3k2v80v80m16s3	SAT	0
Qq2k3k2v80v80m16s4	SAT	0
Qq2k3k2v80v80m16s5	SAT	0
Qq2k3k2v80v80m16s8	SAT	0
Qq2k3k2v80v80m16s9	SAT	0
Qq2k3k2v80v80m32s0	SAT	0
Qq2k3k2v80v80m32s1	SAT	0
Qq2k3k2v80v80m32s2	SAT	0
Qq2k3k2v80v80m32s3	SAT	0
Qq2k3k2v80v80m32s4	SAT	0
Qq2k3k2v80v80m32s6	SAT	0
Qq3k1k1k3v40v40v40m2s0	SAT	0
Qq3k1k1k3v40v40v40m2s3	SAT	0
Qq3k1k1k3v40v40v40m2s4	SAT	0
Qq3k1k1k3v40v40v40m2s5	SAT	0
Qq3k1k1k3v40v40v40m2s6	SAT	0
Qq3k1k1k3v40v40v40m2s7	SAT	0
Qq3k1k1k3v40v40v40m2s8	SAT	0
Qq3k1k1k3v40v40v40m4s1	SAT	0
Qq3k1k1k3v40v40v40m4s2	SAT	0
Qq3k1k1k3v40v40v40m4s3	SAT	0
Qq3k1k1k3v40v40v40m4s4	SAT	0
Qq3k1k1k3v40v40v40m4s5	SAT	0
Qq3k1k1k3v40v40v40m4s7	SAT	0
Qq3k1k1k3v40v40v40m8s0	SAT	0
Qq3k1k1k3v40v40v40m8s1	SAT	0
Qq3k1k1k3v40v40v40m8s2	SAT	0
Qq3k1k1k3v40v40v40m8s3	SAT	0
Qq3k1k1k3v40v40v40m8s4	SAT	0
Qq3k1k1k3v40v40v40m8s6	SAT	0
Qq3k1k1k3v40v40v40m16s0	SAT	0
Qq3k1k1k3v40v40v40m16s1	SAT	0
Qq3k1k1k3v40v40v40m16s3	SAT	0
Qq3k1k1k3v40v40v40m16s4	SAT	0
Qq3k1k1k3v40v40v40m16s5	SAT	0
Qq3k1k1k3v40v40v40m16s6	SAT	0
Qq3k1k1k3v40v40v40m16s7	SAT	0
Qq3k1k1k3v40v40v40m16s9	SAT	0
Qq3k1k1k3v40v40v40m32s0	SAT	0
Qq3k1k1k3v40v40v40m32s1	SAT	0
Qq3k1k1k3v40v40v40m32s2	SAT	0
Qq3k1k1k3v40v40v40m32s3	SAT	0
Qq3k1k1k3v40v40v40m32s4	SAT	0
Qq3k1k1k3v40v40v40m32s5	SAT	0
Qq3k1k1k3v40v40v40m32s8	SAT	0
Qq3k1k1k3v40v40v40m32s9	SAT	0
Qq3k1k1k3v80v80v80m2s1	SAT	0
Qq3k1k1k3v80v80v80m2s2	SAT	0
Qq3k1k1k3v80v80v80m2s4	SAT	0
Qq3k1k1k3v80v80v80m2s5	SAT	0
Qq3k1k1k3v80v80v80m2s7	SAT	0
Qq3k1k1k3v80v80v80m2s8	SAT	0
Qq3k1k1k3v80v80v80m2s9	SAT	0
Qq3k1k1k3v80v80v80m4s0	SAT	0
Qq3k1k1k3v80v80v80m4s1	SAT	0
Qq3k1k1k3v80v80v80m4s3	SAT	0
Qq3k1k1k3v80v80v80m4s5	SAT	0
Qq3k1k1k3v80v80v80m4s6	SAT	0
Qq3k1k1k3v80v80v80m4s7	SAT	0
Qq3k1k1k3v80v80v80m4s9	SAT	0
Qq3k1k1k3v80v80v80m8s0	SAT	0
Qq3k1k1k3v80v80v80m8s1	SAT	0
Qq3k1k1k3v80v80v80m8s2	SAT	0
Qq3k1k1k3v80v80v80m8s4	SAT	0
Qq3k1k1k3v80v80v80m8s6	SAT	0
Qq3k1k1k3v80v80v80m8s8	SAT	0
Qq3k1k1k3v80v80v80m16s1	SAT	0
Qq3k1k1k3v80v80v80m16s3	SAT	0
Qq3k1k1k3v80v80v80m16s4	SAT	0
Qq3k1k1k3v80v80v80m16s5	SAT	0
Qq3k1k1k3v80v80v80m16s6	SAT	0
Qq3k1k1k3v80v80v80m16s7	SAT	0
Qq3k1k1k3v80v80v80m16s8	SAT	0
Qq3k1k1k3v80v80v80m16s9	SAT	0
Qq3k1k1k3v80v80v80m32s0	SAT	0
Qq3k1k1k3v80v80v80m32s1	SAT	0
Qq3k1k1k3v80v80v80m32s8	SAT	0
Qq3k1k2k2v40v40v40m2s0	SAT	0
Qq3k1k2k2v40v40v40m2s1	SAT	0
Qq3k1k2k2v40v40v40m2s2	SAT	0
Qq3k1k2k2v40v40v40m2s4	SAT	0
Qq3k1k2k2v40v40v40m2s6	SAT	0
Qq3k1k2k2v40v40v40m2s7	SAT	0
Qq3k1k2k2v40v40v40m2s8	SAT	0
Qq3k1k2k2v40v40v40m4s0	SAT	0
Qq3k1k2k2v40v40v40m4s1	SAT	0
Qq3k1k2k2v40v40v40m4s2	SAT	0
Qq3k1k2k2v40v40v40m4s4	SAT	0
Qq3k1k2k2v40v40v40m4s5	SAT	0
Qq3k1k2k2v40v40v40m4s6	SAT	0
Qq3k1k2k2v40v40v40m4s7	SAT	0
Qq3k1k2k2v40v40v40m4s8	SAT	0
Qq3k1k2k2v40v40v40m4s9	SAT	0
Qq3k1k2k2v40v40v40m8s2	SAT	0
Qq3k1k2k2v40v40v40m8s3	SAT	0
Qq3k1k2k2v40v40v40m8s4	SAT	0
Qq3k1k2k2v40v40v40m8s5	SAT	0
Qq3k1k2k2v40v40v40m8s7	SAT	0
Qq3k1k2k2v40v40v40m8s8	SAT	0
Qq3k1k2k2v40v40v40m8s9	SAT	0
Qq3k1k2k2v40v40v40m16s0	SAT	0
Qq3k1k2k2v40v40v40m16s4	SAT	0
Qq3k1k2k2v40v40v40m16s5	SAT	0
Qq3k1k2k2v40v40v40m16s6	SAT	0
Qq3k1k2k2v40v40v40m16s8	SAT	0
Qq3k1k2k2v40v40v40m16s9	SAT	0
Qq3k1k2k2v40v40v40m32s0	SAT	0
Qq3k1k2k2v40v40v40m32s1	SAT	0
Qq3k1k2k2v40v40v40m32s4	SAT	0
Qq3k1k2k2v40v40v40m32s8	SAT	0
Qq3k1k2k2v80v80v80m2s0	SAT	0
Qq3k1k2k2v80v80v80m2s1	SAT	0
Qq3k1k2k2v80v80v80m2s2	SAT	0
Qq3k1k2k2v80v80v80m2s3	SAT	0
Qq3k1k2k2v80v80v80m2s4	SAT	0
Qq3k1k2k2v80v80v80m2s7	SAT	0
Qq3k1k2k2v80v80v80m2s8	SAT	0
Qq3k1k2k2v80v80v80m2s9	SAT	0
Qq3k1k2k2v80v80v80m4s0	SAT	0
Qq3k1k2k2v80v80v80m4s1	SAT	0
Qq3k1k2k2v80v80v80m4s3	SAT	0
Qq3k1k2k2v80v80v80m4s4	SAT	0
Qq3k1k2k2v80v80v80m4s6	SAT	0
Qq3k1k2k2v80v80v80m4s7	SAT	0
Qq3k1k2k2v80v80v80m4s8	SAT	0
Qq3k1k2k2v80v80v80m8s1	SAT	0
Qq3k1k2k2v80v80v80m8s2	SAT	0
Qq3k1k2k2v80v80v80m8s4	SAT	0
Qq3k1k2k2v80v80v80m8s5	SAT	0
Qq3k1k2k2v80v80v80m8s6	SAT	0
Qq3k1k2k2v80v80v80m8s7	SAT	0
Qq3k1k2k2v80v80v80m8s8	SAT	0
Qq3k1k2k2v80v80v80m8s9	SAT	0
Qq3k1k2k2v80v80v80m16s2	SAT	0
Qq3k1k2k2v80v80v80m16s3	SAT	0
Qq3k1k2k2v80v80v80m16s4	SAT	0
Qq3k1k2k2v80v80v80m16s5	SAT	0
Qq3k1k2k2v80v80v80m16s6	SAT	0
Qq3k1k2k2v80v80v80m16s7	SAT	0
Qq3k1k2k2v80v80v80m16s8	SAT	0
Qq3k1k2k2v80v80v80m16s9	SAT	0
Qq3k1k2k2v80v80v80m32s0	SAT	0
Qq3k1k2k2v80v80v80m32s1	SAT	0
Qq3k1k2k2v80v80v80m32s3	SAT	0
Qq3k1k2k2v80v80v80m32s4	SAT	0
Qq3k1k2k2v80v80v80m32s5	SAT	0
Qq3k1k2k2v80v80v80m32s8	SAT	0
Qq3k1k3k1v40v40v40m2s0	SAT	0
Qq3k1k3k1v40v40v40m2s2	SAT	0
Qq3k1k3k1v40v40v40m2s3	SAT	0
Qq3k1k3k1v40v40v40m2s5	SAT	0
Qq3k1k3k1v40v40v40m2s9	SAT	0
Qq3k1k3k1v40v40v40m4s0	SAT	0
Qq3k1k3k1v40v40v40m4s1	SAT	0
Qq3k1k3k1v40v40v40m4s3	SAT	0
Qq3k1k3k1v40v40v40m4s5	SAT	0
Qq3k1k3k1v40v40v40m4s6	SAT	0
Qq3k1k3k1v40v40v40m4s7	SAT	0
Qq3k1k3k1v40v40v40m4s8	SAT	0
Qq3k1k3k1v40v40v40m8s0	SAT	0
Qq3k1k3k1v40v40v40m8s1	SAT	0
Qq3k1k3k1v40v40v40m8s2	SAT	0
Qq3k1k3k1v40v40v40m8s3	SAT	0
Qq3k1k3k1v40v40v40m8s4	SAT	0
Qq3k1k3k1v40v40v40m8s5	SAT	0
Qq3k1k3k1v40v40v40m8s6	SAT	0
Qq3k1k3k1v40v40v40m8s7	SAT	0
Qq3k1k3k1v40v40v40m8s8	SAT	0
Qq3k1k3k1v40v40v40m16s2	SAT	0
Qq3k1k3k1v40v40v40m16s3	SAT	0
Qq3k1k3k1v40v40v40m16s4	SAT	0
Qq3k1k3k1v40v40v40m16s5	SAT	0
Qq3k1k3k1v40v40v40m16s7	SAT	0
Qq3k1k3k1v40v40v40m16s8	SAT	0
Qq3k1k3k1v40v40v40m32s0	SAT	0
Qq3k1k3k1v40v40v40m32s6	SAT	0
Qq3k1k3k1v80v80v80m2s1	SAT	0
Qq3k1k3k1v80v80v80m2s2	SAT	0
Qq3k1k3k1v80v80v80m2s4	SAT	0
Qq3k1k3k1v80v80v80m2s5	SAT	0
Qq3k1k3k1v80v80v80m2s6	SAT	0
Qq3k1k3k1v80v80v80m2s7	SAT	0
Qq3k1k3k1v80v80v80m2s8	SAT	0
Qq3k1k3k1v80v80v80m2s9	SAT	0
Qq3k1k3k1v80v80v80m4s0	SAT	0
Qq3k1k3k1v80v80v80m4s1	SAT	0
Qq3k1k3k1v80v80v80m4s2	SAT	0
Qq3k1k3k1v80v80v80m4s7	SAT	0
Qq3k1k3k1v80v80v80m4s8	SAT	0
Qq3k1k3k1v80v80v80m4s9	SAT	0
Qq3k1k3k1v80v80v80m8s1	SAT	0
Qq3k1k3k1v80v80v80m8s4	SAT	0
Qq3k1k3k1v80v80v80m8s7	SAT	0
Qq3k1k3k1v80v80v80m8s8	SAT	0
Qq3k1k3k1v80v80v80m16s0	SAT	0
Qq3k1k3k1v80v80v80m16s1	SAT	0
Qq3k1k3k1v80v80v80m16s2	SAT	0
Qq3k1k3k1v80v80v80m16s3	SAT	0
Qq3k1k3k1v80v80v80m16s4	SAT	0
Qq3k1k3k1v80v80v80m16s5	SAT	0
Qq3k1k3k1v80v80v80m16s6	SAT	0
Qq3k1k3k1v80v80v80m16s8	SAT	0
Qq3k1k3k1v80v80v80m16s9	SAT	0
Qq3k1k3k1v80v80v80m32s1	SAT	0
Qq3k1k3k1v80v80v80m32s4	SAT	0
Qq3k1k3k1v80v80v80m32s5	SAT	0
Qq3k1k3k1v80v80v80m32s6	SAT	0
Qq3k1k3k1v80v80v80m32s8	SAT	0
Qq3k1k3k1v80v80v80m32s9	SAT	0
Qq3k2k1k2v40v40v40m2s0	SAT	0
Qq3k2k1k2v40v40v40m2s2	SAT	0
Qq3k2k1k2v40v40v40m2s5	SAT	0
Qq3k2k1k2v40v40v40m2s6	SAT	0
Qq3k2k1k2v40v40v40m2s7	SAT	0
Qq3k2k1k2v40v40v40m2s8	SAT	0
Qq3k2k1k2v40v40v40m2s9	SAT	0
Qq3k2k1k2v40v40v40m4s0	SAT	0
Qq3k2k1k2v40v40v40m4s1	SAT	0
Qq3k2k1k2v40v40v40m4s3	SAT	0
Qq3k2k1k2v40v40v40m4s4	SAT	0
Qq3k2k1k2v40v40v40m4s5	SAT	0
Qq3k2k1k2v40v40v40m4s6	SAT	0
Qq3k2k1k2v40v40v40m4s7	SAT	0
Qq3k2k1k2v40v40v40m4s8	SAT	0
Qq3k2k1k2v40v40v40m8s0	SAT	0
Qq3k2k1k2v40v40v40m8s1	SAT	0
Qq3k2k1k2v40v40v40m8s7	SAT	0
Qq3k2k1k2v40v40v40m16s1	SAT	0
Qq3k2k1k2v40v40v40m16s4	SAT	0
Qq3k2k1k2v40v40v40m16s5	SAT	0
Qq3k2k1k2v40v40v40m16s6	SAT	0
Qq3k2k1k2v40v40v40m16s7	SAT	0
Qq3k2k1k2v40v40v40m16s9	SAT	0
Qq3k2k1k2v40v40v40m32s0	SAT	0
Qq3k2k1k2v40v40v40m32s1	SAT	0
Qq3k2k1k2v40v40v40m32s2	SAT	0
Qq3k2k1k2v40v40v40m32s4	SAT	0
Qq3k2k1k2v40v40v40m32s6	SAT	0
Qq3k2k1k2v40v40v40m32s7	SAT	0
Qq3k2k1k2v40v40v40m32s9	SAT	0
Qq3k2k1k2v80v80v80m2s0	SAT	0
Qq3k2k1k2v80v80v80m2s3	SAT	0
Qq3k2k1k2v80v80v80m2s4	SAT	0
Qq3k2k1k2v80v80v80m2s6	SAT	0
Qq3k2k1k2v80v80v80m2s7	SAT	0
Qq3k2k1k2v80v80v80m2s9	SAT	0
Qq3k2k1k2v80v80v80m4s0	SAT	0
Qq3k2k1k2v80v80v80m4s2	SAT	0
Qq3k2k1k2v80v80v80m4s3	SAT	0
Qq3k2k1k2v80v80v80m4s4	SAT	0
Qq3k2k1k2v80v80v80m4s5	SAT	0
Qq3k2k1k2v80v80v80m4s6	SAT	0
Qq3k2k1k2v80v80v80m4s7	SAT	0
Qq3k2k1k2v80v80v80m4s8	SAT	0
Qq3k2k1k2v80v80v80m4s9	SAT	0
Qq3k2k1k2v80v80v80m8s0	SAT	0
Qq3k2k1k2v80v80v80m8s1	SAT	0
Qq3k2k1k2v80v80v80m8s2	SAT	0
Qq3k2k1k2v80v80v80m8s5	SAT	0
Qq3k2k1k2v80v80v80m8s6	SAT	0
Qq3k2k1k2v80v80v80m8s8	SAT	0
Qq3k2k1k2v80v80v80m8s9	SAT	0
Qq3k2k1k2v80v80v80m16s0	SAT	0
Qq3k2k1k2v80v80v80m16s1	SAT	0
Qq3k2k1k2v80v80v80m16s2	SAT	0
Qq3k2k1k2v80v80v80m16s3	SAT	0
Qq3k2k1k2v80v80v80m16s4	SAT	0
Qq3k2k1k2v80v80v80m16s8	SAT	0
Qq3k2k1k2v80v80v80m16s9	SAT	0
Qq3k2k1k2v80v80v80m32s0	SAT	0
Qq3k2k1k2v80v80v80m32s3	SAT	0
Qq3k2k1k2v80v80v80m32s4	SAT	0
Qq3k2k1k2v80v80v80m32s5	SAT	0
Qq3k2k1k2v80v80v80m32s6	SAT	0
Qq3k2k1k2v80v80v80m32s9	SAT	0
Qq3k2k2k1v40v40v40m2s0	SAT	0
Qq3k2k2k1v40v40v40m2s2	SAT	0
Qq3k2k2k1v40v40v40m2s3	SAT	0
Qq3k2k2k1v40v40v40m2s4	SAT	0
Qq3k2k2k1v40v40v40m2s6	SAT	0
Qq3k2k2k1v40v40v40m2s9	SAT	0
Qq3k2k2k1v40v40v40m4s0	SAT	0
Qq3k2k2k1v40v40v40m4s1	SAT	0
Qq3k2k2k1v40v40v40m4s2	SAT	0
Qq3k2k2k1v40v40v40m4s6	SAT	0
Qq3k2k2k1v40v40v40m4s7	SAT	0
Qq3k2k2k1v40v40v40m4s9	SAT	0
Qq3k2k2k1v40v40v40m8s1	SAT	0
Qq3k2k2k1v40v40v40m8s2	SAT	0
Qq3k2k2k1v40v40v40m8s3	SAT	0
Qq3k2k2k1v40v40v40m8s4	SAT	0
Qq3k2k2k1v40v40v40m8s6	SAT	0
Qq3k2k2k1v40v40v40m8s8	SAT	0
Qq3k2k2k1v40v40v40m8s9	SAT	0
Qq3k2k2k1v40v40v40m16s2	SAT	0
Qq3k2k2k1v40v40v40m16s3	SAT	0
Qq3k2k2k1v40v40v40m16s4	SAT	0
Qq3k2k2k1v40v40v40m16s5	SAT	0
Qq3k2k2k1v40v40v40m16s6	SAT	0
Qq3k2k2k1v40v40v40m32s0	SAT	0
Qq3k2k2k1v40v40v40m32s1	SAT	0
Qq3k2k2k1v40v40v40m32s2	SAT	0
Qq3k2k2k1v40v40v40m32s3	SAT	0
Qq3k2k2k1v40v40v40m32s4	SAT	0
Qq3k2k2k1v40v40v40m32s5	SAT	0
Qq3k2k2k1v80v80v80m2s0	SAT	0
Qq3k2k2k1v80v80v80m2s1	SAT	0
Qq3k2k2k1v80v80v80m2s2	SAT	0
Qq3k2k2k1v80v80v80m2s3	SAT	0
Qq3k2k2k1v80v80v80m2s4	SAT	0
Qq3k2k2k1v80v80v80m2s6	SAT	0
Qq3k2k2k1v80v80v80m2s7	SAT	0
Qq3k2k2k1v80v80v80m2s9	SAT	0
Qq3k2k2k1v80v80v80m4s0	SAT	0
Qq3k2k2k1v80v80v80m4s3	SAT	0
Qq3k2k2k1v80v80v80m4s6	SAT	0
Qq3k2k2k1v80v80v80m4s9	SAT	0
Qq3k2k2k1v80v80v80m8s1	SAT	0
Qq3k2k2k1v80v80v80m8s2	SAT	0
Qq3k2k2k1v80v80v80m8s3	SAT	0
Qq3k2k2k1v80v80v80m8s6	SAT	0
Qq3k2k2k1v80v80v80m8s7	SAT	0
Qq3k2k2k1v80v80v80m8s9	SAT	0
Qq3k2k2k1v80v80v80m16s0	SAT	0
Qq3k2k2k1v80v80v80m16s1	SAT	0
Qq3k2k2k1v80v80v80m16s2	SAT	0
Qq3k2k2k1v80v80v80m16s3	SAT	0
Qq3k2k2k1v80v80v80m16s4	SAT	0
Qq3k2k2k1v80v80v80m16s7	SAT	0
Qq3k2k2k1v80v80v80m16s8	SAT	0
Qq3k2k2k1v80v80v80m32s0	SAT	0
Qq3k2k2k1v80v80v80m32s1	SAT	0
Qq3k2k2k1v80v80v80m32s2	SAT	0
Qq3k2k2k1v80v80v80m32s4	SAT	0
Qq3k2k2k1v80v80v80m32s5	SAT	0
Qq3k2k2k1v80v80v80m32s6	SAT	0
Qq3k2k2k1v80v80v80m32s8	SAT	0
Qq3k2k2k1v80v80v80m32s9	SAT	0
Qq3k3k1k1v40v40v40m2s2	SAT	0
Qq3k3k1k1v40v40v40m2s3	SAT	0
Qq3k3k1k1v40v40v40m2s4	SAT	0
Qq3k3k1k1v40v40v40m2s5	SAT	0
Qq3k3k1k1v40v40v40m2s6	SAT	0
Qq3k3k1k1v40v40v40m2s7	SAT	0
Qq3k3k1k1v40v40v40m2s8	SAT	0
Qq3k3k1k1v40v40v40m4s0	SAT	0
Qq3k3k1k1v40v40v40m4s1	SAT	0
Qq3k3k1k1v40v40v40m4s2	SAT	0
Qq3k3k1k1v40v40v40m4s5	SAT	0
Qq3k3k1k1v40v40v40m4s6	SAT	0
Qq3k3k1k1v40v40v40m4s7	SAT	0
Qq3k3k1k1v40v40v40m4s9	SAT	0
Qq3k3k1k1v40v40v40m8s1	SAT	0
Qq3k3k1k1v40v40v40m8s2	SAT	0
Qq3k3k1k1v40v40v40m8s3	SAT	0
Qq3k3k1k1v40v40v40m8s4	SAT	0
Qq3k3k1k1v40v40v40m8s5	SAT	0
Qq3k3k1k1v40v40v40m8s6	SAT	0
Qq3k3k1k1v40v40v40m16s1	SAT	0
Qq3k3k1k1v40v40v40m16s2	SAT	0
Qq3k3k1k1v40v40v40m16s3	SAT	0
Qq3k3k1k1v40v40v40m16s4	SAT	0
Qq3k3k1k1v40v40v40m16s5	SAT	0
Qq3k3k1k1v40v40v40m16s6	SAT	0
Qq3k3k1k1v40v40v40m16s8	SAT	0
Qq3k3k1k1v40v40v40m32s0	SAT	0
Qq3k3k1k1v40v40v40m32s2	SAT	0
Qq3k3k1k1v40v40v40m32s3	SAT	0
Qq3k3k1k1v40v40v40m32s6	SAT	0
Qq3k3k1k1v80v80v80m2s0	SAT	0
Qq3k3k1k1v80v80v80m2s2	SAT	0
Qq3k3k1k1v80v80v80m2s3	SAT	0
Qq3k3k1k1v80v80v80m2s4	SAT	0
Qq3k3k1k1v80v80v80m2s6	SAT	0
Qq3k3k1k1v80v80v80m2s7	SAT	0
Qq3k3k1k1v80v80v80m2s9	SAT	0
Qq3k3k1k1v80v80v80m4s3	SAT	0
Qq3k3k1k1v80v80v80m4s5	SAT	0
Qq3k3k1k1v80v80v80m4s6	SAT	0
Qq3k3k1k1v80v80v80m4s7	SAT	0
Qq3k3k1k1v80v80v80m4s8	SAT	0
Qq3k3k1k1v80v80v80m4s9	SAT	0
Qq3k3k1k1v80v80v80m8s1	SAT	0
Qq3k3k1k1v80v80v80m8s4	SAT	0
Qq3k3k1k1v80v80v80m8s5	SAT	0
Qq3k3k1k1v80v80v80m8s6	SAT	0
Qq3k3k1k1v80v80v80m8s8	SAT	0
Qq3k3k1k1v80v80v80m8s9	SAT	0
Qq3k3k1k1v80v80v80m16s0	SAT	0
Qq3k3k1k1v80v80v80m16s1	SAT	0
Qq3k3k1k1v80v80v80m16s2	SAT	0
Qq3k3k1k1v80v80v80m16s5	SAT	0
Qq3k3k1k1v80v80v80m16s6	SAT	0
Qq3k3k1k1v80v80v80m16s7	SAT	0
Qq3k3k1k1v80v80v80m16s8	SAT	0
Qq3k3k1k1v80v80v80m32s0	SAT	0
Qq3k3k1k1v80v80v80m32s1	SAT	0
Qq3k3k1k1v80v80v80m32s2	SAT	0
Qq3k3k1k1v80v80v80m32s3	SAT	0
Qq3k3k1k1v80v80v80m32s4	SAT	0
Qq3k3k1k1v80v80v80m32s5	SAT	0
Qq3k3k1k1v80v80v80m32s8	SAT	0
Qq2k3k2v80v80m32s9	SAT	0
3qbf-5cnf-20var-160cl.9	SAT	0.01
ncf_4_16_2_euad.2	SAT	0.01
ncf_16_32_2_edau.6	SAT	0.01
5qbf-5cnf-40var-1280cl.0	UNSAT	0.01
6qbf-5cnf-40var-1280cl.5	UNSAT	0.01
6qbf-5cnf-20var-640cl.3	UNSAT	0.01
6qbf-5cnf-20var-640cl.4	UNSAT	0.01
6qbf-5cnf-20var-640cl.5	UNSAT	0.01
ncf_4_16_2_d.6	SAT	0.01
ncf_8_16_4_d.10	SAT	0.01
6qbf-5cnf-20var-640cl.7	UNSAT	0.01
5qbf-5cnf-40var-320cl.1	SAT	0.01
5qbf-5cnf-160var-640cl.3	SAT	0.01
4qbf-5cnf-40var-1280cl.3	UNSAT	0.01
ncf_8_16_4_euad.6	UNSAT	0.01
6qbf-5cnf-40var-1280cl.0	UNSAT	0.01
ncf_4_8_8_edau.5	UNSAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
3qbf-5cnf-80var-320cl.9	SAT	0.01
3qbf-5cnf-80var-320cl.7	SAT	0.01
4qbf-5cnf-20var-640cl.8	UNSAT	0.01
ncf_8_16_4_u.2	UNSAT	0.01
ncf_16_32_2_d.7	UNSAT	0.01
6qbf-5cnf-20var-320cl.8	UNSAT	0.01
ncf_16_32_2_u.6	SAT	0.01
3qbf-5cnf-20var-160cl.0	SAT	0.01
4qbf-5cnf-80var-2560cl.0	UNSAT	0.01
5qbf-5cnf-20var-640cl.1	UNSAT	0.01
5qbf-5cnf-40var-1280cl.9	UNSAT	0.01
ncf_4_8_4_u.6	SAT	0.01
2qbf-5cnf-80var-1280cl.4	UNSAT	0.01
4qbf-5cnf-20var-640cl.4	UNSAT	0.01
4qbf-5cnf-40var-1280cl.9	UNSAT	0.01
3qbf-5cnf-160var-640cl.0	SAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.01
5qbf-5cnf-20var-640cl.8	UNSAT	0.01
6qbf-5cnf-40var-1280cl.6	UNSAT	0.01
ncf_4_8_4_u.9	SAT	0.01
4qbf-5cnf-40var-1280cl.6	UNSAT	0.01
3qbf-5cnf-40var-640cl.8	UNSAT	0.01
4qbf-5cnf-40var-640cl.5	UNSAT	0.01
6qbf-5cnf-80var-2560cl.0	UNSAT	0.01
3qbf-5cnf-80var-2560cl.7	UNSAT	0.01
5qbf-5cnf-160var-640cl.9	SAT	0.01
4qbf-5cnf-40var-640cl.4	UNSAT	0.01
3qbf-5cnf-20var-320cl.2	UNSAT	0.01
4qbf-5cnf-20var-640cl.5	UNSAT	0.01
4qbf-5cnf-20var-320cl.4	UNSAT	0.01
4qbf-5cnf-20var-320cl.2	UNSAT	0.01
2qbf-5cnf-80var-1280cl.3	UNSAT	0.01
4qbf-5cnf-20var-320cl.1	UNSAT	0.01
5qbf-5cnf-40var-320cl.2	SAT	0.01
5qbf-5cnf-20var-640cl.7	UNSAT	0.01
5qbf-5cnf-20var-640cl.0	UNSAT	0.01
ncf_4_16_2_u.2	SAT	0.01
ncf_4_8_2_u.4	UNSAT	0.01
ncf_8_16_4_edau.1	SAT	0.01
ncf_4_8_2_u.3	UNSAT	0.01
ncf_4_8_2_euad.3	UNSAT	0.01
ncf_4_16_2_u.6	SAT	0.01
6qbf-5cnf-20var-640cl.1	UNSAT	0.01
6qbf-5cnf-20var-640cl.6	UNSAT	0.01
tree-exa2-50	UNSAT	0.01
5qbf-5cnf-160var-640cl.6	SAT	0.01
3qbf-5cnf-40var-640cl.7	UNSAT	0.01
ncf_4_16_2_edau.9	SAT	0.01
ncf_4_16_2_euad.6	SAT	0.01
3qbf-5cnf-80var-320cl.3	SAT	0.01
6qbf-5cnf-20var-640cl.8	UNSAT	0.01
6qbf-5cnf-160var-640cl.9	SAT	0.01
4qbf-5cnf-40var-1280cl.0	UNSAT	0.01
ncf_4_8_4_euad.5	SAT	0.01
2qbf-5cnf-40var-160cl.6	UNSAT	0.01
ncf_4_16_4_edau.5	SAT	0.01
ncf_8_16_4_u.1	SAT	0.01
4qbf-5cnf-20var-320cl.6	UNSAT	0.01
5qbf-5cnf-160var-640cl.2	SAT	0.01
4qbf-5cnf-40var-1280cl.4	UNSAT	0.01
ncf_16_32_2_d.6	SAT	0.01
ncf_4_8_4_euad.3	UNSAT	0.01
ncf_4_8_4_euad.6	SAT	0.01
ncf_4_8_2_u.8	SAT	0.01
5qbf-5cnf-40var-1280cl.1	UNSAT	0.01
5qbf-5cnf-40var-1280cl.8	UNSAT	0.01
2qbf-5cnf-40var-640cl.6	UNSAT	0.01
5qbf-5cnf-20var-640cl.6	UNSAT	0.01
ncf_4_8_2_u.5	SAT	0.01
6qbf-5cnf-160var-640cl.4	SAT	0.01
ncf_4_8_4_u.7	UNSAT	0.01
4qbf-5cnf-40var-1280cl.8	UNSAT	0.01
4qbf-5cnf-40var-640cl.0	UNSAT	0.01
6qbf-5cnf-40var-1280cl.9	UNSAT	0.01
4qbf-5cnf-20var-640cl.0	UNSAT	0.01
6qbf-5cnf-160var-640cl.1	SAT	0.01
3qbf-5cnf-160var-640cl.7	SAT	0.01
ncf_8_16_4_edau.6	UNSAT	0.01
ncf_4_8_8_euad.9	UNSAT	0.01
ncf_16_32_2_d.9	UNSAT	0.01
3qbf-5cnf-160var-640cl.9	SAT	0.01
3qbf-5cnf-80var-320cl.4	SAT	0.01
6qbf-5cnf-40var-1280cl.4	UNSAT	0.01
6qbf-5cnf-160var-640cl.0	SAT	0.01
toilet_c_10_05.7	SAT	0.01
4qbf-5cnf-20var-640cl.2	UNSAT	0.01
2qbf-5cnf-40var-640cl.0	UNSAT	0.01
ncf_16_32_2_edau.7	UNSAT	0.01
ncf_4_8_4_u.3	UNSAT	0.01
6qbf-5cnf-20var-160cl.2	SAT	0.01
5qbf-5cnf-40var-640cl.8	UNSAT	0.01
ncf_8_16_4_d.2	UNSAT	0.01
4qbf-5cnf-20var-640cl.3	UNSAT	0.01
5qbf-5cnf-160var-640cl.7	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
6qbf-5cnf-40var-1280cl.7	UNSAT	0.01
ncf_4_8_2_euad.2	SAT	0.01
6qbf-5cnf-40var-1280cl.8	UNSAT	0.01
3qbf-5cnf-80var-320cl.5	SAT	0.01
3qbf-5cnf-40var-640cl.4	UNSAT	0.01
3qbf-5cnf-160var-640cl.4	SAT	0.01
6qbf-5cnf-160var-640cl.3	SAT	0.01
ncf_4_8_4_u.2	UNSAT	0.01
5qbf-5cnf-40var-320cl.4	SAT	0.01
ncf_4_8_2_u.10	SAT	0.01
4qbf-5cnf-40var-1280cl.1	UNSAT	0.01
x5.1	FAIL	0.01
x5.2	FAIL	0.01
x5.7	FAIL	0.01
x5.8	FAIL	0.01
x5.9	FAIL	0.01
cmu.dme2.B-d2	SAT	0.01
eijk.S208c.S-d2	SAT	0.01
eijk.S208.S-d2	SAT	0.01
eijk.S298.S-d2	SAT	0.01
eijk.S386.S-d2	SAT	0.01
vis.eisenberg.E-d2	SAT	0.01
vis.emodel.E-d2	SAT	0.01
Qq2k1k4v40v40m2s8	SAT	0.01
Qq2k1k4v40v40m2s9	SAT	0.01
Qq2k1k4v40v40m4s0	SAT	0.01
Qq2k1k4v40v40m4s5	SAT	0.01
Qq2k1k4v40v40m4s6	SAT	0.01
Qq2k1k4v40v40m8s1	SAT	0.01
Qq2k1k4v40v40m8s2	UNSAT	0.01
Qq2k1k4v40v40m8s7	SAT	0.01
Qq2k1k4v40v40m8s8	SAT	0.01
Qq2k1k4v40v40m16s0	UNSAT	0.01
Qq2k1k4v40v40m16s1	SAT	0.01
Qq2k1k4v40v40m16s3	UNSAT	0.01
Qq2k1k4v40v40m16s5	SAT	0.01
Qq2k1k4v40v40m16s6	UNSAT	0.01
Qq2k1k4v40v40m16s8	SAT	0.01
Qq2k1k4v40v40m32s5	UNSAT	0.01
Qq2k1k4v40v40m32s7	UNSAT	0.01
Qq2k1k4v80v80m2s2	SAT	0.01
Qq2k1k4v80v80m2s3	SAT	0.01
Qq2k1k4v80v80m2s7	SAT	0.01
Qq2k1k4v80v80m4s2	SAT	0.01
Qq2k1k4v80v80m4s3	SAT	0.01
Qq2k1k4v80v80m4s5	SAT	0.01
Qq2k1k4v80v80m4s8	SAT	0.01
Qq2k1k4v80v80m4s9	SAT	0.01
Qq2k1k4v80v80m8s0	SAT	0.01
Qq2k1k4v80v80m8s3	SAT	0.01
Qq2k1k4v80v80m8s7	SAT	0.01
Qq2k1k4v80v80m8s8	SAT	0.01
Qq2k1k4v80v80m8s9	SAT	0.01
Qq2k1k4v80v80m16s2	SAT	0.01
Qq2k1k4v80v80m16s4	SAT	0.01
Qq2k1k4v80v80m16s5	SAT	0.01
Qq2k1k4v80v80m16s9	SAT	0.01
Qq2k1k4v80v80m32s0	UNSAT	0.01
Qq2k1k4v80v80m32s8	UNSAT	0.01
Qq2k2k3v40v40m2s1	SAT	0.01
Qq2k2k3v40v40m2s4	SAT	0.01
Qq2k2k3v40v40m2s5	SAT	0.01
Qq2k2k3v40v40m2s6	SAT	0.01
Qq2k2k3v40v40m4s2	SAT	0.01
Qq2k2k3v40v40m4s7	SAT	0.01
Qq2k2k3v40v40m8s4	SAT	0.01
Qq2k2k3v40v40m8s5	SAT	0.01
Qq2k2k3v40v40m8s8	SAT	0.01
Qq2k2k3v40v40m16s2	SAT	0.01
Qq2k2k3v40v40m16s8	SAT	0.01
Qq2k2k3v40v40m32s0	SAT	0.01
Qq2k2k3v40v40m32s1	SAT	0.01
Qq2k2k3v40v40m32s2	SAT	0.01
Qq2k2k3v40v40m32s5	SAT	0.01
Qq2k2k3v40v40m32s7	SAT	0.01
Qq2k2k3v40v40m32s8	SAT	0.01
Qq2k2k3v80v80m2s0	SAT	0.01
Qq2k2k3v80v80m2s2	SAT	0.01
Qq2k2k3v80v80m2s3	SAT	0.01
Qq2k2k3v80v80m2s4	SAT	0.01
Qq2k2k3v80v80m2s5	SAT	0.01
Qq2k2k3v80v80m4s1	SAT	0.01
Qq2k2k3v80v80m8s0	SAT	0.01
Qq2k2k3v80v80m8s1	SAT	0.01
Qq2k2k3v80v80m8s6	SAT	0.01
Qq2k2k3v80v80m16s5	SAT	0.01
Qq2k2k3v80v80m16s7	SAT	0.01
Qq2k2k3v80v80m16s8	SAT	0.01
Qq2k2k3v80v80m32s1	SAT	0.01
Qq2k2k3v80v80m32s4	SAT	0.01
Qq2k2k3v80v80m32s6	SAT	0.01
Qq2k2k3v80v80m32s7	SAT	0.01
Qq2k3k2v40v40m2s4	SAT	0.01
Qq2k3k2v40v40m2s6	SAT	0.01
Qq2k3k2v40v40m2s9	SAT	0.01
Qq2k3k2v40v40m4s2	SAT	0.01
Qq2k3k2v40v40m4s4	SAT	0.01
Qq2k3k2v40v40m8s8	SAT	0.01
Qq2k3k2v40v40m16s6	SAT	0.01
Qq2k3k2v40v40m16s7	SAT	0.01
Qq2k3k2v40v40m16s9	SAT	0.01
Qq2k3k2v40v40m32s3	SAT	0.01
Qq2k3k2v40v40m32s5	SAT	0.01
Qq2k3k2v40v40m32s6	SAT	0.01
Qq2k3k2v40v40m32s7	SAT	0.01
Qq2k3k2v80v80m2s3	SAT	0.01
Qq2k3k2v80v80m2s4	SAT	0.01
Qq2k3k2v80v80m2s5	SAT	0.01
Qq2k3k2v80v80m2s8	SAT	0.01
Qq2k3k2v80v80m8s0	SAT	0.01
Qq2k3k2v80v80m8s6	SAT	0.01
Qq2k3k2v80v80m8s9	SAT	0.01
Qq2k3k2v80v80m16s0	SAT	0.01
Qq2k3k2v80v80m16s2	SAT	0.01
Qq2k3k2v80v80m16s6	SAT	0.01
Qq2k3k2v80v80m16s7	SAT	0.01
Qq2k3k2v80v80m32s5	SAT	0.01
Qq2k3k2v80v80m32s7	SAT	0.01
Qq2k3k2v80v80m32s8	SAT	0.01
Qq3k1k1k3v40v40v40m2s1	SAT	0.01
Qq3k1k1k3v40v40v40m2s2	SAT	0.01
Qq3k1k1k3v40v40v40m2s9	SAT	0.01
Qq3k1k1k3v40v40v40m4s0	SAT	0.01
Qq3k1k1k3v40v40v40m4s6	SAT	0.01
Qq3k1k1k3v40v40v40m4s8	SAT	0.01
Qq3k1k1k3v40v40v40m4s9	SAT	0.01
Qq3k1k1k3v40v40v40m8s5	SAT	0.01
Qq3k1k1k3v40v40v40m8s7	SAT	0.01
Qq3k1k1k3v40v40v40m8s8	SAT	0.01
Qq3k1k1k3v40v40v40m8s9	SAT	0.01
Qq3k1k1k3v40v40v40m16s8	SAT	0.01
Qq3k1k1k3v40v40v40m32s6	SAT	0.01
Qq3k1k1k3v40v40v40m32s7	SAT	0.01
Qq3k1k1k3v80v80v80m2s0	SAT	0.01
Qq3k1k1k3v80v80v80m2s3	SAT	0.01
Qq3k1k1k3v80v80v80m2s6	SAT	0.01
Qq3k1k1k3v80v80v80m4s2	SAT	0.01
Qq3k1k1k3v80v80v80m4s4	SAT	0.01
Qq3k1k1k3v80v80v80m4s8	SAT	0.01
Qq3k1k1k3v80v80v80m8s3	SAT	0.01
Qq3k1k1k3v80v80v80m8s5	SAT	0.01
Qq3k1k1k3v80v80v80m8s7	SAT	0.01
Qq3k1k1k3v80v80v80m8s9	SAT	0.01
Qq3k1k1k3v80v80v80m16s0	SAT	0.01
Qq3k1k1k3v80v80v80m16s2	SAT	0.01
Qq3k1k1k3v80v80v80m32s2	SAT	0.01
Qq3k1k1k3v80v80v80m32s3	SAT	0.01
Qq3k1k1k3v80v80v80m32s4	SAT	0.01
Qq3k1k1k3v80v80v80m32s5	SAT	0.01
Qq3k1k1k3v80v80v80m32s6	SAT	0.01
Qq3k1k1k3v80v80v80m32s7	SAT	0.01
Qq3k1k1k3v80v80v80m32s9	SAT	0.01
Qq3k1k2k2v40v40v40m2s3	SAT	0.01
Qq3k1k2k2v40v40v40m2s5	SAT	0.01
Qq3k1k2k2v40v40v40m2s9	SAT	0.01
Qq3k1k2k2v40v40v40m4s3	SAT	0.01
Qq3k1k2k2v40v40v40m8s0	SAT	0.01
Qq3k1k2k2v40v40v40m8s1	SAT	0.01
Qq3k1k2k2v40v40v40m8s6	SAT	0.01
Qq3k1k2k2v40v40v40m16s1	SAT	0.01
Qq3k1k2k2v40v40v40m16s2	SAT	0.01
Qq3k1k2k2v40v40v40m16s3	SAT	0.01
Qq3k1k2k2v40v40v40m16s7	SAT	0.01
Qq3k1k2k2v40v40v40m32s2	SAT	0.01
Qq3k1k2k2v40v40v40m32s3	SAT	0.01
Qq3k1k2k2v40v40v40m32s5	SAT	0.01
Qq3k1k2k2v40v40v40m32s6	SAT	0.01
Qq3k1k2k2v40v40v40m32s7	SAT	0.01
Qq3k1k2k2v40v40v40m32s9	SAT	0.01
Qq3k1k2k2v80v80v80m2s5	SAT	0.01
Qq3k1k2k2v80v80v80m2s6	SAT	0.01
Qq3k1k2k2v80v80v80m4s2	SAT	0.01
Qq3k1k2k2v80v80v80m4s5	SAT	0.01
Qq3k1k2k2v80v80v80m4s9	SAT	0.01
Qq3k1k2k2v80v80v80m8s0	SAT	0.01
Qq3k1k2k2v80v80v80m8s3	SAT	0.01
Qq3k1k2k2v80v80v80m16s0	SAT	0.01
Qq3k1k2k2v80v80v80m16s1	SAT	0.01
Qq3k1k2k2v80v80v80m32s2	SAT	0.01
Qq3k1k2k2v80v80v80m32s6	SAT	0.01
Qq3k1k2k2v80v80v80m32s7	SAT	0.01
Qq3k1k2k2v80v80v80m32s9	SAT	0.01
Qq3k1k3k1v40v40v40m2s1	SAT	0.01
Qq3k1k3k1v40v40v40m2s4	SAT	0.01
Qq3k1k3k1v40v40v40m2s6	SAT	0.01
Qq3k1k3k1v40v40v40m2s7	SAT	0.01
Qq3k1k3k1v40v40v40m2s8	SAT	0.01
Qq3k1k3k1v40v40v40m4s2	SAT	0.01
Qq3k1k3k1v40v40v40m4s4	SAT	0.01
Qq3k1k3k1v40v40v40m4s9	SAT	0.01
Qq3k1k3k1v40v40v40m8s9	SAT	0.01
Qq3k1k3k1v40v40v40m16s0	SAT	0.01
Qq3k1k3k1v40v40v40m16s1	SAT	0.01
Qq3k1k3k1v40v40v40m16s6	SAT	0.01
Qq3k1k3k1v40v40v40m16s9	SAT	0.01
Qq3k1k3k1v40v40v40m32s1	SAT	0.01
Qq3k1k3k1v40v40v40m32s2	SAT	0.01
Qq3k1k3k1v40v40v40m32s3	SAT	0.01
Qq3k1k3k1v40v40v40m32s4	SAT	0.01
Qq3k1k3k1v40v40v40m32s5	SAT	0.01
Qq3k1k3k1v40v40v40m32s7	SAT	0.01
Qq3k1k3k1v40v40v40m32s8	SAT	0.01
Qq3k1k3k1v40v40v40m32s9	SAT	0.01
Qq3k1k3k1v80v80v80m2s3	SAT	0.01
Qq3k1k3k1v80v80v80m4s3	SAT	0.01
Qq3k1k3k1v80v80v80m4s4	SAT	0.01
Qq3k1k3k1v80v80v80m4s5	SAT	0.01
Qq3k1k3k1v80v80v80m8s0	SAT	0.01
Qq3k1k3k1v80v80v80m8s2	SAT	0.01
Qq3k1k3k1v80v80v80m8s3	SAT	0.01
Qq3k1k3k1v80v80v80m8s5	SAT	0.01
Qq3k1k3k1v80v80v80m8s6	SAT	0.01
Qq3k1k3k1v80v80v80m8s9	SAT	0.01
Qq3k1k3k1v80v80v80m16s7	SAT	0.01
Qq3k1k3k1v80v80v80m32s0	SAT	0.01
Qq3k1k3k1v80v80v80m32s2	SAT	0.01
Qq3k1k3k1v80v80v80m32s3	SAT	0.01
Qq3k1k3k1v80v80v80m32s7	SAT	0.01
Qq3k2k1k2v40v40v40m2s1	SAT	0.01
Qq3k2k1k2v40v40v40m2s3	SAT	0.01
Qq3k2k1k2v40v40v40m2s4	SAT	0.01
Qq3k2k1k2v40v40v40m4s2	SAT	0.01
Qq3k2k1k2v40v40v40m4s9	SAT	0.01
Qq3k2k1k2v40v40v40m8s2	SAT	0.01
Qq3k2k1k2v40v40v40m8s3	SAT	0.01
Qq3k2k1k2v40v40v40m8s4	SAT	0.01
Qq3k2k1k2v40v40v40m8s5	SAT	0.01
Qq3k2k1k2v40v40v40m8s6	SAT	0.01
Qq3k2k1k2v40v40v40m8s8	SAT	0.01
Qq3k2k1k2v40v40v40m8s9	SAT	0.01
Qq3k2k1k2v40v40v40m16s0	SAT	0.01
Qq3k2k1k2v40v40v40m16s2	SAT	0.01
Qq3k2k1k2v40v40v40m16s3	SAT	0.01
Qq3k2k1k2v40v40v40m16s8	SAT	0.01
Qq3k2k1k2v40v40v40m32s3	SAT	0.01
Qq3k2k1k2v40v40v40m32s5	SAT	0.01
Qq3k2k1k2v40v40v40m32s8	SAT	0.01
Qq3k2k1k2v80v80v80m2s1	SAT	0.01
Qq3k2k1k2v80v80v80m2s2	SAT	0.01
Qq3k2k1k2v80v80v80m2s5	SAT	0.01
Qq3k2k1k2v80v80v80m2s8	SAT	0.01
Qq3k2k1k2v80v80v80m4s1	SAT	0.01
Qq3k2k1k2v80v80v80m8s3	SAT	0.01
Qq3k2k1k2v80v80v80m8s4	SAT	0.01
Qq3k2k1k2v80v80v80m8s7	SAT	0.01
Qq3k2k1k2v80v80v80m16s5	SAT	0.01
Qq3k2k1k2v80v80v80m16s6	SAT	0.01
Qq3k2k1k2v80v80v80m16s7	SAT	0.01
Qq3k2k1k2v80v80v80m32s1	SAT	0.01
Qq3k2k1k2v80v80v80m32s2	SAT	0.01
Qq3k2k1k2v80v80v80m32s7	SAT	0.01
Qq3k2k1k2v80v80v80m32s8	SAT	0.01
Qq3k2k2k1v40v40v40m2s5	SAT	0.01
Qq3k2k2k1v40v40v40m2s7	SAT	0.01
Qq3k2k2k1v40v40v40m2s8	SAT	0.01
Qq3k2k2k1v40v40v40m4s3	SAT	0.01
Qq3k2k2k1v40v40v40m4s4	SAT	0.01
Qq3k2k2k1v40v40v40m4s5	SAT	0.01
Qq3k2k2k1v40v40v40m4s8	SAT	0.01
Qq3k2k2k1v40v40v40m8s0	SAT	0.01
Qq3k2k2k1v40v40v40m8s5	SAT	0.01
Qq3k2k2k1v40v40v40m8s7	SAT	0.01
Qq3k2k2k1v40v40v40m16s0	SAT	0.01
Qq3k2k2k1v40v40v40m16s1	SAT	0.01
Qq3k2k2k1v40v40v40m16s7	SAT	0.01
Qq3k2k2k1v40v40v40m16s8	SAT	0.01
Qq3k2k2k1v40v40v40m16s9	SAT	0.01
Qq3k2k2k1v40v40v40m32s6	SAT	0.01
Qq3k2k2k1v40v40v40m32s7	SAT	0.01
Qq3k2k2k1v40v40v40m32s8	SAT	0.01
Qq3k2k2k1v40v40v40m32s9	SAT	0.01
Qq3k2k2k1v80v80v80m2s5	SAT	0.01
Qq3k2k2k1v80v80v80m2s8	SAT	0.01
Qq3k2k2k1v80v80v80m4s1	SAT	0.01
Qq3k2k2k1v80v80v80m4s2	SAT	0.01
Qq3k2k2k1v80v80v80m4s4	SAT	0.01
Qq3k2k2k1v80v80v80m4s5	SAT	0.01
Qq3k2k2k1v80v80v80m4s7	SAT	0.01
Qq3k2k2k1v80v80v80m4s8	SAT	0.01
Qq3k2k2k1v80v80v80m8s0	SAT	0.01
Qq3k2k2k1v80v80v80m8s4	SAT	0.01
Qq3k2k2k1v80v80v80m8s5	SAT	0.01
Qq3k2k2k1v80v80v80m8s8	SAT	0.01
Qq3k2k2k1v80v80v80m16s5	SAT	0.01
Qq3k2k2k1v80v80v80m16s6	SAT	0.01
Qq3k2k2k1v80v80v80m16s9	SAT	0.01
Qq3k2k2k1v80v80v80m32s3	SAT	0.01
Qq3k2k2k1v80v80v80m32s7	SAT	0.01
Qq3k3k1k1v40v40v40m2s0	SAT	0.01
Qq3k3k1k1v40v40v40m2s1	SAT	0.01
Qq3k3k1k1v40v40v40m2s9	SAT	0.01
Qq3k3k1k1v40v40v40m4s3	SAT	0.01
Qq3k3k1k1v40v40v40m4s4	SAT	0.01
Qq3k3k1k1v40v40v40m4s8	SAT	0.01
Qq3k3k1k1v40v40v40m8s0	SAT	0.01
Qq3k3k1k1v40v40v40m8s7	SAT	0.01
Qq3k3k1k1v40v40v40m8s8	SAT	0.01
Qq3k3k1k1v40v40v40m8s9	SAT	0.01
Qq3k3k1k1v40v40v40m16s0	SAT	0.01
Qq3k3k1k1v40v40v40m16s7	SAT	0.01
Qq3k3k1k1v40v40v40m16s9	SAT	0.01
Qq3k3k1k1v40v40v40m32s1	SAT	0.01
Qq3k3k1k1v40v40v40m32s4	SAT	0.01
Qq3k3k1k1v40v40v40m32s5	SAT	0.01
Qq3k3k1k1v40v40v40m32s7	SAT	0.01
Qq3k3k1k1v40v40v40m32s8	SAT	0.01
Qq3k3k1k1v40v40v40m32s9	SAT	0.01
Qq3k3k1k1v80v80v80m2s1	SAT	0.01
Qq3k3k1k1v80v80v80m2s5	SAT	0.01
Qq3k3k1k1v80v80v80m2s8	SAT	0.01
Qq3k3k1k1v80v80v80m4s1	SAT	0.01
Qq3k3k1k1v80v80v80m4s2	SAT	0.01
Qq3k3k1k1v80v80v80m4s4	SAT	0.01
Qq3k3k1k1v80v80v80m8s0	SAT	0.01
Qq3k3k1k1v80v80v80m8s2	SAT	0.01
Qq3k3k1k1v80v80v80m8s3	SAT	0.01
Qq3k3k1k1v80v80v80m8s7	SAT	0.01
Qq3k3k1k1v80v80v80m16s3	SAT	0.01
Qq3k3k1k1v80v80v80m16s4	SAT	0.01
Qq3k3k1k1v80v80v80m16s9	SAT	0.01
Qq3k3k1k1v80v80v80m32s6	SAT	0.01
Qq3k3k1k1v80v80v80m32s7	SAT	0.01
Qq3k3k1k1v80v80v80m32s9	SAT	0.01
3qbf-5cnf-80var-2560cl.9	UNSAT	0.02
ncf_8_16_4_d.1	SAT	0.02
ncf_4_8_2_euad.8	SAT	0.02
4qbf-5cnf-20var-320cl.3	UNSAT	0.02
ncf_4_16_4_u.5	SAT	0.02
ncf_16_32_2_u.5	UNSAT	0.02
4qbf-5cnf-40var-640cl.1	UNSAT	0.02
ncf_4_16_4_d.5	SAT	0.02
6qbf-5cnf-80var-2560cl.5	UNSAT	0.02
ncf_4_16_2_d.2	SAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
6qbf-5cnf-20var-320cl.5	UNSAT	0.02
6qbf-5cnf-160var-640cl.2	SAT	0.02
5qbf-5cnf-160var-640cl.1	SAT	0.02
4qbf-5cnf-80var-1280cl.5	UNSAT	0.02
6qbf-5cnf-20var-640cl.0	UNSAT	0.02
ncf_4_8_8_d.8	SAT	0.02
6qbf-5cnf-20var-320cl.9	UNSAT	0.02
ncf_4_8_2_euad.4	UNSAT	0.02
6qbf-5cnf-20var-160cl.8	SAT	0.02
ncf_8_16_4_edau.2	UNSAT	0.02
3qbf-5cnf-80var-2560cl.0	UNSAT	0.02
4qbf-5cnf-80var-2560cl.5	UNSAT	0.02
ncf_16_32_2_u.9	UNSAT	0.02
6qbf-5cnf-80var-2560cl.1	UNSAT	0.02
ncf_16_32_2_u.2	UNSAT	0.02
ncf_4_8_8_d.5	UNSAT	0.02
ncf_4_16_2_euad.9	SAT	0.02
4qbf-5cnf-20var-640cl.1	UNSAT	0.02
3qbf-5cnf-20var-320cl.0	UNSAT	0.02
6qbf-5cnf-80var-2560cl.6	UNSAT	0.02
ncf_4_16_2_edau.2	SAT	0.02
5qbf-5cnf-80var-2560cl.6	UNSAT	0.02
3qbf-5cnf-20var-160cl.7	SAT	0.02
4qbf-5cnf-20var-640cl.7	UNSAT	0.02
ncf_16_32_2_euad.6	SAT	0.02
3qbf-5cnf-80var-2560cl.5	UNSAT	0.02
4qbf-5cnf-80var-2560cl.1	UNSAT	0.02
6qbf-5cnf-20var-320cl.6	UNSAT	0.02
ncf_8_16_4_euad.10	SAT	0.02
4qbf-5cnf-40var-640cl.2	UNSAT	0.02
ncf_4_8_4_euad.8	UNSAT	0.02
ncf_8_16_4_edau.10	SAT	0.02
ncf_4_8_8_u.5	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
5qbf-5cnf-20var-640cl.3	UNSAT	0.02
4qbf-5cnf-80var-2560cl.8	UNSAT	0.02
3qbf-5cnf-80var-2560cl.1	UNSAT	0.02
5qbf-5cnf-20var-640cl.2	UNSAT	0.02
ncf_4_8_4_u.5	SAT	0.02
6qbf-5cnf-160var-640cl.8	SAT	0.02
6qbf-5cnf-20var-640cl.9	UNSAT	0.02
4qbf-5cnf-40var-1280cl.2	UNSAT	0.02
6qbf-5cnf-40var-1280cl.1	UNSAT	0.02
6qbf-5cnf-20var-320cl.3	UNSAT	0.02
4qbf-5cnf-40var-640cl.3	UNSAT	0.02
ncf_4_16_2_d.9	SAT	0.02
4qbf-5cnf-80var-2560cl.7	UNSAT	0.02
5qbf-5cnf-40var-1280cl.4	UNSAT	0.02
6qbf-5cnf-40var-640cl.7	UNSAT	0.02
4qbf-5cnf-40var-320cl.3	UNSAT	0.02
ncf_16_32_2_euad.2	UNSAT	0.02
ncf_16_32_2_euad.7	UNSAT	0.02
4qbf-5cnf-20var-320cl.0	UNSAT	0.02
5qbf-5cnf-80var-640cl.2	SAT	0.02
6qbf-5cnf-80var-2560cl.7	UNSAT	0.02
ncf_4_16_4_euad.5	SAT	0.02
ncf_4_8_4_euad.2	UNSAT	0.02
5qbf-5cnf-80var-2560cl.4	UNSAT	0.02
4qbf-5cnf-80var-2560cl.3	UNSAT	0.02
6qbf-5cnf-160var-640cl.5	SAT	0.02
5qbf-5cnf-20var-320cl.4	UNSAT	0.02
2qbf-5cnf-40var-640cl.7	UNSAT	0.02
3qbf-5cnf-20var-320cl.4	UNSAT	0.02
5qbf-5cnf-20var-320cl.5	UNSAT	0.02
ncf_16_32_2_d.8	UNSAT	0.02
ncf_4_8_2_euad.5	SAT	0.02
ncf_4_8_2_euad.7	UNSAT	0.02
3qbf-5cnf-80var-2560cl.4	UNSAT	0.02
4qbf-5cnf-20var-320cl.7	UNSAT	0.02
5qbf-5cnf-40var-320cl.7	SAT	0.02
ncf_4_8_4_euad.7	UNSAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
3qbf-5cnf-20var-160cl.8	SAT	0.02
3qbf-5cnf-80var-2560cl.8	UNSAT	0.02
ncf_16_32_2_edau.8	UNSAT	0.02
ncf_4_8_8_d.9	UNSAT	0.02
3qbf-5cnf-160var-640cl.2	SAT	0.02
4qbf-5cnf-80var-1280cl.8	UNSAT	0.02
ncf_8_16_4_euad.2	UNSAT	0.02
4qbf-5cnf-80var-2560cl.9	UNSAT	0.02
5qbf-5cnf-80var-2560cl.0	UNSAT	0.02
5qbf-5cnf-160var-640cl.5	SAT	0.02
3qbf-5cnf-160var-640cl.5	SAT	0.02
ncf_4_16_2_u.9	SAT	0.02
ncf_4_8_8_edau.9	UNSAT	0.02
3qbf-5cnf-80var-2560cl.3	UNSAT	0.02
ncf_8_16_4_edau.8	UNSAT	0.02
6qbf-5cnf-20var-160cl.7	SAT	0.02
6qbf-5cnf-20var-160cl.1	SAT	0.02
x10.0	FAIL	0.02
x10.1	FAIL	0.02
x10.2	FAIL	0.02
x10.7	SAT	0.02
x15.6	UNSAT	0.02
x5.0	SAT	0.02
x5.3	FAIL	0.02
x5.4	FAIL	0.02
x5.6	FAIL	0.02
eijk.S953.S-d2	SAT	0.02
vis.4-arbit^1.E-d2	SAT	0.02
vis.bakery.E-d2	SAT	0.02
vis.coherence^1.E-d2	SAT	0.02
texas.parsesys^4.E-f2	UNSAT	0.02
vis.emodel.E-f2	UNSAT	0.02
sortnetsort5.v.stepl.003	UNSAT	0.02
Qq2k1k4v40v40m2s2	SAT	0.02
Qq2k1k4v40v40m2s7	SAT	0.02
Qq2k1k4v80v80m8s2	SAT	0.02
Qq2k2k3v40v40m2s8	SAT	0.02
Qq2k2k3v40v40m4s0	SAT	0.02
Qq2k2k3v40v40m8s0	SAT	0.02
Qq2k2k3v80v80m16s4	SAT	0.02
Qq2k2k3v80v80m16s9	SAT	0.02
Qq2k3k2v40v40m2s8	SAT	0.02
Qq2k3k2v40v40m16s1	SAT	0.02
Qq2k3k2v40v40m16s3	SAT	0.02
Qq2k3k2v80v80m8s2	SAT	0.02
Qq3k1k1k3v40v40v40m16s2	SAT	0.02
Qq3k1k3k1v80v80v80m2s0	SAT	0.02
Qq3k1k3k1v80v80v80m4s6	SAT	0.02
Qq3k2k2k1v40v40v40m2s1	SAT	0.02
Qq3k3k1k1v80v80v80m4s0	SAT	0.02
6qbf-5cnf-80var-2560cl.9	UNSAT	0.03
5qbf-5cnf-80var-640cl.7	SAT	0.03
5qbf-5cnf-40var-1280cl.7	UNSAT	0.03
2qbf-5cnf-160var-2560cl.6	UNSAT	0.03
5qbf-5cnf-20var-320cl.1	UNSAT	0.03
ncf_8_16_4_d.4	SAT	0.03
6qbf-5cnf-20var-160cl.4	SAT	0.03
ncf_8_16_8_edau.6	UNSAT	0.03
ncf_4_8_8_u.9	UNSAT	0.03
ncf_4_16_4_d.8	SAT	0.03
3qbf-5cnf-40var-640cl.5	UNSAT	0.03
3qbf-5cnf-80var-2560cl.6	UNSAT	0.03
5qbf-5cnf-40var-640cl.1	UNSAT	0.03
5qbf-5cnf-80var-2560cl.3	UNSAT	0.03
5qbf-5cnf-80var-2560cl.9	UNSAT	0.03
3qbf-5cnf-40var-320cl.8	SAT	0.03
4qbf-5cnf-80var-2560cl.4	UNSAT	0.03
4qbf-5cnf-160var-5120cl.0	UNSAT	0.03
3qbf-5cnf-40var-640cl.6	UNSAT	0.03
ncf_16_32_2_u.10	UNSAT	0.03
5qbf-5cnf-80var-2560cl.1	UNSAT	0.03
5qbf-5cnf-160var-5120cl.3	UNSAT	0.03
5qbf-5cnf-20var-320cl.0	UNSAT	0.03
6qbf-5cnf-40var-1280cl.3	UNSAT	0.03
4qbf-5cnf-80var-2560cl.6	UNSAT	0.03
ncf_16_32_2_edau.9	UNSAT	0.03
2qbf-5cnf-80var-1280cl.6	UNSAT	0.03
ncf_8_16_4_u.6	UNSAT	0.03
2qbf-5cnf-160var-5120cl.9	UNSAT	0.03
ncf_16_32_2_u.8	UNSAT	0.03
ncf_16_32_2_edau.2	UNSAT	0.03
4qbf-5cnf-20var-320cl.9	UNSAT	0.03
3qbf-5cnf-20var-320cl.5	UNSAT	0.03
3qbf-5cnf-20var-320cl.6	UNSAT	0.03
6qbf-5cnf-20var-160cl.9	SAT	0.03
5qbf-5cnf-20var-320cl.6	UNSAT	0.03
ncf_16_32_2_u.7	UNSAT	0.03
5qbf-5cnf-160var-640cl.0	SAT	0.03
ncf_8_16_4_d.6	UNSAT	0.03
ncf_4_8_4_u.8	UNSAT	0.03
3qbf-5cnf-80var-2560cl.2	UNSAT	0.03
ncf_8_16_4_u.10	SAT	0.03
ncf_4_8_8_u.4	SAT	0.03
ncf_16_32_4_edau.9	SAT	0.03
5qbf-5cnf-40var-1280cl.2	UNSAT	0.03
4qbf-5cnf-80var-1280cl.4	UNSAT	0.03
2qbf-5cnf-40var-640cl.3	UNSAT	0.03
3qbf-5cnf-20var-320cl.7	UNSAT	0.03
5qbf-5cnf-20var-320cl.8	UNSAT	0.03
TOILET10.1.iv.20	SAT	0.03
ncf_8_16_4_u.8	UNSAT	0.03
4qbf-5cnf-40var-640cl.6	UNSAT	0.03
4qbf-5cnf-80var-2560cl.2	UNSAT	0.03
6qbf-5cnf-80var-2560cl.2	UNSAT	0.03
5qbf-5cnf-40var-320cl.0	SAT	0.03
ncf_4_16_2_euad.4	SAT	0.03
2qbf-5cnf-160var-5120cl.6	UNSAT	0.03
2qbf-5cnf-80var-1280cl.9	UNSAT	0.03
5qbf-5cnf-40var-640cl.0	UNSAT	0.03
x10.4	SAT	0.03
x10.6	FAIL	0.03
x10.8	FAIL	0.03
texas.ifetch1^1.E-f2	UNSAT	0.03
ncf_8_16_4_u.4	SAT	0.04
2qbf-5cnf-160var-5120cl.3	UNSAT	0.04
5qbf-5cnf-160var-5120cl.8	UNSAT	0.04
ncf_8_16_8_d.6	UNSAT	0.04
2qbf-5cnf-160var-5120cl.2	UNSAT	0.04
ncf_16_32_2_edau.5	UNSAT	0.04
ncf_4_8_8_euad.8	SAT	0.04
ncf_4_16_2_euad.1	UNSAT	0.04
2qbf-5cnf-160var-2560cl.2	UNSAT	0.04
6qbf-5cnf-160var-5120cl.9	UNSAT	0.04
4qbf-5cnf-160var-5120cl.3	UNSAT	0.04
ncf_4_16_4_euad.8	SAT	0.04
ncf_16_32_4_euad.9	SAT	0.04
ncf_16_32_4_u.9	SAT	0.04
2qbf-5cnf-160var-5120cl.7	UNSAT	0.04
4qbf-5cnf-160var-5120cl.7	UNSAT	0.04
4qbf-5cnf-160var-5120cl.5	UNSAT	0.04
ncf_16_32_4_edau.10	UNSAT	0.04
ncf_16_32_2_euad.9	UNSAT	0.04
ncf_16_32_2_euad.8	UNSAT	0.04
ncf_4_16_4_u.8	SAT	0.04
2qbf-5cnf-160var-5120cl.1	UNSAT	0.04
ncf_16_32_2_d.5	UNSAT	0.04
ncf_16_32_2_euad.5	UNSAT	0.04
ncf_8_16_8_euad.6	UNSAT	0.04
ncf_4_8_8_euad.5	UNSAT	0.04
ncf_4_16_2_u.7	SAT	0.04
ncf_16_32_4_euad.3	SAT	0.04
6qbf-5cnf-80var-2560cl.4	UNSAT	0.04
4qbf-5cnf-160var-5120cl.9	UNSAT	0.04
4qbf-5cnf-160var-5120cl.8	UNSAT	0.04
2qbf-5cnf-160var-5120cl.0	UNSAT	0.04
6qbf-5cnf-160var-5120cl.5	UNSAT	0.04
ncf_4_8_2_u.6	SAT	0.04
ncf_16_32_2_u.4	UNSAT	0.04
ncf_16_32_4_d.9	SAT	0.04
5qbf-5cnf-160var-5120cl.9	UNSAT	0.04
5qbf-5cnf-80var-2560cl.8	UNSAT	0.04
2qbf-5cnf-160var-5120cl.5	UNSAT	0.04
4qbf-5cnf-160var-5120cl.6	UNSAT	0.04
x10.3	FAIL	0.04
x10.9	FAIL	0.04
6qbf-5cnf-160var-5120cl.8	UNSAT	0.05
ncf_4_32_2_edau.1	UNSAT	0.05
ncf_16_32_4_d.7	UNSAT	0.05
ncf_16_32_4_d.4	UNSAT	0.05
ncf_4_16_2_edau.4	SAT	0.05
5qbf-5cnf-20var-320cl.2	UNSAT	0.05
ncf_4_8_2_euad.6	SAT	0.05
ncf_4_16_2_euad.5	UNSAT	0.05
ncf_4_16_2_euad.7	SAT	0.05
ncf_8_16_4_euad.4	SAT	0.05
3qbf-5cnf-20var-320cl.8	UNSAT	0.05
ncf_4_16_2_u.5	UNSAT	0.05
6qbf-5cnf-160var-5120cl.6	UNSAT	0.05
2qbf-5cnf-160var-2560cl.4	UNSAT	0.05
6qbf-5cnf-20var-160cl.5	SAT	0.05
4qbf-5cnf-160var-5120cl.4	UNSAT	0.05
5qbf-5cnf-160var-5120cl.0	UNSAT	0.05
4qbf-5cnf-40var-640cl.7	UNSAT	0.05
ncf_16_32_2_euad.4	UNSAT	0.05
ncf_4_8_8_u.8	SAT	0.05
ncf_4_16_2_u.4	SAT	0.05
6qbf-5cnf-160var-5120cl.1	UNSAT	0.05
6qbf-5cnf-80var-1280cl.3	UNSAT	0.05
6qbf-5cnf-160var-5120cl.4	UNSAT	0.05
4qbf-5cnf-160var-5120cl.1	UNSAT	0.05
ncf_16_32_4_edau.4	UNSAT	0.05
ncf_16_32_4_edau.5	UNSAT	0.05
2qbf-5cnf-160var-5120cl.4	UNSAT	0.05
6qbf-5cnf-160var-5120cl.0	UNSAT	0.05
ncf_16_32_2_d.4	UNSAT	0.05
ncf_16_32_4_euad.5	UNSAT	0.05
ncf_16_32_2_edau.3	SAT	0.05
ncf_16_32_4_u.4	UNSAT	0.05
ncf_16_32_4_d.3	SAT	0.05
2qbf-5cnf-160var-5120cl.8	UNSAT	0.05
ncf_16_32_2_d.2	UNSAT	0.05
ncf_4_8_8_edau.4	SAT	0.05
eijk.S820.S-d2	SAT	0.05
irst.dme4.B-d2	SAT	0.05
texas.ifetch1^3.E-f2	UNSAT	0.05
6qbf-5cnf-80var-2560cl.8	UNSAT	0.06
6qbf-5cnf-40var-640cl.9	UNSAT	0.06
ncf_16_32_2_edau.4	UNSAT	0.06
ncf_16_32_4_d.1	SAT	0.06
5qbf-5cnf-160var-5120cl.5	UNSAT	0.06
6qbf-5cnf-20var-320cl.7	UNSAT	0.06
ncf_4_16_4_euad.9	SAT	0.06
4qbf-5cnf-160var-5120cl.2	UNSAT	0.06
ncf_4_8_4_u.1	SAT	0.06
ncf_4_8_8_euad.4	SAT	0.06
4qbf-5cnf-20var-160cl.3	UNSAT	0.06
6qbf-5cnf-80var-2560cl.3	UNSAT	0.06
ncf_16_32_4_d.5	UNSAT	0.06
ncf_4_32_2_u.1	UNSAT	0.06
ncf_4_16_4_edau.8	SAT	0.06
5qbf-5cnf-160var-5120cl.2	UNSAT	0.06
3qbf-5cnf-20var-320cl.3	UNSAT	0.06
ncf_16_32_2_edau.10	UNSAT	0.06
ncf_16_32_2_u.3	SAT	0.06
3qbf-5cnf-40var-640cl.0	UNSAT	0.06
ncf_16_32_4_d.10	UNSAT	0.06
x15.4	UNSAT	0.06
vis.elevator^1.E-f2	UNSAT	0.06
ncf_16_32_4_u.7	UNSAT	0.07
4qbf-5cnf-80var-320cl.0	SAT	0.07
ncf_16_32_4_u.3	SAT	0.07
5qbf-5cnf-40var-640cl.5	UNSAT	0.07
5qbf-5cnf-160var-5120cl.6	UNSAT	0.07
6qbf-5cnf-20var-320cl.0	UNSAT	0.07
ncf_16_32_2_u.1	UNSAT	0.07
ncf_16_32_4_edau.7	UNSAT	0.07
5qbf-5cnf-80var-2560cl.5	UNSAT	0.07
ncf_16_32_4_euad.4	UNSAT	0.07
4qbf-5cnf-80var-1280cl.2	UNSAT	0.07
6qbf-5cnf-80var-1280cl.9	UNSAT	0.07
ncf_16_32_4_euad.1	SAT	0.07
eijk.S832.S-d2	SAT	0.07
ncf_4_16_2_edau.5	UNSAT	0.08
4qbf-5cnf-80var-1280cl.7	UNSAT	0.08
6qbf-5cnf-40var-640cl.4	UNSAT	0.08
4qbf-5cnf-80var-1280cl.3	UNSAT	0.08
5qbf-5cnf-160var-5120cl.7	UNSAT	0.08
ncf_16_32_4_edau.3	SAT	0.08
ncf_4_16_2_d.1	UNSAT	0.08
5qbf-5cnf-20var-320cl.7	UNSAT	0.08
3qbf-5cnf-20var-160cl.1	SAT	0.08
ncf_8_16_4_edau.4	SAT	0.08
ncf_16_32_4_euad.7	UNSAT	0.08
ncf_8_16_8_d.7	UNSAT	0.08
TOILET16.1.iv.32	SAT	0.08
x15.0	FAIL	0.08
x15.8	SAT	0.08
nusmv.reactor^5.C-f2	UNSAT	0.08
texas.ifetch1^4.E-f2	UNSAT	0.08
ncf_16_32_4_u.5	UNSAT	0.09
6qbf-5cnf-40var-640cl.0	UNSAT	0.09
ncf_4_16_2_edau.7	FAIL	0.09
ncf_16_32_2_euad.1	UNSAT	0.09
ncf_16_32_2_euad.3	SAT	0.09
ncf_4_16_2_d.4	SAT	0.09
6qbf-5cnf-40var-640cl.8	UNSAT	0.09
ncf_4_8_4_euad.4	UNSAT	0.09
6qbf-5cnf-20var-320cl.4	UNSAT	0.09
x15.1	SAT	0.09
x15.3	SAT	0.09
ncf_16_32_4_euad.10	UNSAT	0.1
6qbf-5cnf-160var-5120cl.7	UNSAT	0.1
ncf_16_32_4_u.10	UNSAT	0.1
ncf_16_32_8_d.8	UNSAT	0.1
ncf_8_16_4_euad.9	UNSAT	0.1
3qbf-5cnf-80var-1280cl.3	UNSAT	0.1
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.1
5qbf-5cnf-80var-640cl.3	SAT	0.1
ncf_16_32_2_d.3	SAT	0.1
ncf_8_16_8_edau.1	SAT	0.1
ncf_4_8_8_euad.6	UNSAT	0.1
texas.ifetch1^2.E-f2	UNSAT	0.1
ncf_4_8_8_u.6	UNSAT	0.11
3qbf-5cnf-80var-1280cl.2	UNSAT	0.11
6qbf-5cnf-40var-640cl.3	UNSAT	0.11
ncf_4_8_8_d.4	SAT	0.11
sortnetsort7.v.stepl.003	UNSAT	0.11
ncf_16_32_2_d.1	UNSAT	0.12
4qbf-5cnf-80var-1280cl.0	UNSAT	0.12
ncf_16_32_4_u.1	SAT	0.12
4qbf-5cnf-20var-160cl.0	UNSAT	0.12
5qbf-5cnf-40var-640cl.4	UNSAT	0.12
4qbf-5cnf-80var-1280cl.9	UNSAT	0.12
sortnetsort6.v.stepl.003	UNSAT	0.12
5qbf-5cnf-40var-640cl.7	UNSAT	0.13
ncf_16_32_8_edau.8	UNSAT	0.13
ncf_8_16_8_euad.1	SAT	0.13
ncf_16_32_8_u.8	UNSAT	0.13
ncf_8_16_8_d.1	SAT	0.13
x15.9	FAIL	0.13
sortnetsort5.v.stepl.004	UNSAT	0.13
ncf_16_32_4_edau.1	SAT	0.14
5qbf-5cnf-40var-640cl.3	UNSAT	0.14
5qbf-5cnf-40var-320cl.9	SAT	0.14
6qbf-5cnf-80var-1280cl.2	UNSAT	0.14
3qbf-5cnf-40var-640cl.3	UNSAT	0.15
ncf_8_16_8_euad.7	UNSAT	0.15
5qbf-5cnf-40var-640cl.6	UNSAT	0.15
ncf_4_8_8_edau.8	SAT	0.15
x15.7	FAIL	0.16
5qbf-5cnf-20var-320cl.9	UNSAT	0.17
ncf_16_32_2_euad.10	UNSAT	0.17
3qbf-5cnf-40var-320cl.6	SAT	0.17
2qbf-5cnf-160var-2560cl.0	UNSAT	0.17
ncf_16_32_4_u.8	SAT	0.18
5qbf-5cnf-160var-5120cl.4	UNSAT	0.18
4qbf-5cnf-20var-160cl.8	UNSAT	0.18
ncf_4_16_8_euad.7	SAT	0.18
sortnetsort5.v.stepl.007	SAT	0.18
ncf_16_32_4_euad.2	SAT	0.19
ncf_16_32_8_euad.8	UNSAT	0.19
ncf_16_32_4_euad.8	SAT	0.19
x15.5	FAIL	0.19
eijk.S1423.S-d2	SAT	0.19
sortnetsort8.v.stepl.003	UNSAT	0.19
6qbf-5cnf-40var-640cl.5	UNSAT	0.2
ncf_8_16_4_d.9	UNSAT	0.2
6qbf-5cnf-20var-160cl.6	SAT	0.2
x15.2	FAIL	0.2
irst.dme5.B-d2	SAT	0.2
6qbf-5cnf-40var-640cl.1	UNSAT	0.21
ncf_8_16_8_edau.8	UNSAT	0.21
ncf_4_8_4_euad.1	SAT	0.21
comp.blif_0.10_1.00_0_0_out_exact	FAIL	0.21
ncf_16_32_4_u.2	SAT	0.22
6qbf-5cnf-80var-1280cl.5	UNSAT	0.22
ncf_4_16_8_u.7	SAT	0.23
ncf_4_16_2_d.5	UNSAT	0.23
ncf_16_32_4_d.2	SAT	0.23
x20.2	SAT	0.23
3qbf-5cnf-40var-320cl.0	SAT	0.24
6qbf-5cnf-20var-320cl.2	UNSAT	0.25
3qbf-5cnf-20var-160cl.3	SAT	0.25
6qbf-5cnf-160var-5120cl.3	UNSAT	0.25
ncf_4_16_2_d.7	FAIL	0.26
6qbf-5cnf-40var-640cl.2	UNSAT	0.27
szymanski-8-s	UNSAT	0.27
5qbf-5cnf-80var-640cl.6	SAT	0.28
ncf_16_32_4_d.8	SAT	0.29
ncf_4_16_4_edau.9	SAT	0.29
ncf_4_16_4_u.9	SAT	0.3
ncf_16_32_4_euad.6	UNSAT	0.3
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	0.3
ncf_16_32_2_edau.1	UNSAT	0.3
5qbf-5cnf-40var-640cl.2	UNSAT	0.31
6qbf-5cnf-20var-160cl.0	SAT	0.31
ncf_4_8_4_euad.10	SAT	0.31
4qbf-5cnf-20var-160cl.4	UNSAT	0.32
ncf_8_16_8_edau.7	UNSAT	0.32
6qbf-5cnf-40var-640cl.6	UNSAT	0.33
ncf_16_32_4_d.6	UNSAT	0.33
2qbf-5cnf-160var-320cl.5	SAT	0.34
ncf_4_8_8_u.1	SAT	0.34
5qbf-5cnf-20var-320cl.3	UNSAT	0.34
4qbf-5cnf-20var-160cl.2	SAT	0.34
term1.blif_0.10_1.00_0_0_out_exact	FAIL	0.35
ev-pr-4x4-11-3-0-0-1-lg	SAT	0.36
5qbf-5cnf-80var-1280cl.1	UNSAT	0.36
sortnetsort5.v.stepl.005	UNSAT	0.38
3qbf-5cnf-80var-1280cl.6	UNSAT	0.39
x20.4	UNSAT	0.39
4qbf-5cnf-160var-2560cl.1	UNSAT	0.4
5qbf-5cnf-40var-640cl.9	UNSAT	0.4
ev-pr-4x4-13-3-0-0-1-lg	SAT	0.43
szymanski-18-s	FAIL	0.44
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	UNSAT	0.44
irst.dme6.B-d2	SAT	0.45
3qbf-5cnf-80var-1280cl.0	UNSAT	0.46
4qbf-5cnf-20var-160cl.1	UNSAT	0.46
ncf_4_8_8_euad.1	SAT	0.46
4qbf-5cnf-20var-160cl.7	UNSAT	0.47
ncf_16_32_8_u.4	SAT	0.48
3qbf-5cnf-40var-640cl.2	UNSAT	0.48
k_ph_n-8	SAT	0.5
ev-pr-4x4-15-3-0-0-1-lg	SAT	0.5
sortnetsort6.v.stepl.004	UNSAT	0.5
T-adeu-5	UNSAT	0.51
ncf_16_32_4_edau.8	SAT	0.52
eijk.S349.S-d2	SAT	0.53
5qbf-5cnf-80var-1280cl.9	UNSAT	0.54
ncf_16_32_8_d.7	SAT	0.55
connect_8x7_4_D	FAIL	0.55
ncf_4_8_8_u.3	SAT	0.55
ncf_16_32_2_d.10	UNSAT	0.56
5qbf-5cnf-40var-320cl.5	SAT	0.56
S-adeu-5	UNSAT	0.57
ncf_16_32_8_euad.4	SAT	0.58
ev-pr-4x4-17-3-0-0-1-lg	SAT	0.58
6qbf-5cnf-160var-2560cl.8	UNSAT	0.59
connect_8x7_3_D	FAIL	0.6
ncf_4_8_4_u.10	SAT	0.6
eijk.bs1512.S-d2	SAT	0.61
szymanski-20-s	FAIL	0.62
ncf_4_16_2_u.10	UNSAT	0.62
6qbf-5cnf-160var-5120cl.2	UNSAT	0.63
connect_8x7_3_W	FAIL	0.64
C880.blif_0.10_1.00_0_1_out_exact	SAT	0.64
2qbf-5cnf-40var-320cl.9	UNSAT	0.64
connect_8x7_4_W	FAIL	0.64
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	0.66
eijk.S344.S-d2	SAT	0.66
4qbf-5cnf-80var-1280cl.1	UNSAT	0.67
2qbf-5cnf-160var-2560cl.9	UNSAT	0.69
ncf_16_32_4_u.6	UNSAT	0.69
6qbf-5cnf-160var-2560cl.7	UNSAT	0.69
sortnetsort7.v.stepl.004	UNSAT	0.69
szymanski-10-s	UNSAT	0.7
x25.9	UNSAT	0.73
3qbf-5cnf-80var-1280cl.4	UNSAT	0.75
ncf_4_16_4_u.1	SAT	0.75
ncf_4_8_4_u.4	UNSAT	0.76
counter_re_4	SAT	0.78
3qbf-5cnf-40var-640cl.1	UNSAT	0.79
texas.PI_main^14.E-f2	UNSAT	0.8
4qbf-5cnf-20var-160cl.6	UNSAT	0.81
sortnetsort5.v.stepl.006	SAT	0.81
szymanski-22-s	FAIL	0.82
ncf_4_16_4_u.7	SAT	0.83
4qbf-5cnf-160var-2560cl.2	UNSAT	0.83
x20.8	SAT	0.83
connect_9x8_5_W	FAIL	0.85
6qbf-5cnf-80var-1280cl.1	UNSAT	0.86
connect_9x8_5_D	FAIL	0.88
3qbf-5cnf-80var-1280cl.8	UNSAT	0.88
connect_9x8_4_W	FAIL	0.89
4qbf-5cnf-160var-2560cl.7	UNSAT	0.89
connect_9x8_3_D	FAIL	0.9
connect_9x8_4_D	FAIL	0.91
x25.5	UNSAT	0.92
connect_9x8_3_W	FAIL	0.93
ncf_4_16_8_d.7	SAT	0.93
ncf_16_32_4_edau.2	SAT	0.95
4qbf-5cnf-20var-160cl.5	UNSAT	0.96
T-adeu-8	UNSAT	0.96
C499.blif_0.10_1.00_0_0_out_exact	FAIL	0.97
4qbf-5cnf-160var-2560cl.6	UNSAT	1.05
ncf_16_32_8_euad.5	UNSAT	1.07
ncf_16_32_8_euad.7	SAT	1.08
ncf_4_16_4_euad.1	SAT	1.08
ncf_16_32_8_d.4	SAT	1.08
x20.7	SAT	1.09
3qbf-5cnf-40var-320cl.5	UNSAT	1.12
6qbf-5cnf-160var-2560cl.5	UNSAT	1.12
x20.9	SAT	1.12
szymanski-24-s	FAIL	1.13
ncf_4_8_8_euad.3	SAT	1.13
4qbf-5cnf-160var-2560cl.3	UNSAT	1.15
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	1.15
6qbf-5cnf-80var-1280cl.8	UNSAT	1.15
x20.1	UNSAT	1.15
5qbf-5cnf-160var-5120cl.1	UNSAT	1.16
x20.0	SAT	1.2
5qbf-5cnf-80var-1280cl.7	UNSAT	1.3
nusmv.dme1-16.B-d2	SAT	1.34
ncf_16_32_8_u.7	SAT	1.43
szymanski-12-s	UNSAT	1.43
ncf_16_32_4_edau.6	UNSAT	1.48
ncf_4_16_2_euad.10	UNSAT	1.51
T-adeu-4	UNSAT	1.54
ncf_4_16_4_d.9	SAT	1.56
ncf_8_16_8_euad.9	UNSAT	1.59
x20.6	SAT	1.59
S-adeu-4	UNSAT	1.67
4qbf-5cnf-20var-160cl.9	SAT	1.69
3qbf-5cnf-40var-320cl.9	SAT	1.75
x20.5	SAT	1.76
ncf_4_8_8_euad.2	UNSAT	1.77
sortnetsort8.v.stepl.004	UNSAT	1.77
x20.3	FAIL	1.78
sortnetsort9.v.stepl.004	UNSAT	1.78
sortnetsort7.v.stepl.005	UNSAT	1.8
sortnetsort6.v.stepl.005	UNSAT	1.89
ncf_16_32_8_edau.5	UNSAT	1.95
4qbf-5cnf-160var-2560cl.8	UNSAT	2
x40.1	UNSAT	2.01
5qbf-5cnf-80var-1280cl.3	UNSAT	2.04
3qbf-5cnf-40var-320cl.4	SAT	2.09
ncf_4_16_2_u.1	UNSAT	2.1
nusmv.dme2-16.B-d2	SAT	2.24
3qbf-5cnf-40var-320cl.3	SAT	2.38
3qbf-5cnf-160var-2560cl.7	UNSAT	2.52
3qbf-5cnf-40var-320cl.1	SAT	2.55
TOILET7.1.iv.13	FAIL	2.75
szymanski-14-s	UNSAT	2.8
4qbf-5cnf-40var-320cl.9	UNSAT	2.99
6qbf-5cnf-80var-1280cl.0	UNSAT	3.01
ncf_16_32_8_u.5	UNSAT	3.08
toilet_a_10_01.16	UNSAT	3.1
5qbf-5cnf-80var-1280cl.5	UNSAT	3.13
4qbf-5cnf-160var-2560cl.9	UNSAT	3.22
x30.0	UNSAT	3.24
ncf_4_16_2_edau.10	UNSAT	3.25
5qbf-5cnf-80var-640cl.5	SAT	3.32
ncf_16_32_8_edau.4	SAT	3.33
x30.5	UNSAT	3.43
ncf_16_32_8_euad.2	UNSAT	3.44
ncf_4_16_8_u.4	SAT	3.53
ncf_4_16_4_euad.7	SAT	3.53
4qbf-5cnf-80var-1280cl.6	UNSAT	3.57
ncf_16_32_8_euad.10	SAT	3.73
sortnetsort10.v.stepl.004	UNSAT	3.91
5qbf-5cnf-80var-1280cl.8	UNSAT	3.95
sortnetsort8.v.stepl.005	UNSAT	4.14
3qbf-5cnf-40var-320cl.2	SAT	4.27
ncf_4_16_2_u.8	SAT	4.39
T-edau-0	UNSAT	4.48
szymanski-16-s	UNSAT	4.67
ncf_16_32_8_d.5	UNSAT	4.71
sortnetsort5.AE.stepl.003	SAT	5.09
T-adeu-7	UNSAT	5.16
4qbf-5cnf-80var-320cl.6	SAT	5.23
counter_8	SAT	5.24
ncf_4_32_2_edau.2	SAT	5.31
ncf_4_16_8_u.10	SAT	5.45
2qbf-5cnf-80var-640cl.2	UNSAT	5.45
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	5.56
ncf_4_16_4_u.4	UNSAT	5.56
k_grz_p-4	UNSAT	5.6
5qbf-5cnf-40var-320cl.3	SAT	5.85
x25.7	UNSAT	5.97
5qbf-5cnf-80var-1280cl.4	UNSAT	6.05
S-adeu-8	UNSAT	6.22
ncf_4_32_2_u.2	SAT	6.42
ncf_4_16_2_edau.1	UNSAT	6.67
6qbf-5cnf-160var-2560cl.1	UNSAT	6.72
ncf_16_32_8_edau.7	SAT	6.76
x45.9	UNSAT	7.19
3qbf-5cnf-80var-1280cl.1	UNSAT	7.27
ncf_4_16_2_edau.8	SAT	7.69
5qbf-5cnf-80var-1280cl.6	UNSAT	7.7
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	7.87
ncf_8_16_8_euad.8	UNSAT	8.07
x25.1	SAT	8.71
ncf_4_16_4_edau.7	SAT	8.73
x25.6	UNSAT	9.26
5qbf-5cnf-40var-320cl.6	SAT	9.7
ncf_16_32_8_euad.6	SAT	9.95
T-edau-3	UNSAT	10.01
x25.3	UNSAT	10.43
sortnetsort9.v.stepl.005	UNSAT	10.46
x30.2	UNSAT	10.53
3qbf-5cnf-160var-2560cl.9	UNSAT	10.61
5qbf-5cnf-80var-1280cl.2	UNSAT	10.71
4qbf-5cnf-160var-2560cl.0	UNSAT	10.89
x25.8	FAIL	11.47
eijk.S1196.S-d2	SAT	11.66
sortnetsort10.v.stepl.005	UNSAT	11.69
6qbf-5cnf-80var-1280cl.7	UNSAT	11.74
term1.blif_0.10_0.20_0_0_out_exact	FAIL	11.85
5qbf-5cnf-160var-2560cl.5	UNSAT	11.86
C880.blif_0.10_1.00_0_1_inp_exact	SAT	11.92
6qbf-5cnf-160var-2560cl.9	UNSAT	12.22
x25.4	UNSAT	12.39
ncf_4_16_4_edau.1	SAT	12.87
3qbf-5cnf-40var-320cl.7	SAT	12.98
ncf_16_32_8_u.6	SAT	13.16
ncf_4_8_8_u.10	SAT	13.36
ncf_4_16_4_u.3	SAT	13.39
k_ph_n-12	SAT	13.61
x25.0	SAT	14.12
sortnetsort6.v.stepl.006	UNSAT	14.81
ncf_4_16_4_euad.4	UNSAT	14.87
6qbf-5cnf-160var-2560cl.0	UNSAT	14.92
ncf_16_32_8_d.6	SAT	15.03
nusmv.syncarb5^2.B-f2	SAT	15.13
ncf_16_32_8_edau.10	SAT	15.26
5qbf-5cnf-160var-2560cl.0	UNSAT	15.42
x25.2	SAT	15.66
T-edau-6	UNSAT	15.99
S-adeu-7	UNSAT	16.46
x30.7	UNSAT	16.84
2qbf-5cnf-40var-320cl.0	UNSAT	16.97
ncf_4_8_8_d.3	SAT	17.24
ncf_16_32_8_u.3	SAT	17.39
ncf_16_32_8_u.10	SAT	17.66
ncf_16_32_8_d.2	UNSAT	18.3
ncf_4_8_8_edau.3	SAT	19.2
ncf_16_32_8_d.10	SAT	19.26
T-edau-1	UNSAT	19.41
ncf_4_16_4_d.1	SAT	19.44
ncf_4_16_2_euad.8	SAT	19.45
ncf_8_16_8_edau.2	SAT	19.74
x35.0	UNSAT	20.38
x45.6	UNSAT	20.49
3qbf-5cnf-80var-1280cl.7	UNSAT	20.68
lognBWLARGEA1	FAIL	21.46
ncf_4_16_4_u.10	UNSAT	22.47
ncf_16_32_8_edau.3	SAT	23.65
2qbf-5cnf-40var-320cl.8	UNSAT	23.73
sortnetsort7.v.stepl.006	UNSAT	24.65
1qbf-5cnf-160var-2560cl.7	FAIL	25.46
5qbf-5cnf-80var-1280cl.0	UNSAT	26.27
4qbf-5cnf-160var-2560cl.5	UNSAT	26.8
toilet_a_10_05.4	SAT	26.83
ncf_4_16_8_d.10	SAT	27.35
1qbf-5cnf-160var-2560cl.0	FAIL	28.65
T-edau-8	UNSAT	28.8
x30.3	SAT	29.19
ncf_4_16_4_euad.3	SAT	29.74
ncf_4_16_4_euad.10	UNSAT	30.06
k_grz_n-8	SAT	30.26
ncf_16_32_8_euad.3	SAT	31.33
1qbf-5cnf-160var-2560cl.3	FAIL	31.38
5qbf-5cnf-40var-320cl.8	SAT	31.47
ncf_4_8_8_edau.1	SAT	31.57
s27_d3_u	UNSAT	32.65
ncf_4_16_2_u.3	UNSAT	33.03
robots_1_5_5_66.4	FAIL	33.2
x30.1	FAIL	33.32
robots_1_5_5_26.4	FAIL	33.73
robots_1_5_2_3.4	FAIL	34.04
4qbf-5cnf-80var-320cl.5	SAT	34.27
1qbf-5cnf-160var-2560cl.1	FAIL	34.45
3qbf-5cnf-160var-2560cl.1	UNSAT	34.58
3qbf-5cnf-160var-2560cl.5	FAIL	35.52
1qbf-5cnf-160var-2560cl.5	FAIL	35.62
ncf_4_16_4_edau.4	UNSAT	38.45
1qbf-5cnf-160var-2560cl.9	FAIL	38.54
BLOCKS3ii.5.3	FAIL	39.27
T-edau-2	UNSAT	39.34
1qbf-5cnf-80var-2560cl.7	FAIL	40.12
6qbf-5cnf-40var-320cl.0	UNSAT	41.35
BLOCKS4ii.6.3	FAIL	41.9
1qbf-5cnf-160var-2560cl.8	FAIL	42.58
1qbf-5cnf-80var-2560cl.2	FAIL	42.85
x30.8	UNSAT	43.15
robots_1_5_2_85.4	FAIL	43.43
ncf_4_16_4_d.7	SAT	43.79
lut4_3_fAND	FAIL	44.06
ncf_8_16_8_edau.9	UNSAT	44.61
1qbf-5cnf-160var-2560cl.4	FAIL	44.73
4qbf-5cnf-160var-2560cl.4	UNSAT	45.4
3qbf-5cnf-80var-1280cl.5	UNSAT	45.9
T-edau-4	UNSAT	45.97
1qbf-5cnf-160var-2560cl.2	FAIL	46.26
1qbf-5cnf-80var-2560cl.6	FAIL	46.61
ncf_4_16_4_d.4	FAIL	47.05
1qbf-5cnf-80var-2560cl.8	FAIL	48.51
1qbf-5cnf-160var-2560cl.6	FAIL	48.68
robots_1_5_2_100.4	FAIL	49.02
BLOCKS3i.5.3	FAIL	49.09
vis.eisenberg.E-f2	FAIL	49.1
ncf_4_8_8_edau.10	SAT	49.11
ncf_4_8_8_u.2	UNSAT	49.14
robots_1_5_2_21.4	FAIL	49.9
1qbf-5cnf-80var-2560cl.3	FAIL	50.04
eijk.S1238.S-d2	SAT	50.43
1qbf-5cnf-80var-2560cl.1	FAIL	50.91
robots_1_5_3_44.4	FAIL	51.35
Adder2-4-c	FAIL	51.35
robots_1_5_4_100.4	FAIL	51.65
robots_1_5_4_50.4	FAIL	51.71
ncf_4_8_8_d.6	FAIL	52.49
robots_1_5_4_31.4	FAIL	54.24
robots_1_5_3_100.4	FAIL	54.37
robots_1_5_2_45.4	FAIL	54.66
ev-pr-8x8-7-7-0-1-2-lg	FAIL	55.06
robots_1_5_4_30.4	FAIL	55.43
robots_1_5_5_87.4	FAIL	55.6
x30.6	SAT	55.75
5qbf-5cnf-160var-2560cl.2	FAIL	55.99
robots_1_5_3_16.4	FAIL	56.06
ncf_4_8_8_d.1	SAT	56.36
1qbf-5cnf-80var-2560cl.5	FAIL	56.42
1qbf-5cnf-80var-2560cl.9	FAIL	56.68
ncf_4_16_8_u.8	UNSAT	57.44
ncf_4_8_8_d.7	SAT	57.56
ev-pr-8x8-9-7-0-1-2-lg	FAIL	57.87
robots_1_5_2_2.4	FAIL	58.49
1qbf-5cnf-80var-2560cl.4	FAIL	58.84
6qbf-5cnf-40var-320cl.6	SAT	59.47
5qbf-5cnf-160var-2560cl.4	FAIL	60.2
1qbf-5cnf-80var-2560cl.0	FAIL	60.59
3qbf-5cnf-160var-2560cl.0	UNSAT	60.99
robots_1_5_2_99.4	FAIL	61.86
ncf_4_8_8_euad.7	SAT	62.63
ncf_8_16_8_d.8	UNSAT	63.05
robots_1_5_2_80.4	FAIL	63.06
lut4_2_fXOR	FAIL	63.07
lut4_2_f2	FAIL	63.68
lut4_2_f1	FAIL	63.7
x30.4	SAT	66.24
6qbf-5cnf-160var-2560cl.2	FAIL	66.61
2qbf-5cnf-40var-640cl.4	UNSAT	68.3
BLOCKS3i.5.4	FAIL	68.77
robots_1_5_4_46.4	FAIL	69.28
ncf_4_16_2_euad.3	UNSAT	69.44
4qbf-5cnf-40var-320cl.2	UNSAT	69.92
robots_1_5_4_98.4	FAIL	70.39
robots_1_5_4_87.4	FAIL	70.88
robots_1_5_2_82.4	FAIL	70.97
BLOCKS4i.6.4	FAIL	70.98
ncf_4_16_8_euad.10	SAT	71
robots_1_5_4_91.4	FAIL	71.72
robots_1_5_3_20.4	FAIL	71.8
robots_1_5_5_45.4	FAIL	72.16
robots_1_5_3_24.4	FAIL	72.48
ev-pr-6x6-9-5-0-1-2-lg	FAIL	72.59
robots_1_5_4_2.4	FAIL	72.65
lut4_AND_fXOR	FAIL	72.78
robots_1_5_3_66.4	FAIL	73.39
lut4_AND_f1	FAIL	73.45
ncf_4_8_8_edau.6	FAIL	73.93
robots_1_5_3_52.4	FAIL	74.5
3qbf-5cnf-160var-2560cl.6	FAIL	74.67
robots_1_5_3_2.4	FAIL	74.72
BLOCKS3ii.5.2	FAIL	74.98
robots_1_5_3_57.4	FAIL	75.13
ncf_4_16_4_edau.10	UNSAT	75.19
robots_1_5_3_78.4	FAIL	75.84
robots_1_5_5_34.4	FAIL	76.18
robots_1_5_2_39.4	FAIL	77.07
BLOCKS4iii.7	FAIL	78.44
robots_1_5_5_93.4	FAIL	79.18
robots_1_5_5_100.4	FAIL	79.79
robots_1_5_5_8.4	FAIL	79.86
Adder2-6-c	FAIL	79.89
robots_1_5_5_12.4	FAIL	80.17
S-edau-3	UNSAT	80.88
T-edau-5	UNSAT	83.47
ncf_8_16_4_u.9	UNSAT	85.17
5qbf-5cnf-160var-2560cl.8	FAIL	86.03
5qbf-5cnf-160var-2560cl.9	FAIL	86.57
BLOCKS4iii.6	FAIL	87.96
ncf_4_16_4_u.6	UNSAT	89.75
C432.blif_0.10_1.00_0_0_out_exact	FAIL	90.3
ncf_4_8_8_euad.10	SAT	92.28
3qbf-5cnf-160var-2560cl.8	FAIL	93.64
ncf_4_16_2_d.10	FAIL	93.86
x30.9	UNSAT	97.04
2qbf-5cnf-40var-320cl.5	UNSAT	99.14
BLOCKS4ii.7.2	FAIL	102.56
ncf_4_32_2_u.4	UNSAT	103.21
ncf_4_16_4_edau.3	SAT	105.44
4qbf-5cnf-80var-320cl.4	SAT	105.51
5qbf-5cnf-160var-2560cl.1	FAIL	106.01
3qbf-5cnf-80var-1280cl.9	UNSAT	106.88
5qbf-5cnf-160var-2560cl.3	FAIL	108.13
3qbf-5cnf-160var-2560cl.3	FAIL	110.36
k_ph_n-16	SAT	113.43
BLOCKS3i.4.4	FAIL	114.67
sortnetsort8.v.stepl.006	UNSAT	115.47
ncf_4_16_2_d.8	SAT	117.28
ncf_8_16_4_euad.3	SAT	118.36
ncf_4_16_8_u.2	SAT	119.68
ncf_16_32_8_d.3	SAT	120.26
ncf_4_16_8_u.9	SAT	122.04
5qbf-5cnf-160var-2560cl.7	FAIL	123.07
6qbf-5cnf-160var-2560cl.6	UNSAT	129.93
x35.4	UNSAT	130.84
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	131.37
ncf_4_16_8_d.5	UNSAT	132.79
T-edau-7	UNSAT	134.06
ncf_8_16_8_d.9	UNSAT	135.82
k_grz_p-8	UNSAT	136.89
5qbf-5cnf-160var-2560cl.6	FAIL	137.65
Adder2-8-c	FAIL	138.67
3qbf-5cnf-160var-2560cl.4	FAIL	138.86
x35.3	UNSAT	139.58
6qbf-5cnf-160var-2560cl.4	FAIL	141.2
sortnetsort6.v.stepl.007	UNSAT	150.6
3qbf-5cnf-160var-2560cl.2	FAIL	151.89
x40.5	UNSAT	152.01
ncf_4_16_8_euad.8	UNSAT	157.14
ncf_8_16_4_edau.7	SAT	157.34
sortnetsort7.v.stepl.007	UNSAT	166.2
6qbf-5cnf-40var-320cl.8	SAT	166.56
ncf_4_8_8_d.2	UNSAT	170.73
4qbf-5cnf-40var-320cl.0	UNSAT	171.91
ncf_4_16_4_euad.6	UNSAT	173.1
2qbf-5cnf-40var-320cl.7	UNSAT	175.16
S-edau-9	UNSAT	180.63
ncf_8_16_4_u.3	SAT	183.44
x35.5	UNSAT	190.67
ncf_4_16_2_edau.3	UNSAT	194.54
6qbf-5cnf-40var-320cl.1	SAT	209.46
x45.8	UNSAT	216.74
sortnetsort10.v.stepl.011	FAIL	219.32
S-edau-8	UNSAT	220.23
sortnetsort9.v.stepl.012	FAIL	223.06
x35.7	UNSAT	223.32
S-edau-5	UNSAT	232.1
4qbf-5cnf-80var-320cl.8	SAT	242.35
k_grz_n-12	SAT	254.55
sortnetsort10.v.stepl.010	FAIL	264.4
k_d4_n-4	SAT	283.2
5qbf-5cnf-80var-640cl.0	SAT	285.92
robots_1_5_5_30.4	FAIL	297.52
x45.2	UNSAT	297.58
ncf_4_16_8_euad.2	SAT	298.73
x45.1	UNSAT	299.43
S-edau-4	UNSAT	303.33
ncf_4_8_8_u.7	SAT	306.19
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	316.95
6qbf-5cnf-80var-1280cl.6	UNSAT	320.25
robots_1_5_4_51.4	FAIL	332.14
ncf_16_32_8_edau.6	SAT	333.47
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	338.04
sortnetsort9.v.stepl.011	FAIL	344.96
sortnetsort9.v.stepl.009	FAIL	346.94
sortnetsort10.v.stepl.012	FAIL	358.34
x35.1	SAT	365.48
2qbf-5cnf-40var-320cl.6	UNSAT	373.5
sortnetsort9.v.stepl.010	FAIL	395.49
comp.blif_0.10_0.20_0_0_out_exact	FAIL	419.93
x35.6	UNSAT	420.65
S-adeu-1	UNSAT	435.7
lognBWLARGEB1	FAIL	439.02
S-adeu-0	UNSAT	441.08
S-adeu-9	UNSAT	460.57
S-adeu-2	UNSAT	464.85
T-adeu-6	UNSAT	465.25
T-adeu-0	UNSAT	466.56
5qbf-5cnf-80var-640cl.8	SAT	471.24
S-adeu-6	UNSAT	475.61
S-adeu-3	UNSAT	490.55
6qbf-5cnf-160var-2560cl.3	UNSAT	491.75
2qbf-5cnf-40var-160cl.1	UNSAT	494.32
k_grz_p-12	UNSAT	503.31
CHAIN20v.21	SAT	516.6
ncf_4_8_8_edau.7	SAT	517.17
x35.8	SAT	519.61
sortnetsort6.AE.stepl.003	SAT	519.86
T-adeu-9	UNSAT	528.77
T-adeu-2	UNSAT	535.04
ncf_4_16_8_u.5	UNSAT	536.84
T-adeu-1	UNSAT	538.88
T-adeu-3	UNSAT	539.96
sortnetsort10.v.stepl.009	FAIL	546.99
6qbf-5cnf-40var-320cl.5	SAT	568
sortnetsort5.AE.stepl.004	FAIL	568.15
sortnetsort10.v.stepl.007	FAIL	597.14
sortnetsort10.v.stepl.008	FAIL	599.93
sortnetsort8.v.stepl.009	FAIL	600.03
sortnetsort10.v.stepl.006	FAIL	600.07
sortnetsort9.v.stepl.007	FAIL	600.08
sortnetsort8.v.stepl.008	FAIL	600.15
sortnetsort9.v.stepl.008	FAIL	600.15
sortnetsort9.v.stepl.006	FAIL	600.3
C432.blif_0.10_0.20_0_0_out_exact	FAIL	600.32
sortnetsort8.v.stepl.007	FAIL	600.35
texas.two_proc^5.E-f2	FAIL	600.4
sortnetsort7.v.stepl.009	FAIL	600.4
x165.2	FAIL	600.53
sortnetsort7.v.stepl.008	FAIL	600.58
BLOCKS3iii.5	FAIL	600.59
k_t4p_p-21	FAIL	600.7
counter_e_8	FAIL	600.71
k_ph_p-8	FAIL	600.72
k_lin_p-21	FAIL	600.75
counter_re_8	FAIL	600.76
counter_r_8	FAIL	600.78
x350.9	FAIL	600.85
2qbf-5cnf-80var-320cl.9	FAIL	600.87
x350.3	FAIL	600.87
x350.0	FAIL	600.89
x400.5	FAIL	600.89
x400.7	FAIL	600.89
qshifter_7	FAIL	600.9
x220.7	FAIL	600.9
x250.5	FAIL	600.9
x400.0	FAIL	600.9
x225.7	FAIL	600.91
qshifter_8	FAIL	600.92
x185.1	FAIL	600.92
x195.4	FAIL	600.92
x220.2	FAIL	600.92
x350.8	FAIL	600.92
connect_6x5_5_R	FAIL	600.93
x135.0	FAIL	600.93
x200.9	FAIL	600.93
x245.2	FAIL	600.93
x245.3	FAIL	600.93
x350.5	FAIL	600.93
x400.3	FAIL	600.93
x400.6	FAIL	600.93
2qbf-5cnf-160var-2560cl.7	FAIL	600.94
ncf_4_32_2_u.9	FAIL	600.94
x155.6	FAIL	600.94
x160.1	FAIL	600.94
x170.4	FAIL	600.94
x180.3	FAIL	600.94
x195.1	FAIL	600.94
x195.3	FAIL	600.94
x215.1	FAIL	600.94
x215.8	FAIL	600.94
x225.5	FAIL	600.94
x240.7	FAIL	600.94
x245.8	FAIL	600.94
x250.1	FAIL	600.94
x250.9	FAIL	600.94
x300.7	FAIL	600.94
x300.8	FAIL	600.94
x300.9	FAIL	600.94
x95.4	FAIL	600.94
sortnetsort6.AE.stepl.004	FAIL	600.94
adder-16-sat	FAIL	600.95
connect_5x4_4_R	FAIL	600.95
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	600.95
k_lin_n-21	FAIL	600.95
qshifter_6	FAIL	600.95
x125.2	FAIL	600.95
x135.7	FAIL	600.95
x160.0	FAIL	600.95
x185.2	FAIL	600.95
x195.0	FAIL	600.95
x195.9	FAIL	600.95
x200.5	FAIL	600.95
x205.7	FAIL	600.95
x230.4	FAIL	600.95
x235.8	FAIL	600.95
x240.6	FAIL	600.95
x240.9	FAIL	600.95
x350.6	FAIL	600.95
x400.4	FAIL	600.95
x400.8	FAIL	600.95
4qbf-5cnf-40var-320cl.8	FAIL	600.96
k_lin_n-20	FAIL	600.96
4qbf-5cnf-40var-320cl.5	FAIL	600.96
k_poly_p-20	FAIL	600.96
ncf_16_32_8_edau.2	FAIL	600.96
x105.5	FAIL	600.96
x115.0	FAIL	600.96
x140.6	FAIL	600.96
x145.0	FAIL	600.96
x150.2	FAIL	600.96
x150.6	FAIL	600.96
x165.0	FAIL	600.96
x165.1	FAIL	600.96
x165.5	FAIL	600.96
x170.3	FAIL	600.96
x170.8	FAIL	600.96
x175.3	FAIL	600.96
x180.0	FAIL	600.96
x190.4	FAIL	600.96
x190.8	FAIL	600.96
x195.8	FAIL	600.96
x205.0	FAIL	600.96
x215.5	FAIL	600.96
x220.3	FAIL	600.96
x220.4	FAIL	600.96
x225.1	FAIL	600.96
x225.9	FAIL	600.96
x230.3	FAIL	600.96
x230.7	FAIL	600.96
x240.0	FAIL	600.96
x240.5	FAIL	600.96
x245.1	FAIL	600.96
x245.5	FAIL	600.96
x245.9	FAIL	600.96
x250.0	FAIL	600.96
x250.3	FAIL	600.96
x250.8	FAIL	600.96
x350.1	FAIL	600.96
x400.1	FAIL	600.96
x400.2	FAIL	600.96
x85.3	FAIL	600.96
sortnetsort6.AE.stepl.005	FAIL	600.96
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.96
ncf_8_16_8_euad.10	FAIL	600.97
ncf_4_16_8_euad.5	FAIL	600.97
ncf_8_16_4_euad.7	FAIL	600.97
connect_5x4_3_R	FAIL	600.97
ncf_4_32_2_u.6	FAIL	600.97
ncf_4_16_8_euad.1	FAIL	600.97
ncf_4_16_8_euad.4	FAIL	600.97
k_poly_p-21	FAIL	600.97
ncf_8_16_4_edau.3	FAIL	600.97
x100.3	FAIL	600.97
x105.9	FAIL	600.97
x115.5	FAIL	600.97
x125.3	FAIL	600.97
x125.5	FAIL	600.97
x140.5	FAIL	600.97
x140.7	FAIL	600.97
x140.9	FAIL	600.97
x145.8	FAIL	600.97
x150.8	FAIL	600.97
x155.1	FAIL	600.97
x155.5	FAIL	600.97
x155.9	FAIL	600.97
x160.2	FAIL	600.97
x160.3	FAIL	600.97
x165.3	FAIL	600.97
x165.8	FAIL	600.97
x165.9	FAIL	600.97
x175.1	FAIL	600.97
x175.2	FAIL	600.97
x175.7	FAIL	600.97
x180.7	FAIL	600.97
x185.8	FAIL	600.97
x185.9	FAIL	600.97
x190.1	FAIL	600.97
x195.7	FAIL	600.97
x200.0	FAIL	600.97
x200.3	FAIL	600.97
x200.6	FAIL	600.97
x200.7	FAIL	600.97
x200.8	FAIL	600.97
x205.1	FAIL	600.97
x205.2	FAIL	600.97
x205.3	FAIL	600.97
x205.9	FAIL	600.97
x210.0	FAIL	600.97
x210.1	FAIL	600.97
x210.4	FAIL	600.97
x210.5	FAIL	600.97
x210.9	FAIL	600.97
x220.5	FAIL	600.97
x220.6	FAIL	600.97
x220.8	FAIL	600.97
x225.2	FAIL	600.97
x225.4	FAIL	600.97
x230.2	FAIL	600.97
x230.6	FAIL	600.97
x235.0	FAIL	600.97
x235.2	FAIL	600.97
x235.5	FAIL	600.97
x235.7	FAIL	600.97
x240.2	FAIL	600.97
x240.3	FAIL	600.97
x240.4	FAIL	600.97
x245.0	FAIL	600.97
x245.6	FAIL	600.97
x250.2	FAIL	600.97
x250.4	FAIL	600.97
x300.2	FAIL	600.97
x40.2	FAIL	600.97
x40.4	FAIL	600.97
x40.8	FAIL	600.97
x60.1	FAIL	600.97
x60.4	FAIL	600.97
x60.5	FAIL	600.97
x70.0	FAIL	600.97
x85.2	FAIL	600.97
x90.2	FAIL	600.97
sortnetsort5.AE.stepl.006	FAIL	600.97
adder-14-sat	FAIL	600.98
ncf_4_16_8_u.6	FAIL	600.98
ncf_16_32_8_u.1	FAIL	600.98
ncf_16_32_8_euad.1	FAIL	600.98
4qbf-5cnf-40var-320cl.6	FAIL	600.98
k_t4p_n-21	FAIL	600.98
ncf_4_16_8_euad.3	FAIL	600.98
k_d4_n-12	FAIL	600.98
6qbf-5cnf-40var-320cl.4	FAIL	600.98
k_t4p_p-8	FAIL	600.98
qshifter_5	FAIL	600.98
2qbf-5cnf-40var-160cl.0	FAIL	600.98
test3_quant_squaring2	FAIL	600.98
2qbf-5cnf-160var-2560cl.1	FAIL	600.98
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	600.98
k_poly_n-12	FAIL	600.98
ncf_4_32_2_u.5	FAIL	600.98
mutex-128-s	FAIL	600.98
k_dum_n-12	FAIL	600.98
ncf_8_16_8_euad.2	FAIL	600.98
x100.2	FAIL	600.98
x100.6	FAIL	600.98
x105.0	FAIL	600.98
x105.1	FAIL	600.98
x110.4	FAIL	600.98
x110.7	FAIL	600.98
x115.6	FAIL	600.98
x120.8	FAIL	600.98
x125.4	FAIL	600.98
x135.2	FAIL	600.98
x135.8	FAIL	600.98
x140.2	FAIL	600.98
x140.8	FAIL	600.98
x145.4	FAIL	600.98
x150.1	FAIL	600.98
x150.4	FAIL	600.98
x150.7	FAIL	600.98
x155.0	FAIL	600.98
x165.6	FAIL	600.98
x170.0	FAIL	600.98
x170.2	FAIL	600.98
x170.5	FAIL	600.98
x170.6	FAIL	600.98
x170.9	FAIL	600.98
x175.8	FAIL	600.98
x180.9	FAIL	600.98
x185.3	FAIL	600.98
x185.4	FAIL	600.98
x190.0	FAIL	600.98
x190.3	FAIL	600.98
x190.5	FAIL	600.98
x190.6	FAIL	600.98
x190.9	FAIL	600.98
x195.6	FAIL	600.98
x200.1	FAIL	600.98
x200.4	FAIL	600.98
x210.6	FAIL	600.98
x210.8	FAIL	600.98
x215.3	FAIL	600.98
x215.4	FAIL	600.98
x215.7	FAIL	600.98
x215.9	FAIL	600.98
x225.0	FAIL	600.98
x225.8	FAIL	600.98
x230.0	FAIL	600.98
x230.8	FAIL	600.98
x230.9	FAIL	600.98
x235.3	FAIL	600.98
x235.9	FAIL	600.98
x245.7	FAIL	600.98
x250.7	FAIL	600.98
x300.0	FAIL	600.98
x300.3	FAIL	600.98
x300.4	FAIL	600.98
x350.2	FAIL	600.98
x350.4	FAIL	600.98
x350.7	FAIL	600.98
x50.1	FAIL	600.98
x55.2	FAIL	600.98
x55.9	FAIL	600.98
x60.8	FAIL	600.98
x65.1	FAIL	600.98
x65.7	FAIL	600.98
x65.9	FAIL	600.98
x70.4	FAIL	600.98
x70.5	FAIL	600.98
x80.1	FAIL	600.98
x80.3	FAIL	600.98
x80.4	FAIL	600.98
x80.8	FAIL	600.98
x85.9	FAIL	600.98
x90.5	FAIL	600.98
x95.0	FAIL	600.98
x95.1	FAIL	600.98
x95.2	FAIL	600.98
x95.5	FAIL	600.98
S-edau-0	FAIL	600.98
eijk.S838.S-f2	FAIL	600.98
texas.ifetch1^5.E-f2	FAIL	600.98
texas.PI_main^16.E-f2	FAIL	600.98
sortnetsort10.AE.stepl.010	FAIL	600.98
sortnetsort5.AE.stepl.007	FAIL	600.98
sortnetsort7.AE.stepl.004	FAIL	600.98
sortnetsort7.AE.stepl.006	FAIL	600.98
sortnetsort8.AE.stepl.007	FAIL	600.98
sortnetsort9.AE.stepl.005	FAIL	600.98
sortnetsort9.AE.stepl.012	FAIL	600.98
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.98
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.98
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	600.98
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	600.98
k_lin_n-12	FAIL	600.99
adder-10-sat	FAIL	600.99
mutex-64-s	FAIL	600.99
2qbf-5cnf-40var-160cl.9	FAIL	600.99
ncf_8_16_8_euad.3	FAIL	600.99
ncf_4_16_4_edau.6	FAIL	600.99
4qbf-5cnf-160var-640cl.9	FAIL	600.99
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	600.99
6qbf-5cnf-80var-640cl.5	FAIL	600.99
k_dum_p-20	FAIL	600.99
s386_d2_s	FAIL	600.99
ncf_4_16_8_d.6	FAIL	600.99
2qbf-5cnf-40var-160cl.3	FAIL	600.99
ncf_8_16_8_d.4	FAIL	600.99
ncf_8_16_4_edau.9	FAIL	600.99
k_path_n-8	FAIL	600.99
ncf_16_32_8_edau.1	FAIL	600.99
ncf_8_16_8_edau.3	FAIL	600.99
4qbf-5cnf-40var-320cl.4	FAIL	600.99
s510_d2_s	FAIL	600.99
4qbf-5cnf-160var-640cl.0	FAIL	600.99
2qbf-5cnf-80var-1280cl.7	FAIL	600.99
k_lin_p-16	FAIL	600.99
CHAIN23v.24	FAIL	600.99
k_lin_p-8	FAIL	600.99
k_branch_p-12	FAIL	600.99
k_t4p_n-20	FAIL	600.99
k_t4p_p-4	FAIL	600.99
ncf_8_16_8_edau.5	FAIL	600.99
ncf_4_16_4_d.6	FAIL	600.99
k_t4p_p-16	FAIL	600.99
test3_quant4	FAIL	600.99
5qbf-5cnf-80var-640cl.9	FAIL	600.99
CHAIN22v.23	FAIL	600.99
2qbf-5cnf-160var-320cl.3	FAIL	600.99
2qbf-5cnf-160var-320cl.1	FAIL	600.99
2qbf-5cnf-80var-640cl.0	FAIL	600.99
6qbf-5cnf-80var-640cl.6	FAIL	600.99
k_d4_n-20	FAIL	600.99
ncf_16_32_8_u.2	FAIL	600.99
s499_d4_s	FAIL	600.99
ncf_4_32_2_edau.10	FAIL	600.99
ncf_16_32_8_euad.9	FAIL	600.99
ncf_4_16_4_d.3	FAIL	600.99
ncf_4_8_8_edau.2	FAIL	600.99
adder-8-sat	FAIL	600.99
ncf_8_16_8_edau.4	FAIL	600.99
k_path_p-21	FAIL	600.99
2qbf-5cnf-40var-160cl.4	FAIL	600.99
k_path_n-12	FAIL	600.99
Adder2-4-s	FAIL	600.99
ncf_16_32_8_u.9	FAIL	600.99
ncf_4_32_2_u.8	FAIL	600.99
k_grz_p-20	FAIL	600.99
k_branch_n-8	FAIL	600.99
k_branch_p-8	FAIL	600.99
k_grz_n-20	FAIL	600.99
4qbf-5cnf-160var-640cl.7	FAIL	600.99
2qbf-5cnf-80var-320cl.3	FAIL	600.99
ncf_8_16_8_euad.5	FAIL	600.99
2qbf-5cnf-80var-1280cl.8	FAIL	600.99
k_dum_n-21	FAIL	600.99
Adder2-8-s	FAIL	600.99
2qbf-5cnf-80var-640cl.9	FAIL	600.99
k_d4_p-8	FAIL	600.99
ncf_4_16_8_u.1	FAIL	600.99
x100.0	FAIL	600.99
x100.1	FAIL	600.99
x100.5	FAIL	600.99
x105.2	FAIL	600.99
x105.3	FAIL	600.99
x105.6	FAIL	600.99
x105.7	FAIL	600.99
x110.0	FAIL	600.99
x110.1	FAIL	600.99
x110.2	FAIL	600.99
x110.9	FAIL	600.99
x115.4	FAIL	600.99
x115.9	FAIL	600.99
x120.0	FAIL	600.99
x120.2	FAIL	600.99
x120.3	FAIL	600.99
x120.7	FAIL	600.99
x120.9	FAIL	600.99
x125.1	FAIL	600.99
x125.6	FAIL	600.99
x125.9	FAIL	600.99
x130.1	FAIL	600.99
x130.2	FAIL	600.99
x130.5	FAIL	600.99
x130.6	FAIL	600.99
x130.7	FAIL	600.99
x130.9	FAIL	600.99
x135.1	FAIL	600.99
x135.6	FAIL	600.99
x135.9	FAIL	600.99
x140.1	FAIL	600.99
x140.3	FAIL	600.99
x140.4	FAIL	600.99
x145.2	FAIL	600.99
x145.5	FAIL	600.99
x145.6	FAIL	600.99
x145.7	FAIL	600.99
x145.9	FAIL	600.99
x150.3	FAIL	600.99
x155.2	FAIL	600.99
x155.3	FAIL	600.99
x155.4	FAIL	600.99
x155.7	FAIL	600.99
x155.8	FAIL	600.99
x160.4	FAIL	600.99
x160.6	FAIL	600.99
x160.7	FAIL	600.99
x160.8	FAIL	600.99
x175.0	FAIL	600.99
x175.4	FAIL	600.99
x175.5	FAIL	600.99
x175.6	FAIL	600.99
x175.9	FAIL	600.99
x180.1	FAIL	600.99
x180.2	FAIL	600.99
x180.4	FAIL	600.99
x180.6	FAIL	600.99
x180.8	FAIL	600.99
x185.5	FAIL	600.99
x185.6	FAIL	600.99
x185.7	FAIL	600.99
x190.2	FAIL	600.99
x190.7	FAIL	600.99
x195.2	FAIL	600.99
x195.5	FAIL	600.99
x205.4	FAIL	600.99
x205.5	FAIL	600.99
x205.8	FAIL	600.99
x210.2	FAIL	600.99
x215.0	FAIL	600.99
x215.2	FAIL	600.99
x220.1	FAIL	600.99
x220.9	FAIL	600.99
x225.3	FAIL	600.99
x230.1	FAIL	600.99
x230.5	FAIL	600.99
x235.1	FAIL	600.99
x235.4	FAIL	600.99
x240.1	FAIL	600.99
x240.8	FAIL	600.99
x300.1	FAIL	600.99
x300.6	FAIL	600.99
x400.9	FAIL	600.99
x40.9	FAIL	600.99
x45.0	FAIL	600.99
x45.3	FAIL	600.99
x45.5	FAIL	600.99
x50.0	FAIL	600.99
x50.3	FAIL	600.99
x50.7	FAIL	600.99
x50.8	FAIL	600.99
x55.1	FAIL	600.99
x55.3	FAIL	600.99
x55.5	FAIL	600.99
x55.8	FAIL	600.99
x60.0	FAIL	600.99
x60.2	FAIL	600.99
x60.7	FAIL	600.99
x65.3	FAIL	600.99
x65.4	FAIL	600.99
x65.6	FAIL	600.99
x65.8	FAIL	600.99
x70.1	FAIL	600.99
x70.3	FAIL	600.99
x70.6	FAIL	600.99
x70.7	FAIL	600.99
x75.0	FAIL	600.99
x75.2	FAIL	600.99
x75.3	FAIL	600.99
x80.0	FAIL	600.99
x80.5	FAIL	600.99
x80.7	FAIL	600.99
x80.9	FAIL	600.99
x85.0	FAIL	600.99
x85.1	FAIL	600.99
x85.4	FAIL	600.99
x85.6	FAIL	600.99
x85.7	FAIL	600.99
x85.8	FAIL	600.99
x90.1	FAIL	600.99
x90.8	FAIL	600.99
x95.3	FAIL	600.99
x95.6	FAIL	600.99
x95.7	FAIL	600.99
S-edau-2	FAIL	600.99
eijk.S208c.S-f2	FAIL	600.99
eijk.S382.S-f2	FAIL	600.99
eijk.S820.S-f2	FAIL	600.99
irst.dme5.B-f2	FAIL	600.99
irst.dme6.B-f2	FAIL	600.99
nusmv.reactor^3.C-f2	FAIL	600.99
texas.ifetch1^8.E-f2	FAIL	600.99
texas.parsesys^2.E-f2	FAIL	600.99
texas.PI_main^01.E-f2	FAIL	600.99
texas.PI_main^11.E-f2	FAIL	600.99
texas.two_proc^2.E-f2	FAIL	600.99
texas.two_proc^6.E-f2	FAIL	600.99
vis.4-arbit^1.E-f2	FAIL	600.99
vis.4-arbit^2.E-f2	FAIL	600.99
vis.coherence^3.E-f2	FAIL	600.99
vis.coherence^5.E-f2	FAIL	600.99
sortnetsort10.AE.stepl.007	FAIL	600.99
sortnetsort10.AE.stepl.008	FAIL	600.99
sortnetsort10.AE.stepl.009	FAIL	600.99
sortnetsort10.AE.stepl.011	FAIL	600.99
sortnetsort10.AE.stepl.012	FAIL	600.99
sortnetsort5.AE.stepl.005	FAIL	600.99
sortnetsort6.AE.stepl.006	FAIL	600.99
sortnetsort7.AE.stepl.003	FAIL	600.99
sortnetsort7.AE.stepl.007	FAIL	600.99
sortnetsort7.AE.stepl.008	FAIL	600.99
sortnetsort7.AE.stepl.009	FAIL	600.99
sortnetsort8.AE.stepl.003	FAIL	600.99
sortnetsort8.AE.stepl.004	FAIL	600.99
sortnetsort8.AE.stepl.005	FAIL	600.99
sortnetsort8.AE.stepl.006	FAIL	600.99
sortnetsort8.AE.stepl.008	FAIL	600.99
sortnetsort8.AE.stepl.009	FAIL	600.99
sortnetsort9.AE.stepl.008	FAIL	600.99
sortnetsort9.AE.stepl.010	FAIL	600.99
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.99
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.99
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.99
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600.99
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.99
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.99
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600.99
2qbf-5cnf-40var-160cl.5	FAIL	601
4qbf-5cnf-80var-320cl.9	FAIL	601
2qbf-5cnf-160var-2560cl.8	FAIL	601
ncf_4_16_2_d.3	FAIL	601
6qbf-5cnf-40var-320cl.9	FAIL	601
adder-4-sat	FAIL	601
k_dum_p-21	FAIL	601
2qbf-5cnf-80var-320cl.1	FAIL	601
2qbf-5cnf-40var-640cl.1	FAIL	601
k_lin_n-16	FAIL	601
2qbf-5cnf-160var-320cl.2	FAIL	601
k_grz_p-16	FAIL	601
ncf_4_16_8_d.4	FAIL	601
adder-6-sat	FAIL	601
k_path_p-16	FAIL	601
2qbf-5cnf-80var-640cl.6	FAIL	601
6qbf-5cnf-80var-640cl.8	FAIL	601
2qbf-5cnf-40var-320cl.2	FAIL	601
k_d4_p-20	FAIL	601
adder-8-unsat	FAIL	601
ncf_4_16_8_u.3	FAIL	601
4qbf-5cnf-160var-640cl.4	FAIL	601
s713_d2_s	FAIL	601
ncf_4_32_2_u.7	FAIL	601
k_d4_n-21	FAIL	601
s27_d5_u	FAIL	601
4qbf-5cnf-40var-320cl.7	FAIL	601
2qbf-5cnf-160var-2560cl.5	FAIL	601
k_poly_n-4	FAIL	601
2qbf-5cnf-160var-320cl.8	FAIL	601
2qbf-5cnf-160var-320cl.0	FAIL	601
4qbf-5cnf-80var-320cl.1	FAIL	601
ncf_4_16_8_d.3	FAIL	601
test5_quant7	FAIL	601
2qbf-5cnf-80var-320cl.0	FAIL	601
ncf_4_32_2_edau.7	FAIL	601
k_poly_n-20	FAIL	601
mutex-32-s	FAIL	601
2qbf-5cnf-80var-320cl.5	FAIL	601
adder-6-unsat	FAIL	601
2qbf-5cnf-40var-160cl.2	FAIL	601
k_d4_n-16	FAIL	601
4qbf-5cnf-80var-320cl.7	FAIL	601
6qbf-5cnf-80var-640cl.2	FAIL	601
ncf_4_16_4_edau.2	FAIL	601
6qbf-5cnf-40var-320cl.2	FAIL	601
ncf_4_16_8_d.9	FAIL	601
s820_d2_s	FAIL	601
ncf_16_32_8_d.9	FAIL	601
s27_d4_u	FAIL	601
k_d4_p-16	FAIL	601
6qbf-5cnf-80var-640cl.1	FAIL	601
ncf_4_32_2_u.3	FAIL	601
k_d4_n-8	FAIL	601
4qbf-5cnf-80var-320cl.2	FAIL	601
2qbf-5cnf-80var-1280cl.5	FAIL	601
ncf_8_16_8_euad.4	FAIL	601
k_t4p_n-8	FAIL	601
2qbf-5cnf-40var-640cl.9	FAIL	601
k_dum_n-16	FAIL	601
k_t4p_n-12	FAIL	601
k_d4_p-21	FAIL	601
2qbf-5cnf-160var-320cl.9	FAIL	601
Adder2-6-s	FAIL	601
2qbf-5cnf-80var-640cl.8	FAIL	601
ncf_4_16_8_euad.6	FAIL	601
k_branch_p-4	FAIL	601
2qbf-5cnf-80var-320cl.2	FAIL	601
2qbf-5cnf-80var-640cl.5	FAIL	601
k_grz_n-16	FAIL	601
2qbf-5cnf-80var-320cl.7	FAIL	601
ncf_8_16_8_edau.10	FAIL	601
ncf_8_16_4_d.3	FAIL	601
k_poly_n-16	FAIL	601
2qbf-5cnf-80var-320cl.4	FAIL	601
5qbf-5cnf-80var-640cl.4	FAIL	601
ncf_4_32_2_edau.6	FAIL	601
ncf_8_16_8_d.2	FAIL	601
k_d4_p-12	FAIL	601
ncf_16_32_8_edau.9	FAIL	601
k_lin_n-8	FAIL	601
k_lin_n-4	FAIL	601
2qbf-5cnf-80var-1280cl.2	FAIL	601
k_dum_n-8	FAIL	601
k_grz_p-21	FAIL	601
mutex-16-s	FAIL	601
k_t4p_p-20	FAIL	601
k_t4p_n-16	FAIL	601
ncf_8_16_8_d.10	FAIL	601
k_t4p_p-12	FAIL	601
2qbf-5cnf-40var-320cl.4	FAIL	601
6qbf-5cnf-80var-640cl.3	FAIL	601
5qbf-5cnf-80var-640cl.1	FAIL	601
4qbf-5cnf-160var-640cl.3	FAIL	601
ncf_4_8_8_d.10	FAIL	601
s298_d4_s	FAIL	601
test3_quant2	FAIL	601
4qbf-5cnf-160var-640cl.5	FAIL	601
2qbf-5cnf-40var-160cl.8	FAIL	601
k_branch_n-4	FAIL	601
CHAIN21v.22	FAIL	601
test5_quant_squaring5	FAIL	601
4qbf-5cnf-80var-320cl.3	FAIL	601
k_path_p-20	FAIL	601
adder-12-sat	FAIL	601
6qbf-5cnf-80var-640cl.7	FAIL	601
ncf_4_32_2_edau.8	FAIL	601
test5_quant_squaring4	FAIL	601
s499_d2_s	FAIL	601
ncf_4_16_8_euad.9	FAIL	601
k_dum_n-20	FAIL	601
ncf_4_16_4_d.2	FAIL	601
2qbf-5cnf-160var-2560cl.3	FAIL	601
4qbf-5cnf-160var-640cl.6	FAIL	601
k_dum_p-12	FAIL	601
2qbf-5cnf-160var-320cl.4	FAIL	601
2qbf-5cnf-40var-160cl.7	FAIL	601
k_path_p-12	FAIL	601
k_poly_n-8	FAIL	601
2qbf-5cnf-160var-320cl.6	FAIL	601
ncf_8_16_8_d.5	FAIL	601
k_dum_p-16	FAIL	601
k_poly_p-12	FAIL	601
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	601
k_path_n-20	FAIL	601
2qbf-5cnf-40var-320cl.1	FAIL	601
k_lin_p-20	FAIL	601
ncf_4_32_2_edau.4	FAIL	601
ev-pr-8x8-11-7-0-1-2-lg	FAIL	601
ncf_8_16_4_u.7	FAIL	601
6qbf-5cnf-40var-320cl.3	FAIL	601
4qbf-5cnf-160var-640cl.8	FAIL	601
6qbf-5cnf-80var-1280cl.4	FAIL	601
k_path_n-21	FAIL	601
k_grz_n-21	FAIL	601
ncf_4_16_4_d.10	FAIL	601
ncf_4_16_4_euad.2	FAIL	601
test5_quant5	FAIL	601
ncf_8_16_4_d.7	FAIL	601
k_path_n-16	FAIL	601
2qbf-5cnf-80var-640cl.1	FAIL	601
s298_d2_s	FAIL	601
4qbf-5cnf-160var-640cl.2	FAIL	601
ncf_8_16_8_d.3	FAIL	601
k_t4p_n-4	FAIL	601
ncf_16_32_8_d.1	FAIL	601
adder-4-unsat	FAIL	601
k_poly_n-21	FAIL	601
ncf_4_16_8_d.2	FAIL	601
ncf_4_16_4_u.2	FAIL	601
6qbf-5cnf-80var-640cl.0	FAIL	601
k_path_p-8	FAIL	601
ncf_4_16_8_d.8	FAIL	601
2qbf-5cnf-40var-320cl.3	FAIL	601
2qbf-5cnf-80var-640cl.7	FAIL	601
k_lin_p-12	FAIL	601
2qbf-5cnf-40var-640cl.8	FAIL	601
2qbf-5cnf-80var-640cl.3	FAIL	601
x100.4	FAIL	601
x100.7	FAIL	601
x100.9	FAIL	601
x105.4	FAIL	601
x105.8	FAIL	601
x110.3	FAIL	601
x110.5	FAIL	601
x110.6	FAIL	601
x110.8	FAIL	601
x115.1	FAIL	601
x115.2	FAIL	601
x115.7	FAIL	601
x120.1	FAIL	601
x120.4	FAIL	601
x120.5	FAIL	601
x120.6	FAIL	601
x125.0	FAIL	601
x125.7	FAIL	601
x125.8	FAIL	601
x130.0	FAIL	601
x130.3	FAIL	601
x135.4	FAIL	601
x140.0	FAIL	601
x145.1	FAIL	601
x145.3	FAIL	601
x150.0	FAIL	601
x150.5	FAIL	601
x150.9	FAIL	601
x160.9	FAIL	601
x165.4	FAIL	601
x165.7	FAIL	601
x170.1	FAIL	601
x170.7	FAIL	601
x180.5	FAIL	601
x185.0	FAIL	601
x200.2	FAIL	601
x205.6	FAIL	601
x210.3	FAIL	601
x210.7	FAIL	601
x215.6	FAIL	601
x220.0	FAIL	601
x225.6	FAIL	601
x235.6	FAIL	601
x245.4	FAIL	601
x250.6	FAIL	601
x300.5	FAIL	601
x35.2	FAIL	601
x35.9	FAIL	601
x40.0	FAIL	601
x40.3	FAIL	601
x40.6	FAIL	601
x40.7	FAIL	601
x45.4	FAIL	601
x45.7	FAIL	601
x50.2	FAIL	601
x50.6	FAIL	601
x50.9	FAIL	601
x55.4	FAIL	601
x55.6	FAIL	601
x55.7	FAIL	601
x60.3	FAIL	601
x60.6	FAIL	601
x65.0	FAIL	601
x65.2	FAIL	601
x65.5	FAIL	601
x70.2	FAIL	601
x70.8	FAIL	601
x70.9	FAIL	601
x75.4	FAIL	601
x75.5	FAIL	601
x75.6	FAIL	601
x75.9	FAIL	601
x80.2	FAIL	601
x85.5	FAIL	601
x90.0	FAIL	601
x90.3	FAIL	601
x90.4	FAIL	601
x90.6	FAIL	601
x90.7	FAIL	601
x90.9	FAIL	601
x95.8	FAIL	601
S-edau-1	FAIL	601
S-edau-6	FAIL	601
S-edau-7	FAIL	601
T-edau-9	FAIL	601
cmu.dme1.B-f2	FAIL	601
cmu.dme2.B-f2	FAIL	601
cmu.gigamax.B-f2	FAIL	601
eijk.bs1512.S-f2	FAIL	601
eijk.S208o.S-f2	FAIL	601
eijk.S208.S-f2	FAIL	601
eijk.S298.S-f2	FAIL	601
eijk.S344.S-f2	FAIL	601
eijk.S349.S-f2	FAIL	601
eijk.S386.S-f2	FAIL	601
eijk.S420.S-f2	FAIL	601
eijk.S444.S-f2	FAIL	601
eijk.S510.S-f2	FAIL	601
eijk.S526.S-f2	FAIL	601
eijk.S641.S-f2	FAIL	601
eijk.S713.S-f2	FAIL	601
eijk.S832.S-f2	FAIL	601
eijk.S953.S-f2	FAIL	601
irst.dme4.B-f2	FAIL	601
ken.oop^1.C-f2	FAIL	601
ken.oop^2.C-f2	FAIL	601
nusmv.brp.B-f2	FAIL	601
nusmv.reactor^2.C-f2	FAIL	601
nusmv.reactor^4.C-f2	FAIL	601
nusmv.reactor^6.C-f2	FAIL	601
nusmv.reactor^7.C-f2	FAIL	601
nusmv.syncarb10^2.B-f2	FAIL	601
texas.ifetch1^7.E-f2	FAIL	601
texas.ifetch1^9.E-f2	FAIL	601
texas.parsesys^1.E-f2	FAIL	601
texas.parsesys^3.E-f2	FAIL	601
texas.PI_main^02.E-f2	FAIL	601
texas.PI_main^10.E-f2	FAIL	601
texas.PI_main^12.E-f2	FAIL	601
texas.two_proc^1.E-f2	FAIL	601
texas.two_proc^3.E-f2	FAIL	601
texas.two_proc^4.E-f2	FAIL	601
vis.arbiter.E-f2	FAIL	601
vis.bakery.E-f2	FAIL	601
vis.coherence^1.E-f2	FAIL	601
vis.coherence^2.E-f2	FAIL	601
vis.elevator^2.E-f2	FAIL	601
vis.elevator^3.E-f2	FAIL	601
sortnetsort10.AE.stepl.004	FAIL	601
sortnetsort10.AE.stepl.005	FAIL	601
sortnetsort10.AE.stepl.006	FAIL	601
sortnetsort6.AE.stepl.007	FAIL	601
sortnetsort7.AE.stepl.005	FAIL	601
sortnetsort9.AE.stepl.004	FAIL	601
sortnetsort9.AE.stepl.006	FAIL	601
sortnetsort9.AE.stepl.007	FAIL	601
sortnetsort9.AE.stepl.009	FAIL	601
sortnetsort9.AE.stepl.011	FAIL	601
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	601
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	601
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	601
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	601
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	601
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	601
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	601
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	601
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	601
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	601
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	601
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	601
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	601
ncf_4_32_2_edau.5	FAIL	601.01
6qbf-5cnf-40var-320cl.7	FAIL	601.01
2qbf-5cnf-80var-640cl.4	FAIL	601.01
ncf_4_32_2_edau.3	FAIL	601.01
2qbf-5cnf-160var-320cl.7	FAIL	601.01
4qbf-5cnf-40var-320cl.1	FAIL	601.01
2qbf-5cnf-80var-1280cl.0	FAIL	601.01
2qbf-5cnf-80var-320cl.8	FAIL	601.01
ncf_4_32_2_u.10	FAIL	601.01
2qbf-5cnf-40var-640cl.2	FAIL	601.01
6qbf-5cnf-80var-640cl.9	FAIL	601.01
2qbf-5cnf-80var-320cl.6	FAIL	601.01
6qbf-5cnf-80var-640cl.4	FAIL	601.01
4qbf-5cnf-160var-640cl.1	FAIL	601.01
ncf_4_16_8_d.1	FAIL	601.01
2qbf-5cnf-80var-1280cl.1	FAIL	601.01
ncf_4_32_2_edau.9	FAIL	601.01
x100.8	FAIL	601.01
x115.3	FAIL	601.01
x115.8	FAIL	601.01
x130.4	FAIL	601.01
x130.8	FAIL	601.01
x135.3	FAIL	601.01
x135.5	FAIL	601.01
x160.5	FAIL	601.01
x50.4	FAIL	601.01
x50.5	FAIL	601.01
x55.0	FAIL	601.01
x60.9	FAIL	601.01
x75.1	FAIL	601.01
x75.7	FAIL	601.01
x75.8	FAIL	601.01
x80.6	FAIL	601.01
x95.9	FAIL	601.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by WalkQSAT
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by WalkQSAT QBFEVAL'06

Instances solved by WalkQSAT
QBFEVAL'06