20 aim-100-1_6-yes1-3-50-shuffled.qdimacs
10 aim-100-1_6-yes1-3-90-shuffled.qdimacs
10 aim-100-2_0-yes1-2-50-shuffled.qdimacs
20 aim-100-2_0-yes1-2-90-shuffled.qdimacs
10 aim-100-3_4-yes1-1-90-shuffled.qdimacs
20 aim-100-6_0-yes1-1-90-shuffled.qdimacs
20 aim-100-6_0-yes1-3-90-shuffled.qdimacs
10 aim-100-6_0-yes1-4-90-shuffled.qdimacs
20 aim-200-1_6-yes1-2-90-shuffled.qdimacs
10 aim-200-1_6-yes1-4-90-shuffled.qdimacs
20 aim-200-2_0-yes1-2-90-shuffled.qdimacs
10 aim-200-3_4-yes1-1-90-shuffled.qdimacs
10 aim-200-3_4-yes1-4-90-shuffled.qdimacs
10 aim-50-1_6-yes1-1-00-shuffled.qdimacs
20 aim-50-1_6-yes1-1-90-shuffled.qdimacs
10 aim-50-1_6-yes1-2-00-shuffled.qdimacs
10 aim-50-1_6-yes1-2-50-shuffled.qdimacs
10 aim-50-1_6-yes1-3-00-shuffled.qdimacs
10 aim-50-1_6-yes1-4-50-shuffled.qdimacs
20 aim-50-1_6-yes1-4-90-shuffled.qdimacs
20 aim-50-2_0-yes1-1-90-shuffled.qdimacs
20 aim-50-2_0-yes1-2-50-shuffled.qdimacs
20 aim-50-2_0-yes1-3-90-shuffled.qdimacs
10 aim-50-3_4-yes1-2-90-shuffled.qdimacs
20 aim-50-3_4-yes1-3-90-shuffled.qdimacs
20 aim-50-6_0-yes1-3-50-shuffled.qdimacs
10 aim-50-6_0-yes1-4-90-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 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-shuffled.qdimacs
20 BLOCKS3i.5.3-shuffled.qdimacs
20 BLOCKS3ii.5.2-shuffled.qdimacs
10 BLOCKS3iii.5-shuffled.qdimacs
20 c1_BMC_p2_k8-shuffled.qdimacs
20 c3_BMC_p2_k1024-shuffled.qdimacs
20 c3_BMC_p2_k2048-shuffled.qdimacs
20 c3_BMC_p2_k512-shuffled.qdimacs
10 C432.blif_0.10_1.00_0_1_inp_exact-shuffled.qdimacs
20 C499.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimacs
10 c4_BMC_p1_k1024-shuffled.qdimacs
10 c4_BMC_p1_k2048-shuffled.qdimacs
10 c4_BMC_p1_k512-shuffled.qdimacs
20 C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimacs
10 C5315.blif_0.10_1.00_0_1_inp_exact-shuffled.qdimacs
10 c6_BMC_p1_k1024-shuffled.qdimacs
10 c6_BMC_p1_k256-shuffled.qdimacs
20 c6_BMC_p2_k128-shuffled.qdimacs
20 c6_BMC_p2_k2048-shuffled.qdimacs
20 c6_BMC_p2_k64-shuffled.qdimacs
10 C880.blif_0.10_1.00_0_1_out_exact-shuffled.qdimacs
20 comp.blif_0.10_0.20_0_0_inp_exact-shuffled.qdimacs
20 comp.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimacs
20 connect_5x4_3_R-shuffled.qdimacs
20 connect_5x4_4_W-shuffled.qdimacs
20 connect_6x5_4_D-shuffled.qdimacs
20 connect_7x6_6_W-shuffled.qdimacs
20 connect_8x7_3_D-shuffled.qdimacs
20 connect_8x7_7_D-shuffled.qdimacs
20 connect_9x8_6_D-shuffled.qdimacs
20 connect_9x8_8_D-shuffled.qdimacs
20 Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs
20 Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs
20 Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs
20 Core1108_tbm_02.tex.moduleQ3.2S.000095.qdimacs
20 Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs
20 Core1108_tbm_02.tex.moduleQ3.2S.000099.qdimacs
20 Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs
20 Core1108_tbm_03.tex.module.000003.qdimacs
20 Core1108_tbm_03.tex.module.000019.qdimacs
20 Core1108_tbm_03.tex.module.000021.qdimacs
20 Core1108_tbm_03.tex.module.000023.qdimacs
20 Core1108_tbm_03.tex.module.000038.qdimacs
20 Core1108_tbm_03.tex.module.000039.qdimacs
20 Core1108_tbm_03.tex.module.000048.qdimacs
20 Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs
20 Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs
20 Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs
20 Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs
20 Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs
20 Core1108_tbm_09.tex.module.000028.qdimacs
20 Core1108_tbm_09.tex.module.000033.qdimacs
20 Core1108_tbm_09.tex.moduleQ3.2S.000003.qdimacs
20 Core1108_tbm_09.tex.moduleQ3.2S.000005.qdimacs
20 Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs
20 Core1108_tbm_09.tex.moduleQ3.2S.000010.qdimacs
20 Core1108_tbm_21.tex.module.000014.qdimacs
20 Core1108_tbm_21.tex.module.000017.qdimacs
20 Core1108_tbm_21.tex.module.000023.qdimacs
20 Core1108_tbm_21.tex.module.000026.qdimacs
20 Core1108_tbm_21.tex.module.000027.qdimacs
20 Core1108_tbm_21.tex.module.000091.qdimacs
20 Core1108_tbm_21.tex.moduleQ3.2S.000002.qdimacs
20 Core1108_tbm_21.tex.moduleQ3.2S.000011.qdimacs
20 Core1108_tbm_21.tex.moduleQ3.2S.000015.qdimacs
20 Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs
20 Core1108_tbm_21.tex.moduleQ3.2S.000024.qdimacs
10 counter_8-shuffled.qdimacs
10 counter_r_8-shuffled.qdimacs
10 cube_c3_ser--opt-6_-shuffled.qdimacs
10 cube_c9_par--opt-11_-shuffled.qdimacs
10 eijk.S208o.S-d4-shuffled.qdimacs
10 ev-pr-4x4-17-3-0-0-1-lg-shuffled.qdimacs
10 ev-pr-4x4-5-3-0-0-1-lg-shuffled.qdimacs
10 ev-pr-4x4-9-3-0-0-1-lg-shuffled.qdimacs
20 ev-pr-6x6-11-5-0-1-2-lg-shuffled.qdimacs
20 ev-pr-6x6-13-5-0-1-2-lg-shuffled.qdimacs
20 ev-pr-6x6-5-5-0-1-2-lg-shuffled.qdimacs
20 ev-pr-8x8-11-7-0-1-2-lg-shuffled.qdimacs
20 ev-pr-8x8-5-7-0-1-2-lg-shuffled.qdimacs
20 ev-pr-8x8-7-7-0-1-2-lg-shuffled.qdimacs
20 ev-pr-8x8-9-7-0-1-2-lg-shuffled.qdimacs
10 ii32c1-50-shuffled.qdimacs
10 ii32e1-00-shuffled.qdimacs
10 ii32e1-50-shuffled.qdimacs
10 ii8a1-00-shuffled.qdimacs
10 ii8a1-90-shuffled.qdimacs
10 ii8c1-90-shuffled.qdimacs
10 impl18-shuffled.qdimacs
10 jnh1-50-shuffled.qdimacs
10 jnh207-90-shuffled.qdimacs
10 jnh218-00-shuffled.qdimacs
10 jnh218-90-shuffled.qdimacs
10 k3_1_2-shuffled.qdimacs
10 k4_2_2-shuffled.qdimacs
20 k_branch_p-4-shuffled.qdimacs
20 k_d4_p-6-shuffled.qdimacs
20 ken.flash^10.C-f4-shuffled.qdimacs
20 k_grz_p-10-shuffled.qdimacs
20 k_lin_p-12-shuffled.qdimacs
20 k_lin_p-16-shuffled.qdimacs
20 k_lin_p-21-shuffled.qdimacs
20 k_lin_p-8-shuffled.qdimacs
10 k_ph_n-10-shuffled.qdimacs
10 k_ph_n-13-shuffled.qdimacs
10 k_ph_n-14-shuffled.qdimacs
10 k_ph_n-15-shuffled.qdimacs
10 k_ph_n-8-shuffled.qdimacs
10 k_ph_n-9-shuffled.qdimacs
20 k_t4p_p-4-shuffled.qdimacs
20 lognBWLARGEB1-shuffled.qdimacs
10 lut4_AND_f1-shuffled.qdimacs
20 lut4_XOR_fOR-shuffled.qdimacs
20 nusmv.reactor^5.C-f4-shuffled.qdimacs
10 par16-1-c-00-shuffled.qdimacs
20 par8-1-c-50-shuffled.qdimacs
20 par8-2-90-shuffled.qdimacs
20 par8-2-c-50-shuffled.qdimacs
10 par8-3-c-00-shuffled.qdimacs
20 par8-3-c-90-shuffled.qdimacs
20 par8-4-90-shuffled.qdimacs
10 par8-4-c-90-shuffled.qdimacs
20 par8-5-c-90-shuffled.qdimacs
20 ring_r4_ser--opt-11_-shuffled.qdimacs
10 sortnetsort5.v.stepl.007-shuffled.qdimacs
20 sortnetsort6.v.stepl.003-shuffled.qdimacs
10 sortnetsort8.v.stepl.008-shuffled.qdimacs
10 sortnetsort9.v.stepl.012-shuffled.qdimacs
10 ssa7552-159-00-shuffled.qdimacs
10 ssa7552-159-90-shuffled.qdimacs
10 term1.blif_0.10_0.20_0_1_inp_exact-shuffled.qdimacs
20 term1.blif_0.10_1.00_0_0_out_exact-shuffled.qdimacs
20 texas.ifetch1^4.E-f4-shuffled.qdimacs
10 TOILET10.1.iv.20-shuffled.qdimacs
10 TOILET7.1.iv.14-shuffled.qdimacs
20 toilet_a_02_01.2-shuffled.qdimacs
10 toilet_a_02_10.2-shuffled.qdimacs
10 toilet_a_04_10.2-shuffled.qdimacs
20 toilet_a_06_01.4-shuffled.qdimacs
10 toilet_a_06_10.2-shuffled.qdimacs
20 toilet_a_08_01.4-shuffled.qdimacs
10 toilet_a_08_10.2-shuffled.qdimacs
20 toilet_a_10_01.11-shuffled.qdimacs
20 toilet_a_10_01.5-shuffled.qdimacs
10 toilet_a_10_10.2-shuffled.qdimacs
20 toilet_c_02_01.2-shuffled.qdimacs
20 toilet_c_04_01.4-shuffled.qdimacs
10 toilet_c_04_10.2-shuffled.qdimacs
20 toilet_c_06_01.5-shuffled.qdimacs
10 toilet_c_06_10.2-shuffled.qdimacs
20 toilet_c_08_01.13-shuffled.qdimacs
10 toilet_c_08_01.16-shuffled.qdimacs
20 toilet_c_08_01.4-shuffled.qdimacs
10 toilet_c_08_05.10-shuffled.qdimacs
10 toilet_c_08_05.6-shuffled.qdimacs
10 toilet_c_08_05.7-shuffled.qdimacs
10 toilet_c_08_05.8-shuffled.qdimacs
10 toilet_c_08_05.9-shuffled.qdimacs
10 toilet_c_08_10.2-shuffled.qdimacs
20 toilet_c_10_01.11-shuffled.qdimacs
10 toilet_c_10_01.20-shuffled.qdimacs
20 toilet_c_10_01.4-shuffled.qdimacs
10 toilet_c_10_05.11-shuffled.qdimacs
10 toilet_c_10_05.12-shuffled.qdimacs
10 toilet_c_10_05.7-shuffled.qdimacs
10 toilet_c_10_05.9-shuffled.qdimacs
10 toilet_c_10_10.2-shuffled.qdimacs
10 toilet_g_02_01.2-shuffled.qdimacs
10 toilet_g_04_01.2-shuffled.qdimacs
10 toilet_g_08_01.2-shuffled.qdimacs
10 toilet_g_20_01.2-shuffled.qdimacs
20 Umbrella_tbm_05.tex.module.000015.qdimacs
20 Umbrella_tbm_05.tex.module.000030.qdimacs
20 Umbrella_tbm_05.tex.module.000043.qdimacs
20 Umbrella_tbm_05.tex.module.000065.qdimacs
20 Umbrella_tbm_05.tex.module.000079.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.1S.000749.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs
20 Umbrella_tbm_14.tex.moduleQ2.2S.000002.qdimacs
20 Umbrella_tbm_21.tex.module.000044.qdimacs
20 Umbrella_tbm_21.tex.module.000139.qdimacs
10 Umbrella_tbm_23.tex.moduleQ1.2S.000001.qdimacs
20 Umbrella_tbm_25.tex.module.000003.qdimacs
20 Umbrella_tbm_25.tex.module.000084.qdimacs
20 Umbrella_tbm_25.tex.module.000087.qdimacs
20 Umbrella_tbm_25.tex.module.000099.qdimacs
20 Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs
20 Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs
20 Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs
20 Umbrella_tbm_26.tex.module.000004.qdimacs
20 Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs
20 Umbrella_tbm_26.tex.moduleQ3.2S.000014.qdimacs
20 Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs
20 Umbrella_tbm_26.tex.moduleQ3.2S.000037.qdimacs
20 Umbrella_tbm_26.tex.moduleQ3.2S.000041.qdimacs
20 vis.elevator^1.E-f2-shuffled.qdimacs
20 vis.emodel.E-f4-shuffled.qdimacs
20 vis.prodcell^04.E-f4-shuffled.qdimacs
20 vis.prodcell^05.E-f4-shuffled.qdimacs
20 vis.prodcell^08.E-f4-shuffled.qdimacs
20 vis.prodcell^09.E-f2-shuffled.qdimacs
20 vonNeumann-ripple-carry-13-c-shuffled.qdimacs
20 vonNeumann-ripple-carry-15-c-shuffled.qdimacs
20 W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs
20 W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs
20 W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs
20 W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs
20 z4ml.blif_0.10_1.00_0_0_out_exact-shuffled.qdimacs