blob: 24723ec3b0802ca1ed01f36a1fc3671f47936b36 [file] [log] [blame]
# espresso -t largest.espresso
# UC Berkeley, Espresso Version #2.3, Release date 01/31/88
# READ Time was , cost is c=2406 in=33019 out=13747 tot=46766
# COMPL Time was , cost is c=677 in=7656 out=6255 tot=13911
# PLA is largest.espresso with 16 inputs and 40 outputs
# ON-set cost is c=2406 in=33019 out=13747 tot=46766
# OFF-set cost is c=677 in=7656 out=6255 tot=13911
# DC-set cost is c=393 in=5325 out=15712 tot=21037
# EXPAND Time was , cost is c=1786 in=16765 out=11910 tot=28675
# IRRED Time was , cost is c=408 in=3237 out=2073 tot=5310
# ESSEN Time was , cost is c=2 in=5 out=78 tot=83
# REDUCE Time was , cost is c=406 in=5030 out=1214 tot=6244
# EXPAND Time was , cost is c=227 in=1657 out=1036 tot=2693
# IRRED Time was , cost is c=190 in=1344 out=858 tot=2202
# REDUCE Time was , cost is c=190 in=2162 out=720 tot=2882
# EXPAND Time was , cost is c=155 in=1046 out=661 tot=1707
# IRRED Time was , cost is c=152 in=1021 out=646 tot=1667
# REDUCE Time was , cost is c=152 in=1556 out=563 tot=2119
# EXPAND Time was , cost is c=147 in=971 out=617 tot=1588
# IRRED Time was , cost is c=147 in=971 out=617 tot=1588
# REDUCE Time was , cost is c=147 in=1497 out=575 tot=2072
# EXPAND Time was , cost is c=147 in=975 out=622 tot=1597
# IRRED Time was , cost is c=147 in=975 out=622 tot=1597
# REDUCE_GASP Time was , cost is c=147 in=1507 out=549 tot=2056
# EXPAND_GASP Time was , cost is c=0 in=0 out=0 tot=0
# IRRED_GASP Time was , cost is c=147 in=975 out=622 tot=1597
# ADJUST Cost is c=149 in=980 out=700 tot=1680
# MV_REDUCE Time was , cost is c=149 in=980 out=554 tot=1534
# RAISE_IN Time was , cost is c=149 in=955 out=554 tot=1509
# MV_REDUCE Time was , cost is c=149 in=955 out=532 tot=1487
# RAISE_IN Time was , cost is c=148 in=938 out=531 tot=1469
# MV_REDUCE Time was , cost is c=146 in=926 out=522 tot=1448
# RAISE_IN Time was , cost is c=145 in=913 out=521 tot=1434
# MV_REDUCE Time was , cost is c=145 in=913 out=520 tot=1433
# RAISE_IN Time was , cost is c=145 in=912 out=520 tot=1432
# MV_REDUCE Time was , cost is c=145 in=912 out=520 tot=1432
# VERIFY Time was , cost is c=145 in=912 out=520 tot=1432
# READ 1 call(s) for ( 0.0%)
# COMPL 1 call(s) for ( 0.0%)
# ESSEN 1 call(s) for ( 0.0%)
# EXPAND 5 call(s) for ( 0.0%)
# IRRED 5 call(s) for ( 0.0%)
# REDUCE 4 call(s) for ( 0.0%)
# EXPAND_GASP 1 call(s) for ( 0.0%)
# IRRED_GASP 1 call(s) for ( 0.0%)
# REDUCE_GASP 1 call(s) for ( 0.0%)
# MV_REDUCE 5 call(s) for ( 0.0%)
# RAISE_IN 4 call(s) for ( 0.0%)
# VERIFY 1 call(s) for ( 0.0%)
# ESPRESSO Time was , cost is c=145 in=912 out=520 tot=1432
.i 16
.o 40
.p 145
0--01101----001- 0000000001000000000000000000000000000000
01-00--0000----- 0000000000000000000000000000000100000100
-1-01000-00----- 0000000000000000000000000000000001010000
01-01--0-11--1-- 0000000000000000000000010000000000011000
00---001------00 0000000001000100000000000000000000000000
01-0---0100----- 0000000000000000000000001000000000000000
0--01010-00----- 0000000000000000000000000000000001100000
01-01--0-11----1 0000000000000000000000010000000001001000
01-01--0-11---1- 0000000000000000000000010000000000101000
00---001------11 0000100000000100000000000000000000000000
-1-0111--10--1-- 0000000000000000000000000000011000011000
0---0100----00-- 0000000001000000000011000000000000000000
00--1-00------00 0000000001001000000000000000000000000000
00---001------01 0000010010000100000000000000000000000000
00---001------10 0001010000000100000000000000000000000000
-1-0111--00----- 0000000000000000000000000000000000100000
00---100----11-- 0000100000000000000011000000000000000000
-1-0111--10----1 0000000000000000000000000000011001001000
-1-0111--10---1- 0000000000000000000000000000011000101000
01--0--0-11--1-- 0000000000000000000000010000000000010100
-1-11000-0------ 0000000000000000000000000000100100001000
-1-11000--0----- 0000000000000000000000000000010100001000
01-00--0-01--1-- 0000000000000000000000000000101000010100
01-00--0-10--1-- 0000000000000000000000000000011000010100
00---000------10 0001010000001000000000000000000000000000
00---100----10-- 0001010000000000000011000000000000000000
01-011---01--1-- 0000000000000000000000000000101000011000
00---100----01-- 0000010010000000000011000000000000000000
00--1100---1---- 0000100000100000000000100000000000000000
01-01--0-01--1-- 0000000000000000000000000000101000011000
01-01--0-10--1-- 0000000000000000000000000000011000011000
00---0------001- 0000000001000000000000000000000000000000
01--0--0-11----1 0000000000000000000000010000000001000100
01--0--0-11---1- 0000000000000000000000010000000000100100
01-00--0-01----1 0000000000000000000000000000101001000100
01-00--0-10----1 0000000000000000000000000000011001000100
01-00--0-01---1- 0000000000000000000000000000101000100100
01-00--0-10---1- 0000000000000000000000000000011000100100
00--1-------00-1 0000000001000000000000000000000000000000
01-011---01----1 0000000000000000000000000000101001001000
01-011---01---1- 0000000000000000000000000000101000101000
01-01--0-01----1 0000000000000000000000000000101001001000
01-01--0-10----1 0000000000000000000000000000011001001000
00--1100---0---- 0001010000100000000000100000000000000000
01-01--0-01---1- 0000000000000000000000000000101000101000
01-01--0-10---1- 0000000000000000000000000000011000101000
00--11-1------00 0000000001000000000000010100000000101000
00---01-------00 0000000001000000000010000000000000000000
10001001-------- 0100000010000011000000000000011001001000
00---1-0------00 0000000001000000000000000000000000000000
00---00-----10-- 0001010000000000000000000000000000000000
00----1-------01 0000010000000000000000000000000000000000
10000010-------- 1000000100000011000000000000101000100100
0---011--01--1-- 0000000000000000000000000000101000010100
0---011--10--1-- 0000000000000000000000000000011000010100
-1-11101-------- 0000000000000000000000000000010000000010
00--0-1-------11 0000100000000000000000000000000000000000
00--0-1-----10-- 0001010000000000000000000000000000000000
0--011-1------11 0000100000000000000000010100000000101000
00--11-1------01 0000010010000000000000010100000000101000
-1-100---00----- 0000000000000000000000000000110100000100
00--11-1------10 0001010000000000000000010100000000101000
00--11------10-- 0001010000000000000000000000000000000000
00--01-1---1---- 0000100000000000000011000000000000000000
00--101----1---- 0000100000000000000000100000000000000000
10001100-------- 0101000000000011000000000000101001001000
0---011--01----1 0000000000000000000000000000101001000100
0---011--10----1 0000000000000000000000000000011001000100
00---000-------1 0000000000001000000000000000000000000000
0---011--01---1- 0000000000000000000000000000101000100100
0---011--10---1- 0000000000000000000000000000011000100100
-1-11110-------- 0000000000000000000000000000010000000001
01-0-10------1-- 0000000000000000000000001000000000000000
01-0-10--------1 0000000000000000000000001000000000000000
01-0-10-------1- 0000000000000000000000001000000000000000
00--0-01---0---- 0001010000000000000011000000000000000000
00--0--0------10 0001010000000000000010000000000000000000
00--101----0---- 0001010000000000000000100000000000000000
-1-01000-------- 0100000010000000000000000000000000000000
1-000101-------- 1010000000000011000000000000011001000100
1-000011-------- 1000000100000011000000000000011000100100
00----1-----00-- 0000000001000000000000000000000000000000
1-000000-------- 1000000100000011000000000000101001000100
-1-1-001-------- 0000000000000000000000000000100000000010
00----1-----11-- 0000100000000000000000000000000000000000
00--1-------11-- 0000100000000000000000000000000000000000
1-001011-------- 0100000010000011000000000000011000101000
1-000100-------- 1010000000000011000000000000101001000100
-1-1-011-------- 0000000000000000000000000000100010000000
1-001101-------- 0101000000000011000000000000011001001000
01-01001-------- 0100000010000000000000000000001010001000
00----1-------01 0000000010000000000000000000000000000000
1-001000-------- 0100000010000011000000000000101001001000
-1-1-111-------- 0000000000000000000000000000010010000000
-0000001-------- 1000000100000011000000000000011001000100
00----1-------10 0000010000000000000000000000000000000000
1-001111-------- 0101000000000011000000000000011000101000
00----1-------10 0001000000000000000000000000000000000000
01-0101--------- 0101000000000000000000000000000000000000
-1-1-010-------- 0000000000000000000000000000100000000001
00----1-----01-- 0000010010000000000000000000000000000000
00-----0------11 0000100000000000000000000000000000000000
00--1-------01-- 0000010010000000000000000000000000000000
-0000111-------- 1010000000000011000000000000011000100100
-1-01011-------- 0000000000000000000000000000001010001000
1-001110-------- 0101000000000011000000000000101000101000
00-----0------01 0000010010000000000000000000000000000000
-1-1-100-------- 0000000000000000000000010000000010001000
-0000110-------- 1010000000000011000000000000101000100100
00---111-------- 0000000000100000000000000000000000000000
00--0-11-------- 0000000000010000000010000000000000000000
-0001010-------- 0100000010000011000000000000101000101000
-1-00-00-------- 1000000100000000000000000000000000000000
11----11-------- 0000000000000000000000000001000000000000
--100001-------- 1000000100000000000000000000011001000100
00---110-------- 0000000000000000000000000010000000000000
01--001--------- 1010000000000000000000000000000000000000
--100101-------- 1010000000000000000000000000011001000100
--100011-------- 1000000100000000000000000000011000100100
--100111-------- 1010000000000000000000000000011000100100
--101001-------- 0100000010000000000000000000011001001000
--100000-------- 1000000100000000000000000000101001000100
--101011-------- 0100000010000000000000000000011000101000
--100100-------- 1010000000000000000000000000101001000100
--100010-------- 1000000100000000000000000000101000100100
--101101-------- 0101000000000000000000000000011001001000
-1--0011-------- 0000000000000000000000000000001010000100
--100110-------- 1010000000000000000000000000101000100100
--101000-------- 0100000010000000000000000000101001001000
--101111-------- 0101000000000000000000000000011000101000
--101010-------- 0100000010000000000000000000101000101000
-1-10-----1----- 0000000000000000000000000000100100000100
-1-10----1------ 0000000000000000000000000000010100000100
--101100-------- 0101000000000000000000000000101001001000
--101110-------- 0101000000000000000000000000101000101000
00--0----------1 0000000000000000000010000000000000000000
1-01------------ 0000000000000011000000000000000000000000
0---0001-------- 1000000100000000000000000000001010000100
00------1------- 0000000000000000100000000000000000000000
00---------1---- 0000000000000000000100000000000000000000
00-1------------ 0000001000000000000000000000000000000000
00-------1------ 0000000000000000010000000000000000000000
00--------1----- 0000000000000000001000000000000000000000
0-1------------- 0000000000000001000000000000000000000000
--1------------- 0000000000000010000000000000000000000000
.e
# WRITE Time was , cost is c=145 in=912 out=520 tot=1432
exit 0