aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/Ecore-Plugin/outputs/statistics.csv
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/Ecore-Plugin/outputs/statistics.csv')
-rw-r--r--Tests/Ecore-Plugin/outputs/statistics.csv64
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 @@
1Task;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
21;1;ModelResultImpl;963;10981;20587;28028267344;944;963;974;985;998;675;331;46;0;41
3Task;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
42;1;ModelResultImpl;1485;7933;16659;19719216169;660;682;697;715;728;533;354;29;0;55
5Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings
62;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.
7Left type = {String}
8Right type = {String},== is redundant, because the left and right expressions always have the same value.
9Left type = {String}
10Right type = {String},== is redundant, because the left and right expressions always have the same value.
11Left type = {String}
12Right type = {String},== is redundant, because the left and right expressions always have the same value.
13Left type = {String}
14Right type = {String},== is redundant, because the left and right expressions always have the same value.
15Left type = {String}
16Right type = {String}]
17Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings
182;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.
19Left type = {String}
20Right type = {String},== is redundant, because the left and right expressions always have the same value.
21Left type = {String}
22Right type = {String},== is redundant, because the left and right expressions always have the same value.
23Left type = {String}
24Right type = {String},== is redundant, because the left and right expressions always have the same value.
25Left type = {String}
26Right type = {String},== is redundant, because the left and right expressions always have the same value.
27Left type = {String}
28Right type = {String}]
29Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings
302;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.
31Left type = {String}
32Right type = {String},== is redundant, because the left and right expressions always have the same value.
33Left type = {String}
34Right type = {String},== is redundant, because the left and right expressions always have the same value.
35Left type = {String}
36Right type = {String},== is redundant, because the left and right expressions always have the same value.
37Left type = {String}
38Right type = {String},== is redundant, because the left and right expressions always have the same value.
39Left type = {String}
40Right type = {String}]
41Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings
422;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.
43Left type = {String}
44Right type = {String},== is redundant, because the left and right expressions always have the same value.
45Left type = {String}
46Right type = {String},== is redundant, because the left and right expressions always have the same value.
47Left type = {String}
48Right type = {String},== is redundant, because the left and right expressions always have the same value.
49Left type = {String}
50Right type = {String},== is redundant, because the left and right expressions always have the same value.
51Left type = {String}
52Right type = {String}]
53Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;Answer0Time;Answer1Time;Answer2Time;Answer3Time;Answer4Time;Alloy2KodKodTransformationTime;warnings
542;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.
55Left type = {String}
56Right type = {String},== is redundant, because the left and right expressions always have the same value.
57Left type = {String}
58Right type = {String},== is redundant, because the left and right expressions always have the same value.
59Left type = {String}
60Right type = {String},== is redundant, because the left and right expressions always have the same value.
61Left type = {String}
62Right type = {String},== is redundant, because the left and right expressions always have the same value.
63Left type = {String}
64Right type = {String}]
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-16 23:20:59 +0000