Package evaluation to test FlagSOS on Julia 1.13.0-DEV.1353 (74c32ec0b5*) started at 2025-10-21T17:29:26.034 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.59s ################################################################################ # Installation # Installing FlagSOS... Resolving package versions... Installed Bzip2_jll ──────────── v1.0.9+0 Installed CodecZlib ──────────── v0.7.8 Installed DiffResults ────────── v1.1.0 Installed MacroTools ─────────── v0.5.16 Installed ForwardDiff ────────── v1.2.2 Installed DataStructures ─────── v0.18.22 Installed FlagSOS ────────────── v0.1.2 Installed Compat ─────────────── v4.18.1 Installed OrderedCollections ─── v1.8.1 Installed Combinatorics ──────── v1.0.3 Installed Statistics ─────────── v1.11.1 Installed TranscodingStreams ─── v0.11.3 Installed PrecompileTools ────── v1.3.3 Installed AbstractAlgebra ────── v0.41.11 Installed ProgressMeter ──────── v1.11.0 Installed CommonSubexpressions ─ v0.3.1 Installed IrrationalConstants ── v0.2.6 Installed StaticArraysCore ───── v1.4.3 Installed StructUtils ────────── v2.5.1 Installed NaNMath ────────────── v1.1.3 Installed CodecBzip2 ─────────── v0.8.5 Installed GenericLinearAlgebra ─ v0.3.19 Installed OpenSpecFun_jll ────── v0.5.6+0 Installed JSON3 ──────────────── v1.14.3 Installed DiffRules ──────────── v1.15.1 Installed Parsers ────────────── v2.8.3 Installed LogExpFunctions ────── v0.3.29 Installed JSON ───────────────── v1.2.0 Installed JuMP ───────────────── v1.29.2 Installed JLLWrappers ────────── v1.7.1 Installed Preferences ────────── v1.5.0 Installed StructTypes ────────── v1.11.0 Installed SpecialFunctions ───── v2.6.1 Installed BenchmarkTools ─────── v1.6.3 Installed MutableArithmetics ─── v1.6.6 Installed DocStringExtensions ── v0.9.5 Installed RandomExtensions ───── v0.4.4 Installed MathOptInterface ───── v1.46.0 Installing 2 artifacts Installed artifact OpenSpecFun 194.9 KiB Installed artifact Bzip2 503.5 KiB Updating `~/.julia/environments/v1.13/Project.toml` [78b365f2] + FlagSOS v0.1.2 Updating `~/.julia/environments/v1.13/Manifest.toml` ⌅ [c3fe647b] + AbstractAlgebra v0.41.11 [6e4b80f9] + BenchmarkTools v1.6.3 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [861a8166] + Combinatorics v1.0.3 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.1 ⌅ [864edb3b] + DataStructures v0.18.22 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [78b365f2] + FlagSOS v0.1.2 [f6369f11] + ForwardDiff v1.2.2 [14197337] + GenericLinearAlgebra v0.3.19 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.2.0 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.29.2 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.46.0 [d8a4904e] + MutableArithmetics v1.6.6 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 [92933f4c] + ProgressMeter v1.11.0 [fb686558] + RandomExtensions v0.4.4 [276daf66] + SpecialFunctions v2.6.1 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.0 [ec057cc2] + StructUtils v2.5.1 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.7+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 9.11s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 5579.7 ms ✓ TestEnv 1 dependency successfully precompiled in 6 seconds. 27 already precompiled. ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/activate_set.jl:76 Precompiling package dependencies... Precompilation completed after 441.46s ################################################################################ # Testing # Testing FlagSOS Test Could not use exact versions of packages in manifest, re-resolving. Note: if you do not check your manifest file into source control, then you can probably ignore this message. However, if you do check your manifest file into source control, then you probably want to pass the `allow_reresolve = false` kwarg when calling the `Pkg.test` function. Updating `/tmp/jl_zlame2/Project.toml` [4c88cf16] + Aqua v0.8.14 ⌃ [e30172f5] + Documenter v1.1.1 [78b365f2] + FlagSOS v0.1.2 [b99e6be6] + Hypatia v0.9.1 Updating `/tmp/jl_zlame2/Manifest.toml` [a4c015fc] + ANSIColoredPrinters v0.0.1 ⌅ [c3fe647b] + AbstractAlgebra v0.41.11 [1520ce14] + AbstractTrees v0.4.5 [4c88cf16] + Aqua v0.8.14 [861a8166] + Combinatorics v1.0.3 ⌃ [e30172f5] + Documenter v1.1.1 [e2ba6199] + ExprTools v0.1.10 [9aa1b823] + FastClosures v0.3.2 [1a297f60] + FillArrays v1.14.0 [78b365f2] + FlagSOS v0.1.2 [b99e6be6] + Hypatia v0.9.1 [b5f81e59] + IOCapture v0.2.5 [42fd0dbc] + IterativeSolvers v0.9.4 ⌅ [682c06a0] ↓ JSON v1.2.0 ⇒ v0.21.4 ⌅ [0b1a1467] + KrylovKit v0.9.5 [0e77f7df] + LazilyInitializedFields v1.3.0 [7a12625a] + LinearMaps v3.11.4 [5c8ed15e] + LinearOperators v2.11.0 [607ca3ad] + LowRankOpt v0.2.1 [d0879d2d] + MarkdownAST v0.1.2 [a4795742] + NLPModels v0.21.5 [792afdf1] + NLPModelsJuMP v0.13.3 [65ce6f38] + PackageExtensionCompat v1.0.2 [3a141323] + PolynomialRoots v1.0.0 [92933f4c] + ProgressMeter v1.11.0 [fb686558] + RandomExtensions v0.4.4 [3cdcf5f2] + RecipesBase v1.3.4 [2792f1a3] + RegistryInstances v0.1.0 [ae029012] + Requires v1.3.1 [ff4d7338] + SolverCore v0.3.8 [ec057cc2] - StructUtils v2.5.1 [a759f4b9] + TimerOutputs v0.5.29 [c4a57d5a] + UnsafeArrays v1.0.8 [409d34a3] + VectorInterface v0.5.0 [0dad84c5] + ArgTools v1.1.2 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.13.0 [3fa0cd96] + REPL v1.11.0 [6462fe0b] + Sockets v1.11.0 [4607b0f0] + SuiteSparse [a4e569a6] + Tar v1.10.0 [deac9b47] + LibCURL_jll v8.16.0+0 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.9.9 [458c3c95] + OpenSSL_jll v3.5.4+0 [efcefdf7] + PCRE2_jll v10.46.0+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850ede] + nghttp2_jll v1.67.1+0 [3f19e933] + p7zip_jll v17.6.0+0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_zlame2/Project.toml` [4c88cf16] Aqua v0.8.14 ⌃ [e30172f5] Documenter v1.1.1 [78b365f2] FlagSOS v0.1.2 [14197337] GenericLinearAlgebra v0.3.19 [b99e6be6] Hypatia v0.9.1 [4076af6c] JuMP v1.29.2 [8dfed614] Test v1.11.0 Status `/tmp/jl_zlame2/Manifest.toml` [a4c015fc] ANSIColoredPrinters v0.0.1 ⌅ [c3fe647b] AbstractAlgebra v0.41.11 [1520ce14] AbstractTrees v0.4.5 [4c88cf16] Aqua v0.8.14 [6e4b80f9] BenchmarkTools v1.6.3 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [861a8166] Combinatorics v1.0.3 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 ⌅ [864edb3b] DataStructures v0.18.22 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 ⌃ [e30172f5] Documenter v1.1.1 [e2ba6199] ExprTools v0.1.10 [9aa1b823] FastClosures v0.3.2 [1a297f60] FillArrays v1.14.0 [78b365f2] FlagSOS v0.1.2 [f6369f11] ForwardDiff v1.2.2 [14197337] GenericLinearAlgebra v0.3.19 [b99e6be6] Hypatia v0.9.1 [b5f81e59] IOCapture v0.2.5 [92d709cd] IrrationalConstants v0.2.6 [42fd0dbc] IterativeSolvers v0.9.4 [692b3bcd] JLLWrappers v1.7.1 ⌅ [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [4076af6c] JuMP v1.29.2 ⌅ [0b1a1467] KrylovKit v0.9.5 [0e77f7df] LazilyInitializedFields v1.3.0 [7a12625a] LinearMaps v3.11.4 [5c8ed15e] LinearOperators v2.11.0 [2ab3a3ac] LogExpFunctions v0.3.29 [607ca3ad] LowRankOpt v0.2.1 [1914dd2f] MacroTools v0.5.16 [d0879d2d] MarkdownAST v0.1.2 [b8f27783] MathOptInterface v1.46.0 [d8a4904e] MutableArithmetics v1.6.6 [a4795742] NLPModels v0.21.5 [792afdf1] NLPModelsJuMP v0.13.3 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [65ce6f38] PackageExtensionCompat v1.0.2 [69de0a69] Parsers v2.8.3 [3a141323] PolynomialRoots v1.0.0 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.0 [92933f4c] ProgressMeter v1.11.0 [fb686558] RandomExtensions v0.4.4 [3cdcf5f2] RecipesBase v1.3.4 [2792f1a3] RegistryInstances v0.1.0 [ae029012] Requires v1.3.1 [ff4d7338] SolverCore v0.3.8 [276daf66] SpecialFunctions v2.6.1 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [856f2bd8] StructTypes v1.11.0 [a759f4b9] TimerOutputs v0.5.29 [3bb67fe8] TranscodingStreams v0.11.3 [c4a57d5a] UnsafeArrays v1.0.8 [409d34a3] VectorInterface v0.5.0 [6e34b625] Bzip2_jll v1.0.9+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.11.0 [4607b0f0] SuiteSparse [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] LibCURL_jll v8.16.0+0 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.9.9 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.4+0 [efcefdf7] PCRE2_jll v10.46.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.67.1+0 [3f19e933] p7zip_jll v17.6.0+0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Testing Running tests... ┌ Warning: Unable to determine HTML(edit_link = ...) from remote HEAD branch, defaulting to "master". │ Calling `git remote` failed with an exception. Set JULIA_DEBUG=Documenter to see the error. │ Unless this is due to a configuration error, the relevant variable should be set explicitly. └ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/utilities/utilities.jl:711 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. [ Info: Skipped ExpandTemplates step (doctest only). [ Info: Skipped CrossReferences step (doctest only). [ Info: Skipped CheckDocument step (doctest only). [ Info: Skipped Populate step (doctest only). [ Info: Skipped RenderDocument step (doctest only). ┌ Warning: `qr(A::AbstractMatrix, ::Val{true}; kwargs...)` is deprecated, use `qr(A, ColumnNorm(); kwargs...)` instead. │ caller = findColSpanningSetV3(A::Matrix{Int64}) at LasserreModel.jl:110 └ @ Core ~/.julia/packages/FlagSOS/CliOB/src/FlagModels/LasserreModel.jl:110 3₁1₁ (1 / 12), 1 / 1, total: 1 / 265 3₁1₁ (1 / 12), 1 / 1, total: 1 / 265 4₁ (2 / 12), 1 / 1, total: 2 / 265 2₁1₁ (3 / 12), 36 / 36, total: 38 / 265 1₃ (4 / 12), 6 / 6, total: 44 / 265 1₄ (5 / 12), 1 / 1, total: 45 / 265 2₁1₂ (6 / 12), 1 / 1, total: 46 / 265 1₁ (7 / 12), 66 / 66, total: 112 / 265 3₁ (8 / 12), 15 / 15, total: 127 / 265 (9 / 12), 1 / 21, total: 128 / 265 (9 / 12), 21 / 21, total: 148 / 265 2₂ (10 / 12), 3 / 3, total: 151 / 265 2₁ (11 / 12), 78 / 78, total: 229 / 265 1₂ (12 / 12), 36 / 36, total: 265 / 265 14 of 205 dual equality constraints are dependent iter p_obj d_obj | abs_gap x_feas z_feas | tau kap mu | dir_res prox step alpha 0 1.1892e+00 3.6513e-01 | 5.90e+01 5.08e-01 8.63e-01 | 1.00e+00 1.00e+00 1.00e+00 | 1 9.8397e-01 7.0545e-01 | 1.77e+01 1.72e-01 2.92e-01 | 8.86e-01 3.00e-01 3.00e-01 | 6.7e-16 9.2e-01 co-a 7.00e-01 2 6.2552e-01 5.0141e-01 | 6.99e+00 3.88e-02 6.60e-02 | 1.57e+00 2.42e-02 1.17e-01 | 2.2e-15 8.6e-01 co-a 6.00e-01 3 5.0221e-01 4.7326e-01 | 2.72e+00 1.02e-02 1.73e-02 | 2.39e+00 1.83e-02 4.61e-02 | 1.2e-14 6.8e-01 co-a 6.00e-01 4 5.0055e-01 4.9599e-01 | 5.49e-01 1.56e-03 2.66e-03 | 3.12e+00 3.31e-03 9.33e-03 | 5.6e-14 7.9e-01 co-a 8.00e-01 5 5.0049e-01 4.9957e-01 | 1.08e-01 3.06e-04 5.20e-04 | 3.18e+00 5.83e-04 1.83e-03 | 8.9e-13 8.6e-01 co-a 8.00e-01 6 5.0003e-01 4.9989e-01 | 1.58e-02 4.83e-05 8.20e-05 | 3.03e+00 8.89e-05 2.67e-04 | 4.5e-13 8.0e-01 co-a 8.50e-01 7 5.0002e-01 5.0000e-01 | 2.37e-03 7.20e-06 1.22e-05 | 3.05e+00 1.10e-05 4.01e-05 | 3.2e-12 9.3e-01 co-a 8.50e-01 8 5.0000e-01 5.0000e-01 | 4.57e-04 1.54e-06 2.61e-06 | 2.85e+00 2.58e-06 7.74e-06 | 2.8e-11 5.9e-01 co-a 8.00e-01 9 5.0000e-01 5.0000e-01 | 6.89e-05 2.27e-07 3.87e-07 | 2.89e+00 3.30e-07 1.16e-06 | 6.4e-11 7.2e-01 co-a 8.50e-01 10 5.0000e-01 5.0000e-01 | 9.96e-06 3.63e-08 6.18e-08 | 2.71e+00 5.51e-08 1.69e-07 | 1.0e-10 7.2e-01 co-a 8.50e-01 11 5.0000e-01 5.0000e-01 | 1.49e-06 5.45e-09 9.26e-09 | 2.72e+00 7.61e-09 2.51e-08 | 2.0e-09 7.7e-01 co-a 8.50e-01 12 5.0000e-01 5.0000e-01 | 1.02e-06 3.78e-09 6.45e-09 | 2.73e+00 6.36e-09 1.74e-08 | 2.8e-09 4.1e-01 co-a 3.00e-01 optimal solution found; terminating status is Optimal after 12 iterations and 50.085 seconds [ Info: Generating flags up to isomorphism... [ Info: Splitting 6 flags... [ Info: basis reduced [ Info: determining symmetries [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(0×2 BitMatrix) [ Info: Regular representation not worth it for block ConstantWeightCode{3, 4}(0×2 BitMatrix) [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(0×0 BitMatrix) [ Info: Regular representation not worth it for block ConstantWeightCode{3, 4}(0×0 BitMatrix) [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(0×4 BitMatrix) [ Info: Regular representation not worth it for block ConstantWeightCode{3, 4}(0×4 BitMatrix) [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(0×6 BitMatrix) [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(Bool[0 1 1 0 1 0; 1 0 0 1 1 0]) [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(Bool[0 1 1 1 0 0; 1 0 0 0 1 1]) [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(Bool[0 0 1 0 1 1; 0 1 0 1 0 1; 1 0 0 1 1 0]) [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(Bool[1 1 1 0 0 0]) [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(Bool[0 0 0 1 1 1; 0 1 1 0 0 1; 1 0 1 0 1 0; 1 1 0 1 0 0]) [ Info: determining symmetry pattern for ConstantWeightCode{3, 4}(Bool[1 1 1 0]) [ Info: Regular representation not worth it for block ConstantWeightCode{3, 4}(Bool[1 1 1 0]) [ Info: Block symmetries found (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (1, 7, 4, ConstantWeightCode{3, 4}(0×2 BitMatrix)) 1 / 7 2 / 7 3 / 7 4 / 7 5 / 7 6 / 7 7 / 7 (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (2, 3, 2, ConstantWeightCode{3, 4}(0×0 BitMatrix)) 1 / 3 2 / 3 3 / 3 (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (3, 10, 10, ConstantWeightCode{3, 4}(0×4 BitMatrix)) 1 / 10 2 / 10 3 / 10 4 / 10 5 / 10 6 / 10 7 / 10 8 / 10 9 / 10 10 / 10 (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (4, 1, 1, ConstantWeightCode{3, 4}(0×6 BitMatrix)) 1 / 1 (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (5, 1, 1, ConstantWeightCode{3, 4}(Bool[0 1 1 0 1 0; 1 0 0 1 1 0])) 1 / 1 (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (6, 1, 1, ConstantWeightCode{3, 4}(Bool[0 1 1 1 0 0; 1 0 0 0 1 1])) 1 / 1 (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (7, 1, 1, ConstantWeightCode{3, 4}(Bool[0 0 1 0 1 1; 0 1 0 1 0 1; 1 0 0 1 1 0])) 1 / 1 (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (8, 1, 1, ConstantWeightCode{3, 4}(Bool[1 1 1 0 0 0])) 1 / 1 (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (9, 1, 1, ConstantWeightCode{3, 4}(Bool[0 0 0 1 1 1; 0 1 1 0 0 1; 1 0 1 0 1 0; 1 1 0 1 0 0])) 1 / 1 (muc, maximum((m.blockSymmetry[mu]).pattern), length(B), mu) = (10, 4, 4, ConstantWeightCode{3, 4}(Bool[1 1 1 0])) 1 / 4 2 / 4 3 / 4 4 / 4 [ Info: Razborov computation done iter p_obj d_obj | abs_gap x_feas z_feas | tau kap mu | dir_res prox step alpha 0 3.4643e+00 1.2498e-01 | 2.60e+01 5.46e-01 8.43e-01 | 1.00e+00 1.00e+00 1.00e+00 | 1 6.5540e-01 1.2115e-01 | 3.95e+00 7.91e-02 1.22e-01 | 1.03e+00 9.81e-02 1.50e-01 | 1.6e-76 6.4e-01 co-a 8.50e-01 2 3.0434e-01 1.1255e-01 | 1.52e+00 3.03e-02 4.68e-02 | 1.08e+00 5.34e-02 5.85e-02 | 6.7e-77 7.4e-01 co-a 6.00e-01 3 1.4436e-01 1.0880e-01 | 3.11e-01 4.71e-03 7.27e-03 | 1.39e+00 2.65e-03 1.17e-02 | 1.1e-76 7.5e-01 co-a 8.00e-01 4 1.2183e-01 1.1351e-01 | 8.79e-02 1.18e-03 1.82e-03 | 1.66e+00 1.79e-03 3.37e-03 | 5.5e-76 5.1e-01 co-a 7.00e-01 5 1.1514e-01 1.1282e-01 | 2.57e-02 3.31e-04 5.11e-04 | 1.78e+00 5.61e-04 9.89e-04 | 3.8e-76 8.7e-01 co-a 7.00e-01 6 1.1233e-01 1.1159e-01 | 7.27e-03 1.08e-04 1.67e-04 | 1.64e+00 1.90e-04 2.81e-04 | 3.3e-75 9.8e-01 co-a 7.00e-01 7 1.1130e-01 1.1119e-01 | 1.07e-03 1.64e-05 2.54e-05 | 1.61e+00 2.61e-05 4.10e-05 | 3.2e-75 8.8e-01 co-a 8.50e-01 8 1.1114e-01 1.1113e-01 | 1.58e-04 2.49e-06 3.84e-06 | 1.60e+00 3.38e-06 6.06e-06 | 2.9e-74 7.6e-01 co-a 8.50e-01 9 1.1111e-01 1.1111e-01 | 1.56e-05 2.53e-07 3.91e-07 | 1.57e+00 3.26e-07 5.96e-07 | 1.8e-73 7.7e-01 co-a 9.00e-01 10 1.1111e-01 1.1111e-01 | 1.52e-06 2.61e-08 4.03e-08 | 1.53e+00 3.10e-08 5.81e-08 | 1.9e-72 8.4e-01 co-a 9.00e-01 11 1.1111e-01 1.1111e-01 | 2.18e-07 4.10e-09 6.32e-09 | 1.46e+00 5.29e-09 8.36e-09 | 1.2e-71 6.3e-01 co-a 8.50e-01 12 1.1111e-01 1.1111e-01 | 3.25e-08 6.18e-10 9.54e-10 | 1.45e+00 7.10e-10 1.24e-09 | 9.3e-71 8.0e-01 co-a 8.50e-01 13 1.1111e-01 1.1111e-01 | 6.19e-09 1.30e-10 2.00e-10 | 1.38e+00 1.66e-10 2.38e-10 | 7.1e-70 6.9e-01 co-a 8.00e-01 14 1.1111e-01 1.1111e-01 | 9.32e-10 1.94e-11 2.99e-11 | 1.39e+00 2.13e-11 3.56e-11 | 1.7e-69 6.3e-01 co-a 8.50e-01 15 1.1111e-01 1.1111e-01 | 1.34e-10 3.04e-12 4.70e-12 | 1.32e+00 3.53e-12 5.12e-12 | 6.2e-68 7.0e-01 co-a 8.50e-01 16 1.1111e-01 1.1111e-01 | 2.61e-11 6.22e-13 9.60e-13 | 1.30e+00 6.99e-13 1.00e-12 | 7.7e-68 8.4e-01 co-a 8.00e-01 17 1.1111e-01 1.1111e-01 | 5.06e-12 1.28e-13 1.98e-13 | 1.26e+00 1.47e-13 1.94e-13 | 1.6e-66 7.4e-01 co-a 8.00e-01 18 1.1111e-01 1.1111e-01 | 7.56e-13 1.93e-14 2.98e-14 | 1.25e+00 1.92e-14 2.89e-14 | 1.6e-66 8.4e-01 co-a 8.50e-01 19 1.1111e-01 1.1111e-01 | 1.43e-13 4.10e-15 6.33e-15 | 1.18e+00 4.59e-15 5.48e-15 | 1.6e-65 7.3e-01 co-a 8.00e-01 20 1.1111e-01 1.1111e-01 | 4.21e-14 1.24e-15 1.92e-15 | 1.17e+00 1.34e-15 1.62e-15 | 5.3e-65 7.6e-01 co-a 7.00e-01 21 1.1111e-01 1.1111e-01 | 6.27e-15 1.88e-16 2.89e-16 | 1.16e+00 1.85e-16 2.40e-16 | 1.7e-64 9.7e-01 co-a 8.50e-01 22 1.1111e-01 1.1111e-01 | 1.21e-15 3.89e-17 6.00e-17 | 1.12e+00 3.85e-17 4.65e-17 | 7.1e-64 9.6e-01 co-a 8.00e-01 23 1.1111e-01 1.1111e-01 | 2.33e-16 8.11e-18 1.25e-17 | 1.07e+00 8.08e-18 8.94e-18 | 2.2e-62 7.5e-01 co-a 8.00e-01 24 1.1111e-01 1.1111e-01 | 4.61e-17 1.64e-18 2.52e-18 | 1.06e+00 1.48e-18 1.77e-18 | 1.5e-62 9.2e-01 co-a 8.00e-01 25 1.1111e-01 1.1111e-01 | 8.81e-18 3.43e-19 5.29e-19 | 1.02e+00 3.26e-19 3.38e-19 | 4.1e-61 7.5e-01 co-a 8.00e-01 26 1.1111e-01 1.1111e-01 | 1.75e-18 6.89e-20 1.06e-19 | 1.01e+00 5.91e-20 6.71e-20 | 3.9e-61 9.0e-01 co-a 8.00e-01 27 1.1111e-01 1.1111e-01 | 3.35e-19 1.44e-20 2.22e-20 | 9.66e-01 1.30e-20 1.29e-20 | 2.0e-59 7.6e-01 co-a 8.00e-01 28 1.1111e-01 1.1111e-01 | 6.65e-20 2.90e-21 4.48e-21 | 9.60e-01 2.37e-21 2.55e-21 | 1.0e-59 9.0e-01 co-a 8.00e-01 29 1.1111e-01 1.1111e-01 | 1.27e-20 6.07e-22 9.37e-22 | 9.18e-01 5.20e-22 4.89e-22 | 1.5e-58 7.6e-01 co-a 8.00e-01 30 1.1111e-01 1.1111e-01 | 2.53e-21 1.22e-22 1.89e-22 | 9.12e-01 9.48e-23 9.68e-23 | 3.5e-58 9.0e-01 co-a 8.00e-01 31 1.1111e-01 1.1111e-01 | 4.83e-22 2.56e-23 3.95e-23 | 8.71e-01 2.08e-23 1.86e-23 | 1.0e-56 7.6e-01 co-a 8.00e-01 32 1.1111e-01 1.1111e-01 | 9.59e-23 5.15e-24 7.94e-24 | 8.66e-01 3.79e-24 3.67e-24 | 1.9e-57 9.0e-01 co-a 8.00e-01 33 1.1111e-01 1.1111e-01 | 1.83e-23 1.08e-24 1.66e-24 | 8.27e-01 8.33e-25 7.05e-25 | 1.2e-55 7.6e-01 co-a 8.00e-01 34 1.1111e-01 1.1111e-01 | 3.64e-24 2.17e-25 3.35e-25 | 8.22e-01 1.52e-25 1.40e-25 | 1.1e-55 9.0e-01 co-a 8.00e-01 35 1.1111e-01 1.1111e-01 | 6.97e-25 4.54e-26 7.00e-26 | 7.86e-01 3.33e-26 2.68e-26 | 1.8e-54 7.6e-01 co-a 8.00e-01 36 1.1111e-01 1.1111e-01 | 1.38e-25 9.13e-27 1.41e-26 | 7.81e-01 6.06e-27 5.30e-27 | 1.9e-54 9.0e-01 co-a 8.00e-01 37 1.1111e-01 1.1111e-01 | 2.65e-26 1.91e-27 2.95e-27 | 7.46e-01 1.33e-27 1.02e-27 | 5.0e-53 7.6e-01 co-a 8.00e-01 38 1.1111e-01 1.1111e-01 | 5.25e-27 3.85e-28 5.94e-28 | 7.41e-01 2.43e-28 2.01e-28 | 5.8e-53 9.0e-01 co-a 8.00e-01 39 1.1111e-01 1.1111e-01 | 1.00e-27 8.05e-29 1.24e-28 | 7.08e-01 5.33e-29 3.86e-29 | 7.4e-52 7.6e-01 co-a 8.00e-01 40 1.1111e-01 1.1111e-01 | 2.00e-28 1.62e-29 2.50e-29 | 7.04e-01 9.70e-30 7.64e-30 | 1.4e-51 9.0e-01 co-a 8.00e-01 41 1.1111e-01 1.1111e-01 | 3.82e-29 3.39e-30 5.24e-30 | 6.72e-01 2.13e-30 1.47e-30 | 2.5e-50 7.6e-01 co-a 8.00e-01 42 1.1111e-01 1.1111e-01 | 7.58e-30 6.83e-31 1.05e-30 | 6.68e-01 3.88e-31 2.90e-31 | 3.3e-50 9.0e-01 co-a 8.00e-01 43 1.1111e-01 1.1111e-01 | 1.45e-30 1.43e-31 2.21e-31 | 6.38e-01 8.53e-32 5.57e-32 | 7.9e-49 7.6e-01 co-a 8.00e-01 44 1.1111e-01 1.1111e-01 | 2.88e-31 2.88e-32 4.44e-32 | 6.34e-01 1.55e-32 1.10e-32 | 5.0e-49 9.0e-01 co-a 8.00e-01 45 1.1111e-01 1.1111e-01 | 5.50e-32 6.02e-33 9.30e-33 | 6.06e-01 3.41e-33 2.11e-33 | 1.8e-47 7.6e-01 co-a 8.00e-01 optimal solution found; terminating status is Optimal after 45 iterations and 75.869 seconds 1₁ (1 / 3), 1 / 6, total: 1 / 17 1₁ (1 / 3), 6 / 6, total: 6 / 17 2₁ (2 / 3), 1 / 1, total: 7 / 17 (3 / 3), 10 / 10, total: 17 / 17 iter p_obj d_obj | abs_gap x_feas z_feas | tau kap mu | dir_res prox step alpha 0 1.1892e+00 1.6057e-02 | 8.00e+00 4.47e-01 1.03e+00 | 1.00e+00 1.00e+00 1.00e+00 | 1 2.1814e-01 1.3558e-02 | 1.23e+00 7.02e-02 1.62e-01 | 9.55e-01 1.31e-01 1.50e-01 | 3.7e-16 5.9e-01 co-a 8.50e-01 2 3.2895e-02 2.2601e-03 | 1.78e-01 1.04e-02 2.41e-02 | 9.63e-01 1.94e-02 2.18e-02 | 1.3e-15 8.5e-01 co-a 8.50e-01 3 3.3009e-03 -2.3332e-03 | 2.64e-02 1.44e-03 3.33e-03 | 1.05e+00 1.44e-03 3.10e-03 | 9.5e-15 9.1e-01 co-a 8.50e-01 4 9.7638e-04 -3.3899e-04 | 6.77e-03 4.09e-04 9.44e-04 | 1.11e+00 7.45e-04 8.44e-04 | 3.8e-15 6.7e-01 co-a 7.00e-01 5 1.7484e-04 -8.7332e-05 | 1.29e-03 8.07e-05 1.86e-04 | 1.12e+00 1.46e-04 1.61e-04 | 4.7e-15 7.2e-01 co-a 8.00e-01 6 3.8761e-05 -1.5535e-05 | 2.47e-04 1.64e-05 3.79e-05 | 1.10e+00 2.81e-05 3.09e-05 | 3.1e-15 8.4e-01 co-a 8.00e-01 7 6.6053e-06 -4.3024e-06 | 4.43e-05 3.57e-06 8.23e-06 | 1.02e+00 6.53e-06 5.66e-06 | 9.5e-14 8.3e-01 co-a 8.00e-01 8 1.6970e-06 -6.4201e-07 | 8.84e-06 6.99e-07 1.62e-06 | 1.04e+00 1.10e-06 1.11e-06 | 9.8e-14 7.4e-01 co-a 8.00e-01 9 3.0632e-07 -1.7483e-07 | 1.65e-06 1.54e-07 3.55e-07 | 9.41e-01 2.51e-07 2.09e-07 | 5.1e-13 8.6e-01 co-a 8.00e-01 10 7.3548e-08 -2.9427e-08 | 3.15e-07 3.11e-08 7.17e-08 | 9.32e-01 4.48e-08 3.96e-08 | 1.6e-12 9.0e-01 co-a 8.00e-01 11 1.2704e-08 -8.5459e-09 | 5.60e-08 6.99e-09 1.61e-08 | 8.29e-01 1.06e-08 7.20e-09 | 4.3e-12 7.9e-01 co-a 8.00e-01 12 3.2802e-09 -1.3188e-09 | 1.12e-08 1.39e-09 3.21e-09 | 8.34e-01 1.80e-09 1.41e-09 | 3.7e-15 7.7e-01 co-a 8.00e-01 optimal solution found; terminating status is Optimal after 12 iterations and 0.157 seconds 2₂ (1 / 8), 1 / 1, total: 1 / 44 2₂ (1 / 8), 1 / 1, total: 1 / 44 4₁ (2 / 8), 1 / 1, total: 2 / 44 2₁1₁ (3 / 8), 3 / 3, total: 5 / 44 1₁ (4 / 8), 10 / 10, total: 15 / 44 2₁ (5 / 8), 15 / 15, total: 30 / 44 3₁ (6 / 8), 3 / 3, total: 33 / 44 (7 / 8), 10 / 10, total: 43 / 44 1₂ (8 / 8), 1 / 1, total: 44 / 44 iter p_obj d_obj | abs_gap x_feas z_feas | tau kap mu | dir_res prox step alpha 0 1.1892e+00 2.0724e-01 | 2.00e+01 5.98e-01 6.62e-01 | 1.00e+00 1.00e+00 1.00e+00 | 1 8.3142e-01 5.5799e-01 | 6.00e+00 2.17e-01 2.40e-01 | 8.28e-01 3.68e-01 3.00e-01 | 2.2e-16 4.6e-01 co-a 7.00e-01 2 6.2320e-01 5.4787e-01 | 1.18e+00 3.87e-02 4.28e-02 | 9.28e-01 4.90e-02 5.84e-02 | 3.3e-16 6.9e-01 co-a 8.00e-01 3 4.9960e-01 4.8406e-01 | 3.30e-01 1.24e-02 1.38e-02 | 8.66e-01 2.22e-02 1.66e-02 | 6.1e-16 6.2e-01 co-a 7.00e-01 4 4.9782e-01 4.9580e-01 | 3.41e-02 1.22e-03 1.35e-03 | 8.84e-01 1.78e-03 1.70e-03 | 1.1e-15 7.3e-01 co-a 9.00e-01 5 5.0001e-01 4.9982e-01 | 3.45e-03 1.19e-04 1.31e-04 | 9.07e-01 1.80e-04 1.72e-04 | 6.9e-15 7.3e-01 co-a 9.00e-01 6 4.9999e-01 4.9996e-01 | 5.03e-04 1.89e-05 2.09e-05 | 8.55e-01 2.73e-05 2.51e-05 | 4.7e-14 7.0e-01 co-a 8.50e-01 7 5.0000e-01 5.0000e-01 | 7.44e-05 2.92e-06 3.23e-06 | 8.30e-01 3.80e-06 3.69e-06 | 3.1e-13 7.6e-01 co-a 8.50e-01 8 5.0000e-01 5.0000e-01 | 1.07e-05 4.68e-07 5.17e-07 | 7.77e-01 6.27e-07 5.34e-07 | 4.2e-12 5.7e-01 co-a 8.50e-01 9 5.0000e-01 5.0000e-01 | 1.60e-06 7.11e-08 7.86e-08 | 7.67e-01 8.71e-08 7.92e-08 | 1.0e-11 5.9e-01 co-a 8.50e-01 10 5.0000e-01 5.0000e-01 | 1.55e-07 7.48e-09 8.28e-09 | 7.29e-01 8.61e-09 7.69e-09 | 3.0e-11 7.5e-01 co-a 9.00e-01 optimal solution found; terminating status is Optimal after 10 iterations and 0.007 seconds Test Summary: | Pass Total Time FlagSOS.jl | 15 15 14m16.7s Testing FlagSOS tests passed Testing completed after 884.87s PkgEval succeeded after 1370.45s