Package evaluation to test SDPLRPlus on Julia 1.14.0-DEV.1871 (50d44f5be7*) started at 2026-03-08T20:25:13.015 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 13.38s ################################################################################ # 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` [6e4b80f9] + BenchmarkTools v1.6.3 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.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.2 [408c25d7] + GenericArpack v0.2.1 [92d709cd] + IrrationalConstants v0.2.6 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.4.0 [4076af6c] + JuMP v1.30.0 ⌅ [0b1a1467] + KrylovKit v0.9.5 [b964fa9f] + LaTeXStrings v1.4.0 [5c8ed15e] + LinearOperators v2.13.0 [2ab3a3ac] + LogExpFunctions v0.3.29 [607ca3ad] + LowRankOpt v0.2.1 [d05aeea4] + LuxurySparse v0.8.1 [33e6dc65] + MKL v0.9.1 [0c723cd3] + MKLSparse v3.0.0 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.49.0 [d8a4904e] + MutableArithmetics v1.6.7 [a4795742] + NLPModels v0.21.11 [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.3 [3a141323] + PolynomialRoots v1.0.0 [f27b6e38] + Polynomials v4.1.1 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.2 [08abe8d2] + PrettyTables v3.2.3 [189a3867] + Reexport v1.2.2 [9040bce9] + SDPLRPlus v0.2.0 [efcf1570] + Setfield v1.1.2 [ff4d7338] + SolverCore v0.3.10 [276daf66] + SpecialFunctions v2.7.1 [90137ffa] + StaticArrays v1.9.17 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [892a3eda] + StringManipulation v0.4.4 [ec057cc2] + StructUtils v2.6.3 [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.8 [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 [9abbd945] + Profile v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.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.3.0+1 [deac9b47] + LibCURL_jll v8.18.0+0 [e37daf67] + LibGit2_jll v1.9.2+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.12.2 [4536629a] + OpenBLAS_jll v0.3.30+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.5+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.68.0+1 [3f19e933] + p7zip_jll v17.7.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.81s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 647823.4 ms ✓ MKLSparse 21153.5 ms ✓ SDPLRPlus 2 dependencies successfully precompiled in 672 seconds. 125 already precompiled. Precompilation completed after 694.26s ################################################################################ # Testing # Testing SDPLRPlus Status `/tmp/jl_3Huu17/Project.toml` [6a86dc24] FiniteDiff v2.29.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_3Huu17/Manifest.toml` [79e6a3ab] Adapt v4.5.0 [4fba245c] ArrayInterface v7.23.0 [6e4b80f9] BenchmarkTools v1.6.3 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.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.29.0 [f6369f11] ForwardDiff v1.3.2 [408c25d7] GenericArpack v0.2.1 [92d709cd] IrrationalConstants v0.2.6 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.4.0 [4076af6c] JuMP v1.30.0 ⌅ [0b1a1467] KrylovKit v0.9.5 [b964fa9f] LaTeXStrings v1.4.0 [5c8ed15e] LinearOperators v2.13.0 [2ab3a3ac] LogExpFunctions v0.3.29 [607ca3ad] LowRankOpt v0.2.1 [d05aeea4] LuxurySparse v0.8.1 [33e6dc65] MKL v0.9.1 [0c723cd3] MKLSparse v3.0.0 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.49.0 [d8a4904e] MutableArithmetics v1.6.7 [a4795742] NLPModels v0.21.11 [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.3 [3a141323] PolynomialRoots v1.0.0 [f27b6e38] Polynomials v4.1.1 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [08abe8d2] PrettyTables v3.2.3 [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.1 [90137ffa] StaticArrays v1.9.17 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [892a3eda] StringManipulation v0.4.4 [ec057cc2] StructUtils v2.6.3 [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.8 [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 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.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.3.0+1 [deac9b47] LibCURL_jll v8.18.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.12.2 [4536629a] OpenBLAS_jll v0.3.30+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.5+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.68.0+1 [3f19e933] p7zip_jll v17.7.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.4s [ 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 │ 1 │ 1 │ 7.62E-01 │ -1.99E-01 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -0.1987878512661928 max_dual_value = 0.8111852932872288 duality_gap = -5.0806582903347905 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 2 │ 3 │ 4 │ -1.02E+00 │ -6.76E-02 │ 2.00E+00 │ 2.50E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 4 │ 8 │ -1.75E+00 │ -1.33E+00 │ 4.00E+00 │ 2.50E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.3300825411422441 max_dual_value = 0.8111852932872288 duality_gap = -2.639677829651285 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 2 │ 10 │ -1.00E+00 │ -9.98E-01 │ 4.00E+00 │ 6.25E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9978727644792549 max_dual_value = 0.8111852932872288 duality_gap = -2.2301415875471533 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 11 │ -1.00E+00 │ -1.00E+00 │ 4.00E+00 │ 1.56E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.000145550534276 max_dual_value = 0.8111852932872288 duality_gap = -2.2329433963001337 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 1 │ 12 │ -1.00E+00 │ -1.00E+00 │ 4.00E+00 │ 3.91E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0002505162323172 max_dual_value = 0.8111852932872288 duality_gap = -2.233072794230434 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ 1 │ 13 │ -1.00E+00 │ -1.00E+00 │ 4.00E+00 │ 9.77E-04 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000097086754018 max_dual_value = 0.8111852932872288 duality_gap = -2.2327759353513246 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 8 │ 1 │ 14 │ -1.00E+00 │ -1.00E+00 │ 4.00E+00 │ 2.44E-04 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999976377708917 max_dual_value = 0.8111852932872288 duality_gap = -2.232761054775197 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 9 │ 1 │ 15 │ -1.00E+00 │ -1.00E+00 │ 4.00E+00 │ 6.10E-05 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999998179824653 max_dual_value = 0.8111852932872288 duality_gap = -2.232763742461465 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 10 │ 0 │ 15 │ -1.00E+00 │ -1.00E+00 │ 4.00E+00 │ 1.53E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999998179824652 max_dual_value = 0.8111852932872288 duality_gap = -2.232763742461465 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 1 │ 16 │ -1.00E+00 │ -1.00E+00 │ 4.00E+00 │ 3.81E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.000000297777259 max_dual_value = 0.8111852932872288 duality_gap = -2.232764333935198 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 12 │ 1 │ 17 │ -1.00E+00 │ -1.00E+00 │ 4.00E+00 │ 9.54E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000020186686 max_dual_value = 0.8111852932872288 duality_gap = -2.2327639693346653 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 12 │ -1 │ 17 │ -1.00E+00 │ -1.00E+00 │ 4.00E+00 │ 9.54E-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 │ 5 │ 5 │ 1.37E-05 │ -2.89E-07 │ 1.00E+01 │ 1.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴───────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = -2.8936749884633307e-7 max_dual_value = -0.03168459669740765 duality_gap = 109495.04507669181 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 2 │ 1 │ 6 │ -1.43E-05 │ -2.99E-07 │ 1.00E+01 │ 1.00E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -2.990759446948795e-7 max_dual_value = -0.03168459669740765 duality_gap = 105940.6421127838 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 1 │ 7 │ -6.34E-09 │ -3.89E-11 │ 1.00E+01 │ 1.00E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -3.89401633337986e-11 max_dual_value = -0.03168459669740765 duality_gap = 8.136739537239292e8 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 1 │ 8 │ -1.34E-09 │ -6.70E-12 │ 1.00E+01 │ 1.00E-04 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -6.699017839139649e-12 max_dual_value = -0.03168459669740765 duality_gap = 4.729737619981896e9 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 9 │ -8.25E-13 │ -1.05E-14 │ 1.00E+01 │ 1.00E-05 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0469757292060684e-14 max_dual_value = -0.03168459669740765 duality_gap = 3.0262971541302017e12 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 1 │ 10 │ -1.36E-13 │ -2.84E-15 │ 1.00E+01 │ 1.00E-06 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -2.840158992593125e-15 max_dual_value = -0.03168459669740765 duality_gap = 1.1155923587389066e13 ┌─────────┬───┬───────┬─────────┬───────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼──────────┼──────────┼──────────┼── │ │ 7 │ 1 │ 11 │ -1.78E-16 │ 4.78E-18 │ 1.00E+01 │ 1.00E-07 │ ⋯ └─────────┴───┴───────┴─────────┴───────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 4.7804887331145916e-18 max_dual_value = -0.03168459669740765 duality_gap = 6.627899042607816e15 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 8 │ 1 │ 12 │ -6.73E-17 │ -5.20E-17 │ 1.00E+01 │ 1.00E-08 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -5.197823248733139e-17 max_dual_value = -0.03168459669740765 duality_gap = 6.095743387413195e14 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 9 │ 1 │ 13 │ 3.00E-20 │ 7.74E-20 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 7.741846224774287e-20 max_dual_value = -0.03168459669740765 duality_gap = 4.092640925366793e17 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 10 │ 0 │ 13 │ 3.84E-20 │ 0.00E+00 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.03168459669740765 duality_gap = Inf ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 11 │ 0 │ 13 │ 1.24E-19 │ 0.00E+00 │ 1.00E+01 │ 1.00E-08 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.0 max_dual_value = -0.03168459669740765 duality_gap = Inf ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 12 │ 1 │ 14 │ -1.65E-19 │ -1.13E-21 │ 1.00E+01 │ 1.00E-08 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.131544113591799e-21 max_dual_value = -0.03168459669740765 duality_gap = 2.8001203237965644e19 [ Info: rank doubled, newrank is 2. ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 13 │ 17 │ 31 │ -1.02E+00 │ -1.05E+00 │ 1.00E+01 │ 1.00E-01 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0501013560156263 max_dual_value = -1.0021853866365333 duality_gap = -0.04781148280350131 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 14 │ 1 │ 32 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-02 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9998842930900704 max_dual_value = -1.0000151808997615 duality_gap = 0.00013090295606760764 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 15 │ 3 │ 35 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-03 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.999999219092919 max_dual_value = -0.9999995684541347 duality_gap = 3.493614885534496e-7 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 16 │ 1 │ 36 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000012101113 max_dual_value = -0.9999995684541347 duality_gap = -4.3275616336343327e-7 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 17 │ 2 │ 38 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000380887653 max_dual_value = -0.9999995684541347 duality_gap = -4.6963483318671614e-7 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 18 │ 1 │ 39 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999822951277 max_dual_value = -0.9999995684541347 duality_gap = -4.1384117151030333e-7 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 19 │ 1 │ 40 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.999999999962227 max_dual_value = -0.9999995684541347 duality_gap = -4.3150827847350627e-7 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 19 │ -1 │ 40 │ -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 │ 1 │ 1 │ -1.12E+00 │ -1.25E+00 │ 2.00E+00 │ 5.00E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.2527047177313004 max_dual_value = -1.0108287958437605 duality_gap = -0.23928475611504607 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 2 │ 1 │ 2 │ -1.00E+00 │ -9.97E-01 │ 2.00E+00 │ 2.50E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9973226751461581 max_dual_value = -1.0001369655817753 duality_gap = 0.002821845432527412 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 0 │ 2 │ -1.00E+00 │ -9.97E-01 │ 2.00E+00 │ 1.25E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9973226751461581 max_dual_value = -0.989445135319791 duality_gap = -0.007961573153645499 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 1 │ 3 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 6.25E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0021629664113931 max_dual_value = -0.989445135319791 duality_gap = -0.012853498023911909 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 4 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.12E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0006292489070003 max_dual_value = -0.989445135319791 duality_gap = -0.011303419652060501 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 0 │ 4 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.56E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0006292489070003 max_dual_value = -0.989445135319791 duality_gap = -0.011303419652060501 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ 1 │ 5 │ -1.00E+00 │ -9.99E-01 │ 2.00E+00 │ 7.81E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9992237936399959 max_dual_value = -0.989445135319791 duality_gap = -0.00988297174966097 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 8 │ 1 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.91E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999822052323774 max_dual_value = -0.989445135319791 duality_gap = -0.010649473666046981 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 9 │ 0 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.95E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999822052323775 max_dual_value = -0.989445135319791 duality_gap = -0.010649473666047094 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 10 │ 1 │ 7 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.77E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000198272693814 max_dual_value = -0.989445135319791 duality_gap = -0.010687497034560407 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 1 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.88E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000057234011803 max_dual_value = -0.989445135319791 duality_gap = -0.010673242713933977 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -1.00000572340118 max_dual_value = -0.989445135319791 duality_gap = -0.010673242713933754 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -0.9999930813207482 max_dual_value = -0.989445135319791 duality_gap = -0.010660465774636496 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -0.9999993254803573 max_dual_value = -0.989445135319791 duality_gap = -0.010666776543557636 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -0.9999993254803572 max_dual_value = -0.989445135319791 duality_gap = -0.010666776543557523 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -1.0000008240482816 max_dual_value = -0.989445135319791 duality_gap = -0.010668291097392724 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -1.0000001385785793 max_dual_value = -0.989445135319791 duality_gap = -0.010667598315470954 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -1.0000001385785797 max_dual_value = -0.989445135319791 duality_gap = -0.010667598315471403 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -0.9999998123366451 max_dual_value = -0.989445135319791 duality_gap = -0.010667268593364605 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -0.9999999931780572 max_dual_value = -0.989445135319791 duality_gap = -0.010667451363894886 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -0.9999999931780571 max_dual_value = -0.989445135319791 duality_gap = -0.010667451363894775 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -1.000000008962328 max_dual_value = -0.989445135319791 duality_gap = -0.010667467316543715 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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[] = -1.0000000021187565 max_dual_value = -0.989445135319791 duality_gap = -0.010667460399968715 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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 1m23.4s [ 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.77E-01 │ 7.81E-01 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.7808326204177058 max_dual_value = 0.03940682180425459 duality_gap = 18.814656058698006 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 2 │ 1 │ 5 │ 9.98E-01 │ 9.69E-01 │ 2.00E+00 │ 2.50E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9691680771245375 max_dual_value = 0.03940682180425459 duality_gap = 23.593916300550287 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 3 │ 1 │ 6 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.25E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999993126514448 max_dual_value = 0.8778730245662819 duality_gap = 0.13911611892334894 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ 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[] = 0.9999993126514448 max_dual_value = 0.8980455894473429 duality_gap = 0.1135284493372371 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 5 │ 0 │ 6 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.12E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999993126514448 max_dual_value = 0.8980455894473429 duality_gap = 0.1135284493372371 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 6 │ 0 │ 6 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.56E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999993126514448 max_dual_value = 0.8980455894473429 duality_gap = 0.1135284493372371 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 7 │ 1 │ 7 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 7.81E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.0000021923963571 max_dual_value = 0.8980455894473429 duality_gap = 0.1135316560173279 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 8 │ 1 │ 8 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.91E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999987572008212 max_dual_value = 0.8980455894473429 duality_gap = 0.11352783082674038 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 9 │ 0 │ 8 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.95E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999987572008215 max_dual_value = 0.9938937425173606 duality_gap = 0.006142522507484527 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 10 │ 1 │ 9 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 9.77E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0000025392749712 max_dual_value = 0.9938937425173606 duality_gap = 0.006146327817838991 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 11 │ 1 │ 10 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 4.88E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999990921144951 max_dual_value = 0.9938937425173606 duality_gap = 0.006142859478791665 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 12 │ 0 │ 10 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 2.44E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999990921144948 max_dual_value = 0.9938937425173606 duality_gap = 0.006142859478791329 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 13 │ 1 │ 11 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.22E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0000016733109764 max_dual_value = 0.9938937425173606 duality_gap = 0.0061454565335580975 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 14 │ 1 │ 12 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 6.10E-05 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999993956299152 max_dual_value = 0.9938937425173606 duality_gap = 0.0061431648589416205 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ 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.0000004006059935 max_dual_value = 0.9938937425173606 duality_gap = 0.006144176009364702 [ Info: rank doubled, newrank is 2. ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 16 │ 1 │ 14 │ 8.71E-01 │ 7.58E-01 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.7583770411726746 max_dual_value = 0.8737011669806276 duality_gap = -0.15206700565411094 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 17 │ 1 │ 15 │ 9.93E-01 │ 9.79E-01 │ 2.00E+00 │ 2.50E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9787589121145521 max_dual_value = 0.9026721840098113 duality_gap = 0.0842905425164999 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 18 │ 1 │ 16 │ 9.97E-01 │ 9.89E-01 │ 2.00E+00 │ 1.25E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9892043511278775 max_dual_value = 0.9026721840098113 duality_gap = 0.0958622284489556 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 19 │ 0 │ 16 │ 1.00E+00 │ 9.89E-01 │ 2.00E+00 │ 6.25E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9892043511278774 max_dual_value = 0.9961515142476829 duality_gap = -0.007022980754062005 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 20 │ 4 │ 20 │ 1.00E+00 │ 9.99E-01 │ 2.00E+00 │ 3.12E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9985464314949123 max_dual_value = 1.0007300639162866 duality_gap = -0.002186811101117476 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 21 │ 1 │ 21 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.56E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9998441245266181 max_dual_value = 1.0007300639162866 duality_gap = -0.000886077507419444 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 22 │ 2 │ 23 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 7.81E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9998550736594394 max_dual_value = 1.0007300639162866 duality_gap = -0.000875117084363829 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 23 │ 3 │ 26 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.91E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9998122216228615 max_dual_value = 1.0007583641590214 duality_gap = -0.000946320234637791 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 24 │ 1 │ 27 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.95E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0001893671972968 max_dual_value = 1.0007583641590214 duality_gap = -0.0005688892327650516 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 25 │ 1 │ 28 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 9.77E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999996279763806 max_dual_value = 1.0007583641590214 duality_gap = -0.0007587364649086593 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 25 │ -1 │ 28 │ 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 22.0s [ 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.8s Testing SDPLRPlus tests passed Testing completed after 147.66s PkgEval succeeded after 875.78s