Recent changes to BenchmarksConstraints_2013_05_13

BenchmarksConstraints_2013_05_13 modified by

Wed, 23 Nov 2016 14:24:04 -0000

--- v1
+++ v2
@@ -17,7 +17,7 @@
 **size avg.**
 **size stddev.**

-[apache](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/apache.citl)
+[apache](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/apache.citl)
 ACTS IPOGD 
 0.953800
 0.727770 
@@ -54,7 +54,7 @@
 33.0000
 0.00000 

-[Banking1](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Banking1.citl)
+[Banking1](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Banking1.citl)
 ACTS IPOGD 
 0.954000
 0.620161 
@@ -91,7 +91,7 @@
 17.0000
 0.00000 

-[Banking2](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Banking2.citl)
+[Banking2](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Banking2.citl)
 ACTS IPOGD 
 0.0132000
 0.00240000 
@@ -128,7 +128,7 @@
 12.0000
 0.00000 

-[bbs](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/bbs.citl)
+[bbs](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/bbs.citl)
 ACTS IPOGD 
 0.0162000
 0.00491528 
@@ -165,7 +165,7 @@
 12.0000
 0.00000 

-[benchmark_10](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_10.citl)
+[benchmark_10](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_10.citl)
 ACTS IPOGD 
 5.22560
 0.294507 
@@ -202,7 +202,7 @@
 44.0000
 0.00000 

-[benchmark_11](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_11.citl)
+[benchmark_11](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_11.citl)
 ACTS IPOGD 
 2.07020
 0.0523159 
@@ -239,7 +239,7 @@
 44.0000
 0.00000 

-[benchmark_12](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_12.citl)
+[benchmark_12](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_12.citl)
 ACTS IPOGD 
 2.80420
 0.219433 
@@ -276,7 +276,7 @@
 39.0000
 0.00000 

-[benchmark_13](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_13.citl)
+[benchmark_13](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_13.citl)
 ACTS IPOGD 
 1.15900
 0.0419190 
@@ -313,7 +313,7 @@
 37.0000
 0.00000 

-[benchmark_14](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_14.citl)
+[benchmark_14](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_14.citl)
 ACTS IPOGD 
 0.496000
 0.0285727 
@@ -350,7 +350,7 @@
 37.0000
 0.00000 

-[benchmark_15](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_15.citl)
+[benchmark_15](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_15.citl)
 ACTS IPOGD 
 0.508800
 0.0522662 
@@ -387,7 +387,7 @@
 31.0000
 0.00000 

-[benchmark_16](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_16.citl)
+[benchmark_16](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_16.citl)
 ACTS IPOGD 
 1.02860
 0.154605 
@@ -424,7 +424,7 @@
 29.0000
 0.00000 

-[benchmark_17](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_17.citl)
+[benchmark_17](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_17.citl)
 ACTS IPOGD 
 2.37520
 0.0404841 
@@ -461,7 +461,7 @@
 39.0000
 0.00000 

-[benchmark_18](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_18.citl)
+[benchmark_18](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_18.citl)
 ACTS IPOGD 
 1.91020
 0.113760 
@@ -498,7 +498,7 @@
 47.0000
 0.00000 

-[benchmark_19](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_19.citl)
+[benchmark_19](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_19.citl)
 ACTS IPOGD 
 5.99500
 0.360269 
@@ -535,7 +535,7 @@
 50.0000
 0.00000 

-[benchmark_01](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_01.citl)
+[benchmark_01](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_01.citl)
 ACTS IPOGD 
 1.51520
 0.0565735 
@@ -572,7 +572,7 @@
 45.0000
 0.00000 

-[benchmark_20](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_20.citl)
+[benchmark_20](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_20.citl)
 ACTS IPOGD 
 12.0074
 0.324780 
@@ -609,7 +609,7 @@
 56.0000
 0.00000 

-[benchmark_21](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_21.citl)
+[benchmark_21](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_21.citl)
 ACTS IPOGD 
 1.42320
 0.0933261 
@@ -646,7 +646,7 @@
 37.0000
 0.00000 

-[benchmark_22](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_22.citl)
+[benchmark_22](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_22.citl)
 ACTS IPOGD 
 0.564800
 0.0146888 
@@ -683,7 +683,7 @@
 36.0000
 0.00000 

-[benchmark_23](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_23.citl)
+[benchmark_23](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_23.citl)
 ACTS IPOGD 
 0.0848000
 0.00462169 
@@ -720,7 +720,7 @@
 13.0000
 0.00000 

-[benchmark_24](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_24.citl)
+[benchmark_24](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_24.citl)
 ACTS IPOGD 
 2.49180
 0.0846224 
@@ -757,7 +757,7 @@
 46.0000
 0.00000 

-[benchmark_25](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_25.citl)
+[benchmark_25](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_25.citl)
 ACTS IPOGD 
 2.85660
 0.134804 
@@ -794,7 +794,7 @@
 52.0000
 0.00000 

-[benchmark_26](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_26.citl)
+[benchmark_26](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_26.citl)
 ACTS IPOGD 
 1.41360
 0.0742283 
@@ -831,7 +831,7 @@
 34.0000
 0.00000 

-[benchmark_27](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_27.citl)
+[benchmark_27](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_27.citl)
 ACTS IPOGD 
 0.489400
 0.0396515 
