QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Instances solved by
sKizzo-0.9-abs
QBFEVAL'06
Instance
Result
Time
ncf_8_16_4_d.1
SAT
0
ncf_16_32_2_edau.6
SAT
0
ncf_4_16_4_d.5
SAT
0
ncf_4_16_2_d.2
SAT
0
5qbf-5cnf-160var-640cl.8
SAT
0
ncf_8_16_4_d.10
SAT
0
6qbf-5cnf-160var-640cl.2
SAT
0
ncf_4_16_4_d.8
SAT
0
ncf_4_8_8_d.1
SAT
0
ncf_4_8_4_u.9
SAT
0
ncf_4_16_2_edau.6
SAT
0
tree-exa2-50
UNSAT
0
5qbf-5cnf-160var-640cl.6
SAT
0
6qbf-5cnf-160var-640cl.9
SAT
0
ncf_4_16_4_edau.5
SAT
0
ncf_16_32_4_d.3
SAT
0
x5.2
UNSAT
0
x5.4
UNSAT
0
x5.5
UNSAT
0
x5.6
UNSAT
0
x5.9
UNSAT
0
cmu.dme1.B-d2
SAT
0
texas.parsesys^1.E-d2
SAT
0
vis.bakery.E-d2
SAT
0
Qq2k1k4v40v40m2s0
SAT
0
Qq2k1k4v40v40m2s2
SAT
0
Qq2k1k4v40v40m2s3
SAT
0
Qq2k1k4v40v40m2s4
SAT
0
Qq2k1k4v40v40m2s5
SAT
0
Qq2k1k4v40v40m2s6
SAT
0
Qq2k1k4v40v40m2s7
SAT
0
Qq2k1k4v40v40m2s8
SAT
0
Qq2k1k4v40v40m4s2
UNSAT
0
Qq2k1k4v40v40m4s3
SAT
0
Qq2k1k4v40v40m4s4
SAT
0
Qq2k1k4v40v40m4s7
SAT
0
Qq2k1k4v40v40m4s8
SAT
0
Qq2k1k4v40v40m8s0
SAT
0
Qq2k1k4v40v40m8s1
SAT
0
Qq2k1k4v40v40m8s3
SAT
0
Qq2k1k4v40v40m8s4
SAT
0
Qq2k1k4v40v40m8s5
SAT
0
Qq2k1k4v40v40m8s6
UNSAT
0
Qq2k1k4v40v40m8s7
SAT
0
Qq2k1k4v40v40m8s8
SAT
0
Qq2k1k4v40v40m8s9
SAT
0
Qq2k1k4v40v40m16s0
UNSAT
0
Qq2k1k4v40v40m16s1
SAT
0
Qq2k1k4v40v40m16s2
UNSAT
0
Qq2k1k4v40v40m16s3
UNSAT
0
Qq2k1k4v40v40m16s5
SAT
0
Qq2k1k4v40v40m16s6
UNSAT
0
Qq2k1k4v40v40m16s9
UNSAT
0
Qq2k1k4v40v40m32s0
UNSAT
0
Qq2k1k4v40v40m32s1
UNSAT
0
Qq2k1k4v40v40m32s2
UNSAT
0
Qq2k1k4v40v40m32s3
UNSAT
0
Qq2k1k4v40v40m32s5
UNSAT
0
Qq2k1k4v40v40m32s6
UNSAT
0
Qq2k1k4v40v40m32s7
UNSAT
0
Qq2k1k4v80v80m2s0
SAT
0
Qq2k1k4v80v80m2s1
SAT
0
Qq2k1k4v80v80m2s2
SAT
0
Qq2k1k4v80v80m2s3
SAT
0
Qq2k1k4v80v80m2s5
SAT
0
Qq2k1k4v80v80m2s6
SAT
0
Qq2k1k4v80v80m2s7
SAT
0
Qq2k1k4v80v80m2s8
SAT
0
Qq2k1k4v80v80m4s0
SAT
0
Qq2k1k4v80v80m4s1
SAT
0
Qq2k1k4v80v80m4s2
SAT
0
Qq2k1k4v80v80m4s3
SAT
0
Qq2k1k4v80v80m4s4
SAT
0
Qq2k1k4v80v80m4s5
SAT
0
Qq2k1k4v80v80m4s7
SAT
0
Qq2k1k4v80v80m4s8
SAT
0
Qq2k1k4v80v80m8s1
SAT
0
Qq2k1k4v80v80m8s2
SAT
0
Qq2k1k4v80v80m8s4
SAT
0
Qq2k1k4v80v80m8s5
SAT
0
Qq2k1k4v80v80m8s6
SAT
0
Qq2k1k4v80v80m8s7
SAT
0
Qq2k1k4v80v80m8s8
SAT
0
Qq2k1k4v80v80m8s9
SAT
0
Qq2k1k4v80v80m16s0
UNSAT
0
Qq2k1k4v80v80m16s1
SAT
0
Qq2k1k4v80v80m16s2
SAT
0
Qq2k1k4v80v80m16s3
UNSAT
0
Qq2k1k4v80v80m16s4
SAT
0
Qq2k1k4v80v80m16s5
SAT
0
Qq2k1k4v80v80m16s6
SAT
0
Qq2k1k4v80v80m16s8
UNSAT
0
Qq2k1k4v80v80m16s9
SAT
0
Qq2k1k4v80v80m32s0
UNSAT
0
Qq2k1k4v80v80m32s1
SAT
0
Qq2k1k4v80v80m32s2
UNSAT
0
Qq2k1k4v80v80m32s3
UNSAT
0
Qq2k1k4v80v80m32s7
SAT
0
Qq2k1k4v80v80m32s8
UNSAT
0
Qq2k1k4v80v80m32s9
UNSAT
0
Qq2k2k3v40v40m2s0
SAT
0
Qq2k2k3v40v40m2s1
SAT
0
Qq2k2k3v40v40m2s2
SAT
0
Qq2k2k3v40v40m2s3
SAT
0
Qq2k2k3v40v40m2s4
SAT
0
Qq2k2k3v40v40m2s5
SAT
0
Qq2k2k3v40v40m2s6
SAT
0
Qq2k2k3v40v40m2s7
SAT
0
Qq2k2k3v40v40m2s8
SAT
0
Qq2k2k3v40v40m4s0
SAT
0
Qq2k2k3v40v40m4s1
SAT
0
Qq2k2k3v40v40m4s3
SAT
0
Qq2k2k3v40v40m4s5
SAT
0
Qq2k2k3v40v40m4s6
SAT
0
Qq2k2k3v40v40m4s8
SAT
0
Qq2k2k3v40v40m4s9
SAT
0
Qq2k2k3v40v40m8s0
SAT
0
Qq2k2k3v40v40m8s1
SAT
0
Qq2k2k3v40v40m8s2
SAT
0
Qq2k2k3v40v40m8s4
SAT
0
Qq2k2k3v40v40m8s5
SAT
0
Qq2k2k3v40v40m8s6
SAT
0
Qq2k2k3v40v40m8s7
SAT
0
Qq2k2k3v40v40m8s8
SAT
0
Qq2k2k3v40v40m8s9
SAT
0
Qq2k2k3v40v40m16s0
SAT
0
Qq2k2k3v40v40m16s1
SAT
0
Qq2k2k3v40v40m16s2
SAT
0
Qq2k2k3v40v40m16s3
SAT
0
Qq2k2k3v40v40m16s4
SAT
0
Qq2k2k3v40v40m16s5
SAT
0
Qq2k2k3v40v40m16s6
SAT
0
Qq2k2k3v40v40m16s7
SAT
0
Qq2k2k3v40v40m16s8
SAT
0
Qq2k2k3v40v40m16s9
SAT
0
Qq2k2k3v40v40m32s0
SAT
0
Qq2k2k3v40v40m32s1
SAT
0
Qq2k2k3v40v40m32s4
SAT
0
Qq2k2k3v40v40m32s5
SAT
0
Qq2k2k3v40v40m32s6
SAT
0
Qq2k2k3v40v40m32s7
SAT
0
Qq2k2k3v40v40m32s8
SAT
0
Qq2k2k3v40v40m32s9
SAT
0
Qq2k2k3v80v80m2s1
SAT
0
Qq2k2k3v80v80m2s2
SAT
0
Qq2k2k3v80v80m2s3
SAT
0
Qq2k2k3v80v80m2s4
SAT
0
Qq2k2k3v80v80m2s6
SAT
0
Qq2k2k3v80v80m2s8
SAT
0
Qq2k2k3v80v80m2s9
SAT
0
Qq2k2k3v80v80m4s0
SAT
0
Qq2k2k3v80v80m4s1
SAT
0
Qq2k2k3v80v80m4s2
SAT
0
Qq2k2k3v80v80m4s3
SAT
0
Qq2k2k3v80v80m4s4
SAT
0
Qq2k2k3v80v80m4s6
SAT
0
Qq2k2k3v80v80m4s7
SAT
0
Qq2k2k3v80v80m8s1
SAT
0
Qq2k2k3v80v80m8s2
SAT
0
Qq2k2k3v80v80m8s4
SAT
0
Qq2k2k3v80v80m8s6
SAT
0
Qq2k2k3v80v80m8s7
SAT
0
Qq2k2k3v80v80m8s8
SAT
0
Qq2k2k3v80v80m8s9
SAT
0
Qq2k2k3v80v80m16s0
SAT
0
Qq2k2k3v80v80m16s1
SAT
0
Qq2k2k3v80v80m16s2
SAT
0
Qq2k2k3v80v80m16s3
SAT
0
Qq2k2k3v80v80m16s4
SAT
0
Qq2k2k3v80v80m16s5
SAT
0
Qq2k2k3v80v80m16s7
SAT
0
Qq2k2k3v80v80m16s8
SAT
0
Qq2k2k3v80v80m32s4
SAT
0
Qq2k2k3v80v80m32s5
SAT
0
Qq2k2k3v80v80m32s6
SAT
0
Qq2k2k3v80v80m32s7
SAT
0
Qq2k2k3v80v80m32s9
SAT
0
Qq2k3k2v40v40m2s0
SAT
0
Qq2k3k2v40v40m2s1
SAT
0
Qq2k3k2v40v40m2s2
SAT
0
Qq2k3k2v40v40m2s3
SAT
0
Qq2k3k2v40v40m2s4
SAT
0
Qq2k3k2v40v40m2s6
SAT
0
Qq2k3k2v40v40m2s7
SAT
0
Qq2k3k2v40v40m2s8
SAT
0
Qq2k3k2v40v40m2s9
SAT
0
Qq2k3k2v40v40m4s1
SAT
0
Qq2k3k2v40v40m4s2
SAT
0
Qq2k3k2v40v40m4s3
SAT
0
Qq2k3k2v40v40m4s5
SAT
0
Qq2k3k2v40v40m4s6
SAT
0
Qq2k3k2v40v40m4s7
SAT
0
Qq2k3k2v40v40m4s8
SAT
0
Qq2k3k2v40v40m4s9
SAT
0
Qq2k3k2v40v40m8s0
SAT
0
Qq2k3k2v40v40m8s6
SAT
0
Qq2k3k2v40v40m8s7
SAT
0
Qq2k3k2v40v40m16s1
SAT
0
Qq2k3k2v40v40m16s2
SAT
0
Qq2k3k2v40v40m16s3
SAT
0
Qq2k3k2v40v40m16s4
SAT
0
Qq2k3k2v40v40m16s6
SAT
0
Qq2k3k2v40v40m16s7
SAT
0
Qq2k3k2v40v40m16s8
SAT
0
Qq2k3k2v40v40m16s9
SAT
0
Qq2k3k2v40v40m32s0
SAT
0
Qq2k3k2v40v40m32s1
SAT
0
Qq2k3k2v40v40m32s2
SAT
0
Qq2k3k2v40v40m32s4
SAT
0
Qq2k3k2v40v40m32s5
SAT
0
Qq2k3k2v40v40m32s6
SAT
0
Qq2k3k2v40v40m32s7
SAT
0
Qq2k3k2v40v40m32s9
SAT
0
Qq2k3k2v80v80m2s0
SAT
0
Qq2k3k2v80v80m2s1
SAT
0
Qq2k3k2v80v80m2s2
SAT
0
Qq2k3k2v80v80m2s3
SAT
0
Qq2k3k2v80v80m2s4
SAT
0
Qq2k3k2v80v80m2s5
SAT
0
Qq2k3k2v80v80m2s6
SAT
0
Qq2k3k2v80v80m2s7
SAT
0
Qq2k3k2v80v80m2s8
SAT
0
Qq2k3k2v80v80m2s9
SAT
0
Qq2k3k2v80v80m4s0
SAT
0
Qq2k3k2v80v80m4s1
SAT
0
Qq2k3k2v80v80m4s2
SAT
0
Qq2k3k2v80v80m4s3
SAT
0
Qq2k3k2v80v80m4s4
SAT
0
Qq2k3k2v80v80m4s5
SAT
0
Qq2k3k2v80v80m4s6
SAT
0
Qq2k3k2v80v80m4s7
SAT
0
Qq2k3k2v80v80m4s8
SAT
0
Qq2k3k2v80v80m4s9
SAT
0
Qq2k3k2v80v80m8s0
SAT
0
Qq2k3k2v80v80m8s2
SAT
0
Qq2k3k2v80v80m8s3
SAT
0
Qq2k3k2v80v80m8s5
SAT
0
Qq2k3k2v80v80m8s6
SAT
0
Qq2k3k2v80v80m8s7
SAT
0
Qq2k3k2v80v80m8s8
SAT
0
Qq2k3k2v80v80m8s9
SAT
0
Qq2k3k2v80v80m16s1
SAT
0
Qq2k3k2v80v80m16s2
SAT
0
Qq2k3k2v80v80m16s3
SAT
0
Qq2k3k2v80v80m16s4
SAT
0
Qq2k3k2v80v80m16s5
SAT
0
Qq2k3k2v80v80m16s7
SAT
0
Qq2k3k2v80v80m32s0
SAT
0
Qq2k3k2v80v80m32s1
SAT
0
Qq2k3k2v80v80m32s2
SAT
0
Qq2k3k2v80v80m32s3
SAT
0
Qq2k3k2v80v80m32s4
SAT
0
Qq2k3k2v80v80m32s6
SAT
0
Qq2k3k2v80v80m32s7
SAT
0
Qq2k3k2v80v80m32s8
SAT
0
Qq3k1k1k3v40v40v40m2s0
SAT
0
Qq3k1k1k3v40v40v40m2s2
SAT
0
Qq3k1k1k3v40v40v40m2s3
SAT
0
Qq3k1k1k3v40v40v40m2s5
SAT
0
Qq3k1k1k3v40v40v40m2s6
SAT
0
Qq3k1k1k3v40v40v40m2s7
SAT
0
Qq3k1k1k3v40v40v40m2s8
SAT
0
Qq3k1k1k3v40v40v40m4s0
SAT
0
Qq3k1k1k3v40v40v40m4s1
SAT
0
Qq3k1k1k3v40v40v40m4s2
SAT
0
Qq3k1k1k3v40v40v40m4s3
SAT
0
Qq3k1k1k3v40v40v40m4s4
SAT
0
Qq3k1k1k3v40v40v40m4s5
SAT
0
Qq3k1k1k3v40v40v40m4s6
SAT
0
Qq3k1k1k3v40v40v40m4s7
SAT
0
Qq3k1k1k3v40v40v40m4s8
SAT
0
Qq3k1k1k3v40v40v40m4s9
SAT
0
Qq3k1k1k3v40v40v40m8s0
SAT
0
Qq3k1k1k3v40v40v40m8s1
SAT
0
Qq3k1k1k3v40v40v40m8s2
SAT
0
Qq3k1k1k3v40v40v40m8s3
SAT
0
Qq3k1k1k3v40v40v40m8s4
SAT
0
Qq3k1k1k3v40v40v40m8s5
SAT
0
Qq3k1k1k3v40v40v40m8s7
SAT
0
Qq3k1k1k3v40v40v40m16s0
SAT
0
Qq3k1k1k3v40v40v40m16s1
SAT
0
Qq3k1k1k3v40v40v40m16s2
SAT
0
Qq3k1k1k3v40v40v40m16s3
SAT
0
Qq3k1k1k3v40v40v40m16s4
SAT
0
Qq3k1k1k3v40v40v40m16s5
SAT
0
Qq3k1k1k3v40v40v40m16s6
SAT
0
Qq3k1k1k3v40v40v40m16s7
SAT
0
Qq3k1k1k3v40v40v40m16s8
SAT
0
Qq3k1k1k3v40v40v40m32s1
SAT
0
Qq3k1k1k3v40v40v40m32s2
SAT
0
Qq3k1k1k3v40v40v40m32s3
SAT
0
Qq3k1k1k3v40v40v40m32s5
SAT
0
Qq3k1k1k3v40v40v40m32s7
SAT
0
Qq3k1k1k3v40v40v40m32s9
SAT
0
Qq3k1k1k3v80v80v80m2s1
SAT
0
Qq3k1k1k3v80v80v80m2s3
SAT
0
Qq3k1k1k3v80v80v80m2s5
SAT
0
Qq3k1k1k3v80v80v80m2s6
SAT
0
Qq3k1k1k3v80v80v80m2s7
SAT
0
Qq3k1k1k3v80v80v80m2s8
SAT
0
Qq3k1k1k3v80v80v80m4s0
SAT
0
Qq3k1k1k3v80v80v80m4s1
SAT
0
Qq3k1k1k3v80v80v80m4s4
SAT
0
Qq3k1k1k3v80v80v80m4s6
SAT
0
Qq3k1k1k3v80v80v80m4s7
SAT
0
Qq3k1k1k3v80v80v80m4s8
SAT
0
Qq3k1k1k3v80v80v80m4s9
SAT
0
Qq3k1k1k3v80v80v80m8s0
SAT
0
Qq3k1k1k3v80v80v80m8s1
SAT
0
Qq3k1k1k3v80v80v80m8s2
SAT
0
Qq3k1k1k3v80v80v80m8s3
SAT
0
Qq3k1k1k3v80v80v80m8s5
SAT
0
Qq3k1k1k3v80v80v80m8s6
SAT
0
Qq3k1k1k3v80v80v80m8s7
SAT
0
Qq3k1k1k3v80v80v80m8s8
SAT
0
Qq3k1k1k3v80v80v80m8s9
SAT
0
Qq3k1k1k3v80v80v80m16s0
SAT
0
Qq3k1k1k3v80v80v80m16s1
SAT
0
Qq3k1k1k3v80v80v80m16s2
SAT
0
Qq3k1k1k3v80v80v80m16s4
SAT
0
Qq3k1k1k3v80v80v80m16s5
SAT
0
Qq3k1k1k3v80v80v80m16s6
SAT
0
Qq3k1k1k3v80v80v80m16s7
SAT
0
Qq3k1k1k3v80v80v80m16s8
SAT
0
Qq3k1k1k3v80v80v80m16s9
SAT
0
Qq3k1k1k3v80v80v80m32s0
SAT
0
Qq3k1k1k3v80v80v80m32s1
SAT
0
Qq3k1k1k3v80v80v80m32s2
SAT
0
Qq3k1k1k3v80v80v80m32s3
SAT
0
Qq3k1k1k3v80v80v80m32s4
SAT
0
Qq3k1k1k3v80v80v80m32s5
SAT
0
Qq3k1k1k3v80v80v80m32s6
SAT
0
Qq3k1k1k3v80v80v80m32s7
SAT
0
Qq3k1k1k3v80v80v80m32s8
SAT
0
Qq3k1k1k3v80v80v80m32s9
SAT
0
Qq3k1k2k2v40v40v40m2s0
SAT
0
Qq3k1k2k2v40v40v40m2s1
SAT
0
Qq3k1k2k2v40v40v40m2s2
SAT
0
Qq3k1k2k2v40v40v40m2s4
SAT
0
Qq3k1k2k2v40v40v40m2s7
SAT
0
Qq3k1k2k2v40v40v40m2s9
SAT
0
Qq3k1k2k2v40v40v40m4s0
SAT
0
Qq3k1k2k2v40v40v40m4s1
SAT
0
Qq3k1k2k2v40v40v40m4s2
SAT
0
Qq3k1k2k2v40v40v40m4s3
SAT
0
Qq3k1k2k2v40v40v40m4s4
SAT
0
Qq3k1k2k2v40v40v40m4s6
SAT
0
Qq3k1k2k2v40v40v40m4s7
SAT
0
Qq3k1k2k2v40v40v40m4s8
SAT
0
Qq3k1k2k2v40v40v40m4s9
SAT
0
Qq3k1k2k2v40v40v40m8s0
SAT
0
Qq3k1k2k2v40v40v40m8s2
SAT
0
Qq3k1k2k2v40v40v40m8s4
SAT
0
Qq3k1k2k2v40v40v40m8s5
SAT
0
Qq3k1k2k2v40v40v40m8s7
SAT
0
Qq3k1k2k2v40v40v40m8s8
SAT
0
Qq3k1k2k2v40v40v40m8s9
SAT
0
Qq3k1k2k2v40v40v40m16s0
SAT
0
Qq3k1k2k2v40v40v40m16s1
SAT
0
Qq3k1k2k2v40v40v40m16s2
SAT
0
Qq3k1k2k2v40v40v40m16s3
SAT
0
Qq3k1k2k2v40v40v40m16s5
SAT
0
Qq3k1k2k2v40v40v40m16s6
SAT
0
Qq3k1k2k2v40v40v40m16s8
SAT
0
Qq3k1k2k2v40v40v40m32s1
SAT
0
Qq3k1k2k2v40v40v40m32s2
SAT
0
Qq3k1k2k2v40v40v40m32s3
SAT
0
Qq3k1k2k2v40v40v40m32s4
SAT
0
Qq3k1k2k2v40v40v40m32s5
SAT
0
Qq3k1k2k2v40v40v40m32s6
SAT
0
Qq3k1k2k2v40v40v40m32s7
SAT
0
Qq3k1k2k2v40v40v40m32s8
SAT
0
Qq3k1k2k2v80v80v80m2s2
SAT
0
Qq3k1k2k2v80v80v80m2s3
SAT
0
Qq3k1k2k2v80v80v80m2s4
SAT
0
Qq3k1k2k2v80v80v80m2s5
SAT
0
Qq3k1k2k2v80v80v80m2s6
SAT
0
Qq3k1k2k2v80v80v80m2s8
SAT
0
Qq3k1k2k2v80v80v80m2s9
SAT
0
Qq3k1k2k2v80v80v80m4s0
SAT
0
Qq3k1k2k2v80v80v80m4s2
SAT
0
Qq3k1k2k2v80v80v80m4s3
SAT
0
Qq3k1k2k2v80v80v80m4s4
SAT
0
Qq3k1k2k2v80v80v80m4s5
SAT
0
Qq3k1k2k2v80v80v80m4s6
SAT
0
Qq3k1k2k2v80v80v80m4s7
SAT
0
Qq3k1k2k2v80v80v80m4s8
SAT
0
Qq3k1k2k2v80v80v80m4s9
SAT
0
Qq3k1k2k2v80v80v80m8s0
SAT
0
Qq3k1k2k2v80v80v80m8s1
SAT
0
Qq3k1k2k2v80v80v80m8s2
SAT
0
Qq3k1k2k2v80v80v80m8s3
SAT
0
Qq3k1k2k2v80v80v80m8s6
SAT
0
Qq3k1k2k2v80v80v80m8s7
SAT
0
Qq3k1k2k2v80v80v80m8s8
SAT
0
Qq3k1k2k2v80v80v80m8s9
SAT
0
Qq3k1k2k2v80v80v80m16s0
SAT
0
Qq3k1k2k2v80v80v80m16s1
SAT
0
Qq3k1k2k2v80v80v80m16s2
SAT
0
Qq3k1k2k2v80v80v80m16s3
SAT
0
Qq3k1k2k2v80v80v80m16s4
SAT
0
Qq3k1k2k2v80v80v80m16s5
SAT
0
Qq3k1k2k2v80v80v80m16s6
SAT
0
Qq3k1k2k2v80v80v80m16s7
SAT
0
Qq3k1k2k2v80v80v80m16s8
SAT
0
Qq3k1k2k2v80v80v80m16s9
SAT
0
Qq3k1k2k2v80v80v80m32s0
SAT
0
Qq3k1k2k2v80v80v80m32s1
SAT
0
Qq3k1k2k2v80v80v80m32s2
SAT
0
Qq3k1k2k2v80v80v80m32s3
SAT
0
Qq3k1k2k2v80v80v80m32s4
SAT
0
Qq3k1k2k2v80v80v80m32s5
SAT
0
Qq3k1k2k2v80v80v80m32s6
SAT
0
Qq3k1k2k2v80v80v80m32s8
SAT
0
Qq3k1k3k1v40v40v40m2s0
SAT
0
Qq3k1k3k1v40v40v40m2s1
SAT
0
Qq3k1k3k1v40v40v40m2s2
SAT
0
Qq3k1k3k1v40v40v40m2s4
SAT
0
Qq3k1k3k1v40v40v40m2s5
SAT
0
Qq3k1k3k1v40v40v40m2s7
SAT
0
Qq3k1k3k1v40v40v40m2s9
SAT
0
Qq3k1k3k1v40v40v40m4s0
SAT
0
Qq3k1k3k1v40v40v40m4s1
SAT
0
Qq3k1k3k1v40v40v40m4s2
SAT
0
Qq3k1k3k1v40v40v40m4s3
SAT
0
Qq3k1k3k1v40v40v40m4s4
SAT
0
Qq3k1k3k1v40v40v40m4s5
SAT
0
Qq3k1k3k1v40v40v40m4s6
SAT
0
Qq3k1k3k1v40v40v40m4s7
SAT
0
Qq3k1k3k1v40v40v40m4s9
SAT
0
Qq3k1k3k1v40v40v40m8s0
SAT
0
Qq3k1k3k1v40v40v40m8s1
SAT
0
Qq3k1k3k1v40v40v40m8s2
SAT
0
Qq3k1k3k1v40v40v40m8s3
SAT
0
Qq3k1k3k1v40v40v40m8s4
SAT
0
Qq3k1k3k1v40v40v40m8s6
SAT
0
Qq3k1k3k1v40v40v40m8s8
SAT
0
Qq3k1k3k1v40v40v40m16s2
SAT
0
Qq3k1k3k1v40v40v40m16s3
SAT
0
Qq3k1k3k1v40v40v40m16s5
SAT
0
Qq3k1k3k1v40v40v40m16s6
SAT
0
Qq3k1k3k1v40v40v40m16s7
SAT
0
Qq3k1k3k1v40v40v40m16s8
SAT
0
Qq3k1k3k1v40v40v40m32s0
SAT
0
Qq3k1k3k1v40v40v40m32s1
SAT
0
Qq3k1k3k1v40v40v40m32s2
SAT
0
Qq3k1k3k1v40v40v40m32s4
SAT
0
Qq3k1k3k1v40v40v40m32s6
SAT
0
Qq3k1k3k1v40v40v40m32s8
SAT
0
Qq3k1k3k1v40v40v40m32s9
SAT
0
Qq3k1k3k1v80v80v80m2s0
SAT
0
Qq3k1k3k1v80v80v80m2s1
SAT
0
Qq3k1k3k1v80v80v80m2s2
SAT
0
Qq3k1k3k1v80v80v80m2s4
SAT
0
Qq3k1k3k1v80v80v80m2s5
SAT
0
Qq3k1k3k1v80v80v80m2s7
SAT
0
Qq3k1k3k1v80v80v80m2s8
SAT
0
Qq3k1k3k1v80v80v80m2s9
SAT
0
Qq3k1k3k1v80v80v80m4s2
SAT
0
Qq3k1k3k1v80v80v80m4s3
SAT
0
Qq3k1k3k1v80v80v80m4s6
SAT
0
Qq3k1k3k1v80v80v80m4s7
SAT
0
Qq3k1k3k1v80v80v80m4s9
SAT
0
Qq3k1k3k1v80v80v80m8s0
SAT
0
Qq3k1k3k1v80v80v80m8s2
SAT
0
Qq3k1k3k1v80v80v80m8s3
SAT
0
Qq3k1k3k1v80v80v80m8s5
SAT
0
Qq3k1k3k1v80v80v80m8s8
SAT
0
Qq3k1k3k1v80v80v80m16s1
SAT
0
Qq3k1k3k1v80v80v80m16s2
SAT
0
Qq3k1k3k1v80v80v80m16s3
SAT
0
Qq3k1k3k1v80v80v80m16s6
SAT
0
Qq3k1k3k1v80v80v80m16s7
SAT
0
Qq3k1k3k1v80v80v80m16s8
SAT
0
Qq3k1k3k1v80v80v80m16s9
SAT
0
Qq3k1k3k1v80v80v80m32s1
SAT
0
Qq3k1k3k1v80v80v80m32s2
SAT
0
Qq3k1k3k1v80v80v80m32s3
SAT
0
Qq3k1k3k1v80v80v80m32s4
SAT
0
Qq3k1k3k1v80v80v80m32s5
SAT
0
Qq3k1k3k1v80v80v80m32s6
SAT
0
Qq3k1k3k1v80v80v80m32s7
SAT
0
Qq3k1k3k1v80v80v80m32s8
SAT
0
Qq3k1k3k1v80v80v80m32s9
SAT
0
Qq3k2k1k2v40v40v40m2s1
SAT
0
Qq3k2k1k2v40v40v40m2s2
SAT
0
Qq3k2k1k2v40v40v40m2s3
SAT
0
Qq3k2k1k2v40v40v40m2s4
SAT
0
Qq3k2k1k2v40v40v40m2s6
SAT
0
Qq3k2k1k2v40v40v40m2s7
SAT
0
Qq3k2k1k2v40v40v40m2s8
SAT
0
Qq3k2k1k2v40v40v40m2s9
SAT
0
Qq3k2k1k2v40v40v40m4s2
SAT
0
Qq3k2k1k2v40v40v40m4s3
SAT
0
Qq3k2k1k2v40v40v40m4s5
SAT
0
Qq3k2k1k2v40v40v40m4s6
SAT
0
Qq3k2k1k2v40v40v40m4s7
SAT
0
Qq3k2k1k2v40v40v40m4s8
SAT
0
Qq3k2k1k2v40v40v40m4s9
SAT
0
Qq3k2k1k2v40v40v40m8s0
SAT
0
Qq3k2k1k2v40v40v40m8s1
SAT
0
Qq3k2k1k2v40v40v40m8s4
SAT
0
Qq3k2k1k2v40v40v40m8s6
SAT
0
Qq3k2k1k2v40v40v40m8s8
SAT
0
Qq3k2k1k2v40v40v40m16s0
SAT
0
Qq3k2k1k2v40v40v40m16s1
SAT
0
Qq3k2k1k2v40v40v40m16s3
SAT
0
Qq3k2k1k2v40v40v40m16s4
SAT
0
Qq3k2k1k2v40v40v40m16s5
SAT
0
Qq3k2k1k2v40v40v40m16s6
SAT
0
Qq3k2k1k2v40v40v40m16s7
SAT
0
Qq3k2k1k2v40v40v40m16s8
SAT
0
Qq3k2k1k2v40v40v40m16s9
SAT
0
Qq3k2k1k2v40v40v40m32s0
SAT
0
Qq3k2k1k2v40v40v40m32s1
SAT
0
Qq3k2k1k2v40v40v40m32s2
SAT
0
Qq3k2k1k2v40v40v40m32s3
SAT
0
Qq3k2k1k2v40v40v40m32s4
SAT
0
Qq3k2k1k2v40v40v40m32s6
SAT
0
Qq3k2k1k2v40v40v40m32s7
SAT
0
Qq3k2k1k2v40v40v40m32s8
SAT
0
Qq3k2k1k2v40v40v40m32s9
SAT
0
Qq3k2k1k2v80v80v80m2s2
SAT
0
Qq3k2k1k2v80v80v80m2s4
SAT
0
Qq3k2k1k2v80v80v80m2s5
SAT
0
Qq3k2k1k2v80v80v80m2s6
SAT
0
Qq3k2k1k2v80v80v80m2s8
SAT
0
Qq3k2k1k2v80v80v80m2s9
SAT
0
Qq3k2k1k2v80v80v80m4s0
SAT
0
Qq3k2k1k2v80v80v80m4s1
SAT
0
Qq3k2k1k2v80v80v80m4s2
SAT
0
Qq3k2k1k2v80v80v80m4s4
SAT
0
Qq3k2k1k2v80v80v80m4s5
SAT
0
Qq3k2k1k2v80v80v80m4s6
SAT
0
Qq3k2k1k2v80v80v80m4s7
SAT
0
Qq3k2k1k2v80v80v80m4s8
SAT
0
Qq3k2k1k2v80v80v80m4s9
SAT
0
Qq3k2k1k2v80v80v80m8s0
SAT
0
Qq3k2k1k2v80v80v80m8s1
SAT
0
Qq3k2k1k2v80v80v80m8s2
SAT
0
Qq3k2k1k2v80v80v80m8s3
SAT
0
Qq3k2k1k2v80v80v80m8s4
SAT
0
Qq3k2k1k2v80v80v80m8s6
SAT
0
Qq3k2k1k2v80v80v80m8s7
SAT
0
Qq3k2k1k2v80v80v80m8s8
SAT
0
Qq3k2k1k2v80v80v80m8s9
SAT
0
Qq3k2k1k2v80v80v80m16s2
SAT
0
Qq3k2k1k2v80v80v80m16s3
SAT
0
Qq3k2k1k2v80v80v80m16s4
SAT
0
Qq3k2k1k2v80v80v80m16s5
SAT
0
Qq3k2k1k2v80v80v80m16s6
SAT
0
Qq3k2k1k2v80v80v80m16s8
SAT
0
Qq3k2k1k2v80v80v80m16s9
SAT
0
Qq3k2k1k2v80v80v80m32s0
SAT
0
Qq3k2k1k2v80v80v80m32s1
SAT
0
Qq3k2k1k2v80v80v80m32s2
SAT
0
Qq3k2k1k2v80v80v80m32s3
SAT
0
Qq3k2k1k2v80v80v80m32s4
SAT
0
Qq3k2k1k2v80v80v80m32s5
SAT
0
Qq3k2k1k2v80v80v80m32s6
SAT
0
Qq3k2k1k2v80v80v80m32s8
SAT
0
Qq3k2k1k2v80v80v80m32s9
SAT
0
Qq3k2k2k1v40v40v40m2s0
SAT
0
Qq3k2k2k1v40v40v40m2s1
SAT
0
Qq3k2k2k1v40v40v40m2s2
SAT
0
Qq3k2k2k1v40v40v40m2s3
SAT
0
Qq3k2k2k1v40v40v40m2s4
SAT
0
Qq3k2k2k1v40v40v40m2s6
SAT
0
Qq3k2k2k1v40v40v40m2s7
SAT
0
Qq3k2k2k1v40v40v40m2s8
SAT
0
Qq3k2k2k1v40v40v40m2s9
SAT
0
Qq3k2k2k1v40v40v40m4s0
SAT
0
Qq3k2k2k1v40v40v40m4s1
SAT
0
Qq3k2k2k1v40v40v40m4s2
SAT
0
Qq3k2k2k1v40v40v40m4s4
SAT
0
Qq3k2k2k1v40v40v40m4s6
SAT
0
Qq3k2k2k1v40v40v40m4s8
SAT
0
Qq3k2k2k1v40v40v40m4s9
SAT
0
Qq3k2k2k1v40v40v40m8s0
SAT
0
Qq3k2k2k1v40v40v40m8s1
SAT
0
Qq3k2k2k1v40v40v40m8s2
SAT
0
Qq3k2k2k1v40v40v40m8s4
SAT
0
Qq3k2k2k1v40v40v40m8s5
SAT
0
Qq3k2k2k1v40v40v40m8s6
SAT
0
Qq3k2k2k1v40v40v40m16s0
SAT
0
Qq3k2k2k1v40v40v40m16s1
SAT
0
Qq3k2k2k1v40v40v40m16s2
SAT
0
Qq3k2k2k1v40v40v40m16s3
SAT
0
Qq3k2k2k1v40v40v40m16s4
SAT
0
Qq3k2k2k1v40v40v40m16s5
SAT
0
Qq3k2k2k1v40v40v40m16s7
SAT
0
Qq3k2k2k1v40v40v40m16s9
SAT
0
Qq3k2k2k1v40v40v40m32s0
SAT
0
Qq3k2k2k1v40v40v40m32s1
SAT
0
Qq3k2k2k1v40v40v40m32s3
SAT
0
Qq3k2k2k1v40v40v40m32s4
SAT
0
Qq3k2k2k1v40v40v40m32s5
SAT
0
Qq3k2k2k1v40v40v40m32s6
SAT
0
Qq3k2k2k1v40v40v40m32s7
SAT
0
Qq3k2k2k1v40v40v40m32s8
SAT
0
Qq3k2k2k1v40v40v40m32s9
SAT
0
Qq3k2k2k1v80v80v80m2s0
SAT
0
Qq3k2k2k1v80v80v80m2s1
SAT
0
Qq3k2k2k1v80v80v80m2s2
SAT
0
Qq3k2k2k1v80v80v80m2s3
SAT
0
Qq3k2k2k1v80v80v80m2s4
SAT
0
Qq3k2k2k1v80v80v80m2s6
SAT
0
Qq3k2k2k1v80v80v80m2s7
SAT
0
Qq3k2k2k1v80v80v80m2s8
SAT
0
Qq3k2k2k1v80v80v80m2s9
SAT
0
Qq3k2k2k1v80v80v80m4s2
SAT
0
Qq3k2k2k1v80v80v80m4s3
SAT
0
Qq3k2k2k1v80v80v80m4s5
SAT
0
Qq3k2k2k1v80v80v80m4s6
SAT
0
Qq3k2k2k1v80v80v80m4s7
SAT
0
Qq3k2k2k1v80v80v80m4s9
SAT
0
Qq3k2k2k1v80v80v80m8s0
SAT
0
Qq3k2k2k1v80v80v80m8s2
SAT
0
Qq3k2k2k1v80v80v80m8s3
SAT
0
Qq3k2k2k1v80v80v80m8s4
SAT
0
Qq3k2k2k1v80v80v80m8s5
SAT
0
Qq3k2k2k1v80v80v80m8s6
SAT
0
Qq3k2k2k1v80v80v80m8s7
SAT
0
Qq3k2k2k1v80v80v80m8s8
SAT
0
Qq3k2k2k1v80v80v80m8s9
SAT
0
Qq3k2k2k1v80v80v80m16s1
SAT
0
Qq3k2k2k1v80v80v80m16s2
SAT
0
Qq3k2k2k1v80v80v80m16s3
SAT
0
Qq3k2k2k1v80v80v80m16s4
SAT
0
Qq3k2k2k1v80v80v80m16s5
SAT
0
Qq3k2k2k1v80v80v80m16s8
SAT
0
Qq3k2k2k1v80v80v80m32s0
SAT
0
Qq3k2k2k1v80v80v80m32s1
SAT
0
Qq3k2k2k1v80v80v80m32s3
SAT
0
Qq3k2k2k1v80v80v80m32s4
SAT
0
Qq3k2k2k1v80v80v80m32s5
SAT
0
Qq3k3k1k1v40v40v40m2s0
SAT
0
Qq3k3k1k1v40v40v40m2s3
SAT
0
Qq3k3k1k1v40v40v40m2s4
SAT
0
Qq3k3k1k1v40v40v40m2s5
SAT
0
Qq3k3k1k1v40v40v40m2s6
SAT
0
Qq3k3k1k1v40v40v40m2s7
SAT
0
Qq3k3k1k1v40v40v40m2s8
SAT
0
Qq3k3k1k1v40v40v40m2s9
SAT
0
Qq3k3k1k1v40v40v40m4s0
SAT
0
Qq3k3k1k1v40v40v40m4s1
SAT
0
Qq3k3k1k1v40v40v40m4s2
SAT
0
Qq3k3k1k1v40v40v40m4s3
SAT
0
Qq3k3k1k1v40v40v40m4s4
SAT
0
Qq3k3k1k1v40v40v40m4s5
SAT
0
Qq3k3k1k1v40v40v40m4s6
SAT
0
Qq3k3k1k1v40v40v40m4s7
SAT
0
Qq3k3k1k1v40v40v40m4s8
SAT
0
Qq3k3k1k1v40v40v40m8s0
SAT
0
Qq3k3k1k1v40v40v40m8s1
SAT
0
Qq3k3k1k1v40v40v40m8s2
SAT
0
Qq3k3k1k1v40v40v40m8s3
SAT
0
Qq3k3k1k1v40v40v40m8s4
SAT
0
Qq3k3k1k1v40v40v40m8s6
SAT
0
Qq3k3k1k1v40v40v40m8s7
SAT
0
Qq3k3k1k1v40v40v40m8s9
SAT
0
Qq3k3k1k1v40v40v40m16s0
SAT
0
Qq3k3k1k1v40v40v40m16s1
SAT
0
Qq3k3k1k1v40v40v40m16s2
SAT
0
Qq3k3k1k1v40v40v40m16s3
SAT
0
Qq3k3k1k1v40v40v40m16s5
SAT
0
Qq3k3k1k1v40v40v40m16s6
SAT
0
Qq3k3k1k1v40v40v40m16s7
SAT
0
Qq3k3k1k1v40v40v40m16s8
SAT
0
Qq3k3k1k1v40v40v40m16s9
SAT
0
Qq3k3k1k1v40v40v40m32s1
SAT
0
Qq3k3k1k1v40v40v40m32s2
SAT
0
Qq3k3k1k1v40v40v40m32s3
SAT
0
Qq3k3k1k1v40v40v40m32s4
SAT
0
Qq3k3k1k1v40v40v40m32s6
SAT
0
Qq3k3k1k1v40v40v40m32s7
SAT
0
Qq3k3k1k1v80v80v80m2s0
SAT
0
Qq3k3k1k1v80v80v80m2s1
SAT
0
Qq3k3k1k1v80v80v80m2s2
SAT
0
Qq3k3k1k1v80v80v80m2s3
SAT
0
Qq3k3k1k1v80v80v80m2s4
SAT
0
Qq3k3k1k1v80v80v80m2s5
SAT
0
Qq3k3k1k1v80v80v80m2s6
SAT
0
Qq3k3k1k1v80v80v80m4s0
SAT
0
Qq3k3k1k1v80v80v80m4s1
SAT
0
Qq3k3k1k1v80v80v80m4s2
SAT
0
Qq3k3k1k1v80v80v80m4s3
SAT
0
Qq3k3k1k1v80v80v80m4s6
SAT
0
Qq3k3k1k1v80v80v80m4s7
SAT
0
Qq3k3k1k1v80v80v80m4s8
SAT
0
Qq3k3k1k1v80v80v80m8s0
SAT
0
Qq3k3k1k1v80v80v80m8s2
SAT
0
Qq3k3k1k1v80v80v80m8s3
SAT
0
Qq3k3k1k1v80v80v80m8s8
SAT
0
Qq3k3k1k1v80v80v80m8s9
SAT
0
Qq3k3k1k1v80v80v80m16s0
SAT
0
Qq3k3k1k1v80v80v80m16s1
SAT
0
Qq3k3k1k1v80v80v80m16s3
SAT
0
Qq3k3k1k1v80v80v80m16s4
SAT
0
Qq3k3k1k1v80v80v80m16s5
SAT
0
Qq3k3k1k1v80v80v80m16s6
SAT
0
Qq3k3k1k1v80v80v80m16s7
SAT
0
Qq3k3k1k1v80v80v80m16s8
SAT
0
Qq3k3k1k1v80v80v80m32s1
SAT
0
Qq3k3k1k1v80v80v80m32s4
SAT
0
Qq3k3k1k1v80v80v80m32s6
SAT
0
Qq3k3k1k1v80v80v80m32s7
SAT
0
Qq3k3k1k1v80v80v80m32s9
SAT
0
ncf_8_16_4_d.4
SAT
0.01
ncf_4_8_4_euad.9
SAT
0.01
5qbf-5cnf-160var-640cl.3
SAT
0.01
5qbf-5cnf-160var-640cl.1
SAT
0.01
ncf_4_8_8_edau.3
SAT
0.01
ncf_4_8_8_u.9
UNSAT
0.01
ncf_4_8_8_d.8
SAT
0.01
ncf_16_32_2_d.7
UNSAT
0.01
ncf_4_16_2_edau.4
SAT
0.01
ncf_4_16_2_edau.2
SAT
0.01
5qbf-5cnf-160var-640cl.9
SAT
0.01
ncf_4_16_4_d.1
SAT
0.01
ncf_8_16_4_edau.10
SAT
0.01
ncf_8_16_4_edau.1
SAT
0.01
ncf_16_32_4_edau.3
SAT
0.01
6qbf-5cnf-160var-640cl.8
SAT
0.01
ncf_8_16_4_u.5
UNSAT
0.01
ncf_8_16_4_u.1
SAT
0.01
qshifter_5
SAT
0.01
5qbf-5cnf-160var-640cl.2
SAT
0.01
5qbf-5cnf-160var-640cl.0
SAT
0.01
ncf_16_32_2_d.6
SAT
0.01
ncf_8_16_4_d.5
UNSAT
0.01
ncf_4_8_8_edau.1
SAT
0.01
6qbf-5cnf-160var-640cl.6
SAT
0.01
ncf_4_16_4_edau.8
SAT
0.01
ncf_4_16_2_d.4
SAT
0.01
6qbf-5cnf-160var-640cl.4
SAT
0.01
6qbf-5cnf-160var-640cl.7
SAT
0.01
ncf_4_8_8_d.3
SAT
0.01
6qbf-5cnf-160var-640cl.1
SAT
0.01
ncf_8_16_4_edau.4
SAT
0.01
ncf_4_8_8_euad.9
UNSAT
0.01
ncf_16_32_4_edau.9
SAT
0.01
6qbf-5cnf-160var-640cl.5
SAT
0.01
ncf_16_32_4_edau.2
SAT
0.01
6qbf-5cnf-160var-640cl.0
SAT
0.01
ncf_16_32_2_edau.7
UNSAT
0.01
ncf_4_8_8_d.9
UNSAT
0.01
5qbf-5cnf-160var-640cl.5
SAT
0.01
ncf_4_8_2_euad.10
SAT
0.01
ncf_4_16_4_edau.1
SAT
0.01
ncf_4_8_8_edau.9
UNSAT
0.01
ncf_16_32_4_edau.8
SAT
0.01
6qbf-5cnf-160var-640cl.3
SAT
0.01
ncf_4_8_2_u.10
SAT
0.01
ncf_4_8_8_edau.8
SAT
0.01
x10.7
SAT
0.01
x5.0
SAT
0.01
x5.1
UNSAT
0.01
x5.3
UNSAT
0.01
x5.7
UNSAT
0.01
x5.8
UNSAT
0.01
cmu.dme2.B-d2
SAT
0.01
eijk.S208c.S-d2
SAT
0.01
eijk.S208o.S-d2
SAT
0.01
eijk.S298.S-d2
SAT
0.01
eijk.S382.S-d2
SAT
0.01
eijk.S444.S-d2
SAT
0.01
vis.coherence^1.E-d2
SAT
0.01
vis.eisenberg.E-d2
SAT
0.01
Qq2k1k4v40v40m2s1
SAT
0.01
Qq2k1k4v40v40m2s9
SAT
0.01
Qq2k1k4v40v40m4s0
SAT
0.01
Qq2k1k4v40v40m4s1
SAT
0.01
Qq2k1k4v40v40m4s5
SAT
0.01
Qq2k1k4v40v40m4s9
SAT
0.01
Qq2k1k4v40v40m8s2
UNSAT
0.01
Qq2k1k4v40v40m16s4
SAT
0.01
Qq2k1k4v40v40m16s7
SAT
0.01
Qq2k1k4v40v40m16s8
SAT
0.01
Qq2k1k4v40v40m32s4
UNSAT
0.01
Qq2k1k4v40v40m32s9
UNSAT
0.01
Qq2k1k4v80v80m2s4
SAT
0.01
Qq2k1k4v80v80m2s9
SAT
0.01
Qq2k1k4v80v80m4s6
SAT
0.01
Qq2k1k4v80v80m4s9
SAT
0.01
Qq2k1k4v80v80m8s0
SAT
0.01
Qq2k1k4v80v80m8s3
SAT
0.01
Qq2k1k4v80v80m16s7
SAT
0.01
Qq2k1k4v80v80m32s4
UNSAT
0.01
Qq2k1k4v80v80m32s5
UNSAT
0.01
Qq2k1k4v80v80m32s6
UNSAT
0.01
Qq2k2k3v40v40m2s9
SAT
0.01
Qq2k2k3v40v40m4s2
SAT
0.01
Qq2k2k3v40v40m4s7
SAT
0.01
Qq2k2k3v40v40m8s3
SAT
0.01
Qq2k2k3v40v40m32s2
SAT
0.01
Qq2k2k3v40v40m32s3
SAT
0.01
Qq2k2k3v80v80m2s0
SAT
0.01
Qq2k2k3v80v80m2s5
SAT
0.01
Qq2k2k3v80v80m2s7
SAT
0.01
Qq2k2k3v80v80m4s5
SAT
0.01
Qq2k2k3v80v80m4s8
SAT
0.01
Qq2k2k3v80v80m4s9
SAT
0.01
Qq2k2k3v80v80m8s0
SAT
0.01
Qq2k2k3v80v80m8s3
SAT
0.01
Qq2k2k3v80v80m8s5
SAT
0.01
Qq2k2k3v80v80m16s6
SAT
0.01
Qq2k2k3v80v80m16s9
SAT
0.01
Qq2k2k3v80v80m32s0
SAT
0.01
Qq2k2k3v80v80m32s1
SAT
0.01
Qq2k2k3v80v80m32s2
SAT
0.01
Qq2k2k3v80v80m32s3
SAT
0.01
Qq2k2k3v80v80m32s8
SAT
0.01
Qq2k3k2v40v40m2s5
SAT
0.01
Qq2k3k2v40v40m4s0
SAT
0.01
Qq2k3k2v40v40m4s4
SAT
0.01
Qq2k3k2v40v40m8s1
SAT
0.01
Qq2k3k2v40v40m8s2
SAT
0.01
Qq2k3k2v40v40m8s3
SAT
0.01
Qq2k3k2v40v40m8s4
SAT
0.01
Qq2k3k2v40v40m8s5
SAT
0.01
Qq2k3k2v40v40m8s8
SAT
0.01
Qq2k3k2v40v40m8s9
SAT
0.01
Qq2k3k2v40v40m16s0
SAT
0.01
Qq2k3k2v40v40m16s5
SAT
0.01
Qq2k3k2v40v40m32s3
SAT
0.01
Qq2k3k2v40v40m32s8
SAT
0.01
Qq2k3k2v80v80m8s1
SAT
0.01
Qq2k3k2v80v80m8s4
SAT
0.01
Qq2k3k2v80v80m16s0
SAT
0.01
Qq2k3k2v80v80m16s6
SAT
0.01
Qq2k3k2v80v80m16s8
SAT
0.01
Qq2k3k2v80v80m16s9
SAT
0.01
Qq3k1k1k3v40v40v40m2s1
SAT
0.01
Qq3k1k1k3v40v40v40m2s4
SAT
0.01
Qq3k1k1k3v40v40v40m2s9
SAT
0.01
Qq3k1k1k3v40v40v40m8s6
SAT
0.01
Qq3k1k1k3v40v40v40m8s8
SAT
0.01
Qq3k1k1k3v40v40v40m16s9
SAT
0.01
Qq3k1k1k3v40v40v40m32s0
SAT
0.01
Qq3k1k1k3v40v40v40m32s4
SAT
0.01
Qq3k1k1k3v40v40v40m32s6
SAT
0.01
Qq3k1k1k3v40v40v40m32s8
SAT
0.01
Qq3k1k1k3v80v80v80m2s0
SAT
0.01
Qq3k1k1k3v80v80v80m2s2
SAT
0.01
Qq3k1k1k3v80v80v80m2s4
SAT
0.01
Qq3k1k1k3v80v80v80m2s9
SAT
0.01
Qq3k1k1k3v80v80v80m4s2
SAT
0.01
Qq3k1k1k3v80v80v80m4s3
SAT
0.01
Qq3k1k1k3v80v80v80m4s5
SAT
0.01
Qq3k1k1k3v80v80v80m8s4
SAT
0.01
Qq3k1k1k3v80v80v80m16s3
SAT
0.01
Qq3k1k2k2v40v40v40m2s3
SAT
0.01
Qq3k1k2k2v40v40v40m2s5
SAT
0.01
Qq3k1k2k2v40v40v40m2s6
SAT
0.01
Qq3k1k2k2v40v40v40m2s8
SAT
0.01
Qq3k1k2k2v40v40v40m4s5
SAT
0.01
Qq3k1k2k2v40v40v40m8s1
SAT
0.01
Qq3k1k2k2v40v40v40m8s3
SAT
0.01
Qq3k1k2k2v40v40v40m8s6
SAT
0.01
Qq3k1k2k2v40v40v40m16s4
SAT
0.01
Qq3k1k2k2v40v40v40m16s7
SAT
0.01
Qq3k1k2k2v40v40v40m16s9
SAT
0.01
Qq3k1k2k2v40v40v40m32s0
SAT
0.01
Qq3k1k2k2v40v40v40m32s9
SAT
0.01
Qq3k1k2k2v80v80v80m2s1
SAT
0.01
Qq3k1k2k2v80v80v80m2s7
SAT
0.01
Qq3k1k2k2v80v80v80m4s1
SAT
0.01
Qq3k1k2k2v80v80v80m8s4
SAT
0.01
Qq3k1k2k2v80v80v80m8s5
SAT
0.01
Qq3k1k2k2v80v80v80m32s7
SAT
0.01
Qq3k1k2k2v80v80v80m32s9
SAT
0.01
Qq3k1k3k1v40v40v40m2s3
SAT
0.01
Qq3k1k3k1v40v40v40m2s6
SAT
0.01
Qq3k1k3k1v40v40v40m2s8
SAT
0.01
Qq3k1k3k1v40v40v40m4s8
SAT
0.01
Qq3k1k3k1v40v40v40m8s5
SAT
0.01
Qq3k1k3k1v40v40v40m8s7
SAT
0.01
Qq3k1k3k1v40v40v40m8s9
SAT
0.01
Qq3k1k3k1v40v40v40m16s0
SAT
0.01
Qq3k1k3k1v40v40v40m16s1
SAT
0.01
Qq3k1k3k1v40v40v40m16s4
SAT
0.01
Qq3k1k3k1v40v40v40m16s9
SAT
0.01
Qq3k1k3k1v40v40v40m32s3
SAT
0.01
Qq3k1k3k1v40v40v40m32s5
SAT
0.01
Qq3k1k3k1v40v40v40m32s7
SAT
0.01
Qq3k1k3k1v80v80v80m2s3
SAT
0.01
Qq3k1k3k1v80v80v80m2s6
SAT
0.01
Qq3k1k3k1v80v80v80m4s0
SAT
0.01
Qq3k1k3k1v80v80v80m4s1
SAT
0.01
Qq3k1k3k1v80v80v80m4s4
SAT
0.01
Qq3k1k3k1v80v80v80m4s5
SAT
0.01
Qq3k1k3k1v80v80v80m4s8
SAT
0.01
Qq3k1k3k1v80v80v80m8s1
SAT
0.01
Qq3k1k3k1v80v80v80m8s4
SAT
0.01
Qq3k1k3k1v80v80v80m8s6
SAT
0.01
Qq3k1k3k1v80v80v80m8s7
SAT
0.01
Qq3k1k3k1v80v80v80m8s9
SAT
0.01
Qq3k1k3k1v80v80v80m16s0
SAT
0.01
Qq3k1k3k1v80v80v80m16s4
SAT
0.01
Qq3k1k3k1v80v80v80m16s5
SAT
0.01
Qq3k1k3k1v80v80v80m32s0
SAT
0.01
Qq3k2k1k2v40v40v40m2s0
SAT
0.01
Qq3k2k1k2v40v40v40m2s5
SAT
0.01
Qq3k2k1k2v40v40v40m4s0
SAT
0.01
Qq3k2k1k2v40v40v40m4s1
SAT
0.01
Qq3k2k1k2v40v40v40m4s4
SAT
0.01
Qq3k2k1k2v40v40v40m8s2
SAT
0.01
Qq3k2k1k2v40v40v40m8s3
SAT
0.01
Qq3k2k1k2v40v40v40m8s5
SAT
0.01
Qq3k2k1k2v40v40v40m8s7
SAT
0.01
Qq3k2k1k2v40v40v40m8s9
SAT
0.01
Qq3k2k1k2v40v40v40m16s2
SAT
0.01
Qq3k2k1k2v40v40v40m32s5
SAT
0.01
Qq3k2k1k2v80v80v80m2s0
SAT
0.01
Qq3k2k1k2v80v80v80m2s1
SAT
0.01
Qq3k2k1k2v80v80v80m2s3
SAT
0.01
Qq3k2k1k2v80v80v80m2s7
SAT
0.01
Qq3k2k1k2v80v80v80m8s5
SAT
0.01
Qq3k2k1k2v80v80v80m16s0
SAT
0.01
Qq3k2k1k2v80v80v80m16s1
SAT
0.01
Qq3k2k1k2v80v80v80m16s7
SAT
0.01
Qq3k2k1k2v80v80v80m32s7
SAT
0.01
Qq3k2k2k1v40v40v40m2s5
SAT
0.01
Qq3k2k2k1v40v40v40m4s3
SAT
0.01
Qq3k2k2k1v40v40v40m4s5
SAT
0.01
Qq3k2k2k1v40v40v40m4s7
SAT
0.01
Qq3k2k2k1v40v40v40m8s3
SAT
0.01
Qq3k2k2k1v40v40v40m8s7
SAT
0.01
Qq3k2k2k1v40v40v40m8s8
SAT
0.01
Qq3k2k2k1v40v40v40m8s9
SAT
0.01
Qq3k2k2k1v40v40v40m16s6
SAT
0.01
Qq3k2k2k1v40v40v40m16s8
SAT
0.01
Qq3k2k2k1v40v40v40m32s2
SAT
0.01
Qq3k2k2k1v80v80v80m2s5
SAT
0.01
Qq3k2k2k1v80v80v80m4s0
SAT
0.01
Qq3k2k2k1v80v80v80m4s4
SAT
0.01
Qq3k2k2k1v80v80v80m4s8
SAT
0.01
Qq3k2k2k1v80v80v80m8s1
SAT
0.01
Qq3k2k2k1v80v80v80m16s0
SAT
0.01
Qq3k2k2k1v80v80v80m16s6
SAT
0.01
Qq3k2k2k1v80v80v80m16s7
SAT
0.01
Qq3k2k2k1v80v80v80m16s9
SAT
0.01
Qq3k2k2k1v80v80v80m32s2
SAT
0.01
Qq3k2k2k1v80v80v80m32s6
SAT
0.01
Qq3k2k2k1v80v80v80m32s7
SAT
0.01
Qq3k2k2k1v80v80v80m32s8
SAT
0.01
Qq3k2k2k1v80v80v80m32s9
SAT
0.01
Qq3k3k1k1v40v40v40m2s1
SAT
0.01
Qq3k3k1k1v40v40v40m2s2
SAT
0.01
Qq3k3k1k1v40v40v40m4s9
SAT
0.01
Qq3k3k1k1v40v40v40m8s5
SAT
0.01
Qq3k3k1k1v40v40v40m8s8
SAT
0.01
Qq3k3k1k1v40v40v40m16s4
SAT
0.01
Qq3k3k1k1v40v40v40m32s0
SAT
0.01
Qq3k3k1k1v40v40v40m32s5
SAT
0.01
Qq3k3k1k1v40v40v40m32s8
SAT
0.01
Qq3k3k1k1v40v40v40m32s9
SAT
0.01
Qq3k3k1k1v80v80v80m2s7
SAT
0.01
Qq3k3k1k1v80v80v80m2s8
SAT
0.01
Qq3k3k1k1v80v80v80m2s9
SAT
0.01
Qq3k3k1k1v80v80v80m4s4
SAT
0.01
Qq3k3k1k1v80v80v80m4s5
SAT
0.01
Qq3k3k1k1v80v80v80m4s9
SAT
0.01
Qq3k3k1k1v80v80v80m8s1
SAT
0.01
Qq3k3k1k1v80v80v80m8s4
SAT
0.01
Qq3k3k1k1v80v80v80m8s6
SAT
0.01
Qq3k3k1k1v80v80v80m8s7
SAT
0.01
Qq3k3k1k1v80v80v80m16s2
SAT
0.01
Qq3k3k1k1v80v80v80m16s9
SAT
0.01
Qq3k3k1k1v80v80v80m32s0
SAT
0.01
Qq3k3k1k1v80v80v80m32s2
SAT
0.01
Qq3k3k1k1v80v80v80m32s3
SAT
0.01
Qq3k3k1k1v80v80v80m32s5
SAT
0.01
Qq3k3k1k1v80v80v80m32s8
SAT
0.01
Qq2k3k2v80v80m32s9
SAT
0.01
ncf_4_16_2_d.6
SAT
0.02
ncf_8_16_4_euad.1
SAT
0.02
ncf_4_8_8_edau.5
UNSAT
0.02
2qbf-5cnf-160var-320cl.5
SAT
0.02
ncf_4_16_8_d.7
SAT
0.02
ncf_8_16_4_euad.5
UNSAT
0.02
5qbf-5cnf-20var-640cl.1
UNSAT
0.02
ncf_4_8_8_d.5
UNSAT
0.02
5qbf-5cnf-160var-640cl.4
SAT
0.02
ncf_8_16_4_edau.5
UNSAT
0.02
ncf_16_32_4_d.8
SAT
0.02
mutex-16-s
SAT
0.02
3qbf-5cnf-20var-320cl.4
UNSAT
0.02
ncf_16_32_4_d.2
SAT
0.02
ncf_8_16_4_euad.2
UNSAT
0.02
ncf_16_32_4_d.9
SAT
0.02
5qbf-5cnf-160var-640cl.7
SAT
0.02
counter_re_4
SAT
0.02
x10.5
UNSAT
0.02
eijk.S208.S-d2
SAT
0.02
eijk.S386.S-d2
SAT
0.02
eijk.S526.S-d2
SAT
0.02
eijk.S953.S-d2
SAT
0.02
texas.ifetch1^4.E-f2
UNSAT
0.02
texas.parsesys^4.E-f2
UNSAT
0.02
Qq2k1k4v40v40m4s6
SAT
0.02
Qq2k1k4v40v40m32s8
UNSAT
0.02
Qq2k2k3v40v40m4s4
SAT
0.02
Qq2k3k2v80v80m32s5
SAT
0.02
Qq3k1k1k3v40v40v40m8s9
SAT
0.02
Qq3k1k2k2v80v80v80m2s0
SAT
0.02
Qq3k2k1k2v80v80v80m4s3
SAT
0.02
Qq3k2k2k1v80v80v80m4s1
SAT
0.02
Qq3k3k1k1v80v80v80m8s5
SAT
0.02
ncf_4_8_2_u.7
UNSAT
0.03
ncf_4_8_2_euad.4
UNSAT
0.03
lut4_2_fXOR
SAT
0.03
k_lin_p-8
UNSAT
0.03
ncf_4_8_2_u.4
UNSAT
0.03
3qbf-5cnf-20var-320cl.6
UNSAT
0.03
ncf_16_32_8_d.3
SAT
0.03
ncf_16_32_8_edau.3
SAT
0.03
2qbf-5cnf-160var-320cl.6
SAT
0.03
ncf_4_8_2_euad.5
SAT
0.03
comp.blif_0.10_1.00_0_0_out_exact
UNSAT
0.03
x10.4
SAT
0.03
sortnetsort5.v.stepl.003
UNSAT
0.03
ncf_4_8_2_euad.8
SAT
0.04
k_poly_n-4
SAT
0.04
mutex-32-s
SAT
0.04
3qbf-5cnf-40var-640cl.6
UNSAT
0.04
k_t4p_p-4
UNSAT
0.04
BLOCKS3i.4.4
UNSAT
0.04
ncf_4_8_2_u.8
SAT
0.04
ncf_4_8_2_u.5
SAT
0.04
k_grz_p-4
UNSAT
0.04
lut4_2_f1
SAT
0.04
ncf_4_8_2_euad.7
UNSAT
0.04
toilet_c_10_05.7
SAT
0.04
k_d4_p-8
UNSAT
0.04
5qbf-5cnf-20var-640cl.4
UNSAT
0.04
sortnetsort5.v.stepl.004
UNSAT
0.04
sortnetsort6.v.stepl.003
UNSAT
0.04
TOILET7.1.iv.13
UNSAT
0.05
ncf_4_8_2_euad.6
SAT
0.05
ncf_4_8_2_euad.1
UNSAT
0.05
ncf_4_8_2_u.9
SAT
0.05
5qbf-5cnf-20var-640cl.0
UNSAT
0.05
3qbf-5cnf-40var-640cl.7
UNSAT
0.05
ncf_4_16_2_euad.6
SAT
0.05
k_grz_n-8
SAT
0.05
s27_d3_u
UNSAT
0.05
ncf_8_16_4_d.2
UNSAT
0.05
k_lin_p-12
UNSAT
0.05
ncf_8_16_4_edau.8
UNSAT
0.05
BLOCKS3iii.5
SAT
0.05
sortnetsort5.v.stepl.005
SAT
0.05
sortnetsort5.v.stepl.006
SAT
0.05
ncf_4_8_2_u.1
UNSAT
0.06
ncf_4_8_2_euad.9
SAT
0.06
CHAIN20v.21
SAT
0.06
k_branch_p-4
UNSAT
0.06
ncf_4_16_2_u.6
SAT
0.06
k_dum_n-8
SAT
0.06
ncf_4_8_2_u.6
SAT
0.06
ncf_8_16_4_d.8
UNSAT
0.06
comp.blif_0.10_0.20_0_0_out_exact
UNSAT
0.06
ncf_4_8_2_u.2
SAT
0.06
ncf_4_8_2_euad.2
SAT
0.06
sortnetsort5.v.stepl.007
SAT
0.06
mutex-64-s
SAT
0.07
ncf_8_16_4_edau.2
UNSAT
0.07
BLOCKS3ii.5.2
UNSAT
0.07
ncf_8_16_4_u.2
UNSAT
0.07
ncf_4_16_2_d.7
SAT
0.07
CHAIN23v.24
SAT
0.07
k_dum_p-12
UNSAT
0.07
BLOCKS3i.5.3
UNSAT
0.07
k_grz_p-8
UNSAT
0.07
3qbf-5cnf-80var-2560cl.9
UNSAT
0.08
3qbf-5cnf-80var-2560cl.6
UNSAT
0.08
k_lin_p-16
UNSAT
0.08
5qbf-5cnf-20var-640cl.2
UNSAT
0.08
CHAIN22v.23
SAT
0.08
5qbf-5cnf-20var-640cl.6
UNSAT
0.08
CHAIN21v.22
SAT
0.08
5qbf-5cnf-20var-640cl.9
UNSAT
0.08
BLOCKS3i.5.4
SAT
0.09
3qbf-5cnf-80var-2560cl.0
UNSAT
0.09
k_t4p_p-8
UNSAT
0.09
ncf_4_16_2_edau.7
SAT
0.09
k_grz_n-12
SAT
0.09
ncf_4_16_2_edau.9
SAT
0.09
s499_d2_s
SAT
0.09
sortnetsort6.v.stepl.005
SAT
0.09
sortnetsort7.v.stepl.003
UNSAT
0.09
BLOCKS3ii.5.3
SAT
0.1
k_d4_p-12
UNSAT
0.1
qshifter_6
SAT
0.1
5qbf-5cnf-20var-640cl.5
UNSAT
0.1
k_dum_p-16
UNSAT
0.1
ncf_4_16_2_u.9
SAT
0.1
k_dum_n-12
SAT
0.1
sortnetsort6.v.stepl.007
SAT
0.1
5qbf-5cnf-20var-640cl.7
UNSAT
0.11
k_dum_p-20
UNSAT
0.12
ncf_4_16_2_euad.9
SAT
0.12
k_dum_n-16
SAT
0.12
ncf_4_16_2_d.9
SAT
0.12
ncf_16_32_4_d.5
UNSAT
0.12
4qbf-5cnf-20var-640cl.9
UNSAT
0.12
ncf_16_32_4_edau.5
UNSAT
0.12
3qbf-5cnf-80var-2560cl.4
UNSAT
0.12
sortnetsort6.v.stepl.004
UNSAT
0.12
k_d4_p-16
UNSAT
0.13
3qbf-5cnf-80var-2560cl.7
UNSAT
0.13
ncf_4_16_2_u.2
SAT
0.13
3qbf-5cnf-80var-2560cl.1
UNSAT
0.13
ncf_4_16_2_u.4
SAT
0.13
ncf_4_16_2_euad.4
SAT
0.13
3qbf-5cnf-40var-640cl.4
UNSAT
0.13
ncf_4_16_2_euad.2
SAT
0.14
3qbf-5cnf-40var-640cl.5
UNSAT
0.14
3qbf-5cnf-40var-640cl.3
UNSAT
0.14
k_grz_p-12
UNSAT
0.14
mutex-128-s
SAT
0.14
x15.3
SAT
0.14
k_dum_p-21
UNSAT
0.15
3qbf-5cnf-40var-640cl.8
UNSAT
0.15
k_t4p_p-12
UNSAT
0.15
term1.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.15
s27_d4_u
UNSAT
0.16
ncf_8_16_4_d.6
UNSAT
0.16
ncf_8_16_4_edau.6
UNSAT
0.16
TOILET10.1.iv.20
SAT
0.16
k_dum_n-20
SAT
0.17
ncf_4_8_4_u.2
UNSAT
0.17
sortnetsort6.v.stepl.006
SAT
0.17
ncf_4_16_4_u.5
SAT
0.18
k_d4_n-4
SAT
0.18
ncf_4_8_4_euad.2
UNSAT
0.18
k_lin_p-20
UNSAT
0.18
k_dum_n-21
SAT
0.18
x10.2
UNSAT
0.18
5qbf-5cnf-20var-640cl.8
UNSAT
0.19
lut4_AND_f1
SAT
0.19
ncf_4_16_4_euad.5
SAT
0.19
k_t4p_n-4
SAT
0.19
x10.3
UNSAT
0.19
nusmv.syncarb5^2.B-f2
SAT
0.19
4qbf-5cnf-20var-640cl.7
UNSAT
0.2
3qbf-5cnf-80var-2560cl.5
UNSAT
0.2
Adder2-4-s
SAT
0.2
3qbf-5cnf-80var-2560cl.8
UNSAT
0.2
k_lin_p-21
UNSAT
0.2
x10.0
UNSAT
0.2
x10.8
UNSAT
0.2
x10.9
UNSAT
0.2
5qbf-5cnf-40var-1280cl.7
UNSAT
0.21
k_t4p_p-16
UNSAT
0.21
k_poly_n-8
SAT
0.21
vis.emodel.E-f2
UNSAT
0.21
k_d4_p-20
UNSAT
0.22
ncf_4_8_4_u.5
SAT
0.22
s298_d2_s
SAT
0.22
ncf_4_16_2_edau.5
UNSAT
0.23
ncf_4_8_2_euad.3
UNSAT
0.23
ncf_4_8_4_euad.5
SAT
0.23
C499.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.23
sortnetsort7.v.stepl.004
UNSAT
0.23
ncf_4_8_2_u.3
UNSAT
0.24
x10.6
UNSAT
0.24
ncf_16_32_4_edau.10
UNSAT
0.25
ncf_16_32_4_d.10
UNSAT
0.25
x10.1
UNSAT
0.25
ncf_16_32_2_u.9
UNSAT
0.26
k_d4_p-21
UNSAT
0.26
ncf_4_16_2_d.5
UNSAT
0.27
ncf_16_32_2_edau.9
UNSAT
0.27
C5315.blif_0.10_1.00_0_1_out_exact
SAT
0.27
x15.1
SAT
0.28
x15.8
SAT
0.28
s27_d5_u
UNSAT
0.29
ncf_4_8_8_d.4
SAT
0.29
term1.blif_0.10_1.00_0_0_out_exact
UNSAT
0.3
counter_8
SAT
0.3
ncf_4_8_4_u.6
SAT
0.31
ncf_4_8_4_euad.6
SAT
0.31
k_grz_p-16
UNSAT
0.32
ncf_4_16_4_edau.9
SAT
0.32
ncf_4_16_4_euad.9
SAT
0.33
ncf_4_16_2_edau.1
UNSAT
0.33
ncf_16_32_2_d.8
UNSAT
0.35
k_path_p-8
UNSAT
0.35
ncf_4_16_4_d.9
SAT
0.36
ncf_16_32_2_euad.9
UNSAT
0.36
ncf_16_32_2_d.9
UNSAT
0.36
ncf_4_8_8_edau.4
SAT
0.36
ncf_4_16_2_u.7
SAT
0.39
k_branch_p-8
UNSAT
0.4
x15.4
UNSAT
0.4
ncf_4_16_4_u.9
SAT
0.41
ncf_4_8_4_euad.7
UNSAT
0.41
k_t4p_p-20
UNSAT
0.42
ncf_4_16_4_euad.1
SAT
0.42
ncf_4_8_8_u.1
SAT
0.43
ncf_4_8_4_u.7
UNSAT
0.43
ncf_4_8_8_euad.1
SAT
0.43
texas.PI_main^14.E-f2
UNSAT
0.43
ncf_4_16_4_u.1
SAT
0.44
adder-4-sat
SAT
0.46
ncf_4_16_2_euad.7
SAT
0.46
5qbf-5cnf-40var-1280cl.3
UNSAT
0.46
ncf_4_16_2_d.1
UNSAT
0.46
k_t4p_p-21
UNSAT
0.46
ncf_4_16_2_edau.8
SAT
0.47
ncf_16_32_2_edau.8
UNSAT
0.47
ncf_4_8_4_u.10
SAT
0.48
ncf_4_8_4_euad.10
SAT
0.48
ncf_4_16_2_d.8
SAT
0.49
ncf_4_8_8_u.3
SAT
0.49
5qbf-5cnf-40var-1280cl.0
UNSAT
0.5
C499.blif_0.10_1.00_0_0_out_exact
UNSAT
0.5
k_t4p_n-8
SAT
0.5
3qbf-5cnf-80var-1280cl.3
UNSAT
0.5
4qbf-5cnf-20var-640cl.4
UNSAT
0.51
3qbf-5cnf-80var-1280cl.1
UNSAT
0.51
5qbf-5cnf-40var-1280cl.6
UNSAT
0.51
C5315.blif_0.10_1.00_0_1_inp_exact
SAT
0.52
toilet_a_10_05.4
SAT
0.53
ncf_4_8_4_euad.3
UNSAT
0.53
lognBWLARGEA1
UNSAT
0.54
ev-pr-6x6-7-5-0-1-2-lg
UNSAT
0.55
TOILET16.1.iv.32
SAT
0.55
x15.6
UNSAT
0.55
5qbf-5cnf-40var-1280cl.1
UNSAT
0.56
ncf_4_8_4_u.3
UNSAT
0.59
counter_r_8
SAT
0.61
k_poly_p-12
UNSAT
0.62
ncf_4_8_8_euad.3
SAT
0.62
ncf_4_8_4_u.8
UNSAT
0.64
ev-pr-8x8-5-7-0-1-2-lg
UNSAT
0.64
qshifter_7
SAT
0.65
k_poly_n-12
SAT
0.65
robots_1_5_5_66.4
SAT
0.66
C432.blif_0.10_1.00_0_0_out_exact
UNSAT
0.67
robots_1_5_5_26.4
SAT
0.68
ncf_4_8_4_euad.8
UNSAT
0.68
ncf_4_16_4_euad.8
SAT
0.69
5qbf-5cnf-20var-320cl.8
UNSAT
0.69
4qbf-5cnf-20var-640cl.1
UNSAT
0.7
4qbf-5cnf-20var-640cl.6
UNSAT
0.7
3qbf-5cnf-80var-1280cl.4
UNSAT
0.74
ncf_4_8_4_euad.4
UNSAT
0.77
ncf_4_16_4_u.8
SAT
0.78
5qbf-5cnf-40var-1280cl.2
UNSAT
0.78
connect_8x7_3_D
UNSAT
0.81
connect_8x7_4_W
UNSAT
0.82
x20.8
SAT
0.82
vis.emodel.E-d2
SAT
0.82
ncf_4_16_2_d.10
UNSAT
0.84
5qbf-5cnf-20var-320cl.5
UNSAT
0.84
x20.0
SAT
0.84
x20.7
SAT
0.85
connect_8x7_4_D
UNSAT
0.86
connect_8x7_3_W
UNSAT
0.87
ncf_16_32_2_u.7
UNSAT
0.87
x20.2
SAT
0.91
x15.0
UNSAT
0.92
2qbf-5cnf-160var-320cl.7
SAT
0.93
4qbf-5cnf-20var-640cl.3
UNSAT
0.93
x20.9
SAT
0.93
ncf_4_8_4_u.4
UNSAT
0.97
1qbf-5cnf-160var-2560cl.0
SAT
0.98
ncf_16_32_4_d.7
UNSAT
0.99
ncf_4_16_2_edau.10
UNSAT
1
s510_d2_s
SAT
1.01
robots_1_5_3_100.4
SAT
1.01
ev-pr-8x8-7-7-0-1-2-lg
UNSAT
1.02
k_t4p_n-12
SAT
1.02
ncf_16_32_8_edau.8
UNSAT
1.03
ncf_8_16_4_u.6
UNSAT
1.04
x20.6
SAT
1.05
x20.5
SAT
1.09
ncf_16_32_8_d.8
UNSAT
1.1
nusmv.reactor^5.C-f2
UNSAT
1.12
ncf_16_32_4_edau.7
UNSAT
1.13
x15.5
UNSAT
1.13
robots_1_5_2_3.4
SAT
1.15
x15.7
UNSAT
1.2
robots_1_5_4_100.4
SAT
1.21
x15.9
UNSAT
1.21
5qbf-5cnf-40var-1280cl.5
UNSAT
1.22
1qbf-5cnf-160var-2560cl.7
SAT
1.24
5qbf-5cnf-20var-640cl.3
UNSAT
1.25
ncf_16_32_2_euad.7
UNSAT
1.29
4qbf-5cnf-20var-640cl.0
UNSAT
1.32
k_poly_n-16
SAT
1.33
connect_9x8_5_D
UNSAT
1.34
connect_9x8_5_W
UNSAT
1.34
x15.2
UNSAT
1.35
ncf_8_16_4_euad.6
UNSAT
1.36
robots_1_5_2_21.4
SAT
1.41
robots_1_5_4_98.4
SAT
1.41
connect_9x8_4_D
UNSAT
1.43
robots_1_5_4_46.4
SAT
1.47
connect_9x8_4_W
UNSAT
1.48
connect_9x8_3_W
UNSAT
1.48
connect_9x8_3_D
UNSAT
1.51
robots_1_5_3_44.4
SAT
1.52
k_d4_n-8
SAT
1.52
ev-pr-8x8-9-7-0-1-2-lg
UNSAT
1.53
x20.1
UNSAT
1.54
robots_1_5_5_34.4
SAT
1.6
robots_1_5_5_100.4
SAT
1.61
robots_1_5_5_93.4
SAT
1.62
robots_1_5_4_50.4
SAT
1.62
robots_1_5_2_85.4
SAT
1.64
robots_1_5_2_2.4
SAT
1.64
x20.4
UNSAT
1.64
Adder2-6-s
SAT
1.66
robots_1_5_5_8.4
SAT
1.67
k_t4p_n-16
SAT
1.69
robots_1_5_4_31.4
SAT
1.71
robots_1_5_5_87.4
SAT
1.72
robots_1_5_4_30.4
SAT
1.73
lognBWLARGEB1
UNSAT
1.76
robots_1_5_4_87.4
SAT
1.77
robots_1_5_2_80.4
SAT
1.78
ncf_4_16_2_euad.10
UNSAT
1.81
robots_1_5_2_99.4
SAT
1.85
robots_1_5_3_20.4
SAT
1.86
ncf_4_16_2_u.10
UNSAT
1.86
robots_1_5_3_78.4
SAT
1.89
robots_1_5_2_100.4
SAT
1.89
robots_1_5_4_2.4
SAT
2.02
robots_1_5_4_91.4
SAT
2.03
robots_1_5_5_30.4
SAT
2.04
3qbf-5cnf-80var-1280cl.5
UNSAT
2.07
1qbf-5cnf-160var-2560cl.8
SAT
2.09
ncf_4_8_8_u.5
UNSAT
2.1
ncf_4_8_4_euad.1
SAT
2.1
x25.0
SAT
2.14
x25.7
UNSAT
2.17
ncf_4_8_4_u.1
SAT
2.18
ncf_4_16_2_u.8
SAT
2.2
k_poly_p-20
UNSAT
2.29
ncf_4_8_8_euad.5
UNSAT
2.3
robots_1_5_5_12.4
SAT
2.32
robots_1_5_4_51.4
SAT
2.34
robots_1_5_3_66.4
SAT
2.39
ncf_4_16_2_euad.8
SAT
2.4
k_poly_n-20
SAT
2.4
robots_1_5_2_45.4
SAT
2.4
ev-pr-8x8-11-7-0-1-2-lg
UNSAT
2.42
3qbf-5cnf-160var-2560cl.7
UNSAT
2.49
robots_1_5_3_16.4
SAT
2.49
ncf_4_32_2_edau.1
UNSAT
2.51
k_poly_p-21
UNSAT
2.52
robots_1_5_2_82.4
SAT
2.56
robots_1_5_5_45.4
SAT
2.61
k_t4p_n-20
SAT
2.64
4qbf-5cnf-20var-640cl.8
UNSAT
2.66
robots_1_5_3_2.4
SAT
2.66
robots_1_5_3_57.4
SAT
2.76
x25.2
SAT
2.78
robots_1_5_3_24.4
SAT
2.82
k_poly_n-21
SAT
2.85
k_grz_p-20
UNSAT
2.91
s386_d2_s
SAT
2.97
k_grz_p-21
UNSAT
3.02
cmu.gigamax.B-f2
SAT
3.19
x25.1
SAT
3.2
robots_1_5_2_39.4
SAT
3.22
k_branch_p-12
UNSAT
3.22
robots_1_5_3_52.4
SAT
3.29
k_t4p_n-21
SAT
3.31
x20.3
UNSAT
3.31
T-edau-7
UNSAT
3.38
counter_re_8
SAT
3.43
T-edau-9
UNSAT
3.46
T-edau-6
UNSAT
3.52
x25.3
UNSAT
3.58
T-adeu-5
UNSAT
3.59
T-adeu-6
UNSAT
3.59
T-edau-5
UNSAT
3.73
lut4_2_f2
UNSAT
3.76
texas.parsesys^3.E-f2
SAT
3.77
3qbf-5cnf-160var-2560cl.1
UNSAT
3.79
counter_e_8
SAT
3.79
k_branch_n-4
SAT
4
x25.5
UNSAT
4.07
T-edau-8
UNSAT
4.11
ncf_8_16_4_d.3
SAT
4.13
T-adeu-1
UNSAT
4.21
2qbf-5cnf-160var-320cl.3
SAT
4.44
T-edau-1
UNSAT
4.44
T-adeu-2
UNSAT
4.5
T-edau-2
UNSAT
4.56
x25.4
UNSAT
4.59
T-edau-4
UNSAT
4.6
k_path_n-8
SAT
4.67
qshifter_8
SAT
4.81
5qbf-5cnf-40var-1280cl.4
UNSAT
4.83
x25.6
UNSAT
5.18
T-adeu-4
UNSAT
5.2
ncf_4_16_2_u.5
UNSAT
5.37
ncf_8_16_4_edau.3
SAT
5.51
T-adeu-8
UNSAT
5.55
adder-6-sat
SAT
5.8
ncf_4_16_2_euad.5
UNSAT
6.09
ncf_4_8_8_euad.4
SAT
6.13
5qbf-5cnf-20var-320cl.0
UNSAT
6.28
T-edau-0
UNSAT
6.4
k_grz_n-16
SAT
6.42
ncf_4_32_2_edau.2
SAT
6.6
2qbf-5cnf-160var-320cl.0
SAT
6.75
C5315.blif_0.10_1.00_0_0_inp_exact
UNSAT
6.92
T-adeu-7
UNSAT
6.92
T-adeu-0
UNSAT
7.36
T-adeu-9
UNSAT
7.38
3qbf-5cnf-160var-2560cl.6
UNSAT
7.44
ncf_4_8_8_u.4
SAT
7.45
T-edau-3
UNSAT
7.46
T-adeu-3
UNSAT
7.92
3qbf-5cnf-20var-320cl.9
UNSAT
8.07
sortnetsort5.AE.stepl.003
SAT
8.14
4qbf-5cnf-20var-320cl.6
UNSAT
8.15
3qbf-5cnf-20var-320cl.0
UNSAT
8.18
x25.9
UNSAT
8.19
3qbf-5cnf-20var-320cl.1
UNSAT
8.24
3qbf-5cnf-20var-320cl.3
UNSAT
8.25
5qbf-5cnf-40var-640cl.1
UNSAT
8.32
5qbf-5cnf-40var-640cl.3
UNSAT
8.44
vis.4-arbit^1.E-d2
SAT
8.5
6qbf-5cnf-20var-320cl.8
UNSAT
8.52
5qbf-5cnf-80var-2560cl.7
UNSAT
8.55
4qbf-5cnf-40var-640cl.7
UNSAT
8.55
x30.6
SAT
8.57
4qbf-5cnf-80var-2560cl.7
UNSAT
8.62
3qbf-5cnf-160var-2560cl.2
UNSAT
8.64
6qbf-5cnf-80var-1280cl.5
UNSAT
8.66
4qbf-5cnf-40var-640cl.3
UNSAT
8.68
6qbf-5cnf-80var-2560cl.5
UNSAT
8.69
lut4_3_fAND
SAT
8.7
3qbf-5cnf-40var-640cl.0
UNSAT
8.75
4qbf-5cnf-40var-640cl.4
UNSAT
8.85
4qbf-5cnf-40var-640cl.0
UNSAT
8.86
6qbf-5cnf-80var-2560cl.7
UNSAT
8.86
5qbf-5cnf-80var-2560cl.3
UNSAT
8.87
k_ph_n-8
SAT
8.89
6qbf-5cnf-20var-320cl.7
UNSAT
8.91
5qbf-5cnf-20var-320cl.4
UNSAT
8.91
6qbf-5cnf-20var-640cl.6
UNSAT
8.93
6qbf-5cnf-80var-2560cl.9
UNSAT
8.96
4qbf-5cnf-160var-2560cl.4
UNSAT
8.96
4qbf-5cnf-160var-2560cl.3
UNSAT
8.98
4qbf-5cnf-160var-2560cl.0
UNSAT
9.04
4qbf-5cnf-160var-5120cl.1
UNSAT
9.07
5qbf-5cnf-160var-5120cl.8
UNSAT
9.08
3qbf-5cnf-160var-2560cl.9
UNSAT
9.1
irst.dme4.B-d2
SAT
9.11
k_lin_n-4
SAT
9.14
4qbf-5cnf-80var-2560cl.3
UNSAT
9.14
6qbf-5cnf-20var-640cl.1
UNSAT
9.22
5qbf-5cnf-160var-5120cl.4
UNSAT
9.24
4qbf-5cnf-20var-320cl.4
UNSAT
9.28
5qbf-5cnf-80var-2560cl.9
UNSAT
9.3
4qbf-5cnf-160var-5120cl.2
UNSAT
9.34
5qbf-5cnf-160var-5120cl.9
UNSAT
9.35
6qbf-5cnf-20var-640cl.9
UNSAT
9.36
6qbf-5cnf-80var-2560cl.8
UNSAT
9.37
5qbf-5cnf-80var-2560cl.6
UNSAT
9.38
5qbf-5cnf-40var-640cl.8
UNSAT
9.38
eijk.S344.S-d2
SAT
9.39
5qbf-5cnf-160var-5120cl.5
UNSAT
9.4
x30.4
SAT
9.43
5qbf-5cnf-160var-2560cl.7
UNSAT
9.44
5qbf-5cnf-160var-2560cl.6
UNSAT
9.46
6qbf-5cnf-20var-640cl.4
UNSAT
9.5
k_path_n-12
SAT
9.51
5qbf-5cnf-160var-2560cl.8
UNSAT
9.52
5qbf-5cnf-160var-2560cl.9
UNSAT
9.53
6qbf-5cnf-80var-1280cl.8
UNSAT
9.53
5qbf-5cnf-160var-2560cl.0
UNSAT
9.54
4qbf-5cnf-40var-1280cl.8
UNSAT
9.56
x30.8
UNSAT
9.58
k_path_n-16
SAT
9.62
k_path_p-20
UNSAT
9.69
5qbf-5cnf-160var-2560cl.5
UNSAT
9.7
4qbf-5cnf-80var-2560cl.5
UNSAT
9.72
6qbf-5cnf-80var-1280cl.1
UNSAT
9.73
4qbf-5cnf-40var-1280cl.7
UNSAT
9.73
4qbf-5cnf-80var-1280cl.2
UNSAT
9.74
k_path_p-16
UNSAT
9.77
3qbf-5cnf-160var-2560cl.3
UNSAT
9.85
4qbf-5cnf-80var-1280cl.4
UNSAT
9.97
5qbf-5cnf-80var-2560cl.2
UNSAT
10
5qbf-5cnf-160var-5120cl.3
UNSAT
10.01
4qbf-5cnf-80var-1280cl.7
UNSAT
10.02
6qbf-5cnf-80var-2560cl.0
UNSAT
10.03
6qbf-5cnf-80var-2560cl.2
UNSAT
10.03
5qbf-5cnf-80var-1280cl.7
UNSAT
10.04
3qbf-5cnf-80var-1280cl.8
UNSAT
10.1
4qbf-5cnf-20var-320cl.7
UNSAT
10.12
6qbf-5cnf-80var-1280cl.2
UNSAT
10.13
4qbf-5cnf-80var-2560cl.8
UNSAT
10.14
5qbf-5cnf-160var-5120cl.1
UNSAT
10.15
6qbf-5cnf-40var-640cl.9
UNSAT
10.24
k_path_p-21
UNSAT
10.28
k_path_n-20
SAT
10.32
5qbf-5cnf-80var-2560cl.5
UNSAT
10.34
5qbf-5cnf-80var-1280cl.8
UNSAT
10.37
3qbf-5cnf-160var-2560cl.4
UNSAT
10.4
6qbf-5cnf-80var-1280cl.4
UNSAT
10.41
6qbf-5cnf-20var-640cl.2
UNSAT
10.44
6qbf-5cnf-40var-1280cl.2
UNSAT
10.44
6qbf-5cnf-80var-640cl.8
UNSAT
10.49
5qbf-5cnf-40var-640cl.5
UNSAT
10.51
ncf_4_16_4_edau.4
UNSAT
10.51
4qbf-5cnf-40var-640cl.2
UNSAT
10.55
BLOCKS4iii.7
SAT
10.56
4qbf-5cnf-160var-5120cl.4
UNSAT
10.59
6qbf-5cnf-80var-1280cl.7
UNSAT
10.65
5qbf-5cnf-80var-2560cl.0
UNSAT
10.65
4qbf-5cnf-40var-1280cl.6
UNSAT
10.66
5qbf-5cnf-80var-1280cl.4
UNSAT
10.68
6qbf-5cnf-160var-2560cl.9
UNSAT
10.73
adder-8-sat
SAT
10.74
6qbf-5cnf-20var-640cl.3
UNSAT
10.81
6qbf-5cnf-160var-2560cl.5
UNSAT
10.84
5qbf-5cnf-80var-2560cl.8
UNSAT
10.89
6qbf-5cnf-40var-1280cl.6
UNSAT
10.91
6qbf-5cnf-160var-5120cl.6
UNSAT
10.91
6qbf-5cnf-160var-2560cl.0
UNSAT
10.92
6qbf-5cnf-80var-1280cl.9
UNSAT
10.94
4qbf-5cnf-160var-2560cl.1
UNSAT
11
6qbf-5cnf-80var-2560cl.3
UNSAT
11
4qbf-5cnf-80var-2560cl.6
UNSAT
11.06
5qbf-5cnf-80var-1280cl.3
UNSAT
11.11
4qbf-5cnf-40var-1280cl.9
UNSAT
11.2
5qbf-5cnf-40var-640cl.4
UNSAT
11.25
4qbf-5cnf-160var-5120cl.6
UNSAT
11.28
ncf_4_16_4_d.4
UNSAT
11.29
4qbf-5cnf-40var-1280cl.2
UNSAT
11.35
6qbf-5cnf-40var-1280cl.1
UNSAT
11.4
6qbf-5cnf-40var-1280cl.5
UNSAT
11.43
6qbf-5cnf-20var-640cl.5
UNSAT
11.43
BLOCKS4ii.7.2
UNSAT
11.47
6qbf-5cnf-80var-2560cl.1
UNSAT
11.49
4qbf-5cnf-160var-2560cl.2
UNSAT
11.52
6qbf-5cnf-160var-2560cl.7
UNSAT
11.54
eijk.S349.S-d2
SAT
11.54
k_path_n-21
SAT
11.56
3qbf-5cnf-80var-1280cl.6
UNSAT
11.59
k_path_p-12
UNSAT
11.59
3qbf-5cnf-160var-2560cl.0
UNSAT
11.62
6qbf-5cnf-20var-320cl.1
UNSAT
11.63
4qbf-5cnf-20var-320cl.9
UNSAT
11.76
5qbf-5cnf-40var-640cl.0
UNSAT
11.76
5qbf-5cnf-160var-5120cl.2
UNSAT
11.79
6qbf-5cnf-160var-5120cl.0
UNSAT
11.79
5qbf-5cnf-160var-5120cl.7
UNSAT
11.88
5qbf-5cnf-80var-2560cl.1
UNSAT
11.89
6qbf-5cnf-40var-640cl.4
UNSAT
11.93
k_ph_p-8
UNSAT
11.93
6qbf-5cnf-160var-2560cl.3
UNSAT
11.96
x25.8
UNSAT
12.02
4qbf-5cnf-20var-320cl.2
UNSAT
12.08
4qbf-5cnf-160var-5120cl.9
UNSAT
12.12
3qbf-5cnf-20var-320cl.2
UNSAT
12.2
ncf_8_16_4_u.8
UNSAT
12.23
4qbf-5cnf-160var-2560cl.7
UNSAT
12.34
4qbf-5cnf-80var-2560cl.9
UNSAT
12.34
4qbf-5cnf-160var-5120cl.7
UNSAT
12.4
BLOCKS4ii.6.3
UNSAT
12.45
4qbf-5cnf-40var-640cl.1
UNSAT
12.47
6qbf-5cnf-80var-2560cl.4
UNSAT
12.5
3qbf-5cnf-160var-2560cl.5
UNSAT
12.59
5qbf-5cnf-80var-1280cl.9
UNSAT
12.59
5qbf-5cnf-160var-5120cl.0
UNSAT
12.76
6qbf-5cnf-160var-2560cl.8
UNSAT
12.83
6qbf-5cnf-40var-640cl.6
UNSAT
12.84
5qbf-5cnf-20var-320cl.1
UNSAT
12.86
6qbf-5cnf-160var-2560cl.1
UNSAT
12.88
5qbf-5cnf-80var-1280cl.2
UNSAT
12.96
x30.3
SAT
13.01
5qbf-5cnf-80var-2560cl.4
UNSAT
13.02
4qbf-5cnf-40var-1280cl.5
UNSAT
13.08
4qbf-5cnf-80var-1280cl.8
UNSAT
13.11
4qbf-5cnf-160var-5120cl.8
UNSAT
13.2
6qbf-5cnf-160var-5120cl.3
UNSAT
13.29
4qbf-5cnf-160var-5120cl.0
UNSAT
13.31
6qbf-5cnf-20var-320cl.9
UNSAT
13.36
6qbf-5cnf-20var-320cl.0
UNSAT
13.58
6qbf-5cnf-40var-640cl.5
UNSAT
13.61
lut4_AND_fXOR
UNSAT
13.68
4qbf-5cnf-20var-320cl.0
UNSAT
13.68
BLOCKS4i.6.4
UNSAT
13.69
4qbf-5cnf-40var-320cl.1
UNSAT
13.7
4qbf-5cnf-20var-320cl.8
UNSAT
13.72
sortnetsort10.v.stepl.004
UNSAT
13.9
6qbf-5cnf-20var-320cl.4
UNSAT
13.98
4qbf-5cnf-160var-5120cl.5
UNSAT
14.04
BLOCKS4iii.6
UNSAT
14.13
x30.9
UNSAT
14.63
6qbf-5cnf-160var-5120cl.1
UNSAT
14.68
4qbf-5cnf-40var-320cl.3
UNSAT
14.68
3qbf-5cnf-80var-1280cl.7
UNSAT
14.74
4qbf-5cnf-160var-2560cl.5
UNSAT
14.74
6qbf-5cnf-20var-320cl.6
UNSAT
14.85
C5315.blif_0.10_1.00_0_0_out_exact
UNSAT
15.01
5qbf-5cnf-40var-640cl.9
UNSAT
15.06
4qbf-5cnf-20var-320cl.1
UNSAT
15.1
4qbf-5cnf-80var-2560cl.1
UNSAT
15.24
5qbf-5cnf-40var-1280cl.8
UNSAT
15.32
Adder2-8-s
SAT
15.33
6qbf-5cnf-160var-5120cl.5
UNSAT
15.34
6qbf-5cnf-40var-1280cl.9
UNSAT
15.39
3qbf-5cnf-40var-640cl.2
UNSAT
15.4
4qbf-5cnf-160var-2560cl.6
UNSAT
15.46
4qbf-5cnf-80var-2560cl.0
UNSAT
15.52
1qbf-5cnf-160var-2560cl.2
SAT
15.53
ncf_4_32_2_u.1
UNSAT
15.56
4qbf-5cnf-20var-320cl.3
UNSAT
15.59
5qbf-5cnf-80var-1280cl.1
UNSAT
15.8
ncf_8_16_8_d.1
SAT
15.86
6qbf-5cnf-160var-5120cl.2
UNSAT
15.88
ncf_8_16_8_euad.1
SAT
15.93
texas.parsesys^1.E-f2
SAT
15.95
x30.0
UNSAT
15.98
6qbf-5cnf-160var-5120cl.9
UNSAT
16.01
2qbf-5cnf-160var-320cl.2
SAT
16.22
5qbf-5cnf-20var-320cl.6
UNSAT
16.26
6qbf-5cnf-40var-640cl.2
UNSAT
16.33
x30.7
UNSAT
16.36
ncf_4_16_4_d.7
SAT
16.4
s298_d4_s
SAT
16.46
3qbf-5cnf-40var-640cl.1
UNSAT
16.59
6qbf-5cnf-20var-320cl.5
UNSAT
16.63
6qbf-5cnf-20var-640cl.8
UNSAT
17
3qbf-5cnf-80var-320cl.9
SAT
17.04
4qbf-5cnf-20var-160cl.8
UNSAT
17.09
6qbf-5cnf-160var-5120cl.8
UNSAT
17.11
6qbf-5cnf-40var-1280cl.4
UNSAT
17.38
3qbf-5cnf-40var-640cl.9
UNSAT
17.59
ncf_8_16_8_d.7
UNSAT
17.93
x30.5
UNSAT
17.98
x30.2
UNSAT
18.41
4qbf-5cnf-40var-640cl.8
UNSAT
18.49
6qbf-5cnf-160var-5120cl.7
UNSAT
18.64
sortnetsort7.v.stepl.006
SAT
18.71
k_d4_n-12
SAT
18.9
3qbf-5cnf-80var-1280cl.9
UNSAT
19.17
k_d4_n-21
SAT
19.31
sortnetsort8.v.stepl.004
UNSAT
19.39
6qbf-5cnf-40var-640cl.8
UNSAT
19.4
sortnetsort8.v.stepl.007
SAT
19.44
4qbf-5cnf-20var-640cl.2
UNSAT
19.73
3qbf-5cnf-80var-2560cl.2
UNSAT
19.75
6qbf-5cnf-80var-1280cl.6
UNSAT
19.77
k_d4_n-20
SAT
20.08
4qbf-5cnf-40var-1280cl.3
UNSAT
20.23
sortnetsort8.v.stepl.006
SAT
20.23
sortnetsort8.v.stepl.009
SAT
20.3
sortnetsort9.v.stepl.004
UNSAT
20.39
4qbf-5cnf-80var-1280cl.9
UNSAT
20.4
4qbf-5cnf-20var-320cl.5
UNSAT
20.43
sortnetsort8.v.stepl.008
SAT
20.98
3qbf-5cnf-160var-2560cl.8
UNSAT
21.16
4qbf-5cnf-40var-640cl.6
UNSAT
21.28
3qbf-5cnf-80var-1280cl.0
UNSAT
22.46
6qbf-5cnf-20var-640cl.0
UNSAT
23.08
6qbf-5cnf-40var-1280cl.7
UNSAT
23.83
ncf_4_16_4_edau.7
SAT
23.98
3qbf-5cnf-80var-2560cl.3
UNSAT
24.12
5qbf-5cnf-40var-1280cl.9
UNSAT
24.39
sortnetsort7.v.stepl.005
UNSAT
24.46
4qbf-5cnf-40var-1280cl.0
UNSAT
24.54
5qbf-5cnf-160var-2560cl.4
UNSAT
24.76
4qbf-5cnf-160var-2560cl.9
UNSAT
24.86
5qbf-5cnf-80var-1280cl.6
UNSAT
25.02
s820_d2_s
SAT
25.17
4qbf-5cnf-40var-1280cl.1
UNSAT
25.32
1qbf-5cnf-160var-2560cl.3
SAT
25.64
k_d4_n-16
SAT
25.78
ncf_8_16_8_edau.7
UNSAT
26.04
6qbf-5cnf-80var-1280cl.0
UNSAT
26.06
irst.dme6.B-d2
SAT
26.25
6qbf-5cnf-20var-320cl.3
UNSAT
26.85
4qbf-5cnf-160var-2560cl.8
UNSAT
26.91
4qbf-5cnf-80var-1280cl.1
UNSAT
27.48
5qbf-5cnf-160var-2560cl.2
UNSAT
28.34
4qbf-5cnf-20var-640cl.5
UNSAT
28.53
5qbf-5cnf-20var-320cl.7
UNSAT
28.67
4qbf-5cnf-40var-320cl.9
UNSAT
28.85
ncf_8_16_4_euad.8
UNSAT
28.87
5qbf-5cnf-160var-2560cl.3
UNSAT
29.58
5qbf-5cnf-160var-5120cl.6
UNSAT
30.05
szymanski-8-s
UNSAT
30.16
6qbf-5cnf-40var-640cl.3
UNSAT
30.72
sortnetsort8.v.stepl.005
UNSAT
31.08
x30.1
UNSAT
31.78
6qbf-5cnf-40var-640cl.7
UNSAT
31.84
s713_d2_s
SAT
32.15
4qbf-5cnf-40var-640cl.9
UNSAT
32.18
6qbf-5cnf-40var-320cl.0
UNSAT
32.86
1qbf-5cnf-160var-2560cl.5
SAT
33.05
4qbf-5cnf-20var-160cl.0
UNSAT
33.46
4qbf-5cnf-40var-320cl.0
UNSAT
33.77
6qbf-5cnf-80var-1280cl.3
UNSAT
33.96
6qbf-5cnf-40var-1280cl.3
UNSAT
34.14
S-edau-8
UNSAT
35.22
nusmv.dme2-16.B-d2
SAT
35.59
ncf_16_32_2_d.5
UNSAT
35.79
S-edau-9
UNSAT
36.5
3qbf-5cnf-80var-1280cl.2
UNSAT
36.97
4qbf-5cnf-80var-1280cl.6
UNSAT
37.54
ncf_16_32_2_d.2
UNSAT
39.14
4qbf-5cnf-80var-1280cl.3
UNSAT
39.29
4qbf-5cnf-40var-640cl.5
UNSAT
41.07
6qbf-5cnf-160var-2560cl.4
UNSAT
41.08
6qbf-5cnf-20var-640cl.7
UNSAT
41.73
S-edau-7
UNSAT
42.38
4qbf-5cnf-80var-1280cl.0
UNSAT
43.15
6qbf-5cnf-40var-640cl.0
UNSAT
43.39
4qbf-5cnf-40var-1280cl.4
UNSAT
45.5
adder-10-sat
SAT
45.7
sortnetsort10.v.stepl.005
UNSAT
47.23
6qbf-5cnf-160var-2560cl.2
UNSAT
47.93
ncf_4_16_4_u.7
SAT
48.42
6qbf-5cnf-40var-1280cl.0
UNSAT
48.79
1qbf-5cnf-160var-2560cl.4
SAT
49.63
texas.parsesys^2.E-f2
UNSAT
50.27
5qbf-5cnf-40var-640cl.7
UNSAT
50.42
6qbf-5cnf-160var-5120cl.4
UNSAT
50.42
5qbf-5cnf-160var-2560cl.1
UNSAT
50.56
4qbf-5cnf-80var-2560cl.4
UNSAT
52.03
ncf_4_16_4_d.10
UNSAT
52.21
3qbf-5cnf-20var-320cl.5
UNSAT
55.15
texas.ifetch1^3.E-f2
UNSAT
55.32
1qbf-5cnf-80var-2560cl.2
UNSAT
57.68
1qbf-5cnf-80var-2560cl.4
UNSAT
58.23
toilet_a_10_01.16
UNSAT
58.79
1qbf-5cnf-80var-2560cl.8
UNSAT
59.32
vis.elevator^1.E-f2
UNSAT
59.7
ncf_4_32_2_u.2
SAT
60.43
eijk.bs1512.S-d2
SAT
60.92
1qbf-5cnf-80var-2560cl.6
UNSAT
61.02
ncf_16_32_2_edau.5
UNSAT
61.86
1qbf-5cnf-80var-2560cl.3
UNSAT
62.29
1qbf-5cnf-80var-2560cl.1
UNSAT
62.7
adder-6-unsat
FAIL
64.08
adder-4-unsat
FAIL
66.04
1qbf-5cnf-80var-2560cl.9
UNSAT
66.59
ncf_4_16_2_u.1
UNSAT
66.73
5qbf-5cnf-80var-1280cl.0
UNSAT
68.13
6qbf-5cnf-160var-2560cl.6
UNSAT
69.88
1qbf-5cnf-80var-2560cl.0
UNSAT
70.34
4qbf-5cnf-160var-5120cl.3
UNSAT
70.76
k_ph_n-16
SAT
71.26
test5_quant_squaring4
FAIL
73.14
5qbf-5cnf-40var-640cl.2
UNSAT
73.2
6qbf-5cnf-40var-1280cl.8
UNSAT
73.21
x35.8
SAT
74.85
ncf_4_8_8_d.2
UNSAT
75.42
eijk.S832.S-d2
SAT
76.09
5qbf-5cnf-80var-1280cl.5
UNSAT
76.5
ncf_4_16_4_euad.7
SAT
78.07
ncf_4_16_2_euad.1
UNSAT
79.03
eijk.S1196.S-d2
SAT
80.59
texas.ifetch1^1.E-f2
UNSAT
80.73
Adder2-6-c
FAIL
83.73
sortnetsort9.v.stepl.005
FAIL
84.77
1qbf-5cnf-160var-2560cl.1
SAT
85.57
x35.2
SAT
86.11
1qbf-5cnf-80var-2560cl.5
UNSAT
86.66
Adder2-4-c
FAIL
86.83
6qbf-5cnf-80var-2560cl.6
UNSAT
87.96
3qbf-5cnf-20var-160cl.1
SAT
88.54
x35.0
UNSAT
88.71
1qbf-5cnf-80var-2560cl.7
UNSAT
88.8
x35.5
UNSAT
91.11
4qbf-5cnf-20var-160cl.3
UNSAT
91.35
4qbf-5cnf-40var-320cl.2
UNSAT
94.31
S-edau-5
UNSAT
95.95
k_grz_n-20
SAT
96.57
s499_d4_s
SAT
97.52
sortnetsort7.v.stepl.009
SAT
99.03
ncf_16_32_2_edau.2
UNSAT
102
5qbf-5cnf-20var-320cl.3
UNSAT
103.5
4qbf-5cnf-80var-2560cl.2
UNSAT
105.19
sortnetsort8.v.stepl.003
UNSAT
106.64
k_lin_n-20
FAIL
107.19
sortnetsort7.v.stepl.007
SAT
107.78
sortnetsort9.v.stepl.006
FAIL
110.95
sortnetsort9.v.stepl.011
SAT
111.05
sortnetsort9.v.stepl.012
SAT
111.2
sortnetsort9.v.stepl.008
SAT
111.35
sortnetsort7.v.stepl.008
SAT
111.86
sortnetsort9.v.stepl.009
SAT
112.49
sortnetsort9.v.stepl.010
SAT
112.76
x35.7
UNSAT
113.11
eijk.S820.S-d2
SAT
114.72
x35.4
UNSAT
120.11
ncf_4_8_8_edau.2
UNSAT
121.14
C880.blif_0.10_1.00_0_1_out_exact
FAIL
123.19
4qbf-5cnf-20var-160cl.4
UNSAT
126.3
x35.1
SAT
128.99
k_ph_n-12
SAT
129.01
k_grz_n-21
SAT
135.44
sortnetsort5.AE.stepl.004
FAIL
139.88
4qbf-5cnf-40var-320cl.6
UNSAT
140.7
k_lin_n-21
FAIL
141.32
k_lin_n-12
SAT
143.59
ncf_4_16_4_edau.10
UNSAT
148.14
adder-8-unsat
FAIL
149.27
k_lin_n-16
FAIL
153.06
ev-pr-4x4-15-3-0-0-1-lg
FAIL
158.28
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
160.95
ncf_4_8_8_euad.8
FAIL
167.74
ncf_4_16_4_euad.10
UNSAT
168.53
x35.3
UNSAT
168.81
ncf_4_16_2_edau.3
UNSAT
175.08
3qbf-5cnf-20var-160cl.4
SAT
175.25
ncf_4_8_8_u.8
FAIL
181.29
4qbf-5cnf-80var-1280cl.5
UNSAT
186.01
4qbf-5cnf-80var-320cl.6
SAT
188.03
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
188.28
ncf_8_16_8_edau.1
SAT
196.8
S-adeu-4
UNSAT
200.37
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
206.21
connect_5x4_4_R
FAIL
206.7
S-adeu-5
UNSAT
218.6
irst.dme5.B-d2
SAT
221.7
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
225.26
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
228.27
szymanski-14-s
FAIL
231.26
6qbf-5cnf-80var-640cl.0
UNSAT
232.42
vis.eisenberg.E-f2
SAT
232.77
ncf_4_16_4_euad.6
UNSAT
235.62
ev-pr-4x4-17-3-0-0-1-lg
FAIL
244.48
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
244.51
eijk.S1423.S-d2
SAT
248.5
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
249.56
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
250.42
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
250.98
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
261.8
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
262.44
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
268.69
irst.dme5.B-f2
FAIL
269.33
k_lin_n-8
SAT
269.42
ncf_4_16_4_d.3
SAT
272.97
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
275.62
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
276.81
szymanski-12-s
FAIL
285.13
ncf_4_16_4_edau.3
SAT
286.05
3qbf-5cnf-20var-160cl.5
SAT
289.27
eijk.S1238.S-d2
SAT
301.6
S-adeu-8
UNSAT
302.25
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
302.49
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
304.98
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
308.5
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
309.98
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
317.94
6qbf-5cnf-40var-640cl.1
UNSAT
323.54
6qbf-5cnf-20var-320cl.2
UNSAT
325.4
x40.3
FAIL
326.86
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
331.74
Adder2-8-c
FAIL
346.24
sortnetsort9.v.stepl.007
SAT
346.71
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
354.48
ev-pr-4x4-11-3-0-0-1-lg
FAIL
358.06
2qbf-5cnf-40var-160cl.6
UNSAT
374.24
test3_quant_squaring2
FAIL
384.78
ncf_4_16_4_d.2
SAT
401.2
ncf_4_32_2_edau.3
UNSAT
405.09
ev-pr-4x4-13-3-0-0-1-lg
FAIL
411.25
adder-12-sat
SAT
415.68
ncf_4_16_4_u.10
UNSAT
420.09
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
432.86
ncf_8_16_8_d.9
UNSAT
434.11
1qbf-5cnf-160var-2560cl.9
SAT
442.51
irst.dme6.B-f2
FAIL
444.6
szymanski-22-s
FAIL
451.69
C6288.blif_0.10_1.00_0_1_out_exact
SAT
451.8
ncf_4_8_8_euad.2
UNSAT
454.55
k_branch_n-8
FAIL
459.38
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
463.47
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
464.27
ncf_4_32_2_u.8
FAIL
466.1
2qbf-5cnf-40var-160cl.0
SAT
467.18
term1.blif_0.10_0.20_0_0_out_exact
UNSAT
470.93
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
472.68
ncf_4_16_2_d.3
UNSAT
480.48
ncf_4_16_4_edau.2
SAT
497.25
connect_5x4_3_R
FAIL
497.43
sortnetsort5.AE.stepl.005
FAIL
499.28
3qbf-5cnf-20var-160cl.7
SAT
510.37
ev-pr-6x6-9-5-0-1-2-lg
FAIL
511.08
3qbf-5cnf-20var-160cl.2
FAIL
512.56
x40.9
UNSAT
515.49
ncf_4_16_8_d.8
UNSAT
521.16
ncf_8_16_8_edau.6
UNSAT
526.05
x175.0
FAIL
528.42
C880.blif_0.10_1.00_0_1_inp_exact
SAT
533.88
3qbf-5cnf-20var-160cl.3
FAIL
535.17
ncf_4_16_4_u.6
UNSAT
536.92
ncf_4_32_2_edau.8
FAIL
546.84
C499.blif_0.10_0.20_0_1_inp_exact
FAIL
558.08
ncf_4_16_4_euad.3
FAIL
565.86
ncf_4_16_4_edau.6
UNSAT
569.15
2qbf-5cnf-80var-320cl.1
FAIL
570.57
3qbf-5cnf-40var-320cl.8
FAIL
574.27
ncf_4_16_2_euad.3
FAIL
578.78
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
579.62
x145.0
FAIL
581.21
ncf_4_16_2_u.3
UNSAT
588.04
szymanski-10-s
UNSAT
589.34
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
589.57
ncf_4_16_8_u.7
FAIL
592.59
3qbf-5cnf-40var-320cl.9
FAIL
593.78
C432.blif_0.10_0.20_0_0_inp_exact
FAIL
593.86
C432.blif_0.10_0.20_0_1_inp_exact
FAIL
593.97
S-edau-1
FAIL
599.44
x220.0
FAIL
599.83
4qbf-5cnf-40var-320cl.8
FAIL
600.92
x215.6
FAIL
600.97
ncf_8_16_8_euad.7
UNSAT
602.98
S-edau-3
FAIL
639.85
x225.6
FAIL
658.26
4qbf-5cnf-20var-160cl.1
UNSAT
658.92
ncf_4_8_8_d.7
SAT
659.35
x245.9
FAIL
676.49
S-edau-2
FAIL
686.33
ncf_4_16_8_euad.7
FAIL
698.85
3qbf-5cnf-20var-320cl.8
UNSAT
746.4
S-edau-4
FAIL
751.48
ncf_4_8_8_euad.10
FAIL
765.04
ncf_4_8_8_edau.7
SAT
765.58
S-edau-0
FAIL
767.28
ncf_4_16_4_euad.2
FAIL
780.18
eijk.S349.S-f2
FAIL
791.02
x225.0
FAIL
795.56
x240.4
FAIL
810.27
x205.5
FAIL
846.9
ncf_4_8_8_edau.10
FAIL
869.92
adder-14-sat
SAT
874.33
ncf_8_16_4_u.10
FAIL
879.9
test5_quant_squaring5
FAIL
889.7
2qbf-5cnf-80var-320cl.3
FAIL
893.93
2qbf-5cnf-80var-320cl.8
FAIL
902.95
4qbf-5cnf-20var-160cl.7
UNSAT
923.17
S-edau-6
FAIL
931.25
eijk.bs1512.S-f2
FAIL
963.87
x400.4
FAIL
976.27
4qbf-5cnf-80var-320cl.0
SAT
981.42
eijk.S420.S-f2
FAIL
1000.9
x145.7
FAIL
1011.01
cmu.dme1.B-f2
FAIL
1028.95
ncf_8_16_4_euad.10
FAIL
1046.95
x225.7
FAIL
1048.45
3qbf-5cnf-20var-160cl.0
SAT
1052.33
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
1058.44
sortnetsort10.v.stepl.007
SAT
1062.9
1qbf-5cnf-160var-2560cl.6
SAT
1094.22
x175.4
FAIL
1098.61
ken.oop^2.C-f2
FAIL
1124.51
x185.4
FAIL
1137.48
ncf_4_32_2_edau.9
UNSAT
1139.78
x35.9
SAT
1140.1
ncf_4_32_2_u.3
UNSAT
1162.3
sortnetsort5.AE.stepl.006
FAIL
1166.87
S-adeu-7
UNSAT
1193.76
ncf_4_32_2_edau.7
FAIL
1198.04
ncf_4_8_8_edau.6
FAIL
1214.41
x235.2
FAIL
1229.38
x145.8
FAIL
1233.72
x220.5
FAIL
1250.79
ncf_4_8_8_d.10
SAT
1261.57
ncf_4_32_2_u.4
UNSAT
1270.13
2qbf-5cnf-80var-320cl.7
FAIL
1276.49
x215.2
FAIL
1276.86
x180.2
FAIL
1307.25
x40.6
UNSAT
1313.97
eijk.S953.S-f2
FAIL
1322.02
3qbf-5cnf-20var-320cl.7
UNSAT
1336.05
x210.9
FAIL
1343.74
ncf_8_16_4_d.7
FAIL
1349.9
x235.5
FAIL
1393.08
2qbf-5cnf-40var-160cl.7
UNSAT
1394.35
x300.6
FAIL
1413.84
x45.1
FAIL
1421.05
szymanski-24-s
FAIL
1453.52
ncf_4_8_8_u.2
UNSAT
1489.03
3qbf-5cnf-20var-160cl.6
SAT
1500.95
ncf_8_16_8_edau.9
UNSAT
1509.06
irst.dme4.B-f2
FAIL
1524.01
x125.4
FAIL
1538.51
2qbf-5cnf-80var-640cl.1
FAIL
1555.65
term1.blif_0.10_0.20_0_0_inp_exact
FAIL
1591.6
ncf_4_16_4_u.3
FAIL
1596.71
nusmv.reactor^2.C-f2
FAIL
1638.73
x220.3
FAIL
1644.6
3qbf-5cnf-20var-160cl.9
SAT
1647.91
ncf_4_16_4_u.4
FAIL
1666.16
x40.2
UNSAT
1686.69
2qbf-5cnf-80var-640cl.7
FAIL
1708.62
x100.7
FAIL
1712.08
4qbf-5cnf-40var-320cl.7
UNSAT
1717.68
x175.1
FAIL
1724.42
C432.blif_0.10_0.20_0_0_out_exact
FAIL
1725.21
ncf_4_16_8_u.10
FAIL
1748.65
ncf_16_32_4_euad.8
FAIL
1765.93
eijk.S510.S-f2
FAIL
1789.04
sortnetsort10.v.stepl.012
FAIL
1815.76
ncf_4_8_8_u.7
FAIL
1825.1
ncf_4_8_8_u.6
FAIL
1828.68
ncf_4_16_4_euad.4
FAIL
1848.52
x130.8
FAIL
1856.03
x200.8
FAIL
1859.06
x40.1
UNSAT
1861.23
ncf_4_16_4_u.2
FAIL
1884.81
x45.7
FAIL
1891.88
x250.2
FAIL
1892.18
x115.0
FAIL
1901.6
ncf_4_16_4_d.6
UNSAT
1902.37
S-adeu-6
FAIL
1914.54
x40.7
SAT
1977.14
x230.8
FAIL
1978.61
ncf_4_32_2_edau.4
UNSAT
1979.78
x45.6
FAIL
1980.99
x210.6
FAIL
2020.89
eijk.S344.S-f2
FAIL
2024.89
x105.0
FAIL
2032.97
ncf_16_32_4_u.8
FAIL
2048.52
texas.ifetch1^2.E-f2
FAIL
2102.52
x105.3
FAIL
2117.7
szymanski-18-s
FAIL
2132.64
ncf_8_16_4_u.3
FAIL
2135.87
x175.7
FAIL
2147.33
x110.1
FAIL
2177.56
sortnetsort10.v.stepl.011
FAIL
2195.06
x105.5
FAIL
2198.74
ncf_8_16_4_euad.3
FAIL
2210.91
x140.1
FAIL
2229.3
S-adeu-3
FAIL
2231.27
x210.4
FAIL
2283.22
x175.6
FAIL
2292.44
nusmv.dme1-16.B-d2
SAT
2297.21
ncf_4_8_8_euad.7
FAIL
2307.44
x235.3
FAIL
2312.15
x195.6
FAIL
2324.68
eijk.S208o.S-f2
SAT
2336.32
ncf_4_8_8_u.10
FAIL
2344.71
S-adeu-9
FAIL
2365.73
x185.6
FAIL
2366.74
x40.4
UNSAT
2400.74
S-adeu-1
FAIL
2409.47
x135.4
FAIL
2411.09
x185.3
FAIL
2445.3
x400.5
FAIL
2453.1
x215.9
FAIL
2457.4
2qbf-5cnf-80var-640cl.5
FAIL
2460.19
x50.9
FAIL
2464.38
texas.two_proc^4.E-f2
FAIL
2466.09
x150.9
FAIL
2525.29
x145.3
FAIL
2529.83
x300.4
FAIL
2562.85
2qbf-5cnf-80var-320cl.0
FAIL
2584.81
x230.3
FAIL
2591.16
ncf_16_32_4_euad.7
FAIL
2598.74
sortnetsort10.v.stepl.010
FAIL
2599.88
sortnetsort10.v.stepl.008
FAIL
2621.73
x165.6
FAIL
2626.93
nusmv.reactor^6.C-f2
FAIL
2632.57
ncf_16_32_2_d.10
FAIL
2638.99
x110.6
FAIL
2672.33
x225.9
FAIL
2709.43
6qbf-5cnf-20var-160cl.6
FAIL
2732.3
eijk.S386.S-f2
FAIL
2759.69
ncf_16_32_4_edau.4
FAIL
2769.08
2qbf-5cnf-80var-320cl.9
FAIL
2799.86
S-adeu-0
FAIL
2801.5
ncf_4_16_8_euad.10
FAIL
2815.68
vis.bakery.E-f2
SAT
2826.14
x170.4
FAIL
2836.46
texas.PI_main^10.E-f2
FAIL
2888.55
x240.1
FAIL
2904.11
x40.5
UNSAT
2904.23
ncf_8_16_8_euad.8
FAIL
2908.22
ncf_16_32_4_u.2
FAIL
2925.96
x190.3
FAIL
2967.83
x145.9
FAIL
3010.36
2qbf-5cnf-80var-640cl.0
FAIL
3011.81
x140.0
FAIL
3024.87
ncf_4_32_2_u.9
FAIL
3041.48
ncf_8_16_4_edau.9
UNSAT
3082.76
x45.3
FAIL
3123.5
ncf_4_8_8_euad.6
FAIL
3164.93
x140.2
FAIL
3167.53
eijk.S526.S-f2
FAIL
3175.46
x140.3
FAIL
3199.27
x190.6
FAIL
3201.87
x120.8
FAIL
3202.77
x45.9
FAIL
3219.27
x115.3
FAIL
3227.2
x165.8
FAIL
3235.2
S-adeu-2
FAIL
3236.82
x165.0
FAIL
3249.7
x155.2
FAIL
3255.43
ncf_8_16_8_edau.10
FAIL
3301.23
2qbf-5cnf-80var-320cl.5
FAIL
3329.68
nusmv.reactor^7.C-f2
FAIL
3358.68
szymanski-20-s
FAIL
3385.89
x170.6
FAIL
3404.19
2qbf-5cnf-160var-5120cl.4
FAIL
3404.26
ncf_8_16_4_d.9
UNSAT
3427.58
x40.0
UNSAT
3432.44
2qbf-5cnf-80var-320cl.2
FAIL
3507.12
x300.5
FAIL
3551.06
ncf_4_16_8_euad.9
FAIL
3562.71
2qbf-5cnf-80var-320cl.6
FAIL
3592.42
x55.5
FAIL
3652.81
x130.0
FAIL
3657.8
4qbf-5cnf-40var-320cl.4
UNSAT
3700.31
2qbf-5cnf-40var-160cl.4
SAT
3713.52
texas.ifetch1^9.E-f2
FAIL
3731.27
eijk.S208.S-f2
SAT
3756.48
x205.8
FAIL
3762.99
3qbf-5cnf-20var-160cl.8
SAT
3764.71
ncf_4_32_2_u.7
FAIL
3792.57
2qbf-5cnf-80var-320cl.4
FAIL
3820.44
ncf_8_16_8_edau.3
FAIL
3860.31
ncf_4_32_2_u.6
FAIL
3860.38
x185.9
FAIL
3869.96
2qbf-5cnf-80var-1280cl.5
FAIL
3892.5
ncf_4_16_8_euad.4
FAIL
3963.46
x45.5
FAIL
3984.85
x150.2
FAIL
3995.56
x150.8
FAIL
4068.04
x165.3
FAIL
4089.61
connect_6x5_5_R
FAIL
4113.93
2qbf-5cnf-80var-640cl.3
FAIL
4119.32
x130.1
FAIL
4160.49
x235.6
FAIL
4172.35
texas.ifetch1^8.E-f2
FAIL
4187.22
x155.3
FAIL
4204.74
nusmv.reactor^4.C-f2
FAIL
4234.53
sortnetsort5.AE.stepl.007
FAIL
4252.23
x155.4
FAIL
4285.51
x165.5
FAIL
4338.05
ncf_4_32_2_u.5
FAIL
4346.33
x150.6
FAIL
4349.69
x250.0
FAIL
4353.42
5qbf-5cnf-20var-320cl.9
UNSAT
4376.92
nusmv.reactor^3.C-f2
FAIL
4404.93
ncf_4_16_8_u.9
FAIL
4435.39
ncf_16_32_4_euad.1
FAIL
4490.99
x110.2
FAIL
4531.15
x160.5
FAIL
4577.83
x105.8
FAIL
4588.43
ncf_4_16_8_d.9
FAIL
4592.91
ncf_4_8_8_d.6
FAIL
4624.5
ncf_16_32_4_u.9
FAIL
4638.99
x135.0
FAIL
4686.07
ncf_16_32_2_euad.2
FAIL
4749.3
sortnetsort10.v.stepl.009
FAIL
4755.59
vis.4-arbit^2.E-f2
FAIL
4778.18
x120.6
FAIL
4789.12
x160.6
FAIL
4829.14
ncf_16_32_4_u.7
FAIL
4835.78
eijk.S838.S-f2
FAIL
4841.7
texas.PI_main^11.E-f2
FAIL
4848.33
ncf_16_32_2_u.5
FAIL
4853.27
x40.8
UNSAT
4989.57
x130.6
FAIL
5003.68
sortnetsort6.AE.stepl.003
FAIL
5012.4
ncf_8_16_8_euad.3
FAIL
5036.23
x165.9
FAIL
5071.86
3qbf-5cnf-40var-320cl.2
FAIL
5101.41
ncf_8_16_8_edau.2
FAIL
5102.12
x105.7
FAIL
5115.42
x190.1
FAIL
5130.95
5qbf-5cnf-20var-320cl.2
FAIL
5194.55
x160.9
FAIL
5207.21
ncf_16_32_8_edau.1
FAIL
5269.8
ncf_8_16_8_d.6
UNSAT
5279.67
x110.0
FAIL
5297.47
x200.1
FAIL
5305.9
ncf_8_16_8_d.3
FAIL
5310.89
ncf_4_16_8_u.4
FAIL
5329.32
4qbf-5cnf-160var-640cl.7
FAIL
5348.57
ncf_4_32_2_edau.6
FAIL
5354.64
2qbf-5cnf-160var-2560cl.7
FAIL
5389.17
3qbf-5cnf-40var-320cl.5
UNSAT
5415.54
2qbf-5cnf-80var-640cl.2
FAIL
5422.52
x230.7
FAIL
5445.58
x105.2
FAIL
5478.91
ncf_16_32_8_euad.1
FAIL
5489.82
x125.8
FAIL
5495.7
3qbf-5cnf-40var-320cl.0
FAIL
5519.6
ncf_4_16_8_euad.2
FAIL
5541.61
x120.7
FAIL
5584
x110.7
FAIL
5638.39
eijk.S820.S-f2
FAIL
5686.7
2qbf-5cnf-160var-2560cl.3
FAIL
5692.87
ncf_16_32_8_d.4
FAIL
5708.25
x50.3
FAIL
5709.59
3qbf-5cnf-40var-320cl.1
FAIL
5711.54
3qbf-5cnf-40var-320cl.3
FAIL
5720.29
x145.4
FAIL
5721.13
x100.9
FAIL
5730.61
x155.9
FAIL
5766
x50.1
FAIL
5771.98
6qbf-5cnf-20var-160cl.2
FAIL
5772.45
3qbf-5cnf-40var-320cl.6
FAIL
5792.27
6qbf-5cnf-20var-160cl.5
FAIL
5812.87
ncf_8_16_4_u.4
FAIL
5838.78
x135.5
FAIL
5844.74
ncf_16_32_2_u.10
FAIL
5884.11
2qbf-5cnf-40var-320cl.3
FAIL
5893.01
ncf_8_16_8_euad.2
FAIL
5895.92
ncf_16_32_8_u.4
FAIL
5914.79
x115.9
FAIL
5955.52
2qbf-5cnf-80var-1280cl.4
FAIL
5967.17
x45.0
FAIL
5971.69
x130.9
FAIL
5984.04
2qbf-5cnf-80var-1280cl.8
FAIL
5986.56
x100.1
FAIL
5992.53
x150.4
FAIL
5994.79
3qbf-5cnf-40var-320cl.4
FAIL
5995.03
ncf_16_32_2_u.6
FAIL
5995.09
x120.5
FAIL
5996.04
2qbf-5cnf-160var-5120cl.0
FAIL
5997.17
x160.8
FAIL
5997.97
vis.coherence^5.E-f2
FAIL
5998.01
x130.5
FAIL
5998.2
x135.1
FAIL
5999.14
ncf_16_32_2_euad.6
FAIL
5999.32
ncf_16_32_8_u.1
FAIL
5999.58
x140.8
FAIL
5999.58
x145.2
FAIL
5999.61
x140.4
FAIL
5999.65
ncf_16_32_4_u.1
FAIL
5999.67
x125.9
FAIL
5999.78
2qbf-5cnf-160var-2560cl.2
FAIL
5999.79
x90.9
FAIL
5999.82
x100.8
FAIL
5999.84
cmu.dme2.B-f2
FAIL
5999.85
x90.4
FAIL
5999.89
x230.0
FAIL
5999.9
ncf_16_32_2_edau.10
FAIL
5999.91
x130.7
FAIL
5999.91
nusmv.brp.B-f2
FAIL
5999.91
eijk.S208c.S-f2
FAIL
5999.92
2qbf-5cnf-160var-5120cl.9
FAIL
5999.93
texas.two_proc^5.E-f2
FAIL
5999.94
x95.7
FAIL
5999.95
texas.ifetch1^7.E-f2
FAIL
5999.95
x90.1
FAIL
5999.96
x145.5
FAIL
5999.97
ncf_16_32_8_u.2
FAIL
5999.99
x135.8
FAIL
5999.99
x205.6
FAIL
5999.99
x50.5
FAIL
6000
ncf_16_32_2_u.4
FAIL
6000.02
sortnetsort10.AE.stepl.005
FAIL
6000.02
2qbf-5cnf-160var-2560cl.6
FAIL
6000.04
2qbf-5cnf-80var-640cl.4
FAIL
6000.04
x135.2
FAIL
6000.04
2qbf-5cnf-160var-2560cl.9
FAIL
6000.08
2qbf-5cnf-80var-1280cl.9
FAIL
6000.08
6qbf-5cnf-20var-160cl.9
FAIL
6000.09
eijk.S444.S-f2
FAIL
6000.09
ncf_8_16_8_d.4
FAIL
6000.1
x150.1
FAIL
6000.12
ncf_16_32_4_euad.9
FAIL
6000.13
x105.1
FAIL
6000.13
texas.PI_main^02.E-f2
FAIL
6000.13
ncf_16_32_4_edau.1
FAIL
6000.14
texas.two_proc^3.E-f2
FAIL
6000.14
3qbf-5cnf-80var-320cl.4
FAIL
6000.15
texas.two_proc^6.E-f2
FAIL
6000.15
6qbf-5cnf-80var-640cl.2
FAIL
6000.16
texas.two_proc^1.E-f2
FAIL
6000.16
ncf_16_32_4_euad.3
FAIL
6000.18
ncf_8_16_4_edau.7
FAIL
6000.18
eijk.S298.S-f2
FAIL
6000.18
6qbf-5cnf-20var-160cl.0
FAIL
6000.19
x100.5
FAIL
6000.19
x110.9
FAIL
6000.19
x175.3
FAIL
6000.19
ncf_16_32_8_edau.5
FAIL
6000.2
ncf_16_32_2_edau.4
FAIL
6000.21
5qbf-5cnf-40var-320cl.6
FAIL
6000.21
x160.0
FAIL
6000.22
ncf_16_32_8_d.2
FAIL
6000.23
2qbf-5cnf-160var-5120cl.3
FAIL
6000.23
6qbf-5cnf-40var-320cl.7
FAIL
6000.23
x225.8
FAIL
6000.23
texas.two_proc^2.E-f2
FAIL
6000.23
vis.coherence^3.E-f2
FAIL
6000.23
sortnetsort6.AE.stepl.005
FAIL
6000.23
ncf_16_32_8_edau.7
FAIL
6000.24
2qbf-5cnf-80var-1280cl.7
FAIL
6000.24
ncf_16_32_8_d.9
FAIL
6000.25
x115.4
FAIL
6000.25
eijk.S641.S-f2
FAIL
6000.25
vis.elevator^2.E-f2
FAIL
6000.25
ncf_8_16_8_euad.10
FAIL
6000.26
3qbf-5cnf-80var-320cl.0
FAIL
6000.26
2qbf-5cnf-160var-2560cl.0
FAIL
6000.27
x220.9
FAIL
6000.27
vis.arbiter.E-f2
FAIL
6000.27
x125.6
FAIL
6000.28
eijk.S382.S-f2
FAIL
6000.28
4qbf-5cnf-160var-640cl.5
FAIL
6000.29
ncf_16_32_4_euad.6
FAIL
6000.3
x140.7
FAIL
6000.3
2qbf-5cnf-160var-320cl.9
FAIL
6000.31
ncf_16_32_4_u.10
FAIL
6000.31
x160.1
FAIL
6000.31
texas.ifetch1^5.E-f2
FAIL
6000.31
4qbf-5cnf-80var-320cl.9
FAIL
6000.33
ncf_16_32_8_euad.5
FAIL
6000.33
2qbf-5cnf-80var-640cl.9
FAIL
6000.33
x125.7
FAIL
6000.33
x190.7
FAIL
6000.33
x210.1
FAIL
6000.33
x45.8
FAIL
6000.33
texas.PI_main^01.E-f2
FAIL
6000.33
vis.4-arbit^1.E-f2
FAIL
6000.33
sortnetsort10.v.stepl.006
FAIL
6000.33
ncf_16_32_8_d.1
FAIL
6000.34
x125.5
FAIL
6000.34
x180.4
FAIL
6000.34
x90.5
FAIL
6000.34
2qbf-5cnf-40var-640cl.1
FAIL
6000.35
2qbf-5cnf-160var-5120cl.7
FAIL
6000.35
ncf_16_32_4_u.4
FAIL
6000.35
x130.2
FAIL
6000.36
x170.0
FAIL
6000.36
ncf_8_16_8_euad.4
FAIL
6000.37
2qbf-5cnf-80var-640cl.8
FAIL
6000.37
5qbf-5cnf-40var-320cl.2
FAIL
6000.37
2qbf-5cnf-160var-2560cl.1
FAIL
6000.37
x100.0
FAIL
6000.37
x135.7
FAIL
6000.37
texas.PI_main^16.E-f2
FAIL
6000.37
2qbf-5cnf-160var-2560cl.5
FAIL
6000.38
ncf_16_32_4_u.3
FAIL
6000.38
6qbf-5cnf-40var-320cl.8
FAIL
6000.38
x130.3
FAIL
6000.38
x90.7
FAIL
6000.38
sortnetsort10.AE.stepl.012
FAIL
6000.38
ncf_16_32_4_u.5
FAIL
6000.39
4qbf-5cnf-20var-160cl.6
FAIL
6000.39
ncf_4_16_8_euad.6
FAIL
6000.39
ncf_8_16_4_euad.7
FAIL
6000.39
2qbf-5cnf-40var-640cl.2
FAIL
6000.39
x120.9
FAIL
6000.39
x80.6
FAIL
6000.39
ncf_16_32_2_euad.10
FAIL
6000.4
x105.9
FAIL
6000.4
x85.4
FAIL
6000.4
ken.oop^1.C-f2
FAIL
6000.4
ncf_4_16_8_u.3
FAIL
6000.41
ncf_4_16_8_euad.3
FAIL
6000.41
ncf_16_32_2_euad.4
FAIL
6000.41
ncf_8_16_8_d.10
FAIL
6000.41
4qbf-5cnf-80var-320cl.3
FAIL
6000.41
6qbf-5cnf-40var-320cl.3
FAIL
6000.41
4qbf-5cnf-160var-640cl.1
FAIL
6000.41
x140.9
FAIL
6000.41
x250.6
FAIL
6000.41
2qbf-5cnf-160var-320cl.1
FAIL
6000.42
ncf_8_16_8_edau.4
FAIL
6000.42
ncf_16_32_2_d.4
FAIL
6000.42
x120.4
FAIL
6000.42
x50.0
FAIL
6000.42
ncf_16_32_8_euad.4
FAIL
6000.43
ncf_8_16_4_u.7
FAIL
6000.43
x50.2
FAIL
6000.43
x80.3
FAIL
6000.43
x85.1
FAIL
6000.43
6qbf-5cnf-40var-320cl.6
FAIL
6000.44
6qbf-5cnf-20var-160cl.4
FAIL
6000.44
ncf_16_32_8_euad.2
FAIL
6000.44
test3_quant2
FAIL
6000.44
2qbf-5cnf-40var-640cl.7
FAIL
6000.44
x150.5
FAIL
6000.44
x240.8
FAIL
6000.44
x300.7
FAIL
6000.44
x85.5
FAIL
6000.44
x85.8
FAIL
6000.44
texas.PI_main^12.E-f2
FAIL
6000.44
2qbf-5cnf-160var-5120cl.1
FAIL
6000.45
ncf_16_32_2_euad.1
FAIL
6000.45
x125.0
FAIL
6000.45
x75.7
FAIL
6000.45
x90.3
FAIL
6000.45
ncf_16_32_8_u.7
FAIL
6000.46
x50.8
FAIL
6000.46
x60.9
FAIL
6000.46
2qbf-5cnf-80var-1280cl.2
FAIL
6000.47
x110.4
FAIL
6000.47
x110.5
FAIL
6000.47
x180.1
FAIL
6000.47
x240.5
FAIL
6000.47
vis.coherence^1.E-f2
FAIL
6000.47
sortnetsort10.AE.stepl.011
FAIL
6000.47
sortnetsort6.AE.stepl.007
FAIL
6000.47
szymanski-16-s
FAIL
6000.48
5qbf-5cnf-80var-640cl.8
FAIL
6000.48
x200.5
FAIL
6000.48
eijk.S832.S-f2
FAIL
6000.48
2qbf-5cnf-80var-640cl.6
FAIL
6000.49
ncf_16_32_8_euad.7
FAIL
6000.49
ncf_4_16_8_euad.5
FAIL
6000.49
ncf_16_32_2_euad.3
FAIL
6000.49
test5_quant5
FAIL
6000.49
3qbf-5cnf-160var-640cl.1
FAIL
6000.49
ncf_16_32_8_edau.2
FAIL
6000.49
x100.3
FAIL
6000.49
x115.5
FAIL
6000.49
x115.6
FAIL
6000.49
x150.7
FAIL
6000.49
x215.4
FAIL
6000.49
x95.9
FAIL
6000.49
5qbf-5cnf-40var-320cl.1
FAIL
6000.5
ncf_8_16_8_euad.5
FAIL
6000.5
ncf_16_32_8_u.5
FAIL
6000.5
2qbf-5cnf-40var-320cl.9
FAIL
6000.5
x240.9
FAIL
6000.5
x55.1
FAIL
6000.5
2qbf-5cnf-160var-320cl.4
FAIL
6000.51
3qbf-5cnf-80var-320cl.2
FAIL
6000.51
2qbf-5cnf-160var-5120cl.6
FAIL
6000.51
2qbf-5cnf-160var-5120cl.8
FAIL
6000.51
x125.2
FAIL
6000.51
x165.2
FAIL
6000.51
sortnetsort8.AE.stepl.004
FAIL
6000.51
2qbf-5cnf-40var-320cl.8
FAIL
6000.52
ncf_8_16_4_euad.9
FAIL
6000.52
ncf_16_32_8_euad.9
FAIL
6000.52
x170.1
FAIL
6000.52
vis.elevator^3.E-f2
FAIL
6000.52
2qbf-5cnf-160var-2560cl.8
FAIL
6000.53
ncf_4_16_8_d.4
FAIL
6000.53
6qbf-5cnf-20var-160cl.3
FAIL
6000.53
x115.2
FAIL
6000.53
x125.1
FAIL
6000.53
x195.9
FAIL
6000.53
x200.4
FAIL
6000.53
x50.7
FAIL
6000.53
2qbf-5cnf-160var-2560cl.4
FAIL
6000.54
ncf_8_16_8_euad.6
FAIL
6000.54
x100.6
FAIL
6000.54
x110.8
FAIL
6000.54
x65.4
FAIL
6000.54
x80.9
FAIL
6000.54
x90.2
FAIL
6000.54
x95.8
FAIL
6000.54
2qbf-5cnf-40var-320cl.2
FAIL
6000.55
2qbf-5cnf-40var-320cl.7
FAIL
6000.55
5qbf-5cnf-40var-640cl.6
FAIL
6000.55
ncf_16_32_8_d.5
FAIL
6000.55
2qbf-5cnf-80var-1280cl.1
FAIL
6000.55
3qbf-5cnf-160var-640cl.4
FAIL
6000.55
x165.7
FAIL
6000.55
x185.5
FAIL
6000.55
x210.5
FAIL
6000.55
x85.7
FAIL
6000.55
3qbf-5cnf-40var-320cl.7
FAIL
6000.56
ncf_16_32_4_d.4
FAIL
6000.56
ncf_8_16_8_edau.8
FAIL
6000.56
5qbf-5cnf-40var-320cl.0
FAIL
6000.56
4qbf-5cnf-20var-160cl.2
FAIL
6000.56
x350.3
FAIL
6000.56
x85.3
FAIL
6000.56
ncf_8_16_4_euad.4
FAIL
6000.57
ncf_16_32_8_euad.10
FAIL
6000.57
ncf_4_16_8_d.10
FAIL
6000.57
3qbf-5cnf-80var-320cl.3
FAIL
6000.57
3qbf-5cnf-160var-640cl.9
FAIL
6000.57
6qbf-5cnf-20var-160cl.7
FAIL
6000.57
x170.9
FAIL
6000.57
x75.9
FAIL
6000.57
ncf_16_32_4_d.1
FAIL
6000.58
4qbf-5cnf-40var-320cl.5
FAIL
6000.58
x120.0
FAIL
6000.58
x120.3
FAIL
6000.58
x55.2
FAIL
6000.58
x55.9
FAIL
6000.58
x85.0
FAIL
6000.58
5qbf-5cnf-80var-640cl.4
FAIL
6000.59
ncf_16_32_8_euad.6
FAIL
6000.59
ncf_16_32_4_euad.4
FAIL
6000.59
5qbf-5cnf-40var-320cl.9
FAIL
6000.59
x120.1
FAIL
6000.59
x80.2
FAIL
6000.59
x90.0
FAIL
6000.59
x95.1
FAIL
6000.59
vis.coherence^2.E-f2
FAIL
6000.59
sortnetsort8.AE.stepl.003
FAIL
6000.59
5qbf-5cnf-40var-320cl.8
FAIL
6000.6
ncf_4_16_8_u.5
FAIL
6000.6
x120.2
FAIL
6000.6
x85.6
FAIL
6000.6
sortnetsort10.AE.stepl.010
FAIL
6000.6
ncf_4_16_8_u.8
FAIL
6000.61
ncf_4_16_8_d.5
FAIL
6000.61
ncf_4_32_2_edau.5
FAIL
6000.61
ncf_4_16_8_d.6
FAIL
6000.61
ncf_16_32_8_edau.6
FAIL
6000.61
ncf_16_32_8_euad.8
FAIL
6000.61
2qbf-5cnf-80var-1280cl.3
FAIL
6000.61
ncf_8_16_8_edau.5
FAIL
6000.61
5qbf-5cnf-80var-640cl.2
FAIL
6000.61
2qbf-5cnf-40var-320cl.0
FAIL
6000.61
x100.2
FAIL
6000.61
x155.0
FAIL
6000.61
x60.0
FAIL
6000.61
x95.2
FAIL
6000.61
6qbf-5cnf-20var-160cl.8
FAIL
6000.62
ncf_16_32_2_u.2
FAIL
6000.62
ncf_16_32_4_u.6
FAIL
6000.62
ncf_16_32_8_edau.9
FAIL
6000.62
2qbf-5cnf-40var-640cl.6
FAIL
6000.62
ncf_16_32_2_edau.3
FAIL
6000.62
x230.6
FAIL
6000.62
x240.3
FAIL
6000.62
x70.1
FAIL
6000.62
x75.0
FAIL
6000.62
x80.4
FAIL
6000.62
4qbf-5cnf-80var-320cl.7
FAIL
6000.63
3qbf-5cnf-80var-320cl.8
FAIL
6000.63
ncf_16_32_8_u.9
FAIL
6000.63
ncf_4_16_8_d.1
FAIL
6000.63
sortnetsort7.AE.stepl.003
FAIL
6000.63
2qbf-5cnf-160var-5120cl.2
FAIL
6000.64
ncf_8_16_8_d.8
FAIL
6000.64
5qbf-5cnf-40var-320cl.3
FAIL
6000.64
2qbf-5cnf-40var-320cl.5
FAIL
6000.64
x55.7
FAIL
6000.64
x60.6
FAIL
6000.64
sortnetsort6.AE.stepl.006
FAIL
6000.64
4qbf-5cnf-20var-160cl.5
FAIL
6000.65
ncf_16_32_8_d.7
FAIL
6000.65
ncf_4_16_8_d.3
FAIL
6000.65
6qbf-5cnf-40var-320cl.2
FAIL
6000.65
2qbf-5cnf-40var-640cl.9
FAIL
6000.65
ncf_16_32_2_d.3
FAIL
6000.65
6qbf-5cnf-40var-320cl.1
FAIL
6000.65
ncf_4_16_8_d.2
FAIL
6000.65
3qbf-5cnf-80var-320cl.5
FAIL
6000.65
5qbf-5cnf-40var-320cl.4
FAIL
6000.65
x140.6
FAIL
6000.65
x200.0
FAIL
6000.65
x220.1
FAIL
6000.65
x220.2
FAIL
6000.65
x245.3
FAIL
6000.65
x300.1
FAIL
6000.65
x300.2
FAIL
6000.65
x350.9
FAIL
6000.65
x80.7
FAIL
6000.65
x95.3
FAIL
6000.65
eijk.S713.S-f2
FAIL
6000.65
2qbf-5cnf-40var-640cl.8
FAIL
6000.66
x115.7
FAIL
6000.66
x155.6
FAIL
6000.66
x180.5
FAIL
6000.66
x200.7
FAIL
6000.66
x65.9
FAIL
6000.66
x70.6
FAIL
6000.66
ncf_8_16_8_euad.9
FAIL
6000.67
5qbf-5cnf-40var-320cl.7
FAIL
6000.67
x125.3
FAIL
6000.67
x140.5
FAIL
6000.67
x60.5
FAIL
6000.67
x70.2
FAIL
6000.67
x80.5
FAIL
6000.67
sortnetsort10.AE.stepl.006
FAIL
6000.67
sortnetsort9.AE.stepl.004
FAIL
6000.67
ncf_4_16_8_u.6
FAIL
6000.68
5qbf-5cnf-80var-640cl.5
FAIL
6000.68
3qbf-5cnf-160var-640cl.0
FAIL
6000.68
6qbf-5cnf-40var-320cl.4
FAIL
6000.68
2qbf-5cnf-40var-320cl.4
FAIL
6000.68
ncf_4_16_8_euad.1
FAIL
6000.68
2qbf-5cnf-40var-320cl.1
FAIL
6000.68
6qbf-5cnf-20var-160cl.1
FAIL
6000.68
x100.4
FAIL
6000.68
x190.5
FAIL
6000.68
x90.6
FAIL
6000.68
x95.4
FAIL
6000.68
sortnetsort6.AE.stepl.004
FAIL
6000.68
3qbf-5cnf-80var-320cl.1
FAIL
6000.69
ncf_4_32_2_edau.10
FAIL
6000.69
5qbf-5cnf-80var-640cl.3
FAIL
6000.69
ncf_16_32_8_u.6
FAIL
6000.69
2qbf-5cnf-40var-640cl.0
FAIL
6000.69
ncf_4_16_8_u.1
FAIL
6000.69
2qbf-5cnf-40var-640cl.4
FAIL
6000.69
x180.0
FAIL
6000.69
x45.2
FAIL
6000.69
x55.3
FAIL
6000.69
x60.2
FAIL
6000.69
x65.3
FAIL
6000.69
x95.6
FAIL
6000.69
2qbf-5cnf-40var-160cl.9
FAIL
6000.7
6qbf-5cnf-80var-640cl.6
FAIL
6000.7
ncf_16_32_8_u.8
FAIL
6000.7
3qbf-5cnf-80var-320cl.6
FAIL
6000.7
x105.4
FAIL
6000.7
x135.3
FAIL
6000.7
x150.0
FAIL
6000.7
x205.4
FAIL
6000.7
x230.2
FAIL
6000.7
x65.2
FAIL
6000.7
x75.1
FAIL
6000.7
x75.3
FAIL
6000.7
nusmv.syncarb10^2.B-f2
FAIL
6000.7
sortnetsort9.AE.stepl.006
FAIL
6000.7
ncf_16_32_8_edau.4
FAIL
6000.71
5qbf-5cnf-40var-320cl.5
FAIL
6000.71
4qbf-5cnf-80var-320cl.4
FAIL
6000.71
x155.8
FAIL
6000.71
x165.4
FAIL
6000.71
x245.1
FAIL
6000.71
x250.7
FAIL
6000.71
x65.1
FAIL
6000.71
x65.8
FAIL
6000.71
x70.3
FAIL
6000.71
4qbf-5cnf-80var-320cl.1
FAIL
6000.72
test5_quant7
FAIL
6000.72
3qbf-5cnf-80var-320cl.7
FAIL
6000.72
4qbf-5cnf-80var-320cl.5
FAIL
6000.72
2qbf-5cnf-80var-1280cl.6
FAIL
6000.72
5qbf-5cnf-80var-640cl.9
FAIL
6000.72
ncf_16_32_2_euad.5
FAIL
6000.72
3qbf-5cnf-160var-640cl.6
FAIL
6000.72
4qbf-5cnf-80var-320cl.8
FAIL
6000.72
x115.8
FAIL
6000.72
x145.6
FAIL
6000.72
x200.9
FAIL
6000.72
x80.0
FAIL
6000.72
x90.8
FAIL
6000.72
sortnetsort7.AE.stepl.008
FAIL
6000.72
ncf_16_32_2_d.1
FAIL
6000.73
ncf_4_16_8_euad.8
FAIL
6000.73
6qbf-5cnf-80var-640cl.1
FAIL
6000.73
3qbf-5cnf-160var-640cl.7
FAIL
6000.73
3qbf-5cnf-160var-640cl.5
FAIL
6000.73
x185.0
FAIL
6000.73
x195.7
FAIL
6000.73
x240.0
FAIL
6000.73
x55.4
FAIL
6000.73
x80.8
FAIL
6000.73
sortnetsort9.AE.stepl.007
FAIL
6000.73
ncf_16_32_2_u.1
FAIL
6000.74
test3_quant4
FAIL
6000.74
3qbf-5cnf-160var-640cl.2
FAIL
6000.74
x70.7
FAIL
6000.74
x70.9
FAIL
6000.74
x85.9
FAIL
6000.74
x95.0
FAIL
6000.74
sortnetsort8.AE.stepl.006
FAIL
6000.74
sortnetsort9.AE.stepl.010
FAIL
6000.74
ncf_8_16_4_u.9
FAIL
6000.75
3qbf-5cnf-160var-640cl.3
FAIL
6000.75
4qbf-5cnf-80var-320cl.2
FAIL
6000.75
ncf_16_32_8_u.10
FAIL
6000.75
2qbf-5cnf-40var-640cl.3
FAIL
6000.75
ncf_16_32_8_d.6
FAIL
6000.75
x110.3
FAIL
6000.75
x180.8
FAIL
6000.75
x215.3
FAIL
6000.75
ncf_16_32_2_euad.8
FAIL
6000.76
4qbf-5cnf-20var-160cl.9
FAIL
6000.76
6qbf-5cnf-80var-640cl.4
FAIL
6000.76
x55.6
FAIL
6000.76
x65.6
FAIL
6000.76
sortnetsort7.AE.stepl.005
FAIL
6000.76
sortnetsort8.AE.stepl.009
FAIL
6000.76
6qbf-5cnf-40var-320cl.9
FAIL
6000.77
3qbf-5cnf-160var-640cl.8
FAIL
6000.77
4qbf-5cnf-160var-640cl.6
FAIL
6000.77
ncf_16_32_2_edau.1
FAIL
6000.77
2qbf-5cnf-160var-5120cl.5
FAIL
6000.77
x155.1
FAIL
6000.77
x180.6
FAIL
6000.77
x195.4
FAIL
6000.77
x60.8
FAIL
6000.77
x80.1
FAIL
6000.77
sortnetsort7.AE.stepl.009
FAIL
6000.77
sortnetsort8.AE.stepl.007
FAIL
6000.77
sortnetsort9.AE.stepl.008
FAIL
6000.77
4qbf-5cnf-160var-640cl.9
FAIL
6000.78
2qbf-5cnf-40var-160cl.3
FAIL
6000.78
5qbf-5cnf-80var-640cl.6
FAIL
6000.78
ncf_8_16_8_d.2
FAIL
6000.78
ncf_16_32_2_u.3
FAIL
6000.78
4qbf-5cnf-160var-640cl.2
FAIL
6000.78
x160.2
FAIL
6000.78
x50.6
FAIL
6000.78
x55.8
FAIL
6000.78
x75.2
FAIL
6000.78
sortnetsort7.AE.stepl.006
FAIL
6000.78
sortnetsort8.AE.stepl.008
FAIL
6000.78
5qbf-5cnf-80var-640cl.7
FAIL
6000.79
6qbf-5cnf-40var-320cl.5
FAIL
6000.79
4qbf-5cnf-160var-640cl.4
FAIL
6000.79
ncf_4_16_8_u.2
FAIL
6000.79
2qbf-5cnf-80var-1280cl.0
FAIL
6000.79
ncf_16_32_2_u.8
FAIL
6000.79
6qbf-5cnf-80var-640cl.3
FAIL
6000.79
ncf_16_32_8_u.3
FAIL
6000.79
x135.9
FAIL
6000.79
x350.4
FAIL
6000.79
x45.4
FAIL
6000.79
x85.2
FAIL
6000.79
x95.5
FAIL
6000.79
ncf_16_32_4_euad.2
FAIL
6000.8
6qbf-5cnf-80var-640cl.9
FAIL
6000.8
4qbf-5cnf-160var-640cl.3
FAIL
6000.8
x75.5
FAIL
6000.8
sortnetsort7.AE.stepl.004
FAIL
6000.8
ncf_16_32_8_euad.3
FAIL
6000.81
x105.6
FAIL
6000.81
x75.4
FAIL
6000.81
sortnetsort10.AE.stepl.007
FAIL
6000.81
sortnetsort10.AE.stepl.008
FAIL
6000.81
6qbf-5cnf-80var-640cl.5
FAIL
6000.82
5qbf-5cnf-80var-640cl.1
FAIL
6000.82
6qbf-5cnf-80var-640cl.7
FAIL
6000.82
ncf_16_32_4_euad.5
FAIL
6000.82
4qbf-5cnf-160var-640cl.8
FAIL
6000.82
x65.7
FAIL
6000.82
4qbf-5cnf-160var-640cl.0
FAIL
6000.83
x60.7
FAIL
6000.83
x65.0
FAIL
6000.83
x75.6
FAIL
6000.83
ncf_4_32_2_u.10
FAIL
6000.84
x350.2
FAIL
6000.84
x60.4
FAIL
6000.84
x65.5
FAIL
6000.84
x70.5
FAIL
6000.84
sortnetsort7.AE.stepl.007
FAIL
6000.84
sortnetsort9.AE.stepl.005
FAIL
6000.84
sortnetsort9.AE.stepl.009
FAIL
6000.84
5qbf-5cnf-80var-640cl.0
FAIL
6000.85
ncf_16_32_4_euad.10
FAIL
6000.85
adder-16-sat
FAIL
6000.85
ncf_16_32_4_d.6
FAIL
6000.85
sortnetsort10.AE.stepl.009
FAIL
6000.85
2qbf-5cnf-160var-320cl.8
FAIL
6000.86
2qbf-5cnf-40var-640cl.5
FAIL
6000.86
ncf_8_16_8_d.5
FAIL
6000.86
x400.8
FAIL
6000.86
x55.0
FAIL
6000.86
x60.1
FAIL
6000.86
sortnetsort8.AE.stepl.005
FAIL
6000.86
ncf_16_32_4_edau.6
FAIL
6000.87
x400.0
FAIL
6000.87
sortnetsort9.AE.stepl.011
FAIL
6000.87
2qbf-5cnf-40var-160cl.5
FAIL
6000.88
2qbf-5cnf-40var-320cl.6
FAIL
6000.88
ncf_16_32_8_d.10
FAIL
6000.88
x400.6
FAIL
6000.88
x60.3
FAIL
6000.88
x70.8
FAIL
6000.88
2qbf-5cnf-40var-160cl.2
FAIL
6000.89
x350.0
FAIL
6000.89
x70.0
FAIL
6000.89
sortnetsort9.AE.stepl.012
FAIL
6000.89
2qbf-5cnf-40var-160cl.8
FAIL
6000.9
x50.4
FAIL
6000.9
x70.4
FAIL
6000.9
x75.8
FAIL
6000.9
sortnetsort10.AE.stepl.004
FAIL
6000.9
2qbf-5cnf-40var-160cl.1
FAIL
6000.91
ncf_16_32_8_edau.10
FAIL
6000.91
x350.7
FAIL
6000.91
x400.1
FAIL
6000.91
x400.2
FAIL
6000.91
x400.3
FAIL
6000.91
x400.7
FAIL
6000.91
x250.1
FAIL
6000.92
x250.4
FAIL
6000.92
x300.0
FAIL
6000.92
x350.1
FAIL
6000.92
x350.6
FAIL
6000.92
x190.9
FAIL
6000.93
x210.7
FAIL
6000.93
x215.5
FAIL
6000.93
x215.7
FAIL
6000.93
x245.4
FAIL
6000.93
x245.5
FAIL
6000.93
x250.9
FAIL
6000.93
x350.5
FAIL
6000.93
x35.6
FAIL
6000.93
x185.1
FAIL
6000.94
x185.7
FAIL
6000.94
x195.1
FAIL
6000.94
x205.0
FAIL
6000.94
x215.8
FAIL
6000.94
x220.7
FAIL
6000.94
x235.1
FAIL
6000.94
x240.2
FAIL
6000.94
x245.2
FAIL
6000.94
x245.6
FAIL
6000.94
x245.8
FAIL
6000.94
x250.5
FAIL
6000.94
x300.3
FAIL
6000.94
x300.9
FAIL
6000.94
x350.8
FAIL
6000.94
x155.7
FAIL
6000.95
x160.7
FAIL
6000.95
x170.3
FAIL
6000.95
x205.1
FAIL
6000.95
x210.3
FAIL
6000.95
x210.8
FAIL
6000.95
x220.4
FAIL
6000.95
x220.6
FAIL
6000.95
x230.1
FAIL
6000.95
x235.4
FAIL
6000.95
x245.0
FAIL
6000.95
x245.7
FAIL
6000.95
x250.3
FAIL
6000.95
x250.8
FAIL
6000.95
x300.8
FAIL
6000.95
x400.9
FAIL
6000.95
x130.4
FAIL
6000.96
x180.3
FAIL
6000.96
x185.8
FAIL
6000.96
x190.0
FAIL
6000.96
x195.3
FAIL
6000.96
x195.8
FAIL
6000.96
x200.3
FAIL
6000.96
x215.0
FAIL
6000.96
x215.1
FAIL
6000.96
x220.8
FAIL
6000.96
x225.1
FAIL
6000.96
x225.4
FAIL
6000.96
x230.5
FAIL
6000.96
x235.0
FAIL
6000.96
x235.7
FAIL
6000.96
x235.8
FAIL
6000.96
x235.9
FAIL
6000.96
x240.6
FAIL
6000.96
x145.1
FAIL
6000.97
x160.4
FAIL
6000.97
x165.1
FAIL
6000.97
x170.5
FAIL
6000.97
x170.7
FAIL
6000.97
x175.2
FAIL
6000.97
x175.5
FAIL
6000.97
x180.9
FAIL
6000.97
x190.2
FAIL
6000.97
x190.4
FAIL
6000.97
x190.8
FAIL
6000.97
x195.2
FAIL
6000.97
x195.5
FAIL
6000.97
x200.2
FAIL
6000.97
x205.3
FAIL
6000.97
x205.7
FAIL
6000.97
x205.9
FAIL
6000.97
x210.0
FAIL
6000.97
x210.2
FAIL
6000.97
x225.2
FAIL
6000.97
x225.5
FAIL
6000.97
x230.4
FAIL
6000.97
x230.9
FAIL
6000.97
x115.1
FAIL
6000.98
x150.3
FAIL
6000.98
x170.8
FAIL
6000.98
x175.8
FAIL
6000.98
x175.9
FAIL
6000.98
x185.2
FAIL
6000.98
x195.0
FAIL
6000.98
x200.6
FAIL
6000.98
x225.3
FAIL
6000.98
x155.5
FAIL
6000.99
x160.3
FAIL
6000.99
x170.2
FAIL
6000.99
x180.7
FAIL
6000.99
x205.2
FAIL
6000.99
x240.7
FAIL
6000.99
x135.6
FAIL
6001
Contact
|
Organization
|
Links
|
Citing QBFLIB