From 24f172f86601ae255dbfee265155ddc433338914 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Mon, 11 May 2020 02:22:52 +0200 Subject: Satelite case study update for Models-Attribute paper --- .../configs/generation.vsconfig | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig index 2fb246c9..b95c6b68 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig @@ -7,7 +7,7 @@ generate { partial-model = { "inputs/SatelliteInstance.xmi"} solver = ViatraSolver scope = { - #node += 32..64 + #node += 64..128 } config = { @@ -16,7 +16,7 @@ generate { } number = 1 - runs = 5 + runs = 3 debug = "outputs/debug" log = "outputs/log.txt" -- cgit v1.2.3-54-g00ecf