@@ -868,7 +868,7 @@
 37.0000
 0.00000 

-[benchmark_28](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_28.citl)
+[benchmark_28](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_28.citl)
 ACTS IPOGD 
 4.72200
 0.221476 
@@ -905,7 +905,7 @@
 52.0000
 0.00000 

-[benchmark_29](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_29.citl)
+[benchmark_29](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_29.citl)
 ACTS IPOGD 
 0.697600
 0.0536231 
@@ -942,7 +942,7 @@
 31.0000
 0.00000 

-[benchmark_02](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_02.citl)
+[benchmark_02](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_02.citl)
 ACTS IPOGD 
 0.858000
 0.0821779 
@@ -979,7 +979,7 @@
 33.0000
 0.00000 

-[benchmark_30](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_30.citl)
+[benchmark_30](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_30.citl)
 ACTS IPOGD 
 0.763000
 0.0259461 
@@ -1016,7 +1016,7 @@
 23.0000
 0.00000 

-[benchmark_03](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_03.citl)
+[benchmark_03](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_03.citl)
 ACTS IPOGD 
 0.0706000
 0.00361109 
@@ -1053,7 +1053,7 @@
 18.0000
 0.00000 

-[benchmark_04](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_04.citl)
+[benchmark_04](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_04.citl)
 ACTS IPOGD 
 0.307200
 0.0200340 
@@ -1090,7 +1090,7 @@
 25.0000
 0.00000 

-[benchmark_05](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_05.citl)
+[benchmark_05](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_05.citl)
 ACTS IPOGD 
 5.85760
 0.220244 
@@ -1127,7 +1127,7 @@
 48.0000
 0.00000 

-[benchmark_06](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_06.citl)
+[benchmark_06](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_06.citl)
 ACTS IPOGD 
 0.706000
 0.0702851 
@@ -1164,7 +1164,7 @@
 29.0000
 0.00000 

-[benchmark_07](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_07.citl)
+[benchmark_07](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_07.citl)
 ACTS IPOGD 
 0.0636000
 0.00960417 
@@ -1201,7 +1201,7 @@
 12.0000
 0.00000 

-[benchmark_08](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_08.citl)
+[benchmark_08](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_08.citl)
 ACTS IPOGD 
 3.85220
 0.177172 
@@ -1238,7 +1238,7 @@
 43.0000
 0.00000 

-[benchmark_09](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/benchmark_09.citl)
+[benchmark_09](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/benchmark_09.citl)
 ACTS IPOGD 
 0.724600
 0.0595033 
@@ -1275,7 +1275,7 @@
 23.0000
 0.00000 

-[bugzilla](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/bugzilla.citl)
+[bugzilla](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/bugzilla.citl)
 ACTS IPOGD 
 0.0290000
 0.00209762 
@@ -1312,7 +1312,7 @@
 18.0000
 0.00000 

-[CCA1](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/CCA1.citl)
+[CCA1](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/CCA1.citl)
 ACTS IPOGD 
 0.0452000
 0.00491528 
@@ -1349,7 +1349,7 @@
 9.00000
 0.00000 

-[CCA2](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/CCA2.citl)
+[CCA2](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/CCA2.citl)
 ACTS IPOGD 
 0.0438000
 0.00324962 
@@ -1386,7 +1386,7 @@
 18.0000
 0.00000 

-[CCA3](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/CCA3.citl)
+[CCA3](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/CCA3.citl)
 ACTS IPOGD 
 0.0604000
 0.00402989 
@@ -1423,7 +1423,7 @@
 28.0000
 0.00000 

-[CCA4](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/CCA4.citl)
+[CCA4](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/CCA4.citl)
 ACTS IPOGD 
 0.0790000
 0.00965402 
@@ -1460,7 +1460,7 @@
 38.0000
 0.00000 

-[CCA5](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/CCA5.citl)
+[CCA5](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/CCA5.citl)
 ACTS IPOGD 
 0.0842000
 0.00470744 
@@ -1497,7 +1497,7 @@
 53.0000
 0.00000 

-[CCA6](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/CCA6.citl)
+[CCA6](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/CCA6.citl)
 ACTS IPOGD 
 0.0620000
 0.00296648 
@@ -1534,7 +1534,7 @@
 29.0000
 0.00000 

-[CCA7](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/CCA7.citl)
+[CCA7](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/CCA7.citl)
 ACTS IPOGD 
 0.0820000
 0.00275681 
@@ -1571,7 +1571,7 @@
 43.0000
 0.00000 

-[CCA8](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/CCA8.citl)
+[CCA8](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/CCA8.citl)
 ACTS IPOGD 
 0.131600
 0.00265330 
@@ -1608,7 +1608,7 @@
 57.0000
 0.00000 

-[CommProtocol](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/CommProtocol.citl)
+[CommProtocol](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/CommProtocol.citl)
 ACTS IPOGD 
 3.05220
 0.265064 
@@ -1645,7 +1645,7 @@
 22.0000
 0.00000 

-[Concurrency](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Concurrency.citl)
+[Concurrency](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Concurrency.citl)
 ACTS IPOGD 
 0.0240000
 0.00309839 
@@ -1682,7 +1682,7 @@
 5.00000
 0.00000 

-[gcc](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/gcc.citl)
+[gcc](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/gcc.citl)
 ACTS IPOGD 
 0.676200
 0.0600213 
