Commit 649da580 authored by Thom Badings's avatar Thom Badings
Browse files

cleaned some old model files

parent b3a9d3d6
(stormpyenv-upt) mcubuktepe@asg-a32265:~/research/codes/gurobi_parallel/sampler$ python3 samplingprism.py --model-file nand/nand_25_5.pm --property-file nand/nand.prctl --threshold 0.05 --bisimulation strong --direction geq --num_samples 1000 --num_iter 5 --violation_prob 0.206
Building model from nand/nand_25_5.pm
Model supports parameters: True
Number of states before bisim: 865592
Number of params before bisim: 2
Number of states after bisim: 673115
Number of params after bisim: 2
0%| | 0/5 [00:00<?, ?it/s]^Z
[7]+ Stopped python3 samplingprism.py --model-file nand/nand_25_5.pm --property-file nand/nand.prctl --threshold 0.05 --bisimulation strong --direction geq --num_samples 1000 --num_iter 5 --violation_prob 0.206
(stormpyenv-upt) mcubuktepe@asg-a32265:~/research/codes/gurobi_parallel/sampler$ python3 samplingprism.py --model-file nand/nand_25_5.pm --property-file nand/nand.prctl --threshold 0.05 --bisimulation strong --direction leq --num_samples 1000 --num_iter 5 --violation_prob 0.256
Building model from nand/nand_25_5.pm
^Z
[8]+ Stopped python3 samplingprism.py --model-file nand/nand_25_5.pm --property-file nand/nand.prctl --threshold 0.05 --bisimulation strong --direction leq --num_samples 1000 --num_iter 5 --violation_prob 0.256
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