README

# Build jar for this project (generated to target/benchmarks.jar)
mvn clean package

# Execute all benchmarks
java -jar target/benchmarks.jar

# Execute one specific benchmark (unqualified class name is sufficient)
java -jar target/benchmarks.jar Port2PortBenchmark

# Execute multiple specific benchmarks
java -jar target/benchmarks.jar Port2PortBenchmark Port2PortWithTermCheckBenchmark