Commit b3a9d3d6 authored by Thom Badings's avatar Thom Badings
Browse files

create data folder

parent 662149c6
OUTPUT FOR MODEL: models/brp/brp_256_5.pm
Run time in Storm per 1000 samples: 1.931
- Confidence probability for eta=0 is beta=1.0
- Lower bound sat.prob. for beta=0.999 is eta=0.0668
\ No newline at end of file
;Confidence probability (beta)
10000-leq;1.0
#!/bin/bash
cd ..;
# To speed up experiments, you can lower the number of samples N and iterations i below:
N_full='(1000,2500,5000,10000,25000)'
N_most='(1000,2500,5000,10000)'
......
This empty folder is included on purpose, and is used to store any results generated by running the Python program.
\ 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