Skip to content

Instantly share code, notes, and snippets.

@lemmy
Created January 19, 2020 02:54
Show Gist options
  • Save lemmy/46a8c2ff3bb7c1718ebbcd6c2404230b to your computer and use it in GitHub Desktop.
Save lemmy/46a8c2ff3bb7c1718ebbcd6c2404230b to your computer and use it in GitHub Desktop.
/*******************************************************************************
* Copyright (c) 2018 Microsoft Research. All rights reserved.
*
* The MIT License (MIT)
*
* Permission is hereby granted, free of charge, to any person obtaining a copy
* of this software and associated documentation files (the "Software"), to deal
* in the Software without restriction, including without limitation the rights
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
* of the Software, and to permit persons to whom the Software is furnished to do
* so, subject to the following conditions:
*
* The above copyright notice and this permission notice shall be included in all
* copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
* FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
* COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN
* AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*
* Contributors:
* Markus Alexander Kuppe - initial API and implementation
******************************************************************************/
package tlc2.value.impl;
import org.openjdk.jmh.annotations.Benchmark;
import org.openjdk.jmh.annotations.Level;
import org.openjdk.jmh.annotations.Param;
import org.openjdk.jmh.annotations.Scope;
import org.openjdk.jmh.annotations.Setup;
import org.openjdk.jmh.annotations.State;
import tlc2.util.FP64;
import tlc2.value.RandomEnumerableValues;
import tlc2.value.impl.Enumerable;
import tlc2.value.impl.IntervalValue;
@State(Scope.Benchmark)
public class IntervalValueBenchmark {
static {
RandomEnumerableValues.setSeed(15041980L);
RandomEnumerableValues.reset();
FP64.Init();
}
@Param({"16", "18", "20", "22"})
public int size;
@Param({"10", "12", "14", "16"})
public int numOfElements;
public IntervalValue intervalValue;
// @Setup(Level.Invocation)
@Setup
public void setup() {
intervalValue = (IntervalValue) new IntervalValue(1, 1 << size).normalize();
}
//
// @Benchmark
// public Enumerable randomSubset() {
// return intervalValue.getRandomSubset(1 << numOfElements);
// }
@Benchmark
public int size() {
return intervalValue.size();
}
@Benchmark
public int sizeMathExact() {
return intervalValue.sizeMathExact();
}
}
[
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "10",
"size" : "16"
},
"primaryMetric" : {
"score" : 3.539149408345367E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.539149408345367E7,
"50.0" : 3.539149408345367E7,
"90.0" : 3.539149408345367E7,
"95.0" : 3.539149408345367E7,
"99.0" : 3.539149408345367E7,
"99.9" : 3.539149408345367E7,
"99.99" : 3.539149408345367E7,
"99.999" : 3.539149408345367E7,
"99.9999" : 3.539149408345367E7,
"100.0" : 3.539149408345367E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.539149408345367E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "10",
"size" : "18"
},
"primaryMetric" : {
"score" : 3.585911244890213E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.585911244890213E7,
"50.0" : 3.585911244890213E7,
"90.0" : 3.585911244890213E7,
"95.0" : 3.585911244890213E7,
"99.0" : 3.585911244890213E7,
"99.9" : 3.585911244890213E7,
"99.99" : 3.585911244890213E7,
"99.999" : 3.585911244890213E7,
"99.9999" : 3.585911244890213E7,
"100.0" : 3.585911244890213E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.585911244890213E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "10",
"size" : "20"
},
"primaryMetric" : {
"score" : 3.607244610417636E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.607244610417636E7,
"50.0" : 3.607244610417636E7,
"90.0" : 3.607244610417636E7,
"95.0" : 3.607244610417636E7,
"99.0" : 3.607244610417636E7,
"99.9" : 3.607244610417636E7,
"99.99" : 3.607244610417636E7,
"99.999" : 3.607244610417636E7,
"99.9999" : 3.607244610417636E7,
"100.0" : 3.607244610417636E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.607244610417636E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "10",
"size" : "22"
},
"primaryMetric" : {
"score" : 3.6733104897687085E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.6733104897687085E7,
"50.0" : 3.6733104897687085E7,
"90.0" : 3.6733104897687085E7,
"95.0" : 3.6733104897687085E7,
"99.0" : 3.6733104897687085E7,
"99.9" : 3.6733104897687085E7,
"99.99" : 3.6733104897687085E7,
"99.999" : 3.6733104897687085E7,
"99.9999" : 3.6733104897687085E7,
"100.0" : 3.6733104897687085E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.6733104897687085E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "12",
"size" : "16"
},
"primaryMetric" : {
"score" : 3.672738292699273E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.672738292699273E7,
"50.0" : 3.672738292699273E7,
"90.0" : 3.672738292699273E7,
"95.0" : 3.672738292699273E7,
"99.0" : 3.672738292699273E7,
"99.9" : 3.672738292699273E7,
"99.99" : 3.672738292699273E7,
"99.999" : 3.672738292699273E7,
"99.9999" : 3.672738292699273E7,
"100.0" : 3.672738292699273E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.672738292699273E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "12",
"size" : "18"
},
"primaryMetric" : {
"score" : 3.61943276631519E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.61943276631519E7,
"50.0" : 3.61943276631519E7,
"90.0" : 3.61943276631519E7,
"95.0" : 3.61943276631519E7,
"99.0" : 3.61943276631519E7,
"99.9" : 3.61943276631519E7,
"99.99" : 3.61943276631519E7,
"99.999" : 3.61943276631519E7,
"99.9999" : 3.61943276631519E7,
"100.0" : 3.61943276631519E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.61943276631519E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "12",
"size" : "20"
},
"primaryMetric" : {
"score" : 3.708171003980809E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.708171003980809E7,
"50.0" : 3.708171003980809E7,
"90.0" : 3.708171003980809E7,
"95.0" : 3.708171003980809E7,
"99.0" : 3.708171003980809E7,
"99.9" : 3.708171003980809E7,
"99.99" : 3.708171003980809E7,
"99.999" : 3.708171003980809E7,
"99.9999" : 3.708171003980809E7,
"100.0" : 3.708171003980809E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.708171003980809E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "12",
"size" : "22"
},
"primaryMetric" : {
"score" : 3.630424661452184E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.630424661452184E7,
"50.0" : 3.630424661452184E7,
"90.0" : 3.630424661452184E7,
"95.0" : 3.630424661452184E7,
"99.0" : 3.630424661452184E7,
"99.9" : 3.630424661452184E7,
"99.99" : 3.630424661452184E7,
"99.999" : 3.630424661452184E7,
"99.9999" : 3.630424661452184E7,
"100.0" : 3.630424661452184E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.630424661452184E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "14",
"size" : "16"
},
"primaryMetric" : {
"score" : 3.660178907331829E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.660178907331829E7,
"50.0" : 3.660178907331829E7,
"90.0" : 3.660178907331829E7,
"95.0" : 3.660178907331829E7,
"99.0" : 3.660178907331829E7,
"99.9" : 3.660178907331829E7,
"99.99" : 3.660178907331829E7,
"99.999" : 3.660178907331829E7,
"99.9999" : 3.660178907331829E7,
"100.0" : 3.660178907331829E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.660178907331829E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "14",
"size" : "18"
},
"primaryMetric" : {
"score" : 3.694214966643165E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.694214966643165E7,
"50.0" : 3.694214966643165E7,
"90.0" : 3.694214966643165E7,
"95.0" : 3.694214966643165E7,
"99.0" : 3.694214966643165E7,
"99.9" : 3.694214966643165E7,
"99.99" : 3.694214966643165E7,
"99.999" : 3.694214966643165E7,
"99.9999" : 3.694214966643165E7,
"100.0" : 3.694214966643165E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.694214966643165E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "14",
"size" : "20"
},
"primaryMetric" : {
"score" : 3.6160033301584445E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.6160033301584445E7,
"50.0" : 3.6160033301584445E7,
"90.0" : 3.6160033301584445E7,
"95.0" : 3.6160033301584445E7,
"99.0" : 3.6160033301584445E7,
"99.9" : 3.6160033301584445E7,
"99.99" : 3.6160033301584445E7,
"99.999" : 3.6160033301584445E7,
"99.9999" : 3.6160033301584445E7,
"100.0" : 3.6160033301584445E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.6160033301584445E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "14",
"size" : "22"
},
"primaryMetric" : {
"score" : 3.582333095251991E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.582333095251991E7,
"50.0" : 3.582333095251991E7,
"90.0" : 3.582333095251991E7,
"95.0" : 3.582333095251991E7,
"99.0" : 3.582333095251991E7,
"99.9" : 3.582333095251991E7,
"99.99" : 3.582333095251991E7,
"99.999" : 3.582333095251991E7,
"99.9999" : 3.582333095251991E7,
"100.0" : 3.582333095251991E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.582333095251991E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "16",
"size" : "16"
},
"primaryMetric" : {
"score" : 3.713104776392235E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.713104776392235E7,
"50.0" : 3.713104776392235E7,
"90.0" : 3.713104776392235E7,
"95.0" : 3.713104776392235E7,
"99.0" : 3.713104776392235E7,
"99.9" : 3.713104776392235E7,
"99.99" : 3.713104776392235E7,
"99.999" : 3.713104776392235E7,
"99.9999" : 3.713104776392235E7,
"100.0" : 3.713104776392235E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.713104776392235E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "16",
"size" : "18"
},
"primaryMetric" : {
"score" : 3.595929317882935E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.595929317882935E7,
"50.0" : 3.595929317882935E7,
"90.0" : 3.595929317882935E7,
"95.0" : 3.595929317882935E7,
"99.0" : 3.595929317882935E7,
"99.9" : 3.595929317882935E7,
"99.99" : 3.595929317882935E7,
"99.999" : 3.595929317882935E7,
"99.9999" : 3.595929317882935E7,
"100.0" : 3.595929317882935E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.595929317882935E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "16",
"size" : "20"
},
"primaryMetric" : {
"score" : 3.663734820056369E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.663734820056369E7,
"50.0" : 3.663734820056369E7,
"90.0" : 3.663734820056369E7,
"95.0" : 3.663734820056369E7,
"99.0" : 3.663734820056369E7,
"99.9" : 3.663734820056369E7,
"99.99" : 3.663734820056369E7,
"99.999" : 3.663734820056369E7,
"99.9999" : 3.663734820056369E7,
"100.0" : 3.663734820056369E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.663734820056369E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.size",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "16",
"size" : "22"
},
"primaryMetric" : {
"score" : 3.654086111913448E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.654086111913448E7,
"50.0" : 3.654086111913448E7,
"90.0" : 3.654086111913448E7,
"95.0" : 3.654086111913448E7,
"99.0" : 3.654086111913448E7,
"99.9" : 3.654086111913448E7,
"99.99" : 3.654086111913448E7,
"99.999" : 3.654086111913448E7,
"99.9999" : 3.654086111913448E7,
"100.0" : 3.654086111913448E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.654086111913448E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "10",
"size" : "16"
},
"primaryMetric" : {
"score" : 3.6499914825840995E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.6499914825840995E7,
"50.0" : 3.6499914825840995E7,
"90.0" : 3.6499914825840995E7,
"95.0" : 3.6499914825840995E7,
"99.0" : 3.6499914825840995E7,
"99.9" : 3.6499914825840995E7,
"99.99" : 3.6499914825840995E7,
"99.999" : 3.6499914825840995E7,
"99.9999" : 3.6499914825840995E7,
"100.0" : 3.6499914825840995E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.6499914825840995E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "10",
"size" : "18"
},
"primaryMetric" : {
"score" : 3.649579240885672E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.649579240885672E7,
"50.0" : 3.649579240885672E7,
"90.0" : 3.649579240885672E7,
"95.0" : 3.649579240885672E7,
"99.0" : 3.649579240885672E7,
"99.9" : 3.649579240885672E7,
"99.99" : 3.649579240885672E7,
"99.999" : 3.649579240885672E7,
"99.9999" : 3.649579240885672E7,
"100.0" : 3.649579240885672E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.649579240885672E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "10",
"size" : "20"
},
"primaryMetric" : {
"score" : 3.670107307956349E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.670107307956349E7,
"50.0" : 3.670107307956349E7,
"90.0" : 3.670107307956349E7,
"95.0" : 3.670107307956349E7,
"99.0" : 3.670107307956349E7,
"99.9" : 3.670107307956349E7,
"99.99" : 3.670107307956349E7,
"99.999" : 3.670107307956349E7,
"99.9999" : 3.670107307956349E7,
"100.0" : 3.670107307956349E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.670107307956349E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "10",
"size" : "22"
},
"primaryMetric" : {
"score" : 3.559538639885514E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.559538639885514E7,
"50.0" : 3.559538639885514E7,
"90.0" : 3.559538639885514E7,
"95.0" : 3.559538639885514E7,
"99.0" : 3.559538639885514E7,
"99.9" : 3.559538639885514E7,
"99.99" : 3.559538639885514E7,
"99.999" : 3.559538639885514E7,
"99.9999" : 3.559538639885514E7,
"100.0" : 3.559538639885514E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.559538639885514E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "12",
"size" : "16"
},
"primaryMetric" : {
"score" : 3.618930968968824E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.618930968968824E7,
"50.0" : 3.618930968968824E7,
"90.0" : 3.618930968968824E7,
"95.0" : 3.618930968968824E7,
"99.0" : 3.618930968968824E7,
"99.9" : 3.618930968968824E7,
"99.99" : 3.618930968968824E7,
"99.999" : 3.618930968968824E7,
"99.9999" : 3.618930968968824E7,
"100.0" : 3.618930968968824E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.618930968968824E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "12",
"size" : "18"
},
"primaryMetric" : {
"score" : 3.652469299185381E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.652469299185381E7,
"50.0" : 3.652469299185381E7,
"90.0" : 3.652469299185381E7,
"95.0" : 3.652469299185381E7,
"99.0" : 3.652469299185381E7,
"99.9" : 3.652469299185381E7,
"99.99" : 3.652469299185381E7,
"99.999" : 3.652469299185381E7,
"99.9999" : 3.652469299185381E7,
"100.0" : 3.652469299185381E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.652469299185381E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "12",
"size" : "20"
},
"primaryMetric" : {
"score" : 3.647072765850682E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.647072765850682E7,
"50.0" : 3.647072765850682E7,
"90.0" : 3.647072765850682E7,
"95.0" : 3.647072765850682E7,
"99.0" : 3.647072765850682E7,
"99.9" : 3.647072765850682E7,
"99.99" : 3.647072765850682E7,
"99.999" : 3.647072765850682E7,
"99.9999" : 3.647072765850682E7,
"100.0" : 3.647072765850682E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.647072765850682E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "12",
"size" : "22"
},
"primaryMetric" : {
"score" : 3.557142230819865E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.557142230819865E7,
"50.0" : 3.557142230819865E7,
"90.0" : 3.557142230819865E7,
"95.0" : 3.557142230819865E7,
"99.0" : 3.557142230819865E7,
"99.9" : 3.557142230819865E7,
"99.99" : 3.557142230819865E7,
"99.999" : 3.557142230819865E7,
"99.9999" : 3.557142230819865E7,
"100.0" : 3.557142230819865E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.557142230819865E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "14",
"size" : "16"
},
"primaryMetric" : {
"score" : 3.507884487093138E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.507884487093138E7,
"50.0" : 3.507884487093138E7,
"90.0" : 3.507884487093138E7,
"95.0" : 3.507884487093138E7,
"99.0" : 3.507884487093138E7,
"99.9" : 3.507884487093138E7,
"99.99" : 3.507884487093138E7,
"99.999" : 3.507884487093138E7,
"99.9999" : 3.507884487093138E7,
"100.0" : 3.507884487093138E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.507884487093138E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "14",
"size" : "18"
},
"primaryMetric" : {
"score" : 3.630008854586974E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.630008854586974E7,
"50.0" : 3.630008854586974E7,
"90.0" : 3.630008854586974E7,
"95.0" : 3.630008854586974E7,
"99.0" : 3.630008854586974E7,
"99.9" : 3.630008854586974E7,
"99.99" : 3.630008854586974E7,
"99.999" : 3.630008854586974E7,
"99.9999" : 3.630008854586974E7,
"100.0" : 3.630008854586974E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.630008854586974E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "14",
"size" : "20"
},
"primaryMetric" : {
"score" : 3.699072187462281E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.699072187462281E7,
"50.0" : 3.699072187462281E7,
"90.0" : 3.699072187462281E7,
"95.0" : 3.699072187462281E7,
"99.0" : 3.699072187462281E7,
"99.9" : 3.699072187462281E7,
"99.99" : 3.699072187462281E7,
"99.999" : 3.699072187462281E7,
"99.9999" : 3.699072187462281E7,
"100.0" : 3.699072187462281E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.699072187462281E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "14",
"size" : "22"
},
"primaryMetric" : {
"score" : 3.6374593156766035E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.6374593156766035E7,
"50.0" : 3.6374593156766035E7,
"90.0" : 3.6374593156766035E7,
"95.0" : 3.6374593156766035E7,
"99.0" : 3.6374593156766035E7,
"99.9" : 3.6374593156766035E7,
"99.99" : 3.6374593156766035E7,
"99.999" : 3.6374593156766035E7,
"99.9999" : 3.6374593156766035E7,
"100.0" : 3.6374593156766035E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.6374593156766035E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "16",
"size" : "16"
},
"primaryMetric" : {
"score" : 3.68452426045013E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.68452426045013E7,
"50.0" : 3.68452426045013E7,
"90.0" : 3.68452426045013E7,
"95.0" : 3.68452426045013E7,
"99.0" : 3.68452426045013E7,
"99.9" : 3.68452426045013E7,
"99.99" : 3.68452426045013E7,
"99.999" : 3.68452426045013E7,
"99.9999" : 3.68452426045013E7,
"100.0" : 3.68452426045013E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.68452426045013E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "16",
"size" : "18"
},
"primaryMetric" : {
"score" : 3.562089208998098E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.562089208998098E7,
"50.0" : 3.562089208998098E7,
"90.0" : 3.562089208998098E7,
"95.0" : 3.562089208998098E7,
"99.0" : 3.562089208998098E7,
"99.9" : 3.562089208998098E7,
"99.99" : 3.562089208998098E7,
"99.999" : 3.562089208998098E7,
"99.9999" : 3.562089208998098E7,
"100.0" : 3.562089208998098E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.562089208998098E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "16",
"size" : "20"
},
"primaryMetric" : {
"score" : 3.649029563391158E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.649029563391158E7,
"50.0" : 3.649029563391158E7,
"90.0" : 3.649029563391158E7,
"95.0" : 3.649029563391158E7,
"99.0" : 3.649029563391158E7,
"99.9" : 3.649029563391158E7,
"99.99" : 3.649029563391158E7,
"99.999" : 3.649029563391158E7,
"99.9999" : 3.649029563391158E7,
"100.0" : 3.649029563391158E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.649029563391158E7
]
]
},
"secondaryMetrics" : {
}
},
{
"jmhVersion" : "1.21",
"benchmark" : "tlc2.value.impl.IntervalValueBenchmark.sizeMathExact",
"mode" : "thrpt",
"threads" : 1,
"forks" : 1,
"jvm" : "/usr/lib/jvm/java-11-openjdk-amd64/bin/java",
"jvmArgs" : [
"-ea",
"-Xms8192m",
"-Xmx8192m",
"-Dtlc2.tool.ModuleOverwritesBenchmark.base=/home/markus/src/TLA/tla/tlatools/test-model"
],
"jdkVersion" : "11.0.5",
"vmName" : "OpenJDK 64-Bit Server VM",
"vmVersion" : "11.0.5+10-post-Ubuntu-0ubuntu1.118.04",
"warmupIterations" : 1,
"warmupTime" : "10 s",
"warmupBatchSize" : 1,
"measurementIterations" : 1,
"measurementTime" : "10 s",
"measurementBatchSize" : 1,
"params" : {
"numOfElements" : "16",
"size" : "22"
},
"primaryMetric" : {
"score" : 3.5022495861818515E7,
"scoreError" : "NaN",
"scoreConfidence" : [
"NaN",
"NaN"
],
"scorePercentiles" : {
"0.0" : 3.5022495861818515E7,
"50.0" : 3.5022495861818515E7,
"90.0" : 3.5022495861818515E7,
"95.0" : 3.5022495861818515E7,
"99.0" : 3.5022495861818515E7,
"99.9" : 3.5022495861818515E7,
"99.99" : 3.5022495861818515E7,
"99.999" : 3.5022495861818515E7,
"99.9999" : 3.5022495861818515E7,
"100.0" : 3.5022495861818515E7
},
"scoreUnit" : "ops/s",
"rawData" : [
[
3.5022495861818515E7
]
]
},
"secondaryMetrics" : {
}
}
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment