crowds_10-5_output_histogram.txt

OUTPUT FOR MODEL: models/crowds/crowds_10_5.pm

Run time in Storm per 1000 samples: 0.228

- Lower bound sat.prob. for beta=0.99 is eta=0.63096