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 --sound --timemem --precision 0.001Sparse engine with sound model checking
Walltime: | 1036.7820785045624s |
Return code: | -9 |
Storm 1.4.1 (dev) Date: Fri Dec 6 10:13:33 2019 Command line arguments: --jani qcomp/benchmarks/ma/hecs/hecs.false-3-2.jani --janiproperty Unreliability --sound --timemem --precision 0.001 Current working directory: Time for model input parsing: 0.030s.