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
ssolve+ut
QBFEVAL'06
Instance
Result
Time
lut4_3_fAND
FAIL
0
Qq2k1k4v40v40m4s3
SAT
0.08
Qq3k2k1k2v80v80v80m8s9
SAT
0.08
ncf_8_16_4_d.10
SAT
0.09
Qq2k1k4v80v80m2s4
SAT
0.09
Qq2k2k3v80v80m8s3
SAT
0.09
Qq3k1k2k2v40v40v40m4s6
SAT
0.09
Qq3k3k1k1v40v40v40m32s2
SAT
0.09
Qq3k3k1k1v80v80v80m2s6
SAT
0.09
4qbf-5cnf-80var-320cl.3
SAT
0.1
x10.8
UNSAT
0.1
eijk.S208c.S-d2
SAT
0.1
Qq2k2k3v80v80m16s3
SAT
0.1
Qq2k3k2v40v40m2s7
SAT
0.1
Qq2k3k2v40v40m16s5
SAT
0.1
Qq3k1k1k3v80v80v80m8s0
SAT
0.1
Qq3k1k2k2v40v40v40m8s8
SAT
0.1
Qq3k1k2k2v40v40v40m32s4
SAT
0.1
Qq3k1k2k2v80v80v80m4s3
SAT
0.1
Qq3k1k3k1v40v40v40m8s7
SAT
0.1
Qq3k2k1k2v80v80v80m4s3
SAT
0.1
Qq3k2k1k2v80v80v80m8s3
SAT
0.1
Qq3k2k2k1v80v80v80m2s9
SAT
0.1
Qq3k3k1k1v80v80v80m8s0
SAT
0.1
6qbf-5cnf-160var-640cl.6
SAT
0.11
3qbf-5cnf-160var-640cl.1
SAT
0.11
x5.0
SAT
0.11
Qq2k2k3v40v40m16s4
SAT
0.11
Qq2k2k3v80v80m2s4
SAT
0.11
Qq2k3k2v80v80m16s1
SAT
0.11
Qq3k1k1k3v40v40v40m2s5
SAT
0.11
Qq3k1k1k3v80v80v80m2s2
SAT
0.11
Qq3k1k1k3v80v80v80m16s7
SAT
0.11
Qq3k1k2k2v40v40v40m2s8
SAT
0.11
Qq3k1k2k2v40v40v40m4s9
SAT
0.11
Qq3k1k2k2v40v40v40m16s8
SAT
0.11
Qq3k1k3k1v80v80v80m8s1
SAT
0.11
Qq3k2k2k1v40v40v40m8s4
SAT
0.11
Qq3k2k2k1v40v40v40m16s5
SAT
0.11
Qq3k2k2k1v40v40v40m32s2
SAT
0.11
Qq3k2k2k1v80v80v80m16s5
SAT
0.11
Qq3k3k1k1v40v40v40m2s1
SAT
0.11
Qq3k3k1k1v40v40v40m8s3
SAT
0.11
Qq3k3k1k1v80v80v80m16s9
SAT
0.11
ncf_4_8_2_u.7
UNSAT
0.12
ncf_8_16_8_d.6
UNSAT
0.12
3qbf-5cnf-80var-320cl.0
SAT
0.12
2qbf-5cnf-80var-1280cl.7
UNSAT
0.12
6qbf-5cnf-160var-640cl.9
SAT
0.12
2qbf-5cnf-40var-320cl.4
UNSAT
0.12
6qbf-5cnf-160var-640cl.7
SAT
0.12
ncf_8_16_4_u.10
SAT
0.12
4qbf-5cnf-20var-640cl.2
UNSAT
0.12
ncf_4_8_4_u.3
UNSAT
0.12
3qbf-5cnf-40var-320cl.4
SAT
0.12
ncf_4_8_4_u.2
UNSAT
0.12
x5.8
UNSAT
0.12
Qq2k1k4v40v40m8s4
SAT
0.12
Qq2k1k4v40v40m16s4
SAT
0.12
Qq2k1k4v80v80m2s2
SAT
0.12
Qq2k2k3v40v40m2s7
SAT
0.12
Qq2k2k3v40v40m4s3
SAT
0.12
Qq2k2k3v40v40m16s0
SAT
0.12
Qq2k2k3v40v40m16s3
SAT
0.12
Qq2k2k3v40v40m16s6
SAT
0.12
Qq2k2k3v40v40m32s3
SAT
0.12
Qq2k2k3v80v80m2s7
SAT
0.12
Qq2k2k3v80v80m4s1
SAT
0.12
Qq2k2k3v80v80m4s6
SAT
0.12
Qq2k2k3v80v80m8s7
SAT
0.12
Qq2k3k2v40v40m16s3
SAT
0.12
Qq2k3k2v40v40m16s6
SAT
0.12
Qq2k3k2v80v80m4s1
SAT
0.12
Qq2k3k2v80v80m8s6
SAT
0.12
Qq2k3k2v80v80m16s0
SAT
0.12
Qq3k1k1k3v80v80v80m8s1
SAT
0.12
Qq3k1k1k3v80v80v80m16s4
SAT
0.12
Qq3k1k2k2v40v40v40m2s5
SAT
0.12
Qq3k1k2k2v40v40v40m4s0
SAT
0.12
Qq3k1k2k2v40v40v40m8s3
SAT
0.12
Qq3k1k2k2v80v80v80m2s7
SAT
0.12
Qq3k1k3k1v40v40v40m4s5
SAT
0.12
Qq3k1k3k1v40v40v40m8s5
SAT
0.12
Qq3k1k3k1v80v80v80m2s1
SAT
0.12
Qq3k1k3k1v80v80v80m2s7
SAT
0.12
Qq3k1k3k1v80v80v80m2s8
SAT
0.12
Qq3k1k3k1v80v80v80m32s0
SAT
0.12
Qq3k2k1k2v40v40v40m4s5
SAT
0.12
Qq3k2k1k2v40v40v40m8s6
SAT
0.12
Qq3k2k1k2v40v40v40m32s0
SAT
0.12
Qq3k2k1k2v80v80v80m32s4
SAT
0.12
Qq3k2k2k1v40v40v40m2s4
SAT
0.12
Qq3k2k2k1v40v40v40m16s2
SAT
0.12
Qq3k2k2k1v40v40v40m16s6
SAT
0.12
Qq3k2k2k1v40v40v40m32s8
SAT
0.12
Qq3k2k2k1v80v80v80m8s9
SAT
0.12
Qq3k3k1k1v40v40v40m2s7
SAT
0.12
Qq3k3k1k1v80v80v80m4s6
SAT
0.12
Qq3k3k1k1v80v80v80m4s9
SAT
0.12
Qq3k3k1k1v80v80v80m32s9
SAT
0.12
6qbf-5cnf-20var-640cl.5
UNSAT
0.13
ncf_8_16_4_euad.5
UNSAT
0.13
ncf_4_8_4_u.6
SAT
0.13
BLOCKS3i.4.4
UNSAT
0.13
6qbf-5cnf-80var-640cl.7
SAT
0.13
4qbf-5cnf-40var-640cl.0
UNSAT
0.13
ncf_16_32_4_edau.5
UNSAT
0.13
5qbf-5cnf-40var-320cl.0
SAT
0.13
eijk.S382.S-d2
SAT
0.13
Qq2k1k4v40v40m32s4
UNSAT
0.13
Qq2k1k4v40v40m32s9
UNSAT
0.13
Qq2k1k4v80v80m8s1
SAT
0.13
Qq2k1k4v80v80m16s6
SAT
0.13
Qq2k1k4v80v80m32s0
UNSAT
0.13
Qq2k2k3v40v40m2s9
SAT
0.13
Qq2k2k3v80v80m4s7
SAT
0.13
Qq2k2k3v80v80m4s9
SAT
0.13
Qq2k2k3v80v80m16s9
SAT
0.13
Qq2k2k3v80v80m32s0
SAT
0.13
Qq2k3k2v80v80m2s0
SAT
0.13
Qq2k3k2v80v80m4s3
SAT
0.13
Qq2k3k2v80v80m32s8
SAT
0.13
Qq3k1k1k3v40v40v40m8s5
SAT
0.13
Qq3k1k1k3v80v80v80m32s9
SAT
0.13
Qq3k1k2k2v80v80v80m4s5
SAT
0.13
Qq3k1k2k2v80v80v80m8s1
SAT
0.13
Qq3k1k2k2v80v80v80m32s8
SAT
0.13
Qq3k1k3k1v80v80v80m2s5
SAT
0.13
Qq3k1k3k1v80v80v80m8s6
SAT
0.13
Qq3k1k3k1v80v80v80m32s8
SAT
0.13
Qq3k1k3k1v80v80v80m32s9
SAT
0.13
Qq3k2k1k2v40v40v40m2s2
SAT
0.13
Qq3k2k1k2v40v40v40m2s5
SAT
0.13
Qq3k2k1k2v40v40v40m2s9
SAT
0.13
Qq3k2k1k2v40v40v40m8s2
SAT
0.13
Qq3k2k1k2v40v40v40m32s8
SAT
0.13
Qq3k2k1k2v80v80v80m2s1
SAT
0.13
Qq3k2k2k1v80v80v80m4s0
SAT
0.13
Qq3k3k1k1v40v40v40m2s0
SAT
0.13
Qq3k3k1k1v40v40v40m8s1
SAT
0.13
Qq3k3k1k1v40v40v40m32s3
SAT
0.13
Qq3k3k1k1v80v80v80m4s7
SAT
0.13
6qbf-5cnf-40var-320cl.5
SAT
0.14
2qbf-5cnf-80var-640cl.6
UNSAT
0.14
ncf_4_16_2_d.6
SAT
0.14
5qbf-5cnf-160var-640cl.1
SAT
0.14
4qbf-5cnf-40var-1280cl.3
UNSAT
0.14
2qbf-5cnf-160var-320cl.8
SAT
0.14
4qbf-5cnf-40var-1280cl.7
UNSAT
0.14
ncf_8_16_4_edau.5
UNSAT
0.14
4qbf-5cnf-20var-640cl.1
UNSAT
0.14
4qbf-5cnf-20var-320cl.8
UNSAT
0.14
2qbf-5cnf-80var-1280cl.5
UNSAT
0.14
4qbf-5cnf-20var-320cl.2
UNSAT
0.14
5qbf-5cnf-40var-320cl.2
SAT
0.14
ncf_4_16_2_euad.6
SAT
0.14
5qbf-5cnf-80var-640cl.9
SAT
0.14
ncf_16_32_2_d.6
SAT
0.14
ncf_16_32_2_euad.7
UNSAT
0.14
2qbf-5cnf-160var-320cl.4
SAT
0.14
5qbf-5cnf-40var-320cl.7
SAT
0.14
ncf_16_32_4_u.4
UNSAT
0.14
6qbf-5cnf-160var-640cl.3
SAT
0.14
x10.4
SAT
0.14
cmu.dme2.B-d2
SAT
0.14
irst.dme4.B-d2
SAT
0.14
texas.parsesys^4.E-f2
UNSAT
0.14
Qq2k1k4v40v40m32s5
UNSAT
0.14
Qq2k1k4v80v80m2s9
SAT
0.14
Qq2k1k4v80v80m32s4
UNSAT
0.14
Qq2k1k4v80v80m32s7
SAT
0.14
Qq2k2k3v40v40m2s8
SAT
0.14
Qq2k2k3v40v40m4s8
SAT
0.14
Qq2k2k3v80v80m4s3
SAT
0.14
Qq2k2k3v80v80m4s8
SAT
0.14
Qq2k2k3v80v80m16s0
SAT
0.14
Qq2k2k3v80v80m32s4
SAT
0.14
Qq2k3k2v40v40m4s4
SAT
0.14
Qq2k3k2v40v40m4s7
SAT
0.14
Qq2k3k2v40v40m32s7
SAT
0.14
Qq2k3k2v80v80m2s6
SAT
0.14
Qq2k3k2v80v80m8s1
SAT
0.14
Qq2k3k2v80v80m8s3
SAT
0.14
Qq2k3k2v80v80m8s7
SAT
0.14
Qq2k3k2v80v80m8s9
SAT
0.14
Qq2k3k2v80v80m32s4
SAT
0.14
Qq3k1k1k3v40v40v40m2s3
SAT
0.14
Qq3k1k1k3v40v40v40m2s4
SAT
0.14
Qq3k1k1k3v40v40v40m4s7
SAT
0.14
Qq3k1k1k3v40v40v40m8s3
SAT
0.14
Qq3k1k1k3v40v40v40m32s3
SAT
0.14
Qq3k1k1k3v80v80v80m2s6
SAT
0.14
Qq3k1k1k3v80v80v80m2s8
SAT
0.14
Qq3k1k1k3v80v80v80m32s6
SAT
0.14
Qq3k1k1k3v80v80v80m32s7
SAT
0.14
Qq3k1k2k2v40v40v40m2s6
SAT
0.14
Qq3k1k2k2v40v40v40m16s4
SAT
0.14
Qq3k1k2k2v40v40v40m32s0
SAT
0.14
Qq3k1k2k2v80v80v80m4s1
SAT
0.14
Qq3k1k3k1v40v40v40m16s2
SAT
0.14
Qq3k1k3k1v40v40v40m32s2
SAT
0.14
Qq3k1k3k1v80v80v80m32s3
SAT
0.14
Qq3k1k3k1v80v80v80m32s5
SAT
0.14
Qq3k2k1k2v40v40v40m32s6
SAT
0.14
Qq3k2k1k2v80v80v80m2s4
SAT
0.14
Qq3k2k1k2v80v80v80m4s5
SAT
0.14
Qq3k2k1k2v80v80v80m4s8
SAT
0.14
Qq3k2k1k2v80v80v80m8s0
SAT
0.14
Qq3k2k1k2v80v80v80m32s5
SAT
0.14
Qq3k2k2k1v40v40v40m2s8
SAT
0.14
Qq3k2k2k1v40v40v40m8s5
SAT
0.14
Qq3k2k2k1v40v40v40m32s5
SAT
0.14
Qq3k2k2k1v80v80v80m4s1
SAT
0.14
Qq3k2k2k1v80v80v80m4s2
SAT
0.14
Qq3k2k2k1v80v80v80m8s3
SAT
0.14
Qq3k3k1k1v40v40v40m2s3
SAT
0.14
Qq3k3k1k1v40v40v40m2s9
SAT
0.14
Qq3k3k1k1v40v40v40m4s7
SAT
0.14
Qq3k3k1k1v40v40v40m8s4
SAT
0.14
Qq3k3k1k1v40v40v40m16s6
SAT
0.14
Qq3k3k1k1v40v40v40m16s8
SAT
0.14
Qq3k3k1k1v40v40v40m32s0
SAT
0.14
Qq3k3k1k1v40v40v40m32s1
SAT
0.14
Qq3k3k1k1v80v80v80m4s4
SAT
0.14
Qq3k3k1k1v80v80v80m32s7
SAT
0.14
Qq2k3k2v80v80m32s9
SAT
0.14
3qbf-5cnf-20var-160cl.9
SAT
0.15
ncf_4_32_2_edau.1
UNSAT
0.15
5qbf-5cnf-160var-640cl.3
SAT
0.15
ncf_8_16_4_u.2
UNSAT
0.15
3qbf-5cnf-40var-320cl.8
SAT
0.15
4qbf-5cnf-80var-2560cl.4
UNSAT
0.15
ncf_4_32_2_u.4
UNSAT
0.15
4qbf-5cnf-20var-640cl.5
UNSAT
0.15
4qbf-5cnf-80var-320cl.6
SAT
0.15
5qbf-5cnf-40var-1280cl.3
UNSAT
0.15
5qbf-5cnf-20var-640cl.3
UNSAT
0.15
3qbf-5cnf-80var-320cl.3
SAT
0.15
4qbf-5cnf-40var-1280cl.5
UNSAT
0.15
4qbf-5cnf-160var-640cl.3
SAT
0.15
2qbf-5cnf-40var-640cl.6
UNSAT
0.15
ncf_4_16_2_u.10
UNSAT
0.15
ncf_16_32_2_d.9
UNSAT
0.15
6qbf-5cnf-80var-640cl.4
SAT
0.15
ncf_16_32_2_d.8
UNSAT
0.15
2qbf-5cnf-40var-640cl.0
UNSAT
0.15
2qbf-5cnf-40var-320cl.5
UNSAT
0.15
2qbf-5cnf-80var-640cl.2
UNSAT
0.15
x5.5
UNSAT
0.15
Qq2k1k4v40v40m2s9
SAT
0.15
Qq2k1k4v40v40m4s4
SAT
0.15
Qq2k1k4v40v40m4s8
SAT
0.15
Qq2k1k4v40v40m8s1
SAT
0.15
Qq2k1k4v40v40m16s6
UNSAT
0.15
Qq2k1k4v80v80m2s3
SAT
0.15
Qq2k1k4v80v80m4s0
SAT
0.15
Qq2k1k4v80v80m8s0
SAT
0.15
Qq2k1k4v80v80m16s2
SAT
0.15
Qq2k1k4v80v80m32s6
UNSAT
0.15
Qq2k2k3v40v40m2s4
SAT
0.15
Qq2k2k3v40v40m4s0
SAT
0.15
Qq2k2k3v40v40m4s1
SAT
0.15
Qq2k2k3v40v40m8s5
SAT
0.15
Qq2k2k3v40v40m16s2
SAT
0.15
Qq2k2k3v40v40m32s6
SAT
0.15
Qq2k2k3v80v80m2s2
SAT
0.15
Qq2k2k3v80v80m2s9
SAT
0.15
Qq2k2k3v80v80m8s1
SAT
0.15
Qq2k2k3v80v80m8s4
SAT
0.15
Qq2k2k3v80v80m16s1
SAT
0.15
Qq2k2k3v80v80m16s4
SAT
0.15
Qq2k2k3v80v80m16s6
SAT
0.15
Qq2k3k2v40v40m2s4
SAT
0.15
Qq2k3k2v40v40m16s8
SAT
0.15
Qq2k3k2v40v40m16s9
SAT
0.15
Qq2k3k2v40v40m32s8
SAT
0.15
Qq2k3k2v80v80m4s5
SAT
0.15
Qq2k3k2v80v80m4s8
SAT
0.15
Qq2k3k2v80v80m8s5
SAT
0.15
Qq2k3k2v80v80m32s1
SAT
0.15
Qq2k3k2v80v80m32s3
SAT
0.15
Qq3k1k1k3v40v40v40m2s7
SAT
0.15
Qq3k1k1k3v40v40v40m4s0
SAT
0.15
Qq3k1k1k3v40v40v40m16s8
SAT
0.15
Qq3k1k1k3v80v80v80m16s8
SAT
0.15
Qq3k1k1k3v80v80v80m16s9
SAT
0.15
Qq3k1k2k2v40v40v40m4s7
SAT
0.15
Qq3k1k2k2v40v40v40m32s6
SAT
0.15
Qq3k1k2k2v80v80v80m2s8
SAT
0.15
Qq3k1k2k2v80v80v80m4s9
SAT
0.15
Qq3k1k2k2v80v80v80m32s4
SAT
0.15
Qq3k1k3k1v40v40v40m4s4
SAT
0.15
Qq3k1k3k1v40v40v40m16s0
SAT
0.15
Qq3k1k3k1v40v40v40m32s3
SAT
0.15
Qq3k1k3k1v80v80v80m4s2
SAT
0.15
Qq3k1k3k1v80v80v80m4s3
SAT
0.15
Qq3k1k3k1v80v80v80m8s8
SAT
0.15
Qq3k1k3k1v80v80v80m16s7
SAT
0.15
Qq3k1k3k1v80v80v80m32s6
SAT
0.15
Qq3k2k1k2v40v40v40m2s0
SAT
0.15
Qq3k2k1k2v40v40v40m2s6
SAT
0.15
Qq3k2k1k2v40v40v40m4s8
SAT
0.15
Qq3k2k1k2v40v40v40m8s7
SAT
0.15
Qq3k2k1k2v40v40v40m8s8
SAT
0.15
Qq3k2k1k2v40v40v40m16s0
SAT
0.15
Qq3k2k1k2v40v40v40m16s3
SAT
0.15
Qq3k2k1k2v40v40v40m16s4
SAT
0.15
Qq3k2k1k2v40v40v40m32s9
SAT
0.15
Qq3k2k1k2v80v80v80m2s2
SAT
0.15
Qq3k2k1k2v80v80v80m16s2
SAT
0.15
Qq3k2k1k2v80v80v80m32s7
SAT
0.15
Qq3k2k2k1v40v40v40m2s7
SAT
0.15
Qq3k2k2k1v40v40v40m16s1
SAT
0.15
Qq3k2k2k1v40v40v40m32s1
SAT
0.15
Qq3k2k2k1v80v80v80m2s5
SAT
0.15
Qq3k2k2k1v80v80v80m8s1
SAT
0.15
Qq3k2k2k1v80v80v80m8s6
SAT
0.15
Qq3k2k2k1v80v80v80m32s7
SAT
0.15
Qq3k2k2k1v80v80v80m32s8
SAT
0.15
Qq3k3k1k1v40v40v40m2s2
SAT
0.15
Qq3k3k1k1v40v40v40m2s8
SAT
0.15
Qq3k3k1k1v40v40v40m4s6
SAT
0.15
Qq3k3k1k1v40v40v40m16s4
SAT
0.15
Qq3k3k1k1v40v40v40m32s5
SAT
0.15
Qq3k3k1k1v80v80v80m4s1
SAT
0.15
Qq3k3k1k1v80v80v80m32s1
SAT
0.15
4qbf-5cnf-80var-320cl.9
SAT
0.16
3qbf-5cnf-80var-320cl.1
SAT
0.16
4qbf-5cnf-20var-320cl.3
UNSAT
0.16
2qbf-5cnf-160var-320cl.2
SAT
0.16
6qbf-5cnf-20var-640cl.3
UNSAT
0.16
5qbf-5cnf-80var-640cl.5
SAT
0.16
ncf_4_8_4_euad.9
SAT
0.16
ncf_8_16_8_edau.6
UNSAT
0.16
6qbf-5cnf-20var-640cl.7
UNSAT
0.16
4qbf-5cnf-80var-1280cl.5
UNSAT
0.16
ncf_8_16_4_edau.2
UNSAT
0.16
4qbf-5cnf-80var-2560cl.5
UNSAT
0.16
6qbf-5cnf-40var-320cl.2
SAT
0.16
4qbf-5cnf-80var-320cl.2
SAT
0.16
6qbf-5cnf-20var-320cl.6
UNSAT
0.16
5qbf-5cnf-160var-640cl.6
SAT
0.16
2qbf-5cnf-80var-1280cl.2
UNSAT
0.16
4qbf-5cnf-40var-1280cl.2
UNSAT
0.16
2qbf-5cnf-40var-160cl.6
UNSAT
0.16
4qbf-5cnf-20var-320cl.6
UNSAT
0.16
5qbf-5cnf-160var-640cl.0
SAT
0.16
2qbf-5cnf-40var-640cl.5
UNSAT
0.16
2qbf-5cnf-40var-320cl.7
UNSAT
0.16
4qbf-5cnf-40var-1280cl.8
UNSAT
0.16
4qbf-5cnf-160var-640cl.6
SAT
0.16
2qbf-5cnf-40var-320cl.6
UNSAT
0.16
6qbf-5cnf-160var-640cl.5
SAT
0.16
2qbf-5cnf-160var-320cl.6
SAT
0.16
2qbf-5cnf-40var-640cl.3
UNSAT
0.16
ncf_4_16_4_d.10
UNSAT
0.16
4qbf-5cnf-80var-1280cl.9
UNSAT
0.16
ncf_4_8_2_euad.10
SAT
0.16
3qbf-5cnf-160var-640cl.5
SAT
0.16
6qbf-5cnf-20var-320cl.1
UNSAT
0.16
ncf_16_32_2_d.2
UNSAT
0.16
6qbf-5cnf-40var-1280cl.8
UNSAT
0.16
2qbf-5cnf-40var-320cl.9
UNSAT
0.16
6qbf-5cnf-20var-160cl.1
SAT
0.16
5qbf-5cnf-40var-320cl.4
SAT
0.16
x10.5
UNSAT
0.16
x5.4
UNSAT
0.16
x5.9
UNSAT
0.16
eijk.S208o.S-d2
SAT
0.16
texas.parsesys^1.E-d2
SAT
0.16
Qq2k1k4v40v40m2s3
SAT
0.16
Qq2k1k4v40v40m4s5
SAT
0.16
Qq2k1k4v40v40m8s9
SAT
0.16
Qq2k1k4v40v40m16s9
UNSAT
0.16
Qq2k1k4v40v40m32s6
UNSAT
0.16
Qq2k1k4v80v80m32s2
UNSAT
0.16
Qq2k1k4v80v80m32s8
UNSAT
0.16
Qq2k2k3v40v40m8s4
SAT
0.16
Qq2k2k3v40v40m32s8
SAT
0.16
Qq2k2k3v80v80m4s0
SAT
0.16
Qq2k2k3v80v80m32s8
SAT
0.16
Qq2k3k2v40v40m2s0
SAT
0.16
Qq2k3k2v40v40m2s1
SAT
0.16
Qq2k3k2v40v40m2s5
SAT
0.16
Qq2k3k2v40v40m4s3
SAT
0.16
Qq2k3k2v40v40m8s6
SAT
0.16
Qq2k3k2v40v40m16s7
SAT
0.16
Qq2k3k2v40v40m32s1
SAT
0.16
Qq2k3k2v80v80m2s1
SAT
0.16
Qq2k3k2v80v80m4s0
SAT
0.16
Qq2k3k2v80v80m4s6
SAT
0.16
Qq2k3k2v80v80m8s8
SAT
0.16
Qq2k3k2v80v80m32s0
SAT
0.16
Qq2k3k2v80v80m32s6
SAT
0.16
Qq3k1k1k3v40v40v40m2s9
SAT
0.16
Qq3k1k1k3v40v40v40m8s4
SAT
0.16
Qq3k1k1k3v40v40v40m16s4
SAT
0.16
Qq3k1k1k3v80v80v80m2s7
SAT
0.16
Qq3k1k1k3v80v80v80m4s0
SAT
0.16
Qq3k1k1k3v80v80v80m4s5
SAT
0.16
Qq3k1k1k3v80v80v80m8s4
SAT
0.16
Qq3k1k1k3v80v80v80m16s6
SAT
0.16
Qq3k1k2k2v40v40v40m2s1
SAT
0.16
Qq3k1k2k2v40v40v40m2s2
SAT
0.16
Qq3k1k2k2v40v40v40m2s7
SAT
0.16
Qq3k1k2k2v40v40v40m8s2
SAT
0.16
Qq3k1k2k2v40v40v40m8s6
SAT
0.16
Qq3k1k2k2v40v40v40m16s3
SAT
0.16
Qq3k1k2k2v40v40v40m16s9
SAT
0.16
Qq3k1k2k2v80v80v80m2s0
SAT
0.16
Qq3k1k2k2v80v80v80m4s0
SAT
0.16
Qq3k1k2k2v80v80v80m16s0
SAT
0.16
Qq3k1k2k2v80v80v80m16s6
SAT
0.16
Qq3k1k2k2v80v80v80m32s0
SAT
0.16
Qq3k1k2k2v80v80v80m32s1
SAT
0.16
Qq3k1k3k1v40v40v40m2s8
SAT
0.16
Qq3k1k3k1v40v40v40m8s1
SAT
0.16
Qq3k1k3k1v40v40v40m8s3
SAT
0.16
Qq3k1k3k1v80v80v80m4s0
SAT
0.16
Qq3k1k3k1v80v80v80m8s0
SAT
0.16
Qq3k2k1k2v40v40v40m2s1
SAT
0.16
Qq3k2k1k2v40v40v40m16s6
SAT
0.16
Qq3k2k1k2v40v40v40m32s3
SAT
0.16
Qq3k2k1k2v80v80v80m16s3
SAT
0.16
Qq3k2k2k1v40v40v40m2s5
SAT
0.16
Qq3k2k2k1v40v40v40m2s6
SAT
0.16
Qq3k2k2k1v40v40v40m16s8
SAT
0.16
Qq3k2k2k1v40v40v40m32s4
SAT
0.16
Qq3k2k2k1v40v40v40m32s9
SAT
0.16
Qq3k2k2k1v80v80v80m2s0
SAT
0.16
Qq3k2k2k1v80v80v80m2s1
SAT
0.16
Qq3k2k2k1v80v80v80m2s4
SAT
0.16
Qq3k2k2k1v80v80v80m2s7
SAT
0.16
Qq3k2k2k1v80v80v80m4s5
SAT
0.16
Qq3k2k2k1v80v80v80m4s6
SAT
0.16
Qq3k2k2k1v80v80v80m32s0
SAT
0.16
Qq3k2k2k1v80v80v80m32s1
SAT
0.16
Qq3k2k2k1v80v80v80m32s9
SAT
0.16
Qq3k3k1k1v40v40v40m2s6
SAT
0.16
Qq3k3k1k1v40v40v40m4s2
SAT
0.16
Qq3k3k1k1v40v40v40m4s5
SAT
0.16
Qq3k3k1k1v40v40v40m16s1
SAT
0.16
Qq3k3k1k1v40v40v40m32s8
SAT
0.16
Qq3k3k1k1v80v80v80m2s4
SAT
0.16
Qq3k3k1k1v80v80v80m8s3
SAT
0.16
Qq3k3k1k1v80v80v80m16s3
SAT
0.16
ncf_4_8_2_euad.8
SAT
0.17
ncf_4_16_4_u.5
SAT
0.17
2qbf-5cnf-40var-640cl.1
UNSAT
0.17
6qbf-5cnf-40var-1280cl.5
UNSAT
0.17
6qbf-5cnf-20var-160cl.4
SAT
0.17
ncf_4_16_4_edau.6
UNSAT
0.17
6qbf-5cnf-40var-1280cl.0
UNSAT
0.17
4qbf-5cnf-40var-640cl.9
UNSAT
0.17
ncf_4_8_2_euad.9
SAT
0.17
3qbf-5cnf-80var-320cl.9
SAT
0.17
2qbf-5cnf-80var-320cl.0
UNSAT
0.17
mutex-32-s
SAT
0.17
ncf_4_8_2_euad.6
SAT
0.17
2qbf-5cnf-40var-160cl.2
UNSAT
0.17
ncf_16_32_2_u.2
UNSAT
0.17
6qbf-5cnf-40var-1280cl.6
UNSAT
0.17
4qbf-5cnf-160var-640cl.0
SAT
0.17
4qbf-5cnf-40var-640cl.5
UNSAT
0.17
ncf_16_32_4_u.9
SAT
0.17
2qbf-5cnf-80var-1280cl.0
UNSAT
0.17
ncf_16_32_2_edau.9
UNSAT
0.17
ncf_8_16_4_edau.10
SAT
0.17
6qbf-5cnf-20var-160cl.5
SAT
0.17
2qbf-5cnf-80var-320cl.4
UNSAT
0.17
ncf_4_8_2_euad.3
UNSAT
0.17
3qbf-5cnf-80var-2560cl.1
UNSAT
0.17
3qbf-5cnf-40var-320cl.6
SAT
0.17
2qbf-5cnf-160var-320cl.3
SAT
0.17
5qbf-5cnf-160var-640cl.2
SAT
0.17
ncf_4_8_4_euad.6
SAT
0.17
3qbf-5cnf-160var-640cl.8
SAT
0.17
ncf_4_8_8_euad.9
UNSAT
0.17
ncf_4_8_4_euad.2
UNSAT
0.17
4qbf-5cnf-20var-160cl.8
UNSAT
0.17
6qbf-5cnf-40var-320cl.8
SAT
0.17
2qbf-5cnf-40var-640cl.7
UNSAT
0.17
4qbf-5cnf-160var-640cl.7
SAT
0.17
4qbf-5cnf-40var-640cl.6
UNSAT
0.17
5qbf-5cnf-20var-640cl.9
UNSAT
0.17
5qbf-5cnf-40var-320cl.3
SAT
0.17
4qbf-5cnf-20var-640cl.3
UNSAT
0.17
4qbf-5cnf-20var-320cl.5
UNSAT
0.17
2qbf-5cnf-80var-640cl.3
UNSAT
0.17
4qbf-5cnf-20var-160cl.2
SAT
0.17
x10.7
SAT
0.17
x5.7
UNSAT
0.17
Qq2k1k4v40v40m2s4
SAT
0.17
Qq2k1k4v40v40m2s7
SAT
0.17
Qq2k1k4v40v40m4s6
SAT
0.17
Qq2k1k4v40v40m16s7
SAT
0.17
Qq2k1k4v80v80m2s7
SAT
0.17
Qq2k1k4v80v80m4s3
SAT
0.17
Qq2k1k4v80v80m4s6
SAT
0.17
Qq2k1k4v80v80m4s8
SAT
0.17
Qq2k1k4v80v80m8s5
SAT
0.17
Qq2k1k4v80v80m16s8
UNSAT
0.17
Qq2k1k4v80v80m32s3
UNSAT
0.17
Qq2k1k4v80v80m32s9
UNSAT
0.17
Qq2k2k3v40v40m4s9
SAT
0.17
Qq2k2k3v40v40m8s3
SAT
0.17
Qq2k2k3v40v40m32s2
SAT
0.17
Qq2k2k3v40v40m32s5
SAT
0.17
Qq2k2k3v40v40m32s9
SAT
0.17
Qq2k2k3v80v80m2s1
SAT
0.17
Qq2k2k3v80v80m2s5
SAT
0.17
Qq2k2k3v80v80m2s8
SAT
0.17
Qq2k3k2v40v40m2s2
SAT
0.17
Qq2k3k2v40v40m4s1
SAT
0.17
Qq2k3k2v40v40m4s5
SAT
0.17
Qq2k3k2v40v40m8s1
SAT
0.17
Qq2k3k2v40v40m16s0
SAT
0.17
Qq2k3k2v40v40m16s1
SAT
0.17
Qq2k3k2v40v40m16s2
SAT
0.17
Qq2k3k2v40v40m32s3
SAT
0.17
Qq2k3k2v80v80m16s3
SAT
0.17
Qq2k3k2v80v80m16s9
SAT
0.17
Qq3k1k1k3v40v40v40m2s0
SAT
0.17
Qq3k1k1k3v40v40v40m2s1
SAT
0.17
Qq3k1k1k3v40v40v40m4s4
SAT
0.17
Qq3k1k1k3v40v40v40m8s0
SAT
0.17
Qq3k1k1k3v40v40v40m16s9
SAT
0.17
Qq3k1k1k3v80v80v80m2s4
SAT
0.17
Qq3k1k1k3v80v80v80m4s4
SAT
0.17
Qq3k1k1k3v80v80v80m8s7
SAT
0.17
Qq3k1k1k3v80v80v80m16s3
SAT
0.17
Qq3k1k2k2v40v40v40m2s9
SAT
0.17
Qq3k1k2k2v40v40v40m4s3
SAT
0.17
Qq3k1k2k2v40v40v40m4s4
SAT
0.17
Qq3k1k2k2v40v40v40m4s8
SAT
0.17
Qq3k1k2k2v40v40v40m8s7
SAT
0.17
Qq3k1k2k2v40v40v40m16s5
SAT
0.17
Qq3k1k2k2v40v40v40m32s1
SAT
0.17
Qq3k1k2k2v80v80v80m8s0
SAT
0.17
Qq3k1k2k2v80v80v80m8s6
SAT
0.17
Qq3k1k2k2v80v80v80m32s7
SAT
0.17
Qq3k1k3k1v40v40v40m2s3
SAT
0.17
Qq3k1k3k1v40v40v40m4s0
SAT
0.17
Qq3k1k3k1v40v40v40m4s9
SAT
0.17
Qq3k1k3k1v40v40v40m16s3
SAT
0.17
Qq3k1k3k1v40v40v40m16s4
SAT
0.17
Qq3k1k3k1v40v40v40m16s6
SAT
0.17
Qq3k1k3k1v80v80v80m4s6
SAT
0.17
Qq3k1k3k1v80v80v80m16s2
SAT
0.17
Qq3k1k3k1v80v80v80m32s1
SAT
0.17
Qq3k1k3k1v80v80v80m32s4
SAT
0.17
Qq3k1k3k1v80v80v80m32s7
SAT
0.17
Qq3k2k1k2v40v40v40m2s7
SAT
0.17
Qq3k2k1k2v40v40v40m4s2
SAT
0.17
Qq3k2k1k2v40v40v40m8s5
SAT
0.17
Qq3k2k1k2v40v40v40m32s2
SAT
0.17
Qq3k2k1k2v80v80v80m2s5
SAT
0.17
Qq3k2k1k2v80v80v80m4s1
SAT
0.17
Qq3k2k1k2v80v80v80m8s2
SAT
0.17
Qq3k2k1k2v80v80v80m8s5
SAT
0.17
Qq3k2k1k2v80v80v80m16s0
SAT
0.17
Qq3k2k1k2v80v80v80m16s7
SAT
0.17
Qq3k2k1k2v80v80v80m16s9
SAT
0.17
Qq3k2k1k2v80v80v80m32s0
SAT
0.17
Qq3k2k1k2v80v80v80m32s3
SAT
0.17
Qq3k2k2k1v40v40v40m2s1
SAT
0.17
Qq3k2k2k1v40v40v40m4s7
SAT
0.17
Qq3k2k2k1v40v40v40m8s0
SAT
0.17
Qq3k2k2k1v40v40v40m16s7
SAT
0.17
Qq3k2k2k1v80v80v80m2s8
SAT
0.17
Qq3k2k2k1v80v80v80m4s7
SAT
0.17
Qq3k2k2k1v80v80v80m16s2
SAT
0.17
Qq3k2k2k1v80v80v80m16s4
SAT
0.17
Qq3k2k2k1v80v80v80m16s9
SAT
0.17
Qq3k2k2k1v80v80v80m32s4
SAT
0.17
Qq3k3k1k1v40v40v40m4s0
SAT
0.17
Qq3k3k1k1v40v40v40m8s8
SAT
0.17
Qq3k3k1k1v40v40v40m32s4
SAT
0.17
Qq3k3k1k1v80v80v80m2s9
SAT
0.17
Qq3k3k1k1v80v80v80m4s5
SAT
0.17
Qq3k3k1k1v80v80v80m8s2
SAT
0.17
Qq3k3k1k1v80v80v80m8s5
SAT
0.17
Qq3k3k1k1v80v80v80m8s6
SAT
0.17
Qq3k3k1k1v80v80v80m16s2
SAT
0.17
ncf_16_32_4_edau.1
SAT
0.18
4qbf-5cnf-40var-640cl.1
UNSAT
0.18
ncf_4_16_4_d.5
SAT
0.18
3qbf-5cnf-40var-320cl.3
SAT
0.18
4qbf-5cnf-20var-160cl.4
UNSAT
0.18
3qbf-5cnf-80var-2560cl.6
UNSAT
0.18
BLOCKS3ii.5.2
UNSAT
0.18
2qbf-5cnf-160var-320cl.0
SAT
0.18
ncf_4_8_8_edau.5
UNSAT
0.18
2qbf-5cnf-80var-640cl.4
UNSAT
0.18
2qbf-5cnf-80var-320cl.5
UNSAT
0.18
ncf_4_8_2_euad.1
UNSAT
0.18
4qbf-5cnf-40var-1280cl.9
UNSAT
0.18
ncf_4_16_2_d.10
UNSAT
0.18
ncf_4_32_2_edau.3
UNSAT
0.18
2qbf-5cnf-40var-640cl.9
UNSAT
0.18
5qbf-5cnf-160var-640cl.9
SAT
0.18
4qbf-5cnf-80var-2560cl.6
UNSAT
0.18
5qbf-5cnf-20var-640cl.7
UNSAT
0.18
ncf_4_8_2_u.4
UNSAT
0.18
ncf_4_8_8_u.5
UNSAT
0.18
ncf_8_16_4_euad.8
UNSAT
0.18
6qbf-5cnf-20var-160cl.9
SAT
0.18
6qbf-5cnf-80var-2560cl.3
UNSAT
0.18
mutex-16-s
SAT
0.18
ncf_16_32_2_u.7
UNSAT
0.18
ncf_16_32_4_d.5
UNSAT
0.18
ncf_16_32_2_euad.5
UNSAT
0.18
5qbf-5cnf-40var-320cl.6
SAT
0.18
4qbf-5cnf-20var-320cl.0
UNSAT
0.18
ncf_4_8_4_u.7
UNSAT
0.18
3qbf-5cnf-160var-640cl.7
SAT
0.18
2qbf-5cnf-160var-2560cl.0
UNSAT
0.18
5qbf-5cnf-20var-640cl.5
UNSAT
0.18
6qbf-5cnf-160var-640cl.0
SAT
0.18
3qbf-5cnf-20var-160cl.8
SAT
0.18
6qbf-5cnf-20var-160cl.2
SAT
0.18
ncf_8_16_4_euad.2
UNSAT
0.18
4qbf-5cnf-80var-320cl.4
SAT
0.18
mutex-128-s
SAT
0.18
3qbf-5cnf-20var-160cl.2
SAT
0.18
5qbf-5cnf-160var-640cl.7
SAT
0.18
6qbf-5cnf-40var-1280cl.7
UNSAT
0.18
3qbf-5cnf-160var-640cl.4
SAT
0.18
x10.3
UNSAT
0.18
x5.2
UNSAT
0.18
cmu.dme1.B-d2
SAT
0.18
eijk.S526.S-d2
SAT
0.18
eijk.S832.S-d2
SAT
0.18
Qq2k1k4v40v40m8s2
UNSAT
0.18
Qq2k1k4v40v40m8s3
SAT
0.18
Qq2k1k4v40v40m32s3
UNSAT
0.18
Qq2k1k4v80v80m2s5
SAT
0.18
Qq2k1k4v80v80m4s5
SAT
0.18
Qq2k1k4v80v80m16s7
SAT
0.18
Qq2k1k4v80v80m32s1
SAT
0.18
Qq2k2k3v40v40m2s0
SAT
0.18
Qq2k2k3v40v40m2s3
SAT
0.18
Qq2k2k3v40v40m4s7
SAT
0.18
Qq2k2k3v40v40m16s9
SAT
0.18
Qq2k2k3v80v80m2s3
SAT
0.18
Qq2k2k3v80v80m8s2
SAT
0.18
Qq2k2k3v80v80m32s3
SAT
0.18
Qq2k2k3v80v80m32s6
SAT
0.18
Qq2k3k2v40v40m2s3
SAT
0.18
Qq2k3k2v40v40m2s8
SAT
0.18
Qq2k3k2v40v40m8s9
SAT
0.18
Qq2k3k2v80v80m2s5
SAT
0.18
Qq2k3k2v80v80m4s2
SAT
0.18
Qq3k1k1k3v40v40v40m2s6
SAT
0.18
Qq3k1k1k3v40v40v40m4s2
SAT
0.18
Qq3k1k1k3v40v40v40m4s6
SAT
0.18
Qq3k1k1k3v40v40v40m8s7
SAT
0.18
Qq3k1k1k3v40v40v40m8s9
SAT
0.18
Qq3k1k1k3v40v40v40m16s1
SAT
0.18
Qq3k1k1k3v40v40v40m16s2
SAT
0.18
Qq3k1k1k3v40v40v40m16s5
SAT
0.18
Qq3k1k1k3v40v40v40m16s6
SAT
0.18
Qq3k1k1k3v40v40v40m16s7
SAT
0.18
Qq3k1k1k3v40v40v40m32s0
SAT
0.18
Qq3k1k1k3v80v80v80m4s2
SAT
0.18
Qq3k1k1k3v80v80v80m8s2
SAT
0.18
Qq3k1k1k3v80v80v80m32s2
SAT
0.18
Qq3k1k1k3v80v80v80m32s3
SAT
0.18
Qq3k1k2k2v40v40v40m2s0
SAT
0.18
Qq3k1k2k2v40v40v40m32s5
SAT
0.18
Qq3k1k2k2v40v40v40m32s8
SAT
0.18
Qq3k1k2k2v80v80v80m2s5
SAT
0.18
Qq3k1k2k2v80v80v80m2s6
SAT
0.18
Qq3k1k2k2v80v80v80m4s6
SAT
0.18
Qq3k1k2k2v80v80v80m8s2
SAT
0.18
Qq3k1k2k2v80v80v80m16s2
SAT
0.18
Qq3k1k2k2v80v80v80m16s3
SAT
0.18
Qq3k1k2k2v80v80v80m32s3
SAT
0.18
Qq3k1k3k1v40v40v40m2s7
SAT
0.18
Qq3k1k3k1v40v40v40m4s2
SAT
0.18
Qq3k1k3k1v40v40v40m4s3
SAT
0.18
Qq3k1k3k1v40v40v40m4s8
SAT
0.18
Qq3k1k3k1v40v40v40m8s0
SAT
0.18
Qq3k1k3k1v40v40v40m16s1
SAT
0.18
Qq3k1k3k1v40v40v40m16s8
SAT
0.18
Qq3k1k3k1v40v40v40m32s5
SAT
0.18
Qq3k1k3k1v80v80v80m2s0
SAT
0.18
Qq3k1k3k1v80v80v80m2s3
SAT
0.18
Qq3k1k3k1v80v80v80m4s7
SAT
0.18
Qq3k1k3k1v80v80v80m8s3
SAT
0.18
Qq3k1k3k1v80v80v80m16s6
SAT
0.18
Qq3k2k1k2v40v40v40m2s8
SAT
0.18
Qq3k2k1k2v40v40v40m4s0
SAT
0.18
Qq3k2k1k2v40v40v40m4s3
SAT
0.18
Qq3k2k1k2v40v40v40m4s7
SAT
0.18
Qq3k2k1k2v40v40v40m8s4
SAT
0.18
Qq3k2k1k2v40v40v40m16s1
SAT
0.18
Qq3k2k1k2v40v40v40m16s5
SAT
0.18
Qq3k2k1k2v40v40v40m16s7
SAT
0.18
Qq3k2k1k2v40v40v40m16s8
SAT
0.18
Qq3k2k1k2v80v80v80m2s0
SAT
0.18
Qq3k2k1k2v80v80v80m8s4
SAT
0.18
Qq3k2k1k2v80v80v80m8s7
SAT
0.18
Qq3k2k1k2v80v80v80m16s1
SAT
0.18
Qq3k2k2k1v40v40v40m2s0
SAT
0.18
Qq3k2k2k1v40v40v40m2s9
SAT
0.18
Qq3k2k2k1v40v40v40m4s0
SAT
0.18
Qq3k2k2k1v40v40v40m4s3
SAT
0.18
Qq3k2k2k1v40v40v40m8s3
SAT
0.18
Qq3k2k2k1v40v40v40m8s9
SAT
0.18
Qq3k2k2k1v40v40v40m32s3
SAT
0.18
Qq3k2k2k1v80v80v80m8s8
SAT
0.18
Qq3k2k2k1v80v80v80m16s1
SAT
0.18
Qq3k2k2k1v80v80v80m16s7
SAT
0.18
Qq3k2k2k1v80v80v80m32s6
SAT
0.18
Qq3k3k1k1v40v40v40m32s7
SAT
0.18
Qq3k3k1k1v40v40v40m32s9
SAT
0.18
Qq3k3k1k1v80v80v80m4s3
SAT
0.18
Qq3k3k1k1v80v80v80m8s9
SAT
0.18
Qq3k3k1k1v80v80v80m16s0
SAT
0.18
Qq3k3k1k1v80v80v80m16s7
SAT
0.18
Qq3k3k1k1v80v80v80m16s8
SAT
0.18
Qq3k3k1k1v80v80v80m32s0
SAT
0.18
Qq3k3k1k1v80v80v80m32s6
SAT
0.18
2qbf-5cnf-160var-2560cl.8
UNSAT
0.19
3qbf-5cnf-80var-2560cl.9
UNSAT
0.19
ncf_16_32_2_edau.6
SAT
0.19
3qbf-5cnf-40var-320cl.0
SAT
0.19
4qbf-5cnf-160var-640cl.9
SAT
0.19
2qbf-5cnf-40var-160cl.1
UNSAT
0.19
6qbf-5cnf-20var-640cl.0
UNSAT
0.19
3qbf-5cnf-40var-320cl.1
SAT
0.19
6qbf-5cnf-20var-160cl.8
SAT
0.19
6qbf-5cnf-40var-320cl.7
SAT
0.19
4qbf-5cnf-20var-640cl.8
UNSAT
0.19
ncf_16_32_2_u.9
UNSAT
0.19
4qbf-5cnf-80var-2560cl.0
UNSAT
0.19
2qbf-5cnf-80var-1280cl.4
UNSAT
0.19
4qbf-5cnf-20var-640cl.7
UNSAT
0.19
ncf_16_32_2_euad.6
SAT
0.19
3qbf-5cnf-80var-2560cl.5
UNSAT
0.19
3qbf-5cnf-80var-2560cl.7
UNSAT
0.19
2qbf-5cnf-160var-320cl.9
SAT
0.19
6qbf-5cnf-40var-1280cl.3
UNSAT
0.19
ncf_16_32_2_u.8
UNSAT
0.19
6qbf-5cnf-20var-640cl.1
UNSAT
0.19
6qbf-5cnf-20var-640cl.6
UNSAT
0.19
2qbf-5cnf-40var-640cl.2
UNSAT
0.19
6qbf-5cnf-160var-640cl.8
SAT
0.19
4qbf-5cnf-40var-1280cl.0
UNSAT
0.19
ncf_16_32_2_euad.4
UNSAT
0.19
4qbf-5cnf-20var-160cl.1
UNSAT
0.19
4qbf-5cnf-20var-640cl.9
UNSAT
0.19
ncf_4_8_2_u.8
SAT
0.19
3qbf-5cnf-20var-160cl.5
SAT
0.19
ncf_4_8_8_euad.5
UNSAT
0.19
2qbf-5cnf-40var-320cl.0
UNSAT
0.19
3qbf-5cnf-80var-320cl.8
SAT
0.19
5qbf-5cnf-40var-320cl.5
SAT
0.19
6qbf-5cnf-80var-2560cl.7
UNSAT
0.19
2qbf-5cnf-40var-160cl.7
UNSAT
0.19
ncf_4_16_4_euad.5
SAT
0.19
ncf_16_32_4_edau.4
UNSAT
0.19
4qbf-5cnf-80var-320cl.8
SAT
0.19
6qbf-5cnf-40var-1280cl.4
UNSAT
0.19
ncf_4_32_2_edau.4
UNSAT
0.19
3qbf-5cnf-80var-2560cl.4
UNSAT
0.19
4qbf-5cnf-80var-1280cl.2
UNSAT
0.19
4qbf-5cnf-160var-640cl.1
SAT
0.19
3qbf-5cnf-80var-2560cl.8
UNSAT
0.19
ncf_16_32_2_edau.8
UNSAT
0.19
4qbf-5cnf-80var-2560cl.2
UNSAT
0.19
ncf_16_32_2_u.4
UNSAT
0.19
ncf_8_16_4_d.2
UNSAT
0.19
2qbf-5cnf-40var-320cl.3
UNSAT
0.19
ncf_4_8_8_edau.9
UNSAT
0.19
ncf_8_16_4_edau.8
UNSAT
0.19
2qbf-5cnf-40var-640cl.4
UNSAT
0.19
x10.2
UNSAT
0.19
x15.2
UNSAT
0.19
x15.7
UNSAT
0.19
x20.4
UNSAT
0.19
x5.1
UNSAT
0.19
x5.3
UNSAT
0.19
eijk.S208.S-d2
SAT
0.19
vis.eisenberg.E-d2
SAT
0.19
vis.emodel.E-f2
UNSAT
0.19
Qq2k1k4v40v40m2s2
SAT
0.19
Qq2k1k4v40v40m2s5
SAT
0.19
Qq2k1k4v40v40m4s2
UNSAT
0.19
Qq2k1k4v40v40m4s7
SAT
0.19
Qq2k1k4v40v40m8s0
SAT
0.19
Qq2k1k4v40v40m16s1
SAT
0.19
Qq2k1k4v40v40m16s2
UNSAT
0.19
Qq2k1k4v40v40m16s8
SAT
0.19
Qq2k1k4v40v40m32s7
UNSAT
0.19
Qq2k1k4v80v80m2s1
SAT
0.19
Qq2k1k4v80v80m2s6
SAT
0.19
Qq2k1k4v80v80m4s4
SAT
0.19
Qq2k1k4v80v80m4s9
SAT
0.19
Qq2k1k4v80v80m8s4
SAT
0.19
Qq2k1k4v80v80m8s6
SAT
0.19
Qq2k1k4v80v80m8s7
SAT
0.19
Qq2k1k4v80v80m32s5
UNSAT
0.19
Qq2k2k3v40v40m2s2
SAT
0.19
Qq2k2k3v40v40m4s4
SAT
0.19
Qq2k2k3v40v40m8s8
SAT
0.19
Qq2k2k3v40v40m16s1
SAT
0.19
Qq2k2k3v40v40m16s7
SAT
0.19
Qq2k2k3v40v40m32s7
SAT
0.19
Qq2k2k3v80v80m2s0
SAT
0.19
Qq2k2k3v80v80m2s6
SAT
0.19
Qq2k2k3v80v80m8s0
SAT
0.19
Qq2k2k3v80v80m8s9
SAT
0.19
Qq2k2k3v80v80m16s5
SAT
0.19
Qq2k2k3v80v80m32s5
SAT
0.19
Qq2k3k2v40v40m2s6
SAT
0.19
Qq2k3k2v40v40m4s0
SAT
0.19
Qq2k3k2v40v40m4s8
SAT
0.19
Qq2k3k2v40v40m8s2
SAT
0.19
Qq2k3k2v40v40m32s0
SAT
0.19
Qq2k3k2v40v40m32s2
SAT
0.19
Qq2k3k2v80v80m2s2
SAT
0.19
Qq2k3k2v80v80m2s7
SAT
0.19
Qq2k3k2v80v80m8s0
SAT
0.19
Qq2k3k2v80v80m8s2
SAT
0.19
Qq2k3k2v80v80m8s4
SAT
0.19
Qq2k3k2v80v80m16s6
SAT
0.19
Qq3k1k1k3v40v40v40m4s8
SAT
0.19
Qq3k1k1k3v40v40v40m8s2
SAT
0.19
Qq3k1k1k3v40v40v40m32s9
SAT
0.19
Qq3k1k1k3v80v80v80m2s0
SAT
0.19
Qq3k1k1k3v80v80v80m2s5
SAT
0.19
Qq3k1k1k3v80v80v80m4s9
SAT
0.19
Qq3k1k1k3v80v80v80m16s2
SAT
0.19
Qq3k1k1k3v80v80v80m16s5
SAT
0.19
Qq3k1k1k3v80v80v80m32s1
SAT
0.19
Qq3k1k2k2v40v40v40m8s1
SAT
0.19
Qq3k1k2k2v40v40v40m16s7
SAT
0.19
Qq3k1k2k2v40v40v40m32s3
SAT
0.19
Qq3k1k2k2v80v80v80m16s8
SAT
0.19
Qq3k1k3k1v40v40v40m2s2
SAT
0.19
Qq3k1k3k1v40v40v40m2s4
SAT
0.19
Qq3k1k3k1v40v40v40m16s9
SAT
0.19
Qq3k1k3k1v40v40v40m32s6
SAT
0.19
Qq3k1k3k1v40v40v40m32s9
SAT
0.19
Qq3k1k3k1v80v80v80m4s1
SAT
0.19
Qq3k1k3k1v80v80v80m4s4
SAT
0.19
Qq3k1k3k1v80v80v80m4s5
SAT
0.19
Qq3k1k3k1v80v80v80m4s8
SAT
0.19
Qq3k1k3k1v80v80v80m4s9
SAT
0.19
Qq3k1k3k1v80v80v80m8s2
SAT
0.19
Qq3k1k3k1v80v80v80m16s5
SAT
0.19
Qq3k2k1k2v40v40v40m2s4
SAT
0.19
Qq3k2k1k2v40v40v40m8s0
SAT
0.19
Qq3k2k1k2v40v40v40m16s2
SAT
0.19
Qq3k2k1k2v40v40v40m32s4
SAT
0.19
Qq3k2k1k2v80v80v80m4s4
SAT
0.19
Qq3k2k1k2v80v80v80m4s7
SAT
0.19
Qq3k2k1k2v80v80v80m4s9
SAT
0.19
Qq3k2k1k2v80v80v80m16s5
SAT
0.19
Qq3k2k1k2v80v80v80m32s2
SAT
0.19
Qq3k2k1k2v80v80v80m32s6
SAT
0.19
Qq3k2k2k1v40v40v40m2s3
SAT
0.19
Qq3k2k2k1v40v40v40m4s1
SAT
0.19
Qq3k2k2k1v40v40v40m4s4
SAT
0.19
Qq3k2k2k1v40v40v40m4s8
SAT
0.19
Qq3k2k2k1v40v40v40m4s9
SAT
0.19
Qq3k2k2k1v40v40v40m8s8
SAT
0.19
Qq3k2k2k1v40v40v40m32s0
SAT
0.19
Qq3k2k2k1v80v80v80m8s4
SAT
0.19
Qq3k3k1k1v40v40v40m2s4
SAT
0.19
Qq3k3k1k1v40v40v40m4s1
SAT
0.19
Qq3k3k1k1v40v40v40m4s8
SAT
0.19
Qq3k3k1k1v40v40v40m8s5
SAT
0.19
Qq3k3k1k1v40v40v40m8s7
SAT
0.19
Qq3k3k1k1v40v40v40m32s6
SAT
0.19
Qq3k3k1k1v80v80v80m2s0
SAT
0.19
Qq3k3k1k1v80v80v80m2s1
SAT
0.19
Qq3k3k1k1v80v80v80m2s3
SAT
0.19
Qq3k3k1k1v80v80v80m8s4
SAT
0.19
Qq3k3k1k1v80v80v80m8s7
SAT
0.19
ncf_4_16_4_u.10
UNSAT
0.2
ncf_16_32_2_u.5
UNSAT
0.2
6qbf-5cnf-40var-320cl.6
SAT
0.2
3qbf-5cnf-40var-320cl.7
SAT
0.2
6qbf-5cnf-160var-640cl.2
SAT
0.2
3qbf-5cnf-160var-640cl.3
SAT
0.2
ncf_4_16_2_euad.10
UNSAT
0.2
5qbf-5cnf-40var-320cl.8
SAT
0.2
4qbf-5cnf-160var-640cl.4
SAT
0.2
ncf_16_32_4_u.5
UNSAT
0.2
2qbf-5cnf-40var-160cl.3
SAT
0.2
4qbf-5cnf-80var-320cl.5
SAT
0.2
4qbf-5cnf-80var-320cl.7
SAT
0.2
5qbf-5cnf-160var-640cl.4
SAT
0.2
ncf_4_8_4_u.9
SAT
0.2
6qbf-5cnf-80var-640cl.1
SAT
0.2
6qbf-5cnf-20var-160cl.0
SAT
0.2
3qbf-5cnf-20var-160cl.4
SAT
0.2
ncf_16_32_2_edau.2
UNSAT
0.2
4qbf-5cnf-40var-640cl.7
UNSAT
0.2
6qbf-5cnf-40var-1280cl.1
UNSAT
0.2
2qbf-5cnf-160var-320cl.1
SAT
0.2
ncf_4_8_4_euad.3
UNSAT
0.2
2qbf-5cnf-160var-2560cl.1
UNSAT
0.2
5qbf-5cnf-80var-640cl.3
SAT
0.2
4qbf-5cnf-80var-2560cl.3
UNSAT
0.2
3qbf-5cnf-80var-320cl.2
SAT
0.2
k_poly_p-12
UNSAT
0.2
3qbf-5cnf-80var-320cl.4
SAT
0.2
2qbf-5cnf-40var-320cl.1
UNSAT
0.2
4qbf-5cnf-160var-640cl.8
SAT
0.2
ncf_4_16_4_u.6
UNSAT
0.2
ncf_16_32_2_edau.7
UNSAT
0.2
4qbf-5cnf-160var-640cl.2
SAT
0.2
2qbf-5cnf-80var-1280cl.9
UNSAT
0.2
eijk.S298.S-d2
SAT
0.2
vis.bakery.E-d2
SAT
0.2
Qq2k1k4v40v40m4s1
SAT
0.2
Qq2k1k4v40v40m8s5
SAT
0.2
Qq2k1k4v40v40m8s7
SAT
0.2
Qq2k1k4v40v40m16s0
UNSAT
0.2
Qq2k1k4v40v40m16s3
UNSAT
0.2
Qq2k1k4v40v40m32s0
UNSAT
0.2
Qq2k1k4v40v40m32s2
UNSAT
0.2
Qq2k1k4v40v40m32s8
UNSAT
0.2
Qq2k1k4v80v80m2s8
SAT
0.2
Qq2k1k4v80v80m8s2
SAT
0.2
Qq2k1k4v80v80m8s9
SAT
0.2
Qq2k1k4v80v80m16s9
SAT
0.2
Qq2k2k3v40v40m4s5
SAT
0.2
Qq2k2k3v40v40m8s1
SAT
0.2
Qq2k2k3v40v40m8s2
SAT
0.2
Qq2k2k3v40v40m8s7
SAT
0.2
Qq2k2k3v40v40m8s9
SAT
0.2
Qq2k2k3v40v40m16s5
SAT
0.2
Qq2k2k3v40v40m32s0
SAT
0.2
Qq2k2k3v80v80m4s2
SAT
0.2
Qq2k2k3v80v80m4s5
SAT
0.2
Qq2k2k3v80v80m8s5
SAT
0.2
Qq2k2k3v80v80m32s1
SAT
0.2
Qq2k2k3v80v80m32s7
SAT
0.2
Qq2k3k2v40v40m4s6
SAT
0.2
Qq2k3k2v40v40m8s3
SAT
0.2
Qq2k3k2v40v40m8s7
SAT
0.2
Qq2k3k2v40v40m32s6
SAT
0.2
Qq2k3k2v80v80m2s3
SAT
0.2
Qq2k3k2v80v80m4s9
SAT
0.2
Qq2k3k2v80v80m16s4
SAT
0.2
Qq2k3k2v80v80m16s5
SAT
0.2
Qq2k3k2v80v80m16s8
SAT
0.2
Qq3k1k1k3v40v40v40m2s2
SAT
0.2
Qq3k1k1k3v40v40v40m4s3
SAT
0.2
Qq3k1k1k3v40v40v40m32s1
SAT
0.2
Qq3k1k1k3v40v40v40m32s6
SAT
0.2
Qq3k1k1k3v40v40v40m32s7
SAT
0.2
Qq3k1k1k3v80v80v80m2s1
SAT
0.2
Qq3k1k1k3v80v80v80m4s1
SAT
0.2
Qq3k1k1k3v80v80v80m8s3
SAT
0.2
Qq3k1k1k3v80v80v80m8s6
SAT
0.2
Qq3k1k1k3v80v80v80m8s9
SAT
0.2
Qq3k1k1k3v80v80v80m16s1
SAT
0.2
Qq3k1k1k3v80v80v80m32s4
SAT
0.2
Qq3k1k2k2v40v40v40m2s4
SAT
0.2
Qq3k1k2k2v40v40v40m4s1
SAT
0.2
Qq3k1k2k2v40v40v40m8s9
SAT
0.2
Qq3k1k2k2v40v40v40m32s9
SAT
0.2
Qq3k1k2k2v80v80v80m2s2
SAT
0.2
Qq3k1k2k2v80v80v80m2s9
SAT
0.2
Qq3k1k2k2v80v80v80m4s7
SAT
0.2
Qq3k1k2k2v80v80v80m8s5
SAT
0.2
Qq3k1k2k2v80v80v80m16s4
SAT
0.2
Qq3k1k2k2v80v80v80m32s2
SAT
0.2
Qq3k1k2k2v80v80v80m32s5
SAT
0.2
Qq3k1k2k2v80v80v80m32s6
SAT
0.2
Qq3k1k3k1v40v40v40m2s9
SAT
0.2
Qq3k1k3k1v40v40v40m4s7
SAT
0.2
Qq3k1k3k1v40v40v40m8s2
SAT
0.2
Qq3k1k3k1v80v80v80m2s4
SAT
0.2
Qq3k1k3k1v80v80v80m16s4
SAT
0.2
Qq3k1k3k1v80v80v80m16s8
SAT
0.2
Qq3k2k1k2v40v40v40m2s3
SAT
0.2
Qq3k2k1k2v40v40v40m32s1
SAT
0.2
Qq3k2k1k2v40v40v40m32s5
SAT
0.2
Qq3k2k1k2v80v80v80m2s3
SAT
0.2
Qq3k2k1k2v80v80v80m8s1
SAT
0.2
Qq3k2k1k2v80v80v80m32s1
SAT
0.2
Qq3k2k1k2v80v80v80m32s8
SAT
0.2
Qq3k2k1k2v80v80v80m32s9
SAT
0.2
Qq3k2k2k1v40v40v40m2s2
SAT
0.2
Qq3k2k2k1v40v40v40m4s5
SAT
0.2
Qq3k2k2k1v40v40v40m8s2
SAT
0.2
Qq3k2k2k1v40v40v40m32s7
SAT
0.2
Qq3k2k2k1v80v80v80m4s3
SAT
0.2
Qq3k2k2k1v80v80v80m16s6
SAT
0.2
Qq3k3k1k1v40v40v40m4s9
SAT
0.2
Qq3k3k1k1v40v40v40m8s2
SAT
0.2
Qq3k3k1k1v40v40v40m16s3
SAT
0.2
Qq3k3k1k1v80v80v80m2s7
SAT
0.2
Qq3k3k1k1v80v80v80m2s8
SAT
0.2
Qq3k3k1k1v80v80v80m4s8
SAT
0.2
Qq3k3k1k1v80v80v80m32s3
SAT
0.2
Qq3k3k1k1v80v80v80m32s4
SAT
0.2
ncf_4_8_8_u.9
UNSAT
0.21
2qbf-5cnf-160var-2560cl.5
UNSAT
0.21
BLOCKS4iii.6
UNSAT
0.21
2qbf-5cnf-160var-320cl.5
SAT
0.21
ncf_16_32_2_edau.4
UNSAT
0.21
ncf_16_32_2_edau.5
UNSAT
0.21
3qbf-5cnf-20var-160cl.0
SAT
0.21
4qbf-5cnf-20var-640cl.4
UNSAT
0.21
3qbf-5cnf-160var-640cl.0
SAT
0.21
5qbf-5cnf-80var-640cl.6
SAT
0.21
ncf_4_16_2_edau.6
SAT
0.21
ncf_4_32_2_u.3
UNSAT
0.21
6qbf-5cnf-80var-2560cl.6
UNSAT
0.21
4qbf-5cnf-40var-1280cl.6
UNSAT
0.21
4qbf-5cnf-80var-2560cl.1
UNSAT
0.21
5qbf-5cnf-20var-640cl.0
UNSAT
0.21
2qbf-5cnf-160var-2560cl.4
UNSAT
0.21
ncf_4_8_2_u.3
UNSAT
0.21
5qbf-5cnf-80var-2560cl.2
UNSAT
0.21
5qbf-5cnf-80var-640cl.4
SAT
0.21
ncf_4_16_2_edau.10
UNSAT
0.21
6qbf-5cnf-20var-640cl.9
UNSAT
0.21
2qbf-5cnf-160var-2560cl.7
UNSAT
0.21
ncf_8_16_4_d.5
UNSAT
0.21
3qbf-5cnf-20var-160cl.6
SAT
0.21
4qbf-5cnf-160var-640cl.5
SAT
0.21
ncf_4_32_2_u.9
UNSAT
0.21
3qbf-5cnf-20var-160cl.3
SAT
0.21
3qbf-5cnf-160var-640cl.9
SAT
0.21
ncf_16_32_4_edau.9
SAT
0.21
2qbf-5cnf-160var-5120cl.4
UNSAT
0.21
ncf_16_32_2_d.4
UNSAT
0.21
ncf_8_16_4_d.8
UNSAT
0.21
ncf_4_8_8_d.9
UNSAT
0.21
2qbf-5cnf-80var-1280cl.8
UNSAT
0.21
2qbf-5cnf-80var-1280cl.1
UNSAT
0.21
3qbf-5cnf-80var-320cl.6
SAT
0.21
6qbf-5cnf-20var-160cl.7
SAT
0.21
ncf_4_8_2_u.10
SAT
0.21
x10.0
UNSAT
0.21
x5.6
UNSAT
0.21
eijk.S820.S-d2
SAT
0.21
Qq2k1k4v40v40m2s8
SAT
0.21
Qq2k1k4v40v40m4s0
SAT
0.21
Qq2k1k4v40v40m8s6
UNSAT
0.21
Qq2k1k4v40v40m8s8
SAT
0.21
Qq2k1k4v80v80m16s1
SAT
0.21
Qq2k1k4v80v80m16s5
SAT
0.21
Qq2k2k3v40v40m2s5
SAT
0.21
Qq2k2k3v80v80m16s2
SAT
0.21
Qq2k3k2v40v40m4s2
SAT
0.21
Qq2k3k2v40v40m8s0
SAT
0.21
Qq2k3k2v40v40m8s4
SAT
0.21
Qq2k3k2v40v40m16s4
SAT
0.21
Qq2k3k2v40v40m32s4
SAT
0.21
Qq2k3k2v80v80m4s4
SAT
0.21
Qq2k3k2v80v80m4s7
SAT
0.21
Qq3k1k1k3v40v40v40m8s1
SAT
0.21
Qq3k1k1k3v40v40v40m32s8
SAT
0.21
Qq3k1k1k3v80v80v80m2s3
SAT
0.21
Qq3k1k1k3v80v80v80m4s3
SAT
0.21
Qq3k1k1k3v80v80v80m4s6
SAT
0.21
Qq3k1k1k3v80v80v80m32s0
SAT
0.21
Qq3k1k1k3v80v80v80m32s8
SAT
0.21
Qq3k1k2k2v40v40v40m4s2
SAT
0.21
Qq3k1k2k2v40v40v40m16s0
SAT
0.21
Qq3k1k2k2v80v80v80m2s1
SAT
0.21
Qq3k1k2k2v80v80v80m2s4
SAT
0.21
Qq3k1k2k2v80v80v80m4s4
SAT
0.21
Qq3k1k2k2v80v80v80m4s8
SAT
0.21
Qq3k1k2k2v80v80v80m8s4
SAT
0.21
Qq3k1k2k2v80v80v80m8s9
SAT
0.21
Qq3k1k2k2v80v80v80m16s1
SAT
0.21
Qq3k1k3k1v40v40v40m4s6
SAT
0.21
Qq3k1k3k1v40v40v40m8s4
SAT
0.21
Qq3k1k3k1v40v40v40m8s6
SAT
0.21
Qq3k1k3k1v40v40v40m8s9
SAT
0.21
Qq3k1k3k1v40v40v40m16s5
SAT
0.21
Qq3k1k3k1v40v40v40m16s7
SAT
0.21
Qq3k1k3k1v40v40v40m32s0
SAT
0.21
Qq3k1k3k1v40v40v40m32s1
SAT
0.21
Qq3k1k3k1v40v40v40m32s4
SAT
0.21
Qq3k1k3k1v40v40v40m32s8
SAT
0.21
Qq3k1k3k1v80v80v80m2s2
SAT
0.21
Qq3k1k3k1v80v80v80m8s4
SAT
0.21
Qq3k1k3k1v80v80v80m8s9
SAT
0.21
Qq3k1k3k1v80v80v80m16s1
SAT
0.21
Qq3k1k3k1v80v80v80m16s3
SAT
0.21
Qq3k1k3k1v80v80v80m16s9
SAT
0.21
Qq3k2k1k2v40v40v40m4s1
SAT
0.21
Qq3k2k1k2v40v40v40m4s4
SAT
0.21
Qq3k2k1k2v40v40v40m8s3
SAT
0.21
Qq3k2k1k2v40v40v40m16s9
SAT
0.21
Qq3k2k1k2v80v80v80m2s9
SAT
0.21
Qq3k2k1k2v80v80v80m4s6
SAT
0.21
Qq3k2k1k2v80v80v80m8s6
SAT
0.21
Qq3k2k2k1v40v40v40m4s2
SAT
0.21
Qq3k2k2k1v40v40v40m8s6
SAT
0.21
Qq3k2k2k1v40v40v40m8s7
SAT
0.21
Qq3k2k2k1v80v80v80m4s4
SAT
0.21
Qq3k2k2k1v80v80v80m4s8
SAT
0.21
Qq3k2k2k1v80v80v80m4s9
SAT
0.21
Qq3k2k2k1v80v80v80m16s0
SAT
0.21
Qq3k2k2k1v80v80v80m32s2
SAT
0.21
Qq3k3k1k1v40v40v40m8s0
SAT
0.21
Qq3k3k1k1v40v40v40m8s9
SAT
0.21
Qq3k3k1k1v40v40v40m16s9
SAT
0.21
Qq3k3k1k1v80v80v80m32s2
SAT
0.21
Qq3k3k1k1v80v80v80m32s5
SAT
0.21
6qbf-5cnf-80var-2560cl.8
UNSAT
0.22
ncf_4_8_2_u.1
UNSAT
0.22
5qbf-5cnf-160var-640cl.8
SAT
0.22
ncf_16_32_4_d.4
UNSAT
0.22
ncf_16_32_2_u.6
SAT
0.22
ncf_4_16_4_euad.6
UNSAT
0.22
2qbf-5cnf-160var-2560cl.2
UNSAT
0.22
3qbf-5cnf-20var-160cl.7
SAT
0.22
ncf_8_16_4_euad.10
SAT
0.22
4qbf-5cnf-20var-320cl.4
UNSAT
0.22
4qbf-5cnf-20var-640cl.6
UNSAT
0.22
2qbf-5cnf-80var-640cl.5
UNSAT
0.22
2qbf-5cnf-80var-1280cl.3
UNSAT
0.22
6qbf-5cnf-20var-640cl.2
UNSAT
0.22
6qbf-5cnf-80var-640cl.9
SAT
0.22
ncf_8_16_8_euad.6
UNSAT
0.22
5qbf-5cnf-20var-320cl.3
UNSAT
0.22
6qbf-5cnf-160var-640cl.4
SAT
0.22
3qbf-5cnf-80var-2560cl.2
UNSAT
0.22
3qbf-5cnf-20var-160cl.1
SAT
0.22
ncf_16_32_4_u.1
SAT
0.22
6qbf-5cnf-40var-1280cl.2
UNSAT
0.22
ncf_4_32_2_edau.2
SAT
0.22
4qbf-5cnf-40var-640cl.8
UNSAT
0.22
ncf_4_16_4_euad.10
UNSAT
0.22
ncf_4_8_2_u.2
SAT
0.22
ncf_16_32_4_euad.1
SAT
0.22
x10.1
UNSAT
0.22
x15.1
SAT
0.22
x15.6
UNSAT
0.22
vis.4-arbit^1.E-d2
SAT
0.22
Qq2k1k4v80v80m4s2
SAT
0.22
Qq2k1k4v80v80m8s3
SAT
0.22
Qq2k1k4v80v80m8s8
SAT
0.22
Qq2k2k3v40v40m2s6
SAT
0.22
Qq2k2k3v40v40m4s2
SAT
0.22
Qq2k2k3v40v40m8s0
SAT
0.22
Qq2k2k3v40v40m16s8
SAT
0.22
Qq2k2k3v40v40m32s1
SAT
0.22
Qq2k2k3v80v80m8s8
SAT
0.22
Qq2k2k3v80v80m32s9
SAT
0.22
Qq2k3k2v40v40m2s9
SAT
0.22
Qq2k3k2v40v40m32s5
SAT
0.22
Qq2k3k2v80v80m2s4
SAT
0.22
Qq2k3k2v80v80m2s9
SAT
0.22
Qq2k3k2v80v80m32s2
SAT
0.22
Qq2k3k2v80v80m32s5
SAT
0.22
Qq2k3k2v80v80m32s7
SAT
0.22
Qq3k1k1k3v40v40v40m2s8
SAT
0.22
Qq3k1k1k3v40v40v40m4s5
SAT
0.22
Qq3k1k1k3v40v40v40m16s3
SAT
0.22
Qq3k1k1k3v40v40v40m32s2
SAT
0.22
Qq3k1k1k3v40v40v40m32s4
SAT
0.22
Qq3k1k1k3v80v80v80m32s5
SAT
0.22
Qq3k1k2k2v40v40v40m8s5
SAT
0.22
Qq3k1k2k2v40v40v40m16s1
SAT
0.22
Qq3k1k2k2v40v40v40m32s2
SAT
0.22
Qq3k1k2k2v80v80v80m8s7
SAT
0.22
Qq3k1k2k2v80v80v80m8s8
SAT
0.22
Qq3k1k2k2v80v80v80m16s5
SAT
0.22
Qq3k1k2k2v80v80v80m16s7
SAT
0.22
Qq3k1k2k2v80v80v80m16s9
SAT
0.22
Qq3k1k3k1v40v40v40m2s5
SAT
0.22
Qq3k1k3k1v80v80v80m2s6
SAT
0.22
Qq3k1k3k1v80v80v80m8s7
SAT
0.22
Qq3k1k3k1v80v80v80m16s0
SAT
0.22
Qq3k1k3k1v80v80v80m32s2
SAT
0.22
Qq3k2k1k2v40v40v40m4s9
SAT
0.22
Qq3k2k1k2v80v80v80m2s7
SAT
0.22
Qq3k2k1k2v80v80v80m4s0
SAT
0.22
Qq3k2k1k2v80v80v80m16s4
SAT
0.22
Qq3k2k2k1v80v80v80m2s3
SAT
0.22
Qq3k2k2k1v80v80v80m8s2
SAT
0.22
Qq3k2k2k1v80v80v80m8s7
SAT
0.22
Qq3k3k1k1v80v80v80m2s2
SAT
0.22
Qq3k3k1k1v80v80v80m2s5
SAT
0.22
Qq3k3k1k1v80v80v80m4s2
SAT
0.22
Qq3k3k1k1v80v80v80m16s4
SAT
0.22
Qq3k3k1k1v80v80v80m16s5
SAT
0.22
Qq3k3k1k1v80v80v80m32s8
SAT
0.22
6qbf-5cnf-40var-320cl.9
SAT
0.23
mutex-64-s
SAT
0.23
4qbf-5cnf-80var-320cl.1
SAT
0.23
3qbf-5cnf-80var-2560cl.0
UNSAT
0.23
3qbf-5cnf-80var-320cl.7
SAT
0.23
ncf_4_8_8_d.5
UNSAT
0.23
6qbf-5cnf-80var-640cl.2
SAT
0.23
ncf_4_16_2_euad.9
SAT
0.23
ncf_16_32_4_euad.9
SAT
0.23
6qbf-5cnf-80var-2560cl.0
UNSAT
0.23
2qbf-5cnf-160var-320cl.7
SAT
0.23
ncf_4_8_4_euad.8
UNSAT
0.23
6qbf-5cnf-20var-640cl.8
UNSAT
0.23
4qbf-5cnf-40var-1280cl.4
UNSAT
0.23
4qbf-5cnf-80var-2560cl.7
UNSAT
0.23
5qbf-5cnf-80var-640cl.1
SAT
0.23
ncf_16_32_4_euad.4
UNSAT
0.23
6qbf-5cnf-40var-1280cl.9
UNSAT
0.23
4qbf-5cnf-20var-640cl.0
UNSAT
0.23
6qbf-5cnf-160var-640cl.1
SAT
0.23
4qbf-5cnf-160var-2560cl.5
UNSAT
0.23
2qbf-5cnf-160var-2560cl.3
UNSAT
0.23
4qbf-5cnf-20var-160cl.9
SAT
0.23
ncf_4_8_2_euad.7
UNSAT
0.23
ncf_16_32_4_euad.5
UNSAT
0.23
ncf_8_16_4_u.8
UNSAT
0.23
3qbf-5cnf-160var-640cl.2
SAT
0.23
5qbf-5cnf-80var-640cl.8
SAT
0.23
5qbf-5cnf-160var-640cl.5
SAT
0.23
ncf_4_8_2_euad.2
SAT
0.23
3qbf-5cnf-80var-320cl.5
SAT
0.23
2qbf-5cnf-40var-640cl.8
UNSAT
0.23
4qbf-5cnf-40var-1280cl.1
UNSAT
0.23
x10.6
UNSAT
0.23
x15.0
UNSAT
0.23
eijk.S953.S-d2
SAT
0.23
Qq2k1k4v40v40m2s0
SAT
0.23
Qq2k1k4v40v40m2s1
SAT
0.23
Qq2k1k4v40v40m2s6
SAT
0.23
Qq2k1k4v40v40m4s9
SAT
0.23
Qq2k1k4v80v80m2s0
SAT
0.23
Qq2k2k3v40v40m8s6
SAT
0.23
Qq2k2k3v40v40m32s4
SAT
0.23
Qq2k2k3v80v80m8s6
SAT
0.23
Qq2k3k2v40v40m4s9
SAT
0.23
Qq2k3k2v40v40m8s5
SAT
0.23
Qq3k1k1k3v40v40v40m4s9
SAT
0.23
Qq3k1k1k3v40v40v40m32s5
SAT
0.23
Qq3k1k1k3v80v80v80m4s7
SAT
0.23
Qq3k1k2k2v40v40v40m4s5
SAT
0.23
Qq3k1k2k2v40v40v40m8s4
SAT
0.23
Qq3k1k2k2v40v40v40m32s7
SAT
0.23
Qq3k1k2k2v80v80v80m2s3
SAT
0.23
Qq3k1k3k1v40v40v40m2s6
SAT
0.23
Qq3k1k3k1v40v40v40m8s8
SAT
0.23
Qq3k1k3k1v80v80v80m2s9
SAT
0.23
Qq3k1k3k1v80v80v80m8s5
SAT
0.23
Qq3k2k1k2v40v40v40m8s1
SAT
0.23
Qq3k2k1k2v80v80v80m2s6
SAT
0.23
Qq3k2k1k2v80v80v80m8s8
SAT
0.23
Qq3k2k1k2v80v80v80m16s6
SAT
0.23
Qq3k2k2k1v40v40v40m4s6
SAT
0.23
Qq3k2k2k1v80v80v80m2s6
SAT
0.23
Qq3k2k2k1v80v80v80m8s5
SAT
0.23
Qq3k2k2k1v80v80v80m16s3
SAT
0.23
Qq3k2k2k1v80v80v80m32s5
SAT
0.23
Qq3k3k1k1v40v40v40m4s3
SAT
0.23
Qq3k3k1k1v40v40v40m4s4
SAT
0.23
Qq3k3k1k1v40v40v40m8s6
SAT
0.23
Qq3k3k1k1v40v40v40m16s2
SAT
0.23
Qq3k3k1k1v40v40v40m16s5
SAT
0.23
Qq3k3k1k1v40v40v40m16s7
SAT
0.23
Qq3k3k1k1v80v80v80m16s1
SAT
0.23
6qbf-5cnf-80var-2560cl.9
UNSAT
0.24
2qbf-5cnf-160var-2560cl.9
UNSAT
0.24
2qbf-5cnf-40var-320cl.8
UNSAT
0.24
4qbf-5cnf-20var-160cl.5
UNSAT
0.24
2qbf-5cnf-160var-5120cl.3
UNSAT
0.24
ncf_4_8_2_euad.4
UNSAT
0.24
4qbf-5cnf-20var-160cl.6
UNSAT
0.24
6qbf-5cnf-80var-2560cl.1
UNSAT
0.24
5qbf-5cnf-20var-640cl.8
UNSAT
0.24
4qbf-5cnf-20var-320cl.1
UNSAT
0.24
2qbf-5cnf-80var-1280cl.6
UNSAT
0.24
2qbf-5cnf-160var-5120cl.7
UNSAT
0.24
2qbf-5cnf-160var-5120cl.9
UNSAT
0.24
4qbf-5cnf-80var-2560cl.8
UNSAT
0.24
4qbf-5cnf-20var-320cl.9
UNSAT
0.24
ncf_4_16_4_d.6
UNSAT
0.24
ncf_4_16_2_u.6
SAT
0.24
tree-exa2-50
UNSAT
0.24
ncf_16_32_2_euad.8
UNSAT
0.24
ncf_4_32_2_u.1
UNSAT
0.24
ncf_4_8_2_u.5
SAT
0.24
5qbf-5cnf-40var-320cl.9
SAT
0.24
3qbf-5cnf-40var-320cl.2
SAT
0.24
6qbf-5cnf-20var-160cl.6
SAT
0.24
6qbf-5cnf-80var-2560cl.2
UNSAT
0.24
4qbf-5cnf-80var-2560cl.9
UNSAT
0.24
x10.9
UNSAT
0.24
eijk.S386.S-d2
SAT
0.24
eijk.S444.S-d2
SAT
0.24
Qq2k1k4v40v40m16s5
SAT
0.24
Qq2k1k4v40v40m32s1
UNSAT
0.24
Qq2k1k4v80v80m4s7
SAT
0.24
Qq2k1k4v80v80m16s0
UNSAT
0.24
Qq2k2k3v40v40m4s6
SAT
0.24
Qq2k2k3v80v80m4s4
SAT
0.24
Qq2k2k3v80v80m16s8
SAT
0.24
Qq2k3k2v80v80m16s2
SAT
0.24
Qq3k1k1k3v40v40v40m4s1
SAT
0.24
Qq3k1k1k3v40v40v40m8s8
SAT
0.24
Qq3k1k1k3v80v80v80m4s8
SAT
0.24
Qq3k1k1k3v80v80v80m8s8
SAT
0.24
Qq3k1k2k2v40v40v40m2s3
SAT
0.24
Qq3k1k3k1v40v40v40m4s1
SAT
0.24
Qq3k2k1k2v40v40v40m4s6
SAT
0.24
Qq3k2k2k1v40v40v40m8s1
SAT
0.24
Qq3k2k2k1v40v40v40m16s3
SAT
0.24
Qq3k2k2k1v40v40v40m32s6
SAT
0.24
Qq3k2k2k1v80v80v80m2s2
SAT
0.24
Qq3k2k2k1v80v80v80m16s8
SAT
0.24
Qq3k3k1k1v80v80v80m8s1
SAT
0.24
CHAIN20v.21
SAT
0.25
3qbf-5cnf-20var-320cl.0
UNSAT
0.25
ncf_4_8_2_u.9
SAT
0.25
3qbf-5cnf-20var-320cl.2
UNSAT
0.25
ncf_4_16_2_edau.7
SAT
0.25
2qbf-5cnf-40var-160cl.0
SAT
0.25
ncf_16_32_2_euad.1
UNSAT
0.25
ncf_4_16_2_u.7
SAT
0.25
6qbf-5cnf-80var-2560cl.4
UNSAT
0.25
4qbf-5cnf-20var-320cl.7
UNSAT
0.25
ncf_4_8_2_u.6
SAT
0.25
ncf_4_32_2_u.2
SAT
0.25
2qbf-5cnf-160var-5120cl.5
UNSAT
0.25
2qbf-5cnf-160var-5120cl.8
UNSAT
0.25
BLOCKS3iii.5
SAT
0.25
x15.9
UNSAT
0.25
Qq2k1k4v80v80m16s3
UNSAT
0.25
Qq2k1k4v80v80m16s4
SAT
0.25
Qq2k2k3v40v40m2s1
SAT
0.25
Qq2k3k2v80v80m16s7
SAT
0.25
Qq3k1k1k3v80v80v80m8s5
SAT
0.25
Qq3k1k1k3v80v80v80m16s0
SAT
0.25
Qq3k1k2k2v40v40v40m8s0
SAT
0.25
Qq3k1k2k2v40v40v40m16s2
SAT
0.25
Qq3k1k2k2v80v80v80m4s2
SAT
0.25
Qq3k1k3k1v40v40v40m2s1
SAT
0.25
Qq3k2k1k2v40v40v40m8s9
SAT
0.25
Qq3k2k1k2v80v80v80m2s8
SAT
0.25
Qq3k2k2k1v40v40v40m16s4
SAT
0.25
Qq3k2k2k1v80v80v80m8s0
SAT
0.25
Qq3k3k1k1v40v40v40m16s0
SAT
0.25
6qbf-5cnf-80var-2560cl.5
UNSAT
0.26
4qbf-5cnf-80var-320cl.0
SAT
0.26
lut4_2_fXOR
SAT
0.26
ncf_16_32_2_d.7
UNSAT
0.26
ncf_4_16_4_edau.10
UNSAT
0.26
4qbf-5cnf-80var-1280cl.6
UNSAT
0.26
2qbf-5cnf-160var-5120cl.2
UNSAT
0.26
ncf_16_32_4_d.1
SAT
0.26
3qbf-5cnf-20var-320cl.8
UNSAT
0.26
ncf_4_16_2_d.1
UNSAT
0.26
ncf_4_16_4_edau.5
SAT
0.26
ncf_8_16_8_euad.7
UNSAT
0.26
2qbf-5cnf-40var-160cl.8
SAT
0.26
ncf_16_32_2_euad.2
UNSAT
0.26
ncf_4_8_4_u.8
UNSAT
0.26
5qbf-5cnf-80var-640cl.2
SAT
0.26
2qbf-5cnf-160var-5120cl.0
UNSAT
0.26
ncf_4_8_2_euad.5
SAT
0.26
ncf_16_32_4_d.9
SAT
0.26
ncf_8_16_8_d.7
UNSAT
0.26
3qbf-5cnf-80var-2560cl.3
UNSAT
0.26
x15.4
UNSAT
0.26
x15.5
UNSAT
0.26
eijk.S344.S-d2
SAT
0.26
Qq2k2k3v80v80m32s2
SAT
0.26
Qq2k3k2v40v40m8s8
SAT
0.26
Qq3k1k1k3v80v80v80m2s9
SAT
0.26
Qq3k1k2k2v80v80v80m32s9
SAT
0.26
Qq3k1k3k1v40v40v40m32s7
SAT
0.26
Qq3k2k1k2v40v40v40m32s7
SAT
0.26
Qq3k2k2k1v40v40v40m16s0
SAT
0.26
Qq3k2k2k1v80v80v80m32s3
SAT
0.26
Qq3k3k1k1v80v80v80m4s0
SAT
0.26
Qq3k3k1k1v80v80v80m8s8
SAT
0.26
Qq3k3k1k1v80v80v80m16s6
SAT
0.26
2qbf-5cnf-160var-2560cl.6
UNSAT
0.27
6qbf-5cnf-20var-640cl.4
UNSAT
0.27
ncf_16_32_2_d.1
UNSAT
0.27
5qbf-5cnf-20var-320cl.9
UNSAT
0.27
CHAIN23v.24
SAT
0.27
4qbf-5cnf-160var-5120cl.5
UNSAT
0.27
ncf_8_16_4_u.5
UNSAT
0.27
qshifter_5
SAT
0.27
6qbf-5cnf-40var-320cl.0
UNSAT
0.27
3qbf-5cnf-160var-640cl.6
SAT
0.27
3qbf-5cnf-20var-320cl.4
UNSAT
0.27
2qbf-5cnf-160var-5120cl.6
UNSAT
0.27
Qq2k2k3v80v80m16s7
SAT
0.27
Qq3k1k1k3v40v40v40m8s6
SAT
0.27
Qq3k1k2k2v40v40v40m16s6
SAT
0.27
Qq3k2k1k2v80v80v80m4s2
SAT
0.27
2qbf-5cnf-40var-160cl.9
SAT
0.28
5qbf-5cnf-20var-320cl.2
UNSAT
0.28
ncf_4_16_2_euad.1
UNSAT
0.28
ncf_8_16_8_edau.7
UNSAT
0.28
C880.blif_0.10_1.00_0_1_inp_exact
SAT
0.28
6qbf-5cnf-20var-160cl.3
UNSAT
0.28
ncf_4_16_2_u.9
SAT
0.28
ncf_4_32_2_edau.9
UNSAT
0.28
eijk.S1238.S-d2
SAT
0.28
eijk.S349.S-d2
SAT
0.28
Qq2k3k2v40v40m32s9
SAT
0.28
Qq3k1k1k3v40v40v40m16s0
SAT
0.28
Qq3k1k3k1v40v40v40m2s0
SAT
0.28
3qbf-5cnf-20var-320cl.9
UNSAT
0.29
6qbf-5cnf-20var-320cl.5
UNSAT
0.29
2qbf-5cnf-80var-640cl.0
UNSAT
0.29
ncf_16_32_2_euad.9
UNSAT
0.29
ncf_16_32_2_d.5
UNSAT
0.29
ncf_4_8_4_euad.7
UNSAT
0.29
6qbf-5cnf-160var-2560cl.0
UNSAT
0.29
irst.dme6.B-d2
SAT
0.29
vis.emodel.E-d2
SAT
0.29
sortnetsort5.v.stepl.003
UNSAT
0.29
Qq2k1k4v80v80m4s1
SAT
0.29
Qq2k3k2v80v80m2s8
SAT
0.29
Qq3k1k2k2v80v80v80m8s3
SAT
0.29
Qq3k2k1k2v80v80v80m16s8
SAT
0.29
Qq3k2k2k1v40v40v40m16s9
SAT
0.29
ncf_4_16_2_edau.9
SAT
0.3
CHAIN22v.23
SAT
0.3
6qbf-5cnf-80var-640cl.3
SAT
0.3
5qbf-5cnf-20var-320cl.7
UNSAT
0.3
irst.dme5.B-d2
SAT
0.3
vis.coherence^1.E-d2
SAT
0.3
Qq3k3k1k1v40v40v40m2s5
SAT
0.3
5qbf-5cnf-40var-1280cl.0
UNSAT
0.31
2qbf-5cnf-40var-320cl.2
UNSAT
0.31
5qbf-5cnf-40var-320cl.1
SAT
0.31
4qbf-5cnf-160var-5120cl.0
UNSAT
0.31
ncf_4_16_2_u.2
SAT
0.31
3qbf-5cnf-20var-320cl.1
UNSAT
0.31
2qbf-5cnf-160var-5120cl.1
UNSAT
0.31
x15.3
SAT
0.31
x25.5
UNSAT
0.31
BLOCKS4i.6.4
UNSAT
0.32
3qbf-5cnf-20var-320cl.5
UNSAT
0.32
CHAIN21v.22
SAT
0.32
3qbf-5cnf-20var-320cl.3
UNSAT
0.32
4qbf-5cnf-80var-1280cl.4
UNSAT
0.32
TOILET10.1.iv.20
SAT
0.32
1qbf-5cnf-160var-2560cl.7
SAT
0.32
5qbf-5cnf-80var-640cl.7
SAT
0.33
4qbf-5cnf-160var-2560cl.3
UNSAT
0.33
4qbf-5cnf-160var-5120cl.2
UNSAT
0.33
4qbf-5cnf-160var-5120cl.4
UNSAT
0.33
5qbf-5cnf-20var-640cl.2
UNSAT
0.33
ncf_4_16_2_d.9
SAT
0.33
5qbf-5cnf-20var-640cl.6
UNSAT
0.33
4qbf-5cnf-20var-160cl.0
UNSAT
0.33
ev-pr-8x8-5-7-0-1-2-lg
UNSAT
0.33
nusmv.reactor^5.C-f2
UNSAT
0.33
ncf_4_16_2_edau.2
SAT
0.34
ncf_4_16_2_edau.1
UNSAT
0.34
3qbf-5cnf-20var-320cl.7
UNSAT
0.34
6qbf-5cnf-20var-320cl.8
UNSAT
0.35
6qbf-5cnf-160var-5120cl.9
UNSAT
0.35
6qbf-5cnf-160var-5120cl.7
UNSAT
0.35
6qbf-5cnf-160var-5120cl.2
UNSAT
0.35
k_lin_p-8
UNSAT
0.35
ncf_16_32_2_edau.1
UNSAT
0.35
6qbf-5cnf-160var-5120cl.6
UNSAT
0.36
3qbf-5cnf-20var-320cl.6
UNSAT
0.36
ncf_4_16_2_u.1
UNSAT
0.36
4qbf-5cnf-160var-5120cl.9
UNSAT
0.36
4qbf-5cnf-160var-5120cl.8
UNSAT
0.36
ncf_4_32_2_u.5
UNSAT
0.36
3qbf-5cnf-40var-320cl.9
SAT
0.36
texas.ifetch1^3.E-f2
UNSAT
0.36
5qbf-5cnf-20var-320cl.1
UNSAT
0.37
6qbf-5cnf-20var-320cl.9
UNSAT
0.37
4qbf-5cnf-160var-5120cl.1
UNSAT
0.37
4qbf-5cnf-20var-160cl.7
UNSAT
0.37
5qbf-5cnf-20var-640cl.4
UNSAT
0.37
4qbf-5cnf-160var-5120cl.6
UNSAT
0.37
x15.8
SAT
0.37
texas.ifetch1^1.E-f2
UNSAT
0.37
6qbf-5cnf-160var-5120cl.1
UNSAT
0.38
2qbf-5cnf-40var-160cl.4
SAT
0.38
eijk.S1423.S-d2
SAT
0.38
2qbf-5cnf-40var-160cl.5
SAT
0.39
C5315.blif_0.10_1.00_0_1_out_exact
SAT
0.39
5qbf-5cnf-40var-1280cl.8
UNSAT
0.39
ncf_4_16_2_d.4
SAT
0.39
6qbf-5cnf-160var-5120cl.0
UNSAT
0.39
6qbf-5cnf-40var-320cl.1
SAT
0.39
6qbf-5cnf-160var-5120cl.5
UNSAT
0.39
C5315.blif_0.10_1.00_0_1_inp_exact
SAT
0.4
ncf_4_16_2_d.2
SAT
0.41
BLOCKS4ii.6.3
UNSAT
0.41
4qbf-5cnf-160var-5120cl.3
UNSAT
0.41
6qbf-5cnf-160var-5120cl.4
UNSAT
0.41
s27_d3_u
UNSAT
0.41
6qbf-5cnf-160var-5120cl.8
UNSAT
0.42
4qbf-5cnf-80var-1280cl.7
UNSAT
0.42
2qbf-5cnf-80var-640cl.8
UNSAT
0.42
4qbf-5cnf-160var-5120cl.7
UNSAT
0.42
texas.ifetch1^2.E-f2
UNSAT
0.42
ncf_4_16_2_euad.2
SAT
0.43
ncf_4_8_4_u.1
SAT
0.43
ncf_16_32_2_u.1
UNSAT
0.43
ncf_4_8_4_u.4
UNSAT
0.43
ncf_4_32_2_edau.5
UNSAT
0.44
6qbf-5cnf-160var-5120cl.3
UNSAT
0.44
ncf_4_8_8_d.1
SAT
0.45
ncf_8_16_4_edau.6
UNSAT
0.45
5qbf-5cnf-40var-1280cl.5
UNSAT
0.45
ncf_4_16_2_edau.4
SAT
0.46
ncf_4_8_4_u.5
SAT
0.46
x25.3
UNSAT
0.46
4qbf-5cnf-40var-640cl.3
UNSAT
0.47
ncf_4_8_4_euad.4
UNSAT
0.47
6qbf-5cnf-20var-320cl.4
UNSAT
0.47
BLOCKS3ii.5.3
SAT
0.49
5qbf-5cnf-20var-640cl.1
UNSAT
0.5
x20.1
UNSAT
0.5
ncf_8_16_4_euad.6
UNSAT
0.51
ncf_4_8_4_euad.5
SAT
0.51
ncf_4_16_2_euad.4
SAT
0.52
ncf_8_16_4_u.6
UNSAT
0.53
ncf_4_8_8_euad.1
SAT
0.53
ncf_8_16_4_d.6
UNSAT
0.54
nusmv.dme2-16.B-d2
SAT
0.54
4qbf-5cnf-40var-640cl.4
UNSAT
0.55
ncf_4_16_2_u.4
SAT
0.58
toilet_c_10_05.7
SAT
0.58
5qbf-5cnf-20var-320cl.8
UNSAT
0.59
6qbf-5cnf-20var-320cl.3
UNSAT
0.61
5qbf-5cnf-20var-320cl.6
UNSAT
0.62
x20.3
UNSAT
0.62
x30.2
UNSAT
0.62
x20.6
SAT
0.63
2qbf-5cnf-80var-320cl.9
UNSAT
0.64
sortnetsort5.v.stepl.006
SAT
0.66
2qbf-5cnf-80var-640cl.9
UNSAT
0.71
connect_8x7_4_W
UNSAT
0.71
x20.2
SAT
0.71
k_poly_n-4
SAT
0.73
connect_8x7_3_D
UNSAT
0.73
x20.9
SAT
0.73
6qbf-5cnf-40var-640cl.6
UNSAT
0.74
ncf_4_8_8_edau.1
SAT
0.74
connect_8x7_4_D
UNSAT
0.74
2qbf-5cnf-80var-640cl.1
UNSAT
0.74
x20.8
SAT
0.75
ncf_4_16_4_edau.9
SAT
0.77
x20.0
SAT
0.78
ncf_4_8_8_u.1
SAT
0.79
qshifter_6
SAT
0.79
connect_8x7_3_W
UNSAT
0.8
4qbf-5cnf-40var-640cl.2
UNSAT
0.81
x20.5
SAT
0.81
2qbf-5cnf-80var-640cl.7
UNSAT
0.82
ncf_4_16_4_u.9
SAT
0.83
5qbf-5cnf-20var-320cl.4
UNSAT
0.85
eijk.bs1512.S-d2
SAT
0.88
4qbf-5cnf-160var-2560cl.8
UNSAT
0.9
ncf_4_8_8_u.4
SAT
0.9
1qbf-5cnf-160var-2560cl.0
SAT
0.9
x25.6
UNSAT
0.91
ncf_4_8_8_edau.4
SAT
0.92
sortnetsort6.v.stepl.003
UNSAT
0.92
5qbf-5cnf-20var-320cl.0
UNSAT
0.93
k_ph_n-8
SAT
0.96
5qbf-5cnf-20var-320cl.5
UNSAT
0.99
x20.7
SAT
0.99
connect_9x8_5_D
UNSAT
1.01
texas.ifetch1^4.E-f2
UNSAT
1.01
connect_9x8_4_W
UNSAT
1.02
connect_9x8_4_D
UNSAT
1.04
connect_9x8_5_W
UNSAT
1.06
3qbf-5cnf-40var-320cl.5
UNSAT
1.07
ncf_4_8_4_euad.1
SAT
1.1
ncf_4_16_2_edau.3
UNSAT
1.14
4qbf-5cnf-40var-320cl.6
UNSAT
1.16
6qbf-5cnf-80var-640cl.6
SAT
1.18
ncf_4_16_2_u.3
UNSAT
1.19
eijk.S1196.S-d2
SAT
1.19
k_lin_p-12
UNSAT
1.2
ncf_4_16_2_d.3
UNSAT
1.21
ncf_4_16_2_euad.3
UNSAT
1.21
5qbf-5cnf-40var-1280cl.1
UNSAT
1.24
sortnetsort5.v.stepl.007
SAT
1.24
x25.9
UNSAT
1.25
k_dum_n-8
SAT
1.28
connect_9x8_3_W
UNSAT
1.31
ncf_4_8_4_u.10
SAT
1.33
4qbf-5cnf-20var-160cl.3
UNSAT
1.35
k_poly_n-8
SAT
1.41
x25.8
UNSAT
1.56
x25.7
UNSAT
1.59
toilet_a_10_01.16
UNSAT
1.63
1qbf-5cnf-160var-2560cl.1
SAT
1.66
ncf_4_16_2_edau.8
SAT
1.72
sortnetsort5.v.stepl.005
SAT
1.76
4qbf-5cnf-160var-2560cl.9
UNSAT
1.77
ncf_4_16_4_edau.8
SAT
1.78
k_lin_n-4
SAT
1.79
6qbf-5cnf-40var-640cl.9
UNSAT
1.82
ncf_4_16_2_u.8
SAT
1.83
ncf_8_16_4_edau.9
UNSAT
1.84
4qbf-5cnf-160var-2560cl.1
UNSAT
1.85
ncf_4_16_4_u.8
SAT
1.87
ncf_4_8_4_euad.10
SAT
1.89
ncf_8_16_4_d.9
UNSAT
1.9
ncf_8_16_4_euad.9
UNSAT
1.91
ncf_8_16_4_u.9
UNSAT
1.92
5qbf-5cnf-40var-640cl.0
UNSAT
1.94
x30.7
UNSAT
1.97
nusmv.dme1-16.B-d2
SAT
2
ncf_4_16_2_d.7
SAT
2.03
ncf_4_8_8_euad.4
SAT
2.03
1qbf-5cnf-160var-2560cl.5
SAT
2.05
k_dum_n-12
SAT
2.06
ncf_4_16_4_d.8
SAT
2.07
6qbf-5cnf-80var-1280cl.7
UNSAT
2.13
6qbf-5cnf-80var-1280cl.9
UNSAT
2.13
4qbf-5cnf-80var-1280cl.0
UNSAT
2.14
ncf_4_16_2_euad.7
SAT
2.15
6qbf-5cnf-40var-640cl.7
UNSAT
2.15
6qbf-5cnf-20var-320cl.2
UNSAT
2.16
6qbf-5cnf-40var-640cl.2
UNSAT
2.16
k_lin_p-16
UNSAT
2.17
6qbf-5cnf-80var-1280cl.0
UNSAT
2.17
6qbf-5cnf-20var-320cl.0
UNSAT
2.18
6qbf-5cnf-80var-1280cl.5
UNSAT
2.18
4qbf-5cnf-80var-1280cl.3
UNSAT
2.19
6qbf-5cnf-80var-1280cl.6
UNSAT
2.19
6qbf-5cnf-80var-1280cl.3
UNSAT
2.19
6qbf-5cnf-40var-640cl.8
UNSAT
2.19
k_path_p-8
UNSAT
2.19
4qbf-5cnf-160var-2560cl.0
UNSAT
2.2
6qbf-5cnf-80var-1280cl.1
UNSAT
2.2
4qbf-5cnf-80var-1280cl.1
UNSAT
2.2
6qbf-5cnf-160var-2560cl.4
UNSAT
2.2
4qbf-5cnf-160var-2560cl.6
UNSAT
2.2
6qbf-5cnf-160var-2560cl.7
UNSAT
2.2
6qbf-5cnf-40var-640cl.5
UNSAT
2.21
6qbf-5cnf-20var-320cl.7
UNSAT
2.21
6qbf-5cnf-160var-2560cl.2
UNSAT
2.21
6qbf-5cnf-160var-2560cl.6
UNSAT
2.21
6qbf-5cnf-40var-640cl.1
UNSAT
2.22
4qbf-5cnf-80var-1280cl.8
UNSAT
2.22
6qbf-5cnf-40var-640cl.0
UNSAT
2.23
6qbf-5cnf-160var-2560cl.5
UNSAT
2.23
6qbf-5cnf-160var-2560cl.1
UNSAT
2.24
4qbf-5cnf-160var-2560cl.7
UNSAT
2.24
6qbf-5cnf-80var-1280cl.8
UNSAT
2.24
6qbf-5cnf-40var-640cl.4
UNSAT
2.25
6qbf-5cnf-160var-2560cl.8
UNSAT
2.25
6qbf-5cnf-40var-640cl.3
UNSAT
2.25
6qbf-5cnf-160var-2560cl.9
UNSAT
2.25
6qbf-5cnf-80var-1280cl.2
UNSAT
2.25
4qbf-5cnf-160var-2560cl.2
UNSAT
2.26
6qbf-5cnf-80var-1280cl.4
UNSAT
2.27
4qbf-5cnf-160var-2560cl.4
UNSAT
2.28
x25.4
UNSAT
2.3
ncf_4_8_8_d.4
SAT
2.31
6qbf-5cnf-160var-2560cl.3
UNSAT
2.34
C432.blif_0.10_0.20_0_1_inp_exact
SAT
2.41
ncf_4_16_4_euad.8
SAT
2.42
4qbf-5cnf-40var-320cl.1
UNSAT
2.43
5qbf-5cnf-80var-640cl.0
SAT
2.47
TOILET16.1.iv.32
SAT
2.5
2qbf-5cnf-80var-320cl.3
UNSAT
2.52
T-adeu-3
UNSAT
2.57
ncf_4_32_2_edau.6
UNSAT
2.59
x25.0
SAT
2.61
sortnetsort5.v.stepl.004
UNSAT
2.61
k_path_n-8
SAT
2.62
ncf_4_32_2_u.6
UNSAT
2.62
k_poly_n-12
SAT
2.63
T-adeu-2
UNSAT
2.69
T-adeu-5
UNSAT
2.72
5qbf-5cnf-80var-2560cl.6
UNSAT
2.75
T-adeu-9
UNSAT
2.77
T-edau-5
UNSAT
2.78
T-edau-3
UNSAT
2.79
T-adeu-4
UNSAT
2.81
T-adeu-1
UNSAT
2.83
T-adeu-0
UNSAT
2.84
T-edau-9
UNSAT
2.9
ncf_4_16_2_edau.5
UNSAT
2.92
T-adeu-6
UNSAT
2.92
k_dum_p-12
UNSAT
2.94
ncf_4_16_2_u.5
UNSAT
2.95
T-adeu-8
UNSAT
2.95
T-edau-0
UNSAT
2.96
T-edau-2
UNSAT
2.96
T-edau-4
UNSAT
2.98
sortnetsort7.v.stepl.003
UNSAT
2.99
lognBWLARGEA1
UNSAT
3.01
1qbf-5cnf-160var-2560cl.8
SAT
3.11
T-edau-1
UNSAT
3.12
T-edau-6
UNSAT
3.14
k_dum_n-16
SAT
3.15
T-adeu-7
UNSAT
3.16
1qbf-5cnf-160var-2560cl.2
SAT
3.23
5qbf-5cnf-80var-2560cl.9
UNSAT
3.27
T-edau-8
UNSAT
3.27
T-edau-7
UNSAT
3.28
ncf_4_16_4_euad.9
SAT
3.3
ncf_4_16_4_d.9
SAT
3.33
k_d4_p-8
UNSAT
3.35
qshifter_7
SAT
3.58
k_lin_p-20
UNSAT
3.77
k_poly_n-16
SAT
3.88
x25.1
SAT
3.99
lut4_2_f1
SAT
4.06
3qbf-5cnf-40var-640cl.3
UNSAT
4.08
ncf_16_32_4_euad.7
UNSAT
4.1
5qbf-5cnf-80var-1280cl.6
UNSAT
4.12
3qbf-5cnf-160var-2560cl.3
UNSAT
4.13
ncf_16_32_4_d.7
UNSAT
4.13
1qbf-5cnf-160var-2560cl.3
SAT
4.13
3qbf-5cnf-160var-2560cl.2
UNSAT
4.14
3qbf-5cnf-80var-1280cl.8
UNSAT
4.14
5qbf-5cnf-40var-1280cl.9
UNSAT
4.15
5qbf-5cnf-80var-2560cl.7
UNSAT
4.15
3qbf-5cnf-160var-2560cl.1
UNSAT
4.16
3qbf-5cnf-40var-640cl.9
UNSAT
4.16
5qbf-5cnf-80var-1280cl.7
UNSAT
4.16
3qbf-5cnf-40var-640cl.5
UNSAT
4.17
5qbf-5cnf-40var-640cl.5
UNSAT
4.17
3qbf-5cnf-80var-1280cl.3
UNSAT
4.17
5qbf-5cnf-40var-1280cl.4
UNSAT
4.17
3qbf-5cnf-160var-2560cl.8
UNSAT
4.18
3qbf-5cnf-80var-1280cl.4
UNSAT
4.18
3qbf-5cnf-80var-1280cl.5
UNSAT
4.18
5qbf-5cnf-40var-640cl.6
UNSAT
4.18
5qbf-5cnf-80var-2560cl.4
UNSAT
4.18
5qbf-5cnf-40var-640cl.8
UNSAT
4.18
3qbf-5cnf-40var-640cl.4
UNSAT
4.18
3qbf-5cnf-160var-2560cl.5
UNSAT
4.19
3qbf-5cnf-80var-1280cl.6
UNSAT
4.19
5qbf-5cnf-80var-1280cl.9
UNSAT
4.19
3qbf-5cnf-160var-2560cl.9
UNSAT
4.19
5qbf-5cnf-80var-1280cl.4
UNSAT
4.19
5qbf-5cnf-80var-2560cl.1
UNSAT
4.19
5qbf-5cnf-160var-2560cl.0
UNSAT
4.19
3qbf-5cnf-40var-640cl.7
UNSAT
4.19
4qbf-5cnf-40var-320cl.9
UNSAT
4.19
3qbf-5cnf-40var-640cl.6
UNSAT
4.2
3qbf-5cnf-40var-640cl.2
UNSAT
4.2
5qbf-5cnf-40var-640cl.1
UNSAT
4.21
3qbf-5cnf-80var-1280cl.7
UNSAT
4.21
5qbf-5cnf-160var-5120cl.1
UNSAT
4.21
3qbf-5cnf-80var-1280cl.1
UNSAT
4.21
4qbf-5cnf-40var-320cl.3
UNSAT
4.21
5qbf-5cnf-160var-2560cl.2
UNSAT
4.21
3qbf-5cnf-40var-640cl.8
UNSAT
4.22
5qbf-5cnf-40var-1280cl.6
UNSAT
4.22
5qbf-5cnf-160var-5120cl.2
UNSAT
4.22
5qbf-5cnf-160var-5120cl.9
UNSAT
4.22
5qbf-5cnf-80var-2560cl.8
UNSAT
4.22
5qbf-5cnf-40var-1280cl.7
UNSAT
4.23
5qbf-5cnf-160var-5120cl.7
UNSAT
4.23
5qbf-5cnf-160var-5120cl.6
UNSAT
4.23
5qbf-5cnf-160var-2560cl.9
UNSAT
4.23
3qbf-5cnf-40var-640cl.1
UNSAT
4.23
5qbf-5cnf-40var-640cl.4
UNSAT
4.23
5qbf-5cnf-160var-5120cl.5
UNSAT
4.24
3qbf-5cnf-160var-2560cl.6
UNSAT
4.24
5qbf-5cnf-160var-5120cl.4
UNSAT
4.24
3qbf-5cnf-80var-1280cl.0
UNSAT
4.25
3qbf-5cnf-160var-2560cl.4
UNSAT
4.25
3qbf-5cnf-80var-1280cl.2
UNSAT
4.25
5qbf-5cnf-80var-1280cl.3
UNSAT
4.25
5qbf-5cnf-160var-5120cl.3
UNSAT
4.26
5qbf-5cnf-80var-2560cl.5
UNSAT
4.26
5qbf-5cnf-80var-1280cl.1
UNSAT
4.26
5qbf-5cnf-80var-2560cl.0
UNSAT
4.26
5qbf-5cnf-80var-1280cl.2
UNSAT
4.26
3qbf-5cnf-160var-2560cl.0
UNSAT
4.27
5qbf-5cnf-80var-2560cl.3
UNSAT
4.27
5qbf-5cnf-160var-5120cl.0
UNSAT
4.28
5qbf-5cnf-160var-2560cl.8
UNSAT
4.28
5qbf-5cnf-160var-5120cl.8
UNSAT
4.29
5qbf-5cnf-160var-2560cl.1
UNSAT
4.29
3qbf-5cnf-160var-2560cl.7
UNSAT
4.3
5qbf-5cnf-40var-1280cl.2
UNSAT
4.3
5qbf-5cnf-160var-2560cl.5
UNSAT
4.31
6qbf-5cnf-80var-640cl.0
UNSAT
4.31
x25.2
SAT
4.33
k_grz_p-4
UNSAT
4.61
k_dum_n-20
SAT
4.64
robots_1_5_5_26.4
SAT
4.66
robots_1_5_5_66.4
SAT
4.66
BLOCKS4ii.7.2
UNSAT
4.74
k_poly_p-20
UNSAT
4.74
k_path_p-12
UNSAT
4.75
szymanski-8-s
UNSAT
4.86
k_path_n-12
SAT
4.89
k_dum_n-21
SAT
5
k_poly_p-21
UNSAT
5.13
ncf_16_32_4_euad.8
SAT
5.15
ncf_16_32_4_d.8
SAT
5.24
ncf_16_32_4_euad.10
UNSAT
5.26
ncf_16_32_4_d.10
UNSAT
5.34
k_poly_n-20
SAT
5.77
2qbf-5cnf-80var-320cl.6
UNSAT
5.86
x30.5
UNSAT
5.92
ncf_16_32_4_edau.7
UNSAT
5.93
4qbf-5cnf-40var-320cl.8
UNSAT
5.99
k_dum_p-16
UNSAT
6.02
ncf_16_32_4_u.7
UNSAT
6.03
5qbf-5cnf-40var-640cl.2
UNSAT
6.16
5qbf-5cnf-80var-1280cl.5
UNSAT
6.17
5qbf-5cnf-160var-2560cl.6
UNSAT
6.19
5qbf-5cnf-40var-640cl.9
UNSAT
6.22
5qbf-5cnf-80var-1280cl.8
UNSAT
6.22
3qbf-5cnf-80var-1280cl.9
UNSAT
6.23
C6288.blif_0.10_1.00_0_1_out_exact
SAT
6.23
5qbf-5cnf-40var-640cl.7
UNSAT
6.24
ncf_4_16_2_euad.5
UNSAT
6.25
3qbf-5cnf-40var-640cl.0
UNSAT
6.25
5qbf-5cnf-160var-2560cl.4
UNSAT
6.27
ncf_8_16_4_edau.1
SAT
6.48
k_poly_n-21
SAT
6.56
ncf_8_16_4_u.1
SAT
6.59
ncf_4_16_2_d.5
UNSAT
6.6
robots_1_5_2_85.4
SAT
6.67
szymanski-10-s
UNSAT
6.71
1qbf-5cnf-160var-2560cl.4
SAT
6.75
robots_1_5_2_3.4
SAT
6.76
ncf_16_32_4_edau.8
SAT
6.84
robots_1_5_2_21.4
SAT
6.89
ncf_16_32_4_u.8
SAT
6.94
1qbf-5cnf-160var-2560cl.6
SAT
6.94
k_d4_p-12
UNSAT
7.4
ncf_8_16_4_d.1
SAT
7.64
k_path_p-16
UNSAT
7.67
connect_5x4_4_R
UNSAT
7.75
ncf_8_16_4_euad.1
SAT
7.76
x30.1
UNSAT
7.89
k_path_n-16
SAT
7.9
k_t4p_p-4
UNSAT
7.94
TOILET7.1.iv.13
UNSAT
8.06
5qbf-5cnf-40var-640cl.3
UNSAT
8.19
5qbf-5cnf-80var-1280cl.0
UNSAT
8.25
6qbf-5cnf-80var-640cl.8
UNSAT
8.27
5qbf-5cnf-160var-2560cl.7
UNSAT
8.27
4qbf-5cnf-40var-320cl.0
UNSAT
8.34
texas.parsesys^3.E-f2
SAT
8.34
nusmv.syncarb5^2.B-f2
SAT
8.35
k_branch_n-4
SAT
8.36
k_dum_p-20
UNSAT
8.42
5qbf-5cnf-160var-2560cl.3
UNSAT
8.45
toilet_a_10_05.4
SAT
8.56
ncf_4_8_8_d.8
SAT
8.62
ncf_16_32_8_d.4
SAT
8.68
ncf_4_8_8_edau.8
SAT
8.69
ncf_16_32_8_euad.4
SAT
8.75
ncf_4_8_8_u.8
SAT
8.77
ncf_4_16_4_d.1
SAT
8.91
ncf_8_16_4_d.4
SAT
8.94
k_dum_p-21
UNSAT
8.95
ncf_4_16_4_euad.1
SAT
9.04
ncf_8_16_4_euad.4
SAT
9.23
ncf_4_8_8_euad.8
SAT
9.24
4qbf-5cnf-40var-320cl.7
UNSAT
9.25
ncf_8_16_8_edau.9
UNSAT
9.49
1qbf-5cnf-160var-2560cl.9
SAT
9.5
x30.8
UNSAT
9.55
ncf_4_8_8_u.7
SAT
9.59
ncf_16_32_4_d.3
SAT
9.6
ncf_8_16_8_edau.10
SAT
9.9
ncf_4_16_8_d.7
SAT
9.98
ncf_16_32_8_edau.3
SAT
9.98
ncf_4_8_8_edau.7
SAT
9.98
ncf_8_16_8_edau.1
SAT
10.23
ncf_8_16_8_d.1
SAT
10.28
ncf_8_16_8_euad.1
SAT
10.33
ncf_16_32_4_euad.3
SAT
10.5
ncf_4_8_8_u.3
SAT
10.54
ncf_16_32_2_d.3
SAT
10.56
4qbf-5cnf-40var-320cl.2
UNSAT
10.62
ncf_16_32_8_u.3
SAT
10.65
ncf_8_16_4_edau.4
SAT
10.67
k_path_p-20
UNSAT
10.68
ncf_4_8_8_edau.3
SAT
10.7
ncf_4_8_8_d.3
SAT
10.7
texas.parsesys^1.E-f2
SAT
10.71
ncf_16_32_2_euad.3
SAT
10.76
connect_9x8_3_D
UNSAT
10.82
ncf_4_16_4_u.1
SAT
10.86
ncf_8_16_4_u.4
SAT
10.87
k_path_n-20
SAT
10.91
eijk.S208c.S-f2
SAT
10.91
ncf_4_16_4_edau.1
SAT
10.92
k_lin_n-8
SAT
10.98
ncf_4_8_8_euad.3
SAT
10.98
4qbf-5cnf-40var-320cl.5
UNSAT
11.1
ncf_4_16_8_euad.7
SAT
11.13
ncf_16_32_8_edau.10
SAT
11.21
x30.4
SAT
11.21
ncf_16_32_2_edau.3
SAT
11.24
szymanski-12-s
UNSAT
11.36
S-edau-7
UNSAT
11.36
ncf_16_32_8_u.10
SAT
11.46
S-edau-3
UNSAT
11.49
S-edau-2
UNSAT
11.52
ncf_16_32_4_edau.2
SAT
11.56
6qbf-5cnf-40var-320cl.4
SAT
11.57
S-edau-9
UNSAT
11.57
k_path_n-21
SAT
11.59
ncf_8_16_4_euad.7
SAT
11.66
ncf_8_16_4_edau.7
SAT
11.67
S-edau-4
UNSAT
11.73
ncf_16_32_2_u.3
SAT
11.74
ncf_8_16_4_u.7
SAT
11.75
ncf_4_16_8_u.7
SAT
11.82
k_path_p-21
UNSAT
11.87
S-edau-8
UNSAT
11.91
S-edau-1
UNSAT
11.93
ncf_16_32_4_d.2
SAT
11.98
S-edau-5
UNSAT
11.99
S-edau-6
UNSAT
12
ev-pr-8x8-7-7-0-1-2-lg
UNSAT
12.09
ncf_4_16_4_edau.7
SAT
12.19
ncf_16_32_8_edau.4
SAT
12.21
S-edau-0
UNSAT
12.22
ncf_4_16_4_u.7
SAT
12.4
x30.0
UNSAT
12.41
ncf_16_32_4_edau.3
SAT
12.43
ncf_16_32_8_u.4
SAT
12.51
ncf_16_32_4_euad.2
SAT
12.71
ncf_16_32_4_u.2
SAT
12.8
k_d4_p-16
UNSAT
12.8
ncf_8_16_4_d.7
SAT
13.31
ncf_4_8_8_edau.6
UNSAT
13.39
ncf_4_8_8_edau.2
UNSAT
13.58
vis.bakery.E-f2
SAT
13.63
k_d4_n-4
SAT
13.89
x30.9
UNSAT
13.91
4qbf-5cnf-40var-320cl.4
UNSAT
13.99
ncf_16_32_4_u.3
SAT
14.36
lognBWLARGEB1
UNSAT
15.22
s27_d4_u
UNSAT
15.26
ncf_4_8_8_edau.10
SAT
15.36
ncf_4_8_8_u.6
UNSAT
15.48
ncf_4_8_8_u.2
UNSAT
15.58
ncf_16_32_8_edau.7
SAT
15.68
ncf_16_32_8_edau.6
SAT
16.13
ncf_8_16_8_edau.8
UNSAT
16.22
ncf_16_32_8_u.6
SAT
16.42
ncf_16_32_8_u.7
SAT
16.51
ncf_4_16_8_u.10
SAT
17.06
ncf_4_8_8_u.10
SAT
17.2
k_t4p_n-4
SAT
17.29
ncf_16_32_8_euad.3
SAT
18.27
S-adeu-7
UNSAT
19.13
k_d4_p-20
UNSAT
19.32
k_d4_p-21
UNSAT
20.03
S-adeu-9
UNSAT
20.37
S-adeu-2
UNSAT
20.44
S-adeu-3
UNSAT
20.67
S-adeu-5
UNSAT
20.89
S-adeu-6
UNSAT
20.91
ncf_8_16_8_d.10
SAT
21.07
eijk.S208.S-f2
SAT
21.07
szymanski-14-s
UNSAT
21.75
S-adeu-4
UNSAT
21.89
ncf_16_32_8_d.3
SAT
22.08
S-adeu-8
UNSAT
22.33
eijk.S208o.S-f2
SAT
22.39
C880.blif_0.10_1.00_0_1_out_exact
SAT
22.5
lut4_AND_f1
SAT
22.68
S-adeu-1
UNSAT
22.79
ncf_4_8_8_euad.10
SAT
22.89
S-adeu-0
UNSAT
23.23
qshifter_8
SAT
23.37
ncf_8_16_8_euad.9
UNSAT
23.57
k_t4p_p-8
UNSAT
24.51
sortnetsort5.AE.stepl.003
SAT
24.61
x30.3
SAT
24.76
ncf_4_16_2_d.8
SAT
24.78
vis.eisenberg.E-f2
SAT
24.84
ncf_8_16_8_euad.10
SAT
25.32
x35.7
UNSAT
27.67
ncf_4_16_2_euad.8
SAT
28.17
x30.6
SAT
28.63
ncf_16_32_8_euad.10
SAT
29.09
connect_5x4_3_R
UNSAT
29.09
robots_1_5_2_100.4
SAT
29.38
ncf_8_16_8_euad.8
UNSAT
29.47
ncf_16_32_8_d.10
SAT
30.7
sortnetsort8.v.stepl.003
UNSAT
31.01
sortnetsort6.v.stepl.006
SAT
34.57
robots_1_5_2_80.4
SAT
34.6
robots_1_5_4_31.4
SAT
34.9
robots_1_5_5_87.4
SAT
34.93
ncf_4_16_8_u.9
SAT
34.97
robots_1_5_4_30.4
SAT
35.03
robots_1_5_4_50.4
SAT
35.23
robots_1_5_2_2.4
SAT
35.24
ncf_4_8_8_euad.7
SAT
35.29
robots_1_5_4_100.4
SAT
35.78
sortnetsort6.v.stepl.004
UNSAT
36.43
robots_1_5_3_16.4
SAT
36.71
robots_1_5_2_45.4
SAT
37.45
robots_1_5_3_100.4
SAT
37.49
robots_1_5_3_44.4
SAT
38.21
vis.4-arbit^1.E-f2
SAT
38.44
x35.3
UNSAT
38.89
x35.6
UNSAT
39.6
counter_re_4
SAT
40.3
robots_1_5_2_99.4
SAT
42.94
szymanski-16-s
UNSAT
43.03
robots_1_5_4_46.4
SAT
45.49
k_t4p_p-12
UNSAT
46.04
ncf_4_8_8_euad.6
UNSAT
46.42
robots_1_5_4_98.4
SAT
46.79
k_lin_n-12
SAT
46.93
robots_1_5_4_87.4
SAT
47.45
vis.arbiter.E-f2
SAT
48.16
robots_1_5_5_45.4
SAT
49.65
robots_1_5_3_20.4
SAT
50.37
robots_1_5_4_91.4
SAT
50.51
robots_1_5_5_30.4
SAT
50.55
robots_1_5_3_66.4
SAT
50.58
robots_1_5_4_2.4
SAT
50.75
ncf_8_16_8_d.9
UNSAT
51.53
robots_1_5_5_34.4
SAT
53.59
ncf_4_8_8_d.2
UNSAT
53.92
robots_1_5_2_39.4
SAT
54.17
robots_1_5_4_51.4
SAT
54.95
robots_1_5_2_82.4
SAT
55.02
robots_1_5_3_57.4
SAT
55.15
robots_1_5_3_2.4
SAT
55.3
robots_1_5_3_24.4
SAT
55.43
1qbf-5cnf-80var-2560cl.0
UNSAT
55.65
robots_1_5_3_78.4
SAT
55.82
1qbf-5cnf-80var-2560cl.2
UNSAT
56.31
1qbf-5cnf-80var-2560cl.1
UNSAT
57.77
Adder2-4-c
UNSAT
57.92
1qbf-5cnf-80var-2560cl.3
UNSAT
58.05
ncf_4_8_8_euad.2
UNSAT
58.08
1qbf-5cnf-80var-2560cl.6
UNSAT
58.3
1qbf-5cnf-80var-2560cl.8
UNSAT
58.57
robots_1_5_3_52.4
SAT
59.03
ncf_4_16_8_u.4
SAT
59.11
1qbf-5cnf-80var-2560cl.4
UNSAT
59.68
robots_1_5_5_93.4
SAT
59.84
x35.0
UNSAT
60.29
robots_1_5_5_12.4
SAT
60.34
1qbf-5cnf-80var-2560cl.5
UNSAT
60.41
robots_1_5_5_100.4
SAT
60.61
robots_1_5_5_8.4
SAT
60.7
x35.5
UNSAT
61.44
1qbf-5cnf-80var-2560cl.7
UNSAT
65.42
1qbf-5cnf-80var-2560cl.9
UNSAT
65.51
x35.2
SAT
68.5
k_t4p_n-8
SAT
69.26
term1.blif_0.10_1.00_0_0_inp_exact
UNSAT
70.14
lut4_2_f2
UNSAT
71.65
x40.8
UNSAT
71.76
k_t4p_p-16
UNSAT
74.17
ncf_4_16_8_euad.10
SAT
74.92
x35.8
SAT
75.7
szymanski-18-s
UNSAT
76.01
x35.4
UNSAT
80.13
x35.9
SAT
80.64
sortnetsort6.v.stepl.007
SAT
83.19
ncf_8_16_8_edau.4
UNSAT
85.79
ncf_4_16_8_euad.8
UNSAT
86.93
ncf_8_16_8_edau.5
SAT
91.43
x50.7
UNSAT
93.22
x40.6
UNSAT
95.84
ncf_8_16_4_edau.3
SAT
98.31
term1.blif_0.10_0.20_0_0_inp_exact
UNSAT
100.84
comp.blif_0.10_1.00_0_0_out_exact
UNSAT
102.55
connect_6x5_5_R
UNSAT
102.77
k_t4p_p-20
UNSAT
103.7
x40.5
UNSAT
105.53
vis.4-arbit^2.E-f2
SAT
108.35
texas.PI_main^14.E-f2
UNSAT
109.12
x35.1
SAT
114.34
x40.4
UNSAT
117.93
k_lin_n-16
SAT
119.77
k_t4p_p-21
UNSAT
120.36
term1.blif_0.10_1.00_0_0_out_exact
UNSAT
120.87
ncf_4_16_4_edau.3
SAT
122.73
szymanski-20-s
UNSAT
123.88
ncf_4_16_4_u.4
UNSAT
124.23
ncf_8_16_4_u.3
SAT
128.6
ncf_8_16_4_euad.3
SAT
132.71
ncf_4_16_4_u.2
SAT
133.3
ncf_4_32_2_edau.8
SAT
134.79
x40.2
UNSAT
134.83
ncf_4_16_4_u.3
SAT
139.32
ncf_4_16_4_edau.2
SAT
143.82
k_d4_n-8
SAT
147.77
s27_d5_u
UNSAT
148.77
ncf_4_16_4_d.7
SAT
153.39
ev-pr-6x6-7-5-0-1-2-lg
UNSAT
154.65
k_t4p_n-12
SAT
159.29
ncf_4_16_4_euad.7
SAT
170.3
ncf_4_16_8_u.6
SAT
180.21
sortnetsort7.v.stepl.004
UNSAT
181.86
x40.0
UNSAT
184.1
2qbf-5cnf-80var-320cl.8
SAT
185.72
comp.blif_0.10_0.20_0_0_out_exact
UNSAT
199.31
sortnetsort6.v.stepl.005
SAT
201.06
szymanski-22-s
UNSAT
203.92
ncf_4_32_2_u.8
SAT
205.42
ncf_4_16_4_edau.4
UNSAT
218
k_grz_n-8
SAT
223.95
k_grz_p-8
UNSAT
247.62
x40.1
UNSAT
250.46
k_ph_p-8
UNSAT
259.83
x40.3
UNSAT
260.31
szymanski-24-s
UNSAT
306.56
k_t4p_n-16
SAT
312.06
x40.9
UNSAT
318.32
ncf_16_32_2_edau.10
UNSAT
323.19
k_lin_n-20
SAT
325.25
ncf_4_16_4_euad.2
SAT
327.16
ncf_4_16_4_euad.3
SAT
331.57
ncf_8_16_8_euad.5
SAT
332.13
ncf_4_16_8_u.2
SAT
351.49
x45.0
UNSAT
357.22
x45.8
UNSAT
367.13
ncf_4_16_8_u.1
SAT
373.73
k_lin_n-21
SAT
380.21
k_d4_n-12
SAT
391.84
x45.9
UNSAT
407.98
x45.4
UNSAT
416.39
x45.2
UNSAT
418.19
test5_quant5
SAT
430.45
ncf_4_16_4_euad.4
UNSAT
446.02
ncf_8_16_8_euad.4
UNSAT
473.63
ncf_4_16_4_d.3
SAT
474.71
2qbf-5cnf-80var-320cl.7
SAT
485.11
k_t4p_n-20
SAT
499.91
lut4_AND_fXOR
UNSAT
508.01
ncf_16_32_2_u.10
UNSAT
535.25
ev-pr-4x4-11-3-0-0-1-lg
SAT
542.65
C432.blif_0.10_0.20_0_0_inp_exact
UNSAT
548.23
x45.3
SAT
550.86
k_t4p_n-21
SAT
554.72
x45.6
UNSAT
555.39
ncf_4_16_8_euad.4
SAT
599.68
k_ph_n-16
FAIL
599.8
6qbf-5cnf-40var-320cl.3
FAIL
599.8
x55.4
FAIL
599.81
texas.PI_main^10.E-f2
FAIL
599.82
eijk.S526.S-f2
FAIL
599.87
texas.ifetch1^8.E-f2
FAIL
599.88
s386_d2_s
FAIL
599.9
eijk.S713.S-f2
FAIL
599.9
s499_d2_s
FAIL
599.93
s298_d2_s
FAIL
599.96
s713_d2_s
FAIL
599.97
sortnetsort6.AE.stepl.004
FAIL
599.97
eijk.S349.S-f2
FAIL
599.99
texas.ifetch1^7.E-f2
FAIL
599.99
ncf_16_32_4_d.6
FAIL
600.07
x190.3
FAIL
600.22
ncf_16_32_8_u.9
FAIL
600.24
x100.1
FAIL
600.24
x170.9
FAIL
600.24
ncf_4_16_8_d.6
FAIL
600.25
x200.9
FAIL
600.25
x70.3
FAIL
600.25
ncf_16_32_8_u.1
FAIL
600.27
ncf_4_16_8_d.8
FAIL
600.27
x75.6
FAIL
600.27
x105.5
FAIL
600.28
x135.4
FAIL
600.28
x160.2
FAIL
600.28
x165.0
FAIL
600.28
x80.4
FAIL
600.28
ncf_16_32_8_d.6
FAIL
600.29
x110.9
FAIL
600.29
x160.1
FAIL
600.29
x165.4
FAIL
600.29
x60.6
FAIL
600.29
ncf_8_16_8_edau.3
FAIL
600.3
x70.5
FAIL
600.3
x155.9
FAIL
600.31
x170.6
FAIL
600.31
x225.5
FAIL
600.31
x235.9
FAIL
600.31
ncf_16_32_8_euad.7
FAIL
600.32
x160.0
FAIL
600.32
x215.5
FAIL
600.32
x230.2
FAIL
600.32
x245.5
FAIL
600.32
x70.4
FAIL
600.32
x200.1
FAIL
600.33
x225.0
FAIL
600.33
x210.7
FAIL
600.34
x70.7
FAIL
600.34
x95.9
FAIL
600.34
x120.1
FAIL
600.35
x230.8
FAIL
600.35
x245.4
FAIL
600.35
x300.9
FAIL
600.35
x245.8
FAIL
600.36
ncf_4_16_8_u.5
FAIL
600.37
x175.0
FAIL
600.39
x80.6
FAIL
600.39
x85.0
FAIL
600.39
x130.4
FAIL
600.4
ncf_8_16_8_euad.2
SAT
605.29
k_branch_p-4
UNSAT
614.94
k_d4_n-16
SAT
733.57
ncf_4_16_8_euad.5
UNSAT
831.65
x45.1
UNSAT
844.15
x40.7
SAT
854.09
ncf_8_16_4_d.3
SAT
871.11
x45.5
UNSAT
880.14
ncf_4_16_8_euad.2
SAT
933.13
ncf_8_16_8_edau.2
SAT
949.89
ncf_4_16_8_euad.9
SAT
958.67
C432.blif_0.10_1.00_0_0_out_exact
UNSAT
972.24
ncf_16_32_8_euad.6
SAT
989.15
test5_quant7
SAT
1034.13
ncf_4_32_2_edau.7
SAT
1116.83
x55.1
UNSAT
1145.98
ncf_4_16_8_u.3
SAT
1155.68
k_d4_n-20
SAT
1174.61
2qbf-5cnf-80var-320cl.2
SAT
1184.9
eijk.S298.S-f2
SAT
1258.53
ev-pr-4x4-13-3-0-0-1-lg
SAT
1287.97
k_d4_n-21
SAT
1317.62
sortnetsort5.AE.stepl.004
SAT
1321.74
ncf_4_16_8_euad.6
SAT
1653.74
ncf_8_16_8_euad.3
SAT
1673.94
ncf_4_32_2_u.7
SAT
1748.65
6qbf-5cnf-80var-640cl.5
SAT
1755.72
ev-pr-8x8-9-7-0-1-2-lg
UNSAT
1756.68
x45.7
SAT
1832.29
texas.parsesys^2.E-f2
UNSAT
2011.48
ncf_4_16_8_u.8
UNSAT
2137.8
ncf_8_16_8_d.5
SAT
2305.83
x50.8
UNSAT
2375.08
ev-pr-6x6-9-5-0-1-2-lg
UNSAT
2384.77
ncf_16_32_8_d.7
SAT
2509.26
ev-pr-4x4-15-3-0-0-1-lg
SAT
2515.13
x60.4
UNSAT
2608.85
x50.4
UNSAT
2661.46
ncf_4_8_8_d.7
SAT
2726.45
x50.0
UNSAT
2758.12
sortnetsort6.AE.stepl.003
SAT
3054.11
2qbf-5cnf-80var-320cl.1
SAT
3404.96
x50.9
UNSAT
3503.98
x50.1
UNSAT
3518.2
C499.blif_0.10_0.20_0_1_inp_exact
SAT
3529.48
ncf_4_32_2_edau.10
SAT
3572.55
x55.8
UNSAT
3595.51
ncf_16_32_4_u.10
UNSAT
3654.26
x50.6
UNSAT
3810.08
counter_8
SAT
3858.33
ev-pr-4x4-17-3-0-0-1-lg
SAT
4143.6
ncf_4_32_2_u.10
SAT
4182.18
x50.2
UNSAT
4222.04
x50.3
UNSAT
4364.67
Adder2-4-s
SAT
4495.48
ncf_4_16_8_euad.1
SAT
5048.1
sortnetsort8.v.stepl.004
UNSAT
5780.72
x50.5
UNSAT
5849.2
sortnetsort5.AE.stepl.005
UNSAT
5856.64
cmu.dme1.B-f2
FAIL
5997.27
s510_d2_s
FAIL
5997.35
eijk.S641.S-f2
FAIL
5997.43
eijk.S344.S-f2
FAIL
5997.44
irst.dme6.B-f2
FAIL
5997.69
irst.dme4.B-f2
FAIL
5997.79
s820_d2_s
FAIL
5997.82
s499_d4_s
FAIL
5997.83
eijk.S832.S-f2
FAIL
5997.85
texas.ifetch1^9.E-f2
FAIL
5997.9
adder-4-sat
FAIL
5997.92
ncf_4_16_8_d.9
FAIL
5997.97
test5_quant_squaring4
FAIL
5998.1
eijk.S420.S-f2
FAIL
5998.14
eijk.bs1512.S-f2
FAIL
5998.19
eijk.S838.S-f2
FAIL
5998.23
eijk.S953.S-f2
FAIL
5998.27
cmu.dme2.B-f2
FAIL
5998.32
s298_d4_s
FAIL
5998.42
eijk.S820.S-f2
FAIL
5998.47
eijk.S510.S-f2
FAIL
5998.5
adder-10-sat
FAIL
5998.63
adder-8-sat
FAIL
5998.64
ken.oop^1.C-f2
FAIL
5998.67
texas.two_proc^2.E-f2
FAIL
5998.68
adder-12-sat
FAIL
5998.72
vis.elevator^2.E-f2
FAIL
5998.74
texas.two_proc^5.E-f2
FAIL
5998.76
texas.two_proc^6.E-f2
FAIL
5998.76
test3_quant_squaring2
FAIL
5998.79
test5_quant_squaring5
FAIL
5998.88
nusmv.brp.B-f2
FAIL
5998.88
texas.ifetch1^5.E-f2
FAIL
5998.88
texas.two_proc^3.E-f2
FAIL
5998.89
nusmv.reactor^2.C-f2
FAIL
5998.92
test3_quant2
FAIL
5998.94
texas.two_proc^1.E-f2
FAIL
5998.97
adder-14-sat
FAIL
5999.03
eijk.S444.S-f2
FAIL
5999.06
texas.two_proc^4.E-f2
FAIL
5999.07
ncf_4_16_8_d.5
FAIL
5999.11
test3_quant4
FAIL
5999.11
vis.elevator^3.E-f2
FAIL
5999.11
eijk.S382.S-f2
FAIL
5999.16
nusmv.reactor^7.C-f2
FAIL
5999.17
nusmv.reactor^3.C-f2
FAIL
5999.21
nusmv.syncarb10^2.B-f2
FAIL
5999.29
vis.coherence^5.E-f2
FAIL
5999.32
adder-6-sat
FAIL
5999.33
eijk.S386.S-f2
FAIL
5999.35
vis.coherence^2.E-f2
FAIL
5999.35
adder-16-sat
FAIL
5999.4
nusmv.reactor^4.C-f2
FAIL
5999.41
vis.coherence^1.E-f2
FAIL
5999.41
ncf_16_32_2_d.10
FAIL
5999.43
texas.PI_main^02.E-f2
FAIL
5999.5
irst.dme5.B-f2
FAIL
5999.52
C499.blif_0.10_1.00_0_0_inp_exact
FAIL
5999.53
ken.oop^2.C-f2
FAIL
5999.53
ncf_16_32_2_euad.10
FAIL
5999.59
nusmv.reactor^6.C-f2
FAIL
5999.59
texas.PI_main^11.E-f2
FAIL
5999.59
ncf_8_16_8_d.4
FAIL
5999.61
ncf_16_32_4_u.6
FAIL
5999.62
ncf_16_32_8_edau.2
FAIL
5999.62
texas.PI_main^16.E-f2
FAIL
5999.62
vis.coherence^3.E-f2
FAIL
5999.62
ncf_4_16_8_d.3
FAIL
5999.64
ncf_16_32_8_euad.5
FAIL
5999.64
ncf_16_32_8_u.8
FAIL
5999.64
ncf_16_32_4_edau.6
FAIL
5999.64
ncf_4_16_8_d.2
FAIL
5999.65
ncf_4_16_4_d.4
FAIL
5999.66
ncf_16_32_8_u.2
FAIL
5999.67
adder-4-unsat
FAIL
5999.67
ncf_16_32_8_euad.9
FAIL
5999.69
ncf_16_32_8_euad.8
FAIL
5999.7
texas.PI_main^12.E-f2
FAIL
5999.7
ncf_8_16_8_d.8
FAIL
5999.71
ncf_16_32_8_edau.8
FAIL
5999.73
ncf_4_8_8_d.10
FAIL
5999.74
ncf_16_32_8_d.5
FAIL
5999.74
texas.PI_main^01.E-f2
FAIL
5999.75
ncf_16_32_4_euad.6
FAIL
5999.77
sortnetsort5.AE.stepl.006
FAIL
5999.77
ncf_4_16_8_d.4
FAIL
5999.78
ncf_16_32_8_euad.2
FAIL
5999.81
C5315.blif_0.10_1.00_0_0_inp_exact
FAIL
5999.83
ncf_16_32_8_d.9
FAIL
5999.87
ncf_16_32_8_edau.9
FAIL
5999.87
Adder2-8-s
FAIL
5999.87
ncf_4_8_8_d.6
FAIL
5999.88
ncf_8_16_8_d.2
FAIL
5999.88
sortnetsort5.AE.stepl.007
FAIL
5999.88
C499.blif_0.10_1.00_0_0_out_exact
FAIL
5999.9
ncf_16_32_8_d.8
FAIL
5999.91
k_grz_n-12
FAIL
5999.91
k_grz_p-16
FAIL
5999.93
ncf_8_16_8_d.3
FAIL
5999.94
sortnetsort6.AE.stepl.005
FAIL
5999.95
ncf_4_16_4_d.2
FAIL
5999.96
ncf_4_16_8_d.10
FAIL
5999.99
k_grz_p-20
FAIL
5999.99
ncf_16_32_8_edau.5
FAIL
6000
sortnetsort6.AE.stepl.006
FAIL
6000
k_grz_n-16
FAIL
6000.01
k_grz_n-21
FAIL
6000.02
x95.2
FAIL
6000.02
Adder2-6-c
FAIL
6000.05
adder-6-unsat
FAIL
6000.06
adder-8-unsat
FAIL
6000.07
k_grz_n-20
FAIL
6000.08
sortnetsort7.AE.stepl.004
FAIL
6000.09
k_grz_p-21
FAIL
6000.1
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
6000.1
x175.7
FAIL
6000.11
ncf_16_32_8_d.2
FAIL
6000.13
x85.9
FAIL
6000.13
sortnetsort7.AE.stepl.009
FAIL
6000.13
term1.blif_0.10_0.20_0_0_out_exact
FAIL
6000.14
ncf_16_32_8_u.5
FAIL
6000.14
x55.6
FAIL
6000.14
x90.8
FAIL
6000.14
x55.2
FAIL
6000.15
x70.9
FAIL
6000.15
counter_re_8
FAIL
6000.16
counter_r_8
FAIL
6000.16
sortnetsort6.AE.stepl.007
FAIL
6000.16
counter_e_8
FAIL
6000.17
x100.7
FAIL
6000.17
x400.8
FAIL
6000.17
x60.7
FAIL
6000.17
x65.4
FAIL
6000.17
x80.5
FAIL
6000.17
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
6000.17
C5315.blif_0.10_1.00_0_0_out_exact
FAIL
6000.18
x100.3
FAIL
6000.18
x115.3
FAIL
6000.18
x55.3
FAIL
6000.18
x65.1
FAIL
6000.18
sortnetsort8.AE.stepl.003
FAIL
6000.18
sortnetsort9.v.stepl.009
FAIL
6000.18
ncf_4_16_8_d.1
FAIL
6000.19
x105.3
FAIL
6000.19
sortnetsort9.AE.stepl.004
FAIL
6000.19
sortnetsort9.AE.stepl.007
FAIL
6000.19
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.19
Adder2-6-s
FAIL
6000.2
x115.4
FAIL
6000.2
x140.0
FAIL
6000.2
x205.6
FAIL
6000.2
x220.6
FAIL
6000.2
x230.7
FAIL
6000.2
x55.7
FAIL
6000.2
x65.5
FAIL
6000.2
x70.2
FAIL
6000.2
x75.1
FAIL
6000.2
x95.1
FAIL
6000.2
sortnetsort7.v.stepl.007
FAIL
6000.2
x110.3
FAIL
6000.21
x125.3
FAIL
6000.21
x150.4
FAIL
6000.21
x160.4
FAIL
6000.21
x225.2
FAIL
6000.21
x350.0
FAIL
6000.21
x80.2
FAIL
6000.21
x95.5
FAIL
6000.21
sortnetsort7.AE.stepl.008
FAIL
6000.21
sortnetsort8.v.stepl.006
FAIL
6000.21
k_lin_p-21
FAIL
6000.22
x130.6
FAIL
6000.22
x175.4
FAIL
6000.22
x195.3
FAIL
6000.22
x215.6
FAIL
6000.22
x240.2
FAIL
6000.22
x65.0
FAIL
6000.22
x65.9
FAIL
6000.22
x75.4
FAIL
6000.22
x80.1
FAIL
6000.22
x85.5
FAIL
6000.22
x90.0
FAIL
6000.22
x95.3
FAIL
6000.22
sortnetsort8.AE.stepl.006
FAIL
6000.22
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
6000.22
ncf_16_32_8_edau.1
FAIL
6000.23
C432.blif_0.10_0.20_0_0_out_exact
FAIL
6000.23
x100.2
FAIL
6000.23
x100.5
FAIL
6000.23
x110.5
FAIL
6000.23
x110.7
FAIL
6000.23
x150.1
FAIL
6000.23
x160.7
FAIL
6000.23
x190.8
FAIL
6000.23
x225.7
FAIL
6000.23
x250.8
FAIL
6000.23
x300.7
FAIL
6000.23
x350.5
FAIL
6000.23
x55.9
FAIL
6000.23
x60.0
FAIL
6000.23
x60.1
FAIL
6000.23
x65.8
FAIL
6000.23
x75.9
FAIL
6000.23
x85.8
FAIL
6000.23
x90.5
FAIL
6000.23
sortnetsort7.AE.stepl.003
FAIL
6000.23
sortnetsort7.v.stepl.005
FAIL
6000.23
sortnetsort9.AE.stepl.005
FAIL
6000.23
sortnetsort9.v.stepl.007
FAIL
6000.23
k_grz_p-12
FAIL
6000.24
ncf_16_32_8_d.1
FAIL
6000.24
x115.7
FAIL
6000.24
x120.8
FAIL
6000.24
x130.1
FAIL
6000.24
x145.9
FAIL
6000.24
x150.0
FAIL
6000.24
x150.9
FAIL
6000.24
x155.8
FAIL
6000.24
x180.7
FAIL
6000.24
x200.7
FAIL
6000.24
x245.7
FAIL
6000.24
x350.2
FAIL
6000.24
x55.0
FAIL
6000.24
x55.5
FAIL
6000.24
x60.2
FAIL
6000.24
x60.8
FAIL
6000.24
x75.3
FAIL
6000.24
x75.5
FAIL
6000.24
x80.9
FAIL
6000.24
x85.6
FAIL
6000.24
x90.4
FAIL
6000.24
sortnetsort7.v.stepl.006
FAIL
6000.24
sortnetsort8.AE.stepl.008
FAIL
6000.24
sortnetsort9.v.stepl.006
FAIL
6000.24
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
6000.24
ncf_4_16_8_euad.3
FAIL
6000.25
Adder2-8-c
FAIL
6000.25
x105.1
FAIL
6000.25
x110.8
FAIL
6000.25
x115.6
FAIL
6000.25
x125.5
FAIL
6000.25
x135.3
FAIL
6000.25
x135.6
FAIL
6000.25
x140.2
FAIL
6000.25
x145.8
FAIL
6000.25
x165.1
FAIL
6000.25
x170.7
FAIL
6000.25
x185.8
FAIL
6000.25
x190.9
FAIL
6000.25
x195.2
FAIL
6000.25
x195.5
FAIL
6000.25
x215.0
FAIL
6000.25
x225.3
FAIL
6000.25
x300.1
FAIL
6000.25
x350.6
FAIL
6000.25
x70.1
FAIL
6000.25
x80.0
FAIL
6000.25
x80.7
FAIL
6000.25
x85.4
FAIL
6000.25
x90.3
FAIL
6000.25
x95.4
FAIL
6000.25
sortnetsort10.AE.stepl.005
FAIL
6000.25
sortnetsort10.AE.stepl.006
FAIL
6000.25
sortnetsort10.v.stepl.007
FAIL
6000.25
sortnetsort8.v.stepl.008
FAIL
6000.25
sortnetsort9.AE.stepl.006
FAIL
6000.25
sortnetsort9.v.stepl.008
FAIL
6000.25
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
6000.25
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.25
k_branch_p-8
FAIL
6000.26
x105.7
FAIL
6000.26
x115.0
FAIL
6000.26
x120.2
FAIL
6000.26
x120.3
FAIL
6000.26
x120.6
FAIL
6000.26
x130.3
FAIL
6000.26
x130.9
FAIL
6000.26
x150.3
FAIL
6000.26
x155.3
FAIL
6000.26
x160.3
FAIL
6000.26
x170.1
FAIL
6000.26
x175.9
FAIL
6000.26
x180.2
FAIL
6000.26
x190.0
FAIL
6000.26
x190.7
FAIL
6000.26
x200.0
FAIL
6000.26
x210.9
FAIL
6000.26
x215.9
FAIL
6000.26
x220.5
FAIL
6000.26
x230.5
FAIL
6000.26
x245.0
FAIL
6000.26
x245.1
FAIL
6000.26
x250.2
FAIL
6000.26
x250.9
FAIL
6000.26
x350.1
FAIL
6000.26
x350.4
FAIL
6000.26
x350.8
FAIL
6000.26
x75.8
FAIL
6000.26
x85.2
FAIL
6000.26
x90.2
FAIL
6000.26
x95.0
FAIL
6000.26
x95.8
FAIL
6000.26
vis.elevator^1.E-f2
FAIL
6000.26
sortnetsort10.AE.stepl.011
FAIL
6000.26
sortnetsort10.v.stepl.006
FAIL
6000.26
sortnetsort8.AE.stepl.004
FAIL
6000.26
sortnetsort8.AE.stepl.009
FAIL
6000.26
sortnetsort9.AE.stepl.008
FAIL
6000.26
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
6000.26
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.26
BLOCKS3i.5.4
FAIL
6000.27
ev-pr-8x8-11-7-0-1-2-lg
FAIL
6000.27
k_branch_n-8
FAIL
6000.27
x115.9
FAIL
6000.27
x120.0
FAIL
6000.27
x120.4
FAIL
6000.27
x120.7
FAIL
6000.27
x120.9
FAIL
6000.27
x130.2
FAIL
6000.27
x135.9
FAIL
6000.27
x140.3
FAIL
6000.27
x140.5
FAIL
6000.27
x140.7
FAIL
6000.27
x145.5
FAIL
6000.27
x145.6
FAIL
6000.27
x160.8
FAIL
6000.27
x165.6
FAIL
6000.27
x165.9
FAIL
6000.27
x175.8
FAIL
6000.27
x185.5
FAIL
6000.27
x185.9
FAIL
6000.27
x190.6
FAIL
6000.27
x195.9
FAIL
6000.27
x205.8
FAIL
6000.27
x205.9
FAIL
6000.27
x220.1
FAIL
6000.27
x230.0
FAIL
6000.27
x235.8
FAIL
6000.27
x240.0
FAIL
6000.27
x245.9
FAIL
6000.27
x250.6
FAIL
6000.27
x250.7
FAIL
6000.27
x400.9
FAIL
6000.27
x60.5
FAIL
6000.27
x65.6
FAIL
6000.27
x75.7
FAIL
6000.27
x80.8
FAIL
6000.27
x85.1
FAIL
6000.27
x85.3
FAIL
6000.27
x90.1
FAIL
6000.27
x90.6
FAIL
6000.27
x95.7
FAIL
6000.27
sortnetsort10.v.stepl.005
FAIL
6000.27
sortnetsort10.v.stepl.012
FAIL
6000.27
sortnetsort7.AE.stepl.007
FAIL
6000.27
sortnetsort7.v.stepl.008
FAIL
6000.27
sortnetsort9.AE.stepl.009
FAIL
6000.27
sortnetsort9.v.stepl.005
FAIL
6000.27
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.27
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.27
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.27
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.27
BLOCKS3i.5.3
FAIL
6000.28
x100.4
FAIL
6000.28
x105.2
FAIL
6000.28
x110.1
FAIL
6000.28
x110.2
FAIL
6000.28
x115.2
FAIL
6000.28
x120.5
FAIL
6000.28
x135.8
FAIL
6000.28
x145.2
FAIL
6000.28
x145.3
FAIL
6000.28
x150.6
FAIL
6000.28
x150.8
FAIL
6000.28
x155.5
FAIL
6000.28
x155.6
FAIL
6000.28
x160.9
FAIL
6000.28
x165.2
FAIL
6000.28
x175.1
FAIL
6000.28
x175.3
FAIL
6000.28
x180.5
FAIL
6000.28
x185.3
FAIL
6000.28
x190.1
FAIL
6000.28
x190.4
FAIL
6000.28
x225.9
FAIL
6000.28
x230.9
FAIL
6000.28
x240.3
FAIL
6000.28
x245.3
FAIL
6000.28
x300.6
FAIL
6000.28
x350.3
FAIL
6000.28
x350.9
FAIL
6000.28
x400.0
FAIL
6000.28
x60.3
FAIL
6000.28
x65.2
FAIL
6000.28
x65.3
FAIL
6000.28
x65.7
FAIL
6000.28
sortnetsort10.v.stepl.004
FAIL
6000.28
sortnetsort10.v.stepl.009
FAIL
6000.28
sortnetsort8.v.stepl.005
FAIL
6000.28
sortnetsort8.v.stepl.007
FAIL
6000.28
sortnetsort9.AE.stepl.011
FAIL
6000.28
sortnetsort9.v.stepl.011
FAIL
6000.28
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
6000.28
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
6000.28
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
6000.28
x135.0
FAIL
6000.29
x135.1
FAIL
6000.29
x140.8
FAIL
6000.29
x145.7
FAIL
6000.29
x155.1
FAIL
6000.29
x165.8
FAIL
6000.29
x170.5
FAIL
6000.29
x170.8
FAIL
6000.29
x175.2
FAIL
6000.29
x180.9
FAIL
6000.29
x195.6
FAIL
6000.29
x195.7
FAIL
6000.29
x195.8
FAIL
6000.29
x200.5
FAIL
6000.29
x205.0
FAIL
6000.29
x205.3
FAIL
6000.29
x205.4
FAIL
6000.29
x210.0
FAIL
6000.29
x210.2
FAIL
6000.29
x215.2
FAIL
6000.29
x220.7
FAIL
6000.29
x220.8
FAIL
6000.29
x225.6
FAIL
6000.29
x230.1
FAIL
6000.29
x230.3
FAIL
6000.29
x240.1
FAIL
6000.29
x240.9
FAIL
6000.29
x250.3
FAIL
6000.29
sortnetsort7.AE.stepl.006
FAIL
6000.29
sortnetsort8.AE.stepl.005
FAIL
6000.29
sortnetsort9.v.stepl.004
FAIL
6000.29
sortnetsort9.v.stepl.010
FAIL
6000.29
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
6000.29
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.29
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
6000.29
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.29
ncf_16_32_8_euad.1
FAIL
6000.3
x100.8
FAIL
6000.3
x105.6
FAIL
6000.3
x105.9
FAIL
6000.3
x110.4
FAIL
6000.3
x110.6
FAIL
6000.3
x115.5
FAIL
6000.3
x135.5
FAIL
6000.3
x140.1
FAIL
6000.3
x140.9
FAIL
6000.3
x150.7
FAIL
6000.3
x155.2
FAIL
6000.3
x155.4
FAIL
6000.3
x155.7
FAIL
6000.3
x160.6
FAIL
6000.3
x170.0
FAIL
6000.3
x170.4
FAIL
6000.3
x185.1
FAIL
6000.3
x195.4
FAIL
6000.3
x200.2
FAIL
6000.3
x200.8
FAIL
6000.3
x210.3
FAIL
6000.3
x210.8
FAIL
6000.3
x215.4
FAIL
6000.3
x220.4
FAIL
6000.3
x225.4
FAIL
6000.3
x230.6
FAIL
6000.3
x235.0
FAIL
6000.3
x235.1
FAIL
6000.3
x240.5
FAIL
6000.3
x250.0
FAIL
6000.3
x250.4
FAIL
6000.3
x300.0
FAIL
6000.3
x400.2
FAIL
6000.3
x70.6
FAIL
6000.3
x90.7
FAIL
6000.3
x95.6
FAIL
6000.3
sortnetsort10.AE.stepl.007
FAIL
6000.3
sortnetsort10.AE.stepl.009
FAIL
6000.3
sortnetsort7.v.stepl.009
FAIL
6000.3
sortnetsort9.AE.stepl.012
FAIL
6000.3
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.3
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.3
k_branch_p-12
FAIL
6000.31
k_ph_n-12
FAIL
6000.31
x105.0
FAIL
6000.31
x125.0
FAIL
6000.31
x125.2
FAIL
6000.31
x125.7
FAIL
6000.31
x125.9
FAIL
6000.31
x145.0
FAIL
6000.31
x165.3
FAIL
6000.31
x175.6
FAIL
6000.31
x180.8
FAIL
6000.31
x185.2
FAIL
6000.31
x185.4
FAIL
6000.31
x200.3
FAIL
6000.31
x205.1
FAIL
6000.31
x205.7
FAIL
6000.31
x245.6
FAIL
6000.31
x350.7
FAIL
6000.31
x400.3
FAIL
6000.31
x400.4
FAIL
6000.31
x400.5
FAIL
6000.31
x70.0
FAIL
6000.31
sortnetsort10.AE.stepl.012
FAIL
6000.31
sortnetsort8.AE.stepl.007
FAIL
6000.31
sortnetsort9.v.stepl.012
FAIL
6000.31
x105.8
FAIL
6000.32
x110.0
FAIL
6000.32
x115.8
FAIL
6000.32
x125.8
FAIL
6000.32
x130.0
FAIL
6000.32
x140.6
FAIL
6000.32
x145.4
FAIL
6000.32
x160.5
FAIL
6000.32
x165.7
FAIL
6000.32
x170.3
FAIL
6000.32
x180.1
FAIL
6000.32
x180.3
FAIL
6000.32
x180.6
FAIL
6000.32
x205.5
FAIL
6000.32
x210.6
FAIL
6000.32
x235.3
FAIL
6000.32
x235.5
FAIL
6000.32
x240.6
FAIL
6000.32
x250.5
FAIL
6000.32
x300.3
FAIL
6000.32
x300.5
FAIL
6000.32
x400.6
FAIL
6000.32
x60.9
FAIL
6000.32
x70.8
FAIL
6000.32
x75.0
FAIL
6000.32
x80.3
FAIL
6000.32
cmu.gigamax.B-f2
FAIL
6000.32
sortnetsort10.AE.stepl.004
FAIL
6000.32
sortnetsort10.AE.stepl.008
FAIL
6000.32
sortnetsort10.v.stepl.008
FAIL
6000.32
sortnetsort7.AE.stepl.005
FAIL
6000.32
sortnetsort8.v.stepl.009
FAIL
6000.32
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.32
ncf_16_32_4_edau.10
FAIL
6000.33
x105.4
FAIL
6000.33
x115.1
FAIL
6000.33
x125.4
FAIL
6000.33
x125.6
FAIL
6000.33
x130.5
FAIL
6000.33
x140.4
FAIL
6000.33
x150.2
FAIL
6000.33
x150.5
FAIL
6000.33
x165.5
FAIL
6000.33
x175.5
FAIL
6000.33
x190.2
FAIL
6000.33
x195.1
FAIL
6000.33
x200.4
FAIL
6000.33
x210.1
FAIL
6000.33
x210.5
FAIL
6000.33
x215.1
FAIL
6000.33
x215.7
FAIL
6000.33
x225.8
FAIL
6000.33
x235.6
FAIL
6000.33
x240.7
FAIL
6000.33
x300.2
FAIL
6000.33
x300.8
FAIL
6000.33
x85.7
FAIL
6000.33
x90.9
FAIL
6000.33
sortnetsort10.AE.stepl.010
FAIL
6000.33
sortnetsort10.v.stepl.010
FAIL
6000.33
sortnetsort9.AE.stepl.010
FAIL
6000.33
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.33
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
6000.33
x145.1
FAIL
6000.34
x180.0
FAIL
6000.34
x180.4
FAIL
6000.34
x185.0
FAIL
6000.34
x195.0
FAIL
6000.34
x200.6
FAIL
6000.34
x220.2
FAIL
6000.34
x225.1
FAIL
6000.34
x235.2
FAIL
6000.34
x235.7
FAIL
6000.34
x240.8
FAIL
6000.34
x250.1
FAIL
6000.34
x75.2
FAIL
6000.34
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.34
x100.0
FAIL
6000.35
x130.7
FAIL
6000.35
x135.7
FAIL
6000.35
x185.7
FAIL
6000.35
x190.5
FAIL
6000.35
x215.3
FAIL
6000.35
x215.8
FAIL
6000.35
x230.4
FAIL
6000.35
x235.4
FAIL
6000.35
x240.4
FAIL
6000.35
x400.7
FAIL
6000.35
x100.6
FAIL
6000.36
x125.1
FAIL
6000.36
x135.2
FAIL
6000.36
x185.6
FAIL
6000.36
x210.4
FAIL
6000.36
x220.0
FAIL
6000.36
x400.1
FAIL
6000.36
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
6000.36
BLOCKS4iii.7
FAIL
6000.37
x155.0
FAIL
6000.37
x170.2
FAIL
6000.37
x220.3
FAIL
6000.37
x300.4
FAIL
6000.37
x130.8
FAIL
6000.38
x220.9
FAIL
6000.38
x100.9
FAIL
6000.39
x205.2
FAIL
6000.39
sortnetsort10.v.stepl.011
FAIL
6000.39
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
6000.39
x245.2
FAIL
6000.42
Contact
|
Organization
|
Links
|
Citing QBFLIB