From 9805769d38d8e5a83478ef82d820010ddbcbcc93 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ond=C5=99ej=20Huvar?= <492849@mail.muni.cz> Date: Wed, 25 Oct 2023 11:50:59 +0200 Subject: [PATCH] Fix label for a model. --- ...].aeon => [Apoptosis-network]-[41v]-[100p].aeon} | 0 ...txt => [Apoptosis-network]-[41v]-[100p]-out.txt} | 6 +++--- ...tosis-network]-[41v]-[100p]-results-archive.zip} | Bin 3 files changed, 3 insertions(+), 3 deletions(-) rename benchmarks/models/large-parametrized-models/{[Apoptosis-network]-[41v]-[84p].aeon => [Apoptosis-network]-[41v]-[100p].aeon} (100%) rename benchmarks/results/large-parametrized-models/{[Apoptosis-network]-[41v]-[84p]-out.txt => [Apoptosis-network]-[41v]-[100p]-out.txt} (89%) rename benchmarks/results/large-parametrized-models/{[Apoptosis-network]-[41v]-[84p]-results-archive.zip => [Apoptosis-network]-[41v]-[100p]-results-archive.zip} (100%) diff --git a/benchmarks/models/large-parametrized-models/[Apoptosis-network]-[41v]-[84p].aeon b/benchmarks/models/large-parametrized-models/[Apoptosis-network]-[41v]-[100p].aeon similarity index 100% rename from benchmarks/models/large-parametrized-models/[Apoptosis-network]-[41v]-[84p].aeon rename to benchmarks/models/large-parametrized-models/[Apoptosis-network]-[41v]-[100p].aeon diff --git a/benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[84p]-out.txt b/benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[100p]-out.txt similarity index 89% rename from benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[84p]-out.txt rename to benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[100p]-out.txt index eb213c5f..db442c19 100644 --- a/benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[84p]-out.txt +++ b/benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[100p]-out.txt @@ -1,5 +1,5 @@ -Model path models/large-parametrized-models/[Apoptosis-network]-[41v]-[84p].aeon -Loaded model and properties out of `models/large-parametrized-models/[Apoptosis-network]-[41v]-[84p].aeon`. +Model path models/large-parametrized-models/[Apoptosis-network]-[41v]-[100p].aeon +Loaded model and properties out of `models/large-parametrized-models/[Apoptosis-network]-[41v]-[100p].aeon`. Parsing formulae and generating symbolic representation... Successfully parsed all 0 required properties (assertions) and all 4 classification properties. Successfully encoded model with 41 variables and 100 parameters. @@ -10,7 +10,7 @@ Required properties successfully evaluated. Evaluating classification properties (this may take some time)... Classification properties successfully evaluated. Generating classification mapping based on model-checking results... -Results saved to `models/large-parametrized-models/[Apoptosis-network]-[41v]-[84p]-archive.zip`. +Results saved to `models/large-parametrized-models/[Apoptosis-network]-[41v]-[100p]-archive.zip`. real 2m2.860s user 1m58.704s diff --git a/benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[84p]-results-archive.zip b/benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[100p]-results-archive.zip similarity index 100% rename from benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[84p]-results-archive.zip rename to benchmarks/results/large-parametrized-models/[Apoptosis-network]-[41v]-[100p]-results-archive.zip