Storm-dft 1.3.1 (dev)
Date: Thu Dec 13 10:29:42 2018
Command line arguments: --dftfile vgs.5.dft --timebound 10000 --max
Current working directory: /home/qcomp
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 705
Transitions: 3841
Reward Models: none
State Labels: 2 labels
* failed -> 1 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Times:
Exploration: 0.046s
Building: 0.000s
Bisimulation: 0.000s
Modelchecking: 0.005s
Total: 0.052s
Result: [0.05990994823]