Cumulative changes of the last two weeks.

1 files changed, 0 insertions, 194 deletions

diff --git a/regtest_output.txt b/regtest_output.txt
deleted file mode 100644
index 45fc6ff8..00000000
--- a/regtest_output.txt
+++ /dev/null
@@ -1,194 +0,0 @@
-UC Berkeley, ABC 1.01 (compiled Dec 25 2006 17:15:00)
-abc 01> so regtest.script
-abc - > r examples/apex4.pla;    resyn; if; cec; ps; clp; resyn; map; cec; ps
-Networks are equivalent.
-examples/apex4: i/o =    9/  19  lat =    0  nd =  1172  aig  =  4365  lev =   7
-The shared BDD size is 917 nodes.  BDD construction time =   0.04 sec
-A simple supergate library is derived from gate library "mcnc_temp.genlib".
-Loaded 20 unique 5-input supergates from "mcnc_temp.super".  Time =   0.02 sec
-Networks are equivalent.
-examples/apex4: i/o =    9/  19  lat =    0  nd =  1734  aig  =  2576  lev =  12
-abc - > r examples/C2670.blif;   st; w 1.aig; cec 1.aig
-Networks are equivalent after structural hashing.
-abc - > r examples/C2670.blif;   st; short_names; w 1.bench; cec 1.bench
-Networks are equivalent after structural hashing.
-abc - > r examples/C2670.blif;   st; short_names; ren -s; w 1.eqn; cec 1.eqn
-Networks are equivalent.
-abc - > r examples/C2670.blif;   resyn2; if -K 8; cec; ps; u; map; cec; ps
-Networks are equivalent.
-C2670.iscas  : i/o =  233/ 140  lat =    0  nd =   120  aig  =  1056  lev =   4
-Networks are equivalent.
-C2670.iscas  : i/o =  233/ 140  lat =    0  nd =   467  aig  =   651  lev =  14
-abc - > r examples/frg2.blif;    dsd; muxes; cec; ps; clp; share; resyn; map; cec; ps
-Networks are equivalent.
-frg2         : i/o =  143/ 139  lat =    0  nd =  1648  aig  =  2268  lev =  18
-The shared BDD size is 1672 nodes.  BDD construction time =   0.14 sec
-Networks are equivalent.
-frg2         : i/o =  143/ 139  lat =    0  nd =   533  aig  =   778  lev =   8
-abc - > r examples/frg2.blif;    bdd; muxes; cec; ps; clp; st; ren -b; muxes; cec; ps
-Networks are equivalent.
-frg2         : i/o =  143/ 139  lat =    0  nd =  2868  aig  =  4221  lev =  38
-The shared BDD size is 1684 nodes.  BDD construction time =   0.14 sec
-Networks are equivalent.
-frg2         : i/o =  143/ 139  lat =    0  nd =  2331  aig  =  3180  lev =  20
-abc - > r examples/i10.blif;     resyn2; fpga; cec; ps;  u; map; cec; ps
-Networks are equivalent.
-i10          : i/o =  257/ 224  lat =    0  nd =   808  aig  =  2630  lev =  12
-Networks are equivalent.
-i10          : i/o =  257/ 224  lat =    0  nd =  1555  aig  =  1980  lev =  24
-abc - > r examples/i10.blif;     choice; fpga; cec; ps;  u; map; cec; ps
-Currently stored 3 networks with 5801 nodes will be fraiged.
-Total fraiging time =   0.39 sec
-Performing FPGA mapping with choices.
-Networks are equivalent.
-i10          : i/o =  257/ 224  lat =    0  nd =   798  aig  =  2543  lev =  12
-Performing mapping with choices.
-Networks are equivalent.
-i10          : i/o =  257/ 224  lat =    0  nd =  1463  aig  =  1993  lev =  23
-abc - > r examples/pj1.blif;     st; if; cec; ps;   u; map; cec; ps
-Networks are equivalent after structural hashing.
-exCombCkt    : i/o = 1769/1063  lat =    0  nd =  5984  aig  = 23156  lev =  52
-Networks are equivalent.
-exCombCkt    : i/o = 1769/1063  lat =    0  nd = 11474  aig  = 16032  lev =  80
-abc - > r examples/s38417.blif;  comb; w 1.blif; resyn; if; cec 1.blif; ps
-examples/s38417.blif (line 14): Skipping directive ".wire_load_slope".
-Networks are equivalent.
-s38417       : i/o = 1664/1742  lat =    0  nd =  3479  aig  = 10120  lev =   9
-abc - > r examples/s38417.blif;  resyn; if; cec; ps;   u; map; cec; ps
-examples/s38417.blif (line 14): Skipping directive ".wire_load_slope".
-examples/s38417.blif (line 14): Skipping directive ".wire_load_slope".
-Networks are equivalent.
-s38417       : i/o =   28/ 106  lat = 1636  nd =  3479  aig  = 10120  lev =   9
-examples/s38417.blif (line 14): Skipping directive ".wire_load_slope".
-Networks are equivalent.
-s38417       : i/o =   28/ 106  lat = 1636  nd =  7189  aig  =  8689  lev =  17
-abc - > r examples/s38584.bench; resyn; ren -s; fx; if; cec; ps;   u; map; cec; ps
-The network was strashed and balanced before FPGA mapping.
-Networks are equivalent.
-examples/s38584: i/o =   12/ 278  lat = 1452  nd =  4266  aig  = 12569  lev =  10
-The network was strashed and balanced before mapping.
-Networks are equivalent.
-examples/s38584: i/o =   12/ 278  lat = 1452  nd =  8135  aig  = 10674  lev =  18
-abc - > r examples/s444.blif;    b; esd -v; print_exdc; dsd; cec; ps
-The shared BDD size is 181 nodes.
-BDD nodes in the transition relation before reordering 557.
-BDD nodes in the transition relation after reordering 456.
-Reachability analysis completed in 151 iterations.
-The number of minterms in the reachable state set = 8865.
-BDD nodes in the unreachable states before reordering 124.
-BDD nodes in the unreachable states after reordering 113.
-EXDC network statistics:
-exdc         : i/o =   21/  21  lat =    0  nd =    21  cube =    86  lev =   2
-Networks are equivalent.
-s444         : i/o =    3/   6  lat =   21  nd =    82  aig  =   176  lev =   7
-abc - > r examples/s444.blif;    double; frames -F 5; w 1.blif; ffpga -K 8; cec 1.blif
-Networks are equivalent after structural hashing.
-abc - > r examples/s5378.blif;   frames -F 5; cycle; w 1.blif; ps; ret; ps; sec 1.blif
-s5378_5_frames: i/o =  175/ 245  lat =  164  and =  6629 (exor = 115)  lev =  59
-s5378_5_frames: i/o =  175/ 245  lat =  182  nd =  6957  cube =  6956  lev =  50
-Networks are equivalent after framing.
-abc - > r examples/s6669.blif;   cycle; w 1.blif; ps; ret -M 3; resyn; ps; sec 1.blif
-s6669        : i/o =   83/  55  lat =  239  nd =  3080  cube =  3080  lev =  93
-s6669        : i/o =   83/  55  lat =  183  and =  1915 (exor = 371)  lev =  97
-Networks are equivalent after fraiging.
-abc - > time
-elapse: 44.07 seconds, total: 44.07 seconds
-abc 150>
-
-
-
-
-UC Berkeley, ABC 1.01 (compiled Mar  1 2008 16:23:34)
-abc 01> so regtest.script
-abc - > r examples/apex4.pla;    resyn; if; cec; ps; clp; resyn; map; cec; ps
-Networks are equivalent.
-examples/apex4: i/o =     9/   19  lat =    0  nd =  1176  edge =   4298  aig  =  4314  lev =   7
-Shared BDD size =    917 nodes.  BDD construction time =    0.04 sec
-A simple supergate library is derived from gate library "mcnc_temp.genlib".
-Loaded 20 unique 5-input supergates from "mcnc_temp.super".  Time =   0.02 sec
-Networks are equivalent.
-examples/apex4: i/o =     9/   19  lat =    0  nd =  1734  edge =   4291  aig  =  2576  lev =  12
-abc - > r examples/C2670.blif;   st; w 1.aig; cec 1.aig
-Networks are equivalent after structural hashing.
-abc - > r examples/C2670.blif;   st; short_names; w 1.bench; cec 1.bench
-Networks are equivalent after structural hashing.
-abc - > r examples/C2670.blif;   st; short_names; ren -s; w 1.eqn; cec 1.eqn
-Networks are equivalent.
-abc - > r examples/C2670.blif;   resyn2; if -K 8; cec; ps; u; map; cec; ps
-Networks are equivalent.
-C2670.iscas  : i/o =   233/  140  lat =    0  nd =   121  edge =    701  aig  =  1088  lev =   4
-Networks are equivalent.
-C2670.iscas  : i/o =   233/  140  lat =    0  nd =   467  edge =   1029  aig  =   651  lev =  14
-abc - > r examples/frg2.blif;    dsd; muxes; cec; ps; clp; share; resyn; map; cec; ps
-Networks are equivalent.
-frg2         : i/o =   143/  139  lat =    0  nd =  1648  edge =   2646  aig  =  2268  lev =  18
-Shared BDD size =   1505 nodes.  BDD construction time =    0.13 sec
-Networks are equivalent.
-frg2         : i/o =   143/  139  lat =    0  nd =   557  edge =   1295  aig  =   748  lev =   9
-abc - > r examples/frg2.blif;    bdd; muxes; cec; ps; clp; st; ren -b; muxes; cec; ps
-Networks are equivalent.
-frg2         : i/o =   143/  139  lat =    0  nd =  2868  edge =   4855  aig  =  4221  lev =  38
-Shared BDD size =   1555 nodes.  BDD construction time =    0.12 sec
-Networks are equivalent.
-frg2         : i/o =   143/  139  lat =    0  nd =  2150  edge =   3465  aig  =  3075  lev =  19
-abc - > r examples/i10.blif;     resyn2; fpga; cec; ps;  u; map; cec; ps
-Networks are equivalent.
-i10          : i/o =   257/  224  lat =    0  nd =   808  edge =   2767  aig  =  2630  lev =  12
-Networks are equivalent.
-i10          : i/o =   257/  224  lat =    0  nd =  1555  edge =   3379  aig  =  1980  lev =  24
-abc - > r examples/i10.blif;     choice; fpga; cec; ps;  u; map; cec; ps
-Performing LUT mapping with 548 choices.
-Networks are equivalent.
-i10          : i/o =   257/  224  lat =    0  nd =   788  edge =   2722  aig  =  2522  lev =  13
-Performing mapping with choices.
-Networks are equivalent.
-i10          : i/o =   257/  224  lat =    0  nd =  1462  edge =   3271  aig  =  1977  lev =  23
-abc - > r examples/pj1.blif;     st; if; cec; ps;   u; map; cec; ps
-Networks are equivalent after structural hashing.
-exCombCkt    : i/o =  1769/ 1063  lat =    0  nd =  5924  edge =  21224  aig  = 22799  lev =  52
-Networks are equivalent.
-exCombCkt    : i/o =  1769/ 1063  lat =    0  nd = 11474  edge =  26350  aig  = 16032  lev =  80
-abc - > r examples/s38417.blif;  comb; w 1.blif; resyn; if; cec 1.blif; ps
-Line 14: Skipping line ".wire_load_slope 0.00".
-Networks are equivalent.
-s38417       : i/o =  1664/ 1742  lat =    0  nd =  3502  edge =  11182  aig  = 10001  lev =   9
-abc - > r examples/s38417.blif;  resyn; if; cec; ps;   u; map; cec; ps
-Line 14: Skipping line ".wire_load_slope 0.00".
-Line 14: Skipping line ".wire_load_slope 0.00".
-Networks are equivalent.
-s38417       : i/o =    28/  106  lat = 1636  nd =  3502  edge =  11182  aig  = 10001  lev =   9
-Line 14: Skipping line ".wire_load_slope 0.00".
-Networks are equivalent.
-s38417       : i/o =    28/  106  lat = 1636  nd =  7189  edge =  15262  aig  =  8689  lev =  17
-abc - > r examples/s38584.bench; resyn; ren -s; fx; if; cec; ps;   u; map; cec; ps
-The network was strashed and balanced before FPGA mapping.
-Networks are equivalent.
-examples/s38584: i/o =    12/  278  lat = 1452  nd =  4452  edge =  14910  aig  = 12424  lev =   9
-The network was strashed and balanced before mapping.
-Networks are equivalent.
-examples/s38584: i/o =    12/  278  lat = 1452  nd =  8339  edge =  18690  aig  = 10633  lev =  18
-abc - > r examples/s444.blif;    b; esd -v; print_exdc; dsd; cec; ps
-Shared BDD size =    181 nodes.
-BDD nodes in the transition relation before reordering 557.
-BDD nodes in the transition relation after reordering 456.
-Reachability analysis completed in 151 iterations.
-The number of minterms in the reachable state set = 8865. (  0.42 %)
-BDD nodes in the unreachable states before reordering 124.
-BDD nodes in the unreachable states after reordering 113.
-EXDC network statistics:
-exdc         : i/o =    21/   21  lat =    0  nd =    21  edge =     41  cube =    86  lev =   2
-Networks are equivalent.
-s444         : i/o =     3/    6  lat =   21  nd =    82  edge =    186  aig  =   176  lev =   7
-abc - > r examples/s444.blif;    double; frames -F 5; w 1.blif; ffpga -K 8; cec 1.blif
-Networks are equivalent after structural hashing.
-abc - > r examples/s5378.blif;   frames -F 5; cycle; w 1.blif; ps; ret; ps; sec 1.blif
-s5378_5_frames: i/o =   175/  245  lat =  164  and =  6629 (exor = 115)  lev =  59
-s5378_5_frames: i/o =   175/  245  lat =  182  nd =  6957  edge =  13585  cube =  6956  lev =  50
-Networks are equivalent after framing.
-abc - > r examples/s6669.blif;   cycle; w 1.blif; ps; ret -M 3; resyn; ps; sec 1.blif
-s6669        : i/o =    83/   55  lat =  239  nd =  3148  edge =   5411  cube =  3148  lev =  93
-s6669        : i/o =    83/   55  lat =  183  and =  1915 (exor = 371)  lev =  97
-Networks are equivalent after fraiging.
-abc - > time
-elapse: 43.01 seconds, total: 43.01 seconds
-abc 159>
\ No newline at end of file