-
Notifications
You must be signed in to change notification settings - Fork 5
/
1.5.0-DEV-4085873ec6.log
254 lines (250 loc) · 10.5 KB
/
1.5.0-DEV-4085873ec6.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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
Julia Version 1.5.0-DEV.431
Commit 4085873ec6 (2020-03-10 23:48 UTC)
Platform Info:
OS: Linux (x86_64-pc-linux-gnu)
CPU: Intel(R) Xeon(R) Silver 4114 CPU @ 2.20GHz
WORD_SIZE: 64
LIBM: libopenlibm
LLVM: libLLVM-9.0.1 (ORCJIT, skylake)
Environment:
JULIA_DEPOT_PATH = ::/usr/local/share/julia
JULIA_NUM_THREADS = 2
Resolving package versions...
Installed OpenSpecFun_jll ────────────── v0.5.3+3
Installed CodecZlib ──────────────────── v0.6.0
Installed CommonSubexpressions ───────── v0.2.0
Installed ColorTypes ─────────────────── v0.9.1
Installed SpecialFunctions ───────────── v0.10.0
Installed DiffRules ──────────────────── v1.0.1
Installed SetProg ────────────────────── v0.1.0
Installed BinaryProvider ─────────────── v0.5.8
Installed Reexport ───────────────────── v0.2.0
Installed CompilerSupportLibraries_jll ─ v0.2.0+1
Installed StaticArrays ───────────────── v0.12.1
Installed MathOptInterface ───────────── v0.9.12
Installed JSONSchema ─────────────────── v0.2.0
Installed MultivariateMoments ────────── v0.3.0
Installed TranscodingStreams ─────────── v0.9.5
Installed MultivariateBases ──────────── v0.1.2
Installed MutableArithmetics ─────────── v0.2.7
Installed DataStructures ─────────────── v0.17.10
Installed JSON ───────────────────────── v0.21.0
Installed HTTP ───────────────────────── v0.8.12
Installed CodecBzip2 ─────────────────── v0.6.0
Installed Compat ─────────────────────── v2.2.0
Installed MbedTLS_jll ────────────────── v2.16.0+1
Installed RowEchelon ─────────────────── v0.1.1
Installed Parsers ────────────────────── v0.3.12
Installed IniFile ────────────────────── v0.5.0
Installed BenchmarkTools ─────────────── v0.5.0
Installed ParameterJuMP ──────────────── v0.2.0
Installed MultivariatePolynomials ────── v0.3.6
Installed RecipesBase ────────────────── v0.8.0
Installed Calculus ───────────────────── v0.5.1
Installed SemialgebraicSets ──────────── v0.2.0
Installed DiffResults ────────────────── v1.0.2
Installed DynamicPolynomials ─────────── v0.3.9
Installed OrderedCollections ─────────── v1.1.0
Installed MbedTLS ────────────────────── v1.0.1
Installed PolyJuMP ───────────────────── v0.4.0
Installed NaNMath ────────────────────── v0.3.3
Installed FixedPointNumbers ──────────── v0.7.1
Installed Polyhedra ──────────────────── v0.6.1
Installed GeometryTypes ──────────────── v0.7.10
Installed JuMP ───────────────────────── v0.21.1
Installed SumOfSquares ───────────────── v0.4.0
Installed ForwardDiff ────────────────── v0.10.9
#=#=# ######################################################################## 100.0%
#=#=# ## 3.5%####### 10.0%############ 16.7%##################### 29.3%############################### 43.8%############################################ 62.5%############################################################# 85.2%######################################################################## 100.0%
#=#=# ###### 9.4%####################################################################### 99.0%######################################################################## 100.0%
Updating `~/.julia/environments/v1.5/Project.toml`
39881422 + SetProg v0.1.0
Updating `~/.julia/environments/v1.5/Manifest.toml`
6e4b80f9 + BenchmarkTools v0.5.0
b99e7846 + BinaryProvider v0.5.8
49dc2e85 + Calculus v0.5.1
523fee87 + CodecBzip2 v0.6.0
944b1d66 + CodecZlib v0.6.0
3da002f7 + ColorTypes v0.9.1
bbf7d656 + CommonSubexpressions v0.2.0
34da2185 + Compat v2.2.0
e66e0078 + CompilerSupportLibraries_jll v0.2.0+1
864edb3b + DataStructures v0.17.10
163ba53b + DiffResults v1.0.2
b552c78f + DiffRules v1.0.1
7c1d4256 + DynamicPolynomials v0.3.9
53c48c17 + FixedPointNumbers v0.7.1
f6369f11 + ForwardDiff v0.10.9
4d00f742 + GeometryTypes v0.7.10
cd3eb016 + HTTP v0.8.12
83e8ac13 + IniFile v0.5.0
682c06a0 + JSON v0.21.0
7d188eb4 + JSONSchema v0.2.0
4076af6c + JuMP v0.21.1
b8f27783 + MathOptInterface v0.9.12
739be429 + MbedTLS v1.0.1
c8ffd9c3 + MbedTLS_jll v2.16.0+1
be282fd4 + MultivariateBases v0.1.2
f4abf1af + MultivariateMoments v0.3.0
102ac46a + MultivariatePolynomials v0.3.6
d8a4904e + MutableArithmetics v0.2.7
77ba4419 + NaNMath v0.3.3
efe28fd5 + OpenSpecFun_jll v0.5.3+3
bac558e1 + OrderedCollections v1.1.0
774612a8 + ParameterJuMP v0.2.0
69de0a69 + Parsers v0.3.12
ddf597a6 + PolyJuMP v0.4.0
67491407 + Polyhedra v0.6.1
3cdcf5f2 + RecipesBase v0.8.0
189a3867 + Reexport v0.2.0
af85af4c + RowEchelon v0.1.1
8e049039 + SemialgebraicSets v0.2.0
39881422 + SetProg v0.1.0
276daf66 + SpecialFunctions v0.10.0
90137ffa + StaticArrays v0.12.1
4b9e565b + SumOfSquares v0.4.0
3bb67fe8 + TranscodingStreams v0.9.5
2a0f44e3 + Base64
ade2ca70 + Dates
8bb1440f + DelimitedFiles
8ba89e20 + Distributed
9fa8497b + Future
b77e0a4c + InteractiveUtils
76f85450 + LibGit2
8f399da3 + Libdl
37e2e46d + LinearAlgebra
56ddb016 + Logging
d6f4376e + Markdown
a63ad114 + Mmap
44cfe95a + Pkg
de0858da + Printf
3fa0cd96 + REPL
9a3f8284 + Random
ea8e919c + SHA
9e88b42a + Serialization
1a1011a3 + SharedArrays
6462fe0b + Sockets
2f01184e + SparseArrays
10745b16 + Statistics
8dfed614 + Test
cf7118a7 + UUIDs
4ec0a83e + Unicode
Building CodecZlib ─→ `~/.julia/packages/CodecZlib/5t9zO/deps/build.log`
Building CodecBzip2 → `~/.julia/packages/CodecBzip2/T5yr7/deps/build.log`
Testing SetProg
Status `/tmp/jl_xviC4z/Project.toml`
864edb3b DataStructures v0.17.10
7c1d4256 DynamicPolynomials v0.3.9
4076af6c JuMP v0.21.1
b8f27783 MathOptInterface v0.9.12
be282fd4 MultivariateBases v0.1.2
f4abf1af MultivariateMoments v0.3.0
102ac46a MultivariatePolynomials v0.3.6
d8a4904e MutableArithmetics v0.2.7
67491407 Polyhedra v0.6.1
3cdcf5f2 RecipesBase v0.8.0
189a3867 Reexport v0.2.0
39881422 SetProg v0.1.0
4b9e565b SumOfSquares v0.4.0
37e2e46d LinearAlgebra
44cfe95a Pkg
8dfed614 Test
Status `/tmp/jl_xviC4z/Manifest.toml`
6e4b80f9 BenchmarkTools v0.5.0
b99e7846 BinaryProvider v0.5.8
49dc2e85 Calculus v0.5.1
523fee87 CodecBzip2 v0.6.0
944b1d66 CodecZlib v0.6.0
3da002f7 ColorTypes v0.9.1
bbf7d656 CommonSubexpressions v0.2.0
34da2185 Compat v2.2.0
e66e0078 CompilerSupportLibraries_jll v0.2.0+1
864edb3b DataStructures v0.17.10
163ba53b DiffResults v1.0.2
b552c78f DiffRules v1.0.1
7c1d4256 DynamicPolynomials v0.3.9
53c48c17 FixedPointNumbers v0.7.1
f6369f11 ForwardDiff v0.10.9
4d00f742 GeometryTypes v0.7.10
cd3eb016 HTTP v0.8.12
83e8ac13 IniFile v0.5.0
682c06a0 JSON v0.21.0
7d188eb4 JSONSchema v0.2.0
4076af6c JuMP v0.21.1
b8f27783 MathOptInterface v0.9.12
739be429 MbedTLS v1.0.1
c8ffd9c3 MbedTLS_jll v2.16.0+1
be282fd4 MultivariateBases v0.1.2
f4abf1af MultivariateMoments v0.3.0
102ac46a MultivariatePolynomials v0.3.6
d8a4904e MutableArithmetics v0.2.7
77ba4419 NaNMath v0.3.3
efe28fd5 OpenSpecFun_jll v0.5.3+3
bac558e1 OrderedCollections v1.1.0
774612a8 ParameterJuMP v0.2.0
69de0a69 Parsers v0.3.12
ddf597a6 PolyJuMP v0.4.0
67491407 Polyhedra v0.6.1
3cdcf5f2 RecipesBase v0.8.0
189a3867 Reexport v0.2.0
af85af4c RowEchelon v0.1.1
8e049039 SemialgebraicSets v0.2.0
39881422 SetProg v0.1.0
276daf66 SpecialFunctions v0.10.0
90137ffa StaticArrays v0.12.1
4b9e565b SumOfSquares v0.4.0
3bb67fe8 TranscodingStreams v0.9.5
2a0f44e3 Base64
ade2ca70 Dates
8bb1440f DelimitedFiles
8ba89e20 Distributed
9fa8497b Future
b77e0a4c InteractiveUtils
76f85450 LibGit2
8f399da3 Libdl
37e2e46d LinearAlgebra
56ddb016 Logging
d6f4376e Markdown
a63ad114 Mmap
44cfe95a Pkg
de0858da Printf
3fa0cd96 REPL
9a3f8284 Random
ea8e919c SHA
9e88b42a Serialization
1a1011a3 SharedArrays
6462fe0b Sockets
2f01184e SparseArrays
10745b16 Statistics
8dfed614 Test
cf7118a7 UUIDs
4ec0a83e Unicode
Test Summary: | Pass Total
apply_matrix | 4 4
Test Summary: | Pass Total
Variables | 8 8
Test Summary: | Pass Total
L1 heuristic | 1 1
Test Summary: | Pass Total
Recipe | 32 32
Test Summary: | Pass Total
Square | 40 40
Test Summary: | Pass Total
Invariant | 25 25
Test Summary: | Pass Total
Controlled invariant | 31 31
Test Summary: | Pass Total
Switched System | 22 22
Testing SetProg tests passed