Model builds incorrectly

[Filippo Biondi]

I am trying to build this model from the PRISM case studies https://www.prismmodelchecker.org/casestudies/robot.php, the table in the Model Statistics section of the case study page states that by setting the n constant to 2 I should get a model with 20 states, but by doing so I am getting a model with 18 states, I am using prism version 4.9 on arch Linux with java version 21, I apologize if I am getting something obvious wrong.

[Dave Parker]

Hi Filippo,

I get the same as you. I'm not sure what has changed, but it seems like the statistics in the table are outdated.

Best wishes,

Dave

I am trying to build this model from the PRISM case studies https://www.prismmodelchecker.org/casestudies/robot.php, the table in the Model Statistics section of the case study page states that by setting the n constant to 2 I should get a model with 20 states, but by doing so I am getting a model with 18 states, I am using prism version 4.9 on arch Linux with java version 21, I apologize if I am getting something obvious wrong. --
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 view this discussion, visit https://groups.google.com/d/msgid/prismmodelchecker/cb56c020-e237-47a0-a791-2bc5c563d822n%40googlegroups.com.