| Model: | consensus v.1 (MDP) |
| Parameter(s) | N = 4, K = 4 |
| Property: | disagree (prob-reach) |
./pet/bin/pet reachability --only-result -m consensus.4.prism -p consensus.props --property disagree -const K=4Default settings.
| Walltime: | > 1800s (Timeout) |
| Note(s): | Result '' is tagged as incorrect because it is different from the reference result '45666330762076479/292595849630842880'. |
---------- Computation aborted after 1800.0393013954163 seconds since the total time limit of 1800 seconds was exceeded.