Increasing the size of log

11 views
Skip to first unread message

Muhammad Usama Sardar

unread,
Apr 19, 2017, 12:14:41 PM4/19/17
to PRISM model checker
Hi everyone, 
Hope that you are doing great. 

I was wondering if someone could help increase the size of the PRISM log. I have large number of experiments to run via parametric model checking and PRISM only shows the last 10 experiments and the rest disappears. It is very hectic for me to save log every now and then during the experiments. There should be a way out for this. 

Thanks in advance. 

Dave Parker

unread,
Apr 19, 2017, 12:27:12 PM4/19/17
to prismmod...@googlegroups.com
Hi,

You can try increasing the "buffer size" in the "Log" part of the
options dialog in the GUI. Or, alternatively, just run the model
checking from the command-line version of PRISM, where there are no such
constraints on the log output length.

Best wishes,

Dave
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To post to this group, send email to prismmod...@googlegroups.com
> <mailto:prismmod...@googlegroups.com>.
> Visit this group at https://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.

Muhammad Usama Sardar

unread,
Apr 19, 2017, 12:46:33 PM4/19/17
to PRISM model checker
Thanks very much for the prompt response. It will definitely save a lot of my time and effort. 



Best Regards,
Muhammad Usama Sardar
Research Assistant
SAVe Lab

On Wed, Apr 19, 2017 at 9:27 PM, Dave Parker <d.a.p...@cs.bham.ac.uk> wrote:
Hi,

You can try increasing the "buffer size" in the "Log" part of the
options dialog in the GUI. Or, alternatively, just run the model
checking from the command-line version of PRISM, where there are no such
constraints on the log output length.

Best wishes,

Dave

On 19/04/2017 17:14, 'Muhammad Usama Sardar' via PRISM model checker wrote:
> Hi everyone,
> Hope that you are doing great.
>
> I was wondering if someone could help increase the size of the PRISM
> log. I have large number of experiments to run via parametric model
> checking and PRISM only shows the last 10 experiments and the rest
> disappears. It is very hectic for me to save log every now and then
> during the experiments. There should be a way out for this.
>
> Thanks in advance.
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchecker+unsubscribe@googlegroups.com
> <mailto:prismmodelchecker+unsub...@googlegroups.com>.
> To post to this group, send email to prismmodelchecker@googlegroups.com
> <mailto:prismmodelchecker@googlegroups.com>.

> Visit this group at https://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to a topic in the Google Groups "PRISM model checker" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe.
To unsubscribe from this group and all its topics, send an email to prismmodelchecker+unsubscribe@googlegroups.com.
To post to this group, send an email to prismmodelchecker@googlegroups.com.

Muhammad Usama Sardar

unread,
Apr 20, 2017, 2:05:11 AM4/20/17
to PRISM model checker
Hi Dave, 
Is there a way to suppress the display of iterations in model construction and model checking calculation of the transition rewards? They take up most of the space in the log. 



Best Regards,
Muhammad Usama Sardar
Research Assistant
SAVe Lab

Dave Parker

unread,
Apr 20, 2017, 3:29:56 AM4/20/17
to prismmod...@googlegroups.com
No, there's no way to suppress very specific outputs like that, short of
modifying the code itself. I would suggest running PRISM from the
command-line, sending the log to a file, and then searching through it
for details afterwards.

Best wishes,

Dave
> > an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>
> > <mailto:prismmodelchec...@googlegroups.com
> <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>>.
> > To post to this group, send email to prismmod...@googlegroups.com
> <mailto:prismmod...@googlegroups.com>
> > <mailto:prismmod...@googlegroups.com
> <mailto:prismmod...@googlegroups.com>>.
> > Visit this group at https://groups.google.com/group/prismmodelchecker
> <https://groups.google.com/group/prismmodelchecker>.
> > For more options, visit https://groups.google.com/d/optout
> <https://groups.google.com/d/optout>.
>
> --
> You received this message because you are subscribed to a topic
> in the Google Groups "PRISM model checker" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe
> <https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe>.
> To unsubscribe from this group and all its topics, send an email
> to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>.
> To post to this group, send an email to
> prismmod...@googlegroups.com
> <mailto:prismmod...@googlegroups.com>.
> Visit this group at
> https://groups.google.com/group/prismmodelchecker
> <https://groups.google.com/group/prismmodelchecker>.
> For more options, visit https://groups.google.com/d/optout
> <https://groups.google.com/d/optout>.
>
>
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To post to this group, send email to prismmod...@googlegroups.com
> <mailto:prismmod...@googlegroups.com>.

Muhammad Usama Sardar

unread,
Apr 20, 2017, 4:02:54 AM4/20/17
to PRISM model checker
Thanks for your guidance. Did you mean the -exportresults switch? 
Please check the following: 
./prism -cuddmaxmem 2g Model.prism Prop.props -prop 9 -const con=0.001:0.001:0.7 -hybrid -exportresults res.txt

I hope there is no limit on the result file in the above. 



Best Regards,
Muhammad Usama Sardar
Research Assistant
SAVe Lab

>         > an email to prismmodelchecker+unsubscribe@googlegroups.com
>         <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>
>         > <mailto:prismmodelchecker+unsub...@googlegroups.com
>         <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>>.
>         > To post to this group, send email to prismmodelchecker@googlegroups.com
>         <mailto:prismmodelchecker@googlegroups.com>
>         > <mailto:prismmodelchecker@googlegroups.com
>         <mailto:prismmodelchecker@googlegroups.com>>.

