Add JVM flags for more consistent (and typically faster) timing #437 - #505

Add JVM flags for more consistent (and typically faster) timing #437#505

pehrsoderman merged 1 commit into

Kattis:masterKattis/problemtools:masterfrom

gkreitz:437_jvm_optionsgkreitz/problemtools:437_jvm_optionsCopy head branch name to clipboard