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
semprop
QBFEVAL'06
Instance
Result
Time
3qbf-5cnf-80var-320cl.1
SAT
0
5qbf-5cnf-80var-640cl.7
SAT
0
ncf_4_8_2_euad.8
SAT
0
5qbf-5cnf-40var-1280cl.0
UNSAT
0
2qbf-5cnf-40var-640cl.1
UNSAT
0
3qbf-5cnf-40var-320cl.7
SAT
0
6qbf-5cnf-20var-640cl.5
UNSAT
0
ncf_4_8_4_euad.9
SAT
0
6qbf-5cnf-20var-640cl.7
UNSAT
0
6qbf-5cnf-40var-640cl.4
UNSAT
0
lut4_3_fAND
FAIL
0
5qbf-5cnf-160var-640cl.3
SAT
0
5qbf-5cnf-160var-640cl.1
SAT
0
6qbf-5cnf-20var-640cl.0
UNSAT
0
k_poly_n-4
SAT
0
ncf_8_16_4_edau.2
UNSAT
0
3qbf-5cnf-80var-320cl.9
SAT
0
3qbf-5cnf-80var-320cl.7
SAT
0
4qbf-5cnf-20var-640cl.8
UNSAT
0
ncf_16_32_2_u.9
UNSAT
0
6qbf-5cnf-20var-320cl.8
UNSAT
0
4qbf-5cnf-80var-2560cl.4
UNSAT
0
3qbf-5cnf-20var-160cl.0
SAT
0
5qbf-5cnf-20var-640cl.1
UNSAT
0
5qbf-5cnf-160var-640cl.4
SAT
0
3qbf-5cnf-80var-320cl.0
SAT
0
ncf_4_8_4_u.9
SAT
0
4qbf-5cnf-20var-320cl.8
UNSAT
0
3qbf-5cnf-20var-320cl.0
UNSAT
0
ncf_4_8_2_u.9
SAT
0
4qbf-5cnf-40var-640cl.5
UNSAT
0
6qbf-5cnf-20var-320cl.6
UNSAT
0
4qbf-5cnf-20var-640cl.5
UNSAT
0
4qbf-5cnf-20var-320cl.2
UNSAT
0
4qbf-5cnf-20var-640cl.6
UNSAT
0
3qbf-5cnf-20var-160cl.4
SAT
0
2qbf-5cnf-80var-1280cl.6
UNSAT
0
ncf_4_8_2_u.4
UNSAT
0
ncf_8_16_4_edau.1
SAT
0
5qbf-5cnf-20var-640cl.3
UNSAT
0
3qbf-5cnf-40var-640cl.9
UNSAT
0
5qbf-5cnf-20var-640cl.2
UNSAT
0
6qbf-5cnf-20var-640cl.6
UNSAT
0
tree-exa2-50
UNSAT
0
3qbf-5cnf-40var-640cl.7
UNSAT
0
ncf_4_16_2_euad.6
SAT
0
6qbf-5cnf-160var-640cl.8
SAT
0
6qbf-5cnf-20var-640cl.8
UNSAT
0
6qbf-5cnf-20var-640cl.9
UNSAT
0
6qbf-5cnf-160var-640cl.9
SAT
0
4qbf-5cnf-40var-1280cl.0
UNSAT
0
ncf_4_16_2_d.9
SAT
0
ncf_8_16_4_u.1
SAT
0
5qbf-5cnf-160var-640cl.2
SAT
0
5qbf-5cnf-40var-1280cl.4
UNSAT
0
2qbf-5cnf-40var-640cl.5
UNSAT
0
5qbf-5cnf-20var-640cl.6
UNSAT
0
ncf_4_8_2_u.5
SAT
0
6qbf-5cnf-160var-640cl.4
SAT
0
6qbf-5cnf-160var-640cl.7
SAT
0
3qbf-5cnf-20var-160cl.1
SAT
0
6qbf-5cnf-160var-640cl.1
SAT
0
3qbf-5cnf-160var-640cl.7
SAT
0
ncf_4_8_4_euad.2
UNSAT
0
ncf_16_32_2_d.9
UNSAT
0
3qbf-5cnf-160var-640cl.9
SAT
0
4qbf-5cnf-40var-640cl.8
UNSAT
0
3qbf-5cnf-80var-320cl.2
SAT
0
3qbf-5cnf-80var-320cl.4
SAT
0
4qbf-5cnf-80var-1280cl.4
UNSAT
0
2qbf-5cnf-40var-640cl.3
UNSAT
0
6qbf-5cnf-160var-640cl.0
SAT
0
ncf_4_8_2_euad.5
SAT
0
4qbf-5cnf-20var-320cl.7
UNSAT
0
4qbf-5cnf-20var-640cl.2
UNSAT
0
4qbf-5cnf-80var-1280cl.2
UNSAT
0
2qbf-5cnf-40var-640cl.0
UNSAT
0
5qbf-5cnf-20var-640cl.9
UNSAT
0
2qbf-5cnf-80var-1280cl.8
UNSAT
0
5qbf-5cnf-40var-640cl.8
UNSAT
0
5qbf-5cnf-80var-640cl.8
SAT
0
ncf_8_16_4_d.2
UNSAT
0
4qbf-5cnf-20var-640cl.3
UNSAT
0
5qbf-5cnf-160var-640cl.7
SAT
0
3qbf-5cnf-80var-320cl.6
SAT
0
3qbf-5cnf-160var-640cl.1
SAT
0
3qbf-5cnf-160var-640cl.5
SAT
0
ncf_4_8_2_u.2
SAT
0
5qbf-5cnf-20var-640cl.4
UNSAT
0
6qbf-5cnf-40var-1280cl.7
UNSAT
0
2qbf-5cnf-40var-640cl.8
UNSAT
0
2qbf-5cnf-40var-320cl.9
UNSAT
0
3qbf-5cnf-160var-640cl.4
SAT
0
2qbf-5cnf-40var-640cl.4
UNSAT
0
ncf_4_8_4_u.2
UNSAT
0
5qbf-5cnf-40var-320cl.4
SAT
0
x10.8
UNSAT
0
x10.9
UNSAT
0
x5.0
SAT
0
x5.2
UNSAT
0
x5.5
UNSAT
0
x5.8
UNSAT
0
x5.9
UNSAT
0
eijk.bs1512.S-d2
SAT
0
eijk.S208c.S-d2
SAT
0
eijk.S208o.S-d2
SAT
0
eijk.S344.S-d2
SAT
0
eijk.S349.S-d2
SAT
0
eijk.S382.S-d2
SAT
0
eijk.S444.S-d2
SAT
0
eijk.S526.S-d2
SAT
0
eijk.S953.S-d2
SAT
0
vis.bakery.E-d2
SAT
0
Qq2k1k4v40v40m2s0
SAT
0
Qq2k1k4v40v40m2s1
SAT
0
Qq2k1k4v40v40m2s3
SAT
0
Qq2k1k4v40v40m2s5
SAT
0
Qq2k1k4v40v40m2s6
SAT
0
Qq2k1k4v40v40m2s9
SAT
0
Qq2k1k4v40v40m4s1
SAT
0
Qq2k1k4v40v40m4s2
UNSAT
0
Qq2k1k4v40v40m4s3
SAT
0
Qq2k1k4v40v40m4s4
SAT
0
Qq2k1k4v40v40m4s7
SAT
0
Qq2k1k4v40v40m4s8
SAT
0
Qq2k1k4v40v40m4s9
SAT
0
Qq2k1k4v40v40m8s1
SAT
0
Qq2k1k4v40v40m8s3
SAT
0
Qq2k1k4v40v40m8s4
SAT
0
Qq2k1k4v40v40m8s5
SAT
0
Qq2k1k4v40v40m8s6
UNSAT
0
Qq2k1k4v40v40m8s7
SAT
0
Qq2k1k4v40v40m8s8
SAT
0
Qq2k1k4v40v40m8s9
SAT
0
Qq2k1k4v40v40m16s1
SAT
0
Qq2k1k4v40v40m16s2
UNSAT
0
Qq2k1k4v40v40m16s3
UNSAT
0
Qq2k1k4v40v40m16s4
SAT
0
Qq2k1k4v40v40m16s5
SAT
0
Qq2k1k4v40v40m16s6
UNSAT
0
Qq2k1k4v40v40m16s8
SAT
0
Qq2k1k4v40v40m32s0
UNSAT
0
Qq2k1k4v40v40m32s4
UNSAT
0
Qq2k1k4v40v40m32s6
UNSAT
0
Qq2k1k4v40v40m32s8
UNSAT
0
Qq2k1k4v40v40m32s9
UNSAT
0
Qq2k1k4v80v80m2s3
SAT
0
Qq2k1k4v80v80m2s4
SAT
0
Qq2k1k4v80v80m2s7
SAT
0
Qq2k1k4v80v80m2s8
SAT
0
Qq2k1k4v80v80m2s9
SAT
0
Qq2k1k4v80v80m4s0
SAT
0
Qq2k1k4v80v80m4s1
SAT
0
Qq2k1k4v80v80m4s2
SAT
0
Qq2k1k4v80v80m4s3
SAT
0
Qq2k1k4v80v80m4s5
SAT
0
Qq2k1k4v80v80m4s6
SAT
0
Qq2k1k4v80v80m4s7
SAT
0
Qq2k1k4v80v80m4s9
SAT
0
Qq2k1k4v80v80m8s0
SAT
0
Qq2k1k4v80v80m8s1
SAT
0
Qq2k1k4v80v80m8s2
SAT
0
Qq2k1k4v80v80m8s3
SAT
0
Qq2k1k4v80v80m8s5
SAT
0
Qq2k1k4v80v80m8s7
SAT
0
Qq2k1k4v80v80m8s8
SAT
0
Qq2k1k4v80v80m16s2
SAT
0
Qq2k1k4v80v80m16s3
UNSAT
0
Qq2k1k4v80v80m16s4
SAT
0
Qq2k1k4v80v80m16s5
SAT
0
Qq2k1k4v80v80m16s7
SAT
0
Qq2k1k4v80v80m16s8
UNSAT
0
Qq2k1k4v80v80m16s9
SAT
0
Qq2k1k4v80v80m32s2
UNSAT
0
Qq2k1k4v80v80m32s3
UNSAT
0
Qq2k1k4v80v80m32s5
UNSAT
0
Qq2k1k4v80v80m32s7
SAT
0
Qq2k1k4v80v80m32s8
UNSAT
0
Qq2k1k4v80v80m32s9
UNSAT
0
Qq2k2k3v40v40m2s0
SAT
0
Qq2k2k3v40v40m2s2
SAT
0
Qq2k2k3v40v40m2s3
SAT
0
Qq2k2k3v40v40m2s4
SAT
0
Qq2k2k3v40v40m2s5
SAT
0
Qq2k2k3v40v40m2s7
SAT
0
Qq2k2k3v40v40m2s8
SAT
0
Qq2k2k3v40v40m2s9
SAT
0
Qq2k2k3v40v40m4s0
SAT
0
Qq2k2k3v40v40m4s4
SAT
0
Qq2k2k3v40v40m4s5
SAT
0
Qq2k2k3v40v40m4s7
SAT
0
Qq2k2k3v40v40m4s9
SAT
0
Qq2k2k3v40v40m8s0
SAT
0
Qq2k2k3v40v40m8s1
SAT
0
Qq2k2k3v40v40m8s2
SAT
0
Qq2k2k3v40v40m8s3
SAT
0
Qq2k2k3v40v40m8s4
SAT
0
Qq2k2k3v40v40m8s5
SAT
0
Qq2k2k3v40v40m8s6
SAT
0
Qq2k2k3v40v40m8s9
SAT
0
Qq2k2k3v40v40m16s0
SAT
0
Qq2k2k3v40v40m16s2
SAT
0
Qq2k2k3v40v40m16s4
SAT
0
Qq2k2k3v40v40m16s6
SAT
0
Qq2k2k3v40v40m16s7
SAT
0
Qq2k2k3v40v40m32s2
SAT
0
Qq2k2k3v40v40m32s3
SAT
0
Qq2k2k3v40v40m32s7
SAT
0
Qq2k2k3v80v80m2s2
SAT
0
Qq2k2k3v80v80m2s3
SAT
0
Qq2k2k3v80v80m2s4
SAT
0
Qq2k2k3v80v80m2s6
SAT
0
Qq2k2k3v80v80m2s8
SAT
0
Qq2k2k3v80v80m2s9
SAT
0
Qq2k2k3v80v80m4s0
SAT
0
Qq2k2k3v80v80m4s1
SAT
0
Qq2k2k3v80v80m4s4
SAT
0
Qq2k2k3v80v80m4s6
SAT
0
Qq2k2k3v80v80m4s7
SAT
0
Qq2k2k3v80v80m8s0
SAT
0
Qq2k2k3v80v80m8s1
SAT
0
Qq2k2k3v80v80m8s2
SAT
0
Qq2k2k3v80v80m8s3
SAT
0
Qq2k2k3v80v80m8s4
SAT
0
Qq2k2k3v80v80m8s5
SAT
0
Qq2k2k3v80v80m8s7
SAT
0
Qq2k2k3v80v80m8s8
SAT
0
Qq2k2k3v80v80m16s1
SAT
0
Qq2k2k3v80v80m16s2
SAT
0
Qq2k2k3v80v80m16s3
SAT
0
Qq2k2k3v80v80m16s5
SAT
0
Qq2k2k3v80v80m16s7
SAT
0
Qq2k2k3v80v80m16s8
SAT
0
Qq2k2k3v80v80m16s9
SAT
0
Qq2k2k3v80v80m32s0
SAT
0
Qq2k2k3v80v80m32s1
SAT
0
Qq2k2k3v80v80m32s2
SAT
0
Qq2k2k3v80v80m32s3
SAT
0
Qq2k2k3v80v80m32s4
SAT
0
Qq2k2k3v80v80m32s6
SAT
0
Qq2k2k3v80v80m32s8
SAT
0
Qq2k2k3v80v80m32s9
SAT
0
Qq2k3k2v40v40m2s2
SAT
0
Qq2k3k2v40v40m2s5
SAT
0
Qq2k3k2v40v40m2s6
SAT
0
Qq2k3k2v40v40m2s7
SAT
0
Qq2k3k2v40v40m2s8
SAT
0
Qq2k3k2v40v40m2s9
SAT
0
Qq2k3k2v40v40m4s0
SAT
0
Qq2k3k2v40v40m4s1
SAT
0
Qq2k3k2v40v40m4s2
SAT
0
Qq2k3k2v40v40m4s3
SAT
0
Qq2k3k2v40v40m4s6
SAT
0
Qq2k3k2v40v40m4s7
SAT
0
Qq2k3k2v40v40m4s9
SAT
0
Qq2k3k2v40v40m8s2
SAT
0
Qq2k3k2v40v40m8s4
SAT
0
Qq2k3k2v40v40m8s5
SAT
0
Qq2k3k2v40v40m8s6
SAT
0
Qq2k3k2v40v40m8s7
SAT
0
Qq2k3k2v40v40m8s8
SAT
0
Qq2k3k2v40v40m16s0
SAT
0
Qq2k3k2v40v40m16s1
SAT
0
Qq2k3k2v40v40m16s2
SAT
0
Qq2k3k2v40v40m16s4
SAT
0
Qq2k3k2v40v40m16s6
SAT
0
Qq2k3k2v40v40m16s7
SAT
0
Qq2k3k2v40v40m16s8
SAT
0
Qq2k3k2v40v40m16s9
SAT
0
Qq2k3k2v40v40m32s0
SAT
0
Qq2k3k2v40v40m32s2
SAT
0
Qq2k3k2v40v40m32s4
SAT
0
Qq2k3k2v40v40m32s5
SAT
0
Qq2k3k2v40v40m32s6
SAT
0
Qq2k3k2v40v40m32s7
SAT
0
Qq2k3k2v40v40m32s9
SAT
0
Qq2k3k2v80v80m2s0
SAT
0
Qq2k3k2v80v80m2s1
SAT
0
Qq2k3k2v80v80m2s2
SAT
0
Qq2k3k2v80v80m2s3
SAT
0
Qq2k3k2v80v80m2s5
SAT
0
Qq2k3k2v80v80m2s6
SAT
0
Qq2k3k2v80v80m2s8
SAT
0
Qq2k3k2v80v80m2s9
SAT
0
Qq2k3k2v80v80m4s0
SAT
0
Qq2k3k2v80v80m4s1
SAT
0
Qq2k3k2v80v80m4s2
SAT
0
Qq2k3k2v80v80m4s5
SAT
0
Qq2k3k2v80v80m4s6
SAT
0
Qq2k3k2v80v80m4s7
SAT
0
Qq2k3k2v80v80m4s8
SAT
0
Qq2k3k2v80v80m8s0
SAT
0
Qq2k3k2v80v80m8s1
SAT
0
Qq2k3k2v80v80m8s2
SAT
0
Qq2k3k2v80v80m8s3
SAT
0
Qq2k3k2v80v80m8s7
SAT
0
Qq2k3k2v80v80m16s0
SAT
0
Qq2k3k2v80v80m16s2
SAT
0
Qq2k3k2v80v80m16s4
SAT
0
Qq2k3k2v80v80m16s5
SAT
0
Qq2k3k2v80v80m16s8
SAT
0
Qq2k3k2v80v80m16s9
SAT
0
Qq2k3k2v80v80m32s0
SAT
0
Qq2k3k2v80v80m32s1
SAT
0
Qq2k3k2v80v80m32s2
SAT
0
Qq2k3k2v80v80m32s4
SAT
0
Qq2k3k2v80v80m32s5
SAT
0
Qq2k3k2v80v80m32s6
SAT
0
Qq2k3k2v80v80m32s7
SAT
0
Qq2k3k2v80v80m32s8
SAT
0
Qq3k1k1k3v40v40v40m2s0
FAIL
0
Qq3k1k1k3v40v40v40m2s2
FAIL
0
Qq3k1k1k3v40v40v40m2s5
FAIL
0
Qq3k1k1k3v40v40v40m2s6
FAIL
0
Qq3k1k1k3v40v40v40m2s7
FAIL
0
Qq3k1k1k3v40v40v40m2s8
FAIL
0
Qq3k1k1k3v40v40v40m4s2
SAT
0
Qq3k1k1k3v40v40v40m4s4
SAT
0
Qq3k1k1k3v40v40v40m4s5
SAT
0
Qq3k1k1k3v40v40v40m4s6
SAT
0
Qq3k1k1k3v40v40v40m4s9
SAT
0
Qq3k1k1k3v40v40v40m8s0
SAT
0
Qq3k1k1k3v40v40v40m8s1
SAT
0
Qq3k1k1k3v40v40v40m8s2
SAT
0
Qq3k1k1k3v40v40v40m8s3
SAT
0
Qq3k1k1k3v40v40v40m8s4
SAT
0
Qq3k1k1k3v40v40v40m8s8
SAT
0
Qq3k1k1k3v40v40v40m8s9
SAT
0
Qq3k1k1k3v40v40v40m16s1
SAT
0
Qq3k1k1k3v40v40v40m16s3
SAT
0
Qq3k1k1k3v40v40v40m16s6
SAT
0
Qq3k1k1k3v40v40v40m16s8
SAT
0
Qq3k1k1k3v40v40v40m16s9
SAT
0
Qq3k1k1k3v40v40v40m32s0
SAT
0
Qq3k1k1k3v40v40v40m32s3
SAT
0
Qq3k1k1k3v40v40v40m32s4
SAT
0
Qq3k1k1k3v40v40v40m32s5
SAT
0
Qq3k1k1k3v40v40v40m32s6
SAT
0
Qq3k1k1k3v40v40v40m32s7
SAT
0
Qq3k1k1k3v40v40v40m32s8
SAT
0
Qq3k1k1k3v40v40v40m32s9
SAT
0
Qq3k1k1k3v80v80v80m2s0
FAIL
0
Qq3k1k1k3v80v80v80m2s3
FAIL
0
Qq3k1k1k3v80v80v80m2s4
SAT
0
Qq3k1k1k3v80v80v80m2s5
FAIL
0
Qq3k1k1k3v80v80v80m2s6
FAIL
0
Qq3k1k1k3v80v80v80m2s9
FAIL
0
Qq3k1k1k3v80v80v80m4s0
SAT
0
Qq3k1k1k3v80v80v80m4s1
SAT
0
Qq3k1k1k3v80v80v80m4s2
SAT
0
Qq3k1k1k3v80v80v80m4s3
SAT
0
Qq3k1k1k3v80v80v80m4s5
SAT
0
Qq3k1k1k3v80v80v80m4s7
SAT
0
Qq3k1k1k3v80v80v80m4s9
SAT
0
Qq3k1k1k3v80v80v80m8s1
SAT
0
Qq3k1k1k3v80v80v80m8s2
SAT
0
Qq3k1k1k3v80v80v80m8s4
SAT
0
Qq3k1k1k3v80v80v80m8s5
SAT
0
Qq3k1k1k3v80v80v80m8s9
SAT
0
Qq3k1k1k3v80v80v80m16s1
SAT
0
Qq3k1k1k3v80v80v80m16s2
SAT
0
Qq3k1k1k3v80v80v80m16s5
SAT
0
Qq3k1k1k3v80v80v80m16s8
SAT
0
Qq3k1k1k3v80v80v80m32s0
SAT
0
Qq3k1k1k3v80v80v80m32s2
SAT
0
Qq3k1k1k3v80v80v80m32s3
SAT
0
Qq3k1k1k3v80v80v80m32s4
SAT
0
Qq3k1k1k3v80v80v80m32s5
SAT
0
Qq3k1k1k3v80v80v80m32s6
SAT
0
Qq3k1k1k3v80v80v80m32s7
SAT
0
Qq3k1k1k3v80v80v80m32s8
SAT
0
Qq3k1k2k2v40v40v40m2s0
FAIL
0
Qq3k1k2k2v40v40v40m2s2
FAIL
0
Qq3k1k2k2v40v40v40m2s3
FAIL
0
Qq3k1k2k2v40v40v40m2s4
FAIL
0
Qq3k1k2k2v40v40v40m2s5
FAIL
0
Qq3k1k2k2v40v40v40m2s6
FAIL
0
Qq3k1k2k2v40v40v40m2s7
FAIL
0
Qq3k1k2k2v40v40v40m4s0
SAT
0
Qq3k1k2k2v40v40v40m4s5
SAT
0
Qq3k1k2k2v40v40v40m4s6
SAT
0
Qq3k1k2k2v40v40v40m4s8
SAT
0
Qq3k1k2k2v40v40v40m4s9
SAT
0
Qq3k1k2k2v40v40v40m8s0
SAT
0
Qq3k1k2k2v40v40v40m8s5
SAT
0
Qq3k1k2k2v40v40v40m8s6
SAT
0
Qq3k1k2k2v40v40v40m8s7
SAT
0
Qq3k1k2k2v40v40v40m8s8
SAT
0
Qq3k1k2k2v40v40v40m8s9
SAT
0
Qq3k1k2k2v40v40v40m16s0
SAT
0
Qq3k1k2k2v40v40v40m16s1
SAT
0
Qq3k1k2k2v40v40v40m16s7
SAT
0
Qq3k1k2k2v40v40v40m16s8
SAT
0
Qq3k1k2k2v40v40v40m32s1
SAT
0
Qq3k1k2k2v40v40v40m32s2
SAT
0
Qq3k1k2k2v40v40v40m32s3
SAT
0
Qq3k1k2k2v40v40v40m32s5
SAT
0
Qq3k1k2k2v40v40v40m32s6
SAT
0
Qq3k1k2k2v40v40v40m32s8
SAT
0
Qq3k1k2k2v40v40v40m32s9
SAT
0
Qq3k1k2k2v80v80v80m2s0
FAIL
0
Qq3k1k2k2v80v80v80m2s4
FAIL
0
Qq3k1k2k2v80v80v80m2s6
FAIL
0
Qq3k1k2k2v80v80v80m2s7
FAIL
0
Qq3k1k2k2v80v80v80m2s9
FAIL
0
Qq3k1k2k2v80v80v80m4s0
SAT
0
Qq3k1k2k2v80v80v80m4s2
SAT
0
Qq3k1k2k2v80v80v80m4s4
SAT
0
Qq3k1k2k2v80v80v80m4s5
SAT
0
Qq3k1k2k2v80v80v80m4s7
SAT
0
Qq3k1k2k2v80v80v80m4s8
SAT
0
Qq3k1k2k2v80v80v80m4s9
SAT
0
Qq3k1k2k2v80v80v80m8s0
SAT
0
Qq3k1k2k2v80v80v80m8s1
SAT
0
Qq3k1k2k2v80v80v80m8s2
SAT
0
Qq3k1k2k2v80v80v80m8s4
SAT
0
Qq3k1k2k2v80v80v80m8s6
SAT
0
Qq3k1k2k2v80v80v80m8s7
SAT
0
Qq3k1k2k2v80v80v80m8s8
SAT
0
Qq3k1k2k2v80v80v80m8s9
SAT
0
Qq3k1k2k2v80v80v80m16s0
SAT
0
Qq3k1k2k2v80v80v80m16s1
SAT
0
Qq3k1k2k2v80v80v80m16s2
SAT
0
Qq3k1k2k2v80v80v80m16s8
SAT
0
Qq3k1k2k2v80v80v80m16s9
SAT
0
Qq3k1k2k2v80v80v80m32s1
SAT
0
Qq3k1k2k2v80v80v80m32s3
SAT
0
Qq3k1k2k2v80v80v80m32s4
SAT
0
Qq3k1k2k2v80v80v80m32s6
SAT
0
Qq3k1k2k2v80v80v80m32s8
SAT
0
Qq3k1k3k1v40v40v40m2s1
FAIL
0
Qq3k1k3k1v40v40v40m2s2
FAIL
0
Qq3k1k3k1v40v40v40m2s3
FAIL
0
Qq3k1k3k1v40v40v40m2s5
FAIL
0
Qq3k1k3k1v40v40v40m2s6
FAIL
0
Qq3k1k3k1v40v40v40m2s7
FAIL
0
Qq3k1k3k1v40v40v40m2s8
FAIL
0
Qq3k1k3k1v40v40v40m2s9
FAIL
0
Qq3k1k3k1v40v40v40m4s0
SAT
0
Qq3k1k3k1v40v40v40m4s1
SAT
0
Qq3k1k3k1v40v40v40m4s2
SAT
0
Qq3k1k3k1v40v40v40m4s3
SAT
0
Qq3k1k3k1v40v40v40m4s4
SAT
0
Qq3k1k3k1v40v40v40m4s5
SAT
0
Qq3k1k3k1v40v40v40m4s6
SAT
0
Qq3k1k3k1v40v40v40m4s7
SAT
0
Qq3k1k3k1v40v40v40m4s8
SAT
0
Qq3k1k3k1v40v40v40m4s9
SAT
0
Qq3k1k3k1v40v40v40m8s0
SAT
0
Qq3k1k3k1v40v40v40m8s1
SAT
0
Qq3k1k3k1v40v40v40m8s2
SAT
0
Qq3k1k3k1v40v40v40m8s8
SAT
0
Qq3k1k3k1v40v40v40m16s2
SAT
0
Qq3k1k3k1v40v40v40m16s5
SAT
0
Qq3k1k3k1v40v40v40m16s6
SAT
0
Qq3k1k3k1v40v40v40m16s8
SAT
0
Qq3k1k3k1v40v40v40m16s9
SAT
0
Qq3k1k3k1v40v40v40m32s1
SAT
0
Qq3k1k3k1v40v40v40m32s3
SAT
0
Qq3k1k3k1v40v40v40m32s4
SAT
0
Qq3k1k3k1v40v40v40m32s5
SAT
0
Qq3k1k3k1v40v40v40m32s7
SAT
0
Qq3k1k3k1v40v40v40m32s8
SAT
0
Qq3k1k3k1v40v40v40m32s9
SAT
0
Qq3k1k3k1v80v80v80m2s0
FAIL
0
Qq3k1k3k1v80v80v80m2s2
FAIL
0
Qq3k1k3k1v80v80v80m2s3
FAIL
0
Qq3k1k3k1v80v80v80m2s5
FAIL
0
Qq3k1k3k1v80v80v80m2s6
FAIL
0
Qq3k1k3k1v80v80v80m2s7
FAIL
0
Qq3k1k3k1v80v80v80m2s8
FAIL
0
Qq3k1k3k1v80v80v80m4s1
SAT
0
Qq3k1k3k1v80v80v80m4s2
SAT
0
Qq3k1k3k1v80v80v80m4s3
SAT
0
Qq3k1k3k1v80v80v80m4s5
SAT
0
Qq3k1k3k1v80v80v80m4s8
SAT
0
Qq3k1k3k1v80v80v80m8s3
SAT
0
Qq3k1k3k1v80v80v80m8s4
SAT
0
Qq3k1k3k1v80v80v80m8s5
SAT
0
Qq3k1k3k1v80v80v80m8s8
SAT
0
Qq3k1k3k1v80v80v80m16s2
SAT
0
Qq3k1k3k1v80v80v80m16s4
SAT
0
Qq3k1k3k1v80v80v80m16s5
SAT
0
Qq3k1k3k1v80v80v80m16s6
SAT
0
Qq3k1k3k1v80v80v80m16s8
SAT
0
Qq3k1k3k1v80v80v80m32s0
SAT
0
Qq3k1k3k1v80v80v80m32s1
SAT
0
Qq3k1k3k1v80v80v80m32s2
SAT
0
Qq3k1k3k1v80v80v80m32s5
SAT
0
Qq3k1k3k1v80v80v80m32s6
SAT
0
Qq3k1k3k1v80v80v80m32s7
SAT
0
Qq3k1k3k1v80v80v80m32s8
SAT
0
Qq3k1k3k1v80v80v80m32s9
SAT
0
Qq3k2k1k2v40v40v40m2s2
FAIL
0
Qq3k2k1k2v40v40v40m2s3
FAIL
0
Qq3k2k1k2v40v40v40m2s4
FAIL
0
Qq3k2k1k2v40v40v40m2s5
SAT
0
Qq3k2k1k2v40v40v40m2s6
FAIL
0
Qq3k2k1k2v40v40v40m2s8
FAIL
0
Qq3k2k1k2v40v40v40m2s9
FAIL
0
Qq3k2k1k2v40v40v40m4s0
SAT
0
Qq3k2k1k2v40v40v40m4s1
SAT
0
Qq3k2k1k2v40v40v40m4s7
SAT
0
Qq3k2k1k2v40v40v40m4s8
SAT
0
Qq3k2k1k2v40v40v40m4s9
SAT
0
Qq3k2k1k2v40v40v40m8s0
SAT
0
Qq3k2k1k2v40v40v40m8s3
SAT
0
Qq3k2k1k2v40v40v40m8s4
SAT
0
Qq3k2k1k2v40v40v40m8s5
SAT
0
Qq3k2k1k2v40v40v40m8s7
SAT
0
Qq3k2k1k2v40v40v40m8s9
SAT
0
Qq3k2k1k2v40v40v40m16s6
SAT
0
Qq3k2k1k2v40v40v40m16s7
SAT
0
Qq3k2k1k2v40v40v40m16s8
SAT
0
Qq3k2k1k2v40v40v40m16s9
SAT
0
Qq3k2k1k2v40v40v40m32s0
SAT
0
Qq3k2k1k2v40v40v40m32s1
SAT
0
Qq3k2k1k2v40v40v40m32s3
SAT
0
Qq3k2k1k2v40v40v40m32s4
SAT
0
Qq3k2k1k2v40v40v40m32s6
SAT
0
Qq3k2k1k2v40v40v40m32s8
SAT
0
Qq3k2k1k2v40v40v40m32s9
SAT
0
Qq3k2k1k2v80v80v80m2s0
FAIL
0
Qq3k2k1k2v80v80v80m2s2
FAIL
0
Qq3k2k1k2v80v80v80m2s5
SAT
0
Qq3k2k1k2v80v80v80m4s0
SAT
0
Qq3k2k1k2v80v80v80m4s2
SAT
0
Qq3k2k1k2v80v80v80m4s3
SAT
0
Qq3k2k1k2v80v80v80m4s5
SAT
0
Qq3k2k1k2v80v80v80m4s6
SAT
0
Qq3k2k1k2v80v80v80m4s7
SAT
0
Qq3k2k1k2v80v80v80m4s9
SAT
0
Qq3k2k1k2v80v80v80m8s0
SAT
0
Qq3k2k1k2v80v80v80m8s1
SAT
0
Qq3k2k1k2v80v80v80m8s4
SAT
0
Qq3k2k1k2v80v80v80m8s8
SAT
0
Qq3k2k1k2v80v80v80m16s0
SAT
0
Qq3k2k1k2v80v80v80m16s2
SAT
0
Qq3k2k1k2v80v80v80m16s5
SAT
0
Qq3k2k1k2v80v80v80m16s6
SAT
0
Qq3k2k1k2v80v80v80m16s7
SAT
0
Qq3k2k1k2v80v80v80m16s8
SAT
0
Qq3k2k1k2v80v80v80m16s9
SAT
0
Qq3k2k1k2v80v80v80m32s3
SAT
0
Qq3k2k1k2v80v80v80m32s5
SAT
0
Qq3k2k1k2v80v80v80m32s6
SAT
0
Qq3k2k1k2v80v80v80m32s7
SAT
0
Qq3k2k1k2v80v80v80m32s9
SAT
0
Qq3k2k2k1v40v40v40m2s0
FAIL
0
Qq3k2k2k1v40v40v40m2s2
FAIL
0
Qq3k2k2k1v40v40v40m2s3
FAIL
0
Qq3k2k2k1v40v40v40m2s7
FAIL
0
Qq3k2k2k1v40v40v40m2s8
FAIL
0
Qq3k2k2k1v40v40v40m4s1
SAT
0
Qq3k2k2k1v40v40v40m4s3
SAT
0
Qq3k2k2k1v40v40v40m4s6
SAT
0
Qq3k2k2k1v40v40v40m4s7
SAT
0
Qq3k2k2k1v40v40v40m4s8
SAT
0
Qq3k2k2k1v40v40v40m4s9
SAT
0
Qq3k2k2k1v40v40v40m8s1
SAT
0
Qq3k2k2k1v40v40v40m8s2
SAT
0
Qq3k2k2k1v40v40v40m8s3
SAT
0
Qq3k2k2k1v40v40v40m8s4
SAT
0
Qq3k2k2k1v40v40v40m8s6
SAT
0
Qq3k2k2k1v40v40v40m8s7
SAT
0
Qq3k2k2k1v40v40v40m8s8
SAT
0
Qq3k2k2k1v40v40v40m8s9
SAT
0
Qq3k2k2k1v40v40v40m16s1
SAT
0
Qq3k2k2k1v40v40v40m16s2
SAT
0
Qq3k2k2k1v40v40v40m16s3
SAT
0
Qq3k2k2k1v40v40v40m16s5
SAT
0
Qq3k2k2k1v40v40v40m16s6
SAT
0
Qq3k2k2k1v40v40v40m16s7
SAT
0
Qq3k2k2k1v40v40v40m16s8
SAT
0
Qq3k2k2k1v40v40v40m32s0
SAT
0
Qq3k2k2k1v40v40v40m32s1
SAT
0
Qq3k2k2k1v40v40v40m32s2
SAT
0
Qq3k2k2k1v40v40v40m32s4
SAT
0
Qq3k2k2k1v40v40v40m32s6
SAT
0
Qq3k2k2k1v40v40v40m32s7
SAT
0
Qq3k2k2k1v40v40v40m32s9
SAT
0
Qq3k2k2k1v80v80v80m2s0
FAIL
0
Qq3k2k2k1v80v80v80m2s1
SAT
0
Qq3k2k2k1v80v80v80m2s2
FAIL
0
Qq3k2k2k1v80v80v80m2s5
SAT
0
Qq3k2k2k1v80v80v80m2s9
FAIL
0
Qq3k2k2k1v80v80v80m4s0
SAT
0
Qq3k2k2k1v80v80v80m4s1
SAT
0
Qq3k2k2k1v80v80v80m4s2
SAT
0
Qq3k2k2k1v80v80v80m4s4
SAT
0
Qq3k2k2k1v80v80v80m4s5
SAT
0
Qq3k2k2k1v80v80v80m4s6
SAT
0
Qq3k2k2k1v80v80v80m4s9
SAT
0
Qq3k2k2k1v80v80v80m8s0
SAT
0
Qq3k2k2k1v80v80v80m8s1
SAT
0
Qq3k2k2k1v80v80v80m8s3
SAT
0
Qq3k2k2k1v80v80v80m8s4
SAT
0
Qq3k2k2k1v80v80v80m8s5
SAT
0
Qq3k2k2k1v80v80v80m8s6
SAT
0
Qq3k2k2k1v80v80v80m8s7
SAT
0
Qq3k2k2k1v80v80v80m8s9
SAT
0
Qq3k2k2k1v80v80v80m16s2
SAT
0
Qq3k2k2k1v80v80v80m16s3
SAT
0
Qq3k2k2k1v80v80v80m16s6
SAT
0
Qq3k2k2k1v80v80v80m16s7
SAT
0
Qq3k2k2k1v80v80v80m16s8
SAT
0
Qq3k2k2k1v80v80v80m32s2
SAT
0
Qq3k2k2k1v80v80v80m32s5
SAT
0
Qq3k2k2k1v80v80v80m32s6
SAT
0
Qq3k2k2k1v80v80v80m32s7
SAT
0
Qq3k2k2k1v80v80v80m32s8
SAT
0
Qq3k3k1k1v40v40v40m2s0
FAIL
0
Qq3k3k1k1v40v40v40m2s2
SAT
0
Qq3k3k1k1v40v40v40m2s4
FAIL
0
Qq3k3k1k1v40v40v40m2s5
SAT
0
Qq3k3k1k1v40v40v40m2s6
FAIL
0
Qq3k3k1k1v40v40v40m2s7
FAIL
0
Qq3k3k1k1v40v40v40m2s9
FAIL
0
Qq3k3k1k1v40v40v40m4s0
SAT
0
Qq3k3k1k1v40v40v40m4s2
SAT
0
Qq3k3k1k1v40v40v40m4s3
SAT
0
Qq3k3k1k1v40v40v40m4s4
SAT
0
Qq3k3k1k1v40v40v40m8s0
SAT
0
Qq3k3k1k1v40v40v40m8s2
SAT
0
Qq3k3k1k1v40v40v40m8s3
SAT
0
Qq3k3k1k1v40v40v40m8s4
SAT
0
Qq3k3k1k1v40v40v40m8s6
SAT
0
Qq3k3k1k1v40v40v40m8s9
SAT
0
Qq3k3k1k1v40v40v40m16s0
SAT
0
Qq3k3k1k1v40v40v40m16s7
SAT
0
Qq3k3k1k1v40v40v40m16s8
SAT
0
Qq3k3k1k1v40v40v40m32s2
SAT
0
Qq3k3k1k1v40v40v40m32s3
SAT
0
Qq3k3k1k1v40v40v40m32s4
SAT
0
Qq3k3k1k1v40v40v40m32s6
SAT
0
Qq3k3k1k1v40v40v40m32s7
SAT
0
Qq3k3k1k1v40v40v40m32s8
SAT
0
Qq3k3k1k1v80v80v80m2s2
FAIL
0
Qq3k3k1k1v80v80v80m2s3
FAIL
0
Qq3k3k1k1v80v80v80m2s7
FAIL
0
Qq3k3k1k1v80v80v80m2s8
FAIL
0
Qq3k3k1k1v80v80v80m2s9
FAIL
0
Qq3k3k1k1v80v80v80m4s1
SAT
0
Qq3k3k1k1v80v80v80m4s2
SAT
0
Qq3k3k1k1v80v80v80m4s3
SAT
0
Qq3k3k1k1v80v80v80m4s5
SAT
0
Qq3k3k1k1v80v80v80m4s7
SAT
0
Qq3k3k1k1v80v80v80m4s8
SAT
0
Qq3k3k1k1v80v80v80m4s9
SAT
0
Qq3k3k1k1v80v80v80m8s0
SAT
0
Qq3k3k1k1v80v80v80m8s1
SAT
0
Qq3k3k1k1v80v80v80m8s2
SAT
0
Qq3k3k1k1v80v80v80m8s5
SAT
0
Qq3k3k1k1v80v80v80m8s6
SAT
0
Qq3k3k1k1v80v80v80m8s8
SAT
0
Qq3k3k1k1v80v80v80m16s0
SAT
0
Qq3k3k1k1v80v80v80m16s1
SAT
0
Qq3k3k1k1v80v80v80m16s2
SAT
0
Qq3k3k1k1v80v80v80m16s3
SAT
0
Qq3k3k1k1v80v80v80m16s4
SAT
0
Qq3k3k1k1v80v80v80m16s7
SAT
0
Qq3k3k1k1v80v80v80m16s8
SAT
0
Qq3k3k1k1v80v80v80m16s9
SAT
0
Qq3k3k1k1v80v80v80m32s0
SAT
0
Qq3k3k1k1v80v80v80m32s2
SAT
0
Qq3k3k1k1v80v80v80m32s3
SAT
0
Qq3k3k1k1v80v80v80m32s5
SAT
0
Qq3k3k1k1v80v80v80m32s6
SAT
0
Qq2k3k2v80v80m32s9
SAT
0
Qq3k3k1k1v80v80v80m32s9
SAT
0
6qbf-5cnf-80var-2560cl.9
UNSAT
0.01
2qbf-5cnf-160var-2560cl.8
UNSAT
0.01
3qbf-5cnf-20var-160cl.9
SAT
0.01
3qbf-5cnf-80var-2560cl.9
UNSAT
0.01
6qbf-5cnf-80var-2560cl.8
UNSAT
0.01
ncf_8_16_4_d.1
SAT
0.01
ncf_16_32_2_edau.6
SAT
0.01
5qbf-5cnf-40var-1280cl.7
UNSAT
0.01
6qbf-5cnf-40var-640cl.9
UNSAT
0.01
5qbf-5cnf-20var-320cl.1
UNSAT
0.01
6qbf-5cnf-40var-1280cl.5
UNSAT
0.01
ncf_4_8_2_u.7
UNSAT
0.01
3qbf-5cnf-20var-320cl.9
UNSAT
0.01
ncf_4_8_2_u.1
UNSAT
0.01
4qbf-5cnf-80var-1280cl.7
UNSAT
0.01
6qbf-5cnf-20var-640cl.4
UNSAT
0.01
ncf_4_16_2_d.6
SAT
0.01
6qbf-5cnf-20var-320cl.5
UNSAT
0.01
5qbf-5cnf-40var-320cl.1
SAT
0.01
6qbf-5cnf-160var-640cl.2
SAT
0.01
3qbf-5cnf-160var-640cl.3
SAT
0.01
ncf_4_8_8_u.9
UNSAT
0.01
6qbf-5cnf-20var-320cl.9
UNSAT
0.01
6qbf-5cnf-40var-1280cl.0
UNSAT
0.01
ncf_4_8_2_euad.4
UNSAT
0.01
2qbf-5cnf-160var-2560cl.5
UNSAT
0.01
4qbf-5cnf-40var-640cl.9
UNSAT
0.01
ncf_4_16_4_u.9
SAT
0.01
ncf_4_8_2_euad.9
SAT
0.01
3qbf-5cnf-80var-2560cl.0
UNSAT
0.01
5qbf-5cnf-40var-640cl.1
UNSAT
0.01
ncf_8_16_4_u.2
UNSAT
0.01
ncf_16_32_2_d.7
UNSAT
0.01
4qbf-5cnf-40var-1280cl.7
UNSAT
0.01
5qbf-5cnf-20var-320cl.2
UNSAT
0.01
ncf_16_32_2_u.6
SAT
0.01
4qbf-5cnf-80var-2560cl.0
UNSAT
0.01
ncf_8_16_4_euad.5
UNSAT
0.01
6qbf-5cnf-20var-320cl.7
UNSAT
0.01
ncf_4_8_4_u.6
SAT
0.01
2qbf-5cnf-80var-1280cl.4
UNSAT
0.01
ncf_4_8_2_euad.1
UNSAT
0.01
4qbf-5cnf-20var-640cl.4
UNSAT
0.01
4qbf-5cnf-40var-1280cl.9
UNSAT
0.01
3qbf-5cnf-160var-640cl.0
SAT
0.01
ncf_8_16_4_edau.5
UNSAT
0.01
ncf_4_16_2_euad.9
SAT
0.01
5qbf-5cnf-20var-640cl.8
UNSAT
0.01
6qbf-5cnf-40var-1280cl.6
UNSAT
0.01
ncf_4_16_2_edau.6
SAT
0.01
4qbf-5cnf-20var-640cl.1
UNSAT
0.01
2qbf-5cnf-80var-1280cl.7
UNSAT
0.01
6qbf-5cnf-160var-5120cl.7
UNSAT
0.01
4qbf-5cnf-40var-1280cl.6
UNSAT
0.01
3qbf-5cnf-20var-160cl.7
SAT
0.01
5qbf-5cnf-40var-1280cl.6
UNSAT
0.01
2qbf-5cnf-80var-1280cl.5
UNSAT
0.01
4qbf-5cnf-20var-640cl.7
UNSAT
0.01
5qbf-5cnf-80var-2560cl.1
UNSAT
0.01
6qbf-5cnf-20var-320cl.0
UNSAT
0.01
6qbf-5cnf-80var-2560cl.0
UNSAT
0.01
5qbf-5cnf-160var-640cl.9
SAT
0.01
5qbf-5cnf-20var-320cl.0
UNSAT
0.01
4qbf-5cnf-40var-640cl.4
UNSAT
0.01
3qbf-5cnf-20var-320cl.2
UNSAT
0.01
4qbf-5cnf-20var-320cl.4
UNSAT
0.01
6qbf-5cnf-40var-1280cl.3
UNSAT
0.01
2qbf-5cnf-80var-1280cl.0
UNSAT
0.01
2qbf-5cnf-80var-1280cl.3
UNSAT
0.01
4qbf-5cnf-20var-320cl.1
UNSAT
0.01
ncf_16_32_2_edau.9
UNSAT
0.01
5qbf-5cnf-40var-320cl.2
SAT
0.01
5qbf-5cnf-20var-640cl.7
UNSAT
0.01
4qbf-5cnf-40var-640cl.2
UNSAT
0.01
2qbf-5cnf-160var-2560cl.4
UNSAT
0.01
5qbf-5cnf-40var-1280cl.3
UNSAT
0.01
4qbf-5cnf-80var-2560cl.8
UNSAT
0.01
4qbf-5cnf-20var-320cl.9
UNSAT
0.01
2qbf-5cnf-80var-320cl.4
UNSAT
0.01
ncf_4_16_2_u.6
SAT
0.01
3qbf-5cnf-80var-2560cl.1
UNSAT
0.01
3qbf-5cnf-20var-320cl.5
UNSAT
0.01
2qbf-5cnf-40var-640cl.2
UNSAT
0.01
4qbf-5cnf-40var-640cl.7
UNSAT
0.01
4qbf-5cnf-80var-1280cl.0
UNSAT
0.01
5qbf-5cnf-160var-640cl.6
SAT
0.01
ncf_4_16_2_edau.9
SAT
0.01
3qbf-5cnf-80var-320cl.3
SAT
0.01
6qbf-5cnf-20var-640cl.2
UNSAT
0.01
ncf_8_16_4_u.5
UNSAT
0.01
4qbf-5cnf-20var-160cl.3
UNSAT
0.01
5qbf-5cnf-20var-320cl.6
UNSAT
0.01
ncf_16_32_2_euad.9
UNSAT
0.01
2qbf-5cnf-160var-2560cl.7
UNSAT
0.01
4qbf-5cnf-80var-1280cl.1
UNSAT
0.01
4qbf-5cnf-20var-640cl.9
UNSAT
0.01
5qbf-5cnf-160var-640cl.0
SAT
0.01
4qbf-5cnf-40var-1280cl.4
UNSAT
0.01
4qbf-5cnf-160var-2560cl.9
UNSAT
0.01
2qbf-5cnf-160var-5120cl.1
UNSAT
0.01
4qbf-5cnf-80var-2560cl.7
UNSAT
0.01
6qbf-5cnf-40var-640cl.7
UNSAT
0.01
ncf_8_16_4_d.5
UNSAT
0.01
3qbf-5cnf-20var-160cl.5
SAT
0.01
3qbf-5cnf-20var-160cl.6
SAT
0.01
5qbf-5cnf-40var-1280cl.1
UNSAT
0.01
5qbf-5cnf-40var-1280cl.8
UNSAT
0.01
2qbf-5cnf-40var-640cl.6
UNSAT
0.01
3qbf-5cnf-160var-640cl.8
SAT
0.01
5qbf-5cnf-20var-320cl.7
UNSAT
0.01
4qbf-5cnf-40var-320cl.3
UNSAT
0.01
6qbf-5cnf-160var-640cl.6
SAT
0.01
ncf_4_8_4_u.8
UNSAT
0.01
4qbf-5cnf-20var-320cl.0
UNSAT
0.01
ncf_4_16_2_u.7
SAT
0.01
5qbf-5cnf-80var-640cl.2
SAT
0.01
4qbf-5cnf-40var-1280cl.8
UNSAT
0.01
3qbf-5cnf-80var-2560cl.2
UNSAT
0.01
6qbf-5cnf-80var-2560cl.4
UNSAT
0.01
4qbf-5cnf-40var-640cl.0
UNSAT
0.01
6qbf-5cnf-40var-1280cl.9
UNSAT
0.01
3qbf-5cnf-80var-320cl.8
SAT
0.01
3qbf-5cnf-160var-640cl.6
SAT
0.01
2qbf-5cnf-160var-2560cl.0
UNSAT
0.01
ncf_4_8_8_euad.9
UNSAT
0.01
5qbf-5cnf-20var-640cl.5
UNSAT
0.01
4qbf-5cnf-80var-2560cl.3
UNSAT
0.01
6qbf-5cnf-40var-1280cl.2
UNSAT
0.01
ncf_4_8_8_u.4
SAT
0.01
6qbf-5cnf-20var-320cl.4
UNSAT
0.01
6qbf-5cnf-160var-640cl.5
SAT
0.01
5qbf-5cnf-40var-1280cl.2
UNSAT
0.01
2qbf-5cnf-40var-640cl.7
UNSAT
0.01
5qbf-5cnf-20var-320cl.5
UNSAT
0.01
2qbf-5cnf-160var-5120cl.0
UNSAT
0.01
3qbf-5cnf-20var-320cl.7
UNSAT
0.01
3qbf-5cnf-80var-2560cl.4
UNSAT
0.01
5qbf-5cnf-40var-320cl.7
SAT
0.01
4qbf-5cnf-40var-640cl.6
UNSAT
0.01
3qbf-5cnf-20var-160cl.8
SAT
0.01
3qbf-5cnf-80var-2560cl.8
UNSAT
0.01
ncf_4_8_8_d.9
UNSAT
0.01
3qbf-5cnf-160var-640cl.2
SAT
0.01
4qbf-5cnf-80var-1280cl.8
UNSAT
0.01
ncf_8_16_4_euad.2
UNSAT
0.01
6qbf-5cnf-80var-2560cl.2
UNSAT
0.01
5qbf-5cnf-40var-320cl.3
SAT
0.01
6qbf-5cnf-20var-160cl.3
UNSAT
0.01
4qbf-5cnf-80var-2560cl.9
UNSAT
0.01
3qbf-5cnf-20var-160cl.2
SAT
0.01
5qbf-5cnf-40var-1280cl.5
UNSAT
0.01
2qbf-5cnf-80var-1280cl.1
UNSAT
0.01
5qbf-5cnf-40var-320cl.0
SAT
0.01
5qbf-5cnf-80var-2560cl.0
UNSAT
0.01
5qbf-5cnf-160var-640cl.5
SAT
0.01
ncf_4_8_2_euad.10
SAT
0.01
ncf_4_16_2_u.9
SAT
0.01
2qbf-5cnf-80var-1280cl.9
UNSAT
0.01
2qbf-5cnf-40var-320cl.5
UNSAT
0.01
6qbf-5cnf-20var-320cl.1
UNSAT
0.01
ncf_4_8_8_edau.9
UNSAT
0.01
2qbf-5cnf-160var-5120cl.8
UNSAT
0.01
3qbf-5cnf-80var-2560cl.3
UNSAT
0.01
6qbf-5cnf-40var-1280cl.8
UNSAT
0.01
5qbf-5cnf-40var-640cl.0
UNSAT
0.01
3qbf-5cnf-40var-640cl.4
UNSAT
0.01
4qbf-5cnf-20var-320cl.5
UNSAT
0.01
6qbf-5cnf-160var-640cl.3
SAT
0.01
2qbf-5cnf-80var-640cl.3
UNSAT
0.01
ncf_4_8_2_u.10
SAT
0.01
x10.0
UNSAT
0.01
x10.3
UNSAT
0.01
x10.5
UNSAT
0.01
x10.6
UNSAT
0.01
x10.7
SAT
0.01
x15.5
UNSAT
0.01
x25.6
UNSAT
0.01
x5.1
UNSAT
0.01
x5.3
UNSAT
0.01
x5.4
UNSAT
0.01
x5.6
UNSAT
0.01
x5.7
UNSAT
0.01
cmu.dme1.B-d2
SAT
0.01
cmu.dme2.B-d2
SAT
0.01
eijk.S1423.S-d2
SAT
0.01
eijk.S208.S-d2
SAT
0.01
eijk.S298.S-d2
SAT
0.01
eijk.S386.S-d2
SAT
0.01
eijk.S832.S-d2
SAT
0.01
irst.dme4.B-d2
SAT
0.01
irst.dme5.B-d2
SAT
0.01
texas.parsesys^1.E-d2
SAT
0.01
vis.coherence^1.E-d2
SAT
0.01
vis.eisenberg.E-d2
SAT
0.01
texas.ifetch1^4.E-f2
UNSAT
0.01
Qq2k1k4v40v40m2s2
SAT
0.01
Qq2k1k4v40v40m2s4
SAT
0.01
Qq2k1k4v40v40m2s7
SAT
0.01
Qq2k1k4v40v40m2s8
SAT
0.01
Qq2k1k4v40v40m4s0
SAT
0.01
Qq2k1k4v40v40m4s5
SAT
0.01
Qq2k1k4v40v40m4s6
SAT
0.01
Qq2k1k4v40v40m8s0
SAT
0.01
Qq2k1k4v40v40m8s2
UNSAT
0.01
Qq2k1k4v40v40m16s0
UNSAT
0.01
Qq2k1k4v40v40m16s7
SAT
0.01
Qq2k1k4v40v40m16s9
UNSAT
0.01
Qq2k1k4v40v40m32s1
UNSAT
0.01
Qq2k1k4v40v40m32s2
UNSAT
0.01
Qq2k1k4v40v40m32s3
UNSAT
0.01
Qq2k1k4v40v40m32s5
UNSAT
0.01
Qq2k1k4v40v40m32s7
UNSAT
0.01
Qq2k1k4v80v80m2s0
SAT
0.01
Qq2k1k4v80v80m2s2
SAT
0.01
Qq2k1k4v80v80m2s5
SAT
0.01
Qq2k1k4v80v80m4s4
SAT
0.01
Qq2k1k4v80v80m4s8
SAT
0.01
Qq2k1k4v80v80m8s4
SAT
0.01
Qq2k1k4v80v80m8s9
SAT
0.01
Qq2k1k4v80v80m16s0
UNSAT
0.01
Qq2k1k4v80v80m16s1
SAT
0.01
Qq2k1k4v80v80m16s6
SAT
0.01
Qq2k1k4v80v80m32s0
UNSAT
0.01
Qq2k1k4v80v80m32s1
SAT
0.01
Qq2k1k4v80v80m32s4
UNSAT
0.01
Qq2k1k4v80v80m32s6
UNSAT
0.01
Qq2k2k3v40v40m2s1
SAT
0.01
Qq2k2k3v40v40m2s6
SAT
0.01
Qq2k2k3v40v40m4s1
SAT
0.01
Qq2k2k3v40v40m4s2
SAT
0.01
Qq2k2k3v40v40m4s3
SAT
0.01
Qq2k2k3v40v40m4s6
SAT
0.01
Qq2k2k3v40v40m4s8
SAT
0.01
Qq2k2k3v40v40m8s7
SAT
0.01
Qq2k2k3v40v40m8s8
SAT
0.01
Qq2k2k3v40v40m16s1
SAT
0.01
Qq2k2k3v40v40m16s3
SAT
0.01
Qq2k2k3v40v40m16s5
SAT
0.01
Qq2k2k3v40v40m16s8
SAT
0.01
Qq2k2k3v40v40m32s0
SAT
0.01
Qq2k2k3v40v40m32s1
SAT
0.01
Qq2k2k3v40v40m32s4
SAT
0.01
Qq2k2k3v40v40m32s5
SAT
0.01
Qq2k2k3v40v40m32s6
SAT
0.01
Qq2k2k3v40v40m32s8
SAT
0.01
Qq2k2k3v40v40m32s9
SAT
0.01
Qq2k2k3v80v80m2s0
SAT
0.01
Qq2k2k3v80v80m2s1
SAT
0.01
Qq2k2k3v80v80m2s5
SAT
0.01
Qq2k2k3v80v80m2s7
SAT
0.01
Qq2k2k3v80v80m4s2
SAT
0.01
Qq2k2k3v80v80m4s3
SAT
0.01
Qq2k2k3v80v80m4s5
SAT
0.01
Qq2k2k3v80v80m4s8
SAT
0.01
Qq2k2k3v80v80m8s6
SAT
0.01
Qq2k2k3v80v80m8s9
SAT
0.01
Qq2k2k3v80v80m16s0
SAT
0.01
Qq2k2k3v80v80m16s4
SAT
0.01
Qq2k2k3v80v80m16s6
SAT
0.01
Qq2k2k3v80v80m32s7
SAT
0.01
Qq2k3k2v40v40m2s0
SAT
0.01
Qq2k3k2v40v40m2s1
SAT
0.01
Qq2k3k2v40v40m2s3
SAT
0.01
Qq2k3k2v40v40m2s4
SAT
0.01
Qq2k3k2v40v40m4s4
SAT
0.01
Qq2k3k2v40v40m4s5
SAT
0.01
Qq2k3k2v40v40m4s8
SAT
0.01
Qq2k3k2v40v40m8s0
SAT
0.01
Qq2k3k2v40v40m8s1
FAIL
0.01
Qq2k3k2v40v40m8s3
SAT
0.01
Qq2k3k2v40v40m8s9
SAT
0.01
Qq2k3k2v40v40m16s3
SAT
0.01
Qq2k3k2v40v40m16s5
SAT
0.01
Qq2k3k2v40v40m32s1
SAT
0.01
Qq2k3k2v40v40m32s3
SAT
0.01
Qq2k3k2v40v40m32s8
SAT
0.01
Qq2k3k2v80v80m2s4
SAT
0.01
Qq2k3k2v80v80m2s7
SAT
0.01
Qq2k3k2v80v80m4s3
SAT
0.01
Qq2k3k2v80v80m4s4
SAT
0.01
Qq2k3k2v80v80m4s9
SAT
0.01
Qq2k3k2v80v80m8s4
SAT
0.01
Qq2k3k2v80v80m8s5
SAT
0.01
Qq2k3k2v80v80m8s6
SAT
0.01
Qq2k3k2v80v80m8s8
SAT
0.01
Qq2k3k2v80v80m8s9
SAT
0.01
Qq2k3k2v80v80m16s1
SAT
0.01
Qq2k3k2v80v80m16s3
SAT
0.01
Qq2k3k2v80v80m16s6
SAT
0.01
Qq2k3k2v80v80m16s7
SAT
0.01
Qq2k3k2v80v80m32s3
SAT
0.01
Qq3k1k1k3v40v40v40m2s1
SAT
0.01
Qq3k1k1k3v40v40v40m2s3
FAIL
0.01
Qq3k1k1k3v40v40v40m2s4
SAT
0.01
Qq3k1k1k3v40v40v40m2s9
FAIL
0.01
Qq3k1k1k3v40v40v40m4s0
SAT
0.01
Qq3k1k1k3v40v40v40m4s1
SAT
0.01
Qq3k1k1k3v40v40v40m4s7
SAT
0.01
Qq3k1k1k3v40v40v40m4s8
SAT
0.01
Qq3k1k1k3v40v40v40m8s5
SAT
0.01
Qq3k1k1k3v40v40v40m8s6
SAT
0.01
Qq3k1k1k3v40v40v40m8s7
SAT
0.01
Qq3k1k1k3v40v40v40m16s0
SAT
0.01
Qq3k1k1k3v40v40v40m16s2
SAT
0.01
Qq3k1k1k3v40v40v40m16s4
SAT
0.01
Qq3k1k1k3v40v40v40m16s5
SAT
0.01
Qq3k1k1k3v40v40v40m16s7
SAT
0.01
Qq3k1k1k3v40v40v40m32s1
SAT
0.01
Qq3k1k1k3v40v40v40m32s2
SAT
0.01
Qq3k1k1k3v80v80v80m2s1
SAT
0.01
Qq3k1k1k3v80v80v80m2s2
FAIL
0.01
Qq3k1k1k3v80v80v80m2s7
FAIL
0.01
Qq3k1k1k3v80v80v80m2s8
FAIL
0.01
Qq3k1k1k3v80v80v80m4s4
SAT
0.01
Qq3k1k1k3v80v80v80m4s6
SAT
0.01
Qq3k1k1k3v80v80v80m4s8
SAT
0.01
Qq3k1k1k3v80v80v80m8s0
SAT
0.01
Qq3k1k1k3v80v80v80m8s3
SAT
0.01
Qq3k1k1k3v80v80v80m8s7
SAT
0.01
Qq3k1k1k3v80v80v80m8s8
SAT
0.01
Qq3k1k1k3v80v80v80m16s0
SAT
0.01
Qq3k1k1k3v80v80v80m16s3
SAT
0.01
Qq3k1k1k3v80v80v80m16s4
SAT
0.01
Qq3k1k1k3v80v80v80m16s6
SAT
0.01
Qq3k1k1k3v80v80v80m16s7
SAT
0.01
Qq3k1k1k3v80v80v80m16s9
SAT
0.01
Qq3k1k1k3v80v80v80m32s1
SAT
0.01
Qq3k1k1k3v80v80v80m32s9
SAT
0.01
Qq3k1k2k2v40v40v40m2s1
FAIL
0.01
Qq3k1k2k2v40v40v40m2s8
FAIL
0.01
Qq3k1k2k2v40v40v40m2s9
FAIL
0.01
Qq3k1k2k2v40v40v40m4s1
SAT
0.01
Qq3k1k2k2v40v40v40m4s2
SAT
0.01
Qq3k1k2k2v40v40v40m4s3
SAT
0.01
Qq3k1k2k2v40v40v40m4s4
SAT
0.01
Qq3k1k2k2v40v40v40m4s7
SAT
0.01
Qq3k1k2k2v40v40v40m8s1
SAT
0.01
Qq3k1k2k2v40v40v40m8s2
SAT
0.01
Qq3k1k2k2v40v40v40m8s3
SAT
0.01
Qq3k1k2k2v40v40v40m8s4
SAT
0.01
Qq3k1k2k2v40v40v40m16s2
SAT
0.01
Qq3k1k2k2v40v40v40m16s3
SAT
0.01
Qq3k1k2k2v40v40v40m16s4
SAT
0.01
Qq3k1k2k2v40v40v40m16s5
SAT
0.01
Qq3k1k2k2v40v40v40m16s6
SAT
0.01
Qq3k1k2k2v40v40v40m16s9
SAT
0.01
Qq3k1k2k2v40v40v40m32s0
SAT
0.01
Qq3k1k2k2v40v40v40m32s4
SAT
0.01
Qq3k1k2k2v40v40v40m32s7
SAT
0.01
Qq3k1k2k2v80v80v80m2s1
FAIL
0.01
Qq3k1k2k2v80v80v80m2s2
FAIL
0.01
Qq3k1k2k2v80v80v80m2s3
FAIL
0.01
Qq3k1k2k2v80v80v80m2s5
FAIL
0.01
Qq3k1k2k2v80v80v80m2s8
FAIL
0.01
Qq3k1k2k2v80v80v80m4s1
SAT
0.01
Qq3k1k2k2v80v80v80m8s5
SAT
0.01
Qq3k1k2k2v80v80v80m16s4
SAT
0.01
Qq3k1k2k2v80v80v80m16s5
SAT
0.01
Qq3k1k2k2v80v80v80m16s6
SAT
0.01
Qq3k1k2k2v80v80v80m16s7
SAT
0.01
Qq3k1k2k2v80v80v80m32s2
SAT
0.01
Qq3k1k2k2v80v80v80m32s5
SAT
0.01
Qq3k1k2k2v80v80v80m32s7
SAT
0.01
Qq3k1k2k2v80v80v80m32s9
SAT
0.01
Qq3k1k3k1v40v40v40m2s4
FAIL
0.01
Qq3k1k3k1v40v40v40m8s3
SAT
0.01
Qq3k1k3k1v40v40v40m8s5
SAT
0.01
Qq3k1k3k1v40v40v40m8s6
SAT
0.01
Qq3k1k3k1v40v40v40m8s7
SAT
0.01
Qq3k1k3k1v40v40v40m8s9
SAT
0.01
Qq3k1k3k1v40v40v40m16s0
SAT
0.01
Qq3k1k3k1v40v40v40m16s1
SAT
0.01
Qq3k1k3k1v40v40v40m16s3
SAT
0.01
Qq3k1k3k1v40v40v40m16s4
SAT
0.01
Qq3k1k3k1v40v40v40m16s7
SAT
0.01
Qq3k1k3k1v40v40v40m32s0
SAT
0.01
Qq3k1k3k1v40v40v40m32s2
SAT
0.01
Qq3k1k3k1v40v40v40m32s6
SAT
0.01
Qq3k1k3k1v80v80v80m2s1
FAIL
0.01
Qq3k1k3k1v80v80v80m2s4
FAIL
0.01
Qq3k1k3k1v80v80v80m4s0
SAT
0.01
Qq3k1k3k1v80v80v80m4s4
SAT
0.01
Qq3k1k3k1v80v80v80m4s6
SAT
0.01
Qq3k1k3k1v80v80v80m4s7
SAT
0.01
Qq3k1k3k1v80v80v80m4s9
SAT
0.01
Qq3k1k3k1v80v80v80m8s0
SAT
0.01
Qq3k1k3k1v80v80v80m8s1
SAT
0.01
Qq3k1k3k1v80v80v80m8s2
SAT
0.01
Qq3k1k3k1v80v80v80m8s6
SAT
0.01
Qq3k1k3k1v80v80v80m8s7
SAT
0.01
Qq3k1k3k1v80v80v80m8s9
SAT
0.01
Qq3k1k3k1v80v80v80m16s0
SAT
0.01
Qq3k1k3k1v80v80v80m16s1
SAT
0.01
Qq3k1k3k1v80v80v80m16s7
SAT
0.01
Qq3k1k3k1v80v80v80m16s9
SAT
0.01
Qq3k1k3k1v80v80v80m32s3
SAT
0.01
Qq3k1k3k1v80v80v80m32s4
SAT
0.01
Qq3k2k1k2v40v40v40m2s0
FAIL
0.01
Qq3k2k1k2v40v40v40m2s7
FAIL
0.01
Qq3k2k1k2v40v40v40m4s3
SAT
0.01
Qq3k2k1k2v40v40v40m4s4
SAT
0.01
Qq3k2k1k2v40v40v40m4s5
SAT
0.01
Qq3k2k1k2v40v40v40m4s6
SAT
0.01
Qq3k2k1k2v40v40v40m8s1
SAT
0.01
Qq3k2k1k2v40v40v40m8s2
SAT
0.01
Qq3k2k1k2v40v40v40m8s6
SAT
0.01
Qq3k2k1k2v40v40v40m8s8
SAT
0.01
Qq3k2k1k2v40v40v40m16s0
SAT
0.01
Qq3k2k1k2v40v40v40m16s1
SAT
0.01
Qq3k2k1k2v40v40v40m16s2
SAT
0.01
Qq3k2k1k2v40v40v40m16s3
SAT
0.01
Qq3k2k1k2v40v40v40m16s4
SAT
0.01
Qq3k2k1k2v40v40v40m32s2
SAT
0.01
Qq3k2k1k2v40v40v40m32s5
SAT
0.01
Qq3k2k1k2v40v40v40m32s7
SAT
0.01
Qq3k2k1k2v80v80v80m2s1
SAT
0.01
Qq3k2k1k2v80v80v80m2s3
FAIL
0.01
Qq3k2k1k2v80v80v80m2s4
FAIL
0.01
Qq3k2k1k2v80v80v80m2s6
FAIL
0.01
Qq3k2k1k2v80v80v80m2s7
FAIL
0.01
Qq3k2k1k2v80v80v80m2s8
FAIL
0.01
Qq3k2k1k2v80v80v80m2s9
FAIL
0.01
Qq3k2k1k2v80v80v80m4s1
SAT
0.01
Qq3k2k1k2v80v80v80m4s4
SAT
0.01
Qq3k2k1k2v80v80v80m4s8
SAT
0.01
Qq3k2k1k2v80v80v80m8s2
SAT
0.01
Qq3k2k1k2v80v80v80m8s3
SAT
0.01
Qq3k2k1k2v80v80v80m8s5
SAT
0.01
Qq3k2k1k2v80v80v80m8s6
SAT
0.01
Qq3k2k1k2v80v80v80m8s7
SAT
0.01
Qq3k2k1k2v80v80v80m8s9
SAT
0.01
Qq3k2k1k2v80v80v80m16s3
SAT
0.01
Qq3k2k1k2v80v80v80m16s4
SAT
0.01
Qq3k2k1k2v80v80v80m32s0
SAT
0.01
Qq3k2k1k2v80v80v80m32s1
SAT
0.01
Qq3k2k1k2v80v80v80m32s2
SAT
0.01
Qq3k2k1k2v80v80v80m32s4
SAT
0.01
Qq3k2k1k2v80v80v80m32s8
SAT
0.01
Qq3k2k2k1v40v40v40m2s1
SAT
0.01
Qq3k2k2k1v40v40v40m2s4
FAIL
0.01
Qq3k2k2k1v40v40v40m2s6
FAIL
0.01
Qq3k2k2k1v40v40v40m2s9
FAIL
0.01
Qq3k2k2k1v40v40v40m4s0
SAT
0.01
Qq3k2k2k1v40v40v40m4s2
SAT
0.01
Qq3k2k2k1v40v40v40m4s5
SAT
0.01
Qq3k2k2k1v40v40v40m8s0
SAT
0.01
Qq3k2k2k1v40v40v40m8s5
SAT
0.01
Qq3k2k2k1v40v40v40m16s0
SAT
0.01
Qq3k2k2k1v40v40v40m16s4
SAT
0.01
Qq3k2k2k1v40v40v40m16s9
SAT
0.01
Qq3k2k2k1v40v40v40m32s3
SAT
0.01
Qq3k2k2k1v40v40v40m32s5
SAT
0.01
Qq3k2k2k1v40v40v40m32s8
SAT
0.01
Qq3k2k2k1v80v80v80m2s4
FAIL
0.01
Qq3k2k2k1v80v80v80m2s6
FAIL
0.01
Qq3k2k2k1v80v80v80m2s7
FAIL
0.01
Qq3k2k2k1v80v80v80m2s8
FAIL
0.01
Qq3k2k2k1v80v80v80m4s3
SAT
0.01
Qq3k2k2k1v80v80v80m4s8
SAT
0.01
Qq3k2k2k1v80v80v80m8s2
SAT
0.01
Qq3k2k2k1v80v80v80m8s8
SAT
0.01
Qq3k2k2k1v80v80v80m16s0
SAT
0.01
Qq3k2k2k1v80v80v80m16s1
SAT
0.01
Qq3k2k2k1v80v80v80m16s5
SAT
0.01
Qq3k2k2k1v80v80v80m16s9
SAT
0.01
Qq3k2k2k1v80v80v80m32s1
SAT
0.01
Qq3k2k2k1v80v80v80m32s3
SAT
0.01
Qq3k2k2k1v80v80v80m32s4
SAT
0.01
Qq3k3k1k1v40v40v40m2s1
SAT
0.01
Qq3k3k1k1v40v40v40m2s3
FAIL
0.01
Qq3k3k1k1v40v40v40m2s8
FAIL
0.01
Qq3k3k1k1v40v40v40m4s1
SAT
0.01
Qq3k3k1k1v40v40v40m4s6
SAT
0.01
Qq3k3k1k1v40v40v40m4s7
SAT
0.01
Qq3k3k1k1v40v40v40m4s8
SAT
0.01
Qq3k3k1k1v40v40v40m4s9
SAT
0.01
Qq3k3k1k1v40v40v40m8s1
SAT
0.01
Qq3k3k1k1v40v40v40m8s5
SAT
0.01
Qq3k3k1k1v40v40v40m8s7
SAT
0.01
Qq3k3k1k1v40v40v40m8s8
SAT
0.01
Qq3k3k1k1v40v40v40m16s1
SAT
0.01
Qq3k3k1k1v40v40v40m16s2
SAT
0.01
Qq3k3k1k1v40v40v40m16s3
SAT
0.01
Qq3k3k1k1v40v40v40m16s4
SAT
0.01
Qq3k3k1k1v40v40v40m16s5
SAT
0.01
Qq3k3k1k1v40v40v40m16s6
SAT
0.01
Qq3k3k1k1v40v40v40m16s9
SAT
0.01
Qq3k3k1k1v40v40v40m32s0
SAT
0.01
Qq3k3k1k1v40v40v40m32s1
SAT
0.01
Qq3k3k1k1v40v40v40m32s9
SAT
0.01
Qq3k3k1k1v80v80v80m2s0
FAIL
0.01
Qq3k3k1k1v80v80v80m2s1
SAT
0.01
Qq3k3k1k1v80v80v80m2s4
FAIL
0.01
Qq3k3k1k1v80v80v80m2s5
SAT
0.01
Qq3k3k1k1v80v80v80m2s6
FAIL
0.01
Qq3k3k1k1v80v80v80m4s0
SAT
0.01
Qq3k3k1k1v80v80v80m4s6
SAT
0.01
Qq3k3k1k1v80v80v80m8s3
SAT
0.01
Qq3k3k1k1v80v80v80m8s7
SAT
0.01
Qq3k3k1k1v80v80v80m8s9
SAT
0.01
Qq3k3k1k1v80v80v80m16s6
SAT
0.01
Qq3k3k1k1v80v80v80m32s1
SAT
0.01
Qq3k3k1k1v80v80v80m32s4
SAT
0.01
Qq3k3k1k1v80v80v80m32s7
SAT
0.01
Qq3k3k1k1v80v80v80m32s8
SAT
0.01
4qbf-5cnf-20var-320cl.3
UNSAT
0.02
3qbf-5cnf-40var-320cl.0
SAT
0.02
6qbf-5cnf-20var-640cl.3
UNSAT
0.02
4qbf-5cnf-40var-640cl.1
UNSAT
0.02
2qbf-5cnf-160var-2560cl.9
UNSAT
0.02
6qbf-5cnf-80var-2560cl.5
UNSAT
0.02
5qbf-5cnf-160var-640cl.8
SAT
0.02
ncf_8_16_4_euad.1
SAT
0.02
5qbf-5cnf-40var-640cl.7
UNSAT
0.02
5qbf-5cnf-40var-320cl.8
SAT
0.02
4qbf-5cnf-40var-1280cl.3
UNSAT
0.02
ncf_8_16_4_euad.6
UNSAT
0.02
3qbf-5cnf-40var-640cl.5
UNSAT
0.02
3qbf-5cnf-80var-2560cl.6
UNSAT
0.02
5qbf-5cnf-80var-2560cl.3
UNSAT
0.02
6qbf-5cnf-40var-640cl.5
UNSAT
0.02
4qbf-5cnf-80var-2560cl.5
UNSAT
0.02
4qbf-5cnf-80var-1280cl.6
UNSAT
0.02
5qbf-5cnf-40var-640cl.5
UNSAT
0.02
3qbf-5cnf-40var-320cl.8
SAT
0.02
6qbf-5cnf-80var-2560cl.1
UNSAT
0.02
4qbf-5cnf-160var-5120cl.0
UNSAT
0.02
3qbf-5cnf-40var-640cl.6
UNSAT
0.02
5qbf-5cnf-40var-1280cl.9
UNSAT
0.02
6qbf-5cnf-160var-5120cl.9
UNSAT
0.02
3qbf-5cnf-20var-320cl.8
UNSAT
0.02
3qbf-5cnf-160var-2560cl.7
UNSAT
0.02
6qbf-5cnf-80var-2560cl.6
UNSAT
0.02
5qbf-5cnf-80var-2560cl.6
UNSAT
0.02
3qbf-5cnf-40var-640cl.8
UNSAT
0.02
3qbf-5cnf-80var-2560cl.5
UNSAT
0.02
2qbf-5cnf-40var-640cl.9
UNSAT
0.02
5qbf-5cnf-160var-5120cl.3
UNSAT
0.02
3qbf-5cnf-80var-2560cl.7
UNSAT
0.02
4qbf-5cnf-80var-2560cl.1
UNSAT
0.02
6qbf-5cnf-160var-5120cl.6
UNSAT
0.02
4qbf-5cnf-80var-2560cl.6
UNSAT
0.02
5qbf-5cnf-20var-640cl.0
UNSAT
0.02
2qbf-5cnf-160var-5120cl.7
UNSAT
0.02
ncf_4_16_2_edau.7
SAT
0.02
2qbf-5cnf-160var-5120cl.9
UNSAT
0.02
5qbf-5cnf-80var-2560cl.7
UNSAT
0.02
4qbf-5cnf-160var-5120cl.4
UNSAT
0.02
4qbf-5cnf-160var-5120cl.7
UNSAT
0.02
6qbf-5cnf-20var-640cl.1
UNSAT
0.02
3qbf-5cnf-20var-320cl.1
UNSAT
0.02
3qbf-5cnf-20var-320cl.6
UNSAT
0.02
ncf_4_8_8_euad.4
SAT
0.02
2qbf-5cnf-80var-1280cl.2
UNSAT
0.02
k_dum_n-8
SAT
0.02
4qbf-5cnf-40var-1280cl.2
UNSAT
0.02
6qbf-5cnf-80var-2560cl.3
UNSAT
0.02
6qbf-5cnf-40var-1280cl.1
UNSAT
0.02
6qbf-5cnf-20var-320cl.3
UNSAT
0.02
4qbf-5cnf-40var-640cl.3
UNSAT
0.02
4qbf-5cnf-20var-320cl.6
UNSAT
0.02
2qbf-5cnf-40var-320cl.4
UNSAT
0.02
4qbf-5cnf-40var-1280cl.5
UNSAT
0.02
ncf_4_8_2_u.8
SAT
0.02
6qbf-5cnf-40var-640cl.3
UNSAT
0.02
2qbf-5cnf-160var-2560cl.1
UNSAT
0.02
4qbf-5cnf-20var-640cl.0
UNSAT
0.02
4qbf-5cnf-160var-2560cl.5
UNSAT
0.02
2qbf-5cnf-160var-2560cl.3
UNSAT
0.02
3qbf-5cnf-20var-320cl.3
UNSAT
0.02
ncf_8_16_4_edau.6
UNSAT
0.02
6qbf-5cnf-40var-640cl.8
UNSAT
0.02
5qbf-5cnf-80var-640cl.3
SAT
0.02
6qbf-5cnf-80var-2560cl.7
UNSAT
0.02
4qbf-5cnf-160var-5120cl.9
UNSAT
0.02
5qbf-5cnf-80var-2560cl.4
UNSAT
0.02
3qbf-5cnf-20var-160cl.3
SAT
0.02
2qbf-5cnf-160var-5120cl.4
UNSAT
0.02
5qbf-5cnf-20var-320cl.4
UNSAT
0.02
6qbf-5cnf-160var-5120cl.0
UNSAT
0.02
3qbf-5cnf-20var-320cl.4
UNSAT
0.02
6qbf-5cnf-40var-1280cl.4
UNSAT
0.02
ncf_4_8_2_euad.7
UNSAT
0.02
5qbf-5cnf-20var-320cl.8
UNSAT
0.02
ncf_8_16_4_u.8
UNSAT
0.02
3qbf-5cnf-40var-640cl.1
UNSAT
0.02
ncf_8_16_4_d.8
UNSAT
0.02
4qbf-5cnf-80var-2560cl.2
UNSAT
0.02
3qbf-5cnf-40var-640cl.0
UNSAT
0.02
5qbf-5cnf-80var-2560cl.8
UNSAT
0.02
4qbf-5cnf-80var-1280cl.9
UNSAT
0.02
ncf_4_32_2_u.2
SAT
0.02
ncf_4_8_8_d.4
SAT
0.02
ncf_8_16_4_edau.8
UNSAT
0.02
3qbf-5cnf-80var-320cl.5
SAT
0.02
ncf_4_8_8_edau.4
SAT
0.02
ncf_4_32_2_edau.9
UNSAT
0.02
4qbf-5cnf-40var-1280cl.1
UNSAT
0.02
x10.1
UNSAT
0.02
x10.2
UNSAT
0.02
x10.4
SAT
0.02
x15.4
UNSAT
0.02
x15.6
UNSAT
0.02
x20.4
UNSAT
0.02
eijk.S820.S-d2
SAT
0.02
vis.4-arbit^1.E-d2
SAT
0.02
texas.parsesys^4.E-f2
UNSAT
0.02
vis.emodel.E-f2
UNSAT
0.02
Qq2k1k4v80v80m2s1
SAT
0.02
Qq2k1k4v80v80m2s6
SAT
0.02
Qq2k1k4v80v80m8s6
SAT
0.02
Qq2k2k3v40v40m16s9
SAT
0.02
Qq2k2k3v80v80m4s9
SAT
0.02
Qq2k2k3v80v80m32s5
SAT
0.02
Qq3k1k1k3v40v40v40m4s3
SAT
0.02
Qq3k1k1k3v80v80v80m8s6
SAT
0.02
Qq3k1k2k2v80v80v80m4s3
SAT
0.02
Qq3k1k2k2v80v80v80m4s6
SAT
0.02
Qq3k1k2k2v80v80v80m8s3
SAT
0.02
Qq3k1k2k2v80v80v80m16s3
SAT
0.02
Qq3k1k2k2v80v80v80m32s0
SAT
0.02
Qq3k1k3k1v40v40v40m2s0
FAIL
0.02
Qq3k1k3k1v40v40v40m8s4
SAT
0.02
Qq3k1k3k1v80v80v80m2s9
FAIL
0.02
Qq3k1k3k1v80v80v80m16s3
SAT
0.02
Qq3k2k1k2v40v40v40m2s1
SAT
0.02
Qq3k2k1k2v40v40v40m4s2
SAT
0.02
Qq3k2k1k2v40v40v40m16s5
SAT
0.02
Qq3k2k1k2v80v80v80m16s1
SAT
0.02
Qq3k2k2k1v40v40v40m2s5
SAT
0.02
Qq3k2k2k1v40v40v40m4s4
SAT
0.02
Qq3k2k2k1v80v80v80m2s3
FAIL
0.02
Qq3k2k2k1v80v80v80m4s7
SAT
0.02
Qq3k2k2k1v80v80v80m16s4
SAT
0.02
Qq3k2k2k1v80v80v80m32s0
SAT
0.02
Qq3k2k2k1v80v80v80m32s9
SAT
0.02
Qq3k3k1k1v40v40v40m4s5
SAT
0.02
Qq3k3k1k1v40v40v40m32s5
SAT
0.02
Qq3k3k1k1v80v80v80m4s4
SAT
0.02
Qq3k3k1k1v80v80v80m8s4
SAT
0.02
Qq3k3k1k1v80v80v80m16s5
SAT
0.02
4qbf-5cnf-160var-2560cl.3
UNSAT
0.03
2qbf-5cnf-160var-2560cl.6
UNSAT
0.03
6qbf-5cnf-160var-5120cl.8
UNSAT
0.03
2qbf-5cnf-160var-5120cl.3
UNSAT
0.03
4qbf-5cnf-160var-2560cl.8
UNSAT
0.03
3qbf-5cnf-80var-1280cl.6
UNSAT
0.03
5qbf-5cnf-80var-2560cl.9
UNSAT
0.03
4qbf-5cnf-80var-1280cl.3
UNSAT
0.03
2qbf-5cnf-160var-5120cl.2
UNSAT
0.03
ncf_4_8_2_euad.6
SAT
0.03
CHAIN20v.21
SAT
0.03
2qbf-5cnf-160var-2560cl.2
UNSAT
0.03
4qbf-5cnf-160var-5120cl.3
UNSAT
0.03
5qbf-5cnf-160var-5120cl.6
UNSAT
0.03
6qbf-5cnf-160var-5120cl.2
UNSAT
0.03
3qbf-5cnf-40var-640cl.3
UNSAT
0.03
k_branch_p-4
UNSAT
0.03
4qbf-5cnf-160var-5120cl.2
UNSAT
0.03
ncf_4_16_4_edau.9
SAT
0.03
5qbf-5cnf-80var-2560cl.2
UNSAT
0.03
ncf_8_16_4_euad.8
UNSAT
0.03
3qbf-5cnf-40var-320cl.6
SAT
0.03
5qbf-5cnf-40var-640cl.9
UNSAT
0.03
4qbf-5cnf-160var-5120cl.5
UNSAT
0.03
ncf_8_16_8_euad.1
SAT
0.03
6qbf-5cnf-160var-5120cl.1
UNSAT
0.03
6qbf-5cnf-160var-5120cl.4
UNSAT
0.03
5qbf-5cnf-20var-320cl.3
UNSAT
0.03
ncf_8_16_4_d.6
UNSAT
0.03
ncf_16_32_2_euad.7
UNSAT
0.03
5qbf-5cnf-160var-5120cl.2
UNSAT
0.03
4qbf-5cnf-160var-5120cl.1
UNSAT
0.03
4qbf-5cnf-160var-5120cl.8
UNSAT
0.03
6qbf-5cnf-160var-5120cl.3
UNSAT
0.03
ncf_8_16_8_edau.1
SAT
0.03
3qbf-5cnf-80var-1280cl.8
UNSAT
0.03
2qbf-5cnf-160var-5120cl.5
UNSAT
0.03
ncf_8_16_8_d.1
SAT
0.03
x25.3
UNSAT
0.03
irst.dme6.B-d2
SAT
0.03
nusmv.dme2-16.B-d2
SAT
0.03
vis.emodel.E-d2
SAT
0.03
texas.ifetch1^1.E-f2
UNSAT
0.03
texas.ifetch1^2.E-f2
UNSAT
0.03
texas.ifetch1^3.E-f2
UNSAT
0.03
sortnetsort10.AE.stepl.004
SAT
0.03
sortnetsort8.AE.stepl.007
SAT
0.03
4qbf-5cnf-80var-1280cl.5
UNSAT
0.04
C432.blif_0.10_0.20_0_1_inp_exact
SAT
0.04
5qbf-5cnf-160var-5120cl.8
UNSAT
0.04
ncf_4_8_4_euad.8
UNSAT
0.04
ncf_8_16_4_u.6
UNSAT
0.04
5qbf-5cnf-160var-5120cl.0
UNSAT
0.04
k_lin_n-4
SAT
0.04
CHAIN21v.22
SAT
0.04
3qbf-5cnf-40var-320cl.2
SAT
0.04
6qbf-5cnf-160var-5120cl.5
UNSAT
0.04
ncf_16_32_2_edau.7
UNSAT
0.04
2qbf-5cnf-160var-5120cl.6
UNSAT
0.04
k_dum_n-12
SAT
0.04
2qbf-5cnf-40var-320cl.3
UNSAT
0.04
6qbf-5cnf-20var-160cl.1
SAT
0.04
4qbf-5cnf-160var-5120cl.6
UNSAT
0.04
x15.0
UNSAT
0.04
x15.7
UNSAT
0.04
sortnetsort8.AE.stepl.008
SAT
0.04
sortnetsort9.AE.stepl.006
SAT
0.04
ncf_4_16_4_d.9
SAT
0.05
5qbf-5cnf-80var-640cl.0
SAT
0.05
ncf_4_16_4_edau.6
UNSAT
0.05
3qbf-5cnf-40var-320cl.1
SAT
0.05
ncf_4_16_2_d.7
SAT
0.05
k_dum_n-16
SAT
0.05
5qbf-5cnf-40var-640cl.3
UNSAT
0.05
ncf_16_32_2_u.7
UNSAT
0.05
2qbf-5cnf-80var-640cl.0
UNSAT
0.05
qshifter_5
SAT
0.05
6qbf-5cnf-80var-1280cl.3
UNSAT
0.05
2qbf-5cnf-40var-320cl.0
UNSAT
0.05
5qbf-5cnf-40var-640cl.6
UNSAT
0.05
k_poly_n-8
SAT
0.05
ncf_4_8_4_euad.1
SAT
0.05
ncf_4_8_2_u.6
SAT
0.05
5qbf-5cnf-160var-5120cl.9
UNSAT
0.05
5qbf-5cnf-40var-640cl.4
UNSAT
0.05
6qbf-5cnf-20var-160cl.7
SAT
0.05
3qbf-5cnf-40var-320cl.9
SAT
0.05
x15.1
SAT
0.05
x155.7
SAT
0.05
x30.1
UNSAT
0.05
sortnetsort10.AE.stepl.005
SAT
0.05
sortnetsort8.AE.stepl.009
SAT
0.05
sortnetsort9.AE.stepl.007
SAT
0.05
sortnetsort9.AE.stepl.008
SAT
0.05
5qbf-5cnf-20var-320cl.9
UNSAT
0.06
5qbf-5cnf-160var-5120cl.5
UNSAT
0.06
3qbf-5cnf-80var-1280cl.2
UNSAT
0.06
5qbf-5cnf-80var-2560cl.5
UNSAT
0.06
ncf_4_8_4_euad.3
UNSAT
0.06
ncf_4_8_8_edau.1
SAT
0.06
5qbf-5cnf-160var-5120cl.4
UNSAT
0.06
2qbf-5cnf-40var-320cl.1
UNSAT
0.06
ncf_4_8_4_u.3
UNSAT
0.06
x160.1
SAT
0.06
x165.3
SAT
0.06
x20.1
UNSAT
0.06
sortnetsort10.AE.stepl.006
SAT
0.06
3qbf-5cnf-40var-320cl.3
SAT
0.07
lut4_2_fXOR
SAT
0.07
ncf_4_8_2_u.3
UNSAT
0.07
CHAIN22v.23
SAT
0.07
6qbf-5cnf-40var-640cl.6
UNSAT
0.07
6qbf-5cnf-40var-640cl.2
UNSAT
0.07
ncf_4_8_4_u.10
SAT
0.07
x15.2
UNSAT
0.07
x155.1
SAT
0.07
x155.4
SAT
0.07
x160.2
SAT
0.07
x160.6
SAT
0.07
x160.9
SAT
0.07
x165.4
SAT
0.07
x165.6
SAT
0.07
x165.9
SAT
0.07
x170.8
SAT
0.07
x170.9
SAT
0.07
x180.7
SAT
0.07
x185.0
SAT
0.07
x185.3
SAT
0.07
eijk.S1238.S-d2
SAT
0.07
5qbf-5cnf-40var-640cl.2
UNSAT
0.08
CHAIN23v.24
SAT
0.08
3qbf-5cnf-40var-320cl.5
UNSAT
0.08
3qbf-5cnf-40var-320cl.4
SAT
0.08
x155.0
SAT
0.08
x155.3
SAT
0.08
x155.5
SAT
0.08
x155.8
SAT
0.08
x155.9
SAT
0.08
x160.0
SAT
0.08
x160.4
SAT
0.08
x160.5
SAT
0.08
x160.7
SAT
0.08
x165.0
SAT
0.08
x165.1
SAT
0.08
x165.2
SAT
0.08
x165.5
SAT
0.08
x165.7
SAT
0.08
x165.8
SAT
0.08
x170.0
SAT
0.08
x170.1
SAT
0.08
x170.7
SAT
0.08
x175.2
SAT
0.08
x175.9
SAT
0.08
x180.1
SAT
0.08
x180.3
SAT
0.08
x190.0
SAT
0.08
x190.3
SAT
0.08
x195.5
SAT
0.08
sortnetsort10.AE.stepl.007
SAT
0.08
k_branch_n-4
SAT
0.09
k_dum_n-21
SAT
0.09
ncf_4_8_4_euad.10
SAT
0.09
1qbf-5cnf-160var-2560cl.8
SAT
0.09
x155.2
SAT
0.09
x155.6
SAT
0.09
x15.8
SAT
0.09
x160.3
SAT
0.09
x160.8
SAT
0.09
x170.2
SAT
0.09
x170.3
SAT
0.09
x170.5
SAT
0.09
x170.6
SAT
0.09
x175.0
SAT
0.09
x175.1
SAT
0.09
x175.3
SAT
0.09
x175.4
SAT
0.09
x175.6
SAT
0.09
x180.0
SAT
0.09
x180.2
SAT
0.09
x180.6
SAT
0.09
x180.8
SAT
0.09
x180.9
SAT
0.09
x185.1
SAT
0.09
x185.2
SAT
0.09
x185.4
SAT
0.09
x185.6
SAT
0.09
x190.1
SAT
0.09
x190.4
SAT
0.09
x190.5
SAT
0.09
x190.6
SAT
0.09
x190.8
SAT
0.09
x195.0
SAT
0.09
x195.6
SAT
0.09
x195.8
SAT
0.09
sortnetsort5.v.stepl.003
UNSAT
0.09
sortnetsort9.AE.stepl.009
SAT
0.09
4qbf-5cnf-160var-2560cl.0
UNSAT
0.1
4qbf-5cnf-80var-320cl.0
SAT
0.1
6qbf-5cnf-20var-320cl.2
UNSAT
0.1
5qbf-5cnf-80var-1280cl.6
UNSAT
0.1
ncf_4_8_2_euad.3
UNSAT
0.1
3qbf-5cnf-40var-640cl.2
UNSAT
0.1
6qbf-5cnf-80var-640cl.0
UNSAT
0.1
x170.4
SAT
0.1
x175.5
SAT
0.1
x175.7
SAT
0.1
x180.4
SAT
0.1
x180.5
SAT
0.1
x185.5
SAT
0.1
x185.7
SAT
0.1
x185.9
SAT
0.1
x190.2
SAT
0.1
x190.7
SAT
0.1
x190.9
SAT
0.1
x195.2
SAT
0.1
x195.3
SAT
0.1
x195.4
SAT
0.1
x210.3
SAT
0.1
x215.1
SAT
0.1
x215.3
SAT
0.1
ncf_4_16_4_euad.9
SAT
0.11
6qbf-5cnf-40var-640cl.0
UNSAT
0.11
6qbf-5cnf-20var-160cl.5
SAT
0.11
5qbf-5cnf-80var-1280cl.3
UNSAT
0.11
5qbf-5cnf-40var-320cl.5
SAT
0.11
k_poly_n-12
SAT
0.11
x175.8
SAT
0.11
x185.8
SAT
0.11
x195.1
SAT
0.11
x195.7
SAT
0.11
x195.9
SAT
0.11
x205.0
SAT
0.11
x205.5
SAT
0.11
x210.4
SAT
0.11
x210.6
SAT
0.11
x215.5
SAT
0.11
x215.9
SAT
0.11
sortnetsort10.AE.stepl.008
SAT
0.11
sortnetsort9.AE.stepl.010
SAT
0.11
sortnetsort9.AE.stepl.011
SAT
0.11
sortnetsort9.AE.stepl.012
SAT
0.11
ncf_4_8_4_u.5
SAT
0.12
ncf_4_8_4_euad.5
SAT
0.12
4qbf-5cnf-160var-2560cl.2
UNSAT
0.12
3qbf-5cnf-80var-1280cl.3
UNSAT
0.12
ncf_4_8_4_euad.6
SAT
0.12
k_dum_n-20
SAT
0.12
6qbf-5cnf-80var-1280cl.7
UNSAT
0.12
ncf_4_32_2_u.9
UNSAT
0.12
x15.3
SAT
0.12
x200.1
SAT
0.12
x200.2
SAT
0.12
x200.3
SAT
0.12
x200.7
SAT
0.12
x200.8
SAT
0.12
x210.0
SAT
0.12
x210.1
SAT
0.12
x210.5
SAT
0.12
x210.7
SAT
0.12
x215.0
SAT
0.12
x215.2
SAT
0.12
x215.6
SAT
0.12
x215.7
SAT
0.12
x220.5
SAT
0.12
x225.1
SAT
0.12
x225.8
SAT
0.12
x235.2
SAT
0.12
x25.4
UNSAT
0.12
sortnetsort10.AE.stepl.009
SAT
0.12
6qbf-5cnf-80var-1280cl.1
UNSAT
0.13
4qbf-5cnf-160var-2560cl.6
UNSAT
0.13
ncf_4_8_4_euad.4
UNSAT
0.13
x200.0
SAT
0.13
x200.4
SAT
0.13
x200.5
SAT
0.13
x200.6
SAT
0.13
x200.9
SAT
0.13
x205.1
SAT
0.13
x205.2
SAT
0.13
x205.3
SAT
0.13
x205.4
SAT
0.13
x205.6
SAT
0.13
x205.7
SAT
0.13
x205.8
SAT
0.13
x210.2
SAT
0.13
x210.8
SAT
0.13
x210.9
SAT
0.13
x215.4
SAT
0.13
x215.8
SAT
0.13
x220.6
SAT
0.13
x220.7
SAT
0.13
x225.0
SAT
0.13
x225.2
SAT
0.13
x225.3
SAT
0.13
x225.4
SAT
0.13
x225.6
SAT
0.13
x225.7
SAT
0.13
x230.1
SAT
0.13
x230.3
SAT
0.13
x230.5
SAT
0.13
x235.5
SAT
0.13
x235.6
SAT
0.13
x240.4
SAT
0.13
sortnetsort10.AE.stepl.010
SAT
0.13
5qbf-5cnf-80var-1280cl.9
UNSAT
0.14
ncf_4_8_4_u.1
SAT
0.14
x15.9
UNSAT
0.14
x205.9
SAT
0.14
x20.5
SAT
0.14
x220.1
SAT
0.14
x220.2
SAT
0.14
x220.3
SAT
0.14
x220.8
SAT
0.14
x220.9
SAT
0.14
x225.9
SAT
0.14
x230.0
SAT
0.14
x230.6
SAT
0.14
x230.7
SAT
0.14
x230.8
SAT
0.14
x230.9
SAT
0.14
x235.0
SAT
0.14
x235.1
SAT
0.14
x235.7
SAT
0.14
x235.8
SAT
0.14
x235.9
SAT
0.14
x240.0
SAT
0.14
x240.1
SAT
0.14
x240.3
SAT
0.14
x245.5
SAT
0.14
x245.8
SAT
0.14
x250.3
SAT
0.14
x250.5
SAT
0.14
x250.8
SAT
0.14
3qbf-5cnf-80var-1280cl.4
UNSAT
0.15
6qbf-5cnf-40var-640cl.1
UNSAT
0.15
6qbf-5cnf-20var-160cl.2
SAT
0.15
x220.0
SAT
0.15
x220.4
SAT
0.15
x225.5
SAT
0.15
x230.2
SAT
0.15
x230.4
SAT
0.15
x235.3
SAT
0.15
x235.4
SAT
0.15
x240.2
SAT
0.15
x240.5
SAT
0.15
x240.6
SAT
0.15
x245.0
SAT
0.15
x245.2
SAT
0.15
x245.3
SAT
0.15
x245.6
SAT
0.15
x245.9
SAT
0.15
x250.1
SAT
0.15
x250.2
SAT
0.15
x250.4
SAT
0.15
x250.6
SAT
0.15
x250.9
SAT
0.15
ncf_4_16_2_euad.7
SAT
0.16
6qbf-5cnf-80var-1280cl.5
UNSAT
0.16
x240.7
SAT
0.16
x240.8
SAT
0.16
x240.9
SAT
0.16
x245.1
SAT
0.16
x245.4
SAT
0.16
x245.7
SAT
0.16
x250.0
SAT
0.16
x250.7
SAT
0.16
x30.7
UNSAT
0.16
T-edau-1
UNSAT
0.16
2qbf-5cnf-40var-320cl.2
UNSAT
0.17
ncf_4_8_2_euad.2
SAT
0.17
x20.2
SAT
0.17
x300.9
SAT
0.17
T-edau-8
UNSAT
0.17
sortnetsort10.AE.stepl.011
SAT
0.17
3qbf-5cnf-160var-2560cl.9
UNSAT
0.18
k_poly_n-16
SAT
0.18
6qbf-5cnf-80var-1280cl.9
UNSAT
0.18
x300.0
SAT
0.18
x300.1
SAT
0.18
x300.2
SAT
0.18
x300.7
SAT
0.18
x300.8
SAT
0.18
ncf_4_16_2_u.2
SAT
0.19
5qbf-5cnf-40var-320cl.9
SAT
0.19
ncf_8_16_4_edau.7
SAT
0.19
x300.3
SAT
0.19
x300.4
SAT
0.19
x300.5
SAT
0.19
x300.6
SAT
0.19
sortnetsort10.AE.stepl.012
SAT
0.19
ncf_4_8_8_u.1
SAT
0.2
ncf_8_16_8_edau.7
UNSAT
0.2
4qbf-5cnf-20var-160cl.0
UNSAT
0.2
T-edau-3
UNSAT
0.2
T-edau-9
UNSAT
0.2
6qbf-5cnf-20var-160cl.4
SAT
0.21
5qbf-5cnf-160var-5120cl.7
UNSAT
0.21
ncf_8_16_4_u.3
SAT
0.21
6qbf-5cnf-80var-1280cl.0
UNSAT
0.21
x20.8
SAT
0.21
ncf_4_16_4_edau.5
SAT
0.22
4qbf-5cnf-20var-160cl.8
UNSAT
0.22
x350.0
SAT
0.22
x350.5
SAT
0.22
x350.8
SAT
0.22
x350.9
SAT
0.22
x350.1
SAT
0.23
5qbf-5cnf-80var-1280cl.4
UNSAT
0.24
ncf_8_16_4_u.10
SAT
0.24
ncf_4_32_2_u.8
SAT
0.24
ncf_8_16_4_u.7
SAT
0.24
6qbf-5cnf-80var-1280cl.8
UNSAT
0.24
1qbf-5cnf-160var-2560cl.0
SAT
0.24
x350.2
SAT
0.24
x350.3
SAT
0.24
x350.4
SAT
0.24
x350.7
SAT
0.24
ncf_4_16_2_edau.2
SAT
0.25
ncf_8_16_4_edau.10
SAT
0.25
6qbf-5cnf-80var-1280cl.6
UNSAT
0.25
6qbf-5cnf-160var-2560cl.9
UNSAT
0.25
ncf_4_8_4_u.7
UNSAT
0.25
x350.6
SAT
0.25
ncf_4_16_2_euad.2
SAT
0.26
6qbf-5cnf-20var-160cl.8
SAT
0.26
5qbf-5cnf-80var-1280cl.2
UNSAT
0.26
6qbf-5cnf-160var-2560cl.5
UNSAT
0.26
x400.7
SAT
0.26
x45.6
UNSAT
0.26
ncf_4_16_2_d.2
SAT
0.27
k_poly_n-20
SAT
0.27
5qbf-5cnf-80var-1280cl.5
UNSAT
0.27
x400.1
SAT
0.27
x400.2
SAT
0.27
x400.3
SAT
0.27
T-edau-4
UNSAT
0.27
ncf_4_16_4_u.5
SAT
0.28
5qbf-5cnf-160var-5120cl.1
UNSAT
0.28
3qbf-5cnf-80var-1280cl.1
UNSAT
0.28
toilet_c_10_05.7
SAT
0.28
x400.4
SAT
0.29
x400.5
SAT
0.29
x400.8
SAT
0.29
T-edau-5
UNSAT
0.29
6qbf-5cnf-160var-2560cl.4
UNSAT
0.3
x400.0
SAT
0.3
x400.6
SAT
0.3
x400.9
SAT
0.3
ncf_4_32_2_edau.8
SAT
0.31
6qbf-5cnf-20var-160cl.6
SAT
0.31
k_poly_n-21
SAT
0.31
3qbf-5cnf-80var-1280cl.9
UNSAT
0.32
s27_d3_u
UNSAT
0.33
T-adeu-1
UNSAT
0.33
eijk.S1196.S-d2
SAT
0.33
4qbf-5cnf-160var-2560cl.7
UNSAT
0.34
ncf_4_16_2_edau.10
UNSAT
0.34
ncf_4_8_4_euad.7
UNSAT
0.34
6qbf-5cnf-160var-2560cl.0
UNSAT
0.34
ncf_4_8_4_u.4
UNSAT
0.34
6qbf-5cnf-20var-160cl.9
SAT
0.35
ncf_4_16_2_d.4
SAT
0.35
T-edau-2
UNSAT
0.35
ncf_4_16_2_d.10
UNSAT
0.36
x20.6
SAT
0.36
4qbf-5cnf-20var-160cl.4
UNSAT
0.37
ev-pr-8x8-5-7-0-1-2-lg
UNSAT
0.37
x20.7
SAT
0.38
ncf_4_16_4_euad.5
SAT
0.39
6qbf-5cnf-160var-2560cl.2
UNSAT
0.4
6qbf-5cnf-80var-1280cl.2
UNSAT
0.41
ncf_4_16_2_euad.4
SAT
0.41
vis.elevator^1.E-f2
UNSAT
0.42
ncf_4_16_4_edau.4
UNSAT
0.43
6qbf-5cnf-80var-1280cl.4
UNSAT
0.43
x20.9
SAT
0.43
k_lin_n-8
SAT
0.44
3qbf-5cnf-80var-1280cl.0
UNSAT
0.45
4qbf-5cnf-160var-2560cl.1
UNSAT
0.45
x20.0
SAT
0.46
T-adeu-5
UNSAT
0.46
T-edau-7
UNSAT
0.46
5qbf-5cnf-80var-1280cl.7
UNSAT
0.47
ncf_4_8_8_edau.8
SAT
0.47
3qbf-5cnf-80var-1280cl.5
UNSAT
0.48
5qbf-5cnf-80var-1280cl.8
UNSAT
0.48
T-adeu-8
UNSAT
0.48
ncf_4_16_2_u.4
SAT
0.49
counter_8
SAT
0.5
ncf_8_16_4_edau.3
SAT
0.5
T-adeu-3
UNSAT
0.5
ncf_4_16_2_edau.4
SAT
0.51
ncf_8_16_8_edau.8
UNSAT
0.51
ncf_4_16_2_edau.8
SAT
0.54
T-adeu-7
UNSAT
0.55
T-adeu-4
UNSAT
0.56
ncf_8_16_4_d.10
SAT
0.59
BLOCKS3iii.5
SAT
0.59
6qbf-5cnf-160var-2560cl.3
UNSAT
0.6
x20.3
UNSAT
0.63
sortnetsort6.v.stepl.003
UNSAT
0.64
2qbf-5cnf-40var-320cl.7
UNSAT
0.65
ncf_4_16_4_u.6
UNSAT
0.66
4qbf-5cnf-20var-160cl.1
UNSAT
0.67
qshifter_6
SAT
0.67
ncf_4_8_8_d.1
SAT
0.68
ncf_4_8_8_euad.1
SAT
0.68
ncf_4_8_8_u.8
SAT
0.7
4qbf-5cnf-80var-320cl.6
SAT
0.71
ncf_8_16_4_euad.10
SAT
0.72
counter_re_4
SAT
0.72
ncf_4_8_8_euad.8
SAT
0.73
5qbf-5cnf-80var-640cl.4
SAT
0.73
k_dum_p-12
UNSAT
0.76
ncf_4_16_2_euad.1
FAIL
0.77
connect_8x7_4_W
UNSAT
0.79
k_grz_p-4
UNSAT
0.8
ncf_4_8_8_edau.10
SAT
0.8
connect_8x7_4_D
UNSAT
0.82
T-edau-6
UNSAT
0.82
4qbf-5cnf-160var-2560cl.4
UNSAT
0.83
ncf_4_16_2_d.5
FAIL
0.84
x25.9
UNSAT
0.84
connect_8x7_3_W
UNSAT
0.87
ncf_4_16_2_edau.1
UNSAT
0.88
ncf_4_16_2_d.1
FAIL
0.88
ncf_4_16_2_d.8
SAT
0.88
ncf_4_16_2_euad.8
FAIL
0.89
connect_8x7_3_D
UNSAT
0.89
ncf_4_16_4_edau.10
UNSAT
0.94
ncf_16_32_4_edau.10
UNSAT
0.94
4qbf-5cnf-40var-320cl.9
UNSAT
0.94
5qbf-5cnf-80var-640cl.5
SAT
0.95
k_path_n-8
SAT
0.96
3qbf-5cnf-80var-1280cl.7
UNSAT
0.96
2qbf-5cnf-40var-160cl.2
UNSAT
0.98
ncf_4_16_2_euad.5
FAIL
1.02
4qbf-5cnf-80var-320cl.5
SAT
1.03
ncf_4_16_4_edau.7
SAT
1.03
ncf_4_16_2_u.10
UNSAT
1.03
ncf_4_32_2_edau.2
SAT
1.04
k_grz_n-8
SAT
1.11
ncf_4_8_8_euad.3
SAT
1.11
ncf_4_16_2_u.1
UNSAT
1.12
1qbf-5cnf-160var-2560cl.2
SAT
1.16
ncf_4_16_2_u.8
FAIL
1.18
T-adeu-9
UNSAT
1.19
ncf_4_16_4_d.5
SAT
1.2
3qbf-5cnf-160var-2560cl.4
UNSAT
1.21
connect_9x8_5_W
UNSAT
1.29
C880.blif_0.10_1.00_0_1_inp_exact
SAT
1.3
4qbf-5cnf-20var-160cl.2
SAT
1.32
connect_9x8_5_D
UNSAT
1.33
6qbf-5cnf-40var-320cl.0
FAIL
1.34
ncf_4_8_8_d.8
SAT
1.36
ncf_4_16_2_edau.3
FAIL
1.37
ncf_4_16_2_u.5
UNSAT
1.38
ncf_4_16_4_euad.1
SAT
1.39
k_dum_p-16
UNSAT
1.39
ncf_4_16_4_d.1
SAT
1.41
ncf_4_16_2_euad.10
FAIL
1.42
connect_9x8_4_W
UNSAT
1.45
connect_9x8_4_D
UNSAT
1.46
1qbf-5cnf-160var-2560cl.1
SAT
1.46
lognBWLARGEA1
UNSAT
1.47
connect_9x8_3_W
UNSAT
1.5
ncf_4_32_2_edau.10
SAT
1.5
x25.8
UNSAT
1.5
5qbf-5cnf-80var-1280cl.1
UNSAT
1.51
connect_9x8_3_D
UNSAT
1.51
5qbf-5cnf-160var-2560cl.0
UNSAT
1.54
ncf_4_16_2_d.3
UNSAT
1.55
ncf_8_16_8_edau.6
UNSAT
1.56
ncf_4_16_4_u.8
SAT
1.58
4qbf-5cnf-40var-320cl.7
UNSAT
1.6
x30.2
UNSAT
1.63
6qbf-5cnf-40var-320cl.7
FAIL
1.68
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
UNSAT
1.69
ncf_4_8_8_u.10
SAT
1.71
T-edau-0
UNSAT
1.73
x25.0
SAT
1.76
6qbf-5cnf-40var-320cl.5
FAIL
1.78
3qbf-5cnf-160var-2560cl.5
UNSAT
1.81
5qbf-5cnf-80var-640cl.9
SAT
1.87
2qbf-5cnf-80var-640cl.1
UNSAT
1.87
lut4_2_f1
SAT
1.93
ncf_4_16_2_edau.5
UNSAT
1.96
sortnetsort5.v.stepl.004
UNSAT
1.96
T-adeu-2
UNSAT
1.97
k_lin_n-12
SAT
1.98
ncf_4_16_4_edau.8
SAT
2.04
lut4_AND_f1
SAT
2.08
k_grz_p-8
UNSAT
2.11
T-adeu-6
UNSAT
2.11
k_dum_p-20
UNSAT
2.14
x25.2
SAT
2.15
ncf_4_16_4_d.6
UNSAT
2.21
k_t4p_p-4
UNSAT
2.24
ncf_16_32_4_u.10
UNSAT
2.25
ncf_4_16_2_euad.3
FAIL
2.28
k_dum_p-21
UNSAT
2.32
5qbf-5cnf-80var-640cl.6
SAT
2.53
ncf_4_8_8_d.3
SAT
2.54
ncf_4_16_4_euad.8
SAT
2.56
k_branch_p-8
UNSAT
2.56
x25.5
UNSAT
2.61
BLOCKS3ii.5.2
UNSAT
2.62
ncf_8_16_8_euad.7
UNSAT
2.68
x25.1
SAT
2.7
6qbf-5cnf-40var-320cl.9
FAIL
2.77
6qbf-5cnf-160var-2560cl.1
UNSAT
2.77
ncf_4_16_4_d.7
SAT
2.78
ncf_8_16_8_d.7
UNSAT
3.01
ncf_4_32_2_u.10
SAT
3.04
sortnetsort5.v.stepl.006
SAT
3.12
S-edau-5
UNSAT
3.19
S-edau-8
UNSAT
3.19
S-edau-1
UNSAT
3.21
S-edau-9
UNSAT
3.23
ncf_4_16_4_u.4
UNSAT
3.24
5qbf-5cnf-40var-320cl.6
SAT
3.24
S-adeu-8
UNSAT
3.28
S-edau-3
UNSAT
3.28
S-adeu-3
UNSAT
3.29
S-adeu-9
UNSAT
3.29
S-adeu-1
UNSAT
3.32
6qbf-5cnf-40var-320cl.3
FAIL
3.37
S-edau-4
UNSAT
3.45
ncf_4_16_4_d.8
SAT
3.47
S-adeu-5
UNSAT
3.47
5qbf-5cnf-80var-1280cl.0
UNSAT
3.5
6qbf-5cnf-160var-2560cl.7
UNSAT
3.55
k_path_p-8
UNSAT
3.59
3qbf-5cnf-160var-2560cl.3
UNSAT
3.7
x40.8
UNSAT
3.72
x25.7
UNSAT
3.79
S-adeu-7
UNSAT
3.82
lognBWLARGEB1
UNSAT
3.85
S-adeu-4
UNSAT
3.85
S-edau-2
UNSAT
3.85
C6288.blif_0.10_1.00_0_1_out_exact
SAT
3.89
6qbf-5cnf-40var-320cl.4
FAIL
3.9
S-edau-7
UNSAT
3.96
k_d4_p-8
UNSAT
4.07
x30.9
UNSAT
4.21
x30.4
SAT
4.22
ncf_4_8_8_d.2
UNSAT
4.34
ncf_8_16_8_euad.8
UNSAT
4.53
2qbf-5cnf-40var-160cl.1
UNSAT
4.57
k_d4_n-4
SAT
4.64
4qbf-5cnf-40var-320cl.6
UNSAT
4.7
T-adeu-0
UNSAT
4.72
term1.blif_0.10_1.00_0_0_inp_exact
UNSAT
4.74
S-edau-6
UNSAT
4.79
4qbf-5cnf-20var-160cl.6
UNSAT
4.88
2qbf-5cnf-80var-640cl.4
UNSAT
5.33
x45.2
UNSAT
5.39
6qbf-5cnf-20var-160cl.0
FAIL
5.4
robots_1_5_5_26.4
SAT
5.55
robots_1_5_5_66.4
SAT
5.58
6qbf-5cnf-160var-2560cl.8
UNSAT
5.66
5qbf-5cnf-160var-2560cl.2
UNSAT
5.69
qshifter_7
SAT
5.75
k_lin_n-16
SAT
5.76
ncf_4_16_4_d.10
UNSAT
5.78
C880.blif_0.10_1.00_0_1_out_exact
SAT
5.83
term1.blif_0.10_1.00_0_0_out_exact
UNSAT
5.92
toilet_a_10_05.4
SAT
6.22
ncf_4_8_8_euad.7
SAT
6.29
ncf_4_16_4_u.10
UNSAT
6.38
ncf_8_16_8_d.8
UNSAT
6.41
6qbf-5cnf-160var-2560cl.6
UNSAT
6.53
ncf_16_32_2_u.10
UNSAT
6.55
S-adeu-6
UNSAT
6.58
sortnetsort5.v.stepl.005
SAT
6.8
ncf_4_8_8_u.3
SAT
6.84
x30.5
UNSAT
6.87
ncf_4_16_4_edau.1
SAT
6.94
ncf_4_16_4_u.1
SAT
6.99
sortnetsort7.v.stepl.003
UNSAT
7.08
ncf_4_32_2_edau.7
SAT
7.56
3qbf-5cnf-160var-2560cl.6
UNSAT
7.57
x30.6
SAT
7.79
ncf_4_8_8_d.7
SAT
7.92
ncf_4_8_8_edau.6
UNSAT
7.98
S-edau-0
UNSAT
8.15
S-adeu-2
UNSAT
8.23
4qbf-5cnf-40var-320cl.0
UNSAT
8.31
ncf_4_16_2_u.3
FAIL
8.34
ncf_16_32_8_euad.3
SAT
8.59
ncf_4_16_4_u.7
SAT
8.79
5qbf-5cnf-160var-2560cl.5
UNSAT
9.03
ncf_4_8_8_euad.5
UNSAT
9.18
x35.3
UNSAT
9.57
ncf_16_32_2_edau.10
UNSAT
9.71
ncf_4_8_8_d.5
UNSAT
9.9
ncf_4_8_8_edau.7
SAT
10.03
k_ph_n-8
SAT
10.11
3qbf-5cnf-160var-2560cl.2
UNSAT
10.41
2qbf-5cnf-80var-640cl.9
UNSAT
10.43
5qbf-5cnf-80var-640cl.1
SAT
10.44
4qbf-5cnf-20var-160cl.7
UNSAT
11.62
ncf_8_16_8_d.9
UNSAT
11.82
ncf_4_8_8_d.10
SAT
11.84
k_lin_n-20
SAT
12.34
x50.4
UNSAT
12.67
5qbf-5cnf-160var-2560cl.9
UNSAT
12.88
ncf_8_16_4_d.7
SAT
13.53
ev-pr-8x8-7-7-0-1-2-lg
UNSAT
13.7
x30.8
UNSAT
13.94
ncf_4_8_8_edau.3
SAT
13.97
x35.6
UNSAT
14.14
k_lin_n-21
SAT
14.52
x30.0
UNSAT
14.52
ncf_8_16_4_euad.7
SAT
14.69
ncf_4_16_4_d.4
UNSAT
14.83
ncf_8_16_4_d.3
SAT
14.91
4qbf-5cnf-80var-320cl.8
SAT
15.42
x50.7
UNSAT
15.62
S-adeu-0
UNSAT
16.16
Adder2-4-c
UNSAT
17.3
BLOCKS3ii.5.3
SAT
17.55
4qbf-5cnf-20var-160cl.5
UNSAT
17.83
ncf_4_16_4_euad.2
SAT
18
x35.2
SAT
18.17
x40.5
UNSAT
18.29
k_t4p_n-4
SAT
18.52
ncf_4_16_4_edau.2
SAT
18.57
texas.PI_main^14.E-f2
UNSAT
19.01
x35.0
UNSAT
19.13
ncf_16_32_2_u.2
UNSAT
19.16
ncf_4_8_8_u.5
UNSAT
19.29
vis.eisenberg.E-f2
SAT
19.68
sortnetsort6.v.stepl.004
UNSAT
19.85
ncf_4_16_4_d.3
SAT
21.27
ncf_4_8_8_euad.10
SAT
21.76
texas.parsesys^3.E-f2
SAT
21.79
ncf_8_16_4_euad.4
SAT
22.4
ncf_8_16_4_euad.3
SAT
22.41
ncf_8_16_4_d.4
SAT
24.14
3qbf-5cnf-160var-2560cl.0
UNSAT
24.21
5qbf-5cnf-160var-2560cl.7
UNSAT
25.46
sortnetsort5.v.stepl.007
SAT
25.72
5qbf-5cnf-160var-2560cl.6
UNSAT
25.75
sortnetsort6.v.stepl.005
SAT
26.45
nusmv.dme1-16.B-d2
SAT
26.54
x35.7
UNSAT
26.66
ncf_16_32_2_u.4
UNSAT
26.76
x45.8
UNSAT
27.29
4qbf-5cnf-20var-160cl.9
SAT
28
ncf_4_16_4_euad.7
SAT
29.22
3qbf-5cnf-160var-2560cl.1
UNSAT
29.62
ncf_4_8_8_d.6
UNSAT
31.05
x30.3
SAT
31.44
connect_5x4_4_R
UNSAT
32.21
ncf_4_16_4_euad.10
UNSAT
33.37
ncf_4_16_8_d.5
UNSAT
33.9
ncf_16_32_2_d.2
UNSAT
34.02
nusmv.syncarb5^2.B-f2
SAT
34.06
ncf_16_32_8_d.3
SAT
34.72
ev-pr-6x6-7-5-0-1-2-lg
UNSAT
35.86
ncf_8_16_8_euad.9
UNSAT
35.94
ncf_8_16_4_edau.9
UNSAT
36.26
ncf_4_8_8_euad.2
UNSAT
36.67
ncf_4_16_8_euad.7
SAT
36.79
ncf_8_16_4_d.9
UNSAT
37.44
s27_d4_u
UNSAT
38.95
x40.0
UNSAT
39.24
ncf_4_16_8_euad.9
SAT
40.04
ncf_8_16_8_edau.9
UNSAT
41.97
x35.4
UNSAT
43.44
ncf_4_16_8_u.9
SAT
43.75
x40.4
UNSAT
44.41
ncf_16_32_4_u.9
SAT
44.52
2qbf-5cnf-40var-320cl.6
UNSAT
44.85
x40.1
UNSAT
45.97
4qbf-5cnf-80var-320cl.4
SAT
45.98
ncf_16_32_2_edau.4
UNSAT
46.38
k_branch_n-8
SAT
47.24
k_d4_p-12
UNSAT
47.98
x35.5
UNSAT
48.57
vis.bakery.E-f2
SAT
50.09
k_poly_p-12
UNSAT
51.66
ncf_4_16_4_d.2
SAT
52.79
qshifter_8
SAT
53.65
TOILET7.1.iv.13
UNSAT
56.09
x65.9
UNSAT
58.03
2qbf-5cnf-80var-640cl.5
UNSAT
58.27
ncf_4_32_2_u.7
SAT
58.38
sortnetsort5.AE.stepl.003
SAT
58.56
x45.4
UNSAT
59.09
ncf_4_8_8_edau.5
UNSAT
59.26
ncf_16_32_4_edau.9
SAT
59.49
x65.7
UNSAT
59.85
6qbf-5cnf-40var-320cl.2
FAIL
64.6
connect_5x4_3_R
UNSAT
65.46
3qbf-5cnf-160var-2560cl.8
UNSAT
66.64
toilet_a_10_01.16
UNSAT
70.07
Adder2-4-s
SAT
72.59
x35.9
SAT
73.28
2qbf-5cnf-80var-640cl.8
UNSAT
73.86
ncf_4_16_8_d.9
SAT
75.25
x35.8
SAT
77.07
ncf_16_32_8_u.3
SAT
78.66
ncf_4_16_4_euad.4
UNSAT
85.85
ncf_16_32_8_edau.4
SAT
87.23
ncf_4_16_8_d.8
UNSAT
87.8
ncf_4_16_4_euad.3
SAT
91.54
k_path_n-12
SAT
93.35
ncf_16_32_8_edau.3
SAT
94.17
5qbf-5cnf-160var-2560cl.8
UNSAT
96.13
5qbf-5cnf-160var-2560cl.4
UNSAT
98.65
ncf_8_16_8_d.2
SAT
99.21
ev-pr-8x8-9-7-0-1-2-lg
UNSAT
102.79
ncf_4_32_2_edau.6
UNSAT
103.66
ncf_4_16_8_d.10
SAT
104.11
x45.9
UNSAT
104.53
robots_1_5_4_31.4
SAT
111.23
robots_1_5_4_30.4
SAT
124.89
ncf_8_16_8_d.6
UNSAT
125.67
term1.blif_0.10_0.20_0_0_out_exact
FAIL
125.85
ncf_16_32_2_edau.2
UNSAT
125.89
term1.blif_0.10_0.20_0_0_inp_exact
UNSAT
126.43
ncf_8_16_4_edau.4
SAT
126.95
ncf_4_8_8_u.7
SAT
127.38
x35.1
SAT
127.87
ncf_8_16_4_u.4
SAT
130.21
ncf_8_16_8_d.4
UNSAT
135.77
robots_1_5_5_87.4
SAT
136.71
x40.3
UNSAT
136.87
ncf_4_8_8_euad.6
UNSAT
140.12
ncf_16_32_8_u.4
SAT
143.45
ncf_16_32_4_d.10
UNSAT
148.02
k_grz_p-12
UNSAT
152.2
ncf_8_16_8_euad.6
UNSAT
152.74
x60.4
UNSAT
152.97
ncf_8_16_4_euad.9
UNSAT
156.83
ncf_4_8_8_edau.2
UNSAT
163.47
ncf_16_32_4_euad.10
UNSAT
165.96
ncf_4_16_8_euad.10
SAT
167.12
x40.9
UNSAT
169.24
x70.7
UNSAT
169.81
ncf_4_16_8_euad.2
SAT
172.78
ncf_4_16_8_euad.8
UNSAT
182.71
texas.parsesys^1.E-f2
SAT
188.8
ncf_4_16_8_u.4
SAT
190.22
k_branch_p-12
UNSAT
190.85
comp.blif_0.10_0.20_0_0_out_exact
UNSAT
191.12
robots_1_5_3_66.4
SAT
191.33
sortnetsort8.v.stepl.003
UNSAT
192.18
ncf_4_16_8_d.7
SAT
192.8
2qbf-5cnf-160var-320cl.5
SAT
210.38
ncf_4_16_8_euad.4
SAT
216.13
ncf_4_16_4_euad.6
UNSAT
223.53
ev-pr-4x4-11-3-0-0-1-lg
SAT
232.54
ncf_16_32_4_d.7
UNSAT
233.41
x40.2
UNSAT
234.98
C432.blif_0.10_1.00_0_0_out_exact
UNSAT
239.79
ncf_8_16_4_u.9
UNSAT
242.85
ncf_16_32_2_u.3
SAT
245.77
k_grz_n-16
SAT
249.33
ncf_16_32_2_d.6
SAT
251.2
ncf_8_16_8_edau.4
UNSAT
251.24
x45.0
UNSAT
254.25
ncf_4_8_8_u.6
UNSAT
254.63
robots_1_5_3_100.4
SAT
255.54
robots_1_5_3_16.4
SAT
256.73
ncf_4_32_2_edau.4
UNSAT
257.12
robots_1_5_4_91.4
SAT
259.8
C499.blif_0.10_0.20_0_1_inp_exact
SAT
272.71
ncf_16_32_2_d.10
UNSAT
274.66
ev-pr-6x6-9-5-0-1-2-lg
UNSAT
276.06
k_poly_p-20
UNSAT
276.31
ncf_4_16_8_d.2
SAT
280.76
4qbf-5cnf-80var-320cl.3
SAT
289.91
ncf_16_32_2_edau.3
SAT
289.91
k_path_p-12
UNSAT
294.46
sortnetsort5.AE.stepl.006
UNSAT
295.9
k_poly_p-21
UNSAT
306.25
2qbf-5cnf-40var-160cl.7
UNSAT
320.53
ncf_16_32_8_euad.4
SAT
335.55
ncf_4_8_8_u.2
UNSAT
347.61
robots_1_5_5_34.4
SAT
351.97
ncf_8_16_8_d.5
SAT
354.06
ncf_16_32_4_euad.9
SAT
358.73
ncf_4_32_2_u.6
UNSAT
360.32
ncf_8_16_8_edau.5
SAT
370.29
vis.arbiter.E-f2
SAT
381.56
ncf_4_32_2_edau.5
UNSAT
382.21
robots_1_5_3_52.4
SAT
387.26
k_d4_p-16
UNSAT
392.93
x40.6
UNSAT
395.65
connect_6x5_5_R
UNSAT
395.81
x50.0
UNSAT
397.45
eijk.S208o.S-f2
SAT
398.6
robots_1_5_4_2.4
SAT
401.23
robots_1_5_5_8.4
SAT
408.28
robots_1_5_5_100.4
SAT
413.05
x55.3
UNSAT
420.04
ncf_8_16_8_euad.2
SAT
422.49
x55.4
UNSAT
425.87
nusmv.reactor^5.C-f2
UNSAT
427.2
robots_1_5_2_21.4
SAT
451.37
ncf_16_32_2_euad.2
UNSAT
466
5qbf-5cnf-160var-2560cl.1
UNSAT
481.53
ncf_8_16_8_euad.3
SAT
509.22
ncf_4_16_4_u.2
SAT
509.84
ncf_4_16_8_euad.6
SAT
514.24
x75.9
UNSAT
520.87
ev-pr-8x8-11-7-0-1-2-lg
UNSAT
529.72
sortnetsort6.v.stepl.006
SAT
538.62
C432.blif_0.10_0.20_0_0_inp_exact
UNSAT
540.07
ncf_8_16_8_euad.5
SAT
545.63
ncf_16_32_4_edau.8
SAT
552.71
sortnetsort5.AE.stepl.005
UNSAT
574.8
ncf_16_32_4_d.9
SAT
578.81
C5315.blif_0.10_1.00_0_1_out_exact
FAIL
600.74
szymanski-22-s
FAIL
600.77
C5315.blif_0.10_1.00_0_0_out_exact
FAIL
600.78
1qbf-5cnf-80var-2560cl.9
FAIL
600.81
x65.4
FAIL
600.81
szymanski-24-s
FAIL
600.83
2qbf-5cnf-80var-320cl.2
FAIL
600.86
x115.8
FAIL
600.9
comp.blif_0.10_1.00_0_0_out_exact
FAIL
600.91
adder-6-unsat
FAIL
600.92
adder-4-unsat
FAIL
600.92
1qbf-5cnf-160var-2560cl.9
FAIL
600.93
szymanski-18-s
FAIL
600.94
robots_1_5_3_24.4
FAIL
600.94
C499.blif_0.10_1.00_0_0_out_exact
FAIL
600.94
robots_1_5_2_99.4
FAIL
600.94
TOILET10.1.iv.20
FAIL
600.94
1qbf-5cnf-160var-2560cl.5
FAIL
600.94
ncf_16_32_8_u.10
FAIL
600.95
szymanski-20-s
FAIL
600.95
1qbf-5cnf-160var-2560cl.3
FAIL
600.95
adder-8-unsat
FAIL
600.96
robots_1_5_3_44.4
FAIL
600.96
szymanski-14-s
FAIL
600.96
k_ph_n-16
FAIL
600.96
szymanski-16-s
FAIL
600.96
1qbf-5cnf-80var-2560cl.5
FAIL
600.96
1qbf-5cnf-80var-2560cl.2
FAIL
600.96
1qbf-5cnf-160var-2560cl.6
FAIL
600.96
x110.7
FAIL
600.96
x120.5
FAIL
600.96
x85.1
FAIL
600.96
x85.9
FAIL
600.96
sortnetsort7.AE.stepl.008
FAIL
600.96
lut4_2_f2
FAIL
600.97
ncf_16_32_4_u.3
FAIL
600.97
szymanski-12-s
FAIL
600.97
ncf_16_32_8_u.6
FAIL
600.97
6qbf-5cnf-40var-320cl.8
FAIL
600.97
robots_1_5_2_100.4
FAIL
600.97
mutex-128-s
FAIL
600.97
1qbf-5cnf-160var-2560cl.4
FAIL
600.97
1qbf-5cnf-80var-2560cl.0
FAIL
600.97
x100.0
FAIL
600.97
x110.0
FAIL
600.97
x110.5
FAIL
600.97
x130.2
FAIL
600.97
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
600.97
mutex-64-s
FAIL
600.98
2qbf-5cnf-40var-160cl.9
FAIL
600.98
6qbf-5cnf-80var-640cl.5
FAIL
600.98
ncf_16_32_2_u.1
FAIL
600.98
ncf_16_32_4_edau.7
FAIL
600.98
robots_1_5_4_51.4
FAIL
600.98
k_t4p_p-21
FAIL
600.98
test3_quant2
FAIL
600.98
2qbf-5cnf-80var-320cl.6
FAIL
600.98
test5_quant5
FAIL
600.98
2qbf-5cnf-80var-640cl.7
FAIL
600.98
k_lin_p-12
FAIL
600.98
1qbf-5cnf-80var-2560cl.1
FAIL
600.98
1qbf-5cnf-80var-2560cl.3
FAIL
600.98
x105.2
FAIL
600.98
x110.4
FAIL
600.98
x115.2
FAIL
600.98
x120.9
FAIL
600.98
x125.0
FAIL
600.98
x125.3
FAIL
600.98
x130.9
FAIL
600.98
x135.1
FAIL
600.98
x135.9
FAIL
600.98
x140.7
FAIL
600.98
x145.8
FAIL
600.98
x150.4
FAIL
600.98
x150.5
FAIL
600.98
x75.1
FAIL
600.98
x85.0
FAIL
600.98
x95.2
FAIL
600.98
x95.7
FAIL
600.98
eijk.S298.S-f2
FAIL
600.98
eijk.S344.S-f2
FAIL
600.98
texas.two_proc^1.E-f2
FAIL
600.98
sortnetsort10.v.stepl.006
FAIL
600.98
sortnetsort5.AE.stepl.004
FAIL
600.98
sortnetsort7.v.stepl.006
FAIL
600.98
sortnetsort7.v.stepl.007
FAIL
600.98
sortnetsort8.v.stepl.009
FAIL
600.98
sortnetsort9.v.stepl.006
FAIL
600.98
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600.98
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600.98
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
600.98
2qbf-5cnf-40var-160cl.5
FAIL
600.99
4qbf-5cnf-80var-320cl.9
FAIL
600.99
adder-14-sat
FAIL
600.99
2qbf-5cnf-80var-320cl.1
FAIL
600.99
ncf_4_16_8_d.4
FAIL
600.99
adder-6-sat
FAIL
600.99
2qbf-5cnf-40var-320cl.8
FAIL
600.99
ncf_16_32_8_euad.1
FAIL
600.99
s713_d2_s
FAIL
600.99
2qbf-5cnf-160var-320cl.8
FAIL
600.99
ev-pr-4x4-13-3-0-0-1-lg
FAIL
600.99
BLOCKS4ii.6.3
FAIL
600.99
ncf_4_16_8_u.7
FAIL
600.99
BLOCKS4iii.6
FAIL
600.99
2qbf-5cnf-160var-320cl.0
FAIL
600.99
robots_1_5_2_39.4
FAIL
600.99
ncf_4_16_8_d.6
FAIL
600.99
4qbf-5cnf-80var-320cl.1
FAIL
600.99
ncf_4_16_4_u.3
FAIL
600.99
robots_1_5_3_20.4
FAIL
600.99
robots_1_5_3_57.4
FAIL
600.99
4qbf-5cnf-80var-320cl.7
FAIL
600.99
4qbf-5cnf-40var-320cl.8
FAIL
600.99
ncf_16_32_8_edau.1
FAIL
600.99
ncf_16_32_8_euad.8
FAIL
600.99
6qbf-5cnf-80var-640cl.2
FAIL
600.99
ncf_16_32_8_euad.10
FAIL
600.99
6qbf-5cnf-80var-640cl.1
FAIL
600.99
ncf_4_16_8_u.10
FAIL
600.99
ncf_16_32_4_euad.6
FAIL
600.99
robots_1_5_2_45.4
FAIL
600.99
ncf_16_32_4_d.8
FAIL
600.99
ncf_16_32_4_edau.3
FAIL
600.99
k_t4p_p-16
FAIL
600.99
ncf_16_32_8_edau.9
FAIL
600.99
lut4_AND_fXOR
FAIL
600.99
k_grz_p-21
FAIL
600.99
ncf_16_32_2_euad.4
FAIL
600.99
2qbf-5cnf-40var-160cl.6
FAIL
600.99
ev-pr-4x4-17-3-0-0-1-lg
FAIL
600.99
ncf_16_32_4_d.5
FAIL
600.99
6qbf-5cnf-80var-640cl.3
FAIL
600.99
k_d4_n-20
FAIL
600.99
robots_1_5_5_30.4
FAIL
600.99
ncf_4_16_8_euad.1
FAIL
600.99
ncf_16_32_8_euad.9
FAIL
600.99
ncf_16_32_4_euad.3
FAIL
600.99
adder-8-sat
FAIL
600.99
ncf_16_32_4_edau.4
FAIL
600.99
ncf_16_32_4_edau.5
FAIL
600.99
ncf_16_32_8_u.8
FAIL
600.99
ncf_16_32_4_edau.2
FAIL
600.99
ncf_16_32_8_u.9
FAIL
600.99
ncf_16_32_8_edau.5
FAIL
600.99
k_lin_p-20
FAIL
600.99
robots_1_5_3_2.4
FAIL
600.99
4qbf-5cnf-160var-640cl.8
FAIL
600.99
k_grz_n-20
FAIL
600.99
4qbf-5cnf-160var-640cl.7
FAIL
600.99
ncf_4_16_8_d.1
FAIL
600.99
BLOCKS3i.5.3
FAIL
600.99
ncf_16_32_2_edau.8
FAIL
600.99
4qbf-5cnf-40var-320cl.5
FAIL
600.99
ncf_16_32_4_euad.8
FAIL
600.99
robots_1_5_4_100.4
FAIL
600.99
Adder2-8-s
FAIL
600.99
ncf_4_16_4_edau.3
FAIL
600.99
ncf_16_32_8_d.1
FAIL
600.99
2qbf-5cnf-80var-640cl.2
FAIL
600.99
1qbf-5cnf-80var-2560cl.7
FAIL
600.99
x100.2
FAIL
600.99
x100.3
FAIL
600.99
x100.8
FAIL
600.99
x105.0
FAIL
600.99
x105.8
FAIL
600.99
x110.2
FAIL
600.99
x110.6
FAIL
600.99
x120.1
FAIL
600.99
x120.2
FAIL
600.99
x120.6
FAIL
600.99
x120.8
FAIL
600.99
x125.2
FAIL
600.99
x125.4
FAIL
600.99
x125.6
FAIL
600.99
x130.1
FAIL
600.99
x130.4
FAIL
600.99
x130.7
FAIL
600.99
x130.8
FAIL
600.99
x135.0
FAIL
600.99
x135.2
FAIL
600.99
x140.4
FAIL
600.99
x140.6
FAIL
600.99
x145.1
FAIL
600.99
x145.2
FAIL
600.99
x145.3
FAIL
600.99
x150.1
FAIL
600.99
x150.2
FAIL
600.99
x150.6
FAIL
600.99
x45.3
FAIL
600.99
x45.7
FAIL
600.99
x50.2
FAIL
600.99
x50.5
FAIL
600.99
x50.8
FAIL
600.99
x55.0
FAIL
600.99
x55.1
FAIL
600.99
x65.2
FAIL
600.99
x65.5
FAIL
600.99
x65.8
FAIL
600.99
x70.0
FAIL
600.99
x70.2
FAIL
600.99
x70.3
FAIL
600.99
x70.4
FAIL
600.99
x70.5
FAIL
600.99
x70.6
FAIL
600.99
x75.4
FAIL
600.99
x75.7
FAIL
600.99
x80.2
FAIL
600.99
x80.6
FAIL
600.99
x80.8
FAIL
600.99
x85.3
FAIL
600.99
x85.5
FAIL
600.99
x90.7
FAIL
600.99
x90.8
FAIL
600.99
x95.8
FAIL
600.99
cmu.dme1.B-f2
FAIL
600.99
cmu.dme2.B-f2
FAIL
600.99
cmu.gigamax.B-f2
FAIL
600.99
eijk.S526.S-f2
FAIL
600.99
eijk.S641.S-f2
FAIL
600.99
nusmv.brp.B-f2
FAIL
600.99
nusmv.reactor^2.C-f2
FAIL
600.99
nusmv.reactor^3.C-f2
FAIL
600.99
texas.PI_main^01.E-f2
FAIL
600.99
texas.two_proc^2.E-f2
FAIL
600.99
texas.two_proc^3.E-f2
FAIL
600.99
vis.4-arbit^1.E-f2
FAIL
600.99
sortnetsort6.AE.stepl.004
FAIL
600.99
sortnetsort6.AE.stepl.007
FAIL
600.99
sortnetsort7.AE.stepl.003
FAIL
600.99
sortnetsort7.AE.stepl.007
FAIL
600.99
sortnetsort7.AE.stepl.009
FAIL
600.99
sortnetsort7.v.stepl.008
FAIL
600.99
sortnetsort7.v.stepl.009
FAIL
600.99
sortnetsort8.AE.stepl.003
FAIL
600.99
sortnetsort8.AE.stepl.005
FAIL
600.99
sortnetsort8.AE.stepl.006
FAIL
600.99
sortnetsort8.v.stepl.005
FAIL
600.99
sortnetsort9.AE.stepl.005
FAIL
600.99
sortnetsort9.v.stepl.009
FAIL
600.99
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600.99
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600.99
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600.99
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
600.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600.99
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600.99
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600.99
ncf_4_16_8_u.8
FAIL
601
adder-4-sat
FAIL
601
2qbf-5cnf-160var-320cl.2
FAIL
601
adder-10-sat
FAIL
601
ncf_16_32_4_edau.1
FAIL
601
k_grz_p-16
FAIL
601
ncf_16_32_4_u.2
FAIL
601
ncf_16_32_4_u.7
FAIL
601
ncf_4_32_2_edau.1
FAIL
601
ncf_4_16_8_u.6
FAIL
601
k_path_p-16
FAIL
601
ncf_16_32_8_d.2
FAIL
601
2qbf-5cnf-80var-640cl.6
FAIL
601
6qbf-5cnf-80var-640cl.8
FAIL
601
ncf_16_32_8_euad.7
FAIL
601
4qbf-5cnf-40var-320cl.2
FAIL
601
BLOCKS4i.6.4
FAIL
601
ncf_16_32_8_u.1
FAIL
601
k_d4_p-20
FAIL
601
ncf_16_32_2_d.1
FAIL
601
BLOCKS3i.5.4
FAIL
601
ncf_8_16_8_euad.10
FAIL
601
ncf_4_16_8_u.3
FAIL
601
ncf_16_32_4_euad.2
FAIL
601
ncf_16_32_4_d.4
FAIL
601
4qbf-5cnf-160var-640cl.4
FAIL
601
k_d4_n-21
FAIL
601
szymanski-10-s
FAIL
601
k_t4p_n-21
FAIL
601
s27_d5_u
FAIL
601
ncf_16_32_8_d.7
FAIL
601
robots_1_5_2_85.4
FAIL
601
s386_d2_s
FAIL
601
2qbf-5cnf-40var-160cl.3
FAIL
601
test5_quant7
FAIL
601
BLOCKS4ii.7.2
FAIL
601
2qbf-5cnf-80var-320cl.0
FAIL
601
adder-16-sat
FAIL
601
ncf_16_32_2_edau.5
FAIL
601
mutex-32-s
FAIL
601
2qbf-5cnf-80var-320cl.5
FAIL
601
k_d4_n-16
FAIL
601
ncf_16_32_4_d.1
FAIL
601
ncf_8_16_8_edau.3
FAIL
601
ncf_4_16_8_euad.3
FAIL
601
ncf_4_32_2_u.4
FAIL
601
s820_d2_s
FAIL
601
4qbf-5cnf-40var-320cl.4
FAIL
601
ncf_16_32_8_edau.7
FAIL
601
s510_d2_s
FAIL
601
k_d4_n-12
FAIL
601
ncf_4_32_2_u.3
FAIL
601
4qbf-5cnf-160var-640cl.0
FAIL
601
k_d4_n-8
FAIL
601
4qbf-5cnf-80var-320cl.2
FAIL
601
C432.blif_0.10_0.20_0_0_out_exact
FAIL
601
ncf_4_16_8_euad.5
FAIL
601
BLOCKS4iii.7
FAIL
601
k_t4p_n-8
FAIL
601
k_lin_p-16
FAIL
601
4qbf-5cnf-40var-320cl.1
FAIL
601
k_t4p_n-12
FAIL
601
k_d4_p-21
FAIL
601
2qbf-5cnf-160var-320cl.9
FAIL
601
Adder2-6-s
FAIL
601
k_lin_p-8
FAIL
601
k_t4p_p-8
FAIL
601
k_t4p_n-20
FAIL
601
2qbf-5cnf-80var-320cl.7
FAIL
601
ncf_8_16_8_edau.10
FAIL
601
ncf_16_32_2_u.8
FAIL
601
BLOCKS3i.4.4
FAIL
601
ncf_16_32_8_d.8
FAIL
601
counter_e_8
FAIL
601
2qbf-5cnf-80var-320cl.8
FAIL
601
C5315.blif_0.10_1.00_0_0_inp_exact
FAIL
601
test3_quant4
FAIL
601
k_grz_n-12
FAIL
601
ncf_16_32_8_euad.2
FAIL
601
robots_1_5_3_78.4
FAIL
601
counter_re_8
FAIL
601
2qbf-5cnf-160var-320cl.3
FAIL
601
robots_1_5_2_80.4
FAIL
601
mutex-16-s
FAIL
601
2qbf-5cnf-160var-320cl.1
FAIL
601
k_t4p_p-20
FAIL
601
k_t4p_n-16
FAIL
601
ncf_8_16_8_d.10
FAIL
601
ncf_16_32_2_euad.8
FAIL
601
6qbf-5cnf-80var-640cl.6
FAIL
601
k_t4p_p-12
FAIL
601
ncf_16_32_4_d.6
FAIL
601
6qbf-5cnf-80var-640cl.9
FAIL
601
2qbf-5cnf-40var-160cl.0
FAIL
601
ncf_4_32_2_u.1
FAIL
601
s499_d4_s
FAIL
601
C5315.blif_0.10_1.00_0_1_inp_exact
FAIL
601
robots_1_5_2_3.4
FAIL
601
robots_1_5_5_93.4
FAIL
601
test3_quant_squaring2
FAIL
601
ncf_16_32_2_d.5
FAIL
601
ncf_16_32_2_euad.1
FAIL
601
Adder2-8-c
FAIL
601
4qbf-5cnf-160var-640cl.3
FAIL
601
s298_d4_s
FAIL
601
4qbf-5cnf-160var-640cl.5
FAIL
601
2qbf-5cnf-40var-160cl.8
FAIL
601
ncf_16_32_8_euad.6
FAIL
601
ncf_16_32_2_euad.3
FAIL
601
szymanski-8-s
FAIL
601
test5_quant_squaring5
FAIL
601
counter_r_8
FAIL
601
k_path_p-20
FAIL
601
adder-12-sat
FAIL
601
6qbf-5cnf-80var-640cl.7
FAIL
601
test5_quant_squaring4
FAIL
601
s499_d2_s
FAIL
601
k_path_p-21
FAIL
601
4qbf-5cnf-160var-640cl.6
FAIL
601
k_ph_p-8
FAIL
601
ncf_16_32_2_edau.1
FAIL
601
2qbf-5cnf-40var-160cl.4
FAIL
601
ncf_16_32_8_d.5
FAIL
601
ncf_16_32_4_euad.7
FAIL
601
ncf_16_32_4_u.1
FAIL
601
k_ph_n-12
FAIL
601
ncf_16_32_2_d.3
FAIL
601
ncf_8_16_8_edau.2
FAIL
601
6qbf-5cnf-80var-640cl.4
FAIL
601
k_path_n-20
FAIL
601
k_grz_p-20
FAIL
601
ncf_16_32_2_d.8
FAIL
601
ncf_16_32_2_d.4
FAIL
601
ncf_16_32_8_d.6
FAIL
601
robots_1_5_4_87.4
FAIL
601
ncf_16_32_4_euad.5
FAIL
601
k_path_n-21
FAIL
601
5qbf-5cnf-160var-2560cl.3
FAIL
601
Adder2-6-c
FAIL
601
4qbf-5cnf-160var-640cl.1
FAIL
601
k_grz_n-21
FAIL
601
k_path_n-16
FAIL
601
2qbf-5cnf-80var-320cl.3
FAIL
601
s298_d2_s
FAIL
601
ncf_16_32_4_d.2
FAIL
601
4qbf-5cnf-160var-640cl.2
FAIL
601
robots_1_5_4_50.4
FAIL
601
ncf_16_32_8_d.10
FAIL
601
ev-pr-4x4-15-3-0-0-1-lg
FAIL
601
ncf_16_32_4_euad.1
FAIL
601
ncf_4_16_8_u.5
FAIL
601
robots_1_5_5_12.4
FAIL
601
TOILET16.1.iv.32
FAIL
601
ncf_16_32_4_edau.6
FAIL
601
ncf_4_16_8_u.1
FAIL
601
ncf_16_32_8_edau.2
FAIL
601
k_lin_p-21
FAIL
601
robots_1_5_2_2.4
FAIL
601
C499.blif_0.10_1.00_0_0_inp_exact
FAIL
601
1qbf-5cnf-80var-2560cl.4
FAIL
601
1qbf-5cnf-160var-2560cl.7
FAIL
601
1qbf-5cnf-80var-2560cl.8
FAIL
601
x100.1
FAIL
601
x100.4
FAIL
601
x100.6
FAIL
601
x100.7
FAIL
601
x105.1
FAIL
601
x105.4
FAIL
601
x105.5
FAIL
601
x105.6
FAIL
601
x105.7
FAIL
601
x105.9
FAIL
601
x110.1
FAIL
601
x110.8
FAIL
601
x110.9
FAIL
601
x115.0
FAIL
601
x115.1
FAIL
601
x115.3
FAIL
601
x115.4
FAIL
601
x115.5
FAIL
601
x115.6
FAIL
601
x115.7
FAIL
601
x115.9
FAIL
601
x120.0
FAIL
601
x120.3
FAIL
601
x120.4
FAIL
601
x120.7
FAIL
601
x125.1
FAIL
601
x125.5
FAIL
601
x125.7
FAIL
601
x125.8
FAIL
601
x130.0
FAIL
601
x130.3
FAIL
601
x130.5
FAIL
601
x130.6
FAIL
601
x135.3
FAIL
601
x135.4
FAIL
601
x135.6
FAIL
601
x135.8
FAIL
601
x140.0
FAIL
601
x140.3
FAIL
601
x140.8
FAIL
601
x145.0
FAIL
601
x145.4
FAIL
601
x145.5
FAIL
601
x145.6
FAIL
601
x150.3
FAIL
601
x150.7
FAIL
601
x150.8
FAIL
601
x40.7
FAIL
601
x45.1
FAIL
601
x45.5
FAIL
601
x50.1
FAIL
601
x50.3
FAIL
601
x50.6
FAIL
601
x50.9
FAIL
601
x55.2
FAIL
601
x55.5
FAIL
601
x55.7
FAIL
601
x55.9
FAIL
601
x60.0
FAIL
601
x60.2
FAIL
601
x60.5
FAIL
601
x60.6
FAIL
601
x60.7
FAIL
601
x60.8
FAIL
601
x60.9
FAIL
601
x65.0
FAIL
601
x65.1
FAIL
601
x65.3
FAIL
601
x75.0
FAIL
601
x75.2
FAIL
601
x75.3
FAIL
601
x75.5
FAIL
601
x75.6
FAIL
601
x75.8
FAIL
601
x80.0
FAIL
601
x80.1
FAIL
601
x80.3
FAIL
601
x80.4
FAIL
601
x80.5
FAIL
601
x80.7
FAIL
601
x80.9
FAIL
601
x85.2
FAIL
601
x85.4
FAIL
601
x85.6
FAIL
601
x85.7
FAIL
601
x90.0
FAIL
601
x90.3
FAIL
601
x90.4
FAIL
601
x90.5
FAIL
601
x90.6
FAIL
601
x90.9
FAIL
601
x95.0
FAIL
601
x95.1
FAIL
601
x95.3
FAIL
601
x95.4
FAIL
601
x95.5
FAIL
601
x95.6
FAIL
601
x95.9
FAIL
601
eijk.bs1512.S-f2
FAIL
601
eijk.S208c.S-f2
FAIL
601
eijk.S208.S-f2
FAIL
601
eijk.S349.S-f2
FAIL
601
eijk.S382.S-f2
FAIL
601
eijk.S386.S-f2
FAIL
601
eijk.S420.S-f2
FAIL
601
eijk.S444.S-f2
FAIL
601
eijk.S510.S-f2
FAIL
601
eijk.S713.S-f2
FAIL
601
eijk.S820.S-f2
FAIL
601
eijk.S832.S-f2
FAIL
601
eijk.S838.S-f2
FAIL
601
eijk.S953.S-f2
FAIL
601
irst.dme4.B-f2
FAIL
601
irst.dme5.B-f2
FAIL
601
irst.dme6.B-f2
FAIL
601
ken.oop^1.C-f2
FAIL
601
ken.oop^2.C-f2
FAIL
601
nusmv.reactor^4.C-f2
FAIL
601
nusmv.reactor^6.C-f2
FAIL
601
nusmv.reactor^7.C-f2
FAIL
601
nusmv.syncarb10^2.B-f2
FAIL
601
texas.ifetch1^5.E-f2
FAIL
601
texas.ifetch1^7.E-f2
FAIL
601
texas.ifetch1^8.E-f2
FAIL
601
texas.ifetch1^9.E-f2
FAIL
601
texas.parsesys^2.E-f2
FAIL
601
texas.PI_main^02.E-f2
FAIL
601
texas.PI_main^10.E-f2
FAIL
601
texas.PI_main^11.E-f2
FAIL
601
texas.PI_main^12.E-f2
FAIL
601
texas.PI_main^16.E-f2
FAIL
601
texas.two_proc^4.E-f2
FAIL
601
texas.two_proc^5.E-f2
FAIL
601
texas.two_proc^6.E-f2
FAIL
601
vis.4-arbit^2.E-f2
FAIL
601
vis.coherence^1.E-f2
FAIL
601
vis.coherence^2.E-f2
FAIL
601
vis.coherence^3.E-f2
FAIL
601
vis.coherence^5.E-f2
FAIL
601
vis.elevator^2.E-f2
FAIL
601
vis.elevator^3.E-f2
FAIL
601
sortnetsort10.v.stepl.004
FAIL
601
sortnetsort10.v.stepl.005
FAIL
601
sortnetsort10.v.stepl.007
FAIL
601
sortnetsort10.v.stepl.008
FAIL
601
sortnetsort10.v.stepl.009
FAIL
601
sortnetsort10.v.stepl.010
FAIL
601
sortnetsort10.v.stepl.011
FAIL
601
sortnetsort10.v.stepl.012
FAIL
601
sortnetsort5.AE.stepl.007
FAIL
601
sortnetsort6.AE.stepl.003
FAIL
601
sortnetsort6.AE.stepl.005
FAIL
601
sortnetsort6.AE.stepl.006
FAIL
601
sortnetsort6.v.stepl.007
FAIL
601
sortnetsort7.AE.stepl.004
FAIL
601
sortnetsort7.AE.stepl.005
FAIL
601
sortnetsort7.AE.stepl.006
FAIL
601
sortnetsort7.v.stepl.004
FAIL
601
sortnetsort7.v.stepl.005
FAIL
601
sortnetsort8.AE.stepl.004
FAIL
601
sortnetsort8.v.stepl.004
FAIL
601
sortnetsort8.v.stepl.006
FAIL
601
sortnetsort8.v.stepl.007
FAIL
601
sortnetsort8.v.stepl.008
FAIL
601
sortnetsort9.AE.stepl.004
FAIL
601
sortnetsort9.v.stepl.004
FAIL
601
sortnetsort9.v.stepl.005
FAIL
601
sortnetsort9.v.stepl.007
FAIL
601
sortnetsort9.v.stepl.008
FAIL
601
sortnetsort9.v.stepl.010
FAIL
601
sortnetsort9.v.stepl.011
FAIL
601
sortnetsort9.v.stepl.012
FAIL
601
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
601
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
601
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
601
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
601
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
601
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
601
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
601
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
601
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
601
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
601
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
601
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
601
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
601
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
601
ncf_16_32_2_u.5
FAIL
601.01
6qbf-5cnf-40var-320cl.6
FAIL
601.01
4qbf-5cnf-160var-640cl.9
FAIL
601.01
ncf_16_32_8_edau.8
FAIL
601.01
ncf_16_32_4_u.5
FAIL
601.01
ncf_4_16_8_d.3
FAIL
601.01
ncf_4_16_8_u.2
FAIL
601.01
ncf_16_32_8_edau.6
FAIL
601.01
ncf_16_32_8_euad.5
FAIL
601.01
ncf_16_32_8_d.9
FAIL
601.01
ncf_4_32_2_edau.3
FAIL
601.01
ncf_8_16_8_euad.4
FAIL
601.01
ncf_16_32_2_euad.6
FAIL
601.01
2qbf-5cnf-160var-320cl.7
FAIL
601.01
ncf_16_32_4_u.8
FAIL
601.01
ncf_16_32_4_u.6
FAIL
601.01
robots_1_5_2_82.4
FAIL
601.01
ncf_16_32_8_u.7
FAIL
601.01
ncf_16_32_2_euad.10
FAIL
601.01
robots_1_5_4_46.4
FAIL
601.01
robots_1_5_4_98.4
FAIL
601.01
ncf_16_32_8_u.2
FAIL
601.01
robots_1_5_5_45.4
FAIL
601.01
ncf_16_32_2_euad.5
FAIL
601.01
ncf_16_32_4_euad.4
FAIL
601.01
2qbf-5cnf-160var-320cl.4
FAIL
601.01
2qbf-5cnf-80var-320cl.9
FAIL
601.01
2qbf-5cnf-160var-320cl.6
FAIL
601.01
6qbf-5cnf-40var-320cl.1
FAIL
601.01
ncf_16_32_4_u.4
FAIL
601.01
ncf_8_16_8_d.3
FAIL
601.01
ncf_16_32_8_d.4
FAIL
601.01
ncf_4_32_2_u.5
FAIL
601.01
ncf_16_32_8_edau.10
FAIL
601.01
ncf_16_32_8_u.5
FAIL
601.01
ncf_16_32_4_d.3
FAIL
601.01
1qbf-5cnf-80var-2560cl.6
FAIL
601.01
x100.5
FAIL
601.01
x100.9
FAIL
601.01
x105.3
FAIL
601.01
x110.3
FAIL
601.01
x125.9
FAIL
601.01
x135.5
FAIL
601.01
x135.7
FAIL
601.01
x140.1
FAIL
601.01
x140.2
FAIL
601.01
x140.5
FAIL
601.01
x140.9
FAIL
601.01
x145.7
FAIL
601.01
x145.9
FAIL
601.01
x150.0
FAIL
601.01
x150.9
FAIL
601.01
x55.6
FAIL
601.01
x55.8
FAIL
601.01
x60.1
FAIL
601.01
x60.3
FAIL
601.01
x65.6
FAIL
601.01
x70.1
FAIL
601.01
x70.8
FAIL
601.01
x70.9
FAIL
601.01
x85.8
FAIL
601.01
x90.1
FAIL
601.01
x90.2
FAIL
601.01
Contact
|
Organization
|
Links
|
Citing QBFLIB