From 09b1255f11ee17828da706f682e33f50316887fe Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 6 May 2019 18:42:22 -0400 Subject: Trying to implement spacecraft case study --- .../hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/statistics.csv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/statistics.csv') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/statistics.csv b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/statistics.csv index c6c34dfc..35c220e0 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/statistics.csv +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/statistics.csv @@ -1,3 +1,3 @@ Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime -1;1;ModelResultImpl;715;4234;39649;4468544142;39591;20421;147;938;0;10 +1;1;ModelResultImpl;580;4611;34341;4979693485;34306;19566;148;1006;0;5 -- cgit v1.2.3-70-g09d2