Invocation (default.ggsc)
$ARTIFACT_DIR/bin/greatspn.sh $ARTIFACT_DIR/benchmarks/ctmc/philosophers-dlfix/philosophers-dlfix.3 results_philosophers_dlfix/logs/exports/greatspnoutput/greatspn.default.ggsc.0.001.philosophers-dlfix.propertyphilosophers-dlfix.3.props.3 0.001
Build reachability graph explicitly
GREATSPN_DIR: /rwthfs/rz/clusterevts/evt-benchmarking/bin
Net Name : philosophers-dlfix.3
Working directory: /hpcwork/tq429871/evt-experiments/experiments/results_philosophers_dlfix/logs/exports/greatspnoutput/greatspn.default.ggsc.0.001.philosophers-dlfix.propertyphilosophers-dlfix.3.props.3
-------------------------------------------------------------------------------
Computing reachability graph
--------------------------------------------------------------------------------------------------
USE : WNRG netname [-o][-m]
To plot the generated RG in Graphviz format:
[-dot-F filename.dot] [-max-dot-markings max]
Parametric marking/rate parameters can be set with:
[-mpar param_name value] [-rpar param_name value]
--------------------------------------------------------------------------------------------------
Send files netname.net, .def to e-mail address
greatspn@di.unito.it if you find any bug.
--------------------------------------------------------------------------------------------------
***** Reachability Graph *****
TANGIBLE MARKINGS : 12
VANISHING MARKINGS : 0
DEAD MARKINGS : 0
TOTAL MARKINGS : 12
***************************************
The initial marking is a home state
Time required ----------> 0
***************************************
Time elapsed: .019292833 seconds.
-------------------------------------------------------------------------------
Conversion into a Markov Chain
Time elapsed: .012563547 seconds.
-------------------------------------------------------------------------------
Computing steady state probabilities
Done computing steady state probabilities
Time elapsed: .030506011 seconds.
-------------------------------------------------------------------------------
postprocess result (step 1)
Time elapsed: .008517594 seconds.
-------------------------------------------------------------------------------
postprocess result (step 2)
Time elapsed: .009446155 seconds.
-------------------------------------------------------------------------------
Showing results for all places:
E[p1]: 0.617187
E[p2]: 0.695312
E[p3]: 0.187500
E[p4]: 0.117187
E[p5]: 0.421875
E[p6]: 0.460937
E[p7]: 0.117187
E[p8]: 0.382812
E[p9]: 0.351562
E[p10]: 0.265625
E[p11]: 0.117187
E[p12]: 0.265625