Instances solved by quantor3.0
QBFEVAL'08

InstanceResultTime
flipflop-3-cUNSAT0
impl10SAT0
tree-exa2-15UNSAT0
z4ml.blif_0.10_0.20_0_1_out_exactSAT0
tree-exa2-40UNSAT0
k_path_p-2UNSAT0
k_ph_n-1SAT0
cmu.dme2.B-d2SAT0
eijk.S208o.S-d2SAT0
vis.bakery.E-d2SAT0
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-001UNSAT0
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-001UNSAT0
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-001UNSAT0
stmt44_107_108SAT0
stmt1_20_21SAT0
stmt1_30_31SAT0
counter_e_2SAT0
impl20SAT0
tree-exa10-30SAT0
tree-exa2-45UNSAT0
impl16SAT0
k_ph_n-4SAT0
tree-exa10-25SAT0
impl12SAT0
tree-exa2-25UNSAT0
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0
impl18SAT0
impl04SAT0
counter_r_2SAT0
mutex-2-sSAT0
tree-exa10-10SAT0
adder-2-satSAT0
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0
TOILET2.1.iv.4SAT0
impl02SAT0
Adder2-2-sSAT0
impl06SAT0
z4ml.blif_0.10_1.00_0_1_inp_exactSAT0
tree-exa10-20SAT0
impl14SAT0
TOILET2.1.iv.3UNSAT0
k_branch_p-1UNSAT0
k_dum_n-3SAT0
k_lin_n-1SAT0
k_path_p-3UNSAT0
k_ph_p-2UNSAT0
k_poly_n-2SAT0
k_poly_n-5SAT0
k_poly_p-2UNSAT0
k_poly_p-7UNSAT0
k_poly_p-3UNSAT0
cmu.dme1.B-d2SAT0
eijk.S208o.S-d3SAT0
eijk.S208.S-d2SAT0
eijk.S208.S-d3SAT0
eijk.S298.S-d2SAT0
eijk.S382.S-d2SAT0
eijk.S510.S-d3SAT0
eijk.S526.S-d2SAT0
texas.parsesys^1.E-d3SAT0
vis.eisenberg.E-d2SAT0
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-001UNSAT0
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-001UNSAT0
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001UNSAT0
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-001UNSAT0
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-002UNSAT0
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-001UNSAT0
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001UNSAT0
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-001UNSAT0
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-001UNSAT0
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001UNSAT0
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-001UNSAT0
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-001UNSAT0
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-001UNSAT0
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-001UNSAT0
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-006UNSAT0
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-001UNSAT0
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-001UNSAT0
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-001UNSAT0
stmt32_122_129SAT0
stmt24_7_8SAT0
stmt6_13_14SAT0
stmt44_107_113SAT0
k_dum_n-4SAT0.01
k_poly_n-4SAT0.01
counter_re_2SAT0.01
tree-exa10-15SAT0.01
qshifter_3SAT0.01
impl08SAT0.01
tree-exa2-10UNSAT0.01
k_ph_p-4UNSAT0.01
tree-exa2-20UNSAT0.01
tree-exa2-50UNSAT0.01
flipflop-4-cUNSAT0.01
s27_d2_sSAT0.01
tree-exa2-30UNSAT0.01
counter_2SAT0.01
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT0.01
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT0.01
qshifter_4SAT0.01
tree-exa2-35UNSAT0.01
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT0.01
counter_re_4SAT0.01
k_poly_p-4UNSAT0.01
k_d4_p-1UNSAT0.01
k_dum_n-5SAT0.01
k_dum_n-1SAT0.01
k_dum_n-6SAT0.01
k_dum_p-1UNSAT0.01
k_grz_n-1SAT0.01
k_grz_p-1UNSAT0.01
k_lin_p-2UNSAT0.01
k_lin_p-1UNSAT0.01
k_path_n-2SAT0.01
k_path_n-5SAT0.01
k_path_n-1SAT0.01
k_path_p-5UNSAT0.01
k_path_p-1UNSAT0.01
k_ph_n-2SAT0.01
k_ph_n-3SAT0.01
k_ph_p-1UNSAT0.01
k_ph_p-3UNSAT0.01
k_poly_n-1SAT0.01
k_poly_n-3SAT0.01
k_poly_p-9UNSAT0.01
k_poly_p-10UNSAT0.01
k_poly_p-1UNSAT0.01
k_t4p_n-1SAT0.01
k_t4p_p-1UNSAT0.01
eijk.S208c.S-d3SAT0.01
eijk.S208c.S-d4SAT0.01
eijk.S208o.S-d4SAT0.01
eijk.S420.S-d4SAT0.01
eijk.S444.S-d2SAT0.01
texas.ifetch1^1.E-d3SAT0.01
texas.ifetch1^3.E-d3SAT0.01
texas.parsesys^1.E-d2SAT0.01
vis.bakery.E-d3SAT0.01
texas.ifetch1^4.E-f2UNSAT0.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-001UNSAT0.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-001UNSAT0.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-001UNSAT0.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-001UNSAT0.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-003UNSAT0.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-001UNSAT0.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-001UNSAT0.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-001UNSAT0.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-001UNSAT0.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-001UNSAT0.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-001UNSAT0.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-001UNSAT0.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-001UNSAT0.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-003UNSAT0.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-004UNSAT0.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-002UNSAT0.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-002UNSAT0.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-002UNSAT0.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-001UNSAT0.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-001UNSAT0.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-002UNSAT0.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-002UNSAT0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002UNSAT0.01
c4_BMC_p2_k2UNSAT0.01
stmt24_148_149SAT0.01
stmt1_145_146SAT0.01
k3_2_1SAT0.01
k_path_p-4UNSAT0.01
z4ml.blif_0.10_1.00_0_1_out_exactSAT0.01
mutex-4-sSAT0.01
k_grz_n-4SAT0.01
counter_r_4SAT0.01
CHAIN12v.13SAT0.01
TOILET6.1.iv.12SAT0.01
C432.blif_0.10_1.00_0_1_out_exactSAT0.01
k_dum_p-4UNSAT0.01
counter_4SAT0.01
comp.blif_0.10_1.00_0_1_inp_exactSAT0.01
k_grz_p-4UNSAT0.01
k_poly_p-12UNSAT0.01
k_branch_n-1SAT0.01
k_d4_n-1SAT0.01
k_d4_p-2UNSAT0.01
k_dum_n-2SAT0.01
k_dum_n-10SAT0.01
k_dum_p-2UNSAT0.01
k_dum_p-3UNSAT0.01
k_grz_n-2SAT0.01
k_grz_p-5UNSAT0.01
k_lin_n-2SAT0.01
k_path_n-3SAT0.01
k_path_p-6UNSAT0.01
k_poly_n-7SAT0.01
k_poly_n-9SAT0.01
k_poly_n-10SAT0.01
k_poly_n-11SAT0.01
k_poly_p-5UNSAT0.01
k_poly_p-11UNSAT0.01
k_poly_p-6UNSAT0.01
eijk.S208.S-d4SAT0.01
eijk.S386.S-d2SAT0.01
vis.eisenberg.E-d3SAT0.01
texas.parsesys^4.E-f2UNSAT0.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-001UNSAT0.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-001UNSAT0.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-002UNSAT0.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-001UNSAT0.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-001UNSAT0.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-001UNSAT0.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-002UNSAT0.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-003UNSAT0.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-004UNSAT0.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-001UNSAT0.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-001UNSAT0.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-002UNSAT0.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-003UNSAT0.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-007UNSAT0.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-002UNSAT0.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-002UNSAT0.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-002UNSAT0.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-002UNSAT0.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-001UNSAT0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001UNSAT0.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-002UNSAT0.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-005UNSAT0.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-008UNSAT0.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-009UNSAT0.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-002UNSAT0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001UNSAT0.01
c4_BMC_p1_k2SAT0.01
c4_BMC_p1_k4SAT0.01
c4_BMC_p2_k4UNSAT0.01
k3_1_2SAT0.01
k3_1_1SAT0.01
lut4_XOR_fORUNSAT0.02
comp.blif_0.10_1.00_0_0_inp_exactUNSAT0.02
szymanski-4-sUNSAT0.02
counter_e_4SAT0.02
flipflop-5-cUNSAT0.02
k_path_n-8SAT0.02
CHAIN13v.14SAT0.02
lut4_XOR_f1SAT0.02
comp.blif_0.10_1.00_0_1_out_exactSAT0.02
CHAIN17v.18SAT0.02
CHAIN14v.15SAT0.02
k_poly_n-8SAT0.02
k_poly_n-12SAT0.02
k_poly_p-8UNSAT0.02
CHAIN16v.17SAT0.02
comp.blif_0.10_1.00_0_0_out_exactUNSAT0.02
k_path_n-4SAT0.02
k_path_p-8UNSAT0.02
k_dum_n-12SAT0.02
comp.blif_0.10_0.20_0_1_out_exactSAT0.02
k_d4_p-3UNSAT0.02
k_dum_n-7SAT0.02
k_dum_n-9SAT0.02
k_dum_n-14SAT0.02
k_dum_p-5UNSAT0.02
k_dum_p-9UNSAT0.02
k_dum_p-10UNSAT0.02
k_dum_p-11UNSAT0.02
k_grz_n-3SAT0.02
k_grz_p-2UNSAT0.02
k_grz_p-3UNSAT0.02
k_lin_p-3UNSAT0.02
k_path_n-6SAT0.02
k_path_p-7UNSAT0.02
k_ph_n-5SAT0.02
k_poly_n-6SAT0.02
k_poly_n-14SAT0.02
k_poly_n-13SAT0.02
k_poly_p-14UNSAT0.02
k_poly_p-17UNSAT0.02
k_poly_p-13UNSAT0.02
eijk.S208c.S-d2SAT0.02
eijk.S444.S-d3SAT0.02
eijk.S510.S-d4SAT0.02
eijk.S953.S-d2SAT0.02
texas.parsesys^1.E-d4SAT0.02
texas.ifetch1^4.E-f3UNSAT0.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-002UNSAT0.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-003UNSAT0.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-001UNSAT0.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-005UNSAT0.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-002UNSAT0.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-002UNSAT0.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-004UNSAT0.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-005UNSAT0.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-006UNSAT0.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-007UNSAT0.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-010UNSAT0.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-001UNSAT0.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-002UNSAT0.02
c4_BMC_p1_k8SAT0.02
c4_BMC_p2_k8UNSAT0.02
k3_2_2SAT0.02
adder-2-unsatUNSAT0.02
flipflop-6-cUNSAT0.02
k_dum_n-16SAT0.02
CHAIN15v.16SAT0.02
k_poly_n-16SAT0.02
k_dum_n-8SAT0.02
k_dum_p-8UNSAT0.02
qshifter_5SAT0.02
k_poly_p-16UNSAT0.02
C432.blif_0.10_1.00_0_1_inp_exactSAT0.02
C499.blif_0.10_1.00_0_1_inp_exactSAT0.02
k_dum_n-21SAT0.02
C499.blif_0.10_1.00_0_1_out_exactSAT0.02
k_poly_p-20UNSAT0.02
k_dum_n-19SAT0.02
k_dum_n-17SAT0.02
k_dum_p-7UNSAT0.02
k_dum_p-15UNSAT0.02
k_dum_p-17UNSAT0.02
k_dum_p-13UNSAT0.02
k_grz_n-5SAT0.02
k_grz_n-7SAT0.02
k_grz_n-6SAT0.02
k_grz_p-7UNSAT0.02
k_lin_p-5UNSAT0.02
k_lin_p-6UNSAT0.02
k_path_n-7SAT0.02
k_path_n-10SAT0.02
k_path_p-9UNSAT0.02
k_path_p-10UNSAT0.02
k_path_p-11UNSAT0.02
k_poly_n-18SAT0.02
k_poly_n-19SAT0.02
k_poly_n-15SAT0.02
k_poly_n-17SAT0.02
k_poly_p-19UNSAT0.02
k_t4p_p-2UNSAT0.02
eijk.S298.S-d3SAT0.02
eijk.S382.S-d3SAT0.02
vis.coherence^1.E-d2SAT0.02
texas.parsesys^4.E-f3UNSAT0.02
sortnetsort5.v.stepl.003UNSAT0.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-004UNSAT0.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-005UNSAT0.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-002UNSAT0.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-004UNSAT0.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-005UNSAT0.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-009UNSAT0.02
k_dum_p-21UNSAT0.02
TOILET6.1.iv.11UNSAT0.02
k_poly_n-20SAT0.02
CHAIN18v.19SAT0.02
CHAIN19v.20SAT0.02
BLOCKS3iii.4UNSAT0.02
k_dum_p-12UNSAT0.02
k_poly_p-21UNSAT0.02
k_path_p-12UNSAT0.02
comp.blif_0.10_0.20_0_0_out_exactUNSAT0.02
k_poly_n-21SAT0.02
k_d4_n-2SAT0.02
k_dum_n-18SAT0.02
k_dum_n-11SAT0.02
k_dum_n-15SAT0.02
k_dum_n-13SAT0.02
k_dum_p-18UNSAT0.02
k_dum_p-19UNSAT0.02
k_dum_p-6UNSAT0.02
k_dum_p-14UNSAT0.02
k_grz_p-6UNSAT0.02
k_path_n-9SAT0.02
k_path_p-13UNSAT0.02
k_ph_p-5UNSAT0.02
k_poly_p-18UNSAT0.02
k_poly_p-15UNSAT0.02
k_t4p_n-2SAT0.02
texas.ifetch1^4.E-f4UNSAT0.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-006UNSAT0.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-006UNSAT0.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-007UNSAT0.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-002UNSAT0.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-006UNSAT0.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-007UNSAT0.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-008UNSAT0.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-010UNSAT0.02
c6_BMC_p2_k2UNSAT0.02
comp.blif_0.10_0.20_0_1_inp_exactSAT0.03
comp.blif_0.10_0.20_0_0_inp_exactUNSAT0.03
C432.blif_0.10_1.00_0_0_out_exactUNSAT0.03
k_grz_n-8SAT0.03
k_dum_n-20SAT0.03
k_path_n-12SAT0.03
k_lin_p-4UNSAT0.03
k_dum_p-16UNSAT0.03
s27_d3_uUNSAT0.03
k_grz_p-8UNSAT0.03
k_branch_n-2SAT0.03
k_branch_p-2UNSAT0.03
k_path_n-11SAT0.03
k_path_n-15SAT0.03
k_path_p-14UNSAT0.03
k_path_p-15UNSAT0.03
k_t4p_p-3UNSAT0.03
eijk.S526.S-d3SAT0.03
sortnetsort5.v.stepl.005SAT0.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-002UNSAT0.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-008UNSAT0.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-009UNSAT0.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-002UNSAT0.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-002UNSAT0.03
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002UNSAT0.03
c3_BMC_p2_k2UNSAT0.03
c6_BMC_p1_k2SAT0.03
k_dum_p-20UNSAT0.03
CHAIN20v.21SAT0.03
k_d4_p-4UNSAT0.03
TOILET7.1.iv.14SAT0.03
k_path_n-16SAT0.03
k_path_n-14SAT0.03
k_path_n-13SAT0.03
k_path_p-17UNSAT0.03
k_t4p_n-3SAT0.03
texas.ifetch1^9.E-d3SAT0.03
vis.eisenberg.E-d4SAT0.03
texas.parsesys^4.E-f4UNSAT0.03
sortnetsort5.v.stepl.004UNSAT0.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-007UNSAT0.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-008UNSAT0.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-002UNSAT0.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-008UNSAT0.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-009UNSAT0.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-002UNSAT0.03
c3_BMC_p2_k4UNSAT0.03
c4_BMC_p1_k16SAT0.03
c4_BMC_p2_k16UNSAT0.03
c6_BMC_p2_k4UNSAT0.03
ssa7552-159-00SAT0.03
k_path_p-16UNSAT0.04
CHAIN23v.24SAT0.04
CHAIN22v.23SAT0.04
CHAIN21v.22SAT0.04
k_path_n-18SAT0.04
k_path_n-17SAT0.04
vis.bakery.E-d4SAT0.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-009UNSAT0.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-010UNSAT0.04
k_path_p-20UNSAT0.04
k_path_p-21UNSAT0.04
k_path_n-20SAT0.04
k_path_n-21SAT0.04
k_t4p_n-4SAT0.04
k_lin_p-7UNSAT0.04
k_path_p-18UNSAT0.04
k_path_p-19UNSAT0.04
k_ph_n-6SAT0.04
sortnetsort5.v.stepl.006SAT0.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-010UNSAT0.04
cube_c3_ser--opt-6_SAT0.04
k4_2_2SAT0.04
term1.blif_0.10_1.00_0_1_out_exactSAT0.04
term1.blif_0.10_1.00_0_1_inp_exactSAT0.04
k_lin_n-3SAT0.04
k_path_n-19SAT0.04
eijk.S832.S-d2SAT0.04
vis.4-arbit^1.E-d2SAT0.04
sortnetsort5.v.stepl.007SAT0.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002UNSAT0.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-002UNSAT0.04
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002UNSAT0.04
c6_BMC_p1_k4SAT0.04
cmu.dme2.B-d3SAT0.05
nusmv.reactor^3.C-f4UNSAT0.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-010UNSAT0.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-002UNSAT0.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-002UNSAT0.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-002UNSAT0.05
c3_BMC_p2_k8UNSAT0.05
c4_BMC_p1_k32SAT0.05
c4_BMC_p2_k32UNSAT0.05
k_t4p_p-8UNSAT0.05
flipflop-7-cUNSAT0.05
C432.blif_0.10_1.00_0_0_inp_exactUNSAT0.05
cmu.dme1.B-d3SAT0.05
eijk.S820.S-d2SAT0.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-002UNSAT0.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-002UNSAT0.05
c3_BMC_p1_k2SAT0.05
c6_BMC_p2_k8UNSAT0.05
k_lin_p-9UNSAT0.06
sortnetsort6.v.stepl.003UNSAT0.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-002UNSAT0.06
k_lin_p-8UNSAT0.06
k_t4p_p-10UNSAT0.06
c4_BMC_p2_k64UNSAT0.06
c6_BMC_p1_k8SAT0.06
k_t4p_p-4UNSAT0.07
lut4_2_f1SAT0.07
k_ph_p-6UNSAT0.07
c2_BMC_p2_k2UNSAT0.07
c4_BMC_p1_k64SAT0.07
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002UNSAT0.07
stmt16_0_1SAT0.07
vonNeumann-ripple-carry-5-cUNSAT0.08
BLOCKS3ii.4.3UNSAT0.08
BLOCKS3i.4.4UNSAT0.08
k_t4p_p-16UNSAT0.08
BLOCKS3iii.5SAT0.08
k_ph_n-7SAT0.08
vis.emodel.E-d2SAT0.08
irst.dme4.B-d2SAT0.09
ken.flash^10.C-f2UNSAT0.09
c3_BMC_p2_k16UNSAT0.09
c3_BMC_p1_k4SAT0.09
eijk.S641.S-d3SAT0.1
sortnetsort6.v.stepl.004UNSAT0.1
c2_BMC_p1_k2SAT0.1
term1.blif_0.10_1.00_0_0_inp_exactUNSAT0.1
k_t4p_p-17UNSAT0.1
sortnetsort6.v.stepl.005SAT0.1
c3_BMC_p2_k32UNSAT0.1
qshifter_6SAT0.1
flipflop-8-cUNSAT0.1
c2_BMC_p2_k4UNSAT0.1
lut4_2_fXORSAT0.11
k_lin_p-10UNSAT0.11
c6_BMC_p2_k16UNSAT0.11
Adder2-4-sSAT0.12
k_d4_p-5UNSAT0.12
sortnetsort6.v.stepl.006SAT0.12
BLOCKS3ii.5.2UNSAT0.12
c4_BMC_p2_k128UNSAT0.12
adder-4-satSAT0.12
TOILET10.1.iv.20SAT0.12
Adder2-2-cUNSAT0.13
s298_d2_sSAT0.13
c4_BMC_p1_k128SAT0.13
TOILET7.1.iv.13UNSAT0.13
ken.flash^10.C-f3UNSAT0.13
blocks_enc_2_b3_ser--opt-9_SAT0.13
BLOCKS3i.5.4SAT0.14
k_lin_p-11UNSAT0.14
texas.parsesys^3.E-f2SAT0.14
c5_BMC_p2_k2UNSAT0.14
c6_BMC_p1_k16SAT0.14
BLOCKS3i.5.3UNSAT0.14
sortnetsort6.v.stepl.007SAT0.14
c6_BMC_p2_k32UNSAT0.14
vonNeumann-ripple-carry-6-cUNSAT0.15
c3_BMC_p2_k64UNSAT0.15
BLOCKS3ii.5.3SAT0.15
sortnetsort7.v.stepl.003UNSAT0.16
eijk.S444.S-d4SAT0.17
lut4_AND_f1SAT0.18
k_lin_p-12UNSAT0.18
eijk.S382.S-d4SAT0.18
s27_d4_uUNSAT0.18
c3_BMC_p2_k128UNSAT0.18
flipflop-9-cUNSAT0.18
C5315.blif_0.10_1.00_0_1_out_exactSAT0.19
ken.flash^10.C-f4UNSAT0.19
k_lin_p-13UNSAT0.19
c2_BMC_p1_k4SAT0.19
c5_BMC_p1_k2SAT0.19
c6_BMC_p1_k32SAT0.19
ring_r4_ser--opt-11_UNSAT0.2
k_grz_n-9SAT0.2
k_t4p_n-18SAT0.2
vis.emodel.E-f2UNSAT0.2
c1_BMC_p2_k2UNSAT0.2
term1.blif_0.10_1.00_0_0_out_exactUNSAT0.21
k_lin_n-4SAT0.21
C5315.blif_0.10_1.00_0_1_inp_exactSAT0.21
k_t4p_n-19SAT0.21
k_ph_p-7UNSAT0.22
ring_r3_ser--opt-8_SAT0.22
k_t4p_n-20SAT0.22
k_t4p_n-21SAT0.23
c1_BMC_p1_k2SAT0.24
c3_BMC_p1_k8SAT0.24
vonNeumann-ripple-carry-7-cUNSAT0.24
k_d4_n-3SAT0.24
c4_BMC_p2_k256UNSAT0.24
s499_d2_sSAT0.24
k_lin_p-14UNSAT0.24
c6_BMC_p2_k64UNSAT0.25
c4_BMC_p1_k256SAT0.26
counter_8SAT0.26
k_t4p_p-6UNSAT0.26
par8-4-c-90SAT0.26
eijk.S386.S-d3SAT0.29
c3_BMC_p2_k256UNSAT0.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-002UNSAT0.29
c1_BMC_p2_k4UNSAT0.3
eijk.S349.S-d2SAT0.32
eijk.S344.S-d2SAT0.32
c5_BMC_p2_k4UNSAT0.33
flipflop-10-cUNSAT0.34
c2_BMC_p2_k8UNSAT0.34
c5_BMC_p1_k4SAT0.34
k_lin_p-15UNSAT0.35
eijk.S526.S-d4SAT0.36
irst.dme5.B-d2SAT0.37
nusmv.brp.B-d2SAT0.38
sortnetsort7.v.stepl.004UNSAT0.38
k_ph_n-8SAT0.39
k_lin_p-16UNSAT0.4
c6_BMC_p1_k64SAT0.4
k_grz_p-9UNSAT0.4
eijk.S298.S-d4SAT0.4
lut4_AND_fXORUNSAT0.41
k_branch_p-3UNSAT0.42
c2_BMC_p1_k8SAT0.42
sortnetsort7.v.stepl.006SAT0.42
vonNeumann-ripple-carry-8-cUNSAT0.42
k_t4p_p-5UNSAT0.43
c6_BMC_p2_k128UNSAT0.44
counter_r_8SAT0.44
eijk.S953.S-d3SAT0.44
sortnetsort8.v.stepl.003UNSAT0.45
texas.parsesys^1.E-f2SAT0.46
sortnetsort7.v.stepl.007SAT0.46
c1_BMC_p1_k4SAT0.46
k_lin_p-17UNSAT0.47
mutex-8-sSAT0.48
c4_BMC_p2_k512UNSAT0.48
c3_BMC_p2_k512UNSAT0.5
emptyroom_e3_par--opt-10_SAT0.54
c3_BMC_p1_k16SAT0.55
flipflop-11-cUNSAT0.55
c4_BMC_p1_k512SAT0.55
sortnetsort7.v.stepl.008SAT0.56
vis.arbiter.E-d4SAT0.58
k_lin_p-18UNSAT0.59
k_lin_p-19UNSAT0.6
vonNeumann-ripple-carry-9-cUNSAT0.61
k_lin_n-5SAT0.62
sortnetsort7.v.stepl.009SAT0.62
c5_BMC_p2_k8UNSAT0.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-002UNSAT0.66
c5_BMC_p1_k8SAT0.67
cmu.periodic.N-d2SAT0.68
k_lin_p-20UNSAT0.71
k_branch_n-3SAT0.71
c2_BMC_p2_k16UNSAT0.72
TOILET16.1.iv.32SAT0.73
sortnetsort8.v.stepl.004UNSAT0.8
C499.blif_0.10_1.00_0_0_inp_exactUNSAT0.8
k_d4_p-6UNSAT0.8
c1_BMC_p2_k8UNSAT0.82
k_lin_p-21UNSAT0.84
c6_BMC_p2_k256UNSAT0.85
ii8a1-50SAT0.85
flipflop-12-cUNSAT0.88
emptyroom_e3_ser--opt-20_SAT0.89
c3_BMC_p1_k32SAT0.92
c6_BMC_p1_k128SAT0.92
par8-1-c-90UNSAT0.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-002UNSAT0.94
c3_BMC_p2_k1024UNSAT0.94
s510_d2_sSAT0.97
vonNeumann-ripple-carry-10-cUNSAT0.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-002UNSAT1
c2_BMC_p1_k16SAT1
c4_BMC_p2_k1024UNSAT1.02
ii8a1-90SAT1.07
c1_BMC_p1_k8SAT1.08
c2_BMC_p2_k32UNSAT1.1
sortnetsort8.v.stepl.006SAT1.13
eijk.S1423.S-d2SAT1.16
c4_BMC_p1_k1024SAT1.17
szymanski-5-sUNSAT1.18
k_grz_p-11UNSAT1.2
stmt17_18_19SAT1.24
c5_BMC_p2_k16UNSAT1.26
cube_c5_ser--opt-15_SAT1.27
qshifter_7SAT1.34
vonNeumann-ripple-carry-11-cUNSAT1.37
aim-50-6_0-yes1-3-50UNSAT1.37
C499.blif_0.10_1.00_0_0_out_exactUNSAT1.38
stmt7_33_34SAT1.45
sortnetsort8.v.stepl.007SAT1.47
irst.dme6.B-d2SAT1.5
k_ph_n-9SAT1.5
c5_BMC_p1_k16SAT1.51
k_ph_p-8UNSAT1.51
lut4_2_f2UNSAT1.57
k_grz_n-10SAT1.59
c3_BMC_p1_k64SAT1.6
aim-50-6_0-yes1-2-90UNSAT1.62
s386_d2_sSAT1.65
c6_BMC_p2_k512UNSAT1.68
sortnetsort8.v.stepl.008SAT1.69
vonNeumann-ripple-carry-12-cUNSAT1.8
c1_BMC_p2_k32UNSAT1.8
c1_BMC_p2_k16UNSAT1.81
c3_BMC_p2_k2048UNSAT1.86
c2_BMC_p2_k64UNSAT1.88
k_grz_n-11SAT1.88
lut4_3_fANDSAT1.9
aim-50-6_0-yes1-1-90SAT1.9
s27_d5_uUNSAT1.94
sortnetsort8.v.stepl.009SAT1.94
c5_BMC_p2_k32UNSAT1.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-002UNSAT1.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-002UNSAT2.06
c2_BMC_p1_k32SAT2.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-002UNSAT2.06
c1_BMC_p1_k16SAT2.11
c4_BMC_p2_k2048UNSAT2.13
par8-4-c-50SAT2.13
aim-50-6_0-yes1-2-00UNSAT2.2
s298_d3_sSAT2.2
par8-2-c-90UNSAT2.21
k_grz_p-10UNSAT2.26
stmt21_4_5UNSAT2.28
c5_BMC_p1_k32SAT2.32
vonNeumann-ripple-carry-13-cUNSAT2.4
vis.bakery.E-f2SAT2.42
par8-2-c-50UNSAT2.43
aim-50-6_0-yes1-2-50UNSAT2.45
sortnetsort7.v.stepl.005UNSAT2.48
C5315.blif_0.10_1.00_0_0_inp_exactUNSAT2.69
texas.parsesys^2.E-f2UNSAT2.8
c1_BMC_p2_k2048FAIL2.81
par8-3-c-90UNSAT2.82
c6_BMC_p1_k256SAT2.9
c1_BMC_p1_k32SAT2.92
aim-50-6_0-yes1-3-90SAT2.93
k_t4p_p-7UNSAT3.08
k_d4_n-4SAT3.18
sortnetsort9.v.stepl.004UNSAT3.25
k_grz_n-13SAT3.28
c1_BMC_p2_k64UNSAT3.31
c6_BMC_p2_k1024UNSAT3.46
c2_BMC_p2_k128UNSAT3.49
c4_BMC_p1_k2048SAT3.6
aim-50-1_6-yes1-2-90UNSAT3.8
C5315.blif_0.10_1.00_0_0_out_exactUNSAT4.05
stmt17_143_144SAT4.05
k_grz_n-12SAT4.06
vis.eisenberg.E-f2SAT4.17
c1_BMC_p1_k64SAT4.23
c3_BMC_p1_k128SAT4.25
eijk.S1238.S-d2SAT4.26
vonNeumann-ripple-carry-15-cUNSAT4.28
sortnetsort9.v.stepl.008SAT4.56
nusmv.syncarb5^2.B-f2SAT4.58
c2_BMC_p1_k64SAT4.65
par8-1-c-00UNSAT4.82
par8-4-c-00SAT4.89
lognBWLARGEA1UNSAT4.94
sortnetsort9.v.stepl.009SAT5.09
vis.emodel.E-d3SAT5.14
texas.parsesys^3.E-f3SAT5.18
par8-5-c-90UNSAT5.23
par8-3-c-50UNSAT5.33
c1_BMC_p2_k128UNSAT5.38
sortnetsort9.v.stepl.010SAT5.64
ken.flash^13.C-d2UNSAT5.69
sortnetsort10.v.stepl.004UNSAT5.89
k_grz_p-12UNSAT5.93
k_grz_p-13UNSAT5.95
par8-5-50SAT6.13
sortnetsort9.v.stepl.011SAT6.15
BLOCKS4iii.6UNSAT6.22
par8-3-c-00SAT6.22
k_d4_p-7UNSAT6.38
eijk.S1196.S-d2SAT6.54
c2_BMC_p2_k256UNSAT6.63
counter_re_8SAT6.94
par8-1-c-50UNSAT7.01
sortnetsort9.v.stepl.012SAT7.06
nusmv.dme2-16.B-d2SAT7.22
k_grz_p-15UNSAT7.22
c6_BMC_p2_k2048UNSAT7.29
c1_BMC_p1_k128SAT7.46
par8-2-00UNSAT7.85
eijk.S832.S-d3SAT8.02
k_grz_p-17UNSAT8.18
c4_Debug_s3_f2_e2_v3FAIL8.25
counter_e_8SAT8.33
sortnetsort8.v.stepl.005UNSAT8.4
aim-50-6_0-yes1-4-90SAT8.45
BLOCKS4iii.7SAT8.46
aim-50-6_0-yes1-4-00SAT8.47
BLOCKS4ii.6.3UNSAT8.48
k_grz_n-15SAT8.48
k_ph_n-10SAT8.51
k_grz_n-14SAT8.57
s499_d3_sSAT8.59
BLOCKS4i.6.4UNSAT8.68
k_grz_p-18UNSAT8.82
k_grz_p-16UNSAT8.84
k_grz_n-18SAT8.88
aim-50-1_6-yes1-4-90UNSAT9.19
eijk.S820.S-d3SAT9.29
aim-50-6_0-yes1-3-00UNSAT9.43
c1_BMC_p2_k256UNSAT9.48
k_grz_p-19UNSAT9.53
aim-50-3_4-yes1-4-00UNSAT9.83
Adder2-6-sSAT10.23
adder-6-satSAT10.31
BLOCKS4ii.7.2UNSAT10.37
cmu.dme2.B-d4SAT10.48
k_lin_n-8SAT10.49
k_lin_n-9SAT10.52
term1.blif_0.10_0.20_0_1_out_exactSAT10.65
k_grz_p-21UNSAT10.71
k_grz_n-19SAT11.01
lognBWLARGEB1UNSAT11.05
k_grz_n-21SAT11.13
s298_d4_sSAT11.16
aim-50-3_4-yes1-3-90UNSAT11.21
stmt44_40_41UNSAT11.32
par8-5-c-00UNSAT11.37
aim-50-3_4-yes1-4-50UNSAT11.43
aim-50-3_4-yes1-2-90SAT11.67
aim-50-3_4-yes1-1-00UNSAT11.88
k_grz_n-20SAT12.05
c1_BMC_p1_k256SAT12.75
c2_BMC_p2_k512UNSAT12.76
sortnetsort10.v.stepl.008SAT12.95
c1_BMC_p2_k512UNSAT12.96
k_grz_p-14UNSAT13.1
jnh7-90SAT13.11
szymanski-6-sUNSAT13.47
cube_c9_par--opt-11_SAT13.5
aim-50-3_4-yes1-1-50UNSAT14.18
aim-50-6_0-yes1-4-50UNSAT14.25
qshifter_8SAT14.63
aim-50-6_0-yes1-1-00UNSAT14.76
aim-50-2_0-yes1-4-90SAT14.83
irst.dme4.B-d3SAT14.88
c6_BMC_p1_k512SAT15.15
sortnetsort10.v.stepl.009SAT15.23
c3_BMC_p1_k256SAT15.29
sortnetsort10.v.stepl.010SAT15.54
k_grz_n-16SAT15.62
sortnetsort10.v.stepl.011SAT16.58
aim-50-6_0-yes1-1-50UNSAT16.62
par8-2-c-00UNSAT17
k_grz_n-17SAT17.22
jnh213-50SAT17.77
sortnetsort10.v.stepl.012SAT18.14
sortnetsort9.v.stepl.005UNSAT18.31
aim-50-2_0-yes1-1-00UNSAT18.39
cube_c9_par---10_UNSAT18.45
ken.flash^02.C-d2SAT19.27
sortnetsort9.v.stepl.007SAT19.3
c2_BMC_p1_k128SAT20.64
szymanski-18-sFAIL21.04
szymanski-16-sFAIL21.17
szymanski-20-sFAIL21.49
szymanski-14-sFAIL21.8
szymanski-22-sFAIL22.05
par8-4-90UNSAT22.11
par8-5-90UNSAT23.28
k_grz_p-20UNSAT23.31
szymanski-24-sFAIL23.35
mutex-32-sFAIL23.46
mutex-128-sFAIL23.51
k_branch_p-6FAIL23.58
k_d4_p-17FAIL24.01
k_d4_p-13FAIL24.02
k_d4_p-12FAIL24.03
k_d4_p-21FAIL24.04
k_d4_p-9FAIL24.05
k_d4_p-14FAIL24.05
k_d4_p-16FAIL24.07
k_d4_p-15FAIL24.09
k_d4_p-10FAIL24.09
k_d4_p-20FAIL24.14
k_branch_n-6FAIL24.19
k_branch_n-4FAIL24.25
k_branch_p-7FAIL24.25
k_branch_p-10FAIL24.35
k_d4_p-11FAIL24.37
mutex-64-sFAIL24.39
k_d4_n-10FAIL24.44
k_d4_p-19FAIL24.5
c1_BMC_p1_k512SAT24.54
k_branch_p-4FAIL24.58
par8-2-90UNSAT24.65
aim-50-3_4-yes1-1-90UNSAT24.69
c1_BMC_p2_k1024UNSAT24.72
k_branch_n-7FAIL24.75
k_d4_n-7FAIL25.2
stmt31_22_23UNSAT25.23
k_branch_p-9FAIL25.34
c2_BMC_p2_k1024UNSAT25.37
k_branch_p-8FAIL25.42
k_t4p_p-11FAIL25.71
k_branch_n-9FAIL25.8
k_t4p_n-5FAIL25.82
k_t4p_n-14FAIL25.83
k_t4p_n-11FAIL25.89
k_t4p_n-7FAIL25.93
k_t4p_n-17FAIL25.96
k_t4p_n-16FAIL26.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004FAIL26.01
k_t4p_n-6FAIL26.06
k_t4p_n-15FAIL26.07
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.08
k_t4p_n-9FAIL26.09
k_t4p_n-10FAIL26.09
k_t4p_n-8FAIL26.11
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.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-004FAIL26.19
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.2
szymanski-12-sFAIL26.27
k_t4p_n-12FAIL26.28
k_t4p_n-13FAIL26.31
k_branch_n-8FAIL26.31
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.34
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.37
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.39
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.4
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL26.41
k_d4_n-15FAIL26.49
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.53
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL26.55
k_t4p_p-9UNSAT26.55
k_t4p_p-13FAIL26.57
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL26.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-007FAIL26.6
irst.dme6.B-f2FAIL26.62
k_d4_n-8FAIL26.66
c1_Debug_s5_f1_e1_v2SAT26.66
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL26.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-006FAIL26.7
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.7
uclid-pipe3bFAIL26.74
k_d4_n-21FAIL26.75
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003FAIL26.77
k_d4_n-19FAIL26.8
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004FAIL26.8
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005FAIL26.82
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL26.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-005FAIL26.91
C880.blif_0.10_1.00_0_1_out_exactSAT26.91
k_d4_n-13FAIL26.94
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL26.97
k_d4_n-20FAIL27
cmu.dme1.B-f4FAIL27.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-005FAIL27.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-006FAIL27.08
k_d4_n-18FAIL27.14
k_branch_p-11FAIL27.17
k_branch_n-11FAIL27.22
k_d4_n-17FAIL27.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-007FAIL27.26
k_branch_n-14FAIL27.27
k_d4_n-11FAIL27.28
k_d4_n-16FAIL27.29
nusmv.dme1-16.B-f2FAIL27.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-009FAIL27.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-009FAIL27.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-005FAIL27.39
C5315.blif_0.10_0.20_0_1_inp_exactFAIL27.41
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL27.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-004FAIL27.42
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL27.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-007FAIL27.43
C5315.blif_0.10_0.20_0_0_inp_exactFAIL27.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-005FAIL27.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-007FAIL27.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-009FAIL27.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-006FAIL27.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-008FAIL27.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-007FAIL27.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-005FAIL27.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-009FAIL27.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-004FAIL27.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-008FAIL27.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-010FAIL27.6
eijk.bs4863.S-f2FAIL27.62
texas.two_proc^6.E-f4FAIL27.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-008FAIL27.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-010FAIL27.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-005FAIL27.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-005FAIL27.72
k_d4_n-12FAIL27.74
k_t4p_p-19FAIL27.75
k_d4_n-14FAIL27.75
k_d4_n-6FAIL27.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-008FAIL27.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-005FAIL27.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-005FAIL27.81
texas.two_proc^4.E-f4FAIL27.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-008FAIL27.83
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005FAIL27.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-007FAIL27.87
k_branch_n-5FAIL27.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-004FAIL27.89
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006FAIL27.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-004FAIL27.93
Adder2-6-cFAIL27.94
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006FAIL28
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-006FAIL28.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-007FAIL28.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008FAIL28.07
test1_quant3FAIL28.07
k_branch_p-5FAIL28.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-010FAIL28.09
k_d4_p-18FAIL28.1
counter_re_16FAIL28.13
eijk.S526.S-f3FAIL28.15
texas.two_proc^5.E-f4FAIL28.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-004FAIL28.15
nusmv.dme1-16.B-f3FAIL28.17
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004FAIL28.17
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL28.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-009FAIL28.22
vis.4-arbit^1.E-d4FAIL28.22
cmu.dme2.B-f4FAIL28.22
eijk.bs1512.S-f4FAIL28.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-007FAIL28.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-010FAIL28.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-004FAIL28.28
k_d4_n-9FAIL28.28
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004FAIL28.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-007FAIL28.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-006FAIL28.3
texas.PI_main^14.E-f4FAIL28.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-010FAIL28.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-007FAIL28.33
nusmv.guidance^2.C-f2FAIL28.38
nusmv.guidance^3.C-f3FAIL28.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-007FAIL28.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-009FAIL28.42
nusmv.guidance^8.C-f3FAIL28.43
eijk.S510.S-f4FAIL28.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-006FAIL28.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-008FAIL28.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-006FAIL28.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-007FAIL28.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-004FAIL28.49
nusmv.guidance^6.C-f3FAIL28.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-008FAIL28.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-009FAIL28.53
k_branch_p-15FAIL28.54
nusmv.guidance^9.C-f3FAIL28.56
texas.PI_main^08.E-f4FAIL28.56
texas.PI_main^15.E-f4FAIL28.59
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005FAIL28.62
eijk.bs3271.S-f4FAIL28.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-009FAIL28.63
counter_re_32FAIL28.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-010FAIL28.65
k_branch_n-15FAIL28.66
ken.oop^2.C-d2FAIL28.69
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL28.69
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL28.69
counter_re_64FAIL28.71
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003FAIL28.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-008FAIL28.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-007FAIL28.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-006FAIL28.76
nusmv.reactor^6.C-f3FAIL28.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-006FAIL28.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-009FAIL28.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-010FAIL28.78
Adder2-8-cFAIL28.78
k_d4_p-8FAIL28.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-006FAIL28.79
eijk.bs3271.S-f2FAIL28.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-009FAIL28.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-008FAIL28.82
eijk.S1423.S-f2FAIL28.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-005FAIL28.83
vis.coherence^1.E-f4FAIL28.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-008FAIL28.91
eijk.S838.S-f4FAIL28.92
nusmv.guidance^1.C-f2FAIL28.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-008FAIL28.92
nusmv.guidance^7.C-f2FAIL28.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-010FAIL28.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-004FAIL28.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-008FAIL28.96
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL28.97
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL29
eijk.bs3384.S-f3FAIL29.03
eijk.bs3271.S-f3FAIL29.03
eijk.bs4863.S-f3FAIL29.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-009FAIL29.03
test1_quant2FAIL29.04
vis.prodcell^04.E-f3FAIL29.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-010FAIL29.05
vis.coherence^2.E-f4FAIL29.06
eijk.bs3384.S-f2FAIL29.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-010FAIL29.09
nusmv.guidance^5.C-f2FAIL29.1
nusmv.guidance^6.C-f2FAIL29.11
eijk.S526.S-f4FAIL29.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-007FAIL29.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-006FAIL29.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-008FAIL29.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-006FAIL29.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-006FAIL29.17
vis.prodcell^07.E-f3FAIL29.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-006FAIL29.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-010FAIL29.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-007FAIL29.22
vis.prodcell^09.E-f3FAIL29.23
vis.prodcell^02.E-f3FAIL29.24
vis.prodcell^05.E-f3FAIL29.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-009FAIL29.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-004FAIL29.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-009FAIL29.25
cmu.dme1.B-f3FAIL29.26
eijk.S444.S-f3FAIL29.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-006FAIL29.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-008FAIL29.27
vis.prodcell^15.E-f3FAIL29.28
vis.prodcell^01.E-f3FAIL29.29
vis.prodcell^21.E-f3FAIL29.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-004FAIL29.3
vis.prodcell^11.E-f3FAIL29.31
vis.prodcell^20.E-f3FAIL29.31
vis.coherence^5.E-f4FAIL29.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-009FAIL29.31
vis.prodcell^24.E-f3FAIL29.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-008FAIL29.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-010FAIL29.35
vis.prodcell^08.E-f3FAIL29.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-010FAIL29.38
vis.prodcell^17.E-f3FAIL29.39
nusmv.queue.B-f4FAIL29.39
vis.prodcell^16.E-f3FAIL29.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-009FAIL29.39
nusmv.guidance^5.C-f3FAIL29.4
uclid-pipe3aFAIL29.41
nusmv.guidance^2.C-f3FAIL29.41
nusmv.guidance^4.C-f4FAIL29.41
vis.coherence^3.E-f4FAIL29.41
vis.coherence^1.E-d4FAIL29.42
nusmv.guidance^7.C-f3FAIL29.42
vis.prodcell^10.E-f3FAIL29.42
nusmv.guidance^3.C-f4FAIL29.46
vis.prodcell^13.E-f3FAIL29.46
vis.prodcell^14.E-f3FAIL29.46
vis.prodcell^23.E-f3FAIL29.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-010FAIL29.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-008FAIL29.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-005FAIL29.47
vis.prodcell^22.E-f3FAIL29.47
k_branch_n-12FAIL29.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-008FAIL29.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-010FAIL29.55
vis.prodcell^18.E-f3FAIL29.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-009FAIL29.6
vis.prodcell^06.E-f3FAIL29.61
eijk.S5378.S-f3FAIL29.64
nusmv.guidance^8.C-f4FAIL29.64
nusmv.dme1-16.B-f4FAIL29.65
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL29.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-008FAIL29.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-006FAIL29.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-009FAIL29.68
ken.flash^04.C-f4FAIL29.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-010FAIL29.72
nusmv.guidance^4.C-f3FAIL29.72
stmt1_629_630FAIL29.73
nusmv.queue.B-d3FAIL29.75
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL29.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-005FAIL29.75
test1_quant_squaring2FAIL29.76
k_branch_n-10FAIL29.77
k_t4p_p-18FAIL29.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-005FAIL29.79
nusmv.tcas^1.B-f2FAIL29.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-003FAIL29.79
eijk.S713.S-f2FAIL29.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-007FAIL29.8
nusmv.tcas-t^1.B-d2FAIL29.8
vis.prodcell^12.E-f3FAIL29.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-003FAIL29.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-008FAIL29.82
nusmv.tcas^1.B-d2FAIL29.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-010FAIL29.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-007FAIL29.82
texas.PI_main^10.E-f4FAIL29.83
nusmv.guidance^5.C-f4FAIL29.84
counter_r_32FAIL29.86
k_branch_p-12FAIL29.86
eijk.S298.S-f3FAIL29.9
eijk.bs6669.S-f4FAIL29.92
nusmv.reactor^7.C-f3FAIL29.92
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL29.93
k_branch_n-16FAIL29.96
vis.prodcell^03.E-f3FAIL30
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-003FAIL30
vis.elevator^1.E-d3FAIL30.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-008FAIL30.07
eijk.S1423.S-f4FAIL30.08
nusmv.guidance^2.C-f4FAIL30.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-008FAIL30.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-005FAIL30.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-006FAIL30.14
irst.dme4.B-f2FAIL30.18
nusmv.queue.B-f2FAIL30.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-010FAIL30.19
C880.blif_0.10_0.20_0_1_inp_exactFAIL30.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-004FAIL30.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-006FAIL30.24
counter_r_16FAIL30.25
nusmv.guidance^9.C-f4FAIL30.26
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005FAIL30.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-007FAIL30.27
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005FAIL30.27
texas.PI_main^08.E-f3FAIL30.3
vis.prodcell^19.E-f3FAIL30.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-006FAIL30.31
eijk.S510.S-f3FAIL30.34
eijk.bs1512.S-f3FAIL30.35
texas.PI_main^13.E-f4FAIL30.35
ken.flash^09.C-d4FAIL30.35
nusmv.guidance^6.C-f4FAIL30.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-008FAIL30.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-005FAIL30.41
cmu.dme2.B-f3FAIL30.42
ken.oop^1.C-f2FAIL30.42
stmt41_262_275FAIL30.44
k_branch_p-16FAIL30.46
texas.two_proc^2.E-f3FAIL30.46
eijk.S641.S-f2FAIL30.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-010FAIL30.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-010FAIL30.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-010FAIL30.47
nusmv.guidance^7.C-f4FAIL30.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-008FAIL30.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-007FAIL30.51
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008FAIL30.52
texas.PI_main^16.E-f4FAIL30.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-006FAIL30.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-007FAIL30.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-004FAIL30.56
irst.dme4.B-f3FAIL30.58
texas.PI_main^01.E-f4FAIL30.6
eijk.S5378.S-f2FAIL30.61
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL30.61
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL30.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-008FAIL30.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-010FAIL30.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-006FAIL30.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-008FAIL30.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-009FAIL30.67
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008FAIL30.67
C880.blif_0.10_0.20_0_0_inp_exactFAIL30.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-004FAIL30.69
texas.two_proc^5.E-f3FAIL30.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-006FAIL30.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-009FAIL30.72
cmu.dme1.B-f2FAIL30.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-006FAIL30.73
nusmv.reactor^4.C-f3FAIL30.74
test1_quant_squaring3FAIL30.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-006FAIL30.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-006FAIL30.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-006FAIL30.79
nusmv.guidance^1.C-f4FAIL30.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-009FAIL30.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-008FAIL30.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-006FAIL30.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-005FAIL30.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-005FAIL30.85
vis.elevator^2.E-f4FAIL30.89
texas.PI_main^14.E-f3FAIL30.89
ken.flash^06.C-f2FAIL30.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-010FAIL30.91
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL30.93
nusmv.queue.B-f3FAIL30.93
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003FAIL30.93
C6288.blif_0.10_0.20_0_1_out_exactFAIL30.94
c1_Debug_s3_f1_e1_v2SAT30.96
ken.flash^10.C-d4FAIL30.98
eijk.bs1512.S-f2FAIL30.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-005FAIL30.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-005FAIL30.98
nusmv.reactor^5.C-f3FAIL30.99
vis.elevator^1.E-f4FAIL30.99
nusmv.tcas-t^1.B-d3FAIL31
texas.ifetch1^8.E-f4FAIL31.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-008FAIL31.11
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006FAIL31.12
stmt17_99_98FAIL31.13
eijk.S444.S-f2FAIL31.14
stmt16_68_69FAIL31.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-008FAIL31.16
k_t4p_p-12FAIL31.17
vis.prodcell^02.E-f4FAIL31.18
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL31.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-008FAIL31.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-006FAIL31.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-005FAIL31.24
texas.two_proc^4.E-f3FAIL31.24
C6288.blif_0.10_0.20_0_0_out_exactFAIL31.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-007FAIL31.26
C6288.blif_0.10_1.00_0_0_out_exactFAIL31.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-009FAIL31.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-009FAIL31.28
eijk.S344.S-f3FAIL31.3
eijk.S510.S-f2FAIL31.31
nusmv.reactor^4.C-f2FAIL31.32
texas.PI_main^03.E-f4FAIL31.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-007FAIL31.33
nusmv.guidance^1.C-d4FAIL31.35
texas.PI_main^02.E-f3FAIL31.38
k_branch_n-13FAIL31.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-009FAIL31.42
ken.flash^04.C-f2FAIL31.46
counter_r_64FAIL31.47
texas.ifetch1^5.E-f4FAIL31.47
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006FAIL31.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-010FAIL31.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-009FAIL31.52
C6288.blif_0.10_1.00_0_1_out_exactFAIL31.53
nusmv.reactor^5.C-f4FAIL31.54
stmt16_76_77FAIL31.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-003FAIL31.55
texas.PI_main^15.E-f3FAIL31.55
stmt16_47_48FAIL31.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-010FAIL31.57
par8-5-00UNSAT31.57
nusmv.tcas^3.B-f2FAIL31.6
vis.elevator^3.E-f4FAIL31.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-005FAIL31.62
stmt1_787_788FAIL31.62
eijk.S838.S-f3FAIL31.63
par8-2-50UNSAT31.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-010FAIL31.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-009FAIL31.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-004FAIL31.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-003FAIL31.7
eijk.S382.S-f2FAIL31.72
texas.PI_main^11.E-f3FAIL31.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-010FAIL31.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-004FAIL31.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-004FAIL31.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-004FAIL31.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-008FAIL31.78
ken.flash^09.C-f4FAIL31.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-008FAIL31.8
texas.ifetch1^2.E-f4FAIL31.83
adder-4-unsatFAIL31.84
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL31.85
k12_3_2FAIL31.88
aim-50-1_6-yes1-1-50SAT31.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-006FAIL31.89
eijk.S349.S-f2FAIL31.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-007FAIL31.91
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003FAIL31.91
ken.oop^1.C-d2FAIL31.91
stmt27_93_98FAIL31.92
eijk.bs3330.S-f2FAIL31.94
texas.ifetch1^7.E-f4FAIL31.96
adder-6-unsatFAIL31.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-003FAIL31.98
eijk.bs6669.S-f3FAIL31.99
k10_4_3FAIL32.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-004FAIL32.02
k12_4_2FAIL32.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-007FAIL32.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-006FAIL32.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-009FAIL32.15
C6288.blif_0.10_1.00_0_0_inp_exactFAIL32.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-003FAIL32.17
nusmv.dme1-16.B-d2SAT32.2
aim-50-3_4-yes1-3-50SAT32.23
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL32.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-006FAIL32.25
k_branch_p-13FAIL32.27
vis.coherence^3.E-f3FAIL32.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-008FAIL32.28
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL32.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-009FAIL32.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-009FAIL32.32
C6288.blif_0.10_1.00_0_1_inp_exactFAIL32.32
cmu.gigamax.B-f4FAIL32.32
nusmv.tcas^2.B-f2FAIL32.32
vis.eisenberg.E-f4FAIL32.34
texas.two_proc^6.E-f3FAIL32.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-003FAIL32.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-005FAIL32.37
nusmv.tcas-t^3.B-f2FAIL32.39
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004FAIL32.41
nusmv.reactor^7.C-f2FAIL32.43
eijk.bs6669.S-f2FAIL32.45
eijk.S1423.S-f3FAIL32.47
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL32.47
texas.ifetch1^9.E-f4FAIL32.5
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL32.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-004FAIL32.52
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006FAIL32.53
ken.flash^09.C-f2FAIL32.54
eijk.bs3384.S-f4FAIL32.54
k12_2_4FAIL32.56
stmt37_941_942FAIL32.59
vis.prodcell^01.E-f4FAIL32.59
vis.prodcell^03.E-f4FAIL32.63
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL32.63
texas.ifetch1^3.E-f4FAIL32.64
vis.prodcell^05.E-f4FAIL32.65
vis.prodcell^07.E-f4FAIL32.67
vis.coherence^1.E-f3FAIL32.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-007FAIL32.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-008FAIL32.69
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL32.7
k_branch_p-18FAIL32.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-006FAIL32.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-004FAIL32.73
texas.ifetch1^1.E-f4FAIL32.74
vis.coherence^2.E-f3FAIL32.75
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL32.77
vis.prodcell^10.E-f4FAIL32.79
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL32.79
Adder2-12-cFAIL32.79
eijk.S641.S-f4FAIL32.81
vis.prodcell^08.E-f4FAIL32.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-010FAIL32.85
k_branch_n-18FAIL32.85
texas.ifetch1^7.E-f3FAIL32.86
vis.prodcell^20.E-f4FAIL32.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-008FAIL32.89
vis.prodcell^15.E-f4FAIL32.9
vis.prodcell^23.E-f4FAIL32.91
cmu.dme2.B-f2FAIL32.94
eijk.S298.S-f4FAIL32.95
vis.prodcell^18.E-f4FAIL32.95
k_t4p_p-21FAIL32.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-010FAIL32.99
vis.prodcell^14.E-f4FAIL33
vis.prodcell^12.E-f4FAIL33.03
vis.prodcell^22.E-f4FAIL33.04
eijk.S382.S-f3FAIL33.04
k_t4p_p-14FAIL33.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-007FAIL33.08
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008FAIL33.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-009FAIL33.11
nusmv.brp.B-f3FAIL33.11
vis.prodcell^16.E-f4FAIL33.11
vis.prodcell^19.E-f4FAIL33.11
vis.coherence^2.E-f2FAIL33.12
nusmv.tcas^3.B-f4FAIL33.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-006FAIL33.14
eijk.S5378.S-f4FAIL33.15
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL33.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-007FAIL33.17
counter_e_16FAIL33.19
ken.oop^1.C-d3FAIL33.19
nusmv.reactor^2.C-f2FAIL33.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-009FAIL33.22
eijk.S382.S-f4FAIL33.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-007FAIL33.25
c2_Debug_s3_f1_e1_v2SAT33.27
vis.prodcell^17.E-f4FAIL33.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-005FAIL33.3
nusmv.tcas-t^6.B-f4FAIL33.3
eijk.S349.S-f3FAIL33.32
nusmv.reactor^6.C-f4FAIL33.35
counter_e_32FAIL33.36
texas.ifetch1^5.E-f3FAIL33.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-003FAIL33.41
vis.prodcell^04.E-f4FAIL33.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-005FAIL33.45
ken.flash^11.C-d4FAIL33.45
C5315.blif_0.10_0.20_0_1_out_exactFAIL33.47
vis.prodcell^24.E-f4FAIL33.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-009FAIL33.48
adder-8-unsatFAIL33.49
vis.prodcell^13.E-f4FAIL33.49
C5315.blif_0.10_0.20_0_0_out_exactFAIL33.53
k12_4_4FAIL33.53
texas.ifetch1^5.E-f2FAIL33.55
eijk.S386.S-f3FAIL33.56
eijk.S386.S-f2FAIL33.57
vis.prodcell^06.E-f4FAIL33.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-004FAIL33.57
k12_3_4FAIL33.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-003FAIL33.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-004FAIL33.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-007FAIL33.61
counter_e_64FAIL33.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-009FAIL33.66
nusmv.tcas^6.B-f4FAIL33.7
stmt19_257_266FAIL33.7
vis.prodcell^21.E-f4FAIL33.71
ken.flash^04.C-d2FAIL33.71
vis.prodcell^11.E-f4FAIL33.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-005FAIL33.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-009FAIL33.73
eijk.S820.S-f4FAIL33.75
vis.arbiter.E-f3FAIL33.76
szymanski-10-sFAIL33.77
vis.elevator^2.E-f3FAIL33.79
uclid-pipe2FAIL33.8
nusmv.tcas^2.B-f4FAIL33.8
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL33.8
nusmv.guidance^4.C-f2FAIL33.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-003FAIL33.84
ken.flash^11.C-f2FAIL33.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-008FAIL33.85
eijk.S444.S-f4FAIL33.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-005FAIL33.87
adder-10-unsatFAIL33.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-007FAIL33.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-005FAIL33.97
vis.prodcell^09.E-f4FAIL33.97
stmt9_445_446FAIL33.99
nusmv.tcas-t^3.B-f4FAIL33.99
stmt38_943_942FAIL33.99
vis.elevator^1.E-f3FAIL34.01
ken.flash^08.C-f2FAIL34.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-006FAIL34.11
ken.flash^11.C-f4FAIL34.14
cmu.periodic.N-f4FAIL34.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-009FAIL34.16
test2_quant2FAIL34.18
eijk.bs3330.S-f4FAIL34.19
nusmv.queue.B-d2FAIL34.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-010FAIL34.21
texas.ifetch1^7.E-f2FAIL34.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-007FAIL34.22
texas.ifetch1^9.E-f3FAIL34.25
nusmv.tcas-t^2.B-f4FAIL34.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-003FAIL34.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-003FAIL34.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-010FAIL34.35
nusmv.guidance^5.C-d3FAIL34.36
vis.prodcell^03.E-f2FAIL34.37
nusmv.guidance^4.C-d3FAIL34.38
nusmv.guidance^6.C-d3FAIL34.42
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008FAIL34.43
eijk.bs4863.S-f4FAIL34.44
ken.flash^12.C-d4FAIL34.45
nusmv.tcas-t^1.B-f4FAIL34.46
eijk.S344.S-f2FAIL34.48
nusmv.reactor^2.C-f3FAIL34.49
vis.prodcell^12.E-f2FAIL34.5
ken.oop^2.C-f2FAIL34.53
vis.4-arbit^2.E-f4FAIL34.53
nusmv.guidance^2.C-d3FAIL34.54
eijk.S713.S-f4FAIL34.55
texas.PI_main^10.E-f3FAIL34.55
nusmv.tcas^1.B-f4FAIL34.57
stmt23_66_76FAIL34.58
nusmv.brp.B-f2FAIL34.59
nusmv.guidance^1.C-d3FAIL34.6
eijk.S832.S-f4FAIL34.61
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003FAIL34.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-003FAIL34.65
vis.prodcell^07.E-f2FAIL34.67
nusmv.queue.B-d4FAIL34.67
ken.flash^01.C-f2FAIL34.7
nusmv.guidance^1.C-f3FAIL34.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-004FAIL34.72
ken.flash^10.C-d3FAIL34.73
texas.PI_main^12.E-f4FAIL34.74
eijk.S526.S-f2FAIL34.74
test2_quant_squaring2FAIL34.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-003FAIL34.79
eijk.S344.S-f4FAIL34.8
nusmv.tcas^5.B-f4FAIL34.81
texas.two_proc^1.E-f4FAIL34.82
stmt32_24_277FAIL34.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-009FAIL34.85
aim-50-1_6-yes1-3-90SAT34.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-010FAIL34.88
irst.dme6.B-f3FAIL34.92
k_branch_p-20FAIL34.94
Adder2-16-cFAIL34.99
nusmv.reactor^6.C-f2FAIL35.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-003FAIL35.07
nusmv.tcas-t^5.B-f4FAIL35.07
texas.PI_main^05.E-f4FAIL35.07
nusmv.reactor^5.C-f2FAIL35.08
k_branch_p-14FAIL35.11
k_branch_n-20FAIL35.13
vis.prodcell^18.E-f2FAIL35.14
stmt17_63_78FAIL35.16
texas.PI_main^02.E-f4FAIL35.19
eijk.S832.S-f2FAIL35.2
texas.PI_main^11.E-f4FAIL35.28
k_branch_p-19FAIL35.29
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL35.31
Adder2-10-cFAIL35.37
test2_quant_squaring3FAIL35.37
irst.dme6.B-d4FAIL35.37
c2_Debug_s5_f1_e1_v2SAT35.38
eijk.S820.S-f3FAIL35.4
k_branch_n-19FAIL35.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-004FAIL35.41
stmt29_21_275FAIL35.42
nusmv.tcas-t^4.B-f4FAIL35.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-004FAIL35.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-004FAIL35.47
stmt41_738_749FAIL35.47
ken.flash^01.C-f4FAIL35.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-007FAIL35.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-005FAIL35.57
stmt28_68_73FAIL35.59
eijk.bs4863.S-d3FAIL35.6
eijk.S420.S-f4FAIL35.6
stmt31_100_276FAIL35.63
vis.prodcell^16.E-f2FAIL35.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-007FAIL35.68
k10_4_4FAIL35.68
texas.ifetch1^2.E-f3FAIL35.69
nusmv.tcas^3.B-f3FAIL35.7
k12_4_3FAIL35.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-005FAIL35.81
irst.dme4.B-f4FAIL35.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-005FAIL35.85
stmt41_37_286FAIL35.89
ken.flash^07.C-f3FAIL35.9
vis.elevator^3.E-f3FAIL35.9
eijk.S349.S-f4FAIL35.91
eijk.bs3330.S-d4FAIL35.93
texas.PI_main^05.E-f3FAIL35.94
stmt21_4_354FAIL35.95
eijk.S832.S-f3FAIL36.01
vis.prodcell^23.E-f2FAIL36.03
test2_quant3FAIL36.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-004FAIL36.05
ken.flash^07.C-f4FAIL36.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-006FAIL36.09
stmt21_4_360FAIL36.12
stmt21_5_354FAIL36.16
stmt32_153_277FAIL36.16
vis.prodcell^22.E-f2FAIL36.19
stmt29_226_327FAIL36.2
stmt21_71_354FAIL36.22
ken.flash^05.C-f3FAIL36.25
k12_3_3FAIL36.25
ken.flash^09.C-f3FAIL36.27
nusmv.tcas^4.B-f4FAIL36.31
stmt31_190_276FAIL36.31
cmu.gigamax.B-f3FAIL36.31
vis.prodcell^14.E-f2FAIL36.31
stmt39_34_285FAIL36.33
ken.flash^11.C-d3FAIL36.36
stmt39_107_285FAIL36.36
vis.elevator^2.E-f2FAIL36.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-010FAIL36.41
nusmv.reactor^4.C-d3FAIL36.43
texas.ifetch1^3.E-f2FAIL36.43
stmt44_40_387FAIL36.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-003FAIL36.45
nusmv.reactor^3.C-f3FAIL36.47
vis.elevator^1.E-f2FAIL36.53
stmt50_50_392FAIL36.54
stmt32_228_277FAIL36.58
stmt17_62_78FAIL36.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-004FAIL36.63
stmt1_60_61FAIL36.64
k_branch_n-17FAIL36.68
stmt25_597_598FAIL36.73
k_branch_p-17FAIL36.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-007FAIL36.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-003FAIL36.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-005FAIL36.78
nusmv.guidance^1.C-d2FAIL36.79
texas.two_proc^2.E-f4FAIL36.79
nusmv.tcas^6.B-f3FAIL36.83
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL36.83
vis.elevator^1.E-d4FAIL36.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-003FAIL36.87
eijk.bs3330.S-f3FAIL36.89
nusmv.guidance^8.C-f2FAIL36.92
nusmv.dme2-16.B-f3FAIL36.93
ken.flash^05.C-f2FAIL36.95
cmu.periodic.N-f2FAIL36.98
texas.ifetch1^1.E-f3FAIL36.99
stmt22_73_419FAIL37
eijk.S386.S-f4FAIL37.02
stmt39_107_384FAIL37.03
nusmv.tcas^6.B-f2FAIL37.09
nusmv.tcas^4.B-f2FAIL37.15
stmt22_144_370FAIL37.15
stmt41_566_580FAIL37.17
stmt19_83_417FAIL37.18
stmt19_66_417FAIL37.21
texas.ifetch1^3.E-f3FAIL37.21
stmt41_198_286FAIL37.23
stmt19_78_417FAIL37.25
stmt19_177_352FAIL37.26
stmt19_90_417FAIL37.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-010FAIL37.27
stmt19_180_352FAIL37.27
jnh17-00SAT37.29
stmt41_36_235FAIL37.29
stmt124_966_965FAIL37.3
eijk.S820.S-d4FAIL37.33
stmt50_115_392FAIL37.35
stmt39_159_384FAIL37.38
ken.flash^06.C-f3FAIL37.39
stmt19_177_359FAIL37.4
stmt23_88_92FAIL37.43
stmt1_79_80FAIL37.43
stmt19_90_408FAIL37.43
stmt32_101_378FAIL37.45
stmt19_177_368FAIL37.45
nusmv.tcas^5.B-f2FAIL37.47
stmt25_52_53FAIL37.49
ken.flash^03.C-f2FAIL37.53
stmt21_84_403FAIL37.55
stmt19_217_352FAIL37.55
stmt19_214_359FAIL37.56
stmt21_181_360FAIL37.57
k12_2_2FAIL37.57
nusmv.tcas-t^1.B-d4FAIL37.57
stmt19_66_401FAIL37.57
stmt21_181_369FAIL37.57
stmt44_162_387FAIL37.57
stmt21_218_360FAIL37.59
Adder2-14-cFAIL37.6
stmt21_215_354FAIL37.6
ken.oop^2.C-d3FAIL37.61
stmt41_198_385FAIL37.61
eijk.S349.S-d3FAIL37.62
stmt19_66_408FAIL37.62
stmt22_92_404FAIL37.62
stmt21_143_409FAIL37.62
stmt46_201_388FAIL37.63
stmt22_85_410FAIL37.66
nusmv.brp.B-f4FAIL37.66
stmt19_78_408FAIL37.66
texas.PI_main^15.E-f2FAIL37.67
stmt44_726_773FAIL37.67
stmt32_153_378FAIL37.68
eijk.S953.S-f3FAIL37.7
texas.PI_main^16.E-f3FAIL37.7
stmt41_235_286FAIL37.7
stmt27_584_603FAIL37.71
stmt41_738_737FAIL37.72
stmt22_80_216FAIL37.73
stmt19_217_368FAIL37.74
stmt29_226_376FAIL37.77
stmt2_480_551FAIL37.78
eijk.S298.S-f2FAIL37.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-003FAIL37.8
stmt22_80_404FAIL37.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-003FAIL37.82
stmt32_191_378FAIL37.83
stmt47_44_239FAIL37.84
stmt32_570_572FAIL37.89
stmt50_205_392FAIL37.89
stmt19_214_368FAIL37.9
stmt21_5_364FAIL37.9
nusmv.guidance^9.C-f2FAIL37.91
stmt21_127_409FAIL37.96
stmt22_139_404FAIL37.96
ken.flash^09.C-d3FAIL37.97
ken.flash^12.C-f4FAIL37.97
stmt21_4_364FAIL37.97
stmt44_554_604FAIL37.98
nusmv.tcas-t^4.B-f2FAIL37.99
C6288.blif_0.10_0.20_0_0_inp_exactFAIL38
stmt19_137_408FAIL38.01
stmt22_182_419FAIL38.03
texas.two_proc^6.E-f2FAIL38.03
stmt21_178_418FAIL38.03
stmt16_588_589FAIL38.04
stmt46_238_388FAIL38.04
k_ph_n-11SAT38.04
stmt19_67_363FAIL38.05
nusmv.tcas^5.B-f3FAIL38.06
stmt44_916_917FAIL38.08
stmt52_117_295FAIL38.08
stmt85_122_399FAIL38.09
stmt52_169_394FAIL38.09
stmt19_133_408FAIL38.09
C6288.blif_0.10_0.20_0_1_inp_exactFAIL38.11
stmt19_180_401FAIL38.13
nusmv.reactor^2.C-f4FAIL38.17
nusmv.tcas^2.B-f3FAIL38.19
vis.prodcell^19.E-f2FAIL38.2
stmt22_135_404FAIL38.2
stmt19_66_363FAIL38.34
stmt21_319_418FAIL38.35
stmt19_90_363FAIL38.35
nusmv.tcas^1.B-f3FAIL38.36
stmt50_50_293FAIL38.36
texas.PI_main^01.E-f3FAIL38.37
nusmv.reactor^7.C-f4FAIL38.38
ken.flash^01.C-f3FAIL38.39
stmt21_326_327FAIL38.4
stmt19_266_417FAIL38.41
vis.prodcell^01.E-d3FAIL38.41
stmt19_78_363FAIL38.41
stmt21_143_403FAIL38.41
eijk.S953.S-f4FAIL38.42
nusmv.reactor^4.C-f4FAIL38.47
stmt19_87_95FAIL38.48
ken.flash^05.C-d2FAIL38.48
stmt23_72_76FAIL38.48
nusmv.tcas-t^4.B-f3FAIL38.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-010FAIL38.54
stmt17_82_94FAIL38.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-003FAIL38.55
stmt46_42_289FAIL38.55
vis.4-arbit^2.E-f3FAIL38.6
stmt28_68_81FAIL38.62
stmt1_919_920FAIL38.65
vis.bakery.E-f4FAIL38.65
stmt21_84_364FAIL38.65
texas.PI_main^08.E-f2FAIL38.68
stmt19_266_352FAIL38.68
stmt21_5_413FAIL38.69
stmt21_134_364FAIL38.69
stmt21_71_413FAIL38.7
adder-16-unsatFAIL38.71
stmt19_309_417FAIL38.74
eijk.S420.S-f2FAIL38.77
stmt17_63_82FAIL38.8
stmt21_178_403FAIL38.81
stmt22_259_419FAIL38.82
texas.two_proc^4.E-f2FAIL38.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-003FAIL38.83
stmt44_41_288FAIL38.83
stmt19_125_363FAIL38.85
stmt50_51_293FAIL38.87
stmt19_142_363FAIL38.87
stmt19_137_363FAIL38.88
ken.flash^01.C-d4FAIL38.97
stmt22_80_414FAIL38.98
nusmv.tcas^1.B-d4FAIL38.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-007FAIL39
nusmv.tcas-t^1.B-f2FAIL39.03
stmt21_91_413FAIL39.04
stmt19_66_412FAIL39.07
stmt19_83_412FAIL39.08
eijk.S420.S-f3FAIL39.09
texas.PI_main^02.E-f2FAIL39.1
stmt21_319_354FAIL39.11
stmt23_92_96FAIL39.15
stmt137_542_543FAIL39.15
stmt47_112_290FAIL39.16
ken.oop^1.C-f3FAIL39.21
stmt22_315_404FAIL39.25
stmt22_6_414FAIL39.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-003FAIL39.25
stmt85_300_399FAIL39.25
stmt19_64_87FAIL39.26
stmt21_319_403FAIL39.29
test4_quant4FAIL39.29
stmt21_304_409FAIL39.29
stmt21_304_369FAIL39.31
stmt47_239_290FAIL39.31
stmt19_309_408FAIL39.33
stmt21_310_403FAIL39.33
texas.PI_main^13.E-f3FAIL39.34
stmt21_360_418FAIL39.34
stmt41_336_385FAIL39.36
test5_quant_squaring4FAIL39.39
stmt17_78_98FAIL39.4
eijk.S641.S-f3FAIL39.41
eijk.S1238.S-d4FAIL39.41
texas.two_proc^2.E-f2FAIL39.41
stmt47_340_389FAIL39.46
stmt21_127_413FAIL39.49
stmt21_134_413FAIL39.49
stmt21_360_369FAIL39.49
stmt21_319_409FAIL39.51
stmt19_142_412FAIL39.53
eijk.S1196.S-d4FAIL39.53
texas.ifetch1^2.E-f2FAIL39.53
texas.PI_main^03.E-f3FAIL39.54
k_lin_n-6SAT39.56
stmt21_314_409FAIL39.56
stmt21_138_413FAIL39.59
stmt22_253_259FAIL39.61
ken.flash^04.C-d4FAIL39.63
vis.arbiter.E-f4FAIL39.73
c3_BMC_p1_k512SAT39.73
stmt50_343_392FAIL39.77
stmt22_259_263FAIL39.77
nusmv.tcas-t^5.B-f2FAIL39.78
eijk.S208c.S-f4FAIL39.79
stmt41_160_286FAIL39.79
nusmv.tcas^4.B-f3FAIL39.8
texas.ifetch1^8.E-f3FAIL39.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-004FAIL39.8
irst.dme5.B-d4FAIL39.93
stmt19_177_412FAIL39.94
stmt21_181_413FAIL39.95
stmt19_368_417FAIL39.95
adder-14-unsatFAIL39.98
stmt19_408_417FAIL39.98
stmt17_82_98FAIL39.99
mutex-16-sFAIL40.01
stmt47_202_290FAIL40.01
stmt19_2_257FAIL40.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-003FAIL40.06
eijk.S713.S-f3FAIL40.07
ken.flash^11.C-f3FAIL40.07
stmt50_205_293FAIL40.11
stmt19_2_250FAIL40.12
stmt23_66_67FAIL40.13
vis.coherence^5.E-f3FAIL40.15
stmt21_258_364FAIL40.2
stmt19_2_261FAIL40.21
stmt21_360_409FAIL40.23
eijk.bs6669.S-d3FAIL40.24
texas.two_proc^3.E-f4FAIL40.24
stmt46_163_289FAIL40.24
irst.dme6.B-f4FAIL40.25
stmt21_215_413FAIL40.32
stmt52_244_295FAIL40.32
stmt21_218_413FAIL40.35
stmt19_352_408FAIL40.35
stmt22_73_263FAIL40.35
stmt21_364_409FAIL40.35
stmt17_86_98FAIL40.37
stmt21_252_364FAIL40.41
stmt19_67_257FAIL40.42
adder-12-unsatFAIL40.44
stmt19_3_261FAIL40.45
stmt21_354_369FAIL40.46
cmu.periodic.N-f3FAIL40.48
k_branch_p-21FAIL40.49
ken.flash^04.C-f3FAIL40.54
stmt19_3_257FAIL40.55
stmt21_71_252FAIL40.55
stmt41_36_37UNSAT40.55
stmt21_360_403FAIL40.56
nusmv.dme2-16.B-f2FAIL40.6
stmt22_80_259FAIL40.66
stmt19_83_250FAIL40.66
stmt21_354_403FAIL40.67
stmt19_368_408FAIL40.69
stmt22_80_253FAIL40.7
stmt19_66_261FAIL40.72
irst.dme5.B-f3FAIL40.73
stmt19_309_363FAIL40.74
vis.elevator^1.E-d2FAIL40.74
stmt19_66_250FAIL40.76
texas.PI_main^11.E-f2FAIL40.77
c5_BMC_p2_k1024FAIL40.77
c5_BMC_p1_k1024FAIL40.78
stmt21_79_262FAIL40.78
stmt22_365_404FAIL40.83
stmt52_54_244FAIL40.83
stmt19_90_250FAIL40.83
stmt19_368_401FAIL40.85
ken.flash^07.C-f2FAIL40.87
stmt22_92_263FAIL40.89
stmt22_85_263FAIL40.89
stmt28_89_97FAIL40.91
stmt21_403_409FAIL40.99
term1.blif_0.10_0.20_0_1_inp_exactSAT41.04
stmt19_250_412FAIL41.04
stmt19_257_412FAIL41.05
nusmv.tcas-t^6.B-f2FAIL41.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-003FAIL41.07
stmt21_143_258FAIL41.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-004FAIL41.13
stmt17_94_98FAIL41.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-004FAIL41.15
stmt22_135_315FAIL41.18
stmt5_731_730FAIL41.2
ken.flash^02.C-f4FAIL41.23
stmt19_142_261FAIL41.29
nusmv.tcas-t^6.B-f3FAIL41.31
nusmv.guidance^3.C-f2FAIL41.33
stmt19_125_261FAIL41.39
stmt21_138_252FAIL41.39
stmt21_127_252FAIL41.41
stmt19_64_91FAIL41.42
stmt70_495_501FAIL41.47
stmt22_139_263FAIL41.47
stmt19_133_250FAIL41.5
nusmv.tcas-t^5.B-f3FAIL41.51
ken.flash^08.C-f4FAIL41.57
stmt19_133_261FAIL41.6
stmt17_70_78FAIL41.66
stmt21_304_364FAIL41.69
texas.two_proc^5.E-f2FAIL41.7
eijk.bs3330.S-d3FAIL41.71
stmt19_302_412FAIL41.72
stmt19_309_412FAIL41.83
nusmv.reactor^3.C-f2FAIL41.88
stmt22_182_263FAIL41.9
c2_BMC_p2_k2048FAIL41.92
stmt19_177_261FAIL41.92
stmt21_360_364FAIL41.92
stmt19_67_318FAIL42
c2_BMC_p1_k2048FAIL42.02
stmt28_68_69FAIL42.04
vis.prodcell^01.E-d2SAT42.17
vis.4-arbit^1.E-f4FAIL42.2
stmt19_217_250FAIL42.31
stmt21_215_252FAIL42.31
nusmv.reactor^5.C-d2FAIL42.35
stmt21_218_262FAIL42.37
stmt19_214_261FAIL42.38
ken.flash^08.C-f3FAIL42.44
stmt21_218_364FAIL42.5
stmt19_177_363FAIL42.56
stmt21_267_310FAIL42.58
stmt19_266_313FAIL42.6
stmt21_181_364FAIL42.6
stmt19_214_363FAIL42.61
stmt23_66_96FAIL42.69
stmt2_976_999FAIL42.74
nusmv.dme1-16.B-d4FAIL42.74
stmt19_266_363FAIL42.85
test4_quant2FAIL43.02
stmt22_263_365FAIL43.03
stmt21_319_364FAIL43.04
stmt19_142_318FAIL43.04
stmt21_258_304FAIL43.1
stmt21_354_413FAIL43.13
stmt22_263_305FAIL43.14
stmt21_252_304FAIL43.14
eijk.S1196.S-d3FAIL43.14
stmt22_263_315FAIL43.15
stmt21_262_310FAIL43.15
stmt19_257_313FAIL43.17
stmt19_352_363FAIL43.24
eijk.S349.S-d4FAIL43.26
stmt21_252_310FAIL43.3
stmt31_152_328FAIL43.31
stmt21_403_413FAIL43.32
par8-3-90SAT43.32
stmt22_361_414FAIL43.37
stmt53_57_346FAIL43.38
stmt21_409_413FAIL43.39
stmt2_649_776FAIL43.45
ken.flash^12.C-f2FAIL43.52
stmt22_259_311FAIL43.58
test4_quant_squaring2FAIL43.6
stmt22_268_414FAIL43.61
stmt21_5_360FAIL43.67
stmt21_71_360FAIL43.68
texas.two_proc^3.E-f3FAIL43.71
stmt19_318_412FAIL43.72
ken.flash^05.C-d4FAIL43.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-003FAIL43.78
stmt21_314_364FAIL43.81
stmt19_67_368FAIL43.81
stmt39_34_384FAIL43.83
stmt2_649_647FAIL43.91
stmt21_262_413FAIL43.92
stmt22_85_355FAIL43.92
stmt21_310_314FAIL43.93
stmt19_66_359FAIL43.96
stmt22_80_361FAIL43.97
stmt22_92_361FAIL44
stmt21_70_354FAIL44.03
stmt19_90_352FAIL44.03
stmt32_191_329FAIL44.07
eijk.S820.S-f2FAIL44.12
stmt53_118_346FAIL44.12
texas.PI_main^12.E-f3FAIL44.13
stmt44_162_338FAIL44.16
stmt32_24_378FAIL44.17
stmt19_83_359FAIL44.18
ken.flash^01.C-d2FAIL44.25
stmt19_217_318FAIL44.26
stmt19_214_318FAIL44.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-003FAIL44.27
stmt39_35_384FAIL44.34
eijk.S344.S-d3FAIL44.36
stmt19_65_87FAIL44.37
stmt19_78_352FAIL44.37
eijk.bs4863.S-d4FAIL44.4
stmt21_134_354FAIL44.44
stmt19_133_359FAIL44.45
stmt44_41_387FAIL44.45
ken.flash^03.C-d2FAIL44.46
stmt22_92_259FAIL44.46
nusmv.dme1-16.B-d3FAIL44.47
stmt19_137_359FAIL44.5
stmt21_84_258FAIL44.55
stmt21_70_258FAIL44.56
stmt21_127_354FAIL44.57
stmt44_435_436FAIL44.6
stmt19_137_352FAIL44.6
stmt31_23_377FAIL44.63
cmu.gigamax.B-f2FAIL44.64
stmt19_313_412FAIL44.64
stmt17_63_70FAIL44.64
stmt22_144_355FAIL44.65
stmt22_144_361FAIL44.67
ken.oop^2.C-d4FAIL44.68
stmt21_70_369FAIL44.72
stmt21_91_369FAIL44.77
k_branch_n-21FAIL44.78
texas.two_proc^3.E-f2FAIL44.88
texas.two_proc^1.E-f3FAIL44.89
stmt86_889_890FAIL44.96
eijk.S344.S-d4FAIL45.04
stmt24_765_766FAIL45.06
stmt22_80_370FAIL45.07
stmt21_84_369FAIL45.09
stmt85_64_248FAIL45.09
stmt21_127_360FAIL45.1
nusmv.syncarb10^2.B-f2FAIL45.1
stmt21_127_258FAIL45.11
stmt21_138_258FAIL45.16
stmt19_133_368FAIL45.18
stmt19_3_401FAIL45.19
stmt19_133_257FAIL45.19
nusmv.dme2-16.B-d4FAIL45.21
stmt19_137_368FAIL45.22
eijk.S1423.S-d4FAIL45.26
nusmv.reactor^2.C-d4FAIL45.27
vis.prodcell^15.E-f2FAIL45.31
stmt21_252_319FAIL45.32
stmt21_71_409FAIL45.33
k_ph_p-9UNSAT45.39
nusmv.reactor^1.C-d4FAIL45.43
ken.flash^06.C-d4FAIL45.46
stmt17_74_78FAIL45.52
stmt22_365_414FAIL45.52
stmt21_127_369FAIL45.53
stmt50_51_392FAIL45.54
eijk.S386.S-d4SAT45.58
stmt22_73_404FAIL45.62
stmt19_64_99FAIL45.63
stmt70_854_859FAIL45.66
stmt47_112_389FAIL45.74
test4_quant_squaring4FAIL45.74
texas.ifetch1^3.E-d4FAIL45.76
texas.ifetch1^9.E-d4FAIL45.79
stmt21_178_258FAIL45.82
stmt21_181_258FAIL45.87
stmt19_2_401FAIL45.87
nusmv.reactor^3.C-d3FAIL45.91
ken.flash^10.C-d2FAIL45.92
ken.flash^07.C-d4FAIL45.97
stmt21_4_409FAIL46.06
eijk.S838.S-f2FAIL46.06
stmt19_313_318FAIL46.07
eijk.S1238.S-d3FAIL46.09
stmt19_368_412FAIL46.13
k14_4_3FAIL46.14
stmt19_142_250FAIL46.17
stmt39_234_384FAIL46.24
stmt19_137_417FAIL46.37
stmt21_127_418FAIL46.39
stmt19_3_408FAIL46.39
stmt22_144_419FAIL46.4
stmt21_134_418FAIL46.4
stmt21_218_258FAIL46.43
stmt19_302_318FAIL46.44
stmt19_214_257FAIL46.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-003FAIL46.55
k14_2_3FAIL46.57
ken.flash^04.C-d3FAIL46.57
nusmv.reactor^4.C-d2FAIL46.6
sortnetsort10.v.stepl.005UNSAT46.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-005FAIL46.65
k5_2_3SAT46.67
stmt19_250_368FAIL46.73
stmt17_70_82FAIL46.82
k_d4_n-5SAT46.9
stmt2_649_723FAIL46.91
aim-200-1_6-yes1-4-90FAIL46.93
ken.flash^03.C-d3FAIL46.98
nusmv.dme2-16.B-d3FAIL47.03
vis.prodcell^01.E-d4FAIL47.03
ken.flash^08.C-d4FAIL47.04
k14_3_3FAIL47.06
eijk.S1423.S-d3FAIL47.06
stmt22_263_370FAIL47.07
stmt52_244_394FAIL47.2
stmt21_178_409FAIL47.2
stmt19_180_408FAIL47.23
stmt19_214_217FAIL47.31
stmt19_177_250FAIL47.32
nusmv.tcas-t^3.B-f3FAIL47.33
stmt41_36_198FAIL47.37
ken.flash^12.C-f3FAIL47.4
stmt22_182_253FAIL47.42
vis.4-arbit^1.E-f3FAIL47.43
vis.4-arbit^2.E-f2FAIL47.47
vis.emodel.E-d4FAIL47.48
stmt21_215_418FAIL47.48
stmt19_217_401FAIL47.51
c1_BMC_p1_k1024SAT47.51
nusmv.reactor^5.C-d3FAIL47.54
irst.dme5.B-f2FAIL47.54
stmt3_969_973FAIL47.56
stmt31_22_328FAIL47.58
stmt19_217_408FAIL47.6
stmt21_215_403FAIL47.62
nusmv.reactor^4.C-d4FAIL47.65
stmt19_217_417FAIL47.7
stmt21_215_409FAIL47.81
stmt21_4_310FAIL47.88
counter_64FAIL47.89
eijk.bs1512.S-d4FAIL47.94
nusmv.reactor^1.C-d3FAIL47.94
ken.oop^2.C-f3FAIL47.97
c4_Debug_s5_f2_e2_v1SAT47.98
nusmv.reactor^2.C-d3FAIL48
nusmv.reactor^3.C-d4FAIL48.12
stmt21_252_262FAIL48.12
eijk.bs6669.S-d4FAIL48.13
stmt21_310_354FAIL48.15
stmt21_4_304FAIL48.15
stmt19_2_313FAIL48.17
stmt19_133_214FAIL48.2
stmt21_314_354FAIL48.2
stmt72_696_721FAIL48.28
stmt19_3_309FAIL48.28
stmt22_73_311FAIL48.38
aim-100-2_0-yes1-2-90FAIL48.41
vis.emodel.E-f4FAIL48.49
stmt19_313_368FAIL48.5
stmt21_252_418FAIL48.53
stmt21_138_215FAIL48.55
stmt21_304_360FAIL48.57
stmt22_139_219FAIL48.58
stmt19_3_313FAIL48.6
eijk.S953.S-f2FAIL48.66
aim-50-3_4-yes1-4-90SAT48.66
stmt21_5_304FAIL48.73
c5_BMC_p1_k2048FAIL48.76
stmt22_73_268FAIL48.84
c5_BMC_p2_k2048FAIL48.85
eijk.bs3330.S-d2FAIL48.9
stmt47_44_340FAIL48.92
vis.elevator^3.E-f2FAIL48.92
stmt21_262_418FAIL48.93
ken.flash^05.C-f4FAIL48.94
stmt21_71_304FAIL48.97
stmt19_78_309FAIL49.01
stmt1_392_393FAIL49.03
stmt31_100_328FAIL49.06
stmt23_67_92FAIL49.07
stmt21_70_310FAIL49.08
stmt21_84_310FAIL49.1
eijk.S1196.S-f4FAIL49.14
stmt52_54_345FAIL49.14
stmt39_285_335FAIL49.15
stmt21_71_314FAIL49.18
vis.prodcell^02.E-f2FAIL49.19
stmt17_70_86FAIL49.2
stmt31_276_328FAIL49.21
stmt21_70_304FAIL49.22
stmt21_91_304FAIL49.23
stmt1_953_954FAIL49.23
stmt21_70_314FAIL49.25
stmt39_159_197FAIL49.26
stmt22_92_315FAIL49.27
k14_4_4FAIL49.28
stmt21_79_314FAIL49.28
stmt47_290_340FAIL49.3
stmt19_83_302FAIL49.34
stmt21_79_304FAIL49.36
stmt19_90_309FAIL49.36
stmt21_258_360FAIL49.38
stmt22_85_315FAIL49.39
ken.flash^02.C-d4FAIL49.4
k14_4_2FAIL49.4
stmt21_304_418FAIL49.41
stmt21_314_418FAIL49.42
stmt21_252_354FAIL49.44
stmt19_250_359FAIL49.45
stmt22_85_320FAIL49.46
stmt21_364_369FAIL49.46
stmt21_138_304FAIL49.47
stmt46_43_339FAIL49.48
stmt50_167_293FAIL49.48
stmt21_134_304FAIL49.49
stmt22_263_361FAIL49.51
stmt22_259_355FAIL49.52
stmt22_263_355FAIL49.54
stmt19_266_359FAIL49.56
stmt19_142_302FAIL49.57
stmt19_66_318FAIL49.58
stmt41_36_336FAIL49.58
stmt29_21_327FAIL49.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-004FAIL49.62
stmt22_92_320FAIL49.62
stmt19_352_359FAIL49.63
stmt19_125_302FAIL49.63
stmt16_285_286FAIL49.67
stmt22_259_370FAIL49.67
stmt19_137_313FAIL49.68
stmt19_125_313FAIL49.69
stmt21_143_314FAIL49.7
k14_2_4FAIL49.71
texas.ifetch1^8.E-f2FAIL49.72
stmt21_364_418FAIL49.75
stmt22_135_311FAIL49.78
stmt21_127_310FAIL49.8
s499_d4_sSAT49.82
stmt19_266_368FAIL49.82
k14_3_4FAIL49.84
ken.flash^03.C-f3FAIL49.85
ken.oop^1.C-f4FAIL49.85
stmt19_257_318FAIL49.91
stmt19_78_318FAIL49.91
nusmv.tcas^1.B-d3FAIL49.92
stmt22_6_219FAIL49.92
c4_Debug_s5_f2_e1_v1SAT49.92
stmt52_55_207FAIL49.93
stmt50_50_205FAIL49.95
stmt21_138_310FAIL49.97
stmt39_35_335FAIL49.98
stmt19_142_309FAIL50
texas.parsesys^2.E-f4FAIL50.08
aim-200-1_6-yes1-2-90FAIL50.14
stmt44_110_338FAIL50.14
nusmv.tcas-t^2.B-f3FAIL50.22
adder-16-satFAIL50.26
k12_2_3FAIL50.28
stmt17_82_86FAIL50.35
stmt24_292_293FAIL50.35
stmt19_2_214FAIL50.35
stmt19_75_83FAIL50.36
stmt22_268_320FAIL50.38
ken.flash^12.C-d3FAIL50.42
stmt44_110_200FAIL50.42
stmt53_296_346FAIL50.42
stmt9_350_351FAIL50.44
ken.flash^14.C-d4FAIL50.46
stmt21_403_418FAIL50.47
stmt22_144_179FAIL50.5
stmt19_177_309FAIL50.58
stmt19_352_417FAIL50.58
texas.PI_main^01.E-f2FAIL50.6
stmt19_180_309FAIL50.62
stmt22_311_320FAIL50.78
stmt39_107_335FAIL50.82
k14_3_2FAIL50.83
stmt19_180_313FAIL50.96
stmt16_950_951FAIL51
stmt19_177_313FAIL51.02
counter_32FAIL51.02
stmt21_70_178FAIL51.04
stmt19_90_177FAIL51.06
texas.ifetch1^1.E-d4FAIL51.07
stmt22_182_305FAIL51.09
c4_Debug_s5_f2_e2_v3SAT51.11
stmt19_412_417FAIL51.12
stmt19_177_302FAIL51.15
vis.prodcell^13.E-f2FAIL51.22
stmt19_214_302FAIL51.22
stmt22_135_320FAIL51.23
stmt22_139_320FAIL51.24
aim-200-1_6-yes1-1-90FAIL51.25
stmt19_66_180FAIL51.25
stmt19_65_95FAIL51.25
stmt21_127_319FAIL51.25
stmt29_275_376FAIL51.28
vis.coherence^5.E-f2FAIL51.33
stmt21_91_181FAIL51.4
stmt19_217_309FAIL51.4
stmt19_214_309FAIL51.4
stmt22_85_182FAIL51.42
stmt21_79_178FAIL51.43
stmt19_214_313FAIL51.54
stmt22_182_320FAIL51.54
stmt50_167_343FAIL51.54
c2_Debug_s3_f1_e1_v3SAT51.57
stmt19_217_302FAIL51.57
aim-50-2_0-yes1-4-50SAT51.58
c4_Debug_s5_f2_e1_v3SAT51.61
stmt22_80_182FAIL51.61
cmu.dme1.B-d4SAT51.62
stmt39_159_335FAIL51.62
texas.PI_main^10.E-f2FAIL51.65
stmt44_200_338FAIL51.65
stmt22_315_361FAIL51.66
stmt19_177_318FAIL51.68
stmt22_85_179FAIL51.69
stmt19_302_352FAIL51.7
stmt21_310_360FAIL51.71
stmt19_66_217FAIL51.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-003FAIL51.82
stmt22_320_361FAIL51.88
nusmv.dme2-16.B-f4FAIL51.9
stmt21_218_314FAIL51.91
stmt19_79_83FAIL51.93
nusmv.reactor^3.C-d2FAIL51.95
stmt44_554_555FAIL51.95
stmt52_207_345FAIL52.01
stmt41_286_385FAIL52.02
stmt47_239_340FAIL52.11
ken.flash^12.C-d2FAIL52.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-005FAIL52.16
stmt21_262_409FAIL52.17
stmt22_259_410FAIL52.17
stmt19_250_401FAIL52.22
stmt22_263_404FAIL52.23
stmt22_259_404FAIL52.27
stmt52_117_207FAIL52.29
stmt47_164_202FAIL52.31
par8-5-c-50UNSAT52.36
stmt22_311_370FAIL52.38
stmt22_320_370FAIL52.46
stmt19_266_408FAIL52.46
stmt22_268_404FAIL52.49
stmt46_289_388FAIL52.62
stmt50_242_343FAIL52.65
stmt19_66_214FAIL52.66
stmt19_66_90FAIL52.7
c4_Debug_s5_f2_e2_v2SAT52.7
eijk.S1238.S-f4FAIL52.71
stmt39_234_335FAIL52.73
stmt21_267_304FAIL52.8
stmt21_143_181FAIL52.8
stmt41_198_336FAIL52.82
texas.PI_main^14.E-f2FAIL52.85
stmt21_252_314FAIL52.85
texas.PI_main^03.E-f2FAIL52.92
stmt19_250_408FAIL52.96
stmt22_139_182FAIL53.17
nusmv.reactor^5.C-d4FAIL53.26
stmt21_134_178FAIL53.32
stmt52_295_394FAIL53.35
stmt19_83_91FAIL53.45
stmt19_133_180FAIL53.46
nusmv.tcas-t^2.B-f2FAIL53.5
stmt53_57_245FAIL53.5
ev-pr-4x4-5-3-0-0-1-lgSAT53.51
stmt19_137_177FAIL53.51
ken.flash^05.C-d3FAIL53.6
eijk.S208c.S-f3FAIL53.76
stmt19_79_87FAIL53.77
c4_Debug_s5_f2_e1_v2SAT53.86
stmt3_639_640FAIL53.87
stmt19_125_214FAIL53.92
counter_16FAIL54.04
ken.oop^2.C-f4FAIL54.07
stmt21_127_218FAIL54.1
stmt17_70_90FAIL54.13
ken.flash^06.C-f4FAIL54.2
aim-100-1_6-yes1-2-90FAIL54.23
stmt22_305_311FAIL54.24
aim-100-1_6-yes1-1-90FAIL54.24
irst.dme5.B-f4FAIL54.25
stmt19_302_313FAIL54.28
vis.prodcell^24.E-f2FAIL54.57
stmt28_73_85FAIL54.6
stmt32_329_378FAIL54.6
stmt50_115_242FAIL54.62
stmt17_78_90FAIL54.68
texas.two_proc^1.E-f2FAIL54.78
stmt50_167_205FAIL54.78
stmt21_262_319FAIL54.92
stmt19_67_214FAIL55.03
stmt46_43_201FAIL55.05
stmt41_198_235FAIL55.07
nusmv.reactor^2.C-d2FAIL55.17
stmt22_73_219FAIL55.25
eijk.S832.S-d4FAIL55.3
texas.ifetch1^1.E-f2FAIL55.36
eijk.S208.S-f3FAIL55.37
stmt46_201_238FAIL55.42
stmt41_118_131FAIL55.49
stmt39_107_197FAIL55.51
stmt27_16_224FAIL55.52
stmt22_179_182FAIL55.67
stmt41_37_198FAIL55.69
stmt21_5_218FAIL55.71
stmt19_83_266FAIL55.82
irst.dme5.B-d3SAT55.82
stmt22_80_268FAIL55.84
stmt82_224_225FAIL55.89
stmt21_70_267FAIL55.92
stmt19_3_214FAIL56.02
ken.flash^11.C-d2FAIL56.14
stmt19_90_266FAIL56.32
stmt85_64_65FAIL56.43
eijk.S208c.S-f2FAIL56.45
stmt21_178_218FAIL56.58
c1_Debug_s5_f1_e1_v3SAT56.61
stmt21_181_218FAIL56.62
stmt19_177_214FAIL56.71
stmt21_84_215FAIL56.79
stmt17_62_98FAIL56.86
vis.prodcell^08.E-f2FAIL57.11
cmu.gigamax.B-d2FAIL57.14
stmt21_138_267FAIL57.22
stmt19_133_266FAIL57.24
stmt19_78_217FAIL57.29
stmt21_127_267FAIL57.34
stmt17_74_90FAIL57.37
stmt52_169_244FAIL57.38
eijk.S1196.S-f3FAIL57.43
stmt26_15_223FAIL57.46
stmt17_78_94FAIL57.6
stmt28_19_98FAIL57.67
stmt19_75_95FAIL57.68
ken.flash^09.C-d2FAIL57.71
stmt19_142_266FAIL57.94
stmt19_133_217FAIL57.98
stmt22_92_216FAIL58.07
ken.oop^1.C-d4FAIL58.09
stmt22_73_92FAIL58.09
aim-100-1_6-yes1-3-90FAIL58.22
vis.prodcell^21.E-f2FAIL58.26
stmt21_143_215FAIL58.29
nusmv.tcas-t^1.B-f3FAIL58.32
stmt22_182_268FAIL58.52
stmt19_83_217FAIL58.54
stmt21_178_267FAIL58.57
stmt19_142_217FAIL58.64
stmt19_90_217FAIL58.64
texas.PI_main^13.E-f2FAIL58.88
stmt53_208_245FAIL59.1
aim-100-2_0-yes1-1-90FAIL59.19
stmt19_71_95FAIL59.2
vis.prodcell^06.E-f2FAIL59.29
stmt27_97_187FAIL59.32
stmt22_219_268FAIL59.33
stmt21_215_267FAIL59.49
cube_c11_ser--opt-42_FAIL59.5
nusmv.reactor^1.C-d2FAIL59.58
stmt41_37_235FAIL59.63
aim-100-1_6-yes1-1-50FAIL59.66
test5_quant7FAIL59.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-003FAIL59.78
stmt22_72_80FAIL59.88
stmt44_41_237FAIL60.03
vis.prodcell^11.E-f2FAIL60.14
c1_Debug_s5_f1_e1_v1SAT60.16
stmt27_149_224FAIL60.24
aim-100-1_6-yes1-4-00FAIL60.33
stmt28_98_225FAIL60.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-003FAIL60.44
eijk.S1238.S-f3FAIL60.7
c1_BMC_p1_k2048FAIL60.74
stmt44_252_301FAIL60.75
stmt41_108_235FAIL60.83
stmt18_258_260FAIL60.99
stmt47_44_202FAIL61.01
c1_Debug_s3_f1_e1_v3SAT61.02
stmt28_73_97FAIL61.03
sortnetsort8.AE.stepl.004FAIL61.04
eijk.S1238.S-f2FAIL61.15
stmt27_149_187FAIL61.19
eijk.S1196.S-f2FAIL61.34
vis.prodcell^01.E-f2FAIL61.36
aim-100-2_0-yes1-2-50FAIL61.41
adder-14-satFAIL61.64
c1_Debug_s3_f1_e1_v1SAT61.64
test5_quant5FAIL61.71
aim-100-2_0-yes1-3-90FAIL61.77
ken.flash^02.C-f2FAIL61.84
stmt27_946_955FAIL62.31
texas.ifetch1^9.E-f2FAIL62.48
stmt21_252_267FAIL62.52
ken.flash^03.C-f4FAIL62.58
Adder2-4-cFAIL62.72
stmt19_261_266FAIL62.74
stmt46_111_238FAIL62.74
eijk.bs4863.S-d2FAIL62.88
ken.flash^13.C-d4FAIL63.02
stmt22_182_216FAIL63.21
aim-200-2_0-yes1-1-90FAIL63.24
texas.parsesys^1.E-f4FAIL63.36
aim-100-1_6-yes1-4-90FAIL63.48
stmt31_190_227FAIL63.48
ken.flash^02.C-d3FAIL63.49
c2_Debug_s5_f1_e1_v3SAT63.64
texas.PI_main^16.E-f2FAIL63.69
aim-50-2_0-yes1-4-00UNSAT64
stmt17_70_98FAIL64.56
k14_2_2FAIL64.63
par16-3-c-90FAIL64.71
aim-50-3_4-yes1-2-50SAT64.72
c2_Debug_s3_f1_e1_v1SAT64.74
k_ph_n-12SAT64.91
stmt52_55_117FAIL64.95
sortnetsort8.AE.stepl.008FAIL64.97
aim-50-1_6-yes1-4-50FAIL65.07
aim-50-3_4-yes1-3-00SAT65.17
stmt137_903_911FAIL65.18
stmt52_54_55FAIL65.28
aim-200-1_6-yes1-1-50FAIL65.32
emptyroom_e4_par---21_UNSAT65.34
vis.prodcell^17.E-f2FAIL65.63
par16-5-c-90FAIL65.68
stmt41_160_235FAIL65.75
ken.flash^02.C-f3FAIL65.78
aim-200-3_4-yes1-4-90FAIL65.82
stmt19_3_78UNSAT65.84
eijk.S208.S-f4FAIL65.94
ken.flash^08.C-d3FAIL66.06
ken.flash^14.C-d3FAIL66.09
aim-50-1_6-yes1-3-50FAIL66.14
stmt44_162_237FAIL66.28
eijk.bs1512.S-d2FAIL66.38
aim-100-1_6-yes1-3-00FAIL66.47
aim-200-2_0-yes1-4-50FAIL66.49
stmt22_6_128FAIL66.62
sortnetsort8.AE.stepl.006FAIL66.75
par16-2-c-90FAIL66.9
f600-00FAIL67.07
aim-200-2_0-yes1-3-50FAIL67.14
aim-100-1_6-yes1-3-50FAIL67.23
stmt70_191_213FAIL67.29
stmt19_2_137FAIL67.48
stmt21_4_134FAIL67.52
stmt22_73_128FAIL67.66
stmt21_5_138FAIL67.69
aim-200-3_4-yes1-2-00FAIL67.94
eijk.bs1512.S-d3FAIL68.38
stmt19_125_133FAIL68.56
cmu.periodic.N-d3FAIL68.73
aim-200-2_0-yes1-2-90FAIL68.77
adder-12-satFAIL68.86
stmt19_125_137FAIL68.86
aim-200-2_0-yes1-3-90FAIL69.17
stmt22_80_144FAIL69.3
stmt19_66_142FAIL69.37
aim-200-2_0-yes1-1-50FAIL69.49
c4_Debug_s3_f1_e1_v2SAT69.58
aim-100-1_6-yes1-2-00FAIL69.74
aim-200-1_6-yes1-1-00FAIL69.78
texas.PI_main^05.E-f2FAIL70.13
nusmv.syncarb10^2.B-f3FAIL70.2
stmt19_67_83UNSAT70.26
ken.flash^06.C-d2FAIL70.46
stmt19_90_142FAIL70.56
c4_Debug_s3_f1_e2_v2SAT70.64
ken.flash^03.C-d4FAIL70.72
texas.parsesys^1.E-f3SAT70.93
vis.4-arbit^1.E-d3FAIL70.93
irst.dme4.B-d4FAIL71.4
stmt19_90_125FAIL71.75
aim-100-2_0-yes1-4-00FAIL71.86
aim-200-3_4-yes1-2-90FAIL71.92
c2_Debug_s5_f1_e1_v1SAT72.12
aim-200-3_4-yes1-1-50FAIL72.15
stmt21_5_134FAIL72.16
stmt22_135_144FAIL72.22
emptyroom_e3_ser---19_UNSAT72.34
stmt85_64_122FAIL72.43
stmt41_37_108FAIL72.55
aim-200-1_6-yes1-4-00FAIL72.57
stmt21_79_134FAIL73.1
stmt21_70_138FAIL73.12
nusmv.syncarb10^2.B-f4FAIL73.13
stmt19_66_133FAIL73.18
aim-200-1_6-yes1-3-90FAIL73.22
stmt16_818_819FAIL73.36
f600-90FAIL73.38
sortnetsort8.AE.stepl.003FAIL73.5
stmt22_80_139FAIL73.65
aim-100-1_6-yes1-2-50FAIL73.66
sortnetsort8.AE.stepl.005FAIL73.76
stmt21_84_138FAIL73.77
aim-100-2_0-yes1-1-50FAIL73.81
stmt21_71_134FAIL73.89
stmt46_43_111FAIL73.91
stmt19_67_137FAIL73.95
aim-100-2_0-yes1-4-50FAIL74.11
aim-200-1_6-yes1-2-50FAIL74.17
test5_quant_squaring5FAIL74.19
sortnetsort8.AE.stepl.007FAIL74.47
c4_Debug_s3_f1_e1_v1SAT74.5
stmt11_643_645FAIL74.51
stmt19_78_125FAIL74.51
stmt21_84_134FAIL74.52
sortnetsort10.AE.stepl.011FAIL74.61
stmt21_70_127FAIL74.62
c2_Debug_s3_f2_e1_v2SAT74.65
stmt19_90_133FAIL74.65
aim-200-3_4-yes1-4-50FAIL74.79
stmt27_16_149FAIL74.92
stmt27_296_297FAIL75.03
sortnetsort10.AE.stepl.004FAIL75.13
aim-200-2_0-yes1-2-50FAIL75.19
sortnetsort5.AE.stepl.005FAIL75.25
aim-100-3_4-yes1-3-90FAIL75.27
stmt22_92_139FAIL75.41
f600-50FAIL75.55
c4_Debug_s3_f1_e2_v1SAT75.6
stmt21_84_127FAIL75.64
aim-100-2_0-yes1-4-90FAIL75.8
par8-1-50SAT75.9
vis.prodcell^20.E-f2FAIL75.91
sortnetsort7.AE.stepl.008FAIL76.09
stmt19_83_142FAIL76.67
vis.prodcell^09.E-f2FAIL76.87
eijk.S713.S-d4FAIL76.89
stmt50_50_115FAIL77.06
cmu.gigamax.B-d3FAIL77.07
eijk.S208o.S-f4FAIL77.07
aim-100-1_6-yes1-1-00FAIL77.23
stmt21_134_138FAIL77.41
stmt22_6_80UNSAT77.55
cube_c11_par---13_UNSAT77.56
aim-100-2_0-yes1-3-50FAIL77.58
aim-200-2_0-yes1-1-00FAIL77.65
stmt21_127_143FAIL77.7
eijk.S641.S-d4FAIL77.79
aim-200-1_6-yes1-4-50FAIL77.82
eijk.S953.S-d4SAT78.39
stmt19_78_83FAIL78.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-003FAIL79.64
aim-200-2_0-yes1-3-00FAIL79.69
aim-200-2_0-yes1-4-90FAIL80.47
sortnetsort10.AE.stepl.012FAIL80.95
aim-50-1_6-yes1-1-90FAIL81.39
sortnetsort10.AE.stepl.006FAIL81.87
eijk.S208o.S-f3FAIL81.92
aim-50-1_6-yes1-4-00FAIL81.92
nusmv.syncarb5^2.B-f4FAIL82.33
sortnetsort10.AE.stepl.008FAIL82.44
sortnetsort9.AE.stepl.004FAIL82.67
stmt27_17_149FAIL82.71
texas.parsesys^3.E-f4FAIL83.39
stmt53_118_170FAIL83.57
sortnetsort8.AE.stepl.009FAIL83.69
aim-200-3_4-yes1-1-00FAIL83.83
aim-200-3_4-yes1-1-90FAIL85.05
stmt27_16_97FAIL85.23
sortnetsort5.AE.stepl.007FAIL85.31
stmt41_36_160FAIL85.33
c4_Debug_s3_f1_e1_v3SAT85.84
aim-200-1_6-yes1-2-00FAIL86.15
sortnetsort7.AE.stepl.003FAIL86.18
c4_Debug_s3_f1_e2_v3SAT86.22
c6_BMC_p1_k1024SAT86.27
vis.prodcell^04.E-f2FAIL86.79
aim-200-1_6-yes1-3-00FAIL87.22
aim-50-1_6-yes1-2-50FAIL87.29
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL87.38
aim-200-3_4-yes1-3-00FAIL87.85
stmt27_17_187FAIL87.88
stmt39_35_159FAIL87.88
stmt21_71_143FAIL87.9
sortnetsort10.AE.stepl.005FAIL88.34
aim-200-3_4-yes1-4-00FAIL88.41
stmt41_108_160FAIL88.44
sortnetsort9.AE.stepl.005FAIL88.86
aim-50-3_4-yes1-2-00SAT88.89
sortnetsort5.AE.stepl.004FAIL88.89
stmt47_45_164FAIL88.97
sortnetsort7.AE.stepl.007FAIL89.37
sortnetsort6.AE.stepl.007FAIL89.38
stmt29_99_151FAIL89.85
stmt44_40_162FAIL89.91
aim-200-2_0-yes1-4-00FAIL90.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-004FAIL90.05
aim-50-1_6-yes1-3-00FAIL90.36
stmt46_111_163FAIL90.63
aim-100-1_6-yes1-4-50FAIL90.67
par8-4-00SAT90.94
vis.arbiter.E-f2FAIL91.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-004FAIL91.39
aim-100-2_0-yes1-3-00FAIL91.82
stmt22_139_144FAIL91.86
c2_BMC_p1_k256SAT92.2
stmt52_54_169FAIL93.11
stmt50_51_167FAIL93.35
sortnetsort10.AE.stepl.010FAIL94.15
stmt19_2_83UNSAT94.71
k5_3_3SAT94.91
aim-100-2_0-yes1-2-00FAIL95.13
sortnetsort10.AE.stepl.007FAIL95.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-005FAIL95.89
sortnetsort7.AE.stepl.006FAIL95.92
stmt22_73_80FAIL96.18
aim-50-2_0-yes1-3-50FAIL96.21
vis.bakery.E-f3FAIL96.79
stmt39_34_107FAIL98.28
sortnetsort9.AE.stepl.007FAIL99.45
stmt44_40_110FAIL99.54
par8-4-50UNSAT100.16
aim-200-3_4-yes1-2-50FAIL101.54
sortnetsort5.AE.stepl.006FAIL101.84
stmt19_2_180FAIL102.08
aim-200-3_4-yes1-3-90FAIL102.2
stmt21_70_84FAIL102.22
aim-100-2_0-yes1-1-00FAIL103.57
aim-100-3_4-yes1-2-90FAIL103.61
ken.flash^13.C-d3FAIL103.81
cmu.periodic.N-d4FAIL103.82
sortnetsort10.AE.stepl.009FAIL103.87
sortnetsort9.AE.stepl.006FAIL103.99
aim-200-6_0-yes1-4-90FAIL105.14
aim-50-1_6-yes1-1-00FAIL105.17
vis.emodel.E-f3UNSAT105.17
ken.flash^06.C-d3FAIL105.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-005FAIL105.99
stmt22_73_179FAIL106.36
stmt22_73_182FAIL106.45
stmt21_71_70UNSAT106.59
stmt19_3_83UNSAT108.25
aim-50-1_6-yes1-2-00FAIL109.71
sortnetsort6.AE.stepl.005FAIL109.98
sortnetsort9.AE.stepl.008FAIL111.12
sortnetsort6.AE.stepl.004FAIL111.2
k_lin_n-7SAT113.32
szymanski-8-sFAIL113.92
aim-200-2_0-yes1-2-00FAIL114.35
aim-200-6_0-yes1-4-50FAIL115.14
texas.PI_main^12.E-f2FAIL116.06
aim-100-3_4-yes1-3-50FAIL116.68
sortnetsort6.AE.stepl.003FAIL117.42
aim-200-6_0-yes1-1-00FAIL117.44
aim-50-2_0-yes1-2-00UNSAT117.58
aim-200-1_6-yes1-3-50FAIL117.7
k_t4p_p-20UNSAT118.19
par8-1-90UNSAT119.24
sortnetsort7.AE.stepl.005FAIL120.15
aim-200-3_4-yes1-3-50FAIL120.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-003FAIL121.31
sortnetsort7.AE.stepl.004FAIL121.92
ken.flash^01.C-d3FAIL122.45
sortnetsort7.AE.stepl.009FAIL123.12
sortnetsort9.AE.stepl.011FAIL123.17
stmt21_5_181FAIL123.17
aim-200-6_0-yes1-1-50FAIL123.31
vis.prodcell^05.E-f2FAIL123.45
aim-100-6_0-yes1-2-90FAIL123.58
sortnetsort9.AE.stepl.009FAIL123.61
stmt19_3_177FAIL124.92
aim-50-2_0-yes1-3-00FAIL125.02
sortnetsort9.AE.stepl.010FAIL125.07
aim-200-6_0-yes1-1-90FAIL125.72
stmt21_4_178FAIL125.83
aim-100-3_4-yes1-4-50FAIL126.56
aim-200-6_0-yes1-2-90FAIL127.37
aim-100-3_4-yes1-2-50FAIL127.88
stmt19_83_90UNSAT128.1
irst.dme6.B-d3FAIL128.19
stmt1_811_812FAIL128.26
aim-100-3_4-yes1-1-90FAIL128.97
stmt21_79_91UNSAT129.07
aim-200-6_0-yes1-3-90FAIL129.61
vis.coherence^1.E-f2FAIL130.24
c2_Debug_s3_f2_e1_v3SAT130.81
aim-100-3_4-yes1-4-90FAIL132.24
sortnetsort6.AE.stepl.006FAIL132.3
sortnetsort9.AE.stepl.012FAIL132.61
stmt32_24_191FAIL133.12
s499_d5_sSAT133.8
aim-50-2_0-yes1-2-50FAIL133.93
c4_Debug_s3_f2_e1_v2SAT134.75
stmt21_127_178FAIL135.14
par8-3-00UNSAT135.51
c4_Debug_s3_f2_e2_v2SAT135.7
stmt21_127_181FAIL136.07
ii8a2-90FAIL136.59
aim-100-3_4-yes1-2-00FAIL136.99
cmu.gigamax.B-d4FAIL138.2
aim-50-2_0-yes1-1-50FAIL138.25
ken.flash^08.C-d2FAIL138.56
aim-200-6_0-yes1-2-50FAIL139.97
c4_Debug_s3_f2_e1_v3SAT140.15
C432.blif_0.10_0.20_0_0_out_exactUNSAT140.56
jnh12-50UNSAT142.37
jnh218-00SAT142.37
C432.blif_0.10_0.20_0_1_inp_exactSAT144.33
c2_Debug_s3_f2_e1_v1SAT146.13
aim-100-3_4-yes1-1-00FAIL146.31
k_t4p_p-15FAIL146.75
jnh12-90SAT148.35
aim-50-2_0-yes1-3-90FAIL149.36
vis.eisenberg.E-f3FAIL151.23
ii8a1-00FAIL152.1
aim-100-3_4-yes1-3-00FAIL152.13
aim-200-6_0-yes1-2-00FAIL152.73
stmt22_6_72FAIL153.23
aim-200-6_0-yes1-3-50FAIL153.98
c4_Debug_s3_f2_e1_v1SAT154.01
c4_Debug_s3_f2_e2_v1SAT155.59
sortnetsort5.AE.stepl.003FAIL156.07
k_ph_n-13SAT161.09
ken.flash^14.C-d2FAIL161.55
ii8a2-50FAIL164
par8-3-50UNSAT165.24
aim-50-2_0-yes1-1-90FAIL167.55
aim-100-6_0-yes1-4-90FAIL170.72
aim-100-3_4-yes1-4-00FAIL170.84
aim-200-6_0-yes1-4-00FAIL179.93
aim-200-6_0-yes1-3-00FAIL180.83
cube_c11_par--opt-14_SAT182.14
s820_d2_sSAT187.68
jnh210-50SAT188.54
Adder2-12-sFAIL189.86
aim-100-3_4-yes1-1-50FAIL190
s510_d3_sFAIL191.06
ii8a2-00FAIL192.71
ii8d1-90FAIL193.03
par8-1-00SAT193.15
aim-100-6_0-yes1-2-00FAIL196.64
aim-100-6_0-yes1-3-90FAIL196.7
ii8e1-00FAIL200.04
ii8c1-50FAIL201.03
C432.blif_0.10_0.20_0_1_out_exactUNSAT205.21
s713_d2_sSAT214.39
ii8b1-50FAIL214.79
aim-50-2_0-yes1-2-90SAT214.83
ii8a3-90FAIL227.19
aim-100-6_0-yes1-2-50FAIL230.11
ii8e1-90FAIL238.06
aim-100-6_0-yes1-3-00FAIL241.3
aim-100-6_0-yes1-1-50FAIL243.32
jnh213-00SAT251.11
ii8d1-50FAIL254.82
s298_d5_sSAT256.75
test3_quant4FAIL258.63
ii8b1-90FAIL260.25
jnh207-00FAIL263.12
ii8e1-50FAIL265.54
aim-100-6_0-yes1-4-50FAIL268.81
ii8a3-50FAIL272.07
c2_BMC_p1_k512SAT274.37
ii8b1-00FAIL275.13
emptyroom_e4_par--opt-22_SAT278.93
ii8d1-00FAIL280.25
jnh207-50FAIL280.59
ev-pr-4x4-7-3-0-0-1-lgFAIL284.04
jnh212-00FAIL291.51
ii8c1-00FAIL299.8
jnh1-00FAIL301.29
c3_BMC_p1_k1024SAT302.91
ii8a3-00FAIL304.08
vis.coherence^1.E-d3SAT304.65
aim-100-6_0-yes1-1-00FAIL311.26
jnh217-00FAIL314.11
ii8c1-90FAIL315.63
s499_d6_sSAT316
jnh1-90FAIL317.2
ev-pr-4x4-9-3-0-0-1-lgFAIL321.38
jnh201-00FAIL332.49
c6_BMC_p1_k2048SAT340.57
jnh212-50FAIL358.28
ev-pr-8x8-19-7-0-1-2-lgFAIL359.07
ii32d1-50FAIL367.57
ii8a4-00FAIL367.59
Adder2-14-sFAIL367.71
jnh17-90FAIL368.46
Adder2-16-sFAIL369.42
jnh207-90FAIL373
ii32e1-90FAIL381.1
jnh204-50FAIL391.3
jnh201-50FAIL397.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-003FAIL401.61
ev-pr-4x4-15-3-0-0-1-lgFAIL404.65
aim-100-6_0-yes1-4-00UNSAT406.41
jnh204-00FAIL409.02
jnh217-50FAIL409.62
ii32c1-50FAIL412.42
s510_d4_sFAIL419.72
jnh212-90FAIL421.32
ii8a4-50FAIL421.77
ev-pr-6x6-5-5-0-1-2-lgFAIL425.86
ev-pr-4x4-11-3-0-0-1-lgFAIL427.03
jnh204-90FAIL446.3
ii32d1-00FAIL447.12
jnh301-50FAIL447.46
jnh217-90FAIL449.03
jnh209-00FAIL456.48
ii32c1-00FAIL459.03
ii32e2-00FAIL460.53
jnh12-00UNSAT462.51
ev-pr-4x4-17-3-0-0-1-lgFAIL466.16
jnh17-50FAIL470.24
term1.blif_0.10_0.20_0_0_inp_exactUNSAT477.66
cube_c5_ser---14_UNSAT477.72
jnh205-00FAIL478.2
ii32b1-50FAIL480.18
jnh218-90FAIL489.89
par16-5-c-00FAIL494.96
ssa7552-159-90FAIL500.49
jnh220-00FAIL508.04
ii32c1-90FAIL512.28
par16-5-c-50FAIL515.01
ring_r6_ser--opt-17_SAT520.74
aim-100-6_0-yes1-3-50SAT525.81
ev-pr-4x4-13-3-0-0-1-lgFAIL528.73
aim-100-6_0-yes1-1-90FAIL542.66
ii32b1-00FAIL558.13
ev-pr-6x6-19-5-0-1-2-lgFAIL562
par16-2-c-00FAIL571.77
jnh210-00FAIL575.22
jnh301-90FAIL575.35
ii32e1-50FAIL580.52
jnh213-90FAIL589.87
ii32c2-90FAIL591.45
jnh301-00FAIL591.84
ii8a4-90FAIL596.83
ev-pr-6x6-17-5-0-1-2-lgFAIL600
ev-pr-6x6-11-5-0-1-2-lgFAIL600
k_lin_n-16FAIL600
k_lin_n-12FAIL600
adder-10-satFAIL600
ev-pr-4x4-15-3-0-0-1-sFAIL600
k_ph_n-20FAIL600
ev-pr-6x6-11-5-0-1-2-sFAIL600
s499_d16_sFAIL600
s820_d10_sFAIL600
C880.blif_0.10_0.20_0_1_out_exactFAIL600
s510_d32_sFAIL600
s499_d8_sFAIL600
ev-pr-6x6-13-5-0-1-2-sFAIL600
ev-pr-6x6-17-5-0-1-2-sFAIL600
ev-pr-8x8-13-7-0-1-2-lgFAIL600
ev-pr-6x6-9-5-0-1-2-sFAIL600
C880.blif_0.10_1.00_0_0_out_exactFAIL600
s386_d7_sFAIL600
ev-pr-4x4-7-3-0-0-1-sFAIL600
s3330_d4_sFAIL600
ev-pr-6x6-9-5-0-1-2-lgFAIL600
s713_d4_sFAIL600
s1269_d10_sFAIL600
s386_d4_sFAIL600
s1269_d4_sFAIL600
ev-pr-8x8-7-7-0-1-2-lgFAIL600
ev-pr-4x4-17-3-0-0-1-sFAIL600
ev-pr-4x4-13-3-0-0-1-sFAIL600
k_lin_n-20FAIL600
ev-pr-6x6-15-5-0-1-2-lgFAIL600
s3330_d10_uFAIL600
C499.blif_0.10_0.20_0_1_out_exactFAIL600
s386_d8_uFAIL600
k_ph_p-20FAIL600
k_ph_p-12FAIL600
ev-pr-6x6-7-5-0-1-2-lgFAIL600
term1.blif_0.10_0.20_0_0_out_exactFAIL600
s3330_d9_sFAIL600
s713_d7_uFAIL600
s298_d8_sFAIL600
s298_d16_sFAIL600
C880.blif_0.10_1.00_0_0_inp_exactFAIL600
s499_d21_sFAIL600
s1196_d3_uFAIL600
C880.blif_0.10_1.00_0_1_inp_exactFAIL600
ev-pr-4x4-11-3-0-0-1-sFAIL600
k_ph_n-21FAIL600
k_ph_n-16FAIL600
ev-pr-6x6-5-5-0-1-2-sFAIL600
test3_quant_squaring4FAIL600
test3_quant_squaring2FAIL600
ev-pr-6x6-19-5-0-1-2-sFAIL600
ev-pr-4x4-9-3-0-0-1-sFAIL600
C432.blif_0.10_0.20_0_0_inp_exactFAIL600
test3_quant2FAIL600
s713_d6_sFAIL600
k_lin_n-21FAIL600
adder-8-satFAIL600
s1269_d11_uFAIL600
s499_d22_uFAIL600
s1196_d2_sFAIL600
k_ph_p-16FAIL600
s510_d8_sFAIL600
ev-pr-8x8-15-7-0-1-2-lgFAIL600
s510_d46_sFAIL600
C880.blif_0.10_0.20_0_0_out_exactFAIL600
ev-pr-4x4-5-3-0-0-1-sFAIL600
s820_d8_sFAIL600
ev-pr-8x8-11-7-0-1-2-lgFAIL600
ev-pr-8x8-9-7-0-1-2-lgFAIL600
C499.blif_0.10_0.20_0_0_out_exactFAIL600
ev-pr-8x8-5-7-0-1-2-lgFAIL600
s298_d18_sFAIL600
Adder2-10-sFAIL600
ev-pr-6x6-15-5-0-1-2-sFAIL600
s298_d19_uFAIL600
ev-pr-6x6-13-5-0-1-2-lgFAIL600
s1269_d8_sFAIL600
Adder2-8-sFAIL600
s820_d11_uFAIL600
ev-pr-8x8-17-7-0-1-2-lgFAIL600
s3330_d8_sFAIL600
s510_d47_uFAIL600
s3330_d2_sFAIL600
s820_d4_sFAIL600
s510_d16_sFAIL600
k_ph_p-21FAIL600
C499.blif_0.10_0.20_0_1_inp_exactFAIL600
C499.blif_0.10_0.20_0_0_inp_exactFAIL600
s1269_d2_sFAIL600
ev-pr-6x6-7-5-0-1-2-sFAIL600
k_lin_n-18FAIL600
k_lin_n-10FAIL600
k_lin_n-11FAIL600
k_lin_n-19FAIL600
k_lin_n-14FAIL600
k_lin_n-15FAIL600
k_lin_n-17FAIL600
k_lin_n-13FAIL600
k_ph_n-17FAIL600
k_ph_n-18FAIL600
k_ph_n-19FAIL600
k_ph_n-14FAIL600
k_ph_n-15FAIL600
k_ph_p-17FAIL600
k_ph_p-18FAIL600
k_ph_p-10FAIL600
k_ph_p-19FAIL600
k_ph_p-13FAIL600
k_ph_p-14FAIL600
k_ph_p-15FAIL600
k_ph_p-11FAIL600
s1196_d5_uFAIL600
s1196_d6_uFAIL600
s1196_d7_uFAIL600
s1196_d4_uFAIL600
s1269_d5_sFAIL600
s1269_d6_sFAIL600
s1269_d9_sFAIL600
s1269_d15_uFAIL600
s1269_d3_sFAIL600
s298_d14_sFAIL600
s298_d17_sFAIL600
s298_d21_uFAIL600
s298_d10_sFAIL600
s3330_d6_sFAIL600
s3330_d12_uFAIL600
s3330_d13_uFAIL600
s3330_d3_sFAIL600
s386_d5_sFAIL600
s386_d9_uFAIL600
s386_d12_uFAIL600
s386_d10_uFAIL600
s386_d3_sFAIL600
s499_d7_sFAIL600
s499_d14_sFAIL600
s499_d19_sFAIL600
s499_d10_sFAIL600
s499_d18_sFAIL600
s510_d13_sFAIL600
s510_d31_sFAIL600
s510_d42_sFAIL600
s510_d48_uFAIL600
s510_d49_uFAIL600
s510_d51_uFAIL600
s510_d12_sFAIL600
s713_d8_uFAIL600
s713_d9_uFAIL600
s713_d10_uFAIL600
s713_d3_sFAIL600
s820_d5_sFAIL600
s820_d9_sFAIL600
s820_d12_uFAIL600
s820_d14_uFAIL600
s820_d3_sFAIL600
nusmv.brp.B-d3FAIL600
nusmv.brp.B-d4FAIL600
eijk.S208o.S-f2FAIL600
eijk.S208.S-f2FAIL600
nusmv.syncarb5^2.B-f3FAIL600
texas.parsesys^2.E-f3FAIL600
vis.4-arbit^1.E-f2FAIL600
vis.coherence^3.E-f2FAIL600
sortnetsort10.v.stepl.006FAIL600
sortnetsort10.v.stepl.007FAIL600
sortnetsort9.v.stepl.006FAIL600
c1_Debug_s3_f2_e1_v1FAIL600
c1_Debug_s3_f2_e1_v2FAIL600
c1_Debug_s3_f2_e1_v3FAIL600
c3_Debug_s3_f2_e2_v2FAIL600
c3_Debug_s3_f2_e2_v3FAIL600
blocks_enc_2_b4_ser--opt-26_FAIL600
cube_c7_ser---23_FAIL600
cube_c7_ser--opt-24_FAIL600
emptyroom_e4_ser--opt-44_FAIL600
ring_r6_ser---16_FAIL600
ring_r7_ser---19_FAIL600
ring_r7_ser--opt-20_FAIL600
c2_BMC_p1_k1024FAIL600
c3_BMC_p1_k2048FAIL600
c5_BMC_p1_k128FAIL600
c5_BMC_p1_k256FAIL600
c5_BMC_p1_k512FAIL600
c5_BMC_p1_k64FAIL600
c5_BMC_p2_k128FAIL600
c5_BMC_p2_k256FAIL600
c5_BMC_p2_k512FAIL600
c5_BMC_p2_k64FAIL600
ii32b1-90FAIL600
ii32b2-00FAIL600
ii32b2-50FAIL600
ii32b2-90FAIL600
ii32c2-00FAIL600
ii32c2-50FAIL600
ii32c3-00FAIL600
ii32c3-50FAIL600
ii32c3-90FAIL600
ii32d1-90FAIL600
ii32e1-00FAIL600
ii32e2-50FAIL600
ii32e2-90FAIL600
jnh1-50FAIL600
jnh201-90FAIL600
jnh205-50FAIL600
jnh205-90FAIL600
jnh209-50FAIL600
jnh209-90FAIL600
jnh210-90FAIL600
jnh218-50FAIL600
jnh220-50FAIL600
jnh220-90FAIL600
jnh7-00FAIL600
jnh7-50FAIL600
par16-1-00FAIL600
par16-1-50FAIL600
par16-1-90FAIL600
par16-1-c-00FAIL600
par16-1-c-50FAIL600
par16-1-c-90FAIL600
par16-2-c-50FAIL600
par16-3-c-00FAIL600
par16-3-c-50FAIL600
par16-4-00FAIL600
par16-4-50FAIL600
par16-4-90FAIL600
par16-4-c-00FAIL600
par16-4-c-50FAIL600
par16-4-c-90FAIL600
ssa7552-158-00FAIL600
ssa7552-158-50FAIL600
ssa7552-158-90FAIL600
ssa7552-159-50FAIL600
ssa7552-160-00FAIL600
ssa7552-160-50FAIL600
ssa7552-160-90FAIL600
k7_4_2FAIL600
k10_4_2FAIL600
k8_3_4FAIL600
k6_3_4FAIL600
k6_4_4FAIL600
k7_3_3FAIL600
k8_4_2FAIL600
k6_3_2FAIL600
k6_4_2FAIL600
k7_3_2FAIL600
k5_2_2FAIL600
k10_2_4FAIL600
k7_2_4FAIL600
k5_3_2FAIL600
k8_2_3FAIL600
k7_4_4FAIL600
k7_2_3FAIL600
k10_2_3FAIL600
k10_2_2FAIL600
k6_3_3FAIL600
k6_2_4FAIL600
k8_4_4FAIL600
k6_4_3FAIL600
k10_3_3FAIL600
k8_2_2FAIL600
k7_2_2FAIL600
k8_3_3FAIL600
k7_4_3FAIL600
k10_3_2FAIL600
k8_3_2FAIL600
k7_3_4FAIL600
k10_3_4FAIL600
k6_2_2FAIL600
k8_4_3FAIL600
k6_2_3FAIL600
k8_2_4FAIL600
s510_d10_sFAIL600
s298_d7_sFAIL600
s510_d24_sFAIL600
s510_d20_sFAIL600
s510_d11_sFAIL600
s510_d45_sFAIL600
s298_d9_sFAIL600
s510_d14_sFAIL600
s510_d30_sFAIL600
s510_d17_sFAIL600
s499_d9_sFAIL600
s510_d36_sFAIL600
s1269_d13_uFAIL600
s510_d29_sFAIL600
s499_d24_uFAIL600
s499_d13_sFAIL600
s298_d6_sFAIL600
s298_d12_sFAIL600
s298_d13_sFAIL600
s510_d33_sFAIL600
s499_d12_sFAIL600
s298_d22_uFAIL600
s510_d5_sFAIL600
s510_d44_sFAIL600
s713_d5_sFAIL600
s820_d15_uFAIL600
s820_d13_uFAIL600
s510_d38_sFAIL600
s1269_d12_uFAIL600
s510_d40_sFAIL600
s298_d25_uFAIL600
s499_d15_sFAIL600
s298_d11_sFAIL600
s499_d20_sFAIL600
s820_d6_sFAIL600
s510_d39_sFAIL600
s499_d23_uFAIL600
s3330_d14_uFAIL600
s1269_d14_uFAIL600
s510_d19_sFAIL600
s386_d11_uFAIL600
s499_d11_sFAIL600
s3330_d7_sFAIL600
s510_d34_sFAIL600
s820_d7_sFAIL600
s510_d21_sFAIL600
s386_d6_sFAIL600
s510_d50_uFAIL600
s298_d24_uFAIL600
s510_d22_sFAIL600
s510_d27_sFAIL600
s1269_d7_sFAIL600
s510_d7_sFAIL600
s298_d20_uFAIL600
s510_d9_sFAIL600
s510_d15_sFAIL600
s3330_d11_uFAIL600
s713_d11_uFAIL600
s298_d15_sFAIL600
s510_d35_sFAIL600
s510_d37_sFAIL600
s510_d28_sFAIL600
s510_d41_sFAIL600
s499_d25_uFAIL600
s298_d23_uFAIL600
s510_d18_sFAIL600
s510_d23_sFAIL600
s3330_d5_sFAIL600
s510_d6_sFAIL600
s499_d17_sFAIL600
s510_d43_sFAIL600
s510_d26_sFAIL600
s499_d26_uFAIL600
s510_d25_sFAIL600