check in changes

diff --git a/Robust/src/Benchmarks/PERT/Java/Stage.java b/Robust/src/Benchmarks/PERT/Java/Stage.java
index cd275912e1fc267cd815ad10228099bd472034ef..e78f79cc7da515a6daa3d09675d5c476c8fb4a5e 100644 (file)
--- a/Robust/src/Benchmarks/PERT/Java/Stage.java
+++ b/Robust/src/Benchmarks/PERT/Java/Stage.java
@@ -30,20 +30,20 @@ public class Stage {
                        int tmp = samplings[samplings.length];
                }*/
 
-       /*Random r = new Random();
+       Random r = new Random(ID);
        int tint = 0;
        for(int i = 0; i < this.samplings.length; ++i) {
            do {
                tint = r.nextInt()%50;
            } while(tint <= 0);
            this.samplings[i] = tint;
-           //System./*out.print*///printString(tint + "; ");
-//     }
-    int tint = ID * 3;
-       for(int i = 0; i < this.samplings.length; ++i) {
-               this.samplings[i] = tint + i;
-               //System.printString(tint + "; ");
+           //System./*out.print*/printString(tint + "; ");
        }
+       //int tint = ID * 3;
+       //for(int i = 0; i < this.samplings.length; ++i) {
+       //      this.samplings[i] = tint + i;
+               //System.printString(tint + "; ");
+       //}
        //System.printString("\n");//out.println();
     }
 

diff --git a/Robust/src/Benchmarks/PERT/Tag/Stage.java b/Robust/src/Benchmarks/PERT/Tag/Stage.java
index 9791ffa2a0b0c64b37cd13f03f91e960864cd0fe..19f45a19a39a21cff4aa742eaebfa2a309037b80 100644 (file)
--- a/Robust/src/Benchmarks/PERT/Tag/Stage.java
+++ b/Robust/src/Benchmarks/PERT/Tag/Stage.java
@@ -32,7 +32,7 @@ public class Stage {
                        int tmp = samplings[samplings.length];
                }*/
 
-       /*Random r = new Random();
+       Random r = new Random(ID);
        int tint = 0;
        for(int i = 0; i < this.samplings.length; ++i) {
            do {
@@ -40,12 +40,12 @@ public class Stage {
            } while(tint <= 0);
            this.samplings[i] = tint;
            //System.printString(tint + "; ");
-       }*/
-       int tint = ID * 3;
-       for(int i = 0; i < this.samplings.length; ++i) {
-               this.samplings[i] = tint + i;
-               //System.printString(tint + "; ");
        }
+       //int tint = ID * 3;
+       //for(int i = 0; i < this.samplings.length; ++i) {
+       //this.samplings[i] = tint + i;
+               //System.printString(tint + "; ");
+       //}
        //System.printString("\n");
     }