Index of /backup/Downloads/prism-4.8.1-linux64-x86/prism-examples/dtmcs/leader_sync/

../
README.txt                                         12-Jan-2024 23:19                 404
auto                                               12-Jan-2024 23:19                 133
leader.pctl                                        12-Jan-2024 23:19                 267
leader3_2.pm                                       12-Jan-2024 23:19                2189
leader3_3.pm                                       12-Jan-2024 23:19                2253
leader3_4.pm                                       12-Jan-2024 23:19                2317
leader3_5.pm                                       12-Jan-2024 23:19                2381
leader3_6.pm                                       12-Jan-2024 23:19                2445
leader3_8.pm                                       12-Jan-2024 23:19                2573
leader4_2.pm                                       12-Jan-2024 23:19                2272
leader4_3.pm                                       12-Jan-2024 23:19                2336
leader4_4.pm                                       12-Jan-2024 23:19                2400
leader4_5.pm                                       12-Jan-2024 23:19                2464
leader4_6.pm                                       12-Jan-2024 23:19                2528
leader4_8.pm                                       12-Jan-2024 23:19                2656
leader5_2.pm                                       12-Jan-2024 23:19                2355
leader5_3.pm                                       12-Jan-2024 23:19                2419
leader5_4.pm                                       12-Jan-2024 23:19                2483
leader5_5.pm                                       12-Jan-2024 23:19                2547
leader5_6.pm                                       12-Jan-2024 23:19                2611
leader5_8.pm                                       12-Jan-2024 23:19                2739
leader6_2.pm                                       12-Jan-2024 23:19                2438
leader6_3.pm                                       12-Jan-2024 23:19                2502
leader6_4.pm                                       12-Jan-2024 23:19                2566
leader6_5.pm                                       12-Jan-2024 23:19                2630
leader6_6.pm                                       12-Jan-2024 23:19                2694
leader6_8.pm                                       12-Jan-2024 23:19                2822