Error occured: Error value not set
(0.00, 0.00)

Input

Prism file:
PCTL group:
PCTL property:
Run with:
Result file:

Sampling


Number of iterations:
Generator type:

Constraints



Constraint type: Number of iterations:

Settings

Threshold:  
Sampler:
SMT Solver:
HeatMap: Interval bounds:             

Info

Rational Function

Not loaded