aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTQualMeasurements.bat
blob: c76fc2d8c2333ed84e914650eeaf335a404a1cf9 (plain) (blame)
1
2
3
4
5
java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 20 -rt 350
java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 40 -rt 350
java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 60 -rt 350
java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 80 -rt 350
java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 100 -rt 350