diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-16 15:45:14 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-16 15:45:14 -0500 |
commit | 1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952 (patch) | |
tree | 65a3cd74ed278d8af013c0e8a8c4d6ba920c3192 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv | |
parent | Set up #19 (diff) | |
download | VIATRA-Generator-1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952.tar.gz VIATRA-Generator-1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952.tar.zst VIATRA-Generator-1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952.zip |
Integrate queries partially #19
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv index ee8829e5..d1c8d98d 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv | |||
@@ -1,2 +1,22 @@ | |||
1 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | 1 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime |
2 | 1;1;ModelResultImpl;335;2777;2544;7194393100;105;140;61;186;9;0;3 | 2 | 1;1;ModelResultImpl;335;2777;2544;7194393100;105;140;61;186;9;0;3 |
3 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
4 | 1;1;ModelResultImpl;120;2483;7934;1838851300;477;3162;36;100;0;2 | ||
5 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
6 | 1;1;InconsistencyResultImpl;20;2258;2771;12900;42;12;1;0;0 | ||
7 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
8 | 1;1;InconsistencyResultImpl;14;2066;3146;29000;439;14;13;0;0 | ||
9 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
10 | 1;1;ModelResultImpl;15;1857;2520;3998461000;169;207;102;9;4;0;3 | ||
11 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
12 | 1;1;ModelResultImpl;70;2695;2815;3409332300;111;133;61;18;3;0;5 | ||
13 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
14 | 1;1;ModelResultImpl;16;2246;2987;3347793300;168;362;201;7;6;0;3 | ||
15 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
16 | 1;1;ModelResultImpl;6;839;711;3017372100;45;206;107;9;7;0;1 | ||
17 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
18 | 1;1;ModelResultImpl;5;879;674;2970538700;33;111;55;7;2;0;1 | ||
19 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
20 | 1;1;ModelResultImpl;5;882;742;2902370500;64;203;110;9;6;0;1 | ||
21 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;_Solution1FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime | ||
22 | 1;1;ModelResultImpl;10;1041;730;3174826600;23;31;19;12;0;0;1 | ||