forked from michael-emmi/c2s-ocaml
-
Notifications
You must be signed in to change notification settings - Fork 1
/
experiment-09-30-2011.log
113 lines (105 loc) · 3.61 KB
/
experiment-09-30-2011.log
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
FiFo-Seq vs. Bounded-FiFo Evaluation
====================================
Checking environment
--------------------
* locating `c2s` .......... √ (using `bin/c2s`)
* locating `Boogie` .......... √ (using `/Users/mje/bin/BoogieClient.ruby`)
* creating `test-log` .......... √
case = `./src/test/cp/case-posts-1.cp`,
unroll = 10, timeout = 100s
N / FiFo-Seq(1) / .. / FiFo-Seq(4) / Bounded FiFo(N)
--------------------------------------------------------
1 1.116 1.211 1.129 1.207 1.213
2 1.248 1.218 1.159 1.112 1.142
3 1.231 1.162 1.229 1.139 1.131
4 1.114 1.078 1.294 1.187 1.188
5 1.267 1.256 1.398 1.329 1.278
6 1.391 1.423 1.394 1.395 1.575
7 1.199 1.418 1.551 1.522 1.881
8 1.128 1.788 1.734 1.805 3.079
9 1.289 2.607 2.525 2.698 8.260
10 1.263 3.437 3.366 3.337 24.850
case = `./src/test/cp/case-posts-2.cp`,
unroll = 10, timeout = 100s
N / FiFo-Seq(1) / .. / FiFo-Seq(4) / Bounded FiFo(N)
--------------------------------------------------------
1 1.197 1.177 1.128 1.116 1.125
2 1.147 1.171 1.126 1.117 1.163
3 1.117 1.145 1.179 1.169 1.281
4 1.160 1.195 1.185 1.263 1.742
5 1.247 1.422 1.415 1.415 5.478
6 1.176 1.837 1.807 1.911 56.646
7 1.260 3.450 3.306 3.644 T/O
8 1.258 6.882 6.678 7.356 T/O
9 1.297 19.713 20.009 22.656 S
10 1.360 64.721 67.593 75.243 S
case = `./src/test/cp/case-posts-3.cp`,
unroll = 10, timeout = 100s
N / FiFo-Seq(1) / .. / FiFo-Seq(4) / Bounded FiFo(N)
--------------------------------------------------------
1 1.115 1.088 1.095 1.095 1.141
2 1.116 1.119 1.094 1.106 1.119
3 1.118 1.229 1.273 1.277 1.604
4 1.379 1.413 1.376 1.479 5.929
5 1.260 1.963 1.890 1.889 T/O
6 1.395 4.234 3.472 3.856 T/O
7 1.505 11.123 10.803 12.084 S
8 1.717 45.981 43.340 45.859 S
9 1.589 T/O T/O T/O S
10 1.724 T/O T/O T/O S
case = `./src/test/cp/case-posts-4.cp`,
unroll = 10, timeout = 100s
N / FiFo-Seq(1) / .. / FiFo-Seq(4) / Bounded FiFo(N)
--------------------------------------------------------
1 1.347 1.299 1.249 1.268 1.291
2 1.556 1.814 1.829 1.653 1.794
3 1.288 1.298 1.278 1.264 2.155
4 1.201 1.564 1.565 1.606 32.646
5 1.362 3.073 3.069 2.956 T/O
6 1.210 8.872 9.384 8.944 T/O
7 1.708 39.724 40.527 38.858 S
8 1.392 T/O T/O T/O S
9 1.695 T/O T/O T/O S
10 1.797 S S S S
case = `./src/test/cp/case-posts-5.cp`,
unroll = 10, timeout = 100s
N / FiFo-Seq(1) / .. / FiFo-Seq(4) / Bounded FiFo(N)
--------------------------------------------------------
1 1.469 1.615 1.234 1.450 1.481
2 1.553 1.387 1.459 1.605 1.511
3 1.389 1.698 1.748 1.333 4.013
4 1.314 2.218 2.416 2.673 T/O
5 1.202 4.967 4.868 4.460 T/O
6 1.518 20.799 19.293 18.670 S
7 2.092 T/O T/O T/O S
8 1.573 T/O T/O T/O S
9 1.574 S S S S
10 1.879 S S S S
case = `./src/test/cp/fact.fifo.cp`,
unroll = 10, timeout = 100s
N / FiFo-Seq(1) / .. / FiFo-Seq(4) / Bounded FiFo(N)
--------------------------------------------------------
1 1.160 1.177 1.242 1.281 1.246
2 1.207 1.265 1.303 1.253 1.213
3 1.265 1.263 1.363 1.326 1.405
4 1.250 1.252 1.232 1.256 1.465
5 1.171 1.188 1.177 1.218 1.458
6 1.161 1.145 1.243 1.264 1.747
7 1.183 1.242 1.337 1.213 2.011
8 1.168 1.158 1.164 1.220 2.492
9 1.070 1.057 1.055 1.124 3.227
10 1.131 1.148 1.084 1.132 4.746
case = `./src/test/cp/fifo-filler.cp`,
unroll = 10, timeout = 100s
N / FiFo-Seq(1) / .. / FiFo-Seq(4) / Bounded FiFo(N)
--------------------------------------------------------
1 1.250 1.170 1.147 1.138 1.204
2 1.177 1.228 1.183 1.240 1.193
3 1.219 1.232 1.211 1.351 1.247
4 1.258 1.270 1.350 1.533 1.176
5 1.118 1.203 1.469 1.950 1.305
6 1.263 1.365 1.751 2.771 1.346
7 1.250 1.386 2.125 3.318 1.494
8 1.249 1.464 2.475 4.464 1.728
9 1.259 1.599 2.948 5.583 1.889
10 1.453 1.657 3.617 7.465 1.967