Instances solved by semprop
QBFEVAL'06

InstanceResultTime
3qbf-5cnf-80var-320cl.1SAT0
5qbf-5cnf-80var-640cl.7SAT0
ncf_4_8_2_euad.8SAT0
5qbf-5cnf-40var-1280cl.0UNSAT0
2qbf-5cnf-40var-640cl.1UNSAT0
3qbf-5cnf-40var-320cl.7SAT0
6qbf-5cnf-20var-640cl.5UNSAT0
ncf_4_8_4_euad.9SAT0
6qbf-5cnf-20var-640cl.7UNSAT0
6qbf-5cnf-40var-640cl.4UNSAT0
lut4_3_fANDFAIL0
5qbf-5cnf-160var-640cl.3SAT0
5qbf-5cnf-160var-640cl.1SAT0
6qbf-5cnf-20var-640cl.0UNSAT0
k_poly_n-4SAT0
ncf_8_16_4_edau.2UNSAT0
3qbf-5cnf-80var-320cl.9SAT0
3qbf-5cnf-80var-320cl.7SAT0
4qbf-5cnf-20var-640cl.8UNSAT0
ncf_16_32_2_u.9UNSAT0
6qbf-5cnf-20var-320cl.8UNSAT0
4qbf-5cnf-80var-2560cl.4UNSAT0
3qbf-5cnf-20var-160cl.0SAT0
5qbf-5cnf-20var-640cl.1UNSAT0
5qbf-5cnf-160var-640cl.4SAT0
3qbf-5cnf-80var-320cl.0SAT0
ncf_4_8_4_u.9SAT0
4qbf-5cnf-20var-320cl.8UNSAT0
3qbf-5cnf-20var-320cl.0UNSAT0
ncf_4_8_2_u.9SAT0
4qbf-5cnf-40var-640cl.5UNSAT0
6qbf-5cnf-20var-320cl.6UNSAT0
4qbf-5cnf-20var-640cl.5UNSAT0
4qbf-5cnf-20var-320cl.2UNSAT0
4qbf-5cnf-20var-640cl.6UNSAT0
3qbf-5cnf-20var-160cl.4SAT0
2qbf-5cnf-80var-1280cl.6UNSAT0
ncf_4_8_2_u.4UNSAT0
ncf_8_16_4_edau.1SAT0
5qbf-5cnf-20var-640cl.3UNSAT0
3qbf-5cnf-40var-640cl.9UNSAT0
5qbf-5cnf-20var-640cl.2UNSAT0
6qbf-5cnf-20var-640cl.6UNSAT0
tree-exa2-50UNSAT0
3qbf-5cnf-40var-640cl.7UNSAT0
ncf_4_16_2_euad.6SAT0
6qbf-5cnf-160var-640cl.8SAT0
6qbf-5cnf-20var-640cl.8UNSAT0
6qbf-5cnf-20var-640cl.9UNSAT0
6qbf-5cnf-160var-640cl.9SAT0
4qbf-5cnf-40var-1280cl.0UNSAT0
ncf_4_16_2_d.9SAT0
ncf_8_16_4_u.1SAT0
5qbf-5cnf-160var-640cl.2SAT0
5qbf-5cnf-40var-1280cl.4UNSAT0
2qbf-5cnf-40var-640cl.5UNSAT0
5qbf-5cnf-20var-640cl.6UNSAT0
ncf_4_8_2_u.5SAT0
6qbf-5cnf-160var-640cl.4SAT0
6qbf-5cnf-160var-640cl.7SAT0
3qbf-5cnf-20var-160cl.1SAT0
6qbf-5cnf-160var-640cl.1SAT0
3qbf-5cnf-160var-640cl.7SAT0
ncf_4_8_4_euad.2UNSAT0
ncf_16_32_2_d.9UNSAT0
3qbf-5cnf-160var-640cl.9SAT0
4qbf-5cnf-40var-640cl.8UNSAT0
3qbf-5cnf-80var-320cl.2SAT0
3qbf-5cnf-80var-320cl.4SAT0
4qbf-5cnf-80var-1280cl.4UNSAT0
2qbf-5cnf-40var-640cl.3UNSAT0
6qbf-5cnf-160var-640cl.0SAT0
ncf_4_8_2_euad.5SAT0
4qbf-5cnf-20var-320cl.7UNSAT0
4qbf-5cnf-20var-640cl.2UNSAT0
4qbf-5cnf-80var-1280cl.2UNSAT0
2qbf-5cnf-40var-640cl.0UNSAT0
5qbf-5cnf-20var-640cl.9UNSAT0
2qbf-5cnf-80var-1280cl.8UNSAT0
5qbf-5cnf-40var-640cl.8UNSAT0
5qbf-5cnf-80var-640cl.8SAT0
ncf_8_16_4_d.2UNSAT0
4qbf-5cnf-20var-640cl.3UNSAT0
5qbf-5cnf-160var-640cl.7SAT0
3qbf-5cnf-80var-320cl.6SAT0
3qbf-5cnf-160var-640cl.1SAT0
3qbf-5cnf-160var-640cl.5SAT0
ncf_4_8_2_u.2SAT0
5qbf-5cnf-20var-640cl.4UNSAT0
6qbf-5cnf-40var-1280cl.7UNSAT0
2qbf-5cnf-40var-640cl.8UNSAT0
2qbf-5cnf-40var-320cl.9UNSAT0
3qbf-5cnf-160var-640cl.4SAT0
2qbf-5cnf-40var-640cl.4UNSAT0
ncf_4_8_4_u.2UNSAT0
5qbf-5cnf-40var-320cl.4SAT0
x10.8UNSAT0
x10.9UNSAT0
x5.0SAT0
x5.2UNSAT0
x5.5UNSAT0
x5.8UNSAT0
x5.9UNSAT0
eijk.bs1512.S-d2SAT0
eijk.S208c.S-d2SAT0
eijk.S208o.S-d2SAT0
eijk.S344.S-d2SAT0
eijk.S349.S-d2SAT0
eijk.S382.S-d2SAT0
eijk.S444.S-d2SAT0
eijk.S526.S-d2SAT0
eijk.S953.S-d2SAT0
vis.bakery.E-d2SAT0
Qq2k1k4v40v40m2s0SAT0
Qq2k1k4v40v40m2s1SAT0
Qq2k1k4v40v40m2s3SAT0
Qq2k1k4v40v40m2s5SAT0
Qq2k1k4v40v40m2s6SAT0
Qq2k1k4v40v40m2s9SAT0
Qq2k1k4v40v40m4s1SAT0
Qq2k1k4v40v40m4s2UNSAT0
Qq2k1k4v40v40m4s3SAT0
Qq2k1k4v40v40m4s4SAT0
Qq2k1k4v40v40m4s7SAT0
Qq2k1k4v40v40m4s8SAT0
Qq2k1k4v40v40m4s9SAT0
Qq2k1k4v40v40m8s1SAT0
Qq2k1k4v40v40m8s3SAT0
Qq2k1k4v40v40m8s4SAT0
Qq2k1k4v40v40m8s5SAT0
Qq2k1k4v40v40m8s6UNSAT0
Qq2k1k4v40v40m8s7SAT0
Qq2k1k4v40v40m8s8SAT0
Qq2k1k4v40v40m8s9SAT0
Qq2k1k4v40v40m16s1SAT0
Qq2k1k4v40v40m16s2UNSAT0
Qq2k1k4v40v40m16s3UNSAT0
Qq2k1k4v40v40m16s4SAT0
Qq2k1k4v40v40m16s5SAT0
Qq2k1k4v40v40m16s6UNSAT0
Qq2k1k4v40v40m16s8SAT0
Qq2k1k4v40v40m32s0UNSAT0
Qq2k1k4v40v40m32s4UNSAT0
Qq2k1k4v40v40m32s6UNSAT0
Qq2k1k4v40v40m32s8UNSAT0
Qq2k1k4v40v40m32s9UNSAT0
Qq2k1k4v80v80m2s3SAT0
Qq2k1k4v80v80m2s4SAT0
Qq2k1k4v80v80m2s7SAT0
Qq2k1k4v80v80m2s8SAT0
Qq2k1k4v80v80m2s9SAT0
Qq2k1k4v80v80m4s0SAT0
Qq2k1k4v80v80m4s1SAT0
Qq2k1k4v80v80m4s2SAT0
Qq2k1k4v80v80m4s3SAT0
Qq2k1k4v80v80m4s5SAT0
Qq2k1k4v80v80m4s6SAT0
Qq2k1k4v80v80m4s7SAT0
Qq2k1k4v80v80m4s9SAT0
Qq2k1k4v80v80m8s0SAT0
Qq2k1k4v80v80m8s1SAT0
Qq2k1k4v80v80m8s2SAT0
Qq2k1k4v80v80m8s3SAT0
Qq2k1k4v80v80m8s5SAT0
Qq2k1k4v80v80m8s7SAT0
Qq2k1k4v80v80m8s8SAT0
Qq2k1k4v80v80m16s2SAT0
Qq2k1k4v80v80m16s3UNSAT0
Qq2k1k4v80v80m16s4SAT0
Qq2k1k4v80v80m16s5SAT0
Qq2k1k4v80v80m16s7SAT0
Qq2k1k4v80v80m16s8UNSAT0
Qq2k1k4v80v80m16s9SAT0
Qq2k1k4v80v80m32s2UNSAT0
Qq2k1k4v80v80m32s3UNSAT0
Qq2k1k4v80v80m32s5UNSAT0
Qq2k1k4v80v80m32s7SAT0
Qq2k1k4v80v80m32s8UNSAT0
Qq2k1k4v80v80m32s9UNSAT0
Qq2k2k3v40v40m2s0SAT0
Qq2k2k3v40v40m2s2SAT0
Qq2k2k3v40v40m2s3SAT0
Qq2k2k3v40v40m2s4SAT0
Qq2k2k3v40v40m2s5SAT0
Qq2k2k3v40v40m2s7SAT0
Qq2k2k3v40v40m2s8SAT0
Qq2k2k3v40v40m2s9SAT0
Qq2k2k3v40v40m4s0SAT0
Qq2k2k3v40v40m4s4SAT0
Qq2k2k3v40v40m4s5SAT0
Qq2k2k3v40v40m4s7SAT0
Qq2k2k3v40v40m4s9SAT0
Qq2k2k3v40v40m8s0SAT0
Qq2k2k3v40v40m8s1SAT0
Qq2k2k3v40v40m8s2SAT0
Qq2k2k3v40v40m8s3SAT0
Qq2k2k3v40v40m8s4SAT0
Qq2k2k3v40v40m8s5SAT0
Qq2k2k3v40v40m8s6SAT0
Qq2k2k3v40v40m8s9SAT0
Qq2k2k3v40v40m16s0SAT0
Qq2k2k3v40v40m16s2SAT0
Qq2k2k3v40v40m16s4SAT0
Qq2k2k3v40v40m16s6SAT0
Qq2k2k3v40v40m16s7SAT0
Qq2k2k3v40v40m32s2SAT0
Qq2k2k3v40v40m32s3SAT0
Qq2k2k3v40v40m32s7SAT0
Qq2k2k3v80v80m2s2SAT0
Qq2k2k3v80v80m2s3SAT0
Qq2k2k3v80v80m2s4SAT0
Qq2k2k3v80v80m2s6SAT0
Qq2k2k3v80v80m2s8SAT0
Qq2k2k3v80v80m2s9SAT0
Qq2k2k3v80v80m4s0SAT0
Qq2k2k3v80v80m4s1SAT0
Qq2k2k3v80v80m4s4SAT0
Qq2k2k3v80v80m4s6SAT0
Qq2k2k3v80v80m4s7SAT0
Qq2k2k3v80v80m8s0SAT0
Qq2k2k3v80v80m8s1SAT0
Qq2k2k3v80v80m8s2SAT0
Qq2k2k3v80v80m8s3SAT0
Qq2k2k3v80v80m8s4SAT0
Qq2k2k3v80v80m8s5SAT0
Qq2k2k3v80v80m8s7SAT0
Qq2k2k3v80v80m8s8SAT0
Qq2k2k3v80v80m16s1SAT0
Qq2k2k3v80v80m16s2SAT0
Qq2k2k3v80v80m16s3SAT0
Qq2k2k3v80v80m16s5SAT0
Qq2k2k3v80v80m16s7SAT0
Qq2k2k3v80v80m16s8SAT0
Qq2k2k3v80v80m16s9SAT0
Qq2k2k3v80v80m32s0SAT0
Qq2k2k3v80v80m32s1SAT0
Qq2k2k3v80v80m32s2SAT0
Qq2k2k3v80v80m32s3SAT0
Qq2k2k3v80v80m32s4SAT0
Qq2k2k3v80v80m32s6SAT0
Qq2k2k3v80v80m32s8SAT0
Qq2k2k3v80v80m32s9SAT0
Qq2k3k2v40v40m2s2SAT0
Qq2k3k2v40v40m2s5SAT0
Qq2k3k2v40v40m2s6SAT0
Qq2k3k2v40v40m2s7SAT0
Qq2k3k2v40v40m2s8SAT0
Qq2k3k2v40v40m2s9SAT0
Qq2k3k2v40v40m4s0SAT0
Qq2k3k2v40v40m4s1SAT0
Qq2k3k2v40v40m4s2SAT0
Qq2k3k2v40v40m4s3SAT0
Qq2k3k2v40v40m4s6SAT0
Qq2k3k2v40v40m4s7SAT0
Qq2k3k2v40v40m4s9SAT0
Qq2k3k2v40v40m8s2SAT0
Qq2k3k2v40v40m8s4SAT0
Qq2k3k2v40v40m8s5SAT0
Qq2k3k2v40v40m8s6SAT0
Qq2k3k2v40v40m8s7SAT0
Qq2k3k2v40v40m8s8SAT0
Qq2k3k2v40v40m16s0SAT0
Qq2k3k2v40v40m16s1SAT0
Qq2k3k2v40v40m16s2SAT0
Qq2k3k2v40v40m16s4SAT0
Qq2k3k2v40v40m16s6SAT0
Qq2k3k2v40v40m16s7SAT0
Qq2k3k2v40v40m16s8SAT0
Qq2k3k2v40v40m16s9SAT0
Qq2k3k2v40v40m32s0SAT0
Qq2k3k2v40v40m32s2SAT0
Qq2k3k2v40v40m32s4SAT0
Qq2k3k2v40v40m32s5SAT0
Qq2k3k2v40v40m32s6SAT0
Qq2k3k2v40v40m32s7SAT0
Qq2k3k2v40v40m32s9SAT0
Qq2k3k2v80v80m2s0SAT0
Qq2k3k2v80v80m2s1SAT0
Qq2k3k2v80v80m2s2SAT0
Qq2k3k2v80v80m2s3SAT0
Qq2k3k2v80v80m2s5SAT0
Qq2k3k2v80v80m2s6SAT0
Qq2k3k2v80v80m2s8SAT0
Qq2k3k2v80v80m2s9SAT0
Qq2k3k2v80v80m4s0SAT0
Qq2k3k2v80v80m4s1SAT0
Qq2k3k2v80v80m4s2SAT0
Qq2k3k2v80v80m4s5SAT0
Qq2k3k2v80v80m4s6SAT0
Qq2k3k2v80v80m4s7SAT0
Qq2k3k2v80v80m4s8SAT0
Qq2k3k2v80v80m8s0SAT0
Qq2k3k2v80v80m8s1SAT0
Qq2k3k2v80v80m8s2SAT0
Qq2k3k2v80v80m8s3SAT0
Qq2k3k2v80v80m8s7SAT0
Qq2k3k2v80v80m16s0SAT0
Qq2k3k2v80v80m16s2SAT0
Qq2k3k2v80v80m16s4SAT0
Qq2k3k2v80v80m16s5SAT0
Qq2k3k2v80v80m16s8SAT0
Qq2k3k2v80v80m16s9SAT0
Qq2k3k2v80v80m32s0SAT0
Qq2k3k2v80v80m32s1SAT0
Qq2k3k2v80v80m32s2SAT0
Qq2k3k2v80v80m32s4SAT0
Qq2k3k2v80v80m32s5SAT0
Qq2k3k2v80v80m32s6SAT0
Qq2k3k2v80v80m32s7SAT0
Qq2k3k2v80v80m32s8SAT0
Qq3k1k1k3v40v40v40m2s0FAIL0
Qq3k1k1k3v40v40v40m2s2FAIL0
Qq3k1k1k3v40v40v40m2s5FAIL0
Qq3k1k1k3v40v40v40m2s6FAIL0
Qq3k1k1k3v40v40v40m2s7FAIL0
Qq3k1k1k3v40v40v40m2s8FAIL0
Qq3k1k1k3v40v40v40m4s2SAT0
Qq3k1k1k3v40v40v40m4s4SAT0
Qq3k1k1k3v40v40v40m4s5SAT0
Qq3k1k1k3v40v40v40m4s6SAT0
Qq3k1k1k3v40v40v40m4s9SAT0
Qq3k1k1k3v40v40v40m8s0SAT0
Qq3k1k1k3v40v40v40m8s1SAT0
Qq3k1k1k3v40v40v40m8s2SAT0
Qq3k1k1k3v40v40v40m8s3SAT0
Qq3k1k1k3v40v40v40m8s4SAT0
Qq3k1k1k3v40v40v40m8s8SAT0
Qq3k1k1k3v40v40v40m8s9SAT0
Qq3k1k1k3v40v40v40m16s1SAT0
Qq3k1k1k3v40v40v40m16s3SAT0
Qq3k1k1k3v40v40v40m16s6SAT0
Qq3k1k1k3v40v40v40m16s8SAT0
Qq3k1k1k3v40v40v40m16s9SAT0
Qq3k1k1k3v40v40v40m32s0SAT0
Qq3k1k1k3v40v40v40m32s3SAT0
Qq3k1k1k3v40v40v40m32s4SAT0
Qq3k1k1k3v40v40v40m32s5SAT0
Qq3k1k1k3v40v40v40m32s6SAT0
Qq3k1k1k3v40v40v40m32s7SAT0
Qq3k1k1k3v40v40v40m32s8SAT0
Qq3k1k1k3v40v40v40m32s9SAT0
Qq3k1k1k3v80v80v80m2s0FAIL0
Qq3k1k1k3v80v80v80m2s3FAIL0
Qq3k1k1k3v80v80v80m2s4SAT0
Qq3k1k1k3v80v80v80m2s5FAIL0
Qq3k1k1k3v80v80v80m2s6FAIL0
Qq3k1k1k3v80v80v80m2s9FAIL0
Qq3k1k1k3v80v80v80m4s0SAT0
Qq3k1k1k3v80v80v80m4s1SAT0
Qq3k1k1k3v80v80v80m4s2SAT0
Qq3k1k1k3v80v80v80m4s3SAT0
Qq3k1k1k3v80v80v80m4s5SAT0
Qq3k1k1k3v80v80v80m4s7SAT0
Qq3k1k1k3v80v80v80m4s9SAT0
Qq3k1k1k3v80v80v80m8s1SAT0
Qq3k1k1k3v80v80v80m8s2SAT0
Qq3k1k1k3v80v80v80m8s4SAT0
Qq3k1k1k3v80v80v80m8s5SAT0
Qq3k1k1k3v80v80v80m8s9SAT0
Qq3k1k1k3v80v80v80m16s1SAT0
Qq3k1k1k3v80v80v80m16s2SAT0
Qq3k1k1k3v80v80v80m16s5SAT0
Qq3k1k1k3v80v80v80m16s8SAT0
Qq3k1k1k3v80v80v80m32s0SAT0
Qq3k1k1k3v80v80v80m32s2SAT0
Qq3k1k1k3v80v80v80m32s3SAT0
Qq3k1k1k3v80v80v80m32s4SAT0
Qq3k1k1k3v80v80v80m32s5SAT0
Qq3k1k1k3v80v80v80m32s6SAT0
Qq3k1k1k3v80v80v80m32s7SAT0
Qq3k1k1k3v80v80v80m32s8SAT0
Qq3k1k2k2v40v40v40m2s0FAIL0
Qq3k1k2k2v40v40v40m2s2FAIL0
Qq3k1k2k2v40v40v40m2s3FAIL0
Qq3k1k2k2v40v40v40m2s4FAIL0
Qq3k1k2k2v40v40v40m2s5FAIL0
Qq3k1k2k2v40v40v40m2s6FAIL0
Qq3k1k2k2v40v40v40m2s7FAIL0
Qq3k1k2k2v40v40v40m4s0SAT0
Qq3k1k2k2v40v40v40m4s5SAT0
Qq3k1k2k2v40v40v40m4s6SAT0
Qq3k1k2k2v40v40v40m4s8SAT0
Qq3k1k2k2v40v40v40m4s9SAT0
Qq3k1k2k2v40v40v40m8s0SAT0
Qq3k1k2k2v40v40v40m8s5SAT0
Qq3k1k2k2v40v40v40m8s6SAT0
Qq3k1k2k2v40v40v40m8s7SAT0
Qq3k1k2k2v40v40v40m8s8SAT0
Qq3k1k2k2v40v40v40m8s9SAT0
Qq3k1k2k2v40v40v40m16s0SAT0
Qq3k1k2k2v40v40v40m16s1SAT0
Qq3k1k2k2v40v40v40m16s7SAT0
Qq3k1k2k2v40v40v40m16s8SAT0
Qq3k1k2k2v40v40v40m32s1SAT0
Qq3k1k2k2v40v40v40m32s2SAT0
Qq3k1k2k2v40v40v40m32s3SAT0
Qq3k1k2k2v40v40v40m32s5SAT0
Qq3k1k2k2v40v40v40m32s6SAT0
Qq3k1k2k2v40v40v40m32s8SAT0
Qq3k1k2k2v40v40v40m32s9SAT0
Qq3k1k2k2v80v80v80m2s0FAIL0
Qq3k1k2k2v80v80v80m2s4FAIL0
Qq3k1k2k2v80v80v80m2s6FAIL0
Qq3k1k2k2v80v80v80m2s7FAIL0
Qq3k1k2k2v80v80v80m2s9FAIL0
Qq3k1k2k2v80v80v80m4s0SAT0
Qq3k1k2k2v80v80v80m4s2SAT0
Qq3k1k2k2v80v80v80m4s4SAT0
Qq3k1k2k2v80v80v80m4s5SAT0
Qq3k1k2k2v80v80v80m4s7SAT0
Qq3k1k2k2v80v80v80m4s8SAT0
Qq3k1k2k2v80v80v80m4s9SAT0
Qq3k1k2k2v80v80v80m8s0SAT0
Qq3k1k2k2v80v80v80m8s1SAT0
Qq3k1k2k2v80v80v80m8s2SAT0
Qq3k1k2k2v80v80v80m8s4SAT0
Qq3k1k2k2v80v80v80m8s6SAT0
Qq3k1k2k2v80v80v80m8s7SAT0
Qq3k1k2k2v80v80v80m8s8SAT0
Qq3k1k2k2v80v80v80m8s9SAT0
Qq3k1k2k2v80v80v80m16s0SAT0
Qq3k1k2k2v80v80v80m16s1SAT0
Qq3k1k2k2v80v80v80m16s2SAT0
Qq3k1k2k2v80v80v80m16s8SAT0
Qq3k1k2k2v80v80v80m16s9SAT0
Qq3k1k2k2v80v80v80m32s1SAT0
Qq3k1k2k2v80v80v80m32s3SAT0
Qq3k1k2k2v80v80v80m32s4SAT0
Qq3k1k2k2v80v80v80m32s6SAT0
Qq3k1k2k2v80v80v80m32s8SAT0
Qq3k1k3k1v40v40v40m2s1FAIL0
Qq3k1k3k1v40v40v40m2s2FAIL0
Qq3k1k3k1v40v40v40m2s3FAIL0
Qq3k1k3k1v40v40v40m2s5FAIL0
Qq3k1k3k1v40v40v40m2s6FAIL0
Qq3k1k3k1v40v40v40m2s7FAIL0
Qq3k1k3k1v40v40v40m2s8FAIL0
Qq3k1k3k1v40v40v40m2s9FAIL0
Qq3k1k3k1v40v40v40m4s0SAT0
Qq3k1k3k1v40v40v40m4s1SAT0
Qq3k1k3k1v40v40v40m4s2SAT0
Qq3k1k3k1v40v40v40m4s3SAT0
Qq3k1k3k1v40v40v40m4s4SAT0
Qq3k1k3k1v40v40v40m4s5SAT0
Qq3k1k3k1v40v40v40m4s6SAT0
Qq3k1k3k1v40v40v40m4s7SAT0
Qq3k1k3k1v40v40v40m4s8SAT0
Qq3k1k3k1v40v40v40m4s9SAT0
Qq3k1k3k1v40v40v40m8s0SAT0
Qq3k1k3k1v40v40v40m8s1SAT0
Qq3k1k3k1v40v40v40m8s2SAT0
Qq3k1k3k1v40v40v40m8s8SAT0
Qq3k1k3k1v40v40v40m16s2SAT0
Qq3k1k3k1v40v40v40m16s5SAT0
Qq3k1k3k1v40v40v40m16s6SAT0
Qq3k1k3k1v40v40v40m16s8SAT0
Qq3k1k3k1v40v40v40m16s9SAT0
Qq3k1k3k1v40v40v40m32s1SAT0
Qq3k1k3k1v40v40v40m32s3SAT0
Qq3k1k3k1v40v40v40m32s4SAT0
Qq3k1k3k1v40v40v40m32s5SAT0
Qq3k1k3k1v40v40v40m32s7SAT0
Qq3k1k3k1v40v40v40m32s8SAT0
Qq3k1k3k1v40v40v40m32s9SAT0
Qq3k1k3k1v80v80v80m2s0FAIL0
Qq3k1k3k1v80v80v80m2s2FAIL0
Qq3k1k3k1v80v80v80m2s3FAIL0
Qq3k1k3k1v80v80v80m2s5FAIL0
Qq3k1k3k1v80v80v80m2s6FAIL0
Qq3k1k3k1v80v80v80m2s7FAIL0
Qq3k1k3k1v80v80v80m2s8FAIL0
Qq3k1k3k1v80v80v80m4s1SAT0
Qq3k1k3k1v80v80v80m4s2SAT0
Qq3k1k3k1v80v80v80m4s3SAT0
Qq3k1k3k1v80v80v80m4s5SAT0
Qq3k1k3k1v80v80v80m4s8SAT0
Qq3k1k3k1v80v80v80m8s3SAT0
Qq3k1k3k1v80v80v80m8s4SAT0
Qq3k1k3k1v80v80v80m8s5SAT0
Qq3k1k3k1v80v80v80m8s8SAT0
Qq3k1k3k1v80v80v80m16s2SAT0
Qq3k1k3k1v80v80v80m16s4SAT0
Qq3k1k3k1v80v80v80m16s5SAT0
Qq3k1k3k1v80v80v80m16s6SAT0
Qq3k1k3k1v80v80v80m16s8SAT0
Qq3k1k3k1v80v80v80m32s0SAT0
Qq3k1k3k1v80v80v80m32s1SAT0
Qq3k1k3k1v80v80v80m32s2SAT0
Qq3k1k3k1v80v80v80m32s5SAT0
Qq3k1k3k1v80v80v80m32s6SAT0
Qq3k1k3k1v80v80v80m32s7SAT0
Qq3k1k3k1v80v80v80m32s8SAT0
Qq3k1k3k1v80v80v80m32s9SAT0
Qq3k2k1k2v40v40v40m2s2FAIL0
Qq3k2k1k2v40v40v40m2s3FAIL0
Qq3k2k1k2v40v40v40m2s4FAIL0
Qq3k2k1k2v40v40v40m2s5SAT0
Qq3k2k1k2v40v40v40m2s6FAIL0
Qq3k2k1k2v40v40v40m2s8FAIL0
Qq3k2k1k2v40v40v40m2s9FAIL0
Qq3k2k1k2v40v40v40m4s0SAT0
Qq3k2k1k2v40v40v40m4s1SAT0
Qq3k2k1k2v40v40v40m4s7SAT0
Qq3k2k1k2v40v40v40m4s8SAT0
Qq3k2k1k2v40v40v40m4s9SAT0
Qq3k2k1k2v40v40v40m8s0SAT0
Qq3k2k1k2v40v40v40m8s3SAT0
Qq3k2k1k2v40v40v40m8s4SAT0
Qq3k2k1k2v40v40v40m8s5SAT0
Qq3k2k1k2v40v40v40m8s7SAT0
Qq3k2k1k2v40v40v40m8s9SAT0
Qq3k2k1k2v40v40v40m16s6SAT0
Qq3k2k1k2v40v40v40m16s7SAT0
Qq3k2k1k2v40v40v40m16s8SAT0
Qq3k2k1k2v40v40v40m16s9SAT0
Qq3k2k1k2v40v40v40m32s0SAT0
Qq3k2k1k2v40v40v40m32s1SAT0
Qq3k2k1k2v40v40v40m32s3SAT0
Qq3k2k1k2v40v40v40m32s4SAT0
Qq3k2k1k2v40v40v40m32s6SAT0
Qq3k2k1k2v40v40v40m32s8SAT0
Qq3k2k1k2v40v40v40m32s9SAT0
Qq3k2k1k2v80v80v80m2s0FAIL0
Qq3k2k1k2v80v80v80m2s2FAIL0
Qq3k2k1k2v80v80v80m2s5SAT0
Qq3k2k1k2v80v80v80m4s0SAT0
Qq3k2k1k2v80v80v80m4s2SAT0
Qq3k2k1k2v80v80v80m4s3SAT0
Qq3k2k1k2v80v80v80m4s5SAT0
Qq3k2k1k2v80v80v80m4s6SAT0
Qq3k2k1k2v80v80v80m4s7SAT0
Qq3k2k1k2v80v80v80m4s9SAT0
Qq3k2k1k2v80v80v80m8s0SAT0
Qq3k2k1k2v80v80v80m8s1SAT0
Qq3k2k1k2v80v80v80m8s4SAT0
Qq3k2k1k2v80v80v80m8s8SAT0
Qq3k2k1k2v80v80v80m16s0SAT0
Qq3k2k1k2v80v80v80m16s2SAT0
Qq3k2k1k2v80v80v80m16s5SAT0
Qq3k2k1k2v80v80v80m16s6SAT0
Qq3k2k1k2v80v80v80m16s7SAT0
Qq3k2k1k2v80v80v80m16s8SAT0
Qq3k2k1k2v80v80v80m16s9SAT0
Qq3k2k1k2v80v80v80m32s3SAT0
Qq3k2k1k2v80v80v80m32s5SAT0
Qq3k2k1k2v80v80v80m32s6SAT0
Qq3k2k1k2v80v80v80m32s7SAT0
Qq3k2k1k2v80v80v80m32s9SAT0
Qq3k2k2k1v40v40v40m2s0FAIL0
Qq3k2k2k1v40v40v40m2s2FAIL0
Qq3k2k2k1v40v40v40m2s3FAIL0
Qq3k2k2k1v40v40v40m2s7FAIL0
Qq3k2k2k1v40v40v40m2s8FAIL0
Qq3k2k2k1v40v40v40m4s1SAT0
Qq3k2k2k1v40v40v40m4s3SAT0
Qq3k2k2k1v40v40v40m4s6SAT0
Qq3k2k2k1v40v40v40m4s7SAT0
Qq3k2k2k1v40v40v40m4s8SAT0
Qq3k2k2k1v40v40v40m4s9SAT0
Qq3k2k2k1v40v40v40m8s1SAT0
Qq3k2k2k1v40v40v40m8s2SAT0
Qq3k2k2k1v40v40v40m8s3SAT0
Qq3k2k2k1v40v40v40m8s4SAT0
Qq3k2k2k1v40v40v40m8s6SAT0
Qq3k2k2k1v40v40v40m8s7SAT0
Qq3k2k2k1v40v40v40m8s8SAT0
Qq3k2k2k1v40v40v40m8s9SAT0
Qq3k2k2k1v40v40v40m16s1SAT0
Qq3k2k2k1v40v40v40m16s2SAT0
Qq3k2k2k1v40v40v40m16s3SAT0
Qq3k2k2k1v40v40v40m16s5SAT0
Qq3k2k2k1v40v40v40m16s6SAT0
Qq3k2k2k1v40v40v40m16s7SAT0
Qq3k2k2k1v40v40v40m16s8SAT0
Qq3k2k2k1v40v40v40m32s0SAT0
Qq3k2k2k1v40v40v40m32s1SAT0
Qq3k2k2k1v40v40v40m32s2SAT0
Qq3k2k2k1v40v40v40m32s4SAT0
Qq3k2k2k1v40v40v40m32s6SAT0
Qq3k2k2k1v40v40v40m32s7SAT0
Qq3k2k2k1v40v40v40m32s9SAT0
Qq3k2k2k1v80v80v80m2s0FAIL0
Qq3k2k2k1v80v80v80m2s1SAT0
Qq3k2k2k1v80v80v80m2s2FAIL0
Qq3k2k2k1v80v80v80m2s5SAT0
Qq3k2k2k1v80v80v80m2s9FAIL0
Qq3k2k2k1v80v80v80m4s0SAT0
Qq3k2k2k1v80v80v80m4s1SAT0
Qq3k2k2k1v80v80v80m4s2SAT0
Qq3k2k2k1v80v80v80m4s4SAT0
Qq3k2k2k1v80v80v80m4s5SAT0
Qq3k2k2k1v80v80v80m4s6SAT0
Qq3k2k2k1v80v80v80m4s9SAT0
Qq3k2k2k1v80v80v80m8s0SAT0
Qq3k2k2k1v80v80v80m8s1SAT0
Qq3k2k2k1v80v80v80m8s3SAT0
Qq3k2k2k1v80v80v80m8s4SAT0
Qq3k2k2k1v80v80v80m8s5SAT0
Qq3k2k2k1v80v80v80m8s6SAT0
Qq3k2k2k1v80v80v80m8s7SAT0
Qq3k2k2k1v80v80v80m8s9SAT0
Qq3k2k2k1v80v80v80m16s2SAT0
Qq3k2k2k1v80v80v80m16s3SAT0
Qq3k2k2k1v80v80v80m16s6SAT0
Qq3k2k2k1v80v80v80m16s7SAT0
Qq3k2k2k1v80v80v80m16s8SAT0
Qq3k2k2k1v80v80v80m32s2SAT0
Qq3k2k2k1v80v80v80m32s5SAT0
Qq3k2k2k1v80v80v80m32s6SAT0
Qq3k2k2k1v80v80v80m32s7SAT0
Qq3k2k2k1v80v80v80m32s8SAT0
Qq3k3k1k1v40v40v40m2s0FAIL0
Qq3k3k1k1v40v40v40m2s2SAT0
Qq3k3k1k1v40v40v40m2s4FAIL0
Qq3k3k1k1v40v40v40m2s5SAT0
Qq3k3k1k1v40v40v40m2s6FAIL0
Qq3k3k1k1v40v40v40m2s7FAIL0
Qq3k3k1k1v40v40v40m2s9FAIL0
Qq3k3k1k1v40v40v40m4s0SAT0
Qq3k3k1k1v40v40v40m4s2SAT0
Qq3k3k1k1v40v40v40m4s3SAT0
Qq3k3k1k1v40v40v40m4s4SAT0
Qq3k3k1k1v40v40v40m8s0SAT0
Qq3k3k1k1v40v40v40m8s2SAT0
Qq3k3k1k1v40v40v40m8s3SAT0
Qq3k3k1k1v40v40v40m8s4SAT0
Qq3k3k1k1v40v40v40m8s6SAT0
Qq3k3k1k1v40v40v40m8s9SAT0
Qq3k3k1k1v40v40v40m16s0SAT0
Qq3k3k1k1v40v40v40m16s7SAT0
Qq3k3k1k1v40v40v40m16s8SAT0
Qq3k3k1k1v40v40v40m32s2SAT0
Qq3k3k1k1v40v40v40m32s3SAT0
Qq3k3k1k1v40v40v40m32s4SAT0
Qq3k3k1k1v40v40v40m32s6SAT0
Qq3k3k1k1v40v40v40m32s7SAT0
Qq3k3k1k1v40v40v40m32s8SAT0
Qq3k3k1k1v80v80v80m2s2FAIL0
Qq3k3k1k1v80v80v80m2s3FAIL0
Qq3k3k1k1v80v80v80m2s7FAIL0
Qq3k3k1k1v80v80v80m2s8FAIL0
Qq3k3k1k1v80v80v80m2s9FAIL0
Qq3k3k1k1v80v80v80m4s1SAT0
Qq3k3k1k1v80v80v80m4s2SAT0
Qq3k3k1k1v80v80v80m4s3SAT0
Qq3k3k1k1v80v80v80m4s5SAT0
Qq3k3k1k1v80v80v80m4s7SAT0
Qq3k3k1k1v80v80v80m4s8SAT0
Qq3k3k1k1v80v80v80m4s9SAT0
Qq3k3k1k1v80v80v80m8s0SAT0
Qq3k3k1k1v80v80v80m8s1SAT0
Qq3k3k1k1v80v80v80m8s2SAT0
Qq3k3k1k1v80v80v80m8s5SAT0
Qq3k3k1k1v80v80v80m8s6SAT0
Qq3k3k1k1v80v80v80m8s8SAT0
Qq3k3k1k1v80v80v80m16s0SAT0
Qq3k3k1k1v80v80v80m16s1SAT0
Qq3k3k1k1v80v80v80m16s2SAT0
Qq3k3k1k1v80v80v80m16s3SAT0
Qq3k3k1k1v80v80v80m16s4SAT0
Qq3k3k1k1v80v80v80m16s7SAT0
Qq3k3k1k1v80v80v80m16s8SAT0
Qq3k3k1k1v80v80v80m16s9SAT0
Qq3k3k1k1v80v80v80m32s0SAT0
Qq3k3k1k1v80v80v80m32s2SAT0
Qq3k3k1k1v80v80v80m32s3SAT0
Qq3k3k1k1v80v80v80m32s5SAT0
Qq3k3k1k1v80v80v80m32s6SAT0
Qq2k3k2v80v80m32s9SAT0
Qq3k3k1k1v80v80v80m32s9SAT0
6qbf-5cnf-80var-2560cl.9UNSAT0.01
2qbf-5cnf-160var-2560cl.8UNSAT0.01
3qbf-5cnf-20var-160cl.9SAT0.01
3qbf-5cnf-80var-2560cl.9UNSAT0.01
6qbf-5cnf-80var-2560cl.8UNSAT0.01
ncf_8_16_4_d.1SAT0.01
ncf_16_32_2_edau.6SAT0.01
5qbf-5cnf-40var-1280cl.7UNSAT0.01
6qbf-5cnf-40var-640cl.9UNSAT0.01
5qbf-5cnf-20var-320cl.1UNSAT0.01
6qbf-5cnf-40var-1280cl.5UNSAT0.01
ncf_4_8_2_u.7UNSAT0.01
3qbf-5cnf-20var-320cl.9UNSAT0.01
ncf_4_8_2_u.1UNSAT0.01
4qbf-5cnf-80var-1280cl.7UNSAT0.01
6qbf-5cnf-20var-640cl.4UNSAT0.01
ncf_4_16_2_d.6SAT0.01
6qbf-5cnf-20var-320cl.5UNSAT0.01
5qbf-5cnf-40var-320cl.1SAT0.01
6qbf-5cnf-160var-640cl.2SAT0.01
3qbf-5cnf-160var-640cl.3SAT0.01
ncf_4_8_8_u.9UNSAT0.01
6qbf-5cnf-20var-320cl.9UNSAT0.01
6qbf-5cnf-40var-1280cl.0UNSAT0.01
ncf_4_8_2_euad.4UNSAT0.01
2qbf-5cnf-160var-2560cl.5UNSAT0.01
4qbf-5cnf-40var-640cl.9UNSAT0.01
ncf_4_16_4_u.9SAT0.01
ncf_4_8_2_euad.9SAT0.01
3qbf-5cnf-80var-2560cl.0UNSAT0.01
5qbf-5cnf-40var-640cl.1UNSAT0.01
ncf_8_16_4_u.2UNSAT0.01
ncf_16_32_2_d.7UNSAT0.01
4qbf-5cnf-40var-1280cl.7UNSAT0.01
5qbf-5cnf-20var-320cl.2UNSAT0.01
ncf_16_32_2_u.6SAT0.01
4qbf-5cnf-80var-2560cl.0UNSAT0.01
ncf_8_16_4_euad.5UNSAT0.01
6qbf-5cnf-20var-320cl.7UNSAT0.01
ncf_4_8_4_u.6SAT0.01
2qbf-5cnf-80var-1280cl.4UNSAT0.01
ncf_4_8_2_euad.1UNSAT0.01
4qbf-5cnf-20var-640cl.4UNSAT0.01
4qbf-5cnf-40var-1280cl.9UNSAT0.01
3qbf-5cnf-160var-640cl.0SAT0.01
ncf_8_16_4_edau.5UNSAT0.01
ncf_4_16_2_euad.9SAT0.01
5qbf-5cnf-20var-640cl.8UNSAT0.01
6qbf-5cnf-40var-1280cl.6UNSAT0.01
ncf_4_16_2_edau.6SAT0.01
4qbf-5cnf-20var-640cl.1UNSAT0.01
2qbf-5cnf-80var-1280cl.7UNSAT0.01
6qbf-5cnf-160var-5120cl.7UNSAT0.01
4qbf-5cnf-40var-1280cl.6UNSAT0.01
3qbf-5cnf-20var-160cl.7SAT0.01
5qbf-5cnf-40var-1280cl.6UNSAT0.01
2qbf-5cnf-80var-1280cl.5UNSAT0.01
4qbf-5cnf-20var-640cl.7UNSAT0.01
5qbf-5cnf-80var-2560cl.1UNSAT0.01
6qbf-5cnf-20var-320cl.0UNSAT0.01
6qbf-5cnf-80var-2560cl.0UNSAT0.01
5qbf-5cnf-160var-640cl.9SAT0.01
5qbf-5cnf-20var-320cl.0UNSAT0.01
4qbf-5cnf-40var-640cl.4UNSAT0.01
3qbf-5cnf-20var-320cl.2UNSAT0.01
4qbf-5cnf-20var-320cl.4UNSAT0.01
6qbf-5cnf-40var-1280cl.3UNSAT0.01
2qbf-5cnf-80var-1280cl.0UNSAT0.01
2qbf-5cnf-80var-1280cl.3UNSAT0.01
4qbf-5cnf-20var-320cl.1UNSAT0.01
ncf_16_32_2_edau.9UNSAT0.01
5qbf-5cnf-40var-320cl.2SAT0.01
5qbf-5cnf-20var-640cl.7UNSAT0.01
4qbf-5cnf-40var-640cl.2UNSAT0.01
2qbf-5cnf-160var-2560cl.4UNSAT0.01
5qbf-5cnf-40var-1280cl.3UNSAT0.01
4qbf-5cnf-80var-2560cl.8UNSAT0.01
4qbf-5cnf-20var-320cl.9UNSAT0.01
2qbf-5cnf-80var-320cl.4UNSAT0.01
ncf_4_16_2_u.6SAT0.01
3qbf-5cnf-80var-2560cl.1UNSAT0.01
3qbf-5cnf-20var-320cl.5UNSAT0.01
2qbf-5cnf-40var-640cl.2UNSAT0.01
4qbf-5cnf-40var-640cl.7UNSAT0.01
4qbf-5cnf-80var-1280cl.0UNSAT0.01
5qbf-5cnf-160var-640cl.6SAT0.01
ncf_4_16_2_edau.9SAT0.01
3qbf-5cnf-80var-320cl.3SAT0.01
6qbf-5cnf-20var-640cl.2UNSAT0.01
ncf_8_16_4_u.5UNSAT0.01
4qbf-5cnf-20var-160cl.3UNSAT0.01
5qbf-5cnf-20var-320cl.6UNSAT0.01
ncf_16_32_2_euad.9UNSAT0.01
2qbf-5cnf-160var-2560cl.7UNSAT0.01
4qbf-5cnf-80var-1280cl.1UNSAT0.01
4qbf-5cnf-20var-640cl.9UNSAT0.01
5qbf-5cnf-160var-640cl.0SAT0.01
4qbf-5cnf-40var-1280cl.4UNSAT0.01
4qbf-5cnf-160var-2560cl.9UNSAT0.01
2qbf-5cnf-160var-5120cl.1UNSAT0.01
4qbf-5cnf-80var-2560cl.7UNSAT0.01
6qbf-5cnf-40var-640cl.7UNSAT0.01
ncf_8_16_4_d.5UNSAT0.01
3qbf-5cnf-20var-160cl.5SAT0.01
3qbf-5cnf-20var-160cl.6SAT0.01
5qbf-5cnf-40var-1280cl.1UNSAT0.01
5qbf-5cnf-40var-1280cl.8UNSAT0.01
2qbf-5cnf-40var-640cl.6UNSAT0.01
3qbf-5cnf-160var-640cl.8SAT0.01
5qbf-5cnf-20var-320cl.7UNSAT0.01
4qbf-5cnf-40var-320cl.3UNSAT0.01
6qbf-5cnf-160var-640cl.6SAT0.01
ncf_4_8_4_u.8UNSAT0.01
4qbf-5cnf-20var-320cl.0UNSAT0.01
ncf_4_16_2_u.7SAT0.01
5qbf-5cnf-80var-640cl.2SAT0.01
4qbf-5cnf-40var-1280cl.8UNSAT0.01
3qbf-5cnf-80var-2560cl.2UNSAT0.01
6qbf-5cnf-80var-2560cl.4UNSAT0.01
4qbf-5cnf-40var-640cl.0UNSAT0.01
6qbf-5cnf-40var-1280cl.9UNSAT0.01
3qbf-5cnf-80var-320cl.8SAT0.01
3qbf-5cnf-160var-640cl.6SAT0.01
2qbf-5cnf-160var-2560cl.0UNSAT0.01
ncf_4_8_8_euad.9UNSAT0.01
5qbf-5cnf-20var-640cl.5UNSAT0.01
4qbf-5cnf-80var-2560cl.3UNSAT0.01
6qbf-5cnf-40var-1280cl.2UNSAT0.01
ncf_4_8_8_u.4SAT0.01
6qbf-5cnf-20var-320cl.4UNSAT0.01
6qbf-5cnf-160var-640cl.5SAT0.01
5qbf-5cnf-40var-1280cl.2UNSAT0.01
2qbf-5cnf-40var-640cl.7UNSAT0.01
5qbf-5cnf-20var-320cl.5UNSAT0.01
2qbf-5cnf-160var-5120cl.0UNSAT0.01
3qbf-5cnf-20var-320cl.7UNSAT0.01
3qbf-5cnf-80var-2560cl.4UNSAT0.01
5qbf-5cnf-40var-320cl.7SAT0.01
4qbf-5cnf-40var-640cl.6UNSAT0.01
3qbf-5cnf-20var-160cl.8SAT0.01
3qbf-5cnf-80var-2560cl.8UNSAT0.01
ncf_4_8_8_d.9UNSAT0.01
3qbf-5cnf-160var-640cl.2SAT0.01
4qbf-5cnf-80var-1280cl.8UNSAT0.01
ncf_8_16_4_euad.2UNSAT0.01
6qbf-5cnf-80var-2560cl.2UNSAT0.01
5qbf-5cnf-40var-320cl.3SAT0.01
6qbf-5cnf-20var-160cl.3UNSAT0.01
4qbf-5cnf-80var-2560cl.9UNSAT0.01
3qbf-5cnf-20var-160cl.2SAT0.01
5qbf-5cnf-40var-1280cl.5UNSAT0.01
2qbf-5cnf-80var-1280cl.1UNSAT0.01
5qbf-5cnf-40var-320cl.0SAT0.01
5qbf-5cnf-80var-2560cl.0UNSAT0.01
5qbf-5cnf-160var-640cl.5SAT0.01
ncf_4_8_2_euad.10SAT0.01
ncf_4_16_2_u.9SAT0.01
2qbf-5cnf-80var-1280cl.9UNSAT0.01
2qbf-5cnf-40var-320cl.5UNSAT0.01
6qbf-5cnf-20var-320cl.1UNSAT0.01
ncf_4_8_8_edau.9UNSAT0.01
2qbf-5cnf-160var-5120cl.8UNSAT0.01
3qbf-5cnf-80var-2560cl.3UNSAT0.01
6qbf-5cnf-40var-1280cl.8UNSAT0.01
5qbf-5cnf-40var-640cl.0UNSAT0.01
3qbf-5cnf-40var-640cl.4UNSAT0.01
4qbf-5cnf-20var-320cl.5UNSAT0.01
6qbf-5cnf-160var-640cl.3SAT0.01
2qbf-5cnf-80var-640cl.3UNSAT0.01
ncf_4_8_2_u.10SAT0.01
x10.0UNSAT0.01
x10.3UNSAT0.01
x10.5UNSAT0.01
x10.6UNSAT0.01
x10.7SAT0.01
x15.5UNSAT0.01
x25.6UNSAT0.01
x5.1UNSAT0.01
x5.3UNSAT0.01
x5.4UNSAT0.01
x5.6UNSAT0.01
x5.7UNSAT0.01
cmu.dme1.B-d2SAT0.01
cmu.dme2.B-d2SAT0.01
eijk.S1423.S-d2SAT0.01
eijk.S208.S-d2SAT0.01
eijk.S298.S-d2SAT0.01
eijk.S386.S-d2SAT0.01
eijk.S832.S-d2SAT0.01
irst.dme4.B-d2SAT0.01
irst.dme5.B-d2SAT0.01
texas.parsesys^1.E-d2SAT0.01
vis.coherence^1.E-d2SAT0.01
vis.eisenberg.E-d2SAT0.01
texas.ifetch1^4.E-f2UNSAT0.01
Qq2k1k4v40v40m2s2SAT0.01
Qq2k1k4v40v40m2s4SAT0.01
Qq2k1k4v40v40m2s7SAT0.01
Qq2k1k4v40v40m2s8SAT0.01
Qq2k1k4v40v40m4s0SAT0.01
Qq2k1k4v40v40m4s5SAT0.01
Qq2k1k4v40v40m4s6SAT0.01
Qq2k1k4v40v40m8s0SAT0.01
Qq2k1k4v40v40m8s2UNSAT0.01
Qq2k1k4v40v40m16s0UNSAT0.01
Qq2k1k4v40v40m16s7SAT0.01
Qq2k1k4v40v40m16s9UNSAT0.01
Qq2k1k4v40v40m32s1UNSAT0.01
Qq2k1k4v40v40m32s2UNSAT0.01
Qq2k1k4v40v40m32s3UNSAT0.01
Qq2k1k4v40v40m32s5UNSAT0.01
Qq2k1k4v40v40m32s7UNSAT0.01
Qq2k1k4v80v80m2s0SAT0.01
Qq2k1k4v80v80m2s2SAT0.01
Qq2k1k4v80v80m2s5SAT0.01
Qq2k1k4v80v80m4s4SAT0.01
Qq2k1k4v80v80m4s8SAT0.01
Qq2k1k4v80v80m8s4SAT0.01
Qq2k1k4v80v80m8s9SAT0.01
Qq2k1k4v80v80m16s0UNSAT0.01
Qq2k1k4v80v80m16s1SAT0.01
Qq2k1k4v80v80m16s6SAT0.01
Qq2k1k4v80v80m32s0UNSAT0.01
Qq2k1k4v80v80m32s1SAT0.01
Qq2k1k4v80v80m32s4UNSAT0.01
Qq2k1k4v80v80m32s6UNSAT0.01
Qq2k2k3v40v40m2s1SAT0.01
Qq2k2k3v40v40m2s6SAT0.01
Qq2k2k3v40v40m4s1SAT0.01
Qq2k2k3v40v40m4s2SAT0.01
Qq2k2k3v40v40m4s3SAT0.01
Qq2k2k3v40v40m4s6SAT0.01
Qq2k2k3v40v40m4s8SAT0.01
Qq2k2k3v40v40m8s7SAT0.01
Qq2k2k3v40v40m8s8SAT0.01
Qq2k2k3v40v40m16s1SAT0.01
Qq2k2k3v40v40m16s3SAT0.01
Qq2k2k3v40v40m16s5SAT0.01
Qq2k2k3v40v40m16s8SAT0.01
Qq2k2k3v40v40m32s0SAT0.01
Qq2k2k3v40v40m32s1SAT0.01
Qq2k2k3v40v40m32s4SAT0.01
Qq2k2k3v40v40m32s5SAT0.01
Qq2k2k3v40v40m32s6SAT0.01
Qq2k2k3v40v40m32s8SAT0.01
Qq2k2k3v40v40m32s9SAT0.01
Qq2k2k3v80v80m2s0SAT0.01
Qq2k2k3v80v80m2s1SAT0.01
Qq2k2k3v80v80m2s5SAT0.01
Qq2k2k3v80v80m2s7SAT0.01
Qq2k2k3v80v80m4s2SAT0.01
Qq2k2k3v80v80m4s3SAT0.01
Qq2k2k3v80v80m4s5SAT0.01
Qq2k2k3v80v80m4s8SAT0.01
Qq2k2k3v80v80m8s6SAT0.01
Qq2k2k3v80v80m8s9SAT0.01
Qq2k2k3v80v80m16s0SAT0.01
Qq2k2k3v80v80m16s4SAT0.01
Qq2k2k3v80v80m16s6SAT0.01
Qq2k2k3v80v80m32s7SAT0.01
Qq2k3k2v40v40m2s0SAT0.01
Qq2k3k2v40v40m2s1SAT0.01
Qq2k3k2v40v40m2s3SAT0.01
Qq2k3k2v40v40m2s4SAT0.01
Qq2k3k2v40v40m4s4SAT0.01
Qq2k3k2v40v40m4s5SAT0.01
Qq2k3k2v40v40m4s8SAT0.01
Qq2k3k2v40v40m8s0SAT0.01
Qq2k3k2v40v40m8s1FAIL0.01
Qq2k3k2v40v40m8s3SAT0.01
Qq2k3k2v40v40m8s9SAT0.01
Qq2k3k2v40v40m16s3SAT0.01
Qq2k3k2v40v40m16s5SAT0.01
Qq2k3k2v40v40m32s1SAT0.01
Qq2k3k2v40v40m32s3SAT0.01
Qq2k3k2v40v40m32s8SAT0.01
Qq2k3k2v80v80m2s4SAT0.01
Qq2k3k2v80v80m2s7SAT0.01
Qq2k3k2v80v80m4s3SAT0.01
Qq2k3k2v80v80m4s4SAT0.01
Qq2k3k2v80v80m4s9SAT0.01
Qq2k3k2v80v80m8s4SAT0.01
Qq2k3k2v80v80m8s5SAT0.01
Qq2k3k2v80v80m8s6SAT0.01
Qq2k3k2v80v80m8s8SAT0.01
Qq2k3k2v80v80m8s9SAT0.01
Qq2k3k2v80v80m16s1SAT0.01
Qq2k3k2v80v80m16s3SAT0.01
Qq2k3k2v80v80m16s6SAT0.01
Qq2k3k2v80v80m16s7SAT0.01
Qq2k3k2v80v80m32s3SAT0.01
Qq3k1k1k3v40v40v40m2s1SAT0.01
Qq3k1k1k3v40v40v40m2s3FAIL0.01
Qq3k1k1k3v40v40v40m2s4SAT0.01
Qq3k1k1k3v40v40v40m2s9FAIL0.01
Qq3k1k1k3v40v40v40m4s0SAT0.01
Qq3k1k1k3v40v40v40m4s1SAT0.01
Qq3k1k1k3v40v40v40m4s7SAT0.01
Qq3k1k1k3v40v40v40m4s8SAT0.01
Qq3k1k1k3v40v40v40m8s5SAT0.01
Qq3k1k1k3v40v40v40m8s6SAT0.01
Qq3k1k1k3v40v40v40m8s7SAT0.01
Qq3k1k1k3v40v40v40m16s0SAT0.01
Qq3k1k1k3v40v40v40m16s2SAT0.01
Qq3k1k1k3v40v40v40m16s4SAT0.01
Qq3k1k1k3v40v40v40m16s5SAT0.01
Qq3k1k1k3v40v40v40m16s7SAT0.01
Qq3k1k1k3v40v40v40m32s1SAT0.01
Qq3k1k1k3v40v40v40m32s2SAT0.01
Qq3k1k1k3v80v80v80m2s1SAT0.01
Qq3k1k1k3v80v80v80m2s2FAIL0.01
Qq3k1k1k3v80v80v80m2s7FAIL0.01
Qq3k1k1k3v80v80v80m2s8FAIL0.01
Qq3k1k1k3v80v80v80m4s4SAT0.01
Qq3k1k1k3v80v80v80m4s6SAT0.01
Qq3k1k1k3v80v80v80m4s8SAT0.01
Qq3k1k1k3v80v80v80m8s0SAT0.01
Qq3k1k1k3v80v80v80m8s3SAT0.01
Qq3k1k1k3v80v80v80m8s7SAT0.01
Qq3k1k1k3v80v80v80m8s8SAT0.01
Qq3k1k1k3v80v80v80m16s0SAT0.01
Qq3k1k1k3v80v80v80m16s3SAT0.01
Qq3k1k1k3v80v80v80m16s4SAT0.01
Qq3k1k1k3v80v80v80m16s6SAT0.01
Qq3k1k1k3v80v80v80m16s7SAT0.01
Qq3k1k1k3v80v80v80m16s9SAT0.01
Qq3k1k1k3v80v80v80m32s1SAT0.01
Qq3k1k1k3v80v80v80m32s9SAT0.01
Qq3k1k2k2v40v40v40m2s1FAIL0.01
Qq3k1k2k2v40v40v40m2s8FAIL0.01
Qq3k1k2k2v40v40v40m2s9FAIL0.01
Qq3k1k2k2v40v40v40m4s1SAT0.01
Qq3k1k2k2v40v40v40m4s2SAT0.01
Qq3k1k2k2v40v40v40m4s3SAT0.01
Qq3k1k2k2v40v40v40m4s4SAT0.01
Qq3k1k2k2v40v40v40m4s7SAT0.01
Qq3k1k2k2v40v40v40m8s1SAT0.01
Qq3k1k2k2v40v40v40m8s2SAT0.01
Qq3k1k2k2v40v40v40m8s3SAT0.01
Qq3k1k2k2v40v40v40m8s4SAT0.01
Qq3k1k2k2v40v40v40m16s2SAT0.01
Qq3k1k2k2v40v40v40m16s3SAT0.01
Qq3k1k2k2v40v40v40m16s4SAT0.01
Qq3k1k2k2v40v40v40m16s5SAT0.01
Qq3k1k2k2v40v40v40m16s6SAT0.01
Qq3k1k2k2v40v40v40m16s9SAT0.01
Qq3k1k2k2v40v40v40m32s0SAT0.01
Qq3k1k2k2v40v40v40m32s4SAT0.01
Qq3k1k2k2v40v40v40m32s7SAT0.01
Qq3k1k2k2v80v80v80m2s1FAIL0.01
Qq3k1k2k2v80v80v80m2s2FAIL0.01
Qq3k1k2k2v80v80v80m2s3FAIL0.01
Qq3k1k2k2v80v80v80m2s5FAIL0.01
Qq3k1k2k2v80v80v80m2s8FAIL0.01
Qq3k1k2k2v80v80v80m4s1SAT0.01
Qq3k1k2k2v80v80v80m8s5SAT0.01
Qq3k1k2k2v80v80v80m16s4SAT0.01
Qq3k1k2k2v80v80v80m16s5SAT0.01
Qq3k1k2k2v80v80v80m16s6SAT0.01
Qq3k1k2k2v80v80v80m16s7SAT0.01
Qq3k1k2k2v80v80v80m32s2SAT0.01
Qq3k1k2k2v80v80v80m32s5SAT0.01
Qq3k1k2k2v80v80v80m32s7SAT0.01
Qq3k1k2k2v80v80v80m32s9SAT0.01
Qq3k1k3k1v40v40v40m2s4FAIL0.01
Qq3k1k3k1v40v40v40m8s3SAT0.01
Qq3k1k3k1v40v40v40m8s5SAT0.01
Qq3k1k3k1v40v40v40m8s6SAT0.01
Qq3k1k3k1v40v40v40m8s7SAT0.01
Qq3k1k3k1v40v40v40m8s9SAT0.01
Qq3k1k3k1v40v40v40m16s0SAT0.01
Qq3k1k3k1v40v40v40m16s1SAT0.01
Qq3k1k3k1v40v40v40m16s3SAT0.01
Qq3k1k3k1v40v40v40m16s4SAT0.01
Qq3k1k3k1v40v40v40m16s7SAT0.01
Qq3k1k3k1v40v40v40m32s0SAT0.01
Qq3k1k3k1v40v40v40m32s2SAT0.01
Qq3k1k3k1v40v40v40m32s6SAT0.01
Qq3k1k3k1v80v80v80m2s1FAIL0.01
Qq3k1k3k1v80v80v80m2s4FAIL0.01
Qq3k1k3k1v80v80v80m4s0SAT0.01
Qq3k1k3k1v80v80v80m4s4SAT0.01
Qq3k1k3k1v80v80v80m4s6SAT0.01
Qq3k1k3k1v80v80v80m4s7SAT0.01
Qq3k1k3k1v80v80v80m4s9SAT0.01
Qq3k1k3k1v80v80v80m8s0SAT0.01
Qq3k1k3k1v80v80v80m8s1SAT0.01
Qq3k1k3k1v80v80v80m8s2SAT0.01
Qq3k1k3k1v80v80v80m8s6SAT0.01
Qq3k1k3k1v80v80v80m8s7SAT0.01
Qq3k1k3k1v80v80v80m8s9SAT0.01
Qq3k1k3k1v80v80v80m16s0SAT0.01
Qq3k1k3k1v80v80v80m16s1SAT0.01
Qq3k1k3k1v80v80v80m16s7SAT0.01
Qq3k1k3k1v80v80v80m16s9SAT0.01
Qq3k1k3k1v80v80v80m32s3SAT0.01
Qq3k1k3k1v80v80v80m32s4SAT0.01
Qq3k2k1k2v40v40v40m2s0FAIL0.01
Qq3k2k1k2v40v40v40m2s7FAIL0.01
Qq3k2k1k2v40v40v40m4s3SAT0.01
Qq3k2k1k2v40v40v40m4s4SAT0.01
Qq3k2k1k2v40v40v40m4s5SAT0.01
Qq3k2k1k2v40v40v40m4s6SAT0.01
Qq3k2k1k2v40v40v40m8s1SAT0.01
Qq3k2k1k2v40v40v40m8s2SAT0.01
Qq3k2k1k2v40v40v40m8s6SAT0.01
Qq3k2k1k2v40v40v40m8s8SAT0.01
Qq3k2k1k2v40v40v40m16s0SAT0.01
Qq3k2k1k2v40v40v40m16s1SAT0.01
Qq3k2k1k2v40v40v40m16s2SAT0.01
Qq3k2k1k2v40v40v40m16s3SAT0.01
Qq3k2k1k2v40v40v40m16s4SAT0.01
Qq3k2k1k2v40v40v40m32s2SAT0.01
Qq3k2k1k2v40v40v40m32s5SAT0.01
Qq3k2k1k2v40v40v40m32s7SAT0.01
Qq3k2k1k2v80v80v80m2s1SAT0.01
Qq3k2k1k2v80v80v80m2s3FAIL0.01
Qq3k2k1k2v80v80v80m2s4FAIL0.01
Qq3k2k1k2v80v80v80m2s6FAIL0.01
Qq3k2k1k2v80v80v80m2s7FAIL0.01
Qq3k2k1k2v80v80v80m2s8FAIL0.01
Qq3k2k1k2v80v80v80m2s9FAIL0.01
Qq3k2k1k2v80v80v80m4s1SAT0.01
Qq3k2k1k2v80v80v80m4s4SAT0.01
Qq3k2k1k2v80v80v80m4s8SAT0.01
Qq3k2k1k2v80v80v80m8s2SAT0.01
Qq3k2k1k2v80v80v80m8s3SAT0.01
Qq3k2k1k2v80v80v80m8s5SAT0.01
Qq3k2k1k2v80v80v80m8s6SAT0.01
Qq3k2k1k2v80v80v80m8s7SAT0.01
Qq3k2k1k2v80v80v80m8s9SAT0.01
Qq3k2k1k2v80v80v80m16s3SAT0.01
Qq3k2k1k2v80v80v80m16s4SAT0.01
Qq3k2k1k2v80v80v80m32s0SAT0.01
Qq3k2k1k2v80v80v80m32s1SAT0.01
Qq3k2k1k2v80v80v80m32s2SAT0.01
Qq3k2k1k2v80v80v80m32s4SAT0.01
Qq3k2k1k2v80v80v80m32s8SAT0.01
Qq3k2k2k1v40v40v40m2s1SAT0.01
Qq3k2k2k1v40v40v40m2s4FAIL0.01
Qq3k2k2k1v40v40v40m2s6FAIL0.01
Qq3k2k2k1v40v40v40m2s9FAIL0.01
Qq3k2k2k1v40v40v40m4s0SAT0.01
Qq3k2k2k1v40v40v40m4s2SAT0.01
Qq3k2k2k1v40v40v40m4s5SAT0.01
Qq3k2k2k1v40v40v40m8s0SAT0.01
Qq3k2k2k1v40v40v40m8s5SAT0.01
Qq3k2k2k1v40v40v40m16s0SAT0.01
Qq3k2k2k1v40v40v40m16s4SAT0.01
Qq3k2k2k1v40v40v40m16s9SAT0.01
Qq3k2k2k1v40v40v40m32s3SAT0.01
Qq3k2k2k1v40v40v40m32s5SAT0.01
Qq3k2k2k1v40v40v40m32s8SAT0.01
Qq3k2k2k1v80v80v80m2s4FAIL0.01
Qq3k2k2k1v80v80v80m2s6FAIL0.01
Qq3k2k2k1v80v80v80m2s7FAIL0.01
Qq3k2k2k1v80v80v80m2s8FAIL0.01
Qq3k2k2k1v80v80v80m4s3SAT0.01
Qq3k2k2k1v80v80v80m4s8SAT0.01
Qq3k2k2k1v80v80v80m8s2SAT0.01
Qq3k2k2k1v80v80v80m8s8SAT0.01
Qq3k2k2k1v80v80v80m16s0SAT0.01
Qq3k2k2k1v80v80v80m16s1SAT0.01
Qq3k2k2k1v80v80v80m16s5SAT0.01
Qq3k2k2k1v80v80v80m16s9SAT0.01
Qq3k2k2k1v80v80v80m32s1SAT0.01
Qq3k2k2k1v80v80v80m32s3SAT0.01
Qq3k2k2k1v80v80v80m32s4SAT0.01
Qq3k3k1k1v40v40v40m2s1SAT0.01
Qq3k3k1k1v40v40v40m2s3FAIL0.01
Qq3k3k1k1v40v40v40m2s8FAIL0.01
Qq3k3k1k1v40v40v40m4s1SAT0.01
Qq3k3k1k1v40v40v40m4s6SAT0.01
Qq3k3k1k1v40v40v40m4s7SAT0.01
Qq3k3k1k1v40v40v40m4s8SAT0.01
Qq3k3k1k1v40v40v40m4s9SAT0.01
Qq3k3k1k1v40v40v40m8s1SAT0.01
Qq3k3k1k1v40v40v40m8s5SAT0.01
Qq3k3k1k1v40v40v40m8s7SAT0.01
Qq3k3k1k1v40v40v40m8s8SAT0.01
Qq3k3k1k1v40v40v40m16s1SAT0.01
Qq3k3k1k1v40v40v40m16s2SAT0.01
Qq3k3k1k1v40v40v40m16s3SAT0.01
Qq3k3k1k1v40v40v40m16s4SAT0.01
Qq3k3k1k1v40v40v40m16s5SAT0.01
Qq3k3k1k1v40v40v40m16s6SAT0.01
Qq3k3k1k1v40v40v40m16s9SAT0.01
Qq3k3k1k1v40v40v40m32s0SAT0.01
Qq3k3k1k1v40v40v40m32s1SAT0.01
Qq3k3k1k1v40v40v40m32s9SAT0.01
Qq3k3k1k1v80v80v80m2s0FAIL0.01
Qq3k3k1k1v80v80v80m2s1SAT0.01
Qq3k3k1k1v80v80v80m2s4FAIL0.01
Qq3k3k1k1v80v80v80m2s5SAT0.01
Qq3k3k1k1v80v80v80m2s6FAIL0.01
Qq3k3k1k1v80v80v80m4s0SAT0.01
Qq3k3k1k1v80v80v80m4s6SAT0.01
Qq3k3k1k1v80v80v80m8s3SAT0.01
Qq3k3k1k1v80v80v80m8s7SAT0.01
Qq3k3k1k1v80v80v80m8s9SAT0.01
Qq3k3k1k1v80v80v80m16s6SAT0.01
Qq3k3k1k1v80v80v80m32s1SAT0.01
Qq3k3k1k1v80v80v80m32s4SAT0.01
Qq3k3k1k1v80v80v80m32s7SAT0.01
Qq3k3k1k1v80v80v80m32s8SAT0.01
4qbf-5cnf-20var-320cl.3UNSAT0.02
3qbf-5cnf-40var-320cl.0SAT0.02
6qbf-5cnf-20var-640cl.3UNSAT0.02
4qbf-5cnf-40var-640cl.1UNSAT0.02
2qbf-5cnf-160var-2560cl.9UNSAT0.02
6qbf-5cnf-80var-2560cl.5UNSAT0.02
5qbf-5cnf-160var-640cl.8SAT0.02
ncf_8_16_4_euad.1SAT0.02
5qbf-5cnf-40var-640cl.7UNSAT0.02
5qbf-5cnf-40var-320cl.8SAT0.02
4qbf-5cnf-40var-1280cl.3UNSAT0.02
ncf_8_16_4_euad.6UNSAT0.02
3qbf-5cnf-40var-640cl.5UNSAT0.02
3qbf-5cnf-80var-2560cl.6UNSAT0.02
5qbf-5cnf-80var-2560cl.3UNSAT0.02
6qbf-5cnf-40var-640cl.5UNSAT0.02
4qbf-5cnf-80var-2560cl.5UNSAT0.02
4qbf-5cnf-80var-1280cl.6UNSAT0.02
5qbf-5cnf-40var-640cl.5UNSAT0.02
3qbf-5cnf-40var-320cl.8SAT0.02
6qbf-5cnf-80var-2560cl.1UNSAT0.02
4qbf-5cnf-160var-5120cl.0UNSAT0.02
3qbf-5cnf-40var-640cl.6UNSAT0.02
5qbf-5cnf-40var-1280cl.9UNSAT0.02
6qbf-5cnf-160var-5120cl.9UNSAT0.02
3qbf-5cnf-20var-320cl.8UNSAT0.02
3qbf-5cnf-160var-2560cl.7UNSAT0.02
6qbf-5cnf-80var-2560cl.6UNSAT0.02
5qbf-5cnf-80var-2560cl.6UNSAT0.02
3qbf-5cnf-40var-640cl.8UNSAT0.02
3qbf-5cnf-80var-2560cl.5UNSAT0.02
2qbf-5cnf-40var-640cl.9UNSAT0.02
5qbf-5cnf-160var-5120cl.3UNSAT0.02
3qbf-5cnf-80var-2560cl.7UNSAT0.02
4qbf-5cnf-80var-2560cl.1UNSAT0.02
6qbf-5cnf-160var-5120cl.6UNSAT0.02
4qbf-5cnf-80var-2560cl.6UNSAT0.02
5qbf-5cnf-20var-640cl.0UNSAT0.02
2qbf-5cnf-160var-5120cl.7UNSAT0.02
ncf_4_16_2_edau.7SAT0.02
2qbf-5cnf-160var-5120cl.9UNSAT0.02
5qbf-5cnf-80var-2560cl.7UNSAT0.02
4qbf-5cnf-160var-5120cl.4UNSAT0.02
4qbf-5cnf-160var-5120cl.7UNSAT0.02
6qbf-5cnf-20var-640cl.1UNSAT0.02
3qbf-5cnf-20var-320cl.1UNSAT0.02
3qbf-5cnf-20var-320cl.6UNSAT0.02
ncf_4_8_8_euad.4SAT0.02
2qbf-5cnf-80var-1280cl.2UNSAT0.02
k_dum_n-8SAT0.02
4qbf-5cnf-40var-1280cl.2UNSAT0.02
6qbf-5cnf-80var-2560cl.3UNSAT0.02
6qbf-5cnf-40var-1280cl.1UNSAT0.02
6qbf-5cnf-20var-320cl.3UNSAT0.02
4qbf-5cnf-40var-640cl.3UNSAT0.02
4qbf-5cnf-20var-320cl.6UNSAT0.02
2qbf-5cnf-40var-320cl.4UNSAT0.02
4qbf-5cnf-40var-1280cl.5UNSAT0.02
ncf_4_8_2_u.8SAT0.02
6qbf-5cnf-40var-640cl.3UNSAT0.02
2qbf-5cnf-160var-2560cl.1UNSAT0.02
4qbf-5cnf-20var-640cl.0UNSAT0.02
4qbf-5cnf-160var-2560cl.5UNSAT0.02
2qbf-5cnf-160var-2560cl.3UNSAT0.02
3qbf-5cnf-20var-320cl.3UNSAT0.02
ncf_8_16_4_edau.6UNSAT0.02
6qbf-5cnf-40var-640cl.8UNSAT0.02
5qbf-5cnf-80var-640cl.3SAT0.02
6qbf-5cnf-80var-2560cl.7UNSAT0.02
4qbf-5cnf-160var-5120cl.9UNSAT0.02
5qbf-5cnf-80var-2560cl.4UNSAT0.02
3qbf-5cnf-20var-160cl.3SAT0.02
2qbf-5cnf-160var-5120cl.4UNSAT0.02
5qbf-5cnf-20var-320cl.4UNSAT0.02
6qbf-5cnf-160var-5120cl.0UNSAT0.02
3qbf-5cnf-20var-320cl.4UNSAT0.02
6qbf-5cnf-40var-1280cl.4UNSAT0.02
ncf_4_8_2_euad.7UNSAT0.02
5qbf-5cnf-20var-320cl.8UNSAT0.02
ncf_8_16_4_u.8UNSAT0.02
3qbf-5cnf-40var-640cl.1UNSAT0.02
ncf_8_16_4_d.8UNSAT0.02
4qbf-5cnf-80var-2560cl.2UNSAT0.02
3qbf-5cnf-40var-640cl.0UNSAT0.02
5qbf-5cnf-80var-2560cl.8UNSAT0.02
4qbf-5cnf-80var-1280cl.9UNSAT0.02
ncf_4_32_2_u.2SAT0.02
ncf_4_8_8_d.4SAT0.02
ncf_8_16_4_edau.8UNSAT0.02
3qbf-5cnf-80var-320cl.5SAT0.02
ncf_4_8_8_edau.4SAT0.02
ncf_4_32_2_edau.9UNSAT0.02
4qbf-5cnf-40var-1280cl.1UNSAT0.02
x10.1UNSAT0.02
x10.2UNSAT0.02
x10.4SAT0.02
x15.4UNSAT0.02
x15.6UNSAT0.02
x20.4UNSAT0.02
eijk.S820.S-d2SAT0.02
vis.4-arbit^1.E-d2SAT0.02
texas.parsesys^4.E-f2UNSAT0.02
vis.emodel.E-f2UNSAT0.02
Qq2k1k4v80v80m2s1SAT0.02
Qq2k1k4v80v80m2s6SAT0.02
Qq2k1k4v80v80m8s6SAT0.02
Qq2k2k3v40v40m16s9SAT0.02
Qq2k2k3v80v80m4s9SAT0.02
Qq2k2k3v80v80m32s5SAT0.02
Qq3k1k1k3v40v40v40m4s3SAT0.02
Qq3k1k1k3v80v80v80m8s6SAT0.02
Qq3k1k2k2v80v80v80m4s3SAT0.02
Qq3k1k2k2v80v80v80m4s6SAT0.02
Qq3k1k2k2v80v80v80m8s3SAT0.02
Qq3k1k2k2v80v80v80m16s3SAT0.02
Qq3k1k2k2v80v80v80m32s0SAT0.02
Qq3k1k3k1v40v40v40m2s0FAIL0.02
Qq3k1k3k1v40v40v40m8s4SAT0.02
Qq3k1k3k1v80v80v80m2s9FAIL0.02
Qq3k1k3k1v80v80v80m16s3SAT0.02
Qq3k2k1k2v40v40v40m2s1SAT0.02
Qq3k2k1k2v40v40v40m4s2SAT0.02
Qq3k2k1k2v40v40v40m16s5SAT0.02
Qq3k2k1k2v80v80v80m16s1SAT0.02
Qq3k2k2k1v40v40v40m2s5SAT0.02
Qq3k2k2k1v40v40v40m4s4SAT0.02
Qq3k2k2k1v80v80v80m2s3FAIL0.02
Qq3k2k2k1v80v80v80m4s7SAT0.02
Qq3k2k2k1v80v80v80m16s4SAT0.02
Qq3k2k2k1v80v80v80m32s0SAT0.02
Qq3k2k2k1v80v80v80m32s9SAT0.02
Qq3k3k1k1v40v40v40m4s5SAT0.02
Qq3k3k1k1v40v40v40m32s5SAT0.02
Qq3k3k1k1v80v80v80m4s4SAT0.02
Qq3k3k1k1v80v80v80m8s4SAT0.02
Qq3k3k1k1v80v80v80m16s5SAT0.02
4qbf-5cnf-160var-2560cl.3UNSAT0.03
2qbf-5cnf-160var-2560cl.6UNSAT0.03
6qbf-5cnf-160var-5120cl.8UNSAT0.03
2qbf-5cnf-160var-5120cl.3UNSAT0.03
4qbf-5cnf-160var-2560cl.8UNSAT0.03
3qbf-5cnf-80var-1280cl.6UNSAT0.03
5qbf-5cnf-80var-2560cl.9UNSAT0.03
4qbf-5cnf-80var-1280cl.3UNSAT0.03
2qbf-5cnf-160var-5120cl.2UNSAT0.03
ncf_4_8_2_euad.6SAT0.03
CHAIN20v.21SAT0.03
2qbf-5cnf-160var-2560cl.2UNSAT0.03
4qbf-5cnf-160var-5120cl.3UNSAT0.03
5qbf-5cnf-160var-5120cl.6UNSAT0.03
6qbf-5cnf-160var-5120cl.2UNSAT0.03
3qbf-5cnf-40var-640cl.3UNSAT0.03
k_branch_p-4UNSAT0.03
4qbf-5cnf-160var-5120cl.2UNSAT0.03
ncf_4_16_4_edau.9SAT0.03
5qbf-5cnf-80var-2560cl.2UNSAT0.03
ncf_8_16_4_euad.8UNSAT0.03
3qbf-5cnf-40var-320cl.6SAT0.03
5qbf-5cnf-40var-640cl.9UNSAT0.03
4qbf-5cnf-160var-5120cl.5UNSAT0.03
ncf_8_16_8_euad.1SAT0.03
6qbf-5cnf-160var-5120cl.1UNSAT0.03
6qbf-5cnf-160var-5120cl.4UNSAT0.03
5qbf-5cnf-20var-320cl.3UNSAT0.03
ncf_8_16_4_d.6UNSAT0.03
ncf_16_32_2_euad.7UNSAT0.03
5qbf-5cnf-160var-5120cl.2UNSAT0.03
4qbf-5cnf-160var-5120cl.1UNSAT0.03
4qbf-5cnf-160var-5120cl.8UNSAT0.03
6qbf-5cnf-160var-5120cl.3UNSAT0.03
ncf_8_16_8_edau.1SAT0.03
3qbf-5cnf-80var-1280cl.8UNSAT0.03
2qbf-5cnf-160var-5120cl.5UNSAT0.03
ncf_8_16_8_d.1SAT0.03
x25.3UNSAT0.03
irst.dme6.B-d2SAT0.03
nusmv.dme2-16.B-d2SAT0.03
vis.emodel.E-d2SAT0.03
texas.ifetch1^1.E-f2UNSAT0.03
texas.ifetch1^2.E-f2UNSAT0.03
texas.ifetch1^3.E-f2UNSAT0.03
sortnetsort10.AE.stepl.004SAT0.03
sortnetsort8.AE.stepl.007SAT0.03
4qbf-5cnf-80var-1280cl.5UNSAT0.04
C432.blif_0.10_0.20_0_1_inp_exactSAT0.04
5qbf-5cnf-160var-5120cl.8UNSAT0.04
ncf_4_8_4_euad.8UNSAT0.04
ncf_8_16_4_u.6UNSAT0.04
5qbf-5cnf-160var-5120cl.0UNSAT0.04
k_lin_n-4SAT0.04
CHAIN21v.22SAT0.04
3qbf-5cnf-40var-320cl.2SAT0.04
6qbf-5cnf-160var-5120cl.5UNSAT0.04
ncf_16_32_2_edau.7UNSAT0.04
2qbf-5cnf-160var-5120cl.6UNSAT0.04
k_dum_n-12SAT0.04
2qbf-5cnf-40var-320cl.3UNSAT0.04
6qbf-5cnf-20var-160cl.1SAT0.04
4qbf-5cnf-160var-5120cl.6UNSAT0.04
x15.0UNSAT0.04
x15.7UNSAT0.04
sortnetsort8.AE.stepl.008SAT0.04
sortnetsort9.AE.stepl.006SAT0.04
ncf_4_16_4_d.9SAT0.05
5qbf-5cnf-80var-640cl.0SAT0.05
ncf_4_16_4_edau.6UNSAT0.05
3qbf-5cnf-40var-320cl.1SAT0.05
ncf_4_16_2_d.7SAT0.05
k_dum_n-16SAT0.05
5qbf-5cnf-40var-640cl.3UNSAT0.05
ncf_16_32_2_u.7UNSAT0.05
2qbf-5cnf-80var-640cl.0UNSAT0.05
qshifter_5SAT0.05
6qbf-5cnf-80var-1280cl.3UNSAT0.05
2qbf-5cnf-40var-320cl.0UNSAT0.05
5qbf-5cnf-40var-640cl.6UNSAT0.05
k_poly_n-8SAT0.05
ncf_4_8_4_euad.1SAT0.05
ncf_4_8_2_u.6SAT0.05
5qbf-5cnf-160var-5120cl.9UNSAT0.05
5qbf-5cnf-40var-640cl.4UNSAT0.05
6qbf-5cnf-20var-160cl.7SAT0.05
3qbf-5cnf-40var-320cl.9SAT0.05
x15.1SAT0.05
x155.7SAT0.05
x30.1UNSAT0.05
sortnetsort10.AE.stepl.005SAT0.05
sortnetsort8.AE.stepl.009SAT0.05
sortnetsort9.AE.stepl.007SAT0.05
sortnetsort9.AE.stepl.008SAT0.05
5qbf-5cnf-20var-320cl.9UNSAT0.06
5qbf-5cnf-160var-5120cl.5UNSAT0.06
3qbf-5cnf-80var-1280cl.2UNSAT0.06
5qbf-5cnf-80var-2560cl.5UNSAT0.06
ncf_4_8_4_euad.3UNSAT0.06
ncf_4_8_8_edau.1SAT0.06
5qbf-5cnf-160var-5120cl.4UNSAT0.06
2qbf-5cnf-40var-320cl.1UNSAT0.06
ncf_4_8_4_u.3UNSAT0.06
x160.1SAT0.06
x165.3SAT0.06
x20.1UNSAT0.06
sortnetsort10.AE.stepl.006SAT0.06
3qbf-5cnf-40var-320cl.3SAT0.07
lut4_2_fXORSAT0.07
ncf_4_8_2_u.3UNSAT0.07
CHAIN22v.23SAT0.07
6qbf-5cnf-40var-640cl.6UNSAT0.07
6qbf-5cnf-40var-640cl.2UNSAT0.07
ncf_4_8_4_u.10SAT0.07
x15.2UNSAT0.07
x155.1SAT0.07
x155.4SAT0.07
x160.2SAT0.07
x160.6SAT0.07
x160.9SAT0.07
x165.4SAT0.07
x165.6SAT0.07
x165.9SAT0.07
x170.8SAT0.07
x170.9SAT0.07
x180.7SAT0.07
x185.0SAT0.07
x185.3SAT0.07
eijk.S1238.S-d2SAT0.07
5qbf-5cnf-40var-640cl.2UNSAT0.08
CHAIN23v.24SAT0.08
3qbf-5cnf-40var-320cl.5UNSAT0.08
3qbf-5cnf-40var-320cl.4SAT0.08
x155.0SAT0.08
x155.3SAT0.08
x155.5SAT0.08
x155.8SAT0.08
x155.9SAT0.08
x160.0SAT0.08
x160.4SAT0.08
x160.5SAT0.08
x160.7SAT0.08
x165.0SAT0.08
x165.1SAT0.08
x165.2SAT0.08
x165.5SAT0.08
x165.7SAT0.08
x165.8SAT0.08
x170.0SAT0.08
x170.1SAT0.08
x170.7SAT0.08
x175.2SAT0.08
x175.9SAT0.08
x180.1SAT0.08
x180.3SAT0.08
x190.0SAT0.08
x190.3SAT0.08
x195.5SAT0.08
sortnetsort10.AE.stepl.007SAT0.08
k_branch_n-4SAT0.09
k_dum_n-21SAT0.09
ncf_4_8_4_euad.10SAT0.09
1qbf-5cnf-160var-2560cl.8SAT0.09
x155.2SAT0.09
x155.6SAT0.09
x15.8SAT0.09
x160.3SAT0.09
x160.8SAT0.09
x170.2SAT0.09
x170.3SAT0.09
x170.5SAT0.09
x170.6SAT0.09
x175.0SAT0.09
x175.1SAT0.09
x175.3SAT0.09
x175.4SAT0.09
x175.6SAT0.09
x180.0SAT0.09
x180.2SAT0.09
x180.6SAT0.09
x180.8SAT0.09
x180.9SAT0.09
x185.1SAT0.09
x185.2SAT0.09
x185.4SAT0.09
x185.6SAT0.09
x190.1SAT0.09
x190.4SAT0.09
x190.5SAT0.09
x190.6SAT0.09
x190.8SAT0.09
x195.0SAT0.09
x195.6SAT0.09
x195.8SAT0.09
sortnetsort5.v.stepl.003UNSAT0.09
sortnetsort9.AE.stepl.009SAT0.09
4qbf-5cnf-160var-2560cl.0UNSAT0.1
4qbf-5cnf-80var-320cl.0SAT0.1
6qbf-5cnf-20var-320cl.2UNSAT0.1
5qbf-5cnf-80var-1280cl.6UNSAT0.1
ncf_4_8_2_euad.3UNSAT0.1
3qbf-5cnf-40var-640cl.2UNSAT0.1
6qbf-5cnf-80var-640cl.0UNSAT0.1
x170.4SAT0.1
x175.5SAT0.1
x175.7SAT0.1
x180.4SAT0.1
x180.5SAT0.1
x185.5SAT0.1
x185.7SAT0.1
x185.9SAT0.1
x190.2SAT0.1
x190.7SAT0.1
x190.9SAT0.1
x195.2SAT0.1
x195.3SAT0.1
x195.4SAT0.1
x210.3SAT0.1
x215.1SAT0.1
x215.3SAT0.1
ncf_4_16_4_euad.9SAT0.11
6qbf-5cnf-40var-640cl.0UNSAT0.11
6qbf-5cnf-20var-160cl.5SAT0.11
5qbf-5cnf-80var-1280cl.3UNSAT0.11
5qbf-5cnf-40var-320cl.5SAT0.11
k_poly_n-12SAT0.11
x175.8SAT0.11
x185.8SAT0.11
x195.1SAT0.11
x195.7SAT0.11
x195.9SAT0.11
x205.0SAT0.11
x205.5SAT0.11
x210.4SAT0.11
x210.6SAT0.11
x215.5SAT0.11
x215.9SAT0.11
sortnetsort10.AE.stepl.008SAT0.11
sortnetsort9.AE.stepl.010SAT0.11
sortnetsort9.AE.stepl.011SAT0.11
sortnetsort9.AE.stepl.012SAT0.11
ncf_4_8_4_u.5SAT0.12
ncf_4_8_4_euad.5SAT0.12
4qbf-5cnf-160var-2560cl.2UNSAT0.12
3qbf-5cnf-80var-1280cl.3UNSAT0.12
ncf_4_8_4_euad.6SAT0.12
k_dum_n-20SAT0.12
6qbf-5cnf-80var-1280cl.7UNSAT0.12
ncf_4_32_2_u.9UNSAT0.12
x15.3SAT0.12
x200.1SAT0.12
x200.2SAT0.12
x200.3SAT0.12
x200.7SAT0.12
x200.8SAT0.12
x210.0SAT0.12
x210.1SAT0.12
x210.5SAT0.12
x210.7SAT0.12
x215.0SAT0.12
x215.2SAT0.12
x215.6SAT0.12
x215.7SAT0.12
x220.5SAT0.12
x225.1SAT0.12
x225.8SAT0.12
x235.2SAT0.12
x25.4UNSAT0.12
sortnetsort10.AE.stepl.009SAT0.12
6qbf-5cnf-80var-1280cl.1UNSAT0.13
4qbf-5cnf-160var-2560cl.6UNSAT0.13
ncf_4_8_4_euad.4UNSAT0.13
x200.0SAT0.13
x200.4SAT0.13
x200.5SAT0.13
x200.6SAT0.13
x200.9SAT0.13
x205.1SAT0.13
x205.2SAT0.13
x205.3SAT0.13
x205.4SAT0.13
x205.6SAT0.13
x205.7SAT0.13
x205.8SAT0.13
x210.2SAT0.13
x210.8SAT0.13
x210.9SAT0.13
x215.4SAT0.13
x215.8SAT0.13
x220.6SAT0.13
x220.7SAT0.13
x225.0SAT0.13
x225.2SAT0.13
x225.3SAT0.13
x225.4SAT0.13
x225.6SAT0.13
x225.7SAT0.13
x230.1SAT0.13
x230.3SAT0.13
x230.5SAT0.13
x235.5SAT0.13
x235.6SAT0.13
x240.4SAT0.13
sortnetsort10.AE.stepl.010SAT0.13
5qbf-5cnf-80var-1280cl.9UNSAT0.14
ncf_4_8_4_u.1SAT0.14
x15.9UNSAT0.14
x205.9SAT0.14
x20.5SAT0.14
x220.1SAT0.14
x220.2SAT0.14
x220.3SAT0.14
x220.8SAT0.14
x220.9SAT0.14
x225.9SAT0.14
x230.0SAT0.14
x230.6SAT0.14
x230.7SAT0.14
x230.8SAT0.14
x230.9SAT0.14
x235.0SAT0.14
x235.1SAT0.14
x235.7SAT0.14
x235.8SAT0.14
x235.9SAT0.14
x240.0SAT0.14
x240.1SAT0.14
x240.3SAT0.14
x245.5SAT0.14
x245.8SAT0.14
x250.3SAT0.14
x250.5SAT0.14
x250.8SAT0.14
3qbf-5cnf-80var-1280cl.4UNSAT0.15
6qbf-5cnf-40var-640cl.1UNSAT0.15
6qbf-5cnf-20var-160cl.2SAT0.15
x220.0SAT0.15
x220.4SAT0.15
x225.5SAT0.15
x230.2SAT0.15
x230.4SAT0.15
x235.3SAT0.15
x235.4SAT0.15
x240.2SAT0.15
x240.5SAT0.15
x240.6SAT0.15
x245.0SAT0.15
x245.2SAT0.15
x245.3SAT0.15
x245.6SAT0.15
x245.9SAT0.15
x250.1SAT0.15
x250.2SAT0.15
x250.4SAT0.15
x250.6SAT0.15
x250.9SAT0.15
ncf_4_16_2_euad.7SAT0.16
6qbf-5cnf-80var-1280cl.5UNSAT0.16
x240.7SAT0.16
x240.8SAT0.16
x240.9SAT0.16
x245.1SAT0.16
x245.4SAT0.16
x245.7SAT0.16
x250.0SAT0.16
x250.7SAT0.16
x30.7UNSAT0.16
T-edau-1UNSAT0.16
2qbf-5cnf-40var-320cl.2UNSAT0.17
ncf_4_8_2_euad.2SAT0.17
x20.2SAT0.17
x300.9SAT0.17
T-edau-8UNSAT0.17
sortnetsort10.AE.stepl.011SAT0.17
3qbf-5cnf-160var-2560cl.9UNSAT0.18
k_poly_n-16SAT0.18
6qbf-5cnf-80var-1280cl.9UNSAT0.18
x300.0SAT0.18
x300.1SAT0.18
x300.2SAT0.18
x300.7SAT0.18
x300.8SAT0.18
ncf_4_16_2_u.2SAT0.19
5qbf-5cnf-40var-320cl.9SAT0.19
ncf_8_16_4_edau.7SAT0.19
x300.3SAT0.19
x300.4SAT0.19
x300.5SAT0.19
x300.6SAT0.19
sortnetsort10.AE.stepl.012SAT0.19
ncf_4_8_8_u.1SAT0.2
ncf_8_16_8_edau.7UNSAT0.2
4qbf-5cnf-20var-160cl.0UNSAT0.2
T-edau-3UNSAT0.2
T-edau-9UNSAT0.2
6qbf-5cnf-20var-160cl.4SAT0.21
5qbf-5cnf-160var-5120cl.7UNSAT0.21
ncf_8_16_4_u.3SAT0.21
6qbf-5cnf-80var-1280cl.0UNSAT0.21
x20.8SAT0.21
ncf_4_16_4_edau.5SAT0.22
4qbf-5cnf-20var-160cl.8UNSAT0.22
x350.0SAT0.22
x350.5SAT0.22
x350.8SAT0.22
x350.9SAT0.22
x350.1SAT0.23
5qbf-5cnf-80var-1280cl.4UNSAT0.24
ncf_8_16_4_u.10SAT0.24
ncf_4_32_2_u.8SAT0.24
ncf_8_16_4_u.7SAT0.24
6qbf-5cnf-80var-1280cl.8UNSAT0.24
1qbf-5cnf-160var-2560cl.0SAT0.24
x350.2SAT0.24
x350.3SAT0.24
x350.4SAT0.24
x350.7SAT0.24
ncf_4_16_2_edau.2SAT0.25
ncf_8_16_4_edau.10SAT0.25
6qbf-5cnf-80var-1280cl.6UNSAT0.25
6qbf-5cnf-160var-2560cl.9UNSAT0.25
ncf_4_8_4_u.7UNSAT0.25
x350.6SAT0.25
ncf_4_16_2_euad.2SAT0.26
6qbf-5cnf-20var-160cl.8SAT0.26
5qbf-5cnf-80var-1280cl.2UNSAT0.26
6qbf-5cnf-160var-2560cl.5UNSAT0.26
x400.7SAT0.26
x45.6UNSAT0.26
ncf_4_16_2_d.2SAT0.27
k_poly_n-20SAT0.27
5qbf-5cnf-80var-1280cl.5UNSAT0.27
x400.1SAT0.27
x400.2SAT0.27
x400.3SAT0.27
T-edau-4UNSAT0.27
ncf_4_16_4_u.5SAT0.28
5qbf-5cnf-160var-5120cl.1UNSAT0.28
3qbf-5cnf-80var-1280cl.1UNSAT0.28
toilet_c_10_05.7SAT0.28
x400.4SAT0.29
x400.5SAT0.29
x400.8SAT0.29
T-edau-5UNSAT0.29
6qbf-5cnf-160var-2560cl.4UNSAT0.3
x400.0SAT0.3
x400.6SAT0.3
x400.9SAT0.3
ncf_4_32_2_edau.8SAT0.31
6qbf-5cnf-20var-160cl.6SAT0.31
k_poly_n-21SAT0.31
3qbf-5cnf-80var-1280cl.9UNSAT0.32
s27_d3_uUNSAT0.33
T-adeu-1UNSAT0.33
eijk.S1196.S-d2SAT0.33
4qbf-5cnf-160var-2560cl.7UNSAT0.34
ncf_4_16_2_edau.10UNSAT0.34
ncf_4_8_4_euad.7UNSAT0.34
6qbf-5cnf-160var-2560cl.0UNSAT0.34
ncf_4_8_4_u.4UNSAT0.34
6qbf-5cnf-20var-160cl.9SAT0.35
ncf_4_16_2_d.4SAT0.35
T-edau-2UNSAT0.35
ncf_4_16_2_d.10UNSAT0.36
x20.6SAT0.36
4qbf-5cnf-20var-160cl.4UNSAT0.37
ev-pr-8x8-5-7-0-1-2-lgUNSAT0.37
x20.7SAT0.38
ncf_4_16_4_euad.5SAT0.39
6qbf-5cnf-160var-2560cl.2UNSAT0.4
6qbf-5cnf-80var-1280cl.2UNSAT0.41
ncf_4_16_2_euad.4SAT0.41
vis.elevator^1.E-f2UNSAT0.42
ncf_4_16_4_edau.4UNSAT0.43
6qbf-5cnf-80var-1280cl.4UNSAT0.43
x20.9SAT0.43
k_lin_n-8SAT0.44
3qbf-5cnf-80var-1280cl.0UNSAT0.45
4qbf-5cnf-160var-2560cl.1UNSAT0.45
x20.0SAT0.46
T-adeu-5UNSAT0.46
T-edau-7UNSAT0.46
5qbf-5cnf-80var-1280cl.7UNSAT0.47
ncf_4_8_8_edau.8SAT0.47
3qbf-5cnf-80var-1280cl.5UNSAT0.48
5qbf-5cnf-80var-1280cl.8UNSAT0.48
T-adeu-8UNSAT0.48
ncf_4_16_2_u.4SAT0.49
counter_8SAT0.5
ncf_8_16_4_edau.3SAT0.5
T-adeu-3UNSAT0.5
ncf_4_16_2_edau.4SAT0.51
ncf_8_16_8_edau.8UNSAT0.51
ncf_4_16_2_edau.8SAT0.54
T-adeu-7UNSAT0.55
T-adeu-4UNSAT0.56
ncf_8_16_4_d.10SAT0.59
BLOCKS3iii.5SAT0.59
6qbf-5cnf-160var-2560cl.3UNSAT0.6
x20.3UNSAT0.63
sortnetsort6.v.stepl.003UNSAT0.64
2qbf-5cnf-40var-320cl.7UNSAT0.65
ncf_4_16_4_u.6UNSAT0.66
4qbf-5cnf-20var-160cl.1UNSAT0.67
qshifter_6SAT0.67
ncf_4_8_8_d.1SAT0.68
ncf_4_8_8_euad.1SAT0.68
ncf_4_8_8_u.8SAT0.7
4qbf-5cnf-80var-320cl.6SAT0.71
ncf_8_16_4_euad.10SAT0.72
counter_re_4SAT0.72
ncf_4_8_8_euad.8SAT0.73
5qbf-5cnf-80var-640cl.4SAT0.73
k_dum_p-12UNSAT0.76
ncf_4_16_2_euad.1FAIL0.77
connect_8x7_4_WUNSAT0.79
k_grz_p-4UNSAT0.8
ncf_4_8_8_edau.10SAT0.8
connect_8x7_4_DUNSAT0.82
T-edau-6UNSAT0.82
4qbf-5cnf-160var-2560cl.4UNSAT0.83
ncf_4_16_2_d.5FAIL0.84
x25.9UNSAT0.84
connect_8x7_3_WUNSAT0.87
ncf_4_16_2_edau.1UNSAT0.88
ncf_4_16_2_d.1FAIL0.88
ncf_4_16_2_d.8SAT0.88
ncf_4_16_2_euad.8FAIL0.89
connect_8x7_3_DUNSAT0.89
ncf_4_16_4_edau.10UNSAT0.94
ncf_16_32_4_edau.10UNSAT0.94
4qbf-5cnf-40var-320cl.9UNSAT0.94
5qbf-5cnf-80var-640cl.5SAT0.95
k_path_n-8SAT0.96
3qbf-5cnf-80var-1280cl.7UNSAT0.96
2qbf-5cnf-40var-160cl.2UNSAT0.98
ncf_4_16_2_euad.5FAIL1.02
4qbf-5cnf-80var-320cl.5SAT1.03
ncf_4_16_4_edau.7SAT1.03
ncf_4_16_2_u.10UNSAT1.03
ncf_4_32_2_edau.2SAT1.04
k_grz_n-8SAT1.11
ncf_4_8_8_euad.3SAT1.11
ncf_4_16_2_u.1UNSAT1.12
1qbf-5cnf-160var-2560cl.2SAT1.16
ncf_4_16_2_u.8FAIL1.18
T-adeu-9UNSAT1.19
ncf_4_16_4_d.5SAT1.2
3qbf-5cnf-160var-2560cl.4UNSAT1.21
connect_9x8_5_WUNSAT1.29
C880.blif_0.10_1.00_0_1_inp_exactSAT1.3
4qbf-5cnf-20var-160cl.2SAT1.32
connect_9x8_5_DUNSAT1.33
6qbf-5cnf-40var-320cl.0FAIL1.34
ncf_4_8_8_d.8SAT1.36
ncf_4_16_2_edau.3FAIL1.37
ncf_4_16_2_u.5UNSAT1.38
ncf_4_16_4_euad.1SAT1.39
k_dum_p-16UNSAT1.39
ncf_4_16_4_d.1SAT1.41
ncf_4_16_2_euad.10FAIL1.42
connect_9x8_4_WUNSAT1.45
connect_9x8_4_DUNSAT1.46
1qbf-5cnf-160var-2560cl.1SAT1.46
lognBWLARGEA1UNSAT1.47
connect_9x8_3_WUNSAT1.5
ncf_4_32_2_edau.10SAT1.5
x25.8UNSAT1.5
5qbf-5cnf-80var-1280cl.1UNSAT1.51
connect_9x8_3_DUNSAT1.51
5qbf-5cnf-160var-2560cl.0UNSAT1.54
ncf_4_16_2_d.3UNSAT1.55
ncf_8_16_8_edau.6UNSAT1.56
ncf_4_16_4_u.8SAT1.58
4qbf-5cnf-40var-320cl.7UNSAT1.6
x30.2UNSAT1.63
6qbf-5cnf-40var-320cl.7FAIL1.68
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004UNSAT1.69
ncf_4_8_8_u.10SAT1.71
T-edau-0UNSAT1.73
x25.0SAT1.76
6qbf-5cnf-40var-320cl.5FAIL1.78
3qbf-5cnf-160var-2560cl.5UNSAT1.81
5qbf-5cnf-80var-640cl.9SAT1.87
2qbf-5cnf-80var-640cl.1UNSAT1.87
lut4_2_f1SAT1.93
ncf_4_16_2_edau.5UNSAT1.96
sortnetsort5.v.stepl.004UNSAT1.96
T-adeu-2UNSAT1.97
k_lin_n-12SAT1.98
ncf_4_16_4_edau.8SAT2.04
lut4_AND_f1SAT2.08
k_grz_p-8UNSAT2.11
T-adeu-6UNSAT2.11
k_dum_p-20UNSAT2.14
x25.2SAT2.15
ncf_4_16_4_d.6UNSAT2.21
k_t4p_p-4UNSAT2.24
ncf_16_32_4_u.10UNSAT2.25
ncf_4_16_2_euad.3FAIL2.28
k_dum_p-21UNSAT2.32
5qbf-5cnf-80var-640cl.6SAT2.53
ncf_4_8_8_d.3SAT2.54
ncf_4_16_4_euad.8SAT2.56
k_branch_p-8UNSAT2.56
x25.5UNSAT2.61
BLOCKS3ii.5.2UNSAT2.62
ncf_8_16_8_euad.7UNSAT2.68
x25.1SAT2.7
6qbf-5cnf-40var-320cl.9FAIL2.77
6qbf-5cnf-160var-2560cl.1UNSAT2.77
ncf_4_16_4_d.7SAT2.78
ncf_8_16_8_d.7UNSAT3.01
ncf_4_32_2_u.10SAT3.04
sortnetsort5.v.stepl.006SAT3.12
S-edau-5UNSAT3.19
S-edau-8UNSAT3.19
S-edau-1UNSAT3.21
S-edau-9UNSAT3.23
ncf_4_16_4_u.4UNSAT3.24
5qbf-5cnf-40var-320cl.6SAT3.24
S-adeu-8UNSAT3.28
S-edau-3UNSAT3.28
S-adeu-3UNSAT3.29
S-adeu-9UNSAT3.29
S-adeu-1UNSAT3.32
6qbf-5cnf-40var-320cl.3FAIL3.37
S-edau-4UNSAT3.45
ncf_4_16_4_d.8SAT3.47
S-adeu-5UNSAT3.47
5qbf-5cnf-80var-1280cl.0UNSAT3.5
6qbf-5cnf-160var-2560cl.7UNSAT3.55
k_path_p-8UNSAT3.59
3qbf-5cnf-160var-2560cl.3UNSAT3.7
x40.8UNSAT3.72
x25.7UNSAT3.79
S-adeu-7UNSAT3.82
lognBWLARGEB1UNSAT3.85
S-adeu-4UNSAT3.85
S-edau-2UNSAT3.85
C6288.blif_0.10_1.00_0_1_out_exactSAT3.89
6qbf-5cnf-40var-320cl.4FAIL3.9
S-edau-7UNSAT3.96
k_d4_p-8UNSAT4.07
x30.9UNSAT4.21
x30.4SAT4.22
ncf_4_8_8_d.2UNSAT4.34
ncf_8_16_8_euad.8UNSAT4.53
2qbf-5cnf-40var-160cl.1UNSAT4.57
k_d4_n-4SAT4.64
4qbf-5cnf-40var-320cl.6UNSAT4.7
T-adeu-0UNSAT4.72
term1.blif_0.10_1.00_0_0_inp_exactUNSAT4.74
S-edau-6UNSAT4.79
4qbf-5cnf-20var-160cl.6UNSAT4.88
2qbf-5cnf-80var-640cl.4UNSAT5.33
x45.2UNSAT5.39
6qbf-5cnf-20var-160cl.0FAIL5.4
robots_1_5_5_26.4SAT5.55
robots_1_5_5_66.4SAT5.58
6qbf-5cnf-160var-2560cl.8UNSAT5.66
5qbf-5cnf-160var-2560cl.2UNSAT5.69
qshifter_7SAT5.75
k_lin_n-16SAT5.76
ncf_4_16_4_d.10UNSAT5.78
C880.blif_0.10_1.00_0_1_out_exactSAT5.83
term1.blif_0.10_1.00_0_0_out_exactUNSAT5.92
toilet_a_10_05.4SAT6.22
ncf_4_8_8_euad.7SAT6.29
ncf_4_16_4_u.10UNSAT6.38
ncf_8_16_8_d.8UNSAT6.41
6qbf-5cnf-160var-2560cl.6UNSAT6.53
ncf_16_32_2_u.10UNSAT6.55
S-adeu-6UNSAT6.58
sortnetsort5.v.stepl.005SAT6.8
ncf_4_8_8_u.3SAT6.84
x30.5UNSAT6.87
ncf_4_16_4_edau.1SAT6.94
ncf_4_16_4_u.1SAT6.99
sortnetsort7.v.stepl.003UNSAT7.08
ncf_4_32_2_edau.7SAT7.56
3qbf-5cnf-160var-2560cl.6UNSAT7.57
x30.6SAT7.79
ncf_4_8_8_d.7SAT7.92
ncf_4_8_8_edau.6UNSAT7.98
S-edau-0UNSAT8.15
S-adeu-2UNSAT8.23
4qbf-5cnf-40var-320cl.0UNSAT8.31
ncf_4_16_2_u.3FAIL8.34
ncf_16_32_8_euad.3SAT8.59
ncf_4_16_4_u.7SAT8.79
5qbf-5cnf-160var-2560cl.5UNSAT9.03
ncf_4_8_8_euad.5UNSAT9.18
x35.3UNSAT9.57
ncf_16_32_2_edau.10UNSAT9.71
ncf_4_8_8_d.5UNSAT9.9
ncf_4_8_8_edau.7SAT10.03
k_ph_n-8SAT10.11
3qbf-5cnf-160var-2560cl.2UNSAT10.41
2qbf-5cnf-80var-640cl.9UNSAT10.43
5qbf-5cnf-80var-640cl.1SAT10.44
4qbf-5cnf-20var-160cl.7UNSAT11.62
ncf_8_16_8_d.9UNSAT11.82
ncf_4_8_8_d.10SAT11.84
k_lin_n-20SAT12.34
x50.4UNSAT12.67
5qbf-5cnf-160var-2560cl.9UNSAT12.88
ncf_8_16_4_d.7SAT13.53
ev-pr-8x8-7-7-0-1-2-lgUNSAT13.7
x30.8UNSAT13.94
ncf_4_8_8_edau.3SAT13.97
x35.6UNSAT14.14
k_lin_n-21SAT14.52
x30.0UNSAT14.52
ncf_8_16_4_euad.7SAT14.69
ncf_4_16_4_d.4UNSAT14.83
ncf_8_16_4_d.3SAT14.91
4qbf-5cnf-80var-320cl.8SAT15.42
x50.7UNSAT15.62
S-adeu-0UNSAT16.16
Adder2-4-cUNSAT17.3
BLOCKS3ii.5.3SAT17.55
4qbf-5cnf-20var-160cl.5UNSAT17.83
ncf_4_16_4_euad.2SAT18
x35.2SAT18.17
x40.5UNSAT18.29
k_t4p_n-4SAT18.52
ncf_4_16_4_edau.2SAT18.57
texas.PI_main^14.E-f2UNSAT19.01
x35.0UNSAT19.13
ncf_16_32_2_u.2UNSAT19.16
ncf_4_8_8_u.5UNSAT19.29
vis.eisenberg.E-f2SAT19.68
sortnetsort6.v.stepl.004UNSAT19.85
ncf_4_16_4_d.3SAT21.27
ncf_4_8_8_euad.10SAT21.76
texas.parsesys^3.E-f2SAT21.79
ncf_8_16_4_euad.4SAT22.4
ncf_8_16_4_euad.3SAT22.41
ncf_8_16_4_d.4SAT24.14
3qbf-5cnf-160var-2560cl.0UNSAT24.21
5qbf-5cnf-160var-2560cl.7UNSAT25.46
sortnetsort5.v.stepl.007SAT25.72
5qbf-5cnf-160var-2560cl.6UNSAT25.75
sortnetsort6.v.stepl.005SAT26.45
nusmv.dme1-16.B-d2SAT26.54
x35.7UNSAT26.66
ncf_16_32_2_u.4UNSAT26.76
x45.8UNSAT27.29
4qbf-5cnf-20var-160cl.9SAT28
ncf_4_16_4_euad.7SAT29.22
3qbf-5cnf-160var-2560cl.1UNSAT29.62
ncf_4_8_8_d.6UNSAT31.05
x30.3SAT31.44
connect_5x4_4_RUNSAT32.21
ncf_4_16_4_euad.10UNSAT33.37
ncf_4_16_8_d.5UNSAT33.9
ncf_16_32_2_d.2UNSAT34.02
nusmv.syncarb5^2.B-f2SAT34.06
ncf_16_32_8_d.3SAT34.72
ev-pr-6x6-7-5-0-1-2-lgUNSAT35.86
ncf_8_16_8_euad.9UNSAT35.94
ncf_8_16_4_edau.9UNSAT36.26
ncf_4_8_8_euad.2UNSAT36.67
ncf_4_16_8_euad.7SAT36.79
ncf_8_16_4_d.9UNSAT37.44
s27_d4_uUNSAT38.95
x40.0UNSAT39.24
ncf_4_16_8_euad.9SAT40.04
ncf_8_16_8_edau.9UNSAT41.97
x35.4UNSAT43.44
ncf_4_16_8_u.9SAT43.75
x40.4UNSAT44.41
ncf_16_32_4_u.9SAT44.52
2qbf-5cnf-40var-320cl.6UNSAT44.85
x40.1UNSAT45.97
4qbf-5cnf-80var-320cl.4SAT45.98
ncf_16_32_2_edau.4UNSAT46.38
k_branch_n-8SAT47.24
k_d4_p-12UNSAT47.98
x35.5UNSAT48.57
vis.bakery.E-f2SAT50.09
k_poly_p-12UNSAT51.66
ncf_4_16_4_d.2SAT52.79
qshifter_8SAT53.65
TOILET7.1.iv.13UNSAT56.09
x65.9UNSAT58.03
2qbf-5cnf-80var-640cl.5UNSAT58.27
ncf_4_32_2_u.7SAT58.38
sortnetsort5.AE.stepl.003SAT58.56
x45.4UNSAT59.09
ncf_4_8_8_edau.5UNSAT59.26
ncf_16_32_4_edau.9SAT59.49
x65.7UNSAT59.85
6qbf-5cnf-40var-320cl.2FAIL64.6
connect_5x4_3_RUNSAT65.46
3qbf-5cnf-160var-2560cl.8UNSAT66.64
toilet_a_10_01.16UNSAT70.07
Adder2-4-sSAT72.59
x35.9SAT73.28
2qbf-5cnf-80var-640cl.8UNSAT73.86
ncf_4_16_8_d.9SAT75.25
x35.8SAT77.07
ncf_16_32_8_u.3SAT78.66
ncf_4_16_4_euad.4UNSAT85.85
ncf_16_32_8_edau.4SAT87.23
ncf_4_16_8_d.8UNSAT87.8
ncf_4_16_4_euad.3SAT91.54
k_path_n-12SAT93.35
ncf_16_32_8_edau.3SAT94.17
5qbf-5cnf-160var-2560cl.8UNSAT96.13
5qbf-5cnf-160var-2560cl.4UNSAT98.65
ncf_8_16_8_d.2SAT99.21
ev-pr-8x8-9-7-0-1-2-lgUNSAT102.79
ncf_4_32_2_edau.6UNSAT103.66
ncf_4_16_8_d.10SAT104.11
x45.9UNSAT104.53
robots_1_5_4_31.4SAT111.23
robots_1_5_4_30.4SAT124.89
ncf_8_16_8_d.6UNSAT125.67
term1.blif_0.10_0.20_0_0_out_exactFAIL125.85
ncf_16_32_2_edau.2UNSAT125.89
term1.blif_0.10_0.20_0_0_inp_exactUNSAT126.43
ncf_8_16_4_edau.4SAT126.95
ncf_4_8_8_u.7SAT127.38
x35.1SAT127.87
ncf_8_16_4_u.4SAT130.21
ncf_8_16_8_d.4UNSAT135.77
robots_1_5_5_87.4SAT136.71
x40.3UNSAT136.87
ncf_4_8_8_euad.6UNSAT140.12
ncf_16_32_8_u.4SAT143.45
ncf_16_32_4_d.10UNSAT148.02
k_grz_p-12UNSAT152.2
ncf_8_16_8_euad.6UNSAT152.74
x60.4UNSAT152.97
ncf_8_16_4_euad.9UNSAT156.83
ncf_4_8_8_edau.2UNSAT163.47
ncf_16_32_4_euad.10UNSAT165.96
ncf_4_16_8_euad.10SAT167.12
x40.9UNSAT169.24
x70.7UNSAT169.81
ncf_4_16_8_euad.2SAT172.78
ncf_4_16_8_euad.8UNSAT182.71
texas.parsesys^1.E-f2SAT188.8
ncf_4_16_8_u.4SAT190.22
k_branch_p-12UNSAT190.85
comp.blif_0.10_0.20_0_0_out_exactUNSAT191.12
robots_1_5_3_66.4SAT191.33
sortnetsort8.v.stepl.003UNSAT192.18
ncf_4_16_8_d.7SAT192.8
2qbf-5cnf-160var-320cl.5SAT210.38
ncf_4_16_8_euad.4SAT216.13
ncf_4_16_4_euad.6UNSAT223.53
ev-pr-4x4-11-3-0-0-1-lgSAT232.54
ncf_16_32_4_d.7UNSAT233.41
x40.2UNSAT234.98
C432.blif_0.10_1.00_0_0_out_exactUNSAT239.79
ncf_8_16_4_u.9UNSAT242.85
ncf_16_32_2_u.3SAT245.77
k_grz_n-16SAT249.33
ncf_16_32_2_d.6SAT251.2
ncf_8_16_8_edau.4UNSAT251.24
x45.0UNSAT254.25
ncf_4_8_8_u.6UNSAT254.63
robots_1_5_3_100.4SAT255.54
robots_1_5_3_16.4SAT256.73
ncf_4_32_2_edau.4UNSAT257.12
robots_1_5_4_91.4SAT259.8
C499.blif_0.10_0.20_0_1_inp_exactSAT272.71
ncf_16_32_2_d.10UNSAT274.66
ev-pr-6x6-9-5-0-1-2-lgUNSAT276.06
k_poly_p-20UNSAT276.31
ncf_4_16_8_d.2SAT280.76
4qbf-5cnf-80var-320cl.3SAT289.91
ncf_16_32_2_edau.3SAT289.91
k_path_p-12UNSAT294.46
sortnetsort5.AE.stepl.006UNSAT295.9
k_poly_p-21UNSAT306.25
2qbf-5cnf-40var-160cl.7UNSAT320.53
ncf_16_32_8_euad.4SAT335.55
ncf_4_8_8_u.2UNSAT347.61
robots_1_5_5_34.4SAT351.97
ncf_8_16_8_d.5SAT354.06
ncf_16_32_4_euad.9SAT358.73
ncf_4_32_2_u.6UNSAT360.32
ncf_8_16_8_edau.5SAT370.29
vis.arbiter.E-f2SAT381.56
ncf_4_32_2_edau.5UNSAT382.21
robots_1_5_3_52.4SAT387.26
k_d4_p-16UNSAT392.93
x40.6UNSAT395.65
connect_6x5_5_RUNSAT395.81
x50.0UNSAT397.45
eijk.S208o.S-f2SAT398.6
robots_1_5_4_2.4SAT401.23
robots_1_5_5_8.4SAT408.28
robots_1_5_5_100.4SAT413.05
x55.3UNSAT420.04
ncf_8_16_8_euad.2SAT422.49
x55.4UNSAT425.87
nusmv.reactor^5.C-f2UNSAT427.2
robots_1_5_2_21.4SAT451.37
ncf_16_32_2_euad.2UNSAT466
5qbf-5cnf-160var-2560cl.1UNSAT481.53
ncf_8_16_8_euad.3SAT509.22
ncf_4_16_4_u.2SAT509.84
ncf_4_16_8_euad.6SAT514.24
x75.9UNSAT520.87
ev-pr-8x8-11-7-0-1-2-lgUNSAT529.72
sortnetsort6.v.stepl.006SAT538.62
C432.blif_0.10_0.20_0_0_inp_exactUNSAT540.07
ncf_8_16_8_euad.5SAT545.63
ncf_16_32_4_edau.8SAT552.71
sortnetsort5.AE.stepl.005UNSAT574.8
ncf_16_32_4_d.9SAT578.81
C5315.blif_0.10_1.00_0_1_out_exactFAIL600.74
szymanski-22-sFAIL600.77
C5315.blif_0.10_1.00_0_0_out_exactFAIL600.78
1qbf-5cnf-80var-2560cl.9FAIL600.81
x65.4FAIL600.81
szymanski-24-sFAIL600.83
2qbf-5cnf-80var-320cl.2FAIL600.86
x115.8FAIL600.9
comp.blif_0.10_1.00_0_0_out_exactFAIL600.91
adder-6-unsatFAIL600.92
adder-4-unsatFAIL600.92
1qbf-5cnf-160var-2560cl.9FAIL600.93
szymanski-18-sFAIL600.94
robots_1_5_3_24.4FAIL600.94
C499.blif_0.10_1.00_0_0_out_exactFAIL600.94
robots_1_5_2_99.4FAIL600.94
TOILET10.1.iv.20FAIL600.94
1qbf-5cnf-160var-2560cl.5FAIL600.94
ncf_16_32_8_u.10FAIL600.95
szymanski-20-sFAIL600.95
1qbf-5cnf-160var-2560cl.3FAIL600.95
adder-8-unsatFAIL600.96
robots_1_5_3_44.4FAIL600.96
szymanski-14-sFAIL600.96
k_ph_n-16FAIL600.96
szymanski-16-sFAIL600.96
1qbf-5cnf-80var-2560cl.5FAIL600.96
1qbf-5cnf-80var-2560cl.2FAIL600.96
1qbf-5cnf-160var-2560cl.6FAIL600.96
x110.7FAIL600.96
x120.5FAIL600.96
x85.1FAIL600.96
x85.9FAIL600.96
sortnetsort7.AE.stepl.008FAIL600.96
lut4_2_f2FAIL600.97
ncf_16_32_4_u.3FAIL600.97
szymanski-12-sFAIL600.97
ncf_16_32_8_u.6FAIL600.97
6qbf-5cnf-40var-320cl.8FAIL600.97
robots_1_5_2_100.4FAIL600.97
mutex-128-sFAIL600.97
1qbf-5cnf-160var-2560cl.4FAIL600.97
1qbf-5cnf-80var-2560cl.0FAIL600.97
x100.0FAIL600.97
x110.0FAIL600.97
x110.5FAIL600.97
x130.2FAIL600.97
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL600.97
mutex-64-sFAIL600.98
2qbf-5cnf-40var-160cl.9FAIL600.98
6qbf-5cnf-80var-640cl.5FAIL600.98
ncf_16_32_2_u.1FAIL600.98
ncf_16_32_4_edau.7FAIL600.98
robots_1_5_4_51.4FAIL600.98
k_t4p_p-21FAIL600.98
test3_quant2FAIL600.98
2qbf-5cnf-80var-320cl.6FAIL600.98
test5_quant5FAIL600.98
2qbf-5cnf-80var-640cl.7FAIL600.98
k_lin_p-12FAIL600.98
1qbf-5cnf-80var-2560cl.1FAIL600.98
1qbf-5cnf-80var-2560cl.3FAIL600.98
x105.2FAIL600.98
x110.4FAIL600.98
x115.2FAIL600.98
x120.9FAIL600.98
x125.0FAIL600.98
x125.3FAIL600.98
x130.9FAIL600.98
x135.1FAIL600.98
x135.9FAIL600.98
x140.7FAIL600.98
x145.8FAIL600.98
x150.4FAIL600.98
x150.5FAIL600.98
x75.1FAIL600.98
x85.0FAIL600.98
x95.2FAIL600.98
x95.7FAIL600.98
eijk.S298.S-f2FAIL600.98
eijk.S344.S-f2FAIL600.98
texas.two_proc^1.E-f2FAIL600.98
sortnetsort10.v.stepl.006FAIL600.98
sortnetsort5.AE.stepl.004FAIL600.98
sortnetsort7.v.stepl.006FAIL600.98
sortnetsort7.v.stepl.007FAIL600.98
sortnetsort8.v.stepl.009FAIL600.98
sortnetsort9.v.stepl.006FAIL600.98
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600.98
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600.98
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL600.98
2qbf-5cnf-40var-160cl.5FAIL600.99
4qbf-5cnf-80var-320cl.9FAIL600.99
adder-14-satFAIL600.99
2qbf-5cnf-80var-320cl.1FAIL600.99
ncf_4_16_8_d.4FAIL600.99
adder-6-satFAIL600.99
2qbf-5cnf-40var-320cl.8FAIL600.99
ncf_16_32_8_euad.1FAIL600.99
s713_d2_sFAIL600.99
2qbf-5cnf-160var-320cl.8FAIL600.99
ev-pr-4x4-13-3-0-0-1-lgFAIL600.99
BLOCKS4ii.6.3FAIL600.99
ncf_4_16_8_u.7FAIL600.99
BLOCKS4iii.6FAIL600.99
2qbf-5cnf-160var-320cl.0FAIL600.99
robots_1_5_2_39.4FAIL600.99
ncf_4_16_8_d.6FAIL600.99
4qbf-5cnf-80var-320cl.1FAIL600.99
ncf_4_16_4_u.3FAIL600.99
robots_1_5_3_20.4FAIL600.99
robots_1_5_3_57.4FAIL600.99
4qbf-5cnf-80var-320cl.7FAIL600.99
4qbf-5cnf-40var-320cl.8FAIL600.99
ncf_16_32_8_edau.1FAIL600.99
ncf_16_32_8_euad.8FAIL600.99
6qbf-5cnf-80var-640cl.2FAIL600.99
ncf_16_32_8_euad.10FAIL600.99
6qbf-5cnf-80var-640cl.1FAIL600.99
ncf_4_16_8_u.10FAIL600.99
ncf_16_32_4_euad.6FAIL600.99
robots_1_5_2_45.4FAIL600.99
ncf_16_32_4_d.8FAIL600.99
ncf_16_32_4_edau.3FAIL600.99
k_t4p_p-16FAIL600.99
ncf_16_32_8_edau.9FAIL600.99
lut4_AND_fXORFAIL600.99
k_grz_p-21FAIL600.99
ncf_16_32_2_euad.4FAIL600.99
2qbf-5cnf-40var-160cl.6FAIL600.99
ev-pr-4x4-17-3-0-0-1-lgFAIL600.99
ncf_16_32_4_d.5FAIL600.99
6qbf-5cnf-80var-640cl.3FAIL600.99
k_d4_n-20FAIL600.99
robots_1_5_5_30.4FAIL600.99
ncf_4_16_8_euad.1FAIL600.99
ncf_16_32_8_euad.9FAIL600.99
ncf_16_32_4_euad.3FAIL600.99
adder-8-satFAIL600.99
ncf_16_32_4_edau.4FAIL600.99
ncf_16_32_4_edau.5FAIL600.99
ncf_16_32_8_u.8FAIL600.99
ncf_16_32_4_edau.2FAIL600.99
ncf_16_32_8_u.9FAIL600.99
ncf_16_32_8_edau.5FAIL600.99
k_lin_p-20FAIL600.99
robots_1_5_3_2.4FAIL600.99
4qbf-5cnf-160var-640cl.8FAIL600.99
k_grz_n-20FAIL600.99
4qbf-5cnf-160var-640cl.7FAIL600.99
ncf_4_16_8_d.1FAIL600.99
BLOCKS3i.5.3FAIL600.99
ncf_16_32_2_edau.8FAIL600.99
4qbf-5cnf-40var-320cl.5FAIL600.99
ncf_16_32_4_euad.8FAIL600.99
robots_1_5_4_100.4FAIL600.99
Adder2-8-sFAIL600.99
ncf_4_16_4_edau.3FAIL600.99
ncf_16_32_8_d.1FAIL600.99
2qbf-5cnf-80var-640cl.2FAIL600.99
1qbf-5cnf-80var-2560cl.7FAIL600.99
x100.2FAIL600.99
x100.3FAIL600.99
x100.8FAIL600.99
x105.0FAIL600.99
x105.8FAIL600.99
x110.2FAIL600.99
x110.6FAIL600.99
x120.1FAIL600.99
x120.2FAIL600.99
x120.6FAIL600.99
x120.8FAIL600.99
x125.2FAIL600.99
x125.4FAIL600.99
x125.6FAIL600.99
x130.1FAIL600.99
x130.4FAIL600.99
x130.7FAIL600.99
x130.8FAIL600.99
x135.0FAIL600.99
x135.2FAIL600.99
x140.4FAIL600.99
x140.6FAIL600.99
x145.1FAIL600.99
x145.2FAIL600.99
x145.3FAIL600.99
x150.1FAIL600.99
x150.2FAIL600.99
x150.6FAIL600.99
x45.3FAIL600.99
x45.7FAIL600.99
x50.2FAIL600.99
x50.5FAIL600.99
x50.8FAIL600.99
x55.0FAIL600.99
x55.1FAIL600.99
x65.2FAIL600.99
x65.5FAIL600.99
x65.8FAIL600.99
x70.0FAIL600.99
x70.2FAIL600.99
x70.3FAIL600.99
x70.4FAIL600.99
x70.5FAIL600.99
x70.6FAIL600.99
x75.4FAIL600.99
x75.7FAIL600.99
x80.2FAIL600.99
x80.6FAIL600.99
x80.8FAIL600.99
x85.3FAIL600.99
x85.5FAIL600.99
x90.7FAIL600.99
x90.8FAIL600.99
x95.8FAIL600.99
cmu.dme1.B-f2FAIL600.99
cmu.dme2.B-f2FAIL600.99
cmu.gigamax.B-f2FAIL600.99
eijk.S526.S-f2FAIL600.99
eijk.S641.S-f2FAIL600.99
nusmv.brp.B-f2FAIL600.99
nusmv.reactor^2.C-f2FAIL600.99
nusmv.reactor^3.C-f2FAIL600.99
texas.PI_main^01.E-f2FAIL600.99
texas.two_proc^2.E-f2FAIL600.99
texas.two_proc^3.E-f2FAIL600.99
vis.4-arbit^1.E-f2FAIL600.99
sortnetsort6.AE.stepl.004FAIL600.99
sortnetsort6.AE.stepl.007FAIL600.99
sortnetsort7.AE.stepl.003FAIL600.99
sortnetsort7.AE.stepl.007FAIL600.99
sortnetsort7.AE.stepl.009FAIL600.99
sortnetsort7.v.stepl.008FAIL600.99
sortnetsort7.v.stepl.009FAIL600.99
sortnetsort8.AE.stepl.003FAIL600.99
sortnetsort8.AE.stepl.005FAIL600.99
sortnetsort8.AE.stepl.006FAIL600.99
sortnetsort8.v.stepl.005FAIL600.99
sortnetsort9.AE.stepl.005FAIL600.99
sortnetsort9.v.stepl.009FAIL600.99
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL600.99
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600.99
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600.99
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL600.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600.99
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL600.99
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600.99
ncf_4_16_8_u.8FAIL601
adder-4-satFAIL601
2qbf-5cnf-160var-320cl.2FAIL601
adder-10-satFAIL601
ncf_16_32_4_edau.1FAIL601
k_grz_p-16FAIL601
ncf_16_32_4_u.2FAIL601
ncf_16_32_4_u.7FAIL601
ncf_4_32_2_edau.1FAIL601
ncf_4_16_8_u.6FAIL601
k_path_p-16FAIL601
ncf_16_32_8_d.2FAIL601
2qbf-5cnf-80var-640cl.6FAIL601
6qbf-5cnf-80var-640cl.8FAIL601
ncf_16_32_8_euad.7FAIL601
4qbf-5cnf-40var-320cl.2FAIL601
BLOCKS4i.6.4FAIL601
ncf_16_32_8_u.1FAIL601
k_d4_p-20FAIL601
ncf_16_32_2_d.1FAIL601
BLOCKS3i.5.4FAIL601
ncf_8_16_8_euad.10FAIL601
ncf_4_16_8_u.3FAIL601
ncf_16_32_4_euad.2FAIL601
ncf_16_32_4_d.4FAIL601
4qbf-5cnf-160var-640cl.4FAIL601
k_d4_n-21FAIL601
szymanski-10-sFAIL601
k_t4p_n-21FAIL601
s27_d5_uFAIL601
ncf_16_32_8_d.7FAIL601
robots_1_5_2_85.4FAIL601
s386_d2_sFAIL601
2qbf-5cnf-40var-160cl.3FAIL601
test5_quant7FAIL601
BLOCKS4ii.7.2FAIL601
2qbf-5cnf-80var-320cl.0FAIL601
adder-16-satFAIL601
ncf_16_32_2_edau.5FAIL601
mutex-32-sFAIL601
2qbf-5cnf-80var-320cl.5FAIL601
k_d4_n-16FAIL601
ncf_16_32_4_d.1FAIL601
ncf_8_16_8_edau.3FAIL601
ncf_4_16_8_euad.3FAIL601
ncf_4_32_2_u.4FAIL601
s820_d2_sFAIL601
4qbf-5cnf-40var-320cl.4FAIL601
ncf_16_32_8_edau.7FAIL601
s510_d2_sFAIL601
k_d4_n-12FAIL601
ncf_4_32_2_u.3FAIL601
4qbf-5cnf-160var-640cl.0FAIL601
k_d4_n-8FAIL601
4qbf-5cnf-80var-320cl.2FAIL601
C432.blif_0.10_0.20_0_0_out_exactFAIL601
ncf_4_16_8_euad.5FAIL601
BLOCKS4iii.7FAIL601
k_t4p_n-8FAIL601
k_lin_p-16FAIL601
4qbf-5cnf-40var-320cl.1FAIL601
k_t4p_n-12FAIL601
k_d4_p-21FAIL601
2qbf-5cnf-160var-320cl.9FAIL601
Adder2-6-sFAIL601
k_lin_p-8FAIL601
k_t4p_p-8FAIL601
k_t4p_n-20FAIL601
2qbf-5cnf-80var-320cl.7FAIL601
ncf_8_16_8_edau.10FAIL601
ncf_16_32_2_u.8FAIL601
BLOCKS3i.4.4FAIL601
ncf_16_32_8_d.8FAIL601
counter_e_8FAIL601
2qbf-5cnf-80var-320cl.8FAIL601
C5315.blif_0.10_1.00_0_0_inp_exactFAIL601
test3_quant4FAIL601
k_grz_n-12FAIL601
ncf_16_32_8_euad.2FAIL601
robots_1_5_3_78.4FAIL601
counter_re_8FAIL601
2qbf-5cnf-160var-320cl.3FAIL601
robots_1_5_2_80.4FAIL601
mutex-16-sFAIL601
2qbf-5cnf-160var-320cl.1FAIL601
k_t4p_p-20FAIL601
k_t4p_n-16FAIL601
ncf_8_16_8_d.10FAIL601
ncf_16_32_2_euad.8FAIL601
6qbf-5cnf-80var-640cl.6FAIL601
k_t4p_p-12FAIL601
ncf_16_32_4_d.6FAIL601
6qbf-5cnf-80var-640cl.9FAIL601
2qbf-5cnf-40var-160cl.0FAIL601
ncf_4_32_2_u.1FAIL601
s499_d4_sFAIL601
C5315.blif_0.10_1.00_0_1_inp_exactFAIL601
robots_1_5_2_3.4FAIL601
robots_1_5_5_93.4FAIL601
test3_quant_squaring2FAIL601
ncf_16_32_2_d.5FAIL601
ncf_16_32_2_euad.1FAIL601
Adder2-8-cFAIL601
4qbf-5cnf-160var-640cl.3FAIL601
s298_d4_sFAIL601
4qbf-5cnf-160var-640cl.5FAIL601
2qbf-5cnf-40var-160cl.8FAIL601
ncf_16_32_8_euad.6FAIL601
ncf_16_32_2_euad.3FAIL601
szymanski-8-sFAIL601
test5_quant_squaring5FAIL601
counter_r_8FAIL601
k_path_p-20FAIL601
adder-12-satFAIL601
6qbf-5cnf-80var-640cl.7FAIL601
test5_quant_squaring4FAIL601
s499_d2_sFAIL601
k_path_p-21FAIL601
4qbf-5cnf-160var-640cl.6FAIL601
k_ph_p-8FAIL601
ncf_16_32_2_edau.1FAIL601
2qbf-5cnf-40var-160cl.4FAIL601
ncf_16_32_8_d.5FAIL601
ncf_16_32_4_euad.7FAIL601
ncf_16_32_4_u.1FAIL601
k_ph_n-12FAIL601
ncf_16_32_2_d.3FAIL601
ncf_8_16_8_edau.2FAIL601
6qbf-5cnf-80var-640cl.4FAIL601
k_path_n-20FAIL601
k_grz_p-20FAIL601
ncf_16_32_2_d.8FAIL601
ncf_16_32_2_d.4FAIL601
ncf_16_32_8_d.6FAIL601
robots_1_5_4_87.4FAIL601
ncf_16_32_4_euad.5FAIL601
k_path_n-21FAIL601
5qbf-5cnf-160var-2560cl.3FAIL601
Adder2-6-cFAIL601
4qbf-5cnf-160var-640cl.1FAIL601
k_grz_n-21FAIL601
k_path_n-16FAIL601
2qbf-5cnf-80var-320cl.3FAIL601
s298_d2_sFAIL601
ncf_16_32_4_d.2FAIL601
4qbf-5cnf-160var-640cl.2FAIL601
robots_1_5_4_50.4FAIL601
ncf_16_32_8_d.10FAIL601
ev-pr-4x4-15-3-0-0-1-lgFAIL601
ncf_16_32_4_euad.1FAIL601
ncf_4_16_8_u.5FAIL601
robots_1_5_5_12.4FAIL601
TOILET16.1.iv.32FAIL601
ncf_16_32_4_edau.6FAIL601
ncf_4_16_8_u.1FAIL601
ncf_16_32_8_edau.2FAIL601
k_lin_p-21FAIL601
robots_1_5_2_2.4FAIL601
C499.blif_0.10_1.00_0_0_inp_exactFAIL601
1qbf-5cnf-80var-2560cl.4FAIL601
1qbf-5cnf-160var-2560cl.7FAIL601
1qbf-5cnf-80var-2560cl.8FAIL601
x100.1FAIL601
x100.4FAIL601
x100.6FAIL601
x100.7FAIL601
x105.1FAIL601
x105.4FAIL601
x105.5FAIL601
x105.6FAIL601
x105.7FAIL601
x105.9FAIL601
x110.1FAIL601
x110.8FAIL601
x110.9FAIL601
x115.0FAIL601
x115.1FAIL601
x115.3FAIL601
x115.4FAIL601
x115.5FAIL601
x115.6FAIL601
x115.7FAIL601
x115.9FAIL601
x120.0FAIL601
x120.3FAIL601
x120.4FAIL601
x120.7FAIL601
x125.1FAIL601
x125.5FAIL601
x125.7FAIL601
x125.8FAIL601
x130.0FAIL601
x130.3FAIL601
x130.5FAIL601
x130.6FAIL601
x135.3FAIL601
x135.4FAIL601
x135.6FAIL601
x135.8FAIL601
x140.0FAIL601
x140.3FAIL601
x140.8FAIL601
x145.0FAIL601
x145.4FAIL601
x145.5FAIL601
x145.6FAIL601
x150.3FAIL601
x150.7FAIL601
x150.8FAIL601
x40.7FAIL601
x45.1FAIL601
x45.5FAIL601
x50.1FAIL601
x50.3FAIL601
x50.6FAIL601
x50.9FAIL601
x55.2FAIL601
x55.5FAIL601
x55.7FAIL601
x55.9FAIL601
x60.0FAIL601
x60.2FAIL601
x60.5FAIL601
x60.6FAIL601
x60.7FAIL601
x60.8FAIL601
x60.9FAIL601
x65.0FAIL601
x65.1FAIL601
x65.3FAIL601
x75.0FAIL601
x75.2FAIL601
x75.3FAIL601
x75.5FAIL601
x75.6FAIL601
x75.8FAIL601
x80.0FAIL601
x80.1FAIL601
x80.3FAIL601
x80.4FAIL601
x80.5FAIL601
x80.7FAIL601
x80.9FAIL601
x85.2FAIL601
x85.4FAIL601
x85.6FAIL601
x85.7FAIL601
x90.0FAIL601
x90.3FAIL601
x90.4FAIL601
x90.5FAIL601
x90.6FAIL601
x90.9FAIL601
x95.0FAIL601
x95.1FAIL601
x95.3FAIL601
x95.4FAIL601
x95.5FAIL601
x95.6FAIL601
x95.9FAIL601
eijk.bs1512.S-f2FAIL601
eijk.S208c.S-f2FAIL601
eijk.S208.S-f2FAIL601
eijk.S349.S-f2FAIL601
eijk.S382.S-f2FAIL601
eijk.S386.S-f2FAIL601
eijk.S420.S-f2FAIL601
eijk.S444.S-f2FAIL601
eijk.S510.S-f2FAIL601
eijk.S713.S-f2FAIL601
eijk.S820.S-f2FAIL601
eijk.S832.S-f2FAIL601
eijk.S838.S-f2FAIL601
eijk.S953.S-f2FAIL601
irst.dme4.B-f2FAIL601
irst.dme5.B-f2FAIL601
irst.dme6.B-f2FAIL601
ken.oop^1.C-f2FAIL601
ken.oop^2.C-f2FAIL601
nusmv.reactor^4.C-f2FAIL601
nusmv.reactor^6.C-f2FAIL601
nusmv.reactor^7.C-f2FAIL601
nusmv.syncarb10^2.B-f2FAIL601
texas.ifetch1^5.E-f2FAIL601
texas.ifetch1^7.E-f2FAIL601
texas.ifetch1^8.E-f2FAIL601
texas.ifetch1^9.E-f2FAIL601
texas.parsesys^2.E-f2FAIL601
texas.PI_main^02.E-f2FAIL601
texas.PI_main^10.E-f2FAIL601
texas.PI_main^11.E-f2FAIL601
texas.PI_main^12.E-f2FAIL601
texas.PI_main^16.E-f2FAIL601
texas.two_proc^4.E-f2FAIL601
texas.two_proc^5.E-f2FAIL601
texas.two_proc^6.E-f2FAIL601
vis.4-arbit^2.E-f2FAIL601
vis.coherence^1.E-f2FAIL601
vis.coherence^2.E-f2FAIL601
vis.coherence^3.E-f2FAIL601
vis.coherence^5.E-f2FAIL601
vis.elevator^2.E-f2FAIL601
vis.elevator^3.E-f2FAIL601
sortnetsort10.v.stepl.004FAIL601
sortnetsort10.v.stepl.005FAIL601
sortnetsort10.v.stepl.007FAIL601
sortnetsort10.v.stepl.008FAIL601
sortnetsort10.v.stepl.009FAIL601
sortnetsort10.v.stepl.010FAIL601
sortnetsort10.v.stepl.011FAIL601
sortnetsort10.v.stepl.012FAIL601
sortnetsort5.AE.stepl.007FAIL601
sortnetsort6.AE.stepl.003FAIL601
sortnetsort6.AE.stepl.005FAIL601
sortnetsort6.AE.stepl.006FAIL601
sortnetsort6.v.stepl.007FAIL601
sortnetsort7.AE.stepl.004FAIL601
sortnetsort7.AE.stepl.005FAIL601
sortnetsort7.AE.stepl.006FAIL601
sortnetsort7.v.stepl.004FAIL601
sortnetsort7.v.stepl.005FAIL601
sortnetsort8.AE.stepl.004FAIL601
sortnetsort8.v.stepl.004FAIL601
sortnetsort8.v.stepl.006FAIL601
sortnetsort8.v.stepl.007FAIL601
sortnetsort8.v.stepl.008FAIL601
sortnetsort9.AE.stepl.004FAIL601
sortnetsort9.v.stepl.004FAIL601
sortnetsort9.v.stepl.005FAIL601
sortnetsort9.v.stepl.007FAIL601
sortnetsort9.v.stepl.008FAIL601
sortnetsort9.v.stepl.010FAIL601
sortnetsort9.v.stepl.011FAIL601
sortnetsort9.v.stepl.012FAIL601
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL601
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL601
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL601
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL601
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL601
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL601
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL601
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL601
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL601
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL601
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL601
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL601
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL601
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL601
ncf_16_32_2_u.5FAIL601.01
6qbf-5cnf-40var-320cl.6FAIL601.01
4qbf-5cnf-160var-640cl.9FAIL601.01
ncf_16_32_8_edau.8FAIL601.01
ncf_16_32_4_u.5FAIL601.01
ncf_4_16_8_d.3FAIL601.01
ncf_4_16_8_u.2FAIL601.01
ncf_16_32_8_edau.6FAIL601.01
ncf_16_32_8_euad.5FAIL601.01
ncf_16_32_8_d.9FAIL601.01
ncf_4_32_2_edau.3FAIL601.01
ncf_8_16_8_euad.4FAIL601.01
ncf_16_32_2_euad.6FAIL601.01
2qbf-5cnf-160var-320cl.7FAIL601.01
ncf_16_32_4_u.8FAIL601.01
ncf_16_32_4_u.6FAIL601.01
robots_1_5_2_82.4FAIL601.01
ncf_16_32_8_u.7FAIL601.01
ncf_16_32_2_euad.10FAIL601.01
robots_1_5_4_46.4FAIL601.01
robots_1_5_4_98.4FAIL601.01
ncf_16_32_8_u.2FAIL601.01
robots_1_5_5_45.4FAIL601.01
ncf_16_32_2_euad.5FAIL601.01
ncf_16_32_4_euad.4FAIL601.01
2qbf-5cnf-160var-320cl.4FAIL601.01
2qbf-5cnf-80var-320cl.9FAIL601.01
2qbf-5cnf-160var-320cl.6FAIL601.01
6qbf-5cnf-40var-320cl.1FAIL601.01
ncf_16_32_4_u.4FAIL601.01
ncf_8_16_8_d.3FAIL601.01
ncf_16_32_8_d.4FAIL601.01
ncf_4_32_2_u.5FAIL601.01
ncf_16_32_8_edau.10FAIL601.01
ncf_16_32_8_u.5FAIL601.01
ncf_16_32_4_d.3FAIL601.01
1qbf-5cnf-80var-2560cl.6FAIL601.01
x100.5FAIL601.01
x100.9FAIL601.01
x105.3FAIL601.01
x110.3FAIL601.01
x125.9FAIL601.01
x135.5FAIL601.01
x135.7FAIL601.01
x140.1FAIL601.01
x140.2FAIL601.01
x140.5FAIL601.01
x140.9FAIL601.01
x145.7FAIL601.01
x145.9FAIL601.01
x150.0FAIL601.01
x150.9FAIL601.01
x55.6FAIL601.01
x55.8FAIL601.01
x60.1FAIL601.01
x60.3FAIL601.01
x65.6FAIL601.01
x70.1FAIL601.01
x70.8FAIL601.01
x70.9FAIL601.01
x85.8FAIL601.01
x90.1FAIL601.01
x90.2FAIL601.01