Package evaluation to test SDPLRPlus on Julia 1.14.0-DEV.2043 (b936235316*) started at 2026-04-17T01:06:17.140 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 12.62s ################################################################################ # 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.8.0 [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.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.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.50.1 [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.3 [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 [10745b16] + Statistics v1.11.1 [892a3eda] + StringManipulation v0.4.4 [ec057cc2] + StructUtils v2.7.2 [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 [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.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.30+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.68.1+0 [3f19e933] + p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 5.38s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 26.7 s ✓ MKLSparse 5.4 s ✓ MKL 21.9 s ✓ SDPLRPlus 3 dependencies successfully precompiled in 56 seconds. 125 already precompiled. Precompilation completed after 79.92s ################################################################################ # Testing # Testing SDPLRPlus Status `/tmp/jl_jvctOQ/Project.toml` [6a86dc24] FiniteDiff v2.30.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_jvctOQ/Manifest.toml` [79e6a3ab] Adapt v4.5.2 [4fba245c] ArrayInterface v7.24.0 [6e4b80f9] BenchmarkTools v1.8.0 [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.30.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.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.50.1 [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.3 [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 [10745b16] Statistics v1.11.1 [892a3eda] StringManipulation v0.4.4 [ec057cc2] StructUtils v2.7.2 [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 [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.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.30+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.68.1+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test Summary: | Pass Total Time SymLowRankMatrix tests | 200 200 5.7s [ Info: Max Cut SDP is formed. ========================================================================================================================= SDPLRPlus.jl: a julia implementation of SDPLR with objval gap bound ========================================================================================================================= [ Info: Finish classifying constraints. ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 1 │ 3 │ 3 │ -1.12E+00 │ -1.25E+00 │ 2.00E+00 │ 5.00E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.2490537575579879 max_dual_value = -0.9962157037357933 duality_gap = -0.2537985025472454 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 2 │ 1 │ 4 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.50E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0009481521283494 max_dual_value = -0.9962157037357933 duality_gap = -0.004750425409687427 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 0 │ 4 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.25E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0009481521283494 max_dual_value = -0.9962157037357933 duality_gap = -0.004750425409687427 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 0 │ 4 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 6.25E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0009481521283494 max_dual_value = -0.9962157037357933 duality_gap = -0.004750425409687427 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 5 │ -1.00E+00 │ -9.98E-01 │ 2.00E+00 │ 3.12E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9983012002769495 max_dual_value = -0.9962157037357933 duality_gap = -0.002093418657561426 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 1 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.56E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9996736026740949 max_dual_value = -0.9962157037357933 duality_gap = -0.003471034360665618 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ 0 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.81E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9996736026740949 max_dual_value = -0.9962157037357933 duality_gap = -0.003471034360665618 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 8 │ 1 │ 7 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.91E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0004510795792751 max_dual_value = -0.9962157037357933 duality_gap = -0.004251464645256332 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 9 │ 1 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.95E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000005806047891 max_dual_value = -0.9962157037357933 duality_gap = -0.003799254373126863 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 10 │ 0 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.77E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.000000580604789 max_dual_value = -0.9962157037357933 duality_gap = -0.00379925437312664 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 0 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.88E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.000000580604789 max_dual_value = -0.9962157037357933 duality_gap = -0.00379925437312664 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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.000000580604789 max_dual_value = -0.9962157037357933 duality_gap = -0.00379925437312664 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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.999997993932482 max_dual_value = -0.9962157037357933 duality_gap = -0.003796657874901202 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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.9999995168526659 max_dual_value = -0.9962157037357933 duality_gap = -0.0037981865801586462 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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.9999995168526661 max_dual_value = -0.9962157037357933 duality_gap = -0.003798186580158869 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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.0000005794809923 max_dual_value = -0.9962157037357933 duality_gap = -0.0037992532450610945 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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.0000001246052015 max_dual_value = -0.9962157037357933 duality_gap = -0.0037987966413465515 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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.0000001246052015 max_dual_value = -0.9962157037357933 duality_gap = -0.0037987966413465515 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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.9999998378626259 max_dual_value = -0.9962157037357933 duality_gap = -0.0037985088095301113 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ 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.9999999980459785 max_dual_value = -0.9962157037357933 duality_gap = -0.00379866960136664 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 20 │ -1 │ 14 │ -1.00E+00 │ -1.00E+00 │ 2.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 │ 4 │ 4 │ -1.02E+00 │ -1.05E+00 │ 1.00E+01 │ 1.00E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.050006963517556 max_dual_value = -1.0001392705951497 duality_gap = -0.04986074878624815 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 2 │ 1 │ 5 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999930366079444 max_dual_value = -1.0000000030347973 duality_gap = 6.966475363238223e-6 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 0 │ 5 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999930366079446 max_dual_value = -0.9998607354744476 duality_gap = -0.0001323195609178096 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 1 │ 6 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-04 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000067730935338 max_dual_value = -0.9998607354744476 duality_gap = -0.0001460579597786307 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 7 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-05 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000002865501438 max_dual_value = -0.9998607354744476 duality_gap = -0.00013957051291744964 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 1 │ 8 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-06 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999999046018629 max_dual_value = -0.9998607354744476 duality_gap = -0.00013918851143730274 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ 1 │ 9 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-07 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9999999979583908 max_dual_value = -0.9998607354744476 duality_gap = -0.00013928188096820775 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ -1 │ 9 │ -1.00E+00 │ -1.00E+00 │ 1.00E+01 │ 1.00E-07 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted ========================================================================================================================= End of SDPLRPlus.jl ========================================================================================================================= [ Info: Max Cut SDP is formed. ========================================================================================================================= SDPLRPlus.jl: a julia implementation of SDPLR with objval gap bound ========================================================================================================================= [ Info: Finish classifying constraints. ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 1 │ 2 │ 2 │ -1.12E+00 │ -1.25E+00 │ 2.00E+00 │ 5.00E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.2467052975556718 max_dual_value = -0.9868297098578687 duality_gap = -0.26334390331157803 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 2 │ 1 │ 3 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.50E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0033192442344843 max_dual_value = -0.9868297098578687 duality_gap = -0.01670960471892416 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 3 │ 0 │ 3 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.25E-01 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0033192442344843 max_dual_value = -0.9868297098578687 duality_gap = -0.01670960471892416 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 4 │ 1 │ 4 │ -1.00E+00 │ -9.97E-01 │ 2.00E+00 │ 6.25E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.997128612824024 max_dual_value = -0.9868297098578687 duality_gap = -0.010436352760030557 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 5 │ 1 │ 5 │ -1.00E+00 │ -9.99E-01 │ 2.00E+00 │ 3.12E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9992911133495137 max_dual_value = -0.9868297098578687 duality_gap = -0.012627714150843548 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 6 │ 0 │ 5 │ -1.00E+00 │ -9.99E-01 │ 2.00E+00 │ 1.56E-02 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -0.9992911133495136 max_dual_value = -0.9868297098578687 duality_gap = -0.012627714150843435 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 7 │ 1 │ 6 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.81E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0009312450594174 max_dual_value = -0.9868297098578687 duality_gap = -0.014289735159655656 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 8 │ 1 │ 7 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.91E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000006794437895 max_dual_value = -0.9868297098578687 duality_gap = -0.013346750157955601 ┌─────────┬───┬───────┬─────────┬───────────┬───────────┬──────────┬──────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼───┼───────┼─────────┼───────────┼───────────┼──────────┼──────────── │ │ 9 │ 0 │ 7 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.95E-03 ⋯ └─────────┴───┴───────┴─────────┴───────────┴───────────┴──────────┴──────────── 5 columns omitted var.obj[] = -1.0000006794437892 max_dual_value = -0.9868297098578687 duality_gap = -0.013346750157955375 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 10 │ 0 │ 7 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.77E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000006794437892 max_dual_value = -0.9868297098578687 duality_gap = -0.013346750157955375 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 11 │ 0 │ 7 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.88E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000006794437892 max_dual_value = -0.9868297098578687 duality_gap = -0.013346750157955375 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 12 │ 0 │ 7 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.44E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000006794437892 max_dual_value = -0.9868297098578687 duality_gap = -0.013346750157955375 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 13 │ 1 │ 8 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.22E-04 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999970699487768 max_dual_value = -0.9868297098578687 duality_gap = -0.013343092490399992 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 14 │ 1 │ 9 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 6.10E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.999999292156469 max_dual_value = -0.9868297098578687 duality_gap = -0.013345344355813037 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 15 │ 0 │ 9 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.05E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.999999292156469 max_dual_value = -0.9868297098578687 duality_gap = -0.013345344355813037 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 16 │ 1 │ 10 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.53E-05 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000008251957815 max_dual_value = -0.9868297098578687 duality_gap = -0.013346897855162703 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 17 │ 1 │ 11 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 7.63E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000002173732079 max_dual_value = -0.9868297098578687 duality_gap = -0.01334628192055156 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 18 │ 0 │ 11 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 3.81E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000002173732077 max_dual_value = -0.9868297098578687 duality_gap = -0.013346281920551335 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 19 │ 1 │ 12 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.91E-06 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999997219670189 max_dual_value = -0.9868297098578687 duality_gap = -0.013345779902641061 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 20 │ 1 │ 13 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 9.54E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999970387149 max_dual_value = -0.9868297098578687 duality_gap = -0.013346058645460849 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 21 │ 0 │ 13 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 4.77E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -0.9999999970387149 max_dual_value = -0.9868297098578687 duality_gap = -0.013346058645460849 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 22 │ 1 │ 14 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 2.38E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.000000003080527 max_dual_value = -0.9868297098578687 duality_gap = -0.013346064767907296 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 23 │ 1 │ 15 │ -1.00E+00 │ -1.00E+00 │ 2.00E+00 │ 1.19E-07 ⋯ └─────────┴────┴───────┴─────────┴───────────┴───────────┴──────────┴─────────── 5 columns omitted var.obj[] = -1.0000000009688272 max_dual_value = -0.9868297098578687 duality_gap = -0.013346062628024718 ┌─────────┬────┬───────┬─────────┬───────────┬───────────┬──────────┬─────────── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ ⋯ ├─────────┼────┼───────┼─────────┼───────────┼───────────┼──────────┼─────────── │ │ 23 │ -1 │ 15 │ -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 1m20.2s [ 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 │ 3 │ 3 │ 8.76E-01 │ 7.43E-01 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.7433856746943053 max_dual_value = 0.43736196186645704 duality_gap = 0.6997035396537039 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 2 │ 1 │ 4 │ 9.99E-01 │ 1.01E+00 │ 2.00E+00 │ 2.50E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.0073118023561811 max_dual_value = 0.8999908960990912 duality_gap = 0.1192466576298274 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 3 │ 0 │ 4 │ 1.00E+00 │ 1.01E+00 │ 2.00E+00 │ 1.25E-01 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.0073118023561811 max_dual_value = 0.8999908960990912 duality_gap = 0.1192466576298274 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 4 │ 1 │ 5 │ 1.00E+00 │ 9.91E-01 │ 2.00E+00 │ 6.25E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9909907791623601 max_dual_value = 0.971391306506022 duality_gap = 0.020176701731905604 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 5 │ 1 │ 6 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.12E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 1.0009405172526873 max_dual_value = 0.971391306506022 duality_gap = 0.030419472100229356 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 6 │ 1 │ 7 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.56E-02 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9998221991372829 max_dual_value = 0.971391306506022 duality_gap = 0.029268218112352036 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 7 │ 0 │ 7 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 7.81E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9998221991372829 max_dual_value = 0.971391306506022 duality_gap = 0.029268218112352036 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ 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[] = 1.0003121821157024 max_dual_value = 0.971391306506022 duality_gap = 0.029772631704627142 ┌─────────┬───┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬─── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼───┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼─── │ │ 9 │ 1 │ 9 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.95E-03 │ ⋯ └─────────┴───┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴─── 5 columns omitted var.obj[] = 0.9999231906409279 max_dual_value = 0.971391306506022 duality_gap = 0.029372183942567586 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 10 │ 1 │ 10 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 9.77E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.000029577683866 max_dual_value = 0.971391306506022 duality_gap = 0.029481704217481957 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ 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.000029577683866 max_dual_value = 0.971391306506022 duality_gap = 0.029481704217481957 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ 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.9999673489293989 max_dual_value = 0.971391306506022 duality_gap = 0.029417642748071786 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ 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[] = 1.0000040464487485 max_dual_value = 0.971391306506022 duality_gap = 0.029455421055437584 [ Info: rank doubled, newrank is 2. ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 14 │ 2 │ 14 │ 8.65E-01 │ 7.29E-01 │ 2.00E+00 │ 5.00E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.7287185008271966 max_dual_value = 0.49545508952701045 duality_gap = 0.47080636818742266 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 15 │ 1 │ 15 │ 9.95E-01 │ 9.86E-01 │ 2.00E+00 │ 2.50E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9861798757126379 max_dual_value = 1.0002679592991812 duality_gap = -0.01428551112581054 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 16 │ 3 │ 18 │ 1.00E+00 │ 9.95E-01 │ 2.00E+00 │ 1.25E-01 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9945797408567492 max_dual_value = 1.0117826486790986 duality_gap = -0.017296660202962263 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 17 │ 1 │ 19 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 6.25E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0003386204945919 max_dual_value = 1.0117826486790986 duality_gap = -0.011440154313794793 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 18 │ 2 │ 21 │ 1.00E+00 │ 9.99E-01 │ 2.00E+00 │ 3.12E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9989599839756392 max_dual_value = 1.0117826486790986 duality_gap = -0.012836014364086962 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 19 │ 2 │ 23 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.56E-02 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0015524900274353 max_dual_value = 1.0117826486790986 duality_gap = -0.0102143010511442 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 20 │ 1 │ 24 │ 1.00E+00 │ 9.99E-01 │ 2.00E+00 │ 7.81E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9989313012854641 max_dual_value = 1.0117826486790986 duality_gap = -0.01286509630551856 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 21 │ 2 │ 26 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 3.91E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0001442892793075 max_dual_value = 1.0117826486790986 duality_gap = -0.011636680351569615 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 22 │ 2 │ 28 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 1.95E-03 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9998115537656822 max_dual_value = 1.0117826486790986 duality_gap = -0.011973351246370957 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 23 │ 2 │ 30 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 9.77E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 1.0001148431452385 max_dual_value = 1.0117826486790986 duality_gap = -0.011666465720243024 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 24 │ 2 │ 32 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 4.88E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted var.obj[] = 0.9999617491490514 max_dual_value = 1.0117826486790986 duality_gap = -0.011821351706809317 ┌─────────┬────┬───────┬─────────┬──────────┬──────────┬──────────┬──────────┬── │ dataset │ T │ Iterₜ │ TotIter │ ℒ │ pobj │ σ │ ηₜ │ ⋯ ├─────────┼────┼───────┼─────────┼──────────┼──────────┼──────────┼──────────┼── │ │ 24 │ -1 │ 32 │ 1.00E+00 │ 1.00E+00 │ 2.00E+00 │ 4.88E-04 │ ⋯ └─────────┴────┴───────┴─────────┴──────────┴──────────┴──────────┴──────────┴── 5 columns omitted ========================================================================================================================= End of SDPLRPlus.jl ========================================================================================================================= Test Summary: | Pass Total Time Minimum Bisection | 1 1 1.9s Test Summary: | Total Time Lovasz Theta | 0 0.0s Test Summary: | Total Time Cut Norm | 0 0.0s [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Max Cut SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Lovasz Theta SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Minimum Bisection SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Cut Norm SDP is formed. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. [ Info: Finish classifying constraints. Test Summary: | Pass Total Time f!, g! and linesearch! | 252 252 19.8s [ 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 5.0s Testing SDPLRPlus tests passed Testing completed after 143.64s PkgEval succeeded after 253.56s