Package evaluation to test SDPLRPlus on Julia 1.14.0-DEV.2114 (cccbcd9611*) started at 2026-05-05T14:11:12.790 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 10.26s ################################################################################ # 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.15.1 [ffbed154] + DocStringExtensions v0.9.5 [e2ba6199] + ExprTools v0.1.10 [9aa1b823] + FastClosures v0.3.2 [1a297f60] + FillArrays v1.16.0 [f6369f11] + ForwardDiff v1.3.3 [408c25d7] + GenericArpack v0.2.1 [92d709cd] + IrrationalConstants v0.2.6 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.5.2 [4076af6c] + JuMP v1.30.1 [0b1a1467] + KrylovKit v0.10.3 [b964fa9f] + LaTeXStrings v1.4.0 [5c8ed15e] + LinearOperators v2.13.0 [2ab3a3ac] + LogExpFunctions v0.3.29 [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.0 [d8a4904e] + MutableArithmetics v1.7.1 [a4795742] + NLPModels v0.21.12 [792afdf1] + NLPModelsJuMP v0.13.5 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [65ce6f38] + PackageExtensionCompat v1.0.2 [d96e819e] + Parameters v0.12.3 [69de0a69] + Parsers v2.8.4 [3a141323] + PolynomialRoots v1.0.0 [f27b6e38] + Polynomials v4.1.1 [aea7be01] + PrecompileTools v1.3.3 [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.7.2 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [892a3eda] + StringManipulation v0.4.4 [ec057cc2] + StructUtils v2.8.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [a759f4b9] + TimerOutputs v0.5.29 [3bb67fe8] + TranscodingStreams v0.11.3 [3a884ed6] + UnPack v1.0.2 [c4a57d5a] + UnsafeArrays v1.0.9 [409d34a3] + VectorInterface v0.5.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.0.0+1 [0dad84c5] + ArgTools v1.1.2 [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.13.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.0.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.1+0 [deac9b47] + LibCURL_jll v8.19.0+0 [e37daf67] + LibGit2_jll v1.9.2+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2026.3.19 [4536629a] + OpenBLAS_jll v0.3.33+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.6+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 Installation completed after 4.31s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 2.2 s ✓ SolverCore 2.7 s ✓ NLPModels 1.7 s ✓ SolverCore → SolverCoreNLPModelsExt 11.7 s ✓ NLPModelsJuMP 7.8 s ✓ LowRankOpt 13.2 s ✓ SDPLRPlus 6 dependencies successfully precompiled in 41 seconds. 114 already precompiled. Precompilation completed after 63.78s ################################################################################ # Testing # Testing SDPLRPlus Status `/tmp/jl_dGoFjs/Project.toml` [6a86dc24] FiniteDiff v2.31.0 [d05aeea4] LuxurySparse v0.8.1 [9040bce9] SDPLRPlus v0.2.0 [37e2e46d] LinearAlgebra v1.13.0 [9a3f8284] Random v1.11.0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_dGoFjs/Manifest.toml` [79e6a3ab] Adapt v4.5.2 [4fba245c] ArrayInterface v7.24.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.15.1 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.10 [9aa1b823] FastClosures v0.3.2 [1a297f60] FillArrays v1.16.0 [6a86dc24] FiniteDiff v2.31.0 [f6369f11] ForwardDiff v1.3.3 [408c25d7] GenericArpack v0.2.1 [92d709cd] IrrationalConstants v0.2.6 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.5.2 [4076af6c] JuMP v1.30.1 [0b1a1467] KrylovKit v0.10.3 [b964fa9f] LaTeXStrings v1.4.0 [5c8ed15e] LinearOperators v2.13.0 [2ab3a3ac] LogExpFunctions v0.3.29 [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.0 [d8a4904e] MutableArithmetics v1.7.1 [a4795742] NLPModels v0.21.12 [792afdf1] NLPModelsJuMP v0.13.5 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [65ce6f38] PackageExtensionCompat v1.0.2 [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.4 [3a141323] PolynomialRoots v1.0.0 [f27b6e38] Polynomials v4.1.1 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [08abe8d2] PrettyTables v3.3.2 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [9040bce9] SDPLRPlus v0.2.0 [efcf1570] Setfield v1.1.2 [ff4d7338] SolverCore v0.3.10 [276daf66] SpecialFunctions v2.7.2 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [892a3eda] StringManipulation v0.4.4 [ec057cc2] StructUtils v2.8.1 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [a759f4b9] TimerOutputs v0.5.29 [3bb67fe8] TranscodingStreams v0.11.3 [3a884ed6] UnPack v1.0.2 [c4a57d5a] UnsafeArrays v1.0.9 [409d34a3] VectorInterface v0.5.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.0.0+1 [0dad84c5] ArgTools v1.1.2 [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.13.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.0.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.1+0 [deac9b47] LibCURL_jll v8.19.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2026.3.19 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.6+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 Testing Running tests... Test Summary: | Pass Total Time SymLowRankMatrix tests | 200 200 3.8s [ 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 │ 5 │ 5 │ 1.35E-05 │ -8.18E-08 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -8.184498646369477e-8 max_dual_value = -0.450535211248547 duality_gap = 5.504737050734455e6 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 2 │ 0 │ 5 │ 4.07E-05 │ -8.18E-08 │ 2.00E+00 │ 2.50E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -8.184498662133777e-8 max_dual_value = -0.450535211248547 duality_gap = 5.504737040131687e6 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 3 │ 0 │ 5 │ 6.78E-05 │ -8.18E-08 │ 2.00E+00 │ 1.25E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -8.184498662133777e-8 max_dual_value = -0.450535211248547 duality_gap = 5.504737040131687e6 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 1 │ 6 │ -1.23E-04 │ -6.94E-07 │ 2.00E+00 │ 6.25E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -6.943544338812563e-7 max_dual_value = -0.43699882314048594 duality_gap = 629358.8799359269 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 5 │ 1 │ 7 │ 6.09E-08 │ -1.85E-08 │ 2.00E+00 │ 3.12E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -1.847075661617308e-8 max_dual_value = -0.42846303091236615 duality_gap = 2.3196830608793e7 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 6 │ 0 │ 7 │ 3.89E-07 │ -1.85E-08 │ 2.00E+00 │ 1.56E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -1.8470756618649276e-8 max_dual_value = -0.006438242596877112 duality_gap = 348563.0967396346 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ 1 │ 8 │ -5.66E-07 │ -7.43E-08 │ 2.00E+00 │ 7.81E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -7.428645835327635e-8 max_dual_value = -0.006438242596877112 duality_gap = 86666.78225258006 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 8 │ 1 │ 9 │ -8.63E-09 │ -9.01E-10 │ 2.00E+00 │ 3.91E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -9.013496623184455e-10 max_dual_value = -0.006438242596877112 duality_gap = 7.142890228601238e6 ┌─────────┬───┬───────┬─────────┬──────────┬───────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼───────────┼──────────┼──────────┼── │ │ 9 │ 0 │ 9 │ 1.59E-08 │ -9.01E-10 │ 2.00E+00 │ 1.95E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -9.013496338194926e-10 max_dual_value = -0.005468783541942415 duality_gap = 6.067326634858298e6 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 10 │ 1 │ 10 │ -1.85E-08 │ -8.84E-10 │ 2.00E+00 │ 9.77E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -8.836869717505363e-10 max_dual_value = -0.005468783541942415 duality_gap = 6.188597131201425e6 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 1 │ 11 │ -3.94E-11 │ -1.03E-11 │ 2.00E+00 │ 4.88E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.026260548047349e-11 max_dual_value = -0.005468783541942415 duality_gap = 5.3288451378991264e8 ┌─────────┬────┬───────┬─────────┬──────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼───────────┼──────────┼──────────── │ │ 12 │ 0 │ 11 │ 5.52E-10 │ -1.03E-11 │ 2.00E+00 │ 2.44E-04 ⋯ └─────────┴────┴───────┴─────────┴──────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.026262408387879e-11 max_dual_value = -0.005468783541942415 duality_gap = 5.328835478121544e8 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 13 │ 1 │ 12 │ -6.80E-10 │ -3.71E-11 │ 2.00E+00 │ 1.22E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -3.709241434840556e-11 max_dual_value = -0.005468783541942415 duality_gap = 1.474367091201514e8 ┌─────────┬────┬───────┬─────────┬──────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼───────────┼──────────┼──────────── │ │ 14 │ 1 │ 13 │ 3.85E-13 │ -2.66E-13 │ 2.00E+00 │ 6.10E-05 ⋯ └─────────┴────┴───────┴─────────┴──────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -2.662367735536287e-13 max_dual_value = -0.005468783541942415 duality_gap = 2.0541052495043808e10 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 15 │ 1 │ 14 │ -3.39E-12 │ -2.74E-13 │ 2.00E+00 │ 3.05E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -2.738343804137906e-13 max_dual_value = -0.005468783541942415 duality_gap = 1.9971135594459366e10 ┌─────────┬────┬───────┬─────────┬──────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼───────────┼──────────┼──────────── │ │ 16 │ 0 │ 14 │ 3.42E-12 │ -2.74E-13 │ 2.00E+00 │ 1.53E-05 ⋯ └─────────┴────┴───────┴─────────┴──────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -2.737809978725636e-13 max_dual_value = -0.005468783541942415 duality_gap = 1.9975029619163635e10 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 17 │ 1 │ 15 │ -3.97E-12 │ -2.70E-13 │ 2.00E+00 │ 7.63E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -2.6978788237328173e-13 max_dual_value = -0.005468783541942415 duality_gap = 2.0270678925845726e10 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 18 │ 1 │ 16 │ -1.43E-14 │ -1.03E-15 │ 2.00E+00 │ 3.81E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0250812575165541e-15 max_dual_value = -0.005468783541942415 duality_gap = 5.334975643970424e12 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 19 │ 1 │ 17 │ -2.21E-14 │ -1.58E-15 │ 2.00E+00 │ 1.91E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.5764265037038886e-15 max_dual_value = -0.005468783541942415 duality_gap = 3.4691014957511016e12 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 20 │ 1 │ 18 │ -5.91E-17 │ -2.31E-17 │ 2.00E+00 │ 9.54E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -2.3127779229644044e-17 max_dual_value = -0.005468783541942415 duality_gap = 2.3645951855735353e14 ┌─────────┬────┬───────┬─────────┬──────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼───────────┼──────────┼──────────── │ │ 21 │ 0 │ 18 │ 9.05E-16 │ -2.78E-17 │ 2.00E+00 │ 4.77E-07 ⋯ └─────────┴────┴───────┴─────────┴──────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -2.7755575615628914e-17 max_dual_value = -0.005468783541942415 duality_gap = 1.970336921732931e14 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 22 │ 1 │ 19 │ -1.11E-15 │ -6.91E-17 │ 2.00E+00 │ 2.38E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -6.908111837851174e-17 max_dual_value = -0.005468783541942415 duality_gap = 7.91646642426602e13 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 23 │ 1 │ 20 │ 1.02E-17 │ 1.01E-17 │ 2.00E+00 │ 1.19E-07 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.012803176888412e-17 max_dual_value = -0.005468783541942415 duality_gap = 5.3996508568860475e14 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 24 │ 0 │ 20 │ 3.11E-17 │ 0.00E+00 │ 2.00E+00 │ 5.96E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.005468783541942415 duality_gap = Inf ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 25 │ 1 │ 21 │ -3.76E-17 │ -1.25E-18 │ 2.00E+00 │ 2.98E-08 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.2452321942771777e-18 max_dual_value = -0.005468783541942415 duality_gap = 4.3917781495497625e15 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 26 │ 1 │ 22 │ 1.64E-18 │ 1.58E-18 │ 2.00E+00 │ 1.49E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.57782117082271e-18 max_dual_value = -0.005468783541942415 duality_gap = 3.4660350888122985e15 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 27 │ 0 │ 22 │ 7.86E-19 │ 0.00E+00 │ 2.00E+00 │ 1.00E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.005468783541942415 duality_gap = Inf [ Info: rank doubled, newrank is 2. ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 28 │ 5 │ 27 │ -1.12E+00 │ -1.27E+00 │ 2.00E+00 │ 5.00E-01 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.2711677024860715 max_dual_value = -1.089374400527059 duality_gap = -0.16687862489797603 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 29 │ 1 │ 28 │ -1.00E+00 │ -9.77E-01 │ 2.00E+00 │ 2.50E-01 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.976588115641519 max_dual_value = -0.9985316100180835 duality_gap = 0.022469548855967664 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 30 │ 1 │ 29 │ -9.99E-01 │ -1.00E+00 │ 2.00E+00 │ 1.25E-01 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0012958278821609 max_dual_value = -0.9985316100180835 duality_gap = -0.002768282782782673 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 31 │ 2 │ 31 │ -1.00E+00 │ -9.98E-01 │ 2.00E+00 │ 6.25E-02 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9982884793422819 max_dual_value = -0.9985316100180835 duality_gap = 0.00024354751240022603 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 32 │ 0 │ 31 │ -1.00E+00 │ -9.98E-01 │ 2.00E+00 │ 3.12E-02 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9982884793422818 max_dual_value = -0.99217468847394 duality_gap = -0.006162010520289979 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 33 │ 1 │ 32 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.56E-02 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.001854649417054 max_dual_value = -0.99217468847394 duality_gap = -0.009756307085401135 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 34 │ 1 │ 33 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.81E-03 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0001966304857601 max_dual_value = -0.99217468847394 duality_gap = -0.008085211309067638 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 35 │ 1 │ 34 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.91E-03 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999112815656402 max_dual_value = -0.99217468847394 duality_gap = -0.007797611833456361 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 36 │ 0 │ 34 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.95E-03 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999112815656401 max_dual_value = -0.99217468847394 duality_gap = -0.007797611833456249 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 37 │ 1 │ 35 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.77E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000727323711824 max_dual_value = -0.99217468847394 duality_gap = -0.007960336006344224 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 38 │ 1 │ 36 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.88E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000109712545318 max_dual_value = -0.99217468847394 duality_gap = -0.00789808777791413 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 39 │ 2 │ 38 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.44E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.999990112824854 max_dual_value = -0.99217468847394 duality_gap = -0.007877064837175854 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 40 │ 1 │ 39 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.22E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000079562706463 max_dual_value = -0.99217468847394 duality_gap = -0.007895049014760357 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 41 │ 1 │ 40 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 6.10E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000001876159523 max_dual_value = -0.99217468847394 duality_gap = -0.007887219088453797 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 42 │ 0 │ 40 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.05E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000001876159526 max_dual_value = -0.99217468847394 duality_gap = -0.007887219088454021 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 43 │ 0 │ 40 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.53E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000001876159526 max_dual_value = -0.99217468847394 duality_gap = -0.007887219088454021 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 44 │ 1 │ 41 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.63E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999993436485747 max_dual_value = -0.99217468847394 duality_gap = -0.007886368464680127 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 45 │ 1 │ 42 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.81E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000001661029163 max_dual_value = -0.99217468847394 duality_gap = -0.007887197405743819 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 46 │ 2 │ 44 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.91E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999025068483 max_dual_value = -0.99217468847394 duality_gap = -0.007886931730685751 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 47 │ 1 │ 45 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.54E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000152787798 max_dual_value = -0.99217468847394 duality_gap = -0.007887045392052816 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 48 │ 1 │ 46 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.77E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000074739626 max_dual_value = -0.99217468847394 duality_gap = -0.007887037525678752 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 48 │ -1 │ 46 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.77E-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 │ 7 │ 7 │ 1.76E-07 │ -4.39E-09 │ 1.00E+01 │ 1.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -4.386793941550563e-9 max_dual_value = -0.4554541001943713 duality_gap = 1.0382390918653268e8 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 2 │ 1 │ 8 │ -1.85E-07 │ -4.60E-09 │ 1.00E+01 │ 1.00E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -4.600372348413972e-9 max_dual_value = -0.4554541001943713 duality_gap = 9.900374602308477e7 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 1 │ 9 │ -1.14E-10 │ -2.47E-12 │ 1.00E+01 │ 1.00E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -2.4722631372450446e-12 max_dual_value = -0.4554541001943713 duality_gap = 1.842255758824412e11 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 1 │ 10 │ -3.83E-12 │ -1.24E-15 │ 1.00E+01 │ 1.00E-04 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.2412743085440868e-15 max_dual_value = -0.4372318040386003 duality_gap = 3.522443033171582e14 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 11 │ -2.42E-14 │ -2.18E-16 │ 1.00E+01 │ 1.00E-05 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -2.1753605532776885e-16 max_dual_value = -0.4293075270859116 duality_gap = 1.9735005603510615e15 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 6 │ 1 │ 12 │ 2.90E-17 │ 5.55E-17 │ 1.00E+01 │ 1.00E-06 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 5.552171711811855e-17 max_dual_value = -0.006135200485763996 duality_gap = 1.1050091395249617e14 ┌─────────┬───┬───────┬─────────┬───────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼──────────┼──────────┼──────────┼── │ │ 7 │ 1 │ 13 │ -2.53E-18 │ 1.16E-18 │ 1.00E+01 │ 1.00E-07 │ ⋯ └─────────┴───┴───────┴─────────┴───────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.1569931857085416e-18 max_dual_value = -0.006135200485763996 duality_gap = 5.302710993934511e15 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 8 │ 1 │ 14 │ 6.18E-20 │ 6.65E-20 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 6.650547675687988e-20 max_dual_value = -0.006135200485763996 duality_gap = 9.225105637829024e16 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 9 │ 0 │ 14 │ 1.18E-20 │ 0.00E+00 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.005433424873993335 duality_gap = Inf ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 10 │ 0 │ 14 │ 2.82E-20 │ 0.00E+00 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.005433424873993335 duality_gap = Inf [ Info: rank doubled, newrank is 2. ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 22 │ 36 │ -1.02E+00 │ -1.05E+00 │ 1.00E+01 │ 1.00E-01 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.049425781957368 max_dual_value = -0.989152946470829 duality_gap = -0.06093378754173944 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 12 │ 3 │ 39 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-02 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0005719905477808 max_dual_value = -0.989152946470829 duality_gap = -0.01154426534106127 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 13 │ 1 │ 40 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-03 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999749350123311 max_dual_value = -0.989152946470829 duality_gap = -0.01094066249321063 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 14 │ 1 │ 41 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999953757402184 max_dual_value = -0.989152946470829 duality_gap = -0.010961327374167752 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 15 │ 1 │ 42 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999324859111 max_dual_value = -0.989152946470829 duality_gap = -0.010965934089144471 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 16 │ 2 │ 44 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000795782975 max_dual_value = -0.989152946470829 duality_gap = -0.010966082794546307 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 17 │ 1 │ 45 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999995158496 max_dual_value = -0.989152946470829 duality_gap = -0.010966001854133423 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 18 │ 1 │ 46 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-08 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999997147406 max_dual_value = -0.989152946470829 duality_gap = -0.010966002055205478 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 18 │ -1 │ 46 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-08 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 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 │ 5 │ 5 │ -1.12E+00 │ -1.25E+00 │ 2.00E+00 │ 5.00E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.2499749869176995 max_dual_value = -0.999900653324403 duality_gap = -0.25009918011541044 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 2 │ 1 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.50E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000270008351855 max_dual_value = -0.999900653324403 duality_gap = -0.00012636006423475294 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 0 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.25E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000270008351855 max_dual_value = -0.999900653324403 duality_gap = -0.00012636006423475294 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 0 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 6.25E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000270008351855 max_dual_value = -0.999900653324403 duality_gap = -0.00012636006423475294 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 7 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.12E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999502441233168 max_dual_value = -0.999900653324403 duality_gap = -4.959572608426702e-5 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 1 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.56E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999841800822498 max_dual_value = -0.999900653324403 duality_gap = -8.353505677691683e-5 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ 0 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.81E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999841800822495 max_dual_value = -0.999900653324403 duality_gap = -8.353505677669477e-5 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 8 │ 1 │ 9 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.91E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000187826591653 max_dual_value = -0.999900653324403 duality_gap = -0.00011814107168501919 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 9 │ 1 │ 10 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.95E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.000005927180557 max_dual_value = -0.999900653324403 duality_gap = -0.00010528431580076518 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 10 │ 0 │ 10 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.77E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000059271805573 max_dual_value = -0.999900653324403 duality_gap = -0.00010528431580098724 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 0 │ 10 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.88E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000059271805573 max_dual_value = -0.999900653324403 duality_gap = -0.00010528431580098724 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 12 │ 1 │ 11 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.44E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999885386311556 max_dual_value = -0.999900653324403 duality_gap = -8.789403873307496e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 13 │ 1 │ 12 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.22E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999970436239539 max_dual_value = -0.999900653324403 duality_gap = -9.639987655814986e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 14 │ 0 │ 12 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 6.10E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.999997043623954 max_dual_value = -0.999900653324403 duality_gap = -9.63998765582609e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 15 │ 1 │ 13 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.05E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000036173045563 max_dual_value = -0.999900653324403 duality_gap = -0.00010297421029876874 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 16 │ 1 │ 14 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.53E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.000000492548815 max_dual_value = -0.999900653324403 duality_gap = -9.984914409256176e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 17 │ 1 │ 15 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.63E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999998607629155 max_dual_value = -0.999900653324403 duality_gap = -9.921729542090041e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 18 │ 0 │ 15 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.81E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999998607629155 max_dual_value = -0.999900653324403 duality_gap = -9.921729542090041e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 19 │ 1 │ 16 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.91E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.000000093311745 max_dual_value = -0.999900653324403 duality_gap = -9.944986735567525e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 20 │ 1 │ 17 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.54E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000275826517 max_dual_value = -0.999900653324403 duality_gap = -9.938413173178026e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 21 │ 0 │ 17 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.77E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000275826517 max_dual_value = -0.999900653324403 duality_gap = -9.938413173178026e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 22 │ 1 │ 18 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.38E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999653764331 max_dual_value = -0.999900653324403 duality_gap = -9.932191933256459e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 23 │ 1 │ 19 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.19E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999997751575 max_dual_value = -0.999900653324403 duality_gap = -9.935632147472751e-5 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 23 │ -1 │ 19 │ -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 1m07.6s [ 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 │ 4 │ 4 │ 8.76E-01 │ 7.38E-01 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.7378322092508913 max_dual_value = 0.39836153481575165 duality_gap = 0.8521673022274856 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 2 │ 1 │ 5 │ 9.99E-01 │ 1.01E+00 │ 2.00E+00 │ 2.50E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.0126517601022962 max_dual_value = 0.8682955432049511 duality_gap = 0.16625239876795211 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 3 │ 1 │ 6 │ 1.00E+00 │ 9.99E-01 │ 2.00E+00 │ 1.25E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.99939621340604 max_dual_value = 0.99316700154895 duality_gap = 0.006272068894128481 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 4 │ 1 │ 7 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 6.25E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.0000765546356247 max_dual_value = 0.99316700154895 duality_gap = 0.006957090877867015 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 5 │ 0 │ 7 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.12E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.0000765546356247 max_dual_value = 0.99316700154895 duality_gap = 0.006957090877867015 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 6 │ 1 │ 8 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.56E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9998414107942373 max_dual_value = 0.99316700154895 duality_gap = 0.006720329244606223 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 7 │ 1 │ 9 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 7.81E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.000054679570662 max_dual_value = 0.99316700154895 duality_gap = 0.0069350653122484986 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 8 │ 0 │ 9 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.91E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.000054679570662 max_dual_value = 0.99316700154895 duality_gap = 0.0069350653122484986 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 9 │ 1 │ 10 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.95E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999040246860932 max_dual_value = 0.99316700154895 duality_gap = 0.006783373920635792 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 10 │ 1 │ 11 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 9.77E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.000029056758149 max_dual_value = 0.99316700154895 duality_gap = 0.0069092662145407635 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 11 │ 1 │ 12 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 4.88E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999871443378866 max_dual_value = 0.99316700154895 duality_gap = 0.0068670654364269765 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 12 │ 0 │ 12 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 2.44E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999871443378867 max_dual_value = 0.9945971348051763 duality_gap = 0.005419289221827701 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 13 │ 1 │ 13 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.22E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0000140111261502 max_dual_value = 0.9945971348051763 duality_gap = 0.005446301956253817 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 14 │ 1 │ 14 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 6.10E-05 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999989730986492 max_dual_value = 0.9945971348051763 duality_gap = 0.005431182238958463 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 15 │ 0 │ 14 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.05E-05 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999989730986492 max_dual_value = 0.9945971348051763 duality_gap = 0.005431182238958463 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 16 │ 1 │ 15 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.53E-05 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0000015421289787 max_dual_value = 0.9945971348051763 duality_gap = 0.005433765224812412 [ Info: rank doubled, newrank is 2. ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 17 │ 3 │ 18 │ 8.62E-01 │ 7.42E-01 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.7417000577432036 max_dual_value = 0.6401217734582946 duality_gap = 0.15868587587034652 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 18 │ 1 │ 19 │ 1.00E+00 │ 9.63E-01 │ 2.00E+00 │ 2.50E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9626021205755505 max_dual_value = 1.0024320068494874 duality_gap = -0.04137730992128106 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 19 │ 2 │ 21 │ 1.00E+00 │ 9.94E-01 │ 2.00E+00 │ 1.25E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9942883025630364 max_dual_value = 1.023250176714263 duality_gap = -0.029128245878554428 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 20 │ 1 │ 22 │ 1.00E+00 │ 1.01E+00 │ 2.00E+00 │ 6.25E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0064120112557156 max_dual_value = 1.023250176714263 duality_gap = -0.016730886823914395 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 21 │ 2 │ 24 │ 1.00E+00 │ 9.97E-01 │ 2.00E+00 │ 3.12E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9971598850276494 max_dual_value = 1.023250176714263 duality_gap = -0.02616460216496791 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 22 │ 2 │ 26 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.56E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.001527917440821 max_dual_value = 1.023250176714263 duality_gap = -0.021689120088582665 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 23 │ 1 │ 27 │ 1.00E+00 │ 9.99E-01 │ 2.00E+00 │ 7.81E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9989463414204546 max_dual_value = 1.023250176714263 duality_gap = -0.024329470248871936 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 24 │ 3 │ 30 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.91E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0000564966226164 max_dual_value = 1.023250176714263 duality_gap = -0.02319236980108234 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 25 │ 1 │ 31 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.95E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0000749383179939 max_dual_value = 1.023250176714263 duality_gap = -0.02317350181302122 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 26 │ 2 │ 33 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 9.77E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999602338124866 max_dual_value = 1.023250176714263 duality_gap = -0.023290869090844057 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 26 │ -1 │ 33 │ 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.8s 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 18.9s [ 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.7s [ 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.6s Testing SDPLRPlus tests passed Testing completed after 117.46s PkgEval succeeded after 208.56s