[Cbc] mipstart
Yves Touchard
ytouch at dxo.com
Fri Feb 20 07:09:12 EST 2015
Hi Haroldo,
Thanks for your reply.
Could you email me when you will fix it?
For the moment, i have another problem with (i suppose) mipstart.
Before sending it to you, i found the lowest possible constraint file having this problem. So, it is not a "real" case, just a test case.
1/
I have a constraint file t.lp that i want to compile with mipstart.
If i resolve it with coin, the solution file, t.sol, is ok.
bin/cbc t.lp branch printingOptions normal solution t.sol
2/
So, before doing it, i create a "trivial" constraint file, t_t.lp which is a more severe version of t.lp problem. The solution provided is t_t.sol.
The solution file is also ok.
bin/cbc t_t.lp branch printingOptions normal solution t_t.sol
3/
Now i want to solve the t.lp problem with t_t.sol file as mipstart:
bin/cbc t.lp mipstart t_t.sol preprocess off branch printingOptions normal solution t_mips.sol
The solver appears to be ok and claims that the mipstart solution is correct:
Welcome to the CBC MILP Solver
Version: Trunk (unstable)
Build Date: Feb 11 2015
Revision Number: 2136
command line - bin/cbc t.lp mipstart t_t.sol preprocess off branch printingOptions normal solution t_mips.sol (default strategy 1)
will open mipstart file ./t_t.sol.
mipstart values read for 63 variables.
Option for preprocess changed from sos to off
Continuous objective value is 4308.59 - 0.00 seconds
Cbc0045I mipstart provided solution with cost 4311.51
Cbc0006I The LP relaxation is infeasible or too expensive
Cuts at root node changed objective from 1.79769e+308 to -1.79769e+308
Probing was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Gomory was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Knapsack was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Clique was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
MixedIntegerRounding2 was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
FlowCover was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
TwoMirCuts was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Result - Optimal solution found
Objective value: 4311.51200000
Enumerated nodes: 0
Total iterations: 1
Time (CPU seconds): 0.00
Time (Wallclock seconds): 0.00
Total time (CPU seconds): 0.00 (Wallclock seconds): 0.03
Unfortunately, the t_mips.sol file contains non-integer values.
So, what's wrong with this test case?
[All the files are attached]
Cheers,
Yves
Le 02/19/2015 02:08 AM, Haroldo Gambini Santos a écrit :
Hi Yves and John,
I checked the execution here, the problem is:
Cgl0004I processed model has 0 rows, 0 columns (0 integer (0 of which binary)) and 0 elements
The pre-processed problem is empty, so, in this case, there is no need of MIPStart because the will be no branch and bound anyway.
John: I commited some fixes (in trunk) for MIPStart, but not for this case, where the fix would be to give up of MIPStart if the pre-processed problem is empty. Could you please check where we decide to skip mipstart ?
Cheers
On 17-02-2015 12:40, Yves Touchard wrote:
Haroldo,
Another behavior that i don't understand.
You will find the basic tested constraints file attached.
First, i generate an integer solution file:
bin/cbc test.lp branch printingOptions integer solution int.sol
Then i re-compile it with the solution file as a mipstart:
bin/cbc test.lp mipstart int.sol branch printingOptions integer normal test.sol
The solver claims:
will open mipstart file ./int.sol.
mipstart values read for 5 variables.
Continuous objective value is 394.427 - 0.00 seconds
Cgl0004I processed model has 0 rows, 0 columns (0 integer (0 of which binary)) and 0 elements
Cbc0045I Warning: MIPstart solution is not valid, ignoring it.
Cbc3007W No integer variables - nothing to do
Then, the test.sol seems to be buggy.
Maybe, i am wrong but i cannot see what is wrong.
Cheers,
Yves
Le 02/17/2015 12:49 PM, Haroldo Gambini Santos a écrit :
Hi Yves,
Could you please send me your problem file (LP or MPS) ?
Since there are other reports of problems with MIPStart maybe there is some bug.
Cheers
On 17-02-2015 09:27, Yves Touchard wrote:
Hello,
Just a simple question (surely stupid...).
The solver generates an integer solution file from a very basic constraint file.
Then I re-compile the same constraint file with the previous solution file as mipsart argument. And cbc claims:
[...]
will open mipstart file ./bug_gen.sol.
mipstart values read for 3 variables.
[...]
Cbc0045I Warning: mipstart values could not be used to build a solution.
Cbc0045I Trying just fixing integer variables.
Cbc0045I mipstart provided solution with cost 127.464
[..]
What does mean the warning?
Is there something i miss.
Thanks
Yves
------------------------------------------------------------------------------
This message and any attachments (the "message") are confidential and intended solely for the addressee(s). Any unauthorized use or dissemination is prohibited. E-mails are susceptible to alteration. Neither DxO Labs nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified.
Ce message et toutes les pièces jointes (ci-après le "message") sont confidentiels et établis à l'intention exclusive de ses destinataires. Toute utilisation ou diffusion non autorisé est interdite. Tout message électronique est susceptible d'altération. DxO Labs et ses filiales déclinent toute responsabilité au titre de ce message s'il a été altéré, modifié ou falsifié.
_______________________________________________
Cbc mailing list
Cbc at list.coin-or.org<mailto:Cbc at list.coin-or.org>
http://list.coin-or.org/mailman/listinfo/cbc
--
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
http://www.decom.ufop.br/haroldo/
------------------------------------------------------------------------------
This message and any attachments (the "message") are confidential and intended solely for the addressee(s). Any unauthorized use or dissemination is prohibited. E-mails are susceptible to alteration. Neither DxO Labs nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified.
Ce message et toutes les pièces jointes (ci-après le "message") sont confidentiels et établis à l'intention exclusive de ses destinataires. Toute utilisation ou diffusion non autorisé est interdite. Tout message électronique est susceptible d'altération. DxO Labs et ses filiales déclinent toute responsabilité au titre de ce message s'il a été altéré, modifié ou falsifié.
--
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
http://www.decom.ufop.br/haroldo/
------------------------------------------------------------------------------
This message and any attachments (the "message") are confidential and intended solely for the addressee(s). Any unauthorized use or dissemination is prohibited. E-mails are susceptible to alteration. Neither DxO Labs nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified.
Ce message et toutes les pièces jointes (ci-après le "message") sont confidentiels et établis à l'intention exclusive de ses destinataires. Toute utilisation ou diffusion non autorisé est interdite. Tout message électronique est susceptible d'altération. DxO Labs et ses filiales déclinent toute responsabilité au titre de ce message s'il a été altéré, modifié ou falsifié.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20150220/760f15f2/attachment-0001.html>
-------------- next part --------------
\* Pipe placement pass 217_218 *\
Minimize
OBJ: 2.4878 GDate_iISP.iTNR1.iCT.Frac + 72 Pipe_iISP.iTNR1.$CfaRef_Repl6
+ 162 Pipe_iISP.iTNR1.iCT.$3166 + 162 Pipe_iISP.iTNR1.iCT.$3168
+ 570 Pipe_iISP.iTNR1.iCT.$CombDiv2__0 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__1
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__10
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__11
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__12
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__2 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__3
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__4 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__5
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__6 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__7
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__8 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__9
+ 156 Pipe_iISP.iTNR1.iCT.$_26 + 102 Pipe_iISP.iTNR1.iCT.Frac
+ 6 Pipe_iISP.iTNR1.iCT.NotFirst
Subject To
Bound_iISP.iTNR1.$CfaRef_Repl6_Min_GDate: GDate_iISP.iTNR1.$CfaRef_Repl6 >= 40
Bound_iISP.iTNR1.$CfaRef_Repl6_cycle: Cycle_iISP.iTNR1.$CfaRef_Repl6 = 1
Bound_iISP.iTNR1.iCT.$3166_Max_cycle: Cycle_iISP.iTNR1.iCT.$3166 <= 52
Bound_iISP.iTNR1.iCT.$3166_Min_cycle: Cycle_iISP.iTNR1.iCT.$3166 >= 18
Bound_iISP.iTNR1.iCT.$3168_Max_cycle: Cycle_iISP.iTNR1.iCT.$3168 <= 52
Bound_iISP.iTNR1.iCT.$3168_Min_cycle: Cycle_iISP.iTNR1.iCT.$3168 >= 18
Bound_iISP.iTNR1.iCT.$CombDiv2__0_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__0
<= 51
Bound_iISP.iTNR1.iCT.$CombDiv2__0_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__0
>= 17
Bound_iISP.iTNR1.iCT.$CombDiv2__10_Max_cycle:
Cycle_iISP.iTNR1.iCT.$CombDiv2__10 <= 48
Bound_iISP.iTNR1.iCT.$CombDiv2__10_Min_cycle:
Cycle_iISP.iTNR1.iCT.$CombDiv2__10 >= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__11_Max_cycle:
Cycle_iISP.iTNR1.iCT.$CombDiv2__11 <= 48
Bound_iISP.iTNR1.iCT.$CombDiv2__11_Min_cycle:
Cycle_iISP.iTNR1.iCT.$CombDiv2__11 >= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__12_Min_GDate:
GDate_iISP.iTNR1.iCT.$CombDiv2__12 >= 40
Bound_iISP.iTNR1.iCT.$CombDiv2__12_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__12
= 13
Bound_iISP.iTNR1.iCT.$CombDiv2__1_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__1
<= 51
Bound_iISP.iTNR1.iCT.$CombDiv2__1_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__1
>= 16
Bound_iISP.iTNR1.iCT.$CombDiv2__2_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__2
<= 50
Bound_iISP.iTNR1.iCT.$CombDiv2__2_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__2
>= 16
Bound_iISP.iTNR1.iCT.$CombDiv2__3_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__3
<= 50
Bound_iISP.iTNR1.iCT.$CombDiv2__3_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__3
>= 16
Bound_iISP.iTNR1.iCT.$CombDiv2__4_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__4
<= 50
Bound_iISP.iTNR1.iCT.$CombDiv2__4_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__4
>= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__5_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__5
<= 50
Bound_iISP.iTNR1.iCT.$CombDiv2__5_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__5
>= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__6_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__6
<= 49
Bound_iISP.iTNR1.iCT.$CombDiv2__6_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__6
>= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__7_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__7
<= 49
Bound_iISP.iTNR1.iCT.$CombDiv2__7_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__7
>= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__8_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__8
<= 49
Bound_iISP.iTNR1.iCT.$CombDiv2__8_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__8
>= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__9_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__9
<= 49
Bound_iISP.iTNR1.iCT.$CombDiv2__9_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__9
>= 14
Bound_iISP.iTNR1.iCT.$_26_Max_cycle: Cycle_iISP.iTNR1.iCT.$_26 <= 53
Bound_iISP.iTNR1.iCT.$_26_Min_cycle: Cycle_iISP.iTNR1.iCT.$_26 >= 19
Bound_iISP.iTNR1.iCT.Frac_Max_cycle: Cycle_iISP.iTNR1.iCT.Frac <= 53
Bound_iISP.iTNR1.iCT.Frac_Min_cycle: Cycle_iISP.iTNR1.iCT.Frac >= 19
Bound_iISP.iTNR1.iCT.NotFirst_Max_cycle: Cycle_iISP.iTNR1.iCT.NotFirst <= 52
Bound_iISP.iTNR1.iCT.NotFirst_Min_cycle: Cycle_iISP.iTNR1.iCT.NotFirst >= 7
Cross_iISP.iTNR1.iCT.$Cmp_3_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Cmp_3.I.0
+ GDate_iISP.iTNR1.iCT.NotFirst >= 14
Cross_iISP.iTNR1.iCT.$Cmp_3_I.0_OutCycle: - Cycle_iISP.iTNR1.$CfaRef_Repl6
+ Cycle_iISP.iTNR1.iCT.NotFirst - PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 = 0
Cross_iISP.iTNR1.iCT.$Cmp_3_I.1_GDate: GDate_iISP.iTNR1.iCT.NotFirst >= 14
Cross_iISP.iTNR1.iCT.$Div_17_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_17.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__11 >= 9
Cross_iISP.iTNR1.iCT.$Div_17_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__11
- Cycle_iISP.iTNR1.iCT.$CombDiv2__12 - PathPipe_iISP.iTNR1.iCT.$Div_17.I.0
= 0
Cross_iISP.iTNR1.iCT.$Div_18_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_18.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__10 >= 9
Cross_iISP.iTNR1.iCT.$Div_18_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__10
- Cycle_iISP.iTNR1.iCT.$CombDiv2__11 - PathPipe_iISP.iTNR1.iCT.$Div_18.I.0
= 0
Cross_iISP.iTNR1.iCT.$Div_19_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_19.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__9 >= 9
Cross_iISP.iTNR1.iCT.$Div_19_I.0_OutCycle:
- Cycle_iISP.iTNR1.iCT.$CombDiv2__10 + Cycle_iISP.iTNR1.iCT.$CombDiv2__9
- PathPipe_iISP.iTNR1.iCT.$Div_19.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_20_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_20.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__8 >= 9
Cross_iISP.iTNR1.iCT.$Div_20_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__8
- Cycle_iISP.iTNR1.iCT.$CombDiv2__9 - PathPipe_iISP.iTNR1.iCT.$Div_20.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_21_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_21.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__7 >= 9
Cross_iISP.iTNR1.iCT.$Div_21_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__7
- Cycle_iISP.iTNR1.iCT.$CombDiv2__8 - PathPipe_iISP.iTNR1.iCT.$Div_21.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_22_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_22.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__6 >= 9
Cross_iISP.iTNR1.iCT.$Div_22_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__6
- Cycle_iISP.iTNR1.iCT.$CombDiv2__7 - PathPipe_iISP.iTNR1.iCT.$Div_22.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_23_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_23.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__5 >= 9
Cross_iISP.iTNR1.iCT.$Div_23_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__5
- Cycle_iISP.iTNR1.iCT.$CombDiv2__6 - PathPipe_iISP.iTNR1.iCT.$Div_23.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_24_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_24.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__4 >= 9
Cross_iISP.iTNR1.iCT.$Div_24_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__4
- Cycle_iISP.iTNR1.iCT.$CombDiv2__5 - PathPipe_iISP.iTNR1.iCT.$Div_24.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_25_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_25.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__3 >= 9
Cross_iISP.iTNR1.iCT.$Div_25_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__3
- Cycle_iISP.iTNR1.iCT.$CombDiv2__4 - PathPipe_iISP.iTNR1.iCT.$Div_25.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_26_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_26.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__2 >= 9
Cross_iISP.iTNR1.iCT.$Div_26_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__2
- Cycle_iISP.iTNR1.iCT.$CombDiv2__3 - PathPipe_iISP.iTNR1.iCT.$Div_26.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_27_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_27.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__1 >= 9
Cross_iISP.iTNR1.iCT.$Div_27_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__1
- Cycle_iISP.iTNR1.iCT.$CombDiv2__2 - PathPipe_iISP.iTNR1.iCT.$Div_27.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_28_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_28.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__0 >= 26
Cross_iISP.iTNR1.iCT.$Div_28_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__0
- Cycle_iISP.iTNR1.iCT.$CombDiv2__1 - PathPipe_iISP.iTNR1.iCT.$Div_28.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_29_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_29.I.0
+ GDate_iISP.iTNR1.iCT.$3166 >= 30
Cross_iISP.iTNR1.iCT.$Div_29_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$3166
- Cycle_iISP.iTNR1.iCT.$CombDiv2__0 - PathPipe_iISP.iTNR1.iCT.$Div_29.I.0 = 0
Cross_iISP.iTNR1.iCT.$Max_0_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Max_0.I.0
+ GDate_iISP.iTNR1.iCT.$_26 >= 20
Cross_iISP.iTNR1.iCT.$Max_0_I.0_OutCycle: - Cycle_iISP.iTNR1.iCT.$3168
+ Cycle_iISP.iTNR1.iCT.$_26 - PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 = 0
Cross_iISP.iTNR1.iCT.$Max_0_I.1_GDate: GDate_iISP.iTNR1.iCT.$_26 >= 20
Cross_iISP.iTNR1.iCT.$Min_0_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Min_0.I.0
+ GDate_iISP.iTNR1.iCT.Frac >= 20
Cross_iISP.iTNR1.iCT.$Min_0_I.0_OutCycle: - Cycle_iISP.iTNR1.iCT.$_26
+ Cycle_iISP.iTNR1.iCT.Frac - PathPipe_iISP.iTNR1.iCT.$Min_0.I.0 = 0
Cross_iISP.iTNR1.iCT.$Min_0_I.1_GDate: GDate_iISP.iTNR1.iCT.Frac >= 20
Cross_iISP.iTNR1.iCT.$Mux_1_I.0_GDate: GDate_iISP.iTNR1.iCT.$3168 >= 5
Cross_iISP.iTNR1.iCT.$Mux_1_I.1_GDate: - ADate_iISP.iTNR1.iCT.$Mux_1.I.1
+ GDate_iISP.iTNR1.iCT.$3168 >= 5
Cross_iISP.iTNR1.iCT.$Mux_1_I.1_OutCycle: - Cycle_iISP.iTNR1.iCT.$3166
+ Cycle_iISP.iTNR1.iCT.$3168 - PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1 = 0
Cross_iISP.iTNR1.iCT.$Mux_1_Sel_GDate: - ADate_iISP.iTNR1.iCT.$Mux_1.Sel
+ GDate_iISP.iTNR1.iCT.$3168 >= 5
Cross_iISP.iTNR1.iCT.$Mux_1_Sel_OutCycle: Cycle_iISP.iTNR1.iCT.$3168
- Cycle_iISP.iTNR1.iCT.NotFirst - PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel = 0
Ifce_Min_Pipe_iISP.iTNR1.iCT.$Cmp_3.I.0: Pipe_iISP.iTNR1.$CfaRef_Repl6 >= 17
Ifce_Min_Pipe_iISP.iTNR1.iCT.$Div_17.I.0: Pipe_iISP.iTNR1.iCT.$CombDiv2__12
>= 1
Left_iISP.iTNR1.iCT.$Cmp_3.I.0: PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 >= 6
Prop_iISP.iTNR1.iCT.$Cmp_3.I.0_ADate: ADate_iISP.iTNR1.iCT.$Cmp_3.I.0
- GDate_iISP.iTNR1.$CfaRef_Repl6 + 41 PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 >= 0
Prop_iISP.iTNR1.iCT.$Cmp_3.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 + Pipe_iISP.iTNR1.$CfaRef_Repl6 >= 0
Prop_iISP.iTNR1.iCT.$Div_17.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_17.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__12 + 41 PathPipe_iISP.iTNR1.iCT.$Div_17.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_17.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_17.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__12
>= 0
Prop_iISP.iTNR1.iCT.$Div_18.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_18.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__11 + 41 PathPipe_iISP.iTNR1.iCT.$Div_18.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_18.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_18.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__11
>= 0
Prop_iISP.iTNR1.iCT.$Div_19.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_19.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__10 + 41 PathPipe_iISP.iTNR1.iCT.$Div_19.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_19.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_19.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__10
>= 0
Prop_iISP.iTNR1.iCT.$Div_20.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_20.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__9 + 41 PathPipe_iISP.iTNR1.iCT.$Div_20.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_20.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_20.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__9 >= 0
Prop_iISP.iTNR1.iCT.$Div_21.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_21.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__8 + 41 PathPipe_iISP.iTNR1.iCT.$Div_21.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_21.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_21.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__8 >= 0
Prop_iISP.iTNR1.iCT.$Div_22.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_22.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__7 + 41 PathPipe_iISP.iTNR1.iCT.$Div_22.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_22.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_22.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__7 >= 0
Prop_iISP.iTNR1.iCT.$Div_23.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_23.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__6 + 41 PathPipe_iISP.iTNR1.iCT.$Div_23.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_23.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_23.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__6 >= 0
Prop_iISP.iTNR1.iCT.$Div_24.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_24.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__5 + 41 PathPipe_iISP.iTNR1.iCT.$Div_24.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_24.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_24.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__5 >= 0
Prop_iISP.iTNR1.iCT.$Div_25.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_25.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__4 + 41 PathPipe_iISP.iTNR1.iCT.$Div_25.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_25.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_25.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__4 >= 0
Prop_iISP.iTNR1.iCT.$Div_26.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_26.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__3 + 41 PathPipe_iISP.iTNR1.iCT.$Div_26.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_26.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_26.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__3 >= 0
Prop_iISP.iTNR1.iCT.$Div_27.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_27.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__2 + 41 PathPipe_iISP.iTNR1.iCT.$Div_27.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_27.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_27.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__2 >= 0
Prop_iISP.iTNR1.iCT.$Div_28.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_28.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__1 + 41 PathPipe_iISP.iTNR1.iCT.$Div_28.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_28.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_28.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__1 >= 0
Prop_iISP.iTNR1.iCT.$Div_29.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_29.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__0 + 41 PathPipe_iISP.iTNR1.iCT.$Div_29.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_29.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_29.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__0 >= 0
Prop_iISP.iTNR1.iCT.$Max_0.I.0_ADate: ADate_iISP.iTNR1.iCT.$Max_0.I.0
- GDate_iISP.iTNR1.iCT.$3168 + 41 PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 >= 0
Prop_iISP.iTNR1.iCT.$Max_0.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 + Pipe_iISP.iTNR1.iCT.$3168 >= 0
Prop_iISP.iTNR1.iCT.$Min_0.I.0_ADate: ADate_iISP.iTNR1.iCT.$Min_0.I.0
- GDate_iISP.iTNR1.iCT.$_26 + 41 PathPipe_iISP.iTNR1.iCT.$Min_0.I.0 >= 0
Prop_iISP.iTNR1.iCT.$Min_0.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Min_0.I.0 + Pipe_iISP.iTNR1.iCT.$_26 >= 0
Prop_iISP.iTNR1.iCT.$Mux_1.I.1_ADate: ADate_iISP.iTNR1.iCT.$Mux_1.I.1
- GDate_iISP.iTNR1.iCT.$3166 + 41 PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1 >= 0
Prop_iISP.iTNR1.iCT.$Mux_1.I.1_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1 + Pipe_iISP.iTNR1.iCT.$3166 >= 0
Prop_iISP.iTNR1.iCT.$Mux_1.Sel_ADate: ADate_iISP.iTNR1.iCT.$Mux_1.Sel
- GDate_iISP.iTNR1.iCT.NotFirst + 41 PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel >= 0
Prop_iISP.iTNR1.iCT.$Mux_1.Sel_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel + Pipe_iISP.iTNR1.iCT.NotFirst >= 0
Bounds
ADate_iISP.iTNR1.iCT.$Cmp_3.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_17.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_18.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_19.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_20.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_21.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_22.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_23.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_24.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_25.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_26.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_27.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_28.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_29.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Max_0.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Min_0.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Mux_1.I.1 <= 40
ADate_iISP.iTNR1.iCT.$Mux_1.Sel <= 40
0 <= Cycle_iISP.iTNR1.$CfaRef_Repl6
0 <= Cycle_iISP.iTNR1.iCT.$3166
0 <= Cycle_iISP.iTNR1.iCT.$3168
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__0
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__1
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__10
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__11
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__12
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__2
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__3
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__4
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__5
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__6
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__7
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__8
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__9
0 <= Cycle_iISP.iTNR1.iCT.$_26
0 <= Cycle_iISP.iTNR1.iCT.Frac
0 <= Cycle_iISP.iTNR1.iCT.NotFirst
GDate_iISP.iTNR1.$CfaRef_Repl6 <= 40
GDate_iISP.iTNR1.iCT.$3166 <= 40
GDate_iISP.iTNR1.iCT.$3168 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__0 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__1 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__10 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__11 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__12 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__2 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__3 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__4 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__5 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__6 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__7 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__8 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__9 <= 40
GDate_iISP.iTNR1.iCT.$_26 <= 40
GDate_iISP.iTNR1.iCT.Frac <= 40
GDate_iISP.iTNR1.iCT.NotFirst <= 40
0 <= PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 <= 51
0 <= PathPipe_iISP.iTNR1.iCT.$Div_17.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_18.I.0 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Div_19.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_20.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_21.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_22.I.0 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Div_23.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_24.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_25.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_26.I.0 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Div_27.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_28.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_29.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Min_0.I.0 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel <= 45
0 <= Pipe_iISP.iTNR1.$CfaRef_Repl6 <= 55
0 <= Pipe_iISP.iTNR1.iCT.$3166 <= 34
0 <= Pipe_iISP.iTNR1.iCT.$3168 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__0 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__1 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__10 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__11 <= 34
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__12 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__2 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__3 <= 34
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__4 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__5 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__6 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__7 <= 34
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__8 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__9 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$_26 <= 34
0 <= Pipe_iISP.iTNR1.iCT.Frac <= 35
0 <= Pipe_iISP.iTNR1.iCT.NotFirst <= 45
Generals
Cycle_iISP.iTNR1.$CfaRef_Repl6
Cycle_iISP.iTNR1.iCT.$3166
Cycle_iISP.iTNR1.iCT.$3168
Cycle_iISP.iTNR1.iCT.$CombDiv2__0
Cycle_iISP.iTNR1.iCT.$CombDiv2__1
Cycle_iISP.iTNR1.iCT.$CombDiv2__10
Cycle_iISP.iTNR1.iCT.$CombDiv2__11
Cycle_iISP.iTNR1.iCT.$CombDiv2__12
Cycle_iISP.iTNR1.iCT.$CombDiv2__2
Cycle_iISP.iTNR1.iCT.$CombDiv2__3
Cycle_iISP.iTNR1.iCT.$CombDiv2__4
Cycle_iISP.iTNR1.iCT.$CombDiv2__5
Cycle_iISP.iTNR1.iCT.$CombDiv2__6
Cycle_iISP.iTNR1.iCT.$CombDiv2__7
Cycle_iISP.iTNR1.iCT.$CombDiv2__8
Cycle_iISP.iTNR1.iCT.$CombDiv2__9
Cycle_iISP.iTNR1.iCT.$_26
Cycle_iISP.iTNR1.iCT.Frac
Cycle_iISP.iTNR1.iCT.NotFirst
PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0
PathPipe_iISP.iTNR1.iCT.$Div_17.I.0
PathPipe_iISP.iTNR1.iCT.$Div_18.I.0
PathPipe_iISP.iTNR1.iCT.$Div_19.I.0
PathPipe_iISP.iTNR1.iCT.$Div_20.I.0
PathPipe_iISP.iTNR1.iCT.$Div_21.I.0
PathPipe_iISP.iTNR1.iCT.$Div_22.I.0
PathPipe_iISP.iTNR1.iCT.$Div_23.I.0
PathPipe_iISP.iTNR1.iCT.$Div_24.I.0
PathPipe_iISP.iTNR1.iCT.$Div_25.I.0
PathPipe_iISP.iTNR1.iCT.$Div_26.I.0
PathPipe_iISP.iTNR1.iCT.$Div_27.I.0
PathPipe_iISP.iTNR1.iCT.$Div_28.I.0
PathPipe_iISP.iTNR1.iCT.$Div_29.I.0
PathPipe_iISP.iTNR1.iCT.$Max_0.I.0
PathPipe_iISP.iTNR1.iCT.$Min_0.I.0
PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1
PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel
Pipe_iISP.iTNR1.$CfaRef_Repl6
Pipe_iISP.iTNR1.iCT.$3166
Pipe_iISP.iTNR1.iCT.$3168
Pipe_iISP.iTNR1.iCT.$CombDiv2__0
Pipe_iISP.iTNR1.iCT.$CombDiv2__1
Pipe_iISP.iTNR1.iCT.$CombDiv2__10
Pipe_iISP.iTNR1.iCT.$CombDiv2__11
Pipe_iISP.iTNR1.iCT.$CombDiv2__12
Pipe_iISP.iTNR1.iCT.$CombDiv2__2
Pipe_iISP.iTNR1.iCT.$CombDiv2__3
Pipe_iISP.iTNR1.iCT.$CombDiv2__4
Pipe_iISP.iTNR1.iCT.$CombDiv2__5
Pipe_iISP.iTNR1.iCT.$CombDiv2__6
Pipe_iISP.iTNR1.iCT.$CombDiv2__7
Pipe_iISP.iTNR1.iCT.$CombDiv2__8
Pipe_iISP.iTNR1.iCT.$CombDiv2__9
Pipe_iISP.iTNR1.iCT.$_26
Pipe_iISP.iTNR1.iCT.Frac
Pipe_iISP.iTNR1.iCT.NotFirst
End
-------------- next part --------------
Optimal - objective value 4311.51200000
0 GDate_iISP.iTNR1.iCT.Frac 40 0
1 Pipe_iISP.iTNR1.$CfaRef_Repl6 17 72
3 Pipe_iISP.iTNR1.iCT.$3168 1 162
4 Pipe_iISP.iTNR1.iCT.$CombDiv2__0 1 570
8 Pipe_iISP.iTNR1.iCT.$CombDiv2__12 1 564
9 Pipe_iISP.iTNR1.iCT.$CombDiv2__2 1 564
13 Pipe_iISP.iTNR1.iCT.$CombDiv2__6 1 564
16 Pipe_iISP.iTNR1.iCT.$CombDiv2__9 1 564
20 GDate_iISP.iTNR1.$CfaRef_Repl6 40 0
21 Cycle_iISP.iTNR1.$CfaRef_Repl6 1 0
22 Cycle_iISP.iTNR1.iCT.$3166 18 0
23 Cycle_iISP.iTNR1.iCT.$3168 18 0
24 Cycle_iISP.iTNR1.iCT.$CombDiv2__0 17 0
25 Cycle_iISP.iTNR1.iCT.$CombDiv2__10 14 0
26 Cycle_iISP.iTNR1.iCT.$CombDiv2__11 14 0
27 GDate_iISP.iTNR1.iCT.$CombDiv2__12 40 0
28 Cycle_iISP.iTNR1.iCT.$CombDiv2__12 13 0
29 Cycle_iISP.iTNR1.iCT.$CombDiv2__1 17 0
30 Cycle_iISP.iTNR1.iCT.$CombDiv2__2 16 0
31 Cycle_iISP.iTNR1.iCT.$CombDiv2__3 16 0
32 Cycle_iISP.iTNR1.iCT.$CombDiv2__4 16 0
33 Cycle_iISP.iTNR1.iCT.$CombDiv2__5 16 0
34 Cycle_iISP.iTNR1.iCT.$CombDiv2__6 15 0
35 Cycle_iISP.iTNR1.iCT.$CombDiv2__7 15 0
36 Cycle_iISP.iTNR1.iCT.$CombDiv2__8 15 0
37 Cycle_iISP.iTNR1.iCT.$CombDiv2__9 14 0
38 Cycle_iISP.iTNR1.iCT.$_26 19 0
39 Cycle_iISP.iTNR1.iCT.Frac 19 0
40 Cycle_iISP.iTNR1.iCT.NotFirst 18 0
42 GDate_iISP.iTNR1.iCT.NotFirst 14 0
43 PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 17 0
45 GDate_iISP.iTNR1.iCT.$CombDiv2__11 9 0
46 PathPipe_iISP.iTNR1.iCT.$Div_17.I.0 1 0
47 ADate_iISP.iTNR1.iCT.$Div_18.I.0 9 0
48 GDate_iISP.iTNR1.iCT.$CombDiv2__10 31 0
50 ADate_iISP.iTNR1.iCT.$Div_19.I.0 31 0
51 GDate_iISP.iTNR1.iCT.$CombDiv2__9 40 0
54 GDate_iISP.iTNR1.iCT.$CombDiv2__8 9 0
55 PathPipe_iISP.iTNR1.iCT.$Div_20.I.0 1 0
56 ADate_iISP.iTNR1.iCT.$Div_21.I.0 9 0
57 GDate_iISP.iTNR1.iCT.$CombDiv2__7 31 0
59 ADate_iISP.iTNR1.iCT.$Div_22.I.0 31 0
60 GDate_iISP.iTNR1.iCT.$CombDiv2__6 40 0
63 GDate_iISP.iTNR1.iCT.$CombDiv2__5 9 0
64 PathPipe_iISP.iTNR1.iCT.$Div_23.I.0 1 0
65 ADate_iISP.iTNR1.iCT.$Div_24.I.0 9 0
66 GDate_iISP.iTNR1.iCT.$CombDiv2__4 18 0
68 ADate_iISP.iTNR1.iCT.$Div_25.I.0 22 0
69 GDate_iISP.iTNR1.iCT.$CombDiv2__3 31 0
71 ADate_iISP.iTNR1.iCT.$Div_26.I.0 31 0
72 GDate_iISP.iTNR1.iCT.$CombDiv2__2 40 0
75 GDate_iISP.iTNR1.iCT.$CombDiv2__1 9 0
76 PathPipe_iISP.iTNR1.iCT.$Div_27.I.0 1 0
77 ADate_iISP.iTNR1.iCT.$Div_28.I.0 14 0
78 GDate_iISP.iTNR1.iCT.$CombDiv2__0 40 0
81 GDate_iISP.iTNR1.iCT.$3166 30 0
82 PathPipe_iISP.iTNR1.iCT.$Div_29.I.0 1 0
84 GDate_iISP.iTNR1.iCT.$_26 20 0
85 PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 1 0
86 ADate_iISP.iTNR1.iCT.$Min_0.I.0 20 0
88 GDate_iISP.iTNR1.iCT.$3168 40 0
89 ADate_iISP.iTNR1.iCT.$Mux_1.I.1 35 0
91 ADate_iISP.iTNR1.iCT.$Mux_1.Sel 35 0
-------------- next part --------------
Optimal - objective value 4311.51200000
0 GDate_iISP.iTNR1.iCT.Frac 40 -1.317078
1 Pipe_iISP.iTNR1.$CfaRef_Repl6 17 0
3 Pipe_iISP.iTNR1.iCT.$3168 1 0
4 Pipe_iISP.iTNR1.iCT.$CombDiv2__0 1 0
5 Pipe_iISP.iTNR1.iCT.$CombDiv2__1 0.2195122 0
6 Pipe_iISP.iTNR1.iCT.$CombDiv2__10 0.2195122 0
7 Pipe_iISP.iTNR1.iCT.$CombDiv2__11 0.2195122 0
8 Pipe_iISP.iTNR1.iCT.$CombDiv2__12 1.5853659 0
9 Pipe_iISP.iTNR1.iCT.$CombDiv2__2 0.2195122 0
10 Pipe_iISP.iTNR1.iCT.$CombDiv2__3 0.2195122 0
11 Pipe_iISP.iTNR1.iCT.$CombDiv2__4 0.2195122 0
12 Pipe_iISP.iTNR1.iCT.$CombDiv2__5 0.2195122 0
13 Pipe_iISP.iTNR1.iCT.$CombDiv2__6 0.2195122 0
14 Pipe_iISP.iTNR1.iCT.$CombDiv2__7 0.2195122 0
15 Pipe_iISP.iTNR1.iCT.$CombDiv2__8 0.2195122 0
16 Pipe_iISP.iTNR1.iCT.$CombDiv2__9 0.2195122 0
20 GDate_iISP.iTNR1.$CfaRef_Repl6 40 0
21 Cycle_iISP.iTNR1.$CfaRef_Repl6 1 0
22 Cycle_iISP.iTNR1.iCT.$3166 18 0
23 Cycle_iISP.iTNR1.iCT.$3168 18 0
24 Cycle_iISP.iTNR1.iCT.$CombDiv2__0 17 0
25 Cycle_iISP.iTNR1.iCT.$CombDiv2__10 14.804878 0
26 Cycle_iISP.iTNR1.iCT.$CombDiv2__11 14.585366 0
27 GDate_iISP.iTNR1.iCT.$CombDiv2__12 40 0
28 Cycle_iISP.iTNR1.iCT.$CombDiv2__12 13 -564
29 Cycle_iISP.iTNR1.iCT.$CombDiv2__1 16.780488 0
30 Cycle_iISP.iTNR1.iCT.$CombDiv2__2 16.560976 0
31 Cycle_iISP.iTNR1.iCT.$CombDiv2__3 16.341463 0
32 Cycle_iISP.iTNR1.iCT.$CombDiv2__4 16.121951 0
33 Cycle_iISP.iTNR1.iCT.$CombDiv2__5 15.902439 0
34 Cycle_iISP.iTNR1.iCT.$CombDiv2__6 15.682927 0
35 Cycle_iISP.iTNR1.iCT.$CombDiv2__7 15.463415 0
36 Cycle_iISP.iTNR1.iCT.$CombDiv2__8 15.243902 0
37 Cycle_iISP.iTNR1.iCT.$CombDiv2__9 15.02439 0
38 Cycle_iISP.iTNR1.iCT.$_26 19 0
39 Cycle_iISP.iTNR1.iCT.Frac 19 0
40 Cycle_iISP.iTNR1.iCT.NotFirst 18 0
42 GDate_iISP.iTNR1.iCT.NotFirst 14 0
43 PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 17 0
45 GDate_iISP.iTNR1.iCT.$CombDiv2__11 9 0
46 PathPipe_iISP.iTNR1.iCT.$Div_17.I.0 1.5853659 0
48 GDate_iISP.iTNR1.iCT.$CombDiv2__10 9 0
49 PathPipe_iISP.iTNR1.iCT.$Div_18.I.0 0.2195122 0
51 GDate_iISP.iTNR1.iCT.$CombDiv2__9 9 0
52 PathPipe_iISP.iTNR1.iCT.$Div_19.I.0 0.2195122 0
54 GDate_iISP.iTNR1.iCT.$CombDiv2__8 9 0
55 PathPipe_iISP.iTNR1.iCT.$Div_20.I.0 0.2195122 0
57 GDate_iISP.iTNR1.iCT.$CombDiv2__7 9 0
58 PathPipe_iISP.iTNR1.iCT.$Div_21.I.0 0.2195122 0
60 GDate_iISP.iTNR1.iCT.$CombDiv2__6 9 0
61 PathPipe_iISP.iTNR1.iCT.$Div_22.I.0 0.2195122 0
63 GDate_iISP.iTNR1.iCT.$CombDiv2__5 9 0
64 PathPipe_iISP.iTNR1.iCT.$Div_23.I.0 0.2195122 0
66 GDate_iISP.iTNR1.iCT.$CombDiv2__4 9 0
67 PathPipe_iISP.iTNR1.iCT.$Div_24.I.0 0.2195122 0
69 GDate_iISP.iTNR1.iCT.$CombDiv2__3 9 0
70 PathPipe_iISP.iTNR1.iCT.$Div_25.I.0 0.2195122 0
72 GDate_iISP.iTNR1.iCT.$CombDiv2__2 9 0
73 PathPipe_iISP.iTNR1.iCT.$Div_26.I.0 0.2195122 0
75 GDate_iISP.iTNR1.iCT.$CombDiv2__1 9 0
76 PathPipe_iISP.iTNR1.iCT.$Div_27.I.0 0.2195122 0
78 GDate_iISP.iTNR1.iCT.$CombDiv2__0 40 0
79 PathPipe_iISP.iTNR1.iCT.$Div_28.I.0 0.2195122 0
81 GDate_iISP.iTNR1.iCT.$3166 30 0
82 PathPipe_iISP.iTNR1.iCT.$Div_29.I.0 1 6
84 GDate_iISP.iTNR1.iCT.$_26 20 0
85 PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 1 0
86 ADate_iISP.iTNR1.iCT.$Min_0.I.0 20 0
88 GDate_iISP.iTNR1.iCT.$3168 40 0
89 ADate_iISP.iTNR1.iCT.$Mux_1.I.1 35 0
91 ADate_iISP.iTNR1.iCT.$Mux_1.Sel 14 0
-------------- next part --------------
\* Pipe placement trivial_pass 217_218 *\
Minimize
OBJ: 2.4878 GDate_iISP.iTNR1.iCT.Frac + 72 Pipe_iISP.iTNR1.$CfaRef_Repl6
+ 162 Pipe_iISP.iTNR1.iCT.$3166 + 162 Pipe_iISP.iTNR1.iCT.$3168
+ 570 Pipe_iISP.iTNR1.iCT.$CombDiv2__0 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__1
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__10
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__11
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__12
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__2 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__3
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__4 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__5
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__6 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__7
+ 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__8 + 564 Pipe_iISP.iTNR1.iCT.$CombDiv2__9
+ 156 Pipe_iISP.iTNR1.iCT.$_26 + 102 Pipe_iISP.iTNR1.iCT.Frac
+ 6 Pipe_iISP.iTNR1.iCT.NotFirst
Subject To
Bound_iISP.iTNR1.$CfaRef_Repl6_Min_GDate: GDate_iISP.iTNR1.$CfaRef_Repl6 >= 40
Bound_iISP.iTNR1.$CfaRef_Repl6_cycle: Cycle_iISP.iTNR1.$CfaRef_Repl6 = 1
Bound_iISP.iTNR1.iCT.$3166_Max_cycle: Cycle_iISP.iTNR1.iCT.$3166 <= 18
Bound_iISP.iTNR1.iCT.$3166_Min_cycle: Cycle_iISP.iTNR1.iCT.$3166 >= 18
Bound_iISP.iTNR1.iCT.$3168_Max_cycle: Cycle_iISP.iTNR1.iCT.$3168 <= 18
Bound_iISP.iTNR1.iCT.$3168_Min_cycle: Cycle_iISP.iTNR1.iCT.$3168 >= 18
Bound_iISP.iTNR1.iCT.$CombDiv2__0_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__0
<= 17
Bound_iISP.iTNR1.iCT.$CombDiv2__0_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__0
>= 17
Bound_iISP.iTNR1.iCT.$CombDiv2__10_Max_cycle:
Cycle_iISP.iTNR1.iCT.$CombDiv2__10 <= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__10_Min_cycle:
Cycle_iISP.iTNR1.iCT.$CombDiv2__10 >= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__11_Max_cycle:
Cycle_iISP.iTNR1.iCT.$CombDiv2__11 <= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__11_Min_cycle:
Cycle_iISP.iTNR1.iCT.$CombDiv2__11 >= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__12_Min_GDate:
GDate_iISP.iTNR1.iCT.$CombDiv2__12 >= 40
Bound_iISP.iTNR1.iCT.$CombDiv2__12_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__12
= 13
Bound_iISP.iTNR1.iCT.$CombDiv2__1_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__1
<= 16
Bound_iISP.iTNR1.iCT.$CombDiv2__1_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__1
>= 16
Bound_iISP.iTNR1.iCT.$CombDiv2__2_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__2
<= 16
Bound_iISP.iTNR1.iCT.$CombDiv2__2_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__2
>= 16
Bound_iISP.iTNR1.iCT.$CombDiv2__3_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__3
<= 16
Bound_iISP.iTNR1.iCT.$CombDiv2__3_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__3
>= 16
Bound_iISP.iTNR1.iCT.$CombDiv2__4_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__4
<= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__4_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__4
>= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__5_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__5
<= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__5_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__5
>= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__6_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__6
<= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__6_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__6
>= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__7_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__7
<= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__7_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__7
>= 15
Bound_iISP.iTNR1.iCT.$CombDiv2__8_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__8
<= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__8_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__8
>= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__9_Max_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__9
<= 14
Bound_iISP.iTNR1.iCT.$CombDiv2__9_Min_cycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__9
>= 14
Bound_iISP.iTNR1.iCT.$_26_Max_cycle: Cycle_iISP.iTNR1.iCT.$_26 <= 19
Bound_iISP.iTNR1.iCT.$_26_Min_cycle: Cycle_iISP.iTNR1.iCT.$_26 >= 19
Bound_iISP.iTNR1.iCT.Frac_Max_cycle: Cycle_iISP.iTNR1.iCT.Frac <= 19
Bound_iISP.iTNR1.iCT.Frac_Min_cycle: Cycle_iISP.iTNR1.iCT.Frac >= 19
Bound_iISP.iTNR1.iCT.NotFirst_Max_cycle: Cycle_iISP.iTNR1.iCT.NotFirst <= 18
Bound_iISP.iTNR1.iCT.NotFirst_Min_cycle: Cycle_iISP.iTNR1.iCT.NotFirst >= 18
Cross_iISP.iTNR1.iCT.$Cmp_3_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Cmp_3.I.0
+ GDate_iISP.iTNR1.iCT.NotFirst >= 14
Cross_iISP.iTNR1.iCT.$Cmp_3_I.0_OutCycle: - Cycle_iISP.iTNR1.$CfaRef_Repl6
+ Cycle_iISP.iTNR1.iCT.NotFirst - PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 = 0
Cross_iISP.iTNR1.iCT.$Cmp_3_I.1_GDate: GDate_iISP.iTNR1.iCT.NotFirst >= 14
Cross_iISP.iTNR1.iCT.$Div_17_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_17.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__11 >= 9
Cross_iISP.iTNR1.iCT.$Div_17_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__11
- Cycle_iISP.iTNR1.iCT.$CombDiv2__12 - PathPipe_iISP.iTNR1.iCT.$Div_17.I.0
= 0
Cross_iISP.iTNR1.iCT.$Div_18_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_18.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__10 >= 9
Cross_iISP.iTNR1.iCT.$Div_18_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__10
- Cycle_iISP.iTNR1.iCT.$CombDiv2__11 - PathPipe_iISP.iTNR1.iCT.$Div_18.I.0
= 0
Cross_iISP.iTNR1.iCT.$Div_19_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_19.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__9 >= 9
Cross_iISP.iTNR1.iCT.$Div_19_I.0_OutCycle:
- Cycle_iISP.iTNR1.iCT.$CombDiv2__10 + Cycle_iISP.iTNR1.iCT.$CombDiv2__9
- PathPipe_iISP.iTNR1.iCT.$Div_19.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_20_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_20.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__8 >= 9
Cross_iISP.iTNR1.iCT.$Div_20_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__8
- Cycle_iISP.iTNR1.iCT.$CombDiv2__9 - PathPipe_iISP.iTNR1.iCT.$Div_20.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_21_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_21.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__7 >= 9
Cross_iISP.iTNR1.iCT.$Div_21_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__7
- Cycle_iISP.iTNR1.iCT.$CombDiv2__8 - PathPipe_iISP.iTNR1.iCT.$Div_21.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_22_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_22.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__6 >= 9
Cross_iISP.iTNR1.iCT.$Div_22_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__6
- Cycle_iISP.iTNR1.iCT.$CombDiv2__7 - PathPipe_iISP.iTNR1.iCT.$Div_22.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_23_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_23.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__5 >= 9
Cross_iISP.iTNR1.iCT.$Div_23_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__5
- Cycle_iISP.iTNR1.iCT.$CombDiv2__6 - PathPipe_iISP.iTNR1.iCT.$Div_23.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_24_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_24.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__4 >= 9
Cross_iISP.iTNR1.iCT.$Div_24_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__4
- Cycle_iISP.iTNR1.iCT.$CombDiv2__5 - PathPipe_iISP.iTNR1.iCT.$Div_24.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_25_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_25.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__3 >= 9
Cross_iISP.iTNR1.iCT.$Div_25_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__3
- Cycle_iISP.iTNR1.iCT.$CombDiv2__4 - PathPipe_iISP.iTNR1.iCT.$Div_25.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_26_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_26.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__2 >= 9
Cross_iISP.iTNR1.iCT.$Div_26_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__2
- Cycle_iISP.iTNR1.iCT.$CombDiv2__3 - PathPipe_iISP.iTNR1.iCT.$Div_26.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_27_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_27.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__1 >= 9
Cross_iISP.iTNR1.iCT.$Div_27_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__1
- Cycle_iISP.iTNR1.iCT.$CombDiv2__2 - PathPipe_iISP.iTNR1.iCT.$Div_27.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_28_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_28.I.0
+ GDate_iISP.iTNR1.iCT.$CombDiv2__0 >= 26
Cross_iISP.iTNR1.iCT.$Div_28_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$CombDiv2__0
- Cycle_iISP.iTNR1.iCT.$CombDiv2__1 - PathPipe_iISP.iTNR1.iCT.$Div_28.I.0 = 0
Cross_iISP.iTNR1.iCT.$Div_29_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Div_29.I.0
+ GDate_iISP.iTNR1.iCT.$3166 >= 30
Cross_iISP.iTNR1.iCT.$Div_29_I.0_OutCycle: Cycle_iISP.iTNR1.iCT.$3166
- Cycle_iISP.iTNR1.iCT.$CombDiv2__0 - PathPipe_iISP.iTNR1.iCT.$Div_29.I.0 = 0
Cross_iISP.iTNR1.iCT.$Max_0_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Max_0.I.0
+ GDate_iISP.iTNR1.iCT.$_26 >= 20
Cross_iISP.iTNR1.iCT.$Max_0_I.0_OutCycle: - Cycle_iISP.iTNR1.iCT.$3168
+ Cycle_iISP.iTNR1.iCT.$_26 - PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 = 0
Cross_iISP.iTNR1.iCT.$Max_0_I.1_GDate: GDate_iISP.iTNR1.iCT.$_26 >= 20
Cross_iISP.iTNR1.iCT.$Min_0_I.0_GDate: - ADate_iISP.iTNR1.iCT.$Min_0.I.0
+ GDate_iISP.iTNR1.iCT.Frac >= 20
Cross_iISP.iTNR1.iCT.$Min_0_I.0_OutCycle: - Cycle_iISP.iTNR1.iCT.$_26
+ Cycle_iISP.iTNR1.iCT.Frac - PathPipe_iISP.iTNR1.iCT.$Min_0.I.0 = 0
Cross_iISP.iTNR1.iCT.$Min_0_I.1_GDate: GDate_iISP.iTNR1.iCT.Frac >= 20
Cross_iISP.iTNR1.iCT.$Mux_1_I.0_GDate: GDate_iISP.iTNR1.iCT.$3168 >= 5
Cross_iISP.iTNR1.iCT.$Mux_1_I.1_GDate: - ADate_iISP.iTNR1.iCT.$Mux_1.I.1
+ GDate_iISP.iTNR1.iCT.$3168 >= 5
Cross_iISP.iTNR1.iCT.$Mux_1_I.1_OutCycle: - Cycle_iISP.iTNR1.iCT.$3166
+ Cycle_iISP.iTNR1.iCT.$3168 - PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1 = 0
Cross_iISP.iTNR1.iCT.$Mux_1_Sel_GDate: - ADate_iISP.iTNR1.iCT.$Mux_1.Sel
+ GDate_iISP.iTNR1.iCT.$3168 >= 5
Cross_iISP.iTNR1.iCT.$Mux_1_Sel_OutCycle: Cycle_iISP.iTNR1.iCT.$3168
- Cycle_iISP.iTNR1.iCT.NotFirst - PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel = 0
Ifce_Min_Pipe_iISP.iTNR1.iCT.$Cmp_3.I.0: Pipe_iISP.iTNR1.$CfaRef_Repl6 >= 17
Ifce_Min_Pipe_iISP.iTNR1.iCT.$Div_17.I.0: Pipe_iISP.iTNR1.iCT.$CombDiv2__12
>= 1
Left_iISP.iTNR1.iCT.$Cmp_3.I.0: PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 >= 6
Prop_iISP.iTNR1.iCT.$Cmp_3.I.0_ADate: ADate_iISP.iTNR1.iCT.$Cmp_3.I.0
- GDate_iISP.iTNR1.$CfaRef_Repl6 + 41 PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 >= 0
Prop_iISP.iTNR1.iCT.$Cmp_3.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 + Pipe_iISP.iTNR1.$CfaRef_Repl6 >= 0
Prop_iISP.iTNR1.iCT.$Div_17.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_17.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__12 + 41 PathPipe_iISP.iTNR1.iCT.$Div_17.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_17.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_17.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__12
>= 0
Prop_iISP.iTNR1.iCT.$Div_18.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_18.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__11 + 41 PathPipe_iISP.iTNR1.iCT.$Div_18.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_18.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_18.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__11
>= 0
Prop_iISP.iTNR1.iCT.$Div_19.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_19.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__10 + 41 PathPipe_iISP.iTNR1.iCT.$Div_19.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_19.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_19.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__10
>= 0
Prop_iISP.iTNR1.iCT.$Div_20.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_20.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__9 + 41 PathPipe_iISP.iTNR1.iCT.$Div_20.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_20.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_20.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__9 >= 0
Prop_iISP.iTNR1.iCT.$Div_21.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_21.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__8 + 41 PathPipe_iISP.iTNR1.iCT.$Div_21.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_21.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_21.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__8 >= 0
Prop_iISP.iTNR1.iCT.$Div_22.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_22.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__7 + 41 PathPipe_iISP.iTNR1.iCT.$Div_22.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_22.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_22.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__7 >= 0
Prop_iISP.iTNR1.iCT.$Div_23.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_23.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__6 + 41 PathPipe_iISP.iTNR1.iCT.$Div_23.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_23.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_23.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__6 >= 0
Prop_iISP.iTNR1.iCT.$Div_24.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_24.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__5 + 41 PathPipe_iISP.iTNR1.iCT.$Div_24.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_24.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_24.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__5 >= 0
Prop_iISP.iTNR1.iCT.$Div_25.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_25.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__4 + 41 PathPipe_iISP.iTNR1.iCT.$Div_25.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_25.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_25.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__4 >= 0
Prop_iISP.iTNR1.iCT.$Div_26.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_26.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__3 + 41 PathPipe_iISP.iTNR1.iCT.$Div_26.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_26.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_26.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__3 >= 0
Prop_iISP.iTNR1.iCT.$Div_27.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_27.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__2 + 41 PathPipe_iISP.iTNR1.iCT.$Div_27.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_27.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_27.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__2 >= 0
Prop_iISP.iTNR1.iCT.$Div_28.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_28.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__1 + 41 PathPipe_iISP.iTNR1.iCT.$Div_28.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_28.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_28.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__1 >= 0
Prop_iISP.iTNR1.iCT.$Div_29.I.0_ADate: ADate_iISP.iTNR1.iCT.$Div_29.I.0
- GDate_iISP.iTNR1.iCT.$CombDiv2__0 + 41 PathPipe_iISP.iTNR1.iCT.$Div_29.I.0
>= 0
Prop_iISP.iTNR1.iCT.$Div_29.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Div_29.I.0 + Pipe_iISP.iTNR1.iCT.$CombDiv2__0 >= 0
Prop_iISP.iTNR1.iCT.$Max_0.I.0_ADate: ADate_iISP.iTNR1.iCT.$Max_0.I.0
- GDate_iISP.iTNR1.iCT.$3168 + 41 PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 >= 0
Prop_iISP.iTNR1.iCT.$Max_0.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 + Pipe_iISP.iTNR1.iCT.$3168 >= 0
Prop_iISP.iTNR1.iCT.$Min_0.I.0_ADate: ADate_iISP.iTNR1.iCT.$Min_0.I.0
- GDate_iISP.iTNR1.iCT.$_26 + 41 PathPipe_iISP.iTNR1.iCT.$Min_0.I.0 >= 0
Prop_iISP.iTNR1.iCT.$Min_0.I.0_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Min_0.I.0 + Pipe_iISP.iTNR1.iCT.$_26 >= 0
Prop_iISP.iTNR1.iCT.$Mux_1.I.1_ADate: ADate_iISP.iTNR1.iCT.$Mux_1.I.1
- GDate_iISP.iTNR1.iCT.$3166 + 41 PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1 >= 0
Prop_iISP.iTNR1.iCT.$Mux_1.I.1_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1 + Pipe_iISP.iTNR1.iCT.$3166 >= 0
Prop_iISP.iTNR1.iCT.$Mux_1.Sel_ADate: ADate_iISP.iTNR1.iCT.$Mux_1.Sel
- GDate_iISP.iTNR1.iCT.NotFirst + 41 PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel >= 0
Prop_iISP.iTNR1.iCT.$Mux_1.Sel_PathPipe_Sum:
- PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel + Pipe_iISP.iTNR1.iCT.NotFirst >= 0
Bounds
ADate_iISP.iTNR1.iCT.$Cmp_3.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_17.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_18.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_19.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_20.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_21.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_22.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_23.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_24.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_25.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_26.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_27.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_28.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Div_29.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Max_0.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Min_0.I.0 <= 40
ADate_iISP.iTNR1.iCT.$Mux_1.I.1 <= 40
ADate_iISP.iTNR1.iCT.$Mux_1.Sel <= 40
0 <= Cycle_iISP.iTNR1.$CfaRef_Repl6
0 <= Cycle_iISP.iTNR1.iCT.$3166
0 <= Cycle_iISP.iTNR1.iCT.$3168
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__0
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__1
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__10
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__11
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__12
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__2
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__3
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__4
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__5
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__6
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__7
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__8
0 <= Cycle_iISP.iTNR1.iCT.$CombDiv2__9
0 <= Cycle_iISP.iTNR1.iCT.$_26
0 <= Cycle_iISP.iTNR1.iCT.Frac
0 <= Cycle_iISP.iTNR1.iCT.NotFirst
GDate_iISP.iTNR1.$CfaRef_Repl6 <= 40
GDate_iISP.iTNR1.iCT.$3166 <= 40
GDate_iISP.iTNR1.iCT.$3168 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__0 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__1 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__10 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__11 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__12 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__2 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__3 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__4 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__5 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__6 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__7 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__8 <= 40
GDate_iISP.iTNR1.iCT.$CombDiv2__9 <= 40
GDate_iISP.iTNR1.iCT.$_26 <= 40
GDate_iISP.iTNR1.iCT.Frac <= 40
GDate_iISP.iTNR1.iCT.NotFirst <= 40
0 <= PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 <= 51
0 <= PathPipe_iISP.iTNR1.iCT.$Div_17.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_18.I.0 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Div_19.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_20.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_21.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_22.I.0 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Div_23.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_24.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_25.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_26.I.0 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Div_27.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_28.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Div_29.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 <= 35
0 <= PathPipe_iISP.iTNR1.iCT.$Min_0.I.0 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1 <= 34
0 <= PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel <= 45
0 <= Pipe_iISP.iTNR1.$CfaRef_Repl6 <= 55
0 <= Pipe_iISP.iTNR1.iCT.$3166 <= 34
0 <= Pipe_iISP.iTNR1.iCT.$3168 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__0 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__1 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__10 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__11 <= 34
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__12 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__2 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__3 <= 34
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__4 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__5 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__6 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__7 <= 34
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__8 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$CombDiv2__9 <= 35
0 <= Pipe_iISP.iTNR1.iCT.$_26 <= 34
0 <= Pipe_iISP.iTNR1.iCT.Frac <= 35
0 <= Pipe_iISP.iTNR1.iCT.NotFirst <= 45
Generals
Cycle_iISP.iTNR1.$CfaRef_Repl6
Cycle_iISP.iTNR1.iCT.$3166
Cycle_iISP.iTNR1.iCT.$3168
Cycle_iISP.iTNR1.iCT.$CombDiv2__0
Cycle_iISP.iTNR1.iCT.$CombDiv2__1
Cycle_iISP.iTNR1.iCT.$CombDiv2__10
Cycle_iISP.iTNR1.iCT.$CombDiv2__11
Cycle_iISP.iTNR1.iCT.$CombDiv2__12
Cycle_iISP.iTNR1.iCT.$CombDiv2__2
Cycle_iISP.iTNR1.iCT.$CombDiv2__3
Cycle_iISP.iTNR1.iCT.$CombDiv2__4
Cycle_iISP.iTNR1.iCT.$CombDiv2__5
Cycle_iISP.iTNR1.iCT.$CombDiv2__6
Cycle_iISP.iTNR1.iCT.$CombDiv2__7
Cycle_iISP.iTNR1.iCT.$CombDiv2__8
Cycle_iISP.iTNR1.iCT.$CombDiv2__9
Cycle_iISP.iTNR1.iCT.$_26
Cycle_iISP.iTNR1.iCT.Frac
Cycle_iISP.iTNR1.iCT.NotFirst
PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0
PathPipe_iISP.iTNR1.iCT.$Div_17.I.0
PathPipe_iISP.iTNR1.iCT.$Div_18.I.0
PathPipe_iISP.iTNR1.iCT.$Div_19.I.0
PathPipe_iISP.iTNR1.iCT.$Div_20.I.0
PathPipe_iISP.iTNR1.iCT.$Div_21.I.0
PathPipe_iISP.iTNR1.iCT.$Div_22.I.0
PathPipe_iISP.iTNR1.iCT.$Div_23.I.0
PathPipe_iISP.iTNR1.iCT.$Div_24.I.0
PathPipe_iISP.iTNR1.iCT.$Div_25.I.0
PathPipe_iISP.iTNR1.iCT.$Div_26.I.0
PathPipe_iISP.iTNR1.iCT.$Div_27.I.0
PathPipe_iISP.iTNR1.iCT.$Div_28.I.0
PathPipe_iISP.iTNR1.iCT.$Div_29.I.0
PathPipe_iISP.iTNR1.iCT.$Max_0.I.0
PathPipe_iISP.iTNR1.iCT.$Min_0.I.0
PathPipe_iISP.iTNR1.iCT.$Mux_1.I.1
PathPipe_iISP.iTNR1.iCT.$Mux_1.Sel
Pipe_iISP.iTNR1.$CfaRef_Repl6
Pipe_iISP.iTNR1.iCT.$3166
Pipe_iISP.iTNR1.iCT.$3168
Pipe_iISP.iTNR1.iCT.$CombDiv2__0
Pipe_iISP.iTNR1.iCT.$CombDiv2__1
Pipe_iISP.iTNR1.iCT.$CombDiv2__10
Pipe_iISP.iTNR1.iCT.$CombDiv2__11
Pipe_iISP.iTNR1.iCT.$CombDiv2__12
Pipe_iISP.iTNR1.iCT.$CombDiv2__2
Pipe_iISP.iTNR1.iCT.$CombDiv2__3
Pipe_iISP.iTNR1.iCT.$CombDiv2__4
Pipe_iISP.iTNR1.iCT.$CombDiv2__5
Pipe_iISP.iTNR1.iCT.$CombDiv2__6
Pipe_iISP.iTNR1.iCT.$CombDiv2__7
Pipe_iISP.iTNR1.iCT.$CombDiv2__8
Pipe_iISP.iTNR1.iCT.$CombDiv2__9
Pipe_iISP.iTNR1.iCT.$_26
Pipe_iISP.iTNR1.iCT.Frac
Pipe_iISP.iTNR1.iCT.NotFirst
End
-------------- next part --------------
Optimal - objective value 4311.51200000
0 GDate_iISP.iTNR1.iCT.Frac 40 0
1 Pipe_iISP.iTNR1.$CfaRef_Repl6 17 72
3 Pipe_iISP.iTNR1.iCT.$3168 1 162
4 Pipe_iISP.iTNR1.iCT.$CombDiv2__0 1 570
5 Pipe_iISP.iTNR1.iCT.$CombDiv2__1 1 564
8 Pipe_iISP.iTNR1.iCT.$CombDiv2__12 1 564
11 Pipe_iISP.iTNR1.iCT.$CombDiv2__4 1 564
15 Pipe_iISP.iTNR1.iCT.$CombDiv2__8 1 564
20 GDate_iISP.iTNR1.$CfaRef_Repl6 40 0
21 Cycle_iISP.iTNR1.$CfaRef_Repl6 1 0
22 Cycle_iISP.iTNR1.iCT.$3166 18 0
23 Cycle_iISP.iTNR1.iCT.$3168 18 0
24 Cycle_iISP.iTNR1.iCT.$CombDiv2__0 17 0
25 Cycle_iISP.iTNR1.iCT.$CombDiv2__10 14 0
26 Cycle_iISP.iTNR1.iCT.$CombDiv2__11 14 0
27 GDate_iISP.iTNR1.iCT.$CombDiv2__12 40 0
28 Cycle_iISP.iTNR1.iCT.$CombDiv2__12 13 0
29 Cycle_iISP.iTNR1.iCT.$CombDiv2__1 16 0
30 Cycle_iISP.iTNR1.iCT.$CombDiv2__2 16 0
31 Cycle_iISP.iTNR1.iCT.$CombDiv2__3 16 0
32 Cycle_iISP.iTNR1.iCT.$CombDiv2__4 15 0
33 Cycle_iISP.iTNR1.iCT.$CombDiv2__5 15 0
34 Cycle_iISP.iTNR1.iCT.$CombDiv2__6 15 0
35 Cycle_iISP.iTNR1.iCT.$CombDiv2__7 15 0
36 Cycle_iISP.iTNR1.iCT.$CombDiv2__8 14 0
37 Cycle_iISP.iTNR1.iCT.$CombDiv2__9 14 0
38 Cycle_iISP.iTNR1.iCT.$_26 19 0
39 Cycle_iISP.iTNR1.iCT.Frac 19 0
40 Cycle_iISP.iTNR1.iCT.NotFirst 18 0
42 GDate_iISP.iTNR1.iCT.NotFirst 14 0
43 PathPipe_iISP.iTNR1.iCT.$Cmp_3.I.0 17 0
45 GDate_iISP.iTNR1.iCT.$CombDiv2__11 9 0
46 PathPipe_iISP.iTNR1.iCT.$Div_17.I.0 1 0
47 ADate_iISP.iTNR1.iCT.$Div_18.I.0 9 0
48 GDate_iISP.iTNR1.iCT.$CombDiv2__10 18 0
50 ADate_iISP.iTNR1.iCT.$Div_19.I.0 22 0
51 GDate_iISP.iTNR1.iCT.$CombDiv2__9 31 0
53 ADate_iISP.iTNR1.iCT.$Div_20.I.0 31 0
54 GDate_iISP.iTNR1.iCT.$CombDiv2__8 40 0
57 GDate_iISP.iTNR1.iCT.$CombDiv2__7 9 0
58 PathPipe_iISP.iTNR1.iCT.$Div_21.I.0 1 0
59 ADate_iISP.iTNR1.iCT.$Div_22.I.0 9 0
60 GDate_iISP.iTNR1.iCT.$CombDiv2__6 18 0
62 ADate_iISP.iTNR1.iCT.$Div_23.I.0 22 0
63 GDate_iISP.iTNR1.iCT.$CombDiv2__5 31 0
65 ADate_iISP.iTNR1.iCT.$Div_24.I.0 31 0
66 GDate_iISP.iTNR1.iCT.$CombDiv2__4 40 0
69 GDate_iISP.iTNR1.iCT.$CombDiv2__3 9 0
70 PathPipe_iISP.iTNR1.iCT.$Div_25.I.0 1 0
71 ADate_iISP.iTNR1.iCT.$Div_26.I.0 9 0
72 GDate_iISP.iTNR1.iCT.$CombDiv2__2 31 0
74 ADate_iISP.iTNR1.iCT.$Div_27.I.0 31 0
75 GDate_iISP.iTNR1.iCT.$CombDiv2__1 40 0
78 GDate_iISP.iTNR1.iCT.$CombDiv2__0 40 0
79 PathPipe_iISP.iTNR1.iCT.$Div_28.I.0 1 0
81 GDate_iISP.iTNR1.iCT.$3166 30 0
82 PathPipe_iISP.iTNR1.iCT.$Div_29.I.0 1 0
84 GDate_iISP.iTNR1.iCT.$_26 20 0
85 PathPipe_iISP.iTNR1.iCT.$Max_0.I.0 1 0
86 ADate_iISP.iTNR1.iCT.$Min_0.I.0 20 0
88 GDate_iISP.iTNR1.iCT.$3168 40 0
89 ADate_iISP.iTNR1.iCT.$Mux_1.I.1 35 0
91 ADate_iISP.iTNR1.iCT.$Mux_1.Sel 35 0
More information about the Cbc
mailing list