Package evaluation of ModalDecisionTrees on Julia 1.13.0-DEV.985 (9c94e7ae32*) started at 2025-08-15T02:51:59.299 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 10.78s ################################################################################ # Installation # Installing ModalDecisionTrees... Resolving package versions... Installed catch22_jll ───────────────── v0.4.0+0 Installed InlineStrings ─────────────── v1.4.4 Installed Extents ───────────────────── v0.1.6 Installed DefineSingletons ──────────── v0.1.2 Installed ArgCheck ──────────────────── v2.5.0 Installed SentinelArrays ────────────── v1.4.8 Installed SoleBase ──────────────────── v0.12.4 Installed OrderedCollections ────────── v1.8.1 Installed InitialValues ─────────────── v0.3.1 Installed SoleModels ────────────────── v0.8.3 Installed SoleData ──────────────────── v0.15.3 Installed Compiler ──────────────────── v0.1.1 Installed OpenSpecFun_jll ───────────── v0.5.6+0 Installed LoweredCodeUtils ──────────── v3.4.3 Installed MultiData ─────────────────── v0.1.2 Installed Tables ────────────────────── v1.12.1 Installed QuadGK ────────────────────── v2.11.2 Installed Revise ────────────────────── v3.9.0 Installed DimensionalData ───────────── v0.29.21 Installed Reexport ──────────────────── v1.2.2 Installed Missings ──────────────────── v1.2.0 Installed TableTraits ───────────────── v1.0.1 Installed ResumableFunctions ────────── v0.6.10 Installed InverseFunctions ──────────── v0.1.17 Installed Preferences ───────────────── v1.5.0 Installed LaTeXStrings ──────────────── v1.4.0 Installed SortingAlgorithms ─────────── v1.2.2 Installed Inflate ───────────────────── v0.1.5 Installed Crayons ───────────────────── v4.1.1 Installed ARFFFiles ─────────────────── v1.5.0 Installed Indexing ──────────────────── v1.1.1 Installed URIs ──────────────────────── v1.6.1 Installed MacroTools ────────────────── v0.5.16 Installed DataStructures ────────────── v0.18.22 Installed FillArrays ────────────────── v1.13.0 Installed AbstractTrees ─────────────── v0.4.5 Installed DelimitedFiles ────────────── v1.9.1 Installed TimeseriesFeatures ────────── v0.4.4 Installed ArnoldiMethod ─────────────── v0.4.0 Installed DataValueInterfaces ───────── v1.0.0 Installed CodecZlib ─────────────────── v0.7.8 Installed ArrayInterface ────────────── v7.19.0 Installed StatsBase ─────────────────── v0.34.6 Installed IrrationalConstants ───────── v0.2.4 Installed LoggingExtras ─────────────── v1.1.0 Installed SimpleTraits ──────────────── v0.9.5 Installed BitFlags ──────────────────── v0.1.9 Installed ThreadsX ──────────────────── v0.1.12 Installed SplittablesBase ───────────── v0.1.15 Installed OpenML ────────────────────── v0.3.2 Installed Referenceables ────────────── v0.1.3 Installed HTTP ──────────────────────── v1.10.17 Installed Transducers ───────────────── v0.4.84 Installed Setfield ──────────────────── v1.1.2 Installed Scratch ───────────────────── v1.3.0 Installed Baselet ───────────────────── v0.1.1 Installed SimpleBufferStream ────────── v1.2.0 Installed PDMats ────────────────────── v0.11.35 Installed WorkerUtilities ───────────── v1.6.1 Installed PooledArrays ──────────────── v1.4.3 Installed BenchmarkTools ────────────── v1.6.0 Installed CompositionsBase ──────────── v0.1.2 Installed Rmath_jll ─────────────────── v0.5.1+0 Installed DocStringExtensions ───────── v0.9.5 Installed ConcurrentUtilities ───────── v2.5.0 Installed ZipFile ───────────────────── v0.10.1 Installed AliasTables ───────────────── v1.1.3 Installed ScientificTypes ───────────── v3.1.1 Installed Memoization ───────────────── v0.2.2 Installed RecipesBase ───────────────── v1.3.4 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed DataAPI ───────────────────── v1.16.0 Installed StaticArraysCore ──────────── v1.4.3 Installed CodeTracking ──────────────── v2.0.0 Installed Catch22 ───────────────────── v0.5.2 Installed BangBang ──────────────────── v0.4.4 Installed InvertedIndices ───────────── v1.3.1 Installed StaticArrays ──────────────── v1.9.14 Installed StringManipulation ────────── v0.4.1 Installed ColorTypes ────────────────── v0.12.1 Installed FunctionWrappers ──────────── v1.1.3 Installed Requires ──────────────────── v1.3.1 Installed LogExpFunctions ───────────── v0.3.29 Installed CategoricalDistributions ──── v0.1.15 Installed Parsers ───────────────────── v2.8.3 Installed JSON ──────────────────────── v0.21.4 Installed JuliaInterpreter ──────────── v0.10.5 Installed Rmath ─────────────────────── v0.8.0 Installed PrettyTables ──────────────── v2.4.0 Installed WeakRefStrings ────────────── v1.4.2 Installed ThreadSafeDicts ───────────── v0.1.6 Installed StatsFuns ─────────────────── v1.5.0 Installed JLLWrappers ───────────────── v1.7.1 Installed Distributions ─────────────── v0.25.120 Installed CSV ───────────────────────── v0.10.15 Installed IterTools ─────────────────── v1.10.0 Installed Lazy ──────────────────────── v0.15.1 Installed CategoricalArrays ─────────── v0.10.8 Installed Dictionaries ──────────────── v0.4.5 Installed SoleLogics ────────────────── v0.10.4 Installed StatisticalTraits ─────────── v3.5.0 Installed MicroCollections ──────────── v0.2.0 Installed Accessors ─────────────────── v0.1.42 Installed FilePathsBase ─────────────── v0.9.24 Installed DataFrames ────────────────── v1.7.0 Installed Adapt ─────────────────────── v4.3.0 Installed ConstructionBase ──────────── v1.6.0 Installed Graphs ────────────────────── v1.13.0 Installed ExceptionUnwrapping ───────── v0.1.11 Installed HypergeometricFunctions ───── v0.3.28 Installed Compat ────────────────────── v4.18.0 Installed TranscodingStreams ────────── v0.11.3 Installed Suppressor ────────────────── v0.2.8 Installed StatsAPI ──────────────────── v1.7.1 Installed ProgressLogging ───────────── v0.1.5 Installed ProgressMeter ─────────────── v1.10.4 Installed Statistics ────────────────── v1.11.1 Installed ModalDecisionTrees ────────── v0.5.1 Installed MbedTLS ───────────────────── v1.1.9 Installed PrecompileTools ───────────── v1.3.2 Installed OpenSSL ───────────────────── v1.5.0 Installed ScientificTypesBase ───────── v3.0.0 Installed PtrArrays ─────────────────── v1.3.0 Installed FixedPointNumbers ─────────── v0.8.5 Installed IntervalSets ──────────────── v0.7.11 Installed Interfaces ────────────────── v0.3.2 Installed Sole ──────────────────────── v0.6.1 Installed SpecialFunctions ──────────── v2.5.1 Installed UniqueVectors ─────────────── v1.2.0 Installed MbedTLS_jll ───────────────── v2.28.6+2 Installed MLJModelInterface ─────────── v1.12.0 Installing 4 artifacts Installed artifact catch22 48.2 KiB Installed artifact OpenSpecFun 194.9 KiB Installed artifact Rmath 121.9 KiB Installed artifact MbedTLS 2.1 MiB Updating `~/.julia/environments/v1.13/Project.toml` [e54bda2e] + ModalDecisionTrees v0.5.1 Updating `~/.julia/environments/v1.13/Manifest.toml` [da404889] + ARFFFiles v1.5.0 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.42 [79e6a3ab] + Adapt v4.3.0 [66dad0bd] + AliasTables v1.1.3 [dce04be8] + ArgCheck v2.5.0 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.19.0 [198e06fe] + BangBang v0.4.4 [9718e550] + Baselet v0.1.1 [6e4b80f9] + BenchmarkTools v1.6.0 [d1d4a3ce] + BitFlags v0.1.9 [336ed68f] + CSV v0.10.15 ⌅ [acdeb78f] + Catch22 v0.5.2 ⌅ [324d7699] + CategoricalArrays v0.10.8 [af321ab8] + CategoricalDistributions v0.1.15 [da1fd8a2] + CodeTracking v2.0.0 [944b1d66] + CodecZlib v0.7.8 [3da002f7] + ColorTypes v0.12.1 [34da2185] + Compat v4.18.0 [807dbc54] + Compiler v0.1.1 [a33af91c] + CompositionsBase v0.1.2 [f0e56b4a] + ConcurrentUtilities v2.5.0 [187b0558] + ConstructionBase v1.6.0 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [a93c6f00] + DataFrames v1.7.0 ⌅ [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [244e2a9f] + DefineSingletons v0.1.2 [8bb1440f] + DelimitedFiles v1.9.1 [85a47980] + Dictionaries v0.4.5 [0703355e] + DimensionalData v0.29.21 [31c24e10] + Distributions v0.25.120 [ffbed154] + DocStringExtensions v0.9.5 [460bff9d] + ExceptionUnwrapping v0.1.11 [411431e0] + Extents v0.1.6 [48062228] + FilePathsBase v0.9.24 [1a297f60] + FillArrays v1.13.0 [53c48c17] + FixedPointNumbers v0.8.5 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.13.0 [cd3eb016] + HTTP v1.10.17 [34004b35] + HypergeometricFunctions v0.3.28 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [22cec73e] + InitialValues v0.3.1 [842dd82b] + InlineStrings v1.4.4 [85a1e053] + Interfaces v0.3.2 [8197267c] + IntervalSets v0.7.11 [3587e190] + InverseFunctions v0.1.17 [41ab1584] + InvertedIndices v1.3.1 [92d709cd] + IrrationalConstants v0.2.4 [c8e1da08] + IterTools v1.10.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v0.21.4 [aa1ae85d] + JuliaInterpreter v0.10.5 [b964fa9f] + LaTeXStrings v1.4.0 [50d2b5c4] + Lazy v0.15.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [e6f89c97] + LoggingExtras v1.1.0 [6f1432cf] + LoweredCodeUtils v3.4.3 [e80e1ace] + MLJModelInterface v1.12.0 [1914dd2f] + MacroTools v0.5.16 [739be429] + MbedTLS v1.1.9 [6fafb56a] + Memoization v0.2.2 [128add7d] + MicroCollections v0.2.0 [e1d29d7a] + Missings v1.2.0 [e54bda2e] + ModalDecisionTrees v0.5.1 ⌃ [8cc5100c] + MultiData v0.1.2 [8b6db2d4] + OpenML v0.3.2 [4d8831e6] + OpenSSL v1.5.0 [bac558e1] + OrderedCollections v1.8.1 [90014a1f] + PDMats v0.11.35 [69de0a69] + Parsers v2.8.3 [2dfb63ee] + PooledArrays v1.4.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.5.0 [08abe8d2] + PrettyTables v2.4.0 [33c8b6b6] + ProgressLogging v0.1.5 [92933f4c] + ProgressMeter v1.10.4 [43287f4e] + PtrArrays v1.3.0 [1fd47b50] + QuadGK v2.11.2 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [42d2dcc6] + Referenceables v0.1.3 [ae029012] + Requires v1.3.1 ⌅ [c5292f4c] + ResumableFunctions v0.6.10 [295af30f] + Revise v3.9.0 [79098fc4] + Rmath v0.8.0 [321657f4] + ScientificTypes v3.1.1 [30f210dd] + ScientificTypesBase v3.0.0 [6c6a2e73] + Scratch v1.3.0 [91c51154] + SentinelArrays v1.4.8 [efcf1570] + Setfield v1.1.2 [777ac1f9] + SimpleBufferStream v1.2.0 [699a6c99] + SimpleTraits v0.9.5 ⌃ [7b3b3b3f] + Sole v0.6.1 ⌅ [4475fa32] + SoleBase v0.12.4 ⌅ [123f1ae1] + SoleData v0.15.3 ⌅ [b002da8f] + SoleLogics v0.10.4 ⌅ [4249d9c7] + SoleModels v0.8.3 [a2af1166] + SortingAlgorithms v1.2.2 [276daf66] + SpecialFunctions v2.5.1 [171d559e] + SplittablesBase v0.1.15 [90137ffa] + StaticArrays v1.9.14 [1e83bf80] + StaticArraysCore v1.4.3 [64bff920] + StatisticalTraits v3.5.0 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.6 [4c63d2b9] + StatsFuns v1.5.0 [892a3eda] + StringManipulation v0.4.1 [fd094767] + Suppressor v0.2.8 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [4239201d] + ThreadSafeDicts v0.1.6 [ac1d9e8a] + ThreadsX v0.1.12 ⌅ [f3112013] + TimeseriesFeatures v0.4.4 [3bb67fe8] + TranscodingStreams v0.11.3 [28d57a85] + Transducers v0.4.84 [5c2747f8] + URIs v1.6.1 [2fbcfb34] + UniqueVectors v1.2.0 [ea10d353] + WeakRefStrings v1.4.2 [76eceee3] + WorkerUtilities v1.6.1 [a5390f91] + ZipFile v0.10.1 [c8ffd9c3] + MbedTLS_jll v2.28.6+2 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [f50d1b31] + Rmath_jll v0.5.1+0 ⌅ [8a07c0c5] + catch22_jll v0.4.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 [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 [4607b0f0] + SuiteSparse [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.15.0+1 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.7.15 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [458c3c95] + OpenSSL_jll v3.5.2+0 [efcefdf7] + PCRE2_jll v10.45.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.13.1+0 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Installation completed after 11.89s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 4325.2 ms ✓ TestEnv 1 dependency successfully precompiled in 4 seconds. 27 already precompiled. Precompiling package dependencies... ERROR: LoadError: The following 2 direct dependencies failed to precompile: ImageFiltering Failed to precompile ImageFiltering [6a3955dd-da59-5b1f-98d4-e7296123deb5] to "/home/pkgeval/.julia/compiled/v1.13/ImageFiltering/jl_Lbe9SX" (ProcessExited(1)). ERROR: LoadError: UndefVarError: `StaticData` not defined in `Base` Suggestion: check for spelling errors or missing imports. Stacktrace: [1] getproperty @ ./Base_compiler.jl:50 [inlined] [2] recompile_invalidations(__module__::Module, expr::Any) @ PrecompileTools ~/.julia/packages/PrecompileTools/Z8SWe/src/invalidations.jl:17 [3] top-level scope @ ~/.julia/packages/StaticArrayInterface/lkDPR/src/StaticArrayInterface.jl:19 [4] include(mod::Module, _path::String) @ Base ./Base.jl:308 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String) @ Base ./loading.jl:3017 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2863 [9] include_string @ ./loading.jl:2873 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [11] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/StaticArrayInterface/lkDPR/src/StaticArrayInterface.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile StaticArrayInterface [0d7ed370-da01-4f52-bd93-41d350b8b718] to "/home/pkgeval/.julia/compiled/v1.13/StaticArrayInterface/jl_k8UQNL" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3304 [3] kwcall(::@NamedTuple{reasons::Dict{String, Int64}, loadable_exts::Nothing}, ::typeof(Base.compilecache), pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool) @ Base ./loading.jl:3182 [4] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2669 [5] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [6] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [7] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [8] #invokelatest_gr#233 @ ./reflection.jl:1333 [inlined] [9] invokelatest_gr @ ./reflection.jl:1325 [inlined] [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3875 [11] maybe_cachefile_lock @ ./loading.jl:3872 [inlined] [12] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2655 [13] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2484 [14] macro expansion @ ./loading.jl:2412 [inlined] [15] macro expansion @ ./lock.jl:376 [inlined] [16] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2376 [17] require @ ./loading.jl:2352 [inlined] [18] eval_import_path @ ./module.jl:36 [inlined] [19] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [20] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [21] top-level scope @ ~/.julia/packages/TiledIteration/MBTB8/src/TiledIteration.jl:6 [22] include(mod::Module, _path::String) @ Base ./Base.jl:308 [23] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String) @ Base ./loading.jl:3017 [24] top-level scope @ stdin:5 [25] eval(m::Module, e::Any) @ Core ./boot.jl:489 [26] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2863 [27] include_string @ ./loading.jl:2873 [inlined] [28] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [29] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/TiledIteration/MBTB8/src/TiledIteration.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile TiledIteration [06e1c1a7-607b-532d-9fad-de7d9aa2abac] to "/home/pkgeval/.julia/compiled/v1.13/TiledIteration/jl_nCNtnI" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3304 [3] kwcall(::@NamedTuple{reasons::Dict{String, Int64}, loadable_exts::Nothing}, ::typeof(Base.compilecache), pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool) @ Base ./loading.jl:3182 [4] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2669 [5] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [6] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [7] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [8] #invokelatest_gr#233 @ ./reflection.jl:1333 [inlined] [9] invokelatest_gr @ ./reflection.jl:1325 [inlined] [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3875 [11] maybe_cachefile_lock @ ./loading.jl:3872 [inlined] [12] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2655 [13] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2484 [14] macro expansion @ ./loading.jl:2412 [inlined] [15] macro expansion @ ./lock.jl:376 [inlined] [16] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2376 [17] require @ ./loading.jl:2352 [inlined] [18] eval_import_path @ ./module.jl:36 [inlined] [19] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [20] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [21] top-level scope @ ~/.julia/packages/ImageFiltering/9pKCh/src/ImageFiltering.jl:4 [22] include(mod::Module, _path::String) @ Base ./Base.jl:308 [23] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:3017 [24] top-level scope @ stdin:5 [25] eval(m::Module, e::Any) @ Core ./boot.jl:489 [26] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2863 [27] include_string @ ./loading.jl:2873 [inlined] [28] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [29] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/ImageFiltering/9pKCh/src/ImageFiltering.jl:1 in expression starting at stdin:5 Images Failed to precompile Images [916415d5-f1e6-5110-898d-aaa5f9f070e0] to "/home/pkgeval/.julia/compiled/v1.13/Images/jl_20R3Ij" (ProcessExited(1)). ERROR: LoadError: UndefVarError: `StaticData` not defined in `Base` Suggestion: check for spelling errors or missing imports. Stacktrace: [1] getproperty @ ./Base_compiler.jl:50 [inlined] [2] recompile_invalidations(__module__::Module, expr::Any) @ PrecompileTools ~/.julia/packages/PrecompileTools/Z8SWe/src/invalidations.jl:17 [3] top-level scope @ ~/.julia/packages/StaticArrayInterface/lkDPR/src/StaticArrayInterface.jl:19 [4] include(mod::Module, _path::String) @ Base ./Base.jl:308 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String) @ Base ./loading.jl:3017 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2863 [9] include_string @ ./loading.jl:2873 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [11] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/StaticArrayInterface/lkDPR/src/StaticArrayInterface.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile StaticArrayInterface [0d7ed370-da01-4f52-bd93-41d350b8b718] to "/home/pkgeval/.julia/compiled/v1.13/StaticArrayInterface/jl_vNki7M" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3304 [3] kwcall(::@NamedTuple{reasons::Dict{String, Int64}, loadable_exts::Nothing}, ::typeof(Base.compilecache), pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool) @ Base ./loading.jl:3182 [4] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2669 [5] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [6] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [7] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [8] #invokelatest_gr#233 @ ./reflection.jl:1333 [inlined] [9] invokelatest_gr @ ./reflection.jl:1325 [inlined] [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3875 [11] maybe_cachefile_lock @ ./loading.jl:3872 [inlined] [12] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2655 [13] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2484 [14] macro expansion @ ./loading.jl:2412 [inlined] [15] macro expansion @ ./lock.jl:376 [inlined] [16] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2376 [17] require @ ./loading.jl:2352 [inlined] [18] eval_import_path @ ./module.jl:36 [inlined] [19] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [20] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [21] top-level scope @ ~/.julia/packages/TiledIteration/MBTB8/src/TiledIteration.jl:6 [22] include(mod::Module, _path::String) @ Base ./Base.jl:308 [23] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String) @ Base ./loading.jl:3017 [24] top-level scope @ stdin:5 [25] eval(m::Module, e::Any) @ Core ./boot.jl:489 [26] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2863 [27] include_string @ ./loading.jl:2873 [inlined] [28] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [29] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/TiledIteration/MBTB8/src/TiledIteration.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile TiledIteration [06e1c1a7-607b-532d-9fad-de7d9aa2abac] to "/home/pkgeval/.julia/compiled/v1.13/TiledIteration/jl_9TyJJF" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3304 [3] kwcall(::@NamedTuple{reasons::Dict{String, Int64}, loadable_exts::Nothing}, ::typeof(Base.compilecache), pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool) @ Base ./loading.jl:3182 [4] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2669 [5] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [6] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [7] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [8] #invokelatest_gr#233 @ ./reflection.jl:1333 [inlined] [9] invokelatest_gr @ ./reflection.jl:1325 [inlined] [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3875 [11] maybe_cachefile_lock @ ./loading.jl:3872 [inlined] [12] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2655 [13] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2484 [14] macro expansion @ ./loading.jl:2412 [inlined] [15] macro expansion @ ./lock.jl:376 [inlined] [16] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2376 [17] require @ ./loading.jl:2352 [inlined] [18] eval_import_path @ ./module.jl:36 [inlined] [19] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [20] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [21] top-level scope @ ~/.julia/packages/ImageFiltering/9pKCh/src/ImageFiltering.jl:4 [22] include(mod::Module, _path::String) @ Base ./Base.jl:308 [23] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String) @ Base ./loading.jl:3017 [24] top-level scope @ stdin:5 [25] eval(m::Module, e::Any) @ Core ./boot.jl:489 [26] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2863 [27] include_string @ ./loading.jl:2873 [inlined] [28] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [29] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/ImageFiltering/9pKCh/src/ImageFiltering.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile ImageFiltering [6a3955dd-da59-5b1f-98d4-e7296123deb5] to "/home/pkgeval/.julia/compiled/v1.13/ImageFiltering/jl_XRMcVu" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3304 [3] kwcall(::@NamedTuple{reasons::Dict{String, Int64}, loadable_exts::Nothing}, ::typeof(Base.compilecache), pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool) @ Base ./loading.jl:3182 [4] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2669 [5] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [6] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [7] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [8] #invokelatest_gr#233 @ ./reflection.jl:1333 [inlined] [9] invokelatest_gr @ ./reflection.jl:1325 [inlined] [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3875 [11] maybe_cachefile_lock @ ./loading.jl:3872 [inlined] [12] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2655 [13] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2484 [14] macro expansion @ ./loading.jl:2412 [inlined] [15] macro expansion @ ./lock.jl:376 [inlined] [16] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2376 [17] require @ ./loading.jl:2352 [inlined] [18] eval_import_path @ ./module.jl:36 [inlined] [19] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [20] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [21] top-level scope @ ~/.julia/packages/ImageCorners/Yegqa/src/ImageCorners.jl:5 [22] include(mod::Module, _path::String) @ Base ./Base.jl:308 [23] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String) @ Base ./loading.jl:3017 [24] top-level scope @ stdin:5 [25] eval(m::Module, e::Any) @ Core ./boot.jl:489 [26] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2863 [27] include_string @ ./loading.jl:2873 [inlined] [28] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [29] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/ImageCorners/Yegqa/src/ImageCorners.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile ImageCorners [89d5987c-236e-4e32-acd0-25bd6bd87b70] to "/home/pkgeval/.julia/compiled/v1.13/ImageCorners/jl_I9CSN2" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3304 [3] kwcall(::@NamedTuple{reasons::Dict{String, Int64}, loadable_exts::Nothing}, ::typeof(Base.compilecache), pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool) @ Base ./loading.jl:3182 [4] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2669 [5] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [6] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [7] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [8] #invokelatest_gr#233 @ ./reflection.jl:1333 [inlined] [9] invokelatest_gr @ ./reflection.jl:1325 [inlined] [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3875 [11] maybe_cachefile_lock @ ./loading.jl:3872 [inlined] [12] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2655 [13] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2484 [14] macro expansion @ ./loading.jl:2412 [inlined] [15] macro expansion @ ./lock.jl:376 [inlined] [16] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2376 [17] require @ ./loading.jl:2352 [inlined] [18] eval_import_path @ ./module.jl:36 [inlined] [19] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [20] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [21] top-level scope @ ~/.julia/packages/Images/hQ3Jo/src/Images.jl:23 [22] include(mod::Module, _path::String) @ Base ./Base.jl:308 [23] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:3017 [24] top-level scope @ stdin:5 [25] eval(m::Module, e::Any) @ Core ./boot.jl:489 [26] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2863 [27] include_string @ ./loading.jl:2873 [inlined] [28] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [29] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/Images/hQ3Jo/src/Images.jl:1 in expression starting at stdin:5 in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 2189.19s ################################################################################ # Testing # Testing ModalDecisionTrees Status `/tmp/jl_QbX9NF/Project.toml` [da404889] ARFFFiles v1.5.0 [1520ce14] AbstractTrees v0.4.5 [6e4b80f9] BenchmarkTools v1.6.0 ⌅ [324d7699] CategoricalArrays v0.10.8 [af321ab8] CategoricalDistributions v0.1.15 [e3df1716] D3Trees v0.3.5 [a93c6f00] DataFrames v1.7.0 ⌅ [864edb3b] DataStructures v0.18.22 [8bb1440f] DelimitedFiles v1.9.1 [31c24e10] Distributions v0.25.120 [1a297f60] FillArrays v1.13.0 [069b7b12] FunctionWrappers v1.1.3 [cd3eb016] HTTP v1.10.17 [6a3955dd] ImageFiltering v0.7.12 [916415d5] Images v0.26.2 [50d2b5c4] Lazy v0.15.1 [e6f89c97] LoggingExtras v1.1.0 [eb30cadb] MLDatasets v0.7.18 ⌅ [add582a8] MLJ v0.19.5 ⌅ [a7f614a8] MLJBase v0.21.14 [e80e1ace] MLJModelInterface v1.12.0 [6fafb56a] Memoization v0.2.2 [e54bda2e] ModalDecisionTrees v0.5.1 ⌃ [8cc5100c] MultiData v0.1.2 [8b6db2d4] OpenML v0.3.2 [7f904dfe] PlutoUI v0.7.69 [92933f4c] ProgressMeter v1.10.4 [ce6b1742] RDatasets v0.7.7 [189a3867] Reexport v1.2.2 ⌅ [c5292f4c] ResumableFunctions v0.6.10 [295af30f] Revise v3.9.0 [321657f4] ScientificTypes v3.1.1 ⌃ [7b3b3b3f] Sole v0.6.1 ⌅ [4475fa32] SoleBase v0.12.4 ⌅ [123f1ae1] SoleData v0.15.3 ⌅ [b002da8f] SoleLogics v0.10.4 ⌅ [4249d9c7] SoleModels v0.8.3 [10745b16] Statistics v1.11.1 [2913bbd2] StatsBase v0.34.6 [fd094767] Suppressor v0.2.8 [bd369af6] Tables v1.12.1 [ac1d9e8a] ThreadsX v0.1.12 [a5390f91] ZipFile v0.10.1 [b77e0a4c] InteractiveUtils v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_QbX9NF/Manifest.toml` [da404889] ARFFFiles v1.5.0 [621f4979] AbstractFFTs v1.5.0 [6e696c72] AbstractPlutoDingetjes v1.3.2 [1520ce14] AbstractTrees v0.4.5 [7d9f7c33] Accessors v0.1.42 [79e6a3ab] Adapt v4.3.0 [66dad0bd] AliasTables v1.1.3 [dce04be8] ArgCheck v2.5.0 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.19.0 [a9b6321e] Atomix v1.1.2 [a963bdd2] AtomsBase v0.5.1 [13072b0f] AxisAlgorithms v1.1.0 [39de3d68] AxisArrays v0.4.7 [ab4f0b2a] BFloat16s v0.5.1 [198e06fe] BangBang v0.4.4 [9718e550] Baselet v0.1.1 [6e4b80f9] BenchmarkTools v1.6.0 [d1d4a3ce] BitFlags v0.1.9 [62783981] BitTwiddlingConvenienceFunctions v0.1.6 [e1450e63] BufferedStreams v1.2.2 [fa961155] CEnum v0.5.0 [2a0fbf3d] CPUSummary v0.2.7 [336ed68f] CSV v0.10.15 [aafaddc9] CatIndices v0.2.2 ⌅ [acdeb78f] Catch22 v0.5.2 ⌅ [324d7699] CategoricalArrays v0.10.8 [af321ab8] CategoricalDistributions v0.1.15 [d360d2e6] ChainRulesCore v1.26.0 [46823bd8] Chemfiles v0.10.42 [fb6a15b2] CloseOpenIntervals v0.1.13 [aaaa29a8] Clustering v0.15.8 [da1fd8a2] CodeTracking v2.0.0 [944b1d66] CodecZlib v0.7.8 [35d6a980] ColorSchemes v3.30.0 [3da002f7] ColorTypes v0.12.1 [c3611d14] ColorVectorSpace v0.11.0 [5ae59095] Colors v0.13.1 [861a8166] Combinatorics v1.0.3 [f70d9fcc] CommonWorldInvalidations v1.0.0 [34da2185] Compat v4.18.0 [807dbc54] Compiler v0.1.1 [a33af91c] CompositionsBase v0.1.2 [ed09eef8] ComputationalResources v0.3.2 [f0e56b4a] ConcurrentUtilities v2.5.0 [187b0558] ConstructionBase v1.6.0 [6add18c4] ContextVariablesX v0.1.3 [150eb455] CoordinateTransformations v0.6.4 [adafc99b] CpuId v0.3.1 [a8cc5b0e] Crayons v4.1.1 [dc8bdbbb] CustomUnitRanges v1.0.2 [e3df1716] D3Trees v0.3.5 [9a962f9c] DataAPI v1.16.0 [124859b0] DataDeps v0.7.13 [a93c6f00] DataFrames v1.7.0 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [244e2a9f] DefineSingletons v0.1.2 [8bb1440f] DelimitedFiles v1.9.1 [85a47980] Dictionaries v0.4.5 [0703355e] DimensionalData v0.29.21 [b4f34e82] Distances v0.10.12 [31c24e10] Distributions v0.25.120 [ffbed154] DocStringExtensions v0.9.5 [792122b4] EarlyStopping v0.3.0 [460bff9d] ExceptionUnwrapping v0.1.11 [e2ba6199] ExprTools v0.1.10 [411431e0] Extents v0.1.6 [4f61f5a4] FFTViews v0.3.2 [7a1cc6ca] FFTW v1.9.0 [cc61a311] FLoops v0.2.2 [b9860ae5] FLoopsBase v0.1.1 [5789e2e9] FileIO v1.17.0 [48062228] FilePathsBase v0.9.24 [1a297f60] FillArrays v1.13.0 [53c48c17] FixedPointNumbers v0.8.5 [069b7b12] FunctionWrappers v1.1.3 [46192b85] GPUArraysCore v0.2.0 [92fee26a] GZip v0.6.2 [c27321d9] Glob v1.3.1 [a2bd30eb] Graphics v1.1.3 [86223c79] Graphs v1.13.0 [f67ccb44] HDF5 v0.17.2 [cd3eb016] HTTP v1.10.17 [076d061b] HashArrayMappedTries v0.2.0 [2c695a8d] HistogramThresholding v0.3.1 [3e5b6fbb] HostCPUFeatures v0.1.17 [34004b35] HypergeometricFunctions v0.3.28 [47d2ed2b] Hyperscript v0.0.5 [ac1192a8] HypertextLiteral v0.9.5 [b5f81e59] IOCapture v0.2.5 [615f187c] IfElse v0.1.1 [2803e5a7] ImageAxes v0.6.12 [c817782e] ImageBase v0.1.7 [cbc4b850] ImageBinarization v0.3.1 [f332f351] ImageContrastAdjustment v0.3.12 [a09fc81d] ImageCore v0.10.5 [89d5987c] ImageCorners v0.1.3 [51556ac3] ImageDistances v0.2.17 [6a3955dd] ImageFiltering v0.7.12 [82e4d734] ImageIO v0.6.9 [6218d12a] ImageMagick v1.4.2 [bc367c6b] ImageMetadata v0.9.10 [787d08f9] ImageMorphology v0.4.6 [2996bd0c] ImageQualityIndexes v0.3.7 [80713f31] ImageSegmentation v1.9.0 [4e3cecfd] ImageShow v0.3.8 [02fcd773] ImageTransformations v0.10.2 [916415d5] Images v0.26.2 [313cdc1a] Indexing v1.1.1 [9b13fd28] IndirectArrays v1.0.0 [d25df0c9] Inflate v0.1.5 [22cec73e] InitialValues v0.3.1 [842dd82b] InlineStrings v1.4.4 [1d092043] IntegralArrays v0.1.6 [85a1e053] Interfaces v0.3.2 [7d512f48] InternedStrings v0.7.0 [a98d9a8b] Interpolations v0.16.1 [8197267c] IntervalSets v0.7.11 [3587e190] InverseFunctions v0.1.17 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.4 [c8e1da08] IterTools v1.10.0 [b3c1a2ee] IterationControl v0.5.4 [82899510] IteratorInterfaceExtensions v1.0.0 [033835bb] JLD2 v0.5.15 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [b835a17e] JpegTurbo v0.1.6 [aa1ae85d] JuliaInterpreter v0.10.5 [b14d175d] JuliaVariables v0.2.4 [63c18a36] KernelAbstractions v0.9.38 [b964fa9f] LaTeXStrings v1.4.0 [a5e1c1ea] LatinHypercubeSampling v1.9.0 [10f19ff3] LayoutPointers v0.1.17 [50d2b5c4] Lazy v0.15.1 [8cdb02fc] LazyModules v0.3.1 [2ab3a3ac] LogExpFunctions v0.3.29 [e6f89c97] LoggingExtras v1.1.0 [bdcacae8] LoopVectorization v0.12.172 ⌅ [30fc2ffe] LossFunctions v0.11.2 [6f1432cf] LoweredCodeUtils v3.4.3 [23992714] MAT v0.10.7 [6c6e2e6c] MIMEs v1.1.0 [c2834f40] MLCore v1.0.0 [eb30cadb] MLDatasets v0.7.18 ⌅ [64a0f543] MLFlowClient v0.4.7 ⌅ [add582a8] MLJ v0.19.5 ⌅ [a7f614a8] MLJBase v0.21.14 ⌅ [50ed68f4] MLJEnsembles v0.3.3 ⌅ [7b7b8358] MLJFlow v0.1.1 ⌅ [614be32b] MLJIteration v0.5.1 [e80e1ace] MLJModelInterface v1.12.0 ⌅ [d491faf4] MLJModels v0.16.17 ⌅ [03970b2e] MLJTuning v0.7.4 [d8e11817] MLStyle v0.4.17 [f1d291b0] MLUtils v0.4.8 [3da0fdf6] MPIPreferences v0.1.11 [1914dd2f] MacroTools v0.5.16 [d125e4d3] ManualMemory v0.1.8 [dbb5928d] MappedArrays v0.4.2 [739be429] MbedTLS v1.1.9 [6fafb56a] Memoization v0.2.2 [626554b9] MetaGraphs v0.8.0 [128add7d] MicroCollections v0.2.0 [e1d29d7a] Missings v1.2.0 [78c3b35d] Mocking v0.8.1 [e54bda2e] ModalDecisionTrees v0.5.1 [e94cdb99] MosaicViews v0.3.4 ⌃ [8cc5100c] MultiData v0.1.2 [872c559c] NNlib v0.9.31 [15e1cf62] NPZ v0.4.3 [77ba4419] NaNMath v1.1.3 [71a1bf82] NameResolution v0.1.5 [b8a86587] NearestNeighbors v0.4.22 [f09324ee] Netpbm v1.1.1 [6fe1bfb0] OffsetArrays v1.17.0 [52e1d378] OpenEXR v0.3.3 [8b6db2d4] OpenML v0.3.2 [4d8831e6] OpenSSL v1.5.0 [bac558e1] OrderedCollections v1.8.1 [90014a1f] PDMats v0.11.35 [f57f5aa1] PNGFiles v0.4.4 [65ce6f38] PackageExtensionCompat v1.0.2 [5432bcbf] PaddedViews v0.5.12 [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.3 [7b2266bf] PeriodicTable v1.2.1 [fbb45041] Pickle v0.3.6 [eebad327] PkgVersion v0.3.3 [7f904dfe] PlutoUI v0.7.69 [1d0040c9] PolyesterWeave v0.2.2 [f27b6e38] Polynomials v4.1.0 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.5.0 [8162dcfd] PrettyPrint v0.2.0 [54e16d92] PrettyPrinting v0.4.2 [08abe8d2] PrettyTables v2.4.0 [33c8b6b6] ProgressLogging v0.1.5 [92933f4c] ProgressMeter v1.10.4 [43287f4e] PtrArrays v1.3.0 [4b34888f] QOI v1.0.1 [1fd47b50] QuadGK v2.11.2 [94ee1d12] Quaternions v0.7.6 ⌅ [df47a6cb] RData v0.8.3 [ce6b1742] RDatasets v0.7.7 [b3c3ace0] RangeArrays v0.3.2 [c84ed2f1] Ratios v0.4.5 [c1ae055f] RealDot v0.1.0 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [42d2dcc6] Referenceables v0.1.3 [dee08c22] RegionTrees v0.3.2 [05181044] RelocatableFolders v1.0.1 [ae029012] Requires v1.3.1 ⌅ [c5292f4c] ResumableFunctions v0.6.10 [295af30f] Revise v3.9.0 [79098fc4] Rmath v0.8.0 [6038ab10] Rotations v1.7.1 [fdea26ae] SIMD v3.7.1 [94e857df] SIMDTypes v0.1.0 [476501e8] SLEEFPirates v0.6.43 [321657f4] ScientificTypes v3.1.1 [30f210dd] ScientificTypesBase v3.0.0 [7e506255] ScopedValues v1.4.0 [6c6a2e73] Scratch v1.3.0 [91c51154] SentinelArrays v1.4.8 [efcf1570] Setfield v1.1.2 [605ecd9f] ShowCases v0.1.0 [777ac1f9] SimpleBufferStream v1.2.0 [699a6c99] SimpleTraits v0.9.5 [47aef6b3] SimpleWeightedGraphs v1.5.0 [45858cf5] Sixel v0.1.5 ⌃ [7b3b3b3f] Sole v0.6.1 ⌅ [4475fa32] SoleBase v0.12.4 ⌅ [123f1ae1] SoleData v0.15.3 ⌅ [b002da8f] SoleLogics v0.10.4 ⌅ [4249d9c7] SoleModels v0.8.3 [a2af1166] SortingAlgorithms v1.2.2 [276daf66] SpecialFunctions v2.5.1 [171d559e] SplittablesBase v0.1.15 [860ef19b] StableRNGs v1.0.3 [cae243ae] StackViews v0.1.2 [aedffcd0] Static v1.2.0 [0d7ed370] StaticArrayInterface v1.8.0 [90137ffa] StaticArrays v1.9.14 [1e83bf80] StaticArraysCore v1.4.3 [64bff920] StatisticalTraits v3.5.0 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.6 [4c63d2b9] StatsFuns v1.5.0 [4db3bf67] StridedViews v0.4.1 [69024149] StringEncodings v0.3.7 [892a3eda] StringManipulation v0.4.1 [856f2bd8] StructTypes v1.11.0 [fd094767] Suppressor v0.2.8 [dc5dba14] TZJData v1.5.0+2025b [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [62fd8b95] TensorCore v0.1.1 [4239201d] ThreadSafeDicts v0.1.6 [8290d209] ThreadingUtilities v0.5.5 [ac1d9e8a] ThreadsX v0.1.12 [731e570b] TiffImages v0.11.4 [06e1c1a7] TiledIteration v0.5.0 [f269a46b] TimeZones v1.22.0 ⌅ [f3112013] TimeseriesFeatures v0.4.4 [3bb67fe8] TranscodingStreams v0.11.3 [28d57a85] Transducers v0.4.84 [410a4b4d] Tricks v0.1.12 [5c2747f8] URIs v1.6.1 [3a884ed6] UnPack v1.0.2 [2fbcfb34] UniqueVectors v1.2.0 [1986cc42] Unitful v1.24.0 [a7773ee8] UnitfulAtomic v1.0.0 [013be700] UnsafeAtomics v0.3.0 [3d5dd08c] VectorizationBase v0.21.71 [ea10d353] WeakRefStrings v1.4.2 [e3aaa7dc] WebP v0.1.3 [efce3f68] WoodburyMatrices v1.0.0 [76eceee3] WorkerUtilities v1.6.1 [a5390f91] ZipFile v0.10.1 [78a364fa] Chemfiles_jll v0.10.4+0 [f5851436] FFTW_jll v3.3.11+0 [61579ee1] Ghostscript_jll v9.55.0+4 [59f7168a] Giflib_jll v5.2.3+0 [0234f1f7] HDF5_jll v1.14.6+0 [e33a78d0] Hwloc_jll v2.12.1+0 [c73af94c] ImageMagick_jll v7.1.1048+0 [905a6f67] Imath_jll v3.1.11+0 [1d5cc7b8] IntelOpenMP_jll v2025.2.0+0 [aacddb02] JpegTurbo_jll v3.1.1+0 ⌅ [88015f11] LERC_jll v3.0.0+1 [7e76a0d4] Libglvnd_jll v1.7.1+1 [94ce4f54] Libiconv_jll v1.18.0+0 ⌅ [89763e89] Libtiff_jll v4.5.1+1 [d3a379c0] LittleCMS_jll v2.16.0+0 [856f044c] MKL_jll v2025.2.0+0 [7cb0a576] MPICH_jll v4.3.1+0 [f1f71cc9] MPItrampoline_jll v5.5.4+0 [c8ffd9c3] MbedTLS_jll v2.28.6+2 [9237b28f] MicrosoftMPI_jll v10.1.4+3 [18a262bb] OpenEXR_jll v3.2.4+0 [643b3616] OpenJpeg_jll v2.5.4+0 [fe0851c0] OpenMPI_jll v5.0.8+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [f50d1b31] Rmath_jll v0.5.1+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 [c7cfdc94] Xorg_libxcb_jll v1.17.1+0 [c5fb5394] Xorg_xtrans_jll v1.6.0+0 ⌅ [8a07c0c5] catch22_jll v0.4.0+0 [477f73a3] libaec_jll v1.1.3+0 [b53b4c65] libpng_jll v1.6.50+0 [075b6546] libsixel_jll v1.10.5+0 ⌃ [c5f90fcd] libwebp_jll v1.4.0+0 [1317d2d5] oneTBB_jll v2022.0.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 [4607b0f0] SuiteSparse [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.15.0+1 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.7.15 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.5.2+0 [efcefdf7] PCRE2_jll v10.45.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.13.1+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Testing Running tests... WARNING: Method definition _dummy_backedge() in module Memoization at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:49 overwritten at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:65. Julia version: 1.13.0-DEV.985 ################################################## TEST: base.jl ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict("Class_1" => 1, "Class_2" => 1), argmax: Class_1, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict("Class_1" => 1, "Class_2" => 1), argmax: Class_1, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict(2 => 1, 1 => 1), argmax: 2, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (4 elements): Dict(2 => 2, 1 => 2), argmax: 2, max: 2 (sum = 4) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ================================================== ################################################## TEST: classification/japanesevowels.jl [ Info: Downloading dataset 375. ┌ Warning: Base.download is deprecated; use Downloads.download instead │ caller = load(id::Int64; maxbytes::Nothing) at data.jl:73 └ @ Core ~/.julia/packages/OpenML/cONhN/src/data.jl:73 ┌ Warning: Conversion to OrderedDict is deprecated for unordered associative containers (in this case, Dict{Any, Any}). Use an ordered or sorted associative type, such as SortedDict and OrderedDict. │ caller = DictColumnTable at dicts.jl:3 [inlined] └ @ Core ~/.julia/packages/Tables/cRTb7/src/dicts.jl:3 ┌ Warning: Conversion to OrderedDict is deprecated for unordered associative containers (in this case, Dict{Symbol, AbstractVector}). Use an ordered or sorted associative type, such as SortedDict and OrderedDict. │ caller = DictColumnTable at dicts.jl:3 [inlined] └ @ Core ~/.julia/packages/Tables/cRTb7/src/dicts.jl:3 Classification, modal: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: UndefVarError: `eachmodality` not defined in `ModalDecisionTrees.MLJInterface` Hint: It looks like two or more modules export different bindings with this name, resulting in ambiguity. Try explicitly importing it from a particular module, or qualifying the name with the module it should come from. Hint: a global variable of this name also exists in SoleData. - Also exported by SoleModels. Hint: a global variable of this name also exists in MultiData. Stacktrace: [1] wrapdataset(X::@NamedTuple{var"1"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"2"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"3"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"4"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"5"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"6"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"7"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"8"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"9"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"10"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"11"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"12"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}}, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:118 ┌ [2] wrapdataset │ @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined] ╰──── repeated 2 times [4] #reformat#67 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined] [5] reformat @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined] [6] reformat(m::ModalDecisionTree, X::@NamedTuple{var"1"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"2"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"3"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"4"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"5"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"6"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"7"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"8"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"9"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"10"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"11"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, var"12"::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}}, y::CategoricalVector{String, UInt32, String, CategoricalValue{String, UInt32}, Union{}}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [7] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Vector{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658 [8] fit_only! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined] [9] #fit!#64 @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined] [10] kwcall(::@NamedTuple{rows::Vector{Int64}}, ::typeof(fit!), mach::Machine{ModalDecisionTree, true}) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:775 [11] macro expansion @ ./timing.jl:645 [inlined] [12] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/japanesevowels.jl:353 [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [14] IncludeInto @ ./Base.jl:310 [inlined] [15] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [16] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [18] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [20] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [21] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [22] top-level scope @ none:6 [23] eval(m::Module, e::Any) @ Core ./boot.jl:489 [24] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [25] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/japanesevowels.jl:35 ################################################## TEST: classification/iris.jl Classification: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: UndefVarError: `eachmodality` not defined in `ModalDecisionTrees.MLJInterface` Hint: It looks like two or more modules export different bindings with this name, resulting in ambiguity. Try explicitly importing it from a particular module, or qualifying the name with the module it should come from. Hint: a global variable of this name also exists in SoleData. - Also exported by SoleModels. Hint: a global variable of this name also exists in MultiData. Stacktrace: [1] wrapdataset(X::@NamedTuple{sepal_length::Vector{Float64}, sepal_width::Vector{Float64}, petal_length::Vector{Float64}, petal_width::Vector{Float64}}, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:118 ┌ [2] wrapdataset │ @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined] ╰──── repeated 2 times [4] #reformat#67 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined] [5] reformat(m::ModalDecisionTree, X::@NamedTuple{sepal_length::Vector{Float64}, sepal_width::Vector{Float64}, petal_length::Vector{Float64}, petal_width::Vector{Float64}}, y::CategoricalVector{String, UInt32, String, CategoricalValue{String, UInt32}, Union{}}, w::Vector{Float64}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [6] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Nothing, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658 [7] fit_only! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined] [8] #fit!#64 @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined] [9] fit! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:775 [inlined] [10] |>(x::Machine{ModalDecisionTree, true}, f::typeof(fit!)) @ Base ./operators.jl:973 [11] top-level scope @ ./timing.jl:645 [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [13] IncludeInto @ ./Base.jl:310 [inlined] [14] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [15] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [17] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [18] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [19] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [20] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [21] top-level scope @ none:6 [22] eval(m::Module, e::Any) @ Core ./boot.jl:489 [23] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [24] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/iris.jl:15 ################################################## TEST: regression/simple.jl Regression: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: UndefVarError: `eachmodality` not defined in `ModalDecisionTrees.MLJInterface` Hint: It looks like two or more modules export different bindings with this name, resulting in ambiguity. Try explicitly importing it from a particular module, or qualifying the name with the module it should come from. Hint: a global variable of this name also exists in SoleData. - Also exported by SoleModels. Hint: a global variable of this name also exists in MultiData. Stacktrace: [1] wrapdataset(X::Tables.MatrixTable{Matrix{Float64}}, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:118 ┌ [2] wrapdataset │ @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined] ╰──── repeated 2 times [4] #reformat#67 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined] [5] reformat @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined] [6] reformat(m::ModalDecisionTree, X::Tables.MatrixTable{Matrix{Float64}}, y::Vector{Float64}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [7] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::UnitRange{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658 [8] fit_only! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined] [9] #fit!#64 @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined] [10] kwcall(::@NamedTuple{rows::UnitRange{Int64}}, ::typeof(fit!), mach::Machine{ModalDecisionTree, true}) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:775 [11] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/regression/simple.jl:14 [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [13] IncludeInto @ ./Base.jl:310 [inlined] [14] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [15] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [17] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [18] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [19] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [20] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [21] top-level scope @ none:6 [22] eval(m::Module, e::Any) @ Core ./boot.jl:489 [23] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [24] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/regression/simple.jl:14 ################################################## TEST: multimodal-datasets-multiformulas-construction.jl ┌ Warning: The number and/or types of data arguments do not match what the specified model │ supports. Suppress this type check by specifying `scitype_check_level=0`. │ │ Run `@doc ModalDecisionTrees.ModalDecisionTree` to learn more about your model's requirements. │ │ Commonly, but non exclusively, supervised models are constructed using the syntax │ `machine(model, X, y)` or `machine(model, X, y, w)` while most other models are │ constructed with `machine(model, X)`. Here `X` are features, `y` a target, and `w` │ sample or class weights. │ │ In general, data in `machine(model, data...)` is expected to satisfy │ │ scitype(data) <: MLJ.fit_data_scitype(model) │ │ In the present case: │ │ scitype(data) = Tuple{Table{Union{AbstractVector{Continuous}, AbstractVector{Union{Missing, Continuous}}, AbstractVector{Count}, AbstractVector{Union{Missing, Unknown}}}}, AbstractVector{Count}} │ │ fit_data_scitype(model) = Union{Tuple{Table{<:Union{AbstractVector{<:Continuous}, AbstractVector{<:AbstractArray{<:Continuous, 0}}, AbstractVector{<:AbstractVector{<:Continuous}}, AbstractVector{<:AbstractMatrix{<:Continuous}}, AbstractVector{<:Count}, AbstractVector{<:AbstractArray{<:Count, 0}}, AbstractVector{<:AbstractVector{<:Count}}, AbstractVector{<:AbstractMatrix{<:Count}}, AbstractVector{<:OrderedFactor}, AbstractVector{<:AbstractArray{<:OrderedFactor, 0}}, AbstractVector{<:AbstractVector{<:OrderedFactor}}, AbstractVector{<:AbstractMatrix{<:OrderedFactor}}}}, Union{AbstractVector{<:Continuous}, AbstractVector{<:Count}, AbstractVector{<:Finite}, AbstractVector{<:Textual}}}, Tuple{Table{<:Union{AbstractVector{<:Continuous}, AbstractVector{<:AbstractArray{<:Continuous, 0}}, AbstractVector{<:AbstractVector{<:Continuous}}, AbstractVector{<:AbstractMatrix{<:Continuous}}, AbstractVector{<:Count}, AbstractVector{<:AbstractArray{<:Count, 0}}, AbstractVector{<:AbstractVector{<:Count}}, AbstractVector{<:AbstractMatrix{<:Count}}, AbstractVector{<:OrderedFactor}, AbstractVector{<:AbstractArray{<:OrderedFactor, 0}}, AbstractVector{<:AbstractVector{<:OrderedFactor}}, AbstractVector{<:AbstractMatrix{<:OrderedFactor}}}}, Union{AbstractVector{<:Continuous}, AbstractVector{<:Count}, AbstractVector{<:Finite}, AbstractVector{<:Textual}}, AbstractVector{<:Union{Continuous, Count}}}} └ @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:230 Miscellaneous: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: UndefVarError: `eachmodality` not defined in `ModalDecisionTrees.MLJInterface` Hint: It looks like two or more modules export different bindings with this name, resulting in ambiguity. Try explicitly importing it from a particular module, or qualifying the name with the module it should come from. Hint: a global variable of this name also exists in SoleData. - Also exported by SoleModels. Hint: a global variable of this name also exists in MultiData. Stacktrace: [1] wrapdataset(X::DataFrame, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:118 ┌ [2] wrapdataset │ @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined] ╰──── repeated 2 times [4] #reformat#67 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined] [5] reformat @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined] [6] reformat(m::ModalDecisionTree, X::DataFrame, y::Vector{Bool}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [7] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Vector{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658 [8] fit_only! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined] [9] #fit!#64 @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined] [10] kwcall(::@NamedTuple{rows::Vector{Int64}}, ::typeof(fit!), mach::Machine{ModalDecisionTree, true}) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:775 [11] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/multimodal-datasets-multiformulas-construction.jl:44 [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [13] IncludeInto @ ./Base.jl:310 [inlined] [14] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [15] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [17] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [18] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [19] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [20] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [21] top-level scope @ none:6 [22] eval(m::Module, e::Any) @ Core ./boot.jl:489 [23] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [24] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/multimodal-datasets-multiformulas-construction.jl:44 ################################################## TEST: other/parse-and-translate-restricted.jl {1}(⟨G⟩min[V4] ≥ 0.04200671690893693) {1}⟨G⟩min[V22] ≥ 470729.9023515756 ∧ [G]min[V4] < 0.04200671690893693 {1}[G]min[V4] < 0.04200671690893693 ∧ [G]min[V22] < 470729.9023515756 ({1}(⟨G⟩min[V4] ≥ 0.04200671690893693)) ({1}(¬⟨G⟩min[V4] ≥ 0.04200671690893693)) ∧ ({1}(⟨G⟩min[V22] ≥ 470729.9023515756)) ({1}(¬⟨G⟩min[V4] ≥ 0.04200671690893693)) ∧ ({1}(¬⟨G⟩min[V22] ≥ 470729.9023515756)) {1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩(max[V11] ≤ 0.0038141608453366675 ∧ ⟨A̅⟩max[V29] ≤ 178.31522392540964))) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅](max[V11] ≤ 0.0038141608453366675 → [A̅]max[V29] > 178.31522392540964)) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩(min[V26] ≥ 217902.31767535824 ∧ max[V6] ≤ 0.011319891844101688)) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [B](min[V26] ≥ 217902.31767535824 → max[V6] > 0.011319891844101688)) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L⟩min[V6] ≥ 1.2154505217391558) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [B]min[V26] < 217902.31767535824) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨A̅⟩max[V16] ≤ 81.4665167044706) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [B]min[V26] < 217902.31767535824) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L]min[V6] < 1.2154505217391558) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [B]min[V26] < 217902.31767535824) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L]min[V6] < 1.2154505217391558) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [A̅]max[V16] > 81.4665167044706) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ ⟨A̅⟩min[V24] ≥ 10.975911723366615) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] < 4222.6591159789605) {1}⟨G⟩max[V28] ≤ 7.245112655929639 ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] < 4222.6591159789605) ∧ [G](max[V28] ≤ 7.245112655929639 → [A̅]min[V24] < 10.975911723366615) {1}⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ ⟨L̅⟩min[V27] ≥ 87446.39318797569) ∧ [G]max[V28] > 7.245112655929639 {1}⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ max[V2] ≤ 42.36525041432014) ∧ [G]max[V28] > 7.245112655929639 ∧ [G](min[V8] ≥ 494.33421895459713 → [L̅]min[V27] < 87446.39318797569) {1}⟨G⟩min[V8] ≥ 494.33421895459713 ∧ [G]max[V28] > 7.245112655929639 ∧ [G](min[V8] ≥ 494.33421895459713 → [L̅]min[V27] < 87446.39318797569) ∧ [G](min[V8] ≥ 494.33421895459713 → max[V2] > 42.36525041432014) {1}⟨G⟩min[V13] ≥ 31.231588457748384 ∧ [G]max[V28] > 7.245112655929639 ∧ [G]min[V8] < 494.33421895459713 {1}[G]max[V28] > 7.245112655929639 ∧ [G]min[V8] < 494.33421895459713 ∧ [G]min[V13] < 31.231588457748384 ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩(max[V11] ≤ 0.0038141608453366675 ∧ ⟨A̅⟩max[V29] ≤ 178.31522392540964)))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩(max[V11] ≤ 0.0038141608453366675 ∧ ⟨A̅⟩max[V29] ≤ 178.31522392540964)))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩(min[V26] ≥ 217902.31767535824 ∧ max[V6] ≤ 0.011319891844101688)))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩(min[V26] ≥ 217902.31767535824 ∧ max[V6] ≤ 0.011319891844101688)))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L⟩min[V6] ≥ 1.2154505217391558))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L⟩min[V6] ≥ 1.2154505217391558))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨A̅⟩max[V16] ≤ 81.4665167044706))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L⟩min[V6] ≥ 1.2154505217391558))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨A̅⟩max[V16] ≤ 81.4665167044706))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ ⟨A̅⟩min[V24] ≥ 10.975911723366615))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ ⟨A̅⟩min[V24] ≥ 10.975911723366615))) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ ⟨L̅⟩min[V27] ≥ 87446.39318797569))) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ ⟨L̅⟩min[V27] ≥ 87446.39318797569))) ∧ ({1}(⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ max[V2] ≤ 42.36525041432014))) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ ⟨L̅⟩min[V27] ≥ 87446.39318797569))) ∧ ({1}(¬⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ max[V2] ≤ 42.36525041432014))) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(⟨G⟩min[V13] ≥ 31.231588457748384)) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬⟨G⟩min[V13] ≥ 31.231588457748384)) {1}(max[V29] ≤ 178.31522392540964) {1}max[V11] ≤ 0.0038141608453366675 ∧ max[V29] > 178.31522392540964 {1}max[V6] ≤ 0.011319891844101688 ∧ max[V11] > 0.0038141608453366675 {1}min[V26] ≥ 217902.31767535824 ∧ max[V11] > 0.0038141608453366675 ∧ max[V6] > 0.011319891844101688 {1}min[V6] ≥ 1.2154505217391558 ∧ max[V11] > 0.0038141608453366675 ∧ min[V26] < 217902.31767535824 {1}max[V16] ≤ 81.4665167044706 ∧ max[V11] > 0.0038141608453366675 ∧ min[V26] < 217902.31767535824 ∧ min[V6] < 1.2154505217391558 {1}min[V20] ≥ 4222.6591159789605 ∧ max[V11] > 0.0038141608453366675 ∧ min[V26] < 217902.31767535824 ∧ min[V6] < 1.2154505217391558 ∧ max[V16] > 81.4665167044706 {1}min[V24] ≥ 10.975911723366615 ∧ min[V20] < 4222.6591159789605 {1}max[V28] ≤ 7.245112655929639 ∧ min[V20] < 4222.6591159789605 ∧ min[V24] < 10.975911723366615 {1}min[V27] ≥ 87446.39318797569 ∧ max[V28] > 7.245112655929639 {1}max[V2] ≤ 42.36525041432014 ∧ max[V28] > 7.245112655929639 ∧ min[V27] < 87446.39318797569 {1}min[V8] ≥ 494.33421895459713 ∧ max[V28] > 7.245112655929639 ∧ min[V27] < 87446.39318797569 ∧ max[V2] > 42.36525041432014 {1}min[V13] ≥ 31.231588457748384 ∧ max[V28] > 7.245112655929639 ∧ min[V8] < 494.33421895459713 {1}max[V28] > 7.245112655929639 ∧ min[V8] < 494.33421895459713 ∧ min[V13] < 31.231588457748384 ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(max[V29] ≤ 178.31522392540964)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(¬max[V29] ≤ 178.31522392540964)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(min[V26] ≥ 217902.31767535824)) ∧ ({1}(max[V6] ≤ 0.011319891844101688)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(min[V26] ≥ 217902.31767535824)) ∧ ({1}(¬max[V6] ≤ 0.011319891844101688)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(¬min[V26] ≥ 217902.31767535824)) ∧ ({1}(min[V6] ≥ 1.2154505217391558)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(¬min[V26] ≥ 217902.31767535824)) ∧ ({1}(¬min[V6] ≥ 1.2154505217391558)) ∧ ({1}(max[V16] ≤ 81.4665167044706)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(¬min[V26] ≥ 217902.31767535824)) ∧ ({1}(¬min[V6] ≥ 1.2154505217391558)) ∧ ({1}(¬max[V16] ≤ 81.4665167044706)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬min[V20] ≥ 4222.6591159789605)) ∧ ({1}(min[V24] ≥ 10.975911723366615)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬min[V24] ≥ 10.975911723366615)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V8] ≥ 494.33421895459713)) ∧ ({1}(min[V27] ≥ 87446.39318797569)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬min[V27] ≥ 87446.39318797569)) ∧ ({1}(max[V2] ≤ 42.36525041432014)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬min[V27] ≥ 87446.39318797569)) ∧ ({1}(¬max[V2] ≤ 42.36525041432014)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬min[V8] ≥ 494.33421895459713)) ∧ ({1}(min[V13] ≥ 31.231588457748384)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬min[V13] ≥ 31.231588457748384)) Other: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/other/parse-and-translate-restricted.jl:132 Expression evaluated to non-Boolean Expression: tree10 = parse_tree(tree_str10; worldtypes = [SoleData.Interval], initconditions = [ModalDecisionTrees.start_without_world]) Value: Decision Tree{String}( worldtypes: Type{<:AbstractWorld}[SoleLogics.Interval] initconditions: ModalDecisionTrees.InitialCondition[ModalDecisionTrees.StartWithoutWorld()] ########################################################### sub-tree leaves: 14 sub-tree nodes: 27 sub-tree height: 6 sub-tree modal height: 5 ########################################################### tree: {1} RestrictedDecision(⟨G⟩max[V28] ≤ 7.25) YES : 78/141 (conf = 0.5532) ✔ {1} RestrictedDecision(⟨=⟩min[V20] ≥ 4222.66) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 55/88 (conf = 0.6250) │✔ {1} RestrictedDecision(⟨L̅⟩max[V11] ≤ 0) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 34/66 (conf = 0.5152) ││✔ {1} RestrictedDecision(⟨A̅⟩max[V29] ≤ 178.32) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 19/22 (conf = 0.8636) │││✔ YES : 3/3 (conf = 1.0000) │││✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 19/19 (conf = 1.0000) ││✘ {1} RestrictedDecision(⟨B⟩min[V26] ≥ 217902.32) YES : 29/44 (conf = 0.6591) ││ ✔ {1} RestrictedDecision(⟨=⟩max[V6] ≤ 0.01) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 12/14 (conf = 0.8571) ││ │✔ YES : 2/2 (conf = 1.0000) ││ │✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 12/12 (conf = 1.0000) ││ ✘ {1} RestrictedDecision(⟨L⟩min[V6] ≥ 1.22) YES : 27/30 (conf = 0.9000) ││ ✔ YES : 24/24 (conf = 1.0000) ││ ✘ {1} RestrictedDecision(⟨A̅⟩max[V16] ≤ 81.47) YES : 3/6 (conf = 0.5000) ││ ✔ YES : 3/3 (conf = 1.0000) ││ ✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 3/3 (conf = 1.0000) │✘ {1} RestrictedDecision(⟨A̅⟩min[V24] ≥ 10.98) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 21/22 (conf = 0.9545) │ ✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 21/21 (conf = 1.0000) │ ✘ YES : 1/1 (conf = 1.0000) ✘ {1} RestrictedDecision(⟨G⟩min[V8] ≥ 494.33) YES : 45/53 (conf = 0.8491) ✔ {1} RestrictedDecision(⟨L̅⟩min[V27] ≥ 87446.39) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 7/13 (conf = 0.5385) │✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 6/6 (conf = 1.0000) │✘ {1} RestrictedDecision(⟨=⟩max[V2] ≤ 42.37) YES : 6/7 (conf = 0.8571) │ ✔ YES : 6/6 (conf = 1.0000) │ ✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 1/1 (conf = 1.0000) ✘ {1} RestrictedDecision(⟨G⟩min[V13] ≥ 31.23) YES : 39/40 (conf = 0.9750) ✔ YES : 39/39 (conf = 1.0000) ✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 1/1 (conf = 1.0000) ) ▣ {1}(⟨G⟩([V1] ≤ 1)) ├✔ {2}([V2] ≥ 1) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) │├✔ {2}(⟨L̅⟩([V3] ≤ 1)) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) ∧ {2}([V2] ≥ 1) ││├✔ {1}(⟨G⟩(([V1] ≤ 1) ∧ ⟨A̅⟩([V4] ≤ 1))) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) ∧ {2}(⟨L̅⟩[V3] ≤ 1) │││├✔ YES SHORTFORM: {1}(⟨G⟩([V1] ≤ 1 ∧ ⟨A̅⟩[V4] ≤ 1)) ∧ {2}(⟨L̅⟩[V3] ≤ 1) │││└✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [A̅][V4] > 1) ∧ {2}[V2] ≥ 1 ∧ ⟨L̅⟩[V3] ≤ 1 ││└✘ {1}(⟨G⟩(([V1] ≤ 1) ∧ ⟨B⟩([V5] ≥ 1))) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ││ ├✔ {3}([V6] ≤ 1) SHORTFORM: {1}(⟨G⟩([V1] ≤ 1 ∧ ⟨B⟩[V5] ≥ 1)) ∧ {2}([L̅][V3] > 1) ││ │├✔ YES SHORTFORM: {1}(⟨G⟩([V1] ≤ 1 ∧ ⟨B⟩[V5] ≥ 1)) ∧ {2}([L̅][V3] > 1) ∧ {3}([V6] ≤ 1) ││ │└✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ ⟨G⟩([V1] ≤ 1 ∧ ⟨B⟩[V5] ≥ 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ∧ {3}([V6] > 1) ││ └✘ {2}(⟨L⟩([V7] ≥ 1)) SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [B][V5] < 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ││ ├✔ YES SHORTFORM: {1}([G]([V1] ≤ 1 → [B][V5] < 1)) ∧ {2}⟨L⟩[V7] ≥ 1 ∧ [L̅][V3] > 1 ││ └✘ {1}(⟨G⟩(([V1] ≤ 1) ∧ ⟨A̅⟩([V8] ≤ 1))) SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [B][V5] < 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ∧ [L][V7] < 1 ││ ├✔ YES SHORTFORM: {1}⟨G⟩([V1] ≤ 1 ∧ ⟨A̅⟩[V8] ≤ 1) ∧ [G]([V1] ≤ 1 → [B][V5] < 1) ∧ {2}[L][V7] < 1 ∧ [L̅][V3] > 1 ││ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [B][V5] < 1) ∧ [G]([V1] ≤ 1 → [A̅][V8] > 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ∧ [L][V7] < 1 │└✘ {1}(⟨G⟩(([V1] ≤ 1) ∧ ⟨A̅⟩([V9] ≥ 1))) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) ∧ {2}([V2] < 1) │ ├✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}(⟨G⟩([V1] ≤ 1 ∧ ⟨A̅⟩[V9] ≥ 1)) ∧ {2}([V2] < 1) │ └✘ YES SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [A̅][V9] < 1) ∧ {2}([V2] < 1) └✘ {1}(⟨G⟩([V10] ≥ 1)) SHORTFORM: {1}([G][V1] > 1) ├✔ {2}(⟨L̅⟩([V11] ≥ 1)) SHORTFORM: {1}⟨G⟩[V10] ≥ 1 ∧ [G][V1] > 1 │├✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[V10] ≥ 1 ∧ [G][V1] > 1 ∧ {2}(⟨L̅⟩[V11] ≥ 1) │└✘ {2}([V12] ≤ 1) SHORTFORM: {1}[G][V1] > 1 ∧ ⟨G⟩[V10] ≥ 1 ∧ {2}([L̅][V11] < 1) │ ├✔ YES SHORTFORM: {1}⟨G⟩[V10] ≥ 1 ∧ [G][V1] > 1 ∧ {2}[V12] ≤ 1 ∧ [L̅][V11] < 1 │ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}[G][V1] > 1 ∧ ⟨G⟩[V10] ≥ 1 ∧ {2}[L̅][V11] < 1 ∧ [V12] > 1 └✘ {1}(⟨G⟩([V13] ≥ 1)) SHORTFORM: {1}[G][V1] > 1 ∧ [G][V10] < 1 ├✔ YES SHORTFORM: {1}⟨G⟩[V13] ≥ 1 ∧ [G][V1] > 1 ∧ [G][V10] < 1 └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}[G][V1] > 1 ∧ [G][V10] < 1 ∧ [G][V13] < 1 ================================================== TEST: other/restricted2complete.jl ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict(2 => 1, 1 => 1), argmax: 2, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (4 elements): Dict(2 => 2, 1 => 2), argmax: 2, max: 2 (sum = 4) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (6 elements): Dict(2 => 3, 1 => 3), argmax: 2, max: 3 (sum = 6) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (8 elements): Dict(2 => 4, 1 => 4), argmax: 2, max: 4 (sum = 8) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 {2} RestrictedDecision(⟨L⟩min[V3] ≤ 0) ├─ {2} RestrictedDecision(⟨A⟩min[V2] < 0) │ ├─ 2 (1/2) │ └─ {2} RestrictedDecision(⟨G⟩min[V1] ≥ 10) │ ├─ 2 (1/2) │ └─ 2 (1/2) └─ 2 (1/2) ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │├✔ 2 │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 └✘ 2 ├─ ▣ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │ ├✔ 2 │ └✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 │ │ ├─ ▣ 2 │ │ │ ├─ ▣ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ │ ├✔ 2 │ │ └✘ 2 │ │ │ │ ├─ ▣ 2 │ │ │ │ │ └─ ▣ 2 │ │ │ ├─ ▣ 2 │ │ │ └─ ▣ 2 │ ├─ ▣ 2 │ ├─ ▣ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 │ │ ├─ ▣ 2 │ │ │ └─ ▣ 2 │ ├─ ▣ 2 │ ├─ ▣ 2 │ └─ ▣ 2 ┌ Warning: Parity encountered in bestguess! counts (4 elements): Dict(2 => 2, 1 => 2), argmax: 2, max: 2 (sum = 4) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (6 elements): Dict(2 => 3, 1 => 3), argmax: 2, max: 3 (sum = 6) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (8 elements): Dict(2 => 4, 1 => 4), argmax: 2, max: 4 (sum = 8) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (14 elements): Dict(2 => 7, 1 => 7), argmax: 2, max: 7 (sum = 14) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (16 elements): Dict(2 => 8, 1 => 8), argmax: 2, max: 8 (sum = 16) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (18 elements): Dict(2 => 9, 1 => 9), argmax: 2, max: 9 (sum = 18) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 2 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"] h = 0 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 1 {2}(⟨L⟩min[V3] ≤ 0) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 4 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 3 syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0" i_ctr = 2 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 1 {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 6 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 5 syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0" i_ctr = 4 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 0 ["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"] h = 1 Any["DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 2 syntaxstring(_lambda) = "⟨G⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 1 {2}(⟨L⟩(min[V3] ≤ 0 ∧ [A]¬min[V2] < 0 ∧ ⟨G⟩min[V1] ≥ 10)) ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │├✔ 2 │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 └✘ 2 ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │├✔ 2 │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 └✘ 2 ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) SHORTFORM: {2}(⟨L⟩min[V3] ≤ 0) │├✔ 2 SHORTFORM: {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ ├✔ 2 SHORTFORM: {2}⟨L⟩(min[V3] ≤ 0 ∧ ⟨G⟩min[V1] ≥ 10) ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ └✘ 2 SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) ∧ [L](min[V3] ≤ 0 → [G]min[V1] < 10) └✘ 2 SHORTFORM: {2}([L]min[V3] > 0) ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) SHORTFORM: {2}(⟨L⟩min[V3] ≤ 0) │├✔ 2 SHORTFORM: {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10))) SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ ├✔ 2 SHORTFORM: {2}⟨L⟩(min[V3] ≤ 0 ∧ [A]¬min[V2] < 0 ∧ ⟨G⟩min[V1] ≥ 10) ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ └✘ 2 SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0 → [G]min[V1] < 10) └✘ 2 SHORTFORM: {2}([L]min[V3] > 0) ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 2 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"] h = 0 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 1 {2}(⟨L⟩min[V3] ≤ 0) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 4 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 3 syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0" i_ctr = 2 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 1 {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 6 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 5 syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0" i_ctr = 4 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 0 ["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"] h = 1 Any["DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 2 syntaxstring(_lambda) = "⟨G⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 1 {2}(⟨L⟩(min[V3] ≤ 0 ∧ [A]¬min[V2] < 0 ∧ ⟨G⟩min[V1] ≥ 10)) ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) SHORTFORM: {2}(⟨L⟩min[V3] ≤ 0) │├✔ 2 SHORTFORM: {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ ├✔ 2 SHORTFORM: {2}⟨L⟩(min[V3] ≤ 0 ∧ ⟨G⟩min[V1] ≥ 10) ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ └✘ 2 SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) ∧ [L](min[V3] ≤ 0 → [G]min[V1] < 10) └✘ 2 SHORTFORM: {2}([L]min[V3] > 0) ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) SHORTFORM: {2}(⟨L⟩min[V3] ≤ 0) │├✔ 2 SHORTFORM: {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10))) SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ ├✔ 2 SHORTFORM: {2}⟨L⟩(min[V3] ≤ 0 ∧ [A]¬min[V2] < 0 ∧ ⟨G⟩min[V1] ≥ 10) ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ └✘ 2 SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0 → [G]min[V1] < 10) └✘ 2 SHORTFORM: {2}([L]min[V3] > 0) ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │├✔ 2 │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 └✘ 2 ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │├✔ 2 │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 └✘ 2 ================================================== TEST: other/translate-complete.jl Other: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: Cannot squash to leaf with empty supporting labels. Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] squashtoleaf(leaves::Vector{DTLeaf{String}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/pCVLe/src/posthoc.jl:434 [3] squashtoleaf(nodes::Vector{Union{ModalDecisionTrees.AbstractDecisionLeaf, DTInternal}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/pCVLe/src/posthoc.jl:422 [4] DTInternal{String, DoubleEdgedDecision{Atom{String}}}(i_modality::Int64, decision::DoubleEdgedDecision{Atom{String}}, left::DTLeaf{String}, right::DTLeaf{String}, miscellaneous::@NamedTuple{}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/pCVLe/src/base.jl:298 [5] DTInternal @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/base.jl:332 [inlined] [6] DTInternal @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/base.jl:327 [inlined] [7] MDT(p::Atom{String}, left::DTLeaf{String}, right::DTLeaf{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/other/translate-complete.jl:21 [8] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/other/translate-complete.jl:29 [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [10] IncludeInto @ ./Base.jl:310 [inlined] [11] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [12] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [14] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [16] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [17] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [18] top-level scope @ none:6 [19] eval(m::Module, e::Any) @ Core ./boot.jl:489 [20] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [21] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/other/translate-complete.jl:29 ################################################## TEST: /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/pluto-demo.jl Pluto Demo: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: UndefVarError: `eachmodality` not defined in `ModalDecisionTrees.MLJInterface` Hint: It looks like two or more modules export different bindings with this name, resulting in ambiguity. Try explicitly importing it from a particular module, or qualifying the name with the module it should come from. Hint: a global variable of this name also exists in SoleData. - Also exported by SoleModels. Hint: a global variable of this name also exists in MultiData. Stacktrace: [1] wrapdataset(X::DataFrame, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:118 ┌ [2] wrapdataset │ @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined] ╰──── repeated 2 times [4] #reformat#67 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined] [5] reformat @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined] [6] reformat(m::ModalDecisionTree, X::DataFrame, y::CategoricalVector{String, UInt32, String, CategoricalValue{String, UInt32}, Union{}}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [7] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Vector{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658 [8] fit_only! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined] [9] #fit!#64 @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined] [10] kwcall(::@NamedTuple{rows::Vector{Int64}}, ::typeof(fit!), mach::Machine{ModalDecisionTree, true}) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:775 [11] macro expansion @ ./timing.jl:645 [inlined] [12] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/pluto-demo.jl:44 [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [14] IncludeInto @ ./Base.jl:310 [inlined] [15] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [16] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [18] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [20] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [21] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:309 [22] top-level scope @ none:6 [23] eval(m::Module, e::Any) @ Core ./boot.jl:489 [24] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [25] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/pluto-demo.jl:35 Test Summary: | Pass Error Total Time ModalDecisionTrees.jl | 32 7 39 6m00.3s Base | 26 26 18.6s Classification, modal | 1 1 2m10.9s Classification | 1 1 18.9s Regression | 1 1 10.3s Miscellaneous | 2 1 3 14.8s Other | 4 2 6 2m31.9s Pluto Demo | 1 1 14.9s RNG of the outermost testset: Xoshiro(0x8bd6a24166c2b640, 0x9a344afa92fb8b5d, 0x941a384dfc081ea5, 0xcb25c097718076c5, 0xccfee0db266130f3) ERROR: LoadError: Some tests did not pass: 32 passed, 0 failed, 7 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:63 Testing failed after 433.11s ERROR: LoadError: Package ModalDecisionTrees errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2672 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2521 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:538 [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:515 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:168 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:157 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [9] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [12] include(mod::Module, _path::String) @ Base ./Base.jl:308 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:330 [14] _start() @ Base ./client.jl:563 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 2681.69s: package fails to precompile