Skip to content

Commit

Permalink
Models of real systems
Browse files Browse the repository at this point in the history 
- results in csv files
- analysis of results
  • Loading branch information
@Soucha
Soucha committed Sep 18, 2018
1 parent 3a3a42e commit 701a58e
Show file tree
Hide file tree
Showing 35 changed files with 85,097 additions and 0 deletions.
2,659 changes: 2,659 additions & 0 deletions RealSystems/DFA_R1328_peterson3.fsm
View file

Large diffs are not rendered by default.

485 changes: 485 additions & 0 deletions RealSystems/DFA_R241_sched5.fsm
View file

Large diffs are not rendered by default.

79,951 changes: 79,951 additions & 0 deletions RealSystems/DFA_R39974_pots3.fsm
View file

Large diffs are not rendered by default.

103 changes: 103 additions & 0 deletions RealSystems/DFA_R50_peterson2.fsm
View file
@@ -0,0 +1,103 @@
4 1
50 18 2
50
0 1
1 1
2 1
3 1
4 1
5 1
6 1
7 1
8 1
9 1
10 1
11 1
12 1
13 1
14 1
15 1
16 1
17 1
18 1
19 1
20 1
21 1
22 1
23 1
24 1
25 1
26 1
27 1
28 1
29 1
30 1
31 1
32 1
33 1
34 1
35 1
36 1
37 1
38 1
39 1
40 1
41 1
42 1
43 1
44 1
45 1
46 1
47 1
48 1
49 0
0 49 49 49 49 49 49 49 49 49 49 4 6 49 49 49 49 49 49
1 49 49 49 49 38 49 49 49 49 49 25 49 49 49 49 49 49 49
2 46 49 49 49 49 2 49 49 49 49 49 49 49 49 49 49 49 49
3 49 49 44 49 49 49 49 49 49 49 49 29 49 49 49 49 49 49
4 49 49 49 49 49 49 49 49 49 49 49 7 49 9 49 49 49 49
5 49 40 49 49 49 49 49 49 49 49 49 49 49 11 49 49 49 49
6 49 49 49 49 49 49 49 49 49 49 7 49 49 49 49 12 49 49
7 49 49 49 49 49 49 49 49 49 49 49 49 49 10 49 13 49 49
8 45 49 49 49 49 49 49 49 49 49 49 49 49 49 49 15 49 49
9 49 49 49 49 49 49 49 49 49 49 49 10 49 49 49 49 16 49
10 49 49 49 49 49 49 49 49 49 49 49 49 49 49 49 14 17 49
11 49 41 49 49 49 49 49 49 49 49 49 49 49 49 49 49 19 49
12 49 49 49 49 49 49 49 49 49 49 13 49 49 49 49 49 49 20
13 49 49 49 49 49 49 49 49 49 49 49 49 49 14 49 49 49 21
14 49 49 49 49 49 49 49 49 49 49 49 49 49 49 49 49 18 22
15 47 49 49 49 49 49 49 49 49 49 49 49 49 49 49 49 49 23
16 49 49 49 49 49 49 3 49 49 49 49 17 49 49 49 49 49 49
17 49 49 49 49 49 49 29 49 49 49 49 49 49 49 49 18 49 49
18 49 49 49 49 49 49 35 49 49 49 49 49 49 49 49 49 49 26
19 49 39 49 49 49 49 34 49 49 49 49 49 49 49 49 49 49 49
20 49 49 49 49 49 49 49 49 49 1 21 49 49 49 49 49 49 49
21 49 49 49 49 49 49 49 49 49 25 49 49 49 22 49 49 49 49
22 49 49 49 49 49 49 49 49 49 32 49 49 49 49 49 49 30 49
23 43 49 49 49 49 49 49 49 49 2 49 49 49 49 49 49 49 49
24 49 49 49 49 49 49 49 49 49 49 40 49 49 49 0 49 49 49
25 49 49 49 49 5 49 49 49 49 49 49 49 49 32 49 49 49 49
26 49 49 49 49 49 49 49 23 49 27 49 49 49 49 49 49 49 49
27 49 49 49 49 49 27 49 2 49 49 49 49 49 49 49 49 49 49
28 49 49 49 49 49 49 49 49 49 49 49 45 0 49 49 49 49 49
29 49 49 8 49 49 49 49 49 49 49 49 49 49 49 49 35 49 49
30 49 49 49 49 49 49 31 49 19 49 49 49 49 49 49 49 49 49
31 49 49 49 30 49 49 49 49 34 49 49 49 49 49 49 49 49 49
32 49 49 49 49 49 32 49 49 49 49 49 49 49 49 49 49 33 49
33 49 49 49 49 49 33 37 49 49 49 49 49 49 49 49 49 49 49
34 49 42 49 19 49 49 49 49 49 49 49 49 49 49 49 49 49 49
35 49 49 49 18 49 49 49 49 49 49 49 49 49 49 49 49 49 36
36 49 49 49 26 49 49 49 49 49 48 49 49 49 49 49 49 49 49
37 49 49 49 33 49 37 49 49 49 49 49 49 49 49 49 49 49 49
38 49 24 49 49 49 49 49 49 49 49 5 49 49 49 49 49 49 49
39 49 49 49 49 49 49 42 49 49 49 49 49 49 49 16 49 49 49
40 49 49 49 49 49 49 49 49 49 49 49 49 49 41 4 49 49 49
41 49 49 49 49 49 49 49 49 49 49 49 49 49 49 9 49 39 49
42 49 49 49 39 49 49 49 49 49 49 49 49 49 49 3 49 49 49
43 49 49 49 49 49 49 49 49 49 46 49 49 20 49 49 49 49 49
44 28 49 49 49 49 49 49 49 49 49 49 8 49 49 49 49 49 49
45 49 49 49 49 49 49 49 49 49 49 49 49 6 49 49 47 49 49
46 49 49 49 49 49 46 49 49 49 49 49 49 1 49 49 49 49 49
47 49 49 49 49 49 49 49 49 49 49 49 49 12 49 49 49 49 43
48 49 49 49 27 49 48 49 49 49 49 49 49 49 49 49 49 49 49
49 49 49 49 49 49 49 49 49 49 49 49 49 49 49 49 49 49 49

0 comments on commit 701a58e

Please sign in to comment.