sds.default-abs.ap-naive

Benchmark

Model:	(herman)
Parameter(s)	N = 11

Invocation (default-abs.ap-naive)

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/herman/herman.11.prism  approximate --sampling SAMPLE_NAIVE  --precision 0.001

default engine and absolute (default) error criterion

Execution

Walltime (MC-Time):	0.4425184726715088s (NA)
Return code:	1
Note(s):	Tool does not support file export.

STDERR

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:54 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/herman/herman.11.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
java.lang.IllegalArgumentException: expected one element but was: <0, 1715, 1451, 264, 528, ...>
	at com.google.common.collect.Iterators.getOnlyElement(Iterators.java:323)
	at com.google.common.collect.Iterables.getOnlyElement(Iterables.java:263)
	at de.tum.in.probmodels.explorer.Explorer.onlyInitialStateId(Explorer.java:36)
	at stationary.StationaryDistributionEstimator.(StationaryDistributionEstimator.java:92)
	at stationary.Main$Approximate.call(Main.java:97)
	at stationary.Main$Approximate.call(Main.java:77)
	at picocli.CommandLine.executeUserObject(CommandLine.java:2041)
	at picocli.CommandLine.access$1500(CommandLine.java:148)
	at picocli.CommandLine$RunLast.executeUserObjectOfLastSubcommandWithSameParent(CommandLine.java:2461)
	at picocli.CommandLine$RunLast.handle(CommandLine.java:2453)
	at picocli.CommandLine$RunLast.handle(CommandLine.java:2415)
	at picocli.CommandLine$AbstractParseResultHandler.execute(CommandLine.java:2273)
	at picocli.CommandLine$RunLast.execute(CommandLine.java:2417)
	at picocli.CommandLine.execute(CommandLine.java:2170)
	at stationary.Main.main(Main.java:257)