Invocation (default.ggsc)
$ARTIFACT_DIR/bin/greatspn.sh $ARTIFACT_DIR/benchmarks/ctmc/philosophers-dlfix/philosophers-dlfix.16 results_philosophers_dlfix/logs/exports/greatspnoutput/greatspn.default.ggsc.0.001.philosophers-dlfix.propertyphilosophers-dlfix.16.props.16 0.001
Build reachability graph explicitly
GREATSPN_DIR: /rwthfs/rz/clusterevts/evt-benchmarking/bin
Net Name : philosophers-dlfix.16
Working directory: /hpcwork/tq429871/evt-experiments/experiments/results_philosophers_dlfix/logs/exports/greatspnoutput/greatspn.default.ggsc.0.001.philosophers-dlfix.propertyphilosophers-dlfix.16.props.16
-------------------------------------------------------------------------------
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.
--------------------------------------------------------------------------------------------------
T300000 V0
T500000 V0
T500000 V0
T600000 V0
T700000 V0
T800000 V0
T800000 V0
T800000 V0
T900000 V0
T1000000 V0
***** Reachability Graph *****
TANGIBLE MARKINGS : 1136689
VANISHING MARKINGS : 0
DEAD MARKINGS : 0
TOTAL MARKINGS : 1136689
***************************************
The initial marking is a home state
Time required ----------> 404
***************************************
Time elapsed: 404.082924668 seconds.
-------------------------------------------------------------------------------
Conversion into a Markov Chain
Time elapsed: 3.386400336 seconds.
-------------------------------------------------------------------------------
Computing steady state probabilities
Done computing steady state probabilities
Time elapsed: 29.879204352 seconds.
-------------------------------------------------------------------------------
postprocess result (step 1)
Time elapsed: .008728385 seconds.
-------------------------------------------------------------------------------
postprocess result (step 2)
Time elapsed: .869957909 seconds.
-------------------------------------------------------------------------------
Showing results for all places:
E[p1]: 0.718874
E[p2]: 0.999253
E[p3]: 0.000461
E[p4]: 0.000286
E[p5]: 0.001032
E[p6]: 0.998682
E[p7]: 0.000286
E[p8]: 0.000769
E[p9]: 0.998747
E[p10]: 0.000484
E[p11]: 0.000286
E[p12]: 0.000484
E[p13]: 0.001262
E[p14]: 0.997961
E[p15]: 0.000778
E[p16]: 0.000778
E[p17]: 0.001251
E[p18]: 0.002029
E[p19]: 0.996719
E[p20]: 0.001251
E[p21]: 0.003265
E[p22]: 0.994720
E[p23]: 0.002014
E[p24]: 0.005256
E[p25]: 0.991503
E[p26]: 0.003241
E[p27]: 0.002014
E[p28]: 0.003241
E[p29]: 0.008460
E[p30]: 0.986322
E[p31]: 0.005218
E[p32]: 0.005218
E[p33]: 0.008403
E[p34]: 0.013621
E[p35]: 0.977976
E[p36]: 0.008403
E[p37]: 0.021943
E[p38]: 0.964517
E[p39]: 0.013540
E[p40]: 0.035383
E[p41]: 0.942775
E[p42]: 0.021843
E[p43]: 0.013540
E[p44]: 0.021843
E[p45]: 0.057156
E[p46]: 0.907532
E[p47]: 0.035313
E[p48]: 0.035313
E[p49]: 0.092649
E[p50]: 0.850014
E[p51]: 0.057336
E[p52]: 0.057336
E[p53]: 0.093948
E[p54]: 0.151284
E[p55]: 0.754768
E[p56]: 0.093948
E[p57]: 0.251249
E[p58]: 0.591450
E[p59]: 0.157301
E[p60]: 0.438142
E[p61]: 0.281017
E[p62]: 0.280841
E[p63]: 0.157301
E[p64]: 0.280841