Instances solved by <a href='solver_detail.php?solver=31'>ssolve-ut</a> <br> QBFEVAL'06

Instances solved by ssolve-ut
QBFEVAL'06

Instance	Result	Time
lut4_3_fAND	FAIL	0
4qbf-5cnf-40var-640cl.1	UNSAT	0.07
Qq3k2k2k1v80v80v80m2s0	SAT	0.07
3qbf-5cnf-160var-640cl.0	SAT	0.08
Qq3k1k2k2v40v40v40m4s7	SAT	0.08
Qq3k1k2k2v80v80v80m4s4	SAT	0.08
Qq3k2k1k2v40v40v40m4s0	SAT	0.08
ncf_8_16_4_edau.2	UNSAT	0.09
3qbf-5cnf-20var-160cl.5	SAT	0.09
Qq2k1k4v80v80m8s6	SAT	0.09
Qq2k2k3v80v80m32s6	SAT	0.09
Qq2k3k2v80v80m32s4	SAT	0.09
Qq3k1k1k3v40v40v40m2s8	SAT	0.09
Qq3k1k2k2v40v40v40m16s6	SAT	0.09
Qq3k1k3k1v40v40v40m16s6	SAT	0.09
Qq3k3k1k1v80v80v80m8s8	SAT	0.09
ncf_16_32_2_euad.6	SAT	0.1
3qbf-5cnf-20var-320cl.6	UNSAT	0.1
6qbf-5cnf-80var-1280cl.2	UNSAT	0.1
Qq2k1k4v40v40m2s1	SAT	0.1
Qq2k1k4v40v40m16s3	UNSAT	0.1
Qq2k1k4v80v80m2s3	SAT	0.1
Qq3k1k2k2v40v40v40m8s0	SAT	0.1
Qq3k1k2k2v80v80v80m2s1	SAT	0.1
Qq3k1k2k2v80v80v80m16s7	SAT	0.1
Qq3k1k3k1v80v80v80m2s5	SAT	0.1
Qq3k2k1k2v80v80v80m2s1	SAT	0.1
Qq3k2k1k2v80v80v80m8s3	SAT	0.1
2qbf-5cnf-160var-320cl.8	SAT	0.11
5qbf-5cnf-20var-640cl.8	UNSAT	0.11
4qbf-5cnf-20var-320cl.9	UNSAT	0.11
6qbf-5cnf-20var-640cl.2	UNSAT	0.11
4qbf-5cnf-40var-640cl.8	UNSAT	0.11
ncf_16_32_4_d.9	SAT	0.11
6qbf-5cnf-40var-1280cl.8	UNSAT	0.11
x5.7	UNSAT	0.11
Qq2k1k4v40v40m4s0	SAT	0.11
Qq2k1k4v40v40m32s6	UNSAT	0.11
Qq2k1k4v80v80m8s9	SAT	0.11
Qq2k1k4v80v80m32s9	UNSAT	0.11
Qq2k2k3v80v80m32s3	SAT	0.11
Qq3k1k2k2v40v40v40m2s8	SAT	0.11
Qq3k1k2k2v40v40v40m8s8	SAT	0.11
Qq3k1k2k2v40v40v40m16s2	SAT	0.11
Qq3k1k2k2v80v80v80m8s1	SAT	0.11
Qq3k1k3k1v40v40v40m2s0	SAT	0.11
Qq3k1k3k1v40v40v40m8s8	SAT	0.11
Qq3k2k1k2v80v80v80m8s4	SAT	0.11
Qq3k2k2k1v40v40v40m4s1	SAT	0.11
Qq3k2k2k1v40v40v40m32s0	SAT	0.11
Qq3k2k2k1v40v40v40m32s5	SAT	0.11
Qq3k2k2k1v80v80v80m16s3	SAT	0.11
3qbf-5cnf-40var-320cl.0	SAT	0.12
4qbf-5cnf-160var-640cl.9	SAT	0.12
4qbf-5cnf-160var-640cl.4	SAT	0.12
3qbf-5cnf-80var-320cl.9	SAT	0.12
4qbf-5cnf-20var-160cl.6	UNSAT	0.12
ncf_4_16_2_euad.9	SAT	0.12
6qbf-5cnf-40var-1280cl.6	UNSAT	0.12
ncf_16_32_4_euad.9	SAT	0.12
4qbf-5cnf-20var-320cl.4	UNSAT	0.12
5qbf-5cnf-80var-1280cl.6	UNSAT	0.12
5qbf-5cnf-160var-2560cl.2	UNSAT	0.12
ncf_8_16_4_d.2	UNSAT	0.12
4qbf-5cnf-20var-640cl.3	UNSAT	0.12
Qq2k1k4v40v40m4s1	SAT	0.12
Qq2k1k4v40v40m8s9	SAT	0.12
Qq2k1k4v80v80m2s7	SAT	0.12
Qq2k1k4v80v80m8s0	SAT	0.12
Qq2k1k4v80v80m8s7	SAT	0.12
Qq2k1k4v80v80m16s4	SAT	0.12
Qq2k2k3v40v40m2s6	SAT	0.12
Qq2k2k3v40v40m8s2	SAT	0.12
Qq2k2k3v80v80m4s4	SAT	0.12
Qq2k2k3v80v80m8s2	SAT	0.12
Qq2k2k3v80v80m32s4	SAT	0.12
Qq2k2k3v80v80m32s8	SAT	0.12
Qq2k3k2v40v40m8s5	SAT	0.12
Qq2k3k2v80v80m4s8	SAT	0.12
Qq2k3k2v80v80m16s2	SAT	0.12
Qq3k1k1k3v40v40v40m4s4	SAT	0.12
Qq3k1k1k3v40v40v40m4s7	SAT	0.12
Qq3k1k1k3v40v40v40m4s8	SAT	0.12
Qq3k1k1k3v40v40v40m32s0	SAT	0.12
Qq3k1k1k3v40v40v40m32s7	SAT	0.12
Qq3k1k1k3v80v80v80m4s0	SAT	0.12
Qq3k1k1k3v80v80v80m4s1	SAT	0.12
Qq3k1k2k2v40v40v40m32s1	SAT	0.12
Qq3k1k2k2v80v80v80m4s0	SAT	0.12
Qq3k1k2k2v80v80v80m16s0	SAT	0.12
Qq3k1k3k1v40v40v40m32s0	SAT	0.12
Qq3k1k3k1v80v80v80m2s7	SAT	0.12
Qq3k2k1k2v80v80v80m4s3	SAT	0.12
Qq3k2k1k2v80v80v80m32s7	SAT	0.12
Qq3k2k2k1v40v40v40m4s8	SAT	0.12
Qq3k2k2k1v40v40v40m8s2	SAT	0.12
Qq3k2k2k1v40v40v40m8s9	SAT	0.12
Qq3k2k2k1v80v80v80m32s5	SAT	0.12
3qbf-5cnf-80var-320cl.1	SAT	0.13
ncf_4_8_2_u.7	UNSAT	0.13
ncf_4_8_2_euad.9	SAT	0.13
6qbf-5cnf-80var-1280cl.1	UNSAT	0.13
ncf_4_8_2_euad.6	SAT	0.13
4qbf-5cnf-20var-320cl.8	UNSAT	0.13
4qbf-5cnf-160var-640cl.0	SAT	0.13
5qbf-5cnf-160var-640cl.9	SAT	0.13
4qbf-5cnf-40var-640cl.7	UNSAT	0.13
2qbf-5cnf-160var-320cl.1	SAT	0.13
5qbf-5cnf-160var-640cl.0	SAT	0.13
3qbf-5cnf-20var-160cl.6	SAT	0.13
5qbf-5cnf-20var-320cl.3	UNSAT	0.13
2qbf-5cnf-40var-320cl.7	UNSAT	0.13
5qbf-5cnf-80var-1280cl.3	UNSAT	0.13
4qbf-5cnf-80var-320cl.3	SAT	0.13
ncf_4_16_4_euad.5	SAT	0.13
5qbf-5cnf-80var-2560cl.4	UNSAT	0.13
6qbf-5cnf-40var-1280cl.2	UNSAT	0.13
ncf_4_32_2_edau.2	SAT	0.13
4qbf-5cnf-20var-160cl.7	UNSAT	0.13
4qbf-5cnf-20var-160cl.0	UNSAT	0.13
4qbf-5cnf-80var-320cl.4	SAT	0.13
6qbf-5cnf-20var-160cl.7	SAT	0.13
2qbf-5cnf-40var-640cl.4	UNSAT	0.13
Qq2k1k4v40v40m2s5	SAT	0.13
Qq2k1k4v40v40m4s8	SAT	0.13
Qq2k1k4v40v40m8s8	SAT	0.13
Qq2k1k4v80v80m2s5	SAT	0.13
Qq2k1k4v80v80m4s2	SAT	0.13
Qq2k1k4v80v80m16s0	UNSAT	0.13
Qq2k2k3v40v40m4s0	SAT	0.13
Qq2k2k3v40v40m4s5	SAT	0.13
Qq2k2k3v40v40m8s1	SAT	0.13
Qq2k2k3v40v40m8s7	SAT	0.13
Qq2k2k3v80v80m16s4	SAT	0.13
Qq2k2k3v80v80m16s7	SAT	0.13
Qq2k3k2v40v40m32s0	SAT	0.13
Qq2k3k2v80v80m4s5	SAT	0.13
Qq2k3k2v80v80m8s8	SAT	0.13
Qq2k3k2v80v80m16s5	SAT	0.13
Qq3k1k1k3v40v40v40m32s9	SAT	0.13
Qq3k1k1k3v80v80v80m32s7	SAT	0.13
Qq3k1k2k2v40v40v40m8s5	SAT	0.13
Qq3k1k2k2v80v80v80m2s2	SAT	0.13
Qq3k1k2k2v80v80v80m2s5	SAT	0.13
Qq3k1k2k2v80v80v80m16s5	SAT	0.13
Qq3k1k2k2v80v80v80m16s8	SAT	0.13
Qq3k1k3k1v40v40v40m8s9	SAT	0.13
Qq3k1k3k1v40v40v40m16s2	SAT	0.13
Qq3k1k3k1v40v40v40m16s8	SAT	0.13
Qq3k1k3k1v80v80v80m2s1	SAT	0.13
Qq3k1k3k1v80v80v80m8s0	SAT	0.13
Qq3k1k3k1v80v80v80m32s3	SAT	0.13
Qq3k1k3k1v80v80v80m32s8	SAT	0.13
Qq3k2k1k2v40v40v40m16s0	SAT	0.13
Qq3k2k1k2v40v40v40m16s6	SAT	0.13
Qq3k2k1k2v40v40v40m32s2	SAT	0.13
Qq3k2k1k2v80v80v80m8s6	SAT	0.13
Qq3k2k1k2v80v80v80m8s8	SAT	0.13
Qq3k2k2k1v40v40v40m2s5	SAT	0.13
Qq3k2k2k1v40v40v40m2s6	SAT	0.13
Qq3k2k2k1v40v40v40m8s7	SAT	0.13
Qq3k2k2k1v40v40v40m16s1	SAT	0.13
Qq3k2k2k1v40v40v40m32s2	SAT	0.13
Qq3k2k2k1v80v80v80m2s4	SAT	0.13
Qq3k2k2k1v80v80v80m2s8	SAT	0.13
Qq3k2k2k1v80v80v80m4s9	SAT	0.13
Qq3k3k1k1v40v40v40m2s9	SAT	0.13
Qq3k3k1k1v40v40v40m8s1	SAT	0.13
Qq3k3k1k1v40v40v40m8s5	SAT	0.13
Qq3k3k1k1v40v40v40m16s1	SAT	0.13
Qq3k3k1k1v80v80v80m4s4	SAT	0.13
Qq3k3k1k1v80v80v80m4s9	SAT	0.13
Qq3k3k1k1v80v80v80m16s1	SAT	0.13
Qq3k3k1k1v80v80v80m16s5	SAT	0.13
6qbf-5cnf-80var-2560cl.9	UNSAT	0.14
6qbf-5cnf-20var-160cl.4	SAT	0.14
ncf_8_16_4_d.10	SAT	0.14
5qbf-5cnf-160var-640cl.1	SAT	0.14
6qbf-5cnf-40var-320cl.7	SAT	0.14
2qbf-5cnf-40var-160cl.3	SAT	0.14
5qbf-5cnf-40var-640cl.1	UNSAT	0.14
3qbf-5cnf-80var-320cl.7	SAT	0.14
ncf_16_32_2_d.7	UNSAT	0.14
mutex-32-s	SAT	0.14
3qbf-5cnf-20var-160cl.0	SAT	0.14
4qbf-5cnf-20var-640cl.1	UNSAT	0.14
3qbf-5cnf-80var-2560cl.5	UNSAT	0.14
4qbf-5cnf-20var-320cl.1	UNSAT	0.14
ncf_4_16_2_u.6	SAT	0.14
5qbf-5cnf-160var-640cl.6	SAT	0.14
2qbf-5cnf-80var-1280cl.2	UNSAT	0.14
ncf_8_16_4_u.5	UNSAT	0.14
ncf_16_32_2_d.6	SAT	0.14
4qbf-5cnf-40var-320cl.3	UNSAT	0.14
2qbf-5cnf-160var-2560cl.1	UNSAT	0.14
4qbf-5cnf-20var-640cl.0	UNSAT	0.14
ncf_4_8_4_euad.2	UNSAT	0.14
3qbf-5cnf-20var-160cl.3	SAT	0.14
4qbf-5cnf-20var-160cl.9	SAT	0.14
3qbf-5cnf-80var-320cl.4	SAT	0.14
2qbf-5cnf-40var-640cl.0	UNSAT	0.14
5qbf-5cnf-80var-1280cl.2	UNSAT	0.14
ncf_4_8_2_euad.10	SAT	0.14
3qbf-5cnf-40var-320cl.4	SAT	0.14
ncf_4_8_2_u.2	SAT	0.14
x5.1	UNSAT	0.14
eijk.S298.S-d2	SAT	0.14
vis.4-arbit^1.E-d2	SAT	0.14
Qq2k1k4v40v40m8s0	SAT	0.14
Qq2k1k4v40v40m16s0	UNSAT	0.14
Qq2k1k4v40v40m16s4	SAT	0.14
Qq2k1k4v80v80m2s9	SAT	0.14
Qq2k1k4v80v80m4s1	SAT	0.14
Qq2k1k4v80v80m32s4	UNSAT	0.14
Qq2k2k3v40v40m2s0	SAT	0.14
Qq2k2k3v40v40m2s5	SAT	0.14
Qq2k2k3v40v40m16s7	SAT	0.14
Qq2k2k3v80v80m2s0	SAT	0.14
Qq2k2k3v80v80m2s6	SAT	0.14
Qq2k2k3v80v80m4s3	SAT	0.14
Qq2k2k3v80v80m8s4	SAT	0.14
Qq2k2k3v80v80m32s9	SAT	0.14
Qq2k3k2v40v40m2s3	SAT	0.14
Qq2k3k2v40v40m2s9	SAT	0.14
Qq2k3k2v40v40m4s1	SAT	0.14
Qq2k3k2v40v40m8s2	SAT	0.14
Qq2k3k2v40v40m16s1	SAT	0.14
Qq2k3k2v80v80m2s1	SAT	0.14
Qq2k3k2v80v80m2s6	SAT	0.14
Qq2k3k2v80v80m4s6	SAT	0.14
Qq2k3k2v80v80m4s7	SAT	0.14
Qq2k3k2v80v80m8s6	SAT	0.14
Qq2k3k2v80v80m8s7	SAT	0.14
Qq2k3k2v80v80m32s0	SAT	0.14
Qq2k3k2v80v80m32s5	SAT	0.14
Qq3k1k1k3v40v40v40m4s1	SAT	0.14
Qq3k1k1k3v40v40v40m8s0	SAT	0.14
Qq3k1k1k3v40v40v40m8s9	SAT	0.14
Qq3k1k1k3v40v40v40m16s2	SAT	0.14
Qq3k1k1k3v40v40v40m32s5	SAT	0.14
Qq3k1k1k3v40v40v40m32s6	SAT	0.14
Qq3k1k1k3v80v80v80m2s7	SAT	0.14
Qq3k1k1k3v80v80v80m4s8	SAT	0.14
Qq3k1k1k3v80v80v80m8s3	SAT	0.14
Qq3k1k1k3v80v80v80m8s4	SAT	0.14
Qq3k1k1k3v80v80v80m32s0	SAT	0.14
Qq3k1k2k2v40v40v40m2s5	SAT	0.14
Qq3k1k2k2v40v40v40m4s8	SAT	0.14
Qq3k1k2k2v40v40v40m4s9	SAT	0.14
Qq3k1k2k2v40v40v40m8s1	SAT	0.14
Qq3k1k2k2v80v80v80m2s7	SAT	0.14
Qq3k1k2k2v80v80v80m8s3	SAT	0.14
Qq3k1k3k1v40v40v40m4s2	SAT	0.14
Qq3k1k3k1v40v40v40m4s4	SAT	0.14
Qq3k1k3k1v80v80v80m8s2	SAT	0.14
Qq3k1k3k1v80v80v80m8s5	SAT	0.14
Qq3k1k3k1v80v80v80m16s8	SAT	0.14
Qq3k1k3k1v80v80v80m16s9	SAT	0.14
Qq3k2k1k2v40v40v40m2s9	SAT	0.14
Qq3k2k1k2v80v80v80m2s3	SAT	0.14
Qq3k2k1k2v80v80v80m4s9	SAT	0.14
Qq3k2k1k2v80v80v80m32s4	SAT	0.14
Qq3k2k2k1v40v40v40m2s7	SAT	0.14
Qq3k2k2k1v40v40v40m4s5	SAT	0.14
Qq3k2k2k1v40v40v40m8s3	SAT	0.14
Qq3k2k2k1v40v40v40m32s1	SAT	0.14
Qq3k3k1k1v40v40v40m4s5	SAT	0.14
Qq3k3k1k1v40v40v40m4s8	SAT	0.14
Qq3k3k1k1v40v40v40m16s7	SAT	0.14
Qq3k3k1k1v40v40v40m32s5	SAT	0.14
Qq3k3k1k1v80v80v80m16s6	SAT	0.14
4qbf-5cnf-80var-320cl.9	SAT	0.15
6qbf-5cnf-40var-1280cl.5	UNSAT	0.15
3qbf-5cnf-80var-1280cl.0	UNSAT	0.15
5qbf-5cnf-40var-640cl.2	UNSAT	0.15
6qbf-5cnf-80var-640cl.8	UNSAT	0.15
6qbf-5cnf-160var-640cl.2	SAT	0.15
5qbf-5cnf-40var-320cl.8	SAT	0.15
3qbf-5cnf-160var-2560cl.5	UNSAT	0.15
5qbf-5cnf-80var-2560cl.3	UNSAT	0.15
4qbf-5cnf-80var-1280cl.3	UNSAT	0.15
ncf_16_32_2_u.9	UNSAT	0.15
2qbf-5cnf-40var-160cl.2	UNSAT	0.15
3qbf-5cnf-40var-640cl.6	UNSAT	0.15
6qbf-5cnf-80var-640cl.2	SAT	0.15
3qbf-5cnf-80var-320cl.0	SAT	0.15
6qbf-5cnf-80var-640cl.1	SAT	0.15
2qbf-5cnf-80var-1280cl.5	UNSAT	0.15
4qbf-5cnf-20var-640cl.7	UNSAT	0.15
5qbf-5cnf-80var-2560cl.1	UNSAT	0.15
2qbf-5cnf-80var-1280cl.6	UNSAT	0.15
3qbf-5cnf-80var-2560cl.1	UNSAT	0.15
2qbf-5cnf-40var-640cl.2	UNSAT	0.15
3qbf-5cnf-80var-320cl.3	SAT	0.15
6qbf-5cnf-20var-160cl.9	SAT	0.15
6qbf-5cnf-160var-640cl.9	SAT	0.15
4qbf-5cnf-20var-160cl.3	UNSAT	0.15
4qbf-5cnf-20var-160cl.1	UNSAT	0.15
ncf_16_32_2_euad.9	UNSAT	0.15
6qbf-5cnf-40var-640cl.6	UNSAT	0.15
6qbf-5cnf-40var-640cl.7	UNSAT	0.15
3qbf-5cnf-160var-2560cl.6	UNSAT	0.15
5qbf-5cnf-40var-1280cl.8	UNSAT	0.15
3qbf-5cnf-160var-640cl.8	SAT	0.15
5qbf-5cnf-20var-320cl.7	UNSAT	0.15
6qbf-5cnf-160var-640cl.4	SAT	0.15
5qbf-5cnf-40var-640cl.6	UNSAT	0.15
3qbf-5cnf-20var-320cl.3	UNSAT	0.15
6qbf-5cnf-80var-1280cl.9	UNSAT	0.15
ncf_4_8_8_d.9	UNSAT	0.15
5qbf-5cnf-40var-640cl.4	UNSAT	0.15
4qbf-5cnf-80var-1280cl.9	UNSAT	0.15
3qbf-5cnf-80var-2560cl.3	UNSAT	0.15
4qbf-5cnf-20var-160cl.2	SAT	0.15
x10.9	UNSAT	0.15
x15.5	UNSAT	0.15
x5.5	UNSAT	0.15
Qq2k1k4v40v40m2s0	SAT	0.15
Qq2k1k4v40v40m2s3	SAT	0.15
Qq2k1k4v40v40m4s2	UNSAT	0.15
Qq2k1k4v40v40m16s6	UNSAT	0.15
Qq2k1k4v80v80m4s0	SAT	0.15
Qq2k1k4v80v80m4s8	SAT	0.15
Qq2k2k3v40v40m8s8	SAT	0.15
Qq2k2k3v40v40m32s4	SAT	0.15
Qq2k2k3v80v80m2s2	SAT	0.15
Qq2k2k3v80v80m2s4	SAT	0.15
Qq2k2k3v80v80m4s2	SAT	0.15
Qq2k2k3v80v80m32s2	SAT	0.15
Qq2k3k2v40v40m2s0	SAT	0.15
Qq2k3k2v40v40m2s1	SAT	0.15
Qq2k3k2v40v40m2s4	SAT	0.15
Qq2k3k2v40v40m2s6	SAT	0.15
Qq2k3k2v40v40m8s3	SAT	0.15
Qq2k3k2v40v40m16s3	SAT	0.15
Qq2k3k2v40v40m32s5	SAT	0.15
Qq2k3k2v40v40m32s8	SAT	0.15
Qq2k3k2v80v80m4s4	SAT	0.15
Qq2k3k2v80v80m8s9	SAT	0.15
Qq2k3k2v80v80m32s2	SAT	0.15
Qq3k1k1k3v40v40v40m2s0	SAT	0.15
Qq3k1k1k3v40v40v40m2s4	SAT	0.15
Qq3k1k1k3v40v40v40m2s5	SAT	0.15
Qq3k1k1k3v40v40v40m2s6	SAT	0.15
Qq3k1k1k3v40v40v40m4s9	SAT	0.15
Qq3k1k1k3v40v40v40m8s2	SAT	0.15
Qq3k1k1k3v40v40v40m8s5	SAT	0.15
Qq3k1k1k3v40v40v40m8s7	SAT	0.15
Qq3k1k1k3v80v80v80m2s1	SAT	0.15
Qq3k1k1k3v80v80v80m4s4	SAT	0.15
Qq3k1k1k3v80v80v80m16s8	SAT	0.15
Qq3k1k1k3v80v80v80m32s2	SAT	0.15
Qq3k1k1k3v80v80v80m32s4	SAT	0.15
Qq3k1k2k2v40v40v40m8s6	SAT	0.15
Qq3k1k2k2v40v40v40m32s0	SAT	0.15
Qq3k1k2k2v80v80v80m2s8	SAT	0.15
Qq3k1k2k2v80v80v80m4s1	SAT	0.15
Qq3k1k2k2v80v80v80m4s6	SAT	0.15
Qq3k1k2k2v80v80v80m32s4	SAT	0.15
Qq3k1k3k1v40v40v40m4s9	SAT	0.15
Qq3k1k3k1v40v40v40m8s2	SAT	0.15
Qq3k1k3k1v40v40v40m32s5	SAT	0.15
Qq3k1k3k1v80v80v80m2s0	SAT	0.15
Qq3k1k3k1v80v80v80m2s3	SAT	0.15
Qq3k1k3k1v80v80v80m4s0	SAT	0.15
Qq3k1k3k1v80v80v80m4s8	SAT	0.15
Qq3k1k3k1v80v80v80m16s3	SAT	0.15
Qq3k1k3k1v80v80v80m32s4	SAT	0.15
Qq3k2k1k2v40v40v40m2s1	SAT	0.15
Qq3k2k1k2v40v40v40m4s2	SAT	0.15
Qq3k2k1k2v40v40v40m16s2	SAT	0.15
Qq3k2k1k2v40v40v40m16s3	SAT	0.15
Qq3k2k1k2v40v40v40m32s4	SAT	0.15
Qq3k2k1k2v40v40v40m32s5	SAT	0.15
Qq3k2k2k1v40v40v40m4s3	SAT	0.15
Qq3k2k2k1v40v40v40m4s4	SAT	0.15
Qq3k2k2k1v40v40v40m16s0	SAT	0.15
Qq3k2k2k1v80v80v80m2s5	SAT	0.15
Qq3k2k2k1v80v80v80m4s7	SAT	0.15
Qq3k2k2k1v80v80v80m8s1	SAT	0.15
Qq3k2k2k1v80v80v80m8s6	SAT	0.15
Qq3k2k2k1v80v80v80m8s7	SAT	0.15
Qq3k2k2k1v80v80v80m8s9	SAT	0.15
Qq3k3k1k1v40v40v40m4s0	SAT	0.15
Qq3k3k1k1v40v40v40m8s0	SAT	0.15
Qq3k3k1k1v40v40v40m8s8	SAT	0.15
Qq3k3k1k1v40v40v40m16s9	SAT	0.15
Qq3k3k1k1v80v80v80m2s3	SAT	0.15
Qq3k3k1k1v80v80v80m2s8	SAT	0.15
Qq3k3k1k1v80v80v80m4s1	SAT	0.15
Qq3k3k1k1v80v80v80m4s2	SAT	0.15
Qq3k3k1k1v80v80v80m32s7	SAT	0.15
Qq3k3k1k1v80v80v80m32s9	SAT	0.15
6qbf-5cnf-40var-320cl.6	SAT	0.16
3qbf-5cnf-20var-320cl.9	UNSAT	0.16
3qbf-5cnf-160var-2560cl.8	UNSAT	0.16
ncf_4_8_2_u.1	UNSAT	0.16
6qbf-5cnf-20var-320cl.5	UNSAT	0.16
5qbf-5cnf-160var-640cl.3	SAT	0.16
5qbf-5cnf-40var-640cl.7	UNSAT	0.16
4qbf-5cnf-80var-1280cl.5	UNSAT	0.16
6qbf-5cnf-20var-640cl.0	UNSAT	0.16
6qbf-5cnf-40var-640cl.5	UNSAT	0.16
2qbf-5cnf-80var-640cl.4	UNSAT	0.16
6qbf-5cnf-20var-320cl.8	UNSAT	0.16
ncf_4_8_2_euad.1	UNSAT	0.16
5qbf-5cnf-80var-1280cl.4	UNSAT	0.16
4qbf-5cnf-80var-320cl.2	SAT	0.16
3qbf-5cnf-20var-320cl.0	UNSAT	0.16
4qbf-5cnf-40var-1280cl.6	UNSAT	0.16
3qbf-5cnf-40var-640cl.8	UNSAT	0.16
5qbf-5cnf-40var-1280cl.6	UNSAT	0.16
5qbf-5cnf-160var-2560cl.0	UNSAT	0.16
5qbf-5cnf-20var-640cl.3	UNSAT	0.16
3qbf-5cnf-40var-640cl.7	UNSAT	0.16
4qbf-5cnf-40var-1280cl.0	UNSAT	0.16
6qbf-5cnf-80var-2560cl.3	UNSAT	0.16
6qbf-5cnf-40var-1280cl.1	UNSAT	0.16
mutex-16-s	SAT	0.16
6qbf-5cnf-80var-1280cl.3	UNSAT	0.16
5qbf-5cnf-80var-1280cl.7	UNSAT	0.16
4qbf-5cnf-160var-2560cl.9	UNSAT	0.16
ncf_4_8_2_u.8	SAT	0.16
4qbf-5cnf-20var-320cl.0	UNSAT	0.16
2qbf-5cnf-160var-320cl.4	SAT	0.16
2qbf-5cnf-40var-160cl.7	UNSAT	0.16
ncf_4_8_8_euad.9	UNSAT	0.16
6qbf-5cnf-40var-1280cl.4	UNSAT	0.16
5qbf-5cnf-40var-640cl.8	UNSAT	0.16
3qbf-5cnf-20var-160cl.2	SAT	0.16
5qbf-5cnf-160var-640cl.5	SAT	0.16
2qbf-5cnf-40var-320cl.3	UNSAT	0.16
ncf_4_8_2_euad.2	SAT	0.16
6qbf-5cnf-160var-640cl.3	SAT	0.16
ncf_4_8_4_u.2	UNSAT	0.16
x5.2	UNSAT	0.16
eijk.S208.S-d2	SAT	0.16
Qq2k1k4v40v40m2s9	SAT	0.16
Qq2k1k4v40v40m4s6	SAT	0.16
Qq2k1k4v40v40m8s5	SAT	0.16
Qq2k1k4v40v40m32s2	UNSAT	0.16
Qq2k1k4v40v40m32s3	UNSAT	0.16
Qq2k1k4v80v80m2s4	SAT	0.16
Qq2k1k4v80v80m16s3	UNSAT	0.16
Qq2k2k3v40v40m2s4	SAT	0.16
Qq2k2k3v40v40m2s7	SAT	0.16
Qq2k2k3v40v40m2s8	SAT	0.16
Qq2k2k3v40v40m4s6	SAT	0.16
Qq2k2k3v40v40m4s7	SAT	0.16
Qq2k2k3v40v40m8s5	SAT	0.16
Qq2k2k3v40v40m16s4	SAT	0.16
Qq2k2k3v40v40m32s0	SAT	0.16
Qq2k2k3v80v80m2s8	SAT	0.16
Qq2k2k3v80v80m4s6	SAT	0.16
Qq2k2k3v80v80m4s7	SAT	0.16
Qq2k2k3v80v80m16s1	SAT	0.16
Qq2k2k3v80v80m32s7	SAT	0.16
Qq2k3k2v40v40m4s4	SAT	0.16
Qq2k3k2v40v40m8s0	SAT	0.16
Qq2k3k2v40v40m32s1	SAT	0.16
Qq2k3k2v80v80m8s1	SAT	0.16
Qq2k3k2v80v80m8s3	SAT	0.16
Qq2k3k2v80v80m16s7	SAT	0.16
Qq2k3k2v80v80m32s1	SAT	0.16
Qq2k3k2v80v80m32s3	SAT	0.16
Qq3k1k1k3v40v40v40m2s1	SAT	0.16
Qq3k1k1k3v40v40v40m16s9	SAT	0.16
Qq3k1k1k3v80v80v80m4s7	SAT	0.16
Qq3k1k1k3v80v80v80m16s5	SAT	0.16
Qq3k1k1k3v80v80v80m16s6	SAT	0.16
Qq3k1k2k2v80v80v80m2s4	SAT	0.16
Qq3k1k2k2v80v80v80m4s2	SAT	0.16
Qq3k1k2k2v80v80v80m4s5	SAT	0.16
Qq3k1k2k2v80v80v80m16s2	SAT	0.16
Qq3k1k2k2v80v80v80m32s0	SAT	0.16
Qq3k1k2k2v80v80v80m32s1	SAT	0.16
Qq3k1k2k2v80v80v80m32s6	SAT	0.16
Qq3k1k3k1v40v40v40m2s1	SAT	0.16
Qq3k1k3k1v40v40v40m4s0	SAT	0.16
Qq3k1k3k1v40v40v40m4s7	SAT	0.16
Qq3k1k3k1v40v40v40m8s6	SAT	0.16
Qq3k1k3k1v40v40v40m32s9	SAT	0.16
Qq3k1k3k1v80v80v80m32s1	SAT	0.16
Qq3k2k1k2v40v40v40m4s7	SAT	0.16
Qq3k2k1k2v40v40v40m8s5	SAT	0.16
Qq3k2k1k2v40v40v40m16s8	SAT	0.16
Qq3k2k1k2v40v40v40m32s8	SAT	0.16
Qq3k2k1k2v80v80v80m2s8	SAT	0.16
Qq3k2k1k2v80v80v80m4s2	SAT	0.16
Qq3k2k1k2v80v80v80m4s7	SAT	0.16
Qq3k2k1k2v80v80v80m8s5	SAT	0.16
Qq3k2k1k2v80v80v80m8s9	SAT	0.16
Qq3k2k1k2v80v80v80m32s0	SAT	0.16
Qq3k2k2k1v40v40v40m2s2	SAT	0.16
Qq3k2k2k1v40v40v40m2s3	SAT	0.16
Qq3k2k2k1v40v40v40m2s4	SAT	0.16
Qq3k2k2k1v40v40v40m4s2	SAT	0.16
Qq3k2k2k1v40v40v40m4s6	SAT	0.16
Qq3k2k2k1v40v40v40m4s7	SAT	0.16
Qq3k2k2k1v40v40v40m4s9	SAT	0.16
Qq3k2k2k1v40v40v40m8s5	SAT	0.16
Qq3k2k2k1v40v40v40m16s4	SAT	0.16
Qq3k2k2k1v40v40v40m16s5	SAT	0.16
Qq3k2k2k1v40v40v40m32s7	SAT	0.16
Qq3k2k2k1v40v40v40m32s9	SAT	0.16
Qq3k2k2k1v80v80v80m2s1	SAT	0.16
Qq3k2k2k1v80v80v80m4s2	SAT	0.16
Qq3k2k2k1v80v80v80m16s1	SAT	0.16
Qq3k2k2k1v80v80v80m16s6	SAT	0.16
Qq3k3k1k1v40v40v40m4s9	SAT	0.16
Qq3k3k1k1v40v40v40m16s4	SAT	0.16
Qq3k3k1k1v40v40v40m32s1	SAT	0.16
Qq3k3k1k1v40v40v40m32s9	SAT	0.16
Qq3k3k1k1v80v80v80m2s5	SAT	0.16
Qq3k3k1k1v80v80v80m4s7	SAT	0.16
Qq3k3k1k1v80v80v80m4s8	SAT	0.16
Qq3k3k1k1v80v80v80m8s0	SAT	0.16
Qq3k3k1k1v80v80v80m16s2	SAT	0.16
Qq3k3k1k1v80v80v80m32s5	SAT	0.16
Qq3k3k1k1v80v80v80m32s6	SAT	0.16
2qbf-5cnf-160var-2560cl.6	UNSAT	0.17
3qbf-5cnf-160var-2560cl.3	UNSAT	0.17
2qbf-5cnf-160var-320cl.2	SAT	0.17
6qbf-5cnf-20var-640cl.5	UNSAT	0.17
2qbf-5cnf-40var-160cl.9	SAT	0.17
5qbf-5cnf-40var-320cl.1	SAT	0.17
4qbf-5cnf-20var-160cl.4	UNSAT	0.17
2qbf-5cnf-160var-320cl.0	SAT	0.17
3qbf-5cnf-80var-2560cl.0	UNSAT	0.17
4qbf-5cnf-80var-320cl.5	SAT	0.17
3qbf-5cnf-80var-1280cl.6	UNSAT	0.17
4qbf-5cnf-20var-640cl.8	UNSAT	0.17
ncf_8_16_4_u.2	UNSAT	0.17
4qbf-5cnf-40var-1280cl.7	UNSAT	0.17
5qbf-5cnf-160var-2560cl.5	UNSAT	0.17
4qbf-5cnf-40var-1280cl.9	UNSAT	0.17
5qbf-5cnf-20var-640cl.0	UNSAT	0.17
6qbf-5cnf-20var-160cl.5	SAT	0.17
4qbf-5cnf-80var-1280cl.0	UNSAT	0.17
6qbf-5cnf-80var-1280cl.0	UNSAT	0.17
ncf_4_16_2_euad.6	SAT	0.17
5qbf-5cnf-80var-640cl.9	SAT	0.17
6qbf-5cnf-20var-640cl.8	UNSAT	0.17
ncf_16_32_2_u.7	UNSAT	0.17
5qbf-5cnf-160var-2560cl.9	UNSAT	0.17
2qbf-5cnf-160var-2560cl.7	UNSAT	0.17
6qbf-5cnf-80var-640cl.3	SAT	0.17
6qbf-5cnf-160var-640cl.6	SAT	0.17
6qbf-5cnf-160var-2560cl.9	UNSAT	0.17
6qbf-5cnf-160var-640cl.7	SAT	0.17
5qbf-5cnf-40var-320cl.9	SAT	0.17
5qbf-5cnf-160var-5120cl.2	UNSAT	0.17
2qbf-5cnf-160var-2560cl.3	UNSAT	0.17
6qbf-5cnf-80var-1280cl.7	UNSAT	0.17
ncf_16_32_4_u.1	SAT	0.17
3qbf-5cnf-160var-640cl.9	SAT	0.17
2qbf-5cnf-40var-640cl.7	UNSAT	0.17
5qbf-5cnf-20var-320cl.5	UNSAT	0.17
6qbf-5cnf-80var-1280cl.4	UNSAT	0.17
4qbf-5cnf-40var-640cl.6	UNSAT	0.17
6qbf-5cnf-20var-160cl.6	SAT	0.17
3qbf-5cnf-20var-160cl.8	SAT	0.17
3qbf-5cnf-160var-640cl.5	SAT	0.17
5qbf-5cnf-20var-640cl.4	UNSAT	0.17
6qbf-5cnf-40var-1280cl.7	UNSAT	0.17
ncf_4_8_2_u.10	SAT	0.17
x10.6	UNSAT	0.17
x5.6	UNSAT	0.17
cmu.dme2.B-d2	SAT	0.17
eijk.S444.S-d2	SAT	0.17
Qq2k1k4v40v40m4s4	SAT	0.17
Qq2k1k4v40v40m32s1	UNSAT	0.17
Qq2k1k4v40v40m32s8	UNSAT	0.17
Qq2k1k4v80v80m8s3	SAT	0.17
Qq2k1k4v80v80m32s0	UNSAT	0.17
Qq2k1k4v80v80m32s2	UNSAT	0.17
Qq2k2k3v40v40m4s8	SAT	0.17
Qq2k2k3v40v40m16s5	SAT	0.17
Qq2k2k3v40v40m16s9	SAT	0.17
Qq2k2k3v40v40m32s2	SAT	0.17
Qq2k2k3v40v40m32s6	SAT	0.17
Qq2k2k3v80v80m2s1	SAT	0.17
Qq2k2k3v80v80m2s3	SAT	0.17
Qq2k2k3v80v80m2s7	SAT	0.17
Qq2k2k3v80v80m4s5	SAT	0.17
Qq2k2k3v80v80m8s8	SAT	0.17
Qq2k2k3v80v80m32s1	SAT	0.17
Qq2k3k2v40v40m4s2	SAT	0.17
Qq2k3k2v40v40m16s0	SAT	0.17
Qq2k3k2v40v40m16s8	SAT	0.17
Qq2k3k2v40v40m32s7	SAT	0.17
Qq2k3k2v80v80m4s9	SAT	0.17
Qq2k3k2v80v80m8s0	SAT	0.17
Qq3k1k1k3v40v40v40m2s7	SAT	0.17
Qq3k1k1k3v40v40v40m4s6	SAT	0.17
Qq3k1k1k3v40v40v40m8s6	SAT	0.17
Qq3k1k1k3v40v40v40m8s8	SAT	0.17
Qq3k1k1k3v40v40v40m16s4	SAT	0.17
Qq3k1k1k3v40v40v40m32s1	SAT	0.17
Qq3k1k1k3v40v40v40m32s4	SAT	0.17
Qq3k1k1k3v40v40v40m32s8	SAT	0.17
Qq3k1k1k3v80v80v80m4s3	SAT	0.17
Qq3k1k1k3v80v80v80m4s9	SAT	0.17
Qq3k1k1k3v80v80v80m8s2	SAT	0.17
Qq3k1k1k3v80v80v80m16s0	SAT	0.17
Qq3k1k1k3v80v80v80m32s5	SAT	0.17
Qq3k1k2k2v40v40v40m2s2	SAT	0.17
Qq3k1k2k2v40v40v40m2s3	SAT	0.17
Qq3k1k2k2v40v40v40m2s7	SAT	0.17
Qq3k1k2k2v40v40v40m4s2	SAT	0.17
Qq3k1k2k2v40v40v40m16s0	SAT	0.17
Qq3k1k2k2v40v40v40m16s8	SAT	0.17
Qq3k1k2k2v40v40v40m32s6	SAT	0.17
Qq3k1k2k2v40v40v40m32s7	SAT	0.17
Qq3k1k2k2v80v80v80m2s9	SAT	0.17
Qq3k1k2k2v80v80v80m8s5	SAT	0.17
Qq3k1k2k2v80v80v80m8s8	SAT	0.17
Qq3k1k2k2v80v80v80m16s4	SAT	0.17
Qq3k1k3k1v40v40v40m4s1	SAT	0.17
Qq3k1k3k1v40v40v40m4s3	SAT	0.17
Qq3k1k3k1v40v40v40m16s1	SAT	0.17
Qq3k1k3k1v40v40v40m16s3	SAT	0.17
Qq3k1k3k1v80v80v80m2s6	SAT	0.17
Qq3k1k3k1v80v80v80m2s8	SAT	0.17
Qq3k1k3k1v80v80v80m8s1	SAT	0.17
Qq3k1k3k1v80v80v80m8s8	SAT	0.17
Qq3k1k3k1v80v80v80m16s1	SAT	0.17
Qq3k1k3k1v80v80v80m16s2	SAT	0.17
Qq3k1k3k1v80v80v80m16s4	SAT	0.17
Qq3k1k3k1v80v80v80m32s9	SAT	0.17
Qq3k2k1k2v40v40v40m4s3	SAT	0.17
Qq3k2k1k2v40v40v40m4s4	SAT	0.17
Qq3k2k1k2v40v40v40m4s5	SAT	0.17
Qq3k2k1k2v40v40v40m4s8	SAT	0.17
Qq3k2k1k2v40v40v40m4s9	SAT	0.17
Qq3k2k1k2v40v40v40m8s0	SAT	0.17
Qq3k2k1k2v40v40v40m8s7	SAT	0.17
Qq3k2k1k2v40v40v40m8s8	SAT	0.17
Qq3k2k1k2v40v40v40m32s0	SAT	0.17
Qq3k2k1k2v40v40v40m32s9	SAT	0.17
Qq3k2k1k2v80v80v80m2s9	SAT	0.17
Qq3k2k1k2v80v80v80m4s6	SAT	0.17
Qq3k2k1k2v80v80v80m8s0	SAT	0.17
Qq3k2k1k2v80v80v80m16s0	SAT	0.17
Qq3k2k1k2v80v80v80m32s6	SAT	0.17
Qq3k2k1k2v80v80v80m32s8	SAT	0.17
Qq3k2k2k1v40v40v40m2s8	SAT	0.17
Qq3k2k2k1v40v40v40m2s9	SAT	0.17
Qq3k2k2k1v40v40v40m8s4	SAT	0.17
Qq3k2k2k1v80v80v80m8s4	SAT	0.17
Qq3k2k2k1v80v80v80m8s5	SAT	0.17
Qq3k3k1k1v40v40v40m2s5	SAT	0.17
Qq3k3k1k1v40v40v40m4s2	SAT	0.17
Qq3k3k1k1v40v40v40m4s6	SAT	0.17
Qq3k3k1k1v40v40v40m8s2	SAT	0.17
Qq3k3k1k1v40v40v40m8s3	SAT	0.17
Qq3k3k1k1v40v40v40m8s4	SAT	0.17
Qq3k3k1k1v40v40v40m16s3	SAT	0.17
Qq3k3k1k1v40v40v40m16s5	SAT	0.17
Qq3k3k1k1v40v40v40m32s0	SAT	0.17
Qq3k3k1k1v40v40v40m32s6	SAT	0.17
Qq3k3k1k1v80v80v80m2s1	SAT	0.17
Qq3k3k1k1v80v80v80m8s2	SAT	0.17
Qq3k3k1k1v80v80v80m32s8	SAT	0.17
5qbf-5cnf-20var-320cl.1	UNSAT	0.18
ncf_4_16_4_d.5	SAT	0.18
3qbf-5cnf-40var-320cl.7	SAT	0.18
4qbf-5cnf-80var-1280cl.7	UNSAT	0.18
5qbf-5cnf-80var-640cl.5	SAT	0.18
6qbf-5cnf-20var-640cl.7	UNSAT	0.18
6qbf-5cnf-40var-1280cl.0	UNSAT	0.18
ncf_16_32_2_u.6	SAT	0.18
5qbf-5cnf-160var-5120cl.1	UNSAT	0.18
4qbf-5cnf-80var-2560cl.0	UNSAT	0.18
5qbf-5cnf-40var-1280cl.9	UNSAT	0.18
ncf_4_8_4_u.6	SAT	0.18
2qbf-5cnf-80var-1280cl.4	UNSAT	0.18
4qbf-5cnf-20var-640cl.4	UNSAT	0.18
3qbf-5cnf-80var-1280cl.9	UNSAT	0.18
ncf_16_32_4_u.9	SAT	0.18
2qbf-5cnf-160var-320cl.7	SAT	0.18
4qbf-5cnf-80var-2560cl.1	UNSAT	0.18
5qbf-5cnf-20var-320cl.0	UNSAT	0.18
2qbf-5cnf-160var-320cl.9	SAT	0.18
4qbf-5cnf-20var-640cl.5	UNSAT	0.18
3qbf-5cnf-40var-640cl.3	UNSAT	0.18
4qbf-5cnf-80var-320cl.6	SAT	0.18
2qbf-5cnf-80var-1280cl.0	UNSAT	0.18
2qbf-5cnf-80var-1280cl.3	UNSAT	0.18
4qbf-5cnf-40var-640cl.2	UNSAT	0.18
5qbf-5cnf-80var-2560cl.2	UNSAT	0.18
3qbf-5cnf-40var-320cl.6	SAT	0.18
6qbf-5cnf-80var-1280cl.6	UNSAT	0.18
4qbf-5cnf-40var-1280cl.4	UNSAT	0.18
3qbf-5cnf-160var-2560cl.2	UNSAT	0.18
4qbf-5cnf-80var-2560cl.7	UNSAT	0.18
4qbf-5cnf-160var-640cl.5	SAT	0.18
5qbf-5cnf-40var-1280cl.1	UNSAT	0.18
6qbf-5cnf-40var-320cl.0	UNSAT	0.18
ncf_4_8_2_u.5	SAT	0.18
5qbf-5cnf-160var-5120cl.4	UNSAT	0.18
5qbf-5cnf-80var-640cl.2	SAT	0.18
6qbf-5cnf-80var-2560cl.4	UNSAT	0.18
6qbf-5cnf-40var-1280cl.9	UNSAT	0.18
3qbf-5cnf-80var-320cl.8	SAT	0.18
ncf_8_16_4_u.10	SAT	0.18
4qbf-5cnf-80var-2560cl.3	UNSAT	0.18
ncf_4_8_8_u.4	SAT	0.18
6qbf-5cnf-160var-640cl.5	SAT	0.18
5qbf-5cnf-20var-320cl.4	UNSAT	0.18
4qbf-5cnf-80var-320cl.8	SAT	0.18
4qbf-5cnf-80var-1280cl.4	UNSAT	0.18
ncf_4_8_2_euad.5	SAT	0.18
4qbf-5cnf-80var-1280cl.2	UNSAT	0.18
3qbf-5cnf-80var-2560cl.8	UNSAT	0.18
5qbf-5cnf-40var-1280cl.5	UNSAT	0.18
2qbf-5cnf-80var-1280cl.9	UNSAT	0.18
ncf_8_16_4_edau.8	UNSAT	0.18
2qbf-5cnf-40var-640cl.8	UNSAT	0.18
4qbf-5cnf-40var-1280cl.1	UNSAT	0.18
x10.0	UNSAT	0.18
x10.3	UNSAT	0.18
x15.0	UNSAT	0.18
x15.6	UNSAT	0.18
x5.9	UNSAT	0.18
eijk.S208c.S-d2	SAT	0.18
texas.parsesys^4.E-f2	UNSAT	0.18
Qq2k1k4v40v40m8s6	UNSAT	0.18
Qq2k1k4v80v80m2s0	SAT	0.18
Qq2k1k4v80v80m2s8	SAT	0.18
Qq2k1k4v80v80m4s3	SAT	0.18
Qq2k1k4v80v80m4s6	SAT	0.18
Qq2k1k4v80v80m16s9	SAT	0.18
Qq2k1k4v80v80m32s1	SAT	0.18
Qq2k1k4v80v80m32s6	UNSAT	0.18
Qq2k2k3v40v40m4s2	SAT	0.18
Qq2k2k3v40v40m4s3	SAT	0.18
Qq2k2k3v40v40m8s0	SAT	0.18
Qq2k2k3v40v40m16s0	SAT	0.18
Qq2k2k3v40v40m32s8	SAT	0.18
Qq2k2k3v80v80m2s9	SAT	0.18
Qq2k2k3v80v80m8s0	SAT	0.18
Qq2k2k3v80v80m8s1	SAT	0.18
Qq2k2k3v80v80m16s0	SAT	0.18
Qq2k2k3v80v80m16s8	SAT	0.18
Qq2k2k3v80v80m16s9	SAT	0.18
Qq2k2k3v80v80m32s0	SAT	0.18
Qq2k3k2v40v40m4s0	SAT	0.18
Qq2k3k2v40v40m4s3	SAT	0.18
Qq2k3k2v40v40m4s5	SAT	0.18
Qq2k3k2v40v40m4s6	SAT	0.18
Qq2k3k2v40v40m4s7	SAT	0.18
Qq2k3k2v40v40m8s7	SAT	0.18
Qq2k3k2v40v40m32s6	SAT	0.18
Qq2k3k2v80v80m2s0	SAT	0.18
Qq2k3k2v80v80m4s3	SAT	0.18
Qq2k3k2v80v80m16s4	SAT	0.18
Qq2k3k2v80v80m32s8	SAT	0.18
Qq3k1k1k3v40v40v40m2s2	SAT	0.18
Qq3k1k1k3v40v40v40m4s5	SAT	0.18
Qq3k1k1k3v40v40v40m8s3	SAT	0.18
Qq3k1k1k3v80v80v80m2s3	SAT	0.18
Qq3k1k1k3v80v80v80m2s9	SAT	0.18
Qq3k1k1k3v80v80v80m4s6	SAT	0.18
Qq3k1k1k3v80v80v80m8s0	SAT	0.18
Qq3k1k1k3v80v80v80m8s8	SAT	0.18
Qq3k1k1k3v80v80v80m8s9	SAT	0.18
Qq3k1k1k3v80v80v80m16s3	SAT	0.18
Qq3k1k2k2v40v40v40m8s4	SAT	0.18
Qq3k1k2k2v40v40v40m8s7	SAT	0.18
Qq3k1k2k2v80v80v80m2s3	SAT	0.18
Qq3k1k2k2v80v80v80m8s2	SAT	0.18
Qq3k1k2k2v80v80v80m32s8	SAT	0.18
Qq3k1k3k1v40v40v40m2s5	SAT	0.18
Qq3k1k3k1v40v40v40m2s7	SAT	0.18
Qq3k1k3k1v40v40v40m4s5	SAT	0.18
Qq3k1k3k1v40v40v40m8s0	SAT	0.18
Qq3k1k3k1v40v40v40m8s5	SAT	0.18
Qq3k1k3k1v40v40v40m16s5	SAT	0.18
Qq3k1k3k1v40v40v40m32s8	SAT	0.18
Qq3k1k3k1v80v80v80m4s6	SAT	0.18
Qq3k1k3k1v80v80v80m4s7	SAT	0.18
Qq3k1k3k1v80v80v80m16s0	SAT	0.18
Qq3k2k1k2v40v40v40m2s4	SAT	0.18
Qq3k2k1k2v40v40v40m8s9	SAT	0.18
Qq3k2k1k2v40v40v40m32s1	SAT	0.18
Qq3k2k1k2v40v40v40m32s3	SAT	0.18
Qq3k2k1k2v80v80v80m2s0	SAT	0.18
Qq3k2k1k2v80v80v80m2s6	SAT	0.18
Qq3k2k1k2v80v80v80m8s1	SAT	0.18
Qq3k2k1k2v80v80v80m16s3	SAT	0.18
Qq3k2k1k2v80v80v80m16s4	SAT	0.18
Qq3k2k1k2v80v80v80m16s9	SAT	0.18
Qq3k2k1k2v80v80v80m32s3	SAT	0.18
Qq3k2k2k1v40v40v40m4s0	SAT	0.18
Qq3k2k2k1v40v40v40m8s6	SAT	0.18
Qq3k2k2k1v40v40v40m16s2	SAT	0.18
Qq3k2k2k1v40v40v40m16s6	SAT	0.18
Qq3k2k2k1v40v40v40m16s8	SAT	0.18
Qq3k2k2k1v40v40v40m16s9	SAT	0.18
Qq3k2k2k1v80v80v80m2s6	SAT	0.18
Qq3k2k2k1v80v80v80m8s2	SAT	0.18
Qq3k2k2k1v80v80v80m8s8	SAT	0.18
Qq3k2k2k1v80v80v80m16s5	SAT	0.18
Qq3k2k2k1v80v80v80m16s8	SAT	0.18
Qq3k2k2k1v80v80v80m32s7	SAT	0.18
Qq3k3k1k1v40v40v40m2s4	SAT	0.18
Qq3k3k1k1v40v40v40m8s7	SAT	0.18
Qq3k3k1k1v40v40v40m16s2	SAT	0.18
Qq3k3k1k1v80v80v80m2s0	SAT	0.18
Qq3k3k1k1v80v80v80m2s4	SAT	0.18
Qq3k3k1k1v80v80v80m8s4	SAT	0.18
Qq3k3k1k1v80v80v80m8s7	SAT	0.18
Qq3k3k1k1v80v80v80m16s4	SAT	0.18
Qq3k3k1k1v80v80v80m16s7	SAT	0.18
3qbf-5cnf-20var-160cl.9	SAT	0.19
3qbf-5cnf-80var-2560cl.9	UNSAT	0.19
5qbf-5cnf-40var-1280cl.7	UNSAT	0.19
6qbf-5cnf-40var-640cl.9	UNSAT	0.19
5qbf-5cnf-40var-1280cl.0	UNSAT	0.19
ncf_16_32_4_edau.1	SAT	0.19
5qbf-5cnf-160var-640cl.8	SAT	0.19
3qbf-5cnf-160var-2560cl.0	UNSAT	0.19
6qbf-5cnf-20var-640cl.4	UNSAT	0.19
5qbf-5cnf-20var-320cl.9	UNSAT	0.19
6qbf-5cnf-40var-640cl.4	UNSAT	0.19
3qbf-5cnf-80var-2560cl.6	UNSAT	0.19
4qbf-5cnf-80var-320cl.1	SAT	0.19
5qbf-5cnf-80var-1280cl.9	UNSAT	0.19
3qbf-5cnf-40var-320cl.8	SAT	0.19
4qbf-5cnf-80var-2560cl.4	UNSAT	0.19
2qbf-5cnf-80var-320cl.5	UNSAT	0.19
6qbf-5cnf-80var-2560cl.1	UNSAT	0.19
ncf_8_16_4_euad.5	UNSAT	0.19
5qbf-5cnf-160var-5120cl.5	UNSAT	0.19
6qbf-5cnf-40var-320cl.2	SAT	0.19
ncf_4_16_2_edau.6	SAT	0.19
3qbf-5cnf-20var-160cl.7	SAT	0.19
2qbf-5cnf-40var-640cl.9	UNSAT	0.19
3qbf-5cnf-80var-2560cl.7	UNSAT	0.19
4qbf-5cnf-20var-640cl.6	UNSAT	0.19
5qbf-5cnf-20var-640cl.7	UNSAT	0.19
2qbf-5cnf-160var-5120cl.9	UNSAT	0.19
6qbf-5cnf-20var-640cl.1	UNSAT	0.19
5qbf-5cnf-20var-640cl.2	UNSAT	0.19
3qbf-5cnf-20var-320cl.1	UNSAT	0.19
tree-exa2-50	UNSAT	0.19
3qbf-5cnf-40var-640cl.2	UNSAT	0.19
6qbf-5cnf-20var-320cl.3	UNSAT	0.19
ncf_4_16_2_d.9	SAT	0.19
6qbf-5cnf-80var-640cl.9	SAT	0.19
ncf_4_8_4_euad.6	SAT	0.19
ncf_16_32_2_euad.7	UNSAT	0.19
3qbf-5cnf-80var-2560cl.2	UNSAT	0.19
3qbf-5cnf-20var-160cl.1	SAT	0.19
6qbf-5cnf-80var-1280cl.5	UNSAT	0.19
3qbf-5cnf-160var-640cl.7	SAT	0.19
2qbf-5cnf-40var-320cl.6	UNSAT	0.19
5qbf-5cnf-20var-640cl.5	UNSAT	0.19
4qbf-5cnf-20var-160cl.8	UNSAT	0.19
6qbf-5cnf-80var-640cl.4	SAT	0.19
2qbf-5cnf-40var-640cl.3	UNSAT	0.19
ncf_4_8_2_euad.7	UNSAT	0.19
3qbf-5cnf-40var-640cl.1	UNSAT	0.19
6qbf-5cnf-80var-2560cl.2	UNSAT	0.19
6qbf-5cnf-160var-2560cl.6	UNSAT	0.19
2qbf-5cnf-80var-1280cl.1	UNSAT	0.19
ncf_4_16_2_u.9	SAT	0.19
ncf_16_32_4_euad.1	SAT	0.19
2qbf-5cnf-40var-320cl.5	UNSAT	0.19
6qbf-5cnf-20var-320cl.1	UNSAT	0.19
2qbf-5cnf-80var-640cl.2	UNSAT	0.19
x10.1	UNSAT	0.19
x5.0	SAT	0.19
x5.3	UNSAT	0.19
x5.8	UNSAT	0.19
eijk.S349.S-d2	SAT	0.19
eijk.S526.S-d2	SAT	0.19
eijk.S953.S-d2	SAT	0.19
irst.dme4.B-d2	SAT	0.19
vis.eisenberg.E-d2	SAT	0.19
Qq2k1k4v40v40m2s4	SAT	0.19
Qq2k1k4v40v40m4s3	SAT	0.19
Qq2k1k4v40v40m16s2	UNSAT	0.19
Qq2k1k4v40v40m16s5	SAT	0.19
Qq2k1k4v40v40m16s7	SAT	0.19
Qq2k1k4v40v40m32s4	UNSAT	0.19
Qq2k1k4v40v40m32s7	UNSAT	0.19
Qq2k1k4v80v80m2s1	SAT	0.19
Qq2k1k4v80v80m4s5	SAT	0.19
Qq2k1k4v80v80m8s1	SAT	0.19
Qq2k1k4v80v80m16s7	SAT	0.19
Qq2k1k4v80v80m32s3	UNSAT	0.19
Qq2k1k4v80v80m32s7	SAT	0.19
Qq2k2k3v40v40m2s1	SAT	0.19
Qq2k2k3v40v40m2s9	SAT	0.19
Qq2k2k3v40v40m4s4	SAT	0.19
Qq2k2k3v80v80m4s9	SAT	0.19
Qq2k2k3v80v80m8s7	SAT	0.19
Qq2k2k3v80v80m32s5	SAT	0.19
Qq2k3k2v40v40m32s4	SAT	0.19
Qq2k3k2v80v80m2s2	SAT	0.19
Qq2k3k2v80v80m2s9	SAT	0.19
Qq2k3k2v80v80m8s2	SAT	0.19
Qq2k3k2v80v80m8s5	SAT	0.19
Qq2k3k2v80v80m16s6	SAT	0.19
Qq2k3k2v80v80m32s7	SAT	0.19
Qq3k1k1k3v40v40v40m8s1	SAT	0.19
Qq3k1k1k3v40v40v40m16s8	SAT	0.19
Qq3k1k1k3v40v40v40m32s2	SAT	0.19
Qq3k1k1k3v40v40v40m32s3	SAT	0.19
Qq3k1k1k3v80v80v80m2s0	SAT	0.19
Qq3k1k1k3v80v80v80m2s5	SAT	0.19
Qq3k1k1k3v80v80v80m2s8	SAT	0.19
Qq3k1k1k3v80v80v80m4s5	SAT	0.19
Qq3k1k1k3v80v80v80m16s1	SAT	0.19
Qq3k1k1k3v80v80v80m32s3	SAT	0.19
Qq3k1k2k2v40v40v40m2s0	SAT	0.19
Qq3k1k2k2v40v40v40m2s1	SAT	0.19
Qq3k1k2k2v40v40v40m2s4	SAT	0.19
Qq3k1k2k2v40v40v40m4s6	SAT	0.19
Qq3k1k2k2v40v40v40m8s3	SAT	0.19
Qq3k1k2k2v40v40v40m16s9	SAT	0.19
Qq3k1k2k2v40v40v40m32s2	SAT	0.19
Qq3k1k2k2v40v40v40m32s5	SAT	0.19
Qq3k1k2k2v80v80v80m2s0	SAT	0.19
Qq3k1k2k2v80v80v80m2s6	SAT	0.19
Qq3k1k2k2v80v80v80m8s7	SAT	0.19
Qq3k1k2k2v80v80v80m32s3	SAT	0.19
Qq3k1k2k2v80v80v80m32s7	SAT	0.19
Qq3k1k3k1v40v40v40m2s3	SAT	0.19
Qq3k1k3k1v40v40v40m8s7	SAT	0.19
Qq3k1k3k1v80v80v80m4s3	SAT	0.19
Qq3k1k3k1v80v80v80m4s5	SAT	0.19
Qq3k1k3k1v80v80v80m4s9	SAT	0.19
Qq3k1k3k1v80v80v80m32s2	SAT	0.19
Qq3k2k1k2v40v40v40m2s0	SAT	0.19
Qq3k2k1k2v40v40v40m2s3	SAT	0.19
Qq3k2k1k2v40v40v40m8s3	SAT	0.19
Qq3k2k1k2v40v40v40m8s6	SAT	0.19
Qq3k2k1k2v40v40v40m16s4	SAT	0.19
Qq3k2k1k2v80v80v80m2s7	SAT	0.19
Qq3k2k1k2v80v80v80m4s1	SAT	0.19
Qq3k2k1k2v80v80v80m16s1	SAT	0.19
Qq3k2k1k2v80v80v80m32s5	SAT	0.19
Qq3k2k2k1v40v40v40m8s1	SAT	0.19
Qq3k2k2k1v40v40v40m32s6	SAT	0.19
Qq3k2k2k1v40v40v40m32s8	SAT	0.19
Qq3k2k2k1v80v80v80m2s3	SAT	0.19
Qq3k2k2k1v80v80v80m2s7	SAT	0.19
Qq3k2k2k1v80v80v80m4s1	SAT	0.19
Qq3k2k2k1v80v80v80m4s3	SAT	0.19
Qq3k2k2k1v80v80v80m4s4	SAT	0.19
Qq3k2k2k1v80v80v80m4s6	SAT	0.19
Qq3k2k2k1v80v80v80m16s7	SAT	0.19
Qq3k2k2k1v80v80v80m32s3	SAT	0.19
Qq3k2k2k1v80v80v80m32s6	SAT	0.19
Qq3k2k2k1v80v80v80m32s8	SAT	0.19
Qq3k2k2k1v80v80v80m32s9	SAT	0.19
Qq3k3k1k1v40v40v40m2s1	SAT	0.19
Qq3k3k1k1v40v40v40m2s6	SAT	0.19
Qq3k3k1k1v40v40v40m4s1	SAT	0.19
Qq3k3k1k1v40v40v40m8s6	SAT	0.19
Qq3k3k1k1v40v40v40m8s9	SAT	0.19
Qq3k3k1k1v40v40v40m32s2	SAT	0.19
Qq3k3k1k1v40v40v40m32s4	SAT	0.19
Qq3k3k1k1v80v80v80m4s6	SAT	0.19
Qq3k3k1k1v80v80v80m8s5	SAT	0.19
Qq3k3k1k1v80v80v80m8s6	SAT	0.19
Qq3k3k1k1v80v80v80m16s3	SAT	0.19
Qq3k3k1k1v80v80v80m32s2	SAT	0.19
6qbf-5cnf-40var-320cl.9	SAT	0.2
ncf_4_16_4_u.5	SAT	0.2
ncf_4_8_4_euad.9	SAT	0.2
4qbf-5cnf-80var-320cl.0	SAT	0.2
3qbf-5cnf-160var-2560cl.4	UNSAT	0.2
6qbf-5cnf-20var-320cl.9	UNSAT	0.2
3qbf-5cnf-80var-1280cl.4	UNSAT	0.2
2qbf-5cnf-160var-320cl.5	SAT	0.2
3qbf-5cnf-80var-1280cl.5	UNSAT	0.2
5qbf-5cnf-40var-640cl.5	UNSAT	0.2
6qbf-5cnf-20var-320cl.7	UNSAT	0.2
ncf_8_16_4_edau.5	UNSAT	0.2
ncf_4_8_2_u.9	SAT	0.2
5qbf-5cnf-160var-5120cl.3	UNSAT	0.2
6qbf-5cnf-20var-320cl.0	UNSAT	0.2
4qbf-5cnf-40var-640cl.4	UNSAT	0.2
3qbf-5cnf-20var-320cl.2	UNSAT	0.2
3qbf-5cnf-20var-160cl.4	SAT	0.2
5qbf-5cnf-40var-640cl.3	UNSAT	0.2
ncf_8_16_4_edau.10	SAT	0.2
5qbf-5cnf-80var-640cl.4	SAT	0.2
3qbf-5cnf-40var-640cl.9	UNSAT	0.2
5qbf-5cnf-160var-5120cl.0	UNSAT	0.2
5qbf-5cnf-160var-2560cl.8	UNSAT	0.2
ncf_4_16_2_edau.9	SAT	0.2
6qbf-5cnf-20var-640cl.9	UNSAT	0.2
4qbf-5cnf-20var-640cl.9	UNSAT	0.2
ncf_8_16_4_d.5	UNSAT	0.2
5qbf-5cnf-40var-320cl.6	SAT	0.2
ncf_4_16_2_u.7	SAT	0.2
2qbf-5cnf-40var-160cl.4	SAT	0.2
6qbf-5cnf-80var-2560cl.7	UNSAT	0.2
6qbf-5cnf-160var-2560cl.7	UNSAT	0.2
ncf_16_32_4_edau.9	SAT	0.2
6qbf-5cnf-160var-2560cl.3	UNSAT	0.2
4qbf-5cnf-20var-640cl.2	UNSAT	0.2
3qbf-5cnf-40var-640cl.0	UNSAT	0.2
3qbf-5cnf-160var-640cl.2	SAT	0.2
ncf_8_16_4_euad.2	UNSAT	0.2
5qbf-5cnf-80var-640cl.8	SAT	0.2
5qbf-5cnf-40var-320cl.0	SAT	0.2
5qbf-5cnf-80var-2560cl.0	UNSAT	0.2
2qbf-5cnf-160var-5120cl.6	UNSAT	0.2
3qbf-5cnf-80var-320cl.5	SAT	0.2
4qbf-5cnf-20var-320cl.5	UNSAT	0.2
ncf_4_8_8_edau.4	SAT	0.2
BLOCKS3iii.5	SAT	0.2
5qbf-5cnf-40var-320cl.4	SAT	0.2
Qq2k1k4v40v40m4s7	SAT	0.2
Qq2k1k4v40v40m8s3	SAT	0.2
Qq2k1k4v40v40m16s1	SAT	0.2
Qq2k1k4v80v80m2s6	SAT	0.2
Qq2k1k4v80v80m4s7	SAT	0.2
Qq2k1k4v80v80m8s5	SAT	0.2
Qq2k1k4v80v80m16s1	SAT	0.2
Qq2k1k4v80v80m16s2	SAT	0.2
Qq2k2k3v40v40m4s1	SAT	0.2
Qq2k2k3v80v80m2s5	SAT	0.2
Qq2k3k2v40v40m8s4	SAT	0.2
Qq2k3k2v40v40m8s6	SAT	0.2
Qq2k3k2v40v40m16s6	SAT	0.2
Qq2k3k2v40v40m16s7	SAT	0.2
Qq2k3k2v40v40m16s9	SAT	0.2
Qq2k3k2v40v40m32s3	SAT	0.2
Qq2k3k2v40v40m32s9	SAT	0.2
Qq2k3k2v80v80m2s3	SAT	0.2
Qq2k3k2v80v80m2s5	SAT	0.2
Qq2k3k2v80v80m16s0	SAT	0.2
Qq2k3k2v80v80m16s1	SAT	0.2
Qq2k3k2v80v80m16s9	SAT	0.2
Qq3k1k1k3v40v40v40m4s2	SAT	0.2
Qq3k1k1k3v40v40v40m4s3	SAT	0.2
Qq3k1k1k3v40v40v40m16s0	SAT	0.2
Qq3k1k1k3v40v40v40m16s5	SAT	0.2
Qq3k1k1k3v80v80v80m2s4	SAT	0.2
Qq3k1k1k3v80v80v80m2s6	SAT	0.2
Qq3k1k1k3v80v80v80m8s1	SAT	0.2
Qq3k1k1k3v80v80v80m16s7	SAT	0.2
Qq3k1k1k3v80v80v80m16s9	SAT	0.2
Qq3k1k2k2v40v40v40m2s6	SAT	0.2
Qq3k1k2k2v40v40v40m4s3	SAT	0.2
Qq3k1k2k2v40v40v40m8s2	SAT	0.2
Qq3k1k2k2v40v40v40m32s4	SAT	0.2
Qq3k1k2k2v40v40v40m32s8	SAT	0.2
Qq3k1k2k2v80v80v80m4s9	SAT	0.2
Qq3k1k2k2v80v80v80m8s6	SAT	0.2
Qq3k1k2k2v80v80v80m16s6	SAT	0.2
Qq3k1k2k2v80v80v80m32s9	SAT	0.2
Qq3k1k3k1v40v40v40m2s4	SAT	0.2
Qq3k1k3k1v40v40v40m2s6	SAT	0.2
Qq3k1k3k1v40v40v40m2s8	SAT	0.2
Qq3k1k3k1v40v40v40m4s6	SAT	0.2
Qq3k1k3k1v40v40v40m8s3	SAT	0.2
Qq3k1k3k1v40v40v40m8s4	SAT	0.2
Qq3k1k3k1v40v40v40m16s4	SAT	0.2
Qq3k1k3k1v40v40v40m16s7	SAT	0.2
Qq3k1k3k1v40v40v40m16s9	SAT	0.2
Qq3k1k3k1v40v40v40m32s2	SAT	0.2
Qq3k1k3k1v40v40v40m32s4	SAT	0.2
Qq3k1k3k1v80v80v80m2s2	SAT	0.2
Qq3k1k3k1v80v80v80m4s1	SAT	0.2
Qq3k1k3k1v80v80v80m4s2	SAT	0.2
Qq3k1k3k1v80v80v80m4s4	SAT	0.2
Qq3k1k3k1v80v80v80m8s7	SAT	0.2
Qq3k1k3k1v80v80v80m16s5	SAT	0.2
Qq3k1k3k1v80v80v80m16s7	SAT	0.2
Qq3k1k3k1v80v80v80m32s0	SAT	0.2
Qq3k1k3k1v80v80v80m32s5	SAT	0.2
Qq3k1k3k1v80v80v80m32s7	SAT	0.2
Qq3k2k1k2v40v40v40m16s1	SAT	0.2
Qq3k2k1k2v40v40v40m32s7	SAT	0.2
Qq3k2k1k2v80v80v80m2s2	SAT	0.2
Qq3k2k1k2v80v80v80m16s6	SAT	0.2
Qq3k2k1k2v80v80v80m16s7	SAT	0.2
Qq3k2k1k2v80v80v80m16s8	SAT	0.2
Qq3k2k2k1v40v40v40m2s1	SAT	0.2
Qq3k2k2k1v40v40v40m8s0	SAT	0.2
Qq3k2k2k1v80v80v80m4s5	SAT	0.2
Qq3k2k2k1v80v80v80m8s0	SAT	0.2
Qq3k2k2k1v80v80v80m16s0	SAT	0.2
Qq3k2k2k1v80v80v80m16s4	SAT	0.2
Qq3k2k2k1v80v80v80m16s9	SAT	0.2
Qq3k3k1k1v40v40v40m2s7	SAT	0.2
Qq3k3k1k1v40v40v40m4s7	SAT	0.2
Qq3k3k1k1v40v40v40m16s8	SAT	0.2
Qq3k3k1k1v40v40v40m32s7	SAT	0.2
Qq3k3k1k1v40v40v40m32s8	SAT	0.2
Qq3k3k1k1v80v80v80m2s2	SAT	0.2
Qq3k3k1k1v80v80v80m2s9	SAT	0.2
Qq3k3k1k1v80v80v80m4s3	SAT	0.2
Qq3k3k1k1v80v80v80m8s1	SAT	0.2
Qq3k3k1k1v80v80v80m32s0	SAT	0.2
4qbf-5cnf-20var-320cl.3	UNSAT	0.21
4qbf-5cnf-160var-2560cl.0	UNSAT	0.21
2qbf-5cnf-80var-640cl.6	UNSAT	0.21
3qbf-5cnf-160var-640cl.3	SAT	0.21
3qbf-5cnf-40var-320cl.1	SAT	0.21
4qbf-5cnf-80var-2560cl.5	UNSAT	0.21
4qbf-5cnf-80var-1280cl.6	UNSAT	0.21
3qbf-5cnf-160var-2560cl.9	UNSAT	0.21
5qbf-5cnf-20var-640cl.1	UNSAT	0.21
ncf_16_32_4_d.1	SAT	0.21
5qbf-5cnf-160var-640cl.4	SAT	0.21
ncf_4_8_4_u.9	SAT	0.21
5qbf-5cnf-160var-5120cl.7	UNSAT	0.21
3qbf-5cnf-80var-1280cl.1	UNSAT	0.21
ncf_8_16_4_euad.10	SAT	0.21
6qbf-5cnf-40var-1280cl.3	UNSAT	0.21
2qbf-5cnf-80var-640cl.5	UNSAT	0.21
4qbf-5cnf-80var-2560cl.6	UNSAT	0.21
2qbf-5cnf-160var-2560cl.4	UNSAT	0.21
2qbf-5cnf-80var-320cl.4	UNSAT	0.21
3qbf-5cnf-20var-320cl.5	UNSAT	0.21
5qbf-5cnf-20var-320cl.6	UNSAT	0.21
ncf_4_16_4_edau.5	SAT	0.21
5qbf-5cnf-80var-2560cl.5	UNSAT	0.21
qshifter_5	SAT	0.21
6qbf-5cnf-160var-2560cl.8	UNSAT	0.21
2qbf-5cnf-40var-320cl.4	UNSAT	0.21
5qbf-5cnf-80var-640cl.1	SAT	0.21
6qbf-5cnf-40var-640cl.3	UNSAT	0.21
2qbf-5cnf-40var-640cl.6	UNSAT	0.21
5qbf-5cnf-20var-640cl.6	UNSAT	0.21
6qbf-5cnf-40var-640cl.1	UNSAT	0.21
ncf_4_8_8_euad.1	SAT	0.21
6qbf-5cnf-160var-640cl.1	SAT	0.21
4qbf-5cnf-160var-2560cl.5	UNSAT	0.21
6qbf-5cnf-40var-640cl.8	UNSAT	0.21
2qbf-5cnf-160var-2560cl.0	UNSAT	0.21
ncf_16_32_2_d.9	UNSAT	0.21
6qbf-5cnf-40var-320cl.8	SAT	0.21
3qbf-5cnf-80var-320cl.2	SAT	0.21
4qbf-5cnf-160var-640cl.8	SAT	0.21
5qbf-5cnf-80var-1280cl.8	UNSAT	0.21
5qbf-5cnf-20var-320cl.8	UNSAT	0.21
ncf_8_16_8_edau.1	SAT	0.21
6qbf-5cnf-20var-160cl.3	UNSAT	0.21
4qbf-5cnf-80var-2560cl.9	UNSAT	0.21
3qbf-5cnf-40var-640cl.4	UNSAT	0.21
2qbf-5cnf-40var-320cl.9	UNSAT	0.21
x15.4	UNSAT	0.21
x5.4	UNSAT	0.21
eijk.S344.S-d2	SAT	0.21
eijk.S382.S-d2	SAT	0.21
nusmv.dme1-16.B-d2	SAT	0.21
sortnetsort5.v.stepl.003	UNSAT	0.21
Qq2k1k4v40v40m2s7	SAT	0.21
Qq2k1k4v40v40m4s5	SAT	0.21
Qq2k1k4v40v40m4s9	SAT	0.21
Qq2k1k4v40v40m8s1	SAT	0.21
Qq2k1k4v40v40m16s8	SAT	0.21
Qq2k2k3v40v40m8s3	SAT	0.21
Qq2k2k3v40v40m8s6	SAT	0.21
Qq2k2k3v40v40m16s1	SAT	0.21
Qq2k2k3v40v40m16s2	SAT	0.21
Qq2k2k3v40v40m16s8	SAT	0.21
Qq2k2k3v40v40m32s1	SAT	0.21
Qq2k2k3v40v40m32s9	SAT	0.21
Qq2k2k3v80v80m4s8	SAT	0.21
Qq2k2k3v80v80m8s6	SAT	0.21
Qq2k2k3v80v80m8s9	SAT	0.21
Qq2k2k3v80v80m16s6	SAT	0.21
Qq2k3k2v40v40m2s5	SAT	0.21
Qq2k3k2v40v40m2s7	SAT	0.21
Qq2k3k2v40v40m8s1	SAT	0.21
Qq2k3k2v40v40m32s2	SAT	0.21
Qq2k3k2v80v80m2s4	SAT	0.21
Qq2k3k2v80v80m2s8	SAT	0.21
Qq2k3k2v80v80m4s0	SAT	0.21
Qq2k3k2v80v80m4s2	SAT	0.21
Qq2k3k2v80v80m16s3	SAT	0.21
Qq2k3k2v80v80m16s8	SAT	0.21
Qq3k1k1k3v40v40v40m2s9	SAT	0.21
Qq3k1k1k3v40v40v40m4s0	SAT	0.21
Qq3k1k1k3v40v40v40m8s4	SAT	0.21
Qq3k1k1k3v40v40v40m16s7	SAT	0.21
Qq3k1k1k3v80v80v80m4s2	SAT	0.21
Qq3k1k1k3v80v80v80m8s5	SAT	0.21
Qq3k1k1k3v80v80v80m8s6	SAT	0.21
Qq3k1k1k3v80v80v80m8s7	SAT	0.21
Qq3k1k1k3v80v80v80m32s1	SAT	0.21
Qq3k1k1k3v80v80v80m32s6	SAT	0.21
Qq3k1k1k3v80v80v80m32s8	SAT	0.21
Qq3k1k1k3v80v80v80m32s9	SAT	0.21
Qq3k1k2k2v40v40v40m4s0	SAT	0.21
Qq3k1k2k2v40v40v40m4s5	SAT	0.21
Qq3k1k2k2v40v40v40m16s3	SAT	0.21
Qq3k1k2k2v40v40v40m16s5	SAT	0.21
Qq3k1k2k2v80v80v80m32s2	SAT	0.21
Qq3k1k3k1v40v40v40m32s1	SAT	0.21
Qq3k1k3k1v40v40v40m32s7	SAT	0.21
Qq3k1k3k1v80v80v80m2s4	SAT	0.21
Qq3k1k3k1v80v80v80m8s6	SAT	0.21
Qq3k2k1k2v40v40v40m2s5	SAT	0.21
Qq3k2k1k2v40v40v40m2s8	SAT	0.21
Qq3k2k1k2v40v40v40m16s7	SAT	0.21
Qq3k2k1k2v80v80v80m4s4	SAT	0.21
Qq3k2k1k2v80v80v80m8s2	SAT	0.21
Qq3k2k1k2v80v80v80m16s2	SAT	0.21
Qq3k2k1k2v80v80v80m32s1	SAT	0.21
Qq3k2k2k1v40v40v40m2s0	SAT	0.21
Qq3k2k2k1v40v40v40m32s3	SAT	0.21
Qq3k2k2k1v40v40v40m32s4	SAT	0.21
Qq3k2k2k1v80v80v80m2s2	SAT	0.21
Qq3k2k2k1v80v80v80m32s0	SAT	0.21
Qq3k2k2k1v80v80v80m32s4	SAT	0.21
Qq3k3k1k1v40v40v40m2s0	SAT	0.21
Qq3k3k1k1v40v40v40m2s2	SAT	0.21
Qq3k3k1k1v40v40v40m2s8	SAT	0.21
Qq3k3k1k1v80v80v80m2s6	SAT	0.21
Qq3k3k1k1v80v80v80m2s7	SAT	0.21
Qq3k3k1k1v80v80v80m4s0	SAT	0.21
Qq3k3k1k1v80v80v80m32s1	SAT	0.21
Qq2k3k2v80v80m32s9	SAT	0.21
6qbf-5cnf-80var-2560cl.8	UNSAT	0.22
ncf_16_32_2_edau.6	SAT	0.22
4qbf-5cnf-20var-160cl.5	UNSAT	0.22
2qbf-5cnf-160var-5120cl.3	UNSAT	0.22
2qbf-5cnf-40var-160cl.1	UNSAT	0.22
3qbf-5cnf-40var-320cl.3	SAT	0.22
ncf_4_8_2_euad.4	UNSAT	0.22
3qbf-5cnf-40var-640cl.5	UNSAT	0.22
4qbf-5cnf-40var-640cl.9	UNSAT	0.22
4qbf-5cnf-160var-2560cl.7	UNSAT	0.22
3qbf-5cnf-160var-2560cl.1	UNSAT	0.22
4qbf-5cnf-80var-320cl.7	SAT	0.22
5qbf-5cnf-80var-640cl.6	SAT	0.22
6qbf-5cnf-20var-160cl.0	SAT	0.22
4qbf-5cnf-20var-320cl.2	UNSAT	0.22
5qbf-5cnf-40var-320cl.2	SAT	0.22
ncf_4_16_2_edau.7	SAT	0.22
ncf_4_8_2_u.4	UNSAT	0.22
5qbf-5cnf-80var-2560cl.7	UNSAT	0.22
4qbf-5cnf-160var-2560cl.1	UNSAT	0.22
6qbf-5cnf-160var-640cl.8	SAT	0.22
4qbf-5cnf-20var-320cl.6	UNSAT	0.22
6qbf-5cnf-160var-2560cl.4	UNSAT	0.22
2qbf-5cnf-160var-5120cl.1	UNSAT	0.22
4qbf-5cnf-160var-640cl.3	SAT	0.22
2qbf-5cnf-40var-640cl.5	UNSAT	0.22
5qbf-5cnf-80var-1280cl.5	UNSAT	0.22
2qbf-5cnf-40var-320cl.0	UNSAT	0.22
5qbf-5cnf-40var-320cl.5	SAT	0.22
5qbf-5cnf-160var-2560cl.6	UNSAT	0.22
5qbf-5cnf-40var-1280cl.2	UNSAT	0.22
2qbf-5cnf-160var-5120cl.4	UNSAT	0.22
2qbf-5cnf-160var-5120cl.0	UNSAT	0.22
4qbf-5cnf-20var-320cl.7	UNSAT	0.22
ncf_4_8_2_u.6	SAT	0.22
5qbf-5cnf-20var-640cl.9	UNSAT	0.22
4qbf-5cnf-160var-640cl.2	SAT	0.22
2qbf-5cnf-80var-1280cl.8	UNSAT	0.22
3qbf-5cnf-160var-640cl.1	SAT	0.22
6qbf-5cnf-80var-640cl.0	UNSAT	0.22
x10.7	SAT	0.22
x10.8	UNSAT	0.22
eijk.S820.S-d2	SAT	0.22
texas.parsesys^1.E-d2	SAT	0.22
vis.bakery.E-d2	SAT	0.22
Qq2k1k4v40v40m2s6	SAT	0.22
Qq2k1k4v40v40m8s2	UNSAT	0.22
Qq2k1k4v40v40m8s4	SAT	0.22
Qq2k1k4v40v40m32s5	UNSAT	0.22
Qq2k2k3v40v40m8s4	SAT	0.22
Qq2k2k3v40v40m16s6	SAT	0.22
Qq2k2k3v80v80m16s2	SAT	0.22
Qq2k3k2v40v40m4s8	SAT	0.22
Qq2k3k2v40v40m16s4	SAT	0.22
Qq3k1k1k3v40v40v40m16s1	SAT	0.22
Qq3k1k2k2v40v40v40m4s1	SAT	0.22
Qq3k1k2k2v40v40v40m4s4	SAT	0.22
Qq3k1k2k2v40v40v40m8s9	SAT	0.22
Qq3k1k2k2v40v40v40m16s4	SAT	0.22
Qq3k1k2k2v80v80v80m4s7	SAT	0.22
Qq3k1k2k2v80v80v80m4s8	SAT	0.22
Qq3k1k2k2v80v80v80m16s1	SAT	0.22
Qq3k1k3k1v40v40v40m16s0	SAT	0.22
Qq3k1k3k1v40v40v40m32s3	SAT	0.22
Qq3k1k3k1v40v40v40m32s6	SAT	0.22
Qq3k1k3k1v80v80v80m2s9	SAT	0.22
Qq3k1k3k1v80v80v80m8s3	SAT	0.22
Qq3k2k1k2v40v40v40m2s6	SAT	0.22
Qq3k2k1k2v80v80v80m8s7	SAT	0.22
Qq3k2k1k2v80v80v80m32s2	SAT	0.22
Qq3k2k2k1v80v80v80m8s3	SAT	0.22
Qq3k2k2k1v80v80v80m32s1	SAT	0.22
Qq3k3k1k1v40v40v40m2s3	SAT	0.22
Qq3k3k1k1v40v40v40m32s3	SAT	0.22
Qq3k3k1k1v80v80v80m8s9	SAT	0.22
Qq3k3k1k1v80v80v80m16s9	SAT	0.22
2qbf-5cnf-160var-2560cl.8	UNSAT	0.23
ncf_4_16_2_d.6	SAT	0.23
mutex-64-s	SAT	0.23
ncf_4_8_8_u.9	UNSAT	0.23
4qbf-5cnf-40var-1280cl.3	UNSAT	0.23
5qbf-5cnf-80var-2560cl.9	UNSAT	0.23
2qbf-5cnf-160var-2560cl.2	UNSAT	0.23
3qbf-5cnf-20var-320cl.8	UNSAT	0.23
3qbf-5cnf-160var-2560cl.7	UNSAT	0.23
5qbf-5cnf-160var-5120cl.6	UNSAT	0.23
6qbf-5cnf-80var-2560cl.0	UNSAT	0.23
6qbf-5cnf-20var-320cl.6	UNSAT	0.23
ncf_16_32_2_edau.9	UNSAT	0.23
5qbf-5cnf-40var-1280cl.3	UNSAT	0.23
4qbf-5cnf-40var-640cl.3	UNSAT	0.23
4qbf-5cnf-160var-2560cl.2	UNSAT	0.23
3qbf-5cnf-80var-1280cl.3	UNSAT	0.23
2qbf-5cnf-40var-160cl.0	SAT	0.23
2qbf-5cnf-40var-160cl.8	SAT	0.23
4qbf-5cnf-160var-2560cl.4	UNSAT	0.23
4qbf-5cnf-160var-5120cl.9	UNSAT	0.23
2qbf-5cnf-160var-320cl.6	SAT	0.23
3qbf-5cnf-20var-320cl.7	UNSAT	0.23
3qbf-5cnf-80var-1280cl.8	UNSAT	0.23
3qbf-5cnf-80var-320cl.6	SAT	0.23
6qbf-5cnf-160var-2560cl.5	UNSAT	0.23
ncf_4_8_8_edau.9	UNSAT	0.23
x10.2	UNSAT	0.23
x10.4	SAT	0.23
cmu.dme1.B-d2	SAT	0.23
eijk.S832.S-d2	SAT	0.23
irst.dme5.B-d2	SAT	0.23
vis.coherence^1.E-d2	SAT	0.23
Qq2k1k4v40v40m2s8	SAT	0.23
Qq2k1k4v40v40m16s9	UNSAT	0.23
Qq2k1k4v40v40m32s0	UNSAT	0.23
Qq2k1k4v80v80m4s9	SAT	0.23
Qq2k1k4v80v80m8s2	SAT	0.23
Qq2k1k4v80v80m16s6	SAT	0.23
Qq2k1k4v80v80m32s8	UNSAT	0.23
Qq2k2k3v40v40m2s3	SAT	0.23
Qq2k2k3v40v40m8s9	SAT	0.23
Qq2k2k3v80v80m16s3	SAT	0.23
Qq2k3k2v40v40m4s9	SAT	0.23
Qq2k3k2v40v40m8s8	SAT	0.23
Qq2k3k2v40v40m8s9	SAT	0.23
Qq2k3k2v80v80m8s4	SAT	0.23
Qq2k3k2v80v80m32s6	SAT	0.23
Qq3k1k1k3v40v40v40m16s3	SAT	0.23
Qq3k1k2k2v40v40v40m16s1	SAT	0.23
Qq3k1k2k2v80v80v80m4s3	SAT	0.23
Qq3k1k2k2v80v80v80m8s0	SAT	0.23
Qq3k1k2k2v80v80v80m8s4	SAT	0.23
Qq3k1k2k2v80v80v80m16s3	SAT	0.23
Qq3k1k2k2v80v80v80m16s9	SAT	0.23
Qq3k1k2k2v80v80v80m32s5	SAT	0.23
Qq3k1k3k1v40v40v40m2s2	SAT	0.23
Qq3k1k3k1v80v80v80m8s4	SAT	0.23
Qq3k2k1k2v40v40v40m8s2	SAT	0.23
Qq3k2k1k2v40v40v40m16s5	SAT	0.23
Qq3k2k1k2v40v40v40m32s6	SAT	0.23
Qq3k2k1k2v80v80v80m2s4	SAT	0.23
Qq3k2k1k2v80v80v80m2s5	SAT	0.23
Qq3k2k1k2v80v80v80m4s0	SAT	0.23
Qq3k2k1k2v80v80v80m4s8	SAT	0.23
Qq3k2k2k1v40v40v40m16s7	SAT	0.23
Qq3k2k2k1v80v80v80m2s9	SAT	0.23
Qq3k3k1k1v40v40v40m16s0	SAT	0.23
Qq3k3k1k1v40v40v40m16s6	SAT	0.23
Qq3k3k1k1v80v80v80m4s5	SAT	0.23
Qq3k3k1k1v80v80v80m16s0	SAT	0.23
Qq3k3k1k1v80v80v80m32s4	SAT	0.23
ncf_4_8_2_euad.8	SAT	0.24
6qbf-5cnf-20var-640cl.3	UNSAT	0.24
2qbf-5cnf-160var-2560cl.9	UNSAT	0.24
6qbf-5cnf-80var-2560cl.5	UNSAT	0.24
4qbf-5cnf-160var-2560cl.8	UNSAT	0.24
3qbf-5cnf-80var-1280cl.7	UNSAT	0.24
2qbf-5cnf-80var-1280cl.7	UNSAT	0.24
5qbf-5cnf-80var-2560cl.6	UNSAT	0.24
4qbf-5cnf-40var-640cl.5	UNSAT	0.24
CHAIN23v.24	SAT	0.24
4qbf-5cnf-80var-2560cl.8	UNSAT	0.24
6qbf-5cnf-20var-640cl.6	UNSAT	0.24
5qbf-5cnf-40var-640cl.9	UNSAT	0.24
C880.blif_0.10_1.00_0_1_inp_exact	SAT	0.24
6qbf-5cnf-40var-640cl.2	UNSAT	0.24
CHAIN21v.22	SAT	0.24
4qbf-5cnf-40var-1280cl.8	UNSAT	0.24
6qbf-5cnf-80var-640cl.7	SAT	0.24
4qbf-5cnf-40var-640cl.0	UNSAT	0.24
5qbf-5cnf-80var-640cl.3	SAT	0.24
3qbf-5cnf-20var-320cl.4	UNSAT	0.24
5qbf-5cnf-80var-1280cl.1	UNSAT	0.24
3qbf-5cnf-80var-2560cl.4	UNSAT	0.24
4qbf-5cnf-40var-320cl.9	UNSAT	0.24
4qbf-5cnf-160var-640cl.7	SAT	0.24
4qbf-5cnf-80var-2560cl.2	UNSAT	0.24
4qbf-5cnf-80var-1280cl.8	UNSAT	0.24
5qbf-5cnf-160var-5120cl.9	UNSAT	0.24
5qbf-5cnf-80var-2560cl.8	UNSAT	0.24
5qbf-5cnf-160var-640cl.7	SAT	0.24
6qbf-5cnf-20var-160cl.1	SAT	0.24
3qbf-5cnf-160var-640cl.4	SAT	0.24
x15.3	SAT	0.24
eijk.S208o.S-d2	SAT	0.24
Qq2k1k4v80v80m4s4	SAT	0.24
Qq2k1k4v80v80m32s5	UNSAT	0.24
Qq2k2k3v40v40m4s9	SAT	0.24
Qq2k2k3v40v40m32s5	SAT	0.24
Qq2k2k3v80v80m4s1	SAT	0.24
Qq2k2k3v80v80m8s5	SAT	0.24
Qq2k3k2v40v40m2s2	SAT	0.24
Qq2k3k2v40v40m16s2	SAT	0.24
Qq2k3k2v80v80m2s7	SAT	0.24
Qq3k1k1k3v40v40v40m2s3	SAT	0.24
Qq3k1k1k3v40v40v40m16s6	SAT	0.24
Qq3k1k1k3v80v80v80m16s4	SAT	0.24
Qq3k1k2k2v40v40v40m2s9	SAT	0.24
Qq3k1k3k1v40v40v40m2s9	SAT	0.24
Qq3k1k3k1v40v40v40m4s8	SAT	0.24
Qq3k1k3k1v40v40v40m8s1	SAT	0.24
Qq3k1k3k1v80v80v80m32s6	SAT	0.24
Qq3k2k1k2v40v40v40m4s6	SAT	0.24
Qq3k2k1k2v40v40v40m8s4	SAT	0.24
Qq3k2k1k2v40v40v40m16s9	SAT	0.24
Qq3k2k1k2v80v80v80m4s5	SAT	0.24
Qq3k2k1k2v80v80v80m16s5	SAT	0.24
Qq3k2k2k1v40v40v40m8s8	SAT	0.24
Qq3k2k2k1v80v80v80m16s2	SAT	0.24
Qq3k2k2k1v80v80v80m32s2	SAT	0.24
Qq3k3k1k1v40v40v40m4s4	SAT	0.24
Qq3k3k1k1v80v80v80m16s8	SAT	0.24
2qbf-5cnf-40var-640cl.1	UNSAT	0.25
5qbf-5cnf-160var-5120cl.8	UNSAT	0.25
6qbf-5cnf-40var-640cl.0	UNSAT	0.25
6qbf-5cnf-20var-320cl.2	UNSAT	0.25
ncf_4_8_4_euad.8	UNSAT	0.25
2qbf-5cnf-40var-160cl.6	UNSAT	0.25
4qbf-5cnf-80var-1280cl.1	UNSAT	0.25
4qbf-5cnf-40var-1280cl.5	UNSAT	0.25
5qbf-5cnf-40var-1280cl.4	UNSAT	0.25
4qbf-5cnf-160var-2560cl.6	UNSAT	0.25
6qbf-5cnf-20var-320cl.4	UNSAT	0.25
s27_d3_u	UNSAT	0.25
2qbf-5cnf-40var-320cl.1	UNSAT	0.25
6qbf-5cnf-20var-160cl.2	SAT	0.25
5qbf-5cnf-40var-320cl.3	SAT	0.25
6qbf-5cnf-160var-2560cl.0	UNSAT	0.25
2qbf-5cnf-160var-5120cl.8	UNSAT	0.25
ncf_8_16_8_d.1	SAT	0.25
6qbf-5cnf-80var-1280cl.8	UNSAT	0.25
x10.5	UNSAT	0.25
eijk.S386.S-d2	SAT	0.25
vis.emodel.E-d2	SAT	0.25
Qq2k1k4v40v40m8s7	SAT	0.25
Qq2k1k4v40v40m32s9	UNSAT	0.25
Qq2k1k4v80v80m2s2	SAT	0.25
Qq2k1k4v80v80m16s5	SAT	0.25
Qq2k2k3v80v80m4s0	SAT	0.25
Qq2k3k2v40v40m2s8	SAT	0.25
Qq3k1k2k2v40v40v40m16s7	SAT	0.25
Qq3k2k1k2v40v40v40m4s1	SAT	0.25
Qq3k2k1k2v80v80v80m32s9	SAT	0.25
Qq3k2k2k1v80v80v80m4s0	SAT	0.25
Qq3k3k1k1v80v80v80m32s3	SAT	0.25
5qbf-5cnf-80var-640cl.7	SAT	0.26
6qbf-5cnf-40var-320cl.5	SAT	0.26
4qbf-5cnf-40var-320cl.6	UNSAT	0.26
2qbf-5cnf-160var-2560cl.5	UNSAT	0.26
6qbf-5cnf-20var-160cl.8	SAT	0.26
2qbf-5cnf-160var-5120cl.2	UNSAT	0.26
CHAIN20v.21	SAT	0.26
6qbf-5cnf-160var-5120cl.7	UNSAT	0.26
6qbf-5cnf-80var-2560cl.6	UNSAT	0.26
2qbf-5cnf-160var-5120cl.7	UNSAT	0.26
ncf_8_16_4_u.6	UNSAT	0.26
2qbf-5cnf-80var-640cl.0	UNSAT	0.26
3qbf-5cnf-80var-1280cl.2	UNSAT	0.26
5qbf-5cnf-160var-2560cl.7	UNSAT	0.26
6qbf-5cnf-160var-640cl.0	SAT	0.26
4qbf-5cnf-160var-640cl.1	SAT	0.26
5qbf-5cnf-40var-320cl.7	SAT	0.26
2qbf-5cnf-80var-640cl.3	UNSAT	0.26
Qq2k1k4v40v40m2s2	SAT	0.26
Qq2k1k4v80v80m8s4	SAT	0.26
Qq2k1k4v80v80m8s8	SAT	0.26
Qq2k2k3v40v40m16s3	SAT	0.26
Qq2k2k3v40v40m32s7	SAT	0.26
Qq2k3k2v40v40m16s5	SAT	0.26
Qq2k3k2v80v80m4s1	SAT	0.26
Qq3k1k1k3v80v80v80m16s2	SAT	0.26
Qq3k1k2k2v40v40v40m32s3	SAT	0.26
Qq3k2k1k2v40v40v40m2s2	SAT	0.26
Qq3k2k1k2v40v40v40m2s7	SAT	0.26
Qq3k2k2k1v40v40v40m16s3	SAT	0.26
Qq3k3k1k1v40v40v40m4s3	SAT	0.26
6qbf-5cnf-160var-5120cl.8	UNSAT	0.27
5qbf-5cnf-80var-1280cl.0	UNSAT	0.27
CHAIN22v.23	SAT	0.27
2qbf-5cnf-160var-320cl.3	SAT	0.27
4qbf-5cnf-160var-640cl.6	SAT	0.27
3qbf-5cnf-40var-320cl.2	SAT	0.27
ncf_16_32_2_edau.7	UNSAT	0.27
ncf_8_16_4_d.8	UNSAT	0.27
5qbf-5cnf-160var-2560cl.1	UNSAT	0.27
x15.2	UNSAT	0.27
x20.4	UNSAT	0.27
nusmv.dme2-16.B-d2	SAT	0.27
Qq2k1k4v80v80m16s8	UNSAT	0.27
Qq3k1k1k3v80v80v80m2s2	SAT	0.27
Qq3k1k2k2v80v80v80m8s9	SAT	0.27
Qq3k1k3k1v80v80v80m8s9	SAT	0.27
Qq3k2k2k1v80v80v80m4s8	SAT	0.27
6qbf-5cnf-160var-2560cl.1	UNSAT	0.28
lut4_2_fXOR	SAT	0.28
ncf_4_16_2_edau.2	SAT	0.28
6qbf-5cnf-160var-5120cl.1	UNSAT	0.28
5qbf-5cnf-160var-640cl.2	SAT	0.28
3qbf-5cnf-160var-640cl.6	SAT	0.28
ncf_4_32_2_u.2	SAT	0.28
2qbf-5cnf-160var-5120cl.5	UNSAT	0.28
x15.1	SAT	0.28
x15.7	UNSAT	0.28
Qq2k2k3v40v40m2s2	SAT	0.28
Qq2k2k3v80v80m8s3	SAT	0.28
Qq2k2k3v80v80m16s5	SAT	0.28
Qq3k2k1k2v40v40v40m8s1	SAT	0.28
2qbf-5cnf-40var-160cl.5	SAT	0.29
2qbf-5cnf-40var-320cl.8	UNSAT	0.29
2qbf-5cnf-80var-320cl.0	UNSAT	0.29
5qbf-5cnf-20var-320cl.2	UNSAT	0.29
6qbf-5cnf-160var-5120cl.2	UNSAT	0.29
4qbf-5cnf-160var-5120cl.2	UNSAT	0.29
ncf_4_8_2_u.3	UNSAT	0.29
ncf_8_16_4_euad.8	UNSAT	0.29
ncf_4_8_4_u.5	SAT	0.29
ncf_4_8_8_euad.4	SAT	0.29
4qbf-5cnf-40var-1280cl.2	UNSAT	0.29
ncf_4_8_4_u.8	UNSAT	0.29
mutex-128-s	SAT	0.29
5qbf-5cnf-40var-640cl.0	UNSAT	0.29
x15.9	UNSAT	0.29
eijk.bs1512.S-d2	SAT	0.29
Qq2k2k3v40v40m32s3	SAT	0.29
Qq3k1k2k2v40v40v40m32s9	SAT	0.29
4qbf-5cnf-40var-320cl.0	UNSAT	0.3
4qbf-5cnf-160var-2560cl.3	UNSAT	0.3
4qbf-5cnf-160var-5120cl.3	UNSAT	0.3
ncf_4_8_8_u.1	SAT	0.3
ncf_4_8_4_u.1	SAT	0.3
4qbf-5cnf-160var-5120cl.7	UNSAT	0.3
ncf_8_16_8_euad.1	SAT	0.3
ncf_8_16_4_edau.6	UNSAT	0.3
4qbf-5cnf-160var-5120cl.8	UNSAT	0.3
6qbf-5cnf-160var-5120cl.0	UNSAT	0.3
x25.5	UNSAT	0.3
eijk.S1423.S-d2	SAT	0.3
Qq3k1k3k1v80v80v80m16s6	SAT	0.3
ncf_4_8_8_d.1	SAT	0.31
6qbf-5cnf-160var-2560cl.2	UNSAT	0.31
6qbf-5cnf-160var-5120cl.6	UNSAT	0.31
Qq3k3k1k1v80v80v80m8s3	SAT	0.31
ncf_4_8_2_euad.3	UNSAT	0.32
5qbf-5cnf-160var-2560cl.4	UNSAT	0.32
6qbf-5cnf-160var-5120cl.5	UNSAT	0.32
ncf_4_8_4_u.10	SAT	0.32
1qbf-5cnf-160var-2560cl.7	SAT	0.32
eijk.S1238.S-d2	SAT	0.32
ncf_4_16_2_euad.2	SAT	0.33
ncf_4_16_2_d.2	SAT	0.33
4qbf-5cnf-160var-5120cl.0	UNSAT	0.33
4qbf-5cnf-160var-5120cl.4	UNSAT	0.33
ncf_4_8_4_euad.5	SAT	0.33
6qbf-5cnf-160var-5120cl.4	UNSAT	0.33
ncf_8_16_4_d.6	UNSAT	0.33
4qbf-5cnf-160var-5120cl.1	UNSAT	0.33
TOILET10.1.iv.20	SAT	0.33
6qbf-5cnf-160var-5120cl.3	UNSAT	0.33
ncf_8_16_4_u.8	UNSAT	0.33
ncf_4_8_4_u.3	UNSAT	0.33
x15.8	SAT	0.33
6qbf-5cnf-160var-5120cl.9	UNSAT	0.34
ncf_4_16_4_edau.9	SAT	0.34
ncf_16_32_2_edau.8	UNSAT	0.34
6qbf-5cnf-40var-320cl.1	SAT	0.35
4qbf-5cnf-160var-5120cl.6	UNSAT	0.35
ncf_4_16_2_u.2	SAT	0.36
C432.blif_0.10_0.20_0_1_inp_exact	SAT	0.37
k_poly_n-4	SAT	0.37
ncf_4_8_4_euad.3	UNSAT	0.37
5qbf-5cnf-160var-2560cl.3	UNSAT	0.37
ncf_4_8_8_d.4	SAT	0.37
x20.6	SAT	0.37
ncf_16_32_2_u.8	UNSAT	0.38
4qbf-5cnf-160var-5120cl.5	UNSAT	0.38
2qbf-5cnf-40var-320cl.2	UNSAT	0.39
ncf_8_16_4_euad.6	UNSAT	0.39
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.39
ncf_4_8_8_edau.1	SAT	0.39
qshifter_6	SAT	0.39
ncf_4_8_4_u.7	UNSAT	0.39
ncf_4_16_4_u.9	SAT	0.4
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.4
ncf_4_16_2_d.4	SAT	0.42
1qbf-5cnf-160var-2560cl.1	SAT	0.42
1qbf-5cnf-160var-2560cl.0	SAT	0.42
x20.1	UNSAT	0.42
2qbf-5cnf-80var-640cl.8	UNSAT	0.44
ncf_4_16_2_u.4	SAT	0.44
x20.0	SAT	0.44
x20.5	SAT	0.44
x20.9	SAT	0.44
irst.dme6.B-d2	SAT	0.44
ncf_4_16_2_euad.4	SAT	0.45
3qbf-5cnf-40var-320cl.9	SAT	0.45
x20.8	SAT	0.45
k_lin_p-8	UNSAT	0.46
ncf_4_8_4_euad.4	UNSAT	0.46
ncf_4_16_2_edau.4	SAT	0.47
ncf_4_8_8_edau.8	SAT	0.47
x20.2	SAT	0.48
BLOCKS3ii.5.3	SAT	0.49
ncf_4_8_4_u.4	UNSAT	0.5
ncf_4_8_8_edau.3	SAT	0.51
ncf_4_8_8_u.8	SAT	0.51
ncf_16_32_4_edau.8	SAT	0.51
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	0.52
ncf_16_32_4_d.8	SAT	0.56
ncf_8_16_4_euad.7	SAT	0.57
ncf_4_8_8_u.3	SAT	0.57
4qbf-5cnf-40var-320cl.1	UNSAT	0.58
x20.7	SAT	0.58
ncf_4_8_8_d.8	SAT	0.59
ncf_8_16_4_edau.4	SAT	0.59
toilet_c_10_05.7	SAT	0.59
x25.3	UNSAT	0.59
x30.2	UNSAT	0.59
4qbf-5cnf-40var-320cl.2	UNSAT	0.6
2qbf-5cnf-80var-320cl.9	UNSAT	0.6
4qbf-5cnf-40var-320cl.7	UNSAT	0.61
T-adeu-9	UNSAT	0.61
ncf_16_32_4_euad.8	SAT	0.62
ncf_16_32_4_u.8	SAT	0.63
connect_8x7_3_W	UNSAT	0.64
connect_8x7_4_D	UNSAT	0.64
ncf_4_8_4_euad.1	SAT	0.64
ncf_16_32_8_euad.4	SAT	0.65
ncf_4_8_8_d.3	SAT	0.65
T-adeu-3	UNSAT	0.67
ncf_16_32_2_d.8	UNSAT	0.68
ncf_16_32_8_d.4	SAT	0.68
connect_8x7_4_W	UNSAT	0.68
x20.3	UNSAT	0.69
connect_8x7_3_D	UNSAT	0.71
T-adeu-5	UNSAT	0.71
ncf_4_8_4_euad.10	SAT	0.72
T-adeu-2	UNSAT	0.72
sortnetsort5.v.stepl.006	SAT	0.72
k_ph_n-8	SAT	0.73
1qbf-5cnf-160var-2560cl.4	SAT	0.75
x25.6	UNSAT	0.75
2qbf-5cnf-80var-640cl.1	UNSAT	0.76
2qbf-5cnf-80var-640cl.9	UNSAT	0.76
2qbf-5cnf-80var-640cl.7	UNSAT	0.76
4qbf-5cnf-40var-320cl.8	UNSAT	0.77
ncf_4_16_4_edau.8	SAT	0.77
T-edau-5	UNSAT	0.77
ncf_4_16_4_d.1	SAT	0.78
k_dum_n-8	SAT	0.79
szymanski-8-s	UNSAT	0.79
T-adeu-4	UNSAT	0.79
T-edau-3	UNSAT	0.8
ncf_4_16_4_u.8	SAT	0.81
T-adeu-1	UNSAT	0.82
T-edau-9	UNSAT	0.82
ncf_8_16_4_d.4	SAT	0.83
ncf_4_16_4_u.1	SAT	0.83
ncf_8_16_4_u.4	SAT	0.84
T-adeu-6	UNSAT	0.88
ncf_4_8_4_euad.7	UNSAT	0.89
k_poly_n-8	SAT	0.9
ncf_4_8_8_euad.3	SAT	0.9
T-adeu-0	UNSAT	0.91
k_lin_p-12	UNSAT	0.92
T-edau-2	UNSAT	0.92
ncf_4_16_4_edau.1	SAT	0.93
T-adeu-8	UNSAT	0.95
ncf_4_16_4_d.8	SAT	0.97
connect_9x8_5_W	UNSAT	0.98
sortnetsort6.v.stepl.003	UNSAT	0.98
4qbf-5cnf-40var-320cl.5	UNSAT	0.99
ncf_4_8_8_euad.8	SAT	1
connect_9x8_4_D	UNSAT	1.01
ncf_8_16_8_edau.6	UNSAT	1.02
connect_9x8_3_W	UNSAT	1.02
T-edau-4	UNSAT	1.02
ncf_4_16_2_u.8	SAT	1.03
ncf_16_32_2_euad.8	UNSAT	1.03
T-edau-0	UNSAT	1.03
connect_9x8_5_D	UNSAT	1.04
ncf_4_16_4_euad.1	SAT	1.04
ncf_16_32_2_edau.3	SAT	1.04
ncf_4_32_2_edau.9	UNSAT	1.05
connect_9x8_4_W	UNSAT	1.06
ncf_4_16_2_edau.8	SAT	1.06
connect_9x8_3_D	UNSAT	1.06
T-adeu-7	UNSAT	1.06
3qbf-5cnf-40var-320cl.5	UNSAT	1.08
ncf_4_8_8_edau.10	SAT	1.08
eijk.S1196.S-d2	SAT	1.1
6qbf-5cnf-80var-640cl.6	SAT	1.12
T-edau-1	UNSAT	1.12
ncf_4_8_8_u.10	SAT	1.17
ncf_4_16_2_edau.10	UNSAT	1.17
T-edau-6	UNSAT	1.17
sortnetsort5.v.stepl.007	SAT	1.17
ncf_8_16_8_edau.9	UNSAT	1.24
ncf_8_16_4_euad.4	SAT	1.24
T-edau-7	UNSAT	1.28
T-edau-8	UNSAT	1.29
1qbf-5cnf-160var-2560cl.8	SAT	1.33
x25.9	UNSAT	1.35
ncf_4_16_4_euad.8	SAT	1.4
1qbf-5cnf-160var-2560cl.5	SAT	1.41
ncf_4_8_8_u.7	SAT	1.43
k_lin_n-4	SAT	1.43
x25.8	UNSAT	1.44
k_dum_n-12	SAT	1.45
ncf_8_16_4_edau.7	SAT	1.45
ncf_8_16_4_u.7	SAT	1.46
x25.0	SAT	1.46
ncf_4_32_2_u.9	UNSAT	1.47
1qbf-5cnf-160var-2560cl.9	SAT	1.48
ncf_16_32_2_u.3	SAT	1.5
ncf_16_32_4_edau.2	SAT	1.52
ncf_8_16_8_euad.6	UNSAT	1.56
ncf_16_32_4_d.3	SAT	1.57
x25.7	UNSAT	1.6
qshifter_7	SAT	1.64
ncf_4_16_8_u.7	SAT	1.69
k_poly_p-12	UNSAT	1.69
ncf_4_16_8_d.7	SAT	1.7
ncf_8_16_8_edau.7	UNSAT	1.72
1qbf-5cnf-160var-2560cl.3	SAT	1.75
ncf_16_32_8_edau.3	SAT	1.79
sortnetsort5.v.stepl.005	SAT	1.82
ncf_4_16_2_d.7	SAT	1.86
ncf_8_16_8_edau.10	SAT	1.87
ncf_4_8_8_edau.7	SAT	1.87
k_poly_n-12	SAT	1.94
k_path_p-8	UNSAT	1.95
ncf_4_16_4_edau.7	SAT	1.96
ncf_4_16_2_euad.7	SAT	1.97
4qbf-5cnf-40var-320cl.4	UNSAT	2
x30.7	UNSAT	2.07
x25.1	SAT	2.08
ncf_16_32_8_u.4	SAT	2.16
ncf_16_32_8_u.3	SAT	2.16
ncf_16_32_8_edau.4	SAT	2.18
x25.4	UNSAT	2.18
ncf_16_32_4_euad.3	SAT	2.2
k_path_n-8	SAT	2.22
x25.2	SAT	2.24
szymanski-10-s	UNSAT	2.28
k_dum_p-12	UNSAT	2.3
C6288.blif_0.10_1.00_0_1_out_exact	SAT	2.31
ncf_8_16_8_d.7	UNSAT	2.34
robots_1_5_5_66.4	SAT	2.36
ncf_16_32_2_d.3	SAT	2.37
ncf_4_16_2_u.5	UNSAT	2.38
ncf_4_16_2_edau.5	UNSAT	2.39
ncf_4_16_4_u.7	SAT	2.39
ncf_16_32_4_edau.3	SAT	2.39
ncf_8_16_4_d.7	SAT	2.39
TOILET16.1.iv.32	SAT	2.4
ncf_4_8_8_euad.10	SAT	2.43
robots_1_5_5_26.4	SAT	2.46
ncf_8_16_8_euad.7	UNSAT	2.47
ncf_16_32_2_euad.3	SAT	2.49
5qbf-5cnf-80var-640cl.0	SAT	2.5
k_dum_n-16	SAT	2.54
sortnetsort5.v.stepl.004	UNSAT	2.61
ncf_4_16_2_edau.1	UNSAT	2.64
ncf_16_32_4_u.2	SAT	2.72
ncf_4_16_2_u.1	UNSAT	2.72
ncf_4_16_4_d.9	SAT	2.83
ncf_4_16_4_euad.9	SAT	2.84
ncf_4_16_8_euad.7	SAT	2.85
1qbf-5cnf-160var-2560cl.2	SAT	2.86
k_d4_p-8	UNSAT	2.91
lognBWLARGEA1	UNSAT	2.92
sortnetsort7.v.stepl.003	UNSAT	2.95
k_poly_n-16	SAT	3.05
1qbf-5cnf-160var-2560cl.6	SAT	3.1
ncf_4_16_2_edau.3	UNSAT	3.14
S-edau-7	UNSAT	3.24
S-edau-2	UNSAT	3.25
ncf_4_8_8_edau.6	UNSAT	3.26
ncf_8_16_4_u.1	SAT	3.31
S-edau-9	UNSAT	3.33
ncf_4_8_8_edau.5	UNSAT	3.35
2qbf-5cnf-80var-320cl.3	UNSAT	3.37
connect_5x4_4_R	UNSAT	3.38
ncf_16_32_8_edau.10	SAT	3.38
ncf_16_32_8_u.10	SAT	3.39
ncf_8_16_4_edau.1	SAT	3.42
robots_1_5_2_85.4	SAT	3.45
robots_1_5_2_3.4	SAT	3.45
k_dum_n-20	SAT	3.45
S-edau-3	UNSAT	3.48
robots_1_5_2_21.4	SAT	3.52
S-edau-8	UNSAT	3.53
S-edau-4	UNSAT	3.61
lut4_2_f1	SAT	3.7
ncf_4_8_8_u.5	UNSAT	3.71
S-edau-5	UNSAT	3.75
S-edau-1	UNSAT	3.78
ncf_4_8_8_euad.5	UNSAT	3.79
S-edau-6	UNSAT	3.85
k_poly_p-20	UNSAT	3.98
ncf_16_32_4_d.2	SAT	4
k_grz_p-4	UNSAT	4.04
S-edau-0	UNSAT	4.08
ncf_16_32_4_u.3	SAT	4.13
k_path_p-12	UNSAT	4.19
k_dum_n-21	SAT	4.2
k_poly_p-21	UNSAT	4.25
ncf_8_16_4_euad.1	SAT	4.34
ncf_8_16_4_d.1	SAT	4.35
k_path_n-12	SAT	4.39
ncf_4_16_8_u.10	SAT	4.42
ncf_4_16_2_euad.5	UNSAT	4.63
texas.parsesys^3.E-f2	SAT	4.64
ncf_16_32_4_euad.2	SAT	4.65
ncf_4_16_2_u.10	UNSAT	4.72
eijk.S208c.S-f2	SAT	4.82
k_poly_n-20	SAT	4.87
ncf_4_16_2_d.5	UNSAT	5.05
ncf_16_32_8_edau.7	SAT	5.36
x30.4	SAT	5.41
ncf_4_8_8_u.6	UNSAT	5.44
ncf_8_16_8_d.6	UNSAT	5.49
ncf_16_32_2_edau.2	UNSAT	5.49
k_dum_p-16	UNSAT	5.49
k_poly_n-21	SAT	5.51
ncf_4_8_8_edau.2	UNSAT	5.56
ncf_16_32_8_edau.6	SAT	5.83
x30.1	UNSAT	5.88
vis.bakery.E-f2	SAT	5.88
ncf_8_16_8_edau.8	UNSAT	6.23
ncf_16_32_8_u.7	SAT	6.3
ncf_16_32_8_u.6	SAT	6.36
k_d4_p-12	UNSAT	6.72
szymanski-12-s	UNSAT	6.85
x30.5	UNSAT	6.99
ncf_4_16_2_d.1	UNSAT	7
nusmv.syncarb5^2.B-f2	SAT	7
k_path_p-16	UNSAT	7.25
k_t4p_p-4	UNSAT	7.29
k_path_n-16	SAT	7.31
s27_d4_u	UNSAT	7.32
toilet_a_10_05.4	SAT	7.45
ncf_4_8_8_u.2	UNSAT	7.49
ncf_16_32_2_u.2	UNSAT	7.62
k_branch_n-4	SAT	7.75
k_dum_p-20	UNSAT	7.79
TOILET7.1.iv.13	UNSAT	8.03
ncf_16_32_2_edau.4	UNSAT	8.17
k_dum_p-21	UNSAT	8.38
texas.parsesys^1.E-f2	SAT	8.65
x30.9	UNSAT	8.94
x30.0	UNSAT	9.09
x30.8	UNSAT	9.13
k_lin_n-8	SAT	10.05
qshifter_8	SAT	10.08
k_path_p-20	UNSAT	10.12
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	10.16
k_path_n-20	SAT	10.39
2qbf-5cnf-80var-320cl.6	UNSAT	10.42
ncf_16_32_8_euad.3	SAT	10.6
k_path_n-21	SAT	10.96
x30.6	SAT	10.97
k_path_p-21	UNSAT	11.36
S-adeu-7	UNSAT	11.58
6qbf-5cnf-40var-320cl.4	SAT	11.69
ncf_4_16_2_euad.1	UNSAT	11.71
k_d4_p-16	UNSAT	11.71
S-adeu-2	UNSAT	12.22
S-adeu-9	UNSAT	12.36
sortnetsort5.AE.stepl.003	SAT	12.51
S-adeu-3	UNSAT	12.8
ncf_8_16_8_d.10	SAT	12.91
S-adeu-5	UNSAT	12.93
eijk.S208.S-f2	SAT	12.95
S-adeu-6	UNSAT	13.29
x30.3	SAT	13.51
S-adeu-4	UNSAT	13.53
ncf_4_16_2_d.10	UNSAT	13.84
ncf_16_32_8_d.3	SAT	13.87
k_d4_n-4	SAT	14.24
S-adeu-8	UNSAT	14.24
eijk.S208o.S-f2	SAT	14.5
ncf_16_32_2_u.4	UNSAT	14.56
vis.eisenberg.E-f2	SAT	14.59
ncf_4_8_8_d.5	UNSAT	14.7
ncf_4_16_8_u.9	SAT	14.86
robots_1_5_2_100.4	SAT	14.94
lognBWLARGEB1	UNSAT	14.99
S-adeu-0	UNSAT	14.99
S-adeu-1	UNSAT	15.11
ncf_4_16_2_d.8	SAT	15.33
ncf_8_16_8_euad.9	UNSAT	15.66
szymanski-14-s	UNSAT	16.54
lut4_AND_f1	SAT	16.58
ncf_8_16_8_euad.10	SAT	17.1
ncf_8_16_8_euad.8	UNSAT	17.88
k_t4p_n-4	SAT	17.98
k_d4_p-20	UNSAT	18.01
robots_1_5_2_80.4	SAT	18.48
k_d4_p-21	UNSAT	18.75
ncf_4_16_2_euad.8	SAT	18.98
robots_1_5_2_2.4	SAT	19.23
robots_1_5_4_30.4	SAT	19.29
robots_1_5_4_31.4	SAT	19.29
robots_1_5_5_87.4	SAT	19.37
x35.3	UNSAT	19.7
robots_1_5_4_50.4	SAT	19.72
robots_1_5_4_100.4	SAT	19.94
x35.6	UNSAT	20.15
ncf_16_32_8_euad.10	SAT	20.74
robots_1_5_3_16.4	SAT	21.55
connect_5x4_3_R	UNSAT	21.64
robots_1_5_3_100.4	SAT	21.72
x35.7	UNSAT	21.87
robots_1_5_2_45.4	SAT	21.98
robots_1_5_3_44.4	SAT	22.1
C880.blif_0.10_1.00_0_1_out_exact	SAT	22.3
ncf_16_32_8_d.10	SAT	22.47
ncf_4_16_2_euad.10	UNSAT	22.82
vis.emodel.E-f2	UNSAT	23.98
robots_1_5_2_99.4	SAT	24.66
ncf_4_8_8_euad.7	SAT	25.61
ncf_4_16_2_u.3	UNSAT	26.03
BLOCKS3ii.5.2	UNSAT	27.22
robots_1_5_4_46.4	SAT	27.61
robots_1_5_4_98.4	SAT	28.78
k_t4p_p-8	UNSAT	29.01
robots_1_5_4_87.4	SAT	29.44
vis.4-arbit^1.E-f2	SAT	30.39
sortnetsort8.v.stepl.003	UNSAT	31.01
robots_1_5_3_66.4	SAT	31.78
robots_1_5_5_45.4	SAT	32.46
robots_1_5_3_20.4	SAT	32.5
robots_1_5_4_2.4	SAT	32.58
robots_1_5_5_30.4	SAT	32.61
robots_1_5_4_91.4	SAT	32.71
ncf_4_8_8_euad.6	UNSAT	32.9
szymanski-16-s	UNSAT	34.07
sortnetsort6.v.stepl.006	SAT	34.59
robots_1_5_3_24.4	SAT	35.88
robots_1_5_5_34.4	SAT	35.9
1qbf-5cnf-80var-2560cl.2	UNSAT	36.27
sortnetsort6.v.stepl.004	UNSAT	36.4
robots_1_5_2_39.4	SAT	36.47
robots_1_5_4_51.4	SAT	36.87
robots_1_5_3_2.4	SAT	36.96
1qbf-5cnf-80var-2560cl.4	UNSAT	37.07
robots_1_5_3_57.4	SAT	37.18
robots_1_5_3_78.4	SAT	37.32
robots_1_5_2_82.4	SAT	37.51
vis.arbiter.E-f2	SAT	37.89
1qbf-5cnf-80var-2560cl.3	UNSAT	38.69
1qbf-5cnf-80var-2560cl.7	UNSAT	38.77
counter_re_4	SAT	39.6
1qbf-5cnf-80var-2560cl.0	UNSAT	39.68
1qbf-5cnf-80var-2560cl.6	UNSAT	39.82
1qbf-5cnf-80var-2560cl.1	UNSAT	40.18
ncf_4_16_8_euad.10	SAT	40.34
robots_1_5_5_93.4	SAT	40.81
1qbf-5cnf-80var-2560cl.5	UNSAT	41.35
robots_1_5_5_100.4	SAT	41.61
robots_1_5_3_52.4	SAT	41.61
robots_1_5_5_8.4	SAT	41.61
robots_1_5_5_12.4	SAT	41.75
1qbf-5cnf-80var-2560cl.8	UNSAT	41.84
x35.0	UNSAT	42.18
ncf_8_16_8_d.9	UNSAT	42.72
ncf_4_8_8_d.2	UNSAT	42.76
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	43.17
x35.5	UNSAT	44.55
1qbf-5cnf-80var-2560cl.9	UNSAT	44.97
k_lin_n-12	SAT	45.03
ncf_4_16_4_u.10	UNSAT	45.78
ncf_4_8_8_euad.2	UNSAT	45.96
ncf_16_32_4_d.5	UNSAT	48.71
ncf_4_16_8_u.4	SAT	49.15
x35.2	SAT	52.51
x35.4	UNSAT	53.67
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	56.44
k_t4p_p-12	UNSAT	58.73
x35.8	SAT	59.94
szymanski-18-s	UNSAT	62.7
ncf_4_16_2_d.3	UNSAT	62.88
x35.9	SAT	64.76
ncf_4_32_2_edau.4	UNSAT	70.05
lut4_2_f2	UNSAT	71.46
ncf_8_16_8_edau.4	UNSAT	72.77
k_t4p_n-8	SAT	73.3
ncf_4_16_8_euad.8	UNSAT	76.1
x40.5	UNSAT	80.14
x40.6	UNSAT	80.92
x50.7	UNSAT	83.66
ncf_8_16_8_edau.5	SAT	83.71
ncf_16_32_2_d.2	UNSAT	84.72
sortnetsort6.v.stepl.007	SAT	86.04
ncf_8_16_4_edau.3	SAT	87.92
x40.8	UNSAT	89.46
x40.4	UNSAT	90.59
ncf_4_16_4_edau.10	UNSAT	90.99
connect_6x5_5_R	UNSAT	94.26
ncf_8_16_4_euad.3	SAT	94.67
vis.4-arbit^2.E-f2	SAT	94.83
x35.1	SAT	97.01
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	100.2
k_t4p_p-16	UNSAT	102.47
ncf_4_16_4_u.4	UNSAT	103.76
x40.2	UNSAT	103.84
szymanski-20-s	UNSAT	108.1
ncf_8_16_4_d.9	UNSAT	108.16
ncf_4_16_2_euad.3	UNSAT	110.97
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	111.96
ncf_4_16_4_edau.3	SAT	114.53
ncf_4_16_4_u.2	SAT	114.55
ncf_4_16_4_d.7	SAT	115.19
k_lin_n-16	SAT	118.59
ncf_8_16_4_u.3	SAT	118.67
ncf_16_32_2_euad.2	UNSAT	119.92
ncf_16_32_4_euad.5	UNSAT	125.9
ncf_4_16_4_edau.2	SAT	126.42
ncf_4_16_4_u.3	SAT	130.27
ncf_4_16_4_euad.7	SAT	133.15
ncf_4_32_2_edau.8	SAT	135.14
s27_d5_u	UNSAT	140.42
ncf_16_32_4_edau.5	UNSAT	144.67
k_t4p_p-20	UNSAT	145.54
ncf_8_16_4_edau.9	UNSAT	147.97
k_d4_n-8	SAT	148.57
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	150.17
ncf_4_16_4_euad.10	UNSAT	158.72
k_t4p_p-21	UNSAT	160.78
ncf_4_16_4_euad.4	UNSAT	162.08
k_t4p_n-12	SAT	163.44
2qbf-5cnf-80var-320cl.8	SAT	164.27
x40.0	UNSAT	167.85
ncf_4_16_8_u.6	SAT	173.98
szymanski-22-s	UNSAT	178.48
ncf_4_16_4_u.6	UNSAT	179.14
ncf_8_16_4_euad.9	UNSAT	179.52
sortnetsort7.v.stepl.004	UNSAT	181.99
ncf_4_16_4_euad.2	SAT	195.7
ncf_4_16_4_edau.4	UNSAT	198.46
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	200.34
sortnetsort6.v.stepl.005	SAT	202.73
ncf_4_32_2_u.8	SAT	207.36
x40.1	UNSAT	209.79
C432.blif_0.10_0.20_0_0_inp_exact	UNSAT	221.89
k_grz_n-8	SAT	228.49
ncf_4_16_4_euad.3	SAT	230.84
k_grz_p-8	UNSAT	243.41
x40.3	UNSAT	247.18
k_ph_p-8	UNSAT	262.96
szymanski-24-s	UNSAT	279.99
ncf_4_16_4_edau.6	UNSAT	293.94
x40.9	UNSAT	301.19
k_t4p_n-16	SAT	307.23
ncf_8_16_8_euad.5	SAT	307.93
ncf_16_32_2_edau.10	UNSAT	314.16
k_lin_n-20	SAT	316.94
ncf_4_32_2_u.4	UNSAT	317.1
ncf_4_16_8_u.2	SAT	336.53
x45.0	UNSAT	340.66
ncf_16_32_4_u.5	UNSAT	343.84
ncf_4_16_4_euad.6	UNSAT	349.13
x45.8	UNSAT	356.01
x45.9	UNSAT	373.83
ncf_4_16_4_d.3	SAT	375.06
k_lin_n-21	SAT	381.82
ncf_4_16_8_u.1	SAT	387.9
k_d4_n-12	SAT	389.15
x45.4	UNSAT	403.62
x45.2	UNSAT	404.77
test5_quant5	SAT	426.08
ncf_16_32_4_edau.7	UNSAT	433.64
2qbf-5cnf-80var-320cl.7	SAT	455.79
ncf_16_32_4_u.7	UNSAT	465.86
ncf_8_16_8_euad.4	UNSAT	473.28
ncf_16_32_4_d.7	UNSAT	503.28
k_t4p_n-20	SAT	507.44
lut4_AND_fXOR	UNSAT	508.77
x45.3	SAT	516.41
ncf_4_16_8_euad.4	SAT	526.51
ncf_16_32_2_u.10	UNSAT	526.63
ev-pr-4x4-11-3-0-0-1-lg	SAT	545.62
ncf_8_16_4_u.9	UNSAT	546.44
x45.6	UNSAT	551.46
ncf_8_16_8_euad.2	SAT	552.62
k_t4p_n-21	SAT	558.5
ncf_4_16_8_euad.9	SAT	575.98
test3_quant4	FAIL	599.81
ncf_4_16_8_d.5	FAIL	599.98
x115.1	FAIL	599.98
ncf_4_32_2_edau.3	FAIL	600.09
ncf_16_32_8_u.5	FAIL	600.22
x110.6	FAIL	600.22
x245.3	FAIL	600.24
x75.8	FAIL	600.24
x100.1	FAIL	600.25
x120.7	FAIL	600.25
x160.6	FAIL	600.25
x165.7	FAIL	600.25
x180.9	FAIL	600.25
x95.8	FAIL	600.25
ncf_4_16_8_euad.3	FAIL	600.26
ncf_4_8_8_d.10	FAIL	600.26
x105.7	FAIL	600.26
x250.8	FAIL	600.26
x80.5	FAIL	600.26
x95.6	FAIL	600.26
ncf_16_32_2_u.5	FAIL	600.27
ncf_16_32_8_d.7	FAIL	600.27
ncf_4_16_8_euad.6	FAIL	600.27
ncf_16_32_2_euad.1	FAIL	600.27
ncf_16_32_4_edau.6	FAIL	600.27
ncf_16_32_8_edau.2	FAIL	600.27
x125.9	FAIL	600.27
x135.2	FAIL	600.27
x135.3	FAIL	600.27
x150.2	FAIL	600.27
x155.4	FAIL	600.27
x160.8	FAIL	600.27
x185.4	FAIL	600.27
x190.6	FAIL	600.27
x220.6	FAIL	600.27
x235.6	FAIL	600.27
x235.8	FAIL	600.27
x400.6	FAIL	600.27
x50.0	FAIL	600.27
x80.9	FAIL	600.27
6qbf-5cnf-80var-640cl.5	FAIL	600.28
ncf_4_8_8_d.6	FAIL	600.28
ncf_16_32_2_euad.4	FAIL	600.28
ncf_16_32_4_edau.10	FAIL	600.28
ncf_16_32_8_u.2	FAIL	600.28
ncf_4_16_4_d.2	FAIL	600.28
x110.0	FAIL	600.28
x155.7	FAIL	600.28
x185.5	FAIL	600.28
x190.0	FAIL	600.28
x200.0	FAIL	600.28
x240.4	FAIL	600.28
x45.1	FAIL	600.28
ncf_16_32_8_d.2	FAIL	600.29
ncf_4_16_8_d.3	FAIL	600.29
x110.8	FAIL	600.29
x145.3	FAIL	600.29
x150.4	FAIL	600.29
x150.9	FAIL	600.29
x155.0	FAIL	600.29
x175.4	FAIL	600.29
x175.5	FAIL	600.29
x190.5	FAIL	600.29
x215.3	FAIL	600.29
x225.1	FAIL	600.29
x230.7	FAIL	600.29
x240.6	FAIL	600.29
x245.6	FAIL	600.29
x245.7	FAIL	600.29
x245.9	FAIL	600.29
x300.0	FAIL	600.29
x400.0	FAIL	600.29
ncf_4_32_2_edau.1	FAIL	600.3
ncf_16_32_4_euad.10	FAIL	600.3
ncf_4_32_2_edau.7	FAIL	600.3
ncf_16_32_2_edau.5	FAIL	600.3
ncf_4_32_2_u.5	FAIL	600.3
x100.6	FAIL	600.3
x105.4	FAIL	600.3
x120.6	FAIL	600.3
x130.3	FAIL	600.3
x130.7	FAIL	600.3
x205.4	FAIL	600.3
x240.1	FAIL	600.3
x240.7	FAIL	600.3
x300.1	FAIL	600.3
x45.7	FAIL	600.3
x95.7	FAIL	600.3
ncf_4_16_8_d.9	FAIL	600.31
ncf_4_32_2_u.10	FAIL	600.31
ncf_8_16_8_edau.2	FAIL	600.31
x135.6	FAIL	600.31
x150.7	FAIL	600.31
x185.6	FAIL	600.31
x200.7	FAIL	600.31
x220.8	FAIL	600.31
x245.2	FAIL	600.31
x250.7	FAIL	600.31
x300.2	FAIL	600.31
x350.2	FAIL	600.31
x350.3	FAIL	600.31
x350.5	FAIL	600.31
x350.9	FAIL	600.31
x80.7	FAIL	600.31
x95.1	FAIL	600.31
ncf_16_32_8_u.8	FAIL	600.32
x105.6	FAIL	600.32
x125.8	FAIL	600.32
x130.2	FAIL	600.32
x185.7	FAIL	600.32
x210.1	FAIL	600.32
x210.2	FAIL	600.32
x215.9	FAIL	600.32
x300.7	FAIL	600.32
x50.5	FAIL	600.32
ncf_16_32_8_euad.5	FAIL	600.33
x125.5	FAIL	600.33
x130.9	FAIL	600.33
x165.9	FAIL	600.33
x180.8	FAIL	600.33
x190.4	FAIL	600.33
x215.7	FAIL	600.33
x235.0	FAIL	600.33
x240.2	FAIL	600.33
x40.7	FAIL	600.33
x50.1	FAIL	600.33
x95.4	FAIL	600.33
ncf_8_16_8_euad.3	FAIL	600.34
ncf_4_32_2_u.3	FAIL	600.34
ncf_4_16_8_euad.5	FAIL	600.34
ncf_16_32_8_euad.9	FAIL	600.34
ncf_16_32_8_d.1	FAIL	600.34
ncf_4_16_4_d.4	FAIL	600.34
x115.2	FAIL	600.34
x115.4	FAIL	600.34
x135.0	FAIL	600.34
x210.8	FAIL	600.34
x225.7	FAIL	600.34
x235.3	FAIL	600.34
x300.6	FAIL	600.34
x45.5	FAIL	600.34
ncf_16_32_2_euad.5	FAIL	600.35
x100.7	FAIL	600.35
x115.9	FAIL	600.35
x125.6	FAIL	600.35
x180.2	FAIL	600.35
x400.9	FAIL	600.35
ncf_16_32_2_d.5	FAIL	600.36
ncf_16_32_4_d.10	FAIL	600.36
x150.8	FAIL	600.36
x220.3	FAIL	600.36
x245.0	FAIL	600.36
x50.3	FAIL	600.36
x50.4	FAIL	600.36
ncf_4_8_8_d.7	FAIL	600.37
x135.1	FAIL	600.37
x190.1	FAIL	600.37
x225.2	FAIL	600.37
x235.4	FAIL	600.37
x240.3	FAIL	600.37
x135.9	FAIL	600.38
x140.0	FAIL	600.38
x90.0	FAIL	600.38
x105.8	FAIL	600.39
x80.8	FAIL	600.39
x150.3	FAIL	600.4
x120.8	FAIL	600.41
x145.8	FAIL	600.41
x180.7	FAIL	600.44
x240.0	FAIL	600.46
k_branch_p-4	UNSAT	622.08
6qbf-5cnf-40var-320cl.3	SAT	657.3
ncf_8_16_8_edau.3	SAT	703.24
k_d4_n-16	SAT	707.36
ncf_4_16_8_euad.2	SAT	755.67
ncf_16_32_4_euad.7	UNSAT	780.98
ncf_4_16_8_u.5	UNSAT	788.66
ncf_8_16_4_d.3	SAT	840.53
ncf_4_32_2_edau.6	UNSAT	930.84
ncf_16_32_8_euad.6	SAT	978.38
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	979.12
test5_quant7	SAT	1017.83
x55.1	UNSAT	1102.45
2qbf-5cnf-80var-320cl.2	SAT	1147.37
ncf_4_16_8_u.3	SAT	1155.48
k_d4_n-20	SAT	1165.43
eijk.S298.S-f2	SAT	1250.69
k_d4_n-21	SAT	1297.71
sortnetsort5.AE.stepl.004	SAT	1301.85
ev-pr-4x4-13-3-0-0-1-lg	SAT	1307.29
ncf_16_32_8_euad.7	SAT	1515.25
ncf_16_32_8_d.6	SAT	1617.49
ncf_16_32_2_d.4	UNSAT	1713.14
ncf_4_32_2_u.7	SAT	1731.52
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	1831.13
texas.parsesys^2.E-f2	UNSAT	1946.31
ncf_4_16_8_u.8	UNSAT	2123.66
ncf_4_16_4_d.10	UNSAT	2126.21
ncf_8_16_8_d.5	SAT	2294
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	2385.12
ncf_16_32_4_edau.4	UNSAT	2397.01
x50.8	UNSAT	2437.77
ev-pr-4x4-15-3-0-0-1-lg	SAT	2506.13
x60.4	UNSAT	2710.85
sortnetsort6.AE.stepl.003	SAT	3015.68
ncf_16_32_4_u.4	UNSAT	3183.05
2qbf-5cnf-80var-320cl.1	SAT	3363.41
C499.blif_0.10_0.20_0_1_inp_exact	SAT	3414.64
ncf_4_32_2_edau.10	SAT	3552.15
x50.9	UNSAT	3568.81
x55.8	UNSAT	3639
x50.6	UNSAT	3647.69
ncf_16_32_4_u.10	UNSAT	3696.61
counter_8	SAT	3860.66
ev-pr-4x4-17-3-0-0-1-lg	SAT	4211
Adder2-4-s	SAT	4222.35
x50.2	UNSAT	4286.29
ncf_16_32_4_d.4	UNSAT	4686.77
ncf_4_16_8_euad.1	SAT	4690.83
ncf_16_32_4_euad.4	UNSAT	4800.08
x55.4	UNSAT	4925.7
Adder2-4-c	UNSAT	5416.15
ncf_4_32_2_u.6	UNSAT	5668.15
sortnetsort8.v.stepl.004	UNSAT	5784.37
sortnetsort5.AE.stepl.005	UNSAT	5847.95
eijk.bs1512.S-f2	FAIL	5999.88
x215.2	FAIL	5999.95
x210.7	FAIL	6000.04
x185.2	FAIL	6000.11
x195.5	FAIL	6000.12
texas.ifetch1^5.E-f2	FAIL	6000.15
x235.7	FAIL	6000.17
x60.3	FAIL	6000.17
k_grz_p-20	FAIL	6000.18
ncf_4_16_8_d.2	FAIL	6000.19
x160.7	FAIL	6000.19
x90.5	FAIL	6000.19
ken.oop^1.C-f2	FAIL	6000.19
sortnetsort7.AE.stepl.007	FAIL	6000.19
sortnetsort7.AE.stepl.009	FAIL	6000.19
sortnetsort8.AE.stepl.005	FAIL	6000.19
ncf_16_32_8_euad.1	FAIL	6000.2
k_lin_p-16	FAIL	6000.2
x100.3	FAIL	6000.2
x75.5	FAIL	6000.2
sortnetsort7.AE.stepl.008	FAIL	6000.2
x200.5	FAIL	6000.21
x210.4	FAIL	6000.21
x400.2	FAIL	6000.21
texas.PI_main^01.E-f2	FAIL	6000.21
adder-6-sat	FAIL	6000.22
x155.8	FAIL	6000.22
x165.5	FAIL	6000.22
texas.PI_main^12.E-f2	FAIL	6000.22
texas.two_proc^1.E-f2	FAIL	6000.22
x110.5	FAIL	6000.23
x140.9	FAIL	6000.23
x145.0	FAIL	6000.23
x155.6	FAIL	6000.23
x175.9	FAIL	6000.23
x195.1	FAIL	6000.23
x200.8	FAIL	6000.23
x400.5	FAIL	6000.23
x55.6	FAIL	6000.23
x65.3	FAIL	6000.23
eijk.S344.S-f2	FAIL	6000.23
eijk.S713.S-f2	FAIL	6000.23
x120.4	FAIL	6000.24
x195.3	FAIL	6000.24
x200.4	FAIL	6000.24
x250.9	FAIL	6000.24
x300.3	FAIL	6000.24
x350.4	FAIL	6000.24
x350.6	FAIL	6000.24
x55.0	FAIL	6000.24
x70.0	FAIL	6000.24
x75.9	FAIL	6000.24
x85.5	FAIL	6000.24
eijk.S838.S-f2	FAIL	6000.24
eijk.S953.S-f2	FAIL	6000.24
texas.PI_main^14.E-f2	FAIL	6000.24
vis.coherence^5.E-f2	FAIL	6000.24
sortnetsort10.v.stepl.012	FAIL	6000.24
sortnetsort8.AE.stepl.003	FAIL	6000.24
sortnetsort9.v.stepl.008	FAIL	6000.24
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.24
ncf_16_32_8_euad.2	FAIL	6000.25
x100.0	FAIL	6000.25
x115.0	FAIL	6000.25
x150.0	FAIL	6000.25
x165.6	FAIL	6000.25
x170.5	FAIL	6000.25
x180.0	FAIL	6000.25
x180.5	FAIL	6000.25
x220.7	FAIL	6000.25
x225.5	FAIL	6000.25
x230.3	FAIL	6000.25
x60.0	FAIL	6000.25
x95.3	FAIL	6000.25
texas.PI_main^02.E-f2	FAIL	6000.25
vis.coherence^3.E-f2	FAIL	6000.25
sortnetsort7.AE.stepl.003	FAIL	6000.25
sortnetsort7.v.stepl.007	FAIL	6000.25
sortnetsort9.v.stepl.005	FAIL	6000.25
sortnetsort9.v.stepl.007	FAIL	6000.25
k_grz_p-16	FAIL	6000.26
BLOCKS4iii.6	FAIL	6000.26
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	6000.26
term1.blif_0.10_0.20_0_0_out_exact	FAIL	6000.26
k_grz_p-21	FAIL	6000.26
ncf_16_32_2_edau.1	FAIL	6000.26
k_branch_p-8	FAIL	6000.26
Adder2-6-c	FAIL	6000.26
x110.3	FAIL	6000.26
x120.9	FAIL	6000.26
x140.3	FAIL	6000.26
x160.5	FAIL	6000.26
x180.1	FAIL	6000.26
x185.9	FAIL	6000.26
x190.2	FAIL	6000.26
x195.7	FAIL	6000.26
x205.0	FAIL	6000.26
x205.7	FAIL	6000.26
x210.3	FAIL	6000.26
x235.5	FAIL	6000.26
x245.8	FAIL	6000.26
x250.5	FAIL	6000.26
x250.6	FAIL	6000.26
x300.5	FAIL	6000.26
x400.8	FAIL	6000.26
x60.2	FAIL	6000.26
x65.2	FAIL	6000.26
x65.5	FAIL	6000.26
x65.9	FAIL	6000.26
x70.5	FAIL	6000.26
x80.2	FAIL	6000.26
x90.2	FAIL	6000.26
eijk.S444.S-f2	FAIL	6000.26
vis.coherence^1.E-f2	FAIL	6000.26
vis.elevator^3.E-f2	FAIL	6000.26
sortnetsort10.AE.stepl.005	FAIL	6000.26
sortnetsort10.v.stepl.005	FAIL	6000.26
sortnetsort10.v.stepl.011	FAIL	6000.26
sortnetsort6.AE.stepl.004	FAIL	6000.26
sortnetsort6.AE.stepl.006	FAIL	6000.26
sortnetsort8.v.stepl.005	FAIL	6000.26
sortnetsort9.v.stepl.006	FAIL	6000.26
adder-14-sat	FAIL	6000.27
ncf_4_16_8_d.4	FAIL	6000.27
BLOCKS4iii.7	FAIL	6000.27
ncf_16_32_2_euad.10	FAIL	6000.27
Adder2-8-c	FAIL	6000.27
ncf_4_16_8_d.1	FAIL	6000.27
k_grz_n-21	FAIL	6000.27
x105.0	FAIL	6000.27
x105.9	FAIL	6000.27
x115.5	FAIL	6000.27
x130.8	FAIL	6000.27
x135.7	FAIL	6000.27
x175.0	FAIL	6000.27
x185.1	FAIL	6000.27
x185.8	FAIL	6000.27
x190.3	FAIL	6000.27
x195.0	FAIL	6000.27
x195.2	FAIL	6000.27
x205.2	FAIL	6000.27
x220.2	FAIL	6000.27
x225.9	FAIL	6000.27
x230.1	FAIL	6000.27
x230.2	FAIL	6000.27
x230.6	FAIL	6000.27
x400.4	FAIL	6000.27
x55.5	FAIL	6000.27
x60.9	FAIL	6000.27
x70.4	FAIL	6000.27
x85.1	FAIL	6000.27
x85.4	FAIL	6000.27
eijk.S349.S-f2	FAIL	6000.27
eijk.S386.S-f2	FAIL	6000.27
texas.two_proc^6.E-f2	FAIL	6000.27
sortnetsort10.v.stepl.006	FAIL	6000.27
sortnetsort10.v.stepl.010	FAIL	6000.27
sortnetsort5.AE.stepl.007	FAIL	6000.27
sortnetsort6.AE.stepl.005	FAIL	6000.27
sortnetsort7.v.stepl.009	FAIL	6000.27
sortnetsort8.v.stepl.008	FAIL	6000.27
sortnetsort9.AE.stepl.006	FAIL	6000.27
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.27
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	6000.27
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.27
ncf_16_32_2_d.1	FAIL	6000.28
BLOCKS4ii.6.3	FAIL	6000.28
C432.blif_0.10_0.20_0_0_out_exact	FAIL	6000.28
k_grz_n-16	FAIL	6000.28
ncf_16_32_8_d.8	FAIL	6000.28
counter_re_8	FAIL	6000.28
k_grz_p-12	FAIL	6000.28
test5_quant_squaring5	FAIL	6000.28
Adder2-8-s	FAIL	6000.28
x100.5	FAIL	6000.28
x115.3	FAIL	6000.28
x125.0	FAIL	6000.28
x125.7	FAIL	6000.28
x130.5	FAIL	6000.28
x145.1	FAIL	6000.28
x145.7	FAIL	6000.28
x155.1	FAIL	6000.28
x160.1	FAIL	6000.28
x165.4	FAIL	6000.28
x165.8	FAIL	6000.28
x170.4	FAIL	6000.28
x175.3	FAIL	6000.28
x195.4	FAIL	6000.28
x205.5	FAIL	6000.28
x205.8	FAIL	6000.28
x215.0	FAIL	6000.28
x215.8	FAIL	6000.28
x220.9	FAIL	6000.28
x240.5	FAIL	6000.28
x300.9	FAIL	6000.28
x350.7	FAIL	6000.28
x60.5	FAIL	6000.28
x65.7	FAIL	6000.28
x70.1	FAIL	6000.28
x70.2	FAIL	6000.28
x75.2	FAIL	6000.28
x85.6	FAIL	6000.28
x85.7	FAIL	6000.28
x90.8	FAIL	6000.28
eijk.S832.S-f2	FAIL	6000.28
texas.ifetch1^3.E-f2	FAIL	6000.28
sortnetsort10.AE.stepl.007	FAIL	6000.28
sortnetsort10.AE.stepl.012	FAIL	6000.28
sortnetsort6.AE.stepl.007	FAIL	6000.28
sortnetsort7.v.stepl.005	FAIL	6000.28
sortnetsort8.AE.stepl.006	FAIL	6000.28
sortnetsort8.AE.stepl.009	FAIL	6000.28
sortnetsort9.AE.stepl.011	FAIL	6000.28
sortnetsort9.AE.stepl.012	FAIL	6000.28
sortnetsort9.v.stepl.009	FAIL	6000.28
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.28
ncf_16_32_2_d.10	FAIL	6000.29
BLOCKS4i.6.4	FAIL	6000.29
BLOCKS3i.5.4	FAIL	6000.29
s386_d2_s	FAIL	6000.29
ncf_16_32_8_d.9	FAIL	6000.29
ncf_16_32_4_euad.6	FAIL	6000.29
ncf_16_32_4_u.6	FAIL	6000.29
ncf_4_16_4_d.6	FAIL	6000.29
ncf_8_16_8_d.2	FAIL	6000.29
k_ph_n-12	FAIL	6000.29
k_branch_n-8	FAIL	6000.29
x100.2	FAIL	6000.29
x100.9	FAIL	6000.29
x105.1	FAIL	6000.29
x110.9	FAIL	6000.29
x115.7	FAIL	6000.29
x120.1	FAIL	6000.29
x130.4	FAIL	6000.29
x140.1	FAIL	6000.29
x140.4	FAIL	6000.29
x140.8	FAIL	6000.29
x145.5	FAIL	6000.29
x160.4	FAIL	6000.29
x160.9	FAIL	6000.29
x175.6	FAIL	6000.29
x180.4	FAIL	6000.29
x185.3	FAIL	6000.29
x190.7	FAIL	6000.29
x200.1	FAIL	6000.29
x205.9	FAIL	6000.29
x210.5	FAIL	6000.29
x215.4	FAIL	6000.29
x215.6	FAIL	6000.29
x220.1	FAIL	6000.29
x225.0	FAIL	6000.29
x235.2	FAIL	6000.29
x400.3	FAIL	6000.29
x55.7	FAIL	6000.29
x60.6	FAIL	6000.29
x60.7	FAIL	6000.29
x65.6	FAIL	6000.29
x70.3	FAIL	6000.29
x70.7	FAIL	6000.29
x75.7	FAIL	6000.29
x80.4	FAIL	6000.29
x80.6	FAIL	6000.29
x90.7	FAIL	6000.29
cmu.dme1.B-f2	FAIL	6000.29
nusmv.reactor^2.C-f2	FAIL	6000.29
nusmv.reactor^3.C-f2	FAIL	6000.29
texas.ifetch1^9.E-f2	FAIL	6000.29
texas.PI_main^16.E-f2	FAIL	6000.29
texas.two_proc^3.E-f2	FAIL	6000.29
texas.two_proc^5.E-f2	FAIL	6000.29
vis.coherence^2.E-f2	FAIL	6000.29
sortnetsort10.AE.stepl.006	FAIL	6000.29
sortnetsort10.v.stepl.009	FAIL	6000.29
sortnetsort7.AE.stepl.004	FAIL	6000.29
sortnetsort7.v.stepl.008	FAIL	6000.29
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	6000.29
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.29
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.29
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.29
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	6000.29
adder-8-unsat	FAIL	6000.3
ncf_16_32_8_edau.9	FAIL	6000.3
test3_quant2	FAIL	6000.3
counter_r_8	FAIL	6000.3
toilet_a_10_01.16	FAIL	6000.3
k_lin_p-20	FAIL	6000.3
adder-4-unsat	FAIL	6000.3
k_lin_p-21	FAIL	6000.3
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	6000.3
x110.1	FAIL	6000.3
x140.2	FAIL	6000.3
x140.6	FAIL	6000.3
x140.7	FAIL	6000.3
x150.6	FAIL	6000.3
x160.0	FAIL	6000.3
x165.3	FAIL	6000.3
x195.8	FAIL	6000.3
x200.2	FAIL	6000.3
x205.1	FAIL	6000.3
x210.6	FAIL	6000.3
x210.9	FAIL	6000.3
x215.1	FAIL	6000.3
x230.0	FAIL	6000.3
x230.9	FAIL	6000.3
x235.9	FAIL	6000.3
x250.0	FAIL	6000.3
x250.1	FAIL	6000.3
x250.3	FAIL	6000.3
x300.8	FAIL	6000.3
x55.9	FAIL	6000.3
x75.1	FAIL	6000.3
x80.3	FAIL	6000.3
x95.2	FAIL	6000.3
eijk.S641.S-f2	FAIL	6000.3
eijk.S820.S-f2	FAIL	6000.3
nusmv.reactor^4.C-f2	FAIL	6000.3
texas.ifetch1^2.E-f2	FAIL	6000.3
texas.ifetch1^4.E-f2	FAIL	6000.3
texas.ifetch1^7.E-f2	FAIL	6000.3
texas.ifetch1^8.E-f2	FAIL	6000.3
texas.two_proc^4.E-f2	FAIL	6000.3
sortnetsort10.AE.stepl.008	FAIL	6000.3
sortnetsort10.v.stepl.008	FAIL	6000.3
sortnetsort8.AE.stepl.004	FAIL	6000.3
sortnetsort8.AE.stepl.008	FAIL	6000.3
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	6000.3
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	6000.3
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.3
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	6000.3
ncf_4_32_2_edau.5	FAIL	6000.31
s713_d2_s	FAIL	6000.31
ncf_8_16_8_d.4	FAIL	6000.31
ncf_16_32_8_edau.1	FAIL	6000.31
ncf_4_16_8_d.10	FAIL	6000.31
k_branch_p-12	FAIL	6000.31
test5_quant_squaring4	FAIL	6000.31
ncf_16_32_8_u.9	FAIL	6000.31
ev-pr-8x8-11-7-0-1-2-lg	FAIL	6000.31
x100.4	FAIL	6000.31
x105.2	FAIL	6000.31
x130.6	FAIL	6000.31
x140.5	FAIL	6000.31
x145.2	FAIL	6000.31
x145.4	FAIL	6000.31
x145.9	FAIL	6000.31
x155.2	FAIL	6000.31
x155.5	FAIL	6000.31
x165.0	FAIL	6000.31
x165.1	FAIL	6000.31
x170.7	FAIL	6000.31
x170.8	FAIL	6000.31
x175.1	FAIL	6000.31
x195.6	FAIL	6000.31
x195.9	FAIL	6000.31
x205.3	FAIL	6000.31
x210.0	FAIL	6000.31
x220.4	FAIL	6000.31
x230.4	FAIL	6000.31
x230.5	FAIL	6000.31
x235.1	FAIL	6000.31
x240.9	FAIL	6000.31
x300.4	FAIL	6000.31
x65.8	FAIL	6000.31
x75.0	FAIL	6000.31
x75.3	FAIL	6000.31
x80.0	FAIL	6000.31
x85.3	FAIL	6000.31
x90.4	FAIL	6000.31
x90.6	FAIL	6000.31
irst.dme6.B-f2	FAIL	6000.31
nusmv.brp.B-f2	FAIL	6000.31
nusmv.syncarb10^2.B-f2	FAIL	6000.31
vis.elevator^1.E-f2	FAIL	6000.31
sortnetsort10.AE.stepl.004	FAIL	6000.31
sortnetsort10.AE.stepl.010	FAIL	6000.31
sortnetsort9.v.stepl.004	FAIL	6000.31
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	6000.31
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	6000.31
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.31
adder-16-sat	FAIL	6000.32
s510_d2_s	FAIL	6000.32
ncf_16_32_2_u.1	FAIL	6000.32
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	6000.32
k_ph_n-16	FAIL	6000.32
s298_d4_s	FAIL	6000.32
ncf_16_32_8_edau.5	FAIL	6000.32
k_grz_n-20	FAIL	6000.32
ncf_8_16_8_d.3	FAIL	6000.32
x100.8	FAIL	6000.32
x105.5	FAIL	6000.32
x115.8	FAIL	6000.32
x120.0	FAIL	6000.32
x120.2	FAIL	6000.32
x120.5	FAIL	6000.32
x145.6	FAIL	6000.32
x150.5	FAIL	6000.32
x175.2	FAIL	6000.32
x200.3	FAIL	6000.32
x200.9	FAIL	6000.32
x205.6	FAIL	6000.32
x215.5	FAIL	6000.32
x225.4	FAIL	6000.32
x225.6	FAIL	6000.32
x350.8	FAIL	6000.32
x400.7	FAIL	6000.32
x60.8	FAIL	6000.32
x65.0	FAIL	6000.32
x75.6	FAIL	6000.32
x80.1	FAIL	6000.32
x85.0	FAIL	6000.32
x90.9	FAIL	6000.32
irst.dme5.B-f2	FAIL	6000.32
ken.oop^2.C-f2	FAIL	6000.32
nusmv.reactor^6.C-f2	FAIL	6000.32
sortnetsort10.v.stepl.004	FAIL	6000.32
sortnetsort7.AE.stepl.006	FAIL	6000.32
sortnetsort7.v.stepl.006	FAIL	6000.32
sortnetsort9.v.stepl.010	FAIL	6000.32
sortnetsort9.v.stepl.011	FAIL	6000.32
sortnetsort9.v.stepl.012	FAIL	6000.32
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	6000.32
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.32
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	6000.32
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.32
s820_d2_s	FAIL	6000.33
ncf_8_16_8_d.8	FAIL	6000.33
ncf_16_32_8_d.5	FAIL	6000.33
BLOCKS3i.5.3	FAIL	6000.33
ncf_4_16_8_d.8	FAIL	6000.33
x110.4	FAIL	6000.33
x125.4	FAIL	6000.33
x135.4	FAIL	6000.33
x150.1	FAIL	6000.33
x160.3	FAIL	6000.33
x170.1	FAIL	6000.33
x170.9	FAIL	6000.33
x175.7	FAIL	6000.33
x180.3	FAIL	6000.33
x185.0	FAIL	6000.33
x190.8	FAIL	6000.33
x200.6	FAIL	6000.33
x240.8	FAIL	6000.33
x350.0	FAIL	6000.33
x350.1	FAIL	6000.33
x55.3	FAIL	6000.33
x60.1	FAIL	6000.33
x70.9	FAIL	6000.33
x75.4	FAIL	6000.33
x85.2	FAIL	6000.33
x90.1	FAIL	6000.33
cmu.gigamax.B-f2	FAIL	6000.33
irst.dme4.B-f2	FAIL	6000.33
nusmv.reactor^5.C-f2	FAIL	6000.33
sortnetsort8.v.stepl.007	FAIL	6000.33
sortnetsort9.AE.stepl.009	FAIL	6000.33
adder-4-sat	FAIL	6000.34
adder-10-sat	FAIL	6000.34
BLOCKS4ii.7.2	FAIL	6000.34
ncf_16_32_8_euad.8	FAIL	6000.34
Adder2-6-s	FAIL	6000.34
k_grz_n-12	FAIL	6000.34
adder-8-sat	FAIL	6000.34
x110.7	FAIL	6000.34
x120.3	FAIL	6000.34
x125.1	FAIL	6000.34
x125.2	FAIL	6000.34
x125.3	FAIL	6000.34
x130.0	FAIL	6000.34
x135.5	FAIL	6000.34
x135.8	FAIL	6000.34
x170.2	FAIL	6000.34
x220.0	FAIL	6000.34
x225.8	FAIL	6000.34
x230.8	FAIL	6000.34
x250.2	FAIL	6000.34
x250.4	FAIL	6000.34
x400.1	FAIL	6000.34
x55.2	FAIL	6000.34
x85.9	FAIL	6000.34
eijk.S382.S-f2	FAIL	6000.34
eijk.S420.S-f2	FAIL	6000.34
nusmv.reactor^7.C-f2	FAIL	6000.34
sortnetsort10.AE.stepl.009	FAIL	6000.34
sortnetsort5.AE.stepl.006	FAIL	6000.34
sortnetsort8.v.stepl.006	FAIL	6000.34
sortnetsort9.AE.stepl.004	FAIL	6000.34
sortnetsort9.AE.stepl.007	FAIL	6000.34
sortnetsort9.AE.stepl.010	FAIL	6000.34
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.34
ncf_16_32_8_u.1	FAIL	6000.35
ncf_4_16_8_d.6	FAIL	6000.35
adder-6-unsat	FAIL	6000.35
ncf_4_32_2_u.1	FAIL	6000.35
s499_d4_s	FAIL	6000.35
adder-12-sat	FAIL	6000.35
x180.6	FAIL	6000.35
x220.5	FAIL	6000.35
x95.9	FAIL	6000.35
eijk.S526.S-f2	FAIL	6000.35
texas.ifetch1^1.E-f2	FAIL	6000.35
texas.two_proc^2.E-f2	FAIL	6000.35
vis.elevator^2.E-f2	FAIL	6000.35
sortnetsort10.AE.stepl.011	FAIL	6000.35
sortnetsort7.AE.stepl.005	FAIL	6000.35
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.35
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.35
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	6000.35
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	6000.35
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	6000.35
test3_quant_squaring2	FAIL	6000.36
x110.2	FAIL	6000.36
x155.3	FAIL	6000.36
x170.0	FAIL	6000.36
x245.5	FAIL	6000.36
x85.8	FAIL	6000.36
x90.3	FAIL	6000.36
cmu.dme2.B-f2	FAIL	6000.36
sortnetsort9.AE.stepl.008	FAIL	6000.36
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	6000.36
BLOCKS3i.4.4	FAIL	6000.37
ncf_16_32_4_d.6	FAIL	6000.37
s499_d2_s	FAIL	6000.37
x130.1	FAIL	6000.37
x155.9	FAIL	6000.37
x160.2	FAIL	6000.37
x165.2	FAIL	6000.37
x170.6	FAIL	6000.37
x190.9	FAIL	6000.37
x225.3	FAIL	6000.37
x70.6	FAIL	6000.37
x95.0	FAIL	6000.37
x95.5	FAIL	6000.37
eijk.S510.S-f2	FAIL	6000.37
texas.PI_main^10.E-f2	FAIL	6000.37
sortnetsort10.v.stepl.007	FAIL	6000.37
sortnetsort8.AE.stepl.007	FAIL	6000.37
C499.blif_0.10_1.00_0_0_out_exact	FAIL	6000.38
x170.3	FAIL	6000.38
x175.8	FAIL	6000.38
x65.4	FAIL	6000.38
sortnetsort9.AE.stepl.005	FAIL	6000.38
counter_e_8	FAIL	6000.39
s298_d2_s	FAIL	6000.39
x105.3	FAIL	6000.39
x115.6	FAIL	6000.39
x245.1	FAIL	6000.39
sortnetsort8.v.stepl.009	FAIL	6000.39
ncf_16_32_8_edau.8	FAIL	6000.4
x70.8	FAIL	6000.4
texas.PI_main^11.E-f2	FAIL	6000.4
x245.4	FAIL	6000.41
x65.1	FAIL	6000.41

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by ssolve-ut
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by ssolve-ut QBFEVAL'06

Instances solved by ssolve-ut
QBFEVAL'06