@@ -1719,7 +1719,7 @@
 24.0000
 0.00000 

-[Healthcare1](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Healthcare1.citl)
+[Healthcare1](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Healthcare1.citl)
 ACTS IPOGD 
 0.106800
 0.0118895 
@@ -1756,7 +1756,7 @@
 30.0000
 0.00000 

-[Healthcare2](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Healthcare2.citl)
+[Healthcare2](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Healthcare2.citl)
 ACTS IPOGD 
 0.233000
 0.00756307 
@@ -1793,7 +1793,7 @@
 16.0000
 0.00000 

-[Healthcare3](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Healthcare3.citl)
+[Healthcare3](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Healthcare3.citl)
 ACTS IPOGD 
 0.546800
 0.0867488 
@@ -1830,7 +1830,7 @@
 35.0000
 0.00000 

-[Healthcare4](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Healthcare4.citl)
+[Healthcare4](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Healthcare4.citl)
 ACTS IPOGD 
 0.361400
 0.0184673 
@@ -1867,7 +1867,7 @@
 47.0000
 0.00000 

-[mobile_phone](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/mobile_phone.citl)
+[mobile_phone](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/mobile_phone.citl)
 ACTS IPOGD 
 0.0570000
 0.00414729 
@@ -1904,7 +1904,7 @@
 10.0000
 0.00000 

-[NetworkMgmt](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/NetworkMgmt.citl)
+[NetworkMgmt](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/NetworkMgmt.citl)
 ACTS IPOGD 
 0.216400
 0.0145685 
@@ -1941,7 +1941,7 @@
 110.000
 0.00000 

-[ProcessorComm1](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/ProcessorComm1.citl)
+[ProcessorComm1](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/ProcessorComm1.citl)
 ACTS IPOGD 
 0.107200
 0.00604649 
@@ -1978,7 +1978,7 @@
 26.0000
 0.00000 

-[Services](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Services.citl)
+[Services](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Services.citl)
 ACTS IPOGD 
 16.9972
 0.505828 
@@ -2015,7 +2015,7 @@
 106.000
 0.00000 

-[spin_simulator](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/spin_simulator.citl)
+[spin_simulator](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/spin_simulator.citl)
 ACTS IPOGD 
 0.131800
 0.00719444 
@@ -2052,7 +2052,7 @@
 23.0000
 0.00000 

-[spin_verifier](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/spin_verifier.citl)
+[spin_verifier](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/spin_verifier.citl)
 ACTS IPOGD 
 0.487000
 0.0297993 
@@ -2089,7 +2089,7 @@
 41.0000
 0.00000 

-[Storage1](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Storage1.citl)
+[Storage1](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Storage1.citl)
 ACTS IPOGD 
 0.473400
 0.0327939 
@@ -2126,7 +2126,7 @@
 18.0000
 0.00000 

-[Storage3](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Storage3.citl)
+[Storage3](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Storage3.citl)
 ACTS IPOGD 
 1.06260
 0.0412873 
@@ -2163,7 +2163,7 @@
 50.0000
 0.00000 

-[Storage4](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Storage4.citl)
+[Storage4](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Storage4.citl)
 ACTS IPOGD 
 0.107200
 0.00495581 
@@ -2200,7 +2200,7 @@
 118.000
 0.00000 

-[Storage5](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Storage5.citl)
+[Storage5](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Storage5.citl)
 ACTS IPOGD 
 2.98740
 0.218048 
@@ -2237,7 +2237,7 @@
 226.000
 0.00000 

-[SystemMgmt](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/SystemMgmt.citl)
+[SystemMgmt](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/SystemMgmt.citl)
 ACTS IPOGD 
 0.0680000
 0.00651153 
@@ -2274,7 +2274,7 @@
 16.0000
 0.00000 

