[Xsb-commits] CVS: mttests/benches/petri benchmark_elem.P, 1.9, 1.10 benchmark_wf.P, 1.4, 1.5

[Rui M. <ru...@us...>]

Update of /cvsroot/xsb/mttests/benches/petri
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv4685

Modified Files:
	benchmark_elem.P benchmark_wf.P 
Log Message:
standartized datum for benchs



Index: benchmark_elem.P
===================================================================
RCS file: /cvsroot/xsb/mttests/benches/petri/benchmark_elem.P,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -r1.9 -r1.10
--- benchmark_elem.P	1 Feb 2008 20:03:27 -0000	1.9
+++ benchmark_elem.P	2 Feb 2008 13:47:49 -0000	1.10
@@ -135,7 +135,8 @@
 	all_par_execute(List),
 	walltime(After),
 	Time is After - Before,
-	write(datum(Pred,NThreads,Time)),
+	(Pred = rechable -> Bench = priv ; Bench = shared ),
+	write(datum([elem,Bench],NThreads,Time)),
 	writeln('.').
 
 all_par_execute([]).

Index: benchmark_wf.P
===================================================================
RCS file: /cvsroot/xsb/mttests/benches/petri/benchmark_wf.P,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- benchmark_wf.P	1 Feb 2008 23:20:09 -0000	1.4
+++ benchmark_wf.P	2 Feb 2008 13:47:49 -0000	1.5
@@ -95,7 +95,8 @@
 	all_par_execute(LG),
 	walltime(After),
 	Time is After - Before,
-	write(datum(P,NThreads,Time)),
+	(Pred = rechable -> Bench = priv ; Bench = shared ),
+	write(datum([wf,Bench],NThreads,Time)),
 	writeln('.').
 
 % all 5x5 -- 5 seconds