20 Adder2-2-c.qdimacs
10 Adder2-2-s.qdimacs
20 Adder2-4-c.qdimacs
10 adder-2-sat.qdimacs
20 adder-2-unsat.qdimacs
10 aim-100-1_6-yes1-1-00.qdimacs
10 aim-100-1_6-yes1-1-50.qdimacs
20 aim-100-1_6-yes1-1-90.qdimacs
10 aim-100-1_6-yes1-2-00.qdimacs
10 aim-100-1_6-yes1-2-50.qdimacs
20 aim-100-1_6-yes1-2-90.qdimacs
20 aim-100-1_6-yes1-3-00.qdimacs
20 aim-100-1_6-yes1-3-50.qdimacs
10 aim-100-1_6-yes1-3-90.qdimacs
20 aim-100-1_6-yes1-4-00.qdimacs
20 aim-100-1_6-yes1-4-50.qdimacs
20 aim-100-1_6-yes1-4-90.qdimacs
20 aim-100-2_0-yes1-1-00.qdimacs
20 aim-100-2_0-yes1-1-50.qdimacs
20 aim-100-2_0-yes1-1-90.qdimacs
10 aim-100-2_0-yes1-2-00.qdimacs
10 aim-100-2_0-yes1-2-50.qdimacs
20 aim-100-2_0-yes1-2-90.qdimacs
20 aim-100-2_0-yes1-3-00.qdimacs
20 aim-100-2_0-yes1-3-50.qdimacs
20 aim-100-2_0-yes1-3-90.qdimacs
20 aim-100-2_0-yes1-4-00.qdimacs
20 aim-100-2_0-yes1-4-50.qdimacs
10 aim-100-2_0-yes1-4-90.qdimacs
20 aim-100-3_4-yes1-1-00.qdimacs
20 aim-100-3_4-yes1-1-50.qdimacs
10 aim-100-3_4-yes1-1-90.qdimacs
20 aim-100-3_4-yes1-2-00.qdimacs
10 aim-100-3_4-yes1-2-50.qdimacs
20 aim-100-3_4-yes1-2-90.qdimacs
10 aim-100-3_4-yes1-3-00.qdimacs
20 aim-100-3_4-yes1-3-50.qdimacs
20 aim-100-3_4-yes1-3-90.qdimacs
10 aim-100-3_4-yes1-4-00.qdimacs
20 aim-100-3_4-yes1-4-50.qdimacs
10 aim-100-3_4-yes1-4-90.qdimacs
10 aim-100-6_0-yes1-1-00.qdimacs
10 aim-100-6_0-yes1-1-50.qdimacs
20 aim-100-6_0-yes1-1-90.qdimacs
20 aim-100-6_0-yes1-2-00.qdimacs
20 aim-100-6_0-yes1-2-50.qdimacs
10 aim-100-6_0-yes1-2-90.qdimacs
10 aim-100-6_0-yes1-3-00.qdimacs
10 aim-100-6_0-yes1-3-50.qdimacs
20 aim-100-6_0-yes1-3-90.qdimacs
20 aim-100-6_0-yes1-4-00.qdimacs
20 aim-100-6_0-yes1-4-50.qdimacs
10 aim-100-6_0-yes1-4-90.qdimacs
10 aim-200-1_6-yes1-1-00.qdimacs
10 aim-200-1_6-yes1-1-50.qdimacs
10 aim-200-1_6-yes1-1-90.qdimacs
20 aim-200-1_6-yes1-2-00.qdimacs
10 aim-200-1_6-yes1-2-50.qdimacs
20 aim-200-1_6-yes1-2-90.qdimacs
20 aim-200-1_6-yes1-3-00.qdimacs
20 aim-200-1_6-yes1-3-50.qdimacs
20 aim-200-1_6-yes1-3-90.qdimacs
20 aim-200-1_6-yes1-4-00.qdimacs
10 aim-200-1_6-yes1-4-50.qdimacs
10 aim-200-1_6-yes1-4-90.qdimacs
10 aim-200-2_0-yes1-1-00.qdimacs
20 aim-200-2_0-yes1-1-50.qdimacs
20 aim-200-2_0-yes1-1-90.qdimacs
20 aim-200-2_0-yes1-2-00.qdimacs
20 aim-200-2_0-yes1-2-50.qdimacs
20 aim-200-2_0-yes1-2-90.qdimacs
20 aim-200-2_0-yes1-3-00.qdimacs
20 aim-200-2_0-yes1-3-50.qdimacs
10 aim-200-2_0-yes1-3-90.qdimacs
10 aim-200-2_0-yes1-4-00.qdimacs
10 aim-200-2_0-yes1-4-50.qdimacs
10 aim-200-2_0-yes1-4-90.qdimacs
20 aim-200-3_4-yes1-1-00.qdimacs
10 aim-200-3_4-yes1-1-50.qdimacs
10 aim-200-3_4-yes1-1-90.qdimacs
20 aim-200-3_4-yes1-2-00.qdimacs
10 aim-200-3_4-yes1-2-50.qdimacs
20 aim-200-3_4-yes1-2-90.qdimacs
10 aim-200-3_4-yes1-3-00.qdimacs
10 aim-200-3_4-yes1-3-50.qdimacs
20 aim-200-3_4-yes1-3-90.qdimacs
10 aim-200-3_4-yes1-4-00.qdimacs
10 aim-200-3_4-yes1-4-50.qdimacs
10 aim-200-3_4-yes1-4-90.qdimacs
20 aim-200-6_0-yes1-1-00.qdimacs
20 aim-200-6_0-yes1-1-50.qdimacs
10 aim-200-6_0-yes1-1-90.qdimacs
20 aim-200-6_0-yes1-2-00.qdimacs
20 aim-200-6_0-yes1-2-50.qdimacs
20 aim-200-6_0-yes1-2-90.qdimacs
10 aim-200-6_0-yes1-3-00.qdimacs
20 aim-200-6_0-yes1-3-50.qdimacs
20 aim-200-6_0-yes1-3-90.qdimacs
20 aim-200-6_0-yes1-4-00.qdimacs
10 aim-200-6_0-yes1-4-50.qdimacs
10 aim-200-6_0-yes1-4-90.qdimacs
10 aim-50-1_6-yes1-1-00.qdimacs
10 aim-50-1_6-yes1-1-50.qdimacs
20 aim-50-1_6-yes1-1-90.qdimacs
10 aim-50-1_6-yes1-2-00.qdimacs
10 aim-50-1_6-yes1-2-50.qdimacs
20 aim-50-1_6-yes1-2-90.qdimacs
10 aim-50-1_6-yes1-3-00.qdimacs
20 aim-50-1_6-yes1-3-50.qdimacs
10 aim-50-1_6-yes1-3-90.qdimacs
10 aim-50-1_6-yes1-4-00.qdimacs
10 aim-50-1_6-yes1-4-50.qdimacs
20 aim-50-1_6-yes1-4-90.qdimacs
20 aim-50-2_0-yes1-1-00.qdimacs
20 aim-50-2_0-yes1-1-50.qdimacs
20 aim-50-2_0-yes1-1-90.qdimacs
20 aim-50-2_0-yes1-2-00.qdimacs
20 aim-50-2_0-yes1-2-50.qdimacs
10 aim-50-2_0-yes1-2-90.qdimacs
20 aim-50-2_0-yes1-3-00.qdimacs
20 aim-50-2_0-yes1-3-50.qdimacs
20 aim-50-2_0-yes1-3-90.qdimacs
20 aim-50-2_0-yes1-4-00.qdimacs
10 aim-50-2_0-yes1-4-50.qdimacs
10 aim-50-2_0-yes1-4-90.qdimacs
20 aim-50-3_4-yes1-1-00.qdimacs
20 aim-50-3_4-yes1-1-50.qdimacs
20 aim-50-3_4-yes1-1-90.qdimacs
10 aim-50-3_4-yes1-2-00.qdimacs
10 aim-50-3_4-yes1-2-50.qdimacs
10 aim-50-3_4-yes1-2-90.qdimacs
10 aim-50-3_4-yes1-3-00.qdimacs
10 aim-50-3_4-yes1-3-50.qdimacs
20 aim-50-3_4-yes1-3-90.qdimacs
20 aim-50-3_4-yes1-4-00.qdimacs
20 aim-50-3_4-yes1-4-50.qdimacs
10 aim-50-3_4-yes1-4-90.qdimacs
20 aim-50-6_0-yes1-1-00.qdimacs
20 aim-50-6_0-yes1-1-50.qdimacs
10 aim-50-6_0-yes1-1-90.qdimacs
20 aim-50-6_0-yes1-2-00.qdimacs
20 aim-50-6_0-yes1-2-50.qdimacs
20 aim-50-6_0-yes1-2-90.qdimacs
20 aim-50-6_0-yes1-3-00.qdimacs
20 aim-50-6_0-yes1-3-50.qdimacs
10 aim-50-6_0-yes1-3-90.qdimacs
10 aim-50-6_0-yes1-4-00.qdimacs
20 aim-50-6_0-yes1-4-50.qdimacs
10 aim-50-6_0-yes1-4-90.qdimacs
20 biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.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-001.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-002.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-003.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-004.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-005.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-006.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-007.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-008.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-009.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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.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-001.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.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-003.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.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-005.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-006.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.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-001.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-002.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-003.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-004.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.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-006.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-001.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-002.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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.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-001.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.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-003.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-004.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-005.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.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-007.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-008.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-001.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.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-003.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-004.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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.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-001.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.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.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-001.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-002.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-003.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.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-005.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-006.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-007.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.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-001.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-002.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.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-004.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.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-006.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.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-001.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-002.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.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-004.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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007.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-001.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-002.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-003.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-004.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-005.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-006.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-007.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-008.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-009.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.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-001.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.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-003.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-004.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-005.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-006.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-007.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-008.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.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-010.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-001.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-002.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.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-004.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-005.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-006.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-007.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-009.qdimacs
20 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.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-001.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.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-003.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-004.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-005.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-006.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-007.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-008.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-001.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-002.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-003.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-004.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.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-006.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-001.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-002.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.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-004.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-005.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-006.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-007.qdimacs
20 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.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.qdimacs
20 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.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-001.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-002.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.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-004.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-005.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.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-007.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.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-009.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-010.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-001.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-002.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-003.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-004.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-005.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-006.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-007.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-008.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.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-010.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-001.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-002.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-003.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.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-005.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-006.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.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-008.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-009.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-010.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-001.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-002.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-003.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.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-005.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-006.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-007.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-008.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-009.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.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-001.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-002.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-003.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.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-005.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-006.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.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-008.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-001.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.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.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-004.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-005.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-006.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.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-001.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-002.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.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-004.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-005.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.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-007.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-008.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-009.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-010.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-001.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-002.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006.qdimacs
20 biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007.qdimacs
20 BLOCKS3i.4.4.qdimacs
20 BLOCKS3i.5.3.qdimacs
10 BLOCKS3i.5.4.qdimacs
20 BLOCKS3ii.4.3.qdimacs
20 BLOCKS3ii.5.2.qdimacs
10 BLOCKS3ii.5.3.qdimacs
20 BLOCKS3iii.4.qdimacs
10 BLOCKS3iii.5.qdimacs
20 BLOCKS4ii.6.3.qdimacs
20 BLOCKS4iii.6.qdimacs
10 blocks_enc_2_b3_ser--opt-9_.qdimacs
10 c1_BMC_p1_k2.qdimacs
10 c1_BMC_p1_k4.qdimacs
10 c1_BMC_p1_k8.qdimacs
20 c1_BMC_p2_k16.qdimacs
20 c1_BMC_p2_k2.qdimacs
20 c1_BMC_p2_k4.qdimacs
20 c1_BMC_p2_k8.qdimacs
10 c2_BMC_p1_k1024.qdimacs
10 c2_BMC_p1_k256.qdimacs
10 c2_BMC_p1_k2.qdimacs
10 c2_BMC_p1_k4.qdimacs
10 c2_BMC_p1_k512.qdimacs
10 c2_BMC_p1_k8.qdimacs
20 c2_BMC_p2_k2.qdimacs
20 c2_BMC_p2_k4.qdimacs
20 c2_BMC_p2_k8.qdimacs
10 c2_Debug_s5_f1_e1_v2.qdimacs
10 c3_BMC_p1_k16.qdimacs
10 c3_BMC_p1_k2.qdimacs
10 c3_BMC_p1_k4.qdimacs
10 c3_BMC_p1_k8.qdimacs
20 c3_BMC_p2_k1024.qdimacs
20 c3_BMC_p2_k128.qdimacs
20 c3_BMC_p2_k16.qdimacs
20 c3_BMC_p2_k2048.qdimacs
20 c3_BMC_p2_k256.qdimacs
20 c3_BMC_p2_k2.qdimacs
20 c3_BMC_p2_k32.qdimacs
20 c3_BMC_p2_k4.qdimacs
20 c3_BMC_p2_k512.qdimacs
20 c3_BMC_p2_k64.qdimacs
20 c3_BMC_p2_k8.qdimacs
10 C432.blif_0.10_0.20_0_1_inp_exact.qdimacs
20 C432.blif_0.10_1.00_0_0_inp_exact.qdimacs
10 C432.blif_0.10_1.00_0_1_inp_exact.qdimacs
10 C432.blif_0.10_1.00_0_1_out_exact.qdimacs
10 C499.blif_0.10_0.20_0_1_inp_exact.qdimacs
20 C499.blif_0.10_1.00_0_0_inp_exact.qdimacs
10 C499.blif_0.10_1.00_0_1_inp_exact.qdimacs
10 C499.blif_0.10_1.00_0_1_out_exact.qdimacs
10 c4_BMC_p1_k1024.qdimacs
10 c4_BMC_p1_k128.qdimacs
10 c4_BMC_p1_k16.qdimacs
10 c4_BMC_p1_k2048.qdimacs
10 c4_BMC_p1_k256.qdimacs
10 c4_BMC_p1_k2.qdimacs
10 c4_BMC_p1_k32.qdimacs
10 c4_BMC_p1_k4.qdimacs
10 c4_BMC_p1_k512.qdimacs
10 c4_BMC_p1_k64.qdimacs
10 c4_BMC_p1_k8.qdimacs
20 c4_BMC_p2_k128.qdimacs
20 c4_BMC_p2_k16.qdimacs
20 c4_BMC_p2_k256.qdimacs
20 c4_BMC_p2_k2.qdimacs
20 c4_BMC_p2_k32.qdimacs
20 c4_BMC_p2_k4.qdimacs
20 c4_BMC_p2_k512.qdimacs
20 c4_BMC_p2_k64.qdimacs
20 c4_BMC_p2_k8.qdimacs
20 C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs
10 C5315.blif_0.10_1.00_0_1_inp_exact.qdimacs
10 C5315.blif_0.10_1.00_0_1_out_exact.qdimacs
10 c5_BMC_p1_k2.qdimacs
10 c5_BMC_p1_k4.qdimacs
10 c5_BMC_p1_k8.qdimacs
20 c5_BMC_p2_k2.qdimacs
20 c5_BMC_p2_k4.qdimacs
20 c5_BMC_p2_k8.qdimacs
10 c6_BMC_p1_k1024.qdimacs
10 c6_BMC_p1_k128.qdimacs
10 c6_BMC_p1_k16.qdimacs
10 c6_BMC_p1_k2048.qdimacs
10 c6_BMC_p1_k256.qdimacs
10 c6_BMC_p1_k2.qdimacs
10 c6_BMC_p1_k32.qdimacs
10 c6_BMC_p1_k4.qdimacs
10 c6_BMC_p1_k512.qdimacs
10 c6_BMC_p1_k64.qdimacs
10 c6_BMC_p1_k8.qdimacs
20 c6_BMC_p2_k1024.qdimacs
20 c6_BMC_p2_k128.qdimacs
20 c6_BMC_p2_k16.qdimacs
20 c6_BMC_p2_k2048.qdimacs
20 c6_BMC_p2_k256.qdimacs
20 c6_BMC_p2_k2.qdimacs
20 c6_BMC_p2_k32.qdimacs
20 c6_BMC_p2_k4.qdimacs
20 c6_BMC_p2_k512.qdimacs
20 c6_BMC_p2_k64.qdimacs
20 c6_BMC_p2_k8.qdimacs
10 C880.blif_0.10_1.00_0_1_inp_exact.qdimacs
10 C880.blif_0.10_1.00_0_1_out_exact.qdimacs
10 CHAIN12v.13.qdimacs
10 CHAIN13v.14.qdimacs
10 CHAIN14v.15.qdimacs
10 CHAIN15v.16.qdimacs
10 CHAIN16v.17.qdimacs
10 cmu.dme1.B-d2.qdimacs
10 cmu.dme1.B-d3.qdimacs
10 cmu.dme1.B-d4.qdimacs
10 cmu.dme2.B-d2.qdimacs
10 cmu.dme2.B-d3.qdimacs
20 comp.blif_0.10_0.20_0_0_inp_exact.qdimacs
10 comp.blif_0.10_0.20_0_1_inp_exact.qdimacs
10 comp.blif_0.10_0.20_0_1_out_exact.qdimacs
20 comp.blif_0.10_1.00_0_0_inp_exact.qdimacs
20 comp.blif_0.10_1.00_0_0_out_exact.qdimacs
10 comp.blif_0.10_1.00_0_1_inp_exact.qdimacs
10 comp.blif_0.10_1.00_0_1_out_exact.qdimacs
10 counter_2.qdimacs
10 counter_4.qdimacs
10 counter_8.qdimacs
10 counter_e_2.qdimacs
10 counter_e_4.qdimacs
10 counter_r_2.qdimacs
10 counter_r_4.qdimacs
10 counter_r_8.qdimacs
10 counter_re_2.qdimacs
10 counter_re_4.qdimacs
10 cube_c3_ser--opt-6_.qdimacs
10 cube_c5_ser--opt-15_.qdimacs
10 cube_c7_ser--opt-24_.qdimacs
20 cube_c9_par---10_.qdimacs
10 cube_c9_par--opt-11_.qdimacs
10 eijk.bs1512.S-d2.qdimacs
10 eijk.S1196.S-d2.qdimacs
20 eijk.S1196.S-f3.qdimacs
20 eijk.S1196.S-f4.qdimacs
10 eijk.S1238.S-d2.qdimacs
20 eijk.S1238.S-f3.qdimacs
20 eijk.S1238.S-f4.qdimacs
10 eijk.S1423.S-d2.qdimacs
10 eijk.S208c.S-d2.qdimacs
10 eijk.S208c.S-d3.qdimacs
10 eijk.S208c.S-d4.qdimacs
10 eijk.S208o.S-d2.qdimacs
10 eijk.S208o.S-d3.qdimacs
10 eijk.S208o.S-d4.qdimacs
10 eijk.S208.S-d2.qdimacs
10 eijk.S208.S-d3.qdimacs
10 eijk.S208.S-d4.qdimacs
10 eijk.S298.S-d2.qdimacs
10 eijk.S298.S-d3.qdimacs
10 eijk.S298.S-d4.qdimacs
10 eijk.S344.S-d2.qdimacs
10 eijk.S349.S-d2.qdimacs
10 eijk.S382.S-d2.qdimacs
10 eijk.S382.S-d3.qdimacs
10 eijk.S382.S-d4.qdimacs
10 eijk.S386.S-d2.qdimacs
10 eijk.S386.S-d3.qdimacs
10 eijk.S386.S-d4.qdimacs
10 eijk.S420.S-d4.qdimacs
10 eijk.S444.S-d2.qdimacs
10 eijk.S444.S-d3.qdimacs
10 eijk.S444.S-d4.qdimacs
10 eijk.S510.S-d3.qdimacs
10 eijk.S510.S-d4.qdimacs
10 eijk.S526.S-d2.qdimacs
10 eijk.S526.S-d3.qdimacs
10 eijk.S526.S-d4.qdimacs
10 eijk.S641.S-d3.qdimacs
10 eijk.S820.S-d2.qdimacs
10 eijk.S832.S-d2.qdimacs
10 eijk.S953.S-d2.qdimacs
10 eijk.S953.S-d3.qdimacs
10 emptyroom_e3_par--opt-10_.qdimacs
10 emptyroom_e3_ser--opt-20_.qdimacs
10 ev-pr-4x4-11-3-0-0-1-lg.qdimacs
10 ev-pr-4x4-13-3-0-0-1-lg.qdimacs
10 ev-pr-4x4-15-3-0-0-1-lg.qdimacs
10 ev-pr-4x4-17-3-0-0-1-lg.qdimacs
10 ev-pr-4x4-5-3-0-0-1-lg.qdimacs
10 ev-pr-4x4-7-3-0-0-1-lg.qdimacs
10 ev-pr-4x4-9-3-0-0-1-lg.qdimacs
20 ev-pr-6x6-11-5-0-1-2-lg.qdimacs
20 ev-pr-6x6-13-5-0-1-2-lg.qdimacs
20 ev-pr-6x6-5-5-0-1-2-lg.qdimacs
20 ev-pr-6x6-7-5-0-1-2-lg.qdimacs
20 ev-pr-6x6-9-5-0-1-2-lg.qdimacs
20 ev-pr-8x8-11-7-0-1-2-lg.qdimacs
20 ev-pr-8x8-5-7-0-1-2-lg.qdimacs
20 ev-pr-8x8-7-7-0-1-2-lg.qdimacs
20 ev-pr-8x8-9-7-0-1-2-lg.qdimacs
20 flipflop-10-c.qdimacs
20 flipflop-11-c.qdimacs
20 flipflop-12-c.qdimacs
20 flipflop-3-c.qdimacs
20 flipflop-4-c.qdimacs
20 flipflop-5-c.qdimacs
20 flipflop-6-c.qdimacs
20 flipflop-7-c.qdimacs
20 flipflop-8-c.qdimacs
20 flipflop-9-c.qdimacs
10 ii32b1-00.qdimacs
10 ii32b1-50.qdimacs
10 ii32b1-90.qdimacs
10 ii32b2-00.qdimacs
10 ii32b2-50.qdimacs
10 ii32b2-90.qdimacs
10 ii32c1-00.qdimacs
10 ii32c1-50.qdimacs
20 ii32c1-90.qdimacs
10 ii32c2-00.qdimacs
10 ii32c2-50.qdimacs
10 ii32c2-90.qdimacs
10 ii32c3-00.qdimacs
10 ii32c3-50.qdimacs
10 ii32c3-90.qdimacs
10 ii32d1-00.qdimacs
10 ii32d1-50.qdimacs
10 ii32d1-90.qdimacs
10 ii32e1-00.qdimacs
10 ii32e1-50.qdimacs
20 ii32e1-90.qdimacs
10 ii32e2-00.qdimacs
10 ii32e2-50.qdimacs
10 ii32e2-90.qdimacs
10 ii8a1-00.qdimacs
10 ii8a1-50.qdimacs
10 ii8a1-90.qdimacs
10 ii8a2-00.qdimacs
10 ii8a2-50.qdimacs
20 ii8a2-90.qdimacs
10 ii8a3-00.qdimacs
20 ii8a3-90.qdimacs
10 ii8a4-00.qdimacs
10 ii8a4-90.qdimacs
10 ii8b1-50.qdimacs
10 ii8b1-90.qdimacs
10 ii8c1-90.qdimacs
10 impl02.qdimacs
10 impl04.qdimacs
10 impl06.qdimacs
10 impl08.qdimacs
10 impl10.qdimacs
10 impl12.qdimacs
10 impl14.qdimacs
10 impl16.qdimacs
10 impl18.qdimacs
10 impl20.qdimacs
10 irst.dme4.B-d2.qdimacs
10 irst.dme5.B-d2.qdimacs
10 irst.dme6.B-d2.qdimacs
10 jnh1-00.qdimacs
20 jnh12-00.qdimacs
20 jnh12-50.qdimacs
10 jnh12-90.qdimacs
10 jnh1-50.qdimacs
10 jnh17-00.qdimacs
10 jnh17-50.qdimacs
20 jnh17-90.qdimacs
20 jnh1-90.qdimacs
10 jnh201-00.qdimacs
10 jnh201-50.qdimacs
10 jnh201-90.qdimacs
10 jnh204-00.qdimacs
10 jnh204-50.qdimacs
10 jnh204-90.qdimacs
20 jnh205-00.qdimacs
10 jnh205-50.qdimacs
20 jnh205-90.qdimacs
20 jnh207-00.qdimacs
20 jnh207-50.qdimacs
10 jnh207-90.qdimacs
10 jnh209-00.qdimacs
20 jnh209-50.qdimacs
20 jnh209-90.qdimacs
20 jnh210-00.qdimacs
10 jnh210-50.qdimacs
20 jnh210-90.qdimacs
20 jnh212-00.qdimacs
20 jnh212-50.qdimacs
20 jnh212-90.qdimacs
10 jnh213-00.qdimacs
10 jnh213-50.qdimacs
10 jnh213-90.qdimacs
10 jnh217-00.qdimacs
10 jnh217-50.qdimacs
10 jnh217-90.qdimacs
10 jnh218-00.qdimacs
10 jnh218-50.qdimacs
10 jnh218-90.qdimacs
10 jnh220-00.qdimacs
10 jnh220-50.qdimacs
10 jnh220-90.qdimacs
20 jnh301-00.qdimacs
10 jnh301-50.qdimacs
20 jnh301-90.qdimacs
10 jnh7-00.qdimacs
10 jnh7-50.qdimacs
10 jnh7-90.qdimacs
10 k3_1_1.qdimacs
10 k3_1_2.qdimacs
10 k3_2_1.qdimacs
10 k3_2_2.qdimacs
10 k4_2_2.qdimacs
10 k_branch_n-1.qdimacs
10 k_branch_n-2.qdimacs
10 k_branch_n-3.qdimacs
20 k_branch_p-1.qdimacs
20 k_branch_p-2.qdimacs
20 k_branch_p-3.qdimacs
20 k_branch_p-4.qdimacs
10 k_d4_n-1.qdimacs
10 k_d4_n-2.qdimacs
20 k_d4_p-1.qdimacs
20 k_d4_p-2.qdimacs
20 k_d4_p-3.qdimacs
20 k_d4_p-4.qdimacs
20 k_d4_p-5.qdimacs
20 k_d4_p-6.qdimacs
10 k_dum_n-1.qdimacs
10 k_dum_n-2.qdimacs
10 k_dum_n-3.qdimacs
10 k_dum_n-4.qdimacs
20 k_dum_p-10.qdimacs
20 k_dum_p-11.qdimacs
20 k_dum_p-1.qdimacs
20 k_dum_p-2.qdimacs
20 k_dum_p-3.qdimacs
20 k_dum_p-4.qdimacs
20 k_dum_p-5.qdimacs
20 k_dum_p-6.qdimacs
20 k_dum_p-7.qdimacs
20 k_dum_p-8.qdimacs
20 k_dum_p-9.qdimacs
20 ken.flash^03.C-f2.qdimacs
20 ken.flash^03.C-f3.qdimacs
20 ken.flash^03.C-f4.qdimacs
20 ken.flash^06.C-f2.qdimacs
20 ken.flash^06.C-f3.qdimacs
20 ken.flash^06.C-f4.qdimacs
20 ken.flash^08.C-f2.qdimacs
20 ken.flash^08.C-f3.qdimacs
20 ken.flash^08.C-f4.qdimacs
20 ken.flash^09.C-f2.qdimacs
20 ken.flash^09.C-f3.qdimacs
20 ken.flash^09.C-f4.qdimacs
20 ken.flash^10.C-f2.qdimacs
20 ken.flash^10.C-f3.qdimacs
20 ken.flash^10.C-f4.qdimacs
10 k_grz_n-1.qdimacs
10 k_grz_n-2.qdimacs
10 k_grz_n-3.qdimacs
10 k_grz_n-4.qdimacs
10 k_grz_n-5.qdimacs
10 k_grz_n-9.qdimacs
20 k_grz_p-10.qdimacs
20 k_grz_p-11.qdimacs
20 k_grz_p-12.qdimacs
20 k_grz_p-13.qdimacs
20 k_grz_p-1.qdimacs
20 k_grz_p-2.qdimacs
20 k_grz_p-3.qdimacs
20 k_grz_p-4.qdimacs
20 k_grz_p-5.qdimacs
20 k_grz_p-6.qdimacs
20 k_grz_p-7.qdimacs
20 k_grz_p-8.qdimacs
20 k_grz_p-9.qdimacs
10 k_lin_n-1.qdimacs
10 k_lin_n-2.qdimacs
10 k_lin_n-3.qdimacs
10 k_lin_n-4.qdimacs
10 k_lin_n-5.qdimacs
10 k_lin_n-6.qdimacs
10 k_lin_n-7.qdimacs
10 k_lin_n-8.qdimacs
20 k_lin_p-10.qdimacs
20 k_lin_p-11.qdimacs
20 k_lin_p-12.qdimacs
20 k_lin_p-13.qdimacs
20 k_lin_p-14.qdimacs
20 k_lin_p-15.qdimacs
20 k_lin_p-16.qdimacs
20 k_lin_p-17.qdimacs
20 k_lin_p-18.qdimacs
20 k_lin_p-19.qdimacs
20 k_lin_p-1.qdimacs
20 k_lin_p-20.qdimacs
20 k_lin_p-21.qdimacs
20 k_lin_p-2.qdimacs
20 k_lin_p-3.qdimacs
20 k_lin_p-4.qdimacs
20 k_lin_p-5.qdimacs
20 k_lin_p-6.qdimacs
20 k_lin_p-7.qdimacs
20 k_lin_p-8.qdimacs
20 k_lin_p-9.qdimacs
10 k_path_n-1.qdimacs
10 k_path_n-2.qdimacs
10 k_path_n-3.qdimacs
20 k_path_p-1.qdimacs
20 k_path_p-2.qdimacs
20 k_path_p-3.qdimacs
20 k_path_p-4.qdimacs
20 k_path_p-5.qdimacs
20 k_path_p-6.qdimacs
20 k_path_p-7.qdimacs
10 k_ph_n-10.qdimacs
10 k_ph_n-11.qdimacs
10 k_ph_n-12.qdimacs
10 k_ph_n-13.qdimacs
10 k_ph_n-14.qdimacs
10 k_ph_n-15.qdimacs
10 k_ph_n-16.qdimacs
10 k_ph_n-17.qdimacs
10 k_ph_n-1.qdimacs
10 k_ph_n-2.qdimacs
10 k_ph_n-3.qdimacs
10 k_ph_n-4.qdimacs
10 k_ph_n-5.qdimacs
10 k_ph_n-6.qdimacs
10 k_ph_n-7.qdimacs
10 k_ph_n-8.qdimacs
10 k_ph_n-9.qdimacs
20 k_ph_p-1.qdimacs
20 k_ph_p-2.qdimacs
20 k_ph_p-3.qdimacs
20 k_ph_p-4.qdimacs
20 k_ph_p-5.qdimacs
20 k_ph_p-6.qdimacs
20 k_ph_p-7.qdimacs
10 k_poly_n-1.qdimacs
10 k_poly_n-2.qdimacs
20 k_poly_p-1.qdimacs
20 k_poly_p-2.qdimacs
20 k_poly_p-3.qdimacs
10 k_t4p_n-1.qdimacs
20 k_t4p_p-1.qdimacs
20 k_t4p_p-2.qdimacs
20 k_t4p_p-3.qdimacs
20 k_t4p_p-4.qdimacs
20 lognBWLARGEA1.qdimacs
20 lognBWLARGEB1.qdimacs
10 lut4_2_f1.qdimacs
10 lut4_2_fXOR.qdimacs
10 lut4_3_fAND.qdimacs
10 lut4_AND_f1.qdimacs
10 lut4_XOR_f1.qdimacs
20 lut4_XOR_fOR.qdimacs
10 mutex-2-s.qdimacs
10 mutex-4-s.qdimacs
10 nusmv.dme2-16.B-d2.qdimacs
20 nusmv.reactor^3.C-f4.qdimacs
20 nusmv.reactor^5.C-f2.qdimacs
20 nusmv.reactor^5.C-f3.qdimacs
20 nusmv.reactor^5.C-f4.qdimacs
20 par16-1-00.qdimacs
20 par16-1-50.qdimacs
20 par16-1-90.qdimacs
10 par16-1-c-00.qdimacs
10 par16-1-c-50.qdimacs
10 par16-1-c-90.qdimacs
10 par16-2-c-00.qdimacs
10 par16-2-c-50.qdimacs
10 par16-2-c-90.qdimacs
20 par16-3-c-00.qdimacs
20 par16-3-c-50.qdimacs
20 par16-3-c-90.qdimacs
20 par16-4-00.qdimacs
20 par16-4-50.qdimacs
20 par16-4-90.qdimacs
10 par16-4-c-00.qdimacs
20 par16-4-c-50.qdimacs
20 par16-4-c-90.qdimacs
10 par16-5-c-00.qdimacs
20 par16-5-c-50.qdimacs
10 par16-5-c-90.qdimacs
10 par8-1-00.qdimacs
10 par8-1-50.qdimacs
20 par8-1-90.qdimacs
20 par8-1-c-00.qdimacs
20 par8-1-c-50.qdimacs
20 par8-1-c-90.qdimacs
20 par8-2-00.qdimacs
20 par8-2-50.qdimacs
20 par8-2-90.qdimacs
20 par8-2-c-00.qdimacs
20 par8-2-c-50.qdimacs
20 par8-2-c-90.qdimacs
20 par8-3-00.qdimacs
20 par8-3-50.qdimacs
10 par8-3-90.qdimacs
10 par8-3-c-00.qdimacs
20 par8-3-c-50.qdimacs
20 par8-3-c-90.qdimacs
10 par8-4-00.qdimacs
20 par8-4-50.qdimacs
20 par8-4-90.qdimacs
10 par8-4-c-00.qdimacs
10 par8-4-c-50.qdimacs
10 par8-4-c-90.qdimacs
20 par8-5-00.qdimacs
10 par8-5-50.qdimacs
20 par8-5-90.qdimacs
20 par8-5-c-00.qdimacs
20 par8-5-c-50.qdimacs
20 par8-5-c-90.qdimacs
10 qshifter_3.qdimacs
10 ring_r3_ser--opt-8_.qdimacs
20 ring_r4_ser--opt-11_.qdimacs
10 s27_d2_s.qdimacs
10 sortnetsort5.AE.stepl.003.qdimacs
10 sortnetsort5.AE.stepl.004.qdimacs
20 sortnetsort5.AE.stepl.005.qdimacs
20 sortnetsort5.AE.stepl.006.qdimacs
20 sortnetsort5.AE.stepl.007.qdimacs
20 sortnetsort5.v.stepl.003.qdimacs
20 sortnetsort5.v.stepl.004.qdimacs
10 sortnetsort5.v.stepl.005.qdimacs
10 sortnetsort5.v.stepl.006.qdimacs
10 sortnetsort5.v.stepl.007.qdimacs
10 sortnetsort6.AE.stepl.003.qdimacs
20 sortnetsort6.AE.stepl.005.qdimacs
20 sortnetsort6.AE.stepl.006.qdimacs
20 sortnetsort6.AE.stepl.007.qdimacs
20 sortnetsort6.v.stepl.003.qdimacs
10 sortnetsort6.v.stepl.005.qdimacs
10 sortnetsort6.v.stepl.006.qdimacs
10 sortnetsort6.v.stepl.007.qdimacs
10 sortnetsort7.AE.stepl.003.qdimacs
20 sortnetsort7.AE.stepl.006.qdimacs
20 sortnetsort7.AE.stepl.007.qdimacs
20 sortnetsort7.AE.stepl.008.qdimacs
20 sortnetsort7.AE.stepl.009.qdimacs
20 sortnetsort7.v.stepl.003.qdimacs
10 sortnetsort7.v.stepl.006.qdimacs
10 sortnetsort7.v.stepl.007.qdimacs
10 sortnetsort7.v.stepl.008.qdimacs
10 sortnetsort7.v.stepl.009.qdimacs
20 sortnetsort8.AE.stepl.006.qdimacs
20 sortnetsort8.AE.stepl.007.qdimacs
10 sortnetsort8.v.stepl.007.qdimacs
10 sortnetsort8.v.stepl.008.qdimacs
10 sortnetsort8.v.stepl.009.qdimacs
20 sortnetsort9.AE.stepl.009.qdimacs
10 sortnetsort9.v.stepl.009.qdimacs
10 sortnetsort9.v.stepl.010.qdimacs
10 sortnetsort9.v.stepl.011.qdimacs
10 sortnetsort9.v.stepl.012.qdimacs
10 ssa7552-159-00.qdimacs
10 ssa7552-159-90.qdimacs
10 ssa7552-160-00.qdimacs
10 ssa7552-160-90.qdimacs
10 stmt1_145_146.qdimacs
10 stmt1_20_21.qdimacs
10 stmt1_30_31.qdimacs
10 stmt24_148_149.qdimacs
10 stmt24_7_8.qdimacs
10 stmt32_122_129.qdimacs
10 stmt44_107_108.qdimacs
10 stmt44_107_113.qdimacs
10 stmt6_13_14.qdimacs
20 szymanski-4-s.qdimacs
20 szymanski-5-s.qdimacs
20 term1.blif_0.10_0.20_0_0_inp_exact.qdimacs
10 term1.blif_0.10_0.20_0_1_inp_exact.qdimacs
10 term1.blif_0.10_0.20_0_1_out_exact.qdimacs
20 term1.blif_0.10_1.00_0_0_inp_exact.qdimacs
20 term1.blif_0.10_1.00_0_0_out_exact.qdimacs
10 term1.blif_0.10_1.00_0_1_inp_exact.qdimacs
10 term1.blif_0.10_1.00_0_1_out_exact.qdimacs
10 texas.ifetch1^1.E-d3.qdimacs
20 texas.ifetch1^1.E-f2.qdimacs
20 texas.ifetch1^1.E-f3.qdimacs
20 texas.ifetch1^1.E-f4.qdimacs
20 texas.ifetch1^2.E-f2.qdimacs
20 texas.ifetch1^2.E-f3.qdimacs
20 texas.ifetch1^2.E-f4.qdimacs
10 texas.ifetch1^3.E-d3.qdimacs
20 texas.ifetch1^3.E-f2.qdimacs
20 texas.ifetch1^3.E-f3.qdimacs
20 texas.ifetch1^3.E-f4.qdimacs
20 texas.ifetch1^4.E-f2.qdimacs
20 texas.ifetch1^4.E-f3.qdimacs
20 texas.ifetch1^4.E-f4.qdimacs
10 texas.ifetch1^9.E-d3.qdimacs
10 texas.parsesys^1.E-d2.qdimacs
10 texas.parsesys^1.E-d3.qdimacs
10 texas.parsesys^1.E-d4.qdimacs
20 texas.parsesys^4.E-f2.qdimacs
20 texas.parsesys^4.E-f3.qdimacs
20 texas.parsesys^4.E-f4.qdimacs
20 texas.PI_main^14.E-f2.qdimacs
20 texas.PI_main^14.E-f3.qdimacs
20 texas.PI_main^14.E-f4.qdimacs
10 TOILET10.1.iv.20.qdimacs
20 TOILET2.1.iv.3.qdimacs
10 TOILET2.1.iv.4.qdimacs
20 TOILET6.1.iv.11.qdimacs
10 TOILET6.1.iv.12.qdimacs
10 TOILET7.1.iv.14.qdimacs
10 tree-exa10-10.qdimacs
10 tree-exa10-15.qdimacs
10 tree-exa10-20.qdimacs
20 tree-exa2-10.qdimacs
20 tree-exa2-15.qdimacs
20 tree-exa2-20.qdimacs
20 tree-exa2-25.qdimacs
10 vis.4-arbit^1.E-d2.qdimacs
10 vis.arbiter.E-d4.qdimacs
10 vis.bakery.E-d2.qdimacs
10 vis.bakery.E-d3.qdimacs
10 vis.bakery.E-d4.qdimacs
10 vis.coherence^1.E-d2.qdimacs
10 vis.coherence^1.E-d3.qdimacs
10 vis.eisenberg.E-d2.qdimacs
10 vis.eisenberg.E-d3.qdimacs
10 vis.eisenberg.E-d4.qdimacs
20 vis.elevator^1.E-f2.qdimacs
20 vis.elevator^1.E-f3.qdimacs
20 vis.elevator^1.E-f4.qdimacs
10 vis.emodel.E-d2.qdimacs
10 vis.emodel.E-d3.qdimacs
20 vis.emodel.E-f2.qdimacs
20 vis.emodel.E-f3.qdimacs
20 vis.emodel.E-f4.qdimacs
10 vis.prodcell^01.E-d2.qdimacs
20 vis.prodcell^01.E-f4.qdimacs
20 vis.prodcell^02.E-f4.qdimacs
20 vis.prodcell^03.E-f3.qdimacs
20 vis.prodcell^03.E-f4.qdimacs
20 vis.prodcell^04.E-f3.qdimacs
20 vis.prodcell^04.E-f4.qdimacs
20 vis.prodcell^05.E-f4.qdimacs
20 vis.prodcell^06.E-f3.qdimacs
20 vis.prodcell^06.E-f4.qdimacs
20 vis.prodcell^08.E-f2.qdimacs
20 vis.prodcell^08.E-f3.qdimacs
20 vis.prodcell^08.E-f4.qdimacs
20 vis.prodcell^09.E-f2.qdimacs
20 vis.prodcell^09.E-f3.qdimacs
20 vis.prodcell^09.E-f4.qdimacs
20 vis.prodcell^11.E-f2.qdimacs
20 vis.prodcell^11.E-f3.qdimacs
20 vis.prodcell^11.E-f4.qdimacs
20 vis.prodcell^20.E-f4.qdimacs
20 vis.prodcell^21.E-f2.qdimacs
20 vis.prodcell^21.E-f3.qdimacs
20 vis.prodcell^21.E-f4.qdimacs
20 vonNeumann-ripple-carry-10-c.qdimacs
20 vonNeumann-ripple-carry-11-c.qdimacs
20 vonNeumann-ripple-carry-12-c.qdimacs
20 vonNeumann-ripple-carry-13-c.qdimacs
20 vonNeumann-ripple-carry-15-c.qdimacs
20 vonNeumann-ripple-carry-5-c.qdimacs
20 vonNeumann-ripple-carry-6-c.qdimacs
20 vonNeumann-ripple-carry-7-c.qdimacs
20 vonNeumann-ripple-carry-8-c.qdimacs
20 vonNeumann-ripple-carry-9-c.qdimacs
20 z4ml.blif_0.10_0.20_0_0_inp_exact.qdimacs
20 z4ml.blif_0.10_0.20_0_0_out_exact.qdimacs
10 z4ml.blif_0.10_0.20_0_1_inp_exact.qdimacs
10 z4ml.blif_0.10_0.20_0_1_out_exact.qdimacs
20 z4ml.blif_0.10_1.00_0_0_inp_exact.qdimacs
20 z4ml.blif_0.10_1.00_0_0_out_exact.qdimacs
10 z4ml.blif_0.10_1.00_0_1_inp_exact.qdimacs
10 z4ml.blif_0.10_1.00_0_1_out_exact.qdimacs