Instances solved by <a href='solver_detail.php?solver=74'>Nenofex</a> <br> QBFEVAL'08

Instances solved by Nenofex
QBFEVAL'08

Instance	Result	Time
tree-exa2-25	UNSAT	0
impl04	SAT	0
tree-exa2-10	UNSAT	0
tree-exa2-20	UNSAT	0
tree-exa2-50	UNSAT	0
impl06	SAT	0
tree-exa10-20	SAT	0
k_lin_n-1	SAT	0
cmu.dme1.B-d2	SAT	0
texas.parsesys^1.E-d2	SAT	0
impl10	SAT	0
tree-exa2-45	UNSAT	0
impl16	SAT	0
tree-exa10-15	SAT	0
tree-exa10-25	SAT	0
qshifter_3	SAT	0
impl18	SAT	0
tree-exa2-40	UNSAT	0
tree-exa2-30	UNSAT	0
tree-exa2-35	UNSAT	0
impl14	SAT	0
TOILET2.1.iv.3	UNSAT	0
k_ph_n-2	SAT	0
k_ph_n-1	SAT	0
eijk.S208o.S-d2	SAT	0
eijk.S208.S-d2	SAT	0
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0
stmt24_7_8	SAT	0
stmt6_13_14	SAT	0
stmt1_30_31	SAT	0
stmt44_107_113	SAT	0
flipflop-3-c	UNSAT	0.01
impl12	SAT	0.01
impl08	SAT	0.01
tree-exa2-15	UNSAT	0.01
tree-exa10-10	SAT	0.01
TOILET2.1.iv.4	SAT	0.01
impl02	SAT	0.01
k_path_p-1	UNSAT	0.01
k_ph_p-2	UNSAT	0.01
k_ph_p-1	UNSAT	0.01
eijk.S208c.S-d2	SAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.01
stmt32_122_129	SAT	0.01
tree-exa10-30	SAT	0.01
counter_2	SAT	0.01
eijk.S510.S-d3	SAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.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-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.01
stmt44_107_108	SAT	0.01
stmt1_20_21	SAT	0.01
impl20	SAT	0.02
counter_r_2	SAT	0.02
k_poly_p-1	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.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-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	0.02
stmt24_148_149	SAT	0.02
mutex-2-s	SAT	0.02
s27_d2_s	SAT	0.02
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
eijk.S208o.S-d3	SAT	0.02
eijk.S208.S-d3	SAT	0.02
vis.bakery.E-d2	SAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007	UNSAT	0.02
stmt1_145_146	SAT	0.02
counter_re_2	SAT	0.02
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.02
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.02
flipflop-4-c	UNSAT	0.02
nusmv.dme1-16.B-d2	SAT	0.02
texas.parsesys^4.E-f2	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.02
CHAIN12v.13	SAT	0.03
adder-2-sat	SAT	0.03
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.03
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.03
k_d4_p-1	UNSAT	0.03
k_ph_n-3	SAT	0.03
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	0.03
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008	UNSAT	0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.03
c4_BMC_p1_k2	SAT	0.03
c4_BMC_p2_k2	UNSAT	0.03
k_ph_p-3	UNSAT	0.03
eijk.S208c.S-d3	SAT	0.03
vis.eisenberg.E-d2	SAT	0.03
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.03
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	0.03
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	0.03
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007	UNSAT	0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	0.03
counter_e_2	SAT	0.04
adder-2-unsat	UNSAT	0.04
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.04
CHAIN14v.15	SAT	0.04
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.04
qshifter_4	SAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.04
CHAIN13v.14	SAT	0.04
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.04
k_d4_n-1	SAT	0.04
k_poly_n-1	SAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.04
k3_2_1	SAT	0.04
CHAIN15v.16	SAT	0.04
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.04
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.04
k_path_n-1	SAT	0.04
texas.parsesys^4.E-f3	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	0.04
k3_1_1	SAT	0.04
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.05
CHAIN16v.17	SAT	0.05
k_branch_n-1	SAT	0.05
k_lin_p-1	UNSAT	0.05
texas.ifetch1^4.E-f2	UNSAT	0.05
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008	UNSAT	0.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	0.05
c3_BMC_p2_k2	UNSAT	0.05
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.05
CHAIN17v.18	SAT	0.05
k_branch_p-1	UNSAT	0.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.05
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.05
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.05
CHAIN18v.19	SAT	0.06
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.06
cmu.dme2.B-d2	SAT	0.06
texas.parsesys^1.E-d3	SAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.06
c4_BMC_p2_k4	UNSAT	0.06
ssa7552-159-00	SAT	0.06
k3_1_2	SAT	0.06
s27_d3_u	UNSAT	0.06
k_path_p-2	UNSAT	0.06
eijk.S382.S-d2	SAT	0.06
eijk.S444.S-d2	SAT	0.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-001	UNSAT	0.06
aim-50-1_6-yes1-3-90	SAT	0.06
k3_2_2	SAT	0.06
CHAIN19v.20	SAT	0.06
TOILET6.1.iv.12	SAT	0.06
k_dum_n-1	SAT	0.06
eijk.S510.S-d4	SAT	0.06
vis.bakery.E-d3	SAT	0.06
vis.eisenberg.E-d3	SAT	0.06
texas.parsesys^4.E-f4	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.06
CHAIN20v.21	SAT	0.07
k_dum_p-1	UNSAT	0.07
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.07
k_ph_n-4	SAT	0.07
eijk.S298.S-d2	SAT	0.07
aim-50-1_6-yes1-1-90	UNSAT	0.07
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.08
eijk.S208o.S-d4	SAT	0.08
texas.ifetch1^4.E-f3	UNSAT	0.08
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.08
flipflop-5-c	UNSAT	0.08
CHAIN21v.22	SAT	0.08
TOILET7.1.iv.14	SAT	0.08
k_dum_n-3	SAT	0.08
eijk.S526.S-d2	SAT	0.08
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.08
c4_BMC_p1_k4	SAT	0.08
lut4_XOR_fOR	UNSAT	0.08
aim-50-1_6-yes1-2-90	UNSAT	0.08
aim-50-1_6-yes1-4-90	UNSAT	0.08
mutex-4-s	SAT	0.09
CHAIN22v.23	SAT	0.09
counter_re_4	SAT	0.09
TOILET6.1.iv.11	UNSAT	0.09
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.09
k_lin_p-2	UNSAT	0.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.09
lut4_XOR_f1	SAT	0.1
CHAIN23v.24	SAT	0.1
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.1
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.1
k_d4_p-2	UNSAT	0.1
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.1
eijk.S208.S-d4	SAT	0.1
k_dum_n-2	SAT	0.11
counter_e_4	SAT	0.11
Adder2-2-s	SAT	0.11
eijk.S208c.S-d4	SAT	0.11
eijk.S420.S-d4	SAT	0.11
aim-50-1_6-yes1-1-50	SAT	0.11
k_lin_n-2	SAT	0.12
nusmv.reactor^3.C-f4	UNSAT	0.12
aim-50-1_6-yes1-2-50	SAT	0.12
aim-50-2_0-yes1-4-90	SAT	0.12
aim-50-1_6-yes1-3-50	UNSAT	0.12
k_ph_p-4	UNSAT	0.12
k_dum_n-4	SAT	0.13
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.13
texas.ifetch1^4.E-f4	UNSAT	0.13
aim-50-1_6-yes1-4-50	SAT	0.13
aim-50-2_0-yes1-1-90	UNSAT	0.13
BLOCKS3iii.4	UNSAT	0.14
c4_BMC_p2_k8	UNSAT	0.14
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.14
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	0.14
k_dum_p-2	UNSAT	0.14
sortnetsort5.v.stepl.003	UNSAT	0.14
k_dum_p-3	UNSAT	0.15
c4_BMC_p1_k8	SAT	0.15
k_dum_n-5	SAT	0.15
k_poly_n-3	SAT	0.15
aim-50-2_0-yes1-2-90	SAT	0.15
vonNeumann-ripple-carry-5-c	UNSAT	0.16
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.16
texas.ifetch1^9.E-d3	SAT	0.16
s27_d4_u	UNSAT	0.17
counter_4	SAT	0.17
k_grz_n-1	SAT	0.17
aim-50-2_0-yes1-3-90	UNSAT	0.17
k_ph_n-5	SAT	0.18
k_t4p_n-1	SAT	0.18
k_t4p_p-1	UNSAT	0.18
k_dum_p-4	UNSAT	0.18
k_dum_n-7	SAT	0.18
texas.parsesys^1.E-d4	SAT	0.18
k_dum_n-6	SAT	0.19
BLOCKS3i.4.4	UNSAT	0.2
BLOCKS3i.5.3	UNSAT	0.2
ken.flash^10.C-f2	UNSAT	0.2
k_ph_p-5	UNSAT	0.21
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.21
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.21
sortnetsort6.v.stepl.003	UNSAT	0.22
flipflop-6-c	UNSAT	0.22
aim-50-2_0-yes1-3-50	UNSAT	0.22
adder-4-unsat	UNSAT	0.22
sortnetsort5.v.stepl.004	UNSAT	0.22
aim-50-1_6-yes1-2-00	SAT	0.22
aim-50-2_0-yes1-4-50	SAT	0.22
eijk.S386.S-d2	SAT	0.23
aim-50-1_6-yes1-3-00	SAT	0.23
aim-50-1_6-yes1-4-00	SAT	0.23
k_dum_n-8	SAT	0.23
sortnetsort6.v.stepl.004	UNSAT	0.23
adder-4-sat	SAT	0.24
counter_r_4	SAT	0.24
sortnetsort5.v.stepl.007	SAT	0.24
aim-50-1_6-yes1-1-00	SAT	0.24
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.24
BLOCKS3iii.5	SAT	0.24
k_branch_p-2	UNSAT	0.24
k_grz_n-2	SAT	0.24
aim-50-2_0-yes1-1-50	UNSAT	0.24
lut4_2_fXOR	SAT	0.24
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.24
BLOCKS3ii.4.3	UNSAT	0.25
texas.ifetch1^3.E-d3	SAT	0.25
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.26
texas.ifetch1^1.E-d3	SAT	0.26
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.26
k_dum_p-5	UNSAT	0.26
sortnetsort5.v.stepl.005	SAT	0.26
sortnetsort5.v.stepl.006	SAT	0.26
aim-50-2_0-yes1-1-00	UNSAT	0.26
k_path_p-4	UNSAT	0.26
k_d4_n-2	SAT	0.26
aim-50-2_0-yes1-3-00	UNSAT	0.26
k_dum_n-9	SAT	0.27
k_branch_n-2	SAT	0.27
c3_BMC_p1_k2	SAT	0.27
c3_BMC_p2_k4	UNSAT	0.27
aim-50-2_0-yes1-4-00	UNSAT	0.28
k_path_p-3	UNSAT	0.28
sortnetsort6.v.stepl.006	SAT	0.28
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.28
aim-50-2_0-yes1-2-50	UNSAT	0.28
k_dum_p-6	UNSAT	0.29
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.29
aim-50-2_0-yes1-2-00	UNSAT	0.29
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.3
vonNeumann-ripple-carry-6-c	UNSAT	0.3
k_grz_p-1	UNSAT	0.3
k_dum_p-7	UNSAT	0.3
k_grz_n-3	SAT	0.31
k_grz_p-2	UNSAT	0.31
k_grz_p-3	UNSAT	0.31
k_path_n-2	SAT	0.31
ken.flash^10.C-f3	UNSAT	0.31
BLOCKS3ii.5.2	UNSAT	0.32
lut4_2_f1	SAT	0.32
k_d4_p-3	UNSAT	0.32
k_poly_p-2	UNSAT	0.32
k_grz_n-4	SAT	0.33
k_lin_p-3	UNSAT	0.33
k_grz_p-4	UNSAT	0.34
vis.bakery.E-d4	SAT	0.34
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.34
s27_d5_u	UNSAT	0.35
k_dum_n-10	SAT	0.36
sortnetsort6.v.stepl.005	SAT	0.36
blocks_enc_2_b3_ser--opt-9_	SAT	0.37
k_path_n-3	SAT	0.37
k_t4p_p-2	UNSAT	0.38
k_grz_p-5	UNSAT	0.38
k_ph_p-6	UNSAT	0.38
k_grz_n-5	SAT	0.39
vis.eisenberg.E-d4	SAT	0.39
qshifter_5	SAT	0.4
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.4
BLOCKS3ii.5.3	SAT	0.4
k4_2_2	SAT	0.4
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.41
aim-100-1_6-yes1-1-90	UNSAT	0.41
BLOCKS3i.5.4	SAT	0.43
sortnetsort7.v.stepl.004	UNSAT	0.43
eijk.S444.S-d3	SAT	0.43
ken.flash^10.C-f4	UNSAT	0.44
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.46
k_lin_p-5	UNSAT	0.46
k_dum_p-8	UNSAT	0.47
k_ph_n-6	SAT	0.47
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.48
aim-100-1_6-yes1-3-90	SAT	0.49
sortnetsort6.v.stepl.007	SAT	0.5
flipflop-7-c	UNSAT	0.52
vonNeumann-ripple-carry-7-c	UNSAT	0.53
aim-50-3_4-yes1-1-90	UNSAT	0.53
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.54
cube_c3_ser--opt-6_	SAT	0.54
aim-100-1_6-yes1-2-90	UNSAT	0.55
eijk.S832.S-d2	SAT	0.56
k_grz_p-6	UNSAT	0.57
aim-100-1_6-yes1-4-90	UNSAT	0.57
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.58
aim-50-3_4-yes1-3-90	UNSAT	0.58
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.6
k_lin_p-4	UNSAT	0.6
aim-50-3_4-yes1-2-90	SAT	0.6
lut4_AND_f1	SAT	0.61
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.61
aim-50-3_4-yes1-4-90	SAT	0.61
k_grz_p-8	UNSAT	0.62
eijk.S526.S-d3	SAT	0.62
k_dum_n-11	SAT	0.63
aim-100-3_4-yes1-1-90	SAT	0.64
TOILET10.1.iv.20	SAT	0.65
k_dum_n-12	SAT	0.67
adder-6-unsat	UNSAT	0.68
aim-50-3_4-yes1-3-50	SAT	0.68
nusmv.queue.B-d2	SAT	0.68
aim-50-3_4-yes1-1-50	UNSAT	0.68
ii8a1-50	SAT	0.69
c3_BMC_p1_k4	SAT	0.71
k_grz_p-9	UNSAT	0.71
k_grz_n-8	SAT	0.72
k_grz_p-7	UNSAT	0.76
lut4_AND_fXOR	UNSAT	0.76
c4_BMC_p2_k16	UNSAT	0.76
sortnetsort7.v.stepl.003	UNSAT	0.77
k_dum_p-10	UNSAT	0.77
k_path_p-6	UNSAT	0.78
k_dum_p-11	UNSAT	0.78
ring_r4_ser--opt-11_	UNSAT	0.79
c4_BMC_p1_k16	SAT	0.79
eijk.S382.S-d3	SAT	0.8
sortnetsort7.v.stepl.007	SAT	0.8
aim-50-3_4-yes1-2-50	SAT	0.8
k_grz_n-6	SAT	0.81
sortnetsort7.v.stepl.009	SAT	0.82
c4_BMC_p2_k32	UNSAT	0.82
aim-100-1_6-yes1-1-50	SAT	0.82
c4_BMC_p1_k32	SAT	0.84
c3_BMC_p2_k8	UNSAT	0.84
vonNeumann-ripple-carry-8-c	UNSAT	0.86
k_grz_n-9	SAT	0.86
k_dum_p-12	UNSAT	0.86
aim-100-1_6-yes1-2-50	SAT	0.86
k_d4_n-3	SAT	0.87
eijk.S820.S-d2	SAT	0.87
adder-6-sat	SAT	0.88
eijk.S298.S-d3	SAT	0.89
k_branch_n-3	SAT	0.89
aim-100-2_0-yes1-4-90	SAT	0.9
ii8a1-90	SAT	0.9
k_lin_p-7	UNSAT	0.92
k_dum_n-18	SAT	0.92
aim-50-3_4-yes1-4-50	UNSAT	0.92
k_dum_p-13	UNSAT	0.94
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.94
szymanski-4-s	UNSAT	0.95
k_lin_n-3	SAT	0.95
k_grz_p-11	UNSAT	0.96
c4_BMC_p2_k64	UNSAT	0.96
k_grz_n-7	SAT	0.97
sortnetsort7.v.stepl.008	SAT	0.98
k_ph_n-8	SAT	1
k_dum_p-15	UNSAT	1.01
k_dum_p-9	UNSAT	1.02
aim-100-2_0-yes1-1-90	UNSAT	1.02
aim-50-3_4-yes1-1-00	UNSAT	1.02
k_path_p-5	UNSAT	1.04
k_t4p_n-2	SAT	1.04
sortnetsort7.v.stepl.006	SAT	1.04
k_grz_p-10	UNSAT	1.06
aim-100-1_6-yes1-4-50	UNSAT	1.06
c4_BMC_p1_k64	SAT	1.07
aim-100-2_0-yes1-2-90	UNSAT	1.1
k_branch_p-3	UNSAT	1.1
flipflop-8-c	UNSAT	1.12
lognBWLARGEA1	UNSAT	1.12
aim-50-3_4-yes1-2-00	SAT	1.12
k_dum_p-14	UNSAT	1.13
k_lin_p-6	UNSAT	1.13
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	1.14
aim-100-1_6-yes1-3-50	UNSAT	1.14
k_grz_p-12	UNSAT	1.15
k_dum_n-13	SAT	1.15
k_dum_n-14	SAT	1.16
k_t4p_p-3	UNSAT	1.16
aim-50-3_4-yes1-4-00	UNSAT	1.16
TOILET7.1.iv.13	UNSAT	1.17
aim-50-3_4-yes1-3-00	SAT	1.17
k_grz_p-13	UNSAT	1.18
k_grz_n-10	SAT	1.2
vis.emodel.E-f4	UNSAT	1.2
aim-100-2_0-yes1-3-90	UNSAT	1.2
aim-100-2_0-yes1-1-50	UNSAT	1.23
sortnetsort8.v.stepl.004	UNSAT	1.24
aim-100-1_6-yes1-2-00	SAT	1.24
k_t4p_p-4	UNSAT	1.25
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	1.26
aim-100-1_6-yes1-4-00	UNSAT	1.28
k_poly_p-3	UNSAT	1.29
vonNeumann-ripple-carry-9-c	UNSAT	1.32
k_dum_n-15	SAT	1.36
k_dum_p-17	UNSAT	1.36
k_d4_p-4	UNSAT	1.39
k_path_n-7	SAT	1.39
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	1.4
aim-100-2_0-yes1-4-50	UNSAT	1.4
aim-100-2_0-yes1-2-50	SAT	1.41
k_ph_n-9	SAT	1.41
k_path_n-5	SAT	1.42
k_poly_n-2	SAT	1.43
k_ph_n-7	SAT	1.43
k_dum_p-19	UNSAT	1.44
aim-100-2_0-yes1-3-50	UNSAT	1.44
adder-8-unsat	UNSAT	1.48
c6_BMC_p1_k2	SAT	1.49
c6_BMC_p2_k2	UNSAT	1.5
sortnetsort8.v.stepl.003	UNSAT	1.5
c4_BMC_p2_k128	UNSAT	1.53
vis.emodel.E-f3	UNSAT	1.54
aim-100-1_6-yes1-1-00	SAT	1.54
ring_r3_ser--opt-8_	SAT	1.54
vis.emodel.E-f2	UNSAT	1.57
k_dum_n-21	SAT	1.58
aim-100-1_6-yes1-3-00	UNSAT	1.58
k_grz_n-12	SAT	1.59
C5315.blif_0.10_1.00_0_1_out_exact	SAT	1.59
vis.coherence^1.E-d2	SAT	1.6
cmu.dme1.B-d3	SAT	1.65
k_poly_n-4	SAT	1.66
k_d4_n-4	SAT	1.72
k_grz_n-11	SAT	1.72
par8-4-c-90	SAT	1.74
eijk.S953.S-d2	SAT	1.74
k_ph_p-8	UNSAT	1.77
par8-1-c-90	UNSAT	1.78
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	1.79
c4_BMC_p1_k128	SAT	1.82
k_dum_p-20	UNSAT	1.82
k_grz_n-13	SAT	1.82
counter_8	SAT	1.86
aim-50-6_0-yes1-1-90	SAT	1.9
eijk.S641.S-d3	SAT	1.93
c6_BMC_p1_k4	SAT	1.93
c6_BMC_p2_k4	UNSAT	1.93
k_grz_p-15	UNSAT	1.94
aim-200-1_6-yes1-3-90	UNSAT	1.94
emptyroom_e3_par--opt-10_	SAT	1.94
par8-2-c-90	UNSAT	1.94
aim-200-1_6-yes1-4-90	SAT	1.95
k_grz_p-16	UNSAT	1.96
vonNeumann-ripple-carry-10-c	UNSAT	1.96
aim-50-6_0-yes1-4-90	SAT	1.96
k_path_n-9	SAT	1.96
aim-200-1_6-yes1-2-90	UNSAT	1.97
k_dum_n-20	SAT	1.98
aim-100-2_0-yes1-1-00	UNSAT	1.98
aim-100-2_0-yes1-4-00	UNSAT	1.98
mutex-8-s	SAT	2.02
sortnetsort8.v.stepl.007	SAT	2.02
k_d4_p-10	UNSAT	2.04
par8-1-c-50	UNSAT	2.07
par8-2-c-50	UNSAT	2.08
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	2.1
aim-50-6_0-yes1-4-00	SAT	2.11
k_grz_n-14	SAT	2.11
aim-200-1_6-yes1-1-90	SAT	2.11
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	2.12
par8-3-c-90	UNSAT	2.14
k_grz_p-14	UNSAT	2.14
c3_BMC_p1_k8	SAT	2.16
TOILET16.1.iv.32	SAT	2.19
par8-5-c-90	UNSAT	2.22
aim-100-2_0-yes1-2-00	SAT	2.22
aim-100-2_0-yes1-3-00	UNSAT	2.22
par8-4-c-50	SAT	2.23
k_path_n-6	SAT	2.26
flipflop-9-c	UNSAT	2.26
k_lin_n-4	SAT	2.29
c1_BMC_p2_k2	UNSAT	2.33
aim-50-6_0-yes1-3-90	SAT	2.35
k_lin_p-9	UNSAT	2.42
aim-50-6_0-yes1-2-90	UNSAT	2.43
par8-3-c-50	UNSAT	2.43
k_path_p-10	UNSAT	2.44
k_d4_p-6	UNSAT	2.45
vis.4-arbit^1.E-d2	SAT	2.45
c4_BMC_p2_k256	UNSAT	2.47
par8-1-c-00	UNSAT	2.48
sortnetsort8.v.stepl.009	SAT	2.5
k_ph_n-10	SAT	2.51
k_ph_p-7	UNSAT	2.52
k_grz_n-15	SAT	2.52
vis.elevator^1.E-f2	UNSAT	2.52
par8-4-c-00	SAT	2.61
par8-5-c-50	UNSAT	2.61
aim-200-1_6-yes1-2-50	SAT	2.65
vis.emodel.E-d2	SAT	2.67
k_dum_n-16	SAT	2.68
par8-2-c-00	UNSAT	2.7
aim-200-1_6-yes1-1-50	SAT	2.72
ii8a1-00	SAT	2.73
k_path_n-4	SAT	2.8
vonNeumann-ripple-carry-11-c	UNSAT	2.8
adder-8-sat	SAT	2.83
aim-200-2_0-yes1-3-90	SAT	2.83
aim-100-3_4-yes1-1-50	UNSAT	2.84
k_t4p_p-5	UNSAT	2.85
aim-200-1_6-yes1-3-50	UNSAT	2.85
vis.arbiter.E-d4	SAT	2.87
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	2.9
aim-200-2_0-yes1-1-90	UNSAT	2.9
adder-10-unsat	UNSAT	2.91
aim-100-3_4-yes1-2-50	SAT	2.92
par8-5-c-00	UNSAT	2.96
par8-3-c-00	SAT	2.99
k_lin_p-8	UNSAT	3
c4_BMC_p1_k256	SAT	3.04
k_grz_n-16	SAT	3.05
aim-50-6_0-yes1-1-50	UNSAT	3.08
aim-50-6_0-yes1-2-50	UNSAT	3.1
aim-200-2_0-yes1-4-90	SAT	3.1
aim-50-6_0-yes1-3-50	UNSAT	3.12
c2_BMC_p2_k2	UNSAT	3.19
aim-200-2_0-yes1-1-50	UNSAT	3.2
aim-200-2_0-yes1-4-50	SAT	3.27
sortnetsort8.v.stepl.008	SAT	3.28
aim-50-6_0-yes1-4-50	UNSAT	3.28
aim-200-2_0-yes1-2-50	UNSAT	3.29
aim-200-2_0-yes1-3-50	UNSAT	3.36
aim-100-3_4-yes1-3-90	UNSAT	3.42
c6_BMC_p2_k8	UNSAT	3.42
c6_BMC_p1_k8	SAT	3.45
sortnetsort9.v.stepl.004	UNSAT	3.46
c2_BMC_p1_k2	SAT	3.48
lut4_2_f2	UNSAT	3.54
c3_BMC_p2_k16	UNSAT	3.56
aim-200-2_0-yes1-1-00	SAT	3.58
k_d4_p-5	UNSAT	3.6
aim-100-3_4-yes1-3-00	SAT	3.6
aim-50-6_0-yes1-1-00	UNSAT	3.63
aim-50-6_0-yes1-2-00	UNSAT	3.64
k_path_n-12	SAT	3.67
sortnetsort8.v.stepl.006	SAT	3.74
k_dum_p-18	UNSAT	3.77
vonNeumann-ripple-carry-12-c	UNSAT	3.84
k_grz_p-20	UNSAT	3.85
aim-50-6_0-yes1-3-00	UNSAT	3.91
BLOCKS4ii.7.2	UNSAT	3.94
lognBWLARGEB1	UNSAT	3.98
k_dum_n-19	SAT	4.02
aim-100-3_4-yes1-2-90	UNSAT	4.02
aim-200-1_6-yes1-1-00	SAT	4.16
k_ph_n-11	SAT	4.25
aim-200-1_6-yes1-3-00	UNSAT	4.26
aim-200-1_6-yes1-2-00	UNSAT	4.27
aim-200-1_6-yes1-4-00	UNSAT	4.28
flipflop-10-c	UNSAT	4.34
k_path_p-15	UNSAT	4.34
aim-100-6_0-yes1-3-50	SAT	4.35
sortnetsort7.v.stepl.005	UNSAT	4.37
Adder2-4-s	SAT	4.38
aim-100-3_4-yes1-2-00	UNSAT	4.44
k_dum_n-17	SAT	4.44
aim-200-2_0-yes1-4-00	SAT	4.45
k_lin_n-5	SAT	4.48
aim-200-2_0-yes1-2-00	UNSAT	4.54
c3_BMC_p2_k32	UNSAT	4.55
BLOCKS4iii.7	SAT	4.56
aim-200-2_0-yes1-3-00	UNSAT	4.6
k_lin_p-10	UNSAT	4.67
c4_BMC_p2_k512	UNSAT	4.67
BLOCKS4i.6.4	UNSAT	4.68
k_path_n-11	SAT	4.69
adder-10-sat	SAT	4.75
aim-100-6_0-yes1-2-50	UNSAT	4.8
BLOCKS4iii.6	UNSAT	4.85
aim-100-6_0-yes1-4-90	SAT	4.96
adder-12-unsat	UNSAT	5
BLOCKS4ii.6.3	UNSAT	5.01
aim-100-6_0-yes1-3-00	SAT	5.01
k_grz_p-19	UNSAT	5.04
aim-100-6_0-yes1-4-50	UNSAT	5.05
aim-100-6_0-yes1-1-00	SAT	5.06
vonNeumann-ripple-carry-13-c	UNSAT	5.12
aim-100-6_0-yes1-2-00	UNSAT	5.14
irst.dme4.B-d2	SAT	5.18
k_grz_n-19	SAT	5.2
aim-100-6_0-yes1-4-00	UNSAT	5.23
aim-100-6_0-yes1-3-90	UNSAT	5.26
k_path_n-15	SAT	5.5
k_grz_n-17	SAT	5.58
vis.elevator^1.E-f4	UNSAT	5.62
c3_BMC_p2_k64	UNSAT	5.68
k_grz_p-18	UNSAT	5.72
cmu.dme2.B-d3	SAT	5.81
aim-200-3_4-yes1-1-90	SAT	5.82
k_lin_n-6	SAT	5.83
sortnetsort9.v.stepl.008	SAT	5.9
texas.ifetch1^1.E-f2	UNSAT	5.99
c4_BMC_p1_k512	SAT	6.02
aim-100-6_0-yes1-2-90	SAT	6.06
aim-100-6_0-yes1-1-50	SAT	6.1
sortnetsort9.v.stepl.010	SAT	6.17
k_poly_p-6	UNSAT	6.32
vis.prodcell^21.E-f2	UNSAT	6.35
k_ph_n-12	SAT	6.44
k_path_p-12	UNSAT	6.45
k_branch_n-4	SAT	6.6
c6_BMC_p2_k16	UNSAT	6.63
sortnetsort9.v.stepl.012	SAT	6.68
c6_BMC_p1_k16	SAT	6.78
k_grz_p-21	UNSAT	6.93
k_path_n-13	SAT	7.18
eijk.S298.S-d4	SAT	7.21
k_grz_n-20	SAT	7.24
aim-100-3_4-yes1-4-50	UNSAT	7.24
k_grz_n-18	SAT	7.48
sortnetsort9.v.stepl.011	SAT	7.48
aim-100-3_4-yes1-4-90	SAT	7.61
flipflop-11-c	UNSAT	7.74
c3_BMC_p1_k16	SAT	7.85
sortnetsort9.v.stepl.009	SAT	7.96
sortnetsort10.v.stepl.004	UNSAT	7.99
counter_r_8	SAT	8.11
c3_BMC_p2_k128	UNSAT	8.15
adder-14-unsat	UNSAT	8.19
c4_BMC_p2_k1024	UNSAT	8.27
c6_BMC_p2_k32	UNSAT	8.36
c6_BMC_p1_k32	SAT	8.7
k_path_p-8	UNSAT	8.71
s298_d2_s	SAT	8.73
par8-5-50	SAT	8.87
k_branch_p-4	UNSAT	8.92
vonNeumann-ripple-carry-15-c	UNSAT	8.97
aim-200-6_0-yes1-4-90	SAT	8.99
k_d4_p-8	UNSAT	9.1
aim-200-6_0-yes1-4-50	SAT	9.11
aim-200-6_0-yes1-1-50	UNSAT	9.16
par8-2-50	UNSAT	9.16
k_ph_p-9	UNSAT	9.17
c5_BMC_p2_k2	UNSAT	9.59
c2_BMC_p2_k4	UNSAT	9.62
aim-100-3_4-yes1-4-00	SAT	9.62
lut4_3_fAND	SAT	9.66
c3_BMC_p1_k32	SAT	9.69
counter_e_8	SAT	9.8
c5_BMC_p1_k2	SAT	9.9
emptyroom_e3_ser--opt-20_	SAT	9.96
aim-100-6_0-yes1-1-90	UNSAT	10.03
c2_BMC_p1_k4	SAT	10.05
k_grz_p-17	UNSAT	10.2
k_lin_p-11	UNSAT	10.81
k_ph_n-13	SAT	10.83
aim-200-6_0-yes1-1-90	SAT	11.09
adder-12-sat	SAT	11.14
eijk.S382.S-d4	SAT	11.23
eijk.S386.S-d3	SAT	11.59
sortnetsort9.v.stepl.007	SAT	12.01
par8-3-90	SAT	12.18
k_grz_n-21	SAT	12.21
k_path_p-16	UNSAT	12.24
sortnetsort8.v.stepl.005	UNSAT	12.36
nusmv.brp.B-d2	SAT	12.42
par8-2-90	UNSAT	12.43
c1_BMC_p1_k2	SAT	12.49
c1_BMC_p2_k4	UNSAT	12.53
par8-4-90	UNSAT	12.55
par8-5-90	UNSAT	12.58
k_lin_n-7	SAT	12.68
k_lin_p-12	UNSAT	12.69
c5_BMC_p2_k2048	FAIL	12.89
c6_BMC_p2_k64	UNSAT	12.89
c5_BMC_p1_k2048	FAIL	12.9
par8-1-90	UNSAT	12.94
cube_c5_ser--opt-15_	SAT	13.44
k_poly_p-7	UNSAT	13.46
adder-16-unsat	UNSAT	13.52
k_dum_p-21	UNSAT	13.55
c3_BMC_p2_k256	UNSAT	13.59
texas.parsesys^2.E-f2	UNSAT	13.61
k_path_n-21	SAT	13.84
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	13.85
c6_BMC_p1_k64	SAT	14.49
flipflop-12-c	UNSAT	14.55
c1_BMC_p1_k2048	FAIL	14.58
par8-3-50	UNSAT	14.61
c1_BMC_p2_k2048	FAIL	14.63
par8-1-50	SAT	14.69
par8-4-50	UNSAT	14.74
k_poly_p-5	UNSAT	14.82
vis.prodcell^21.E-f3	UNSAT	14.83
counter_re_8	SAT	14.89
qshifter_6	SAT	15.2
k_poly_p-4	UNSAT	15.26
k_poly_n-7	SAT	15.5
sortnetsort10.v.stepl.009	SAT	15.78
k_lin_p-15	UNSAT	16.03
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	16.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	16.51
sortnetsort10.v.stepl.008	SAT	16.63
k_path_n-14	SAT	16.83
c4_BMC_p2_k2048	UNSAT	16.88
c4_BMC_p1_k1024	SAT	16.98
k_path_p-9	UNSAT	17.02
eijk.S444.S-d4	SAT	17.07
c5_BMC_p2_k4	UNSAT	17.37
c5_BMC_p1_k4	SAT	17.5
par8-3-00	UNSAT	17.54
par8-5-00	UNSAT	17.55
eijk.S526.S-d4	SAT	17.56
par8-1-00	SAT	17.85
k_lin_p-13	UNSAT	17.9
par8-2-00	UNSAT	18.05
par8-4-00	SAT	18.2
jnh213-50	SAT	18.49
sortnetsort10.v.stepl.010	SAT	18.56
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	18.85
k_poly_p-10	UNSAT	19.02
jnh7-90	SAT	19.22
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	19.27
aim-100-3_4-yes1-3-50	UNSAT	19.45
k_lin_p-17	UNSAT	19.71
sortnetsort10.v.stepl.011	SAT	19.74
k_d4_n-5	SAT	19.89
jnh213-00	SAT	20.05
jnh218-00	SAT	20.32
sortnetsort10.v.stepl.012	SAT	20.33
c6_BMC_p2_k128	UNSAT	21.1
jnh12-50	UNSAT	21.31
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	21.42
k_lin_p-14	UNSAT	21.45
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	21.48
c2_BMC_p2_k8	UNSAT	21.57
k_lin_p-18	UNSAT	21.69
k_lin_p-16	UNSAT	21.92
jnh17-00	SAT	22.31
ev-pr-6x6-17-5-0-1-2-lg	FAIL	22.35
vis.elevator^1.E-f3	UNSAT	22.52
ev-pr-6x6-15-5-0-1-2-lg	FAIL	22.72
vis.prodcell^21.E-f4	UNSAT	22.8
c2_BMC_p1_k8	SAT	22.98
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	23.04
k_lin_n-8	SAT	23.54
k_path_p-13	UNSAT	23.95
jnh12-90	SAT	24.21
c3_BMC_p2_k512	UNSAT	24.47
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	24.65
c1_BMC_p1_k4	SAT	25.2
k_ph_n-15	FAIL	25.43
ev-pr-6x6-19-5-0-1-2-lg	FAIL	25.46
k_ph_p-15	FAIL	25.53
k_poly_p-12	UNSAT	25.61
eijk.S344.S-d2	SAT	25.67
test3_quant2	UNSAT	25.79
stmt16_0_1	SAT	25.83
jnh210-50	SAT	26.01
c3_BMC_p1_k64	SAT	26.21
k_ph_n-14	SAT	26.49
k_ph_n-16	FAIL	26.85
eijk.S1423.S-d2	SAT	26.85
ev-pr-8x8-5-7-0-1-2-lg	FAIL	27
k_d4_p-7	UNSAT	27.19
k_t4p_p-8	UNSAT	27.49
texas.parsesys^3.E-f2	SAT	27.82
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	FAIL	28.32
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	28.47
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005	FAIL	28.51
ev-pr-6x6-9-5-0-1-2-lg	FAIL	28.89
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	28.96
c6_BMC_p1_k128	SAT	29.31
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	29.47
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	FAIL	29.47
c1_BMC_p2_k8	UNSAT	29.61
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	29.78
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	FAIL	30.04
k_ph_p-16	FAIL	30.08
k_ph_p-17	FAIL	30.56
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	30.65
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	30.8
k_ph_n-17	FAIL	30.85
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	30.87
ev-pr-4x4-13-3-0-0-1-lg	FAIL	31.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	31.21
k_lin_p-19	UNSAT	31.41
jnh1-50	SAT	31.85
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	31.92
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	31.98
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	32.19
k_path_n-20	FAIL	32.47
c5_BMC_p2_k8	UNSAT	32.48
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004	FAIL	32.55
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	32.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-009	FAIL	32.82
k_poly_p-9	UNSAT	32.85
c5_BMC_p1_k8	SAT	32.95
jnh12-00	UNSAT	32.99
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	33.08
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	FAIL	33.2
jnh213-90	SAT	33.74
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	33.75
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	33.75
jnh7-50	SAT	33.83
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	33.95
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	FAIL	34.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-007	FAIL	34.12
ev-pr-4x4-17-3-0-0-1-lg	FAIL	34.43
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	34.69
jnh218-90	SAT	34.69
k_ph_p-19	FAIL	34.73
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	34.76
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	34.92
test3_quant_squaring4	FAIL	34.98
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	35.36
ev-pr-4x4-15-3-0-0-1-lg	FAIL	35.52
ev-pr-6x6-11-5-0-1-2-lg	FAIL	35.69
sortnetsort9.v.stepl.005	UNSAT	35.78
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	35.84
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	35.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-005	FAIL	35.91
k_t4p_n-19	FAIL	35.95
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003	FAIL	35.98
ev-pr-6x6-13-5-0-1-2-lg	FAIL	36.19
k_poly_n-9	SAT	36.21
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	36.27
ev-pr-8x8-9-7-0-1-2-lg	FAIL	36.33
k_t4p_n-7	FAIL	36.57
k_t4p_n-18	FAIL	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-010	FAIL	37.04
eijk.S349.S-d2	SAT	37.13
k_ph_n-19	FAIL	37.14
emptyroom_e3_ser---19_	UNSAT	37.45
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	38.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	38.36
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	38.42
k_path_p-11	UNSAT	38.47
k_t4p_n-4	FAIL	38.52
k_d4_p-17	FAIL	38.62
k_ph_n-20	FAIL	38.96
k_t4p_n-14	FAIL	38.97
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	39.01
ev-pr-4x4-9-3-0-0-1-lg	FAIL	39.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	39.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	39.13
k_path_p-18	FAIL	39.15
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	39.15
k_t4p_n-16	FAIL	39.33
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	39.34
c6_BMC_p2_k256	UNSAT	39.37
k_poly_p-8	UNSAT	39.61
k_ph_p-21	FAIL	39.64
k_poly_p-17	UNSAT	39.79
k_d4_p-12	FAIL	39.99
k_path_p-7	UNSAT	40.2
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	FAIL	40.37
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	40.53
k_ph_p-20	FAIL	40.73
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	40.84
k_path_n-10	FAIL	41.24
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	41.25
k_t4p_n-6	FAIL	41.63
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	41.82
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	42.04
k_t4p_n-13	FAIL	42.05
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	42.28
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	42.41
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	43
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	43.08
k_ph_n-18	FAIL	43.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	43.15
ev-pr-8x8-17-7-0-1-2-lg	FAIL	43.65
k_path_p-14	UNSAT	44.05
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	44.34
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	44.78
k_t4p_n-11	FAIL	45.16
c3_BMC_p2_k1024	UNSAT	45.18
k_branch_n-18	FAIL	45.34
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	45.42
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	45.89
ev-pr-8x8-13-7-0-1-2-lg	FAIL	46.04
k_ph_n-21	FAIL	46.25
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	46.32
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	46.37
ev-pr-8x8-15-7-0-1-2-lg	FAIL	47.11
k_ph_p-18	FAIL	47.3
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	47.56
k_branch_p-18	FAIL	47.82
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	47.84
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	48.12
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	48.15
aim-200-6_0-yes1-3-00	SAT	48.15
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004	FAIL	49.89
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	50.14
ev-pr-8x8-11-7-0-1-2-lg	FAIL	50.16
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	50.93
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	50.99
k_lin_p-20	UNSAT	51.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-009	FAIL	52.13
k_path_p-19	FAIL	52.28
k_t4p_n-15	FAIL	52.54
c4_BMC_p1_k2048	SAT	52.71
ev-pr-4x4-11-3-0-0-1-lg	FAIL	53.14
counter_e_64	FAIL	53.29
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	53.36
adder-14-sat	SAT	53.48
aim-200-1_6-yes1-4-50	FAIL	53.53
ev-pr-8x8-19-7-0-1-2-lg	FAIL	53.78
k_branch_n-20	FAIL	54.12
vis.eisenberg.E-f2	SAT	54.22
k_poly_n-21	SAT	54.65
counter_r_64	FAIL	54.87
ev-pr-8x8-7-7-0-1-2-lg	FAIL	55.76
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	55.85
c2_BMC_p2_k32	UNSAT	56.65
k_t4p_p-10	FAIL	57.05
k_t4p_p-19	FAIL	57.22
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	57.36
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	57.78
k_dum_p-16	FAIL	57.87
ev-pr-4x4-7-3-0-0-1-lg	FAIL	57.92
c1_BMC_p1_k8	SAT	57.94
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	58.28
k_d4_n-7	FAIL	58.3
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	59.35
k_d4_n-6	SAT	59.5
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	60.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-010	FAIL	60.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	60.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	FAIL	60.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	61.05
k_path_p-20	FAIL	61.16
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	61.37
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	61.94
szymanski-5-s	UNSAT	62.14
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	62.47
k_t4p_p-18	FAIL	63.1
jnh301-50	SAT	63.62
c2_BMC_p2_k64	UNSAT	64.89
k_poly_n-10	SAT	65
c5_BMC_p1_k16	SAT	65.24
k_t4p_n-20	FAIL	65.28
k_poly_n-6	SAT	65.35
c5_BMC_p2_k16	UNSAT	65.39
k_t4p_n-10	FAIL	65.48
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005	FAIL	65.78
counter_r_32	FAIL	66.14
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	66.48
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	66.52
counter_re_64	FAIL	67.39
k_t4p_n-5	FAIL	67.4
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	67.85
c1_BMC_p2_k16	UNSAT	68.32
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	68.44
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	69.55
k_t4p_p-9	FAIL	70.07
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	FAIL	70.14
k_d4_p-21	FAIL	70.17
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	FAIL	70.2
k_path_n-8	SAT	71.34
cube_c5_ser---14_	UNSAT	71.74
ev-pr-6x6-7-5-0-1-2-lg	FAIL	72.34
counter_16	FAIL	73.06
stmt17_18_19	SAT	73.53
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	73.54
counter_e_32	FAIL	73.83
nusmv.syncarb5^2.B-f2	SAT	74.95
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	75.09
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	75.39
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	75.73
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003	FAIL	75.76
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	76.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-004	FAIL	76.33
k_lin_n-11	SAT	76.52
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	76.58
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	FAIL	76.75
c6_BMC_p2_k512	UNSAT	76.79
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	77.28
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	77.71
C499.blif_0.10_0.20_0_1_out_exact	FAIL	77.74
jnh17-50	SAT	77.78
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004	FAIL	77.91
c2_BMC_p1_k16	SAT	78.17
c2_BMC_p2_k16	UNSAT	78.55
c2_BMC_p1_k32	SAT	78.64
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	78.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-007	FAIL	79.04
c5_BMC_p2_k32	UNSAT	79.76
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	79.77
aim-100-3_4-yes1-1-00	UNSAT	80.32
k_t4p_p-20	FAIL	80.37
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	80.73
k_t4p_p-14	FAIL	80.81
k_t4p_n-8	FAIL	81.2
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	81.25
c6_BMC_p1_k256	SAT	81.45
k_t4p_n-17	FAIL	81.5
c5_BMC_p1_k32	SAT	81.54
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	81.86
k_d4_p-14	FAIL	81.91
k_poly_n-11	SAT	82.17
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	82.29
C499.blif_0.10_0.20_0_0_out_exact	FAIL	82.31
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	82.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-007	FAIL	82.97
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	83.37
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	84.83
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	FAIL	85.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	FAIL	85.16
k_t4p_n-9	FAIL	85.33
par16-1-c-00	SAT	85.51
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	87.48
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	87.53
aim-200-3_4-yes1-1-00	FAIL	87.53
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	87.65
k_d4_p-15	FAIL	87.91
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	88.15
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	88.4
k_poly_n-5	SAT	88.74
c3_BMC_p2_k2048	UNSAT	88.79
test5_quant5	FAIL	89.36
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	89.4
aim-200-6_0-yes1-3-90	UNSAT	89.53
c3_BMC_p1_k128	SAT	89.86
k_t4p_p-6	UNSAT	90.1
k_lin_n-9	SAT	90.19
counter_re_32	FAIL	90.83
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	90.92
k_t4p_p-17	FAIL	91
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	91.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	91.54
k_poly_p-19	UNSAT	92.05
stmt21_70_369	FAIL	92.05
jnh218-50	SAT	92.15
aim-200-3_4-yes1-2-50	FAIL	92.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-006	FAIL	93.36
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	93.95
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	94.41
k_poly_p-13	UNSAT	94.53
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	94.53
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	94.64
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	94.95
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	95.15
k_d4_p-16	FAIL	95.49
aim-200-3_4-yes1-3-90	FAIL	95.96
cube_c9_par---10_	UNSAT	96.3
aim-200-6_0-yes1-1-00	FAIL	96.57
aim-200-6_0-yes1-2-50	FAIL	97.03
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	97.09
stmt19_133_180	FAIL	98.15
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	FAIL	98.27
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	98.43
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	100.19
aim-200-3_4-yes1-4-50	FAIL	100.39
ev-pr-4x4-17-3-0-0-1-s	FAIL	100.5
term1.blif_0.10_0.20_0_1_out_exact	SAT	100.61
adder-16-sat	SAT	100.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-004	FAIL	100.88
cube_c9_par--opt-11_	SAT	100.89
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	100.91
aim-200-6_0-yes1-4-00	FAIL	100.92
stmt19_137_177	FAIL	101.2
test3_quant4	FAIL	101.59
k_d4_n-13	FAIL	101.61
stmt19_67_363	FAIL	102.57
k_d4_n-15	FAIL	102.73
stmt46_43_339	FAIL	102.74
stmt22_80_370	FAIL	103.47
test3_quant_squaring2	UNSAT	103.89
stmt21_71_354	FAIL	103.93
k_t4p_p-7	FAIL	104
stmt21_5_354	FAIL	104.07
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	104.15
stmt21_138_215	FAIL	104.48
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	104.48
stmt19_90_309	FAIL	104.58
f600-90	FAIL	104.77
k_t4p_n-21	FAIL	104.78
ssa7552-158-90	SAT	104.87
stmt22_92_320	FAIL	105.36
k_d4_p-19	FAIL	105.42
stmt21_127_181	FAIL	105.59
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	106.17
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	106.46
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	FAIL	107.01
k_branch_p-8	FAIL	107.36
stmt21_5_364	FAIL	107.38
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	107.77
stmt21_134_178	FAIL	108.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	108.25
k_lin_n-12	SAT	108.55
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	108.74
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	FAIL	109.17
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	109.58
stmt22_139_182	FAIL	110.12
k_ph_p-10	UNSAT	110.42
stmt19_90_352	FAIL	110.58
stmt22_92_139	FAIL	110.61
k_d4_n-11	FAIL	110.62
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	110.75
stmt21_127_178	FAIL	110.85
counter_re_16	FAIL	111.17
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	111.48
aim-200-3_4-yes1-3-50	FAIL	111.69
stmt19_66_417	FAIL	111.72
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	111.76
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	FAIL	111.96
stmt19_133_217	FAIL	112
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004	FAIL	112
k_branch_p-20	FAIL	112.16
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	112.2
ssa7552-160-90	SAT	112.22
stmt21_178_267	FAIL	112.79
stmt19_90_363	FAIL	112.94
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	112.98
c1_BMC_p2_k64	UNSAT	112.99
k_poly_p-11	UNSAT	113.14
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	113.17
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	113.22
stmt22_73_179	FAIL	113.24
k_t4p_p-21	FAIL	113.56
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	113.7
aim-200-3_4-yes1-3-00	FAIL	113.95
k5_2_3	SAT	114.04
texas.parsesys^1.E-f2	SAT	114.09
stmt22_182_268	FAIL	114.09
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	114.36
stmt22_73_219	FAIL	114.39
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	114.45
f600-50	FAIL	114.56
stmt19_125_214	FAIL	114.68
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	115.16
stmt19_313_368	FAIL	115.37
stmt21_127_319	FAIL	115.42
aim-200-3_4-yes1-4-00	FAIL	115.76
aim-200-3_4-yes1-2-00	FAIL	115.76
par16-1-c-50	FAIL	115.83
ev-pr-4x4-11-3-0-0-1-s	FAIL	116.23
sortnetsort10.v.stepl.005	UNSAT	116.5
Adder2-2-c	UNSAT	117.31
stmt19_67_368	FAIL	117.5
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	117.89
stmt21_5_360	FAIL	118.1
stmt39_107_335	FAIL	118.29
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	FAIL	118.98
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	119
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	119.34
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	119.6
k_t4p_n-12	FAIL	119.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-005	FAIL	120.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	FAIL	120.08
k_branch_p-12	FAIL	120.43
stmt31_190_276	FAIL	120.85
stmt22_73_182	FAIL	120.98
stmt21_127_369	FAIL	121.14
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	121.24
stmt19_142_318	FAIL	121.28
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	121.43
stmt19_90_133	FAIL	121.46
stmt19_83_302	FAIL	121.5
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	121.53
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	FAIL	121.55
stmt22_144_361	FAIL	121.56
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	121.85
stmt32_101_378	FAIL	121.86
ev-pr-4x4-7-3-0-0-1-s	FAIL	121.9
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	121.93
aim-200-6_0-yes1-3-50	FAIL	121.99
stmt22_139_320	FAIL	122.06
stmt19_133_214	FAIL	122.2
ii8a2-00	FAIL	122.22
stmt19_133_368	FAIL	122.33
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	122.35
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	122.4
stmt21_143_314	FAIL	122.81
stmt22_139_144	FAIL	123.31
stmt21_91_369	FAIL	123.42
stmt32_329_378	FAIL	123.48
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	FAIL	123.66
ii8a2-90	FAIL	123.71
ii8a2-50	FAIL	123.94
stmt21_304_409	FAIL	124.25
c1_BMC_p2_k32	UNSAT	124.25
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	124.36
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	124.45
test5_quant7	FAIL	124.46
stmt19_125_137	FAIL	124.61
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	124.62
par16-2-c-90	FAIL	124.66
stmt22_92_315	FAIL	124.72
stmt21_127_218	FAIL	125.04
k_poly_n-12	FAIL	125.13
stmt44_41_387	FAIL	125.15
aim-200-3_4-yes1-1-50	FAIL	125.16
stmt19_142_302	FAIL	125.25
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	FAIL	125.68
stmt19_125_133	FAIL	126.06
k_branch_n-6	FAIL	126.1
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004	FAIL	126.14
stmt27_149_224	FAIL	126.17
stmt21_134_138	FAIL	126.19
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	126.47
stmt22_144_370	FAIL	127.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-003	FAIL	127.38
aim-200-3_4-yes1-2-90	FAIL	127.44
stmt21_71_360	FAIL	127.44
stmt21_4_360	FAIL	127.93
stmt21_138_304	FAIL	128.54
stmt19_78_417	FAIL	128.66
stmt21_91_304	FAIL	128.76
stmt21_79_304	FAIL	128.86
stmt21_314_409	FAIL	128.89
stmt22_315_404	FAIL	129.02
stmt85_64_122	FAIL	129.16
stmt21_403_409	FAIL	129.42
aim-200-3_4-yes1-4-90	FAIL	129.44
stmt19_217_302	FAIL	129.71
stmt19_217_309	FAIL	129.77
stmt21_218_314	FAIL	130.04
stmt21_181_369	FAIL	130.38
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003	FAIL	130.4
stmt46_201_388	FAIL	130.46
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	130.57
stmt21_84_215	FAIL	130.6
stmt21_127_143	FAIL	130.66
stmt32_191_329	FAIL	130.74
stmt21_4_354	FAIL	131.05
stmt21_215_267	FAIL	131.21
stmt19_177_359	FAIL	131.44
stmt44_162_387	FAIL	131.51
stmt22_139_219	FAIL	131.58
stmt19_214_313	FAIL	131.59
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	131.69
ssa7552-159-50	SAT	131.69
stmt22_80_361	FAIL	132.04
stmt21_84_127	FAIL	132.04
C880.blif_0.10_1.00_0_1_out_exact	FAIL	132.05
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	132.08
stmt32_24_378	FAIL	132.16
stmt22_144_355	FAIL	132.46
stmt19_78_363	FAIL	132.56
ii8b1-90	FAIL	133.03
stmt85_300_399	FAIL	133.2
stmt19_368_412	FAIL	133.26
stmt28_98_225	FAIL	133.43
stmt19_352_363	FAIL	133.48
c1_BMC_p1_k16	SAT	133.57
stmt21_181_364	FAIL	133.59
stmt21_127_258	FAIL	133.8
aim-200-6_0-yes1-2-90	FAIL	134
stmt22_80_216	FAIL	134.19
stmt19_133_257	FAIL	134.39
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	FAIL	134.57
stmt19_66_214	FAIL	134.76
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	134.81
ev-pr-4x4-15-3-0-0-1-s	FAIL	134.98
stmt44_110_338	FAIL	135.15
stmt21_91_181	FAIL	135.27
stmt44_162_338	FAIL	135.32
stmt21_310_403	FAIL	135.36
stmt21_79_314	FAIL	135.49
stmt19_90_217	FAIL	135.81
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	FAIL	135.98
stmt21_4_409	FAIL	135.98
par16-3-c-00	FAIL	136.07
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	136.2
stmt21_70_314	FAIL	136.42
stmt19_309_408	FAIL	136.57
stmt21_181_218	FAIL	136.66
stmt21_409_413	FAIL	136.76
stmt21_360_409	FAIL	136.83
stmt19_302_412	FAIL	136.98
stmt21_314_418	FAIL	137.26
stmt21_218_364	FAIL	137.59
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	137.75
stmt19_133_359	FAIL	137.91
stmt19_309_412	FAIL	137.97
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	138.17
stmt21_319_418	FAIL	138.18
stmt19_352_408	FAIL	138.18
ii32e1-90	FAIL	138.26
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	138.36
stmt21_364_409	FAIL	138.45
k_t4p_p-16	FAIL	138.72
stmt31_23_377	FAIL	138.86
stmt23_66_76	FAIL	138.87
stmt19_177_352	FAIL	139.16
stmt19_137_363	FAIL	139.17
stmt19_67_214	FAIL	139.25
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	FAIL	139.45
stmt21_84_310	FAIL	139.57
stmt19_217_417	FAIL	139.72
stmt19_137_313	FAIL	139.74
stmt22_73_404	FAIL	139.86
stmt22_92_361	FAIL	140.22
stmt39_234_335	FAIL	140.33
stmt21_403_413	FAIL	140.47
stmt52_169_394	FAIL	140.52
stmt22_365_414	FAIL	140.75
stmt19_313_412	FAIL	140.91
stmt19_66_359	FAIL	141.17
stmt22_365_404	FAIL	141.4
stmt22_92_404	FAIL	141.46
stmt21_178_218	FAIL	141.47
stmt19_3_408	FAIL	141.59
stmt21_218_360	FAIL	141.65
stmt19_214_363	FAIL	141.67
stmt19_66_363	FAIL	141.73
stmt19_177_363	FAIL	141.78
stmt22_85_320	FAIL	141.82
stmt21_84_364	FAIL	141.99
stmt21_70_354	FAIL	142.03
stmt19_78_352	FAIL	142.12
stmt32_153_277	FAIL	142.14
stmt21_360_364	FAIL	142.23
stmt41_160_286	FAIL	142.45
k_branch_n-10	FAIL	142.61
eijk.S953.S-d3	SAT	142.66
stmt22_135_144	FAIL	142.97
ev-pr-4x4-13-3-0-0-1-s	FAIL	142.99
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	143.1
stmt21_134_354	FAIL	143.26
stmt19_90_177	FAIL	143.41
stmt19_137_359	FAIL	143.54
stmt19_177_368	FAIL	143.69
k_branch_n-8	FAIL	143.81
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	143.92
stmt21_354_403	FAIL	143.94
stmt22_315_361	FAIL	143.96
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	144.03
stmt31_100_328	FAIL	144.11
stmt22_135_315	FAIL	144.17
aim-200-6_0-yes1-2-00	FAIL	144.29
stmt22_6_414	FAIL	144.32
stmt19_180_309	FAIL	144.34
stmt19_78_309	FAIL	144.36
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	144.57
stmt21_354_413	FAIL	144.81
stmt19_214_309	FAIL	144.89
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	144.94
stmt21_4_364	FAIL	144.94
stmt19_142_309	FAIL	145.03
stmt27_149_187	FAIL	145.09
stmt19_214_359	FAIL	145.1
jnh204-50	FAIL	145.2
jnh301-00	FAIL	145.57
stmt29_226_376	FAIL	145.63
stmt21_181_413	FAIL	145.87
stmt41_336_385	FAIL	145.99
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	146.16
stmt19_177_309	FAIL	146.2
stmt19_66_217	FAIL	146.23
par16-1-c-90	FAIL	146.31
stmt19_368_401	FAIL	146.34
k_branch_p-17	FAIL	146.39
jnh201-00	FAIL	146.52
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	146.59
stmt19_352_359	FAIL	146.66
s510_d32_s	FAIL	146.69
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	146.69
stmt28_68_69	FAIL	146.71
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	146.77
stmt22_92_216	FAIL	146.82
stmt21_70_304	FAIL	147.01
stmt22_219_268	FAIL	147.1
stmt21_364_418	FAIL	147.23
stmt22_85_315	FAIL	147.29
C880.blif_0.10_0.20_0_1_out_exact	FAIL	147.47
stmt50_343_392	FAIL	147.69
k_branch_p-13	FAIL	147.69
stmt19_137_417	FAIL	147.7
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	148.02
stmt41_198_235	FAIL	148.05
jnh204-90	FAIL	148.17
stmt19_137_352	FAIL	148.18
stmt21_134_364	FAIL	148.21
stmt22_80_182	FAIL	148.24
stmt19_180_352	FAIL	148.27
s510_d34_s	FAIL	148.3
C880.blif_0.10_0.20_0_0_out_exact	FAIL	148.35
par16-4-c-00	FAIL	148.36
stmt22_361_414	FAIL	148.49
stmt31_190_227	FAIL	148.61
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	148.62
stmt39_159_384	FAIL	148.85
ii8a3-00	FAIL	148.99
s510_d31_s	FAIL	149
stmt21_267_310	FAIL	149.11
stmt19_217_368	FAIL	149.23
stmt19_214_302	FAIL	149.4
stmt41_108_235	FAIL	149.61
ev-pr-4x4-9-3-0-0-1-s	FAIL	149.66
stmt41_198_286	FAIL	149.73
s1269_d14_u	FAIL	149.83
s510_d30_s	FAIL	149.88
stmt31_22_328	FAIL	149.96
stmt21_70_310	FAIL	150.07
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	FAIL	150.1
stmt19_66_180	FAIL	150.25
stmt19_217_352	FAIL	150.3
stmt21_71_304	FAIL	150.33
stmt19_214_318	FAIL	150.34
s510_d33_s	FAIL	150.57
stmt47_340_389	FAIL	150.59
stmt50_51_392	FAIL	150.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-007	FAIL	150.83
s510_d35_s	FAIL	150.84
stmt18_258_260	SAT	150.86
stmt21_181_360	FAIL	150.87
s1269_d12_u	FAIL	150.93
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	151.13
stmt21_71_413	FAIL	151.4
stmt21_127_360	FAIL	151.47
stmt19_66_401	FAIL	151.53
s510_d27_s	FAIL	151.53
s510_d28_s	FAIL	151.62
s1269_d13_u	FAIL	151.75
c6_BMC_p2_k1024	UNSAT	151.91
stmt19_352_417	FAIL	151.91
stmt21_215_354	FAIL	152.03
stmt19_142_363	FAIL	152.26
stmt21_70_178	FAIL	152.33
stmt21_319_403	FAIL	152.57
s510_d26_s	FAIL	152.66
stmt19_83_359	FAIL	152.73
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	FAIL	152.76
stmt22_73_311	FAIL	153.03
emptyroom_e4_par---21_	UNSAT	153.27
stmt22_179_182	FAIL	153.34
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	153.49
stmt19_90_408	FAIL	153.56
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	153.59
stmt21_79_178	FAIL	153.62
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	153.66
stmt17_63_78	FAIL	154.26
s1269_d15_u	FAIL	154.27
stmt21_178_403	FAIL	154.31
stmt19_177_214	FAIL	154.46
s510_d37_s	FAIL	154.82
s1269_d11_u	FAIL	154.87
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	FAIL	154.95
stmt21_71_409	FAIL	155.22
stmt19_180_401	FAIL	155.35
stmt19_318_412	FAIL	155.41
s510_d38_s	FAIL	155.43
s3330_d6_s	FAIL	155.48
s3330_d11_u	FAIL	155.53
stmt26_15_223	FAIL	155.56
s3330_d5_s	FAIL	155.64
s3330_d10_u	FAIL	155.75
k_poly_n-13	SAT	155.79
k_poly_p-15	FAIL	155.81
stmt21_138_413	FAIL	155.94
stmt22_182_216	FAIL	155.98
stmt19_217_318	FAIL	156.03
stmt39_159_335	FAIL	156.18
stmt32_228_277	FAIL	156.33
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	156.38
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	156.41
stmt85_122_399	FAIL	156.41
s510_d36_s	FAIL	156.46
stmt41_160_235	FAIL	156.51
ii8a3-50	FAIL	156.56
stmt53_118_346	FAIL	156.78
stmt31_152_328	FAIL	156.83
s510_d39_s	FAIL	156.83
stmt41_36_336	FAIL	156.93
stmt21_178_409	FAIL	156.99
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	157.16
stmt19_90_417	FAIL	157.43
stmt22_259_263	FAIL	157.58
stmt19_67_318	FAIL	157.58
stmt19_214_217	FAIL	157.92
stmt47_45_164	FAIL	158.05
stmt19_3_401	FAIL	158.12
stmt19_125_302	FAIL	158.15
par16-2-c-50	FAIL	158.22
stmt52_54_345	FAIL	158.48
stmt21_134_413	FAIL	158.49
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005	FAIL	158.7
stmt22_73_419	FAIL	158.72
jnh1-00	FAIL	158.81
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	158.98
s510_d40_s	FAIL	158.98
stmt32_153_378	FAIL	159.01
stmt21_403_418	FAIL	159.05
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	FAIL	159.09
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	159.44
stmt19_214_368	FAIL	159.55
par16-5-c-90	FAIL	159.56
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	159.69
stmt19_177_261	FAIL	159.75
c3_BMC_p1_k2048	FAIL	159.81
s3330_d12_u	FAIL	159.83
jnh212-90	FAIL	159.86
C880.blif_0.10_1.00_0_0_out_exact	FAIL	160.05
s3330_d9_s	FAIL	160.12
stmt21_127_413	FAIL	160.17
stmt19_142_412	FAIL	160.23
s510_d41_s	FAIL	160.24
stmt19_266_313	FAIL	160.29
k_t4p_p-12	FAIL	160.32
f600-00	FAIL	160.49
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	FAIL	160.57
stmt19_266_363	FAIL	160.71
stmt19_125_313	FAIL	160.78
stmt19_3_214	FAIL	160.8
stmt19_78_408	FAIL	161.31
s510_d42_s	FAIL	161.33
stmt19_83_217	FAIL	161.53
stmt21_360_418	FAIL	161.58
s510_d43_s	FAIL	161.81
stmt19_250_368	FAIL	161.88
stmt19_408_417	FAIL	162.1
stmt19_257_318	FAIL	162.1
stmt19_66_408	FAIL	162.12
s510_d51_u	FAIL	162.13
s510_d44_s	FAIL	162.18
s3330_d13_u	FAIL	162.29
stmt21_71_314	FAIL	162.63
s510_d45_s	FAIL	162.73
s510_d50_u	FAIL	162.75
k_lin_n-13	SAT	162.93
stmt17_63_82	FAIL	163.11
s510_d49_u	FAIL	163.35
stmt19_177_412	FAIL	163.52
s3330_d14_u	FAIL	163.67
s510_d47_u	FAIL	163.98
s510_d48_u	FAIL	164.14
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	164.34
stmt21_91_413	FAIL	164.35
stmt29_99_151	FAIL	164.36
stmt19_125_363	FAIL	164.46
stmt21_127_354	FAIL	164.81
s510_d46_s	FAIL	164.89
stmt21_5_413	FAIL	164.98
stmt19_261_266	FAIL	165.01
k_branch_p-10	FAIL	165.23
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	165.34
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	165.41
stmt50_51_167	FAIL	165.59
stmt21_143_403	FAIL	165.75
stmt22_135_404	FAIL	165.95
jnh217-90	FAIL	166.27
stmt22_182_263	FAIL	166.28
stmt21_319_364	FAIL	166.34
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	FAIL	166.43
stmt22_259_370	FAIL	166.43
stmt22_144_179	FAIL	166.44
stmt50_115_392	FAIL	166.51
s3330_d7_s	FAIL	166.6
stmt21_5_304	FAIL	166.72
s3330_d8_s	FAIL	166.78
ii32e1-50	FAIL	166.92
stmt22_85_355	FAIL	167.35
stmt19_412_417	FAIL	167.41
stmt22_182_320	FAIL	167.45
stmt19_2_401	FAIL	168.43
stmt19_142_217	FAIL	168.6
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	168.66
stmt19_137_368	FAIL	168.73
stmt21_181_258	FAIL	168.75
stmt19_302_318	FAIL	168.93
k_d4_n-8	FAIL	169.09
stmt41_37_286	FAIL	169.23
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	169.29
stmt22_139_404	FAIL	169.3
c1_BMC_p1_k32	SAT	169.38
stmt21_127_418	FAIL	169.59
stmt21_215_413	FAIL	169.66
stmt22_253_259	FAIL	170.07
stmt23_72_76	FAIL	170.16
jnh204-00	FAIL	170.21
stmt21_252_319	FAIL	170.3
stmt19_78_318	FAIL	170.68
stmt50_167_343	FAIL	170.74
stmt21_5_218	FAIL	170.82
stmt39_34_285	FAIL	170.9
stmt22_135_320	FAIL	171.23
par16-3-c-50	FAIL	171.31
stmt21_84_369	FAIL	171.41
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	171.66
k_branch_n-13	FAIL	171.8
stmt19_78_217	FAIL	171.8
stmt21_218_262	FAIL	171.84
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	172.01
stmt29_226_327	FAIL	172.16
stmt21_143_409	FAIL	172.78
stmt47_202_290	FAIL	172.79
stmt22_182_253	FAIL	172.82
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	173.03
stmt19_66_412	FAIL	173.42
jnh201-90	FAIL	173.66
stmt17_62_78	FAIL	173.67
jnh210-90	FAIL	173.96
stmt19_177_318	FAIL	174.14
c1_BMC_p2_k128	UNSAT	174.18
stmt19_266_352	FAIL	174.21
cmu.dme1.B-d4	SAT	174.22
stmt47_112_290	FAIL	174.43
stmt50_51_293	FAIL	174.7
stmt19_64_87	FAIL	174.8
stmt50_242_343	FAIL	174.82
stmt21_218_413	FAIL	174.85
jnh220-00	FAIL	175.19
counter_32	FAIL	175.22
stmt19_83_90	FAIL	175.28
stmt19_313_318	FAIL	175.31
stmt39_159_197	FAIL	175.52
stmt22_268_320	FAIL	175.55
stmt22_85_179	FAIL	175.78
ii8a3-90	FAIL	175.87
stmt50_205_392	FAIL	176.36
test5_quant_squaring5	FAIL	176.41
stmt19_368_417	FAIL	176.75
stmt21_143_215	FAIL	176.8
stmt22_80_404	FAIL	177.26
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	177.26
jnh217-50	FAIL	177.36
stmt22_85_182	FAIL	177.42
stmt21_252_310	FAIL	177.45
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005	FAIL	177.54
stmt32_191_378	FAIL	177.89
stmt19_217_401	FAIL	178.41
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	178.42
stmt22_85_410	FAIL	178.48
stmt46_43_201	FAIL	178.48
k_lin_p-21	UNSAT	178.61
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	178.67
stmt21_262_319	FAIL	178.76
stmt28_68_81	FAIL	179.04
stmt22_73_80	FAIL	179.12
stmt19_217_408	FAIL	179.37
stmt19_180_313	FAIL	179.71
k_poly_p-14	FAIL	179.82
stmt21_262_310	FAIL	180.12
stmt21_143_181	FAIL	180.64
k_branch_p-9	FAIL	180.68
k_lin_n-19	FAIL	181.4
jnh212-00	FAIL	181.44
stmt19_177_250	FAIL	181.67
stmt19_368_408	FAIL	182.08
stmt22_80_414	FAIL	182.22
stmt21_360_403	FAIL	182.36
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	182.42
stmt21_134_418	FAIL	182.48
stmt21_304_369	FAIL	182.6
k_poly_n-16	FAIL	182.63
stmt41_198_336	FAIL	182.76
stmt22_263_370	FAIL	183.04
ii32c1-90	FAIL	183.34
stmt22_311_320	FAIL	183.64
stmt19_2_313	FAIL	183.78
stmt17_63_70	FAIL	183.87
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	183.9
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	184.21
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	184.4
stmt22_144_419	FAIL	184.5
k_branch_n-21	FAIL	184.69
ii8b1-50	FAIL	184.98
stmt19_257_313	FAIL	185.36
stmt22_182_305	FAIL	185.71
stmt44_41_237	FAIL	185.75
k_branch_n-5	FAIL	186.04
stmt22_259_311	FAIL	186.07
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	186.14
stmt19_64_91	FAIL	186.44
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	186.61
stmt22_182_419	FAIL	186.78
stmt21_215_418	FAIL	186.8
ii8b1-00	FAIL	186.88
stmt21_127_409	FAIL	187.17
stmt19_266_368	FAIL	187.24
stmt46_111_238	FAIL	187.4
stmt22_263_305	FAIL	187.52
stmt21_4_304	FAIL	187.56
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	187.73
stmt19_177_302	FAIL	187.8
stmt19_266_359	FAIL	187.85
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	187.86
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	188.51
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	188.66
stmt28_68_73	FAIL	188.67
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	188.74
stmt19_257_266	FAIL	188.8
emptyroom_e4_par--opt-22_	SAT	188.83
stmt19_83_142	FAIL	188.98
stmt21_71_70	FAIL	188.99
stmt21_84_403	FAIL	189
stmt31_276_328	FAIL	189.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	189.32
stmt19_180_408	FAIL	189.34
stmt21_215_403	FAIL	189.52
stmt19_90_142	FAIL	189.86
stmt39_107_197	FAIL	189.89
stmt22_311_370	FAIL	190.26
counter_e_16	FAIL	190.5
stmt21_252_304	FAIL	190.92
ev-pr-4x4-5-3-0-0-1-s	FAIL	191.09
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	191.1
ssa7552-160-50	FAIL	191.46
stmt22_263_361	FAIL	192.19
stmt21_319_409	FAIL	192.38
stmt22_80_268	FAIL	192.42
stmt50_167_293	FAIL	192.61
stmt23_66_67	FAIL	192.76
stmt22_73_92	FAIL	193.31
jnh205-50	SAT	193.32
stmt21_310_360	FAIL	193.38
stmt21_258_364	FAIL	193.7
stmt17_70_78	FAIL	193.83
stmt22_268_404	FAIL	193.91
s510_d29_s	FAIL	193.97
stmt19_214_261	FAIL	194.05
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	194.09
counter_64	FAIL	194.22
stmt19_65_87	FAIL	194.22
k_d4_n-17	FAIL	194.44
stmt19_67_83	FAIL	194.49
stmt22_263_365	FAIL	194.58
stmt19_266_417	FAIL	194.6
stmt21_258_304	FAIL	194.73
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	194.81
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	FAIL	194.95
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	195.01
stmt21_258_360	FAIL	195.16
stmt52_55_207	FAIL	195.2
stmt21_252_314	FAIL	195.84
stmt41_37_235	FAIL	196.04
stmt19_137_408	FAIL	196.43
stmt21_252_364	FAIL	196.73
k_poly_n-14	FAIL	197.13
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	197.18
stmt22_263_355	FAIL	197.22
stmt53_57_346	FAIL	197.28
stmt19_3_309	FAIL	197.74
stmt44_162_237	FAIL	197.91
jnh209-50	FAIL	198
stmt17_70_82	FAIL	198.44
stmt21_360_369	FAIL	198.66
stmt19_90_125	FAIL	199.21
stmt52_207_345	FAIL	199.25
stmt22_259_355	FAIL	199.33
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	199.49
stmt19_133_408	FAIL	199.84
stmt19_66_318	FAIL	200.05
k_branch_p-16	FAIL	200.09
k_d4_n-21	FAIL	200.2
stmt21_252_418	FAIL	200.29
stmt21_252_262	FAIL	200.42
k_lin_n-18	FAIL	200.58
k_branch_n-12	FAIL	200.66
jnh1-90	FAIL	200.82
stmt52_244_394	FAIL	200.94
test4_quant_squaring2	FAIL	200.98
ev-pr-6x6-9-5-0-1-2-s	FAIL	201.02
stmt21_178_418	FAIL	201.07
k10_3_4	FAIL	201.57
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	201.6
stmt21_178_258	FAIL	201.83
stmt23_66_96	FAIL	201.86
stmt19_302_313	FAIL	201.89
jnh207-50	FAIL	201.93
k10_4_2	FAIL	202.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	202.18
stmt21_319_354	FAIL	202.44
stmt39_285_335	FAIL	202.5
stmt21_4_134	FAIL	202.53
c1_BMC_p1_k64	SAT	202.75
stmt19_177_313	FAIL	202.79
test4_quant2	FAIL	203.04
stmt23_67_92	FAIL	203.11
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	203.23
stmt22_268_414	FAIL	203.42
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	203.55
stmt21_252_354	FAIL	203.6
stmt22_263_315	FAIL	204.09
stmt53_118_170	FAIL	204.54
stmt21_252_267	FAIL	204.86
stmt22_73_128	FAIL	204.95
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	FAIL	205.27
k_t4p_p-15	FAIL	205.47
stmt19_83_412	FAIL	205.86
stmt21_364_369	FAIL	206.18
par16-3-c-90	FAIL	206.28
stmt41_108_160	FAIL	206.46
stmt21_310_314	FAIL	206.74
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	207.17
stmt47_239_340	FAIL	207.35
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	207.52
stmt21_215_409	FAIL	207.79
stmt19_257_412	FAIL	207.9
stmt19_250_359	FAIL	208.17
stmt22_80_259	FAIL	208.69
stmt21_354_369	FAIL	208.94
stmt21_71_143	FAIL	209.37
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	209.67
stmt19_83_417	FAIL	209.73
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	FAIL	209.83
ii32d1-90	FAIL	210.2
k_poly_n-18	FAIL	210.45
stmt19_3_313	FAIL	210.92
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	210.93
jnh205-00	UNSAT	211.64
stmt22_305_311	FAIL	211.66
stmt41_198_385	FAIL	211.86
stmt21_127_310	FAIL	211.89
k_branch_n-16	FAIL	211.9
stmt19_64_99	FAIL	212.37
stmt17_74_78	FAIL	212.43
stmt46_238_388	FAIL	212.56
stmt53_57_245	FAIL	212.57
stmt28_19_98	FAIL	212.8
stmt21_138_310	FAIL	212.93
k_poly_n-15	FAIL	213.01
k_t4p_p-13	FAIL	213.1
stmt21_267_304	FAIL	213.35
stmt19_90_266	FAIL	213.77
stmt22_259_404	FAIL	213.81
stmt22_259_419	FAIL	213.86
stmt21_5_134	FAIL	214.02
k_branch_n-11	FAIL	214.69
stmt53_296_346	FAIL	214.86
stmt21_262_409	FAIL	215.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	215.47
stmt46_163_289	FAIL	215.64
eijk.S1238.S-d2	SAT	216.43
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	216.66
stmt21_304_418	FAIL	216.84
stmt19_65_95	FAIL	216.9
stmt19_266_408	FAIL	217.21
stmt21_5_181	FAIL	217.61
stmt44_200_338	FAIL	217.63
k_poly_p-21	FAIL	218.05
stmt21_84_138	FAIL	218.35
ii32b1-90	FAIL	218.63
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	218.8
stmt39_107_285	FAIL	218.82
stmt22_263_404	FAIL	219.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-003	FAIL	219.48
stmt19_75_83	FAIL	219.49
stmt17_70_86	FAIL	219.82
stmt19_3_177	FAIL	219.82
stmt21_79_134	FAIL	219.85
stmt19_250_412	FAIL	220
jnh217-00	FAIL	220.16
jnh209-00	FAIL	221.27
stmt22_73_268	FAIL	221.38
stmt41_235_286	FAIL	221.69
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	221.95
stmt22_135_311	FAIL	222.13
ii32d1-50	FAIL	222.4
stmt21_314_354	FAIL	222.73
stmt19_67_137	FAIL	223.33
k10_4_3	FAIL	223.52
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	223.78
stmt29_21_275	FAIL	223.93
ii8a4-00	FAIL	224.57
stmt22_6_128	FAIL	224.58
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	224.6
stmt27_17_187	FAIL	224.78
stmt28_73_97	FAIL	225.47
k_branch_p-14	FAIL	225.62
stmt44_110_200	FAIL	225.71
stmt19_3_261	FAIL	225.83
k_lin_n-20	FAIL	225.93
jnh207-90	FAIL	226.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	226.29
stmt17_70_90	FAIL	226.29
test4_quant4	FAIL	226.44
stmt21_262_413	FAIL	226.69
stmt19_250_408	FAIL	226.98
stmt19_83_266	FAIL	227.13
stmt21_138_258	FAIL	227.13
ii32d1-00	FAIL	227.2
par16-5-c-50	FAIL	227.45
ii32e2-90	FAIL	227.66
stmt21_4_310	FAIL	227.81
stmt47_290_340	FAIL	227.99
stmt21_304_364	FAIL	228.23
stmt21_134_304	FAIL	228.27
stmt41_262_275	FAIL	228.42
stmt22_320_370	FAIL	228.45
stmt22_80_139	FAIL	228.83
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	FAIL	228.99
stmt41_286_385	FAIL	229.09
stmt17_78_94	FAIL	229.32
eijk.S344.S-d3	FAIL	229.55
stmt41_738_749	FAIL	230.49
k_branch_p-11	FAIL	230.96
stmt17_62_98	FAIL	231.17
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	231.32
stmt28_73_85	FAIL	231.44
k_branch_p-21	FAIL	231.64
ii32b1-50	FAIL	232.29
stmt19_250_401	FAIL	232.37
stmt21_84_258	FAIL	232.81
stmt50_50_392	FAIL	233.01
stmt19_309_363	FAIL	233.07
stmt19_83_91	FAIL	233.15
stmt21_84_134	FAIL	233.37
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	233.57
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	233.86
stmt22_85_263	FAIL	233.88
stmt85_64_248	FAIL	234.14
stmt39_35_335	FAIL	234.42
ssa7552-158-50	FAIL	234.43
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	235.12
jnh220-50	SAT	235.75
stmt21_70_267	FAIL	235.77
stmt39_34_384	FAIL	235.82
k_poly_p-20	FAIL	235.84
test4_quant_squaring4	FAIL	235.91
ssa7552-159-90	FAIL	236.12
stmt31_22_23	FAIL	236.38
ii32c2-50	FAIL	236.43
k_d4_p-20	FAIL	236.49
aim-200-2_0-yes1-2-90	FAIL	236.5
stmt21_314_364	FAIL	236.67
stmt44_41_288	FAIL	237.07
stmt21_79_262	FAIL	237.38
k_branch_n-15	FAIL	237.52
nusmv.dme2-16.B-d2	FAIL	237.68
stmt19_71_95	FAIL	237.72
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	237.79
stmt21_304_360	FAIL	237.98
k_branch_n-14	FAIL	238.05
stmt29_21_327	FAIL	238.12
jnh207-00	UNSAT	238.25
stmt19_79_83	FAIL	238.35
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	238.36
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	238.38
stmt52_244_295	FAIL	238.44
k_lin_n-14	SAT	238.68
stmt29_275_376	FAIL	238.93
ii8d1-50	FAIL	239.29
cube_c11_ser--opt-42_	FAIL	239.32
stmt47_112_389	FAIL	239.41
c2_BMC_p2_k128	UNSAT	239.71
stmt22_259_410	FAIL	240.71
par16-4-90	FAIL	240.81
stmt47_239_290	FAIL	241.18
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	241.39
stmt19_142_250	FAIL	241.45
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	241.66
ev-pr-6x6-17-5-0-1-2-s	FAIL	241.97
stmt47_44_239	FAIL	241.97
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	242.92
stmt46_289_388	FAIL	243.53
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	243.89
stmt17_74_90	FAIL	244
jnh17-90	UNSAT	244.21
ii8c1-50	FAIL	244.65
jnh205-90	UNSAT	244.87
stmt22_320_361	FAIL	244.9
ii32c1-50	FAIL	245.16
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	245.26
eijk.bs3330.S-d2	FAIL	245.45
stmt19_142_266	FAIL	245.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-008	FAIL	246.14
stmt21_79_91	FAIL	246.3
stmt27_16_149	FAIL	246.76
stmt19_302_352	FAIL	246.87
k_d4_p-9	UNSAT	246.92
stmt17_78_98	FAIL	247.6
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	247.73
k_d4_n-19	FAIL	247.84
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	248.1
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	248.12
stmt41_566_580	FAIL	248.17
eijk.S953.S-d4	FAIL	248.21
stmt39_107_384	FAIL	248.23
ii32c1-00	FAIL	248.76
k_d4_n-18	FAIL	249.42
stmt21_310_354	FAIL	249.53
stmt39_35_384	FAIL	249.54
ii8e1-90	FAIL	249.56
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	249.74
stmt21_70_127	FAIL	249.91
stmt47_164_202	FAIL	250.52
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	FAIL	250.83
jnh209-90	FAIL	251.11
stmt17_82_94	FAIL	251.3
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	251.68
stmt17_70_98	FAIL	252.03
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	252.88
stmt21_70_138	FAIL	253.14
stmt19_2_137	FAIL	253.46
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	254.23
stmt21_5_138	FAIL	254.27
k_path_p-17	FAIL	254.51
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	254.73
ii8e1-50	FAIL	255.28
ev-pr-6x6-5-5-0-1-2-s	FAIL	255.78
eijk.S382.S-f3	FAIL	256.12
stmt50_167_205	FAIL	256.22
stmt19_78_125	FAIL	256.38
k_path_p-21	FAIL	256.56
stmt23_88_92	FAIL	257.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	257.3
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	257.61
ii8d1-90	FAIL	257.92
stmt52_117_295	FAIL	258.12
c3_BMC_p1_k256	SAT	258.53
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	258.81
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	258.94
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	258.98
stmt19_66_133	FAIL	259.49
stmt19_66_250	FAIL	259.56
k_poly_p-16	FAIL	260.04
stmt52_117_207	FAIL	260.18
stmt19_75_95	FAIL	260.7
par16-4-00	FAIL	260.93
ii32e1-00	FAIL	261.82
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	261.84
ii32c2-90	FAIL	262.33
stmt17_78_90	FAIL	262.54
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	FAIL	262.61
jnh220-90	FAIL	262.84
par16-5-c-00	FAIL	263.07
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	263.23
k_branch_n-9	FAIL	263.28
stmt32_24_277	FAIL	263.67
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	263.98
stmt50_205_293	FAIL	264.57
stmt19_309_417	FAIL	265.07
stmt7_33_34	FAIL	265.38
stmt52_295_394	FAIL	265.64
ev-pr-6x6-15-5-0-1-2-s	FAIL	265.72
uclid-pipe3a	FAIL	265.81
stmt85_64_65	FAIL	265.89
stmt17_82_98	FAIL	266.57
k_path_n-17	FAIL	267.04
stmt27_97_187	FAIL	267.62
stmt19_3_83	FAIL	268.15
ii8a4-50	FAIL	268.21
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	FAIL	268.25
texas.ifetch1^1.E-d4	FAIL	268.3
stmt19_87_95	FAIL	268.46
k_poly_n-8	FAIL	268.62
stmt17_82_86	FAIL	268.75
stmt41_118_131	FAIL	269.32
eijk.S349.S-d3	FAIL	269.67
par16-4-50	FAIL	270.41
ii32c2-00	FAIL	271.46
stmt19_2_250	FAIL	271.54
stmt22_6_219	FAIL	272.09
k_d4_p-18	FAIL	272.27
irst.dme4.B-d3	FAIL	272.42
ssa7552-160-00	FAIL	272.83
stmt19_79_87	FAIL	273.09
ssa7552-158-00	FAIL	273.28
c2_Debug_s3_f2_e1_v2	SAT	273.31
stmt39_234_384	FAIL	274.11
k_lin_n-21	FAIL	274.67
stmt22_73_263	FAIL	274.83
stmt21_70_84	FAIL	275.24
stmt19_2_257	FAIL	276.39
stmt19_2_214	FAIL	276.43
qshifter_7	SAT	276.48
k_d4_n-9	FAIL	277.31
stmt19_67_257	FAIL	277.45
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	279.17
stmt41_36_235	FAIL	280.16
eijk.S444.S-f4	FAIL	280.23
ii32b1-00	FAIL	280.32
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	280.43
stmt19_142_261	FAIL	280.73
ev-pr-6x6-13-5-0-1-2-s	FAIL	281.25
ii32e2-50	FAIL	281.45
k_lin_n-17	FAIL	281.93
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	282.43
stmt19_66_261	FAIL	282.45
stmt21_71_134	FAIL	282.81
stmt21_70_258	FAIL	283.99
ii32e2-00	FAIL	284.15
stmt137_903_911	FAIL	284.71
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	FAIL	284.84
ii8c1-00	FAIL	286.05
ii32b2-90	FAIL	286.17
stmt31_100_276	FAIL	286.19
stmt17_86_98	FAIL	286.23
stmt19_66_142	FAIL	286.27
stmt19_133_266	FAIL	287.27
stmt41_37_198	FAIL	288.05
stmt27_16_97	FAIL	288.67
stmt52_55_117	FAIL	288.88
k_poly_n-19	FAIL	288.9
stmt50_50_293	FAIL	290.35
stmt23_92_96	FAIL	290.37
stmt53_208_245	FAIL	291.07
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	292.83
stmt19_2_261	FAIL	293.96
stmt22_80_144	FAIL	294.49
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	295.23
eijk.S832.S-d4	FAIL	295.25
ii8c1-90	FAIL	295.65
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	295.85
k_poly_n-17	FAIL	296.72
eijk.S1423.S-d3	FAIL	297.31
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	297.83
ii32c3-00	FAIL	298.68
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	298.83
k10_4_4	FAIL	299.38
c6_BMC_p1_k512	SAT	300.63
par16-1-00	FAIL	301.19
ii8d1-00	FAIL	301.45
stmt21_215_252	FAIL	301.5
stmt19_214_257	FAIL	302.06
c1_BMC_p2_k256	UNSAT	302.3
stmt21_138_252	FAIL	303.06
mutex-16-s	SAT	303.88
jnh210-00	UNSAT	304.82
stmt52_54_169	FAIL	305.05
c6_BMC_p2_k2048	UNSAT	305.64
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	305.64
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	306.76
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	307.39
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	307.9
stmt47_44_340	FAIL	308.42
uclid-pipe2	FAIL	309.16
test1_quant_squaring2	FAIL	309.42
stmt28_89_97	FAIL	309.64
stmt21_262_418	FAIL	311.3
stmt46_43_111	FAIL	311.31
ii32c3-90	FAIL	311.33
stmt21_143_258	FAIL	311.96
stmt21_218_258	FAIL	312.65
eijk.S444.S-f3	FAIL	313.05
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	313.85
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	314.22
k_d4_p-13	FAIL	314.67
ii8e1-00	FAIL	314.76
ken.flash^13.C-d2	FAIL	316.46
ii8a4-90	FAIL	316.9
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	317.31
s499_d3_s	FAIL	317.58
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	318.18
eijk.S382.S-f4	FAIL	318.66
jnh212-50	FAIL	318.73
vis.bakery.E-f2	SAT	318.87
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	320.44
szymanski-24-s	FAIL	321.37
eijk.bs1512.S-d2	FAIL	322.23
stmt46_201_238	FAIL	322.87
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	322.96
szymanski-22-s	FAIL	323.62
stmt22_92_259	FAIL	324.62
texas.ifetch1^9.E-d4	FAIL	325.16
stmt21_127_252	FAIL	325.22
stmt27_17_149	FAIL	325.88
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	327.38
stmt19_133_250	FAIL	327.6
stmt19_66_90	FAIL	328.96
stmt44_40_387	FAIL	329.27
k_branch_p-5	FAIL	329.3
stmt19_133_261	FAIL	329.54
k_d4_p-11	FAIL	329.71
stmt22_72_80	FAIL	329.82
stmt19_83_250	FAIL	330.06
stmt21_71_252	FAIL	331.08
stmt52_169_244	FAIL	331.12
stmt17_94_98	FAIL	331.18
stmt1_629_630	FAIL	331.51
stmt19_125_261	FAIL	332.11
s298_d4_s	FAIL	332.21
test1_quant2	FAIL	332.39
ii32c3-50	FAIL	333.94
k_branch_n-17	FAIL	334.52
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	335.87
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	337.97
cube_c11_par---13_	UNSAT	338.65
ring_r6_ser--opt-17_	FAIL	339.55
nusmv.brp.B-f2	FAIL	340.03
k_branch_p-15	FAIL	340.25
stmt70_495_501	FAIL	340.49
test1_quant_squaring3	FAIL	341.02
eijk.bs1512.S-d3	FAIL	344.66
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	344.68
stmt19_78_83	FAIL	345.86
eijk.S953.S-f4	FAIL	346.04
ev-pr-6x6-11-5-0-1-2-s	FAIL	347.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	350.09
k_branch_n-7	FAIL	350.36
stmt22_6_80	FAIL	351.05
s510_d2_s	FAIL	351.87
stmt22_80_253	FAIL	352.82
ken.flash^06.C-d2	FAIL	353.27
eijk.S349.S-f2	FAIL	353.39
vis.prodcell^01.E-d3	FAIL	354.81
ii32b2-50	FAIL	355.86
stmt22_92_263	FAIL	356.91
s1269_d2_s	FAIL	357.13
stmt50_115_242	FAIL	358.07
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	359.42
eijk.S510.S-f2	FAIL	361.06
s713_d2_s	FAIL	361.27
stmt21_127_267	FAIL	361.43
stmt39_35_159	FAIL	361.46
k_lin_n-16	FAIL	363.57
c2_BMC_p1_k64	SAT	363.83
ev-pr-6x6-7-5-0-1-2-s	FAIL	364.28
eijk.S208c.S-f2	FAIL	364.48
stmt46_42_289	FAIL	364.58
eijk.S344.S-d4	FAIL	364.66
texas.PI_main^15.E-f2	FAIL	364.84
vis.prodcell^01.E-d4	FAIL	364.96
stmt44_554_604	FAIL	365.03
stmt19_2_83	FAIL	365.1
texas.ifetch1^3.E-d4	FAIL	365.96
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	FAIL	367.21
stmt38_943_942	FAIL	367.8
stmt44_40_162	FAIL	368.01
sortnetsort5.AE.stepl.003	FAIL	368.19
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	FAIL	368.32
k_poly_n-20	FAIL	370.92
test1_quant3	FAIL	371.16
stmt39_34_107	FAIL	373.56
jnh201-50	FAIL	374.79
eijk.S832.S-d3	FAIL	375.76
stmt22_139_263	FAIL	376.1
eijk.S349.S-f4	FAIL	376.18
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	377.04
Adder2-6-s	SAT	377.36
eijk.S208c.S-f4	FAIL	378.34
vis.prodcell^01.E-d2	FAIL	378.65
c5_BMC_p1_k512	FAIL	379.54
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	380.68
ii32b2-00	FAIL	382.76
c5_BMC_p2_k512	FAIL	383.04
c2_BMC_p2_k1024	FAIL	383.87
eijk.S1238.S-d3	FAIL	383.94
stmt32_24_191	FAIL	384.01
k_poly_p-18	FAIL	384.38
eijk.S526.S-f4	FAIL	385.18
c2_BMC_p1_k1024	FAIL	385.19
stmt86_889_890	FAIL	387.24
stmt2_649_776	FAIL	391.64
eijk.S298.S-f2	FAIL	391.72
texas.PI_main^11.E-f3	FAIL	396.21
ring_r6_ser---16_	FAIL	397.05
stmt19_90_250	FAIL	397.17
stmt27_16_224	FAIL	402.2
c4_Debug_s3_f1_e1_v3	SAT	402.22
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	402.86
stmt19_217_250	FAIL	404.24
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	404.45
eijk.S344.S-f2	FAIL	404.97
k_t4p_p-11	FAIL	405.05
ken.flash^12.C-d2	FAIL	409.61
vis.4-arbit^1.E-f2	FAIL	409.83
par16-1-90	FAIL	411.1
Adder2-8-c	FAIL	411.98
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	FAIL	413.57
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	414.23
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	FAIL	415.93
k_branch_p-6	FAIL	416.43
texas.ifetch1^1.E-f3	FAIL	416.51
ken.flash^14.C-d2	FAIL	417.14
texas.PI_main^16.E-f3	FAIL	417.22
s298_d6_s	FAIL	417.4
s820_d2_s	FAIL	417.6
vis.prodcell^15.E-f4	FAIL	418.28
stmt21_138_267	FAIL	418.29
irst.dme6.B-d3	FAIL	420.93
eijk.S1196.S-f4	FAIL	421.45
stmt37_941_942	FAIL	421.77
stmt16_47_48	FAIL	422.21
eijk.S510.S-f3	FAIL	422.57
eijk.S526.S-f2	FAIL	423
stmt21_326_327	FAIL	423.93
stmt70_854_859	FAIL	425.31
eijk.bs6669.S-d3	FAIL	426.09
stmt41_36_37	FAIL	426.67
eijk.S344.S-f4	FAIL	428.11
stmt46_111_163	FAIL	428.5
eijk.S820.S-d4	FAIL	430.3
s298_d7_s	FAIL	431.74
s298_d9_s	FAIL	431.96
jnh301-90	UNSAT	432.76
vis.prodcell^12.E-f4	FAIL	435.55
stmt27_946_955	FAIL	435.55
s499_d7_s	FAIL	436.13
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	436.84
eijk.bs1512.S-d4	FAIL	438.12
eijk.S1196.S-d4	FAIL	439.04
texas.PI_main^01.E-f2	FAIL	439.61
texas.PI_main^03.E-f3	FAIL	442.66
stmt44_435_436	FAIL	445.09
k_d4_n-16	FAIL	445.49
eijk.S444.S-f2	FAIL	445.61
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	446.74
stmt21_4_5	FAIL	447.46
eijk.S298.S-f4	FAIL	448.04
stmt19_3_257	FAIL	448.15
vis.prodcell^16.E-f4	FAIL	448.72
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	449.02
ken.flash^07.C-f2	FAIL	451.22
stmt47_44_202	FAIL	451.8
stmt21_4_178	FAIL	453.63
s1196_d3_u	FAIL	453.65
s713_d3_s	FAIL	455.14
Adder2-4-c	FAIL	456.39
vis.prodcell^08.E-f4	FAIL	456.43
vis.prodcell^04.E-f4	FAIL	456.68
eijk.S298.S-f3	FAIL	456.87
stmt32_570_572	FAIL	457.85
texas.PI_main^12.E-f2	FAIL	458.07
s386_d7_s	FAIL	458.34
eijk.S382.S-f2	FAIL	458.54
stmt1_79_80	FAIL	458.54
s298_d10_s	FAIL	459.71
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	461.25
stmt41_36_160	FAIL	463.65
vis.prodcell^03.E-f4	FAIL	464.07
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	FAIL	464.79
vis.prodcell^11.E-f4	FAIL	464.84
k_branch_p-7	FAIL	467.86
stmt16_68_69	FAIL	468.33
vis.coherence^2.E-f4	FAIL	468.92
stmt16_588_589	FAIL	469.79
eijk.S1423.S-d4	FAIL	470.59
Adder2-10-c	FAIL	473.15
vis.elevator^1.E-d3	FAIL	473.27
c1_BMC_p1_k128	SAT	474.03
stmt19_2_180	FAIL	474.3
k_t4p_n-3	SAT	474.41
texas.PI_main^10.E-f2	FAIL	474.9
texas.two_proc^6.E-f2	FAIL	476.17
cube_c11_par--opt-14_	SAT	477.93
vis.prodcell^23.E-f4	FAIL	478.68
stmt1_60_61	FAIL	479.7
ken.flash^09.C-d3	FAIL	480.35
stmt72_696_721	FAIL	480.7
s510_d6_s	FAIL	481.67
vis.elevator^1.E-d4	FAIL	482.17
eijk.bs4863.S-d2	FAIL	482.53
s713_d4_s	FAIL	482.81
vis.4-arbit^1.E-d4	FAIL	482.86
k_d4_n-14	FAIL	482.98
Adder2-8-s	FAIL	483.73
k_d4_n-10	FAIL	484.34
texas.two_proc^5.E-f2	FAIL	485.19
vis.prodcell^07.E-f4	FAIL	487.25
s1269_d3_s	FAIL	487.75
texas.two_proc^6.E-f4	FAIL	489.31
c4_Debug_s3_f1_e2_v3	SAT	491.02
texas.two_proc^5.E-f4	FAIL	491.09
vis.prodcell^24.E-f4	FAIL	491.18
nusmv.queue.B-d3	FAIL	491.63
texas.PI_main^13.E-f3	FAIL	491.88
vis.prodcell^09.E-f4	FAIL	491.89
texas.PI_main^12.E-f3	FAIL	492.58
vis.elevator^1.E-d2	FAIL	492.62
stmt44_916_917	FAIL	493.45
s510_d4_s	FAIL	494.28
cmu.dme2.B-f2	FAIL	494.89
k_path_n-19	FAIL	495
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	FAIL	495.88
vis.prodcell^14.E-f4	FAIL	496.7
texas.PI_main^08.E-f2	FAIL	498.7
s499_d8_s	FAIL	498.95
irst.dme4.B-d4	FAIL	500.02
vis.prodcell^06.E-f4	FAIL	501.04
texas.PI_main^14.E-f3	FAIL	503.49
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	504.39
vis.prodcell^10.E-f4	FAIL	505.75
vis.prodcell^05.E-f4	FAIL	507.47
counter_r_16	FAIL	508.12
ken.flash^01.C-f2	FAIL	508.64
eijk.bs3330.S-d4	FAIL	509.1
stmt50_50_205	FAIL	510.17
stmt16_950_951	FAIL	510.32
nusmv.syncarb10^2.B-f3	FAIL	510.71
ken.flash^08.C-f2	FAIL	511.63
ken.flash^12.C-f3	FAIL	513.45
s298_d5_s	FAIL	513.47
texas.PI_main^10.E-f4	FAIL	513.99
s386_d5_s	FAIL	514.52
vis.prodcell^17.E-f4	FAIL	514.88
vis.prodcell^01.E-f4	FAIL	515.27
sortnetsort5.AE.stepl.004	FAIL	515.92
stmt19_3_78	FAIL	516.64
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	FAIL	517
ken.flash^03.C-f2	FAIL	521.23
s499_d4_s	FAIL	522.01
texas.ifetch1^2.E-f3	FAIL	522.24
vis.prodcell^20.E-f4	FAIL	522.43
vis.prodcell^02.E-f4	FAIL	522.46
c2_BMC_p1_k2048	FAIL	522.87
c2_BMC_p2_k2048	FAIL	523.32
vis.4-arbit^1.E-f4	FAIL	523.86
texas.PI_main^05.E-f2	FAIL	524.1
vis.eisenberg.E-f4	FAIL	524.15
vis.prodcell^19.E-f4	FAIL	525.47
Adder2-6-c	FAIL	526.23
eijk.S349.S-d4	FAIL	527.54
vis.elevator^2.E-f4	FAIL	527.84
vis.prodcell^22.E-f4	FAIL	528.5
nusmv.brp.B-d4	FAIL	529.88
nusmv.brp.B-f3	FAIL	530.75
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	530.79
c4_Debug_s3_f1_e1_v1	SAT	531.01
vis.prodcell^18.E-f4	FAIL	531.17
c1_Debug_s5_f1_e1_v2	SAT	531.49
irst.dme5.B-d3	FAIL	532.71
stmt1_392_393	FAIL	536.51
s499_d25_u	FAIL	536.58
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	538.27
vis.prodcell^13.E-f4	FAIL	541.01
s386_d8_u	FAIL	542.26
texas.two_proc^2.E-f3	FAIL	542.38
stmt1_811_812	SAT	542.45
s298_d13_s	FAIL	542.65
eijk.S1238.S-f4	FAIL	543.39
stmt17_99_98	FAIL	543.42
irst.dme6.B-d4	FAIL	543.84
s499_d10_s	FAIL	543.97
stmt41_36_198	FAIL	544.45
texas.two_proc^3.E-f3	FAIL	546.25
s298_d17_s	FAIL	548.65
stmt9_350_351	FAIL	549.21
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	549.63
vis.coherence^1.E-d4	FAIL	552.78
vis.4-arbit^1.E-d3	FAIL	556.69
s510_d19_s	FAIL	556.71
k_d4_n-20	FAIL	557.24
stmt44_40_110	FAIL	557.27
s1269_d8_s	FAIL	558.89
s499_d13_s	FAIL	560.26
nusmv.queue.B-f2	FAIL	560.28
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	FAIL	561.1
ken.flash^06.C-d4	FAIL	562.5
s298_d8_s	FAIL	562.88
s298_d11_s	FAIL	563.39
c4_Debug_s3_f1_e1_v2	SAT	563.91
Adder2-10-s	FAIL	564.99
c1_BMC_p2_k512	UNSAT	565.24
eijk.S526.S-f3	FAIL	565.5
stmt1_919_920	FAIL	566.52
s510_d20_s	FAIL	566.96
vis.prodcell^13.E-f3	FAIL	570.05
texas.PI_main^15.E-f4	FAIL	570.07
texas.PI_main^11.E-f4	FAIL	571.01
test5_quant_squaring4	FAIL	572.11
eijk.S386.S-f2	FAIL	574.14
eijk.S641.S-f3	FAIL	574.66
s499_d26_u	FAIL	574.94
texas.PI_main^03.E-f4	FAIL	575.91
ken.flash^05.C-f2	FAIL	576.66
texas.ifetch1^3.E-f3	FAIL	577.03
s713_d5_s	FAIL	577.26
texas.PI_main^01.E-f4	FAIL	577.38
ken.flash^06.C-f2	FAIL	577.82
sortnetsort6.AE.stepl.003	FAIL	579.3
s820_d14_u	FAIL	579.74
stmt44_554_555	FAIL	579.77
vis.prodcell^14.E-f2	FAIL	580.1
s510_d10_s	FAIL	581.18
s386_d10_u	FAIL	581.51
k12_2_2	FAIL	582.27
texas.PI_main^02.E-f3	FAIL	582.7
vis.prodcell^23.E-f3	FAIL	582.76
ken.flash^02.C-f3	FAIL	583.42
texas.PI_main^05.E-f4	FAIL	584.2
nusmv.syncarb10^2.B-f2	FAIL	584.46
eijk.S713.S-f2	FAIL	586.51
eijk.S420.S-f2	FAIL	587.81
stmt41_37_108	FAIL	590.21
stmt2_976_999	FAIL	590.87
texas.ifetch1^8.E-f2	FAIL	591.07
Adder2-12-c	FAIL	593.2
vis.prodcell^05.E-f2	FAIL	593.41
cmu.dme1.B-f2	FAIL	593.42
cmu.dme1.B-f3	FAIL	594.41
stmt5_731_730	FAIL	594.63
stmt22_6_72	FAIL	595.83
stmt16_285_286	FAIL	596
stmt124_966_965	FAIL	596.62
ken.flash^13.C-d3	FAIL	597.27
texas.two_proc^1.E-f2	FAIL	597.37
eijk.S349.S-f3	FAIL	597.56
c2_Debug_s5_f1_e1_v3	FAIL	597.73
eijk.S641.S-f2	FAIL	599.61
qshifter_8	FAIL	600
szymanski-18-s	FAIL	600
s499_d16_s	FAIL	600
s820_d10_s	FAIL	600
mutex-64-s	FAIL	600
szymanski-10-s	FAIL	600
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	600
Adder2-16-c	FAIL	600
test2_quant_squaring2	FAIL	600
s386_d2_s	FAIL	600
s3330_d4_s	FAIL	600
test2_quant_squaring3	FAIL	600
mutex-32-s	FAIL	600
s1269_d10_s	FAIL	600
s386_d4_s	FAIL	600
s1269_d4_s	FAIL	600
k_d4_n-12	FAIL	600
C432.blif_0.10_0.20_0_0_out_exact	FAIL	600
test2_quant3	FAIL	600
Adder2-14-s	FAIL	600
test2_quant2	FAIL	600
k_ph_p-12	FAIL	600
term1.blif_0.10_0.20_0_0_out_exact	FAIL	600
s713_d7_u	FAIL	600
Adder2-16-s	FAIL	600
szymanski-14-s	FAIL	600
szymanski-20-s	FAIL	600
s298_d16_s	FAIL	600
s499_d21_s	FAIL	600
ev-pr-4x4-5-3-0-0-1-lg	FAIL	600
ev-pr-6x6-5-5-0-1-2-lg	FAIL	600
ev-pr-6x6-19-5-0-1-2-s	FAIL	600
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	600
szymanski-12-s	FAIL	600
s713_d6_s	FAIL	600
term1.blif_0.10_0.20_0_1_inp_exact	FAIL	600
szymanski-8-s	FAIL	600
s499_d2_s	FAIL	600
szymanski-16-s	FAIL	600
s499_d22_u	FAIL	600
s1196_d2_s	FAIL	600
s510_d8_s	FAIL	600
Adder2-12-s	FAIL	600
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	600
szymanski-6-s	FAIL	600
s820_d8_s	FAIL	600
s298_d18_s	FAIL	600
s298_d19_u	FAIL	600
k_path_n-16	FAIL	600
s820_d11_u	FAIL	600
mutex-128-s	FAIL	600
s3330_d2_s	FAIL	600
s820_d4_s	FAIL	600
s510_d16_s	FAIL	600
uclid-pipe3b	FAIL	600
C432.blif_0.10_0.20_0_1_out_exact	FAIL	600
Adder2-14-c	FAIL	600
k_branch_n-19	FAIL	600
k_branch_p-19	FAIL	600
k_lin_n-10	FAIL	600
k_lin_n-15	FAIL	600
k_path_n-18	FAIL	600
k_ph_p-13	FAIL	600
k_ph_p-14	FAIL	600
k_ph_p-11	FAIL	600
s1196_d5_u	FAIL	600
s1196_d6_u	FAIL	600
s1196_d7_u	FAIL	600
s1196_d4_u	FAIL	600
s1269_d5_s	FAIL	600
s1269_d6_s	FAIL	600
s1269_d9_s	FAIL	600
s298_d14_s	FAIL	600
s298_d21_u	FAIL	600
s3330_d3_s	FAIL	600
s386_d9_u	FAIL	600
s386_d12_u	FAIL	600
s386_d3_s	FAIL	600
s499_d14_s	FAIL	600
s499_d19_s	FAIL	600
s499_d18_s	FAIL	600
s510_d13_s	FAIL	600
s510_d12_s	FAIL	600
s713_d8_u	FAIL	600
s713_d9_u	FAIL	600
s713_d10_u	FAIL	600
s820_d5_s	FAIL	600
s820_d9_s	FAIL	600
s820_d12_u	FAIL	600
s820_d3_s	FAIL	600
cmu.dme2.B-d4	FAIL	600
cmu.gigamax.B-d2	FAIL	600
cmu.gigamax.B-d3	FAIL	600
cmu.gigamax.B-d4	FAIL	600
cmu.periodic.N-d2	FAIL	600
cmu.periodic.N-d3	FAIL	600
cmu.periodic.N-d4	FAIL	600
eijk.bs3330.S-d3	FAIL	600
eijk.bs4863.S-d3	FAIL	600
eijk.bs4863.S-d4	FAIL	600
eijk.bs6669.S-d4	FAIL	600
eijk.S1196.S-d2	FAIL	600
eijk.S1196.S-d3	FAIL	600
eijk.S1238.S-d4	FAIL	600
eijk.S386.S-d4	FAIL	600
eijk.S641.S-d4	FAIL	600
eijk.S713.S-d4	FAIL	600
eijk.S820.S-d3	FAIL	600
irst.dme5.B-d2	FAIL	600
irst.dme5.B-d4	FAIL	600
irst.dme6.B-d2	FAIL	600
ken.flash^01.C-d2	FAIL	600
ken.flash^01.C-d3	FAIL	600
ken.flash^01.C-d4	FAIL	600
ken.flash^02.C-d2	FAIL	600
ken.flash^02.C-d3	FAIL	600
ken.flash^02.C-d4	FAIL	600
ken.flash^03.C-d2	FAIL	600
ken.flash^03.C-d3	FAIL	600
ken.flash^03.C-d4	FAIL	600
ken.flash^04.C-d2	FAIL	600
ken.flash^04.C-d3	FAIL	600
ken.flash^04.C-d4	FAIL	600
ken.flash^05.C-d2	FAIL	600
ken.flash^05.C-d3	FAIL	600
ken.flash^05.C-d4	FAIL	600
ken.flash^06.C-d3	FAIL	600
ken.flash^07.C-d4	FAIL	600
ken.flash^08.C-d2	FAIL	600
ken.flash^08.C-d3	FAIL	600
ken.flash^08.C-d4	FAIL	600
ken.flash^09.C-d2	FAIL	600
ken.flash^09.C-d4	FAIL	600
ken.flash^10.C-d2	FAIL	600
ken.flash^10.C-d3	FAIL	600
ken.flash^10.C-d4	FAIL	600
ken.flash^11.C-d2	FAIL	600
ken.flash^11.C-d3	FAIL	600
ken.flash^11.C-d4	FAIL	600
ken.flash^12.C-d3	FAIL	600
ken.flash^12.C-d4	FAIL	600
ken.flash^13.C-d4	FAIL	600
ken.flash^14.C-d3	FAIL	600
ken.flash^14.C-d4	FAIL	600
ken.oop^1.C-d2	FAIL	600
ken.oop^1.C-d3	FAIL	600
ken.oop^1.C-d4	FAIL	600
ken.oop^2.C-d2	FAIL	600
ken.oop^2.C-d3	FAIL	600
ken.oop^2.C-d4	FAIL	600
nusmv.brp.B-d3	FAIL	600
nusmv.dme1-16.B-d3	FAIL	600
nusmv.dme1-16.B-d4	FAIL	600
nusmv.dme2-16.B-d3	FAIL	600
nusmv.dme2-16.B-d4	FAIL	600
nusmv.guidance^1.C-d2	FAIL	600
nusmv.guidance^1.C-d3	FAIL	600
nusmv.guidance^1.C-d4	FAIL	600
nusmv.guidance^2.C-d3	FAIL	600
nusmv.guidance^4.C-d3	FAIL	600
nusmv.guidance^5.C-d3	FAIL	600
nusmv.guidance^6.C-d3	FAIL	600
nusmv.queue.B-d4	FAIL	600
nusmv.reactor^1.C-d2	FAIL	600
nusmv.reactor^1.C-d3	FAIL	600
nusmv.reactor^1.C-d4	FAIL	600
nusmv.reactor^2.C-d2	FAIL	600
nusmv.reactor^2.C-d3	FAIL	600
nusmv.reactor^2.C-d4	FAIL	600
nusmv.reactor^3.C-d2	FAIL	600
nusmv.reactor^3.C-d3	FAIL	600
nusmv.reactor^3.C-d4	FAIL	600
nusmv.reactor^4.C-d2	FAIL	600
nusmv.reactor^4.C-d3	FAIL	600
nusmv.reactor^4.C-d4	FAIL	600
nusmv.reactor^5.C-d2	FAIL	600
nusmv.reactor^5.C-d3	FAIL	600
nusmv.reactor^5.C-d4	FAIL	600
nusmv.tcas^1.B-d2	FAIL	600
nusmv.tcas^1.B-d3	FAIL	600
nusmv.tcas^1.B-d4	FAIL	600
nusmv.tcas-t^1.B-d2	FAIL	600
nusmv.tcas-t^1.B-d3	FAIL	600
nusmv.tcas-t^1.B-d4	FAIL	600
vis.coherence^1.E-d3	FAIL	600
vis.emodel.E-d3	FAIL	600
vis.emodel.E-d4	FAIL	600
cmu.dme1.B-f4	FAIL	600
cmu.dme2.B-f3	FAIL	600
cmu.dme2.B-f4	FAIL	600
cmu.gigamax.B-f2	FAIL	600
cmu.gigamax.B-f3	FAIL	600
cmu.gigamax.B-f4	FAIL	600
cmu.periodic.N-f2	FAIL	600
cmu.periodic.N-f3	FAIL	600
cmu.periodic.N-f4	FAIL	600
eijk.bs1512.S-f2	FAIL	600
eijk.bs1512.S-f3	FAIL	600
eijk.bs1512.S-f4	FAIL	600
eijk.bs3271.S-f2	FAIL	600
eijk.bs3271.S-f3	FAIL	600
eijk.bs3271.S-f4	FAIL	600
eijk.bs3330.S-f2	FAIL	600
eijk.bs3330.S-f3	FAIL	600
eijk.bs3330.S-f4	FAIL	600
eijk.bs3384.S-f2	FAIL	600
eijk.bs3384.S-f3	FAIL	600
eijk.bs3384.S-f4	FAIL	600
eijk.bs4863.S-f2	FAIL	600
eijk.bs4863.S-f3	FAIL	600
eijk.bs4863.S-f4	FAIL	600
eijk.bs6669.S-f2	FAIL	600
eijk.bs6669.S-f3	FAIL	600
eijk.bs6669.S-f4	FAIL	600
eijk.S1196.S-f2	FAIL	600
eijk.S1196.S-f3	FAIL	600
eijk.S1238.S-f2	FAIL	600
eijk.S1238.S-f3	FAIL	600
eijk.S1423.S-f2	FAIL	600
eijk.S1423.S-f3	FAIL	600
eijk.S1423.S-f4	FAIL	600
eijk.S208c.S-f3	FAIL	600
eijk.S208o.S-f2	FAIL	600
eijk.S208o.S-f3	FAIL	600
eijk.S208o.S-f4	FAIL	600
eijk.S208.S-f2	FAIL	600
eijk.S208.S-f3	FAIL	600
eijk.S208.S-f4	FAIL	600
eijk.S344.S-f3	FAIL	600
eijk.S386.S-f3	FAIL	600
eijk.S386.S-f4	FAIL	600
eijk.S420.S-f3	FAIL	600
eijk.S420.S-f4	FAIL	600
eijk.S510.S-f4	FAIL	600
eijk.S5378.S-f2	FAIL	600
eijk.S5378.S-f3	FAIL	600
eijk.S5378.S-f4	FAIL	600
eijk.S641.S-f4	FAIL	600
eijk.S713.S-f3	FAIL	600
eijk.S713.S-f4	FAIL	600
eijk.S820.S-f2	FAIL	600
eijk.S820.S-f3	FAIL	600
eijk.S820.S-f4	FAIL	600
eijk.S832.S-f2	FAIL	600
eijk.S832.S-f3	FAIL	600
eijk.S832.S-f4	FAIL	600
eijk.S838.S-f2	FAIL	600
eijk.S838.S-f3	FAIL	600
eijk.S838.S-f4	FAIL	600
eijk.S953.S-f2	FAIL	600
eijk.S953.S-f3	FAIL	600
irst.dme4.B-f2	FAIL	600
irst.dme4.B-f3	FAIL	600
irst.dme4.B-f4	FAIL	600
irst.dme5.B-f2	FAIL	600
irst.dme5.B-f3	FAIL	600
irst.dme5.B-f4	FAIL	600
irst.dme6.B-f2	FAIL	600
irst.dme6.B-f3	FAIL	600
irst.dme6.B-f4	FAIL	600
ken.flash^01.C-f3	FAIL	600
ken.flash^01.C-f4	FAIL	600
ken.flash^02.C-f2	FAIL	600
ken.flash^02.C-f4	FAIL	600
ken.flash^03.C-f3	FAIL	600
ken.flash^03.C-f4	FAIL	600
ken.flash^04.C-f2	FAIL	600
ken.flash^04.C-f3	FAIL	600
ken.flash^04.C-f4	FAIL	600
ken.flash^05.C-f3	FAIL	600
ken.flash^05.C-f4	FAIL	600
ken.flash^06.C-f3	FAIL	600
ken.flash^06.C-f4	FAIL	600
ken.flash^07.C-f3	FAIL	600
ken.flash^07.C-f4	FAIL	600
ken.flash^08.C-f3	FAIL	600
ken.flash^08.C-f4	FAIL	600
ken.flash^09.C-f2	FAIL	600
ken.flash^09.C-f3	FAIL	600
ken.flash^09.C-f4	FAIL	600
ken.flash^11.C-f2	FAIL	600
ken.flash^11.C-f3	FAIL	600
ken.flash^11.C-f4	FAIL	600
ken.flash^12.C-f2	FAIL	600
ken.flash^12.C-f4	FAIL	600
ken.oop^1.C-f2	FAIL	600
ken.oop^1.C-f3	FAIL	600
ken.oop^1.C-f4	FAIL	600
ken.oop^2.C-f2	FAIL	600
ken.oop^2.C-f3	FAIL	600
ken.oop^2.C-f4	FAIL	600
nusmv.brp.B-f4	FAIL	600
nusmv.dme1-16.B-f2	FAIL	600
nusmv.dme1-16.B-f3	FAIL	600
nusmv.dme1-16.B-f4	FAIL	600
nusmv.dme2-16.B-f2	FAIL	600
nusmv.dme2-16.B-f3	FAIL	600
nusmv.dme2-16.B-f4	FAIL	600
nusmv.guidance^1.C-f2	FAIL	600
nusmv.guidance^1.C-f3	FAIL	600
nusmv.guidance^1.C-f4	FAIL	600
nusmv.guidance^2.C-f2	FAIL	600
nusmv.guidance^2.C-f3	FAIL	600
nusmv.guidance^2.C-f4	FAIL	600
nusmv.guidance^3.C-f2	FAIL	600
nusmv.guidance^3.C-f3	FAIL	600
nusmv.guidance^3.C-f4	FAIL	600
nusmv.guidance^4.C-f2	FAIL	600
nusmv.guidance^4.C-f3	FAIL	600
nusmv.guidance^4.C-f4	FAIL	600
nusmv.guidance^5.C-f2	FAIL	600
nusmv.guidance^5.C-f3	FAIL	600
nusmv.guidance^5.C-f4	FAIL	600
nusmv.guidance^6.C-f2	FAIL	600
nusmv.guidance^6.C-f3	FAIL	600
nusmv.guidance^6.C-f4	FAIL	600
nusmv.guidance^7.C-f2	FAIL	600
nusmv.guidance^7.C-f3	FAIL	600
nusmv.guidance^7.C-f4	FAIL	600
nusmv.guidance^8.C-f2	FAIL	600
nusmv.guidance^8.C-f3	FAIL	600
nusmv.guidance^8.C-f4	FAIL	600
nusmv.guidance^9.C-f2	FAIL	600
nusmv.guidance^9.C-f3	FAIL	600
nusmv.guidance^9.C-f4	FAIL	600
nusmv.queue.B-f3	FAIL	600
nusmv.queue.B-f4	FAIL	600
nusmv.reactor^2.C-f2	FAIL	600
nusmv.reactor^2.C-f3	FAIL	600
nusmv.reactor^2.C-f4	FAIL	600
nusmv.reactor^3.C-f2	FAIL	600
nusmv.reactor^3.C-f3	FAIL	600
nusmv.reactor^4.C-f2	FAIL	600
nusmv.reactor^4.C-f3	FAIL	600
nusmv.reactor^4.C-f4	FAIL	600
nusmv.reactor^5.C-f2	FAIL	600
nusmv.reactor^5.C-f3	FAIL	600
nusmv.reactor^5.C-f4	FAIL	600
nusmv.reactor^6.C-f2	FAIL	600
nusmv.reactor^6.C-f3	FAIL	600
nusmv.reactor^6.C-f4	FAIL	600
nusmv.reactor^7.C-f2	FAIL	600
nusmv.reactor^7.C-f3	FAIL	600
nusmv.reactor^7.C-f4	FAIL	600
nusmv.syncarb10^2.B-f4	FAIL	600
nusmv.syncarb5^2.B-f3	FAIL	600
nusmv.syncarb5^2.B-f4	FAIL	600
nusmv.tcas^1.B-f2	FAIL	600
nusmv.tcas^1.B-f3	FAIL	600
nusmv.tcas^1.B-f4	FAIL	600
nusmv.tcas^2.B-f2	FAIL	600
nusmv.tcas^2.B-f3	FAIL	600
nusmv.tcas^2.B-f4	FAIL	600
nusmv.tcas^3.B-f2	FAIL	600
nusmv.tcas^3.B-f3	FAIL	600
nusmv.tcas^3.B-f4	FAIL	600
nusmv.tcas^4.B-f2	FAIL	600
nusmv.tcas^4.B-f3	FAIL	600
nusmv.tcas^4.B-f4	FAIL	600
nusmv.tcas^5.B-f2	FAIL	600
nusmv.tcas^5.B-f3	FAIL	600
nusmv.tcas^5.B-f4	FAIL	600
nusmv.tcas^6.B-f2	FAIL	600
nusmv.tcas^6.B-f3	FAIL	600
nusmv.tcas^6.B-f4	FAIL	600
nusmv.tcas-t^1.B-f2	FAIL	600
nusmv.tcas-t^1.B-f3	FAIL	600
nusmv.tcas-t^1.B-f4	FAIL	600
nusmv.tcas-t^2.B-f2	FAIL	600
nusmv.tcas-t^2.B-f3	FAIL	600
nusmv.tcas-t^2.B-f4	FAIL	600
nusmv.tcas-t^3.B-f2	FAIL	600
nusmv.tcas-t^3.B-f3	FAIL	600
nusmv.tcas-t^3.B-f4	FAIL	600
nusmv.tcas-t^4.B-f2	FAIL	600
nusmv.tcas-t^4.B-f3	FAIL	600
nusmv.tcas-t^4.B-f4	FAIL	600
nusmv.tcas-t^5.B-f2	FAIL	600
nusmv.tcas-t^5.B-f3	FAIL	600
nusmv.tcas-t^5.B-f4	FAIL	600
nusmv.tcas-t^6.B-f2	FAIL	600
nusmv.tcas-t^6.B-f3	FAIL	600
nusmv.tcas-t^6.B-f4	FAIL	600
texas.ifetch1^1.E-f4	FAIL	600
texas.ifetch1^2.E-f2	FAIL	600
texas.ifetch1^2.E-f4	FAIL	600
texas.ifetch1^3.E-f2	FAIL	600
texas.ifetch1^3.E-f4	FAIL	600
texas.ifetch1^5.E-f2	FAIL	600
texas.ifetch1^5.E-f3	FAIL	600
texas.ifetch1^5.E-f4	FAIL	600
texas.ifetch1^7.E-f2	FAIL	600
texas.ifetch1^7.E-f3	FAIL	600
texas.ifetch1^7.E-f4	FAIL	600
texas.ifetch1^8.E-f3	FAIL	600
texas.ifetch1^8.E-f4	FAIL	600
texas.ifetch1^9.E-f2	FAIL	600
texas.ifetch1^9.E-f3	FAIL	600
texas.ifetch1^9.E-f4	FAIL	600
texas.parsesys^1.E-f3	FAIL	600
texas.parsesys^1.E-f4	FAIL	600
texas.parsesys^2.E-f3	FAIL	600
texas.parsesys^2.E-f4	FAIL	600
texas.parsesys^3.E-f3	FAIL	600
texas.parsesys^3.E-f4	FAIL	600
texas.PI_main^01.E-f3	FAIL	600
texas.PI_main^02.E-f2	FAIL	600
texas.PI_main^02.E-f4	FAIL	600
texas.PI_main^03.E-f2	FAIL	600
texas.PI_main^05.E-f3	FAIL	600
texas.PI_main^08.E-f3	FAIL	600
texas.PI_main^08.E-f4	FAIL	600
texas.PI_main^10.E-f3	FAIL	600
texas.PI_main^11.E-f2	FAIL	600
texas.PI_main^12.E-f4	FAIL	600
texas.PI_main^13.E-f2	FAIL	600
texas.PI_main^13.E-f4	FAIL	600
texas.PI_main^14.E-f2	FAIL	600
texas.PI_main^14.E-f4	FAIL	600
texas.PI_main^15.E-f3	FAIL	600
texas.PI_main^16.E-f2	FAIL	600
texas.PI_main^16.E-f4	FAIL	600
texas.two_proc^1.E-f3	FAIL	600
texas.two_proc^1.E-f4	FAIL	600
texas.two_proc^2.E-f2	FAIL	600
texas.two_proc^2.E-f4	FAIL	600
texas.two_proc^3.E-f2	FAIL	600
texas.two_proc^3.E-f4	FAIL	600
texas.two_proc^4.E-f2	FAIL	600
texas.two_proc^4.E-f3	FAIL	600
texas.two_proc^4.E-f4	FAIL	600
texas.two_proc^5.E-f3	FAIL	600
texas.two_proc^6.E-f3	FAIL	600
vis.4-arbit^1.E-f3	FAIL	600
vis.4-arbit^2.E-f2	FAIL	600
vis.4-arbit^2.E-f3	FAIL	600
vis.4-arbit^2.E-f4	FAIL	600
vis.arbiter.E-f2	FAIL	600
vis.arbiter.E-f3	FAIL	600
vis.arbiter.E-f4	FAIL	600
vis.bakery.E-f3	FAIL	600
vis.bakery.E-f4	FAIL	600
vis.coherence^1.E-f2	FAIL	600
vis.coherence^1.E-f3	FAIL	600
vis.coherence^1.E-f4	FAIL	600
vis.coherence^2.E-f2	FAIL	600
vis.coherence^2.E-f3	FAIL	600
vis.coherence^3.E-f2	FAIL	600
vis.coherence^3.E-f3	FAIL	600
vis.coherence^3.E-f4	FAIL	600
vis.coherence^5.E-f2	FAIL	600
vis.coherence^5.E-f3	FAIL	600
vis.coherence^5.E-f4	FAIL	600
vis.eisenberg.E-f3	FAIL	600
vis.elevator^2.E-f2	FAIL	600
vis.elevator^2.E-f3	FAIL	600
vis.elevator^3.E-f2	FAIL	600
vis.elevator^3.E-f3	FAIL	600
vis.elevator^3.E-f4	FAIL	600
vis.prodcell^01.E-f2	FAIL	600
vis.prodcell^01.E-f3	FAIL	600
vis.prodcell^02.E-f2	FAIL	600
vis.prodcell^02.E-f3	FAIL	600
vis.prodcell^03.E-f2	FAIL	600
vis.prodcell^03.E-f3	FAIL	600
vis.prodcell^04.E-f2	FAIL	600
vis.prodcell^04.E-f3	FAIL	600
vis.prodcell^05.E-f3	FAIL	600
vis.prodcell^06.E-f2	FAIL	600
vis.prodcell^06.E-f3	FAIL	600
vis.prodcell^07.E-f2	FAIL	600
vis.prodcell^07.E-f3	FAIL	600
vis.prodcell^08.E-f2	FAIL	600
vis.prodcell^08.E-f3	FAIL	600
vis.prodcell^09.E-f2	FAIL	600
vis.prodcell^09.E-f3	FAIL	600
vis.prodcell^10.E-f3	FAIL	600
vis.prodcell^11.E-f2	FAIL	600
vis.prodcell^11.E-f3	FAIL	600
vis.prodcell^12.E-f2	FAIL	600
vis.prodcell^12.E-f3	FAIL	600
vis.prodcell^13.E-f2	FAIL	600
vis.prodcell^14.E-f3	FAIL	600
vis.prodcell^15.E-f2	FAIL	600
vis.prodcell^15.E-f3	FAIL	600
vis.prodcell^16.E-f2	FAIL	600
vis.prodcell^16.E-f3	FAIL	600
vis.prodcell^17.E-f2	FAIL	600
vis.prodcell^17.E-f3	FAIL	600
vis.prodcell^18.E-f2	FAIL	600
vis.prodcell^18.E-f3	FAIL	600
vis.prodcell^19.E-f2	FAIL	600
vis.prodcell^19.E-f3	FAIL	600
vis.prodcell^20.E-f2	FAIL	600
vis.prodcell^20.E-f3	FAIL	600
vis.prodcell^22.E-f2	FAIL	600
vis.prodcell^22.E-f3	FAIL	600
vis.prodcell^23.E-f2	FAIL	600
vis.prodcell^24.E-f2	FAIL	600
vis.prodcell^24.E-f3	FAIL	600
sortnetsort10.AE.stepl.004	FAIL	600
sortnetsort10.AE.stepl.005	FAIL	600
sortnetsort10.AE.stepl.006	FAIL	600
sortnetsort10.AE.stepl.007	FAIL	600
sortnetsort10.AE.stepl.008	FAIL	600
sortnetsort10.AE.stepl.009	FAIL	600
sortnetsort10.AE.stepl.010	FAIL	600
sortnetsort10.AE.stepl.011	FAIL	600
sortnetsort10.AE.stepl.012	FAIL	600
sortnetsort10.v.stepl.006	FAIL	600
sortnetsort10.v.stepl.007	FAIL	600
sortnetsort5.AE.stepl.005	FAIL	600
sortnetsort5.AE.stepl.006	FAIL	600
sortnetsort5.AE.stepl.007	FAIL	600
sortnetsort6.AE.stepl.004	FAIL	600
sortnetsort6.AE.stepl.005	FAIL	600
sortnetsort6.AE.stepl.006	FAIL	600
sortnetsort6.AE.stepl.007	FAIL	600
sortnetsort7.AE.stepl.003	FAIL	600
sortnetsort7.AE.stepl.004	FAIL	600
sortnetsort7.AE.stepl.005	FAIL	600
sortnetsort7.AE.stepl.006	FAIL	600
sortnetsort7.AE.stepl.007	FAIL	600
sortnetsort7.AE.stepl.008	FAIL	600
sortnetsort7.AE.stepl.009	FAIL	600
sortnetsort8.AE.stepl.003	FAIL	600
sortnetsort8.AE.stepl.004	FAIL	600
sortnetsort8.AE.stepl.005	FAIL	600
sortnetsort8.AE.stepl.006	FAIL	600
sortnetsort8.AE.stepl.007	FAIL	600
sortnetsort8.AE.stepl.008	FAIL	600
sortnetsort8.AE.stepl.009	FAIL	600
sortnetsort9.AE.stepl.004	FAIL	600
sortnetsort9.AE.stepl.005	FAIL	600
sortnetsort9.AE.stepl.006	FAIL	600
sortnetsort9.AE.stepl.007	FAIL	600
sortnetsort9.AE.stepl.008	FAIL	600
sortnetsort9.AE.stepl.009	FAIL	600
sortnetsort9.AE.stepl.010	FAIL	600
sortnetsort9.AE.stepl.011	FAIL	600
sortnetsort9.AE.stepl.012	FAIL	600
sortnetsort9.v.stepl.006	FAIL	600
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	FAIL	600
c1_Debug_s3_f1_e1_v1	FAIL	600
c1_Debug_s3_f1_e1_v2	FAIL	600
c1_Debug_s3_f1_e1_v3	FAIL	600
c1_Debug_s3_f2_e1_v1	FAIL	600
c1_Debug_s3_f2_e1_v2	FAIL	600
c1_Debug_s3_f2_e1_v3	FAIL	600
c1_Debug_s5_f1_e1_v1	FAIL	600
c1_Debug_s5_f1_e1_v3	FAIL	600
c2_Debug_s3_f1_e1_v1	FAIL	600
c2_Debug_s3_f1_e1_v2	FAIL	600
c2_Debug_s3_f1_e1_v3	FAIL	600
c2_Debug_s3_f2_e1_v1	FAIL	600
c2_Debug_s3_f2_e1_v3	FAIL	600
c2_Debug_s5_f1_e1_v1	FAIL	600
c2_Debug_s5_f1_e1_v2	FAIL	600
c3_Debug_s3_f2_e2_v2	FAIL	600
c3_Debug_s3_f2_e2_v3	FAIL	600
c4_Debug_s3_f1_e2_v1	FAIL	600
c4_Debug_s3_f1_e2_v2	FAIL	600
c4_Debug_s3_f2_e1_v1	FAIL	600
c4_Debug_s3_f2_e1_v2	FAIL	600
c4_Debug_s3_f2_e1_v3	FAIL	600
c4_Debug_s3_f2_e2_v1	FAIL	600
c4_Debug_s3_f2_e2_v2	FAIL	600
c4_Debug_s3_f2_e2_v3	FAIL	600
c4_Debug_s5_f2_e1_v1	FAIL	600
c4_Debug_s5_f2_e1_v2	FAIL	600
c4_Debug_s5_f2_e1_v3	FAIL	600
c4_Debug_s5_f2_e2_v1	FAIL	600
c4_Debug_s5_f2_e2_v2	FAIL	600
c4_Debug_s5_f2_e2_v3	FAIL	600
blocks_enc_2_b4_ser--opt-26_	FAIL	600
cube_c7_ser---23_	FAIL	600
cube_c7_ser--opt-24_	FAIL	600
emptyroom_e4_ser--opt-44_	FAIL	600
ring_r7_ser---19_	FAIL	600
ring_r7_ser--opt-20_	FAIL	600
c1_BMC_p1_k1024	FAIL	600
c1_BMC_p1_k256	FAIL	600
c1_BMC_p1_k512	FAIL	600
c1_BMC_p2_k1024	FAIL	600
c2_BMC_p1_k128	FAIL	600
c2_BMC_p1_k256	FAIL	600
c2_BMC_p1_k512	FAIL	600
c2_BMC_p2_k256	FAIL	600
c2_BMC_p2_k512	FAIL	600
c3_BMC_p1_k1024	FAIL	600
c3_BMC_p1_k512	FAIL	600
c5_BMC_p1_k1024	FAIL	600
c5_BMC_p1_k128	FAIL	600
c5_BMC_p1_k256	FAIL	600
c5_BMC_p1_k64	FAIL	600
c5_BMC_p2_k1024	FAIL	600
c5_BMC_p2_k128	FAIL	600
c5_BMC_p2_k256	FAIL	600
c5_BMC_p2_k64	FAIL	600
c6_BMC_p1_k1024	FAIL	600
c6_BMC_p1_k2048	FAIL	600
jnh7-00	FAIL	600
par16-1-50	FAIL	600
par16-2-c-00	FAIL	600
par16-4-c-50	FAIL	600
par16-4-c-90	FAIL	600
stmt9_445_446	FAIL	600
stmt25_52_53	FAIL	600
stmt17_143_144	FAIL	600
stmt44_252_301	FAIL	600
stmt16_818_819	FAIL	600
stmt1_787_788	FAIL	600
stmt25_597_598	FAIL	600
stmt137_542_543	FAIL	600
stmt44_726_773	FAIL	600
stmt1_953_954	FAIL	600
stmt2_649_647	FAIL	600
stmt27_296_297	FAIL	600
stmt3_639_640	FAIL	600
stmt11_643_645	FAIL	600
stmt27_584_603	FAIL	600
stmt3_969_973	FAIL	600
stmt27_93_98	FAIL	600
stmt24_765_766	FAIL	600
stmt24_292_293	FAIL	600
stmt2_480_551	FAIL	600
stmt16_76_77	FAIL	600
stmt2_649_723	FAIL	600
stmt70_191_213	FAIL	600
stmt82_224_225	FAIL	600
stmt41_738_737	FAIL	600
stmt52_54_244	FAIL	600
stmt52_54_55	FAIL	600
stmt44_40_41	FAIL	600
stmt50_50_115	FAIL	600
k14_3_2	FAIL	600
k7_4_2	FAIL	600
k12_4_2	FAIL	600
k8_3_4	FAIL	600
k6_3_4	FAIL	600
k12_3_2	FAIL	600
k6_4_4	FAIL	600
k14_2_2	FAIL	600
k7_3_3	FAIL	600
k12_2_4	FAIL	600
k8_4_2	FAIL	600
k14_4_2	FAIL	600
k6_3_2	FAIL	600
k6_4_2	FAIL	600
k7_3_2	FAIL	600
k12_4_4	FAIL	600
k5_2_2	FAIL	600
k10_2_4	FAIL	600
k7_2_4	FAIL	600
k5_3_2	FAIL	600
k8_2_3	FAIL	600
k7_4_4	FAIL	600
k7_2_3	FAIL	600
k12_3_4	FAIL	600
k10_2_3	FAIL	600
k12_2_3	FAIL	600
k10_2_2	FAIL	600
k5_3_3	FAIL	600
k6_3_3	FAIL	600
k14_4_3	FAIL	600
k14_3_4	FAIL	600
k6_2_4	FAIL	600
k14_2_4	FAIL	600
k8_4_4	FAIL	600
k6_4_3	FAIL	600
k12_4_3	FAIL	600
k10_3_3	FAIL	600
k8_2_2	FAIL	600
k14_3_3	FAIL	600
k7_2_2	FAIL	600
k8_3_3	FAIL	600
k7_4_3	FAIL	600
k10_3_2	FAIL	600
k8_3_2	FAIL	600
k14_4_4	FAIL	600
k7_3_4	FAIL	600
k14_2_3	FAIL	600
k6_2_2	FAIL	600
k8_4_3	FAIL	600
k6_2_3	FAIL	600
k12_3_3	FAIL	600
k8_2_4	FAIL	600
s510_d3_s	FAIL	600
s510_d24_s	FAIL	600
s499_d5_s	FAIL	600
s510_d11_s	FAIL	600
s510_d14_s	FAIL	600
s510_d17_s	FAIL	600
s499_d9_s	FAIL	600
s499_d24_u	FAIL	600
s298_d3_s	FAIL	600
s298_d12_s	FAIL	600
s499_d12_s	FAIL	600
s298_d22_u	FAIL	600
s510_d5_s	FAIL	600
s820_d15_u	FAIL	600
s499_d6_s	FAIL	600
s820_d13_u	FAIL	600
s298_d25_u	FAIL	600
s499_d15_s	FAIL	600
s499_d20_s	FAIL	600
s820_d6_s	FAIL	600
s499_d23_u	FAIL	600
s386_d11_u	FAIL	600
s499_d11_s	FAIL	600
s820_d7_s	FAIL	600
s510_d21_s	FAIL	600
s386_d6_s	FAIL	600
s298_d24_u	FAIL	600
s510_d22_s	FAIL	600
s1269_d7_s	FAIL	600
s510_d7_s	FAIL	600
s298_d20_u	FAIL	600
s510_d9_s	FAIL	600
s510_d15_s	FAIL	600
s713_d11_u	FAIL	600
s298_d15_s	FAIL	600
s298_d23_u	FAIL	600
s510_d18_s	FAIL	600
s510_d23_s	FAIL	600
s499_d17_s	FAIL	600
s510_d25_s	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Nenofex
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Nenofex QBFEVAL'08

Instances solved by Nenofex
QBFEVAL'08