crowds_10-5_output_histogram.txt 143 Bytes
Newer Older
Thom Badings's avatar
Thom Badings committed
1
2
3
4
5
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