Model: | hecs v.1 (MA) |
Parameter(s) | R = False, N = 3, k = 2 |
Property: | Unreliability (prob-reach-time-bounded) |
storm/build/bin/storm --jani qcomp/benchmarks/ma/hecs/hecs.false-3-2.jani --janiproperty Unreliability --exact --timememSparse engine with exact model checking
Walltime: | 990.6337122917175s |
Return code: | -9 |
Storm 1.4.1 (dev) Date: Fri Dec 6 10:13:29 2019 Command line arguments: --jani qcomp/benchmarks/ma/hecs/hecs.false-3-2.jani --janiproperty Unreliability --exact --timemem Current working directory: Time for model input parsing: 0.032s.