START Fri Dec 21 11:18:59 CET 2012
6s0 [aig 3913 207 157 1 3549] only reset to [aig 3913 207 157 1 3549]
6s1 [aig 3359 45 291 1 3023] only reset to [aig 3359 45 291 1 3023]
6s10 [aig 16215 244 598 1 15373] only reset to [aig 16215 244 598 1 15373]
6s100 [aig 763775 29540 97598 1 636637] only reset to [aig 763775 29540 97598 1 636637]
6s101 [aig 7292 113 973 0 6206 6] moved and reset to [aig 7292 113 973 6 6206]
6s102 [aig 7787 72 1121 1 6594] only reset to [aig 7787 72 1121 1 6594]
6s103 [aig 349781 1700 14641 0 333440 109 39] moved and reset to [aig 349930 1700 14642 109 333588]
6s104 [aig 1567435 1760 84925 0 1480750 124 21] moved and reset to [aig 1567581 1760 84926 124 1480895]
6s105 [aig 2825 49 151 1 2625] only reset to [aig 2825 49 151 1 2625]
6s106 [aig 2490 141 135 0 2214 17] moved and reset to [aig 2490 141 135 17 2214]
6s107 [aig 25444 284 1568 0 23592 4] moved and reset to [aig 25444 284 1568 4 23592]
6s108 [aig 15530 856 782 1 13892] only reset to [aig 15530 856 782 1 13892]
6s109 [aig 9434 9 338 1 9087] only reset to [aig 9434 9 338 1 9087]
6s11 [aig 16272 244 598 1 15430] only reset to [aig 16272 244 598 1 15430]
6s110 [aig 24213 175 807 0 23231 1613 613] moved and reset to [aig 26440 175 808 1613 25457]
6s111 [aig 347337 5508 0 0 341829 2 2] moved and reset to [aig 347340 5508 0 2 341832]
6s112 [aig 6855 56 0 0 6799 6] moved and reset to [aig 6855 56 0 6 6799]
6s113 [aig 9800 133 994 0 8673 1 11] moved and reset to [aig 9813 133 995 1 8685]
6s114 [aig 1001099 1381 101639 0 898079 32210] moved and reset to [aig 1001099 1381 101639 32210 898079]
6s115 [aig 123461 1966 0 0 121495 1 47] moved and reset to [aig 123508 1966 0 1 121542]
6s116 [aig 34938 4912 4922 0 25104 17] moved and reset to [aig 34938 4912 4922 17 25104]
6s117 [aig 567561 1048 23957 0 542556 8064] moved and reset to [aig 567561 1048 23957 8064 542556]
6s118 [aig 424962 452 13706 0 410804 100 2] moved and reset to [aig 425065 452 13707 100 410906]
6s119 [aig 126505 579 18833 1 107093] only reset to [aig 126505 579 18833 1 107093]
6s12 [aig 16282 245 598 1 15439] only reset to [aig 16282 245 598 1 15439]
6s120 [aig 2390 60 58 1 2272] only reset to [aig 2390 60 58 1 2272]
6s121 [aig 2154 99 419 1 1636] only reset to [aig 2154 99 419 1 1636]
6s122 [aig 3570 29 554 1 2987] only reset to [aig 3570 29 554 1 2987]
6s123 [aig 402625 207 34305 0 368113 8 8] moved and reset to [aig 402642 207 34306 8 368129]
6s124 [aig 96536 199 6748 0 89589 630 6] moved and reset to [aig 97173 199 6749 630 90225]
6s125 [aig 3544465 4708 260713 0 3279044 1041] moved and reset to [aig 3544465 4708 260713 1041 3279044]
6s126 [aig 397879 392 0 1 397487] only reset to [aig 397879 392 0 1 397487]
6s127 [aig 529649 450 0 1 529199] only reset to [aig 529649 450 0 1 529199]
6s128 [aig 691711 512 0 1 691199] only reset to [aig 691711 512 0 1 691199]
6s129 [aig 888385 578 0 1 887807] only reset to [aig 888385 578 0 1 887807]
6s13 [aig 27234 439 811 1 25984] only reset to [aig 27234 439 811 1 25984]
6s130 [aig 25550 439 811 1 24300] only reset to [aig 25550 439 811 1 24300]
6s131 [aig 25550 439 811 1 24300] only reset to [aig 25550 439 811 1 24300]
6s132 [aig 1449 94 139 1 1216] only reset to [aig 1449 94 139 1 1216]
6s133 [aig 23310 450 819 1 22041] only reset to [aig 23310 450 819 1 22041]
6s134 [aig 2711 36 571 1 2104] only reset to [aig 2711 36 571 1 2104]
6s135 [aig 19230 177 2307 0 16746 340 40] moved and reset to [aig 19611 177 2308 340 17126]
6s136 [aig 32243 6287 3342 1 22614] only reset to [aig 32243 6287 3342 1 22614]
6s137 [aig 333120 647 32922 0 299551 589] moved and reset to [aig 333120 647 32922 589 299551]
6s138 [aig 52149 439 4008 0 47702 16] moved and reset to [aig 52149 439 4008 16 47702]
6s139 [aig 287499 4033 16230 0 267236 120 4] moved and reset to [aig 287624 4033 16231 120 267360]
6s14 [aig 27077 439 811 1 25827] only reset to [aig 27077 439 811 1 25827]
6s140 [aig 27905 158 4393 0 23354 1 1] moved and reset to [aig 27908 158 4394 1 23356]
6s141 [aig 28302 158 4393 0 23751 35 1] moved and reset to [aig 28339 158 4394 35 23787]
6s143 [aig 14613 425 260 0 13928 1 34] moved and reset to [aig 14649 425 261 1 13963]
6s144 [aig 45679 480 3337 1 41862] only reset to [aig 45679 480 3337 1 41862]
6s145 [aig 202949 942 21343 1 180664] only reset to [aig 202949 942 21343 1 180664]
6s146 [aig 255161 237 15560 0 239364 68] moved and reset to [aig 255161 237 15560 68 239364]
6s147 [aig 177501 1316 22547 1 153638] only reset to [aig 177501 1316 22547 1 153638]
6s148 [aig 45679 480 3337 1 41862] only reset to [aig 45679 480 3337 1 41862]
6s149 [aig 112623 713 12781 1 99129] only reset to [aig 112623 713 12781 1 99129]
6s15 [aig 27077 439 811 1 25827] only reset to [aig 27077 439 811 1 25827]
6s150 [aig 6638 146 1044 1 5448] only reset to [aig 6638 146 1044 1 5448]
6s151 [aig 17719 4 150 1 17565] only reset to [aig 17719 4 150 1 17565]
6s152 [aig 818 21 160 1 637] only reset to [aig 818 21 160 1 637]
6s153 [aig 44462 3833 0 0 40629 8 255] moved and reset to [aig 44724 3833 0 8 40891]
6s154 [aig 18504 193 128 0 18183 32] moved and reset to [aig 18504 193 128 32 18183]
6s155 [aig 27214 201 513 0 26500 32] moved and reset to [aig 27214 201 513 32 26500]
6s156 [aig 27212 201 513 0 26498 32] moved and reset to [aig 27212 201 513 32 26498]
6s157 [aig 27243 202 512 1 26529] only reset to [aig 27243 202 512 1 26529]
6s158 [aig 26324 193 256 1 25875] only reset to [aig 26324 193 256 1 25875]
6s159 [aig 1734 13 252 1 1469] only reset to [aig 1734 13 252 1 1469]
6s16 [aig 14994 249 608 1 14137] only reset to [aig 14994 249 608 1 14137]
6s160 [aig 9424 149 559 1 8716] only reset to [aig 9424 149 559 1 8716]
6s161 [aig 4496 75 348 1 4073] only reset to [aig 4496 75 348 1 4073]
6s162 [aig 1473 73 156 1 1244] only reset to [aig 1473 73 156 1 1244]
6s163 [aig 1728102 384 72720 1 1654998] only reset to [aig 1728102 384 72720 1 1654998]
6s164 [aig 1384 91 198 1 1095] only reset to [aig 1384 91 198 1 1095]
6s165 [aig 1536 35 65 0 1436 16] moved and reset to [aig 1536 35 65 16 1436]
6s166 [aig 2822 36 81 0 2705 16] moved and reset to [aig 2822 36 81 16 2705]
6s167 [aig 3115 68 64 0 2983 16] moved and reset to [aig 3115 68 64 16 2983]
6s168 [aig 2854 34 98 0 2722 16] moved and reset to [aig 2854 34 98 16 2722]
6s169 [aig 3009 58 145 0 2806 16] moved and reset to [aig 3009 58 145 16 2806]
6s17 [aig 24447 450 819 1 23178] only reset to [aig 24447 450 819 1 23178]
6s170 [aig 42117 3686 3141 0 35290 1 1] moved and reset to [aig 42120 3686 3142 1 35292]
6s171 [aig 9430 94 1263 1 8073] only reset to [aig 9430 94 1263 1 8073]
6s172 [aig 4969 403 422 1 4144] only reset to [aig 4969 403 422 1 4144]
6s173 [aig 2781 67 128 1 2586] only reset to [aig 2781 67 128 1 2586]
6s174 [aig 1052 14 146 1 892] only reset to [aig 1052 14 146 1 892]
6s175 [aig 94488 11684 7415 0 75389 3] moved and reset to [aig 94488 11684 7415 3 75389]
6s176 [aig 54881 322 1566 0 52993 952] moved and reset to [aig 54881 322 1566 952 52993]
6s177 [aig 810 13 160 1 637] only reset to [aig 810 13 160 1 637]
6s178 [aig 16926 145 1598 1 15183] only reset to [aig 16926 145 1598 1 15183]
6s179 [aig 1602 33 185 1 1384] only reset to [aig 1602 33 185 1 1384]
6s18 [aig 24588 450 819 1 23319] only reset to [aig 24588 450 819 1 23319]
6s180 [aig 2862 49 151 1 2662] only reset to [aig 2862 49 151 1 2662]
6s181 [aig 16414 252 607 1 15555] only reset to [aig 16414 252 607 1 15555]
6s182 [aig 17217 245 607 1 16365] only reset to [aig 17217 245 607 1 16365]
6s183 [aig 16411 252 607 1 15552] only reset to [aig 16411 252 607 1 15552]
6s184 [aig 15940 256 607 1 15077] only reset to [aig 15940 256 607 1 15077]
6s185 [aig 2517 37 367 1 2113] only reset to [aig 2517 37 367 1 2113]
6s186 [aig 2540 38 372 1 2130] only reset to [aig 2540 38 372 1 2130]
6s187 [aig 2560 38 372 1 2150] only reset to [aig 2560 38 372 1 2150]
6s188 [aig 6682 30 786 1 5866] only reset to [aig 6682 30 786 1 5866]
6s189 [aig 39764 479 2434 1 36851] only reset to [aig 39764 479 2434 1 36851]
6s19 [aig 15181 266 607 1 14308] only reset to [aig 15181 266 607 1 14308]
6s190 [aig 8371 74 1079 1 7218] only reset to [aig 8371 74 1079 1 7218]
6s191 [aig 7353 61 696 1 6596] only reset to [aig 7353 61 696 1 6596]
6s192 [aig 7396 65 698 1 6633] only reset to [aig 7396 65 698 1 6633]
6s193 [aig 4252 19 959 1 3274] only reset to [aig 4252 19 959 1 3274]
6s194 [aig 14970 532 2389 1 12049] only reset to [aig 14970 532 2389 1 12049]
6s195 [aig 9390 87 1257 1 8046] only reset to [aig 9390 87 1257 1 8046]
6s196 [aig 3621 34 718 1 2869] only reset to [aig 3621 34 718 1 2869]
6s197 [aig 1473 35 208 1 1230] only reset to [aig 1473 35 208 1 1230]
6s198 [aig 1473 35 208 1 1230] only reset to [aig 1473 35 208 1 1230]
6s199 [aig 15470 144 1660 1 13666] only reset to [aig 15470 144 1660 1 13666]
6s20 [aig 30501 49 201 1 30251] only reset to [aig 30501 49 201 1 30251]
6s21 [aig 24048 155 3795 1 20098] only reset to [aig 24048 155 3795 1 20098]
6s22 [aig 18442 73 1126 1 17243] only reset to [aig 18442 73 1126 1 17243]
6s23 [aig 71624 12 10009 1 61603] only reset to [aig 71624 12 10009 1 61603]
6s24 [aig 12018 25 1456 1 10537] only reset to [aig 12018 25 1456 1 10537]
6s25 [aig 8464 131 1718 1 6615] only reset to [aig 8464 131 1718 1 6615]
6s26 [aig 12881 247 2654 1 9980] only reset to [aig 12881 247 2654 1 9980]
6s27 [aig 13090 144 2707 1 10239] only reset to [aig 13090 144 2707 1 10239]
6s28 [aig 12247 4 2269 1 9974] only reset to [aig 12247 4 2269 1 9974]
6s29 [aig 12148 4 2247 1 9897] only reset to [aig 12148 4 2247 1 9897]
6s30 [aig 138502 32994 1195 1 104313] only reset to [aig 138502 32994 1195 1 104313]
6s31 [aig 1569 17 197 1 1355] only reset to [aig 1569 17 197 1 1355]
6s32 [aig 9263 8 1773 1 7482] only reset to [aig 9263 8 1773 1 7482]
6s33 [aig 1127 31 142 1 954] only reset to [aig 1127 31 142 1 954]
6s34 [aig 11101 77 1564 1 9460] only reset to [aig 11101 77 1564 1 9460]
6s35 [aig 11257 77 1572 1 9608] only reset to [aig 11257 77 1572 1 9608]
6s36 [aig 8301 74 1072 1 7155] only reset to [aig 8301 74 1072 1 7155]
6s37 [aig 4502 42 753 1 3707] only reset to [aig 4502 42 753 1 3707]
6s38 [aig 13121 343 1931 1 10847] only reset to [aig 13121 343 1931 1 10847]
6s39 [aig 7475 65 698 1 6712] only reset to [aig 7475 65 698 1 6712]
6s4 [aig 2862 209 202 1 2451] only reset to [aig 2862 209 202 1 2451]
6s40 [aig 36883 249 5608 3 31026] only reset to [aig 36883 249 5608 3 31026]
6s40p0 [aig 36883 249 5608 1 31026] only reset to [aig 36883 249 5608 1 31026]
6s41 [aig 4252 19 959 1 3274] only reset to [aig 4252 19 959 1 3274]
6s42 [aig 9632 76 1211 1 8345] only reset to [aig 9632 76 1211 1 8345]
6s43 [aig 8403 30 965 1 7408] only reset to [aig 8403 30 965 1 7408]
6s44 [aig 9922 76 1211 1 8635] only reset to [aig 9922 76 1211 1 8635]
6s45 [aig 5810 91 651 1 5068] only reset to [aig 5810 91 651 1 5068]
6s46 [aig 4950 91 651 1 4208] only reset to [aig 4950 91 651 1 4208]
6s47 [aig 4950 34 815 1 4101] only reset to [aig 4950 34 815 1 4101]
6s48 [aig 934 72 66 2 796] only reset to [aig 934 72 66 2 796]
6s48p0 [aig 934 72 66 1 796] only reset to [aig 934 72 66 1 796]
6s48p1 [aig 934 72 66 1 796] only reset to [aig 934 72 66 1 796]
6s49 [aig 1397 17 180 1 1200] only reset to [aig 1397 17 180 1 1200]
6s5 [aig 31645 141 2519 1 28985] only reset to [aig 31645 141 2519 1 28985]
6s50 [aig 21377 1570 3107 1 16700] only reset to [aig 21377 1570 3107 1 16700]
6s51 [aig 21378 1570 3107 1 16701] only reset to [aig 21378 1570 3107 1 16701]
6s52 [aig 1471 35 208 1 1228] only reset to [aig 1471 35 208 1 1228]
6s53 [aig 1473 35 208 1 1230] only reset to [aig 1473 35 208 1 1230]
6s54 [aig 15215 144 1660 1 13411] only reset to [aig 15215 144 1660 1 13411]
6s6 [aig 5368 168 429 1 4771] only reset to [aig 5368 168 429 1 4771]
6s7 [aig 3079 45 504 1 2530] only reset to [aig 3079 45 504 1 2530]
6s8 [aig 3498 86 396 1 3016] only reset to [aig 3498 86 396 1 3016]
6s9 [aig 16414 252 607 1 15555] only reset to [aig 16414 252 607 1 15555]
beemadd3b1 [aig 992 60 56 1 876] only reset to [aig 992 60 56 1 876]
beemadd4b1 [aig 988 60 56 1 872] only reset to [aig 988 60 56 1 872]
beemandrsn4b1 [aig 2070 116 94 1 1860] only reset to [aig 2070 116 94 1 1860]
beemandrsn6b1 [aig 5280 170 136 1 4974] only reset to [aig 5280 170 136 1 4974]
beemandrsn7f1 [aig 5138 36 135 1 4967] only reset to [aig 5138 36 135 1 4967]
beemat1b1 [aig 1776 128 87 1 1561] only reset to [aig 1776 128 87 1 1561]
beemat1f1 [aig 1290 43 86 1 1161] only reset to [aig 1290 43 86 1 1161]
beemat4f1 [aig 2123 71 126 1 1926] only reset to [aig 2123 71 126 1 1926]
beembkry1b1 [aig 1730 90 76 1 1564] only reset to [aig 1730 90 76 1 1564]
beembkry5b1 [aig 4296 180 150 1 3966] only reset to [aig 4296 180 150 1 3966]
beembkry7f1 [aig 2347 32 149 1 2166] only reset to [aig 2347 32 149 1 2166]
beemblks2b1 [aig 2399 127 109 1 2163] only reset to [aig 2399 127 109 1 2163]
beemblks3f1 [aig 2100 26 140 1 1934] only reset to [aig 2100 26 140 1 1934]
beembrdg2f1 [aig 1370 61 69 1 1240] only reset to [aig 1370 61 69 1 1240]
beembrdg3b1 [aig 6666 157 78 1 6431] only reset to [aig 6666 157 78 1 6431]
beembrdg3f1 [aig 1708 81 77 1 1550] only reset to [aig 1708 81 77 1 1550]
beembrp1f1 [aig 1322 38 122 1 1162] only reset to [aig 1322 38 122 1 1162]
beembrptwo1b2 [aig 4451 259 228 1 3964] only reset to [aig 4451 259 228 1 3964]
beembrptwo1f2 [aig 2730 33 227 1 2470] only reset to [aig 2730 33 227 1 2470]
beembrptwo4b1 [aig 4388 259 228 1 3901] only reset to [aig 4388 259 228 1 3901]
beembrptwo5f2 [aig 2725 33 227 1 2465] only reset to [aig 2725 33 227 1 2465]
beemcmbrdg1b1 [aig 7324 225 171 1 6928] only reset to [aig 7324 225 171 1 6928]
beemcmbrdg1f1 [aig 2523 56 170 1 2297] only reset to [aig 2523 56 170 1 2297]
beemcoll1b1 [aig 16802 161 132 1 16509] only reset to [aig 16802 161 132 1 16509]
beemcoll3b1 [aig 24196 210 170 1 23816] only reset to [aig 24196 210 170 1 23816]
beemcoll4b1 [aig 31269 259 208 1 30802] only reset to [aig 31269 259 208 1 30802]
beemexit5f1 [aig 2404 133 246 1 2025] only reset to [aig 2404 133 246 1 2025]
beemextnc1b1 [aig 9027 393 316 1 8318] only reset to [aig 9027 393 316 1 8318]
beemextnc3b1 [aig 11834 496 386 1 10952] only reset to [aig 11834 496 386 1 10952]
beemfish4f1 [aig 1460 43 94 1 1323] only reset to [aig 1460 43 94 1 1323]
beemfish6b1 [aig 2442 154 107 1 2181] only reset to [aig 2442 154 107 1 2181]
beemfrogs1b1 [aig 8816 165 158 1 8493] only reset to [aig 8816 165 158 1 8493]
beemfrogs1f1 [aig 5854 9 157 1 5688] only reset to [aig 5854 9 157 1 5688]
beemfwt1b1 [aig 36542 1716 1214 1 33612] only reset to [aig 36542 1716 1214 1 33612]
beemfwt1f1 [aig 21732 504 1213 1 20015] only reset to [aig 21732 504 1213 1 20015]
beemfwt5f2 [aig 63093 1280 3045 1 58768] only reset to [aig 63093 1280 3045 1 58768]
beemgear1f1 [aig 1944 50 131 1 1763] only reset to [aig 1944 50 131 1 1763]
beemgear2b1 [aig 2759 180 132 1 2447] only reset to [aig 2759 180 132 1 2447]
beemgear2f1 [aig 1946 50 131 1 1765] only reset to [aig 1946 50 131 1 1765]
beemhanoi1b1 [aig 6944 252 248 1 6444] only reset to [aig 6944 252 248 1 6444]
beemhanoi1f1 [aig 3073 6 247 1 2820] only reset to [aig 3073 6 247 1 2820]
beemkrebs3b1 [aig 3237 133 119 1 2985] only reset to [aig 3237 133 119 1 2985]
beemkrebs3f1 [aig 1580 16 118 1 1446] only reset to [aig 1580 16 118 1 1446]
beemkrebs4b1 [aig 3940 147 127 1 3666] only reset to [aig 3940 147 127 1 3666]
beemlann2b1 [aig 2082 184 150 1 1748] only reset to [aig 2082 184 150 1 1748]
beemlann2f1 [aig 1213 36 149 1 1028] only reset to [aig 1213 36 149 1 1028]
beemlann4b1 [aig 2643 230 187 1 2226] only reset to [aig 2643 230 187 1 2226]
beemldelec1b1 [aig 21288 803 710 1 19775] only reset to [aig 21288 803 710 1 19775]
beemldelec4b1 [aig 36811 1345 1214 1 34252] only reset to [aig 36811 1345 1214 1 34252]
beemldfilt1f1 [aig 2185 30 175 1 1980] only reset to [aig 2185 30 175 1 1980]
beemldfilt3b1 [aig 4061 232 194 1 3635] only reset to [aig 4061 232 194 1 3635]
beemldfilt4b1 [aig 3866 232 194 1 3440] only reset to [aig 3866 232 194 1 3440]
beemldfilt5b1 [aig 5590 284 236 1 5070] only reset to [aig 5590 284 236 1 5070]
beemlifts2b1 [aig 23003 319 186 1 22498] only reset to [aig 23003 319 186 1 22498]
beemlifts3b1 [aig 44481 456 257 1 43768] only reset to [aig 44481 456 257 1 43768]
beemlifts8b1 [aig 47943 587 322 1 47034] only reset to [aig 47943 587 322 1 47034]
beemlmprt1b1 [aig 1699 136 96 1 1467] only reset to [aig 1699 136 96 1 1467]
beemlmprt5b1 [aig 2336 176 122 1 2038] only reset to [aig 2336 176 122 1 2038]
beemlmprt5f1 [aig 1630 56 121 1 1453] only reset to [aig 1630 56 121 1 1453]
beemlmprt7b1 [aig 3039 216 148 1 2675] only reset to [aig 3039 216 148 1 2675]
beemloyd2b1 [aig 3528 96 93 1 3339] only reset to [aig 3528 96 93 1 3339]
beemloyd3b1 [aig 4207 120 117 1 3970] only reset to [aig 4207 120 117 1 3970]
beemlptna5f1 [aig 5813 365 231 1 5217] only reset to [aig 5813 365 231 1 5217]
beemmcs1f1 [aig 1054 39 111 1 904] only reset to [aig 1054 39 111 1 904]
beemmcs3b1 [aig 2315 196 146 1 1973] only reset to [aig 2315 196 146 1 1973]
beemmcs4b1 [aig 2129 196 146 1 1787] only reset to [aig 2129 196 146 1 1787]
beemmsmie1b1 [aig 2536 172 89 1 2275] only reset to [aig 2536 172 89 1 2275]
beemmsmie3b1 [aig 6442 403 154 1 5885] only reset to [aig 6442 403 154 1 5885]
beemmsmie3f1 [aig 4631 251 153 1 4227] only reset to [aig 4631 251 153 1 4227]
beemndhm2b2 [aig 16421 348 252 1 15821] only reset to [aig 16421 348 252 1 15821]
beemndhm2f2 [aig 14951 98 251 1 14602] only reset to [aig 14951 98 251 1 14602]
beemndhm3b2 [aig 19425 399 290 1 18736] only reset to [aig 19425 399 290 1 18736]
beempgmprot1b1 [aig 30427 1143 1025 1 28259] only reset to [aig 30427 1143 1025 1 28259]
beempgmprot1b2 [aig 30535 1143 1025 1 28367] only reset to [aig 30535 1143 1025 1 28367]
beempgmprot7b1 [aig 29747 1151 1033 1 27563] only reset to [aig 29747 1151 1033 1 27563]
beempgsol2b1 [aig 13696 541 403 1 12752] only reset to [aig 13696 541 403 1 12752]
beempgsol5b1 [aig 13696 541 403 1 12752] only reset to [aig 13696 541 403 1 12752]
beemplc1b2 [aig 25669 1006 778 1 23885] only reset to [aig 25669 1006 778 1 23885]
beemprdcell2f1 [aig 937 26 110 1 801] only reset to [aig 937 26 110 1 801]
beemprng1b1 [aig 18892 2075 59 1 16758] only reset to [aig 18892 2075 59 1 16758]
beemptrsn1b1 [aig 2032 132 113 1 1787] only reset to [aig 2032 132 113 1 1787]
beemptrsn4b1 [aig 2960 176 150 1 2634] only reset to [aig 2960 176 150 1 2634]
beemptrsn7b1 [aig 4017 220 187 1 3610] only reset to [aig 4017 220 187 1 3610]
beemptrsn7f1 [aig 2894 35 186 1 2673] only reset to [aig 2894 35 186 1 2673]
beemrether3b1 [aig 8997 392 283 1 8322] only reset to [aig 8997 392 283 1 8322]
beemrether4f1 [aig 3986 133 339 1 3514] only reset to [aig 3986 133 339 1 3514]
beemrether6b1 [aig 11188 563 404 1 10221] only reset to [aig 11188 563 404 1 10221]
beemrshr2b1 [aig 31462 506 491 1 30465] only reset to [aig 31462 506 491 1 30465]
beemrshr2f1 [aig 26575 17 490 1 26068] only reset to [aig 26575 17 490 1 26068]
beemrshr3b1 [aig 66627 745 720 1 65162] only reset to [aig 66627 745 720 1 65162]
beemskbn1f1 [aig 16892 9 538 1 16345] only reset to [aig 16892 9 538 1 16345]
beemskbn2b1 [aig 26124 514 507 1 25103] only reset to [aig 26124 514 507 1 25103]
beemskbn2f1 [aig 16122 9 506 1 15607] only reset to [aig 16122 9 506 1 15607]
beemsnpse4f1 [aig 24579 185 237 1 24157] only reset to [aig 24579 185 237 1 24157]
beemsnpse7b1 [aig 47584 533 314 1 46737] only reset to [aig 47584 533 314 1 46737]
beemszmsk1b1 [aig 5033 207 137 1 4689] only reset to [aig 5033 207 137 1 4689]
beemszmsk1f1 [aig 2309 72 136 1 2101] only reset to [aig 2309 72 136 1 2101]
beemtlphn4b1 [aig 7575 300 186 1 7089] only reset to [aig 7575 300 186 1 7089]
beemtlphn5f1 [aig 5342 132 249 1 4961] only reset to [aig 5342 132 249 1 4961]
beemtrngt2b1 [aig 3077 205 170 1 2702] only reset to [aig 3077 205 170 1 2702]
beemtrngt3f1 [aig 1811 37 169 1 1605] only reset to [aig 1811 37 169 1 1605]
beemtrngt4b1 [aig 4166 277 228 1 3661] only reset to [aig 4166 277 228 1 3661]
beemtrngt5f1 [aig 2444 51 227 1 2166] only reset to [aig 2444 51 227 1 2166]
bjrb07amba10andenv [aig 98090 23 63 1 98004] only reset to [aig 98090 23 63 1 98004]
bob05 [aig 20671 224 2404 1 18043] only reset to [aig 20671 224 2404 1 18043]
bob12m01 [aig 81137 352 6551 142 74234] only reset to [aig 81137 352 6551 142 74234]
bob12m02 [aig 12921 137 184 19 12600] only reset to [aig 12921 137 184 19 12600]
bob12m03 [aig 37884 617 5174 243 32093] only reset to [aig 37884 617 5174 243 32093]
bob12m04 [aig 239708 23651 43950 30228 172107] only reset to [aig 239708 23651 43950 30228 172107]
bob12m05 [aig 50494 437 3956 10 46101] only reset to [aig 50494 437 3956 10 46101]
bob12m06 [aig 229205 79 26148 28 202978] only reset to [aig 229205 79 26148 28 202978]
bob12m07 [aig 64786 25 1258 53 63503] only reset to [aig 64786 25 1258 53 63503]
bob12m08 [aig 29142 79 1994 132 27069] only reset to [aig 29142 79 1994 132 27069]
bob12m09 [aig 30579 44 285 85 30250] only reset to [aig 30579 44 285 85 30250]
bob12m10 [aig 4588 6 198 34 4384] only reset to [aig 4588 6 198 34 4384]
bob12m14 [aig 90587 25 1308 106 89254] only reset to [aig 90587 25 1308 106 89254]
bob12m15 [aig 2609 16 448 526 2145] only reset to [aig 2609 16 448 526 2145]
bob12m16 [aig 754 13 115 62 626] only reset to [aig 754 13 115 62 626]
bob12m17 [aig 2440 57 260 164 2123] only reset to [aig 2440 57 260 164 2123]
bob12m18 [aig 2458 57 261 163 2140] only reset to [aig 2458 57 261 163 2140]
bob12s01 [aig 81277 352 6551 1 74374] only reset to [aig 81277 352 6551 1 74374]
bob12s02 [aig 12938 137 184 1 12617] only reset to [aig 12938 137 184 1 12617]
bob12s03 [aig 38126 617 5174 1 32335] only reset to [aig 38126 617 5174 1 32335]
bob12s04 [aig 268209 23651 43950 1 200608] only reset to [aig 268209 23651 43950 1 200608]
bob12s05 [aig 50503 437 3956 1 46110] only reset to [aig 50503 437 3956 1 46110]
bob12s06 [aig 229232 79 26148 1 203005] only reset to [aig 229232 79 26148 1 203005]
bob12s07 [aig 64838 25 1258 1 63555] only reset to [aig 64838 25 1258 1 63555]
bob12s08 [aig 29248 79 1994 1 27175] only reset to [aig 29248 79 1994 1 27175]
bob12s09 [aig 30612 44 285 1 30283] only reset to [aig 30612 44 285 1 30283]
bob12s10 [aig 4621 6 198 1 4417] only reset to [aig 4621 6 198 1 4417]
bob1u05cu [aig 36664 224 4377 1 32063] only reset to [aig 36664 224 4377 1 32063]
bob9234redmiter [aig 825 36 119 1 670] only reset to [aig 825 36 119 1 670]
bob9234specmulti [aig 815 36 111 0 668 8] moved and reset to [aig 815 36 111 8 668]
bob9234specnegmulti [aig 815 36 111 0 668 8] moved and reset to [aig 815 36 111 8 668]
bobaesdinvdmit [aig 23501 516 1335 1 21650] only reset to [aig 23501 516 1335 1 21650]
bobmiterbm1multi [aig 3074 122 381 0 2571 1150] moved and reset to [aig 3074 122 381 1150 2571]
bobmiterbm1negmulti [aig 3074 122 381 0 2571 1150] moved and reset to [aig 3074 122 381 1150 2571]
bobmitersynbm [aig 38046 224 6090 1 31732] only reset to [aig 38046 224 6090 1 31732]
bobpcihm [aig 11353 304 1422 1 9627] only reset to [aig 11353 304 1422 1 9627]
bobsm38584 [aig 20248 12 2264 1 17972] only reset to [aig 20248 12 2264 1 17972]
bobsm9234 [aig 3097 36 343 1 2718] only reset to [aig 3097 36 343 1 2718]
bobsmcodic [aig 20646 34 1850 1 18762] only reset to [aig 20646 34 1850 1 18762]
bobsmfpu [aig 47277 262 906 1 46109] only reset to [aig 47277 262 906 1 46109]
bobsmhdlc [aig 1999 61 291 1 1647] only reset to [aig 1999 61 291 1 1647]
bobsmhdlc1 [aig 1977 61 290 1 1626] only reset to [aig 1977 61 290 1 1626]
bobsmhdlc2 [aig 1962 61 289 1 1612] only reset to [aig 1962 61 289 1 1612]
bobsmhdlc3 [aig 1935 61 300 1 1574] only reset to [aig 1935 61 300 1 1574]
bobsmi2c [aig 2100 19 260 1 1821] only reset to [aig 2100 19 260 1 1821]
bobsmmem [aig 35170 115 4135 1 30920] only reset to [aig 35170 115 4135 1 30920]
bobsmminiuart [aig 701 16 114 1 571] only reset to [aig 701 16 114 1 571]
bobsmmips [aig 39310 54 2514 1 36742] only reset to [aig 39310 54 2514 1 36742]
bobsmoci [aig 4356 65 541 1 3750] only reset to [aig 4356 65 541 1 3750]
bobsmrisc [aig 16579 30 1803 1 14746] only reset to [aig 16579 30 1803 1 14746]
bobsmvhd3 [aig 9197 99 1111 1 7987] only reset to [aig 9197 99 1111 1 7987]
bobsynthmulti [aig 18623 224 3015 0 15384 14] moved and reset to [aig 18623 224 3015 14 15384]
bobsynthnegmulti [aig 18623 224 3015 0 15384 14] moved and reset to [aig 18623 224 3015 14 15384]
bobtuintmulti [aig 2476 213 212 0 2051 32] moved and reset to [aig 2476 213 212 32 2051]
bobtuintnegmulti [aig 2476 213 212 0 2051 32] moved and reset to [aig 2476 213 212 32 2051]
bobtuttt [aig 12400 2807 111 1 9482] only reset to [aig 12400 2807 111 1 9482]
cmudme1 [aig 379 54 61 1 264] only reset to [aig 379 54 61 1 264]
cmudme2 [aig 548 56 63 1 429] only reset to [aig 548 56 63 1 429]
eijkbs3271 [aig 2560 26 305 1 2229] only reset to [aig 2560 26 305 1 2229]
eijkbs3330 [aig 2152 40 246 1 1866] only reset to [aig 2152 40 246 1 1866]
eijkbs3384 [aig 3089 43 689 1 2357] only reset to [aig 3089 43 689 1 2357]
eijkbs6669 [aig 5012 83 506 1 4423] only reset to [aig 5012 83 506 1 4423]
eijks838 [aig 834 34 106 1 694] only reset to [aig 834 34 106 1 694]
nusmvdme116 [aig 2225 288 321 1 1616] only reset to [aig 2225 288 321 1 1616]
nusmvdme1d16multi [aig 2225 288 321 0 1616 120] moved and reset to [aig 2225 288 321 120 1616]
nusmvdme1d3multi [aig 379 54 61 0 264 3] moved and reset to [aig 379 54 61 3 264]
nusmvdme216 [aig 3145 293 326 1 2526] only reset to [aig 3145 293 326 1 2526]
nusmvdme2d16multi [aig 3144 293 326 0 2525 120 1] moved and reset to [aig 3266 293 327 120 2646]
nusmvdme2d3multi [aig 548 56 63 0 429 3] moved and reset to [aig 548 56 63 3 429]
nusmvqueue [aig 2542 82 84 1 2376] only reset to [aig 2542 82 84 1 2376]
nusmvsyncarb10multi [aig 148 10 20 0 118 46] moved and reset to [aig 148 10 20 46 118]
nusmvsyncarb5multi [aig 63 5 10 0 48 11] moved and reset to [aig 63 5 10 11 48]
pdtfifo1to0 [aig 2004 7 142 1 1855] only reset to [aig 2004 7 142 1 1855]
pdtpmsns3 [aig 3600 21 472 1 3107] only reset to [aig 3600 21 472 1 3107]
pdtpmssfeistel [aig 6820 68 755 1 5997] only reset to [aig 6820 68 755 1 5997]
pdtpmsudc16 [aig 809 20 48 1 741] only reset to [aig 809 20 48 1 741]
pdtpmsviper [aig 16987 32 580 1 16375] only reset to [aig 16987 32 580 1 16375]
pdtswvqis10x6p2 [aig 4449 7 94 1 4348] only reset to [aig 4449 7 94 1 4348]
pdtswvqis8x8p2 [aig 4725 9 100 1 4616] only reset to [aig 4725 9 100 1 4616]
pdtswvsam6x8p4 [aig 8394 9 128 1 8257] only reset to [aig 8394 9 128 1 8257]
pdtswvtma6x6p3 [aig 3049 7 67 1 2975] only reset to [aig 3049 7 67 1 2975]
pdtvsar8multip [aig 7174 23 195 0 6956 33] moved and reset to [aig 7174 23 195 33 6956]
pdtvsarmultip [aig 2890 17 130 0 2743 33] moved and reset to [aig 2890 17 130 33 2743]
TIMESTAMP Fri Dec 21 11:19:32 CET 2012
6s0 [aig 3913 207 157 1 3549] non optimized miter [aig 7953 364 0 1 7589]
6s1 [aig 3359 45 291 1 3023] non optimized miter [aig 7545 336 0 1 7209]
6s10 [aig 16215 244 598 1 15373] non optimized miter [aig 33903 842 0 1 33061]
6s100 [aig 763775 29540 97598 1 636637] non optimized miter [aig 1790799 127138 0 1 1663661]
6s101 [aig 7292 113 973 6 6206] non optimized miter [aig 17293 1086 0 1 16207]
6s102 [aig 7787 72 1121 1 6594] non optimized miter [aig 18620 1193 0 1 17427]
6s103 [aig 349930 1700 14642 109 333588] non optimized miter [aig 742261 16342 0 1 725919]
6s104 [aig 1567581 1760 84926 124 1480895] non optimized miter [aig 3388663 86686 0 1 3301977]
6s105 [aig 2825 49 151 1 2625] non optimized miter [aig 5841 200 0 1 5641]
6s106 [aig 2490 141 135 17 2214] non optimized miter [aig 5295 276 0 1 5019]
6s107 [aig 25444 284 1568 4 23592] non optimized miter [aig 55303 1852 0 1 53451]
6s108 [aig 15530 856 782 1 13892] non optimized miter [aig 32073 1638 0 1 30435]
6s109 [aig 9434 9 338 1 9087] non optimized miter [aig 19876 347 0 1 19529]
6s11 [aig 16272 244 598 1 15430] non optimized miter [aig 34017 842 0 1 33175]
6s110 [aig 26440 175 808 1613 25457] non optimized miter [aig 61560 983 0 1 60577]
6s111 [aig 347340 5508 0 2 341832] non optimized miter [aig 689179 5508 0 1 683671]
6s112 [aig 6855 56 0 6 6799] non optimized miter [aig 13677 56 0 1 13621]
6s113 [aig 9813 133 995 1 8685] non optimized miter [aig 22393 1128 0 1 21265]
6s114 [aig 1001099 1381 101639 32210 898079] non optimized miter [aig 2427745 103020 0 1 2324725]
6s115 [aig 123508 1966 0 1 121542] non optimized miter [aig 245053 1966 0 1 243087]
6s116 [aig 34938 4912 4922 17 25104] non optimized miter [aig 79629 9834 0 1 69795]
6s117 [aig 567561 1048 23957 8064 542556] non optimized miter [aig 1237596 25005 0 1 1212591]
6s118 [aig 425065 452 13707 100 410906] non optimized miter [aig 891198 14159 0 1 877039]
6s119 [aig 126505 579 18833 1 107093] non optimized miter [aig 308249 19412 0 1 288837]
6s12 [aig 16282 245 598 1 15439] non optimized miter [aig 34036 843 0 1 33193]
6s120 [aig 2390 60 58 1 2272] non optimized miter [aig 4857 118 0 1 4739]
6s121 [aig 2154 99 419 1 1636] non optimized miter [aig 4973 518 0 1 4455]
6s122 [aig 3570 29 554 1 2987] non optimized miter [aig 8748 583 0 1 8165]
6s123 [aig 402642 207 34306 8 368129] non optimized miter [aig 903210 34513 0 1 868697]
6s124 [aig 97173 199 6749 630 90225] non optimized miter [aig 213929 6948 0 1 206981]
6s125 [aig 3544465 4708 260713 1041 3279044] non optimized miter [aig 7870520 265421 0 1 7605099]
6s126 [aig 397879 392 0 1 397487] non optimized miter [aig 795369 392 0 1 794977]
6s127 [aig 529649 450 0 1 529199] non optimized miter [aig 1058851 450 0 1 1058401]
6s128 [aig 691711 512 0 1 691199] non optimized miter [aig 1382913 512 0 1 1382401]
6s129 [aig 888385 578 0 1 887807] non optimized miter [aig 1776195 578 0 1 1775617]
6s13 [aig 27234 439 811 1 25984] non optimized miter [aig 56373 1250 0 1 55123]
6s130 [aig 25550 439 811 1 24300] non optimized miter [aig 52725 1250 0 1 51475]
6s131 [aig 25550 439 811 1 24300] non optimized miter [aig 52725 1250 0 1 51475]
6s132 [aig 1449 94 139 1 1216] non optimized miter [aig 3156 233 0 1 2923]
6s133 [aig 23310 450 819 1 22041] non optimized miter [aig 48258 1269 0 1 46989]
6s134 [aig 2711 36 571 1 2104] non optimized miter [aig 6066 607 0 1 5459]
6s135 [aig 19611 177 2308 340 17126] non optimized miter [aig 46836 2485 0 1 44351]
6s136 [aig 32243 6287 3342 1 22614] non optimized miter [aig 67904 9629 0 1 58275]
6s137 [aig 333120 647 32922 589 299551] non optimized miter [aig 766714 33569 0 1 733145]
6s138 [aig 52149 439 4008 16 47702] non optimized miter [aig 108274 4447 0 1 103827]
6s139 [aig 287624 4033 16231 120 267360] non optimized miter [aig 618575 20264 0 1 598311]
6s14 [aig 27077 439 811 1 25827] non optimized miter [aig 56059 1250 0 1 54809]
6s140 [aig 27908 158 4394 1 23356] non optimized miter [aig 68815 4552 0 1 64263]
6s141 [aig 28339 158 4394 35 23787] non optimized miter [aig 69813 4552 0 1 65261]
6s143 [aig 14649 425 261 1 13963] non optimized miter [aig 29603 686 0 1 28917]
6s144 [aig 45679 480 3337 1 41862] non optimized miter [aig 99212 3817 0 1 95395]
6s145 [aig 202949 942 21343 1 180664] non optimized miter [aig 468800 22285 0 1 446515]
6s146 [aig 255161 237 15560 68 239364] non optimized miter [aig 556784 15797 0 1 540987]
6s147 [aig 177501 1316 22547 1 153638] non optimized miter [aig 412954 23863 0 1 389091]
6s148 [aig 45679 480 3337 1 41862] non optimized miter [aig 99212 3817 0 1 95395]
6s149 [aig 112623 713 12781 1 99129] non optimized miter [aig 260071 13494 0 1 246577]
6s15 [aig 27077 439 811 1 25827] non optimized miter [aig 56059 1250 0 1 54809]
6s150 [aig 6638 146 1044 1 5448] non optimized miter [aig 16121 1190 0 1 14931]
6s151 [aig 17719 4 150 1 17565] non optimized miter [aig 35883 154 0 1 35729]
6s152 [aig 818 21 160 1 637] non optimized miter [aig 1962 181 0 1 1781]
6s153 [aig 44724 3833 0 8 40891] non optimized miter [aig 85646 3833 0 1 81813]
6s154 [aig 18504 193 128 32 18183] non optimized miter [aig 37326 321 0 1 37005]
6s155 [aig 27214 201 513 32 26500] non optimized miter [aig 55889 714 0 1 55175]
6s156 [aig 27212 201 513 32 26498] non optimized miter [aig 55885 714 0 1 55171]
6s157 [aig 27243 202 512 1 26529] non optimized miter [aig 55823 714 0 1 55109]
6s158 [aig 26324 193 256 1 25875] non optimized miter [aig 53226 449 0 1 52777]
6s159 [aig 1734 13 252 1 1469] non optimized miter [aig 4190 265 0 1 3925]
6s16 [aig 14994 249 608 1 14137] non optimized miter [aig 31486 857 0 1 30629]
6s160 [aig 9424 149 559 1 8716] non optimized miter [aig 20155 708 0 1 19447]
6s161 [aig 4496 75 348 1 4073] non optimized miter [aig 9640 423 0 1 9217]
6s162 [aig 1473 73 156 1 1244] non optimized miter [aig 3296 229 0 1 3067]
6s163 [aig 1728102 384 72720 1 1654998] non optimized miter [aig 3673971 73104 0 1 3600867]
6s164 [aig 1384 91 198 1 1095] non optimized miter [aig 3234 289 0 1 2945]
6s165 [aig 1536 35 65 16 1436] non optimized miter [aig 3295 100 0 1 3195]
6s166 [aig 2822 36 81 16 2705] non optimized miter [aig 5914 117 0 1 5797]
6s167 [aig 3115 68 64 16 2983] non optimized miter [aig 6417 132 0 1 6285]
6s168 [aig 2854 34 98 16 2722] non optimized miter [aig 6031 132 0 1 5899]
6s169 [aig 3009 58 145 16 2806] non optimized miter [aig 6458 203 0 1 6255]
6s17 [aig 24447 450 819 1 23178] non optimized miter [aig 50812 1269 0 1 49543]
6s170 [aig 42120 3686 3142 1 35292] non optimized miter [aig 86847 6828 0 1 80019]
6s171 [aig 9430 94 1263 1 8073] non optimized miter [aig 22546 1357 0 1 21189]
6s172 [aig 4969 403 422 1 4144] non optimized miter [aig 10704 825 0 1 9879]
6s173 [aig 2781 67 128 1 2586] non optimized miter [aig 5874 195 0 1 5679]
6s174 [aig 1052 14 146 1 892] non optimized miter [aig 2519 160 0 1 2359]
6s175 [aig 94488 11684 7415 3 75389] non optimized miter [aig 194828 19099 0 1 175729]
6s176 [aig 54881 322 1566 952 52993] non optimized miter [aig 117897 1888 0 1 116009]
6s177 [aig 810 13 160 1 637] non optimized miter [aig 1954 173 0 1 1781]
6s178 [aig 16926 145 1598 1 15183] non optimized miter [aig 37316 1743 0 1 35573]
6s179 [aig 1602 33 185 1 1384] non optimized miter [aig 3725 218 0 1 3507]
6s18 [aig 24588 450 819 1 23319] non optimized miter [aig 51094 1269 0 1 49825]
6s180 [aig 2862 49 151 1 2662] non optimized miter [aig 6083 200 0 1 5883]
6s181 [aig 16414 252 607 1 15555] non optimized miter [aig 34320 859 0 1 33461]
6s182 [aig 17217 245 607 1 16365] non optimized miter [aig 35933 852 0 1 35081]
6s183 [aig 16411 252 607 1 15552] non optimized miter [aig 34314 859 0 1 33455]
6s184 [aig 15940 256 607 1 15077] non optimized miter [aig 33368 863 0 1 32505]
6s185 [aig 2517 37 367 1 2113] non optimized miter [aig 6093 404 0 1 5689]
6s186 [aig 2540 38 372 1 2130] non optimized miter [aig 6153 410 0 1 5743]
6s187 [aig 2560 38 372 1 2150] non optimized miter [aig 6193 410 0 1 5783]
6s188 [aig 6682 30 786 1 5866] non optimized miter [aig 14727 816 0 1 13911]
6s189 [aig 39764 479 2434 1 36851] non optimized miter [aig 84998 2913 0 1 82085]
6s19 [aig 15181 266 607 1 14308] non optimized miter [aig 31840 873 0 1 30967]
6s190 [aig 8371 74 1079 1 7218] non optimized miter [aig 19840 1153 0 1 18687]
6s191 [aig 7353 61 696 1 6596] non optimized miter [aig 16140 757 0 1 15383]
6s192 [aig 7396 65 698 1 6633] non optimized miter [aig 16228 763 0 1 15465]
6s193 [aig 4252 19 959 1 3274] non optimized miter [aig 11201 978 0 1 10223]
6s194 [aig 14970 532 2389 1 12049] non optimized miter [aig 35530 2921 0 1 32609]
6s195 [aig 9390 87 1257 1 8046] non optimized miter [aig 22459 1344 0 1 21115]
6s196 [aig 3621 34 718 1 2869] non optimized miter [aig 8209 752 0 1 7457]
6s197 [aig 1473 35 208 1 1230] non optimized miter [aig 3450 243 0 1 3207]
6s198 [aig 1473 35 208 1 1230] non optimized miter [aig 3450 243 0 1 3207]
6s199 [aig 15470 144 1660 1 13666] non optimized miter [aig 34687 1804 0 1 32883]
6s20 [aig 30501 49 201 1 30251] non optimized miter [aig 61555 250 0 1 61305]
6s21 [aig 24048 155 3795 1 20098] non optimized miter [aig 59301 3950 0 1 55351]
6s22 [aig 18442 73 1126 1 17243] non optimized miter [aig 40096 1199 0 1 38897]
6s23 [aig 71624 12 10009 1 61603] non optimized miter [aig 173254 10021 0 1 163233]
6s24 [aig 12018 25 1456 1 10537] non optimized miter [aig 28230 1481 0 1 26749]
6s25 [aig 8464 131 1718 1 6615] non optimized miter [aig 21826 1849 0 1 19977]
6s26 [aig 12881 247 2654 1 9980] non optimized miter [aig 30152 2901 0 1 27251]
6s27 [aig 13090 144 2707 1 10239] non optimized miter [aig 30768 2851 0 1 27917]
6s28 [aig 12247 4 2269 1 9974] non optimized miter [aig 29396 2273 0 1 27123]
6s29 [aig 12148 4 2247 1 9897] non optimized miter [aig 29132 2251 0 1 26881]
6s30 [aig 138502 32994 1195 1 104313] non optimized miter [aig 247362 34189 0 1 213173]
6s31 [aig 1569 17 197 1 1355] non optimized miter [aig 3695 214 0 1 3481]
6s32 [aig 9263 8 1773 1 7482] non optimized miter [aig 23796 1781 0 1 22015]
6s33 [aig 1127 31 142 1 954] non optimized miter [aig 2640 173 0 1 2467]
6s34 [aig 11101 77 1564 1 9460] non optimized miter [aig 26816 1641 0 1 25175]
6s35 [aig 11257 77 1572 1 9608] non optimized miter [aig 27152 1649 0 1 25503]
6s36 [aig 8301 74 1072 1 7155] non optimized miter [aig 19679 1146 0 1 18533]
6s37 [aig 4502 42 753 1 3707] non optimized miter [aig 10880 795 0 1 10085]
6s38 [aig 13121 343 1931 1 10847] non optimized miter [aig 30547 2274 0 1 28273]
6s39 [aig 7475 65 698 1 6712] non optimized miter [aig 16386 763 0 1 15623]
6s4 [aig 2862 209 202 1 2451] non optimized miter [aig 6112 411 0 1 5701]
6s40 [aig 36883 249 5608 3 31026] non optimized miter [aig 90340 5857 0 1 84483]
6s40p0 [aig 36883 249 5608 1 31026] non optimized miter [aig 89140 5857 0 1 83283]
6s41 [aig 4252 19 959 1 3274] non optimized miter [aig 11201 978 0 1 10223]
6s42 [aig 9632 76 1211 1 8345] non optimized miter [aig 21576 1287 0 1 20289]
6s43 [aig 8403 30 965 1 7408] non optimized miter [aig 18638 995 0 1 17643]
6s44 [aig 9922 76 1211 1 8635] non optimized miter [aig 22156 1287 0 1 20869]
6s45 [aig 5810 91 651 1 5068] non optimized miter [aig 13433 742 0 1 12691]
6s46 [aig 4950 91 651 1 4208] non optimized miter [aig 11713 742 0 1 10971]
6s47 [aig 4950 34 815 1 4101] non optimized miter [aig 12306 849 0 1 11457]
6s48 [aig 934 72 66 2 796] non optimized miter [aig 1993 138 0 1 1855]
6s48p0 [aig 934 72 66 1 796] non optimized miter [aig 1987 138 0 1 1849]
6s48p1 [aig 934 72 66 1 796] non optimized miter [aig 1979 138 0 1 1841]
6s49 [aig 1397 17 180 1 1200] non optimized miter [aig 3312 197 0 1 3115]
6s5 [aig 31645 141 2519 1 28985] non optimized miter [aig 70073 2660 0 1 67413]
6s50 [aig 21377 1570 3107 1 16700] non optimized miter [aig 47388 4677 0 1 42711]
6s51 [aig 21378 1570 3107 1 16701] non optimized miter [aig 47390 4677 0 1 42713]
6s52 [aig 1471 35 208 1 1228] non optimized miter [aig 3446 243 0 1 3203]
6s53 [aig 1473 35 208 1 1230] non optimized miter [aig 3450 243 0 1 3207]
6s54 [aig 15215 144 1660 1 13411] non optimized miter [aig 34177 1804 0 1 32373]
6s6 [aig 5368 168 429 1 4771] non optimized miter [aig 11822 597 0 1 11225]
6s7 [aig 3079 45 504 1 2530] non optimized miter [aig 7348 549 0 1 6799]
6s8 [aig 3498 86 396 1 3016] non optimized miter [aig 7749 482 0 1 7267]
6s9 [aig 16414 252 607 1 15555] non optimized miter [aig 34320 859 0 1 33461]
beemadd3b1 [aig 992 60 56 1 876] non optimized miter [aig 1875 116 0 1 1759]
beemadd4b1 [aig 988 60 56 1 872] non optimized miter [aig 1867 116 0 1 1751]
beemandrsn4b1 [aig 2070 116 94 1 1860] non optimized miter [aig 3937 210 0 1 3727]
beemandrsn6b1 [aig 5280 170 136 1 4974] non optimized miter [aig 10261 306 0 1 9955]
beemandrsn7f1 [aig 5138 36 135 1 4967] non optimized miter [aig 10648 171 0 1 10477]
beemat1b1 [aig 1776 128 87 1 1561] non optimized miter [aig 3344 215 0 1 3129]
beemat1f1 [aig 1290 43 86 1 1161] non optimized miter [aig 2782 129 0 1 2653]
beemat4f1 [aig 2123 71 126 1 1926] non optimized miter [aig 4532 197 0 1 4335]
beembkry1b1 [aig 1730 90 76 1 1564] non optimized miter [aig 3301 166 0 1 3135]
beembkry5b1 [aig 4296 180 150 1 3966] non optimized miter [aig 8269 330 0 1 7939]
beembkry7f1 [aig 2347 32 149 1 2166] non optimized miter [aig 5112 181 0 1 4931]
beemblks2b1 [aig 2399 127 109 1 2163] non optimized miter [aig 4569 236 0 1 4333]
beemblks3f1 [aig 2100 26 140 1 1934] non optimized miter [aig 4597 166 0 1 4431]
beembrdg2f1 [aig 1370 61 69 1 1240] non optimized miter [aig 2885 130 0 1 2755]
beembrdg3b1 [aig 6666 157 78 1 6431] non optimized miter [aig 13104 235 0 1 12869]
beembrdg3f1 [aig 1708 81 77 1 1550] non optimized miter [aig 3565 158 0 1 3407]
beembrp1f1 [aig 1322 38 122 1 1162] non optimized miter [aig 2939 160 0 1 2779]
beembrptwo1b2 [aig 4451 259 228 1 3964] non optimized miter [aig 8422 487 0 1 7935]
beembrptwo1f2 [aig 2730 33 227 1 2470] non optimized miter [aig 5851 260 0 1 5591]
beembrptwo4b1 [aig 4388 259 228 1 3901] non optimized miter [aig 8296 487 0 1 7809]
beembrptwo5f2 [aig 2725 33 227 1 2465] non optimized miter [aig 5841 260 0 1 5581]
beemcmbrdg1b1 [aig 7324 225 171 1 6928] non optimized miter [aig 14259 396 0 1 13863]
beemcmbrdg1f1 [aig 2523 56 170 1 2297] non optimized miter [aig 5495 226 0 1 5269]
beemcoll1b1 [aig 16802 161 132 1 16509] non optimized miter [aig 33318 293 0 1 33025]
beemcoll3b1 [aig 24196 210 170 1 23816] non optimized miter [aig 48019 380 0 1 47639]
beemcoll4b1 [aig 31269 259 208 1 30802] non optimized miter [aig 62078 467 0 1 61611]
beemexit5f1 [aig 2404 133 246 1 2025] non optimized miter [aig 5400 379 0 1 5021]
beemextnc1b1 [aig 9027 393 316 1 8318] non optimized miter [aig 17352 709 0 1 16643]
beemextnc3b1 [aig 11834 496 386 1 10952] non optimized miter [aig 22793 882 0 1 21911]
beemfish4f1 [aig 1460 43 94 1 1323] non optimized miter [aig 3158 137 0 1 3021]
beemfish6b1 [aig 2442 154 107 1 2181] non optimized miter [aig 4630 261 0 1 4369]
beemfrogs1b1 [aig 8816 165 158 1 8493] non optimized miter [aig 17316 323 0 1 16993]
beemfrogs1f1 [aig 5854 9 157 1 5688] non optimized miter [aig 12165 166 0 1 11999]
beemfwt1b1 [aig 36542 1716 1214 1 33612] non optimized miter [aig 70161 2930 0 1 67231]
beemfwt1f1 [aig 21732 504 1213 1 20015] non optimized miter [aig 45450 1717 0 1 43733]
beemfwt5f2 [aig 63093 1280 3045 1 58768] non optimized miter [aig 130844 4325 0 1 126519]
beemgear1f1 [aig 1944 50 131 1 1763] non optimized miter [aig 4230 181 0 1 4049]
beemgear2b1 [aig 2759 180 132 1 2447] non optimized miter [aig 5213 312 0 1 4901]
beemgear2f1 [aig 1946 50 131 1 1765] non optimized miter [aig 4234 181 0 1 4053]
beemhanoi1b1 [aig 6944 252 248 1 6444] non optimized miter [aig 13395 500 0 1 12895]
beemhanoi1f1 [aig 3073 6 247 1 2820] non optimized miter [aig 6860 253 0 1 6607]
beemkrebs3b1 [aig 3237 133 119 1 2985] non optimized miter [aig 6229 252 0 1 5977]
beemkrebs3f1 [aig 1580 16 118 1 1446] non optimized miter [aig 3465 134 0 1 3331]
beemkrebs4b1 [aig 3940 147 127 1 3666] non optimized miter [aig 7613 274 0 1 7339]
beemlann2b1 [aig 2082 184 150 1 1748] non optimized miter [aig 3837 334 0 1 3503]
beemlann2f1 [aig 1213 36 149 1 1028] non optimized miter [aig 2840 185 0 1 2655]
beemlann4b1 [aig 2643 230 187 1 2226] non optimized miter [aig 4876 417 0 1 4459]
beemldelec1b1 [aig 21288 803 710 1 19775] non optimized miter [aig 41070 1513 0 1 39557]
beemldelec4b1 [aig 36811 1345 1214 1 34252] non optimized miter [aig 71070 2559 0 1 68511]
beemldfilt1f1 [aig 2185 30 175 1 1980] non optimized miter [aig 4868 205 0 1 4663]
beemldfilt3b1 [aig 4061 232 194 1 3635] non optimized miter [aig 7703 426 0 1 7277]
beemldfilt4b1 [aig 3866 232 194 1 3440] non optimized miter [aig 7313 426 0 1 6887]
beemldfilt5b1 [aig 5590 284 236 1 5070] non optimized miter [aig 10667 520 0 1 10147]
beemlifts2b1 [aig 23003 319 186 1 22498] non optimized miter [aig 45508 505 0 1 45003]
beemlifts3b1 [aig 44481 456 257 1 43768] non optimized miter [aig 88256 713 0 1 87543]
beemlifts8b1 [aig 47943 587 322 1 47034] non optimized miter [aig 94984 909 0 1 94075]
beemlmprt1b1 [aig 1699 136 96 1 1467] non optimized miter [aig 3173 232 0 1 2941]
beemlmprt5b1 [aig 2336 176 122 1 2038] non optimized miter [aig 4381 298 0 1 4083]
beemlmprt5f1 [aig 1630 56 121 1 1453] non optimized miter [aig 3570 177 0 1 3393]
beemlmprt7b1 [aig 3039 216 148 1 2675] non optimized miter [aig 5721 364 0 1 5357]
beemloyd2b1 [aig 3528 96 93 1 3339] non optimized miter [aig 6874 189 0 1 6685]
beemloyd3b1 [aig 4207 120 117 1 3970] non optimized miter [aig 8184 237 0 1 7947]
beemlptna5f1 [aig 5813 365 231 1 5217] non optimized miter [aig 11957 596 0 1 11361]
beemmcs1f1 [aig 1054 39 111 1 904] non optimized miter [aig 2405 150 0 1 2255]
beemmcs3b1 [aig 2315 196 146 1 1973] non optimized miter [aig 4295 342 0 1 3953]
beemmcs4b1 [aig 2129 196 146 1 1787] non optimized miter [aig 3923 342 0 1 3581]
beemmsmie1b1 [aig 2536 172 89 1 2275] non optimized miter [aig 4818 261 0 1 4557]
beemmsmie3b1 [aig 6442 403 154 1 5885] non optimized miter [aig 12334 557 0 1 11777]
beemmsmie3f1 [aig 4631 251 153 1 4227] non optimized miter [aig 9473 404 0 1 9069]
beemndhm2b2 [aig 16421 348 252 1 15821] non optimized miter [aig 32249 600 0 1 31649]
beemndhm2f2 [aig 14951 98 251 1 14602] non optimized miter [aig 30560 349 0 1 30211]
beemndhm3b2 [aig 19425 399 290 1 18736] non optimized miter [aig 38168 689 0 1 37479]
beempgmprot1b1 [aig 30427 1143 1025 1 28259] non optimized miter [aig 58693 2168 0 1 56525]
beempgmprot1b2 [aig 30535 1143 1025 1 28367] non optimized miter [aig 58909 2168 0 1 56741]
beempgmprot7b1 [aig 29747 1151 1033 1 27563] non optimized miter [aig 57317 2184 0 1 55133]
beempgsol2b1 [aig 13696 541 403 1 12752] non optimized miter [aig 26455 944 0 1 25511]
beempgsol5b1 [aig 13696 541 403 1 12752] non optimized miter [aig 26455 944 0 1 25511]
beemplc1b2 [aig 25669 1006 778 1 23885] non optimized miter [aig 49561 1784 0 1 47777]
beemprdcell2f1 [aig 937 26 110 1 801] non optimized miter [aig 2177 136 0 1 2041]
beemprng1b1 [aig 18892 2075 59 1 16758] non optimized miter [aig 35657 2134 0 1 33523]
beemptrsn1b1 [aig 2032 132 113 1 1787] non optimized miter [aig 3826 245 0 1 3581]
beemptrsn4b1 [aig 2960 176 150 1 2634] non optimized miter [aig 5601 326 0 1 5275]
beemptrsn7b1 [aig 4017 220 187 1 3610] non optimized miter [aig 7634 407 0 1 7227]
beemptrsn7f1 [aig 2894 35 186 1 2673] non optimized miter [aig 6314 221 0 1 6093]
beemrether3b1 [aig 8997 392 283 1 8322] non optimized miter [aig 17326 675 0 1 16651]
beemrether4f1 [aig 3986 133 339 1 3514] non optimized miter [aig 8859 472 0 1 8387]
beemrether6b1 [aig 11188 563 404 1 10221] non optimized miter [aig 21416 967 0 1 20449]
beemrshr2b1 [aig 31462 506 491 1 30465] non optimized miter [aig 61934 997 0 1 60937]
beemrshr2f1 [aig 26575 17 490 1 26068] non optimized miter [aig 54066 507 0 1 53559]
beemrshr3b1 [aig 66627 745 720 1 65162] non optimized miter [aig 131796 1465 0 1 130331]
beemskbn1f1 [aig 16892 9 538 1 16345] non optimized miter [aig 35388 547 0 1 34841]
beemskbn2b1 [aig 26124 514 507 1 25103] non optimized miter [aig 51234 1021 0 1 50213]
beemskbn2f1 [aig 16122 9 506 1 15607] non optimized miter [aig 33752 515 0 1 33237]
beemsnpse4f1 [aig 24579 185 237 1 24157] non optimized miter [aig 49687 422 0 1 49265]
beemsnpse7b1 [aig 47584 533 314 1 46737] non optimized miter [aig 94328 847 0 1 93481]
beemszmsk1b1 [aig 5033 207 137 1 4689] non optimized miter [aig 9729 344 0 1 9385]
beemszmsk1f1 [aig 2309 72 136 1 2101] non optimized miter [aig 4957 208 0 1 4749]
beemtlphn4b1 [aig 7575 300 186 1 7089] non optimized miter [aig 14671 486 0 1 14185]
beemtlphn5f1 [aig 5342 132 249 1 4961] non optimized miter [aig 11046 381 0 1 10665]
beemtrngt2b1 [aig 3077 205 170 1 2702] non optimized miter [aig 5786 375 0 1 5411]
beemtrngt3f1 [aig 1811 37 169 1 1605] non optimized miter [aig 3963 206 0 1 3757]
beemtrngt4b1 [aig 4166 277 228 1 3661] non optimized miter [aig 7834 505 0 1 7329]
beemtrngt5f1 [aig 2444 51 227 1 2166] non optimized miter [aig 5325 278 0 1 5047]
bjrb07amba10andenv [aig 98090 23 63 1 98004] non optimized miter [aig 196289 86 0 1 196203]
bob05 [aig 20671 224 2404 1 18043] non optimized miter [aig 48209 2628 0 1 45581]
bob12m01 [aig 81137 352 6551 142 74234] non optimized miter [aig 180666 6903 0 1 173763]
bob12m02 [aig 12921 137 184 19 12600] non optimized miter [aig 26328 321 0 1 26007]
bob12m03 [aig 37884 617 5174 243 32093] non optimized miter [aig 90900 5791 0 1 85109]
bob12m04 [aig 239708 23651 43950 30228 172107] non optimized miter [aig 626906 67601 0 1 559305]
bob12m05 [aig 50494 437 3956 10 46101] non optimized miter [aig 104642 4393 0 1 100249]
bob12m06 [aig 229205 79 26148 28 202978] non optimized miter [aig 536882 26227 0 1 510655]
bob12m07 [aig 64786 25 1258 53 63503] non optimized miter [aig 133500 1283 0 1 132217]
bob12m08 [aig 29142 79 1994 132 27069] non optimized miter [aig 64606 2073 0 1 62533]
bob12m09 [aig 30579 44 285 85 30250] non optimized miter [aig 62104 329 0 1 61775]
bob12m10 [aig 4588 6 198 34 4384] non optimized miter [aig 9895 204 0 1 9691]
bob12m14 [aig 90587 25 1308 106 89254] non optimized miter [aig 185496 1333 0 1 184163]
bob12m15 [aig 2609 16 448 526 2145] non optimized miter [aig 6885 464 0 1 6421]
bob12m16 [aig 754 13 115 62 626] non optimized miter [aig 1931 128 0 1 1803]
bob12m17 [aig 2440 57 260 164 2123] non optimized miter [aig 6206 317 0 1 5889]
bob12m18 [aig 2458 57 261 163 2140] non optimized miter [aig 6245 318 0 1 5927]
bob12s01 [aig 81277 352 6551 1 74374] non optimized miter [aig 180934 6903 0 1 174031]
bob12s02 [aig 12938 137 184 1 12617] non optimized miter [aig 26294 321 0 1 25973]
bob12s03 [aig 38126 617 5174 1 32335] non optimized miter [aig 90416 5791 0 1 84625]
bob12s04 [aig 268209 23651 43950 1 200608] non optimized miter [aig 569904 67601 0 1 502303]
bob12s05 [aig 50503 437 3956 1 46110] non optimized miter [aig 104624 4393 0 1 100231]
bob12s06 [aig 229232 79 26148 1 203005] non optimized miter [aig 536832 26227 0 1 510605]
bob12s07 [aig 64838 25 1258 1 63555] non optimized miter [aig 133396 1283 0 1 132113]
bob12s08 [aig 29248 79 1994 1 27175] non optimized miter [aig 64402 2073 0 1 62329]
bob12s09 [aig 30612 44 285 1 30283] non optimized miter [aig 62038 329 0 1 61709]
bob12s10 [aig 4621 6 198 1 4417] non optimized miter [aig 9829 204 0 1 9625]
bob1u05cu [aig 36664 224 4377 1 32063] non optimized miter [aig 86078 4601 0 1 81477]
bob9234redmiter [aig 825 36 119 1 670] non optimized miter [aig 1866 155 0 1 1711]
bob9234specmulti [aig 815 36 111 8 668] non optimized miter [aig 1826 147 0 1 1679]
bob9234specnegmulti [aig 815 36 111 8 668] non optimized miter [aig 1826 147 0 1 1679]
bobaesdinvdmit [aig 23501 516 1335 1 21650] non optimized miter [aig 49938 1851 0 1 48087]
bobmiterbm1multi [aig 3074 122 381 1150 2571] non optimized miter [aig 7368 503 0 1 6865]
bobmiterbm1negmulti [aig 3074 122 381 1150 2571] non optimized miter [aig 7368 503 0 1 6865]
bobmitersynbm [aig 38046 224 6090 1 31732] non optimized miter [aig 94085 6314 0 1 87771]
bobpcihm [aig 11353 304 1422 1 9627] non optimized miter [aig 26327 1726 0 1 24601]
bobsm38584 [aig 20248 12 2264 1 17972] non optimized miter [aig 46175 2276 0 1 43899]
bobsm9234 [aig 3097 36 343 1 2718] non optimized miter [aig 6866 379 0 1 6487]
bobsmcodic [aig 20646 34 1850 1 18762] non optimized miter [aig 46811 1884 0 1 44927]
bobsmfpu [aig 47277 262 906 1 46109] non optimized miter [aig 95205 1168 0 1 94037]
bobsmhdlc [aig 1999 61 291 1 1647] non optimized miter [aig 4681 352 0 1 4329]
bobsmhdlc1 [aig 1977 61 290 1 1626] non optimized miter [aig 4638 351 0 1 4287]
bobsmhdlc2 [aig 1962 61 289 1 1612] non optimized miter [aig 4605 350 0 1 4255]
bobsmhdlc3 [aig 1935 61 300 1 1574] non optimized miter [aig 4588 361 0 1 4227]
bobsmi2c [aig 2100 19 260 1 1821] non optimized miter [aig 4940 279 0 1 4661]
bobsmmem [aig 35170 115 4135 1 30920] non optimized miter [aig 81725 4250 0 1 77475]
bobsmminiuart [aig 701 16 114 1 571] non optimized miter [aig 1723 130 0 1 1593]
bobsmmips [aig 39310 54 2514 1 36742] non optimized miter [aig 86111 2568 0 1 83543]
bobsmoci [aig 4356 65 541 1 3750] non optimized miter [aig 10237 606 0 1 9631]
bobsmrisc [aig 16579 30 1803 1 14746] non optimized miter [aig 38496 1833 0 1 36663]
bobsmvhd3 [aig 9197 99 1111 1 7987] non optimized miter [aig 21543 1210 0 1 20333]
bobsynthmulti [aig 18623 224 3015 14 15384] non optimized miter [aig 46038 3239 0 1 42799]
bobsynthnegmulti [aig 18623 224 3015 14 15384] non optimized miter [aig 46038 3239 0 1 42799]
bobtuintmulti [aig 2476 213 212 32 2051] non optimized miter [aig 5294 425 0 1 4869]
bobtuintnegmulti [aig 2476 213 212 32 2051] non optimized miter [aig 5294 425 0 1 4869]
bobtuttt [aig 12400 2807 111 1 9482] non optimized miter [aig 22317 2918 0 1 19399]
cmudme1 [aig 379 54 61 1 264] non optimized miter [aig 866 115 0 1 751]
cmudme2 [aig 548 56 63 1 429] non optimized miter [aig 1200 119 0 1 1081]
eijkbs3271 [aig 2560 26 305 1 2229] non optimized miter [aig 5704 331 0 1 5373]
eijkbs3330 [aig 2152 40 246 1 1866] non optimized miter [aig 4657 286 0 1 4371]
eijkbs3384 [aig 3089 43 689 1 2357] non optimized miter [aig 6561 732 0 1 5829]
eijkbs6669 [aig 5012 83 506 1 4423] non optimized miter [aig 10518 589 0 1 9929]
eijks838 [aig 834 34 106 1 694] non optimized miter [aig 1955 140 0 1 1815]
nusmvdme116 [aig 2225 288 321 1 1616] non optimized miter [aig 5000 609 0 1 4391]
nusmvdme1d16multi [aig 2225 288 321 120 1616] non optimized miter [aig 5476 609 0 1 4867]
nusmvdme1d3multi [aig 379 54 61 3 264] non optimized miter [aig 874 115 0 1 759]
nusmvdme216 [aig 3145 293 326 1 2526] non optimized miter [aig 6830 619 0 1 6211]
nusmvdme2d16multi [aig 3266 293 327 120 2646] non optimized miter [aig 7551 620 0 1 6931]
nusmvdme2d3multi [aig 548 56 63 3 429] non optimized miter [aig 1208 119 0 1 1089]
nusmvqueue [aig 2542 82 84 1 2376] non optimized miter [aig 4925 166 0 1 4759]
nusmvsyncarb10multi [aig 148 10 20 46 118] non optimized miter [aig 489 30 0 1 459]
nusmvsyncarb5multi [aig 63 5 10 11 48] non optimized miter [aig 174 15 0 1 159]
pdtfifo1to0 [aig 2004 7 142 1 1855] non optimized miter [aig 4430 149 0 1 4281]
pdtpmsns3 [aig 3600 21 472 1 3107] non optimized miter [aig 8550 493 0 1 8057]
pdtpmssfeistel [aig 6820 68 755 1 5997] non optimized miter [aig 15840 823 0 1 15017]
pdtpmsudc16 [aig 809 20 48 1 741] non optimized miter [aig 1745 68 0 1 1677]
pdtpmsviper [aig 16987 32 580 1 16375] non optimized miter [aig 35673 612 0 1 35061]
pdtswvqis10x6p2 [aig 4449 7 94 1 4348] non optimized miter [aig 9172 101 0 1 9071]
pdtswvqis8x8p2 [aig 4725 9 100 1 4616] non optimized miter [aig 9740 109 0 1 9631]
pdtswvsam6x8p4 [aig 8394 9 128 1 8257] non optimized miter [aig 17162 137 0 1 17025]
pdtswvtma6x6p3 [aig 3049 7 67 1 2975] non optimized miter [aig 6291 74 0 1 6217]
pdtvsar8multip [aig 7174 23 195 33 6956] non optimized miter [aig 15033 218 0 1 14815]
pdtvsarmultip [aig 2890 17 130 33 2743] non optimized miter [aig 6272 147 0 1 6125]
TIMESTAMP Fri Dec 21 11:20:24 CET 2012
6s0 [aig 3913 207 157 1 3549] optimized by ABC 1.01 ('dc2;zero') to [aig 3489 207 157 1 3125]
6s1 [aig 3359 45 291 1 3023] optimized by ABC 1.01 ('dc2;zero') to [aig 2821 45 291 1 2485]
6s10 [aig 16215 244 598 1 15373] optimized by ABC 1.01 ('dc2;zero') to [aig 15475 244 598 1 14633]
6s100 [aig 763775 29540 97598 1 636637] optimized by ABC 1.01 ('dc2;zero') to [aig 709371 29540 97598 1 582233]
6s101 [aig 7292 113 973 6 6206] optimized by ABC 1.01 ('dc2;zero') to [aig 6630 113 973 6 5544]
6s102 [aig 7787 72 1121 1 6594] optimized by ABC 1.01 ('dc2;zero') to [aig 7140 72 1121 1 5947]
6s103 [aig 349930 1700 14642 109 333588] optimized by ABC 1.01 ('dc2;zero') to [aig 296184 1700 14642 109 279842]
6s104 [aig 1567581 1760 84926 124 1480895] optimized by ABC 1.01 ('dc2;zero') to [aig 1019447 1760 84926 124 932761]
6s105 [aig 2825 49 151 1 2625] optimized by ABC 1.01 ('dc2;zero') to [aig 2620 49 151 1 2420]
6s106 [aig 2490 141 135 17 2214] optimized by ABC 1.01 ('dc2;zero') to [aig 2338 141 135 17 2062]
6s107 [aig 25444 284 1568 4 23592] optimized by ABC 1.01 ('dc2;zero') to [aig 15442 284 1568 4 13590]
6s108 [aig 15530 856 782 1 13892] optimized by ABC 1.01 ('dc2;zero') to [aig 12930 856 782 1 11292]
6s109 [aig 9434 9 338 1 9087] optimized by ABC 1.01 ('dc2;zero') to [aig 3591 9 338 1 3244]
6s11 [aig 16272 244 598 1 15430] optimized by ABC 1.01 ('dc2;zero') to [aig 15534 244 598 1 14692]
6s110 [aig 26440 175 808 1613 25457] optimized by ABC 1.01 ('dc2;zero') to [aig 16582 175 808 1613 15599]
6s111 [aig 347340 5508 0 2 341832]Error: The current network is combinational.
 optimized by ABC 1.01 ('dc2;zero') to [aig 336806 5508 0 2 331298]
