QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Instances solved by
ssolve-A
QBFEVAL'08
Instance
Result
Time
tree-exa10-15
SAT
0
tree-exa2-30
UNSAT
0
k_ph_p-2
UNSAT
0
eijk.S208o.S-d2
SAT
0
stmt6_13_14
SAT
0
tree-exa2-45
UNSAT
0
z4ml.blif_0.10_1.00_0_1_out_exact
SAT
0
qshifter_3
SAT
0
impl18
SAT
0
tree-exa2-20
UNSAT
0
z4ml.blif_0.10_0.20_0_1_out_exact
SAT
0
s27_d2_s
SAT
0
impl02
SAT
0
impl06
SAT
0
tree-exa10-20
SAT
0
TOILET2.1.iv.3
UNSAT
0
k_lin_n-1
SAT
0
k_ph_n-1
SAT
0
k_poly_p-1
UNSAT
0
eijk.S208c.S-d4
SAT
0
eijk.S208o.S-d3
SAT
0
eijk.S208.S-d2
SAT
0
eijk.S208.S-d4
SAT
0
stmt24_7_8
SAT
0
stmt1_20_21
SAT
0
flipflop-3-c
UNSAT
0.01
impl10
SAT
0.01
impl16
SAT
0.01
tree-exa10-25
SAT
0.01
impl12
SAT
0.01
tree-exa2-25
UNSAT
0.01
impl08
SAT
0.01
z4ml.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.01
impl04
SAT
0.01
tree-exa2-10
UNSAT
0.01
tree-exa2-15
UNSAT
0.01
mutex-2-s
SAT
0.01
tree-exa10-10
SAT
0.01
tree-exa2-50
UNSAT
0.01
tree-exa2-40
UNSAT
0.01
adder-2-sat
SAT
0.01
TOILET2.1.iv.4
SAT
0.01
counter_2
SAT
0.01
z4ml.blif_0.10_0.20_0_0_out_exact
UNSAT
0.01
impl14
SAT
0.01
k_branch_p-1
UNSAT
0.01
k_d4_p-1
UNSAT
0.01
k_path_n-1
SAT
0.01
k_path_p-1
UNSAT
0.01
k_ph_n-2
SAT
0.01
k_ph_n-3
SAT
0.01
k_ph_p-1
UNSAT
0.01
k_poly_n-1
SAT
0.01
cmu.dme1.B-d2
SAT
0.01
cmu.dme1.B-d3
SAT
0.01
cmu.dme2.B-d2
SAT
0.01
eijk.S208c.S-d2
SAT
0.01
eijk.S208o.S-d4
SAT
0.01
eijk.S208.S-d3
SAT
0.01
eijk.S382.S-d2
SAT
0.01
eijk.S420.S-d4
SAT
0.01
texas.parsesys^1.E-d2
SAT
0.01
vis.bakery.E-d2
SAT
0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001
UNSAT
0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001
UNSAT
0.01
stmt44_107_108
SAT
0.01
stmt24_148_149
SAT
0.01
stmt32_122_129
SAT
0.01
stmt1_145_146
SAT
0.01
stmt1_30_31
SAT
0.01
impl20
SAT
0.01
tree-exa10-30
SAT
0.01
counter_r_2
SAT
0.01
z4ml.blif_0.10_0.20_0_1_inp_exact
SAT
0.01
Adder2-2-s
SAT
0.01
z4ml.blif_0.10_0.20_0_0_inp_exact
UNSAT
0.01
tree-exa2-35
UNSAT
0.01
z4ml.blif_0.10_1.00_0_1_inp_exact
SAT
0.01
z4ml.blif_0.10_1.00_0_0_out_exact
UNSAT
0.01
k_branch_n-1
SAT
0.01
k_d4_n-1
SAT
0.01
k_dum_n-1
SAT
0.01
k_lin_p-1
UNSAT
0.01
eijk.S208c.S-d3
SAT
0.01
eijk.S298.S-d2
SAT
0.01
eijk.S298.S-d3
SAT
0.01
eijk.S382.S-d3
SAT
0.01
eijk.S386.S-d2
SAT
0.01
eijk.S444.S-d2
SAT
0.01
eijk.S510.S-d3
SAT
0.01
eijk.S526.S-d2
SAT
0.01
vis.4-arbit^1.E-d2
SAT
0.01
vis.eisenberg.E-d2
SAT
0.01
vis.eisenberg.E-d3
SAT
0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.01
c4_BMC_p2_k2
UNSAT
0.01
stmt44_107_113
SAT
0.01
szymanski-4-s
UNSAT
0.02
k_ph_n-4
SAT
0.02
mutex-4-s
SAT
0.02
Adder2-2-c
UNSAT
0.02
qshifter_4
SAT
0.02
k_dum_p-1
UNSAT
0.02
k_ph_p-3
UNSAT
0.02
eijk.S526.S-d3
SAT
0.02
texas.ifetch1^1.E-d3
SAT
0.02
texas.ifetch1^3.E-d3
SAT
0.02
texas.parsesys^1.E-d3
SAT
0.02
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.02
comp.blif_0.10_0.20_0_1_inp_exact
SAT
0.02
mutex-8-s
SAT
0.02
k_lin_p-2
UNSAT
0.02
k_path_p-2
UNSAT
0.02
eijk.S444.S-d3
SAT
0.02
eijk.S641.S-d3
SAT
0.02
irst.dme4.B-d2
SAT
0.02
nusmv.dme1-16.B-d2
SAT
0.02
texas.ifetch1^9.E-d3
SAT
0.02
vis.bakery.E-d3
SAT
0.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.02
c4_BMC_p1_k2
SAT
0.02
counter_e_2
SAT
0.02
lut4_XOR_f1
SAT
0.02
comp.blif_0.10_1.00_0_1_inp_exact
SAT
0.02
k_dum_n-2
SAT
0.02
k_lin_p-3
UNSAT
0.02
cmu.dme2.B-d3
SAT
0.02
eijk.S953.S-d2
SAT
0.02
vis.arbiter.E-d4
SAT
0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.02
k_ph_p-4
UNSAT
0.03
TOILET6.1.iv.12
SAT
0.03
flipflop-4-c
UNSAT
0.03
k_d4_p-2
UNSAT
0.03
k_dum_n-3
SAT
0.03
k_poly_n-2
SAT
0.03
k_poly_p-2
UNSAT
0.03
texas.parsesys^1.E-d4
SAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002
UNSAT
0.03
C432.blif_0.10_1.00_0_1_out_exact
SAT
0.03
counter_4
SAT
0.03
k_path_n-2
SAT
0.03
cmu.dme1.B-d4
SAT
0.03
eijk.S510.S-d4
SAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.03
c4_BMC_p2_k4
UNSAT
0.03
comp.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.04
mutex-16-s
SAT
0.04
C432.blif_0.10_1.00_0_1_inp_exact
SAT
0.04
k_dum_p-3
UNSAT
0.04
eijk.bs1512.S-d2
SAT
0.04
eijk.S344.S-d2
SAT
0.04
eijk.S349.S-d2
SAT
0.04
texas.ifetch1^1.E-d4
SAT
0.04
vis.eisenberg.E-d4
SAT
0.04
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001
UNSAT
0.04
c4_BMC_p1_k4
SAT
0.04
lut4_2_fXOR
SAT
0.04
comp.blif_0.10_1.00_0_1_out_exact
SAT
0.04
k_lin_p-4
UNSAT
0.04
k_dum_p-2
UNSAT
0.04
k_path_p-3
UNSAT
0.04
k_poly_n-3
SAT
0.04
k_poly_p-3
UNSAT
0.04
irst.dme5.B-d2
SAT
0.04
texas.ifetch1^3.E-d4
SAT
0.04
vis.coherence^1.E-d2
SAT
0.04
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.04
stmt16_0_1
SAT
0.04
TOILET7.1.iv.14
SAT
0.04
k_lin_n-2
SAT
0.04
eijk.S298.S-d4
SAT
0.04
vis.emodel.E-d2
SAT
0.04
sortnetsort5.v.stepl.003
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004
UNSAT
0.04
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.04
c4_BMC_p2_k8
UNSAT
0.04
comp.blif_0.10_0.20_0_0_inp_exact
UNSAT
0.05
counter_re_2
SAT
0.05
k_ph_n-5
SAT
0.05
vis.bakery.E-d4
SAT
0.05
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002
UNSAT
0.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.05
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.05
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.05
cube_c3_ser--opt-6_
SAT
0.05
szymanski-5-s
UNSAT
0.05
C499.blif_0.10_1.00_0_1_out_exact
SAT
0.05
texas.ifetch1^9.E-d4
SAT
0.05
vis.4-arbit^1.E-d3
SAT
0.05
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.05
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.05
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.05
k_dum_n-4
SAT
0.06
k_poly_n-4
SAT
0.06
C432.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.06
k_branch_n-2
SAT
0.06
k_dum_n-5
SAT
0.06
irst.dme6.B-d2
SAT
0.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
0.06
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005
UNSAT
0.06
C499.blif_0.10_1.00_0_1_inp_exact
SAT
0.06
BLOCKS3iii.5
SAT
0.06
k_poly_p-4
UNSAT
0.06
k_lin_p-5
UNSAT
0.06
eijk.S1238.S-d2
SAT
0.06
eijk.S444.S-d4
SAT
0.06
eijk.S526.S-d4
SAT
0.06
sortnetsort5.v.stepl.005
SAT
0.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.06
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006
UNSAT
0.06
qshifter_5
SAT
0.06
BLOCKS3ii.4.3
UNSAT
0.06
k_d4_p-3
UNSAT
0.06
k_path_n-3
SAT
0.06
eijk.S382.S-d4
SAT
0.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.06
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.06
lut4_XOR_fOR
UNSAT
0.07
eijk.S1423.S-d2
SAT
0.07
eijk.S832.S-d2
SAT
0.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.07
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.07
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004
UNSAT
0.07
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007
UNSAT
0.07
ii8a1-50
SAT
0.07
flipflop-5-c
UNSAT
0.07
CHAIN12v.13
SAT
0.07
k_poly_p-5
UNSAT
0.07
k_t4p_n-1
SAT
0.07
cmu.dme2.B-d4
SAT
0.07
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.07
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.07
mutex-32-s
SAT
0.08
k_dum_n-6
SAT
0.08
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
0.08
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
0.08
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008
UNSAT
0.08
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003
UNSAT
0.08
k_path_p-4
UNSAT
0.08
term1.blif_0.10_0.20_0_1_out_exact
SAT
0.08
k_poly_n-5
SAT
0.08
irst.dme4.B-d3
SAT
0.08
nusmv.dme1-16.B-d3
SAT
0.08
texas.parsesys^4.E-f2
UNSAT
0.08
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.08
CHAIN13v.14
SAT
0.08
C880.blif_0.10_1.00_0_1_inp_exact
SAT
0.08
term1.blif_0.10_0.20_0_1_inp_exact
SAT
0.08
k_dum_p-4
UNSAT
0.08
s27_d3_u
UNSAT
0.08
eijk.S820.S-d2
SAT
0.08
nusmv.dme2-16.B-d2
SAT
0.08
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
0.08
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.08
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005
UNSAT
0.08
term1.blif_0.10_1.00_0_1_inp_exact
SAT
0.09
k_ph_n-6
SAT
0.09
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
0.09
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004
UNSAT
0.09
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.09
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.09
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003
UNSAT
0.09
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009
UNSAT
0.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
0.09
ii8a1-90
SAT
0.09
k_dum_n-7
SAT
0.1
k_poly_n-6
SAT
0.1
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.1
CHAIN14v.15
SAT
0.1
eijk.bs3330.S-d2
SAT
0.1
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004
UNSAT
0.1
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
0.1
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010
UNSAT
0.1
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003
UNSAT
0.1
c4_BMC_p1_k8
SAT
0.1
k_path_n-4
SAT
0.1
k_dum_p-5
UNSAT
0.1
k_poly_p-6
UNSAT
0.1
eijk.S953.S-d3
SAT
0.1
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004
UNSAT
0.1
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.1
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006
UNSAT
0.1
k_dum_n-8
SAT
0.11
eijk.bs1512.S-d3
SAT
0.11
eijk.S344.S-d3
SAT
0.11
eijk.S349.S-d3
SAT
0.11
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.11
CHAIN15v.16
SAT
0.12
k_d4_p-4
UNSAT
0.12
k_poly_p-7
UNSAT
0.12
k_t4p_p-1
UNSAT
0.12
eijk.S1196.S-d2
SAT
0.12
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005
UNSAT
0.12
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007
UNSAT
0.12
c6_BMC_p2_k2
UNSAT
0.12
k_branch_p-2
UNSAT
0.12
k_path_p-5
UNSAT
0.12
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005
UNSAT
0.12
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.12
c6_BMC_p2_k4
UNSAT
0.12
k_dum_p-6
UNSAT
0.13
irst.dme5.B-d3
SAT
0.13
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005
UNSAT
0.13
szymanski-6-s
UNSAT
0.13
CHAIN16v.17
SAT
0.13
BLOCKS3ii.5.3
SAT
0.14
vis.prodcell^01.E-d2
SAT
0.14
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002
UNSAT
0.14
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006
UNSAT
0.14
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008
UNSAT
0.14
ring_r4_ser--opt-11_
UNSAT
0.14
k_dum_n-9
SAT
0.14
k_poly_n-7
SAT
0.14
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003
UNSAT
0.14
k_path_n-5
SAT
0.14
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003
UNSAT
0.14
CHAIN17v.18
SAT
0.15
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009
UNSAT
0.15
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004
UNSAT
0.15
k_poly_n-8
SAT
0.15
k_poly_p-8
UNSAT
0.15
k_dum_p-7
UNSAT
0.15
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006
UNSAT
0.15
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006
UNSAT
0.15
TOILET10.1.iv.20
SAT
0.16
texas.parsesys^4.E-f3
UNSAT
0.16
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007
UNSAT
0.16
c4_BMC_p2_k16
UNSAT
0.16
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003
UNSAT
0.16
mutex-64-s
SAT
0.16
k_dum_n-10
SAT
0.16
k_lin_n-3
SAT
0.16
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.16
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.16
c3_BMC_p2_k2
UNSAT
0.16
aim-50-1_6-yes1-3-90
SAT
0.16
aim-50-1_6-yes1-4-50
SAT
0.16
CHAIN18v.19
SAT
0.17
k_poly_p-9
UNSAT
0.17
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007
UNSAT
0.17
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010
UNSAT
0.17
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004
UNSAT
0.17
aim-50-1_6-yes1-4-00
SAT
0.17
k_lin_p-6
UNSAT
0.17
k_path_p-6
UNSAT
0.17
c6_BMC_p2_k8
UNSAT
0.17
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007
UNSAT
0.18
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.18
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008
UNSAT
0.18
k_dum_p-8
UNSAT
0.18
k_d4_p-5
UNSAT
0.18
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004
UNSAT
0.18
flipflop-6-c
UNSAT
0.19
k_ph_p-5
UNSAT
0.19
CHAIN19v.20
SAT
0.19
irst.dme6.B-d3
SAT
0.19
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004
UNSAT
0.19
stmt1_811_812
SAT
0.19
k_path_n-6
SAT
0.2
k_poly_n-9
SAT
0.2
eijk.S641.S-d4
SAT
0.2
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009
UNSAT
0.2
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004
UNSAT
0.2
c6_BMC_p1_k2
SAT
0.2
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008
UNSAT
0.2
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008
UNSAT
0.2
k_lin_p-7
UNSAT
0.2
eijk.S713.S-d4
SAT
0.2
k_poly_p-10
UNSAT
0.21
k_dum_n-11
SAT
0.21
k_poly_n-10
SAT
0.21
k_grz_n-1
SAT
0.22
aim-50-1_6-yes1-4-90
UNSAT
0.22
k_dum_n-12
SAT
0.22
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009
UNSAT
0.22
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010
UNSAT
0.22
CHAIN20v.21
SAT
0.22
term1.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.22
k_grz_p-1
UNSAT
0.22
k_poly_p-11
UNSAT
0.23
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009
UNSAT
0.23
eijk.S344.S-d4
SAT
0.23
texas.parsesys^4.E-f4
UNSAT
0.23
c4_BMC_p2_k32
UNSAT
0.23
c3_BMC_p2_k4
UNSAT
0.24
k_path_p-7
UNSAT
0.24
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010
UNSAT
0.24
CHAIN21v.22
SAT
0.24
eijk.S349.S-d4
SAT
0.24
sortnetsort6.v.stepl.003
UNSAT
0.25
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010
UNSAT
0.25
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005
UNSAT
0.25
vis.emodel.E-d3
SAT
0.26
sortnetsort5.v.stepl.006
SAT
0.26
k_branch_n-3
SAT
0.26
k_dum_p-9
UNSAT
0.26
c6_BMC_p2_k16
UNSAT
0.26
k_dum_n-13
SAT
0.26
k_path_n-7
SAT
0.27
k_poly_n-11
SAT
0.27
CHAIN22v.23
SAT
0.27
k_d4_p-6
UNSAT
0.27
k_poly_p-12
UNSAT
0.28
k_path_p-8
UNSAT
0.29
C499.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.29
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005
UNSAT
0.29
BLOCKS3iii.4
UNSAT
0.3
k_dum_n-14
SAT
0.3
k_poly_n-12
SAT
0.3
CHAIN23v.24
SAT
0.3
k_poly_p-13
UNSAT
0.3
k_dum_p-10
UNSAT
0.31
c4_BMC_p2_k64
UNSAT
0.31
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004
UNSAT
0.32
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004
UNSAT
0.32
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005
UNSAT
0.32
c4_BMC_p1_k16
SAT
0.32
eijk.S1423.S-d3
SAT
0.33
k_path_n-8
SAT
0.33
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005
UNSAT
0.33
ev-pr-6x6-5-5-0-1-2-lg
UNSAT
0.34
TOILET6.1.iv.11
UNSAT
0.34
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005
UNSAT
0.34
mutex-128-s
SAT
0.34
k_dum_n-15
SAT
0.34
aim-50-1_6-yes1-2-00
SAT
0.34
k_poly_n-13
SAT
0.35
k_poly_p-14
UNSAT
0.35
c3_BMC_p1_k2
SAT
0.35
nusmv.brp.B-d2
SAT
0.36
k_path_p-9
UNSAT
0.36
irst.dme4.B-d4
SAT
0.36
k_d4_p-7
UNSAT
0.37
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004
UNSAT
0.37
k_dum_n-16
SAT
0.37
k_poly_p-15
UNSAT
0.37
vis.prodcell^01.E-d3
SAT
0.37
c6_BMC_p2_k32
UNSAT
0.37
qshifter_6
SAT
0.38
comp.blif_0.10_0.20_0_1_out_exact
SAT
0.38
k_poly_n-14
SAT
0.38
k_lin_p-10
UNSAT
0.39
k_path_n-9
SAT
0.4
vis.4-arbit^1.E-d4
SAT
0.4
c3_BMC_p2_k8
UNSAT
0.4
aim-50-1_6-yes1-2-50
SAT
0.4
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006
UNSAT
0.4
nusmv.dme2-16.B-d3
SAT
0.42
k_dum_n-17
SAT
0.43
k_poly_p-16
UNSAT
0.44
k_dum_p-11
UNSAT
0.44
c4_BMC_p1_k32
SAT
0.44
k_poly_n-15
SAT
0.44
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006
UNSAT
0.44
k_lin_n-4
SAT
0.44
flipflop-7-c
UNSAT
0.45
k_path_p-10
UNSAT
0.45
c4_BMC_p2_k128
UNSAT
0.45
k_poly_p-17
UNSAT
0.46
aim-50-1_6-yes1-1-50
SAT
0.46
k_path_n-10
SAT
0.47
nusmv.reactor^3.C-f4
UNSAT
0.47
k_grz_n-2
SAT
0.47
aim-50-2_0-yes1-2-90
SAT
0.47
k_poly_n-16
SAT
0.48
k_d4_p-8
UNSAT
0.48
k_dum_n-18
SAT
0.48
stmt17_18_19
SAT
0.48
C5315.blif_0.10_1.00_0_1_inp_exact
SAT
0.48
Adder2-4-s
SAT
0.49
k_t4p_p-2
UNSAT
0.49
k_dum_p-12
UNSAT
0.49
stmt17_143_144
SAT
0.49
szymanski-8-s
UNSAT
0.5
blocks_enc_2_b3_ser--opt-9_
SAT
0.5
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006
UNSAT
0.51
ev-pr-4x4-5-3-0-0-1-lg
SAT
0.52
k_poly_p-18
UNSAT
0.52
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006
UNSAT
0.52
k_dum_n-19
SAT
0.54
k_lin_p-12
UNSAT
0.54
k_poly_n-17
SAT
0.54
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006
UNSAT
0.54
aim-50-1_6-yes1-3-00
SAT
0.54
k_path_p-11
UNSAT
0.55
c4_BMC_p2_k256
UNSAT
0.55
k_lin_p-11
UNSAT
0.56
k_poly_p-19
UNSAT
0.56
k_dum_n-20
SAT
0.56
c6_BMC_p2_k64
UNSAT
0.57
k_path_n-11
SAT
0.58
k_poly_n-18
SAT
0.58
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005
UNSAT
0.58
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007
UNSAT
0.58
k_d4_p-9
UNSAT
0.59
k_dum_p-13
UNSAT
0.59
k_dum_p-14
UNSAT
0.6
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005
UNSAT
0.6
k_dum_n-21
SAT
0.61
aim-50-1_6-yes1-1-00
SAT
0.62
C6288.blif_0.10_1.00_0_1_out_exact
SAT
0.62
k_poly_p-20
UNSAT
0.62
k_t4p_n-2
SAT
0.62
k_path_p-12
UNSAT
0.65
k_poly_n-19
SAT
0.65
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007
UNSAT
0.65
vis.coherence^1.E-d3
SAT
0.66
k_poly_p-21
UNSAT
0.66
k_path_n-12
SAT
0.67
eijk.S953.S-d4
SAT
0.67
k_t4p_p-3
UNSAT
0.68
k_poly_n-20
SAT
0.69
k_dum_p-15
UNSAT
0.7
sortnetsort5.v.stepl.004
UNSAT
0.71
c6_BMC_p1_k4
SAT
0.71
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005
UNSAT
0.72
k_d4_p-10
UNSAT
0.72
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002
UNSAT
0.73
eijk.S820.S-d3
SAT
0.74
k_path_p-13
UNSAT
0.75
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007
UNSAT
0.75
c4_BMC_p1_k64
SAT
0.75
ev-pr-8x8-5-7-0-1-2-lg
UNSAT
0.76
vonNeumann-ripple-carry-5-c
UNSAT
0.77
k_path_n-13
SAT
0.77
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007
UNSAT
0.77
k_dum_p-16
UNSAT
0.77
k_grz_n-3
SAT
0.77
c3_BMC_p2_k16
UNSAT
0.77
k_poly_n-21
SAT
0.78
k_ph_n-7
SAT
0.79
k_dum_p-17
UNSAT
0.8
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007
UNSAT
0.8
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008
UNSAT
0.82
k_grz_p-2
UNSAT
0.82
k_lin_p-13
UNSAT
0.83
ken.flash^10.C-f2
UNSAT
0.84
k_d4_p-11
UNSAT
0.86
k_path_n-14
SAT
0.87
k_path_p-14
UNSAT
0.88
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008
UNSAT
0.88
irst.dme5.B-d4
SAT
0.89
k_dum_p-18
UNSAT
0.9
k_lin_n-5
SAT
0.91
c3_BMC_p2_k32
UNSAT
0.92
sortnetsort7.v.stepl.003
UNSAT
0.92
ii8a1-00
SAT
0.94
k_dum_p-19
UNSAT
0.96
flipflop-8-c
UNSAT
0.98
k_path_n-15
SAT
0.98
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006
UNSAT
0.98
C499.blif_0.10_0.20_0_1_inp_exact
SAT
1
k_path_p-15
UNSAT
1
k_d4_p-12
UNSAT
1.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006
UNSAT
1.01
k_dum_p-20
UNSAT
1.01
irst.dme6.B-d4
SAT
1.02
eijk.S208o.S-f3
SAT
1.02
c6_BMC_p2_k128
UNSAT
1.02
c4_BMC_p2_k512
UNSAT
1.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008
UNSAT
1.04
ssa7552-159-00
SAT
1.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008
UNSAT
1.07
k_dum_p-21
UNSAT
1.07
aim-50-1_6-yes1-1-90
UNSAT
1.08
k_d4_n-3
SAT
1.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009
UNSAT
1.11
k_path_n-16
SAT
1.12
adder-4-sat
SAT
1.12
k_path_p-16
UNSAT
1.13
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008
UNSAT
1.13
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009
UNSAT
1.16
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006
UNSAT
1.17
k_d4_p-13
UNSAT
1.2
k_path_n-17
SAT
1.2
TOILET16.1.iv.32
SAT
1.21
c3_BMC_p2_k64
UNSAT
1.22
k_path_p-17
UNSAT
1.22
c2_BMC_p2_k2
UNSAT
1.24
k_lin_p-15
UNSAT
1.28
k_d4_n-2
SAT
1.29
k_path_n-18
SAT
1.34
szymanski-10-s
UNSAT
1.36
k_path_p-18
UNSAT
1.36
vis.prodcell^01.E-d4
SAT
1.38
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009
UNSAT
1.38
k_d4_p-14
UNSAT
1.39
ken.flash^10.C-f3
UNSAT
1.43
aim-50-1_6-yes1-2-90
UNSAT
1.43
k_t4p_p-4
UNSAT
1.44
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010
UNSAT
1.44
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009
UNSAT
1.44
k_grz_p-3
UNSAT
1.46
c4_BMC_p1_k128
SAT
1.46
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007
UNSAT
1.47
sortnetsort6.v.stepl.005
SAT
1.5
k_path_p-19
UNSAT
1.51
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010
UNSAT
1.52
k_path_n-19
SAT
1.54
vonNeumann-ripple-carry-6-c
UNSAT
1.54
ring_r3_ser--opt-8_
SAT
1.54
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009
UNSAT
1.55
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007
UNSAT
1.55
k_t4p_n-3
SAT
1.56
k_d4_p-15
UNSAT
1.56
k_branch_n-4
SAT
1.59
k_path_p-20
UNSAT
1.68
k_path_n-20
SAT
1.69
sortnetsort5.v.stepl.007
SAT
1.7
eijk.S832.S-d3
SAT
1.72
k_grz_n-4
SAT
1.75
counter_r_4
SAT
1.75
k_lin_n-6
SAT
1.75
stmt3_969_973
SAT
1.76
c2_BMC_p1_k2
SAT
1.78
k_path_n-21
SAT
1.78
c5_BMC_p2_k2
UNSAT
1.79
lognBWLARGEA1
UNSAT
1.8
c3_BMC_p2_k128
UNSAT
1.8
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007
UNSAT
1.81
k_d4_p-16
UNSAT
1.82
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010
UNSAT
1.82
k_path_p-21
UNSAT
1.85
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010
UNSAT
1.87
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
1.9
flipflop-9-c
UNSAT
1.92
c6_BMC_p2_k256
UNSAT
1.97
k_t4p_p-5
UNSAT
2.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010
UNSAT
2.02
k_ph_p-6
UNSAT
2.05
c6_BMC_p1_k8
SAT
2.05
ken.flash^10.C-f4
UNSAT
2.06
k_d4_p-17
UNSAT
2.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008
UNSAT
2.09
vis.4-arbit^1.E-f2
SAT
2.15
c4_BMC_p2_k1024
UNSAT
2.19
k_d4_p-18
UNSAT
2.2
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008
UNSAT
2.26
adder-2-unsat
UNSAT
2.34
eijk.S386.S-d3
SAT
2.46
C432.blif_0.10_0.20_0_1_inp_exact
SAT
2.47
k_d4_p-19
UNSAT
2.52
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008
UNSAT
2.63
k_t4p_p-6
UNSAT
2.72
vonNeumann-ripple-carry-7-c
UNSAT
2.74
k_d4_p-20
UNSAT
2.84
eijk.S208c.S-f3
SAT
2.86
k_lin_n-7
SAT
2.88
c3_BMC_p1_k4
SAT
2.88
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009
UNSAT
2.89
k_t4p_n-4
SAT
2.9
k_branch_p-3
UNSAT
2.94
nusmv.queue.B-d2
SAT
2.98
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009
UNSAT
3.05
c3_BMC_p2_k256
UNSAT
3.05
k_d4_p-21
UNSAT
3.13
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003
UNSAT
3.13
ev-pr-4x4-7-3-0-0-1-lg
SAT
3.15
aim-50-2_0-yes1-3-90
UNSAT
3.15
k_grz_p-4
UNSAT
3.19
szymanski-12-s
UNSAT
3.22
c4_BMC_p1_k256
SAT
3.23
nusmv.syncarb5^2.B-f2
SAT
3.25
qshifter_7
SAT
3.26
flipflop-10-c
UNSAT
3.45
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009
UNSAT
3.51
k_t4p_p-7
UNSAT
3.52
C5315.blif_0.10_1.00_0_0_inp_exact
UNSAT
3.79
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010
UNSAT
3.85
TOILET7.1.iv.13
UNSAT
3.89
c6_BMC_p2_k512
UNSAT
3.97
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010
UNSAT
4.06
k_grz_n-5
SAT
4.07
k_d4_n-4
SAT
4.28
k_t4p_p-8
UNSAT
4.35
c4_BMC_p2_k2048
UNSAT
4.5
vonNeumann-ripple-carry-8-c
UNSAT
4.54
k_lin_p-8
UNSAT
4.56
k_lin_n-8
SAT
4.56
k_t4p_n-5
SAT
4.63
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003
UNSAT
4.71
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010
UNSAT
4.71
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003
UNSAT
4.84
c5_BMC_p1_k2
SAT
4.97
aim-50-2_0-yes1-1-90
UNSAT
5.04
k_t4p_p-9
UNSAT
5.17
c2_BMC_p2_k4
UNSAT
5.35
c3_BMC_p2_k512
UNSAT
5.48
c5_BMC_p2_k4
UNSAT
5.57
C6288.blif_0.10_1.00_0_1_inp_exact
SAT
5.91
flipflop-11-c
UNSAT
5.93
eijk.bs1512.S-d4
SAT
6
k_t4p_p-10
UNSAT
6.3
eijk.bs4863.S-d2
SAT
6.38
vis.bakery.E-f2
SAT
6.43
szymanski-14-s
UNSAT
6.52
k_t4p_n-6
SAT
6.53
k_lin_n-9
SAT
6.58
k_d4_n-5
SAT
6.72
k_grz_p-5
UNSAT
6.88
vonNeumann-ripple-carry-9-c
UNSAT
7.37
aim-50-2_0-yes1-4-50
SAT
7.48
lognBWLARGEB1
UNSAT
7.65
k_t4p_p-11
UNSAT
7.7
sortnetsort5.AE.stepl.003
SAT
7.71
ev-pr-4x4-9-3-0-0-1-lg
SAT
7.72
vis.emodel.E-f2
UNSAT
8.05
c6_BMC_p2_k1024
UNSAT
8.18
nusmv.dme2-16.B-d4
SAT
8.38
eijk.S208o.S-f2
SAT
8.43
sortnetsort8.v.stepl.003
UNSAT
8.52
k_t4p_p-12
UNSAT
8.72
lut4_2_f1
SAT
8.74
k_lin_n-10
SAT
8.74
k_t4p_n-7
SAT
8.88
ev-pr-8x8-7-7-0-1-2-lg
UNSAT
9.25
sortnetsort6.v.stepl.006
SAT
9.43
flipflop-12-c
UNSAT
9.56
k_t4p_p-13
UNSAT
9.99
c4_BMC_p1_k512
SAT
10.38
c2_BMC_p1_k4
SAT
10.75
s27_d4_u
UNSAT
10.82
c3_BMC_p2_k1024
UNSAT
10.87
aim-50-6_0-yes1-1-90
SAT
11.1
k_lin_n-11
SAT
11.28
vonNeumann-ripple-carry-10-c
UNSAT
11.31
k_t4p_p-14
UNSAT
11.52
vis.arbiter.E-f2
SAT
11.9
aim-50-2_0-yes1-4-90
SAT
11.97
k_t4p_n-8
SAT
12.05
counter_e_4
SAT
12.06
sortnetsort6.v.stepl.004
UNSAT
12.16
szymanski-16-s
UNSAT
12.35
k_ph_n-8
SAT
12.53
k_d4_n-6
SAT
12.53
aim-50-6_0-yes1-2-90
UNSAT
12.73
vis.prodcell^03.E-f3
UNSAT
12.75
c1_BMC_p2_k2048
FAIL
12.85
k_t4p_p-15
UNSAT
13.44
vis.prodcell^04.E-f3
UNSAT
13.65
texas.parsesys^1.E-f2
SAT
14.57
k_t4p_n-9
SAT
14.77
k_t4p_p-16
UNSAT
15.12
k_lin_n-12
SAT
15.16
ev-pr-4x4-11-3-0-0-1-lg
SAT
15.17
sortnetsort5.AE.stepl.005
UNSAT
15.75
k_t4p_p-17
UNSAT
16.36
vonNeumann-ripple-carry-11-c
UNSAT
16.44
aim-50-6_0-yes1-4-90
SAT
16.75
c6_BMC_p2_k2048
UNSAT
16.89
ev-pr-6x6-7-5-0-1-2-lg
UNSAT
17.47
eijk.S1238.S-d3
UNSAT
17.95
k_d4_n-7
SAT
18.39
aim-50-3_4-yes1-3-50
SAT
18.64
k_t4p_n-10
SAT
18.7
k_t4p_p-18
UNSAT
18.74
eijk.S1423.S-d4
SAT
18.87
k_lin_n-13
SAT
18.93
Adder2-6-s
SAT
19.44
c6_BMC_p1_k64
SAT
19.8
c1_BMC_p2_k2
UNSAT
20.51
texas.parsesys^3.E-f2
SAT
20.58
k_t4p_p-19
UNSAT
20.86
szymanski-18-s
UNSAT
21.72
c2_BMC_p2_k8
UNSAT
21.79
eijk.S208.S-f4
SAT
22.02
vis.eisenberg.E-f2
SAT
22.21
c3_BMC_p2_k2048
UNSAT
22.25
stmt7_33_34
SAT
22.73
C880.blif_0.10_1.00_0_1_out_exact
SAT
22.85
vonNeumann-ripple-carry-12-c
UNSAT
22.95
aim-50-6_0-yes1-4-00
SAT
23.21
k_t4p_p-20
UNSAT
23.6
k_branch_n-5
SAT
23.77
k_lin_n-14
SAT
24.04
emptyroom_e3_par--opt-10_
SAT
24.15
k_t4p_n-11
SAT
24.2
term1.blif_0.10_1.00_0_1_out_exact
SAT
24.83
BLOCKS3ii.5.2
UNSAT
25.12
nusmv.dme1-16.B-d4
SAT
25.61
stmt70_191_213
SAT
26.49
aim-50-6_0-yes1-3-90
SAT
26.63
k_d4_n-8
SAT
26.93
k_t4p_p-21
UNSAT
27.11
stmt3_639_640
SAT
27.47
ev-pr-4x4-13-3-0-0-1-lg
SAT
27.84
vis.prodcell^21.E-f2
UNSAT
27.91
aim-50-3_4-yes1-3-00
SAT
28.27
stmt44_252_301
SAT
29.54
k_ph_p-7
UNSAT
29.78
k_lin_n-15
SAT
29.79
aim-50-3_4-yes1-4-90
SAT
30.43
aim-50-3_4-yes1-2-90
SAT
30.53
stmt18_258_260
SAT
30.56
k_t4p_n-12
SAT
31.31
c4_BMC_p1_k1024
SAT
31.9
vonNeumann-ripple-carry-13-c
UNSAT
32.21
aim-50-3_4-yes1-2-00
SAT
34.15
par8-4-c-90
SAT
34.76
aim-50-3_4-yes1-2-50
SAT
34.87
k_lin_n-16
SAT
36.34
k_t4p_n-13
SAT
37.41
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003
UNSAT
37.77
szymanski-20-s
UNSAT
38.99
lut4_2_f2
UNSAT
41.9
k_d4_n-9
SAT
42.35
c1_BMC_p1_k2
SAT
43.42
k_lin_n-17
SAT
43.68
stmt31_22_23
UNSAT
44.25
c6_BMC_p1_k128
SAT
44.7
eijk.S208.S-f3
SAT
44.77
k_t4p_n-14
SAT
45.01
stmt41_36_37
UNSAT
45.78
ev-pr-4x4-15-3-0-0-1-lg
SAT
46.54
eijk.S386.S-d4
SAT
48.9
eijk.S208.S-f2
SAT
49.41
qshifter_8
SAT
49.71
aim-50-3_4-yes1-3-90
UNSAT
50.61
k_lin_n-18
SAT
52.34
vis.coherence^1.E-d4
SAT
52.99
k_t4p_n-15
SAT
54.41
k_lin_n-19
SAT
54.45
vonNeumann-ripple-carry-15-c
UNSAT
56.36
par8-1-c-90
UNSAT
58.2
nusmv.syncarb5^2.B-f3
SAT
60.82
k_t4p_n-16
SAT
62.9
sortnetsort7.v.stepl.004
UNSAT
63.01
k_lin_n-20
SAT
65.21
vis.elevator^1.E-d2
SAT
66.11
ev-pr-6x6-9-5-0-1-2-lg
UNSAT
66.96
szymanski-22-s
UNSAT
67.23
c5_BMC_p2_k2048
FAIL
67.94
ii32c1-50
SAT
67.99
c4_BMC_p1_k2048
SAT
68.41
c5_BMC_p1_k2048
FAIL
68.44
k_d4_n-10
SAT
69.74
vis.prodcell^08.E-f2
UNSAT
70
k_t4p_n-17
SAT
72.01
aim-50-3_4-yes1-1-90
UNSAT
72.41
k_lin_n-21
SAT
74.06
ev-pr-4x4-17-3-0-0-1-lg
SAT
75.26
ev-pr-8x8-9-7-0-1-2-lg
UNSAT
76.32
par8-4-c-00
SAT
76.39
stmt24_292_293
SAT
76.63
stmt27_296_297
SAT
80.09
k_t4p_n-18
SAT
81.87
c1_BMC_p1_k2048
FAIL
82.59
c2_BMC_p2_k64
UNSAT
84.4
k_lin_p-9
UNSAT
84.93
c2_BMC_p2_k32
UNSAT
85.83
stmt9_350_351
SAT
88.51
c5_BMC_p1_k4
SAT
89.87
k_t4p_n-19
SAT
91.8
par8-4-c-50
SAT
94.73
k_d4_n-11
SAT
100.69
k_branch_p-4
UNSAT
104
c2_BMC_p2_k256
UNSAT
104.91
k_t4p_n-20
SAT
105.5
eijk.S1196.S-d3
UNSAT
111.99
c2_BMC_p2_k128
UNSAT
112.76
k_t4p_n-21
SAT
114.65
c6_BMC_p1_k256
SAT
121.28
stmt16_818_819
SAT
121.88
szymanski-24-s
UNSAT
123.42
stmt82_224_225
SAT
134.98
sortnetsort5.AE.stepl.006
UNSAT
135.63
c2_BMC_p2_k16
UNSAT
147
stmt44_40_41
UNSAT
149.17
comp.blif_0.10_0.20_0_0_out_exact
UNSAT
153.28
C5315.blif_0.10_1.00_0_1_out_exact
SAT
153.53
ii32e1-00
SAT
156.59
lut4_AND_fXOR
UNSAT
157.13
c1_BMC_p2_k64
UNSAT
161.37
adder-6-sat
SAT
163.51
term1.blif_0.10_0.20_0_0_inp_exact
UNSAT
163.89
k3_1_1
SAT
168.15
stmt52_54_55
UNSAT
169.12
c2_BMC_p2_k512
UNSAT
179
comp.blif_0.10_1.00_0_0_out_exact
UNSAT
187.22
eijk.S208o.S-f4
SAT
188.51
ev-pr-6x6-11-5-0-1-2-lg
UNSAT
190.68
term1.blif_0.10_0.20_0_0_out_exact
UNSAT
231.13
ii32e1-50
SAT
234.04
c1_BMC_p2_k128
UNSAT
235.3
k_d4_n-13
SAT
241.88
c6_BMC_p1_k512
SAT
242.59
s27_d5_u
UNSAT
280.87
ev-pr-8x8-11-7-0-1-2-lg
UNSAT
285.91
k_grz_n-6
SAT
287.77
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003
UNSAT
328.85
c2_BMC_p2_k1024
UNSAT
332.22
c6_BMC_p1_k1024
SAT
336.98
stmt11_643_645
SAT
343.76
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004
UNSAT
345.96
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003
UNSAT
350.9
vis.arbiter.E-f3
SAT
361.75
k_d4_n-12
SAT
378.98
k_grz_p-6
UNSAT
380.32
c1_BMC_p2_k256
UNSAT
400.45
aim-50-2_0-yes1-3-50
UNSAT
436.47
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
440.63
par8-2-c-90
UNSAT
442.1
vis.prodcell^11.E-f2
UNSAT
451.28
nusmv.syncarb5^2.B-f4
SAT
453.05
sortnetsort6.v.stepl.007
SAT
456.78
aim-50-1_6-yes1-3-50
UNSAT
457.74
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003
UNSAT
461.19
c1_BMC_p2_k1024
UNSAT
469.29
c1_BMC_p2_k512
UNSAT
470.35
ev-pr-6x6-13-5-0-1-2-lg
UNSAT
483.93
vis.prodcell^04.E-f4
UNSAT
488.46
eijk.S298.S-f2
SAT
492.28
k_lin_p-14
UNSAT
497.21
eijk.S208c.S-f4
SAT
505.06
Adder2-8-s
SAT
539.51
vis.prodcell^03.E-f4
UNSAT
575.72
ev-pr-6x6-17-5-0-1-2-lg
FAIL
600
term1.blif_0.10_1.00_0_0_out_exact
FAIL
600
counter_re_32
FAIL
600
adder-14-sat
FAIL
600
counter_8
FAIL
600
counter_r_64
FAIL
600
adder-10-sat
FAIL
600
k_grz_p-16
FAIL
600
ev-pr-4x4-15-3-0-0-1-s
FAIL
600
k_ph_n-20
FAIL
600
ev-pr-6x6-11-5-0-1-2-s
FAIL
600
s499_d16_s
FAIL
600
C6288.blif_0.10_0.20_0_0_out_exact
FAIL
600
counter_re_64
FAIL
600
s820_d10_s
FAIL
600
C880.blif_0.10_0.20_0_1_out_exact
FAIL
600
k_branch_p-16
FAIL
600
s510_d32_s
FAIL
600
BLOCKS4i.6.4
FAIL
600
counter_16
FAIL
600
counter_r_32
FAIL
600
lut4_3_fAND
FAIL
600
adder-8-unsat
FAIL
600
BLOCKS3i.5.4
FAIL
600
C432.blif_0.10_1.00_0_0_out_exact
FAIL
600
k_branch_n-12
FAIL
600
s499_d8_s
FAIL
600
s713_d2_s
FAIL
600
k_d4_n-21
FAIL
600
adder-14-unsat
FAIL
600
ev-pr-6x6-13-5-0-1-2-s
FAIL
600
ev-pr-6x6-17-5-0-1-2-s
FAIL
600
Adder2-16-c
FAIL
600
ev-pr-8x8-13-7-0-1-2-lg
FAIL
600
BLOCKS4ii.6.3
FAIL
600
C6288.blif_0.10_1.00_0_0_out_exact
FAIL
600
BLOCKS4iii.6
FAIL
600
Adder2-12-c
FAIL
600
ev-pr-6x6-19-5-0-1-2-lg
FAIL
600
test2_quant_squaring2
FAIL
600
ev-pr-6x6-9-5-0-1-2-s
FAIL
600
C880.blif_0.10_1.00_0_0_out_exact
FAIL
600
s386_d2_s
FAIL
600
s386_d7_s
FAIL
600
ev-pr-4x4-7-3-0-0-1-s
FAIL
600
s3330_d4_s
FAIL
600
C6288.blif_0.10_0.20_0_0_inp_exact
FAIL
600
test5_quant7
FAIL
600
test2_quant_squaring3
FAIL
600
BLOCKS4ii.7.2
FAIL
600
counter_32
FAIL
600
adder-16-sat
FAIL
600
s713_d4_s
FAIL
600
test1_quant2
FAIL
600
s1269_d10_s
FAIL
600
s386_d4_s
FAIL
600
s1269_d4_s
FAIL
600
adder-6-unsat
FAIL
600
C880.blif_0.10_0.20_0_1_inp_exact
FAIL
600
k_d4_n-16
FAIL
600
ev-pr-8x8-19-7-0-1-2-lg
FAIL
600
C5315.blif_0.10_0.20_0_1_inp_exact
FAIL
600
C6288.blif_0.10_0.20_0_1_out_exact
FAIL
600
uclid-pipe2
FAIL
600
uclid-pipe3a
FAIL
600
Adder2-10-c
FAIL
600
ev-pr-4x4-17-3-0-0-1-s
FAIL
600
C5315.blif_0.10_1.00_0_0_out_exact
FAIL
600
ev-pr-4x4-13-3-0-0-1-s
FAIL
600
adder-10-unsat
FAIL
600
s820_d2_s
FAIL
600
k_branch_n-20
FAIL
600
ev-pr-6x6-15-5-0-1-2-lg
FAIL
600
C499.blif_0.10_1.00_0_0_out_exact
FAIL
600
test4_quant4
FAIL
600
s510_d2_s
FAIL
600
s3330_d10_u
FAIL
600
counter_r_16
FAIL
600
C432.blif_0.10_0.20_0_0_out_exact
FAIL
600
BLOCKS4iii.7
FAIL
600
C499.blif_0.10_0.20_0_1_out_exact
FAIL
600
s386_d8_u
FAIL
600
k_lin_p-16
FAIL
600
test2_quant3
FAIL
600
k_ph_p-20
FAIL
600
test4_quant2
FAIL
600
C6288.blif_0.10_0.20_0_1_inp_exact
FAIL
600
Adder2-14-s
FAIL
600
k_branch_p-12
FAIL
600
k_grz_n-16
FAIL
600
test2_quant2
FAIL
600
k_ph_p-12
FAIL
600
C5315.blif_0.10_0.20_0_0_out_exact
FAIL
600
test1_quant_squaring3
FAIL
600
s3330_d9_s
FAIL
600
BLOCKS3i.4.4
FAIL
600
s713_d7_u
FAIL
600
counter_e_8
FAIL
600
k_branch_p-21
FAIL
600
Adder2-16-s
FAIL
600
test3_quant4
FAIL
600
k_grz_n-12
FAIL
600
lut4_AND_f1
FAIL
600
s298_d8_s
FAIL
600
s298_d16_s
FAIL
600
C880.blif_0.10_1.00_0_0_inp_exact
FAIL
600
s499_d21_s
FAIL
600
counter_re_8
FAIL
600
s1196_d3_u
FAIL
600
k_grz_p-21
FAIL
600
ev-pr-4x4-11-3-0-0-1-s
FAIL
600
k_ph_n-21
FAIL
600
counter_e_64
FAIL
600
C880.blif_0.10_0.20_0_0_inp_exact
FAIL
600
k_grz_n-8
FAIL
600
k_ph_n-16
FAIL
600
counter_64
FAIL
600
ev-pr-6x6-5-5-0-1-2-s
FAIL
600
k_d4_n-20
FAIL
600
s499_d4_s
FAIL
600
test3_quant_squaring4
FAIL
600
test3_quant_squaring2
FAIL
600
ev-pr-6x6-19-5-0-1-2-s
FAIL
600
ev-pr-4x4-9-3-0-0-1-s
FAIL
600
Adder2-8-c
FAIL
600
k_branch_n-21
FAIL
600
counter_e_32
FAIL
600
s298_d4_s
FAIL
600
k_branch_p-20
FAIL
600
C432.blif_0.10_0.20_0_0_inp_exact
FAIL
600
k_grz_p-12
FAIL
600
test3_quant2
FAIL
600
s713_d6_s
FAIL
600
C6288.blif_0.10_1.00_0_0_inp_exact
FAIL
600
C5315.blif_0.10_0.20_0_1_out_exact
FAIL
600
test5_quant_squaring5
FAIL
600
counter_r_8
FAIL
600
test1_quant3
FAIL
600
adder-12-sat
FAIL
600
adder-8-sat
FAIL
600
test5_quant_squaring4
FAIL
600
s1269_d11_u
FAIL
600
s499_d2_s
FAIL
600
s499_d22_u
FAIL
600
k_ph_p-8
FAIL
600
s1196_d2_s
FAIL
600
k_ph_n-12
FAIL
600
k_ph_p-16
FAIL
600
s510_d8_s
FAIL
600
counter_re_16
FAIL
600
ev-pr-8x8-15-7-0-1-2-lg
FAIL
600
Adder2-12-s
FAIL
600
k_branch_n-16
FAIL
600
s510_d46_s
FAIL
600
k_grz_p-20
FAIL
600
C880.blif_0.10_0.20_0_0_out_exact
FAIL
600
test4_quant_squaring4
FAIL
600
ev-pr-4x4-5-3-0-0-1-s
FAIL
600
test4_quant_squaring2
FAIL
600
s820_d8_s
FAIL
600
k_lin_p-20
FAIL
600
k_branch_n-8
FAIL
600
adder-12-unsat
FAIL
600
k_branch_p-8
FAIL
600
s510_d4_s
FAIL
600
C499.blif_0.10_0.20_0_0_out_exact
FAIL
600
k_grz_n-20
FAIL
600
s298_d18_s
FAIL
600
Adder2-10-s
FAIL
600
Adder2-6-c
FAIL
600
ev-pr-6x6-15-5-0-1-2-s
FAIL
600
s298_d19_u
FAIL
600
counter_e_16
FAIL
600
BLOCKS3i.5.3
FAIL
600
k_grz_n-21
FAIL
600
adder-16-unsat
FAIL
600
test5_quant5
FAIL
600
Adder2-4-c
FAIL
600
test1_quant_squaring2
FAIL
600
C5315.blif_0.10_0.20_0_0_inp_exact
FAIL
600
s298_d2_s
FAIL
600
s1269_d8_s
FAIL
600
s820_d11_u
FAIL
600
ev-pr-8x8-17-7-0-1-2-lg
FAIL
600
s3330_d8_s
FAIL
600
adder-4-unsat
FAIL
600
s510_d47_u
FAIL
600
s3330_d2_s
FAIL
600
s820_d4_s
FAIL
600
k_grz_p-8
FAIL
600
s510_d16_s
FAIL
600
uclid-pipe3b
FAIL
600
k_ph_p-21
FAIL
600
C432.blif_0.10_0.20_0_1_out_exact
FAIL
600
counter_re_4
FAIL
600
C499.blif_0.10_0.20_0_0_inp_exact
FAIL
600
Adder2-14-c
FAIL
600
k_lin_p-21
FAIL
600
s1269_d2_s
FAIL
600
ev-pr-6x6-7-5-0-1-2-s
FAIL
600
k_branch_n-9
FAIL
600
k_branch_n-10
FAIL
600
k_branch_n-11
FAIL
600
k_branch_n-13
FAIL
600
k_branch_n-14
FAIL
600
k_branch_n-17
FAIL
600
k_branch_n-18
FAIL
600
k_branch_n-19
FAIL
600
k_branch_n-15
FAIL
600
k_branch_n-6
FAIL
600
k_branch_n-7
FAIL
600
k_branch_p-9
FAIL
600
k_branch_p-10
FAIL
600
k_branch_p-11
FAIL
600
k_branch_p-13
FAIL
600
k_branch_p-14
FAIL
600
k_branch_p-17
FAIL
600
k_branch_p-18
FAIL
600
k_branch_p-19
FAIL
600
k_branch_p-15
FAIL
600
k_branch_p-5
FAIL
600
k_branch_p-6
FAIL
600
k_branch_p-7
FAIL
600
k_d4_n-17
FAIL
600
k_d4_n-18
FAIL
600
k_d4_n-19
FAIL
600
k_d4_n-14
FAIL
600
k_d4_n-15
FAIL
600
k_grz_n-18
FAIL
600
k_grz_n-7
FAIL
600
k_grz_n-9
FAIL
600
k_grz_n-10
FAIL
600
k_grz_n-11
FAIL
600
k_grz_n-19
FAIL
600
k_grz_n-14
FAIL
600
k_grz_n-15
FAIL
600
k_grz_n-17
FAIL
600
k_grz_n-13
FAIL
600
k_grz_p-18
FAIL
600
k_grz_p-7
FAIL
600
k_grz_p-9
FAIL
600
k_grz_p-10
FAIL
600
k_grz_p-11
FAIL
600
k_grz_p-19
FAIL
600
k_grz_p-14
FAIL
600
k_grz_p-15
FAIL
600
k_grz_p-17
FAIL
600
k_grz_p-13
FAIL
600
k_lin_p-18
FAIL
600
k_lin_p-19
FAIL
600
k_lin_p-17
FAIL
600
k_ph_n-17
FAIL
600
k_ph_n-18
FAIL
600
k_ph_n-9
FAIL
600
k_ph_n-10
FAIL
600
k_ph_n-19
FAIL
600
k_ph_n-13
FAIL
600
k_ph_n-14
FAIL
600
k_ph_n-15
FAIL
600
k_ph_n-11
FAIL
600
k_ph_p-17
FAIL
600
k_ph_p-18
FAIL
600
k_ph_p-9
FAIL
600
k_ph_p-10
FAIL
600
k_ph_p-19
FAIL
600
k_ph_p-13
FAIL
600
k_ph_p-14
FAIL
600
k_ph_p-15
FAIL
600
k_ph_p-11
FAIL
600
s1196_d5_u
FAIL
600
s1196_d6_u
FAIL
600
s1196_d7_u
FAIL
600
s1196_d4_u
FAIL
600
s1269_d5_s
FAIL
600
s1269_d6_s
FAIL
600
s1269_d9_s
FAIL
600
s1269_d15_u
FAIL
600
s1269_d3_s
FAIL
600
s298_d14_s
FAIL
600
s298_d17_s
FAIL
600
s298_d21_u
FAIL
600
s298_d10_s
FAIL
600
s298_d5_s
FAIL
600
s3330_d6_s
FAIL
600
s3330_d12_u
FAIL
600
s3330_d13_u
FAIL
600
s3330_d3_s
FAIL
600
s386_d5_s
FAIL
600
s386_d9_u
FAIL
600
s386_d12_u
FAIL
600
s386_d10_u
FAIL
600
s386_d3_s
FAIL
600
s499_d7_s
FAIL
600
s499_d14_s
FAIL
600
s499_d19_s
FAIL
600
s499_d10_s
FAIL
600
s499_d18_s
FAIL
600
s499_d3_s
FAIL
600
s510_d13_s
FAIL
600
s510_d31_s
FAIL
600
s510_d42_s
FAIL
600
s510_d48_u
FAIL
600
s510_d49_u
FAIL
600
s510_d51_u
FAIL
600
s510_d12_s
FAIL
600
s713_d8_u
FAIL
600
s713_d9_u
FAIL
600
s713_d10_u
FAIL
600
s713_d3_s
FAIL
600
s820_d5_s
FAIL
600
s820_d9_s
FAIL
600
s820_d12_u
FAIL
600
s820_d14_u
FAIL
600
s820_d3_s
FAIL
600
cmu.gigamax.B-d2
FAIL
600
cmu.gigamax.B-d3
FAIL
600
cmu.gigamax.B-d4
FAIL
600
cmu.periodic.N-d2
FAIL
600
cmu.periodic.N-d3
FAIL
600
cmu.periodic.N-d4
FAIL
600
eijk.bs3330.S-d3
FAIL
600
eijk.bs3330.S-d4
FAIL
600
eijk.bs4863.S-d3
FAIL
600
eijk.bs4863.S-d4
FAIL
600
eijk.bs6669.S-d3
FAIL
600
eijk.bs6669.S-d4
FAIL
600
eijk.S1196.S-d4
FAIL
600
eijk.S1238.S-d4
FAIL
600
eijk.S820.S-d4
FAIL
600
eijk.S832.S-d4
FAIL
600
ken.flash^01.C-d2
FAIL
600
ken.flash^01.C-d3
FAIL
600
ken.flash^01.C-d4
FAIL
600
ken.flash^02.C-d2
FAIL
600
ken.flash^02.C-d3
FAIL
600
ken.flash^02.C-d4
FAIL
600
ken.flash^03.C-d2
FAIL
600
ken.flash^03.C-d3
FAIL
600
ken.flash^03.C-d4
FAIL
600
ken.flash^04.C-d2
FAIL
600
ken.flash^04.C-d3
FAIL
600
ken.flash^04.C-d4
FAIL
600
ken.flash^05.C-d2
FAIL
600
ken.flash^05.C-d3
FAIL
600
ken.flash^05.C-d4
FAIL
600
ken.flash^06.C-d2
FAIL
600
ken.flash^06.C-d3
FAIL
600
ken.flash^06.C-d4
FAIL
600
ken.flash^07.C-d4
FAIL
600
ken.flash^08.C-d2
FAIL
600
ken.flash^08.C-d3
FAIL
600
ken.flash^08.C-d4
FAIL
600
ken.flash^09.C-d2
FAIL
600
ken.flash^09.C-d3
FAIL
600
ken.flash^09.C-d4
FAIL
600
ken.flash^10.C-d2
FAIL
600
ken.flash^10.C-d3
FAIL
600
ken.flash^10.C-d4
FAIL
600
ken.flash^11.C-d2
FAIL
600
ken.flash^11.C-d3
FAIL
600
ken.flash^11.C-d4
FAIL
600
ken.flash^12.C-d2
FAIL
600
ken.flash^12.C-d3
FAIL
600
ken.flash^12.C-d4
FAIL
600
ken.flash^13.C-d2
FAIL
600
ken.flash^13.C-d3
FAIL
600
ken.flash^13.C-d4
FAIL
600
ken.flash^14.C-d2
FAIL
600
ken.flash^14.C-d3
FAIL
600
ken.flash^14.C-d4
FAIL
600
ken.oop^1.C-d2
FAIL
600
ken.oop^1.C-d3
FAIL
600
ken.oop^1.C-d4
FAIL
600
ken.oop^2.C-d2
FAIL
600
ken.oop^2.C-d3
FAIL
600
ken.oop^2.C-d4
FAIL
600
nusmv.brp.B-d3
FAIL
600
nusmv.brp.B-d4
FAIL
600
nusmv.guidance^1.C-d2
FAIL
600
nusmv.guidance^1.C-d3
FAIL
600
nusmv.guidance^1.C-d4
FAIL
600
nusmv.guidance^2.C-d3
FAIL
600
nusmv.guidance^4.C-d3
FAIL
600
nusmv.guidance^5.C-d3
FAIL
600
nusmv.guidance^6.C-d3
FAIL
600
nusmv.queue.B-d3
FAIL
600
nusmv.queue.B-d4
FAIL
600
nusmv.reactor^1.C-d2
FAIL
600
nusmv.reactor^1.C-d3
FAIL
600
nusmv.reactor^1.C-d4
FAIL
600
nusmv.reactor^2.C-d2
FAIL
600
nusmv.reactor^2.C-d3
FAIL
600
nusmv.reactor^2.C-d4
FAIL
600
nusmv.reactor^3.C-d2
FAIL
600
nusmv.reactor^3.C-d3
FAIL
600
nusmv.reactor^3.C-d4
FAIL
600
nusmv.reactor^4.C-d2
FAIL
600
nusmv.reactor^4.C-d3
FAIL
600
nusmv.reactor^4.C-d4
FAIL
600
nusmv.reactor^5.C-d2
FAIL
600
nusmv.reactor^5.C-d3
FAIL
600
nusmv.reactor^5.C-d4
FAIL
600
nusmv.tcas^1.B-d2
FAIL
600
nusmv.tcas^1.B-d3
FAIL
600
nusmv.tcas^1.B-d4
FAIL
600
nusmv.tcas-t^1.B-d2
FAIL
600
nusmv.tcas-t^1.B-d3
FAIL
600
nusmv.tcas-t^1.B-d4
FAIL
600
vis.elevator^1.E-d3
FAIL
600
vis.elevator^1.E-d4
FAIL
600
vis.emodel.E-d4
FAIL
600
cmu.dme1.B-f2
FAIL
600
cmu.dme1.B-f3
FAIL
600
cmu.dme1.B-f4
FAIL
600
cmu.dme2.B-f2
FAIL
600
cmu.dme2.B-f3
FAIL
600
cmu.dme2.B-f4
FAIL
600
cmu.gigamax.B-f2
FAIL
600
cmu.gigamax.B-f3
FAIL
600
cmu.gigamax.B-f4
FAIL
600
cmu.periodic.N-f2
FAIL
600
cmu.periodic.N-f3
FAIL
600
cmu.periodic.N-f4
FAIL
600
eijk.bs1512.S-f2
FAIL
600
eijk.bs1512.S-f3
FAIL
600
eijk.bs1512.S-f4
FAIL
600
eijk.bs3271.S-f2
FAIL
600
eijk.bs3271.S-f3
FAIL
600
eijk.bs3271.S-f4
FAIL
600
eijk.bs3330.S-f2
FAIL
600
eijk.bs3330.S-f3
FAIL
600
eijk.bs3330.S-f4
FAIL
600
eijk.bs3384.S-f2
FAIL
600
eijk.bs3384.S-f3
FAIL
600
eijk.bs3384.S-f4
FAIL
600
eijk.bs4863.S-f2
FAIL
600
eijk.bs4863.S-f3
FAIL
600
eijk.bs4863.S-f4
FAIL
600
eijk.bs6669.S-f2
FAIL
600
eijk.bs6669.S-f3
FAIL
600
eijk.bs6669.S-f4
FAIL
600
eijk.S1196.S-f2
FAIL
600
eijk.S1196.S-f3
FAIL
600
eijk.S1196.S-f4
FAIL
600
eijk.S1238.S-f2
FAIL
600
eijk.S1238.S-f3
FAIL
600
eijk.S1238.S-f4
FAIL
600
eijk.S1423.S-f2
FAIL
600
eijk.S1423.S-f3
FAIL
600
eijk.S1423.S-f4
FAIL
600
eijk.S208c.S-f2
FAIL
600
eijk.S298.S-f3
FAIL
600
eijk.S298.S-f4
FAIL
600
eijk.S344.S-f2
FAIL
600
eijk.S344.S-f3
FAIL
600
eijk.S344.S-f4
FAIL
600
eijk.S349.S-f2
FAIL
600
eijk.S349.S-f3
FAIL
600
eijk.S349.S-f4
FAIL
600
eijk.S382.S-f2
FAIL
600
eijk.S382.S-f3
FAIL
600
eijk.S382.S-f4
FAIL
600
eijk.S386.S-f2
FAIL
600
eijk.S386.S-f3
FAIL
600
eijk.S386.S-f4
FAIL
600
eijk.S420.S-f2
FAIL
600
eijk.S420.S-f3
FAIL
600
eijk.S420.S-f4
FAIL
600
eijk.S444.S-f2
FAIL
600
eijk.S444.S-f3
FAIL
600
eijk.S444.S-f4
FAIL
600
eijk.S510.S-f2
FAIL
600
eijk.S510.S-f3
FAIL
600
eijk.S510.S-f4
FAIL
600
eijk.S526.S-f2
FAIL
600
eijk.S526.S-f3
FAIL
600
eijk.S526.S-f4
FAIL
600
eijk.S5378.S-f2
FAIL
600
eijk.S5378.S-f3
FAIL
600
eijk.S5378.S-f4
FAIL
600
eijk.S641.S-f2
FAIL
600
eijk.S641.S-f3
FAIL
600
eijk.S641.S-f4
FAIL
600
eijk.S713.S-f2
FAIL
600
eijk.S713.S-f3
FAIL
600
eijk.S713.S-f4
FAIL
600
eijk.S820.S-f2
FAIL
600
eijk.S820.S-f3
FAIL
600
eijk.S820.S-f4
FAIL
600
eijk.S832.S-f2
FAIL
600
eijk.S832.S-f3
FAIL
600
eijk.S832.S-f4
FAIL
600
eijk.S838.S-f2
FAIL
600
eijk.S838.S-f3
FAIL
600
eijk.S838.S-f4
FAIL
600
eijk.S953.S-f2
FAIL
600
eijk.S953.S-f3
FAIL
600
eijk.S953.S-f4
FAIL
600
irst.dme4.B-f2
FAIL
600
irst.dme4.B-f3
FAIL
600
irst.dme4.B-f4
FAIL
600
irst.dme5.B-f2
FAIL
600
irst.dme5.B-f3
FAIL
600
irst.dme5.B-f4
FAIL
600
irst.dme6.B-f2
FAIL
600
irst.dme6.B-f3
FAIL
600
irst.dme6.B-f4
FAIL
600
ken.flash^01.C-f2
FAIL
600
ken.flash^01.C-f3
FAIL
600
ken.flash^01.C-f4
FAIL
600
ken.flash^02.C-f2
FAIL
600
ken.flash^02.C-f3
FAIL
600
ken.flash^02.C-f4
FAIL
600
ken.flash^03.C-f2
FAIL
600
ken.flash^03.C-f3
FAIL
600
ken.flash^03.C-f4
FAIL
600
ken.flash^04.C-f2
FAIL
600
ken.flash^04.C-f3
FAIL
600
ken.flash^04.C-f4
FAIL
600
ken.flash^05.C-f2
FAIL
600
ken.flash^05.C-f3
FAIL
600
ken.flash^05.C-f4
FAIL
600
ken.flash^06.C-f2
FAIL
600
ken.flash^06.C-f3
FAIL
600
ken.flash^06.C-f4
FAIL
600
ken.flash^07.C-f2
FAIL
600
ken.flash^07.C-f3
FAIL
600
ken.flash^07.C-f4
FAIL
600
ken.flash^08.C-f2
FAIL
600
ken.flash^08.C-f3
FAIL
600
ken.flash^08.C-f4
FAIL
600
ken.flash^09.C-f2
FAIL
600
ken.flash^09.C-f3
FAIL
600
ken.flash^09.C-f4
FAIL
600
ken.flash^11.C-f2
FAIL
600
ken.flash^11.C-f3
FAIL
600
ken.flash^11.C-f4
FAIL
600
ken.flash^12.C-f2
FAIL
600
ken.flash^12.C-f3
FAIL
600
ken.flash^12.C-f4
FAIL
600
ken.oop^1.C-f2
FAIL
600
ken.oop^1.C-f3
FAIL
600
ken.oop^1.C-f4
FAIL
600
ken.oop^2.C-f2
FAIL
600
ken.oop^2.C-f3
FAIL
600
ken.oop^2.C-f4
FAIL
600
nusmv.brp.B-f2
FAIL
600
nusmv.brp.B-f3
FAIL
600
nusmv.brp.B-f4
FAIL
600
nusmv.dme1-16.B-f2
FAIL
600
nusmv.dme1-16.B-f3
FAIL
600
nusmv.dme1-16.B-f4
FAIL
600
nusmv.dme2-16.B-f2
FAIL
600
nusmv.dme2-16.B-f3
FAIL
600
nusmv.dme2-16.B-f4
FAIL
600
nusmv.guidance^1.C-f2
FAIL
600
nusmv.guidance^1.C-f3
FAIL
600
nusmv.guidance^1.C-f4
FAIL
600
nusmv.guidance^2.C-f2
FAIL
600
nusmv.guidance^2.C-f3
FAIL
600
nusmv.guidance^2.C-f4
FAIL
600
nusmv.guidance^3.C-f2
FAIL
600
nusmv.guidance^3.C-f3
FAIL
600
nusmv.guidance^3.C-f4
FAIL
600
nusmv.guidance^4.C-f2
FAIL
600
nusmv.guidance^4.C-f3
FAIL
600
nusmv.guidance^4.C-f4
FAIL
600
nusmv.guidance^5.C-f2
FAIL
600
nusmv.guidance^5.C-f3
FAIL
600
nusmv.guidance^5.C-f4
FAIL
600
nusmv.guidance^6.C-f2
FAIL
600
nusmv.guidance^6.C-f3
FAIL
600
nusmv.guidance^6.C-f4
FAIL
600
nusmv.guidance^7.C-f2
FAIL
600
nusmv.guidance^7.C-f3
FAIL
600
nusmv.guidance^7.C-f4
FAIL
600
nusmv.guidance^8.C-f2
FAIL
600
nusmv.guidance^8.C-f3
FAIL
600
nusmv.guidance^8.C-f4
FAIL
600
nusmv.guidance^9.C-f2
FAIL
600
nusmv.guidance^9.C-f3
FAIL
600
nusmv.guidance^9.C-f4
FAIL
600
nusmv.queue.B-f2
FAIL
600
nusmv.queue.B-f3
FAIL
600
nusmv.queue.B-f4
FAIL
600
nusmv.reactor^2.C-f2
FAIL
600
nusmv.reactor^2.C-f3
FAIL
600
nusmv.reactor^2.C-f4
FAIL
600
nusmv.reactor^3.C-f2
FAIL
600
nusmv.reactor^3.C-f3
FAIL
600
nusmv.reactor^4.C-f2
FAIL
600
nusmv.reactor^4.C-f3
FAIL
600
nusmv.reactor^4.C-f4
FAIL
600
nusmv.reactor^5.C-f2
FAIL
600
nusmv.reactor^5.C-f3
FAIL
600
nusmv.reactor^5.C-f4
FAIL
600
nusmv.reactor^6.C-f2
FAIL
600
nusmv.reactor^6.C-f3
FAIL
600
nusmv.reactor^6.C-f4
FAIL
600
nusmv.reactor^7.C-f2
FAIL
600
nusmv.reactor^7.C-f3
FAIL
600
nusmv.reactor^7.C-f4
FAIL
600
nusmv.syncarb10^2.B-f2
FAIL
600
nusmv.syncarb10^2.B-f3
FAIL
600
nusmv.syncarb10^2.B-f4
FAIL
600
nusmv.tcas^1.B-f2
FAIL
600
nusmv.tcas^1.B-f3
FAIL
600
nusmv.tcas^1.B-f4
FAIL
600
nusmv.tcas^2.B-f2
FAIL
600
nusmv.tcas^2.B-f3
FAIL
600
nusmv.tcas^2.B-f4
FAIL
600
nusmv.tcas^3.B-f2
FAIL
600
nusmv.tcas^3.B-f3
FAIL
600
nusmv.tcas^3.B-f4
FAIL
600
nusmv.tcas^4.B-f2
FAIL
600
nusmv.tcas^4.B-f3
FAIL
600
nusmv.tcas^4.B-f4
FAIL
600
nusmv.tcas^5.B-f2
FAIL
600
nusmv.tcas^5.B-f3
FAIL
600
nusmv.tcas^5.B-f4
FAIL
600
nusmv.tcas^6.B-f2
FAIL
600
nusmv.tcas^6.B-f3
FAIL
600
nusmv.tcas^6.B-f4
FAIL
600
nusmv.tcas-t^1.B-f2
FAIL
600
nusmv.tcas-t^1.B-f3
FAIL
600
nusmv.tcas-t^1.B-f4
FAIL
600
nusmv.tcas-t^2.B-f2
FAIL
600
nusmv.tcas-t^2.B-f3
FAIL
600
nusmv.tcas-t^2.B-f4
FAIL
600
nusmv.tcas-t^3.B-f2
FAIL
600
nusmv.tcas-t^3.B-f3
FAIL
600
nusmv.tcas-t^3.B-f4
FAIL
600
nusmv.tcas-t^4.B-f2
FAIL
600
nusmv.tcas-t^4.B-f3
FAIL
600
nusmv.tcas-t^4.B-f4
FAIL
600
nusmv.tcas-t^5.B-f2
FAIL
600
nusmv.tcas-t^5.B-f3
FAIL
600
nusmv.tcas-t^5.B-f4
FAIL
600
nusmv.tcas-t^6.B-f2
FAIL
600
nusmv.tcas-t^6.B-f3
FAIL
600
nusmv.tcas-t^6.B-f4
FAIL
600
texas.ifetch1^1.E-f2
FAIL
600
texas.ifetch1^1.E-f3
FAIL
600
texas.ifetch1^1.E-f4
FAIL
600
texas.ifetch1^2.E-f2
FAIL
600
texas.ifetch1^2.E-f3
FAIL
600
texas.ifetch1^2.E-f4
FAIL
600
texas.ifetch1^3.E-f2
FAIL
600
texas.ifetch1^3.E-f3
FAIL
600
texas.ifetch1^3.E-f4
FAIL
600
texas.ifetch1^4.E-f2
FAIL
600
texas.ifetch1^4.E-f3
FAIL
600
texas.ifetch1^4.E-f4
FAIL
600
texas.ifetch1^5.E-f2
FAIL
600
texas.ifetch1^5.E-f3
FAIL
600
texas.ifetch1^5.E-f4
FAIL
600
texas.ifetch1^7.E-f2
FAIL
600
texas.ifetch1^7.E-f3
FAIL
600
texas.ifetch1^7.E-f4
FAIL
600
texas.ifetch1^8.E-f2
FAIL
600
texas.ifetch1^8.E-f3
FAIL
600
texas.ifetch1^8.E-f4
FAIL
600
texas.ifetch1^9.E-f2
FAIL
600
texas.ifetch1^9.E-f3
FAIL
600
texas.ifetch1^9.E-f4
FAIL
600
texas.parsesys^1.E-f3
FAIL
600
texas.parsesys^1.E-f4
FAIL
600
texas.parsesys^2.E-f2
FAIL
600
texas.parsesys^2.E-f3
FAIL
600
texas.parsesys^2.E-f4
FAIL
600
texas.parsesys^3.E-f3
FAIL
600
texas.parsesys^3.E-f4
FAIL
600
texas.PI_main^01.E-f2
FAIL
600
texas.PI_main^01.E-f3
FAIL
600
texas.PI_main^01.E-f4
FAIL
600
texas.PI_main^02.E-f2
FAIL
600
texas.PI_main^02.E-f3
FAIL
600
texas.PI_main^02.E-f4
FAIL
600
texas.PI_main^03.E-f2
FAIL
600
texas.PI_main^03.E-f3
FAIL
600
texas.PI_main^03.E-f4
FAIL
600
texas.PI_main^05.E-f2
FAIL
600
texas.PI_main^05.E-f3
FAIL
600
texas.PI_main^05.E-f4
FAIL
600
texas.PI_main^08.E-f2
FAIL
600
texas.PI_main^08.E-f3
FAIL
600
texas.PI_main^08.E-f4
FAIL
600
texas.PI_main^10.E-f2
FAIL
600
texas.PI_main^10.E-f3
FAIL
600
texas.PI_main^10.E-f4
FAIL
600
texas.PI_main^11.E-f2
FAIL
600
texas.PI_main^11.E-f3
FAIL
600
texas.PI_main^11.E-f4
FAIL
600
texas.PI_main^12.E-f2
FAIL
600
texas.PI_main^12.E-f3
FAIL
600
texas.PI_main^12.E-f4
FAIL
600
texas.PI_main^13.E-f2
FAIL
600
texas.PI_main^13.E-f3
FAIL
600
texas.PI_main^13.E-f4
FAIL
600
texas.PI_main^14.E-f2
FAIL
600
texas.PI_main^14.E-f3
FAIL
600
texas.PI_main^14.E-f4
FAIL
600
texas.PI_main^15.E-f2
FAIL
600
texas.PI_main^15.E-f3
FAIL
600
texas.PI_main^15.E-f4
FAIL
600
texas.PI_main^16.E-f2
FAIL
600
texas.PI_main^16.E-f3
FAIL
600
texas.PI_main^16.E-f4
FAIL
600
texas.two_proc^1.E-f2
FAIL
600
texas.two_proc^1.E-f3
FAIL
600
texas.two_proc^1.E-f4
FAIL
600
texas.two_proc^2.E-f2
FAIL
600
texas.two_proc^2.E-f3
FAIL
600
texas.two_proc^2.E-f4
FAIL
600
texas.two_proc^3.E-f2
FAIL
600
texas.two_proc^3.E-f3
FAIL
600
texas.two_proc^3.E-f4
FAIL
600
texas.two_proc^4.E-f2
FAIL
600
texas.two_proc^4.E-f3
FAIL
600
texas.two_proc^4.E-f4
FAIL
600
texas.two_proc^5.E-f2
FAIL
600
texas.two_proc^5.E-f3
FAIL
600
texas.two_proc^5.E-f4
FAIL
600
texas.two_proc^6.E-f2
FAIL
600
texas.two_proc^6.E-f3
FAIL
600
texas.two_proc^6.E-f4
FAIL
600
vis.4-arbit^1.E-f3
FAIL
600
vis.4-arbit^1.E-f4
FAIL
600
vis.4-arbit^2.E-f2
FAIL
600
vis.4-arbit^2.E-f3
FAIL
600
vis.4-arbit^2.E-f4
FAIL
600
vis.arbiter.E-f4
FAIL
600
vis.bakery.E-f3
FAIL
600
vis.bakery.E-f4
FAIL
600
vis.coherence^1.E-f2
FAIL
600
vis.coherence^1.E-f3
FAIL
600
vis.coherence^1.E-f4
FAIL
600
vis.coherence^2.E-f2
FAIL
600
vis.coherence^2.E-f3
FAIL
600
vis.coherence^2.E-f4
FAIL
600
vis.coherence^3.E-f2
FAIL
600
vis.coherence^3.E-f3
FAIL
600
vis.coherence^3.E-f4
FAIL
600
vis.coherence^5.E-f2
FAIL
600
vis.coherence^5.E-f3
FAIL
600
vis.coherence^5.E-f4
FAIL
600
vis.eisenberg.E-f3
FAIL
600
vis.eisenberg.E-f4
FAIL
600
vis.elevator^1.E-f2
FAIL
600
vis.elevator^1.E-f3
FAIL
600
vis.elevator^1.E-f4
FAIL
600
vis.elevator^2.E-f2
FAIL
600
vis.elevator^2.E-f3
FAIL
600
vis.elevator^2.E-f4
FAIL
600
vis.elevator^3.E-f2
FAIL
600
vis.elevator^3.E-f3
FAIL
600
vis.elevator^3.E-f4
FAIL
600
vis.emodel.E-f3
FAIL
600
vis.emodel.E-f4
FAIL
600
vis.prodcell^01.E-f2
FAIL
600
vis.prodcell^01.E-f3
FAIL
600
vis.prodcell^01.E-f4
FAIL
600
vis.prodcell^02.E-f2
FAIL
600
vis.prodcell^02.E-f3
FAIL
600
vis.prodcell^02.E-f4
FAIL
600
vis.prodcell^03.E-f2
FAIL
600
vis.prodcell^04.E-f2
FAIL
600
vis.prodcell^05.E-f2
FAIL
600
vis.prodcell^05.E-f3
FAIL
600
vis.prodcell^05.E-f4
FAIL
600
vis.prodcell^06.E-f2
FAIL
600
vis.prodcell^06.E-f3
FAIL
600
vis.prodcell^06.E-f4
FAIL
600
vis.prodcell^07.E-f2
FAIL
600
vis.prodcell^07.E-f3
FAIL
600
vis.prodcell^07.E-f4
FAIL
600
vis.prodcell^08.E-f3
FAIL
600
vis.prodcell^08.E-f4
FAIL
600
vis.prodcell^09.E-f2
FAIL
600
vis.prodcell^09.E-f3
FAIL
600
vis.prodcell^09.E-f4
FAIL
600
vis.prodcell^10.E-f3
FAIL
600
vis.prodcell^10.E-f4
FAIL
600
vis.prodcell^11.E-f3
FAIL
600
vis.prodcell^11.E-f4
FAIL
600
vis.prodcell^12.E-f2
FAIL
600
vis.prodcell^12.E-f3
FAIL
600
vis.prodcell^12.E-f4
FAIL
600
vis.prodcell^13.E-f2
FAIL
600
vis.prodcell^13.E-f3
FAIL
600
vis.prodcell^13.E-f4
FAIL
600
vis.prodcell^14.E-f2
FAIL
600
vis.prodcell^14.E-f3
FAIL
600
vis.prodcell^14.E-f4
FAIL
600
vis.prodcell^15.E-f2
FAIL
600
vis.prodcell^15.E-f3
FAIL
600
vis.prodcell^15.E-f4
FAIL
600
vis.prodcell^16.E-f2
FAIL
600
vis.prodcell^16.E-f3
FAIL
600
vis.prodcell^16.E-f4
FAIL
600
vis.prodcell^17.E-f2
FAIL
600
vis.prodcell^17.E-f3
FAIL
600
vis.prodcell^17.E-f4
FAIL
600
vis.prodcell^18.E-f2
FAIL
600
vis.prodcell^18.E-f3
FAIL
600
vis.prodcell^18.E-f4
FAIL
600
vis.prodcell^19.E-f2
FAIL
600
vis.prodcell^19.E-f3
FAIL
600
vis.prodcell^19.E-f4
FAIL
600
vis.prodcell^20.E-f2
FAIL
600
vis.prodcell^20.E-f3
FAIL
600
vis.prodcell^20.E-f4
FAIL
600
vis.prodcell^21.E-f3
FAIL
600
vis.prodcell^21.E-f4
FAIL
600
vis.prodcell^22.E-f2
FAIL
600
vis.prodcell^22.E-f3
FAIL
600
vis.prodcell^22.E-f4
FAIL
600
vis.prodcell^23.E-f2
FAIL
600
vis.prodcell^23.E-f3
FAIL
600
vis.prodcell^23.E-f4
FAIL
600
vis.prodcell^24.E-f2
FAIL
600
vis.prodcell^24.E-f3
FAIL
600
vis.prodcell^24.E-f4
FAIL
600
sortnetsort10.AE.stepl.004
FAIL
600
sortnetsort10.AE.stepl.005
FAIL
600
sortnetsort10.AE.stepl.006
FAIL
600
sortnetsort10.AE.stepl.007
FAIL
600
sortnetsort10.AE.stepl.008
FAIL
600
sortnetsort10.AE.stepl.009
FAIL
600
sortnetsort10.AE.stepl.010
FAIL
600
sortnetsort10.AE.stepl.011
FAIL
600
sortnetsort10.AE.stepl.012
FAIL
600
sortnetsort10.v.stepl.004
FAIL
600
sortnetsort10.v.stepl.005
FAIL
600
sortnetsort10.v.stepl.006
FAIL
600
sortnetsort10.v.stepl.007
FAIL
600
sortnetsort10.v.stepl.008
FAIL
600
sortnetsort10.v.stepl.009
FAIL
600
sortnetsort10.v.stepl.010
FAIL
600
sortnetsort10.v.stepl.011
FAIL
600
sortnetsort10.v.stepl.012
FAIL
600
sortnetsort5.AE.stepl.004
FAIL
600
sortnetsort5.AE.stepl.007
FAIL
600
sortnetsort6.AE.stepl.003
FAIL
600
sortnetsort6.AE.stepl.004
FAIL
600
sortnetsort6.AE.stepl.005
FAIL
600
sortnetsort6.AE.stepl.006
FAIL
600
sortnetsort6.AE.stepl.007
FAIL
600
sortnetsort7.AE.stepl.003
FAIL
600
sortnetsort7.AE.stepl.004
FAIL
600
sortnetsort7.AE.stepl.005
FAIL
600
sortnetsort7.AE.stepl.006
FAIL
600
sortnetsort7.AE.stepl.007
FAIL
600
sortnetsort7.AE.stepl.008
FAIL
600
sortnetsort7.AE.stepl.009
FAIL
600
sortnetsort7.v.stepl.005
FAIL
600
sortnetsort7.v.stepl.006
FAIL
600
sortnetsort7.v.stepl.007
FAIL
600
sortnetsort7.v.stepl.008
FAIL
600
sortnetsort7.v.stepl.009
FAIL
600
sortnetsort8.AE.stepl.003
FAIL
600
sortnetsort8.AE.stepl.004
FAIL
600
sortnetsort8.AE.stepl.005
FAIL
600
sortnetsort8.AE.stepl.006
FAIL
600
sortnetsort8.AE.stepl.007
FAIL
600
sortnetsort8.AE.stepl.008
FAIL
600
sortnetsort8.AE.stepl.009
FAIL
600
sortnetsort8.v.stepl.004
FAIL
600
sortnetsort8.v.stepl.005
FAIL
600
sortnetsort8.v.stepl.006
FAIL
600
sortnetsort8.v.stepl.007
FAIL
600
sortnetsort8.v.stepl.008
FAIL
600
sortnetsort8.v.stepl.009
FAIL
600
sortnetsort9.AE.stepl.004
FAIL
600
sortnetsort9.AE.stepl.005
FAIL
600
sortnetsort9.AE.stepl.006
FAIL
600
sortnetsort9.AE.stepl.007
FAIL
600
sortnetsort9.AE.stepl.008
FAIL
600
sortnetsort9.AE.stepl.009
FAIL
600
sortnetsort9.AE.stepl.010
FAIL
600
sortnetsort9.AE.stepl.011
FAIL
600
sortnetsort9.AE.stepl.012
FAIL
600
sortnetsort9.v.stepl.004
FAIL
600
sortnetsort9.v.stepl.005
FAIL
600
sortnetsort9.v.stepl.006
FAIL
600
sortnetsort9.v.stepl.007
FAIL
600
sortnetsort9.v.stepl.008
FAIL
600
sortnetsort9.v.stepl.009
FAIL
600
sortnetsort9.v.stepl.010
FAIL
600
sortnetsort9.v.stepl.011
FAIL
600
sortnetsort9.v.stepl.012
FAIL
600
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
600
c1_Debug_s3_f1_e1_v1
FAIL
600
c1_Debug_s3_f1_e1_v2
FAIL
600
c1_Debug_s3_f1_e1_v3
FAIL
600
c1_Debug_s3_f2_e1_v1
FAIL
600
c1_Debug_s3_f2_e1_v2
FAIL
600
c1_Debug_s3_f2_e1_v3
FAIL
600
c1_Debug_s5_f1_e1_v1
FAIL
600
c1_Debug_s5_f1_e1_v2
FAIL
600
c1_Debug_s5_f1_e1_v3
FAIL
600
c2_Debug_s3_f1_e1_v1
FAIL
600
c2_Debug_s3_f1_e1_v2
FAIL
600
c2_Debug_s3_f1_e1_v3
FAIL
600
c2_Debug_s3_f2_e1_v1
FAIL
600
c2_Debug_s3_f2_e1_v2
FAIL
600
c2_Debug_s3_f2_e1_v3
FAIL
600
c2_Debug_s5_f1_e1_v1
FAIL
600
c2_Debug_s5_f1_e1_v2
FAIL
600
c2_Debug_s5_f1_e1_v3
FAIL
600
c3_Debug_s3_f2_e2_v2
FAIL
600
c3_Debug_s3_f2_e2_v3
FAIL
600
c4_Debug_s3_f1_e1_v1
FAIL
600
c4_Debug_s3_f1_e1_v2
FAIL
600
c4_Debug_s3_f1_e1_v3
FAIL
600
c4_Debug_s3_f1_e2_v1
FAIL
600
c4_Debug_s3_f1_e2_v2
FAIL
600
c4_Debug_s3_f1_e2_v3
FAIL
600
c4_Debug_s3_f2_e1_v1
FAIL
600
c4_Debug_s3_f2_e1_v2
FAIL
600
c4_Debug_s3_f2_e1_v3
FAIL
600
c4_Debug_s3_f2_e2_v1
FAIL
600
c4_Debug_s3_f2_e2_v2
FAIL
600
c4_Debug_s3_f2_e2_v3
FAIL
600
c4_Debug_s5_f2_e1_v1
FAIL
600
c4_Debug_s5_f2_e1_v2
FAIL
600
c4_Debug_s5_f2_e1_v3
FAIL
600
c4_Debug_s5_f2_e2_v1
FAIL
600
c4_Debug_s5_f2_e2_v2
FAIL
600
c4_Debug_s5_f2_e2_v3
FAIL
600
blocks_enc_2_b4_ser--opt-26_
FAIL
600
cube_c11_par---13_
FAIL
600
cube_c11_par--opt-14_
FAIL
600
cube_c11_ser--opt-42_
FAIL
600
cube_c5_ser---14_
FAIL
600
cube_c5_ser--opt-15_
FAIL
600
cube_c7_ser---23_
FAIL
600
cube_c7_ser--opt-24_
FAIL
600
cube_c9_par---10_
FAIL
600
cube_c9_par--opt-11_
FAIL
600
emptyroom_e3_ser---19_
FAIL
600
emptyroom_e3_ser--opt-20_
FAIL
600
emptyroom_e4_par---21_
FAIL
600
emptyroom_e4_par--opt-22_
FAIL
600
emptyroom_e4_ser--opt-44_
FAIL
600
ring_r6_ser---16_
FAIL
600
ring_r6_ser--opt-17_
FAIL
600
ring_r7_ser---19_
FAIL
600
ring_r7_ser--opt-20_
FAIL
600
c1_BMC_p1_k1024
FAIL
600
c1_BMC_p1_k128
FAIL
600
c1_BMC_p1_k16
FAIL
600
c1_BMC_p1_k256
FAIL
600
c1_BMC_p1_k32
FAIL
600
c1_BMC_p1_k4
FAIL
600
c1_BMC_p1_k512
FAIL
600
c1_BMC_p1_k64
FAIL
600
c1_BMC_p1_k8
FAIL
600
c1_BMC_p2_k16
FAIL
600
c1_BMC_p2_k32
FAIL
600
c1_BMC_p2_k4
FAIL
600
c1_BMC_p2_k8
FAIL
600
c2_BMC_p1_k1024
FAIL
600
c2_BMC_p1_k128
FAIL
600
c2_BMC_p1_k16
FAIL
600
c2_BMC_p1_k2048
FAIL
600
c2_BMC_p1_k256
FAIL
600
c2_BMC_p1_k32
FAIL
600
c2_BMC_p1_k512
FAIL
600
c2_BMC_p1_k64
FAIL
600
c2_BMC_p1_k8
FAIL
600
c2_BMC_p2_k2048
FAIL
600
c3_BMC_p1_k1024
FAIL
600
c3_BMC_p1_k128
FAIL
600
c3_BMC_p1_k16
FAIL
600
c3_BMC_p1_k2048
FAIL
600
c3_BMC_p1_k256
FAIL
600
c3_BMC_p1_k32
FAIL
600
c3_BMC_p1_k512
FAIL
600
c3_BMC_p1_k64
FAIL
600
c3_BMC_p1_k8
FAIL
600
c5_BMC_p1_k1024
FAIL
600
c5_BMC_p1_k128
FAIL
600
c5_BMC_p1_k16
FAIL
600
c5_BMC_p1_k256
FAIL
600
c5_BMC_p1_k32
FAIL
600
c5_BMC_p1_k512
FAIL
600
c5_BMC_p1_k64
FAIL
600
c5_BMC_p1_k8
FAIL
600
c5_BMC_p2_k1024
FAIL
600
c5_BMC_p2_k128
FAIL
600
c5_BMC_p2_k16
FAIL
600
c5_BMC_p2_k256
FAIL
600
c5_BMC_p2_k32
FAIL
600
c5_BMC_p2_k512
FAIL
600
c5_BMC_p2_k64
FAIL
600
c5_BMC_p2_k8
FAIL
600
c6_BMC_p1_k16
FAIL
600
c6_BMC_p1_k2048
FAIL
600
c6_BMC_p1_k32
FAIL
600
aim-100-1_6-yes1-1-00
FAIL
600
aim-100-1_6-yes1-1-50
FAIL
600
aim-100-1_6-yes1-1-90
FAIL
600
aim-100-1_6-yes1-2-00
FAIL
600
aim-100-1_6-yes1-2-50
FAIL
600
aim-100-1_6-yes1-2-90
FAIL
600
aim-100-1_6-yes1-3-00
FAIL
600
aim-100-1_6-yes1-3-50
FAIL
600
aim-100-1_6-yes1-3-90
FAIL
600
aim-100-1_6-yes1-4-00
FAIL
600
aim-100-1_6-yes1-4-50
FAIL
600
aim-100-1_6-yes1-4-90
FAIL
600
aim-100-2_0-yes1-1-00
FAIL
600
aim-100-2_0-yes1-1-50
FAIL
600
aim-100-2_0-yes1-1-90
FAIL
600
aim-100-2_0-yes1-2-00
FAIL
600
aim-100-2_0-yes1-2-50
FAIL
600
aim-100-2_0-yes1-2-90
FAIL
600
aim-100-2_0-yes1-3-00
FAIL
600
aim-100-2_0-yes1-3-50
FAIL
600
aim-100-2_0-yes1-3-90
FAIL
600
aim-100-2_0-yes1-4-00
FAIL
600
aim-100-2_0-yes1-4-50
FAIL
600
aim-100-2_0-yes1-4-90
FAIL
600
aim-100-3_4-yes1-1-00
FAIL
600
aim-100-3_4-yes1-1-50
FAIL
600
aim-100-3_4-yes1-1-90
FAIL
600
aim-100-3_4-yes1-2-00
FAIL
600
aim-100-3_4-yes1-2-50
FAIL
600
aim-100-3_4-yes1-2-90
FAIL
600
aim-100-3_4-yes1-3-00
FAIL
600
aim-100-3_4-yes1-3-50
FAIL
600
aim-100-3_4-yes1-3-90
FAIL
600
aim-100-3_4-yes1-4-00
FAIL
600
aim-100-3_4-yes1-4-50
FAIL
600
aim-100-3_4-yes1-4-90
FAIL
600
aim-100-6_0-yes1-1-00
FAIL
600
aim-100-6_0-yes1-1-50
FAIL
600
aim-100-6_0-yes1-1-90
FAIL
600
aim-100-6_0-yes1-2-00
FAIL
600
aim-100-6_0-yes1-2-50
FAIL
600
aim-100-6_0-yes1-2-90
FAIL
600
aim-100-6_0-yes1-3-00
FAIL
600
aim-100-6_0-yes1-3-50
FAIL
600
aim-100-6_0-yes1-3-90
FAIL
600
aim-100-6_0-yes1-4-00
FAIL
600
aim-100-6_0-yes1-4-50
FAIL
600
aim-100-6_0-yes1-4-90
FAIL
600
aim-200-1_6-yes1-1-00
FAIL
600
aim-200-1_6-yes1-1-50
FAIL
600
aim-200-1_6-yes1-1-90
FAIL
600
aim-200-1_6-yes1-2-00
FAIL
600
aim-200-1_6-yes1-2-50
FAIL
600
aim-200-1_6-yes1-2-90
FAIL
600
aim-200-1_6-yes1-3-00
FAIL
600
aim-200-1_6-yes1-3-50
FAIL
600
aim-200-1_6-yes1-3-90
FAIL
600
aim-200-1_6-yes1-4-00
FAIL
600
aim-200-1_6-yes1-4-50
FAIL
600
aim-200-1_6-yes1-4-90
FAIL
600
aim-200-2_0-yes1-1-00
FAIL
600
aim-200-2_0-yes1-1-50
FAIL
600
aim-200-2_0-yes1-1-90
FAIL
600
aim-200-2_0-yes1-2-00
FAIL
600
aim-200-2_0-yes1-2-50
FAIL
600
aim-200-2_0-yes1-2-90
FAIL
600
aim-200-2_0-yes1-3-00
FAIL
600
aim-200-2_0-yes1-3-50
FAIL
600
aim-200-2_0-yes1-3-90
FAIL
600
aim-200-2_0-yes1-4-00
FAIL
600
aim-200-2_0-yes1-4-50
FAIL
600
aim-200-2_0-yes1-4-90
FAIL
600
aim-200-3_4-yes1-1-00
FAIL
600
aim-200-3_4-yes1-1-50
FAIL
600
aim-200-3_4-yes1-1-90
FAIL
600
aim-200-3_4-yes1-2-00
FAIL
600
aim-200-3_4-yes1-2-50
FAIL
600
aim-200-3_4-yes1-2-90
FAIL
600
aim-200-3_4-yes1-3-00
FAIL
600
aim-200-3_4-yes1-3-50
FAIL
600
aim-200-3_4-yes1-3-90
FAIL
600
aim-200-3_4-yes1-4-00
FAIL
600
aim-200-3_4-yes1-4-50
FAIL
600
aim-200-3_4-yes1-4-90
FAIL
600
aim-200-6_0-yes1-1-00
FAIL
600
aim-200-6_0-yes1-1-50
FAIL
600
aim-200-6_0-yes1-1-90
FAIL
600
aim-200-6_0-yes1-2-00
FAIL
600
aim-200-6_0-yes1-2-50
FAIL
600
aim-200-6_0-yes1-2-90
FAIL
600
aim-200-6_0-yes1-3-00
FAIL
600
aim-200-6_0-yes1-3-50
FAIL
600
aim-200-6_0-yes1-3-90
FAIL
600
aim-200-6_0-yes1-4-00
FAIL
600
aim-200-6_0-yes1-4-50
FAIL
600
aim-200-6_0-yes1-4-90
FAIL
600
aim-50-2_0-yes1-1-00
FAIL
600
aim-50-2_0-yes1-1-50
FAIL
600
aim-50-2_0-yes1-2-00
FAIL
600
aim-50-2_0-yes1-2-50
FAIL
600
aim-50-2_0-yes1-3-00
FAIL
600
aim-50-2_0-yes1-4-00
FAIL
600
aim-50-3_4-yes1-1-00
FAIL
600
aim-50-3_4-yes1-1-50
FAIL
600
aim-50-3_4-yes1-4-00
FAIL
600
aim-50-3_4-yes1-4-50
FAIL
600
aim-50-6_0-yes1-1-00
FAIL
600
aim-50-6_0-yes1-1-50
FAIL
600
aim-50-6_0-yes1-2-00
FAIL
600
aim-50-6_0-yes1-2-50
FAIL
600
aim-50-6_0-yes1-3-00
FAIL
600
aim-50-6_0-yes1-3-50
FAIL
600
aim-50-6_0-yes1-4-50
FAIL
600
f600-00
FAIL
600
f600-50
FAIL
600
f600-90
FAIL
600
ii32b1-00
FAIL
600
ii32b1-50
FAIL
600
ii32b1-90
FAIL
600
ii32b2-00
FAIL
600
ii32b2-50
FAIL
600
ii32b2-90
FAIL
600
ii32c1-00
FAIL
600
ii32c1-90
FAIL
600
ii32c2-00
FAIL
600
ii32c2-50
FAIL
600
ii32c2-90
FAIL
600
ii32c3-00
FAIL
600
ii32c3-50
FAIL
600
ii32c3-90
FAIL
600
ii32d1-00
FAIL
600
ii32d1-50
FAIL
600
ii32d1-90
FAIL
600
ii32e1-90
FAIL
600
ii32e2-00
FAIL
600
ii32e2-50
FAIL
600
ii32e2-90
FAIL
600
ii8a2-00
FAIL
600
ii8a2-50
FAIL
600
ii8a2-90
FAIL
600
ii8a3-00
FAIL
600
ii8a3-50
FAIL
600
ii8a3-90
FAIL
600
ii8a4-00
FAIL
600
ii8a4-50
FAIL
600
ii8a4-90
FAIL
600
ii8b1-00
FAIL
600
ii8b1-50
FAIL
600
ii8b1-90
FAIL
600
ii8c1-00
FAIL
600
ii8c1-50
FAIL
600
ii8c1-90
FAIL
600
ii8d1-00
FAIL
600
ii8d1-50
FAIL
600
ii8d1-90
FAIL
600
ii8e1-00
FAIL
600
ii8e1-50
FAIL
600
ii8e1-90
FAIL
600
jnh1-00
FAIL
600
jnh12-00
FAIL
600
jnh12-50
FAIL
600
jnh12-90
FAIL
600
jnh1-50
FAIL
600
jnh17-00
FAIL
600
jnh17-50
FAIL
600
jnh17-90
FAIL
600
jnh1-90
FAIL
600
jnh201-00
FAIL
600
jnh201-50
FAIL
600
jnh201-90
FAIL
600
jnh204-00
FAIL
600
jnh204-50
FAIL
600
jnh204-90
FAIL
600
jnh205-00
FAIL
600
jnh205-50
FAIL
600
jnh205-90
FAIL
600
jnh207-00
FAIL
600
jnh207-50
FAIL
600
jnh207-90
FAIL
600
jnh209-00
FAIL
600
jnh209-50
FAIL
600
jnh209-90
FAIL
600
jnh210-00
FAIL
600
jnh210-50
FAIL
600
jnh210-90
FAIL
600
jnh212-00
FAIL
600
jnh212-50
FAIL
600
jnh212-90
FAIL
600
jnh213-00
FAIL
600
jnh213-50
FAIL
600
jnh213-90
FAIL
600
jnh217-00
FAIL
600
jnh217-50
FAIL
600
jnh217-90
FAIL
600
jnh218-00
FAIL
600
jnh218-50
FAIL
600
jnh218-90
FAIL
600
jnh220-00
FAIL
600
jnh220-50
FAIL
600
jnh220-90
FAIL
600
jnh301-00
FAIL
600
jnh301-50
FAIL
600
jnh301-90
FAIL
600
jnh7-00
FAIL
600
jnh7-50
FAIL
600
jnh7-90
FAIL
600
par16-1-00
FAIL
600
par16-1-50
FAIL
600
par16-1-90
FAIL
600
par16-1-c-00
FAIL
600
par16-1-c-50
FAIL
600
par16-1-c-90
FAIL
600
par16-2-c-00
FAIL
600
par16-2-c-50
FAIL
600
par16-2-c-90
FAIL
600
par16-3-c-00
FAIL
600
par16-3-c-50
FAIL
600
par16-3-c-90
FAIL
600
par16-4-00
FAIL
600
par16-4-50
FAIL
600
par16-4-90
FAIL
600
par16-4-c-00
FAIL
600
par16-4-c-50
FAIL
600
par16-4-c-90
FAIL
600
par16-5-c-00
FAIL
600
par16-5-c-50
FAIL
600
par16-5-c-90
FAIL
600
par8-1-00
FAIL
600
par8-1-50
FAIL
600
par8-1-90
FAIL
600
par8-1-c-00
FAIL
600
par8-1-c-50
FAIL
600
par8-2-00
FAIL
600
par8-2-50
FAIL
600
par8-2-90
FAIL
600
par8-2-c-00
FAIL
600
par8-2-c-50
FAIL
600
par8-3-00
FAIL
600
par8-3-50
FAIL
600
par8-3-90
FAIL
600
par8-3-c-00
FAIL
600
par8-3-c-50
FAIL
600
par8-3-c-90
FAIL
600
par8-4-00
FAIL
600
par8-4-50
FAIL
600
par8-4-90
FAIL
600
par8-5-00
FAIL
600
par8-5-50
FAIL
600
par8-5-90
FAIL
600
par8-5-c-00
FAIL
600
par8-5-c-50
FAIL
600
par8-5-c-90
FAIL
600
ssa7552-158-00
FAIL
600
ssa7552-158-50
FAIL
600
ssa7552-158-90
FAIL
600
ssa7552-159-50
FAIL
600
ssa7552-159-90
FAIL
600
ssa7552-160-00
FAIL
600
ssa7552-160-50
FAIL
600
ssa7552-160-90
FAIL
600
stmt19_79_83
FAIL
600
stmt28_73_85
FAIL
600
stmt23_66_76
FAIL
600
stmt28_68_73
FAIL
600
stmt19_64_99
FAIL
600
stmt17_78_98
FAIL
600
stmt28_89_97
FAIL
600
stmt23_88_92
FAIL
600
stmt17_70_86
FAIL
600
stmt19_79_87
FAIL
600
stmt17_63_78
FAIL
600
stmt17_62_98
FAIL
600
stmt19_75_83
FAIL
600
stmt17_70_98
FAIL
600
stmt17_78_90
FAIL
600
stmt19_65_95
FAIL
600
stmt19_87_95
FAIL
600
stmt23_72_76
FAIL
600
stmt28_73_97
FAIL
600
stmt17_78_94
FAIL
600
stmt17_82_94
FAIL
600
stmt28_68_81
FAIL
600
stmt28_68_69
FAIL
600
stmt17_82_98
FAIL
600
stmt19_65_87
FAIL
600
stmt17_74_90
FAIL
600
stmt19_75_95
FAIL
600
stmt17_62_78
FAIL
600
stmt23_66_96
FAIL
600
stmt17_70_90
FAIL
600
stmt17_82_86
FAIL
600
stmt17_70_78
FAIL
600
stmt17_74_78
FAIL
600
stmt17_63_82
FAIL
600
stmt19_71_95
FAIL
600
stmt17_70_82
FAIL
600
stmt19_64_87
FAIL
600
stmt23_66_67
FAIL
600
stmt19_83_91
FAIL
600
stmt17_63_70
FAIL
600
stmt23_92_96
FAIL
600
stmt17_94_98
FAIL
600
stmt17_86_98
FAIL
600
stmt19_64_91
FAIL
600
stmt23_67_92
FAIL
600
stmt17_99_98
FAIL
600
stmt41_566_580
FAIL
600
stmt9_445_446
FAIL
600
stmt25_52_53
FAIL
600
stmt1_60_61
FAIL
600
stmt16_950_951
FAIL
600
stmt1_787_788
FAIL
600
stmt44_435_436
FAIL
600
stmt70_495_501
FAIL
600
stmt44_916_917
FAIL
600
stmt38_943_942
FAIL
600
stmt25_597_598
FAIL
600
stmt44_554_604
FAIL
600
stmt137_542_543
FAIL
600
stmt44_726_773
FAIL
600
stmt1_953_954
FAIL
600
stmt32_570_572
FAIL
600
stmt2_649_647
FAIL
600
stmt2_976_999
FAIL
600
stmt70_854_859
FAIL
600
stmt1_919_920
FAIL
600
stmt21_326_327
FAIL
600
stmt44_554_555
FAIL
600
stmt137_903_911
FAIL
600
stmt86_889_890
FAIL
600
stmt5_731_730
FAIL
600
stmt27_584_603
FAIL
600
stmt41_262_275
FAIL
600
stmt2_649_776
FAIL
600
stmt27_93_98
FAIL
600
stmt24_765_766
FAIL
600
stmt1_629_630
FAIL
600
stmt41_118_131
FAIL
600
stmt16_68_69
FAIL
600
stmt16_588_589
FAIL
600
stmt1_79_80
FAIL
600
stmt16_47_48
FAIL
600
stmt2_480_551
FAIL
600
stmt41_738_749
FAIL
600
stmt124_966_965
FAIL
600
stmt16_76_77
FAIL
600
stmt2_649_723
FAIL
600
stmt1_392_393
FAIL
600
stmt72_696_721
FAIL
600
stmt27_946_955
FAIL
600
stmt41_738_737
FAIL
600
stmt16_285_286
FAIL
600
stmt37_941_942
FAIL
600
stmt19_177_412
FAIL
600
stmt19_66_318
FAIL
600
stmt19_83_142
FAIL
600
stmt22_144_179
FAIL
600
stmt19_83_359
FAIL
600
stmt21_267_304
FAIL
600
stmt85_64_65
FAIL
600
stmt47_290_340
FAIL
600
stmt19_78_83
FAIL
600
stmt22_259_370
FAIL
600
stmt19_177_359
FAIL
600
stmt41_160_286
FAIL
600
stmt50_167_205
FAIL
600
stmt31_190_227
FAIL
600
stmt41_36_198
FAIL
600
stmt21_91_369
FAIL
600
stmt21_4_5
FAIL
600
stmt53_208_245
FAIL
600
stmt19_250_408
FAIL
600
stmt21_127_418
FAIL
600
stmt19_133_214
FAIL
600
stmt21_215_413
FAIL
600
stmt22_219_268
FAIL
600
stmt21_71_304
FAIL
600
stmt31_100_328
FAIL
600
stmt19_90_363
FAIL
600
stmt21_127_409
FAIL
600
stmt19_66_408
FAIL
600
stmt19_90_266
FAIL
600
stmt21_71_70
FAIL
600
stmt29_226_376
FAIL
600
stmt41_37_286
FAIL
600
stmt22_259_419
FAIL
600
stmt22_73_182
FAIL
600
stmt22_144_419
FAIL
600
stmt21_403_413
FAIL
600
stmt21_127_218
FAIL
600
stmt19_125_137
FAIL
600
stmt21_127_413
FAIL
600
stmt21_79_314
FAIL
600
stmt41_286_385
FAIL
600
stmt32_24_378
FAIL
600
stmt19_266_368
FAIL
600
stmt22_311_370
FAIL
600
stmt21_5_134
FAIL
600
stmt50_50_392
FAIL
600
stmt19_90_142
FAIL
600
stmt44_162_237
FAIL
600
stmt19_302_313
FAIL
600
stmt21_354_413
FAIL
600
stmt19_137_359
FAIL
600
stmt19_214_313
FAIL
600
stmt21_4_364
FAIL
600
stmt19_3_313
FAIL
600
stmt21_310_314
FAIL
600
stmt21_143_181
FAIL
600
stmt21_134_138
FAIL
600
stmt22_80_361
FAIL
600
stmt19_66_214
FAIL
600
stmt52_54_244
FAIL
600
stmt21_79_178
FAIL
600
stmt22_139_404
FAIL
600
stmt19_142_217
FAIL
600
stmt50_51_293
FAIL
600
stmt22_361_414
FAIL
600
stmt21_84_258
FAIL
600
stmt32_24_191
FAIL
600
stmt19_142_250
FAIL
600
stmt41_37_235
FAIL
600
stmt19_83_266
FAIL
600
stmt50_50_293
FAIL
600
stmt22_263_370
FAIL
600
stmt21_364_418
FAIL
600
stmt19_180_313
FAIL
600
stmt22_85_263
FAIL
600
stmt39_34_384
FAIL
600
stmt19_250_359
FAIL
600
stmt21_218_413
FAIL
600
stmt41_198_286
FAIL
600
stmt21_258_360
FAIL
600
stmt21_360_369
FAIL
600
stmt50_242_343
FAIL
600
stmt31_190_276
FAIL
600
stmt21_218_262
FAIL
600
stmt52_55_207
FAIL
600
stmt44_40_387
FAIL
600
stmt22_139_263
FAIL
600
stmt19_214_363
FAIL
600
stmt21_218_360
FAIL
600
stmt39_285_335
FAIL
600
stmt21_138_310
FAIL
600
stmt22_92_216
FAIL
600
stmt85_122_399
FAIL
600
stmt32_24_277
FAIL
600
stmt21_354_369
FAIL
600
stmt19_368_412
FAIL
600
stmt19_266_408
FAIL
600
stmt22_182_253
FAIL
600
stmt50_51_392
FAIL
600
stmt19_90_250
FAIL
600
stmt19_2_261
FAIL
600
stmt19_67_83
FAIL
600
stmt39_35_384
FAIL
600
stmt50_115_392
FAIL
600
stmt19_177_309
FAIL
600
stmt22_85_320
FAIL
600
stmt21_319_418
FAIL
600
stmt21_84_138
FAIL
600
stmt50_51_167
FAIL
600
stmt21_252_304
FAIL
600
stmt19_257_266
FAIL
600
stmt19_266_417
FAIL
600
stmt21_252_418
FAIL
600
stmt19_125_261
FAIL
600
stmt21_71_413
FAIL
600
stmt46_43_111
FAIL
600
stmt22_263_315
FAIL
600
stmt53_57_346
FAIL
600
stmt39_35_335
FAIL
600
stmt19_214_359
FAIL
600
stmt19_3_177
FAIL
600
stmt19_142_302
FAIL
600
stmt47_112_389
FAIL
600
stmt47_45_164
FAIL
600
stmt22_139_144
FAIL
600
stmt29_21_327
FAIL
600
stmt19_66_217
FAIL
600
stmt44_162_338
FAIL
600
stmt32_191_329
FAIL
600
stmt22_80_370
FAIL
600
stmt53_57_245
FAIL
600
stmt19_217_250
FAIL
600
stmt21_5_360
FAIL
600
stmt19_309_412
FAIL
600
stmt19_137_177
FAIL
600
stmt21_127_178
FAIL
600
stmt19_412_417
FAIL
600
stmt19_217_302
FAIL
600
stmt19_302_352
FAIL
600
stmt21_314_418
FAIL
600
stmt44_40_110
FAIL
600
stmt19_133_250
FAIL
600
stmt19_66_180
FAIL
600
stmt52_295_394
FAIL
600
stmt22_73_263
FAIL
600
stmt22_85_355
FAIL
600
stmt22_135_320
FAIL
600
stmt19_142_412
FAIL
600
stmt19_3_309
FAIL
600
stmt19_3_401
FAIL
600
stmt41_108_160
FAIL
600
stmt19_142_309
FAIL
600
stmt44_41_237
FAIL
600
stmt22_73_404
FAIL
600
stmt19_66_90
FAIL
600
stmt22_135_315
FAIL
600
stmt27_149_224
FAIL
600
stmt19_214_318
FAIL
600
stmt21_262_418
FAIL
600
stmt22_135_311
FAIL
600
stmt21_181_360
FAIL
600
stmt22_73_219
FAIL
600
stmt52_207_345
FAIL
600
stmt21_178_403
FAIL
600
stmt22_182_268
FAIL
600
stmt22_92_263
FAIL
600
stmt21_79_304
FAIL
600
stmt19_83_90
FAIL
600
stmt21_70_369
FAIL
600
stmt19_125_133
FAIL
600
stmt19_313_412
FAIL
600
stmt21_70_354
FAIL
600
stmt22_182_216
FAIL
600
stmt21_267_310
FAIL
600
stmt22_80_404
FAIL
600
stmt46_238_388
FAIL
600
stmt21_127_252
FAIL
600
stmt19_309_417
FAIL
600
stmt46_201_388
FAIL
600
stmt39_107_197
FAIL
600
stmt21_215_409
FAIL
600
stmt21_70_138
FAIL
600
stmt21_258_364
FAIL
600
stmt22_80_253
FAIL
600
stmt21_91_413
FAIL
600
stmt21_138_413
FAIL
600
stmt21_252_314
FAIL
600
stmt22_80_182
FAIL
600
stmt19_90_133
FAIL
600
stmt19_214_302
FAIL
600
stmt31_23_377
FAIL
600
stmt21_138_252
FAIL
600
stmt22_320_370
FAIL
600
stmt32_153_378
FAIL
600
stmt21_70_127
FAIL
600
stmt47_340_389
FAIL
600
stmt19_352_359
FAIL
600
stmt21_84_127
FAIL
600
stmt19_78_125
FAIL
600
stmt19_177_302
FAIL
600
stmt19_408_417
FAIL
600
stmt19_214_368
FAIL
600
stmt19_67_363
FAIL
600
stmt22_6_128
FAIL
600
stmt19_133_261
FAIL
600
stmt21_127_360
FAIL
600
stmt21_71_252
FAIL
600
stmt21_215_354
FAIL
600
stmt22_85_179
FAIL
600
stmt21_71_354
FAIL
600
stmt19_177_352
FAIL
600
stmt19_137_352
FAIL
600
stmt21_91_181
FAIL
600
stmt21_70_258
FAIL
600
stmt27_16_224
FAIL
600
stmt32_191_378
FAIL
600
stmt39_159_384
FAIL
600
stmt29_226_327
FAIL
600
stmt19_137_408
FAIL
600
stmt19_177_318
FAIL
600
stmt19_3_214
FAIL
600
stmt21_5_218
FAIL
600
stmt21_84_403
FAIL
600
stmt19_2_180
FAIL
600
stmt22_268_320
FAIL
600
stmt21_127_369
FAIL
600
stmt27_17_149
FAIL
600
stmt21_181_364
FAIL
600
stmt21_70_178
FAIL
600
stmt29_21_275
FAIL
600
stmt19_3_408
FAIL
600
stmt19_368_417
FAIL
600
stmt19_90_408
FAIL
600
stmt19_133_257
FAIL
600
stmt19_78_363
FAIL
600
stmt31_276_328
FAIL
600
stmt19_352_363
FAIL
600
stmt19_83_217
FAIL
600
stmt19_2_214
FAIL
600
stmt22_135_404
FAIL
600
stmt22_92_361
FAIL
600
stmt19_266_352
FAIL
600
stmt29_99_151
FAIL
600
stmt19_257_318
FAIL
600
stmt22_80_268
FAIL
600
stmt21_79_134
FAIL
600
stmt50_167_343
FAIL
600
stmt21_134_413
FAIL
600
stmt27_97_187
FAIL
600
stmt31_100_276
FAIL
600
stmt27_17_187
FAIL
600
stmt21_91_304
FAIL
600
stmt39_35_159
FAIL
600
stmt19_214_261
FAIL
600
stmt21_218_314
FAIL
600
stmt50_115_242
FAIL
600
stmt19_217_352
FAIL
600
stmt52_54_345
FAIL
600
stmt19_133_180
FAIL
600
stmt21_403_418
FAIL
600
stmt46_201_238
FAIL
600
stmt22_263_305
FAIL
600
stmt39_234_384
FAIL
600
stmt28_98_225
FAIL
600
stmt47_44_202
FAIL
600
stmt19_83_417
FAIL
600
stmt22_144_361
FAIL
600
stmt21_5_413
FAIL
600
stmt50_50_205
FAIL
600
stmt21_127_258
FAIL
600
stmt21_138_258
FAIL
600
stmt21_70_314
FAIL
600
stmt21_138_215
FAIL
600
stmt21_319_364
FAIL
600
stmt22_263_365
FAIL
600
stmt19_78_352
FAIL
600
stmt44_110_200
FAIL
600
stmt21_71_409
FAIL
600
stmt22_135_144
FAIL
600
stmt22_179_182
FAIL
600
stmt21_127_310
FAIL
600
stmt52_169_394
FAIL
600
stmt41_336_385
FAIL
600
stmt31_22_328
FAIL
600
stmt46_43_339
FAIL
600
stmt21_143_215
FAIL
600
stmt46_163_289
FAIL
600
stmt52_117_207
FAIL
600
stmt21_84_369
FAIL
600
stmt21_134_418
FAIL
600
stmt19_217_318
FAIL
600
stmt19_368_401
FAIL
600
stmt41_36_336
FAIL
600
stmt50_205_392
FAIL
600
stmt22_268_414
FAIL
600
stmt19_3_78
FAIL
600
stmt21_319_409
FAIL
600
stmt22_73_179
FAIL
600
stmt22_182_263
FAIL
600
stmt21_181_258
FAIL
600
stmt22_92_315
FAIL
600
stmt19_309_363
FAIL
600
stmt22_6_72
FAIL
600
stmt22_139_219
FAIL
600
stmt46_111_163
FAIL
600
stmt21_218_258
FAIL
600
stmt52_117_295
FAIL
600
stmt19_313_368
FAIL
600
stmt19_90_125
FAIL
600
stmt19_214_217
FAIL
600
stmt21_79_262
FAIL
600
stmt21_215_403
FAIL
600
stmt21_71_360
FAIL
600
stmt21_215_267
FAIL
600
stmt41_37_198
FAIL
600
stmt21_4_354
FAIL
600
stmt22_72_80
FAIL
600
stmt19_133_368
FAIL
600
stmt22_80_216
FAIL
600
stmt21_310_354
FAIL
600
stmt39_34_285
FAIL
600
stmt39_107_335
FAIL
600
stmt21_5_138
FAIL
600
stmt53_118_170
FAIL
600
stmt21_252_310
FAIL
600
stmt19_302_318
FAIL
600
stmt21_143_258
FAIL
600
stmt19_78_217
FAIL
600
stmt52_169_244
FAIL
600
stmt19_368_408
FAIL
600
stmt19_309_408
FAIL
600
stmt22_263_361
FAIL
600
stmt21_143_314
FAIL
600
stmt21_5_354
FAIL
600
stmt19_257_412
FAIL
600
stmt22_80_259
FAIL
600
stmt39_107_285
FAIL
600
stmt21_304_418
FAIL
600
stmt21_262_409
FAIL
600
stmt19_177_214
FAIL
600
stmt19_250_368
FAIL
600
stmt32_228_277
FAIL
600
stmt19_66_417
FAIL
600
stmt85_300_399
FAIL
600
stmt22_315_404
FAIL
600
stmt44_200_338
FAIL
600
stmt22_259_311
FAIL
600
stmt21_4_310
FAIL
600
stmt22_6_80
FAIL
600
stmt47_202_290
FAIL
600
stmt21_138_267
FAIL
600
stmt19_78_309
FAIL
600
stmt41_36_235
FAIL
600
stmt39_34_107
FAIL
600
stmt46_43_201
FAIL
600
stmt39_107_384
FAIL
600
stmt32_153_277
FAIL
600
stmt21_127_354
FAIL
600
stmt22_259_404
FAIL
600
stmt19_180_352
FAIL
600
stmt19_177_363
FAIL
600
stmt22_92_139
FAIL
600
stmt22_182_419
FAIL
600
stmt22_73_92
FAIL
600
stmt21_252_319
FAIL
600
stmt41_160_235
FAIL
600
stmt19_66_412
FAIL
600
stmt85_64_248
FAIL
600
stmt19_180_408
FAIL
600
stmt21_364_409
FAIL
600
stmt19_142_318
FAIL
600
stmt19_90_309
FAIL
600
stmt21_403_409
FAIL
600
stmt22_263_404
FAIL
600
stmt19_137_368
FAIL
600
stmt21_4_409
FAIL
600
stmt26_15_223
FAIL
600
stmt21_310_360
FAIL
600
stmt19_133_359
FAIL
600
stmt21_262_319
FAIL
600
stmt53_296_346
FAIL
600
stmt21_354_403
FAIL
600
stmt19_214_257
FAIL
600
stmt19_266_363
FAIL
600
stmt21_5_181
FAIL
600
stmt19_125_214
FAIL
600
stmt19_2_250
FAIL
600
stmt21_127_181
FAIL
600
stmt21_134_178
FAIL
600
stmt21_181_369
FAIL
600
stmt21_5_304
FAIL
600
stmt19_90_352
FAIL
600
stmt21_319_354
FAIL
600
stmt21_178_258
FAIL
600
stmt19_266_359
FAIL
600
stmt19_318_412
FAIL
600
stmt19_66_401
FAIL
600
stmt22_73_268
FAIL
600
stmt19_2_83
FAIL
600
stmt44_41_387
FAIL
600
stmt19_78_417
FAIL
600
stmt19_78_318
FAIL
600
stmt19_133_408
FAIL
600
stmt19_177_261
FAIL
600
stmt21_84_310
FAIL
600
stmt22_73_128
FAIL
600
stmt22_6_219
FAIL
600
stmt22_259_355
FAIL
600
stmt19_261_266
FAIL
600
stmt21_71_143
FAIL
600
stmt19_217_408
FAIL
600
stmt19_83_250
FAIL
600
stmt52_244_295
FAIL
600
stmt21_252_267
FAIL
600
stmt19_90_217
FAIL
600
stmt21_364_369
FAIL
600
stmt44_110_338
FAIL
600
stmt22_259_263
FAIL
600
stmt22_92_259
FAIL
600
stmt19_2_401
FAIL
600
stmt22_6_414
FAIL
600
stmt19_66_363
FAIL
600
stmt22_139_320
FAIL
600
stmt21_84_134
FAIL
600
stmt21_215_252
FAIL
600
stmt22_268_404
FAIL
600
stmt50_343_392
FAIL
600
stmt19_83_302
FAIL
600
stmt22_92_320
FAIL
600
stmt21_4_134
FAIL
600
stmt46_289_388
FAIL
600
stmt21_262_310
FAIL
600
stmt19_67_137
FAIL
600
stmt19_180_309
FAIL
600
stmt19_142_261
FAIL
600
stmt22_182_305
FAIL
600
stmt21_178_409
FAIL
600
stmt19_352_408
FAIL
600
stmt21_79_91
FAIL
600
stmt44_162_387
FAIL
600
stmt21_71_314
FAIL
600
stmt22_73_80
FAIL
600
stmt21_314_364
FAIL
600
stmt22_92_404
FAIL
600
stmt47_112_290
FAIL
600
stmt21_143_409
FAIL
600
stmt19_177_368
FAIL
600
stmt19_66_250
FAIL
600
stmt19_180_401
FAIL
600
stmt52_54_169
FAIL
600
stmt47_44_340
FAIL
600
stmt22_139_182
FAIL
600
stmt21_310_403
FAIL
600
stmt46_111_238
FAIL
600
stmt21_304_364
FAIL
600
stmt22_263_355
FAIL
600
stmt21_178_418
FAIL
600
stmt21_127_267
FAIL
600
stmt21_319_403
FAIL
600
stmt19_90_177
FAIL
600
stmt22_85_410
FAIL
600
stmt21_127_319
FAIL
600
stmt19_250_412
FAIL
600
stmt22_85_182
FAIL
600
stmt19_217_401
FAIL
600
stmt21_84_215
FAIL
600
stmt19_137_363
FAIL
600
stmt41_235_286
FAIL
600
stmt47_239_340
FAIL
600
stmt53_118_346
FAIL
600
stmt19_3_257
FAIL
600
stmt41_37_108
FAIL
600
stmt19_142_363
FAIL
600
stmt21_4_360
FAIL
600
stmt21_218_364
FAIL
600
stmt22_144_370
FAIL
600
stmt19_66_142
FAIL
600
stmt21_252_364
FAIL
600
stmt22_311_320
FAIL
600
stmt21_143_403
FAIL
600
stmt47_164_202
FAIL
600
stmt19_83_412
FAIL
600
stmt19_3_83
FAIL
600
stmt21_178_218
FAIL
600
stmt19_125_302
FAIL
600
stmt19_137_417
FAIL
600
stmt21_4_178
FAIL
600
stmt41_108_235
FAIL
600
stmt50_205_293
FAIL
600
stmt22_320_361
FAIL
600
stmt31_152_328
FAIL
600
stmt21_5_364
FAIL
600
stmt22_73_419
FAIL
600
stmt19_142_266
FAIL
600
stmt47_239_290
FAIL
600
stmt19_137_313
FAIL
600
stmt19_352_417
FAIL
600
stmt21_70_84
FAIL
600
stmt21_134_364
FAIL
600
stmt21_314_409
FAIL
600
stmt41_36_160
FAIL
600
stmt19_177_250
FAIL
600
stmt21_304_360
FAIL
600
stmt22_80_144
FAIL
600
stmt22_365_404
FAIL
600
stmt27_16_149
FAIL
600
stmt22_182_320
FAIL
600
stmt21_258_304
FAIL
600
stmt19_266_313
FAIL
600
stmt21_215_418
FAIL
600
stmt21_4_304
FAIL
600
stmt50_167_293
FAIL
600
stmt19_2_257
FAIL
600
stmt19_125_313
FAIL
600
stmt19_66_261
FAIL
600
stmt41_198_235
FAIL
600
stmt21_84_364
FAIL
600
stmt22_73_311
FAIL
600
stmt39_159_197
FAIL
600
stmt27_149_187
FAIL
600
stmt22_80_139
FAIL
600
stmt21_304_409
FAIL
600
stmt27_16_97
FAIL
600
stmt85_64_122
FAIL
600
stmt21_71_134
FAIL
600
stmt19_217_368
FAIL
600
stmt22_259_410
FAIL
600
stmt21_304_369
FAIL
600
stmt41_198_385
FAIL
600
stmt22_305_311
FAIL
600
stmt21_409_413
FAIL
600
stmt21_360_418
FAIL
600
stmt19_125_363
FAIL
600
stmt19_250_401
FAIL
600
stmt21_360_364
FAIL
600
stmt47_44_239
FAIL
600
stmt21_181_413
FAIL
600
stmt52_244_394
FAIL
600
stmt21_70_304
FAIL
600
stmt52_55_117
FAIL
600
stmt21_178_267
FAIL
600
stmt22_365_414
FAIL
600
stmt44_41_288
FAIL
600
stmt46_42_289
FAIL
600
stmt21_70_267
FAIL
600
stmt21_252_354
FAIL
600
stmt19_66_133
FAIL
600
stmt21_360_409
FAIL
600
stmt32_101_378
FAIL
600
stmt19_78_408
FAIL
600
stmt50_50_115
FAIL
600
stmt19_133_217
FAIL
600
stmt22_80_414
FAIL
600
stmt21_360_403
FAIL
600
stmt19_2_313
FAIL
600
stmt21_138_304
FAIL
600
stmt19_3_261
FAIL
600
stmt21_181_218
FAIL
600
stmt21_314_354
FAIL
600
stmt32_329_378
FAIL
600
stmt21_262_413
FAIL
600
stmt39_234_335
FAIL
600
stmt44_40_162
FAIL
600
stmt19_66_359
FAIL
600
stmt19_257_313
FAIL
600
stmt28_19_98
FAIL
600
stmt39_159_335
FAIL
600
stmt19_302_412
FAIL
600
stmt21_127_143
FAIL
600
stmt22_315_361
FAIL
600
stmt19_2_137
FAIL
600
stmt19_133_266
FAIL
600
stmt21_70_310
FAIL
600
stmt19_214_309
FAIL
600
stmt21_134_354
FAIL
600
stmt21_134_304
FAIL
600
stmt19_67_214
FAIL
600
stmt22_85_315
FAIL
600
stmt19_67_257
FAIL
600
stmt22_144_355
FAIL
600
stmt41_198_336
FAIL
600
stmt21_252_262
FAIL
600
stmt29_275_376
FAIL
600
stmt22_253_259
FAIL
600
stmt19_217_417
FAIL
600
stmt19_90_417
FAIL
600
stmt19_313_318
FAIL
600
stmt19_67_368
FAIL
600
stmt19_177_313
FAIL
600
stmt19_217_309
FAIL
600
stmt19_67_318
FAIL
600
k14_3_2
FAIL
600
k7_4_2
FAIL
600
k10_4_2
FAIL
600
k12_4_2
FAIL
600
k8_3_4
FAIL
600
k6_3_4
FAIL
600
k12_3_2
FAIL
600
k3_1_2
FAIL
600
k6_4_4
FAIL
600
k14_2_2
FAIL
600
k7_3_3
FAIL
600
k12_2_4
FAIL
600
k8_4_2
FAIL
600
k14_4_2
FAIL
600
k6_3_2
FAIL
600
k6_4_2
FAIL
600
k7_3_2
FAIL
600
k12_4_4
FAIL
600
k10_4_3
FAIL
600
k5_2_2
FAIL
600
k10_2_4
FAIL
600
k7_2_4
FAIL
600
k5_3_2
FAIL
600
k8_2_3
FAIL
600
k7_4_4
FAIL
600
k3_2_1
FAIL
600
k7_2_3
FAIL
600
k12_3_4
FAIL
600
k10_2_3
FAIL
600
k12_2_3
FAIL
600
k10_2_2
FAIL
600
k5_3_3
FAIL
600
k10_4_4
FAIL
600
k6_3_3
FAIL
600
k14_4_3
FAIL
600
k4_2_2
FAIL
600
k3_2_2
FAIL
600
k14_3_4
FAIL
600
k6_2_4
FAIL
600
k14_2_4
FAIL
600
k8_4_4
FAIL
600
k6_4_3
FAIL
600
k12_4_3
FAIL
600
k10_3_3
FAIL
600
k8_2_2
FAIL
600
k14_3_3
FAIL
600
k7_2_2
FAIL
600
k8_3_3
FAIL
600
k7_4_3
FAIL
600
k10_3_2
FAIL
600
k8_3_2
FAIL
600
k14_4_4
FAIL
600
k7_3_4
FAIL
600
k10_3_4
FAIL
600
k14_2_3
FAIL
600
k6_2_2
FAIL
600
k8_4_3
FAIL
600
k12_2_2
FAIL
600
k6_2_3
FAIL
600
k12_3_3
FAIL
600
k8_2_4
FAIL
600
k5_2_3
FAIL
600
s510_d3_s
FAIL
600
s510_d10_s
FAIL
600
s298_d7_s
FAIL
600
s510_d24_s
FAIL
600
s499_d5_s
FAIL
600
s510_d20_s
FAIL
600
s510_d11_s
FAIL
600
s510_d45_s
FAIL
600
s298_d9_s
FAIL
600
s510_d14_s
FAIL
600
s510_d30_s
FAIL
600
s510_d17_s
FAIL
600
s499_d9_s
FAIL
600
s510_d36_s
FAIL
600
s1269_d13_u
FAIL
600
s510_d29_s
FAIL
600
s499_d24_u
FAIL
600
s298_d3_s
FAIL
600
s499_d13_s
FAIL
600
s298_d6_s
FAIL
600
s298_d12_s
FAIL
600
s298_d13_s
FAIL
600
s510_d33_s
FAIL
600
s499_d12_s
FAIL
600
s298_d22_u
FAIL
600
s510_d5_s
FAIL
600
s510_d44_s
FAIL
600
s713_d5_s
FAIL
600
s820_d15_u
FAIL
600
s499_d6_s
FAIL
600
s820_d13_u
FAIL
600
s510_d38_s
FAIL
600
s1269_d12_u
FAIL
600
s510_d40_s
FAIL
600
s298_d25_u
FAIL
600
s499_d15_s
FAIL
600
s298_d11_s
FAIL
600
s499_d20_s
FAIL
600
s820_d6_s
FAIL
600
s510_d39_s
FAIL
600
s499_d23_u
FAIL
600
s3330_d14_u
FAIL
600
s1269_d14_u
FAIL
600
s510_d19_s
FAIL
600
s386_d11_u
FAIL
600
s499_d11_s
FAIL
600
s3330_d7_s
FAIL
600
s510_d34_s
FAIL
600
s820_d7_s
FAIL
600
s510_d21_s
FAIL
600
s386_d6_s
FAIL
600
s510_d50_u
FAIL
600
s298_d24_u
FAIL
600
s510_d22_s
FAIL
600
s510_d27_s
FAIL
600
s1269_d7_s
FAIL
600
s510_d7_s
FAIL
600
s298_d20_u
FAIL
600
s510_d9_s
FAIL
600
s510_d15_s
FAIL
600
s3330_d11_u
FAIL
600
s713_d11_u
FAIL
600
s298_d15_s
FAIL
600
s510_d35_s
FAIL
600
s510_d37_s
FAIL
600
s510_d28_s
FAIL
600
s510_d41_s
FAIL
600
s499_d25_u
FAIL
600
s298_d23_u
FAIL
600
s510_d18_s
FAIL
600
s510_d23_s
FAIL
600
s3330_d5_s
FAIL
600
s510_d6_s
FAIL
600
s499_d17_s
FAIL
600
s510_d43_s
FAIL
600
s510_d26_s
FAIL
600
s499_d26_u
FAIL
600
s510_d25_s
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB