Commit 7be49b6e authored by Thom Badings's avatar Thom Badings
Browse files

changes in extra thm1 experiment

parent 7fa852c8
......@@ -6,6 +6,8 @@ Created on Fri Jun 17 14:29:15 2022
"""
import seaborn as sns
import matplotlib as mpl
mpl.rcParams['pdf.fonttype'] = 42
import matplotlib.pyplot as plt
def threshold_histogram(thresholds, N, outfile, bins=25):
......@@ -13,13 +15,14 @@ def threshold_histogram(thresholds, N, outfile, bins=25):
print('-- Create histogram of thresholds obtained using Theorem 1 (N='+
str(N)+'...')
sns.histplot(thresholds, binwidth=0.25, binrange=[12,18])
sns.histplot(thresholds, binwidth=0.25, binrange=[13,18])
plt.xlabel('Threshold on spec.')
plt.ylabel('Count')
plt.xlim(8, 18)
plt.xticks([8,10,12,14,16,18])
plt.xlim(13, 18)
plt.xticks([13,14,15,16,17,18])
plt.yticks([0,200,400,600])
plt.tight_layout()
plt.show()
......
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.758
Run time in Storm per 1000 samples: 0.444
- Lower bound sat.prob. for beta=0.99 is eta=0.99541
\ No newline at end of file
- Lower bound sat.prob. for beta=0.99 is eta=0.95499
\ No newline at end of file
File added
File added
File added
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