6s112 [aig 6855 56 0 6 6799]Error: The current network is combinational.
 optimized by ABC 1.01 ('dc2;zero') to [aig 6694 56 0 6 6638]
6s113 [aig 9813 133 995 1 8685] optimized by ABC 1.01 ('dc2;zero') to [aig 9365 133 995 1 8237]
6s114 [aig 1001099 1381 101639 32210 898079] optimized by ABC 1.01 ('dc2;zero') to [aig 739023 1381 101639 32210 636003]
6s115 [aig 123508 1966 0 1 121542]Error: The current network is combinational.
 optimized by ABC 1.01 ('dc2;zero') to [aig 114074 1966 0 1 112108]
6s116 [aig 34938 4912 4922 17 25104] optimized by ABC 1.01 ('dc2;zero') to [aig 30356 4912 4922 17 20522]
6s117 [aig 567561 1048 23957 8064 542556] optimized by ABC 1.01 ('dc2;zero') to [aig 378642 1048 23957 8064 353637]
6s118 [aig 425065 452 13707 100 410906] optimized by ABC 1.01 ('dc2;zero') to [aig 255502 452 13707 100 241343]
6s119 [aig 126505 579 18833 1 107093] optimized by ABC 1.01 ('dc2;zero') to [aig 124654 579 18833 1 105242]
6s12 [aig 16282 245 598 1 15439] optimized by ABC 1.01 ('dc2;zero') to [aig 15533 245 598 1 14690]
6s120 [aig 2390 60 58 1 2272] optimized by ABC 1.01 ('dc2;zero') to [aig 2093 60 58 1 1975]
6s121 [aig 2154 99 419 1 1636] optimized by ABC 1.01 ('dc2;zero') to [aig 2054 99 419 1 1536]
6s122 [aig 3570 29 554 1 2987] optimized by ABC 1.01 ('dc2;zero') to [aig 3526 29 554 1 2943]
6s123 [aig 402642 207 34306 8 368129] optimized by ABC 1.01 ('dc2;zero') to [aig 293969 207 34306 8 259456]
6s124 [aig 97173 199 6749 630 90225] optimized by ABC 1.01 ('dc2;zero') to [aig 82862 199 6749 630 75914]
6s125 [aig 3544465 4708 260713 1041 3279044] optimized by ABC 1.01 ('dc2;zero') to [aig 3133445 4708 260713 1041 2868024]
6s126 [aig 397879 392 0 1 397487]Error: The current network is combinational.
 optimized by ABC 1.01 ('dc2;zero') to [aig 181401 392 0 1 181009]