>         > Visit this group at https://groups.google.com/group/prismmodelchecker
>         <https://groups.google.com/group/prismmodelchecker>.
>         > For more options, visit https://groups.google.com/d/optout
>         <https://groups.google.com/d/optout>.
>
>         --
>         You received this message because you are subscribed to a topic
>         in the Google Groups "PRISM model checker" group.
>         To unsubscribe from this topic, visit
>         https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe
>         <https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe>.
>         To unsubscribe from this group and all its topics, send an email
>         to prismmodelchecker+unsubscribe@googlegroups.com
>         <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>.
>         To post to this group, send an email to
>         prismmodelchecker@googlegroups.com
>         <mailto:prismmodelchecker@googlegroups.com>.

>         Visit this group at
>         https://groups.google.com/group/prismmodelchecker
>         <https://groups.google.com/group/prismmodelchecker>.
>         For more options, visit https://groups.google.com/d/optout
>         <https://groups.google.com/d/optout>.
>
>
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
--
You received this message because you are subscribed to a topic in the Google Groups "PRISM model checker" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe.
To unsubscribe from this group and all its topics, send an email to prismmodelchecker+unsubscribe@googlegroups.com.
To post to this group, send an email to prismmodelchecker@googlegroups.com.

Muhammad Usama Sardar

unread,
Apr 20, 2017, 4:24:46 AM4/20/17
to PRISM model checker
Just to clarify, I am interested in the time for model construction and time for model checking, in addition to the result values. 



Best Regards,
Muhammad Usama Sardar
Research Assistant
SAVe Lab


>         > To post to this group, send email to prismmodelchecker@googlegroups.com
>         <mailto:prismmodelchecker@googlegroups.com>
>         > <mailto:prismmodelchecker@googlegroups.com
>         <mailto:prismmodelchecker@googlegroups.com>>.
>         > Visit this group at https://groups.google.com/group/prismmodelchecker
>         <https://groups.google.com/group/prismmodelchecker>.
>         > For more options, visit https://groups.google.com/d/optout
>         <https://groups.google.com/d/optout>.
>
>         --
>         You received this message because you are subscribed to a topic
>         in the Google Groups "PRISM model checker" group.
>         To unsubscribe from this topic, visit
>         https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe
>         <https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe>.
>         To unsubscribe from this group and all its topics, send an email
>         to prismmodelchecker+unsubscribe@googlegroups.com

>         To post to this group, send an email to
>         prismmodelchecker@googlegroups.com
>         <mailto:prismmodelchecker@googlegroups.com>.
>         Visit this group at
>         https://groups.google.com/group/prismmodelchecker
>         <https://groups.google.com/group/prismmodelchecker>.
>         For more options, visit https://groups.google.com/d/optout
>         <https://groups.google.com/d/optout>.
>
>
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchecker+unsubscribe@googlegroups.com

Gethin Norman

unread,
Apr 20, 2017, 4:34:39 AM4/20/17
to prismmod...@googlegroups.com, Gethin Norman
Muhammad,

what Dave was proposing was you send the output to a file which you can then serach through afterwards, i.e.

./prism -cuddmaxmem 2g Model.prism Prop.props -prop 9 -const con=0.001:0.001:0.7 -hybrid > log_file

were log_file can be any name you want.

thanks

Gethin
> > > an email to prismmodelchec...@googlegroups.com
> > <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>
> > > <mailto:prismmodelchec...@googlegroups.com
> > <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>>.
> > > To post to this group, send email to prismmod...@googlegroups.com
> > <mailto:prismmod...@googlegroups.com>
> > > <mailto:prismmod...@googlegroups.com
> > <mailto:prismmod...@googlegroups.com>>.
> > > Visit this group at https://groups.google.com/group/prismmodelchecker
> > <https://groups.google.com/group/prismmodelchecker>.
> > > For more options, visit https://groups.google.com/d/optout
> > <https://groups.google.com/d/optout>.
> >
> > --
> > You received this message because you are subscribed to a topic
> > in the Google Groups "PRISM model checker" group.
> > To unsubscribe from this topic, visit
> > https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe
> > <https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe>.
> > To unsubscribe from this group and all its topics, send an email
> > to prismmodelchec...@googlegroups.com
> > <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>.
> > To post to this group, send an email to
> > prismmod...@googlegroups.com
> > <mailto:prismmod...@googlegroups.com>.
> > Visit this group at
> > https://groups.google.com/group/prismmodelchecker
> > <https://groups.google.com/group/prismmodelchecker>.
> > For more options, visit https://groups.google.com/d/optout
> > <https://groups.google.com/d/optout>.
> >
> >
> >
> > --
> > You received this message because you are subscribed to the Google
> > Groups "PRISM model checker" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> > an email to prismmodelchec...@googlegroups.com
> > <mailto:prismmodelchec...@googlegroups.com>.
> > To post to this group, send email to prismmod...@googlegroups.com
> > <mailto:prismmod...@googlegroups.com>.
> > Visit this group at https://groups.google.com/group/prismmodelchecker.
> > For more options, visit https://groups.google.com/d/optout.
>
> --
> You received this message because you are subscribed to a topic in the Google Groups "PRISM model checker" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/topic/prismmodelchecker/uCclqjdFEpg/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to prismmodelchec...@googlegroups.com.
> To post to this group, send an email to prismmod...@googlegroups.com.
> Visit this group at https://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.
>
>
>
> --
> You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
> To post to this group, send email to prismmod...@googlegroups.com.
Reply all
Reply to author
Forward
0 new messages