Commit 1fc4eacb authored by Thom Badings's avatar Thom Badings
Browse files

Removed debugging print funcs

parent 129dfaaf
OUTPUT FOR MODEL: models/brp/brp_rewards4_16_5.pm
Run time in Storm per 1000 samples: 1.325
- Lower bound sat.prob. for beta=0.99 is eta=0.99954
\ No newline at end of file
OUTPUT FOR MODEL: models/brp/brp_rewards4_16_5.pm
Run time in Storm per 1000 samples: 0.444
- Lower bound sat.prob. for beta=0.99 is eta=0.95499
\ No newline at end of file
OUTPUT FOR MODEL: models/brp/brp_256_5.pm
Run time in Storm per 1000 samples: 3.127
- Lower bound sat.prob. for beta=0.999 is eta=0.93325
\ No newline at end of file
;Confidence probability (beta)
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
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment