Instances solved by <a href='solver_detail.php?solver=77'>QuBE6.1</a> <br> QBFEVAL'08

Instances solved by QuBE6.1
QBFEVAL'08

Instance	Result	Time
tree-exa10-15	SAT	0
qshifter_3	SAT	0
tree-exa2-50	UNSAT	0
tree-exa10-20	SAT	0
texas.parsesys^1.E-d2	SAT	0
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0
flipflop-3-c	UNSAT	0
tree-exa2-45	UNSAT	0
tree-exa10-25	SAT	0
tree-exa2-25	UNSAT	0
tree-exa2-10	UNSAT	0
tree-exa2-15	UNSAT	0
tree-exa10-10	SAT	0
tree-exa2-30	UNSAT	0
tree-exa2-35	UNSAT	0
TOILET2.1.iv.3	UNSAT	0
k_lin_n-1	SAT	0
k_path_p-1	UNSAT	0
k_ph_n-2	SAT	0
k_poly_p-1	UNSAT	0
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0
stmt32_122_129	SAT	0
stmt1_30_31	SAT	0
tree-exa10-30	SAT	0.01
tree-exa2-20	UNSAT	0.01
tree-exa2-40	UNSAT	0.01
k_ph_n-1	SAT	0.01
k_poly_n-1	SAT	0.01
eijk.S208o.S-d2	SAT	0.01
eijk.S208.S-d2	SAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	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-IPF03-c03.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-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.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.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.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.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	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.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.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
c4_BMC_p2_k2	UNSAT	0.01
stmt44_107_108	SAT	0.01
stmt24_7_8	SAT	0.01
stmt1_145_146	SAT	0.01
stmt1_20_21	SAT	0.01
stmt44_107_113	SAT	0.01
qshifter_4	SAT	0.01
k_branch_p-1	UNSAT	0.01
k_ph_p-1	UNSAT	0.01
k_poly_n-2	SAT	0.01
k_poly_p-2	UNSAT	0.01
k_poly_p-3	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.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.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.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.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	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.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	0.01
stmt24_148_149	SAT	0.01
stmt6_13_14	SAT	0.01
k_poly_n-4	SAT	0.02
flipflop-4-c	UNSAT	0.02
k_poly_p-4	UNSAT	0.02
k_poly_n-3	SAT	0.02
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.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.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-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-005	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.02
k_poly_n-5	SAT	0.02
k_poly_n-6	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-001	UNSAT	0.02
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.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-MIF02-c01.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-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-004	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
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.02
k_poly_p-5	UNSAT	0.02
k_poly_p-7	UNSAT	0.02
k_poly_p-6	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.02
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.03
impl08	SAT	0.03
CHAIN12v.13	SAT	0.03
k_lin_p-1	UNSAT	0.03
k_poly_n-7	SAT	0.03
eijk.S208.S-d3	SAT	0.03
vis.eisenberg.E-d2	SAT	0.03
texas.parsesys^4.E-f2	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.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.03
impl10	SAT	0.03
impl16	SAT	0.03
szymanski-4-s	UNSAT	0.03
flipflop-5-c	UNSAT	0.03
CHAIN13v.14	SAT	0.03
lut4_XOR_f1	SAT	0.03
mutex-2-s	SAT	0.03
k_poly_n-8	SAT	0.03
TOILET2.1.iv.4	SAT	0.03
impl02	SAT	0.03
impl06	SAT	0.03
k_poly_p-8	UNSAT	0.03
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.03
k_branch_n-1	SAT	0.03
k_d4_p-1	UNSAT	0.03
k_path_n-1	SAT	0.03
k_ph_n-3	SAT	0.03
k_ph_p-2	UNSAT	0.03
k_poly_n-9	SAT	0.03
k_poly_p-9	UNSAT	0.03
cmu.dme1.B-d2	SAT	0.03
cmu.dme2.B-d2	SAT	0.03
eijk.S208c.S-d4	SAT	0.03
eijk.S208o.S-d3	SAT	0.03
eijk.S208o.S-d4	SAT	0.03
eijk.S382.S-d2	SAT	0.03
eijk.S420.S-d4	SAT	0.03
eijk.S510.S-d3	SAT	0.03
eijk.S526.S-d2	SAT	0.03
irst.dme4.B-d2	SAT	0.03
vis.bakery.E-d2	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-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-007	UNSAT	0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	0.03
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.03
aim-50-1_6-yes1-2-50	SAT	0.03
aim-50-1_6-yes1-3-90	SAT	0.03
counter_e_2	SAT	0.04
impl20	SAT	0.04
counter_re_2	SAT	0.04
k_ph_n-4	SAT	0.04
impl12	SAT	0.04
impl18	SAT	0.04
impl04	SAT	0.04
counter_r_2	SAT	0.04
k_ph_p-4	UNSAT	0.04
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.04
s27_d2_s	SAT	0.04
counter_2	SAT	0.04
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.04
impl14	SAT	0.04
k_dum_n-1	SAT	0.04
k_path_p-2	UNSAT	0.04
k_ph_p-3	UNSAT	0.04
k_poly_n-10	SAT	0.04
k_poly_p-10	UNSAT	0.04
k_poly_p-11	UNSAT	0.04
cmu.dme1.B-d4	SAT	0.04
eijk.S208c.S-d2	SAT	0.04
eijk.S208c.S-d3	SAT	0.04
eijk.S208.S-d4	SAT	0.04
eijk.S298.S-d2	SAT	0.04
eijk.S444.S-d2	SAT	0.04
nusmv.dme1-16.B-d2	SAT	0.04
texas.ifetch1^1.E-d3	SAT	0.04
texas.ifetch1^9.E-d3	SAT	0.04
texas.parsesys^1.E-d3	SAT	0.04
texas.ifetch1^4.E-f2	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-006	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
aim-50-1_6-yes1-1-90	UNSAT	0.04
aim-50-1_6-yes1-2-90	UNSAT	0.04
aim-50-2_0-yes1-2-90	SAT	0.04
aim-50-2_0-yes1-4-50	SAT	0.04
aim-50-2_0-yes1-4-90	SAT	0.04
adder-2-unsat	UNSAT	0.04
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.04
CHAIN14v.15	SAT	0.04
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.04
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.04
s27_d3_u	UNSAT	0.04
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.04
Adder2-2-c	UNSAT	0.04
k_d4_n-1	SAT	0.04
k_d4_p-2	UNSAT	0.04
k_dum_p-1	UNSAT	0.04
k_lin_p-2	UNSAT	0.04
k_path_p-3	UNSAT	0.04
cmu.dme1.B-d3	SAT	0.04
cmu.dme2.B-d3	SAT	0.04
eijk.S382.S-d3	SAT	0.04
eijk.S444.S-d3	SAT	0.04
eijk.S526.S-d3	SAT	0.04
texas.ifetch1^3.E-d3	SAT	0.04
vis.4-arbit^1.E-d2	SAT	0.04
vis.bakery.E-d3	SAT	0.04
vis.eisenberg.E-d3	SAT	0.04
aim-50-1_6-yes1-1-00	SAT	0.04
aim-50-1_6-yes1-2-00	SAT	0.04
aim-50-1_6-yes1-3-00	SAT	0.04
aim-50-1_6-yes1-3-50	UNSAT	0.04
aim-50-1_6-yes1-4-50	SAT	0.04
aim-50-1_6-yes1-4-90	UNSAT	0.04
aim-50-2_0-yes1-1-00	UNSAT	0.04
aim-50-2_0-yes1-1-50	UNSAT	0.04
aim-50-2_0-yes1-1-90	UNSAT	0.04
aim-50-2_0-yes1-2-50	UNSAT	0.04
aim-50-2_0-yes1-3-90	UNSAT	0.04
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.04
s27_d4_u	UNSAT	0.04
CHAIN15v.16	SAT	0.04
k_poly_p-12	UNSAT	0.04
Adder2-2-s	SAT	0.04
k_poly_n-12	SAT	0.04
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.04
k_branch_p-2	UNSAT	0.04
k_lin_n-2	SAT	0.04
k_lin_p-3	UNSAT	0.04
k_path_n-2	SAT	0.04
k_ph_n-5	SAT	0.04
k_poly_n-11	SAT	0.04
k_poly_p-13	UNSAT	0.04
eijk.bs1512.S-d2	SAT	0.04
eijk.S298.S-d3	SAT	0.04
eijk.S386.S-d2	SAT	0.04
eijk.S641.S-d3	SAT	0.04
eijk.S953.S-d2	SAT	0.04
texas.ifetch1^1.E-d4	SAT	0.04
texas.ifetch1^3.E-d4	SAT	0.04
vis.4-arbit^1.E-d3	SAT	0.04
vis.arbiter.E-d4	SAT	0.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.04
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.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-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.04
c4_BMC_p1_k2	SAT	0.04
aim-100-1_6-yes1-3-90	SAT	0.04
aim-50-1_6-yes1-1-50	SAT	0.04
aim-50-1_6-yes1-4-00	SAT	0.04
aim-50-2_0-yes1-2-00	UNSAT	0.04
aim-50-2_0-yes1-3-00	UNSAT	0.04
aim-50-2_0-yes1-3-50	UNSAT	0.04
aim-50-2_0-yes1-4-00	UNSAT	0.04
ii8a1-50	SAT	0.04
s27_d5_u	UNSAT	0.05
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.05
adder-2-sat	SAT	0.05
k_dum_n-2	SAT	0.05
k_dum_p-2	UNSAT	0.05
k_dum_p-3	UNSAT	0.05
texas.parsesys^1.E-d4	SAT	0.05
vis.emodel.E-d2	SAT	0.05
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.05
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.05
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.05
aim-100-1_6-yes1-1-90	UNSAT	0.05
aim-50-3_4-yes1-1-50	UNSAT	0.05
aim-50-3_4-yes1-1-90	UNSAT	0.05
aim-50-3_4-yes1-2-50	SAT	0.05
aim-50-3_4-yes1-3-50	SAT	0.05
aim-50-3_4-yes1-4-50	UNSAT	0.05
par8-4-c-90	SAT	0.05
stmt21_4_5	UNSAT	0.05
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.05
lut4_2_fXOR	SAT	0.05
szymanski-5-s	UNSAT	0.05
mutex-4-s	SAT	0.05
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.05
BLOCKS3iii.4	UNSAT	0.05
CHAIN16v.17	SAT	0.05
k_branch_n-2	SAT	0.05
k_lin_p-5	UNSAT	0.05
k_ph_n-6	SAT	0.05
k_ph_p-5	UNSAT	0.05
k_poly_n-14	SAT	0.05
k_poly_n-13	SAT	0.05
eijk.S510.S-d4	SAT	0.05
texas.ifetch1^9.E-d4	SAT	0.05
vis.coherence^1.E-d2	SAT	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-002	UNSAT	0.05
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.05
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	0.05
aim-100-1_6-yes1-1-50	SAT	0.05
aim-100-1_6-yes1-2-50	SAT	0.05
aim-100-1_6-yes1-3-50	UNSAT	0.05
aim-100-2_0-yes1-2-50	SAT	0.05
aim-50-3_4-yes1-2-00	SAT	0.05
aim-50-3_4-yes1-3-00	SAT	0.05
aim-50-3_4-yes1-4-00	UNSAT	0.05
ii8a1-90	SAT	0.05
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.06
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.06
k_poly_n-15	SAT	0.06
k_poly_p-14	UNSAT	0.06
eijk.S444.S-d4	SAT	0.06
nusmv.dme1-16.B-d3	SAT	0.06
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.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.06
c4_BMC_p2_k4	UNSAT	0.06
aim-100-1_6-yes1-1-00	SAT	0.06
aim-100-1_6-yes1-2-00	SAT	0.06
aim-100-1_6-yes1-4-00	UNSAT	0.06
aim-100-1_6-yes1-4-50	UNSAT	0.06
aim-100-2_0-yes1-2-00	SAT	0.06
aim-100-2_0-yes1-3-50	UNSAT	0.06
aim-50-3_4-yes1-1-00	UNSAT	0.06
aim-50-3_4-yes1-2-90	SAT	0.06
aim-50-3_4-yes1-3-90	UNSAT	0.06
CHAIN18v.19	SAT	0.06
k_poly_n-16	SAT	0.06
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.06
k_dum_n-3	SAT	0.06
k_lin_p-7	UNSAT	0.06
k_poly_p-15	UNSAT	0.06
eijk.S382.S-d4	SAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.06
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.06
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.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-003	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
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.06
aim-100-1_6-yes1-2-90	UNSAT	0.06
aim-100-1_6-yes1-4-90	UNSAT	0.06
aim-100-2_0-yes1-1-50	UNSAT	0.06
aim-100-2_0-yes1-3-90	UNSAT	0.06
aim-100-2_0-yes1-4-50	UNSAT	0.06
aim-50-6_0-yes1-1-90	SAT	0.06
aim-50-6_0-yes1-4-90	SAT	0.06
par8-4-c-50	SAT	0.06
CHAIN17v.18	SAT	0.06
k_poly_p-16	UNSAT	0.06
k_lin_p-4	UNSAT	0.06
k_poly_n-17	SAT	0.06
k_t4p_n-1	SAT	0.06
irst.dme5.B-d2	SAT	0.06
nusmv.brp.B-d2	SAT	0.06
vis.eisenberg.E-d4	SAT	0.06
texas.parsesys^4.E-f3	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-003	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.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.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.06
cube_c3_ser--opt-6_	SAT	0.06
c4_BMC_p1_k4	SAT	0.06
aim-100-1_6-yes1-3-00	UNSAT	0.06
aim-100-2_0-yes1-1-90	UNSAT	0.06
aim-100-2_0-yes1-4-90	SAT	0.06
aim-50-3_4-yes1-4-90	SAT	0.06
aim-50-6_0-yes1-3-00	UNSAT	0.06
aim-50-6_0-yes1-3-50	UNSAT	0.06
par8-1-c-90	UNSAT	0.06
par8-2-c-50	UNSAT	0.06
k_path_p-4	UNSAT	0.07
k_lin_n-3	SAT	0.07
k_ph_n-7	SAT	0.07
k_poly_n-18	SAT	0.07
k_poly_p-17	UNSAT	0.07
eijk.S953.S-d3	SAT	0.07
vis.emodel.E-d3	SAT	0.07
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.07
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.07
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.07
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.07
aim-100-2_0-yes1-2-90	UNSAT	0.07
aim-100-2_0-yes1-3-00	UNSAT	0.07
aim-100-2_0-yes1-4-00	UNSAT	0.07
aim-50-6_0-yes1-1-50	UNSAT	0.07
aim-50-6_0-yes1-2-50	UNSAT	0.07
aim-50-6_0-yes1-2-90	UNSAT	0.07
aim-50-6_0-yes1-3-90	SAT	0.07
par8-1-c-00	UNSAT	0.07
par8-1-c-50	UNSAT	0.07
par8-3-c-50	UNSAT	0.07
par8-4-c-00	SAT	0.07
stmt1_811_812	SAT	0.07
CHAIN19v.20	SAT	0.07
k_dum_p-4	UNSAT	0.07
test5_quant_squaring4	SAT	0.07
BLOCKS3ii.4.3	UNSAT	0.07
s298_d2_s	SAT	0.07
k_d4_n-2	SAT	0.07
k_lin_p-6	UNSAT	0.07
k_poly_p-18	UNSAT	0.07
eijk.bs1512.S-d3	SAT	0.07
irst.dme4.B-d3	SAT	0.07
irst.dme6.B-d2	SAT	0.07
texas.ifetch1^4.E-f3	UNSAT	0.07
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	0.07
aim-100-2_0-yes1-1-00	UNSAT	0.07
aim-50-6_0-yes1-4-00	SAT	0.07
aim-50-6_0-yes1-4-50	UNSAT	0.07
par8-2-c-90	UNSAT	0.07
k_poly_n-20	SAT	0.08
CHAIN20v.21	SAT	0.08
eijk.S1423.S-d2	SAT	0.08
eijk.S820.S-d2	SAT	0.08
vis.prodcell^01.E-d2	SAT	0.08
texas.ifetch1^1.E-f2	UNSAT	0.08
texas.ifetch1^8.E-f2	SAT	0.08
vis.emodel.E-f2	UNSAT	0.08
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.08
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.08
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003	UNSAT	0.08
aim-100-3_4-yes1-3-00	SAT	0.08
aim-50-6_0-yes1-1-00	UNSAT	0.08
aim-50-6_0-yes1-2-00	UNSAT	0.08
par8-2-c-00	UNSAT	0.08
par8-5-c-50	UNSAT	0.08
counter_4	SAT	0.08
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.08
szymanski-6-s	UNSAT	0.08
k_poly_n-19	SAT	0.08
k_poly_p-19	UNSAT	0.08
eijk.S349.S-d2	SAT	0.08
eijk.S832.S-d2	SAT	0.08
vis.bakery.E-d4	SAT	0.08
eijk.S298.S-f2	SAT	0.08
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.08
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.08
c6_BMC_p2_k2	UNSAT	0.08
aim-100-3_4-yes1-1-90	SAT	0.08
par8-3-c-00	SAT	0.08
par8-5-c-00	UNSAT	0.08
par8-5-c-90	UNSAT	0.08
stmt19_2_83	UNSAT	0.08
k_poly_p-20	UNSAT	0.08
eijk.bs3330.S-d2	SAT	0.08
eijk.S344.S-d2	SAT	0.08
texas.ifetch1^3.E-f2	UNSAT	0.08
texas.parsesys^4.E-f4	UNSAT	0.08
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.08
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	0.08
aim-100-3_4-yes1-2-50	SAT	0.08
par8-3-c-90	UNSAT	0.08
stmt22_6_80	UNSAT	0.08
BLOCKS3i.4.4	UNSAT	0.09
CHAIN21v.22	SAT	0.09
test5_quant_squaring5	SAT	0.09
k_poly_p-21	UNSAT	0.09
k_t4p_p-1	UNSAT	0.09
eijk.S298.S-d4	SAT	0.09
nusmv.queue.B-d2	SAT	0.09
texas.ifetch1^2.E-f2	UNSAT	0.09
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.09
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	0.09
aim-100-3_4-yes1-4-00	SAT	0.09
aim-100-3_4-yes1-4-50	UNSAT	0.09
stmt21_71_70	UNSAT	0.09
stmt22_6_72	UNSAT	0.09
lut4_XOR_fOR	UNSAT	0.09
CHAIN22v.23	SAT	0.09
k_poly_n-21	SAT	0.09
k_branch_p-3	UNSAT	0.09
k_lin_p-11	UNSAT	0.09
k_path_n-3	SAT	0.09
texas.ifetch1^7.E-f2	SAT	0.09
texas.ifetch1^9.E-f2	SAT	0.09
sortnetsort5.AE.stepl.003	SAT	0.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	0.09
aim-100-3_4-yes1-1-50	UNSAT	0.09
aim-200-1_6-yes1-2-50	SAT	0.09
stmt41_36_37	UNSAT	0.09
stmt19_3_78	UNSAT	0.09
stmt31_22_23	UNSAT	0.09
k3_1_2	SAT	0.09
k_lin_p-9	UNSAT	0.1
vis.emodel.E-d4	SAT	0.1
texas.ifetch1^5.E-f2	SAT	0.1
texas.ifetch1^8.E-f3	SAT	0.1
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	0.1
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.1
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	0.1
aim-100-3_4-yes1-1-00	UNSAT	0.1
aim-100-3_4-yes1-3-50	UNSAT	0.1
aim-100-3_4-yes1-4-90	SAT	0.1
stmt19_66_90	UNSAT	0.1
stmt19_3_83	UNSAT	0.1
stmt44_40_41	UNSAT	0.1
k_lin_p-8	UNSAT	0.1
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.1
nusmv.dme1-16.B-d4	SAT	0.1
vis.4-arbit^1.E-d4	SAT	0.1
vis.elevator^1.E-d2	SAT	0.1
texas.ifetch1^4.E-f4	UNSAT	0.1
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	0.1
aim-100-3_4-yes1-2-00	UNSAT	0.1
aim-200-1_6-yes1-1-50	SAT	0.1
aim-200-1_6-yes1-1-90	SAT	0.1
stmt52_54_55	UNSAT	0.1
stmt22_73_80	UNSAT	0.1
stmt27_16_97	UNSAT	0.1
flipflop-6-c	UNSAT	0.1
eijk.S386.S-d3	SAT	0.1
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.1
aim-100-3_4-yes1-2-90	UNSAT	0.1
aim-200-1_6-yes1-2-90	UNSAT	0.1
aim-200-1_6-yes1-3-50	UNSAT	0.1
stmt85_64_65	UNSAT	0.1
stmt19_67_83	UNSAT	0.1
stmt22_6_128	UNSAT	0.1
stmt21_5_138	UNSAT	0.1
stmt21_4_134	UNSAT	0.1
stmt19_2_137	UNSAT	0.1
CHAIN23v.24	SAT	0.11
k_ph_n-8	SAT	0.11
k_dum_p-5	UNSAT	0.11
nusmv.brp.B-f2	SAT	0.11
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.11
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.11
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.11
stmt3_639_640	SAT	0.11
stmt70_191_213	SAT	0.11
stmt21_5_134	UNSAT	0.11
stmt22_73_92	UNSAT	0.11
stmt19_66_142	UNSAT	0.11
stmt21_70_84	UNSAT	0.11
s499_d2_s	SAT	0.11
k_grz_n-2	SAT	0.11
eijk.S526.S-d4	SAT	0.11
vis.coherence^1.E-d3	SAT	0.11
eijk.S382.S-f2	SAT	0.11
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.11
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.11
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.11
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	0.11
aim-100-3_4-yes1-3-90	UNSAT	0.11
aim-200-1_6-yes1-1-00	SAT	0.11
stmt3_969_973	SAT	0.11
stmt24_292_293	SAT	0.11
stmt82_224_225	SAT	0.11
stmt19_78_83	UNSAT	0.11
stmt39_34_107	UNSAT	0.11
stmt22_73_128	UNSAT	0.11
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.12
k_lin_p-10	UNSAT	0.12
k_lin_p-15	UNSAT	0.12
k_ph_p-6	UNSAT	0.12
nusmv.brp.B-d3	SAT	0.12
ken.oop^1.C-f2	SAT	0.12
texas.ifetch1^9.E-f3	SAT	0.12
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	0.12
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	0.12
c3_BMC_p2_k2	UNSAT	0.12
aim-200-1_6-yes1-3-00	UNSAT	0.12
aim-200-1_6-yes1-3-90	UNSAT	0.12
aim-200-2_0-yes1-3-90	SAT	0.12
stmt44_252_301	SAT	0.12
stmt18_258_260	SAT	0.12
stmt19_83_90	UNSAT	0.12
stmt22_72_80	UNSAT	0.12
stmt85_64_122	UNSAT	0.12
BLOCKS3ii.5.2	UNSAT	0.12
k_lin_n-4	SAT	0.12
C880.blif_0.10_1.00_0_1_inp_exact	SAT	0.12
k_grz_n-1	SAT	0.12
eijk.bs1512.S-d4	SAT	0.12
texas.ifetch1^1.E-f3	UNSAT	0.12
texas.parsesys^1.E-f2	SAT	0.12
vis.emodel.E-f3	UNSAT	0.12
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.12
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.12
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-008	UNSAT	0.12
c4_BMC_p1_k8	SAT	0.12
c6_BMC_p1_k2	SAT	0.12
aim-200-2_0-yes1-4-50	SAT	0.12
stmt27_296_297	SAT	0.12
stmt19_2_180	UNSAT	0.12
stmt21_79_91	UNSAT	0.12
stmt21_4_178	UNSAT	0.12
stmt50_50_115	UNSAT	0.12
k_dum_n-4	SAT	0.12
eijk.S208o.S-f2	SAT	0.12
eijk.S344.S-f2	SAT	0.12
eijk.S526.S-f2	SAT	0.12
texas.ifetch1^7.E-f3	SAT	0.12
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	0.12
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	0.12
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	UNSAT	0.12
aim-200-1_6-yes1-2-00	UNSAT	0.12
aim-200-1_6-yes1-4-00	UNSAT	0.12
aim-200-1_6-yes1-4-50	SAT	0.12
stmt19_83_142	UNSAT	0.12
stmt41_36_198	UNSAT	0.12
stmt32_24_191	UNSAT	0.12
stmt19_3_177	UNSAT	0.12
stmt44_40_110	UNSAT	0.12
stmt19_2_214	UNSAT	0.12
stmt19_90_125	UNSAT	0.12
stmt22_6_219	UNSAT	0.12
stmt21_71_143	UNSAT	0.12
stmt19_67_137	UNSAT	0.12
stmt21_71_134	UNSAT	0.12
stmt28_19_98	UNSAT	0.12
stmt21_127_143	UNSAT	0.12
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.13
texas.ifetch1^3.E-f3	UNSAT	0.13
aim-100-6_0-yes1-3-50	SAT	0.13
aim-200-2_0-yes1-3-50	UNSAT	0.13
stmt21_70_138	UNSAT	0.13
stmt21_84_127	UNSAT	0.13
stmt19_78_125	UNSAT	0.13
stmt21_5_181	UNSAT	0.13
stmt27_16_149	UNSAT	0.13
stmt19_66_133	UNSAT	0.13
vis.4-arbit^1.E-f2	SAT	0.13
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.13
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.13
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	0.13
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	UNSAT	0.13
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	0.13
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004	UNSAT	0.13
c4_BMC_p2_k8	UNSAT	0.13
aim-100-6_0-yes1-1-50	SAT	0.13
aim-200-2_0-yes1-1-50	UNSAT	0.13
aim-200-2_0-yes1-2-50	UNSAT	0.13
aim-200-3_4-yes1-4-90	SAT	0.13
stmt27_16_224	UNSAT	0.13
stmt21_5_218	UNSAT	0.13
stmt41_37_108	UNSAT	0.13
k_grz_n-3	SAT	0.14
eijk.S444.S-f2	SAT	0.14
texas.ifetch1^5.E-f3	SAT	0.14
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	0.14
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.14
aim-100-6_0-yes1-1-00	SAT	0.14
stmt46_43_111	UNSAT	0.14
stmt19_3_214	UNSAT	0.14
stmt47_44_202	UNSAT	0.14
stmt50_50_205	UNSAT	0.14
stmt21_84_134	UNSAT	0.14
k_d4_p-3	UNSAT	0.14
eijk.S1423.S-d3	SAT	0.14
texas.ifetch1^2.E-f3	UNSAT	0.14
texas.ifetch1^8.E-f4	SAT	0.14
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	0.14
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.14
aim-200-1_6-yes1-4-90	SAT	0.14
aim-200-2_0-yes1-1-90	UNSAT	0.14
stmt19_90_142	UNSAT	0.14
stmt21_84_138	UNSAT	0.14
stmt19_66_180	UNSAT	0.14
stmt27_17_149	UNSAT	0.14
stmt21_79_134	UNSAT	0.14
stmt22_92_139	UNSAT	0.14
stmt41_36_160	UNSAT	0.14
stmt22_80_144	UNSAT	0.14
stmt47_44_239	UNSAT	0.14
k_branch_n-3	SAT	0.14
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.14
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003	UNSAT	0.14
aim-100-6_0-yes1-2-90	SAT	0.14
aim-100-6_0-yes1-3-00	SAT	0.14
aim-100-6_0-yes1-4-90	SAT	0.14
aim-200-2_0-yes1-2-90	UNSAT	0.14
stmt52_54_244	UNSAT	0.14
stmt19_90_133	UNSAT	0.14
stmt21_70_127	UNSAT	0.14
stmt22_73_179	UNSAT	0.14
stmt41_36_235	UNSAT	0.14
stmt52_54_169	UNSAT	0.14
stmt22_80_139	UNSAT	0.14
stmt44_40_162	UNSAT	0.14
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.15
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	UNSAT	0.15
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	UNSAT	0.15
aim-100-6_0-yes1-2-50	UNSAT	0.15
aim-100-6_0-yes1-3-90	UNSAT	0.15
aim-100-6_0-yes1-4-50	UNSAT	0.15
aim-200-2_0-yes1-1-00	SAT	0.15
stmt22_73_182	UNSAT	0.15
stmt21_70_178	UNSAT	0.15
nusmv.reactor^3.C-f4	UNSAT	0.15
aim-100-6_0-yes1-1-90	UNSAT	0.15
aim-200-2_0-yes1-4-00	SAT	0.15
stmt1_392_393	SAT	0.15
stmt22_139_144	UNSAT	0.15
stmt27_17_187	UNSAT	0.15
stmt39_35_159	UNSAT	0.15
k_lin_p-13	UNSAT	0.16
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003	UNSAT	0.16
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	UNSAT	0.16
aim-100-6_0-yes1-4-00	UNSAT	0.16
aim-200-2_0-yes1-3-00	UNSAT	0.16
stmt19_125_137	UNSAT	0.16
stmt19_66_214	UNSAT	0.16
stmt19_66_217	UNSAT	0.16
stmt22_73_219	UNSAT	0.16
stmt46_43_201	UNSAT	0.16
stmt19_67_214	UNSAT	0.16
eijk.S953.S-d4	SAT	0.16
texas.two_proc^6.E-f2	SAT	0.16
vis.elevator^1.E-f2	UNSAT	0.16
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.16
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003	UNSAT	0.16
aim-100-6_0-yes1-2-00	UNSAT	0.16
stmt21_79_178	UNSAT	0.16
stmt47_45_164	UNSAT	0.16
stmt19_125_133	UNSAT	0.16
stmt22_80_182	UNSAT	0.16
stmt41_37_198	UNSAT	0.16
stmt26_15_223	UNSAT	0.16
k_grz_n-4	SAT	0.16
s510_d2_s	SAT	0.16
qshifter_5	SAT	0.16
k_lin_p-12	UNSAT	0.16
vis.emodel.E-f4	UNSAT	0.16
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.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-003	UNSAT	0.16
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	0.16
aim-200-2_0-yes1-2-00	UNSAT	0.16
ssa7552-159-00	SAT	0.16
stmt22_85_179	UNSAT	0.16
stmt21_91_181	UNSAT	0.16
stmt29_99_151	UNSAT	0.16
ken.oop^2.C-f2	SAT	0.17
texas.ifetch1^5.E-f4	SAT	0.17
texas.ifetch1^7.E-f4	SAT	0.17
texas.two_proc^5.E-f2	SAT	0.17
sortnetsort5.AE.stepl.005	UNSAT	0.17
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.17
jnh301-50	SAT	0.17
stmt21_134_138	UNSAT	0.17
stmt19_90_177	UNSAT	0.17
stmt21_84_215	UNSAT	0.17
jnh213-50	SAT	0.17
stmt41_37_235	UNSAT	0.17
stmt22_92_216	UNSAT	0.17
stmt21_127_178	UNSAT	0.17
stmt53_118_170	UNSAT	0.17
stmt19_90_217	UNSAT	0.17
stmt22_85_182	UNSAT	0.17
BLOCKS3iii.5	SAT	0.18
vis.prodcell^01.E-d3	SAT	0.18
texas.ifetch1^1.E-f4	UNSAT	0.18
texas.ifetch1^9.E-f4	SAT	0.18
texas.PI_main^16.E-f2	SAT	0.18
texas.two_proc^1.E-f2	SAT	0.18
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.18
ii32c1-50	SAT	0.18
jnh217-00	SAT	0.18
stmt44_41_237	UNSAT	0.18
stmt22_80_216	UNSAT	0.18
s298_d3_s	SAT	0.18
k_lin_p-14	UNSAT	0.18
cmu.periodic.N-d2	SAT	0.18
nusmv.dme2-16.B-d2	SAT	0.18
stmt41_108_160	UNSAT	0.18
stmt21_71_252	UNSAT	0.18
stmt19_83_217	UNSAT	0.18
stmt27_97_187	UNSAT	0.18
stmt19_78_217	UNSAT	0.18
stmt19_2_250	UNSAT	0.18
stmt21_127_181	UNSAT	0.18
k_lin_n-5	SAT	0.18
cmu.dme2.B-d4	SAT	0.18
vis.elevator^1.E-d3	SAT	0.18
sortnetsort5.v.stepl.003	UNSAT	0.18
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	0.18
aim-200-2_0-yes1-4-90	SAT	0.18
aim-200-3_4-yes1-3-50	SAT	0.18
stmt39_107_197	UNSAT	0.18
stmt44_110_200	UNSAT	0.18
stmt22_73_268	UNSAT	0.18
k_grz_p-3	UNSAT	0.19
k_path_p-5	UNSAT	0.19
k_ph_n-9	SAT	0.19
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	UNSAT	0.19
jnh210-50	SAT	0.19
stmt19_142_217	UNSAT	0.19
stmt21_143_215	UNSAT	0.19
stmt85_64_248	UNSAT	0.19
stmt21_70_267	UNSAT	0.19
k_grz_p-2	UNSAT	0.19
texas.ifetch1^3.E-f4	UNSAT	0.19
aim-200-3_4-yes1-1-50	SAT	0.19
aim-200-3_4-yes1-4-50	SAT	0.19
stmt21_127_218	UNSAT	0.19
stmt21_143_181	UNSAT	0.19
stmt19_90_250	UNSAT	0.19
stmt19_2_261	UNSAT	0.19
stmt52_117_207	UNSAT	0.19
stmt46_111_163	UNSAT	0.19
stmt19_125_214	UNSAT	0.19
stmt19_2_257	UNSAT	0.19
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.2
ii32b1-50	SAT	0.2
stmt16_0_1	SAT	0.2
stmt22_144_179	UNSAT	0.2
stmt22_135_144	UNSAT	0.2
stmt22_179_182	UNSAT	0.2
stmt19_3_257	UNSAT	0.2
stmt19_3_261	UNSAT	0.2
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.2
k_grz_n-5	SAT	0.2
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	0.2
stmt32_24_277	UNSAT	0.2
stmt19_133_180	UNSAT	0.2
stmt28_98_225	UNSAT	0.2
stmt19_66_250	UNSAT	0.2
stmt21_127_267	UNSAT	0.2
stmt41_108_235	UNSAT	0.2
counter_r_4	SAT	0.2
eijk.S386.S-d4	SAT	0.2
ii32e1-00	SAT	0.2
jnh201-50	SAT	0.2
jnh213-00	SAT	0.2
stmt19_90_266	UNSAT	0.2
stmt19_142_250	UNSAT	0.2
stmt19_83_266	UNSAT	0.2
stmt22_80_253	UNSAT	0.2
stmt22_80_268	UNSAT	0.2
stmt19_83_250	UNSAT	0.2
nusmv.reactor^3.C-d2	SAT	0.21
nusmv.reactor^5.C-d2	SAT	0.21
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.21
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	UNSAT	0.21
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003	UNSAT	0.21
jnh218-00	SAT	0.21
stmt29_21_275	UNSAT	0.21
stmt39_34_285	UNSAT	0.21
stmt46_111_238	UNSAT	0.21
stmt19_67_257	UNSAT	0.21
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.21
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.21
jnh209-00	SAT	0.21
stmt19_133_250	UNSAT	0.21
stmt22_73_263	UNSAT	0.21
stmt22_182_216	UNSAT	0.21
stmt21_138_252	UNSAT	0.21
stmt50_115_242	UNSAT	0.21
stmt22_80_259	UNSAT	0.21
szymanski-8-s	UNSAT	0.22
nusmv.reactor^2.C-d2	SAT	0.22
nusmv.reactor^4.C-d2	SAT	0.22
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.22
jnh12-90	SAT	0.22
jnh17-00	SAT	0.22
stmt22_85_263	UNSAT	0.22
stmt22_92_263	UNSAT	0.22
stmt21_79_262	UNSAT	0.22
stmt21_178_218	UNSAT	0.22
stmt46_42_289	UNSAT	0.22
aim-200-3_4-yes1-1-90	SAT	0.22
aim-200-3_4-yes1-4-00	SAT	0.22
stmt17_143_144	SAT	0.22
stmt17_18_19	SAT	0.22
stmt41_37_286	UNSAT	0.22
stmt21_84_258	UNSAT	0.22
stmt50_50_293	UNSAT	0.22
stmt22_92_259	UNSAT	0.22
stmt19_142_266	UNSAT	0.22
stmt19_66_261	UNSAT	0.22
k_grz_p-5	UNSAT	0.22
eijk.S349.S-f2	SAT	0.22
vis.bakery.E-f2	SAT	0.22
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005	UNSAT	0.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-003	UNSAT	0.22
ii8a2-00	SAT	0.22
jnh1-50	SAT	0.22
stmt21_127_252	UNSAT	0.22
stmt21_70_258	UNSAT	0.22
stmt21_138_267	UNSAT	0.22
stmt19_133_266	UNSAT	0.22
stmt31_100_276	UNSAT	0.23
stmt19_214_217	UNSAT	0.23
stmt44_41_288	UNSAT	0.23
counter_e_4	SAT	0.23
vonNeumann-ripple-carry-5-c	UNSAT	0.23
eijk.S820.S-d3	SAT	0.23
jnh217-50	SAT	0.23
par8-1-50	SAT	0.23
stmt22_139_263	UNSAT	0.23
stmt19_125_261	UNSAT	0.23
stmt21_127_258	UNSAT	0.23
stmt19_133_217	UNSAT	0.23
nusmv.reactor^1.C-d2	SAT	0.24
aim-200-3_4-yes1-2-50	SAT	0.24
stmt50_51_293	UNSAT	0.24
stmt22_182_268	UNSAT	0.24
stmt19_133_261	UNSAT	0.24
stmt19_133_257	UNSAT	0.24
stmt21_138_258	UNSAT	0.24
stmt21_143_258	UNSAT	0.24
stmt32_153_277	UNSAT	0.24
stmt21_252_267	UNSAT	0.24
stmt19_142_261	UNSAT	0.24
stmt19_177_250	UNSAT	0.24
s386_d2_s	SAT	0.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-003	UNSAT	0.24
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	UNSAT	0.24
jnh7-00	SAT	0.24
stmt22_182_253	UNSAT	0.24
stmt39_107_285	UNSAT	0.24
stmt21_178_267	UNSAT	0.24
stmt19_67_318	UNSAT	0.24
k_lin_p-16	UNSAT	0.24
k_grz_p-1	UNSAT	0.24
k_lin_p-17	UNSAT	0.24
texas.PI_main^01.E-f2	SAT	0.24
jnh12-50	UNSAT	0.24
stmt19_66_318	UNSAT	0.24
stmt21_215_252	UNSAT	0.24
stmt47_112_290	UNSAT	0.24
nusmv.reactor^5.C-f2	UNSAT	0.25
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	UNSAT	0.25
aim-200-3_4-yes1-3-00	SAT	0.25
jnh205-50	SAT	0.25
jnh220-50	SAT	0.25
stmt22_219_268	UNSAT	0.25
stmt19_217_250	UNSAT	0.25
stmt21_181_258	UNSAT	0.25
stmt21_215_267	UNSAT	0.25
stmt19_177_261	UNSAT	0.25
texas.PI_main^10.E-f2	SAT	0.25
stmt31_190_276	UNSAT	0.25
stmt22_85_320	UNSAT	0.25
stmt21_178_258	UNSAT	0.25
k3_2_2	SAT	0.25
jnh1-00	SAT	0.26
stmt22_182_263	UNSAT	0.26
stmt19_78_318	UNSAT	0.26
stmt21_127_319	UNSAT	0.26
texas.two_proc^2.E-f2	SAT	0.26
sortnetsort5.AE.stepl.006	UNSAT	0.26
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	UNSAT	0.26
aim-200-3_4-yes1-2-00	UNSAT	0.26
jnh12-00	UNSAT	0.26
jnh7-50	SAT	0.26
stmt41_160_286	UNSAT	0.26
stmt46_163_289	UNSAT	0.26
stmt52_117_295	UNSAT	0.26
stmt32_228_277	UNSAT	0.26
stmt19_214_257	UNSAT	0.26
stmt22_92_320	UNSAT	0.26
stmt19_3_313	UNSAT	0.26
stmt19_214_261	UNSAT	0.26
stmt31_22_328	UNSAT	0.26
stmt41_36_336	UNSAT	0.26
stmt21_218_258	UNSAT	0.26
vis.eisenberg.E-f2	SAT	0.27
jnh7-90	SAT	0.27
stmt21_71_304	UNSAT	0.27
stmt41_198_286	UNSAT	0.27
stmt21_218_262	UNSAT	0.27
stmt19_3_309	UNSAT	0.27
lut4_2_f1	SAT	0.27
k_lin_p-18	UNSAT	0.27
nusmv.brp.B-d4	SAT	0.27
vis.prodcell^21.E-f2	UNSAT	0.27
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	0.27
jnh213-90	SAT	0.27
stmt22_135_320	UNSAT	0.27
stmt21_4_304	UNSAT	0.27
eijk.S1423.S-d4	SAT	0.28
texas.ifetch1^2.E-f4	UNSAT	0.28
jnh17-50	SAT	0.28
stmt21_4_310	UNSAT	0.28
stmt47_202_290	UNSAT	0.28
stmt19_142_318	UNSAT	0.28
stmt22_139_320	UNSAT	0.28
stmt47_44_340	UNSAT	0.28
stmt41_235_286	UNSAT	0.28
stmt50_167_293	UNSAT	0.28
eijk.S832.S-d3	SAT	0.28
stmt39_35_335	UNSAT	0.28
stmt29_21_327	UNSAT	0.28
stmt19_2_313	UNSAT	0.28
C6288.blif_0.10_1.00_0_1_out_exact	SAT	0.28
ken.flash^06.C-f2	UNSAT	0.28
texas.PI_main^03.E-f2	SAT	0.28
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004	UNSAT	0.28
c6_BMC_p2_k4	UNSAT	0.28
ii32e1-50	SAT	0.28
stmt19_261_266	UNSAT	0.28
texas.two_proc^3.E-f2	SAT	0.29
stmt21_91_304	UNSAT	0.29
stmt52_54_345	UNSAT	0.29
stmt46_43_339	UNSAT	0.29
stmt19_78_309	UNSAT	0.29
stmt21_5_304	UNSAT	0.29
stmt50_205_293	UNSAT	0.29
stmt47_239_290	UNSAT	0.29
k_lin_p-19	UNSAT	0.29
ken.flash^10.C-f2	UNSAT	0.29
vis.elevator^1.E-f3	UNSAT	0.29
aim-200-3_4-yes1-1-00	UNSAT	0.29
par8-1-00	SAT	0.29
stmt31_100_328	UNSAT	0.29
stmt19_137_177	UNSAT	0.29
stmt21_71_354	UNSAT	0.29
stmt19_177_318	UNSAT	0.29
stmt39_107_335	UNSAT	0.29
stmt21_252_319	UNSAT	0.29
stmt21_84_310	UNSAT	0.29
stmt52_244_295	UNSAT	0.29
stmt21_70_310	UNSAT	0.29
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	UNSAT	0.3
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	UNSAT	0.3
stmt19_142_302	UNSAT	0.3
stmt21_127_310	UNSAT	0.3
stmt21_4_354	UNSAT	0.3
stmt19_83_302	UNSAT	0.3
k_grz_p-4	UNSAT	0.3
counter_re_4	SAT	0.3
cmu.periodic.N-d3	SAT	0.3
jnh207-90	SAT	0.3
stmt21_79_304	UNSAT	0.3
stmt19_302_318	UNSAT	0.3
stmt44_110_338	UNSAT	0.3
stmt21_4_360	UNSAT	0.3
stmt22_182_320	UNSAT	0.3
stmt21_70_304	UNSAT	0.3
irst.dme5.B-f2	SAT	0.3
stmt21_138_310	UNSAT	0.3
stmt53_57_346	UNSAT	0.3
stmt21_5_360	UNSAT	0.3
stmt19_214_318	UNSAT	0.3
stmt19_217_318	UNSAT	0.3
stmt31_152_328	UNSAT	0.3
stmt21_79_314	UNSAT	0.31
stmt32_24_378	UNSAT	0.31
stmt22_135_311	UNSAT	0.31
stmt21_70_314	UNSAT	0.31
stmt21_5_354	UNSAT	0.31
stmt19_90_352	UNSAT	0.31
k_path_n-4	SAT	0.31
sortnetsort5.AE.stepl.007	UNSAT	0.31
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	UNSAT	0.31
c3_BMC_p1_k2	SAT	0.31
c4_BMC_p1_k32	SAT	0.31
stmt21_4_364	UNSAT	0.31
stmt32_191_329	UNSAT	0.31
stmt39_159_335	UNSAT	0.31
stmt22_85_315	UNSAT	0.31
stmt22_144_355	UNSAT	0.31
vis.elevator^1.E-d4	SAT	0.32
c4_BMC_p2_k32	UNSAT	0.32
aim-200-3_4-yes1-3-90	UNSAT	0.32
par8-4-00	SAT	0.32
stmt19_257_266	UNSAT	0.32
stmt44_162_338	UNSAT	0.32
stmt53_118_346	UNSAT	0.32
stmt21_134_304	UNSAT	0.32
k_grz_n-6	SAT	0.32
ii8c1-90	SAT	0.32
jnh218-90	SAT	0.32
stmt44_40_387	UNSAT	0.32
stmt19_177_309	UNSAT	0.32
stmt22_85_355	UNSAT	0.32
stmt21_70_354	UNSAT	0.32
stmt31_23_377	UNSAT	0.32
stmt19_180_309	UNSAT	0.32
stmt19_125_302	UNSAT	0.32
stmt21_138_304	UNSAT	0.32
stmt41_198_336	UNSAT	0.32
ii8b1-90	SAT	0.32
stmt19_83_359	UNSAT	0.32
stmt50_50_392	UNSAT	0.32
stmt29_226_327	UNSAT	0.32
flipflop-7-c	UNSAT	0.33
ken.flash^08.C-f2	UNSAT	0.33
vis.prodcell^09.E-f2	UNSAT	0.33
stmt22_80_361	UNSAT	0.33
stmt39_34_384	UNSAT	0.33
stmt22_73_404	UNSAT	0.33
stmt22_135_315	UNSAT	0.33
stmt50_167_343	UNSAT	0.33
stmt19_78_352	UNSAT	0.33
stmt22_182_305	UNSAT	0.33
stmt21_5_364	UNSAT	0.33
stmt39_234_335	UNSAT	0.33
stmt19_66_359	UNSAT	0.33
stmt21_252_262	UNSAT	0.33
stmt19_217_309	UNSAT	0.33
k_ph_n-10	SAT	0.33
eijk.S526.S-f3	SAT	0.33
stmt19_177_302	UNSAT	0.33
stmt44_200_338	UNSAT	0.33
stmt19_137_313	UNSAT	0.33
stmt19_125_313	UNSAT	0.33
stmt32_101_378	UNSAT	0.33
stmt19_214_309	UNSAT	0.33
stmt21_134_354	UNSAT	0.33
irst.dme4.B-f2	SAT	0.34
vis.prodcell^08.E-f2	UNSAT	0.34
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004	UNSAT	0.34
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	0.34
aim-200-3_4-yes1-2-90	UNSAT	0.34
stmt21_127_354	UNSAT	0.34
stmt19_133_359	UNSAT	0.34
stmt44_41_387	UNSAT	0.34
stmt19_2_401	UNSAT	0.34
stmt19_66_363	UNSAT	0.34
stmt22_253_259	UNSAT	0.34
sortnetsort5.AE.stepl.004	SAT	0.34
stmt39_35_384	UNSAT	0.34
stmt19_217_302	UNSAT	0.34
stmt19_3_401	UNSAT	0.34
stmt21_127_360	UNSAT	0.34
stmt19_137_352	UNSAT	0.34
stmt19_78_363	UNSAT	0.34
stmt21_262_319	UNSAT	0.34
stmt21_84_364	UNSAT	0.34
stmt9_350_351	SAT	0.34
stmt21_267_304	UNSAT	0.34
stmt52_207_345	UNSAT	0.34
stmt21_70_369	UNSAT	0.34
stmt19_214_302	UNSAT	0.34
stmt22_92_404	UNSAT	0.34
stmt19_177_313	UNSAT	0.34
k_lin_n-6	SAT	0.35
vis.4-arbit^2.E-f2	SAT	0.35
vis.prodcell^11.E-f2	UNSAT	0.35
par8-5-50	SAT	0.35
stmt19_137_359	UNSAT	0.35
stmt19_180_313	UNSAT	0.35
stmt50_51_392	UNSAT	0.35
stmt19_177_352	UNSAT	0.35
stmt22_259_263	UNSAT	0.35
stmt47_239_340	UNSAT	0.35
stmt19_67_368	UNSAT	0.35
stmt32_153_378	UNSAT	0.35
stmt19_180_352	UNSAT	0.35
stmt21_71_314	UNSAT	0.35
stmt22_73_311	UNSAT	0.35
stmt19_125_363	UNSAT	0.35
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004	UNSAT	0.36
par8-2-00	UNSAT	0.36
stmt19_214_313	UNSAT	0.36
stmt50_242_343	UNSAT	0.36
stmt47_112_389	UNSAT	0.36
stmt21_181_360	UNSAT	0.36
stmt32_191_378	UNSAT	0.36
stmt21_84_403	UNSAT	0.36
stmt21_127_369	UNSAT	0.36
stmt21_218_314	UNSAT	0.36
stmt21_71_409	UNSAT	0.36
stmt21_134_364	UNSAT	0.36
texas.PI_main^13.E-f2	SAT	0.36
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	UNSAT	0.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-006	UNSAT	0.36
par8-3-00	UNSAT	0.36
stmt21_91_369	UNSAT	0.36
stmt22_80_404	UNSAT	0.36
stmt21_215_354	UNSAT	0.36
stmt21_5_413	UNSAT	0.36
stmt21_84_369	UNSAT	0.36
stmt39_107_384	UNSAT	0.36
stmt19_66_401	UNSAT	0.36
stmt19_137_363	UNSAT	0.36
stmt21_143_403	UNSAT	0.36
sortnetsort6.AE.stepl.003	SAT	0.36
jnh212-00	UNSAT	0.36
stmt19_177_359	UNSAT	0.36
stmt21_218_360	UNSAT	0.36
stmt50_115_392	UNSAT	0.36
stmt22_80_370	UNSAT	0.36
stmt19_3_408	UNSAT	0.36
stmt21_138_215	UNSAT	0.36
k_lin_p-20	UNSAT	0.37
k_grz_n-7	SAT	0.37
sortnetsort5.v.stepl.005	SAT	0.37
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006	UNSAT	0.37
stmt19_90_408	UNSAT	0.37
stmt22_135_404	UNSAT	0.37
stmt19_266_352	UNSAT	0.37
stmt19_217_352	UNSAT	0.37
stmt21_71_360	UNSAT	0.37
stmt44_162_387	UNSAT	0.37
s713_d2_s	SAT	0.37
k_t4p_p-2	UNSAT	0.37
nusmv.queue.B-d3	SAT	0.37
par8-5-00	UNSAT	0.37
stmt29_226_376	UNSAT	0.37
stmt22_139_404	UNSAT	0.37
stmt21_71_413	UNSAT	0.37
stmt19_214_359	UNSAT	0.37
stmt52_169_394	UNSAT	0.37
stmt19_90_309	UNSAT	0.37
aim-200-6_0-yes1-4-50	SAT	0.38
jnh204-00	SAT	0.38
stmt85_122_399	UNSAT	0.38
stmt21_181_364	UNSAT	0.38
stmt19_177_363	UNSAT	0.38
stmt22_144_370	UNSAT	0.38
stmt46_201_388	UNSAT	0.38
stmt21_91_413	UNSAT	0.38
stmt39_159_384	UNSAT	0.38
stmt22_92_315	UNSAT	0.38
stmt19_66_417	UNSAT	0.38
stmt19_66_412	UNSAT	0.38
stmt19_137_368	UNSAT	0.38
stmt21_143_409	UNSAT	0.38
stmt21_258_304	UNSAT	0.38
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	UNSAT	0.38
stmt19_214_363	UNSAT	0.38
stmt21_178_403	UNSAT	0.38
stmt22_263_305	UNSAT	0.38
stmt19_133_368	UNSAT	0.38
stmt21_218_364	UNSAT	0.38
stmt22_73_419	UNSAT	0.38
stmt41_198_385	UNSAT	0.38
stmt19_78_408	UNSAT	0.38
c6_BMC_p1_k4	SAT	0.39
stmt19_66_408	UNSAT	0.39
stmt22_92_361	UNSAT	0.39
stmt50_205_392	UNSAT	0.39
stmt19_180_401	UNSAT	0.39
stmt22_85_410	UNSAT	0.39
stmt22_80_414	UNSAT	0.39
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	UNSAT	0.39
stmt46_238_388	UNSAT	0.39
stmt19_67_363	UNSAT	0.39
stmt19_250_368	UNSAT	0.39
stmt19_83_412	UNSAT	0.39
stmt52_244_394	UNSAT	0.39
k_lin_p-21	UNSAT	0.4
texas.PI_main^14.E-f2	UNSAT	0.4
c4_BMC_p1_k64	SAT	0.4
stmt21_127_418	UNSAT	0.4
stmt39_234_384	UNSAT	0.4
stmt21_319_354	UNSAT	0.4
stmt19_133_408	UNSAT	0.4
stmt19_177_368	UNSAT	0.4
stmt22_263_355	UNSAT	0.4
stmt19_217_401	UNSAT	0.4
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	0.4
c4_BMC_p2_k64	UNSAT	0.4
stmt21_127_413	UNSAT	0.4
stmt19_142_309	UNSAT	0.4
stmt21_215_403	UNSAT	0.4
stmt21_143_314	UNSAT	0.4
stmt21_181_369	UNSAT	0.4
stmt19_78_417	UNSAT	0.4
stmt22_259_355	UNSAT	0.4
k_ph_p-7	UNSAT	0.4
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.4
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	UNSAT	0.4
aim-200-6_0-yes1-3-00	SAT	0.4
stmt19_142_412	UNSAT	0.4
stmt21_138_413	UNSAT	0.4
stmt19_137_408	UNSAT	0.4
stmt19_83_417	UNSAT	0.4
stmt21_4_409	UNSAT	0.4
stmt22_268_404	UNSAT	0.4
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.41
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.41
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.41
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.41
stmt19_90_363	UNSAT	0.41
stmt21_127_409	UNSAT	0.41
stmt19_214_368	UNSAT	0.41
stmt21_134_413	UNSAT	0.41
stmt19_217_368	UNSAT	0.41
stmt21_304_369	UNSAT	0.41
stmt19_90_417	UNSAT	0.41
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.41
k_grz_n-8	SAT	0.41
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.41
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.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-004	UNSAT	0.41
ii32e1-90	UNSAT	0.41
stmt19_180_408	UNSAT	0.41
nusmv.reactor^4.C-f2	SAT	0.42
texas.parsesys^3.E-f2	SAT	0.42
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.42
jnh207-00	UNSAT	0.42
stmt22_144_419	UNSAT	0.42
stmt22_144_361	UNSAT	0.42
stmt21_181_413	UNSAT	0.42
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.42
stmt21_354_369	UNSAT	0.42
stmt21_178_409	UNSAT	0.42
stmt19_137_417	UNSAT	0.42
k_lin_n-7	SAT	0.42
vis.prodcell^01.E-d4	SAT	0.42
nusmv.reactor^5.C-f3	UNSAT	0.42
c4_BMC_p1_k16	SAT	0.42
stmt19_177_412	UNSAT	0.42
stmt21_134_418	UNSAT	0.42
jnh212-50	UNSAT	0.43
stmt21_218_413	UNSAT	0.43
stmt21_252_418	UNSAT	0.43
stmt21_215_409	UNSAT	0.43
stmt21_310_354	UNSAT	0.43
stmt22_259_404	UNSAT	0.43
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.43
stmt22_268_320	UNSAT	0.43
stmt19_217_408	UNSAT	0.43
stmt21_319_403	UNSAT	0.43
stmt21_314_354	UNSAT	0.43
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	0.44
aim-200-6_0-yes1-2-50	UNSAT	0.44
jnh205-90	UNSAT	0.44
stmt21_215_413	UNSAT	0.44
stmt22_182_419	UNSAT	0.44
stmt22_263_404	UNSAT	0.44
stmt22_6_414	UNSAT	0.44
stmt19_142_363	UNSAT	0.44
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.44
stmt21_304_418	UNSAT	0.44
stmt21_178_418	UNSAT	0.44
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	0.44
ii32d1-00	SAT	0.44
stmt22_263_370	UNSAT	0.44
stmt19_257_318	UNSAT	0.44
stmt21_215_418	UNSAT	0.44
aim-200-6_0-yes1-1-50	UNSAT	0.45
aim-200-6_0-yes1-3-50	UNSAT	0.45
stmt19_217_417	UNSAT	0.45
k_grz_p-6	UNSAT	0.45
vis.elevator^1.E-f4	UNSAT	0.45
cmu.periodic.N-d4	SAT	0.46
eijk.S1196.S-d2	SAT	0.46
stmt19_368_401	UNSAT	0.46
aim-200-6_0-yes1-3-90	UNSAT	0.46
jnh207-50	UNSAT	0.46
par8-4-50	UNSAT	0.46
stmt21_310_403	UNSAT	0.46
stmt19_352_417	UNSAT	0.46
vonNeumann-ripple-carry-6-c	UNSAT	0.47
jnh301-90	UNSAT	0.47
stmt22_315_404	UNSAT	0.47
c4_BMC_p2_k16	UNSAT	0.47
aim-200-6_0-yes1-4-00	UNSAT	0.47
aim-200-6_0-yes1-2-90	UNSAT	0.48
stmt21_262_418	UNSAT	0.48
ken.flash^06.C-f3	UNSAT	0.48
aim-200-6_0-yes1-1-00	UNSAT	0.48
aim-200-6_0-yes1-2-00	UNSAT	0.48
stmt21_403_418	UNSAT	0.48
ken.flash^10.C-f3	UNSAT	0.49
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	UNSAT	0.49
stmt11_643_645	SAT	0.49
stmt21_262_310	UNSAT	0.49
stmt21_252_304	UNSAT	0.5
stmt21_252_310	UNSAT	0.5
par8-2-90	UNSAT	0.5
stmt19_250_359	UNSAT	0.5
stmt21_252_314	UNSAT	0.5
stmt22_263_361	UNSAT	0.5
stmt21_364_369	UNSAT	0.5
stmt21_360_403	UNSAT	0.5
stmt22_365_404	UNSAT	0.51
stmt21_252_354	UNSAT	0.51
aim-200-6_0-yes1-1-90	SAT	0.51
stmt21_258_360	UNSAT	0.51
jnh212-90	UNSAT	0.52
stmt21_252_364	UNSAT	0.52
nusmv.reactor^7.C-f2	SAT	0.52
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	UNSAT	0.52
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007	UNSAT	0.53
par8-1-90	UNSAT	0.53
par8-3-90	SAT	0.53
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	0.53
stmt22_263_365	UNSAT	0.53
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	0.54
jnh301-00	UNSAT	0.54
stmt19_266_359	UNSAT	0.54
k_lin_n-8	SAT	0.54
ii8a3-00	SAT	0.54
stmt21_267_310	UNSAT	0.54
stmt21_304_360	UNSAT	0.54
stmt22_315_361	UNSAT	0.54
stmt19_313_318	UNSAT	0.54
BLOCKS3ii.5.3	SAT	0.54
k_grz_n-9	SAT	0.54
stmt19_302_313	UNSAT	0.54
stmt22_305_311	UNSAT	0.54
nusmv.guidance^3.C-f2	SAT	0.55
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007	UNSAT	0.55
stmt22_311_320	UNSAT	0.55
vis.prodcell^04.E-f3	UNSAT	0.55
ii32d1-50	SAT	0.55
stmt21_364_418	UNSAT	0.55
stmt21_258_364	UNSAT	0.55
stmt21_310_360	UNSAT	0.55
stmt19_250_412	UNSAT	0.55
szymanski-10-s	UNSAT	0.56
texas.parsesys^3.E-f3	SAT	0.56
vis.prodcell^03.E-f3	UNSAT	0.56
stmt19_266_313	UNSAT	0.56
stmt19_257_313	UNSAT	0.56
nusmv.guidance^8.C-f2	SAT	0.56
c3_BMC_p2_k4	UNSAT	0.56
stmt22_263_315	UNSAT	0.56
stmt21_403_409	UNSAT	0.56
stmt44_435_436	SAT	0.56
stmt21_403_413	UNSAT	0.56
stmt22_259_311	UNSAT	0.56
stmt19_266_363	UNSAT	0.56
stmt21_304_364	UNSAT	0.56
ken.flash^08.C-f3	UNSAT	0.57
nusmv.guidance^5.C-f2	SAT	0.57
sortnetsort7.AE.stepl.003	SAT	0.57
jnh201-00	SAT	0.57
stmt21_262_413	UNSAT	0.57
nusmv.guidance^9.C-f2	SAT	0.57
jnh204-50	SAT	0.57
stmt22_320_361	UNSAT	0.57
stmt19_250_401	UNSAT	0.57
eijk.S208c.S-f2	SAT	0.58
stmt22_259_370	UNSAT	0.58
stmt19_412_417	UNSAT	0.58
k_ph_n-11	SAT	0.58
sortnetsort5.v.stepl.006	SAT	0.58
ii32b1-90	SAT	0.58
stmt19_266_408	UNSAT	0.58
stmt21_314_364	UNSAT	0.58
jnh210-90	UNSAT	0.58
stmt22_311_370	UNSAT	0.58
stmt21_310_314	UNSAT	0.58
stmt19_257_412	UNSAT	0.58
sortnetsort6.v.stepl.003	UNSAT	0.59
aim-200-6_0-yes1-4-90	SAT	0.59
stmt19_352_359	UNSAT	0.59
stmt19_313_368	UNSAT	0.59
stmt19_302_412	UNSAT	0.59
k_d4_n-3	SAT	0.59
par8-4-90	UNSAT	0.59
stmt22_259_419	UNSAT	0.59
stmt21_319_364	UNSAT	0.59
stmt21_304_409	UNSAT	0.59
par8-3-50	UNSAT	0.6
stmt19_266_368	UNSAT	0.6
stmt19_352_363	UNSAT	0.6
stmt19_309_363	UNSAT	0.6
jnh220-00	SAT	0.6
par8-5-90	UNSAT	0.6
stmt21_319_409	UNSAT	0.6
stmt21_314_409	UNSAT	0.6
k_dum_p-6	UNSAT	0.61
stmt21_360_369	UNSAT	0.61
k_branch_p-4	UNSAT	0.62
ken.flash^13.C-d2	UNSAT	0.62
nusmv.guidance^2.C-f2	SAT	0.62
texas.parsesys^1.E-f3	SAT	0.62
stmt21_360_364	UNSAT	0.62
stmt19_309_408	UNSAT	0.62
stmt21_354_413	UNSAT	0.63
stmt21_314_418	UNSAT	0.63
stmt19_309_412	UNSAT	0.63
stmt19_352_408	UNSAT	0.63
eijk.bs6669.S-d3	SAT	0.64
vis.prodcell^06.E-f3	UNSAT	0.64
vis.coherence^1.E-d4	SAT	0.64
c2_BMC_p2_k2	UNSAT	0.64
stmt52_55_207	UNSAT	0.64
stmt19_313_412	UNSAT	0.64
stmt22_268_414	UNSAT	0.64
k_grz_p-8	UNSAT	0.64
texas.two_proc^4.E-f2	SAT	0.64
stmt19_368_408	UNSAT	0.64
vis.prodcell^21.E-f3	UNSAT	0.65
stmt21_364_409	UNSAT	0.65
s298_d5_s	SAT	0.66
stmt21_360_409	UNSAT	0.66
s820_d2_s	SAT	0.66
eijk.bs4863.S-d2	SAT	0.66
stmt19_309_417	UNSAT	0.66
stmt21_360_418	UNSAT	0.66
jnh17-90	UNSAT	0.67
stmt22_361_414	UNSAT	0.67
k_grz_p-7	UNSAT	0.68
par8-2-50	UNSAT	0.68
stmt22_365_414	UNSAT	0.68
stmt19_266_417	UNSAT	0.68
eijk.bs3271.S-f2	SAT	0.7
eijk.S344.S-f4	SAT	0.7
stmt9_445_446	SAT	0.7
s510_d3_s	SAT	0.7
stmt21_409_413	UNSAT	0.71
nusmv.reactor^5.C-f4	UNSAT	0.71
stmt19_408_417	UNSAT	0.71
stmt19_318_412	UNSAT	0.71
ken.flash^06.C-f4	UNSAT	0.72
ken.flash^03.C-f2	UNSAT	0.72
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008	UNSAT	0.72
ii8a2-90	UNSAT	0.72
sortnetsort5.v.stepl.007	SAT	0.73
ken.flash^10.C-f4	UNSAT	0.73
k_grz_p-9	UNSAT	0.75
eijk.S1238.S-d2	SAT	0.75
nusmv.reactor^6.C-f2	SAT	0.75
nusmv.guidance^7.C-f2	SAT	0.75
jnh209-90	UNSAT	0.75
stmt19_368_412	UNSAT	0.75
s499_d3_s	SAT	0.77
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	0.78
s1196_d2_s	SAT	0.79
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	UNSAT	0.81
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	UNSAT	0.81
jnh218-50	SAT	0.81
k3_1_1	SAT	0.81
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.82
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	0.82
k_dum_p-7	UNSAT	0.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-007	UNSAT	0.83
k_lin_n-9	SAT	0.84
s1269_d2_s	SAT	0.85
stmt21_262_409	UNSAT	0.85
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	UNSAT	0.85
nusmv.syncarb5^2.B-f2	SAT	0.86
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	UNSAT	0.86
vis.prodcell^01.E-f4	UNSAT	0.87
ken.flash^06.C-d2	UNSAT	0.88
ken.flash^08.C-f4	UNSAT	0.88
vonNeumann-ripple-carry-7-c	UNSAT	0.88
k_dum_n-5	SAT	0.88
vis.prodcell^03.E-f4	UNSAT	0.88
ken.flash^02.C-d2	SAT	0.88
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	UNSAT	0.88
c2_BMC_p1_k2	SAT	0.89
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.9
vis.prodcell^09.E-f3	UNSAT	0.9
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.91
ssa7552-159-50	SAT	0.92
lut4_3_fAND	SAT	0.93
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	UNSAT	0.93
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	UNSAT	0.94
vis.prodcell^04.E-f4	UNSAT	0.94
s298_d6_s	SAT	0.94
eijk.S208.S-f2	SAT	0.94
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	UNSAT	0.95
k_ph_p-8	UNSAT	0.96
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	UNSAT	0.96
jnh220-90	SAT	0.96
nusmv.guidance^6.C-f2	SAT	0.97
vis.prodcell^02.E-f4	UNSAT	0.98
flipflop-8-c	UNSAT	0.99
eijk.S349.S-d3	SAT	0.99
eijk.S526.S-f4	SAT	1
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	1
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	1.03
texas.PI_main^14.E-f3	UNSAT	1.04
vis.prodcell^11.E-f3	UNSAT	1.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	1.05
ken.flash^09.C-f2	UNSAT	1.06
vis.prodcell^05.E-f4	UNSAT	1.07
c5_BMC_p2_k2	UNSAT	1.07
sortnetsort6.v.stepl.005	SAT	1.07
ken.flash^13.C-d3	UNSAT	1.08
k_ph_n-12	SAT	1.08
jnh205-00	UNSAT	1.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	UNSAT	1.11
ring_r3_ser--opt-8_	SAT	1.11
vis.prodcell^20.E-f4	UNSAT	1.12
vis.prodcell^06.E-f4	UNSAT	1.13
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	UNSAT	1.16
Adder2-4-c	UNSAT	1.16
vis.prodcell^21.E-f4	UNSAT	1.16
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	UNSAT	1.17
stmt53_57_245	UNSAT	1.18
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	UNSAT	1.19
c5_BMC_p1_k2	SAT	1.19
ii8a4-90	SAT	1.2
TOILET6.1.iv.12	SAT	1.21
ken.flash^03.C-f3	UNSAT	1.23
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	UNSAT	1.24
eijk.S344.S-d3	SAT	1.24
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	UNSAT	1.25
k_d4_p-4	UNSAT	1.26
cmu.gigamax.B-d2	SAT	1.27
szymanski-12-s	UNSAT	1.28
nusmv.syncarb5^2.B-f3	SAT	1.28
jnh204-90	SAT	1.3
c4_BMC_p1_k128	SAT	1.32
irst.dme5.B-d3	SAT	1.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-007	UNSAT	1.34
stmt19_250_408	UNSAT	1.36
ii8a4-00	SAT	1.37
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	1.38
nusmv.queue.B-d4	SAT	1.39
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	UNSAT	1.42
eijk.bs3271.S-f3	SAT	1.43
ssa7552-159-90	SAT	1.44
ssa7552-158-90	SAT	1.45
s298_d7_s	SAT	1.46
eijk.S208o.S-f3	SAT	1.49
k_lin_n-11	SAT	1.5
c6_BMC_p2_k8	UNSAT	1.54
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	1.57
k_path_p-6	UNSAT	1.58
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	UNSAT	1.59
vis.arbiter.E-f2	SAT	1.6
C499.blif_0.10_0.20_0_1_inp_exact	SAT	1.61
vonNeumann-ripple-carry-8-c	UNSAT	1.62
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	UNSAT	1.62
cmu.periodic.N-f2	SAT	1.63
nusmv.syncarb5^2.B-f4	SAT	1.64
stmt22_259_410	UNSAT	1.66
c4_BMC_p2_k128	UNSAT	1.66
irst.dme6.B-f2	SAT	1.67
jnh209-50	UNSAT	1.68
ii32d1-90	SAT	1.68
ssa7552-160-00	SAT	1.7
sortnetsort8.AE.stepl.003	SAT	1.71
eijk.S641.S-d4	SAT	1.72
k_ph_n-13	SAT	1.73
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	UNSAT	1.74
eijk.bs6669.S-d4	SAT	1.74
vis.prodcell^08.E-f3	UNSAT	1.76
s510_d4_s	SAT	1.77
ken.flash^13.C-d4	UNSAT	1.8
ken.flash^09.C-f3	UNSAT	1.81
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	UNSAT	1.82
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	UNSAT	1.88
par16-4-c-00	SAT	1.91
lognBWLARGEA1	UNSAT	1.93
ken.flash^03.C-f4	UNSAT	1.95
c6_BMC_p1_k8	SAT	1.96
s298_d8_s	SAT	1.98
vis.coherence^3.E-f2	SAT	1.99
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	UNSAT	2.01
ssa7552-158-50	SAT	2.01
par16-1-c-50	SAT	2.04
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	2.05
vis.prodcell^11.E-f4	UNSAT	2.06
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	2.06
ii32b1-00	SAT	2.06
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	2.07
irst.dme4.B-d4	SAT	2.1
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006	UNSAT	2.14
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	UNSAT	2.16
par16-1-c-00	SAT	2.19
k_lin_n-10	SAT	2.2
qshifter_6	SAT	2.22
c1_BMC_p2_k2048	FAIL	2.22
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	2.25
nusmv.guidance^4.C-f2	SAT	2.27
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	UNSAT	2.28
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	2.35
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	UNSAT	2.38
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	UNSAT	2.38
par16-4-c-50	UNSAT	2.44
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	UNSAT	2.44
ev-pr-4x4-7-3-0-0-1-lg	SAT	2.45
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	UNSAT	2.46
nusmv.reactor^2.C-f2	SAT	2.51
jnh1-90	UNSAT	2.51
s499_d4_s	SAT	2.57
vis.coherence^1.E-f2	SAT	2.67
vis.prodcell^08.E-f4	UNSAT	2.67
s298_d4_s	SAT	2.69
k_lin_n-14	SAT	2.72
par16-1-c-90	SAT	2.72
eijk.S713.S-d4	SAT	2.78
c1_BMC_p2_k2	UNSAT	2.8
vis.prodcell^09.E-f4	UNSAT	2.82
k_ph_n-14	SAT	2.84
ken.flash^09.C-f4	UNSAT	2.84
c3_BMC_p2_k8	UNSAT	2.84
nusmv.dme2-16.B-f2	SAT	2.85
szymanski-14-s	UNSAT	2.86
flipflop-9-c	UNSAT	2.86
sortnetsort6.v.stepl.007	SAT	2.9
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	UNSAT	2.92
vonNeumann-ripple-carry-9-c	UNSAT	2.94
nusmv.reactor^3.C-d3	SAT	2.98
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	UNSAT	3.02
eijk.S444.S-f3	SAT	3.03
jnh217-90	SAT	3.09
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	UNSAT	3.1
s298_d9_s	SAT	3.13
sortnetsort6.AE.stepl.005	UNSAT	3.14
texas.parsesys^2.E-f2	UNSAT	3.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	UNSAT	3.15
s386_d3_s	SAT	3.18
par16-5-c-50	UNSAT	3.22
nusmv.reactor^2.C-d3	SAT	3.24
nusmv.reactor^3.C-f2	SAT	3.35
par16-5-c-90	SAT	3.38
nusmv.reactor^4.C-d3	SAT	3.38
k_t4p_p-3	UNSAT	3.39
irst.dme6.B-d3	SAT	3.41
par16-4-c-90	UNSAT	3.41
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	UNSAT	3.44
nusmv.reactor^1.C-d3	SAT	3.52
ken.flash^06.C-d3	UNSAT	3.58
par16-4-90	UNSAT	3.6
c4_BMC_p1_k256	SAT	3.62
s510_d5_s	SAT	3.62
k_grz_n-10	SAT	3.65
par16-2-c-50	SAT	3.72
k3_2_1	SAT	3.72
k_branch_n-4	SAT	3.81
c1_BMC_p1_k2	SAT	3.87
par16-4-50	UNSAT	3.87
eijk.S349.S-f4	SAT	3.9
ii32c1-90	UNSAT	3.95
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	UNSAT	3.99
texas.parsesys^1.E-f4	SAT	4
nusmv.reactor^5.C-d3	SAT	4.02
par16-4-00	UNSAT	4.06
eijk.S344.S-d4	SAT	4.1
test5_quant5	SAT	4.12
sortnetsort6.AE.stepl.007	UNSAT	4.13
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	UNSAT	4.13
ken.flash^02.C-f2	SAT	4.14
sortnetsort6.AE.stepl.006	UNSAT	4.16
k_grz_p-10	UNSAT	4.17
par16-5-c-00	SAT	4.18
vis.eisenberg.E-f3	SAT	4.19
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	UNSAT	4.22
sortnetsort6.AE.stepl.004	SAT	4.22
s298_d10_s	SAT	4.26
ii32b2-50	SAT	4.3
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	UNSAT	4.31
k_dum_p-8	UNSAT	4.32
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	UNSAT	4.32
sortnetsort8.AE.stepl.004	SAT	4.34
stmt22_139_182	UNSAT	4.38
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	4.44
s499_d5_s	SAT	4.45
k_grz_n-12	SAT	4.51
k_ph_n-15	SAT	4.53
ken.flash^12.C-d2	SAT	4.54
k_lin_n-12	SAT	4.56
ii32c2-90	SAT	4.57
test5_quant7	SAT	4.58
eijk.S208o.S-f4	SAT	4.63
s713_d3_s	SAT	4.65
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	UNSAT	4.69
ii32b2-00	SAT	4.77
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	UNSAT	5
vonNeumann-ripple-carry-10-c	UNSAT	5.04
par16-3-c-00	UNSAT	5.1
s3330_d2_s	SAT	5.12
par16-2-c-90	SAT	5.13
s713_d4_s	SAT	5.2
k_t4p_n-2	SAT	5.2
eijk.S349.S-d4	SAT	5.28
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	UNSAT	5.3
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	5.34
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	UNSAT	5.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-007	UNSAT	5.44
k_lin_n-17	SAT	5.48
par16-1-90	UNSAT	5.54
sortnetsort5.v.stepl.004	UNSAT	5.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-008	UNSAT	5.62
k_ph_p-9	UNSAT	5.67
par16-3-c-90	UNSAT	5.7
k_path_n-5	SAT	5.74
c4_BMC_p2_k256	UNSAT	5.76
k_lin_n-13	SAT	5.77
szymanski-16-s	UNSAT	5.79
nusmv.tcas-t^1.B-d2	SAT	5.8
nusmv.tcas^1.B-d2	SAT	5.81
emptyroom_e3_par--opt-10_	SAT	5.84
vis.coherence^2.E-f2	SAT	5.88
s820_d3_s	SAT	5.89
ii32c2-50	SAT	5.9
k_grz_n-13	SAT	5.91
eijk.S298.S-f3	SAT	5.96
k_grz_p-11	UNSAT	6.02
c3_BMC_p1_k4	SAT	6.11
mutex-8-s	SAT	6.12
nusmv.tcas-t^6.B-f2	SAT	6.56
ii32c3-90	SAT	6.64
ev-pr-4x4-5-3-0-0-1-s	SAT	6.77
sortnetsort7.AE.stepl.004	SAT	6.8
c6_BMC_p1_k16	SAT	6.91
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	UNSAT	6.94
ii32e2-50	SAT	6.95
k_ph_n-16	SAT	7.29
par16-3-c-50	UNSAT	7.31
par16-1-50	UNSAT	7.48
ii32e2-00	SAT	7.54
flipflop-10-c	UNSAT	7.7
k_grz_p-12	UNSAT	7.72
sortnetsort7.v.stepl.003	UNSAT	7.82
ii32c3-50	SAT	8.08
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	8.11
c2_BMC_p2_k4	UNSAT	8.35
vonNeumann-ripple-carry-11-c	UNSAT	8.53
test3_quant_squaring2	UNSAT	8.66
test3_quant2	UNSAT	8.69
stmt21_326_327	SAT	8.73
stmt22_139_219	UNSAT	8.73
k_d4_n-4	SAT	8.97
ii32e2-90	SAT	9.29
c6_BMC_p2_k16	UNSAT	9.58
vis.coherence^5.E-f2	SAT	9.62
ev-pr-4x4-9-3-0-0-1-lg	SAT	9.69
jnh201-90	SAT	9.77
k_grz_p-13	UNSAT	9.8
k_dum_n-6	SAT	9.96
k_lin_n-18	SAT	10.02
vis.bakery.E-f3	SAT	10.03
lognBWLARGEB1	UNSAT	10.17
par16-1-00	UNSAT	10.26
s499_d9_s	SAT	10.35
stmt2_649_723	SAT	10.52
szymanski-18-s	UNSAT	10.52
stmt2_649_647	SAT	10.74
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006	UNSAT	10.89
c5_BMC_p2_k4	UNSAT	10.93
c5_BMC_p1_k4	SAT	11.07
k_ph_n-17	SAT	11.13
s499_d6_s	SAT	11.25
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	11.29
stmt47_164_202	UNSAT	11.34
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	UNSAT	11.55
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	UNSAT	12.01
vis.elevator^2.E-f2	SAT	12.22
c3_BMC_p2_k32	UNSAT	12.29
s499_d8_s	SAT	12.33
s499_d7_s	SAT	12.38
c3_BMC_p2_k64	UNSAT	12.38
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	UNSAT	12.53
ii32c3-00	SAT	12.55
c3_BMC_p2_k128	UNSAT	12.57
s510_d6_s	SAT	12.65
k_lin_n-15	SAT	12.74
k_dum_p-9	UNSAT	12.79
k_lin_n-16	SAT	12.81
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	UNSAT	12.83
stmt50_167_205	UNSAT	12.9
c3_BMC_p2_k16	UNSAT	12.97
c3_BMC_p2_k256	UNSAT	12.98
par16-2-c-00	SAT	13.11
stmt72_696_721	SAT	13.43
stmt44_726_773	SAT	13.43
stmt137_903_911	SAT	13.45
stmt41_738_737	SAT	13.45
stmt24_765_766	SAT	13.54
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	UNSAT	13.65
stmt44_916_917	SAT	13.71
stmt5_731_730	SAT	13.71
stmt70_854_859	SAT	13.73
stmt1_919_920	SAT	13.73
nusmv.reactor^5.C-d4	SAT	13.81
stmt1_953_954	SAT	13.82
vonNeumann-ripple-carry-12-c	UNSAT	13.93
stmt124_966_965	SAT	13.96
c3_BMC_p2_k512	UNSAT	14.05
ii32c2-00	SAT	14.22
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	UNSAT	14.57
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	14.9
TOILET6.1.iv.11	UNSAT	14.94
eijk.S1238.S-d3	UNSAT	15.01
s386_d4_s	SAT	15.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	UNSAT	15.06
vis.prodcell^05.E-f2	SAT	15.12
nusmv.reactor^7.C-f3	SAT	15.47
k_grz_n-11	SAT	15.56
ii8b1-00	SAT	15.58
nusmv.reactor^3.C-d4	SAT	15.64
nusmv.reactor^6.C-f3	SAT	15.93
s499_d10_s	SAT	16
nusmv.reactor^4.C-d4	SAT	16.07
nusmv.queue.B-f2	SAT	16.09
nusmv.reactor^2.C-d4	SAT	16.14
ev-pr-4x4-7-3-0-0-1-s	SAT	16.27
k_ph_n-18	SAT	16.56
k_d4_p-5	UNSAT	16.59
stmt52_169_244	UNSAT	16.68
c3_BMC_p2_k1024	UNSAT	16.85
ken.flash^02.C-d3	SAT	17.09
ii8b1-50	SAT	17.12
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	UNSAT	17.33
eijk.S208c.S-f3	SAT	17.41
sortnetsort6.v.stepl.006	SAT	17.7
nusmv.reactor^4.C-f3	SAT	17.72
szymanski-20-s	UNSAT	17.77
eijk.S1238.S-d4	UNSAT	18.37
eijk.S820.S-f2	SAT	18.74
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	19.01
texas.parsesys^2.E-f3	UNSAT	19.04
c2_BMC_p1_k4	SAT	19.14
sortnetsort9.AE.stepl.004	SAT	19.37
flipflop-11-c	UNSAT	19.41
texas.PI_main^05.E-f2	SAT	19.46
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007	UNSAT	19.96
s499_d11_s	SAT	19.98
nusmv.dme2-16.B-d3	SAT	19.99
s510_d7_s	SAT	20.15
stmt52_55_117	UNSAT	20.26
texas.PI_main^02.E-f2	SAT	20.85
texas.PI_main^08.E-f2	SAT	21.08
nusmv.guidance^1.C-f2	SAT	21.57
stmt21_134_178	UNSAT	21.98
stmt41_160_235	UNSAT	22.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-008	UNSAT	22.42
s499_d14_s	SAT	22.52
vonNeumann-ripple-carry-13-c	UNSAT	22.72
nusmv.guidance^3.C-f3	SAT	23.6
stmt39_159_197	UNSAT	23.6
sortnetsort7.AE.stepl.008	UNSAT	23.97
vis.prodcell^12.E-f2	SAT	24.05
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	UNSAT	24.14
k_lin_n-21	SAT	24.22
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	UNSAT	24.41
vis.prodcell^16.E-f2	SAT	24.56
vis.prodcell^18.E-f2	SAT	24.58
ken.flash^14.C-d2	UNSAT	24.61
c1_BMC_p2_k4	UNSAT	24.74
nusmv.reactor^2.C-f3	SAT	25.25
k_ph_n-19	SAT	25.46
stmt44_162_237	UNSAT	25.6
c3_BMC_p2_k2048	UNSAT	25.71
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	UNSAT	26.17
stmt7_33_34	SAT	26.31
ev-pr-4x4-9-3-0-0-1-s	SAT	26.44
sortnetsort8.AE.stepl.007	UNSAT	26.47
s499_d12_s	SAT	26.65
vis.prodcell^19.E-f2	SAT	26.92
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	27.17
sortnetsort7.AE.stepl.009	UNSAT	27.33
k_lin_n-19	SAT	27.49
vis.arbiter.E-f3	SAT	27.52
eijk.bs4863.S-d3	SAT	27.78
vis.prodcell^13.E-f2	SAT	27.95
vis.prodcell^15.E-f2	SAT	28.47
vis.prodcell^17.E-f2	SAT	28.47
s499_d15_s	SAT	28.57
szymanski-22-s	UNSAT	29.06
ken.flash^06.C-d4	UNSAT	29.74
s3330_d3_s	SAT	29.99
vis.prodcell^14.E-f2	SAT	31.28
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	UNSAT	31.31
eijk.S382.S-f3	SAT	31.94
sortnetsort7.AE.stepl.007	UNSAT	32.05
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	UNSAT	32.79
nusmv.reactor^1.C-d4	SAT	32.96
s499_d13_s	SAT	33.35
k_path_p-7	UNSAT	34.13
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	34.84
texas.PI_main^14.E-f4	UNSAT	35.25
eijk.S1196.S-d3	UNSAT	35.97
qshifter_7	SAT	36.27
k_ph_n-20	SAT	36.34
s386_d5_s	SAT	36.44
ev-pr-4x4-11-3-0-0-1-s	SAT	36.55
stmt27_149_187	UNSAT	37.25
ev-pr-4x4-11-3-0-0-1-lg	SAT	37.45
stmt27_149_224	UNSAT	38.27
vis.prodcell^01.E-f2	SAT	39.09
jnh210-00	UNSAT	39.95
s510_d8_s	SAT	40.96
vis.4-arbit^2.E-f3	SAT	42.16
vis.prodcell^23.E-f2	SAT	42.6
cmu.periodic.N-f3	SAT	43.01
vis.prodcell^24.E-f2	SAT	43.8
szymanski-24-s	UNSAT	44.7
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	UNSAT	46.45
texas.parsesys^3.E-f4	SAT	46.52
ev-pr-4x4-13-3-0-0-1-s	SAT	46.73
cube_c9_par---10_	UNSAT	47.05
s820_d4_s	SAT	47.36
stmt21_181_218	UNSAT	48.16
vis.prodcell^20.E-f2	SAT	48.93
flipflop-12-c	UNSAT	49.14
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	UNSAT	49.73
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	UNSAT	49.98
k_ph_p-10	UNSAT	51
k_ph_n-21	SAT	51.27
texas.parsesys^2.E-f4	UNSAT	51.42
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	51.47
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	52.03
ken.flash^03.C-d2	UNSAT	52.58
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	UNSAT	52.83
vis.prodcell^03.E-f2	SAT	52.9
ii32b2-90	SAT	53.25
nusmv.guidance^6.C-f3	SAT	53.39
vis.eisenberg.E-f4	SAT	53.48
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	UNSAT	53.92
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	54.6
vonNeumann-ripple-carry-15-c	UNSAT	55.35
k_lin_n-20	SAT	55.44
BLOCKS3i.5.4	SAT	55.74
ev-pr-4x4-15-3-0-0-1-s	SAT	57.14
c1_BMC_p1_k4	SAT	57.33
stmt19_133_214	UNSAT	59.34
sortnetsort8.v.stepl.003	UNSAT	59.79
s386_d6_s	SAT	59.8
C432.blif_0.10_0.20_0_1_inp_exact	SAT	61.35
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	62.53
c6_BMC_p1_k32	SAT	62.98
eijk.S820.S-d4	SAT	63.24
nusmv.guidance^9.C-f3	SAT	63.69
nusmv.reactor^3.C-f3	SAT	64.37
ii8a2-50	SAT	64.71
stmt2_480_551	SAT	65.72
TOILET7.1.iv.14	SAT	65.78
ev-pr-4x4-17-3-0-0-1-s	SAT	66.83
nusmv.guidance^7.C-f3	SAT	67.09
k_branch_p-19	FAIL	67.68
s510_d10_s	SAT	70.08
eijk.S1196.S-d4	UNSAT	70.78
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	UNSAT	70.95
stmt16_818_819	SAT	73.77
vis.prodcell^22.E-f2	SAT	74.49
stmt27_946_955	SAT	74.77
stmt137_542_543	SAT	74.89
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	UNSAT	74.97
stmt32_570_572	SAT	74.98
stmt44_554_604	SAT	75.15
stmt44_554_555	SAT	75.16
stmt70_495_501	SAT	75.23
stmt27_584_603	SAT	76.82
vis.4-arbit^1.E-f3	SAT	77.1
stmt25_597_598	SAT	77.71
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	79.44
s820_d5_s	SAT	80.83
texas.two_proc^6.E-f3	SAT	83.1
k_t4p_p-4	UNSAT	83.99
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	86.94
eijk.bs4863.S-f2	SAT	88.21
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	UNSAT	88.64
s386_d7_s	SAT	90.12
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	93.6
nusmv.tcas^1.B-f2	SAT	97.47
k_dum_p-10	UNSAT	98.23
nusmv.tcas-t^1.B-f2	SAT	98.6
vis.prodcell^07.E-f2	SAT	100.52
vis.prodcell^02.E-f2	SAT	101.87
texas.two_proc^1.E-f3	SAT	102.29
texas.two_proc^3.E-f3	SAT	103.97
s3330_d4_s	SAT	106.44
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	UNSAT	108.18
cmu.gigamax.B-f2	SAT	109.02
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	112.41
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	113.87
cube_c9_par--opt-11_	SAT	115.07
counter_8	SAT	115.56
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	UNSAT	116.07
nusmv.guidance^8.C-f3	SAT	120.25
ii8a1-00	SAT	120.6
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	122.09
nusmv.guidance^5.C-f3	SAT	123.75
k_ph_p-11	UNSAT	126.44
s510_d9_s	SAT	127.32
s386_d8_u	UNSAT	127.38
eijk.S832.S-d4	SAT	128.66
sortnetsort6.v.stepl.004	UNSAT	128.71
vis.prodcell^04.E-f2	SAT	130.21
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	UNSAT	130.9
ken.flash^12.C-f2	SAT	132.72
sortnetsort7.AE.stepl.006	UNSAT	136.41
k_dum_n-7	SAT	142.39
lut4_AND_fXOR	UNSAT	146.05
c5_BMC_p2_k8	UNSAT	149.1
ii8d1-00	SAT	151.83
eijk.S208c.S-f4	SAT	151.9
sortnetsort8.AE.stepl.009	UNSAT	151.95
c1_BMC_p2_k8	UNSAT	159.13
k_path_n-6	SAT	160.07
texas.two_proc^2.E-f3	SAT	161.14
eijk.S208.S-f3	SAT	161.71
c6_BMC_p2_k32	UNSAT	163.03
vis.prodcell^06.E-f2	SAT	164.76
stmt19_177_214	UNSAT	170.15
nusmv.guidance^2.C-f3	SAT	171.45
vis.prodcell^20.E-f3	SAT	174.7
c2_BMC_p2_k8	UNSAT	180.19
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	183.33
texas.two_proc^5.E-f3	SAT	185.44
vis.prodcell^12.E-f3	SAT	189.49
s820_d6_s	SAT	191.4
s510_d11_s	SAT	193.35
vis.prodcell^24.E-f3	SAT	199.44
c4_BMC_p2_k512	UNSAT	202.18
vis.prodcell^22.E-f3	SAT	206.87
eijk.S832.S-f2	SAT	209.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-010	FAIL	211.9
c5_BMC_p1_k8	SAT	213.11
texas.two_proc^4.E-f3	SAT	213.6
s386_d12_u	SAT	220.83
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	UNSAT	221.59
s510_d31_s	SAT	225.27
counter_e_64	FAIL	230.88
c5_BMC_p1_k1024	FAIL	234.85
c5_BMC_p2_k1024	FAIL	235.2
k_dum_p-11	UNSAT	237
stmt31_190_227	UNSAT	237.06
vis.prodcell^19.E-f3	SAT	242.57
stmt41_198_235	UNSAT	243.32
stmt50_51_167	UNSAT	250.37
eijk.S208.S-f4	SAT	250.95
stmt46_201_238	UNSAT	252.56
k_branch_p-9	FAIL	257.76
k_d4_n-5	SAT	259.57
k_d4_p-6	UNSAT	261.12
counter_re_64	FAIL	261.34
s386_d9_u	UNSAT	275.42
counter_64	FAIL	277
vis.prodcell^15.E-f3	SAT	280.28
counter_r_64	FAIL	280.65
vis.prodcell^13.E-f3	SAT	281.93
vis.prodcell^16.E-f3	SAT	282.38
k6_2_2	FAIL	283.89
c5_BMC_p1_k2048	FAIL	287.44
c5_BMC_p2_k2048	FAIL	287.56
vis.prodcell^18.E-f3	SAT	290.15
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	UNSAT	297.17
k_branch_n-20	SAT	305.5
c4_BMC_p1_k512	SAT	309.5
vis.prodcell^05.E-f3	SAT	317.88
ken.flash^02.C-f3	SAT	329.4
vis.prodcell^14.E-f3	SAT	338.79
vis.arbiter.E-f4	SAT	340.75
s386_d10_u	UNSAT	342.41
c3_BMC_p1_k8	SAT	356.97
vis.prodcell^17.E-f3	SAT	371.8
ken.flash^12.C-d3	SAT	380.03
sortnetsort8.AE.stepl.008	UNSAT	400.43
vis.prodcell^23.E-f3	SAT	410.66
irst.dme5.B-d4	SAT	433.09
s386_d11_u	UNSAT	443.1
k_grz_p-15	UNSAT	472.56
c1_BMC_p1_k2048	FAIL	490.25
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	UNSAT	498.41
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	UNSAT	503.59
k_grz_p-14	UNSAT	505.66
BLOCKS3i.5.3	UNSAT	520.81
nusmv.guidance^4.C-f3	SAT	528.63
nusmv.tcas^2.B-f2	SAT	539.52
ev-pr-6x6-19-5-0-1-2-lg	FAIL	543.48
counter_e_32	FAIL	552.74
k_grz_p-16	UNSAT	556.24
counter_32	FAIL	558.64
ev-pr-6x6-11-5-0-1-2-lg	UNSAT	560.09
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	584.25
counter_re_32	FAIL	591.77
ev-pr-4x4-13-3-0-0-1-lg	SAT	599
k_grz_p-17	UNSAT	599.87
ev-pr-6x6-17-5-0-1-2-lg	FAIL	600
qshifter_8	FAIL	600
lut4_2_f2	FAIL	600
adder-14-sat	FAIL	600
adder-4-sat	FAIL	600
k_dum_p-21	FAIL	600
adder-10-sat	FAIL	600
adder-6-sat	FAIL	600
ev-pr-6x6-11-5-0-1-2-s	FAIL	600
k_path_p-16	FAIL	600
s499_d16_s	FAIL	600
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	600
s820_d10_s	FAIL	600
TOILET7.1.iv.13	FAIL	600
C880.blif_0.10_0.20_0_1_out_exact	FAIL	600
k_branch_p-16	FAIL	600
s510_d32_s	FAIL	600
BLOCKS4i.6.4	FAIL	600
counter_16	FAIL	600
mutex-64-s	FAIL	600
k_d4_p-20	FAIL	600
counter_r_32	FAIL	600
adder-8-unsat	FAIL	600
C432.blif_0.10_1.00_0_0_out_exact	FAIL	600
k_branch_n-12	FAIL	600
k_d4_n-21	FAIL	600
adder-14-unsat	FAIL	600
k_t4p_n-21	FAIL	600
ev-pr-6x6-13-5-0-1-2-s	FAIL	600
ev-pr-6x6-17-5-0-1-2-s	FAIL	600
Adder2-16-c	FAIL	600
ev-pr-8x8-13-7-0-1-2-lg	FAIL	600
BLOCKS4ii.6.3	FAIL	600
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	600
BLOCKS4iii.6	FAIL	600
Adder2-12-c	FAIL	600
k_dum_p-20	FAIL	600
test2_quant_squaring2	FAIL	600
ev-pr-6x6-9-5-0-1-2-s	FAIL	600
C880.blif_0.10_1.00_0_0_out_exact	FAIL	600
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	600
test2_quant_squaring3	FAIL	600
BLOCKS4ii.7.2	FAIL	600
adder-16-sat	FAIL	600
test1_quant2	FAIL	600
k_path_n-8	FAIL	600
mutex-32-s	FAIL	600
s1269_d10_s	FAIL	600
s1269_d4_s	FAIL	600
adder-6-unsat	FAIL	600
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	600
k_d4_n-16	FAIL	600
ev-pr-8x8-19-7-0-1-2-lg	FAIL	600
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	600
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	600
uclid-pipe2	FAIL	600
uclid-pipe3a	FAIL	600
Adder2-10-c	FAIL	600
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	600
adder-10-unsat	FAIL	600
ev-pr-6x6-15-5-0-1-2-lg	FAIL	600
C499.blif_0.10_1.00_0_0_out_exact	FAIL	600
test4_quant4	FAIL	600
k_d4_p-16	FAIL	600
k_d4_n-12	FAIL	600
s3330_d10_u	FAIL	600
k_d4_n-8	FAIL	600
counter_r_16	FAIL	600
C432.blif_0.10_0.20_0_0_out_exact	FAIL	600
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	600
BLOCKS4iii.7	FAIL	600
C499.blif_0.10_0.20_0_1_out_exact	FAIL	600
k_t4p_n-8	FAIL	600
test2_quant3	FAIL	600
k_dum_n-16	FAIL	600
k_ph_p-20	FAIL	600
k_t4p_n-12	FAIL	600
k_d4_p-21	FAIL	600
test4_quant2	FAIL	600
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	600
Adder2-6-s	FAIL	600
Adder2-14-s	FAIL	600
k_t4p_p-8	FAIL	600
k_branch_p-12	FAIL	600
k_grz_n-16	FAIL	600
test2_quant2	FAIL	600
k_t4p_n-20	FAIL	600
k_ph_p-12	FAIL	600
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	600
test1_quant_squaring3	FAIL	600
s3330_d9_s	FAIL	600
s713_d7_u	FAIL	600
counter_e_8	FAIL	600
k_branch_p-21	FAIL	600
Adder2-16-s	FAIL	600
k_t4p_p-16	FAIL	600
test3_quant4	FAIL	600
k_d4_p-12	FAIL	600
lut4_AND_f1	FAIL	600
s298_d16_s	FAIL	600
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	600
s499_d21_s	FAIL	600
counter_re_8	FAIL	600
s1196_d3_u	FAIL	600
k_dum_n-8	FAIL	600
k_grz_p-21	FAIL	600
mutex-16-s	FAIL	600
k_t4p_p-20	FAIL	600
k_t4p_n-16	FAIL	600
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	600
ev-pr-4x4-17-3-0-0-1-lg	FAIL	600
k_t4p_p-12	FAIL	600
ev-pr-6x6-5-5-0-1-2-s	FAIL	600
k_d4_n-20	FAIL	600
k_t4p_p-21	FAIL	600
test3_quant_squaring4	FAIL	600
ev-pr-6x6-19-5-0-1-2-s	FAIL	600
Adder2-8-c	FAIL	600
k_branch_n-21	FAIL	600
k_branch_p-20	FAIL	600
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	600
s713_d6_s	FAIL	600
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	600
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	600
counter_r_8	FAIL	600
test1_quant3	FAIL	600
k_path_p-20	FAIL	600
adder-12-sat	FAIL	600
adder-8-sat	FAIL	600
s1269_d11_u	FAIL	600
s499_d22_u	FAIL	600
k_dum_n-20	FAIL	600
k_path_p-21	FAIL	600
k_dum_p-12	FAIL	600
k_path_n-12	FAIL	600
k_path_p-12	FAIL	600
C880.blif_0.10_1.00_0_1_out_exact	FAIL	600
k_ph_p-16	FAIL	600
counter_re_16	FAIL	600
ev-pr-8x8-15-7-0-1-2-lg	FAIL	600
Adder2-4-s	FAIL	600
Adder2-12-s	FAIL	600
k_dum_p-16	FAIL	600
k_branch_n-16	FAIL	600
k_path_n-20	FAIL	600
s510_d46_s	FAIL	600
k_grz_p-20	FAIL	600
C880.blif_0.10_0.20_0_0_out_exact	FAIL	600
test4_quant_squaring4	FAIL	600
test4_quant_squaring2	FAIL	600
s820_d8_s	FAIL	600
ev-pr-8x8-11-7-0-1-2-lg	FAIL	600
k_branch_n-8	FAIL	600
adder-12-unsat	FAIL	600
k_branch_p-8	FAIL	600
C499.blif_0.10_0.20_0_0_out_exact	FAIL	600
k_grz_n-20	FAIL	600
s298_d18_s	FAIL	600
k_path_n-21	FAIL	600
Adder2-10-s	FAIL	600
Adder2-6-c	FAIL	600
TOILET10.1.iv.20	FAIL	600
ev-pr-6x6-15-5-0-1-2-s	FAIL	600
s298_d19_u	FAIL	600
counter_e_16	FAIL	600
k_grz_n-21	FAIL	600
adder-16-unsat	FAIL	600
test1_quant_squaring2	FAIL	600
k_path_n-16	FAIL	600
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	600
ev-pr-6x6-13-5-0-1-2-lg	FAIL	600
s1269_d8_s	FAIL	600
k_dum_n-21	FAIL	600
k_t4p_n-4	FAIL	600
Adder2-8-s	FAIL	600
s820_d11_u	FAIL	600
ev-pr-8x8-17-7-0-1-2-lg	FAIL	600
s3330_d8_s	FAIL	600
mutex-128-s	FAIL	600
adder-4-unsat	FAIL	600
s510_d47_u	FAIL	600
k_d4_p-8	FAIL	600
s510_d16_s	FAIL	600
ev-pr-4x4-15-3-0-0-1-lg	FAIL	600
uclid-pipe3b	FAIL	600
k_path_p-8	FAIL	600
k_dum_n-12	FAIL	600
k_ph_p-21	FAIL	600
C432.blif_0.10_0.20_0_1_out_exact	FAIL	600
TOILET16.1.iv.32	FAIL	600
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	600
Adder2-14-c	FAIL	600
ev-pr-6x6-7-5-0-1-2-s	FAIL	600
k_branch_n-9	FAIL	600
k_branch_n-10	FAIL	600
k_branch_n-11	FAIL	600
k_branch_n-13	FAIL	600
k_branch_n-14	FAIL	600
k_branch_n-17	FAIL	600
k_branch_n-18	FAIL	600
k_branch_n-19	FAIL	600
k_branch_n-15	FAIL	600
k_branch_n-5	FAIL	600
k_branch_n-6	FAIL	600
k_branch_n-7	FAIL	600
k_branch_p-10	FAIL	600
k_branch_p-11	FAIL	600
k_branch_p-13	FAIL	600
k_branch_p-14	FAIL	600
k_branch_p-17	FAIL	600
k_branch_p-18	FAIL	600
k_branch_p-15	FAIL	600
k_branch_p-5	FAIL	600
k_branch_p-6	FAIL	600
k_branch_p-7	FAIL	600
k_d4_n-17	FAIL	600
k_d4_n-18	FAIL	600
k_d4_n-6	FAIL	600
k_d4_n-9	FAIL	600
k_d4_n-10	FAIL	600
k_d4_n-19	FAIL	600
k_d4_n-7	FAIL	600
k_d4_n-13	FAIL	600
k_d4_n-14	FAIL	600
k_d4_n-15	FAIL	600
k_d4_n-11	FAIL	600
k_d4_p-17	FAIL	600
k_d4_p-18	FAIL	600
k_d4_p-9	FAIL	600
k_d4_p-10	FAIL	600
k_d4_p-19	FAIL	600
k_d4_p-7	FAIL	600
k_d4_p-13	FAIL	600
k_d4_p-14	FAIL	600
k_d4_p-15	FAIL	600
k_d4_p-11	FAIL	600
k_dum_n-18	FAIL	600
k_dum_n-9	FAIL	600
k_dum_n-10	FAIL	600
k_dum_n-11	FAIL	600
k_dum_n-19	FAIL	600
k_dum_n-14	FAIL	600
k_dum_n-15	FAIL	600
k_dum_n-17	FAIL	600
k_dum_n-13	FAIL	600
k_dum_p-18	FAIL	600
k_dum_p-19	FAIL	600
k_dum_p-14	FAIL	600
k_dum_p-15	FAIL	600
k_dum_p-17	FAIL	600
k_dum_p-13	FAIL	600
k_grz_n-18	FAIL	600
k_grz_n-19	FAIL	600
k_grz_n-14	FAIL	600
k_grz_n-15	FAIL	600
k_grz_n-17	FAIL	600
k_grz_p-18	FAIL	600
k_grz_p-19	FAIL	600
k_path_n-18	FAIL	600
k_path_n-7	FAIL	600
k_path_n-9	FAIL	600
k_path_n-10	FAIL	600
k_path_n-11	FAIL	600
k_path_n-19	FAIL	600
k_path_n-14	FAIL	600
k_path_n-15	FAIL	600
k_path_n-17	FAIL	600
k_path_n-13	FAIL	600
k_path_p-18	FAIL	600
k_path_p-9	FAIL	600
k_path_p-10	FAIL	600
k_path_p-11	FAIL	600
k_path_p-19	FAIL	600
k_path_p-14	FAIL	600
k_path_p-15	FAIL	600
k_path_p-17	FAIL	600
k_path_p-13	FAIL	600
k_ph_p-17	FAIL	600
k_ph_p-18	FAIL	600
k_ph_p-19	FAIL	600
k_ph_p-13	FAIL	600
k_ph_p-14	FAIL	600
k_ph_p-15	FAIL	600
k_t4p_n-18	FAIL	600
k_t4p_n-3	FAIL	600
k_t4p_n-5	FAIL	600
k_t4p_n-7	FAIL	600
k_t4p_n-9	FAIL	600
k_t4p_n-10	FAIL	600
k_t4p_n-11	FAIL	600
k_t4p_n-19	FAIL	600
k_t4p_n-6	FAIL	600
k_t4p_n-14	FAIL	600
k_t4p_n-15	FAIL	600
k_t4p_n-17	FAIL	600
k_t4p_n-13	FAIL	600
k_t4p_p-18	FAIL	600
k_t4p_p-5	FAIL	600
k_t4p_p-7	FAIL	600
k_t4p_p-9	FAIL	600
k_t4p_p-10	FAIL	600
k_t4p_p-11	FAIL	600
k_t4p_p-19	FAIL	600
k_t4p_p-6	FAIL	600
k_t4p_p-14	FAIL	600
k_t4p_p-15	FAIL	600
k_t4p_p-17	FAIL	600
k_t4p_p-13	FAIL	600
s1196_d5_u	FAIL	600
s1196_d6_u	FAIL	600
s1196_d7_u	FAIL	600
s1196_d4_u	FAIL	600
s1269_d5_s	FAIL	600
s1269_d6_s	FAIL	600
s1269_d9_s	FAIL	600
s1269_d15_u	FAIL	600
s1269_d3_s	FAIL	600
s298_d14_s	FAIL	600
s298_d17_s	FAIL	600
s298_d21_u	FAIL	600
s3330_d6_s	FAIL	600
s3330_d12_u	FAIL	600
s3330_d13_u	FAIL	600
s499_d19_s	FAIL	600
s499_d18_s	FAIL	600
s510_d13_s	FAIL	600
s510_d42_s	FAIL	600
s510_d48_u	FAIL	600
s510_d49_u	FAIL	600
s510_d51_u	FAIL	600
s510_d12_s	FAIL	600
s713_d8_u	FAIL	600
s713_d9_u	FAIL	600
s713_d10_u	FAIL	600
s820_d9_s	FAIL	600
s820_d12_u	FAIL	600
s820_d14_u	FAIL	600
cmu.gigamax.B-d3	FAIL	600
cmu.gigamax.B-d4	FAIL	600
eijk.bs3330.S-d3	FAIL	600
eijk.bs3330.S-d4	FAIL	600
eijk.bs4863.S-d4	FAIL	600
irst.dme6.B-d4	FAIL	600
ken.flash^01.C-d2	FAIL	600
ken.flash^01.C-d3	FAIL	600
ken.flash^01.C-d4	FAIL	600
ken.flash^02.C-d4	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^07.C-d4	FAIL	600
ken.flash^08.C-d2	FAIL	600
ken.flash^08.C-d3	FAIL	600
ken.flash^08.C-d4	FAIL	600
ken.flash^09.C-d2	FAIL	600
ken.flash^09.C-d3	FAIL	600
ken.flash^09.C-d4	FAIL	600
ken.flash^10.C-d2	FAIL	600
ken.flash^10.C-d3	FAIL	600
ken.flash^10.C-d4	FAIL	600
ken.flash^11.C-d2	FAIL	600
ken.flash^11.C-d3	FAIL	600
ken.flash^11.C-d4	FAIL	600
ken.flash^12.C-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.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.tcas^1.B-d3	FAIL	600
nusmv.tcas^1.B-d4	FAIL	600
nusmv.tcas-t^1.B-d3	FAIL	600
nusmv.tcas-t^1.B-d4	FAIL	600
cmu.dme1.B-f2	FAIL	600
cmu.dme1.B-f3	FAIL	600
cmu.dme1.B-f4	FAIL	600
cmu.dme2.B-f2	FAIL	600
cmu.dme2.B-f3	FAIL	600
cmu.dme2.B-f4	FAIL	600
cmu.gigamax.B-f3	FAIL	600
cmu.gigamax.B-f4	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-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-f3	FAIL	600
eijk.bs4863.S-f4	FAIL	600
eijk.bs6669.S-f2	FAIL	600
eijk.bs6669.S-f3	FAIL	600
eijk.bs6669.S-f4	FAIL	600
eijk.S1196.S-f2	FAIL	600
eijk.S1196.S-f3	FAIL	600
eijk.S1196.S-f4	FAIL	600
eijk.S1238.S-f2	FAIL	600
eijk.S1238.S-f3	FAIL	600
eijk.S1238.S-f4	FAIL	600
eijk.S1423.S-f2	FAIL	600
eijk.S1423.S-f3	FAIL	600
eijk.S1423.S-f4	FAIL	600
eijk.S298.S-f4	FAIL	600
eijk.S344.S-f3	FAIL	600
eijk.S349.S-f3	FAIL	600
eijk.S382.S-f4	FAIL	600
eijk.S386.S-f2	FAIL	600
eijk.S386.S-f3	FAIL	600
eijk.S386.S-f4	FAIL	600
eijk.S420.S-f2	FAIL	600
eijk.S420.S-f3	FAIL	600
eijk.S420.S-f4	FAIL	600
eijk.S444.S-f4	FAIL	600
eijk.S510.S-f2	FAIL	600
eijk.S510.S-f3	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-f2	FAIL	600
eijk.S641.S-f3	FAIL	600
eijk.S641.S-f4	FAIL	600
eijk.S713.S-f2	FAIL	600
eijk.S713.S-f3	FAIL	600
eijk.S713.S-f4	FAIL	600
eijk.S820.S-f3	FAIL	600
eijk.S820.S-f4	FAIL	600
eijk.S832.S-f3	FAIL	600
eijk.S832.S-f4	FAIL	600
eijk.S838.S-f2	FAIL	600
eijk.S838.S-f3	FAIL	600
eijk.S838.S-f4	FAIL	600
eijk.S953.S-f2	FAIL	600
eijk.S953.S-f3	FAIL	600
eijk.S953.S-f4	FAIL	600
irst.dme4.B-f3	FAIL	600
irst.dme4.B-f4	FAIL	600
irst.dme5.B-f3	FAIL	600
irst.dme5.B-f4	FAIL	600
irst.dme6.B-f3	FAIL	600
irst.dme6.B-f4	FAIL	600
ken.flash^01.C-f2	FAIL	600
ken.flash^01.C-f3	FAIL	600
ken.flash^01.C-f4	FAIL	600
ken.flash^02.C-f4	FAIL	600
ken.flash^04.C-f2	FAIL	600
ken.flash^04.C-f3	FAIL	600
ken.flash^04.C-f4	FAIL	600
ken.flash^05.C-f2	FAIL	600
ken.flash^05.C-f3	FAIL	600
ken.flash^05.C-f4	FAIL	600
ken.flash^07.C-f2	FAIL	600
ken.flash^07.C-f3	FAIL	600
ken.flash^07.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-f3	FAIL	600
ken.flash^12.C-f4	FAIL	600
ken.oop^1.C-f3	FAIL	600
ken.oop^1.C-f4	FAIL	600
ken.oop^2.C-f3	FAIL	600
ken.oop^2.C-f4	FAIL	600
nusmv.brp.B-f3	FAIL	600
nusmv.brp.B-f4	FAIL	600
nusmv.dme1-16.B-f2	FAIL	600
nusmv.dme1-16.B-f3	FAIL	600
nusmv.dme1-16.B-f4	FAIL	600
nusmv.dme2-16.B-f3	FAIL	600
nusmv.dme2-16.B-f4	FAIL	600
nusmv.guidance^1.C-f3	FAIL	600
nusmv.guidance^1.C-f4	FAIL	600
nusmv.guidance^2.C-f4	FAIL	600
nusmv.guidance^3.C-f4	FAIL	600
nusmv.guidance^4.C-f4	FAIL	600
nusmv.guidance^5.C-f4	FAIL	600
nusmv.guidance^6.C-f4	FAIL	600
nusmv.guidance^7.C-f4	FAIL	600
nusmv.guidance^8.C-f4	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-f4	FAIL	600
nusmv.reactor^4.C-f4	FAIL	600
nusmv.reactor^6.C-f4	FAIL	600
nusmv.reactor^7.C-f4	FAIL	600
nusmv.syncarb10^2.B-f2	FAIL	600
nusmv.syncarb10^2.B-f3	FAIL	600
nusmv.syncarb10^2.B-f4	FAIL	600
nusmv.tcas^1.B-f3	FAIL	600
nusmv.tcas^1.B-f4	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-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-f3	FAIL	600
nusmv.tcas-t^6.B-f4	FAIL	600
texas.PI_main^01.E-f3	FAIL	600
texas.PI_main^01.E-f4	FAIL	600
texas.PI_main^02.E-f3	FAIL	600
texas.PI_main^02.E-f4	FAIL	600
texas.PI_main^03.E-f3	FAIL	600
texas.PI_main^03.E-f4	FAIL	600
texas.PI_main^05.E-f3	FAIL	600
texas.PI_main^05.E-f4	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^10.E-f4	FAIL	600
texas.PI_main^11.E-f2	FAIL	600
texas.PI_main^11.E-f3	FAIL	600
texas.PI_main^11.E-f4	FAIL	600
texas.PI_main^12.E-f2	FAIL	600
texas.PI_main^12.E-f3	FAIL	600
texas.PI_main^12.E-f4	FAIL	600
texas.PI_main^13.E-f3	FAIL	600
texas.PI_main^13.E-f4	FAIL	600
texas.PI_main^15.E-f2	FAIL	600
texas.PI_main^15.E-f3	FAIL	600
texas.PI_main^15.E-f4	FAIL	600
texas.PI_main^16.E-f3	FAIL	600
texas.PI_main^16.E-f4	FAIL	600
texas.two_proc^1.E-f4	FAIL	600
texas.two_proc^2.E-f4	FAIL	600
texas.two_proc^3.E-f4	FAIL	600
texas.two_proc^4.E-f4	FAIL	600
texas.two_proc^5.E-f4	FAIL	600
texas.two_proc^6.E-f4	FAIL	600
vis.4-arbit^1.E-f4	FAIL	600
vis.4-arbit^2.E-f4	FAIL	600
vis.bakery.E-f4	FAIL	600
vis.coherence^1.E-f3	FAIL	600
vis.coherence^1.E-f4	FAIL	600
vis.coherence^2.E-f3	FAIL	600
vis.coherence^2.E-f4	FAIL	600
vis.coherence^3.E-f3	FAIL	600
vis.coherence^3.E-f4	FAIL	600
vis.coherence^5.E-f3	FAIL	600
vis.coherence^5.E-f4	FAIL	600
vis.elevator^2.E-f3	FAIL	600
vis.elevator^2.E-f4	FAIL	600
vis.elevator^3.E-f2	FAIL	600
vis.elevator^3.E-f3	FAIL	600
vis.elevator^3.E-f4	FAIL	600
vis.prodcell^01.E-f3	FAIL	600
vis.prodcell^02.E-f3	FAIL	600
vis.prodcell^07.E-f3	FAIL	600
vis.prodcell^07.E-f4	FAIL	600
vis.prodcell^10.E-f3	FAIL	600
vis.prodcell^10.E-f4	FAIL	600
vis.prodcell^12.E-f4	FAIL	600
vis.prodcell^13.E-f4	FAIL	600
vis.prodcell^14.E-f4	FAIL	600
vis.prodcell^15.E-f4	FAIL	600
vis.prodcell^16.E-f4	FAIL	600
vis.prodcell^17.E-f4	FAIL	600
vis.prodcell^18.E-f4	FAIL	600
vis.prodcell^19.E-f4	FAIL	600
vis.prodcell^22.E-f4	FAIL	600
vis.prodcell^23.E-f4	FAIL	600
vis.prodcell^24.E-f4	FAIL	600
sortnetsort10.AE.stepl.004	FAIL	600
sortnetsort10.AE.stepl.005	FAIL	600
sortnetsort10.AE.stepl.006	FAIL	600
sortnetsort10.AE.stepl.007	FAIL	600
sortnetsort10.AE.stepl.008	FAIL	600
sortnetsort10.AE.stepl.009	FAIL	600
sortnetsort10.AE.stepl.010	FAIL	600
sortnetsort10.AE.stepl.011	FAIL	600
sortnetsort10.AE.stepl.012	FAIL	600
sortnetsort10.v.stepl.004	FAIL	600
sortnetsort10.v.stepl.005	FAIL	600
sortnetsort10.v.stepl.006	FAIL	600
sortnetsort10.v.stepl.007	FAIL	600
sortnetsort10.v.stepl.008	FAIL	600
sortnetsort10.v.stepl.009	FAIL	600
sortnetsort10.v.stepl.010	FAIL	600
sortnetsort10.v.stepl.011	FAIL	600
sortnetsort10.v.stepl.012	FAIL	600
sortnetsort7.AE.stepl.005	FAIL	600
sortnetsort7.v.stepl.004	FAIL	600
sortnetsort7.v.stepl.005	FAIL	600
sortnetsort7.v.stepl.006	FAIL	600
sortnetsort7.v.stepl.007	FAIL	600
sortnetsort7.v.stepl.008	FAIL	600
sortnetsort7.v.stepl.009	FAIL	600
sortnetsort8.AE.stepl.005	FAIL	600
sortnetsort8.AE.stepl.006	FAIL	600
sortnetsort8.v.stepl.004	FAIL	600
sortnetsort8.v.stepl.005	FAIL	600
sortnetsort8.v.stepl.006	FAIL	600
sortnetsort8.v.stepl.007	FAIL	600
sortnetsort8.v.stepl.008	FAIL	600
sortnetsort8.v.stepl.009	FAIL	600
sortnetsort9.AE.stepl.005	FAIL	600
sortnetsort9.AE.stepl.006	FAIL	600
sortnetsort9.AE.stepl.007	FAIL	600
sortnetsort9.AE.stepl.008	FAIL	600
sortnetsort9.AE.stepl.009	FAIL	600
sortnetsort9.AE.stepl.010	FAIL	600
sortnetsort9.AE.stepl.011	FAIL	600
sortnetsort9.AE.stepl.012	FAIL	600
sortnetsort9.v.stepl.004	FAIL	600
sortnetsort9.v.stepl.005	FAIL	600
sortnetsort9.v.stepl.006	FAIL	600
sortnetsort9.v.stepl.007	FAIL	600
sortnetsort9.v.stepl.008	FAIL	600
sortnetsort9.v.stepl.009	FAIL	600
sortnetsort9.v.stepl.010	FAIL	600
sortnetsort9.v.stepl.011	FAIL	600
sortnetsort9.v.stepl.012	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	FAIL	600
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	600
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	600
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	600
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	600
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	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	600
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	600
c1_Debug_s3_f1_e1_v1	FAIL	600
c1_Debug_s3_f1_e1_v2	FAIL	600
c1_Debug_s3_f1_e1_v3	FAIL	600
c1_Debug_s3_f2_e1_v1	FAIL	600
c1_Debug_s3_f2_e1_v2	FAIL	600
c1_Debug_s3_f2_e1_v3	FAIL	600
c1_Debug_s5_f1_e1_v1	FAIL	600
c1_Debug_s5_f1_e1_v2	FAIL	600
c1_Debug_s5_f1_e1_v3	FAIL	600
c2_Debug_s3_f1_e1_v1	FAIL	600
c2_Debug_s3_f1_e1_v2	FAIL	600
c2_Debug_s3_f1_e1_v3	FAIL	600
c2_Debug_s3_f2_e1_v1	FAIL	600
c2_Debug_s3_f2_e1_v2	FAIL	600
c2_Debug_s3_f2_e1_v3	FAIL	600
c2_Debug_s5_f1_e1_v1	FAIL	600
c2_Debug_s5_f1_e1_v2	FAIL	600
c2_Debug_s5_f1_e1_v3	FAIL	600
c3_Debug_s3_f2_e2_v2	FAIL	600
c3_Debug_s3_f2_e2_v3	FAIL	600
c4_Debug_s3_f1_e1_v1	FAIL	600
c4_Debug_s3_f1_e1_v2	FAIL	600
c4_Debug_s3_f1_e1_v3	FAIL	600
c4_Debug_s3_f1_e2_v1	FAIL	600
c4_Debug_s3_f1_e2_v2	FAIL	600
c4_Debug_s3_f1_e2_v3	FAIL	600
c4_Debug_s3_f2_e1_v1	FAIL	600
c4_Debug_s3_f2_e1_v2	FAIL	600
c4_Debug_s3_f2_e1_v3	FAIL	600
c4_Debug_s3_f2_e2_v1	FAIL	600
c4_Debug_s3_f2_e2_v2	FAIL	600
c4_Debug_s3_f2_e2_v3	FAIL	600
c4_Debug_s5_f2_e1_v1	FAIL	600
c4_Debug_s5_f2_e1_v2	FAIL	600
c4_Debug_s5_f2_e1_v3	FAIL	600
c4_Debug_s5_f2_e2_v1	FAIL	600
c4_Debug_s5_f2_e2_v2	FAIL	600
c4_Debug_s5_f2_e2_v3	FAIL	600
blocks_enc_2_b3_ser--opt-9_	FAIL	600
blocks_enc_2_b4_ser--opt-26_	FAIL	600
cube_c11_par---13_	FAIL	600
cube_c11_par--opt-14_	FAIL	600
cube_c11_ser--opt-42_	FAIL	600
cube_c5_ser---14_	FAIL	600
cube_c5_ser--opt-15_	FAIL	600
cube_c7_ser---23_	FAIL	600
cube_c7_ser--opt-24_	FAIL	600
emptyroom_e3_ser---19_	FAIL	600
emptyroom_e3_ser--opt-20_	FAIL	600
emptyroom_e4_par---21_	FAIL	600
emptyroom_e4_par--opt-22_	FAIL	600
emptyroom_e4_ser--opt-44_	FAIL	600
ring_r4_ser--opt-11_	FAIL	600
ring_r6_ser---16_	FAIL	600
ring_r6_ser--opt-17_	FAIL	600
ring_r7_ser---19_	FAIL	600
ring_r7_ser--opt-20_	FAIL	600
c1_BMC_p1_k1024	FAIL	600
c1_BMC_p1_k128	FAIL	600
c1_BMC_p1_k16	FAIL	600
c1_BMC_p1_k256	FAIL	600
c1_BMC_p1_k32	FAIL	600
c1_BMC_p1_k512	FAIL	600
c1_BMC_p1_k64	FAIL	600
c1_BMC_p1_k8	FAIL	600
c1_BMC_p2_k1024	FAIL	600
c1_BMC_p2_k128	FAIL	600
c1_BMC_p2_k16	FAIL	600
c1_BMC_p2_k256	FAIL	600
c1_BMC_p2_k32	FAIL	600
c1_BMC_p2_k512	FAIL	600
c1_BMC_p2_k64	FAIL	600
c2_BMC_p1_k1024	FAIL	600
c2_BMC_p1_k128	FAIL	600
c2_BMC_p1_k16	FAIL	600
c2_BMC_p1_k2048	FAIL	600
c2_BMC_p1_k256	FAIL	600
c2_BMC_p1_k32	FAIL	600
c2_BMC_p1_k512	FAIL	600
c2_BMC_p1_k64	FAIL	600
c2_BMC_p1_k8	FAIL	600
c2_BMC_p2_k1024	FAIL	600
c2_BMC_p2_k128	FAIL	600
c2_BMC_p2_k16	FAIL	600
c2_BMC_p2_k2048	FAIL	600
c2_BMC_p2_k256	FAIL	600
c2_BMC_p2_k32	FAIL	600
c2_BMC_p2_k512	FAIL	600
c2_BMC_p2_k64	FAIL	600
c3_BMC_p1_k1024	FAIL	600
c3_BMC_p1_k128	FAIL	600
c3_BMC_p1_k16	FAIL	600
c3_BMC_p1_k2048	FAIL	600
c3_BMC_p1_k256	FAIL	600
c3_BMC_p1_k32	FAIL	600
c3_BMC_p1_k512	FAIL	600
c3_BMC_p1_k64	FAIL	600
c4_BMC_p1_k1024	FAIL	600
c4_BMC_p1_k2048	FAIL	600
c4_BMC_p2_k1024	FAIL	600
c4_BMC_p2_k2048	FAIL	600
c5_BMC_p1_k128	FAIL	600
c5_BMC_p1_k16	FAIL	600
c5_BMC_p1_k256	FAIL	600
c5_BMC_p1_k32	FAIL	600
c5_BMC_p1_k512	FAIL	600
c5_BMC_p1_k64	FAIL	600
c5_BMC_p2_k128	FAIL	600
c5_BMC_p2_k16	FAIL	600
c5_BMC_p2_k256	FAIL	600
c5_BMC_p2_k32	FAIL	600
c5_BMC_p2_k512	FAIL	600
c5_BMC_p2_k64	FAIL	600
c6_BMC_p1_k1024	FAIL	600
c6_BMC_p1_k128	FAIL	600
c6_BMC_p1_k2048	FAIL	600
c6_BMC_p1_k256	FAIL	600
c6_BMC_p1_k512	FAIL	600
c6_BMC_p1_k64	FAIL	600
c6_BMC_p2_k1024	FAIL	600
c6_BMC_p2_k128	FAIL	600
c6_BMC_p2_k2048	FAIL	600
c6_BMC_p2_k256	FAIL	600
c6_BMC_p2_k512	FAIL	600
c6_BMC_p2_k64	FAIL	600
f600-00	FAIL	600
f600-50	FAIL	600
f600-90	FAIL	600
ii32c1-00	FAIL	600
ii8a3-50	FAIL	600
ii8a3-90	FAIL	600
ii8a4-50	FAIL	600
ii8c1-00	FAIL	600
ii8c1-50	FAIL	600
ii8d1-50	FAIL	600
ii8d1-90	FAIL	600
ii8e1-00	FAIL	600
ii8e1-50	FAIL	600
ii8e1-90	FAIL	600
ssa7552-158-00	FAIL	600
ssa7552-160-50	FAIL	600
ssa7552-160-90	FAIL	600
stmt19_79_83	FAIL	600
stmt28_73_85	FAIL	600
stmt23_66_76	FAIL	600
stmt28_68_73	FAIL	600
stmt19_64_99	FAIL	600
stmt17_78_98	FAIL	600
stmt28_89_97	FAIL	600
stmt23_88_92	FAIL	600
stmt17_70_86	FAIL	600
stmt19_79_87	FAIL	600
stmt17_63_78	FAIL	600
stmt17_62_98	FAIL	600
stmt19_75_83	FAIL	600
stmt17_70_98	FAIL	600
stmt17_78_90	FAIL	600
stmt19_65_95	FAIL	600
stmt19_87_95	FAIL	600
stmt23_72_76	FAIL	600
stmt28_73_97	FAIL	600
stmt17_78_94	FAIL	600
stmt17_82_94	FAIL	600
stmt28_68_81	FAIL	600
stmt28_68_69	FAIL	600
stmt17_82_98	FAIL	600
stmt19_65_87	FAIL	600
stmt17_74_90	FAIL	600
stmt19_75_95	FAIL	600
stmt17_62_78	FAIL	600
stmt23_66_96	FAIL	600
stmt17_70_90	FAIL	600
stmt17_82_86	FAIL	600
stmt17_70_78	FAIL	600
stmt17_74_78	FAIL	600
stmt17_63_82	FAIL	600
stmt19_71_95	FAIL	600
stmt17_70_82	FAIL	600
stmt19_64_87	FAIL	600
stmt23_66_67	FAIL	600
stmt19_83_91	FAIL	600
stmt17_63_70	FAIL	600
stmt23_92_96	FAIL	600
stmt17_94_98	FAIL	600
stmt17_86_98	FAIL	600
stmt19_64_91	FAIL	600
stmt23_67_92	FAIL	600
stmt17_99_98	FAIL	600
stmt41_566_580	FAIL	600
stmt25_52_53	FAIL	600
stmt1_60_61	FAIL	600
stmt16_950_951	FAIL	600
stmt1_787_788	FAIL	600
stmt38_943_942	FAIL	600
stmt2_976_999	FAIL	600
stmt86_889_890	FAIL	600
stmt41_262_275	FAIL	600
stmt2_649_776	FAIL	600
stmt27_93_98	FAIL	600
stmt1_629_630	FAIL	600
stmt41_118_131	FAIL	600
stmt16_68_69	FAIL	600
stmt16_588_589	FAIL	600
stmt1_79_80	FAIL	600
stmt16_47_48	FAIL	600
stmt41_738_749	FAIL	600
stmt16_76_77	FAIL	600
stmt16_285_286	FAIL	600
stmt37_941_942	FAIL	600
stmt47_290_340	FAIL	600
stmt53_208_245	FAIL	600
stmt41_286_385	FAIL	600
stmt39_285_335	FAIL	600
stmt21_319_418	FAIL	600
stmt19_302_352	FAIL	600
stmt52_295_394	FAIL	600
stmt22_320_370	FAIL	600
stmt47_340_389	FAIL	600
stmt19_368_417	FAIL	600
stmt31_276_328	FAIL	600
stmt41_336_385	FAIL	600
stmt85_300_399	FAIL	600
stmt53_296_346	FAIL	600
stmt21_354_403	FAIL	600
stmt50_343_392	FAIL	600
stmt46_289_388	FAIL	600
stmt32_329_378	FAIL	600
stmt29_275_376	FAIL	600
k14_3_2	FAIL	600
k7_4_2	FAIL	600
k10_4_2	FAIL	600
k12_4_2	FAIL	600
k8_3_4	FAIL	600
k6_3_4	FAIL	600
k12_3_2	FAIL	600
k6_4_4	FAIL	600
k14_2_2	FAIL	600
k7_3_3	FAIL	600
k12_2_4	FAIL	600
k8_4_2	FAIL	600
k14_4_2	FAIL	600
k6_3_2	FAIL	600
k6_4_2	FAIL	600
k7_3_2	FAIL	600
k12_4_4	FAIL	600
k10_4_3	FAIL	600
k5_2_2	FAIL	600
k10_2_4	FAIL	600
k7_2_4	FAIL	600
k5_3_2	FAIL	600
k8_2_3	FAIL	600
k7_4_4	FAIL	600
k7_2_3	FAIL	600
k12_3_4	FAIL	600
k10_2_3	FAIL	600
k12_2_3	FAIL	600
k10_2_2	FAIL	600
k5_3_3	FAIL	600
k10_4_4	FAIL	600
k6_3_3	FAIL	600
k14_4_3	FAIL	600
k4_2_2	FAIL	600
k14_3_4	FAIL	600
k6_2_4	FAIL	600
k14_2_4	FAIL	600
k8_4_4	FAIL	600
k6_4_3	FAIL	600
k12_4_3	FAIL	600
k10_3_3	FAIL	600
k8_2_2	FAIL	600
k14_3_3	FAIL	600
k7_2_2	FAIL	600
k8_3_3	FAIL	600
k7_4_3	FAIL	600
k10_3_2	FAIL	600
k8_3_2	FAIL	600
k14_4_4	FAIL	600
k7_3_4	FAIL	600
k10_3_4	FAIL	600
k14_2_3	FAIL	600
k8_4_3	FAIL	600
k12_2_2	FAIL	600
k6_2_3	FAIL	600
k12_3_3	FAIL	600
k8_2_4	FAIL	600
k5_2_3	FAIL	600
s510_d24_s	FAIL	600
s510_d20_s	FAIL	600
s510_d45_s	FAIL	600
s510_d14_s	FAIL	600
s510_d30_s	FAIL	600
s510_d17_s	FAIL	600
s510_d36_s	FAIL	600
s1269_d13_u	FAIL	600
s510_d29_s	FAIL	600
s499_d24_u	FAIL	600
s298_d12_s	FAIL	600
s298_d13_s	FAIL	600
s510_d33_s	FAIL	600
s298_d22_u	FAIL	600
s510_d44_s	FAIL	600
s713_d5_s	FAIL	600
s820_d15_u	FAIL	600
s820_d13_u	FAIL	600
s510_d38_s	FAIL	600
s1269_d12_u	FAIL	600
s510_d40_s	FAIL	600
s298_d25_u	FAIL	600
s298_d11_s	FAIL	600
s499_d20_s	FAIL	600
s510_d39_s	FAIL	600
s499_d23_u	FAIL	600
s3330_d14_u	FAIL	600
s1269_d14_u	FAIL	600
s510_d19_s	FAIL	600
s3330_d7_s	FAIL	600
s510_d34_s	FAIL	600
s820_d7_s	FAIL	600
s510_d21_s	FAIL	600
s510_d50_u	FAIL	600
s298_d24_u	FAIL	600
s510_d22_s	FAIL	600
s510_d27_s	FAIL	600
s1269_d7_s	FAIL	600
s298_d20_u	FAIL	600
s510_d15_s	FAIL	600
s3330_d11_u	FAIL	600
s713_d11_u	FAIL	600
s298_d15_s	FAIL	600
s510_d35_s	FAIL	600
s510_d37_s	FAIL	600
s510_d28_s	FAIL	600
s510_d41_s	FAIL	600
s499_d25_u	FAIL	600
s298_d23_u	FAIL	600
s510_d18_s	FAIL	600
s510_d23_s	FAIL	600
s3330_d5_s	FAIL	600
s499_d17_s	FAIL	600
s510_d43_s	FAIL	600
s510_d26_s	FAIL	600
s499_d26_u	FAIL	600
s510_d25_s	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QuBE6.1
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QuBE6.1 QBFEVAL'08

Instances solved by QuBE6.1
QBFEVAL'08