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

Instances solved by QUANTOR
QBFEVAL'06

Instance	Result	Time
ncf_16_32_2_edau.6	SAT	0
ncf_4_16_2_d.6	SAT	0
6qbf-5cnf-160var-640cl.2	SAT	0
5qbf-5cnf-160var-640cl.3	SAT	0
ncf_4_8_8_u.9	UNSAT	0
ncf_4_8_2_euad.4	UNSAT	0
k_poly_n-4	SAT	0
ncf_8_16_4_edau.2	UNSAT	0
3qbf-5cnf-80var-320cl.9	SAT	0
ncf_8_16_4_u.2	UNSAT	0
5qbf-5cnf-20var-640cl.1	UNSAT	0
ncf_16_32_4_d.1	FAIL	0
ncf_4_8_2_euad.1	UNSAT	0
ncf_8_16_4_edau.5	UNSAT	0
ncf_4_16_2_euad.9	SAT	0
ncf_4_8_4_u.9	SAT	0
ncf_4_8_2_u.9	SAT	0
ncf_4_16_2_edau.2	SAT	0
3qbf-5cnf-80var-2560cl.5	UNSAT	0
ncf_4_8_2_u.4	UNSAT	0
ncf_8_16_4_edau.10	SAT	0
ncf_4_16_2_u.6	FAIL	0
tree-exa2-50	UNSAT	0
5qbf-5cnf-160var-640cl.6	SAT	0
ncf_4_8_4_u.5	SAT	0
6qbf-5cnf-160var-640cl.8	SAT	0
ncf_8_16_4_u.5	UNSAT	0
ncf_4_8_4_euad.5	SAT	0
ncf_8_16_4_u.1	SAT	0
5qbf-5cnf-160var-640cl.2	SAT	0
ncf_4_8_2_u.8	SAT	0
ncf_4_8_2_u.5	FAIL	0
ncf_4_16_2_d.4	SAT	0
6qbf-5cnf-160var-640cl.4	SAT	0
ncf_4_8_8_euad.9	UNSAT	0
ncf_16_32_2_d.9	UNSAT	0
6qbf-5cnf-160var-640cl.0	SAT	0
ncf_8_16_4_euad.2	UNSAT	0
5qbf-5cnf-40var-640cl.8	UNSAT	0
ncf_8_16_4_d.2	UNSAT	0
5qbf-5cnf-160var-640cl.7	SAT	0
5qbf-5cnf-160var-640cl.5	SAT	0
ncf_4_8_2_euad.10	FAIL	0
ncf_4_16_2_u.9	SAT	0
ncf_4_8_4_u.2	UNSAT	0
ncf_4_8_2_u.10	SAT	0
x5.3	UNSAT	0
x5.6	UNSAT	0
x5.9	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.S382.S-d2	SAT	0
eijk.S444.S-d2	SAT	0
vis.bakery.E-d2	SAT	0
vis.eisenberg.E-d2	SAT	0
Qq2k1k4v40v40m2s0	SAT	0
Qq2k1k4v40v40m2s1	SAT	0
Qq2k1k4v40v40m2s2	SAT	0
Qq2k1k4v40v40m2s3	SAT	0
Qq2k1k4v40v40m2s5	SAT	0
Qq2k1k4v40v40m2s6	SAT	0
Qq2k1k4v40v40m2s7	SAT	0
Qq2k1k4v40v40m2s8	SAT	0
Qq2k1k4v40v40m2s9	SAT	0
Qq2k1k4v40v40m4s1	SAT	0
Qq2k1k4v40v40m4s2	UNSAT	0
Qq2k1k4v40v40m4s3	SAT	0
Qq2k1k4v40v40m4s4	SAT	0
Qq2k1k4v40v40m4s5	SAT	0
Qq2k1k4v40v40m4s7	SAT	0
Qq2k1k4v40v40m4s8	SAT	0
Qq2k1k4v40v40m4s9	SAT	0
Qq2k1k4v40v40m8s0	SAT	0
Qq2k1k4v40v40m8s1	SAT	0
Qq2k1k4v40v40m8s2	UNSAT	0
Qq2k1k4v40v40m8s3	SAT	0
Qq2k1k4v40v40m8s4	SAT	0
Qq2k1k4v40v40m8s5	SAT	0
Qq2k1k4v40v40m8s6	UNSAT	0
Qq2k1k4v40v40m8s7	SAT	0
Qq2k1k4v40v40m8s8	SAT	0
Qq2k1k4v40v40m8s9	SAT	0
Qq2k1k4v40v40m16s0	UNSAT	0
Qq2k1k4v40v40m16s1	SAT	0
Qq2k1k4v40v40m16s3	UNSAT	0
Qq2k1k4v40v40m16s4	SAT	0
Qq2k1k4v40v40m16s6	UNSAT	0
Qq2k1k4v40v40m16s7	SAT	0
Qq2k1k4v40v40m16s9	UNSAT	0
Qq2k1k4v40v40m32s0	UNSAT	0
Qq2k1k4v40v40m32s2	UNSAT	0
Qq2k1k4v40v40m32s4	UNSAT	0
Qq2k1k4v40v40m32s5	UNSAT	0
Qq2k1k4v40v40m32s9	UNSAT	0
Qq2k1k4v80v80m2s1	SAT	0
Qq2k1k4v80v80m2s3	SAT	0
Qq2k1k4v80v80m2s7	SAT	0
Qq2k1k4v80v80m2s8	SAT	0
Qq2k1k4v80v80m2s9	SAT	0
Qq2k1k4v80v80m4s0	SAT	0
Qq2k1k4v80v80m4s1	SAT	0
Qq2k1k4v80v80m4s2	SAT	0
Qq2k1k4v80v80m4s4	SAT	0
Qq2k1k4v80v80m4s5	SAT	0
Qq2k1k4v80v80m4s6	SAT	0
Qq2k1k4v80v80m4s7	SAT	0
Qq2k1k4v80v80m4s9	SAT	0
Qq2k1k4v80v80m8s0	SAT	0
Qq2k1k4v80v80m8s1	SAT	0
Qq2k1k4v80v80m8s2	SAT	0
Qq2k1k4v80v80m8s3	SAT	0
Qq2k1k4v80v80m8s5	SAT	0
Qq2k1k4v80v80m8s7	SAT	0
Qq2k1k4v80v80m8s8	SAT	0
Qq2k1k4v80v80m16s0	UNSAT	0
Qq2k1k4v80v80m16s2	SAT	0
Qq2k1k4v80v80m16s3	UNSAT	0
Qq2k1k4v80v80m16s4	SAT	0
Qq2k1k4v80v80m16s8	UNSAT	0
Qq2k1k4v80v80m16s9	SAT	0
Qq2k1k4v80v80m32s1	SAT	0
Qq2k1k4v80v80m32s2	UNSAT	0
Qq2k1k4v80v80m32s3	UNSAT	0
Qq2k1k4v80v80m32s4	UNSAT	0
Qq2k1k4v80v80m32s5	UNSAT	0
Qq2k1k4v80v80m32s7	SAT	0
Qq2k1k4v80v80m32s9	UNSAT	0
Qq2k2k3v40v40m2s0	SAT	0
Qq2k2k3v40v40m2s1	SAT	0
Qq2k2k3v40v40m2s2	SAT	0
Qq2k2k3v40v40m2s5	SAT	0
Qq2k2k3v40v40m2s7	SAT	0
Qq2k2k3v40v40m4s0	SAT	0
Qq2k2k3v40v40m4s1	SAT	0
Qq2k2k3v40v40m4s3	SAT	0
Qq2k2k3v40v40m4s4	SAT	0
Qq2k2k3v40v40m4s5	SAT	0
Qq2k2k3v40v40m4s6	SAT	0
Qq2k2k3v40v40m4s7	SAT	0
Qq2k2k3v40v40m4s8	SAT	0
Qq2k2k3v40v40m8s0	SAT	0
Qq2k2k3v40v40m8s1	SAT	0
Qq2k2k3v40v40m8s2	SAT	0
Qq2k2k3v40v40m8s3	SAT	0
Qq2k2k3v40v40m8s4	SAT	0
Qq2k2k3v40v40m8s5	SAT	0
Qq2k2k3v40v40m8s8	SAT	0
Qq2k2k3v40v40m8s9	SAT	0
Qq2k2k3v40v40m16s0	SAT	0
Qq2k2k3v40v40m16s1	SAT	0
Qq2k2k3v40v40m16s3	SAT	0
Qq2k2k3v40v40m16s4	SAT	0
Qq2k2k3v40v40m16s5	SAT	0
Qq2k2k3v40v40m16s6	SAT	0
Qq2k2k3v40v40m16s8	SAT	0
Qq2k2k3v40v40m32s0	SAT	0
Qq2k2k3v40v40m32s1	SAT	0
Qq2k2k3v40v40m32s2	SAT	0
Qq2k2k3v40v40m32s4	SAT	0
Qq2k2k3v40v40m32s5	SAT	0
Qq2k2k3v40v40m32s6	SAT	0
Qq2k2k3v40v40m32s7	SAT	0
Qq2k2k3v40v40m32s9	SAT	0
Qq2k2k3v80v80m2s1	SAT	0
Qq2k2k3v80v80m2s2	SAT	0
Qq2k2k3v80v80m2s3	SAT	0
Qq2k2k3v80v80m2s4	SAT	0
Qq2k2k3v80v80m2s5	SAT	0
Qq2k2k3v80v80m2s6	SAT	0
Qq2k2k3v80v80m2s7	SAT	0
Qq2k2k3v80v80m2s9	SAT	0
Qq2k2k3v80v80m4s0	SAT	0
Qq2k2k3v80v80m4s1	SAT	0
Qq2k2k3v80v80m4s2	SAT	0
Qq2k2k3v80v80m4s3	SAT	0
Qq2k2k3v80v80m4s4	SAT	0
Qq2k2k3v80v80m4s5	SAT	0
Qq2k2k3v80v80m4s6	SAT	0
Qq2k2k3v80v80m4s8	SAT	0
Qq2k2k3v80v80m4s9	SAT	0
Qq2k2k3v80v80m8s0	SAT	0
Qq2k2k3v80v80m8s2	SAT	0
Qq2k2k3v80v80m8s3	SAT	0
Qq2k2k3v80v80m8s4	SAT	0
Qq2k2k3v80v80m8s5	SAT	0
Qq2k2k3v80v80m8s6	SAT	0
Qq2k2k3v80v80m8s7	SAT	0
Qq2k2k3v80v80m8s9	SAT	0
Qq2k2k3v80v80m16s0	SAT	0
Qq2k2k3v80v80m16s1	SAT	0
Qq2k2k3v80v80m16s2	SAT	0
Qq2k2k3v80v80m16s6	SAT	0
Qq2k2k3v80v80m16s7	SAT	0
Qq2k2k3v80v80m16s9	SAT	0
Qq2k2k3v80v80m32s0	SAT	0
Qq2k2k3v80v80m32s1	SAT	0
Qq2k2k3v80v80m32s3	SAT	0
Qq2k2k3v80v80m32s5	SAT	0
Qq2k2k3v80v80m32s6	SAT	0
Qq2k2k3v80v80m32s7	SAT	0
Qq2k3k2v40v40m2s0	SAT	0
Qq2k3k2v40v40m2s1	SAT	0
Qq2k3k2v40v40m2s3	SAT	0
Qq2k3k2v40v40m2s4	SAT	0
Qq2k3k2v40v40m2s5	SAT	0
Qq2k3k2v40v40m2s6	SAT	0
Qq2k3k2v40v40m2s9	SAT	0
Qq2k3k2v40v40m4s0	SAT	0
Qq2k3k2v40v40m4s2	SAT	0
Qq2k3k2v40v40m4s4	SAT	0
Qq2k3k2v40v40m4s7	SAT	0
Qq2k3k2v40v40m4s8	SAT	0
Qq2k3k2v40v40m4s9	SAT	0
Qq2k3k2v40v40m8s1	SAT	0
Qq2k3k2v40v40m8s2	SAT	0
Qq2k3k2v40v40m8s3	SAT	0
Qq2k3k2v40v40m8s4	SAT	0
Qq2k3k2v40v40m8s6	SAT	0
Qq2k3k2v40v40m8s7	SAT	0
Qq2k3k2v40v40m8s8	SAT	0
Qq2k3k2v40v40m8s9	SAT	0
Qq2k3k2v40v40m16s0	SAT	0
Qq2k3k2v40v40m16s2	SAT	0
Qq2k3k2v40v40m16s6	SAT	0
Qq2k3k2v40v40m16s7	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
Qq2k3k2v40v40m32s8	SAT	0
Qq2k3k2v40v40m32s9	SAT	0
Qq2k3k2v80v80m2s2	SAT	0
Qq2k3k2v80v80m2s3	SAT	0
Qq2k3k2v80v80m2s4	SAT	0
Qq2k3k2v80v80m2s5	SAT	0
Qq2k3k2v80v80m2s6	SAT	0
Qq2k3k2v80v80m2s8	SAT	0
Qq2k3k2v80v80m2s9	SAT	0
Qq2k3k2v80v80m4s0	SAT	0
Qq2k3k2v80v80m4s3	SAT	0
Qq2k3k2v80v80m4s5	SAT	0
Qq2k3k2v80v80m4s6	SAT	0
Qq2k3k2v80v80m4s7	SAT	0
Qq2k3k2v80v80m4s9	SAT	0
Qq2k3k2v80v80m8s0	SAT	0
Qq2k3k2v80v80m8s1	SAT	0
Qq2k3k2v80v80m8s2	SAT	0
Qq2k3k2v80v80m8s3	SAT	0
Qq2k3k2v80v80m8s4	SAT	0
Qq2k3k2v80v80m8s6	SAT	0
Qq2k3k2v80v80m8s7	SAT	0
Qq2k3k2v80v80m8s8	SAT	0
Qq2k3k2v80v80m8s9	SAT	0
Qq2k3k2v80v80m16s0	SAT	0
Qq2k3k2v80v80m16s1	SAT	0
Qq2k3k2v80v80m16s3	SAT	0
Qq2k3k2v80v80m16s4	SAT	0
Qq2k3k2v80v80m16s6	SAT	0
Qq2k3k2v80v80m16s7	SAT	0
Qq2k3k2v80v80m16s8	SAT	0
Qq2k3k2v80v80m32s0	SAT	0
Qq2k3k2v80v80m32s1	SAT	0
Qq2k3k2v80v80m32s2	SAT	0
Qq2k3k2v80v80m32s3	SAT	0
Qq2k3k2v80v80m32s4	SAT	0
Qq2k3k2v80v80m32s5	SAT	0
Qq2k3k2v80v80m32s7	SAT	0
Qq2k3k2v80v80m32s8	SAT	0
Qq3k1k1k3v40v40v40m2s0	SAT	0
Qq3k1k1k3v40v40v40m2s2	SAT	0
Qq3k1k1k3v40v40v40m2s3	SAT	0
Qq3k1k1k3v40v40v40m2s4	SAT	0
Qq3k1k1k3v40v40v40m2s5	SAT	0
Qq3k1k1k3v40v40v40m2s6	SAT	0
Qq3k1k1k3v40v40v40m2s7	SAT	0
Qq3k1k1k3v40v40v40m2s8	SAT	0
Qq3k1k1k3v40v40v40m4s1	SAT	0
Qq3k1k1k3v40v40v40m4s3	SAT	0
Qq3k1k1k3v40v40v40m4s6	SAT	0
Qq3k1k1k3v40v40v40m4s7	SAT	0
Qq3k1k1k3v40v40v40m4s8	SAT	0
Qq3k1k1k3v40v40v40m8s2	SAT	0
Qq3k1k1k3v40v40v40m8s3	SAT	0
Qq3k1k1k3v40v40v40m8s5	SAT	0
Qq3k1k1k3v40v40v40m8s6	SAT	0
Qq3k1k1k3v40v40v40m8s8	SAT	0
Qq3k1k1k3v40v40v40m8s9	SAT	0
Qq3k1k1k3v40v40v40m16s4	SAT	0
Qq3k1k1k3v40v40v40m16s5	SAT	0
Qq3k1k1k3v40v40v40m16s6	SAT	0
Qq3k1k1k3v40v40v40m16s7	SAT	0
Qq3k1k1k3v40v40v40m16s9	SAT	0
Qq3k1k1k3v40v40v40m32s3	SAT	0
Qq3k1k1k3v40v40v40m32s4	SAT	0
Qq3k1k1k3v40v40v40m32s5	SAT	0
Qq3k1k1k3v40v40v40m32s6	SAT	0
Qq3k1k1k3v40v40v40m32s9	SAT	0
Qq3k1k1k3v80v80v80m2s1	SAT	0
Qq3k1k1k3v80v80v80m2s2	SAT	0
Qq3k1k1k3v80v80v80m2s4	SAT	0
Qq3k1k1k3v80v80v80m2s6	SAT	0
Qq3k1k1k3v80v80v80m2s7	SAT	0
Qq3k1k1k3v80v80v80m2s8	SAT	0
Qq3k1k1k3v80v80v80m2s9	SAT	0
Qq3k1k1k3v80v80v80m4s0	SAT	0
Qq3k1k1k3v80v80v80m4s2	SAT	0
Qq3k1k1k3v80v80v80m4s3	SAT	0
Qq3k1k1k3v80v80v80m4s4	SAT	0
Qq3k1k1k3v80v80v80m4s5	SAT	0
Qq3k1k1k3v80v80v80m4s6	SAT	0
Qq3k1k1k3v80v80v80m4s9	SAT	0
Qq3k1k1k3v80v80v80m8s0	SAT	0
Qq3k1k1k3v80v80v80m8s1	SAT	0
Qq3k1k1k3v80v80v80m8s2	SAT	0
Qq3k1k1k3v80v80v80m8s5	SAT	0
Qq3k1k1k3v80v80v80m8s9	SAT	0
Qq3k1k1k3v80v80v80m16s0	SAT	0
Qq3k1k1k3v80v80v80m16s3	SAT	0
Qq3k1k1k3v80v80v80m16s5	SAT	0
Qq3k1k1k3v80v80v80m16s7	SAT	0
Qq3k1k1k3v80v80v80m16s8	SAT	0
Qq3k1k1k3v80v80v80m16s9	SAT	0
Qq3k1k1k3v80v80v80m32s1	SAT	0
Qq3k1k1k3v80v80v80m32s4	SAT	0
Qq3k1k1k3v80v80v80m32s5	SAT	0
Qq3k1k1k3v80v80v80m32s6	SAT	0
Qq3k1k1k3v80v80v80m32s7	SAT	0
Qq3k1k1k3v80v80v80m32s8	SAT	0
Qq3k1k1k3v80v80v80m32s9	SAT	0
Qq3k1k2k2v40v40v40m2s0	SAT	0
Qq3k1k2k2v40v40v40m2s1	SAT	0
Qq3k1k2k2v40v40v40m2s2	SAT	0
Qq3k1k2k2v40v40v40m2s3	SAT	0
Qq3k1k2k2v40v40v40m2s4	SAT	0
Qq3k1k2k2v40v40v40m2s6	SAT	0
Qq3k1k2k2v40v40v40m2s8	SAT	0
Qq3k1k2k2v40v40v40m2s9	SAT	0
Qq3k1k2k2v40v40v40m4s0	SAT	0
Qq3k1k2k2v40v40v40m4s1	SAT	0
Qq3k1k2k2v40v40v40m4s2	SAT	0
Qq3k1k2k2v40v40v40m4s4	SAT	0
Qq3k1k2k2v40v40v40m4s6	SAT	0
Qq3k1k2k2v40v40v40m4s7	SAT	0
Qq3k1k2k2v40v40v40m4s8	SAT	0
Qq3k1k2k2v40v40v40m4s9	SAT	0
Qq3k1k2k2v40v40v40m8s0	SAT	0
Qq3k1k2k2v40v40v40m8s1	SAT	0
Qq3k1k2k2v40v40v40m8s2	SAT	0
Qq3k1k2k2v40v40v40m8s3	SAT	0
Qq3k1k2k2v40v40v40m8s4	SAT	0
Qq3k1k2k2v40v40v40m8s8	SAT	0
Qq3k1k2k2v40v40v40m8s9	SAT	0
Qq3k1k2k2v40v40v40m16s0	SAT	0
Qq3k1k2k2v40v40v40m16s1	SAT	0
Qq3k1k2k2v40v40v40m16s3	SAT	0
Qq3k1k2k2v40v40v40m16s4	SAT	0
Qq3k1k2k2v40v40v40m16s5	SAT	0
Qq3k1k2k2v40v40v40m16s6	SAT	0
Qq3k1k2k2v40v40v40m16s7	SAT	0
Qq3k1k2k2v40v40v40m16s8	SAT	0
Qq3k1k2k2v40v40v40m16s9	SAT	0
Qq3k1k2k2v40v40v40m32s1	SAT	0
Qq3k1k2k2v40v40v40m32s2	SAT	0
Qq3k1k2k2v40v40v40m32s3	SAT	0
Qq3k1k2k2v40v40v40m32s4	SAT	0
Qq3k1k2k2v40v40v40m32s6	SAT	0
Qq3k1k2k2v40v40v40m32s8	SAT	0
Qq3k1k2k2v80v80v80m2s0	SAT	0
Qq3k1k2k2v80v80v80m2s2	SAT	0
Qq3k1k2k2v80v80v80m2s3	SAT	0
Qq3k1k2k2v80v80v80m2s4	SAT	0
Qq3k1k2k2v80v80v80m2s7	SAT	0
Qq3k1k2k2v80v80v80m4s0	SAT	0
Qq3k1k2k2v80v80v80m4s2	SAT	0
Qq3k1k2k2v80v80v80m4s3	SAT	0
Qq3k1k2k2v80v80v80m4s4	SAT	0
Qq3k1k2k2v80v80v80m4s5	SAT	0
Qq3k1k2k2v80v80v80m4s6	SAT	0
Qq3k1k2k2v80v80v80m8s0	SAT	0
Qq3k1k2k2v80v80v80m8s1	SAT	0
Qq3k1k2k2v80v80v80m8s2	SAT	0
Qq3k1k2k2v80v80v80m8s4	SAT	0
Qq3k1k2k2v80v80v80m8s7	SAT	0
Qq3k1k2k2v80v80v80m8s8	SAT	0
Qq3k1k2k2v80v80v80m8s9	SAT	0
Qq3k1k2k2v80v80v80m16s0	SAT	0
Qq3k1k2k2v80v80v80m16s1	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
Qq3k1k2k2v80v80v80m32s6	SAT	0
Qq3k1k2k2v80v80v80m32s7	SAT	0
Qq3k1k2k2v80v80v80m32s8	SAT	0
Qq3k1k2k2v80v80v80m32s9	SAT	0
Qq3k1k3k1v40v40v40m2s0	SAT	0
Qq3k1k3k1v40v40v40m2s1	SAT	0
Qq3k1k3k1v40v40v40m2s2	SAT	0
Qq3k1k3k1v40v40v40m2s4	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
Qq3k1k3k1v40v40v40m4s5	SAT	0
Qq3k1k3k1v40v40v40m4s7	SAT	0
Qq3k1k3k1v40v40v40m4s8	SAT	0
Qq3k1k3k1v40v40v40m4s9	SAT	0
Qq3k1k3k1v40v40v40m8s0	SAT	0
Qq3k1k3k1v40v40v40m8s2	SAT	0
Qq3k1k3k1v40v40v40m8s3	SAT	0
Qq3k1k3k1v40v40v40m8s4	SAT	0
Qq3k1k3k1v40v40v40m8s5	SAT	0
Qq3k1k3k1v40v40v40m8s6	SAT	0
Qq3k1k3k1v40v40v40m8s7	SAT	0
Qq3k1k3k1v40v40v40m8s8	SAT	0
Qq3k1k3k1v40v40v40m8s9	SAT	0
Qq3k1k3k1v40v40v40m16s0	SAT	0
Qq3k1k3k1v40v40v40m16s1	SAT	0
Qq3k1k3k1v40v40v40m16s2	SAT	0
Qq3k1k3k1v40v40v40m16s3	SAT	0
Qq3k1k3k1v40v40v40m16s4	SAT	0
Qq3k1k3k1v40v40v40m16s5	SAT	0
Qq3k1k3k1v40v40v40m16s6	SAT	0
Qq3k1k3k1v40v40v40m16s7	SAT	0
Qq3k1k3k1v40v40v40m32s0	SAT	0
Qq3k1k3k1v40v40v40m32s1	SAT	0
Qq3k1k3k1v40v40v40m32s3	SAT	0
Qq3k1k3k1v40v40v40m32s4	SAT	0
Qq3k1k3k1v40v40v40m32s5	SAT	0
Qq3k1k3k1v40v40v40m32s6	SAT	0
Qq3k1k3k1v40v40v40m32s7	SAT	0
Qq3k1k3k1v40v40v40m32s8	SAT	0
Qq3k1k3k1v40v40v40m32s9	SAT	0
Qq3k1k3k1v80v80v80m2s1	SAT	0
Qq3k1k3k1v80v80v80m2s3	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
Qq3k1k3k1v80v80v80m4s3	SAT	0
Qq3k1k3k1v80v80v80m4s4	SAT	0
Qq3k1k3k1v80v80v80m4s5	SAT	0
Qq3k1k3k1v80v80v80m4s7	SAT	0
Qq3k1k3k1v80v80v80m4s9	SAT	0
Qq3k1k3k1v80v80v80m8s0	SAT	0
Qq3k1k3k1v80v80v80m8s2	SAT	0
Qq3k1k3k1v80v80v80m8s3	SAT	0
Qq3k1k3k1v80v80v80m8s4	SAT	0
Qq3k1k3k1v80v80v80m8s5	SAT	0
Qq3k1k3k1v80v80v80m8s6	SAT	0
Qq3k1k3k1v80v80v80m8s9	SAT	0
Qq3k1k3k1v80v80v80m16s0	SAT	0
Qq3k1k3k1v80v80v80m16s2	SAT	0
Qq3k1k3k1v80v80v80m16s4	SAT	0
Qq3k1k3k1v80v80v80m16s6	SAT	0
Qq3k1k3k1v80v80v80m16s7	SAT	0
Qq3k1k3k1v80v80v80m16s8	SAT	0
Qq3k1k3k1v80v80v80m16s9	SAT	0
Qq3k1k3k1v80v80v80m32s0	SAT	0
Qq3k1k3k1v80v80v80m32s1	SAT	0
Qq3k1k3k1v80v80v80m32s2	SAT	0
Qq3k1k3k1v80v80v80m32s3	SAT	0
Qq3k1k3k1v80v80v80m32s6	SAT	0
Qq3k1k3k1v80v80v80m32s7	SAT	0
Qq3k2k1k2v40v40v40m2s0	SAT	0
Qq3k2k1k2v40v40v40m2s2	SAT	0
Qq3k2k1k2v40v40v40m2s3	SAT	0
Qq3k2k1k2v40v40v40m2s4	SAT	0
Qq3k2k1k2v40v40v40m2s7	SAT	0
Qq3k2k1k2v40v40v40m2s9	SAT	0
Qq3k2k1k2v40v40v40m4s0	SAT	0
Qq3k2k1k2v40v40v40m4s1	SAT	0
Qq3k2k1k2v40v40v40m4s2	SAT	0
Qq3k2k1k2v40v40v40m4s3	SAT	0
Qq3k2k1k2v40v40v40m4s4	SAT	0
Qq3k2k1k2v40v40v40m4s5	SAT	0
Qq3k2k1k2v40v40v40m4s6	SAT	0
Qq3k2k1k2v40v40v40m4s7	SAT	0
Qq3k2k1k2v40v40v40m4s8	SAT	0
Qq3k2k1k2v40v40v40m4s9	SAT	0
Qq3k2k1k2v40v40v40m8s1	SAT	0
Qq3k2k1k2v40v40v40m8s2	SAT	0
Qq3k2k1k2v40v40v40m8s5	SAT	0
Qq3k2k1k2v40v40v40m8s7	SAT	0
Qq3k2k1k2v40v40v40m8s9	SAT	0
Qq3k2k1k2v40v40v40m16s1	SAT	0
Qq3k2k1k2v40v40v40m16s2	SAT	0
Qq3k2k1k2v40v40v40m16s3	SAT	0
Qq3k2k1k2v40v40v40m16s4	SAT	0
Qq3k2k1k2v40v40v40m16s5	SAT	0
Qq3k2k1k2v40v40v40m16s6	SAT	0
Qq3k2k1k2v40v40v40m16s7	SAT	0
Qq3k2k1k2v40v40v40m16s8	SAT	0
Qq3k2k1k2v40v40v40m16s9	SAT	0
Qq3k2k1k2v40v40v40m32s0	SAT	0
Qq3k2k1k2v40v40v40m32s1	SAT	0
Qq3k2k1k2v40v40v40m32s2	SAT	0
Qq3k2k1k2v40v40v40m32s3	SAT	0
Qq3k2k1k2v40v40v40m32s4	SAT	0
Qq3k2k1k2v40v40v40m32s5	SAT	0
Qq3k2k1k2v40v40v40m32s6	SAT	0
Qq3k2k1k2v40v40v40m32s7	SAT	0
Qq3k2k1k2v40v40v40m32s9	SAT	0
Qq3k2k1k2v80v80v80m2s1	SAT	0
Qq3k2k1k2v80v80v80m2s2	SAT	0
Qq3k2k1k2v80v80v80m2s4	SAT	0
Qq3k2k1k2v80v80v80m2s5	SAT	0
Qq3k2k1k2v80v80v80m2s6	SAT	0
Qq3k2k1k2v80v80v80m2s7	SAT	0
Qq3k2k1k2v80v80v80m2s8	SAT	0
Qq3k2k1k2v80v80v80m2s9	SAT	0
Qq3k2k1k2v80v80v80m4s0	SAT	0
Qq3k2k1k2v80v80v80m4s1	SAT	0
Qq3k2k1k2v80v80v80m4s2	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
Qq3k2k1k2v80v80v80m8s3	SAT	0
Qq3k2k1k2v80v80v80m8s4	SAT	0
Qq3k2k1k2v80v80v80m8s5	SAT	0
Qq3k2k1k2v80v80v80m8s6	SAT	0
Qq3k2k1k2v80v80v80m8s7	SAT	0
Qq3k2k1k2v80v80v80m8s9	SAT	0
Qq3k2k1k2v80v80v80m16s0	SAT	0
Qq3k2k1k2v80v80v80m16s1	SAT	0
Qq3k2k1k2v80v80v80m16s3	SAT	0
Qq3k2k1k2v80v80v80m16s4	SAT	0
Qq3k2k1k2v80v80v80m16s7	SAT	0
Qq3k2k1k2v80v80v80m16s9	SAT	0
Qq3k2k1k2v80v80v80m32s0	SAT	0
Qq3k2k1k2v80v80v80m32s1	SAT	0
Qq3k2k1k2v80v80v80m32s2	SAT	0
Qq3k2k1k2v80v80v80m32s3	SAT	0
Qq3k2k1k2v80v80v80m32s5	SAT	0
Qq3k2k1k2v80v80v80m32s7	SAT	0
Qq3k2k2k1v40v40v40m2s0	SAT	0
Qq3k2k2k1v40v40v40m2s2	SAT	0
Qq3k2k2k1v40v40v40m2s3	SAT	0
Qq3k2k2k1v40v40v40m2s4	SAT	0
Qq3k2k2k1v40v40v40m2s5	SAT	0
Qq3k2k2k1v40v40v40m2s6	SAT	0
Qq3k2k2k1v40v40v40m2s7	SAT	0
Qq3k2k2k1v40v40v40m2s9	SAT	0
Qq3k2k2k1v40v40v40m4s0	SAT	0
Qq3k2k2k1v40v40v40m4s2	SAT	0
Qq3k2k2k1v40v40v40m4s5	SAT	0
Qq3k2k2k1v40v40v40m4s7	SAT	0
Qq3k2k2k1v40v40v40m4s8	SAT	0
Qq3k2k2k1v40v40v40m4s9	SAT	0
Qq3k2k2k1v40v40v40m8s1	SAT	0
Qq3k2k2k1v40v40v40m8s2	SAT	0
Qq3k2k2k1v40v40v40m8s3	SAT	0
Qq3k2k2k1v40v40v40m8s4	SAT	0
Qq3k2k2k1v40v40v40m8s6	SAT	0
Qq3k2k2k1v40v40v40m8s8	SAT	0
Qq3k2k2k1v40v40v40m16s2	SAT	0
Qq3k2k2k1v40v40v40m16s4	SAT	0
Qq3k2k2k1v40v40v40m16s5	SAT	0
Qq3k2k2k1v40v40v40m16s6	SAT	0
Qq3k2k2k1v40v40v40m16s8	SAT	0
Qq3k2k2k1v40v40v40m16s9	SAT	0
Qq3k2k2k1v40v40v40m32s0	SAT	0
Qq3k2k2k1v40v40v40m32s1	SAT	0
Qq3k2k2k1v40v40v40m32s2	SAT	0
Qq3k2k2k1v40v40v40m32s3	SAT	0
Qq3k2k2k1v40v40v40m32s4	SAT	0
Qq3k2k2k1v40v40v40m32s5	SAT	0
Qq3k2k2k1v40v40v40m32s8	SAT	0
Qq3k2k2k1v80v80v80m2s1	SAT	0
Qq3k2k2k1v80v80v80m2s2	SAT	0
Qq3k2k2k1v80v80v80m2s3	SAT	0
Qq3k2k2k1v80v80v80m2s5	SAT	0
Qq3k2k2k1v80v80v80m2s6	SAT	0
Qq3k2k2k1v80v80v80m2s8	SAT	0
Qq3k2k2k1v80v80v80m2s9	SAT	0
Qq3k2k2k1v80v80v80m4s0	SAT	0
Qq3k2k2k1v80v80v80m4s1	SAT	0
Qq3k2k2k1v80v80v80m4s3	SAT	0
Qq3k2k2k1v80v80v80m4s4	SAT	0
Qq3k2k2k1v80v80v80m4s5	SAT	0
Qq3k2k2k1v80v80v80m4s6	SAT	0
Qq3k2k2k1v80v80v80m8s1	SAT	0
Qq3k2k2k1v80v80v80m8s2	SAT	0
Qq3k2k2k1v80v80v80m8s3	SAT	0
Qq3k2k2k1v80v80v80m8s4	SAT	0
Qq3k2k2k1v80v80v80m8s5	SAT	0
Qq3k2k2k1v80v80v80m8s6	SAT	0
Qq3k2k2k1v80v80v80m8s7	SAT	0
Qq3k2k2k1v80v80v80m16s0	SAT	0
Qq3k2k2k1v80v80v80m16s2	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
Qq3k2k2k1v80v80v80m32s6	SAT	0
Qq3k2k2k1v80v80v80m32s8	SAT	0
Qq3k3k1k1v40v40v40m2s0	SAT	0
Qq3k3k1k1v40v40v40m2s1	SAT	0
Qq3k3k1k1v40v40v40m2s2	SAT	0
Qq3k3k1k1v40v40v40m2s3	SAT	0
Qq3k3k1k1v40v40v40m2s5	SAT	0
Qq3k3k1k1v40v40v40m2s6	SAT	0
Qq3k3k1k1v40v40v40m4s0	SAT	0
Qq3k3k1k1v40v40v40m4s1	SAT	0
Qq3k3k1k1v40v40v40m4s4	SAT	0
Qq3k3k1k1v40v40v40m4s5	SAT	0
Qq3k3k1k1v40v40v40m4s6	SAT	0
Qq3k3k1k1v40v40v40m4s7	SAT	0
Qq3k3k1k1v40v40v40m4s8	SAT	0
Qq3k3k1k1v40v40v40m4s9	SAT	0
Qq3k3k1k1v40v40v40m8s0	SAT	0
Qq3k3k1k1v40v40v40m8s1	SAT	0
Qq3k3k1k1v40v40v40m8s2	SAT	0
Qq3k3k1k1v40v40v40m8s6	SAT	0
Qq3k3k1k1v40v40v40m8s7	SAT	0
Qq3k3k1k1v40v40v40m8s8	SAT	0
Qq3k3k1k1v40v40v40m16s1	SAT	0
Qq3k3k1k1v40v40v40m16s2	SAT	0
Qq3k3k1k1v40v40v40m16s3	SAT	0
Qq3k3k1k1v40v40v40m16s4	SAT	0
Qq3k3k1k1v40v40v40m16s6	SAT	0
Qq3k3k1k1v40v40v40m16s7	SAT	0
Qq3k3k1k1v40v40v40m16s8	SAT	0
Qq3k3k1k1v40v40v40m32s0	SAT	0
Qq3k3k1k1v40v40v40m32s1	SAT	0
Qq3k3k1k1v40v40v40m32s2	SAT	0
Qq3k3k1k1v40v40v40m32s4	SAT	0
Qq3k3k1k1v40v40v40m32s5	SAT	0
Qq3k3k1k1v40v40v40m32s6	SAT	0
Qq3k3k1k1v40v40v40m32s8	SAT	0
Qq3k3k1k1v80v80v80m2s1	SAT	0
Qq3k3k1k1v80v80v80m2s2	SAT	0
Qq3k3k1k1v80v80v80m2s3	SAT	0
Qq3k3k1k1v80v80v80m2s4	SAT	0
Qq3k3k1k1v80v80v80m2s7	SAT	0
Qq3k3k1k1v80v80v80m2s8	SAT	0
Qq3k3k1k1v80v80v80m2s9	SAT	0
Qq3k3k1k1v80v80v80m4s1	SAT	0
Qq3k3k1k1v80v80v80m4s2	SAT	0
Qq3k3k1k1v80v80v80m4s3	SAT	0
Qq3k3k1k1v80v80v80m4s4	SAT	0
Qq3k3k1k1v80v80v80m4s5	SAT	0
Qq3k3k1k1v80v80v80m4s7	SAT	0
Qq3k3k1k1v80v80v80m4s8	SAT	0
Qq3k3k1k1v80v80v80m4s9	SAT	0
Qq3k3k1k1v80v80v80m8s0	SAT	0
Qq3k3k1k1v80v80v80m8s1	SAT	0
Qq3k3k1k1v80v80v80m8s5	SAT	0
Qq3k3k1k1v80v80v80m8s7	SAT	0
Qq3k3k1k1v80v80v80m8s8	SAT	0
Qq3k3k1k1v80v80v80m8s9	SAT	0
Qq3k3k1k1v80v80v80m16s0	SAT	0
Qq3k3k1k1v80v80v80m16s1	SAT	0
Qq3k3k1k1v80v80v80m16s2	SAT	0
Qq3k3k1k1v80v80v80m16s4	SAT	0
Qq3k3k1k1v80v80v80m16s6	SAT	0
Qq3k3k1k1v80v80v80m16s7	SAT	0
Qq3k3k1k1v80v80v80m16s8	SAT	0
Qq3k3k1k1v80v80v80m32s0	SAT	0
Qq3k3k1k1v80v80v80m32s1	SAT	0
Qq3k3k1k1v80v80v80m32s2	SAT	0
Qq3k3k1k1v80v80v80m32s4	SAT	0
Qq3k3k1k1v80v80v80m32s5	SAT	0
Qq3k3k1k1v80v80v80m32s7	SAT	0
Qq3k3k1k1v80v80v80m32s9	SAT	0
3qbf-5cnf-80var-2560cl.9	UNSAT	0.01
ncf_8_16_4_d.1	SAT	0.01
ncf_4_16_4_u.5	FAIL	0.01
ncf_4_8_2_u.7	UNSAT	0.01
ncf_4_16_4_d.5	SAT	0.01
ncf_4_8_2_u.1	UNSAT	0.01
5qbf-5cnf-160var-640cl.8	SAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
ncf_8_16_4_euad.1	SAT	0.01
ncf_4_16_4_d.8	SAT	0.01
ncf_4_8_2_euad.9	SAT	0.01
2qbf-5cnf-160var-320cl.5	SAT	0.01
ncf_4_16_2_edau.4	SAT	0.01
ncf_8_16_4_euad.5	UNSAT	0.01
ncf_4_16_4_euad.8	SAT	0.01
5qbf-5cnf-160var-640cl.4	SAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
5qbf-5cnf-160var-640cl.9	SAT	0.01
ncf_16_32_2_edau.9	UNSAT	0.01
ncf_8_16_4_edau.1	SAT	0.01
ncf_4_16_2_edau.9	SAT	0.01
ncf_4_16_2_euad.6	FAIL	0.01
k_dum_n-8	SAT	0.01
ncf_4_16_4_u.1	SAT	0.01
6qbf-5cnf-160var-640cl.9	SAT	0.01
ncf_8_16_8_euad.1	SAT	0.01
ncf_4_16_4_edau.5	SAT	0.01
ncf_16_32_2_euad.9	UNSAT	0.01
ncf_4_16_2_u.4	SAT	0.01
ncf_4_16_2_d.9	SAT	0.01
ncf_4_16_4_u.8	SAT	0.01
ncf_16_32_2_d.6	SAT	0.01
ncf_8_16_4_d.5	UNSAT	0.01
6qbf-5cnf-160var-640cl.6	SAT	0.01
ncf_4_16_4_edau.8	SAT	0.01
ncf_8_16_4_d.6	UNSAT	0.01
6qbf-5cnf-160var-640cl.7	SAT	0.01
3qbf-5cnf-80var-2560cl.2	UNSAT	0.01
6qbf-5cnf-160var-640cl.1	SAT	0.01
ncf_4_16_4_euad.5	FAIL	0.01
ncf_4_8_4_euad.2	UNSAT	0.01
k_poly_p-21	UNSAT	0.01
k_grz_p-4	UNSAT	0.01
ncf_4_16_4_euad.1	SAT	0.01
ncf_16_32_4_edau.9	SAT	0.01
6qbf-5cnf-160var-640cl.5	SAT	0.01
2qbf-5cnf-160var-320cl.6	SAT	0.01
ncf_4_8_2_euad.5	FAIL	0.01
ncf_4_8_2_euad.7	UNSAT	0.01
ncf_4_8_2_u.6	SAT	0.01
ncf_8_16_4_d.8	UNSAT	0.01
ncf_4_8_8_d.9	UNSAT	0.01
ncf_16_32_4_d.9	SAT	0.01
ncf_4_8_8_edau.9	UNSAT	0.01
ncf_8_16_8_d.1	SAT	0.01
4qbf-5cnf-40var-1280cl.1	UNSAT	0.01
x5.0	SAT	0.01
x5.1	UNSAT	0.01
x5.2	UNSAT	0.01
x5.4	UNSAT	0.01
x5.5	UNSAT	0.01
x5.7	UNSAT	0.01
eijk.S208.S-d2	SAT	0.01
eijk.S298.S-d2	SAT	0.01
eijk.S526.S-d2	SAT	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
texas.ifetch1^4.E-f2	UNSAT	0.01
texas.parsesys^4.E-f2	UNSAT	0.01
Qq2k1k4v40v40m2s4	SAT	0.01
Qq2k1k4v40v40m4s6	SAT	0.01
Qq2k1k4v40v40m16s5	SAT	0.01
Qq2k1k4v40v40m16s8	SAT	0.01
Qq2k1k4v40v40m32s1	UNSAT	0.01
Qq2k1k4v40v40m32s3	UNSAT	0.01
Qq2k1k4v40v40m32s6	UNSAT	0.01
Qq2k1k4v40v40m32s7	UNSAT	0.01
Qq2k1k4v40v40m32s8	UNSAT	0.01
Qq2k1k4v80v80m2s0	SAT	0.01
Qq2k1k4v80v80m2s2	SAT	0.01
Qq2k1k4v80v80m2s4	SAT	0.01
Qq2k1k4v80v80m2s5	SAT	0.01
Qq2k1k4v80v80m2s6	SAT	0.01
Qq2k1k4v80v80m4s3	SAT	0.01
Qq2k1k4v80v80m4s8	SAT	0.01
Qq2k1k4v80v80m8s4	SAT	0.01
Qq2k1k4v80v80m8s6	SAT	0.01
Qq2k1k4v80v80m8s9	SAT	0.01
Qq2k1k4v80v80m16s1	SAT	0.01
Qq2k1k4v80v80m16s5	SAT	0.01
Qq2k1k4v80v80m16s6	SAT	0.01
Qq2k1k4v80v80m16s7	SAT	0.01
Qq2k1k4v80v80m32s6	UNSAT	0.01
Qq2k1k4v80v80m32s8	UNSAT	0.01
Qq2k2k3v40v40m2s3	SAT	0.01
Qq2k2k3v40v40m2s4	SAT	0.01
Qq2k2k3v40v40m2s6	SAT	0.01
Qq2k2k3v40v40m2s8	SAT	0.01
Qq2k2k3v40v40m4s2	SAT	0.01
Qq2k2k3v40v40m4s9	SAT	0.01
Qq2k2k3v40v40m8s6	SAT	0.01
Qq2k2k3v40v40m8s7	SAT	0.01
Qq2k2k3v40v40m16s2	SAT	0.01
Qq2k2k3v40v40m16s7	SAT	0.01
Qq2k2k3v40v40m16s9	SAT	0.01
Qq2k2k3v40v40m32s3	SAT	0.01
Qq2k2k3v40v40m32s8	SAT	0.01
Qq2k2k3v80v80m2s8	SAT	0.01
Qq2k2k3v80v80m4s7	SAT	0.01
Qq2k2k3v80v80m8s1	SAT	0.01
Qq2k2k3v80v80m8s8	SAT	0.01
Qq2k2k3v80v80m16s3	SAT	0.01
Qq2k2k3v80v80m16s4	SAT	0.01
Qq2k2k3v80v80m16s5	SAT	0.01
Qq2k2k3v80v80m16s8	SAT	0.01
Qq2k2k3v80v80m32s2	SAT	0.01
Qq2k2k3v80v80m32s8	SAT	0.01
Qq2k2k3v80v80m32s9	SAT	0.01
Qq2k3k2v40v40m2s2	SAT	0.01
Qq2k3k2v40v40m2s7	SAT	0.01
Qq2k3k2v40v40m2s8	SAT	0.01
Qq2k3k2v40v40m4s5	SAT	0.01
Qq2k3k2v40v40m4s6	SAT	0.01
Qq2k3k2v40v40m8s0	SAT	0.01
Qq2k3k2v40v40m8s5	SAT	0.01
Qq2k3k2v40v40m16s1	SAT	0.01
Qq2k3k2v40v40m16s3	SAT	0.01
Qq2k3k2v40v40m16s5	SAT	0.01
Qq2k3k2v40v40m16s8	SAT	0.01
Qq2k3k2v40v40m32s2	SAT	0.01
Qq2k3k2v80v80m2s0	SAT	0.01
Qq2k3k2v80v80m2s1	SAT	0.01
Qq2k3k2v80v80m2s7	SAT	0.01
Qq2k3k2v80v80m4s1	SAT	0.01
Qq2k3k2v80v80m4s2	SAT	0.01
Qq2k3k2v80v80m4s4	SAT	0.01
Qq2k3k2v80v80m4s8	SAT	0.01
Qq2k3k2v80v80m8s5	SAT	0.01
Qq2k3k2v80v80m16s2	SAT	0.01
Qq2k3k2v80v80m16s5	SAT	0.01
Qq2k3k2v80v80m16s9	SAT	0.01
Qq2k3k2v80v80m32s6	SAT	0.01
Qq3k1k1k3v40v40v40m2s1	SAT	0.01
Qq3k1k1k3v40v40v40m4s0	SAT	0.01
Qq3k1k1k3v40v40v40m4s2	SAT	0.01
Qq3k1k1k3v40v40v40m4s4	SAT	0.01
Qq3k1k1k3v40v40v40m4s5	SAT	0.01
Qq3k1k1k3v40v40v40m4s9	SAT	0.01
Qq3k1k1k3v40v40v40m8s0	SAT	0.01
Qq3k1k1k3v40v40v40m8s1	SAT	0.01
Qq3k1k1k3v40v40v40m8s7	SAT	0.01
Qq3k1k1k3v40v40v40m16s1	SAT	0.01
Qq3k1k1k3v40v40v40m16s2	SAT	0.01
Qq3k1k1k3v40v40v40m16s3	SAT	0.01
Qq3k1k1k3v40v40v40m32s1	SAT	0.01
Qq3k1k1k3v40v40v40m32s7	SAT	0.01
Qq3k1k1k3v40v40v40m32s8	SAT	0.01
Qq3k1k1k3v80v80v80m2s3	SAT	0.01
Qq3k1k1k3v80v80v80m2s5	SAT	0.01
Qq3k1k1k3v80v80v80m4s1	SAT	0.01
Qq3k1k1k3v80v80v80m4s7	SAT	0.01
Qq3k1k1k3v80v80v80m4s8	SAT	0.01
Qq3k1k1k3v80v80v80m8s3	SAT	0.01
Qq3k1k1k3v80v80v80m8s4	SAT	0.01
Qq3k1k1k3v80v80v80m8s6	SAT	0.01
Qq3k1k1k3v80v80v80m8s7	SAT	0.01
Qq3k1k1k3v80v80v80m16s1	SAT	0.01
Qq3k1k1k3v80v80v80m16s2	SAT	0.01
Qq3k1k1k3v80v80v80m16s4	SAT	0.01
Qq3k1k1k3v80v80v80m32s2	SAT	0.01
Qq3k1k1k3v80v80v80m32s3	SAT	0.01
Qq3k1k2k2v40v40v40m2s5	SAT	0.01
Qq3k1k2k2v40v40v40m2s7	SAT	0.01
Qq3k1k2k2v40v40v40m4s3	SAT	0.01
Qq3k1k2k2v40v40v40m8s5	SAT	0.01
Qq3k1k2k2v40v40v40m8s6	SAT	0.01
Qq3k1k2k2v40v40v40m16s2	SAT	0.01
Qq3k1k2k2v40v40v40m32s0	SAT	0.01
Qq3k1k2k2v40v40v40m32s5	SAT	0.01
Qq3k1k2k2v40v40v40m32s7	SAT	0.01
Qq3k1k2k2v40v40v40m32s9	SAT	0.01
Qq3k1k2k2v80v80v80m2s5	SAT	0.01
Qq3k1k2k2v80v80v80m2s6	SAT	0.01
Qq3k1k2k2v80v80v80m2s8	SAT	0.01
Qq3k1k2k2v80v80v80m2s9	SAT	0.01
Qq3k1k2k2v80v80v80m4s1	SAT	0.01
Qq3k1k2k2v80v80v80m4s7	SAT	0.01
Qq3k1k2k2v80v80v80m4s8	SAT	0.01
Qq3k1k2k2v80v80v80m4s9	SAT	0.01
Qq3k1k2k2v80v80v80m8s3	SAT	0.01
Qq3k1k2k2v80v80v80m8s5	SAT	0.01
Qq3k1k2k2v80v80v80m8s6	SAT	0.01
Qq3k1k2k2v80v80v80m16s2	SAT	0.01
Qq3k1k2k2v80v80v80m32s2	SAT	0.01
Qq3k1k2k2v80v80v80m32s5	SAT	0.01
Qq3k1k3k1v40v40v40m2s3	SAT	0.01
Qq3k1k3k1v40v40v40m4s6	SAT	0.01
Qq3k1k3k1v40v40v40m8s1	SAT	0.01
Qq3k1k3k1v40v40v40m16s8	SAT	0.01
Qq3k1k3k1v40v40v40m16s9	SAT	0.01
Qq3k1k3k1v40v40v40m32s2	SAT	0.01
Qq3k1k3k1v80v80v80m2s0	SAT	0.01
Qq3k1k3k1v80v80v80m2s2	SAT	0.01
Qq3k1k3k1v80v80v80m2s4	SAT	0.01
Qq3k1k3k1v80v80v80m4s6	SAT	0.01
Qq3k1k3k1v80v80v80m4s8	SAT	0.01
Qq3k1k3k1v80v80v80m8s1	SAT	0.01
Qq3k1k3k1v80v80v80m8s7	SAT	0.01
Qq3k1k3k1v80v80v80m8s8	SAT	0.01
Qq3k1k3k1v80v80v80m16s3	SAT	0.01
Qq3k1k3k1v80v80v80m16s5	SAT	0.01
Qq3k1k3k1v80v80v80m32s4	SAT	0.01
Qq3k1k3k1v80v80v80m32s5	SAT	0.01
Qq3k1k3k1v80v80v80m32s8	SAT	0.01
Qq3k2k1k2v40v40v40m2s5	SAT	0.01
Qq3k2k1k2v40v40v40m2s6	SAT	0.01
Qq3k2k1k2v40v40v40m2s8	SAT	0.01
Qq3k2k1k2v40v40v40m8s0	SAT	0.01
Qq3k2k1k2v40v40v40m8s3	SAT	0.01
Qq3k2k1k2v40v40v40m8s4	SAT	0.01
Qq3k2k1k2v40v40v40m8s6	SAT	0.01
Qq3k2k1k2v40v40v40m8s8	SAT	0.01
Qq3k2k1k2v40v40v40m16s0	SAT	0.01
Qq3k2k1k2v40v40v40m32s8	SAT	0.01
Qq3k2k1k2v80v80v80m2s0	SAT	0.01
Qq3k2k1k2v80v80v80m2s3	SAT	0.01
Qq3k2k1k2v80v80v80m4s3	SAT	0.01
Qq3k2k1k2v80v80v80m8s8	SAT	0.01
Qq3k2k1k2v80v80v80m16s2	SAT	0.01
Qq3k2k1k2v80v80v80m16s5	SAT	0.01
Qq3k2k1k2v80v80v80m16s6	SAT	0.01
Qq3k2k1k2v80v80v80m32s4	SAT	0.01
Qq3k2k1k2v80v80v80m32s9	SAT	0.01
Qq3k2k2k1v40v40v40m2s1	SAT	0.01
Qq3k2k2k1v40v40v40m2s8	SAT	0.01
Qq3k2k2k1v40v40v40m4s1	SAT	0.01
Qq3k2k2k1v40v40v40m4s3	SAT	0.01
Qq3k2k2k1v40v40v40m4s4	SAT	0.01
Qq3k2k2k1v40v40v40m4s6	SAT	0.01
Qq3k2k2k1v40v40v40m8s0	SAT	0.01
Qq3k2k2k1v40v40v40m8s5	SAT	0.01
Qq3k2k2k1v40v40v40m8s7	SAT	0.01
Qq3k2k2k1v40v40v40m8s9	SAT	0.01
Qq3k2k2k1v40v40v40m16s1	SAT	0.01
Qq3k2k2k1v40v40v40m16s3	SAT	0.01
Qq3k2k2k1v40v40v40m16s7	SAT	0.01
Qq3k2k2k1v40v40v40m32s6	SAT	0.01
Qq3k2k2k1v40v40v40m32s7	SAT	0.01
Qq3k2k2k1v40v40v40m32s9	SAT	0.01
Qq3k2k2k1v80v80v80m2s0	SAT	0.01
Qq3k2k2k1v80v80v80m2s4	SAT	0.01
Qq3k2k2k1v80v80v80m2s7	SAT	0.01
Qq3k2k2k1v80v80v80m4s2	SAT	0.01
Qq3k2k2k1v80v80v80m4s7	SAT	0.01
Qq3k2k2k1v80v80v80m4s8	SAT	0.01
Qq3k2k2k1v80v80v80m4s9	SAT	0.01
Qq3k2k2k1v80v80v80m8s0	SAT	0.01
Qq3k2k2k1v80v80v80m8s9	SAT	0.01
Qq3k2k2k1v80v80v80m16s1	SAT	0.01
Qq3k2k2k1v80v80v80m16s3	SAT	0.01
Qq3k2k2k1v80v80v80m32s0	SAT	0.01
Qq3k2k2k1v80v80v80m32s5	SAT	0.01
Qq3k2k2k1v80v80v80m32s7	SAT	0.01
Qq3k2k2k1v80v80v80m32s9	SAT	0.01
Qq3k3k1k1v40v40v40m2s4	SAT	0.01
Qq3k3k1k1v40v40v40m2s8	SAT	0.01
Qq3k3k1k1v40v40v40m4s2	SAT	0.01
Qq3k3k1k1v40v40v40m4s3	SAT	0.01
Qq3k3k1k1v40v40v40m8s3	SAT	0.01
Qq3k3k1k1v40v40v40m8s4	SAT	0.01
Qq3k3k1k1v40v40v40m8s5	SAT	0.01
Qq3k3k1k1v40v40v40m8s9	SAT	0.01
Qq3k3k1k1v40v40v40m16s0	SAT	0.01
Qq3k3k1k1v40v40v40m16s5	SAT	0.01
Qq3k3k1k1v40v40v40m16s9	SAT	0.01
Qq3k3k1k1v40v40v40m32s3	SAT	0.01
Qq3k3k1k1v40v40v40m32s7	SAT	0.01
Qq3k3k1k1v80v80v80m2s0	SAT	0.01
Qq3k3k1k1v80v80v80m2s5	SAT	0.01
Qq3k3k1k1v80v80v80m4s0	SAT	0.01
Qq3k3k1k1v80v80v80m4s6	SAT	0.01
Qq3k3k1k1v80v80v80m8s2	SAT	0.01
Qq3k3k1k1v80v80v80m8s4	SAT	0.01
Qq3k3k1k1v80v80v80m8s6	SAT	0.01
Qq3k3k1k1v80v80v80m16s3	SAT	0.01
Qq3k3k1k1v80v80v80m16s5	SAT	0.01
Qq3k3k1k1v80v80v80m16s9	SAT	0.01
Qq3k3k1k1v80v80v80m32s3	SAT	0.01
Qq3k3k1k1v80v80v80m32s6	SAT	0.01
Qq3k3k1k1v80v80v80m32s8	SAT	0.01
Qq2k3k2v80v80m32s9	SAT	0.01
ncf_4_16_2_euad.2	SAT	0.02
ncf_4_8_2_euad.8	SAT	0.02
ncf_8_16_4_d.10	SAT	0.02
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.02
ncf_4_8_8_d.8	SAT	0.02
ncf_4_8_8_edau.5	UNSAT	0.02
3qbf-5cnf-80var-2560cl.0	UNSAT	0.02
ncf_16_32_2_d.7	UNSAT	0.02
ncf_16_32_2_u.9	UNSAT	0.02
ncf_4_8_2_euad.6	SAT	0.02
ncf_4_8_8_d.5	UNSAT	0.02
ncf_4_16_4_d.1	SAT	0.02
ncf_4_16_2_u.2	SAT	0.02
k_poly_n-16	SAT	0.02
ncf_16_32_4_edau.10	UNSAT	0.02
5qbf-5cnf-160var-640cl.0	SAT	0.02
k_dum_n-20	SAT	0.02
ncf_8_16_4_edau.6	UNSAT	0.02
k_poly_n-8	SAT	0.02
k_dum_p-16	UNSAT	0.02
k_poly_p-12	UNSAT	0.02
k_poly_n-12	SAT	0.02
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.02
k_grz_p-8	UNSAT	0.02
ncf_4_16_4_edau.1	SAT	0.02
counter_re_4	SAT	0.02
k_poly_p-20	UNSAT	0.02
3qbf-5cnf-80var-2560cl.3	UNSAT	0.02
ncf_8_16_4_edau.8	UNSAT	0.02
6qbf-5cnf-160var-640cl.3	SAT	0.02
ncf_16_32_4_d.10	UNSAT	0.02
ncf_4_8_8_edau.8	SAT	0.02
x10.0	UNSAT	0.02
x10.1	UNSAT	0.02
x10.3	UNSAT	0.02
x10.5	UNSAT	0.02
x10.7	SAT	0.02
x10.9	UNSAT	0.02
x5.8	UNSAT	0.02
eijk.S386.S-d2	SAT	0.02
Qq2k1k4v40v40m4s0	SAT	0.02
Qq2k1k4v40v40m16s2	UNSAT	0.02
Qq2k1k4v80v80m32s0	UNSAT	0.02
Qq2k2k3v40v40m2s9	SAT	0.02
Qq2k3k2v40v40m4s3	SAT	0.02
Qq3k1k1k3v40v40v40m2s9	SAT	0.02
Qq3k1k1k3v40v40v40m8s4	SAT	0.02
Qq3k1k1k3v40v40v40m16s0	SAT	0.02
Qq3k1k1k3v40v40v40m32s0	SAT	0.02
Qq3k1k1k3v40v40v40m32s2	SAT	0.02
Qq3k1k1k3v80v80v80m2s0	SAT	0.02
Qq3k1k1k3v80v80v80m8s8	SAT	0.02
Qq3k1k1k3v80v80v80m16s6	SAT	0.02
Qq3k1k1k3v80v80v80m32s0	SAT	0.02
Qq3k1k2k2v40v40v40m4s5	SAT	0.02
Qq3k1k2k2v40v40v40m8s7	SAT	0.02
Qq3k1k2k2v80v80v80m2s1	SAT	0.02
Qq3k1k3k1v80v80v80m16s1	SAT	0.02
Qq3k1k3k1v80v80v80m32s9	SAT	0.02
Qq3k2k1k2v80v80v80m16s8	SAT	0.02
Qq3k2k1k2v80v80v80m32s6	SAT	0.02
Qq3k2k1k2v80v80v80m32s8	SAT	0.02
Qq3k2k2k1v40v40v40m16s0	SAT	0.02
Qq3k2k2k1v80v80v80m8s8	SAT	0.02
Qq3k2k2k1v80v80v80m32s4	SAT	0.02
Qq3k3k1k1v40v40v40m2s7	SAT	0.02
Qq3k3k1k1v40v40v40m2s9	SAT	0.02
Qq3k3k1k1v40v40v40m32s9	SAT	0.02
Qq3k3k1k1v80v80v80m2s6	SAT	0.02
Qq3k3k1k1v80v80v80m8s3	SAT	0.02
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.03
k_dum_p-21	UNSAT	0.03
ncf_4_16_2_d.2	SAT	0.03
ncf_16_32_4_d.7	UNSAT	0.03
5qbf-5cnf-160var-640cl.1	SAT	0.03
k_dum_p-20	UNSAT	0.03
ncf_16_32_8_edau.4	SAT	0.03
k_path_n-8	SAT	0.03
k_dum_n-16	SAT	0.03
k_t4p_p-4	UNSAT	0.03
5qbf-5cnf-20var-640cl.7	UNSAT	0.03
BLOCKS3i.4.4	UNSAT	0.03
ncf_16_32_4_edau.7	UNSAT	0.03
k_lin_n-4	SAT	0.03
k_grz_n-8	SAT	0.03
k_grz_p-12	UNSAT	0.03
k_dum_p-12	UNSAT	0.03
k_path_p-12	UNSAT	0.03
s27_d3_u	UNSAT	0.03
ncf_8_16_8_edau.1	SAT	0.03
k_dum_n-21	SAT	0.03
ncf_16_32_8_d.4	SAT	0.03
k_poly_n-21	SAT	0.03
k_path_p-8	UNSAT	0.03
k_dum_n-12	SAT	0.03
x10.2	UNSAT	0.03
x10.6	UNSAT	0.03
x10.8	UNSAT	0.03
vis.emodel.E-f2	UNSAT	0.03
Qq2k2k3v80v80m2s0	SAT	0.03
Qq2k2k3v80v80m32s4	SAT	0.03
Qq2k3k2v40v40m4s1	SAT	0.03
Qq2k3k2v40v40m16s4	SAT	0.03
Qq3k1k1k3v40v40v40m16s8	SAT	0.03
Qq3k2k1k2v40v40v40m2s1	SAT	0.03
ncf_16_32_4_edau.1	FAIL	0.04
k_poly_n-20	SAT	0.04
2qbf-5cnf-160var-320cl.3	SAT	0.04
qshifter_5	SAT	0.04
k_ph_n-8	SAT	0.04
k_path_n-12	SAT	0.04
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	0.04
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.04
x10.4	SAT	0.04
sortnetsort5.v.stepl.003	UNSAT	0.04
k_path_p-16	UNSAT	0.05
CHAIN20v.21	SAT	0.05
k_lin_p-8	UNSAT	0.05
toilet_c_10_05.7	SAT	0.05
k_path_n-16	SAT	0.05
k_t4p_n-4	SAT	0.05
ncf_4_16_2_euad.4	SAT	0.05
CHAIN23v.24	SAT	0.06
CHAIN22v.23	SAT	0.06
CHAIN21v.22	SAT	0.06
k_path_p-21	UNSAT	0.06
k_lin_p-12	UNSAT	0.06
BLOCKS3iii.5	SAT	0.06
sortnetsort5.v.stepl.005	SAT	0.06
sortnetsort5.v.stepl.006	SAT	0.06
sortnetsort5.v.stepl.007	SAT	0.06
ncf_4_32_2_edau.1	UNSAT	0.07
ncf_4_16_2_d.5	UNSAT	0.07
k_path_p-20	UNSAT	0.07
k_path_n-20	SAT	0.07
k_path_n-21	SAT	0.07
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.07
texas.parsesys^3.E-f2	SAT	0.07
sortnetsort5.v.stepl.004	UNSAT	0.07
k_d4_p-16	UNSAT	0.08
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.08
vis.elevator^1.E-f2	UNSAT	0.08
x15.6	UNSAT	0.09
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	0.1
s27_d4_u	UNSAT	0.1
k_lin_p-16	UNSAT	0.1
TOILET10.1.iv.20	SAT	0.1
k_d4_p-20	UNSAT	0.11
lut4_2_fXOR	SAT	0.11
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.11
ncf_4_8_8_edau.1	SAT	0.11
x15.5	UNSAT	0.11
x15.8	SAT	0.11
sortnetsort6.v.stepl.003	UNSAT	0.11
ncf_4_8_8_d.3	SAT	0.12
x15.2	UNSAT	0.12
x15.3	SAT	0.12
k_d4_p-21	UNSAT	0.13
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.13
x15.4	UNSAT	0.13
x15.7	UNSAT	0.13
irst.dme4.B-d2	SAT	0.13
texas.ifetch1^8.E-f2	SAT	0.13
BLOCKS3ii.5.2	UNSAT	0.14
BLOCKS3ii.5.3	SAT	0.14
x15.1	SAT	0.14
ncf_4_16_2_d.7	SAT	0.15
x15.9	UNSAT	0.15
ncf_4_16_2_edau.5	UNSAT	0.16
2qbf-5cnf-160var-320cl.9	SAT	0.16
x15.0	UNSAT	0.16
Adder2-4-s	SAT	0.17
ncf_4_8_8_edau.3	SAT	0.18
eijk.S820.S-d2	SAT	0.18
adder-4-sat	SAT	0.19
ncf_4_16_4_d.9	SAT	0.19
eijk.S832.S-d2	SAT	0.2
counter_8	SAT	0.22
sortnetsort6.v.stepl.004	UNSAT	0.22
sortnetsort6.v.stepl.005	SAT	0.22
BLOCKS3i.5.3	UNSAT	0.23
ncf_4_8_8_u.1	SAT	0.24
ncf_4_8_8_u.3	SAT	0.24
sortnetsort6.v.stepl.006	SAT	0.25
BLOCKS3i.5.4	SAT	0.26
k_lin_p-20	UNSAT	0.26
k_lin_n-8	SAT	0.28
qshifter_6	SAT	0.28
sortnetsort6.v.stepl.007	SAT	0.28
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	0.3
k_lin_p-21	UNSAT	0.32
s27_d5_u	UNSAT	0.34
ncf_4_8_8_d.1	SAT	0.35
ncf_4_16_2_edau.7	SAT	0.35
sortnetsort7.v.stepl.003	UNSAT	0.35
k_grz_n-12	SAT	0.36
ncf_4_8_2_u.2	SAT	0.38
s298_d2_s	SAT	0.39
vis.bakery.E-f2	SAT	0.4
eijk.S349.S-d2	SAT	0.41
TOILET7.1.iv.13	UNSAT	0.42
s499_d2_s	SAT	0.43
connect_8x7_4_W	UNSAT	0.44
eijk.S344.S-d2	SAT	0.45
connect_8x7_3_W	UNSAT	0.46
vis.eisenberg.E-f2	SAT	0.46
connect_8x7_3_D	UNSAT	0.48
lut4_AND_f1	SAT	0.49
connect_8x7_4_D	UNSAT	0.5
ncf_4_8_8_euad.3	SAT	0.57
x20.8	SAT	0.58
sortnetsort7.v.stepl.004	UNSAT	0.58
texas.parsesys^1.E-f2	SAT	0.61
connect_9x8_5_W	UNSAT	0.68
x20.5	SAT	0.68
vis.emodel.E-d2	SAT	0.69
x20.6	SAT	0.7
connect_9x8_5_D	UNSAT	0.74
connect_9x8_4_W	UNSAT	0.75
x20.0	SAT	0.75
x20.4	UNSAT	0.75
connect_9x8_3_W	UNSAT	0.77
TOILET16.1.iv.32	SAT	0.77
k_ph_p-8	UNSAT	0.79
connect_9x8_3_D	UNSAT	0.82
connect_9x8_4_D	UNSAT	0.84
k_ph_n-12	SAT	0.85
k_lin_n-12	SAT	0.94
lognBWLARGEA1	UNSAT	0.94
sortnetsort7.v.stepl.007	SAT	0.94
ncf_4_8_2_euad.2	SAT	0.97
x20.3	UNSAT	0.97
x20.1	UNSAT	0.99
2qbf-5cnf-40var-160cl.7	UNSAT	1.05
irst.dme5.B-d2	SAT	1.05
ncf_4_16_4_edau.9	SAT	1.06
sortnetsort8.v.stepl.003	UNSAT	1.07
sortnetsort7.v.stepl.008	SAT	1.1
ncf_4_8_4_u.8	UNSAT	1.11
3qbf-5cnf-20var-320cl.4	UNSAT	1.11
x20.9	SAT	1.2
x20.2	SAT	1.21
k_d4_n-4	SAT	1.24
ncf_16_32_2_euad.7	UNSAT	1.36
sortnetsort7.v.stepl.009	SAT	1.36
k_grz_p-16	UNSAT	1.4
x20.7	SAT	1.41
sortnetsort7.v.stepl.006	SAT	1.52
ncf_4_16_4_euad.9	SAT	1.64
vis.4-arbit^1.E-d2	SAT	1.78
k_grz_n-16	SAT	1.89
irst.dme6.B-d2	SAT	1.91
1qbf-5cnf-160var-2560cl.7	SAT	1.96
ncf_4_8_4_u.6	SAT	1.97
sortnetsort8.v.stepl.004	UNSAT	1.97
k_grz_p-21	UNSAT	2
k_lin_n-16	SAT	2.03
k_grz_p-20	UNSAT	2.28
qshifter_7	SAT	2.36
sortnetsort8.v.stepl.006	SAT	2.54
ncf_4_16_4_u.9	SAT	2.63
eijk.S1423.S-d2	SAT	2.79
ncf_16_32_2_edau.7	UNSAT	2.8
toilet_a_10_05.4	SAT	2.9
x25.8	UNSAT	3.02
sortnetsort8.v.stepl.007	SAT	3.14
BLOCKS4iii.6	UNSAT	3.26
ncf_4_8_4_u.10	SAT	3.42
sortnetsort8.v.stepl.008	SAT	3.52
nusmv.syncarb5^2.B-f2	SAT	3.62
1qbf-5cnf-160var-2560cl.6	SAT	3.68
texas.ifetch1^9.E-f2	SAT	3.73
lognBWLARGEB1	UNSAT	3.83
lut4_AND_fXOR	UNSAT	3.86
k_lin_n-20	SAT	4
ncf_4_8_4_euad.6	SAT	4.01
2qbf-5cnf-40var-160cl.2	UNSAT	4.12
sortnetsort8.v.stepl.009	SAT	4.14
x25.3	UNSAT	4.25
lut4_2_f1	SAT	4.68
x25.9	UNSAT	4.69
k_lin_n-21	SAT	4.7
ncf_4_8_4_euad.10	SAT	4.8
x25.0	SAT	4.89
x25.7	UNSAT	4.89
x25.2	SAT	4.94
k_grz_n-20	SAT	5.3
sortnetsort9.v.stepl.004	UNSAT	5.63
x25.4	UNSAT	5.66
BLOCKS4ii.6.3	UNSAT	5.71
x25.5	UNSAT	5.75
texas.parsesys^2.E-f2	UNSAT	5.8
2qbf-5cnf-160var-320cl.0	SAT	5.91
sortnetsort7.v.stepl.005	UNSAT	6.48
BLOCKS4i.6.4	UNSAT	6.63
k_ph_n-16	SAT	7.02
x25.6	UNSAT	7.16
BLOCKS4ii.7.2	UNSAT	7.42
ncf_8_16_8_edau.6	UNSAT	7.7
BLOCKS4iii.7	SAT	8
k_grz_n-21	SAT	8.3
2qbf-5cnf-40var-160cl.1	UNSAT	8.43
lut4_2_f2	UNSAT	8.58
2qbf-5cnf-160var-320cl.7	SAT	8.76
sortnetsort9.v.stepl.008	SAT	9.19
s386_d2_s	SAT	9.59
lut4_3_fAND	SAT	9.96
2qbf-5cnf-40var-160cl.6	UNSAT	10.32
1qbf-5cnf-160var-2560cl.9	SAT	10.38
2qbf-5cnf-80var-640cl.6	FAIL	10.62
x25.1	SAT	10.79
4qbf-5cnf-80var-1280cl.2	FAIL	11.13
szymanski-14-s	FAIL	11.33
k_branch_p-4	UNSAT	11.43
2qbf-5cnf-80var-640cl.8	FAIL	11.48
2qbf-5cnf-80var-640cl.7	FAIL	11.68
3qbf-5cnf-80var-1280cl.5	FAIL	11.73
2qbf-5cnf-80var-640cl.4	FAIL	11.85
4qbf-5cnf-80var-1280cl.8	FAIL	11.85
s510_d2_s	SAT	11.88
4qbf-5cnf-80var-1280cl.7	FAIL	11.91
2qbf-5cnf-80var-640cl.0	FAIL	12.03
3qbf-5cnf-80var-1280cl.6	FAIL	12.09
adder-4-unsat	FAIL	12.13
3qbf-5cnf-20var-320cl.2	UNSAT	12.17
5qbf-5cnf-80var-640cl.4	FAIL	12.17
3qbf-5cnf-160var-2560cl.7	FAIL	12.18
3qbf-5cnf-80var-1280cl.4	FAIL	12.25
2qbf-5cnf-80var-640cl.1	FAIL	12.36
2qbf-5cnf-80var-640cl.2	FAIL	12.44
4qbf-5cnf-40var-320cl.0	FAIL	12.48
2qbf-5cnf-80var-1280cl.6	FAIL	12.52
6qbf-5cnf-40var-640cl.3	FAIL	12.53
Adder2-6-c	FAIL	12.58
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	12.67
szymanski-20-s	FAIL	12.71
nusmv.dme2-16.B-d2	SAT	12.74
szymanski-12-s	FAIL	12.76
3qbf-5cnf-80var-320cl.5	FAIL	12.8
2qbf-5cnf-160var-2560cl.8	FAIL	12.86
3qbf-5cnf-20var-320cl.1	UNSAT	12.89
szymanski-16-s	FAIL	12.99
2qbf-5cnf-80var-320cl.7	FAIL	13.01
3qbf-5cnf-40var-640cl.2	FAIL	13.02
2qbf-5cnf-40var-320cl.8	FAIL	13.05
2qbf-5cnf-80var-640cl.9	FAIL	13.07
4qbf-5cnf-160var-2560cl.1	FAIL	13.12
3qbf-5cnf-80var-1280cl.1	FAIL	13.15
5qbf-5cnf-80var-1280cl.3	FAIL	13.15
6qbf-5cnf-80var-640cl.8	FAIL	13.16
3qbf-5cnf-80var-1280cl.8	FAIL	13.19
2qbf-5cnf-80var-1280cl.1	FAIL	13.2
4qbf-5cnf-80var-1280cl.4	FAIL	13.25
2qbf-5cnf-80var-320cl.3	FAIL	13.25
2qbf-5cnf-80var-320cl.6	FAIL	13.26
3qbf-5cnf-80var-1280cl.7	FAIL	13.28
2qbf-5cnf-80var-320cl.8	FAIL	13.32
5qbf-5cnf-20var-320cl.0	FAIL	13.34
k_d4_n-8	FAIL	13.35
2qbf-5cnf-80var-1280cl.0	FAIL	13.35
5qbf-5cnf-80var-1280cl.5	FAIL	13.36
2qbf-5cnf-80var-640cl.3	FAIL	13.38
2qbf-5cnf-40var-320cl.2	FAIL	13.39
k_d4_p-8	FAIL	13.39
6qbf-5cnf-20var-320cl.2	FAIL	13.4
2qbf-5cnf-40var-320cl.6	FAIL	13.41
3qbf-5cnf-40var-640cl.6	FAIL	13.45
szymanski-18-s	FAIL	13.46
5qbf-5cnf-80var-1280cl.7	FAIL	13.48
2qbf-5cnf-160var-2560cl.9	FAIL	13.49
4qbf-5cnf-160var-640cl.9	FAIL	13.52
2qbf-5cnf-40var-320cl.1	FAIL	13.52
k_branch_n-8	FAIL	13.54
ncf_8_16_4_edau.7	FAIL	13.54
sortnetsort9.v.stepl.007	SAT	13.54
2qbf-5cnf-80var-1280cl.3	FAIL	13.57
4qbf-5cnf-160var-2560cl.2	FAIL	13.64
4qbf-5cnf-40var-640cl.1	FAIL	13.67
k_branch_n-4	FAIL	13.67
6qbf-5cnf-40var-320cl.4	FAIL	13.68
6qbf-5cnf-20var-640cl.0	FAIL	13.69
6qbf-5cnf-80var-1280cl.9	FAIL	13.76
5qbf-5cnf-40var-640cl.1	FAIL	13.78
4qbf-5cnf-80var-1280cl.1	FAIL	13.79
5qbf-5cnf-20var-640cl.0	FAIL	13.82
4qbf-5cnf-80var-1280cl.5	FAIL	13.84
2qbf-5cnf-80var-1280cl.8	FAIL	13.87
5qbf-5cnf-40var-640cl.9	FAIL	13.88
k_branch_p-8	FAIL	13.89
sortnetsort9.v.stepl.009	SAT	13.92
5qbf-5cnf-20var-320cl.9	FAIL	13.95
3qbf-5cnf-80var-1280cl.3	FAIL	13.97
5qbf-5cnf-20var-320cl.2	FAIL	14
2qbf-5cnf-80var-1280cl.7	FAIL	14
3qbf-5cnf-40var-640cl.7	FAIL	14
5qbf-5cnf-40var-640cl.4	FAIL	14.01
k_d4_n-16	FAIL	14.03
k_d4_n-20	FAIL	14.03
4qbf-5cnf-80var-1280cl.9	FAIL	14.03
4qbf-5cnf-20var-320cl.1	FAIL	14.05
2qbf-5cnf-80var-1280cl.5	FAIL	14.08
4qbf-5cnf-160var-640cl.5	FAIL	14.1
6qbf-5cnf-20var-320cl.1	FAIL	14.11
Adder2-8-c	FAIL	14.14
5qbf-5cnf-40var-640cl.7	FAIL	14.16
2qbf-5cnf-80var-320cl.1	FAIL	14.18
k_d4_n-21	FAIL	14.18
6qbf-5cnf-80var-1280cl.4	FAIL	14.19
4qbf-5cnf-160var-2560cl.3	FAIL	14.2
2qbf-5cnf-80var-640cl.5	FAIL	14.23
4qbf-5cnf-20var-320cl.2	FAIL	14.27
2qbf-5cnf-40var-320cl.7	FAIL	14.29
5qbf-5cnf-80var-1280cl.2	FAIL	14.29
4qbf-5cnf-40var-640cl.3	FAIL	14.32
2qbf-5cnf-40var-320cl.4	FAIL	14.32
6qbf-5cnf-80var-1280cl.3	FAIL	14.35
6qbf-5cnf-40var-640cl.7	FAIL	14.36
6qbf-5cnf-160var-2560cl.6	FAIL	14.38
2qbf-5cnf-80var-320cl.2	FAIL	14.41
5qbf-5cnf-80var-1280cl.0	FAIL	14.41
2qbf-5cnf-80var-1280cl.9	FAIL	14.45
2qbf-5cnf-40var-320cl.5	FAIL	14.49
3qbf-5cnf-160var-2560cl.9	FAIL	14.52
5qbf-5cnf-20var-320cl.5	FAIL	14.54
4qbf-5cnf-160var-640cl.3	FAIL	14.58
2qbf-5cnf-160var-2560cl.2	FAIL	14.59
3qbf-5cnf-160var-640cl.6	FAIL	14.59
6qbf-5cnf-160var-2560cl.5	FAIL	14.6
sortnetsort9.v.stepl.010	SAT	14.61
5qbf-5cnf-80var-1280cl.1	FAIL	14.64
5qbf-5cnf-20var-320cl.7	FAIL	14.65
2qbf-5cnf-80var-1280cl.2	FAIL	14.66
4qbf-5cnf-40var-640cl.0	FAIL	14.67
4qbf-5cnf-80var-1280cl.3	FAIL	14.68
k_t4p_p-8	FAIL	14.68
2qbf-5cnf-160var-2560cl.3	FAIL	14.72
5qbf-5cnf-160var-2560cl.7	FAIL	14.72
3qbf-5cnf-160var-2560cl.3	FAIL	14.73
6qbf-5cnf-40var-640cl.4	FAIL	14.73
3qbf-5cnf-80var-1280cl.2	FAIL	14.73
6qbf-5cnf-160var-2560cl.1	FAIL	14.75
3qbf-5cnf-80var-320cl.3	FAIL	14.79
6qbf-5cnf-20var-320cl.8	FAIL	14.83
4qbf-5cnf-40var-320cl.5	FAIL	14.83
2qbf-5cnf-160var-2560cl.0	FAIL	14.84
4qbf-5cnf-40var-640cl.5	FAIL	14.88
4qbf-5cnf-80var-1280cl.0	FAIL	14.88
2qbf-5cnf-160var-2560cl.7	FAIL	14.88
6qbf-5cnf-20var-640cl.5	FAIL	14.9
5qbf-5cnf-160var-2560cl.6	FAIL	14.9
3qbf-5cnf-40var-640cl.5	FAIL	14.96
5qbf-5cnf-160var-2560cl.4	FAIL	14.96
3qbf-5cnf-80var-1280cl.9	FAIL	14.97
4qbf-5cnf-40var-640cl.8	FAIL	15
6qbf-5cnf-20var-320cl.4	FAIL	15.01
4qbf-5cnf-20var-320cl.7	FAIL	15.03
6qbf-5cnf-80var-640cl.4	FAIL	15.04
6qbf-5cnf-80var-1280cl.5	FAIL	15.05
6qbf-5cnf-160var-2560cl.9	FAIL	15.06
4qbf-5cnf-40var-640cl.9	FAIL	15.08
k_d4_n-12	FAIL	15.12
4qbf-5cnf-160var-2560cl.6	FAIL	15.14
4qbf-5cnf-20var-640cl.7	FAIL	15.15
6qbf-5cnf-20var-320cl.3	FAIL	15.17
6qbf-5cnf-40var-320cl.1	FAIL	15.17
3qbf-5cnf-80var-1280cl.0	FAIL	15.18
5qbf-5cnf-20var-640cl.8	FAIL	15.18
3qbf-5cnf-40var-640cl.1	FAIL	15.19
5qbf-5cnf-160var-2560cl.8	FAIL	15.2
6qbf-5cnf-160var-2560cl.3	FAIL	15.24
6qbf-5cnf-20var-640cl.7	FAIL	15.26
3qbf-5cnf-160var-2560cl.5	FAIL	15.26
6qbf-5cnf-80var-640cl.7	FAIL	15.26
6qbf-5cnf-80var-1280cl.8	FAIL	15.26
1qbf-5cnf-160var-2560cl.3	SAT	15.27
4qbf-5cnf-160var-2560cl.7	FAIL	15.32
6qbf-5cnf-80var-1280cl.0	FAIL	15.32
4qbf-5cnf-160var-2560cl.5	FAIL	15.32
6qbf-5cnf-20var-640cl.8	FAIL	15.33
5qbf-5cnf-40var-320cl.2	FAIL	15.34
6qbf-5cnf-40var-320cl.2	FAIL	15.35
5qbf-5cnf-40var-640cl.2	FAIL	15.37
4qbf-5cnf-160var-2560cl.4	FAIL	15.37
6qbf-5cnf-20var-320cl.9	FAIL	15.39
3qbf-5cnf-160var-2560cl.4	FAIL	15.42
5qbf-5cnf-40var-1280cl.9	FAIL	15.42
2qbf-5cnf-160var-2560cl.4	FAIL	15.44
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	15.44
4qbf-5cnf-40var-320cl.8	FAIL	15.5
2qbf-5cnf-40var-320cl.0	FAIL	15.52
5qbf-5cnf-80var-2560cl.3	FAIL	15.53
4qbf-5cnf-80var-1280cl.6	FAIL	15.53
x30.4	SAT	15.54
6qbf-5cnf-20var-640cl.3	FAIL	15.56
6qbf-5cnf-20var-640cl.1	FAIL	15.56
6qbf-5cnf-20var-640cl.9	FAIL	15.6
6qbf-5cnf-40var-1280cl.0	FAIL	15.61
6qbf-5cnf-20var-320cl.0	FAIL	15.61
5qbf-5cnf-40var-1280cl.2	FAIL	15.61
ncf_8_16_4_d.7	FAIL	15.61
5qbf-5cnf-160var-2560cl.2	FAIL	15.67
4qbf-5cnf-160var-2560cl.9	FAIL	15.68
6qbf-5cnf-20var-640cl.4	FAIL	15.7
6qbf-5cnf-40var-1280cl.6	FAIL	15.7
k_branch_p-12	FAIL	15.7
3qbf-5cnf-40var-320cl.2	FAIL	15.72
szymanski-22-s	FAIL	15.74
5qbf-5cnf-160var-2560cl.9	FAIL	15.75
5qbf-5cnf-160var-2560cl.5	FAIL	15.76
3qbf-5cnf-160var-2560cl.2	FAIL	15.77
2qbf-5cnf-80var-1280cl.4	FAIL	15.81
4qbf-5cnf-20var-320cl.9	FAIL	15.81
6qbf-5cnf-40var-640cl.5	FAIL	15.85
ncf_8_16_4_u.7	FAIL	15.85
5qbf-5cnf-20var-320cl.3	FAIL	15.9
6qbf-5cnf-40var-640cl.6	FAIL	15.93
4qbf-5cnf-160var-2560cl.0	FAIL	15.96
mutex-32-s	FAIL	15.96
3qbf-5cnf-80var-2560cl.8	FAIL	15.96
sortnetsort8.v.stepl.005	UNSAT	15.97
3qbf-5cnf-160var-2560cl.1	FAIL	16.03
6qbf-5cnf-80var-2560cl.6	FAIL	16.03
ncf_4_32_2_edau.9	FAIL	16.06
5qbf-5cnf-40var-1280cl.4	FAIL	16.07
2qbf-5cnf-40var-320cl.9	FAIL	16.07
2qbf-5cnf-80var-320cl.4	FAIL	16.09
6qbf-5cnf-40var-1280cl.2	FAIL	16.11
3qbf-5cnf-160var-2560cl.0	FAIL	16.13
sortnetsort10.v.stepl.004	UNSAT	16.18
adder-8-unsat	FAIL	16.19
4qbf-5cnf-160var-2560cl.8	FAIL	16.2
5qbf-5cnf-40var-640cl.6	FAIL	16.22
2qbf-5cnf-80var-320cl.5	FAIL	16.23
ncf_4_8_4_euad.8	UNSAT	16.25
5qbf-5cnf-20var-640cl.5	FAIL	16.25
4qbf-5cnf-20var-640cl.5	FAIL	16.28
5qbf-5cnf-20var-320cl.8	FAIL	16.29
3qbf-5cnf-160var-2560cl.8	FAIL	16.33
mutex-64-s	FAIL	16.34
5qbf-5cnf-40var-320cl.7	FAIL	16.34
2qbf-5cnf-160var-2560cl.5	FAIL	16.35
szymanski-24-s	FAIL	16.35
3qbf-5cnf-80var-2560cl.4	FAIL	16.35
6qbf-5cnf-40var-1280cl.5	FAIL	16.38
5qbf-5cnf-160var-2560cl.0	FAIL	16.38
6qbf-5cnf-20var-640cl.2	FAIL	16.38
2qbf-5cnf-160var-2560cl.6	FAIL	16.39
5qbf-5cnf-160var-2560cl.3	FAIL	16.45
4qbf-5cnf-80var-2560cl.5	FAIL	16.46
2qbf-5cnf-160var-2560cl.1	FAIL	16.49
ncf_4_16_8_u.6	FAIL	16.53
6qbf-5cnf-40var-1280cl.4	FAIL	16.53
ncf_4_16_2_u.5	FAIL	16.54
6qbf-5cnf-40var-1280cl.9	FAIL	16.54
szymanski-10-s	FAIL	16.56
ncf_4_32_2_edau.7	FAIL	16.56
4qbf-5cnf-40var-320cl.4	FAIL	16.56
ncf_4_32_2_edau.3	FAIL	16.58
6qbf-5cnf-40var-1280cl.1	FAIL	16.6
ncf_4_32_2_edau.8	FAIL	16.6
6qbf-5cnf-40var-1280cl.7	FAIL	16.62
4qbf-5cnf-20var-640cl.1	FAIL	16.65
3qbf-5cnf-80var-320cl.2	FAIL	16.65
6qbf-5cnf-40var-1280cl.3	FAIL	16.67
4qbf-5cnf-40var-320cl.9	FAIL	16.67
4qbf-5cnf-40var-1280cl.0	FAIL	16.69
4qbf-5cnf-20var-640cl.0	FAIL	16.69
ncf_16_32_2_edau.2	FAIL	16.72
3qbf-5cnf-80var-2560cl.6	FAIL	16.74
3qbf-5cnf-160var-2560cl.6	FAIL	16.75
6qbf-5cnf-80var-2560cl.9	FAIL	16.8
5qbf-5cnf-80var-2560cl.8	FAIL	16.9
6qbf-5cnf-40var-320cl.8	FAIL	16.91
5qbf-5cnf-40var-1280cl.8	FAIL	16.94
6qbf-5cnf-20var-160cl.8	FAIL	16.95
4qbf-5cnf-80var-2560cl.3	FAIL	16.98
6qbf-5cnf-80var-2560cl.5	FAIL	16.99
ncf_4_16_8_u.9	FAIL	16.99
ncf_4_16_8_d.9	FAIL	17.06
4qbf-5cnf-80var-2560cl.8	FAIL	17.06
6qbf-5cnf-40var-640cl.8	FAIL	17.06
sortnetsort9.v.stepl.012	SAT	17.06
3qbf-5cnf-40var-640cl.9	FAIL	17.07
5qbf-5cnf-80var-1280cl.8	FAIL	17.07
3qbf-5cnf-80var-320cl.4	FAIL	17.08
5qbf-5cnf-80var-2560cl.5	FAIL	17.1
ncf_4_16_8_u.1	FAIL	17.12
4qbf-5cnf-20var-640cl.4	FAIL	17.18
5qbf-5cnf-80var-2560cl.6	FAIL	17.21
ncf_16_32_4_edau.3	FAIL	17.37
4qbf-5cnf-20var-320cl.8	FAIL	17.4
ncf_4_16_4_u.4	FAIL	17.4
ncf_4_32_2_u.6	FAIL	17.42
6qbf-5cnf-80var-2560cl.2	FAIL	17.43
ncf_4_16_2_edau.3	FAIL	17.45
ncf_16_32_8_euad.3	FAIL	17.53
6qbf-5cnf-40var-640cl.2	FAIL	17.55
4qbf-5cnf-20var-640cl.3	FAIL	17.55
ncf_8_16_8_d.4	FAIL	17.6
ncf_4_8_8_u.10	FAIL	17.6
2qbf-5cnf-160var-320cl.4	SAT	17.62
3qbf-5cnf-40var-320cl.9	FAIL	17.62
6qbf-5cnf-80var-2560cl.0	FAIL	17.65
ncf_4_16_4_euad.2	FAIL	17.66
ncf_4_16_4_edau.3	FAIL	17.73
5qbf-5cnf-40var-1280cl.0	FAIL	17.74
6qbf-5cnf-40var-640cl.0	FAIL	17.74
3qbf-5cnf-40var-640cl.4	FAIL	17.74
5qbf-5cnf-80var-640cl.6	FAIL	17.75
ncf_4_32_2_edau.10	FAIL	17.75
5qbf-5cnf-80var-640cl.8	FAIL	17.77
5qbf-5cnf-40var-1280cl.1	FAIL	17.78
mutex-128-s	FAIL	17.78
6qbf-5cnf-40var-1280cl.8	FAIL	17.78
5qbf-5cnf-20var-640cl.6	FAIL	17.8
ncf_8_16_8_edau.2	FAIL	17.81
ncf_4_16_8_u.8	FAIL	17.84
ncf_4_16_4_edau.6	FAIL	17.84
4qbf-5cnf-40var-1280cl.7	FAIL	17.84
ncf_4_16_4_euad.4	FAIL	17.85
4qbf-5cnf-20var-640cl.6	FAIL	17.91
ncf_16_32_8_u.2	FAIL	17.91
ncf_4_32_2_u.10	FAIL	17.92
ncf_4_16_4_u.6	FAIL	17.94
5qbf-5cnf-40var-640cl.0	FAIL	17.94
ncf_16_32_8_edau.8	FAIL	17.95
ncf_4_32_2_edau.4	FAIL	17.96
ncf_8_16_4_u.4	FAIL	17.99
ncf_16_32_4_euad.8	FAIL	18.01
4qbf-5cnf-40var-1280cl.5	FAIL	18.02
ncf_4_16_4_edau.4	FAIL	18.03
ncf_16_32_8_u.4	FAIL	18.04
5qbf-5cnf-40var-1280cl.3	FAIL	18.04
ncf_4_16_8_u.3	FAIL	18.05
5qbf-5cnf-40var-640cl.5	FAIL	18.05
ncf_4_8_8_edau.10	FAIL	18.05
5qbf-5cnf-80var-2560cl.9	FAIL	18.06
sortnetsort9.v.stepl.011	SAT	18.06
ncf_16_32_8_u.10	FAIL	18.08
2qbf-5cnf-80var-320cl.0	FAIL	18.09
6qbf-5cnf-160var-2560cl.8	FAIL	18.09
5qbf-5cnf-80var-640cl.5	FAIL	18.1
3qbf-5cnf-40var-640cl.8	FAIL	18.11
ncf_16_32_8_u.5	FAIL	18.12
ncf_4_8_4_euad.3	FAIL	18.13
4qbf-5cnf-20var-640cl.9	FAIL	18.16
ncf_4_8_8_edau.2	FAIL	18.17
3qbf-5cnf-160var-640cl.1	FAIL	18.17
ncf_4_16_8_euad.1	FAIL	18.2
ncf_8_16_8_euad.9	FAIL	18.21
ncf_8_16_4_d.3	FAIL	18.22
ncf_4_32_2_u.5	FAIL	18.22
ncf_16_32_4_u.9	FAIL	18.24
ncf_16_32_4_u.8	FAIL	18.27
ncf_4_8_8_u.2	FAIL	18.27
6qbf-5cnf-40var-320cl.6	FAIL	18.28
ncf_4_32_2_u.3	FAIL	18.3
6qbf-5cnf-80var-2560cl.3	FAIL	18.31
ncf_16_32_8_u.3	FAIL	18.32
ncf_4_16_4_euad.3	FAIL	18.39
ncf_4_16_8_euad.9	FAIL	18.39
3qbf-5cnf-40var-320cl.8	FAIL	18.4
3qbf-5cnf-80var-2560cl.1	FAIL	18.4
ncf_16_32_8_u.1	FAIL	18.41
ncf_4_16_2_euad.5	FAIL	18.41
5qbf-5cnf-80var-1280cl.9	FAIL	18.42
ncf_4_16_4_u.2	FAIL	18.45
ncf_16_32_4_edau.6	FAIL	18.45
6qbf-5cnf-80var-1280cl.7	FAIL	18.48
6qbf-5cnf-40var-320cl.5	FAIL	18.51
6qbf-5cnf-40var-320cl.7	FAIL	18.51
6qbf-5cnf-20var-320cl.6	FAIL	18.51
4qbf-5cnf-40var-1280cl.3	FAIL	18.52
ncf_16_32_8_u.7	FAIL	18.53
ncf_8_16_4_u.10	FAIL	18.56
6qbf-5cnf-20var-640cl.6	FAIL	18.57
ncf_8_16_4_euad.7	FAIL	18.58
ncf_16_32_4_u.10	FAIL	18.59
ncf_16_32_4_u.1	FAIL	18.61
ncf_16_32_8_edau.2	FAIL	18.61
ncf_4_32_2_u.8	FAIL	18.63
x30.1	UNSAT	18.63
ncf_8_16_4_euad.4	FAIL	18.64
5qbf-5cnf-40var-1280cl.6	FAIL	18.67
ncf_16_32_4_u.2	FAIL	18.7
ncf_4_16_8_d.6	FAIL	18.7
ncf_16_32_2_u.4	FAIL	18.72
ncf_16_32_2_d.1	FAIL	18.73
4qbf-5cnf-80var-2560cl.6	FAIL	18.75
ncf_4_16_8_u.5	FAIL	18.75
ncf_8_16_4_euad.3	FAIL	18.76
ncf_16_32_4_u.5	FAIL	18.77
ncf_4_16_8_u.2	FAIL	18.81
4qbf-5cnf-160var-640cl.0	FAIL	18.81
ncf_4_8_8_u.6	FAIL	18.87
4qbf-5cnf-20var-640cl.2	FAIL	18.88
ncf_8_16_4_u.3	FAIL	18.89
ncf_4_8_4_euad.1	FAIL	18.9
ncf_4_32_2_u.2	FAIL	18.91
ncf_4_32_2_u.7	FAIL	18.99
ncf_16_32_8_u.6	FAIL	19
5qbf-5cnf-80var-2560cl.4	FAIL	19.02
ncf_4_16_2_d.3	FAIL	19.05
ncf_8_16_4_u.9	FAIL	19.07
ncf_4_8_8_d.7	FAIL	19.08
ncf_4_16_8_euad.7	FAIL	19.08
4qbf-5cnf-40var-1280cl.8	FAIL	19.11
ncf_4_8_8_edau.7	FAIL	19.11
4qbf-5cnf-160var-640cl.4	FAIL	19.12
ncf_16_32_8_edau.3	FAIL	19.13
ncf_4_16_4_d.10	FAIL	19.13
ncf_4_8_8_d.10	FAIL	19.14
ncf_4_16_8_u.4	FAIL	19.15
ncf_16_32_2_u.10	FAIL	19.16
ncf_16_32_4_d.6	FAIL	19.16
5qbf-5cnf-40var-1280cl.7	FAIL	19.21
ncf_4_8_8_u.8	FAIL	19.22
ncf_16_32_2_u.2	FAIL	19.24
ncf_16_32_4_edau.2	FAIL	19.24
4qbf-5cnf-40var-1280cl.6	FAIL	19.25
k_d4_p-12	FAIL	19.25
ncf_16_32_2_euad.8	FAIL	19.25
eijk.S1196.S-d2	FAIL	19.26
ncf_4_16_4_edau.10	FAIL	19.27
ncf_16_32_4_d.5	FAIL	19.28
3qbf-5cnf-40var-320cl.4	FAIL	19.28
ncf_4_16_4_euad.6	FAIL	19.29
2qbf-5cnf-40var-640cl.5	FAIL	19.29
ncf_4_16_4_u.7	FAIL	19.31
ncf_16_32_4_euad.4	FAIL	19.31
4qbf-5cnf-20var-640cl.8	FAIL	19.33
ncf_16_32_4_euad.9	FAIL	19.33
ncf_16_32_4_euad.2	FAIL	19.36
ncf_16_32_8_edau.9	FAIL	19.37
4qbf-5cnf-20var-320cl.0	FAIL	19.39
ncf_16_32_8_u.9	FAIL	19.44
ncf_16_32_4_u.3	FAIL	19.45
2qbf-5cnf-40var-640cl.4	FAIL	19.48
ncf_16_32_2_u.6	FAIL	19.5
4qbf-5cnf-40var-1280cl.4	FAIL	19.51
ncf_8_16_8_euad.2	FAIL	19.52
6qbf-5cnf-20var-160cl.0	FAIL	19.53
3qbf-5cnf-20var-320cl.3	FAIL	19.55
ncf_16_32_4_d.4	FAIL	19.58
ncf_16_32_8_edau.1	FAIL	19.59
6qbf-5cnf-160var-5120cl.6	FAIL	19.61
4qbf-5cnf-160var-5120cl.1	FAIL	19.61
5qbf-5cnf-80var-2560cl.1	FAIL	19.64
5qbf-5cnf-20var-320cl.6	FAIL	19.64
3qbf-5cnf-160var-640cl.7	FAIL	19.66
ncf_8_16_8_edau.9	FAIL	19.68
ncf_8_16_4_euad.8	FAIL	19.71
ncf_16_32_2_edau.4	FAIL	19.73
ncf_4_16_4_edau.7	FAIL	19.75
ncf_16_32_4_u.6	FAIL	19.8
k_t4p_n-16	FAIL	19.82
ncf_16_32_8_u.8	FAIL	19.84
6qbf-5cnf-160var-2560cl.0	FAIL	19.86
3qbf-5cnf-160var-640cl.4	FAIL	19.86
ncf_4_16_8_d.10	FAIL	19.87
ncf_16_32_2_euad.1	FAIL	19.94
ncf_16_32_2_euad.3	FAIL	19.95
ncf_4_8_8_d.6	FAIL	19.97
ncf_4_16_8_euad.6	FAIL	19.99
ncf_8_16_8_edau.4	FAIL	19.99
2qbf-5cnf-40var-640cl.1	FAIL	20
4qbf-5cnf-160var-5120cl.9	FAIL	20
ncf_16_32_2_u.5	FAIL	20.03
ncf_16_32_4_d.3	FAIL	20.03
ncf_16_32_2_u.1	FAIL	20.07
4qbf-5cnf-40var-1280cl.9	FAIL	20.08
ncf_4_16_2_edau.8	FAIL	20.09
6qbf-5cnf-160var-5120cl.5	FAIL	20.1
ncf_16_32_2_euad.4	FAIL	20.17
6qbf-5cnf-80var-2560cl.7	FAIL	20.21
6qbf-5cnf-160var-5120cl.8	FAIL	20.22
ncf_16_32_4_euad.10	FAIL	20.23
4qbf-5cnf-40var-1280cl.2	FAIL	20.25
ncf_16_32_4_euad.3	FAIL	20.27
ncf_4_16_4_euad.7	FAIL	20.33
ncf_16_32_4_u.7	FAIL	20.35
4qbf-5cnf-40var-320cl.7	FAIL	20.35
4qbf-5cnf-20var-320cl.6	FAIL	20.38
5qbf-5cnf-80var-2560cl.0	FAIL	20.38
ncf_16_32_2_d.2	FAIL	20.4
ncf_16_32_2_d.4	FAIL	20.41
ncf_4_16_4_euad.10	FAIL	20.44
ncf_4_32_2_edau.5	FAIL	20.45
ncf_8_16_8_edau.10	FAIL	20.46
6qbf-5cnf-160var-5120cl.0	FAIL	20.46
nusmv.reactor^4.C-f2	FAIL	20.46
4qbf-5cnf-80var-320cl.0	FAIL	20.47
ncf_4_16_8_u.7	FAIL	20.47
ncf_4_16_4_d.6	FAIL	20.5
6qbf-5cnf-160var-5120cl.7	FAIL	20.51
ncf_16_32_2_euad.6	FAIL	20.51
ncf_8_16_8_d.9	FAIL	20.51
6qbf-5cnf-80var-1280cl.2	FAIL	20.56
ncf_8_16_8_edau.5	FAIL	20.64
6qbf-5cnf-80var-2560cl.1	FAIL	20.66
ncf_4_8_8_euad.7	FAIL	20.68
2qbf-5cnf-80var-320cl.9	FAIL	20.69
6qbf-5cnf-160var-5120cl.1	FAIL	20.71
ncf_8_16_4_edau.3	FAIL	20.73
qshifter_8	SAT	20.76
ncf_4_32_2_u.4	FAIL	20.81
ncf_4_16_2_edau.1	FAIL	20.83
ncf_16_32_8_edau.7	FAIL	20.84
2qbf-5cnf-40var-640cl.8	FAIL	20.84
4qbf-5cnf-160var-5120cl.6	FAIL	20.87
5qbf-5cnf-80var-1280cl.4	FAIL	20.89
5qbf-5cnf-40var-1280cl.5	FAIL	20.9
ncf_16_32_8_euad.7	FAIL	20.92
2qbf-5cnf-40var-640cl.6	FAIL	20.97
2qbf-5cnf-40var-640cl.7	FAIL	20.97
ncf_4_16_4_u.10	FAIL	21
4qbf-5cnf-160var-5120cl.2	FAIL	21.02
5qbf-5cnf-20var-640cl.3	FAIL	21.02
ncf_4_16_4_d.2	FAIL	21.02
ncf_8_16_4_d.9	FAIL	21.04
4qbf-5cnf-160var-5120cl.4	FAIL	21.05
4qbf-5cnf-160var-5120cl.8	FAIL	21.06
ncf_4_16_8_euad.10	FAIL	21.07
ncf_8_16_8_d.10	FAIL	21.14
ncf_8_16_8_d.2	FAIL	21.18
ncf_16_32_2_euad.2	FAIL	21.19
ncf_16_32_8_euad.4	FAIL	21.21
4qbf-5cnf-160var-5120cl.0	FAIL	21.24
2qbf-5cnf-40var-640cl.3	FAIL	21.28
6qbf-5cnf-160var-5120cl.9	FAIL	21.31
k_t4p_p-16	FAIL	21.32
ncf_4_8_8_u.4	FAIL	21.32
ncf_16_32_8_edau.5	FAIL	21.39
ncf_4_8_8_u.7	FAIL	21.4
ncf_16_32_4_edau.4	FAIL	21.41
ncf_8_16_8_euad.10	FAIL	21.43
ncf_16_32_2_euad.5	FAIL	21.44
ncf_8_16_8_edau.7	FAIL	21.46
ncf_4_8_8_edau.6	FAIL	21.46
ncf_16_32_8_d.8	FAIL	21.47
5qbf-5cnf-80var-1280cl.6	FAIL	21.48
ncf_4_8_2_u.3	FAIL	21.52
5qbf-5cnf-80var-2560cl.2	FAIL	21.54
4qbf-5cnf-160var-5120cl.5	FAIL	21.55
5qbf-5cnf-20var-320cl.1	FAIL	21.59
5qbf-5cnf-20var-640cl.9	FAIL	21.61
ncf_16_32_4_euad.1	FAIL	21.62
ncf_16_32_8_d.9	FAIL	21.63
ncf_4_8_8_euad.10	FAIL	21.64
ncf_8_16_4_euad.10	FAIL	21.66
2qbf-5cnf-40var-640cl.2	FAIL	21.72
6qbf-5cnf-160var-5120cl.2	FAIL	21.73
5qbf-5cnf-160var-5120cl.6	FAIL	21.74
ncf_4_8_8_edau.4	FAIL	21.77
5qbf-5cnf-40var-640cl.3	FAIL	21.8
ncf_16_32_4_euad.6	FAIL	21.8
5qbf-5cnf-160var-5120cl.8	FAIL	21.81
ncf_8_16_8_euad.3	FAIL	21.82
6qbf-5cnf-80var-640cl.6	FAIL	21.82
ncf_8_16_4_u.8	FAIL	21.82
6qbf-5cnf-160var-5120cl.4	FAIL	21.92
ncf_16_32_2_u.8	FAIL	21.99
ncf_16_32_2_edau.10	FAIL	22.05
4qbf-5cnf-160var-5120cl.3	FAIL	22.09
5qbf-5cnf-160var-5120cl.7	FAIL	22.1
6qbf-5cnf-160var-2560cl.4	FAIL	22.12
ncf_4_8_8_euad.8	FAIL	22.15
k_t4p_p-20	FAIL	22.18
ncf_16_32_2_edau.8	FAIL	22.2
ncf_16_32_2_edau.5	FAIL	22.22
ncf_16_32_8_edau.10	FAIL	22.25
ncf_16_32_8_euad.2	FAIL	22.31
5qbf-5cnf-160var-5120cl.4	FAIL	22.31
6qbf-5cnf-160var-2560cl.2	FAIL	22.32
3qbf-5cnf-40var-320cl.6	FAIL	22.34
6qbf-5cnf-80var-2560cl.4	FAIL	22.35
6qbf-5cnf-80var-2560cl.8	FAIL	22.45
5qbf-5cnf-160var-5120cl.3	FAIL	22.45
4qbf-5cnf-160var-5120cl.7	FAIL	22.46
ncf_8_16_4_euad.9	FAIL	22.47
ncf_8_16_8_euad.7	FAIL	22.48
ncf_4_8_8_euad.6	FAIL	22.49
3qbf-5cnf-160var-640cl.5	FAIL	22.5
6qbf-5cnf-160var-5120cl.3	FAIL	22.53
ncf_4_16_4_d.3	FAIL	22.54
ncf_8_16_4_d.4	FAIL	22.55
5qbf-5cnf-160var-5120cl.1	FAIL	22.55
mutex-16-s	FAIL	22.59
Adder2-4-c	FAIL	22.6
3qbf-5cnf-40var-640cl.3	FAIL	22.63
ncf_4_16_8_d.5	FAIL	22.67
ncf_8_16_4_euad.6	FAIL	22.67
5qbf-5cnf-160var-5120cl.5	FAIL	22.68
5qbf-5cnf-160var-5120cl.0	FAIL	22.69
5qbf-5cnf-80var-2560cl.7	FAIL	22.7
ncf_4_16_4_d.7	FAIL	22.7
5qbf-5cnf-80var-640cl.1	FAIL	22.71
ncf_16_32_2_d.10	FAIL	22.76
5qbf-5cnf-80var-640cl.7	FAIL	22.78
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	22.79
4qbf-5cnf-160var-640cl.6	FAIL	22.84
5qbf-5cnf-80var-640cl.9	FAIL	22.9
6qbf-5cnf-40var-640cl.1	FAIL	22.92
ncf_16_32_8_d.10	FAIL	22.96
ncf_16_32_8_d.5	FAIL	23.02
ncf_16_32_4_u.4	FAIL	23.02
6qbf-5cnf-80var-1280cl.6	FAIL	23.03
ncf_4_16_8_euad.5	FAIL	23.06
eijk.S1238.S-d2	FAIL	23.06
ncf_16_32_8_euad.10	FAIL	23.08
ncf_16_32_2_d.5	FAIL	23.09
ncf_16_32_2_u.3	FAIL	23.11
x30.6	SAT	23.17
ncf_4_16_8_d.1	FAIL	23.19
ncf_16_32_8_euad.9	FAIL	23.21
ncf_4_16_4_d.4	FAIL	23.21
4qbf-5cnf-20var-160cl.2	FAIL	23.21
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	23.24
ncf_4_8_4_u.3	FAIL	23.3
5qbf-5cnf-160var-5120cl.9	FAIL	23.32
ncf_16_32_8_euad.8	FAIL	23.34
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	23.34
ncf_16_32_8_d.1	FAIL	23.39
ncf_4_16_4_u.3	FAIL	23.4
ncf_16_32_4_euad.7	FAIL	23.41
2qbf-5cnf-40var-640cl.0	FAIL	23.42
ncf_16_32_8_euad.5	FAIL	23.46
ncf_8_16_8_d.5	FAIL	23.51
4qbf-5cnf-160var-640cl.8	FAIL	23.6
ncf_16_32_4_edau.8	FAIL	23.78
ncf_8_16_8_euad.4	FAIL	23.79
ncf_4_16_2_euad.1	FAIL	23.8
5qbf-5cnf-80var-640cl.3	FAIL	23.8
ncf_16_32_2_euad.10	FAIL	23.84
ncf_4_16_8_d.3	FAIL	23.88
ncf_4_8_4_u.7	FAIL	23.96
ncf_4_16_8_d.8	FAIL	24.14
ncf_4_16_2_euad.3	FAIL	24.23
ncf_16_32_8_d.7	FAIL	24.26
5qbf-5cnf-160var-5120cl.2	FAIL	24.31
ncf_16_32_8_euad.6	FAIL	24.34
ncf_16_32_8_edau.6	FAIL	24.36
4qbf-5cnf-80var-320cl.3	FAIL	24.39
ncf_8_16_4_edau.4	FAIL	24.42
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	24.46
ncf_4_32_2_edau.6	FAIL	24.47
6qbf-5cnf-160var-2560cl.7	FAIL	24.53
ncf_16_32_8_d.2	FAIL	24.55
ncf_4_16_2_d.1	FAIL	24.57
ncf_8_16_8_euad.5	FAIL	24.58
ncf_16_32_4_d.2	FAIL	24.65
adder-16-sat	FAIL	24.72
ncf_16_32_2_edau.1	FAIL	24.88
ncf_8_16_4_u.6	FAIL	24.91
ncf_8_16_8_edau.3	FAIL	24.93
ncf_4_16_2_u.1	FAIL	24.98
counter_re_8	SAT	24.99
6qbf-5cnf-40var-640cl.9	FAIL	25.08
ev-pr-8x8-5-7-0-1-2-lg	FAIL	25.13
6qbf-5cnf-40var-320cl.0	FAIL	25.24
2qbf-5cnf-40var-640cl.9	FAIL	25.27
ncf_4_8_4_euad.7	FAIL	25.36
ncf_4_16_8_euad.2	FAIL	25.55
ncf_4_16_4_edau.2	FAIL	25.61
ncf_8_16_8_d.3	FAIL	25.62
ncf_4_16_8_u.10	FAIL	25.64
6qbf-5cnf-80var-640cl.5	FAIL	25.71
ncf_16_32_8_euad.1	FAIL	25.95
ncf_4_16_8_d.2	FAIL	26.03
adder-6-unsat	FAIL	26.08
k_t4p_p-21	FAIL	26.11
ncf_4_16_2_u.10	FAIL	26.17
ncf_16_32_4_d.8	FAIL	26.21
ncf_4_16_8_euad.3	FAIL	26.34
3qbf-5cnf-40var-320cl.0	FAIL	26.35
x30.8	UNSAT	26.35
sortnetsort8.AE.stepl.003	FAIL	26.37
ncf_16_32_4_edau.5	FAIL	26.5
3qbf-5cnf-40var-640cl.0	FAIL	26.52
4qbf-5cnf-20var-160cl.6	FAIL	26.56
ncf_4_16_8_euad.8	FAIL	26.65
x30.2	UNSAT	26.77
2qbf-5cnf-160var-5120cl.5	FAIL	26.88
ncf_4_8_4_euad.4	FAIL	27
ncf_8_16_8_edau.8	FAIL	27.09
4qbf-5cnf-80var-2560cl.9	FAIL	27.11
counter_r_8	SAT	27.12
adder-12-sat	FAIL	27.14
2qbf-5cnf-160var-5120cl.9	FAIL	27.22
2qbf-5cnf-40var-160cl.9	FAIL	27.29
6qbf-5cnf-40var-320cl.3	FAIL	27.33
2qbf-5cnf-160var-5120cl.4	FAIL	27.47
2qbf-5cnf-40var-160cl.0	FAIL	27.49
ncf_4_16_2_u.3	FAIL	27.5
4qbf-5cnf-40var-320cl.2	FAIL	27.71
4qbf-5cnf-20var-160cl.9	FAIL	27.9
ncf_16_32_2_d.8	FAIL	27.92
nusmv.reactor^7.C-f2	FAIL	27.97
ncf_4_16_2_edau.10	FAIL	28.14
2qbf-5cnf-160var-5120cl.8	FAIL	28.34
2qbf-5cnf-160var-5120cl.1	FAIL	28.35
x30.9	UNSAT	28.48
ncf_8_16_8_euad.8	FAIL	28.59
2qbf-5cnf-160var-320cl.8	FAIL	28.67
ncf_4_16_8_d.4	FAIL	28.7
ncf_8_16_8_d.8	FAIL	29.14
2qbf-5cnf-40var-160cl.5	FAIL	29.27
ncf_4_8_8_euad.2	FAIL	29.33
4qbf-5cnf-80var-2560cl.7	FAIL	29.34
2qbf-5cnf-160var-5120cl.2	FAIL	29.35
2qbf-5cnf-160var-5120cl.6	FAIL	29.38
ncf_4_16_2_euad.10	FAIL	29.4
2qbf-5cnf-40var-160cl.8	FAIL	29.4
2qbf-5cnf-160var-5120cl.7	FAIL	29.44
4qbf-5cnf-40var-640cl.4	FAIL	29.58
2qbf-5cnf-160var-5120cl.3	FAIL	29.79
2qbf-5cnf-160var-5120cl.0	FAIL	29.85
ncf_4_16_2_u.8	FAIL	29.87
k_t4p_n-20	FAIL	30.3
6qbf-5cnf-80var-640cl.3	FAIL	30.36
k_t4p_n-21	FAIL	30.42
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	30.53
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	30.58
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	30.65
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	30.68
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	30.76
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	30.79
ncf_4_16_2_euad.8	FAIL	30.84
ncf_4_8_4_u.1	FAIL	30.88
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	30.99
ncf_16_32_8_d.3	FAIL	31.06
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	31.12
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	31.16
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	31.38
4qbf-5cnf-20var-320cl.5	FAIL	31.56
k_t4p_p-12	FAIL	31.57
toilet_a_10_01.16	UNSAT	31.77
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	31.8
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	31.8
test5_quant5	FAIL	31.84
k_t4p_n-8	FAIL	31.89
4qbf-5cnf-20var-320cl.4	FAIL	32.05
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	32.13
ncf_4_8_8_u.5	FAIL	32.15
ncf_4_16_8_euad.4	FAIL	32.17
4qbf-5cnf-80var-2560cl.1	FAIL	32.47
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	32.55
ncf_8_16_8_d.6	FAIL	32.63
ncf_4_16_2_d.8	FAIL	32.75
3qbf-5cnf-80var-320cl.1	FAIL	32.86
4qbf-5cnf-40var-640cl.7	FAIL	32.91
6qbf-5cnf-80var-640cl.1	FAIL	33.01
ncf_16_32_2_u.7	UNSAT	33.03
sortnetsort9.v.stepl.005	UNSAT	33.04
sortnetsort8.AE.stepl.004	FAIL	33.22
5qbf-5cnf-160var-2560cl.1	FAIL	33.57
ncf_8_16_8_d.7	FAIL	33.69
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	33.88
ncf_8_16_4_edau.9	FAIL	34.07
sortnetsort9.AE.stepl.004	FAIL	34.09
connect_5x4_4_R	FAIL	34.15
5qbf-5cnf-80var-640cl.0	FAIL	34.23
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	34.29
robots_1_5_3_2.4	FAIL	34.31
ncf_16_32_4_euad.5	FAIL	34.32
ncf_4_8_4_u.4	FAIL	34.35
Adder2-6-s	SAT	34.59
connect_5x4_3_R	FAIL	34.68
5qbf-5cnf-40var-320cl.8	FAIL	34.81
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	34.91
3qbf-5cnf-20var-160cl.3	FAIL	35
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	35.42
robots_1_5_3_57.4	FAIL	35.63
3qbf-5cnf-20var-320cl.8	FAIL	35.76
robots_1_5_5_26.4	FAIL	35.79
2qbf-5cnf-40var-160cl.3	FAIL	35.81
6qbf-5cnf-80var-1280cl.1	FAIL	35.82
robots_1_5_5_66.4	FAIL	36
sortnetsort7.AE.stepl.004	FAIL	36.09
sortnetsort7.AE.stepl.008	FAIL	36.28
szymanski-8-s	FAIL	36.58
4qbf-5cnf-160var-640cl.1	FAIL	36.64
3qbf-5cnf-20var-320cl.9	FAIL	36.7
ncf_4_16_2_d.10	FAIL	36.72
5qbf-5cnf-20var-320cl.4	FAIL	36.97
robots_1_5_3_24.4	FAIL	36.98
sortnetsort7.AE.stepl.006	FAIL	37.03
3qbf-5cnf-40var-320cl.3	FAIL	37.09
3qbf-5cnf-80var-2560cl.7	FAIL	37.22
6qbf-5cnf-20var-160cl.1	FAIL	37.64
3qbf-5cnf-160var-640cl.2	FAIL	37.67
robots_1_5_3_52.4	FAIL	37.69
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	37.76
4qbf-5cnf-80var-2560cl.2	FAIL	37.8
5qbf-5cnf-40var-320cl.6	FAIL	37.81
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	37.84
robots_1_5_2_3.4	FAIL	38.2
6qbf-5cnf-80var-640cl.9	FAIL	38.33
adder-6-sat	SAT	38.51
3qbf-5cnf-80var-320cl.0	FAIL	38.52
robots_1_5_3_66.4	FAIL	38.54
6qbf-5cnf-20var-320cl.7	FAIL	38.67
robots_1_5_2_85.4	FAIL	38.72
x30.5	UNSAT	38.76
2qbf-5cnf-160var-320cl.2	SAT	38.78
4qbf-5cnf-160var-640cl.2	FAIL	39
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	39.09
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	39.15
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	39.22
sortnetsort7.AE.stepl.009	FAIL	39.33
ncf_16_32_2_edau.3	FAIL	39.67
ncf_16_32_2_d.3	FAIL	39.96
x115.4	FAIL	40.05
sortnetsort10.v.stepl.009	SAT	40.21
ncf_4_8_8_euad.1	SAT	40.58
5qbf-5cnf-40var-320cl.3	FAIL	40.76
x50.7	FAIL	41.23
4qbf-5cnf-40var-320cl.3	FAIL	41.56
6qbf-5cnf-20var-160cl.3	FAIL	41.64
5qbf-5cnf-40var-320cl.5	FAIL	41.68
nusmv.reactor^2.C-f2	FAIL	41.73
nusmv.reactor^3.C-f2	FAIL	41.83
x115.6	FAIL	42.07
4qbf-5cnf-40var-640cl.6	FAIL	42.32
robots_1_5_2_2.4	FAIL	42.33
sortnetsort6.AE.stepl.004	FAIL	42.34
ncf_4_32_2_u.1	FAIL	42.61
x110.9	FAIL	42.66
robots_1_5_2_82.4	FAIL	42.73
x70.3	FAIL	43.06
counter_e_8	SAT	43.07
x120.3	FAIL	43.61
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	43.65
sortnetsort7.AE.stepl.007	FAIL	43.71
x50.9	FAIL	43.79
3qbf-5cnf-160var-640cl.8	FAIL	43.82
x55.5	FAIL	43.89
sortnetsort7.AE.stepl.005	FAIL	43.89
3qbf-5cnf-160var-640cl.0	FAIL	44.1
x115.1	FAIL	44.2
x70.9	FAIL	44.37
sortnetsort10.AE.stepl.004	FAIL	44.4
robots_1_5_2_80.4	FAIL	44.55
x70.2	FAIL	44.55
sortnetsort10.AE.stepl.005	FAIL	44.58
4qbf-5cnf-160var-640cl.7	FAIL	44.61
robots_1_5_3_16.4	FAIL	44.69
5qbf-5cnf-80var-640cl.2	FAIL	44.71
4qbf-5cnf-80var-320cl.9	FAIL	44.74
robots_1_5_3_100.4	FAIL	45.21
x50.8	FAIL	45.29
robots_1_5_2_99.4	FAIL	45.49
5qbf-5cnf-20var-640cl.2	FAIL	45.58
x110.3	FAIL	45.66
x120.8	FAIL	45.66
x120.1	FAIL	45.69
x70.0	FAIL	45.7
x120.2	FAIL	45.81
3qbf-5cnf-40var-320cl.1	FAIL	45.88
x50.4	FAIL	45.95
x120.4	FAIL	46.13
robots_1_5_2_21.4	FAIL	46.17
x75.6	FAIL	46.18
x70.6	FAIL	46.21
6qbf-5cnf-80var-640cl.0	FAIL	46.31
x50.5	FAIL	46.41
x110.4	FAIL	46.52
x115.0	FAIL	46.59
robots_1_5_2_39.4	FAIL	46.6
sortnetsort9.AE.stepl.005	FAIL	46.61
adder-10-sat	FAIL	46.7
robots_1_5_2_45.4	FAIL	46.72
6qbf-5cnf-40var-320cl.9	FAIL	46.91
x115.5	FAIL	47.04
x110.8	FAIL	47.07
sortnetsort10.AE.stepl.008	FAIL	47.19
test5_quant7	FAIL	47.44
x110.5	FAIL	47.45
robots_1_5_2_100.4	FAIL	47.48
x120.5	FAIL	47.53
x70.7	FAIL	47.64
x110.2	FAIL	47.74
4qbf-5cnf-80var-2560cl.0	FAIL	47.91
x75.9	FAIL	47.91
eijk.bs1512.S-d2	FAIL	47.94
sortnetsort5.AE.stepl.006	FAIL	48.01
x50.1	FAIL	48.04
x110.7	FAIL	48.2
x120.6	FAIL	48.32
x50.0	FAIL	48.56
ncf_4_8_8_euad.4	FAIL	48.62
x75.2	FAIL	48.74
x80.0	FAIL	48.82
4qbf-5cnf-20var-160cl.7	FAIL	48.87
x115.7	FAIL	48.97
x125.2	FAIL	49.03
x75.7	FAIL	49.06
x125.8	FAIL	49.11
sortnetsort6.AE.stepl.005	FAIL	49.25
sortnetsort10.AE.stepl.009	FAIL	49.34
x40.2	FAIL	49.39
robots_1_5_4_100.4	FAIL	49.83
sortnetsort8.AE.stepl.005	FAIL	49.83
x115.9	FAIL	49.87
x75.4	FAIL	49.88
x130.0	FAIL	49.96
robots_1_5_4_50.4	FAIL	50.1
x125.7	FAIL	50.21
robots_1_5_4_31.4	FAIL	50.45
robots_1_5_4_30.4	FAIL	50.49
x70.5	FAIL	50.57
2qbf-5cnf-160var-320cl.1	FAIL	50.75
sortnetsort9.AE.stepl.010	FAIL	50.93
sortnetsort8.AE.stepl.006	FAIL	51.03
x120.7	FAIL	51.05
x120.0	FAIL	51.06
x80.9	FAIL	51.11
x115.3	FAIL	51.23
1qbf-5cnf-160var-2560cl.5	SAT	51.25
x125.1	FAIL	51.26
x130.2	FAIL	51.37
x80.4	FAIL	51.37
x55.1	FAIL	51.39
x130.6	FAIL	51.55
x125.9	FAIL	51.62
robots_1_5_5_87.4	FAIL	51.8
x55.2	FAIL	51.81
sortnetsort5.AE.stepl.005	FAIL	51.81
x125.5	FAIL	51.87
x115.2	FAIL	52.15
x115.8	FAIL	52.15
x85.5	FAIL	52.21
6qbf-5cnf-20var-160cl.7	FAIL	52.22
nusmv.reactor^6.C-f2	FAIL	52.24
sortnetsort6.AE.stepl.006	FAIL	52.25
sortnetsort9.AE.stepl.006	FAIL	52.27
ncf_4_8_8_d.2	FAIL	52.28
sortnetsort9.AE.stepl.012	FAIL	52.31
x130.5	FAIL	52.34
sortnetsort5.AE.stepl.004	FAIL	52.43
x350.5	FAIL	52.51
adder-14-sat	FAIL	52.53
x75.3	FAIL	52.57
x60.0	FAIL	52.64
x60.1	FAIL	52.76
x130.1	FAIL	52.83
5qbf-5cnf-40var-320cl.4	FAIL	52.89
x135.3	FAIL	53.11
x85.6	FAIL	53.5
x130.9	FAIL	53.7
x130.8	FAIL	53.73
x125.0	FAIL	53.79
3qbf-5cnf-160var-640cl.9	FAIL	54.09
x120.9	FAIL	54.15
x75.8	FAIL	54.22
x70.8	FAIL	54.33
4qbf-5cnf-80var-2560cl.4	FAIL	54.35
x70.4	FAIL	54.39
sortnetsort10.v.stepl.012	SAT	54.58
3qbf-5cnf-20var-320cl.6	FAIL	54.79
x55.9	FAIL	54.84
x110.6	FAIL	55.1
x130.4	FAIL	55.2
x135.0	FAIL	55.2
sortnetsort5.AE.stepl.003	FAIL	55.23
x60.2	FAIL	55.24
x60.6	FAIL	55.29
x125.6	FAIL	55.33
s820_d2_s	SAT	55.6
5qbf-5cnf-40var-320cl.0	FAIL	55.61
x40.7	FAIL	55.96
x45.3	FAIL	55.96
x130.3	FAIL	56.04
x125.3	FAIL	56.05
x400.6	FAIL	56.2
x135.1	FAIL	56.34
4qbf-5cnf-20var-160cl.3	FAIL	56.54
ncf_16_32_8_d.6	FAIL	56.54
x125.4	FAIL	56.58
x135.7	FAIL	56.76
x135.9	FAIL	56.76
x60.5	FAIL	56.77
x60.9	FAIL	56.96
x135.4	FAIL	56.97
x45.7	FAIL	57.11
x60.7	FAIL	57.12
x30.0	UNSAT	57.23
x60.8	FAIL	57.25
sortnetsort10.AE.stepl.006	FAIL	57.52
x55.7	FAIL	57.62
cmu.dme2.B-f2	FAIL	57.7
x55.6	FAIL	58.06
x135.6	FAIL	58.15
x80.7	FAIL	58.36
x70.1	FAIL	58.46
x80.1	FAIL	58.66
x60.4	FAIL	58.72
x55.4	FAIL	58.76
x85.2	FAIL	58.77
x140.8	FAIL	58.79
S-adeu-3	FAIL	58.91
3qbf-5cnf-40var-320cl.5	FAIL	58.97
x45.1	FAIL	59
x80.6	FAIL	59.12
sortnetsort10.v.stepl.010	SAT	59.53
x135.8	FAIL	59.58
x85.4	FAIL	59.58
x85.8	FAIL	59.58
x85.9	FAIL	59.6
x140.9	FAIL	59.66
x75.5	FAIL	59.76
sortnetsort8.AE.stepl.009	FAIL	59.78
x85.7	FAIL	59.87
x60.3	FAIL	59.95
4qbf-5cnf-40var-640cl.2	FAIL	60.35
x30.7	UNSAT	60.4
x80.2	FAIL	60.61
x135.5	FAIL	60.66
S-adeu-8	FAIL	60.87
x140.5	FAIL	60.97
x140.2	FAIL	61.03
x135.2	FAIL	61.07
3qbf-5cnf-80var-320cl.6	FAIL	61.15
x80.5	FAIL	61.18
texas.PI_main^14.E-f2	FAIL	61.24
x95.3	FAIL	61.41
x75.0	FAIL	61.56
x140.3	FAIL	61.78
sortnetsort10.AE.stepl.012	FAIL	61.79
x140.1	FAIL	61.8
x80.3	FAIL	61.91
x90.5	FAIL	61.91
x95.0	FAIL	61.97
sortnetsort8.AE.stepl.007	FAIL	62.02
ncf_8_16_8_euad.6	FAIL	62.08
x65.0	FAIL	62.08
x90.6	FAIL	62.08
S-adeu-6	FAIL	62.08
4qbf-5cnf-80var-320cl.7	FAIL	62.13
sortnetsort9.AE.stepl.008	FAIL	62.25
x65.9	FAIL	62.36
x140.0	FAIL	62.57
x50.2	FAIL	62.66
x75.1	FAIL	62.72
k_t4p_n-12	FAIL	62.74
sortnetsort9.AE.stepl.011	FAIL	62.76
ncf_4_32_2_u.9	FAIL	63.01
x95.7	FAIL	63.08
x350.4	FAIL	63.09
x95.5	FAIL	63.12
sortnetsort10.v.stepl.011	SAT	63.19
robots_1_5_3_44.4	FAIL	63.39
eijk.S832.S-f2	FAIL	63.54
x65.5	FAIL	63.57
x140.7	FAIL	63.78
T-edau-4	FAIL	63.8
5qbf-5cnf-40var-320cl.9	FAIL	63.84
x90.7	FAIL	64.06
x55.0	FAIL	64.25
x45.4	FAIL	64.28
x85.1	FAIL	64.33
x40.4	FAIL	64.39
S-adeu-0	FAIL	64.48
x350.0	FAIL	64.52
sortnetsort10.AE.stepl.007	FAIL	64.52
3qbf-5cnf-20var-160cl.2	FAIL	64.6
sortnetsort10.AE.stepl.010	FAIL	64.73
T-adeu-4	FAIL	64.79
x180.5	FAIL	64.99
x65.7	FAIL	65.14
sortnetsort6.AE.stepl.007	FAIL	65.17
x90.4	FAIL	65.34
eijk.S444.S-f2	FAIL	65.34
x45.6	FAIL	65.36
x90.2	FAIL	65.56
x350.9	FAIL	65.62
eijk.S382.S-f2	FAIL	65.89
4qbf-5cnf-80var-320cl.8	FAIL	65.9
x100.0	FAIL	65.92
x100.6	FAIL	65.94
3qbf-5cnf-20var-320cl.5	FAIL	66.21
x350.2	FAIL	66.23
x145.6	FAIL	66.34
x140.6	FAIL	66.37
x90.3	FAIL	66.42
x100.1	FAIL	66.53
x90.8	FAIL	67.06
x95.6	FAIL	67.12
x145.7	FAIL	67.14
x145.9	FAIL	67.18
x100.4	FAIL	67.22
x130.7	FAIL	67.24
connect_6x5_5_R	FAIL	67.29
S-adeu-9	FAIL	67.31
S-adeu-5	FAIL	67.47
x50.3	FAIL	67.49
x90.1	FAIL	67.68
x65.6	FAIL	67.98
x100.2	FAIL	68.03
x85.3	FAIL	68.03
S-edau-4	FAIL	68.03
x145.2	FAIL	68.12
S-adeu-4	FAIL	68.19
x190.1	FAIL	68.31
S-edau-7	FAIL	68.31
S-adeu-2	FAIL	68.47
x90.9	FAIL	68.5
2qbf-5cnf-40var-320cl.3	FAIL	68.51
4qbf-5cnf-20var-160cl.5	FAIL	68.66
x400.0	FAIL	68.71
T-edau-6	FAIL	68.72
6qbf-5cnf-20var-320cl.5	FAIL	68.88
S-edau-2	FAIL	68.94
x90.0	FAIL	68.99
x95.9	FAIL	69.22
x400.4	FAIL	69.47
x180.7	FAIL	69.68
T-adeu-6	FAIL	69.75
T-edau-7	FAIL	69.79
x180.3	FAIL	69.86
sortnetsort9.AE.stepl.009	FAIL	69.96
T-adeu-2	FAIL	70.02
x350.3	FAIL	70.09
x100.8	FAIL	70.11
x95.4	FAIL	70.44
x140.4	FAIL	70.8
x145.3	FAIL	70.95
x40.3	FAIL	71.15
x400.2	FAIL	71.32
sortnetsort8.AE.stepl.008	FAIL	71.41
x150.6	FAIL	71.5
x145.4	FAIL	71.72
x185.1	FAIL	71.74
x95.8	FAIL	71.74
x180.4	FAIL	71.79
4qbf-5cnf-20var-160cl.0	FAIL	72.08
S-edau-9	FAIL	72.17
x150.4	FAIL	72.2
x180.2	FAIL	72.28
irst.dme5.B-f2	FAIL	72.61
x190.0	FAIL	72.68
x185.9	FAIL	72.76
x95.1	FAIL	72.77
x35.0	FAIL	72.84
x45.8	FAIL	72.9
x155.5	FAIL	72.91
x40.1	FAIL	72.99
T-edau-1	FAIL	73
x100.9	FAIL	73.04
x35.1	FAIL	73.07
x105.2	FAIL	73.08
x185.5	FAIL	73.11
x150.8	FAIL	73.15
x150.5	FAIL	73.16
S-edau-1	FAIL	73.19
x65.4	FAIL	73.27
S-adeu-7	FAIL	73.39
S-edau-6	FAIL	73.62
x145.5	FAIL	73.77
S-adeu-1	FAIL	73.81
T-adeu-7	FAIL	73.85
T-edau-2	FAIL	73.85
x105.7	FAIL	73.88
x195.0	FAIL	73.89
x150.7	FAIL	73.95
x180.0	FAIL	74.16
x100.3	FAIL	74.4
x150.2	FAIL	74.44
x190.4	FAIL	74.5
x145.0	FAIL	74.56
x185.4	FAIL	74.65
test5_quant_squaring5	FAIL	74.75
T-adeu-8	FAIL	74.99
x195.9	FAIL	75.16
x100.7	FAIL	75.24
x95.2	FAIL	75.25
T-edau-0	FAIL	75.3
x45.9	FAIL	75.31
x105.0	FAIL	75.34
x85.0	FAIL	75.38
x150.1	FAIL	75.45
T-edau-8	FAIL	75.49
x185.0	FAIL	75.72
S-edau-5	FAIL	76.02
x150.9	FAIL	76.05
x190.5	FAIL	76.07
x185.3	FAIL	76.17
x45.5	FAIL	76.21
x65.8	FAIL	76.25
x40.6	FAIL	76.39
x190.9	FAIL	76.52
T-edau-3	FAIL	76.53
x40.5	FAIL	76.6
x205.5	FAIL	76.62
x195.6	FAIL	76.63
x185.7	FAIL	76.64
3qbf-5cnf-20var-160cl.6	FAIL	76.66
sortnetsort6.AE.stepl.003	FAIL	76.84
x30.3	SAT	76.92
x350.7	FAIL	76.94
T-adeu-1	FAIL	77.02
T-adeu-0	FAIL	77.05
x65.3	FAIL	77.19
x145.8	FAIL	77.29
x195.5	FAIL	77.33
4qbf-5cnf-80var-320cl.1	FAIL	77.41
x190.2	FAIL	77.65
x105.6	FAIL	77.79
x195.1	FAIL	77.79
x155.2	FAIL	78.07
x190.8	FAIL	78.14
x55.3	FAIL	78.19
x105.8	FAIL	78.27
S-edau-0	FAIL	78.36
x150.3	FAIL	78.39
x190.7	FAIL	78.41
x155.3	FAIL	78.68
x185.6	FAIL	78.7
x400.9	FAIL	78.79
x65.1	FAIL	78.81
T-edau-5	FAIL	78.9
S-edau-8	FAIL	79.03
x170.4	FAIL	79.26
x185.8	FAIL	79.35
x160.5	FAIL	79.75
test5_quant_squaring4	FAIL	79.8
x155.6	FAIL	80.06
x100.5	FAIL	80.1
robots_1_5_4_46.4	FAIL	80.55
x155.7	FAIL	80.61
eijk.S820.S-f2	FAIL	80.62
x105.1	FAIL	80.64
robots_1_5_4_98.4	FAIL	80.69
x195.8	FAIL	80.72
x195.4	FAIL	80.75
x110.0	FAIL	80.93
x155.9	FAIL	81.28
nusmv.reactor^5.C-f2	FAIL	81.34
x195.3	FAIL	81.39
x155.8	FAIL	81.45
x55.8	FAIL	81.53
x145.1	FAIL	81.58
robots_1_5_5_30.4	FAIL	81.62
x45.2	FAIL	81.62
x160.9	FAIL	81.81
robots_1_5_4_91.4	FAIL	82
robots_1_5_5_45.4	FAIL	82.09
x190.6	FAIL	82.09
x400.8	FAIL	82.14
x160.3	FAIL	82.21
x65.2	FAIL	82.3
x200.6	FAIL	82.34
x150.0	FAIL	82.54
x105.5	FAIL	82.56
x40.8	FAIL	82.69
x190.3	FAIL	82.79
x195.2	FAIL	82.92
x165.1	FAIL	82.96
x165.5	FAIL	83.04
3qbf-5cnf-20var-320cl.0	FAIL	83.11
x200.0	FAIL	83.26
robots_1_5_4_87.4	FAIL	83.33
x155.1	FAIL	83.45
test3_quant4	FAIL	83.71
S-edau-3	FAIL	83.89
6qbf-5cnf-80var-640cl.2	FAIL	83.99
x105.4	FAIL	84.11
x210.6	FAIL	84.14
x160.0	FAIL	84.57
x220.9	FAIL	84.59
x155.4	FAIL	84.66
robots_1_5_4_2.4	FAIL	85.07
robots_1_5_3_20.4	FAIL	85.09
4qbf-5cnf-40var-320cl.1	FAIL	85.22
x205.2	FAIL	85.46
x205.9	FAIL	85.48
x155.0	FAIL	85.61
x105.9	FAIL	85.69
4qbf-5cnf-40var-320cl.6	FAIL	85.7
x200.8	FAIL	85.71
x80.8	FAIL	86
x50.6	FAIL	86.04
x200.7	FAIL	86.07
4qbf-5cnf-20var-320cl.3	FAIL	86.11
x160.4	FAIL	86.81
robots_1_5_4_51.4	FAIL	86.93
x210.9	FAIL	87.22
robots_1_5_3_78.4	FAIL	87.26
x160.6	FAIL	87.31
x200.5	FAIL	87.74
sortnetsort10.v.stepl.005	UNSAT	87.74
robots_1_5_5_34.4	FAIL	88.09
x205.7	FAIL	88.23
x245.2	FAIL	88.26
x160.2	FAIL	88.34
x165.3	FAIL	88.49
x170.9	FAIL	88.57
robots_1_5_5_100.4	FAIL	88.73
x205.3	FAIL	88.79
x165.4	FAIL	88.89
robots_1_5_5_12.4	FAIL	89.04
x200.9	FAIL	89.05
x165.6	FAIL	89.06
robots_1_5_5_8.4	FAIL	89.07
x400.5	FAIL	89.25
x165.2	FAIL	89.45
T-adeu-3	FAIL	89.48
x195.7	FAIL	89.7
robots_1_5_5_93.4	FAIL	89.83
x200.4	FAIL	89.87
x210.5	FAIL	89.91
x400.1	FAIL	90.25
x350.8	FAIL	90.27
x165.7	FAIL	90.39
x160.8	FAIL	90.52
x170.8	FAIL	90.66
x160.1	FAIL	90.76
x105.3	FAIL	90.79
4qbf-5cnf-80var-320cl.2	FAIL	90.82
x400.7	FAIL	90.9
x175.2	FAIL	90.91
x200.3	FAIL	91
6qbf-5cnf-20var-160cl.4	FAIL	91.26
x165.9	FAIL	92.08
x215.6	FAIL	92.27
x210.8	FAIL	92.51
x40.0	FAIL	92.75
x170.7	FAIL	92.85
x215.5	FAIL	92.87
x350.6	FAIL	93.02
x40.9	FAIL	93.14
x205.4	FAIL	93.18
x210.7	FAIL	93.25
x205.0	FAIL	94.24
x205.8	FAIL	94.34
x205.1	FAIL	94.41
x200.2	FAIL	94.58
x245.0	FAIL	94.91
x165.0	FAIL	95.04
x165.8	FAIL	95.12
ncf_4_8_8_euad.5	FAIL	95.2
x215.2	FAIL	95.29
x235.4	FAIL	95.3
x350.1	FAIL	95.53
T-edau-9	FAIL	95.8
x220.4	FAIL	95.84
x215.3	FAIL	95.89
3qbf-5cnf-20var-160cl.1	FAIL	95.94
sortnetsort9.AE.stepl.007	FAIL	95.96
x220.2	FAIL	95.97
x170.1	FAIL	96.14
x220.0	FAIL	96.18
x45.0	FAIL	96.3
x215.0	FAIL	96.74
5qbf-5cnf-20var-640cl.4	FAIL	96.78
x170.6	FAIL	97.12
x210.2	FAIL	97.21
x220.7	FAIL	97.35
x210.3	FAIL	97.5
x210.4	FAIL	97.62
x220.1	FAIL	98
x400.3	FAIL	98.39
x225.2	FAIL	98.67
x215.8	FAIL	98.85
x170.0	FAIL	99.01
x35.4	FAIL	99.04
x215.4	FAIL	99.58
x220.8	FAIL	99.69
x230.4	FAIL	99.8
x220.6	FAIL	99.81
x170.3	FAIL	99.91
x215.7	FAIL	99.95
x210.0	FAIL	100.03
x220.5	FAIL	100.05
T-adeu-9	FAIL	100.36
x245.4	FAIL	101.21
x215.9	FAIL	101.98
x185.2	FAIL	102.4
x225.3	FAIL	102.56
x235.3	FAIL	102.59
x110.1	FAIL	102.61
x210.1	FAIL	102.71
x240.5	FAIL	103.02
x225.8	FAIL	103.24
x215.1	FAIL	103.34
x300.8	FAIL	103.49
x160.7	FAIL	103.62
x225.7	FAIL	103.7
sortnetsort5.AE.stepl.007	FAIL	104.26
x250.6	FAIL	104.38
x300.1	FAIL	104.38
sortnetsort7.AE.stepl.003	FAIL	104.4
x235.2	FAIL	104.6
x175.1	FAIL	104.72
x230.1	FAIL	104.73
x230.0	FAIL	104.75
x230.2	FAIL	104.92
x225.4	FAIL	104.94
x170.2	FAIL	105.15
x225.6	FAIL	105.72
x240.0	FAIL	105.87
x235.8	FAIL	105.94
texas.PI_main^11.E-f2	FAIL	106.21
x230.5	FAIL	106.31
x245.6	FAIL	106.4
x225.0	FAIL	106.51
3qbf-5cnf-160var-640cl.3	FAIL	106.67
x175.7	FAIL	107.69
x225.5	FAIL	107.82
x240.6	FAIL	107.92
x250.8	FAIL	108.33
x235.1	FAIL	108.37
x245.9	FAIL	108.67
x230.3	FAIL	109.21
x250.9	FAIL	109.59
x175.6	FAIL	109.64
x230.7	FAIL	109.93
x245.1	FAIL	110.07
x170.5	FAIL	110.14
x240.4	FAIL	110.16
x250.4	FAIL	110.37
x240.7	FAIL	110.7
x240.3	FAIL	111.03
x235.0	FAIL	111.37
x230.9	FAIL	111.38
T-adeu-5	FAIL	111.77
x245.3	FAIL	112.31
2qbf-5cnf-40var-160cl.4	FAIL	112.39
x230.8	FAIL	112.98
x235.7	FAIL	113.53
x235.5	FAIL	113.97
x245.5	FAIL	114.46
x245.7	FAIL	115.07
x235.9	FAIL	115.47
x245.8	FAIL	115.62
irst.dme4.B-f2	FAIL	116.23
s298_d4_s	SAT	116.79
x175.4	FAIL	117.08
x240.9	FAIL	117.13
x175.3	FAIL	117.56
3qbf-5cnf-40var-320cl.7	FAIL	117.96
x35.7	FAIL	118.06
x35.2	SAT	118.13
x250.2	FAIL	118.67
x175.5	FAIL	118.8
x250.0	FAIL	119.07
x235.6	FAIL	119.19
x240.1	FAIL	119.95
x250.5	FAIL	120.5
x300.9	FAIL	120.54
x230.6	FAIL	120.96
4qbf-5cnf-80var-320cl.5	FAIL	121.34
x300.6	FAIL	121.36
3qbf-5cnf-20var-320cl.7	FAIL	122.06
x240.2	FAIL	122.3
x250.1	FAIL	123.89
3qbf-5cnf-20var-160cl.9	FAIL	124.3
x250.3	FAIL	124.65
x180.1	FAIL	127.08
x240.8	FAIL	128.27
x250.7	FAIL	128.44
x200.1	FAIL	128.87
x175.8	FAIL	129.08
x175.9	FAIL	130.71
x300.0	FAIL	131.07
x300.3	FAIL	131.47
x180.9	FAIL	131.88
sortnetsort10.AE.stepl.011	FAIL	133.27
x35.9	FAIL	134.99
x35.8	SAT	136.17
x175.0	FAIL	136.68
x35.5	UNSAT	138.81
x300.5	FAIL	139.79
eijk.S386.S-f2	FAIL	140.3
x180.8	FAIL	140.72
x35.3	FAIL	141.59
x300.2	FAIL	143.48
vis.elevator^2.E-f2	FAIL	144.03
x300.7	FAIL	144.81
s499_d4_s	SAT	147.28
eijk.S510.S-f2	FAIL	148.19
C880.blif_0.10_1.00_0_1_out_exact	FAIL	149.09
x205.6	FAIL	149.42
3qbf-5cnf-80var-320cl.7	FAIL	149.44
4qbf-5cnf-20var-160cl.1	FAIL	149.49
x300.4	FAIL	151.53
x220.3	FAIL	151.58
ken.oop^2.C-f2	FAIL	153.08
texas.PI_main^02.E-f2	FAIL	153.76
x225.1	FAIL	154.6
x180.6	FAIL	155.19
cmu.dme1.B-f2	FAIL	159.35
x225.9	FAIL	160.9
3qbf-5cnf-80var-320cl.8	FAIL	164.11
eijk.S641.S-f2	FAIL	167.7
eijk.S344.S-f2	FAIL	167.86
eijk.S713.S-f2	FAIL	171.42
4qbf-5cnf-20var-160cl.4	FAIL	172.66
eijk.S953.S-f2	FAIL	173.01
texas.ifetch1^7.E-f2	FAIL	173.69
6qbf-5cnf-20var-160cl.2	FAIL	174.68
5qbf-5cnf-40var-320cl.1	FAIL	178.25
1qbf-5cnf-160var-2560cl.0	SAT	180.23
4qbf-5cnf-80var-320cl.6	FAIL	185.38
ncf_4_8_8_d.4	FAIL	188.53
ev-pr-4x4-11-3-0-0-1-lg	FAIL	192.76
eijk.S838.S-f2	FAIL	195.41
eijk.S526.S-f2	FAIL	204.44
ev-pr-8x8-9-7-0-1-2-lg	FAIL	206.7
1qbf-5cnf-160var-2560cl.8	SAT	209.42
x35.6	UNSAT	211.25
6qbf-5cnf-20var-160cl.9	FAIL	212.38
s713_d2_s	SAT	213.48
texas.ifetch1^1.E-f2	FAIL	219.6
eijk.bs1512.S-f2	FAIL	228.74
4qbf-5cnf-80var-320cl.4	FAIL	231.74
ncf_4_16_2_u.7	SAT	232.99
eijk.S420.S-f2	FAIL	239.32
cmu.gigamax.B-f2	FAIL	239.45
eijk.S349.S-f2	FAIL	239.78
ev-pr-6x6-7-5-0-1-2-lg	FAIL	246.15
3qbf-5cnf-20var-160cl.8	FAIL	246.54
nusmv.brp.B-f2	FAIL	250.52
ncf_4_32_2_edau.2	SAT	253.13
irst.dme6.B-f2	FAIL	259.12
ev-pr-8x8-11-7-0-1-2-lg	FAIL	262.36
nusmv.dme1-16.B-d2	FAIL	262.56
ev-pr-6x6-9-5-0-1-2-lg	FAIL	270.72
ev-pr-4x4-13-3-0-0-1-lg	FAIL	278.94
ncf_4_8_2_euad.3	FAIL	302.75
ev-pr-8x8-7-7-0-1-2-lg	FAIL	306.2
nusmv.syncarb10^2.B-f2	FAIL	306.34
1qbf-5cnf-80var-2560cl.4	UNSAT	313.94
1qbf-5cnf-80var-2560cl.1	UNSAT	316.96
4qbf-5cnf-20var-160cl.8	FAIL	325.42
1qbf-5cnf-80var-2560cl.2	UNSAT	347.92
ev-pr-4x4-15-3-0-0-1-lg	FAIL	365.69
C432.blif_0.10_0.20_0_0_out_exact	UNSAT	366.71
1qbf-5cnf-80var-2560cl.3	UNSAT	374.77
eijk.S298.S-f2	FAIL	386.42
3qbf-5cnf-20var-160cl.0	FAIL	394.52
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	400.46
1qbf-5cnf-80var-2560cl.9	UNSAT	407.89
1qbf-5cnf-80var-2560cl.7	UNSAT	411.12
texas.two_proc^5.E-f2	FAIL	422.58
6qbf-5cnf-20var-160cl.6	FAIL	422.76
1qbf-5cnf-80var-2560cl.5	UNSAT	427.87
1qbf-5cnf-80var-2560cl.8	UNSAT	428.61
ev-pr-4x4-17-3-0-0-1-lg	FAIL	444.93
1qbf-5cnf-80var-2560cl.6	UNSAT	455.03
3qbf-5cnf-20var-160cl.4	FAIL	459.54
1qbf-5cnf-80var-2560cl.0	UNSAT	461.86
texas.ifetch1^3.E-f2	FAIL	474.51
vis.coherence^5.E-f2	FAIL	490.05
texas.two_proc^4.E-f2	FAIL	525.69
texas.two_proc^3.E-f2	FAIL	546.86
3qbf-5cnf-20var-160cl.7	FAIL	555.4
vis.elevator^3.E-f2	FAIL	558.24
6qbf-5cnf-20var-160cl.5	FAIL	560.11
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	596.33
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	596.42
sortnetsort10.v.stepl.008	FAIL	596.71
sortnetsort10.v.stepl.007	FAIL	597.2
sortnetsort10.v.stepl.006	FAIL	597.67
term1.blif_0.10_0.20_0_0_out_exact	FAIL	597.97
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	598.2
texas.two_proc^2.E-f2	FAIL	599.47
sortnetsort9.v.stepl.006	FAIL	599.8
texas.ifetch1^2.E-f2	FAIL	613
ncf_4_16_2_euad.7	SAT	700.15
texas.PI_main^12.E-f2	FAIL	702.67
ken.oop^1.C-f2	FAIL	805.2
3qbf-5cnf-20var-160cl.5	FAIL	837.94
ncf_4_16_8_d.7	FAIL	868.72
1qbf-5cnf-160var-2560cl.2	SAT	1114.94
texas.ifetch1^5.E-f2	FAIL	1263.93
texas.two_proc^1.E-f2	FAIL	1726.63
1qbf-5cnf-160var-2560cl.1	SAT	1972.58
1qbf-5cnf-160var-2560cl.4	SAT	2657.49
eijk.S208o.S-f2	SAT	3217.11
vis.coherence^1.E-f2	FAIL	3680
eijk.S208c.S-f2	FAIL	4565.24
eijk.S208.S-f2	FAIL	6000.3
Adder2-8-s	FAIL	6000.35
texas.PI_main^16.E-f2	FAIL	6000.45
test3_quant_squaring2	FAIL	6000.49
vis.4-arbit^2.E-f2	FAIL	6000.51
test3_quant2	FAIL	6000.63
vis.coherence^2.E-f2	FAIL	6000.63
texas.two_proc^6.E-f2	FAIL	6000.64
vis.4-arbit^1.E-f2	FAIL	6000.76
vis.arbiter.E-f2	FAIL	6000.77
vis.coherence^3.E-f2	FAIL	6000.78
adder-8-sat	FAIL	6000.79
texas.PI_main^10.E-f2	FAIL	6000.84
texas.PI_main^01.E-f2	FAIL	6000.86

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUANTOR
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUANTOR QBFEVAL'06

Instances solved by QUANTOR
QBFEVAL'06