diff options
Diffstat (limited to 'Tests/Ecore-Plugin/outputs/statistics.csv')
-rw-r--r-- | Tests/Ecore-Plugin/outputs/statistics.csv | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/Tests/Ecore-Plugin/outputs/statistics.csv b/Tests/Ecore-Plugin/outputs/statistics.csv new file mode 100644 index 00000000..2b912cc5 --- /dev/null +++ b/Tests/Ecore-Plugin/outputs/statistics.csv | |||
@@ -0,0 +1,64 @@ | |||
1 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;_Solution2FoundAt;_Solution3FoundAt;_Solution4FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
2 | 1;1;ModelResultImpl;963;10981;20587;28028267344;944;963;974;985;998;675;331;46;0;41 | ||
3 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;_Solution2FoundAt;_Solution3FoundAt;_Solution4FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
4 | 2;1;ModelResultImpl;1485;7933;16659;19719216169;660;682;697;715;728;533;354;29;0;55 | ||
5 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings | ||
6 | 2;1;ModelResultImpl;1032;4928;-1;660853711;1387;1438;1485;1539;1580;859;[== is redundant, because the left and right expressions always have the same value. | ||
7 | Left type = {String} | ||
8 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
9 | Left type = {String} | ||
10 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
11 | Left type = {String} | ||
12 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
13 | Left type = {String} | ||
14 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
15 | Left type = {String} | ||
16 | Right type = {String}] | ||
17 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings | ||
18 | 2;1;ModelResultImpl;62;1991;-1;403150236;187;206;224;249;269;180;[== is redundant, because the left and right expressions always have the same value. | ||
19 | Left type = {String} | ||
20 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
21 | Left type = {String} | ||
22 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
23 | Left type = {String} | ||
24 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
25 | Left type = {String} | ||
26 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
27 | Left type = {String} | ||
28 | Right type = {String}] | ||
29 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings | ||
30 | 2;1;ModelResultImpl;1370;5611;-1;106059204862;983;1046;1085;1150;1184;481;[== is redundant, because the left and right expressions always have the same value. | ||
31 | Left type = {String} | ||
32 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
33 | Left type = {String} | ||
34 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
35 | Left type = {String} | ||
36 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
37 | Left type = {String} | ||
38 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
39 | Left type = {String} | ||
40 | Right type = {String}] | ||
41 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings | ||
42 | 2;1;ModelResultImpl;82;2461;-1;254200930176;282;310;343;374;403;169;[== is redundant, because the left and right expressions always have the same value. | ||
43 | Left type = {String} | ||
44 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
45 | Left type = {String} | ||
46 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
47 | Left type = {String} | ||
48 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
49 | Left type = {String} | ||
50 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
51 | Left type = {String} | ||
52 | Right type = {String}] | ||
53 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings | ||
54 | 2;1;ModelResultImpl;1159;5901;-1;200731387125;1011;1099;1186;1269;1371;365;[== is redundant, because the left and right expressions always have the same value. | ||
55 | Left type = {String} | ||
56 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
57 | Left type = {String} | ||
58 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
59 | Left type = {String} | ||
60 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
61 | Left type = {String} | ||
62 | Right type = {String},== is redundant, because the left and right expressions always have the same value. | ||
63 | Left type = {String} | ||
64 | Right type = {String}] | ||