Instances solved by <a href='solver_detail.php?solver=64'>AQME-1NN</a> <br> QBFEVAL'08

Instances solved by AQME-1NN
QBFEVAL'08

Instance	Result	Time
impl04	SAT	0.72
k_ph_n-1	SAT	0.73
k_poly_n-1	SAT	0.74
k_lin_p-1	UNSAT	0.74
tree-exa2-50	UNSAT	0.74
impl06	SAT	0.74
eijk.S208.S-d2	SAT	0.74
impl02	SAT	0.75
tree-exa2-10	UNSAT	0.75
tree-exa2-25	UNSAT	0.76
k_path_p-1	UNSAT	0.76
impl10	SAT	0.77
tree-exa2-20	UNSAT	0.77
k_ph_n-2	SAT	0.77
tree-exa10-30	SAT	0.77
k_grz_n-2	SAT	0.77
stmt1_30_31	SAT	0.77
impl20	SAT	0.78
TOILET2.1.iv.3	UNSAT	0.78
eijk.S208c.S-d3	SAT	0.78
texas.parsesys^1.E-d2	SAT	0.78
tree-exa2-35	UNSAT	0.78
impl12	SAT	0.79
impl08	SAT	0.79
tree-exa10-25	SAT	0.79
tree-exa10-20	SAT	0.79
k_dum_n-3	SAT	0.79
stmt44_107_113	SAT	0.79
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.8
k_ph_p-3	UNSAT	0.8
eijk.S298.S-d2	SAT	0.8
counter_re_2	SAT	0.8
qshifter_3	SAT	0.8
mutex-2-s	SAT	0.8
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.8
impl14	SAT	0.8
counter_e_2	SAT	0.8
TOILET2.1.iv.4	SAT	0.8
lut4_XOR_fOR	UNSAT	0.81
tree-exa2-15	UNSAT	0.81
k_path_p-2	UNSAT	0.81
k_ph_n-3	SAT	0.81
stmt44_107_108	SAT	0.81
stmt6_13_14	SAT	0.81
tree-exa2-45	UNSAT	0.81
tree-exa10-15	SAT	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-001	UNSAT	0.81
impl16	SAT	0.82
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.82
k_d4_p-3	UNSAT	0.82
k_dum_p-5	UNSAT	0.82
counter_r_2	SAT	0.82
counter_2	SAT	0.82
k_path_n-1	SAT	0.82
eijk.S510.S-d3	SAT	0.82
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.82
qshifter_4	SAT	0.82
k_poly_p-3	UNSAT	0.82
k_t4p_p-1	UNSAT	0.82
eijk.S444.S-d2	SAT	0.82
tree-exa2-40	UNSAT	0.83
adder-2-sat	SAT	0.83
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.83
k_grz_n-1	SAT	0.83
k_poly_n-3	SAT	0.83
stmt32_122_129	SAT	0.83
lut4_XOR_f1	SAT	0.83
k_dum_n-1	SAT	0.83
k_poly_p-1	UNSAT	0.83
eijk.S386.S-d2	SAT	0.83
stmt24_148_149	SAT	0.83
stmt1_20_21	SAT	0.83
flipflop-3-c	UNSAT	0.84
k_d4_n-1	SAT	0.84
k_ph_p-2	UNSAT	0.84
impl18	SAT	0.84
k_dum_p-6	UNSAT	0.84
k_lin_n-2	SAT	0.84
cmu.dme1.B-d2	SAT	0.84
eijk.S208o.S-d4	SAT	0.84
eijk.S444.S-d4	SAT	0.84
vis.bakery.E-d2	SAT	0.84
s27_d2_s	SAT	0.84
eijk.S208.S-d3	SAT	0.84
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.84
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.84
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.85
k_dum_p-8	UNSAT	0.85
k_d4_p-1	UNSAT	0.85
k_grz_p-3	UNSAT	0.85
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.85
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-001	UNSAT	0.85
k3_1_1	SAT	0.85
tree-exa10-10	SAT	0.85
k_grz_p-1	UNSAT	0.85
vis.eisenberg.E-d2	SAT	0.85
k_path_p-4	UNSAT	0.86
eijk.S208o.S-d3	SAT	0.86
eijk.S526.S-d3	SAT	0.86
aim-50-3_4-yes1-3-00	SAT	0.86
stmt17_143_144	SAT	0.86
stmt17_18_19	SAT	0.86
cmu.dme2.B-d2	SAT	0.86
eijk.S208c.S-d4	SAT	0.86
eijk.S526.S-d2	SAT	0.86
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.86
k3_2_2	SAT	0.86
k_ph_p-4	UNSAT	0.86
mutex-8-s	SAT	0.86
vis.4-arbit^1.E-d2	SAT	0.86
s27_d5_u	UNSAT	0.87
counter_re_4	SAT	0.87
eijk.S382.S-d2	SAT	0.87
vis.emodel.E-d2	SAT	0.87
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.87
c4_BMC_p1_k2	SAT	0.87
stmt1_145_146	SAT	0.87
k_lin_p-4	UNSAT	0.88
k_path_n-3	SAT	0.88
k_poly_n-5	SAT	0.88
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.88
k_dum_n-4	SAT	0.88
k_dum_p-1	UNSAT	0.88
eijk.S208c.S-d2	SAT	0.88
eijk.S208.S-d4	SAT	0.88
eijk.S641.S-d3	SAT	0.88
vis.eisenberg.E-d3	SAT	0.88
sortnetsort5.v.stepl.003	UNSAT	0.88
sortnetsort6.v.stepl.003	UNSAT	0.88
k3_2_1	SAT	0.88
k_d4_p-4	UNSAT	0.88
k_dum_n-2	SAT	0.88
k_dum_n-10	SAT	0.88
k_lin_p-5	UNSAT	0.88
k_ph_p-5	UNSAT	0.88
k_t4p_p-3	UNSAT	0.88
cmu.dme1.B-d3	SAT	0.88
cmu.dme1.B-d4	SAT	0.88
sortnetsort5.v.stepl.004	UNSAT	0.88
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.88
aim-50-3_4-yes1-1-50	UNSAT	0.88
k_dum_p-2	UNSAT	0.89
k_grz_p-2	UNSAT	0.89
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.89
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.89
aim-100-1_6-yes1-2-90	UNSAT	0.89
adder-2-unsat	UNSAT	0.89
k_lin_p-3	UNSAT	0.89
k_poly_n-6	SAT	0.89
aim-50-1_6-yes1-1-00	SAT	0.89
par8-3-c-00	SAT	0.89
stmt1_811_812	SAT	0.89
k_poly_n-4	SAT	0.9
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.9
k_path_p-5	UNSAT	0.9
eijk.S298.S-d3	SAT	0.9
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.9
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.9
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.9
k_t4p_p-4	UNSAT	0.9
TOILET6.1.iv.12	SAT	0.9
k_d4_p-2	UNSAT	0.9
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.9
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.9
aim-50-2_0-yes1-1-50	UNSAT	0.9
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.9
s27_d3_u	UNSAT	0.9
k_path_n-4	SAT	0.9
k_dum_n-5	SAT	0.9
k_poly_p-5	UNSAT	0.9
k_t4p_p-2	UNSAT	0.9
aim-100-1_6-yes1-3-90	SAT	0.9
k_ph_n-4	SAT	0.91
flipflop-4-c	UNSAT	0.91
k_poly_p-4	UNSAT	0.91
k_path_n-5	SAT	0.91
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.91
c4_BMC_p2_k4	UNSAT	0.91
aim-50-2_0-yes1-2-90	SAT	0.91
k_dum_p-7	UNSAT	0.91
k_path_p-3	UNSAT	0.91
k_poly_n-2	SAT	0.91
k_poly_p-6	UNSAT	0.91
irst.dme5.B-d2	SAT	0.91
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.91
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001	UNSAT	0.91
aim-50-3_4-yes1-2-00	SAT	0.91
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.92
k_d4_n-2	SAT	0.92
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.92
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.92
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.92
c4_BMC_p1_k8	SAT	0.92
lut4_2_fXOR	SAT	0.92
counter_4	SAT	0.92
TOILET7.1.iv.14	SAT	0.92
k_branch_p-1	UNSAT	0.92
k_ph_n-5	SAT	0.92
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.92
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.92
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.92
aim-50-6_0-yes1-4-50	UNSAT	0.92
par8-4-c-90	SAT	0.92
k_lin_p-8	UNSAT	0.92
k_branch_n-1	SAT	0.92
k_dum_p-9	UNSAT	0.92
k_poly_p-7	UNSAT	0.92
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.92
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.92
cube_c3_ser--opt-6_	SAT	0.92
Adder2-2-c	UNSAT	0.93
k_poly_p-8	UNSAT	0.93
k_branch_p-2	UNSAT	0.93
k_d4_p-6	UNSAT	0.93
k_grz_n-3	SAT	0.93
k_path_p-7	UNSAT	0.93
k_poly_p-2	UNSAT	0.93
nusmv.dme1-16.B-d2	SAT	0.93
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.93
mutex-4-s	SAT	0.93
counter_r_4	SAT	0.93
BLOCKS3iii.4	UNSAT	0.93
k_grz_n-5	SAT	0.93
k_grz_p-5	UNSAT	0.93
vis.4-arbit^1.E-d3	SAT	0.93
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.93
aim-50-1_6-yes1-3-50	UNSAT	0.93
aim-50-2_0-yes1-4-90	SAT	0.93
test5_quant_squaring4	SAT	0.94
k_dum_n-7	SAT	0.94
k_dum_n-6	SAT	0.94
k_grz_p-6	UNSAT	0.94
k_path_n-7	SAT	0.94
eijk.S444.S-d3	SAT	0.94
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.94
aim-100-1_6-yes1-1-00	SAT	0.94
aim-100-2_0-yes1-3-90	UNSAT	0.94
k_poly_p-12	UNSAT	0.94
k_d4_p-5	UNSAT	0.94
k_t4p_n-1	SAT	0.94
szymanski-4-s	UNSAT	0.94
k_path_n-8	SAT	0.94
k_grz_p-4	UNSAT	0.94
Adder2-2-s	SAT	0.94
k_dum_p-10	UNSAT	0.94
k_lin_p-2	UNSAT	0.94
texas.ifetch1^3.E-d3	SAT	0.94
texas.ifetch1^3.E-d4	SAT	0.94
vis.bakery.E-d3	SAT	0.94
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.94
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.94
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.94
aim-50-6_0-yes1-3-50	UNSAT	0.94
par8-1-c-90	UNSAT	0.94
TOILET6.1.iv.11	UNSAT	0.95
counter_e_4	SAT	0.95
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.95
k_grz_n-7	SAT	0.95
k_path_n-6	SAT	0.95
k_t4p_n-2	SAT	0.95
eijk.S382.S-d4	SAT	0.95
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.95
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.95
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.95
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.95
aim-100-1_6-yes1-4-00	UNSAT	0.95
aim-50-1_6-yes1-3-90	SAT	0.95
aim-50-6_0-yes1-1-00	UNSAT	0.95
k_grz_n-4	SAT	0.95
k_poly_n-8	SAT	0.95
k_d4_p-7	UNSAT	0.95
k_grz_n-6	SAT	0.95
texas.ifetch1^1.E-d3	SAT	0.95
sortnetsort5.v.stepl.006	SAT	0.95
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.95
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.95
c4_BMC_p2_k8	UNSAT	0.95
aim-100-2_0-yes1-1-90	UNSAT	0.95
aim-100-2_0-yes1-4-00	UNSAT	0.95
k_dum_n-8	SAT	0.96
k_grz_p-8	UNSAT	0.96
k_path_p-8	UNSAT	0.96
k_lin_p-7	UNSAT	0.96
eijk.S510.S-d4	SAT	0.96
texas.ifetch1^1.E-d4	SAT	0.96
sortnetsort5.v.stepl.005	SAT	0.96
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.96
aim-50-6_0-yes1-1-50	UNSAT	0.96
k_lin_p-6	UNSAT	0.96
k_poly_n-7	SAT	0.96
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.96
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.96
k_dum_p-12	UNSAT	0.96
k_dum_p-11	UNSAT	0.96
k_grz_p-7	UNSAT	0.96
k_path_n-9	SAT	0.96
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.96
k_path_p-6	UNSAT	0.97
eijk.S526.S-d4	SAT	0.97
irst.dme4.B-d2	SAT	0.97
nusmv.dme1-16.B-d3	SAT	0.97
texas.parsesys^1.E-d3	SAT	0.97
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.97
c4_BMC_p1_k4	SAT	0.97
aim-50-1_6-yes1-3-00	SAT	0.97
stmt16_818_819	SAT	0.97
stmt3_639_640	SAT	0.97
stmt18_258_260	SAT	0.97
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.97
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-001	UNSAT	0.97
aim-50-2_0-yes1-4-50	SAT	0.97
aim-50-6_0-yes1-1-90	SAT	0.97
stmt70_191_213	SAT	0.97
s27_d4_u	UNSAT	0.98
k_dum_p-16	UNSAT	0.98
k_dum_n-9	SAT	0.98
eijk.S298.S-d4	SAT	0.98
aim-50-6_0-yes1-2-90	UNSAT	0.98
k_dum_p-4	UNSAT	0.98
k_d4_p-8	UNSAT	0.98
k_path_p-10	UNSAT	0.98
k_ph_n-6	SAT	0.98
k_poly_n-9	SAT	0.98
k_poly_p-10	UNSAT	0.98
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	0.98
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.98
aim-50-1_6-yes1-4-90	UNSAT	0.98
k_d4_p-9	UNSAT	0.98
k_path_p-9	UNSAT	0.98
vis.coherence^1.E-d2	SAT	0.98
sortnetsort5.v.stepl.007	SAT	0.98
aim-50-1_6-yes1-1-50	SAT	0.98
stmt44_252_301	SAT	0.98
k_dum_p-13	UNSAT	0.99
k_grz_p-9	UNSAT	0.99
k_poly_p-9	UNSAT	0.99
sortnetsort5.AE.stepl.003	SAT	0.99
k3_1_2	SAT	0.99
k_path_n-2	SAT	0.99
k_t4p_p-5	UNSAT	0.99
eijk.S344.S-d2	SAT	0.99
eijk.S349.S-d2	SAT	0.99
aim-50-2_0-yes1-2-00	UNSAT	0.99
aim-50-6_0-yes1-3-90	SAT	0.99
stmt16_0_1	SAT	0.99
stmt3_969_973	SAT	0.99
cmu.dme2.B-d3	SAT	1
texas.parsesys^1.E-d4	SAT	1
aim-100-2_0-yes1-1-00	UNSAT	1
aim-50-6_0-yes1-2-00	UNSAT	1
aim-50-6_0-yes1-2-50	UNSAT	1
par8-5-c-90	UNSAT	1
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	1
k_dum_p-18	UNSAT	1
aim-50-3_4-yes1-2-90	SAT	1
stmt9_350_351	SAT	1
k_dum_p-3	UNSAT	1
k_dum_p-14	UNSAT	1
k_grz_n-9	SAT	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-002	UNSAT	1
k_t4p_p-7	UNSAT	1.01
eijk.S1423.S-d2	SAT	1.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	1.01
k_dum_n-12	SAT	1.01
k_branch_p-3	UNSAT	1.01
eijk.S382.S-d3	SAT	1.01
par8-5-c-00	UNSAT	1.01
k_grz_n-8	SAT	1.02
k_d4_n-4	SAT	1.02
C499.blif_0.10_1.00_0_1_inp_exact	SAT	1.02
BLOCKS3iii.5	SAT	1.02
k_dum_p-15	UNSAT	1.02
k_path_n-10	SAT	1.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	1.02
stmt1_392_393	SAT	1.02
lut4_2_f1	SAT	1.02
k_poly_n-10	SAT	1.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	1.02
aim-50-1_6-yes1-2-00	SAT	1.02
aim-50-3_4-yes1-2-50	SAT	1.02
aim-50-6_0-yes1-4-00	SAT	1.02
stmt82_224_225	SAT	1.02
test5_quant_squaring5	SAT	1.02
k_t4p_n-3	SAT	1.02
vis.emodel.E-d3	SAT	1.02
texas.ifetch1^8.E-f2	SAT	1.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	1.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	1.03
aim-100-3_4-yes1-2-90	UNSAT	1.03
aim-100-3_4-yes1-3-00	SAT	1.03
aim-100-3_4-yes1-4-50	UNSAT	1.03
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	1.03
stmt44_435_436	SAT	1.03
k_grz_p-12	UNSAT	1.04
k_d4_n-3	SAT	1.04
k_dum_p-17	UNSAT	1.04
eijk.S953.S-d3	SAT	1.04
aim-200-1_6-yes1-3-50	UNSAT	1.04
aim-50-1_6-yes1-4-00	SAT	1.04
aim-50-3_4-yes1-1-90	UNSAT	1.04
aim-50-3_4-yes1-4-90	SAT	1.04
k_dum_p-21	UNSAT	1.04
k_t4p_p-6	UNSAT	1.04
aim-50-2_0-yes1-1-90	UNSAT	1.04
stmt24_292_293	SAT	1.04
k_path_n-12	SAT	1.04
k_path_p-12	UNSAT	1.04
s298_d2_s	SAT	1.04
sortnetsort6.v.stepl.005	SAT	1.05
aim-50-1_6-yes1-2-90	UNSAT	1.05
k_t4p_p-8	UNSAT	1.05
k_grz_n-12	SAT	1.05
vis.prodcell^01.E-d2	SAT	1.05
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	1.05
aim-50-2_0-yes1-1-00	UNSAT	1.05
aim-50-2_0-yes1-3-00	UNSAT	1.05
aim-50-3_4-yes1-3-90	UNSAT	1.05
stmt27_296_297	SAT	1.05
k_d4_p-10	UNSAT	1.06
k_dum_n-13	SAT	1.06
aim-100-1_6-yes1-1-50	SAT	1.06
aim-100-1_6-yes1-2-50	SAT	1.06
k_grz_n-11	SAT	1.06
aim-200-1_6-yes1-1-90	SAT	1.06
aim-50-2_0-yes1-3-90	UNSAT	1.06
stmt2_649_647	SAT	1.06
k_dum_n-11	SAT	1.06
k_poly_p-11	UNSAT	1.06
nusmv.dme2-16.B-d2	SAT	1.06
sortnetsort6.v.stepl.006	SAT	1.06
aim-50-1_6-yes1-4-50	SAT	1.06
lut4_AND_f1	SAT	1.07
vis.eisenberg.E-d4	SAT	1.07
aim-100-6_0-yes1-2-90	SAT	1.07
stmt2_649_723	SAT	1.07
k_grz_n-10	SAT	1.07
aim-200-2_0-yes1-2-90	UNSAT	1.07
aim-50-6_0-yes1-4-90	SAT	1.07
k_dum_p-20	UNSAT	1.08
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	1.08
stmt16_285_286	SAT	1.08
k_branch_p-4	UNSAT	1.08
k_grz_p-11	UNSAT	1.08
sortnetsort7.v.stepl.003	UNSAT	1.08
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	1.08
aim-100-6_0-yes1-4-90	SAT	1.08
k_d4_p-11	UNSAT	1.09
aim-100-6_0-yes1-1-90	UNSAT	1.09
stmt9_445_446	SAT	1.09
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	1.09
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	1.09
aim-100-6_0-yes1-3-90	UNSAT	1.09
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	1.1
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSAT	1.1
stmt5_731_730	SAT	1.1
aim-50-2_0-yes1-3-50	UNSAT	1.1
k_branch_n-2	SAT	1.1
k_lin_p-11	UNSAT	1.1
aim-100-3_4-yes1-1-90	SAT	1.1
k_poly_n-12	SAT	1.11
k_t4p_n-4	SAT	1.11
counter_8	SAT	1.11
k_dum_n-14	SAT	1.11
k_grz_p-10	UNSAT	1.11
k_path_p-11	UNSAT	1.11
eijk.S208o.S-f2	SAT	1.11
eijk.S298.S-f2	SAT	1.11
sortnetsort5.AE.stepl.006	UNSAT	1.11
aim-100-3_4-yes1-2-50	SAT	1.11
aim-50-2_0-yes1-2-50	UNSAT	1.11
k_dum_p-19	UNSAT	1.12
k_poly_p-13	UNSAT	1.12
sortnetsort6.v.stepl.004	UNSAT	1.12
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	1.12
aim-100-6_0-yes1-2-50	UNSAT	1.12
C499.blif_0.10_1.00_0_1_out_exact	SAT	1.12
k_poly_n-11	SAT	1.12
k_d4_p-12	UNSAT	1.12
k_dum_n-15	SAT	1.12
k_path_p-14	UNSAT	1.12
k_path_p-13	UNSAT	1.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-002	UNSAT	1.12
k_dum_n-16	SAT	1.13
k_lin_p-9	UNSAT	1.13
sortnetsort6.v.stepl.007	SAT	1.13
aim-100-6_0-yes1-1-50	SAT	1.13
aim-200-2_0-yes1-2-00	UNSAT	1.13
k_poly_p-15	UNSAT	1.13
ring_r3_ser--opt-8_	SAT	1.13
aim-50-3_4-yes1-4-50	UNSAT	1.13
k_poly_n-14	SAT	1.14
aim-50-3_4-yes1-1-00	UNSAT	1.14
k_d4_n-5	SAT	1.14
aim-200-2_0-yes1-1-00	SAT	1.14
aim-200-2_0-yes1-4-00	SAT	1.14
k_poly_n-13	SAT	1.14
k_poly_p-14	UNSAT	1.14
k_path_n-11	SAT	1.15
k_path_p-15	UNSAT	1.15
k_poly_n-15	SAT	1.15
sortnetsort5.AE.stepl.005	UNSAT	1.15
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	1.15
c4_BMC_p1_k16	SAT	1.15
k_lin_p-12	UNSAT	1.15
k_ph_p-6	UNSAT	1.15
k_d4_p-14	UNSAT	1.16
vis.emodel.E-f2	UNSAT	1.16
c4_BMC_p2_k16	UNSAT	1.16
stmt70_854_859	SAT	1.16
k_poly_n-16	SAT	1.16
k_path_n-13	SAT	1.16
aim-50-3_4-yes1-4-00	UNSAT	1.16
s499_d2_s	SAT	1.16
k_lin_p-10	UNSAT	1.16
k_t4p_p-9	UNSAT	1.16
aim-100-6_0-yes1-3-50	SAT	1.16
aim-100-2_0-yes1-2-00	SAT	1.17
sortnetsort7.AE.stepl.003	SAT	1.17
BLOCKS3ii.4.3	UNSAT	1.18
k_path_n-15	SAT	1.18
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	1.18
c4_BMC_p2_k32	UNSAT	1.18
aim-100-6_0-yes1-4-50	UNSAT	1.18
k_dum_n-17	SAT	1.18
k_poly_p-19	UNSAT	1.18
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	1.18
stmt44_726_773	SAT	1.18
vis.bakery.E-d4	SAT	1.18
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	1.18
k_poly_n-19	SAT	1.19
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	1.19
k_path_n-16	SAT	1.19
k_poly_p-20	UNSAT	1.19
k_dum_n-18	SAT	1.19
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	1.19
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	1.19
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	1.19
k_path_p-17	UNSAT	1.2
texas.ifetch1^4.E-f2	UNSAT	1.2
k_poly_n-21	SAT	1.2
c4_BMC_p1_k32	SAT	1.2
BLOCKS3i.4.4	UNSAT	1.2
stmt137_903_911	SAT	1.2
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	1.21
aim-100-2_0-yes1-4-90	SAT	1.21
stmt2_480_551	SAT	1.21
BLOCKS3i.5.3	UNSAT	1.21
eijk.bs3330.S-d2	SAT	1.21
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	1.21
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	1.21
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	1.21
k_dum_n-20	SAT	1.22
texas.ifetch1^1.E-f2	UNSAT	1.22
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	1.22
k_path_p-16	UNSAT	1.22
k_path_n-17	SAT	1.22
nusmv.brp.B-d2	SAT	1.22
texas.ifetch1^7.E-f2	SAT	1.22
stmt124_966_965	SAT	1.22
k_path_p-20	UNSAT	1.22
k_path_n-14	SAT	1.22
eijk.S382.S-f2	SAT	1.22
BLOCKS3ii.5.2	UNSAT	1.23
sortnetsort5.AE.stepl.004	SAT	1.23
k_poly_n-20	SAT	1.23
stmt2_649_776	SAT	1.23
k_d4_p-13	UNSAT	1.24
stmt72_696_721	SAT	1.24
k_grz_p-16	UNSAT	1.24
TOILET7.1.iv.13	UNSAT	1.24
CHAIN12v.13	SAT	1.24
k_poly_p-16	UNSAT	1.24
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	1.24
k_poly_p-21	UNSAT	1.24
k_grz_p-13	UNSAT	1.24
k_poly_p-18	UNSAT	1.25
k_t4p_p-10	UNSAT	1.25
vis.4-arbit^1.E-d4	SAT	1.25
k_d4_p-16	UNSAT	1.25
k_t4p_n-5	SAT	1.25
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	1.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-002	UNSAT	1.25
aim-100-6_0-yes1-3-00	SAT	1.25
k_d4_p-15	UNSAT	1.26
k_path_p-18	UNSAT	1.26
texas.ifetch1^3.E-f2	UNSAT	1.26
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	1.26
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	1.26
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	1.26
stmt137_542_543	SAT	1.26
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	1.27
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	1.27
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	1.27
BLOCKS3ii.5.3	SAT	1.27
eijk.S444.S-f2	SAT	1.27
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	1.27
aim-200-3_4-yes1-4-90	SAT	1.27
k_path_n-21	SAT	1.28
k_poly_n-17	SAT	1.28
term1.blif_0.10_1.00_0_1_inp_exact	SAT	1.28
texas.ifetch1^5.E-f2	SAT	1.28
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	1.28
aim-100-6_0-yes1-2-00	UNSAT	1.29
stmt7_33_34	SAT	1.29
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	1.29
stmt70_495_501	SAT	1.29
k_grz_p-14	UNSAT	1.3
k_path_n-18	SAT	1.3
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	1.3
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	1.3
stmt1_953_954	SAT	1.3
k_path_n-20	SAT	1.3
k_poly_n-18	SAT	1.3
eijk.S344.S-f2	SAT	1.3
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	1.3
szymanski-6-s	UNSAT	1.3
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	1.3
k_grz_p-15	UNSAT	1.31
stmt41_118_131	SAT	1.31
s386_d2_s	SAT	1.31
k_t4p_p-11	UNSAT	1.31
stmt44_554_604	SAT	1.31
flipflop-5-c	UNSAT	1.32
mutex-32-s	SAT	1.32
eijk.S526.S-f2	SAT	1.32
sortnetsort5.AE.stepl.007	UNSAT	1.32
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	1.32
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	1.32
k_dum_n-19	SAT	1.32
k_t4p_p-13	UNSAT	1.32
c4_BMC_p2_k2	UNSAT	1.32
k_poly_p-17	UNSAT	1.32
texas.ifetch1^2.E-f2	UNSAT	1.32
par8-4-c-50	SAT	1.32
k_dum_n-21	SAT	1.33
texas.ifetch1^9.E-f2	SAT	1.33
stmt27_946_955	SAT	1.33
adder-4-sat	SAT	1.33
k_branch_p-5	UNSAT	1.33
k_d4_p-17	UNSAT	1.33
sortnetsort6.AE.stepl.003	SAT	1.33
stmt32_570_572	SAT	1.33
k_lin_p-14	UNSAT	1.34
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	1.34
k_d4_n-6	SAT	1.34
k_path_p-19	UNSAT	1.34
vis.emodel.E-d4	SAT	1.34
aim-200-3_4-yes1-1-90	SAT	1.34
k_ph_n-8	SAT	1.34
stmt27_584_603	SAT	1.34
texas.ifetch1^8.E-f3	SAT	1.35
k4_2_2	SAT	1.35
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002	UNSAT	1.35
s510_d2_s	SAT	1.36
k_d4_p-18	UNSAT	1.36
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	1.36
eijk.bs1512.S-d4	SAT	1.36
par8-1-c-00	UNSAT	1.36
aim-100-1_6-yes1-1-90	UNSAT	1.36
aim-50-6_0-yes1-3-00	UNSAT	1.36
stmt86_889_890	SAT	1.36
k_ph_p-7	UNSAT	1.37
stmt25_597_598	SAT	1.37
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	1.37
aim-200-3_4-yes1-2-50	SAT	1.37
k_t4p_p-12	UNSAT	1.38
vis.coherence^1.E-d3	SAT	1.38
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	1.38
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	1.38
stmt16_950_951	SAT	1.38
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	1.38
aim-100-3_4-yes1-4-90	SAT	1.38
stmt44_554_555	SAT	1.39
nusmv.brp.B-f2	SAT	1.39
k_lin_p-16	UNSAT	1.4
k_path_n-19	SAT	1.4
TOILET10.1.iv.20	SAT	1.4
k_lin_p-15	UNSAT	1.4
eijk.S1196.S-d2	SAT	1.4
aim-200-3_4-yes1-3-90	UNSAT	1.4
k_t4p_p-16	UNSAT	1.4
k_t4p_p-14	UNSAT	1.4
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	1.4
par8-2-c-90	UNSAT	1.41
CHAIN13v.14	SAT	1.41
sortnetsort7.v.stepl.004	UNSAT	1.41
par8-2-c-00	UNSAT	1.42
k_grz_p-17	UNSAT	1.42
k_t4p_n-6	SAT	1.42
eijk.S349.S-f2	SAT	1.42
sortnetsort8.v.stepl.003	UNSAT	1.43
par8-1-c-50	UNSAT	1.43
par8-3-c-50	UNSAT	1.43
texas.parsesys^4.E-f2	UNSAT	1.44
jnh210-50	SAT	1.44
s298_d3_s	SAT	1.44
eijk.S386.S-d4	SAT	1.44
eijk.S953.S-d4	SAT	1.44
k_d4_p-19	UNSAT	1.44
k_lin_p-13	UNSAT	1.45
stmt16_588_589	SAT	1.45
aim-200-3_4-yes1-4-00	SAT	1.45
par8-2-c-50	UNSAT	1.45
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	1.46
k_d4_p-20	UNSAT	1.46
counter_r_8	SAT	1.46
ii8a2-00	SAT	1.46
par8-4-c-00	SAT	1.46
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	1.47
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	1.47
par8-3-c-90	UNSAT	1.47
k_grz_n-13	SAT	1.48
aim-100-2_0-yes1-1-50	UNSAT	1.48
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	1.48
aim-100-2_0-yes1-2-90	UNSAT	1.48
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	1.49
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	1.49
aim-100-1_6-yes1-3-00	UNSAT	1.49
aim-200-3_4-yes1-3-00	SAT	1.49
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	1.49
aim-100-1_6-yes1-4-90	UNSAT	1.49
jnh218-00	SAT	1.49
szymanski-5-s	UNSAT	1.5
k_d4_p-21	UNSAT	1.5
aim-100-2_0-yes1-4-50	UNSAT	1.5
jnh213-90	SAT	1.5
aim-100-2_0-yes1-3-50	UNSAT	1.5
jnh213-50	SAT	1.5
stmt41_36_37	UNSAT	1.5
k_path_p-21	UNSAT	1.51
k_branch_n-3	SAT	1.51
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	1.51
aim-100-1_6-yes1-4-50	UNSAT	1.51
aim-200-3_4-yes1-2-90	UNSAT	1.51
par8-5-50	SAT	1.52
stmt19_3_78	UNSAT	1.52
stmt44_40_41	UNSAT	1.52
k_t4p_p-15	UNSAT	1.53
jnh7-90	SAT	1.53
texas.ifetch1^7.E-f3	SAT	1.53
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	1.53
jnh218-90	SAT	1.53
lut4_AND_fXOR	UNSAT	1.54
k_t4p_n-7	SAT	1.54
stmt19_2_83	UNSAT	1.54
k_t4p_p-17	UNSAT	1.54
k_lin_n-5	SAT	1.55
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	1.55
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	1.55
jnh220-50	SAT	1.55
k_ph_p-1	UNSAT	1.56
jnh207-90	SAT	1.56
stmt22_6_72	UNSAT	1.56
sortnetsort6.AE.stepl.004	SAT	1.56
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	1.56
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	1.56
jnh213-00	SAT	1.56
stmt21_71_70	UNSAT	1.56
stmt31_22_23	UNSAT	1.57
stmt24_7_8	SAT	1.58
eijk.S208o.S-d2	SAT	1.58
aim-100-1_6-yes1-3-50	UNSAT	1.58
jnh217-00	SAT	1.58
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	1.59
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	1.59
tree-exa2-30	UNSAT	1.59
k_lin_n-1	SAT	1.59
jnh217-50	SAT	1.6
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	1.6
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	1.61
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	1.61
jnh209-00	SAT	1.61
par8-1-50	SAT	1.61
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	1.62
s713_d2_s	SAT	1.62
comp.blif_0.10_1.00_0_1_out_exact	SAT	1.62
texas.ifetch1^1.E-f3	UNSAT	1.63
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	1.63
k_d4_n-7	SAT	1.63
eijk.S208c.S-f2	SAT	1.63
jnh205-50	SAT	1.63
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	1.64
jnh12-90	SAT	1.64
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	1.64
par8-5-c-50	UNSAT	1.64
stmt22_6_80	UNSAT	1.64
k_t4p_p-19	UNSAT	1.64
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	1.65
aim-100-2_0-yes1-3-00	UNSAT	1.65
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	1.66
eijk.S953.S-d2	SAT	1.67
stmt19_67_83	UNSAT	1.67
stmt22_73_80	UNSAT	1.67
k_t4p_p-20	UNSAT	1.67
comp.blif_0.10_0.20_0_1_out_exact	SAT	1.68
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	1.68
par8-4-00	SAT	1.68
k_t4p_n-8	SAT	1.68
eijk.S420.S-d4	SAT	1.68
stmt22_73_92	UNSAT	1.68
vis.arbiter.E-d4	SAT	1.69
par8-3-00	UNSAT	1.69
stmt85_64_65	UNSAT	1.69
par8-4-50	UNSAT	1.69
stmt19_3_83	UNSAT	1.69
jnh207-00	UNSAT	1.7
eijk.S1238.S-d2	SAT	1.7
irst.dme6.B-d2	SAT	1.72
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	1.72
par8-2-90	UNSAT	1.72
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	1.72
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	1.72
aim-200-6_0-yes1-1-90	SAT	1.72
jnh205-90	UNSAT	1.72
aim-200-6_0-yes1-3-90	UNSAT	1.72
jnh212-50	UNSAT	1.72
par8-3-90	SAT	1.73
texas.ifetch1^9.E-d3	SAT	1.73
ii8a1-50	SAT	1.73
jnh204-00	SAT	1.73
jnh212-00	UNSAT	1.73
par8-5-00	UNSAT	1.73
nusmv.syncarb5^2.B-f2	SAT	1.74
stmt41_262_275	SAT	1.74
aim-100-3_4-yes1-1-00	UNSAT	1.74
k_t4p_p-18	UNSAT	1.75
eijk.bs1512.S-d2	SAT	1.75
stmt19_83_90	UNSAT	1.75
texas.ifetch1^9.E-d4	SAT	1.76
aim-200-6_0-yes1-1-50	UNSAT	1.76
eijk.S820.S-d2	SAT	1.76
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	1.77
par8-2-00	UNSAT	1.77
sortnetsort7.v.stepl.008	SAT	1.77
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-001	UNSAT	1.77
aim-100-3_4-yes1-1-50	UNSAT	1.77
aim-100-3_4-yes1-4-00	SAT	1.77
jnh207-50	UNSAT	1.77
jnh212-90	UNSAT	1.78
aim-200-6_0-yes1-1-00	UNSAT	1.79
eijk.S1423.S-d3	SAT	1.79
stmt52_54_55	UNSAT	1.79
k_grz_n-15	SAT	1.8
C432.blif_0.10_0.20_0_1_inp_exact	SAT	1.8
par8-3-50	UNSAT	1.81
par8-5-90	UNSAT	1.81
stmt19_66_90	UNSAT	1.81
eijk.S832.S-d2	SAT	1.82
aim-200-6_0-yes1-2-50	UNSAT	1.82
aim-200-6_0-yes1-4-50	SAT	1.82
stmt19_78_83	UNSAT	1.85
aim-100-3_4-yes1-3-50	UNSAT	1.85
aim-200-6_0-yes1-4-90	SAT	1.85
texas.parsesys^3.E-f2	SAT	1.86
k_t4p_p-21	UNSAT	1.86
stmt22_72_80	UNSAT	1.86
C880.blif_0.10_1.00_0_1_inp_exact	SAT	1.87
aim-100-3_4-yes1-3-90	UNSAT	1.87
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	1.89
c4_BMC_p2_k64	UNSAT	1.89
jnh210-90	UNSAT	1.89
par8-2-50	UNSAT	1.89
par8-1-90	UNSAT	1.89
aim-200-6_0-yes1-2-90	UNSAT	1.9
stmt21_70_84	UNSAT	1.9
stmt27_16_97	UNSAT	1.9
ii8a2-90	UNSAT	1.9
jnh204-50	SAT	1.91
par8-4-90	UNSAT	1.93
k_t4p_n-9	SAT	1.94
par8-1-00	SAT	1.94
aim-200-6_0-yes1-4-00	UNSAT	1.95
jnh209-90	UNSAT	1.95
aim-200-6_0-yes1-3-50	UNSAT	1.95
jnh220-00	SAT	1.95
stmt21_79_91	UNSAT	1.96
aim-200-2_0-yes1-4-90	SAT	1.98
stmt41_738_749	SAT	1.98
blocks_enc_2_b3_ser--opt-9_	SAT	2
aim-50-1_6-yes1-2-50	SAT	2.02
jnh17-90	UNSAT	2.02
s499_d3_s	SAT	2.04
eijk.S349.S-d3	SAT	2.05
stmt22_6_128	UNSAT	2.06
sortnetsort7.v.stepl.009	SAT	2.06
stmt19_2_137	UNSAT	2.06
CHAIN14v.15	SAT	2.07
k_lin_n-3	SAT	2.08
ii8a1-90	SAT	2.09
k_lin_p-18	UNSAT	2.09
Adder2-4-c	UNSAT	2.1
comp.blif_0.10_0.20_0_1_inp_exact	SAT	2.12
stmt22_73_128	UNSAT	2.12
stmt21_5_134	UNSAT	2.12
aim-200-6_0-yes1-2-00	UNSAT	2.14
stmt39_34_107	UNSAT	2.15
stmt44_40_110	UNSAT	2.16
k_t4p_n-10	SAT	2.16
stmt19_90_125	UNSAT	2.16
stmt28_19_98	UNSAT	2.16
k_d4_n-8	SAT	2.17
aim-100-6_0-yes1-1-00	SAT	2.17
qshifter_5	SAT	2.18
k_t4p_n-11	SAT	2.18
stmt21_4_134	UNSAT	2.21
k_lin_p-17	UNSAT	2.22
nusmv.syncarb5^2.B-f3	SAT	2.22
stmt19_66_142	UNSAT	2.22
irst.dme5.B-d3	SAT	2.23
jnh220-90	SAT	2.23
stmt50_50_115	UNSAT	2.24
stmt21_5_138	UNSAT	2.25
stmt46_43_111	UNSAT	2.26
qshifter_6	SAT	2.26
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	2.26
c3_BMC_p2_k2	UNSAT	2.27
c4_BMC_p1_k64	SAT	2.28
stmt41_37_108	UNSAT	2.3
sortnetsort6.AE.stepl.006	UNSAT	2.3
stmt19_66_133	UNSAT	2.3
stmt19_78_125	UNSAT	2.32
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002	UNSAT	2.36
jnh205-00	UNSAT	2.37
c6_BMC_p1_k2	SAT	2.38
stmt21_71_134	UNSAT	2.38
ken.oop^2.C-f2	SAT	2.39
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	2.39
k_lin_p-19	UNSAT	2.4
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	2.4
stmt85_64_122	UNSAT	2.41
jnh12-50	UNSAT	2.42
k_lin_p-20	UNSAT	2.43
sortnetsort8.v.stepl.004	UNSAT	2.43
CHAIN17v.18	SAT	2.44
texas.ifetch1^4.E-f3	UNSAT	2.45
stmt21_71_143	UNSAT	2.45
stmt21_84_138	UNSAT	2.46
CHAIN15v.16	SAT	2.46
nusmv.brp.B-d3	SAT	2.47
BLOCKS3i.5.4	SAT	2.47
stmt52_55_117	UNSAT	2.47
term1.blif_0.10_1.00_0_1_out_exact	SAT	2.48
texas.parsesys^4.E-f4	UNSAT	2.48
CHAIN21v.22	SAT	2.48
texas.ifetch1^1.E-f4	UNSAT	2.48
vis.elevator^1.E-f2	UNSAT	2.48
aim-200-2_0-yes1-4-50	SAT	2.48
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	2.49
ring_r4_ser--opt-11_	UNSAT	2.49
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	2.49
jnh201-50	SAT	2.5
jnh204-90	SAT	2.5
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	2.51
c3_BMC_p1_k2	SAT	2.51
texas.ifetch1^3.E-f3	UNSAT	2.52
k_ph_n-9	SAT	2.53
nusmv.brp.B-d4	SAT	2.53
texas.two_proc^1.E-f2	SAT	2.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-003	UNSAT	2.54
flipflop-6-c	UNSAT	2.54
mutex-64-s	SAT	2.55
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	2.56
vis.emodel.E-f3	UNSAT	2.57
stmt22_80_144	UNSAT	2.57
stmt19_67_137	UNSAT	2.58
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004	UNSAT	2.58
ii32b1-50	SAT	2.59
nusmv.syncarb5^2.B-f4	SAT	2.59
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	2.6
aim-200-3_4-yes1-3-50	SAT	2.6
nusmv.reactor^2.C-d2	SAT	2.6
k_branch_n-4	SAT	2.61
stmt21_70_127	UNSAT	2.61
k_grz_n-16	SAT	2.62
stmt21_84_127	UNSAT	2.62
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	2.62
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	2.62
jnh7-50	SAT	2.62
CHAIN16v.17	SAT	2.62
c6_BMC_p1_k4	SAT	2.63
szymanski-8-s	UNSAT	2.63
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	2.64
aim-100-6_0-yes1-4-00	UNSAT	2.64
ken.oop^1.C-f2	SAT	2.65
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	2.66
stmt21_79_134	UNSAT	2.66
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	2.66
ssa7552-159-00	SAT	2.66
texas.two_proc^3.E-f2	SAT	2.67
k_lin_p-21	UNSAT	2.68
eijk.S641.S-d4	SAT	2.68
c6_BMC_p2_k4	UNSAT	2.68
jnh17-00	SAT	2.68
stmt21_84_134	UNSAT	2.68
c4_BMC_p2_k256	UNSAT	2.68
ii32c1-50	SAT	2.68
jnh1-00	SAT	2.68
nusmv.reactor^3.C-d2	SAT	2.69
stmt22_80_139	UNSAT	2.69
texas.ifetch1^3.E-f4	UNSAT	2.69
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	2.69
texas.ifetch1^5.E-f4	SAT	2.7
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	2.71
k_branch_p-7	UNSAT	2.71
texas.ifetch1^7.E-f4	SAT	2.71
texas.ifetch1^8.E-f4	SAT	2.71
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	2.71
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	2.72
c3_BMC_p2_k8	UNSAT	2.72
ii32e1-50	SAT	2.72
ev-pr-4x4-9-3-0-0-1-lg	SAT	2.72
vis.eisenberg.E-f2	SAT	2.72
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	2.72
c3_BMC_p1_k4	SAT	2.72
jnh301-50	SAT	2.72
aim-200-1_6-yes1-4-90	SAT	2.73
ii8c1-90	SAT	2.73
jnh12-00	UNSAT	2.73
CHAIN18v.19	SAT	2.74
texas.ifetch1^2.E-f3	UNSAT	2.74
texas.PI_main^14.E-f2	UNSAT	2.74
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	2.74
stmt21_4_5	UNSAT	2.74
stmt21_70_138	UNSAT	2.74
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	2.74
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	2.74
c6_BMC_p2_k8	UNSAT	2.74
cmu.periodic.N-d2	SAT	2.75
k_t4p_n-16	SAT	2.75
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	2.75
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	2.75
jnh7-00	SAT	2.75
CHAIN22v.23	SAT	2.76
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	2.76
stmt27_16_149	UNSAT	2.76
CHAIN19v.20	SAT	2.76
texas.ifetch1^5.E-f3	SAT	2.77
c4_BMC_p2_k128	UNSAT	2.77
nusmv.reactor^5.C-d2	SAT	2.78
texas.two_proc^5.E-f2	SAT	2.78
CHAIN20v.21	SAT	2.78
stmt19_2_180	UNSAT	2.78
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	2.79
eijk.S832.S-d3	SAT	2.79
texas.PI_main^10.E-f2	SAT	2.79
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	2.79
texas.two_proc^6.E-f2	SAT	2.8
vis.arbiter.E-f2	SAT	2.8
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	2.8
texas.ifetch1^4.E-f4	UNSAT	2.81
vis.emodel.E-f4	UNSAT	2.81
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	2.81
vis.prodcell^01.E-d3	SAT	2.82
c3_BMC_p2_k4	UNSAT	2.82
texas.ifetch1^9.E-f4	SAT	2.82
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	2.82
c6_BMC_p2_k16	UNSAT	2.82
jnh301-90	UNSAT	2.83
texas.PI_main^16.E-f2	SAT	2.84
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	2.84
texas.two_proc^2.E-f2	SAT	2.84
stmt41_36_160	UNSAT	2.85
aim-200-1_6-yes1-2-50	SAT	2.85
stmt32_24_191	UNSAT	2.86
vis.elevator^1.E-f4	UNSAT	2.86
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	2.87
CHAIN23v.24	SAT	2.88
k_lin_n-8	SAT	2.88
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	2.88
vis.elevator^1.E-d3	SAT	2.88
stmt41_36_198	UNSAT	2.88
texas.PI_main^01.E-f2	SAT	2.89
ii32d1-00	SAT	2.9
stmt27_17_149	UNSAT	2.9
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	2.9
irst.dme4.B-f2	SAT	2.92
irst.dme5.B-f2	SAT	2.92
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	2.92
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	2.93
c2_BMC_p1_k2	SAT	2.93
ii32e1-90	UNSAT	2.93
eijk.S208o.S-f3	SAT	2.93
texas.PI_main^03.E-f2	SAT	2.93
stmt44_40_162	UNSAT	2.93
sortnetsort8.AE.stepl.003	SAT	2.94
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	2.94
k_lin_n-7	SAT	2.94
c6_BMC_p1_k16	SAT	2.94
counter_re_8	SAT	2.95
texas.ifetch1^2.E-f4	UNSAT	2.95
stmt19_266_352	UNSAT	2.95
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	UNSAT	2.96
nusmv.reactor^3.C-f4	UNSAT	2.96
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	2.96
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	2.97
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	2.97
jnh17-50	SAT	2.97
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	2.97
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	2.98
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	2.98
nusmv.reactor^1.C-d2	SAT	2.98
stmt21_4_178	UNSAT	2.98
eijk.S526.S-f3	SAT	2.98
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	2.99
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	2.99
ev-pr-4x4-5-3-0-0-1-lg	SAT	2.99
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	2.99
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	2.99
texas.parsesys^4.E-f3	UNSAT	3
vis.prodcell^09.E-f2	UNSAT	3
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	3.01
k_ph_n-10	SAT	3.01
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	3.02
nusmv.reactor^5.C-f2	UNSAT	3.02
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	UNSAT	3.02
c4_BMC_p1_k256	SAT	3.02
jnh209-50	UNSAT	3.02
ev-pr-4x4-11-3-0-0-1-lg	SAT	3.02
ev-pr-4x4-7-3-0-0-1-lg	SAT	3.02
stmt21_215_403	UNSAT	3.02
stmt19_217_368	UNSAT	3.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-005	UNSAT	3.03
c4_BMC_p1_k128	SAT	3.03
mutex-128-s	SAT	3.03
texas.parsesys^3.E-f3	SAT	3.03
vis.prodcell^21.E-f2	UNSAT	3.03
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	3.04
stmt21_258_304	UNSAT	3.04
ev-pr-4x4-13-3-0-0-1-lg	SAT	3.04
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	3.04
stmt19_302_318	UNSAT	3.04
stmt21_262_319	UNSAT	3.05
stmt22_305_311	UNSAT	3.05
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	3.06
vis.elevator^1.E-d4	SAT	3.06
vis.elevator^1.E-f3	UNSAT	3.06
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	3.06
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	3.06
stmt21_319_403	UNSAT	3.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-004	UNSAT	3.06
stmt46_238_388	UNSAT	3.07
stmt21_252_319	UNSAT	3.07
stmt22_268_404	UNSAT	3.07
eijk.S820.S-d3	SAT	3.08
nusmv.queue.B-d3	SAT	3.08
stmt46_201_388	UNSAT	3.08
jnh201-00	SAT	3.09
ii8b1-90	SAT	3.09
stmt22_268_320	UNSAT	3.09
s298_d5_s	SAT	3.1
nusmv.guidance^3.C-f2	SAT	3.1
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	3.1
flipflop-7-c	UNSAT	3.1
jnh1-50	SAT	3.1
k_ph_n-11	SAT	3.1
eijk.S1423.S-d4	SAT	3.1
stmt19_250_359	UNSAT	3.11
stmt21_178_403	UNSAT	3.11
lognBWLARGEA1	UNSAT	3.11
stmt39_234_384	UNSAT	3.11
stmt21_304_418	UNSAT	3.11
vis.prodcell^11.E-f2	UNSAT	3.12
stmt21_215_413	UNSAT	3.12
ii32e1-00	SAT	3.12
stmt22_263_355	UNSAT	3.12
c4_BMC_p2_k512	UNSAT	3.14
k_branch_p-8	UNSAT	3.14
stmt22_263_370	UNSAT	3.14
stmt19_250_412	UNSAT	3.14
stmt21_314_354	UNSAT	3.14
nusmv.reactor^5.C-f3	UNSAT	3.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-004	UNSAT	3.14
stmt21_215_409	UNSAT	3.14
stmt21_178_409	UNSAT	3.14
s510_d3_s	SAT	3.14
c3_BMC_p2_k16	UNSAT	3.15
stmt50_242_343	UNSAT	3.15
ii32d1-50	SAT	3.16
k_grz_n-14	SAT	3.16
stmt21_258_360	UNSAT	3.16
stmt19_180_401	UNSAT	3.16
stmt19_217_401	UNSAT	3.16
k_grz_p-18	UNSAT	3.16
stmt21_267_304	UNSAT	3.16
stmt22_263_404	UNSAT	3.17
stmt22_259_404	UNSAT	3.17
cmu.dme2.B-d4	SAT	3.18
stmt47_239_340	UNSAT	3.18
k_grz_n-17	SAT	3.18
jnh301-00	UNSAT	3.18
stmt19_217_417	UNSAT	3.18
ev-pr-4x4-17-3-0-0-1-lg	SAT	3.19
k_grz_n-18	SAT	3.19
nusmv.reactor^4.C-d2	SAT	3.19
stmt21_304_364	UNSAT	3.19
c6_BMC_p1_k32	SAT	3.19
aim-200-1_6-yes1-1-00	SAT	3.2
c2_BMC_p2_k2	UNSAT	3.2
ii32b1-90	SAT	3.2
stmt22_263_315	UNSAT	3.2
stmt21_364_418	UNSAT	3.21
stmt50_205_392	UNSAT	3.21
texas.parsesys^1.E-f3	SAT	3.22
stmt19_214_368	UNSAT	3.22
stmt21_304_369	UNSAT	3.22
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	3.23
stmt19_250_368	UNSAT	3.23
ken.flash^02.C-d2	SAT	3.23
stmt21_319_354	UNSAT	3.23
stmt21_252_354	UNSAT	3.24
k_lin_n-12	SAT	3.24
stmt21_252_304	UNSAT	3.24
stmt21_262_418	UNSAT	3.24
stmt21_310_354	UNSAT	3.24
nusmv.reactor^7.C-f2	SAT	3.24
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	3.24
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	3.25
stmt21_262_310	UNSAT	3.25
stmt19_313_318	UNSAT	3.25
stmt21_262_413	UNSAT	3.25
k_grz_p-19	UNSAT	3.26
texas.two_proc^4.E-f2	SAT	3.26
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	3.26
stmt22_259_370	UNSAT	3.26
stmt22_315_404	UNSAT	3.26
s820_d2_s	SAT	3.26
cmu.periodic.N-d3	SAT	3.27
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	3.27
stmt19_266_313	UNSAT	3.27
nusmv.guidance^9.C-f2	SAT	3.27
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	3.27
stmt19_266_359	UNSAT	3.27
stmt19_302_313	UNSAT	3.28
vis.prodcell^01.E-d4	SAT	3.28
stmt22_263_305	UNSAT	3.28
stmt21_403_418	UNSAT	3.29
stmt21_258_364	UNSAT	3.29
stmt21_360_418	UNSAT	3.29
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	3.3
stmt21_215_418	UNSAT	3.3
stmt19_352_359	UNSAT	3.3
stmt22_182_419	UNSAT	3.3
stmt21_360_369	UNSAT	3.31
stmt21_360_409	UNSAT	3.31
eijk.bs3271.S-f2	SAT	3.31
stmt21_252_310	UNSAT	3.31
ev-pr-4x4-15-3-0-0-1-lg	SAT	3.32
texas.PI_main^13.E-f2	SAT	3.32
stmt21_354_369	UNSAT	3.32
stmt21_364_369	UNSAT	3.32
stmt22_315_361	UNSAT	3.32
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	3.33
stmt21_360_403	UNSAT	3.33
lut4_3_fAND	SAT	3.33
stmt21_304_360	UNSAT	3.33
stmt21_314_409	UNSAT	3.34
vonNeumann-ripple-carry-5-c	UNSAT	3.34
nusmv.reactor^4.C-f2	SAT	3.34
s1269_d2_s	SAT	3.34
c6_BMC_p2_k32	UNSAT	3.34
aim-200-1_6-yes1-1-50	SAT	3.34
stmt22_311_370	UNSAT	3.34
lut4_2_f2	UNSAT	3.35
ken.flash^08.C-f2	UNSAT	3.35
stmt52_54_169	UNSAT	3.35
aim-200-3_4-yes1-1-50	SAT	3.35
stmt19_368_408	UNSAT	3.35
stmt21_364_409	UNSAT	3.35
stmt21_127_143	UNSAT	3.35
counter_e_8	SAT	3.36
stmt22_259_419	UNSAT	3.36
stmt22_263_361	UNSAT	3.36
stmt19_257_313	UNSAT	3.36
stmt22_361_414	UNSAT	3.37
stmt21_218_413	UNSAT	3.37
stmt19_313_412	UNSAT	3.37
k_branch_p-9	UNSAT	3.37
c3_BMC_p1_k8	SAT	3.37
k_lin_n-9	SAT	3.38
nusmv.guidance^5.C-f2	SAT	3.38
stmt19_309_363	UNSAT	3.38
stmt19_177_412	UNSAT	3.38
stmt19_257_412	UNSAT	3.38
TOILET16.1.iv.32	SAT	3.38
c3_BMC_p2_k32	UNSAT	3.38
stmt21_314_364	UNSAT	3.38
k_t4p_n-12	SAT	3.39
c6_BMC_p2_k2	UNSAT	3.39
stmt29_226_376	UNSAT	3.39
stmt19_309_408	UNSAT	3.39
vis.prodcell^03.E-f3	UNSAT	3.39
vis.coherence^1.E-d4	SAT	3.4
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	3.4
aim-200-6_0-yes1-3-00	SAT	3.4
k_grz_p-21	UNSAT	3.4
k_grz_p-20	UNSAT	3.4
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	3.4
s1196_d2_s	SAT	3.4
stmt22_259_311	UNSAT	3.41
ii8a3-00	SAT	3.42
stmt19_266_408	UNSAT	3.42
k_d4_n-9	SAT	3.42
ken.flash^13.C-d2	UNSAT	3.42
stmt19_90_133	UNSAT	3.42
stmt21_178_418	UNSAT	3.43
stmt19_352_363	UNSAT	3.44
stmt21_319_409	UNSAT	3.44
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	3.44
stmt19_313_368	UNSAT	3.44
vis.prodcell^09.E-f3	UNSAT	3.44
c6_BMC_p2_k64	UNSAT	3.44
ssa7552-159-50	SAT	3.44
stmt21_310_403	UNSAT	3.45
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	3.45
stmt21_304_409	UNSAT	3.45
qshifter_7	SAT	3.46
nusmv.guidance^2.C-f2	SAT	3.46
stmt21_403_413	UNSAT	3.46
k_grz_n-19	SAT	3.46
ken.flash^02.C-f2	SAT	3.46
stmt19_266_417	UNSAT	3.47
stmt19_309_417	UNSAT	3.47
stmt21_310_314	UNSAT	3.48
stmt19_250_401	UNSAT	3.49
szymanski-10-s	UNSAT	3.5
nusmv.reactor^6.C-f2	SAT	3.5
stmt21_409_413	UNSAT	3.5
c6_BMC_p1_k64	SAT	3.5
par16-1-c-50	SAT	3.5
stmt19_266_368	UNSAT	3.51
stmt22_263_365	UNSAT	3.51
stmt21_262_409	UNSAT	3.51
ken.flash^10.C-f2	UNSAT	3.52
c1_BMC_p2_k2	UNSAT	3.52
stmt19_309_412	UNSAT	3.52
stmt22_268_414	UNSAT	3.52
stmt21_360_364	UNSAT	3.52
stmt22_365_414	UNSAT	3.52
eijk.bs4863.S-d2	SAT	3.52
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	3.52
stmt19_83_142	UNSAT	3.52
nusmv.guidance^8.C-f2	SAT	3.52
stmt22_320_361	UNSAT	3.53
stmt19_302_412	UNSAT	3.53
texas.PI_main^14.E-f3	UNSAT	3.53
stmt19_318_412	UNSAT	3.53
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	3.54
stmt19_266_363	UNSAT	3.54
stmt19_412_417	UNSAT	3.54
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	3.55
s298_d6_s	SAT	3.55
k_lin_n-13	SAT	3.56
stmt22_135_144	UNSAT	3.56
stmt22_92_139	UNSAT	3.56
stmt19_90_142	UNSAT	3.56
stmt21_354_413	UNSAT	3.56
eijk.bs1512.S-d3	SAT	3.57
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	3.57
k_t4p_n-13	SAT	3.58
stmt19_368_412	UNSAT	3.58
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-007	UNSAT	3.58
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	3.59
vis.prodcell^11.E-f3	UNSAT	3.59
flipflop-8-c	UNSAT	3.6
stmt19_408_417	UNSAT	3.6
stmt21_252_364	UNSAT	3.6
nusmv.guidance^7.C-f2	SAT	3.62
stmt21_314_418	UNSAT	3.62
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	3.63
k_branch_p-10	UNSAT	3.64
stmt1_787_788	SAT	3.64
stmt19_125_133	UNSAT	3.64
cmu.periodic.N-d4	SAT	3.68
vis.prodcell^09.E-f4	UNSAT	3.68
sortnetsort7.v.stepl.006	SAT	3.68
vis.prodcell^21.E-f4	UNSAT	3.68
c1_BMC_p1_k2	SAT	3.68
ii8a4-90	SAT	3.68
C5315.blif_0.10_1.00_0_1_out_exact	SAT	3.69
ken.flash^06.C-d2	UNSAT	3.69
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	3.7
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	3.7
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	3.72
aim-200-2_0-yes1-3-90	SAT	3.73
stmt22_139_144	UNSAT	3.74
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-005	UNSAT	3.75
c2_BMC_p1_k8	SAT	3.75
vis.prodcell^06.E-f3	UNSAT	3.76
c2_BMC_p2_k8	UNSAT	3.76
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	3.77
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	UNSAT	3.77
vis.bakery.E-f2	SAT	3.78
nusmv.reactor^5.C-f4	UNSAT	3.79
c3_BMC_p2_k64	UNSAT	3.8
vis.elevator^1.E-d2	SAT	3.82
k_t4p_n-15	SAT	3.82
vis.prodcell^04.E-f3	UNSAT	3.82
ken.flash^08.C-f4	UNSAT	3.84
stmt21_134_138	UNSAT	3.84
ken.flash^13.C-d3	UNSAT	3.86
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	3.87
k_t4p_n-14	SAT	3.87
c1_BMC_p2_k4	UNSAT	3.88
stmt29_99_151	UNSAT	3.89
c5_BMC_p2_k4	UNSAT	3.92
c6_BMC_p2_k128	UNSAT	3.94
ken.flash^06.C-f2	UNSAT	3.94
k_grz_n-20	SAT	3.95
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	3.96
stmt47_44_202	UNSAT	3.96
stmt19_125_137	UNSAT	3.96
c5_BMC_p1_k4	SAT	3.98
stmt39_35_159	UNSAT	4
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	4.03
s298_d4_s	SAT	4.04
k_lin_n-17	SAT	4.04
stmt22_73_179	UNSAT	4.05
c3_BMC_p1_k16	SAT	4.06
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	4.06
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	4.07
ssa7552-159-90	SAT	4.07
s298_d7_s	SAT	4.07
ii32d1-90	SAT	4.08
vis.prodcell^08.E-f3	UNSAT	4.12
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSAT	4.12
aim-200-2_0-yes1-2-50	UNSAT	4.14
stmt19_250_408	UNSAT	4.16
k_lin_n-11	SAT	4.16
stmt19_3_177	UNSAT	4.16
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	4.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-007	UNSAT	4.18
cmu.gigamax.B-d2	SAT	4.19
irst.dme4.B-d3	SAT	4.19
stmt27_16_224	UNSAT	4.19
k_t4p_n-17	SAT	4.2
stmt50_51_167	UNSAT	4.22
stmt22_259_410	UNSAT	4.22
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	4.22
stmt21_143_181	UNSAT	4.25
eijk.S208c.S-f3	SAT	4.26
par16-1-c-90	SAT	4.26
c3_BMC_p2_k128	UNSAT	4.27
cmu.periodic.N-f2	SAT	4.28
ken.flash^10.C-f3	UNSAT	4.29
sortnetsort8.v.stepl.008	SAT	4.29
sortnetsort6.AE.stepl.005	UNSAT	4.3
vis.prodcell^03.E-f4	UNSAT	4.31
jnh217-90	SAT	4.31
ken.flash^02.C-d3	SAT	4.32
vis.prodcell^01.E-f4	UNSAT	4.33
k_lin_n-10	SAT	4.34
vonNeumann-ripple-carry-6-c	UNSAT	4.34
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	4.35
vis.prodcell^02.E-f4	UNSAT	4.36
aim-200-1_6-yes1-2-00	UNSAT	4.38
stmt21_127_178	UNSAT	4.38
stmt19_137_177	UNSAT	4.38
eijk.bs3271.S-f3	SAT	4.4
aim-200-2_0-yes1-3-00	UNSAT	4.4
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	4.4
stmt21_70_178	UNSAT	4.41
k_t4p_n-18	SAT	4.42
k_ph_n-14	SAT	4.42
vis.prodcell^04.E-f4	UNSAT	4.42
c5_BMC_p2_k2	UNSAT	4.43
stmt50_50_205	UNSAT	4.44
aim-200-1_6-yes1-4-00	UNSAT	4.44
stmt22_144_179	UNSAT	4.46
stmt53_118_170	UNSAT	4.46
stmt22_6_219	UNSAT	4.48
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	4.5
nusmv.queue.B-d4	SAT	4.51
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	UNSAT	4.51
s510_d4_s	SAT	4.52
vis.prodcell^20.E-f4	UNSAT	4.52
c5_BMC_p1_k2	SAT	4.52
s386_d3_s	SAT	4.54
eijk.S444.S-f3	SAT	4.54
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	4.54
stmt41_37_198	UNSAT	4.54
stmt41_108_160	UNSAT	4.54
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	UNSAT	4.55
c2_BMC_p2_k16	UNSAT	4.56
texas.parsesys^2.E-f2	UNSAT	4.56
eijk.S713.S-d4	SAT	4.57
texas.PI_main^14.E-f4	UNSAT	4.59
ii32b1-00	SAT	4.59
stmt19_90_177	UNSAT	4.59
par16-4-c-00	SAT	4.6
ssa7552-158-50	SAT	4.6
stmt27_17_187	UNSAT	4.6
stmt19_3_214	UNSAT	4.6
ken.flash^06.C-d3	UNSAT	4.61
vis.prodcell^06.E-f4	UNSAT	4.61
stmt22_92_216	UNSAT	4.61
irst.dme6.B-f2	SAT	4.62
aim-200-3_4-yes1-4-50	SAT	4.63
stmt47_45_164	UNSAT	4.63
vis.prodcell^05.E-f4	UNSAT	4.64
stmt19_66_180	UNSAT	4.65
s298_d8_s	SAT	4.66
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	4.67
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	4.67
stmt22_85_179	UNSAT	4.67
stmt21_5_181	UNSAT	4.67
ken.flash^13.C-d4	UNSAT	4.67
stmt21_91_181	UNSAT	4.67
stmt22_139_182	UNSAT	4.67
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	UNSAT	4.68
stmt41_36_235	UNSAT	4.68
aim-200-1_6-yes1-4-50	SAT	4.68
k_lin_n-19	SAT	4.69
c1_BMC_p1_k4	SAT	4.7
par16-1-c-00	SAT	4.7
stmt16_76_77	SAT	4.7
stmt22_85_182	UNSAT	4.72
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	UNSAT	4.73
stmt22_179_182	UNSAT	4.74
k_t4p_n-19	SAT	4.74
ken.flash^03.C-f2	UNSAT	4.74
stmt21_127_181	UNSAT	4.75
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	4.76
aim-200-2_0-yes1-1-90	UNSAT	4.77
c5_BMC_p2_k8	UNSAT	4.78
stmt19_133_180	UNSAT	4.8
szymanski-12-s	UNSAT	4.81
BLOCKS4iii.6	UNSAT	4.81
c1_BMC_p2_k8	UNSAT	4.82
stmt22_80_182	UNSAT	4.83
nusmv.tcas-t^6.B-f3	SAT	4.84
vis.coherence^3.E-f2	SAT	4.84
c6_BMC_p1_k8	SAT	4.85
aim-200-1_6-yes1-2-90	UNSAT	4.85
stmt39_159_197	UNSAT	4.85
stmt47_44_239	UNSAT	4.87
stmt16_47_48	SAT	4.88
k_ph_p-8	UNSAT	4.88
stmt1_79_80	SAT	4.89
stmt21_134_178	UNSAT	4.89
stmt19_67_214	UNSAT	4.89
sortnetsort7.v.stepl.007	SAT	4.9
stmt27_97_187	UNSAT	4.9
stmt52_55_207	UNSAT	4.9
stmt47_164_202	UNSAT	4.9
stmt22_73_182	UNSAT	4.91
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	4.92
test5_quant5	SAT	4.93
stmt21_79_178	UNSAT	4.96
jnh1-90	UNSAT	4.98
par16-4-c-90	UNSAT	4.98
stmt19_2_214	UNSAT	4.98
adder-6-sat	SAT	4.99
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	5
stmt41_37_235	UNSAT	5
vis.prodcell^08.E-f4	UNSAT	5
c2_BMC_p1_k16	SAT	5.03
stmt26_15_223	UNSAT	5.03
sortnetsort8.v.stepl.009	SAT	5.04
aim-200-2_0-yes1-3-50	UNSAT	5.04
par16-5-c-90	SAT	5.04
ken.flash^10.C-f4	UNSAT	5.05
c4_BMC_p2_k2048	UNSAT	5.07
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	5.08
stmt19_142_217	UNSAT	5.08
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	5.11
k_branch_p-12	UNSAT	5.13
k_t4p_n-20	SAT	5.13
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	5.14
stmt52_54_244	UNSAT	5.14
cmu.gigamax.B-f2	SAT	5.15
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	5.16
aim-200-1_6-yes1-3-90	UNSAT	5.18
stmt19_133_214	UNSAT	5.18
stmt21_84_215	UNSAT	5.18
eijk.S1238.S-f4	UNSAT	5.2
stmt39_107_197	UNSAT	5.21
nusmv.guidance^4.C-f2	SAT	5.22
par16-4-c-50	UNSAT	5.23
s499_d4_s	SAT	5.24
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	5.25
stmt28_98_225	UNSAT	5.29
stmt44_110_200	UNSAT	5.29
lognBWLARGEB1	UNSAT	5.32
ken.flash^09.C-f2	UNSAT	5.32
stmt21_143_215	UNSAT	5.32
c2_BMC_p2_k32	UNSAT	5.32
vis.coherence^1.E-f2	SAT	5.33
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	5.33
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	5.34
sortnetsort6.AE.stepl.007	UNSAT	5.35
stmt22_182_216	UNSAT	5.36
stmt21_5_218	UNSAT	5.39
stmt19_133_217	UNSAT	5.39
eijk.S344.S-d4	SAT	5.43
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	UNSAT	5.45
stmt52_117_207	UNSAT	5.46
stmt46_111_163	UNSAT	5.46
stmt22_80_216	UNSAT	5.48
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	UNSAT	5.48
stmt19_214_217	UNSAT	5.49
stmt50_167_205	UNSAT	5.5
test5_quant7	SAT	5.52
stmt19_90_217	UNSAT	5.52
stmt19_66_214	UNSAT	5.53
stmt22_139_219	UNSAT	5.54
stmt22_73_219	UNSAT	5.54
stmt46_43_201	UNSAT	5.55
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	5.56
stmt27_93_98	SAT	5.56
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003	UNSAT	5.57
sortnetsort8.AE.stepl.004	SAT	5.58
stmt25_52_53	SAT	5.58
stmt46_111_238	UNSAT	5.59
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	5.6
BLOCKS4ii.6.3	UNSAT	5.61
c6_BMC_p2_k256	UNSAT	5.61
stmt19_177_214	UNSAT	5.62
stmt21_181_218	UNSAT	5.62
stmt31_190_227	UNSAT	5.65
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	UNSAT	5.66
stmt21_127_218	UNSAT	5.67
k_t4p_n-21	SAT	5.68
k_ph_n-12	SAT	5.7
stmt19_125_261	UNSAT	5.71
stmt19_66_261	UNSAT	5.71
k_d4_n-10	SAT	5.72
stmt19_78_217	UNSAT	5.72
stmt21_178_218	UNSAT	5.72
stmt19_2_261	UNSAT	5.74
nusmv.reactor^3.C-d3	SAT	5.75
stmt22_139_263	UNSAT	5.75
stmt41_108_235	UNSAT	5.76
stmt22_85_263	UNSAT	5.78
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	UNSAT	5.78
stmt22_182_263	UNSAT	5.78
c3_BMC_p2_k256	UNSAT	5.79
aim-100-3_4-yes1-2-00	UNSAT	5.8
stmt46_201_238	UNSAT	5.8
stmt50_115_242	UNSAT	5.81
ev-pr-8x8-11-7-0-1-2-lg	UNSAT	5.81
stmt19_177_261	UNSAT	5.81
k_ph_n-15	SAT	5.82
nusmv.dme2-16.B-f2	SAT	5.82
s298_d9_s	SAT	5.84
eijk.S208o.S-f4	SAT	5.85
stmt41_160_235	UNSAT	5.88
stmt21_218_262	UNSAT	5.88
stmt19_214_261	UNSAT	5.89
stmt19_133_261	UNSAT	5.89
stmt19_3_261	UNSAT	5.92
stmt19_125_214	UNSAT	5.94
par16-4-90	UNSAT	5.95
nusmv.reactor^2.C-d3	SAT	5.96
stmt27_149_187	UNSAT	5.97
stmt19_83_217	UNSAT	5.99
stmt22_92_263	UNSAT	6.03
BLOCKS4i.6.4	UNSAT	6.04
stmt19_66_250	UNSAT	6.06
stmt17_99_98	SAT	6.1
stmt19_177_250	UNSAT	6.13
eijk.S349.S-f4	SAT	6.14
stmt21_127_252	UNSAT	6.14
s510_d5_s	SAT	6.14
stmt21_79_262	UNSAT	6.15
stmt19_133_250	UNSAT	6.15
stmt44_162_237	UNSAT	6.16
stmt22_182_253	UNSAT	6.18
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	6.19
stmt44_41_237	UNSAT	6.19
nusmv.reactor^3.C-f2	SAT	6.2
stmt21_215_252	UNSAT	6.2
stmt21_138_252	UNSAT	6.22
stmt19_2_250	UNSAT	6.25
vonNeumann-ripple-carry-7-c	UNSAT	6.26
stmt19_83_250	UNSAT	6.26
nusmv.reactor^4.C-d3	SAT	6.27
nusmv.reactor^1.C-d3	SAT	6.28
stmt19_142_250	UNSAT	6.29
c5_BMC_p2_k16	UNSAT	6.3
stmt19_66_217	UNSAT	6.31
stmt19_217_250	UNSAT	6.32
stmt21_138_215	UNSAT	6.32
stmt53_57_245	UNSAT	6.33
stmt22_80_253	UNSAT	6.34
stmt41_198_235	UNSAT	6.36
stmt22_73_263	UNSAT	6.37
stmt21_71_252	UNSAT	6.38
ii32c1-90	UNSAT	6.39
stmt19_2_257	UNSAT	6.4
c4_BMC_p2_k1024	UNSAT	6.41
stmt19_90_250	UNSAT	6.42
par16-4-50	UNSAT	6.45
par16-2-c-50	SAT	6.46
stmt21_70_258	UNSAT	6.49
stmt21_70_267	UNSAT	6.49
stmt52_169_244	UNSAT	6.54
stmt22_80_259	UNSAT	6.55
stmt19_142_261	UNSAT	6.56
stmt21_178_258	UNSAT	6.56
stmt21_218_258	UNSAT	6.57
k_lin_n-14	SAT	6.57
eijk.S349.S-d4	SAT	6.57
stmt53_208_245	UNSAT	6.57
stmt22_73_268	UNSAT	6.58
stmt85_64_248	UNSAT	6.6
par16-5-c-00	SAT	6.64
stmt21_84_258	UNSAT	6.65
stmt22_219_268	UNSAT	6.66
par16-4-00	UNSAT	6.67
stmt19_214_257	UNSAT	6.67
stmt19_142_266	UNSAT	6.68
stmt21_181_258	UNSAT	6.69
stmt21_127_267	UNSAT	6.69
stmt19_133_257	UNSAT	6.71
c2_BMC_p1_k32	SAT	6.74
stmt19_90_266	UNSAT	6.74
texas.parsesys^3.E-f4	SAT	6.74
stmt19_83_266	UNSAT	6.74
texas.parsesys^1.E-f4	SAT	6.75
ssa7552-158-90	SAT	6.75
stmt21_252_267	UNSAT	6.76
stmt21_138_267	UNSAT	6.77
stmt27_149_224	UNSAT	6.78
stmt19_3_257	UNSAT	6.79
stmt21_215_267	UNSAT	6.81
stmt19_133_266	UNSAT	6.81
stmt19_261_266	UNSAT	6.84
stmt22_182_268	UNSAT	6.85
c1_BMC_p2_k16	UNSAT	6.86
s499_d5_s	SAT	6.86
stmt21_178_267	UNSAT	6.89
s298_d10_s	SAT	6.9
szymanski-14-s	UNSAT	6.94
c3_BMC_p1_k32	SAT	6.95
stmt19_67_257	UNSAT	6.96
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	6.97
ken.flash^06.C-d4	UNSAT	6.98
stmt21_127_258	UNSAT	6.98
ken.flash^14.C-d3	UNSAT	6.99
nusmv.reactor^5.C-d3	SAT	7
stmt21_138_258	UNSAT	7.01
stmt21_143_258	UNSAT	7.04
vis.eisenberg.E-f3	SAT	7.08
par16-3-c-90	UNSAT	7.09
texas.parsesys^1.E-f2	SAT	7.1
k_ph_n-16	SAT	7.12
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	7.13
stmt22_80_268	UNSAT	7.14
c5_BMC_p1_k16	SAT	7.15
k_lin_n-15	SAT	7.17
stmt22_92_259	UNSAT	7.19
ii32b2-50	SAT	7.2
stmt41_160_286	UNSAT	7.26
eijk.S298.S-f3	SAT	7.3
ken.flash^03.C-f3	UNSAT	7.3
flipflop-9-c	UNSAT	7.34
ii32c2-90	SAT	7.39
ii32b2-00	SAT	7.43
s713_d3_s	SAT	7.49
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	UNSAT	7.49
stmt39_107_285	UNSAT	7.49
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005	UNSAT	7.52
aim-200-3_4-yes1-2-00	UNSAT	7.53
stmt41_37_286	UNSAT	7.56
c2_BMC_p2_k64	UNSAT	7.56
BLOCKS4ii.7.2	UNSAT	7.62
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	7.62
stmt31_190_276	UNSAT	7.64
par16-2-c-90	SAT	7.66
c5_BMC_p1_k32	SAT	7.72
stmt1_60_61	SAT	7.72
k_ph_p-9	UNSAT	7.73
stmt32_24_277	UNSAT	7.87
s713_d4_s	SAT	7.89
stmt50_51_293	UNSAT	7.91
stmt32_228_277	UNSAT	7.92
stmt50_167_293	UNSAT	7.92
Adder2-6-s	SAT	7.92
par16-3-c-00	UNSAT	7.94
stmt52_244_295	UNSAT	7.96
aim-200-3_4-yes1-1-00	UNSAT	7.98
ken.flash^12.C-d3	SAT	8
stmt16_68_69	SAT	8
stmt32_153_277	UNSAT	8.01
stmt19_257_266	UNSAT	8.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-004	UNSAT	8.02
s3330_d2_s	SAT	8.04
par16-1-90	UNSAT	8.07
stmt52_117_295	UNSAT	8.08
stmt31_100_276	UNSAT	8.08
stmt50_205_293	UNSAT	8.13
sortnetsort7.AE.stepl.004	SAT	8.13
vonNeumann-ripple-carry-8-c	UNSAT	8.33
ken.flash^03.C-d2	UNSAT	8.35
stmt22_139_320	UNSAT	8.38
k_lin_n-16	SAT	8.39
stmt19_67_318	UNSAT	8.39
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	8.41
stmt22_259_263	UNSAT	8.42
stmt22_92_320	UNSAT	8.43
stmt19_217_318	UNSAT	8.43
s820_d3_s	SAT	8.44
nusmv.tcas^1.B-d2	SAT	8.47
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	8.55
BLOCKS4iii.7	SAT	8.57
stmt22_85_320	UNSAT	8.58
stmt21_252_262	UNSAT	8.59
stmt19_142_318	UNSAT	8.64
stmt22_182_320	UNSAT	8.66
ii32c2-50	SAT	8.67
k_ph_n-13	SAT	8.73
vis.coherence^2.E-f2	SAT	8.77
nusmv.tcas-t^1.B-d2	SAT	8.84
stmt21_70_310	UNSAT	8.87
stmt21_71_304	UNSAT	8.89
stmt22_253_259	UNSAT	8.89
stmt29_21_275	UNSAT	8.91
stmt50_50_293	UNSAT	8.97
c6_BMC_p2_k512	UNSAT	9.01
qshifter_8	SAT	9.04
stmt39_34_285	UNSAT	9.05
stmt41_235_286	UNSAT	9.06
stmt41_198_286	UNSAT	9.07
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	UNSAT	9.11
c3_BMC_p2_k512	UNSAT	9.15
stmt21_4_310	UNSAT	9.15
stmt47_202_290	UNSAT	9.17
stmt19_142_302	UNSAT	9.21
stmt19_66_318	UNSAT	9.22
stmt19_3_309	UNSAT	9.22
stmt19_78_318	UNSAT	9.25
k_branch_p-13	UNSAT	9.26
stmt21_91_304	UNSAT	9.32
ii32c3-90	SAT	9.33
stmt22_135_320	UNSAT	9.33
stmt19_177_318	UNSAT	9.33
ken.flash^02.C-f3	SAT	9.34
stmt21_127_319	UNSAT	9.35
stmt19_83_302	UNSAT	9.36
stmt22_182_305	UNSAT	9.37
eijk.S208.S-f2	SAT	9.37
stmt47_112_290	UNSAT	9.4
stmt47_239_290	UNSAT	9.45
stmt44_41_288	UNSAT	9.45
stmt19_214_302	UNSAT	9.46
stmt19_214_318	UNSAT	9.47
stmt46_163_289	UNSAT	9.47
stmt21_4_304	UNSAT	9.47
test3_quant_squaring2	UNSAT	9.48
stmt21_138_304	UNSAT	9.49
test3_quant2	UNSAT	9.49
stmt46_42_289	UNSAT	9.5
ev-pr-4x4-5-3-0-0-1-s	SAT	9.51
stmt21_5_304	UNSAT	9.52
stmt21_70_304	UNSAT	9.52
stmt21_79_304	UNSAT	9.53
stmt19_217_302	UNSAT	9.54
stmt19_142_309	UNSAT	9.55
sortnetsort9.v.stepl.011	SAT	9.56
stmt19_177_302	UNSAT	9.56
k_lin_n-4	SAT	9.63
c1_BMC_p1_k16	SAT	9.63
stmt21_134_304	UNSAT	9.63
stmt19_125_302	UNSAT	9.7
stmt19_90_309	UNSAT	9.73
stmt21_84_310	UNSAT	9.75
nusmv.tcas-t^6.B-f2	SAT	9.78
ii32e2-50	SAT	9.81
par16-3-c-50	UNSAT	9.87
stmt19_217_309	UNSAT	9.89
stmt21_127_310	UNSAT	9.92
stmt19_214_309	UNSAT	9.94
stmt19_180_309	UNSAT	9.95
stmt21_71_314	UNSAT	9.95
stmt22_135_311	UNSAT	10.06
stmt19_3_313	UNSAT	10.1
stmt22_92_315	UNSAT	10.13
stmt22_85_315	UNSAT	10.15
stmt19_177_309	UNSAT	10.16
stmt19_78_309	UNSAT	10.18
stmt21_143_314	UNSAT	10.21
ii32e2-00	SAT	10.25
stmt21_79_314	UNSAT	10.26
stmt22_135_315	UNSAT	10.27
stmt19_125_313	UNSAT	10.28
stmt19_180_313	UNSAT	10.3
stmt19_214_313	UNSAT	10.33
stmt19_2_313	UNSAT	10.35
par16-1-50	UNSAT	10.36
stmt19_177_313	UNSAT	10.37
stmt21_70_314	UNSAT	10.39
k_ph_n-17	SAT	10.44
stmt21_218_314	UNSAT	10.47
stmt19_137_313	UNSAT	10.5
stmt21_138_310	UNSAT	10.52
stmt11_643_645	SAT	10.6
ken.flash^09.C-f3	UNSAT	10.69
irst.dme6.B-d3	SAT	10.72
irst.dme4.B-d4	SAT	10.79
ken.flash^06.C-f3	UNSAT	10.79
stmt31_22_328	UNSAT	10.86
sortnetsort9.v.stepl.008	SAT	10.93
ii32c3-50	SAT	10.97
c5_BMC_p2_k32	UNSAT	10.99
jnh201-90	SAT	11.23
stmt21_4_354	UNSAT	11.25
stmt21_5_354	UNSAT	11.25
szymanski-16-s	UNSAT	11.26
stmt21_252_314	UNSAT	11.27
stmt19_257_318	UNSAT	11.28
stmt21_70_354	UNSAT	11.29
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	11.41
stmt39_107_335	UNSAT	11.41
k_d4_n-11	SAT	11.43
term1.blif_0.10_0.20_0_1_out_exact	SAT	11.48
c1_BMC_p2_k32	UNSAT	11.53
c2_BMC_p2_k4	UNSAT	11.54
c4_BMC_p1_k512	SAT	11.65
c3_BMC_p1_k64	SAT	11.95
c2_BMC_p2_k128	UNSAT	12.08
k_lin_n-18	SAT	12.14
stmt52_54_345	UNSAT	12.41
stmt53_57_346	UNSAT	12.42
vonNeumann-ripple-carry-9-c	UNSAT	12.43
stmt39_234_335	UNSAT	12.46
vis.coherence^5.E-f2	SAT	12.51
stmt41_198_336	UNSAT	12.53
adder-8-sat	SAT	12.61
stmt39_159_335	UNSAT	12.62
stmt29_21_327	UNSAT	12.74
vis.bakery.E-f3	SAT	12.85
par16-1-00	UNSAT	12.87
c1_BMC_p1_k32	SAT	12.87
sortnetsort9.v.stepl.010	SAT	12.88
stmt21_267_310	UNSAT	12.89
ken.flash^14.C-d4	UNSAT	13.03
s499_d9_s	SAT	13.05
c6_BMC_p1_k128	SAT	13.07
stmt31_152_328	UNSAT	13.25
stmt32_191_329	UNSAT	13.35
stmt29_226_327	UNSAT	13.38
term1.blif_0.10_0.20_0_1_inp_exact	SAT	13.42
sortnetsort9.v.stepl.009	SAT	13.65
stmt22_73_311	UNSAT	13.66
stmt31_100_328	UNSAT	13.73
s499_d6_s	SAT	13.87
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	13.96
flipflop-10-c	UNSAT	14.21
stmt41_738_737	SAT	14.54
Adder2-8-s	SAT	14.72
flipflop-11-c	UNSAT	14.73
stmt1_919_920	SAT	14.82
stmt44_916_917	SAT	14.88
s499_d8_s	SAT	15.04
ii32c3-00	SAT	15.16
s499_d7_s	SAT	15.18
stmt50_51_392	UNSAT	15.21
stmt39_35_335	UNSAT	15.27
c3_BMC_p1_k128	SAT	15.32
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	15.42
s510_d6_s	SAT	15.43
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	15.46
par16-2-c-00	SAT	15.49
c4_BMC_p1_k2048	SAT	15.69
k_ph_n-18	SAT	15.71
stmt22_144_370	UNSAT	15.76
eijk.S208c.S-f4	SAT	15.87
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	16.04
stmt19_137_368	UNSAT	16.06
c6_BMC_p1_k256	SAT	16.09
eijk.S1238.S-d3	UNSAT	16.11
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	16.15
stmt44_200_338	UNSAT	16.28
sortnetsort9.v.stepl.012	SAT	16.47
stmt44_162_338	UNSAT	16.48
ii32c2-00	SAT	16.55
stmt44_110_338	UNSAT	16.57
k_d4_n-15	SAT	16.89
nusmv.reactor^5.C-d4	SAT	16.94
c3_BMC_p2_k1024	UNSAT	16.96
szymanski-18-s	UNSAT	17.02
k_d4_n-13	SAT	17.08
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	17.19
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.21
k_d4_n-14	SAT	17.23
s386_d4_s	SAT	17.35
k_lin_n-20	SAT	17.64
ii8b1-00	SAT	17.95
nusmv.dme2-16.B-d3	SAT	18.22
k_d4_n-16	SAT	18.29
nusmv.reactor^7.C-f3	SAT	18.33
nusmv.reactor^3.C-d4	SAT	18.55
k5_2_3	SAT	18.59
k_d4_n-12	SAT	18.69
s499_d10_s	SAT	18.81
c1_BMC_p2_k64	UNSAT	18.96
k_d4_n-21	SAT	19.1
ev-pr-4x4-7-3-0-0-1-s	SAT	19.22
k_d4_n-17	SAT	19.27
nusmv.reactor^2.C-d4	SAT	19.31
nusmv.reactor^4.C-d4	SAT	19.33
stmt19_180_352	UNSAT	19.36
aim-50-3_4-yes1-3-50	SAT	19.41
stmt19_177_352	UNSAT	19.52
k_d4_n-20	SAT	19.53
eijk.S1238.S-d4	UNSAT	19.53
stmt19_217_352	UNSAT	19.79
stmt21_215_354	UNSAT	19.9
ii8b1-50	SAT	19.94
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	20.03
k_ph_n-19	SAT	20.04
k_d4_n-18	SAT	20.07
vonNeumann-ripple-carry-10-c	UNSAT	20.51
c1_BMC_p1_k64	SAT	20.53
nusmv.reactor^4.C-f3	SAT	20.56
stmt22_85_355	UNSAT	20.72
stmt19_137_352	UNSAT	20.75
stmt19_78_352	UNSAT	20.82
stmt21_127_354	UNSAT	20.83
stmt21_134_354	UNSAT	20.85
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	21
sortnetsort9.v.stepl.004	UNSAT	21.28
k_lin_n-21	SAT	21.43
stmt41_36_336	UNSAT	21.45
eijk.S820.S-f2	SAT	21.58
stmt22_144_355	UNSAT	21.81
stmt19_90_352	UNSAT	21.87
texas.parsesys^2.E-f3	UNSAT	21.87
c2_BMC_p1_k4	SAT	21.89
sortnetsort9.AE.stepl.004	SAT	21.94
vis.4-arbit^1.E-f2	SAT	22.23
sortnetsort10.v.stepl.009	SAT	22.36
texas.PI_main^05.E-f2	SAT	22.42
s499_d11_s	SAT	22.57
ken.flash^03.C-d4	UNSAT	22.67
stmt21_181_364	UNSAT	22.83
s510_d7_s	SAT	22.9
stmt21_218_364	UNSAT	22.91
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	22.93
stmt19_66_359	UNSAT	22.99
C880.blif_0.10_1.00_0_1_out_exact	SAT	22.99
stmt21_5_360	UNSAT	23.06
stmt19_125_363	UNSAT	23.07
stmt19_177_363	UNSAT	23.1
stmt21_134_364	UNSAT	23.1
stmt19_78_363	UNSAT	23.11
stmt47_44_340	UNSAT	23.13
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	23.21
stmt46_43_339	UNSAT	23.24
stmt19_137_363	UNSAT	23.25
stmt50_167_343	UNSAT	23.27
stmt21_4_364	UNSAT	23.29
stmt52_169_394	UNSAT	23.3
stmt19_214_363	UNSAT	23.31
stmt52_244_394	UNSAT	23.39
vonNeumann-ripple-carry-11-c	UNSAT	23.41
stmt52_207_345	UNSAT	23.42
stmt21_5_364	UNSAT	23.44
stmt19_66_363	UNSAT	23.49
c6_BMC_p2_k1024	UNSAT	23.6
k_ph_n-7	SAT	23.65
stmt53_118_346	UNSAT	23.66
stmt19_3_401	UNSAT	23.79
stmt50_50_392	UNSAT	23.79
stmt19_66_401	UNSAT	23.97
stmt19_2_401	UNSAT	24.01
flipflop-12-c	UNSAT	24.16
texas.PI_main^02.E-f2	SAT	24.24
stmt21_4_409	UNSAT	24.27
stmt19_67_363	UNSAT	24.27
stmt19_133_368	UNSAT	24.28
stmt19_3_408	UNSAT	24.34
stmt19_177_368	UNSAT	24.34
stmt22_80_370	UNSAT	24.41
stmt21_84_364	UNSAT	24.5
stmt21_127_369	UNSAT	24.55
texas.PI_main^08.E-f2	SAT	24.59
nusmv.guidance^1.C-f2	SAT	24.63
stmt22_80_404	UNSAT	24.67
stmt21_71_354	UNSAT	24.69
stmt50_115_392	UNSAT	24.69
stmt21_127_409	UNSAT	24.74
stmt21_70_369	UNSAT	24.74
stmt22_85_410	UNSAT	24.77
stmt19_180_408	UNSAT	24.81
stmt19_66_408	UNSAT	24.91
stmt21_71_360	UNSAT	25.06
c6_BMC_p1_k512	SAT	25.16
s499_d14_s	SAT	25.24
stmt19_78_417	UNSAT	25.39
stmt19_137_417	UNSAT	25.39
stmt21_127_418	UNSAT	25.41
stmt22_311_320	UNSAT	25.42
k_ph_n-20	SAT	25.49
stmt19_142_412	UNSAT	25.49
stmt21_91_413	UNSAT	25.52
stmt22_144_419	UNSAT	25.53
stmt21_134_418	UNSAT	25.53
stmt22_73_419	UNSAT	25.54
stmt19_83_417	UNSAT	25.54
stmt21_71_413	UNSAT	25.55
stmt19_66_417	UNSAT	25.55
sortnetsort8.v.stepl.007	SAT	25.57
stmt19_90_417	UNSAT	25.63
szymanski-20-s	UNSAT	25.65
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	25.65
stmt21_252_418	UNSAT	25.81
stmt21_91_369	UNSAT	25.92
stmt32_153_378	UNSAT	25.94
stmt19_352_417	UNSAT	26.03
stmt21_181_369	UNSAT	26.05
stmt21_84_369	UNSAT	26.15
stmt19_67_368	UNSAT	26.23
c2_BMC_p2_k256	UNSAT	26.28
sortnetsort7.AE.stepl.008	UNSAT	26.66
stmt19_137_408	UNSAT	26.71
stmt41_198_385	UNSAT	26.78
stmt39_34_384	UNSAT	26.86
stmt32_101_378	UNSAT	27
stmt32_191_378	UNSAT	27.02
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	27.11
nusmv.guidance^3.C-f3	SAT	27.31
stmt31_23_377	UNSAT	27.37
vis.prodcell^18.E-f2	SAT	27.44
vis.prodcell^16.E-f2	SAT	27.58
ken.flash^14.C-d2	UNSAT	27.73
stmt39_35_384	UNSAT	27.82
c3_BMC_p2_k2048	UNSAT	27.84
stmt44_40_387	UNSAT	27.93
stmt21_218_360	UNSAT	28.19
nusmv.reactor^2.C-f3	SAT	28.22
stmt19_177_359	UNSAT	28.22
stmt21_181_360	UNSAT	28.46
stmt19_214_359	UNSAT	28.56
sortnetsort8.AE.stepl.007	UNSAT	28.95
s499_d12_s	SAT	28.96
vonNeumann-ripple-carry-12-c	UNSAT	29.14
stmt22_80_361	UNSAT	29.18
stmt21_127_360	UNSAT	29.29
stmt19_133_359	UNSAT	29.36
sortnetsort8.v.stepl.006	SAT	29.37
stmt21_71_409	UNSAT	29.37
stmt22_92_404	UNSAT	29.51
stmt19_137_359	UNSAT	29.57
stmt22_73_404	UNSAT	29.71
stmt19_83_359	UNSAT	29.72
stmt22_259_355	UNSAT	29.77
sortnetsort7.AE.stepl.009	UNSAT	29.79
vis.prodcell^19.E-f2	SAT	30
ev-pr-4x4-9-3-0-0-1-s	SAT	30.31
vis.arbiter.E-f3	SAT	30.59
vis.prodcell^13.E-f2	SAT	30.8
stmt19_90_363	UNSAT	30.97
stmt19_142_363	UNSAT	31.35
vis.prodcell^17.E-f2	SAT	31.39
s499_d15_s	SAT	31.57
vis.prodcell^15.E-f2	SAT	31.76
stmt22_92_361	UNSAT	32.17
c1_BMC_p2_k256	UNSAT	32.2
stmt39_107_384	UNSAT	32.21
stmt39_159_384	UNSAT	32.23
stmt22_144_361	UNSAT	32.67
eijk.S382.S-f3	SAT	33.34
aim-100-2_0-yes1-2-50	SAT	33.39
s3330_d3_s	SAT	33.44
stmt22_80_414	UNSAT	33.63
stmt19_66_412	UNSAT	33.76
stmt19_83_412	UNSAT	33.76
vis.prodcell^14.E-f2	SAT	34.3
stmt44_162_387	UNSAT	34.49
sortnetsort7.AE.stepl.007	UNSAT	34.72
stmt21_127_413	UNSAT	34.82
stmt32_24_378	UNSAT	34.85
stmt21_134_413	UNSAT	35.11
stmt21_138_413	UNSAT	35.16
stmt19_90_408	UNSAT	35.16
stmt21_181_413	UNSAT	35.19
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	35.31
k_branch_p-11	UNSAT	35.39
stmt19_217_408	UNSAT	35.92
s499_d13_s	SAT	35.99
stmt19_133_408	UNSAT	36.04
stmt21_143_409	UNSAT	36.04
nusmv.reactor^1.C-d4	SAT	36.16
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	UNSAT	36.34
stmt47_112_389	UNSAT	36.34
k_ph_n-21	SAT	36.53
stmt19_78_408	UNSAT	36.66
c2_BMC_p1_k256	SAT	36.67
stmt21_319_364	UNSAT	36.87
eijk.S1196.S-d3	UNSAT	37.04
stmt21_84_403	UNSAT	37.47
stmt22_135_404	UNSAT	37.57
stmt22_139_404	UNSAT	37.85
stmt85_122_399	UNSAT	38.07
eijk.S386.S-d3	SAT	38.17
adder-10-sat	SAT	38.67
cube_c9_par--opt-11_	SAT	38.85
s386_d5_s	SAT	39.14
ev-pr-4x4-11-3-0-0-1-s	SAT	39.79
stmt21_143_403	UNSAT	40.38
c1_BMC_p2_k128	UNSAT	41.07
k_branch_p-6	UNSAT	41.3
jnh210-00	UNSAT	41.37
vis.prodcell^01.E-f2	SAT	42.25
stmt19_368_401	UNSAT	42.68
s510_d8_s	SAT	42.84
sortnetsort8.v.stepl.005	UNSAT	42.89
c1_BMC_p1_k128	SAT	43.22
stmt44_41_387	UNSAT	44.55
c1_BMC_p1_k256	SAT	44.79
sortnetsort10.v.stepl.012	SAT	45.08
vis.4-arbit^2.E-f3	SAT	45.13
sortnetsort10.v.stepl.010	SAT	45.37
vis.prodcell^23.E-f2	SAT	45.41
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	45.47
vonNeumann-ripple-carry-13-c	UNSAT	45.71
k5_3_3	SAT	45.97
cmu.periodic.N-f3	SAT	46.49
vis.prodcell^24.E-f2	SAT	46.8
stmt22_365_404	UNSAT	47.71
k_branch_n-5	SAT	47.78
ken.flash^06.C-f4	UNSAT	48.68
stmt22_6_414	UNSAT	49.28
stmt21_5_413	UNSAT	49.42
stmt21_326_327	SAT	49.64
s820_d4_s	SAT	50.04
ev-pr-4x4-13-3-0-0-1-s	SAT	50.16
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	UNSAT	50.49
k_branch_p-14	UNSAT	51.72
sortnetsort10.v.stepl.011	SAT	51.73
vis.prodcell^20.E-f2	SAT	52.35
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	52.94
texas.parsesys^2.E-f4	UNSAT	53.82
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	54.32
ken.flash^03.C-f4	UNSAT	54.71
aim-50-2_0-yes1-4-00	UNSAT	55.17
vis.prodcell^03.E-f2	SAT	55.47
ii32b2-90	SAT	55.58
eijk.S208.S-f3	SAT	56.32
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	57.02
nusmv.guidance^6.C-f3	SAT	57.03
c4_Debug_s5_f2_e1_v3	SAT	57.08
c4_Debug_s5_f2_e2_v3	SAT	57.22
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	UNSAT	57.35
stmt19_352_408	UNSAT	57.45
c4_Debug_s5_f2_e2_v1	SAT	57.57
c4_Debug_s5_f2_e1_v2	SAT	57.81
c6_BMC_p2_k2048	UNSAT	57.91
c4_Debug_s5_f2_e2_v2	SAT	58.03
szymanski-24-s	UNSAT	58.78
stmt21_403_409	UNSAT	59.31
c6_BMC_p1_k2048	SAT	62.21
s386_d6_s	SAT	62.67
k_branch_p-15	UNSAT	62.83
c2_BMC_p2_k512	UNSAT	63.82
eijk.S832.S-d4	SAT	65.3
ken.flash^12.C-d2	SAT	65.64
ii8a2-50	SAT	66.03
eijk.S820.S-d4	SAT	66.16
nusmv.reactor^3.C-f3	SAT	67.5
nusmv.guidance^9.C-f3	SAT	68.12
stmt37_941_942	SAT	68.64
nusmv.guidance^7.C-f3	SAT	70.94
ken.flash^02.C-d4	SAT	71.12
ev-pr-4x4-17-3-0-0-1-s	SAT	71.22
k_branch_p-16	UNSAT	71.37
k_d4_n-19	SAT	71.94
eijk.S1196.S-d4	UNSAT	72.24
s510_d10_s	SAT	73.18
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	UNSAT	73.91
vis.prodcell^22.E-f2	SAT	77.51
eijk.S1196.S-f4	UNSAT	78.71
ken.flash^09.C-d2	UNSAT	78.95
c2_BMC_p1_k2048	FAIL	79.37
c2_BMC_p2_k2048	FAIL	80.29
emptyroom_e3_par--opt-10_	SAT	80.43
k_lin_n-6	SAT	80.46
aim-100-1_6-yes1-2-00	SAT	82.03
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	82.25
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	UNSAT	82.57
s820_d5_s	SAT	83.65
ken.flash^10.C-d2	UNSAT	83.87
c1_Debug_s3_f1_e1_v2	SAT	84.48
adder-12-sat	SAT	86.34
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	86.34
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	86.4
texas.two_proc^6.E-f3	SAT	86.42
Adder2-4-s	SAT	86.48
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	86.52
aim-50-1_6-yes1-1-90	UNSAT	86.54
stmt24_765_766	SAT	86.83
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	88.27
nusmv.queue.B-d2	SAT	88.33
vis.prodcell^08.E-f2	UNSAT	88.49
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	UNSAT	88.55
vis.prodcell^21.E-f3	UNSAT	88.63
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-004	UNSAT	88.8
ken.flash^08.C-f3	UNSAT	88.86
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	UNSAT	88.9
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	UNSAT	88.93
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	UNSAT	88.95
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	UNSAT	89.1
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	UNSAT	89.33
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	UNSAT	89.34
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	UNSAT	89.48
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	UNSAT	89.53
k_grz_n-21	SAT	89.75
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	UNSAT	89.87
c1_BMC_p1_k8	SAT	90.03
vis.prodcell^11.E-f4	UNSAT	90.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	90.07
c5_BMC_p1_k8	SAT	90.13
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	UNSAT	90.2
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	UNSAT	91.34
c4_BMC_p1_k1024	SAT	91.8
ken.flash^09.C-f4	UNSAT	92.85
c2_BMC_p1_k512	SAT	92.85
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	UNSAT	92.96
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	UNSAT	93.32
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	UNSAT	95.52
sortnetsort7.v.stepl.005	UNSAT	97.29
sortnetsort10.v.stepl.004	UNSAT	103.64
c4_Debug_s3_f1_e1_v2	SAT	103.99
c4_Debug_s3_f1_e2_v1	SAT	104.55
cube_c9_par---10_	UNSAT	104.6
c4_Debug_s3_f1_e1_v1	SAT	105.54
c2_BMC_p1_k64	SAT	106.21
k_ph_p-10	UNSAT	107.79
stmt21_4_360	UNSAT	109.03
c6_BMC_p1_k1024	SAT	109.9
c1_BMC_p1_k512	SAT	112.87
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	118.34
ii8a4-00	SAT	119.32
c2_Debug_s5_f1_e1_v2	SAT	121.4
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	126.79
C6288.blif_0.10_1.00_0_1_out_exact	SAT	127.35
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	127.91
sortnetsort10.v.stepl.008	SAT	128.46
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	128.86
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	129.04
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	UNSAT	129.14
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	129.34
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	129.72
eijk.bs6669.S-d3	SAT	130.99
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	UNSAT	131.94
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	132.04
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	UNSAT	132.31
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	UNSAT	132.41
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	132.74
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	132.99
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	133.55
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006	UNSAT	133.63
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	135.2
eijk.bs6669.S-d4	SAT	136.18
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	136.37
nusmv.reactor^2.C-f2	SAT	136.38
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	138.73
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	139.6
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	139.96
nusmv.guidance^6.C-f2	SAT	141.42
c4_Debug_s5_f2_e1_v1	SAT	142.94
par16-5-c-50	UNSAT	144.35
mutex-16-s	SAT	144.49
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	145.82
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	147.3
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	147.73
stmt41_566_580	SAT	148.03
nusmv.reactor^6.C-f3	SAT	148.4
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	148.72
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	152.57
nusmv.queue.B-f2	SAT	153.77
eijk.S344.S-d3	SAT	155.03
sortnetsort9.v.stepl.005	UNSAT	157.19
vis.elevator^2.E-f2	SAT	158.09
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	159.65
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	161.56
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	163.11
c2_Debug_s3_f1_e1_v2	SAT	163.48
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	165.59
vonNeumann-ripple-carry-15-c	FAIL	169.31
c5_BMC_p2_k1024	FAIL	169.35
emptyroom_e3_ser--opt-20_	SAT	169.62
eijk.bs4863.S-d3	SAT	170.31
c5_BMC_p1_k1024	FAIL	170.38
cube_c5_ser--opt-15_	SAT	171.94
vis.4-arbit^2.E-f2	SAT	172.16
c1_BMC_p1_k1024	FAIL	173.54
c1_BMC_p2_k1024	FAIL	174.3
c1_BMC_p1_k2048	FAIL	174.35
stmt21_310_360	UNSAT	174.62
aim-200-2_0-yes1-1-50	UNSAT	175.2
aim-200-1_6-yes1-3-00	UNSAT	175.96
c3_Debug_s3_f2_e2_v2	FAIL	176.6
vis.prodcell^12.E-f2	SAT	179.4
c1_Debug_s3_f1_e1_v1	FAIL	180.81
c5_BMC_p2_k2048	FAIL	181.22
c4_Debug_s3_f1_e1_v3	SAT	181.44
c3_Debug_s3_f2_e2_v3	FAIL	181.52
c1_Debug_s3_f1_e1_v3	FAIL	183.52
ken.flash^03.C-d3	UNSAT	185.59
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-004	UNSAT	188.45
vis.prodcell^05.E-f2	SAT	189.32
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	UNSAT	190.29
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	191.59
vis.eisenberg.E-f4	SAT	204.32
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	206.03
szymanski-22-s	UNSAT	214.15
nusmv.dme1-16.B-d4	SAT	215.22
ii32e2-90	SAT	216.97
eijk.S344.S-f4	SAT	217.19
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	220.49
eijk.S526.S-f4	SAT	222.35
c2_BMC_p2_k1024	UNSAT	226.39
texas.ifetch1^9.E-f3	SAT	231.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-007	UNSAT	240.52
ssa7552-160-00	SAT	241.1
ev-pr-6x6-5-5-0-1-2-s	UNSAT	243.7
cmu.gigamax.B-f3	UNSAT	247.38
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	UNSAT	251.24
C6288.blif_0.10_1.00_0_1_inp_exact	SAT	255.07
jnh218-50	SAT	257.68
C499.blif_0.10_0.20_0_1_inp_exact	SAT	258.22
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-009	UNSAT	259.35
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	UNSAT	263.22
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	UNSAT	264.98
sortnetsort9.v.stepl.007	SAT	266.67
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	266.7
sortnetsort10.v.stepl.005	UNSAT	308.94
c3_BMC_p1_k256	SAT	319.11
irst.dme6.B-d4	SAT	322.56
ev-pr-4x4-15-3-0-0-1-s	SAT	324.06
c1_BMC_p2_k512	UNSAT	329.68
vis.4-arbit^1.E-f3	SAT	336.21
c2_BMC_p1_k128	SAT	337.91
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	340.95
ii8a1-00	SAT	342.59
emptyroom_e4_par--opt-22_	SAT	355.06
c4_Debug_s3_f1_e2_v2	SAT	359.06
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	376.1
cube_c11_par--opt-14_	SAT	381.55
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	408.28
counter_re_64	FAIL	411.39
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	UNSAT	415.66
eijk.S208.S-f4	SAT	416.85
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	UNSAT	417.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-007	FAIL	417.74
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	418.15
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	418.3
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	420.04
counter_e_64	FAIL	420.68
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	421.85
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	422.63
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	422.98
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	423.89
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	424.36
counter_r_64	FAIL	424.51
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	425.76
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	426.13
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	426.24
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	426.68
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	426.85
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	426.92
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	427.38
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	429.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-009	FAIL	429.26
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	430.16
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	430.32
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	430.92
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	431
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	432.03
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	FAIL	432.18
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	432.26
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	432.36
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	432.38
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	432.62
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	433.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-007	FAIL	433.87
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	434.08
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	434.46
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	435.47
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	435.63
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	436.21
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	436.38
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	436.99
stmt23_92_96	FAIL	437.59
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	437.68
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	438.64
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	439.69
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-005	FAIL	439.98
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	440.12
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	440.68
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	440.8
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	440.87
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	441
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	441.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	441.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	441.44
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	441.48
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	441.48
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	441.62
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	443.1
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	443.26
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	443.54
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	444.62
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	445.52
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	446.17
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	446.28
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	446.4
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	446.58
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	446.86
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	446.93
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	447.3
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	448.22
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	449.87
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	450.32
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	451.18
stmt17_86_98	FAIL	451.21
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	451.65
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	451.84
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	452.58
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	452.72
stmt28_89_97	FAIL	453.2
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	453.53
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	453.66
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	455.01
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	FAIL	455.15
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	455.71
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	455.77
stmt23_66_67	FAIL	456.26
stmt17_94_98	FAIL	457.49
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-006	FAIL	457.56
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	457.8
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	458.26
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	459.31
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	459.59
stmt17_63_82	FAIL	459.66
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	460.63
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	461.08
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	461.31
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	461.35
stmt19_64_91	FAIL	461.47
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	461.74
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	463.15
stmt23_72_76	FAIL	463.38
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	463.49
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	463.73
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	FAIL	464.09
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	FAIL	464.11
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	464.37
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	464.41
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	464.61
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	464.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-010	FAIL	465.53
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	466.67
stmt23_66_96	FAIL	467.25
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	467.37
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	467.41
counter_64	FAIL	468.07
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	468.12
stmt1_629_630	FAIL	468.17
stmt19_64_99	FAIL	468.5
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-008	FAIL	468.64
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010	FAIL	469.04
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-006	FAIL	469.38
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	469.39
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	470.52
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	470.63
stmt2_976_999	FAIL	471.16
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	473.34
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	474.38
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-004	FAIL	474.71
stmt17_63_70	FAIL	474.86
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	474.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-010	FAIL	476
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	476.38
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	476.39
stmt19_79_83	FAIL	476.69
stmt28_68_69	FAIL	477.01
stmt28_73_85	FAIL	477.55
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	477.61
stmt17_70_90	FAIL	477.69
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	FAIL	477.95
stmt19_65_95	FAIL	478.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-008	FAIL	478.08
stmt19_79_87	FAIL	478.48
stmt23_66_76	FAIL	478.5
stmt17_74_90	FAIL	478.78
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	478.92
stmt19_71_95	FAIL	479.14
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	479.23
stmt17_62_98	FAIL	479.73
stmt17_78_90	FAIL	480.15
stmt17_82_86	FAIL	480.2
stmt19_75_95	FAIL	480.25
Adder2-6-c	FAIL	480.27
stmt28_68_73	FAIL	480.41
stmt17_70_98	FAIL	480.7
stmt38_943_942	FAIL	481.04
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	481.2
stmt19_83_91	FAIL	481.47
stmt17_78_94	FAIL	481.89
stmt17_62_78	FAIL	482.26
stmt17_70_78	FAIL	482.43
stmt23_88_92	FAIL	482.44
stmt28_73_97	FAIL	482.57
stmt17_63_78	FAIL	482.78
stmt19_64_87	FAIL	483.01
stmt17_82_94	FAIL	483.25
stmt28_68_81	FAIL	483.33
stmt17_78_98	FAIL	483.44
stmt19_87_95	FAIL	483.85
stmt17_74_78	FAIL	483.97
stmt17_70_86	FAIL	484.03
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005	FAIL	484.28
stmt17_82_98	FAIL	484.46
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	484.51
stmt17_70_82	FAIL	484.86
stmt19_65_87	FAIL	484.87
stmt47_290_340	FAIL	484.89
c2_BMC_p1_k1024	SAT	485.51
k_branch_n-8	FAIL	485.65
stmt19_75_83	FAIL	485.85
stmt46_289_388	FAIL	485.89
stmt41_286_385	FAIL	486.23
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	487.43
stmt23_67_92	FAIL	487.46
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	489.02
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	491.14
Adder2-8-c	FAIL	491.19
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	491.33
counter_e_16	FAIL	492.96
counter_re_32	FAIL	493.68
counter_re_16	FAIL	494.19
Adder2-12-c	FAIL	495.05
counter_r_16	FAIL	496.38
k_branch_n-7	FAIL	496.42
adder-6-unsat	FAIL	496.94
k_branch_n-15	FAIL	497.05
counter_e_32	FAIL	497.27
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	497.48
adder-4-unsat	FAIL	498.6
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	499.51
adder-8-unsat	FAIL	499.82
Adder2-10-c	FAIL	500
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	500.35
k_branch_n-9	FAIL	501.28
adder-10-unsat	FAIL	501.42
k_branch_p-20	FAIL	502.55
k_branch_n-10	FAIL	502.74
k_branch_n-17	FAIL	502.86
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	503.44
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	503.55
Adder2-14-c	FAIL	503.82
counter_r_32	FAIL	503.88
k_branch_p-19	FAIL	504.13
k_branch_n-6	FAIL	504.26
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	504.27
adder-12-unsat	FAIL	504.75
test1_quant2	FAIL	505.47
Adder2-16-c	FAIL	505.75
uclid-pipe3b	FAIL	505.84
k_branch_n-11	FAIL	505.88
k_branch_n-12	FAIL	506.08
uclid-pipe3a	FAIL	507.3
stmt19_302_352	FAIL	507.56
uclid-pipe2	FAIL	507.71
test1_quant_squaring3	FAIL	508.3
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	509.32
k_branch_n-13	FAIL	509.88
k_branch_n-18	FAIL	510.78
k_branch_n-19	FAIL	511.04
adder-14-unsat	FAIL	511.23
k_branch_n-14	FAIL	511.34
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	511.81
test1_quant_squaring2	FAIL	512.33
c5_BMC_p1_k2048	FAIL	512.58
stmt39_285_335	FAIL	513.57
stmt31_276_328	FAIL	513.65
stmt29_275_376	FAIL	513.74
stmt53_296_346	FAIL	513.76
stmt47_340_389	FAIL	513.9
stmt52_295_394	FAIL	513.97
stmt22_320_370	FAIL	514.01
stmt32_329_378	FAIL	514.03
stmt85_300_399	FAIL	514.12
stmt50_343_392	FAIL	514.16
stmt21_319_418	FAIL	514.16
stmt21_354_403	FAIL	514.17
stmt41_336_385	FAIL	514.19
stmt19_368_417	FAIL	514.22
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	514.24
test1_quant3	FAIL	514.65
k_branch_p-18	FAIL	514.77
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	515.17
k_branch_n-21	FAIL	516.24
k_branch_n-20	FAIL	516.32
adder-16-unsat	FAIL	516.59
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	516.88
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	517.1
k_branch_p-21	FAIL	517.39
k_branch_n-16	FAIL	518.65
s3330_d13_u	FAIL	519.27
sortnetsort10.AE.stepl.004	SAT	519.34
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	520.1
k_branch_p-17	FAIL	520.14
texas.PI_main^11.E-f4	FAIL	520.26
s3330_d14_u	FAIL	520.7
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	520.78
ssa7552-160-50	SAT	521.77
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	523.7
vis.prodcell^05.E-f3	FAIL	523.83
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	524.18
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	524.23
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	524.97
cmu.dme1.B-f4	FAIL	526.43
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	527.77
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	527.91
k10_4_3	FAIL	531.03
texas.PI_main^02.E-f4	FAIL	532.07
adder-16-sat	FAIL	532.08
texas.PI_main^08.E-f4	FAIL	532.68
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	534.98
counter_32	FAIL	535.31
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006	FAIL	537.11
cmu.dme1.B-f3	FAIL	537.25
nusmv.guidance^1.C-f3	FAIL	537.84
ii8a4-50	FAIL	540.04
nusmv.dme2-16.B-d4	FAIL	540.13
test2_quant_squaring3	FAIL	540.25
texas.PI_main^13.E-f4	FAIL	540.65
k10_4_4	FAIL	540.95
texas.PI_main^15.E-f4	FAIL	541.31
ii8e1-00	FAIL	541.48
irst.dme4.B-f3	FAIL	541.68
ii8d1-50	FAIL	541.91
texas.PI_main^16.E-f4	FAIL	542.95
ii8c1-00	FAIL	543.48
ii8d1-00	FAIL	544.81
eijk.S349.S-f3	FAIL	545.14
eijk.S838.S-f4	FAIL	545.78
ii8c1-50	FAIL	546.01
ii8e1-90	FAIL	546.06
ii8a3-90	FAIL	546.44
ken.flash^12.C-f4	FAIL	547.11
nusmv.tcas^3.B-f2	FAIL	547.25
ken.flash^12.C-d4	FAIL	547.31
texas.PI_main^05.E-f3	FAIL	547.37
eijk.bs6669.S-f2	FAIL	547.63
irst.dme4.B-f4	FAIL	547.72
nusmv.tcas^2.B-f2	FAIL	548.26
eijk.S832.S-f2	FAIL	548.35
nusmv.guidance^1.C-d3	FAIL	548.41
nusmv.guidance^5.C-f4	FAIL	548.89
cmu.dme2.B-f4	FAIL	549.27
nusmv.guidance^2.C-f3	FAIL	549.76
cmu.dme2.B-f2	FAIL	549.77
nusmv.guidance^5.C-f3	FAIL	550.07
irst.dme6.B-f3	FAIL	550.08
nusmv.tcas^5.B-f2	FAIL	550.33
cmu.dme1.B-f2	FAIL	550.55
eijk.bs3384.S-f2	FAIL	550.55
nusmv.dme1-16.B-f4	FAIL	551.18
ken.oop^2.C-d2	FAIL	552.88
eijk.bs1512.S-f3	FAIL	552.99
nusmv.dme1-16.B-f2	FAIL	553
nusmv.dme1-16.B-f3	FAIL	553.03
vis.prodcell^14.E-f3	FAIL	553.19
nusmv.reactor^6.C-f4	FAIL	553.25
ii8a3-50	FAIL	553.29
texas.two_proc^4.E-f3	FAIL	553.95
test2_quant3	FAIL	554.12
irst.dme5.B-f3	FAIL	554.21
vis.prodcell^14.E-f4	FAIL	554.28
nusmv.reactor^7.C-f4	FAIL	554.29
eijk.S1423.S-f3	FAIL	554.3
vis.coherence^2.E-f3	FAIL	554.3
irst.dme6.B-f4	FAIL	554.43
nusmv.reactor^2.C-f4	FAIL	554.45
eijk.S420.S-f3	FAIL	554.63
eijk.bs6669.S-f4	FAIL	554.79
nusmv.tcas^2.B-f3	FAIL	554.81
texas.two_proc^3.E-f3	FAIL	554.86
eijk.S838.S-f3	FAIL	554.96
eijk.bs1512.S-f2	FAIL	555
eijk.bs6669.S-f3	FAIL	555.17
nusmv.dme2-16.B-f3	FAIL	555.17
eijk.S5378.S-f2	FAIL	555.35
vis.prodcell^24.E-f3	FAIL	555.47
ken.oop^1.C-d3	FAIL	555.61
eijk.bs4863.S-f4	FAIL	556.01
eijk.S953.S-f4	FAIL	556.08
nusmv.guidance^7.C-f4	FAIL	556.11
vis.prodcell^23.E-f3	FAIL	556.12
nusmv.dme2-16.B-f4	FAIL	556.19
irst.dme5.B-d4	FAIL	556.42
eijk.S382.S-f4	FAIL	556.47
eijk.S713.S-f2	FAIL	556.54
eijk.S386.S-f4	FAIL	556.56
vis.4-arbit^1.E-f4	FAIL	556.6
eijk.S1423.S-f4	FAIL	556.74
eijk.S1423.S-f2	FAIL	556.79
ken.oop^1.C-d4	FAIL	556.83
nusmv.guidance^5.C-d3	FAIL	556.95
nusmv.guidance^2.C-d3	FAIL	556.99
vis.prodcell^13.E-f3	FAIL	557.01
cmu.dme2.B-f3	FAIL	557.04
eijk.bs4863.S-f2	FAIL	557.16
eijk.bs4863.S-d4	FAIL	557.31
cmu.gigamax.B-f4	FAIL	557.44
nusmv.tcas-t^1.B-d4	FAIL	557.51
nusmv.tcas^1.B-d4	FAIL	557.56
nusmv.tcas^6.B-f2	FAIL	557.76
nusmv.guidance^4.C-d3	FAIL	557.77
nusmv.guidance^6.C-d3	FAIL	557.83
eijk.S344.S-f3	FAIL	558.08
nusmv.tcas-t^1.B-f3	FAIL	558.2
nusmv.queue.B-f3	FAIL	558.24
nusmv.tcas^4.B-f2	FAIL	558.25
eijk.S444.S-f4	FAIL	558.31
nusmv.guidance^8.C-f3	FAIL	558.32
irst.dme5.B-f4	FAIL	558.56
texas.two_proc^4.E-f4	FAIL	558.78
nusmv.guidance^1.C-d2	FAIL	558.8
eijk.S386.S-f2	FAIL	558.84
eijk.S510.S-f3	FAIL	559.04
nusmv.tcas^1.B-d3	FAIL	559.11
eijk.bs1512.S-f4	FAIL	559.18
nusmv.guidance^1.C-f4	FAIL	559.34
vis.prodcell^02.E-f2	FAIL	559.42
vis.prodcell^17.E-f4	FAIL	559.68
eijk.bs4863.S-f3	FAIL	559.79
nusmv.tcas-t^1.B-d3	FAIL	559.84
eijk.bs3384.S-f4	FAIL	559.89
nusmv.tcas-t^6.B-f4	FAIL	560.18
vis.prodcell^17.E-f3	FAIL	560.22
eijk.S510.S-f4	FAIL	560.59
vis.prodcell^07.E-f2	FAIL	560.7
nusmv.guidance^6.C-f4	FAIL	560.87
ken.flash^01.C-f2	FAIL	560.93
eijk.bs3271.S-f4	FAIL	560.93
texas.PI_main^10.E-f3	FAIL	561.11
eijk.bs3330.S-f2	FAIL	561.16
texas.PI_main^10.E-f4	FAIL	561.16
eijk.S5378.S-f3	FAIL	561.16
texas.PI_main^16.E-f3	FAIL	561.26
eijk.S641.S-f4	FAIL	561.37
eijk.S713.S-f4	FAIL	561.45
nusmv.reactor^4.C-f4	FAIL	561.64
eijk.S5378.S-f4	FAIL	561.78
ken.oop^2.C-d3	FAIL	562.02
nusmv.tcas^4.B-f3	FAIL	562.26
ken.oop^1.C-d2	FAIL	562.28
nusmv.tcas^5.B-f3	FAIL	562.33
vis.prodcell^07.E-f4	FAIL	562.48
eijk.bs3330.S-d4	FAIL	562.82
ken.oop^2.C-f3	FAIL	562.97
vis.prodcell^18.E-f4	FAIL	563.08
eijk.bs3330.S-f3	FAIL	563.13
nusmv.guidance^3.C-f4	FAIL	563.18
vis.prodcell^06.E-f2	FAIL	563.33
nusmv.guidance^2.C-f4	FAIL	563.38
ken.oop^1.C-f3	FAIL	563.51
ken.flash^04.C-f2	FAIL	563.56
texas.PI_main^12.E-f4	FAIL	563.95
texas.PI_main^05.E-f4	FAIL	564.04
vis.prodcell^23.E-f4	FAIL	564.05
texas.two_proc^3.E-f4	FAIL	564.23
k12_3_3	FAIL	564.26
eijk.S298.S-f4	FAIL	564.29
nusmv.tcas^3.B-f3	FAIL	564.36
nusmv.guidance^4.C-f3	FAIL	564.38
nusmv.queue.B-f4	FAIL	564.44
eijk.bs3384.S-f3	FAIL	564.54
k12_4_4	FAIL	564.64
texas.two_proc^2.E-f4	FAIL	564.76
texas.two_proc^5.E-f3	FAIL	564.88
vis.coherence^2.E-f4	FAIL	564.88
eijk.S953.S-f3	FAIL	564.92
vis.prodcell^10.E-f3	FAIL	565.08
eijk.bs3330.S-d3	FAIL	565.32
vis.prodcell^16.E-f4	FAIL	565.53
vis.prodcell^19.E-f4	FAIL	565.66
vis.coherence^3.E-f4	FAIL	565.68
vis.coherence^5.E-f4	FAIL	565.8
vis.prodcell^12.E-f4	FAIL	565.85
vis.prodcell^22.E-f4	FAIL	565.92
vis.prodcell^07.E-f3	FAIL	566.69
vis.prodcell^10.E-f4	FAIL	566.7
k12_4_2	FAIL	566.75
vis.prodcell^18.E-f3	FAIL	566.8
vis.prodcell^02.E-f3	FAIL	567.27
nusmv.tcas-t^1.B-f4	FAIL	567.31
nusmv.brp.B-f3	FAIL	567.37
test2_quant_squaring2	FAIL	567.38
ken.flash^07.C-f2	FAIL	567.38
texas.PI_main^11.E-f3	FAIL	567.41
adder-14-sat	FAIL	567.43
vis.prodcell^15.E-f4	FAIL	567.47
texas.two_proc^1.E-f4	FAIL	567.53
vis.prodcell^16.E-f3	FAIL	567.66
nusmv.tcas^6.B-f3	FAIL	567.77
test2_quant2	FAIL	567.81
vis.prodcell^01.E-f3	FAIL	567.92
vis.prodcell^24.E-f4	FAIL	567.94
vis.elevator^2.E-f4	FAIL	567.98
nusmv.tcas-t^4.B-f2	FAIL	568.04
vis.prodcell^12.E-f3	FAIL	568.17
nusmv.tcas^3.B-f4	FAIL	568.28
nusmv.tcas^1.B-f2	FAIL	568.37
eijk.bs3330.S-f4	FAIL	568.5
nusmv.guidance^9.C-f4	FAIL	568.63
k12_3_4	FAIL	568.69
vis.prodcell^15.E-f3	FAIL	568.87
ii8e1-50	FAIL	568.99
vis.coherence^5.E-f3	FAIL	569.07
vis.prodcell^19.E-f3	FAIL	569.16
nusmv.tcas-t^1.B-f2	FAIL	569.17
vis.prodcell^22.E-f3	FAIL	569.2
texas.PI_main^08.E-f3	FAIL	569.27
f600-00	FAIL	569.34
ken.flash^11.C-d4	FAIL	569.57
vis.coherence^1.E-f4	FAIL	569.68
eijk.S641.S-f2	FAIL	569.8
vis.prodcell^20.E-f3	FAIL	569.88
nusmv.tcas-t^3.B-f2	FAIL	570.25
texas.two_proc^2.E-f3	FAIL	570.43
nusmv.guidance^8.C-f4	FAIL	570.56
nusmv.guidance^4.C-f4	FAIL	570.61
vis.4-arbit^2.E-f4	FAIL	570.68
vis.coherence^1.E-f3	FAIL	571.08
texas.PI_main^01.E-f4	FAIL	571.28
texas.PI_main^03.E-f4	FAIL	571.56
nusmv.tcas^2.B-f4	FAIL	571.58
k12_3_2	FAIL	572.32
ii32c1-00	FAIL	572.43
vis.prodcell^13.E-f4	FAIL	573.05
nusmv.tcas-t^2.B-f2	FAIL	573.3
texas.PI_main^15.E-f3	FAIL	573.74
eijk.S713.S-f3	FAIL	574.18
nusmv.tcas^6.B-f4	FAIL	574.23
nusmv.guidance^1.C-d4	FAIL	574.34
texas.PI_main^01.E-f3	FAIL	574.4
vis.prodcell^04.E-f2	FAIL	574.52
ken.flash^12.C-f3	FAIL	574.84
ken.flash^02.C-f4	FAIL	575
nusmv.tcas-t^2.B-f3	FAIL	575.08
cube_c11_ser--opt-42_	FAIL	575.18
nusmv.tcas^4.B-f4	FAIL	575.4
nusmv.tcas^5.B-f4	FAIL	575.7
eijk.S641.S-f3	FAIL	575.96
nusmv.tcas-t^3.B-f4	FAIL	576.01
eijk.S420.S-f2	FAIL	576.1
k12_4_3	FAIL	576.5
ken.flash^09.C-d4	FAIL	576.55
eijk.S820.S-f4	FAIL	576.62
cmu.periodic.N-f4	FAIL	577.24
vis.coherence^3.E-f3	FAIL	577.39
nusmv.tcas^1.B-f4	FAIL	577.51
k10_3_4	FAIL	577.62
nusmv.tcas-t^2.B-f4	FAIL	577.89
texas.PI_main^13.E-f3	FAIL	578
sortnetsort8.AE.stepl.008	FAIL	578.75
texas.two_proc^5.E-f4	FAIL	579.34
ken.flash^01.C-d3	FAIL	579.42
vis.elevator^3.E-f4	FAIL	579.53
nusmv.tcas-t^4.B-f4	FAIL	579.58
nusmv.tcas-t^5.B-f4	FAIL	579.62
texas.PI_main^02.E-f3	FAIL	580
texas.two_proc^6.E-f4	FAIL	580.04
eijk.S953.S-f2	FAIL	580.27
texas.PI_main^15.E-f2	FAIL	580.55
sortnetsort10.AE.stepl.012	FAIL	580.72
texas.PI_main^12.E-f2	FAIL	581.4
nusmv.tcas-t^5.B-f2	FAIL	581.49
nusmv.tcas^1.B-f3	FAIL	581.96
eijk.S838.S-f2	FAIL	582.53
ken.flash^10.C-d4	FAIL	583.08
test4_quant4	FAIL	583.15
sortnetsort10.AE.stepl.008	FAIL	583.37
nusmv.syncarb10^2.B-f3	FAIL	583.77
ken.flash^11.C-f3	FAIL	584.25
f600-50	FAIL	584.54
eijk.S832.S-f3	FAIL	584.79
eijk.S386.S-f3	FAIL	586.07
Adder2-14-s	FAIL	586.5
nusmv.tcas-t^3.B-f3	FAIL	587.08
sortnetsort10.AE.stepl.010	FAIL	587.25
counter_16	FAIL	587.34
ssa7552-160-90	FAIL	587.75
nusmv.tcas-t^5.B-f3	FAIL	588.05
ken.flash^10.C-d3	FAIL	588.25
ken.flash^08.C-d2	FAIL	589.4
ken.flash^05.C-d2	FAIL	589.51
ken.oop^1.C-f4	FAIL	589.77
sortnetsort8.AE.stepl.006	FAIL	590.29
texas.two_proc^1.E-f3	FAIL	590.39
nusmv.tcas-t^4.B-f3	FAIL	590.58
ken.flash^11.C-d3	FAIL	590.65
eijk.S1196.S-f3	FAIL	592.4
eijk.S510.S-f2	FAIL	593.51
eijk.S1196.S-f2	FAIL	593.71
sortnetsort8.AE.stepl.009	FAIL	594.17
ken.flash^05.C-f3	FAIL	594.23
vis.arbiter.E-f4	FAIL	594.53
k14_4_3	FAIL	595.49
C432.blif_0.10_0.20_0_1_out_exact	FAIL	596.14
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	596.22
C432.blif_0.10_0.20_0_0_out_exact	FAIL	596.23
ken.flash^04.C-d4	FAIL	596.23
C880.blif_0.10_1.00_0_0_out_exact	FAIL	596.25
test3_quant4	FAIL	596.25
test4_quant2	FAIL	596.26
test4_quant_squaring2	FAIL	596.28
C880.blif_0.10_0.20_0_0_out_exact	FAIL	596.29
C880.blif_0.10_0.20_0_1_out_exact	FAIL	596.33
c1_Debug_s5_f1_e1_v1	FAIL	596.34
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	596.34
C499.blif_0.10_0.20_0_0_out_exact	FAIL	596.34
C499.blif_0.10_0.20_0_1_out_exact	FAIL	596.35
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	596.38
test3_quant_squaring4	FAIL	596.39
test4_quant_squaring4	FAIL	596.39
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	596.39
term1.blif_0.10_0.20_0_0_out_exact	FAIL	596.45
k6_2_2	FAIL	596.45
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	596.46
k5_3_2	FAIL	596.47
k5_2_2	FAIL	596.47
k12_2_4	FAIL	596.51
sortnetsort9.v.stepl.006	FAIL	596.53
k6_2_3	FAIL	596.53
nusmv.syncarb10^2.B-f2	FAIL	596.58
nusmv.syncarb10^2.B-f4	FAIL	596.62
c1_Debug_s5_f1_e1_v3	FAIL	596.66
sortnetsort7.AE.stepl.005	FAIL	596.77
sortnetsort7.AE.stepl.006	FAIL	596.83
sortnetsort8.AE.stepl.005	FAIL	597.07
k14_3_2	FAIL	597.22
cube_c5_ser---14_	FAIL	597.33
k6_3_2	FAIL	597.58
k14_4_4	FAIL	597.63
k6_2_4	FAIL	597.75
k7_2_2	FAIL	597.76
k7_2_3	FAIL	597.78
emptyroom_e3_ser---19_	FAIL	597.8
cube_c7_ser---23_	FAIL	597.82
cube_c7_ser--opt-24_	FAIL	597.82
k6_3_4	FAIL	597.83
emptyroom_e4_par---21_	FAIL	597.84
k6_3_3	FAIL	597.87
k7_2_4	FAIL	597.9
vis.elevator^3.E-f2	FAIL	597.91
k7_4_2	FAIL	597.92
sortnetsort10.v.stepl.007	FAIL	597.95
k6_4_3	FAIL	597.96
k6_4_2	FAIL	597.98
k14_3_4	FAIL	598.01
Adder2-10-s	FAIL	598.01
k7_3_2	FAIL	598.03
k6_4_4	FAIL	598.09
sortnetsort10.v.stepl.006	FAIL	598.16
sortnetsort9.AE.stepl.006	FAIL	598.18
k7_3_3	FAIL	598.2
nusmv.brp.B-f4	FAIL	598.22
ken.flash^01.C-d2	FAIL	598.25
vis.bakery.E-f4	FAIL	598.27
ii8d1-90	FAIL	598.28
sortnetsort9.AE.stepl.007	FAIL	598.3
k7_3_4	FAIL	598.32
ken.oop^2.C-f4	FAIL	598.35
sortnetsort10.AE.stepl.006	FAIL	598.35
cmu.gigamax.B-d3	FAIL	598.37
cmu.gigamax.B-d4	FAIL	598.38
sortnetsort9.AE.stepl.005	FAIL	598.44
Adder2-16-s	FAIL	598.46
eijk.S420.S-f4	FAIL	598.47
sortnetsort9.AE.stepl.008	FAIL	598.47
texas.PI_main^11.E-f2	FAIL	598.49
f600-90	FAIL	598.49
Adder2-12-s	FAIL	598.51
k7_4_4	FAIL	598.51
s1196_d3_u	FAIL	598.55
emptyroom_e4_ser--opt-44_	FAIL	598.55
k8_2_2	FAIL	598.55
sortnetsort10.AE.stepl.005	FAIL	598.55
k7_4_3	FAIL	598.56
ken.oop^2.C-d4	FAIL	598.56
s386_d7_s	FAIL	598.61
ken.flash^04.C-d2	FAIL	598.61
vis.elevator^2.E-f3	FAIL	598.63
k8_2_3	FAIL	598.64
s713_d5_s	FAIL	598.68
s1269_d3_s	FAIL	598.69
vis.elevator^3.E-f3	FAIL	598.7
sortnetsort9.AE.stepl.009	FAIL	598.73
ken.flash^01.C-f3	FAIL	598.73
k8_3_3	FAIL	598.73
ken.flash^12.C-f2	FAIL	598.84
k8_4_2	FAIL	598.84
c1_Debug_s5_f1_e1_v2	FAIL	598.86
k8_3_2	FAIL	598.88
sortnetsort10.AE.stepl.007	FAIL	598.89
blocks_enc_2_b4_ser--opt-26_	FAIL	598.9
k8_2_4	FAIL	598.91
k8_3_4	FAIL	598.95
s386_d8_u	FAIL	599.01
sortnetsort9.AE.stepl.011	FAIL	599.01
s298_d11_s	FAIL	599.03
sortnetsort9.AE.stepl.012	FAIL	599.03
eijk.S820.S-f3	FAIL	599.04
s713_d6_s	FAIL	599.07
k8_4_4	FAIL	599.09
ken.flash^08.C-d3	FAIL	599.09
k8_4_3	FAIL	599.13
s298_d12_s	FAIL	599.21
sortnetsort10.AE.stepl.009	FAIL	599.23
s510_d31_s	FAIL	599.24
sortnetsort9.AE.stepl.010	FAIL	599.3
ken.flash^04.C-d3	FAIL	599.36
sortnetsort10.AE.stepl.011	FAIL	599.37
cube_c11_par---13_	FAIL	599.37
s386_d9_u	FAIL	599.39
ken.flash^01.C-d4	FAIL	599.43
ken.flash^01.C-f4	FAIL	599.44
ev-pr-6x6-11-5-0-1-2-lg	FAIL	599.46
k14_3_3	FAIL	599.55
s1196_d4_u	FAIL	599.57
s510_d32_s	FAIL	599.6
k_ph_p-11	FAIL	599.65
s510_d33_s	FAIL	599.66
s386_d10_u	FAIL	599.69
s298_d13_s	FAIL	599.7
ev-pr-6x6-13-5-0-1-2-lg	FAIL	599.73
s1269_d4_s	FAIL	599.75
s510_d34_s	FAIL	599.81
ken.flash^07.C-f3	FAIL	599.91
ken.flash^07.C-d4	FAIL	599.92
ken.flash^04.C-f3	FAIL	599.97
s510_d36_s	FAIL	599.97
s713_d7_u	FAIL	599.98
texas.PI_main^03.E-f3	FAIL	599.99
s510_d35_s	FAIL	600
ev-pr-6x6-17-5-0-1-2-lg	FAIL	600
ev-pr-6x6-11-5-0-1-2-s	FAIL	600
s499_d16_s	FAIL	600
s820_d10_s	FAIL	600
ev-pr-6x6-13-5-0-1-2-s	FAIL	600
ev-pr-6x6-17-5-0-1-2-s	FAIL	600
ev-pr-8x8-13-7-0-1-2-lg	FAIL	600
ev-pr-6x6-19-5-0-1-2-lg	FAIL	600
ev-pr-6x6-9-5-0-1-2-s	FAIL	600
s3330_d4_s	FAIL	600
s1269_d10_s	FAIL	600
ev-pr-8x8-19-7-0-1-2-lg	FAIL	600
ev-pr-6x6-15-5-0-1-2-lg	FAIL	600
s3330_d10_u	FAIL	600
k_ph_p-20	FAIL	600
k_ph_p-12	FAIL	600
s3330_d9_s	FAIL	600
s298_d16_s	FAIL	600
s499_d21_s	FAIL	600
ev-pr-6x6-19-5-0-1-2-s	FAIL	600
s1269_d11_u	FAIL	600
s499_d22_u	FAIL	600
k_ph_p-16	FAIL	600
ev-pr-8x8-15-7-0-1-2-lg	FAIL	600
s510_d46_s	FAIL	600
s820_d8_s	FAIL	600
s298_d18_s	FAIL	600
ev-pr-6x6-15-5-0-1-2-s	FAIL	600
s298_d19_u	FAIL	600
s1269_d8_s	FAIL	600
s820_d11_u	FAIL	600
ev-pr-8x8-17-7-0-1-2-lg	FAIL	600
s3330_d8_s	FAIL	600
s510_d47_u	FAIL	600
s510_d16_s	FAIL	600
k_ph_p-21	FAIL	600
ev-pr-6x6-7-5-0-1-2-s	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
s1196_d5_u	FAIL	600
s1196_d6_u	FAIL	600
s1196_d7_u	FAIL	600
s1269_d5_s	FAIL	600
s1269_d6_s	FAIL	600
s1269_d9_s	FAIL	600
s1269_d15_u	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
s386_d12_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
ken.flash^05.C-d3	FAIL	600
ken.flash^05.C-d4	FAIL	600
ken.flash^08.C-d4	FAIL	600
ken.flash^09.C-d3	FAIL	600
ken.flash^11.C-d2	FAIL	600
eijk.S1238.S-f2	FAIL	600
eijk.S1238.S-f3	FAIL	600
eijk.S832.S-f4	FAIL	600
ken.flash^04.C-f4	FAIL	600
ken.flash^05.C-f2	FAIL	600
ken.flash^05.C-f4	FAIL	600
ken.flash^07.C-f4	FAIL	600
ken.flash^11.C-f2	FAIL	600
ken.flash^11.C-f4	FAIL	600
texas.PI_main^12.E-f3	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
c2_Debug_s3_f1_e1_v1	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_v3	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
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_p2_k2048	FAIL	600
c3_BMC_p1_k1024	FAIL	600
c3_BMC_p1_k2048	FAIL	600
c3_BMC_p1_k512	FAIL	600
c5_BMC_p1_k128	FAIL	600
c5_BMC_p1_k256	FAIL	600
c5_BMC_p1_k512	FAIL	600
c5_BMC_p1_k64	FAIL	600
c5_BMC_p2_k128	FAIL	600
c5_BMC_p2_k256	FAIL	600
c5_BMC_p2_k512	FAIL	600
c5_BMC_p2_k64	FAIL	600
ssa7552-158-00	FAIL	600
k10_4_2	FAIL	600
k14_2_2	FAIL	600
k14_4_2	FAIL	600
k10_2_4	FAIL	600
k10_2_3	FAIL	600
k12_2_3	FAIL	600
k10_2_2	FAIL	600
k14_2_4	FAIL	600
k10_3_3	FAIL	600
k10_3_2	FAIL	600
k14_2_3	FAIL	600
k12_2_2	FAIL	600
s510_d24_s	FAIL	600
s510_d20_s	FAIL	600
s510_d11_s	FAIL	600
s510_d45_s	FAIL	600
s510_d14_s	FAIL	600
s510_d30_s	FAIL	600
s510_d17_s	FAIL	600
s1269_d13_u	FAIL	600
s510_d29_s	FAIL	600
s499_d24_u	FAIL	600
s298_d22_u	FAIL	600
s510_d44_s	FAIL	600
s820_d15_u	FAIL	600
s820_d13_u	FAIL	600
s510_d38_s	FAIL	600
s1269_d12_u	FAIL	600
s510_d40_s	FAIL	600
s298_d25_u	FAIL	600
s499_d20_s	FAIL	600
s820_d6_s	FAIL	600
s510_d39_s	FAIL	600
s499_d23_u	FAIL	600
s1269_d14_u	FAIL	600
s510_d19_s	FAIL	600
s386_d11_u	FAIL	600
s3330_d7_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_d9_s	FAIL	600
s510_d15_s	FAIL	600
s3330_d11_u	FAIL	600
s713_d11_u	FAIL	600
s298_d15_s	FAIL	600
s510_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 AQME-1NN
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by AQME-1NN QBFEVAL'08

Instances solved by AQME-1NN
QBFEVAL'08