Modeling Fairy App

Calculating

Model	H-representation	V-representation

Skipping is optional. Without it, the calculation keeps going until it is finished or the time limit is reached.

Modeling Fairy App

Waking up the fairy…

Probabilities

Model(s)

Replication across

		+ Add a constraint that holds for all models − hide Shared Model Specification Added to every model below.

PDF

The exact volume is calculated first. It has a time limit and can be skipped; the approximation then estimates the volume instead. With Approximation on, the chosen approximation algorithms run for every model as well.

Probabilities

Model(s)

Choose a model

Select probabilities