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