Storm.exact

Model:	hecs v.1 (MA)
Parameter(s)	R = False, N = 3, k = 2
Property:	Unreliability (prob-reach-time-bounded)

/home/tq429871/storm/build/bin/storm --jani /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/hecs/hecs.false-3-2.jani --janiproperty Unreliability --exact --timemem

Sparse engine with exact model checking

Walltime:	928.1007249355316s
Return code:	-9

Storm 1.6.2

Date: Sat Sep  5 21:04:13 2020
Command line arguments: --jani /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/hecs/hecs.false-3-2.jani --janiproperty Unreliability --exact --timemem
Current working directory: /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks

Time for model input parsing: 0.031s.

 WARN (cli.cpp:262): The model checking query does not seem to be supported for the selected engine. Storm will try to solve the query, but you will most likely get an error for at least one of the provided properties.