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
quantor3.0
QBFEVAL'08
Instance
Result
Time
flipflop-3-c
UNSAT
0
impl10
SAT
0
tree-exa2-15
UNSAT
0
z4ml.blif_0.10_0.20_0_1_out_exact
SAT
0
tree-exa2-40
UNSAT
0
k_path_p-2
UNSAT
0
k_ph_n-1
SAT
0
cmu.dme2.B-d2
SAT
0
eijk.S208o.S-d2
SAT
0
vis.bakery.E-d2
SAT
0
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
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
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
stmt44_107_108
SAT
0
stmt1_20_21
SAT
0
stmt1_30_31
SAT
0
counter_e_2
SAT
0
impl20
SAT
0
tree-exa10-30
SAT
0
tree-exa2-45
UNSAT
0
impl16
SAT
0
k_ph_n-4
SAT
0
tree-exa10-25
SAT
0
impl12
SAT
0
tree-exa2-25
UNSAT
0
z4ml.blif_0.10_1.00_0_0_inp_exact
UNSAT
0
impl18
SAT
0
impl04
SAT
0
counter_r_2
SAT
0
mutex-2-s
SAT
0
tree-exa10-10
SAT
0
adder-2-sat
SAT
0
z4ml.blif_0.10_0.20_0_1_inp_exact
SAT
0
TOILET2.1.iv.4
SAT
0
impl02
SAT
0
Adder2-2-s
SAT
0
impl06
SAT
0
z4ml.blif_0.10_1.00_0_1_inp_exact
SAT
0
tree-exa10-20
SAT
0
impl14
SAT
0
TOILET2.1.iv.3
UNSAT
0
k_branch_p-1
UNSAT
0
k_dum_n-3
SAT
0
k_lin_n-1
SAT
0
k_path_p-3
UNSAT
0
k_ph_p-2
UNSAT
0
k_poly_n-2
SAT
0
k_poly_n-5
SAT
0
k_poly_p-2
UNSAT
0
k_poly_p-7
UNSAT
0
k_poly_p-3
UNSAT
0
cmu.dme1.B-d2
SAT
0
eijk.S208o.S-d3
SAT
0
eijk.S208.S-d2
SAT
0
eijk.S208.S-d3
SAT
0
eijk.S298.S-d2
SAT
0
eijk.S382.S-d2
SAT
0
eijk.S510.S-d3
SAT
0
eijk.S526.S-d2
SAT
0
texas.parsesys^1.E-d3
SAT
0
vis.eisenberg.E-d2
SAT
0
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
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
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001
UNSAT
0
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
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
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
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001
UNSAT
0
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
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
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001
UNSAT
0
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
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
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
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
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
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
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
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
stmt32_122_129
SAT
0
stmt24_7_8
SAT
0
stmt6_13_14
SAT
0
stmt44_107_113
SAT
0
k_dum_n-4
SAT
0.01
k_poly_n-4
SAT
0.01
counter_re_2
SAT
0.01
tree-exa10-15
SAT
0.01
qshifter_3
SAT
0.01
impl08
SAT
0.01
tree-exa2-10
UNSAT
0.01
k_ph_p-4
UNSAT
0.01
tree-exa2-20
UNSAT
0.01
tree-exa2-50
UNSAT
0.01
flipflop-4-c
UNSAT
0.01
s27_d2_s
SAT
0.01
tree-exa2-30
UNSAT
0.01
counter_2
SAT
0.01
z4ml.blif_0.10_0.20_0_0_out_exact
UNSAT
0.01
z4ml.blif_0.10_0.20_0_0_inp_exact
UNSAT
0.01
qshifter_4
SAT
0.01
tree-exa2-35
UNSAT
0.01
z4ml.blif_0.10_1.00_0_0_out_exact
UNSAT
0.01
counter_re_4
SAT
0.01
k_poly_p-4
UNSAT
0.01
k_d4_p-1
UNSAT
0.01
k_dum_n-5
SAT
0.01
k_dum_n-1
SAT
0.01
k_dum_n-6
SAT
0.01
k_dum_p-1
UNSAT
0.01
k_grz_n-1
SAT
0.01
k_grz_p-1
UNSAT
0.01
k_lin_p-2
UNSAT
0.01
k_lin_p-1
UNSAT
0.01
k_path_n-2
SAT
0.01
k_path_n-5
SAT
0.01
k_path_n-1
SAT
0.01
k_path_p-5
UNSAT
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_ph_p-3
UNSAT
0.01
k_poly_n-1
SAT
0.01
k_poly_n-3
SAT
0.01
k_poly_p-9
UNSAT
0.01
k_poly_p-10
UNSAT
0.01
k_poly_p-1
UNSAT
0.01
k_t4p_n-1
SAT
0.01
k_t4p_p-1
UNSAT
0.01
eijk.S208c.S-d3
SAT
0.01
eijk.S208c.S-d4
SAT
0.01
eijk.S208o.S-d4
SAT
0.01
eijk.S420.S-d4
SAT
0.01
eijk.S444.S-d2
SAT
0.01
texas.ifetch1^1.E-d3
SAT
0.01
texas.ifetch1^3.E-d3
SAT
0.01
texas.parsesys^1.E-d2
SAT
0.01
vis.bakery.E-d3
SAT
0.01
texas.ifetch1^4.E-f2
UNSAT
0.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.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.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
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-004
UNSAT
0.01
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.01
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.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-002
UNSAT
0.01
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.01
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.01
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.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-002
UNSAT
0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002
UNSAT
0.01
c4_BMC_p2_k2
UNSAT
0.01
stmt24_148_149
SAT
0.01
stmt1_145_146
SAT
0.01
k3_2_1
SAT
0.01
k_path_p-4
UNSAT
0.01
z4ml.blif_0.10_1.00_0_1_out_exact
SAT
0.01
mutex-4-s
SAT
0.01
k_grz_n-4
SAT
0.01
counter_r_4
SAT
0.01
CHAIN12v.13
SAT
0.01
TOILET6.1.iv.12
SAT
0.01
C432.blif_0.10_1.00_0_1_out_exact
SAT
0.01
k_dum_p-4
UNSAT
0.01
counter_4
SAT
0.01
comp.blif_0.10_1.00_0_1_inp_exact
SAT
0.01
k_grz_p-4
UNSAT
0.01
k_poly_p-12
UNSAT
0.01
k_branch_n-1
SAT
0.01
k_d4_n-1
SAT
0.01
k_d4_p-2
UNSAT
0.01
k_dum_n-2
SAT
0.01
k_dum_n-10
SAT
0.01
k_dum_p-2
UNSAT
0.01
k_dum_p-3
UNSAT
0.01
k_grz_n-2
SAT
0.01
k_grz_p-5
UNSAT
0.01
k_lin_n-2
SAT
0.01
k_path_n-3
SAT
0.01
k_path_p-6
UNSAT
0.01
k_poly_n-7
SAT
0.01
k_poly_n-9
SAT
0.01
k_poly_n-10
SAT
0.01
k_poly_n-11
SAT
0.01
k_poly_p-5
UNSAT
0.01
k_poly_p-11
UNSAT
0.01
k_poly_p-6
UNSAT
0.01
eijk.S208.S-d4
SAT
0.01
eijk.S386.S-d2
SAT
0.01
vis.eisenberg.E-d3
SAT
0.01
texas.parsesys^4.E-f2
UNSAT
0.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
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.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.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.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002
UNSAT
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-005
UNSAT
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-008
UNSAT
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-009
UNSAT
0.01
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.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001
UNSAT
0.01
c4_BMC_p1_k2
SAT
0.01
c4_BMC_p1_k4
SAT
0.01
c4_BMC_p2_k4
UNSAT
0.01
k3_1_2
SAT
0.01
k3_1_1
SAT
0.01
lut4_XOR_fOR
UNSAT
0.02
comp.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.02
szymanski-4-s
UNSAT
0.02
counter_e_4
SAT
0.02
flipflop-5-c
UNSAT
0.02
k_path_n-8
SAT
0.02
CHAIN13v.14
SAT
0.02
lut4_XOR_f1
SAT
0.02
comp.blif_0.10_1.00_0_1_out_exact
SAT
0.02
CHAIN17v.18
SAT
0.02
CHAIN14v.15
SAT
0.02
k_poly_n-8
SAT
0.02
k_poly_n-12
SAT
0.02
k_poly_p-8
UNSAT
0.02
CHAIN16v.17
SAT
0.02
comp.blif_0.10_1.00_0_0_out_exact
UNSAT
0.02
k_path_n-4
SAT
0.02
k_path_p-8
UNSAT
0.02
k_dum_n-12
SAT
0.02
comp.blif_0.10_0.20_0_1_out_exact
SAT
0.02
k_d4_p-3
UNSAT
0.02
k_dum_n-7
SAT
0.02
k_dum_n-9
SAT
0.02
k_dum_n-14
SAT
0.02
k_dum_p-5
UNSAT
0.02
k_dum_p-9
UNSAT
0.02
k_dum_p-10
UNSAT
0.02
k_dum_p-11
UNSAT
0.02
k_grz_n-3
SAT
0.02
k_grz_p-2
UNSAT
0.02
k_grz_p-3
UNSAT
0.02
k_lin_p-3
UNSAT
0.02
k_path_n-6
SAT
0.02
k_path_p-7
UNSAT
0.02
k_ph_n-5
SAT
0.02
k_poly_n-6
SAT
0.02
k_poly_n-14
SAT
0.02
k_poly_n-13
SAT
0.02
k_poly_p-14
UNSAT
0.02
k_poly_p-17
UNSAT
0.02
k_poly_p-13
UNSAT
0.02
eijk.S208c.S-d2
SAT
0.02
eijk.S444.S-d3
SAT
0.02
eijk.S510.S-d4
SAT
0.02
eijk.S953.S-d2
SAT
0.02
texas.parsesys^1.E-d4
SAT
0.02
texas.ifetch1^4.E-f3
UNSAT
0.02
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.02
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.02
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.02
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.02
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.02
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.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-004
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-005
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-006
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-007
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-010
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.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002
UNSAT
0.02
c4_BMC_p1_k8
SAT
0.02
c4_BMC_p2_k8
UNSAT
0.02
k3_2_2
SAT
0.02
adder-2-unsat
UNSAT
0.02
flipflop-6-c
UNSAT
0.02
k_dum_n-16
SAT
0.02
CHAIN15v.16
SAT
0.02
k_poly_n-16
SAT
0.02
k_dum_n-8
SAT
0.02
k_dum_p-8
UNSAT
0.02
qshifter_5
SAT
0.02
k_poly_p-16
UNSAT
0.02
C432.blif_0.10_1.00_0_1_inp_exact
SAT
0.02
C499.blif_0.10_1.00_0_1_inp_exact
SAT
0.02
k_dum_n-21
SAT
0.02
C499.blif_0.10_1.00_0_1_out_exact
SAT
0.02
k_poly_p-20
UNSAT
0.02
k_dum_n-19
SAT
0.02
k_dum_n-17
SAT
0.02
k_dum_p-7
UNSAT
0.02
k_dum_p-15
UNSAT
0.02
k_dum_p-17
UNSAT
0.02
k_dum_p-13
UNSAT
0.02
k_grz_n-5
SAT
0.02
k_grz_n-7
SAT
0.02
k_grz_n-6
SAT
0.02
k_grz_p-7
UNSAT
0.02
k_lin_p-5
UNSAT
0.02
k_lin_p-6
UNSAT
0.02
k_path_n-7
SAT
0.02
k_path_n-10
SAT
0.02
k_path_p-9
UNSAT
0.02
k_path_p-10
UNSAT
0.02
k_path_p-11
UNSAT
0.02
k_poly_n-18
SAT
0.02
k_poly_n-19
SAT
0.02
k_poly_n-15
SAT
0.02
k_poly_n-17
SAT
0.02
k_poly_p-19
UNSAT
0.02
k_t4p_p-2
UNSAT
0.02
eijk.S298.S-d3
SAT
0.02
eijk.S382.S-d3
SAT
0.02
vis.coherence^1.E-d2
SAT
0.02
texas.parsesys^4.E-f3
UNSAT
0.02
sortnetsort5.v.stepl.003
UNSAT
0.02
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.02
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.02
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.02
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.02
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.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-009
UNSAT
0.02
k_dum_p-21
UNSAT
0.02
TOILET6.1.iv.11
UNSAT
0.02
k_poly_n-20
SAT
0.02
CHAIN18v.19
SAT
0.02
CHAIN19v.20
SAT
0.02
BLOCKS3iii.4
UNSAT
0.02
k_dum_p-12
UNSAT
0.02
k_poly_p-21
UNSAT
0.02
k_path_p-12
UNSAT
0.02
comp.blif_0.10_0.20_0_0_out_exact
UNSAT
0.02
k_poly_n-21
SAT
0.02
k_d4_n-2
SAT
0.02
k_dum_n-18
SAT
0.02
k_dum_n-11
SAT
0.02
k_dum_n-15
SAT
0.02
k_dum_n-13
SAT
0.02
k_dum_p-18
UNSAT
0.02
k_dum_p-19
UNSAT
0.02
k_dum_p-6
UNSAT
0.02
k_dum_p-14
UNSAT
0.02
k_grz_p-6
UNSAT
0.02
k_path_n-9
SAT
0.02
k_path_p-13
UNSAT
0.02
k_ph_p-5
UNSAT
0.02
k_poly_p-18
UNSAT
0.02
k_poly_p-15
UNSAT
0.02
k_t4p_n-2
SAT
0.02
texas.ifetch1^4.E-f4
UNSAT
0.02
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.02
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.02
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.02
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.02
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.02
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.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-008
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-010
UNSAT
0.02
c6_BMC_p2_k2
UNSAT
0.02
comp.blif_0.10_0.20_0_1_inp_exact
SAT
0.03
comp.blif_0.10_0.20_0_0_inp_exact
UNSAT
0.03
C432.blif_0.10_1.00_0_0_out_exact
UNSAT
0.03
k_grz_n-8
SAT
0.03
k_dum_n-20
SAT
0.03
k_path_n-12
SAT
0.03
k_lin_p-4
UNSAT
0.03
k_dum_p-16
UNSAT
0.03
s27_d3_u
UNSAT
0.03
k_grz_p-8
UNSAT
0.03
k_branch_n-2
SAT
0.03
k_branch_p-2
UNSAT
0.03
k_path_n-11
SAT
0.03
k_path_n-15
SAT
0.03
k_path_p-14
UNSAT
0.03
k_path_p-15
UNSAT
0.03
k_t4p_p-3
UNSAT
0.03
eijk.S526.S-d3
SAT
0.03
sortnetsort5.v.stepl.005
SAT
0.03
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.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-008
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-009
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-002
UNSAT
0.03
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.03
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002
UNSAT
0.03
c3_BMC_p2_k2
UNSAT
0.03
c6_BMC_p1_k2
SAT
0.03
k_dum_p-20
UNSAT
0.03
CHAIN20v.21
SAT
0.03
k_d4_p-4
UNSAT
0.03
TOILET7.1.iv.14
SAT
0.03
k_path_n-16
SAT
0.03
k_path_n-14
SAT
0.03
k_path_n-13
SAT
0.03
k_path_p-17
UNSAT
0.03
k_t4p_n-3
SAT
0.03
texas.ifetch1^9.E-d3
SAT
0.03
vis.eisenberg.E-d4
SAT
0.03
texas.parsesys^4.E-f4
UNSAT
0.03
sortnetsort5.v.stepl.004
UNSAT
0.03
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.03
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.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-002
UNSAT
0.03
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.03
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.03
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.03
c3_BMC_p2_k4
UNSAT
0.03
c4_BMC_p1_k16
SAT
0.03
c4_BMC_p2_k16
UNSAT
0.03
c6_BMC_p2_k4
UNSAT
0.03
ssa7552-159-00
SAT
0.03
k_path_p-16
UNSAT
0.04
CHAIN23v.24
SAT
0.04
CHAIN22v.23
SAT
0.04
CHAIN21v.22
SAT
0.04
k_path_n-18
SAT
0.04
k_path_n-17
SAT
0.04
vis.bakery.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-009
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-010
UNSAT
0.04
k_path_p-20
UNSAT
0.04
k_path_p-21
UNSAT
0.04
k_path_n-20
SAT
0.04
k_path_n-21
SAT
0.04
k_t4p_n-4
SAT
0.04
k_lin_p-7
UNSAT
0.04
k_path_p-18
UNSAT
0.04
k_path_p-19
UNSAT
0.04
k_ph_n-6
SAT
0.04
sortnetsort5.v.stepl.006
SAT
0.04
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.04
cube_c3_ser--opt-6_
SAT
0.04
k4_2_2
SAT
0.04
term1.blif_0.10_1.00_0_1_out_exact
SAT
0.04
term1.blif_0.10_1.00_0_1_inp_exact
SAT
0.04
k_lin_n-3
SAT
0.04
k_path_n-19
SAT
0.04
eijk.S832.S-d2
SAT
0.04
vis.4-arbit^1.E-d2
SAT
0.04
sortnetsort5.v.stepl.007
SAT
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.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002
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
c6_BMC_p1_k4
SAT
0.04
cmu.dme2.B-d3
SAT
0.05
nusmv.reactor^3.C-f4
UNSAT
0.05
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.05
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.05
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.05
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.05
c3_BMC_p2_k8
UNSAT
0.05
c4_BMC_p1_k32
SAT
0.05
c4_BMC_p2_k32
UNSAT
0.05
k_t4p_p-8
UNSAT
0.05
flipflop-7-c
UNSAT
0.05
C432.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.05
cmu.dme1.B-d3
SAT
0.05
eijk.S820.S-d2
SAT
0.05
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.05
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.05
c3_BMC_p1_k2
SAT
0.05
c6_BMC_p2_k8
UNSAT
0.05
k_lin_p-9
UNSAT
0.06
sortnetsort6.v.stepl.003
UNSAT
0.06
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.06
k_lin_p-8
UNSAT
0.06
k_t4p_p-10
UNSAT
0.06
c4_BMC_p2_k64
UNSAT
0.06
c6_BMC_p1_k8
SAT
0.06
k_t4p_p-4
UNSAT
0.07
lut4_2_f1
SAT
0.07
k_ph_p-6
UNSAT
0.07
c2_BMC_p2_k2
UNSAT
0.07
c4_BMC_p1_k64
SAT
0.07
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002
UNSAT
0.07
stmt16_0_1
SAT
0.07
vonNeumann-ripple-carry-5-c
UNSAT
0.08
BLOCKS3ii.4.3
UNSAT
0.08
BLOCKS3i.4.4
UNSAT
0.08
k_t4p_p-16
UNSAT
0.08
BLOCKS3iii.5
SAT
0.08
k_ph_n-7
SAT
0.08
vis.emodel.E-d2
SAT
0.08
irst.dme4.B-d2
SAT
0.09
ken.flash^10.C-f2
UNSAT
0.09
c3_BMC_p2_k16
UNSAT
0.09
c3_BMC_p1_k4
SAT
0.09
eijk.S641.S-d3
SAT
0.1
sortnetsort6.v.stepl.004
UNSAT
0.1
c2_BMC_p1_k2
SAT
0.1
term1.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.1
k_t4p_p-17
UNSAT
0.1
sortnetsort6.v.stepl.005
SAT
0.1
c3_BMC_p2_k32
UNSAT
0.1
qshifter_6
SAT
0.1
flipflop-8-c
UNSAT
0.1
c2_BMC_p2_k4
UNSAT
0.1
lut4_2_fXOR
SAT
0.11
k_lin_p-10
UNSAT
0.11
c6_BMC_p2_k16
UNSAT
0.11
Adder2-4-s
SAT
0.12
k_d4_p-5
UNSAT
0.12
sortnetsort6.v.stepl.006
SAT
0.12
BLOCKS3ii.5.2
UNSAT
0.12
c4_BMC_p2_k128
UNSAT
0.12
adder-4-sat
SAT
0.12
TOILET10.1.iv.20
SAT
0.12
Adder2-2-c
UNSAT
0.13
s298_d2_s
SAT
0.13
c4_BMC_p1_k128
SAT
0.13
TOILET7.1.iv.13
UNSAT
0.13
ken.flash^10.C-f3
UNSAT
0.13
blocks_enc_2_b3_ser--opt-9_
SAT
0.13
BLOCKS3i.5.4
SAT
0.14
k_lin_p-11
UNSAT
0.14
texas.parsesys^3.E-f2
SAT
0.14
c5_BMC_p2_k2
UNSAT
0.14
c6_BMC_p1_k16
SAT
0.14
BLOCKS3i.5.3
UNSAT
0.14
sortnetsort6.v.stepl.007
SAT
0.14
c6_BMC_p2_k32
UNSAT
0.14
vonNeumann-ripple-carry-6-c
UNSAT
0.15
c3_BMC_p2_k64
UNSAT
0.15
BLOCKS3ii.5.3
SAT
0.15
sortnetsort7.v.stepl.003
UNSAT
0.16
eijk.S444.S-d4
SAT
0.17
lut4_AND_f1
SAT
0.18
k_lin_p-12
UNSAT
0.18
eijk.S382.S-d4
SAT
0.18
s27_d4_u
UNSAT
0.18
c3_BMC_p2_k128
UNSAT
0.18
flipflop-9-c
UNSAT
0.18
C5315.blif_0.10_1.00_0_1_out_exact
SAT
0.19
ken.flash^10.C-f4
UNSAT
0.19
k_lin_p-13
UNSAT
0.19
c2_BMC_p1_k4
SAT
0.19
c5_BMC_p1_k2
SAT
0.19
c6_BMC_p1_k32
SAT
0.19
ring_r4_ser--opt-11_
UNSAT
0.2
k_grz_n-9
SAT
0.2
k_t4p_n-18
SAT
0.2
vis.emodel.E-f2
UNSAT
0.2
c1_BMC_p2_k2
UNSAT
0.2
term1.blif_0.10_1.00_0_0_out_exact
UNSAT
0.21
k_lin_n-4
SAT
0.21
C5315.blif_0.10_1.00_0_1_inp_exact
SAT
0.21
k_t4p_n-19
SAT
0.21
k_ph_p-7
UNSAT
0.22
ring_r3_ser--opt-8_
SAT
0.22
k_t4p_n-20
SAT
0.22
k_t4p_n-21
SAT
0.23
c1_BMC_p1_k2
SAT
0.24
c3_BMC_p1_k8
SAT
0.24
vonNeumann-ripple-carry-7-c
UNSAT
0.24
k_d4_n-3
SAT
0.24
c4_BMC_p2_k256
UNSAT
0.24
s499_d2_s
SAT
0.24
k_lin_p-14
UNSAT
0.24
c6_BMC_p2_k64
UNSAT
0.25
c4_BMC_p1_k256
SAT
0.26
counter_8
SAT
0.26
k_t4p_p-6
UNSAT
0.26
par8-4-c-90
SAT
0.26
eijk.S386.S-d3
SAT
0.29
c3_BMC_p2_k256
UNSAT
0.29
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.29
c1_BMC_p2_k4
UNSAT
0.3
eijk.S349.S-d2
SAT
0.32
eijk.S344.S-d2
SAT
0.32
c5_BMC_p2_k4
UNSAT
0.33
flipflop-10-c
UNSAT
0.34
c2_BMC_p2_k8
UNSAT
0.34
c5_BMC_p1_k4
SAT
0.34
k_lin_p-15
UNSAT
0.35
eijk.S526.S-d4
SAT
0.36
irst.dme5.B-d2
SAT
0.37
nusmv.brp.B-d2
SAT
0.38
sortnetsort7.v.stepl.004
UNSAT
0.38
k_ph_n-8
SAT
0.39
k_lin_p-16
UNSAT
0.4
c6_BMC_p1_k64
SAT
0.4
k_grz_p-9
UNSAT
0.4
eijk.S298.S-d4
SAT
0.4
lut4_AND_fXOR
UNSAT
0.41
k_branch_p-3
UNSAT
0.42
c2_BMC_p1_k8
SAT
0.42
sortnetsort7.v.stepl.006
SAT
0.42
vonNeumann-ripple-carry-8-c
UNSAT
0.42
k_t4p_p-5
UNSAT
0.43
c6_BMC_p2_k128
UNSAT
0.44
counter_r_8
SAT
0.44
eijk.S953.S-d3
SAT
0.44
sortnetsort8.v.stepl.003
UNSAT
0.45
texas.parsesys^1.E-f2
SAT
0.46
sortnetsort7.v.stepl.007
SAT
0.46
c1_BMC_p1_k4
SAT
0.46
k_lin_p-17
UNSAT
0.47
mutex-8-s
SAT
0.48
c4_BMC_p2_k512
UNSAT
0.48
c3_BMC_p2_k512
UNSAT
0.5
emptyroom_e3_par--opt-10_
SAT
0.54
c3_BMC_p1_k16
SAT
0.55
flipflop-11-c
UNSAT
0.55
c4_BMC_p1_k512
SAT
0.55
sortnetsort7.v.stepl.008
SAT
0.56
vis.arbiter.E-d4
SAT
0.58
k_lin_p-18
UNSAT
0.59
k_lin_p-19
UNSAT
0.6
vonNeumann-ripple-carry-9-c
UNSAT
0.61
k_lin_n-5
SAT
0.62
sortnetsort7.v.stepl.009
SAT
0.62
c5_BMC_p2_k8
UNSAT
0.63
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.66
c5_BMC_p1_k8
SAT
0.67
cmu.periodic.N-d2
SAT
0.68
k_lin_p-20
UNSAT
0.71
k_branch_n-3
SAT
0.71
c2_BMC_p2_k16
UNSAT
0.72
TOILET16.1.iv.32
SAT
0.73
sortnetsort8.v.stepl.004
UNSAT
0.8
C499.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.8
k_d4_p-6
UNSAT
0.8
c1_BMC_p2_k8
UNSAT
0.82
k_lin_p-21
UNSAT
0.84
c6_BMC_p2_k256
UNSAT
0.85
ii8a1-50
SAT
0.85
flipflop-12-c
UNSAT
0.88
emptyroom_e3_ser--opt-20_
SAT
0.89
c3_BMC_p1_k32
SAT
0.92
c6_BMC_p1_k128
SAT
0.92
par8-1-c-90
UNSAT
0.92
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.94
c3_BMC_p2_k1024
UNSAT
0.94
s510_d2_s
SAT
0.97
vonNeumann-ripple-carry-10-c
UNSAT
0.97
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
1
c2_BMC_p1_k16
SAT
1
c4_BMC_p2_k1024
UNSAT
1.02
ii8a1-90
SAT
1.07
c1_BMC_p1_k8
SAT
1.08
c2_BMC_p2_k32
UNSAT
1.1
sortnetsort8.v.stepl.006
SAT
1.13
eijk.S1423.S-d2
SAT
1.16
c4_BMC_p1_k1024
SAT
1.17
szymanski-5-s
UNSAT
1.18
k_grz_p-11
UNSAT
1.2
stmt17_18_19
SAT
1.24
c5_BMC_p2_k16
UNSAT
1.26
cube_c5_ser--opt-15_
SAT
1.27
qshifter_7
SAT
1.34
vonNeumann-ripple-carry-11-c
UNSAT
1.37
aim-50-6_0-yes1-3-50
UNSAT
1.37
C499.blif_0.10_1.00_0_0_out_exact
UNSAT
1.38
stmt7_33_34
SAT
1.45
sortnetsort8.v.stepl.007
SAT
1.47
irst.dme6.B-d2
SAT
1.5
k_ph_n-9
SAT
1.5
c5_BMC_p1_k16
SAT
1.51
k_ph_p-8
UNSAT
1.51
lut4_2_f2
UNSAT
1.57
k_grz_n-10
SAT
1.59
c3_BMC_p1_k64
SAT
1.6
aim-50-6_0-yes1-2-90
UNSAT
1.62
s386_d2_s
SAT
1.65
c6_BMC_p2_k512
UNSAT
1.68
sortnetsort8.v.stepl.008
SAT
1.69
vonNeumann-ripple-carry-12-c
UNSAT
1.8
c1_BMC_p2_k32
UNSAT
1.8
c1_BMC_p2_k16
UNSAT
1.81
c3_BMC_p2_k2048
UNSAT
1.86
c2_BMC_p2_k64
UNSAT
1.88
k_grz_n-11
SAT
1.88
lut4_3_fAND
SAT
1.9
aim-50-6_0-yes1-1-90
SAT
1.9
s27_d5_u
UNSAT
1.94
sortnetsort8.v.stepl.009
SAT
1.94
c5_BMC_p2_k32
UNSAT
1.99
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
1.99
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
2.06
c2_BMC_p1_k32
SAT
2.06
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
2.06
c1_BMC_p1_k16
SAT
2.11
c4_BMC_p2_k2048
UNSAT
2.13
par8-4-c-50
SAT
2.13
aim-50-6_0-yes1-2-00
UNSAT
2.2
s298_d3_s
SAT
2.2
par8-2-c-90
UNSAT
2.21
k_grz_p-10
UNSAT
2.26
stmt21_4_5
UNSAT
2.28
c5_BMC_p1_k32
SAT
2.32
vonNeumann-ripple-carry-13-c
UNSAT
2.4
vis.bakery.E-f2
SAT
2.42
par8-2-c-50
UNSAT
2.43
aim-50-6_0-yes1-2-50
UNSAT
2.45
sortnetsort7.v.stepl.005
UNSAT
2.48
C5315.blif_0.10_1.00_0_0_inp_exact
UNSAT
2.69
texas.parsesys^2.E-f2
UNSAT
2.8
c1_BMC_p2_k2048
FAIL
2.81
par8-3-c-90
UNSAT
2.82
c6_BMC_p1_k256
SAT
2.9
c1_BMC_p1_k32
SAT
2.92
aim-50-6_0-yes1-3-90
SAT
2.93
k_t4p_p-7
UNSAT
3.08
k_d4_n-4
SAT
3.18
sortnetsort9.v.stepl.004
UNSAT
3.25
k_grz_n-13
SAT
3.28
c1_BMC_p2_k64
UNSAT
3.31
c6_BMC_p2_k1024
UNSAT
3.46
c2_BMC_p2_k128
UNSAT
3.49
c4_BMC_p1_k2048
SAT
3.6
aim-50-1_6-yes1-2-90
UNSAT
3.8
C5315.blif_0.10_1.00_0_0_out_exact
UNSAT
4.05
stmt17_143_144
SAT
4.05
k_grz_n-12
SAT
4.06
vis.eisenberg.E-f2
SAT
4.17
c1_BMC_p1_k64
SAT
4.23
c3_BMC_p1_k128
SAT
4.25
eijk.S1238.S-d2
SAT
4.26
vonNeumann-ripple-carry-15-c
UNSAT
4.28
sortnetsort9.v.stepl.008
SAT
4.56
nusmv.syncarb5^2.B-f2
SAT
4.58
c2_BMC_p1_k64
SAT
4.65
par8-1-c-00
UNSAT
4.82
par8-4-c-00
SAT
4.89
lognBWLARGEA1
UNSAT
4.94
sortnetsort9.v.stepl.009
SAT
5.09
vis.emodel.E-d3
SAT
5.14
texas.parsesys^3.E-f3
SAT
5.18
par8-5-c-90
UNSAT
5.23
par8-3-c-50
UNSAT
5.33
c1_BMC_p2_k128
UNSAT
5.38
sortnetsort9.v.stepl.010
SAT
5.64
ken.flash^13.C-d2
UNSAT
5.69
sortnetsort10.v.stepl.004
UNSAT
5.89
k_grz_p-12
UNSAT
5.93
k_grz_p-13
UNSAT
5.95
par8-5-50
SAT
6.13
sortnetsort9.v.stepl.011
SAT
6.15
BLOCKS4iii.6
UNSAT
6.22
par8-3-c-00
SAT
6.22
k_d4_p-7
UNSAT
6.38
eijk.S1196.S-d2
SAT
6.54
c2_BMC_p2_k256
UNSAT
6.63
counter_re_8
SAT
6.94
par8-1-c-50
UNSAT
7.01
sortnetsort9.v.stepl.012
SAT
7.06
nusmv.dme2-16.B-d2
SAT
7.22
k_grz_p-15
UNSAT
7.22
c6_BMC_p2_k2048
UNSAT
7.29
c1_BMC_p1_k128
SAT
7.46
par8-2-00
UNSAT
7.85
eijk.S832.S-d3
SAT
8.02
k_grz_p-17
UNSAT
8.18
c4_Debug_s3_f2_e2_v3
FAIL
8.25
counter_e_8
SAT
8.33
sortnetsort8.v.stepl.005
UNSAT
8.4
aim-50-6_0-yes1-4-90
SAT
8.45
BLOCKS4iii.7
SAT
8.46
aim-50-6_0-yes1-4-00
SAT
8.47
BLOCKS4ii.6.3
UNSAT
8.48
k_grz_n-15
SAT
8.48
k_ph_n-10
SAT
8.51
k_grz_n-14
SAT
8.57
s499_d3_s
SAT
8.59
BLOCKS4i.6.4
UNSAT
8.68
k_grz_p-18
UNSAT
8.82
k_grz_p-16
UNSAT
8.84
k_grz_n-18
SAT
8.88
aim-50-1_6-yes1-4-90
UNSAT
9.19
eijk.S820.S-d3
SAT
9.29
aim-50-6_0-yes1-3-00
UNSAT
9.43
c1_BMC_p2_k256
UNSAT
9.48
k_grz_p-19
UNSAT
9.53
aim-50-3_4-yes1-4-00
UNSAT
9.83
Adder2-6-s
SAT
10.23
adder-6-sat
SAT
10.31
BLOCKS4ii.7.2
UNSAT
10.37
cmu.dme2.B-d4
SAT
10.48
k_lin_n-8
SAT
10.49
k_lin_n-9
SAT
10.52
term1.blif_0.10_0.20_0_1_out_exact
SAT
10.65
k_grz_p-21
UNSAT
10.71
k_grz_n-19
SAT
11.01
lognBWLARGEB1
UNSAT
11.05
k_grz_n-21
SAT
11.13
s298_d4_s
SAT
11.16
aim-50-3_4-yes1-3-90
UNSAT
11.21
stmt44_40_41
UNSAT
11.32
par8-5-c-00
UNSAT
11.37
aim-50-3_4-yes1-4-50
UNSAT
11.43
aim-50-3_4-yes1-2-90
SAT
11.67
aim-50-3_4-yes1-1-00
UNSAT
11.88
k_grz_n-20
SAT
12.05
c1_BMC_p1_k256
SAT
12.75
c2_BMC_p2_k512
UNSAT
12.76
sortnetsort10.v.stepl.008
SAT
12.95
c1_BMC_p2_k512
UNSAT
12.96
k_grz_p-14
UNSAT
13.1
jnh7-90
SAT
13.11
szymanski-6-s
UNSAT
13.47
cube_c9_par--opt-11_
SAT
13.5
aim-50-3_4-yes1-1-50
UNSAT
14.18
aim-50-6_0-yes1-4-50
UNSAT
14.25
qshifter_8
SAT
14.63
aim-50-6_0-yes1-1-00
UNSAT
14.76
aim-50-2_0-yes1-4-90
SAT
14.83
irst.dme4.B-d3
SAT
14.88
c6_BMC_p1_k512
SAT
15.15
sortnetsort10.v.stepl.009
SAT
15.23
c3_BMC_p1_k256
SAT
15.29
sortnetsort10.v.stepl.010
SAT
15.54
k_grz_n-16
SAT
15.62
sortnetsort10.v.stepl.011
SAT
16.58
aim-50-6_0-yes1-1-50
UNSAT
16.62
par8-2-c-00
UNSAT
17
k_grz_n-17
SAT
17.22
jnh213-50
SAT
17.77
sortnetsort10.v.stepl.012
SAT
18.14
sortnetsort9.v.stepl.005
UNSAT
18.31
aim-50-2_0-yes1-1-00
UNSAT
18.39
cube_c9_par---10_
UNSAT
18.45
ken.flash^02.C-d2
SAT
19.27
sortnetsort9.v.stepl.007
SAT
19.3
c2_BMC_p1_k128
SAT
20.64
szymanski-18-s
FAIL
21.04
szymanski-16-s
FAIL
21.17
szymanski-20-s
FAIL
21.49
szymanski-14-s
FAIL
21.8
szymanski-22-s
FAIL
22.05
par8-4-90
UNSAT
22.11
par8-5-90
UNSAT
23.28
k_grz_p-20
UNSAT
23.31
szymanski-24-s
FAIL
23.35
mutex-32-s
FAIL
23.46
mutex-128-s
FAIL
23.51
k_branch_p-6
FAIL
23.58
k_d4_p-17
FAIL
24.01
k_d4_p-13
FAIL
24.02
k_d4_p-12
FAIL
24.03
k_d4_p-21
FAIL
24.04
k_d4_p-9
FAIL
24.05
k_d4_p-14
FAIL
24.05
k_d4_p-16
FAIL
24.07
k_d4_p-15
FAIL
24.09
k_d4_p-10
FAIL
24.09
k_d4_p-20
FAIL
24.14
k_branch_n-6
FAIL
24.19
k_branch_n-4
FAIL
24.25
k_branch_p-7
FAIL
24.25
k_branch_p-10
FAIL
24.35
k_d4_p-11
FAIL
24.37
mutex-64-s
FAIL
24.39
k_d4_n-10
FAIL
24.44
k_d4_p-19
FAIL
24.5
c1_BMC_p1_k512
SAT
24.54
k_branch_p-4
FAIL
24.58
par8-2-90
UNSAT
24.65
aim-50-3_4-yes1-1-90
UNSAT
24.69
c1_BMC_p2_k1024
UNSAT
24.72
k_branch_n-7
FAIL
24.75
k_d4_n-7
FAIL
25.2
stmt31_22_23
UNSAT
25.23
k_branch_p-9
FAIL
25.34
c2_BMC_p2_k1024
UNSAT
25.37
k_branch_p-8
FAIL
25.42
k_t4p_p-11
FAIL
25.71
k_branch_n-9
FAIL
25.8
k_t4p_n-5
FAIL
25.82
k_t4p_n-14
FAIL
25.83
k_t4p_n-11
FAIL
25.89
k_t4p_n-7
FAIL
25.93
k_t4p_n-17
FAIL
25.96
k_t4p_n-16
FAIL
26.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.01
k_t4p_n-6
FAIL
26.06
k_t4p_n-15
FAIL
26.07
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.08
k_t4p_n-9
FAIL
26.09
k_t4p_n-10
FAIL
26.09
k_t4p_n-8
FAIL
26.11
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.13
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
FAIL
26.19
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.2
szymanski-12-s
FAIL
26.27
k_t4p_n-12
FAIL
26.28
k_t4p_n-13
FAIL
26.31
k_branch_n-8
FAIL
26.31
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.34
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.37
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.39
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.4
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
26.41
k_d4_n-15
FAIL
26.49
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.53
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
26.55
k_t4p_p-9
UNSAT
26.55
k_t4p_p-13
FAIL
26.57
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
26.57
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
FAIL
26.6
irst.dme6.B-f2
FAIL
26.62
k_d4_n-8
FAIL
26.66
c1_Debug_s5_f1_e1_v2
SAT
26.66
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
26.68
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
FAIL
26.7
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.7
uclid-pipe3b
FAIL
26.74
k_d4_n-21
FAIL
26.75
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
26.77
k_d4_n-19
FAIL
26.8
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.8
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
26.82
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
26.86
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
26.91
C880.blif_0.10_1.00_0_1_out_exact
SAT
26.91
k_d4_n-13
FAIL
26.94
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
26.97
k_d4_n-20
FAIL
27
cmu.dme1.B-f4
FAIL
27.05
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
FAIL
27.08
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
27.08
k_d4_n-18
FAIL
27.14
k_branch_p-11
FAIL
27.17
k_branch_n-11
FAIL
27.22
k_d4_n-17
FAIL
27.22
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
27.26
k_branch_n-14
FAIL
27.27
k_d4_n-11
FAIL
27.28
k_d4_n-16
FAIL
27.29
nusmv.dme1-16.B-f2
FAIL
27.33
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
27.34
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
27.35
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
27.39
C5315.blif_0.10_0.20_0_1_inp_exact
FAIL
27.41
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
27.41
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
27.42
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
27.43
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
27.43
C5315.blif_0.10_0.20_0_0_inp_exact
FAIL
27.45
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
27.45
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
27.46
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
FAIL
27.46
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
27.49
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
FAIL
27.49
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
27.5
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
27.51
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
27.54
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
27.55
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
27.59
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
27.6
eijk.bs4863.S-f2
FAIL
27.62
texas.two_proc^6.E-f4
FAIL
27.63
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
27.68
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
27.68
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
FAIL
27.7
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
27.72
k_d4_n-12
FAIL
27.74
k_t4p_p-19
FAIL
27.75
k_d4_n-14
FAIL
27.75
k_d4_n-6
FAIL
27.78
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
FAIL
27.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-005
FAIL
27.81
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
27.81
texas.two_proc^4.E-f4
FAIL
27.83
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
27.83
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
27.87
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
FAIL
27.87
k_branch_n-5
FAIL
27.89
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
27.89
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
27.89
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
27.93
Adder2-6-c
FAIL
27.94
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
28
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
28.05
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
28.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
28.07
test1_quant3
FAIL
28.07
k_branch_p-5
FAIL
28.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-010
FAIL
28.09
k_d4_p-18
FAIL
28.1
counter_re_16
FAIL
28.13
eijk.S526.S-f3
FAIL
28.15
texas.two_proc^5.E-f4
FAIL
28.15
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
28.15
nusmv.dme1-16.B-f3
FAIL
28.17
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
28.17
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
28.17
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
28.22
vis.4-arbit^1.E-d4
FAIL
28.22
cmu.dme2.B-f4
FAIL
28.22
eijk.bs1512.S-f4
FAIL
28.24
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
FAIL
28.25
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
28.25
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
28.28
k_d4_n-9
FAIL
28.28
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
28.29
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
28.29
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
FAIL
28.3
texas.PI_main^14.E-f4
FAIL
28.3
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
28.31
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
FAIL
28.33
nusmv.guidance^2.C-f2
FAIL
28.38
nusmv.guidance^3.C-f3
FAIL
28.42
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
28.42
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
28.42
nusmv.guidance^8.C-f3
FAIL
28.43
eijk.S510.S-f4
FAIL
28.45
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
28.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-008
FAIL
28.47
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
28.47
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
28.49
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
FAIL
28.49
nusmv.guidance^6.C-f3
FAIL
28.53
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
28.53
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
FAIL
28.53
k_branch_p-15
FAIL
28.54
nusmv.guidance^9.C-f3
FAIL
28.56
texas.PI_main^08.E-f4
FAIL
28.56
texas.PI_main^15.E-f4
FAIL
28.59
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
28.62
eijk.bs3271.S-f4
FAIL
28.62
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
FAIL
28.63
counter_re_32
FAIL
28.64
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
28.65
k_branch_n-15
FAIL
28.66
ken.oop^2.C-d2
FAIL
28.69
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
28.69
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
28.69
counter_re_64
FAIL
28.71
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
28.73
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
28.75
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
28.75
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
28.76
nusmv.reactor^6.C-f3
FAIL
28.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-006
FAIL
28.77
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
28.78
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
28.78
Adder2-8-c
FAIL
28.78
k_d4_p-8
FAIL
28.78
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
28.79
eijk.bs3271.S-f2
FAIL
28.81
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
FAIL
28.81
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
28.82
eijk.S1423.S-f2
FAIL
28.83
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
28.83
vis.coherence^1.E-f4
FAIL
28.9
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
FAIL
28.91
eijk.S838.S-f4
FAIL
28.92
nusmv.guidance^1.C-f2
FAIL
28.92
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
28.92
nusmv.guidance^7.C-f2
FAIL
28.93
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
28.93
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
FAIL
28.94
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
28.96
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
28.97
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
29
eijk.bs3384.S-f3
FAIL
29.03
eijk.bs3271.S-f3
FAIL
29.03
eijk.bs4863.S-f3
FAIL
29.03
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
29.03
test1_quant2
FAIL
29.04
vis.prodcell^04.E-f3
FAIL
29.04
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
29.05
vis.coherence^2.E-f4
FAIL
29.06
eijk.bs3384.S-f2
FAIL
29.08
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
29.09
nusmv.guidance^5.C-f2
FAIL
29.1
nusmv.guidance^6.C-f2
FAIL
29.11
eijk.S526.S-f4
FAIL
29.11
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
29.12
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
29.14
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
29.15
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
29.15
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
29.17
vis.prodcell^07.E-f3
FAIL
29.19
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
29.19
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
FAIL
29.2
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
FAIL
29.22
vis.prodcell^09.E-f3
FAIL
29.23
vis.prodcell^02.E-f3
FAIL
29.24
vis.prodcell^05.E-f3
FAIL
29.24
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
FAIL
29.24
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
29.25
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
29.25
cmu.dme1.B-f3
FAIL
29.26
eijk.S444.S-f3
FAIL
29.26
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
29.26
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
29.27
vis.prodcell^15.E-f3
FAIL
29.28
vis.prodcell^01.E-f3
FAIL
29.29
vis.prodcell^21.E-f3
FAIL
29.29
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
29.3
vis.prodcell^11.E-f3
FAIL
29.31
vis.prodcell^20.E-f3
FAIL
29.31
vis.coherence^5.E-f4
FAIL
29.31
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
29.31
vis.prodcell^24.E-f3
FAIL
29.34
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
29.35
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
29.35
vis.prodcell^08.E-f3
FAIL
29.36
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
29.38
vis.prodcell^17.E-f3
FAIL
29.39
nusmv.queue.B-f4
FAIL
29.39
vis.prodcell^16.E-f3
FAIL
29.39
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
29.39
nusmv.guidance^5.C-f3
FAIL
29.4
uclid-pipe3a
FAIL
29.41
nusmv.guidance^2.C-f3
FAIL
29.41
nusmv.guidance^4.C-f4
FAIL
29.41
vis.coherence^3.E-f4
FAIL
29.41
vis.coherence^1.E-d4
FAIL
29.42
nusmv.guidance^7.C-f3
FAIL
29.42
vis.prodcell^10.E-f3
FAIL
29.42
nusmv.guidance^3.C-f4
FAIL
29.46
vis.prodcell^13.E-f3
FAIL
29.46
vis.prodcell^14.E-f3
FAIL
29.46
vis.prodcell^23.E-f3
FAIL
29.46
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
29.46
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
29.47
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
29.47
vis.prodcell^22.E-f3
FAIL
29.47
k_branch_n-12
FAIL
29.49
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
29.49
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
29.55
vis.prodcell^18.E-f3
FAIL
29.56
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
FAIL
29.6
vis.prodcell^06.E-f3
FAIL
29.61
eijk.S5378.S-f3
FAIL
29.64
nusmv.guidance^8.C-f4
FAIL
29.64
nusmv.dme1-16.B-f4
FAIL
29.65
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
29.65
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
29.68
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
FAIL
29.68
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
FAIL
29.68
ken.flash^04.C-f4
FAIL
29.69
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
29.72
nusmv.guidance^4.C-f3
FAIL
29.72
stmt1_629_630
FAIL
29.73
nusmv.queue.B-d3
FAIL
29.75
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
29.75
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
FAIL
29.75
test1_quant_squaring2
FAIL
29.76
k_branch_n-10
FAIL
29.77
k_t4p_p-18
FAIL
29.78
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
29.79
nusmv.tcas^1.B-f2
FAIL
29.79
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
29.79
eijk.S713.S-f2
FAIL
29.8
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
FAIL
29.8
nusmv.tcas-t^1.B-d2
FAIL
29.8
vis.prodcell^12.E-f3
FAIL
29.81
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
FAIL
29.81
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
29.82
nusmv.tcas^1.B-d2
FAIL
29.82
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
29.82
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
29.82
texas.PI_main^10.E-f4
FAIL
29.83
nusmv.guidance^5.C-f4
FAIL
29.84
counter_r_32
FAIL
29.86
k_branch_p-12
FAIL
29.86
eijk.S298.S-f3
FAIL
29.9
eijk.bs6669.S-f4
FAIL
29.92
nusmv.reactor^7.C-f3
FAIL
29.92
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
FAIL
29.93
k_branch_n-16
FAIL
29.96
vis.prodcell^03.E-f3
FAIL
30
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
30
vis.elevator^1.E-d3
FAIL
30.05
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
30.07
eijk.S1423.S-f4
FAIL
30.08
nusmv.guidance^2.C-f4
FAIL
30.09
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
30.09
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
30.14
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
FAIL
30.14
irst.dme4.B-f2
FAIL
30.18
nusmv.queue.B-f2
FAIL
30.18
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
30.19
C880.blif_0.10_0.20_0_1_inp_exact
FAIL
30.19
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
30.21
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
30.24
counter_r_16
FAIL
30.25
nusmv.guidance^9.C-f4
FAIL
30.26
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
30.27
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
FAIL
30.27
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005
FAIL
30.27
texas.PI_main^08.E-f3
FAIL
30.3
vis.prodcell^19.E-f3
FAIL
30.31
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
30.31
eijk.S510.S-f3
FAIL
30.34
eijk.bs1512.S-f3
FAIL
30.35
texas.PI_main^13.E-f4
FAIL
30.35
ken.flash^09.C-d4
FAIL
30.35
nusmv.guidance^6.C-f4
FAIL
30.39
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
30.39
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
30.41
cmu.dme2.B-f3
FAIL
30.42
ken.oop^1.C-f2
FAIL
30.42
stmt41_262_275
FAIL
30.44
k_branch_p-16
FAIL
30.46
texas.two_proc^2.E-f3
FAIL
30.46
eijk.S641.S-f2
FAIL
30.47
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
FAIL
30.47
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
FAIL
30.47
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
FAIL
30.47
nusmv.guidance^7.C-f4
FAIL
30.49
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
30.5
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
FAIL
30.51
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
30.52
texas.PI_main^16.E-f4
FAIL
30.53
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
30.55
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
30.55
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
30.56
irst.dme4.B-f3
FAIL
30.58
texas.PI_main^01.E-f4
FAIL
30.6
eijk.S5378.S-f2
FAIL
30.61
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
30.61
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
30.62
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
FAIL
30.63
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
30.64
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
30.64
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
30.65
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
30.67
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
30.67
C880.blif_0.10_0.20_0_0_inp_exact
FAIL
30.68
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
30.69
texas.two_proc^5.E-f3
FAIL
30.71
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
FAIL
30.71
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
30.72
cmu.dme1.B-f2
FAIL
30.73
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
30.73
nusmv.reactor^4.C-f3
FAIL
30.74
test1_quant_squaring3
FAIL
30.75
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
30.75
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
30.75
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
30.79
nusmv.guidance^1.C-f4
FAIL
30.81
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
30.81
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
30.82
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
30.82
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
30.85
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
30.85
vis.elevator^2.E-f4
FAIL
30.89
texas.PI_main^14.E-f3
FAIL
30.89
ken.flash^06.C-f2
FAIL
30.91
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
30.91
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
30.93
nusmv.queue.B-f3
FAIL
30.93
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
30.93
C6288.blif_0.10_0.20_0_1_out_exact
FAIL
30.94
c1_Debug_s3_f1_e1_v2
SAT
30.96
ken.flash^10.C-d4
FAIL
30.98
eijk.bs1512.S-f2
FAIL
30.98
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
30.98
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
FAIL
30.98
nusmv.reactor^5.C-f3
FAIL
30.99
vis.elevator^1.E-f4
FAIL
30.99
nusmv.tcas-t^1.B-d3
FAIL
31
texas.ifetch1^8.E-f4
FAIL
31.06
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
FAIL
31.11
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
31.12
stmt17_99_98
FAIL
31.13
eijk.S444.S-f2
FAIL
31.14
stmt16_68_69
FAIL
31.15
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
31.16
k_t4p_p-12
FAIL
31.17
vis.prodcell^02.E-f4
FAIL
31.18
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
FAIL
31.18
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
FAIL
31.2
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
31.21
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
31.24
texas.two_proc^4.E-f3
FAIL
31.24
C6288.blif_0.10_0.20_0_0_out_exact
FAIL
31.25
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
31.26
C6288.blif_0.10_1.00_0_0_out_exact
FAIL
31.28
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
31.28
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
31.28
eijk.S344.S-f3
FAIL
31.3
eijk.S510.S-f2
FAIL
31.31
nusmv.reactor^4.C-f2
FAIL
31.32
texas.PI_main^03.E-f4
FAIL
31.33
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
31.33
nusmv.guidance^1.C-d4
FAIL
31.35
texas.PI_main^02.E-f3
FAIL
31.38
k_branch_n-13
FAIL
31.39
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
31.42
ken.flash^04.C-f2
FAIL
31.46
counter_r_64
FAIL
31.47
texas.ifetch1^5.E-f4
FAIL
31.47
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
31.51
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
FAIL
31.51
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
31.52
C6288.blif_0.10_1.00_0_1_out_exact
FAIL
31.53
nusmv.reactor^5.C-f4
FAIL
31.54
stmt16_76_77
FAIL
31.54
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
FAIL
31.55
texas.PI_main^15.E-f3
FAIL
31.55
stmt16_47_48
FAIL
31.56
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
31.57
par8-5-00
UNSAT
31.57
nusmv.tcas^3.B-f2
FAIL
31.6
vis.elevator^3.E-f4
FAIL
31.6
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
31.62
stmt1_787_788
FAIL
31.62
eijk.S838.S-f3
FAIL
31.63
par8-2-50
UNSAT
31.65
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
31.66
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
31.67
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
FAIL
31.69
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
31.7
eijk.S382.S-f2
FAIL
31.72
texas.PI_main^11.E-f3
FAIL
31.72
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
31.73
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
31.74
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
FAIL
31.76
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
31.77
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
31.78
ken.flash^09.C-f4
FAIL
31.79
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
31.8
texas.ifetch1^2.E-f4
FAIL
31.83
adder-4-unsat
FAIL
31.84
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
31.85
k12_3_2
FAIL
31.88
aim-50-1_6-yes1-1-50
SAT
31.89
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
31.89
eijk.S349.S-f2
FAIL
31.91
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
31.91
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
31.91
ken.oop^1.C-d2
FAIL
31.91
stmt27_93_98
FAIL
31.92
eijk.bs3330.S-f2
FAIL
31.94
texas.ifetch1^7.E-f4
FAIL
31.96
adder-6-unsat
FAIL
31.96
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
31.98
eijk.bs6669.S-f3
FAIL
31.99
k10_4_3
FAIL
32.01
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
FAIL
32.02
k12_4_2
FAIL
32.06
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
32.11
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
FAIL
32.14
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
32.15
C6288.blif_0.10_1.00_0_0_inp_exact
FAIL
32.17
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
FAIL
32.17
nusmv.dme1-16.B-d2
SAT
32.2
aim-50-3_4-yes1-3-50
SAT
32.23
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
32.23
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
32.25
k_branch_p-13
FAIL
32.27
vis.coherence^3.E-f3
FAIL
32.28
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
32.28
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
32.29
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
32.31
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
32.32
C6288.blif_0.10_1.00_0_1_inp_exact
FAIL
32.32
cmu.gigamax.B-f4
FAIL
32.32
nusmv.tcas^2.B-f2
FAIL
32.32
vis.eisenberg.E-f4
FAIL
32.34
texas.two_proc^6.E-f3
FAIL
32.34
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
32.35
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
32.37
nusmv.tcas-t^3.B-f2
FAIL
32.39
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004
FAIL
32.41
nusmv.reactor^7.C-f2
FAIL
32.43
eijk.bs6669.S-f2
FAIL
32.45
eijk.S1423.S-f3
FAIL
32.47
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
32.47
texas.ifetch1^9.E-f4
FAIL
32.5
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
32.52
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
32.52
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
FAIL
32.53
ken.flash^09.C-f2
FAIL
32.54
eijk.bs3384.S-f4
FAIL
32.54
k12_2_4
FAIL
32.56
stmt37_941_942
FAIL
32.59
vis.prodcell^01.E-f4
FAIL
32.59
vis.prodcell^03.E-f4
FAIL
32.63
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
FAIL
32.63
texas.ifetch1^3.E-f4
FAIL
32.64
vis.prodcell^05.E-f4
FAIL
32.65
vis.prodcell^07.E-f4
FAIL
32.67
vis.coherence^1.E-f3
FAIL
32.67
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
32.67
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
32.69
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
32.7
k_branch_p-18
FAIL
32.7
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
32.7
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
32.73
texas.ifetch1^1.E-f4
FAIL
32.74
vis.coherence^2.E-f3
FAIL
32.75
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
32.77
vis.prodcell^10.E-f4
FAIL
32.79
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
32.79
Adder2-12-c
FAIL
32.79
eijk.S641.S-f4
FAIL
32.81
vis.prodcell^08.E-f4
FAIL
32.84
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
FAIL
32.85
k_branch_n-18
FAIL
32.85
texas.ifetch1^7.E-f3
FAIL
32.86
vis.prodcell^20.E-f4
FAIL
32.89
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
FAIL
32.89
vis.prodcell^15.E-f4
FAIL
32.9
vis.prodcell^23.E-f4
FAIL
32.91
cmu.dme2.B-f2
FAIL
32.94
eijk.S298.S-f4
FAIL
32.95
vis.prodcell^18.E-f4
FAIL
32.95
k_t4p_p-21
FAIL
32.99
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
32.99
vis.prodcell^14.E-f4
FAIL
33
vis.prodcell^12.E-f4
FAIL
33.03
vis.prodcell^22.E-f4
FAIL
33.04
eijk.S382.S-f3
FAIL
33.04
k_t4p_p-14
FAIL
33.07
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
33.08
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
33.09
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
33.11
nusmv.brp.B-f3
FAIL
33.11
vis.prodcell^16.E-f4
FAIL
33.11
vis.prodcell^19.E-f4
FAIL
33.11
vis.coherence^2.E-f2
FAIL
33.12
nusmv.tcas^3.B-f4
FAIL
33.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-006
FAIL
33.14
eijk.S5378.S-f4
FAIL
33.15
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
33.16
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
33.17
counter_e_16
FAIL
33.19
ken.oop^1.C-d3
FAIL
33.19
nusmv.reactor^2.C-f2
FAIL
33.22
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
33.22
eijk.S382.S-f4
FAIL
33.25
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
33.25
c2_Debug_s3_f1_e1_v2
SAT
33.27
vis.prodcell^17.E-f4
FAIL
33.28
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
FAIL
33.3
nusmv.tcas-t^6.B-f4
FAIL
33.3
eijk.S349.S-f3
FAIL
33.32
nusmv.reactor^6.C-f4
FAIL
33.35
counter_e_32
FAIL
33.36
texas.ifetch1^5.E-f3
FAIL
33.37
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
FAIL
33.41
vis.prodcell^04.E-f4
FAIL
33.42
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
FAIL
33.45
ken.flash^11.C-d4
FAIL
33.45
C5315.blif_0.10_0.20_0_1_out_exact
FAIL
33.47
vis.prodcell^24.E-f4
FAIL
33.48
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
33.48
adder-8-unsat
FAIL
33.49
vis.prodcell^13.E-f4
FAIL
33.49
C5315.blif_0.10_0.20_0_0_out_exact
FAIL
33.53
k12_4_4
FAIL
33.53
texas.ifetch1^5.E-f2
FAIL
33.55
eijk.S386.S-f3
FAIL
33.56
eijk.S386.S-f2
FAIL
33.57
vis.prodcell^06.E-f4
FAIL
33.57
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
33.57
k12_3_4
FAIL
33.57
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
33.6
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
33.61
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
33.61
counter_e_64
FAIL
33.65
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
33.66
nusmv.tcas^6.B-f4
FAIL
33.7
stmt19_257_266
FAIL
33.7
vis.prodcell^21.E-f4
FAIL
33.71
ken.flash^04.C-d2
FAIL
33.71
vis.prodcell^11.E-f4
FAIL
33.71
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
33.72
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
FAIL
33.73
eijk.S820.S-f4
FAIL
33.75
vis.arbiter.E-f3
FAIL
33.76
szymanski-10-s
FAIL
33.77
vis.elevator^2.E-f3
FAIL
33.79
uclid-pipe2
FAIL
33.8
nusmv.tcas^2.B-f4
FAIL
33.8
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
33.8
nusmv.guidance^4.C-f2
FAIL
33.83
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
33.84
ken.flash^11.C-f2
FAIL
33.85
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
FAIL
33.85
eijk.S444.S-f4
FAIL
33.87
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
33.87
adder-10-unsat
FAIL
33.89
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
33.97
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
33.97
vis.prodcell^09.E-f4
FAIL
33.97
stmt9_445_446
FAIL
33.99
nusmv.tcas-t^3.B-f4
FAIL
33.99
stmt38_943_942
FAIL
33.99
vis.elevator^1.E-f3
FAIL
34.01
ken.flash^08.C-f2
FAIL
34.1
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
34.11
ken.flash^11.C-f4
FAIL
34.14
cmu.periodic.N-f4
FAIL
34.15
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
34.16
test2_quant2
FAIL
34.18
eijk.bs3330.S-f4
FAIL
34.19
nusmv.queue.B-d2
FAIL
34.21
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
34.21
texas.ifetch1^7.E-f2
FAIL
34.22
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
34.22
texas.ifetch1^9.E-f3
FAIL
34.25
nusmv.tcas-t^2.B-f4
FAIL
34.26
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
34.32
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
34.35
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
FAIL
34.35
nusmv.guidance^5.C-d3
FAIL
34.36
vis.prodcell^03.E-f2
FAIL
34.37
nusmv.guidance^4.C-d3
FAIL
34.38
nusmv.guidance^6.C-d3
FAIL
34.42
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
FAIL
34.43
eijk.bs4863.S-f4
FAIL
34.44
ken.flash^12.C-d4
FAIL
34.45
nusmv.tcas-t^1.B-f4
FAIL
34.46
eijk.S344.S-f2
FAIL
34.48
nusmv.reactor^2.C-f3
FAIL
34.49
vis.prodcell^12.E-f2
FAIL
34.5
ken.oop^2.C-f2
FAIL
34.53
vis.4-arbit^2.E-f4
FAIL
34.53
nusmv.guidance^2.C-d3
FAIL
34.54
eijk.S713.S-f4
FAIL
34.55
texas.PI_main^10.E-f3
FAIL
34.55
nusmv.tcas^1.B-f4
FAIL
34.57
stmt23_66_76
FAIL
34.58
nusmv.brp.B-f2
FAIL
34.59
nusmv.guidance^1.C-d3
FAIL
34.6
eijk.S832.S-f4
FAIL
34.61
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003
FAIL
34.61
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
34.65
vis.prodcell^07.E-f2
FAIL
34.67
nusmv.queue.B-d4
FAIL
34.67
ken.flash^01.C-f2
FAIL
34.7
nusmv.guidance^1.C-f3
FAIL
34.71
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
FAIL
34.72
ken.flash^10.C-d3
FAIL
34.73
texas.PI_main^12.E-f4
FAIL
34.74
eijk.S526.S-f2
FAIL
34.74
test2_quant_squaring2
FAIL
34.75
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
34.79
eijk.S344.S-f4
FAIL
34.8
nusmv.tcas^5.B-f4
FAIL
34.81
texas.two_proc^1.E-f4
FAIL
34.82
stmt32_24_277
FAIL
34.83
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
34.85
aim-50-1_6-yes1-3-90
SAT
34.87
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
34.88
irst.dme6.B-f3
FAIL
34.92
k_branch_p-20
FAIL
34.94
Adder2-16-c
FAIL
34.99
nusmv.reactor^6.C-f2
FAIL
35.05
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
35.07
nusmv.tcas-t^5.B-f4
FAIL
35.07
texas.PI_main^05.E-f4
FAIL
35.07
nusmv.reactor^5.C-f2
FAIL
35.08
k_branch_p-14
FAIL
35.11
k_branch_n-20
FAIL
35.13
vis.prodcell^18.E-f2
FAIL
35.14
stmt17_63_78
FAIL
35.16
texas.PI_main^02.E-f4
FAIL
35.19
eijk.S832.S-f2
FAIL
35.2
texas.PI_main^11.E-f4
FAIL
35.28
k_branch_p-19
FAIL
35.29
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
35.31
Adder2-10-c
FAIL
35.37
test2_quant_squaring3
FAIL
35.37
irst.dme6.B-d4
FAIL
35.37
c2_Debug_s5_f1_e1_v2
SAT
35.38
eijk.S820.S-f3
FAIL
35.4
k_branch_n-19
FAIL
35.41
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
35.41
stmt29_21_275
FAIL
35.42
nusmv.tcas-t^4.B-f4
FAIL
35.43
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
35.44
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
35.47
stmt41_738_749
FAIL
35.47
ken.flash^01.C-f4
FAIL
35.48
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
35.52
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
35.57
stmt28_68_73
FAIL
35.59
eijk.bs4863.S-d3
FAIL
35.6
eijk.S420.S-f4
FAIL
35.6
stmt31_100_276
FAIL
35.63
vis.prodcell^16.E-f2
FAIL
35.67
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
35.68
k10_4_4
FAIL
35.68
texas.ifetch1^2.E-f3
FAIL
35.69
nusmv.tcas^3.B-f3
FAIL
35.7
k12_4_3
FAIL
35.77
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
35.81
irst.dme4.B-f4
FAIL
35.82
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
35.85
stmt41_37_286
FAIL
35.89
ken.flash^07.C-f3
FAIL
35.9
vis.elevator^3.E-f3
FAIL
35.9
eijk.S349.S-f4
FAIL
35.91
eijk.bs3330.S-d4
FAIL
35.93
texas.PI_main^05.E-f3
FAIL
35.94
stmt21_4_354
FAIL
35.95
eijk.S832.S-f3
FAIL
36.01
vis.prodcell^23.E-f2
FAIL
36.03
test2_quant3
FAIL
36.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-004
FAIL
36.05
ken.flash^07.C-f4
FAIL
36.07
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
FAIL
36.09
stmt21_4_360
FAIL
36.12
stmt21_5_354
FAIL
36.16
stmt32_153_277
FAIL
36.16
vis.prodcell^22.E-f2
FAIL
36.19
stmt29_226_327
FAIL
36.2
stmt21_71_354
FAIL
36.22
ken.flash^05.C-f3
FAIL
36.25
k12_3_3
FAIL
36.25
ken.flash^09.C-f3
FAIL
36.27
nusmv.tcas^4.B-f4
FAIL
36.31
stmt31_190_276
FAIL
36.31
cmu.gigamax.B-f3
FAIL
36.31
vis.prodcell^14.E-f2
FAIL
36.31
stmt39_34_285
FAIL
36.33
ken.flash^11.C-d3
FAIL
36.36
stmt39_107_285
FAIL
36.36
vis.elevator^2.E-f2
FAIL
36.4
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
36.41
nusmv.reactor^4.C-d3
FAIL
36.43
texas.ifetch1^3.E-f2
FAIL
36.43
stmt44_40_387
FAIL
36.43
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
FAIL
36.45
nusmv.reactor^3.C-f3
FAIL
36.47
vis.elevator^1.E-f2
FAIL
36.53
stmt50_50_392
FAIL
36.54
stmt32_228_277
FAIL
36.58
stmt17_62_78
FAIL
36.59
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
36.63
stmt1_60_61
FAIL
36.64
k_branch_n-17
FAIL
36.68
stmt25_597_598
FAIL
36.73
k_branch_p-17
FAIL
36.73
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
36.76
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
FAIL
36.76
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
FAIL
36.78
nusmv.guidance^1.C-d2
FAIL
36.79
texas.two_proc^2.E-f4
FAIL
36.79
nusmv.tcas^6.B-f3
FAIL
36.83
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
FAIL
36.83
vis.elevator^1.E-d4
FAIL
36.83
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
36.87
eijk.bs3330.S-f3
FAIL
36.89
nusmv.guidance^8.C-f2
FAIL
36.92
nusmv.dme2-16.B-f3
FAIL
36.93
ken.flash^05.C-f2
FAIL
36.95
cmu.periodic.N-f2
FAIL
36.98
texas.ifetch1^1.E-f3
FAIL
36.99
stmt22_73_419
FAIL
37
eijk.S386.S-f4
FAIL
37.02
stmt39_107_384
FAIL
37.03
nusmv.tcas^6.B-f2
FAIL
37.09
nusmv.tcas^4.B-f2
FAIL
37.15
stmt22_144_370
FAIL
37.15
stmt41_566_580
FAIL
37.17
stmt19_83_417
FAIL
37.18
stmt19_66_417
FAIL
37.21
texas.ifetch1^3.E-f3
FAIL
37.21
stmt41_198_286
FAIL
37.23
stmt19_78_417
FAIL
37.25
stmt19_177_352
FAIL
37.26
stmt19_90_417
FAIL
37.27
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
37.27
stmt19_180_352
FAIL
37.27
jnh17-00
SAT
37.29
stmt41_36_235
FAIL
37.29
stmt124_966_965
FAIL
37.3
eijk.S820.S-d4
FAIL
37.33
stmt50_115_392
FAIL
37.35
stmt39_159_384
FAIL
37.38
ken.flash^06.C-f3
FAIL
37.39
stmt19_177_359
FAIL
37.4
stmt23_88_92
FAIL
37.43
stmt1_79_80
FAIL
37.43
stmt19_90_408
FAIL
37.43
stmt32_101_378
FAIL
37.45
stmt19_177_368
FAIL
37.45
nusmv.tcas^5.B-f2
FAIL
37.47
stmt25_52_53
FAIL
37.49
ken.flash^03.C-f2
FAIL
37.53
stmt21_84_403
FAIL
37.55
stmt19_217_352
FAIL
37.55
stmt19_214_359
FAIL
37.56
stmt21_181_360
FAIL
37.57
k12_2_2
FAIL
37.57
nusmv.tcas-t^1.B-d4
FAIL
37.57
stmt19_66_401
FAIL
37.57
stmt21_181_369
FAIL
37.57
stmt44_162_387
FAIL
37.57
stmt21_218_360
FAIL
37.59
Adder2-14-c
FAIL
37.6
stmt21_215_354
FAIL
37.6
ken.oop^2.C-d3
FAIL
37.61
stmt41_198_385
FAIL
37.61
eijk.S349.S-d3
FAIL
37.62
stmt19_66_408
FAIL
37.62
stmt22_92_404
FAIL
37.62
stmt21_143_409
FAIL
37.62
stmt46_201_388
FAIL
37.63
stmt22_85_410
FAIL
37.66
nusmv.brp.B-f4
FAIL
37.66
stmt19_78_408
FAIL
37.66
texas.PI_main^15.E-f2
FAIL
37.67
stmt44_726_773
FAIL
37.67
stmt32_153_378
FAIL
37.68
eijk.S953.S-f3
FAIL
37.7
texas.PI_main^16.E-f3
FAIL
37.7
stmt41_235_286
FAIL
37.7
stmt27_584_603
FAIL
37.71
stmt41_738_737
FAIL
37.72
stmt22_80_216
FAIL
37.73
stmt19_217_368
FAIL
37.74
stmt29_226_376
FAIL
37.77
stmt2_480_551
FAIL
37.78
eijk.S298.S-f2
FAIL
37.79
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
37.8
stmt22_80_404
FAIL
37.81
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
FAIL
37.82
stmt32_191_378
FAIL
37.83
stmt47_44_239
FAIL
37.84
stmt32_570_572
FAIL
37.89
stmt50_205_392
FAIL
37.89
stmt19_214_368
FAIL
37.9
stmt21_5_364
FAIL
37.9
nusmv.guidance^9.C-f2
FAIL
37.91
stmt21_127_409
FAIL
37.96
stmt22_139_404
FAIL
37.96
ken.flash^09.C-d3
FAIL
37.97
ken.flash^12.C-f4
FAIL
37.97
stmt21_4_364
FAIL
37.97
stmt44_554_604
FAIL
37.98
nusmv.tcas-t^4.B-f2
FAIL
37.99
C6288.blif_0.10_0.20_0_0_inp_exact
FAIL
38
stmt19_137_408
FAIL
38.01
stmt22_182_419
FAIL
38.03
texas.two_proc^6.E-f2
FAIL
38.03
stmt21_178_418
FAIL
38.03
stmt16_588_589
FAIL
38.04
stmt46_238_388
FAIL
38.04
k_ph_n-11
SAT
38.04
stmt19_67_363
FAIL
38.05
nusmv.tcas^5.B-f3
FAIL
38.06
stmt44_916_917
FAIL
38.08
stmt52_117_295
FAIL
38.08
stmt85_122_399
FAIL
38.09
stmt52_169_394
FAIL
38.09
stmt19_133_408
FAIL
38.09
C6288.blif_0.10_0.20_0_1_inp_exact
FAIL
38.11
stmt19_180_401
FAIL
38.13
nusmv.reactor^2.C-f4
FAIL
38.17
nusmv.tcas^2.B-f3
FAIL
38.19
vis.prodcell^19.E-f2
FAIL
38.2
stmt22_135_404
FAIL
38.2
stmt19_66_363
FAIL
38.34
stmt21_319_418
FAIL
38.35
stmt19_90_363
FAIL
38.35
nusmv.tcas^1.B-f3
FAIL
38.36
stmt50_50_293
FAIL
38.36
texas.PI_main^01.E-f3
FAIL
38.37
nusmv.reactor^7.C-f4
FAIL
38.38
ken.flash^01.C-f3
FAIL
38.39
stmt21_326_327
FAIL
38.4
stmt19_266_417
FAIL
38.41
vis.prodcell^01.E-d3
FAIL
38.41
stmt19_78_363
FAIL
38.41
stmt21_143_403
FAIL
38.41
eijk.S953.S-f4
FAIL
38.42
nusmv.reactor^4.C-f4
FAIL
38.47
stmt19_87_95
FAIL
38.48
ken.flash^05.C-d2
FAIL
38.48
stmt23_72_76
FAIL
38.48
nusmv.tcas-t^4.B-f3
FAIL
38.49
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
38.54
stmt17_82_94
FAIL
38.55
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
FAIL
38.55
stmt46_42_289
FAIL
38.55
vis.4-arbit^2.E-f3
FAIL
38.6
stmt28_68_81
FAIL
38.62
stmt1_919_920
FAIL
38.65
vis.bakery.E-f4
FAIL
38.65
stmt21_84_364
FAIL
38.65
texas.PI_main^08.E-f2
FAIL
38.68
stmt19_266_352
FAIL
38.68
stmt21_5_413
FAIL
38.69
stmt21_134_364
FAIL
38.69
stmt21_71_413
FAIL
38.7
adder-16-unsat
FAIL
38.71
stmt19_309_417
FAIL
38.74
eijk.S420.S-f2
FAIL
38.77
stmt17_63_82
FAIL
38.8
stmt21_178_403
FAIL
38.81
stmt22_259_419
FAIL
38.82
texas.two_proc^4.E-f2
FAIL
38.83
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
FAIL
38.83
stmt44_41_288
FAIL
38.83
stmt19_125_363
FAIL
38.85
stmt50_51_293
FAIL
38.87
stmt19_142_363
FAIL
38.87
stmt19_137_363
FAIL
38.88
ken.flash^01.C-d4
FAIL
38.97
stmt22_80_414
FAIL
38.98
nusmv.tcas^1.B-d4
FAIL
38.99
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
39
nusmv.tcas-t^1.B-f2
FAIL
39.03
stmt21_91_413
FAIL
39.04
stmt19_66_412
FAIL
39.07
stmt19_83_412
FAIL
39.08
eijk.S420.S-f3
FAIL
39.09
texas.PI_main^02.E-f2
FAIL
39.1
stmt21_319_354
FAIL
39.11
stmt23_92_96
FAIL
39.15
stmt137_542_543
FAIL
39.15
stmt47_112_290
FAIL
39.16
ken.oop^1.C-f3
FAIL
39.21
stmt22_315_404
FAIL
39.25
stmt22_6_414
FAIL
39.25
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
FAIL
39.25
stmt85_300_399
FAIL
39.25
stmt19_64_87
FAIL
39.26
stmt21_319_403
FAIL
39.29
test4_quant4
FAIL
39.29
stmt21_304_409
FAIL
39.29
stmt21_304_369
FAIL
39.31
stmt47_239_290
FAIL
39.31
stmt19_309_408
FAIL
39.33
stmt21_310_403
FAIL
39.33
texas.PI_main^13.E-f3
FAIL
39.34
stmt21_360_418
FAIL
39.34
stmt41_336_385
FAIL
39.36
test5_quant_squaring4
FAIL
39.39
stmt17_78_98
FAIL
39.4
eijk.S641.S-f3
FAIL
39.41
eijk.S1238.S-d4
FAIL
39.41
texas.two_proc^2.E-f2
FAIL
39.41
stmt47_340_389
FAIL
39.46
stmt21_127_413
FAIL
39.49
stmt21_134_413
FAIL
39.49
stmt21_360_369
FAIL
39.49
stmt21_319_409
FAIL
39.51
stmt19_142_412
FAIL
39.53
eijk.S1196.S-d4
FAIL
39.53
texas.ifetch1^2.E-f2
FAIL
39.53
texas.PI_main^03.E-f3
FAIL
39.54
k_lin_n-6
SAT
39.56
stmt21_314_409
FAIL
39.56
stmt21_138_413
FAIL
39.59
stmt22_253_259
FAIL
39.61
ken.flash^04.C-d4
FAIL
39.63
vis.arbiter.E-f4
FAIL
39.73
c3_BMC_p1_k512
SAT
39.73
stmt50_343_392
FAIL
39.77
stmt22_259_263
FAIL
39.77
nusmv.tcas-t^5.B-f2
FAIL
39.78
eijk.S208c.S-f4
FAIL
39.79
stmt41_160_286
FAIL
39.79
nusmv.tcas^4.B-f3
FAIL
39.8
texas.ifetch1^8.E-f3
FAIL
39.8
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
39.8
irst.dme5.B-d4
FAIL
39.93
stmt19_177_412
FAIL
39.94
stmt21_181_413
FAIL
39.95
stmt19_368_417
FAIL
39.95
adder-14-unsat
FAIL
39.98
stmt19_408_417
FAIL
39.98
stmt17_82_98
FAIL
39.99
mutex-16-s
FAIL
40.01
stmt47_202_290
FAIL
40.01
stmt19_2_257
FAIL
40.04
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
FAIL
40.06
eijk.S713.S-f3
FAIL
40.07
ken.flash^11.C-f3
FAIL
40.07
stmt50_205_293
FAIL
40.11
stmt19_2_250
FAIL
40.12
stmt23_66_67
FAIL
40.13
vis.coherence^5.E-f3
FAIL
40.15
stmt21_258_364
FAIL
40.2
stmt19_2_261
FAIL
40.21
stmt21_360_409
FAIL
40.23
eijk.bs6669.S-d3
FAIL
40.24
texas.two_proc^3.E-f4
FAIL
40.24
stmt46_163_289
FAIL
40.24
irst.dme6.B-f4
FAIL
40.25
stmt21_215_413
FAIL
40.32
stmt52_244_295
FAIL
40.32
stmt21_218_413
FAIL
40.35
stmt19_352_408
FAIL
40.35
stmt22_73_263
FAIL
40.35
stmt21_364_409
FAIL
40.35
stmt17_86_98
FAIL
40.37
stmt21_252_364
FAIL
40.41
stmt19_67_257
FAIL
40.42
adder-12-unsat
FAIL
40.44
stmt19_3_261
FAIL
40.45
stmt21_354_369
FAIL
40.46
cmu.periodic.N-f3
FAIL
40.48
k_branch_p-21
FAIL
40.49
ken.flash^04.C-f3
FAIL
40.54
stmt19_3_257
FAIL
40.55
stmt21_71_252
FAIL
40.55
stmt41_36_37
UNSAT
40.55
stmt21_360_403
FAIL
40.56
nusmv.dme2-16.B-f2
FAIL
40.6
stmt22_80_259
FAIL
40.66
stmt19_83_250
FAIL
40.66
stmt21_354_403
FAIL
40.67
stmt19_368_408
FAIL
40.69
stmt22_80_253
FAIL
40.7
stmt19_66_261
FAIL
40.72
irst.dme5.B-f3
FAIL
40.73
stmt19_309_363
FAIL
40.74
vis.elevator^1.E-d2
FAIL
40.74
stmt19_66_250
FAIL
40.76
texas.PI_main^11.E-f2
FAIL
40.77
c5_BMC_p2_k1024
FAIL
40.77
c5_BMC_p1_k1024
FAIL
40.78
stmt21_79_262
FAIL
40.78
stmt22_365_404
FAIL
40.83
stmt52_54_244
FAIL
40.83
stmt19_90_250
FAIL
40.83
stmt19_368_401
FAIL
40.85
ken.flash^07.C-f2
FAIL
40.87
stmt22_92_263
FAIL
40.89
stmt22_85_263
FAIL
40.89
stmt28_89_97
FAIL
40.91
stmt21_403_409
FAIL
40.99
term1.blif_0.10_0.20_0_1_inp_exact
SAT
41.04
stmt19_250_412
FAIL
41.04
stmt19_257_412
FAIL
41.05
nusmv.tcas-t^6.B-f2
FAIL
41.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-003
FAIL
41.07
stmt21_143_258
FAIL
41.11
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
41.13
stmt17_94_98
FAIL
41.14
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
FAIL
41.15
stmt22_135_315
FAIL
41.18
stmt5_731_730
FAIL
41.2
ken.flash^02.C-f4
FAIL
41.23
stmt19_142_261
FAIL
41.29
nusmv.tcas-t^6.B-f3
FAIL
41.31
nusmv.guidance^3.C-f2
FAIL
41.33
stmt19_125_261
FAIL
41.39
stmt21_138_252
FAIL
41.39
stmt21_127_252
FAIL
41.41
stmt19_64_91
FAIL
41.42
stmt70_495_501
FAIL
41.47
stmt22_139_263
FAIL
41.47
stmt19_133_250
FAIL
41.5
nusmv.tcas-t^5.B-f3
FAIL
41.51
ken.flash^08.C-f4
FAIL
41.57
stmt19_133_261
FAIL
41.6
stmt17_70_78
FAIL
41.66
stmt21_304_364
FAIL
41.69
texas.two_proc^5.E-f2
FAIL
41.7
eijk.bs3330.S-d3
FAIL
41.71
stmt19_302_412
FAIL
41.72
stmt19_309_412
FAIL
41.83
nusmv.reactor^3.C-f2
FAIL
41.88
stmt22_182_263
FAIL
41.9
c2_BMC_p2_k2048
FAIL
41.92
stmt19_177_261
FAIL
41.92
stmt21_360_364
FAIL
41.92
stmt19_67_318
FAIL
42
c2_BMC_p1_k2048
FAIL
42.02
stmt28_68_69
FAIL
42.04
vis.prodcell^01.E-d2
SAT
42.17
vis.4-arbit^1.E-f4
FAIL
42.2
stmt19_217_250
FAIL
42.31
stmt21_215_252
FAIL
42.31
nusmv.reactor^5.C-d2
FAIL
42.35
stmt21_218_262
FAIL
42.37
stmt19_214_261
FAIL
42.38
ken.flash^08.C-f3
FAIL
42.44
stmt21_218_364
FAIL
42.5
stmt19_177_363
FAIL
42.56
stmt21_267_310
FAIL
42.58
stmt19_266_313
FAIL
42.6
stmt21_181_364
FAIL
42.6
stmt19_214_363
FAIL
42.61
stmt23_66_96
FAIL
42.69
stmt2_976_999
FAIL
42.74
nusmv.dme1-16.B-d4
FAIL
42.74
stmt19_266_363
FAIL
42.85
test4_quant2
FAIL
43.02
stmt22_263_365
FAIL
43.03
stmt21_319_364
FAIL
43.04
stmt19_142_318
FAIL
43.04
stmt21_258_304
FAIL
43.1
stmt21_354_413
FAIL
43.13
stmt22_263_305
FAIL
43.14
stmt21_252_304
FAIL
43.14
eijk.S1196.S-d3
FAIL
43.14
stmt22_263_315
FAIL
43.15
stmt21_262_310
FAIL
43.15
stmt19_257_313
FAIL
43.17
stmt19_352_363
FAIL
43.24
eijk.S349.S-d4
FAIL
43.26
stmt21_252_310
FAIL
43.3
stmt31_152_328
FAIL
43.31
stmt21_403_413
FAIL
43.32
par8-3-90
SAT
43.32
stmt22_361_414
FAIL
43.37
stmt53_57_346
FAIL
43.38
stmt21_409_413
FAIL
43.39
stmt2_649_776
FAIL
43.45
ken.flash^12.C-f2
FAIL
43.52
stmt22_259_311
FAIL
43.58
test4_quant_squaring2
FAIL
43.6
stmt22_268_414
FAIL
43.61
stmt21_5_360
FAIL
43.67
stmt21_71_360
FAIL
43.68
texas.two_proc^3.E-f3
FAIL
43.71
stmt19_318_412
FAIL
43.72
ken.flash^05.C-d4
FAIL
43.73
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
FAIL
43.78
stmt21_314_364
FAIL
43.81
stmt19_67_368
FAIL
43.81
stmt39_34_384
FAIL
43.83
stmt2_649_647
FAIL
43.91
stmt21_262_413
FAIL
43.92
stmt22_85_355
FAIL
43.92
stmt21_310_314
FAIL
43.93
stmt19_66_359
FAIL
43.96
stmt22_80_361
FAIL
43.97
stmt22_92_361
FAIL
44
stmt21_70_354
FAIL
44.03
stmt19_90_352
FAIL
44.03
stmt32_191_329
FAIL
44.07
eijk.S820.S-f2
FAIL
44.12
stmt53_118_346
FAIL
44.12
texas.PI_main^12.E-f3
FAIL
44.13
stmt44_162_338
FAIL
44.16
stmt32_24_378
FAIL
44.17
stmt19_83_359
FAIL
44.18
ken.flash^01.C-d2
FAIL
44.25
stmt19_217_318
FAIL
44.26
stmt19_214_318
FAIL
44.26
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
FAIL
44.27
stmt39_35_384
FAIL
44.34
eijk.S344.S-d3
FAIL
44.36
stmt19_65_87
FAIL
44.37
stmt19_78_352
FAIL
44.37
eijk.bs4863.S-d4
FAIL
44.4
stmt21_134_354
FAIL
44.44
stmt19_133_359
FAIL
44.45
stmt44_41_387
FAIL
44.45
ken.flash^03.C-d2
FAIL
44.46
stmt22_92_259
FAIL
44.46
nusmv.dme1-16.B-d3
FAIL
44.47
stmt19_137_359
FAIL
44.5
stmt21_84_258
FAIL
44.55
stmt21_70_258
FAIL
44.56
stmt21_127_354
FAIL
44.57
stmt44_435_436
FAIL
44.6
stmt19_137_352
FAIL
44.6
stmt31_23_377
FAIL
44.63
cmu.gigamax.B-f2
FAIL
44.64
stmt19_313_412
FAIL
44.64
stmt17_63_70
FAIL
44.64
stmt22_144_355
FAIL
44.65
stmt22_144_361
FAIL
44.67
ken.oop^2.C-d4
FAIL
44.68
stmt21_70_369
FAIL
44.72
stmt21_91_369
FAIL
44.77
k_branch_n-21
FAIL
44.78
texas.two_proc^3.E-f2
FAIL
44.88
texas.two_proc^1.E-f3
FAIL
44.89
stmt86_889_890
FAIL
44.96
eijk.S344.S-d4
FAIL
45.04
stmt24_765_766
FAIL
45.06
stmt22_80_370
FAIL
45.07
stmt21_84_369
FAIL
45.09
stmt85_64_248
FAIL
45.09
stmt21_127_360
FAIL
45.1
nusmv.syncarb10^2.B-f2
FAIL
45.1
stmt21_127_258
FAIL
45.11
stmt21_138_258
FAIL
45.16
stmt19_133_368
FAIL
45.18
stmt19_3_401
FAIL
45.19
stmt19_133_257
FAIL
45.19
nusmv.dme2-16.B-d4
FAIL
45.21
stmt19_137_368
FAIL
45.22
eijk.S1423.S-d4
FAIL
45.26
nusmv.reactor^2.C-d4
FAIL
45.27
vis.prodcell^15.E-f2
FAIL
45.31
stmt21_252_319
FAIL
45.32
stmt21_71_409
FAIL
45.33
k_ph_p-9
UNSAT
45.39
nusmv.reactor^1.C-d4
FAIL
45.43
ken.flash^06.C-d4
FAIL
45.46
stmt17_74_78
FAIL
45.52
stmt22_365_414
FAIL
45.52
stmt21_127_369
FAIL
45.53
stmt50_51_392
FAIL
45.54
eijk.S386.S-d4
SAT
45.58
stmt22_73_404
FAIL
45.62
stmt19_64_99
FAIL
45.63
stmt70_854_859
FAIL
45.66
stmt47_112_389
FAIL
45.74
test4_quant_squaring4
FAIL
45.74
texas.ifetch1^3.E-d4
FAIL
45.76
texas.ifetch1^9.E-d4
FAIL
45.79
stmt21_178_258
FAIL
45.82
stmt21_181_258
FAIL
45.87
stmt19_2_401
FAIL
45.87
nusmv.reactor^3.C-d3
FAIL
45.91
ken.flash^10.C-d2
FAIL
45.92
ken.flash^07.C-d4
FAIL
45.97
stmt21_4_409
FAIL
46.06
eijk.S838.S-f2
FAIL
46.06
stmt19_313_318
FAIL
46.07
eijk.S1238.S-d3
FAIL
46.09
stmt19_368_412
FAIL
46.13
k14_4_3
FAIL
46.14
stmt19_142_250
FAIL
46.17
stmt39_234_384
FAIL
46.24
stmt19_137_417
FAIL
46.37
stmt21_127_418
FAIL
46.39
stmt19_3_408
FAIL
46.39
stmt22_144_419
FAIL
46.4
stmt21_134_418
FAIL
46.4
stmt21_218_258
FAIL
46.43
stmt19_302_318
FAIL
46.44
stmt19_214_257
FAIL
46.51
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
46.55
k14_2_3
FAIL
46.57
ken.flash^04.C-d3
FAIL
46.57
nusmv.reactor^4.C-d2
FAIL
46.6
sortnetsort10.v.stepl.005
UNSAT
46.65
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
46.65
k5_2_3
SAT
46.67
stmt19_250_368
FAIL
46.73
stmt17_70_82
FAIL
46.82
k_d4_n-5
SAT
46.9
stmt2_649_723
FAIL
46.91
aim-200-1_6-yes1-4-90
FAIL
46.93
ken.flash^03.C-d3
FAIL
46.98
nusmv.dme2-16.B-d3
FAIL
47.03
vis.prodcell^01.E-d4
FAIL
47.03
ken.flash^08.C-d4
FAIL
47.04
k14_3_3
FAIL
47.06
eijk.S1423.S-d3
FAIL
47.06
stmt22_263_370
FAIL
47.07
stmt52_244_394
FAIL
47.2
stmt21_178_409
FAIL
47.2
stmt19_180_408
FAIL
47.23
stmt19_214_217
FAIL
47.31
stmt19_177_250
FAIL
47.32
nusmv.tcas-t^3.B-f3
FAIL
47.33
stmt41_36_198
FAIL
47.37
ken.flash^12.C-f3
FAIL
47.4
stmt22_182_253
FAIL
47.42
vis.4-arbit^1.E-f3
FAIL
47.43
vis.4-arbit^2.E-f2
FAIL
47.47
vis.emodel.E-d4
FAIL
47.48
stmt21_215_418
FAIL
47.48
stmt19_217_401
FAIL
47.51
c1_BMC_p1_k1024
SAT
47.51
nusmv.reactor^5.C-d3
FAIL
47.54
irst.dme5.B-f2
FAIL
47.54
stmt3_969_973
FAIL
47.56
stmt31_22_328
FAIL
47.58
stmt19_217_408
FAIL
47.6
stmt21_215_403
FAIL
47.62
nusmv.reactor^4.C-d4
FAIL
47.65
stmt19_217_417
FAIL
47.7
stmt21_215_409
FAIL
47.81
stmt21_4_310
FAIL
47.88
counter_64
FAIL
47.89
eijk.bs1512.S-d4
FAIL
47.94
nusmv.reactor^1.C-d3
FAIL
47.94
ken.oop^2.C-f3
FAIL
47.97
c4_Debug_s5_f2_e2_v1
SAT
47.98
nusmv.reactor^2.C-d3
FAIL
48
nusmv.reactor^3.C-d4
FAIL
48.12
stmt21_252_262
FAIL
48.12
eijk.bs6669.S-d4
FAIL
48.13
stmt21_310_354
FAIL
48.15
stmt21_4_304
FAIL
48.15
stmt19_2_313
FAIL
48.17
stmt19_133_214
FAIL
48.2
stmt21_314_354
FAIL
48.2
stmt72_696_721
FAIL
48.28
stmt19_3_309
FAIL
48.28
stmt22_73_311
FAIL
48.38
aim-100-2_0-yes1-2-90
FAIL
48.41
vis.emodel.E-f4
FAIL
48.49
stmt19_313_368
FAIL
48.5
stmt21_252_418
FAIL
48.53
stmt21_138_215
FAIL
48.55
stmt21_304_360
FAIL
48.57
stmt22_139_219
FAIL
48.58
stmt19_3_313
FAIL
48.6
eijk.S953.S-f2
FAIL
48.66
aim-50-3_4-yes1-4-90
SAT
48.66
stmt21_5_304
FAIL
48.73
c5_BMC_p1_k2048
FAIL
48.76
stmt22_73_268
FAIL
48.84
c5_BMC_p2_k2048
FAIL
48.85
eijk.bs3330.S-d2
FAIL
48.9
stmt47_44_340
FAIL
48.92
vis.elevator^3.E-f2
FAIL
48.92
stmt21_262_418
FAIL
48.93
ken.flash^05.C-f4
FAIL
48.94
stmt21_71_304
FAIL
48.97
stmt19_78_309
FAIL
49.01
stmt1_392_393
FAIL
49.03
stmt31_100_328
FAIL
49.06
stmt23_67_92
FAIL
49.07
stmt21_70_310
FAIL
49.08
stmt21_84_310
FAIL
49.1
eijk.S1196.S-f4
FAIL
49.14
stmt52_54_345
FAIL
49.14
stmt39_285_335
FAIL
49.15
stmt21_71_314
FAIL
49.18
vis.prodcell^02.E-f2
FAIL
49.19
stmt17_70_86
FAIL
49.2
stmt31_276_328
FAIL
49.21
stmt21_70_304
FAIL
49.22
stmt21_91_304
FAIL
49.23
stmt1_953_954
FAIL
49.23
stmt21_70_314
FAIL
49.25
stmt39_159_197
FAIL
49.26
stmt22_92_315
FAIL
49.27
k14_4_4
FAIL
49.28
stmt21_79_314
FAIL
49.28
stmt47_290_340
FAIL
49.3
stmt19_83_302
FAIL
49.34
stmt21_79_304
FAIL
49.36
stmt19_90_309
FAIL
49.36
stmt21_258_360
FAIL
49.38
stmt22_85_315
FAIL
49.39
ken.flash^02.C-d4
FAIL
49.4
k14_4_2
FAIL
49.4
stmt21_304_418
FAIL
49.41
stmt21_314_418
FAIL
49.42
stmt21_252_354
FAIL
49.44
stmt19_250_359
FAIL
49.45
stmt22_85_320
FAIL
49.46
stmt21_364_369
FAIL
49.46
stmt21_138_304
FAIL
49.47
stmt46_43_339
FAIL
49.48
stmt50_167_293
FAIL
49.48
stmt21_134_304
FAIL
49.49
stmt22_263_361
FAIL
49.51
stmt22_259_355
FAIL
49.52
stmt22_263_355
FAIL
49.54
stmt19_266_359
FAIL
49.56
stmt19_142_302
FAIL
49.57
stmt19_66_318
FAIL
49.58
stmt41_36_336
FAIL
49.58
stmt29_21_327
FAIL
49.61
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
49.62
stmt22_92_320
FAIL
49.62
stmt19_352_359
FAIL
49.63
stmt19_125_302
FAIL
49.63
stmt16_285_286
FAIL
49.67
stmt22_259_370
FAIL
49.67
stmt19_137_313
FAIL
49.68
stmt19_125_313
FAIL
49.69
stmt21_143_314
FAIL
49.7
k14_2_4
FAIL
49.71
texas.ifetch1^8.E-f2
FAIL
49.72
stmt21_364_418
FAIL
49.75
stmt22_135_311
FAIL
49.78
stmt21_127_310
FAIL
49.8
s499_d4_s
SAT
49.82
stmt19_266_368
FAIL
49.82
k14_3_4
FAIL
49.84
ken.flash^03.C-f3
FAIL
49.85
ken.oop^1.C-f4
FAIL
49.85
stmt19_257_318
FAIL
49.91
stmt19_78_318
FAIL
49.91
nusmv.tcas^1.B-d3
FAIL
49.92
stmt22_6_219
FAIL
49.92
c4_Debug_s5_f2_e1_v1
SAT
49.92
stmt52_55_207
FAIL
49.93
stmt50_50_205
FAIL
49.95
stmt21_138_310
FAIL
49.97
stmt39_35_335
FAIL
49.98
stmt19_142_309
FAIL
50
texas.parsesys^2.E-f4
FAIL
50.08
aim-200-1_6-yes1-2-90
FAIL
50.14
stmt44_110_338
FAIL
50.14
nusmv.tcas-t^2.B-f3
FAIL
50.22
adder-16-sat
FAIL
50.26
k12_2_3
FAIL
50.28
stmt17_82_86
FAIL
50.35
stmt24_292_293
FAIL
50.35
stmt19_2_214
FAIL
50.35
stmt19_75_83
FAIL
50.36
stmt22_268_320
FAIL
50.38
ken.flash^12.C-d3
FAIL
50.42
stmt44_110_200
FAIL
50.42
stmt53_296_346
FAIL
50.42
stmt9_350_351
FAIL
50.44
ken.flash^14.C-d4
FAIL
50.46
stmt21_403_418
FAIL
50.47
stmt22_144_179
FAIL
50.5
stmt19_177_309
FAIL
50.58
stmt19_352_417
FAIL
50.58
texas.PI_main^01.E-f2
FAIL
50.6
stmt19_180_309
FAIL
50.62
stmt22_311_320
FAIL
50.78
stmt39_107_335
FAIL
50.82
k14_3_2
FAIL
50.83
stmt19_180_313
FAIL
50.96
stmt16_950_951
FAIL
51
stmt19_177_313
FAIL
51.02
counter_32
FAIL
51.02
stmt21_70_178
FAIL
51.04
stmt19_90_177
FAIL
51.06
texas.ifetch1^1.E-d4
FAIL
51.07
stmt22_182_305
FAIL
51.09
c4_Debug_s5_f2_e2_v3
SAT
51.11
stmt19_412_417
FAIL
51.12
stmt19_177_302
FAIL
51.15
vis.prodcell^13.E-f2
FAIL
51.22
stmt19_214_302
FAIL
51.22
stmt22_135_320
FAIL
51.23
stmt22_139_320
FAIL
51.24
aim-200-1_6-yes1-1-90
FAIL
51.25
stmt19_66_180
FAIL
51.25
stmt19_65_95
FAIL
51.25
stmt21_127_319
FAIL
51.25
stmt29_275_376
FAIL
51.28
vis.coherence^5.E-f2
FAIL
51.33
stmt21_91_181
FAIL
51.4
stmt19_217_309
FAIL
51.4
stmt19_214_309
FAIL
51.4
stmt22_85_182
FAIL
51.42
stmt21_79_178
FAIL
51.43
stmt19_214_313
FAIL
51.54
stmt22_182_320
FAIL
51.54
stmt50_167_343
FAIL
51.54
c2_Debug_s3_f1_e1_v3
SAT
51.57
stmt19_217_302
FAIL
51.57
aim-50-2_0-yes1-4-50
SAT
51.58
c4_Debug_s5_f2_e1_v3
SAT
51.61
stmt22_80_182
FAIL
51.61
cmu.dme1.B-d4
SAT
51.62
stmt39_159_335
FAIL
51.62
texas.PI_main^10.E-f2
FAIL
51.65
stmt44_200_338
FAIL
51.65
stmt22_315_361
FAIL
51.66
stmt19_177_318
FAIL
51.68
stmt22_85_179
FAIL
51.69
stmt19_302_352
FAIL
51.7
stmt21_310_360
FAIL
51.71
stmt19_66_217
FAIL
51.78
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
FAIL
51.82
stmt22_320_361
FAIL
51.88
nusmv.dme2-16.B-f4
FAIL
51.9
stmt21_218_314
FAIL
51.91
stmt19_79_83
FAIL
51.93
nusmv.reactor^3.C-d2
FAIL
51.95
stmt44_554_555
FAIL
51.95
stmt52_207_345
FAIL
52.01
stmt41_286_385
FAIL
52.02
stmt47_239_340
FAIL
52.11
ken.flash^12.C-d2
FAIL
52.14
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
52.16
stmt21_262_409
FAIL
52.17
stmt22_259_410
FAIL
52.17
stmt19_250_401
FAIL
52.22
stmt22_263_404
FAIL
52.23
stmt22_259_404
FAIL
52.27
stmt52_117_207
FAIL
52.29
stmt47_164_202
FAIL
52.31
par8-5-c-50
UNSAT
52.36
stmt22_311_370
FAIL
52.38
stmt22_320_370
FAIL
52.46
stmt19_266_408
FAIL
52.46
stmt22_268_404
FAIL
52.49
stmt46_289_388
FAIL
52.62
stmt50_242_343
FAIL
52.65
stmt19_66_214
FAIL
52.66
stmt19_66_90
FAIL
52.7
c4_Debug_s5_f2_e2_v2
SAT
52.7
eijk.S1238.S-f4
FAIL
52.71
stmt39_234_335
FAIL
52.73
stmt21_267_304
FAIL
52.8
stmt21_143_181
FAIL
52.8
stmt41_198_336
FAIL
52.82
texas.PI_main^14.E-f2
FAIL
52.85
stmt21_252_314
FAIL
52.85
texas.PI_main^03.E-f2
FAIL
52.92
stmt19_250_408
FAIL
52.96
stmt22_139_182
FAIL
53.17
nusmv.reactor^5.C-d4
FAIL
53.26
stmt21_134_178
FAIL
53.32
stmt52_295_394
FAIL
53.35
stmt19_83_91
FAIL
53.45
stmt19_133_180
FAIL
53.46
nusmv.tcas-t^2.B-f2
FAIL
53.5
stmt53_57_245
FAIL
53.5
ev-pr-4x4-5-3-0-0-1-lg
SAT
53.51
stmt19_137_177
FAIL
53.51
ken.flash^05.C-d3
FAIL
53.6
eijk.S208c.S-f3
FAIL
53.76
stmt19_79_87
FAIL
53.77
c4_Debug_s5_f2_e1_v2
SAT
53.86
stmt3_639_640
FAIL
53.87
stmt19_125_214
FAIL
53.92
counter_16
FAIL
54.04
ken.oop^2.C-f4
FAIL
54.07
stmt21_127_218
FAIL
54.1
stmt17_70_90
FAIL
54.13
ken.flash^06.C-f4
FAIL
54.2
aim-100-1_6-yes1-2-90
FAIL
54.23
stmt22_305_311
FAIL
54.24
aim-100-1_6-yes1-1-90
FAIL
54.24
irst.dme5.B-f4
FAIL
54.25
stmt19_302_313
FAIL
54.28
vis.prodcell^24.E-f2
FAIL
54.57
stmt28_73_85
FAIL
54.6
stmt32_329_378
FAIL
54.6
stmt50_115_242
FAIL
54.62
stmt17_78_90
FAIL
54.68
texas.two_proc^1.E-f2
FAIL
54.78
stmt50_167_205
FAIL
54.78
stmt21_262_319
FAIL
54.92
stmt19_67_214
FAIL
55.03
stmt46_43_201
FAIL
55.05
stmt41_198_235
FAIL
55.07
nusmv.reactor^2.C-d2
FAIL
55.17
stmt22_73_219
FAIL
55.25
eijk.S832.S-d4
FAIL
55.3
texas.ifetch1^1.E-f2
FAIL
55.36
eijk.S208.S-f3
FAIL
55.37
stmt46_201_238
FAIL
55.42
stmt41_118_131
FAIL
55.49
stmt39_107_197
FAIL
55.51
stmt27_16_224
FAIL
55.52
stmt22_179_182
FAIL
55.67
stmt41_37_198
FAIL
55.69
stmt21_5_218
FAIL
55.71
stmt19_83_266
FAIL
55.82
irst.dme5.B-d3
SAT
55.82
stmt22_80_268
FAIL
55.84
stmt82_224_225
FAIL
55.89
stmt21_70_267
FAIL
55.92
stmt19_3_214
FAIL
56.02
ken.flash^11.C-d2
FAIL
56.14
stmt19_90_266
FAIL
56.32
stmt85_64_65
FAIL
56.43
eijk.S208c.S-f2
FAIL
56.45
stmt21_178_218
FAIL
56.58
c1_Debug_s5_f1_e1_v3
SAT
56.61
stmt21_181_218
FAIL
56.62
stmt19_177_214
FAIL
56.71
stmt21_84_215
FAIL
56.79
stmt17_62_98
FAIL
56.86
vis.prodcell^08.E-f2
FAIL
57.11
cmu.gigamax.B-d2
FAIL
57.14
stmt21_138_267
FAIL
57.22
stmt19_133_266
FAIL
57.24
stmt19_78_217
FAIL
57.29
stmt21_127_267
FAIL
57.34
stmt17_74_90
FAIL
57.37
stmt52_169_244
FAIL
57.38
eijk.S1196.S-f3
FAIL
57.43
stmt26_15_223
FAIL
57.46
stmt17_78_94
FAIL
57.6
stmt28_19_98
FAIL
57.67
stmt19_75_95
FAIL
57.68
ken.flash^09.C-d2
FAIL
57.71
stmt19_142_266
FAIL
57.94
stmt19_133_217
FAIL
57.98
stmt22_92_216
FAIL
58.07
ken.oop^1.C-d4
FAIL
58.09
stmt22_73_92
FAIL
58.09
aim-100-1_6-yes1-3-90
FAIL
58.22
vis.prodcell^21.E-f2
FAIL
58.26
stmt21_143_215
FAIL
58.29
nusmv.tcas-t^1.B-f3
FAIL
58.32
stmt22_182_268
FAIL
58.52
stmt19_83_217
FAIL
58.54
stmt21_178_267
FAIL
58.57
stmt19_142_217
FAIL
58.64
stmt19_90_217
FAIL
58.64
texas.PI_main^13.E-f2
FAIL
58.88
stmt53_208_245
FAIL
59.1
aim-100-2_0-yes1-1-90
FAIL
59.19
stmt19_71_95
FAIL
59.2
vis.prodcell^06.E-f2
FAIL
59.29
stmt27_97_187
FAIL
59.32
stmt22_219_268
FAIL
59.33
stmt21_215_267
FAIL
59.49
cube_c11_ser--opt-42_
FAIL
59.5
nusmv.reactor^1.C-d2
FAIL
59.58
stmt41_37_235
FAIL
59.63
aim-100-1_6-yes1-1-50
FAIL
59.66
test5_quant7
FAIL
59.72
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
59.78
stmt22_72_80
FAIL
59.88
stmt44_41_237
FAIL
60.03
vis.prodcell^11.E-f2
FAIL
60.14
c1_Debug_s5_f1_e1_v1
SAT
60.16
stmt27_149_224
FAIL
60.24
aim-100-1_6-yes1-4-00
FAIL
60.33
stmt28_98_225
FAIL
60.37
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
FAIL
60.44
eijk.S1238.S-f3
FAIL
60.7
c1_BMC_p1_k2048
FAIL
60.74
stmt44_252_301
FAIL
60.75
stmt41_108_235
FAIL
60.83
stmt18_258_260
FAIL
60.99
stmt47_44_202
FAIL
61.01
c1_Debug_s3_f1_e1_v3
SAT
61.02
stmt28_73_97
FAIL
61.03
sortnetsort8.AE.stepl.004
FAIL
61.04
eijk.S1238.S-f2
FAIL
61.15
stmt27_149_187
FAIL
61.19
eijk.S1196.S-f2
FAIL
61.34
vis.prodcell^01.E-f2
FAIL
61.36
aim-100-2_0-yes1-2-50
FAIL
61.41
adder-14-sat
FAIL
61.64
c1_Debug_s3_f1_e1_v1
SAT
61.64
test5_quant5
FAIL
61.71
aim-100-2_0-yes1-3-90
FAIL
61.77
ken.flash^02.C-f2
FAIL
61.84
stmt27_946_955
FAIL
62.31
texas.ifetch1^9.E-f2
FAIL
62.48
stmt21_252_267
FAIL
62.52
ken.flash^03.C-f4
FAIL
62.58
Adder2-4-c
FAIL
62.72
stmt19_261_266
FAIL
62.74
stmt46_111_238
FAIL
62.74
eijk.bs4863.S-d2
FAIL
62.88
ken.flash^13.C-d4
FAIL
63.02
stmt22_182_216
FAIL
63.21
aim-200-2_0-yes1-1-90
FAIL
63.24
texas.parsesys^1.E-f4
FAIL
63.36
aim-100-1_6-yes1-4-90
FAIL
63.48
stmt31_190_227
FAIL
63.48
ken.flash^02.C-d3
FAIL
63.49
c2_Debug_s5_f1_e1_v3
SAT
63.64
texas.PI_main^16.E-f2
FAIL
63.69
aim-50-2_0-yes1-4-00
UNSAT
64
stmt17_70_98
FAIL
64.56
k14_2_2
FAIL
64.63
par16-3-c-90
FAIL
64.71
aim-50-3_4-yes1-2-50
SAT
64.72
c2_Debug_s3_f1_e1_v1
SAT
64.74
k_ph_n-12
SAT
64.91
stmt52_55_117
FAIL
64.95
sortnetsort8.AE.stepl.008
FAIL
64.97
aim-50-1_6-yes1-4-50
FAIL
65.07
aim-50-3_4-yes1-3-00
SAT
65.17
stmt137_903_911
FAIL
65.18
stmt52_54_55
FAIL
65.28
aim-200-1_6-yes1-1-50
FAIL
65.32
emptyroom_e4_par---21_
UNSAT
65.34
vis.prodcell^17.E-f2
FAIL
65.63
par16-5-c-90
FAIL
65.68
stmt41_160_235
FAIL
65.75
ken.flash^02.C-f3
FAIL
65.78
aim-200-3_4-yes1-4-90
FAIL
65.82
stmt19_3_78
UNSAT
65.84
eijk.S208.S-f4
FAIL
65.94
ken.flash^08.C-d3
FAIL
66.06
ken.flash^14.C-d3
FAIL
66.09
aim-50-1_6-yes1-3-50
FAIL
66.14
stmt44_162_237
FAIL
66.28
eijk.bs1512.S-d2
FAIL
66.38
aim-100-1_6-yes1-3-00
FAIL
66.47
aim-200-2_0-yes1-4-50
FAIL
66.49
stmt22_6_128
FAIL
66.62
sortnetsort8.AE.stepl.006
FAIL
66.75
par16-2-c-90
FAIL
66.9
f600-00
FAIL
67.07
aim-200-2_0-yes1-3-50
FAIL
67.14
aim-100-1_6-yes1-3-50
FAIL
67.23
stmt70_191_213
FAIL
67.29
stmt19_2_137
FAIL
67.48
stmt21_4_134
FAIL
67.52
stmt22_73_128
FAIL
67.66
stmt21_5_138
FAIL
67.69
aim-200-3_4-yes1-2-00
FAIL
67.94
eijk.bs1512.S-d3
FAIL
68.38
stmt19_125_133
FAIL
68.56
cmu.periodic.N-d3
FAIL
68.73
aim-200-2_0-yes1-2-90
FAIL
68.77
adder-12-sat
FAIL
68.86
stmt19_125_137
FAIL
68.86
aim-200-2_0-yes1-3-90
FAIL
69.17
stmt22_80_144
FAIL
69.3
stmt19_66_142
FAIL
69.37
aim-200-2_0-yes1-1-50
FAIL
69.49
c4_Debug_s3_f1_e1_v2
SAT
69.58
aim-100-1_6-yes1-2-00
FAIL
69.74
aim-200-1_6-yes1-1-00
FAIL
69.78
texas.PI_main^05.E-f2
FAIL
70.13
nusmv.syncarb10^2.B-f3
FAIL
70.2
stmt19_67_83
UNSAT
70.26
ken.flash^06.C-d2
FAIL
70.46
stmt19_90_142
FAIL
70.56
c4_Debug_s3_f1_e2_v2
SAT
70.64
ken.flash^03.C-d4
FAIL
70.72
texas.parsesys^1.E-f3
SAT
70.93
vis.4-arbit^1.E-d3
FAIL
70.93
irst.dme4.B-d4
FAIL
71.4
stmt19_90_125
FAIL
71.75
aim-100-2_0-yes1-4-00
FAIL
71.86
aim-200-3_4-yes1-2-90
FAIL
71.92
c2_Debug_s5_f1_e1_v1
SAT
72.12
aim-200-3_4-yes1-1-50
FAIL
72.15
stmt21_5_134
FAIL
72.16
stmt22_135_144
FAIL
72.22
emptyroom_e3_ser---19_
UNSAT
72.34
stmt85_64_122
FAIL
72.43
stmt41_37_108
FAIL
72.55
aim-200-1_6-yes1-4-00
FAIL
72.57
stmt21_79_134
FAIL
73.1
stmt21_70_138
FAIL
73.12
nusmv.syncarb10^2.B-f4
FAIL
73.13
stmt19_66_133
FAIL
73.18
aim-200-1_6-yes1-3-90
FAIL
73.22
stmt16_818_819
FAIL
73.36
f600-90
FAIL
73.38
sortnetsort8.AE.stepl.003
FAIL
73.5
stmt22_80_139
FAIL
73.65
aim-100-1_6-yes1-2-50
FAIL
73.66
sortnetsort8.AE.stepl.005
FAIL
73.76
stmt21_84_138
FAIL
73.77
aim-100-2_0-yes1-1-50
FAIL
73.81
stmt21_71_134
FAIL
73.89
stmt46_43_111
FAIL
73.91
stmt19_67_137
FAIL
73.95
aim-100-2_0-yes1-4-50
FAIL
74.11
aim-200-1_6-yes1-2-50
FAIL
74.17
test5_quant_squaring5
FAIL
74.19
sortnetsort8.AE.stepl.007
FAIL
74.47
c4_Debug_s3_f1_e1_v1
SAT
74.5
stmt11_643_645
FAIL
74.51
stmt19_78_125
FAIL
74.51
stmt21_84_134
FAIL
74.52
sortnetsort10.AE.stepl.011
FAIL
74.61
stmt21_70_127
FAIL
74.62
c2_Debug_s3_f2_e1_v2
SAT
74.65
stmt19_90_133
FAIL
74.65
aim-200-3_4-yes1-4-50
FAIL
74.79
stmt27_16_149
FAIL
74.92
stmt27_296_297
FAIL
75.03
sortnetsort10.AE.stepl.004
FAIL
75.13
aim-200-2_0-yes1-2-50
FAIL
75.19
sortnetsort5.AE.stepl.005
FAIL
75.25
aim-100-3_4-yes1-3-90
FAIL
75.27
stmt22_92_139
FAIL
75.41
f600-50
FAIL
75.55
c4_Debug_s3_f1_e2_v1
SAT
75.6
stmt21_84_127
FAIL
75.64
aim-100-2_0-yes1-4-90
FAIL
75.8
par8-1-50
SAT
75.9
vis.prodcell^20.E-f2
FAIL
75.91
sortnetsort7.AE.stepl.008
FAIL
76.09
stmt19_83_142
FAIL
76.67
vis.prodcell^09.E-f2
FAIL
76.87
eijk.S713.S-d4
FAIL
76.89
stmt50_50_115
FAIL
77.06
cmu.gigamax.B-d3
FAIL
77.07
eijk.S208o.S-f4
FAIL
77.07
aim-100-1_6-yes1-1-00
FAIL
77.23
stmt21_134_138
FAIL
77.41
stmt22_6_80
UNSAT
77.55
cube_c11_par---13_
UNSAT
77.56
aim-100-2_0-yes1-3-50
FAIL
77.58
aim-200-2_0-yes1-1-00
FAIL
77.65
stmt21_127_143
FAIL
77.7
eijk.S641.S-d4
FAIL
77.79
aim-200-1_6-yes1-4-50
FAIL
77.82
eijk.S953.S-d4
SAT
78.39
stmt19_78_83
FAIL
78.45
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
79.64
aim-200-2_0-yes1-3-00
FAIL
79.69
aim-200-2_0-yes1-4-90
FAIL
80.47
sortnetsort10.AE.stepl.012
FAIL
80.95
aim-50-1_6-yes1-1-90
FAIL
81.39
sortnetsort10.AE.stepl.006
FAIL
81.87
eijk.S208o.S-f3
FAIL
81.92
aim-50-1_6-yes1-4-00
FAIL
81.92
nusmv.syncarb5^2.B-f4
FAIL
82.33
sortnetsort10.AE.stepl.008
FAIL
82.44
sortnetsort9.AE.stepl.004
FAIL
82.67
stmt27_17_149
FAIL
82.71
texas.parsesys^3.E-f4
FAIL
83.39
stmt53_118_170
FAIL
83.57
sortnetsort8.AE.stepl.009
FAIL
83.69
aim-200-3_4-yes1-1-00
FAIL
83.83
aim-200-3_4-yes1-1-90
FAIL
85.05
stmt27_16_97
FAIL
85.23
sortnetsort5.AE.stepl.007
FAIL
85.31
stmt41_36_160
FAIL
85.33
c4_Debug_s3_f1_e1_v3
SAT
85.84
aim-200-1_6-yes1-2-00
FAIL
86.15
sortnetsort7.AE.stepl.003
FAIL
86.18
c4_Debug_s3_f1_e2_v3
SAT
86.22
c6_BMC_p1_k1024
SAT
86.27
vis.prodcell^04.E-f2
FAIL
86.79
aim-200-1_6-yes1-3-00
FAIL
87.22
aim-50-1_6-yes1-2-50
FAIL
87.29
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
FAIL
87.38
aim-200-3_4-yes1-3-00
FAIL
87.85
stmt27_17_187
FAIL
87.88
stmt39_35_159
FAIL
87.88
stmt21_71_143
FAIL
87.9
sortnetsort10.AE.stepl.005
FAIL
88.34
aim-200-3_4-yes1-4-00
FAIL
88.41
stmt41_108_160
FAIL
88.44
sortnetsort9.AE.stepl.005
FAIL
88.86
aim-50-3_4-yes1-2-00
SAT
88.89
sortnetsort5.AE.stepl.004
FAIL
88.89
stmt47_45_164
FAIL
88.97
sortnetsort7.AE.stepl.007
FAIL
89.37
sortnetsort6.AE.stepl.007
FAIL
89.38
stmt29_99_151
FAIL
89.85
stmt44_40_162
FAIL
89.91
aim-200-2_0-yes1-4-00
FAIL
90.01
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
90.05
aim-50-1_6-yes1-3-00
FAIL
90.36
stmt46_111_163
FAIL
90.63
aim-100-1_6-yes1-4-50
FAIL
90.67
par8-4-00
SAT
90.94
vis.arbiter.E-f2
FAIL
91.24
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
91.39
aim-100-2_0-yes1-3-00
FAIL
91.82
stmt22_139_144
FAIL
91.86
c2_BMC_p1_k256
SAT
92.2
stmt52_54_169
FAIL
93.11
stmt50_51_167
FAIL
93.35
sortnetsort10.AE.stepl.010
FAIL
94.15
stmt19_2_83
UNSAT
94.71
k5_3_3
SAT
94.91
aim-100-2_0-yes1-2-00
FAIL
95.13
sortnetsort10.AE.stepl.007
FAIL
95.53
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
95.89
sortnetsort7.AE.stepl.006
FAIL
95.92
stmt22_73_80
FAIL
96.18
aim-50-2_0-yes1-3-50
FAIL
96.21
vis.bakery.E-f3
FAIL
96.79
stmt39_34_107
FAIL
98.28
sortnetsort9.AE.stepl.007
FAIL
99.45
stmt44_40_110
FAIL
99.54
par8-4-50
UNSAT
100.16
aim-200-3_4-yes1-2-50
FAIL
101.54
sortnetsort5.AE.stepl.006
FAIL
101.84
stmt19_2_180
FAIL
102.08
aim-200-3_4-yes1-3-90
FAIL
102.2
stmt21_70_84
FAIL
102.22
aim-100-2_0-yes1-1-00
FAIL
103.57
aim-100-3_4-yes1-2-90
FAIL
103.61
ken.flash^13.C-d3
FAIL
103.81
cmu.periodic.N-d4
FAIL
103.82
sortnetsort10.AE.stepl.009
FAIL
103.87
sortnetsort9.AE.stepl.006
FAIL
103.99
aim-200-6_0-yes1-4-90
FAIL
105.14
aim-50-1_6-yes1-1-00
FAIL
105.17
vis.emodel.E-f3
UNSAT
105.17
ken.flash^06.C-d3
FAIL
105.68
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
105.99
stmt22_73_179
FAIL
106.36
stmt22_73_182
FAIL
106.45
stmt21_71_70
UNSAT
106.59
stmt19_3_83
UNSAT
108.25
aim-50-1_6-yes1-2-00
FAIL
109.71
sortnetsort6.AE.stepl.005
FAIL
109.98
sortnetsort9.AE.stepl.008
FAIL
111.12
sortnetsort6.AE.stepl.004
FAIL
111.2
k_lin_n-7
SAT
113.32
szymanski-8-s
FAIL
113.92
aim-200-2_0-yes1-2-00
FAIL
114.35
aim-200-6_0-yes1-4-50
FAIL
115.14
texas.PI_main^12.E-f2
FAIL
116.06
aim-100-3_4-yes1-3-50
FAIL
116.68
sortnetsort6.AE.stepl.003
FAIL
117.42
aim-200-6_0-yes1-1-00
FAIL
117.44
aim-50-2_0-yes1-2-00
UNSAT
117.58
aim-200-1_6-yes1-3-50
FAIL
117.7
k_t4p_p-20
UNSAT
118.19
par8-1-90
UNSAT
119.24
sortnetsort7.AE.stepl.005
FAIL
120.15
aim-200-3_4-yes1-3-50
FAIL
120.86
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
FAIL
121.31
sortnetsort7.AE.stepl.004
FAIL
121.92
ken.flash^01.C-d3
FAIL
122.45
sortnetsort7.AE.stepl.009
FAIL
123.12
sortnetsort9.AE.stepl.011
FAIL
123.17
stmt21_5_181
FAIL
123.17
aim-200-6_0-yes1-1-50
FAIL
123.31
vis.prodcell^05.E-f2
FAIL
123.45
aim-100-6_0-yes1-2-90
FAIL
123.58
sortnetsort9.AE.stepl.009
FAIL
123.61
stmt19_3_177
FAIL
124.92
aim-50-2_0-yes1-3-00
FAIL
125.02
sortnetsort9.AE.stepl.010
FAIL
125.07
aim-200-6_0-yes1-1-90
FAIL
125.72
stmt21_4_178
FAIL
125.83
aim-100-3_4-yes1-4-50
FAIL
126.56
aim-200-6_0-yes1-2-90
FAIL
127.37
aim-100-3_4-yes1-2-50
FAIL
127.88
stmt19_83_90
UNSAT
128.1
irst.dme6.B-d3
FAIL
128.19
stmt1_811_812
FAIL
128.26
aim-100-3_4-yes1-1-90
FAIL
128.97
stmt21_79_91
UNSAT
129.07
aim-200-6_0-yes1-3-90
FAIL
129.61
vis.coherence^1.E-f2
FAIL
130.24
c2_Debug_s3_f2_e1_v3
SAT
130.81
aim-100-3_4-yes1-4-90
FAIL
132.24
sortnetsort6.AE.stepl.006
FAIL
132.3
sortnetsort9.AE.stepl.012
FAIL
132.61
stmt32_24_191
FAIL
133.12
s499_d5_s
SAT
133.8
aim-50-2_0-yes1-2-50
FAIL
133.93
c4_Debug_s3_f2_e1_v2
SAT
134.75
stmt21_127_178
FAIL
135.14
par8-3-00
UNSAT
135.51
c4_Debug_s3_f2_e2_v2
SAT
135.7
stmt21_127_181
FAIL
136.07
ii8a2-90
FAIL
136.59
aim-100-3_4-yes1-2-00
FAIL
136.99
cmu.gigamax.B-d4
FAIL
138.2
aim-50-2_0-yes1-1-50
FAIL
138.25
ken.flash^08.C-d2
FAIL
138.56
aim-200-6_0-yes1-2-50
FAIL
139.97
c4_Debug_s3_f2_e1_v3
SAT
140.15
C432.blif_0.10_0.20_0_0_out_exact
UNSAT
140.56
jnh12-50
UNSAT
142.37
jnh218-00
SAT
142.37
C432.blif_0.10_0.20_0_1_inp_exact
SAT
144.33
c2_Debug_s3_f2_e1_v1
SAT
146.13
aim-100-3_4-yes1-1-00
FAIL
146.31
k_t4p_p-15
FAIL
146.75
jnh12-90
SAT
148.35
aim-50-2_0-yes1-3-90
FAIL
149.36
vis.eisenberg.E-f3
FAIL
151.23
ii8a1-00
FAIL
152.1
aim-100-3_4-yes1-3-00
FAIL
152.13
aim-200-6_0-yes1-2-00
FAIL
152.73
stmt22_6_72
FAIL
153.23
aim-200-6_0-yes1-3-50
FAIL
153.98
c4_Debug_s3_f2_e1_v1
SAT
154.01
c4_Debug_s3_f2_e2_v1
SAT
155.59
sortnetsort5.AE.stepl.003
FAIL
156.07
k_ph_n-13
SAT
161.09
ken.flash^14.C-d2
FAIL
161.55
ii8a2-50
FAIL
164
par8-3-50
UNSAT
165.24
aim-50-2_0-yes1-1-90
FAIL
167.55
aim-100-6_0-yes1-4-90
FAIL
170.72
aim-100-3_4-yes1-4-00
FAIL
170.84
aim-200-6_0-yes1-4-00
FAIL
179.93
aim-200-6_0-yes1-3-00
FAIL
180.83
cube_c11_par--opt-14_
SAT
182.14
s820_d2_s
SAT
187.68
jnh210-50
SAT
188.54
Adder2-12-s
FAIL
189.86
aim-100-3_4-yes1-1-50
FAIL
190
s510_d3_s
FAIL
191.06
ii8a2-00
FAIL
192.71
ii8d1-90
FAIL
193.03
par8-1-00
SAT
193.15
aim-100-6_0-yes1-2-00
FAIL
196.64
aim-100-6_0-yes1-3-90
FAIL
196.7
ii8e1-00
FAIL
200.04
ii8c1-50
FAIL
201.03
C432.blif_0.10_0.20_0_1_out_exact
UNSAT
205.21
s713_d2_s
SAT
214.39
ii8b1-50
FAIL
214.79
aim-50-2_0-yes1-2-90
SAT
214.83
ii8a3-90
FAIL
227.19
aim-100-6_0-yes1-2-50
FAIL
230.11
ii8e1-90
FAIL
238.06
aim-100-6_0-yes1-3-00
FAIL
241.3
aim-100-6_0-yes1-1-50
FAIL
243.32
jnh213-00
SAT
251.11
ii8d1-50
FAIL
254.82
s298_d5_s
SAT
256.75
test3_quant4
FAIL
258.63
ii8b1-90
FAIL
260.25
jnh207-00
FAIL
263.12
ii8e1-50
FAIL
265.54
aim-100-6_0-yes1-4-50
FAIL
268.81
ii8a3-50
FAIL
272.07
c2_BMC_p1_k512
SAT
274.37
ii8b1-00
FAIL
275.13
emptyroom_e4_par--opt-22_
SAT
278.93
ii8d1-00
FAIL
280.25
jnh207-50
FAIL
280.59
ev-pr-4x4-7-3-0-0-1-lg
FAIL
284.04
jnh212-00
FAIL
291.51
ii8c1-00
FAIL
299.8
jnh1-00
FAIL
301.29
c3_BMC_p1_k1024
SAT
302.91
ii8a3-00
FAIL
304.08
vis.coherence^1.E-d3
SAT
304.65
aim-100-6_0-yes1-1-00
FAIL
311.26
jnh217-00
FAIL
314.11
ii8c1-90
FAIL
315.63
s499_d6_s
SAT
316
jnh1-90
FAIL
317.2
ev-pr-4x4-9-3-0-0-1-lg
FAIL
321.38
jnh201-00
FAIL
332.49
c6_BMC_p1_k2048
SAT
340.57
jnh212-50
FAIL
358.28
ev-pr-8x8-19-7-0-1-2-lg
FAIL
359.07
ii32d1-50
FAIL
367.57
ii8a4-00
FAIL
367.59
Adder2-14-s
FAIL
367.71
jnh17-90
FAIL
368.46
Adder2-16-s
FAIL
369.42
jnh207-90
FAIL
373
ii32e1-90
FAIL
381.1
jnh204-50
FAIL
391.3
jnh201-50
FAIL
397.18
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
FAIL
401.61
ev-pr-4x4-15-3-0-0-1-lg
FAIL
404.65
aim-100-6_0-yes1-4-00
UNSAT
406.41
jnh204-00
FAIL
409.02
jnh217-50
FAIL
409.62
ii32c1-50
FAIL
412.42
s510_d4_s
FAIL
419.72
jnh212-90
FAIL
421.32
ii8a4-50
FAIL
421.77
ev-pr-6x6-5-5-0-1-2-lg
FAIL
425.86
ev-pr-4x4-11-3-0-0-1-lg
FAIL
427.03
jnh204-90
FAIL
446.3
ii32d1-00
FAIL
447.12
jnh301-50
FAIL
447.46
jnh217-90
FAIL
449.03
jnh209-00
FAIL
456.48
ii32c1-00
FAIL
459.03
ii32e2-00
FAIL
460.53
jnh12-00
UNSAT
462.51
ev-pr-4x4-17-3-0-0-1-lg
FAIL
466.16
jnh17-50
FAIL
470.24
term1.blif_0.10_0.20_0_0_inp_exact
UNSAT
477.66
cube_c5_ser---14_
UNSAT
477.72
jnh205-00
FAIL
478.2
ii32b1-50
FAIL
480.18
jnh218-90
FAIL
489.89
par16-5-c-00
FAIL
494.96
ssa7552-159-90
FAIL
500.49
jnh220-00
FAIL
508.04
ii32c1-90
FAIL
512.28
par16-5-c-50
FAIL
515.01
ring_r6_ser--opt-17_
SAT
520.74
aim-100-6_0-yes1-3-50
SAT
525.81
ev-pr-4x4-13-3-0-0-1-lg
FAIL
528.73
aim-100-6_0-yes1-1-90
FAIL
542.66
ii32b1-00
FAIL
558.13
ev-pr-6x6-19-5-0-1-2-lg
FAIL
562
par16-2-c-00
FAIL
571.77
jnh210-00
FAIL
575.22
jnh301-90
FAIL
575.35
ii32e1-50
FAIL
580.52
jnh213-90
FAIL
589.87
ii32c2-90
FAIL
591.45
jnh301-00
FAIL
591.84
ii8a4-90
FAIL
596.83
ev-pr-6x6-17-5-0-1-2-lg
FAIL
600
ev-pr-6x6-11-5-0-1-2-lg
FAIL
600
k_lin_n-16
FAIL
600
k_lin_n-12
FAIL
600
adder-10-sat
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
s820_d10_s
FAIL
600
C880.blif_0.10_0.20_0_1_out_exact
FAIL
600
s510_d32_s
FAIL
600
s499_d8_s
FAIL
600
ev-pr-6x6-13-5-0-1-2-s
FAIL
600
ev-pr-6x6-17-5-0-1-2-s
FAIL
600
ev-pr-8x8-13-7-0-1-2-lg
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_d7_s
FAIL
600
ev-pr-4x4-7-3-0-0-1-s
FAIL
600
s3330_d4_s
FAIL
600
ev-pr-6x6-9-5-0-1-2-lg
FAIL
600
s713_d4_s
FAIL
600
s1269_d10_s
FAIL
600
s386_d4_s
FAIL
600
s1269_d4_s
FAIL
600
ev-pr-8x8-7-7-0-1-2-lg
FAIL
600
ev-pr-4x4-17-3-0-0-1-s
FAIL
600
ev-pr-4x4-13-3-0-0-1-s
FAIL
600
k_lin_n-20
FAIL
600
ev-pr-6x6-15-5-0-1-2-lg
FAIL
600
s3330_d10_u
FAIL
600
C499.blif_0.10_0.20_0_1_out_exact
FAIL
600
s386_d8_u
FAIL
600
k_ph_p-20
FAIL
600
k_ph_p-12
FAIL
600
ev-pr-6x6-7-5-0-1-2-lg
FAIL
600
term1.blif_0.10_0.20_0_0_out_exact
FAIL
600
s3330_d9_s
FAIL
600
s713_d7_u
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
s1196_d3_u
FAIL
600
C880.blif_0.10_1.00_0_1_inp_exact
FAIL
600
ev-pr-4x4-11-3-0-0-1-s
FAIL
600
k_ph_n-21
FAIL
600
k_ph_n-16
FAIL
600
ev-pr-6x6-5-5-0-1-2-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
C432.blif_0.10_0.20_0_0_inp_exact
FAIL
600
test3_quant2
FAIL
600
s713_d6_s
FAIL
600
k_lin_n-21
FAIL
600
adder-8-sat
FAIL
600
s1269_d11_u
FAIL
600
s499_d22_u
FAIL
600
s1196_d2_s
FAIL
600
k_ph_p-16
FAIL
600
s510_d8_s
FAIL
600
ev-pr-8x8-15-7-0-1-2-lg
FAIL
600
s510_d46_s
FAIL
600
C880.blif_0.10_0.20_0_0_out_exact
FAIL
600
ev-pr-4x4-5-3-0-0-1-s
FAIL
600
s820_d8_s
FAIL
600
ev-pr-8x8-11-7-0-1-2-lg
FAIL
600
ev-pr-8x8-9-7-0-1-2-lg
FAIL
600
C499.blif_0.10_0.20_0_0_out_exact
FAIL
600
ev-pr-8x8-5-7-0-1-2-lg
FAIL
600
s298_d18_s
FAIL
600
Adder2-10-s
FAIL
600
ev-pr-6x6-15-5-0-1-2-s
FAIL
600
s298_d19_u
FAIL
600
ev-pr-6x6-13-5-0-1-2-lg
FAIL
600
s1269_d8_s
FAIL
600
Adder2-8-s
FAIL
600
s820_d11_u
FAIL
600
ev-pr-8x8-17-7-0-1-2-lg
FAIL
600
s3330_d8_s
FAIL
600
s510_d47_u
FAIL
600
s3330_d2_s
FAIL
600
s820_d4_s
FAIL
600
s510_d16_s
FAIL
600
k_ph_p-21
FAIL
600
C499.blif_0.10_0.20_0_1_inp_exact
FAIL
600
C499.blif_0.10_0.20_0_0_inp_exact
FAIL
600
s1269_d2_s
FAIL
600
ev-pr-6x6-7-5-0-1-2-s
FAIL
600
k_lin_n-18
FAIL
600
k_lin_n-10
FAIL
600
k_lin_n-11
FAIL
600
k_lin_n-19
FAIL
600
k_lin_n-14
FAIL
600
k_lin_n-15
FAIL
600
k_lin_n-17
FAIL
600
k_lin_n-13
FAIL
600
k_ph_n-17
FAIL
600
k_ph_n-18
FAIL
600
k_ph_n-19
FAIL
600
k_ph_n-14
FAIL
600
k_ph_n-15
FAIL
600
k_ph_p-17
FAIL
600
k_ph_p-18
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
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
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
nusmv.brp.B-d3
FAIL
600
nusmv.brp.B-d4
FAIL
600
eijk.S208o.S-f2
FAIL
600
eijk.S208.S-f2
FAIL
600
nusmv.syncarb5^2.B-f3
FAIL
600
texas.parsesys^2.E-f3
FAIL
600
vis.4-arbit^1.E-f2
FAIL
600
vis.coherence^3.E-f2
FAIL
600
sortnetsort10.v.stepl.006
FAIL
600
sortnetsort10.v.stepl.007
FAIL
600
sortnetsort9.v.stepl.006
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
c3_Debug_s3_f2_e2_v2
FAIL
600
c3_Debug_s3_f2_e2_v3
FAIL
600
blocks_enc_2_b4_ser--opt-26_
FAIL
600
cube_c7_ser---23_
FAIL
600
cube_c7_ser--opt-24_
FAIL
600
emptyroom_e4_ser--opt-44_
FAIL
600
ring_r6_ser---16_
FAIL
600
ring_r7_ser---19_
FAIL
600
ring_r7_ser--opt-20_
FAIL
600
c2_BMC_p1_k1024
FAIL
600
c3_BMC_p1_k2048
FAIL
600
c5_BMC_p1_k128
FAIL
600
c5_BMC_p1_k256
FAIL
600
c5_BMC_p1_k512
FAIL
600
c5_BMC_p1_k64
FAIL
600
c5_BMC_p2_k128
FAIL
600
c5_BMC_p2_k256
FAIL
600
c5_BMC_p2_k512
FAIL
600
c5_BMC_p2_k64
FAIL
600
ii32b1-90
FAIL
600
ii32b2-00
FAIL
600
ii32b2-50
FAIL
600
ii32b2-90
FAIL
600
ii32c2-00
FAIL
600
ii32c2-50
FAIL
600
ii32c3-00
FAIL
600
ii32c3-50
FAIL
600
ii32c3-90
FAIL
600
ii32d1-90
FAIL
600
ii32e1-00
FAIL
600
ii32e2-50
FAIL
600
ii32e2-90
FAIL
600
jnh1-50
FAIL
600
jnh201-90
FAIL
600
jnh205-50
FAIL
600
jnh205-90
FAIL
600
jnh209-50
FAIL
600
jnh209-90
FAIL
600
jnh210-90
FAIL
600
jnh218-50
FAIL
600
jnh220-50
FAIL
600
jnh220-90
FAIL
600
jnh7-00
FAIL
600
jnh7-50
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-50
FAIL
600
par16-3-c-00
FAIL
600
par16-3-c-50
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
ssa7552-158-00
FAIL
600
ssa7552-158-50
FAIL
600
ssa7552-158-90
FAIL
600
ssa7552-159-50
FAIL
600
ssa7552-160-00
FAIL
600
ssa7552-160-50
FAIL
600
ssa7552-160-90
FAIL
600
k7_4_2
FAIL
600
k10_4_2
FAIL
600
k8_3_4
FAIL
600
k6_3_4
FAIL
600
k6_4_4
FAIL
600
k7_3_3
FAIL
600
k8_4_2
FAIL
600
k6_3_2
FAIL
600
k6_4_2
FAIL
600
k7_3_2
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
k7_2_3
FAIL
600
k10_2_3
FAIL
600
k10_2_2
FAIL
600
k6_3_3
FAIL
600
k6_2_4
FAIL
600
k8_4_4
FAIL
600
k6_4_3
FAIL
600
k10_3_3
FAIL
600
k8_2_2
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
k7_3_4
FAIL
600
k10_3_4
FAIL
600
k6_2_2
FAIL
600
k8_4_3
FAIL
600
k6_2_3
FAIL
600
k8_2_4
FAIL
600
s510_d10_s
FAIL
600
s298_d7_s
FAIL
600
s510_d24_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
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
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