Instances solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
lut4_3_fANDFAIL0
Qq2k1k4v40v40m4s3SAT0.08
Qq3k2k1k2v80v80v80m8s9SAT0.08
ncf_8_16_4_d.10SAT0.09
Qq2k1k4v80v80m2s4SAT0.09
Qq2k2k3v80v80m8s3SAT0.09
Qq3k1k2k2v40v40v40m4s6SAT0.09
Qq3k3k1k1v40v40v40m32s2SAT0.09
Qq3k3k1k1v80v80v80m2s6SAT0.09
4qbf-5cnf-80var-320cl.3SAT0.1
x10.8UNSAT0.1
eijk.S208c.S-d2SAT0.1
Qq2k2k3v80v80m16s3SAT0.1
Qq2k3k2v40v40m2s7SAT0.1
Qq2k3k2v40v40m16s5SAT0.1
Qq3k1k1k3v80v80v80m8s0SAT0.1
Qq3k1k2k2v40v40v40m8s8SAT0.1
Qq3k1k2k2v40v40v40m32s4SAT0.1
Qq3k1k2k2v80v80v80m4s3SAT0.1
Qq3k1k3k1v40v40v40m8s7SAT0.1
Qq3k2k1k2v80v80v80m4s3SAT0.1
Qq3k2k1k2v80v80v80m8s3SAT0.1
Qq3k2k2k1v80v80v80m2s9SAT0.1
Qq3k3k1k1v80v80v80m8s0SAT0.1
6qbf-5cnf-160var-640cl.6SAT0.11
3qbf-5cnf-160var-640cl.1SAT0.11
x5.0SAT0.11
Qq2k2k3v40v40m16s4SAT0.11
Qq2k2k3v80v80m2s4SAT0.11
Qq2k3k2v80v80m16s1SAT0.11
Qq3k1k1k3v40v40v40m2s5SAT0.11
Qq3k1k1k3v80v80v80m2s2SAT0.11
Qq3k1k1k3v80v80v80m16s7SAT0.11
Qq3k1k2k2v40v40v40m2s8SAT0.11
Qq3k1k2k2v40v40v40m4s9SAT0.11
Qq3k1k2k2v40v40v40m16s8SAT0.11
Qq3k1k3k1v80v80v80m8s1SAT0.11
Qq3k2k2k1v40v40v40m8s4SAT0.11
Qq3k2k2k1v40v40v40m16s5SAT0.11
Qq3k2k2k1v40v40v40m32s2SAT0.11
Qq3k2k2k1v80v80v80m16s5SAT0.11
Qq3k3k1k1v40v40v40m2s1SAT0.11
Qq3k3k1k1v40v40v40m8s3SAT0.11
Qq3k3k1k1v80v80v80m16s9SAT0.11
ncf_4_8_2_u.7UNSAT0.12
ncf_8_16_8_d.6UNSAT0.12
3qbf-5cnf-80var-320cl.0SAT0.12
2qbf-5cnf-80var-1280cl.7UNSAT0.12
6qbf-5cnf-160var-640cl.9SAT0.12
2qbf-5cnf-40var-320cl.4UNSAT0.12
6qbf-5cnf-160var-640cl.7SAT0.12
ncf_8_16_4_u.10SAT0.12
4qbf-5cnf-20var-640cl.2UNSAT0.12
ncf_4_8_4_u.3UNSAT0.12
3qbf-5cnf-40var-320cl.4SAT0.12
ncf_4_8_4_u.2UNSAT0.12
x5.8UNSAT0.12
Qq2k1k4v40v40m8s4SAT0.12
Qq2k1k4v40v40m16s4SAT0.12
Qq2k1k4v80v80m2s2SAT0.12
Qq2k2k3v40v40m2s7SAT0.12
Qq2k2k3v40v40m4s3SAT0.12
Qq2k2k3v40v40m16s0SAT0.12
Qq2k2k3v40v40m16s3SAT0.12
Qq2k2k3v40v40m16s6SAT0.12
Qq2k2k3v40v40m32s3SAT0.12
Qq2k2k3v80v80m2s7SAT0.12
Qq2k2k3v80v80m4s1SAT0.12
Qq2k2k3v80v80m4s6SAT0.12
Qq2k2k3v80v80m8s7SAT0.12
Qq2k3k2v40v40m16s3SAT0.12
Qq2k3k2v40v40m16s6SAT0.12
Qq2k3k2v80v80m4s1SAT0.12
Qq2k3k2v80v80m8s6SAT0.12
Qq2k3k2v80v80m16s0SAT0.12
Qq3k1k1k3v80v80v80m8s1SAT0.12
Qq3k1k1k3v80v80v80m16s4SAT0.12
Qq3k1k2k2v40v40v40m2s5SAT0.12
Qq3k1k2k2v40v40v40m4s0SAT0.12
Qq3k1k2k2v40v40v40m8s3SAT0.12
Qq3k1k2k2v80v80v80m2s7SAT0.12
Qq3k1k3k1v40v40v40m4s5SAT0.12
Qq3k1k3k1v40v40v40m8s5SAT0.12
Qq3k1k3k1v80v80v80m2s1SAT0.12
Qq3k1k3k1v80v80v80m2s7SAT0.12
Qq3k1k3k1v80v80v80m2s8SAT0.12
Qq3k1k3k1v80v80v80m32s0SAT0.12
Qq3k2k1k2v40v40v40m4s5SAT0.12
Qq3k2k1k2v40v40v40m8s6SAT0.12
Qq3k2k1k2v40v40v40m32s0SAT0.12
Qq3k2k1k2v80v80v80m32s4SAT0.12
Qq3k2k2k1v40v40v40m2s4SAT0.12
Qq3k2k2k1v40v40v40m16s2SAT0.12
Qq3k2k2k1v40v40v40m16s6SAT0.12
Qq3k2k2k1v40v40v40m32s8SAT0.12
Qq3k2k2k1v80v80v80m8s9SAT0.12
Qq3k3k1k1v40v40v40m2s7SAT0.12
Qq3k3k1k1v80v80v80m4s6SAT0.12
Qq3k3k1k1v80v80v80m4s9SAT0.12
Qq3k3k1k1v80v80v80m32s9SAT0.12
6qbf-5cnf-20var-640cl.5UNSAT0.13
ncf_8_16_4_euad.5UNSAT0.13
ncf_4_8_4_u.6SAT0.13
BLOCKS3i.4.4UNSAT0.13
6qbf-5cnf-80var-640cl.7SAT0.13
4qbf-5cnf-40var-640cl.0UNSAT0.13
ncf_16_32_4_edau.5UNSAT0.13
5qbf-5cnf-40var-320cl.0SAT0.13
eijk.S382.S-d2SAT0.13
Qq2k1k4v40v40m32s4UNSAT0.13
Qq2k1k4v40v40m32s9UNSAT0.13
Qq2k1k4v80v80m8s1SAT0.13
Qq2k1k4v80v80m16s6SAT0.13
Qq2k1k4v80v80m32s0UNSAT0.13
Qq2k2k3v40v40m2s9SAT0.13
Qq2k2k3v80v80m4s7SAT0.13
Qq2k2k3v80v80m4s9SAT0.13
Qq2k2k3v80v80m16s9SAT0.13
Qq2k2k3v80v80m32s0SAT0.13
Qq2k3k2v80v80m2s0SAT0.13
Qq2k3k2v80v80m4s3SAT0.13
Qq2k3k2v80v80m32s8SAT0.13
Qq3k1k1k3v40v40v40m8s5SAT0.13
Qq3k1k1k3v80v80v80m32s9SAT0.13
Qq3k1k2k2v80v80v80m4s5SAT0.13
Qq3k1k2k2v80v80v80m8s1SAT0.13
Qq3k1k2k2v80v80v80m32s8SAT0.13
Qq3k1k3k1v80v80v80m2s5SAT0.13
Qq3k1k3k1v80v80v80m8s6SAT0.13
Qq3k1k3k1v80v80v80m32s8SAT0.13
Qq3k1k3k1v80v80v80m32s9SAT0.13
Qq3k2k1k2v40v40v40m2s2SAT0.13
Qq3k2k1k2v40v40v40m2s5SAT0.13
Qq3k2k1k2v40v40v40m2s9SAT0.13
Qq3k2k1k2v40v40v40m8s2SAT0.13
Qq3k2k1k2v40v40v40m32s8SAT0.13
Qq3k2k1k2v80v80v80m2s1SAT0.13
Qq3k2k2k1v80v80v80m4s0SAT0.13
Qq3k3k1k1v40v40v40m2s0SAT0.13
Qq3k3k1k1v40v40v40m8s1SAT0.13
Qq3k3k1k1v40v40v40m32s3SAT0.13
Qq3k3k1k1v80v80v80m4s7SAT0.13
6qbf-5cnf-40var-320cl.5SAT0.14
2qbf-5cnf-80var-640cl.6UNSAT0.14
ncf_4_16_2_d.6SAT0.14
5qbf-5cnf-160var-640cl.1SAT0.14
4qbf-5cnf-40var-1280cl.3UNSAT0.14
2qbf-5cnf-160var-320cl.8SAT0.14
4qbf-5cnf-40var-1280cl.7UNSAT0.14
ncf_8_16_4_edau.5UNSAT0.14
4qbf-5cnf-20var-640cl.1UNSAT0.14
4qbf-5cnf-20var-320cl.8UNSAT0.14
2qbf-5cnf-80var-1280cl.5UNSAT0.14
4qbf-5cnf-20var-320cl.2UNSAT0.14
5qbf-5cnf-40var-320cl.2SAT0.14
ncf_4_16_2_euad.6SAT0.14
5qbf-5cnf-80var-640cl.9SAT0.14
ncf_16_32_2_d.6SAT0.14
ncf_16_32_2_euad.7UNSAT0.14
2qbf-5cnf-160var-320cl.4SAT0.14
5qbf-5cnf-40var-320cl.7SAT0.14
ncf_16_32_4_u.4UNSAT0.14
6qbf-5cnf-160var-640cl.3SAT0.14
x10.4SAT0.14
cmu.dme2.B-d2SAT0.14
irst.dme4.B-d2SAT0.14
texas.parsesys^4.E-f2UNSAT0.14
Qq2k1k4v40v40m32s5UNSAT0.14
Qq2k1k4v80v80m2s9SAT0.14
Qq2k1k4v80v80m32s4UNSAT0.14
Qq2k1k4v80v80m32s7SAT0.14
Qq2k2k3v40v40m2s8SAT0.14
Qq2k2k3v40v40m4s8SAT0.14
Qq2k2k3v80v80m4s3SAT0.14
Qq2k2k3v80v80m4s8SAT0.14
Qq2k2k3v80v80m16s0SAT0.14
Qq2k2k3v80v80m32s4SAT0.14
Qq2k3k2v40v40m4s4SAT0.14
Qq2k3k2v40v40m4s7SAT0.14
Qq2k3k2v40v40m32s7SAT0.14
Qq2k3k2v80v80m2s6SAT0.14
Qq2k3k2v80v80m8s1SAT0.14
Qq2k3k2v80v80m8s3SAT0.14
Qq2k3k2v80v80m8s7SAT0.14
Qq2k3k2v80v80m8s9SAT0.14
Qq2k3k2v80v80m32s4SAT0.14
Qq3k1k1k3v40v40v40m2s3SAT0.14
Qq3k1k1k3v40v40v40m2s4SAT0.14
Qq3k1k1k3v40v40v40m4s7SAT0.14
Qq3k1k1k3v40v40v40m8s3SAT0.14
Qq3k1k1k3v40v40v40m32s3SAT0.14
Qq3k1k1k3v80v80v80m2s6SAT0.14
Qq3k1k1k3v80v80v80m2s8SAT0.14
Qq3k1k1k3v80v80v80m32s6SAT0.14
Qq3k1k1k3v80v80v80m32s7SAT0.14
Qq3k1k2k2v40v40v40m2s6SAT0.14
Qq3k1k2k2v40v40v40m16s4SAT0.14
Qq3k1k2k2v40v40v40m32s0SAT0.14
Qq3k1k2k2v80v80v80m4s1SAT0.14
Qq3k1k3k1v40v40v40m16s2SAT0.14
Qq3k1k3k1v40v40v40m32s2SAT0.14
Qq3k1k3k1v80v80v80m32s3SAT0.14
Qq3k1k3k1v80v80v80m32s5SAT0.14
Qq3k2k1k2v40v40v40m32s6SAT0.14
Qq3k2k1k2v80v80v80m2s4SAT0.14
Qq3k2k1k2v80v80v80m4s5SAT0.14
Qq3k2k1k2v80v80v80m4s8SAT0.14
Qq3k2k1k2v80v80v80m8s0SAT0.14
Qq3k2k1k2v80v80v80m32s5SAT0.14
Qq3k2k2k1v40v40v40m2s8SAT0.14
Qq3k2k2k1v40v40v40m8s5SAT0.14
Qq3k2k2k1v40v40v40m32s5SAT0.14
Qq3k2k2k1v80v80v80m4s1SAT0.14
Qq3k2k2k1v80v80v80m4s2SAT0.14
Qq3k2k2k1v80v80v80m8s3SAT0.14
Qq3k3k1k1v40v40v40m2s3SAT0.14
Qq3k3k1k1v40v40v40m2s9SAT0.14
Qq3k3k1k1v40v40v40m4s7SAT0.14
Qq3k3k1k1v40v40v40m8s4SAT0.14
Qq3k3k1k1v40v40v40m16s6SAT0.14
Qq3k3k1k1v40v40v40m16s8SAT0.14
Qq3k3k1k1v40v40v40m32s0SAT0.14
Qq3k3k1k1v40v40v40m32s1SAT0.14
Qq3k3k1k1v80v80v80m4s4SAT0.14
Qq3k3k1k1v80v80v80m32s7SAT0.14
Qq2k3k2v80v80m32s9SAT0.14
3qbf-5cnf-20var-160cl.9SAT0.15
ncf_4_32_2_edau.1UNSAT0.15
5qbf-5cnf-160var-640cl.3SAT0.15
ncf_8_16_4_u.2UNSAT0.15
3qbf-5cnf-40var-320cl.8SAT0.15
4qbf-5cnf-80var-2560cl.4UNSAT0.15
ncf_4_32_2_u.4UNSAT0.15
4qbf-5cnf-20var-640cl.5UNSAT0.15
4qbf-5cnf-80var-320cl.6SAT0.15
5qbf-5cnf-40var-1280cl.3UNSAT0.15
5qbf-5cnf-20var-640cl.3UNSAT0.15
3qbf-5cnf-80var-320cl.3SAT0.15
4qbf-5cnf-40var-1280cl.5UNSAT0.15
4qbf-5cnf-160var-640cl.3SAT0.15
2qbf-5cnf-40var-640cl.6UNSAT0.15
ncf_4_16_2_u.10UNSAT0.15
ncf_16_32_2_d.9UNSAT0.15
6qbf-5cnf-80var-640cl.4SAT0.15
ncf_16_32_2_d.8UNSAT0.15
2qbf-5cnf-40var-640cl.0UNSAT0.15
2qbf-5cnf-40var-320cl.5UNSAT0.15
2qbf-5cnf-80var-640cl.2UNSAT0.15
x5.5UNSAT0.15
Qq2k1k4v40v40m2s9SAT0.15
Qq2k1k4v40v40m4s4SAT0.15
Qq2k1k4v40v40m4s8SAT0.15
Qq2k1k4v40v40m8s1SAT0.15
Qq2k1k4v40v40m16s6UNSAT0.15
Qq2k1k4v80v80m2s3SAT0.15
Qq2k1k4v80v80m4s0SAT0.15
Qq2k1k4v80v80m8s0SAT0.15
Qq2k1k4v80v80m16s2SAT0.15
Qq2k1k4v80v80m32s6UNSAT0.15
Qq2k2k3v40v40m2s4SAT0.15
Qq2k2k3v40v40m4s0SAT0.15
Qq2k2k3v40v40m4s1SAT0.15
Qq2k2k3v40v40m8s5SAT0.15
Qq2k2k3v40v40m16s2SAT0.15
Qq2k2k3v40v40m32s6SAT0.15
Qq2k2k3v80v80m2s2SAT0.15
Qq2k2k3v80v80m2s9SAT0.15
Qq2k2k3v80v80m8s1SAT0.15
Qq2k2k3v80v80m8s4SAT0.15
Qq2k2k3v80v80m16s1SAT0.15
Qq2k2k3v80v80m16s4SAT0.15
Qq2k2k3v80v80m16s6SAT0.15
Qq2k3k2v40v40m2s4SAT0.15
Qq2k3k2v40v40m16s8SAT0.15
Qq2k3k2v40v40m16s9SAT0.15
Qq2k3k2v40v40m32s8SAT0.15
Qq2k3k2v80v80m4s5SAT0.15
Qq2k3k2v80v80m4s8SAT0.15
Qq2k3k2v80v80m8s5SAT0.15
Qq2k3k2v80v80m32s1SAT0.15
Qq2k3k2v80v80m32s3SAT0.15
Qq3k1k1k3v40v40v40m2s7SAT0.15
Qq3k1k1k3v40v40v40m4s0SAT0.15
Qq3k1k1k3v40v40v40m16s8SAT0.15
Qq3k1k1k3v80v80v80m16s8SAT0.15
Qq3k1k1k3v80v80v80m16s9SAT0.15
Qq3k1k2k2v40v40v40m4s7SAT0.15
Qq3k1k2k2v40v40v40m32s6SAT0.15
Qq3k1k2k2v80v80v80m2s8SAT0.15
Qq3k1k2k2v80v80v80m4s9SAT0.15
Qq3k1k2k2v80v80v80m32s4SAT0.15
Qq3k1k3k1v40v40v40m4s4SAT0.15
Qq3k1k3k1v40v40v40m16s0SAT0.15
Qq3k1k3k1v40v40v40m32s3SAT0.15
Qq3k1k3k1v80v80v80m4s2SAT0.15
Qq3k1k3k1v80v80v80m4s3SAT0.15
Qq3k1k3k1v80v80v80m8s8SAT0.15
Qq3k1k3k1v80v80v80m16s7SAT0.15
Qq3k1k3k1v80v80v80m32s6SAT0.15
Qq3k2k1k2v40v40v40m2s0SAT0.15
Qq3k2k1k2v40v40v40m2s6SAT0.15
Qq3k2k1k2v40v40v40m4s8SAT0.15
Qq3k2k1k2v40v40v40m8s7SAT0.15
Qq3k2k1k2v40v40v40m8s8SAT0.15
Qq3k2k1k2v40v40v40m16s0SAT0.15
Qq3k2k1k2v40v40v40m16s3SAT0.15
Qq3k2k1k2v40v40v40m16s4SAT0.15
Qq3k2k1k2v40v40v40m32s9SAT0.15
Qq3k2k1k2v80v80v80m2s2SAT0.15
Qq3k2k1k2v80v80v80m16s2SAT0.15
Qq3k2k1k2v80v80v80m32s7SAT0.15
Qq3k2k2k1v40v40v40m2s7SAT0.15
Qq3k2k2k1v40v40v40m16s1SAT0.15
Qq3k2k2k1v40v40v40m32s1SAT0.15
Qq3k2k2k1v80v80v80m2s5SAT0.15
Qq3k2k2k1v80v80v80m8s1SAT0.15
Qq3k2k2k1v80v80v80m8s6SAT0.15
Qq3k2k2k1v80v80v80m32s7SAT0.15
Qq3k2k2k1v80v80v80m32s8SAT0.15
Qq3k3k1k1v40v40v40m2s2SAT0.15
Qq3k3k1k1v40v40v40m2s8SAT0.15
Qq3k3k1k1v40v40v40m4s6SAT0.15
Qq3k3k1k1v40v40v40m16s4SAT0.15
Qq3k3k1k1v40v40v40m32s5SAT0.15
Qq3k3k1k1v80v80v80m4s1SAT0.15
Qq3k3k1k1v80v80v80m32s1SAT0.15
4qbf-5cnf-80var-320cl.9SAT0.16
3qbf-5cnf-80var-320cl.1SAT0.16
4qbf-5cnf-20var-320cl.3UNSAT0.16
2qbf-5cnf-160var-320cl.2SAT0.16
6qbf-5cnf-20var-640cl.3UNSAT0.16
5qbf-5cnf-80var-640cl.5SAT0.16
ncf_4_8_4_euad.9SAT0.16
ncf_8_16_8_edau.6UNSAT0.16
6qbf-5cnf-20var-640cl.7UNSAT0.16
4qbf-5cnf-80var-1280cl.5UNSAT0.16
ncf_8_16_4_edau.2UNSAT0.16
4qbf-5cnf-80var-2560cl.5UNSAT0.16
6qbf-5cnf-40var-320cl.2SAT0.16
4qbf-5cnf-80var-320cl.2SAT0.16
6qbf-5cnf-20var-320cl.6UNSAT0.16
5qbf-5cnf-160var-640cl.6SAT0.16
2qbf-5cnf-80var-1280cl.2UNSAT0.16
4qbf-5cnf-40var-1280cl.2UNSAT0.16
2qbf-5cnf-40var-160cl.6UNSAT0.16
4qbf-5cnf-20var-320cl.6UNSAT0.16
5qbf-5cnf-160var-640cl.0SAT0.16
2qbf-5cnf-40var-640cl.5UNSAT0.16
2qbf-5cnf-40var-320cl.7UNSAT0.16
4qbf-5cnf-40var-1280cl.8UNSAT0.16
4qbf-5cnf-160var-640cl.6SAT0.16
2qbf-5cnf-40var-320cl.6UNSAT0.16
6qbf-5cnf-160var-640cl.5SAT0.16
2qbf-5cnf-160var-320cl.6SAT0.16
2qbf-5cnf-40var-640cl.3UNSAT0.16
ncf_4_16_4_d.10UNSAT0.16
4qbf-5cnf-80var-1280cl.9UNSAT0.16
ncf_4_8_2_euad.10SAT0.16
3qbf-5cnf-160var-640cl.5SAT0.16
6qbf-5cnf-20var-320cl.1UNSAT0.16
ncf_16_32_2_d.2UNSAT0.16
6qbf-5cnf-40var-1280cl.8UNSAT0.16
2qbf-5cnf-40var-320cl.9UNSAT0.16
6qbf-5cnf-20var-160cl.1SAT0.16
5qbf-5cnf-40var-320cl.4SAT0.16
x10.5UNSAT0.16
x5.4UNSAT0.16
x5.9UNSAT0.16
eijk.S208o.S-d2SAT0.16
texas.parsesys^1.E-d2SAT0.16
Qq2k1k4v40v40m2s3SAT0.16
Qq2k1k4v40v40m4s5SAT0.16
Qq2k1k4v40v40m8s9SAT0.16
Qq2k1k4v40v40m16s9UNSAT0.16
Qq2k1k4v40v40m32s6UNSAT0.16
Qq2k1k4v80v80m32s2UNSAT0.16
Qq2k1k4v80v80m32s8UNSAT0.16
Qq2k2k3v40v40m8s4SAT0.16
Qq2k2k3v40v40m32s8SAT0.16
Qq2k2k3v80v80m4s0SAT0.16
Qq2k2k3v80v80m32s8SAT0.16
Qq2k3k2v40v40m2s0SAT0.16
Qq2k3k2v40v40m2s1SAT0.16
Qq2k3k2v40v40m2s5SAT0.16
Qq2k3k2v40v40m4s3SAT0.16
Qq2k3k2v40v40m8s6SAT0.16
Qq2k3k2v40v40m16s7SAT0.16
Qq2k3k2v40v40m32s1SAT0.16
Qq2k3k2v80v80m2s1SAT0.16
Qq2k3k2v80v80m4s0SAT0.16
Qq2k3k2v80v80m4s6SAT0.16
Qq2k3k2v80v80m8s8SAT0.16
Qq2k3k2v80v80m32s0SAT0.16
Qq2k3k2v80v80m32s6SAT0.16
Qq3k1k1k3v40v40v40m2s9SAT0.16
Qq3k1k1k3v40v40v40m8s4SAT0.16
Qq3k1k1k3v40v40v40m16s4SAT0.16
Qq3k1k1k3v80v80v80m2s7SAT0.16
Qq3k1k1k3v80v80v80m4s0SAT0.16
Qq3k1k1k3v80v80v80m4s5SAT0.16
Qq3k1k1k3v80v80v80m8s4SAT0.16
Qq3k1k1k3v80v80v80m16s6SAT0.16
Qq3k1k2k2v40v40v40m2s1SAT0.16
Qq3k1k2k2v40v40v40m2s2SAT0.16
Qq3k1k2k2v40v40v40m2s7SAT0.16
Qq3k1k2k2v40v40v40m8s2SAT0.16
Qq3k1k2k2v40v40v40m8s6SAT0.16
Qq3k1k2k2v40v40v40m16s3SAT0.16
Qq3k1k2k2v40v40v40m16s9SAT0.16
Qq3k1k2k2v80v80v80m2s0SAT0.16
Qq3k1k2k2v80v80v80m4s0SAT0.16
Qq3k1k2k2v80v80v80m16s0SAT0.16
Qq3k1k2k2v80v80v80m16s6SAT0.16
Qq3k1k2k2v80v80v80m32s0SAT0.16
Qq3k1k2k2v80v80v80m32s1SAT0.16
Qq3k1k3k1v40v40v40m2s8SAT0.16
Qq3k1k3k1v40v40v40m8s1SAT0.16
Qq3k1k3k1v40v40v40m8s3SAT0.16
Qq3k1k3k1v80v80v80m4s0SAT0.16
Qq3k1k3k1v80v80v80m8s0SAT0.16
Qq3k2k1k2v40v40v40m2s1SAT0.16
Qq3k2k1k2v40v40v40m16s6SAT0.16
Qq3k2k1k2v40v40v40m32s3SAT0.16
Qq3k2k1k2v80v80v80m16s3SAT0.16
Qq3k2k2k1v40v40v40m2s5SAT0.16
Qq3k2k2k1v40v40v40m2s6SAT0.16
Qq3k2k2k1v40v40v40m16s8SAT0.16
Qq3k2k2k1v40v40v40m32s4SAT0.16
Qq3k2k2k1v40v40v40m32s9SAT0.16
Qq3k2k2k1v80v80v80m2s0SAT0.16
Qq3k2k2k1v80v80v80m2s1SAT0.16
Qq3k2k2k1v80v80v80m2s4SAT0.16
Qq3k2k2k1v80v80v80m2s7SAT0.16
Qq3k2k2k1v80v80v80m4s5SAT0.16
Qq3k2k2k1v80v80v80m4s6SAT0.16
Qq3k2k2k1v80v80v80m32s0SAT0.16
Qq3k2k2k1v80v80v80m32s1SAT0.16
Qq3k2k2k1v80v80v80m32s9SAT0.16
Qq3k3k1k1v40v40v40m2s6SAT0.16
Qq3k3k1k1v40v40v40m4s2SAT0.16
Qq3k3k1k1v40v40v40m4s5SAT0.16
Qq3k3k1k1v40v40v40m16s1SAT0.16
Qq3k3k1k1v40v40v40m32s8SAT0.16
Qq3k3k1k1v80v80v80m2s4SAT0.16
Qq3k3k1k1v80v80v80m8s3SAT0.16
Qq3k3k1k1v80v80v80m16s3SAT0.16
ncf_4_8_2_euad.8SAT0.17
ncf_4_16_4_u.5SAT0.17
2qbf-5cnf-40var-640cl.1UNSAT0.17
6qbf-5cnf-40var-1280cl.5UNSAT0.17
6qbf-5cnf-20var-160cl.4SAT0.17
ncf_4_16_4_edau.6UNSAT0.17
6qbf-5cnf-40var-1280cl.0UNSAT0.17
4qbf-5cnf-40var-640cl.9UNSAT0.17
ncf_4_8_2_euad.9SAT0.17
3qbf-5cnf-80var-320cl.9SAT0.17
2qbf-5cnf-80var-320cl.0UNSAT0.17
mutex-32-sSAT0.17
ncf_4_8_2_euad.6SAT0.17
2qbf-5cnf-40var-160cl.2UNSAT0.17
ncf_16_32_2_u.2UNSAT0.17
6qbf-5cnf-40var-1280cl.6UNSAT0.17
4qbf-5cnf-160var-640cl.0SAT0.17
4qbf-5cnf-40var-640cl.5UNSAT0.17
ncf_16_32_4_u.9SAT0.17
2qbf-5cnf-80var-1280cl.0UNSAT0.17
ncf_16_32_2_edau.9UNSAT0.17
ncf_8_16_4_edau.10SAT0.17
6qbf-5cnf-20var-160cl.5SAT0.17
2qbf-5cnf-80var-320cl.4UNSAT0.17
ncf_4_8_2_euad.3UNSAT0.17
3qbf-5cnf-80var-2560cl.1UNSAT0.17
3qbf-5cnf-40var-320cl.6SAT0.17
2qbf-5cnf-160var-320cl.3SAT0.17
5qbf-5cnf-160var-640cl.2SAT0.17
ncf_4_8_4_euad.6SAT0.17
3qbf-5cnf-160var-640cl.8SAT0.17
ncf_4_8_8_euad.9UNSAT0.17
ncf_4_8_4_euad.2UNSAT0.17
4qbf-5cnf-20var-160cl.8UNSAT0.17
6qbf-5cnf-40var-320cl.8SAT0.17
2qbf-5cnf-40var-640cl.7UNSAT0.17
4qbf-5cnf-160var-640cl.7SAT0.17
4qbf-5cnf-40var-640cl.6UNSAT0.17
5qbf-5cnf-20var-640cl.9UNSAT0.17
5qbf-5cnf-40var-320cl.3SAT0.17
4qbf-5cnf-20var-640cl.3UNSAT0.17
4qbf-5cnf-20var-320cl.5UNSAT0.17
2qbf-5cnf-80var-640cl.3UNSAT0.17
4qbf-5cnf-20var-160cl.2SAT0.17
x10.7SAT0.17
x5.7UNSAT0.17
Qq2k1k4v40v40m2s4SAT0.17
Qq2k1k4v40v40m2s7SAT0.17
Qq2k1k4v40v40m4s6SAT0.17
Qq2k1k4v40v40m16s7SAT0.17
Qq2k1k4v80v80m2s7SAT0.17
Qq2k1k4v80v80m4s3SAT0.17
Qq2k1k4v80v80m4s6SAT0.17
Qq2k1k4v80v80m4s8SAT0.17
Qq2k1k4v80v80m8s5SAT0.17
Qq2k1k4v80v80m16s8UNSAT0.17
Qq2k1k4v80v80m32s3UNSAT0.17
Qq2k1k4v80v80m32s9UNSAT0.17
Qq2k2k3v40v40m4s9SAT0.17
Qq2k2k3v40v40m8s3SAT0.17
Qq2k2k3v40v40m32s2SAT0.17
Qq2k2k3v40v40m32s5SAT0.17
Qq2k2k3v40v40m32s9SAT0.17
Qq2k2k3v80v80m2s1SAT0.17
Qq2k2k3v80v80m2s5SAT0.17
Qq2k2k3v80v80m2s8SAT0.17
Qq2k3k2v40v40m2s2SAT0.17
Qq2k3k2v40v40m4s1SAT0.17
Qq2k3k2v40v40m4s5SAT0.17
Qq2k3k2v40v40m8s1SAT0.17
Qq2k3k2v40v40m16s0SAT0.17
Qq2k3k2v40v40m16s1SAT0.17
Qq2k3k2v40v40m16s2SAT0.17
Qq2k3k2v40v40m32s3SAT0.17
Qq2k3k2v80v80m16s3SAT0.17
Qq2k3k2v80v80m16s9SAT0.17
Qq3k1k1k3v40v40v40m2s0SAT0.17
Qq3k1k1k3v40v40v40m2s1SAT0.17
Qq3k1k1k3v40v40v40m4s4SAT0.17
Qq3k1k1k3v40v40v40m8s0SAT0.17
Qq3k1k1k3v40v40v40m16s9SAT0.17
Qq3k1k1k3v80v80v80m2s4SAT0.17
Qq3k1k1k3v80v80v80m4s4SAT0.17
Qq3k1k1k3v80v80v80m8s7SAT0.17
Qq3k1k1k3v80v80v80m16s3SAT0.17
Qq3k1k2k2v40v40v40m2s9SAT0.17
Qq3k1k2k2v40v40v40m4s3SAT0.17
Qq3k1k2k2v40v40v40m4s4SAT0.17
Qq3k1k2k2v40v40v40m4s8SAT0.17
Qq3k1k2k2v40v40v40m8s7SAT0.17
Qq3k1k2k2v40v40v40m16s5SAT0.17
Qq3k1k2k2v40v40v40m32s1SAT0.17
Qq3k1k2k2v80v80v80m8s0SAT0.17
Qq3k1k2k2v80v80v80m8s6SAT0.17
Qq3k1k2k2v80v80v80m32s7SAT0.17
Qq3k1k3k1v40v40v40m2s3SAT0.17
Qq3k1k3k1v40v40v40m4s0SAT0.17
Qq3k1k3k1v40v40v40m4s9SAT0.17
Qq3k1k3k1v40v40v40m16s3SAT0.17
Qq3k1k3k1v40v40v40m16s4SAT0.17
Qq3k1k3k1v40v40v40m16s6SAT0.17
Qq3k1k3k1v80v80v80m4s6SAT0.17
Qq3k1k3k1v80v80v80m16s2SAT0.17
Qq3k1k3k1v80v80v80m32s1SAT0.17
Qq3k1k3k1v80v80v80m32s4SAT0.17
Qq3k1k3k1v80v80v80m32s7SAT0.17
Qq3k2k1k2v40v40v40m2s7SAT0.17
Qq3k2k1k2v40v40v40m4s2SAT0.17
Qq3k2k1k2v40v40v40m8s5SAT0.17
Qq3k2k1k2v40v40v40m32s2SAT0.17
Qq3k2k1k2v80v80v80m2s5SAT0.17
Qq3k2k1k2v80v80v80m4s1SAT0.17
Qq3k2k1k2v80v80v80m8s2SAT0.17
Qq3k2k1k2v80v80v80m8s5SAT0.17
Qq3k2k1k2v80v80v80m16s0SAT0.17
Qq3k2k1k2v80v80v80m16s7SAT0.17
Qq3k2k1k2v80v80v80m16s9SAT0.17
Qq3k2k1k2v80v80v80m32s0SAT0.17
Qq3k2k1k2v80v80v80m32s3SAT0.17
Qq3k2k2k1v40v40v40m2s1SAT0.17
Qq3k2k2k1v40v40v40m4s7SAT0.17
Qq3k2k2k1v40v40v40m8s0SAT0.17
Qq3k2k2k1v40v40v40m16s7SAT0.17
Qq3k2k2k1v80v80v80m2s8SAT0.17
Qq3k2k2k1v80v80v80m4s7SAT0.17
Qq3k2k2k1v80v80v80m16s2SAT0.17
Qq3k2k2k1v80v80v80m16s4SAT0.17
Qq3k2k2k1v80v80v80m16s9SAT0.17
Qq3k2k2k1v80v80v80m32s4SAT0.17
Qq3k3k1k1v40v40v40m4s0SAT0.17
Qq3k3k1k1v40v40v40m8s8SAT0.17
Qq3k3k1k1v40v40v40m32s4SAT0.17
Qq3k3k1k1v80v80v80m2s9SAT0.17
Qq3k3k1k1v80v80v80m4s5SAT0.17
Qq3k3k1k1v80v80v80m8s2SAT0.17
Qq3k3k1k1v80v80v80m8s5SAT0.17
Qq3k3k1k1v80v80v80m8s6SAT0.17
Qq3k3k1k1v80v80v80m16s2SAT0.17
ncf_16_32_4_edau.1SAT0.18
4qbf-5cnf-40var-640cl.1UNSAT0.18
ncf_4_16_4_d.5SAT0.18
3qbf-5cnf-40var-320cl.3SAT0.18
4qbf-5cnf-20var-160cl.4UNSAT0.18
3qbf-5cnf-80var-2560cl.6UNSAT0.18
BLOCKS3ii.5.2UNSAT0.18
2qbf-5cnf-160var-320cl.0SAT0.18
ncf_4_8_8_edau.5UNSAT0.18
2qbf-5cnf-80var-640cl.4UNSAT0.18
2qbf-5cnf-80var-320cl.5UNSAT0.18
ncf_4_8_2_euad.1UNSAT0.18
4qbf-5cnf-40var-1280cl.9UNSAT0.18
ncf_4_16_2_d.10UNSAT0.18
ncf_4_32_2_edau.3UNSAT0.18
2qbf-5cnf-40var-640cl.9UNSAT0.18
5qbf-5cnf-160var-640cl.9SAT0.18
4qbf-5cnf-80var-2560cl.6UNSAT0.18
5qbf-5cnf-20var-640cl.7UNSAT0.18
ncf_4_8_2_u.4UNSAT0.18
ncf_4_8_8_u.5UNSAT0.18
ncf_8_16_4_euad.8UNSAT0.18
6qbf-5cnf-20var-160cl.9SAT0.18
6qbf-5cnf-80var-2560cl.3UNSAT0.18
mutex-16-sSAT0.18
ncf_16_32_2_u.7UNSAT0.18
ncf_16_32_4_d.5UNSAT0.18
ncf_16_32_2_euad.5UNSAT0.18
5qbf-5cnf-40var-320cl.6SAT0.18
4qbf-5cnf-20var-320cl.0UNSAT0.18
ncf_4_8_4_u.7UNSAT0.18
3qbf-5cnf-160var-640cl.7SAT0.18
2qbf-5cnf-160var-2560cl.0UNSAT0.18
5qbf-5cnf-20var-640cl.5UNSAT0.18
6qbf-5cnf-160var-640cl.0SAT0.18
3qbf-5cnf-20var-160cl.8SAT0.18
6qbf-5cnf-20var-160cl.2SAT0.18
ncf_8_16_4_euad.2UNSAT0.18
4qbf-5cnf-80var-320cl.4SAT0.18
mutex-128-sSAT0.18
3qbf-5cnf-20var-160cl.2SAT0.18
5qbf-5cnf-160var-640cl.7SAT0.18
6qbf-5cnf-40var-1280cl.7UNSAT0.18
3qbf-5cnf-160var-640cl.4SAT0.18
x10.3UNSAT0.18
x5.2UNSAT0.18
cmu.dme1.B-d2SAT0.18
eijk.S526.S-d2SAT0.18
eijk.S832.S-d2SAT0.18
Qq2k1k4v40v40m8s2UNSAT0.18
Qq2k1k4v40v40m8s3SAT0.18
Qq2k1k4v40v40m32s3UNSAT0.18
Qq2k1k4v80v80m2s5SAT0.18
Qq2k1k4v80v80m4s5SAT0.18
Qq2k1k4v80v80m16s7SAT0.18
Qq2k1k4v80v80m32s1SAT0.18
Qq2k2k3v40v40m2s0SAT0.18
Qq2k2k3v40v40m2s3SAT0.18
Qq2k2k3v40v40m4s7SAT0.18
Qq2k2k3v40v40m16s9SAT0.18
Qq2k2k3v80v80m2s3SAT0.18
Qq2k2k3v80v80m8s2SAT0.18
Qq2k2k3v80v80m32s3SAT0.18
Qq2k2k3v80v80m32s6SAT0.18
Qq2k3k2v40v40m2s3SAT0.18
Qq2k3k2v40v40m2s8SAT0.18
Qq2k3k2v40v40m8s9SAT0.18
Qq2k3k2v80v80m2s5SAT0.18
Qq2k3k2v80v80m4s2SAT0.18
Qq3k1k1k3v40v40v40m2s6SAT0.18
Qq3k1k1k3v40v40v40m4s2SAT0.18
Qq3k1k1k3v40v40v40m4s6SAT0.18
Qq3k1k1k3v40v40v40m8s7SAT0.18
Qq3k1k1k3v40v40v40m8s9SAT0.18
Qq3k1k1k3v40v40v40m16s1SAT0.18
Qq3k1k1k3v40v40v40m16s2SAT0.18
Qq3k1k1k3v40v40v40m16s5SAT0.18
Qq3k1k1k3v40v40v40m16s6SAT0.18
Qq3k1k1k3v40v40v40m16s7SAT0.18
Qq3k1k1k3v40v40v40m32s0SAT0.18
Qq3k1k1k3v80v80v80m4s2SAT0.18
Qq3k1k1k3v80v80v80m8s2SAT0.18
Qq3k1k1k3v80v80v80m32s2SAT0.18
Qq3k1k1k3v80v80v80m32s3SAT0.18
Qq3k1k2k2v40v40v40m2s0SAT0.18
Qq3k1k2k2v40v40v40m32s5SAT0.18
Qq3k1k2k2v40v40v40m32s8SAT0.18
Qq3k1k2k2v80v80v80m2s5SAT0.18
Qq3k1k2k2v80v80v80m2s6SAT0.18
Qq3k1k2k2v80v80v80m4s6SAT0.18
Qq3k1k2k2v80v80v80m8s2SAT0.18
Qq3k1k2k2v80v80v80m16s2SAT0.18
Qq3k1k2k2v80v80v80m16s3SAT0.18
Qq3k1k2k2v80v80v80m32s3SAT0.18
Qq3k1k3k1v40v40v40m2s7SAT0.18
Qq3k1k3k1v40v40v40m4s2SAT0.18
Qq3k1k3k1v40v40v40m4s3SAT0.18
Qq3k1k3k1v40v40v40m4s8SAT0.18
Qq3k1k3k1v40v40v40m8s0SAT0.18
Qq3k1k3k1v40v40v40m16s1SAT0.18
Qq3k1k3k1v40v40v40m16s8SAT0.18
Qq3k1k3k1v40v40v40m32s5SAT0.18
Qq3k1k3k1v80v80v80m2s0SAT0.18
Qq3k1k3k1v80v80v80m2s3SAT0.18
Qq3k1k3k1v80v80v80m4s7SAT0.18
Qq3k1k3k1v80v80v80m8s3SAT0.18
Qq3k1k3k1v80v80v80m16s6SAT0.18
Qq3k2k1k2v40v40v40m2s8SAT0.18
Qq3k2k1k2v40v40v40m4s0SAT0.18
Qq3k2k1k2v40v40v40m4s3SAT0.18
Qq3k2k1k2v40v40v40m4s7SAT0.18
Qq3k2k1k2v40v40v40m8s4SAT0.18
Qq3k2k1k2v40v40v40m16s1SAT0.18
Qq3k2k1k2v40v40v40m16s5SAT0.18
Qq3k2k1k2v40v40v40m16s7SAT0.18
Qq3k2k1k2v40v40v40m16s8SAT0.18
Qq3k2k1k2v80v80v80m2s0SAT0.18
Qq3k2k1k2v80v80v80m8s4SAT0.18
Qq3k2k1k2v80v80v80m8s7SAT0.18
Qq3k2k1k2v80v80v80m16s1SAT0.18
Qq3k2k2k1v40v40v40m2s0SAT0.18
Qq3k2k2k1v40v40v40m2s9SAT0.18
Qq3k2k2k1v40v40v40m4s0SAT0.18
Qq3k2k2k1v40v40v40m4s3SAT0.18
Qq3k2k2k1v40v40v40m8s3SAT0.18
Qq3k2k2k1v40v40v40m8s9SAT0.18
Qq3k2k2k1v40v40v40m32s3SAT0.18
Qq3k2k2k1v80v80v80m8s8SAT0.18
Qq3k2k2k1v80v80v80m16s1SAT0.18
Qq3k2k2k1v80v80v80m16s7SAT0.18
Qq3k2k2k1v80v80v80m32s6SAT0.18
Qq3k3k1k1v40v40v40m32s7SAT0.18
Qq3k3k1k1v40v40v40m32s9SAT0.18
Qq3k3k1k1v80v80v80m4s3SAT0.18
Qq3k3k1k1v80v80v80m8s9SAT0.18
Qq3k3k1k1v80v80v80m16s0SAT0.18
Qq3k3k1k1v80v80v80m16s7SAT0.18
Qq3k3k1k1v80v80v80m16s8SAT0.18
Qq3k3k1k1v80v80v80m32s0SAT0.18
Qq3k3k1k1v80v80v80m32s6SAT0.18
2qbf-5cnf-160var-2560cl.8UNSAT0.19
3qbf-5cnf-80var-2560cl.9UNSAT0.19
ncf_16_32_2_edau.6SAT0.19
3qbf-5cnf-40var-320cl.0SAT0.19
4qbf-5cnf-160var-640cl.9SAT0.19
2qbf-5cnf-40var-160cl.1UNSAT0.19
6qbf-5cnf-20var-640cl.0UNSAT0.19
3qbf-5cnf-40var-320cl.1SAT0.19
6qbf-5cnf-20var-160cl.8SAT0.19
6qbf-5cnf-40var-320cl.7SAT0.19
4qbf-5cnf-20var-640cl.8UNSAT0.19
ncf_16_32_2_u.9UNSAT0.19
4qbf-5cnf-80var-2560cl.0UNSAT0.19
2qbf-5cnf-80var-1280cl.4UNSAT0.19
4qbf-5cnf-20var-640cl.7UNSAT0.19
ncf_16_32_2_euad.6SAT0.19
3qbf-5cnf-80var-2560cl.5UNSAT0.19
3qbf-5cnf-80var-2560cl.7UNSAT0.19
2qbf-5cnf-160var-320cl.9SAT0.19
6qbf-5cnf-40var-1280cl.3UNSAT0.19
ncf_16_32_2_u.8UNSAT0.19
6qbf-5cnf-20var-640cl.1UNSAT0.19
6qbf-5cnf-20var-640cl.6UNSAT0.19
2qbf-5cnf-40var-640cl.2UNSAT0.19
6qbf-5cnf-160var-640cl.8SAT0.19
4qbf-5cnf-40var-1280cl.0UNSAT0.19
ncf_16_32_2_euad.4UNSAT0.19
4qbf-5cnf-20var-160cl.1UNSAT0.19
4qbf-5cnf-20var-640cl.9UNSAT0.19
ncf_4_8_2_u.8SAT0.19
3qbf-5cnf-20var-160cl.5SAT0.19
ncf_4_8_8_euad.5UNSAT0.19
2qbf-5cnf-40var-320cl.0UNSAT0.19
3qbf-5cnf-80var-320cl.8SAT0.19
5qbf-5cnf-40var-320cl.5SAT0.19
6qbf-5cnf-80var-2560cl.7UNSAT0.19
2qbf-5cnf-40var-160cl.7UNSAT0.19
ncf_4_16_4_euad.5SAT0.19
ncf_16_32_4_edau.4UNSAT0.19
4qbf-5cnf-80var-320cl.8SAT0.19
6qbf-5cnf-40var-1280cl.4UNSAT0.19
ncf_4_32_2_edau.4UNSAT0.19
3qbf-5cnf-80var-2560cl.4UNSAT0.19
4qbf-5cnf-80var-1280cl.2UNSAT0.19
4qbf-5cnf-160var-640cl.1SAT0.19
3qbf-5cnf-80var-2560cl.8UNSAT0.19
ncf_16_32_2_edau.8UNSAT0.19
4qbf-5cnf-80var-2560cl.2UNSAT0.19
ncf_16_32_2_u.4UNSAT0.19
ncf_8_16_4_d.2UNSAT0.19
2qbf-5cnf-40var-320cl.3UNSAT0.19
ncf_4_8_8_edau.9UNSAT0.19
ncf_8_16_4_edau.8UNSAT0.19
2qbf-5cnf-40var-640cl.4UNSAT0.19
x10.2UNSAT0.19
x15.2UNSAT0.19
x15.7UNSAT0.19
x20.4UNSAT0.19
x5.1UNSAT0.19
x5.3UNSAT0.19
eijk.S208.S-d2SAT0.19
vis.eisenberg.E-d2SAT0.19
vis.emodel.E-f2UNSAT0.19
Qq2k1k4v40v40m2s2SAT0.19
Qq2k1k4v40v40m2s5SAT0.19
Qq2k1k4v40v40m4s2UNSAT0.19
Qq2k1k4v40v40m4s7SAT0.19
Qq2k1k4v40v40m8s0SAT0.19
Qq2k1k4v40v40m16s1SAT0.19
Qq2k1k4v40v40m16s2UNSAT0.19
Qq2k1k4v40v40m16s8SAT0.19
Qq2k1k4v40v40m32s7UNSAT0.19
Qq2k1k4v80v80m2s1SAT0.19
Qq2k1k4v80v80m2s6SAT0.19
Qq2k1k4v80v80m4s4SAT0.19
Qq2k1k4v80v80m4s9SAT0.19
Qq2k1k4v80v80m8s4SAT0.19
Qq2k1k4v80v80m8s6SAT0.19
Qq2k1k4v80v80m8s7SAT0.19
Qq2k1k4v80v80m32s5UNSAT0.19
Qq2k2k3v40v40m2s2SAT0.19
Qq2k2k3v40v40m4s4SAT0.19
Qq2k2k3v40v40m8s8SAT0.19
Qq2k2k3v40v40m16s1SAT0.19
Qq2k2k3v40v40m16s7SAT0.19
Qq2k2k3v40v40m32s7SAT0.19
Qq2k2k3v80v80m2s0SAT0.19
Qq2k2k3v80v80m2s6SAT0.19
Qq2k2k3v80v80m8s0SAT0.19
Qq2k2k3v80v80m8s9SAT0.19
Qq2k2k3v80v80m16s5SAT0.19
Qq2k2k3v80v80m32s5SAT0.19
Qq2k3k2v40v40m2s6SAT0.19
Qq2k3k2v40v40m4s0SAT0.19
Qq2k3k2v40v40m4s8SAT0.19
Qq2k3k2v40v40m8s2SAT0.19
Qq2k3k2v40v40m32s0SAT0.19
Qq2k3k2v40v40m32s2SAT0.19
Qq2k3k2v80v80m2s2SAT0.19
Qq2k3k2v80v80m2s7SAT0.19
Qq2k3k2v80v80m8s0SAT0.19
Qq2k3k2v80v80m8s2SAT0.19
Qq2k3k2v80v80m8s4SAT0.19
Qq2k3k2v80v80m16s6SAT0.19
Qq3k1k1k3v40v40v40m4s8SAT0.19
Qq3k1k1k3v40v40v40m8s2SAT0.19
Qq3k1k1k3v40v40v40m32s9SAT0.19
Qq3k1k1k3v80v80v80m2s0SAT0.19
Qq3k1k1k3v80v80v80m2s5SAT0.19
Qq3k1k1k3v80v80v80m4s9SAT0.19
Qq3k1k1k3v80v80v80m16s2SAT0.19
Qq3k1k1k3v80v80v80m16s5SAT0.19
Qq3k1k1k3v80v80v80m32s1SAT0.19
Qq3k1k2k2v40v40v40m8s1SAT0.19
Qq3k1k2k2v40v40v40m16s7SAT0.19
Qq3k1k2k2v40v40v40m32s3SAT0.19
Qq3k1k2k2v80v80v80m16s8SAT0.19
Qq3k1k3k1v40v40v40m2s2SAT0.19
Qq3k1k3k1v40v40v40m2s4SAT0.19
Qq3k1k3k1v40v40v40m16s9SAT0.19
Qq3k1k3k1v40v40v40m32s6SAT0.19
Qq3k1k3k1v40v40v40m32s9SAT0.19
Qq3k1k3k1v80v80v80m4s1SAT0.19
Qq3k1k3k1v80v80v80m4s4SAT0.19
Qq3k1k3k1v80v80v80m4s5SAT0.19
Qq3k1k3k1v80v80v80m4s8SAT0.19
Qq3k1k3k1v80v80v80m4s9SAT0.19
Qq3k1k3k1v80v80v80m8s2SAT0.19
Qq3k1k3k1v80v80v80m16s5SAT0.19
Qq3k2k1k2v40v40v40m2s4SAT0.19
Qq3k2k1k2v40v40v40m8s0SAT0.19
Qq3k2k1k2v40v40v40m16s2SAT0.19
Qq3k2k1k2v40v40v40m32s4SAT0.19
Qq3k2k1k2v80v80v80m4s4SAT0.19
Qq3k2k1k2v80v80v80m4s7SAT0.19
Qq3k2k1k2v80v80v80m4s9SAT0.19
Qq3k2k1k2v80v80v80m16s5SAT0.19
Qq3k2k1k2v80v80v80m32s2SAT0.19
Qq3k2k1k2v80v80v80m32s6SAT0.19
Qq3k2k2k1v40v40v40m2s3SAT0.19
Qq3k2k2k1v40v40v40m4s1SAT0.19
Qq3k2k2k1v40v40v40m4s4SAT0.19
Qq3k2k2k1v40v40v40m4s8SAT0.19
Qq3k2k2k1v40v40v40m4s9SAT0.19
Qq3k2k2k1v40v40v40m8s8SAT0.19
Qq3k2k2k1v40v40v40m32s0SAT0.19
Qq3k2k2k1v80v80v80m8s4SAT0.19
Qq3k3k1k1v40v40v40m2s4SAT0.19
Qq3k3k1k1v40v40v40m4s1SAT0.19
Qq3k3k1k1v40v40v40m4s8SAT0.19
Qq3k3k1k1v40v40v40m8s5SAT0.19
Qq3k3k1k1v40v40v40m8s7SAT0.19
Qq3k3k1k1v40v40v40m32s6SAT0.19
Qq3k3k1k1v80v80v80m2s0SAT0.19
Qq3k3k1k1v80v80v80m2s1SAT0.19
Qq3k3k1k1v80v80v80m2s3SAT0.19
Qq3k3k1k1v80v80v80m8s4SAT0.19
Qq3k3k1k1v80v80v80m8s7SAT0.19
ncf_4_16_4_u.10UNSAT0.2
ncf_16_32_2_u.5UNSAT0.2
6qbf-5cnf-40var-320cl.6SAT0.2
3qbf-5cnf-40var-320cl.7SAT0.2
6qbf-5cnf-160var-640cl.2SAT0.2
3qbf-5cnf-160var-640cl.3SAT0.2
ncf_4_16_2_euad.10UNSAT0.2
5qbf-5cnf-40var-320cl.8SAT0.2
4qbf-5cnf-160var-640cl.4SAT0.2
ncf_16_32_4_u.5UNSAT0.2
2qbf-5cnf-40var-160cl.3SAT0.2
4qbf-5cnf-80var-320cl.5SAT0.2
4qbf-5cnf-80var-320cl.7SAT0.2
5qbf-5cnf-160var-640cl.4SAT0.2
ncf_4_8_4_u.9SAT0.2
6qbf-5cnf-80var-640cl.1SAT0.2
6qbf-5cnf-20var-160cl.0SAT0.2
3qbf-5cnf-20var-160cl.4SAT0.2
ncf_16_32_2_edau.2UNSAT0.2
4qbf-5cnf-40var-640cl.7UNSAT0.2
6qbf-5cnf-40var-1280cl.1UNSAT0.2
2qbf-5cnf-160var-320cl.1SAT0.2
ncf_4_8_4_euad.3UNSAT0.2
2qbf-5cnf-160var-2560cl.1UNSAT0.2
5qbf-5cnf-80var-640cl.3SAT0.2
4qbf-5cnf-80var-2560cl.3UNSAT0.2
3qbf-5cnf-80var-320cl.2SAT0.2
k_poly_p-12UNSAT0.2
3qbf-5cnf-80var-320cl.4SAT0.2
2qbf-5cnf-40var-320cl.1UNSAT0.2
4qbf-5cnf-160var-640cl.8SAT0.2
ncf_4_16_4_u.6UNSAT0.2
ncf_16_32_2_edau.7UNSAT0.2
4qbf-5cnf-160var-640cl.2SAT0.2
2qbf-5cnf-80var-1280cl.9UNSAT0.2
eijk.S298.S-d2SAT0.2
vis.bakery.E-d2SAT0.2
Qq2k1k4v40v40m4s1SAT0.2
Qq2k1k4v40v40m8s5SAT0.2
Qq2k1k4v40v40m8s7SAT0.2
Qq2k1k4v40v40m16s0UNSAT0.2
Qq2k1k4v40v40m16s3UNSAT0.2
Qq2k1k4v40v40m32s0UNSAT0.2
Qq2k1k4v40v40m32s2UNSAT0.2
Qq2k1k4v40v40m32s8UNSAT0.2
Qq2k1k4v80v80m2s8SAT0.2
Qq2k1k4v80v80m8s2SAT0.2
Qq2k1k4v80v80m8s9SAT0.2
Qq2k1k4v80v80m16s9SAT0.2
Qq2k2k3v40v40m4s5SAT0.2
Qq2k2k3v40v40m8s1SAT0.2
Qq2k2k3v40v40m8s2SAT0.2
Qq2k2k3v40v40m8s7SAT0.2
Qq2k2k3v40v40m8s9SAT0.2
Qq2k2k3v40v40m16s5SAT0.2
Qq2k2k3v40v40m32s0SAT0.2
Qq2k2k3v80v80m4s2SAT0.2
Qq2k2k3v80v80m4s5SAT0.2
Qq2k2k3v80v80m8s5SAT0.2
Qq2k2k3v80v80m32s1SAT0.2
Qq2k2k3v80v80m32s7SAT0.2
Qq2k3k2v40v40m4s6SAT0.2
Qq2k3k2v40v40m8s3SAT0.2
Qq2k3k2v40v40m8s7SAT0.2
Qq2k3k2v40v40m32s6SAT0.2
Qq2k3k2v80v80m2s3SAT0.2
Qq2k3k2v80v80m4s9SAT0.2
Qq2k3k2v80v80m16s4SAT0.2
Qq2k3k2v80v80m16s5SAT0.2
Qq2k3k2v80v80m16s8SAT0.2
Qq3k1k1k3v40v40v40m2s2SAT0.2
Qq3k1k1k3v40v40v40m4s3SAT0.2
Qq3k1k1k3v40v40v40m32s1SAT0.2
Qq3k1k1k3v40v40v40m32s6SAT0.2
Qq3k1k1k3v40v40v40m32s7SAT0.2
Qq3k1k1k3v80v80v80m2s1SAT0.2
Qq3k1k1k3v80v80v80m4s1SAT0.2
Qq3k1k1k3v80v80v80m8s3SAT0.2
Qq3k1k1k3v80v80v80m8s6SAT0.2
Qq3k1k1k3v80v80v80m8s9SAT0.2
Qq3k1k1k3v80v80v80m16s1SAT0.2
Qq3k1k1k3v80v80v80m32s4SAT0.2
Qq3k1k2k2v40v40v40m2s4SAT0.2
Qq3k1k2k2v40v40v40m4s1SAT0.2
Qq3k1k2k2v40v40v40m8s9SAT0.2
Qq3k1k2k2v40v40v40m32s9SAT0.2
Qq3k1k2k2v80v80v80m2s2SAT0.2
Qq3k1k2k2v80v80v80m2s9SAT0.2
Qq3k1k2k2v80v80v80m4s7SAT0.2
Qq3k1k2k2v80v80v80m8s5SAT0.2
Qq3k1k2k2v80v80v80m16s4SAT0.2
Qq3k1k2k2v80v80v80m32s2SAT0.2
Qq3k1k2k2v80v80v80m32s5SAT0.2
Qq3k1k2k2v80v80v80m32s6SAT0.2
Qq3k1k3k1v40v40v40m2s9SAT0.2
Qq3k1k3k1v40v40v40m4s7SAT0.2
Qq3k1k3k1v40v40v40m8s2SAT0.2
Qq3k1k3k1v80v80v80m2s4SAT0.2
Qq3k1k3k1v80v80v80m16s4SAT0.2
Qq3k1k3k1v80v80v80m16s8SAT0.2
Qq3k2k1k2v40v40v40m2s3SAT0.2
Qq3k2k1k2v40v40v40m32s1SAT0.2
Qq3k2k1k2v40v40v40m32s5SAT0.2
Qq3k2k1k2v80v80v80m2s3SAT0.2
Qq3k2k1k2v80v80v80m8s1SAT0.2
Qq3k2k1k2v80v80v80m32s1SAT0.2
Qq3k2k1k2v80v80v80m32s8SAT0.2
Qq3k2k1k2v80v80v80m32s9SAT0.2
Qq3k2k2k1v40v40v40m2s2SAT0.2
Qq3k2k2k1v40v40v40m4s5SAT0.2
Qq3k2k2k1v40v40v40m8s2SAT0.2
Qq3k2k2k1v40v40v40m32s7SAT0.2
Qq3k2k2k1v80v80v80m4s3SAT0.2
Qq3k2k2k1v80v80v80m16s6SAT0.2
Qq3k3k1k1v40v40v40m4s9SAT0.2
Qq3k3k1k1v40v40v40m8s2SAT0.2
Qq3k3k1k1v40v40v40m16s3SAT0.2
Qq3k3k1k1v80v80v80m2s7SAT0.2
Qq3k3k1k1v80v80v80m2s8SAT0.2
Qq3k3k1k1v80v80v80m4s8SAT0.2
Qq3k3k1k1v80v80v80m32s3SAT0.2
Qq3k3k1k1v80v80v80m32s4SAT0.2
ncf_4_8_8_u.9UNSAT0.21
2qbf-5cnf-160var-2560cl.5UNSAT0.21
BLOCKS4iii.6UNSAT0.21
2qbf-5cnf-160var-320cl.5SAT0.21
ncf_16_32_2_edau.4UNSAT0.21
ncf_16_32_2_edau.5UNSAT0.21
3qbf-5cnf-20var-160cl.0SAT0.21
4qbf-5cnf-20var-640cl.4UNSAT0.21
3qbf-5cnf-160var-640cl.0SAT0.21
5qbf-5cnf-80var-640cl.6SAT0.21
ncf_4_16_2_edau.6SAT0.21
ncf_4_32_2_u.3UNSAT0.21
6qbf-5cnf-80var-2560cl.6UNSAT0.21
4qbf-5cnf-40var-1280cl.6UNSAT0.21
4qbf-5cnf-80var-2560cl.1UNSAT0.21
5qbf-5cnf-20var-640cl.0UNSAT0.21
2qbf-5cnf-160var-2560cl.4UNSAT0.21
ncf_4_8_2_u.3UNSAT0.21
5qbf-5cnf-80var-2560cl.2UNSAT0.21
5qbf-5cnf-80var-640cl.4SAT0.21
ncf_4_16_2_edau.10UNSAT0.21
6qbf-5cnf-20var-640cl.9UNSAT0.21
2qbf-5cnf-160var-2560cl.7UNSAT0.21
ncf_8_16_4_d.5UNSAT0.21
3qbf-5cnf-20var-160cl.6SAT0.21
4qbf-5cnf-160var-640cl.5SAT0.21
ncf_4_32_2_u.9UNSAT0.21
3qbf-5cnf-20var-160cl.3SAT0.21
3qbf-5cnf-160var-640cl.9SAT0.21
ncf_16_32_4_edau.9SAT0.21
2qbf-5cnf-160var-5120cl.4UNSAT0.21
ncf_16_32_2_d.4UNSAT0.21
ncf_8_16_4_d.8UNSAT0.21
ncf_4_8_8_d.9UNSAT0.21
2qbf-5cnf-80var-1280cl.8UNSAT0.21
2qbf-5cnf-80var-1280cl.1UNSAT0.21
3qbf-5cnf-80var-320cl.6SAT0.21
6qbf-5cnf-20var-160cl.7SAT0.21
ncf_4_8_2_u.10SAT0.21
x10.0UNSAT0.21
x5.6UNSAT0.21
eijk.S820.S-d2SAT0.21
Qq2k1k4v40v40m2s8SAT0.21
Qq2k1k4v40v40m4s0SAT0.21
Qq2k1k4v40v40m8s6UNSAT0.21
Qq2k1k4v40v40m8s8SAT0.21
Qq2k1k4v80v80m16s1SAT0.21
Qq2k1k4v80v80m16s5SAT0.21
Qq2k2k3v40v40m2s5SAT0.21
Qq2k2k3v80v80m16s2SAT0.21
Qq2k3k2v40v40m4s2SAT0.21
Qq2k3k2v40v40m8s0SAT0.21
Qq2k3k2v40v40m8s4SAT0.21
Qq2k3k2v40v40m16s4SAT0.21
Qq2k3k2v40v40m32s4SAT0.21
Qq2k3k2v80v80m4s4SAT0.21
Qq2k3k2v80v80m4s7SAT0.21
Qq3k1k1k3v40v40v40m8s1SAT0.21
Qq3k1k1k3v40v40v40m32s8SAT0.21
Qq3k1k1k3v80v80v80m2s3SAT0.21
Qq3k1k1k3v80v80v80m4s3SAT0.21
Qq3k1k1k3v80v80v80m4s6SAT0.21
Qq3k1k1k3v80v80v80m32s0SAT0.21
Qq3k1k1k3v80v80v80m32s8SAT0.21
Qq3k1k2k2v40v40v40m4s2SAT0.21
Qq3k1k2k2v40v40v40m16s0SAT0.21
Qq3k1k2k2v80v80v80m2s1SAT0.21
Qq3k1k2k2v80v80v80m2s4SAT0.21
Qq3k1k2k2v80v80v80m4s4SAT0.21
Qq3k1k2k2v80v80v80m4s8SAT0.21
Qq3k1k2k2v80v80v80m8s4SAT0.21
Qq3k1k2k2v80v80v80m8s9SAT0.21
Qq3k1k2k2v80v80v80m16s1SAT0.21
Qq3k1k3k1v40v40v40m4s6SAT0.21
Qq3k1k3k1v40v40v40m8s4SAT0.21
Qq3k1k3k1v40v40v40m8s6SAT0.21
Qq3k1k3k1v40v40v40m8s9SAT0.21
Qq3k1k3k1v40v40v40m16s5SAT0.21
Qq3k1k3k1v40v40v40m16s7SAT0.21
Qq3k1k3k1v40v40v40m32s0SAT0.21
Qq3k1k3k1v40v40v40m32s1SAT0.21
Qq3k1k3k1v40v40v40m32s4SAT0.21
Qq3k1k3k1v40v40v40m32s8SAT0.21
Qq3k1k3k1v80v80v80m2s2SAT0.21
Qq3k1k3k1v80v80v80m8s4SAT0.21
Qq3k1k3k1v80v80v80m8s9SAT0.21
Qq3k1k3k1v80v80v80m16s1SAT0.21
Qq3k1k3k1v80v80v80m16s3SAT0.21
Qq3k1k3k1v80v80v80m16s9SAT0.21
Qq3k2k1k2v40v40v40m4s1SAT0.21
Qq3k2k1k2v40v40v40m4s4SAT0.21
Qq3k2k1k2v40v40v40m8s3SAT0.21
Qq3k2k1k2v40v40v40m16s9SAT0.21
Qq3k2k1k2v80v80v80m2s9SAT0.21
Qq3k2k1k2v80v80v80m4s6SAT0.21
Qq3k2k1k2v80v80v80m8s6SAT0.21
Qq3k2k2k1v40v40v40m4s2SAT0.21
Qq3k2k2k1v40v40v40m8s6SAT0.21
Qq3k2k2k1v40v40v40m8s7SAT0.21
Qq3k2k2k1v80v80v80m4s4SAT0.21
Qq3k2k2k1v80v80v80m4s8SAT0.21
Qq3k2k2k1v80v80v80m4s9SAT0.21
Qq3k2k2k1v80v80v80m16s0SAT0.21
Qq3k2k2k1v80v80v80m32s2SAT0.21
Qq3k3k1k1v40v40v40m8s0SAT0.21
Qq3k3k1k1v40v40v40m8s9SAT0.21
Qq3k3k1k1v40v40v40m16s9SAT0.21
Qq3k3k1k1v80v80v80m32s2SAT0.21
Qq3k3k1k1v80v80v80m32s5SAT0.21
6qbf-5cnf-80var-2560cl.8UNSAT0.22
ncf_4_8_2_u.1UNSAT0.22
5qbf-5cnf-160var-640cl.8SAT0.22
ncf_16_32_4_d.4UNSAT0.22
ncf_16_32_2_u.6SAT0.22
ncf_4_16_4_euad.6UNSAT0.22
2qbf-5cnf-160var-2560cl.2UNSAT0.22
3qbf-5cnf-20var-160cl.7SAT0.22
ncf_8_16_4_euad.10SAT0.22
4qbf-5cnf-20var-320cl.4UNSAT0.22
4qbf-5cnf-20var-640cl.6UNSAT0.22
2qbf-5cnf-80var-640cl.5UNSAT0.22
2qbf-5cnf-80var-1280cl.3UNSAT0.22
6qbf-5cnf-20var-640cl.2UNSAT0.22
6qbf-5cnf-80var-640cl.9SAT0.22
ncf_8_16_8_euad.6UNSAT0.22
5qbf-5cnf-20var-320cl.3UNSAT0.22
6qbf-5cnf-160var-640cl.4SAT0.22
3qbf-5cnf-80var-2560cl.2UNSAT0.22
3qbf-5cnf-20var-160cl.1SAT0.22
ncf_16_32_4_u.1SAT0.22
6qbf-5cnf-40var-1280cl.2UNSAT0.22
ncf_4_32_2_edau.2SAT0.22
4qbf-5cnf-40var-640cl.8UNSAT0.22
ncf_4_16_4_euad.10UNSAT0.22
ncf_4_8_2_u.2SAT0.22
ncf_16_32_4_euad.1SAT0.22
x10.1UNSAT0.22
x15.1SAT0.22
x15.6UNSAT0.22
vis.4-arbit^1.E-d2SAT0.22
Qq2k1k4v80v80m4s2SAT0.22
Qq2k1k4v80v80m8s3SAT0.22
Qq2k1k4v80v80m8s8SAT0.22
Qq2k2k3v40v40m2s6SAT0.22
Qq2k2k3v40v40m4s2SAT0.22
Qq2k2k3v40v40m8s0SAT0.22
Qq2k2k3v40v40m16s8SAT0.22
Qq2k2k3v40v40m32s1SAT0.22
Qq2k2k3v80v80m8s8SAT0.22
Qq2k2k3v80v80m32s9SAT0.22
Qq2k3k2v40v40m2s9SAT0.22
Qq2k3k2v40v40m32s5SAT0.22
Qq2k3k2v80v80m2s4SAT0.22
Qq2k3k2v80v80m2s9SAT0.22
Qq2k3k2v80v80m32s2SAT0.22
Qq2k3k2v80v80m32s5SAT0.22
Qq2k3k2v80v80m32s7SAT0.22
Qq3k1k1k3v40v40v40m2s8SAT0.22
Qq3k1k1k3v40v40v40m4s5SAT0.22
Qq3k1k1k3v40v40v40m16s3SAT0.22
Qq3k1k1k3v40v40v40m32s2SAT0.22
Qq3k1k1k3v40v40v40m32s4SAT0.22
Qq3k1k1k3v80v80v80m32s5SAT0.22
Qq3k1k2k2v40v40v40m8s5SAT0.22
Qq3k1k2k2v40v40v40m16s1SAT0.22
Qq3k1k2k2v40v40v40m32s2SAT0.22
Qq3k1k2k2v80v80v80m8s7SAT0.22
Qq3k1k2k2v80v80v80m8s8SAT0.22
Qq3k1k2k2v80v80v80m16s5SAT0.22
Qq3k1k2k2v80v80v80m16s7SAT0.22
Qq3k1k2k2v80v80v80m16s9SAT0.22
Qq3k1k3k1v40v40v40m2s5SAT0.22
Qq3k1k3k1v80v80v80m2s6SAT0.22
Qq3k1k3k1v80v80v80m8s7SAT0.22
Qq3k1k3k1v80v80v80m16s0SAT0.22
Qq3k1k3k1v80v80v80m32s2SAT0.22
Qq3k2k1k2v40v40v40m4s9SAT0.22
Qq3k2k1k2v80v80v80m2s7SAT0.22
Qq3k2k1k2v80v80v80m4s0SAT0.22
Qq3k2k1k2v80v80v80m16s4SAT0.22
Qq3k2k2k1v80v80v80m2s3SAT0.22
Qq3k2k2k1v80v80v80m8s2SAT0.22
Qq3k2k2k1v80v80v80m8s7SAT0.22
Qq3k3k1k1v80v80v80m2s2SAT0.22
Qq3k3k1k1v80v80v80m2s5SAT0.22
Qq3k3k1k1v80v80v80m4s2SAT0.22
Qq3k3k1k1v80v80v80m16s4SAT0.22
Qq3k3k1k1v80v80v80m16s5SAT0.22
Qq3k3k1k1v80v80v80m32s8SAT0.22
6qbf-5cnf-40var-320cl.9SAT0.23
mutex-64-sSAT0.23
4qbf-5cnf-80var-320cl.1SAT0.23
3qbf-5cnf-80var-2560cl.0UNSAT0.23
3qbf-5cnf-80var-320cl.7SAT0.23
ncf_4_8_8_d.5UNSAT0.23
6qbf-5cnf-80var-640cl.2SAT0.23
ncf_4_16_2_euad.9SAT0.23
ncf_16_32_4_euad.9SAT0.23
6qbf-5cnf-80var-2560cl.0UNSAT0.23
2qbf-5cnf-160var-320cl.7SAT0.23
ncf_4_8_4_euad.8UNSAT0.23
6qbf-5cnf-20var-640cl.8UNSAT0.23
4qbf-5cnf-40var-1280cl.4UNSAT0.23
4qbf-5cnf-80var-2560cl.7UNSAT0.23
5qbf-5cnf-80var-640cl.1SAT0.23
ncf_16_32_4_euad.4UNSAT0.23
6qbf-5cnf-40var-1280cl.9UNSAT0.23
4qbf-5cnf-20var-640cl.0UNSAT0.23
6qbf-5cnf-160var-640cl.1SAT0.23
4qbf-5cnf-160var-2560cl.5UNSAT0.23
2qbf-5cnf-160var-2560cl.3UNSAT0.23
4qbf-5cnf-20var-160cl.9SAT0.23
ncf_4_8_2_euad.7UNSAT0.23
ncf_16_32_4_euad.5UNSAT0.23
ncf_8_16_4_u.8UNSAT0.23
3qbf-5cnf-160var-640cl.2SAT0.23
5qbf-5cnf-80var-640cl.8SAT0.23
5qbf-5cnf-160var-640cl.5SAT0.23
ncf_4_8_2_euad.2SAT0.23
3qbf-5cnf-80var-320cl.5SAT0.23
2qbf-5cnf-40var-640cl.8UNSAT0.23
4qbf-5cnf-40var-1280cl.1UNSAT0.23
x10.6UNSAT0.23
x15.0UNSAT0.23
eijk.S953.S-d2SAT0.23
Qq2k1k4v40v40m2s0SAT0.23
Qq2k1k4v40v40m2s1SAT0.23
Qq2k1k4v40v40m2s6SAT0.23
Qq2k1k4v40v40m4s9SAT0.23
Qq2k1k4v80v80m2s0SAT0.23
Qq2k2k3v40v40m8s6SAT0.23
Qq2k2k3v40v40m32s4SAT0.23
Qq2k2k3v80v80m8s6SAT0.23
Qq2k3k2v40v40m4s9SAT0.23
Qq2k3k2v40v40m8s5SAT0.23
Qq3k1k1k3v40v40v40m4s9SAT0.23
Qq3k1k1k3v40v40v40m32s5SAT0.23
Qq3k1k1k3v80v80v80m4s7SAT0.23
Qq3k1k2k2v40v40v40m4s5SAT0.23
Qq3k1k2k2v40v40v40m8s4SAT0.23
Qq3k1k2k2v40v40v40m32s7SAT0.23
Qq3k1k2k2v80v80v80m2s3SAT0.23
Qq3k1k3k1v40v40v40m2s6SAT0.23
Qq3k1k3k1v40v40v40m8s8SAT0.23
Qq3k1k3k1v80v80v80m2s9SAT0.23
Qq3k1k3k1v80v80v80m8s5SAT0.23
Qq3k2k1k2v40v40v40m8s1SAT0.23
Qq3k2k1k2v80v80v80m2s6SAT0.23
Qq3k2k1k2v80v80v80m8s8SAT0.23
Qq3k2k1k2v80v80v80m16s6SAT0.23
Qq3k2k2k1v40v40v40m4s6SAT0.23
Qq3k2k2k1v80v80v80m2s6SAT0.23
Qq3k2k2k1v80v80v80m8s5SAT0.23
Qq3k2k2k1v80v80v80m16s3SAT0.23
Qq3k2k2k1v80v80v80m32s5SAT0.23
Qq3k3k1k1v40v40v40m4s3SAT0.23
Qq3k3k1k1v40v40v40m4s4SAT0.23
Qq3k3k1k1v40v40v40m8s6SAT0.23
Qq3k3k1k1v40v40v40m16s2SAT0.23
Qq3k3k1k1v40v40v40m16s5SAT0.23
Qq3k3k1k1v40v40v40m16s7SAT0.23
Qq3k3k1k1v80v80v80m16s1SAT0.23
6qbf-5cnf-80var-2560cl.9UNSAT0.24
2qbf-5cnf-160var-2560cl.9UNSAT0.24
2qbf-5cnf-40var-320cl.8UNSAT0.24
4qbf-5cnf-20var-160cl.5UNSAT0.24
2qbf-5cnf-160var-5120cl.3UNSAT0.24
ncf_4_8_2_euad.4UNSAT0.24
4qbf-5cnf-20var-160cl.6UNSAT0.24
6qbf-5cnf-80var-2560cl.1UNSAT0.24
5qbf-5cnf-20var-640cl.8UNSAT0.24
4qbf-5cnf-20var-320cl.1UNSAT0.24
2qbf-5cnf-80var-1280cl.6UNSAT0.24
2qbf-5cnf-160var-5120cl.7UNSAT0.24
2qbf-5cnf-160var-5120cl.9UNSAT0.24
4qbf-5cnf-80var-2560cl.8UNSAT0.24
4qbf-5cnf-20var-320cl.9UNSAT0.24
ncf_4_16_4_d.6UNSAT0.24
ncf_4_16_2_u.6SAT0.24
tree-exa2-50UNSAT0.24
ncf_16_32_2_euad.8UNSAT0.24
ncf_4_32_2_u.1UNSAT0.24
ncf_4_8_2_u.5SAT0.24
5qbf-5cnf-40var-320cl.9SAT0.24
3qbf-5cnf-40var-320cl.2SAT0.24
6qbf-5cnf-20var-160cl.6SAT0.24
6qbf-5cnf-80var-2560cl.2UNSAT0.24
4qbf-5cnf-80var-2560cl.9UNSAT0.24
x10.9UNSAT0.24
eijk.S386.S-d2SAT0.24
eijk.S444.S-d2SAT0.24
Qq2k1k4v40v40m16s5SAT0.24
Qq2k1k4v40v40m32s1UNSAT0.24
Qq2k1k4v80v80m4s7SAT0.24
Qq2k1k4v80v80m16s0UNSAT0.24
Qq2k2k3v40v40m4s6SAT0.24
Qq2k2k3v80v80m4s4SAT0.24
Qq2k2k3v80v80m16s8SAT0.24
Qq2k3k2v80v80m16s2SAT0.24
Qq3k1k1k3v40v40v40m4s1SAT0.24
Qq3k1k1k3v40v40v40m8s8SAT0.24
Qq3k1k1k3v80v80v80m4s8SAT0.24
Qq3k1k1k3v80v80v80m8s8SAT0.24
Qq3k1k2k2v40v40v40m2s3SAT0.24
Qq3k1k3k1v40v40v40m4s1SAT0.24
Qq3k2k1k2v40v40v40m4s6SAT0.24
Qq3k2k2k1v40v40v40m8s1SAT0.24
Qq3k2k2k1v40v40v40m16s3SAT0.24
Qq3k2k2k1v40v40v40m32s6SAT0.24
Qq3k2k2k1v80v80v80m2s2SAT0.24
Qq3k2k2k1v80v80v80m16s8SAT0.24
Qq3k3k1k1v80v80v80m8s1SAT0.24
CHAIN20v.21SAT0.25
3qbf-5cnf-20var-320cl.0UNSAT0.25
ncf_4_8_2_u.9SAT0.25
3qbf-5cnf-20var-320cl.2UNSAT0.25
ncf_4_16_2_edau.7SAT0.25
2qbf-5cnf-40var-160cl.0SAT0.25
ncf_16_32_2_euad.1UNSAT0.25
ncf_4_16_2_u.7SAT0.25
6qbf-5cnf-80var-2560cl.4UNSAT0.25
4qbf-5cnf-20var-320cl.7UNSAT0.25
ncf_4_8_2_u.6SAT0.25
ncf_4_32_2_u.2SAT0.25
2qbf-5cnf-160var-5120cl.5UNSAT0.25
2qbf-5cnf-160var-5120cl.8UNSAT0.25
BLOCKS3iii.5SAT0.25
x15.9UNSAT0.25
Qq2k1k4v80v80m16s3UNSAT0.25
Qq2k1k4v80v80m16s4SAT0.25
Qq2k2k3v40v40m2s1SAT0.25
Qq2k3k2v80v80m16s7SAT0.25
Qq3k1k1k3v80v80v80m8s5SAT0.25
Qq3k1k1k3v80v80v80m16s0SAT0.25
Qq3k1k2k2v40v40v40m8s0SAT0.25
Qq3k1k2k2v40v40v40m16s2SAT0.25
Qq3k1k2k2v80v80v80m4s2SAT0.25
Qq3k1k3k1v40v40v40m2s1SAT0.25
Qq3k2k1k2v40v40v40m8s9SAT0.25
Qq3k2k1k2v80v80v80m2s8SAT0.25
Qq3k2k2k1v40v40v40m16s4SAT0.25
Qq3k2k2k1v80v80v80m8s0SAT0.25
Qq3k3k1k1v40v40v40m16s0SAT0.25
6qbf-5cnf-80var-2560cl.5UNSAT0.26
4qbf-5cnf-80var-320cl.0SAT0.26
lut4_2_fXORSAT0.26
ncf_16_32_2_d.7UNSAT0.26
ncf_4_16_4_edau.10UNSAT0.26
4qbf-5cnf-80var-1280cl.6UNSAT0.26
2qbf-5cnf-160var-5120cl.2UNSAT0.26
ncf_16_32_4_d.1SAT0.26
3qbf-5cnf-20var-320cl.8UNSAT0.26
ncf_4_16_2_d.1UNSAT0.26
ncf_4_16_4_edau.5SAT0.26
ncf_8_16_8_euad.7UNSAT0.26
2qbf-5cnf-40var-160cl.8SAT0.26
ncf_16_32_2_euad.2UNSAT0.26
ncf_4_8_4_u.8UNSAT0.26
5qbf-5cnf-80var-640cl.2SAT0.26
2qbf-5cnf-160var-5120cl.0UNSAT0.26
ncf_4_8_2_euad.5SAT0.26
ncf_16_32_4_d.9SAT0.26
ncf_8_16_8_d.7UNSAT0.26
3qbf-5cnf-80var-2560cl.3UNSAT0.26
x15.4UNSAT0.26
x15.5UNSAT0.26
eijk.S344.S-d2SAT0.26
Qq2k2k3v80v80m32s2SAT0.26
Qq2k3k2v40v40m8s8SAT0.26
Qq3k1k1k3v80v80v80m2s9SAT0.26
Qq3k1k2k2v80v80v80m32s9SAT0.26
Qq3k1k3k1v40v40v40m32s7SAT0.26
Qq3k2k1k2v40v40v40m32s7SAT0.26
Qq3k2k2k1v40v40v40m16s0SAT0.26
Qq3k2k2k1v80v80v80m32s3SAT0.26
Qq3k3k1k1v80v80v80m4s0SAT0.26
Qq3k3k1k1v80v80v80m8s8SAT0.26
Qq3k3k1k1v80v80v80m16s6SAT0.26
2qbf-5cnf-160var-2560cl.6UNSAT0.27
6qbf-5cnf-20var-640cl.4UNSAT0.27
ncf_16_32_2_d.1UNSAT0.27
5qbf-5cnf-20var-320cl.9UNSAT0.27
CHAIN23v.24SAT0.27
4qbf-5cnf-160var-5120cl.5UNSAT0.27
ncf_8_16_4_u.5UNSAT0.27
qshifter_5SAT0.27
6qbf-5cnf-40var-320cl.0UNSAT0.27
3qbf-5cnf-160var-640cl.6SAT0.27
3qbf-5cnf-20var-320cl.4UNSAT0.27
2qbf-5cnf-160var-5120cl.6UNSAT0.27
Qq2k2k3v80v80m16s7SAT0.27
Qq3k1k1k3v40v40v40m8s6SAT0.27
Qq3k1k2k2v40v40v40m16s6SAT0.27
Qq3k2k1k2v80v80v80m4s2SAT0.27
2qbf-5cnf-40var-160cl.9SAT0.28
5qbf-5cnf-20var-320cl.2UNSAT0.28
ncf_4_16_2_euad.1UNSAT0.28
ncf_8_16_8_edau.7UNSAT0.28
C880.blif_0.10_1.00_0_1_inp_exactSAT0.28
6qbf-5cnf-20var-160cl.3UNSAT0.28
ncf_4_16_2_u.9SAT0.28
ncf_4_32_2_edau.9UNSAT0.28
eijk.S1238.S-d2SAT0.28
eijk.S349.S-d2SAT0.28
Qq2k3k2v40v40m32s9SAT0.28
Qq3k1k1k3v40v40v40m16s0SAT0.28
Qq3k1k3k1v40v40v40m2s0SAT0.28
3qbf-5cnf-20var-320cl.9UNSAT0.29
6qbf-5cnf-20var-320cl.5UNSAT0.29
2qbf-5cnf-80var-640cl.0UNSAT0.29
ncf_16_32_2_euad.9UNSAT0.29
ncf_16_32_2_d.5UNSAT0.29
ncf_4_8_4_euad.7UNSAT0.29
6qbf-5cnf-160var-2560cl.0UNSAT0.29
irst.dme6.B-d2SAT0.29
vis.emodel.E-d2SAT0.29
sortnetsort5.v.stepl.003UNSAT0.29
Qq2k1k4v80v80m4s1SAT0.29
Qq2k3k2v80v80m2s8SAT0.29
Qq3k1k2k2v80v80v80m8s3SAT0.29
Qq3k2k1k2v80v80v80m16s8SAT0.29
Qq3k2k2k1v40v40v40m16s9SAT0.29
ncf_4_16_2_edau.9SAT0.3
CHAIN22v.23SAT0.3
6qbf-5cnf-80var-640cl.3SAT0.3
5qbf-5cnf-20var-320cl.7UNSAT0.3
irst.dme5.B-d2SAT0.3
vis.coherence^1.E-d2SAT0.3
Qq3k3k1k1v40v40v40m2s5SAT0.3
5qbf-5cnf-40var-1280cl.0UNSAT0.31
2qbf-5cnf-40var-320cl.2UNSAT0.31
5qbf-5cnf-40var-320cl.1SAT0.31
4qbf-5cnf-160var-5120cl.0UNSAT0.31
ncf_4_16_2_u.2SAT0.31
3qbf-5cnf-20var-320cl.1UNSAT0.31
2qbf-5cnf-160var-5120cl.1UNSAT0.31
x15.3SAT0.31
x25.5UNSAT0.31
BLOCKS4i.6.4UNSAT0.32
3qbf-5cnf-20var-320cl.5UNSAT0.32
CHAIN21v.22SAT0.32
3qbf-5cnf-20var-320cl.3UNSAT0.32
4qbf-5cnf-80var-1280cl.4UNSAT0.32
TOILET10.1.iv.20SAT0.32
1qbf-5cnf-160var-2560cl.7SAT0.32
5qbf-5cnf-80var-640cl.7SAT0.33
4qbf-5cnf-160var-2560cl.3UNSAT0.33
4qbf-5cnf-160var-5120cl.2UNSAT0.33
4qbf-5cnf-160var-5120cl.4UNSAT0.33
5qbf-5cnf-20var-640cl.2UNSAT0.33
ncf_4_16_2_d.9SAT0.33
5qbf-5cnf-20var-640cl.6UNSAT0.33
4qbf-5cnf-20var-160cl.0UNSAT0.33
ev-pr-8x8-5-7-0-1-2-lgUNSAT0.33
nusmv.reactor^5.C-f2UNSAT0.33
ncf_4_16_2_edau.2SAT0.34
ncf_4_16_2_edau.1UNSAT0.34
3qbf-5cnf-20var-320cl.7UNSAT0.34
6qbf-5cnf-20var-320cl.8UNSAT0.35
6qbf-5cnf-160var-5120cl.9UNSAT0.35
6qbf-5cnf-160var-5120cl.7UNSAT0.35
6qbf-5cnf-160var-5120cl.2UNSAT0.35
k_lin_p-8UNSAT0.35
ncf_16_32_2_edau.1UNSAT0.35
6qbf-5cnf-160var-5120cl.6UNSAT0.36
3qbf-5cnf-20var-320cl.6UNSAT0.36
ncf_4_16_2_u.1UNSAT0.36
4qbf-5cnf-160var-5120cl.9UNSAT0.36
4qbf-5cnf-160var-5120cl.8UNSAT0.36
ncf_4_32_2_u.5UNSAT0.36
3qbf-5cnf-40var-320cl.9SAT0.36
texas.ifetch1^3.E-f2UNSAT0.36
5qbf-5cnf-20var-320cl.1UNSAT0.37
6qbf-5cnf-20var-320cl.9UNSAT0.37
4qbf-5cnf-160var-5120cl.1UNSAT0.37
4qbf-5cnf-20var-160cl.7UNSAT0.37
5qbf-5cnf-20var-640cl.4UNSAT0.37
4qbf-5cnf-160var-5120cl.6UNSAT0.37
x15.8SAT0.37
texas.ifetch1^1.E-f2UNSAT0.37
6qbf-5cnf-160var-5120cl.1UNSAT0.38
2qbf-5cnf-40var-160cl.4SAT0.38
eijk.S1423.S-d2SAT0.38
2qbf-5cnf-40var-160cl.5SAT0.39
C5315.blif_0.10_1.00_0_1_out_exactSAT0.39
5qbf-5cnf-40var-1280cl.8UNSAT0.39
ncf_4_16_2_d.4SAT0.39
6qbf-5cnf-160var-5120cl.0UNSAT0.39
6qbf-5cnf-40var-320cl.1SAT0.39
6qbf-5cnf-160var-5120cl.5UNSAT0.39
C5315.blif_0.10_1.00_0_1_inp_exactSAT0.4
ncf_4_16_2_d.2SAT0.41
BLOCKS4ii.6.3UNSAT0.41
4qbf-5cnf-160var-5120cl.3UNSAT0.41
6qbf-5cnf-160var-5120cl.4UNSAT0.41
s27_d3_uUNSAT0.41
6qbf-5cnf-160var-5120cl.8UNSAT0.42
4qbf-5cnf-80var-1280cl.7UNSAT0.42
2qbf-5cnf-80var-640cl.8UNSAT0.42
4qbf-5cnf-160var-5120cl.7UNSAT0.42
texas.ifetch1^2.E-f2UNSAT0.42
ncf_4_16_2_euad.2SAT0.43
ncf_4_8_4_u.1SAT0.43
ncf_16_32_2_u.1UNSAT0.43
ncf_4_8_4_u.4UNSAT0.43
ncf_4_32_2_edau.5UNSAT0.44
6qbf-5cnf-160var-5120cl.3UNSAT0.44
ncf_4_8_8_d.1SAT0.45
ncf_8_16_4_edau.6UNSAT0.45
5qbf-5cnf-40var-1280cl.5UNSAT0.45
ncf_4_16_2_edau.4SAT0.46
ncf_4_8_4_u.5SAT0.46
x25.3UNSAT0.46
4qbf-5cnf-40var-640cl.3UNSAT0.47
ncf_4_8_4_euad.4UNSAT0.47
6qbf-5cnf-20var-320cl.4UNSAT0.47
BLOCKS3ii.5.3SAT0.49
5qbf-5cnf-20var-640cl.1UNSAT0.5
x20.1UNSAT0.5
ncf_8_16_4_euad.6UNSAT0.51
ncf_4_8_4_euad.5SAT0.51
ncf_4_16_2_euad.4SAT0.52
ncf_8_16_4_u.6UNSAT0.53
ncf_4_8_8_euad.1SAT0.53
ncf_8_16_4_d.6UNSAT0.54
nusmv.dme2-16.B-d2SAT0.54
4qbf-5cnf-40var-640cl.4UNSAT0.55
ncf_4_16_2_u.4SAT0.58
toilet_c_10_05.7SAT0.58
5qbf-5cnf-20var-320cl.8UNSAT0.59
6qbf-5cnf-20var-320cl.3UNSAT0.61
5qbf-5cnf-20var-320cl.6UNSAT0.62
x20.3UNSAT0.62
x30.2UNSAT0.62
x20.6SAT0.63
2qbf-5cnf-80var-320cl.9UNSAT0.64
sortnetsort5.v.stepl.006SAT0.66
2qbf-5cnf-80var-640cl.9UNSAT0.71
connect_8x7_4_WUNSAT0.71
x20.2SAT0.71
k_poly_n-4SAT0.73
connect_8x7_3_DUNSAT0.73
x20.9SAT0.73
6qbf-5cnf-40var-640cl.6UNSAT0.74
ncf_4_8_8_edau.1SAT0.74
connect_8x7_4_DUNSAT0.74
2qbf-5cnf-80var-640cl.1UNSAT0.74
x20.8SAT0.75
ncf_4_16_4_edau.9SAT0.77
x20.0SAT0.78
ncf_4_8_8_u.1SAT0.79
qshifter_6SAT0.79
connect_8x7_3_WUNSAT0.8
4qbf-5cnf-40var-640cl.2UNSAT0.81
x20.5SAT0.81
2qbf-5cnf-80var-640cl.7UNSAT0.82
ncf_4_16_4_u.9SAT0.83
5qbf-5cnf-20var-320cl.4UNSAT0.85
eijk.bs1512.S-d2SAT0.88
4qbf-5cnf-160var-2560cl.8UNSAT0.9
ncf_4_8_8_u.4SAT0.9
1qbf-5cnf-160var-2560cl.0SAT0.9
x25.6UNSAT0.91
ncf_4_8_8_edau.4SAT0.92
sortnetsort6.v.stepl.003UNSAT0.92
5qbf-5cnf-20var-320cl.0UNSAT0.93
k_ph_n-8SAT0.96
5qbf-5cnf-20var-320cl.5UNSAT0.99
x20.7SAT0.99
connect_9x8_5_DUNSAT1.01
texas.ifetch1^4.E-f2UNSAT1.01
connect_9x8_4_WUNSAT1.02
connect_9x8_4_DUNSAT1.04
connect_9x8_5_WUNSAT1.06
3qbf-5cnf-40var-320cl.5UNSAT1.07
ncf_4_8_4_euad.1SAT1.1
ncf_4_16_2_edau.3UNSAT1.14
4qbf-5cnf-40var-320cl.6UNSAT1.16
6qbf-5cnf-80var-640cl.6SAT1.18
ncf_4_16_2_u.3UNSAT1.19
eijk.S1196.S-d2SAT1.19
k_lin_p-12UNSAT1.2
ncf_4_16_2_d.3UNSAT1.21
ncf_4_16_2_euad.3UNSAT1.21
5qbf-5cnf-40var-1280cl.1UNSAT1.24
sortnetsort5.v.stepl.007SAT1.24
x25.9UNSAT1.25
k_dum_n-8SAT1.28
connect_9x8_3_WUNSAT1.31
ncf_4_8_4_u.10SAT1.33
4qbf-5cnf-20var-160cl.3UNSAT1.35
k_poly_n-8SAT1.41
x25.8UNSAT1.56
x25.7UNSAT1.59
toilet_a_10_01.16UNSAT1.63
1qbf-5cnf-160var-2560cl.1SAT1.66
ncf_4_16_2_edau.8SAT1.72
sortnetsort5.v.stepl.005SAT1.76
4qbf-5cnf-160var-2560cl.9UNSAT1.77
ncf_4_16_4_edau.8SAT1.78
k_lin_n-4SAT1.79
6qbf-5cnf-40var-640cl.9UNSAT1.82
ncf_4_16_2_u.8SAT1.83
ncf_8_16_4_edau.9UNSAT1.84
4qbf-5cnf-160var-2560cl.1UNSAT1.85
ncf_4_16_4_u.8SAT1.87
ncf_4_8_4_euad.10SAT1.89
ncf_8_16_4_d.9UNSAT1.9
ncf_8_16_4_euad.9UNSAT1.91
ncf_8_16_4_u.9UNSAT1.92
5qbf-5cnf-40var-640cl.0UNSAT1.94
x30.7UNSAT1.97
nusmv.dme1-16.B-d2SAT2
ncf_4_16_2_d.7SAT2.03
ncf_4_8_8_euad.4SAT2.03
1qbf-5cnf-160var-2560cl.5SAT2.05
k_dum_n-12SAT2.06
ncf_4_16_4_d.8SAT2.07
6qbf-5cnf-80var-1280cl.7UNSAT2.13
6qbf-5cnf-80var-1280cl.9UNSAT2.13
4qbf-5cnf-80var-1280cl.0UNSAT2.14
ncf_4_16_2_euad.7SAT2.15
6qbf-5cnf-40var-640cl.7UNSAT2.15
6qbf-5cnf-20var-320cl.2UNSAT2.16
6qbf-5cnf-40var-640cl.2UNSAT2.16
k_lin_p-16UNSAT2.17
6qbf-5cnf-80var-1280cl.0UNSAT2.17
6qbf-5cnf-20var-320cl.0UNSAT2.18
6qbf-5cnf-80var-1280cl.5UNSAT2.18
4qbf-5cnf-80var-1280cl.3UNSAT2.19
6qbf-5cnf-80var-1280cl.6UNSAT2.19
6qbf-5cnf-80var-1280cl.3UNSAT2.19
6qbf-5cnf-40var-640cl.8UNSAT2.19
k_path_p-8UNSAT2.19
4qbf-5cnf-160var-2560cl.0UNSAT2.2
6qbf-5cnf-80var-1280cl.1UNSAT2.2
4qbf-5cnf-80var-1280cl.1UNSAT2.2
6qbf-5cnf-160var-2560cl.4UNSAT2.2
4qbf-5cnf-160var-2560cl.6UNSAT2.2
6qbf-5cnf-160var-2560cl.7UNSAT2.2
6qbf-5cnf-40var-640cl.5UNSAT2.21
6qbf-5cnf-20var-320cl.7UNSAT2.21
6qbf-5cnf-160var-2560cl.2UNSAT2.21
6qbf-5cnf-160var-2560cl.6UNSAT2.21
6qbf-5cnf-40var-640cl.1UNSAT2.22
4qbf-5cnf-80var-1280cl.8UNSAT2.22
6qbf-5cnf-40var-640cl.0UNSAT2.23
6qbf-5cnf-160var-2560cl.5UNSAT2.23
6qbf-5cnf-160var-2560cl.1UNSAT2.24
4qbf-5cnf-160var-2560cl.7UNSAT2.24
6qbf-5cnf-80var-1280cl.8UNSAT2.24
6qbf-5cnf-40var-640cl.4UNSAT2.25
6qbf-5cnf-160var-2560cl.8UNSAT2.25
6qbf-5cnf-40var-640cl.3UNSAT2.25
6qbf-5cnf-160var-2560cl.9UNSAT2.25
6qbf-5cnf-80var-1280cl.2UNSAT2.25
4qbf-5cnf-160var-2560cl.2UNSAT2.26
6qbf-5cnf-80var-1280cl.4UNSAT2.27
4qbf-5cnf-160var-2560cl.4UNSAT2.28
x25.4UNSAT2.3
ncf_4_8_8_d.4SAT2.31
6qbf-5cnf-160var-2560cl.3UNSAT2.34
C432.blif_0.10_0.20_0_1_inp_exactSAT2.41
ncf_4_16_4_euad.8SAT2.42
4qbf-5cnf-40var-320cl.1UNSAT2.43
5qbf-5cnf-80var-640cl.0SAT2.47
TOILET16.1.iv.32SAT2.5
2qbf-5cnf-80var-320cl.3UNSAT2.52
T-adeu-3UNSAT2.57
ncf_4_32_2_edau.6UNSAT2.59
x25.0SAT2.61
sortnetsort5.v.stepl.004UNSAT2.61
k_path_n-8SAT2.62
ncf_4_32_2_u.6UNSAT2.62
k_poly_n-12SAT2.63
T-adeu-2UNSAT2.69
T-adeu-5UNSAT2.72
5qbf-5cnf-80var-2560cl.6UNSAT2.75
T-adeu-9UNSAT2.77
T-edau-5UNSAT2.78
T-edau-3UNSAT2.79
T-adeu-4UNSAT2.81
T-adeu-1UNSAT2.83
T-adeu-0UNSAT2.84
T-edau-9UNSAT2.9
ncf_4_16_2_edau.5UNSAT2.92
T-adeu-6UNSAT2.92
k_dum_p-12UNSAT2.94
ncf_4_16_2_u.5UNSAT2.95
T-adeu-8UNSAT2.95
T-edau-0UNSAT2.96
T-edau-2UNSAT2.96
T-edau-4UNSAT2.98
sortnetsort7.v.stepl.003UNSAT2.99
lognBWLARGEA1UNSAT3.01
1qbf-5cnf-160var-2560cl.8SAT3.11
T-edau-1UNSAT3.12
T-edau-6UNSAT3.14
k_dum_n-16SAT3.15
T-adeu-7UNSAT3.16
1qbf-5cnf-160var-2560cl.2SAT3.23
5qbf-5cnf-80var-2560cl.9UNSAT3.27
T-edau-8UNSAT3.27
T-edau-7UNSAT3.28
ncf_4_16_4_euad.9SAT3.3
ncf_4_16_4_d.9SAT3.33
k_d4_p-8UNSAT3.35
qshifter_7SAT3.58
k_lin_p-20UNSAT3.77
k_poly_n-16SAT3.88
x25.1SAT3.99
lut4_2_f1SAT4.06
3qbf-5cnf-40var-640cl.3UNSAT4.08
ncf_16_32_4_euad.7UNSAT4.1
5qbf-5cnf-80var-1280cl.6UNSAT4.12
3qbf-5cnf-160var-2560cl.3UNSAT4.13
ncf_16_32_4_d.7UNSAT4.13
1qbf-5cnf-160var-2560cl.3SAT4.13
3qbf-5cnf-160var-2560cl.2UNSAT4.14
3qbf-5cnf-80var-1280cl.8UNSAT4.14
5qbf-5cnf-40var-1280cl.9UNSAT4.15
5qbf-5cnf-80var-2560cl.7UNSAT4.15
3qbf-5cnf-160var-2560cl.1UNSAT4.16
3qbf-5cnf-40var-640cl.9UNSAT4.16
5qbf-5cnf-80var-1280cl.7UNSAT4.16
3qbf-5cnf-40var-640cl.5UNSAT4.17
5qbf-5cnf-40var-640cl.5UNSAT4.17
3qbf-5cnf-80var-1280cl.3UNSAT4.17
5qbf-5cnf-40var-1280cl.4UNSAT4.17
3qbf-5cnf-160var-2560cl.8UNSAT4.18
3qbf-5cnf-80var-1280cl.4UNSAT4.18
3qbf-5cnf-80var-1280cl.5UNSAT4.18
5qbf-5cnf-40var-640cl.6UNSAT4.18
5qbf-5cnf-80var-2560cl.4UNSAT4.18
5qbf-5cnf-40var-640cl.8UNSAT4.18
3qbf-5cnf-40var-640cl.4UNSAT4.18
3qbf-5cnf-160var-2560cl.5UNSAT4.19
3qbf-5cnf-80var-1280cl.6UNSAT4.19
5qbf-5cnf-80var-1280cl.9UNSAT4.19
3qbf-5cnf-160var-2560cl.9UNSAT4.19
5qbf-5cnf-80var-1280cl.4UNSAT4.19
5qbf-5cnf-80var-2560cl.1UNSAT4.19
5qbf-5cnf-160var-2560cl.0UNSAT4.19
3qbf-5cnf-40var-640cl.7UNSAT4.19
4qbf-5cnf-40var-320cl.9UNSAT4.19
3qbf-5cnf-40var-640cl.6UNSAT4.2
3qbf-5cnf-40var-640cl.2UNSAT4.2
5qbf-5cnf-40var-640cl.1UNSAT4.21
3qbf-5cnf-80var-1280cl.7UNSAT4.21
5qbf-5cnf-160var-5120cl.1UNSAT4.21
3qbf-5cnf-80var-1280cl.1UNSAT4.21
4qbf-5cnf-40var-320cl.3UNSAT4.21
5qbf-5cnf-160var-2560cl.2UNSAT4.21
3qbf-5cnf-40var-640cl.8UNSAT4.22
5qbf-5cnf-40var-1280cl.6UNSAT4.22
5qbf-5cnf-160var-5120cl.2UNSAT4.22
5qbf-5cnf-160var-5120cl.9UNSAT4.22
5qbf-5cnf-80var-2560cl.8UNSAT4.22
5qbf-5cnf-40var-1280cl.7UNSAT4.23
5qbf-5cnf-160var-5120cl.7UNSAT4.23
5qbf-5cnf-160var-5120cl.6UNSAT4.23
5qbf-5cnf-160var-2560cl.9UNSAT4.23
3qbf-5cnf-40var-640cl.1UNSAT4.23
5qbf-5cnf-40var-640cl.4UNSAT4.23
5qbf-5cnf-160var-5120cl.5UNSAT4.24
3qbf-5cnf-160var-2560cl.6UNSAT4.24
5qbf-5cnf-160var-5120cl.4UNSAT4.24
3qbf-5cnf-80var-1280cl.0UNSAT4.25
3qbf-5cnf-160var-2560cl.4UNSAT4.25
3qbf-5cnf-80var-1280cl.2UNSAT4.25
5qbf-5cnf-80var-1280cl.3UNSAT4.25
5qbf-5cnf-160var-5120cl.3UNSAT4.26
5qbf-5cnf-80var-2560cl.5UNSAT4.26
5qbf-5cnf-80var-1280cl.1UNSAT4.26
5qbf-5cnf-80var-2560cl.0UNSAT4.26
5qbf-5cnf-80var-1280cl.2UNSAT4.26
3qbf-5cnf-160var-2560cl.0UNSAT4.27
5qbf-5cnf-80var-2560cl.3UNSAT4.27
5qbf-5cnf-160var-5120cl.0UNSAT4.28
5qbf-5cnf-160var-2560cl.8UNSAT4.28
5qbf-5cnf-160var-5120cl.8UNSAT4.29
5qbf-5cnf-160var-2560cl.1UNSAT4.29
3qbf-5cnf-160var-2560cl.7UNSAT4.3
5qbf-5cnf-40var-1280cl.2UNSAT4.3
5qbf-5cnf-160var-2560cl.5UNSAT4.31
6qbf-5cnf-80var-640cl.0UNSAT4.31
x25.2SAT4.33
k_grz_p-4UNSAT4.61
k_dum_n-20SAT4.64
robots_1_5_5_26.4SAT4.66
robots_1_5_5_66.4SAT4.66
BLOCKS4ii.7.2UNSAT4.74
k_poly_p-20UNSAT4.74
k_path_p-12UNSAT4.75
szymanski-8-sUNSAT4.86
k_path_n-12SAT4.89
k_dum_n-21SAT5
k_poly_p-21UNSAT5.13
ncf_16_32_4_euad.8SAT5.15
ncf_16_32_4_d.8SAT5.24
ncf_16_32_4_euad.10UNSAT5.26
ncf_16_32_4_d.10UNSAT5.34
k_poly_n-20SAT5.77
2qbf-5cnf-80var-320cl.6UNSAT5.86
x30.5UNSAT5.92
ncf_16_32_4_edau.7UNSAT5.93
4qbf-5cnf-40var-320cl.8UNSAT5.99
k_dum_p-16UNSAT6.02
ncf_16_32_4_u.7UNSAT6.03
5qbf-5cnf-40var-640cl.2UNSAT6.16
5qbf-5cnf-80var-1280cl.5UNSAT6.17
5qbf-5cnf-160var-2560cl.6UNSAT6.19
5qbf-5cnf-40var-640cl.9UNSAT6.22
5qbf-5cnf-80var-1280cl.8UNSAT6.22
3qbf-5cnf-80var-1280cl.9UNSAT6.23
C6288.blif_0.10_1.00_0_1_out_exactSAT6.23
5qbf-5cnf-40var-640cl.7UNSAT6.24
ncf_4_16_2_euad.5UNSAT6.25
3qbf-5cnf-40var-640cl.0UNSAT6.25
5qbf-5cnf-160var-2560cl.4UNSAT6.27
ncf_8_16_4_edau.1SAT6.48
k_poly_n-21SAT6.56
ncf_8_16_4_u.1SAT6.59
ncf_4_16_2_d.5UNSAT6.6
robots_1_5_2_85.4SAT6.67
szymanski-10-sUNSAT6.71
1qbf-5cnf-160var-2560cl.4SAT6.75
robots_1_5_2_3.4SAT6.76
ncf_16_32_4_edau.8SAT6.84
robots_1_5_2_21.4SAT6.89
ncf_16_32_4_u.8SAT6.94
1qbf-5cnf-160var-2560cl.6SAT6.94
k_d4_p-12UNSAT7.4
ncf_8_16_4_d.1SAT7.64
k_path_p-16UNSAT7.67
connect_5x4_4_RUNSAT7.75
ncf_8_16_4_euad.1SAT7.76
x30.1UNSAT7.89
k_path_n-16SAT7.9
k_t4p_p-4UNSAT7.94
TOILET7.1.iv.13UNSAT8.06
5qbf-5cnf-40var-640cl.3UNSAT8.19
5qbf-5cnf-80var-1280cl.0UNSAT8.25
6qbf-5cnf-80var-640cl.8UNSAT8.27
5qbf-5cnf-160var-2560cl.7UNSAT8.27
4qbf-5cnf-40var-320cl.0UNSAT8.34
texas.parsesys^3.E-f2SAT8.34
nusmv.syncarb5^2.B-f2SAT8.35
k_branch_n-4SAT8.36
k_dum_p-20UNSAT8.42
5qbf-5cnf-160var-2560cl.3UNSAT8.45
toilet_a_10_05.4SAT8.56
ncf_4_8_8_d.8SAT8.62
ncf_16_32_8_d.4SAT8.68
ncf_4_8_8_edau.8SAT8.69
ncf_16_32_8_euad.4SAT8.75
ncf_4_8_8_u.8SAT8.77
ncf_4_16_4_d.1SAT8.91
ncf_8_16_4_d.4SAT8.94
k_dum_p-21UNSAT8.95
ncf_4_16_4_euad.1SAT9.04
ncf_8_16_4_euad.4SAT9.23
ncf_4_8_8_euad.8SAT9.24
4qbf-5cnf-40var-320cl.7UNSAT9.25
ncf_8_16_8_edau.9UNSAT9.49
1qbf-5cnf-160var-2560cl.9SAT9.5
x30.8UNSAT9.55
ncf_4_8_8_u.7SAT9.59
ncf_16_32_4_d.3SAT9.6
ncf_8_16_8_edau.10SAT9.9
ncf_4_16_8_d.7SAT9.98
ncf_16_32_8_edau.3SAT9.98
ncf_4_8_8_edau.7SAT9.98
ncf_8_16_8_edau.1SAT10.23
ncf_8_16_8_d.1SAT10.28
ncf_8_16_8_euad.1SAT10.33
ncf_16_32_4_euad.3SAT10.5
ncf_4_8_8_u.3SAT10.54
ncf_16_32_2_d.3SAT10.56
4qbf-5cnf-40var-320cl.2UNSAT10.62
ncf_16_32_8_u.3SAT10.65
ncf_8_16_4_edau.4SAT10.67
k_path_p-20UNSAT10.68
ncf_4_8_8_edau.3SAT10.7
ncf_4_8_8_d.3SAT10.7
texas.parsesys^1.E-f2SAT10.71
ncf_16_32_2_euad.3SAT10.76
connect_9x8_3_DUNSAT10.82
ncf_4_16_4_u.1SAT10.86
ncf_8_16_4_u.4SAT10.87
k_path_n-20SAT10.91
eijk.S208c.S-f2SAT10.91
ncf_4_16_4_edau.1SAT10.92
k_lin_n-8SAT10.98
ncf_4_8_8_euad.3SAT10.98
4qbf-5cnf-40var-320cl.5UNSAT11.1
ncf_4_16_8_euad.7SAT11.13
ncf_16_32_8_edau.10SAT11.21
x30.4SAT11.21
ncf_16_32_2_edau.3SAT11.24
szymanski-12-sUNSAT11.36
S-edau-7UNSAT11.36
ncf_16_32_8_u.10SAT11.46
S-edau-3UNSAT11.49
S-edau-2UNSAT11.52
ncf_16_32_4_edau.2SAT11.56
6qbf-5cnf-40var-320cl.4SAT11.57
S-edau-9UNSAT11.57
k_path_n-21SAT11.59
ncf_8_16_4_euad.7SAT11.66
ncf_8_16_4_edau.7SAT11.67
S-edau-4UNSAT11.73
ncf_16_32_2_u.3SAT11.74
ncf_8_16_4_u.7SAT11.75
ncf_4_16_8_u.7SAT11.82
k_path_p-21UNSAT11.87
S-edau-8UNSAT11.91
S-edau-1UNSAT11.93
ncf_16_32_4_d.2SAT11.98
S-edau-5UNSAT11.99
S-edau-6UNSAT12
ev-pr-8x8-7-7-0-1-2-lgUNSAT12.09
ncf_4_16_4_edau.7SAT12.19
ncf_16_32_8_edau.4SAT12.21
S-edau-0UNSAT12.22
ncf_4_16_4_u.7SAT12.4
x30.0UNSAT12.41
ncf_16_32_4_edau.3SAT12.43
ncf_16_32_8_u.4SAT12.51
ncf_16_32_4_euad.2SAT12.71
ncf_16_32_4_u.2SAT12.8
k_d4_p-16UNSAT12.8
ncf_8_16_4_d.7SAT13.31
ncf_4_8_8_edau.6UNSAT13.39
ncf_4_8_8_edau.2UNSAT13.58
vis.bakery.E-f2SAT13.63
k_d4_n-4SAT13.89
x30.9UNSAT13.91
4qbf-5cnf-40var-320cl.4UNSAT13.99
ncf_16_32_4_u.3SAT14.36
lognBWLARGEB1UNSAT15.22
s27_d4_uUNSAT15.26
ncf_4_8_8_edau.10SAT15.36
ncf_4_8_8_u.6UNSAT15.48
ncf_4_8_8_u.2UNSAT15.58
ncf_16_32_8_edau.7SAT15.68
ncf_16_32_8_edau.6SAT16.13
ncf_8_16_8_edau.8UNSAT16.22
ncf_16_32_8_u.6SAT16.42
ncf_16_32_8_u.7SAT16.51
ncf_4_16_8_u.10SAT17.06
ncf_4_8_8_u.10SAT17.2
k_t4p_n-4SAT17.29
ncf_16_32_8_euad.3SAT18.27
S-adeu-7UNSAT19.13
k_d4_p-20UNSAT19.32
k_d4_p-21UNSAT20.03
S-adeu-9UNSAT20.37
S-adeu-2UNSAT20.44
S-adeu-3UNSAT20.67
S-adeu-5UNSAT20.89
S-adeu-6UNSAT20.91
ncf_8_16_8_d.10SAT21.07
eijk.S208.S-f2SAT21.07
szymanski-14-sUNSAT21.75
S-adeu-4UNSAT21.89
ncf_16_32_8_d.3SAT22.08
S-adeu-8UNSAT22.33
eijk.S208o.S-f2SAT22.39
C880.blif_0.10_1.00_0_1_out_exactSAT22.5
lut4_AND_f1SAT22.68
S-adeu-1UNSAT22.79
ncf_4_8_8_euad.10SAT22.89
S-adeu-0UNSAT23.23
qshifter_8SAT23.37
ncf_8_16_8_euad.9UNSAT23.57
k_t4p_p-8UNSAT24.51
sortnetsort5.AE.stepl.003SAT24.61
x30.3SAT24.76
ncf_4_16_2_d.8SAT24.78
vis.eisenberg.E-f2SAT24.84
ncf_8_16_8_euad.10SAT25.32
x35.7UNSAT27.67
ncf_4_16_2_euad.8SAT28.17
x30.6SAT28.63
ncf_16_32_8_euad.10SAT29.09
connect_5x4_3_RUNSAT29.09
robots_1_5_2_100.4SAT29.38
ncf_8_16_8_euad.8UNSAT29.47
ncf_16_32_8_d.10SAT30.7
sortnetsort8.v.stepl.003UNSAT31.01
sortnetsort6.v.stepl.006SAT34.57
robots_1_5_2_80.4SAT34.6
robots_1_5_4_31.4SAT34.9
robots_1_5_5_87.4SAT34.93
ncf_4_16_8_u.9SAT34.97
robots_1_5_4_30.4SAT35.03
robots_1_5_4_50.4SAT35.23
robots_1_5_2_2.4SAT35.24
ncf_4_8_8_euad.7SAT35.29
robots_1_5_4_100.4SAT35.78
sortnetsort6.v.stepl.004UNSAT36.43
robots_1_5_3_16.4SAT36.71
robots_1_5_2_45.4SAT37.45
robots_1_5_3_100.4SAT37.49
robots_1_5_3_44.4SAT38.21
vis.4-arbit^1.E-f2SAT38.44
x35.3UNSAT38.89
x35.6UNSAT39.6
counter_re_4SAT40.3
robots_1_5_2_99.4SAT42.94
szymanski-16-sUNSAT43.03
robots_1_5_4_46.4SAT45.49
k_t4p_p-12UNSAT46.04
ncf_4_8_8_euad.6UNSAT46.42
robots_1_5_4_98.4SAT46.79
k_lin_n-12SAT46.93
robots_1_5_4_87.4SAT47.45
vis.arbiter.E-f2SAT48.16
robots_1_5_5_45.4SAT49.65
robots_1_5_3_20.4SAT50.37
robots_1_5_4_91.4SAT50.51
robots_1_5_5_30.4SAT50.55
robots_1_5_3_66.4SAT50.58
robots_1_5_4_2.4SAT50.75
ncf_8_16_8_d.9UNSAT51.53
robots_1_5_5_34.4SAT53.59
ncf_4_8_8_d.2UNSAT53.92
robots_1_5_2_39.4SAT54.17
robots_1_5_4_51.4SAT54.95
robots_1_5_2_82.4SAT55.02
robots_1_5_3_57.4SAT55.15
robots_1_5_3_2.4SAT55.3
robots_1_5_3_24.4SAT55.43
1qbf-5cnf-80var-2560cl.0UNSAT55.65
robots_1_5_3_78.4SAT55.82
1qbf-5cnf-80var-2560cl.2UNSAT56.31
1qbf-5cnf-80var-2560cl.1UNSAT57.77
Adder2-4-cUNSAT57.92
1qbf-5cnf-80var-2560cl.3UNSAT58.05
ncf_4_8_8_euad.2UNSAT58.08
1qbf-5cnf-80var-2560cl.6UNSAT58.3
1qbf-5cnf-80var-2560cl.8UNSAT58.57
robots_1_5_3_52.4SAT59.03
ncf_4_16_8_u.4SAT59.11
1qbf-5cnf-80var-2560cl.4UNSAT59.68
robots_1_5_5_93.4SAT59.84
x35.0UNSAT60.29
robots_1_5_5_12.4SAT60.34
1qbf-5cnf-80var-2560cl.5UNSAT60.41
robots_1_5_5_100.4SAT60.61
robots_1_5_5_8.4SAT60.7
x35.5UNSAT61.44
1qbf-5cnf-80var-2560cl.7UNSAT65.42
1qbf-5cnf-80var-2560cl.9UNSAT65.51
x35.2SAT68.5
k_t4p_n-8SAT69.26
term1.blif_0.10_1.00_0_0_inp_exactUNSAT70.14
lut4_2_f2UNSAT71.65
x40.8UNSAT71.76
k_t4p_p-16UNSAT74.17
ncf_4_16_8_euad.10SAT74.92
x35.8SAT75.7
szymanski-18-sUNSAT76.01
x35.4UNSAT80.13
x35.9SAT80.64
sortnetsort6.v.stepl.007SAT83.19
ncf_8_16_8_edau.4UNSAT85.79
ncf_4_16_8_euad.8UNSAT86.93
ncf_8_16_8_edau.5SAT91.43
x50.7UNSAT93.22
x40.6UNSAT95.84
ncf_8_16_4_edau.3SAT98.31
term1.blif_0.10_0.20_0_0_inp_exactUNSAT100.84
comp.blif_0.10_1.00_0_0_out_exactUNSAT102.55
connect_6x5_5_RUNSAT102.77
k_t4p_p-20UNSAT103.7
x40.5UNSAT105.53
vis.4-arbit^2.E-f2SAT108.35
texas.PI_main^14.E-f2UNSAT109.12
x35.1SAT114.34
x40.4UNSAT117.93
k_lin_n-16SAT119.77
k_t4p_p-21UNSAT120.36
term1.blif_0.10_1.00_0_0_out_exactUNSAT120.87
ncf_4_16_4_edau.3SAT122.73
szymanski-20-sUNSAT123.88
ncf_4_16_4_u.4UNSAT124.23
ncf_8_16_4_u.3SAT128.6
ncf_8_16_4_euad.3SAT132.71
ncf_4_16_4_u.2SAT133.3
ncf_4_32_2_edau.8SAT134.79
x40.2UNSAT134.83
ncf_4_16_4_u.3SAT139.32
ncf_4_16_4_edau.2SAT143.82
k_d4_n-8SAT147.77
s27_d5_uUNSAT148.77
ncf_4_16_4_d.7SAT153.39
ev-pr-6x6-7-5-0-1-2-lgUNSAT154.65
k_t4p_n-12SAT159.29
ncf_4_16_4_euad.7SAT170.3
ncf_4_16_8_u.6SAT180.21
sortnetsort7.v.stepl.004UNSAT181.86
x40.0UNSAT184.1
2qbf-5cnf-80var-320cl.8SAT185.72
comp.blif_0.10_0.20_0_0_out_exactUNSAT199.31
sortnetsort6.v.stepl.005SAT201.06
szymanski-22-sUNSAT203.92
ncf_4_32_2_u.8SAT205.42
ncf_4_16_4_edau.4UNSAT218
k_grz_n-8SAT223.95
k_grz_p-8UNSAT247.62
x40.1UNSAT250.46
k_ph_p-8UNSAT259.83
x40.3UNSAT260.31
szymanski-24-sUNSAT306.56
k_t4p_n-16SAT312.06
x40.9UNSAT318.32
ncf_16_32_2_edau.10UNSAT323.19
k_lin_n-20SAT325.25
ncf_4_16_4_euad.2SAT327.16
ncf_4_16_4_euad.3SAT331.57
ncf_8_16_8_euad.5SAT332.13
ncf_4_16_8_u.2SAT351.49
x45.0UNSAT357.22
x45.8UNSAT367.13
ncf_4_16_8_u.1SAT373.73
k_lin_n-21SAT380.21
k_d4_n-12SAT391.84
x45.9UNSAT407.98
x45.4UNSAT416.39
x45.2UNSAT418.19
test5_quant5SAT430.45
ncf_4_16_4_euad.4UNSAT446.02
ncf_8_16_8_euad.4UNSAT473.63
ncf_4_16_4_d.3SAT474.71
2qbf-5cnf-80var-320cl.7SAT485.11
k_t4p_n-20SAT499.91
lut4_AND_fXORUNSAT508.01
ncf_16_32_2_u.10UNSAT535.25
ev-pr-4x4-11-3-0-0-1-lgSAT542.65
C432.blif_0.10_0.20_0_0_inp_exactUNSAT548.23
x45.3SAT550.86
k_t4p_n-21SAT554.72
x45.6UNSAT555.39
ncf_4_16_8_euad.4SAT599.68
k_ph_n-16FAIL599.8
6qbf-5cnf-40var-320cl.3FAIL599.8
x55.4FAIL599.81
texas.PI_main^10.E-f2FAIL599.82
eijk.S526.S-f2FAIL599.87
texas.ifetch1^8.E-f2FAIL599.88
s386_d2_sFAIL599.9
eijk.S713.S-f2FAIL599.9
s499_d2_sFAIL599.93
s298_d2_sFAIL599.96
s713_d2_sFAIL599.97
sortnetsort6.AE.stepl.004FAIL599.97
eijk.S349.S-f2FAIL599.99
texas.ifetch1^7.E-f2FAIL599.99
ncf_16_32_4_d.6FAIL600.07
x190.3FAIL600.22
ncf_16_32_8_u.9FAIL600.24
x100.1FAIL600.24
x170.9FAIL600.24
ncf_4_16_8_d.6FAIL600.25
x200.9FAIL600.25
x70.3FAIL600.25
ncf_16_32_8_u.1FAIL600.27
ncf_4_16_8_d.8FAIL600.27
x75.6FAIL600.27
x105.5FAIL600.28
x135.4FAIL600.28
x160.2FAIL600.28
x165.0FAIL600.28
x80.4FAIL600.28
ncf_16_32_8_d.6FAIL600.29
x110.9FAIL600.29
x160.1FAIL600.29
x165.4FAIL600.29
x60.6FAIL600.29
ncf_8_16_8_edau.3FAIL600.3
x70.5FAIL600.3
x155.9FAIL600.31
x170.6FAIL600.31
x225.5FAIL600.31
x235.9FAIL600.31
ncf_16_32_8_euad.7FAIL600.32
x160.0FAIL600.32
x215.5FAIL600.32
x230.2FAIL600.32
x245.5FAIL600.32
x70.4FAIL600.32
x200.1FAIL600.33
x225.0FAIL600.33
x210.7FAIL600.34
x70.7FAIL600.34
x95.9FAIL600.34
x120.1FAIL600.35
x230.8FAIL600.35
x245.4FAIL600.35
x300.9FAIL600.35
x245.8FAIL600.36
ncf_4_16_8_u.5FAIL600.37
x175.0FAIL600.39
x80.6FAIL600.39
x85.0FAIL600.39
x130.4FAIL600.4
ncf_8_16_8_euad.2SAT605.29
k_branch_p-4UNSAT614.94
k_d4_n-16SAT733.57
ncf_4_16_8_euad.5UNSAT831.65
x45.1UNSAT844.15
x40.7SAT854.09
ncf_8_16_4_d.3SAT871.11
x45.5UNSAT880.14
ncf_4_16_8_euad.2SAT933.13
ncf_8_16_8_edau.2SAT949.89
ncf_4_16_8_euad.9SAT958.67
C432.blif_0.10_1.00_0_0_out_exactUNSAT972.24
ncf_16_32_8_euad.6SAT989.15
test5_quant7SAT1034.13
ncf_4_32_2_edau.7SAT1116.83
x55.1UNSAT1145.98
ncf_4_16_8_u.3SAT1155.68
k_d4_n-20SAT1174.61
2qbf-5cnf-80var-320cl.2SAT1184.9
eijk.S298.S-f2SAT1258.53
ev-pr-4x4-13-3-0-0-1-lgSAT1287.97
k_d4_n-21SAT1317.62
sortnetsort5.AE.stepl.004SAT1321.74
ncf_4_16_8_euad.6SAT1653.74
ncf_8_16_8_euad.3SAT1673.94
ncf_4_32_2_u.7SAT1748.65
6qbf-5cnf-80var-640cl.5SAT1755.72
ev-pr-8x8-9-7-0-1-2-lgUNSAT1756.68
x45.7SAT1832.29
texas.parsesys^2.E-f2UNSAT2011.48
ncf_4_16_8_u.8UNSAT2137.8
ncf_8_16_8_d.5SAT2305.83
x50.8UNSAT2375.08
ev-pr-6x6-9-5-0-1-2-lgUNSAT2384.77
ncf_16_32_8_d.7SAT2509.26
ev-pr-4x4-15-3-0-0-1-lgSAT2515.13
x60.4UNSAT2608.85
x50.4UNSAT2661.46
ncf_4_8_8_d.7SAT2726.45
x50.0UNSAT2758.12
sortnetsort6.AE.stepl.003SAT3054.11
2qbf-5cnf-80var-320cl.1SAT3404.96
x50.9UNSAT3503.98
x50.1UNSAT3518.2
C499.blif_0.10_0.20_0_1_inp_exactSAT3529.48
ncf_4_32_2_edau.10SAT3572.55
x55.8UNSAT3595.51
ncf_16_32_4_u.10UNSAT3654.26
x50.6UNSAT3810.08
counter_8SAT3858.33
ev-pr-4x4-17-3-0-0-1-lgSAT4143.6
ncf_4_32_2_u.10SAT4182.18
x50.2UNSAT4222.04
x50.3UNSAT4364.67
Adder2-4-sSAT4495.48
ncf_4_16_8_euad.1SAT5048.1
sortnetsort8.v.stepl.004UNSAT5780.72
x50.5UNSAT5849.2
sortnetsort5.AE.stepl.005UNSAT5856.64
cmu.dme1.B-f2FAIL5997.27
s510_d2_sFAIL5997.35
eijk.S641.S-f2FAIL5997.43
eijk.S344.S-f2FAIL5997.44
irst.dme6.B-f2FAIL5997.69
irst.dme4.B-f2FAIL5997.79
s820_d2_sFAIL5997.82
s499_d4_sFAIL5997.83
eijk.S832.S-f2FAIL5997.85
texas.ifetch1^9.E-f2FAIL5997.9
adder-4-satFAIL5997.92
ncf_4_16_8_d.9FAIL5997.97
test5_quant_squaring4FAIL5998.1
eijk.S420.S-f2FAIL5998.14
eijk.bs1512.S-f2FAIL5998.19
eijk.S838.S-f2FAIL5998.23
eijk.S953.S-f2FAIL5998.27
cmu.dme2.B-f2FAIL5998.32
s298_d4_sFAIL5998.42
eijk.S820.S-f2FAIL5998.47
eijk.S510.S-f2FAIL5998.5
adder-10-satFAIL5998.63
adder-8-satFAIL5998.64
ken.oop^1.C-f2FAIL5998.67
texas.two_proc^2.E-f2FAIL5998.68
adder-12-satFAIL5998.72
vis.elevator^2.E-f2FAIL5998.74
texas.two_proc^5.E-f2FAIL5998.76
texas.two_proc^6.E-f2FAIL5998.76
test3_quant_squaring2FAIL5998.79
test5_quant_squaring5FAIL5998.88
nusmv.brp.B-f2FAIL5998.88
texas.ifetch1^5.E-f2FAIL5998.88
texas.two_proc^3.E-f2FAIL5998.89
nusmv.reactor^2.C-f2FAIL5998.92
test3_quant2FAIL5998.94
texas.two_proc^1.E-f2FAIL5998.97
adder-14-satFAIL5999.03
eijk.S444.S-f2FAIL5999.06
texas.two_proc^4.E-f2FAIL5999.07
ncf_4_16_8_d.5FAIL5999.11
test3_quant4FAIL5999.11
vis.elevator^3.E-f2FAIL5999.11
eijk.S382.S-f2FAIL5999.16
nusmv.reactor^7.C-f2FAIL5999.17
nusmv.reactor^3.C-f2FAIL5999.21
nusmv.syncarb10^2.B-f2FAIL5999.29
vis.coherence^5.E-f2FAIL5999.32
adder-6-satFAIL5999.33
eijk.S386.S-f2FAIL5999.35
vis.coherence^2.E-f2FAIL5999.35
adder-16-satFAIL5999.4
nusmv.reactor^4.C-f2FAIL5999.41
vis.coherence^1.E-f2FAIL5999.41
ncf_16_32_2_d.10FAIL5999.43
texas.PI_main^02.E-f2FAIL5999.5
irst.dme5.B-f2FAIL5999.52
C499.blif_0.10_1.00_0_0_inp_exactFAIL5999.53
ken.oop^2.C-f2FAIL5999.53
ncf_16_32_2_euad.10FAIL5999.59
nusmv.reactor^6.C-f2FAIL5999.59
texas.PI_main^11.E-f2FAIL5999.59
ncf_8_16_8_d.4FAIL5999.61
ncf_16_32_4_u.6FAIL5999.62
ncf_16_32_8_edau.2FAIL5999.62
texas.PI_main^16.E-f2FAIL5999.62
vis.coherence^3.E-f2FAIL5999.62
ncf_4_16_8_d.3FAIL5999.64
ncf_16_32_8_euad.5FAIL5999.64
ncf_16_32_8_u.8FAIL5999.64
ncf_16_32_4_edau.6FAIL5999.64
ncf_4_16_8_d.2FAIL5999.65
ncf_4_16_4_d.4FAIL5999.66
ncf_16_32_8_u.2FAIL5999.67
adder-4-unsatFAIL5999.67
ncf_16_32_8_euad.9FAIL5999.69
ncf_16_32_8_euad.8FAIL5999.7
texas.PI_main^12.E-f2FAIL5999.7
ncf_8_16_8_d.8FAIL5999.71
ncf_16_32_8_edau.8FAIL5999.73
ncf_4_8_8_d.10FAIL5999.74
ncf_16_32_8_d.5FAIL5999.74
texas.PI_main^01.E-f2FAIL5999.75
ncf_16_32_4_euad.6FAIL5999.77
sortnetsort5.AE.stepl.006FAIL5999.77
ncf_4_16_8_d.4FAIL5999.78
ncf_16_32_8_euad.2FAIL5999.81
C5315.blif_0.10_1.00_0_0_inp_exactFAIL5999.83
ncf_16_32_8_d.9FAIL5999.87
ncf_16_32_8_edau.9FAIL5999.87
Adder2-8-sFAIL5999.87
ncf_4_8_8_d.6FAIL5999.88
ncf_8_16_8_d.2FAIL5999.88
sortnetsort5.AE.stepl.007FAIL5999.88
C499.blif_0.10_1.00_0_0_out_exactFAIL5999.9
ncf_16_32_8_d.8FAIL5999.91
k_grz_n-12FAIL5999.91
k_grz_p-16FAIL5999.93
ncf_8_16_8_d.3FAIL5999.94
sortnetsort6.AE.stepl.005FAIL5999.95
ncf_4_16_4_d.2FAIL5999.96
ncf_4_16_8_d.10FAIL5999.99
k_grz_p-20FAIL5999.99
ncf_16_32_8_edau.5FAIL6000
sortnetsort6.AE.stepl.006FAIL6000
k_grz_n-16FAIL6000.01
k_grz_n-21FAIL6000.02
x95.2FAIL6000.02
Adder2-6-cFAIL6000.05
adder-6-unsatFAIL6000.06
adder-8-unsatFAIL6000.07
k_grz_n-20FAIL6000.08
sortnetsort7.AE.stepl.004FAIL6000.09
k_grz_p-21FAIL6000.1
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL6000.1
x175.7FAIL6000.11
ncf_16_32_8_d.2FAIL6000.13
x85.9FAIL6000.13
sortnetsort7.AE.stepl.009FAIL6000.13
term1.blif_0.10_0.20_0_0_out_exactFAIL6000.14
ncf_16_32_8_u.5FAIL6000.14
x55.6FAIL6000.14
x90.8FAIL6000.14
x55.2FAIL6000.15
x70.9FAIL6000.15
counter_re_8FAIL6000.16
counter_r_8FAIL6000.16
sortnetsort6.AE.stepl.007FAIL6000.16
counter_e_8FAIL6000.17
x100.7FAIL6000.17
x400.8FAIL6000.17
x60.7FAIL6000.17
x65.4FAIL6000.17
x80.5FAIL6000.17
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL6000.17
C5315.blif_0.10_1.00_0_0_out_exactFAIL6000.18
x100.3FAIL6000.18
x115.3FAIL6000.18
x55.3FAIL6000.18
x65.1FAIL6000.18
sortnetsort8.AE.stepl.003FAIL6000.18
sortnetsort9.v.stepl.009FAIL6000.18
ncf_4_16_8_d.1FAIL6000.19
x105.3FAIL6000.19
sortnetsort9.AE.stepl.004FAIL6000.19
sortnetsort9.AE.stepl.007FAIL6000.19
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.19
Adder2-6-sFAIL6000.2
x115.4FAIL6000.2
x140.0FAIL6000.2
x205.6FAIL6000.2
x220.6FAIL6000.2
x230.7FAIL6000.2
x55.7FAIL6000.2
x65.5FAIL6000.2
x70.2FAIL6000.2
x75.1FAIL6000.2
x95.1FAIL6000.2
sortnetsort7.v.stepl.007FAIL6000.2
x110.3FAIL6000.21
x125.3FAIL6000.21
x150.4FAIL6000.21
x160.4FAIL6000.21
x225.2FAIL6000.21
x350.0FAIL6000.21
x80.2FAIL6000.21
x95.5FAIL6000.21
sortnetsort7.AE.stepl.008FAIL6000.21
sortnetsort8.v.stepl.006FAIL6000.21
k_lin_p-21FAIL6000.22
x130.6FAIL6000.22
x175.4FAIL6000.22
x195.3FAIL6000.22
x215.6FAIL6000.22
x240.2FAIL6000.22
x65.0FAIL6000.22
x65.9FAIL6000.22
x75.4FAIL6000.22
x80.1FAIL6000.22
x85.5FAIL6000.22
x90.0FAIL6000.22
x95.3FAIL6000.22
sortnetsort8.AE.stepl.006FAIL6000.22
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL6000.22
ncf_16_32_8_edau.1FAIL6000.23
C432.blif_0.10_0.20_0_0_out_exactFAIL6000.23
x100.2FAIL6000.23
x100.5FAIL6000.23
x110.5FAIL6000.23
x110.7FAIL6000.23
x150.1FAIL6000.23
x160.7FAIL6000.23
x190.8FAIL6000.23
x225.7FAIL6000.23
x250.8FAIL6000.23
x300.7FAIL6000.23
x350.5FAIL6000.23
x55.9FAIL6000.23
x60.0FAIL6000.23
x60.1FAIL6000.23
x65.8FAIL6000.23
x75.9FAIL6000.23
x85.8FAIL6000.23
x90.5FAIL6000.23
sortnetsort7.AE.stepl.003FAIL6000.23
sortnetsort7.v.stepl.005FAIL6000.23
sortnetsort9.AE.stepl.005FAIL6000.23
sortnetsort9.v.stepl.007FAIL6000.23
k_grz_p-12FAIL6000.24
ncf_16_32_8_d.1FAIL6000.24
x115.7FAIL6000.24
x120.8FAIL6000.24
x130.1FAIL6000.24
x145.9FAIL6000.24
x150.0FAIL6000.24
x150.9FAIL6000.24
x155.8FAIL6000.24
x180.7FAIL6000.24
x200.7FAIL6000.24
x245.7FAIL6000.24
x350.2FAIL6000.24
x55.0FAIL6000.24
x55.5FAIL6000.24
x60.2FAIL6000.24
x60.8FAIL6000.24
x75.3FAIL6000.24
x75.5FAIL6000.24
x80.9FAIL6000.24
x85.6FAIL6000.24
x90.4FAIL6000.24
sortnetsort7.v.stepl.006FAIL6000.24
sortnetsort8.AE.stepl.008FAIL6000.24
sortnetsort9.v.stepl.006FAIL6000.24
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL6000.24
ncf_4_16_8_euad.3FAIL6000.25
Adder2-8-cFAIL6000.25
x105.1FAIL6000.25
x110.8FAIL6000.25
x115.6FAIL6000.25
x125.5FAIL6000.25
x135.3FAIL6000.25
x135.6FAIL6000.25
x140.2FAIL6000.25
x145.8FAIL6000.25
x165.1FAIL6000.25
x170.7FAIL6000.25
x185.8FAIL6000.25
x190.9FAIL6000.25
x195.2FAIL6000.25
x195.5FAIL6000.25
x215.0FAIL6000.25
x225.3FAIL6000.25
x300.1FAIL6000.25
x350.6FAIL6000.25
x70.1FAIL6000.25
x80.0FAIL6000.25
x80.7FAIL6000.25
x85.4FAIL6000.25
x90.3FAIL6000.25
x95.4FAIL6000.25
sortnetsort10.AE.stepl.005FAIL6000.25
sortnetsort10.AE.stepl.006FAIL6000.25
sortnetsort10.v.stepl.007FAIL6000.25
sortnetsort8.v.stepl.008FAIL6000.25
sortnetsort9.AE.stepl.006FAIL6000.25
sortnetsort9.v.stepl.008FAIL6000.25
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL6000.25
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.25
k_branch_p-8FAIL6000.26
x105.7FAIL6000.26
x115.0FAIL6000.26
x120.2FAIL6000.26
x120.3FAIL6000.26
x120.6FAIL6000.26
x130.3FAIL6000.26
x130.9FAIL6000.26
x150.3FAIL6000.26
x155.3FAIL6000.26
x160.3FAIL6000.26
x170.1FAIL6000.26
x175.9FAIL6000.26
x180.2FAIL6000.26
x190.0FAIL6000.26
x190.7FAIL6000.26
x200.0FAIL6000.26
x210.9FAIL6000.26
x215.9FAIL6000.26
x220.5FAIL6000.26
x230.5FAIL6000.26
x245.0FAIL6000.26
x245.1FAIL6000.26
x250.2FAIL6000.26
x250.9FAIL6000.26
x350.1FAIL6000.26
x350.4FAIL6000.26
x350.8FAIL6000.26
x75.8FAIL6000.26
x85.2FAIL6000.26
x90.2FAIL6000.26
x95.0FAIL6000.26
x95.8FAIL6000.26
vis.elevator^1.E-f2FAIL6000.26
sortnetsort10.AE.stepl.011FAIL6000.26
sortnetsort10.v.stepl.006FAIL6000.26
sortnetsort8.AE.stepl.004FAIL6000.26
sortnetsort8.AE.stepl.009FAIL6000.26
sortnetsort9.AE.stepl.008FAIL6000.26
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL6000.26
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.26
BLOCKS3i.5.4FAIL6000.27
ev-pr-8x8-11-7-0-1-2-lgFAIL6000.27
k_branch_n-8FAIL6000.27
x115.9FAIL6000.27
x120.0FAIL6000.27
x120.4FAIL6000.27
x120.7FAIL6000.27
x120.9FAIL6000.27
x130.2FAIL6000.27
x135.9FAIL6000.27
x140.3FAIL6000.27
x140.5FAIL6000.27
x140.7FAIL6000.27
x145.5FAIL6000.27
x145.6FAIL6000.27
x160.8FAIL6000.27
x165.6FAIL6000.27
x165.9FAIL6000.27
x175.8FAIL6000.27
x185.5FAIL6000.27
x185.9FAIL6000.27
x190.6FAIL6000.27
x195.9FAIL6000.27
x205.8FAIL6000.27
x205.9FAIL6000.27
x220.1FAIL6000.27
x230.0FAIL6000.27
x235.8FAIL6000.27
x240.0FAIL6000.27
x245.9FAIL6000.27
x250.6FAIL6000.27
x250.7FAIL6000.27
x400.9FAIL6000.27
x60.5FAIL6000.27
x65.6FAIL6000.27
x75.7FAIL6000.27
x80.8FAIL6000.27
x85.1FAIL6000.27
x85.3FAIL6000.27
x90.1FAIL6000.27
x90.6FAIL6000.27
x95.7FAIL6000.27
sortnetsort10.v.stepl.005FAIL6000.27
sortnetsort10.v.stepl.012FAIL6000.27
sortnetsort7.AE.stepl.007FAIL6000.27
sortnetsort7.v.stepl.008FAIL6000.27
sortnetsort9.AE.stepl.009FAIL6000.27
sortnetsort9.v.stepl.005FAIL6000.27
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.27
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.27
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.27
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.27
BLOCKS3i.5.3FAIL6000.28
x100.4FAIL6000.28
x105.2FAIL6000.28
x110.1FAIL6000.28
x110.2FAIL6000.28
x115.2FAIL6000.28
x120.5FAIL6000.28
x135.8FAIL6000.28
x145.2FAIL6000.28
x145.3FAIL6000.28
x150.6FAIL6000.28
x150.8FAIL6000.28
x155.5FAIL6000.28
x155.6FAIL6000.28
x160.9FAIL6000.28
x165.2FAIL6000.28
x175.1FAIL6000.28
x175.3FAIL6000.28
x180.5FAIL6000.28
x185.3FAIL6000.28
x190.1FAIL6000.28
x190.4FAIL6000.28
x225.9FAIL6000.28
x230.9FAIL6000.28
x240.3FAIL6000.28
x245.3FAIL6000.28
x300.6FAIL6000.28
x350.3FAIL6000.28
x350.9FAIL6000.28
x400.0FAIL6000.28
x60.3FAIL6000.28
x65.2FAIL6000.28
x65.3FAIL6000.28
x65.7FAIL6000.28
sortnetsort10.v.stepl.004FAIL6000.28
sortnetsort10.v.stepl.009FAIL6000.28
sortnetsort8.v.stepl.005FAIL6000.28
sortnetsort8.v.stepl.007FAIL6000.28
sortnetsort9.AE.stepl.011FAIL6000.28
sortnetsort9.v.stepl.011FAIL6000.28
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL6000.28
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL6000.28
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL6000.28
x135.0FAIL6000.29
x135.1FAIL6000.29
x140.8FAIL6000.29
x145.7FAIL6000.29
x155.1FAIL6000.29
x165.8FAIL6000.29
x170.5FAIL6000.29
x170.8FAIL6000.29
x175.2FAIL6000.29
x180.9FAIL6000.29
x195.6FAIL6000.29
x195.7FAIL6000.29
x195.8FAIL6000.29
x200.5FAIL6000.29
x205.0FAIL6000.29
x205.3FAIL6000.29
x205.4FAIL6000.29
x210.0FAIL6000.29
x210.2FAIL6000.29
x215.2FAIL6000.29
x220.7FAIL6000.29
x220.8FAIL6000.29
x225.6FAIL6000.29
x230.1FAIL6000.29
x230.3FAIL6000.29
x240.1FAIL6000.29
x240.9FAIL6000.29
x250.3FAIL6000.29
sortnetsort7.AE.stepl.006FAIL6000.29
sortnetsort8.AE.stepl.005FAIL6000.29
sortnetsort9.v.stepl.004FAIL6000.29
sortnetsort9.v.stepl.010FAIL6000.29
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL6000.29
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.29
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL6000.29
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.29
ncf_16_32_8_euad.1FAIL6000.3
x100.8FAIL6000.3
x105.6FAIL6000.3
x105.9FAIL6000.3
x110.4FAIL6000.3
x110.6FAIL6000.3
x115.5FAIL6000.3
x135.5FAIL6000.3
x140.1FAIL6000.3
x140.9FAIL6000.3
x150.7FAIL6000.3
x155.2FAIL6000.3
x155.4FAIL6000.3
x155.7FAIL6000.3
x160.6FAIL6000.3
x170.0FAIL6000.3
x170.4FAIL6000.3
x185.1FAIL6000.3
x195.4FAIL6000.3
x200.2FAIL6000.3
x200.8FAIL6000.3
x210.3FAIL6000.3
x210.8FAIL6000.3
x215.4FAIL6000.3
x220.4FAIL6000.3
x225.4FAIL6000.3
x230.6FAIL6000.3
x235.0FAIL6000.3
x235.1FAIL6000.3
x240.5FAIL6000.3
x250.0FAIL6000.3
x250.4FAIL6000.3
x300.0FAIL6000.3
x400.2FAIL6000.3
x70.6FAIL6000.3
x90.7FAIL6000.3
x95.6FAIL6000.3
sortnetsort10.AE.stepl.007FAIL6000.3
sortnetsort10.AE.stepl.009FAIL6000.3
sortnetsort7.v.stepl.009FAIL6000.3
sortnetsort9.AE.stepl.012FAIL6000.3
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.3
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.3
k_branch_p-12FAIL6000.31
k_ph_n-12FAIL6000.31
x105.0FAIL6000.31
x125.0FAIL6000.31
x125.2FAIL6000.31
x125.7FAIL6000.31
x125.9FAIL6000.31
x145.0FAIL6000.31
x165.3FAIL6000.31
x175.6FAIL6000.31
x180.8FAIL6000.31
x185.2FAIL6000.31
x185.4FAIL6000.31
x200.3FAIL6000.31
x205.1FAIL6000.31
x205.7FAIL6000.31
x245.6FAIL6000.31
x350.7FAIL6000.31
x400.3FAIL6000.31
x400.4FAIL6000.31
x400.5FAIL6000.31
x70.0FAIL6000.31
sortnetsort10.AE.stepl.012FAIL6000.31
sortnetsort8.AE.stepl.007FAIL6000.31
sortnetsort9.v.stepl.012FAIL6000.31
x105.8FAIL6000.32
x110.0FAIL6000.32
x115.8FAIL6000.32
x125.8FAIL6000.32
x130.0FAIL6000.32
x140.6FAIL6000.32
x145.4FAIL6000.32
x160.5FAIL6000.32
x165.7FAIL6000.32
x170.3FAIL6000.32
x180.1FAIL6000.32
x180.3FAIL6000.32
x180.6FAIL6000.32
x205.5FAIL6000.32
x210.6FAIL6000.32
x235.3FAIL6000.32
x235.5FAIL6000.32
x240.6FAIL6000.32
x250.5FAIL6000.32
x300.3FAIL6000.32
x300.5FAIL6000.32
x400.6FAIL6000.32
x60.9FAIL6000.32
x70.8FAIL6000.32
x75.0FAIL6000.32
x80.3FAIL6000.32
cmu.gigamax.B-f2FAIL6000.32
sortnetsort10.AE.stepl.004FAIL6000.32
sortnetsort10.AE.stepl.008FAIL6000.32
sortnetsort10.v.stepl.008FAIL6000.32
sortnetsort7.AE.stepl.005FAIL6000.32
sortnetsort8.v.stepl.009FAIL6000.32
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.32
ncf_16_32_4_edau.10FAIL6000.33
x105.4FAIL6000.33
x115.1FAIL6000.33
x125.4FAIL6000.33
x125.6FAIL6000.33
x130.5FAIL6000.33
x140.4FAIL6000.33
x150.2FAIL6000.33
x150.5FAIL6000.33
x165.5FAIL6000.33
x175.5FAIL6000.33
x190.2FAIL6000.33
x195.1FAIL6000.33
x200.4FAIL6000.33
x210.1FAIL6000.33
x210.5FAIL6000.33
x215.1FAIL6000.33
x215.7FAIL6000.33
x225.8FAIL6000.33
x235.6FAIL6000.33
x240.7FAIL6000.33
x300.2FAIL6000.33
x300.8FAIL6000.33
x85.7FAIL6000.33
x90.9FAIL6000.33
sortnetsort10.AE.stepl.010FAIL6000.33
sortnetsort10.v.stepl.010FAIL6000.33
sortnetsort9.AE.stepl.010FAIL6000.33
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.33
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL6000.33
x145.1FAIL6000.34
x180.0FAIL6000.34
x180.4FAIL6000.34
x185.0FAIL6000.34
x195.0FAIL6000.34
x200.6FAIL6000.34
x220.2FAIL6000.34
x225.1FAIL6000.34
x235.2FAIL6000.34
x235.7FAIL6000.34
x240.8FAIL6000.34
x250.1FAIL6000.34
x75.2FAIL6000.34
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.34
x100.0FAIL6000.35
x130.7FAIL6000.35
x135.7FAIL6000.35
x185.7FAIL6000.35
x190.5FAIL6000.35
x215.3FAIL6000.35
x215.8FAIL6000.35
x230.4FAIL6000.35
x235.4FAIL6000.35
x240.4FAIL6000.35
x400.7FAIL6000.35
x100.6FAIL6000.36
x125.1FAIL6000.36
x135.2FAIL6000.36
x185.6FAIL6000.36
x210.4FAIL6000.36
x220.0FAIL6000.36
x400.1FAIL6000.36
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL6000.36
BLOCKS4iii.7FAIL6000.37
x155.0FAIL6000.37
x170.2FAIL6000.37
x220.3FAIL6000.37
x300.4FAIL6000.37
x130.8FAIL6000.38
x220.9FAIL6000.38
x100.9FAIL6000.39
x205.2FAIL6000.39
sortnetsort10.v.stepl.011FAIL6000.39
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL6000.39
x245.2FAIL6000.42