-[Telecom](http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/constrained/Telecom.citl)
+[Telecom](http://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/constrained/Telecom.citl)
 ACTS IPOGD 
 0.107400
 0.00484149

BenchmarksConstraints_2013_05_13 modified by Anonymous

Anonymous — Wed, 22 Apr 2015 08:20:28 -0000

benchmarking with constraints

date of execution: 2013/05/21 14:17:41

number of runs: 5

CASA: Covering Arrays by Simulated Annealing (CASA) 1.1

ACTS: acts_cmd_beta_v2_r2.8.jar

medici: v1: (20, 25, 5, 200) - v2: (30, 50, 10, 500)

model
generator
time avg.
time stddev.
size avg.
size stddev.

apache
ACTS IPOGD
0.953800
0.727770
33.0000
0.00000

CASA
173.333
159.882
32.4000
1.35647

medici (v1)
384.081
28.4391
30.6000
0.489898

ACTS IPOG
0.238600
0.00788923
33.0000
0.00000

medici (v2)
542.114
60.7141
30.0000
0.00000

ACTS IPOF
0.439000
0.120017
33.0000
0.00000

Banking1
ACTS IPOGD
0.954000
0.620161
15.0000
0.00000

CASA
0.255000
0.0272983
13.0000
0.00000

medici (v1)
0.615400
0.0191479
13.0000
0.00000

ACTS IPOG
0.607600
0.0720183
15.0000
0.00000

medici (v2)
0.807600
0.0709214
13.0000
0.00000

ACTS IPOF
0.652600
0.0122898
17.0000
0.00000

Banking2
ACTS IPOGD
0.0132000
0.00240000
11.0000
0.00000

CASA
1.19380
0.530905
10.2000
0.400000

medici (v1)
0.878600
0.0510866
11.0000
0.00000

ACTS IPOG
0.0120000
0.000632456
11.0000
0.00000

medici (v2)
5.46100
0.197670
11.0000
0.00000

ACTS IPOF
0.0118000
0.000400000
12.0000
0.00000

bbs
ACTS IPOGD
0.0162000
0.00491528
11.0000
0.00000

CASA
0.133200
0.0149586
11.0000
0.00000

medici (v1)
0.203800
0.0212546
10.0000
0.00000

ACTS IPOG
0.0156000
0.000800000
11.0000
0.00000

medici (v2)
0.285200
0.0152630
10.0000
0.00000

ACTS IPOF
0.0158000
0.000748332
12.0000
0.00000

benchmark_10
ACTS IPOGD
5.22560
0.294507
47.0000
0.00000

CASA
1531.08
1192.92
43.8000
1.32665

medici (v1)
355.987
15.0701
44.6000
0.489898

ACTS IPOG
5.05040
0.133026
47.0000
0.00000

medici (v2)
543.418
8.92708
44.6000
0.489898

ACTS IPOF
5.20460
0.147955
44.0000
0.00000

benchmark_11
ACTS IPOGD
2.07020
0.0523159
47.0000
0.00000

CASA
218.538
164.232
43.0000
0.632456

medici (v1)
92.2342
4.61429
44.2000
0.400000

ACTS IPOG
2.18040
0.119589
47.0000
0.00000

medici (v2)
152.459
11.1443
44.0000
0.00000

ACTS IPOF
2.20180
0.187120
44.0000
0.00000

benchmark_12
ACTS IPOGD
2.80420
0.219433
43.0000
0.00000

CASA
1022.60
1554.85
40.6000
1.74356

medici (v1)
270.112
14.2835
38.8000
0.400000

ACTS IPOG
2.61100
0.112301
43.0000
0.00000

medici (v2)
431.807
16.6944
37.8000
0.400000

ACTS IPOF
2.35780
0.0847287
39.0000
0.00000

benchmark_13
ACTS IPOGD
1.15900
0.0419190
40.0000
0.00000

CASA
105.498
90.6882
37.2000
1.60000

medici (v1)
179.351
10.2471
36.0000
0.00000

ACTS IPOG
1.26640
0.109520
40.0000
0.00000

medici (v2)
267.598
13.5507
36.0000
0.00000

ACTS IPOF
1.35380
0.0721177
37.0000
0.00000

benchmark_14
ACTS IPOGD
0.496000
0.0285727
39.0000
0.00000

CASA
41.2932
14.4918
38.8000
1.60000

medici (v1)
68.0970
2.48680
36.2000
0.400000

ACTS IPOG
0.470800
0.0224268
39.0000
0.00000

medici (v2)
113.838
2.85033
36.0000
0.00000

ACTS IPOF
0.554200
0.0401965
37.0000
0.00000

benchmark_15
ACTS IPOGD
0.508800
0.0522662
32.0000
0.00000

CASA
11.8776
3.90723
32.2000
1.16619

medici (v1)
18.3402
1.51712
30.2000
0.400000

ACTS IPOG
0.487200
0.0332650
32.0000
0.00000

medici (v2)
36.5320
1.33655
30.2000
0.400000

ACTS IPOF
0.498600
0.0238378
31.0000
0.00000

benchmark_16
ACTS IPOGD
1.02860
0.154605
25.0000
0.00000

CASA
20.5940
16.1484
25.4000
1.74356

medici (v1)
34.5414
0.697221
24.0000
0.00000

ACTS IPOG
0.960400
0.0355224
25.0000
0.00000

medici (v2)
57.0472
2.72072
24.0000
0.00000

ACTS IPOF
1.23920
0.0339847
29.0000
0.00000

benchmark_17
ACTS IPOGD
2.37520
0.0404841
41.0000
0.00000

CASA
159.524
108.234
41.0000
1.78885

medici (v1)
243.314
13.4270
38.4000
0.489898

ACTS IPOG
2.53100
0.157433
41.0000
0.00000

medici (v2)
392.380
39.8468
38.0000
0.00000

ACTS IPOF
2.55040
0.135503
39.0000
0.00000

benchmark_18
ACTS IPOGD
1.91020
0.113760
52.0000
0.00000

CASA
1208.34
1214.05
42.0000
2.09762

medici (v1)
438.161
10.2916
44.0000
0.632456

ACTS IPOG
1.80580
0.0400170
52.0000
0.00000

medici (v2)
642.376
14.4845
44.0000
0.00000

ACTS IPOF
1.92080
0.191285
47.0000
0.00000

benchmark_19
ACTS IPOGD
5.99500
0.360269
51.0000
0.00000

CASA
451.798
169.065
48.8000
0.979796

medici (v1)
1342.90
23.4541
47.8000
0.400000

ACTS IPOG
5.79280
0.395020
51.0000
0.00000

medici (v2)
1929.52
53.9714
47.4000
0.489898

ACTS IPOF
6.31900
0.411631
50.0000
0.00000

benchmark_01
ACTS IPOGD
1.51520
0.0565735
48.0000
0.00000

CASA
448.238
194.615
38.0000
0.632456

medici (v1)
108.435
4.33475
41.2000
0.400000

ACTS IPOG
1.49160
0.0461849
48.0000
0.00000

medici (v2)
158.568
3.66008
41.0000
0.632456

ACTS IPOF
1.64440
0.169864
45.0000
0.00000

benchmark_20
ACTS IPOGD
12.0074
0.324780
60.0000
0.00000

CASA
5924.78
4603.16
53.0000
0.632456

medici (v1)
556.283
18.3670
55.8000
0.400000

ACTS IPOG
10.7850
0.524759
60.0000
0.00000

medici (v2)
822.701
8.90873
55.4000
0.800000

ACTS IPOF
10.0248
0.350133
56.0000
0.00000

benchmark_21
ACTS IPOGD
1.42320
0.0933261
39.0000
0.00000

CASA
58.2022
32.1207
37.0000
1.09545

medici (v1)
45.7762
2.53098
36.2000
0.400000

ACTS IPOG
1.25820
0.0421018
39.0000
0.00000

medici (v2)
82.8096
3.88777
36.0000
0.00000

ACTS IPOF
1.85020
0.0576312
37.0000
0.00000

benchmark_22
ACTS IPOGD
0.564800
0.0146888
37.0000
0.00000

CASA
12.7676
1.12892
36.2000
0.400000

medici (v1)
34.8970
1.30653
36.0000
0.00000

ACTS IPOG
0.540400
0.00956243
37.0000
0.00000

medici (v2)
64.8840
2.79881
36.0000
0.00000

ACTS IPOF
0.972400
0.106468
36.0000
0.00000

benchmark_23
ACTS IPOGD
0.0848000
0.00462169
14.0000
0.00000

CASA
3.67260
1.21834
12.2000
0.400000

medici (v1)
1.86500
0.0600433
12.0000
0.00000

ACTS IPOG
0.0826000
0.00233238
14.0000
0.00000

medici (v2)
5.78660
0.0672238
12.0000
0.00000

ACTS IPOF
0.0926000
0.00162481
13.0000
0.00000

benchmark_24
ACTS IPOGD
2.49180
0.0846224
48.0000
0.00000

CASA
1547.17
1814.47
42.8000
1.16619

medici (v1)
159.764
7.19667
45.4000
0.489898

ACTS IPOG
2.73500
0.137042
48.0000
0.00000

medici (v2)
234.051
9.42663
45.4000
0.489898

ACTS IPOF
2.52300
0.166802
46.0000
0.00000

benchmark_25
ACTS IPOGD
2.85660
0.134804
52.0000
0.00000

CASA
1913.27
1551.97
51.6000
5.60714

medici (v1)
360.491
19.8882
51.2000
0.400000

ACTS IPOG
3.08180
0.227654
52.0000
0.00000

medici (v2)
518.592
7.97794
50.6000
0.800000

ACTS IPOF
3.12320
0.0154713
52.0000
0.00000

benchmark_26
ACTS IPOGD
1.41360
0.0742283
34.0000
0.00000

CASA
46.8698
16.3276
32.0000
0.894427

medici (v1)
64.1310
2.56852
32.4000
0.489898

ACTS IPOG
1.48860
0.146369
34.0000
0.00000

medici (v2)
104.328
4.62126
31.6000
0.489898

ACTS IPOF
1.51600
0.0316165
34.0000
0.00000

benchmark_27
ACTS IPOGD
0.489400
0.0396515
37.0000
0.00000

CASA
25.5994
28.6287
36.4000
0.800000

medici (v1)
24.1546
0.493381
36.0000
0.00000

ACTS IPOG
0.441200
0.00730479
37.0000
0.00000

medici (v2)
48.4862
1.23770
36.0000
0.00000

ACTS IPOF
0.598600
0.0857055
37.0000
0.00000

benchmark_28
ACTS IPOGD
4.72200
0.221476
57.0000
0.00000

CASA
3367.25
2730.31
50.2000
0.979796

medici (v1)
2329.83
88.2529
52.4000
0.489898

ACTS IPOG
4.43500
0.145735
57.0000
0.00000

medici (v2)
3435.06
70.9405
52.0000
0.00000

ACTS IPOF
4.69960
0.272947
52.0000
0.00000

benchmark_29
ACTS IPOGD
0.697600
0.0536231
29.0000
0.00000

CASA
61.4224
22.3990
30.6000
0.800000

medici (v1)
223.510
4.31579
25.8000
0.400000

ACTS IPOG
0.634400
0.0292000
29.0000
0.00000

medici (v2)
350.239
10.0041
25.4000
0.489898

ACTS IPOF
0.857000
0.0454137
31.0000
0.00000

benchmark_02
ACTS IPOGD
0.858000
0.0821779
32.0000
0.00000

CASA
64.7966
51.3741
31.4000
1.20000

medici (v1)
65.7326
2.15431
30.0000
0.00000

ACTS IPOG
0.799400
0.0596376
32.0000
0.00000

medici (v2)
103.478
3.42661
30.0000
0.00000

ACTS IPOF
1.04440
0.0469877
33.0000
0.00000

benchmark_30
ACTS IPOGD
0.763000
0.0259461
22.0000
0.00000

CASA
11.8456
4.27512
20.4000
0.489898

medici (v1)
23.9886
0.396311
19.0000
0.00000

ACTS IPOG
0.772200
0.0510114
22.0000
0.00000

medici (v2)
40.9738
1.21400
18.4000
0.489898

ACTS IPOF
0.920600
0.0752824
23.0000
0.00000

benchmark_03
ACTS IPOGD
0.0706000
0.00361109
19.0000
0.00000

CASA
1.19080
0.0917309
18.4000
0.489898

medici (v1)
2.49540
0.104682
18.0000
0.00000

ACTS IPOG
0.0694000
0.00224499
19.0000
0.00000

medici (v2)
6.70700
0.0748171
18.0000
0.00000

ACTS IPOF
0.0766000
0.00174356
18.0000
0.00000

benchmark_04
ACTS IPOGD
0.307200
0.0200340
22.0000
0.00000

CASA
15.8968
7.53697
21.2000
1.16619

medici (v1)
12.3060
0.403874
20.2000
0.400000

ACTS IPOG
0.305200
0.0229033
22.0000
0.00000

medici (v2)
22.6018
0.278827
20.0000
0.00000

ACTS IPOF
0.349600
0.00185473
25.0000
0.00000

benchmark_05
ACTS IPOGD
5.85760
0.220244
54.0000
0.00000

CASA
578.055
494.319
55.0000
7.15542

medici (v1)
790.091
15.5564
48.6000
0.489898

ACTS IPOG
5.97260
0.286374
54.0000
0.00000

medici (v2)
1129.27
4.59400
48.6000
0.489898

ACTS IPOF
5.59940
0.143327
48.0000
0.00000

benchmark_06
ACTS IPOGD
0.706000
0.0702851
25.0000
0.00000

CASA
19.9494
11.1404
25.0000
1.26491

medici (v1)
23.8076
1.05664
24.0000
0.00000

ACTS IPOG
0.657000
0.0334664
25.0000
0.00000

medici (v2)
41.1398
1.63528
24.0000
0.00000

ACTS IPOF
0.993800
0.0759458
29.0000
0.00000

benchmark_07
ACTS IPOGD
0.0636000
0.00960417
12.0000
0.00000

CASA
0.816000
0.0507622
9.00000
0.00000

medici (v1)
1.74560
0.0631335
11.0000
0.00000

ACTS IPOG
0.0562000
0.00146969
12.0000
0.00000

medici (v2)
4.04260
0.0678810
10.2000
0.400000

ACTS IPOF
0.0580000
0.00000
12.0000
0.00000

benchmark_08
ACTS IPOGD
3.85220
0.177172
47.0000
0.00000

CASA
450.022
308.624
41.8000
2.22711

medici (v1)
151.953
4.63810
42.2000
0.400000

ACTS IPOG
3.48740
0.115600
47.0000
0.00000

medici (v2)
226.490
5.21969
42.0000
0.632456

ACTS IPOF
3.33580
0.105469
43.0000
0.00000

benchmark_09
ACTS IPOGD
0.724600
0.0595033
22.0000
0.00000

CASA
11.1214
0.152911
20.0000
0.00000

medici (v1)
12.4126
1.03972
20.0000
0.00000

ACTS IPOG
0.684600
0.0357916
22.0000
0.00000

medici (v2)
20.7932
0.465119
20.0000
0.00000

ACTS IPOF
0.848200
0.0476126
23.0000
0.00000

bugzilla
ACTS IPOGD
0.0290000
0.00209762
19.0000
0.00000

CASA
4.72880
1.20151
16.8000
1.16619

medici (v1)
8.36760
0.191261
16.0000
0.00000

ACTS IPOG
0.0286000
0.000489897
19.0000
0.00000

medici (v2)
15.6238
0.778010
16.0000
0.00000

ACTS IPOF
0.0428000
0.00213541
18.0000
0.00000

CCA1
ACTS IPOGD
0.0452000
0.00491528
10.0000
0.00000

CASA
0.133000
0.000894429
9.00000
0.00000

medici (v1)
0.0562000
0.000399999
9.00000
0.00000

ACTS IPOG
0.0394000
0.000800000
10.0000
0.00000

medici (v2)
0.0802000
0.00193907
9.00000
0.00000

ACTS IPOF
0.0338000
0.00318748
9.00000
0.00000

CCA2
ACTS IPOGD
0.0438000
0.00324962
19.0000
0.00000

CASA
0.137000
0.00109544
17.0000
0.00000

medici (v1)
0.204600
0.00873155
17.0000
0.00000

ACTS IPOG
0.0386000
0.00249800
19.0000
0.00000

medici (v2)
0.294800
0.00466476
17.0000
0.00000

ACTS IPOF
0.0354000
0.00233238
18.0000
0.00000

CCA3
ACTS IPOGD
0.0604000
0.00402989
28.0000
0.00000

CASA
0.270000
0.227000
26.8000
0.400000

medici (v1)
0.508000
0.0422327
26.0000
0.00000

ACTS IPOG
0.0450000
0.000632456
28.0000
0.00000

medici (v2)
0.728000
0.0386471
26.0000
0.00000

ACTS IPOF
0.0520000
0.00433590
28.0000
0.00000

CCA4
ACTS IPOGD
0.0790000
0.00965402
39.0000
0.00000

CASA
0.365000
0.0592756
36.8000
0.400000

medici (v1)
1.26120
0.0535851
36.4000
0.489898

ACTS IPOG
0.0672000
0.00183303
39.0000
0.00000

medici (v2)
2.12640
0.239776
36.0000
0.00000

ACTS IPOF
0.0650000
0.00178885
38.0000
0.00000

CCA5
ACTS IPOGD
0.0842000
0.00470744
54.0000
0.00000

CASA
1.25800
1.26655
51.8000
0.748331

medici (v1)
3.15900
0.120371
52.0000
0.00000

ACTS IPOG
0.0824000
0.00257682
54.0000
0.00000

medici (v2)
4.61980
0.128205
51.8000
0.400000

ACTS IPOF
0.0808000
0.00222711
53.0000
0.00000

CCA6
ACTS IPOGD
0.0620000
0.00296648
31.0000
0.00000

CASA
0.741000
0.470123
27.4000
0.489898

medici (v1)
1.94080
0.0414410
27.8000
0.748331

ACTS IPOG
0.0606000
0.00195959
31.0000
0.00000

medici (v2)
2.84000
0.0449177
28.0000
0.00000

ACTS IPOF
0.0560000
0.00154919
29.0000
0.00000

CCA7
ACTS IPOGD
0.0820000
0.00275681
44.0000
0.00000

CASA
0.789600
0.559097
40.6000
1.01980

medici (v1)
5.00540
0.101316
40.4000
0.489898

ACTS IPOG
0.0816000
0.00135647
44.0000
0.00000

medici (v2)
8.00700
0.296217
40.4000
0.489898

ACTS IPOF
0.0784000
0.00215407
43.0000
0.00000

CCA8
ACTS IPOGD
0.131600
0.00265330
62.0000
0.00000

CASA
3.89900
3.36943
54.8000
1.60000

medici (v1)
4.98520
0.0820498
55.0000
0.632456

ACTS IPOG
0.126600
0.00233238
62.0000
0.00000

medici (v2)
19.0000
0.228052
54.8000
0.400000

ACTS IPOF
0.121800
0.00299333
57.0000
0.00000

CommProtocol
ACTS IPOGD
3.05220
0.265064
19.0000
0.00000

CASA
2.29900
0.448846
16.0000
0.00000

medici (v1)
1.00160
0.00382621
17.8000
0.400000

ACTS IPOG
2.86540
0.160639
19.0000
0.00000

medici (v2)
3.87880
0.0727884
18.0000
0.00000

ACTS IPOF
3.61880
0.115401
22.0000
0.00000

Concurrency
ACTS IPOGD
0.0240000
0.00309839
6.00000
0.00000

CASA
0.203600
0.0305261
5.00000
0.00000

medici (v1)
0.0656000
0.000489899
5.00000
0.00000

ACTS IPOG
0.0276000
0.00272764
6.00000
0.00000

medici (v2)
0.0920000
0.000632457
5.00000
0.00000

ACTS IPOF
0.0240000
0.00000
5.00000
0.00000

gcc
ACTS IPOGD
0.676200
0.0600213
23.0000
0.00000

CASA
813.372
235.465
22.0000
1.89737

medici (v1)
444.920
21.6285
20.6000
0.489898

ACTS IPOG
0.591400
0.0338207
23.0000
0.00000

medici (v2)
649.874
13.3322
20.6000
0.489898

ACTS IPOF
0.949600
0.0494474
24.0000
0.00000

Healthcare1
ACTS IPOGD
0.106800
0.0118895
30.0000
0.00000

CASA
0.429000
0.0435890
30.0000
0.00000

medici (v1)
2.26260
0.113375
30.0000
0.00000

ACTS IPOG
0.0858000
0.00172047
30.0000
0.00000

medici (v2)
7.97200
0.0721996
30.0000
0.00000

ACTS IPOF
0.0922000
0.00146969
30.0000
0.00000

Healthcare2
ACTS IPOGD
0.233000
0.00756307
16.0000
0.00000

CASA
1.87780
2.67311
14.8000
0.400000

medici (v1)
1.30160
0.0609610
15.6000
0.489898

ACTS IPOG
0.223800
0.0211130
16.0000
0.00000

medici (v2)
8.19080
0.0990221
15.2000
0.400000

ACTS IPOF
0.221000
0.0293121
16.0000
0.00000

Healthcare3
ACTS IPOGD
0.546800
0.0867488
38.0000
0.00000

CASA
4.01780
1.91909
35.6000
1.01980

medici (v1)
7.81060
0.307618
35.4000
0.489898

ACTS IPOG
0.416200
0.0186376
38.0000
0.00000

medici (v2)
22.9592
0.264269
35.4000
0.489898

ACTS IPOF
0.433400
0.0329824
35.0000
0.00000

Healthcare4
ACTS IPOGD
0.361400
0.0184673
49.0000
0.00000

CASA
15.7490
9.65032
47.2000
0.748331

medici (v1)
18.1434
0.692819
46.2000
0.400000

ACTS IPOG
0.369200
0.0342894
49.0000
0.00000

medici (v2)
40.0136
1.01418
46.6000
0.489898

ACTS IPOF
0.405200
0.0196611
47.0000
0.00000

mobile_phone
ACTS IPOGD
0.0570000
0.00414729
11.0000
0.00000

CASA
0.336600
0.0112534
9.00000
0.00000

medici (v1)
0.188200
0.00376297
9.00000
0.00000

ACTS IPOG
0.0536000
0.00185472
11.0000
0.00000

medici (v2)
0.250400
0.0205777
9.00000
0.00000

ACTS IPOF
0.0444000
0.00440908
10.0000
0.00000

NetworkMgmt
ACTS IPOGD
0.216400
0.0145685
112.000
0.00000

CASA
43.5382
69.4372
115.800
4.06940

medici (v1)
10.0744
0.0970969
111.800
0.400000

ACTS IPOG
0.216200
0.0156128
112.000
0.00000

medici (v2)
67.3322
1.16367
111.600
1.20000

ACTS IPOF
0.204800
0.00248194
110.000
0.00000

ProcessorComm1
ACTS IPOGD
0.107200
0.00604649
29.0000
0.00000

CASA
8.47960
12.9856
23.8000
0.979796

medici (v1)
2.52580
0.0309993
26.8000
0.400000

ACTS IPOG
0.103400
0.00402989
29.0000
0.00000

medici (v2)
10.6014
0.169561
27.0000
0.00000

ACTS IPOF
0.0906000
0.00287054
26.0000
0.00000

Services
ACTS IPOGD
16.9972
0.505828
106.000
0.00000

CASA
10.0994
2.21739
103.600
1.95959

medici (v1)
17.7184
1.79857
102.400
0.489898

ACTS IPOG
17.1836
0.765590
106.000
0.00000

medici (v2)
65.6902
1.97105
102.000
0.00000

ACTS IPOF
16.6674
0.245220
106.000
0.00000

spin_simulator
ACTS IPOGD
0.131800
0.00719444
26.0000
0.00000

CASA
6.29760
4.18941
20.8000
1.46969

medici (v1)
2.17480
0.106623
21.0000
0.00000

ACTS IPOG
0.128800
0.00563560
26.0000
0.00000

medici (v2)
9.43460
0.183522
20.6000
0.489898

ACTS IPOF
0.127600
0.00272764
23.0000
0.00000

spin_verifier
ACTS IPOGD
0.487000
0.0297993
45.0000
0.00000

CASA
55.3932
23.9498
38.0000
1.89737

medici (v1)
29.6946
2.35856
40.6000
1.01980

ACTS IPOG
0.530800
0.0349937
45.0000
0.00000

medici (v2)
47.4858
1.20269
39.8000
0.400000

ACTS IPOF
0.576400
0.0357245
41.0000
0.00000

Storage1
ACTS IPOGD
0.473400
0.0327939
17.0000
0.00000

CASA
0.531400
0.0288694
17.4000
0.489898

medici (v1)
0.201600
0.00272764
17.0000
0.00000

ACTS IPOG
0.499400
0.0393375
17.0000
0.00000

medici (v2)
0.292600
0.00233238
17.0000
0.00000

ACTS IPOF
0.532200
0.0409214
18.0000
0.00000

Storage3
ACTS IPOGD
1.06260
0.0412873
50.0000
0.00000

CASA
2.02740
0.915961
51.4000
1.35647

medici (v1)
4.81220
0.0515651
50.2000
0.400000

ACTS IPOG
1.07480
0.0811108
50.0000
0.00000

medici (v2)
19.0874
0.375571
50.0000
0.00000

ACTS IPOF
1.08980
0.0967128
50.0000
0.00000

Storage4
ACTS IPOGD
0.107200
0.00495581
121.000
0.00000

CASA
7.51800
2.35096
117.200
0.400000

medici (v1)
19.5552
0.306986
117.000
0.00000

ACTS IPOG
0.102000
0.00532917
121.000
0.00000

medici (v2)
73.0736
0.916822
117.000
0.00000

ACTS IPOF
0.116800
0.000979795
118.000
0.00000

Storage5
ACTS IPOGD
2.98740
0.218048
218.000
0.00000

CASA
208.817
84.3970
218.000
3.03315

medici (v1)
76.3374
1.17079
230.600
0.489898

ACTS IPOG
2.95980
0.100811
218.000
0.00000

medici (v2)
254.002
18.6215
228.800
0.979796

ACTS IPOF
3.92200
0.0787832
226.000
0.00000

SystemMgmt
ACTS IPOGD
0.0680000
0.00651153
17.0000
0.00000

CASA
0.415600
0.0132906
17.4000
1.20000

medici (v1)
1.33440
0.0608132
15.0000
0.00000

ACTS IPOG
0.0664000
0.00101981
17.0000
0.00000

medici (v2)
4.05280
0.0687092
15.0000
0.00000

ACTS IPOF
0.0762000
0.00435431
16.0000
0.00000

Telecom
ACTS IPOGD
0.107400
0.00484149
30.0000
0.00000

CASA
0.515800
0.0742170
30.4000
0.489898

medici (v1)
1.98600
0.0684485
30.0000
0.00000

ACTS IPOG
0.107600
0.00823650
30.0000
0.00000

medici (v2)
12.2056
0.240992
30.0000
0.00000

ACTS IPOF
0.112400
0.00195959
30.0000
0.00000

The sum is

generator
sum of size avg
sum of time avg

ACTS IPOF
2410
96,3184

ACTS IPOG
2466
91,9836

ACTS IPOGD
2466
95,3994

CASA
2336
20703,2328

medici (v1)
2327,8
9090,0822

medici (v2)
2316,2
13886,4536