├── .gitignore ├── README.md ├── models ├── NOTES ├── ctmcs │ ├── cluster │ │ ├── below_min.csl │ │ ├── cluster.sm │ │ ├── logs │ │ │ ├── cluster.sm.const.N=128.log │ │ │ ├── cluster.sm.const.N=16.log │ │ │ ├── cluster.sm.const.N=2.log │ │ │ ├── cluster.sm.const.N=256.log │ │ │ ├── cluster.sm.const.N=32.log │ │ │ ├── cluster.sm.const.N=4.log │ │ │ ├── cluster.sm.const.N=512.log │ │ │ ├── cluster.sm.const.N=64.log │ │ │ └── cluster.sm.const.N=8.log │ │ ├── models │ │ ├── models.csv │ │ ├── operational.csl │ │ ├── premium_steady.csl │ │ ├── qos1.csl │ │ ├── qos2.csl │ │ ├── qos3.csl │ │ ├── qos4.csl │ │ └── repairs.csl │ ├── embedded │ │ ├── actuators.csl │ │ ├── actuators_T.csl │ │ ├── danger_T.csl │ │ ├── danger_time.csl │ │ ├── down_T.csl │ │ ├── embedded.sm │ │ ├── failure_T.csl │ │ ├── io.csl │ │ ├── io_T.csl │ │ ├── logs │ │ │ ├── embedded.sm.const.MAX_COUNT=2.log │ │ │ ├── embedded.sm.const.MAX_COUNT=3.log │ │ │ ├── embedded.sm.const.MAX_COUNT=4.log │ │ │ ├── embedded.sm.const.MAX_COUNT=5.log │ │ │ ├── embedded.sm.const.MAX_COUNT=6.log │ │ │ ├── embedded.sm.const.MAX_COUNT=7.log │ │ │ └── embedded.sm.const.MAX_COUNT=8.log │ │ ├── main.csl │ │ ├── main_T.csl │ │ ├── models │ │ ├── models.csv │ │ ├── sensors.csl │ │ ├── sensors_T.csl │ │ ├── up_T.csl │ │ └── up_time.csl │ ├── erlangen │ │ ├── avail_ss.props │ │ ├── avail_tr.props │ │ ├── erlangen.prism │ │ ├── logs │ │ │ ├── erlangen.prism.const.size1=10,size2=4.log │ │ │ ├── erlangen.prism.const.size1=20,size2=5.log │ │ │ ├── erlangen.prism.const.size1=30,size2=8.log │ │ │ └── erlangen.prism.const.size1=40,size2=10.log │ │ ├── models │ │ ├── models.csv │ │ ├── thru_hi_ss.props │ │ └── thru_hi_tr.props │ ├── fms │ │ ├── fms.sm │ │ ├── logs │ │ │ ├── fms.sm.const.n=1.log │ │ │ ├── fms.sm.const.n=10.log │ │ │ ├── fms.sm.const.n=2.log │ │ │ ├── fms.sm.const.n=3.log │ │ │ ├── fms.sm.const.n=4.log │ │ │ ├── fms.sm.const.n=5.log │ │ │ ├── fms.sm.const.n=6.log │ │ │ ├── fms.sm.const.n=7.log │ │ │ ├── fms.sm.const.n=8.log │ │ │ └── fms.sm.const.n=9.log │ │ ├── models │ │ ├── models.csv │ │ └── productivity.csl │ ├── kanban │ │ ├── kanban.sm │ │ ├── logs │ │ │ ├── kanban.sm.const.t=1.log │ │ │ ├── kanban.sm.const.t=2.log │ │ │ ├── kanban.sm.const.t=3.log │ │ │ ├── kanban.sm.const.t=4.log │ │ │ ├── kanban.sm.const.t=5.log │ │ │ ├── kanban.sm.const.t=6.log │ │ │ └── kanban.sm.const.t=7.log │ │ ├── models │ │ ├── models.csv │ │ └── throughput.csl │ ├── mapk_cascade │ │ ├── activated_T.csl │ │ ├── activated_time.csl │ │ ├── logs │ │ │ ├── mapk_cascade.sm.const.N=1.log │ │ │ ├── mapk_cascade.sm.const.N=2.log │ │ │ ├── mapk_cascade.sm.const.N=3.log │ │ │ ├── mapk_cascade.sm.const.N=4.log │ │ │ ├── mapk_cascade.sm.const.N=5.log │ │ │ ├── mapk_cascade.sm.const.N=6.log │ │ │ ├── mapk_cascade.sm.const.N=7.log │ │ │ └── mapk_cascade.sm.const.N=8.log │ │ ├── mapk_cascade.sm │ │ ├── models │ │ ├── models.csv │ │ └── reactions.csl │ ├── models.csv │ ├── models.json │ ├── polling │ │ ├── logs │ │ │ ├── poll10.sm.log │ │ │ ├── poll11.sm.log │ │ │ ├── poll12.sm.log │ │ │ ├── poll13.sm.log │ │ │ ├── poll14.sm.log │ │ │ ├── poll15.sm.log │ │ │ ├── poll16.sm.log │ │ │ ├── poll17.sm.log │ │ │ ├── poll18.sm.log │ │ │ ├── poll19.sm.log │ │ │ ├── poll20.sm.log │ │ │ ├── poll3.sm.log │ │ │ ├── poll4.sm.log │ │ │ ├── poll5.sm.log │ │ │ ├── poll6.sm.log │ │ │ ├── poll7.sm.log │ │ │ ├── poll8.sm.log │ │ │ └── poll9.sm.log │ │ ├── models │ │ ├── models.csv │ │ ├── poll10.sm │ │ ├── poll11.sm │ │ ├── poll12.sm │ │ ├── poll13.sm │ │ ├── poll14.sm │ │ ├── poll15.sm │ │ ├── poll16.sm │ │ ├── poll17.sm │ │ ├── poll18.sm │ │ ├── poll19.sm │ │ ├── poll2.sm │ │ ├── poll20.sm │ │ ├── poll3.sm │ │ ├── poll4.sm │ │ ├── poll5.sm │ │ ├── poll6.sm │ │ ├── poll7.sm │ │ ├── poll8.sm │ │ ├── poll9.sm │ │ ├── s1.csl │ │ ├── s1_before_s2.csl │ │ ├── served.csl │ │ ├── station1_polled.csl │ │ └── waiting.csl │ └── tandem │ │ ├── customers.csl │ │ ├── customers_T.csl │ │ ├── first_queue.csl │ │ ├── logs │ │ ├── tandem.sm.const.c=1023.log │ │ ├── tandem.sm.const.c=127.log │ │ ├── tandem.sm.const.c=15.log │ │ ├── tandem.sm.const.c=2047.log │ │ ├── tandem.sm.const.c=255.log │ │ ├── tandem.sm.const.c=31.log │ │ ├── tandem.sm.const.c=4095.log │ │ ├── tandem.sm.const.c=5.log │ │ ├── tandem.sm.const.c=511.log │ │ ├── tandem.sm.const.c=63.log │ │ └── tandem.sm.const.c=7.log │ │ ├── models │ │ ├── models.csv │ │ ├── network.csl │ │ ├── second_queue.csl │ │ └── tandem.sm ├── dtmcs │ ├── bluetooth │ │ ├── bluetooth.pm │ │ ├── models │ │ ├── models.csv │ │ └── time.pctl │ ├── brp │ │ ├── brp.pm │ │ ├── logs │ │ │ ├── brp.pm.const.N=16,MAX=2.fixdl.log │ │ │ ├── brp.pm.const.N=16,MAX=3.fixdl.log │ │ │ ├── brp.pm.const.N=16,MAX=4.fixdl.log │ │ │ ├── brp.pm.const.N=16,MAX=5.fixdl.log │ │ │ ├── brp.pm.const.N=32,MAX=2.fixdl.log │ │ │ ├── brp.pm.const.N=32,MAX=3.fixdl.log │ │ │ ├── brp.pm.const.N=32,MAX=4.fixdl.log │ │ │ ├── brp.pm.const.N=32,MAX=5.fixdl.log │ │ │ ├── brp.pm.const.N=64,MAX=2.fixdl.log │ │ │ ├── brp.pm.const.N=64,MAX=3.fixdl.log │ │ │ ├── brp.pm.const.N=64,MAX=4.fixdl.log │ │ │ └── brp.pm.const.N=64,MAX=5.fixdl.log │ │ ├── models │ │ ├── models.csv │ │ ├── p1.pctl │ │ ├── p2.pctl │ │ └── p4.pctl │ ├── crowds │ │ ├── crowds.pm │ │ ├── logs │ │ │ ├── crowds.pm.const.TotalRuns=3,CrowdSize=10.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=3,CrowdSize=15.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=3,CrowdSize=20.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=3,CrowdSize=5.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=4,CrowdSize=10.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=4,CrowdSize=15.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=4,CrowdSize=20.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=4,CrowdSize=5.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=5,CrowdSize=10.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=5,CrowdSize=15.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=5,CrowdSize=20.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=5,CrowdSize=5.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=6,CrowdSize=10.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=6,CrowdSize=15.fixdl.log │ │ │ ├── crowds.pm.const.TotalRuns=6,CrowdSize=20.fixdl.log │ │ │ └── crowds.pm.const.TotalRuns=6,CrowdSize=5.fixdl.log │ │ ├── models │ │ ├── models.csv │ │ └── positive.pctl │ ├── egl │ │ ├── egl.pm │ │ ├── logs │ │ │ ├── egl.pm.const.N=10,L=2.log │ │ │ ├── egl.pm.const.N=10,L=4.log │ │ │ ├── egl.pm.const.N=10,L=6.log │ │ │ ├── egl.pm.const.N=10,L=8.log │ │ │ ├── egl.pm.const.N=15,L=2.log │ │ │ ├── egl.pm.const.N=15,L=4.log │ │ │ ├── egl.pm.const.N=15,L=6.log │ │ │ ├── egl.pm.const.N=15,L=8.log │ │ │ ├── egl.pm.const.N=20,L=2.log │ │ │ ├── egl.pm.const.N=20,L=4.log │ │ │ ├── egl.pm.const.N=20,L=6.log │ │ │ ├── egl.pm.const.N=20,L=8.log │ │ │ ├── egl.pm.const.N=5,L=2.log │ │ │ ├── egl.pm.const.N=5,L=4.log │ │ │ ├── egl.pm.const.N=5,L=6.log │ │ │ └── egl.pm.const.N=5,L=8.log │ │ ├── messagesA.pctl │ │ ├── messagesB.pctl │ │ ├── models │ │ ├── models.csv │ │ ├── unfairA.pctl │ │ └── unfairB.pctl │ ├── herman │ │ ├── herman11.pm │ │ ├── herman13.pm │ │ ├── herman15.pm │ │ ├── herman17.pm │ │ ├── herman19.pm │ │ ├── herman21.pm │ │ ├── herman3.pm │ │ ├── herman5.pm │ │ ├── herman7.pm │ │ ├── herman9.pm │ │ ├── logs │ │ │ ├── herman11.pm.log │ │ │ ├── herman13.pm.log │ │ │ ├── herman15.pm.log │ │ │ ├── herman3.pm.log │ │ │ ├── herman5.pm.log │ │ │ ├── herman7.pm.log │ │ │ └── herman9.pm.log │ │ ├── models │ │ ├── models.csv │ │ └── steps.pctl │ ├── leader_sync │ │ ├── .autopp │ │ ├── .leader_syncN_K.pm.pp │ │ ├── eventually_elected.pctl │ │ ├── leader_sync3_2.pm │ │ ├── leader_sync3_3.pm │ │ ├── leader_sync3_4.pm │ │ ├── leader_sync3_5.pm │ │ ├── leader_sync3_6.pm │ │ ├── leader_sync3_8.pm │ │ ├── leader_sync4_2.pm │ │ ├── leader_sync4_3.pm │ │ ├── leader_sync4_4.pm │ │ ├── leader_sync4_5.pm │ │ ├── leader_sync4_6.pm │ │ ├── leader_sync4_8.pm │ │ ├── leader_sync5_2.pm │ │ ├── leader_sync5_3.pm │ │ ├── leader_sync5_4.pm │ │ ├── leader_sync5_5.pm │ │ ├── leader_sync5_6.pm │ │ ├── leader_sync5_8.pm │ │ ├── leader_sync6_2.pm │ │ ├── leader_sync6_3.pm │ │ ├── leader_sync6_4.pm │ │ ├── leader_sync6_5.pm │ │ ├── leader_sync6_6.pm │ │ ├── leader_sync6_8.pm │ │ ├── logs │ │ │ ├── leader_sync3_2.pm.log │ │ │ ├── leader_sync3_3.pm.log │ │ │ ├── leader_sync3_4.pm.log │ │ │ ├── leader_sync4_2.pm.log │ │ │ ├── leader_sync4_3.pm.log │ │ │ ├── leader_sync4_4.pm.log │ │ │ ├── leader_sync5_2.pm.log │ │ │ ├── leader_sync5_3.pm.log │ │ │ └── leader_sync5_4.pm.log │ │ ├── models │ │ ├── models.csv │ │ └── time.pctl │ ├── models.csv │ ├── models.json │ └── nand │ │ ├── logs │ │ ├── nand.pm.const.N=20,K=1.log │ │ ├── nand.pm.const.N=20,K=2.log │ │ ├── nand.pm.const.N=20,K=3.log │ │ ├── nand.pm.const.N=20,K=4.log │ │ ├── nand.pm.const.N=40,K=1.log │ │ ├── nand.pm.const.N=40,K=2.log │ │ ├── nand.pm.const.N=40,K=3.log │ │ ├── nand.pm.const.N=40,K=4.log │ │ ├── nand.pm.const.N=60,K=1.log │ │ └── nand.pm.const.N=60,K=2.log │ │ ├── models │ │ ├── models.csv │ │ ├── nand.pm │ │ └── reliable.pctl ├── mdps │ ├── consensus │ │ ├── .autopp │ │ ├── .coinN.nm.pp │ │ ├── c1.pctl │ │ ├── c2.pctl │ │ ├── coin10.nm │ │ ├── coin2.nm │ │ ├── coin4.nm │ │ ├── coin6.nm │ │ ├── coin8.nm │ │ ├── disagree.pctl │ │ ├── logs │ │ │ ├── coin2.nm.const.K=16.log │ │ │ ├── coin2.nm.const.K=2.log │ │ │ ├── coin2.nm.const.K=4.log │ │ │ ├── coin2.nm.const.K=8.log │ │ │ ├── coin4.nm.const.K=2.log │ │ │ └── coin4.nm.const.K=4.log │ │ ├── models │ │ ├── models.csv │ │ ├── steps_max.pctl │ │ └── steps_min.pctl │ ├── csma │ │ ├── .autopp │ │ ├── .csmaN_K.nm.pp │ │ ├── all_before_max.pctl │ │ ├── all_before_min.pctl │ │ ├── csma2_2.nm │ │ ├── csma2_4.nm │ │ ├── csma2_6.nm │ │ ├── csma3_2.nm │ │ ├── csma3_4.nm │ │ ├── csma3_6.nm │ │ ├── csma4_2.nm │ │ ├── csma4_4.nm │ │ ├── csma4_6.nm │ │ ├── logs │ │ │ ├── csma2_2.nm.log │ │ │ ├── csma2_4.nm.log │ │ │ ├── csma2_6.nm.log │ │ │ ├── csma3_2.nm.log │ │ │ ├── csma3_4.nm.log │ │ │ ├── csma3_6.nm.log │ │ │ ├── csma4_2.nm.log │ │ │ ├── csma4_4.nm.log │ │ │ └── csma4_6.nm.log │ │ ├── models │ │ ├── models.csv │ │ ├── some_before.pctl │ │ ├── time_max.pctl │ │ └── time_min.pctl │ ├── firewire │ │ ├── elected.pctl │ │ ├── firewire.nm │ │ ├── logs │ │ │ ├── firewire.nm.const.delay=3.log │ │ │ └── firewire.nm.const.delay=36.log │ │ ├── models │ │ ├── models.csv │ │ ├── time_max.pctl │ │ ├── time_min.pctl │ │ └── time_sending.pctl │ ├── firewire_abst │ │ ├── elected.pctl │ │ ├── firewire_abst.nm │ │ ├── logs │ │ │ ├── firewire_abst.nm.const.delay=3.log │ │ │ └── firewire_abst.nm.const.delay=36.log │ │ ├── models │ │ ├── models.csv │ │ ├── rounds.pctl │ │ ├── time_max.pctl │ │ └── time_min.pctl │ ├── firewire_dl │ │ ├── deadline.pctl │ │ ├── firewire_dl.nm │ │ ├── logs │ │ │ ├── firewire_dl.nm.const.delay=3,deadline=200.log │ │ │ ├── firewire_dl.nm.const.delay=3,deadline=400.log │ │ │ ├── firewire_dl.nm.const.delay=3,deadline=600.log │ │ │ ├── firewire_dl.nm.const.delay=3,deadline=800.log │ │ │ ├── firewire_dl.nm.const.delay=36,deadline=200.log │ │ │ ├── firewire_dl.nm.const.delay=36,deadline=400.log │ │ │ ├── firewire_dl.nm.const.delay=36,deadline=600.log │ │ │ └── firewire_dl.nm.const.delay=36,deadline=800.log │ │ ├── models │ │ └── models.csv │ ├── firewire_impl_dl │ │ ├── deadline.pctl │ │ ├── firewire_impl_dl.nm │ │ ├── logs │ │ │ ├── firewire_impl_dl.nm.const.delay=3,deadline=200.log │ │ │ ├── firewire_impl_dl.nm.const.delay=3,deadline=400.log │ │ │ ├── firewire_impl_dl.nm.const.delay=3,deadline=600.log │ │ │ ├── firewire_impl_dl.nm.const.delay=3,deadline=800.log │ │ │ ├── firewire_impl_dl.nm.const.delay=36,deadline=200.log │ │ │ ├── firewire_impl_dl.nm.const.delay=36,deadline=400.log │ │ │ ├── firewire_impl_dl.nm.const.delay=36,deadline=600.log │ │ │ └── firewire_impl_dl.nm.const.delay=36,deadline=800.log │ │ ├── models │ │ └── models.csv │ ├── models.csv │ ├── models.json │ ├── wlan │ │ ├── collisions.pctl │ │ ├── cost_max.pctl │ │ ├── cost_min.pctl │ │ ├── logs │ │ │ ├── wlan0.nm.const.COL=0.log │ │ │ ├── wlan1.nm.const.COL=0.log │ │ │ ├── wlan2.nm.const.COL=0.log │ │ │ ├── wlan3.nm.const.COL=0.log │ │ │ ├── wlan4.nm.const.COL=0.log │ │ │ ├── wlan5.nm.const.COL=0.log │ │ │ └── wlan6.nm.const.COL=0.log │ │ ├── models │ │ ├── models.csv │ │ ├── num_collisions.pctl │ │ ├── sent.pctl │ │ ├── time_max.pctl │ │ ├── time_min.pctl │ │ ├── wlan0.nm │ │ ├── wlan1.nm │ │ ├── wlan2.nm │ │ ├── wlan3.nm │ │ ├── wlan4.nm │ │ ├── wlan5.nm │ │ └── wlan6.nm │ ├── wlan_dl │ │ ├── deadline.pctl │ │ ├── logs │ │ │ ├── wlan_dl0.nm.const.deadline=80.log │ │ │ ├── wlan_dl1.nm.const.deadline=80.log │ │ │ ├── wlan_dl2.nm.const.deadline=80.log │ │ │ ├── wlan_dl3.nm.const.deadline=80.log │ │ │ ├── wlan_dl4.nm.const.deadline=80.log │ │ │ ├── wlan_dl5.nm.const.deadline=80.log │ │ │ └── wlan_dl6.nm.const.deadline=80.log │ │ ├── models │ │ ├── models.csv │ │ ├── wlan_dl0.nm │ │ ├── wlan_dl1.nm │ │ ├── wlan_dl2.nm │ │ ├── wlan_dl3.nm │ │ ├── wlan_dl4.nm │ │ ├── wlan_dl5.nm │ │ └── wlan_dl6.nm │ ├── zeroconf │ │ ├── correct_max.pctl │ │ ├── correct_min.pctl │ │ ├── logs │ │ │ ├── zeroconf.nm.const.N=1000,K=2,reset=false.log │ │ │ ├── zeroconf.nm.const.N=1000,K=2,reset=true.log │ │ │ ├── zeroconf.nm.const.N=1000,K=4,reset=false.log │ │ │ ├── zeroconf.nm.const.N=1000,K=4,reset=true.log │ │ │ ├── zeroconf.nm.const.N=1000,K=6,reset=false.log │ │ │ ├── zeroconf.nm.const.N=1000,K=6,reset=true.log │ │ │ ├── zeroconf.nm.const.N=1000,K=8,reset=false.log │ │ │ ├── zeroconf.nm.const.N=1000,K=8,reset=true.log │ │ │ ├── zeroconf.nm.const.N=20,K=2,reset=false.log │ │ │ ├── zeroconf.nm.const.N=20,K=2,reset=true.log │ │ │ ├── zeroconf.nm.const.N=20,K=4,reset=false.log │ │ │ ├── zeroconf.nm.const.N=20,K=4,reset=true.log │ │ │ ├── zeroconf.nm.const.N=20,K=6,reset=false.log │ │ │ ├── zeroconf.nm.const.N=20,K=6,reset=true.log │ │ │ ├── zeroconf.nm.const.N=20,K=8,reset=false.log │ │ │ └── zeroconf.nm.const.N=20,K=8,reset=true.log │ │ ├── models │ │ ├── models.csv │ │ └── zeroconf.nm │ └── zeroconf_dl │ │ ├── deadline_max.pctl │ │ ├── deadline_min.pctl │ │ ├── logs │ │ ├── zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=10.log │ │ ├── zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=20.log │ │ ├── zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=30.log │ │ ├── zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=40.log │ │ ├── zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=50.log │ │ ├── zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=10.log │ │ ├── zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=20.log │ │ ├── zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=30.log │ │ ├── zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=40.log │ │ └── zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=50.log │ │ ├── models │ │ ├── models.csv │ │ └── zeroconf_dl.nm ├── models.csv ├── ptas │ ├── csma │ │ ├── collisions.pctl │ │ ├── csma.nm │ │ ├── logs │ │ │ ├── csma.nm.const.K=2,COL=4.pf.true.log │ │ │ ├── csma.nm.const.K=2,COL=8.pf.true.log │ │ │ ├── csma.nm.const.K=4,COL=4.pf.true.log │ │ │ └── csma.nm.const.K=4,COL=8.pf.true.log │ │ ├── models │ │ └── models.csv │ ├── csma_abst │ │ ├── csma_abst.nm │ │ ├── deadline_max.pctl │ │ ├── deadline_max.pctl.args │ │ ├── deadline_min.pctl │ │ ├── deadline_min.pctl.args │ │ ├── eventually.pctl │ │ ├── logs │ │ │ └── csma_abst.nm.const.K=1.pf.true.log │ │ ├── models │ │ └── models.csv │ ├── firewire │ │ ├── deadline.pctl │ │ ├── deadline.pctl.args │ │ ├── eventually.pctl │ │ ├── firewire.nm │ │ ├── logs │ │ │ └── firewire.nm.const.delay=360.pf.true.log │ │ ├── models │ │ └── models.csv │ ├── firewire_abst │ │ ├── deadline_max.pctl │ │ ├── deadline_max.pctl.args │ │ ├── deadline_min.pctl │ │ ├── deadline_min.pctl.args │ │ ├── eventually.pctl │ │ ├── firewire_abst.nm │ │ ├── logs │ │ │ ├── firewire_abst.nm.const.delay=30.pf.true.log │ │ │ └── firewire_abst.nm.const.delay=360.pf.true.log │ │ ├── models │ │ └── models.csv │ ├── models.csv │ ├── models.json │ ├── repudiation_honest │ │ ├── deadline.pctl │ │ ├── deadline.pctl.args │ │ ├── eventually.pctl │ │ ├── logs │ │ │ └── repudiation_honest.nm.pf.true.log │ │ ├── models │ │ ├── models.csv │ │ └── repudiation_honest.nm │ ├── repudiation_malicious │ │ ├── .models │ │ ├── deadline.pctl │ │ ├── deadline.pctl.args │ │ ├── eventually.pctl │ │ ├── logs │ │ │ └── repudiation_malicious.nm.pf.true.log │ │ ├── models │ │ ├── models.csv │ │ └── repudiation_malicious.nm │ └── zeroconf │ │ ├── deadline.pctl │ │ ├── deadline.pctl.args │ │ ├── incorrect.pctl │ │ ├── logs │ │ └── zeroconf.nm.pf.true.log │ │ ├── models │ │ ├── models.csv │ │ └── zeroconf.nm └── smgs │ ├── avoid │ ├── avoid.prism │ ├── exit.props │ ├── find.props │ ├── logs │ │ ├── avoid.prism.const.X_MAX=10,Y_MAX=10.javamaxmem.16g.m.log │ │ └── avoid.prism.const.X_MAX=15,Y_MAX=15.javamaxmem.16g.m.log │ ├── models │ └── models.csv │ ├── dice │ ├── dice.prism │ ├── logs │ │ ├── dice.prism.const.N=10.javamaxmem.16g.m.log │ │ ├── dice.prism.const.N=25.javamaxmem.16g.m.log │ │ └── dice.prism.const.N=50.javamaxmem.16g.m.log │ ├── models │ ├── models.csv │ └── p1wins.props │ ├── hallway_human │ ├── damage.props.notused │ ├── hallway_human.prism │ ├── logs │ │ ├── hallway_human.prism.const.X_MAX=10,Y_MAX=10.javamaxmem.16g.m.log │ │ ├── hallway_human.prism.const.X_MAX=5,Y_MAX=5.javamaxmem.16g.m.log │ │ └── hallway_human.prism.const.X_MAX=8,Y_MAX=8.javamaxmem.16g.m.log │ ├── models │ ├── models.csv │ └── save.props │ ├── investors │ ├── greater.props │ ├── investors2.prism │ ├── investors3.prism │ ├── logs │ │ ├── investors2.prism.const.vmax=10.javamaxmem.16g.m.log │ │ └── investors2.prism.const.vmax=20.javamaxmem.16g.m.log │ ├── models │ └── models.csv │ ├── models.csv │ ├── models.json │ ├── safe_nav │ ├── logs │ │ ├── safe_nav8x8_A.prism.javamaxmem.16g.m.log │ │ ├── safe_nav8x8_B.prism.javamaxmem.16g.m.log │ │ ├── safe_nav8x8_C.prism.javamaxmem.16g.m.log │ │ └── safe_nav8x8_D.prism.javamaxmem.16g.m.log │ ├── models │ ├── models.csv │ ├── reach.props │ ├── safe_nav10x10_M.prism │ ├── safe_nav10x10_S.prism │ ├── safe_nav15x15_S.prism │ ├── safe_nav20x20_S.prism │ ├── safe_nav8x8_A.prism │ ├── safe_nav8x8_B.prism │ ├── safe_nav8x8_C.prism │ └── safe_nav8x8_D.prism │ └── task_graph │ ├── logs │ ├── task_graph6.prism.const.k1=10,k2=10.javamaxmem.16g.m.log │ ├── task_graph6.prism.const.k1=15,k2=15.javamaxmem.16g.m.log │ ├── task_graph6.prism.const.k1=20,k2=20.javamaxmem.16g.m.log │ ├── task_graph9.prism.const.k1=10,k2=10.javamaxmem.16g.m.log │ ├── task_graph9.prism.const.k1=15,k2=15.javamaxmem.16g.m.log │ └── task_graph9.prism.const.k1=20,k2=20.javamaxmem.16g.m.log │ ├── models │ ├── models.csv │ ├── task_graph6.prism │ ├── task_graph6_tptg.prism │ ├── task_graph9.prism │ ├── task_graph9_tptg.prism │ └── time.props └── properties ├── ctmcs-cumulative-reward.txt ├── ctmcs-expected-reachability.txt ├── ctmcs-reachability-quantitative.txt ├── ctmcs-steady-state.txt ├── ctmcs-timebounded-reachability.txt ├── ctmcs-transient.txt ├── dtmcs-expected-reachability.txt ├── dtmcs-reachability-qualitative.txt ├── dtmcs-reachability-quantitative.txt ├── mdps-expected-reachability.txt ├── mdps-reachability-qualitative.txt ├── mdps-reachability-quantitative.txt ├── ptas-reachability-qualitative.txt ├── ptas-reachability-quantitative.txt ├── ptas-timebounded-reachability-max.txt ├── ptas-timebounded-reachability-min.txt └── ptas-timebounded-reachability.txt /.gitignore: -------------------------------------------------------------------------------- 1 | # None for now 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/README.md -------------------------------------------------------------------------------- /models/NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/NOTES -------------------------------------------------------------------------------- /models/ctmcs/cluster/below_min.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/below_min.csl -------------------------------------------------------------------------------- /models/ctmcs/cluster/cluster.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/cluster.sm -------------------------------------------------------------------------------- /models/ctmcs/cluster/logs/cluster.sm.const.N=128.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/logs/cluster.sm.const.N=128.log -------------------------------------------------------------------------------- /models/ctmcs/cluster/logs/cluster.sm.const.N=16.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/logs/cluster.sm.const.N=16.log -------------------------------------------------------------------------------- /models/ctmcs/cluster/logs/cluster.sm.const.N=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/logs/cluster.sm.const.N=2.log -------------------------------------------------------------------------------- /models/ctmcs/cluster/logs/cluster.sm.const.N=256.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/logs/cluster.sm.const.N=256.log -------------------------------------------------------------------------------- /models/ctmcs/cluster/logs/cluster.sm.const.N=32.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/logs/cluster.sm.const.N=32.log -------------------------------------------------------------------------------- /models/ctmcs/cluster/logs/cluster.sm.const.N=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/logs/cluster.sm.const.N=4.log -------------------------------------------------------------------------------- /models/ctmcs/cluster/logs/cluster.sm.const.N=512.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/logs/cluster.sm.const.N=512.log -------------------------------------------------------------------------------- /models/ctmcs/cluster/logs/cluster.sm.const.N=64.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/logs/cluster.sm.const.N=64.log -------------------------------------------------------------------------------- /models/ctmcs/cluster/logs/cluster.sm.const.N=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/logs/cluster.sm.const.N=8.log -------------------------------------------------------------------------------- /models/ctmcs/cluster/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/models -------------------------------------------------------------------------------- /models/ctmcs/cluster/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/models.csv -------------------------------------------------------------------------------- /models/ctmcs/cluster/operational.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/operational.csl -------------------------------------------------------------------------------- /models/ctmcs/cluster/premium_steady.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/premium_steady.csl -------------------------------------------------------------------------------- /models/ctmcs/cluster/qos1.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/qos1.csl -------------------------------------------------------------------------------- /models/ctmcs/cluster/qos2.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/qos2.csl -------------------------------------------------------------------------------- /models/ctmcs/cluster/qos3.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/qos3.csl -------------------------------------------------------------------------------- /models/ctmcs/cluster/qos4.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/qos4.csl -------------------------------------------------------------------------------- /models/ctmcs/cluster/repairs.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/cluster/repairs.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/actuators.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/actuators.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/actuators_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/actuators_T.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/danger_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/danger_T.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/danger_time.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/danger_time.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/down_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/down_T.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/embedded.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/embedded.sm -------------------------------------------------------------------------------- /models/ctmcs/embedded/failure_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/failure_T.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/io.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/io.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/io_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/io_T.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=2.log -------------------------------------------------------------------------------- /models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=3.log -------------------------------------------------------------------------------- /models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=4.log -------------------------------------------------------------------------------- /models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=5.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=5.log -------------------------------------------------------------------------------- /models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=6.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=6.log -------------------------------------------------------------------------------- /models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=7.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=7.log -------------------------------------------------------------------------------- /models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/logs/embedded.sm.const.MAX_COUNT=8.log -------------------------------------------------------------------------------- /models/ctmcs/embedded/main.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/main.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/main_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/main_T.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/models -------------------------------------------------------------------------------- /models/ctmcs/embedded/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/models.csv -------------------------------------------------------------------------------- /models/ctmcs/embedded/sensors.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/sensors.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/sensors_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/sensors_T.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/up_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/up_T.csl -------------------------------------------------------------------------------- /models/ctmcs/embedded/up_time.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/embedded/up_time.csl -------------------------------------------------------------------------------- /models/ctmcs/erlangen/avail_ss.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/avail_ss.props -------------------------------------------------------------------------------- /models/ctmcs/erlangen/avail_tr.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/avail_tr.props -------------------------------------------------------------------------------- /models/ctmcs/erlangen/erlangen.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/erlangen.prism -------------------------------------------------------------------------------- /models/ctmcs/erlangen/logs/erlangen.prism.const.size1=10,size2=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/logs/erlangen.prism.const.size1=10,size2=4.log -------------------------------------------------------------------------------- /models/ctmcs/erlangen/logs/erlangen.prism.const.size1=20,size2=5.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/logs/erlangen.prism.const.size1=20,size2=5.log -------------------------------------------------------------------------------- /models/ctmcs/erlangen/logs/erlangen.prism.const.size1=30,size2=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/logs/erlangen.prism.const.size1=30,size2=8.log -------------------------------------------------------------------------------- /models/ctmcs/erlangen/logs/erlangen.prism.const.size1=40,size2=10.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/logs/erlangen.prism.const.size1=40,size2=10.log -------------------------------------------------------------------------------- /models/ctmcs/erlangen/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/models -------------------------------------------------------------------------------- /models/ctmcs/erlangen/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/models.csv -------------------------------------------------------------------------------- /models/ctmcs/erlangen/thru_hi_ss.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/thru_hi_ss.props -------------------------------------------------------------------------------- /models/ctmcs/erlangen/thru_hi_tr.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/erlangen/thru_hi_tr.props -------------------------------------------------------------------------------- /models/ctmcs/fms/fms.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/fms.sm -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=1.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=1.log -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=10.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=10.log -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=2.log -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=3.log -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=4.log -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=5.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=5.log -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=6.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=6.log -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=7.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=7.log -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=8.log -------------------------------------------------------------------------------- /models/ctmcs/fms/logs/fms.sm.const.n=9.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/logs/fms.sm.const.n=9.log -------------------------------------------------------------------------------- /models/ctmcs/fms/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/models -------------------------------------------------------------------------------- /models/ctmcs/fms/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/models.csv -------------------------------------------------------------------------------- /models/ctmcs/fms/productivity.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/fms/productivity.csl -------------------------------------------------------------------------------- /models/ctmcs/kanban/kanban.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/kanban.sm -------------------------------------------------------------------------------- /models/ctmcs/kanban/logs/kanban.sm.const.t=1.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/logs/kanban.sm.const.t=1.log -------------------------------------------------------------------------------- /models/ctmcs/kanban/logs/kanban.sm.const.t=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/logs/kanban.sm.const.t=2.log -------------------------------------------------------------------------------- /models/ctmcs/kanban/logs/kanban.sm.const.t=3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/logs/kanban.sm.const.t=3.log -------------------------------------------------------------------------------- /models/ctmcs/kanban/logs/kanban.sm.const.t=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/logs/kanban.sm.const.t=4.log -------------------------------------------------------------------------------- /models/ctmcs/kanban/logs/kanban.sm.const.t=5.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/logs/kanban.sm.const.t=5.log -------------------------------------------------------------------------------- /models/ctmcs/kanban/logs/kanban.sm.const.t=6.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/logs/kanban.sm.const.t=6.log -------------------------------------------------------------------------------- /models/ctmcs/kanban/logs/kanban.sm.const.t=7.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/logs/kanban.sm.const.t=7.log -------------------------------------------------------------------------------- /models/ctmcs/kanban/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/models -------------------------------------------------------------------------------- /models/ctmcs/kanban/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/models.csv -------------------------------------------------------------------------------- /models/ctmcs/kanban/throughput.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/kanban/throughput.csl -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/activated_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/activated_T.csl -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/activated_time.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/activated_time.csl -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=1.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=1.log -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=2.log -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=3.log -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=4.log -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=5.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=5.log -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=6.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=6.log -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=7.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=7.log -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/logs/mapk_cascade.sm.const.N=8.log -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/mapk_cascade.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/mapk_cascade.sm -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/models -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/models.csv -------------------------------------------------------------------------------- /models/ctmcs/mapk_cascade/reactions.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/mapk_cascade/reactions.csl -------------------------------------------------------------------------------- /models/ctmcs/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/models.csv -------------------------------------------------------------------------------- /models/ctmcs/models.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/models.json -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll10.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll10.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll11.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll11.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll12.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll12.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll13.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll13.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll14.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll14.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll15.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll15.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll16.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll16.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll17.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll17.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll18.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll18.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll19.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll19.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll20.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll20.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll3.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll3.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll4.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll4.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll5.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll5.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll6.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll6.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll7.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll7.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll8.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll8.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/logs/poll9.sm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/logs/poll9.sm.log -------------------------------------------------------------------------------- /models/ctmcs/polling/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/models -------------------------------------------------------------------------------- /models/ctmcs/polling/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/models.csv -------------------------------------------------------------------------------- /models/ctmcs/polling/poll10.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll10.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll11.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll11.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll12.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll12.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll13.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll13.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll14.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll14.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll15.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll15.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll16.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll16.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll17.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll17.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll18.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll18.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll19.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll19.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll2.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll2.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll20.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll20.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll3.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll3.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll4.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll4.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll5.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll5.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll6.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll6.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll7.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll7.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll8.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll8.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/poll9.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/poll9.sm -------------------------------------------------------------------------------- /models/ctmcs/polling/s1.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/s1.csl -------------------------------------------------------------------------------- /models/ctmcs/polling/s1_before_s2.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/s1_before_s2.csl -------------------------------------------------------------------------------- /models/ctmcs/polling/served.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/served.csl -------------------------------------------------------------------------------- /models/ctmcs/polling/station1_polled.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/station1_polled.csl -------------------------------------------------------------------------------- /models/ctmcs/polling/waiting.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/polling/waiting.csl -------------------------------------------------------------------------------- /models/ctmcs/tandem/customers.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/customers.csl -------------------------------------------------------------------------------- /models/ctmcs/tandem/customers_T.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/customers_T.csl -------------------------------------------------------------------------------- /models/ctmcs/tandem/first_queue.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/first_queue.csl -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=1023.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=1023.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=127.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=127.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=15.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=15.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=2047.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=2047.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=255.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=255.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=31.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=31.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=4095.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=4095.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=5.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=5.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=511.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=511.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=63.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=63.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/logs/tandem.sm.const.c=7.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/logs/tandem.sm.const.c=7.log -------------------------------------------------------------------------------- /models/ctmcs/tandem/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/models -------------------------------------------------------------------------------- /models/ctmcs/tandem/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/models.csv -------------------------------------------------------------------------------- /models/ctmcs/tandem/network.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/network.csl -------------------------------------------------------------------------------- /models/ctmcs/tandem/second_queue.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/second_queue.csl -------------------------------------------------------------------------------- /models/ctmcs/tandem/tandem.sm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ctmcs/tandem/tandem.sm -------------------------------------------------------------------------------- /models/dtmcs/bluetooth/bluetooth.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/bluetooth/bluetooth.pm -------------------------------------------------------------------------------- /models/dtmcs/bluetooth/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/bluetooth/models -------------------------------------------------------------------------------- /models/dtmcs/bluetooth/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/bluetooth/models.csv -------------------------------------------------------------------------------- /models/dtmcs/bluetooth/time.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/bluetooth/time.pctl -------------------------------------------------------------------------------- /models/dtmcs/brp/brp.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/brp.pm -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=16,MAX=2.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=16,MAX=2.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=16,MAX=3.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=16,MAX=3.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=16,MAX=4.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=16,MAX=4.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=16,MAX=5.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=16,MAX=5.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=32,MAX=2.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=32,MAX=2.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=32,MAX=3.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=32,MAX=3.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=32,MAX=4.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=32,MAX=4.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=32,MAX=5.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=32,MAX=5.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=64,MAX=2.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=64,MAX=2.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=64,MAX=3.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=64,MAX=3.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=64,MAX=4.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=64,MAX=4.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/logs/brp.pm.const.N=64,MAX=5.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/logs/brp.pm.const.N=64,MAX=5.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/brp/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/models -------------------------------------------------------------------------------- /models/dtmcs/brp/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/models.csv -------------------------------------------------------------------------------- /models/dtmcs/brp/p1.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/p1.pctl -------------------------------------------------------------------------------- /models/dtmcs/brp/p2.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/p2.pctl -------------------------------------------------------------------------------- /models/dtmcs/brp/p4.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/brp/p4.pctl -------------------------------------------------------------------------------- /models/dtmcs/crowds/crowds.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/crowds.pm -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=3,CrowdSize=10.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=3,CrowdSize=10.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=3,CrowdSize=15.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=3,CrowdSize=15.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=3,CrowdSize=20.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=3,CrowdSize=20.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=3,CrowdSize=5.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=3,CrowdSize=5.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=4,CrowdSize=10.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=4,CrowdSize=10.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=4,CrowdSize=15.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=4,CrowdSize=15.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=4,CrowdSize=20.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=4,CrowdSize=20.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=4,CrowdSize=5.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=4,CrowdSize=5.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=5,CrowdSize=10.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=5,CrowdSize=10.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=5,CrowdSize=15.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=5,CrowdSize=15.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=5,CrowdSize=20.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=5,CrowdSize=20.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=5,CrowdSize=5.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=5,CrowdSize=5.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=6,CrowdSize=10.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=6,CrowdSize=10.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=6,CrowdSize=15.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=6,CrowdSize=15.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=6,CrowdSize=20.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=6,CrowdSize=20.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=6,CrowdSize=5.fixdl.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/logs/crowds.pm.const.TotalRuns=6,CrowdSize=5.fixdl.log -------------------------------------------------------------------------------- /models/dtmcs/crowds/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/models -------------------------------------------------------------------------------- /models/dtmcs/crowds/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/models.csv -------------------------------------------------------------------------------- /models/dtmcs/crowds/positive.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/crowds/positive.pctl -------------------------------------------------------------------------------- /models/dtmcs/egl/egl.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/egl.pm -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=10,L=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=10,L=2.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=10,L=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=10,L=4.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=10,L=6.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=10,L=6.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=10,L=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=10,L=8.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=15,L=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=15,L=2.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=15,L=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=15,L=4.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=15,L=6.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=15,L=6.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=15,L=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=15,L=8.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=20,L=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=20,L=2.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=20,L=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=20,L=4.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=20,L=6.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=20,L=6.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=20,L=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=20,L=8.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=5,L=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=5,L=2.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=5,L=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=5,L=4.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=5,L=6.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=5,L=6.log -------------------------------------------------------------------------------- /models/dtmcs/egl/logs/egl.pm.const.N=5,L=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/logs/egl.pm.const.N=5,L=8.log -------------------------------------------------------------------------------- /models/dtmcs/egl/messagesA.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/messagesA.pctl -------------------------------------------------------------------------------- /models/dtmcs/egl/messagesB.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/messagesB.pctl -------------------------------------------------------------------------------- /models/dtmcs/egl/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/models -------------------------------------------------------------------------------- /models/dtmcs/egl/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/models.csv -------------------------------------------------------------------------------- /models/dtmcs/egl/unfairA.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/unfairA.pctl -------------------------------------------------------------------------------- /models/dtmcs/egl/unfairB.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/egl/unfairB.pctl -------------------------------------------------------------------------------- /models/dtmcs/herman/herman11.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman11.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/herman13.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman13.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/herman15.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman15.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/herman17.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman17.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/herman19.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman19.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/herman21.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman21.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/herman3.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman3.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/herman5.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman5.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/herman7.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman7.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/herman9.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/herman9.pm -------------------------------------------------------------------------------- /models/dtmcs/herman/logs/herman11.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/logs/herman11.pm.log -------------------------------------------------------------------------------- /models/dtmcs/herman/logs/herman13.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/logs/herman13.pm.log -------------------------------------------------------------------------------- /models/dtmcs/herman/logs/herman15.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/logs/herman15.pm.log -------------------------------------------------------------------------------- /models/dtmcs/herman/logs/herman3.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/logs/herman3.pm.log -------------------------------------------------------------------------------- /models/dtmcs/herman/logs/herman5.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/logs/herman5.pm.log -------------------------------------------------------------------------------- /models/dtmcs/herman/logs/herman7.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/logs/herman7.pm.log -------------------------------------------------------------------------------- /models/dtmcs/herman/logs/herman9.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/logs/herman9.pm.log -------------------------------------------------------------------------------- /models/dtmcs/herman/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/models -------------------------------------------------------------------------------- /models/dtmcs/herman/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/models.csv -------------------------------------------------------------------------------- /models/dtmcs/herman/steps.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/herman/steps.pctl -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/.autopp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/.autopp -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/.leader_syncN_K.pm.pp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/.leader_syncN_K.pm.pp -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/eventually_elected.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/eventually_elected.pctl -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync3_2.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync3_2.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync3_3.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync3_3.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync3_4.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync3_4.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync3_5.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync3_5.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync3_6.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync3_6.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync3_8.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync3_8.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync4_2.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync4_2.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync4_3.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync4_3.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync4_4.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync4_4.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync4_5.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync4_5.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync4_6.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync4_6.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync4_8.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync4_8.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync5_2.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync5_2.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync5_3.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync5_3.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync5_4.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync5_4.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync5_5.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync5_5.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync5_6.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync5_6.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync5_8.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync5_8.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync6_2.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync6_2.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync6_3.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync6_3.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync6_4.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync6_4.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync6_5.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync6_5.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync6_6.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync6_6.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/leader_sync6_8.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/leader_sync6_8.pm -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/logs/leader_sync3_2.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/logs/leader_sync3_2.pm.log -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/logs/leader_sync3_3.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/logs/leader_sync3_3.pm.log -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/logs/leader_sync3_4.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/logs/leader_sync3_4.pm.log -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/logs/leader_sync4_2.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/logs/leader_sync4_2.pm.log -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/logs/leader_sync4_3.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/logs/leader_sync4_3.pm.log -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/logs/leader_sync4_4.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/logs/leader_sync4_4.pm.log -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/logs/leader_sync5_2.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/logs/leader_sync5_2.pm.log -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/logs/leader_sync5_3.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/logs/leader_sync5_3.pm.log -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/logs/leader_sync5_4.pm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/logs/leader_sync5_4.pm.log -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/models -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/models.csv -------------------------------------------------------------------------------- /models/dtmcs/leader_sync/time.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/leader_sync/time.pctl -------------------------------------------------------------------------------- /models/dtmcs/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/models.csv -------------------------------------------------------------------------------- /models/dtmcs/models.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/models.json -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=20,K=1.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=20,K=1.log -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=20,K=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=20,K=2.log -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=20,K=3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=20,K=3.log -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=20,K=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=20,K=4.log -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=40,K=1.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=40,K=1.log -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=40,K=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=40,K=2.log -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=40,K=3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=40,K=3.log -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=40,K=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=40,K=4.log -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=60,K=1.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=60,K=1.log -------------------------------------------------------------------------------- /models/dtmcs/nand/logs/nand.pm.const.N=60,K=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/logs/nand.pm.const.N=60,K=2.log -------------------------------------------------------------------------------- /models/dtmcs/nand/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/models -------------------------------------------------------------------------------- /models/dtmcs/nand/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/models.csv -------------------------------------------------------------------------------- /models/dtmcs/nand/nand.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/nand.pm -------------------------------------------------------------------------------- /models/dtmcs/nand/reliable.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/dtmcs/nand/reliable.pctl -------------------------------------------------------------------------------- /models/mdps/consensus/.autopp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/.autopp -------------------------------------------------------------------------------- /models/mdps/consensus/.coinN.nm.pp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/.coinN.nm.pp -------------------------------------------------------------------------------- /models/mdps/consensus/c1.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/c1.pctl -------------------------------------------------------------------------------- /models/mdps/consensus/c2.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/c2.pctl -------------------------------------------------------------------------------- /models/mdps/consensus/coin10.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/coin10.nm -------------------------------------------------------------------------------- /models/mdps/consensus/coin2.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/coin2.nm -------------------------------------------------------------------------------- /models/mdps/consensus/coin4.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/coin4.nm -------------------------------------------------------------------------------- /models/mdps/consensus/coin6.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/coin6.nm -------------------------------------------------------------------------------- /models/mdps/consensus/coin8.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/coin8.nm -------------------------------------------------------------------------------- /models/mdps/consensus/disagree.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/disagree.pctl -------------------------------------------------------------------------------- /models/mdps/consensus/logs/coin2.nm.const.K=16.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/logs/coin2.nm.const.K=16.log -------------------------------------------------------------------------------- /models/mdps/consensus/logs/coin2.nm.const.K=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/logs/coin2.nm.const.K=2.log -------------------------------------------------------------------------------- /models/mdps/consensus/logs/coin2.nm.const.K=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/logs/coin2.nm.const.K=4.log -------------------------------------------------------------------------------- /models/mdps/consensus/logs/coin2.nm.const.K=8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/logs/coin2.nm.const.K=8.log -------------------------------------------------------------------------------- /models/mdps/consensus/logs/coin4.nm.const.K=2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/logs/coin4.nm.const.K=2.log -------------------------------------------------------------------------------- /models/mdps/consensus/logs/coin4.nm.const.K=4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/logs/coin4.nm.const.K=4.log -------------------------------------------------------------------------------- /models/mdps/consensus/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/models -------------------------------------------------------------------------------- /models/mdps/consensus/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/models.csv -------------------------------------------------------------------------------- /models/mdps/consensus/steps_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/steps_max.pctl -------------------------------------------------------------------------------- /models/mdps/consensus/steps_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/consensus/steps_min.pctl -------------------------------------------------------------------------------- /models/mdps/csma/.autopp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/.autopp -------------------------------------------------------------------------------- /models/mdps/csma/.csmaN_K.nm.pp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/.csmaN_K.nm.pp -------------------------------------------------------------------------------- /models/mdps/csma/all_before_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/all_before_max.pctl -------------------------------------------------------------------------------- /models/mdps/csma/all_before_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/all_before_min.pctl -------------------------------------------------------------------------------- /models/mdps/csma/csma2_2.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/csma2_2.nm -------------------------------------------------------------------------------- /models/mdps/csma/csma2_4.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/csma2_4.nm -------------------------------------------------------------------------------- /models/mdps/csma/csma2_6.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/csma2_6.nm -------------------------------------------------------------------------------- /models/mdps/csma/csma3_2.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/csma3_2.nm -------------------------------------------------------------------------------- /models/mdps/csma/csma3_4.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/csma3_4.nm -------------------------------------------------------------------------------- /models/mdps/csma/csma3_6.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/csma3_6.nm -------------------------------------------------------------------------------- /models/mdps/csma/csma4_2.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/csma4_2.nm -------------------------------------------------------------------------------- /models/mdps/csma/csma4_4.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/csma4_4.nm -------------------------------------------------------------------------------- /models/mdps/csma/csma4_6.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/csma4_6.nm -------------------------------------------------------------------------------- /models/mdps/csma/logs/csma2_2.nm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/logs/csma2_2.nm.log -------------------------------------------------------------------------------- /models/mdps/csma/logs/csma2_4.nm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/logs/csma2_4.nm.log -------------------------------------------------------------------------------- /models/mdps/csma/logs/csma2_6.nm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/logs/csma2_6.nm.log -------------------------------------------------------------------------------- /models/mdps/csma/logs/csma3_2.nm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/logs/csma3_2.nm.log -------------------------------------------------------------------------------- /models/mdps/csma/logs/csma3_4.nm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/logs/csma3_4.nm.log -------------------------------------------------------------------------------- /models/mdps/csma/logs/csma3_6.nm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/logs/csma3_6.nm.log -------------------------------------------------------------------------------- /models/mdps/csma/logs/csma4_2.nm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/logs/csma4_2.nm.log -------------------------------------------------------------------------------- /models/mdps/csma/logs/csma4_4.nm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/logs/csma4_4.nm.log -------------------------------------------------------------------------------- /models/mdps/csma/logs/csma4_6.nm.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/logs/csma4_6.nm.log -------------------------------------------------------------------------------- /models/mdps/csma/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/models -------------------------------------------------------------------------------- /models/mdps/csma/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/models.csv -------------------------------------------------------------------------------- /models/mdps/csma/some_before.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/some_before.pctl -------------------------------------------------------------------------------- /models/mdps/csma/time_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/time_max.pctl -------------------------------------------------------------------------------- /models/mdps/csma/time_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/csma/time_min.pctl -------------------------------------------------------------------------------- /models/mdps/firewire/elected.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire/elected.pctl -------------------------------------------------------------------------------- /models/mdps/firewire/firewire.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire/firewire.nm -------------------------------------------------------------------------------- /models/mdps/firewire/logs/firewire.nm.const.delay=3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire/logs/firewire.nm.const.delay=3.log -------------------------------------------------------------------------------- /models/mdps/firewire/logs/firewire.nm.const.delay=36.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire/logs/firewire.nm.const.delay=36.log -------------------------------------------------------------------------------- /models/mdps/firewire/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire/models -------------------------------------------------------------------------------- /models/mdps/firewire/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire/models.csv -------------------------------------------------------------------------------- /models/mdps/firewire/time_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire/time_max.pctl -------------------------------------------------------------------------------- /models/mdps/firewire/time_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire/time_min.pctl -------------------------------------------------------------------------------- /models/mdps/firewire/time_sending.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire/time_sending.pctl -------------------------------------------------------------------------------- /models/mdps/firewire_abst/elected.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_abst/elected.pctl -------------------------------------------------------------------------------- /models/mdps/firewire_abst/firewire_abst.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_abst/firewire_abst.nm -------------------------------------------------------------------------------- /models/mdps/firewire_abst/logs/firewire_abst.nm.const.delay=3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_abst/logs/firewire_abst.nm.const.delay=3.log -------------------------------------------------------------------------------- /models/mdps/firewire_abst/logs/firewire_abst.nm.const.delay=36.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_abst/logs/firewire_abst.nm.const.delay=36.log -------------------------------------------------------------------------------- /models/mdps/firewire_abst/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_abst/models -------------------------------------------------------------------------------- /models/mdps/firewire_abst/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_abst/models.csv -------------------------------------------------------------------------------- /models/mdps/firewire_abst/rounds.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_abst/rounds.pctl -------------------------------------------------------------------------------- /models/mdps/firewire_abst/time_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_abst/time_max.pctl -------------------------------------------------------------------------------- /models/mdps/firewire_abst/time_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_abst/time_min.pctl -------------------------------------------------------------------------------- /models/mdps/firewire_dl/deadline.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/deadline.pctl -------------------------------------------------------------------------------- /models/mdps/firewire_dl/firewire_dl.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/firewire_dl.nm -------------------------------------------------------------------------------- /models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=3,deadline=200.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=3,deadline=200.log -------------------------------------------------------------------------------- /models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=3,deadline=400.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=3,deadline=400.log -------------------------------------------------------------------------------- /models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=3,deadline=600.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=3,deadline=600.log -------------------------------------------------------------------------------- /models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=3,deadline=800.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=3,deadline=800.log -------------------------------------------------------------------------------- /models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=36,deadline=200.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=36,deadline=200.log -------------------------------------------------------------------------------- /models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=36,deadline=400.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=36,deadline=400.log -------------------------------------------------------------------------------- /models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=36,deadline=600.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=36,deadline=600.log -------------------------------------------------------------------------------- /models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=36,deadline=800.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/logs/firewire_dl.nm.const.delay=36,deadline=800.log -------------------------------------------------------------------------------- /models/mdps/firewire_dl/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/models -------------------------------------------------------------------------------- /models/mdps/firewire_dl/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_dl/models.csv -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/deadline.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/deadline.pctl -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/firewire_impl_dl.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/firewire_impl_dl.nm -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=3,deadline=200.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=3,deadline=200.log -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=3,deadline=400.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=3,deadline=400.log -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=3,deadline=600.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=3,deadline=600.log -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=3,deadline=800.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=3,deadline=800.log -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=36,deadline=200.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=36,deadline=200.log -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=36,deadline=400.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=36,deadline=400.log -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=36,deadline=600.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=36,deadline=600.log -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=36,deadline=800.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/logs/firewire_impl_dl.nm.const.delay=36,deadline=800.log -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/models -------------------------------------------------------------------------------- /models/mdps/firewire_impl_dl/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/firewire_impl_dl/models.csv -------------------------------------------------------------------------------- /models/mdps/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/models.csv -------------------------------------------------------------------------------- /models/mdps/models.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/models.json -------------------------------------------------------------------------------- /models/mdps/wlan/collisions.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/collisions.pctl -------------------------------------------------------------------------------- /models/mdps/wlan/cost_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/cost_max.pctl -------------------------------------------------------------------------------- /models/mdps/wlan/cost_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/cost_min.pctl -------------------------------------------------------------------------------- /models/mdps/wlan/logs/wlan0.nm.const.COL=0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/logs/wlan0.nm.const.COL=0.log -------------------------------------------------------------------------------- /models/mdps/wlan/logs/wlan1.nm.const.COL=0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/logs/wlan1.nm.const.COL=0.log -------------------------------------------------------------------------------- /models/mdps/wlan/logs/wlan2.nm.const.COL=0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/logs/wlan2.nm.const.COL=0.log -------------------------------------------------------------------------------- /models/mdps/wlan/logs/wlan3.nm.const.COL=0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/logs/wlan3.nm.const.COL=0.log -------------------------------------------------------------------------------- /models/mdps/wlan/logs/wlan4.nm.const.COL=0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/logs/wlan4.nm.const.COL=0.log -------------------------------------------------------------------------------- /models/mdps/wlan/logs/wlan5.nm.const.COL=0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/logs/wlan5.nm.const.COL=0.log -------------------------------------------------------------------------------- /models/mdps/wlan/logs/wlan6.nm.const.COL=0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/logs/wlan6.nm.const.COL=0.log -------------------------------------------------------------------------------- /models/mdps/wlan/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/models -------------------------------------------------------------------------------- /models/mdps/wlan/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/models.csv -------------------------------------------------------------------------------- /models/mdps/wlan/num_collisions.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/num_collisions.pctl -------------------------------------------------------------------------------- /models/mdps/wlan/sent.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/sent.pctl -------------------------------------------------------------------------------- /models/mdps/wlan/time_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/time_max.pctl -------------------------------------------------------------------------------- /models/mdps/wlan/time_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/time_min.pctl -------------------------------------------------------------------------------- /models/mdps/wlan/wlan0.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/wlan0.nm -------------------------------------------------------------------------------- /models/mdps/wlan/wlan1.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/wlan1.nm -------------------------------------------------------------------------------- /models/mdps/wlan/wlan2.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/wlan2.nm -------------------------------------------------------------------------------- /models/mdps/wlan/wlan3.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/wlan3.nm -------------------------------------------------------------------------------- /models/mdps/wlan/wlan4.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/wlan4.nm -------------------------------------------------------------------------------- /models/mdps/wlan/wlan5.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/wlan5.nm -------------------------------------------------------------------------------- /models/mdps/wlan/wlan6.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan/wlan6.nm -------------------------------------------------------------------------------- /models/mdps/wlan_dl/deadline.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/deadline.pctl -------------------------------------------------------------------------------- /models/mdps/wlan_dl/logs/wlan_dl0.nm.const.deadline=80.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/logs/wlan_dl0.nm.const.deadline=80.log -------------------------------------------------------------------------------- /models/mdps/wlan_dl/logs/wlan_dl1.nm.const.deadline=80.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/logs/wlan_dl1.nm.const.deadline=80.log -------------------------------------------------------------------------------- /models/mdps/wlan_dl/logs/wlan_dl2.nm.const.deadline=80.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/logs/wlan_dl2.nm.const.deadline=80.log -------------------------------------------------------------------------------- /models/mdps/wlan_dl/logs/wlan_dl3.nm.const.deadline=80.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/logs/wlan_dl3.nm.const.deadline=80.log -------------------------------------------------------------------------------- /models/mdps/wlan_dl/logs/wlan_dl4.nm.const.deadline=80.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/logs/wlan_dl4.nm.const.deadline=80.log -------------------------------------------------------------------------------- /models/mdps/wlan_dl/logs/wlan_dl5.nm.const.deadline=80.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/logs/wlan_dl5.nm.const.deadline=80.log -------------------------------------------------------------------------------- /models/mdps/wlan_dl/logs/wlan_dl6.nm.const.deadline=80.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/logs/wlan_dl6.nm.const.deadline=80.log -------------------------------------------------------------------------------- /models/mdps/wlan_dl/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/models -------------------------------------------------------------------------------- /models/mdps/wlan_dl/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/models.csv -------------------------------------------------------------------------------- /models/mdps/wlan_dl/wlan_dl0.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/wlan_dl0.nm -------------------------------------------------------------------------------- /models/mdps/wlan_dl/wlan_dl1.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/wlan_dl1.nm -------------------------------------------------------------------------------- /models/mdps/wlan_dl/wlan_dl2.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/wlan_dl2.nm -------------------------------------------------------------------------------- /models/mdps/wlan_dl/wlan_dl3.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/wlan_dl3.nm -------------------------------------------------------------------------------- /models/mdps/wlan_dl/wlan_dl4.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/wlan_dl4.nm -------------------------------------------------------------------------------- /models/mdps/wlan_dl/wlan_dl5.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/wlan_dl5.nm -------------------------------------------------------------------------------- /models/mdps/wlan_dl/wlan_dl6.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/wlan_dl/wlan_dl6.nm -------------------------------------------------------------------------------- /models/mdps/zeroconf/correct_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/correct_max.pctl -------------------------------------------------------------------------------- /models/mdps/zeroconf/correct_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/correct_min.pctl -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=2,reset=false.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=2,reset=false.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=2,reset=true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=2,reset=true.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=4,reset=false.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=4,reset=false.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=4,reset=true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=4,reset=true.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=6,reset=false.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=6,reset=false.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=6,reset=true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=6,reset=true.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=8,reset=false.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=8,reset=false.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=8,reset=true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=1000,K=8,reset=true.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=2,reset=false.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=2,reset=false.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=2,reset=true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=2,reset=true.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=4,reset=false.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=4,reset=false.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=4,reset=true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=4,reset=true.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=6,reset=false.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=6,reset=false.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=6,reset=true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=6,reset=true.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=8,reset=false.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=8,reset=false.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=8,reset=true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/logs/zeroconf.nm.const.N=20,K=8,reset=true.log -------------------------------------------------------------------------------- /models/mdps/zeroconf/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/models -------------------------------------------------------------------------------- /models/mdps/zeroconf/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/models.csv -------------------------------------------------------------------------------- /models/mdps/zeroconf/zeroconf.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf/zeroconf.nm -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/deadline_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/deadline_max.pctl -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/deadline_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/deadline_min.pctl -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=10.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=10.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=20.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=20.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=30.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=30.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=40.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=40.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=50.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=false,deadline=50.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=10.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=10.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=20.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=20.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=30.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=30.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=40.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=40.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=50.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/logs/zeroconf_dl.nm.const.N=1000,K=1,reset=true,deadline=50.log -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/models -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/models.csv -------------------------------------------------------------------------------- /models/mdps/zeroconf_dl/zeroconf_dl.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/mdps/zeroconf_dl/zeroconf_dl.nm -------------------------------------------------------------------------------- /models/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/models.csv -------------------------------------------------------------------------------- /models/ptas/csma/collisions.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma/collisions.pctl -------------------------------------------------------------------------------- /models/ptas/csma/csma.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma/csma.nm -------------------------------------------------------------------------------- /models/ptas/csma/logs/csma.nm.const.K=2,COL=4.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma/logs/csma.nm.const.K=2,COL=4.pf.true.log -------------------------------------------------------------------------------- /models/ptas/csma/logs/csma.nm.const.K=2,COL=8.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma/logs/csma.nm.const.K=2,COL=8.pf.true.log -------------------------------------------------------------------------------- /models/ptas/csma/logs/csma.nm.const.K=4,COL=4.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma/logs/csma.nm.const.K=4,COL=4.pf.true.log -------------------------------------------------------------------------------- /models/ptas/csma/logs/csma.nm.const.K=4,COL=8.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma/logs/csma.nm.const.K=4,COL=8.pf.true.log -------------------------------------------------------------------------------- /models/ptas/csma/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma/models -------------------------------------------------------------------------------- /models/ptas/csma/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma/models.csv -------------------------------------------------------------------------------- /models/ptas/csma_abst/csma_abst.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma_abst/csma_abst.nm -------------------------------------------------------------------------------- /models/ptas/csma_abst/deadline_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma_abst/deadline_max.pctl -------------------------------------------------------------------------------- /models/ptas/csma_abst/deadline_max.pctl.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma_abst/deadline_max.pctl.args -------------------------------------------------------------------------------- /models/ptas/csma_abst/deadline_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma_abst/deadline_min.pctl -------------------------------------------------------------------------------- /models/ptas/csma_abst/deadline_min.pctl.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma_abst/deadline_min.pctl.args -------------------------------------------------------------------------------- /models/ptas/csma_abst/eventually.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma_abst/eventually.pctl -------------------------------------------------------------------------------- /models/ptas/csma_abst/logs/csma_abst.nm.const.K=1.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma_abst/logs/csma_abst.nm.const.K=1.pf.true.log -------------------------------------------------------------------------------- /models/ptas/csma_abst/models: -------------------------------------------------------------------------------- 1 | csma_abst.nm -const K=1 2 | -------------------------------------------------------------------------------- /models/ptas/csma_abst/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/csma_abst/models.csv -------------------------------------------------------------------------------- /models/ptas/firewire/deadline.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire/deadline.pctl -------------------------------------------------------------------------------- /models/ptas/firewire/deadline.pctl.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire/deadline.pctl.args -------------------------------------------------------------------------------- /models/ptas/firewire/eventually.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire/eventually.pctl -------------------------------------------------------------------------------- /models/ptas/firewire/firewire.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire/firewire.nm -------------------------------------------------------------------------------- /models/ptas/firewire/logs/firewire.nm.const.delay=360.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire/logs/firewire.nm.const.delay=360.pf.true.log -------------------------------------------------------------------------------- /models/ptas/firewire/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire/models -------------------------------------------------------------------------------- /models/ptas/firewire/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire/models.csv -------------------------------------------------------------------------------- /models/ptas/firewire_abst/deadline_max.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/deadline_max.pctl -------------------------------------------------------------------------------- /models/ptas/firewire_abst/deadline_max.pctl.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/deadline_max.pctl.args -------------------------------------------------------------------------------- /models/ptas/firewire_abst/deadline_min.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/deadline_min.pctl -------------------------------------------------------------------------------- /models/ptas/firewire_abst/deadline_min.pctl.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/deadline_min.pctl.args -------------------------------------------------------------------------------- /models/ptas/firewire_abst/eventually.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/eventually.pctl -------------------------------------------------------------------------------- /models/ptas/firewire_abst/firewire_abst.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/firewire_abst.nm -------------------------------------------------------------------------------- /models/ptas/firewire_abst/logs/firewire_abst.nm.const.delay=30.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/logs/firewire_abst.nm.const.delay=30.pf.true.log -------------------------------------------------------------------------------- /models/ptas/firewire_abst/logs/firewire_abst.nm.const.delay=360.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/logs/firewire_abst.nm.const.delay=360.pf.true.log -------------------------------------------------------------------------------- /models/ptas/firewire_abst/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/models -------------------------------------------------------------------------------- /models/ptas/firewire_abst/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/firewire_abst/models.csv -------------------------------------------------------------------------------- /models/ptas/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/models.csv -------------------------------------------------------------------------------- /models/ptas/models.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/models.json -------------------------------------------------------------------------------- /models/ptas/repudiation_honest/deadline.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_honest/deadline.pctl -------------------------------------------------------------------------------- /models/ptas/repudiation_honest/deadline.pctl.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_honest/deadline.pctl.args -------------------------------------------------------------------------------- /models/ptas/repudiation_honest/eventually.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_honest/eventually.pctl -------------------------------------------------------------------------------- /models/ptas/repudiation_honest/logs/repudiation_honest.nm.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_honest/logs/repudiation_honest.nm.pf.true.log -------------------------------------------------------------------------------- /models/ptas/repudiation_honest/models: -------------------------------------------------------------------------------- 1 | repudiation_honest.nm 2 | -------------------------------------------------------------------------------- /models/ptas/repudiation_honest/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_honest/models.csv -------------------------------------------------------------------------------- /models/ptas/repudiation_honest/repudiation_honest.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_honest/repudiation_honest.nm -------------------------------------------------------------------------------- /models/ptas/repudiation_malicious/.models: -------------------------------------------------------------------------------- 1 | repudiation.nm 2 | -------------------------------------------------------------------------------- /models/ptas/repudiation_malicious/deadline.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_malicious/deadline.pctl -------------------------------------------------------------------------------- /models/ptas/repudiation_malicious/deadline.pctl.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_malicious/deadline.pctl.args -------------------------------------------------------------------------------- /models/ptas/repudiation_malicious/eventually.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_malicious/eventually.pctl -------------------------------------------------------------------------------- /models/ptas/repudiation_malicious/logs/repudiation_malicious.nm.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_malicious/logs/repudiation_malicious.nm.pf.true.log -------------------------------------------------------------------------------- /models/ptas/repudiation_malicious/models: -------------------------------------------------------------------------------- 1 | repudiation_malicious.nm 2 | -------------------------------------------------------------------------------- /models/ptas/repudiation_malicious/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_malicious/models.csv -------------------------------------------------------------------------------- /models/ptas/repudiation_malicious/repudiation_malicious.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/repudiation_malicious/repudiation_malicious.nm -------------------------------------------------------------------------------- /models/ptas/zeroconf/deadline.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/zeroconf/deadline.pctl -------------------------------------------------------------------------------- /models/ptas/zeroconf/deadline.pctl.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/zeroconf/deadline.pctl.args -------------------------------------------------------------------------------- /models/ptas/zeroconf/incorrect.pctl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/zeroconf/incorrect.pctl -------------------------------------------------------------------------------- /models/ptas/zeroconf/logs/zeroconf.nm.pf.true.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/zeroconf/logs/zeroconf.nm.pf.true.log -------------------------------------------------------------------------------- /models/ptas/zeroconf/models: -------------------------------------------------------------------------------- 1 | zeroconf.nm 2 | -------------------------------------------------------------------------------- /models/ptas/zeroconf/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/zeroconf/models.csv -------------------------------------------------------------------------------- /models/ptas/zeroconf/zeroconf.nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/ptas/zeroconf/zeroconf.nm -------------------------------------------------------------------------------- /models/smgs/avoid/avoid.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/avoid/avoid.prism -------------------------------------------------------------------------------- /models/smgs/avoid/exit.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/avoid/exit.props -------------------------------------------------------------------------------- /models/smgs/avoid/find.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/avoid/find.props -------------------------------------------------------------------------------- /models/smgs/avoid/logs/avoid.prism.const.X_MAX=10,Y_MAX=10.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/avoid/logs/avoid.prism.const.X_MAX=10,Y_MAX=10.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/avoid/logs/avoid.prism.const.X_MAX=15,Y_MAX=15.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/avoid/logs/avoid.prism.const.X_MAX=15,Y_MAX=15.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/avoid/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/avoid/models -------------------------------------------------------------------------------- /models/smgs/avoid/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/avoid/models.csv -------------------------------------------------------------------------------- /models/smgs/dice/dice.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/dice/dice.prism -------------------------------------------------------------------------------- /models/smgs/dice/logs/dice.prism.const.N=10.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/dice/logs/dice.prism.const.N=10.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/dice/logs/dice.prism.const.N=25.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/dice/logs/dice.prism.const.N=25.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/dice/logs/dice.prism.const.N=50.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/dice/logs/dice.prism.const.N=50.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/dice/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/dice/models -------------------------------------------------------------------------------- /models/smgs/dice/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/dice/models.csv -------------------------------------------------------------------------------- /models/smgs/dice/p1wins.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/dice/p1wins.props -------------------------------------------------------------------------------- /models/smgs/hallway_human/damage.props.notused: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/hallway_human/damage.props.notused -------------------------------------------------------------------------------- /models/smgs/hallway_human/hallway_human.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/hallway_human/hallway_human.prism -------------------------------------------------------------------------------- /models/smgs/hallway_human/logs/hallway_human.prism.const.X_MAX=10,Y_MAX=10.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/hallway_human/logs/hallway_human.prism.const.X_MAX=10,Y_MAX=10.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/hallway_human/logs/hallway_human.prism.const.X_MAX=5,Y_MAX=5.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/hallway_human/logs/hallway_human.prism.const.X_MAX=5,Y_MAX=5.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/hallway_human/logs/hallway_human.prism.const.X_MAX=8,Y_MAX=8.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/hallway_human/logs/hallway_human.prism.const.X_MAX=8,Y_MAX=8.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/hallway_human/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/hallway_human/models -------------------------------------------------------------------------------- /models/smgs/hallway_human/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/hallway_human/models.csv -------------------------------------------------------------------------------- /models/smgs/hallway_human/save.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/hallway_human/save.props -------------------------------------------------------------------------------- /models/smgs/investors/greater.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/investors/greater.props -------------------------------------------------------------------------------- /models/smgs/investors/investors2.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/investors/investors2.prism -------------------------------------------------------------------------------- /models/smgs/investors/investors3.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/investors/investors3.prism -------------------------------------------------------------------------------- /models/smgs/investors/logs/investors2.prism.const.vmax=10.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/investors/logs/investors2.prism.const.vmax=10.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/investors/logs/investors2.prism.const.vmax=20.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/investors/logs/investors2.prism.const.vmax=20.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/investors/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/investors/models -------------------------------------------------------------------------------- /models/smgs/investors/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/investors/models.csv -------------------------------------------------------------------------------- /models/smgs/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/models.csv -------------------------------------------------------------------------------- /models/smgs/models.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/models.json -------------------------------------------------------------------------------- /models/smgs/safe_nav/logs/safe_nav8x8_A.prism.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/logs/safe_nav8x8_A.prism.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/safe_nav/logs/safe_nav8x8_B.prism.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/logs/safe_nav8x8_B.prism.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/safe_nav/logs/safe_nav8x8_C.prism.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/logs/safe_nav8x8_C.prism.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/safe_nav/logs/safe_nav8x8_D.prism.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/logs/safe_nav8x8_D.prism.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/safe_nav/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/models -------------------------------------------------------------------------------- /models/smgs/safe_nav/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/models.csv -------------------------------------------------------------------------------- /models/smgs/safe_nav/reach.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/reach.props -------------------------------------------------------------------------------- /models/smgs/safe_nav/safe_nav10x10_M.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/safe_nav10x10_M.prism -------------------------------------------------------------------------------- /models/smgs/safe_nav/safe_nav10x10_S.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/safe_nav10x10_S.prism -------------------------------------------------------------------------------- /models/smgs/safe_nav/safe_nav15x15_S.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/safe_nav15x15_S.prism -------------------------------------------------------------------------------- /models/smgs/safe_nav/safe_nav20x20_S.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/safe_nav20x20_S.prism -------------------------------------------------------------------------------- /models/smgs/safe_nav/safe_nav8x8_A.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/safe_nav8x8_A.prism -------------------------------------------------------------------------------- /models/smgs/safe_nav/safe_nav8x8_B.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/safe_nav8x8_B.prism -------------------------------------------------------------------------------- /models/smgs/safe_nav/safe_nav8x8_C.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/safe_nav8x8_C.prism -------------------------------------------------------------------------------- /models/smgs/safe_nav/safe_nav8x8_D.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/safe_nav/safe_nav8x8_D.prism -------------------------------------------------------------------------------- /models/smgs/task_graph/logs/task_graph6.prism.const.k1=10,k2=10.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/logs/task_graph6.prism.const.k1=10,k2=10.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/task_graph/logs/task_graph6.prism.const.k1=15,k2=15.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/logs/task_graph6.prism.const.k1=15,k2=15.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/task_graph/logs/task_graph6.prism.const.k1=20,k2=20.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/logs/task_graph6.prism.const.k1=20,k2=20.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/task_graph/logs/task_graph9.prism.const.k1=10,k2=10.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/logs/task_graph9.prism.const.k1=10,k2=10.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/task_graph/logs/task_graph9.prism.const.k1=15,k2=15.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/logs/task_graph9.prism.const.k1=15,k2=15.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/task_graph/logs/task_graph9.prism.const.k1=20,k2=20.javamaxmem.16g.m.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/logs/task_graph9.prism.const.k1=20,k2=20.javamaxmem.16g.m.log -------------------------------------------------------------------------------- /models/smgs/task_graph/models: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/models -------------------------------------------------------------------------------- /models/smgs/task_graph/models.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/models.csv -------------------------------------------------------------------------------- /models/smgs/task_graph/task_graph6.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/task_graph6.prism -------------------------------------------------------------------------------- /models/smgs/task_graph/task_graph6_tptg.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/task_graph6_tptg.prism -------------------------------------------------------------------------------- /models/smgs/task_graph/task_graph9.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/task_graph9.prism -------------------------------------------------------------------------------- /models/smgs/task_graph/task_graph9_tptg.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/task_graph9_tptg.prism -------------------------------------------------------------------------------- /models/smgs/task_graph/time.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/models/smgs/task_graph/time.props -------------------------------------------------------------------------------- /properties/ctmcs-cumulative-reward.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ctmcs-cumulative-reward.txt -------------------------------------------------------------------------------- /properties/ctmcs-expected-reachability.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ctmcs-expected-reachability.txt -------------------------------------------------------------------------------- /properties/ctmcs-reachability-quantitative.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ctmcs-reachability-quantitative.txt -------------------------------------------------------------------------------- /properties/ctmcs-steady-state.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ctmcs-steady-state.txt -------------------------------------------------------------------------------- /properties/ctmcs-timebounded-reachability.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ctmcs-timebounded-reachability.txt -------------------------------------------------------------------------------- /properties/ctmcs-transient.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ctmcs-transient.txt -------------------------------------------------------------------------------- /properties/dtmcs-expected-reachability.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/dtmcs-expected-reachability.txt -------------------------------------------------------------------------------- /properties/dtmcs-reachability-qualitative.txt: -------------------------------------------------------------------------------- 1 | ../models/dtmcs/leader_sync, eventually_elected.pctl 2 | -------------------------------------------------------------------------------- /properties/dtmcs-reachability-quantitative.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/dtmcs-reachability-quantitative.txt -------------------------------------------------------------------------------- /properties/mdps-expected-reachability.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/mdps-expected-reachability.txt -------------------------------------------------------------------------------- /properties/mdps-reachability-qualitative.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/mdps-reachability-qualitative.txt -------------------------------------------------------------------------------- /properties/mdps-reachability-quantitative.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/mdps-reachability-quantitative.txt -------------------------------------------------------------------------------- /properties/ptas-reachability-qualitative.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ptas-reachability-qualitative.txt -------------------------------------------------------------------------------- /properties/ptas-reachability-quantitative.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ptas-reachability-quantitative.txt -------------------------------------------------------------------------------- /properties/ptas-timebounded-reachability-max.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ptas-timebounded-reachability-max.txt -------------------------------------------------------------------------------- /properties/ptas-timebounded-reachability-min.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ptas-timebounded-reachability-min.txt -------------------------------------------------------------------------------- /properties/ptas-timebounded-reachability.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prismmodelchecker/prism-benchmarks/HEAD/properties/ptas-timebounded-reachability.txt --------------------------------------------------------------------------------