6s127 [aig 529649 450 0 1 529199]Error: The current network is combinational.
 optimized by ABC 1.01 ('dc2;zero') to [aig 239998 450 0 1 239548]
6s128 [aig 691711 512 0 1 691199]Error: The current network is combinational.
 optimized by ABC 1.01 ('dc2;zero') to [aig 311089 512 0 1 310577]
6s129 [aig 888385 578 0 1 887807]Error: The current network is combinational.
 optimized by ABC 1.01 ('dc2;zero') to [aig 397501 578 0 1 396923]
6s13 [aig 27234 439 811 1 25984] optimized by ABC 1.01 ('dc2;zero') to [aig 23296 439 811 1 22046]
6s130 [aig 25550 439 811 1 24300] optimized by ABC 1.01 ('dc2;zero') to [aig 22195 439 811 1 20945]
6s131 [aig 25550 439 811 1 24300] optimized by ABC 1.01 ('dc2;zero') to [aig 22150 439 811 1 20900]
6s132 [aig 1449 94 139 1 1216] optimized by ABC 1.01 ('dc2;zero') to [aig 1357 94 139 1 1124]
6s133 [aig 23310 450 819 1 22041] optimized by ABC 1.01 ('dc2;zero') to [aig 20714 450 819 1 19445]
6s134 [aig 2711 36 571 1 2104] optimized by ABC 1.01 ('dc2;zero') to [aig 2551 36 571 1 1944]
6s135 [aig 19611 177 2308 340 17126] optimized by ABC 1.01 ('dc2;zero') to [aig 17389 177 2308 340 14904]
6s136 [aig 32243 6287 3342 1 22614] optimized by ABC 1.01 ('dc2;zero') to [aig 24252 6287 3342 1 14623]
6s137 [aig 333120 647 32922 589 299551] optimized by ABC 1.01 ('dc2;zero') to [aig 290053 647 32922 589 256484]
6s138 [aig 52149 439 4008 16 47702] optimized by ABC 1.01 ('dc2;zero') to [aig 45730 439 4008 16 41283]
6s139 [aig 287624 4033 16231 120 267360] optimized by ABC 1.01 ('dc2;zero') to [aig 177559 4033 16231 120 157295]
6s14 [aig 27077 439 811 1 25827] optimized by ABC 1.01 ('dc2;zero') to [aig 22968 439 811 1 21718]
6s140 [aig 27908 158 4394 1 23356] optimized by ABC 1.01 ('dc2;zero') to [aig 26246 158 4394 1 21694]
6s141 [aig 28339 158 4394 35 23787] optimized by ABC 1.01 ('dc2;zero') to [aig 26486 158 4394 35 21934]
6s143 [aig 14649 425 261 1 13963] optimized by ABC 1.01 ('dc2;zero') to [aig 14493 425 261 1 13807]
6s144 [aig 45679 480 3337 1 41862] optimized by ABC 1.01 ('dc2;zero') to [aig 43764 480 3337 1 39947]
6s145 [aig 202949 942 21343 1 180664] optimized by ABC 1.01 ('dc2;zero') to [aig 136772 942 21343 1 114487]
6s146 [aig 255161 237 15560 68 239364] optimized by ABC 1.01 ('dc2;zero') to [aig 129681 237 15560 68 113884]
6s147 [aig 177501 1316 22547 1 153638] optimized by ABC 1.01 ('dc2;zero') to [aig 135906 1316 22547 1 112043]
6s148 [aig 45679 480 3337 1 41862] optimized by ABC 1.01 ('dc2;zero') to [aig 43764 480 3337 1 39947]
6s149 [aig 112623 713 12781 1 99129] optimized by ABC 1.01 ('dc2;zero') to [aig 108849 713 12781 1 95355]
6s15 [aig 27077 439 811 1 25827] optimized by ABC 1.01 ('dc2;zero') to [aig 22968 439 811 1 21718]
6s150 [aig 6638 146 1044 1 5448] optimized by ABC 1.01 ('dc2;zero') to [aig 6588 146 1044 1 5398]
6s151 [aig 17719 4 150 1 17565] optimized by ABC 1.01 ('dc2;zero') to [aig 13869 4 150 1 13715]
6s152 [aig 818 21 160 1 637] optimized by ABC 1.01 ('dc2;zero') to [aig 805 21 160 1 624]
6s153 [aig 44724 3833 0 8 40891]Error: The current network is combinational.
 optimized by ABC 1.01 ('dc2;zero') to [aig 18029 3833 0 8 14196]
