diff options
author | 2020-05-18 19:57:25 -0400 | |
---|---|---|
committer | 2020-05-18 19:57:25 -0400 | |
commit | 9145978c99d5841c5db3e9f135b5ed8e7f4bd961 (patch) | |
tree | 67f8eaec1f10d8e295ddf4d60f8f4d0ce901a90a /Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTEndMeasurements.bat | |
parent | removed every occurence of check expressions (diff) | |
download | VIATRA-Generator-9145978c99d5841c5db3e9f135b5ed8e7f4bd961.tar.gz VIATRA-Generator-9145978c99d5841c5db3e9f135b5ed8e7f4bd961.tar.zst VIATRA-Generator-9145978c99d5841c5db3e9f135b5ed8e7f4bd961.zip |
Add most of the measurements
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTEndMeasurements.bat')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTEndMeasurements.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTEndMeasurements.bat b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTEndMeasurements.bat new file mode 100644 index 00000000..37adbbe1 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTEndMeasurements.bat | |||
@@ -0,0 +1,5 @@ | |||
1 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 20 -rt 350 | ||
2 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 40 -rt 350 | ||
3 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 60 -rt 350 | ||
4 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 80 -rt 350 | ||
5 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 100 -rt 350 | ||