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
QUANTOR
QBFEVAL'06
Instance
Result
Time
ncf_16_32_2_edau.6
SAT
0
ncf_4_16_2_d.6
SAT
0
6qbf-5cnf-160var-640cl.2
SAT
0
5qbf-5cnf-160var-640cl.3
SAT
0
ncf_4_8_8_u.9
UNSAT
0
ncf_4_8_2_euad.4
UNSAT
0
k_poly_n-4
SAT
0
ncf_8_16_4_edau.2
UNSAT
0
3qbf-5cnf-80var-320cl.9
SAT
0
ncf_8_16_4_u.2
UNSAT
0
5qbf-5cnf-20var-640cl.1
UNSAT
0
ncf_16_32_4_d.1
FAIL
0
ncf_4_8_2_euad.1
UNSAT
0
ncf_8_16_4_edau.5
UNSAT
0
ncf_4_16_2_euad.9
SAT
0
ncf_4_8_4_u.9
SAT
0
ncf_4_8_2_u.9
SAT
0
ncf_4_16_2_edau.2
SAT
0
3qbf-5cnf-80var-2560cl.5
UNSAT
0
ncf_4_8_2_u.4
UNSAT
0
ncf_8_16_4_edau.10
SAT
0
ncf_4_16_2_u.6
FAIL
0
tree-exa2-50
UNSAT
0
5qbf-5cnf-160var-640cl.6
SAT
0
ncf_4_8_4_u.5
SAT
0
6qbf-5cnf-160var-640cl.8
SAT
0
ncf_8_16_4_u.5
UNSAT
0
ncf_4_8_4_euad.5
SAT
0
ncf_8_16_4_u.1
SAT
0
5qbf-5cnf-160var-640cl.2
SAT
0
ncf_4_8_2_u.8
SAT
0
ncf_4_8_2_u.5
FAIL
0
ncf_4_16_2_d.4
SAT
0
6qbf-5cnf-160var-640cl.4
SAT
0
ncf_4_8_8_euad.9
UNSAT
0
ncf_16_32_2_d.9
UNSAT
0
6qbf-5cnf-160var-640cl.0
SAT
0
ncf_8_16_4_euad.2
UNSAT
0
5qbf-5cnf-40var-640cl.8
UNSAT
0
ncf_8_16_4_d.2
UNSAT
0
5qbf-5cnf-160var-640cl.7
SAT
0
5qbf-5cnf-160var-640cl.5
SAT
0
ncf_4_8_2_euad.10
FAIL
0
ncf_4_16_2_u.9
SAT
0
ncf_4_8_4_u.2
UNSAT
0
ncf_4_8_2_u.10
SAT
0
x5.3
UNSAT
0
x5.6
UNSAT
0
x5.9
UNSAT
0
cmu.dme1.B-d2
SAT
0
cmu.dme2.B-d2
SAT
0
eijk.S208c.S-d2
SAT
0
eijk.S208o.S-d2
SAT
0
eijk.S382.S-d2
SAT
0
eijk.S444.S-d2
SAT
0
vis.bakery.E-d2
SAT
0
vis.eisenberg.E-d2
SAT
0
Qq2k1k4v40v40m2s0
SAT
0
Qq2k1k4v40v40m2s1
SAT
0
Qq2k1k4v40v40m2s2
SAT
0
Qq2k1k4v40v40m2s3
SAT
0
Qq2k1k4v40v40m2s5
SAT
0
Qq2k1k4v40v40m2s6
SAT
0
Qq2k1k4v40v40m2s7
SAT
0
Qq2k1k4v40v40m2s8
SAT
0
Qq2k1k4v40v40m2s9
SAT
0
Qq2k1k4v40v40m4s1
SAT
0
Qq2k1k4v40v40m4s2
UNSAT
0
Qq2k1k4v40v40m4s3
SAT
0
Qq2k1k4v40v40m4s4
SAT
0
Qq2k1k4v40v40m4s5
SAT
0
Qq2k1k4v40v40m4s7
SAT
0
Qq2k1k4v40v40m4s8
SAT
0
Qq2k1k4v40v40m4s9
SAT
0
Qq2k1k4v40v40m8s0
SAT
0
Qq2k1k4v40v40m8s1
SAT
0
Qq2k1k4v40v40m8s2
UNSAT
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
Qq2k1k4v40v40m16s3
UNSAT
0
Qq2k1k4v40v40m16s4
SAT
0
Qq2k1k4v40v40m16s6
UNSAT
0
Qq2k1k4v40v40m16s7
SAT
0
Qq2k1k4v40v40m16s9
UNSAT
0
Qq2k1k4v40v40m32s0
UNSAT
0
Qq2k1k4v40v40m32s2
UNSAT
0
Qq2k1k4v40v40m32s4
UNSAT
0
Qq2k1k4v40v40m32s5
UNSAT
0
Qq2k1k4v40v40m32s9
UNSAT
0
Qq2k1k4v80v80m2s1
SAT
0
Qq2k1k4v80v80m2s3
SAT
0
Qq2k1k4v80v80m2s7
SAT
0
Qq2k1k4v80v80m2s8
SAT
0
Qq2k1k4v80v80m2s9
SAT
0
Qq2k1k4v80v80m4s0
SAT
0
Qq2k1k4v80v80m4s1
SAT
0
Qq2k1k4v80v80m4s2
SAT
0
Qq2k1k4v80v80m4s4
SAT
0
Qq2k1k4v80v80m4s5
SAT
0
Qq2k1k4v80v80m4s6
SAT
0
Qq2k1k4v80v80m4s7
SAT
0
Qq2k1k4v80v80m4s9
SAT
0
Qq2k1k4v80v80m8s0
SAT
0
Qq2k1k4v80v80m8s1
SAT
0
Qq2k1k4v80v80m8s2
SAT
0
Qq2k1k4v80v80m8s3
SAT
0
Qq2k1k4v80v80m8s5
SAT
0
Qq2k1k4v80v80m8s7
SAT
0
Qq2k1k4v80v80m8s8
SAT
0
Qq2k1k4v80v80m16s0
UNSAT
0
Qq2k1k4v80v80m16s2
SAT
0
Qq2k1k4v80v80m16s3
UNSAT
0
Qq2k1k4v80v80m16s4
SAT
0
Qq2k1k4v80v80m16s8
UNSAT
0
Qq2k1k4v80v80m16s9
SAT
0
Qq2k1k4v80v80m32s1
SAT
0
Qq2k1k4v80v80m32s2
UNSAT
0
Qq2k1k4v80v80m32s3
UNSAT
0
Qq2k1k4v80v80m32s4
UNSAT
0
Qq2k1k4v80v80m32s5
UNSAT
0
Qq2k1k4v80v80m32s7
SAT
0
Qq2k1k4v80v80m32s9
UNSAT
0
Qq2k2k3v40v40m2s0
SAT
0
Qq2k2k3v40v40m2s1
SAT
0
Qq2k2k3v40v40m2s2
SAT
0
Qq2k2k3v40v40m2s5
SAT
0
Qq2k2k3v40v40m2s7
SAT
0
Qq2k2k3v40v40m4s0
SAT
0
Qq2k2k3v40v40m4s1
SAT
0
Qq2k2k3v40v40m4s3
SAT
0
Qq2k2k3v40v40m4s4
SAT
0
Qq2k2k3v40v40m4s5
SAT
0
Qq2k2k3v40v40m4s6
SAT
0
Qq2k2k3v40v40m4s7
SAT
0
Qq2k2k3v40v40m4s8
SAT
0
Qq2k2k3v40v40m8s0
SAT
0
Qq2k2k3v40v40m8s1
SAT
0
Qq2k2k3v40v40m8s2
SAT
0
Qq2k2k3v40v40m8s3
SAT
0
Qq2k2k3v40v40m8s4
SAT
0
Qq2k2k3v40v40m8s5
SAT
0
Qq2k2k3v40v40m8s8
SAT
0
Qq2k2k3v40v40m8s9
SAT
0
Qq2k2k3v40v40m16s0
SAT
0
Qq2k2k3v40v40m16s1
SAT
0
Qq2k2k3v40v40m16s3
SAT
0
Qq2k2k3v40v40m16s4
SAT
0
Qq2k2k3v40v40m16s5
SAT
0
Qq2k2k3v40v40m16s6
SAT
0
Qq2k2k3v40v40m16s8
SAT
0
Qq2k2k3v40v40m32s0
SAT
0
Qq2k2k3v40v40m32s1
SAT
0
Qq2k2k3v40v40m32s2
SAT
0
Qq2k2k3v40v40m32s4
SAT
0
Qq2k2k3v40v40m32s5
SAT
0
Qq2k2k3v40v40m32s6
SAT
0
Qq2k2k3v40v40m32s7
SAT
0
Qq2k2k3v40v40m32s9
SAT
0
Qq2k2k3v80v80m2s1
SAT
0
Qq2k2k3v80v80m2s2
SAT
0
Qq2k2k3v80v80m2s3
SAT
0
Qq2k2k3v80v80m2s4
SAT
0
Qq2k2k3v80v80m2s5
SAT
0
Qq2k2k3v80v80m2s6
SAT
0
Qq2k2k3v80v80m2s7
SAT
0
Qq2k2k3v80v80m2s9
SAT
0
Qq2k2k3v80v80m4s0
SAT
0
Qq2k2k3v80v80m4s1
SAT
0
Qq2k2k3v80v80m4s2
SAT
0
Qq2k2k3v80v80m4s3
SAT
0
Qq2k2k3v80v80m4s4
SAT
0
Qq2k2k3v80v80m4s5
SAT
0
Qq2k2k3v80v80m4s6
SAT
0
Qq2k2k3v80v80m4s8
SAT
0
Qq2k2k3v80v80m4s9
SAT
0
Qq2k2k3v80v80m8s0
SAT
0
Qq2k2k3v80v80m8s2
SAT
0
Qq2k2k3v80v80m8s3
SAT
0
Qq2k2k3v80v80m8s4
SAT
0
Qq2k2k3v80v80m8s5
SAT
0
Qq2k2k3v80v80m8s6
SAT
0
Qq2k2k3v80v80m8s7
SAT
0
Qq2k2k3v80v80m8s9
SAT
0
Qq2k2k3v80v80m16s0
SAT
0
Qq2k2k3v80v80m16s1
SAT
0
Qq2k2k3v80v80m16s2
SAT
0
Qq2k2k3v80v80m16s6
SAT
0
Qq2k2k3v80v80m16s7
SAT
0
Qq2k2k3v80v80m16s9
SAT
0
Qq2k2k3v80v80m32s0
SAT
0
Qq2k2k3v80v80m32s1
SAT
0
Qq2k2k3v80v80m32s3
SAT
0
Qq2k2k3v80v80m32s5
SAT
0
Qq2k2k3v80v80m32s6
SAT
0
Qq2k2k3v80v80m32s7
SAT
0
Qq2k3k2v40v40m2s0
SAT
0
Qq2k3k2v40v40m2s1
SAT
0
Qq2k3k2v40v40m2s3
SAT
0
Qq2k3k2v40v40m2s4
SAT
0
Qq2k3k2v40v40m2s5
SAT
0
Qq2k3k2v40v40m2s6
SAT
0
Qq2k3k2v40v40m2s9
SAT
0
Qq2k3k2v40v40m4s0
SAT
0
Qq2k3k2v40v40m4s2
SAT
0
Qq2k3k2v40v40m4s4
SAT
0
Qq2k3k2v40v40m4s7
SAT
0
Qq2k3k2v40v40m4s8
SAT
0
Qq2k3k2v40v40m4s9
SAT
0
Qq2k3k2v40v40m8s1
SAT
0
Qq2k3k2v40v40m8s2
SAT
0
Qq2k3k2v40v40m8s3
SAT
0
Qq2k3k2v40v40m8s4
SAT
0
Qq2k3k2v40v40m8s6
SAT
0
Qq2k3k2v40v40m8s7
SAT
0
Qq2k3k2v40v40m8s8
SAT
0
Qq2k3k2v40v40m8s9
SAT
0
Qq2k3k2v40v40m16s0
SAT
0
Qq2k3k2v40v40m16s2
SAT
0
Qq2k3k2v40v40m16s6
SAT
0
Qq2k3k2v40v40m16s7
SAT
0
Qq2k3k2v40v40m16s9
SAT
0
Qq2k3k2v40v40m32s0
SAT
0
Qq2k3k2v40v40m32s1
SAT
0
Qq2k3k2v40v40m32s3
SAT
0
Qq2k3k2v40v40m32s4
SAT
0
Qq2k3k2v40v40m32s5
SAT
0
Qq2k3k2v40v40m32s6
SAT
0
Qq2k3k2v40v40m32s7
SAT
0
Qq2k3k2v40v40m32s8
SAT
0
Qq2k3k2v40v40m32s9
SAT
0
Qq2k3k2v80v80m2s2
SAT
0
Qq2k3k2v80v80m2s3
SAT
0
Qq2k3k2v80v80m2s4
SAT
0
Qq2k3k2v80v80m2s5
SAT
0
Qq2k3k2v80v80m2s6
SAT
0
Qq2k3k2v80v80m2s8
SAT
0
Qq2k3k2v80v80m2s9
SAT
0
Qq2k3k2v80v80m4s0
SAT
0
Qq2k3k2v80v80m4s3
SAT
0
Qq2k3k2v80v80m4s5
SAT
0
Qq2k3k2v80v80m4s6
SAT
0
Qq2k3k2v80v80m4s7
SAT
0
Qq2k3k2v80v80m4s9
SAT
0
Qq2k3k2v80v80m8s0
SAT
0
Qq2k3k2v80v80m8s1
SAT
0
Qq2k3k2v80v80m8s2
SAT
0
Qq2k3k2v80v80m8s3
SAT
0
Qq2k3k2v80v80m8s4
SAT
0
Qq2k3k2v80v80m8s6
SAT
0
Qq2k3k2v80v80m8s7
SAT
0
Qq2k3k2v80v80m8s8
SAT
0
Qq2k3k2v80v80m8s9
SAT
0
Qq2k3k2v80v80m16s0
SAT
0
Qq2k3k2v80v80m16s1
SAT
0
Qq2k3k2v80v80m16s3
SAT
0
Qq2k3k2v80v80m16s4
SAT
0
Qq2k3k2v80v80m16s6
SAT
0
Qq2k3k2v80v80m16s7
SAT
0
Qq2k3k2v80v80m16s8
SAT
0
Qq2k3k2v80v80m32s0
SAT
0
Qq2k3k2v80v80m32s1
SAT
0
Qq2k3k2v80v80m32s2
SAT
0
Qq2k3k2v80v80m32s3
SAT
0
Qq2k3k2v80v80m32s4
SAT
0
Qq2k3k2v80v80m32s5
SAT
0
Qq2k3k2v80v80m32s7
SAT
0
Qq2k3k2v80v80m32s8
SAT
0
Qq3k1k1k3v40v40v40m2s0
SAT
0
Qq3k1k1k3v40v40v40m2s2
SAT
0
Qq3k1k1k3v40v40v40m2s3
SAT
0
Qq3k1k1k3v40v40v40m2s4
SAT
0
Qq3k1k1k3v40v40v40m2s5
SAT
0
Qq3k1k1k3v40v40v40m2s6
SAT
0
Qq3k1k1k3v40v40v40m2s7
SAT
0
Qq3k1k1k3v40v40v40m2s8
SAT
0
Qq3k1k1k3v40v40v40m4s1
SAT
0
Qq3k1k1k3v40v40v40m4s3
SAT
0
Qq3k1k1k3v40v40v40m4s6
SAT
0
Qq3k1k1k3v40v40v40m4s7
SAT
0
Qq3k1k1k3v40v40v40m4s8
SAT
0
Qq3k1k1k3v40v40v40m8s2
SAT
0
Qq3k1k1k3v40v40v40m8s3
SAT
0
Qq3k1k1k3v40v40v40m8s5
SAT
0
Qq3k1k1k3v40v40v40m8s6
SAT
0
Qq3k1k1k3v40v40v40m8s8
SAT
0
Qq3k1k1k3v40v40v40m8s9
SAT
0
Qq3k1k1k3v40v40v40m16s4
SAT
0
Qq3k1k1k3v40v40v40m16s5
SAT
0
Qq3k1k1k3v40v40v40m16s6
SAT
0
Qq3k1k1k3v40v40v40m16s7
SAT
0
Qq3k1k1k3v40v40v40m16s9
SAT
0
Qq3k1k1k3v40v40v40m32s3
SAT
0
Qq3k1k1k3v40v40v40m32s4
SAT
0
Qq3k1k1k3v40v40v40m32s5
SAT
0
Qq3k1k1k3v40v40v40m32s6
SAT
0
Qq3k1k1k3v40v40v40m32s9
SAT
0
Qq3k1k1k3v80v80v80m2s1
SAT
0
Qq3k1k1k3v80v80v80m2s2
SAT
0
Qq3k1k1k3v80v80v80m2s4
SAT
0
Qq3k1k1k3v80v80v80m2s6
SAT
0
Qq3k1k1k3v80v80v80m2s7
SAT
0
Qq3k1k1k3v80v80v80m2s8
SAT
0
Qq3k1k1k3v80v80v80m2s9
SAT
0
Qq3k1k1k3v80v80v80m4s0
SAT
0
Qq3k1k1k3v80v80v80m4s2
SAT
0
Qq3k1k1k3v80v80v80m4s3
SAT
0
Qq3k1k1k3v80v80v80m4s4
SAT
0
Qq3k1k1k3v80v80v80m4s5
SAT
0
Qq3k1k1k3v80v80v80m4s6
SAT
0
Qq3k1k1k3v80v80v80m4s9
SAT
0
Qq3k1k1k3v80v80v80m8s0
SAT
0
Qq3k1k1k3v80v80v80m8s1
SAT
0
Qq3k1k1k3v80v80v80m8s2
SAT
0
Qq3k1k1k3v80v80v80m8s5
SAT
0
Qq3k1k1k3v80v80v80m8s9
SAT
0
Qq3k1k1k3v80v80v80m16s0
SAT
0
Qq3k1k1k3v80v80v80m16s3
SAT
0
Qq3k1k1k3v80v80v80m16s5
SAT
0
Qq3k1k1k3v80v80v80m16s7
SAT
0
Qq3k1k1k3v80v80v80m16s8
SAT
0
Qq3k1k1k3v80v80v80m16s9
SAT
0
Qq3k1k1k3v80v80v80m32s1
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
Qq3k1k2k2v40v40v40m2s3
SAT
0
Qq3k1k2k2v40v40v40m2s4
SAT
0
Qq3k1k2k2v40v40v40m2s6
SAT
0
Qq3k1k2k2v40v40v40m2s8
SAT
0
Qq3k1k2k2v40v40v40m2s9
SAT
0
Qq3k1k2k2v40v40v40m4s0
SAT
0
Qq3k1k2k2v40v40v40m4s1
SAT
0
Qq3k1k2k2v40v40v40m4s2
SAT
0
Qq3k1k2k2v40v40v40m4s4
SAT
0
Qq3k1k2k2v40v40v40m4s6
SAT
0
Qq3k1k2k2v40v40v40m4s7
SAT
0
Qq3k1k2k2v40v40v40m4s8
SAT
0
Qq3k1k2k2v40v40v40m4s9
SAT
0
Qq3k1k2k2v40v40v40m8s0
SAT
0
Qq3k1k2k2v40v40v40m8s1
SAT
0
Qq3k1k2k2v40v40v40m8s2
SAT
0
Qq3k1k2k2v40v40v40m8s3
SAT
0
Qq3k1k2k2v40v40v40m8s4
SAT
0
Qq3k1k2k2v40v40v40m8s8
SAT
0
Qq3k1k2k2v40v40v40m8s9
SAT
0
Qq3k1k2k2v40v40v40m16s0
SAT
0
Qq3k1k2k2v40v40v40m16s1
SAT
0
Qq3k1k2k2v40v40v40m16s3
SAT
0
Qq3k1k2k2v40v40v40m16s4
SAT
0
Qq3k1k2k2v40v40v40m16s5
SAT
0
Qq3k1k2k2v40v40v40m16s6
SAT
0
Qq3k1k2k2v40v40v40m16s7
SAT
0
Qq3k1k2k2v40v40v40m16s8
SAT
0
Qq3k1k2k2v40v40v40m16s9
SAT
0
Qq3k1k2k2v40v40v40m32s1
SAT
0
Qq3k1k2k2v40v40v40m32s2
SAT
0
Qq3k1k2k2v40v40v40m32s3
SAT
0
Qq3k1k2k2v40v40v40m32s4
SAT
0
Qq3k1k2k2v40v40v40m32s6
SAT
0
Qq3k1k2k2v40v40v40m32s8
SAT
0
Qq3k1k2k2v80v80v80m2s0
SAT
0
Qq3k1k2k2v80v80v80m2s2
SAT
0
Qq3k1k2k2v80v80v80m2s3
SAT
0
Qq3k1k2k2v80v80v80m2s4
SAT
0
Qq3k1k2k2v80v80v80m2s7
SAT
0
Qq3k1k2k2v80v80v80m4s0
SAT
0
Qq3k1k2k2v80v80v80m4s2
SAT
0
Qq3k1k2k2v80v80v80m4s3
SAT
0
Qq3k1k2k2v80v80v80m4s4
SAT
0
Qq3k1k2k2v80v80v80m4s5
SAT
0
Qq3k1k2k2v80v80v80m4s6
SAT
0
Qq3k1k2k2v80v80v80m8s0
SAT
0
Qq3k1k2k2v80v80v80m8s1
SAT
0
Qq3k1k2k2v80v80v80m8s2
SAT
0
Qq3k1k2k2v80v80v80m8s4
SAT
0
Qq3k1k2k2v80v80v80m8s7
SAT
0
Qq3k1k2k2v80v80v80m8s8
SAT
0
Qq3k1k2k2v80v80v80m8s9
SAT
0
Qq3k1k2k2v80v80v80m16s0
SAT
0
Qq3k1k2k2v80v80v80m16s1
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
Qq3k1k2k2v80v80v80m32s3
SAT
0
Qq3k1k2k2v80v80v80m32s4
SAT
0
Qq3k1k2k2v80v80v80m32s6
SAT
0
Qq3k1k2k2v80v80v80m32s7
SAT
0
Qq3k1k2k2v80v80v80m32s8
SAT
0
Qq3k1k2k2v80v80v80m32s9
SAT
0
Qq3k1k3k1v40v40v40m2s0
SAT
0
Qq3k1k3k1v40v40v40m2s1
SAT
0
Qq3k1k3k1v40v40v40m2s2
SAT
0
Qq3k1k3k1v40v40v40m2s4
SAT
0
Qq3k1k3k1v40v40v40m2s5
SAT
0
Qq3k1k3k1v40v40v40m2s6
SAT
0
Qq3k1k3k1v40v40v40m2s7
SAT
0
Qq3k1k3k1v40v40v40m2s8
SAT
0
Qq3k1k3k1v40v40v40m2s9
SAT
0
Qq3k1k3k1v40v40v40m4s0
SAT
0
Qq3k1k3k1v40v40v40m4s1
SAT
0
Qq3k1k3k1v40v40v40m4s2
SAT
0
Qq3k1k3k1v40v40v40m4s3
SAT
0
Qq3k1k3k1v40v40v40m4s4
SAT
0
Qq3k1k3k1v40v40v40m4s5
SAT
0
Qq3k1k3k1v40v40v40m4s7
SAT
0
Qq3k1k3k1v40v40v40m4s8
SAT
0
Qq3k1k3k1v40v40v40m4s9
SAT
0
Qq3k1k3k1v40v40v40m8s0
SAT
0
Qq3k1k3k1v40v40v40m8s2
SAT
0
Qq3k1k3k1v40v40v40m8s3
SAT
0
Qq3k1k3k1v40v40v40m8s4
SAT
0
Qq3k1k3k1v40v40v40m8s5
SAT
0
Qq3k1k3k1v40v40v40m8s6
SAT
0
Qq3k1k3k1v40v40v40m8s7
SAT
0
Qq3k1k3k1v40v40v40m8s8
SAT
0
Qq3k1k3k1v40v40v40m8s9
SAT
0
Qq3k1k3k1v40v40v40m16s0
SAT
0
Qq3k1k3k1v40v40v40m16s1
SAT
0
Qq3k1k3k1v40v40v40m16s2
SAT
0
Qq3k1k3k1v40v40v40m16s3
SAT
0
Qq3k1k3k1v40v40v40m16s4
SAT
0
Qq3k1k3k1v40v40v40m16s5
SAT
0
Qq3k1k3k1v40v40v40m16s6
SAT
0
Qq3k1k3k1v40v40v40m16s7
SAT
0
Qq3k1k3k1v40v40v40m32s0
SAT
0
Qq3k1k3k1v40v40v40m32s1
SAT
0
Qq3k1k3k1v40v40v40m32s3
SAT
0
Qq3k1k3k1v40v40v40m32s4
SAT
0
Qq3k1k3k1v40v40v40m32s5
SAT
0
Qq3k1k3k1v40v40v40m32s6
SAT
0
Qq3k1k3k1v40v40v40m32s7
SAT
0
Qq3k1k3k1v40v40v40m32s8
SAT
0
Qq3k1k3k1v40v40v40m32s9
SAT
0
Qq3k1k3k1v80v80v80m2s1
SAT
0
Qq3k1k3k1v80v80v80m2s3
SAT
0
Qq3k1k3k1v80v80v80m2s5
SAT
0
Qq3k1k3k1v80v80v80m2s6
SAT
0
Qq3k1k3k1v80v80v80m2s7
SAT
0
Qq3k1k3k1v80v80v80m2s8
SAT
0
Qq3k1k3k1v80v80v80m2s9
SAT
0
Qq3k1k3k1v80v80v80m4s0
SAT
0
Qq3k1k3k1v80v80v80m4s1
SAT
0
Qq3k1k3k1v80v80v80m4s2
SAT
0
Qq3k1k3k1v80v80v80m4s3
SAT
0
Qq3k1k3k1v80v80v80m4s4
SAT
0
Qq3k1k3k1v80v80v80m4s5
SAT
0
Qq3k1k3k1v80v80v80m4s7
SAT
0
Qq3k1k3k1v80v80v80m4s9
SAT
0
Qq3k1k3k1v80v80v80m8s0
SAT
0
Qq3k1k3k1v80v80v80m8s2
SAT
0
Qq3k1k3k1v80v80v80m8s3
SAT
0
Qq3k1k3k1v80v80v80m8s4
SAT
0
Qq3k1k3k1v80v80v80m8s5
SAT
0
Qq3k1k3k1v80v80v80m8s6
SAT
0
Qq3k1k3k1v80v80v80m8s9
SAT
0
Qq3k1k3k1v80v80v80m16s0
SAT
0
Qq3k1k3k1v80v80v80m16s2
SAT
0
Qq3k1k3k1v80v80v80m16s4
SAT
0
Qq3k1k3k1v80v80v80m16s6
SAT
0
Qq3k1k3k1v80v80v80m16s7
SAT
0
Qq3k1k3k1v80v80v80m16s8
SAT
0
Qq3k1k3k1v80v80v80m16s9
SAT
0
Qq3k1k3k1v80v80v80m32s0
SAT
0
Qq3k1k3k1v80v80v80m32s1
SAT
0
Qq3k1k3k1v80v80v80m32s2
SAT
0
Qq3k1k3k1v80v80v80m32s3
SAT
0
Qq3k1k3k1v80v80v80m32s6
SAT
0
Qq3k1k3k1v80v80v80m32s7
SAT
0
Qq3k2k1k2v40v40v40m2s0
SAT
0
Qq3k2k1k2v40v40v40m2s2
SAT
0
Qq3k2k1k2v40v40v40m2s3
SAT
0
Qq3k2k1k2v40v40v40m2s4
SAT
0
Qq3k2k1k2v40v40v40m2s7
SAT
0
Qq3k2k1k2v40v40v40m2s9
SAT
0
Qq3k2k1k2v40v40v40m4s0
SAT
0
Qq3k2k1k2v40v40v40m4s1
SAT
0
Qq3k2k1k2v40v40v40m4s2
SAT
0
Qq3k2k1k2v40v40v40m4s3
SAT
0
Qq3k2k1k2v40v40v40m4s4
SAT
0
Qq3k2k1k2v40v40v40m4s5
SAT
0
Qq3k2k1k2v40v40v40m4s6
SAT
0
Qq3k2k1k2v40v40v40m4s7
SAT
0
Qq3k2k1k2v40v40v40m4s8
SAT
0
Qq3k2k1k2v40v40v40m4s9
SAT
0
Qq3k2k1k2v40v40v40m8s1
SAT
0
Qq3k2k1k2v40v40v40m8s2
SAT
0
Qq3k2k1k2v40v40v40m8s5
SAT
0
Qq3k2k1k2v40v40v40m8s7
SAT
0
Qq3k2k1k2v40v40v40m8s9
SAT
0
Qq3k2k1k2v40v40v40m16s1
SAT
0
Qq3k2k1k2v40v40v40m16s2
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
Qq3k2k1k2v40v40v40m32s5
SAT
0
Qq3k2k1k2v40v40v40m32s6
SAT
0
Qq3k2k1k2v40v40v40m32s7
SAT
0
Qq3k2k1k2v40v40v40m32s9
SAT
0
Qq3k2k1k2v80v80v80m2s1
SAT
0
Qq3k2k1k2v80v80v80m2s2
SAT
0
Qq3k2k1k2v80v80v80m2s4
SAT
0
Qq3k2k1k2v80v80v80m2s5
SAT
0
Qq3k2k1k2v80v80v80m2s6
SAT
0
Qq3k2k1k2v80v80v80m2s7
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
Qq3k2k1k2v80v80v80m8s5
SAT
0
Qq3k2k1k2v80v80v80m8s6
SAT
0
Qq3k2k1k2v80v80v80m8s7
SAT
0
Qq3k2k1k2v80v80v80m8s9
SAT
0
Qq3k2k1k2v80v80v80m16s0
SAT
0
Qq3k2k1k2v80v80v80m16s1
SAT
0
Qq3k2k1k2v80v80v80m16s3
SAT
0
Qq3k2k1k2v80v80v80m16s4
SAT
0
Qq3k2k1k2v80v80v80m16s7
SAT
0
Qq3k2k1k2v80v80v80m16s9
SAT
0
Qq3k2k1k2v80v80v80m32s0
SAT
0
Qq3k2k1k2v80v80v80m32s1
SAT
0
Qq3k2k1k2v80v80v80m32s2
SAT
0
Qq3k2k1k2v80v80v80m32s3
SAT
0
Qq3k2k1k2v80v80v80m32s5
SAT
0
Qq3k2k1k2v80v80v80m32s7
SAT
0
Qq3k2k2k1v40v40v40m2s0
SAT
0
Qq3k2k2k1v40v40v40m2s2
SAT
0
Qq3k2k2k1v40v40v40m2s3
SAT
0
Qq3k2k2k1v40v40v40m2s4
SAT
0
Qq3k2k2k1v40v40v40m2s5
SAT
0
Qq3k2k2k1v40v40v40m2s6
SAT
0
Qq3k2k2k1v40v40v40m2s7
SAT
0
Qq3k2k2k1v40v40v40m2s9
SAT
0
Qq3k2k2k1v40v40v40m4s0
SAT
0
Qq3k2k2k1v40v40v40m4s2
SAT
0
Qq3k2k2k1v40v40v40m4s5
SAT
0
Qq3k2k2k1v40v40v40m4s7
SAT
0
Qq3k2k2k1v40v40v40m4s8
SAT
0
Qq3k2k2k1v40v40v40m4s9
SAT
0
Qq3k2k2k1v40v40v40m8s1
SAT
0
Qq3k2k2k1v40v40v40m8s2
SAT
0
Qq3k2k2k1v40v40v40m8s3
SAT
0
Qq3k2k2k1v40v40v40m8s4
SAT
0
Qq3k2k2k1v40v40v40m8s6
SAT
0
Qq3k2k2k1v40v40v40m8s8
SAT
0
Qq3k2k2k1v40v40v40m16s2
SAT
0
Qq3k2k2k1v40v40v40m16s4
SAT
0
Qq3k2k2k1v40v40v40m16s5
SAT
0
Qq3k2k2k1v40v40v40m16s6
SAT
0
Qq3k2k2k1v40v40v40m16s8
SAT
0
Qq3k2k2k1v40v40v40m16s9
SAT
0
Qq3k2k2k1v40v40v40m32s0
SAT
0
Qq3k2k2k1v40v40v40m32s1
SAT
0
Qq3k2k2k1v40v40v40m32s2
SAT
0
Qq3k2k2k1v40v40v40m32s3
SAT
0
Qq3k2k2k1v40v40v40m32s4
SAT
0
Qq3k2k2k1v40v40v40m32s5
SAT
0
Qq3k2k2k1v40v40v40m32s8
SAT
0
Qq3k2k2k1v80v80v80m2s1
SAT
0
Qq3k2k2k1v80v80v80m2s2
SAT
0
Qq3k2k2k1v80v80v80m2s3
SAT
0
Qq3k2k2k1v80v80v80m2s5
SAT
0
Qq3k2k2k1v80v80v80m2s6
SAT
0
Qq3k2k2k1v80v80v80m2s8
SAT
0
Qq3k2k2k1v80v80v80m2s9
SAT
0
Qq3k2k2k1v80v80v80m4s0
SAT
0
Qq3k2k2k1v80v80v80m4s1
SAT
0
Qq3k2k2k1v80v80v80m4s3
SAT
0
Qq3k2k2k1v80v80v80m4s4
SAT
0
Qq3k2k2k1v80v80v80m4s5
SAT
0
Qq3k2k2k1v80v80v80m4s6
SAT
0
Qq3k2k2k1v80v80v80m8s1
SAT
0
Qq3k2k2k1v80v80v80m8s2
SAT
0
Qq3k2k2k1v80v80v80m8s3
SAT
0
Qq3k2k2k1v80v80v80m8s4
SAT
0
Qq3k2k2k1v80v80v80m8s5
SAT
0
Qq3k2k2k1v80v80v80m8s6
SAT
0
Qq3k2k2k1v80v80v80m8s7
SAT
0
Qq3k2k2k1v80v80v80m16s0
SAT
0
Qq3k2k2k1v80v80v80m16s2
SAT
0
Qq3k2k2k1v80v80v80m16s4
SAT
0
Qq3k2k2k1v80v80v80m16s5
SAT
0
Qq3k2k2k1v80v80v80m16s6
SAT
0
Qq3k2k2k1v80v80v80m16s7
SAT
0
Qq3k2k2k1v80v80v80m16s8
SAT
0
Qq3k2k2k1v80v80v80m16s9
SAT
0
Qq3k2k2k1v80v80v80m32s1
SAT
0
Qq3k2k2k1v80v80v80m32s2
SAT
0
Qq3k2k2k1v80v80v80m32s3
SAT
0
Qq3k2k2k1v80v80v80m32s6
SAT
0
Qq3k2k2k1v80v80v80m32s8
SAT
0
Qq3k3k1k1v40v40v40m2s0
SAT
0
Qq3k3k1k1v40v40v40m2s1
SAT
0
Qq3k3k1k1v40v40v40m2s2
SAT
0
Qq3k3k1k1v40v40v40m2s3
SAT
0
Qq3k3k1k1v40v40v40m2s5
SAT
0
Qq3k3k1k1v40v40v40m2s6
SAT
0
Qq3k3k1k1v40v40v40m4s0
SAT
0
Qq3k3k1k1v40v40v40m4s1
SAT
0
Qq3k3k1k1v40v40v40m4s4
SAT
0
Qq3k3k1k1v40v40v40m4s5
SAT
0
Qq3k3k1k1v40v40v40m4s6
SAT
0
Qq3k3k1k1v40v40v40m4s7
SAT
0
Qq3k3k1k1v40v40v40m4s8
SAT
0
Qq3k3k1k1v40v40v40m4s9
SAT
0
Qq3k3k1k1v40v40v40m8s0
SAT
0
Qq3k3k1k1v40v40v40m8s1
SAT
0
Qq3k3k1k1v40v40v40m8s2
SAT
0
Qq3k3k1k1v40v40v40m8s6
SAT
0
Qq3k3k1k1v40v40v40m8s7
SAT
0
Qq3k3k1k1v40v40v40m8s8
SAT
0
Qq3k3k1k1v40v40v40m16s1
SAT
0
Qq3k3k1k1v40v40v40m16s2
SAT
0
Qq3k3k1k1v40v40v40m16s3
SAT
0
Qq3k3k1k1v40v40v40m16s4
SAT
0
Qq3k3k1k1v40v40v40m16s6
SAT
0
Qq3k3k1k1v40v40v40m16s7
SAT
0
Qq3k3k1k1v40v40v40m16s8
SAT
0
Qq3k3k1k1v40v40v40m32s0
SAT
0
Qq3k3k1k1v40v40v40m32s1
SAT
0
Qq3k3k1k1v40v40v40m32s2
SAT
0
Qq3k3k1k1v40v40v40m32s4
SAT
0
Qq3k3k1k1v40v40v40m32s5
SAT
0
Qq3k3k1k1v40v40v40m32s6
SAT
0
Qq3k3k1k1v40v40v40m32s8
SAT
0
Qq3k3k1k1v80v80v80m2s1
SAT
0
Qq3k3k1k1v80v80v80m2s2
SAT
0
Qq3k3k1k1v80v80v80m2s3
SAT
0
Qq3k3k1k1v80v80v80m2s4
SAT
0
Qq3k3k1k1v80v80v80m2s7
SAT
0
Qq3k3k1k1v80v80v80m2s8
SAT
0
Qq3k3k1k1v80v80v80m2s9
SAT
0
Qq3k3k1k1v80v80v80m4s1
SAT
0
Qq3k3k1k1v80v80v80m4s2
SAT
0
Qq3k3k1k1v80v80v80m4s3
SAT
0
Qq3k3k1k1v80v80v80m4s4
SAT
0
Qq3k3k1k1v80v80v80m4s5
SAT
0
Qq3k3k1k1v80v80v80m4s7
SAT
0
Qq3k3k1k1v80v80v80m4s8
SAT
0
Qq3k3k1k1v80v80v80m4s9
SAT
0
Qq3k3k1k1v80v80v80m8s0
SAT
0
Qq3k3k1k1v80v80v80m8s1
SAT
0
Qq3k3k1k1v80v80v80m8s5
SAT
0
Qq3k3k1k1v80v80v80m8s7
SAT
0
Qq3k3k1k1v80v80v80m8s8
SAT
0
Qq3k3k1k1v80v80v80m8s9
SAT
0
Qq3k3k1k1v80v80v80m16s0
SAT
0
Qq3k3k1k1v80v80v80m16s1
SAT
0
Qq3k3k1k1v80v80v80m16s2
SAT
0
Qq3k3k1k1v80v80v80m16s4
SAT
0
Qq3k3k1k1v80v80v80m16s6
SAT
0
Qq3k3k1k1v80v80v80m16s7
SAT
0
Qq3k3k1k1v80v80v80m16s8
SAT
0
Qq3k3k1k1v80v80v80m32s0
SAT
0
Qq3k3k1k1v80v80v80m32s1
SAT
0
Qq3k3k1k1v80v80v80m32s2
SAT
0
Qq3k3k1k1v80v80v80m32s4
SAT
0
Qq3k3k1k1v80v80v80m32s5
SAT
0
Qq3k3k1k1v80v80v80m32s7
SAT
0
Qq3k3k1k1v80v80v80m32s9
SAT
0
3qbf-5cnf-80var-2560cl.9
UNSAT
0.01
ncf_8_16_4_d.1
SAT
0.01
ncf_4_16_4_u.5
FAIL
0.01
ncf_4_8_2_u.7
UNSAT
0.01
ncf_4_16_4_d.5
SAT
0.01
ncf_4_8_2_u.1
UNSAT
0.01
5qbf-5cnf-160var-640cl.8
SAT
0.01
ncf_4_8_4_euad.9
SAT
0.01
ncf_8_16_4_euad.1
SAT
0.01
ncf_4_16_4_d.8
SAT
0.01
ncf_4_8_2_euad.9
SAT
0.01
2qbf-5cnf-160var-320cl.5
SAT
0.01
ncf_4_16_2_edau.4
SAT
0.01
ncf_8_16_4_euad.5
UNSAT
0.01
ncf_4_16_4_euad.8
SAT
0.01
5qbf-5cnf-160var-640cl.4
SAT
0.01
ncf_4_16_2_edau.6
SAT
0.01
5qbf-5cnf-160var-640cl.9
SAT
0.01
ncf_16_32_2_edau.9
UNSAT
0.01
ncf_8_16_4_edau.1
SAT
0.01
ncf_4_16_2_edau.9
SAT
0.01
ncf_4_16_2_euad.6
FAIL
0.01
k_dum_n-8
SAT
0.01
ncf_4_16_4_u.1
SAT
0.01
6qbf-5cnf-160var-640cl.9
SAT
0.01
ncf_8_16_8_euad.1
SAT
0.01
ncf_4_16_4_edau.5
SAT
0.01
ncf_16_32_2_euad.9
UNSAT
0.01
ncf_4_16_2_u.4
SAT
0.01
ncf_4_16_2_d.9
SAT
0.01
ncf_4_16_4_u.8
SAT
0.01
ncf_16_32_2_d.6
SAT
0.01
ncf_8_16_4_d.5
UNSAT
0.01
6qbf-5cnf-160var-640cl.6
SAT
0.01
ncf_4_16_4_edau.8
SAT
0.01
ncf_8_16_4_d.6
UNSAT
0.01
6qbf-5cnf-160var-640cl.7
SAT
0.01
3qbf-5cnf-80var-2560cl.2
UNSAT
0.01
6qbf-5cnf-160var-640cl.1
SAT
0.01
ncf_4_16_4_euad.5
FAIL
0.01
ncf_4_8_4_euad.2
UNSAT
0.01
k_poly_p-21
UNSAT
0.01
k_grz_p-4
UNSAT
0.01
ncf_4_16_4_euad.1
SAT
0.01
ncf_16_32_4_edau.9
SAT
0.01
6qbf-5cnf-160var-640cl.5
SAT
0.01
2qbf-5cnf-160var-320cl.6
SAT
0.01
ncf_4_8_2_euad.5
FAIL
0.01
ncf_4_8_2_euad.7
UNSAT
0.01
ncf_4_8_2_u.6
SAT
0.01
ncf_8_16_4_d.8
UNSAT
0.01
ncf_4_8_8_d.9
UNSAT
0.01
ncf_16_32_4_d.9
SAT
0.01
ncf_4_8_8_edau.9
UNSAT
0.01
ncf_8_16_8_d.1
SAT
0.01
4qbf-5cnf-40var-1280cl.1
UNSAT
0.01
x5.0
SAT
0.01
x5.1
UNSAT
0.01
x5.2
UNSAT
0.01
x5.4
UNSAT
0.01
x5.5
UNSAT
0.01
x5.7
UNSAT
0.01
eijk.S208.S-d2
SAT
0.01
eijk.S298.S-d2
SAT
0.01
eijk.S526.S-d2
SAT
0.01
eijk.S953.S-d2
SAT
0.01
texas.parsesys^1.E-d2
SAT
0.01
vis.coherence^1.E-d2
SAT
0.01
texas.ifetch1^4.E-f2
UNSAT
0.01
texas.parsesys^4.E-f2
UNSAT
0.01
Qq2k1k4v40v40m2s4
SAT
0.01
Qq2k1k4v40v40m4s6
SAT
0.01
Qq2k1k4v40v40m16s5
SAT
0.01
Qq2k1k4v40v40m16s8
SAT
0.01
Qq2k1k4v40v40m32s1
UNSAT
0.01
Qq2k1k4v40v40m32s3
UNSAT
0.01
Qq2k1k4v40v40m32s6
UNSAT
0.01
Qq2k1k4v40v40m32s7
UNSAT
0.01
Qq2k1k4v40v40m32s8
UNSAT
0.01
Qq2k1k4v80v80m2s0
SAT
0.01
Qq2k1k4v80v80m2s2
SAT
0.01
Qq2k1k4v80v80m2s4
SAT
0.01
Qq2k1k4v80v80m2s5
SAT
0.01
Qq2k1k4v80v80m2s6
SAT
0.01
Qq2k1k4v80v80m4s3
SAT
0.01
Qq2k1k4v80v80m4s8
SAT
0.01
Qq2k1k4v80v80m8s4
SAT
0.01
Qq2k1k4v80v80m8s6
SAT
0.01
Qq2k1k4v80v80m8s9
SAT
0.01
Qq2k1k4v80v80m16s1
SAT
0.01
Qq2k1k4v80v80m16s5
SAT
0.01
Qq2k1k4v80v80m16s6
SAT
0.01
Qq2k1k4v80v80m16s7
SAT
0.01
Qq2k1k4v80v80m32s6
UNSAT
0.01
Qq2k1k4v80v80m32s8
UNSAT
0.01
Qq2k2k3v40v40m2s3
SAT
0.01
Qq2k2k3v40v40m2s4
SAT
0.01
Qq2k2k3v40v40m2s6
SAT
0.01
Qq2k2k3v40v40m2s8
SAT
0.01
Qq2k2k3v40v40m4s2
SAT
0.01
Qq2k2k3v40v40m4s9
SAT
0.01
Qq2k2k3v40v40m8s6
SAT
0.01
Qq2k2k3v40v40m8s7
SAT
0.01
Qq2k2k3v40v40m16s2
SAT
0.01
Qq2k2k3v40v40m16s7
SAT
0.01
Qq2k2k3v40v40m16s9
SAT
0.01
Qq2k2k3v40v40m32s3
SAT
0.01
Qq2k2k3v40v40m32s8
SAT
0.01
Qq2k2k3v80v80m2s8
SAT
0.01
Qq2k2k3v80v80m4s7
SAT
0.01
Qq2k2k3v80v80m8s1
SAT
0.01
Qq2k2k3v80v80m8s8
SAT
0.01
Qq2k2k3v80v80m16s3
SAT
0.01
Qq2k2k3v80v80m16s4
SAT
0.01
Qq2k2k3v80v80m16s5
SAT
0.01
Qq2k2k3v80v80m16s8
SAT
0.01
Qq2k2k3v80v80m32s2
SAT
0.01
Qq2k2k3v80v80m32s8
SAT
0.01
Qq2k2k3v80v80m32s9
SAT
0.01
Qq2k3k2v40v40m2s2
SAT
0.01
Qq2k3k2v40v40m2s7
SAT
0.01
Qq2k3k2v40v40m2s8
SAT
0.01
Qq2k3k2v40v40m4s5
SAT
0.01
Qq2k3k2v40v40m4s6
SAT
0.01
Qq2k3k2v40v40m8s0
SAT
0.01
Qq2k3k2v40v40m8s5
SAT
0.01
Qq2k3k2v40v40m16s1
SAT
0.01
Qq2k3k2v40v40m16s3
SAT
0.01
Qq2k3k2v40v40m16s5
SAT
0.01
Qq2k3k2v40v40m16s8
SAT
0.01
Qq2k3k2v40v40m32s2
SAT
0.01
Qq2k3k2v80v80m2s0
SAT
0.01
Qq2k3k2v80v80m2s1
SAT
0.01
Qq2k3k2v80v80m2s7
SAT
0.01
Qq2k3k2v80v80m4s1
SAT
0.01
Qq2k3k2v80v80m4s2
SAT
0.01
Qq2k3k2v80v80m4s4
SAT
0.01
Qq2k3k2v80v80m4s8
SAT
0.01
Qq2k3k2v80v80m8s5
SAT
0.01
Qq2k3k2v80v80m16s2
SAT
0.01
Qq2k3k2v80v80m16s5
SAT
0.01
Qq2k3k2v80v80m16s9
SAT
0.01
Qq2k3k2v80v80m32s6
SAT
0.01
Qq3k1k1k3v40v40v40m2s1
SAT
0.01
Qq3k1k1k3v40v40v40m4s0
SAT
0.01
Qq3k1k1k3v40v40v40m4s2
SAT
0.01
Qq3k1k1k3v40v40v40m4s4
SAT
0.01
Qq3k1k1k3v40v40v40m4s5
SAT
0.01
Qq3k1k1k3v40v40v40m4s9
SAT
0.01
Qq3k1k1k3v40v40v40m8s0
SAT
0.01
Qq3k1k1k3v40v40v40m8s1
SAT
0.01
Qq3k1k1k3v40v40v40m8s7
SAT
0.01
Qq3k1k1k3v40v40v40m16s1
SAT
0.01
Qq3k1k1k3v40v40v40m16s2
SAT
0.01
Qq3k1k1k3v40v40v40m16s3
SAT
0.01
Qq3k1k1k3v40v40v40m32s1
SAT
0.01
Qq3k1k1k3v40v40v40m32s7
SAT
0.01
Qq3k1k1k3v40v40v40m32s8
SAT
0.01
Qq3k1k1k3v80v80v80m2s3
SAT
0.01
Qq3k1k1k3v80v80v80m2s5
SAT
0.01
Qq3k1k1k3v80v80v80m4s1
SAT
0.01
Qq3k1k1k3v80v80v80m4s7
SAT
0.01
Qq3k1k1k3v80v80v80m4s8
SAT
0.01
Qq3k1k1k3v80v80v80m8s3
SAT
0.01
Qq3k1k1k3v80v80v80m8s4
SAT
0.01
Qq3k1k1k3v80v80v80m8s6
SAT
0.01
Qq3k1k1k3v80v80v80m8s7
SAT
0.01
Qq3k1k1k3v80v80v80m16s1
SAT
0.01
Qq3k1k1k3v80v80v80m16s2
SAT
0.01
Qq3k1k1k3v80v80v80m16s4
SAT
0.01
Qq3k1k1k3v80v80v80m32s2
SAT
0.01
Qq3k1k1k3v80v80v80m32s3
SAT
0.01
Qq3k1k2k2v40v40v40m2s5
SAT
0.01
Qq3k1k2k2v40v40v40m2s7
SAT
0.01
Qq3k1k2k2v40v40v40m4s3
SAT
0.01
Qq3k1k2k2v40v40v40m8s5
SAT
0.01
Qq3k1k2k2v40v40v40m8s6
SAT
0.01
Qq3k1k2k2v40v40v40m16s2
SAT
0.01
Qq3k1k2k2v40v40v40m32s0
SAT
0.01
Qq3k1k2k2v40v40v40m32s5
SAT
0.01
Qq3k1k2k2v40v40v40m32s7
SAT
0.01
Qq3k1k2k2v40v40v40m32s9
SAT
0.01
Qq3k1k2k2v80v80v80m2s5
SAT
0.01
Qq3k1k2k2v80v80v80m2s6
SAT
0.01
Qq3k1k2k2v80v80v80m2s8
SAT
0.01
Qq3k1k2k2v80v80v80m2s9
SAT
0.01
Qq3k1k2k2v80v80v80m4s1
SAT
0.01
Qq3k1k2k2v80v80v80m4s7
SAT
0.01
Qq3k1k2k2v80v80v80m4s8
SAT
0.01
Qq3k1k2k2v80v80v80m4s9
SAT
0.01
Qq3k1k2k2v80v80v80m8s3
SAT
0.01
Qq3k1k2k2v80v80v80m8s5
SAT
0.01
Qq3k1k2k2v80v80v80m8s6
SAT
0.01
Qq3k1k2k2v80v80v80m16s2
SAT
0.01
Qq3k1k2k2v80v80v80m32s2
SAT
0.01
Qq3k1k2k2v80v80v80m32s5
SAT
0.01
Qq3k1k3k1v40v40v40m2s3
SAT
0.01
Qq3k1k3k1v40v40v40m4s6
SAT
0.01
Qq3k1k3k1v40v40v40m8s1
SAT
0.01
Qq3k1k3k1v40v40v40m16s8
SAT
0.01
Qq3k1k3k1v40v40v40m16s9
SAT
0.01
Qq3k1k3k1v40v40v40m32s2
SAT
0.01
Qq3k1k3k1v80v80v80m2s0
SAT
0.01
Qq3k1k3k1v80v80v80m2s2
SAT
0.01
Qq3k1k3k1v80v80v80m2s4
SAT
0.01
Qq3k1k3k1v80v80v80m4s6
SAT
0.01
Qq3k1k3k1v80v80v80m4s8
SAT
0.01
Qq3k1k3k1v80v80v80m8s1
SAT
0.01
Qq3k1k3k1v80v80v80m8s7
SAT
0.01
Qq3k1k3k1v80v80v80m8s8
SAT
0.01
Qq3k1k3k1v80v80v80m16s3
SAT
0.01
Qq3k1k3k1v80v80v80m16s5
SAT
0.01
Qq3k1k3k1v80v80v80m32s4
SAT
0.01
Qq3k1k3k1v80v80v80m32s5
SAT
0.01
Qq3k1k3k1v80v80v80m32s8
SAT
0.01
Qq3k2k1k2v40v40v40m2s5
SAT
0.01
Qq3k2k1k2v40v40v40m2s6
SAT
0.01
Qq3k2k1k2v40v40v40m2s8
SAT
0.01
Qq3k2k1k2v40v40v40m8s0
SAT
0.01
Qq3k2k1k2v40v40v40m8s3
SAT
0.01
Qq3k2k1k2v40v40v40m8s4
SAT
0.01
Qq3k2k1k2v40v40v40m8s6
SAT
0.01
Qq3k2k1k2v40v40v40m8s8
SAT
0.01
Qq3k2k1k2v40v40v40m16s0
SAT
0.01
Qq3k2k1k2v40v40v40m32s8
SAT
0.01
Qq3k2k1k2v80v80v80m2s0
SAT
0.01
Qq3k2k1k2v80v80v80m2s3
SAT
0.01
Qq3k2k1k2v80v80v80m4s3
SAT
0.01
Qq3k2k1k2v80v80v80m8s8
SAT
0.01
Qq3k2k1k2v80v80v80m16s2
SAT
0.01
Qq3k2k1k2v80v80v80m16s5
SAT
0.01
Qq3k2k1k2v80v80v80m16s6
SAT
0.01
Qq3k2k1k2v80v80v80m32s4
SAT
0.01
Qq3k2k1k2v80v80v80m32s9
SAT
0.01
Qq3k2k2k1v40v40v40m2s1
SAT
0.01
Qq3k2k2k1v40v40v40m2s8
SAT
0.01
Qq3k2k2k1v40v40v40m4s1
SAT
0.01
Qq3k2k2k1v40v40v40m4s3
SAT
0.01
Qq3k2k2k1v40v40v40m4s4
SAT
0.01
Qq3k2k2k1v40v40v40m4s6
SAT
0.01
Qq3k2k2k1v40v40v40m8s0
SAT
0.01
Qq3k2k2k1v40v40v40m8s5
SAT
0.01
Qq3k2k2k1v40v40v40m8s7
SAT
0.01
Qq3k2k2k1v40v40v40m8s9
SAT
0.01
Qq3k2k2k1v40v40v40m16s1
SAT
0.01
Qq3k2k2k1v40v40v40m16s3
SAT
0.01
Qq3k2k2k1v40v40v40m16s7
SAT
0.01
Qq3k2k2k1v40v40v40m32s6
SAT
0.01
Qq3k2k2k1v40v40v40m32s7
SAT
0.01
Qq3k2k2k1v40v40v40m32s9
SAT
0.01
Qq3k2k2k1v80v80v80m2s0
SAT
0.01
Qq3k2k2k1v80v80v80m2s4
SAT
0.01
Qq3k2k2k1v80v80v80m2s7
SAT
0.01
Qq3k2k2k1v80v80v80m4s2
SAT
0.01
Qq3k2k2k1v80v80v80m4s7
SAT
0.01
Qq3k2k2k1v80v80v80m4s8
SAT
0.01
Qq3k2k2k1v80v80v80m4s9
SAT
0.01
Qq3k2k2k1v80v80v80m8s0
SAT
0.01
Qq3k2k2k1v80v80v80m8s9
SAT
0.01
Qq3k2k2k1v80v80v80m16s1
SAT
0.01
Qq3k2k2k1v80v80v80m16s3
SAT
0.01
Qq3k2k2k1v80v80v80m32s0
SAT
0.01
Qq3k2k2k1v80v80v80m32s5
SAT
0.01
Qq3k2k2k1v80v80v80m32s7
SAT
0.01
Qq3k2k2k1v80v80v80m32s9
SAT
0.01
Qq3k3k1k1v40v40v40m2s4
SAT
0.01
Qq3k3k1k1v40v40v40m2s8
SAT
0.01
Qq3k3k1k1v40v40v40m4s2
SAT
0.01
Qq3k3k1k1v40v40v40m4s3
SAT
0.01
Qq3k3k1k1v40v40v40m8s3
SAT
0.01
Qq3k3k1k1v40v40v40m8s4
SAT
0.01
Qq3k3k1k1v40v40v40m8s5
SAT
0.01
Qq3k3k1k1v40v40v40m8s9
SAT
0.01
Qq3k3k1k1v40v40v40m16s0
SAT
0.01
Qq3k3k1k1v40v40v40m16s5
SAT
0.01
Qq3k3k1k1v40v40v40m16s9
SAT
0.01
Qq3k3k1k1v40v40v40m32s3
SAT
0.01
Qq3k3k1k1v40v40v40m32s7
SAT
0.01
Qq3k3k1k1v80v80v80m2s0
SAT
0.01
Qq3k3k1k1v80v80v80m2s5
SAT
0.01
Qq3k3k1k1v80v80v80m4s0
SAT
0.01
Qq3k3k1k1v80v80v80m4s6
SAT
0.01
Qq3k3k1k1v80v80v80m8s2
SAT
0.01
Qq3k3k1k1v80v80v80m8s4
SAT
0.01
Qq3k3k1k1v80v80v80m8s6
SAT
0.01
Qq3k3k1k1v80v80v80m16s3
SAT
0.01
Qq3k3k1k1v80v80v80m16s5
SAT
0.01
Qq3k3k1k1v80v80v80m16s9
SAT
0.01
Qq3k3k1k1v80v80v80m32s3
SAT
0.01
Qq3k3k1k1v80v80v80m32s6
SAT
0.01
Qq3k3k1k1v80v80v80m32s8
SAT
0.01
Qq2k3k2v80v80m32s9
SAT
0.01
ncf_4_16_2_euad.2
SAT
0.02
ncf_4_8_2_euad.8
SAT
0.02
ncf_8_16_4_d.10
SAT
0.02
C432.blif_0.10_1.00_0_0_out_exact
UNSAT
0.02
ncf_4_8_8_d.8
SAT
0.02
ncf_4_8_8_edau.5
UNSAT
0.02
3qbf-5cnf-80var-2560cl.0
UNSAT
0.02
ncf_16_32_2_d.7
UNSAT
0.02
ncf_16_32_2_u.9
UNSAT
0.02
ncf_4_8_2_euad.6
SAT
0.02
ncf_4_8_8_d.5
UNSAT
0.02
ncf_4_16_4_d.1
SAT
0.02
ncf_4_16_2_u.2
SAT
0.02
k_poly_n-16
SAT
0.02
ncf_16_32_4_edau.10
UNSAT
0.02
5qbf-5cnf-160var-640cl.0
SAT
0.02
k_dum_n-20
SAT
0.02
ncf_8_16_4_edau.6
UNSAT
0.02
k_poly_n-8
SAT
0.02
k_dum_p-16
UNSAT
0.02
k_poly_p-12
UNSAT
0.02
k_poly_n-12
SAT
0.02
comp.blif_0.10_1.00_0_0_out_exact
UNSAT
0.02
k_grz_p-8
UNSAT
0.02
ncf_4_16_4_edau.1
SAT
0.02
counter_re_4
SAT
0.02
k_poly_p-20
UNSAT
0.02
3qbf-5cnf-80var-2560cl.3
UNSAT
0.02
ncf_8_16_4_edau.8
UNSAT
0.02
6qbf-5cnf-160var-640cl.3
SAT
0.02
ncf_16_32_4_d.10
UNSAT
0.02
ncf_4_8_8_edau.8
SAT
0.02
x10.0
UNSAT
0.02
x10.1
UNSAT
0.02
x10.3
UNSAT
0.02
x10.5
UNSAT
0.02
x10.7
SAT
0.02
x10.9
UNSAT
0.02
x5.8
UNSAT
0.02
eijk.S386.S-d2
SAT
0.02
Qq2k1k4v40v40m4s0
SAT
0.02
Qq2k1k4v40v40m16s2
UNSAT
0.02
Qq2k1k4v80v80m32s0
UNSAT
0.02
Qq2k2k3v40v40m2s9
SAT
0.02
Qq2k3k2v40v40m4s3
SAT
0.02
Qq3k1k1k3v40v40v40m2s9
SAT
0.02
Qq3k1k1k3v40v40v40m8s4
SAT
0.02
Qq3k1k1k3v40v40v40m16s0
SAT
0.02
Qq3k1k1k3v40v40v40m32s0
SAT
0.02
Qq3k1k1k3v40v40v40m32s2
SAT
0.02
Qq3k1k1k3v80v80v80m2s0
SAT
0.02
Qq3k1k1k3v80v80v80m8s8
SAT
0.02
Qq3k1k1k3v80v80v80m16s6
SAT
0.02
Qq3k1k1k3v80v80v80m32s0
SAT
0.02
Qq3k1k2k2v40v40v40m4s5
SAT
0.02
Qq3k1k2k2v40v40v40m8s7
SAT
0.02
Qq3k1k2k2v80v80v80m2s1
SAT
0.02
Qq3k1k3k1v80v80v80m16s1
SAT
0.02
Qq3k1k3k1v80v80v80m32s9
SAT
0.02
Qq3k2k1k2v80v80v80m16s8
SAT
0.02
Qq3k2k1k2v80v80v80m32s6
SAT
0.02
Qq3k2k1k2v80v80v80m32s8
SAT
0.02
Qq3k2k2k1v40v40v40m16s0
SAT
0.02
Qq3k2k2k1v80v80v80m8s8
SAT
0.02
Qq3k2k2k1v80v80v80m32s4
SAT
0.02
Qq3k3k1k1v40v40v40m2s7
SAT
0.02
Qq3k3k1k1v40v40v40m2s9
SAT
0.02
Qq3k3k1k1v40v40v40m32s9
SAT
0.02
Qq3k3k1k1v80v80v80m2s6
SAT
0.02
Qq3k3k1k1v80v80v80m8s3
SAT
0.02
term1.blif_0.10_1.00_0_0_out_exact
UNSAT
0.03
k_dum_p-21
UNSAT
0.03
ncf_4_16_2_d.2
SAT
0.03
ncf_16_32_4_d.7
UNSAT
0.03
5qbf-5cnf-160var-640cl.1
SAT
0.03
k_dum_p-20
UNSAT
0.03
ncf_16_32_8_edau.4
SAT
0.03
k_path_n-8
SAT
0.03
k_dum_n-16
SAT
0.03
k_t4p_p-4
UNSAT
0.03
5qbf-5cnf-20var-640cl.7
UNSAT
0.03
BLOCKS3i.4.4
UNSAT
0.03
ncf_16_32_4_edau.7
UNSAT
0.03
k_lin_n-4
SAT
0.03
k_grz_n-8
SAT
0.03
k_grz_p-12
UNSAT
0.03
k_dum_p-12
UNSAT
0.03
k_path_p-12
UNSAT
0.03
s27_d3_u
UNSAT
0.03
ncf_8_16_8_edau.1
SAT
0.03
k_dum_n-21
SAT
0.03
ncf_16_32_8_d.4
SAT
0.03
k_poly_n-21
SAT
0.03
k_path_p-8
UNSAT
0.03
k_dum_n-12
SAT
0.03
x10.2
UNSAT
0.03
x10.6
UNSAT
0.03
x10.8
UNSAT
0.03
vis.emodel.E-f2
UNSAT
0.03
Qq2k2k3v80v80m2s0
SAT
0.03
Qq2k2k3v80v80m32s4
SAT
0.03
Qq2k3k2v40v40m4s1
SAT
0.03
Qq2k3k2v40v40m16s4
SAT
0.03
Qq3k1k1k3v40v40v40m16s8
SAT
0.03
Qq3k2k1k2v40v40v40m2s1
SAT
0.03
ncf_16_32_4_edau.1
FAIL
0.04
k_poly_n-20
SAT
0.04
2qbf-5cnf-160var-320cl.3
SAT
0.04
qshifter_5
SAT
0.04
k_ph_n-8
SAT
0.04
k_path_n-12
SAT
0.04
comp.blif_0.10_0.20_0_0_out_exact
UNSAT
0.04
term1.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.04
x10.4
SAT
0.04
sortnetsort5.v.stepl.003
UNSAT
0.04
k_path_p-16
UNSAT
0.05
CHAIN20v.21
SAT
0.05
k_lin_p-8
UNSAT
0.05
toilet_c_10_05.7
SAT
0.05
k_path_n-16
SAT
0.05
k_t4p_n-4
SAT
0.05
ncf_4_16_2_euad.4
SAT
0.05
CHAIN23v.24
SAT
0.06
CHAIN22v.23
SAT
0.06
CHAIN21v.22
SAT
0.06
k_path_p-21
UNSAT
0.06
k_lin_p-12
UNSAT
0.06
BLOCKS3iii.5
SAT
0.06
sortnetsort5.v.stepl.005
SAT
0.06
sortnetsort5.v.stepl.006
SAT
0.06
sortnetsort5.v.stepl.007
SAT
0.06
ncf_4_32_2_edau.1
UNSAT
0.07
ncf_4_16_2_d.5
UNSAT
0.07
k_path_p-20
UNSAT
0.07
k_path_n-20
SAT
0.07
k_path_n-21
SAT
0.07
C499.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.07
texas.parsesys^3.E-f2
SAT
0.07
sortnetsort5.v.stepl.004
UNSAT
0.07
k_d4_p-16
UNSAT
0.08
C5315.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.08
vis.elevator^1.E-f2
UNSAT
0.08
x15.6
UNSAT
0.09
C5315.blif_0.10_1.00_0_0_out_exact
UNSAT
0.1
s27_d4_u
UNSAT
0.1
k_lin_p-16
UNSAT
0.1
TOILET10.1.iv.20
SAT
0.1
k_d4_p-20
UNSAT
0.11
lut4_2_fXOR
SAT
0.11
C5315.blif_0.10_1.00_0_1_inp_exact
SAT
0.11
ncf_4_8_8_edau.1
SAT
0.11
x15.5
UNSAT
0.11
x15.8
SAT
0.11
sortnetsort6.v.stepl.003
UNSAT
0.11
ncf_4_8_8_d.3
SAT
0.12
x15.2
UNSAT
0.12
x15.3
SAT
0.12
k_d4_p-21
UNSAT
0.13
C5315.blif_0.10_1.00_0_1_out_exact
SAT
0.13
x15.4
UNSAT
0.13
x15.7
UNSAT
0.13
irst.dme4.B-d2
SAT
0.13
texas.ifetch1^8.E-f2
SAT
0.13
BLOCKS3ii.5.2
UNSAT
0.14
BLOCKS3ii.5.3
SAT
0.14
x15.1
SAT
0.14
ncf_4_16_2_d.7
SAT
0.15
x15.9
UNSAT
0.15
ncf_4_16_2_edau.5
UNSAT
0.16
2qbf-5cnf-160var-320cl.9
SAT
0.16
x15.0
UNSAT
0.16
Adder2-4-s
SAT
0.17
ncf_4_8_8_edau.3
SAT
0.18
eijk.S820.S-d2
SAT
0.18
adder-4-sat
SAT
0.19
ncf_4_16_4_d.9
SAT
0.19
eijk.S832.S-d2
SAT
0.2
counter_8
SAT
0.22
sortnetsort6.v.stepl.004
UNSAT
0.22
sortnetsort6.v.stepl.005
SAT
0.22
BLOCKS3i.5.3
UNSAT
0.23
ncf_4_8_8_u.1
SAT
0.24
ncf_4_8_8_u.3
SAT
0.24
sortnetsort6.v.stepl.006
SAT
0.25
BLOCKS3i.5.4
SAT
0.26
k_lin_p-20
UNSAT
0.26
k_lin_n-8
SAT
0.28
qshifter_6
SAT
0.28
sortnetsort6.v.stepl.007
SAT
0.28
C499.blif_0.10_1.00_0_0_out_exact
UNSAT
0.3
k_lin_p-21
UNSAT
0.32
s27_d5_u
UNSAT
0.34
ncf_4_8_8_d.1
SAT
0.35
ncf_4_16_2_edau.7
SAT
0.35
sortnetsort7.v.stepl.003
UNSAT
0.35
k_grz_n-12
SAT
0.36
ncf_4_8_2_u.2
SAT
0.38
s298_d2_s
SAT
0.39
vis.bakery.E-f2
SAT
0.4
eijk.S349.S-d2
SAT
0.41
TOILET7.1.iv.13
UNSAT
0.42
s499_d2_s
SAT
0.43
connect_8x7_4_W
UNSAT
0.44
eijk.S344.S-d2
SAT
0.45
connect_8x7_3_W
UNSAT
0.46
vis.eisenberg.E-f2
SAT
0.46
connect_8x7_3_D
UNSAT
0.48
lut4_AND_f1
SAT
0.49
connect_8x7_4_D
UNSAT
0.5
ncf_4_8_8_euad.3
SAT
0.57
x20.8
SAT
0.58
sortnetsort7.v.stepl.004
UNSAT
0.58
texas.parsesys^1.E-f2
SAT
0.61
connect_9x8_5_W
UNSAT
0.68
x20.5
SAT
0.68
vis.emodel.E-d2
SAT
0.69
x20.6
SAT
0.7
connect_9x8_5_D
UNSAT
0.74
connect_9x8_4_W
UNSAT
0.75
x20.0
SAT
0.75
x20.4
UNSAT
0.75
connect_9x8_3_W
UNSAT
0.77
TOILET16.1.iv.32
SAT
0.77
k_ph_p-8
UNSAT
0.79
connect_9x8_3_D
UNSAT
0.82
connect_9x8_4_D
UNSAT
0.84
k_ph_n-12
SAT
0.85
k_lin_n-12
SAT
0.94
lognBWLARGEA1
UNSAT
0.94
sortnetsort7.v.stepl.007
SAT
0.94
ncf_4_8_2_euad.2
SAT
0.97
x20.3
UNSAT
0.97
x20.1
UNSAT
0.99
2qbf-5cnf-40var-160cl.7
UNSAT
1.05
irst.dme5.B-d2
SAT
1.05
ncf_4_16_4_edau.9
SAT
1.06
sortnetsort8.v.stepl.003
UNSAT
1.07
sortnetsort7.v.stepl.008
SAT
1.1
ncf_4_8_4_u.8
UNSAT
1.11
3qbf-5cnf-20var-320cl.4
UNSAT
1.11
x20.9
SAT
1.2
x20.2
SAT
1.21
k_d4_n-4
SAT
1.24
ncf_16_32_2_euad.7
UNSAT
1.36
sortnetsort7.v.stepl.009
SAT
1.36
k_grz_p-16
UNSAT
1.4
x20.7
SAT
1.41
sortnetsort7.v.stepl.006
SAT
1.52
ncf_4_16_4_euad.9
SAT
1.64
vis.4-arbit^1.E-d2
SAT
1.78
k_grz_n-16
SAT
1.89
irst.dme6.B-d2
SAT
1.91
1qbf-5cnf-160var-2560cl.7
SAT
1.96
ncf_4_8_4_u.6
SAT
1.97
sortnetsort8.v.stepl.004
UNSAT
1.97
k_grz_p-21
UNSAT
2
k_lin_n-16
SAT
2.03
k_grz_p-20
UNSAT
2.28
qshifter_7
SAT
2.36
sortnetsort8.v.stepl.006
SAT
2.54
ncf_4_16_4_u.9
SAT
2.63
eijk.S1423.S-d2
SAT
2.79
ncf_16_32_2_edau.7
UNSAT
2.8
toilet_a_10_05.4
SAT
2.9
x25.8
UNSAT
3.02
sortnetsort8.v.stepl.007
SAT
3.14
BLOCKS4iii.6
UNSAT
3.26
ncf_4_8_4_u.10
SAT
3.42
sortnetsort8.v.stepl.008
SAT
3.52
nusmv.syncarb5^2.B-f2
SAT
3.62
1qbf-5cnf-160var-2560cl.6
SAT
3.68
texas.ifetch1^9.E-f2
SAT
3.73
lognBWLARGEB1
UNSAT
3.83
lut4_AND_fXOR
UNSAT
3.86
k_lin_n-20
SAT
4
ncf_4_8_4_euad.6
SAT
4.01
2qbf-5cnf-40var-160cl.2
UNSAT
4.12
sortnetsort8.v.stepl.009
SAT
4.14
x25.3
UNSAT
4.25
lut4_2_f1
SAT
4.68
x25.9
UNSAT
4.69
k_lin_n-21
SAT
4.7
ncf_4_8_4_euad.10
SAT
4.8
x25.0
SAT
4.89
x25.7
UNSAT
4.89
x25.2
SAT
4.94
k_grz_n-20
SAT
5.3
sortnetsort9.v.stepl.004
UNSAT
5.63
x25.4
UNSAT
5.66
BLOCKS4ii.6.3
UNSAT
5.71
x25.5
UNSAT
5.75
texas.parsesys^2.E-f2
UNSAT
5.8
2qbf-5cnf-160var-320cl.0
SAT
5.91
sortnetsort7.v.stepl.005
UNSAT
6.48
BLOCKS4i.6.4
UNSAT
6.63
k_ph_n-16
SAT
7.02
x25.6
UNSAT
7.16
BLOCKS4ii.7.2
UNSAT
7.42
ncf_8_16_8_edau.6
UNSAT
7.7
BLOCKS4iii.7
SAT
8
k_grz_n-21
SAT
8.3
2qbf-5cnf-40var-160cl.1
UNSAT
8.43
lut4_2_f2
UNSAT
8.58
2qbf-5cnf-160var-320cl.7
SAT
8.76
sortnetsort9.v.stepl.008
SAT
9.19
s386_d2_s
SAT
9.59
lut4_3_fAND
SAT
9.96
2qbf-5cnf-40var-160cl.6
UNSAT
10.32
1qbf-5cnf-160var-2560cl.9
SAT
10.38
2qbf-5cnf-80var-640cl.6
FAIL
10.62
x25.1
SAT
10.79
4qbf-5cnf-80var-1280cl.2
FAIL
11.13
szymanski-14-s
FAIL
11.33
k_branch_p-4
UNSAT
11.43
2qbf-5cnf-80var-640cl.8
FAIL
11.48
2qbf-5cnf-80var-640cl.7
FAIL
11.68
3qbf-5cnf-80var-1280cl.5
FAIL
11.73
2qbf-5cnf-80var-640cl.4
FAIL
11.85
4qbf-5cnf-80var-1280cl.8
FAIL
11.85
s510_d2_s
SAT
11.88
4qbf-5cnf-80var-1280cl.7
FAIL
11.91
2qbf-5cnf-80var-640cl.0
FAIL
12.03
3qbf-5cnf-80var-1280cl.6
FAIL
12.09
adder-4-unsat
FAIL
12.13
3qbf-5cnf-20var-320cl.2
UNSAT
12.17
5qbf-5cnf-80var-640cl.4
FAIL
12.17
3qbf-5cnf-160var-2560cl.7
FAIL
12.18
3qbf-5cnf-80var-1280cl.4
FAIL
12.25
2qbf-5cnf-80var-640cl.1
FAIL
12.36
2qbf-5cnf-80var-640cl.2
FAIL
12.44
4qbf-5cnf-40var-320cl.0
FAIL
12.48
2qbf-5cnf-80var-1280cl.6
FAIL
12.52
6qbf-5cnf-40var-640cl.3
FAIL
12.53
Adder2-6-c
FAIL
12.58
C499.blif_0.10_0.20_0_1_inp_exact
FAIL
12.67
szymanski-20-s
FAIL
12.71
nusmv.dme2-16.B-d2
SAT
12.74
szymanski-12-s
FAIL
12.76
3qbf-5cnf-80var-320cl.5
FAIL
12.8
2qbf-5cnf-160var-2560cl.8
FAIL
12.86
3qbf-5cnf-20var-320cl.1
UNSAT
12.89
szymanski-16-s
FAIL
12.99
2qbf-5cnf-80var-320cl.7
FAIL
13.01
3qbf-5cnf-40var-640cl.2
FAIL
13.02
2qbf-5cnf-40var-320cl.8
FAIL
13.05
2qbf-5cnf-80var-640cl.9
FAIL
13.07
4qbf-5cnf-160var-2560cl.1
FAIL
13.12
3qbf-5cnf-80var-1280cl.1
FAIL
13.15
5qbf-5cnf-80var-1280cl.3
FAIL
13.15
6qbf-5cnf-80var-640cl.8
FAIL
13.16
3qbf-5cnf-80var-1280cl.8
FAIL
13.19
2qbf-5cnf-80var-1280cl.1
FAIL
13.2
4qbf-5cnf-80var-1280cl.4
FAIL
13.25
2qbf-5cnf-80var-320cl.3
FAIL
13.25
2qbf-5cnf-80var-320cl.6
FAIL
13.26
3qbf-5cnf-80var-1280cl.7
FAIL
13.28
2qbf-5cnf-80var-320cl.8
FAIL
13.32
5qbf-5cnf-20var-320cl.0
FAIL
13.34
k_d4_n-8
FAIL
13.35
2qbf-5cnf-80var-1280cl.0
FAIL
13.35
5qbf-5cnf-80var-1280cl.5
FAIL
13.36
2qbf-5cnf-80var-640cl.3
FAIL
13.38
2qbf-5cnf-40var-320cl.2
FAIL
13.39
k_d4_p-8
FAIL
13.39
6qbf-5cnf-20var-320cl.2
FAIL
13.4
2qbf-5cnf-40var-320cl.6
FAIL
13.41
3qbf-5cnf-40var-640cl.6
FAIL
13.45
szymanski-18-s
FAIL
13.46
5qbf-5cnf-80var-1280cl.7
FAIL
13.48
2qbf-5cnf-160var-2560cl.9
FAIL
13.49
4qbf-5cnf-160var-640cl.9
FAIL
13.52
2qbf-5cnf-40var-320cl.1
FAIL
13.52
k_branch_n-8
FAIL
13.54
ncf_8_16_4_edau.7
FAIL
13.54
sortnetsort9.v.stepl.007
SAT
13.54
2qbf-5cnf-80var-1280cl.3
FAIL
13.57
4qbf-5cnf-160var-2560cl.2
FAIL
13.64
4qbf-5cnf-40var-640cl.1
FAIL
13.67
k_branch_n-4
FAIL
13.67
6qbf-5cnf-40var-320cl.4
FAIL
13.68
6qbf-5cnf-20var-640cl.0
FAIL
13.69
6qbf-5cnf-80var-1280cl.9
FAIL
13.76
5qbf-5cnf-40var-640cl.1
FAIL
13.78
4qbf-5cnf-80var-1280cl.1
FAIL
13.79
5qbf-5cnf-20var-640cl.0
FAIL
13.82
4qbf-5cnf-80var-1280cl.5
FAIL
13.84
2qbf-5cnf-80var-1280cl.8
FAIL
13.87
5qbf-5cnf-40var-640cl.9
FAIL
13.88
k_branch_p-8
FAIL
13.89
sortnetsort9.v.stepl.009
SAT
13.92
5qbf-5cnf-20var-320cl.9
FAIL
13.95
3qbf-5cnf-80var-1280cl.3
FAIL
13.97
5qbf-5cnf-20var-320cl.2
FAIL
14
2qbf-5cnf-80var-1280cl.7
FAIL
14
3qbf-5cnf-40var-640cl.7
FAIL
14
5qbf-5cnf-40var-640cl.4
FAIL
14.01
k_d4_n-16
FAIL
14.03
k_d4_n-20
FAIL
14.03
4qbf-5cnf-80var-1280cl.9
FAIL
14.03
4qbf-5cnf-20var-320cl.1
FAIL
14.05
2qbf-5cnf-80var-1280cl.5
FAIL
14.08
4qbf-5cnf-160var-640cl.5
FAIL
14.1
6qbf-5cnf-20var-320cl.1
FAIL
14.11
Adder2-8-c
FAIL
14.14
5qbf-5cnf-40var-640cl.7
FAIL
14.16
2qbf-5cnf-80var-320cl.1
FAIL
14.18
k_d4_n-21
FAIL
14.18
6qbf-5cnf-80var-1280cl.4
FAIL
14.19
4qbf-5cnf-160var-2560cl.3
FAIL
14.2
2qbf-5cnf-80var-640cl.5
FAIL
14.23
4qbf-5cnf-20var-320cl.2
FAIL
14.27
2qbf-5cnf-40var-320cl.7
FAIL
14.29
5qbf-5cnf-80var-1280cl.2
FAIL
14.29
4qbf-5cnf-40var-640cl.3
FAIL
14.32
2qbf-5cnf-40var-320cl.4
FAIL
14.32
6qbf-5cnf-80var-1280cl.3
FAIL
14.35
6qbf-5cnf-40var-640cl.7
FAIL
14.36
6qbf-5cnf-160var-2560cl.6
FAIL
14.38
2qbf-5cnf-80var-320cl.2
FAIL
14.41
5qbf-5cnf-80var-1280cl.0
FAIL
14.41
2qbf-5cnf-80var-1280cl.9
FAIL
14.45
2qbf-5cnf-40var-320cl.5
FAIL
14.49
3qbf-5cnf-160var-2560cl.9
FAIL
14.52
5qbf-5cnf-20var-320cl.5
FAIL
14.54
4qbf-5cnf-160var-640cl.3
FAIL
14.58
2qbf-5cnf-160var-2560cl.2
FAIL
14.59
3qbf-5cnf-160var-640cl.6
FAIL
14.59
6qbf-5cnf-160var-2560cl.5
FAIL
14.6
sortnetsort9.v.stepl.010
SAT
14.61
5qbf-5cnf-80var-1280cl.1
FAIL
14.64
5qbf-5cnf-20var-320cl.7
FAIL
14.65
2qbf-5cnf-80var-1280cl.2
FAIL
14.66
4qbf-5cnf-40var-640cl.0
FAIL
14.67
4qbf-5cnf-80var-1280cl.3
FAIL
14.68
k_t4p_p-8
FAIL
14.68
2qbf-5cnf-160var-2560cl.3
FAIL
14.72
5qbf-5cnf-160var-2560cl.7
FAIL
14.72
3qbf-5cnf-160var-2560cl.3
FAIL
14.73
6qbf-5cnf-40var-640cl.4
FAIL
14.73
3qbf-5cnf-80var-1280cl.2
FAIL
14.73
6qbf-5cnf-160var-2560cl.1
FAIL
14.75
3qbf-5cnf-80var-320cl.3
FAIL
14.79
6qbf-5cnf-20var-320cl.8
FAIL
14.83
4qbf-5cnf-40var-320cl.5
FAIL
14.83
2qbf-5cnf-160var-2560cl.0
FAIL
14.84
4qbf-5cnf-40var-640cl.5
FAIL
14.88
4qbf-5cnf-80var-1280cl.0
FAIL
14.88
2qbf-5cnf-160var-2560cl.7
FAIL
14.88
6qbf-5cnf-20var-640cl.5
FAIL
14.9
5qbf-5cnf-160var-2560cl.6
FAIL
14.9
3qbf-5cnf-40var-640cl.5
FAIL
14.96
5qbf-5cnf-160var-2560cl.4
FAIL
14.96
3qbf-5cnf-80var-1280cl.9
FAIL
14.97
4qbf-5cnf-40var-640cl.8
FAIL
15
6qbf-5cnf-20var-320cl.4
FAIL
15.01
4qbf-5cnf-20var-320cl.7
FAIL
15.03
6qbf-5cnf-80var-640cl.4
FAIL
15.04
6qbf-5cnf-80var-1280cl.5
FAIL
15.05
6qbf-5cnf-160var-2560cl.9
FAIL
15.06
4qbf-5cnf-40var-640cl.9
FAIL
15.08
k_d4_n-12
FAIL
15.12
4qbf-5cnf-160var-2560cl.6
FAIL
15.14
4qbf-5cnf-20var-640cl.7
FAIL
15.15
6qbf-5cnf-20var-320cl.3
FAIL
15.17
6qbf-5cnf-40var-320cl.1
FAIL
15.17
3qbf-5cnf-80var-1280cl.0
FAIL
15.18
5qbf-5cnf-20var-640cl.8
FAIL
15.18
3qbf-5cnf-40var-640cl.1
FAIL
15.19
5qbf-5cnf-160var-2560cl.8
FAIL
15.2
6qbf-5cnf-160var-2560cl.3
FAIL
15.24
6qbf-5cnf-20var-640cl.7
FAIL
15.26
3qbf-5cnf-160var-2560cl.5
FAIL
15.26
6qbf-5cnf-80var-640cl.7
FAIL
15.26
6qbf-5cnf-80var-1280cl.8
FAIL
15.26
1qbf-5cnf-160var-2560cl.3
SAT
15.27
4qbf-5cnf-160var-2560cl.7
FAIL
15.32
6qbf-5cnf-80var-1280cl.0
FAIL
15.32
4qbf-5cnf-160var-2560cl.5
FAIL
15.32
6qbf-5cnf-20var-640cl.8
FAIL
15.33
5qbf-5cnf-40var-320cl.2
FAIL
15.34
6qbf-5cnf-40var-320cl.2
FAIL
15.35
5qbf-5cnf-40var-640cl.2
FAIL
15.37
4qbf-5cnf-160var-2560cl.4
FAIL
15.37
6qbf-5cnf-20var-320cl.9
FAIL
15.39
3qbf-5cnf-160var-2560cl.4
FAIL
15.42
5qbf-5cnf-40var-1280cl.9
FAIL
15.42
2qbf-5cnf-160var-2560cl.4
FAIL
15.44
C6288.blif_0.10_1.00_0_1_out_exact
FAIL
15.44
4qbf-5cnf-40var-320cl.8
FAIL
15.5
2qbf-5cnf-40var-320cl.0
FAIL
15.52
5qbf-5cnf-80var-2560cl.3
FAIL
15.53
4qbf-5cnf-80var-1280cl.6
FAIL
15.53
x30.4
SAT
15.54
6qbf-5cnf-20var-640cl.3
FAIL
15.56
6qbf-5cnf-20var-640cl.1
FAIL
15.56
6qbf-5cnf-20var-640cl.9
FAIL
15.6
6qbf-5cnf-40var-1280cl.0
FAIL
15.61
6qbf-5cnf-20var-320cl.0
FAIL
15.61
5qbf-5cnf-40var-1280cl.2
FAIL
15.61
ncf_8_16_4_d.7
FAIL
15.61
5qbf-5cnf-160var-2560cl.2
FAIL
15.67
4qbf-5cnf-160var-2560cl.9
FAIL
15.68
6qbf-5cnf-20var-640cl.4
FAIL
15.7
6qbf-5cnf-40var-1280cl.6
FAIL
15.7
k_branch_p-12
FAIL
15.7
3qbf-5cnf-40var-320cl.2
FAIL
15.72
szymanski-22-s
FAIL
15.74
5qbf-5cnf-160var-2560cl.9
FAIL
15.75
5qbf-5cnf-160var-2560cl.5
FAIL
15.76
3qbf-5cnf-160var-2560cl.2
FAIL
15.77
2qbf-5cnf-80var-1280cl.4
FAIL
15.81
4qbf-5cnf-20var-320cl.9
FAIL
15.81
6qbf-5cnf-40var-640cl.5
FAIL
15.85
ncf_8_16_4_u.7
FAIL
15.85
5qbf-5cnf-20var-320cl.3
FAIL
15.9
6qbf-5cnf-40var-640cl.6
FAIL
15.93
4qbf-5cnf-160var-2560cl.0
FAIL
15.96
mutex-32-s
FAIL
15.96
3qbf-5cnf-80var-2560cl.8
FAIL
15.96
sortnetsort8.v.stepl.005
UNSAT
15.97
3qbf-5cnf-160var-2560cl.1
FAIL
16.03
6qbf-5cnf-80var-2560cl.6
FAIL
16.03
ncf_4_32_2_edau.9
FAIL
16.06
5qbf-5cnf-40var-1280cl.4
FAIL
16.07
2qbf-5cnf-40var-320cl.9
FAIL
16.07
2qbf-5cnf-80var-320cl.4
FAIL
16.09
6qbf-5cnf-40var-1280cl.2
FAIL
16.11
3qbf-5cnf-160var-2560cl.0
FAIL
16.13
sortnetsort10.v.stepl.004
UNSAT
16.18
adder-8-unsat
FAIL
16.19
4qbf-5cnf-160var-2560cl.8
FAIL
16.2
5qbf-5cnf-40var-640cl.6
FAIL
16.22
2qbf-5cnf-80var-320cl.5
FAIL
16.23
ncf_4_8_4_euad.8
UNSAT
16.25
5qbf-5cnf-20var-640cl.5
FAIL
16.25
4qbf-5cnf-20var-640cl.5
FAIL
16.28
5qbf-5cnf-20var-320cl.8
FAIL
16.29
3qbf-5cnf-160var-2560cl.8
FAIL
16.33
mutex-64-s
FAIL
16.34
5qbf-5cnf-40var-320cl.7
FAIL
16.34
2qbf-5cnf-160var-2560cl.5
FAIL
16.35
szymanski-24-s
FAIL
16.35
3qbf-5cnf-80var-2560cl.4
FAIL
16.35
6qbf-5cnf-40var-1280cl.5
FAIL
16.38
5qbf-5cnf-160var-2560cl.0
FAIL
16.38
6qbf-5cnf-20var-640cl.2
FAIL
16.38
2qbf-5cnf-160var-2560cl.6
FAIL
16.39
5qbf-5cnf-160var-2560cl.3
FAIL
16.45
4qbf-5cnf-80var-2560cl.5
FAIL
16.46
2qbf-5cnf-160var-2560cl.1
FAIL
16.49
ncf_4_16_8_u.6
FAIL
16.53
6qbf-5cnf-40var-1280cl.4
FAIL
16.53
ncf_4_16_2_u.5
FAIL
16.54
6qbf-5cnf-40var-1280cl.9
FAIL
16.54
szymanski-10-s
FAIL
16.56
ncf_4_32_2_edau.7
FAIL
16.56
4qbf-5cnf-40var-320cl.4
FAIL
16.56
ncf_4_32_2_edau.3
FAIL
16.58
6qbf-5cnf-40var-1280cl.1
FAIL
16.6
ncf_4_32_2_edau.8
FAIL
16.6
6qbf-5cnf-40var-1280cl.7
FAIL
16.62
4qbf-5cnf-20var-640cl.1
FAIL
16.65
3qbf-5cnf-80var-320cl.2
FAIL
16.65
6qbf-5cnf-40var-1280cl.3
FAIL
16.67
4qbf-5cnf-40var-320cl.9
FAIL
16.67
4qbf-5cnf-40var-1280cl.0
FAIL
16.69
4qbf-5cnf-20var-640cl.0
FAIL
16.69
ncf_16_32_2_edau.2
FAIL
16.72
3qbf-5cnf-80var-2560cl.6
FAIL
16.74
3qbf-5cnf-160var-2560cl.6
FAIL
16.75
6qbf-5cnf-80var-2560cl.9
FAIL
16.8
5qbf-5cnf-80var-2560cl.8
FAIL
16.9
6qbf-5cnf-40var-320cl.8
FAIL
16.91
5qbf-5cnf-40var-1280cl.8
FAIL
16.94
6qbf-5cnf-20var-160cl.8
FAIL
16.95
4qbf-5cnf-80var-2560cl.3
FAIL
16.98
6qbf-5cnf-80var-2560cl.5
FAIL
16.99
ncf_4_16_8_u.9
FAIL
16.99
ncf_4_16_8_d.9
FAIL
17.06
4qbf-5cnf-80var-2560cl.8
FAIL
17.06
6qbf-5cnf-40var-640cl.8
FAIL
17.06
sortnetsort9.v.stepl.012
SAT
17.06
3qbf-5cnf-40var-640cl.9
FAIL
17.07
5qbf-5cnf-80var-1280cl.8
FAIL
17.07
3qbf-5cnf-80var-320cl.4
FAIL
17.08
5qbf-5cnf-80var-2560cl.5
FAIL
17.1
ncf_4_16_8_u.1
FAIL
17.12
4qbf-5cnf-20var-640cl.4
FAIL
17.18
5qbf-5cnf-80var-2560cl.6
FAIL
17.21
ncf_16_32_4_edau.3
FAIL
17.37
4qbf-5cnf-20var-320cl.8
FAIL
17.4
ncf_4_16_4_u.4
FAIL
17.4
ncf_4_32_2_u.6
FAIL
17.42
6qbf-5cnf-80var-2560cl.2
FAIL
17.43
ncf_4_16_2_edau.3
FAIL
17.45
ncf_16_32_8_euad.3
FAIL
17.53
6qbf-5cnf-40var-640cl.2
FAIL
17.55
4qbf-5cnf-20var-640cl.3
FAIL
17.55
ncf_8_16_8_d.4
FAIL
17.6
ncf_4_8_8_u.10
FAIL
17.6
2qbf-5cnf-160var-320cl.4
SAT
17.62
3qbf-5cnf-40var-320cl.9
FAIL
17.62
6qbf-5cnf-80var-2560cl.0
FAIL
17.65
ncf_4_16_4_euad.2
FAIL
17.66
ncf_4_16_4_edau.3
FAIL
17.73
5qbf-5cnf-40var-1280cl.0
FAIL
17.74
6qbf-5cnf-40var-640cl.0
FAIL
17.74
3qbf-5cnf-40var-640cl.4
FAIL
17.74
5qbf-5cnf-80var-640cl.6
FAIL
17.75
ncf_4_32_2_edau.10
FAIL
17.75
5qbf-5cnf-80var-640cl.8
FAIL
17.77
5qbf-5cnf-40var-1280cl.1
FAIL
17.78
mutex-128-s
FAIL
17.78
6qbf-5cnf-40var-1280cl.8
FAIL
17.78
5qbf-5cnf-20var-640cl.6
FAIL
17.8
ncf_8_16_8_edau.2
FAIL
17.81
ncf_4_16_8_u.8
FAIL
17.84
ncf_4_16_4_edau.6
FAIL
17.84
4qbf-5cnf-40var-1280cl.7
FAIL
17.84
ncf_4_16_4_euad.4
FAIL
17.85
4qbf-5cnf-20var-640cl.6
FAIL
17.91
ncf_16_32_8_u.2
FAIL
17.91
ncf_4_32_2_u.10
FAIL
17.92
ncf_4_16_4_u.6
FAIL
17.94
5qbf-5cnf-40var-640cl.0
FAIL
17.94
ncf_16_32_8_edau.8
FAIL
17.95
ncf_4_32_2_edau.4
FAIL
17.96
ncf_8_16_4_u.4
FAIL
17.99
ncf_16_32_4_euad.8
FAIL
18.01
4qbf-5cnf-40var-1280cl.5
FAIL
18.02
ncf_4_16_4_edau.4
FAIL
18.03
ncf_16_32_8_u.4
FAIL
18.04
5qbf-5cnf-40var-1280cl.3
FAIL
18.04
ncf_4_16_8_u.3
FAIL
18.05
5qbf-5cnf-40var-640cl.5
FAIL
18.05
ncf_4_8_8_edau.10
FAIL
18.05
5qbf-5cnf-80var-2560cl.9
FAIL
18.06
sortnetsort9.v.stepl.011
SAT
18.06
ncf_16_32_8_u.10
FAIL
18.08
2qbf-5cnf-80var-320cl.0
FAIL
18.09
6qbf-5cnf-160var-2560cl.8
FAIL
18.09
5qbf-5cnf-80var-640cl.5
FAIL
18.1
3qbf-5cnf-40var-640cl.8
FAIL
18.11
ncf_16_32_8_u.5
FAIL
18.12
ncf_4_8_4_euad.3
FAIL
18.13
4qbf-5cnf-20var-640cl.9
FAIL
18.16
ncf_4_8_8_edau.2
FAIL
18.17
3qbf-5cnf-160var-640cl.1
FAIL
18.17
ncf_4_16_8_euad.1
FAIL
18.2
ncf_8_16_8_euad.9
FAIL
18.21
ncf_8_16_4_d.3
FAIL
18.22
ncf_4_32_2_u.5
FAIL
18.22
ncf_16_32_4_u.9
FAIL
18.24
ncf_16_32_4_u.8
FAIL
18.27
ncf_4_8_8_u.2
FAIL
18.27
6qbf-5cnf-40var-320cl.6
FAIL
18.28
ncf_4_32_2_u.3
FAIL
18.3
6qbf-5cnf-80var-2560cl.3
FAIL
18.31
ncf_16_32_8_u.3
FAIL
18.32
ncf_4_16_4_euad.3
FAIL
18.39
ncf_4_16_8_euad.9
FAIL
18.39
3qbf-5cnf-40var-320cl.8
FAIL
18.4
3qbf-5cnf-80var-2560cl.1
FAIL
18.4
ncf_16_32_8_u.1
FAIL
18.41
ncf_4_16_2_euad.5
FAIL
18.41
5qbf-5cnf-80var-1280cl.9
FAIL
18.42
ncf_4_16_4_u.2
FAIL
18.45
ncf_16_32_4_edau.6
FAIL
18.45
6qbf-5cnf-80var-1280cl.7
FAIL
18.48
6qbf-5cnf-40var-320cl.5
FAIL
18.51
6qbf-5cnf-40var-320cl.7
FAIL
18.51
6qbf-5cnf-20var-320cl.6
FAIL
18.51
4qbf-5cnf-40var-1280cl.3
FAIL
18.52
ncf_16_32_8_u.7
FAIL
18.53
ncf_8_16_4_u.10
FAIL
18.56
6qbf-5cnf-20var-640cl.6
FAIL
18.57
ncf_8_16_4_euad.7
FAIL
18.58
ncf_16_32_4_u.10
FAIL
18.59
ncf_16_32_4_u.1
FAIL
18.61
ncf_16_32_8_edau.2
FAIL
18.61
ncf_4_32_2_u.8
FAIL
18.63
x30.1
UNSAT
18.63
ncf_8_16_4_euad.4
FAIL
18.64
5qbf-5cnf-40var-1280cl.6
FAIL
18.67
ncf_16_32_4_u.2
FAIL
18.7
ncf_4_16_8_d.6
FAIL
18.7
ncf_16_32_2_u.4
FAIL
18.72
ncf_16_32_2_d.1
FAIL
18.73
4qbf-5cnf-80var-2560cl.6
FAIL
18.75
ncf_4_16_8_u.5
FAIL
18.75
ncf_8_16_4_euad.3
FAIL
18.76
ncf_16_32_4_u.5
FAIL
18.77
ncf_4_16_8_u.2
FAIL
18.81
4qbf-5cnf-160var-640cl.0
FAIL
18.81
ncf_4_8_8_u.6
FAIL
18.87
4qbf-5cnf-20var-640cl.2
FAIL
18.88
ncf_8_16_4_u.3
FAIL
18.89
ncf_4_8_4_euad.1
FAIL
18.9
ncf_4_32_2_u.2
FAIL
18.91
ncf_4_32_2_u.7
FAIL
18.99
ncf_16_32_8_u.6
FAIL
19
5qbf-5cnf-80var-2560cl.4
FAIL
19.02
ncf_4_16_2_d.3
FAIL
19.05
ncf_8_16_4_u.9
FAIL
19.07
ncf_4_8_8_d.7
FAIL
19.08
ncf_4_16_8_euad.7
FAIL
19.08
4qbf-5cnf-40var-1280cl.8
FAIL
19.11
ncf_4_8_8_edau.7
FAIL
19.11
4qbf-5cnf-160var-640cl.4
FAIL
19.12
ncf_16_32_8_edau.3
FAIL
19.13
ncf_4_16_4_d.10
FAIL
19.13
ncf_4_8_8_d.10
FAIL
19.14
ncf_4_16_8_u.4
FAIL
19.15
ncf_16_32_2_u.10
FAIL
19.16
ncf_16_32_4_d.6
FAIL
19.16
5qbf-5cnf-40var-1280cl.7
FAIL
19.21
ncf_4_8_8_u.8
FAIL
19.22
ncf_16_32_2_u.2
FAIL
19.24
ncf_16_32_4_edau.2
FAIL
19.24
4qbf-5cnf-40var-1280cl.6
FAIL
19.25
k_d4_p-12
FAIL
19.25
ncf_16_32_2_euad.8
FAIL
19.25
eijk.S1196.S-d2
FAIL
19.26
ncf_4_16_4_edau.10
FAIL
19.27
ncf_16_32_4_d.5
FAIL
19.28
3qbf-5cnf-40var-320cl.4
FAIL
19.28
ncf_4_16_4_euad.6
FAIL
19.29
2qbf-5cnf-40var-640cl.5
FAIL
19.29
ncf_4_16_4_u.7
FAIL
19.31
ncf_16_32_4_euad.4
FAIL
19.31
4qbf-5cnf-20var-640cl.8
FAIL
19.33
ncf_16_32_4_euad.9
FAIL
19.33
ncf_16_32_4_euad.2
FAIL
19.36
ncf_16_32_8_edau.9
FAIL
19.37
4qbf-5cnf-20var-320cl.0
FAIL
19.39
ncf_16_32_8_u.9
FAIL
19.44
ncf_16_32_4_u.3
FAIL
19.45
2qbf-5cnf-40var-640cl.4
FAIL
19.48
ncf_16_32_2_u.6
FAIL
19.5
4qbf-5cnf-40var-1280cl.4
FAIL
19.51
ncf_8_16_8_euad.2
FAIL
19.52
6qbf-5cnf-20var-160cl.0
FAIL
19.53
3qbf-5cnf-20var-320cl.3
FAIL
19.55
ncf_16_32_4_d.4
FAIL
19.58
ncf_16_32_8_edau.1
FAIL
19.59
6qbf-5cnf-160var-5120cl.6
FAIL
19.61
4qbf-5cnf-160var-5120cl.1
FAIL
19.61
5qbf-5cnf-80var-2560cl.1
FAIL
19.64
5qbf-5cnf-20var-320cl.6
FAIL
19.64
3qbf-5cnf-160var-640cl.7
FAIL
19.66
ncf_8_16_8_edau.9
FAIL
19.68
ncf_8_16_4_euad.8
FAIL
19.71
ncf_16_32_2_edau.4
FAIL
19.73
ncf_4_16_4_edau.7
FAIL
19.75
ncf_16_32_4_u.6
FAIL
19.8
k_t4p_n-16
FAIL
19.82
ncf_16_32_8_u.8
FAIL
19.84
6qbf-5cnf-160var-2560cl.0
FAIL
19.86
3qbf-5cnf-160var-640cl.4
FAIL
19.86
ncf_4_16_8_d.10
FAIL
19.87
ncf_16_32_2_euad.1
FAIL
19.94
ncf_16_32_2_euad.3
FAIL
19.95
ncf_4_8_8_d.6
FAIL
19.97
ncf_4_16_8_euad.6
FAIL
19.99
ncf_8_16_8_edau.4
FAIL
19.99
2qbf-5cnf-40var-640cl.1
FAIL
20
4qbf-5cnf-160var-5120cl.9
FAIL
20
ncf_16_32_2_u.5
FAIL
20.03
ncf_16_32_4_d.3
FAIL
20.03
ncf_16_32_2_u.1
FAIL
20.07
4qbf-5cnf-40var-1280cl.9
FAIL
20.08
ncf_4_16_2_edau.8
FAIL
20.09
6qbf-5cnf-160var-5120cl.5
FAIL
20.1
ncf_16_32_2_euad.4
FAIL
20.17
6qbf-5cnf-80var-2560cl.7
FAIL
20.21
6qbf-5cnf-160var-5120cl.8
FAIL
20.22
ncf_16_32_4_euad.10
FAIL
20.23
4qbf-5cnf-40var-1280cl.2
FAIL
20.25
ncf_16_32_4_euad.3
FAIL
20.27
ncf_4_16_4_euad.7
FAIL
20.33
ncf_16_32_4_u.7
FAIL
20.35
4qbf-5cnf-40var-320cl.7
FAIL
20.35
4qbf-5cnf-20var-320cl.6
FAIL
20.38
5qbf-5cnf-80var-2560cl.0
FAIL
20.38
ncf_16_32_2_d.2
FAIL
20.4
ncf_16_32_2_d.4
FAIL
20.41
ncf_4_16_4_euad.10
FAIL
20.44
ncf_4_32_2_edau.5
FAIL
20.45
ncf_8_16_8_edau.10
FAIL
20.46
6qbf-5cnf-160var-5120cl.0
FAIL
20.46
nusmv.reactor^4.C-f2
FAIL
20.46
4qbf-5cnf-80var-320cl.0
FAIL
20.47
ncf_4_16_8_u.7
FAIL
20.47
ncf_4_16_4_d.6
FAIL
20.5
6qbf-5cnf-160var-5120cl.7
FAIL
20.51
ncf_16_32_2_euad.6
FAIL
20.51
ncf_8_16_8_d.9
FAIL
20.51
6qbf-5cnf-80var-1280cl.2
FAIL
20.56
ncf_8_16_8_edau.5
FAIL
20.64
6qbf-5cnf-80var-2560cl.1
FAIL
20.66
ncf_4_8_8_euad.7
FAIL
20.68
2qbf-5cnf-80var-320cl.9
FAIL
20.69
6qbf-5cnf-160var-5120cl.1
FAIL
20.71
ncf_8_16_4_edau.3
FAIL
20.73
qshifter_8
SAT
20.76
ncf_4_32_2_u.4
FAIL
20.81
ncf_4_16_2_edau.1
FAIL
20.83
ncf_16_32_8_edau.7
FAIL
20.84
2qbf-5cnf-40var-640cl.8
FAIL
20.84
4qbf-5cnf-160var-5120cl.6
FAIL
20.87
5qbf-5cnf-80var-1280cl.4
FAIL
20.89
5qbf-5cnf-40var-1280cl.5
FAIL
20.9
ncf_16_32_8_euad.7
FAIL
20.92
2qbf-5cnf-40var-640cl.6
FAIL
20.97
2qbf-5cnf-40var-640cl.7
FAIL
20.97
ncf_4_16_4_u.10
FAIL
21
4qbf-5cnf-160var-5120cl.2
FAIL
21.02
5qbf-5cnf-20var-640cl.3
FAIL
21.02
ncf_4_16_4_d.2
FAIL
21.02
ncf_8_16_4_d.9
FAIL
21.04
4qbf-5cnf-160var-5120cl.4
FAIL
21.05
4qbf-5cnf-160var-5120cl.8
FAIL
21.06
ncf_4_16_8_euad.10
FAIL
21.07
ncf_8_16_8_d.10
FAIL
21.14
ncf_8_16_8_d.2
FAIL
21.18
ncf_16_32_2_euad.2
FAIL
21.19
ncf_16_32_8_euad.4
FAIL
21.21
4qbf-5cnf-160var-5120cl.0
FAIL
21.24
2qbf-5cnf-40var-640cl.3
FAIL
21.28
6qbf-5cnf-160var-5120cl.9
FAIL
21.31
k_t4p_p-16
FAIL
21.32
ncf_4_8_8_u.4
FAIL
21.32
ncf_16_32_8_edau.5
FAIL
21.39
ncf_4_8_8_u.7
FAIL
21.4
ncf_16_32_4_edau.4
FAIL
21.41
ncf_8_16_8_euad.10
FAIL
21.43
ncf_16_32_2_euad.5
FAIL
21.44
ncf_8_16_8_edau.7
FAIL
21.46
ncf_4_8_8_edau.6
FAIL
21.46
ncf_16_32_8_d.8
FAIL
21.47
5qbf-5cnf-80var-1280cl.6
FAIL
21.48
ncf_4_8_2_u.3
FAIL
21.52
5qbf-5cnf-80var-2560cl.2
FAIL
21.54
4qbf-5cnf-160var-5120cl.5
FAIL
21.55
5qbf-5cnf-20var-320cl.1
FAIL
21.59
5qbf-5cnf-20var-640cl.9
FAIL
21.61
ncf_16_32_4_euad.1
FAIL
21.62
ncf_16_32_8_d.9
FAIL
21.63
ncf_4_8_8_euad.10
FAIL
21.64
ncf_8_16_4_euad.10
FAIL
21.66
2qbf-5cnf-40var-640cl.2
FAIL
21.72
6qbf-5cnf-160var-5120cl.2
FAIL
21.73
5qbf-5cnf-160var-5120cl.6
FAIL
21.74
ncf_4_8_8_edau.4
FAIL
21.77
5qbf-5cnf-40var-640cl.3
FAIL
21.8
ncf_16_32_4_euad.6
FAIL
21.8
5qbf-5cnf-160var-5120cl.8
FAIL
21.81
ncf_8_16_8_euad.3
FAIL
21.82
6qbf-5cnf-80var-640cl.6
FAIL
21.82
ncf_8_16_4_u.8
FAIL
21.82
6qbf-5cnf-160var-5120cl.4
FAIL
21.92
ncf_16_32_2_u.8
FAIL
21.99
ncf_16_32_2_edau.10
FAIL
22.05
4qbf-5cnf-160var-5120cl.3
FAIL
22.09
5qbf-5cnf-160var-5120cl.7
FAIL
22.1
6qbf-5cnf-160var-2560cl.4
FAIL
22.12
ncf_4_8_8_euad.8
FAIL
22.15
k_t4p_p-20
FAIL
22.18
ncf_16_32_2_edau.8
FAIL
22.2
ncf_16_32_2_edau.5
FAIL
22.22
ncf_16_32_8_edau.10
FAIL
22.25
ncf_16_32_8_euad.2
FAIL
22.31
5qbf-5cnf-160var-5120cl.4
FAIL
22.31
6qbf-5cnf-160var-2560cl.2
FAIL
22.32
3qbf-5cnf-40var-320cl.6
FAIL
22.34
6qbf-5cnf-80var-2560cl.4
FAIL
22.35
6qbf-5cnf-80var-2560cl.8
FAIL
22.45
5qbf-5cnf-160var-5120cl.3
FAIL
22.45
4qbf-5cnf-160var-5120cl.7
FAIL
22.46
ncf_8_16_4_euad.9
FAIL
22.47
ncf_8_16_8_euad.7
FAIL
22.48
ncf_4_8_8_euad.6
FAIL
22.49
3qbf-5cnf-160var-640cl.5
FAIL
22.5
6qbf-5cnf-160var-5120cl.3
FAIL
22.53
ncf_4_16_4_d.3
FAIL
22.54
ncf_8_16_4_d.4
FAIL
22.55
5qbf-5cnf-160var-5120cl.1
FAIL
22.55
mutex-16-s
FAIL
22.59
Adder2-4-c
FAIL
22.6
3qbf-5cnf-40var-640cl.3
FAIL
22.63
ncf_4_16_8_d.5
FAIL
22.67
ncf_8_16_4_euad.6
FAIL
22.67
5qbf-5cnf-160var-5120cl.5
FAIL
22.68
5qbf-5cnf-160var-5120cl.0
FAIL
22.69
5qbf-5cnf-80var-2560cl.7
FAIL
22.7
ncf_4_16_4_d.7
FAIL
22.7
5qbf-5cnf-80var-640cl.1
FAIL
22.71
ncf_16_32_2_d.10
FAIL
22.76
5qbf-5cnf-80var-640cl.7
FAIL
22.78
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
22.79
4qbf-5cnf-160var-640cl.6
FAIL
22.84
5qbf-5cnf-80var-640cl.9
FAIL
22.9
6qbf-5cnf-40var-640cl.1
FAIL
22.92
ncf_16_32_8_d.10
FAIL
22.96
ncf_16_32_8_d.5
FAIL
23.02
ncf_16_32_4_u.4
FAIL
23.02
6qbf-5cnf-80var-1280cl.6
FAIL
23.03
ncf_4_16_8_euad.5
FAIL
23.06
eijk.S1238.S-d2
FAIL
23.06
ncf_16_32_8_euad.10
FAIL
23.08
ncf_16_32_2_d.5
FAIL
23.09
ncf_16_32_2_u.3
FAIL
23.11
x30.6
SAT
23.17
ncf_4_16_8_d.1
FAIL
23.19
ncf_16_32_8_euad.9
FAIL
23.21
ncf_4_16_4_d.4
FAIL
23.21
4qbf-5cnf-20var-160cl.2
FAIL
23.21
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
23.24
ncf_4_8_4_u.3
FAIL
23.3
5qbf-5cnf-160var-5120cl.9
FAIL
23.32
ncf_16_32_8_euad.8
FAIL
23.34
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
23.34
ncf_16_32_8_d.1
FAIL
23.39
ncf_4_16_4_u.3
FAIL
23.4
ncf_16_32_4_euad.7
FAIL
23.41
2qbf-5cnf-40var-640cl.0
FAIL
23.42
ncf_16_32_8_euad.5
FAIL
23.46
ncf_8_16_8_d.5
FAIL
23.51
4qbf-5cnf-160var-640cl.8
FAIL
23.6
ncf_16_32_4_edau.8
FAIL
23.78
ncf_8_16_8_euad.4
FAIL
23.79
ncf_4_16_2_euad.1
FAIL
23.8
5qbf-5cnf-80var-640cl.3
FAIL
23.8
ncf_16_32_2_euad.10
FAIL
23.84
ncf_4_16_8_d.3
FAIL
23.88
ncf_4_8_4_u.7
FAIL
23.96
ncf_4_16_8_d.8
FAIL
24.14
ncf_4_16_2_euad.3
FAIL
24.23
ncf_16_32_8_d.7
FAIL
24.26
5qbf-5cnf-160var-5120cl.2
FAIL
24.31
ncf_16_32_8_euad.6
FAIL
24.34
ncf_16_32_8_edau.6
FAIL
24.36
4qbf-5cnf-80var-320cl.3
FAIL
24.39
ncf_8_16_4_edau.4
FAIL
24.42
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
24.46
ncf_4_32_2_edau.6
FAIL
24.47
6qbf-5cnf-160var-2560cl.7
FAIL
24.53
ncf_16_32_8_d.2
FAIL
24.55
ncf_4_16_2_d.1
FAIL
24.57
ncf_8_16_8_euad.5
FAIL
24.58
ncf_16_32_4_d.2
FAIL
24.65
adder-16-sat
FAIL
24.72
ncf_16_32_2_edau.1
FAIL
24.88
ncf_8_16_4_u.6
FAIL
24.91
ncf_8_16_8_edau.3
FAIL
24.93
ncf_4_16_2_u.1
FAIL
24.98
counter_re_8
SAT
24.99
6qbf-5cnf-40var-640cl.9
FAIL
25.08
ev-pr-8x8-5-7-0-1-2-lg
FAIL
25.13
6qbf-5cnf-40var-320cl.0
FAIL
25.24
2qbf-5cnf-40var-640cl.9
FAIL
25.27
ncf_4_8_4_euad.7
FAIL
25.36
ncf_4_16_8_euad.2
FAIL
25.55
ncf_4_16_4_edau.2
FAIL
25.61
ncf_8_16_8_d.3
FAIL
25.62
ncf_4_16_8_u.10
FAIL
25.64
6qbf-5cnf-80var-640cl.5
FAIL
25.71
ncf_16_32_8_euad.1
FAIL
25.95
ncf_4_16_8_d.2
FAIL
26.03
adder-6-unsat
FAIL
26.08
k_t4p_p-21
FAIL
26.11
ncf_4_16_2_u.10
FAIL
26.17
ncf_16_32_4_d.8
FAIL
26.21
ncf_4_16_8_euad.3
FAIL
26.34
3qbf-5cnf-40var-320cl.0
FAIL
26.35
x30.8
UNSAT
26.35
sortnetsort8.AE.stepl.003
FAIL
26.37
ncf_16_32_4_edau.5
FAIL
26.5
3qbf-5cnf-40var-640cl.0
FAIL
26.52
4qbf-5cnf-20var-160cl.6
FAIL
26.56
ncf_4_16_8_euad.8
FAIL
26.65
x30.2
UNSAT
26.77
2qbf-5cnf-160var-5120cl.5
FAIL
26.88
ncf_4_8_4_euad.4
FAIL
27
ncf_8_16_8_edau.8
FAIL
27.09
4qbf-5cnf-80var-2560cl.9
FAIL
27.11
counter_r_8
SAT
27.12
adder-12-sat
FAIL
27.14
2qbf-5cnf-160var-5120cl.9
FAIL
27.22
2qbf-5cnf-40var-160cl.9
FAIL
27.29
6qbf-5cnf-40var-320cl.3
FAIL
27.33
2qbf-5cnf-160var-5120cl.4
FAIL
27.47
2qbf-5cnf-40var-160cl.0
FAIL
27.49
ncf_4_16_2_u.3
FAIL
27.5
4qbf-5cnf-40var-320cl.2
FAIL
27.71
4qbf-5cnf-20var-160cl.9
FAIL
27.9
ncf_16_32_2_d.8
FAIL
27.92
nusmv.reactor^7.C-f2
FAIL
27.97
ncf_4_16_2_edau.10
FAIL
28.14
2qbf-5cnf-160var-5120cl.8
FAIL
28.34
2qbf-5cnf-160var-5120cl.1
FAIL
28.35
x30.9
UNSAT
28.48
ncf_8_16_8_euad.8
FAIL
28.59
2qbf-5cnf-160var-320cl.8
FAIL
28.67
ncf_4_16_8_d.4
FAIL
28.7
ncf_8_16_8_d.8
FAIL
29.14
2qbf-5cnf-40var-160cl.5
FAIL
29.27
ncf_4_8_8_euad.2
FAIL
29.33
4qbf-5cnf-80var-2560cl.7
FAIL
29.34
2qbf-5cnf-160var-5120cl.2
FAIL
29.35
2qbf-5cnf-160var-5120cl.6
FAIL
29.38
ncf_4_16_2_euad.10
FAIL
29.4
2qbf-5cnf-40var-160cl.8
FAIL
29.4
2qbf-5cnf-160var-5120cl.7
FAIL
29.44
4qbf-5cnf-40var-640cl.4
FAIL
29.58
2qbf-5cnf-160var-5120cl.3
FAIL
29.79
2qbf-5cnf-160var-5120cl.0
FAIL
29.85
ncf_4_16_2_u.8
FAIL
29.87
k_t4p_n-20
FAIL
30.3
6qbf-5cnf-80var-640cl.3
FAIL
30.36
k_t4p_n-21
FAIL
30.42
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
30.53
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
30.58
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
30.65
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
30.68
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
30.76
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
30.79
ncf_4_16_2_euad.8
FAIL
30.84
ncf_4_8_4_u.1
FAIL
30.88
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
30.99
ncf_16_32_8_d.3
FAIL
31.06
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
31.12
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
31.16
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
31.38
4qbf-5cnf-20var-320cl.5
FAIL
31.56
k_t4p_p-12
FAIL
31.57
toilet_a_10_01.16
UNSAT
31.77
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
31.8
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
31.8
test5_quant5
FAIL
31.84
k_t4p_n-8
FAIL
31.89
4qbf-5cnf-20var-320cl.4
FAIL
32.05
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
32.13
ncf_4_8_8_u.5
FAIL
32.15
ncf_4_16_8_euad.4
FAIL
32.17
4qbf-5cnf-80var-2560cl.1
FAIL
32.47
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
32.55
ncf_8_16_8_d.6
FAIL
32.63
ncf_4_16_2_d.8
FAIL
32.75
3qbf-5cnf-80var-320cl.1
FAIL
32.86
4qbf-5cnf-40var-640cl.7
FAIL
32.91
6qbf-5cnf-80var-640cl.1
FAIL
33.01
ncf_16_32_2_u.7
UNSAT
33.03
sortnetsort9.v.stepl.005
UNSAT
33.04
sortnetsort8.AE.stepl.004
FAIL
33.22
5qbf-5cnf-160var-2560cl.1
FAIL
33.57
ncf_8_16_8_d.7
FAIL
33.69
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
33.88
ncf_8_16_4_edau.9
FAIL
34.07
sortnetsort9.AE.stepl.004
FAIL
34.09
connect_5x4_4_R
FAIL
34.15
5qbf-5cnf-80var-640cl.0
FAIL
34.23
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
34.29
robots_1_5_3_2.4
FAIL
34.31
ncf_16_32_4_euad.5
FAIL
34.32
ncf_4_8_4_u.4
FAIL
34.35
Adder2-6-s
SAT
34.59
connect_5x4_3_R
FAIL
34.68
5qbf-5cnf-40var-320cl.8
FAIL
34.81
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
34.91
3qbf-5cnf-20var-160cl.3
FAIL
35
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
35.42
robots_1_5_3_57.4
FAIL
35.63
3qbf-5cnf-20var-320cl.8
FAIL
35.76
robots_1_5_5_26.4
FAIL
35.79
2qbf-5cnf-40var-160cl.3
FAIL
35.81
6qbf-5cnf-80var-1280cl.1
FAIL
35.82
robots_1_5_5_66.4
FAIL
36
sortnetsort7.AE.stepl.004
FAIL
36.09
sortnetsort7.AE.stepl.008
FAIL
36.28
szymanski-8-s
FAIL
36.58
4qbf-5cnf-160var-640cl.1
FAIL
36.64
3qbf-5cnf-20var-320cl.9
FAIL
36.7
ncf_4_16_2_d.10
FAIL
36.72
5qbf-5cnf-20var-320cl.4
FAIL
36.97
robots_1_5_3_24.4
FAIL
36.98
sortnetsort7.AE.stepl.006
FAIL
37.03
3qbf-5cnf-40var-320cl.3
FAIL
37.09
3qbf-5cnf-80var-2560cl.7
FAIL
37.22
6qbf-5cnf-20var-160cl.1
FAIL
37.64
3qbf-5cnf-160var-640cl.2
FAIL
37.67
robots_1_5_3_52.4
FAIL
37.69
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
37.76
4qbf-5cnf-80var-2560cl.2
FAIL
37.8
5qbf-5cnf-40var-320cl.6
FAIL
37.81
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
37.84
robots_1_5_2_3.4
FAIL
38.2
6qbf-5cnf-80var-640cl.9
FAIL
38.33
adder-6-sat
SAT
38.51
3qbf-5cnf-80var-320cl.0
FAIL
38.52
robots_1_5_3_66.4
FAIL
38.54
6qbf-5cnf-20var-320cl.7
FAIL
38.67
robots_1_5_2_85.4
FAIL
38.72
x30.5
UNSAT
38.76
2qbf-5cnf-160var-320cl.2
SAT
38.78
4qbf-5cnf-160var-640cl.2
FAIL
39
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
39.09
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
39.15
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
39.22
sortnetsort7.AE.stepl.009
FAIL
39.33
ncf_16_32_2_edau.3
FAIL
39.67
ncf_16_32_2_d.3
FAIL
39.96
x115.4
FAIL
40.05
sortnetsort10.v.stepl.009
SAT
40.21
ncf_4_8_8_euad.1
SAT
40.58
5qbf-5cnf-40var-320cl.3
FAIL
40.76
x50.7
FAIL
41.23
4qbf-5cnf-40var-320cl.3
FAIL
41.56
6qbf-5cnf-20var-160cl.3
FAIL
41.64
5qbf-5cnf-40var-320cl.5
FAIL
41.68
nusmv.reactor^2.C-f2
FAIL
41.73
nusmv.reactor^3.C-f2
FAIL
41.83
x115.6
FAIL
42.07
4qbf-5cnf-40var-640cl.6
FAIL
42.32
robots_1_5_2_2.4
FAIL
42.33
sortnetsort6.AE.stepl.004
FAIL
42.34
ncf_4_32_2_u.1
FAIL
42.61
x110.9
FAIL
42.66
robots_1_5_2_82.4
FAIL
42.73
x70.3
FAIL
43.06
counter_e_8
SAT
43.07
x120.3
FAIL
43.61
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
43.65
sortnetsort7.AE.stepl.007
FAIL
43.71
x50.9
FAIL
43.79
3qbf-5cnf-160var-640cl.8
FAIL
43.82
x55.5
FAIL
43.89
sortnetsort7.AE.stepl.005
FAIL
43.89
3qbf-5cnf-160var-640cl.0
FAIL
44.1
x115.1
FAIL
44.2
x70.9
FAIL
44.37
sortnetsort10.AE.stepl.004
FAIL
44.4
robots_1_5_2_80.4
FAIL
44.55
x70.2
FAIL
44.55
sortnetsort10.AE.stepl.005
FAIL
44.58
4qbf-5cnf-160var-640cl.7
FAIL
44.61
robots_1_5_3_16.4
FAIL
44.69
5qbf-5cnf-80var-640cl.2
FAIL
44.71
4qbf-5cnf-80var-320cl.9
FAIL
44.74
robots_1_5_3_100.4
FAIL
45.21
x50.8
FAIL
45.29
robots_1_5_2_99.4
FAIL
45.49
5qbf-5cnf-20var-640cl.2
FAIL
45.58
x110.3
FAIL
45.66
x120.8
FAIL
45.66
x120.1
FAIL
45.69
x70.0
FAIL
45.7
x120.2
FAIL
45.81
3qbf-5cnf-40var-320cl.1
FAIL
45.88
x50.4
FAIL
45.95
x120.4
FAIL
46.13
robots_1_5_2_21.4
FAIL
46.17
x75.6
FAIL
46.18
x70.6
FAIL
46.21
6qbf-5cnf-80var-640cl.0
FAIL
46.31
x50.5
FAIL
46.41
x110.4
FAIL
46.52
x115.0
FAIL
46.59
robots_1_5_2_39.4
FAIL
46.6
sortnetsort9.AE.stepl.005
FAIL
46.61
adder-10-sat
FAIL
46.7
robots_1_5_2_45.4
FAIL
46.72
6qbf-5cnf-40var-320cl.9
FAIL
46.91
x115.5
FAIL
47.04
x110.8
FAIL
47.07
sortnetsort10.AE.stepl.008
FAIL
47.19
test5_quant7
FAIL
47.44
x110.5
FAIL
47.45
robots_1_5_2_100.4
FAIL
47.48
x120.5
FAIL
47.53
x70.7
FAIL
47.64
x110.2
FAIL
47.74
4qbf-5cnf-80var-2560cl.0
FAIL
47.91
x75.9
FAIL
47.91
eijk.bs1512.S-d2
FAIL
47.94
sortnetsort5.AE.stepl.006
FAIL
48.01
x50.1
FAIL
48.04
x110.7
FAIL
48.2
x120.6
FAIL
48.32
x50.0
FAIL
48.56
ncf_4_8_8_euad.4
FAIL
48.62
x75.2
FAIL
48.74
x80.0
FAIL
48.82
4qbf-5cnf-20var-160cl.7
FAIL
48.87
x115.7
FAIL
48.97
x125.2
FAIL
49.03
x75.7
FAIL
49.06
x125.8
FAIL
49.11
sortnetsort6.AE.stepl.005
FAIL
49.25
sortnetsort10.AE.stepl.009
FAIL
49.34
x40.2
FAIL
49.39
robots_1_5_4_100.4
FAIL
49.83
sortnetsort8.AE.stepl.005
FAIL
49.83
x115.9
FAIL
49.87
x75.4
FAIL
49.88
x130.0
FAIL
49.96
robots_1_5_4_50.4
FAIL
50.1
x125.7
FAIL
50.21
robots_1_5_4_31.4
FAIL
50.45
robots_1_5_4_30.4
FAIL
50.49
x70.5
FAIL
50.57
2qbf-5cnf-160var-320cl.1
FAIL
50.75
sortnetsort9.AE.stepl.010
FAIL
50.93
sortnetsort8.AE.stepl.006
FAIL
51.03
x120.7
FAIL
51.05
x120.0
FAIL
51.06
x80.9
FAIL
51.11
x115.3
FAIL
51.23
1qbf-5cnf-160var-2560cl.5
SAT
51.25
x125.1
FAIL
51.26
x130.2
FAIL
51.37
x80.4
FAIL
51.37
x55.1
FAIL
51.39
x130.6
FAIL
51.55
x125.9
FAIL
51.62
robots_1_5_5_87.4
FAIL
51.8
x55.2
FAIL
51.81
sortnetsort5.AE.stepl.005
FAIL
51.81
x125.5
FAIL
51.87
x115.2
FAIL
52.15
x115.8
FAIL
52.15
x85.5
FAIL
52.21
6qbf-5cnf-20var-160cl.7
FAIL
52.22
nusmv.reactor^6.C-f2
FAIL
52.24
sortnetsort6.AE.stepl.006
FAIL
52.25
sortnetsort9.AE.stepl.006
FAIL
52.27
ncf_4_8_8_d.2
FAIL
52.28
sortnetsort9.AE.stepl.012
FAIL
52.31
x130.5
FAIL
52.34
sortnetsort5.AE.stepl.004
FAIL
52.43
x350.5
FAIL
52.51
adder-14-sat
FAIL
52.53
x75.3
FAIL
52.57
x60.0
FAIL
52.64
x60.1
FAIL
52.76
x130.1
FAIL
52.83
5qbf-5cnf-40var-320cl.4
FAIL
52.89
x135.3
FAIL
53.11
x85.6
FAIL
53.5
x130.9
FAIL
53.7
x130.8
FAIL
53.73
x125.0
FAIL
53.79
3qbf-5cnf-160var-640cl.9
FAIL
54.09
x120.9
FAIL
54.15
x75.8
FAIL
54.22
x70.8
FAIL
54.33
4qbf-5cnf-80var-2560cl.4
FAIL
54.35
x70.4
FAIL
54.39
sortnetsort10.v.stepl.012
SAT
54.58
3qbf-5cnf-20var-320cl.6
FAIL
54.79
x55.9
FAIL
54.84
x110.6
FAIL
55.1
x130.4
FAIL
55.2
x135.0
FAIL
55.2
sortnetsort5.AE.stepl.003
FAIL
55.23
x60.2
FAIL
55.24
x60.6
FAIL
55.29
x125.6
FAIL
55.33
s820_d2_s
SAT
55.6
5qbf-5cnf-40var-320cl.0
FAIL
55.61
x40.7
FAIL
55.96
x45.3
FAIL
55.96
x130.3
FAIL
56.04
x125.3
FAIL
56.05
x400.6
FAIL
56.2
x135.1
FAIL
56.34
4qbf-5cnf-20var-160cl.3
FAIL
56.54
ncf_16_32_8_d.6
FAIL
56.54
x125.4
FAIL
56.58
x135.7
FAIL
56.76
x135.9
FAIL
56.76
x60.5
FAIL
56.77
x60.9
FAIL
56.96
x135.4
FAIL
56.97
x45.7
FAIL
57.11
x60.7
FAIL
57.12
x30.0
UNSAT
57.23
x60.8
FAIL
57.25
sortnetsort10.AE.stepl.006
FAIL
57.52
x55.7
FAIL
57.62
cmu.dme2.B-f2
FAIL
57.7
x55.6
FAIL
58.06
x135.6
FAIL
58.15
x80.7
FAIL
58.36
x70.1
FAIL
58.46
x80.1
FAIL
58.66
x60.4
FAIL
58.72
x55.4
FAIL
58.76
x85.2
FAIL
58.77
x140.8
FAIL
58.79
S-adeu-3
FAIL
58.91
3qbf-5cnf-40var-320cl.5
FAIL
58.97
x45.1
FAIL
59
x80.6
FAIL
59.12
sortnetsort10.v.stepl.010
SAT
59.53
x135.8
FAIL
59.58
x85.4
FAIL
59.58
x85.8
FAIL
59.58
x85.9
FAIL
59.6
x140.9
FAIL
59.66
x75.5
FAIL
59.76
sortnetsort8.AE.stepl.009
FAIL
59.78
x85.7
FAIL
59.87
x60.3
FAIL
59.95
4qbf-5cnf-40var-640cl.2
FAIL
60.35
x30.7
UNSAT
60.4
x80.2
FAIL
60.61
x135.5
FAIL
60.66
S-adeu-8
FAIL
60.87
x140.5
FAIL
60.97
x140.2
FAIL
61.03
x135.2
FAIL
61.07
3qbf-5cnf-80var-320cl.6
FAIL
61.15
x80.5
FAIL
61.18
texas.PI_main^14.E-f2
FAIL
61.24
x95.3
FAIL
61.41
x75.0
FAIL
61.56
x140.3
FAIL
61.78
sortnetsort10.AE.stepl.012
FAIL
61.79
x140.1
FAIL
61.8
x80.3
FAIL
61.91
x90.5
FAIL
61.91
x95.0
FAIL
61.97
sortnetsort8.AE.stepl.007
FAIL
62.02
ncf_8_16_8_euad.6
FAIL
62.08
x65.0
FAIL
62.08
x90.6
FAIL
62.08
S-adeu-6
FAIL
62.08
4qbf-5cnf-80var-320cl.7
FAIL
62.13
sortnetsort9.AE.stepl.008
FAIL
62.25
x65.9
FAIL
62.36
x140.0
FAIL
62.57
x50.2
FAIL
62.66
x75.1
FAIL
62.72
k_t4p_n-12
FAIL
62.74
sortnetsort9.AE.stepl.011
FAIL
62.76
ncf_4_32_2_u.9
FAIL
63.01
x95.7
FAIL
63.08
x350.4
FAIL
63.09
x95.5
FAIL
63.12
sortnetsort10.v.stepl.011
SAT
63.19
robots_1_5_3_44.4
FAIL
63.39
eijk.S832.S-f2
FAIL
63.54
x65.5
FAIL
63.57
x140.7
FAIL
63.78
T-edau-4
FAIL
63.8
5qbf-5cnf-40var-320cl.9
FAIL
63.84
x90.7
FAIL
64.06
x55.0
FAIL
64.25
x45.4
FAIL
64.28
x85.1
FAIL
64.33
x40.4
FAIL
64.39
S-adeu-0
FAIL
64.48
x350.0
FAIL
64.52
sortnetsort10.AE.stepl.007
FAIL
64.52
3qbf-5cnf-20var-160cl.2
FAIL
64.6
sortnetsort10.AE.stepl.010
FAIL
64.73
T-adeu-4
FAIL
64.79
x180.5
FAIL
64.99
x65.7
FAIL
65.14
sortnetsort6.AE.stepl.007
FAIL
65.17
x90.4
FAIL
65.34
eijk.S444.S-f2
FAIL
65.34
x45.6
FAIL
65.36
x90.2
FAIL
65.56
x350.9
FAIL
65.62
eijk.S382.S-f2
FAIL
65.89
4qbf-5cnf-80var-320cl.8
FAIL
65.9
x100.0
FAIL
65.92
x100.6
FAIL
65.94
3qbf-5cnf-20var-320cl.5
FAIL
66.21
x350.2
FAIL
66.23
x145.6
FAIL
66.34
x140.6
FAIL
66.37
x90.3
FAIL
66.42
x100.1
FAIL
66.53
x90.8
FAIL
67.06
x95.6
FAIL
67.12
x145.7
FAIL
67.14
x145.9
FAIL
67.18
x100.4
FAIL
67.22
x130.7
FAIL
67.24
connect_6x5_5_R
FAIL
67.29
S-adeu-9
FAIL
67.31
S-adeu-5
FAIL
67.47
x50.3
FAIL
67.49
x90.1
FAIL
67.68
x65.6
FAIL
67.98
x100.2
FAIL
68.03
x85.3
FAIL
68.03
S-edau-4
FAIL
68.03
x145.2
FAIL
68.12
S-adeu-4
FAIL
68.19
x190.1
FAIL
68.31
S-edau-7
FAIL
68.31
S-adeu-2
FAIL
68.47
x90.9
FAIL
68.5
2qbf-5cnf-40var-320cl.3
FAIL
68.51
4qbf-5cnf-20var-160cl.5
FAIL
68.66
x400.0
FAIL
68.71
T-edau-6
FAIL
68.72
6qbf-5cnf-20var-320cl.5
FAIL
68.88
S-edau-2
FAIL
68.94
x90.0
FAIL
68.99
x95.9
FAIL
69.22
x400.4
FAIL
69.47
x180.7
FAIL
69.68
T-adeu-6
FAIL
69.75
T-edau-7
FAIL
69.79
x180.3
FAIL
69.86
sortnetsort9.AE.stepl.009
FAIL
69.96
T-adeu-2
FAIL
70.02
x350.3
FAIL
70.09
x100.8
FAIL
70.11
x95.4
FAIL
70.44
x140.4
FAIL
70.8
x145.3
FAIL
70.95
x40.3
FAIL
71.15
x400.2
FAIL
71.32
sortnetsort8.AE.stepl.008
FAIL
71.41
x150.6
FAIL
71.5
x145.4
FAIL
71.72
x185.1
FAIL
71.74
x95.8
FAIL
71.74
x180.4
FAIL
71.79
4qbf-5cnf-20var-160cl.0
FAIL
72.08
S-edau-9
FAIL
72.17
x150.4
FAIL
72.2
x180.2
FAIL
72.28
irst.dme5.B-f2
FAIL
72.61
x190.0
FAIL
72.68
x185.9
FAIL
72.76
x95.1
FAIL
72.77
x35.0
FAIL
72.84
x45.8
FAIL
72.9
x155.5
FAIL
72.91
x40.1
FAIL
72.99
T-edau-1
FAIL
73
x100.9
FAIL
73.04
x35.1
FAIL
73.07
x105.2
FAIL
73.08
x185.5
FAIL
73.11
x150.8
FAIL
73.15
x150.5
FAIL
73.16
S-edau-1
FAIL
73.19
x65.4
FAIL
73.27
S-adeu-7
FAIL
73.39
S-edau-6
FAIL
73.62
x145.5
FAIL
73.77
S-adeu-1
FAIL
73.81
T-adeu-7
FAIL
73.85
T-edau-2
FAIL
73.85
x105.7
FAIL
73.88
x195.0
FAIL
73.89
x150.7
FAIL
73.95
x180.0
FAIL
74.16
x100.3
FAIL
74.4
x150.2
FAIL
74.44
x190.4
FAIL
74.5
x145.0
FAIL
74.56
x185.4
FAIL
74.65
test5_quant_squaring5
FAIL
74.75
T-adeu-8
FAIL
74.99
x195.9
FAIL
75.16
x100.7
FAIL
75.24
x95.2
FAIL
75.25
T-edau-0
FAIL
75.3
x45.9
FAIL
75.31
x105.0
FAIL
75.34
x85.0
FAIL
75.38
x150.1
FAIL
75.45
T-edau-8
FAIL
75.49
x185.0
FAIL
75.72
S-edau-5
FAIL
76.02
x150.9
FAIL
76.05
x190.5
FAIL
76.07
x185.3
FAIL
76.17
x45.5
FAIL
76.21
x65.8
FAIL
76.25
x40.6
FAIL
76.39
x190.9
FAIL
76.52
T-edau-3
FAIL
76.53
x40.5
FAIL
76.6
x205.5
FAIL
76.62
x195.6
FAIL
76.63
x185.7
FAIL
76.64
3qbf-5cnf-20var-160cl.6
FAIL
76.66
sortnetsort6.AE.stepl.003
FAIL
76.84
x30.3
SAT
76.92
x350.7
FAIL
76.94
T-adeu-1
FAIL
77.02
T-adeu-0
FAIL
77.05
x65.3
FAIL
77.19
x145.8
FAIL
77.29
x195.5
FAIL
77.33
4qbf-5cnf-80var-320cl.1
FAIL
77.41
x190.2
FAIL
77.65
x105.6
FAIL
77.79
x195.1
FAIL
77.79
x155.2
FAIL
78.07
x190.8
FAIL
78.14
x55.3
FAIL
78.19
x105.8
FAIL
78.27
S-edau-0
FAIL
78.36
x150.3
FAIL
78.39
x190.7
FAIL
78.41
x155.3
FAIL
78.68
x185.6
FAIL
78.7
x400.9
FAIL
78.79
x65.1
FAIL
78.81
T-edau-5
FAIL
78.9
S-edau-8
FAIL
79.03
x170.4
FAIL
79.26
x185.8
FAIL
79.35
x160.5
FAIL
79.75
test5_quant_squaring4
FAIL
79.8
x155.6
FAIL
80.06
x100.5
FAIL
80.1
robots_1_5_4_46.4
FAIL
80.55
x155.7
FAIL
80.61
eijk.S820.S-f2
FAIL
80.62
x105.1
FAIL
80.64
robots_1_5_4_98.4
FAIL
80.69
x195.8
FAIL
80.72
x195.4
FAIL
80.75
x110.0
FAIL
80.93
x155.9
FAIL
81.28
nusmv.reactor^5.C-f2
FAIL
81.34
x195.3
FAIL
81.39
x155.8
FAIL
81.45
x55.8
FAIL
81.53
x145.1
FAIL
81.58
robots_1_5_5_30.4
FAIL
81.62
x45.2
FAIL
81.62
x160.9
FAIL
81.81
robots_1_5_4_91.4
FAIL
82
robots_1_5_5_45.4
FAIL
82.09
x190.6
FAIL
82.09
x400.8
FAIL
82.14
x160.3
FAIL
82.21
x65.2
FAIL
82.3
x200.6
FAIL
82.34
x150.0
FAIL
82.54
x105.5
FAIL
82.56
x40.8
FAIL
82.69
x190.3
FAIL
82.79
x195.2
FAIL
82.92
x165.1
FAIL
82.96
x165.5
FAIL
83.04
3qbf-5cnf-20var-320cl.0
FAIL
83.11
x200.0
FAIL
83.26
robots_1_5_4_87.4
FAIL
83.33
x155.1
FAIL
83.45
test3_quant4
FAIL
83.71
S-edau-3
FAIL
83.89
6qbf-5cnf-80var-640cl.2
FAIL
83.99
x105.4
FAIL
84.11
x210.6
FAIL
84.14
x160.0
FAIL
84.57
x220.9
FAIL
84.59
x155.4
FAIL
84.66
robots_1_5_4_2.4
FAIL
85.07
robots_1_5_3_20.4
FAIL
85.09
4qbf-5cnf-40var-320cl.1
FAIL
85.22
x205.2
FAIL
85.46
x205.9
FAIL
85.48
x155.0
FAIL
85.61
x105.9
FAIL
85.69
4qbf-5cnf-40var-320cl.6
FAIL
85.7
x200.8
FAIL
85.71
x80.8
FAIL
86
x50.6
FAIL
86.04
x200.7
FAIL
86.07
4qbf-5cnf-20var-320cl.3
FAIL
86.11
x160.4
FAIL
86.81
robots_1_5_4_51.4
FAIL
86.93
x210.9
FAIL
87.22
robots_1_5_3_78.4
FAIL
87.26
x160.6
FAIL
87.31
x200.5
FAIL
87.74
sortnetsort10.v.stepl.005
UNSAT
87.74
robots_1_5_5_34.4
FAIL
88.09
x205.7
FAIL
88.23
x245.2
FAIL
88.26
x160.2
FAIL
88.34
x165.3
FAIL
88.49
x170.9
FAIL
88.57
robots_1_5_5_100.4
FAIL
88.73
x205.3
FAIL
88.79
x165.4
FAIL
88.89
robots_1_5_5_12.4
FAIL
89.04
x200.9
FAIL
89.05
x165.6
FAIL
89.06
robots_1_5_5_8.4
FAIL
89.07
x400.5
FAIL
89.25
x165.2
FAIL
89.45
T-adeu-3
FAIL
89.48
x195.7
FAIL
89.7
robots_1_5_5_93.4
FAIL
89.83
x200.4
FAIL
89.87
x210.5
FAIL
89.91
x400.1
FAIL
90.25
x350.8
FAIL
90.27
x165.7
FAIL
90.39
x160.8
FAIL
90.52
x170.8
FAIL
90.66
x160.1
FAIL
90.76
x105.3
FAIL
90.79
4qbf-5cnf-80var-320cl.2
FAIL
90.82
x400.7
FAIL
90.9
x175.2
FAIL
90.91
x200.3
FAIL
91
6qbf-5cnf-20var-160cl.4
FAIL
91.26
x165.9
FAIL
92.08
x215.6
FAIL
92.27
x210.8
FAIL
92.51
x40.0
FAIL
92.75
x170.7
FAIL
92.85
x215.5
FAIL
92.87
x350.6
FAIL
93.02
x40.9
FAIL
93.14
x205.4
FAIL
93.18
x210.7
FAIL
93.25
x205.0
FAIL
94.24
x205.8
FAIL
94.34
x205.1
FAIL
94.41
x200.2
FAIL
94.58
x245.0
FAIL
94.91
x165.0
FAIL
95.04
x165.8
FAIL
95.12
ncf_4_8_8_euad.5
FAIL
95.2
x215.2
FAIL
95.29
x235.4
FAIL
95.3
x350.1
FAIL
95.53
T-edau-9
FAIL
95.8
x220.4
FAIL
95.84
x215.3
FAIL
95.89
3qbf-5cnf-20var-160cl.1
FAIL
95.94
sortnetsort9.AE.stepl.007
FAIL
95.96
x220.2
FAIL
95.97
x170.1
FAIL
96.14
x220.0
FAIL
96.18
x45.0
FAIL
96.3
x215.0
FAIL
96.74
5qbf-5cnf-20var-640cl.4
FAIL
96.78
x170.6
FAIL
97.12
x210.2
FAIL
97.21
x220.7
FAIL
97.35
x210.3
FAIL
97.5
x210.4
FAIL
97.62
x220.1
FAIL
98
x400.3
FAIL
98.39
x225.2
FAIL
98.67
x215.8
FAIL
98.85
x170.0
FAIL
99.01
x35.4
FAIL
99.04
x215.4
FAIL
99.58
x220.8
FAIL
99.69
x230.4
FAIL
99.8
x220.6
FAIL
99.81
x170.3
FAIL
99.91
x215.7
FAIL
99.95
x210.0
FAIL
100.03
x220.5
FAIL
100.05
T-adeu-9
FAIL
100.36
x245.4
FAIL
101.21
x215.9
FAIL
101.98
x185.2
FAIL
102.4
x225.3
FAIL
102.56
x235.3
FAIL
102.59
x110.1
FAIL
102.61
x210.1
FAIL
102.71
x240.5
FAIL
103.02
x225.8
FAIL
103.24
x215.1
FAIL
103.34
x300.8
FAIL
103.49
x160.7
FAIL
103.62
x225.7
FAIL
103.7
sortnetsort5.AE.stepl.007
FAIL
104.26
x250.6
FAIL
104.38
x300.1
FAIL
104.38
sortnetsort7.AE.stepl.003
FAIL
104.4
x235.2
FAIL
104.6
x175.1
FAIL
104.72
x230.1
FAIL
104.73
x230.0
FAIL
104.75
x230.2
FAIL
104.92
x225.4
FAIL
104.94
x170.2
FAIL
105.15
x225.6
FAIL
105.72
x240.0
FAIL
105.87
x235.8
FAIL
105.94
texas.PI_main^11.E-f2
FAIL
106.21
x230.5
FAIL
106.31
x245.6
FAIL
106.4
x225.0
FAIL
106.51
3qbf-5cnf-160var-640cl.3
FAIL
106.67
x175.7
FAIL
107.69
x225.5
FAIL
107.82
x240.6
FAIL
107.92
x250.8
FAIL
108.33
x235.1
FAIL
108.37
x245.9
FAIL
108.67
x230.3
FAIL
109.21
x250.9
FAIL
109.59
x175.6
FAIL
109.64
x230.7
FAIL
109.93
x245.1
FAIL
110.07
x170.5
FAIL
110.14
x240.4
FAIL
110.16
x250.4
FAIL
110.37
x240.7
FAIL
110.7
x240.3
FAIL
111.03
x235.0
FAIL
111.37
x230.9
FAIL
111.38
T-adeu-5
FAIL
111.77
x245.3
FAIL
112.31
2qbf-5cnf-40var-160cl.4
FAIL
112.39
x230.8
FAIL
112.98
x235.7
FAIL
113.53
x235.5
FAIL
113.97
x245.5
FAIL
114.46
x245.7
FAIL
115.07
x235.9
FAIL
115.47
x245.8
FAIL
115.62
irst.dme4.B-f2
FAIL
116.23
s298_d4_s
SAT
116.79
x175.4
FAIL
117.08
x240.9
FAIL
117.13
x175.3
FAIL
117.56
3qbf-5cnf-40var-320cl.7
FAIL
117.96
x35.7
FAIL
118.06
x35.2
SAT
118.13
x250.2
FAIL
118.67
x175.5
FAIL
118.8
x250.0
FAIL
119.07
x235.6
FAIL
119.19
x240.1
FAIL
119.95
x250.5
FAIL
120.5
x300.9
FAIL
120.54
x230.6
FAIL
120.96
4qbf-5cnf-80var-320cl.5
FAIL
121.34
x300.6
FAIL
121.36
3qbf-5cnf-20var-320cl.7
FAIL
122.06
x240.2
FAIL
122.3
x250.1
FAIL
123.89
3qbf-5cnf-20var-160cl.9
FAIL
124.3
x250.3
FAIL
124.65
x180.1
FAIL
127.08
x240.8
FAIL
128.27
x250.7
FAIL
128.44
x200.1
FAIL
128.87
x175.8
FAIL
129.08
x175.9
FAIL
130.71
x300.0
FAIL
131.07
x300.3
FAIL
131.47
x180.9
FAIL
131.88
sortnetsort10.AE.stepl.011
FAIL
133.27
x35.9
FAIL
134.99
x35.8
SAT
136.17
x175.0
FAIL
136.68
x35.5
UNSAT
138.81
x300.5
FAIL
139.79
eijk.S386.S-f2
FAIL
140.3
x180.8
FAIL
140.72
x35.3
FAIL
141.59
x300.2
FAIL
143.48
vis.elevator^2.E-f2
FAIL
144.03
x300.7
FAIL
144.81
s499_d4_s
SAT
147.28
eijk.S510.S-f2
FAIL
148.19
C880.blif_0.10_1.00_0_1_out_exact
FAIL
149.09
x205.6
FAIL
149.42
3qbf-5cnf-80var-320cl.7
FAIL
149.44
4qbf-5cnf-20var-160cl.1
FAIL
149.49
x300.4
FAIL
151.53
x220.3
FAIL
151.58
ken.oop^2.C-f2
FAIL
153.08
texas.PI_main^02.E-f2
FAIL
153.76
x225.1
FAIL
154.6
x180.6
FAIL
155.19
cmu.dme1.B-f2
FAIL
159.35
x225.9
FAIL
160.9
3qbf-5cnf-80var-320cl.8
FAIL
164.11
eijk.S641.S-f2
FAIL
167.7
eijk.S344.S-f2
FAIL
167.86
eijk.S713.S-f2
FAIL
171.42
4qbf-5cnf-20var-160cl.4
FAIL
172.66
eijk.S953.S-f2
FAIL
173.01
texas.ifetch1^7.E-f2
FAIL
173.69
6qbf-5cnf-20var-160cl.2
FAIL
174.68
5qbf-5cnf-40var-320cl.1
FAIL
178.25
1qbf-5cnf-160var-2560cl.0
SAT
180.23
4qbf-5cnf-80var-320cl.6
FAIL
185.38
ncf_4_8_8_d.4
FAIL
188.53
ev-pr-4x4-11-3-0-0-1-lg
FAIL
192.76
eijk.S838.S-f2
FAIL
195.41
eijk.S526.S-f2
FAIL
204.44
ev-pr-8x8-9-7-0-1-2-lg
FAIL
206.7
1qbf-5cnf-160var-2560cl.8
SAT
209.42
x35.6
UNSAT
211.25
6qbf-5cnf-20var-160cl.9
FAIL
212.38
s713_d2_s
SAT
213.48
texas.ifetch1^1.E-f2
FAIL
219.6
eijk.bs1512.S-f2
FAIL
228.74
4qbf-5cnf-80var-320cl.4
FAIL
231.74
ncf_4_16_2_u.7
SAT
232.99
eijk.S420.S-f2
FAIL
239.32
cmu.gigamax.B-f2
FAIL
239.45
eijk.S349.S-f2
FAIL
239.78
ev-pr-6x6-7-5-0-1-2-lg
FAIL
246.15
3qbf-5cnf-20var-160cl.8
FAIL
246.54
nusmv.brp.B-f2
FAIL
250.52
ncf_4_32_2_edau.2
SAT
253.13
irst.dme6.B-f2
FAIL
259.12
ev-pr-8x8-11-7-0-1-2-lg
FAIL
262.36
nusmv.dme1-16.B-d2
FAIL
262.56
ev-pr-6x6-9-5-0-1-2-lg
FAIL
270.72
ev-pr-4x4-13-3-0-0-1-lg
FAIL
278.94
ncf_4_8_2_euad.3
FAIL
302.75
ev-pr-8x8-7-7-0-1-2-lg
FAIL
306.2
nusmv.syncarb10^2.B-f2
FAIL
306.34
1qbf-5cnf-80var-2560cl.4
UNSAT
313.94
1qbf-5cnf-80var-2560cl.1
UNSAT
316.96
4qbf-5cnf-20var-160cl.8
FAIL
325.42
1qbf-5cnf-80var-2560cl.2
UNSAT
347.92
ev-pr-4x4-15-3-0-0-1-lg
FAIL
365.69
C432.blif_0.10_0.20_0_0_out_exact
UNSAT
366.71
1qbf-5cnf-80var-2560cl.3
UNSAT
374.77
eijk.S298.S-f2
FAIL
386.42
3qbf-5cnf-20var-160cl.0
FAIL
394.52
C880.blif_0.10_1.00_0_1_inp_exact
FAIL
400.46
1qbf-5cnf-80var-2560cl.9
UNSAT
407.89
1qbf-5cnf-80var-2560cl.7
UNSAT
411.12
texas.two_proc^5.E-f2
FAIL
422.58
6qbf-5cnf-20var-160cl.6
FAIL
422.76
1qbf-5cnf-80var-2560cl.5
UNSAT
427.87
1qbf-5cnf-80var-2560cl.8
UNSAT
428.61
ev-pr-4x4-17-3-0-0-1-lg
FAIL
444.93
1qbf-5cnf-80var-2560cl.6
UNSAT
455.03
3qbf-5cnf-20var-160cl.4
FAIL
459.54
1qbf-5cnf-80var-2560cl.0
UNSAT
461.86
texas.ifetch1^3.E-f2
FAIL
474.51
vis.coherence^5.E-f2
FAIL
490.05
texas.two_proc^4.E-f2
FAIL
525.69
texas.two_proc^3.E-f2
FAIL
546.86
3qbf-5cnf-20var-160cl.7
FAIL
555.4
vis.elevator^3.E-f2
FAIL
558.24
6qbf-5cnf-20var-160cl.5
FAIL
560.11
C432.blif_0.10_0.20_0_0_inp_exact
FAIL
596.33
C432.blif_0.10_0.20_0_1_inp_exact
FAIL
596.42
sortnetsort10.v.stepl.008
FAIL
596.71
sortnetsort10.v.stepl.007
FAIL
597.2
sortnetsort10.v.stepl.006
FAIL
597.67
term1.blif_0.10_0.20_0_0_out_exact
FAIL
597.97
term1.blif_0.10_0.20_0_0_inp_exact
FAIL
598.2
texas.two_proc^2.E-f2
FAIL
599.47
sortnetsort9.v.stepl.006
FAIL
599.8
texas.ifetch1^2.E-f2
FAIL
613
ncf_4_16_2_euad.7
SAT
700.15
texas.PI_main^12.E-f2
FAIL
702.67
ken.oop^1.C-f2
FAIL
805.2
3qbf-5cnf-20var-160cl.5
FAIL
837.94
ncf_4_16_8_d.7
FAIL
868.72
1qbf-5cnf-160var-2560cl.2
SAT
1114.94
texas.ifetch1^5.E-f2
FAIL
1263.93
texas.two_proc^1.E-f2
FAIL
1726.63
1qbf-5cnf-160var-2560cl.1
SAT
1972.58
1qbf-5cnf-160var-2560cl.4
SAT
2657.49
eijk.S208o.S-f2
SAT
3217.11
vis.coherence^1.E-f2
FAIL
3680
eijk.S208c.S-f2
FAIL
4565.24
eijk.S208.S-f2
FAIL
6000.3
Adder2-8-s
FAIL
6000.35
texas.PI_main^16.E-f2
FAIL
6000.45
test3_quant_squaring2
FAIL
6000.49
vis.4-arbit^2.E-f2
FAIL
6000.51
test3_quant2
FAIL
6000.63
vis.coherence^2.E-f2
FAIL
6000.63
texas.two_proc^6.E-f2
FAIL
6000.64
vis.4-arbit^1.E-f2
FAIL
6000.76
vis.arbiter.E-f2
FAIL
6000.77
vis.coherence^3.E-f2
FAIL
6000.78
adder-8-sat
FAIL
6000.79
texas.PI_main^10.E-f2
FAIL
6000.84
texas.PI_main^01.E-f2
FAIL
6000.86
Contact
|
Organization
|
Links
|
Citing QBFLIB