Package evaluation to test SDPLRPlus on Julia 1.14.0-DEV.2590 (cfde0ec785*) started at 2026-07-04T10:14:11.608 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.78s ################################################################################ # Installation # Installing SDPLRPlus... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [9040bce9] + SDPLRPlus v0.2.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [187b0558] + ConstructionBase v1.6.0 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [e2d170a0] + DataValueInterfaces v1.0.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.16.0 [ffbed154] + DocStringExtensions v0.9.5 [e2ba6199] + ExprTools v0.1.10 [9aa1b823] + FastClosures v0.3.2 [1a297f60] + FillArrays v1.16.0 [f6369f11] + ForwardDiff v1.4.1 [408c25d7] + GenericArpack v0.2.1 [92d709cd] + IrrationalConstants v0.2.6 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.6.1 [4076af6c] + JuMP v1.30.1 [0b1a1467] + KrylovKit v0.10.4 [b964fa9f] + LaTeXStrings v1.4.0 [5c8ed15e] + LinearOperators v2.14.1 [2ab3a3ac] + LogExpFunctions v1.0.1 [607ca3ad] + LowRankOpt v0.2.2 [d05aeea4] + LuxurySparse v0.8.1 [33e6dc65] + MKL v0.9.1 [0c723cd3] + MKLSparse v3.0.0 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.51.1 [d8a4904e] + MutableArithmetics v1.8.0 [a4795742] + NLPModels v0.21.12 [792afdf1] + NLPModelsJuMP v0.13.5 [77ba4419] + NaNMath v1.1.4 ⌅ [bac558e1] + OrderedCollections v1.8.2 [65ce6f38] + PackageExtensionCompat v1.0.2 ⌅ [d96e819e] + Parameters v0.12.3 [69de0a69] + Parsers v2.8.6 [3a141323] + PolynomialRoots v1.0.0 [f27b6e38] + Polynomials v4.1.1 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [08abe8d2] + PrettyTables v3.3.2 [189a3867] + Reexport v1.2.2 [9040bce9] + SDPLRPlus v0.2.0 [efcf1570] + Setfield v1.1.2 [ff4d7338] + SolverCore v0.3.10 [276daf66] + SpecialFunctions v2.8.0 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [892a3eda] + StringManipulation v0.4.4 [ec057cc2] + StructUtils v2.8.2 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.13.0 [a759f4b9] + TimerOutputs v0.5.29 [3bb67fe8] + TranscodingStreams v0.11.3 [3a884ed6] + UnPack v1.0.2 [c4a57d5a] + UnsafeArrays v1.0.9 [409d34a3] + VectorInterface v0.6.0 [6e34b625] + Bzip2_jll v1.0.9+0 [1d5cc7b8] + IntelOpenMP_jll v2025.2.0+0 [856f044c] + MKL_jll v2025.2.0+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [1317d2d5] + oneTBB_jll v2022.3.0+0 [0dad84c5] + ArgTools v1.2.0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [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.5.5+2 [deac9b47] + LibCURL_jll v8.21.0+0 [e37daf67] + LibGit2_jll v1.9.4+0 [29816b5a] + LibSSH2_jll v1.11.101+0 [14a3606d] + MozillaCACerts_jll v2026.5.14 [4536629a] + OpenBLAS_jll v0.3.33+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.7+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.69.0+0 [3f19e933] + p7zip_jll v17.8.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 5.63s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 13.8 s ✓ LowRankOpt 25.2 s ✓ SDPLRPlus 2 dependencies successfully precompiled in 42 seconds. 119 already precompiled. Precompilation completed after 67.94s ################################################################################ # Testing # Testing SDPLRPlus Status `/tmp/jl_ICSCLK/Project.toml` [6a86dc24] FiniteDiff v2.31.1 [d05aeea4] LuxurySparse v0.8.1 [9040bce9] SDPLRPlus v0.2.0 [37e2e46d] LinearAlgebra v1.14.0 [9a3f8284] Random v1.11.0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_ICSCLK/Manifest.toml` [79e6a3ab] Adapt v4.7.0 [4fba245c] ArrayInterface v7.27.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [187b0558] ConstructionBase v1.6.0 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [e2d170a0] DataValueInterfaces v1.0.0 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.16.0 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.10 [9aa1b823] FastClosures v0.3.2 [1a297f60] FillArrays v1.16.0 [6a86dc24] FiniteDiff v2.31.1 [f6369f11] ForwardDiff v1.4.1 [408c25d7] GenericArpack v0.2.1 [92d709cd] IrrationalConstants v0.2.6 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.6.1 [4076af6c] JuMP v1.30.1 [0b1a1467] KrylovKit v0.10.4 [b964fa9f] LaTeXStrings v1.4.0 [5c8ed15e] LinearOperators v2.14.1 [2ab3a3ac] LogExpFunctions v1.0.1 [607ca3ad] LowRankOpt v0.2.2 [d05aeea4] LuxurySparse v0.8.1 [33e6dc65] MKL v0.9.1 [0c723cd3] MKLSparse v3.0.0 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.51.1 [d8a4904e] MutableArithmetics v1.8.0 [a4795742] NLPModels v0.21.12 [792afdf1] NLPModelsJuMP v0.13.5 [77ba4419] NaNMath v1.1.4 ⌅ [bac558e1] OrderedCollections v1.8.2 [65ce6f38] PackageExtensionCompat v1.0.2 ⌅ [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.6 [3a141323] PolynomialRoots v1.0.0 [f27b6e38] Polynomials v4.1.1 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [08abe8d2] PrettyTables v3.3.2 [189a3867] Reexport v1.2.2 [9040bce9] SDPLRPlus v0.2.0 [efcf1570] Setfield v1.1.2 [ff4d7338] SolverCore v0.3.10 [276daf66] SpecialFunctions v2.8.0 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [892a3eda] StringManipulation v0.4.4 [ec057cc2] StructUtils v2.8.2 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.13.0 [a759f4b9] TimerOutputs v0.5.29 [3bb67fe8] TranscodingStreams v0.11.3 [3a884ed6] UnPack v1.0.2 [c4a57d5a] UnsafeArrays v1.0.9 [409d34a3] VectorInterface v0.6.0 [6e34b625] Bzip2_jll v1.0.9+0 [1d5cc7b8] IntelOpenMP_jll v2025.2.0+0 [856f044c] MKL_jll v2025.2.0+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [1317d2d5] oneTBB_jll v2022.3.0+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [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.5.5+2 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.7+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test Summary: | Pass Total Time SymLowRankMatrix tests | 200 200 5.2s [ Info: Max Cut SDP is formed. ========================================================================================================================= SDPLRPlus.jl: a julia implementation of SDPLR with objval gap bound ========================================================================================================================= [ Info: Finish classifying constraints. ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 1 │ 2 │ 2 │ 1.90E-04 │ -9.63E-07 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -9.629221249236961e-7 max_dual_value = -0.7912485048557343 duality_gap = 821714.9875918672 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 2 │ 0 │ 2 │ 5.71E-04 │ -9.63E-07 │ 2.00E+00 │ 2.50E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -9.62922124925214e-7 max_dual_value = -0.757549367786599 duality_gap = 786718.2456975008 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 1 │ 3 │ -7.67E-04 │ -3.57E-06 │ 2.00E+00 │ 1.25E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -3.5670199983584163e-6 max_dual_value = -0.17504443135967765 duality_gap = 49072.016534876486 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 4 │ 1 │ 4 │ 3.07E-07 │ -1.32E-07 │ 2.00E+00 │ 6.25E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -1.3205603447675032e-7 max_dual_value = -0.008659159526962085 duality_gap = 65570.85789557091 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 5 │ 0 │ 4 │ 2.58E-06 │ -1.32E-07 │ 2.00E+00 │ 3.12E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -1.3205603446864167e-7 max_dual_value = -0.008659159526962085 duality_gap = 65570.85789959722 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 1 │ 5 │ -3.71E-06 │ -4.98E-07 │ 2.00E+00 │ 1.56E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -4.981197870099746e-7 max_dual_value = -0.008659159526962085 duality_gap = 17382.689130158346 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ 1 │ 6 │ -6.15E-08 │ -7.01E-09 │ 2.00E+00 │ 7.81E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -7.00520956687134e-9 max_dual_value = -0.008659159526962085 duality_gap = 1.2361018523561258e6 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 8 │ 0 │ 6 │ 1.02E-07 │ -7.01E-09 │ 2.00E+00 │ 3.91E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -7.005209551325109e-9 max_dual_value = -0.008659159526962085 duality_gap = 1.236101855099333e6 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 9 │ 1 │ 7 │ -1.21E-07 │ -7.91E-09 │ 2.00E+00 │ 1.95E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -7.907183524359688e-9 max_dual_value = -0.008659159526962085 duality_gap = 1.0950993603603966e6 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 10 │ 1 │ 8 │ -3.47E-10 │ -2.87E-11 │ 2.00E+00 │ 9.77E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -2.8652765661567175e-11 max_dual_value = -0.008659159526962085 duality_gap = 3.022102508563113e8 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 1 │ 9 │ -6.66E-10 │ -4.81E-11 │ 2.00E+00 │ 4.88E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -4.808821743857796e-11 max_dual_value = -0.008659159526962085 duality_gap = 1.800682150452764e8 ┌─────────┬────┬───────┬─────────┬──────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼───────────┼──────────┼──────────── │ │ 12 │ 0 │ 9 │ 6.27E-10 │ -4.81E-11 │ 2.00E+00 │ 2.44E-04 ⋯ └─────────┴────┴───────┴─────────┴──────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -4.808828335534088e-11 max_dual_value = -0.008659159526962085 duality_gap = 1.8006796821771097e8 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 13 │ 1 │ 10 │ -7.18E-10 │ -4.45E-11 │ 2.00E+00 │ 1.22E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -4.4497296341831714e-11 max_dual_value = -0.008659159526962085 duality_gap = 1.9459967670719692e8 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 14 │ 1 │ 11 │ -2.42E-12 │ -2.96E-13 │ 2.00E+00 │ 6.10E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -2.9569889216349466e-13 max_dual_value = -0.008659159526962085 duality_gap = 2.928370635179335e10 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 15 │ 1 │ 12 │ -3.91E-12 │ -2.95E-13 │ 2.00E+00 │ 3.05E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -2.949096067630692e-13 max_dual_value = -0.008659159526962085 duality_gap = 2.9362080203863808e10 ┌─────────┬────┬───────┬─────────┬──────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼───────────┼──────────┼──────────── │ │ 16 │ 0 │ 12 │ 3.72E-12 │ -2.95E-13 │ 2.00E+00 │ 1.53E-05 ⋯ └─────────┴────┴───────┴─────────┴──────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -2.9493074649167283e-13 max_dual_value = -0.00010166310774885756 duality_gap = 3.447016245788304e8 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 17 │ 1 │ 13 │ -4.28E-12 │ -2.71E-13 │ 2.00E+00 │ 7.63E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -2.7084818294791747e-13 max_dual_value = -0.00010166310774885756 duality_gap = 3.753508935208866e8 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 18 │ 1 │ 14 │ -1.49E-14 │ -1.61E-15 │ 2.00E+00 │ 3.81E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.6124921500681638e-15 max_dual_value = -0.00010166310774885756 duality_gap = 6.304719545019027e10 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 19 │ 1 │ 15 │ -2.36E-14 │ -1.81E-15 │ 2.00E+00 │ 1.91E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.8146008159075618e-15 max_dual_value = -0.00010166310774885756 duality_gap = 5.6025053475023796e10 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 20 │ 1 │ 16 │ -1.12E-16 │ -2.77E-17 │ 2.00E+00 │ 9.54E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -2.771879017333306e-17 max_dual_value = -0.00010166310774885756 duality_gap = 3.6676603528906943e12 ┌─────────┬────┬───────┬─────────┬──────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼───────────┼──────────┼──────────── │ │ 21 │ 0 │ 16 │ 1.06E-15 │ -5.55E-17 │ 2.00E+00 │ 4.77E-07 ⋯ └─────────┴────┴───────┴─────────┴──────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -5.551115123125783e-17 max_dual_value = -0.00010166310774885756 duality_gap = 1.831399736699326e12 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 22 │ 1 │ 17 │ -1.33E-15 │ -9.85E-17 │ 2.00E+00 │ 2.38E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -9.845437666116327e-17 max_dual_value = -0.00010166310774885756 duality_gap = 1.0325910456844277e12 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 23 │ 1 │ 18 │ -1.33E-17 │ -1.39E-17 │ 2.00E+00 │ 1.19E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.3852027830853734e-17 max_dual_value = -0.00010166310774885756 duality_gap = 7.339222025124819e12 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 24 │ 0 │ 18 │ 3.49E-17 │ 0.00E+00 │ 2.00E+00 │ 5.96E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.00010166310774885756 duality_gap = Inf ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 25 │ 1 │ 19 │ -4.25E-17 │ -1.66E-18 │ 2.00E+00 │ 2.98E-08 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.6556596920293765e-18 max_dual_value = -0.00010166310774885756 duality_gap = 6.140338394313708e13 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 26 │ 1 │ 20 │ 2.23E-18 │ 2.18E-18 │ 2.00E+00 │ 1.49E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 2.1758861451578476e-18 max_dual_value = -0.00010166310774885756 duality_gap = 4.672262286108021e13 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 27 │ 0 │ 20 │ 1.03E-18 │ 0.00E+00 │ 2.00E+00 │ 1.00E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.00010166310774885756 duality_gap = Inf [ Info: rank doubled, newrank is 2. ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 28 │ 4 │ 24 │ -1.12E+00 │ -1.24E+00 │ 2.00E+00 │ 5.00E-01 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.2447498548421876 max_dual_value = -0.9816029036704248 duality_gap = -0.26807882310433234 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 29 │ 1 │ 25 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.50E-01 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.004033718953679 max_dual_value = -0.9816029036704248 duality_gap = -0.022851211217265698 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 30 │ 0 │ 25 │ -9.99E-01 │ -1.00E+00 │ 2.00E+00 │ 1.25E-01 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.004033718953679 max_dual_value = -0.9816029036704248 duality_gap = -0.022851211217265698 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 31 │ 1 │ 26 │ -1.00E+00 │ -9.95E-01 │ 2.00E+00 │ 6.25E-02 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9953742803000949 max_dual_value = -0.9816029036704248 duality_gap = -0.01402947829328535 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 32 │ 3 │ 29 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.12E-02 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.00002306883768 max_dual_value = -0.9816029036704248 duality_gap = -0.018765393926992616 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 33 │ 0 │ 29 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.56E-02 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000230688376803 max_dual_value = -0.9816029036704248 duality_gap = -0.018765393926992845 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 34 │ 1 │ 30 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.81E-03 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999641320794721 max_dual_value = -0.9816029036704248 duality_gap = -0.01870535258238409 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 35 │ 1 │ 31 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.91E-03 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999896639290173 max_dual_value = -0.9816029036704248 duality_gap = -0.018731362947114846 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 36 │ 0 │ 31 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.95E-03 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999896639290176 max_dual_value = -0.9816029036704248 duality_gap = -0.018731362947115072 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 37 │ 1 │ 32 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.77E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000112651880664 max_dual_value = -0.9816029036704248 duality_gap = -0.01875336905464394 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 38 │ 1 │ 33 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.88E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.000003191070891 max_dual_value = -0.9816029036704248 duality_gap = -0.01874514361323061 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 39 │ 0 │ 33 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.44E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.000003191070891 max_dual_value = -0.9816029036704248 duality_gap = -0.01874514361323061 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 40 │ 1 │ 34 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.22E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999909746288411 max_dual_value = -0.9816029036704248 duality_gap = -0.01873269821193414 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 41 │ 3 │ 37 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 6.10E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000051066968687 max_dual_value = -0.9816029036704248 duality_gap = -0.018747095141664828 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 42 │ 1 │ 38 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.05E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000001662587368 max_dual_value = -0.9816029036704248 duality_gap = -0.018742062110371365 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 43 │ 0 │ 38 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.53E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000001662587366 max_dual_value = -0.9816029036704248 duality_gap = -0.018742062110371136 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 44 │ 0 │ 38 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.63E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000001662587366 max_dual_value = -0.9816029036704248 duality_gap = -0.018742062110371136 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 45 │ 1 │ 39 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.81E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999995010113918 max_dual_value = -0.9816029036704248 duality_gap = -0.018741384395031993 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 46 │ 1 │ 40 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.91E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999986909404 max_dual_value = -0.9816029036704248 duality_gap = -0.018741891402037282 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 46 │ -1 │ 40 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.91E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted ========================================================================================================================= End of SDPLRPlus.jl ========================================================================================================================= [ Info: Max Cut SDP is formed. ========================================================================================================================= SDPLRPlus.jl: a julia implementation of SDPLR with objval gap bound ========================================================================================================================= [ Info: Finish classifying constraints. ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 1 │ 3 │ 3 │ 3.92E-08 │ -8.68E-10 │ 1.00E+01 │ 1.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -8.681262151427807e-10 max_dual_value = -0.7837962607926916 duality_gap = 9.028597987858878e8 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 2 │ 0 │ 3 │ 1.19E-07 │ -8.68E-10 │ 1.00E+01 │ 1.00E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -8.681261820520092e-10 max_dual_value = -0.7727920683749976 duality_gap = 8.901840348602383e8 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 1 │ 4 │ -1.64E-07 │ -3.62E-09 │ 1.00E+01 │ 1.00E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -3.6159188660163447e-9 max_dual_value = -0.17446426371555396 duality_gap = 4.824894212624916e7 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 1 │ 5 │ -6.94E-11 │ -1.02E-12 │ 1.00E+01 │ 1.00E-04 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0186226535458954e-12 max_dual_value = -0.008278098783525365 duality_gap = 8.12675700239938e9 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 6 │ -1.29E-11 │ -4.63E-14 │ 1.00E+01 │ 1.00E-05 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -4.627422822782271e-14 max_dual_value = -0.008278098783525365 duality_gap = 1.7889220632105164e11 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 1 │ 7 │ -2.09E-14 │ -2.94E-16 │ 1.00E+01 │ 1.00E-06 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -2.942862297695179e-16 max_dual_value = -0.008278098783525365 duality_gap = 2.8129412613048176e13 ┌─────────┬───┬───────┬─────────┬───────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼──────────┼──────────┼──────────┼── │ │ 7 │ 1 │ 8 │ -9.69E-16 │ 9.94E-18 │ 1.00E+01 │ 1.00E-07 │ ⋯ └─────────┴───┴───────┴─────────┴───────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 9.943082185564487e-18 max_dual_value = -0.008278098783525365 duality_gap = 8.325485628132131e14 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 8 │ 1 │ 9 │ 1.89E-17 │ 2.26E-17 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 2.2571934198630487e-17 max_dual_value = -0.008278098783525365 duality_gap = 3.6674299644324e14 ┌─────────┬───┬───────┬─────────┬───────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼──────────┼──────────┼──────────┼── │ │ 9 │ 1 │ 10 │ -5.13E-20 │ 5.93E-20 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴───┴───────┴─────────┴───────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 5.931333227374987e-20 max_dual_value = -0.008278098783525365 duality_gap = 1.3956556588861522e17 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 10 │ 0 │ 10 │ 1.47E-19 │ 0.00E+00 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.008278098783525365 duality_gap = Inf ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 1 │ 11 │ -1.48E-19 │ -1.63E-22 │ 1.00E+01 │ 1.00E-08 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.6255431519495477e-22 max_dual_value = -0.008278098783525365 duality_gap = 5.092512477197096e19 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 12 │ 0 │ 11 │ 1.50E-19 │ 0.00E+00 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.008278098783525365 duality_gap = Inf [ Info: rank doubled, newrank is 2. ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 13 │ 4 │ 15 │ -1.02E+00 │ -1.05E+00 │ 1.00E+01 │ 1.00E-01 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0499601195338362 max_dual_value = -0.9994394324914887 duality_gap = -0.05054902318233047 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 14 │ 3 │ 18 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-02 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000387607461676 max_dual_value = -0.9994394324914887 duality_gap = -0.0005996644070615085 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 15 │ 1 │ 19 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-03 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999896052833632 max_dual_value = -0.9994394324914887 duality_gap = -0.000550481373846745 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 16 │ 1 │ 20 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999992317993863 max_dual_value = -0.9994394324914887 duality_gap = -0.0005601132892086396 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 17 │ 1 │ 21 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000002026451595 max_dual_value = -0.9994394324914887 duality_gap = -0.0005610846795116997 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 18 │ 3 │ 24 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000020351514 max_dual_value = -0.9994394324914887 duality_gap = -0.0005608839569850123 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 19 │ 1 │ 25 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000000475011 max_dual_value = -0.9994394324914887 duality_gap = -0.0005608819682199085 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 19 │ -1 │ 25 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted ========================================================================================================================= End of SDPLRPlus.jl ========================================================================================================================= [ Info: Max Cut SDP is formed. ========================================================================================================================= SDPLRPlus.jl: a julia implementation of SDPLR with objval gap bound ========================================================================================================================= [ Info: Finish classifying constraints. ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 1 │ 2 │ 2 │ -1.12E+00 │ -1.26E+00 │ 2.00E+00 │ 5.00E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.2638086244628088 max_dual_value = -1.055342075219928 duality_gap = -0.19753457588567894 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 2 │ 1 │ 3 │ -1.00E+00 │ -9.86E-01 │ 2.00E+00 │ 2.50E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9864639643928796 max_dual_value = -1.0013915987672921 duality_gap = 0.015132468000085232 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 1 │ 4 │ -1.00E+00 │ -9.99E-01 │ 2.00E+00 │ 1.25E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9986161076288813 max_dual_value = -0.9958628033807331 duality_gap = -0.002764742531603128 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 0 │ 4 │ -1.00E+00 │ -9.99E-01 │ 2.00E+00 │ 6.25E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9986161076288812 max_dual_value = -0.9903340079941736 duality_gap = -0.008362935704371301 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 5 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.12E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0021017603541706 max_dual_value = -0.9903340079941736 duality_gap = -0.011882609569100333 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 1 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.56E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0004625847000144 max_dual_value = -0.9903340079941736 duality_gap = -0.010227435010896208 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ 0 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.81E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0004625847000144 max_dual_value = -0.9903340079941736 duality_gap = -0.010227435010896208 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 8 │ 1 │ 7 │ -1.00E+00 │ -9.99E-01 │ 2.00E+00 │ 3.91E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9993876999420789 max_dual_value = -0.9903340079941736 duality_gap = -0.009142059017283136 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 9 │ 1 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.95E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999997340285524 max_dual_value = -0.9903340079941736 duality_gap = -0.00976006676167343 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 10 │ 0 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.77E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999997340285525 max_dual_value = -0.9903340079941736 duality_gap = -0.009760066761673543 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 0 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.88E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999997340285525 max_dual_value = -0.9903340079941736 duality_gap = -0.009760066761673543 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 12 │ 0 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.44E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999997340285525 max_dual_value = -0.9903340079941736 duality_gap = -0.009760066761673543 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 13 │ 1 │ 9 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.22E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000007356409932 max_dual_value = -0.9903340079941736 duality_gap = -0.0097610781501876 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 14 │ 1 │ 10 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 6.10E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.00000019240236 max_dual_value = -0.9903340079941736 duality_gap = -0.009760529609363187 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 15 │ 0 │ 10 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.05E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000001924023603 max_dual_value = -0.9903340079941736 duality_gap = -0.009760529609363413 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 16 │ 1 │ 11 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.53E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.999999788858731 max_dual_value = -0.9903340079941736 duality_gap = -0.00976012212701298 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 17 │ 1 │ 12 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.63E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999334964951 max_dual_value = -0.9903340079941736 duality_gap = -0.009760268176490158 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 18 │ 0 │ 12 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.81E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999334964951 max_dual_value = -0.9903340079941736 duality_gap = -0.009760268176490158 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 19 │ 1 │ 13 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.91E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000731045702 max_dual_value = -0.9903340079941736 duality_gap = -0.009760409147186885 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 20 │ 1 │ 14 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.54E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000158998317 max_dual_value = -0.9903340079941736 duality_gap = -0.009760351384110954 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 21 │ 0 │ 14 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.77E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000158998317 max_dual_value = -0.9903340079941736 duality_gap = -0.009760351384110954 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 22 │ 1 │ 15 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.38E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999793295435 max_dual_value = -0.9903340079941736 duality_gap = -0.009760314456884547 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 23 │ 1 │ 16 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.19E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999997299848 max_dual_value = -0.9903340079941736 duality_gap = -0.00976033505644092 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 23 │ -1 │ 16 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.19E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted ========================================================================================================================= End of SDPLRPlus.jl ========================================================================================================================= Test Summary: | Pass Total Time Max Cut | 3 3 1m31.0s [ Info: Minimum Bisection SDP is formed. ========================================================================================================================= SDPLRPlus.jl: a julia implementation of SDPLR with objval gap bound ========================================================================================================================= [ Info: Finish classifying constraints. ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 1 │ 1 │ 1 │ 1.77E+00 │ 6.85E-03 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 2 │ 5 │ 6 │ 9.38E-01 │ 8.75E-01 │ 4.00E+00 │ 2.50E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.8749978834427049 max_dual_value = 0.7655175649220411 duality_gap = 0.1430147700553586 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 3 │ 1 │ 7 │ 1.00E+00 │ 1.00E+00 │ 4.00E+00 │ 6.25E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.0000245170231072 max_dual_value = 0.7738141891975395 duality_gap = 0.2923315842271544 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 4 │ 1 │ 8 │ 1.00E+00 │ 1.00E+00 │ 4.00E+00 │ 1.56E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999658097276217 max_dual_value = 0.7738141891975395 duality_gap = 0.2922557167950175 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 5 │ 1 │ 9 │ 1.00E+00 │ 1.00E+00 │ 4.00E+00 │ 3.91E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.0000103142421952 max_dual_value = 0.7738141891975395 duality_gap = 0.2923132299747896 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 6 │ 0 │ 9 │ 1.00E+00 │ 1.00E+00 │ 4.00E+00 │ 9.77E-04 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.000010314242195 max_dual_value = 0.9991204114302654 duality_gap = 0.0008906862493737461 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 7 │ 1 │ 10 │ 1.00E+00 │ 1.00E+00 │ 4.00E+00 │ 2.44E-04 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999857469292743 max_dual_value = 0.9991204114302654 duality_gap = 0.0008660973083015723 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 8 │ 1 │ 11 │ 1.00E+00 │ 1.00E+00 │ 4.00E+00 │ 6.10E-05 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.000002195668502 max_dual_value = 0.9991204114302654 duality_gap = 0.0008825605283893529 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 9 │ 1 │ 12 │ 1.00E+00 │ 1.00E+00 │ 4.00E+00 │ 1.53E-05 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999991343110343 max_dual_value = 0.9991204114302654 duality_gap = 0.0008794964758160949 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 10 │ 1 │ 13 │ 1.00E+00 │ 1.00E+00 │ 4.00E+00 │ 3.81E-06 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0000000282786121 max_dual_value = 0.9991204114302654 duality_gap = 0.0008803912304098612 [ Info: rank doubled, newrank is 2. ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 11 │ 2 │ 15 │ 8.62E-01 │ 7.01E-01 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.7008697617522468 max_dual_value = 1.0298190919159613 duality_gap = -0.4693444461654434 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 12 │ 4 │ 19 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 2.50E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0000218673630143 max_dual_value = 1.0298190919159613 duality_gap = -0.02979657298046903 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 13 │ 0 │ 19 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.25E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0000218673630143 max_dual_value = 1.0298190919159613 duality_gap = -0.02979657298046903 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 14 │ 1 │ 20 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 6.25E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0024041701721809 max_dual_value = 1.0298190919159613 duality_gap = -0.027349169685787978 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 15 │ 2 │ 22 │ 1.00E+00 │ 9.98E-01 │ 2.00E+00 │ 3.12E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9984137207480795 max_dual_value = 1.0298190919159613 duality_gap = -0.031455268006884696 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 16 │ 1 │ 23 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.56E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0018160799477784 max_dual_value = 1.0298190919159613 duality_gap = -0.02795224845027702 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 17 │ 2 │ 25 │ 1.00E+00 │ 9.99E-01 │ 2.00E+00 │ 7.81E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9993146709846172 max_dual_value = 1.0298190919159613 duality_gap = -0.030525340833121476 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 18 │ 2 │ 27 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.91E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.000452154634662 max_dual_value = 1.0298190919159613 duality_gap = -0.029353664885676867 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 19 │ 1 │ 28 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.95E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9997468625234164 max_dual_value = 1.0298190919159613 duality_gap = -0.030079843728282353 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 20 │ 4 │ 32 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 9.77E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.000037005283379 max_dual_value = 1.0298190919159613 duality_gap = -0.029780984578808775 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 20 │ -1 │ 32 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 9.77E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted ========================================================================================================================= End of SDPLRPlus.jl ========================================================================================================================= Test Summary: | Pass Total Time Minimum Bisection | 1 1 1.9s Test Summary: | Total Time Lovasz Theta | 0 0.0s Test Summary: | Total Time Cut Norm | 0 0.0s [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. Test Summary: | Pass Total Time f!, g! and linesearch! | 252 252 19.1s [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. Test Summary: | Pass Total Time f!, g! with inequality constraints | 108 108 0.8s [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. [ Info: μ-Conductance (inequality) SDP is formed. [ Info: Finish classifying constraints. Test Summary: | Pass Total Time 𝒜t! operator | 216 216 4.1s Testing SDPLRPlus tests passed Testing completed after 148.86s PkgEval succeeded after 268.5s