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
SQBF
QBFEVAL'06
Instance
Result
Time
ncf_8_16_4_d.1
SAT
0
ncf_4_8_2_euad.8
SAT
0
ncf_4_8_2_u.7
UNSAT
0
ncf_4_16_2_d.2
SAT
0
5qbf-5cnf-160var-640cl.8
SAT
0
ncf_4_8_4_euad.9
SAT
0
ncf_8_16_4_euad.1
SAT
0
ncf_8_16_4_d.10
SAT
0
k_poly_n-4
SAT
0
3qbf-5cnf-80var-2560cl.6
UNSAT
0
3qbf-5cnf-80var-2560cl.0
UNSAT
0
ncf_8_16_4_u.2
UNSAT
0
ncf_16_32_2_u.9
UNSAT
0
5qbf-5cnf-20var-640cl.1
UNSAT
0
5qbf-5cnf-40var-1280cl.9
UNSAT
0
ncf_4_16_2_edau.2
SAT
0
5qbf-5cnf-20var-640cl.0
UNSAT
0
5qbf-5cnf-80var-2560cl.7
UNSAT
0
tree-exa2-50
UNSAT
0
5qbf-5cnf-160var-640cl.6
SAT
0
5qbf-5cnf-80var-2560cl.5
UNSAT
0
ncf_8_16_4_u.1
SAT
0
ncf_16_32_2_d.6
SAT
0
5qbf-5cnf-40var-1280cl.4
UNSAT
0
5qbf-5cnf-40var-1280cl.1
UNSAT
0
ncf_8_16_4_d.6
UNSAT
0
3qbf-5cnf-80var-2560cl.2
UNSAT
0
ncf_8_16_4_edau.6
UNSAT
0
6qbf-5cnf-160var-640cl.5
SAT
0
ncf_4_8_2_euad.7
UNSAT
0
ncf_8_16_4_euad.2
UNSAT
0
comp.blif_0.10_1.00_0_0_out_exact
UNSAT
0
ncf_8_16_4_edau.8
UNSAT
0
ncf_4_8_4_u.2
UNSAT
0
4qbf-5cnf-40var-1280cl.1
UNSAT
0
x5.0
SAT
0
x5.5
UNSAT
0
x5.6
UNSAT
0
x5.8
UNSAT
0
cmu.dme2.B-d2
SAT
0
eijk.S208.S-d2
SAT
0
eijk.S953.S-d2
SAT
0
texas.parsesys^1.E-d2
SAT
0
vis.eisenberg.E-d2
SAT
0
Qq2k1k4v40v40m2s0
SAT
0
Qq2k1k4v40v40m2s2
SAT
0
Qq2k1k4v40v40m2s4
SAT
0
Qq2k1k4v40v40m2s6
SAT
0
Qq2k1k4v40v40m2s8
SAT
0
Qq2k1k4v40v40m4s0
SAT
0
Qq2k1k4v40v40m4s1
SAT
0
Qq2k1k4v40v40m4s2
UNSAT
0
Qq2k1k4v40v40m4s4
SAT
0
Qq2k1k4v40v40m4s5
SAT
0
Qq2k1k4v40v40m4s8
SAT
0
Qq2k1k4v40v40m8s0
SAT
0
Qq2k1k4v40v40m8s2
UNSAT
0
Qq2k1k4v40v40m8s3
SAT
0
Qq2k1k4v40v40m8s4
SAT
0
Qq2k1k4v40v40m8s5
SAT
0
Qq2k1k4v40v40m8s6
UNSAT
0
Qq2k1k4v40v40m8s7
SAT
0
Qq2k1k4v40v40m16s2
UNSAT
0
Qq2k1k4v40v40m16s4
SAT
0
Qq2k1k4v40v40m16s7
SAT
0
Qq2k1k4v40v40m32s0
UNSAT
0
Qq2k1k4v40v40m32s1
UNSAT
0
Qq2k1k4v40v40m32s2
UNSAT
0
Qq2k1k4v40v40m32s3
UNSAT
0
Qq2k1k4v40v40m32s7
UNSAT
0
Qq2k1k4v40v40m32s8
UNSAT
0
Qq2k1k4v40v40m32s9
UNSAT
0
Qq2k1k4v80v80m2s1
SAT
0
Qq2k1k4v80v80m2s2
SAT
0
Qq2k1k4v80v80m2s3
SAT
0
Qq2k1k4v80v80m2s7
SAT
0
Qq2k1k4v80v80m4s5
SAT
0
Qq2k1k4v80v80m4s6
SAT
0
Qq2k1k4v80v80m4s7
SAT
0
Qq2k1k4v80v80m4s8
SAT
0
Qq2k1k4v80v80m4s9
SAT
0
Qq2k1k4v80v80m8s3
SAT
0
Qq2k1k4v80v80m8s5
SAT
0
Qq2k1k4v80v80m8s6
SAT
0
Qq2k1k4v80v80m8s7
SAT
0
Qq2k1k4v80v80m8s9
SAT
0
Qq2k1k4v80v80m16s0
UNSAT
0
Qq2k1k4v80v80m16s1
SAT
0
Qq2k1k4v80v80m16s2
SAT
0
Qq2k1k4v80v80m16s3
UNSAT
0
Qq2k1k4v80v80m16s5
SAT
0
Qq2k1k4v80v80m16s6
SAT
0
Qq2k1k4v80v80m16s7
SAT
0
Qq2k1k4v80v80m16s8
UNSAT
0
Qq2k1k4v80v80m32s2
UNSAT
0
Qq2k1k4v80v80m32s6
UNSAT
0
Qq2k1k4v80v80m32s7
SAT
0
Qq2k1k4v80v80m32s9
UNSAT
0
Qq2k2k3v40v40m2s0
SAT
0
Qq2k2k3v40v40m2s5
SAT
0
Qq2k2k3v40v40m2s7
SAT
0
Qq2k2k3v40v40m2s8
SAT
0
Qq2k2k3v40v40m2s9
SAT
0
Qq2k2k3v40v40m4s1
SAT
0
Qq2k2k3v40v40m4s2
SAT
0
Qq2k2k3v40v40m4s4
SAT
0
Qq2k2k3v40v40m4s5
SAT
0
Qq2k2k3v40v40m4s6
SAT
0
Qq2k2k3v40v40m4s7
SAT
0
Qq2k2k3v40v40m4s8
SAT
0
Qq2k2k3v40v40m4s9
SAT
0
Qq2k2k3v40v40m8s0
SAT
0
Qq2k2k3v40v40m8s1
SAT
0
Qq2k2k3v40v40m8s2
SAT
0
Qq2k2k3v40v40m8s4
SAT
0
Qq2k2k3v40v40m8s5
SAT
0
Qq2k2k3v40v40m8s8
SAT
0
Qq2k2k3v40v40m8s9
SAT
0
Qq2k2k3v40v40m16s1
SAT
0
Qq2k2k3v40v40m16s2
SAT
0
Qq2k2k3v40v40m16s3
SAT
0
Qq2k2k3v40v40m16s4
SAT
0
Qq2k2k3v40v40m16s6
SAT
0
Qq2k2k3v40v40m16s9
SAT
0
Qq2k2k3v40v40m32s0
SAT
0
Qq2k2k3v40v40m32s1
SAT
0
Qq2k2k3v40v40m32s4
SAT
0
Qq2k2k3v40v40m32s6
SAT
0
Qq2k2k3v40v40m32s9
SAT
0
Qq2k2k3v80v80m2s1
SAT
0
Qq2k2k3v80v80m2s3
SAT
0
Qq2k2k3v80v80m2s4
SAT
0
Qq2k2k3v80v80m2s5
SAT
0
Qq2k2k3v80v80m2s7
SAT
0
Qq2k2k3v80v80m2s8
SAT
0
Qq2k2k3v80v80m4s0
SAT
0
Qq2k2k3v80v80m4s2
SAT
0
Qq2k2k3v80v80m4s6
SAT
0
Qq2k2k3v80v80m8s0
SAT
0
Qq2k2k3v80v80m8s1
SAT
0
Qq2k2k3v80v80m8s2
SAT
0
Qq2k2k3v80v80m8s3
SAT
0
Qq2k2k3v80v80m8s4
SAT
0
Qq2k2k3v80v80m8s6
SAT
0
Qq2k2k3v80v80m8s7
SAT
0
Qq2k2k3v80v80m16s0
SAT
0
Qq2k2k3v80v80m16s1
SAT
0
Qq2k2k3v80v80m16s2
SAT
0
Qq2k2k3v80v80m16s6
SAT
0
Qq2k2k3v80v80m16s8
SAT
0
Qq2k2k3v80v80m16s9
SAT
0
Qq2k2k3v80v80m32s2
SAT
0
Qq2k2k3v80v80m32s3
SAT
0
Qq2k2k3v80v80m32s5
SAT
0
Qq2k2k3v80v80m32s6
SAT
0
Qq2k2k3v80v80m32s8
SAT
0
Qq2k3k2v40v40m2s0
SAT
0
Qq2k3k2v40v40m2s3
SAT
0
Qq2k3k2v40v40m2s4
SAT
0
Qq2k3k2v40v40m2s5
SAT
0
Qq2k3k2v40v40m2s6
SAT
0
Qq2k3k2v40v40m2s9
SAT
0
Qq2k3k2v40v40m4s1
SAT
0
Qq2k3k2v40v40m4s2
SAT
0
Qq2k3k2v40v40m4s5
SAT
0
Qq2k3k2v40v40m4s7
SAT
0
Qq2k3k2v40v40m4s8
SAT
0
Qq2k3k2v40v40m4s9
SAT
0
Qq2k3k2v40v40m8s3
SAT
0
Qq2k3k2v40v40m8s6
SAT
0
Qq2k3k2v40v40m8s7
SAT
0
Qq2k3k2v40v40m8s8
SAT
0
Qq2k3k2v40v40m8s9
SAT
0
Qq2k3k2v40v40m16s1
SAT
0
Qq2k3k2v40v40m16s2
SAT
0
Qq2k3k2v40v40m16s4
SAT
0
Qq2k3k2v40v40m16s5
SAT
0
Qq2k3k2v40v40m16s6
SAT
0
Qq2k3k2v40v40m16s7
SAT
0
Qq2k3k2v40v40m16s8
SAT
0
Qq2k3k2v40v40m16s9
SAT
0
Qq2k3k2v40v40m32s0
SAT
0
Qq2k3k2v40v40m32s4
SAT
0
Qq2k3k2v40v40m32s5
SAT
0
Qq2k3k2v40v40m32s6
SAT
0
Qq2k3k2v80v80m2s0
SAT
0
Qq2k3k2v80v80m2s1
SAT
0
Qq2k3k2v80v80m2s3
SAT
0
Qq2k3k2v80v80m2s5
SAT
0
Qq2k3k2v80v80m2s6
SAT
0
Qq2k3k2v80v80m2s8
SAT
0
Qq2k3k2v80v80m2s9
SAT
0
Qq2k3k2v80v80m4s1
SAT
0
Qq2k3k2v80v80m4s2
SAT
0
Qq2k3k2v80v80m4s4
SAT
0
Qq2k3k2v80v80m4s7
SAT
0
Qq2k3k2v80v80m4s8
SAT
0
Qq2k3k2v80v80m4s9
SAT
0
Qq2k3k2v80v80m8s0
SAT
0
Qq2k3k2v80v80m8s1
SAT
0
Qq2k3k2v80v80m8s2
SAT
0
Qq2k3k2v80v80m8s3
SAT
0
Qq2k3k2v80v80m8s5
SAT
0
Qq2k3k2v80v80m8s6
SAT
0
Qq2k3k2v80v80m8s7
SAT
0
Qq2k3k2v80v80m8s9
SAT
0
Qq2k3k2v80v80m16s2
SAT
0
Qq2k3k2v80v80m16s4
SAT
0
Qq2k3k2v80v80m16s5
SAT
0
Qq2k3k2v80v80m16s6
SAT
0
Qq2k3k2v80v80m16s8
SAT
0
Qq2k3k2v80v80m16s9
SAT
0
Qq2k3k2v80v80m32s0
SAT
0
Qq2k3k2v80v80m32s1
SAT
0
Qq2k3k2v80v80m32s6
SAT
0
Qq2k3k2v80v80m32s7
SAT
0
Qq3k1k1k3v40v40v40m2s1
SAT
0
Qq3k1k1k3v40v40v40m2s4
SAT
0
Qq3k1k1k3v40v40v40m2s5
SAT
0
Qq3k1k1k3v40v40v40m2s7
SAT
0
Qq3k1k1k3v40v40v40m4s0
SAT
0
Qq3k1k1k3v40v40v40m4s1
SAT
0
Qq3k1k1k3v40v40v40m4s3
SAT
0
Qq3k1k1k3v40v40v40m4s6
SAT
0
Qq3k1k1k3v40v40v40m4s7
SAT
0
Qq3k1k1k3v40v40v40m4s8
SAT
0
Qq3k1k1k3v40v40v40m8s1
SAT
0
Qq3k1k1k3v40v40v40m8s2
SAT
0
Qq3k1k1k3v40v40v40m8s3
SAT
0
Qq3k1k1k3v40v40v40m8s5
SAT
0
Qq3k1k1k3v40v40v40m8s6
SAT
0
Qq3k1k1k3v40v40v40m8s7
SAT
0
Qq3k1k1k3v40v40v40m16s0
SAT
0
Qq3k1k1k3v40v40v40m16s1
SAT
0
Qq3k1k1k3v40v40v40m16s2
SAT
0
Qq3k1k1k3v40v40v40m16s8
SAT
0
Qq3k1k1k3v40v40v40m16s9
SAT
0
Qq3k1k1k3v40v40v40m32s0
SAT
0
Qq3k1k1k3v40v40v40m32s1
SAT
0
Qq3k1k1k3v40v40v40m32s2
SAT
0
Qq3k1k1k3v40v40v40m32s4
SAT
0
Qq3k1k1k3v80v80v80m2s0
SAT
0
Qq3k1k1k3v80v80v80m2s1
SAT
0
Qq3k1k1k3v80v80v80m2s2
SAT
0
Qq3k1k1k3v80v80v80m2s3
SAT
0
Qq3k1k1k3v80v80v80m2s5
SAT
0
Qq3k1k1k3v80v80v80m2s6
SAT
0
Qq3k1k1k3v80v80v80m2s8
SAT
0
Qq3k1k1k3v80v80v80m2s9
SAT
0
Qq3k1k1k3v80v80v80m4s2
SAT
0
Qq3k1k1k3v80v80v80m4s3
SAT
0
Qq3k1k1k3v80v80v80m4s4
SAT
0
Qq3k1k1k3v80v80v80m4s5
SAT
0
Qq3k1k1k3v80v80v80m4s6
SAT
0
Qq3k1k1k3v80v80v80m4s7
SAT
0
Qq3k1k1k3v80v80v80m4s8
SAT
0
Qq3k1k1k3v80v80v80m4s9
SAT
0
Qq3k1k1k3v80v80v80m8s1
SAT
0
Qq3k1k1k3v80v80v80m8s3
SAT
0
Qq3k1k1k3v80v80v80m8s7
SAT
0
Qq3k1k1k3v80v80v80m16s2
SAT
0
Qq3k1k1k3v80v80v80m16s5
SAT
0
Qq3k1k1k3v80v80v80m16s6
SAT
0
Qq3k1k1k3v80v80v80m16s7
SAT
0
Qq3k1k1k3v80v80v80m16s8
SAT
0
Qq3k1k1k3v80v80v80m32s0
SAT
0
Qq3k1k1k3v80v80v80m32s1
SAT
0
Qq3k1k1k3v80v80v80m32s3
SAT
0
Qq3k1k1k3v80v80v80m32s4
SAT
0
Qq3k1k1k3v80v80v80m32s5
SAT
0
Qq3k1k1k3v80v80v80m32s6
SAT
0
Qq3k1k2k2v40v40v40m2s0
SAT
0
Qq3k1k2k2v40v40v40m2s2
SAT
0
Qq3k1k2k2v40v40v40m2s4
SAT
0
Qq3k1k2k2v40v40v40m2s5
SAT
0
Qq3k1k2k2v40v40v40m2s6
SAT
0
Qq3k1k2k2v40v40v40m2s7
SAT
0
Qq3k1k2k2v40v40v40m2s8
SAT
0
Qq3k1k2k2v40v40v40m2s9
SAT
0
Qq3k1k2k2v40v40v40m4s0
SAT
0
Qq3k1k2k2v40v40v40m4s2
SAT
0
Qq3k1k2k2v40v40v40m4s4
SAT
0
Qq3k1k2k2v40v40v40m4s5
SAT
0
Qq3k1k2k2v40v40v40m4s7
SAT
0
Qq3k1k2k2v40v40v40m8s1
SAT
0
Qq3k1k2k2v40v40v40m8s4
SAT
0
Qq3k1k2k2v40v40v40m16s0
SAT
0
Qq3k1k2k2v40v40v40m16s1
SAT
0
Qq3k1k2k2v40v40v40m16s2
SAT
0
Qq3k1k2k2v40v40v40m16s4
SAT
0
Qq3k1k2k2v40v40v40m16s6
SAT
0
Qq3k1k2k2v40v40v40m16s7
SAT
0
Qq3k1k2k2v40v40v40m32s1
SAT
0
Qq3k1k2k2v40v40v40m32s3
SAT
0
Qq3k1k2k2v40v40v40m32s4
SAT
0
Qq3k1k2k2v40v40v40m32s5
SAT
0
Qq3k1k2k2v40v40v40m32s6
SAT
0
Qq3k1k2k2v40v40v40m32s7
SAT
0
Qq3k1k2k2v40v40v40m32s8
SAT
0
Qq3k1k2k2v40v40v40m32s9
SAT
0
Qq3k1k2k2v80v80v80m2s1
SAT
0
Qq3k1k2k2v80v80v80m2s2
SAT
0
Qq3k1k2k2v80v80v80m2s3
SAT
0
Qq3k1k2k2v80v80v80m2s4
SAT
0
Qq3k1k2k2v80v80v80m2s7
SAT
0
Qq3k1k2k2v80v80v80m4s1
SAT
0
Qq3k1k2k2v80v80v80m4s2
SAT
0
Qq3k1k2k2v80v80v80m4s3
SAT
0
Qq3k1k2k2v80v80v80m4s4
SAT
0
Qq3k1k2k2v80v80v80m4s6
SAT
0
Qq3k1k2k2v80v80v80m4s7
SAT
0
Qq3k1k2k2v80v80v80m4s8
SAT
0
Qq3k1k2k2v80v80v80m4s9
SAT
0
Qq3k1k2k2v80v80v80m8s5
SAT
0
Qq3k1k2k2v80v80v80m8s6
SAT
0
Qq3k1k2k2v80v80v80m8s8
SAT
0
Qq3k1k2k2v80v80v80m8s9
SAT
0
Qq3k1k2k2v80v80v80m16s0
SAT
0
Qq3k1k2k2v80v80v80m16s1
SAT
0
Qq3k1k2k2v80v80v80m16s2
SAT
0
Qq3k1k2k2v80v80v80m16s3
SAT
0
Qq3k1k2k2v80v80v80m16s8
SAT
0
Qq3k1k2k2v80v80v80m32s0
SAT
0
Qq3k1k2k2v80v80v80m32s3
SAT
0
Qq3k1k2k2v80v80v80m32s4
SAT
0
Qq3k1k2k2v80v80v80m32s5
SAT
0
Qq3k1k2k2v80v80v80m32s7
SAT
0
Qq3k1k2k2v80v80v80m32s9
SAT
0
Qq3k1k3k1v40v40v40m2s0
SAT
0
Qq3k1k3k1v40v40v40m2s1
SAT
0
Qq3k1k3k1v40v40v40m2s7
SAT
0
Qq3k1k3k1v40v40v40m2s9
SAT
0
Qq3k1k3k1v40v40v40m4s0
SAT
0
Qq3k1k3k1v40v40v40m4s5
SAT
0
Qq3k1k3k1v40v40v40m4s6
SAT
0
Qq3k1k3k1v40v40v40m4s7
SAT
0
Qq3k1k3k1v40v40v40m8s0
SAT
0
Qq3k1k3k1v40v40v40m8s1
SAT
0
Qq3k1k3k1v40v40v40m8s2
SAT
0
Qq3k1k3k1v40v40v40m8s4
SAT
0
Qq3k1k3k1v40v40v40m8s5
SAT
0
Qq3k1k3k1v40v40v40m8s6
SAT
0
Qq3k1k3k1v40v40v40m8s8
SAT
0
Qq3k1k3k1v40v40v40m16s0
SAT
0
Qq3k1k3k1v40v40v40m16s1
SAT
0
Qq3k1k3k1v40v40v40m16s2
SAT
0
Qq3k1k3k1v40v40v40m16s3
SAT
0
Qq3k1k3k1v40v40v40m16s5
SAT
0
Qq3k1k3k1v40v40v40m16s6
SAT
0
Qq3k1k3k1v40v40v40m16s8
SAT
0
Qq3k1k3k1v40v40v40m16s9
SAT
0
Qq3k1k3k1v40v40v40m32s1
SAT
0
Qq3k1k3k1v40v40v40m32s8
SAT
0
Qq3k1k3k1v80v80v80m2s0
SAT
0
Qq3k1k3k1v80v80v80m2s1
SAT
0
Qq3k1k3k1v80v80v80m2s2
SAT
0
Qq3k1k3k1v80v80v80m2s3
SAT
0
Qq3k1k3k1v80v80v80m2s5
SAT
0
Qq3k1k3k1v80v80v80m2s6
SAT
0
Qq3k1k3k1v80v80v80m2s7
SAT
0
Qq3k1k3k1v80v80v80m2s8
SAT
0
Qq3k1k3k1v80v80v80m2s9
SAT
0
Qq3k1k3k1v80v80v80m4s1
SAT
0
Qq3k1k3k1v80v80v80m4s3
SAT
0
Qq3k1k3k1v80v80v80m4s4
SAT
0
Qq3k1k3k1v80v80v80m4s5
SAT
0
Qq3k1k3k1v80v80v80m4s6
SAT
0
Qq3k1k3k1v80v80v80m4s7
SAT
0
Qq3k1k3k1v80v80v80m4s8
SAT
0
Qq3k1k3k1v80v80v80m4s9
SAT
0
Qq3k1k3k1v80v80v80m8s0
SAT
0
Qq3k1k3k1v80v80v80m8s1
SAT
0
Qq3k1k3k1v80v80v80m8s2
SAT
0
Qq3k1k3k1v80v80v80m8s3
SAT
0
Qq3k1k3k1v80v80v80m8s5
SAT
0
Qq3k1k3k1v80v80v80m8s6
SAT
0
Qq3k1k3k1v80v80v80m8s8
SAT
0
Qq3k1k3k1v80v80v80m8s9
SAT
0
Qq3k1k3k1v80v80v80m16s2
SAT
0
Qq3k1k3k1v80v80v80m16s3
SAT
0
Qq3k1k3k1v80v80v80m16s4
SAT
0
Qq3k1k3k1v80v80v80m16s7
SAT
0
Qq3k1k3k1v80v80v80m32s0
SAT
0
Qq3k1k3k1v80v80v80m32s1
SAT
0
Qq3k1k3k1v80v80v80m32s3
SAT
0
Qq3k1k3k1v80v80v80m32s5
SAT
0
Qq3k2k1k2v40v40v40m2s4
SAT
0
Qq3k2k1k2v40v40v40m2s7
SAT
0
Qq3k2k1k2v40v40v40m2s9
SAT
0
Qq3k2k1k2v40v40v40m4s0
SAT
0
Qq3k2k1k2v40v40v40m4s5
SAT
0
Qq3k2k1k2v40v40v40m4s7
SAT
0
Qq3k2k1k2v40v40v40m4s8
SAT
0
Qq3k2k1k2v40v40v40m4s9
SAT
0
Qq3k2k1k2v40v40v40m8s0
SAT
0
Qq3k2k1k2v40v40v40m8s1
SAT
0
Qq3k2k1k2v40v40v40m8s2
SAT
0
Qq3k2k1k2v40v40v40m8s3
SAT
0
Qq3k2k1k2v40v40v40m8s5
SAT
0
Qq3k2k1k2v40v40v40m16s0
SAT
0
Qq3k2k1k2v40v40v40m16s1
SAT
0
Qq3k2k1k2v40v40v40m16s2
SAT
0
Qq3k2k1k2v40v40v40m16s3
SAT
0
Qq3k2k1k2v40v40v40m16s5
SAT
0
Qq3k2k1k2v40v40v40m16s8
SAT
0
Qq3k2k1k2v40v40v40m16s9
SAT
0
Qq3k2k1k2v40v40v40m32s1
SAT
0
Qq3k2k1k2v40v40v40m32s2
SAT
0
Qq3k2k1k2v40v40v40m32s3
SAT
0
Qq3k2k1k2v40v40v40m32s5
SAT
0
Qq3k2k1k2v40v40v40m32s9
SAT
0
Qq3k2k1k2v80v80v80m2s0
SAT
0
Qq3k2k1k2v80v80v80m2s1
SAT
0
Qq3k2k1k2v80v80v80m2s4
SAT
0
Qq3k2k1k2v80v80v80m2s5
SAT
0
Qq3k2k1k2v80v80v80m2s6
SAT
0
Qq3k2k1k2v80v80v80m2s7
SAT
0
Qq3k2k1k2v80v80v80m2s8
SAT
0
Qq3k2k1k2v80v80v80m2s9
SAT
0
Qq3k2k1k2v80v80v80m4s0
SAT
0
Qq3k2k1k2v80v80v80m4s2
SAT
0
Qq3k2k1k2v80v80v80m4s4
SAT
0
Qq3k2k1k2v80v80v80m4s5
SAT
0
Qq3k2k1k2v80v80v80m4s7
SAT
0
Qq3k2k1k2v80v80v80m4s9
SAT
0
Qq3k2k1k2v80v80v80m8s0
SAT
0
Qq3k2k1k2v80v80v80m8s3
SAT
0
Qq3k2k1k2v80v80v80m8s4
SAT
0
Qq3k2k1k2v80v80v80m8s5
SAT
0
Qq3k2k1k2v80v80v80m8s7
SAT
0
Qq3k2k1k2v80v80v80m8s8
SAT
0
Qq3k2k1k2v80v80v80m8s9
SAT
0
Qq3k2k1k2v80v80v80m16s1
SAT
0
Qq3k2k1k2v80v80v80m16s3
SAT
0
Qq3k2k1k2v80v80v80m16s5
SAT
0
Qq3k2k1k2v80v80v80m16s7
SAT
0
Qq3k2k1k2v80v80v80m16s9
SAT
0
Qq3k2k1k2v80v80v80m32s0
SAT
0
Qq3k2k1k2v80v80v80m32s1
SAT
0
Qq3k2k1k2v80v80v80m32s3
SAT
0
Qq3k2k1k2v80v80v80m32s4
SAT
0
Qq3k2k1k2v80v80v80m32s7
SAT
0
Qq3k2k1k2v80v80v80m32s8
SAT
0
Qq3k2k2k1v40v40v40m2s0
SAT
0
Qq3k2k2k1v40v40v40m2s1
SAT
0
Qq3k2k2k1v40v40v40m2s2
SAT
0
Qq3k2k2k1v40v40v40m2s3
SAT
0
Qq3k2k2k1v40v40v40m2s5
SAT
0
Qq3k2k2k1v40v40v40m2s6
SAT
0
Qq3k2k2k1v40v40v40m2s7
SAT
0
Qq3k2k2k1v40v40v40m2s9
SAT
0
Qq3k2k2k1v40v40v40m4s0
SAT
0
Qq3k2k2k1v40v40v40m4s2
SAT
0
Qq3k2k2k1v40v40v40m4s3
SAT
0
Qq3k2k2k1v40v40v40m4s4
SAT
0
Qq3k2k2k1v40v40v40m4s5
SAT
0
Qq3k2k2k1v40v40v40m4s6
SAT
0
Qq3k2k2k1v40v40v40m4s7
SAT
0
Qq3k2k2k1v40v40v40m4s8
SAT
0
Qq3k2k2k1v40v40v40m4s9
SAT
0
Qq3k2k2k1v40v40v40m8s0
SAT
0
Qq3k2k2k1v40v40v40m8s1
SAT
0
Qq3k2k2k1v40v40v40m8s2
SAT
0
Qq3k2k2k1v40v40v40m8s3
SAT
0
Qq3k2k2k1v40v40v40m8s4
SAT
0
Qq3k2k2k1v40v40v40m8s9
SAT
0
Qq3k2k2k1v40v40v40m16s0
SAT
0
Qq3k2k2k1v40v40v40m16s1
SAT
0
Qq3k2k2k1v40v40v40m16s2
SAT
0
Qq3k2k2k1v40v40v40m16s4
SAT
0
Qq3k2k2k1v40v40v40m16s6
SAT
0
Qq3k2k2k1v40v40v40m16s8
SAT
0
Qq3k2k2k1v40v40v40m32s0
SAT
0
Qq3k2k2k1v40v40v40m32s1
SAT
0
Qq3k2k2k1v40v40v40m32s2
SAT
0
Qq3k2k2k1v40v40v40m32s3
SAT
0
Qq3k2k2k1v40v40v40m32s4
SAT
0
Qq3k2k2k1v40v40v40m32s6
SAT
0
Qq3k2k2k1v40v40v40m32s8
SAT
0
Qq3k2k2k1v40v40v40m32s9
SAT
0
Qq3k2k2k1v80v80v80m2s0
SAT
0
Qq3k2k2k1v80v80v80m2s1
SAT
0
Qq3k2k2k1v80v80v80m2s2
SAT
0
Qq3k2k2k1v80v80v80m2s3
SAT
0
Qq3k2k2k1v80v80v80m2s4
SAT
0
Qq3k2k2k1v80v80v80m2s5
SAT
0
Qq3k2k2k1v80v80v80m2s7
SAT
0
Qq3k2k2k1v80v80v80m2s8
SAT
0
Qq3k2k2k1v80v80v80m4s0
SAT
0
Qq3k2k2k1v80v80v80m4s1
SAT
0
Qq3k2k2k1v80v80v80m4s2
SAT
0
Qq3k2k2k1v80v80v80m4s5
SAT
0
Qq3k2k2k1v80v80v80m4s6
SAT
0
Qq3k2k2k1v80v80v80m4s7
SAT
0
Qq3k2k2k1v80v80v80m4s8
SAT
0
Qq3k2k2k1v80v80v80m4s9
SAT
0
Qq3k2k2k1v80v80v80m8s0
SAT
0
Qq3k2k2k1v80v80v80m8s1
SAT
0
Qq3k2k2k1v80v80v80m8s2
SAT
0
Qq3k2k2k1v80v80v80m8s3
SAT
0
Qq3k2k2k1v80v80v80m8s4
SAT
0
Qq3k2k2k1v80v80v80m8s5
SAT
0
Qq3k2k2k1v80v80v80m8s6
SAT
0
Qq3k2k2k1v80v80v80m8s7
SAT
0
Qq3k2k2k1v80v80v80m8s9
SAT
0
Qq3k2k2k1v80v80v80m16s4
SAT
0
Qq3k2k2k1v80v80v80m16s5
SAT
0
Qq3k2k2k1v80v80v80m16s8
SAT
0
Qq3k2k2k1v80v80v80m16s9
SAT
0
Qq3k2k2k1v80v80v80m32s0
SAT
0
Qq3k2k2k1v80v80v80m32s3
SAT
0
Qq3k2k2k1v80v80v80m32s4
SAT
0
Qq3k2k2k1v80v80v80m32s5
SAT
0
Qq3k2k2k1v80v80v80m32s6
SAT
0
Qq3k2k2k1v80v80v80m32s7
SAT
0
Qq3k2k2k1v80v80v80m32s8
SAT
0
Qq3k2k2k1v80v80v80m32s9
SAT
0
Qq3k3k1k1v40v40v40m2s2
SAT
0
Qq3k3k1k1v40v40v40m2s3
SAT
0
Qq3k3k1k1v40v40v40m2s5
SAT
0
Qq3k3k1k1v40v40v40m2s7
SAT
0
Qq3k3k1k1v40v40v40m4s2
SAT
0
Qq3k3k1k1v40v40v40m4s4
SAT
0
Qq3k3k1k1v40v40v40m4s5
SAT
0
Qq3k3k1k1v40v40v40m8s0
SAT
0
Qq3k3k1k1v40v40v40m8s1
SAT
0
Qq3k3k1k1v40v40v40m8s2
SAT
0
Qq3k3k1k1v40v40v40m8s5
SAT
0
Qq3k3k1k1v40v40v40m8s6
SAT
0
Qq3k3k1k1v40v40v40m8s7
SAT
0
Qq3k3k1k1v40v40v40m8s8
SAT
0
Qq3k3k1k1v40v40v40m16s3
SAT
0
Qq3k3k1k1v40v40v40m16s5
SAT
0
Qq3k3k1k1v40v40v40m16s7
SAT
0
Qq3k3k1k1v40v40v40m16s8
SAT
0
Qq3k3k1k1v40v40v40m16s9
SAT
0
Qq3k3k1k1v40v40v40m32s4
SAT
0
Qq3k3k1k1v40v40v40m32s5
SAT
0
Qq3k3k1k1v40v40v40m32s7
SAT
0
Qq3k3k1k1v40v40v40m32s8
SAT
0
Qq3k3k1k1v80v80v80m2s0
SAT
0
Qq3k3k1k1v80v80v80m2s3
SAT
0
Qq3k3k1k1v80v80v80m2s4
SAT
0
Qq3k3k1k1v80v80v80m2s5
SAT
0
Qq3k3k1k1v80v80v80m2s6
SAT
0
Qq3k3k1k1v80v80v80m2s7
SAT
0
Qq3k3k1k1v80v80v80m2s8
SAT
0
Qq3k3k1k1v80v80v80m4s1
SAT
0
Qq3k3k1k1v80v80v80m4s4
SAT
0
Qq3k3k1k1v80v80v80m4s5
SAT
0
Qq3k3k1k1v80v80v80m4s6
SAT
0
Qq3k3k1k1v80v80v80m4s7
SAT
0
Qq3k3k1k1v80v80v80m4s8
SAT
0
Qq3k3k1k1v80v80v80m4s9
SAT
0
Qq3k3k1k1v80v80v80m8s2
SAT
0
Qq3k3k1k1v80v80v80m8s4
SAT
0
Qq3k3k1k1v80v80v80m8s5
SAT
0
Qq3k3k1k1v80v80v80m8s6
SAT
0
Qq3k3k1k1v80v80v80m8s7
SAT
0
Qq3k3k1k1v80v80v80m8s8
SAT
0
Qq3k3k1k1v80v80v80m8s9
SAT
0
Qq3k3k1k1v80v80v80m16s0
SAT
0
Qq3k3k1k1v80v80v80m16s1
SAT
0
Qq3k3k1k1v80v80v80m16s5
SAT
0
Qq3k3k1k1v80v80v80m16s6
SAT
0
Qq3k3k1k1v80v80v80m16s8
SAT
0
Qq3k3k1k1v80v80v80m16s9
SAT
0
Qq3k3k1k1v80v80v80m32s2
SAT
0
Qq3k3k1k1v80v80v80m32s3
SAT
0
Qq3k3k1k1v80v80v80m32s7
SAT
0
5qbf-5cnf-40var-1280cl.0
UNSAT
0.01
ncf_4_8_2_u.1
UNSAT
0.01
ncf_8_16_4_edau.2
UNSAT
0.01
ncf_4_8_2_euad.9
SAT
0.01
3qbf-5cnf-80var-320cl.9
SAT
0.01
6qbf-5cnf-80var-2560cl.1
UNSAT
0.01
ncf_4_8_2_euad.1
UNSAT
0.01
5qbf-5cnf-160var-640cl.4
SAT
0.01
ncf_4_16_2_euad.9
SAT
0.01
ncf_4_8_4_u.9
SAT
0.01
ncf_4_16_2_edau.6
SAT
0.01
ncf_4_8_2_u.9
SAT
0.01
5qbf-5cnf-160var-5120cl.6
UNSAT
0.01
5qbf-5cnf-80var-2560cl.6
UNSAT
0.01
5qbf-5cnf-40var-1280cl.6
UNSAT
0.01
5qbf-5cnf-160var-640cl.9
SAT
0.01
5qbf-5cnf-20var-640cl.7
UNSAT
0.01
5qbf-5cnf-80var-2560cl.2
UNSAT
0.01
3qbf-5cnf-80var-2560cl.1
UNSAT
0.01
5qbf-5cnf-160var-5120cl.0
UNSAT
0.01
3qbf-5cnf-40var-640cl.7
UNSAT
0.01
ncf_4_8_4_u.5
SAT
0.01
ncf_4_16_4_u.1
SAT
0.01
ncf_16_32_2_euad.9
UNSAT
0.01
ncf_4_16_2_d.9
SAT
0.01
ncf_4_8_2_u.8
SAT
0.01
5qbf-5cnf-40var-1280cl.8
UNSAT
0.01
5qbf-5cnf-20var-640cl.6
UNSAT
0.01
6qbf-5cnf-160var-640cl.1
SAT
0.01
ncf_4_8_8_euad.9
UNSAT
0.01
ncf_4_8_4_euad.2
UNSAT
0.01
k_poly_n-8
SAT
0.01
ncf_16_32_2_d.9
UNSAT
0.01
ncf_16_32_4_edau.9
SAT
0.01
2qbf-5cnf-160var-320cl.6
SAT
0.01
6qbf-5cnf-160var-640cl.0
SAT
0.01
3qbf-5cnf-80var-2560cl.4
UNSAT
0.01
3qbf-5cnf-80var-2560cl.8
UNSAT
0.01
5qbf-5cnf-160var-5120cl.9
UNSAT
0.01
5qbf-5cnf-40var-640cl.8
UNSAT
0.01
ncf_8_16_4_d.2
UNSAT
0.01
5qbf-5cnf-40var-1280cl.5
UNSAT
0.01
5qbf-5cnf-80var-2560cl.0
UNSAT
0.01
5qbf-5cnf-160var-640cl.5
SAT
0.01
k_grz_p-8
UNSAT
0.01
ncf_4_16_2_u.9
SAT
0.01
ncf_4_8_8_edau.9
UNSAT
0.01
5qbf-5cnf-20var-640cl.4
UNSAT
0.01
3qbf-5cnf-80var-2560cl.3
UNSAT
0.01
x5.2
UNSAT
0.01
x5.7
UNSAT
0.01
cmu.dme1.B-d2
SAT
0.01
eijk.S208c.S-d2
SAT
0.01
eijk.S382.S-d2
SAT
0.01
eijk.S444.S-d2
SAT
0.01
eijk.S526.S-d2
SAT
0.01
vis.bakery.E-d2
SAT
0.01
texas.ifetch1^4.E-f2
UNSAT
0.01
texas.parsesys^4.E-f2
UNSAT
0.01
Qq2k1k4v40v40m2s1
SAT
0.01
Qq2k1k4v40v40m2s3
SAT
0.01
Qq2k1k4v40v40m2s5
SAT
0.01
Qq2k1k4v40v40m2s7
SAT
0.01
Qq2k1k4v40v40m4s6
SAT
0.01
Qq2k1k4v40v40m4s7
SAT
0.01
Qq2k1k4v40v40m8s1
SAT
0.01
Qq2k1k4v40v40m8s9
SAT
0.01
Qq2k1k4v40v40m16s1
SAT
0.01
Qq2k1k4v40v40m16s3
UNSAT
0.01
Qq2k1k4v40v40m16s5
SAT
0.01
Qq2k1k4v40v40m16s8
SAT
0.01
Qq2k1k4v40v40m16s9
UNSAT
0.01
Qq2k1k4v40v40m32s4
UNSAT
0.01
Qq2k1k4v40v40m32s5
UNSAT
0.01
Qq2k1k4v40v40m32s6
UNSAT
0.01
Qq2k1k4v80v80m2s0
SAT
0.01
Qq2k1k4v80v80m2s4
SAT
0.01
Qq2k1k4v80v80m2s5
SAT
0.01
Qq2k1k4v80v80m2s9
SAT
0.01
Qq2k1k4v80v80m4s0
SAT
0.01
Qq2k1k4v80v80m4s2
SAT
0.01
Qq2k1k4v80v80m8s0
SAT
0.01
Qq2k1k4v80v80m8s2
SAT
0.01
Qq2k1k4v80v80m8s4
SAT
0.01
Qq2k1k4v80v80m16s4
SAT
0.01
Qq2k1k4v80v80m16s9
SAT
0.01
Qq2k1k4v80v80m32s1
SAT
0.01
Qq2k1k4v80v80m32s4
UNSAT
0.01
Qq2k1k4v80v80m32s5
UNSAT
0.01
Qq2k1k4v80v80m32s8
UNSAT
0.01
Qq2k2k3v40v40m2s1
SAT
0.01
Qq2k2k3v40v40m2s2
SAT
0.01
Qq2k2k3v40v40m2s3
SAT
0.01
Qq2k2k3v40v40m2s4
SAT
0.01
Qq2k2k3v40v40m4s0
SAT
0.01
Qq2k2k3v40v40m8s3
SAT
0.01
Qq2k2k3v40v40m16s0
SAT
0.01
Qq2k2k3v40v40m16s5
SAT
0.01
Qq2k2k3v40v40m16s7
SAT
0.01
Qq2k2k3v40v40m16s8
SAT
0.01
Qq2k2k3v40v40m32s5
SAT
0.01
Qq2k2k3v40v40m32s7
SAT
0.01
Qq2k2k3v40v40m32s8
SAT
0.01
Qq2k2k3v80v80m2s6
SAT
0.01
Qq2k2k3v80v80m2s9
SAT
0.01
Qq2k2k3v80v80m4s1
SAT
0.01
Qq2k2k3v80v80m4s3
SAT
0.01
Qq2k2k3v80v80m4s4
SAT
0.01
Qq2k2k3v80v80m4s5
SAT
0.01
Qq2k2k3v80v80m4s7
SAT
0.01
Qq2k2k3v80v80m4s9
SAT
0.01
Qq2k2k3v80v80m8s5
SAT
0.01
Qq2k2k3v80v80m8s8
SAT
0.01
Qq2k2k3v80v80m8s9
SAT
0.01
Qq2k2k3v80v80m16s5
SAT
0.01
Qq2k2k3v80v80m16s7
SAT
0.01
Qq2k2k3v80v80m32s0
SAT
0.01
Qq2k2k3v80v80m32s1
SAT
0.01
Qq2k2k3v80v80m32s4
SAT
0.01
Qq2k2k3v80v80m32s7
SAT
0.01
Qq2k3k2v40v40m2s1
SAT
0.01
Qq2k3k2v40v40m2s7
SAT
0.01
Qq2k3k2v40v40m2s8
SAT
0.01
Qq2k3k2v40v40m4s0
SAT
0.01
Qq2k3k2v40v40m4s3
SAT
0.01
Qq2k3k2v40v40m4s4
SAT
0.01
Qq2k3k2v40v40m8s0
SAT
0.01
Qq2k3k2v40v40m8s1
SAT
0.01
Qq2k3k2v40v40m8s2
SAT
0.01
Qq2k3k2v40v40m8s4
SAT
0.01
Qq2k3k2v40v40m8s5
SAT
0.01
Qq2k3k2v40v40m16s0
SAT
0.01
Qq2k3k2v40v40m16s3
SAT
0.01
Qq2k3k2v40v40m32s1
SAT
0.01
Qq2k3k2v40v40m32s2
SAT
0.01
Qq2k3k2v40v40m32s3
SAT
0.01
Qq2k3k2v40v40m32s7
SAT
0.01
Qq2k3k2v80v80m2s2
SAT
0.01
Qq2k3k2v80v80m2s4
SAT
0.01
Qq2k3k2v80v80m2s7
SAT
0.01
Qq2k3k2v80v80m4s0
SAT
0.01
Qq2k3k2v80v80m4s5
SAT
0.01
Qq2k3k2v80v80m4s6
SAT
0.01
Qq2k3k2v80v80m8s4
SAT
0.01
Qq2k3k2v80v80m8s8
SAT
0.01
Qq2k3k2v80v80m16s0
SAT
0.01
Qq2k3k2v80v80m16s3
SAT
0.01
Qq2k3k2v80v80m16s7
SAT
0.01
Qq2k3k2v80v80m32s2
SAT
0.01
Qq2k3k2v80v80m32s4
SAT
0.01
Qq3k1k1k3v40v40v40m2s0
SAT
0.01
Qq3k1k1k3v40v40v40m2s2
SAT
0.01
Qq3k1k1k3v40v40v40m2s6
SAT
0.01
Qq3k1k1k3v40v40v40m2s8
SAT
0.01
Qq3k1k1k3v40v40v40m2s9
SAT
0.01
Qq3k1k1k3v40v40v40m4s2
SAT
0.01
Qq3k1k1k3v40v40v40m8s0
SAT
0.01
Qq3k1k1k3v40v40v40m8s4
SAT
0.01
Qq3k1k1k3v40v40v40m8s8
SAT
0.01
Qq3k1k1k3v40v40v40m8s9
SAT
0.01
Qq3k1k1k3v40v40v40m16s3
SAT
0.01
Qq3k1k1k3v40v40v40m16s4
SAT
0.01
Qq3k1k1k3v40v40v40m16s6
SAT
0.01
Qq3k1k1k3v40v40v40m16s7
SAT
0.01
Qq3k1k1k3v40v40v40m32s5
SAT
0.01
Qq3k1k1k3v40v40v40m32s7
SAT
0.01
Qq3k1k1k3v40v40v40m32s8
SAT
0.01
Qq3k1k1k3v80v80v80m2s4
SAT
0.01
Qq3k1k1k3v80v80v80m2s7
SAT
0.01
Qq3k1k1k3v80v80v80m4s0
SAT
0.01
Qq3k1k1k3v80v80v80m4s1
SAT
0.01
Qq3k1k1k3v80v80v80m8s2
SAT
0.01
Qq3k1k1k3v80v80v80m8s4
SAT
0.01
Qq3k1k1k3v80v80v80m8s5
SAT
0.01
Qq3k1k1k3v80v80v80m8s6
SAT
0.01
Qq3k1k1k3v80v80v80m8s8
SAT
0.01
Qq3k1k1k3v80v80v80m8s9
SAT
0.01
Qq3k1k1k3v80v80v80m16s0
SAT
0.01
Qq3k1k1k3v80v80v80m16s1
SAT
0.01
Qq3k1k1k3v80v80v80m16s3
SAT
0.01
Qq3k1k1k3v80v80v80m16s4
SAT
0.01
Qq3k1k1k3v80v80v80m16s9
SAT
0.01
Qq3k1k1k3v80v80v80m32s2
SAT
0.01
Qq3k1k1k3v80v80v80m32s7
SAT
0.01
Qq3k1k1k3v80v80v80m32s8
SAT
0.01
Qq3k1k1k3v80v80v80m32s9
SAT
0.01
Qq3k1k2k2v40v40v40m2s1
SAT
0.01
Qq3k1k2k2v40v40v40m2s3
SAT
0.01
Qq3k1k2k2v40v40v40m4s6
SAT
0.01
Qq3k1k2k2v40v40v40m4s8
SAT
0.01
Qq3k1k2k2v40v40v40m4s9
SAT
0.01
Qq3k1k2k2v40v40v40m8s0
SAT
0.01
Qq3k1k2k2v40v40v40m8s2
SAT
0.01
Qq3k1k2k2v40v40v40m8s3
SAT
0.01
Qq3k1k2k2v40v40v40m8s5
SAT
0.01
Qq3k1k2k2v40v40v40m8s6
SAT
0.01
Qq3k1k2k2v40v40v40m8s7
SAT
0.01
Qq3k1k2k2v40v40v40m8s8
SAT
0.01
Qq3k1k2k2v40v40v40m8s9
SAT
0.01
Qq3k1k2k2v40v40v40m16s5
SAT
0.01
Qq3k1k2k2v40v40v40m16s8
SAT
0.01
Qq3k1k2k2v40v40v40m16s9
SAT
0.01
Qq3k1k2k2v40v40v40m32s0
SAT
0.01
Qq3k1k2k2v80v80v80m2s0
SAT
0.01
Qq3k1k2k2v80v80v80m2s5
SAT
0.01
Qq3k1k2k2v80v80v80m2s6
SAT
0.01
Qq3k1k2k2v80v80v80m2s8
SAT
0.01
Qq3k1k2k2v80v80v80m2s9
SAT
0.01
Qq3k1k2k2v80v80v80m4s0
SAT
0.01
Qq3k1k2k2v80v80v80m4s5
SAT
0.01
Qq3k1k2k2v80v80v80m8s0
SAT
0.01
Qq3k1k2k2v80v80v80m8s3
SAT
0.01
Qq3k1k2k2v80v80v80m8s4
SAT
0.01
Qq3k1k2k2v80v80v80m8s7
SAT
0.01
Qq3k1k2k2v80v80v80m16s4
SAT
0.01
Qq3k1k2k2v80v80v80m16s7
SAT
0.01
Qq3k1k2k2v80v80v80m16s9
SAT
0.01
Qq3k1k2k2v80v80v80m32s1
SAT
0.01
Qq3k1k2k2v80v80v80m32s2
SAT
0.01
Qq3k1k2k2v80v80v80m32s6
SAT
0.01
Qq3k1k2k2v80v80v80m32s8
SAT
0.01
Qq3k1k3k1v40v40v40m2s2
SAT
0.01
Qq3k1k3k1v40v40v40m2s3
SAT
0.01
Qq3k1k3k1v40v40v40m2s4
SAT
0.01
Qq3k1k3k1v40v40v40m2s5
SAT
0.01
Qq3k1k3k1v40v40v40m2s6
SAT
0.01
Qq3k1k3k1v40v40v40m2s8
SAT
0.01
Qq3k1k3k1v40v40v40m4s2
SAT
0.01
Qq3k1k3k1v40v40v40m4s3
SAT
0.01
Qq3k1k3k1v40v40v40m4s4
SAT
0.01
Qq3k1k3k1v40v40v40m4s8
SAT
0.01
Qq3k1k3k1v40v40v40m8s3
SAT
0.01
Qq3k1k3k1v40v40v40m8s7
SAT
0.01
Qq3k1k3k1v40v40v40m8s9
SAT
0.01
Qq3k1k3k1v40v40v40m16s4
SAT
0.01
Qq3k1k3k1v40v40v40m16s7
SAT
0.01
Qq3k1k3k1v40v40v40m32s0
SAT
0.01
Qq3k1k3k1v40v40v40m32s2
SAT
0.01
Qq3k1k3k1v40v40v40m32s3
SAT
0.01
Qq3k1k3k1v40v40v40m32s4
SAT
0.01
Qq3k1k3k1v40v40v40m32s5
SAT
0.01
Qq3k1k3k1v40v40v40m32s6
SAT
0.01
Qq3k1k3k1v40v40v40m32s7
SAT
0.01
Qq3k1k3k1v40v40v40m32s9
SAT
0.01
Qq3k1k3k1v80v80v80m2s4
SAT
0.01
Qq3k1k3k1v80v80v80m4s0
SAT
0.01
Qq3k1k3k1v80v80v80m4s2
SAT
0.01
Qq3k1k3k1v80v80v80m8s4
SAT
0.01
Qq3k1k3k1v80v80v80m8s7
SAT
0.01
Qq3k1k3k1v80v80v80m16s0
SAT
0.01
Qq3k1k3k1v80v80v80m16s1
SAT
0.01
Qq3k1k3k1v80v80v80m16s5
SAT
0.01
Qq3k1k3k1v80v80v80m16s6
SAT
0.01
Qq3k1k3k1v80v80v80m16s8
SAT
0.01
Qq3k1k3k1v80v80v80m16s9
SAT
0.01
Qq3k1k3k1v80v80v80m32s2
SAT
0.01
Qq3k1k3k1v80v80v80m32s6
SAT
0.01
Qq3k1k3k1v80v80v80m32s8
SAT
0.01
Qq3k1k3k1v80v80v80m32s9
SAT
0.01
Qq3k2k1k2v40v40v40m2s0
SAT
0.01
Qq3k2k1k2v40v40v40m2s2
SAT
0.01
Qq3k2k1k2v40v40v40m2s3
SAT
0.01
Qq3k2k1k2v40v40v40m2s5
SAT
0.01
Qq3k2k1k2v40v40v40m2s6
SAT
0.01
Qq3k2k1k2v40v40v40m2s8
SAT
0.01
Qq3k2k1k2v40v40v40m4s2
SAT
0.01
Qq3k2k1k2v40v40v40m4s3
SAT
0.01
Qq3k2k1k2v40v40v40m4s4
SAT
0.01
Qq3k2k1k2v40v40v40m4s6
SAT
0.01
Qq3k2k1k2v40v40v40m8s4
SAT
0.01
Qq3k2k1k2v40v40v40m8s6
SAT
0.01
Qq3k2k1k2v40v40v40m8s7
SAT
0.01
Qq3k2k1k2v40v40v40m8s9
SAT
0.01
Qq3k2k1k2v40v40v40m16s6
SAT
0.01
Qq3k2k1k2v40v40v40m16s7
SAT
0.01
Qq3k2k1k2v40v40v40m32s4
SAT
0.01
Qq3k2k1k2v40v40v40m32s6
SAT
0.01
Qq3k2k1k2v40v40v40m32s8
SAT
0.01
Qq3k2k1k2v80v80v80m2s2
SAT
0.01
Qq3k2k1k2v80v80v80m4s1
SAT
0.01
Qq3k2k1k2v80v80v80m4s3
SAT
0.01
Qq3k2k1k2v80v80v80m4s6
SAT
0.01
Qq3k2k1k2v80v80v80m4s8
SAT
0.01
Qq3k2k1k2v80v80v80m8s1
SAT
0.01
Qq3k2k1k2v80v80v80m8s2
SAT
0.01
Qq3k2k1k2v80v80v80m8s6
SAT
0.01
Qq3k2k1k2v80v80v80m16s0
SAT
0.01
Qq3k2k1k2v80v80v80m16s2
SAT
0.01
Qq3k2k1k2v80v80v80m16s4
SAT
0.01
Qq3k2k1k2v80v80v80m16s6
SAT
0.01
Qq3k2k1k2v80v80v80m32s2
SAT
0.01
Qq3k2k1k2v80v80v80m32s5
SAT
0.01
Qq3k2k1k2v80v80v80m32s6
SAT
0.01
Qq3k2k1k2v80v80v80m32s9
SAT
0.01
Qq3k2k2k1v40v40v40m2s4
SAT
0.01
Qq3k2k2k1v40v40v40m2s8
SAT
0.01
Qq3k2k2k1v40v40v40m4s1
SAT
0.01
Qq3k2k2k1v40v40v40m8s5
SAT
0.01
Qq3k2k2k1v40v40v40m8s6
SAT
0.01
Qq3k2k2k1v40v40v40m8s7
SAT
0.01
Qq3k2k2k1v40v40v40m8s8
SAT
0.01
Qq3k2k2k1v40v40v40m16s3
SAT
0.01
Qq3k2k2k1v40v40v40m16s7
SAT
0.01
Qq3k2k2k1v40v40v40m32s5
SAT
0.01
Qq3k2k2k1v40v40v40m32s7
SAT
0.01
Qq3k2k2k1v80v80v80m2s6
SAT
0.01
Qq3k2k2k1v80v80v80m2s9
SAT
0.01
Qq3k2k2k1v80v80v80m4s3
SAT
0.01
Qq3k2k2k1v80v80v80m4s4
SAT
0.01
Qq3k2k2k1v80v80v80m8s8
SAT
0.01
Qq3k2k2k1v80v80v80m16s0
SAT
0.01
Qq3k2k2k1v80v80v80m16s1
SAT
0.01
Qq3k2k2k1v80v80v80m16s2
SAT
0.01
Qq3k2k2k1v80v80v80m16s3
SAT
0.01
Qq3k2k2k1v80v80v80m16s6
SAT
0.01
Qq3k2k2k1v80v80v80m16s7
SAT
0.01
Qq3k3k1k1v40v40v40m2s0
SAT
0.01
Qq3k3k1k1v40v40v40m2s1
SAT
0.01
Qq3k3k1k1v40v40v40m2s6
SAT
0.01
Qq3k3k1k1v40v40v40m2s8
SAT
0.01
Qq3k3k1k1v40v40v40m4s0
SAT
0.01
Qq3k3k1k1v40v40v40m4s1
SAT
0.01
Qq3k3k1k1v40v40v40m4s3
SAT
0.01
Qq3k3k1k1v40v40v40m4s6
SAT
0.01
Qq3k3k1k1v40v40v40m4s7
SAT
0.01
Qq3k3k1k1v40v40v40m4s8
SAT
0.01
Qq3k3k1k1v40v40v40m4s9
SAT
0.01
Qq3k3k1k1v40v40v40m8s3
SAT
0.01
Qq3k3k1k1v40v40v40m8s4
SAT
0.01
Qq3k3k1k1v40v40v40m8s9
SAT
0.01
Qq3k3k1k1v40v40v40m16s0
SAT
0.01
Qq3k3k1k1v40v40v40m16s1
SAT
0.01
Qq3k3k1k1v40v40v40m16s6
SAT
0.01
Qq3k3k1k1v40v40v40m32s1
SAT
0.01
Qq3k3k1k1v40v40v40m32s2
SAT
0.01
Qq3k3k1k1v40v40v40m32s9
SAT
0.01
Qq3k3k1k1v80v80v80m2s1
SAT
0.01
Qq3k3k1k1v80v80v80m2s2
SAT
0.01
Qq3k3k1k1v80v80v80m2s9
SAT
0.01
Qq3k3k1k1v80v80v80m4s0
SAT
0.01
Qq3k3k1k1v80v80v80m4s2
SAT
0.01
Qq3k3k1k1v80v80v80m4s3
SAT
0.01
Qq3k3k1k1v80v80v80m8s0
SAT
0.01
Qq3k3k1k1v80v80v80m8s1
SAT
0.01
Qq3k3k1k1v80v80v80m8s3
SAT
0.01
Qq3k3k1k1v80v80v80m16s3
SAT
0.01
Qq3k3k1k1v80v80v80m16s4
SAT
0.01
Qq3k3k1k1v80v80v80m16s7
SAT
0.01
Qq3k3k1k1v80v80v80m32s4
SAT
0.01
Qq3k3k1k1v80v80v80m32s5
SAT
0.01
Qq3k3k1k1v80v80v80m32s6
SAT
0.01
Qq3k3k1k1v80v80v80m32s8
SAT
0.01
Qq2k3k2v80v80m32s9
SAT
0.01
3qbf-5cnf-80var-2560cl.9
UNSAT
0.02
ncf_16_32_2_edau.6
SAT
0.02
6qbf-5cnf-160var-640cl.2
SAT
0.02
5qbf-5cnf-160var-640cl.1
SAT
0.02
ncf_4_8_8_u.9
UNSAT
0.02
5qbf-5cnf-160var-5120cl.8
UNSAT
0.02
ncf_4_16_4_d.8
SAT
0.02
ncf_4_8_8_edau.5
UNSAT
0.02
5qbf-5cnf-80var-2560cl.3
UNSAT
0.02
5qbf-5cnf-80var-2560cl.9
UNSAT
0.02
ncf_4_16_2_edau.4
SAT
0.02
k_path_n-8
SAT
0.02
CHAIN20v.21
SAT
0.02
ncf_8_16_4_euad.5
UNSAT
0.02
ncf_4_8_8_d.5
UNSAT
0.02
ncf_4_16_4_euad.8
SAT
0.02
5qbf-5cnf-160var-5120cl.3
UNSAT
0.02
k_dum_n-16
SAT
0.02
3qbf-5cnf-80var-2560cl.7
UNSAT
0.02
k_lin_p-8
UNSAT
0.02
ncf_16_32_2_edau.9
UNSAT
0.02
ncf_8_16_4_edau.10
SAT
0.02
ncf_4_16_2_u.6
SAT
0.02
5qbf-5cnf-20var-640cl.2
UNSAT
0.02
ncf_4_16_2_euad.6
SAT
0.02
6qbf-5cnf-160var-640cl.8
SAT
0.02
6qbf-5cnf-160var-640cl.9
SAT
0.02
ncf_8_16_4_u.5
UNSAT
0.02
ncf_4_8_4_euad.5
SAT
0.02
ncf_8_16_8_euad.1
SAT
0.02
5qbf-5cnf-160var-640cl.0
SAT
0.02
ncf_4_8_2_u.5
SAT
0.02
ncf_4_16_4_edau.8
SAT
0.02
6qbf-5cnf-160var-640cl.4
SAT
0.02
6qbf-5cnf-160var-640cl.7
SAT
0.02
ncf_4_16_4_euad.1
SAT
0.02
ncf_4_8_2_euad.5
SAT
0.02
ncf_8_16_4_d.8
UNSAT
0.02
ncf_4_8_8_d.9
UNSAT
0.02
comp.blif_0.10_0.20_0_0_out_exact
UNSAT
0.02
5qbf-5cnf-80var-2560cl.8
UNSAT
0.02
5qbf-5cnf-160var-640cl.7
SAT
0.02
ncf_4_16_2_euad.4
SAT
0.02
k_dum_n-12
SAT
0.02
ncf_8_16_8_d.1
SAT
0.02
6qbf-5cnf-160var-640cl.3
SAT
0.02
x10.6
UNSAT
0.02
x5.1
UNSAT
0.02
x5.9
UNSAT
0.02
eijk.S208o.S-d2
SAT
0.02
eijk.S386.S-d2
SAT
0.02
vis.elevator^1.E-f2
UNSAT
0.02
vis.emodel.E-f2
UNSAT
0.02
Qq2k1k4v40v40m8s8
SAT
0.02
Qq2k1k4v40v40m16s0
UNSAT
0.02
Qq2k1k4v80v80m2s8
SAT
0.02
Qq2k1k4v80v80m4s1
SAT
0.02
Qq2k1k4v80v80m4s3
SAT
0.02
Qq2k1k4v80v80m4s4
SAT
0.02
Qq2k1k4v80v80m8s1
SAT
0.02
Qq2k1k4v80v80m8s8
SAT
0.02
Qq2k1k4v80v80m32s0
UNSAT
0.02
Qq2k1k4v80v80m32s3
UNSAT
0.02
Qq2k2k3v40v40m2s6
SAT
0.02
Qq2k2k3v40v40m4s3
SAT
0.02
Qq2k2k3v40v40m8s7
SAT
0.02
Qq2k2k3v40v40m32s2
SAT
0.02
Qq2k2k3v40v40m32s3
SAT
0.02
Qq2k2k3v80v80m2s0
SAT
0.02
Qq2k2k3v80v80m2s2
SAT
0.02
Qq2k2k3v80v80m4s8
SAT
0.02
Qq2k2k3v80v80m16s3
SAT
0.02
Qq2k2k3v80v80m16s4
SAT
0.02
Qq2k2k3v80v80m32s9
SAT
0.02
Qq2k3k2v40v40m2s2
SAT
0.02
Qq2k3k2v40v40m32s9
SAT
0.02
Qq2k3k2v80v80m16s1
SAT
0.02
Qq2k3k2v80v80m32s3
SAT
0.02
Qq3k1k1k3v40v40v40m2s3
SAT
0.02
Qq3k1k1k3v40v40v40m4s5
SAT
0.02
Qq3k1k1k3v40v40v40m4s9
SAT
0.02
Qq3k1k1k3v40v40v40m16s5
SAT
0.02
Qq3k1k1k3v40v40v40m32s3
SAT
0.02
Qq3k1k1k3v40v40v40m32s6
SAT
0.02
Qq3k1k1k3v40v40v40m32s9
SAT
0.02
Qq3k1k1k3v80v80v80m8s0
SAT
0.02
Qq3k1k2k2v40v40v40m4s1
SAT
0.02
Qq3k1k2k2v40v40v40m4s3
SAT
0.02
Qq3k1k2k2v40v40v40m16s3
SAT
0.02
Qq3k1k2k2v40v40v40m32s2
SAT
0.02
Qq3k1k2k2v80v80v80m8s1
SAT
0.02
Qq3k1k2k2v80v80v80m8s2
SAT
0.02
Qq3k1k2k2v80v80v80m16s5
SAT
0.02
Qq3k1k2k2v80v80v80m16s6
SAT
0.02
Qq3k1k3k1v40v40v40m4s1
SAT
0.02
Qq3k1k3k1v40v40v40m4s9
SAT
0.02
Qq3k1k3k1v80v80v80m32s4
SAT
0.02
Qq3k1k3k1v80v80v80m32s7
SAT
0.02
Qq3k2k1k2v40v40v40m2s1
SAT
0.02
Qq3k2k1k2v40v40v40m4s1
SAT
0.02
Qq3k2k1k2v40v40v40m16s4
SAT
0.02
Qq3k2k1k2v40v40v40m32s0
SAT
0.02
Qq3k2k1k2v40v40v40m32s7
SAT
0.02
Qq3k2k1k2v80v80v80m2s3
SAT
0.02
Qq3k2k1k2v80v80v80m16s8
SAT
0.02
Qq3k2k2k1v40v40v40m16s5
SAT
0.02
Qq3k2k2k1v80v80v80m32s1
SAT
0.02
Qq3k2k2k1v80v80v80m32s2
SAT
0.02
Qq3k3k1k1v40v40v40m2s4
SAT
0.02
Qq3k3k1k1v40v40v40m2s9
SAT
0.02
Qq3k3k1k1v40v40v40m16s2
SAT
0.02
Qq3k3k1k1v40v40v40m16s4
SAT
0.02
Qq3k3k1k1v40v40v40m32s0
SAT
0.02
Qq3k3k1k1v40v40v40m32s3
SAT
0.02
Qq3k3k1k1v40v40v40m32s6
SAT
0.02
Qq3k3k1k1v80v80v80m16s2
SAT
0.02
Qq3k3k1k1v80v80v80m32s0
SAT
0.02
Qq3k3k1k1v80v80v80m32s1
SAT
0.02
ncf_4_16_2_d.6
SAT
0.03
5qbf-5cnf-160var-640cl.3
SAT
0.03
ncf_16_32_2_d.7
UNSAT
0.03
5qbf-5cnf-160var-5120cl.5
UNSAT
0.03
ncf_8_16_4_edau.5
UNSAT
0.03
5qbf-5cnf-160var-5120cl.7
UNSAT
0.03
3qbf-5cnf-80var-2560cl.5
UNSAT
0.03
5qbf-5cnf-80var-2560cl.1
UNSAT
0.03
ncf_4_16_4_d.1
SAT
0.03
CHAIN23v.24
SAT
0.03
ncf_4_8_2_u.4
UNSAT
0.03
BLOCKS3i.4.4
UNSAT
0.03
ncf_8_16_4_edau.1
SAT
0.03
ncf_16_32_4_edau.7
UNSAT
0.03
ncf_4_16_2_edau.9
SAT
0.03
k_dum_n-8
SAT
0.03
ncf_16_32_4_edau.10
UNSAT
0.03
ncf_4_16_2_u.4
SAT
0.03
ncf_4_16_4_u.8
SAT
0.03
5qbf-5cnf-160var-640cl.2
SAT
0.03
6qbf-5cnf-160var-640cl.6
SAT
0.03
5qbf-5cnf-160var-5120cl.2
UNSAT
0.03
k_path_p-12
UNSAT
0.03
k_grz_p-4
UNSAT
0.03
k_poly_p-12
UNSAT
0.03
s27_d3_u
UNSAT
0.03
ncf_8_16_8_edau.1
SAT
0.03
ncf_16_32_4_d.9
SAT
0.03
k_path_p-8
UNSAT
0.03
ncf_4_16_4_edau.1
SAT
0.03
counter_re_4
SAT
0.03
k_lin_p-12
UNSAT
0.03
ncf_16_32_4_d.10
UNSAT
0.03
ncf_4_8_8_edau.8
SAT
0.03
x10.0
UNSAT
0.03
x10.1
UNSAT
0.03
x10.4
SAT
0.03
x10.5
UNSAT
0.03
x10.7
SAT
0.03
x10.8
UNSAT
0.03
vis.coherence^1.E-d2
SAT
0.03
sortnetsort5.v.stepl.003
UNSAT
0.03
Qq2k1k4v40v40m2s9
SAT
0.03
Qq2k1k4v40v40m4s3
SAT
0.03
Qq2k1k4v40v40m4s9
SAT
0.03
Qq2k1k4v80v80m2s6
SAT
0.03
Qq2k2k3v40v40m8s6
SAT
0.03
Qq2k3k2v40v40m32s8
SAT
0.03
Qq2k3k2v80v80m4s3
SAT
0.03
Qq2k3k2v80v80m32s8
SAT
0.03
Qq3k2k2k1v40v40v40m16s9
SAT
0.03
Qq3k3k1k1v80v80v80m32s9
SAT
0.03
k_dum_p-21
UNSAT
0.04
ncf_16_32_4_d.7
UNSAT
0.04
ncf_4_8_8_d.8
SAT
0.04
ncf_4_8_2_euad.4
UNSAT
0.04
k_dum_p-20
UNSAT
0.04
ncf_4_8_2_euad.6
SAT
0.04
connect_5x4_4_R
UNSAT
0.04
k_poly_n-16
SAT
0.04
k_d4_p-12
UNSAT
0.04
CHAIN22v.23
SAT
0.04
k_grz_n-8
SAT
0.04
ncf_8_16_4_d.5
UNSAT
0.04
CHAIN21v.22
SAT
0.04
k_dum_p-12
UNSAT
0.04
k_path_n-12
SAT
0.04
k_poly_n-12
SAT
0.04
ncf_4_8_2_u.10
SAT
0.04
x10.2
UNSAT
0.04
x10.3
UNSAT
0.04
x10.9
UNSAT
0.04
x5.4
UNSAT
0.04
texas.ifetch1^1.E-f2
UNSAT
0.04
sortnetsort5.v.stepl.006
SAT
0.04
Qq2k3k2v40v40m4s6
SAT
0.04
Qq2k3k2v80v80m32s5
SAT
0.04
Qq3k1k1k3v40v40v40m4s4
SAT
0.04
k_path_p-16
UNSAT
0.05
C432.blif_0.10_1.00_0_0_out_exact
UNSAT
0.05
k_poly_n-20
SAT
0.05
connect_5x4_3_R
UNSAT
0.05
qshifter_5
SAT
0.05
ncf_4_16_2_d.4
SAT
0.05
k_dum_n-20
SAT
0.05
ncf_4_8_2_u.6
SAT
0.05
k_dum_n-21
SAT
0.05
ncf_16_32_8_d.4
SAT
0.05
k_d4_p-8
UNSAT
0.05
x5.3
UNSAT
0.05
eijk.S298.S-d2
SAT
0.05
sortnetsort5.v.stepl.005
SAT
0.05
Qq3k2k1k2v40v40v40m8s8
SAT
0.05
ncf_4_32_2_edau.1
UNSAT
0.06
k_d4_p-20
UNSAT
0.06
lut4_2_fXOR
SAT
0.06
k_t4p_p-4
UNSAT
0.06
ncf_4_16_4_edau.5
SAT
0.06
ncf_4_8_8_d.3
SAT
0.06
k_path_p-20
UNSAT
0.06
k_poly_p-21
UNSAT
0.06
k_path_n-16
SAT
0.06
k_poly_p-20
UNSAT
0.06
sortnetsort5.v.stepl.004
UNSAT
0.06
Qq2k1k4v40v40m16s6
UNSAT
0.06
ncf_16_32_8_edau.4
SAT
0.07
k_d4_p-16
UNSAT
0.07
k_lin_p-16
UNSAT
0.07
k_d4_p-21
UNSAT
0.07
toilet_c_10_05.7
SAT
0.07
k_poly_n-21
SAT
0.07
BLOCKS3iii.5
SAT
0.07
sortnetsort6.v.stepl.003
UNSAT
0.07
connect_6x5_5_R
UNSAT
0.08
k_path_n-20
SAT
0.08
eijk.S820.S-d2
SAT
0.08
2qbf-5cnf-160var-320cl.3
SAT
0.09
1qbf-5cnf-160var-2560cl.8
SAT
0.09
x15.3
SAT
0.09
eijk.S832.S-d2
SAT
0.09
k_t4p_n-8
SAT
0.1
k_t4p_p-16
UNSAT
0.1
k_lin_n-4
SAT
0.1
k_t4p_p-12
UNSAT
0.1
k_path_p-21
UNSAT
0.1
k_path_n-21
SAT
0.1
x15.5
UNSAT
0.1
x15.6
UNSAT
0.1
vis.4-arbit^1.E-d2
SAT
0.1
BLOCKS3ii.5.2
UNSAT
0.11
k_t4p_p-21
UNSAT
0.11
TOILET10.1.iv.20
SAT
0.11
C499.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.11
x15.7
UNSAT
0.11
vis.emodel.E-d2
SAT
0.11
BLOCKS3ii.5.3
SAT
0.12
3qbf-5cnf-40var-640cl.9
UNSAT
0.12
k_t4p_p-20
UNSAT
0.12
ncf_4_8_8_edau.1
SAT
0.12
x15.4
UNSAT
0.12
irst.dme4.B-d2
SAT
0.12
sortnetsort5.v.stepl.007
SAT
0.12
k_lin_p-20
UNSAT
0.13
s298_d2_s
SAT
0.13
x15.8
SAT
0.13
nusmv.reactor^5.C-f2
UNSAT
0.13
texas.parsesys^3.E-f2
SAT
0.13
sortnetsort6.v.stepl.006
SAT
0.13
ncf_4_16_4_d.9
SAT
0.14
lognBWLARGEA1
FAIL
0.14
term1.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.14
x15.0
UNSAT
0.14
x15.1
SAT
0.14
term1.blif_0.10_1.00_0_0_out_exact
UNSAT
0.15
BLOCKS3i.5.4
SAT
0.15
k_ph_n-8
SAT
0.15
BLOCKS3i.5.3
UNSAT
0.15
texas.ifetch1^8.E-f2
SAT
0.15
sortnetsort6.v.stepl.005
SAT
0.15
sortnetsort6.v.stepl.007
SAT
0.15
counter_8
SAT
0.16
Adder2-4-s
SAT
0.16
k_lin_p-21
UNSAT
0.16
adder-4-sat
SAT
0.17
2qbf-5cnf-160var-320cl.5
SAT
0.17
ncf_4_16_4_euad.5
SAT
0.17
x15.9
UNSAT
0.17
k_t4p_n-12
SAT
0.18
x15.2
UNSAT
0.18
ncf_4_16_4_d.5
SAT
0.19
ncf_4_8_8_edau.3
SAT
0.19
ncf_16_32_2_euad.7
UNSAT
0.19
2qbf-5cnf-160var-320cl.0
SAT
0.21
ncf_4_8_8_euad.3
SAT
0.21
lut4_2_f1
SAT
0.22
ncf_4_8_8_u.1
SAT
0.23
1qbf-5cnf-160var-2560cl.1
SAT
0.23
k_t4p_n-16
SAT
0.24
1qbf-5cnf-160var-2560cl.3
SAT
0.25
ncf_4_8_2_euad.10
SAT
0.26
ncf_4_8_8_u.3
SAT
0.26
2qbf-5cnf-160var-320cl.4
SAT
0.27
k_grz_p-12
UNSAT
0.28
sortnetsort7.v.stepl.003
UNSAT
0.29
sortnetsort6.v.stepl.004
UNSAT
0.3
s499_d2_s
SAT
0.31
qshifter_6
SAT
0.32
ncf_4_8_8_d.1
SAT
0.33
connect_8x7_3_W
UNSAT
0.33
k_grz_n-12
SAT
0.34
texas.PI_main^14.E-f2
UNSAT
0.34
ncf_4_16_2_edau.7
SAT
0.36
connect_8x7_4_D
UNSAT
0.36
s27_d4_u
UNSAT
0.38
k_d4_n-4
SAT
0.38
k_t4p_p-8
UNSAT
0.39
lut4_AND_f1
SAT
0.4
connect_8x7_3_D
UNSAT
0.4
3qbf-5cnf-20var-320cl.4
UNSAT
0.42
x20.0
SAT
0.43
ncf_4_16_2_d.7
SAT
0.45
k_t4p_n-20
SAT
0.48
connect_8x7_4_W
UNSAT
0.51
x20.8
SAT
0.51
lognBWLARGEB1
FAIL
0.52
szymanski-8-s
UNSAT
0.52
ncf_4_8_2_u.2
SAT
0.52
x20.6
SAT
0.52
ncf_4_16_4_u.5
SAT
0.53
connect_9x8_4_W
UNSAT
0.53
C5315.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.53
connect_9x8_5_W
UNSAT
0.53
k_t4p_n-21
SAT
0.54
C5315.blif_0.10_1.00_0_1_inp_exact
SAT
0.54
eijk.S344.S-d2
SAT
0.54
eijk.S349.S-d2
SAT
0.54
connect_9x8_5_D
UNSAT
0.55
x20.4
UNSAT
0.55
connect_9x8_3_W
UNSAT
0.56
C5315.blif_0.10_1.00_0_0_out_exact
UNSAT
0.56
TOILET16.1.iv.32
SAT
0.57
C5315.blif_0.10_1.00_0_1_out_exact
SAT
0.58
ncf_4_8_4_euad.8
UNSAT
0.59
C499.blif_0.10_1.00_0_0_out_exact
UNSAT
0.62
connect_9x8_4_D
UNSAT
0.62
sortnetsort8.v.stepl.003
UNSAT
0.62
ncf_4_16_2_u.2
SAT
0.67
ncf_4_16_2_euad.2
SAT
0.68
connect_9x8_3_D
UNSAT
0.72
texas.parsesys^1.E-f2
SAT
0.78
ncf_4_8_4_u.8
UNSAT
0.8
x20.9
SAT
0.8
ncf_4_8_2_euad.2
SAT
0.81
x20.3
UNSAT
0.81
2qbf-5cnf-160var-320cl.9
SAT
0.82
k_lin_n-8
SAT
0.83
sortnetsort7.v.stepl.008
SAT
0.83
sortnetsort7.v.stepl.004
UNSAT
0.85
s510_d2_s
SAT
0.87
x20.5
SAT
0.87
vis.eisenberg.E-f2
SAT
0.87
ncf_4_16_4_euad.9
SAT
0.91
1qbf-5cnf-160var-2560cl.2
SAT
0.92
x20.7
SAT
0.93
k_grz_p-16
UNSAT
0.99
x20.1
UNSAT
0.99
irst.dme5.B-d2
SAT
1.06
texas.PI_main^01.E-f2
SAT
1.1
3qbf-5cnf-40var-640cl.8
UNSAT
1.11
ncf_4_16_4_edau.9
SAT
1.15
TOILET7.1.iv.13
UNSAT
1.24
sortnetsort7.v.stepl.009
SAT
1.26
x20.2
SAT
1.27
1qbf-5cnf-160var-2560cl.4
SAT
1.3
lut4_AND_fXOR
UNSAT
1.36
k_dum_p-16
UNSAT
1.36
1qbf-5cnf-160var-2560cl.5
SAT
1.45
2qbf-5cnf-40var-160cl.7
UNSAT
1.48
vis.bakery.E-f2
SAT
1.5
1qbf-5cnf-160var-2560cl.0
SAT
1.64
k_grz_n-16
SAT
1.79
lut4_3_fAND
SAT
2.1
sortnetsort8.v.stepl.008
SAT
2.1
ncf_16_32_2_edau.7
UNSAT
2.17
ncf_4_8_4_euad.10
SAT
2.26
eijk.S1423.S-d2
SAT
2.38
qshifter_7
SAT
2.45
szymanski-10-s
UNSAT
2.46
ncf_4_16_4_u.9
SAT
2.48
k_grz_p-21
UNSAT
2.51
sortnetsort8.v.stepl.004
UNSAT
2.52
k_grz_p-20
UNSAT
2.57
sortnetsort8.v.stepl.009
SAT
2.59
toilet_a_10_05.4
SAT
2.66
counter_e_8
SAT
2.71
s27_d5_u
UNSAT
2.87
ncf_16_32_4_edau.1
SAT
2.89
irst.dme6.B-d2
SAT
3.08
k_grz_n-20
SAT
3.22
2qbf-5cnf-160var-320cl.2
SAT
3.23
BLOCKS4iii.6
UNSAT
3.28
ncf_4_8_4_euad.6
SAT
3.31
2qbf-5cnf-40var-160cl.2
UNSAT
3.4
ncf_4_8_4_u.10
SAT
3.44
k_ph_p-8
UNSAT
3.46
k_lin_n-12
SAT
3.62
ncf_8_16_8_edau.6
UNSAT
3.62
x25.3
UNSAT
3.62
k_grz_n-21
SAT
3.66
s386_d2_s
SAT
3.73
x25.2
SAT
3.92
BLOCKS4ii.6.3
UNSAT
3.99
nusmv.syncarb5^2.B-f2
SAT
4.12
BLOCKS4i.6.4
UNSAT
4.41
lut4_2_f2
UNSAT
4.42
k_ph_n-12
SAT
4.53
x25.9
UNSAT
4.53
x25.8
UNSAT
4.58
eijk.S1196.S-d2
SAT
4.81
x25.5
UNSAT
4.89
eijk.S1238.S-d2
SAT
4.89
sortnetsort7.v.stepl.006
SAT
5
x25.4
UNSAT
5.63
texas.parsesys^2.E-f2
UNSAT
5.83
x25.7
UNSAT
5.87
sortnetsort8.v.stepl.006
SAT
6.14
x25.6
UNSAT
6.7
BLOCKS4ii.7.2
UNSAT
7.01
sortnetsort7.v.stepl.007
SAT
7.31
ncf_4_8_8_euad.1
SAT
7.39
sortnetsort9.v.stepl.004
UNSAT
7.9
k_t4p_n-4
SAT
8.03
ncf_4_8_4_u.6
SAT
8.63
x25.0
SAT
8.75
sortnetsort9.v.stepl.011
SAT
9.12
BLOCKS4iii.7
SAT
9.46
x25.1
SAT
10.12
k_lin_n-16
SAT
10.3
sortnetsort8.v.stepl.007
SAT
10.6
2qbf-5cnf-40var-160cl.6
UNSAT
11.78
sortnetsort9.v.stepl.008
SAT
12.42
sortnetsort9.v.stepl.010
SAT
13.64
s298_d4_s
SAT
14.25
4qbf-5cnf-40var-640cl.6
UNSAT
14.48
x30.4
SAT
14.68
sortnetsort9.v.stepl.009
SAT
15.07
3qbf-5cnf-40var-640cl.0
FAIL
15.08
4qbf-5cnf-40var-640cl.0
UNSAT
15.26
5qbf-5cnf-40var-640cl.1
UNSAT
15.33
3qbf-5cnf-80var-1280cl.2
UNSAT
15.38
2qbf-5cnf-40var-320cl.1
UNSAT
15.44
sortnetsort9.v.stepl.012
SAT
15.61
4qbf-5cnf-40var-640cl.7
UNSAT
15.65
5qbf-5cnf-20var-320cl.3
UNSAT
16.05
3qbf-5cnf-80var-1280cl.8
FAIL
16.22
3qbf-5cnf-160var-2560cl.9
UNSAT
16.23
2qbf-5cnf-80var-1280cl.4
UNSAT
16.32
5qbf-5cnf-40var-1280cl.7
UNSAT
16.48
3qbf-5cnf-40var-640cl.4
UNSAT
16.77
3qbf-5cnf-80var-1280cl.4
UNSAT
16.78
6qbf-5cnf-40var-640cl.4
UNSAT
16.95
4qbf-5cnf-80var-1280cl.5
UNSAT
16.95
4qbf-5cnf-20var-640cl.3
UNSAT
16.95
5qbf-5cnf-80var-1280cl.3
UNSAT
17.13
3qbf-5cnf-40var-640cl.1
UNSAT
17.13
4qbf-5cnf-40var-640cl.8
UNSAT
17.17
6qbf-5cnf-20var-640cl.7
UNSAT
17.21
6qbf-5cnf-40var-1280cl.1
UNSAT
17.31
2qbf-5cnf-40var-640cl.5
UNSAT
17.33
3qbf-5cnf-80var-1280cl.0
FAIL
17.34
6qbf-5cnf-20var-640cl.3
UNSAT
17.35
4qbf-5cnf-40var-640cl.5
UNSAT
17.4
3qbf-5cnf-40var-640cl.2
UNSAT
17.41
C499.blif_0.10_0.20_0_1_inp_exact
SAT
17.42
3qbf-5cnf-80var-1280cl.9
UNSAT
17.44
4qbf-5cnf-40var-640cl.9
UNSAT
17.59
4qbf-5cnf-40var-640cl.3
UNSAT
17.67
3qbf-5cnf-40var-640cl.6
UNSAT
17.72
3qbf-5cnf-80var-1280cl.3
UNSAT
17.8
4qbf-5cnf-40var-640cl.2
UNSAT
17.81
4qbf-5cnf-40var-640cl.1
UNSAT
17.86
4qbf-5cnf-160var-2560cl.0
UNSAT
17.89
2qbf-5cnf-80var-1280cl.2
UNSAT
17.94
4qbf-5cnf-40var-640cl.4
UNSAT
17.95
5qbf-5cnf-40var-1280cl.2
UNSAT
18.01
4qbf-5cnf-20var-640cl.5
UNSAT
18.08
3qbf-5cnf-160var-2560cl.3
UNSAT
18.11
4qbf-5cnf-160var-2560cl.8
UNSAT
18.12
3qbf-5cnf-160var-2560cl.8
UNSAT
18.13
3qbf-5cnf-160var-2560cl.1
UNSAT
18.16
6qbf-5cnf-40var-1280cl.6
UNSAT
18.16
6qbf-5cnf-40var-1280cl.7
UNSAT
18.16
3qbf-5cnf-160var-2560cl.0
UNSAT
18.22
5qbf-5cnf-20var-320cl.4
UNSAT
18.3
5qbf-5cnf-80var-1280cl.9
UNSAT
18.32
5qbf-5cnf-40var-640cl.4
UNSAT
18.38
4qbf-5cnf-80var-2560cl.6
UNSAT
18.39
4qbf-5cnf-40var-1280cl.4
UNSAT
18.39
6qbf-5cnf-40var-1280cl.2
UNSAT
18.44
3qbf-5cnf-160var-2560cl.7
UNSAT
18.46
2qbf-5cnf-40var-640cl.1
UNSAT
18.48
6qbf-5cnf-40var-1280cl.0
UNSAT
18.48
2qbf-5cnf-80var-1280cl.9
UNSAT
18.5
6qbf-5cnf-20var-640cl.5
UNSAT
18.52
4qbf-5cnf-40var-1280cl.3
UNSAT
18.52
4qbf-5cnf-160var-2560cl.3
UNSAT
18.53
6qbf-5cnf-20var-640cl.2
UNSAT
18.54
2qbf-5cnf-40var-640cl.2
UNSAT
18.58
2qbf-5cnf-40var-640cl.6
UNSAT
18.68
4qbf-5cnf-160var-2560cl.9
UNSAT
18.69
5qbf-5cnf-80var-1280cl.6
UNSAT
18.72
4qbf-5cnf-20var-320cl.8
UNSAT
18.76
3qbf-5cnf-160var-2560cl.4
FAIL
18.78
5qbf-5cnf-40var-1280cl.3
UNSAT
18.79
4qbf-5cnf-20var-640cl.1
UNSAT
18.84
3qbf-5cnf-40var-640cl.5
UNSAT
18.89
2qbf-5cnf-40var-640cl.7
UNSAT
18.91
3qbf-5cnf-80var-1280cl.6
UNSAT
18.92
6qbf-5cnf-40var-1280cl.3
UNSAT
18.96
6qbf-5cnf-40var-640cl.9
UNSAT
19.04
2qbf-5cnf-80var-1280cl.0
UNSAT
19.07
4qbf-5cnf-20var-640cl.9
UNSAT
19.08
3qbf-5cnf-160var-2560cl.2
UNSAT
19.12
4qbf-5cnf-20var-640cl.4
UNSAT
19.13
6qbf-5cnf-20var-640cl.6
UNSAT
19.27
6qbf-5cnf-80var-2560cl.8
UNSAT
19.3
6qbf-5cnf-40var-1280cl.4
UNSAT
19.34
2qbf-5cnf-80var-1280cl.8
UNSAT
19.36
6qbf-5cnf-40var-1280cl.5
UNSAT
19.37
2qbf-5cnf-160var-320cl.7
SAT
19.39
6qbf-5cnf-40var-1280cl.8
UNSAT
19.39
4qbf-5cnf-40var-1280cl.0
UNSAT
19.43
x30.6
SAT
19.43
4qbf-5cnf-80var-1280cl.4
UNSAT
19.44
4qbf-5cnf-80var-1280cl.9
UNSAT
19.53
4qbf-5cnf-80var-1280cl.7
UNSAT
19.54
3qbf-5cnf-160var-2560cl.5
UNSAT
19.54
6qbf-5cnf-80var-2560cl.2
UNSAT
19.55
5qbf-5cnf-80var-1280cl.2
UNSAT
19.57
3qbf-5cnf-40var-320cl.4
SAT
19.62
2qbf-5cnf-40var-640cl.9
UNSAT
19.63
6qbf-5cnf-40var-1280cl.9
UNSAT
19.7
6qbf-5cnf-80var-2560cl.5
UNSAT
19.71
2qbf-5cnf-160var-2560cl.2
UNSAT
19.78
4qbf-5cnf-80var-2560cl.8
UNSAT
19.86
6qbf-5cnf-20var-640cl.0
UNSAT
19.87
3qbf-5cnf-40var-640cl.3
UNSAT
19.9
5qbf-5cnf-80var-2560cl.4
UNSAT
19.94
4qbf-5cnf-20var-640cl.7
UNSAT
19.95
5qbf-5cnf-40var-640cl.7
UNSAT
20.07
3qbf-5cnf-80var-1280cl.7
UNSAT
20.1
2qbf-5cnf-80var-1280cl.3
UNSAT
20.11
4qbf-5cnf-20var-640cl.0
UNSAT
20.12
6qbf-5cnf-160var-5120cl.2
UNSAT
20.14
5qbf-5cnf-20var-320cl.7
UNSAT
20.14
6qbf-5cnf-80var-2560cl.4
UNSAT
20.15
2qbf-5cnf-80var-1280cl.1
UNSAT
20.22
2qbf-5cnf-40var-320cl.3
UNSAT
20.32
6qbf-5cnf-80var-2560cl.7
UNSAT
20.33
6qbf-5cnf-80var-2560cl.6
UNSAT
20.38
6qbf-5cnf-80var-2560cl.9
UNSAT
20.42
6qbf-5cnf-80var-2560cl.3
UNSAT
20.44
2qbf-5cnf-40var-640cl.4
UNSAT
20.51
2qbf-5cnf-40var-640cl.0
UNSAT
20.53
ncf_16_32_4_u.9
SAT
20.61
4qbf-5cnf-80var-1280cl.2
UNSAT
20.62
6qbf-5cnf-160var-5120cl.0
UNSAT
20.68
5qbf-5cnf-160var-5120cl.4
UNSAT
20.77
4qbf-5cnf-160var-2560cl.7
UNSAT
20.82
3qbf-5cnf-80var-1280cl.5
UNSAT
20.85
4qbf-5cnf-20var-640cl.6
UNSAT
20.85
4qbf-5cnf-80var-2560cl.9
UNSAT
20.9
2qbf-5cnf-40var-640cl.3
UNSAT
20.91
4qbf-5cnf-80var-2560cl.1
UNSAT
20.93
2qbf-5cnf-160var-2560cl.9
UNSAT
20.95
4qbf-5cnf-80var-1280cl.6
UNSAT
20.95
4qbf-5cnf-80var-2560cl.0
UNSAT
20.97
4qbf-5cnf-40var-1280cl.9
UNSAT
20.98
5qbf-5cnf-160var-2560cl.9
FAIL
21
4qbf-5cnf-80var-1280cl.8
UNSAT
21.01
2qbf-5cnf-80var-1280cl.7
UNSAT
21.07
4qbf-5cnf-20var-640cl.8
UNSAT
21.09
5qbf-5cnf-40var-640cl.0
FAIL
21.11
5qbf-5cnf-40var-640cl.9
UNSAT
21.22
qshifter_8
SAT
21.23
x30.5
UNSAT
21.24
5qbf-5cnf-80var-1280cl.1
UNSAT
21.25
6qbf-5cnf-160var-5120cl.7
UNSAT
21.34
4qbf-5cnf-40var-1280cl.2
UNSAT
21.35
6qbf-5cnf-160var-5120cl.4
UNSAT
21.37
6qbf-5cnf-160var-5120cl.3
UNSAT
21.46
2qbf-5cnf-80var-1280cl.5
UNSAT
21.48
6qbf-5cnf-80var-2560cl.0
UNSAT
21.48
4qbf-5cnf-40var-1280cl.6
UNSAT
21.52
2qbf-5cnf-40var-640cl.8
UNSAT
21.54
4qbf-5cnf-80var-1280cl.0
UNSAT
21.56
5qbf-5cnf-80var-1280cl.4
UNSAT
21.6
4qbf-5cnf-80var-1280cl.1
UNSAT
21.63
6qbf-5cnf-160var-5120cl.9
UNSAT
21.71
ncf_8_16_4_euad.10
SAT
21.72
4qbf-5cnf-80var-2560cl.4
UNSAT
21.88
ncf_8_16_4_u.10
SAT
21.97
6qbf-5cnf-160var-5120cl.8
UNSAT
21.98
4qbf-5cnf-160var-2560cl.4
UNSAT
21.98
x30.1
UNSAT
21.98
2qbf-5cnf-160var-2560cl.6
UNSAT
22.04
4qbf-5cnf-80var-2560cl.7
UNSAT
22.13
6qbf-5cnf-160var-5120cl.6
UNSAT
22.21
3qbf-5cnf-80var-320cl.4
SAT
22.21
ncf_16_32_2_d.4
UNSAT
22.23
6qbf-5cnf-20var-320cl.5
UNSAT
22.25
4qbf-5cnf-160var-2560cl.1
UNSAT
22.25
ncf_16_32_2_u.6
SAT
22.27
3qbf-5cnf-80var-1280cl.1
UNSAT
22.28
4qbf-5cnf-80var-2560cl.5
UNSAT
22.38
4qbf-5cnf-80var-2560cl.2
UNSAT
22.4
4qbf-5cnf-20var-320cl.2
UNSAT
22.43
4qbf-5cnf-40var-1280cl.5
UNSAT
22.6
4qbf-5cnf-80var-2560cl.3
UNSAT
22.61
6qbf-5cnf-160var-5120cl.1
UNSAT
22.83
5qbf-5cnf-80var-1280cl.7
UNSAT
22.87
Adder2-6-s
SAT
23
4qbf-5cnf-40var-1280cl.8
UNSAT
23.15
4qbf-5cnf-160var-5120cl.7
UNSAT
23.26
sortnetsort7.v.stepl.005
UNSAT
23.28
6qbf-5cnf-40var-640cl.6
UNSAT
23.31
sortnetsort10.v.stepl.004
UNSAT
23.57
4qbf-5cnf-80var-1280cl.3
UNSAT
23.62
3qbf-5cnf-160var-2560cl.6
UNSAT
23.62
4qbf-5cnf-160var-2560cl.5
UNSAT
23.86
6qbf-5cnf-160var-5120cl.5
UNSAT
23.98
4qbf-5cnf-40var-1280cl.7
UNSAT
24.08
4qbf-5cnf-20var-320cl.6
UNSAT
24.43
x30.2
UNSAT
24.45
4qbf-5cnf-20var-160cl.2
SAT
24.5
4qbf-5cnf-160var-5120cl.0
UNSAT
24.78
3qbf-5cnf-20var-320cl.2
UNSAT
24.91
ncf_8_16_4_u.6
UNSAT
25.11
4qbf-5cnf-160var-5120cl.4
UNSAT
25.28
C880.blif_0.10_1.00_0_1_out_exact
SAT
25.54
3qbf-5cnf-40var-320cl.0
SAT
26
4qbf-5cnf-160var-5120cl.6
UNSAT
26.21
x30.9
UNSAT
26.25
4qbf-5cnf-160var-5120cl.5
UNSAT
26.36
5qbf-5cnf-160var-2560cl.6
UNSAT
26.59
5qbf-5cnf-80var-1280cl.5
UNSAT
26.63
k_lin_n-20
SAT
26.66
x30.8
UNSAT
26.94
3qbf-5cnf-20var-320cl.3
UNSAT
27.01
5qbf-5cnf-160var-2560cl.0
UNSAT
27.26
sortnetsort10.v.stepl.009
SAT
27.38
5qbf-5cnf-160var-5120cl.1
UNSAT
27.47
5qbf-5cnf-160var-2560cl.1
UNSAT
27.51
adder-6-sat
SAT
27.61
4qbf-5cnf-160var-5120cl.9
UNSAT
27.75
4qbf-5cnf-160var-5120cl.2
UNSAT
27.77
4qbf-5cnf-20var-320cl.1
UNSAT
27.89
5qbf-5cnf-20var-320cl.1
UNSAT
28.04
3qbf-5cnf-40var-320cl.1
SAT
28.51
5qbf-5cnf-40var-640cl.3
UNSAT
28.74
4qbf-5cnf-160var-5120cl.1
UNSAT
28.79
4qbf-5cnf-160var-5120cl.8
UNSAT
28.89
4qbf-5cnf-20var-320cl.9
UNSAT
28.92
4qbf-5cnf-160var-5120cl.3
UNSAT
29.77
ncf_8_16_4_edau.4
SAT
30.09
5qbf-5cnf-40var-640cl.6
UNSAT
30.18
5qbf-5cnf-40var-640cl.5
UNSAT
31.02
2qbf-5cnf-160var-5120cl.1
UNSAT
31.77
3qbf-5cnf-40var-320cl.9
SAT
31.9
2qbf-5cnf-160var-5120cl.2
UNSAT
31.94
nusmv.dme2-16.B-d2
SAT
32.04
2qbf-5cnf-40var-320cl.7
UNSAT
32.09
k_lin_n-21
SAT
32.54
2qbf-5cnf-160var-5120cl.6
UNSAT
32.84
3qbf-5cnf-160var-640cl.4
SAT
33.62
3qbf-5cnf-40var-320cl.3
SAT
33.99
3qbf-5cnf-40var-320cl.8
SAT
34.34
4qbf-5cnf-160var-2560cl.2
UNSAT
34.44
ncf_16_32_4_euad.1
SAT
35.16
2qbf-5cnf-160var-2560cl.8
UNSAT
35.56
5qbf-5cnf-160var-2560cl.8
UNSAT
35.73
ncf_4_16_2_d.8
SAT
36.11
k_branch_p-4
UNSAT
36.5
6qbf-5cnf-20var-320cl.6
UNSAT
37.03
ncf_16_32_2_edau.10
UNSAT
37.18
6qbf-5cnf-40var-640cl.7
UNSAT
37.5
3qbf-5cnf-160var-640cl.3
SAT
37.64
3qbf-5cnf-160var-640cl.7
SAT
37.67
4qbf-5cnf-20var-320cl.7
UNSAT
39.22
ncf_4_8_2_u.3
UNSAT
39.72
2qbf-5cnf-40var-320cl.6
UNSAT
39.94
2qbf-5cnf-40var-320cl.9
UNSAT
40.39
4qbf-5cnf-160var-2560cl.6
UNSAT
41.01
5qbf-5cnf-20var-640cl.5
UNSAT
41.16
ncf_16_32_4_d.1
SAT
41.64
5qbf-5cnf-20var-320cl.5
UNSAT
41.64
5qbf-5cnf-40var-640cl.2
UNSAT
41.72
ncf_4_8_4_euad.3
UNSAT
42.56
6qbf-5cnf-40var-640cl.1
UNSAT
43.73
5qbf-5cnf-20var-320cl.0
UNSAT
44.29
4qbf-5cnf-20var-320cl.5
UNSAT
44.86
x30.7
UNSAT
46.07
x30.3
SAT
46.16
3qbf-5cnf-160var-640cl.1
SAT
46.85
3qbf-5cnf-20var-320cl.9
UNSAT
47.5
6qbf-5cnf-20var-640cl.1
UNSAT
48.08
5qbf-5cnf-40var-320cl.0
SAT
48.22
2qbf-5cnf-160var-320cl.8
SAT
48.26
ncf_4_16_2_d.5
UNSAT
48.52
3qbf-5cnf-40var-320cl.2
SAT
48.74
robots_1_5_2_85.4
SAT
49.19
sortnetsort8.v.stepl.005
UNSAT
49.94
6qbf-5cnf-20var-640cl.8
UNSAT
49.97
ncf_4_16_4_d.6
UNSAT
50.29
ncf_4_16_2_d.10
UNSAT
51.41
6qbf-5cnf-20var-640cl.9
UNSAT
52.28
robots_1_5_5_26.4
SAT
52.85
robots_1_5_5_66.4
SAT
53.09
ncf_16_32_2_d.10
UNSAT
53.1
sortnetsort10.v.stepl.008
SAT
53.24
6qbf-5cnf-20var-320cl.3
UNSAT
53.66
eijk.bs1512.S-d2
SAT
54.03
ncf_4_8_4_u.1
SAT
54.23
2qbf-5cnf-80var-640cl.9
UNSAT
55.33
4qbf-5cnf-20var-320cl.3
UNSAT
56.99
3qbf-5cnf-20var-160cl.3
SAT
57.31
6qbf-5cnf-20var-640cl.4
UNSAT
57.49
sortnetsort10.v.stepl.012
SAT
58.12
x30.0
UNSAT
59.31
robots_1_5_2_3.4
SAT
59.6
6qbf-5cnf-20var-320cl.0
UNSAT
61.79
3qbf-5cnf-40var-320cl.5
UNSAT
62.03
counter_r_8
SAT
62.69
5qbf-5cnf-40var-320cl.7
SAT
63.04
3qbf-5cnf-40var-320cl.6
SAT
63.56
robots_1_5_2_82.4
SAT
63.94
sortnetsort10.v.stepl.011
SAT
64.13
robots_1_5_3_16.4
SAT
64.15
3qbf-5cnf-40var-320cl.7
SAT
66.54
k_ph_n-16
SAT
67.36
4qbf-5cnf-20var-160cl.9
SAT
68.13
robots_1_5_3_44.4
SAT
69.01
6qbf-5cnf-20var-320cl.9
UNSAT
69.78
6qbf-5cnf-20var-160cl.8
SAT
69.83
robots_1_5_2_45.4
SAT
70.2
robots_1_5_2_100.4
SAT
70.79
robots_1_5_2_39.4
SAT
71.43
5qbf-5cnf-160var-2560cl.4
UNSAT
71.5
nusmv.dme1-16.B-d2
SAT
71.93
6qbf-5cnf-20var-320cl.4
UNSAT
72.06
6qbf-5cnf-20var-320cl.2
UNSAT
72.27
sortnetsort10.v.stepl.010
SAT
72.3
robots_1_5_3_100.4
SAT
72.85
robots_1_5_2_99.4
SAT
73.06
robots_1_5_3_66.4
SAT
73.11
5qbf-5cnf-20var-320cl.6
UNSAT
75.02
robots_1_5_3_24.4
SAT
76.64
2qbf-5cnf-40var-320cl.0
UNSAT
77.5
ncf_4_16_2_edau.1
UNSAT
78.29
robots_1_5_2_21.4
SAT
78.82
5qbf-5cnf-40var-320cl.5
SAT
79.63
robots_1_5_2_80.4
SAT
79.81
3qbf-5cnf-80var-320cl.6
SAT
80.97
4qbf-5cnf-20var-160cl.6
UNSAT
80.98
robots_1_5_3_2.4
SAT
82.09
6qbf-5cnf-20var-320cl.1
UNSAT
82.19
robots_1_5_3_57.4
SAT
82.49
4qbf-5cnf-20var-640cl.2
UNSAT
83.96
counter_re_8
SAT
84.08
robots_1_5_2_2.4
SAT
86.52
x35.2
SAT
88.57
toilet_a_10_01.16
UNSAT
88.7
5qbf-5cnf-20var-320cl.9
UNSAT
90.44
5qbf-5cnf-160var-2560cl.5
UNSAT
91.8
4qbf-5cnf-20var-160cl.5
UNSAT
92.1
3qbf-5cnf-80var-320cl.0
SAT
92.35
2qbf-5cnf-160var-320cl.1
SAT
93.49
3qbf-5cnf-80var-320cl.2
SAT
94.83
5qbf-5cnf-20var-320cl.2
UNSAT
94.98
robots_1_5_4_46.4
SAT
97.78
robots_1_5_4_98.4
SAT
98.16
robots_1_5_5_30.4
SAT
98.22
robots_1_5_3_52.4
SAT
99.16
robots_1_5_4_91.4
SAT
99.32
robots_1_5_4_87.4
SAT
99.78
robots_1_5_4_2.4
SAT
100.31
k_branch_n-4
SAT
101.68
6qbf-5cnf-20var-320cl.8
UNSAT
101.94
robots_1_5_3_20.4
SAT
103.81
robots_1_5_4_50.4
SAT
105.84
robots_1_5_5_34.4
SAT
105.99
robots_1_5_5_45.4
SAT
106.26
ncf_4_16_2_u.10
UNSAT
109.06
3qbf-5cnf-160var-640cl.9
SAT
109.2
robots_1_5_3_78.4
SAT
109.25
5qbf-5cnf-40var-320cl.1
SAT
110.33
robots_1_5_4_51.4
SAT
110.95
ncf_4_8_4_euad.4
UNSAT
111.92
4qbf-5cnf-20var-320cl.0
UNSAT
112.4
robots_1_5_4_100.4
SAT
112.88
robots_1_5_4_31.4
SAT
113.14
robots_1_5_5_87.4
SAT
113.16
robots_1_5_5_93.4
SAT
113.89
ncf_4_8_4_u.4
UNSAT
114.52
3qbf-5cnf-20var-160cl.2
SAT
114.98
robots_1_5_5_12.4
SAT
116.54
robots_1_5_5_100.4
SAT
117.57
4qbf-5cnf-20var-160cl.8
UNSAT
117.7
robots_1_5_5_8.4
SAT
117.8
4qbf-5cnf-20var-160cl.1
UNSAT
117.97
6qbf-5cnf-20var-160cl.7
SAT
118.81
robots_1_5_4_30.4
SAT
119.29
5qbf-5cnf-20var-320cl.8
UNSAT
121.42
irst.dme4.B-f2
FAIL
123.91
ncf_4_16_2_u.8
SAT
123.93
szymanski-12-s
UNSAT
124.51
sortnetsort9.v.stepl.005
UNSAT
129.85
ncf_4_8_4_u.3
UNSAT
130.56
3qbf-5cnf-20var-320cl.5
UNSAT
131.73
5qbf-5cnf-160var-2560cl.3
UNSAT
134.43
4qbf-5cnf-40var-320cl.0
UNSAT
138.07
5qbf-5cnf-40var-320cl.2
SAT
138.12
6qbf-5cnf-20var-160cl.0
SAT
144.42
eijk.S344.S-f2
FAIL
146.79
3qbf-5cnf-80var-320cl.8
SAT
147.37
ncf_4_16_2_edau.5
UNSAT
147.84
6qbf-5cnf-40var-640cl.3
UNSAT
148.77
3qbf-5cnf-20var-320cl.8
UNSAT
148.79
3qbf-5cnf-20var-320cl.6
UNSAT
149.28
C880.blif_0.10_1.00_0_1_inp_exact
SAT
149.35
5qbf-5cnf-20var-640cl.3
UNSAT
149.53
5qbf-5cnf-20var-640cl.9
UNSAT
149.78
3qbf-5cnf-80var-320cl.5
SAT
149.78
3qbf-5cnf-20var-320cl.7
UNSAT
149.93
3qbf-5cnf-20var-160cl.9
SAT
149.94
3qbf-5cnf-20var-320cl.0
UNSAT
149.95
ncf_4_8_2_euad.3
UNSAT
150
3qbf-5cnf-80var-320cl.3
SAT
150
6qbf-5cnf-20var-160cl.5
SAT
150.02
3qbf-5cnf-20var-160cl.0
SAT
150.03
5qbf-5cnf-20var-640cl.8
UNSAT
150.08
3qbf-5cnf-20var-160cl.5
SAT
150.09
3qbf-5cnf-20var-160cl.4
SAT
150.13
4qbf-5cnf-20var-320cl.4
UNSAT
150.15
3qbf-5cnf-20var-160cl.6
SAT
150.21
3qbf-5cnf-20var-160cl.8
SAT
150.25
3qbf-5cnf-20var-160cl.7
SAT
150.3
3qbf-5cnf-20var-160cl.1
SAT
150.3
6qbf-5cnf-40var-640cl.0
UNSAT
150.34
3qbf-5cnf-80var-320cl.1
SAT
150.35
cmu.dme2.B-f2
FAIL
150.47
6qbf-5cnf-20var-320cl.7
UNSAT
150.48
ncf_4_16_2_u.7
SAT
150.54
3qbf-5cnf-80var-320cl.7
SAT
150.56
4qbf-5cnf-20var-160cl.3
UNSAT
150.85
4qbf-5cnf-80var-320cl.0
SAT
150.89
ncf_4_16_2_euad.7
SAT
151.36
6qbf-5cnf-20var-160cl.2
SAT
151.36
C432.blif_0.10_0.20_0_1_inp_exact
SAT
151.77
6qbf-5cnf-20var-160cl.1
SAT
151.77
6qbf-5cnf-20var-160cl.6
SAT
152.1
6qbf-5cnf-20var-160cl.4
SAT
153.54
4qbf-5cnf-20var-160cl.0
UNSAT
154.15
1qbf-5cnf-160var-2560cl.6
SAT
154.42
6qbf-5cnf-20var-160cl.3
UNSAT
155.73
5qbf-5cnf-40var-320cl.3
SAT
156
5qbf-5cnf-40var-320cl.4
SAT
159.18
4qbf-5cnf-20var-160cl.7
UNSAT
162.64
1qbf-5cnf-160var-2560cl.7
SAT
162.83
eijk.S349.S-f2
FAIL
164.32
eijk.S382.S-f2
FAIL
165.55
eijk.S444.S-f2
FAIL
166.13
k_branch_p-8
FAIL
169.61
k_branch_n-8
FAIL
170.05
4qbf-5cnf-20var-160cl.4
UNSAT
171.79
ncf_4_16_2_edau.8
SAT
173.25
k_branch_p-12
FAIL
173.92
ken.oop^2.C-f2
FAIL
175.22
ken.oop^1.C-f2
FAIL
175.62
test3_quant4
FAIL
176.9
ncf_4_16_4_d.10
UNSAT
183.76
k_d4_n-21
FAIL
187.52
6qbf-5cnf-20var-160cl.9
SAT
189.27
irst.dme5.B-f2
FAIL
189.38
eijk.S526.S-f2
FAIL
189.96
cmu.dme1.B-f2
FAIL
194.59
nusmv.reactor^2.C-f2
FAIL
196.86
k_d4_n-20
FAIL
198.01
nusmv.brp.B-f2
FAIL
200.37
nusmv.reactor^7.C-f2
FAIL
200.41
nusmv.reactor^6.C-f2
FAIL
201.78
nusmv.reactor^3.C-f2
FAIL
203.79
texas.ifetch1^5.E-f2
FAIL
208.86
irst.dme6.B-f2
FAIL
210.4
nusmv.reactor^4.C-f2
FAIL
210.54
3qbf-5cnf-20var-320cl.1
UNSAT
211.54
eijk.S298.S-f2
FAIL
215.69
eijk.bs1512.S-f2
FAIL
216.97
ev-pr-4x4-11-3-0-0-1-lg
SAT
217.99
vis.4-arbit^2.E-f2
FAIL
218.88
ncf_4_16_2_euad.8
SAT
219.53
2qbf-5cnf-40var-320cl.2
UNSAT
219.93
test5_quant_squaring5
FAIL
222.55
texas.ifetch1^9.E-f2
FAIL
224.27
5qbf-5cnf-80var-640cl.7
FAIL
227.08
6qbf-5cnf-80var-640cl.3
FAIL
227.51
5qbf-5cnf-80var-640cl.1
FAIL
229.39
2qbf-5cnf-40var-320cl.5
UNSAT
230.36
ncf_4_16_2_d.1
UNSAT
231.17
5qbf-5cnf-80var-640cl.6
FAIL
233.49
eijk.S386.S-f2
FAIL
233.65
5qbf-5cnf-80var-640cl.8
FAIL
233.92
eijk.S641.S-f2
FAIL
234.66
s499_d4_s
FAIL
238.12
eijk.S953.S-f2
FAIL
239.4
ev-pr-6x6-7-5-0-1-2-lg
UNSAT
240.14
x50.2
UNSAT
241.29
s820_d2_s
FAIL
242.4
eijk.S713.S-f2
FAIL
246.09
5qbf-5cnf-80var-640cl.4
FAIL
248.68
test5_quant_squaring4
FAIL
250.97
eijk.S420.S-f2
FAIL
251.9
4qbf-5cnf-160var-640cl.3
FAIL
253.96
1qbf-5cnf-160var-2560cl.9
SAT
254.84
k_d4_n-16
FAIL
256.3
s713_d2_s
FAIL
257.21
texas.two_proc^1.E-f2
FAIL
257.29
test5_quant7
FAIL
259.27
vis.4-arbit^1.E-f2
FAIL
259.94
ncf_4_8_4_u.7
UNSAT
265.13
2qbf-5cnf-80var-640cl.1
UNSAT
266.01
nusmv.syncarb10^2.B-f2
FAIL
267.46
5qbf-5cnf-80var-640cl.3
FAIL
267.85
texas.two_proc^3.E-f2
FAIL
268.14
eijk.S838.S-f2
FAIL
269.98
eijk.S510.S-f2
FAIL
272.73
3qbf-5cnf-160var-640cl.6
SAT
273.34
cmu.gigamax.B-f2
FAIL
273.73
ev-pr-8x8-7-7-0-1-2-lg
UNSAT
274.1
texas.ifetch1^7.E-f2
FAIL
274.82
4qbf-5cnf-160var-640cl.8
FAIL
275.18
2qbf-5cnf-40var-320cl.4
UNSAT
275.39
5qbf-5cnf-80var-640cl.2
FAIL
276.53
texas.two_proc^4.E-f2
FAIL
277.46
eijk.S208c.S-f2
FAIL
277.77
ncf_4_16_2_euad.1
UNSAT
278.46
x35.4
UNSAT
280.48
texas.two_proc^5.E-f2
FAIL
282.02
test5_quant5
FAIL
284.38
5qbf-5cnf-80var-640cl.9
FAIL
286.32
4qbf-5cnf-160var-640cl.0
FAIL
286.43
eijk.S820.S-f2
FAIL
287.85
3qbf-5cnf-160var-640cl.5
FAIL
294.21
5qbf-5cnf-40var-320cl.8
FAIL
294.87
ev-pr-8x8-5-7-0-1-2-lg
UNSAT
294.94
3qbf-5cnf-160var-640cl.0
FAIL
297.71
4qbf-5cnf-160var-640cl.7
FAIL
298.3
ev-pr-4x4-13-3-0-0-1-lg
SAT
298.94
5qbf-5cnf-80var-640cl.0
FAIL
299.98
6qbf-5cnf-80var-640cl.6
FAIL
300.27
ncf_4_32_2_u.2
SAT
303.74
test3_quant_squaring2
FAIL
305.18
test3_quant2
FAIL
305.2
6qbf-5cnf-80var-640cl.4
FAIL
306.54
5qbf-5cnf-80var-640cl.5
FAIL
310.54
x45.6
UNSAT
310.59
6qbf-5cnf-80var-640cl.5
FAIL
311.45
ncf_4_8_4_euad.1
SAT
312.29
4qbf-5cnf-160var-640cl.1
FAIL
312.38
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
313.29
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
320.12
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
322.02
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
322.52
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
322.71
4qbf-5cnf-80var-320cl.9
FAIL
324.6
texas.two_proc^2.E-f2
FAIL
333.27
5qbf-5cnf-40var-320cl.9
FAIL
337.39
6qbf-5cnf-80var-640cl.1
FAIL
338.47
6qbf-5cnf-80var-640cl.9
FAIL
340.44
ncf_4_32_2_edau.2
SAT
341.1
4qbf-5cnf-160var-640cl.2
FAIL
342.79
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
345.2
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
346.51
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
346.77
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
347.83
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
348.14
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
348.19
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
348.82
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
349.08
6qbf-5cnf-80var-640cl.2
FAIL
350.08
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
350.24
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
350.62
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
351.06
4qbf-5cnf-40var-320cl.3
FAIL
355.09
ev-pr-4x4-15-3-0-0-1-lg
SAT
359.38
ncf_4_8_4_euad.7
FAIL
359.63
vis.arbiter.E-f2
FAIL
362.22
6qbf-5cnf-80var-1280cl.4
FAIL
362.93
4qbf-5cnf-160var-640cl.6
FAIL
363.45
k_d4_n-12
FAIL
366.19
5qbf-5cnf-40var-320cl.6
FAIL
367.72
6qbf-5cnf-40var-320cl.9
FAIL
370.67
2qbf-5cnf-80var-1280cl.6
UNSAT
371.1
4qbf-5cnf-40var-320cl.7
FAIL
372.48
6qbf-5cnf-80var-640cl.8
FAIL
376.84
ncf_4_16_2_euad.5
UNSAT
380.61
texas.two_proc^6.E-f2
FAIL
381.5
5qbf-5cnf-160var-2560cl.2
UNSAT
383.11
4qbf-5cnf-40var-320cl.8
FAIL
384.79
6qbf-5cnf-40var-640cl.2
FAIL
386.52
4qbf-5cnf-80var-320cl.4
FAIL
387.75
x40.8
UNSAT
390.02
4qbf-5cnf-160var-640cl.9
FAIL
390.07
4qbf-5cnf-80var-320cl.2
FAIL
391.95
6qbf-5cnf-40var-320cl.4
FAIL
392.61
6qbf-5cnf-40var-320cl.7
FAIL
397.06
6qbf-5cnf-40var-320cl.2
FAIL
397.72
6qbf-5cnf-80var-640cl.0
FAIL
400.32
6qbf-5cnf-80var-1280cl.1
FAIL
400.91
3qbf-5cnf-160var-640cl.8
FAIL
402.62
5qbf-5cnf-80var-1280cl.8
FAIL
405.74
6qbf-5cnf-40var-320cl.8
FAIL
406.94
4qbf-5cnf-160var-640cl.5
FAIL
410.93
2qbf-5cnf-80var-640cl.2
UNSAT
411.12
ev-pr-4x4-17-3-0-0-1-lg
SAT
411.3
4qbf-5cnf-160var-640cl.4
FAIL
411.61
4qbf-5cnf-80var-320cl.8
FAIL
411.64
3qbf-5cnf-160var-640cl.2
FAIL
411.77
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
412.41
4qbf-5cnf-80var-320cl.1
FAIL
413.17
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
413.51
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
414.37
5qbf-5cnf-80var-1280cl.0
FAIL
417.03
4qbf-5cnf-40var-320cl.5
FAIL
417.09
vis.elevator^3.E-f2
FAIL
417.78
6qbf-5cnf-40var-320cl.3
FAIL
419.37
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
421.43
6qbf-5cnf-80var-1280cl.3
FAIL
423.09
6qbf-5cnf-80var-1280cl.6
FAIL
423.53
ncf_4_16_2_edau.10
UNSAT
425.35
6qbf-5cnf-80var-1280cl.8
FAIL
428.84
vis.elevator^2.E-f2
FAIL
432.31
4qbf-5cnf-80var-320cl.5
FAIL
432.79
6qbf-5cnf-80var-640cl.7
FAIL
437.58
6qbf-5cnf-40var-320cl.6
FAIL
439.69
ncf_4_16_2_u.5
UNSAT
440.08
2qbf-5cnf-40var-160cl.3
SAT
442.61
6qbf-5cnf-40var-640cl.5
FAIL
445.77
eijk.S832.S-f2
FAIL
446.99
ncf_8_16_4_euad.4
FAIL
447.31
ncf_4_16_4_edau.10
FAIL
449.69
6qbf-5cnf-40var-320cl.5
FAIL
451.76
6qbf-5cnf-80var-1280cl.2
FAIL
458.39
6qbf-5cnf-80var-1280cl.7
FAIL
458.74
6qbf-5cnf-80var-1280cl.9
FAIL
458.95
term1.blif_0.10_0.20_0_0_out_exact
FAIL
459.54
4qbf-5cnf-40var-320cl.9
FAIL
463.65
ncf_4_16_4_edau.7
FAIL
465.89
ncf_8_16_4_euad.6
FAIL
469.06
6qbf-5cnf-80var-1280cl.5
FAIL
471.72
6qbf-5cnf-40var-320cl.0
FAIL
475.49
ncf_8_16_4_u.3
FAIL
475.54
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
478.9
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
479.83
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
479.92
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
480.32
texas.PI_main^16.E-f2
FAIL
485.45
4qbf-5cnf-80var-320cl.7
FAIL
487.15
5qbf-5cnf-160var-2560cl.7
UNSAT
490.8
6qbf-5cnf-40var-640cl.8
FAIL
497.05
vis.coherence^5.E-f2
FAIL
499.97
4qbf-5cnf-40var-320cl.2
FAIL
501.34
ncf_8_16_4_edau.3
FAIL
502.3
ncf_8_16_4_euad.8
FAIL
504.94
ncf_8_16_4_d.4
FAIL
505.06
ncf_8_16_4_edau.9
FAIL
505.13
ncf_8_16_4_u.4
FAIL
506.43
6qbf-5cnf-80var-1280cl.0
FAIL
506.45
ncf_8_16_4_d.7
FAIL
508.7
ncf_4_16_4_u.10
FAIL
508.74
ncf_8_16_4_u.9
FAIL
511.65
sortnetsort5.AE.stepl.005
FAIL
514.76
ncf_4_16_4_u.7
FAIL
515.99
4qbf-5cnf-40var-320cl.4
FAIL
518.87
ncf_4_16_4_d.7
FAIL
519.3
C432.blif_0.10_0.20_0_0_out_exact
FAIL
524.79
6qbf-5cnf-40var-320cl.1
FAIL
525.51
ncf_8_16_4_euad.3
FAIL
527.23
2qbf-5cnf-80var-640cl.6
UNSAT
528.06
ncf_8_16_4_euad.9
FAIL
529.91
ncf_4_16_4_d.4
FAIL
531.91
vis.coherence^1.E-f2
FAIL
535.32
ncf_4_32_2_edau.8
FAIL
536.69
6qbf-5cnf-160var-2560cl.5
FAIL
538.31
ncf_4_16_4_edau.6
FAIL
539.01
ncf_4_16_4_u.2
FAIL
539.1
ncf_4_16_4_d.3
FAIL
540.13
vis.coherence^2.E-f2
FAIL
541.55
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
541.98
term1.blif_0.10_0.20_0_0_inp_exact
UNSAT
544.28
4qbf-5cnf-40var-320cl.1
FAIL
544.42
ncf_8_16_4_u.7
FAIL
545.02
vis.coherence^3.E-f2
FAIL
549.91
ncf_4_16_4_euad.2
FAIL
550.08
ncf_4_16_4_edau.4
FAIL
552.1
ncf_4_16_4_u.6
FAIL
553.59
ncf_8_16_4_u.8
FAIL
556.96
4qbf-5cnf-80var-320cl.3
FAIL
557.6
ncf_4_16_4_edau.2
FAIL
558.43
ncf_4_32_2_u.8
FAIL
560.61
ncf_4_16_4_edau.3
FAIL
563.33
ncf_8_16_4_edau.7
FAIL
568.15
ncf_4_16_4_euad.7
FAIL
568.29
ncf_4_16_4_u.4
FAIL
570.67
sortnetsort6.AE.stepl.003
FAIL
574.97
6qbf-5cnf-160var-2560cl.4
FAIL
575.63
ncf_16_32_2_euad.10
FAIL
578.16
ncf_4_8_8_euad.4
FAIL
579.41
ncf_4_8_8_euad.8
FAIL
589.37
ncf_4_16_4_u.3
FAIL
595.22
ncf_16_32_2_euad.1
FAIL
597.58
2qbf-5cnf-160var-2560cl.0
UNSAT
600
x70.7
FAIL
600
x95.0
FAIL
600
ncf_8_16_4_euad.7
FAIL
602.05
ncf_16_32_2_edau.8
FAIL
603.5
6qbf-5cnf-160var-2560cl.3
FAIL
603.55
adder-16-sat
FAIL
609.91
ncf_4_16_4_euad.10
FAIL
611.63
texas.PI_main^10.E-f2
FAIL
612.28
texas.PI_main^12.E-f2
FAIL
613.11
6qbf-5cnf-160var-2560cl.0
FAIL
614.94
ncf_4_16_4_euad.3
FAIL
617.33
sortnetsort7.AE.stepl.003
FAIL
619.66
texas.PI_main^11.E-f2
FAIL
621.73
ncf_4_8_8_edau.10
FAIL
624.14
ncf_4_8_8_euad.5
FAIL
624.25
ncf_16_32_2_u.10
FAIL
625.46
ncf_8_16_4_d.9
FAIL
629.92
ncf_4_8_8_u.8
FAIL
638.44
ncf_4_8_8_euad.6
FAIL
640.16
ncf_4_16_4_euad.6
FAIL
640.71
ncf_16_32_2_d.3
FAIL
642.06
x35.7
UNSAT
645.88
6qbf-5cnf-160var-2560cl.1
FAIL
652.47
ncf_4_16_4_euad.4
FAIL
654.03
ncf_4_8_8_d.2
FAIL
654.32
sortnetsort5.AE.stepl.007
FAIL
654.92
texas.PI_main^02.E-f2
FAIL
658.58
ncf_16_32_4_d.3
FAIL
662.32
6qbf-5cnf-160var-2560cl.9
FAIL
663.51
ncf_4_8_8_d.7
FAIL
663.81
ncf_4_16_2_euad.10
UNSAT
668.83
4qbf-5cnf-80var-320cl.6
FAIL
674.29
ncf_16_32_2_edau.2
FAIL
677.33
sortnetsort6.AE.stepl.005
FAIL
677.36
ncf_16_32_2_u.3
FAIL
679.94
ncf_16_32_4_d.2
FAIL
680.84
ncf_16_32_2_euad.2
FAIL
683.65
ncf_8_16_4_d.3
FAIL
684
sortnetsort5.AE.stepl.003
FAIL
685.97
6qbf-5cnf-160var-2560cl.2
FAIL
687.82
ncf_16_32_2_d.8
FAIL
688.12
ncf_16_32_2_u.5
FAIL
690.99
ncf_16_32_2_d.5
FAIL
695.57
sortnetsort6.AE.stepl.006
FAIL
698.03
ncf_16_32_2_u.4
FAIL
699.01
ncf_16_32_4_edau.3
FAIL
704.02
ncf_16_32_2_euad.8
FAIL
705.21
k_d4_n-8
FAIL
708.97
ncf_16_32_4_euad.2
FAIL
710.3
ncf_4_8_8_edau.7
FAIL
710.55
ncf_16_32_2_edau.3
FAIL
713
Adder2-4-c
FAIL
714.71
ncf_4_16_8_euad.7
FAIL
719.2
ncf_16_32_4_u.1
FAIL
719.46
ncf_4_32_2_edau.5
FAIL
720.95
ncf_4_8_8_euad.2
FAIL
721.81
eijk.S208.S-f2
FAIL
722.5
ncf_4_16_4_d.2
FAIL
724.34
ncf_16_32_4_euad.5
FAIL
728.23
ncf_4_8_8_d.4
FAIL
729.9
sortnetsort5.AE.stepl.006
FAIL
729.98
ncf_16_32_2_edau.5
FAIL
732
ncf_16_32_2_d.2
FAIL
738.55
ncf_4_8_8_u.5
FAIL
743.56
ncf_16_32_4_euad.4
FAIL
746.25
ncf_4_8_8_u.7
FAIL
748.02
ncf_4_8_8_edau.6
FAIL
752.82
ncf_16_32_4_d.4
FAIL
755.27
ncf_4_8_8_u.2
FAIL
755.28
6qbf-5cnf-160var-2560cl.6
FAIL
756.35
ncf_16_32_2_d.1
UNSAT
761
6qbf-5cnf-160var-2560cl.8
FAIL
764
ncf_8_16_8_euad.8
FAIL
764.51
ncf_4_16_8_euad.10
FAIL
773.97
ncf_8_16_8_d.9
FAIL
775.24
ncf_4_16_8_u.6
FAIL
779.16
4qbf-5cnf-40var-320cl.6
FAIL
782.54
ncf_4_8_8_d.6
FAIL
784.69
ncf_16_32_4_euad.6
FAIL
787.38
sortnetsort7.AE.stepl.004
FAIL
789.61
ncf_8_16_8_d.3
FAIL
794.2
ncf_4_16_8_euad.4
FAIL
794.82
ncf_8_16_8_euad.10
FAIL
795.54
ncf_4_16_8_euad.8
FAIL
797.19
ncf_16_32_2_euad.6
FAIL
798.12
ncf_16_32_2_euad.5
FAIL
799.38
ncf_4_16_8_euad.5
FAIL
799.73
ncf_8_16_8_edau.9
FAIL
802.53
ncf_4_8_8_euad.7
FAIL
802.81
ncf_16_32_4_u.5
FAIL
803.35
sortnetsort5.AE.stepl.004
FAIL
803.94
ncf_4_8_8_u.6
FAIL
804.89
ncf_4_8_8_edau.4
FAIL
807.51
ncf_16_32_2_u.2
FAIL
808.96
sortnetsort6.AE.stepl.007
FAIL
809.45
ncf_8_16_8_euad.3
FAIL
810.89
ncf_16_32_4_d.6
FAIL
821.82
ncf_16_32_4_u.3
FAIL
825.4
ncf_16_32_4_u.10
FAIL
825.92
ncf_16_32_4_euad.8
FAIL
826.07
adder-8-sat
FAIL
828.62
x55.9
FAIL
838.49
ncf_16_32_4_euad.7
FAIL
841.2
ncf_4_16_8_d.4
FAIL
846.79
ncf_4_8_8_edau.2
FAIL
847.71
adder-14-sat
FAIL
850.57
ncf_16_32_4_edau.4
FAIL
854.29
ncf_4_16_8_d.3
FAIL
855.81
ncf_8_16_8_d.8
FAIL
858.79
ncf_16_32_2_u.1
FAIL
859.57
adder-10-sat
FAIL
860.02
ncf_16_32_4_u.7
FAIL
862.92
ncf_16_32_4_d.8
FAIL
863.84
ncf_4_8_8_u.4
FAIL
865.23
ncf_8_16_8_euad.9
FAIL
872.58
ncf_16_32_8_edau.6
FAIL
874.38
sortnetsort7.AE.stepl.005
FAIL
877.48
ncf_8_16_8_d.10
FAIL
888.44
ncf_16_32_4_edau.2
FAIL
888.44
ncf_16_32_4_u.4
FAIL
889.18
ncf_4_8_8_d.10
FAIL
890.4
ncf_4_32_2_edau.6
FAIL
892.78
ncf_16_32_4_u.2
FAIL
893.38
sortnetsort6.AE.stepl.004
FAIL
901.08
ncf_4_16_8_euad.2
FAIL
902.96
ncf_4_8_8_euad.10
FAIL
906.35
ncf_4_16_8_euad.9
FAIL
908.52
ncf_4_16_8_d.9
FAIL
909.69
6qbf-5cnf-160var-2560cl.7
FAIL
923.24
ncf_8_16_8_euad.2
FAIL
924.26
ncf_4_16_8_u.10
FAIL
926.06
ncf_16_32_4_euad.10
FAIL
926.29
ncf_4_16_8_d.8
FAIL
931.77
ncf_4_16_8_d.7
FAIL
931.88
ncf_4_32_2_edau.9
FAIL
932.11
sortnetsort8.AE.stepl.003
FAIL
936.45
ncf_4_16_8_d.2
FAIL
937.17
ncf_8_16_8_euad.6
FAIL
937.7
ncf_8_16_8_edau.2
FAIL
937.71
ncf_4_8_8_u.10
FAIL
938.98
ncf_4_32_2_u.3
FAIL
940.82
mutex-16-s
FAIL
942.35
x45.1
UNSAT
945.07
ncf_16_32_4_edau.8
FAIL
945.67
ncf_8_16_8_d.7
FAIL
945.79
ncf_8_16_8_euad.7
FAIL
952.36
ncf_16_32_4_edau.6
FAIL
953.05
ncf_8_16_8_d.4
FAIL
960
ncf_16_32_8_d.6
FAIL
970.72
ncf_8_16_8_edau.3
FAIL
978.48
ncf_16_32_4_euad.9
FAIL
980.29
ncf_8_16_8_d.2
FAIL
986.7
ncf_4_16_8_d.6
FAIL
996.62
ncf_8_16_8_euad.4
FAIL
997.22
ncf_4_16_8_u.7
FAIL
1004.39
ncf_8_16_8_d.5
FAIL
1006.06
ncf_16_32_4_d.5
FAIL
1010.03
ncf_16_32_4_u.6
FAIL
1016.58
adder-12-sat
FAIL
1018.41
ncf_4_16_8_euad.3
FAIL
1022.82
ncf_4_16_8_u.8
FAIL
1022.97
ncf_8_16_8_d.6
FAIL
1023.26
x40.3
UNSAT
1030.6
ncf_4_32_2_edau.4
FAIL
1041.1
ncf_16_32_4_euad.3
FAIL
1048.49
ncf_4_16_8_d.10
FAIL
1048.73
ncf_4_16_8_u.9
FAIL
1056.49
ncf_4_16_8_d.1
FAIL
1062.9
ncf_4_16_8_u.3
FAIL
1069.82
adder-8-unsat
FAIL
1070.66
ncf_16_32_4_edau.5
FAIL
1074.45
ncf_4_16_8_euad.6
FAIL
1091.85
ncf_16_32_4_u.8
FAIL
1094.01
x50.9
FAIL
1105.1
2qbf-5cnf-40var-160cl.0
SAT
1120.18
ncf_4_16_8_d.5
FAIL
1132.44
2qbf-5cnf-40var-160cl.9
SAT
1136.45
adder-6-unsat
FAIL
1140.26
ncf_4_16_8_u.1
FAIL
1144.53
ncf_8_16_8_edau.4
FAIL
1154.28
ncf_8_16_8_euad.5
FAIL
1158.58
ncf_4_16_8_u.5
FAIL
1162.38
ev-pr-6x6-9-5-0-1-2-lg
UNSAT
1170.53
ncf_8_16_8_edau.8
FAIL
1185.17
ncf_4_32_2_u.5
FAIL
1194.49
ncf_8_16_8_edau.5
FAIL
1202.11
ncf_16_32_8_euad.6
FAIL
1210.86
2qbf-5cnf-160var-2560cl.7
UNSAT
1230.88
ncf_16_32_8_euad.10
FAIL
1255.53
x70.5
FAIL
1258.67
sortnetsort7.AE.stepl.007
FAIL
1259.34
sortnetsort8.AE.stepl.004
FAIL
1265.22
ncf_4_32_2_u.4
FAIL
1268.93
ncf_4_16_8_u.4
FAIL
1270.88
ncf_16_32_8_d.7
FAIL
1286.86
sortnetsort8.AE.stepl.005
FAIL
1306.69
sortnetsort8.AE.stepl.006
FAIL
1308.86
ncf_16_32_2_u.8
FAIL
1310.38
ncf_4_16_8_u.2
FAIL
1336.21
ncf_16_32_8_euad.4
FAIL
1367.57
ncf_8_16_8_edau.10
FAIL
1371.21
x60.4
FAIL
1374.1
Adder2-6-c
FAIL
1374.72
ncf_8_16_8_edau.7
FAIL
1382.6
eijk.S208o.S-f2
FAIL
1384.75
sortnetsort7.AE.stepl.008
FAIL
1413.17
ncf_16_32_8_d.2
FAIL
1422.53
sortnetsort7.AE.stepl.006
FAIL
1440.76
C6288.blif_0.10_1.00_0_1_out_exact
FAIL
1441.84
ncf_16_32_8_d.8
FAIL
1449.05
ncf_16_32_8_euad.2
FAIL
1451.57
ncf_16_32_8_d.10
FAIL
1455.3
ncf_16_32_8_d.1
FAIL
1473.76
2qbf-5cnf-40var-160cl.1
UNSAT
1488.63
ncf_16_32_8_edau.3
FAIL
1491.43
ncf_16_32_8_euad.5
FAIL
1500.25
ncf_16_32_8_edau.7
FAIL
1505.29
x40.1
FAIL
1508.33
ncf_4_32_2_u.9
FAIL
1514.48
2qbf-5cnf-40var-160cl.4
SAT
1521.54
ncf_16_32_8_u.9
FAIL
1527.29
ncf_16_32_8_edau.5
FAIL
1540.62
sortnetsort9.AE.stepl.005
FAIL
1543.09
ncf_16_32_8_u.3
FAIL
1561.44
ncf_4_16_2_u.1
FAIL
1564.33
ncf_4_32_2_u.10
FAIL
1570.4
ncf_16_32_8_u.1
FAIL
1572.41
ncf_16_32_8_u.4
FAIL
1573.04
ncf_16_32_8_euad.7
FAIL
1607.55
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
1617.93
ncf_16_32_8_edau.1
FAIL
1624.79
x35.6
FAIL
1655.9
ncf_16_32_8_euad.1
FAIL
1663.19
mutex-32-s
FAIL
1678.31
ncf_16_32_8_euad.9
FAIL
1687.4
sortnetsort7.AE.stepl.009
FAIL
1688.84
sortnetsort8.AE.stepl.008
FAIL
1688.86
ncf_16_32_8_edau.2
FAIL
1701.03
x50.1
UNSAT
1719.47
ncf_16_32_8_edau.8
FAIL
1723.42
ncf_16_32_8_d.9
FAIL
1734.68
x90.9
FAIL
1736.94
ncf_16_32_8_u.8
FAIL
1737.1
ncf_16_32_8_euad.8
FAIL
1752.48
x55.8
UNSAT
1769.01
ncf_4_32_2_edau.3
FAIL
1769.05
ncf_16_32_8_d.5
FAIL
1780.72
ncf_16_32_8_u.5
FAIL
1815.91
ncf_16_32_8_d.3
FAIL
1833.21
ncf_16_32_8_u.7
FAIL
1842.77
ncf_16_32_2_edau.4
FAIL
1895.64
ncf_4_16_8_euad.1
FAIL
1928.05
ncf_16_32_8_edau.9
FAIL
2004.18
ncf_4_16_2_d.3
UNSAT
2008.94
sortnetsort10.AE.stepl.004
FAIL
2026.15
x35.0
FAIL
2028.5
ncf_16_32_8_u.2
FAIL
2065.22
ncf_16_32_8_u.6
FAIL
2078.41
ncf_16_32_8_u.10
FAIL
2078.64
ncf_16_32_2_euad.3
FAIL
2097.1
ncf_4_32_2_u.6
FAIL
2097.49
sortnetsort10.AE.stepl.005
FAIL
2122.53
x75.2
FAIL
2159.1
ncf_16_32_8_edau.10
FAIL
2188.87
2qbf-5cnf-40var-160cl.8
SAT
2207.98
ncf_4_32_2_u.7
FAIL
2215.84
ev-pr-8x8-9-7-0-1-2-lg
FAIL
2273.83
ncf_16_32_2_euad.4
FAIL
2414.57
ncf_4_16_2_u.3
FAIL
2417.73
ncf_16_32_8_euad.3
FAIL
2429.15
sortnetsort9.AE.stepl.007
FAIL
2450.09
2qbf-5cnf-40var-320cl.8
UNSAT
2458.12
sortnetsort9.AE.stepl.008
FAIL
2478.5
ev-pr-8x8-11-7-0-1-2-lg
FAIL
2502.36
x35.8
SAT
2565.42
ncf_4_16_2_euad.3
FAIL
2661
sortnetsort8.AE.stepl.009
FAIL
2699.38
sortnetsort9.AE.stepl.004
FAIL
2711.49
sortnetsort10.AE.stepl.009
FAIL
2727.41
ncf_4_16_2_edau.3
FAIL
2738.06
x50.8
UNSAT
2757.79
Adder2-8-s
FAIL
2802.62
sortnetsort10.AE.stepl.007
FAIL
2884.36
ncf_16_32_2_u.7
FAIL
2923.9
ncf_4_32_2_edau.7
FAIL
2929.31
x400.9
FAIL
2964.39
x50.0
UNSAT
2968.5
Adder2-8-c
FAIL
3016.86
x40.2
UNSAT
3099.03
adder-4-unsat
FAIL
3142.6
mutex-64-s
FAIL
3189.49
C432.blif_0.10_0.20_0_0_inp_exact
FAIL
3194.47
sortnetsort10.AE.stepl.008
FAIL
3206.72
x40.6
UNSAT
3217.22
sortnetsort9.AE.stepl.010
FAIL
3326.4
x215.2
FAIL
3456.17
x190.8
FAIL
3466.39
x400.2
FAIL
3521.68
x300.6
FAIL
3607.82
x400.6
FAIL
3624.5
x185.6
FAIL
3635.99
x235.3
FAIL
3643.84
x235.7
FAIL
3659.13
sortnetsort9.AE.stepl.012
FAIL
3682.54
x215.7
FAIL
3690.69
x230.2
FAIL
3723.72
x215.9
FAIL
3726.29
x60.9
FAIL
3728.81
x160.6
FAIL
3745.21
x55.7
UNSAT
3745.93
ncf_4_32_2_edau.10
FAIL
3751.27
x210.8
FAIL
3758.66
x210.3
FAIL
3765.2
x205.8
FAIL
3832.16
x240.1
FAIL
3833.98
x350.5
FAIL
3834.49
x210.5
FAIL
3855.63
x185.9
FAIL
3872.9
sortnetsort9.AE.stepl.011
FAIL
3875.69
x200.0
FAIL
3885
x250.6
FAIL
3914.59
x230.4
FAIL
3940.76
x230.0
FAIL
3945.59
x175.2
FAIL
3966.04
x250.2
FAIL
3970.63
x235.6
FAIL
3978.8
x205.4
FAIL
3997.46
x180.5
FAIL
4012.11
x350.7
FAIL
4023.39
x245.6
FAIL
4023.84
x165.6
FAIL
4026.79
x200.2
FAIL
4071.01
x400.5
FAIL
4076.32
x210.9
FAIL
4108.82
x130.2
FAIL
4109.26
T-adeu-9
FAIL
4132.15
x235.4
FAIL
4134.8
x250.5
FAIL
4138.5
x400.0
FAIL
4141.59
x175.6
FAIL
4152.11
x400.7
FAIL
4217.71
x300.5
FAIL
4282.19
x300.0
FAIL
4290.27
x250.0
FAIL
4311.45
sortnetsort10.AE.stepl.012
FAIL
4321.1
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
4334
x350.9
FAIL
4334.97
x175.7
FAIL
4336.48
x200.6
FAIL
4337.53
sortnetsort9.AE.stepl.006
FAIL
4371.03
x170.3
FAIL
4376.17
x170.7
FAIL
4401.21
x185.1
FAIL
4405.33
x400.4
FAIL
4409.12
x350.6
FAIL
4415.54
x165.8
FAIL
4420.9
x130.6
FAIL
4426.1
sortnetsort8.AE.stepl.007
FAIL
4429.5
x350.0
FAIL
4430.62
x190.5
FAIL
4434.36
x225.3
FAIL
4452.07
x225.5
FAIL
4468.61
x350.4
FAIL
4481.24
x210.1
FAIL
4486.15
x170.1
FAIL
4490.78
x195.9
FAIL
4491.54
x160.3
FAIL
4494.58
x210.6
FAIL
4508.23
x175.5
FAIL
4522.48
x190.6
FAIL
4527.08
x250.9
FAIL
4555.16
sortnetsort10.AE.stepl.010
FAIL
4600.63
x170.8
FAIL
4602.6
x160.5
FAIL
4608.64
sortnetsort9.AE.stepl.009
FAIL
4610.46
x170.2
FAIL
4622.78
x400.3
FAIL
4623.8
x190.0
FAIL
4657.1
x165.0
FAIL
4678.94
x145.8
FAIL
4689.88
x300.3
FAIL
4695.98
x175.8
FAIL
4713.04
x185.8
FAIL
4725.93
x175.4
FAIL
4759.84
x230.5
FAIL
4775.36
ncf_4_32_2_u.1
FAIL
4790.68
x175.1
FAIL
4815.6
x300.2
FAIL
4837.39
x160.9
FAIL
4841.8
x210.2
FAIL
4843.67
x200.7
FAIL
4843.74
x210.7
FAIL
4844.02
x165.7
FAIL
4844.44
x350.8
FAIL
4863.63
x75.7
FAIL
4895.37
x170.9
FAIL
4897.22
2qbf-5cnf-160var-2560cl.4
UNSAT
4917.24
x245.9
FAIL
4934.85
x120.1
FAIL
4946.21
x300.1
FAIL
4948.44
sortnetsort10.AE.stepl.011
FAIL
4951.49
x300.4
FAIL
4957.74
x180.6
FAIL
4958.36
x35.3
UNSAT
4967.58
x245.4
FAIL
4975.12
x350.2
FAIL
4992.4
x300.9
FAIL
5003.24
x155.7
FAIL
5024.28
x300.8
FAIL
5024.9
x145.2
FAIL
5026.52
x200.4
FAIL
5045.37
x400.1
FAIL
5046.1
x225.8
FAIL
5075.46
x115.5
FAIL
5112.72
ncf_16_32_2_edau.1
UNSAT
5164.98
x155.9
FAIL
5170.26
sortnetsort10.AE.stepl.006
FAIL
5175.8
x215.1
FAIL
5176.29
x130.0
FAIL
5180.6
x205.6
FAIL
5214.26
x115.4
FAIL
5232.73
x210.4
FAIL
5255.41
x145.4
FAIL
5258.14
x230.1
FAIL
5297.35
x160.7
FAIL
5297.66
x130.8
FAIL
5331
x155.2
FAIL
5383.22
x220.6
FAIL
5397.19
x145.9
FAIL
5402.85
x195.7
FAIL
5408.35
x200.1
FAIL
5411.16
x125.6
FAIL
5487.32
x185.2
FAIL
5489.06
x165.5
FAIL
5550.57
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
5555.16
x150.6
FAIL
5562.7
x130.4
FAIL
5565.23
2qbf-5cnf-40var-160cl.5
FAIL
5571.99
x155.6
FAIL
5600.18
x240.7
FAIL
5613.99
x245.3
FAIL
5627.64
x125.0
FAIL
5666.74
x135.2
FAIL
5669.54
x250.1
FAIL
5674.7
x135.5
FAIL
5690.24
x195.2
FAIL
5696.49
x65.9
FAIL
5723.98
x135.0
FAIL
5749.39
x240.8
FAIL
5751.86
x175.3
FAIL
5793.4
x250.8
FAIL
5826.05
x165.1
FAIL
5834.93
x50.5
FAIL
5845.85
x225.4
FAIL
5846.03
x135.1
FAIL
5847.11
x55.5
FAIL
5868.34
x170.0
FAIL
5872.74
x140.9
FAIL
5890.49
x80.3
FAIL
5903.03
x60.5
FAIL
5905.18
x70.2
FAIL
5911.02
x95.9
FAIL
5911.94
x80.0
FAIL
5917.87
2qbf-5cnf-80var-320cl.4
FAIL
5920.77
x245.8
FAIL
5922.88
x65.5
FAIL
5925.29
2qbf-5cnf-80var-320cl.8
FAIL
5925.76
x55.0
FAIL
5933.54
x140.0
FAIL
5933.69
x90.2
FAIL
5934.79
x65.1
FAIL
5935.57
x100.0
FAIL
5936.27
x145.3
FAIL
5938.32
x65.0
FAIL
5939.63
2qbf-5cnf-80var-320cl.5
FAIL
5939.86
x45.4
FAIL
5940.58
x85.3
FAIL
5941.49
2qbf-5cnf-80var-320cl.7
FAIL
5943.33
x95.3
FAIL
5944.28
x70.6
FAIL
5944.69
2qbf-5cnf-80var-320cl.3
FAIL
5945.25
x70.3
FAIL
5947.17
x70.4
FAIL
5947.35
x45.7
FAIL
5948.66
2qbf-5cnf-80var-320cl.2
FAIL
5951.3
x145.6
FAIL
5951.59
x90.8
FAIL
5952.74
x100.2
FAIL
5953.12
x95.8
FAIL
5954.5
x85.7
FAIL
5954.62
x85.2
FAIL
5955.09
x70.9
FAIL
5956.02
x80.9
FAIL
5956.52
x70.1
FAIL
5957.05
x85.8
FAIL
5957.5
x60.7
FAIL
5958.97
2qbf-5cnf-80var-320cl.0
FAIL
5960.48
x125.2
FAIL
5961.19
x140.3
FAIL
5963.24
x125.9
FAIL
5963.97
x90.6
FAIL
5964.69
x245.1
FAIL
5965.93
x90.4
FAIL
5967.34
2qbf-5cnf-80var-320cl.9
FAIL
5968.37
x70.0
FAIL
5969.03
x105.1
FAIL
5969.24
x95.6
FAIL
5970.41
x85.1
FAIL
5973.62
2qbf-5cnf-80var-320cl.6
FAIL
5973.65
x145.1
FAIL
5973.87
x105.8
FAIL
5974.12
x85.9
FAIL
5975.45
x55.4
FAIL
5977.19
x100.4
FAIL
5977.29
x120.2
FAIL
5977.34
x70.8
FAIL
5977.45
x75.5
FAIL
5978.63
2qbf-5cnf-80var-320cl.1
FAIL
5979.23
2qbf-5cnf-80var-640cl.8
FAIL
5979.37
x60.6
FAIL
5980.16
texas.ifetch1^3.E-f2
FAIL
5980.23
x180.0
FAIL
5980.53
x100.9
FAIL
5982.86
x120.7
FAIL
5983.36
x135.8
FAIL
5983.58
x95.2
FAIL
5984.03
x75.6
FAIL
5984.06
x135.4
FAIL
5984.46
2qbf-5cnf-80var-640cl.7
FAIL
5984.99
2qbf-5cnf-80var-640cl.0
FAIL
5985.51
x90.7
FAIL
5985.7
x80.7
FAIL
5986
x65.3
FAIL
5987.45
x115.6
FAIL
5987.91
x55.2
FAIL
5988.24
x80.1
FAIL
5989.29
x145.7
FAIL
5989.85
x110.3
FAIL
5990.06
2qbf-5cnf-80var-640cl.3
FAIL
5990.39
texas.ifetch1^2.E-f2
FAIL
5990.43
2qbf-5cnf-80var-640cl.5
FAIL
5991.03
x40.9
FAIL
5991.11
x90.0
FAIL
5991.11
2qbf-5cnf-80var-640cl.4
FAIL
5991.47
x120.0
FAIL
5992.23
x115.3
FAIL
5992.56
x115.2
FAIL
5993.72
x75.1
FAIL
5993.73
x55.3
FAIL
5994.59
x110.5
FAIL
5995.07
x150.8
FAIL
5995.26
x75.8
FAIL
5995.58
x110.2
FAIL
5995.59
x65.2
FAIL
5996.07
x40.4
FAIL
5996.42
x50.7
FAIL
5996.79
x95.7
FAIL
5997.79
x100.6
FAIL
5997.81
x100.3
FAIL
5999.06
x150.5
FAIL
5999.28
szymanski-18-s
FAIL
6000.42
2qbf-5cnf-160var-5120cl.3
FAIL
6000.42
2qbf-5cnf-160var-2560cl.5
FAIL
6000.42
szymanski-22-s
FAIL
6000.42
2qbf-5cnf-160var-5120cl.7
FAIL
6000.42
2qbf-5cnf-160var-5120cl.9
FAIL
6000.42
szymanski-14-s
FAIL
6000.42
szymanski-20-s
FAIL
6000.42
2qbf-5cnf-160var-2560cl.1
FAIL
6000.42
szymanski-24-s
FAIL
6000.42
szymanski-16-s
FAIL
6000.42
2qbf-5cnf-160var-2560cl.3
FAIL
6000.42
2qbf-5cnf-160var-5120cl.4
FAIL
6000.42
2qbf-5cnf-160var-5120cl.0
FAIL
6000.42
mutex-128-s
FAIL
6000.42
2qbf-5cnf-160var-5120cl.5
FAIL
6000.42
2qbf-5cnf-160var-5120cl.8
FAIL
6000.42
1qbf-5cnf-80var-2560cl.1
FAIL
6000.42
1qbf-5cnf-80var-2560cl.5
FAIL
6000.42
1qbf-5cnf-80var-2560cl.2
FAIL
6000.42
1qbf-5cnf-80var-2560cl.6
FAIL
6000.42
1qbf-5cnf-80var-2560cl.3
FAIL
6000.42
1qbf-5cnf-80var-2560cl.4
FAIL
6000.42
1qbf-5cnf-80var-2560cl.9
FAIL
6000.42
1qbf-5cnf-80var-2560cl.7
FAIL
6000.42
1qbf-5cnf-80var-2560cl.0
FAIL
6000.42
1qbf-5cnf-80var-2560cl.8
FAIL
6000.42
x100.1
FAIL
6000.42
x100.5
FAIL
6000.42
x100.7
FAIL
6000.42
x100.8
FAIL
6000.42
x105.0
FAIL
6000.42
x105.2
FAIL
6000.42
x105.3
FAIL
6000.42
x105.4
FAIL
6000.42
x105.5
FAIL
6000.42
x105.6
FAIL
6000.42
x105.7
FAIL
6000.42
x105.9
FAIL
6000.42
x110.0
FAIL
6000.42
x110.1
FAIL
6000.42
x110.4
FAIL
6000.42
x110.6
FAIL
6000.42
x110.7
FAIL
6000.42
x110.8
FAIL
6000.42
x110.9
FAIL
6000.42
x115.0
FAIL
6000.42
x115.7
FAIL
6000.42
x115.8
FAIL
6000.42
x115.9
FAIL
6000.42
x120.3
FAIL
6000.42
x120.4
FAIL
6000.42
x120.5
FAIL
6000.42
x120.6
FAIL
6000.42
x120.8
FAIL
6000.42
x120.9
FAIL
6000.42
x125.1
FAIL
6000.42
x125.3
FAIL
6000.42
x125.4
FAIL
6000.42
x125.5
FAIL
6000.42
x125.7
FAIL
6000.42
x125.8
FAIL
6000.42
x130.1
FAIL
6000.42
x130.3
FAIL
6000.42
x130.5
FAIL
6000.42
x130.7
FAIL
6000.42
x130.9
FAIL
6000.42
x135.3
FAIL
6000.42
x135.6
FAIL
6000.42
x135.7
FAIL
6000.42
x135.9
FAIL
6000.42
x140.1
FAIL
6000.42
x140.2
FAIL
6000.42
x140.4
FAIL
6000.42
x140.5
FAIL
6000.42
x140.6
FAIL
6000.42
x140.7
FAIL
6000.42
x140.8
FAIL
6000.42
x145.0
FAIL
6000.42
x145.5
FAIL
6000.42
x150.0
FAIL
6000.42
x150.1
FAIL
6000.42
x150.2
FAIL
6000.42
x150.3
FAIL
6000.42
x150.4
FAIL
6000.42
x150.7
FAIL
6000.42
x150.9
FAIL
6000.42
x155.0
FAIL
6000.42
x155.1
FAIL
6000.42
x155.3
FAIL
6000.42
x155.4
FAIL
6000.42
x155.5
FAIL
6000.42
x155.8
FAIL
6000.42
x160.0
FAIL
6000.42
x160.1
FAIL
6000.42
x160.2
FAIL
6000.42
x160.4
FAIL
6000.42
x160.8
FAIL
6000.42
x165.2
FAIL
6000.42
x165.3
FAIL
6000.42
x165.4
FAIL
6000.42
x165.9
FAIL
6000.42
x170.4
FAIL
6000.42
x170.5
FAIL
6000.42
x170.6
FAIL
6000.42
x175.0
FAIL
6000.42
x175.9
FAIL
6000.42
x180.1
FAIL
6000.42
x180.2
FAIL
6000.42
x180.3
FAIL
6000.42
x180.4
FAIL
6000.42
x180.7
FAIL
6000.42
x180.8
FAIL
6000.42
x180.9
FAIL
6000.42
x185.0
FAIL
6000.42
x185.3
FAIL
6000.42
x185.4
FAIL
6000.42
x185.5
FAIL
6000.42
x185.7
FAIL
6000.42
x190.1
FAIL
6000.42
x190.2
FAIL
6000.42
x190.3
FAIL
6000.42
x190.4
FAIL
6000.42
x190.7
FAIL
6000.42
x190.9
FAIL
6000.42
x195.0
FAIL
6000.42
x195.1
FAIL
6000.42
x195.3
FAIL
6000.42
x195.4
FAIL
6000.42
x195.5
FAIL
6000.42
x195.6
FAIL
6000.42
x195.8
FAIL
6000.42
x200.3
FAIL
6000.42
x200.5
FAIL
6000.42
x200.8
FAIL
6000.42
x200.9
FAIL
6000.42
x205.0
FAIL
6000.42
x205.1
FAIL
6000.42
x205.2
FAIL
6000.42
x205.3
FAIL
6000.42
x205.5
FAIL
6000.42
x205.7
FAIL
6000.42
x205.9
FAIL
6000.42
x210.0
FAIL
6000.42
x215.0
FAIL
6000.42
x215.3
FAIL
6000.42
x215.4
FAIL
6000.42
x215.5
FAIL
6000.42
x215.6
FAIL
6000.42
x215.8
FAIL
6000.42
x220.0
FAIL
6000.42
x220.1
FAIL
6000.42
x220.2
FAIL
6000.42
x220.3
FAIL
6000.42
x220.4
FAIL
6000.42
x220.5
FAIL
6000.42
x220.7
FAIL
6000.42
x220.8
FAIL
6000.42
x220.9
FAIL
6000.42
x225.0
FAIL
6000.42
x225.1
FAIL
6000.42
x225.2
FAIL
6000.42
x225.6
FAIL
6000.42
x225.7
FAIL
6000.42
x225.9
FAIL
6000.42
x230.3
FAIL
6000.42
x230.6
FAIL
6000.42
x230.7
FAIL
6000.42
x230.8
FAIL
6000.42
x230.9
FAIL
6000.42
x235.0
FAIL
6000.42
x235.1
FAIL
6000.42
x235.2
FAIL
6000.42
x235.5
FAIL
6000.42
x235.8
FAIL
6000.42
x235.9
FAIL
6000.42
x240.0
FAIL
6000.42
x240.2
FAIL
6000.42
x240.3
FAIL
6000.42
x240.4
FAIL
6000.42
x240.5
FAIL
6000.42
x240.6
FAIL
6000.42
x240.9
FAIL
6000.42
x245.0
FAIL
6000.42
x245.2
FAIL
6000.42
x245.5
FAIL
6000.42
x245.7
FAIL
6000.42
x250.3
FAIL
6000.42
x250.4
FAIL
6000.42
x250.7
FAIL
6000.42
x300.7
FAIL
6000.42
x350.1
FAIL
6000.42
x350.3
FAIL
6000.42
x35.1
FAIL
6000.42
x35.5
FAIL
6000.42
x35.9
FAIL
6000.42
x400.8
FAIL
6000.42
x40.0
FAIL
6000.42
x40.5
FAIL
6000.42
x40.7
FAIL
6000.42
x45.0
FAIL
6000.42
x45.2
FAIL
6000.42
x45.3
FAIL
6000.42
x45.5
FAIL
6000.42
x45.8
FAIL
6000.42
x45.9
FAIL
6000.42
x50.3
FAIL
6000.42
x50.4
FAIL
6000.42
x50.6
FAIL
6000.42
x55.1
FAIL
6000.42
x55.6
FAIL
6000.42
x60.0
FAIL
6000.42
x60.1
FAIL
6000.42
x60.2
FAIL
6000.42
x60.3
FAIL
6000.42
x60.8
FAIL
6000.42
x65.4
FAIL
6000.42
x65.6
FAIL
6000.42
x65.7
FAIL
6000.42
x65.8
FAIL
6000.42
x75.0
FAIL
6000.42
x75.3
FAIL
6000.42
x75.4
FAIL
6000.42
x80.2
FAIL
6000.42
x80.4
FAIL
6000.42
x80.5
FAIL
6000.42
x80.6
FAIL
6000.42
x80.8
FAIL
6000.42
x85.0
FAIL
6000.42
x85.4
FAIL
6000.42
x85.5
FAIL
6000.42
x85.6
FAIL
6000.42
x90.1
FAIL
6000.42
x90.3
FAIL
6000.42
x90.5
FAIL
6000.42
x95.1
FAIL
6000.42
x95.4
FAIL
6000.42
x95.5
FAIL
6000.42
S-adeu-0
FAIL
6000.42
S-adeu-1
FAIL
6000.42
S-adeu-2
FAIL
6000.42
S-adeu-3
FAIL
6000.42
S-adeu-4
FAIL
6000.42
S-adeu-5
FAIL
6000.42
S-adeu-6
FAIL
6000.42
S-adeu-7
FAIL
6000.42
S-adeu-8
FAIL
6000.42
S-adeu-9
FAIL
6000.42
S-edau-0
FAIL
6000.42
S-edau-1
FAIL
6000.42
S-edau-2
FAIL
6000.42
S-edau-3
FAIL
6000.42
S-edau-4
FAIL
6000.42
S-edau-5
FAIL
6000.42
S-edau-6
FAIL
6000.42
S-edau-7
FAIL
6000.42
S-edau-8
FAIL
6000.42
S-edau-9
FAIL
6000.42
T-adeu-0
FAIL
6000.42
T-adeu-1
FAIL
6000.42
T-adeu-2
FAIL
6000.42
T-adeu-3
FAIL
6000.42
T-adeu-4
FAIL
6000.42
T-adeu-5
FAIL
6000.42
T-adeu-6
FAIL
6000.42
T-adeu-7
FAIL
6000.42
T-adeu-8
FAIL
6000.42
T-edau-0
FAIL
6000.42
T-edau-1
FAIL
6000.42
T-edau-2
FAIL
6000.42
T-edau-3
FAIL
6000.42
T-edau-4
FAIL
6000.42
T-edau-5
FAIL
6000.42
T-edau-6
FAIL
6000.42
T-edau-7
FAIL
6000.42
T-edau-8
FAIL
6000.42
T-edau-9
FAIL
6000.42
sortnetsort10.v.stepl.005
FAIL
6000.42
sortnetsort10.v.stepl.006
FAIL
6000.42
sortnetsort10.v.stepl.007
FAIL
6000.42
sortnetsort9.v.stepl.006
FAIL
6000.42
sortnetsort9.v.stepl.007
FAIL
6000.42
x115.1
FAIL
6001.44
x75.9
FAIL
6002.91
Contact
|
Organization
|
Links
|
Citing QBFLIB