Instances solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
ncf_8_16_4_d.1SAT0
ncf_16_32_2_edau.6SAT0
ncf_4_16_4_d.5SAT0
ncf_4_16_2_d.2SAT0
5qbf-5cnf-160var-640cl.8SAT0
ncf_8_16_4_d.10SAT0
6qbf-5cnf-160var-640cl.2SAT0
ncf_4_16_4_d.8SAT0
ncf_4_8_8_d.1SAT0
ncf_4_8_4_u.9SAT0
ncf_4_16_2_edau.6SAT0
tree-exa2-50UNSAT0
5qbf-5cnf-160var-640cl.6SAT0
6qbf-5cnf-160var-640cl.9SAT0
ncf_4_16_4_edau.5SAT0
ncf_16_32_4_d.3SAT0
x5.2UNSAT0
x5.4UNSAT0
x5.5UNSAT0
x5.6UNSAT0
x5.9UNSAT0
cmu.dme1.B-d2SAT0
texas.parsesys^1.E-d2SAT0
vis.bakery.E-d2SAT0
Qq2k1k4v40v40m2s0SAT0
Qq2k1k4v40v40m2s2SAT0
Qq2k1k4v40v40m2s3SAT0
Qq2k1k4v40v40m2s4SAT0
Qq2k1k4v40v40m2s5SAT0
Qq2k1k4v40v40m2s6SAT0
Qq2k1k4v40v40m2s7SAT0
Qq2k1k4v40v40m2s8SAT0
Qq2k1k4v40v40m4s2UNSAT0
Qq2k1k4v40v40m4s3SAT0
Qq2k1k4v40v40m4s4SAT0
Qq2k1k4v40v40m4s7SAT0
Qq2k1k4v40v40m4s8SAT0
Qq2k1k4v40v40m8s0SAT0
Qq2k1k4v40v40m8s1SAT0
Qq2k1k4v40v40m8s3SAT0
Qq2k1k4v40v40m8s4SAT0
Qq2k1k4v40v40m8s5SAT0
Qq2k1k4v40v40m8s6UNSAT0
Qq2k1k4v40v40m8s7SAT0
Qq2k1k4v40v40m8s8SAT0
Qq2k1k4v40v40m8s9SAT0
Qq2k1k4v40v40m16s0UNSAT0
Qq2k1k4v40v40m16s1SAT0
Qq2k1k4v40v40m16s2UNSAT0
Qq2k1k4v40v40m16s3UNSAT0
Qq2k1k4v40v40m16s5SAT0
Qq2k1k4v40v40m16s6UNSAT0
Qq2k1k4v40v40m16s9UNSAT0
Qq2k1k4v40v40m32s0UNSAT0
Qq2k1k4v40v40m32s1UNSAT0
Qq2k1k4v40v40m32s2UNSAT0
Qq2k1k4v40v40m32s3UNSAT0
Qq2k1k4v40v40m32s5UNSAT0
Qq2k1k4v40v40m32s6UNSAT0
Qq2k1k4v40v40m32s7UNSAT0
Qq2k1k4v80v80m2s0SAT0
Qq2k1k4v80v80m2s1SAT0
Qq2k1k4v80v80m2s2SAT0
Qq2k1k4v80v80m2s3SAT0
Qq2k1k4v80v80m2s5SAT0
Qq2k1k4v80v80m2s6SAT0
Qq2k1k4v80v80m2s7SAT0
Qq2k1k4v80v80m2s8SAT0
Qq2k1k4v80v80m4s0SAT0
Qq2k1k4v80v80m4s1SAT0
Qq2k1k4v80v80m4s2SAT0
Qq2k1k4v80v80m4s3SAT0
Qq2k1k4v80v80m4s4SAT0
Qq2k1k4v80v80m4s5SAT0
Qq2k1k4v80v80m4s7SAT0
Qq2k1k4v80v80m4s8SAT0
Qq2k1k4v80v80m8s1SAT0
Qq2k1k4v80v80m8s2SAT0
Qq2k1k4v80v80m8s4SAT0
Qq2k1k4v80v80m8s5SAT0
Qq2k1k4v80v80m8s6SAT0
Qq2k1k4v80v80m8s7SAT0
Qq2k1k4v80v80m8s8SAT0
Qq2k1k4v80v80m8s9SAT0
Qq2k1k4v80v80m16s0UNSAT0
Qq2k1k4v80v80m16s1SAT0
Qq2k1k4v80v80m16s2SAT0
Qq2k1k4v80v80m16s3UNSAT0
Qq2k1k4v80v80m16s4SAT0
Qq2k1k4v80v80m16s5SAT0
Qq2k1k4v80v80m16s6SAT0
Qq2k1k4v80v80m16s8UNSAT0
Qq2k1k4v80v80m16s9SAT0
Qq2k1k4v80v80m32s0UNSAT0
Qq2k1k4v80v80m32s1SAT0
Qq2k1k4v80v80m32s2UNSAT0
Qq2k1k4v80v80m32s3UNSAT0
Qq2k1k4v80v80m32s7SAT0
Qq2k1k4v80v80m32s8UNSAT0
Qq2k1k4v80v80m32s9UNSAT0
Qq2k2k3v40v40m2s0SAT0
Qq2k2k3v40v40m2s1SAT0
Qq2k2k3v40v40m2s2SAT0
Qq2k2k3v40v40m2s3SAT0
Qq2k2k3v40v40m2s4SAT0
Qq2k2k3v40v40m2s5SAT0
Qq2k2k3v40v40m2s6SAT0
Qq2k2k3v40v40m2s7SAT0
Qq2k2k3v40v40m2s8SAT0
Qq2k2k3v40v40m4s0SAT0
Qq2k2k3v40v40m4s1SAT0
Qq2k2k3v40v40m4s3SAT0
Qq2k2k3v40v40m4s5SAT0
Qq2k2k3v40v40m4s6SAT0
Qq2k2k3v40v40m4s8SAT0
Qq2k2k3v40v40m4s9SAT0
Qq2k2k3v40v40m8s0SAT0
Qq2k2k3v40v40m8s1SAT0
Qq2k2k3v40v40m8s2SAT0
Qq2k2k3v40v40m8s4SAT0
Qq2k2k3v40v40m8s5SAT0
Qq2k2k3v40v40m8s6SAT0
Qq2k2k3v40v40m8s7SAT0
Qq2k2k3v40v40m8s8SAT0
Qq2k2k3v40v40m8s9SAT0
Qq2k2k3v40v40m16s0SAT0
Qq2k2k3v40v40m16s1SAT0
Qq2k2k3v40v40m16s2SAT0
Qq2k2k3v40v40m16s3SAT0
Qq2k2k3v40v40m16s4SAT0
Qq2k2k3v40v40m16s5SAT0
Qq2k2k3v40v40m16s6SAT0
Qq2k2k3v40v40m16s7SAT0
Qq2k2k3v40v40m16s8SAT0
Qq2k2k3v40v40m16s9SAT0
Qq2k2k3v40v40m32s0SAT0
Qq2k2k3v40v40m32s1SAT0
Qq2k2k3v40v40m32s4SAT0
Qq2k2k3v40v40m32s5SAT0
Qq2k2k3v40v40m32s6SAT0
Qq2k2k3v40v40m32s7SAT0
Qq2k2k3v40v40m32s8SAT0
Qq2k2k3v40v40m32s9SAT0
Qq2k2k3v80v80m2s1SAT0
Qq2k2k3v80v80m2s2SAT0
Qq2k2k3v80v80m2s3SAT0
Qq2k2k3v80v80m2s4SAT0
Qq2k2k3v80v80m2s6SAT0
Qq2k2k3v80v80m2s8SAT0
Qq2k2k3v80v80m2s9SAT0
Qq2k2k3v80v80m4s0SAT0
Qq2k2k3v80v80m4s1SAT0
Qq2k2k3v80v80m4s2SAT0
Qq2k2k3v80v80m4s3SAT0
Qq2k2k3v80v80m4s4SAT0
Qq2k2k3v80v80m4s6SAT0
Qq2k2k3v80v80m4s7SAT0
Qq2k2k3v80v80m8s1SAT0
Qq2k2k3v80v80m8s2SAT0
Qq2k2k3v80v80m8s4SAT0
Qq2k2k3v80v80m8s6SAT0
Qq2k2k3v80v80m8s7SAT0
Qq2k2k3v80v80m8s8SAT0
Qq2k2k3v80v80m8s9SAT0
Qq2k2k3v80v80m16s0SAT0
Qq2k2k3v80v80m16s1SAT0
Qq2k2k3v80v80m16s2SAT0
Qq2k2k3v80v80m16s3SAT0
Qq2k2k3v80v80m16s4SAT0
Qq2k2k3v80v80m16s5SAT0
Qq2k2k3v80v80m16s7SAT0
Qq2k2k3v80v80m16s8SAT0
Qq2k2k3v80v80m32s4SAT0
Qq2k2k3v80v80m32s5SAT0
Qq2k2k3v80v80m32s6SAT0
Qq2k2k3v80v80m32s7SAT0
Qq2k2k3v80v80m32s9SAT0
Qq2k3k2v40v40m2s0SAT0
Qq2k3k2v40v40m2s1SAT0
Qq2k3k2v40v40m2s2SAT0
Qq2k3k2v40v40m2s3SAT0
Qq2k3k2v40v40m2s4SAT0
Qq2k3k2v40v40m2s6SAT0
Qq2k3k2v40v40m2s7SAT0
Qq2k3k2v40v40m2s8SAT0
Qq2k3k2v40v40m2s9SAT0
Qq2k3k2v40v40m4s1SAT0
Qq2k3k2v40v40m4s2SAT0
Qq2k3k2v40v40m4s3SAT0
Qq2k3k2v40v40m4s5SAT0
Qq2k3k2v40v40m4s6SAT0
Qq2k3k2v40v40m4s7SAT0
Qq2k3k2v40v40m4s8SAT0
Qq2k3k2v40v40m4s9SAT0
Qq2k3k2v40v40m8s0SAT0
Qq2k3k2v40v40m8s6SAT0
Qq2k3k2v40v40m8s7SAT0
Qq2k3k2v40v40m16s1SAT0
Qq2k3k2v40v40m16s2SAT0
Qq2k3k2v40v40m16s3SAT0
Qq2k3k2v40v40m16s4SAT0
Qq2k3k2v40v40m16s6SAT0
Qq2k3k2v40v40m16s7SAT0
Qq2k3k2v40v40m16s8SAT0
Qq2k3k2v40v40m16s9SAT0
Qq2k3k2v40v40m32s0SAT0
Qq2k3k2v40v40m32s1SAT0
Qq2k3k2v40v40m32s2SAT0
Qq2k3k2v40v40m32s4SAT0
Qq2k3k2v40v40m32s5SAT0
Qq2k3k2v40v40m32s6SAT0
Qq2k3k2v40v40m32s7SAT0
Qq2k3k2v40v40m32s9SAT0
Qq2k3k2v80v80m2s0SAT0
Qq2k3k2v80v80m2s1SAT0
Qq2k3k2v80v80m2s2SAT0
Qq2k3k2v80v80m2s3SAT0
Qq2k3k2v80v80m2s4SAT0
Qq2k3k2v80v80m2s5SAT0
Qq2k3k2v80v80m2s6SAT0
Qq2k3k2v80v80m2s7SAT0
Qq2k3k2v80v80m2s8SAT0
Qq2k3k2v80v80m2s9SAT0
Qq2k3k2v80v80m4s0SAT0
Qq2k3k2v80v80m4s1SAT0
Qq2k3k2v80v80m4s2SAT0
Qq2k3k2v80v80m4s3SAT0
Qq2k3k2v80v80m4s4SAT0
Qq2k3k2v80v80m4s5SAT0
Qq2k3k2v80v80m4s6SAT0
Qq2k3k2v80v80m4s7SAT0
Qq2k3k2v80v80m4s8SAT0
Qq2k3k2v80v80m4s9SAT0
Qq2k3k2v80v80m8s0SAT0
Qq2k3k2v80v80m8s2SAT0
Qq2k3k2v80v80m8s3SAT0
Qq2k3k2v80v80m8s5SAT0
Qq2k3k2v80v80m8s6SAT0
Qq2k3k2v80v80m8s7SAT0
Qq2k3k2v80v80m8s8SAT0
Qq2k3k2v80v80m8s9SAT0
Qq2k3k2v80v80m16s1SAT0
Qq2k3k2v80v80m16s2SAT0
Qq2k3k2v80v80m16s3SAT0
Qq2k3k2v80v80m16s4SAT0
Qq2k3k2v80v80m16s5SAT0
Qq2k3k2v80v80m16s7SAT0
Qq2k3k2v80v80m32s0SAT0
Qq2k3k2v80v80m32s1SAT0
Qq2k3k2v80v80m32s2SAT0
Qq2k3k2v80v80m32s3SAT0
Qq2k3k2v80v80m32s4SAT0
Qq2k3k2v80v80m32s6SAT0
Qq2k3k2v80v80m32s7SAT0
Qq2k3k2v80v80m32s8SAT0
Qq3k1k1k3v40v40v40m2s0SAT0
Qq3k1k1k3v40v40v40m2s2SAT0
Qq3k1k1k3v40v40v40m2s3SAT0
Qq3k1k1k3v40v40v40m2s5SAT0
Qq3k1k1k3v40v40v40m2s6SAT0
Qq3k1k1k3v40v40v40m2s7SAT0
Qq3k1k1k3v40v40v40m2s8SAT0
Qq3k1k1k3v40v40v40m4s0SAT0
Qq3k1k1k3v40v40v40m4s1SAT0
Qq3k1k1k3v40v40v40m4s2SAT0
Qq3k1k1k3v40v40v40m4s3SAT0
Qq3k1k1k3v40v40v40m4s4SAT0
Qq3k1k1k3v40v40v40m4s5SAT0
Qq3k1k1k3v40v40v40m4s6SAT0
Qq3k1k1k3v40v40v40m4s7SAT0
Qq3k1k1k3v40v40v40m4s8SAT0
Qq3k1k1k3v40v40v40m4s9SAT0
Qq3k1k1k3v40v40v40m8s0SAT0
Qq3k1k1k3v40v40v40m8s1SAT0
Qq3k1k1k3v40v40v40m8s2SAT0
Qq3k1k1k3v40v40v40m8s3SAT0
Qq3k1k1k3v40v40v40m8s4SAT0
Qq3k1k1k3v40v40v40m8s5SAT0
Qq3k1k1k3v40v40v40m8s7SAT0
Qq3k1k1k3v40v40v40m16s0SAT0
Qq3k1k1k3v40v40v40m16s1SAT0
Qq3k1k1k3v40v40v40m16s2SAT0
Qq3k1k1k3v40v40v40m16s3SAT0
Qq3k1k1k3v40v40v40m16s4SAT0
Qq3k1k1k3v40v40v40m16s5SAT0
Qq3k1k1k3v40v40v40m16s6SAT0
Qq3k1k1k3v40v40v40m16s7SAT0
Qq3k1k1k3v40v40v40m16s8SAT0
Qq3k1k1k3v40v40v40m32s1SAT0
Qq3k1k1k3v40v40v40m32s2SAT0
Qq3k1k1k3v40v40v40m32s3SAT0
Qq3k1k1k3v40v40v40m32s5SAT0
Qq3k1k1k3v40v40v40m32s7SAT0
Qq3k1k1k3v40v40v40m32s9SAT0
Qq3k1k1k3v80v80v80m2s1SAT0
Qq3k1k1k3v80v80v80m2s3SAT0
Qq3k1k1k3v80v80v80m2s5SAT0
Qq3k1k1k3v80v80v80m2s6SAT0
Qq3k1k1k3v80v80v80m2s7SAT0
Qq3k1k1k3v80v80v80m2s8SAT0
Qq3k1k1k3v80v80v80m4s0SAT0
Qq3k1k1k3v80v80v80m4s1SAT0
Qq3k1k1k3v80v80v80m4s4SAT0
Qq3k1k1k3v80v80v80m4s6SAT0
Qq3k1k1k3v80v80v80m4s7SAT0
Qq3k1k1k3v80v80v80m4s8SAT0
Qq3k1k1k3v80v80v80m4s9SAT0
Qq3k1k1k3v80v80v80m8s0SAT0
Qq3k1k1k3v80v80v80m8s1SAT0
Qq3k1k1k3v80v80v80m8s2SAT0
Qq3k1k1k3v80v80v80m8s3SAT0
Qq3k1k1k3v80v80v80m8s5SAT0
Qq3k1k1k3v80v80v80m8s6SAT0
Qq3k1k1k3v80v80v80m8s7SAT0
Qq3k1k1k3v80v80v80m8s8SAT0
Qq3k1k1k3v80v80v80m8s9SAT0
Qq3k1k1k3v80v80v80m16s0SAT0
Qq3k1k1k3v80v80v80m16s1SAT0
Qq3k1k1k3v80v80v80m16s2SAT0
Qq3k1k1k3v80v80v80m16s4SAT0
Qq3k1k1k3v80v80v80m16s5SAT0
Qq3k1k1k3v80v80v80m16s6SAT0
Qq3k1k1k3v80v80v80m16s7SAT0
Qq3k1k1k3v80v80v80m16s8SAT0
Qq3k1k1k3v80v80v80m16s9SAT0
Qq3k1k1k3v80v80v80m32s0SAT0
Qq3k1k1k3v80v80v80m32s1SAT0
Qq3k1k1k3v80v80v80m32s2SAT0
Qq3k1k1k3v80v80v80m32s3SAT0
Qq3k1k1k3v80v80v80m32s4SAT0
Qq3k1k1k3v80v80v80m32s5SAT0
Qq3k1k1k3v80v80v80m32s6SAT0
Qq3k1k1k3v80v80v80m32s7SAT0
Qq3k1k1k3v80v80v80m32s8SAT0
Qq3k1k1k3v80v80v80m32s9SAT0
Qq3k1k2k2v40v40v40m2s0SAT0
Qq3k1k2k2v40v40v40m2s1SAT0
Qq3k1k2k2v40v40v40m2s2SAT0
Qq3k1k2k2v40v40v40m2s4SAT0
Qq3k1k2k2v40v40v40m2s7SAT0
Qq3k1k2k2v40v40v40m2s9SAT0
Qq3k1k2k2v40v40v40m4s0SAT0
Qq3k1k2k2v40v40v40m4s1SAT0
Qq3k1k2k2v40v40v40m4s2SAT0
Qq3k1k2k2v40v40v40m4s3SAT0
Qq3k1k2k2v40v40v40m4s4SAT0
Qq3k1k2k2v40v40v40m4s6SAT0
Qq3k1k2k2v40v40v40m4s7SAT0
Qq3k1k2k2v40v40v40m4s8SAT0
Qq3k1k2k2v40v40v40m4s9SAT0
Qq3k1k2k2v40v40v40m8s0SAT0
Qq3k1k2k2v40v40v40m8s2SAT0
Qq3k1k2k2v40v40v40m8s4SAT0
Qq3k1k2k2v40v40v40m8s5SAT0
Qq3k1k2k2v40v40v40m8s7SAT0
Qq3k1k2k2v40v40v40m8s8SAT0
Qq3k1k2k2v40v40v40m8s9SAT0
Qq3k1k2k2v40v40v40m16s0SAT0
Qq3k1k2k2v40v40v40m16s1SAT0
Qq3k1k2k2v40v40v40m16s2SAT0
Qq3k1k2k2v40v40v40m16s3SAT0
Qq3k1k2k2v40v40v40m16s5SAT0
Qq3k1k2k2v40v40v40m16s6SAT0
Qq3k1k2k2v40v40v40m16s8SAT0
Qq3k1k2k2v40v40v40m32s1SAT0
Qq3k1k2k2v40v40v40m32s2SAT0
Qq3k1k2k2v40v40v40m32s3SAT0
Qq3k1k2k2v40v40v40m32s4SAT0
Qq3k1k2k2v40v40v40m32s5SAT0
Qq3k1k2k2v40v40v40m32s6SAT0
Qq3k1k2k2v40v40v40m32s7SAT0
Qq3k1k2k2v40v40v40m32s8SAT0
Qq3k1k2k2v80v80v80m2s2SAT0
Qq3k1k2k2v80v80v80m2s3SAT0
Qq3k1k2k2v80v80v80m2s4SAT0
Qq3k1k2k2v80v80v80m2s5SAT0
Qq3k1k2k2v80v80v80m2s6SAT0
Qq3k1k2k2v80v80v80m2s8SAT0
Qq3k1k2k2v80v80v80m2s9SAT0
Qq3k1k2k2v80v80v80m4s0SAT0
Qq3k1k2k2v80v80v80m4s2SAT0
Qq3k1k2k2v80v80v80m4s3SAT0
Qq3k1k2k2v80v80v80m4s4SAT0
Qq3k1k2k2v80v80v80m4s5SAT0
Qq3k1k2k2v80v80v80m4s6SAT0
Qq3k1k2k2v80v80v80m4s7SAT0
Qq3k1k2k2v80v80v80m4s8SAT0
Qq3k1k2k2v80v80v80m4s9SAT0
Qq3k1k2k2v80v80v80m8s0SAT0
Qq3k1k2k2v80v80v80m8s1SAT0
Qq3k1k2k2v80v80v80m8s2SAT0
Qq3k1k2k2v80v80v80m8s3SAT0
Qq3k1k2k2v80v80v80m8s6SAT0
Qq3k1k2k2v80v80v80m8s7SAT0
Qq3k1k2k2v80v80v80m8s8SAT0
Qq3k1k2k2v80v80v80m8s9SAT0
Qq3k1k2k2v80v80v80m16s0SAT0
Qq3k1k2k2v80v80v80m16s1SAT0
Qq3k1k2k2v80v80v80m16s2SAT0
Qq3k1k2k2v80v80v80m16s3SAT0
Qq3k1k2k2v80v80v80m16s4SAT0
Qq3k1k2k2v80v80v80m16s5SAT0
Qq3k1k2k2v80v80v80m16s6SAT0
Qq3k1k2k2v80v80v80m16s7SAT0
Qq3k1k2k2v80v80v80m16s8SAT0
Qq3k1k2k2v80v80v80m16s9SAT0
Qq3k1k2k2v80v80v80m32s0SAT0
Qq3k1k2k2v80v80v80m32s1SAT0
Qq3k1k2k2v80v80v80m32s2SAT0
Qq3k1k2k2v80v80v80m32s3SAT0
Qq3k1k2k2v80v80v80m32s4SAT0
Qq3k1k2k2v80v80v80m32s5SAT0
Qq3k1k2k2v80v80v80m32s6SAT0
Qq3k1k2k2v80v80v80m32s8SAT0
Qq3k1k3k1v40v40v40m2s0SAT0
Qq3k1k3k1v40v40v40m2s1SAT0
Qq3k1k3k1v40v40v40m2s2SAT0
Qq3k1k3k1v40v40v40m2s4SAT0
Qq3k1k3k1v40v40v40m2s5SAT0
Qq3k1k3k1v40v40v40m2s7SAT0
Qq3k1k3k1v40v40v40m2s9SAT0
Qq3k1k3k1v40v40v40m4s0SAT0
Qq3k1k3k1v40v40v40m4s1SAT0
Qq3k1k3k1v40v40v40m4s2SAT0
Qq3k1k3k1v40v40v40m4s3SAT0
Qq3k1k3k1v40v40v40m4s4SAT0
Qq3k1k3k1v40v40v40m4s5SAT0
Qq3k1k3k1v40v40v40m4s6SAT0
Qq3k1k3k1v40v40v40m4s7SAT0
Qq3k1k3k1v40v40v40m4s9SAT0
Qq3k1k3k1v40v40v40m8s0SAT0
Qq3k1k3k1v40v40v40m8s1SAT0
Qq3k1k3k1v40v40v40m8s2SAT0
Qq3k1k3k1v40v40v40m8s3SAT0
Qq3k1k3k1v40v40v40m8s4SAT0
Qq3k1k3k1v40v40v40m8s6SAT0
Qq3k1k3k1v40v40v40m8s8SAT0
Qq3k1k3k1v40v40v40m16s2SAT0
Qq3k1k3k1v40v40v40m16s3SAT0
Qq3k1k3k1v40v40v40m16s5SAT0
Qq3k1k3k1v40v40v40m16s6SAT0
Qq3k1k3k1v40v40v40m16s7SAT0
Qq3k1k3k1v40v40v40m16s8SAT0
Qq3k1k3k1v40v40v40m32s0SAT0
Qq3k1k3k1v40v40v40m32s1SAT0
Qq3k1k3k1v40v40v40m32s2SAT0
Qq3k1k3k1v40v40v40m32s4SAT0
Qq3k1k3k1v40v40v40m32s6SAT0
Qq3k1k3k1v40v40v40m32s8SAT0
Qq3k1k3k1v40v40v40m32s9SAT0
Qq3k1k3k1v80v80v80m2s0SAT0
Qq3k1k3k1v80v80v80m2s1SAT0
Qq3k1k3k1v80v80v80m2s2SAT0
Qq3k1k3k1v80v80v80m2s4SAT0
Qq3k1k3k1v80v80v80m2s5SAT0
Qq3k1k3k1v80v80v80m2s7SAT0
Qq3k1k3k1v80v80v80m2s8SAT0
Qq3k1k3k1v80v80v80m2s9SAT0
Qq3k1k3k1v80v80v80m4s2SAT0
Qq3k1k3k1v80v80v80m4s3SAT0
Qq3k1k3k1v80v80v80m4s6SAT0
Qq3k1k3k1v80v80v80m4s7SAT0
Qq3k1k3k1v80v80v80m4s9SAT0
Qq3k1k3k1v80v80v80m8s0SAT0
Qq3k1k3k1v80v80v80m8s2SAT0
Qq3k1k3k1v80v80v80m8s3SAT0
Qq3k1k3k1v80v80v80m8s5SAT0
Qq3k1k3k1v80v80v80m8s8SAT0
Qq3k1k3k1v80v80v80m16s1SAT0
Qq3k1k3k1v80v80v80m16s2SAT0
Qq3k1k3k1v80v80v80m16s3SAT0
Qq3k1k3k1v80v80v80m16s6SAT0
Qq3k1k3k1v80v80v80m16s7SAT0
Qq3k1k3k1v80v80v80m16s8SAT0
Qq3k1k3k1v80v80v80m16s9SAT0
Qq3k1k3k1v80v80v80m32s1SAT0
Qq3k1k3k1v80v80v80m32s2SAT0
Qq3k1k3k1v80v80v80m32s3SAT0
Qq3k1k3k1v80v80v80m32s4SAT0
Qq3k1k3k1v80v80v80m32s5SAT0
Qq3k1k3k1v80v80v80m32s6SAT0
Qq3k1k3k1v80v80v80m32s7SAT0
Qq3k1k3k1v80v80v80m32s8SAT0
Qq3k1k3k1v80v80v80m32s9SAT0
Qq3k2k1k2v40v40v40m2s1SAT0
Qq3k2k1k2v40v40v40m2s2SAT0
Qq3k2k1k2v40v40v40m2s3SAT0
Qq3k2k1k2v40v40v40m2s4SAT0
Qq3k2k1k2v40v40v40m2s6SAT0
Qq3k2k1k2v40v40v40m2s7SAT0
Qq3k2k1k2v40v40v40m2s8SAT0
Qq3k2k1k2v40v40v40m2s9SAT0
Qq3k2k1k2v40v40v40m4s2SAT0
Qq3k2k1k2v40v40v40m4s3SAT0
Qq3k2k1k2v40v40v40m4s5SAT0
Qq3k2k1k2v40v40v40m4s6SAT0
Qq3k2k1k2v40v40v40m4s7SAT0
Qq3k2k1k2v40v40v40m4s8SAT0
Qq3k2k1k2v40v40v40m4s9SAT0
Qq3k2k1k2v40v40v40m8s0SAT0
Qq3k2k1k2v40v40v40m8s1SAT0
Qq3k2k1k2v40v40v40m8s4SAT0
Qq3k2k1k2v40v40v40m8s6SAT0
Qq3k2k1k2v40v40v40m8s8SAT0
Qq3k2k1k2v40v40v40m16s0SAT0
Qq3k2k1k2v40v40v40m16s1SAT0
Qq3k2k1k2v40v40v40m16s3SAT0
Qq3k2k1k2v40v40v40m16s4SAT0
Qq3k2k1k2v40v40v40m16s5SAT0
Qq3k2k1k2v40v40v40m16s6SAT0
Qq3k2k1k2v40v40v40m16s7SAT0
Qq3k2k1k2v40v40v40m16s8SAT0
Qq3k2k1k2v40v40v40m16s9SAT0
Qq3k2k1k2v40v40v40m32s0SAT0
Qq3k2k1k2v40v40v40m32s1SAT0
Qq3k2k1k2v40v40v40m32s2SAT0
Qq3k2k1k2v40v40v40m32s3SAT0
Qq3k2k1k2v40v40v40m32s4SAT0
Qq3k2k1k2v40v40v40m32s6SAT0
Qq3k2k1k2v40v40v40m32s7SAT0
Qq3k2k1k2v40v40v40m32s8SAT0
Qq3k2k1k2v40v40v40m32s9SAT0
Qq3k2k1k2v80v80v80m2s2SAT0
Qq3k2k1k2v80v80v80m2s4SAT0
Qq3k2k1k2v80v80v80m2s5SAT0
Qq3k2k1k2v80v80v80m2s6SAT0
Qq3k2k1k2v80v80v80m2s8SAT0
Qq3k2k1k2v80v80v80m2s9SAT0
Qq3k2k1k2v80v80v80m4s0SAT0
Qq3k2k1k2v80v80v80m4s1SAT0
Qq3k2k1k2v80v80v80m4s2SAT0
Qq3k2k1k2v80v80v80m4s4SAT0
Qq3k2k1k2v80v80v80m4s5SAT0
Qq3k2k1k2v80v80v80m4s6SAT0
Qq3k2k1k2v80v80v80m4s7SAT0
Qq3k2k1k2v80v80v80m4s8SAT0
Qq3k2k1k2v80v80v80m4s9SAT0
Qq3k2k1k2v80v80v80m8s0SAT0
Qq3k2k1k2v80v80v80m8s1SAT0
Qq3k2k1k2v80v80v80m8s2SAT0
Qq3k2k1k2v80v80v80m8s3SAT0
Qq3k2k1k2v80v80v80m8s4SAT0
Qq3k2k1k2v80v80v80m8s6SAT0
Qq3k2k1k2v80v80v80m8s7SAT0
Qq3k2k1k2v80v80v80m8s8SAT0
Qq3k2k1k2v80v80v80m8s9SAT0
Qq3k2k1k2v80v80v80m16s2SAT0
Qq3k2k1k2v80v80v80m16s3SAT0
Qq3k2k1k2v80v80v80m16s4SAT0
Qq3k2k1k2v80v80v80m16s5SAT0
Qq3k2k1k2v80v80v80m16s6SAT0
Qq3k2k1k2v80v80v80m16s8SAT0
Qq3k2k1k2v80v80v80m16s9SAT0
Qq3k2k1k2v80v80v80m32s0SAT0
Qq3k2k1k2v80v80v80m32s1SAT0
Qq3k2k1k2v80v80v80m32s2SAT0
Qq3k2k1k2v80v80v80m32s3SAT0
Qq3k2k1k2v80v80v80m32s4SAT0
Qq3k2k1k2v80v80v80m32s5SAT0
Qq3k2k1k2v80v80v80m32s6SAT0
Qq3k2k1k2v80v80v80m32s8SAT0
Qq3k2k1k2v80v80v80m32s9SAT0
Qq3k2k2k1v40v40v40m2s0SAT0
Qq3k2k2k1v40v40v40m2s1SAT0
Qq3k2k2k1v40v40v40m2s2SAT0
Qq3k2k2k1v40v40v40m2s3SAT0
Qq3k2k2k1v40v40v40m2s4SAT0
Qq3k2k2k1v40v40v40m2s6SAT0
Qq3k2k2k1v40v40v40m2s7SAT0
Qq3k2k2k1v40v40v40m2s8SAT0
Qq3k2k2k1v40v40v40m2s9SAT0
Qq3k2k2k1v40v40v40m4s0SAT0
Qq3k2k2k1v40v40v40m4s1SAT0
Qq3k2k2k1v40v40v40m4s2SAT0
Qq3k2k2k1v40v40v40m4s4SAT0
Qq3k2k2k1v40v40v40m4s6SAT0
Qq3k2k2k1v40v40v40m4s8SAT0
Qq3k2k2k1v40v40v40m4s9SAT0
Qq3k2k2k1v40v40v40m8s0SAT0
Qq3k2k2k1v40v40v40m8s1SAT0
Qq3k2k2k1v40v40v40m8s2SAT0
Qq3k2k2k1v40v40v40m8s4SAT0
Qq3k2k2k1v40v40v40m8s5SAT0
Qq3k2k2k1v40v40v40m8s6SAT0
Qq3k2k2k1v40v40v40m16s0SAT0
Qq3k2k2k1v40v40v40m16s1SAT0
Qq3k2k2k1v40v40v40m16s2SAT0
Qq3k2k2k1v40v40v40m16s3SAT0
Qq3k2k2k1v40v40v40m16s4SAT0
Qq3k2k2k1v40v40v40m16s5SAT0
Qq3k2k2k1v40v40v40m16s7SAT0
Qq3k2k2k1v40v40v40m16s9SAT0
Qq3k2k2k1v40v40v40m32s0SAT0
Qq3k2k2k1v40v40v40m32s1SAT0
Qq3k2k2k1v40v40v40m32s3SAT0
Qq3k2k2k1v40v40v40m32s4SAT0
Qq3k2k2k1v40v40v40m32s5SAT0
Qq3k2k2k1v40v40v40m32s6SAT0
Qq3k2k2k1v40v40v40m32s7SAT0
Qq3k2k2k1v40v40v40m32s8SAT0
Qq3k2k2k1v40v40v40m32s9SAT0
Qq3k2k2k1v80v80v80m2s0SAT0
Qq3k2k2k1v80v80v80m2s1SAT0
Qq3k2k2k1v80v80v80m2s2SAT0
Qq3k2k2k1v80v80v80m2s3SAT0
Qq3k2k2k1v80v80v80m2s4SAT0
Qq3k2k2k1v80v80v80m2s6SAT0
Qq3k2k2k1v80v80v80m2s7SAT0
Qq3k2k2k1v80v80v80m2s8SAT0
Qq3k2k2k1v80v80v80m2s9SAT0
Qq3k2k2k1v80v80v80m4s2SAT0
Qq3k2k2k1v80v80v80m4s3SAT0
Qq3k2k2k1v80v80v80m4s5SAT0
Qq3k2k2k1v80v80v80m4s6SAT0
Qq3k2k2k1v80v80v80m4s7SAT0
Qq3k2k2k1v80v80v80m4s9SAT0
Qq3k2k2k1v80v80v80m8s0SAT0
Qq3k2k2k1v80v80v80m8s2SAT0
Qq3k2k2k1v80v80v80m8s3SAT0
Qq3k2k2k1v80v80v80m8s4SAT0
Qq3k2k2k1v80v80v80m8s5SAT0
Qq3k2k2k1v80v80v80m8s6SAT0
Qq3k2k2k1v80v80v80m8s7SAT0
Qq3k2k2k1v80v80v80m8s8SAT0
Qq3k2k2k1v80v80v80m8s9SAT0
Qq3k2k2k1v80v80v80m16s1SAT0
Qq3k2k2k1v80v80v80m16s2SAT0
Qq3k2k2k1v80v80v80m16s3SAT0
Qq3k2k2k1v80v80v80m16s4SAT0
Qq3k2k2k1v80v80v80m16s5SAT0
Qq3k2k2k1v80v80v80m16s8SAT0
Qq3k2k2k1v80v80v80m32s0SAT0
Qq3k2k2k1v80v80v80m32s1SAT0
Qq3k2k2k1v80v80v80m32s3SAT0
Qq3k2k2k1v80v80v80m32s4SAT0
Qq3k2k2k1v80v80v80m32s5SAT0
Qq3k3k1k1v40v40v40m2s0SAT0
Qq3k3k1k1v40v40v40m2s3SAT0
Qq3k3k1k1v40v40v40m2s4SAT0
Qq3k3k1k1v40v40v40m2s5SAT0
Qq3k3k1k1v40v40v40m2s6SAT0
Qq3k3k1k1v40v40v40m2s7SAT0
Qq3k3k1k1v40v40v40m2s8SAT0
Qq3k3k1k1v40v40v40m2s9SAT0
Qq3k3k1k1v40v40v40m4s0SAT0
Qq3k3k1k1v40v40v40m4s1SAT0
Qq3k3k1k1v40v40v40m4s2SAT0
Qq3k3k1k1v40v40v40m4s3SAT0
Qq3k3k1k1v40v40v40m4s4SAT0
Qq3k3k1k1v40v40v40m4s5SAT0
Qq3k3k1k1v40v40v40m4s6SAT0
Qq3k3k1k1v40v40v40m4s7SAT0
Qq3k3k1k1v40v40v40m4s8SAT0
Qq3k3k1k1v40v40v40m8s0SAT0
Qq3k3k1k1v40v40v40m8s1SAT0
Qq3k3k1k1v40v40v40m8s2SAT0
Qq3k3k1k1v40v40v40m8s3SAT0
Qq3k3k1k1v40v40v40m8s4SAT0
Qq3k3k1k1v40v40v40m8s6SAT0
Qq3k3k1k1v40v40v40m8s7SAT0
Qq3k3k1k1v40v40v40m8s9SAT0
Qq3k3k1k1v40v40v40m16s0SAT0
Qq3k3k1k1v40v40v40m16s1SAT0
Qq3k3k1k1v40v40v40m16s2SAT0
Qq3k3k1k1v40v40v40m16s3SAT0
Qq3k3k1k1v40v40v40m16s5SAT0
Qq3k3k1k1v40v40v40m16s6SAT0
Qq3k3k1k1v40v40v40m16s7SAT0
Qq3k3k1k1v40v40v40m16s8SAT0
Qq3k3k1k1v40v40v40m16s9SAT0
Qq3k3k1k1v40v40v40m32s1SAT0
Qq3k3k1k1v40v40v40m32s2SAT0
Qq3k3k1k1v40v40v40m32s3SAT0
Qq3k3k1k1v40v40v40m32s4SAT0
Qq3k3k1k1v40v40v40m32s6SAT0
Qq3k3k1k1v40v40v40m32s7SAT0
Qq3k3k1k1v80v80v80m2s0SAT0
Qq3k3k1k1v80v80v80m2s1SAT0
Qq3k3k1k1v80v80v80m2s2SAT0
Qq3k3k1k1v80v80v80m2s3SAT0
Qq3k3k1k1v80v80v80m2s4SAT0
Qq3k3k1k1v80v80v80m2s5SAT0
Qq3k3k1k1v80v80v80m2s6SAT0
Qq3k3k1k1v80v80v80m4s0SAT0
Qq3k3k1k1v80v80v80m4s1SAT0
Qq3k3k1k1v80v80v80m4s2SAT0
Qq3k3k1k1v80v80v80m4s3SAT0
Qq3k3k1k1v80v80v80m4s6SAT0
Qq3k3k1k1v80v80v80m4s7SAT0
Qq3k3k1k1v80v80v80m4s8SAT0
Qq3k3k1k1v80v80v80m8s0SAT0
Qq3k3k1k1v80v80v80m8s2SAT0
Qq3k3k1k1v80v80v80m8s3SAT0
Qq3k3k1k1v80v80v80m8s8SAT0
Qq3k3k1k1v80v80v80m8s9SAT0
Qq3k3k1k1v80v80v80m16s0SAT0
Qq3k3k1k1v80v80v80m16s1SAT0
Qq3k3k1k1v80v80v80m16s3SAT0
Qq3k3k1k1v80v80v80m16s4SAT0
Qq3k3k1k1v80v80v80m16s5SAT0
Qq3k3k1k1v80v80v80m16s6SAT0
Qq3k3k1k1v80v80v80m16s7SAT0
Qq3k3k1k1v80v80v80m16s8SAT0
Qq3k3k1k1v80v80v80m32s1SAT0
Qq3k3k1k1v80v80v80m32s4SAT0
Qq3k3k1k1v80v80v80m32s6SAT0
Qq3k3k1k1v80v80v80m32s7SAT0
Qq3k3k1k1v80v80v80m32s9SAT0
ncf_8_16_4_d.4SAT0.01
ncf_4_8_4_euad.9SAT0.01
5qbf-5cnf-160var-640cl.3SAT0.01
5qbf-5cnf-160var-640cl.1SAT0.01
ncf_4_8_8_edau.3SAT0.01
ncf_4_8_8_u.9UNSAT0.01
ncf_4_8_8_d.8SAT0.01
ncf_16_32_2_d.7UNSAT0.01
ncf_4_16_2_edau.4SAT0.01
ncf_4_16_2_edau.2SAT0.01
5qbf-5cnf-160var-640cl.9SAT0.01
ncf_4_16_4_d.1SAT0.01
ncf_8_16_4_edau.10SAT0.01
ncf_8_16_4_edau.1SAT0.01
ncf_16_32_4_edau.3SAT0.01
6qbf-5cnf-160var-640cl.8SAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_u.1SAT0.01
qshifter_5SAT0.01
5qbf-5cnf-160var-640cl.2SAT0.01
5qbf-5cnf-160var-640cl.0SAT0.01
ncf_16_32_2_d.6SAT0.01
ncf_8_16_4_d.5UNSAT0.01
ncf_4_8_8_edau.1SAT0.01
6qbf-5cnf-160var-640cl.6SAT0.01
ncf_4_16_4_edau.8SAT0.01
ncf_4_16_2_d.4SAT0.01
6qbf-5cnf-160var-640cl.4SAT0.01
6qbf-5cnf-160var-640cl.7SAT0.01
ncf_4_8_8_d.3SAT0.01
6qbf-5cnf-160var-640cl.1SAT0.01
ncf_8_16_4_edau.4SAT0.01
ncf_4_8_8_euad.9UNSAT0.01
ncf_16_32_4_edau.9SAT0.01
6qbf-5cnf-160var-640cl.5SAT0.01
ncf_16_32_4_edau.2SAT0.01
6qbf-5cnf-160var-640cl.0SAT0.01
ncf_16_32_2_edau.7UNSAT0.01
ncf_4_8_8_d.9UNSAT0.01
5qbf-5cnf-160var-640cl.5SAT0.01
ncf_4_8_2_euad.10SAT0.01
ncf_4_16_4_edau.1SAT0.01
ncf_4_8_8_edau.9UNSAT0.01
ncf_16_32_4_edau.8SAT0.01
6qbf-5cnf-160var-640cl.3SAT0.01
ncf_4_8_2_u.10SAT0.01
ncf_4_8_8_edau.8SAT0.01
x10.7SAT0.01
x5.0SAT0.01
x5.1UNSAT0.01
x5.3UNSAT0.01
x5.7UNSAT0.01
x5.8UNSAT0.01
cmu.dme2.B-d2SAT0.01
eijk.S208c.S-d2SAT0.01
eijk.S208o.S-d2SAT0.01
eijk.S298.S-d2SAT0.01
eijk.S382.S-d2SAT0.01
eijk.S444.S-d2SAT0.01
vis.coherence^1.E-d2SAT0.01
vis.eisenberg.E-d2SAT0.01
Qq2k1k4v40v40m2s1SAT0.01
Qq2k1k4v40v40m2s9SAT0.01
Qq2k1k4v40v40m4s0SAT0.01
Qq2k1k4v40v40m4s1SAT0.01
Qq2k1k4v40v40m4s5SAT0.01
Qq2k1k4v40v40m4s9SAT0.01
Qq2k1k4v40v40m8s2UNSAT0.01
Qq2k1k4v40v40m16s4SAT0.01
Qq2k1k4v40v40m16s7SAT0.01
Qq2k1k4v40v40m16s8SAT0.01
Qq2k1k4v40v40m32s4UNSAT0.01
Qq2k1k4v40v40m32s9UNSAT0.01
Qq2k1k4v80v80m2s4SAT0.01
Qq2k1k4v80v80m2s9SAT0.01
Qq2k1k4v80v80m4s6SAT0.01
Qq2k1k4v80v80m4s9SAT0.01
Qq2k1k4v80v80m8s0SAT0.01
Qq2k1k4v80v80m8s3SAT0.01
Qq2k1k4v80v80m16s7SAT0.01
Qq2k1k4v80v80m32s4UNSAT0.01
Qq2k1k4v80v80m32s5UNSAT0.01
Qq2k1k4v80v80m32s6UNSAT0.01
Qq2k2k3v40v40m2s9SAT0.01
Qq2k2k3v40v40m4s2SAT0.01
Qq2k2k3v40v40m4s7SAT0.01
Qq2k2k3v40v40m8s3SAT0.01
Qq2k2k3v40v40m32s2SAT0.01
Qq2k2k3v40v40m32s3SAT0.01
Qq2k2k3v80v80m2s0SAT0.01
Qq2k2k3v80v80m2s5SAT0.01
Qq2k2k3v80v80m2s7SAT0.01
Qq2k2k3v80v80m4s5SAT0.01
Qq2k2k3v80v80m4s8SAT0.01
Qq2k2k3v80v80m4s9SAT0.01
Qq2k2k3v80v80m8s0SAT0.01
Qq2k2k3v80v80m8s3SAT0.01
Qq2k2k3v80v80m8s5SAT0.01
Qq2k2k3v80v80m16s6SAT0.01
Qq2k2k3v80v80m16s9SAT0.01
Qq2k2k3v80v80m32s0SAT0.01
Qq2k2k3v80v80m32s1SAT0.01
Qq2k2k3v80v80m32s2SAT0.01
Qq2k2k3v80v80m32s3SAT0.01
Qq2k2k3v80v80m32s8SAT0.01
Qq2k3k2v40v40m2s5SAT0.01
Qq2k3k2v40v40m4s0SAT0.01
Qq2k3k2v40v40m4s4SAT0.01
Qq2k3k2v40v40m8s1SAT0.01
Qq2k3k2v40v40m8s2SAT0.01
Qq2k3k2v40v40m8s3SAT0.01
Qq2k3k2v40v40m8s4SAT0.01
Qq2k3k2v40v40m8s5SAT0.01
Qq2k3k2v40v40m8s8SAT0.01
Qq2k3k2v40v40m8s9SAT0.01
Qq2k3k2v40v40m16s0SAT0.01
Qq2k3k2v40v40m16s5SAT0.01
Qq2k3k2v40v40m32s3SAT0.01
Qq2k3k2v40v40m32s8SAT0.01
Qq2k3k2v80v80m8s1SAT0.01
Qq2k3k2v80v80m8s4SAT0.01
Qq2k3k2v80v80m16s0SAT0.01
Qq2k3k2v80v80m16s6SAT0.01
Qq2k3k2v80v80m16s8SAT0.01
Qq2k3k2v80v80m16s9SAT0.01
Qq3k1k1k3v40v40v40m2s1SAT0.01
Qq3k1k1k3v40v40v40m2s4SAT0.01
Qq3k1k1k3v40v40v40m2s9SAT0.01
Qq3k1k1k3v40v40v40m8s6SAT0.01
Qq3k1k1k3v40v40v40m8s8SAT0.01
Qq3k1k1k3v40v40v40m16s9SAT0.01
Qq3k1k1k3v40v40v40m32s0SAT0.01
Qq3k1k1k3v40v40v40m32s4SAT0.01
Qq3k1k1k3v40v40v40m32s6SAT0.01
Qq3k1k1k3v40v40v40m32s8SAT0.01
Qq3k1k1k3v80v80v80m2s0SAT0.01
Qq3k1k1k3v80v80v80m2s2SAT0.01
Qq3k1k1k3v80v80v80m2s4SAT0.01
Qq3k1k1k3v80v80v80m2s9SAT0.01
Qq3k1k1k3v80v80v80m4s2SAT0.01
Qq3k1k1k3v80v80v80m4s3SAT0.01
Qq3k1k1k3v80v80v80m4s5SAT0.01
Qq3k1k1k3v80v80v80m8s4SAT0.01
Qq3k1k1k3v80v80v80m16s3SAT0.01
Qq3k1k2k2v40v40v40m2s3SAT0.01
Qq3k1k2k2v40v40v40m2s5SAT0.01
Qq3k1k2k2v40v40v40m2s6SAT0.01
Qq3k1k2k2v40v40v40m2s8SAT0.01
Qq3k1k2k2v40v40v40m4s5SAT0.01
Qq3k1k2k2v40v40v40m8s1SAT0.01
Qq3k1k2k2v40v40v40m8s3SAT0.01
Qq3k1k2k2v40v40v40m8s6SAT0.01
Qq3k1k2k2v40v40v40m16s4SAT0.01
Qq3k1k2k2v40v40v40m16s7SAT0.01
Qq3k1k2k2v40v40v40m16s9SAT0.01
Qq3k1k2k2v40v40v40m32s0SAT0.01
Qq3k1k2k2v40v40v40m32s9SAT0.01
Qq3k1k2k2v80v80v80m2s1SAT0.01
Qq3k1k2k2v80v80v80m2s7SAT0.01
Qq3k1k2k2v80v80v80m4s1SAT0.01
Qq3k1k2k2v80v80v80m8s4SAT0.01
Qq3k1k2k2v80v80v80m8s5SAT0.01
Qq3k1k2k2v80v80v80m32s7SAT0.01
Qq3k1k2k2v80v80v80m32s9SAT0.01
Qq3k1k3k1v40v40v40m2s3SAT0.01
Qq3k1k3k1v40v40v40m2s6SAT0.01
Qq3k1k3k1v40v40v40m2s8SAT0.01
Qq3k1k3k1v40v40v40m4s8SAT0.01
Qq3k1k3k1v40v40v40m8s5SAT0.01
Qq3k1k3k1v40v40v40m8s7SAT0.01
Qq3k1k3k1v40v40v40m8s9SAT0.01
Qq3k1k3k1v40v40v40m16s0SAT0.01
Qq3k1k3k1v40v40v40m16s1SAT0.01
Qq3k1k3k1v40v40v40m16s4SAT0.01
Qq3k1k3k1v40v40v40m16s9SAT0.01
Qq3k1k3k1v40v40v40m32s3SAT0.01
Qq3k1k3k1v40v40v40m32s5SAT0.01
Qq3k1k3k1v40v40v40m32s7SAT0.01
Qq3k1k3k1v80v80v80m2s3SAT0.01
Qq3k1k3k1v80v80v80m2s6SAT0.01
Qq3k1k3k1v80v80v80m4s0SAT0.01
Qq3k1k3k1v80v80v80m4s1SAT0.01
Qq3k1k3k1v80v80v80m4s4SAT0.01
Qq3k1k3k1v80v80v80m4s5SAT0.01
Qq3k1k3k1v80v80v80m4s8SAT0.01
Qq3k1k3k1v80v80v80m8s1SAT0.01
Qq3k1k3k1v80v80v80m8s4SAT0.01
Qq3k1k3k1v80v80v80m8s6SAT0.01
Qq3k1k3k1v80v80v80m8s7SAT0.01
Qq3k1k3k1v80v80v80m8s9SAT0.01
Qq3k1k3k1v80v80v80m16s0SAT0.01
Qq3k1k3k1v80v80v80m16s4SAT0.01
Qq3k1k3k1v80v80v80m16s5SAT0.01
Qq3k1k3k1v80v80v80m32s0SAT0.01
Qq3k2k1k2v40v40v40m2s0SAT0.01
Qq3k2k1k2v40v40v40m2s5SAT0.01
Qq3k2k1k2v40v40v40m4s0SAT0.01
Qq3k2k1k2v40v40v40m4s1SAT0.01
Qq3k2k1k2v40v40v40m4s4SAT0.01
Qq3k2k1k2v40v40v40m8s2SAT0.01
Qq3k2k1k2v40v40v40m8s3SAT0.01
Qq3k2k1k2v40v40v40m8s5SAT0.01
Qq3k2k1k2v40v40v40m8s7SAT0.01
Qq3k2k1k2v40v40v40m8s9SAT0.01
Qq3k2k1k2v40v40v40m16s2SAT0.01
Qq3k2k1k2v40v40v40m32s5SAT0.01
Qq3k2k1k2v80v80v80m2s0SAT0.01
Qq3k2k1k2v80v80v80m2s1SAT0.01
Qq3k2k1k2v80v80v80m2s3SAT0.01
Qq3k2k1k2v80v80v80m2s7SAT0.01
Qq3k2k1k2v80v80v80m8s5SAT0.01
Qq3k2k1k2v80v80v80m16s0SAT0.01
Qq3k2k1k2v80v80v80m16s1SAT0.01
Qq3k2k1k2v80v80v80m16s7SAT0.01
Qq3k2k1k2v80v80v80m32s7SAT0.01
Qq3k2k2k1v40v40v40m2s5SAT0.01
Qq3k2k2k1v40v40v40m4s3SAT0.01
Qq3k2k2k1v40v40v40m4s5SAT0.01
Qq3k2k2k1v40v40v40m4s7SAT0.01
Qq3k2k2k1v40v40v40m8s3SAT0.01
Qq3k2k2k1v40v40v40m8s7SAT0.01
Qq3k2k2k1v40v40v40m8s8SAT0.01
Qq3k2k2k1v40v40v40m8s9SAT0.01
Qq3k2k2k1v40v40v40m16s6SAT0.01
Qq3k2k2k1v40v40v40m16s8SAT0.01
Qq3k2k2k1v40v40v40m32s2SAT0.01
Qq3k2k2k1v80v80v80m2s5SAT0.01
Qq3k2k2k1v80v80v80m4s0SAT0.01
Qq3k2k2k1v80v80v80m4s4SAT0.01
Qq3k2k2k1v80v80v80m4s8SAT0.01
Qq3k2k2k1v80v80v80m8s1SAT0.01
Qq3k2k2k1v80v80v80m16s0SAT0.01
Qq3k2k2k1v80v80v80m16s6SAT0.01
Qq3k2k2k1v80v80v80m16s7SAT0.01
Qq3k2k2k1v80v80v80m16s9SAT0.01
Qq3k2k2k1v80v80v80m32s2SAT0.01
Qq3k2k2k1v80v80v80m32s6SAT0.01
Qq3k2k2k1v80v80v80m32s7SAT0.01
Qq3k2k2k1v80v80v80m32s8SAT0.01
Qq3k2k2k1v80v80v80m32s9SAT0.01
Qq3k3k1k1v40v40v40m2s1SAT0.01
Qq3k3k1k1v40v40v40m2s2SAT0.01
Qq3k3k1k1v40v40v40m4s9SAT0.01
Qq3k3k1k1v40v40v40m8s5SAT0.01
Qq3k3k1k1v40v40v40m8s8SAT0.01
Qq3k3k1k1v40v40v40m16s4SAT0.01
Qq3k3k1k1v40v40v40m32s0SAT0.01
Qq3k3k1k1v40v40v40m32s5SAT0.01
Qq3k3k1k1v40v40v40m32s8SAT0.01
Qq3k3k1k1v40v40v40m32s9SAT0.01
Qq3k3k1k1v80v80v80m2s7SAT0.01
Qq3k3k1k1v80v80v80m2s8SAT0.01
Qq3k3k1k1v80v80v80m2s9SAT0.01
Qq3k3k1k1v80v80v80m4s4SAT0.01
Qq3k3k1k1v80v80v80m4s5SAT0.01
Qq3k3k1k1v80v80v80m4s9SAT0.01
Qq3k3k1k1v80v80v80m8s1SAT0.01
Qq3k3k1k1v80v80v80m8s4SAT0.01
Qq3k3k1k1v80v80v80m8s6SAT0.01
Qq3k3k1k1v80v80v80m8s7SAT0.01
Qq3k3k1k1v80v80v80m16s2SAT0.01
Qq3k3k1k1v80v80v80m16s9SAT0.01
Qq3k3k1k1v80v80v80m32s0SAT0.01
Qq3k3k1k1v80v80v80m32s2SAT0.01
Qq3k3k1k1v80v80v80m32s3SAT0.01
Qq3k3k1k1v80v80v80m32s5SAT0.01
Qq3k3k1k1v80v80v80m32s8SAT0.01
Qq2k3k2v80v80m32s9SAT0.01
ncf_4_16_2_d.6SAT0.02
ncf_8_16_4_euad.1SAT0.02
ncf_4_8_8_edau.5UNSAT0.02
2qbf-5cnf-160var-320cl.5SAT0.02
ncf_4_16_8_d.7SAT0.02
ncf_8_16_4_euad.5UNSAT0.02
5qbf-5cnf-20var-640cl.1UNSAT0.02
ncf_4_8_8_d.5UNSAT0.02
5qbf-5cnf-160var-640cl.4SAT0.02
ncf_8_16_4_edau.5UNSAT0.02
ncf_16_32_4_d.8SAT0.02
mutex-16-sSAT0.02
3qbf-5cnf-20var-320cl.4UNSAT0.02
ncf_16_32_4_d.2SAT0.02
ncf_8_16_4_euad.2UNSAT0.02
ncf_16_32_4_d.9SAT0.02
5qbf-5cnf-160var-640cl.7SAT0.02
counter_re_4SAT0.02
x10.5UNSAT0.02
eijk.S208.S-d2SAT0.02
eijk.S386.S-d2SAT0.02
eijk.S526.S-d2SAT0.02
eijk.S953.S-d2SAT0.02
texas.ifetch1^4.E-f2UNSAT0.02
texas.parsesys^4.E-f2UNSAT0.02
Qq2k1k4v40v40m4s6SAT0.02
Qq2k1k4v40v40m32s8UNSAT0.02
Qq2k2k3v40v40m4s4SAT0.02
Qq2k3k2v80v80m32s5SAT0.02
Qq3k1k1k3v40v40v40m8s9SAT0.02
Qq3k1k2k2v80v80v80m2s0SAT0.02
Qq3k2k1k2v80v80v80m4s3SAT0.02
Qq3k2k2k1v80v80v80m4s1SAT0.02
Qq3k3k1k1v80v80v80m8s5SAT0.02
ncf_4_8_2_u.7UNSAT0.03
ncf_4_8_2_euad.4UNSAT0.03
lut4_2_fXORSAT0.03
k_lin_p-8UNSAT0.03
ncf_4_8_2_u.4UNSAT0.03
3qbf-5cnf-20var-320cl.6UNSAT0.03
ncf_16_32_8_d.3SAT0.03
ncf_16_32_8_edau.3SAT0.03
2qbf-5cnf-160var-320cl.6SAT0.03
ncf_4_8_2_euad.5SAT0.03
comp.blif_0.10_1.00_0_0_out_exactUNSAT0.03
x10.4SAT0.03
sortnetsort5.v.stepl.003UNSAT0.03
ncf_4_8_2_euad.8SAT0.04
k_poly_n-4SAT0.04
mutex-32-sSAT0.04
3qbf-5cnf-40var-640cl.6UNSAT0.04
k_t4p_p-4UNSAT0.04
BLOCKS3i.4.4UNSAT0.04
ncf_4_8_2_u.8SAT0.04
ncf_4_8_2_u.5SAT0.04
k_grz_p-4UNSAT0.04
lut4_2_f1SAT0.04
ncf_4_8_2_euad.7UNSAT0.04
toilet_c_10_05.7SAT0.04
k_d4_p-8UNSAT0.04
5qbf-5cnf-20var-640cl.4UNSAT0.04
sortnetsort5.v.stepl.004UNSAT0.04
sortnetsort6.v.stepl.003UNSAT0.04
TOILET7.1.iv.13UNSAT0.05
ncf_4_8_2_euad.6SAT0.05
ncf_4_8_2_euad.1UNSAT0.05
ncf_4_8_2_u.9SAT0.05
5qbf-5cnf-20var-640cl.0UNSAT0.05
3qbf-5cnf-40var-640cl.7UNSAT0.05
ncf_4_16_2_euad.6SAT0.05
k_grz_n-8SAT0.05
s27_d3_uUNSAT0.05
ncf_8_16_4_d.2UNSAT0.05
k_lin_p-12UNSAT0.05
ncf_8_16_4_edau.8UNSAT0.05
BLOCKS3iii.5SAT0.05
sortnetsort5.v.stepl.005SAT0.05
sortnetsort5.v.stepl.006SAT0.05
ncf_4_8_2_u.1UNSAT0.06
ncf_4_8_2_euad.9SAT0.06
CHAIN20v.21SAT0.06
k_branch_p-4UNSAT0.06
ncf_4_16_2_u.6SAT0.06
k_dum_n-8SAT0.06
ncf_4_8_2_u.6SAT0.06
ncf_8_16_4_d.8UNSAT0.06
comp.blif_0.10_0.20_0_0_out_exactUNSAT0.06
ncf_4_8_2_u.2SAT0.06
ncf_4_8_2_euad.2SAT0.06
sortnetsort5.v.stepl.007SAT0.06
mutex-64-sSAT0.07
ncf_8_16_4_edau.2UNSAT0.07
BLOCKS3ii.5.2UNSAT0.07
ncf_8_16_4_u.2UNSAT0.07
ncf_4_16_2_d.7SAT0.07
CHAIN23v.24SAT0.07
k_dum_p-12UNSAT0.07
BLOCKS3i.5.3UNSAT0.07
k_grz_p-8UNSAT0.07
3qbf-5cnf-80var-2560cl.9UNSAT0.08
3qbf-5cnf-80var-2560cl.6UNSAT0.08
k_lin_p-16UNSAT0.08
5qbf-5cnf-20var-640cl.2UNSAT0.08
CHAIN22v.23SAT0.08
5qbf-5cnf-20var-640cl.6UNSAT0.08
CHAIN21v.22SAT0.08
5qbf-5cnf-20var-640cl.9UNSAT0.08
BLOCKS3i.5.4SAT0.09
3qbf-5cnf-80var-2560cl.0UNSAT0.09
k_t4p_p-8UNSAT0.09
ncf_4_16_2_edau.7SAT0.09
k_grz_n-12SAT0.09
ncf_4_16_2_edau.9SAT0.09
s499_d2_sSAT0.09
sortnetsort6.v.stepl.005SAT0.09
sortnetsort7.v.stepl.003UNSAT0.09
BLOCKS3ii.5.3SAT0.1
k_d4_p-12UNSAT0.1
qshifter_6SAT0.1
5qbf-5cnf-20var-640cl.5UNSAT0.1
k_dum_p-16UNSAT0.1
ncf_4_16_2_u.9SAT0.1
k_dum_n-12SAT0.1
sortnetsort6.v.stepl.007SAT0.1
5qbf-5cnf-20var-640cl.7UNSAT0.11
k_dum_p-20UNSAT0.12
ncf_4_16_2_euad.9SAT0.12
k_dum_n-16SAT0.12
ncf_4_16_2_d.9SAT0.12
ncf_16_32_4_d.5UNSAT0.12
4qbf-5cnf-20var-640cl.9UNSAT0.12
ncf_16_32_4_edau.5UNSAT0.12
3qbf-5cnf-80var-2560cl.4UNSAT0.12
sortnetsort6.v.stepl.004UNSAT0.12
k_d4_p-16UNSAT0.13
3qbf-5cnf-80var-2560cl.7UNSAT0.13
ncf_4_16_2_u.2SAT0.13
3qbf-5cnf-80var-2560cl.1UNSAT0.13
ncf_4_16_2_u.4SAT0.13
ncf_4_16_2_euad.4SAT0.13
3qbf-5cnf-40var-640cl.4UNSAT0.13
ncf_4_16_2_euad.2SAT0.14
3qbf-5cnf-40var-640cl.5UNSAT0.14
3qbf-5cnf-40var-640cl.3UNSAT0.14
k_grz_p-12UNSAT0.14
mutex-128-sSAT0.14
x15.3SAT0.14
k_dum_p-21UNSAT0.15
3qbf-5cnf-40var-640cl.8UNSAT0.15
k_t4p_p-12UNSAT0.15
term1.blif_0.10_1.00_0_0_inp_exactUNSAT0.15
s27_d4_uUNSAT0.16
ncf_8_16_4_d.6UNSAT0.16
ncf_8_16_4_edau.6UNSAT0.16
TOILET10.1.iv.20SAT0.16
k_dum_n-20SAT0.17
ncf_4_8_4_u.2UNSAT0.17
sortnetsort6.v.stepl.006SAT0.17
ncf_4_16_4_u.5SAT0.18
k_d4_n-4SAT0.18
ncf_4_8_4_euad.2UNSAT0.18
k_lin_p-20UNSAT0.18
k_dum_n-21SAT0.18
x10.2UNSAT0.18
5qbf-5cnf-20var-640cl.8UNSAT0.19
lut4_AND_f1SAT0.19
ncf_4_16_4_euad.5SAT0.19
k_t4p_n-4SAT0.19
x10.3UNSAT0.19
nusmv.syncarb5^2.B-f2SAT0.19
4qbf-5cnf-20var-640cl.7UNSAT0.2
3qbf-5cnf-80var-2560cl.5UNSAT0.2
Adder2-4-sSAT0.2
3qbf-5cnf-80var-2560cl.8UNSAT0.2
k_lin_p-21UNSAT0.2
x10.0UNSAT0.2
x10.8UNSAT0.2
x10.9UNSAT0.2
5qbf-5cnf-40var-1280cl.7UNSAT0.21
k_t4p_p-16UNSAT0.21
k_poly_n-8SAT0.21
vis.emodel.E-f2UNSAT0.21
k_d4_p-20UNSAT0.22
ncf_4_8_4_u.5SAT0.22
s298_d2_sSAT0.22
ncf_4_16_2_edau.5UNSAT0.23
ncf_4_8_2_euad.3UNSAT0.23
ncf_4_8_4_euad.5SAT0.23
C499.blif_0.10_1.00_0_0_inp_exactUNSAT0.23
sortnetsort7.v.stepl.004UNSAT0.23
ncf_4_8_2_u.3UNSAT0.24
x10.6UNSAT0.24
ncf_16_32_4_edau.10UNSAT0.25
ncf_16_32_4_d.10UNSAT0.25
x10.1UNSAT0.25
ncf_16_32_2_u.9UNSAT0.26
k_d4_p-21UNSAT0.26
ncf_4_16_2_d.5UNSAT0.27
ncf_16_32_2_edau.9UNSAT0.27
C5315.blif_0.10_1.00_0_1_out_exactSAT0.27
x15.1SAT0.28
x15.8SAT0.28
s27_d5_uUNSAT0.29
ncf_4_8_8_d.4SAT0.29
term1.blif_0.10_1.00_0_0_out_exactUNSAT0.3
counter_8SAT0.3
ncf_4_8_4_u.6SAT0.31
ncf_4_8_4_euad.6SAT0.31
k_grz_p-16UNSAT0.32
ncf_4_16_4_edau.9SAT0.32
ncf_4_16_4_euad.9SAT0.33
ncf_4_16_2_edau.1UNSAT0.33
ncf_16_32_2_d.8UNSAT0.35
k_path_p-8UNSAT0.35
ncf_4_16_4_d.9SAT0.36
ncf_16_32_2_euad.9UNSAT0.36
ncf_16_32_2_d.9UNSAT0.36
ncf_4_8_8_edau.4SAT0.36
ncf_4_16_2_u.7SAT0.39
k_branch_p-8UNSAT0.4
x15.4UNSAT0.4
ncf_4_16_4_u.9SAT0.41
ncf_4_8_4_euad.7UNSAT0.41
k_t4p_p-20UNSAT0.42
ncf_4_16_4_euad.1SAT0.42
ncf_4_8_8_u.1SAT0.43
ncf_4_8_4_u.7UNSAT0.43
ncf_4_8_8_euad.1SAT0.43
texas.PI_main^14.E-f2UNSAT0.43
ncf_4_16_4_u.1SAT0.44
adder-4-satSAT0.46
ncf_4_16_2_euad.7SAT0.46
5qbf-5cnf-40var-1280cl.3UNSAT0.46
ncf_4_16_2_d.1UNSAT0.46
k_t4p_p-21UNSAT0.46
ncf_4_16_2_edau.8SAT0.47
ncf_16_32_2_edau.8UNSAT0.47
ncf_4_8_4_u.10SAT0.48
ncf_4_8_4_euad.10SAT0.48
ncf_4_16_2_d.8SAT0.49
ncf_4_8_8_u.3SAT0.49
5qbf-5cnf-40var-1280cl.0UNSAT0.5
C499.blif_0.10_1.00_0_0_out_exactUNSAT0.5
k_t4p_n-8SAT0.5
3qbf-5cnf-80var-1280cl.3UNSAT0.5
4qbf-5cnf-20var-640cl.4UNSAT0.51
3qbf-5cnf-80var-1280cl.1UNSAT0.51
5qbf-5cnf-40var-1280cl.6UNSAT0.51
C5315.blif_0.10_1.00_0_1_inp_exactSAT0.52
toilet_a_10_05.4SAT0.53
ncf_4_8_4_euad.3UNSAT0.53
lognBWLARGEA1UNSAT0.54
ev-pr-6x6-7-5-0-1-2-lgUNSAT0.55
TOILET16.1.iv.32SAT0.55
x15.6UNSAT0.55
5qbf-5cnf-40var-1280cl.1UNSAT0.56
ncf_4_8_4_u.3UNSAT0.59
counter_r_8SAT0.61
k_poly_p-12UNSAT0.62
ncf_4_8_8_euad.3SAT0.62
ncf_4_8_4_u.8UNSAT0.64
ev-pr-8x8-5-7-0-1-2-lgUNSAT0.64
qshifter_7SAT0.65
k_poly_n-12SAT0.65
robots_1_5_5_66.4SAT0.66
C432.blif_0.10_1.00_0_0_out_exactUNSAT0.67
robots_1_5_5_26.4SAT0.68
ncf_4_8_4_euad.8UNSAT0.68
ncf_4_16_4_euad.8SAT0.69
5qbf-5cnf-20var-320cl.8UNSAT0.69
4qbf-5cnf-20var-640cl.1UNSAT0.7
4qbf-5cnf-20var-640cl.6UNSAT0.7
3qbf-5cnf-80var-1280cl.4UNSAT0.74
ncf_4_8_4_euad.4UNSAT0.77
ncf_4_16_4_u.8SAT0.78
5qbf-5cnf-40var-1280cl.2UNSAT0.78
connect_8x7_3_DUNSAT0.81
connect_8x7_4_WUNSAT0.82
x20.8SAT0.82
vis.emodel.E-d2SAT0.82
ncf_4_16_2_d.10UNSAT0.84
5qbf-5cnf-20var-320cl.5UNSAT0.84
x20.0SAT0.84
x20.7SAT0.85
connect_8x7_4_DUNSAT0.86
connect_8x7_3_WUNSAT0.87
ncf_16_32_2_u.7UNSAT0.87
x20.2SAT0.91
x15.0UNSAT0.92
2qbf-5cnf-160var-320cl.7SAT0.93
4qbf-5cnf-20var-640cl.3UNSAT0.93
x20.9SAT0.93
ncf_4_8_4_u.4UNSAT0.97
1qbf-5cnf-160var-2560cl.0SAT0.98
ncf_16_32_4_d.7UNSAT0.99
ncf_4_16_2_edau.10UNSAT1
s510_d2_sSAT1.01
robots_1_5_3_100.4SAT1.01
ev-pr-8x8-7-7-0-1-2-lgUNSAT1.02
k_t4p_n-12SAT1.02
ncf_16_32_8_edau.8UNSAT1.03
ncf_8_16_4_u.6UNSAT1.04
x20.6SAT1.05
x20.5SAT1.09
ncf_16_32_8_d.8UNSAT1.1
nusmv.reactor^5.C-f2UNSAT1.12
ncf_16_32_4_edau.7UNSAT1.13
x15.5UNSAT1.13
robots_1_5_2_3.4SAT1.15
x15.7UNSAT1.2
robots_1_5_4_100.4SAT1.21
x15.9UNSAT1.21
5qbf-5cnf-40var-1280cl.5UNSAT1.22
1qbf-5cnf-160var-2560cl.7SAT1.24
5qbf-5cnf-20var-640cl.3UNSAT1.25
ncf_16_32_2_euad.7UNSAT1.29
4qbf-5cnf-20var-640cl.0UNSAT1.32
k_poly_n-16SAT1.33
connect_9x8_5_DUNSAT1.34
connect_9x8_5_WUNSAT1.34
x15.2UNSAT1.35
ncf_8_16_4_euad.6UNSAT1.36
robots_1_5_2_21.4SAT1.41
robots_1_5_4_98.4SAT1.41
connect_9x8_4_DUNSAT1.43
robots_1_5_4_46.4SAT1.47
connect_9x8_4_WUNSAT1.48
connect_9x8_3_WUNSAT1.48
connect_9x8_3_DUNSAT1.51
robots_1_5_3_44.4SAT1.52
k_d4_n-8SAT1.52
ev-pr-8x8-9-7-0-1-2-lgUNSAT1.53
x20.1UNSAT1.54
robots_1_5_5_34.4SAT1.6
robots_1_5_5_100.4SAT1.61
robots_1_5_5_93.4SAT1.62
robots_1_5_4_50.4SAT1.62
robots_1_5_2_85.4SAT1.64
robots_1_5_2_2.4SAT1.64
x20.4UNSAT1.64
Adder2-6-sSAT1.66
robots_1_5_5_8.4SAT1.67
k_t4p_n-16SAT1.69
robots_1_5_4_31.4SAT1.71
robots_1_5_5_87.4SAT1.72
robots_1_5_4_30.4SAT1.73
lognBWLARGEB1UNSAT1.76
robots_1_5_4_87.4SAT1.77
robots_1_5_2_80.4SAT1.78
ncf_4_16_2_euad.10UNSAT1.81
robots_1_5_2_99.4SAT1.85
robots_1_5_3_20.4SAT1.86
ncf_4_16_2_u.10UNSAT1.86
robots_1_5_3_78.4SAT1.89
robots_1_5_2_100.4SAT1.89
robots_1_5_4_2.4SAT2.02
robots_1_5_4_91.4SAT2.03
robots_1_5_5_30.4SAT2.04
3qbf-5cnf-80var-1280cl.5UNSAT2.07
1qbf-5cnf-160var-2560cl.8SAT2.09
ncf_4_8_8_u.5UNSAT2.1
ncf_4_8_4_euad.1SAT2.1
x25.0SAT2.14
x25.7UNSAT2.17
ncf_4_8_4_u.1SAT2.18
ncf_4_16_2_u.8SAT2.2
k_poly_p-20UNSAT2.29
ncf_4_8_8_euad.5UNSAT2.3
robots_1_5_5_12.4SAT2.32
robots_1_5_4_51.4SAT2.34
robots_1_5_3_66.4SAT2.39
ncf_4_16_2_euad.8SAT2.4
k_poly_n-20SAT2.4
robots_1_5_2_45.4SAT2.4
ev-pr-8x8-11-7-0-1-2-lgUNSAT2.42
3qbf-5cnf-160var-2560cl.7UNSAT2.49
robots_1_5_3_16.4SAT2.49
ncf_4_32_2_edau.1UNSAT2.51
k_poly_p-21UNSAT2.52
robots_1_5_2_82.4SAT2.56
robots_1_5_5_45.4SAT2.61
k_t4p_n-20SAT2.64
4qbf-5cnf-20var-640cl.8UNSAT2.66
robots_1_5_3_2.4SAT2.66
robots_1_5_3_57.4SAT2.76
x25.2SAT2.78
robots_1_5_3_24.4SAT2.82
k_poly_n-21SAT2.85
k_grz_p-20UNSAT2.91
s386_d2_sSAT2.97
k_grz_p-21UNSAT3.02
cmu.gigamax.B-f2SAT3.19
x25.1SAT3.2
robots_1_5_2_39.4SAT3.22
k_branch_p-12UNSAT3.22
robots_1_5_3_52.4SAT3.29
k_t4p_n-21SAT3.31
x20.3UNSAT3.31
T-edau-7UNSAT3.38
counter_re_8SAT3.43
T-edau-9UNSAT3.46
T-edau-6UNSAT3.52
x25.3UNSAT3.58
T-adeu-5UNSAT3.59
T-adeu-6UNSAT3.59
T-edau-5UNSAT3.73
lut4_2_f2UNSAT3.76
texas.parsesys^3.E-f2SAT3.77
3qbf-5cnf-160var-2560cl.1UNSAT3.79
counter_e_8SAT3.79
k_branch_n-4SAT4
x25.5UNSAT4.07
T-edau-8UNSAT4.11
ncf_8_16_4_d.3SAT4.13
T-adeu-1UNSAT4.21
2qbf-5cnf-160var-320cl.3SAT4.44
T-edau-1UNSAT4.44
T-adeu-2UNSAT4.5
T-edau-2UNSAT4.56
x25.4UNSAT4.59
T-edau-4UNSAT4.6
k_path_n-8SAT4.67
qshifter_8SAT4.81
5qbf-5cnf-40var-1280cl.4UNSAT4.83
x25.6UNSAT5.18
T-adeu-4UNSAT5.2
ncf_4_16_2_u.5UNSAT5.37
ncf_8_16_4_edau.3SAT5.51
T-adeu-8UNSAT5.55
adder-6-satSAT5.8
ncf_4_16_2_euad.5UNSAT6.09
ncf_4_8_8_euad.4SAT6.13
5qbf-5cnf-20var-320cl.0UNSAT6.28
T-edau-0UNSAT6.4
k_grz_n-16SAT6.42
ncf_4_32_2_edau.2SAT6.6
2qbf-5cnf-160var-320cl.0SAT6.75
C5315.blif_0.10_1.00_0_0_inp_exactUNSAT6.92
T-adeu-7UNSAT6.92
T-adeu-0UNSAT7.36
T-adeu-9UNSAT7.38
3qbf-5cnf-160var-2560cl.6UNSAT7.44
ncf_4_8_8_u.4SAT7.45
T-edau-3UNSAT7.46
T-adeu-3UNSAT7.92
3qbf-5cnf-20var-320cl.9UNSAT8.07
sortnetsort5.AE.stepl.003SAT8.14
4qbf-5cnf-20var-320cl.6UNSAT8.15
3qbf-5cnf-20var-320cl.0UNSAT8.18
x25.9UNSAT8.19
3qbf-5cnf-20var-320cl.1UNSAT8.24
3qbf-5cnf-20var-320cl.3UNSAT8.25
5qbf-5cnf-40var-640cl.1UNSAT8.32
5qbf-5cnf-40var-640cl.3UNSAT8.44
vis.4-arbit^1.E-d2SAT8.5
6qbf-5cnf-20var-320cl.8UNSAT8.52
5qbf-5cnf-80var-2560cl.7UNSAT8.55
4qbf-5cnf-40var-640cl.7UNSAT8.55
x30.6SAT8.57
4qbf-5cnf-80var-2560cl.7UNSAT8.62
3qbf-5cnf-160var-2560cl.2UNSAT8.64
6qbf-5cnf-80var-1280cl.5UNSAT8.66
4qbf-5cnf-40var-640cl.3UNSAT8.68
6qbf-5cnf-80var-2560cl.5UNSAT8.69
lut4_3_fANDSAT8.7
3qbf-5cnf-40var-640cl.0UNSAT8.75
4qbf-5cnf-40var-640cl.4UNSAT8.85
4qbf-5cnf-40var-640cl.0UNSAT8.86
6qbf-5cnf-80var-2560cl.7UNSAT8.86
5qbf-5cnf-80var-2560cl.3UNSAT8.87
k_ph_n-8SAT8.89
6qbf-5cnf-20var-320cl.7UNSAT8.91
5qbf-5cnf-20var-320cl.4UNSAT8.91
6qbf-5cnf-20var-640cl.6UNSAT8.93
6qbf-5cnf-80var-2560cl.9UNSAT8.96
4qbf-5cnf-160var-2560cl.4UNSAT8.96
4qbf-5cnf-160var-2560cl.3UNSAT8.98
4qbf-5cnf-160var-2560cl.0UNSAT9.04
4qbf-5cnf-160var-5120cl.1UNSAT9.07
5qbf-5cnf-160var-5120cl.8UNSAT9.08
3qbf-5cnf-160var-2560cl.9UNSAT9.1
irst.dme4.B-d2SAT9.11
k_lin_n-4SAT9.14
4qbf-5cnf-80var-2560cl.3UNSAT9.14
6qbf-5cnf-20var-640cl.1UNSAT9.22
5qbf-5cnf-160var-5120cl.4UNSAT9.24
4qbf-5cnf-20var-320cl.4UNSAT9.28
5qbf-5cnf-80var-2560cl.9UNSAT9.3
4qbf-5cnf-160var-5120cl.2UNSAT9.34
5qbf-5cnf-160var-5120cl.9UNSAT9.35
6qbf-5cnf-20var-640cl.9UNSAT9.36
6qbf-5cnf-80var-2560cl.8UNSAT9.37
5qbf-5cnf-80var-2560cl.6UNSAT9.38
5qbf-5cnf-40var-640cl.8UNSAT9.38
eijk.S344.S-d2SAT9.39
5qbf-5cnf-160var-5120cl.5UNSAT9.4
x30.4SAT9.43
5qbf-5cnf-160var-2560cl.7UNSAT9.44
5qbf-5cnf-160var-2560cl.6UNSAT9.46
6qbf-5cnf-20var-640cl.4UNSAT9.5
k_path_n-12SAT9.51
5qbf-5cnf-160var-2560cl.8UNSAT9.52
5qbf-5cnf-160var-2560cl.9UNSAT9.53
6qbf-5cnf-80var-1280cl.8UNSAT9.53
5qbf-5cnf-160var-2560cl.0UNSAT9.54
4qbf-5cnf-40var-1280cl.8UNSAT9.56
x30.8UNSAT9.58
k_path_n-16SAT9.62
k_path_p-20UNSAT9.69
5qbf-5cnf-160var-2560cl.5UNSAT9.7
4qbf-5cnf-80var-2560cl.5UNSAT9.72
6qbf-5cnf-80var-1280cl.1UNSAT9.73
4qbf-5cnf-40var-1280cl.7UNSAT9.73
4qbf-5cnf-80var-1280cl.2UNSAT9.74
k_path_p-16UNSAT9.77
3qbf-5cnf-160var-2560cl.3UNSAT9.85
4qbf-5cnf-80var-1280cl.4UNSAT9.97
5qbf-5cnf-80var-2560cl.2UNSAT10
5qbf-5cnf-160var-5120cl.3UNSAT10.01
4qbf-5cnf-80var-1280cl.7UNSAT10.02
6qbf-5cnf-80var-2560cl.0UNSAT10.03
6qbf-5cnf-80var-2560cl.2UNSAT10.03
5qbf-5cnf-80var-1280cl.7UNSAT10.04
3qbf-5cnf-80var-1280cl.8UNSAT10.1
4qbf-5cnf-20var-320cl.7UNSAT10.12
6qbf-5cnf-80var-1280cl.2UNSAT10.13
4qbf-5cnf-80var-2560cl.8UNSAT10.14
5qbf-5cnf-160var-5120cl.1UNSAT10.15
6qbf-5cnf-40var-640cl.9UNSAT10.24
k_path_p-21UNSAT10.28
k_path_n-20SAT10.32
5qbf-5cnf-80var-2560cl.5UNSAT10.34
5qbf-5cnf-80var-1280cl.8UNSAT10.37
3qbf-5cnf-160var-2560cl.4UNSAT10.4
6qbf-5cnf-80var-1280cl.4UNSAT10.41
6qbf-5cnf-20var-640cl.2UNSAT10.44
6qbf-5cnf-40var-1280cl.2UNSAT10.44
6qbf-5cnf-80var-640cl.8UNSAT10.49
5qbf-5cnf-40var-640cl.5UNSAT10.51
ncf_4_16_4_edau.4UNSAT10.51
4qbf-5cnf-40var-640cl.2UNSAT10.55
BLOCKS4iii.7SAT10.56
4qbf-5cnf-160var-5120cl.4UNSAT10.59
6qbf-5cnf-80var-1280cl.7UNSAT10.65
5qbf-5cnf-80var-2560cl.0UNSAT10.65
4qbf-5cnf-40var-1280cl.6UNSAT10.66
5qbf-5cnf-80var-1280cl.4UNSAT10.68
6qbf-5cnf-160var-2560cl.9UNSAT10.73
adder-8-satSAT10.74
6qbf-5cnf-20var-640cl.3UNSAT10.81
6qbf-5cnf-160var-2560cl.5UNSAT10.84
5qbf-5cnf-80var-2560cl.8UNSAT10.89
6qbf-5cnf-40var-1280cl.6UNSAT10.91
6qbf-5cnf-160var-5120cl.6UNSAT10.91
6qbf-5cnf-160var-2560cl.0UNSAT10.92
6qbf-5cnf-80var-1280cl.9UNSAT10.94
4qbf-5cnf-160var-2560cl.1UNSAT11
6qbf-5cnf-80var-2560cl.3UNSAT11
4qbf-5cnf-80var-2560cl.6UNSAT11.06
5qbf-5cnf-80var-1280cl.3UNSAT11.11
4qbf-5cnf-40var-1280cl.9UNSAT11.2
5qbf-5cnf-40var-640cl.4UNSAT11.25
4qbf-5cnf-160var-5120cl.6UNSAT11.28
ncf_4_16_4_d.4UNSAT11.29
4qbf-5cnf-40var-1280cl.2UNSAT11.35
6qbf-5cnf-40var-1280cl.1UNSAT11.4
6qbf-5cnf-40var-1280cl.5UNSAT11.43
6qbf-5cnf-20var-640cl.5UNSAT11.43
BLOCKS4ii.7.2UNSAT11.47
6qbf-5cnf-80var-2560cl.1UNSAT11.49
4qbf-5cnf-160var-2560cl.2UNSAT11.52
6qbf-5cnf-160var-2560cl.7UNSAT11.54
eijk.S349.S-d2SAT11.54
k_path_n-21SAT11.56
3qbf-5cnf-80var-1280cl.6UNSAT11.59
k_path_p-12UNSAT11.59
3qbf-5cnf-160var-2560cl.0UNSAT11.62
6qbf-5cnf-20var-320cl.1UNSAT11.63
4qbf-5cnf-20var-320cl.9UNSAT11.76
5qbf-5cnf-40var-640cl.0UNSAT11.76
5qbf-5cnf-160var-5120cl.2UNSAT11.79
6qbf-5cnf-160var-5120cl.0UNSAT11.79
5qbf-5cnf-160var-5120cl.7UNSAT11.88
5qbf-5cnf-80var-2560cl.1UNSAT11.89
6qbf-5cnf-40var-640cl.4UNSAT11.93
k_ph_p-8UNSAT11.93
6qbf-5cnf-160var-2560cl.3UNSAT11.96
x25.8UNSAT12.02
4qbf-5cnf-20var-320cl.2UNSAT12.08
4qbf-5cnf-160var-5120cl.9UNSAT12.12
3qbf-5cnf-20var-320cl.2UNSAT12.2
ncf_8_16_4_u.8UNSAT12.23
4qbf-5cnf-160var-2560cl.7UNSAT12.34
4qbf-5cnf-80var-2560cl.9UNSAT12.34
4qbf-5cnf-160var-5120cl.7UNSAT12.4
BLOCKS4ii.6.3UNSAT12.45
4qbf-5cnf-40var-640cl.1UNSAT12.47
6qbf-5cnf-80var-2560cl.4UNSAT12.5
3qbf-5cnf-160var-2560cl.5UNSAT12.59
5qbf-5cnf-80var-1280cl.9UNSAT12.59
5qbf-5cnf-160var-5120cl.0UNSAT12.76
6qbf-5cnf-160var-2560cl.8UNSAT12.83
6qbf-5cnf-40var-640cl.6UNSAT12.84
5qbf-5cnf-20var-320cl.1UNSAT12.86
6qbf-5cnf-160var-2560cl.1UNSAT12.88
5qbf-5cnf-80var-1280cl.2UNSAT12.96
x30.3SAT13.01
5qbf-5cnf-80var-2560cl.4UNSAT13.02
4qbf-5cnf-40var-1280cl.5UNSAT13.08
4qbf-5cnf-80var-1280cl.8UNSAT13.11
4qbf-5cnf-160var-5120cl.8UNSAT13.2
6qbf-5cnf-160var-5120cl.3UNSAT13.29
4qbf-5cnf-160var-5120cl.0UNSAT13.31
6qbf-5cnf-20var-320cl.9UNSAT13.36
6qbf-5cnf-20var-320cl.0UNSAT13.58
6qbf-5cnf-40var-640cl.5UNSAT13.61
lut4_AND_fXORUNSAT13.68
4qbf-5cnf-20var-320cl.0UNSAT13.68
BLOCKS4i.6.4UNSAT13.69
4qbf-5cnf-40var-320cl.1UNSAT13.7
4qbf-5cnf-20var-320cl.8UNSAT13.72
sortnetsort10.v.stepl.004UNSAT13.9
6qbf-5cnf-20var-320cl.4UNSAT13.98
4qbf-5cnf-160var-5120cl.5UNSAT14.04
BLOCKS4iii.6UNSAT14.13
x30.9UNSAT14.63
6qbf-5cnf-160var-5120cl.1UNSAT14.68
4qbf-5cnf-40var-320cl.3UNSAT14.68
3qbf-5cnf-80var-1280cl.7UNSAT14.74
4qbf-5cnf-160var-2560cl.5UNSAT14.74
6qbf-5cnf-20var-320cl.6UNSAT14.85
C5315.blif_0.10_1.00_0_0_out_exactUNSAT15.01
5qbf-5cnf-40var-640cl.9UNSAT15.06
4qbf-5cnf-20var-320cl.1UNSAT15.1
4qbf-5cnf-80var-2560cl.1UNSAT15.24
5qbf-5cnf-40var-1280cl.8UNSAT15.32
Adder2-8-sSAT15.33
6qbf-5cnf-160var-5120cl.5UNSAT15.34
6qbf-5cnf-40var-1280cl.9UNSAT15.39
3qbf-5cnf-40var-640cl.2UNSAT15.4
4qbf-5cnf-160var-2560cl.6UNSAT15.46
4qbf-5cnf-80var-2560cl.0UNSAT15.52
1qbf-5cnf-160var-2560cl.2SAT15.53
ncf_4_32_2_u.1UNSAT15.56
4qbf-5cnf-20var-320cl.3UNSAT15.59
5qbf-5cnf-80var-1280cl.1UNSAT15.8
ncf_8_16_8_d.1SAT15.86
6qbf-5cnf-160var-5120cl.2UNSAT15.88
ncf_8_16_8_euad.1SAT15.93
texas.parsesys^1.E-f2SAT15.95
x30.0UNSAT15.98
6qbf-5cnf-160var-5120cl.9UNSAT16.01
2qbf-5cnf-160var-320cl.2SAT16.22
5qbf-5cnf-20var-320cl.6UNSAT16.26
6qbf-5cnf-40var-640cl.2UNSAT16.33
x30.7UNSAT16.36
ncf_4_16_4_d.7SAT16.4
s298_d4_sSAT16.46
3qbf-5cnf-40var-640cl.1UNSAT16.59
6qbf-5cnf-20var-320cl.5UNSAT16.63
6qbf-5cnf-20var-640cl.8UNSAT17
3qbf-5cnf-80var-320cl.9SAT17.04
4qbf-5cnf-20var-160cl.8UNSAT17.09
6qbf-5cnf-160var-5120cl.8UNSAT17.11
6qbf-5cnf-40var-1280cl.4UNSAT17.38
3qbf-5cnf-40var-640cl.9UNSAT17.59
ncf_8_16_8_d.7UNSAT17.93
x30.5UNSAT17.98
x30.2UNSAT18.41
4qbf-5cnf-40var-640cl.8UNSAT18.49
6qbf-5cnf-160var-5120cl.7UNSAT18.64
sortnetsort7.v.stepl.006SAT18.71
k_d4_n-12SAT18.9
3qbf-5cnf-80var-1280cl.9UNSAT19.17
k_d4_n-21SAT19.31
sortnetsort8.v.stepl.004UNSAT19.39
6qbf-5cnf-40var-640cl.8UNSAT19.4
sortnetsort8.v.stepl.007SAT19.44
4qbf-5cnf-20var-640cl.2UNSAT19.73
3qbf-5cnf-80var-2560cl.2UNSAT19.75
6qbf-5cnf-80var-1280cl.6UNSAT19.77
k_d4_n-20SAT20.08
4qbf-5cnf-40var-1280cl.3UNSAT20.23
sortnetsort8.v.stepl.006SAT20.23
sortnetsort8.v.stepl.009SAT20.3
sortnetsort9.v.stepl.004UNSAT20.39
4qbf-5cnf-80var-1280cl.9UNSAT20.4
4qbf-5cnf-20var-320cl.5UNSAT20.43
sortnetsort8.v.stepl.008SAT20.98
3qbf-5cnf-160var-2560cl.8UNSAT21.16
4qbf-5cnf-40var-640cl.6UNSAT21.28
3qbf-5cnf-80var-1280cl.0UNSAT22.46
6qbf-5cnf-20var-640cl.0UNSAT23.08
6qbf-5cnf-40var-1280cl.7UNSAT23.83
ncf_4_16_4_edau.7SAT23.98
3qbf-5cnf-80var-2560cl.3UNSAT24.12
5qbf-5cnf-40var-1280cl.9UNSAT24.39
sortnetsort7.v.stepl.005UNSAT24.46
4qbf-5cnf-40var-1280cl.0UNSAT24.54
5qbf-5cnf-160var-2560cl.4UNSAT24.76
4qbf-5cnf-160var-2560cl.9UNSAT24.86
5qbf-5cnf-80var-1280cl.6UNSAT25.02
s820_d2_sSAT25.17
4qbf-5cnf-40var-1280cl.1UNSAT25.32
1qbf-5cnf-160var-2560cl.3SAT25.64
k_d4_n-16SAT25.78
ncf_8_16_8_edau.7UNSAT26.04
6qbf-5cnf-80var-1280cl.0UNSAT26.06
irst.dme6.B-d2SAT26.25
6qbf-5cnf-20var-320cl.3UNSAT26.85
4qbf-5cnf-160var-2560cl.8UNSAT26.91
4qbf-5cnf-80var-1280cl.1UNSAT27.48
5qbf-5cnf-160var-2560cl.2UNSAT28.34
4qbf-5cnf-20var-640cl.5UNSAT28.53
5qbf-5cnf-20var-320cl.7UNSAT28.67
4qbf-5cnf-40var-320cl.9UNSAT28.85
ncf_8_16_4_euad.8UNSAT28.87
5qbf-5cnf-160var-2560cl.3UNSAT29.58
5qbf-5cnf-160var-5120cl.6UNSAT30.05
szymanski-8-sUNSAT30.16
6qbf-5cnf-40var-640cl.3UNSAT30.72
sortnetsort8.v.stepl.005UNSAT31.08
x30.1UNSAT31.78
6qbf-5cnf-40var-640cl.7UNSAT31.84
s713_d2_sSAT32.15
4qbf-5cnf-40var-640cl.9UNSAT32.18
6qbf-5cnf-40var-320cl.0UNSAT32.86
1qbf-5cnf-160var-2560cl.5SAT33.05
4qbf-5cnf-20var-160cl.0UNSAT33.46
4qbf-5cnf-40var-320cl.0UNSAT33.77
6qbf-5cnf-80var-1280cl.3UNSAT33.96
6qbf-5cnf-40var-1280cl.3UNSAT34.14
S-edau-8UNSAT35.22
nusmv.dme2-16.B-d2SAT35.59
ncf_16_32_2_d.5UNSAT35.79
S-edau-9UNSAT36.5
3qbf-5cnf-80var-1280cl.2UNSAT36.97
4qbf-5cnf-80var-1280cl.6UNSAT37.54
ncf_16_32_2_d.2UNSAT39.14
4qbf-5cnf-80var-1280cl.3UNSAT39.29
4qbf-5cnf-40var-640cl.5UNSAT41.07
6qbf-5cnf-160var-2560cl.4UNSAT41.08
6qbf-5cnf-20var-640cl.7UNSAT41.73
S-edau-7UNSAT42.38
4qbf-5cnf-80var-1280cl.0UNSAT43.15
6qbf-5cnf-40var-640cl.0UNSAT43.39
4qbf-5cnf-40var-1280cl.4UNSAT45.5
adder-10-satSAT45.7
sortnetsort10.v.stepl.005UNSAT47.23
6qbf-5cnf-160var-2560cl.2UNSAT47.93
ncf_4_16_4_u.7SAT48.42
6qbf-5cnf-40var-1280cl.0UNSAT48.79
1qbf-5cnf-160var-2560cl.4SAT49.63
texas.parsesys^2.E-f2UNSAT50.27
5qbf-5cnf-40var-640cl.7UNSAT50.42
6qbf-5cnf-160var-5120cl.4UNSAT50.42
5qbf-5cnf-160var-2560cl.1UNSAT50.56
4qbf-5cnf-80var-2560cl.4UNSAT52.03
ncf_4_16_4_d.10UNSAT52.21
3qbf-5cnf-20var-320cl.5UNSAT55.15
texas.ifetch1^3.E-f2UNSAT55.32
1qbf-5cnf-80var-2560cl.2UNSAT57.68
1qbf-5cnf-80var-2560cl.4UNSAT58.23
toilet_a_10_01.16UNSAT58.79
1qbf-5cnf-80var-2560cl.8UNSAT59.32
vis.elevator^1.E-f2UNSAT59.7
ncf_4_32_2_u.2SAT60.43
eijk.bs1512.S-d2SAT60.92
1qbf-5cnf-80var-2560cl.6UNSAT61.02
ncf_16_32_2_edau.5UNSAT61.86
1qbf-5cnf-80var-2560cl.3UNSAT62.29
1qbf-5cnf-80var-2560cl.1UNSAT62.7
adder-6-unsatFAIL64.08
adder-4-unsatFAIL66.04
1qbf-5cnf-80var-2560cl.9UNSAT66.59
ncf_4_16_2_u.1UNSAT66.73
5qbf-5cnf-80var-1280cl.0UNSAT68.13
6qbf-5cnf-160var-2560cl.6UNSAT69.88
1qbf-5cnf-80var-2560cl.0UNSAT70.34
4qbf-5cnf-160var-5120cl.3UNSAT70.76
k_ph_n-16SAT71.26
test5_quant_squaring4FAIL73.14
5qbf-5cnf-40var-640cl.2UNSAT73.2
6qbf-5cnf-40var-1280cl.8UNSAT73.21
x35.8SAT74.85
ncf_4_8_8_d.2UNSAT75.42
eijk.S832.S-d2SAT76.09
5qbf-5cnf-80var-1280cl.5UNSAT76.5
ncf_4_16_4_euad.7SAT78.07
ncf_4_16_2_euad.1UNSAT79.03
eijk.S1196.S-d2SAT80.59
texas.ifetch1^1.E-f2UNSAT80.73
Adder2-6-cFAIL83.73
sortnetsort9.v.stepl.005FAIL84.77
1qbf-5cnf-160var-2560cl.1SAT85.57
x35.2SAT86.11
1qbf-5cnf-80var-2560cl.5UNSAT86.66
Adder2-4-cFAIL86.83
6qbf-5cnf-80var-2560cl.6UNSAT87.96
3qbf-5cnf-20var-160cl.1SAT88.54
x35.0UNSAT88.71
1qbf-5cnf-80var-2560cl.7UNSAT88.8
x35.5UNSAT91.11
4qbf-5cnf-20var-160cl.3UNSAT91.35
4qbf-5cnf-40var-320cl.2UNSAT94.31
S-edau-5UNSAT95.95
k_grz_n-20SAT96.57
s499_d4_sSAT97.52
sortnetsort7.v.stepl.009SAT99.03
ncf_16_32_2_edau.2UNSAT102
5qbf-5cnf-20var-320cl.3UNSAT103.5
4qbf-5cnf-80var-2560cl.2UNSAT105.19
sortnetsort8.v.stepl.003UNSAT106.64
k_lin_n-20FAIL107.19
sortnetsort7.v.stepl.007SAT107.78
sortnetsort9.v.stepl.006FAIL110.95
sortnetsort9.v.stepl.011SAT111.05
sortnetsort9.v.stepl.012SAT111.2
sortnetsort9.v.stepl.008SAT111.35
sortnetsort7.v.stepl.008SAT111.86
sortnetsort9.v.stepl.009SAT112.49
sortnetsort9.v.stepl.010SAT112.76
x35.7UNSAT113.11
eijk.S820.S-d2SAT114.72
x35.4UNSAT120.11
ncf_4_8_8_edau.2UNSAT121.14
C880.blif_0.10_1.00_0_1_out_exactFAIL123.19
4qbf-5cnf-20var-160cl.4UNSAT126.3
x35.1SAT128.99
k_ph_n-12SAT129.01
k_grz_n-21SAT135.44
sortnetsort5.AE.stepl.004FAIL139.88
4qbf-5cnf-40var-320cl.6UNSAT140.7
k_lin_n-21FAIL141.32
k_lin_n-12SAT143.59
ncf_4_16_4_edau.10UNSAT148.14
adder-8-unsatFAIL149.27
k_lin_n-16FAIL153.06
ev-pr-4x4-15-3-0-0-1-lgFAIL158.28
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL160.95
ncf_4_8_8_euad.8FAIL167.74
ncf_4_16_4_euad.10UNSAT168.53
x35.3UNSAT168.81
ncf_4_16_2_edau.3UNSAT175.08
3qbf-5cnf-20var-160cl.4SAT175.25
ncf_4_8_8_u.8FAIL181.29
4qbf-5cnf-80var-1280cl.5UNSAT186.01
4qbf-5cnf-80var-320cl.6SAT188.03
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL188.28
ncf_8_16_8_edau.1SAT196.8
S-adeu-4UNSAT200.37
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL206.21
connect_5x4_4_RFAIL206.7
S-adeu-5UNSAT218.6
irst.dme5.B-d2SAT221.7
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL225.26
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL228.27
szymanski-14-sFAIL231.26
6qbf-5cnf-80var-640cl.0UNSAT232.42
vis.eisenberg.E-f2SAT232.77
ncf_4_16_4_euad.6UNSAT235.62
ev-pr-4x4-17-3-0-0-1-lgFAIL244.48
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL244.51
eijk.S1423.S-d2SAT248.5
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL249.56
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL250.42
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL250.98
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL261.8
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL262.44
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL268.69
irst.dme5.B-f2FAIL269.33
k_lin_n-8SAT269.42
ncf_4_16_4_d.3SAT272.97
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL275.62
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL276.81
szymanski-12-sFAIL285.13
ncf_4_16_4_edau.3SAT286.05
3qbf-5cnf-20var-160cl.5SAT289.27
eijk.S1238.S-d2SAT301.6
S-adeu-8UNSAT302.25
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL302.49
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL304.98
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL308.5
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL309.98
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL317.94
6qbf-5cnf-40var-640cl.1UNSAT323.54
6qbf-5cnf-20var-320cl.2UNSAT325.4
x40.3FAIL326.86
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL331.74
Adder2-8-cFAIL346.24
sortnetsort9.v.stepl.007SAT346.71
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL354.48
ev-pr-4x4-11-3-0-0-1-lgFAIL358.06
2qbf-5cnf-40var-160cl.6UNSAT374.24
test3_quant_squaring2FAIL384.78
ncf_4_16_4_d.2SAT401.2
ncf_4_32_2_edau.3UNSAT405.09
ev-pr-4x4-13-3-0-0-1-lgFAIL411.25
adder-12-satSAT415.68
ncf_4_16_4_u.10UNSAT420.09
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL432.86
ncf_8_16_8_d.9UNSAT434.11
1qbf-5cnf-160var-2560cl.9SAT442.51
irst.dme6.B-f2FAIL444.6
szymanski-22-sFAIL451.69
C6288.blif_0.10_1.00_0_1_out_exactSAT451.8
ncf_4_8_8_euad.2UNSAT454.55
k_branch_n-8FAIL459.38
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL463.47
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL464.27
ncf_4_32_2_u.8FAIL466.1
2qbf-5cnf-40var-160cl.0SAT467.18
term1.blif_0.10_0.20_0_0_out_exactUNSAT470.93
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL472.68
ncf_4_16_2_d.3UNSAT480.48
ncf_4_16_4_edau.2SAT497.25
connect_5x4_3_RFAIL497.43
sortnetsort5.AE.stepl.005FAIL499.28
3qbf-5cnf-20var-160cl.7SAT510.37
ev-pr-6x6-9-5-0-1-2-lgFAIL511.08
3qbf-5cnf-20var-160cl.2FAIL512.56
x40.9UNSAT515.49
ncf_4_16_8_d.8UNSAT521.16
ncf_8_16_8_edau.6UNSAT526.05
x175.0FAIL528.42
C880.blif_0.10_1.00_0_1_inp_exactSAT533.88
3qbf-5cnf-20var-160cl.3FAIL535.17
ncf_4_16_4_u.6UNSAT536.92
ncf_4_32_2_edau.8FAIL546.84
C499.blif_0.10_0.20_0_1_inp_exactFAIL558.08
ncf_4_16_4_euad.3FAIL565.86
ncf_4_16_4_edau.6UNSAT569.15
2qbf-5cnf-80var-320cl.1FAIL570.57
3qbf-5cnf-40var-320cl.8FAIL574.27
ncf_4_16_2_euad.3FAIL578.78
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL579.62
x145.0FAIL581.21
ncf_4_16_2_u.3UNSAT588.04
szymanski-10-sUNSAT589.34
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL589.57
ncf_4_16_8_u.7FAIL592.59
3qbf-5cnf-40var-320cl.9FAIL593.78
C432.blif_0.10_0.20_0_0_inp_exactFAIL593.86
C432.blif_0.10_0.20_0_1_inp_exactFAIL593.97
S-edau-1FAIL599.44
x220.0FAIL599.83
4qbf-5cnf-40var-320cl.8FAIL600.92
x215.6FAIL600.97
ncf_8_16_8_euad.7UNSAT602.98
S-edau-3FAIL639.85
x225.6FAIL658.26
4qbf-5cnf-20var-160cl.1UNSAT658.92
ncf_4_8_8_d.7SAT659.35
x245.9FAIL676.49
S-edau-2FAIL686.33
ncf_4_16_8_euad.7FAIL698.85
3qbf-5cnf-20var-320cl.8UNSAT746.4
S-edau-4FAIL751.48
ncf_4_8_8_euad.10FAIL765.04
ncf_4_8_8_edau.7SAT765.58
S-edau-0FAIL767.28
ncf_4_16_4_euad.2FAIL780.18
eijk.S349.S-f2FAIL791.02
x225.0FAIL795.56
x240.4FAIL810.27
x205.5FAIL846.9
ncf_4_8_8_edau.10FAIL869.92
adder-14-satSAT874.33
ncf_8_16_4_u.10FAIL879.9
test5_quant_squaring5FAIL889.7
2qbf-5cnf-80var-320cl.3FAIL893.93
2qbf-5cnf-80var-320cl.8FAIL902.95
4qbf-5cnf-20var-160cl.7UNSAT923.17
S-edau-6FAIL931.25
eijk.bs1512.S-f2FAIL963.87
x400.4FAIL976.27
4qbf-5cnf-80var-320cl.0SAT981.42
eijk.S420.S-f2FAIL1000.9
x145.7FAIL1011.01
cmu.dme1.B-f2FAIL1028.95
ncf_8_16_4_euad.10FAIL1046.95
x225.7FAIL1048.45
3qbf-5cnf-20var-160cl.0SAT1052.33
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL1058.44
sortnetsort10.v.stepl.007SAT1062.9
1qbf-5cnf-160var-2560cl.6SAT1094.22
x175.4FAIL1098.61
ken.oop^2.C-f2FAIL1124.51
x185.4FAIL1137.48
ncf_4_32_2_edau.9UNSAT1139.78
x35.9SAT1140.1
ncf_4_32_2_u.3UNSAT1162.3
sortnetsort5.AE.stepl.006FAIL1166.87
S-adeu-7UNSAT1193.76
ncf_4_32_2_edau.7FAIL1198.04
ncf_4_8_8_edau.6FAIL1214.41
x235.2FAIL1229.38
x145.8FAIL1233.72
x220.5FAIL1250.79
ncf_4_8_8_d.10SAT1261.57
ncf_4_32_2_u.4UNSAT1270.13
2qbf-5cnf-80var-320cl.7FAIL1276.49
x215.2FAIL1276.86
x180.2FAIL1307.25
x40.6UNSAT1313.97
eijk.S953.S-f2FAIL1322.02
3qbf-5cnf-20var-320cl.7UNSAT1336.05
x210.9FAIL1343.74
ncf_8_16_4_d.7FAIL1349.9
x235.5FAIL1393.08
2qbf-5cnf-40var-160cl.7UNSAT1394.35
x300.6FAIL1413.84
x45.1FAIL1421.05
szymanski-24-sFAIL1453.52
ncf_4_8_8_u.2UNSAT1489.03
3qbf-5cnf-20var-160cl.6SAT1500.95
ncf_8_16_8_edau.9UNSAT1509.06
irst.dme4.B-f2FAIL1524.01
x125.4FAIL1538.51
2qbf-5cnf-80var-640cl.1FAIL1555.65
term1.blif_0.10_0.20_0_0_inp_exactFAIL1591.6
ncf_4_16_4_u.3FAIL1596.71
nusmv.reactor^2.C-f2FAIL1638.73
x220.3FAIL1644.6
3qbf-5cnf-20var-160cl.9SAT1647.91
ncf_4_16_4_u.4FAIL1666.16
x40.2UNSAT1686.69
2qbf-5cnf-80var-640cl.7FAIL1708.62
x100.7FAIL1712.08
4qbf-5cnf-40var-320cl.7UNSAT1717.68
x175.1FAIL1724.42
C432.blif_0.10_0.20_0_0_out_exactFAIL1725.21
ncf_4_16_8_u.10FAIL1748.65
ncf_16_32_4_euad.8FAIL1765.93
eijk.S510.S-f2FAIL1789.04
sortnetsort10.v.stepl.012FAIL1815.76
ncf_4_8_8_u.7FAIL1825.1
ncf_4_8_8_u.6FAIL1828.68
ncf_4_16_4_euad.4FAIL1848.52
x130.8FAIL1856.03
x200.8FAIL1859.06
x40.1UNSAT1861.23
ncf_4_16_4_u.2FAIL1884.81
x45.7FAIL1891.88
x250.2FAIL1892.18
x115.0FAIL1901.6
ncf_4_16_4_d.6UNSAT1902.37
S-adeu-6FAIL1914.54
x40.7SAT1977.14
x230.8FAIL1978.61
ncf_4_32_2_edau.4UNSAT1979.78
x45.6FAIL1980.99
x210.6FAIL2020.89
eijk.S344.S-f2FAIL2024.89
x105.0FAIL2032.97
ncf_16_32_4_u.8FAIL2048.52
texas.ifetch1^2.E-f2FAIL2102.52
x105.3FAIL2117.7
szymanski-18-sFAIL2132.64
ncf_8_16_4_u.3FAIL2135.87
x175.7FAIL2147.33
x110.1FAIL2177.56
sortnetsort10.v.stepl.011FAIL2195.06
x105.5FAIL2198.74
ncf_8_16_4_euad.3FAIL2210.91
x140.1FAIL2229.3
S-adeu-3FAIL2231.27
x210.4FAIL2283.22
x175.6FAIL2292.44
nusmv.dme1-16.B-d2SAT2297.21
ncf_4_8_8_euad.7FAIL2307.44
x235.3FAIL2312.15
x195.6FAIL2324.68
eijk.S208o.S-f2SAT2336.32
ncf_4_8_8_u.10FAIL2344.71
S-adeu-9FAIL2365.73
x185.6FAIL2366.74
x40.4UNSAT2400.74
S-adeu-1FAIL2409.47
x135.4FAIL2411.09
x185.3FAIL2445.3
x400.5FAIL2453.1
x215.9FAIL2457.4
2qbf-5cnf-80var-640cl.5FAIL2460.19
x50.9FAIL2464.38
texas.two_proc^4.E-f2FAIL2466.09
x150.9FAIL2525.29
x145.3FAIL2529.83
x300.4FAIL2562.85
2qbf-5cnf-80var-320cl.0FAIL2584.81
x230.3FAIL2591.16
ncf_16_32_4_euad.7FAIL2598.74
sortnetsort10.v.stepl.010FAIL2599.88
sortnetsort10.v.stepl.008FAIL2621.73
x165.6FAIL2626.93
nusmv.reactor^6.C-f2FAIL2632.57
ncf_16_32_2_d.10FAIL2638.99
x110.6FAIL2672.33
x225.9FAIL2709.43
6qbf-5cnf-20var-160cl.6FAIL2732.3
eijk.S386.S-f2FAIL2759.69
ncf_16_32_4_edau.4FAIL2769.08
2qbf-5cnf-80var-320cl.9FAIL2799.86
S-adeu-0FAIL2801.5
ncf_4_16_8_euad.10FAIL2815.68
vis.bakery.E-f2SAT2826.14
x170.4FAIL2836.46
texas.PI_main^10.E-f2FAIL2888.55
x240.1FAIL2904.11
x40.5UNSAT2904.23
ncf_8_16_8_euad.8FAIL2908.22
ncf_16_32_4_u.2FAIL2925.96
x190.3FAIL2967.83
x145.9FAIL3010.36
2qbf-5cnf-80var-640cl.0FAIL3011.81
x140.0FAIL3024.87
ncf_4_32_2_u.9FAIL3041.48
ncf_8_16_4_edau.9UNSAT3082.76
x45.3FAIL3123.5
ncf_4_8_8_euad.6FAIL3164.93
x140.2FAIL3167.53
eijk.S526.S-f2FAIL3175.46
x140.3FAIL3199.27
x190.6FAIL3201.87
x120.8FAIL3202.77
x45.9FAIL3219.27
x115.3FAIL3227.2
x165.8FAIL3235.2
S-adeu-2FAIL3236.82
x165.0FAIL3249.7
x155.2FAIL3255.43
ncf_8_16_8_edau.10FAIL3301.23
2qbf-5cnf-80var-320cl.5FAIL3329.68
nusmv.reactor^7.C-f2FAIL3358.68
szymanski-20-sFAIL3385.89
x170.6FAIL3404.19
2qbf-5cnf-160var-5120cl.4FAIL3404.26
ncf_8_16_4_d.9UNSAT3427.58
x40.0UNSAT3432.44
2qbf-5cnf-80var-320cl.2FAIL3507.12
x300.5FAIL3551.06
ncf_4_16_8_euad.9FAIL3562.71
2qbf-5cnf-80var-320cl.6FAIL3592.42
x55.5FAIL3652.81
x130.0FAIL3657.8
4qbf-5cnf-40var-320cl.4UNSAT3700.31
2qbf-5cnf-40var-160cl.4SAT3713.52
texas.ifetch1^9.E-f2FAIL3731.27
eijk.S208.S-f2SAT3756.48
x205.8FAIL3762.99
3qbf-5cnf-20var-160cl.8SAT3764.71
ncf_4_32_2_u.7FAIL3792.57
2qbf-5cnf-80var-320cl.4FAIL3820.44
ncf_8_16_8_edau.3FAIL3860.31
ncf_4_32_2_u.6FAIL3860.38
x185.9FAIL3869.96
2qbf-5cnf-80var-1280cl.5FAIL3892.5
ncf_4_16_8_euad.4FAIL3963.46
x45.5FAIL3984.85
x150.2FAIL3995.56
x150.8FAIL4068.04
x165.3FAIL4089.61
connect_6x5_5_RFAIL4113.93
2qbf-5cnf-80var-640cl.3FAIL4119.32
x130.1FAIL4160.49
x235.6FAIL4172.35
texas.ifetch1^8.E-f2FAIL4187.22
x155.3FAIL4204.74
nusmv.reactor^4.C-f2FAIL4234.53
sortnetsort5.AE.stepl.007FAIL4252.23
x155.4FAIL4285.51
x165.5FAIL4338.05
ncf_4_32_2_u.5FAIL4346.33
x150.6FAIL4349.69
x250.0FAIL4353.42
5qbf-5cnf-20var-320cl.9UNSAT4376.92
nusmv.reactor^3.C-f2FAIL4404.93
ncf_4_16_8_u.9FAIL4435.39
ncf_16_32_4_euad.1FAIL4490.99
x110.2FAIL4531.15
x160.5FAIL4577.83
x105.8FAIL4588.43
ncf_4_16_8_d.9FAIL4592.91
ncf_4_8_8_d.6FAIL4624.5
ncf_16_32_4_u.9FAIL4638.99
x135.0FAIL4686.07
ncf_16_32_2_euad.2FAIL4749.3
sortnetsort10.v.stepl.009FAIL4755.59
vis.4-arbit^2.E-f2FAIL4778.18
x120.6FAIL4789.12
x160.6FAIL4829.14
ncf_16_32_4_u.7FAIL4835.78
eijk.S838.S-f2FAIL4841.7
texas.PI_main^11.E-f2FAIL4848.33
ncf_16_32_2_u.5FAIL4853.27
x40.8UNSAT4989.57
x130.6FAIL5003.68
sortnetsort6.AE.stepl.003FAIL5012.4
ncf_8_16_8_euad.3FAIL5036.23
x165.9FAIL5071.86
3qbf-5cnf-40var-320cl.2FAIL5101.41
ncf_8_16_8_edau.2FAIL5102.12
x105.7FAIL5115.42
x190.1FAIL5130.95
5qbf-5cnf-20var-320cl.2FAIL5194.55
x160.9FAIL5207.21
ncf_16_32_8_edau.1FAIL5269.8
ncf_8_16_8_d.6UNSAT5279.67
x110.0FAIL5297.47
x200.1FAIL5305.9
ncf_8_16_8_d.3FAIL5310.89
ncf_4_16_8_u.4FAIL5329.32
4qbf-5cnf-160var-640cl.7FAIL5348.57
ncf_4_32_2_edau.6FAIL5354.64
2qbf-5cnf-160var-2560cl.7FAIL5389.17
3qbf-5cnf-40var-320cl.5UNSAT5415.54
2qbf-5cnf-80var-640cl.2FAIL5422.52
x230.7FAIL5445.58
x105.2FAIL5478.91
ncf_16_32_8_euad.1FAIL5489.82
x125.8FAIL5495.7
3qbf-5cnf-40var-320cl.0FAIL5519.6
ncf_4_16_8_euad.2FAIL5541.61
x120.7FAIL5584
x110.7FAIL5638.39
eijk.S820.S-f2FAIL5686.7
2qbf-5cnf-160var-2560cl.3FAIL5692.87
ncf_16_32_8_d.4FAIL5708.25
x50.3FAIL5709.59
3qbf-5cnf-40var-320cl.1FAIL5711.54
3qbf-5cnf-40var-320cl.3FAIL5720.29
x145.4FAIL5721.13
x100.9FAIL5730.61
x155.9FAIL5766
x50.1FAIL5771.98
6qbf-5cnf-20var-160cl.2FAIL5772.45
3qbf-5cnf-40var-320cl.6FAIL5792.27
6qbf-5cnf-20var-160cl.5FAIL5812.87
ncf_8_16_4_u.4FAIL5838.78
x135.5FAIL5844.74
ncf_16_32_2_u.10FAIL5884.11
2qbf-5cnf-40var-320cl.3FAIL5893.01
ncf_8_16_8_euad.2FAIL5895.92
ncf_16_32_8_u.4FAIL5914.79
x115.9FAIL5955.52
2qbf-5cnf-80var-1280cl.4FAIL5967.17
x45.0FAIL5971.69
x130.9FAIL5984.04
2qbf-5cnf-80var-1280cl.8FAIL5986.56
x100.1FAIL5992.53
x150.4FAIL5994.79
3qbf-5cnf-40var-320cl.4FAIL5995.03
ncf_16_32_2_u.6FAIL5995.09
x120.5FAIL5996.04
2qbf-5cnf-160var-5120cl.0FAIL5997.17
x160.8FAIL5997.97
vis.coherence^5.E-f2FAIL5998.01
x130.5FAIL5998.2
x135.1FAIL5999.14
ncf_16_32_2_euad.6FAIL5999.32
ncf_16_32_8_u.1FAIL5999.58
x140.8FAIL5999.58
x145.2FAIL5999.61
x140.4FAIL5999.65
ncf_16_32_4_u.1FAIL5999.67
x125.9FAIL5999.78
2qbf-5cnf-160var-2560cl.2FAIL5999.79
x90.9FAIL5999.82
x100.8FAIL5999.84
cmu.dme2.B-f2FAIL5999.85
x90.4FAIL5999.89
x230.0FAIL5999.9
ncf_16_32_2_edau.10FAIL5999.91
x130.7FAIL5999.91
nusmv.brp.B-f2FAIL5999.91
eijk.S208c.S-f2FAIL5999.92
2qbf-5cnf-160var-5120cl.9FAIL5999.93
texas.two_proc^5.E-f2FAIL5999.94
x95.7FAIL5999.95
texas.ifetch1^7.E-f2FAIL5999.95
x90.1FAIL5999.96
x145.5FAIL5999.97
ncf_16_32_8_u.2FAIL5999.99
x135.8FAIL5999.99
x205.6FAIL5999.99
x50.5FAIL6000
ncf_16_32_2_u.4FAIL6000.02
sortnetsort10.AE.stepl.005FAIL6000.02
2qbf-5cnf-160var-2560cl.6FAIL6000.04
2qbf-5cnf-80var-640cl.4FAIL6000.04
x135.2FAIL6000.04
2qbf-5cnf-160var-2560cl.9FAIL6000.08
2qbf-5cnf-80var-1280cl.9FAIL6000.08
6qbf-5cnf-20var-160cl.9FAIL6000.09
eijk.S444.S-f2FAIL6000.09
ncf_8_16_8_d.4FAIL6000.1
x150.1FAIL6000.12
ncf_16_32_4_euad.9FAIL6000.13
x105.1FAIL6000.13
texas.PI_main^02.E-f2FAIL6000.13
ncf_16_32_4_edau.1FAIL6000.14
texas.two_proc^3.E-f2FAIL6000.14
3qbf-5cnf-80var-320cl.4FAIL6000.15
texas.two_proc^6.E-f2FAIL6000.15
6qbf-5cnf-80var-640cl.2FAIL6000.16
texas.two_proc^1.E-f2FAIL6000.16
ncf_16_32_4_euad.3FAIL6000.18
ncf_8_16_4_edau.7FAIL6000.18
eijk.S298.S-f2FAIL6000.18
6qbf-5cnf-20var-160cl.0FAIL6000.19
x100.5FAIL6000.19
x110.9FAIL6000.19
x175.3FAIL6000.19
ncf_16_32_8_edau.5FAIL6000.2
ncf_16_32_2_edau.4FAIL6000.21
5qbf-5cnf-40var-320cl.6FAIL6000.21
x160.0FAIL6000.22
ncf_16_32_8_d.2FAIL6000.23
2qbf-5cnf-160var-5120cl.3FAIL6000.23
6qbf-5cnf-40var-320cl.7FAIL6000.23
x225.8FAIL6000.23
texas.two_proc^2.E-f2FAIL6000.23
vis.coherence^3.E-f2FAIL6000.23
sortnetsort6.AE.stepl.005FAIL6000.23
ncf_16_32_8_edau.7FAIL6000.24
2qbf-5cnf-80var-1280cl.7FAIL6000.24
ncf_16_32_8_d.9FAIL6000.25
x115.4FAIL6000.25
eijk.S641.S-f2FAIL6000.25
vis.elevator^2.E-f2FAIL6000.25
ncf_8_16_8_euad.10FAIL6000.26
3qbf-5cnf-80var-320cl.0FAIL6000.26
2qbf-5cnf-160var-2560cl.0FAIL6000.27
x220.9FAIL6000.27
vis.arbiter.E-f2FAIL6000.27
x125.6FAIL6000.28
eijk.S382.S-f2FAIL6000.28
4qbf-5cnf-160var-640cl.5FAIL6000.29
ncf_16_32_4_euad.6FAIL6000.3
x140.7FAIL6000.3
2qbf-5cnf-160var-320cl.9FAIL6000.31
ncf_16_32_4_u.10FAIL6000.31
x160.1FAIL6000.31
texas.ifetch1^5.E-f2FAIL6000.31
4qbf-5cnf-80var-320cl.9FAIL6000.33
ncf_16_32_8_euad.5FAIL6000.33
2qbf-5cnf-80var-640cl.9FAIL6000.33
x125.7FAIL6000.33
x190.7FAIL6000.33
x210.1FAIL6000.33
x45.8FAIL6000.33
texas.PI_main^01.E-f2FAIL6000.33
vis.4-arbit^1.E-f2FAIL6000.33
sortnetsort10.v.stepl.006FAIL6000.33
ncf_16_32_8_d.1FAIL6000.34
x125.5FAIL6000.34
x180.4FAIL6000.34
x90.5FAIL6000.34
2qbf-5cnf-40var-640cl.1FAIL6000.35
2qbf-5cnf-160var-5120cl.7FAIL6000.35
ncf_16_32_4_u.4FAIL6000.35
x130.2FAIL6000.36
x170.0FAIL6000.36
ncf_8_16_8_euad.4FAIL6000.37
2qbf-5cnf-80var-640cl.8FAIL6000.37
5qbf-5cnf-40var-320cl.2FAIL6000.37
2qbf-5cnf-160var-2560cl.1FAIL6000.37
x100.0FAIL6000.37
x135.7FAIL6000.37
texas.PI_main^16.E-f2FAIL6000.37
2qbf-5cnf-160var-2560cl.5FAIL6000.38
ncf_16_32_4_u.3FAIL6000.38
6qbf-5cnf-40var-320cl.8FAIL6000.38
x130.3FAIL6000.38
x90.7FAIL6000.38
sortnetsort10.AE.stepl.012FAIL6000.38
ncf_16_32_4_u.5FAIL6000.39
4qbf-5cnf-20var-160cl.6FAIL6000.39
ncf_4_16_8_euad.6FAIL6000.39
ncf_8_16_4_euad.7FAIL6000.39
2qbf-5cnf-40var-640cl.2FAIL6000.39
x120.9FAIL6000.39
x80.6FAIL6000.39
ncf_16_32_2_euad.10FAIL6000.4
x105.9FAIL6000.4
x85.4FAIL6000.4
ken.oop^1.C-f2FAIL6000.4
ncf_4_16_8_u.3FAIL6000.41
ncf_4_16_8_euad.3FAIL6000.41
ncf_16_32_2_euad.4FAIL6000.41
ncf_8_16_8_d.10FAIL6000.41
4qbf-5cnf-80var-320cl.3FAIL6000.41
6qbf-5cnf-40var-320cl.3FAIL6000.41
4qbf-5cnf-160var-640cl.1FAIL6000.41
x140.9FAIL6000.41
x250.6FAIL6000.41
2qbf-5cnf-160var-320cl.1FAIL6000.42
ncf_8_16_8_edau.4FAIL6000.42
ncf_16_32_2_d.4FAIL6000.42
x120.4FAIL6000.42
x50.0FAIL6000.42
ncf_16_32_8_euad.4FAIL6000.43
ncf_8_16_4_u.7FAIL6000.43
x50.2FAIL6000.43
x80.3FAIL6000.43
x85.1FAIL6000.43
6qbf-5cnf-40var-320cl.6FAIL6000.44
6qbf-5cnf-20var-160cl.4FAIL6000.44
ncf_16_32_8_euad.2FAIL6000.44
test3_quant2FAIL6000.44
2qbf-5cnf-40var-640cl.7FAIL6000.44
x150.5FAIL6000.44
x240.8FAIL6000.44
x300.7FAIL6000.44
x85.5FAIL6000.44
x85.8FAIL6000.44
texas.PI_main^12.E-f2FAIL6000.44
2qbf-5cnf-160var-5120cl.1FAIL6000.45
ncf_16_32_2_euad.1FAIL6000.45
x125.0FAIL6000.45
x75.7FAIL6000.45
x90.3FAIL6000.45
ncf_16_32_8_u.7FAIL6000.46
x50.8FAIL6000.46
x60.9FAIL6000.46
2qbf-5cnf-80var-1280cl.2FAIL6000.47
x110.4FAIL6000.47
x110.5FAIL6000.47
x180.1FAIL6000.47
x240.5FAIL6000.47
vis.coherence^1.E-f2FAIL6000.47
sortnetsort10.AE.stepl.011FAIL6000.47
sortnetsort6.AE.stepl.007FAIL6000.47
szymanski-16-sFAIL6000.48
5qbf-5cnf-80var-640cl.8FAIL6000.48
x200.5FAIL6000.48
eijk.S832.S-f2FAIL6000.48
2qbf-5cnf-80var-640cl.6FAIL6000.49
ncf_16_32_8_euad.7FAIL6000.49
ncf_4_16_8_euad.5FAIL6000.49
ncf_16_32_2_euad.3FAIL6000.49
test5_quant5FAIL6000.49
3qbf-5cnf-160var-640cl.1FAIL6000.49
ncf_16_32_8_edau.2FAIL6000.49
x100.3FAIL6000.49
x115.5FAIL6000.49
x115.6FAIL6000.49
x150.7FAIL6000.49
x215.4FAIL6000.49
x95.9FAIL6000.49
5qbf-5cnf-40var-320cl.1FAIL6000.5
ncf_8_16_8_euad.5FAIL6000.5
ncf_16_32_8_u.5FAIL6000.5
2qbf-5cnf-40var-320cl.9FAIL6000.5
x240.9FAIL6000.5
x55.1FAIL6000.5
2qbf-5cnf-160var-320cl.4FAIL6000.51
3qbf-5cnf-80var-320cl.2FAIL6000.51
2qbf-5cnf-160var-5120cl.6FAIL6000.51
2qbf-5cnf-160var-5120cl.8FAIL6000.51
x125.2FAIL6000.51
x165.2FAIL6000.51
sortnetsort8.AE.stepl.004FAIL6000.51
2qbf-5cnf-40var-320cl.8FAIL6000.52
ncf_8_16_4_euad.9FAIL6000.52
ncf_16_32_8_euad.9FAIL6000.52
x170.1FAIL6000.52
vis.elevator^3.E-f2FAIL6000.52
2qbf-5cnf-160var-2560cl.8FAIL6000.53
ncf_4_16_8_d.4FAIL6000.53
6qbf-5cnf-20var-160cl.3FAIL6000.53
x115.2FAIL6000.53
x125.1FAIL6000.53
x195.9FAIL6000.53
x200.4FAIL6000.53
x50.7FAIL6000.53
2qbf-5cnf-160var-2560cl.4FAIL6000.54
ncf_8_16_8_euad.6FAIL6000.54
x100.6FAIL6000.54
x110.8FAIL6000.54
x65.4FAIL6000.54
x80.9FAIL6000.54
x90.2FAIL6000.54
x95.8FAIL6000.54
2qbf-5cnf-40var-320cl.2FAIL6000.55
2qbf-5cnf-40var-320cl.7FAIL6000.55
5qbf-5cnf-40var-640cl.6FAIL6000.55
ncf_16_32_8_d.5FAIL6000.55
2qbf-5cnf-80var-1280cl.1FAIL6000.55
3qbf-5cnf-160var-640cl.4FAIL6000.55
x165.7FAIL6000.55
x185.5FAIL6000.55
x210.5FAIL6000.55
x85.7FAIL6000.55
3qbf-5cnf-40var-320cl.7FAIL6000.56
ncf_16_32_4_d.4FAIL6000.56
ncf_8_16_8_edau.8FAIL6000.56
5qbf-5cnf-40var-320cl.0FAIL6000.56
4qbf-5cnf-20var-160cl.2FAIL6000.56
x350.3FAIL6000.56
x85.3FAIL6000.56
ncf_8_16_4_euad.4FAIL6000.57
ncf_16_32_8_euad.10FAIL6000.57
ncf_4_16_8_d.10FAIL6000.57
3qbf-5cnf-80var-320cl.3FAIL6000.57
3qbf-5cnf-160var-640cl.9FAIL6000.57
6qbf-5cnf-20var-160cl.7FAIL6000.57
x170.9FAIL6000.57
x75.9FAIL6000.57
ncf_16_32_4_d.1FAIL6000.58
4qbf-5cnf-40var-320cl.5FAIL6000.58
x120.0FAIL6000.58
x120.3FAIL6000.58
x55.2FAIL6000.58
x55.9FAIL6000.58
x85.0FAIL6000.58
5qbf-5cnf-80var-640cl.4FAIL6000.59
ncf_16_32_8_euad.6FAIL6000.59
ncf_16_32_4_euad.4FAIL6000.59
5qbf-5cnf-40var-320cl.9FAIL6000.59
x120.1FAIL6000.59
x80.2FAIL6000.59
x90.0FAIL6000.59
x95.1FAIL6000.59
vis.coherence^2.E-f2FAIL6000.59
sortnetsort8.AE.stepl.003FAIL6000.59
5qbf-5cnf-40var-320cl.8FAIL6000.6
ncf_4_16_8_u.5FAIL6000.6
x120.2FAIL6000.6
x85.6FAIL6000.6
sortnetsort10.AE.stepl.010FAIL6000.6
ncf_4_16_8_u.8FAIL6000.61
ncf_4_16_8_d.5FAIL6000.61
ncf_4_32_2_edau.5FAIL6000.61
ncf_4_16_8_d.6FAIL6000.61
ncf_16_32_8_edau.6FAIL6000.61
ncf_16_32_8_euad.8FAIL6000.61
2qbf-5cnf-80var-1280cl.3FAIL6000.61
ncf_8_16_8_edau.5FAIL6000.61
5qbf-5cnf-80var-640cl.2FAIL6000.61
2qbf-5cnf-40var-320cl.0FAIL6000.61
x100.2FAIL6000.61
x155.0FAIL6000.61
x60.0FAIL6000.61
x95.2FAIL6000.61
6qbf-5cnf-20var-160cl.8FAIL6000.62
ncf_16_32_2_u.2FAIL6000.62
ncf_16_32_4_u.6FAIL6000.62
ncf_16_32_8_edau.9FAIL6000.62
2qbf-5cnf-40var-640cl.6FAIL6000.62
ncf_16_32_2_edau.3FAIL6000.62
x230.6FAIL6000.62
x240.3FAIL6000.62
x70.1FAIL6000.62
x75.0FAIL6000.62
x80.4FAIL6000.62
4qbf-5cnf-80var-320cl.7FAIL6000.63
3qbf-5cnf-80var-320cl.8FAIL6000.63
ncf_16_32_8_u.9FAIL6000.63
ncf_4_16_8_d.1FAIL6000.63
sortnetsort7.AE.stepl.003FAIL6000.63
2qbf-5cnf-160var-5120cl.2FAIL6000.64
ncf_8_16_8_d.8FAIL6000.64
5qbf-5cnf-40var-320cl.3FAIL6000.64
2qbf-5cnf-40var-320cl.5FAIL6000.64
x55.7FAIL6000.64
x60.6FAIL6000.64
sortnetsort6.AE.stepl.006FAIL6000.64
4qbf-5cnf-20var-160cl.5FAIL6000.65
ncf_16_32_8_d.7FAIL6000.65
ncf_4_16_8_d.3FAIL6000.65
6qbf-5cnf-40var-320cl.2FAIL6000.65
2qbf-5cnf-40var-640cl.9FAIL6000.65
ncf_16_32_2_d.3FAIL6000.65
6qbf-5cnf-40var-320cl.1FAIL6000.65
ncf_4_16_8_d.2FAIL6000.65
3qbf-5cnf-80var-320cl.5FAIL6000.65
5qbf-5cnf-40var-320cl.4FAIL6000.65
x140.6FAIL6000.65
x200.0FAIL6000.65
x220.1FAIL6000.65
x220.2FAIL6000.65
x245.3FAIL6000.65
x300.1FAIL6000.65
x300.2FAIL6000.65
x350.9FAIL6000.65
x80.7FAIL6000.65
x95.3FAIL6000.65
eijk.S713.S-f2FAIL6000.65
2qbf-5cnf-40var-640cl.8FAIL6000.66
x115.7FAIL6000.66
x155.6FAIL6000.66
x180.5FAIL6000.66
x200.7FAIL6000.66
x65.9FAIL6000.66
x70.6FAIL6000.66
ncf_8_16_8_euad.9FAIL6000.67
5qbf-5cnf-40var-320cl.7FAIL6000.67
x125.3FAIL6000.67
x140.5FAIL6000.67
x60.5FAIL6000.67
x70.2FAIL6000.67
x80.5FAIL6000.67
sortnetsort10.AE.stepl.006FAIL6000.67
sortnetsort9.AE.stepl.004FAIL6000.67
ncf_4_16_8_u.6FAIL6000.68
5qbf-5cnf-80var-640cl.5FAIL6000.68
3qbf-5cnf-160var-640cl.0FAIL6000.68
6qbf-5cnf-40var-320cl.4FAIL6000.68
2qbf-5cnf-40var-320cl.4FAIL6000.68
ncf_4_16_8_euad.1FAIL6000.68
2qbf-5cnf-40var-320cl.1FAIL6000.68
6qbf-5cnf-20var-160cl.1FAIL6000.68
x100.4FAIL6000.68
x190.5FAIL6000.68
x90.6FAIL6000.68
x95.4FAIL6000.68
sortnetsort6.AE.stepl.004FAIL6000.68
3qbf-5cnf-80var-320cl.1FAIL6000.69
ncf_4_32_2_edau.10FAIL6000.69
5qbf-5cnf-80var-640cl.3FAIL6000.69
ncf_16_32_8_u.6FAIL6000.69
2qbf-5cnf-40var-640cl.0FAIL6000.69
ncf_4_16_8_u.1FAIL6000.69
2qbf-5cnf-40var-640cl.4FAIL6000.69
x180.0FAIL6000.69
x45.2FAIL6000.69
x55.3FAIL6000.69
x60.2FAIL6000.69
x65.3FAIL6000.69
x95.6FAIL6000.69
2qbf-5cnf-40var-160cl.9FAIL6000.7
6qbf-5cnf-80var-640cl.6FAIL6000.7
ncf_16_32_8_u.8FAIL6000.7
3qbf-5cnf-80var-320cl.6FAIL6000.7
x105.4FAIL6000.7
x135.3FAIL6000.7
x150.0FAIL6000.7
x205.4FAIL6000.7
x230.2FAIL6000.7
x65.2FAIL6000.7
x75.1FAIL6000.7
x75.3FAIL6000.7
nusmv.syncarb10^2.B-f2FAIL6000.7
sortnetsort9.AE.stepl.006FAIL6000.7
ncf_16_32_8_edau.4FAIL6000.71
5qbf-5cnf-40var-320cl.5FAIL6000.71
4qbf-5cnf-80var-320cl.4FAIL6000.71
x155.8FAIL6000.71
x165.4FAIL6000.71
x245.1FAIL6000.71
x250.7FAIL6000.71
x65.1FAIL6000.71
x65.8FAIL6000.71
x70.3FAIL6000.71
4qbf-5cnf-80var-320cl.1FAIL6000.72
test5_quant7FAIL6000.72
3qbf-5cnf-80var-320cl.7FAIL6000.72
4qbf-5cnf-80var-320cl.5FAIL6000.72
2qbf-5cnf-80var-1280cl.6FAIL6000.72
5qbf-5cnf-80var-640cl.9FAIL6000.72
ncf_16_32_2_euad.5FAIL6000.72
3qbf-5cnf-160var-640cl.6FAIL6000.72
4qbf-5cnf-80var-320cl.8FAIL6000.72
x115.8FAIL6000.72
x145.6FAIL6000.72
x200.9FAIL6000.72
x80.0FAIL6000.72
x90.8FAIL6000.72
sortnetsort7.AE.stepl.008FAIL6000.72
ncf_16_32_2_d.1FAIL6000.73
ncf_4_16_8_euad.8FAIL6000.73
6qbf-5cnf-80var-640cl.1FAIL6000.73
3qbf-5cnf-160var-640cl.7FAIL6000.73
3qbf-5cnf-160var-640cl.5FAIL6000.73
x185.0FAIL6000.73
x195.7FAIL6000.73
x240.0FAIL6000.73
x55.4FAIL6000.73
x80.8FAIL6000.73
sortnetsort9.AE.stepl.007FAIL6000.73
ncf_16_32_2_u.1FAIL6000.74
test3_quant4FAIL6000.74
3qbf-5cnf-160var-640cl.2FAIL6000.74
x70.7FAIL6000.74
x70.9FAIL6000.74
x85.9FAIL6000.74
x95.0FAIL6000.74
sortnetsort8.AE.stepl.006FAIL6000.74
sortnetsort9.AE.stepl.010FAIL6000.74
ncf_8_16_4_u.9FAIL6000.75
3qbf-5cnf-160var-640cl.3FAIL6000.75
4qbf-5cnf-80var-320cl.2FAIL6000.75
ncf_16_32_8_u.10FAIL6000.75
2qbf-5cnf-40var-640cl.3FAIL6000.75
ncf_16_32_8_d.6FAIL6000.75
x110.3FAIL6000.75
x180.8FAIL6000.75
x215.3FAIL6000.75
ncf_16_32_2_euad.8FAIL6000.76
4qbf-5cnf-20var-160cl.9FAIL6000.76
6qbf-5cnf-80var-640cl.4FAIL6000.76
x55.6FAIL6000.76
x65.6FAIL6000.76
sortnetsort7.AE.stepl.005FAIL6000.76
sortnetsort8.AE.stepl.009FAIL6000.76
6qbf-5cnf-40var-320cl.9FAIL6000.77
3qbf-5cnf-160var-640cl.8FAIL6000.77
4qbf-5cnf-160var-640cl.6FAIL6000.77
ncf_16_32_2_edau.1FAIL6000.77
2qbf-5cnf-160var-5120cl.5FAIL6000.77
x155.1FAIL6000.77
x180.6FAIL6000.77
x195.4FAIL6000.77
x60.8FAIL6000.77
x80.1FAIL6000.77
sortnetsort7.AE.stepl.009FAIL6000.77
sortnetsort8.AE.stepl.007FAIL6000.77
sortnetsort9.AE.stepl.008FAIL6000.77
4qbf-5cnf-160var-640cl.9FAIL6000.78
2qbf-5cnf-40var-160cl.3FAIL6000.78
5qbf-5cnf-80var-640cl.6FAIL6000.78
ncf_8_16_8_d.2FAIL6000.78
ncf_16_32_2_u.3FAIL6000.78
4qbf-5cnf-160var-640cl.2FAIL6000.78
x160.2FAIL6000.78
x50.6FAIL6000.78
x55.8FAIL6000.78
x75.2FAIL6000.78
sortnetsort7.AE.stepl.006FAIL6000.78
sortnetsort8.AE.stepl.008FAIL6000.78
5qbf-5cnf-80var-640cl.7FAIL6000.79
6qbf-5cnf-40var-320cl.5FAIL6000.79
4qbf-5cnf-160var-640cl.4FAIL6000.79
ncf_4_16_8_u.2FAIL6000.79
2qbf-5cnf-80var-1280cl.0FAIL6000.79
ncf_16_32_2_u.8FAIL6000.79
6qbf-5cnf-80var-640cl.3FAIL6000.79
ncf_16_32_8_u.3FAIL6000.79
x135.9FAIL6000.79
x350.4FAIL6000.79
x45.4FAIL6000.79
x85.2FAIL6000.79
x95.5FAIL6000.79
ncf_16_32_4_euad.2FAIL6000.8
6qbf-5cnf-80var-640cl.9FAIL6000.8
4qbf-5cnf-160var-640cl.3FAIL6000.8
x75.5FAIL6000.8
sortnetsort7.AE.stepl.004FAIL6000.8
ncf_16_32_8_euad.3FAIL6000.81
x105.6FAIL6000.81
x75.4FAIL6000.81
sortnetsort10.AE.stepl.007FAIL6000.81
sortnetsort10.AE.stepl.008FAIL6000.81
6qbf-5cnf-80var-640cl.5FAIL6000.82
5qbf-5cnf-80var-640cl.1FAIL6000.82
6qbf-5cnf-80var-640cl.7FAIL6000.82
ncf_16_32_4_euad.5FAIL6000.82
4qbf-5cnf-160var-640cl.8FAIL6000.82
x65.7FAIL6000.82
4qbf-5cnf-160var-640cl.0FAIL6000.83
x60.7FAIL6000.83
x65.0FAIL6000.83
x75.6FAIL6000.83
ncf_4_32_2_u.10FAIL6000.84
x350.2FAIL6000.84
x60.4FAIL6000.84
x65.5FAIL6000.84
x70.5FAIL6000.84
sortnetsort7.AE.stepl.007FAIL6000.84
sortnetsort9.AE.stepl.005FAIL6000.84
sortnetsort9.AE.stepl.009FAIL6000.84
5qbf-5cnf-80var-640cl.0FAIL6000.85
ncf_16_32_4_euad.10FAIL6000.85
adder-16-satFAIL6000.85
ncf_16_32_4_d.6FAIL6000.85
sortnetsort10.AE.stepl.009FAIL6000.85
2qbf-5cnf-160var-320cl.8FAIL6000.86
2qbf-5cnf-40var-640cl.5FAIL6000.86
ncf_8_16_8_d.5FAIL6000.86
x400.8FAIL6000.86
x55.0FAIL6000.86
x60.1FAIL6000.86
sortnetsort8.AE.stepl.005FAIL6000.86
ncf_16_32_4_edau.6FAIL6000.87
x400.0FAIL6000.87
sortnetsort9.AE.stepl.011FAIL6000.87
2qbf-5cnf-40var-160cl.5FAIL6000.88
2qbf-5cnf-40var-320cl.6FAIL6000.88
ncf_16_32_8_d.10FAIL6000.88
x400.6FAIL6000.88
x60.3FAIL6000.88
x70.8FAIL6000.88
2qbf-5cnf-40var-160cl.2FAIL6000.89
x350.0FAIL6000.89
x70.0FAIL6000.89
sortnetsort9.AE.stepl.012FAIL6000.89
2qbf-5cnf-40var-160cl.8FAIL6000.9
x50.4FAIL6000.9
x70.4FAIL6000.9
x75.8FAIL6000.9
sortnetsort10.AE.stepl.004FAIL6000.9
2qbf-5cnf-40var-160cl.1FAIL6000.91
ncf_16_32_8_edau.10FAIL6000.91
x350.7FAIL6000.91
x400.1FAIL6000.91
x400.2FAIL6000.91
x400.3FAIL6000.91
x400.7FAIL6000.91
x250.1FAIL6000.92
x250.4FAIL6000.92
x300.0FAIL6000.92
x350.1FAIL6000.92
x350.6FAIL6000.92
x190.9FAIL6000.93
x210.7FAIL6000.93
x215.5FAIL6000.93
x215.7FAIL6000.93
x245.4FAIL6000.93
x245.5FAIL6000.93
x250.9FAIL6000.93
x350.5FAIL6000.93
x35.6FAIL6000.93
x185.1FAIL6000.94
x185.7FAIL6000.94
x195.1FAIL6000.94
x205.0FAIL6000.94
x215.8FAIL6000.94
x220.7FAIL6000.94
x235.1FAIL6000.94
x240.2FAIL6000.94
x245.2FAIL6000.94
x245.6FAIL6000.94
x245.8FAIL6000.94
x250.5FAIL6000.94
x300.3FAIL6000.94
x300.9FAIL6000.94
x350.8FAIL6000.94
x155.7FAIL6000.95
x160.7FAIL6000.95
x170.3FAIL6000.95
x205.1FAIL6000.95
x210.3FAIL6000.95
x210.8FAIL6000.95
x220.4FAIL6000.95
x220.6FAIL6000.95
x230.1FAIL6000.95
x235.4FAIL6000.95
x245.0FAIL6000.95
x245.7FAIL6000.95
x250.3FAIL6000.95
x250.8FAIL6000.95
x300.8FAIL6000.95
x400.9FAIL6000.95
x130.4FAIL6000.96
x180.3FAIL6000.96
x185.8FAIL6000.96
x190.0FAIL6000.96
x195.3FAIL6000.96
x195.8FAIL6000.96
x200.3FAIL6000.96
x215.0FAIL6000.96
x215.1FAIL6000.96
x220.8FAIL6000.96
x225.1FAIL6000.96
x225.4FAIL6000.96
x230.5FAIL6000.96
x235.0FAIL6000.96
x235.7FAIL6000.96
x235.8FAIL6000.96
x235.9FAIL6000.96
x240.6FAIL6000.96
x145.1FAIL6000.97
x160.4FAIL6000.97
x165.1FAIL6000.97
x170.5FAIL6000.97
x170.7FAIL6000.97
x175.2FAIL6000.97
x175.5FAIL6000.97
x180.9FAIL6000.97
x190.2FAIL6000.97
x190.4FAIL6000.97
x190.8FAIL6000.97
x195.2FAIL6000.97
x195.5FAIL6000.97
x200.2FAIL6000.97
x205.3FAIL6000.97
x205.7FAIL6000.97
x205.9FAIL6000.97
x210.0FAIL6000.97
x210.2FAIL6000.97
x225.2FAIL6000.97
x225.5FAIL6000.97
x230.4FAIL6000.97
x230.9FAIL6000.97
x115.1FAIL6000.98
x150.3FAIL6000.98
x170.8FAIL6000.98
x175.8FAIL6000.98
x175.9FAIL6000.98
x185.2FAIL6000.98
x195.0FAIL6000.98
x200.6FAIL6000.98
x225.3FAIL6000.98
x155.5FAIL6000.99
x160.3FAIL6000.99
x170.2FAIL6000.99
x180.7FAIL6000.99
x205.2FAIL6000.99
x240.7FAIL6000.99
x135.6FAIL6001