6s154 [aig 18504 193 128 32 18183] optimized by ABC 1.01 ('dc2;zero') to [aig 15179 193 128 32 14858]
6s155 [aig 27214 201 513 32 26500] optimized by ABC 1.01 ('dc2;zero') to [aig 11997 201 513 32 11283]
6s156 [aig 27212 201 513 32 26498] optimized by ABC 1.01 ('dc2;zero') to [aig 12249 201 513 32 11535]
6s157 [aig 27243 202 512 1 26529] optimized by ABC 1.01 ('dc2;zero') to [aig 12273 202 512 1 11559]
6s158 [aig 26324 193 256 1 25875] optimized by ABC 1.01 ('dc2;zero') to [aig 21436 193 256 1 20987]
6s159 [aig 1734 13 252 1 1469] optimized by ABC 1.01 ('dc2;zero') to [aig 1647 13 252 1 1382]
6s16 [aig 14994 249 608 1 14137] optimized by ABC 1.01 ('dc2;zero') to [aig 14331 249 608 1 13474]
6s160 [aig 9424 149 559 1 8716] optimized by ABC 1.01 ('dc2;zero') to [aig 7709 149 559 1 7001]
6s161 [aig 4496 75 348 1 4073] optimized by ABC 1.01 ('dc2;zero') to [aig 3762 75 348 1 3339]
6s162 [aig 1473 73 156 1 1244] optimized by ABC 1.01 ('dc2;zero') to [aig 1377 73 156 1 1148]
6s163 [aig 1728102 384 72720 1 1654998] optimized by ABC 1.01 ('dc2;zero') to [aig 789901 384 72720 1 716797]
6s164 [aig 1384 91 198 1 1095] optimized by ABC 1.01 ('dc2;zero') to [aig 1360 91 198 1 1071]
6s165 [aig 1536 35 65 16 1436] optimized by ABC 1.01 ('dc2;zero') to [aig 1339 35 65 16 1239]
6s166 [aig 2822 36 81 16 2705] optimized by ABC 1.01 ('dc2;zero') to [aig 2356 36 81 16 2239]
6s167 [aig 3115 68 64 16 2983] optimized by ABC 1.01 ('dc2;zero') to [aig 1337 68 64 16 1205]
6s168 [aig 2854 34 98 16 2722] optimized by ABC 1.01 ('dc2;zero') to [aig 2461 34 98 16 2329]
6s169 [aig 3009 58 145 16 2806] optimized by ABC 1.01 ('dc2;zero') to [aig 2612 58 145 16 2409]
6s17 [aig 24447 450 819 1 23178] optimized by ABC 1.01 ('dc2;zero') to [aig 21291 450 819 1 20022]
6s170 [aig 42120 3686 3142 1 35292] optimized by ABC 1.01 ('dc2;zero') to [aig 23001 3686 3142 1 16173]
6s171 [aig 9430 94 1263 1 8073] optimized by ABC 1.01 ('dc2;zero') to [aig 9414 94 1263 1 8057]
6s172 [aig 4969 403 422 1 4144] optimized by ABC 1.01 ('dc2;zero') to [aig 4707 403 422 1 3882]
6s173 [aig 2781 67 128 1 2586] optimized by ABC 1.01 ('dc2;zero') to [aig 2640 67 128 1 2445]
6s174 [aig 1052 14 146 1 892] optimized by ABC 1.01 ('dc2;zero') to [aig 996 14 146 1 836]
6s175 [aig 94488 11684 7415 3 75389] optimized by ABC 1.01 ('dc2;zero') to [aig 74571 11684 7415 3 55472]
6s176 [aig 54881 322 1566 952 52993] optimized by ABC 1.01 ('dc2;zero') to [aig 39329 322 1566 952 37441]
6s177 [aig 810 13 160 1 637] optimized by ABC 1.01 ('dc2;zero') to [aig 793 13 160 1 620]
6s178 [aig 16926 145 1598 1 15183] optimized by ABC 1.01 ('dc2;zero') to [aig 15893 145 1598 1 14150]
6s179 [aig 1602 33 185 1 1384] optimized by ABC 1.01 ('dc2;zero') to [aig 1526 33 185 1 1308]
6s18 [aig 24588 450 819 1 23319] optimized by ABC 1.01 ('dc2;zero') to [aig 21479 450 819 1 20210]
6s180 [aig 2862 49 151 1 2662] optimized by ABC 1.01 ('dc2;zero') to [aig 2689 49 151 1 2489]
6s181 [aig 16414 252 607 1 15555] optimized by ABC 1.01 ('dc2;zero') to [aig 15657 252 607 1 14798]
6s182 [aig 17217 245 607 1 16365] optimized by ABC 1.01 ('dc2;zero') to [aig 16482 245 607 1 15630]
6s183 [aig 16411 252 607 1 15552] optimized by ABC 1.01 ('dc2;zero') to [aig 15672 252 607 1 14813]
6s184 [aig 15940 256 607 1 15077] optimized by ABC 1.01 ('dc2;zero') to [aig 15218 256 607 1 14355]
6s185 [aig 2517 37 367 1 2113] optimized by ABC 1.01 ('dc2;zero') to [aig 2485 37 367 1 2081]
6s186 [aig 2540 38 372 1 2130] optimized by ABC 1.01 ('dc2;zero') to [aig 2519 38 372 1 2109]
6s187 [aig 2560 38 372 1 2150] optimized by ABC 1.01 ('dc2;zero') to [aig 2540 38 372 1 2130]
6s188 [aig 6682 30 786 1 5866] optimized by ABC 1.01 ('dc2;zero') to [aig 6395 30 786 1 5579]
6s189 [aig 39764 479 2434 1 36851] optimized by ABC 1.01 ('dc2;zero') to [aig 37940 479 2434 1 35027]
6s19 [aig 15181 266 607 1 14308] optimized by ABC 1.01 ('dc2;zero') to [aig 14482 266 607 1 13609]
6s190 [aig 8371 74 1079 1 7218] optimized by ABC 1.01 ('dc2;zero') to [aig 8004 74 1079 1 6851]
6s191 [aig 7353 61 696 1 6596] optimized by ABC 1.01 ('dc2;zero') to [aig 6816 61 696 1 6059]
6s192 [aig 7396 65 698 1 6633] optimized by ABC 1.01 ('dc2;zero') to [aig 6860 65 698 1 6097]
6s193 [aig 4252 19 959 1 3274] optimized by ABC 1.01 ('dc2;zero') to [aig 4018 19 959 1 3040]
6s194 [aig 14970 532 2389 1 12049] optimized by ABC 1.01 ('dc2;zero') to [aig 14306 532 2389 1 11385]
6s195 [aig 9390 87 1257 1 8046] optimized by ABC 1.01 ('dc2;zero') to [aig 9375 87 1257 1 8031]
6s196 [aig 3621 34 718 1 2869] optimized by ABC 1.01 ('dc2;zero') to [aig 3598 34 718 1 2846]
6s197 [aig 1473 35 208 1 1230] optimized by ABC 1.01 ('dc2;zero') to [aig 1412 35 208 1 1169]
6s198 [aig 1473 35 208 1 1230] optimized by ABC 1.01 ('dc2;zero') to [aig 1421 35 208 1 1178]
6s199 [aig 15470 144 1660 1 13666] optimized by ABC 1.01 ('dc2;zero') to [aig 14958 144 1660 1 13154]
6s20 [aig 30501 49 201 1 30251] optimized by ABC 1.01 ('dc2;zero') to [aig 27560 49 201 1 27310]
6s21 [aig 24048 155 3795 1 20098] optimized by ABC 1.01 ('dc2;zero') to [aig 23773 155 3795 1 19823]
6s22 [aig 18442 73 1126 1 17243] optimized by ABC 1.01 ('dc2;zero') to [aig 16412 73 1126 1 15213]
6s23 [aig 71624 12 10009 1 61603] optimized by ABC 1.01 ('dc2;zero') to [aig 70992 12 10009 1 60971]
6s24 [aig 12018 25 1456 1 10537] optimized by ABC 1.01 ('dc2;zero') to [aig 11989 25 1456 1 10508]
6s25 [aig 8464 131 1718 1 6615] optimized by ABC 1.01 ('dc2;zero') to [aig 8462 131 1718 1 6613]
6s26 [aig 12881 247 2654 1 9980] optimized by ABC 1.01 ('dc2;zero') to [aig 12368 247 2654 1 9467]
6s27 [aig 13090 144 2707 1 10239] optimized by ABC 1.01 ('dc2;zero') to [aig 12545 144 2707 1 9694]
6s28 [aig 12247 4 2269 1 9974] optimized by ABC 1.01 ('dc2;zero') to [aig 11801 4 2269 1 9528]
6s29 [aig 12148 4 2247 1 9897] optimized by ABC 1.01 ('dc2;zero') to [aig 11695 4 2247 1 9444]
6s30 [aig 138502 32994 1195 1 104313] optimized by ABC 1.01 ('dc2;zero') to [aig 126070 32994 1195 1 91881]
6s31 [aig 1569 17 197 1 1355] optimized by ABC 1.01 ('dc2;zero') to [aig 1551 17 197 1 1337]
6s32 [aig 9263 8 1773 1 7482] optimized by ABC 1.01 ('dc2;zero') to [aig 9205 8 1773 1 7424]
6s33 [aig 1127 31 142 1 954] optimized by ABC 1.01 ('dc2;zero') to [aig 1114 31 142 1 941]
6s34 [aig 11101 77 1564 1 9460] optimized by ABC 1.01 ('dc2;zero') to [aig 11026 77 1564 1 9385]
6s35 [aig 11257 77 1572 1 9608] optimized by ABC 1.01 ('dc2;zero') to [aig 11179 77 1572 1 9530]
6s36 [aig 8301 74 1072 1 7155] optimized by ABC 1.01 ('dc2;zero') to [aig 7934 74 1072 1 6788]
6s37 [aig 4502 42 753 1 3707] optimized by ABC 1.01 ('dc2;zero') to [aig 4381 42 753 1 3586]
6s38 [aig 13121 343 1931 1 10847] optimized by ABC 1.01 ('dc2;zero') to [aig 12787 343 1931 1 10513]
6s39 [aig 7475 65 698 1 6712] optimized by ABC 1.01 ('dc2;zero') to [aig 6944 65 698 1 6181]
6s4 [aig 2862 209 202 1 2451] optimized by ABC 1.01 ('dc2;zero') to [aig 2827 209 202 1 2416]
6s40 [aig 36883 249 5608 3 31026] optimized by ABC 1.01 ('dc2;zero') to [aig 36337 249 5608 3 30480]
6s40p0 [aig 36883 249 5608 1 31026] optimized by ABC 1.01 ('dc2;zero') to [aig 35792 249 5608 1 29935]
6s41 [aig 4252 19 959 1 3274] optimized by ABC 1.01 ('dc2;zero') to [aig 4018 19 959 1 3040]
6s42 [aig 9632 76 1211 1 8345] optimized by ABC 1.01 ('dc2;zero') to [aig 9207 76 1211 1 7920]
6s43 [aig 8403 30 965 1 7408] optimized by ABC 1.01 ('dc2;zero') to [aig 8031 30 965 1 7036]
6s44 [aig 9922 76 1211 1 8635] optimized by ABC 1.01 ('dc2;zero') to [aig 9264 76 1211 1 7977]
6s45 [aig 5810 91 651 1 5068] optimized by ABC 1.01 ('dc2;zero') to [aig 4840 91 651 1 4098]
6s46 [aig 4950 91 651 1 4208] optimized by ABC 1.01 ('dc2;zero') to [aig 4843 91 651 1 4101]
6s47 [aig 4950 34 815 1 4101] optimized by ABC 1.01 ('dc2;zero') to [aig 4813 34 815 1 3964]
6s48 [aig 934 72 66 2 796] optimized by ABC 1.01 ('dc2;zero') to [aig 934 72 66 2 796]
6s48p0 [aig 934 72 66 1 796] optimized by ABC 1.01 ('dc2;zero') to [aig 933 72 66 1 795]
6s48p1 [aig 934 72 66 1 796] optimized by ABC 1.01 ('dc2;zero') to [aig 928 72 66 1 790]
6s49 [aig 1397 17 180 1 1200] optimized by ABC 1.01 ('dc2;zero') to [aig 1183 17 180 1 986]
6s5 [aig 31645 141 2519 1 28985] optimized by ABC 1.01 ('dc2;zero') to [aig 30680 141 2519 1 28020]
6s50 [aig 21377 1570 3107 1 16700] optimized by ABC 1.01 ('dc2;zero') to [aig 20692 1570 3107 1 16015]
6s51 [aig 21378 1570 3107 1 16701] optimized by ABC 1.01 ('dc2;zero') to [aig 20697 1570 3107 1 16020]
6s52 [aig 1471 35 208 1 1228] optimized by ABC 1.01 ('dc2;zero') to [aig 1420 35 208 1 1177]
6s53 [aig 1473 35 208 1 1230] optimized by ABC 1.01 ('dc2;zero') to [aig 1426 35 208 1 1183]
6s54 [aig 15215 144 1660 1 13411] optimized by ABC 1.01 ('dc2;zero') to [aig 14702 144 1660 1 12898]
6s6 [aig 5368 168 429 1 4771] optimized by ABC 1.01 ('dc2;zero') to [aig 5352 168 429 1 4755]
6s7 [aig 3079 45 504 1 2530] optimized by ABC 1.01 ('dc2;zero') to [aig 3065 45 504 1 2516]
6s8 [aig 3498 86 396 1 3016] optimized by ABC 1.01 ('dc2;zero') to [aig 3330 86 396 1 2848]
6s9 [aig 16414 252 607 1 15555] optimized by ABC 1.01 ('dc2;zero') to [aig 15657 252 607 1 14798]
beemadd3b1 [aig 992 60 56 1 876] optimized by ABC 1.01 ('dc2;zero') to [aig 979 60 56 1 863]
beemadd4b1 [aig 988 60 56 1 872] optimized by ABC 1.01 ('dc2;zero') to [aig 976 60 56 1 860]
beemandrsn4b1 [aig 2070 116 94 1 1860] optimized by ABC 1.01 ('dc2;zero') to [aig 1666 116 94 1 1456]
beemandrsn6b1 [aig 5280 170 136 1 4974] optimized by ABC 1.01 ('dc2;zero') to [aig 3760 170 136 1 3454]
beemandrsn7f1 [aig 5138 36 135 1 4967] optimized by ABC 1.01 ('dc2;zero') to [aig 2714 36 135 1 2543]
beemat1b1 [aig 1776 128 87 1 1561] optimized by ABC 1.01 ('dc2;zero') to [aig 1564 128 87 1 1349]
beemat1f1 [aig 1290 43 86 1 1161] optimized by ABC 1.01 ('dc2;zero') to [aig 1111 43 86 1 982]
beemat4f1 [aig 2123 71 126 1 1926] optimized by ABC 1.01 ('dc2;zero') to [aig 1814 71 126 1 1617]
beembkry1b1 [aig 1730 90 76 1 1564] optimized by ABC 1.01 ('dc2;zero') to [aig 1497 90 76 1 1331]
beembkry5b1 [aig 4296 180 150 1 3966] optimized by ABC 1.01 ('dc2;zero') to [aig 3728 180 150 1 3398]
beembkry7f1 [aig 2347 32 149 1 2166] optimized by ABC 1.01 ('dc2;zero') to [aig 1849 32 149 1 1668]
beemblks2b1 [aig 2399 127 109 1 2163] optimized by ABC 1.01 ('dc2;zero') to [aig 1745 127 109 1 1509]
beemblks3f1 [aig 2100 26 140 1 1934] optimized by ABC 1.01 ('dc2;zero') to [aig 1383 26 140 1 1217]
beembrdg2f1 [aig 1370 61 69 1 1240] optimized by ABC 1.01 ('dc2;zero') to [aig 1142 61 69 1 1012]
beembrdg3b1 [aig 6666 157 78 1 6431] optimized by ABC 1.01 ('dc2;zero') to [aig 4518 157 78 1 4283]
beembrdg3f1 [aig 1708 81 77 1 1550] optimized by ABC 1.01 ('dc2;zero') to [aig 1426 81 77 1 1268]
beembrp1f1 [aig 1322 38 122 1 1162] optimized by ABC 1.01 ('dc2;zero') to [aig 1097 38 122 1 937]
beembrptwo1b2 [aig 4451 259 228 1 3964] optimized by ABC 1.01 ('dc2;zero') to [aig 3606 259 228 1 3119]
beembrptwo1f2 [aig 2730 33 227 1 2470] optimized by ABC 1.01 ('dc2;zero') to [aig 2008 33 227 1 1748]
beembrptwo4b1 [aig 4388 259 228 1 3901] optimized by ABC 1.01 ('dc2;zero') to [aig 3529 259 228 1 3042]
beembrptwo5f2 [aig 2725 33 227 1 2465] optimized by ABC 1.01 ('dc2;zero') to [aig 2019 33 227 1 1759]
beemcmbrdg1b1 [aig 7324 225 171 1 6928] optimized by ABC 1.01 ('dc2;zero') to [aig 5585 225 171 1 5189]
beemcmbrdg1f1 [aig 2523 56 170 1 2297] optimized by ABC 1.01 ('dc2;zero') to [aig 1878 56 170 1 1652]
beemcoll1b1 [aig 16802 161 132 1 16509] optimized by ABC 1.01 ('dc2;zero') to [aig 11464 161 132 1 11171]
beemcoll3b1 [aig 24196 210 170 1 23816] optimized by ABC 1.01 ('dc2;zero') to [aig 16531 210 170 1 16151]
beemcoll4b1 [aig 31269 259 208 1 30802] optimized by ABC 1.01 ('dc2;zero') to [aig 21515 259 208 1 21048]
beemexit5f1 [aig 2404 133 246 1 2025] optimized by ABC 1.01 ('dc2;zero') to [aig 2072 133 246 1 1693]
beemextnc1b1 [aig 9027 393 316 1 8318] optimized by ABC 1.01 ('dc2;zero') to [aig 7195 393 316 1 6486]
beemextnc3b1 [aig 11834 496 386 1 10952] optimized by ABC 1.01 ('dc2;zero') to [aig 9318 496 386 1 8436]
beemfish4f1 [aig 1460 43 94 1 1323] optimized by ABC 1.01 ('dc2;zero') to [aig 1131 43 94 1 994]
beemfish6b1 [aig 2442 154 107 1 2181] optimized by ABC 1.01 ('dc2;zero') to [aig 2000 154 107 1 1739]
beemfrogs1b1 [aig 8816 165 158 1 8493] optimized by ABC 1.01 ('dc2;zero') to [aig 6718 165 158 1 6395]
beemfrogs1f1 [aig 5854 9 157 1 5688] optimized by ABC 1.01 ('dc2;zero') to [aig 4032 9 157 1 3866]
beemfwt1b1 [aig 36542 1716 1214 1 33612] optimized by ABC 1.01 ('dc2;zero') to [aig 26576 1716 1214 1 23646]
beemfwt1f1 [aig 21732 504 1213 1 20015] optimized by ABC 1.01 ('dc2;zero') to [aig 16592 504 1213 1 14875]
beemfwt5f2 [aig 63093 1280 3045 1 58768] optimized by ABC 1.01 ('dc2;zero') to [aig 50433 1280 3045 1 46108]
beemgear1f1 [aig 1944 50 131 1 1763] optimized by ABC 1.01 ('dc2;zero') to [aig 1580 50 131 1 1399]
beemgear2b1 [aig 2759 180 132 1 2447] optimized by ABC 1.01 ('dc2;zero') to [aig 2290 180 132 1 1978]
beemgear2f1 [aig 1946 50 131 1 1765] optimized by ABC 1.01 ('dc2;zero') to [aig 1577 50 131 1 1396]
beemhanoi1b1 [aig 6944 252 248 1 6444] optimized by ABC 1.01 ('dc2;zero') to [aig 6309 252 248 1 5809]
beemhanoi1f1 [aig 3073 6 247 1 2820] optimized by ABC 1.01 ('dc2;zero') to [aig 2802 6 247 1 2549]
beemkrebs3b1 [aig 3237 133 119 1 2985] optimized by ABC 1.01 ('dc2;zero') to [aig 2223 133 119 1 1971]
beemkrebs3f1 [aig 1580 16 118 1 1446] optimized by ABC 1.01 ('dc2;zero') to [aig 1076 16 118 1 942]
beemkrebs4b1 [aig 3940 147 127 1 3666] optimized by ABC 1.01 ('dc2;zero') to [aig 2657 147 127 1 2383]
beemlann2b1 [aig 2082 184 150 1 1748] optimized by ABC 1.01 ('dc2;zero') to [aig 1890 184 150 1 1556]
beemlann2f1 [aig 1213 36 149 1 1028] optimized by ABC 1.01 ('dc2;zero') to [aig 1078 36 149 1 893]
beemlann4b1 [aig 2643 230 187 1 2226] optimized by ABC 1.01 ('dc2;zero') to [aig 2412 230 187 1 1995]
beemldelec1b1 [aig 21288 803 710 1 19775] optimized by ABC 1.01 ('dc2;zero') to [aig 18451 803 710 1 16938]
beemldelec4b1 [aig 36811 1345 1214 1 34252] optimized by ABC 1.01 ('dc2;zero') to [aig 32058 1345 1214 1 29499]
beemldfilt1f1 [aig 2185 30 175 1 1980] optimized by ABC 1.01 ('dc2;zero') to [aig 1469 30 175 1 1264]
beemldfilt3b1 [aig 4061 232 194 1 3635] optimized by ABC 1.01 ('dc2;zero') to [aig 3092 232 194 1 2666]
beemldfilt4b1 [aig 3866 232 194 1 3440] optimized by ABC 1.01 ('dc2;zero') to [aig 3016 232 194 1 2590]
beemldfilt5b1 [aig 5590 284 236 1 5070] optimized by ABC 1.01 ('dc2;zero') to [aig 4184 284 236 1 3664]
beemlifts2b1 [aig 23003 319 186 1 22498] optimized by ABC 1.01 ('dc2;zero') to [aig 17299 319 186 1 16794]
beemlifts3b1 [aig 44481 456 257 1 43768] optimized by ABC 1.01 ('dc2;zero') to [aig 31537 456 257 1 30824]
beemlifts8b1 [aig 47943 587 322 1 47034] optimized by ABC 1.01 ('dc2;zero') to [aig 34779 587 322 1 33870]
beemlmprt1b1 [aig 1699 136 96 1 1467] optimized by ABC 1.01 ('dc2;zero') to [aig 1493 136 96 1 1261]
beemlmprt5b1 [aig 2336 176 122 1 2038] optimized by ABC 1.01 ('dc2;zero') to [aig 1981 176 122 1 1683]
beemlmprt5f1 [aig 1630 56 121 1 1453] optimized by ABC 1.01 ('dc2;zero') to [aig 1256 56 121 1 1079]
beemlmprt7b1 [aig 3039 216 148 1 2675] optimized by ABC 1.01 ('dc2;zero') to [aig 2529 216 148 1 2165]
beemloyd2b1 [aig 3528 96 93 1 3339] optimized by ABC 1.01 ('dc2;zero') to [aig 2871 96 93 1 2682]
beemloyd3b1 [aig 4207 120 117 1 3970] optimized by ABC 1.01 ('dc2;zero') to [aig 3460 120 117 1 3223]
beemlptna5f1 [aig 5813 365 231 1 5217] optimized by ABC 1.01 ('dc2;zero') to [aig 4992 365 231 1 4396]
beemmcs1f1 [aig 1054 39 111 1 904] optimized by ABC 1.01 ('dc2;zero') to [aig 1008 39 111 1 858]
beemmcs3b1 [aig 2315 196 146 1 1973] optimized by ABC 1.01 ('dc2;zero') to [aig 2182 196 146 1 1840]
beemmcs4b1 [aig 2129 196 146 1 1787] optimized by ABC 1.01 ('dc2;zero') to [aig 2035 196 146 1 1693]
beemmsmie1b1 [aig 2536 172 89 1 2275] optimized by ABC 1.01 ('dc2;zero') to [aig 2009 172 89 1 1748]
beemmsmie3b1 [aig 6442 403 154 1 5885] optimized by ABC 1.01 ('dc2;zero') to [aig 4866 403 154 1 4309]
beemmsmie3f1 [aig 4631 251 153 1 4227] optimized by ABC 1.01 ('dc2;zero') to [aig 3572 251 153 1 3168]
beemndhm2b2 [aig 16421 348 252 1 15821] optimized by ABC 1.01 ('dc2;zero') to [aig 11643 348 252 1 11043]
beemndhm2f2 [aig 14951 98 251 1 14602] optimized by ABC 1.01 ('dc2;zero') to [aig 10091 98 251 1 9742]
beemndhm3b2 [aig 19425 399 290 1 18736] optimized by ABC 1.01 ('dc2;zero') to [aig 13632 399 290 1 12943]
beempgmprot1b1 [aig 30427 1143 1025 1 28259] optimized by ABC 1.01 ('dc2;zero') to [aig 27249 1143 1025 1 25081]
beempgmprot1b2 [aig 30535 1143 1025 1 28367] optimized by ABC 1.01 ('dc2;zero') to [aig 27491 1143 1025 1 25323]
beempgmprot7b1 [aig 29747 1151 1033 1 27563] optimized by ABC 1.01 ('dc2;zero') to [aig 26201 1151 1033 1 24017]
beempgsol2b1 [aig 13696 541 403 1 12752] optimized by ABC 1.01 ('dc2;zero') to [aig 8705 541 403 1 7761]
beempgsol5b1 [aig 13696 541 403 1 12752] optimized by ABC 1.01 ('dc2;zero') to [aig 8706 541 403 1 7762]
beemplc1b2 [aig 25669 1006 778 1 23885] optimized by ABC 1.01 ('dc2;zero') to [aig 22312 1006 778 1 20528]
beemprdcell2f1 [aig 937 26 110 1 801] optimized by ABC 1.01 ('dc2;zero') to [aig 838 26 110 1 702]
beemprng1b1 [aig 18892 2075 59 1 16758] optimized by ABC 1.01 ('dc2;zero') to [aig 17449 2075 59 1 15315]
beemptrsn1b1 [aig 2032 132 113 1 1787] optimized by ABC 1.01 ('dc2;zero') to [aig 1790 132 113 1 1545]
beemptrsn4b1 [aig 2960 176 150 1 2634] optimized by ABC 1.01 ('dc2;zero') to [aig 2568 176 150 1 2242]
beemptrsn7b1 [aig 4017 220 187 1 3610] optimized by ABC 1.01 ('dc2;zero') to [aig 3410 220 187 1 3003]
beemptrsn7f1 [aig 2894 35 186 1 2673] optimized by ABC 1.01 ('dc2;zero') to [aig 2136 35 186 1 1915]
beemrether3b1 [aig 8997 392 283 1 8322] optimized by ABC 1.01 ('dc2;zero') to [aig 6323 392 283 1 5648]
beemrether4f1 [aig 3986 133 339 1 3514] optimized by ABC 1.01 ('dc2;zero') to [aig 3226 133 339 1 2754]
beemrether6b1 [aig 11188 563 404 1 10221] optimized by ABC 1.01 ('dc2;zero') to [aig 8818 563 404 1 7851]
beemrshr2b1 [aig 31462 506 491 1 30465] optimized by ABC 1.01 ('dc2;zero') to [aig 25160 506 491 1 24163]
beemrshr2f1 [aig 26575 17 490 1 26068] optimized by ABC 1.01 ('dc2;zero') to [aig 17836 17 490 1 17329]
beemrshr3b1 [aig 66627 745 720 1 65162] optimized by ABC 1.01 ('dc2;zero') to [aig 54563 745 720 1 53098]
beemskbn1f1 [aig 16892 9 538 1 16345] optimized by ABC 1.01 ('dc2;zero') to [aig 13061 9 538 1 12514]
beemskbn2b1 [aig 26124 514 507 1 25103] optimized by ABC 1.01 ('dc2;zero') to [aig 21409 514 507 1 20388]
beemskbn2f1 [aig 16122 9 506 1 15607] optimized by ABC 1.01 ('dc2;zero') to [aig 12282 9 506 1 11767]
beemsnpse4f1 [aig 24579 185 237 1 24157] optimized by ABC 1.01 ('dc2;zero') to [aig 21877 185 237 1 21455]
beemsnpse7b1 [aig 47584 533 314 1 46737] optimized by ABC 1.01 ('dc2;zero') to [aig 43483 533 314 1 42636]
beemszmsk1b1 [aig 5033 207 137 1 4689] optimized by ABC 1.01 ('dc2;zero') to [aig 3111 207 137 1 2767]
beemszmsk1f1 [aig 2309 72 136 1 2101] optimized by ABC 1.01 ('dc2;zero') to [aig 1600 72 136 1 1392]
beemtlphn4b1 [aig 7575 300 186 1 7089] optimized by ABC 1.01 ('dc2;zero') to [aig 6109 300 186 1 5623]
beemtlphn5f1 [aig 5342 132 249 1 4961] optimized by ABC 1.01 ('dc2;zero') to [aig 4507 132 249 1 4126]
beemtrngt2b1 [aig 3077 205 170 1 2702] optimized by ABC 1.01 ('dc2;zero') to [aig 2587 205 170 1 2212]
beemtrngt3f1 [aig 1811 37 169 1 1605] optimized by ABC 1.01 ('dc2;zero') to [aig 1514 37 169 1 1308]
beemtrngt4b1 [aig 4166 277 228 1 3661] optimized by ABC 1.01 ('dc2;zero') to [aig 3450 277 228 1 2945]
beemtrngt5f1 [aig 2444 51 227 1 2166] optimized by ABC 1.01 ('dc2;zero') to [aig 2036 51 227 1 1758]
bjrb07amba10andenv [aig 98090 23 63 1 98004] optimized by ABC 1.01 ('dc2;zero') to [aig 54137 23 63 1 54051]
bob05 [aig 20671 224 2404 1 18043] optimized by ABC 1.01 ('dc2;zero') to [aig 15393 224 2404 1 12765]
bob12m01 [aig 81137 352 6551 142 74234] optimized by ABC 1.01 ('dc2;zero') to [aig 80915 352 6551 142 74012]
bob12m02 [aig 12921 137 184 19 12600] optimized by ABC 1.01 ('dc2;zero') to [aig 12849 137 184 19 12528]
bob12m03 [aig 37884 617 5174 243 32093] optimized by ABC 1.01 ('dc2;zero') to [aig 36227 617 5174 243 30436]
bob12m04 [aig 239708 23651 43950 30228 172107] optimized by ABC 1.01 ('dc2;zero') to [aig 238968 23651 43950 30228 171367]
bob12m05 [aig 50494 437 3956 10 46101] optimized by ABC 1.01 ('dc2;zero') to [aig 44371 437 3956 10 39978]
bob12m06 [aig 229205 79 26148 28 202978] optimized by ABC 1.01 ('dc2;zero') to [aig 174958 79 26148 28 148731]
bob12m07 [aig 64786 25 1258 53 63503] optimized by ABC 1.01 ('dc2;zero') to [aig 35232 25 1258 53 33949]
bob12m08 [aig 29142 79 1994 132 27069] optimized by ABC 1.01 ('dc2;zero') to [aig 17698 79 1994 132 15625]
bob12m09 [aig 30579 44 285 85 30250] optimized by ABC 1.01 ('dc2;zero') to [aig 19619 44 285 85 19290]
bob12m10 [aig 4588 6 198 34 4384] optimized by ABC 1.01 ('dc2;zero') to [aig 3717 6 198 34 3513]
bob12m14 [aig 90587 25 1308 106 89254] optimized by ABC 1.01 ('dc2;zero') to [aig 38827 25 1308 106 37494]
bob12m15 [aig 2609 16 448 526 2145] optimized by ABC 1.01 ('dc2;zero') to [aig 2330 16 448 526 1866]
bob12m16 [aig 754 13 115 62 626] optimized by ABC 1.01 ('dc2;zero') to [aig 647 13 115 62 519]
bob12m17 [aig 2440 57 260 164 2123] optimized by ABC 1.01 ('dc2;zero') to [aig 1996 57 260 164 1679]
bob12m18 [aig 2458 57 261 163 2140] optimized by ABC 1.01 ('dc2;zero') to [aig 2016 57 261 163 1698]
bob12s01 [aig 81277 352 6551 1 74374] optimized by ABC 1.01 ('dc2;zero') to [aig 81052 352 6551 1 74149]
bob12s02 [aig 12938 137 184 1 12617] optimized by ABC 1.01 ('dc2;zero') to [aig 12877 137 184 1 12556]
bob12s03 [aig 38126 617 5174 1 32335] optimized by ABC 1.01 ('dc2;zero') to [aig 36403 617 5174 1 30612]
bob12s04 [aig 268209 23651 43950 1 200608] optimized by ABC 1.01 ('dc2;zero') to [aig 240672 23651 43950 1 173071]
bob12s05 [aig 50503 437 3956 1 46110] optimized by ABC 1.01 ('dc2;zero') to [aig 44261 437 3956 1 39868]
bob12s06 [aig 229232 79 26148 1 203005] optimized by ABC 1.01 ('dc2;zero') to [aig 174948 79 26148 1 148721]
bob12s07 [aig 64838 25 1258 1 63555] optimized by ABC 1.01 ('dc2;zero') to [aig 35068 25 1258 1 33785]
bob12s08 [aig 29248 79 1994 1 27175] optimized by ABC 1.01 ('dc2;zero') to [aig 17778 79 1994 1 15705]
bob12s09 [aig 30612 44 285 1 30283] optimized by ABC 1.01 ('dc2;zero') to [aig 19682 44 285 1 19353]
bob12s10 [aig 4621 6 198 1 4417] optimized by ABC 1.01 ('dc2;zero') to [aig 3758 6 198 1 3554]
bob1u05cu [aig 36664 224 4377 1 32063] optimized by ABC 1.01 ('dc2;zero') to [aig 27215 224 4377 1 22614]
bob9234redmiter [aig 825 36 119 1 670] optimized by ABC 1.01 ('dc2;zero') to [aig 825 36 119 1 670]
bob9234specmulti [aig 815 36 111 8 668] optimized by ABC 1.01 ('dc2;zero') to [aig 813 36 111 8 666]
bob9234specnegmulti [aig 815 36 111 8 668] optimized by ABC 1.01 ('dc2;zero') to [aig 813 36 111 8 666]
bobaesdinvdmit [aig 23501 516 1335 1 21650] optimized by ABC 1.01 ('dc2;zero') to [aig 20271 516 1335 1 18420]
bobmiterbm1multi [aig 3074 122 381 1150 2571] optimized by ABC 1.01 ('dc2;zero') to [aig 3070 122 381 1150 2567]
bobmiterbm1negmulti [aig 3074 122 381 1150 2571] optimized by ABC 1.01 ('dc2;zero') to [aig 3070 122 381 1150 2567]
bobmitersynbm [aig 38046 224 6090 1 31732] optimized by ABC 1.01 ('dc2;zero') to [aig 37929 224 6090 1 31615]
bobpcihm [aig 11353 304 1422 1 9627] optimized by ABC 1.01 ('dc2;zero') to [aig 11323 304 1422 1 9597]
bobsm38584 [aig 20248 12 2264 1 17972] optimized by ABC 1.01 ('dc2;zero') to [aig 17278 12 2264 1 15002]
bobsm9234 [aig 3097 36 343 1 2718] optimized by ABC 1.01 ('dc2;zero') to [aig 2514 36 343 1 2135]
bobsmcodic [aig 20646 34 1850 1 18762] optimized by ABC 1.01 ('dc2;zero') to [aig 20288 34 1850 1 18404]
bobsmfpu [aig 47277 262 906 1 46109] optimized by ABC 1.01 ('dc2;zero') to [aig 32251 262 906 1 31083]
bobsmhdlc [aig 1999 61 291 1 1647] optimized by ABC 1.01 ('dc2;zero') to [aig 1972 61 291 1 1620]
bobsmhdlc1 [aig 1977 61 290 1 1626] optimized by ABC 1.01 ('dc2;zero') to [aig 1963 61 290 1 1612]
bobsmhdlc2 [aig 1962 61 289 1 1612] optimized by ABC 1.01 ('dc2;zero') to [aig 1945 61 289 1 1595]
bobsmhdlc3 [aig 1935 61 300 1 1574] optimized by ABC 1.01 ('dc2;zero') to [aig 1930 61 300 1 1569]
bobsmi2c [aig 2100 19 260 1 1821] optimized by ABC 1.01 ('dc2;zero') to [aig 1820 19 260 1 1541]
bobsmmem [aig 35170 115 4135 1 30920] optimized by ABC 1.01 ('dc2;zero') to [aig 30826 115 4135 1 26576]
bobsmminiuart [aig 701 16 114 1 571] optimized by ABC 1.01 ('dc2;zero') to [aig 701 16 114 1 571]
bobsmmips [aig 39310 54 2514 1 36742] optimized by ABC 1.01 ('dc2;zero') to [aig 32830 54 2514 1 30262]
bobsmoci [aig 4356 65 541 1 3750] optimized by ABC 1.01 ('dc2;zero') to [aig 3341 65 541 1 2735]
bobsmrisc [aig 16579 30 1803 1 14746] optimized by ABC 1.01 ('dc2;zero') to [aig 13833 30 1803 1 12000]
bobsmvhd3 [aig 9197 99 1111 1 7987] optimized by ABC 1.01 ('dc2;zero') to [aig 7780 99 1111 1 6570]
bobsynthmulti [aig 18623 224 3015 14 15384] optimized by ABC 1.01 ('dc2;zero') to [aig 18616 224 3015 14 15377]
bobsynthnegmulti [aig 18623 224 3015 14 15384] optimized by ABC 1.01 ('dc2;zero') to [aig 18616 224 3015 14 15377]
bobtuintmulti [aig 2476 213 212 32 2051] optimized by ABC 1.01 ('dc2;zero') to [aig 2396 213 212 32 1971]
bobtuintnegmulti [aig 2476 213 212 32 2051] optimized by ABC 1.01 ('dc2;zero') to [aig 2396 213 212 32 1971]
bobtuttt [aig 12400 2807 111 1 9482] optimized by ABC 1.01 ('dc2;zero') to [aig 12102 2807 111 1 9184]
cmudme1 [aig 379 54 61 1 264] optimized by ABC 1.01 ('dc2;zero') to [aig 351 54 61 1 236]
cmudme2 [aig 548 56 63 1 429] optimized by ABC 1.01 ('dc2;zero') to [aig 412 56 63 1 293]
eijkbs3271 [aig 2560 26 305 1 2229] optimized by ABC 1.01 ('dc2;zero') to [aig 2198 26 305 1 1867]
eijkbs3330 [aig 2152 40 246 1 1866] optimized by ABC 1.01 ('dc2;zero') to [aig 1875 40 246 1 1589]
eijkbs3384 [aig 3089 43 689 1 2357] optimized by ABC 1.01 ('dc2;zero') to [aig 2651 43 689 1 1919]
eijkbs6669 [aig 5012 83 506 1 4423] optimized by ABC 1.01 ('dc2;zero') to [aig 4309 83 506 1 3720]
eijks838 [aig 834 34 106 1 694] optimized by ABC 1.01 ('dc2;zero') to [aig 679 34 106 1 539]
nusmvdme116 [aig 2225 288 321 1 1616] optimized by ABC 1.01 ('dc2;zero') to [aig 1905 288 321 1 1296]
nusmvdme1d16multi [aig 2225 288 321 120 1616] optimized by ABC 1.01 ('dc2;zero') to [aig 1976 288 321 120 1367]
nusmvdme1d3multi [aig 379 54 61 3 264] optimized by ABC 1.01 ('dc2;zero') to [aig 351 54 61 3 236]
nusmvdme216 [aig 3145 293 326 1 2526] optimized by ABC 1.01 ('dc2;zero') to [aig 2237 293 326 1 1618]
nusmvdme2d16multi [aig 3266 293 327 120 2646] optimized by ABC 1.01 ('dc2;zero') to [aig 2323 293 327 120 1703]
nusmvdme2d3multi [aig 548 56 63 3 429] optimized by ABC 1.01 ('dc2;zero') to [aig 412 56 63 3 293]
nusmvqueue [aig 2542 82 84 1 2376] optimized by ABC 1.01 ('dc2;zero') to [aig 1595 82 84 1 1429]
nusmvsyncarb10multi [aig 148 10 20 46 118] optimized by ABC 1.01 ('dc2;zero') to [aig 148 10 20 46 118]
nusmvsyncarb5multi [aig 63 5 10 11 48] optimized by ABC 1.01 ('dc2;zero') to [aig 63 5 10 11 48]
pdtfifo1to0 [aig 2004 7 142 1 1855] optimized by ABC 1.01 ('dc2;zero') to [aig 1032 7 142 1 883]
pdtpmsns3 [aig 3600 21 472 1 3107] optimized by ABC 1.01 ('dc2;zero') to [aig 3295 21 472 1 2802]
pdtpmssfeistel [aig 6820 68 755 1 5997] optimized by ABC 1.01 ('dc2;zero') to [aig 6637 68 755 1 5814]
pdtpmsudc16 [aig 809 20 48 1 741] optimized by ABC 1.01 ('dc2;zero') to [aig 560 20 48 1 492]
pdtpmsviper [aig 16987 32 580 1 16375] optimized by ABC 1.01 ('dc2;zero') to [aig 15713 32 580 1 15101]
pdtswvqis10x6p2 [aig 4449 7 94 1 4348] optimized by ABC 1.01 ('dc2;zero') to [aig 2319 7 94 1 2218]
pdtswvqis8x8p2 [aig 4725 9 100 1 4616] optimized by ABC 1.01 ('dc2;zero') to [aig 2312 9 100 1 2203]
pdtswvsam6x8p4 [aig 8394 9 128 1 8257] optimized by ABC 1.01 ('dc2;zero') to [aig 1943 9 128 1 1806]
pdtswvtma6x6p3 [aig 3049 7 67 1 2975] optimized by ABC 1.01 ('dc2;zero') to [aig 792 7 67 1 718]
pdtvsar8multip [aig 7174 23 195 33 6956] optimized by ABC 1.01 ('dc2;zero') to [aig 4184 23 195 33 3966]
pdtvsarmultip [aig 2890 17 130 33 2743] optimized by ABC 1.01 ('dc2;zero') to [aig 1674 17 130 33 1527]
TIMESTAMP Fri Dec 21 11:33:22 CET 2012
6s0 [aig 3913 207 157 1 3549 | aig 3489 207 157 1 3125] optimized miter [aig 7529 364 0 1 7165]
6s1 [aig 3359 45 291 1 3023 | aig 2821 45 291 1 2485] optimized miter [aig 7007 336 0 1 6671]
6s10 [aig 16215 244 598 1 15373 | aig 15475 244 598 1 14633] optimized miter [aig 33163 842 0 1 32321]
6s100 [aig 763775 29540 97598 1 636637 | aig 709371 29540 97598 1 582233] optimized miter [aig 1736395 127138 0 1 1609257]
6s101 [aig 7292 113 973 6 6206 | aig 6630 113 973 6 5544] optimized miter [aig 16631 1086 0 1 15545]
6s102 [aig 7787 72 1121 1 6594 | aig 7140 72 1121 1 5947] optimized miter [aig 17973 1193 0 1 16780]
6s103 [aig 349930 1700 14642 109 333588 | aig 296184 1700 14642 109 279842] optimized miter [aig 688509 16342 0 1 672167]
6s104 [aig 1567581 1760 84926 124 1480895 | aig 1019447 1760 84926 124 932761] optimized miter [aig 2840529 86686 0 1 2753843]
6s105 [aig 2825 49 151 1 2625 | aig 2620 49 151 1 2420] optimized miter [aig 5636 200 0 1 5436]
6s106 [aig 2490 141 135 17 2214 | aig 2338 141 135 17 2062] optimized miter [aig 5143 276 0 1 4867]
6s107 [aig 25444 284 1568 4 23592 | aig 15442 284 1568 4 13590] optimized miter [aig 45292 1852 0 1 43440]
6s108 [aig 15530 856 782 1 13892 | aig 12930 856 782 1 11292] optimized miter [aig 29473 1638 0 1 27835]
6s109 [aig 9434 9 338 1 9087 | aig 3591 9 338 1 3244] optimized miter [aig 14033 347 0 1 13686]
6s11 [aig 16272 244 598 1 15430 | aig 15534 244 598 1 14692] optimized miter [aig 33279 842 0 1 32437]
6s110 [aig 26440 175 808 1613 25457 | aig 16582 175 808 1613 15599] optimized miter [aig 51690 983 0 1 50707]
6s111 [aig 347340 5508 0 2 341832 | aig 336806 5508 0 2 331298] optimized miter [aig 678645 5508 0 1 673137]
6s112 [aig 6855 56 0 6 6799 | aig 6694 56 0 6 6638] optimized miter [aig 13516 56 0 1 13460]
6s113 [aig 9813 133 995 1 8685 | aig 9365 133 995 1 8237] optimized miter [aig 21945 1128 0 1 20817]
6s114 [aig 1001099 1381 101639 32210 898079 | aig 739023 1381 101639 32210 636003] optimized miter [aig 2161238 103020 0 1 2058218]
6s115 [aig 123508 1966 0 1 121542 | aig 114074 1966 0 1 112108] optimized miter [aig 235619 1966 0 1 233653]
6s116 [aig 34938 4912 4922 17 25104 | aig 30356 4912 4922 17 20522] optimized miter [aig 74819 9834 0 1 64985]
6s117 [aig 567561 1048 23957 8064 542556 | aig 378642 1048 23957 8064 353637] optimized miter [aig 1048554 25005 0 1 1023549]
6s118 [aig 425065 452 13707 100 410906 | aig 255502 452 13707 100 241343] optimized miter [aig 721635 14159 0 1 707476]
6s119 [aig 126505 579 18833 1 107093 | aig 124654 579 18833 1 105242] optimized miter [aig 306398 19412 0 1 286986]
6s12 [aig 16282 245 598 1 15439 | aig 15533 245 598 1 14690] optimized miter [aig 33287 843 0 1 32444]
6s120 [aig 2390 60 58 1 2272 | aig 2093 60 58 1 1975] optimized miter [aig 4560 118 0 1 4442]
6s121 [aig 2154 99 419 1 1636 | aig 2054 99 419 1 1536] optimized miter [aig 4873 518 0 1 4355]
6s122 [aig 3570 29 554 1 2987 | aig 3526 29 554 1 2943] optimized miter [aig 8704 583 0 1 8121]
6s123 [aig 402642 207 34306 8 368129 | aig 293969 207 34306 8 259456] optimized miter [aig 794243 34513 0 1 759730]
6s124 [aig 97173 199 6749 630 90225 | aig 82862 199 6749 630 75914] optimized miter [aig 199588 6948 0 1 192640]
6s125 [aig 3544465 4708 260713 1041 3279044 | aig 3133445 4708 260713 1041 2868024] optimized miter [aig 7459248 265421 0 1 7193827]
6s126 [aig 397879 392 0 1 397487 | aig 181401 392 0 1 181009] optimized miter [aig 578891 392 0 1 578499]
6s127 [aig 529649 450 0 1 529199 | aig 239998 450 0 1 239548] optimized miter [aig 769200 450 0 1 768750]
6s128 [aig 691711 512 0 1 691199 | aig 311089 512 0 1 310577] optimized miter [aig 1002291 512 0 1 1001779]
6s129 [aig 888385 578 0 1 887807 | aig 397501 578 0 1 396923] optimized miter [aig 1285311 578 0 1 1284733]
6s13 [aig 27234 439 811 1 25984 | aig 23296 439 811 1 22046] optimized miter [aig 52435 1250 0 1 51185]
6s130 [aig 25550 439 811 1 24300 | aig 22195 439 811 1 20945] optimized miter [aig 49370 1250 0 1 48120]
6s131 [aig 25550 439 811 1 24300 | aig 22150 439 811 1 20900] optimized miter [aig 49325 1250 0 1 48075]
6s132 [aig 1449 94 139 1 1216 | aig 1357 94 139 1 1124] optimized miter [aig 3064 233 0 1 2831]
6s133 [aig 23310 450 819 1 22041 | aig 20714 450 819 1 19445] optimized miter [aig 45662 1269 0 1 44393]
6s134 [aig 2711 36 571 1 2104 | aig 2551 36 571 1 1944] optimized miter [aig 5906 607 0 1 5299]
6s135 [aig 19611 177 2308 340 17126 | aig 17389 177 2308 340 14904] optimized miter [aig 44614 2485 0 1 42129]
6s136 [aig 32243 6287 3342 1 22614 | aig 24252 6287 3342 1 14623] optimized miter [aig 59913 9629 0 1 50284]
6s137 [aig 333120 647 32922 589 299551 | aig 290053 647 32922 589 256484] optimized miter [aig 723647 33569 0 1 690078]
6s138 [aig 52149 439 4008 16 47702 | aig 45730 439 4008 16 41283] optimized miter [aig 101855 4447 0 1 97408]
6s139 [aig 287624 4033 16231 120 267360 | aig 177559 4033 16231 120 157295] optimized miter [aig 508510 20264 0 1 488246]
6s14 [aig 27077 439 811 1 25827 | aig 22968 439 811 1 21718] optimized miter [aig 51950 1250 0 1 50700]
6s140 [aig 27908 158 4394 1 23356 | aig 26246 158 4394 1 21694] optimized miter [aig 67153 4552 0 1 62601]
6s141 [aig 28339 158 4394 35 23787 | aig 26486 158 4394 35 21934] optimized miter [aig 67957 4552 0 1 63405]
6s143 [aig 14649 425 261 1 13963 | aig 14493 425 261 1 13807] optimized miter [aig 29447 686 0 1 28761]
6s144 [aig 45679 480 3337 1 41862 | aig 43764 480 3337 1 39947] optimized miter [aig 97297 3817 0 1 93480]
6s145 [aig 202949 942 21343 1 180664 | aig 136772 942 21343 1 114487] optimized miter [aig 402392 22285 0 1 380107]
6s146 [aig 255161 237 15560 68 239364 | aig 129681 237 15560 68 113884] optimized miter [aig 431304 15797 0 1 415507]
6s147 [aig 177501 1316 22547 1 153638 | aig 135906 1316 22547 1 112043] optimized miter [aig 371338 23863 0 1 347475]
6s148 [aig 45679 480 3337 1 41862 | aig 43764 480 3337 1 39947] optimized miter [aig 97297 3817 0 1 93480]
6s149 [aig 112623 713 12781 1 99129 | aig 108849 713 12781 1 95355] optimized miter [aig 256297 13494 0 1 242803]
6s15 [aig 27077 439 811 1 25827 | aig 22968 439 811 1 21718] optimized miter [aig 51950 1250 0 1 50700]
6s150 [aig 6638 146 1044 1 5448 | aig 6588 146 1044 1 5398] optimized miter [aig 16071 1190 0 1 14881]
6s151 [aig 17719 4 150 1 17565 | aig 13869 4 150 1 13715] optimized miter [aig 32033 154 0 1 31879]
6s152 [aig 818 21 160 1 637 | aig 805 21 160 1 624] optimized miter [aig 1949 181 0 1 1768]
6s153 [aig 44724 3833 0 8 40891 | aig 18029 3833 0 8 14196] optimized miter [aig 58951 3833 0 1 55118]
6s154 [aig 18504 193 128 32 18183 | aig 15179 193 128 32 14858] optimized miter [aig 34001 321 0 1 33680]
6s155 [aig 27214 201 513 32 26500 | aig 11997 201 513 32 11283] optimized miter [aig 40672 714 0 1 39958]
6s156 [aig 27212 201 513 32 26498 | aig 12249 201 513 32 11535] optimized miter [aig 40922 714 0 1 40208]
6s157 [aig 27243 202 512 1 26529 | aig 12273 202 512 1 11559] optimized miter [aig 40853 714 0 1 40139]
6s158 [aig 26324 193 256 1 25875 | aig 21436 193 256 1 20987] optimized miter [aig 48338 449 0 1 47889]
6s159 [aig 1734 13 252 1 1469 | aig 1647 13 252 1 1382] optimized miter [aig 4103 265 0 1 3838]
6s16 [aig 14994 249 608 1 14137 | aig 14331 249 608 1 13474] optimized miter [aig 30823 857 0 1 29966]
6s160 [aig 9424 149 559 1 8716 | aig 7709 149 559 1 7001] optimized miter [aig 18440 708 0 1 17732]
6s161 [aig 4496 75 348 1 4073 | aig 3762 75 348 1 3339] optimized miter [aig 8906 423 0 1 8483]
6s162 [aig 1473 73 156 1 1244 | aig 1377 73 156 1 1148] optimized miter [aig 3200 229 0 1 2971]
6s163 [aig 1728102 384 72720 1 1654998 | aig 789901 384 72720 1 716797] optimized miter [aig 2735770 73104 0 1 2662666]
6s164 [aig 1384 91 198 1 1095 | aig 1360 91 198 1 1071] optimized miter [aig 3210 289 0 1 2921]
6s165 [aig 1536 35 65 16 1436 | aig 1339 35 65 16 1239] optimized miter [aig 3098 100 0 1 2998]
6s166 [aig 2822 36 81 16 2705 | aig 2356 36 81 16 2239] optimized miter [aig 5448 117 0 1 5331]
6s167 [aig 3115 68 64 16 2983 | aig 1337 68 64 16 1205] optimized miter [aig 4639 132 0 1 4507]
6s168 [aig 2854 34 98 16 2722 | aig 2461 34 98 16 2329] optimized miter [aig 5638 132 0 1 5506]
6s169 [aig 3009 58 145 16 2806 | aig 2612 58 145 16 2409] optimized miter [aig 6061 203 0 1 5858]
6s17 [aig 24447 450 819 1 23178 | aig 21291 450 819 1 20022] optimized miter [aig 47656 1269 0 1 46387]
6s170 [aig 42120 3686 3142 1 35292 | aig 23001 3686 3142 1 16173] optimized miter [aig 67728 6828 0 1 60900]
6s171 [aig 9430 94 1263 1 8073 | aig 9414 94 1263 1 8057] optimized miter [aig 22530 1357 0 1 21173]
6s172 [aig 4969 403 422 1 4144 | aig 4707 403 422 1 3882] optimized miter [aig 10442 825 0 1 9617]
6s173 [aig 2781 67 128 1 2586 | aig 2640 67 128 1 2445] optimized miter [aig 5733 195 0 1 5538]
6s174 [aig 1052 14 146 1 892 | aig 996 14 146 1 836] optimized miter [aig 2463 160 0 1 2303]
6s175 [aig 94488 11684 7415 3 75389 | aig 74571 11684 7415 3 55472] optimized miter [aig 174107 19099 0 1 155008]
6s176 [aig 54881 322 1566 952 52993 | aig 39329 322 1566 952 37441] optimized miter [aig 101706 1888 0 1 99818]
6s177 [aig 810 13 160 1 637 | aig 793 13 160 1 620] optimized miter [aig 1937 173 0 1 1764]
6s178 [aig 16926 145 1598 1 15183 | aig 15893 145 1598 1 14150] optimized miter [aig 36283 1743 0 1 34540]
6s179 [aig 1602 33 185 1 1384 | aig 1526 33 185 1 1308] optimized miter [aig 3649 218 0 1 3431]
6s18 [aig 24588 450 819 1 23319 | aig 21479 450 819 1 20210] optimized miter [aig 47985 1269 0 1 46716]
6s180 [aig 2862 49 151 1 2662 | aig 2689 49 151 1 2489] optimized miter [aig 5910 200 0 1 5710]
6s181 [aig 16414 252 607 1 15555 | aig 15657 252 607 1 14798] optimized miter [aig 33563 859 0 1 32704]
6s182 [aig 17217 245 607 1 16365 | aig 16482 245 607 1 15630] optimized miter [aig 35198 852 0 1 34346]
6s183 [aig 16411 252 607 1 15552 | aig 15672 252 607 1 14813] optimized miter [aig 33575 859 0 1 32716]
6s184 [aig 15940 256 607 1 15077 | aig 15218 256 607 1 14355] optimized miter [aig 32646 863 0 1 31783]
6s185 [aig 2517 37 367 1 2113 | aig 2485 37 367 1 2081] optimized miter [aig 6061 404 0 1 5657]
6s186 [aig 2540 38 372 1 2130 | aig 2519 38 372 1 2109] optimized miter [aig 6132 410 0 1 5722]
6s187 [aig 2560 38 372 1 2150 | aig 2540 38 372 1 2130] optimized miter [aig 6173 410 0 1 5763]
6s188 [aig 6682 30 786 1 5866 | aig 6395 30 786 1 5579] optimized miter [aig 14440 816 0 1 13624]
6s189 [aig 39764 479 2434 1 36851 | aig 37940 479 2434 1 35027] optimized miter [aig 83174 2913 0 1 80261]
6s19 [aig 15181 266 607 1 14308 | aig 14482 266 607 1 13609] optimized miter [aig 31141 873 0 1 30268]
6s190 [aig 8371 74 1079 1 7218 | aig 8004 74 1079 1 6851] optimized miter [aig 19473 1153 0 1 18320]
6s191 [aig 7353 61 696 1 6596 | aig 6816 61 696 1 6059] optimized miter [aig 15603 757 0 1 14846]
6s192 [aig 7396 65 698 1 6633 | aig 6860 65 698 1 6097] optimized miter [aig 15692 763 0 1 14929]
6s193 [aig 4252 19 959 1 3274 | aig 4018 19 959 1 3040] optimized miter [aig 10967 978 0 1 9989]
6s194 [aig 14970 532 2389 1 12049 | aig 14306 532 2389 1 11385] optimized miter [aig 34866 2921 0 1 31945]
6s195 [aig 9390 87 1257 1 8046 | aig 9375 87 1257 1 8031] optimized miter [aig 22444 1344 0 1 21100]
6s196 [aig 3621 34 718 1 2869 | aig 3598 34 718 1 2846] optimized miter [aig 8186 752 0 1 7434]
6s197 [aig 1473 35 208 1 1230 | aig 1412 35 208 1 1169] optimized miter [aig 3389 243 0 1 3146]
6s198 [aig 1473 35 208 1 1230 | aig 1421 35 208 1 1178] optimized miter [aig 3398 243 0 1 3155]
6s199 [aig 15470 144 1660 1 13666 | aig 14958 144 1660 1 13154] optimized miter [aig 34175 1804 0 1 32371]
6s20 [aig 30501 49 201 1 30251 | aig 27560 49 201 1 27310] optimized miter [aig 58614 250 0 1 58364]
6s21 [aig 24048 155 3795 1 20098 | aig 23773 155 3795 1 19823] optimized miter [aig 59026 3950 0 1 55076]
6s22 [aig 18442 73 1126 1 17243 | aig 16412 73 1126 1 15213] optimized miter [aig 38066 1199 0 1 36867]
6s23 [aig 71624 12 10009 1 61603 | aig 70992 12 10009 1 60971] optimized miter [aig 172622 10021 0 1 162601]
6s24 [aig 12018 25 1456 1 10537 | aig 11989 25 1456 1 10508] optimized miter [aig 28201 1481 0 1 26720]
6s25 [aig 8464 131 1718 1 6615 | aig 8462 131 1718 1 6613] optimized miter [aig 21824 1849 0 1 19975]
6s26 [aig 12881 247 2654 1 9980 | aig 12368 247 2654 1 9467] optimized miter [aig 29639 2901 0 1 26738]
6s27 [aig 13090 144 2707 1 10239 | aig 12545 144 2707 1 9694] optimized miter [aig 30223 2851 0 1 27372]
6s28 [aig 12247 4 2269 1 9974 | aig 11801 4 2269 1 9528] optimized miter [aig 28950 2273 0 1 26677]
6s29 [aig 12148 4 2247 1 9897 | aig 11695 4 2247 1 9444] optimized miter [aig 28679 2251 0 1 26428]
6s30 [aig 138502 32994 1195 1 104313 | aig 126070 32994 1195 1 91881] optimized miter [aig 234930 34189 0 1 200741]
6s31 [aig 1569 17 197 1 1355 | aig 1551 17 197 1 1337] optimized miter [aig 3677 214 0 1 3463]
6s32 [aig 9263 8 1773 1 7482 | aig 9205 8 1773 1 7424] optimized miter [aig 23738 1781 0 1 21957]
6s33 [aig 1127 31 142 1 954 | aig 1114 31 142 1 941] optimized miter [aig 2627 173 0 1 2454]
6s34 [aig 11101 77 1564 1 9460 | aig 11026 77 1564 1 9385] optimized miter [aig 26741 1641 0 1 25100]
6s35 [aig 11257 77 1572 1 9608 | aig 11179 77 1572 1 9530] optimized miter [aig 27074 1649 0 1 25425]
6s36 [aig 8301 74 1072 1 7155 | aig 7934 74 1072 1 6788] optimized miter [aig 19312 1146 0 1 18166]
6s37 [aig 4502 42 753 1 3707 | aig 4381 42 753 1 3586] optimized miter [aig 10759 795 0 1 9964]
6s38 [aig 13121 343 1931 1 10847 | aig 12787 343 1931 1 10513] optimized miter [aig 30213 2274 0 1 27939]
6s39 [aig 7475 65 698 1 6712 | aig 6944 65 698 1 6181] optimized miter [aig 15855 763 0 1 15092]
6s4 [aig 2862 209 202 1 2451 | aig 2827 209 202 1 2416] optimized miter [aig 6077 411 0 1 5666]
6s40 [aig 36883 249 5608 3 31026 | aig 36337 249 5608 3 30480] optimized miter [aig 89794 5857 0 1 83937]
6s40p0 [aig 36883 249 5608 1 31026 | aig 35792 249 5608 1 29935] optimized miter [aig 88645 5857 0 1 82788]
6s41 [aig 4252 19 959 1 3274 | aig 4018 19 959 1 3040] optimized miter [aig 10967 978 0 1 9989]
6s42 [aig 9632 76 1211 1 8345 | aig 9207 76 1211 1 7920] optimized miter [aig 21151 1287 0 1 19864]
6s43 [aig 8403 30 965 1 7408 | aig 8031 30 965 1 7036] optimized miter [aig 18266 995 0 1 17271]
6s44 [aig 9922 76 1211 1 8635 | aig 9264 76 1211 1 7977] optimized miter [aig 21498 1287 0 1 20211]
6s45 [aig 5810 91 651 1 5068 | aig 4840 91 651 1 4098] optimized miter [aig 12463 742 0 1 11721]
6s46 [aig 4950 91 651 1 4208 | aig 4843 91 651 1 4101] optimized miter [aig 11606 742 0 1 10864]
6s47 [aig 4950 34 815 1 4101 | aig 4813 34 815 1 3964] optimized miter [aig 12169 849 0 1 11320]
6s48 [aig 934 72 66 2 796 | aig 934 72 66 2 796] optimized miter [aig 1993 138 0 1 1855]
6s48p0 [aig 934 72 66 1 796 | aig 933 72 66 1 795] optimized miter [aig 1987 138 0 1 1849]
6s48p1 [aig 934 72 66 1 796 | aig 928 72 66 1 790] optimized miter [aig 1978 138 0 1 1840]
6s49 [aig 1397 17 180 1 1200 | aig 1183 17 180 1 986] optimized miter [aig 3098 197 0 1 2901]
6s5 [aig 31645 141 2519 1 28985 | aig 30680 141 2519 1 28020] optimized miter [aig 69108 2660 0 1 66448]
6s50 [aig 21377 1570 3107 1 16700 | aig 20692 1570 3107 1 16015] optimized miter [aig 46703 4677 0 1 42026]
6s51 [aig 21378 1570 3107 1 16701 | aig 20697 1570 3107 1 16020] optimized miter [aig 46709 4677 0 1 42032]
6s52 [aig 1471 35 208 1 1228 | aig 1420 35 208 1 1177] optimized miter [aig 3395 243 0 1 3152]
6s53 [aig 1473 35 208 1 1230 | aig 1426 35 208 1 1183] optimized miter [aig 3403 243 0 1 3160]
6s54 [aig 15215 144 1660 1 13411 | aig 14702 144 1660 1 12898] optimized miter [aig 33664 1804 0 1 31860]
6s6 [aig 5368 168 429 1 4771 | aig 5352 168 429 1 4755] optimized miter [aig 11806 597 0 1 11209]
6s7 [aig 3079 45 504 1 2530 | aig 3065 45 504 1 2516] optimized miter [aig 7334 549 0 1 6785]
6s8 [aig 3498 86 396 1 3016 | aig 3330 86 396 1 2848] optimized miter [aig 7581 482 0 1 7099]
6s9 [aig 16414 252 607 1 15555 | aig 15657 252 607 1 14798] optimized miter [aig 33563 859 0 1 32704]
beemadd3b1 [aig 992 60 56 1 876 | aig 979 60 56 1 863] optimized miter [aig 1862 116 0 1 1746]
beemadd4b1 [aig 988 60 56 1 872 | aig 976 60 56 1 860] optimized miter [aig 1855 116 0 1 1739]
beemandrsn4b1 [aig 2070 116 94 1 1860 | aig 1666 116 94 1 1456] optimized miter [aig 3533 210 0 1 3323]
beemandrsn6b1 [aig 5280 170 136 1 4974 | aig 3760 170 136 1 3454] optimized miter [aig 8741 306 0 1 8435]
beemandrsn7f1 [aig 5138 36 135 1 4967 | aig 2714 36 135 1 2543] optimized miter [aig 8224 171 0 1 8053]
beemat1b1 [aig 1776 128 87 1 1561 | aig 1564 128 87 1 1349] optimized miter [aig 3132 215 0 1 2917]
beemat1f1 [aig 1290 43 86 1 1161 | aig 1111 43 86 1 982] optimized miter [aig 2603 129 0 1 2474]
beemat4f1 [aig 2123 71 126 1 1926 | aig 1814 71 126 1 1617] optimized miter [aig 4223 197 0 1 4026]
beembkry1b1 [aig 1730 90 76 1 1564 | aig 1497 90 76 1 1331] optimized miter [aig 3068 166 0 1 2902]
beembkry5b1 [aig 4296 180 150 1 3966 | aig 3728 180 150 1 3398] optimized miter [aig 7701 330 0 1 7371]
beembkry7f1 [aig 2347 32 149 1 2166 | aig 1849 32 149 1 1668] optimized miter [aig 4614 181 0 1 4433]
beemblks2b1 [aig 2399 127 109 1 2163 | aig 1745 127 109 1 1509] optimized miter [aig 3915 236 0 1 3679]
beemblks3f1 [aig 2100 26 140 1 1934 | aig 1383 26 140 1 1217] optimized miter [aig 3880 166 0 1 3714]
beembrdg2f1 [aig 1370 61 69 1 1240 | aig 1142 61 69 1 1012] optimized miter [aig 2657 130 0 1 2527]
beembrdg3b1 [aig 6666 157 78 1 6431 | aig 4518 157 78 1 4283] optimized miter [aig 10956 235 0 1 10721]
beembrdg3f1 [aig 1708 81 77 1 1550 | aig 1426 81 77 1 1268] optimized miter [aig 3283 158 0 1 3125]
beembrp1f1 [aig 1322 38 122 1 1162 | aig 1097 38 122 1 937] optimized miter [aig 2714 160 0 1 2554]
beembrptwo1b2 [aig 4451 259 228 1 3964 | aig 3606 259 228 1 3119] optimized miter [aig 7577 487 0 1 7090]
beembrptwo1f2 [aig 2730 33 227 1 2470 | aig 2008 33 227 1 1748] optimized miter [aig 5129 260 0 1 4869]
beembrptwo4b1 [aig 4388 259 228 1 3901 | aig 3529 259 228 1 3042] optimized miter [aig 7437 487 0 1 6950]
beembrptwo5f2 [aig 2725 33 227 1 2465 | aig 2019 33 227 1 1759] optimized miter [aig 5135 260 0 1 4875]
beemcmbrdg1b1 [aig 7324 225 171 1 6928 | aig 5585 225 171 1 5189] optimized miter [aig 12520 396 0 1 12124]
beemcmbrdg1f1 [aig 2523 56 170 1 2297 | aig 1878 56 170 1 1652] optimized miter [aig 4850 226 0 1 4624]
beemcoll1b1 [aig 16802 161 132 1 16509 | aig 11464 161 132 1 11171] optimized miter [aig 27980 293 0 1 27687]
beemcoll3b1 [aig 24196 210 170 1 23816 | aig 16531 210 170 1 16151] optimized miter [aig 40354 380 0 1 39974]
beemcoll4b1 [aig 31269 259 208 1 30802 | aig 21515 259 208 1 21048] optimized miter [aig 52324 467 0 1 51857]
beemexit5f1 [aig 2404 133 246 1 2025 | aig 2072 133 246 1 1693] optimized miter [aig 5068 379 0 1 4689]
beemextnc1b1 [aig 9027 393 316 1 8318 | aig 7195 393 316 1 6486] optimized miter [aig 15520 709 0 1 14811]
beemextnc3b1 [aig 11834 496 386 1 10952 | aig 9318 496 386 1 8436] optimized miter [aig 20277 882 0 1 19395]
beemfish4f1 [aig 1460 43 94 1 1323 | aig 1131 43 94 1 994] optimized miter [aig 2829 137 0 1 2692]
beemfish6b1 [aig 2442 154 107 1 2181 | aig 2000 154 107 1 1739] optimized miter [aig 4188 261 0 1 3927]
beemfrogs1b1 [aig 8816 165 158 1 8493 | aig 6718 165 158 1 6395] optimized miter [aig 15218 323 0 1 14895]
beemfrogs1f1 [aig 5854 9 157 1 5688 | aig 4032 9 157 1 3866] optimized miter [aig 10343 166 0 1 10177]
beemfwt1b1 [aig 36542 1716 1214 1 33612 | aig 26576 1716 1214 1 23646] optimized miter [aig 60195 2930 0 1 57265]
beemfwt1f1 [aig 21732 504 1213 1 20015 | aig 16592 504 1213 1 14875] optimized miter [aig 40310 1717 0 1 38593]
beemfwt5f2 [aig 63093 1280 3045 1 58768 | aig 50433 1280 3045 1 46108] optimized miter [aig 118184 4325 0 1 113859]
beemgear1f1 [aig 1944 50 131 1 1763 | aig 1580 50 131 1 1399] optimized miter [aig 3866 181 0 1 3685]
beemgear2b1 [aig 2759 180 132 1 2447 | aig 2290 180 132 1 1978] optimized miter [aig 4744 312 0 1 4432]
beemgear2f1 [aig 1946 50 131 1 1765 | aig 1577 50 131 1 1396] optimized miter [aig 3865 181 0 1 3684]
beemhanoi1b1 [aig 6944 252 248 1 6444 | aig 6309 252 248 1 5809] optimized miter [aig 12760 500 0 1 12260]
beemhanoi1f1 [aig 3073 6 247 1 2820 | aig 2802 6 247 1 2549] optimized miter [aig 6589 253 0 1 6336]
beemkrebs3b1 [aig 3237 133 119 1 2985 | aig 2223 133 119 1 1971] optimized miter [aig 5215 252 0 1 4963]
beemkrebs3f1 [aig 1580 16 118 1 1446 | aig 1076 16 118 1 942] optimized miter [aig 2961 134 0 1 2827]
beemkrebs4b1 [aig 3940 147 127 1 3666 | aig 2657 147 127 1 2383] optimized miter [aig 6330 274 0 1 6056]
beemlann2b1 [aig 2082 184 150 1 1748 | aig 1890 184 150 1 1556] optimized miter [aig 3645 334 0 1 3311]
beemlann2f1 [aig 1213 36 149 1 1028 | aig 1078 36 149 1 893] optimized miter [aig 2705 185 0 1 2520]
beemlann4b1 [aig 2643 230 187 1 2226 | aig 2412 230 187 1 1995] optimized miter [aig 4645 417 0 1 4228]
beemldelec1b1 [aig 21288 803 710 1 19775 | aig 18451 803 710 1 16938] optimized miter [aig 38233 1513 0 1 36720]
beemldelec4b1 [aig 36811 1345 1214 1 34252 | aig 32058 1345 1214 1 29499] optimized miter [aig 66317 2559 0 1 63758]
beemldfilt1f1 [aig 2185 30 175 1 1980 | aig 1469 30 175 1 1264] optimized miter [aig 4152 205 0 1 3947]
beemldfilt3b1 [aig 4061 232 194 1 3635 | aig 3092 232 194 1 2666] optimized miter [aig 6734 426 0 1 6308]
beemldfilt4b1 [aig 3866 232 194 1 3440 | aig 3016 232 194 1 2590] optimized miter [aig 6463 426 0 1 6037]
beemldfilt5b1 [aig 5590 284 236 1 5070 | aig 4184 284 236 1 3664] optimized miter [aig 9261 520 0 1 8741]
beemlifts2b1 [aig 23003 319 186 1 22498 | aig 17299 319 186 1 16794] optimized miter [aig 39804 505 0 1 39299]
beemlifts3b1 [aig 44481 456 257 1 43768 | aig 31537 456 257 1 30824] optimized miter [aig 75312 713 0 1 74599]
beemlifts8b1 [aig 47943 587 322 1 47034 | aig 34779 587 322 1 33870] optimized miter [aig 81820 909 0 1 80911]
beemlmprt1b1 [aig 1699 136 96 1 1467 | aig 1493 136 96 1 1261] optimized miter [aig 2967 232 0 1 2735]
beemlmprt5b1 [aig 2336 176 122 1 2038 | aig 1981 176 122 1 1683] optimized miter [aig 4026 298 0 1 3728]
beemlmprt5f1 [aig 1630 56 121 1 1453 | aig 1256 56 121 1 1079] optimized miter [aig 3196 177 0 1 3019]
beemlmprt7b1 [aig 3039 216 148 1 2675 | aig 2529 216 148 1 2165] optimized miter [aig 5211 364 0 1 4847]
beemloyd2b1 [aig 3528 96 93 1 3339 | aig 2871 96 93 1 2682] optimized miter [aig 6217 189 0 1 6028]
beemloyd3b1 [aig 4207 120 117 1 3970 | aig 3460 120 117 1 3223] optimized miter [aig 7437 237 0 1 7200]
beemlptna5f1 [aig 5813 365 231 1 5217 | aig 4992 365 231 1 4396] optimized miter [aig 11136 596 0 1 10540]
beemmcs1f1 [aig 1054 39 111 1 904 | aig 1008 39 111 1 858] optimized miter [aig 2359 150 0 1 2209]
beemmcs3b1 [aig 2315 196 146 1 1973 | aig 2182 196 146 1 1840] optimized miter [aig 4162 342 0 1 3820]
beemmcs4b1 [aig 2129 196 146 1 1787 | aig 2035 196 146 1 1693] optimized miter [aig 3829 342 0 1 3487]
beemmsmie1b1 [aig 2536 172 89 1 2275 | aig 2009 172 89 1 1748] optimized miter [aig 4291 261 0 1 4030]
beemmsmie3b1 [aig 6442 403 154 1 5885 | aig 4866 403 154 1 4309] optimized miter [aig 10758 557 0 1 10201]
beemmsmie3f1 [aig 4631 251 153 1 4227 | aig 3572 251 153 1 3168] optimized miter [aig 8414 404 0 1 8010]
beemndhm2b2 [aig 16421 348 252 1 15821 | aig 11643 348 252 1 11043] optimized miter [aig 27471 600 0 1 26871]
beemndhm2f2 [aig 14951 98 251 1 14602 | aig 10091 98 251 1 9742] optimized miter [aig 25700 349 0 1 25351]
beemndhm3b2 [aig 19425 399 290 1 18736 | aig 13632 399 290 1 12943] optimized miter [aig 32375 689 0 1 31686]
beempgmprot1b1 [aig 30427 1143 1025 1 28259 | aig 27249 1143 1025 1 25081] optimized miter [aig 55515 2168 0 1 53347]
beempgmprot1b2 [aig 30535 1143 1025 1 28367 | aig 27491 1143 1025 1 25323] optimized miter [aig 55865 2168 0 1 53697]
beempgmprot7b1 [aig 29747 1151 1033 1 27563 | aig 26201 1151 1033 1 24017] optimized miter [aig 53771 2184 0 1 51587]
beempgsol2b1 [aig 13696 541 403 1 12752 | aig 8705 541 403 1 7761] optimized miter [aig 21464 944 0 1 20520]
beempgsol5b1 [aig 13696 541 403 1 12752 | aig 8706 541 403 1 7762] optimized miter [aig 21465 944 0 1 20521]
beemplc1b2 [aig 25669 1006 778 1 23885 | aig 22312 1006 778 1 20528] optimized miter [aig 46204 1784 0 1 44420]
beemprdcell2f1 [aig 937 26 110 1 801 | aig 838 26 110 1 702] optimized miter [aig 2078 136 0 1 1942]
beemprng1b1 [aig 18892 2075 59 1 16758 | aig 17449 2075 59 1 15315] optimized miter [aig 34214 2134 0 1 32080]
beemptrsn1b1 [aig 2032 132 113 1 1787 | aig 1790 132 113 1 1545] optimized miter [aig 3584 245 0 1 3339]
beemptrsn4b1 [aig 2960 176 150 1 2634 | aig 2568 176 150 1 2242] optimized miter [aig 5209 326 0 1 4883]
beemptrsn7b1 [aig 4017 220 187 1 3610 | aig 3410 220 187 1 3003] optimized miter [aig 7027 407 0 1 6620]
beemptrsn7f1 [aig 2894 35 186 1 2673 | aig 2136 35 186 1 1915] optimized miter [aig 5556 221 0 1 5335]
beemrether3b1 [aig 8997 392 283 1 8322 | aig 6323 392 283 1 5648] optimized miter [aig 14652 675 0 1 13977]
beemrether4f1 [aig 3986 133 339 1 3514 | aig 3226 133 339 1 2754] optimized miter [aig 8099 472 0 1 7627]
beemrether6b1 [aig 11188 563 404 1 10221 | aig 8818 563 404 1 7851] optimized miter [aig 19046 967 0 1 18079]
beemrshr2b1 [aig 31462 506 491 1 30465 | aig 25160 506 491 1 24163] optimized miter [aig 55632 997 0 1 54635]
beemrshr2f1 [aig 26575 17 490 1 26068 | aig 17836 17 490 1 17329] optimized miter [aig 45327 507 0 1 44820]
beemrshr3b1 [aig 66627 745 720 1 65162 | aig 54563 745 720 1 53098] optimized miter [aig 119732 1465 0 1 118267]
beemskbn1f1 [aig 16892 9 538 1 16345 | aig 13061 9 538 1 12514] optimized miter [aig 31557 547 0 1 31010]
beemskbn2b1 [aig 26124 514 507 1 25103 | aig 21409 514 507 1 20388] optimized miter [aig 46519 1021 0 1 45498]
beemskbn2f1 [aig 16122 9 506 1 15607 | aig 12282 9 506 1 11767] optimized miter [aig 29912 515 0 1 29397]
beemsnpse4f1 [aig 24579 185 237 1 24157 | aig 21877 185 237 1 21455] optimized miter [aig 46985 422 0 1 46563]
beemsnpse7b1 [aig 47584 533 314 1 46737 | aig 43483 533 314 1 42636] optimized miter [aig 90227 847 0 1 89380]
beemszmsk1b1 [aig 5033 207 137 1 4689 | aig 3111 207 137 1 2767] optimized miter [aig 7807 344 0 1 7463]
beemszmsk1f1 [aig 2309 72 136 1 2101 | aig 1600 72 136 1 1392] optimized miter [aig 4248 208 0 1 4040]
beemtlphn4b1 [aig 7575 300 186 1 7089 | aig 6109 300 186 1 5623] optimized miter [aig 13205 486 0 1 12719]
beemtlphn5f1 [aig 5342 132 249 1 4961 | aig 4507 132 249 1 4126] optimized miter [aig 10211 381 0 1 9830]
beemtrngt2b1 [aig 3077 205 170 1 2702 | aig 2587 205 170 1 2212] optimized miter [aig 5296 375 0 1 4921]
beemtrngt3f1 [aig 1811 37 169 1 1605 | aig 1514 37 169 1 1308] optimized miter [aig 3666 206 0 1 3460]
beemtrngt4b1 [aig 4166 277 228 1 3661 | aig 3450 277 228 1 2945] optimized miter [aig 7118 505 0 1 6613]
beemtrngt5f1 [aig 2444 51 227 1 2166 | aig 2036 51 227 1 1758] optimized miter [aig 4917 278 0 1 4639]
bjrb07amba10andenv [aig 98090 23 63 1 98004 | aig 54137 23 63 1 54051] optimized miter [aig 152336 86 0 1 152250]
bob05 [aig 20671 224 2404 1 18043 | aig 15393 224 2404 1 12765] optimized miter [aig 42931 2628 0 1 40303]
bob12m01 [aig 81137 352 6551 142 74234 | aig 80915 352 6551 142 74012] optimized miter [aig 180444 6903 0 1 173541]
bob12m02 [aig 12921 137 184 19 12600 | aig 12849 137 184 19 12528] optimized miter [aig 26256 321 0 1 25935]
bob12m03 [aig 37884 617 5174 243 32093 | aig 36227 617 5174 243 30436] optimized miter [aig 89243 5791 0 1 83452]
bob12m04 [aig 239708 23651 43950 30228 172107 | aig 238968 23651 43950 30228 171367] optimized miter [aig 626166 67601 0 1 558565]
bob12m05 [aig 50494 437 3956 10 46101 | aig 44371 437 3956 10 39978] optimized miter [aig 98519 4393 0 1 94126]
bob12m06 [aig 229205 79 26148 28 202978 | aig 174958 79 26148 28 148731] optimized miter [aig 482635 26227 0 1 456408]
bob12m07 [aig 64786 25 1258 53 63503 | aig 35232 25 1258 53 33949] optimized miter [aig 103946 1283 0 1 102663]
bob12m08 [aig 29142 79 1994 132 27069 | aig 17698 79 1994 132 15625] optimized miter [aig 53162 2073 0 1 51089]
bob12m09 [aig 30579 44 285 85 30250 | aig 19619 44 285 85 19290] optimized miter [aig 51144 329 0 1 50815]
bob12m10 [aig 4588 6 198 34 4384 | aig 3717 6 198 34 3513] optimized miter [aig 9024 204 0 1 8820]
bob12m14 [aig 90587 25 1308 106 89254 | aig 38827 25 1308 106 37494] optimized miter [aig 133736 1333 0 1 132403]
bob12m15 [aig 2609 16 448 526 2145 | aig 2330 16 448 526 1866] optimized miter [aig 6594 464 0 1 6130]
bob12m16 [aig 754 13 115 62 626 | aig 647 13 115 62 519] optimized miter [aig 1824 128 0 1 1696]
bob12m17 [aig 2440 57 260 164 2123 | aig 1996 57 260 164 1679] optimized miter [aig 5750 317 0 1 5433]
bob12m18 [aig 2458 57 261 163 2140 | aig 2016 57 261 163 1698] optimized miter [aig 5791 318 0 1 5473]
bob12s01 [aig 81277 352 6551 1 74374 | aig 81052 352 6551 1 74149] optimized miter [aig 180709 6903 0 1 173806]
bob12s02 [aig 12938 137 184 1 12617 | aig 12877 137 184 1 12556] optimized miter [aig 26233 321 0 1 25912]
bob12s03 [aig 38126 617 5174 1 32335 | aig 36403 617 5174 1 30612] optimized miter [aig 88693 5791 0 1 82902]
bob12s04 [aig 268209 23651 43950 1 200608 | aig 240672 23651 43950 1 173071] optimized miter [aig 542367 67601 0 1 474766]
bob12s05 [aig 50503 437 3956 1 46110 | aig 44261 437 3956 1 39868] optimized miter [aig 98382 4393 0 1 93989]
bob12s06 [aig 229232 79 26148 1 203005 | aig 174948 79 26148 1 148721] optimized miter [aig 482548 26227 0 1 456321]
bob12s07 [aig 64838 25 1258 1 63555 | aig 35068 25 1258 1 33785] optimized miter [aig 103626 1283 0 1 102343]
bob12s08 [aig 29248 79 1994 1 27175 | aig 17778 79 1994 1 15705] optimized miter [aig 52932 2073 0 1 50859]
bob12s09 [aig 30612 44 285 1 30283 | aig 19682 44 285 1 19353] optimized miter [aig 51108 329 0 1 50779]
bob12s10 [aig 4621 6 198 1 4417 | aig 3758 6 198 1 3554] optimized miter [aig 8966 204 0 1 8762]
bob1u05cu [aig 36664 224 4377 1 32063 | aig 27215 224 4377 1 22614] optimized miter [aig 76629 4601 0 1 72028]
bob9234redmiter [aig 825 36 119 1 670 | aig 825 36 119 1 670] optimized miter [aig 1866 155 0 1 1711]
bob9234specmulti [aig 815 36 111 8 668 | aig 813 36 111 8 666] optimized miter [aig 1824 147 0 1 1677]
bob9234specnegmulti [aig 815 36 111 8 668 | aig 813 36 111 8 666] optimized miter [aig 1824 147 0 1 1677]
bobaesdinvdmit [aig 23501 516 1335 1 21650 | aig 20271 516 1335 1 18420] optimized miter [aig 46708 1851 0 1 44857]
bobmiterbm1multi [aig 3074 122 381 1150 2571 | aig 3070 122 381 1150 2567] optimized miter [aig 7364 503 0 1 6861]
bobmiterbm1negmulti [aig 3074 122 381 1150 2571 | aig 3070 122 381 1150 2567] optimized miter [aig 7364 503 0 1 6861]
bobmitersynbm [aig 38046 224 6090 1 31732 | aig 37929 224 6090 1 31615] optimized miter [aig 93968 6314 0 1 87654]
bobpcihm [aig 11353 304 1422 1 9627 | aig 11323 304 1422 1 9597] optimized miter [aig 26297 1726 0 1 24571]
bobsm38584 [aig 20248 12 2264 1 17972 | aig 17278 12 2264 1 15002] optimized miter [aig 43202 2276 0 1 40926]
bobsm9234 [aig 3097 36 343 1 2718 | aig 2514 36 343 1 2135] optimized miter [aig 6283 379 0 1 5904]
bobsmcodic [aig 20646 34 1850 1 18762 | aig 20288 34 1850 1 18404] optimized miter [aig 46453 1884 0 1 44569]
bobsmfpu [aig 47277 262 906 1 46109 | aig 32251 262 906 1 31083] optimized miter [aig 80179 1168 0 1 79011]
bobsmhdlc [aig 1999 61 291 1 1647 | aig 1972 61 291 1 1620] optimized miter [aig 4654 352 0 1 4302]
bobsmhdlc1 [aig 1977 61 290 1 1626 | aig 1963 61 290 1 1612] optimized miter [aig 4624 351 0 1 4273]
bobsmhdlc2 [aig 1962 61 289 1 1612 | aig 1945 61 289 1 1595] optimized miter [aig 4588 350 0 1 4238]
bobsmhdlc3 [aig 1935 61 300 1 1574 | aig 1930 61 300 1 1569] optimized miter [aig 4583 361 0 1 4222]
bobsmi2c [aig 2100 19 260 1 1821 | aig 1820 19 260 1 1541] optimized miter [aig 4660 279 0 1 4381]
bobsmmem [aig 35170 115 4135 1 30920 | aig 30826 115 4135 1 26576] optimized miter [aig 77381 4250 0 1 73131]
bobsmminiuart [aig 701 16 114 1 571 | aig 701 16 114 1 571] optimized miter [aig 1723 130 0 1 1593]
bobsmmips [aig 39310 54 2514 1 36742 | aig 32830 54 2514 1 30262] optimized miter [aig 79631 2568 0 1 77063]
bobsmoci [aig 4356 65 541 1 3750 | aig 3341 65 541 1 2735] optimized miter [aig 9222 606 0 1 8616]
bobsmrisc [aig 16579 30 1803 1 14746 | aig 13833 30 1803 1 12000] optimized miter [aig 35750 1833 0 1 33917]
bobsmvhd3 [aig 9197 99 1111 1 7987 | aig 7780 99 1111 1 6570] optimized miter [aig 20126 1210 0 1 18916]
bobsynthmulti [aig 18623 224 3015 14 15384 | aig 18616 224 3015 14 15377] optimized miter [aig 46031 3239 0 1 42792]
bobsynthnegmulti [aig 18623 224 3015 14 15384 | aig 18616 224 3015 14 15377] optimized miter [aig 46031 3239 0 1 42792]
bobtuintmulti [aig 2476 213 212 32 2051 | aig 2396 213 212 32 1971] optimized miter [aig 5214 425 0 1 4789]
bobtuintnegmulti [aig 2476 213 212 32 2051 | aig 2396 213 212 32 1971] optimized miter [aig 5214 425 0 1 4789]
bobtuttt [aig 12400 2807 111 1 9482 | aig 12102 2807 111 1 9184] optimized miter [aig 22019 2918 0 1 19101]
cmudme1 [aig 379 54 61 1 264 | aig 351 54 61 1 236] optimized miter [aig 838 115 0 1 723]
cmudme2 [aig 548 56 63 1 429 | aig 412 56 63 1 293] optimized miter [aig 1064 119 0 1 945]
eijkbs3271 [aig 2560 26 305 1 2229 | aig 2198 26 305 1 1867] optimized miter [aig 5342 331 0 1 5011]
eijkbs3330 [aig 2152 40 246 1 1866 | aig 1875 40 246 1 1589] optimized miter [aig 4380 286 0 1 4094]
eijkbs3384 [aig 3089 43 689 1 2357 | aig 2651 43 689 1 1919] optimized miter [aig 6123 732 0 1 5391]
eijkbs6669 [aig 5012 83 506 1 4423 | aig 4309 83 506 1 3720] optimized miter [aig 9815 589 0 1 9226]
eijks838 [aig 834 34 106 1 694 | aig 679 34 106 1 539] optimized miter [aig 1800 140 0 1 1660]
nusmvdme116 [aig 2225 288 321 1 1616 | aig 1905 288 321 1 1296] optimized miter [aig 4680 609 0 1 4071]
nusmvdme1d16multi [aig 2225 288 321 120 1616 | aig 1976 288 321 120 1367] optimized miter [aig 5227 609 0 1 4618]
nusmvdme1d3multi [aig 379 54 61 3 264 | aig 351 54 61 3 236] optimized miter [aig 846 115 0 1 731]
nusmvdme216 [aig 3145 293 326 1 2526 | aig 2237 293 326 1 1618] optimized miter [aig 5922 619 0 1 5303]
nusmvdme2d16multi [aig 3266 293 327 120 2646 | aig 2323 293 327 120 1703] optimized miter [aig 6608 620 0 1 5988]
nusmvdme2d3multi [aig 548 56 63 3 429 | aig 412 56 63 3 293] optimized miter [aig 1072 119 0 1 953]
nusmvqueue [aig 2542 82 84 1 2376 | aig 1595 82 84 1 1429] optimized miter [aig 3978 166 0 1 3812]
nusmvsyncarb10multi [aig 148 10 20 46 118 | aig 148 10 20 46 118] optimized miter [aig 489 30 0 1 459]
nusmvsyncarb5multi [aig 63 5 10 11 48 | aig 63 5 10 11 48] optimized miter [aig 174 15 0 1 159]
pdtfifo1to0 [aig 2004 7 142 1 1855 | aig 1032 7 142 1 883] optimized miter [aig 3458 149 0 1 3309]
pdtpmsns3 [aig 3600 21 472 1 3107 | aig 3295 21 472 1 2802] optimized miter [aig 8245 493 0 1 7752]
pdtpmssfeistel [aig 6820 68 755 1 5997 | aig 6637 68 755 1 5814] optimized miter [aig 15657 823 0 1 14834]
pdtpmsudc16 [aig 809 20 48 1 741 | aig 560 20 48 1 492] optimized miter [aig 1496 68 0 1 1428]
pdtpmsviper [aig 16987 32 580 1 16375 | aig 15713 32 580 1 15101] optimized miter [aig 34399 612 0 1 33787]
pdtswvqis10x6p2 [aig 4449 7 94 1 4348 | aig 2319 7 94 1 2218] optimized miter [aig 7042 101 0 1 6941]
pdtswvqis8x8p2 [aig 4725 9 100 1 4616 | aig 2312 9 100 1 2203] optimized miter [aig 7327 109 0 1 7218]
pdtswvsam6x8p4 [aig 8394 9 128 1 8257 | aig 1943 9 128 1 1806] optimized miter [aig 10711 137 0 1 10574]
pdtswvtma6x6p3 [aig 3049 7 67 1 2975 | aig 792 7 67 1 718] optimized miter [aig 4034 74 0 1 3960]
pdtvsar8multip [aig 7174 23 195 33 6956 | aig 4184 23 195 33 3966] optimized miter [aig 12040 218 0 1 11822]
pdtvsarmultip [aig 2890 17 130 33 2743 | aig 1674 17 130 33 1527] optimized miter [aig 5053 147 0 1 4906]
END Fri Dec 21 11:34:06 CET 2012