Package evaluation to test OptimalBranchingCore on Julia 1.13.0-DEV.1319 (9cddfda8ef*) started at 2025-10-16T16:58:27.181 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 10.19s ################################################################################ # Installation # Installing OptimalBranchingCore... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [c76e7b22] + OptimalBranchingCore v0.1.5 Updating `~/.julia/environments/v1.13/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.1 [50ba71b6] + BitBasis v0.9.10 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.1 ⌅ [864edb3b] + DataStructures v0.18.22 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.2.2 [87dc4568] + HiGHS v1.19.3 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.1.0 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.29.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [8c4f8055] + MathOptIIS v0.1.1 [b8f27783] + MathOptInterface v1.45.0 [d8a4904e] + MutableArithmetics v1.6.6 [77ba4419] + NaNMath v1.1.3 [c76e7b22] + OptimalBranchingCore v0.1.5 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 [276daf66] + SpecialFunctions v2.6.1 [90137ffa] + StaticArrays v1.9.15 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.0 [ec057cc2] + StructUtils v2.5.1 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [8fd58aa0] + HiGHS_jll v1.11.0+1 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.7+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 5.94s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/activate_set.jl:76 Precompiling package dependencies... Precompilation completed after 372.03s ################################################################################ # Testing # Testing OptimalBranchingCore Test Could not use exact versions of packages in manifest, re-resolving. Note: if you do not check your manifest file into source control, then you can probably ignore this message. However, if you do check your manifest file into source control, then you probably want to pass the `allow_reresolve = false` kwarg when calling the `Pkg.test` function. Updating `/tmp/jl_RMnKuC/Project.toml` [e30172f5] + Documenter v1.14.1 [3521c873] + GenericTensorNetworks v4.1.0 [2774e3e8] + NLsolve v4.5.1 [c76e7b22] + OptimalBranchingCore v0.1.5 Updating `/tmp/jl_RMnKuC/Manifest.toml` [47edcb42] + ADTypes v1.18.0 [a4c015fc] + ANSIColoredPrinters v0.0.1 [621f4979] + AbstractFFTs v1.5.0 [1520ce14] + AbstractTrees v0.4.5 [79e6a3ab] + Adapt v4.4.0 [66dad0bd] + AliasTables v1.1.3 [dce04be8] + ArgCheck v2.5.0 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.21.0 [a9ab73d0] + BatchedRoutines v0.2.2 [159f3aea] + Cairo v1.1.1 [d360d2e6] + ChainRulesCore v1.26.0 [60701a23] + CliqueTrees v1.12.1 [08986516] + Collects v1.0.0 [3da002f7] + ColorTypes v0.12.1 [5ae59095] + Colors v0.13.1 [861a8166] + Combinatorics v1.0.3 [187b0558] + ConstructionBase v1.6.0 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [e2d170a0] + DataValueInterfaces v1.0.0 [8bb1440f] + DelimitedFiles v1.9.1 [a0c0ee7d] + DifferentiationInterface v0.7.9 [b4f34e82] + Distances v0.10.12 [e30172f5] + Documenter v1.14.1 [c87230d0] + FFMPEG v0.4.4 [7a1cc6ca] + FFTW v1.10.0 [5789e2e9] + FileIO v1.17.1 [1a297f60] + FillArrays v1.14.0 [6a86dc24] + FiniteDiff v2.29.0 [53c48c17] + FixedPointNumbers v0.8.5 [3821ddf9] + FixedSizeArrays v1.2.0 [3521c873] + GenericTensorNetworks v4.1.0 [d7ba0133] + Git v1.5.0 [a2bd30eb] + Graphics v1.1.3 [86223c79] + Graphs v1.13.1 [b5f81e59] + IOCapture v0.2.5 [d25df0c9] + Inflate v0.1.5 [18e54dd8] + IntegerMathUtils v0.1.3 [82899510] + IteratorInterfaceExtensions v1.0.0 ⌅ [682c06a0] ↓ JSON v1.1.0 ⇒ v0.21.4 [b964fa9f] + LaTeXStrings v1.4.0 [0e77f7df] + LazilyInitializedFields v1.3.0 [d3d80556] + LineSearches v7.4.0 [ae8d54c2] + Luxor v4.3.0 [1f49bdf2] + LuxorGraphPlot v0.5.1 [d8e11817] + MLStyle v0.4.17 [d0879d2d] + MarkdownAST v0.1.2 [e1d29d7a] + Missings v1.2.0 [d41bc354] + NLSolversBase v7.10.0 [2774e3e8] + NLsolve v4.5.1 [ebe7aa44] + OMEinsum v0.9.2 [6f22d1fd] + OMEinsumContractionOrders v1.2.1 [c76e7b22] + OptimalBranchingCore v0.1.5 [d96e819e] + Parameters v0.12.3 [32a0d02f] + PolygonAlgorithms v0.3.3 [f27b6e38] + Polynomials v4.1.0 ⌅ [08abe8d2] + PrettyTables v2.4.0 [27ebfcd6] + Primes v0.5.7 [899c297d] + ProblemReductions v0.3.5 [43287f4e] + PtrArrays v1.3.0 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [2792f1a3] + RegistryInstances v0.1.0 [ae029012] + Requires v1.3.1 [c4c386cf] + Rsvg v1.1.0 [94e857df] + SIMDTypes v0.1.0 [efcf1570] + Setfield v1.1.2 [699a6c99] + SimpleTraits v0.9.5 [a2af1166] + SortingAlgorithms v1.2.2 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.6 [892a3eda] + StringManipulation v0.4.1 [ec057cc2] - StructUtils v2.5.1 [fd094767] + Suppressor v0.2.8 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [7d267fc5] + TreeWidthSolver v0.3.5 [b3a74e9c] + TropicalNumbers v0.6.3 [9d95972d] + TupleTools v1.6.0 [3a884ed6] + UnPack v1.0.2 [83423d85] + Cairo_jll v1.18.5+0 [2e619515] + Expat_jll v2.7.1+0 [b22a6f82] + FFMPEG_jll v7.1.1+0 [f5851436] + FFTW_jll v3.3.11+0 [a3f928ae] + Fontconfig_jll v2.17.1+0 [d7e528f0] + FreeType2_jll v2.13.4+0 [559328eb] + FriBidi_jll v1.0.17+0 [b0724c58] + GettextRuntime_jll v0.22.4+0 [020c3dae] + Git_LFS_jll v3.7.0+0 [f8c6e375] + Git_jll v2.51.1+0 [7746bdde] + Glib_jll v2.86.0+0 [3b182d85] + Graphite2_jll v1.3.15+0 [2e76f6c2] + HarfBuzz_jll v8.5.1+0 [1d5cc7b8] + IntelOpenMP_jll v2025.2.0+0 [aacddb02] + JpegTurbo_jll v3.1.3+0 [c1c5ebd0] + LAME_jll v3.100.3+0 [88015f11] + LERC_jll v4.0.1+0 [1d63c593] + LLVMOpenMP_jll v18.1.8+0 [dd4b983a] + LZO_jll v2.10.3+0 [e9f186c6] + Libffi_jll v3.4.7+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [4b2f31a3] + Libmount_jll v2.41.2+0 [925c91fb] + Librsvg_jll v2.54.7+0 [89763e89] + Libtiff_jll v4.7.2+0 [38a345b3] + Libuuid_jll v2.41.2+0 [856f044c] + MKL_jll v2025.2.0+0 [e7412a2a] + Ogg_jll v1.3.6+0 [9bd350c2] + OpenSSH_jll v10.2.1+0 [91d4177d] + Opus_jll v1.5.2+0 [36c8627f] + Pango_jll v1.56.4+0 ⌅ [30392449] + Pixman_jll v0.44.2+0 ⌅ [02c8fc9c] + XML2_jll v2.13.9+0 [ffd25f8a] + XZ_jll v5.8.1+0 [4f6342f7] + Xorg_libX11_jll v1.8.12+0 [0c0b7dd1] + Xorg_libXau_jll v1.0.13+0 [a3789734] + Xorg_libXdmcp_jll v1.1.6+0 [1082639a] + Xorg_libXext_jll v1.3.7+0 [ea2f1a96] + Xorg_libXrender_jll v0.9.12+0 [c7cfdc94] + Xorg_libxcb_jll v1.17.1+0 [c5fb5394] + Xorg_xtrans_jll v1.6.0+0 [da03df04] + gdk_pixbuf_jll v2.42.13+0 [a4ae2306] + libaom_jll v3.13.1+0 [0ac62f75] + libass_jll v0.17.4+0 [f638f0a6] + libfdk_aac_jll v2.0.4+0 [b53b4c65] + libpng_jll v1.6.50+0 [f27f6e37] + libvorbis_jll v1.3.8+0 [1317d2d5] + oneTBB_jll v2022.0.0+0 [1270edf5] + x264_jll v10164.0.1+0 [dfaa095f] + x265_jll v4.1.0+0 [0dad84c5] + ArgTools v1.1.2 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.13.0 [3fa0cd96] + REPL v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [a4e569a6] + Tar v1.10.0 [deac9b47] + LibCURL_jll v8.16.0+0 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.9.9 [458c3c95] + OpenSSL_jll v3.5.4+0 [efcefdf7] + PCRE2_jll v10.46.0+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850ede] + nghttp2_jll v1.67.1+0 [3f19e933] + p7zip_jll v17.6.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_RMnKuC/Project.toml` [50ba71b6] BitBasis v0.9.10 ⌅ [864edb3b] DataStructures v0.18.22 [e30172f5] Documenter v1.14.1 [3521c873] GenericTensorNetworks v4.1.0 [87dc4568] HiGHS v1.19.3 [4076af6c] JuMP v1.29.1 [2774e3e8] NLsolve v4.5.1 [c76e7b22] OptimalBranchingCore v0.1.5 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_RMnKuC/Manifest.toml` [47edcb42] ADTypes v1.18.0 [a4c015fc] ANSIColoredPrinters v0.0.1 [621f4979] AbstractFFTs v1.5.0 [1520ce14] AbstractTrees v0.4.5 [79e6a3ab] Adapt v4.4.0 [66dad0bd] AliasTables v1.1.3 [dce04be8] ArgCheck v2.5.0 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.21.0 [a9ab73d0] BatchedRoutines v0.2.2 [6e4b80f9] BenchmarkTools v1.6.1 [50ba71b6] BitBasis v0.9.10 [159f3aea] Cairo v1.1.1 [d360d2e6] ChainRulesCore v1.26.0 [60701a23] CliqueTrees v1.12.1 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [08986516] Collects v1.0.0 [3da002f7] ColorTypes v0.12.1 [5ae59095] Colors v0.13.1 [861a8166] Combinatorics v1.0.3 [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 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [8bb1440f] DelimitedFiles v1.9.1 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [a0c0ee7d] DifferentiationInterface v0.7.9 [b4f34e82] Distances v0.10.12 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.14.1 [c87230d0] FFMPEG v0.4.4 [7a1cc6ca] FFTW v1.10.0 [5789e2e9] FileIO v1.17.1 [1a297f60] FillArrays v1.14.0 [6a86dc24] FiniteDiff v2.29.0 [53c48c17] FixedPointNumbers v0.8.5 [3821ddf9] FixedSizeArrays v1.2.0 [f6369f11] ForwardDiff v1.2.2 [3521c873] GenericTensorNetworks v4.1.0 [d7ba0133] Git v1.5.0 [a2bd30eb] Graphics v1.1.3 [86223c79] Graphs v1.13.1 [87dc4568] HiGHS v1.19.3 [b5f81e59] IOCapture v0.2.5 [d25df0c9] Inflate v0.1.5 [18e54dd8] IntegerMathUtils v0.1.3 [92d709cd] IrrationalConstants v0.2.6 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.1 ⌅ [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [4076af6c] JuMP v1.29.1 [b964fa9f] LaTeXStrings v1.4.0 [0e77f7df] LazilyInitializedFields v1.3.0 [d3d80556] LineSearches v7.4.0 [2ab3a3ac] LogExpFunctions v0.3.29 [ae8d54c2] Luxor v4.3.0 [1f49bdf2] LuxorGraphPlot v0.5.1 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [d0879d2d] MarkdownAST v0.1.2 [8c4f8055] MathOptIIS v0.1.1 [b8f27783] MathOptInterface v1.45.0 [e1d29d7a] Missings v1.2.0 [d8a4904e] MutableArithmetics v1.6.6 [d41bc354] NLSolversBase v7.10.0 [2774e3e8] NLsolve v4.5.1 [77ba4419] NaNMath v1.1.3 [ebe7aa44] OMEinsum v0.9.2 [6f22d1fd] OMEinsumContractionOrders v1.2.1 [c76e7b22] OptimalBranchingCore v0.1.5 [bac558e1] OrderedCollections v1.8.1 [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.3 [32a0d02f] PolygonAlgorithms v0.3.3 [f27b6e38] Polynomials v4.1.0 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.0 ⌅ [08abe8d2] PrettyTables v2.4.0 [27ebfcd6] Primes v0.5.7 [899c297d] ProblemReductions v0.3.5 [43287f4e] PtrArrays v1.3.0 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [ae029012] Requires v1.3.1 [c4c386cf] Rsvg v1.1.0 [94e857df] SIMDTypes v0.1.0 [efcf1570] Setfield v1.1.2 [699a6c99] SimpleTraits v0.9.5 [a2af1166] SortingAlgorithms v1.2.2 [276daf66] SpecialFunctions v2.6.1 [90137ffa] StaticArrays v1.9.15 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.6 [892a3eda] StringManipulation v0.4.1 [856f2bd8] StructTypes v1.11.0 [fd094767] Suppressor v0.2.8 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [3bb67fe8] TranscodingStreams v0.11.3 [7d267fc5] TreeWidthSolver v0.3.5 [b3a74e9c] TropicalNumbers v0.6.3 [9d95972d] TupleTools v1.6.0 [3a884ed6] UnPack v1.0.2 [6e34b625] Bzip2_jll v1.0.9+0 [83423d85] Cairo_jll v1.18.5+0 [2e619515] Expat_jll v2.7.1+0 [b22a6f82] FFMPEG_jll v7.1.1+0 [f5851436] FFTW_jll v3.3.11+0 [a3f928ae] Fontconfig_jll v2.17.1+0 [d7e528f0] FreeType2_jll v2.13.4+0 [559328eb] FriBidi_jll v1.0.17+0 [b0724c58] GettextRuntime_jll v0.22.4+0 [020c3dae] Git_LFS_jll v3.7.0+0 [f8c6e375] Git_jll v2.51.1+0 [7746bdde] Glib_jll v2.86.0+0 [3b182d85] Graphite2_jll v1.3.15+0 [2e76f6c2] HarfBuzz_jll v8.5.1+0 [8fd58aa0] HiGHS_jll v1.11.0+1 [1d5cc7b8] IntelOpenMP_jll v2025.2.0+0 [aacddb02] JpegTurbo_jll v3.1.3+0 [c1c5ebd0] LAME_jll v3.100.3+0 [88015f11] LERC_jll v4.0.1+0 [1d63c593] LLVMOpenMP_jll v18.1.8+0 [dd4b983a] LZO_jll v2.10.3+0 [e9f186c6] Libffi_jll v3.4.7+0 [94ce4f54] Libiconv_jll v1.18.0+0 [4b2f31a3] Libmount_jll v2.41.2+0 [925c91fb] Librsvg_jll v2.54.7+0 [89763e89] Libtiff_jll v4.7.2+0 [38a345b3] Libuuid_jll v2.41.2+0 [856f044c] MKL_jll v2025.2.0+0 [e7412a2a] Ogg_jll v1.3.6+0 [9bd350c2] OpenSSH_jll v10.2.1+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [91d4177d] Opus_jll v1.5.2+0 [36c8627f] Pango_jll v1.56.4+0 ⌅ [30392449] Pixman_jll v0.44.2+0 ⌅ [02c8fc9c] XML2_jll v2.13.9+0 [ffd25f8a] XZ_jll v5.8.1+0 [4f6342f7] Xorg_libX11_jll v1.8.12+0 [0c0b7dd1] Xorg_libXau_jll v1.0.13+0 [a3789734] Xorg_libXdmcp_jll v1.1.6+0 [1082639a] Xorg_libXext_jll v1.3.7+0 [ea2f1a96] Xorg_libXrender_jll v0.9.12+0 [c7cfdc94] Xorg_libxcb_jll v1.17.1+0 [c5fb5394] Xorg_xtrans_jll v1.6.0+0 [da03df04] gdk_pixbuf_jll v2.42.13+0 [a4ae2306] libaom_jll v3.13.1+0 [0ac62f75] libass_jll v0.17.4+0 [f638f0a6] libfdk_aac_jll v2.0.4+0 [b53b4c65] libpng_jll v1.6.50+0 [f27f6e37] libvorbis_jll v1.3.8+0 [1317d2d5] oneTBB_jll v2022.0.0+0 [1270edf5] x264_jll v10164.0.1+0 [dfaa095f] x265_jll v4.1.0+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.11.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.16.0+0 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.9.9 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.4+0 [efcefdf7] PCRE2_jll v10.46.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.67.1+0 [3f19e933] p7zip_jll v17.6.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test Summary: | Pass Total Time algebra | 6 6 1.3s Test Summary: | Pass Total Time bit basis | 24 24 20.5s BranchingTable{LongLongUInt{1}} 00100, 00010 01001 10100 Test Summary: | Pass Total Time branching_table | 1 1 0.9s Test Summary: | Pass Total Time branch | 97 97 34.8s OptimalBranchingResult{LongLongUInt{1}, Int64}: optimal_rule: DNF{LongLongUInt{1}}: (#2 ∧ ¬#3 ∧ #4 ∧ ¬#5) ∨ (¬#1 ∧ ¬#2 ∧ #3 ∧ ¬#4 ∧ #5) branching_vector: [4, 5] γ: 1.1673039782614185 OptimalBranchingResult{LongLongUInt{1}, Int64}: optimal_rule: DNF{LongLongUInt{1}}: (#2 ∧ ¬#3 ∧ #4 ∧ ¬#5) ∨ (¬#1 ∧ ¬#2 ∧ #3 ∧ ¬#4 ∧ #5) branching_vector: [4, 5] γ: 1.1673039782614185 Test Summary: | Pass Total Time set covering | 21 21 42.0s Test Summary: | Pass Total Time greedymerge | 5 5 10.9s ■ ■■ ■■■ ■■■■ ■■■■■ ■■■■■■ ■■■■■■⋅ ■■■■■■⋅■ ■■■■■■⋅■■ ■■■■■■⋅■■■ ■■■■■■⋅■■■■ ■■■■■■⋅■■■■■ ■■■■■■⋅■■■■■⋅ ■■■■■■⋅■■■■■⋅■ ■■■■■■⋅■■■■■⋅■⋅ ■■■■■■⋅■■■■■⋅■⋅⋅ ■■■■■■⋅■■■■■⋅■⋅⋅■ ■■■■■■⋅■■■■■⋅■⋅⋅■■ ■■■■■■⋅■■■■■⋅■⋅⋅■■■ ■■■■■■⋅■■■■■⋅■⋅⋅■■■ ■■■■■■⋅■■■■■⋅■⋅⋅■■■ ■■■■■■⋅■■■■■⋅■⋅⋅■■■■ ■■■■■■⋅■■■■■⋅■⋅⋅■■■■■ ■■■■■■⋅■■■■■⋅■⋅⋅■■■■■ ■■■■■■⋅■■■■■⋅■⋅⋅■■■■■ ■■■■■■⋅■■■■■⋅■⋅ ■■■■■■⋅■■■■■⋅■⋅■ ■■■■■■⋅■■■■■⋅■⋅■■ ■■■■■■⋅■■■■■⋅■⋅■■⋅ ■■■■■■⋅■■■■■⋅■⋅■■⋅ ■■■■■■⋅■■■■■⋅■⋅■■⋅■ ■■■■■■⋅■■■■■⋅■⋅■■⋅■⋅ ■■■■■■⋅■■■■■⋅■⋅■■⋅■⋅⋅ ■■■■■■⋅■■■■■⋅■⋅■■⋅■⋅⋅■ ■■■■■■⋅■■■■■⋅■⋅■■⋅■⋅ ■■■■■■⋅■■■■■⋅■⋅■■⋅■ ■■■■■■⋅■■■■■⋅■⋅■■ ■■■■■■⋅■■■■■⋅■⋅■■■ ■■■■■■⋅■■■■■⋅■⋅■■■⋅ ■■■■■■⋅■■■■■⋅■⋅■■■⋅⋅ ■■■■■■⋅■■■■■⋅■⋅■■■⋅⋅⋅ ■■■■■■⋅■■■■■⋅■⋅■■■⋅⋅⋅ ■■■■■■⋅■■■■■⋅■⋅■■■⋅⋅ ■■■■■■⋅■■■■■⋅■⋅■■■⋅⋅■ ■■■■■■⋅■■■■■⋅■⋅■■■⋅⋅■ ■■■■■■⋅■■■■■⋅■⋅■■■⋅ ■■■■■■⋅■■■■■⋅■⋅■■■ ■■■■■■⋅■■■■■⋅■ ■■■■■■⋅■■■■■⋅■■ ■■■■■■⋅■■■■■⋅■■■ ■■■■■■⋅■■■■■⋅■■■■ ■■■■■■⋅■■■■■⋅■■■■⋅ ■■■■■■⋅■■■■■⋅■■■■⋅■ ■■■■■■⋅■■■■■⋅■■■■⋅■■ ■■■■■■⋅■■■■■⋅■■■■⋅■■■ ■■■■■■⋅■■■■■⋅■■■■⋅■■■⋅ ■■■■■■⋅■■■■■⋅■■■■⋅■■■⋅■ ■■■■■■⋅■■■■■⋅■■■■⋅■■■⋅■■ ■■■■■■⋅■■■■■⋅■■■■⋅■■■⋅■■⋅ ■■■■■■⋅■■■■■⋅■■■■⋅■■■⋅■■⋅ ■■■■■■⋅■■■■■⋅■■■■⋅■■■⋅■■⋅□ ■■■■■■⋅■■■■■⋅■■■■⋅■■■⋅■■⋅□ ■■■■■■⋅■■■■■⋅■■■■⋅■■■⋅■■⋅ ■■■■■■⋅■■■■■⋅■■■■⋅■■■⋅■■ ■■■■■■⋅■■■■■⋅■■■■⋅■■■ ■■■■■■⋅■■■■■⋅■■■■ ■■■■■■⋅■■■■■⋅■■■■□ ■■■■■■⋅■■■■■⋅■■■■□■ ■■■■■■⋅■■■■■⋅■■■■□■■ ■■■■■■⋅■■■■■⋅■■■■□■■ ■■■■■■⋅■■■■■⋅■■■■□■■■ ■■■■■■⋅■■■■■⋅■■■■□■■■■ ■■■■■■⋅■■■■■⋅■■■■□■■■■⋅ ■■■■■■⋅■■■■■⋅■■■■□■■■■⋅ ■■■■■■⋅■■■■■⋅■■■■□■■■■ ■■■■■■⋅■■■■■⋅■■■■□■■■■■ ■■■■■■⋅■■■■■⋅■■■■□■■■■■⋅ ■■■■■■⋅■■■■■⋅■■■■□■■■■■⋅ ■■■■■■⋅■■■■■⋅■■■■□■■■■■ ■■■■■■⋅■■■■■⋅■■■■ ■■■■■■⋅■■■■■⋅■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■■■■⋅ ■■■■■■⋅■■■■■⋅■■■■■■■■■⋅ ■■■■■■⋅■■■■■⋅■■■■■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■■■■■ ■■■■■■⋅■■■■■⋅■■■■■■■■■■ ■■■■■■⋅■■■■■ ■■■■■■⋅■■■■■■ ■■■■■■⋅■■■■■■■ ■■■■■■⋅■■■■■■■■ ■■■■■■⋅■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■⋅ ■■■■■■⋅■■■■■■■■■■■⋅■ ■■■■■■⋅■■■■■■■■■■■⋅■■ ■■■■■■⋅■■■■■■■■■■■⋅■■■ ■■■■■■⋅■■■■■■■■■■■⋅■■■■ ■■■■■■⋅■■■■■■■■■■■⋅■■■■⋅ ■■■■■■⋅■■■■■■■■■■■⋅■■■■ ■■■■■■⋅■■■■■■■■■■■⋅■■■■□ ■■■■■■⋅■■■■■■■■■■■⋅■■■■□⋅ ■■■■■■⋅■■■■■■■■■■■⋅■■■■□⋅■ ■■■■■■⋅■■■■■■■■■■■⋅■■■■□⋅■ ■■■■■■⋅■■■■■■■■■■■⋅■■■■□⋅■■ ■■■■■■⋅■■■■■■■■■■■⋅■■■■□⋅■■ ■■■■■■⋅■■■■■■■■■■■⋅■■■■□ ■■■■■■⋅■■■■■■■■■■■⋅■■■■ ■■■■■■⋅■■■■■■■■■■■⋅■■■■■ ■■■■■■⋅■■■■■■■■■■■⋅■■■■■ ■■■■■■⋅■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■□ ■■■■■■⋅■■■■■■■■■■■□■ ■■■■■■⋅■■■■■■■■■■■□■⋅ ■■■■■■⋅■■■■■■■■■■■□■⋅⋅ ■■■■■■⋅■■■■■■■■■■■□■⋅⋅⋅ ■■■■■■⋅■■■■■■■■■■■□■⋅⋅⋅ ■■■■■■⋅■■■■■■■■■■■□■⋅⋅ ■■■■■■⋅■■■■■■■■■■■□■⋅ ■■■■■■⋅■■■■■■■■■■■□■⋅■ ■■■■■■⋅■■■■■■■■■■■□■⋅■ ■■■■■■⋅■■■■■■■■■■■□■⋅■■ ■■■■■■⋅■■■■■■■■■■■□■⋅■■⋅ ■■■■■■⋅■■■■■■■■■■■□■⋅■■⋅ ■■■■■■⋅■■■■■■■■■■■□■⋅■■⋅ ■■■■■■⋅■■■■■■■■■■■□■⋅■■ ■■■■■■⋅■■■■■■■■■■■□■ ■■■■■■⋅■■■■■■■■■■■□■■ ■■■■■■⋅■■■■■■■■■■■□■■⋅ ■■■■■■⋅■■■■■■■■■■■□■■⋅ ■■■■■■⋅■■■■■■■■■■■□■■ ■■■■■■⋅■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■⋅ ■■■■■■⋅■■■■■■■■■■■■⋅■ ■■■■■■⋅■■■■■■■■■■■■⋅■⋅ ■■■■■■⋅■■■■■■■■■■■■⋅■⋅⋅ ■■■■■■⋅■■■■■■■■■■■■⋅■⋅⋅ ■■■■■■⋅■■■■■■■■■■■■⋅■⋅ ■■■■■■⋅■■■■■■■■■■■■⋅■ ■■■■■■⋅■■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■□ ■■■■■■⋅■■■■■■■■■■■■□■ ■■■■■■⋅■■■■■■■■■■■■□■ ■■■■■■⋅■■■■■■■■■■■■□■■ ■■■■■■⋅■■■■■■■■■■■■□■■⋅ ■■■■■■⋅■■■■■■■■■■■■□■■⋅ ■■■■■■⋅■■■■■■■■■■■■□■■ ■■■■■■⋅■■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■■■■■■ ■■■■■■⋅■■■■■■■■■■■■■■■■■⋅ ■■■■■■⋅■■■■■■■■■■■■■■■■■⋅ ■■■■■■⋅■■■■■■■■■■■■■■■■■ ■■■■■■ ■■■■■■□ ■■■■■■□⋅ ■■■■■■□⋅■ ■■■■■■□⋅■■ ■■■■■■□⋅■■■ ■■■■■■□⋅■■■■ ■■■■■■□⋅■■■■■ ■■■■■■□⋅■■■■■⋅ ■■■■■■□⋅■■■■■⋅■ ■■■■■■□⋅■■■■■⋅■■ ■■■■■■□⋅■■■■■⋅■■■ ■■■■■■□⋅■■■■■⋅■■■■ ■■■■■■□⋅■■■■■⋅■■■■⋅ ■■■■■■□⋅■■■■■⋅■■■■⋅⋅ ■■■■■■□⋅■■■■■⋅■■■■⋅⋅⋅ ■■■■■■□⋅■■■■■⋅■■■■⋅⋅⋅ ■■■■■■□⋅■■■■■⋅■■■■⋅⋅ ■■■■■■□⋅■■■■■⋅■■■■⋅ ■■■■■■□⋅■■■■■⋅■■■■⋅■ ■■■■■■□⋅■■■■■⋅■■■■⋅■ ■■■■■■□⋅■■■■■⋅■■■■⋅■■ ■■■■■■□⋅■■■■■⋅■■■■⋅■■ ■■■■■■□⋅■■■■■⋅■■■■⋅■■■ ■■■■■■□⋅■■■■■⋅■■■■⋅■■■■ ■■■■■■□⋅■■■■■⋅■■■■⋅■■■■■ ■■■■■■□⋅■■■■■⋅■■■■⋅■■■■■■ ■■■■■■□⋅■■■■■⋅■■■■⋅■■■■■■ ■■■■■■□⋅■■■■■⋅■■■■⋅■■■■■■ ■■■■■■□⋅■■■■■⋅■■■■ ■■■■■■□⋅■■■■■⋅■■■■□ ■■■■■■□⋅■■■■■⋅■■■■□⋅ ■■■■■■□⋅■■■■■⋅■■■■□⋅ ■■■■■■□⋅■■■■■⋅■■■■□⋅■ ■■■■■■□⋅■■■■■⋅■■■■□⋅■⋅ ■■■■■■□⋅■■■■■⋅■■■■□⋅■⋅ ■■■■■■□⋅■■■■■⋅■■■■□⋅■ ■■■■■■□⋅■■■■■⋅■■■■□ ■■■■■■□⋅■■■■■⋅■■■■□ ■■■■■■□⋅■■■■■⋅■■■■ ■■■■■■□⋅■■■■■⋅■■■■■ ■■■■■■□⋅■■■■■⋅■■■■■■ ■■■■■■□⋅■■■■■⋅■■■■■■⋅ ■■■■■■□⋅■■■■■⋅■■■■■■⋅⋅ ■■■■■■□⋅■■■■■⋅■■■■■■⋅⋅⋅ ■■■■■■□⋅■■■■■⋅■■■■■■⋅⋅⋅ ■■■■■■□⋅■■■■■⋅■■■■■■⋅⋅ ■■■■■■□⋅■■■■■⋅■■■■■■⋅ ■■■■■■□⋅■■■■■⋅■■■■■■ ■■■■■■□⋅■■■■■⋅■■■■■■■ ■■■■■■□⋅■■■■■⋅■■■■■■■⋅ ■■■■■■□⋅■■■■■⋅■■■■■■■ ■■■■■■□⋅■■■■■ ■■■■■■□⋅■■■■■□ ■■■■■■□⋅■■■■■□■ ■■■■■■□⋅■■■■■□■■ ■■■■■■□⋅■■■■■□■■■ ■■■■■■□⋅■■■■■□■■■■ ■■■■■■□⋅■■■■■□■■■■■ ■■■■■■□⋅■■■■■□■■■■■■ ■■■■■■□⋅■■■■■□■■■■■■■ ■■■■■■□⋅■■■■■□■■■■■■■ ■■■■■■□⋅■■■■■□■■■■■■■□ ■■■■■■□⋅■■■■■□■■■■■■■□■ ■■■■■■□⋅■■■■■□■■■■■■■□■⋅ ■■■■■■□⋅■■■■■□■■■■■■■□■⋅ ■■■■■■□⋅■■■■■□■■■■■■■□■⋅■ ■■■■■■□⋅■■■■■□■■■■■■■□■⋅■⋅ ■■■■■■□⋅■■■■■□■■■■■■■□■⋅■ ■■■■■■□⋅■■■■■□■■■■■■■□■⋅■■ ■■■■■■□⋅■■■■■□■■■■■■■□■⋅■■ ■■■■■■□⋅■■■■■□■■■■■■■□■ ■■■■■■□⋅■■■■■□■■■■■■■ ■■■■■■□⋅■■■■■ ■■■■■■□⋅■■■■■■ ■■■■■■□⋅■■■■■■■ ■■■■■■□⋅■■■■■■■■ ■■■■■■□⋅■■■■■■■■■ ■■■■■■□⋅■■■■■■■■■■ ■■■■■■□⋅■■■■■■■■■■■ ■■■■■■□⋅■■■■■■■■■■■■ ■■■■■■□⋅■■■■■■■■■■■■⋅ ■■■■■■□⋅■■■■■■■■■■■■⋅■ ■■■■■■□⋅■■■■■■■■■■■■⋅■⋅ ■■■■■■□⋅■■■■■■■■■■■■⋅■⋅ ■■■■■■□⋅■■■■■■■■■■■■⋅■ ■■■■■■□⋅■■■■■■■■■■■■ ■■■■■■□⋅■■■■■■■■■■■■■ ■■■■■■□⋅■■■■■■■■■■■■■■ ■■■■■■□⋅■■■■■■■■■■■■■■■ ■■■■■■□⋅■■■■■■■■■■■■■■■ ■■■■■■□⋅■■■■■■■■■■■■■■■□ ■■■■■■□⋅■■■■■■■■■■■■■■■□ ■■■■■■□⋅■■■■■■■■■■■■■■■□ ■■■■■■□⋅■■■■■■■■■■■■■■■ ■■■■■■□ ■■■■■■□□ ■■■■■■□□■ ■■■■■■□□■■ ■■■■■■□□■■■ ■■■■■■□□■■■■ ■■■■■■□□■■■■■ ■■■■■■□□■■■■■■ ■■■■■■□□■■■■■■■ ■■■■■■□□■■■■■■■■ ■■■■■■□□■■■■■■■■■ ■■■■■■□□■■■■■■■■■⋅ ■■■■■■□□■■■■■■■■■⋅■ ■■■■■■□□■■■■■■■■■⋅■■ ■■■■■■□□■■■■■■■■■⋅■■■ ■■■■■■□□■■■■■■■■■⋅■■■■ ■■■■■■□□■■■■■■■■■⋅■■■■⋅ ■■■■■■□□■■■■■■■■■⋅■■■■⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■⋅⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■⋅⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■⋅⋅■ ■■■■■■□□■■■■■■■■■⋅■■■■⋅⋅■ ■■■■■■□□■■■■■■■■■⋅■■■■⋅ ■■■■■■□□■■■■■■■■■⋅■■■■ ■■■■■■□□■■■■■■■■■⋅■■■■□ ■■■■■■□□■■■■■■■■■⋅■■■■□■ ■■■■■■□□■■■■■■■■■⋅■■■■□■■ ■■■■■■□□■■■■■■■■■⋅■■■■□■■■ ■■■■■■□□■■■■■■■■■⋅■■■■□■■■■ ■■■■■■□□■■■■■■■■■⋅■■■■□■■■■⋅ ■■■■■■□□■■■■■■■■■⋅■■■■□■■■■⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■□■■■■⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■□■■■■⋅ ■■■■■■□□■■■■■■■■■⋅■■■■□■■■■ ■■■■■■□□■■■■■■■■■⋅■■■■ ■■■■■■□□■■■■■■■■■⋅■■■■■ ■■■■■■□□■■■■■■■■■⋅■■■■■⋅ ■■■■■■□□■■■■■■■■■⋅■■■■■⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■■⋅⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■■⋅⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■■⋅⋅ ■■■■■■□□■■■■■■■■■⋅■■■■■⋅⋅■ ■■■■■■□□■■■■■■■■■⋅■■■■■⋅⋅■ ■■■■■■□□■■■■■■■■■⋅■■■■■⋅ ■■■■■■□□■■■■■■■■■⋅■■■■■ ■■■■■■□□■■■■■■■■■ ■■■■■■□□■■■■■■■■■■ ■■■■■■□□■■■■■■■■■■■ ■■■■■■□□■■■■■■■■■■■■ ■■■■■■□□■■■■■■■■■■■■⋅ ■■■■■■□□■■■■■■■■■■■■⋅⋅ ■■■■■■□□■■■■■■■■■■■■⋅⋅⋅ ■■■■■■□□■■■■■■■■■■■■⋅⋅⋅ ■■■■■■□□■■■■■■■■■■■■⋅⋅ ■■■■■■□□■■■■■■■■■■■■⋅ ■■■■■■□□■■■■■■■■■■■■ ■■■■■■□□■■■■■■■■■■■■■ ■■■■■■□□■■■■■■■■■■■■■ ■■■■■■□□■■■■■■■■■■■■■■ ■■■■■■□□■■■■■■■■■■■■■■ ■■■■■■□□■■■■■■■■■■■■■■□ ■■■■■■□□■■■■■■■■■■■■■■□ ■■■■■■□□■■■■■■■■■■■■■■ ■■■■■■□ ■■■■■■□■ ■■■■■■□■■ ■■■■■■□■■■ ■■■■■■□■■■■ ■■■■■■□■■■■■ ■■■■■■□■■■■■■ ■■■■■■□■■■■■■■ ■■■■■■□■■■■■■■■ ■■■■■■□■■■■■■■■■ ■■■■■■□■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■■⋅ ■■■■■■□■■■■■■■■■■■■■⋅⋅ ■■■■■■□■■■■■■■■■■■■■⋅⋅ ■■■■■■□■■■■■■■■■■■■■⋅⋅□ ■■■■■■□■■■■■■■■■■■■■⋅⋅□⋅ ■■■■■■□■■■■■■■■■■■■■⋅⋅□⋅ ■■■■■■□■■■■■■■■■■■■■⋅⋅□ ■■■■■■□■■■■■■■■■■■■■⋅⋅ ■■■■■■□■■■■■■■■■■■■■⋅ ■■■■■■□■■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■■□ ■■■■■■□■■■■■■■■■■■■■□⋅ ■■■■■■□■■■■■■■■■■■■■□⋅■ ■■■■■■□■■■■■■■■■■■■■□⋅■■ ■■■■■■□■■■■■■■■■■■■■□⋅■■■ ■■■■■■□■■■■■■■■■■■■■□⋅■■■■ ■■■■■■□■■■■■■■■■■■■■□⋅■■■■■ ■■■■■■□■■■■■■■■■■■■■□⋅■■■■■■ ■■■■■■□■■■■■■■■■■■■■□⋅■■■■■■ ■■■■■■□■■■■■■■■■■■■■□⋅■■■■■■■ ■■■■■■□■■■■■■■■■■■■■□⋅■■■■■■■ ■■■■■■□■■■■■■■■■■■■■□⋅■■■■■■■ ■■■■■■□■■■■■■■■■■■■■□ ■■■■■■□■■■■■■■■■■■■■□■ ■■■■■■□■■■■■■■■■■■■■□■ ■■■■■■□■■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■■■■■■■■□ ■■■■■■□■■■■■■■■■■■■■■■■■□■ ■■■■■■□■■■■■■■■■■■■■■■■■□■⋅ ■■■■■■□■■■■■■■■■■■■■■■■■□■⋅ ■■■■■■□■■■■■■■■■■■■■■■■■□■ ■■■■■■□■■■■■■■■■■■■■■■■■□■■ ■■■■■■□■■■■■■■■■■■■■■■■■□■■ ■■■■■■□■■■■■■■■■■■■■■■■■ ■■■■■■ ■■■■■■■ ■■■■■■■■ ■■■■■■■■■ ■■■■■■■■■■ ■■■■■■■■■■■ ■■■■■■■■■■■■ ■■■■■■■■■■■■⋅ ■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■⋅■■ ■■■■■■■■■■■■⋅■■■ ■■■■■■■■■■■■⋅■■■■ ■■■■■■■■■■■■⋅■■■■⋅ ■■■■■■■■■■■■⋅■■■■⋅■ ■■■■■■■■■■■■⋅■■■■⋅■⋅ ■■■■■■■■■■■■⋅■■■■⋅■⋅⋅ ■■■■■■■■■■■■⋅■■■■⋅■⋅⋅ ■■■■■■■■■■■■⋅■■■■⋅■⋅⋅■ ■■■■■■■■■■■■⋅■■■■⋅■⋅⋅■⋅ ■■■■■■■■■■■■⋅■■■■⋅■⋅⋅■ ■■■■■■■■■■■■⋅■■■■⋅■⋅ ■■■■■■■■■■■■⋅■■■■⋅■ ■■■■■■■■■■■■⋅■■■■⋅■□ ■■■■■■■■■■■■⋅■■■■⋅■□■ ■■■■■■■■■■■■⋅■■■■⋅■□■⋅ ■■■■■■■■■■■■⋅■■■■⋅■□■⋅⋅ ■■■■■■■■■■■■⋅■■■■⋅■□■⋅⋅ ■■■■■■■■■■■■⋅■■■■⋅■□■⋅ ■■■■■■■■■■■■⋅■■■■⋅■□■⋅■ ■■■■■■■■■■■■⋅■■■■⋅■□■⋅■⋅ ■■■■■■■■■■■■⋅■■■■⋅■□■⋅■⋅ ■■■■■■■■■■■■⋅■■■■⋅■□■⋅■ ■■■■■■■■■■■■⋅■■■■⋅■□■ ■■■■■■■■■■■■⋅■■■■⋅■□■■ ■■■■■■■■■■■■⋅■■■■⋅■□■■⋅ ■■■■■■■■■■■■⋅■■■■⋅■□■■⋅ ■■■■■■■■■■■■⋅■■■■⋅■□■■ ■■■■■■■■■■■■⋅■■■■⋅■□■■■ ■■■■■■■■■■■■⋅■■■■⋅■□■■■ ■■■■■■■■■■■■⋅■■■■⋅■ ■■■■■■■■■■■■⋅■■■■⋅■■ ■■■■■■■■■■■■⋅■■■■⋅■■⋅ ■■■■■■■■■■■■⋅■■■■⋅■■⋅⋅ ■■■■■■■■■■■■⋅■■■■⋅■■⋅⋅⋅ ■■■■■■■■■■■■⋅■■■■⋅■■⋅⋅⋅ ■■■■■■■■■■■■⋅■■■■⋅■■⋅⋅ ■■■■■■■■■■■■⋅■■■■⋅■■⋅ ■■■■■■■■■■■■⋅■■■■⋅■■ ■■■■■■■■■■■■⋅■■■■ ■■■■■■■■■■■■⋅■■■■■ ■■■■■■■■■■■■⋅■■■■■■ ■■■■■■■■■■■■⋅■■■■■■■ ■■■■■■■■■■■■⋅■■■■■■■⋅ ■■■■■■■■■■■■⋅■■■■■■■⋅■ ■■■■■■■■■■■■⋅■■■■■■■⋅■■ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■■ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■■⋅ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■■⋅⋅ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■■⋅ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■■⋅■ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■■⋅■ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■■ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■■■ ■■■■■■■■■■■■⋅■■■■■■■⋅■■■■■ ■■■■■■■■■■■■⋅■■■■■■■ ■■■■■■■■■■■■⋅■■■■■■■□ ■■■■■■■■■■■■⋅■■■■■■■□⋅ ■■■■■■■■■■■■⋅■■■■■■■□⋅ ■■■■■■■■■■■■⋅■■■■■■■□⋅□ ■■■■■■■■■■■■⋅■■■■■■■□⋅□■ ■■■■■■■■■■■■⋅■■■■■■■□⋅□■⋅ ■■■■■■■■■■■■⋅■■■■■■■□⋅□■⋅ ■■■■■■■■■■■■⋅■■■■■■■□⋅□■ ■■■■■■■■■■■■⋅■■■■■■■□⋅□■■ ■■■■■■■■■■■■⋅■■■■■■■□⋅□■■ ■■■■■■■■■■■■⋅■■■■■■■□⋅ ■■■■■■■■■■■■⋅■■■■■■■□ ■■■■■■■■■■■■⋅■■■■■■■□■ ■■■■■■■■■■■■⋅■■■■■■■□■⋅ ■■■■■■■■■■■■⋅■■■■■■■□■⋅■ ■■■■■■■■■■■■⋅■■■■■■■□■⋅■ ■■■■■■■■■■■■⋅■■■■■■■□■⋅■■ ■■■■■■■■■■■■⋅■■■■■■■□■⋅■■ ■■■■■■■■■■■■⋅■■■■■■■□■ ■■■■■■■■■■■■⋅■■■■■■■ ■■■■■■■■■■■■⋅■■■■■■■■ ■■■■■■■■■■■■⋅■■■■■■■■■ ■■■■■■■■■■■■⋅■■■■■■■■■⋅ ■■■■■■■■■■■■⋅■■■■■■■■■⋅⋅ ■■■■■■■■■■■■⋅■■■■■■■■■⋅⋅ ■■■■■■■■■■■■⋅■■■■■■■■■⋅⋅■ ■■■■■■■■■■■■⋅■■■■■■■■■⋅⋅■■ ■■■■■■■■■■■■⋅■■■■■■■■■⋅⋅■■ ■■■■■■■■■■■■⋅■■■■■■■■■⋅ ■■■■■■■■■■■■⋅■■■■■■■■■ ■■■■■■■■■■■■ ■■■■■■■■■■■■■ ■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■⋅■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅■ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅■ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅■■ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅■■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅■■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■⋅■■ ■■■■■■■■■■■■■■■■■■■■⋅■⋅■ ■■■■■■■■■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■⋅■□ ■■■■■■■■■■■■■■■■■■■■⋅■□ ■■■■■■■■■■■■■■■■■■■■⋅■□□ ■■■■■■■■■■■■■■■■■■■■⋅■□□ ■■■■■■■■■■■■■■■■■■■■⋅■□□ ■■■■■■■■■■■■■■■■■■■■⋅■□□ ■■■■■■■■■■■■■■■■■■■■⋅■□ ■■■■■■■■■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■⋅■■ ■■■■■■■■■■■■■■■■■■■■⋅■■■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■⋅⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■⋅⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□■⋅⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□■⋅⋅⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□■⋅⋅⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□■⋅⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■□■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■■ ■■■■■■■■■■■■■■■■■■■■⋅■■■■■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■■⋅ ■■■■■■■■■■■■■■■■■■■■⋅■■■■■ ■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■□ ■■■■■■■■■■■■■■■■■■■■□■ ■■■■■■■■■■■■■■■■■■■■□■⋅ ■■■■■■■■■■■■■■■■■■■■□■⋅ ■■■■■■■■■■■■■■■■■■■■□■⋅□ ■■■■■■■■■■■■■■■■■■■■□■⋅□⋅ ■■■■■■■■■■■■■■■■■■■■□■⋅□⋅⋅ ■■■■■■■■■■■■■■■■■■■■□■⋅□⋅⋅ ■■■■■■■■■■■■■■■■■■■■□■⋅□⋅ ■■■■■■■■■■■■■■■■■■■■□■⋅□ ■■■■■■■■■■■■■■■■■■■■□■⋅□ ■■■■■■■■■■■■■■■■■■■■□■⋅ ■■■■■■■■■■■■■■■■■■■■□■ ■■■■■■■■■■■■■■■■■■■■□■□ ■■■■■■■■■■■■■■■■■■■■□■□ ■■■■■■■■■■■■■■■■■■■■□■□■ ■■■■■■■■■■■■■■■■■■■■□■□■⋅ ■■■■■■■■■■■■■■■■■■■■□■□■⋅⋅ ■■■■■■■■■■■■■■■■■■■■□■□■⋅⋅ ■■■■■■■■■■■■■■■■■■■■□■□■⋅ ■■■■■■■■■■■■■■■■■■■■□■□■⋅■ ■■■■■■■■■■■■■■■■■■■■□■□■⋅■ ■■■■■■■■■■■■■■■■■■■■□■□■ ■■■■■■■■■■■■■■■■■■■■□■□■■ ■■■■■■■■■■■■■■■■■■■■□■□■■⋅ ■■■■■■■■■■■■■■■■■■■■□■□■■⋅ ■■■■■■■■■■■■■■■■■■■■□■□■■ ■■■■■■■■■■■■■■■■■■■■□■ ■■■■■■■■■■■■■■■■■■■■□■■ ■■■■■■■■■■■■■■■■■■■■□■■⋅ ■■■■■■■■■■■■■■■■■■■■□■■⋅⋅ ■■■■■■■■■■■■■■■■■■■■□■■⋅⋅⋅ ■■■■■■■■■■■■■■■■■■■■□■■⋅⋅⋅ ■■■■■■■■■■■■■■■■■■■■□■■⋅⋅ ■■■■■■■■■■■■■■■■■■■■□■■⋅ ■■■■■■■■■■■■■■■■■■■■□■■⋅■ ■■■■■■■■■■■■■■■■■■■■□■■⋅■⋅ ■■■■■■■■■■■■■■■■■■■■□■■⋅■ ■■■■■■■■■■■■■■■■■■■■□■■ ■■■■■■■■■■■■■■■■■■■■□■■ ■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■⋅ ■■■■■■■■■■■■■■■■■■■■■■⋅⋅ ■■■■■■■■■■■■■■■■■■■■■■⋅⋅■ ■■■■■■■■■■■■■■■■■■■■■■⋅⋅■⋅ ■■■■■■■■■■■■■■■■■■■■■■⋅⋅■⋅ ■■■■■■■■■■■■■■■■■■■■■■⋅⋅■ ■■■■■■■■■■■■■■■■■■■■■■⋅ ■■■■■■■■■■■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■■⋅ ■■■■■■■■■■■■■■■■■■■■■■■■■■⋅ ■■■■■■■■■■■■■■■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■■■■■■■⋅■⋅ ■■■■■■■■■■■■■■■■■■■■■■■■■■⋅■⋅ ■■■■■■■■■■■■■■■■■■■■■■■■■■⋅■ ■■■■■■■■■■■■■■■■■■■■■■■■■■ (res0.count, res1.count, res2.count, res3.count, res4.count) = (14156, 241, 166, 410, 104) Test Summary: | Pass Total Time mockproblem | 17 17 31.8s ┌ Warning: Unable to determine HTML(edit_link = ...) from remote HEAD branch, defaulting to "master". │ Calling `git remote` failed with an exception. Set JULIA_DEBUG=Documenter to see the error. │ Unless this is due to a configuration error, the relevant variable should be set explicitly. └ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/utilities/utilities.jl:665 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. [ Info: Skipped ExpandTemplates step (doctest only). [ Info: Skipped CrossReferences step (doctest only). [ Info: Skipped CheckDocument step (doctest only). [ Info: Skipped Populate step (doctest only). [ Info: Skipped RenderDocument step (doctest only). Test Summary: | Pass Total Time Doctests: OptimalBranchingCore | 1 1 1m02.2s Testing OptimalBranchingCore tests passed Testing completed after 244.67s PkgEval succeeded after 661.62s