From 0ac0646d10322d87abc891d464e5c214c4835a9f Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 18 Mar 2008 07:07:12 +0000
Subject: [PATCH] check in changes

---
 Robust/src/Benchmarks/PERT/Java/Stage.java | 14 +++++++-------
 Robust/src/Benchmarks/PERT/Tag/Stage.java  | 12 ++++++------
 2 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/Robust/src/Benchmarks/PERT/Java/Stage.java b/Robust/src/Benchmarks/PERT/Java/Stage.java
index cd275912..e78f79cc 100644
--- 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 9791ffa2..19f45a19 100644
--- 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");
     }
 
-- 
2.34.1