Instances solved by SQBF
QBFEVAL'06

InstanceResultTime
ncf_8_16_4_d.1SAT0
ncf_4_8_2_euad.8SAT0
ncf_4_8_2_u.7UNSAT0
ncf_4_16_2_d.2SAT0
5qbf-5cnf-160var-640cl.8SAT0
ncf_4_8_4_euad.9SAT0
ncf_8_16_4_euad.1SAT0
ncf_8_16_4_d.10SAT0
k_poly_n-4SAT0
3qbf-5cnf-80var-2560cl.6UNSAT0
3qbf-5cnf-80var-2560cl.0UNSAT0
ncf_8_16_4_u.2UNSAT0
ncf_16_32_2_u.9UNSAT0
5qbf-5cnf-20var-640cl.1UNSAT0
5qbf-5cnf-40var-1280cl.9UNSAT0
ncf_4_16_2_edau.2SAT0
5qbf-5cnf-20var-640cl.0UNSAT0
5qbf-5cnf-80var-2560cl.7UNSAT0
tree-exa2-50UNSAT0
5qbf-5cnf-160var-640cl.6SAT0
5qbf-5cnf-80var-2560cl.5UNSAT0
ncf_8_16_4_u.1SAT0
ncf_16_32_2_d.6SAT0
5qbf-5cnf-40var-1280cl.4UNSAT0
5qbf-5cnf-40var-1280cl.1UNSAT0
ncf_8_16_4_d.6UNSAT0
3qbf-5cnf-80var-2560cl.2UNSAT0
ncf_8_16_4_edau.6UNSAT0
6qbf-5cnf-160var-640cl.5SAT0
ncf_4_8_2_euad.7UNSAT0
ncf_8_16_4_euad.2UNSAT0
comp.blif_0.10_1.00_0_0_out_exactUNSAT0
ncf_8_16_4_edau.8UNSAT0
ncf_4_8_4_u.2UNSAT0
4qbf-5cnf-40var-1280cl.1UNSAT0
x5.0SAT0
x5.5UNSAT0
x5.6UNSAT0
x5.8UNSAT0
cmu.dme2.B-d2SAT0
eijk.S208.S-d2SAT0
eijk.S953.S-d2SAT0
texas.parsesys^1.E-d2SAT0
vis.eisenberg.E-d2SAT0
Qq2k1k4v40v40m2s0SAT0
Qq2k1k4v40v40m2s2SAT0
Qq2k1k4v40v40m2s4SAT0
Qq2k1k4v40v40m2s6SAT0
Qq2k1k4v40v40m2s8SAT0
Qq2k1k4v40v40m4s0SAT0
Qq2k1k4v40v40m4s1SAT0
Qq2k1k4v40v40m4s2UNSAT0
Qq2k1k4v40v40m4s4SAT0
Qq2k1k4v40v40m4s5SAT0
Qq2k1k4v40v40m4s8SAT0
Qq2k1k4v40v40m8s0SAT0
Qq2k1k4v40v40m8s2UNSAT0
Qq2k1k4v40v40m8s3SAT0
Qq2k1k4v40v40m8s4SAT0
Qq2k1k4v40v40m8s5SAT0
Qq2k1k4v40v40m8s6UNSAT0
Qq2k1k4v40v40m8s7SAT0
Qq2k1k4v40v40m16s2UNSAT0
Qq2k1k4v40v40m16s4SAT0
Qq2k1k4v40v40m16s7SAT0
Qq2k1k4v40v40m32s0UNSAT0
Qq2k1k4v40v40m32s1UNSAT0
Qq2k1k4v40v40m32s2UNSAT0
Qq2k1k4v40v40m32s3UNSAT0
Qq2k1k4v40v40m32s7UNSAT0
Qq2k1k4v40v40m32s8UNSAT0
Qq2k1k4v40v40m32s9UNSAT0
Qq2k1k4v80v80m2s1SAT0
Qq2k1k4v80v80m2s2SAT0
Qq2k1k4v80v80m2s3SAT0
Qq2k1k4v80v80m2s7SAT0
Qq2k1k4v80v80m4s5SAT0
Qq2k1k4v80v80m4s6SAT0
Qq2k1k4v80v80m4s7SAT0
Qq2k1k4v80v80m4s8SAT0
Qq2k1k4v80v80m4s9SAT0
Qq2k1k4v80v80m8s3SAT0
Qq2k1k4v80v80m8s5SAT0
Qq2k1k4v80v80m8s6SAT0
Qq2k1k4v80v80m8s7SAT0
Qq2k1k4v80v80m8s9SAT0
Qq2k1k4v80v80m16s0UNSAT0
Qq2k1k4v80v80m16s1SAT0
Qq2k1k4v80v80m16s2SAT0
Qq2k1k4v80v80m16s3UNSAT0
Qq2k1k4v80v80m16s5SAT0
Qq2k1k4v80v80m16s6SAT0
Qq2k1k4v80v80m16s7SAT0
Qq2k1k4v80v80m16s8UNSAT0
Qq2k1k4v80v80m32s2UNSAT0
Qq2k1k4v80v80m32s6UNSAT0
Qq2k1k4v80v80m32s7SAT0
Qq2k1k4v80v80m32s9UNSAT0
Qq2k2k3v40v40m2s0SAT0
Qq2k2k3v40v40m2s5SAT0
Qq2k2k3v40v40m2s7SAT0
Qq2k2k3v40v40m2s8SAT0
Qq2k2k3v40v40m2s9SAT0
Qq2k2k3v40v40m4s1SAT0
Qq2k2k3v40v40m4s2SAT0
Qq2k2k3v40v40m4s4SAT0
Qq2k2k3v40v40m4s5SAT0
Qq2k2k3v40v40m4s6SAT0
Qq2k2k3v40v40m4s7SAT0
Qq2k2k3v40v40m4s8SAT0
Qq2k2k3v40v40m4s9SAT0
Qq2k2k3v40v40m8s0SAT0
Qq2k2k3v40v40m8s1SAT0
Qq2k2k3v40v40m8s2SAT0
Qq2k2k3v40v40m8s4SAT0
Qq2k2k3v40v40m8s5SAT0
Qq2k2k3v40v40m8s8SAT0
Qq2k2k3v40v40m8s9SAT0
Qq2k2k3v40v40m16s1SAT0
Qq2k2k3v40v40m16s2SAT0
Qq2k2k3v40v40m16s3SAT0
Qq2k2k3v40v40m16s4SAT0
Qq2k2k3v40v40m16s6SAT0
Qq2k2k3v40v40m16s9SAT0
Qq2k2k3v40v40m32s0SAT0
Qq2k2k3v40v40m32s1SAT0
Qq2k2k3v40v40m32s4SAT0
Qq2k2k3v40v40m32s6SAT0
Qq2k2k3v40v40m32s9SAT0
Qq2k2k3v80v80m2s1SAT0
Qq2k2k3v80v80m2s3SAT0
Qq2k2k3v80v80m2s4SAT0
Qq2k2k3v80v80m2s5SAT0
Qq2k2k3v80v80m2s7SAT0
Qq2k2k3v80v80m2s8SAT0
Qq2k2k3v80v80m4s0SAT0
Qq2k2k3v80v80m4s2SAT0
Qq2k2k3v80v80m4s6SAT0
Qq2k2k3v80v80m8s0SAT0
Qq2k2k3v80v80m8s1SAT0
Qq2k2k3v80v80m8s2SAT0
Qq2k2k3v80v80m8s3SAT0
Qq2k2k3v80v80m8s4SAT0
Qq2k2k3v80v80m8s6SAT0
Qq2k2k3v80v80m8s7SAT0
Qq2k2k3v80v80m16s0SAT0
Qq2k2k3v80v80m16s1SAT0
Qq2k2k3v80v80m16s2SAT0
Qq2k2k3v80v80m16s6SAT0
Qq2k2k3v80v80m16s8SAT0
Qq2k2k3v80v80m16s9SAT0
Qq2k2k3v80v80m32s2SAT0
Qq2k2k3v80v80m32s3SAT0
Qq2k2k3v80v80m32s5SAT0
Qq2k2k3v80v80m32s6SAT0
Qq2k2k3v80v80m32s8SAT0
Qq2k3k2v40v40m2s0SAT0
Qq2k3k2v40v40m2s3SAT0
Qq2k3k2v40v40m2s4SAT0
Qq2k3k2v40v40m2s5SAT0
Qq2k3k2v40v40m2s6SAT0
Qq2k3k2v40v40m2s9SAT0
Qq2k3k2v40v40m4s1SAT0
Qq2k3k2v40v40m4s2SAT0
Qq2k3k2v40v40m4s5SAT0
Qq2k3k2v40v40m4s7SAT0
Qq2k3k2v40v40m4s8SAT0
Qq2k3k2v40v40m4s9SAT0
Qq2k3k2v40v40m8s3SAT0
Qq2k3k2v40v40m8s6SAT0
Qq2k3k2v40v40m8s7SAT0
Qq2k3k2v40v40m8s8SAT0
Qq2k3k2v40v40m8s9SAT0
Qq2k3k2v40v40m16s1SAT0
Qq2k3k2v40v40m16s2SAT0
Qq2k3k2v40v40m16s4SAT0
Qq2k3k2v40v40m16s5SAT0
Qq2k3k2v40v40m16s6SAT0
Qq2k3k2v40v40m16s7SAT0
Qq2k3k2v40v40m16s8SAT0
Qq2k3k2v40v40m16s9SAT0
Qq2k3k2v40v40m32s0SAT0
Qq2k3k2v40v40m32s4SAT0
Qq2k3k2v40v40m32s5SAT0
Qq2k3k2v40v40m32s6SAT0
Qq2k3k2v80v80m2s0SAT0
Qq2k3k2v80v80m2s1SAT0
Qq2k3k2v80v80m2s3SAT0
Qq2k3k2v80v80m2s5SAT0
Qq2k3k2v80v80m2s6SAT0
Qq2k3k2v80v80m2s8SAT0
Qq2k3k2v80v80m2s9SAT0
Qq2k3k2v80v80m4s1SAT0
Qq2k3k2v80v80m4s2SAT0
Qq2k3k2v80v80m4s4SAT0
Qq2k3k2v80v80m4s7SAT0
Qq2k3k2v80v80m4s8SAT0
Qq2k3k2v80v80m4s9SAT0
Qq2k3k2v80v80m8s0SAT0
Qq2k3k2v80v80m8s1SAT0
Qq2k3k2v80v80m8s2SAT0
Qq2k3k2v80v80m8s3SAT0
Qq2k3k2v80v80m8s5SAT0
Qq2k3k2v80v80m8s6SAT0
Qq2k3k2v80v80m8s7SAT0
Qq2k3k2v80v80m8s9SAT0
Qq2k3k2v80v80m16s2SAT0
Qq2k3k2v80v80m16s4SAT0
Qq2k3k2v80v80m16s5SAT0
Qq2k3k2v80v80m16s6SAT0
Qq2k3k2v80v80m16s8SAT0
Qq2k3k2v80v80m16s9SAT0
Qq2k3k2v80v80m32s0SAT0
Qq2k3k2v80v80m32s1SAT0
Qq2k3k2v80v80m32s6SAT0
Qq2k3k2v80v80m32s7SAT0
Qq3k1k1k3v40v40v40m2s1SAT0
Qq3k1k1k3v40v40v40m2s4SAT0
Qq3k1k1k3v40v40v40m2s5SAT0
Qq3k1k1k3v40v40v40m2s7SAT0
Qq3k1k1k3v40v40v40m4s0SAT0
Qq3k1k1k3v40v40v40m4s1SAT0
Qq3k1k1k3v40v40v40m4s3SAT0
Qq3k1k1k3v40v40v40m4s6SAT0
Qq3k1k1k3v40v40v40m4s7SAT0
Qq3k1k1k3v40v40v40m4s8SAT0
Qq3k1k1k3v40v40v40m8s1SAT0
Qq3k1k1k3v40v40v40m8s2SAT0
Qq3k1k1k3v40v40v40m8s3SAT0
Qq3k1k1k3v40v40v40m8s5SAT0
Qq3k1k1k3v40v40v40m8s6SAT0
Qq3k1k1k3v40v40v40m8s7SAT0
Qq3k1k1k3v40v40v40m16s0SAT0
Qq3k1k1k3v40v40v40m16s1SAT0
Qq3k1k1k3v40v40v40m16s2SAT0
Qq3k1k1k3v40v40v40m16s8SAT0
Qq3k1k1k3v40v40v40m16s9SAT0
Qq3k1k1k3v40v40v40m32s0SAT0
Qq3k1k1k3v40v40v40m32s1SAT0
Qq3k1k1k3v40v40v40m32s2SAT0
Qq3k1k1k3v40v40v40m32s4SAT0
Qq3k1k1k3v80v80v80m2s0SAT0
Qq3k1k1k3v80v80v80m2s1SAT0
Qq3k1k1k3v80v80v80m2s2SAT0
Qq3k1k1k3v80v80v80m2s3SAT0
Qq3k1k1k3v80v80v80m2s5SAT0
Qq3k1k1k3v80v80v80m2s6SAT0
Qq3k1k1k3v80v80v80m2s8SAT0
Qq3k1k1k3v80v80v80m2s9SAT0
Qq3k1k1k3v80v80v80m4s2SAT0
Qq3k1k1k3v80v80v80m4s3SAT0
Qq3k1k1k3v80v80v80m4s4SAT0
Qq3k1k1k3v80v80v80m4s5SAT0
Qq3k1k1k3v80v80v80m4s6SAT0
Qq3k1k1k3v80v80v80m4s7SAT0
Qq3k1k1k3v80v80v80m4s8SAT0
Qq3k1k1k3v80v80v80m4s9SAT0
Qq3k1k1k3v80v80v80m8s1SAT0
Qq3k1k1k3v80v80v80m8s3SAT0
Qq3k1k1k3v80v80v80m8s7SAT0
Qq3k1k1k3v80v80v80m16s2SAT0
Qq3k1k1k3v80v80v80m16s5SAT0
Qq3k1k1k3v80v80v80m16s6SAT0
Qq3k1k1k3v80v80v80m16s7SAT0
Qq3k1k1k3v80v80v80m16s8SAT0
Qq3k1k1k3v80v80v80m32s0SAT0
Qq3k1k1k3v80v80v80m32s1SAT0
Qq3k1k1k3v80v80v80m32s3SAT0
Qq3k1k1k3v80v80v80m32s4SAT0
Qq3k1k1k3v80v80v80m32s5SAT0
Qq3k1k1k3v80v80v80m32s6SAT0
Qq3k1k2k2v40v40v40m2s0SAT0
Qq3k1k2k2v40v40v40m2s2SAT0
Qq3k1k2k2v40v40v40m2s4SAT0
Qq3k1k2k2v40v40v40m2s5SAT0
Qq3k1k2k2v40v40v40m2s6SAT0
Qq3k1k2k2v40v40v40m2s7SAT0
Qq3k1k2k2v40v40v40m2s8SAT0
Qq3k1k2k2v40v40v40m2s9SAT0
Qq3k1k2k2v40v40v40m4s0SAT0
Qq3k1k2k2v40v40v40m4s2SAT0
Qq3k1k2k2v40v40v40m4s4SAT0
Qq3k1k2k2v40v40v40m4s5SAT0
Qq3k1k2k2v40v40v40m4s7SAT0
Qq3k1k2k2v40v40v40m8s1SAT0
Qq3k1k2k2v40v40v40m8s4SAT0
Qq3k1k2k2v40v40v40m16s0SAT0
Qq3k1k2k2v40v40v40m16s1SAT0
Qq3k1k2k2v40v40v40m16s2SAT0
Qq3k1k2k2v40v40v40m16s4SAT0
Qq3k1k2k2v40v40v40m16s6SAT0
Qq3k1k2k2v40v40v40m16s7SAT0
Qq3k1k2k2v40v40v40m32s1SAT0
Qq3k1k2k2v40v40v40m32s3SAT0
Qq3k1k2k2v40v40v40m32s4SAT0
Qq3k1k2k2v40v40v40m32s5SAT0
Qq3k1k2k2v40v40v40m32s6SAT0
Qq3k1k2k2v40v40v40m32s7SAT0
Qq3k1k2k2v40v40v40m32s8SAT0
Qq3k1k2k2v40v40v40m32s9SAT0
Qq3k1k2k2v80v80v80m2s1SAT0
Qq3k1k2k2v80v80v80m2s2SAT0
Qq3k1k2k2v80v80v80m2s3SAT0
Qq3k1k2k2v80v80v80m2s4SAT0
Qq3k1k2k2v80v80v80m2s7SAT0
Qq3k1k2k2v80v80v80m4s1SAT0
Qq3k1k2k2v80v80v80m4s2SAT0
Qq3k1k2k2v80v80v80m4s3SAT0
Qq3k1k2k2v80v80v80m4s4SAT0
Qq3k1k2k2v80v80v80m4s6SAT0
Qq3k1k2k2v80v80v80m4s7SAT0
Qq3k1k2k2v80v80v80m4s8SAT0
Qq3k1k2k2v80v80v80m4s9SAT0
Qq3k1k2k2v80v80v80m8s5SAT0
Qq3k1k2k2v80v80v80m8s6SAT0
Qq3k1k2k2v80v80v80m8s8SAT0
Qq3k1k2k2v80v80v80m8s9SAT0
Qq3k1k2k2v80v80v80m16s0SAT0
Qq3k1k2k2v80v80v80m16s1SAT0
Qq3k1k2k2v80v80v80m16s2SAT0
Qq3k1k2k2v80v80v80m16s3SAT0
Qq3k1k2k2v80v80v80m16s8SAT0
Qq3k1k2k2v80v80v80m32s0SAT0
Qq3k1k2k2v80v80v80m32s3SAT0
Qq3k1k2k2v80v80v80m32s4SAT0
Qq3k1k2k2v80v80v80m32s5SAT0
Qq3k1k2k2v80v80v80m32s7SAT0
Qq3k1k2k2v80v80v80m32s9SAT0
Qq3k1k3k1v40v40v40m2s0SAT0
Qq3k1k3k1v40v40v40m2s1SAT0
Qq3k1k3k1v40v40v40m2s7SAT0
Qq3k1k3k1v40v40v40m2s9SAT0
Qq3k1k3k1v40v40v40m4s0SAT0
Qq3k1k3k1v40v40v40m4s5SAT0
Qq3k1k3k1v40v40v40m4s6SAT0
Qq3k1k3k1v40v40v40m4s7SAT0
Qq3k1k3k1v40v40v40m8s0SAT0
Qq3k1k3k1v40v40v40m8s1SAT0
Qq3k1k3k1v40v40v40m8s2SAT0
Qq3k1k3k1v40v40v40m8s4SAT0
Qq3k1k3k1v40v40v40m8s5SAT0
Qq3k1k3k1v40v40v40m8s6SAT0
Qq3k1k3k1v40v40v40m8s8SAT0
Qq3k1k3k1v40v40v40m16s0SAT0
Qq3k1k3k1v40v40v40m16s1SAT0
Qq3k1k3k1v40v40v40m16s2SAT0
Qq3k1k3k1v40v40v40m16s3SAT0
Qq3k1k3k1v40v40v40m16s5SAT0
Qq3k1k3k1v40v40v40m16s6SAT0
Qq3k1k3k1v40v40v40m16s8SAT0
Qq3k1k3k1v40v40v40m16s9SAT0
Qq3k1k3k1v40v40v40m32s1SAT0
Qq3k1k3k1v40v40v40m32s8SAT0
Qq3k1k3k1v80v80v80m2s0SAT0
Qq3k1k3k1v80v80v80m2s1SAT0
Qq3k1k3k1v80v80v80m2s2SAT0
Qq3k1k3k1v80v80v80m2s3SAT0
Qq3k1k3k1v80v80v80m2s5SAT0
Qq3k1k3k1v80v80v80m2s6SAT0
Qq3k1k3k1v80v80v80m2s7SAT0
Qq3k1k3k1v80v80v80m2s8SAT0
Qq3k1k3k1v80v80v80m2s9SAT0
Qq3k1k3k1v80v80v80m4s1SAT0
Qq3k1k3k1v80v80v80m4s3SAT0
Qq3k1k3k1v80v80v80m4s4SAT0
Qq3k1k3k1v80v80v80m4s5SAT0
Qq3k1k3k1v80v80v80m4s6SAT0
Qq3k1k3k1v80v80v80m4s7SAT0
Qq3k1k3k1v80v80v80m4s8SAT0
Qq3k1k3k1v80v80v80m4s9SAT0
Qq3k1k3k1v80v80v80m8s0SAT0
Qq3k1k3k1v80v80v80m8s1SAT0
Qq3k1k3k1v80v80v80m8s2SAT0
Qq3k1k3k1v80v80v80m8s3SAT0
Qq3k1k3k1v80v80v80m8s5SAT0
Qq3k1k3k1v80v80v80m8s6SAT0
Qq3k1k3k1v80v80v80m8s8SAT0
Qq3k1k3k1v80v80v80m8s9SAT0
Qq3k1k3k1v80v80v80m16s2SAT0
Qq3k1k3k1v80v80v80m16s3SAT0
Qq3k1k3k1v80v80v80m16s4SAT0
Qq3k1k3k1v80v80v80m16s7SAT0
Qq3k1k3k1v80v80v80m32s0SAT0
Qq3k1k3k1v80v80v80m32s1SAT0
Qq3k1k3k1v80v80v80m32s3SAT0
Qq3k1k3k1v80v80v80m32s5SAT0
Qq3k2k1k2v40v40v40m2s4SAT0
Qq3k2k1k2v40v40v40m2s7SAT0
Qq3k2k1k2v40v40v40m2s9SAT0
Qq3k2k1k2v40v40v40m4s0SAT0
Qq3k2k1k2v40v40v40m4s5SAT0
Qq3k2k1k2v40v40v40m4s7SAT0
Qq3k2k1k2v40v40v40m4s8SAT0
Qq3k2k1k2v40v40v40m4s9SAT0
Qq3k2k1k2v40v40v40m8s0SAT0
Qq3k2k1k2v40v40v40m8s1SAT0
Qq3k2k1k2v40v40v40m8s2SAT0
Qq3k2k1k2v40v40v40m8s3SAT0
Qq3k2k1k2v40v40v40m8s5SAT0
Qq3k2k1k2v40v40v40m16s0SAT0
Qq3k2k1k2v40v40v40m16s1SAT0
Qq3k2k1k2v40v40v40m16s2SAT0
Qq3k2k1k2v40v40v40m16s3SAT0
Qq3k2k1k2v40v40v40m16s5SAT0
Qq3k2k1k2v40v40v40m16s8SAT0
Qq3k2k1k2v40v40v40m16s9SAT0
Qq3k2k1k2v40v40v40m32s1SAT0
Qq3k2k1k2v40v40v40m32s2SAT0
Qq3k2k1k2v40v40v40m32s3SAT0
Qq3k2k1k2v40v40v40m32s5SAT0
Qq3k2k1k2v40v40v40m32s9SAT0
Qq3k2k1k2v80v80v80m2s0SAT0
Qq3k2k1k2v80v80v80m2s1SAT0
Qq3k2k1k2v80v80v80m2s4SAT0
Qq3k2k1k2v80v80v80m2s5SAT0
Qq3k2k1k2v80v80v80m2s6SAT0
Qq3k2k1k2v80v80v80m2s7SAT0
Qq3k2k1k2v80v80v80m2s8SAT0
Qq3k2k1k2v80v80v80m2s9SAT0
Qq3k2k1k2v80v80v80m4s0SAT0
Qq3k2k1k2v80v80v80m4s2SAT0
Qq3k2k1k2v80v80v80m4s4SAT0
Qq3k2k1k2v80v80v80m4s5SAT0
Qq3k2k1k2v80v80v80m4s7SAT0
Qq3k2k1k2v80v80v80m4s9SAT0
Qq3k2k1k2v80v80v80m8s0SAT0
Qq3k2k1k2v80v80v80m8s3SAT0
Qq3k2k1k2v80v80v80m8s4SAT0
Qq3k2k1k2v80v80v80m8s5SAT0
Qq3k2k1k2v80v80v80m8s7SAT0
Qq3k2k1k2v80v80v80m8s8SAT0
Qq3k2k1k2v80v80v80m8s9SAT0
Qq3k2k1k2v80v80v80m16s1SAT0
Qq3k2k1k2v80v80v80m16s3SAT0
Qq3k2k1k2v80v80v80m16s5SAT0
Qq3k2k1k2v80v80v80m16s7SAT0
Qq3k2k1k2v80v80v80m16s9SAT0
Qq3k2k1k2v80v80v80m32s0SAT0
Qq3k2k1k2v80v80v80m32s1SAT0
Qq3k2k1k2v80v80v80m32s3SAT0
Qq3k2k1k2v80v80v80m32s4SAT0
Qq3k2k1k2v80v80v80m32s7SAT0
Qq3k2k1k2v80v80v80m32s8SAT0
Qq3k2k2k1v40v40v40m2s0SAT0
Qq3k2k2k1v40v40v40m2s1SAT0
Qq3k2k2k1v40v40v40m2s2SAT0
Qq3k2k2k1v40v40v40m2s3SAT0
Qq3k2k2k1v40v40v40m2s5SAT0
Qq3k2k2k1v40v40v40m2s6SAT0
Qq3k2k2k1v40v40v40m2s7SAT0
Qq3k2k2k1v40v40v40m2s9SAT0
Qq3k2k2k1v40v40v40m4s0SAT0
Qq3k2k2k1v40v40v40m4s2SAT0
Qq3k2k2k1v40v40v40m4s3SAT0
Qq3k2k2k1v40v40v40m4s4SAT0
Qq3k2k2k1v40v40v40m4s5SAT0
Qq3k2k2k1v40v40v40m4s6SAT0
Qq3k2k2k1v40v40v40m4s7SAT0
Qq3k2k2k1v40v40v40m4s8SAT0
Qq3k2k2k1v40v40v40m4s9SAT0
Qq3k2k2k1v40v40v40m8s0SAT0
Qq3k2k2k1v40v40v40m8s1SAT0
Qq3k2k2k1v40v40v40m8s2SAT0
Qq3k2k2k1v40v40v40m8s3SAT0
Qq3k2k2k1v40v40v40m8s4SAT0
Qq3k2k2k1v40v40v40m8s9SAT0
Qq3k2k2k1v40v40v40m16s0SAT0
Qq3k2k2k1v40v40v40m16s1SAT0
Qq3k2k2k1v40v40v40m16s2SAT0
Qq3k2k2k1v40v40v40m16s4SAT0
Qq3k2k2k1v40v40v40m16s6SAT0
Qq3k2k2k1v40v40v40m16s8SAT0
Qq3k2k2k1v40v40v40m32s0SAT0
Qq3k2k2k1v40v40v40m32s1SAT0
Qq3k2k2k1v40v40v40m32s2SAT0
Qq3k2k2k1v40v40v40m32s3SAT0
Qq3k2k2k1v40v40v40m32s4SAT0
Qq3k2k2k1v40v40v40m32s6SAT0
Qq3k2k2k1v40v40v40m32s8SAT0
Qq3k2k2k1v40v40v40m32s9SAT0
Qq3k2k2k1v80v80v80m2s0SAT0
Qq3k2k2k1v80v80v80m2s1SAT0
Qq3k2k2k1v80v80v80m2s2SAT0
Qq3k2k2k1v80v80v80m2s3SAT0
Qq3k2k2k1v80v80v80m2s4SAT0
Qq3k2k2k1v80v80v80m2s5SAT0
Qq3k2k2k1v80v80v80m2s7SAT0
Qq3k2k2k1v80v80v80m2s8SAT0
Qq3k2k2k1v80v80v80m4s0SAT0
Qq3k2k2k1v80v80v80m4s1SAT0
Qq3k2k2k1v80v80v80m4s2SAT0
Qq3k2k2k1v80v80v80m4s5SAT0
Qq3k2k2k1v80v80v80m4s6SAT0
Qq3k2k2k1v80v80v80m4s7SAT0
Qq3k2k2k1v80v80v80m4s8SAT0
Qq3k2k2k1v80v80v80m4s9SAT0
Qq3k2k2k1v80v80v80m8s0SAT0
Qq3k2k2k1v80v80v80m8s1SAT0
Qq3k2k2k1v80v80v80m8s2SAT0
Qq3k2k2k1v80v80v80m8s3SAT0
Qq3k2k2k1v80v80v80m8s4SAT0
Qq3k2k2k1v80v80v80m8s5SAT0
Qq3k2k2k1v80v80v80m8s6SAT0
Qq3k2k2k1v80v80v80m8s7SAT0
Qq3k2k2k1v80v80v80m8s9SAT0
Qq3k2k2k1v80v80v80m16s4SAT0
Qq3k2k2k1v80v80v80m16s5SAT0
Qq3k2k2k1v80v80v80m16s8SAT0
Qq3k2k2k1v80v80v80m16s9SAT0
Qq3k2k2k1v80v80v80m32s0SAT0
Qq3k2k2k1v80v80v80m32s3SAT0
Qq3k2k2k1v80v80v80m32s4SAT0
Qq3k2k2k1v80v80v80m32s5SAT0
Qq3k2k2k1v80v80v80m32s6SAT0
Qq3k2k2k1v80v80v80m32s7SAT0
Qq3k2k2k1v80v80v80m32s8SAT0
Qq3k2k2k1v80v80v80m32s9SAT0
Qq3k3k1k1v40v40v40m2s2SAT0
Qq3k3k1k1v40v40v40m2s3SAT0
Qq3k3k1k1v40v40v40m2s5SAT0
Qq3k3k1k1v40v40v40m2s7SAT0
Qq3k3k1k1v40v40v40m4s2SAT0
Qq3k3k1k1v40v40v40m4s4SAT0
Qq3k3k1k1v40v40v40m4s5SAT0
Qq3k3k1k1v40v40v40m8s0SAT0
Qq3k3k1k1v40v40v40m8s1SAT0
Qq3k3k1k1v40v40v40m8s2SAT0
Qq3k3k1k1v40v40v40m8s5SAT0
Qq3k3k1k1v40v40v40m8s6SAT0
Qq3k3k1k1v40v40v40m8s7SAT0
Qq3k3k1k1v40v40v40m8s8SAT0
Qq3k3k1k1v40v40v40m16s3SAT0
Qq3k3k1k1v40v40v40m16s5SAT0
Qq3k3k1k1v40v40v40m16s7SAT0
Qq3k3k1k1v40v40v40m16s8SAT0
Qq3k3k1k1v40v40v40m16s9SAT0
Qq3k3k1k1v40v40v40m32s4SAT0
Qq3k3k1k1v40v40v40m32s5SAT0
Qq3k3k1k1v40v40v40m32s7SAT0
Qq3k3k1k1v40v40v40m32s8SAT0
Qq3k3k1k1v80v80v80m2s0SAT0
Qq3k3k1k1v80v80v80m2s3SAT0
Qq3k3k1k1v80v80v80m2s4SAT0
Qq3k3k1k1v80v80v80m2s5SAT0
Qq3k3k1k1v80v80v80m2s6SAT0
Qq3k3k1k1v80v80v80m2s7SAT0
Qq3k3k1k1v80v80v80m2s8SAT0
Qq3k3k1k1v80v80v80m4s1SAT0
Qq3k3k1k1v80v80v80m4s4SAT0
Qq3k3k1k1v80v80v80m4s5SAT0
Qq3k3k1k1v80v80v80m4s6SAT0
Qq3k3k1k1v80v80v80m4s7SAT0
Qq3k3k1k1v80v80v80m4s8SAT0
Qq3k3k1k1v80v80v80m4s9SAT0
Qq3k3k1k1v80v80v80m8s2SAT0
Qq3k3k1k1v80v80v80m8s4SAT0
Qq3k3k1k1v80v80v80m8s5SAT0
Qq3k3k1k1v80v80v80m8s6SAT0
Qq3k3k1k1v80v80v80m8s7SAT0
Qq3k3k1k1v80v80v80m8s8SAT0
Qq3k3k1k1v80v80v80m8s9SAT0
Qq3k3k1k1v80v80v80m16s0SAT0
Qq3k3k1k1v80v80v80m16s1SAT0
Qq3k3k1k1v80v80v80m16s5SAT0
Qq3k3k1k1v80v80v80m16s6SAT0
Qq3k3k1k1v80v80v80m16s8SAT0
Qq3k3k1k1v80v80v80m16s9SAT0
Qq3k3k1k1v80v80v80m32s2SAT0
Qq3k3k1k1v80v80v80m32s3SAT0
Qq3k3k1k1v80v80v80m32s7SAT0
5qbf-5cnf-40var-1280cl.0UNSAT0.01
ncf_4_8_2_u.1UNSAT0.01
ncf_8_16_4_edau.2UNSAT0.01
ncf_4_8_2_euad.9SAT0.01
3qbf-5cnf-80var-320cl.9SAT0.01
6qbf-5cnf-80var-2560cl.1UNSAT0.01
ncf_4_8_2_euad.1UNSAT0.01
5qbf-5cnf-160var-640cl.4SAT0.01
ncf_4_16_2_euad.9SAT0.01
ncf_4_8_4_u.9SAT0.01
ncf_4_16_2_edau.6SAT0.01
ncf_4_8_2_u.9SAT0.01
5qbf-5cnf-160var-5120cl.6UNSAT0.01
5qbf-5cnf-80var-2560cl.6UNSAT0.01
5qbf-5cnf-40var-1280cl.6UNSAT0.01
5qbf-5cnf-160var-640cl.9SAT0.01
5qbf-5cnf-20var-640cl.7UNSAT0.01
5qbf-5cnf-80var-2560cl.2UNSAT0.01
3qbf-5cnf-80var-2560cl.1UNSAT0.01
5qbf-5cnf-160var-5120cl.0UNSAT0.01
3qbf-5cnf-40var-640cl.7UNSAT0.01
ncf_4_8_4_u.5SAT0.01
ncf_4_16_4_u.1SAT0.01
ncf_16_32_2_euad.9UNSAT0.01
ncf_4_16_2_d.9SAT0.01
ncf_4_8_2_u.8SAT0.01
5qbf-5cnf-40var-1280cl.8UNSAT0.01
5qbf-5cnf-20var-640cl.6UNSAT0.01
6qbf-5cnf-160var-640cl.1SAT0.01
ncf_4_8_8_euad.9UNSAT0.01
ncf_4_8_4_euad.2UNSAT0.01
k_poly_n-8SAT0.01
ncf_16_32_2_d.9UNSAT0.01
ncf_16_32_4_edau.9SAT0.01
2qbf-5cnf-160var-320cl.6SAT0.01
6qbf-5cnf-160var-640cl.0SAT0.01
3qbf-5cnf-80var-2560cl.4UNSAT0.01
3qbf-5cnf-80var-2560cl.8UNSAT0.01
5qbf-5cnf-160var-5120cl.9UNSAT0.01
5qbf-5cnf-40var-640cl.8UNSAT0.01
ncf_8_16_4_d.2UNSAT0.01
5qbf-5cnf-40var-1280cl.5UNSAT0.01
5qbf-5cnf-80var-2560cl.0UNSAT0.01
5qbf-5cnf-160var-640cl.5SAT0.01
k_grz_p-8UNSAT0.01
ncf_4_16_2_u.9SAT0.01
ncf_4_8_8_edau.9UNSAT0.01
5qbf-5cnf-20var-640cl.4UNSAT0.01
3qbf-5cnf-80var-2560cl.3UNSAT0.01
x5.2UNSAT0.01
x5.7UNSAT0.01
cmu.dme1.B-d2SAT0.01
eijk.S208c.S-d2SAT0.01
eijk.S382.S-d2SAT0.01
eijk.S444.S-d2SAT0.01
eijk.S526.S-d2SAT0.01
vis.bakery.E-d2SAT0.01
texas.ifetch1^4.E-f2UNSAT0.01
texas.parsesys^4.E-f2UNSAT0.01
Qq2k1k4v40v40m2s1SAT0.01
Qq2k1k4v40v40m2s3SAT0.01
Qq2k1k4v40v40m2s5SAT0.01
Qq2k1k4v40v40m2s7SAT0.01
Qq2k1k4v40v40m4s6SAT0.01
Qq2k1k4v40v40m4s7SAT0.01
Qq2k1k4v40v40m8s1SAT0.01
Qq2k1k4v40v40m8s9SAT0.01
Qq2k1k4v40v40m16s1SAT0.01
Qq2k1k4v40v40m16s3UNSAT0.01
Qq2k1k4v40v40m16s5SAT0.01
Qq2k1k4v40v40m16s8SAT0.01
Qq2k1k4v40v40m16s9UNSAT0.01
Qq2k1k4v40v40m32s4UNSAT0.01
Qq2k1k4v40v40m32s5UNSAT0.01
Qq2k1k4v40v40m32s6UNSAT0.01
Qq2k1k4v80v80m2s0SAT0.01
Qq2k1k4v80v80m2s4SAT0.01
Qq2k1k4v80v80m2s5SAT0.01
Qq2k1k4v80v80m2s9SAT0.01
Qq2k1k4v80v80m4s0SAT0.01
Qq2k1k4v80v80m4s2SAT0.01
Qq2k1k4v80v80m8s0SAT0.01
Qq2k1k4v80v80m8s2SAT0.01
Qq2k1k4v80v80m8s4SAT0.01
Qq2k1k4v80v80m16s4SAT0.01
Qq2k1k4v80v80m16s9SAT0.01
Qq2k1k4v80v80m32s1SAT0.01
Qq2k1k4v80v80m32s4UNSAT0.01
Qq2k1k4v80v80m32s5UNSAT0.01
Qq2k1k4v80v80m32s8UNSAT0.01
Qq2k2k3v40v40m2s1SAT0.01
Qq2k2k3v40v40m2s2SAT0.01
Qq2k2k3v40v40m2s3SAT0.01
Qq2k2k3v40v40m2s4SAT0.01
Qq2k2k3v40v40m4s0SAT0.01
Qq2k2k3v40v40m8s3SAT0.01
Qq2k2k3v40v40m16s0SAT0.01
Qq2k2k3v40v40m16s5SAT0.01
Qq2k2k3v40v40m16s7SAT0.01
Qq2k2k3v40v40m16s8SAT0.01
Qq2k2k3v40v40m32s5SAT0.01
Qq2k2k3v40v40m32s7SAT0.01
Qq2k2k3v40v40m32s8SAT0.01
Qq2k2k3v80v80m2s6SAT0.01
Qq2k2k3v80v80m2s9SAT0.01
Qq2k2k3v80v80m4s1SAT0.01
Qq2k2k3v80v80m4s3SAT0.01
Qq2k2k3v80v80m4s4SAT0.01
Qq2k2k3v80v80m4s5SAT0.01
Qq2k2k3v80v80m4s7SAT0.01
Qq2k2k3v80v80m4s9SAT0.01
Qq2k2k3v80v80m8s5SAT0.01
Qq2k2k3v80v80m8s8SAT0.01
Qq2k2k3v80v80m8s9SAT0.01
Qq2k2k3v80v80m16s5SAT0.01
Qq2k2k3v80v80m16s7SAT0.01
Qq2k2k3v80v80m32s0SAT0.01
Qq2k2k3v80v80m32s1SAT0.01
Qq2k2k3v80v80m32s4SAT0.01
Qq2k2k3v80v80m32s7SAT0.01
Qq2k3k2v40v40m2s1SAT0.01
Qq2k3k2v40v40m2s7SAT0.01
Qq2k3k2v40v40m2s8SAT0.01
Qq2k3k2v40v40m4s0SAT0.01
Qq2k3k2v40v40m4s3SAT0.01
Qq2k3k2v40v40m4s4SAT0.01
Qq2k3k2v40v40m8s0SAT0.01
Qq2k3k2v40v40m8s1SAT0.01
Qq2k3k2v40v40m8s2SAT0.01
Qq2k3k2v40v40m8s4SAT0.01
Qq2k3k2v40v40m8s5SAT0.01
Qq2k3k2v40v40m16s0SAT0.01
Qq2k3k2v40v40m16s3SAT0.01
Qq2k3k2v40v40m32s1SAT0.01
Qq2k3k2v40v40m32s2SAT0.01
Qq2k3k2v40v40m32s3SAT0.01
Qq2k3k2v40v40m32s7SAT0.01
Qq2k3k2v80v80m2s2SAT0.01
Qq2k3k2v80v80m2s4SAT0.01
Qq2k3k2v80v80m2s7SAT0.01
Qq2k3k2v80v80m4s0SAT0.01
Qq2k3k2v80v80m4s5SAT0.01
Qq2k3k2v80v80m4s6SAT0.01
Qq2k3k2v80v80m8s4SAT0.01
Qq2k3k2v80v80m8s8SAT0.01
Qq2k3k2v80v80m16s0SAT0.01
Qq2k3k2v80v80m16s3SAT0.01
Qq2k3k2v80v80m16s7SAT0.01
Qq2k3k2v80v80m32s2SAT0.01
Qq2k3k2v80v80m32s4SAT0.01
Qq3k1k1k3v40v40v40m2s0SAT0.01
Qq3k1k1k3v40v40v40m2s2SAT0.01
Qq3k1k1k3v40v40v40m2s6SAT0.01
Qq3k1k1k3v40v40v40m2s8SAT0.01
Qq3k1k1k3v40v40v40m2s9SAT0.01
Qq3k1k1k3v40v40v40m4s2SAT0.01
Qq3k1k1k3v40v40v40m8s0SAT0.01
Qq3k1k1k3v40v40v40m8s4SAT0.01
Qq3k1k1k3v40v40v40m8s8SAT0.01
Qq3k1k1k3v40v40v40m8s9SAT0.01
Qq3k1k1k3v40v40v40m16s3SAT0.01
Qq3k1k1k3v40v40v40m16s4SAT0.01
Qq3k1k1k3v40v40v40m16s6SAT0.01
Qq3k1k1k3v40v40v40m16s7SAT0.01
Qq3k1k1k3v40v40v40m32s5SAT0.01
Qq3k1k1k3v40v40v40m32s7SAT0.01
Qq3k1k1k3v40v40v40m32s8SAT0.01
Qq3k1k1k3v80v80v80m2s4SAT0.01
Qq3k1k1k3v80v80v80m2s7SAT0.01
Qq3k1k1k3v80v80v80m4s0SAT0.01
Qq3k1k1k3v80v80v80m4s1SAT0.01
Qq3k1k1k3v80v80v80m8s2SAT0.01
Qq3k1k1k3v80v80v80m8s4SAT0.01
Qq3k1k1k3v80v80v80m8s5SAT0.01
Qq3k1k1k3v80v80v80m8s6SAT0.01
Qq3k1k1k3v80v80v80m8s8SAT0.01
Qq3k1k1k3v80v80v80m8s9SAT0.01
Qq3k1k1k3v80v80v80m16s0SAT0.01
Qq3k1k1k3v80v80v80m16s1SAT0.01
Qq3k1k1k3v80v80v80m16s3SAT0.01
Qq3k1k1k3v80v80v80m16s4SAT0.01
Qq3k1k1k3v80v80v80m16s9SAT0.01
Qq3k1k1k3v80v80v80m32s2SAT0.01
Qq3k1k1k3v80v80v80m32s7SAT0.01
Qq3k1k1k3v80v80v80m32s8SAT0.01
Qq3k1k1k3v80v80v80m32s9SAT0.01
Qq3k1k2k2v40v40v40m2s1SAT0.01
Qq3k1k2k2v40v40v40m2s3SAT0.01
Qq3k1k2k2v40v40v40m4s6SAT0.01
Qq3k1k2k2v40v40v40m4s8SAT0.01
Qq3k1k2k2v40v40v40m4s9SAT0.01
Qq3k1k2k2v40v40v40m8s0SAT0.01
Qq3k1k2k2v40v40v40m8s2SAT0.01
Qq3k1k2k2v40v40v40m8s3SAT0.01
Qq3k1k2k2v40v40v40m8s5SAT0.01
Qq3k1k2k2v40v40v40m8s6SAT0.01
Qq3k1k2k2v40v40v40m8s7SAT0.01
Qq3k1k2k2v40v40v40m8s8SAT0.01
Qq3k1k2k2v40v40v40m8s9SAT0.01
Qq3k1k2k2v40v40v40m16s5SAT0.01
Qq3k1k2k2v40v40v40m16s8SAT0.01
Qq3k1k2k2v40v40v40m16s9SAT0.01
Qq3k1k2k2v40v40v40m32s0SAT0.01
Qq3k1k2k2v80v80v80m2s0SAT0.01
Qq3k1k2k2v80v80v80m2s5SAT0.01
Qq3k1k2k2v80v80v80m2s6SAT0.01
Qq3k1k2k2v80v80v80m2s8SAT0.01
Qq3k1k2k2v80v80v80m2s9SAT0.01
Qq3k1k2k2v80v80v80m4s0SAT0.01
Qq3k1k2k2v80v80v80m4s5SAT0.01
Qq3k1k2k2v80v80v80m8s0SAT0.01
Qq3k1k2k2v80v80v80m8s3SAT0.01
Qq3k1k2k2v80v80v80m8s4SAT0.01
Qq3k1k2k2v80v80v80m8s7SAT0.01
Qq3k1k2k2v80v80v80m16s4SAT0.01
Qq3k1k2k2v80v80v80m16s7SAT0.01
Qq3k1k2k2v80v80v80m16s9SAT0.01
Qq3k1k2k2v80v80v80m32s1SAT0.01
Qq3k1k2k2v80v80v80m32s2SAT0.01
Qq3k1k2k2v80v80v80m32s6SAT0.01
Qq3k1k2k2v80v80v80m32s8SAT0.01
Qq3k1k3k1v40v40v40m2s2SAT0.01
Qq3k1k3k1v40v40v40m2s3SAT0.01
Qq3k1k3k1v40v40v40m2s4SAT0.01
Qq3k1k3k1v40v40v40m2s5SAT0.01
Qq3k1k3k1v40v40v40m2s6SAT0.01
Qq3k1k3k1v40v40v40m2s8SAT0.01
Qq3k1k3k1v40v40v40m4s2SAT0.01
Qq3k1k3k1v40v40v40m4s3SAT0.01
Qq3k1k3k1v40v40v40m4s4SAT0.01
Qq3k1k3k1v40v40v40m4s8SAT0.01
Qq3k1k3k1v40v40v40m8s3SAT0.01
Qq3k1k3k1v40v40v40m8s7SAT0.01
Qq3k1k3k1v40v40v40m8s9SAT0.01
Qq3k1k3k1v40v40v40m16s4SAT0.01
Qq3k1k3k1v40v40v40m16s7SAT0.01
Qq3k1k3k1v40v40v40m32s0SAT0.01
Qq3k1k3k1v40v40v40m32s2SAT0.01
Qq3k1k3k1v40v40v40m32s3SAT0.01
Qq3k1k3k1v40v40v40m32s4SAT0.01
Qq3k1k3k1v40v40v40m32s5SAT0.01
Qq3k1k3k1v40v40v40m32s6SAT0.01
Qq3k1k3k1v40v40v40m32s7SAT0.01
Qq3k1k3k1v40v40v40m32s9SAT0.01
Qq3k1k3k1v80v80v80m2s4SAT0.01
Qq3k1k3k1v80v80v80m4s0SAT0.01
Qq3k1k3k1v80v80v80m4s2SAT0.01
Qq3k1k3k1v80v80v80m8s4SAT0.01
Qq3k1k3k1v80v80v80m8s7SAT0.01
Qq3k1k3k1v80v80v80m16s0SAT0.01
Qq3k1k3k1v80v80v80m16s1SAT0.01
Qq3k1k3k1v80v80v80m16s5SAT0.01
Qq3k1k3k1v80v80v80m16s6SAT0.01
Qq3k1k3k1v80v80v80m16s8SAT0.01
Qq3k1k3k1v80v80v80m16s9SAT0.01
Qq3k1k3k1v80v80v80m32s2SAT0.01
Qq3k1k3k1v80v80v80m32s6SAT0.01
Qq3k1k3k1v80v80v80m32s8SAT0.01
Qq3k1k3k1v80v80v80m32s9SAT0.01
Qq3k2k1k2v40v40v40m2s0SAT0.01
Qq3k2k1k2v40v40v40m2s2SAT0.01
Qq3k2k1k2v40v40v40m2s3SAT0.01
Qq3k2k1k2v40v40v40m2s5SAT0.01
Qq3k2k1k2v40v40v40m2s6SAT0.01
Qq3k2k1k2v40v40v40m2s8SAT0.01
Qq3k2k1k2v40v40v40m4s2SAT0.01
Qq3k2k1k2v40v40v40m4s3SAT0.01
Qq3k2k1k2v40v40v40m4s4SAT0.01
Qq3k2k1k2v40v40v40m4s6SAT0.01
Qq3k2k1k2v40v40v40m8s4SAT0.01
Qq3k2k1k2v40v40v40m8s6SAT0.01
Qq3k2k1k2v40v40v40m8s7SAT0.01
Qq3k2k1k2v40v40v40m8s9SAT0.01
Qq3k2k1k2v40v40v40m16s6SAT0.01
Qq3k2k1k2v40v40v40m16s7SAT0.01
Qq3k2k1k2v40v40v40m32s4SAT0.01
Qq3k2k1k2v40v40v40m32s6SAT0.01
Qq3k2k1k2v40v40v40m32s8SAT0.01
Qq3k2k1k2v80v80v80m2s2SAT0.01
Qq3k2k1k2v80v80v80m4s1SAT0.01
Qq3k2k1k2v80v80v80m4s3SAT0.01
Qq3k2k1k2v80v80v80m4s6SAT0.01
Qq3k2k1k2v80v80v80m4s8SAT0.01
Qq3k2k1k2v80v80v80m8s1SAT0.01
Qq3k2k1k2v80v80v80m8s2SAT0.01
Qq3k2k1k2v80v80v80m8s6SAT0.01
Qq3k2k1k2v80v80v80m16s0SAT0.01
Qq3k2k1k2v80v80v80m16s2SAT0.01
Qq3k2k1k2v80v80v80m16s4SAT0.01
Qq3k2k1k2v80v80v80m16s6SAT0.01
Qq3k2k1k2v80v80v80m32s2SAT0.01
Qq3k2k1k2v80v80v80m32s5SAT0.01
Qq3k2k1k2v80v80v80m32s6SAT0.01
Qq3k2k1k2v80v80v80m32s9SAT0.01
Qq3k2k2k1v40v40v40m2s4SAT0.01
Qq3k2k2k1v40v40v40m2s8SAT0.01
Qq3k2k2k1v40v40v40m4s1SAT0.01
Qq3k2k2k1v40v40v40m8s5SAT0.01
Qq3k2k2k1v40v40v40m8s6SAT0.01
Qq3k2k2k1v40v40v40m8s7SAT0.01
Qq3k2k2k1v40v40v40m8s8SAT0.01
Qq3k2k2k1v40v40v40m16s3SAT0.01
Qq3k2k2k1v40v40v40m16s7SAT0.01
Qq3k2k2k1v40v40v40m32s5SAT0.01
Qq3k2k2k1v40v40v40m32s7SAT0.01
Qq3k2k2k1v80v80v80m2s6SAT0.01
Qq3k2k2k1v80v80v80m2s9SAT0.01
Qq3k2k2k1v80v80v80m4s3SAT0.01
Qq3k2k2k1v80v80v80m4s4SAT0.01
Qq3k2k2k1v80v80v80m8s8SAT0.01
Qq3k2k2k1v80v80v80m16s0SAT0.01
Qq3k2k2k1v80v80v80m16s1SAT0.01
Qq3k2k2k1v80v80v80m16s2SAT0.01
Qq3k2k2k1v80v80v80m16s3SAT0.01
Qq3k2k2k1v80v80v80m16s6SAT0.01
Qq3k2k2k1v80v80v80m16s7SAT0.01
Qq3k3k1k1v40v40v40m2s0SAT0.01
Qq3k3k1k1v40v40v40m2s1SAT0.01
Qq3k3k1k1v40v40v40m2s6SAT0.01
Qq3k3k1k1v40v40v40m2s8SAT0.01
Qq3k3k1k1v40v40v40m4s0SAT0.01
Qq3k3k1k1v40v40v40m4s1SAT0.01
Qq3k3k1k1v40v40v40m4s3SAT0.01
Qq3k3k1k1v40v40v40m4s6SAT0.01
Qq3k3k1k1v40v40v40m4s7SAT0.01
Qq3k3k1k1v40v40v40m4s8SAT0.01
Qq3k3k1k1v40v40v40m4s9SAT0.01
Qq3k3k1k1v40v40v40m8s3SAT0.01
Qq3k3k1k1v40v40v40m8s4SAT0.01
Qq3k3k1k1v40v40v40m8s9SAT0.01
Qq3k3k1k1v40v40v40m16s0SAT0.01
Qq3k3k1k1v40v40v40m16s1SAT0.01
Qq3k3k1k1v40v40v40m16s6SAT0.01
Qq3k3k1k1v40v40v40m32s1SAT0.01
Qq3k3k1k1v40v40v40m32s2SAT0.01
Qq3k3k1k1v40v40v40m32s9SAT0.01
Qq3k3k1k1v80v80v80m2s1SAT0.01
Qq3k3k1k1v80v80v80m2s2SAT0.01
Qq3k3k1k1v80v80v80m2s9SAT0.01
Qq3k3k1k1v80v80v80m4s0SAT0.01
Qq3k3k1k1v80v80v80m4s2SAT0.01
Qq3k3k1k1v80v80v80m4s3SAT0.01
Qq3k3k1k1v80v80v80m8s0SAT0.01
Qq3k3k1k1v80v80v80m8s1SAT0.01
Qq3k3k1k1v80v80v80m8s3SAT0.01
Qq3k3k1k1v80v80v80m16s3SAT0.01
Qq3k3k1k1v80v80v80m16s4SAT0.01
Qq3k3k1k1v80v80v80m16s7SAT0.01
Qq3k3k1k1v80v80v80m32s4SAT0.01
Qq3k3k1k1v80v80v80m32s5SAT0.01
Qq3k3k1k1v80v80v80m32s6SAT0.01
Qq3k3k1k1v80v80v80m32s8SAT0.01
Qq2k3k2v80v80m32s9SAT0.01
3qbf-5cnf-80var-2560cl.9UNSAT0.02
ncf_16_32_2_edau.6SAT0.02
6qbf-5cnf-160var-640cl.2SAT0.02
5qbf-5cnf-160var-640cl.1SAT0.02
ncf_4_8_8_u.9UNSAT0.02
5qbf-5cnf-160var-5120cl.8UNSAT0.02
ncf_4_16_4_d.8SAT0.02
ncf_4_8_8_edau.5UNSAT0.02
5qbf-5cnf-80var-2560cl.3UNSAT0.02
5qbf-5cnf-80var-2560cl.9UNSAT0.02
ncf_4_16_2_edau.4SAT0.02
k_path_n-8SAT0.02
CHAIN20v.21SAT0.02
ncf_8_16_4_euad.5UNSAT0.02
ncf_4_8_8_d.5UNSAT0.02
ncf_4_16_4_euad.8SAT0.02
5qbf-5cnf-160var-5120cl.3UNSAT0.02
k_dum_n-16SAT0.02
3qbf-5cnf-80var-2560cl.7UNSAT0.02
k_lin_p-8UNSAT0.02
ncf_16_32_2_edau.9UNSAT0.02
ncf_8_16_4_edau.10SAT0.02
ncf_4_16_2_u.6SAT0.02
5qbf-5cnf-20var-640cl.2UNSAT0.02
ncf_4_16_2_euad.6SAT0.02
6qbf-5cnf-160var-640cl.8SAT0.02
6qbf-5cnf-160var-640cl.9SAT0.02
ncf_8_16_4_u.5UNSAT0.02
ncf_4_8_4_euad.5SAT0.02
ncf_8_16_8_euad.1SAT0.02
5qbf-5cnf-160var-640cl.0SAT0.02
ncf_4_8_2_u.5SAT0.02
ncf_4_16_4_edau.8SAT0.02
6qbf-5cnf-160var-640cl.4SAT0.02
6qbf-5cnf-160var-640cl.7SAT0.02
ncf_4_16_4_euad.1SAT0.02
ncf_4_8_2_euad.5SAT0.02
ncf_8_16_4_d.8UNSAT0.02
ncf_4_8_8_d.9UNSAT0.02
comp.blif_0.10_0.20_0_0_out_exactUNSAT0.02
5qbf-5cnf-80var-2560cl.8UNSAT0.02
5qbf-5cnf-160var-640cl.7SAT0.02
ncf_4_16_2_euad.4SAT0.02
k_dum_n-12SAT0.02
ncf_8_16_8_d.1SAT0.02
6qbf-5cnf-160var-640cl.3SAT0.02
x10.6UNSAT0.02
x5.1UNSAT0.02
x5.9UNSAT0.02
eijk.S208o.S-d2SAT0.02
eijk.S386.S-d2SAT0.02
vis.elevator^1.E-f2UNSAT0.02
vis.emodel.E-f2UNSAT0.02
Qq2k1k4v40v40m8s8SAT0.02
Qq2k1k4v40v40m16s0UNSAT0.02
Qq2k1k4v80v80m2s8SAT0.02
Qq2k1k4v80v80m4s1SAT0.02
Qq2k1k4v80v80m4s3SAT0.02
Qq2k1k4v80v80m4s4SAT0.02
Qq2k1k4v80v80m8s1SAT0.02
Qq2k1k4v80v80m8s8SAT0.02
Qq2k1k4v80v80m32s0UNSAT0.02
Qq2k1k4v80v80m32s3UNSAT0.02
Qq2k2k3v40v40m2s6SAT0.02
Qq2k2k3v40v40m4s3SAT0.02
Qq2k2k3v40v40m8s7SAT0.02
Qq2k2k3v40v40m32s2SAT0.02
Qq2k2k3v40v40m32s3SAT0.02
Qq2k2k3v80v80m2s0SAT0.02
Qq2k2k3v80v80m2s2SAT0.02
Qq2k2k3v80v80m4s8SAT0.02
Qq2k2k3v80v80m16s3SAT0.02
Qq2k2k3v80v80m16s4SAT0.02
Qq2k2k3v80v80m32s9SAT0.02
Qq2k3k2v40v40m2s2SAT0.02
Qq2k3k2v40v40m32s9SAT0.02
Qq2k3k2v80v80m16s1SAT0.02
Qq2k3k2v80v80m32s3SAT0.02
Qq3k1k1k3v40v40v40m2s3SAT0.02
Qq3k1k1k3v40v40v40m4s5SAT0.02
Qq3k1k1k3v40v40v40m4s9SAT0.02
Qq3k1k1k3v40v40v40m16s5SAT0.02
Qq3k1k1k3v40v40v40m32s3SAT0.02
Qq3k1k1k3v40v40v40m32s6SAT0.02
Qq3k1k1k3v40v40v40m32s9SAT0.02
Qq3k1k1k3v80v80v80m8s0SAT0.02
Qq3k1k2k2v40v40v40m4s1SAT0.02
Qq3k1k2k2v40v40v40m4s3SAT0.02
Qq3k1k2k2v40v40v40m16s3SAT0.02
Qq3k1k2k2v40v40v40m32s2SAT0.02
Qq3k1k2k2v80v80v80m8s1SAT0.02
Qq3k1k2k2v80v80v80m8s2SAT0.02
Qq3k1k2k2v80v80v80m16s5SAT0.02
Qq3k1k2k2v80v80v80m16s6SAT0.02
Qq3k1k3k1v40v40v40m4s1SAT0.02
Qq3k1k3k1v40v40v40m4s9SAT0.02
Qq3k1k3k1v80v80v80m32s4SAT0.02
Qq3k1k3k1v80v80v80m32s7SAT0.02
Qq3k2k1k2v40v40v40m2s1SAT0.02
Qq3k2k1k2v40v40v40m4s1SAT0.02
Qq3k2k1k2v40v40v40m16s4SAT0.02
Qq3k2k1k2v40v40v40m32s0SAT0.02
Qq3k2k1k2v40v40v40m32s7SAT0.02
Qq3k2k1k2v80v80v80m2s3SAT0.02
Qq3k2k1k2v80v80v80m16s8SAT0.02
Qq3k2k2k1v40v40v40m16s5SAT0.02
Qq3k2k2k1v80v80v80m32s1SAT0.02
Qq3k2k2k1v80v80v80m32s2SAT0.02
Qq3k3k1k1v40v40v40m2s4SAT0.02
Qq3k3k1k1v40v40v40m2s9SAT0.02
Qq3k3k1k1v40v40v40m16s2SAT0.02
Qq3k3k1k1v40v40v40m16s4SAT0.02
Qq3k3k1k1v40v40v40m32s0SAT0.02
Qq3k3k1k1v40v40v40m32s3SAT0.02
Qq3k3k1k1v40v40v40m32s6SAT0.02
Qq3k3k1k1v80v80v80m16s2SAT0.02
Qq3k3k1k1v80v80v80m32s0SAT0.02
Qq3k3k1k1v80v80v80m32s1SAT0.02
ncf_4_16_2_d.6SAT0.03
5qbf-5cnf-160var-640cl.3SAT0.03
ncf_16_32_2_d.7UNSAT0.03
5qbf-5cnf-160var-5120cl.5UNSAT0.03
ncf_8_16_4_edau.5UNSAT0.03
5qbf-5cnf-160var-5120cl.7UNSAT0.03
3qbf-5cnf-80var-2560cl.5UNSAT0.03
5qbf-5cnf-80var-2560cl.1UNSAT0.03
ncf_4_16_4_d.1SAT0.03
CHAIN23v.24SAT0.03
ncf_4_8_2_u.4UNSAT0.03
BLOCKS3i.4.4UNSAT0.03
ncf_8_16_4_edau.1SAT0.03
ncf_16_32_4_edau.7UNSAT0.03
ncf_4_16_2_edau.9SAT0.03
k_dum_n-8SAT0.03
ncf_16_32_4_edau.10UNSAT0.03
ncf_4_16_2_u.4SAT0.03
ncf_4_16_4_u.8SAT0.03
5qbf-5cnf-160var-640cl.2SAT0.03
6qbf-5cnf-160var-640cl.6SAT0.03
5qbf-5cnf-160var-5120cl.2UNSAT0.03
k_path_p-12UNSAT0.03
k_grz_p-4UNSAT0.03
k_poly_p-12UNSAT0.03
s27_d3_uUNSAT0.03
ncf_8_16_8_edau.1SAT0.03
ncf_16_32_4_d.9SAT0.03
k_path_p-8UNSAT0.03
ncf_4_16_4_edau.1SAT0.03
counter_re_4SAT0.03
k_lin_p-12UNSAT0.03
ncf_16_32_4_d.10UNSAT0.03
ncf_4_8_8_edau.8SAT0.03
x10.0UNSAT0.03
x10.1UNSAT0.03
x10.4SAT0.03
x10.5UNSAT0.03
x10.7SAT0.03
x10.8UNSAT0.03
vis.coherence^1.E-d2SAT0.03
sortnetsort5.v.stepl.003UNSAT0.03
Qq2k1k4v40v40m2s9SAT0.03
Qq2k1k4v40v40m4s3SAT0.03
Qq2k1k4v40v40m4s9SAT0.03
Qq2k1k4v80v80m2s6SAT0.03
Qq2k2k3v40v40m8s6SAT0.03
Qq2k3k2v40v40m32s8SAT0.03
Qq2k3k2v80v80m4s3SAT0.03
Qq2k3k2v80v80m32s8SAT0.03
Qq3k2k2k1v40v40v40m16s9SAT0.03
Qq3k3k1k1v80v80v80m32s9SAT0.03
k_dum_p-21UNSAT0.04
ncf_16_32_4_d.7UNSAT0.04
ncf_4_8_8_d.8SAT0.04
ncf_4_8_2_euad.4UNSAT0.04
k_dum_p-20UNSAT0.04
ncf_4_8_2_euad.6SAT0.04
connect_5x4_4_RUNSAT0.04
k_poly_n-16SAT0.04
k_d4_p-12UNSAT0.04
CHAIN22v.23SAT0.04
k_grz_n-8SAT0.04
ncf_8_16_4_d.5UNSAT0.04
CHAIN21v.22SAT0.04
k_dum_p-12UNSAT0.04
k_path_n-12SAT0.04
k_poly_n-12SAT0.04
ncf_4_8_2_u.10SAT0.04
x10.2UNSAT0.04
x10.3UNSAT0.04
x10.9UNSAT0.04
x5.4UNSAT0.04
texas.ifetch1^1.E-f2UNSAT0.04
sortnetsort5.v.stepl.006SAT0.04
Qq2k3k2v40v40m4s6SAT0.04
Qq2k3k2v80v80m32s5SAT0.04
Qq3k1k1k3v40v40v40m4s4SAT0.04
k_path_p-16UNSAT0.05
C432.blif_0.10_1.00_0_0_out_exactUNSAT0.05
k_poly_n-20SAT0.05
connect_5x4_3_RUNSAT0.05
qshifter_5SAT0.05
ncf_4_16_2_d.4SAT0.05
k_dum_n-20SAT0.05
ncf_4_8_2_u.6SAT0.05
k_dum_n-21SAT0.05
ncf_16_32_8_d.4SAT0.05
k_d4_p-8UNSAT0.05
x5.3UNSAT0.05
eijk.S298.S-d2SAT0.05
sortnetsort5.v.stepl.005SAT0.05
Qq3k2k1k2v40v40v40m8s8SAT0.05
ncf_4_32_2_edau.1UNSAT0.06
k_d4_p-20UNSAT0.06
lut4_2_fXORSAT0.06
k_t4p_p-4UNSAT0.06
ncf_4_16_4_edau.5SAT0.06
ncf_4_8_8_d.3SAT0.06
k_path_p-20UNSAT0.06
k_poly_p-21UNSAT0.06
k_path_n-16SAT0.06
k_poly_p-20UNSAT0.06
sortnetsort5.v.stepl.004UNSAT0.06
Qq2k1k4v40v40m16s6UNSAT0.06
ncf_16_32_8_edau.4SAT0.07
k_d4_p-16UNSAT0.07
k_lin_p-16UNSAT0.07
k_d4_p-21UNSAT0.07
toilet_c_10_05.7SAT0.07
k_poly_n-21SAT0.07
BLOCKS3iii.5SAT0.07
sortnetsort6.v.stepl.003UNSAT0.07
connect_6x5_5_RUNSAT0.08
k_path_n-20SAT0.08
eijk.S820.S-d2SAT0.08
2qbf-5cnf-160var-320cl.3SAT0.09
1qbf-5cnf-160var-2560cl.8SAT0.09
x15.3SAT0.09
eijk.S832.S-d2SAT0.09
k_t4p_n-8SAT0.1
k_t4p_p-16UNSAT0.1
k_lin_n-4SAT0.1
k_t4p_p-12UNSAT0.1
k_path_p-21UNSAT0.1
k_path_n-21SAT0.1
x15.5UNSAT0.1
x15.6UNSAT0.1
vis.4-arbit^1.E-d2SAT0.1
BLOCKS3ii.5.2UNSAT0.11
k_t4p_p-21UNSAT0.11
TOILET10.1.iv.20SAT0.11
C499.blif_0.10_1.00_0_0_inp_exactUNSAT0.11
x15.7UNSAT0.11
vis.emodel.E-d2SAT0.11
BLOCKS3ii.5.3SAT0.12
3qbf-5cnf-40var-640cl.9UNSAT0.12
k_t4p_p-20UNSAT0.12
ncf_4_8_8_edau.1SAT0.12
x15.4UNSAT0.12
irst.dme4.B-d2SAT0.12
sortnetsort5.v.stepl.007SAT0.12
k_lin_p-20UNSAT0.13
s298_d2_sSAT0.13
x15.8SAT0.13
nusmv.reactor^5.C-f2UNSAT0.13
texas.parsesys^3.E-f2SAT0.13
sortnetsort6.v.stepl.006SAT0.13
ncf_4_16_4_d.9SAT0.14
lognBWLARGEA1FAIL0.14
term1.blif_0.10_1.00_0_0_inp_exactUNSAT0.14
x15.0UNSAT0.14
x15.1SAT0.14
term1.blif_0.10_1.00_0_0_out_exactUNSAT0.15
BLOCKS3i.5.4SAT0.15
k_ph_n-8SAT0.15
BLOCKS3i.5.3UNSAT0.15
texas.ifetch1^8.E-f2SAT0.15
sortnetsort6.v.stepl.005SAT0.15
sortnetsort6.v.stepl.007SAT0.15
counter_8SAT0.16
Adder2-4-sSAT0.16
k_lin_p-21UNSAT0.16
adder-4-satSAT0.17
2qbf-5cnf-160var-320cl.5SAT0.17
ncf_4_16_4_euad.5SAT0.17
x15.9UNSAT0.17
k_t4p_n-12SAT0.18
x15.2UNSAT0.18
ncf_4_16_4_d.5SAT0.19
ncf_4_8_8_edau.3SAT0.19
ncf_16_32_2_euad.7UNSAT0.19
2qbf-5cnf-160var-320cl.0SAT0.21
ncf_4_8_8_euad.3SAT0.21
lut4_2_f1SAT0.22
ncf_4_8_8_u.1SAT0.23
1qbf-5cnf-160var-2560cl.1SAT0.23
k_t4p_n-16SAT0.24
1qbf-5cnf-160var-2560cl.3SAT0.25
ncf_4_8_2_euad.10SAT0.26
ncf_4_8_8_u.3SAT0.26
2qbf-5cnf-160var-320cl.4SAT0.27
k_grz_p-12UNSAT0.28
sortnetsort7.v.stepl.003UNSAT0.29
sortnetsort6.v.stepl.004UNSAT0.3
s499_d2_sSAT0.31
qshifter_6SAT0.32
ncf_4_8_8_d.1SAT0.33
connect_8x7_3_WUNSAT0.33
k_grz_n-12SAT0.34
texas.PI_main^14.E-f2UNSAT0.34
ncf_4_16_2_edau.7SAT0.36
connect_8x7_4_DUNSAT0.36
s27_d4_uUNSAT0.38
k_d4_n-4SAT0.38
k_t4p_p-8UNSAT0.39
lut4_AND_f1SAT0.4
connect_8x7_3_DUNSAT0.4
3qbf-5cnf-20var-320cl.4UNSAT0.42
x20.0SAT0.43
ncf_4_16_2_d.7SAT0.45
k_t4p_n-20SAT0.48
connect_8x7_4_WUNSAT0.51
x20.8SAT0.51
lognBWLARGEB1FAIL0.52
szymanski-8-sUNSAT0.52
ncf_4_8_2_u.2SAT0.52
x20.6SAT0.52
ncf_4_16_4_u.5SAT0.53
connect_9x8_4_WUNSAT0.53
C5315.blif_0.10_1.00_0_0_inp_exactUNSAT0.53
connect_9x8_5_WUNSAT0.53
k_t4p_n-21SAT0.54
C5315.blif_0.10_1.00_0_1_inp_exactSAT0.54
eijk.S344.S-d2SAT0.54
eijk.S349.S-d2SAT0.54
connect_9x8_5_DUNSAT0.55
x20.4UNSAT0.55
connect_9x8_3_WUNSAT0.56
C5315.blif_0.10_1.00_0_0_out_exactUNSAT0.56
TOILET16.1.iv.32SAT0.57
C5315.blif_0.10_1.00_0_1_out_exactSAT0.58
ncf_4_8_4_euad.8UNSAT0.59
C499.blif_0.10_1.00_0_0_out_exactUNSAT0.62
connect_9x8_4_DUNSAT0.62
sortnetsort8.v.stepl.003UNSAT0.62
ncf_4_16_2_u.2SAT0.67
ncf_4_16_2_euad.2SAT0.68
connect_9x8_3_DUNSAT0.72
texas.parsesys^1.E-f2SAT0.78
ncf_4_8_4_u.8UNSAT0.8
x20.9SAT0.8
ncf_4_8_2_euad.2SAT0.81
x20.3UNSAT0.81
2qbf-5cnf-160var-320cl.9SAT0.82
k_lin_n-8SAT0.83
sortnetsort7.v.stepl.008SAT0.83
sortnetsort7.v.stepl.004UNSAT0.85
s510_d2_sSAT0.87
x20.5SAT0.87
vis.eisenberg.E-f2SAT0.87
ncf_4_16_4_euad.9SAT0.91
1qbf-5cnf-160var-2560cl.2SAT0.92
x20.7SAT0.93
k_grz_p-16UNSAT0.99
x20.1UNSAT0.99
irst.dme5.B-d2SAT1.06
texas.PI_main^01.E-f2SAT1.1
3qbf-5cnf-40var-640cl.8UNSAT1.11
ncf_4_16_4_edau.9SAT1.15
TOILET7.1.iv.13UNSAT1.24
sortnetsort7.v.stepl.009SAT1.26
x20.2SAT1.27
1qbf-5cnf-160var-2560cl.4SAT1.3
lut4_AND_fXORUNSAT1.36
k_dum_p-16UNSAT1.36
1qbf-5cnf-160var-2560cl.5SAT1.45
2qbf-5cnf-40var-160cl.7UNSAT1.48
vis.bakery.E-f2SAT1.5
1qbf-5cnf-160var-2560cl.0SAT1.64
k_grz_n-16SAT1.79
lut4_3_fANDSAT2.1
sortnetsort8.v.stepl.008SAT2.1
ncf_16_32_2_edau.7UNSAT2.17
ncf_4_8_4_euad.10SAT2.26
eijk.S1423.S-d2SAT2.38
qshifter_7SAT2.45
szymanski-10-sUNSAT2.46
ncf_4_16_4_u.9SAT2.48
k_grz_p-21UNSAT2.51
sortnetsort8.v.stepl.004UNSAT2.52
k_grz_p-20UNSAT2.57
sortnetsort8.v.stepl.009SAT2.59
toilet_a_10_05.4SAT2.66
counter_e_8SAT2.71
s27_d5_uUNSAT2.87
ncf_16_32_4_edau.1SAT2.89
irst.dme6.B-d2SAT3.08
k_grz_n-20SAT3.22
2qbf-5cnf-160var-320cl.2SAT3.23
BLOCKS4iii.6UNSAT3.28
ncf_4_8_4_euad.6SAT3.31
2qbf-5cnf-40var-160cl.2UNSAT3.4
ncf_4_8_4_u.10SAT3.44
k_ph_p-8UNSAT3.46
k_lin_n-12SAT3.62
ncf_8_16_8_edau.6UNSAT3.62
x25.3UNSAT3.62
k_grz_n-21SAT3.66
s386_d2_sSAT3.73
x25.2SAT3.92
BLOCKS4ii.6.3UNSAT3.99
nusmv.syncarb5^2.B-f2SAT4.12
BLOCKS4i.6.4UNSAT4.41
lut4_2_f2UNSAT4.42
k_ph_n-12SAT4.53
x25.9UNSAT4.53
x25.8UNSAT4.58
eijk.S1196.S-d2SAT4.81
x25.5UNSAT4.89
eijk.S1238.S-d2SAT4.89
sortnetsort7.v.stepl.006SAT5
x25.4UNSAT5.63
texas.parsesys^2.E-f2UNSAT5.83
x25.7UNSAT5.87
sortnetsort8.v.stepl.006SAT6.14
x25.6UNSAT6.7
BLOCKS4ii.7.2UNSAT7.01
sortnetsort7.v.stepl.007SAT7.31
ncf_4_8_8_euad.1SAT7.39
sortnetsort9.v.stepl.004UNSAT7.9
k_t4p_n-4SAT8.03
ncf_4_8_4_u.6SAT8.63
x25.0SAT8.75
sortnetsort9.v.stepl.011SAT9.12
BLOCKS4iii.7SAT9.46
x25.1SAT10.12
k_lin_n-16SAT10.3
sortnetsort8.v.stepl.007SAT10.6
2qbf-5cnf-40var-160cl.6UNSAT11.78
sortnetsort9.v.stepl.008SAT12.42
sortnetsort9.v.stepl.010SAT13.64
s298_d4_sSAT14.25
4qbf-5cnf-40var-640cl.6UNSAT14.48
x30.4SAT14.68
sortnetsort9.v.stepl.009SAT15.07
3qbf-5cnf-40var-640cl.0FAIL15.08
4qbf-5cnf-40var-640cl.0UNSAT15.26
5qbf-5cnf-40var-640cl.1UNSAT15.33
3qbf-5cnf-80var-1280cl.2UNSAT15.38
2qbf-5cnf-40var-320cl.1UNSAT15.44
sortnetsort9.v.stepl.012SAT15.61
4qbf-5cnf-40var-640cl.7UNSAT15.65
5qbf-5cnf-20var-320cl.3UNSAT16.05
3qbf-5cnf-80var-1280cl.8FAIL16.22
3qbf-5cnf-160var-2560cl.9UNSAT16.23
2qbf-5cnf-80var-1280cl.4UNSAT16.32
5qbf-5cnf-40var-1280cl.7UNSAT16.48
3qbf-5cnf-40var-640cl.4UNSAT16.77
3qbf-5cnf-80var-1280cl.4UNSAT16.78
6qbf-5cnf-40var-640cl.4UNSAT16.95
4qbf-5cnf-80var-1280cl.5UNSAT16.95
4qbf-5cnf-20var-640cl.3UNSAT16.95
5qbf-5cnf-80var-1280cl.3UNSAT17.13
3qbf-5cnf-40var-640cl.1UNSAT17.13
4qbf-5cnf-40var-640cl.8UNSAT17.17
6qbf-5cnf-20var-640cl.7UNSAT17.21
6qbf-5cnf-40var-1280cl.1UNSAT17.31
2qbf-5cnf-40var-640cl.5UNSAT17.33
3qbf-5cnf-80var-1280cl.0FAIL17.34
6qbf-5cnf-20var-640cl.3UNSAT17.35
4qbf-5cnf-40var-640cl.5UNSAT17.4
3qbf-5cnf-40var-640cl.2UNSAT17.41
C499.blif_0.10_0.20_0_1_inp_exactSAT17.42
3qbf-5cnf-80var-1280cl.9UNSAT17.44
4qbf-5cnf-40var-640cl.9UNSAT17.59
4qbf-5cnf-40var-640cl.3UNSAT17.67
3qbf-5cnf-40var-640cl.6UNSAT17.72
3qbf-5cnf-80var-1280cl.3UNSAT17.8
4qbf-5cnf-40var-640cl.2UNSAT17.81
4qbf-5cnf-40var-640cl.1UNSAT17.86
4qbf-5cnf-160var-2560cl.0UNSAT17.89
2qbf-5cnf-80var-1280cl.2UNSAT17.94
4qbf-5cnf-40var-640cl.4UNSAT17.95
5qbf-5cnf-40var-1280cl.2UNSAT18.01
4qbf-5cnf-20var-640cl.5UNSAT18.08
3qbf-5cnf-160var-2560cl.3UNSAT18.11
4qbf-5cnf-160var-2560cl.8UNSAT18.12
3qbf-5cnf-160var-2560cl.8UNSAT18.13
3qbf-5cnf-160var-2560cl.1UNSAT18.16
6qbf-5cnf-40var-1280cl.6UNSAT18.16
6qbf-5cnf-40var-1280cl.7UNSAT18.16
3qbf-5cnf-160var-2560cl.0UNSAT18.22
5qbf-5cnf-20var-320cl.4UNSAT18.3
5qbf-5cnf-80var-1280cl.9UNSAT18.32
5qbf-5cnf-40var-640cl.4UNSAT18.38
4qbf-5cnf-80var-2560cl.6UNSAT18.39
4qbf-5cnf-40var-1280cl.4UNSAT18.39
6qbf-5cnf-40var-1280cl.2UNSAT18.44
3qbf-5cnf-160var-2560cl.7UNSAT18.46
2qbf-5cnf-40var-640cl.1UNSAT18.48
6qbf-5cnf-40var-1280cl.0UNSAT18.48
2qbf-5cnf-80var-1280cl.9UNSAT18.5
6qbf-5cnf-20var-640cl.5UNSAT18.52
4qbf-5cnf-40var-1280cl.3UNSAT18.52
4qbf-5cnf-160var-2560cl.3UNSAT18.53
6qbf-5cnf-20var-640cl.2UNSAT18.54
2qbf-5cnf-40var-640cl.2UNSAT18.58
2qbf-5cnf-40var-640cl.6UNSAT18.68
4qbf-5cnf-160var-2560cl.9UNSAT18.69
5qbf-5cnf-80var-1280cl.6UNSAT18.72
4qbf-5cnf-20var-320cl.8UNSAT18.76
3qbf-5cnf-160var-2560cl.4FAIL18.78
5qbf-5cnf-40var-1280cl.3UNSAT18.79
4qbf-5cnf-20var-640cl.1UNSAT18.84
3qbf-5cnf-40var-640cl.5UNSAT18.89
2qbf-5cnf-40var-640cl.7UNSAT18.91
3qbf-5cnf-80var-1280cl.6UNSAT18.92
6qbf-5cnf-40var-1280cl.3UNSAT18.96
6qbf-5cnf-40var-640cl.9UNSAT19.04
2qbf-5cnf-80var-1280cl.0UNSAT19.07
4qbf-5cnf-20var-640cl.9UNSAT19.08
3qbf-5cnf-160var-2560cl.2UNSAT19.12
4qbf-5cnf-20var-640cl.4UNSAT19.13
6qbf-5cnf-20var-640cl.6UNSAT19.27
6qbf-5cnf-80var-2560cl.8UNSAT19.3
6qbf-5cnf-40var-1280cl.4UNSAT19.34
2qbf-5cnf-80var-1280cl.8UNSAT19.36
6qbf-5cnf-40var-1280cl.5UNSAT19.37
2qbf-5cnf-160var-320cl.7SAT19.39
6qbf-5cnf-40var-1280cl.8UNSAT19.39
4qbf-5cnf-40var-1280cl.0UNSAT19.43
x30.6SAT19.43
4qbf-5cnf-80var-1280cl.4UNSAT19.44
4qbf-5cnf-80var-1280cl.9UNSAT19.53
4qbf-5cnf-80var-1280cl.7UNSAT19.54
3qbf-5cnf-160var-2560cl.5UNSAT19.54
6qbf-5cnf-80var-2560cl.2UNSAT19.55
5qbf-5cnf-80var-1280cl.2UNSAT19.57
3qbf-5cnf-40var-320cl.4SAT19.62
2qbf-5cnf-40var-640cl.9UNSAT19.63
6qbf-5cnf-40var-1280cl.9UNSAT19.7
6qbf-5cnf-80var-2560cl.5UNSAT19.71
2qbf-5cnf-160var-2560cl.2UNSAT19.78
4qbf-5cnf-80var-2560cl.8UNSAT19.86
6qbf-5cnf-20var-640cl.0UNSAT19.87
3qbf-5cnf-40var-640cl.3UNSAT19.9
5qbf-5cnf-80var-2560cl.4UNSAT19.94
4qbf-5cnf-20var-640cl.7UNSAT19.95
5qbf-5cnf-40var-640cl.7UNSAT20.07
3qbf-5cnf-80var-1280cl.7UNSAT20.1
2qbf-5cnf-80var-1280cl.3UNSAT20.11
4qbf-5cnf-20var-640cl.0UNSAT20.12
6qbf-5cnf-160var-5120cl.2UNSAT20.14
5qbf-5cnf-20var-320cl.7UNSAT20.14
6qbf-5cnf-80var-2560cl.4UNSAT20.15
2qbf-5cnf-80var-1280cl.1UNSAT20.22
2qbf-5cnf-40var-320cl.3UNSAT20.32
6qbf-5cnf-80var-2560cl.7UNSAT20.33
6qbf-5cnf-80var-2560cl.6UNSAT20.38
6qbf-5cnf-80var-2560cl.9UNSAT20.42
6qbf-5cnf-80var-2560cl.3UNSAT20.44
2qbf-5cnf-40var-640cl.4UNSAT20.51
2qbf-5cnf-40var-640cl.0UNSAT20.53
ncf_16_32_4_u.9SAT20.61
4qbf-5cnf-80var-1280cl.2UNSAT20.62
6qbf-5cnf-160var-5120cl.0UNSAT20.68
5qbf-5cnf-160var-5120cl.4UNSAT20.77
4qbf-5cnf-160var-2560cl.7UNSAT20.82
3qbf-5cnf-80var-1280cl.5UNSAT20.85
4qbf-5cnf-20var-640cl.6UNSAT20.85
4qbf-5cnf-80var-2560cl.9UNSAT20.9
2qbf-5cnf-40var-640cl.3UNSAT20.91
4qbf-5cnf-80var-2560cl.1UNSAT20.93
2qbf-5cnf-160var-2560cl.9UNSAT20.95
4qbf-5cnf-80var-1280cl.6UNSAT20.95
4qbf-5cnf-80var-2560cl.0UNSAT20.97
4qbf-5cnf-40var-1280cl.9UNSAT20.98
5qbf-5cnf-160var-2560cl.9FAIL21
4qbf-5cnf-80var-1280cl.8UNSAT21.01
2qbf-5cnf-80var-1280cl.7UNSAT21.07
4qbf-5cnf-20var-640cl.8UNSAT21.09
5qbf-5cnf-40var-640cl.0FAIL21.11
5qbf-5cnf-40var-640cl.9UNSAT21.22
qshifter_8SAT21.23
x30.5UNSAT21.24
5qbf-5cnf-80var-1280cl.1UNSAT21.25
6qbf-5cnf-160var-5120cl.7UNSAT21.34
4qbf-5cnf-40var-1280cl.2UNSAT21.35
6qbf-5cnf-160var-5120cl.4UNSAT21.37
6qbf-5cnf-160var-5120cl.3UNSAT21.46
2qbf-5cnf-80var-1280cl.5UNSAT21.48
6qbf-5cnf-80var-2560cl.0UNSAT21.48
4qbf-5cnf-40var-1280cl.6UNSAT21.52
2qbf-5cnf-40var-640cl.8UNSAT21.54
4qbf-5cnf-80var-1280cl.0UNSAT21.56
5qbf-5cnf-80var-1280cl.4UNSAT21.6
4qbf-5cnf-80var-1280cl.1UNSAT21.63
6qbf-5cnf-160var-5120cl.9UNSAT21.71
ncf_8_16_4_euad.10SAT21.72
4qbf-5cnf-80var-2560cl.4UNSAT21.88
ncf_8_16_4_u.10SAT21.97
6qbf-5cnf-160var-5120cl.8UNSAT21.98
4qbf-5cnf-160var-2560cl.4UNSAT21.98
x30.1UNSAT21.98
2qbf-5cnf-160var-2560cl.6UNSAT22.04
4qbf-5cnf-80var-2560cl.7UNSAT22.13
6qbf-5cnf-160var-5120cl.6UNSAT22.21
3qbf-5cnf-80var-320cl.4SAT22.21
ncf_16_32_2_d.4UNSAT22.23
6qbf-5cnf-20var-320cl.5UNSAT22.25
4qbf-5cnf-160var-2560cl.1UNSAT22.25
ncf_16_32_2_u.6SAT22.27
3qbf-5cnf-80var-1280cl.1UNSAT22.28
4qbf-5cnf-80var-2560cl.5UNSAT22.38
4qbf-5cnf-80var-2560cl.2UNSAT22.4
4qbf-5cnf-20var-320cl.2UNSAT22.43
4qbf-5cnf-40var-1280cl.5UNSAT22.6
4qbf-5cnf-80var-2560cl.3UNSAT22.61
6qbf-5cnf-160var-5120cl.1UNSAT22.83
5qbf-5cnf-80var-1280cl.7UNSAT22.87
Adder2-6-sSAT23
4qbf-5cnf-40var-1280cl.8UNSAT23.15
4qbf-5cnf-160var-5120cl.7UNSAT23.26
sortnetsort7.v.stepl.005UNSAT23.28
6qbf-5cnf-40var-640cl.6UNSAT23.31
sortnetsort10.v.stepl.004UNSAT23.57
4qbf-5cnf-80var-1280cl.3UNSAT23.62
3qbf-5cnf-160var-2560cl.6UNSAT23.62
4qbf-5cnf-160var-2560cl.5UNSAT23.86
6qbf-5cnf-160var-5120cl.5UNSAT23.98
4qbf-5cnf-40var-1280cl.7UNSAT24.08
4qbf-5cnf-20var-320cl.6UNSAT24.43
x30.2UNSAT24.45
4qbf-5cnf-20var-160cl.2SAT24.5
4qbf-5cnf-160var-5120cl.0UNSAT24.78
3qbf-5cnf-20var-320cl.2UNSAT24.91
ncf_8_16_4_u.6UNSAT25.11
4qbf-5cnf-160var-5120cl.4UNSAT25.28
C880.blif_0.10_1.00_0_1_out_exactSAT25.54
3qbf-5cnf-40var-320cl.0SAT26
4qbf-5cnf-160var-5120cl.6UNSAT26.21
x30.9UNSAT26.25
4qbf-5cnf-160var-5120cl.5UNSAT26.36
5qbf-5cnf-160var-2560cl.6UNSAT26.59
5qbf-5cnf-80var-1280cl.5UNSAT26.63
k_lin_n-20SAT26.66
x30.8UNSAT26.94
3qbf-5cnf-20var-320cl.3UNSAT27.01
5qbf-5cnf-160var-2560cl.0UNSAT27.26
sortnetsort10.v.stepl.009SAT27.38
5qbf-5cnf-160var-5120cl.1UNSAT27.47
5qbf-5cnf-160var-2560cl.1UNSAT27.51
adder-6-satSAT27.61
4qbf-5cnf-160var-5120cl.9UNSAT27.75
4qbf-5cnf-160var-5120cl.2UNSAT27.77
4qbf-5cnf-20var-320cl.1UNSAT27.89
5qbf-5cnf-20var-320cl.1UNSAT28.04
3qbf-5cnf-40var-320cl.1SAT28.51
5qbf-5cnf-40var-640cl.3UNSAT28.74
4qbf-5cnf-160var-5120cl.1UNSAT28.79
4qbf-5cnf-160var-5120cl.8UNSAT28.89
4qbf-5cnf-20var-320cl.9UNSAT28.92
4qbf-5cnf-160var-5120cl.3UNSAT29.77
ncf_8_16_4_edau.4SAT30.09
5qbf-5cnf-40var-640cl.6UNSAT30.18
5qbf-5cnf-40var-640cl.5UNSAT31.02
2qbf-5cnf-160var-5120cl.1UNSAT31.77
3qbf-5cnf-40var-320cl.9SAT31.9
2qbf-5cnf-160var-5120cl.2UNSAT31.94
nusmv.dme2-16.B-d2SAT32.04
2qbf-5cnf-40var-320cl.7UNSAT32.09
k_lin_n-21SAT32.54
2qbf-5cnf-160var-5120cl.6UNSAT32.84
3qbf-5cnf-160var-640cl.4SAT33.62
3qbf-5cnf-40var-320cl.3SAT33.99
3qbf-5cnf-40var-320cl.8SAT34.34
4qbf-5cnf-160var-2560cl.2UNSAT34.44
ncf_16_32_4_euad.1SAT35.16
2qbf-5cnf-160var-2560cl.8UNSAT35.56
5qbf-5cnf-160var-2560cl.8UNSAT35.73
ncf_4_16_2_d.8SAT36.11
k_branch_p-4UNSAT36.5
6qbf-5cnf-20var-320cl.6UNSAT37.03
ncf_16_32_2_edau.10UNSAT37.18
6qbf-5cnf-40var-640cl.7UNSAT37.5
3qbf-5cnf-160var-640cl.3SAT37.64
3qbf-5cnf-160var-640cl.7SAT37.67
4qbf-5cnf-20var-320cl.7UNSAT39.22
ncf_4_8_2_u.3UNSAT39.72
2qbf-5cnf-40var-320cl.6UNSAT39.94
2qbf-5cnf-40var-320cl.9UNSAT40.39
4qbf-5cnf-160var-2560cl.6UNSAT41.01
5qbf-5cnf-20var-640cl.5UNSAT41.16
ncf_16_32_4_d.1SAT41.64
5qbf-5cnf-20var-320cl.5UNSAT41.64
5qbf-5cnf-40var-640cl.2UNSAT41.72
ncf_4_8_4_euad.3UNSAT42.56
6qbf-5cnf-40var-640cl.1UNSAT43.73
5qbf-5cnf-20var-320cl.0UNSAT44.29
4qbf-5cnf-20var-320cl.5UNSAT44.86
x30.7UNSAT46.07
x30.3SAT46.16
3qbf-5cnf-160var-640cl.1SAT46.85
3qbf-5cnf-20var-320cl.9UNSAT47.5
6qbf-5cnf-20var-640cl.1UNSAT48.08
5qbf-5cnf-40var-320cl.0SAT48.22
2qbf-5cnf-160var-320cl.8SAT48.26
ncf_4_16_2_d.5UNSAT48.52
3qbf-5cnf-40var-320cl.2SAT48.74
robots_1_5_2_85.4SAT49.19
sortnetsort8.v.stepl.005UNSAT49.94
6qbf-5cnf-20var-640cl.8UNSAT49.97
ncf_4_16_4_d.6UNSAT50.29
ncf_4_16_2_d.10UNSAT51.41
6qbf-5cnf-20var-640cl.9UNSAT52.28
robots_1_5_5_26.4SAT52.85
robots_1_5_5_66.4SAT53.09
ncf_16_32_2_d.10UNSAT53.1
sortnetsort10.v.stepl.008SAT53.24
6qbf-5cnf-20var-320cl.3UNSAT53.66
eijk.bs1512.S-d2SAT54.03
ncf_4_8_4_u.1SAT54.23
2qbf-5cnf-80var-640cl.9UNSAT55.33
4qbf-5cnf-20var-320cl.3UNSAT56.99
3qbf-5cnf-20var-160cl.3SAT57.31
6qbf-5cnf-20var-640cl.4UNSAT57.49
sortnetsort10.v.stepl.012SAT58.12
x30.0UNSAT59.31
robots_1_5_2_3.4SAT59.6
6qbf-5cnf-20var-320cl.0UNSAT61.79
3qbf-5cnf-40var-320cl.5UNSAT62.03
counter_r_8SAT62.69
5qbf-5cnf-40var-320cl.7SAT63.04
3qbf-5cnf-40var-320cl.6SAT63.56
robots_1_5_2_82.4SAT63.94
sortnetsort10.v.stepl.011SAT64.13
robots_1_5_3_16.4SAT64.15
3qbf-5cnf-40var-320cl.7SAT66.54
k_ph_n-16SAT67.36
4qbf-5cnf-20var-160cl.9SAT68.13
robots_1_5_3_44.4SAT69.01
6qbf-5cnf-20var-320cl.9UNSAT69.78
6qbf-5cnf-20var-160cl.8SAT69.83
robots_1_5_2_45.4SAT70.2
robots_1_5_2_100.4SAT70.79
robots_1_5_2_39.4SAT71.43
5qbf-5cnf-160var-2560cl.4UNSAT71.5
nusmv.dme1-16.B-d2SAT71.93
6qbf-5cnf-20var-320cl.4UNSAT72.06
6qbf-5cnf-20var-320cl.2UNSAT72.27
sortnetsort10.v.stepl.010SAT72.3
robots_1_5_3_100.4SAT72.85
robots_1_5_2_99.4SAT73.06
robots_1_5_3_66.4SAT73.11
5qbf-5cnf-20var-320cl.6UNSAT75.02
robots_1_5_3_24.4SAT76.64
2qbf-5cnf-40var-320cl.0UNSAT77.5
ncf_4_16_2_edau.1UNSAT78.29
robots_1_5_2_21.4SAT78.82
5qbf-5cnf-40var-320cl.5SAT79.63
robots_1_5_2_80.4SAT79.81
3qbf-5cnf-80var-320cl.6SAT80.97
4qbf-5cnf-20var-160cl.6UNSAT80.98
robots_1_5_3_2.4SAT82.09
6qbf-5cnf-20var-320cl.1UNSAT82.19
robots_1_5_3_57.4SAT82.49
4qbf-5cnf-20var-640cl.2UNSAT83.96
counter_re_8SAT84.08
robots_1_5_2_2.4SAT86.52
x35.2SAT88.57
toilet_a_10_01.16UNSAT88.7
5qbf-5cnf-20var-320cl.9UNSAT90.44
5qbf-5cnf-160var-2560cl.5UNSAT91.8
4qbf-5cnf-20var-160cl.5UNSAT92.1
3qbf-5cnf-80var-320cl.0SAT92.35
2qbf-5cnf-160var-320cl.1SAT93.49
3qbf-5cnf-80var-320cl.2SAT94.83
5qbf-5cnf-20var-320cl.2UNSAT94.98
robots_1_5_4_46.4SAT97.78
robots_1_5_4_98.4SAT98.16
robots_1_5_5_30.4SAT98.22
robots_1_5_3_52.4SAT99.16
robots_1_5_4_91.4SAT99.32
robots_1_5_4_87.4SAT99.78
robots_1_5_4_2.4SAT100.31
k_branch_n-4SAT101.68
6qbf-5cnf-20var-320cl.8UNSAT101.94
robots_1_5_3_20.4SAT103.81
robots_1_5_4_50.4SAT105.84
robots_1_5_5_34.4SAT105.99
robots_1_5_5_45.4SAT106.26
ncf_4_16_2_u.10UNSAT109.06
3qbf-5cnf-160var-640cl.9SAT109.2
robots_1_5_3_78.4SAT109.25
5qbf-5cnf-40var-320cl.1SAT110.33
robots_1_5_4_51.4SAT110.95
ncf_4_8_4_euad.4UNSAT111.92
4qbf-5cnf-20var-320cl.0UNSAT112.4
robots_1_5_4_100.4SAT112.88
robots_1_5_4_31.4SAT113.14
robots_1_5_5_87.4SAT113.16
robots_1_5_5_93.4SAT113.89
ncf_4_8_4_u.4UNSAT114.52
3qbf-5cnf-20var-160cl.2SAT114.98
robots_1_5_5_12.4SAT116.54
robots_1_5_5_100.4SAT117.57
4qbf-5cnf-20var-160cl.8UNSAT117.7
robots_1_5_5_8.4SAT117.8
4qbf-5cnf-20var-160cl.1UNSAT117.97
6qbf-5cnf-20var-160cl.7SAT118.81
robots_1_5_4_30.4SAT119.29
5qbf-5cnf-20var-320cl.8UNSAT121.42
irst.dme4.B-f2FAIL123.91
ncf_4_16_2_u.8SAT123.93
szymanski-12-sUNSAT124.51
sortnetsort9.v.stepl.005UNSAT129.85
ncf_4_8_4_u.3UNSAT130.56
3qbf-5cnf-20var-320cl.5UNSAT131.73
5qbf-5cnf-160var-2560cl.3UNSAT134.43
4qbf-5cnf-40var-320cl.0UNSAT138.07
5qbf-5cnf-40var-320cl.2SAT138.12
6qbf-5cnf-20var-160cl.0SAT144.42
eijk.S344.S-f2FAIL146.79
3qbf-5cnf-80var-320cl.8SAT147.37
ncf_4_16_2_edau.5UNSAT147.84
6qbf-5cnf-40var-640cl.3UNSAT148.77
3qbf-5cnf-20var-320cl.8UNSAT148.79
3qbf-5cnf-20var-320cl.6UNSAT149.28
C880.blif_0.10_1.00_0_1_inp_exactSAT149.35
5qbf-5cnf-20var-640cl.3UNSAT149.53
5qbf-5cnf-20var-640cl.9UNSAT149.78
3qbf-5cnf-80var-320cl.5SAT149.78
3qbf-5cnf-20var-320cl.7UNSAT149.93
3qbf-5cnf-20var-160cl.9SAT149.94
3qbf-5cnf-20var-320cl.0UNSAT149.95
ncf_4_8_2_euad.3UNSAT150
3qbf-5cnf-80var-320cl.3SAT150
6qbf-5cnf-20var-160cl.5SAT150.02
3qbf-5cnf-20var-160cl.0SAT150.03
5qbf-5cnf-20var-640cl.8UNSAT150.08
3qbf-5cnf-20var-160cl.5SAT150.09
3qbf-5cnf-20var-160cl.4SAT150.13
4qbf-5cnf-20var-320cl.4UNSAT150.15
3qbf-5cnf-20var-160cl.6SAT150.21
3qbf-5cnf-20var-160cl.8SAT150.25
3qbf-5cnf-20var-160cl.7SAT150.3
3qbf-5cnf-20var-160cl.1SAT150.3
6qbf-5cnf-40var-640cl.0UNSAT150.34
3qbf-5cnf-80var-320cl.1SAT150.35
cmu.dme2.B-f2FAIL150.47
6qbf-5cnf-20var-320cl.7UNSAT150.48
ncf_4_16_2_u.7SAT150.54
3qbf-5cnf-80var-320cl.7SAT150.56
4qbf-5cnf-20var-160cl.3UNSAT150.85
4qbf-5cnf-80var-320cl.0SAT150.89
ncf_4_16_2_euad.7SAT151.36
6qbf-5cnf-20var-160cl.2SAT151.36
C432.blif_0.10_0.20_0_1_inp_exactSAT151.77
6qbf-5cnf-20var-160cl.1SAT151.77
6qbf-5cnf-20var-160cl.6SAT152.1
6qbf-5cnf-20var-160cl.4SAT153.54
4qbf-5cnf-20var-160cl.0UNSAT154.15
1qbf-5cnf-160var-2560cl.6SAT154.42
6qbf-5cnf-20var-160cl.3UNSAT155.73
5qbf-5cnf-40var-320cl.3SAT156
5qbf-5cnf-40var-320cl.4SAT159.18
4qbf-5cnf-20var-160cl.7UNSAT162.64
1qbf-5cnf-160var-2560cl.7SAT162.83
eijk.S349.S-f2FAIL164.32
eijk.S382.S-f2FAIL165.55
eijk.S444.S-f2FAIL166.13
k_branch_p-8FAIL169.61
k_branch_n-8FAIL170.05
4qbf-5cnf-20var-160cl.4UNSAT171.79
ncf_4_16_2_edau.8SAT173.25
k_branch_p-12FAIL173.92
ken.oop^2.C-f2FAIL175.22
ken.oop^1.C-f2FAIL175.62
test3_quant4FAIL176.9
ncf_4_16_4_d.10UNSAT183.76
k_d4_n-21FAIL187.52
6qbf-5cnf-20var-160cl.9SAT189.27
irst.dme5.B-f2FAIL189.38
eijk.S526.S-f2FAIL189.96
cmu.dme1.B-f2FAIL194.59
nusmv.reactor^2.C-f2FAIL196.86
k_d4_n-20FAIL198.01
nusmv.brp.B-f2FAIL200.37
nusmv.reactor^7.C-f2FAIL200.41
nusmv.reactor^6.C-f2FAIL201.78
nusmv.reactor^3.C-f2FAIL203.79
texas.ifetch1^5.E-f2FAIL208.86
irst.dme6.B-f2FAIL210.4
nusmv.reactor^4.C-f2FAIL210.54
3qbf-5cnf-20var-320cl.1UNSAT211.54
eijk.S298.S-f2FAIL215.69
eijk.bs1512.S-f2FAIL216.97
ev-pr-4x4-11-3-0-0-1-lgSAT217.99
vis.4-arbit^2.E-f2FAIL218.88
ncf_4_16_2_euad.8SAT219.53
2qbf-5cnf-40var-320cl.2UNSAT219.93
test5_quant_squaring5FAIL222.55
texas.ifetch1^9.E-f2FAIL224.27
5qbf-5cnf-80var-640cl.7FAIL227.08
6qbf-5cnf-80var-640cl.3FAIL227.51
5qbf-5cnf-80var-640cl.1FAIL229.39
2qbf-5cnf-40var-320cl.5UNSAT230.36
ncf_4_16_2_d.1UNSAT231.17
5qbf-5cnf-80var-640cl.6FAIL233.49
eijk.S386.S-f2FAIL233.65
5qbf-5cnf-80var-640cl.8FAIL233.92
eijk.S641.S-f2FAIL234.66
s499_d4_sFAIL238.12
eijk.S953.S-f2FAIL239.4
ev-pr-6x6-7-5-0-1-2-lgUNSAT240.14
x50.2UNSAT241.29
s820_d2_sFAIL242.4
eijk.S713.S-f2FAIL246.09
5qbf-5cnf-80var-640cl.4FAIL248.68
test5_quant_squaring4FAIL250.97
eijk.S420.S-f2FAIL251.9
4qbf-5cnf-160var-640cl.3FAIL253.96
1qbf-5cnf-160var-2560cl.9SAT254.84
k_d4_n-16FAIL256.3
s713_d2_sFAIL257.21
texas.two_proc^1.E-f2FAIL257.29
test5_quant7FAIL259.27
vis.4-arbit^1.E-f2FAIL259.94
ncf_4_8_4_u.7UNSAT265.13
2qbf-5cnf-80var-640cl.1UNSAT266.01
nusmv.syncarb10^2.B-f2FAIL267.46
5qbf-5cnf-80var-640cl.3FAIL267.85
texas.two_proc^3.E-f2FAIL268.14
eijk.S838.S-f2FAIL269.98
eijk.S510.S-f2FAIL272.73
3qbf-5cnf-160var-640cl.6SAT273.34
cmu.gigamax.B-f2FAIL273.73
ev-pr-8x8-7-7-0-1-2-lgUNSAT274.1
texas.ifetch1^7.E-f2FAIL274.82
4qbf-5cnf-160var-640cl.8FAIL275.18
2qbf-5cnf-40var-320cl.4UNSAT275.39
5qbf-5cnf-80var-640cl.2FAIL276.53
texas.two_proc^4.E-f2FAIL277.46
eijk.S208c.S-f2FAIL277.77
ncf_4_16_2_euad.1UNSAT278.46
x35.4UNSAT280.48
texas.two_proc^5.E-f2FAIL282.02
test5_quant5FAIL284.38
5qbf-5cnf-80var-640cl.9FAIL286.32
4qbf-5cnf-160var-640cl.0FAIL286.43
eijk.S820.S-f2FAIL287.85
3qbf-5cnf-160var-640cl.5FAIL294.21
5qbf-5cnf-40var-320cl.8FAIL294.87
ev-pr-8x8-5-7-0-1-2-lgUNSAT294.94
3qbf-5cnf-160var-640cl.0FAIL297.71
4qbf-5cnf-160var-640cl.7FAIL298.3
ev-pr-4x4-13-3-0-0-1-lgSAT298.94
5qbf-5cnf-80var-640cl.0FAIL299.98
6qbf-5cnf-80var-640cl.6FAIL300.27
ncf_4_32_2_u.2SAT303.74
test3_quant_squaring2FAIL305.18
test3_quant2FAIL305.2
6qbf-5cnf-80var-640cl.4FAIL306.54
5qbf-5cnf-80var-640cl.5FAIL310.54
x45.6UNSAT310.59
6qbf-5cnf-80var-640cl.5FAIL311.45
ncf_4_8_4_euad.1SAT312.29
4qbf-5cnf-160var-640cl.1FAIL312.38
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL313.29
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL320.12
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL322.02
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL322.52
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL322.71
4qbf-5cnf-80var-320cl.9FAIL324.6
texas.two_proc^2.E-f2FAIL333.27
5qbf-5cnf-40var-320cl.9FAIL337.39
6qbf-5cnf-80var-640cl.1FAIL338.47
6qbf-5cnf-80var-640cl.9FAIL340.44
ncf_4_32_2_edau.2SAT341.1
4qbf-5cnf-160var-640cl.2FAIL342.79
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL345.2
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL346.51
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL346.77
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL347.83
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL348.14
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL348.19
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL348.82
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL349.08
6qbf-5cnf-80var-640cl.2FAIL350.08
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL350.24
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL350.62
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL351.06
4qbf-5cnf-40var-320cl.3FAIL355.09
ev-pr-4x4-15-3-0-0-1-lgSAT359.38
ncf_4_8_4_euad.7FAIL359.63
vis.arbiter.E-f2FAIL362.22
6qbf-5cnf-80var-1280cl.4FAIL362.93
4qbf-5cnf-160var-640cl.6FAIL363.45
k_d4_n-12FAIL366.19
5qbf-5cnf-40var-320cl.6FAIL367.72
6qbf-5cnf-40var-320cl.9FAIL370.67
2qbf-5cnf-80var-1280cl.6UNSAT371.1
4qbf-5cnf-40var-320cl.7FAIL372.48
6qbf-5cnf-80var-640cl.8FAIL376.84
ncf_4_16_2_euad.5UNSAT380.61
texas.two_proc^6.E-f2FAIL381.5
5qbf-5cnf-160var-2560cl.2UNSAT383.11
4qbf-5cnf-40var-320cl.8FAIL384.79
6qbf-5cnf-40var-640cl.2FAIL386.52
4qbf-5cnf-80var-320cl.4FAIL387.75
x40.8UNSAT390.02
4qbf-5cnf-160var-640cl.9FAIL390.07
4qbf-5cnf-80var-320cl.2FAIL391.95
6qbf-5cnf-40var-320cl.4FAIL392.61
6qbf-5cnf-40var-320cl.7FAIL397.06
6qbf-5cnf-40var-320cl.2FAIL397.72
6qbf-5cnf-80var-640cl.0FAIL400.32
6qbf-5cnf-80var-1280cl.1FAIL400.91
3qbf-5cnf-160var-640cl.8FAIL402.62
5qbf-5cnf-80var-1280cl.8FAIL405.74
6qbf-5cnf-40var-320cl.8FAIL406.94
4qbf-5cnf-160var-640cl.5FAIL410.93
2qbf-5cnf-80var-640cl.2UNSAT411.12
ev-pr-4x4-17-3-0-0-1-lgSAT411.3
4qbf-5cnf-160var-640cl.4FAIL411.61
4qbf-5cnf-80var-320cl.8FAIL411.64
3qbf-5cnf-160var-640cl.2FAIL411.77
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL412.41
4qbf-5cnf-80var-320cl.1FAIL413.17
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL413.51
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL414.37
5qbf-5cnf-80var-1280cl.0FAIL417.03
4qbf-5cnf-40var-320cl.5FAIL417.09
vis.elevator^3.E-f2FAIL417.78
6qbf-5cnf-40var-320cl.3FAIL419.37
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL421.43
6qbf-5cnf-80var-1280cl.3FAIL423.09
6qbf-5cnf-80var-1280cl.6FAIL423.53
ncf_4_16_2_edau.10UNSAT425.35
6qbf-5cnf-80var-1280cl.8FAIL428.84
vis.elevator^2.E-f2FAIL432.31
4qbf-5cnf-80var-320cl.5FAIL432.79
6qbf-5cnf-80var-640cl.7FAIL437.58
6qbf-5cnf-40var-320cl.6FAIL439.69
ncf_4_16_2_u.5UNSAT440.08
2qbf-5cnf-40var-160cl.3SAT442.61
6qbf-5cnf-40var-640cl.5FAIL445.77
eijk.S832.S-f2FAIL446.99
ncf_8_16_4_euad.4FAIL447.31
ncf_4_16_4_edau.10FAIL449.69
6qbf-5cnf-40var-320cl.5FAIL451.76
6qbf-5cnf-80var-1280cl.2FAIL458.39
6qbf-5cnf-80var-1280cl.7FAIL458.74
6qbf-5cnf-80var-1280cl.9FAIL458.95
term1.blif_0.10_0.20_0_0_out_exactFAIL459.54
4qbf-5cnf-40var-320cl.9FAIL463.65
ncf_4_16_4_edau.7FAIL465.89
ncf_8_16_4_euad.6FAIL469.06
6qbf-5cnf-80var-1280cl.5FAIL471.72
6qbf-5cnf-40var-320cl.0FAIL475.49
ncf_8_16_4_u.3FAIL475.54
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL478.9
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL479.83
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL479.92
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL480.32
texas.PI_main^16.E-f2FAIL485.45
4qbf-5cnf-80var-320cl.7FAIL487.15
5qbf-5cnf-160var-2560cl.7UNSAT490.8
6qbf-5cnf-40var-640cl.8FAIL497.05
vis.coherence^5.E-f2FAIL499.97
4qbf-5cnf-40var-320cl.2FAIL501.34
ncf_8_16_4_edau.3FAIL502.3
ncf_8_16_4_euad.8FAIL504.94
ncf_8_16_4_d.4FAIL505.06
ncf_8_16_4_edau.9FAIL505.13
ncf_8_16_4_u.4FAIL506.43
6qbf-5cnf-80var-1280cl.0FAIL506.45
ncf_8_16_4_d.7FAIL508.7
ncf_4_16_4_u.10FAIL508.74
ncf_8_16_4_u.9FAIL511.65
sortnetsort5.AE.stepl.005FAIL514.76
ncf_4_16_4_u.7FAIL515.99
4qbf-5cnf-40var-320cl.4FAIL518.87
ncf_4_16_4_d.7FAIL519.3
C432.blif_0.10_0.20_0_0_out_exactFAIL524.79
6qbf-5cnf-40var-320cl.1FAIL525.51
ncf_8_16_4_euad.3FAIL527.23
2qbf-5cnf-80var-640cl.6UNSAT528.06
ncf_8_16_4_euad.9FAIL529.91
ncf_4_16_4_d.4FAIL531.91
vis.coherence^1.E-f2FAIL535.32
ncf_4_32_2_edau.8FAIL536.69
6qbf-5cnf-160var-2560cl.5FAIL538.31
ncf_4_16_4_edau.6FAIL539.01
ncf_4_16_4_u.2FAIL539.1
ncf_4_16_4_d.3FAIL540.13
vis.coherence^2.E-f2FAIL541.55
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL541.98
term1.blif_0.10_0.20_0_0_inp_exactUNSAT544.28
4qbf-5cnf-40var-320cl.1FAIL544.42
ncf_8_16_4_u.7FAIL545.02
vis.coherence^3.E-f2FAIL549.91
ncf_4_16_4_euad.2FAIL550.08
ncf_4_16_4_edau.4FAIL552.1
ncf_4_16_4_u.6FAIL553.59
ncf_8_16_4_u.8FAIL556.96
4qbf-5cnf-80var-320cl.3FAIL557.6
ncf_4_16_4_edau.2FAIL558.43
ncf_4_32_2_u.8FAIL560.61
ncf_4_16_4_edau.3FAIL563.33
ncf_8_16_4_edau.7FAIL568.15
ncf_4_16_4_euad.7FAIL568.29
ncf_4_16_4_u.4FAIL570.67
sortnetsort6.AE.stepl.003FAIL574.97
6qbf-5cnf-160var-2560cl.4FAIL575.63
ncf_16_32_2_euad.10FAIL578.16
ncf_4_8_8_euad.4FAIL579.41
ncf_4_8_8_euad.8FAIL589.37
ncf_4_16_4_u.3FAIL595.22
ncf_16_32_2_euad.1FAIL597.58
2qbf-5cnf-160var-2560cl.0UNSAT600
x70.7FAIL600
x95.0FAIL600
ncf_8_16_4_euad.7FAIL602.05
ncf_16_32_2_edau.8FAIL603.5
6qbf-5cnf-160var-2560cl.3FAIL603.55
adder-16-satFAIL609.91
ncf_4_16_4_euad.10FAIL611.63
texas.PI_main^10.E-f2FAIL612.28
texas.PI_main^12.E-f2FAIL613.11
6qbf-5cnf-160var-2560cl.0FAIL614.94
ncf_4_16_4_euad.3FAIL617.33
sortnetsort7.AE.stepl.003FAIL619.66
texas.PI_main^11.E-f2FAIL621.73
ncf_4_8_8_edau.10FAIL624.14
ncf_4_8_8_euad.5FAIL624.25
ncf_16_32_2_u.10FAIL625.46
ncf_8_16_4_d.9FAIL629.92
ncf_4_8_8_u.8FAIL638.44
ncf_4_8_8_euad.6FAIL640.16
ncf_4_16_4_euad.6FAIL640.71
ncf_16_32_2_d.3FAIL642.06
x35.7UNSAT645.88
6qbf-5cnf-160var-2560cl.1FAIL652.47
ncf_4_16_4_euad.4FAIL654.03
ncf_4_8_8_d.2FAIL654.32
sortnetsort5.AE.stepl.007FAIL654.92
texas.PI_main^02.E-f2FAIL658.58
ncf_16_32_4_d.3FAIL662.32
6qbf-5cnf-160var-2560cl.9FAIL663.51
ncf_4_8_8_d.7FAIL663.81
ncf_4_16_2_euad.10UNSAT668.83
4qbf-5cnf-80var-320cl.6FAIL674.29
ncf_16_32_2_edau.2FAIL677.33
sortnetsort6.AE.stepl.005FAIL677.36
ncf_16_32_2_u.3FAIL679.94
ncf_16_32_4_d.2FAIL680.84
ncf_16_32_2_euad.2FAIL683.65
ncf_8_16_4_d.3FAIL684
sortnetsort5.AE.stepl.003FAIL685.97
6qbf-5cnf-160var-2560cl.2FAIL687.82
ncf_16_32_2_d.8FAIL688.12
ncf_16_32_2_u.5FAIL690.99
ncf_16_32_2_d.5FAIL695.57
sortnetsort6.AE.stepl.006FAIL698.03
ncf_16_32_2_u.4FAIL699.01
ncf_16_32_4_edau.3FAIL704.02
ncf_16_32_2_euad.8FAIL705.21
k_d4_n-8FAIL708.97
ncf_16_32_4_euad.2FAIL710.3
ncf_4_8_8_edau.7FAIL710.55
ncf_16_32_2_edau.3FAIL713
Adder2-4-cFAIL714.71
ncf_4_16_8_euad.7FAIL719.2
ncf_16_32_4_u.1FAIL719.46
ncf_4_32_2_edau.5FAIL720.95
ncf_4_8_8_euad.2FAIL721.81
eijk.S208.S-f2FAIL722.5
ncf_4_16_4_d.2FAIL724.34
ncf_16_32_4_euad.5FAIL728.23
ncf_4_8_8_d.4FAIL729.9
sortnetsort5.AE.stepl.006FAIL729.98
ncf_16_32_2_edau.5FAIL732
ncf_16_32_2_d.2FAIL738.55
ncf_4_8_8_u.5FAIL743.56
ncf_16_32_4_euad.4FAIL746.25
ncf_4_8_8_u.7FAIL748.02
ncf_4_8_8_edau.6FAIL752.82
ncf_16_32_4_d.4FAIL755.27
ncf_4_8_8_u.2FAIL755.28
6qbf-5cnf-160var-2560cl.6FAIL756.35
ncf_16_32_2_d.1UNSAT761
6qbf-5cnf-160var-2560cl.8FAIL764
ncf_8_16_8_euad.8FAIL764.51
ncf_4_16_8_euad.10FAIL773.97
ncf_8_16_8_d.9FAIL775.24
ncf_4_16_8_u.6FAIL779.16
4qbf-5cnf-40var-320cl.6FAIL782.54
ncf_4_8_8_d.6FAIL784.69
ncf_16_32_4_euad.6FAIL787.38
sortnetsort7.AE.stepl.004FAIL789.61
ncf_8_16_8_d.3FAIL794.2
ncf_4_16_8_euad.4FAIL794.82
ncf_8_16_8_euad.10FAIL795.54
ncf_4_16_8_euad.8FAIL797.19
ncf_16_32_2_euad.6FAIL798.12
ncf_16_32_2_euad.5FAIL799.38
ncf_4_16_8_euad.5FAIL799.73
ncf_8_16_8_edau.9FAIL802.53
ncf_4_8_8_euad.7FAIL802.81
ncf_16_32_4_u.5FAIL803.35
sortnetsort5.AE.stepl.004FAIL803.94
ncf_4_8_8_u.6FAIL804.89
ncf_4_8_8_edau.4FAIL807.51
ncf_16_32_2_u.2FAIL808.96
sortnetsort6.AE.stepl.007FAIL809.45
ncf_8_16_8_euad.3FAIL810.89
ncf_16_32_4_d.6FAIL821.82
ncf_16_32_4_u.3FAIL825.4
ncf_16_32_4_u.10FAIL825.92
ncf_16_32_4_euad.8FAIL826.07
adder-8-satFAIL828.62
x55.9FAIL838.49
ncf_16_32_4_euad.7FAIL841.2
ncf_4_16_8_d.4FAIL846.79
ncf_4_8_8_edau.2FAIL847.71
adder-14-satFAIL850.57
ncf_16_32_4_edau.4FAIL854.29
ncf_4_16_8_d.3FAIL855.81
ncf_8_16_8_d.8FAIL858.79
ncf_16_32_2_u.1FAIL859.57
adder-10-satFAIL860.02
ncf_16_32_4_u.7FAIL862.92
ncf_16_32_4_d.8FAIL863.84
ncf_4_8_8_u.4FAIL865.23
ncf_8_16_8_euad.9FAIL872.58
ncf_16_32_8_edau.6FAIL874.38
sortnetsort7.AE.stepl.005FAIL877.48
ncf_8_16_8_d.10FAIL888.44
ncf_16_32_4_edau.2FAIL888.44
ncf_16_32_4_u.4FAIL889.18
ncf_4_8_8_d.10FAIL890.4
ncf_4_32_2_edau.6FAIL892.78
ncf_16_32_4_u.2FAIL893.38
sortnetsort6.AE.stepl.004FAIL901.08
ncf_4_16_8_euad.2FAIL902.96
ncf_4_8_8_euad.10FAIL906.35
ncf_4_16_8_euad.9FAIL908.52
ncf_4_16_8_d.9FAIL909.69
6qbf-5cnf-160var-2560cl.7FAIL923.24
ncf_8_16_8_euad.2FAIL924.26
ncf_4_16_8_u.10FAIL926.06
ncf_16_32_4_euad.10FAIL926.29
ncf_4_16_8_d.8FAIL931.77
ncf_4_16_8_d.7FAIL931.88
ncf_4_32_2_edau.9FAIL932.11
sortnetsort8.AE.stepl.003FAIL936.45
ncf_4_16_8_d.2FAIL937.17
ncf_8_16_8_euad.6FAIL937.7
ncf_8_16_8_edau.2FAIL937.71
ncf_4_8_8_u.10FAIL938.98
ncf_4_32_2_u.3FAIL940.82
mutex-16-sFAIL942.35
x45.1UNSAT945.07
ncf_16_32_4_edau.8FAIL945.67
ncf_8_16_8_d.7FAIL945.79
ncf_8_16_8_euad.7FAIL952.36
ncf_16_32_4_edau.6FAIL953.05
ncf_8_16_8_d.4FAIL960
ncf_16_32_8_d.6FAIL970.72
ncf_8_16_8_edau.3FAIL978.48
ncf_16_32_4_euad.9FAIL980.29
ncf_8_16_8_d.2FAIL986.7
ncf_4_16_8_d.6FAIL996.62
ncf_8_16_8_euad.4FAIL997.22
ncf_4_16_8_u.7FAIL1004.39
ncf_8_16_8_d.5FAIL1006.06
ncf_16_32_4_d.5FAIL1010.03
ncf_16_32_4_u.6FAIL1016.58
adder-12-satFAIL1018.41
ncf_4_16_8_euad.3FAIL1022.82
ncf_4_16_8_u.8FAIL1022.97
ncf_8_16_8_d.6FAIL1023.26
x40.3UNSAT1030.6
ncf_4_32_2_edau.4FAIL1041.1
ncf_16_32_4_euad.3FAIL1048.49
ncf_4_16_8_d.10FAIL1048.73
ncf_4_16_8_u.9FAIL1056.49
ncf_4_16_8_d.1FAIL1062.9
ncf_4_16_8_u.3FAIL1069.82
adder-8-unsatFAIL1070.66
ncf_16_32_4_edau.5FAIL1074.45
ncf_4_16_8_euad.6FAIL1091.85
ncf_16_32_4_u.8FAIL1094.01
x50.9FAIL1105.1
2qbf-5cnf-40var-160cl.0SAT1120.18
ncf_4_16_8_d.5FAIL1132.44
2qbf-5cnf-40var-160cl.9SAT1136.45
adder-6-unsatFAIL1140.26
ncf_4_16_8_u.1FAIL1144.53
ncf_8_16_8_edau.4FAIL1154.28
ncf_8_16_8_euad.5FAIL1158.58
ncf_4_16_8_u.5FAIL1162.38
ev-pr-6x6-9-5-0-1-2-lgUNSAT1170.53
ncf_8_16_8_edau.8FAIL1185.17
ncf_4_32_2_u.5FAIL1194.49
ncf_8_16_8_edau.5FAIL1202.11
ncf_16_32_8_euad.6FAIL1210.86
2qbf-5cnf-160var-2560cl.7UNSAT1230.88
ncf_16_32_8_euad.10FAIL1255.53
x70.5FAIL1258.67
sortnetsort7.AE.stepl.007FAIL1259.34
sortnetsort8.AE.stepl.004FAIL1265.22
ncf_4_32_2_u.4FAIL1268.93
ncf_4_16_8_u.4FAIL1270.88
ncf_16_32_8_d.7FAIL1286.86
sortnetsort8.AE.stepl.005FAIL1306.69
sortnetsort8.AE.stepl.006FAIL1308.86
ncf_16_32_2_u.8FAIL1310.38
ncf_4_16_8_u.2FAIL1336.21
ncf_16_32_8_euad.4FAIL1367.57
ncf_8_16_8_edau.10FAIL1371.21
x60.4FAIL1374.1
Adder2-6-cFAIL1374.72
ncf_8_16_8_edau.7FAIL1382.6
eijk.S208o.S-f2FAIL1384.75
sortnetsort7.AE.stepl.008FAIL1413.17
ncf_16_32_8_d.2FAIL1422.53
sortnetsort7.AE.stepl.006FAIL1440.76
C6288.blif_0.10_1.00_0_1_out_exactFAIL1441.84
ncf_16_32_8_d.8FAIL1449.05
ncf_16_32_8_euad.2FAIL1451.57
ncf_16_32_8_d.10FAIL1455.3
ncf_16_32_8_d.1FAIL1473.76
2qbf-5cnf-40var-160cl.1UNSAT1488.63
ncf_16_32_8_edau.3FAIL1491.43
ncf_16_32_8_euad.5FAIL1500.25
ncf_16_32_8_edau.7FAIL1505.29
x40.1FAIL1508.33
ncf_4_32_2_u.9FAIL1514.48
2qbf-5cnf-40var-160cl.4SAT1521.54
ncf_16_32_8_u.9FAIL1527.29
ncf_16_32_8_edau.5FAIL1540.62
sortnetsort9.AE.stepl.005FAIL1543.09
ncf_16_32_8_u.3FAIL1561.44
ncf_4_16_2_u.1FAIL1564.33
ncf_4_32_2_u.10FAIL1570.4
ncf_16_32_8_u.1FAIL1572.41
ncf_16_32_8_u.4FAIL1573.04
ncf_16_32_8_euad.7FAIL1607.55
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL1617.93
ncf_16_32_8_edau.1FAIL1624.79
x35.6FAIL1655.9
ncf_16_32_8_euad.1FAIL1663.19
mutex-32-sFAIL1678.31
ncf_16_32_8_euad.9FAIL1687.4
sortnetsort7.AE.stepl.009FAIL1688.84
sortnetsort8.AE.stepl.008FAIL1688.86
ncf_16_32_8_edau.2FAIL1701.03
x50.1UNSAT1719.47
ncf_16_32_8_edau.8FAIL1723.42
ncf_16_32_8_d.9FAIL1734.68
x90.9FAIL1736.94
ncf_16_32_8_u.8FAIL1737.1
ncf_16_32_8_euad.8FAIL1752.48
x55.8UNSAT1769.01
ncf_4_32_2_edau.3FAIL1769.05
ncf_16_32_8_d.5FAIL1780.72
ncf_16_32_8_u.5FAIL1815.91
ncf_16_32_8_d.3FAIL1833.21
ncf_16_32_8_u.7FAIL1842.77
ncf_16_32_2_edau.4FAIL1895.64
ncf_4_16_8_euad.1FAIL1928.05
ncf_16_32_8_edau.9FAIL2004.18
ncf_4_16_2_d.3UNSAT2008.94
sortnetsort10.AE.stepl.004FAIL2026.15
x35.0FAIL2028.5
ncf_16_32_8_u.2FAIL2065.22
ncf_16_32_8_u.6FAIL2078.41
ncf_16_32_8_u.10FAIL2078.64
ncf_16_32_2_euad.3FAIL2097.1
ncf_4_32_2_u.6FAIL2097.49
sortnetsort10.AE.stepl.005FAIL2122.53
x75.2FAIL2159.1
ncf_16_32_8_edau.10FAIL2188.87
2qbf-5cnf-40var-160cl.8SAT2207.98
ncf_4_32_2_u.7FAIL2215.84
ev-pr-8x8-9-7-0-1-2-lgFAIL2273.83
ncf_16_32_2_euad.4FAIL2414.57
ncf_4_16_2_u.3FAIL2417.73
ncf_16_32_8_euad.3FAIL2429.15
sortnetsort9.AE.stepl.007FAIL2450.09
2qbf-5cnf-40var-320cl.8UNSAT2458.12
sortnetsort9.AE.stepl.008FAIL2478.5
ev-pr-8x8-11-7-0-1-2-lgFAIL2502.36
x35.8SAT2565.42
ncf_4_16_2_euad.3FAIL2661
sortnetsort8.AE.stepl.009FAIL2699.38
sortnetsort9.AE.stepl.004FAIL2711.49
sortnetsort10.AE.stepl.009FAIL2727.41
ncf_4_16_2_edau.3FAIL2738.06
x50.8UNSAT2757.79
Adder2-8-sFAIL2802.62
sortnetsort10.AE.stepl.007FAIL2884.36
ncf_16_32_2_u.7FAIL2923.9
ncf_4_32_2_edau.7FAIL2929.31
x400.9FAIL2964.39
x50.0UNSAT2968.5
Adder2-8-cFAIL3016.86
x40.2UNSAT3099.03
adder-4-unsatFAIL3142.6
mutex-64-sFAIL3189.49
C432.blif_0.10_0.20_0_0_inp_exactFAIL3194.47
sortnetsort10.AE.stepl.008FAIL3206.72
x40.6UNSAT3217.22
sortnetsort9.AE.stepl.010FAIL3326.4
x215.2FAIL3456.17
x190.8FAIL3466.39
x400.2FAIL3521.68
x300.6FAIL3607.82
x400.6FAIL3624.5
x185.6FAIL3635.99
x235.3FAIL3643.84
x235.7FAIL3659.13
sortnetsort9.AE.stepl.012FAIL3682.54
x215.7FAIL3690.69
x230.2FAIL3723.72
x215.9FAIL3726.29
x60.9FAIL3728.81
x160.6FAIL3745.21
x55.7UNSAT3745.93
ncf_4_32_2_edau.10FAIL3751.27
x210.8FAIL3758.66
x210.3FAIL3765.2
x205.8FAIL3832.16
x240.1FAIL3833.98
x350.5FAIL3834.49
x210.5FAIL3855.63
x185.9FAIL3872.9
sortnetsort9.AE.stepl.011FAIL3875.69
x200.0FAIL3885
x250.6FAIL3914.59
x230.4FAIL3940.76
x230.0FAIL3945.59
x175.2FAIL3966.04
x250.2FAIL3970.63
x235.6FAIL3978.8
x205.4FAIL3997.46
x180.5FAIL4012.11
x350.7FAIL4023.39
x245.6FAIL4023.84
x165.6FAIL4026.79
x200.2FAIL4071.01
x400.5FAIL4076.32
x210.9FAIL4108.82
x130.2FAIL4109.26
T-adeu-9FAIL4132.15
x235.4FAIL4134.8
x250.5FAIL4138.5
x400.0FAIL4141.59
x175.6FAIL4152.11
x400.7FAIL4217.71
x300.5FAIL4282.19
x300.0FAIL4290.27
x250.0FAIL4311.45
sortnetsort10.AE.stepl.012FAIL4321.1
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL4334
x350.9FAIL4334.97
x175.7FAIL4336.48
x200.6FAIL4337.53
sortnetsort9.AE.stepl.006FAIL4371.03
x170.3FAIL4376.17
x170.7FAIL4401.21
x185.1FAIL4405.33
x400.4FAIL4409.12
x350.6FAIL4415.54
x165.8FAIL4420.9
x130.6FAIL4426.1
sortnetsort8.AE.stepl.007FAIL4429.5
x350.0FAIL4430.62
x190.5FAIL4434.36
x225.3FAIL4452.07
x225.5FAIL4468.61
x350.4FAIL4481.24
x210.1FAIL4486.15
x170.1FAIL4490.78
x195.9FAIL4491.54
x160.3FAIL4494.58
x210.6FAIL4508.23
x175.5FAIL4522.48
x190.6FAIL4527.08
x250.9FAIL4555.16
sortnetsort10.AE.stepl.010FAIL4600.63
x170.8FAIL4602.6
x160.5FAIL4608.64
sortnetsort9.AE.stepl.009FAIL4610.46
x170.2FAIL4622.78
x400.3FAIL4623.8
x190.0FAIL4657.1
x165.0FAIL4678.94
x145.8FAIL4689.88
x300.3FAIL4695.98
x175.8FAIL4713.04
x185.8FAIL4725.93
x175.4FAIL4759.84
x230.5FAIL4775.36
ncf_4_32_2_u.1FAIL4790.68
x175.1FAIL4815.6
x300.2FAIL4837.39
x160.9FAIL4841.8
x210.2FAIL4843.67
x200.7FAIL4843.74
x210.7FAIL4844.02
x165.7FAIL4844.44
x350.8FAIL4863.63
x75.7FAIL4895.37
x170.9FAIL4897.22
2qbf-5cnf-160var-2560cl.4UNSAT4917.24
x245.9FAIL4934.85
x120.1FAIL4946.21
x300.1FAIL4948.44
sortnetsort10.AE.stepl.011FAIL4951.49
x300.4FAIL4957.74
x180.6FAIL4958.36
x35.3UNSAT4967.58
x245.4FAIL4975.12
x350.2FAIL4992.4
x300.9FAIL5003.24
x155.7FAIL5024.28
x300.8FAIL5024.9
x145.2FAIL5026.52
x200.4FAIL5045.37
x400.1FAIL5046.1
x225.8FAIL5075.46
x115.5FAIL5112.72
ncf_16_32_2_edau.1UNSAT5164.98
x155.9FAIL5170.26
sortnetsort10.AE.stepl.006FAIL5175.8
x215.1FAIL5176.29
x130.0FAIL5180.6
x205.6FAIL5214.26
x115.4FAIL5232.73
x210.4FAIL5255.41
x145.4FAIL5258.14
x230.1FAIL5297.35
x160.7FAIL5297.66
x130.8FAIL5331
x155.2FAIL5383.22
x220.6FAIL5397.19
x145.9FAIL5402.85
x195.7FAIL5408.35
x200.1FAIL5411.16
x125.6FAIL5487.32
x185.2FAIL5489.06
x165.5FAIL5550.57
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL5555.16
x150.6FAIL5562.7
x130.4FAIL5565.23
2qbf-5cnf-40var-160cl.5FAIL5571.99
x155.6FAIL5600.18
x240.7FAIL5613.99
x245.3FAIL5627.64
x125.0FAIL5666.74
x135.2FAIL5669.54
x250.1FAIL5674.7
x135.5FAIL5690.24
x195.2FAIL5696.49
x65.9FAIL5723.98
x135.0FAIL5749.39
x240.8FAIL5751.86
x175.3FAIL5793.4
x250.8FAIL5826.05
x165.1FAIL5834.93
x50.5FAIL5845.85
x225.4FAIL5846.03
x135.1FAIL5847.11
x55.5FAIL5868.34
x170.0FAIL5872.74
x140.9FAIL5890.49
x80.3FAIL5903.03
x60.5FAIL5905.18
x70.2FAIL5911.02
x95.9FAIL5911.94
x80.0FAIL5917.87
2qbf-5cnf-80var-320cl.4FAIL5920.77
x245.8FAIL5922.88
x65.5FAIL5925.29
2qbf-5cnf-80var-320cl.8FAIL5925.76
x55.0FAIL5933.54
x140.0FAIL5933.69
x90.2FAIL5934.79
x65.1FAIL5935.57
x100.0FAIL5936.27
x145.3FAIL5938.32
x65.0FAIL5939.63
2qbf-5cnf-80var-320cl.5FAIL5939.86
x45.4FAIL5940.58
x85.3FAIL5941.49
2qbf-5cnf-80var-320cl.7FAIL5943.33
x95.3FAIL5944.28
x70.6FAIL5944.69
2qbf-5cnf-80var-320cl.3FAIL5945.25
x70.3FAIL5947.17
x70.4FAIL5947.35
x45.7FAIL5948.66
2qbf-5cnf-80var-320cl.2FAIL5951.3
x145.6FAIL5951.59
x90.8FAIL5952.74
x100.2FAIL5953.12
x95.8FAIL5954.5
x85.7FAIL5954.62
x85.2FAIL5955.09
x70.9FAIL5956.02
x80.9FAIL5956.52
x70.1FAIL5957.05
x85.8FAIL5957.5
x60.7FAIL5958.97
2qbf-5cnf-80var-320cl.0FAIL5960.48
x125.2FAIL5961.19
x140.3FAIL5963.24
x125.9FAIL5963.97
x90.6FAIL5964.69
x245.1FAIL5965.93
x90.4FAIL5967.34
2qbf-5cnf-80var-320cl.9FAIL5968.37
x70.0FAIL5969.03
x105.1FAIL5969.24
x95.6FAIL5970.41
x85.1FAIL5973.62
2qbf-5cnf-80var-320cl.6FAIL5973.65
x145.1FAIL5973.87
x105.8FAIL5974.12
x85.9FAIL5975.45
x55.4FAIL5977.19
x100.4FAIL5977.29
x120.2FAIL5977.34
x70.8FAIL5977.45
x75.5FAIL5978.63
2qbf-5cnf-80var-320cl.1FAIL5979.23
2qbf-5cnf-80var-640cl.8FAIL5979.37
x60.6FAIL5980.16
texas.ifetch1^3.E-f2FAIL5980.23
x180.0FAIL5980.53
x100.9FAIL5982.86
x120.7FAIL5983.36
x135.8FAIL5983.58
x95.2FAIL5984.03
x75.6FAIL5984.06
x135.4FAIL5984.46
2qbf-5cnf-80var-640cl.7FAIL5984.99
2qbf-5cnf-80var-640cl.0FAIL5985.51
x90.7FAIL5985.7
x80.7FAIL5986
x65.3FAIL5987.45
x115.6FAIL5987.91
x55.2FAIL5988.24
x80.1FAIL5989.29
x145.7FAIL5989.85
x110.3FAIL5990.06
2qbf-5cnf-80var-640cl.3FAIL5990.39
texas.ifetch1^2.E-f2FAIL5990.43
2qbf-5cnf-80var-640cl.5FAIL5991.03
x40.9FAIL5991.11
x90.0FAIL5991.11
2qbf-5cnf-80var-640cl.4FAIL5991.47
x120.0FAIL5992.23
x115.3FAIL5992.56
x115.2FAIL5993.72
x75.1FAIL5993.73
x55.3FAIL5994.59
x110.5FAIL5995.07
x150.8FAIL5995.26
x75.8FAIL5995.58
x110.2FAIL5995.59
x65.2FAIL5996.07
x40.4FAIL5996.42
x50.7FAIL5996.79
x95.7FAIL5997.79
x100.6FAIL5997.81
x100.3FAIL5999.06
x150.5FAIL5999.28
szymanski-18-sFAIL6000.42
2qbf-5cnf-160var-5120cl.3FAIL6000.42
2qbf-5cnf-160var-2560cl.5FAIL6000.42
szymanski-22-sFAIL6000.42
2qbf-5cnf-160var-5120cl.7FAIL6000.42
2qbf-5cnf-160var-5120cl.9FAIL6000.42
szymanski-14-sFAIL6000.42
szymanski-20-sFAIL6000.42
2qbf-5cnf-160var-2560cl.1FAIL6000.42
szymanski-24-sFAIL6000.42
szymanski-16-sFAIL6000.42
2qbf-5cnf-160var-2560cl.3FAIL6000.42
2qbf-5cnf-160var-5120cl.4FAIL6000.42
2qbf-5cnf-160var-5120cl.0FAIL6000.42
mutex-128-sFAIL6000.42
2qbf-5cnf-160var-5120cl.5FAIL6000.42
2qbf-5cnf-160var-5120cl.8FAIL6000.42
1qbf-5cnf-80var-2560cl.1FAIL6000.42
1qbf-5cnf-80var-2560cl.5FAIL6000.42
1qbf-5cnf-80var-2560cl.2FAIL6000.42
1qbf-5cnf-80var-2560cl.6FAIL6000.42
1qbf-5cnf-80var-2560cl.3FAIL6000.42
1qbf-5cnf-80var-2560cl.4FAIL6000.42
1qbf-5cnf-80var-2560cl.9FAIL6000.42
1qbf-5cnf-80var-2560cl.7FAIL6000.42
1qbf-5cnf-80var-2560cl.0FAIL6000.42
1qbf-5cnf-80var-2560cl.8FAIL6000.42
x100.1FAIL6000.42
x100.5FAIL6000.42
x100.7FAIL6000.42
x100.8FAIL6000.42
x105.0FAIL6000.42
x105.2FAIL6000.42
x105.3FAIL6000.42
x105.4FAIL6000.42
x105.5FAIL6000.42
x105.6FAIL6000.42
x105.7FAIL6000.42
x105.9FAIL6000.42
x110.0FAIL6000.42
x110.1FAIL6000.42
x110.4FAIL6000.42
x110.6FAIL6000.42
x110.7FAIL6000.42
x110.8FAIL6000.42
x110.9FAIL6000.42
x115.0FAIL6000.42
x115.7FAIL6000.42
x115.8FAIL6000.42
x115.9FAIL6000.42
x120.3FAIL6000.42
x120.4FAIL6000.42
x120.5FAIL6000.42
x120.6FAIL6000.42
x120.8FAIL6000.42
x120.9FAIL6000.42
x125.1FAIL6000.42
x125.3FAIL6000.42
x125.4FAIL6000.42
x125.5FAIL6000.42
x125.7FAIL6000.42
x125.8FAIL6000.42
x130.1FAIL6000.42
x130.3FAIL6000.42
x130.5FAIL6000.42
x130.7FAIL6000.42
x130.9FAIL6000.42
x135.3FAIL6000.42
x135.6FAIL6000.42
x135.7FAIL6000.42
x135.9FAIL6000.42
x140.1FAIL6000.42
x140.2FAIL6000.42
x140.4FAIL6000.42
x140.5FAIL6000.42
x140.6FAIL6000.42
x140.7FAIL6000.42
x140.8FAIL6000.42
x145.0FAIL6000.42
x145.5FAIL6000.42
x150.0FAIL6000.42
x150.1FAIL6000.42
x150.2FAIL6000.42
x150.3FAIL6000.42
x150.4FAIL6000.42
x150.7FAIL6000.42
x150.9FAIL6000.42
x155.0FAIL6000.42
x155.1FAIL6000.42
x155.3FAIL6000.42
x155.4FAIL6000.42
x155.5FAIL6000.42
x155.8FAIL6000.42
x160.0FAIL6000.42
x160.1FAIL6000.42
x160.2FAIL6000.42
x160.4FAIL6000.42
x160.8FAIL6000.42
x165.2FAIL6000.42
x165.3FAIL6000.42
x165.4FAIL6000.42
x165.9FAIL6000.42
x170.4FAIL6000.42
x170.5FAIL6000.42
x170.6FAIL6000.42
x175.0FAIL6000.42
x175.9FAIL6000.42
x180.1FAIL6000.42
x180.2FAIL6000.42
x180.3FAIL6000.42
x180.4FAIL6000.42
x180.7FAIL6000.42
x180.8FAIL6000.42
x180.9FAIL6000.42
x185.0FAIL6000.42
x185.3FAIL6000.42
x185.4FAIL6000.42
x185.5FAIL6000.42
x185.7FAIL6000.42
x190.1FAIL6000.42
x190.2FAIL6000.42
x190.3FAIL6000.42
x190.4FAIL6000.42
x190.7FAIL6000.42
x190.9FAIL6000.42
x195.0FAIL6000.42
x195.1FAIL6000.42
x195.3FAIL6000.42
x195.4FAIL6000.42
x195.5FAIL6000.42
x195.6FAIL6000.42
x195.8FAIL6000.42
x200.3FAIL6000.42
x200.5FAIL6000.42
x200.8FAIL6000.42
x200.9FAIL6000.42
x205.0FAIL6000.42
x205.1FAIL6000.42
x205.2FAIL6000.42
x205.3FAIL6000.42
x205.5FAIL6000.42
x205.7FAIL6000.42
x205.9FAIL6000.42
x210.0FAIL6000.42
x215.0FAIL6000.42
x215.3FAIL6000.42
x215.4FAIL6000.42
x215.5FAIL6000.42
x215.6FAIL6000.42
x215.8FAIL6000.42
x220.0FAIL6000.42
x220.1FAIL6000.42
x220.2FAIL6000.42
x220.3FAIL6000.42
x220.4FAIL6000.42
x220.5FAIL6000.42
x220.7FAIL6000.42
x220.8FAIL6000.42
x220.9FAIL6000.42
x225.0FAIL6000.42
x225.1FAIL6000.42
x225.2FAIL6000.42
x225.6FAIL6000.42
x225.7FAIL6000.42
x225.9FAIL6000.42
x230.3FAIL6000.42
x230.6FAIL6000.42
x230.7FAIL6000.42
x230.8FAIL6000.42
x230.9FAIL6000.42
x235.0FAIL6000.42
x235.1FAIL6000.42
x235.2FAIL6000.42
x235.5FAIL6000.42
x235.8FAIL6000.42
x235.9FAIL6000.42
x240.0FAIL6000.42
x240.2FAIL6000.42
x240.3FAIL6000.42
x240.4FAIL6000.42
x240.5FAIL6000.42
x240.6FAIL6000.42
x240.9FAIL6000.42
x245.0FAIL6000.42
x245.2FAIL6000.42
x245.5FAIL6000.42
x245.7FAIL6000.42
x250.3FAIL6000.42
x250.4FAIL6000.42
x250.7FAIL6000.42
x300.7FAIL6000.42
x350.1FAIL6000.42
x350.3FAIL6000.42
x35.1FAIL6000.42
x35.5FAIL6000.42
x35.9FAIL6000.42
x400.8FAIL6000.42
x40.0FAIL6000.42
x40.5FAIL6000.42
x40.7FAIL6000.42
x45.0FAIL6000.42
x45.2FAIL6000.42
x45.3FAIL6000.42
x45.5FAIL6000.42
x45.8FAIL6000.42
x45.9FAIL6000.42
x50.3FAIL6000.42
x50.4FAIL6000.42
x50.6FAIL6000.42
x55.1FAIL6000.42
x55.6FAIL6000.42
x60.0FAIL6000.42
x60.1FAIL6000.42
x60.2FAIL6000.42
x60.3FAIL6000.42
x60.8FAIL6000.42
x65.4FAIL6000.42
x65.6FAIL6000.42
x65.7FAIL6000.42
x65.8FAIL6000.42
x75.0FAIL6000.42
x75.3FAIL6000.42
x75.4FAIL6000.42
x80.2FAIL6000.42
x80.4FAIL6000.42
x80.5FAIL6000.42
x80.6FAIL6000.42
x80.8FAIL6000.42
x85.0FAIL6000.42
x85.4FAIL6000.42
x85.5FAIL6000.42
x85.6FAIL6000.42
x90.1FAIL6000.42
x90.3FAIL6000.42
x90.5FAIL6000.42
x95.1FAIL6000.42
x95.4FAIL6000.42
x95.5FAIL6000.42
S-adeu-0FAIL6000.42
S-adeu-1FAIL6000.42
S-adeu-2FAIL6000.42
S-adeu-3FAIL6000.42
S-adeu-4FAIL6000.42
S-adeu-5FAIL6000.42
S-adeu-6FAIL6000.42
S-adeu-7FAIL6000.42
S-adeu-8FAIL6000.42
S-adeu-9FAIL6000.42
S-edau-0FAIL6000.42
S-edau-1FAIL6000.42
S-edau-2FAIL6000.42
S-edau-3FAIL6000.42
S-edau-4FAIL6000.42
S-edau-5FAIL6000.42
S-edau-6FAIL6000.42
S-edau-7FAIL6000.42
S-edau-8FAIL6000.42
S-edau-9FAIL6000.42
T-adeu-0FAIL6000.42
T-adeu-1FAIL6000.42
T-adeu-2FAIL6000.42
T-adeu-3FAIL6000.42
T-adeu-4FAIL6000.42
T-adeu-5FAIL6000.42
T-adeu-6FAIL6000.42
T-adeu-7FAIL6000.42
T-adeu-8FAIL6000.42
T-edau-0FAIL6000.42
T-edau-1FAIL6000.42
T-edau-2FAIL6000.42
T-edau-3FAIL6000.42
T-edau-4FAIL6000.42
T-edau-5FAIL6000.42
T-edau-6FAIL6000.42
T-edau-7FAIL6000.42
T-edau-8FAIL6000.42
T-edau-9FAIL6000.42
sortnetsort10.v.stepl.005FAIL6000.42
sortnetsort10.v.stepl.006FAIL6000.42
sortnetsort10.v.stepl.007FAIL6000.42
sortnetsort9.v.stepl.006FAIL6000.42
sortnetsort9.v.stepl.007FAIL6000.42
x115.1FAIL6001.44
x75.9FAIL6002.91