| Model: | haddad-monmege v.1 (DTMC) |
| Parameter(s) | N = 100, p = 0.7 |
| Property: | target (prob-reach) |
./fix-syntax ./pet/bin/pet reachability --precision 0.001 --relative-error --only-result -m haddad-monmege.pm -p haddad-monmege.prctl --property target --const N=100,p=0.7Default settings.
| Walltime: | > 1800s (Timeout) |
| Note(s): | Result '' is tagged as incorrect because it is different from the reference result '3152519739159347/4503599627370496'. |
---------- Computation aborted after 1800.0149672031403 seconds since the total time limit of 1800 seconds was exceeded.