Package evaluation to test ModalDecisionTrees on Julia 1.14.0-DEV.2637 (b1f508acef*) started at 2026-07-13T02:55:25.334 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.99s ################################################################################ # Installation # Installing ModalDecisionTrees... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [e54bda2e] + ModalDecisionTrees v0.5.3 Updating `~/.julia/environments/v1.14/Manifest.toml` [da404889] + ARFFFiles v1.6.0 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.45 [66dad0bd] + AliasTables v1.1.3 [ec485272] + ArnoldiMethod v0.4.0 [d1d4a3ce] + BitFlags v0.1.10 [336ed68f] + CSV v0.10.16 [acdeb78f] + Catch22 v0.7.0 [324d7699] + CategoricalArrays v1.1.1 [af321ab8] + CategoricalDistributions v0.2.2 [da1fd8a2] + CodeTracking v3.0.2 [944b1d66] + CodecZlib v0.7.8 [3da002f7] + ColorTypes v0.12.1 [861a8166] + Combinatorics v1.1.0 [38540f10] + CommonSolve v0.2.11 [34da2185] + Compat v4.18.1 [807dbc54] + Compiler v0.1.1 [a33af91c] + CompositionsBase v0.1.2 [f0e56b4a] + ConcurrentUtilities v2.5.1 [187b0558] + ConstructionBase v1.6.0 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [a93c6f00] + DataFrames v1.8.2 ⌅ [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [e7dc6d0d] + DataValues v0.4.13 [8bb1440f] + DelimitedFiles v1.9.1 [85a47980] + Dictionaries v0.4.6 ⌅ [0703355e] + DimensionalData v0.29.27 [6e83dbb3] + Discretizers v3.2.4 [31c24e10] + Distributions v0.25.129 [ffbed154] + DocStringExtensions v0.9.5 [460bff9d] + ExceptionUnwrapping v0.1.11 [411431e0] + Extents v0.1.6 [48062228] + FilePathsBase v0.9.24 [1a297f60] + FillArrays v1.16.0 ⌅ [53c48c17] + FixedPointNumbers v0.8.6 [069b7b12] + FunctionWrappers v1.1.3 [a0844989] + Gamma v1.1.0 ⌃ [86223c79] + Graphs v1.13.1 ⌅ [cd3eb016] + HTTP v1.11.0 [34004b35] + HypergeometricFunctions v0.3.29 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [842dd82b] + InlineStrings v1.4.5 [85a1e053] + Interfaces v0.3.2 [8197267c] + IntervalSets v0.7.14 [3587e190] + InverseFunctions v0.1.17 [41ab1584] + InvertedIndices v1.3.1 [92d709cd] + IrrationalConstants v0.2.6 [c8e1da08] + IterTools v1.10.0 [1c8ee90f] + IterableTables v1.0.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.6.1 ⌅ [aa1ae85d] + JuliaInterpreter v0.10.12 [b964fa9f] + LaTeXStrings v1.4.0 [50d2b5c4] + Lazy v0.15.1 [2ab3a3ac] + LogExpFunctions v1.0.1 [e6f89c97] + LoggingExtras v1.2.0 ⌃ [6f1432cf] + LoweredCodeUtils v3.6.2 [e80e1ace] + MLJModelInterface v1.12.1 [1914dd2f] + MacroTools v0.5.16 [739be429] + MbedTLS v1.1.10 [6fafb56a] + Memoization v0.2.2 [e1d29d7a] + Missings v1.2.0 [e54bda2e] + ModalDecisionTrees v0.5.3 [8cc5100c] + MultiData v0.1.4 [8b6db2d4] + OpenML v0.3.4 [4d8831e6] + OpenSSL v1.6.1 ⌅ [bac558e1] + OrderedCollections v1.8.2 [90014a1f] + PDMats v0.11.40 [69de0a69] + Parsers v2.8.6 [2dfb63ee] + PooledArrays v1.4.3 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [08abe8d2] + PrettyTables v3.4.0 [33c8b6b6] + ProgressLogging v0.1.6 [92933f4c] + ProgressMeter v1.11.0 [43287f4e] + PtrArrays v1.4.0 [1fd47b50] + QuadGK v2.11.3 [1a8c2f83] + Query v1.1.0 [2aef5ad7] + QueryOperators v1.0.1 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [c5292f4c] + ResumableFunctions v1.0.6 [295af30f] + Revise v3.15.1 [79098fc4] + Rmath v0.9.0 [f2b01f46] + Roots v3.0.4 [321657f4] + ScientificTypes v3.3.0 [30f210dd] + ScientificTypesBase v3.1.0 [6c6a2e73] + Scratch v1.3.0 [91c51154] + SentinelArrays v1.4.10 [777ac1f9] + SimpleBufferStream v1.2.0 [699a6c99] + SimpleTraits v0.9.6 [4475fa32] + SoleBase v0.13.4 [123f1ae1] + SoleData v0.16.8 [b002da8f] + SoleLogics v0.13.7 [4249d9c7] + SoleModels v0.10.7 [a2af1166] + SortingAlgorithms v1.2.3 [276daf66] + SpecialFunctions v2.8.0 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [64bff920] + StatisticalTraits v3.5.0 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.8.0 [2913bbd2] + StatsBase v0.34.12 [4c63d2b9] + StatsFuns v2.2.0 [892a3eda] + StringManipulation v0.4.4 [ec057cc2] + StructUtils v2.8.2 [5e66a065] + TableShowUtils v0.2.7 [3783bdb8] + TableTraits v1.0.1 [382cd787] + TableTraitsUtils v1.0.2 [bd369af6] + Tables v1.13.0 [4239201d] + ThreadSafeDicts v0.1.6 ⌅ [f3112013] + TimeseriesFeatures v0.6.1 [3bb67fe8] + TranscodingStreams v0.11.3 [5c2747f8] + URIs v1.6.1 [2fbcfb34] + UniqueVectors v1.2.0 [ea10d353] + WeakRefStrings v1.4.3 [76eceee3] + WorkerUtilities v1.6.1 [a5390f91] + ZipFile v0.10.1 [c8ffd9c3] + MbedTLS_jll v2.28.1010+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [f50d1b31] + Rmath_jll v0.5.1+0 [8a07c0c5] + catch22_jll v0.5.0+0 [0dad84c5] + ArgTools v1.2.0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [8bf52ea8] + CRC32c 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.13.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.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.5.5+2 [deac9b47] + LibCURL_jll v8.21.0+0 [e37daf67] + LibGit2_jll v1.9.4+0 [29816b5a] + LibSSH2_jll v1.11.101+0 [14a3606d] + MozillaCACerts_jll v2026.5.14 [4536629a] + OpenBLAS_jll v0.3.33+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.7+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.69.0+0 [3f19e933] + p7zip_jll v17.8.0+0 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 6.15s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... ERROR: LoadError: MethodError: no method matching nteltype(::Core.SimpleVector) The function `nteltype` exists, but no method is defined for this combination of argument types. Closest candidates are: nteltype(!Matched::Type{NamedTuple{names, T}} where names) where T @ Base namedtuple.jl:233 nteltype(!Matched::Type) @ Base namedtuple.jl:232 Stacktrace: [1] prepare_call(f::Any, allargs::Vector{Any}; enter_generated::Bool, method_table::Nothing) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/construct.jl:256 [2] get_call_framecode(fargs::Vector{Any}, parentframe::JuliaInterpreter.FrameCode, idx::Int64; enter_generated::Bool, method_table::Nothing) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/localmethtable.jl:65 [3] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, fargs::Vector{Any}, enter_generated::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:277 [4] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, call_expr::Expr, enter_generated::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:256 [5] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, call_expr::Expr) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:249 [6] eval_rhs(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, node::Expr) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:406 [7] step_expr!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, node::Any, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:569 [8] step_expr!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:627 [9] finish!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/commands.jl:14 [10] finish_and_return!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/commands.jl:30 [11] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, fargs::Vector{Any}, enter_generated::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:290 [12] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, call_expr::Expr, enter_generated::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:256 [13] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, call_expr::Expr) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:249 [14] eval_rhs(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, node::Expr) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:406 [15] step_expr!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, node::Any, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:569 [16] step_expr!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:627 [17] finish!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/commands.jl:14 [18] finish_and_return!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/commands.jl:30 [19] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, fargs::Vector{Any}, enter_generated::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:290 [20] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, call_expr::Expr, enter_generated::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:256 [21] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, call_expr::Expr) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:249 [22] eval_rhs(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, node::Expr) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:406 [23] step_expr!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, node::Any, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:569 [24] step_expr!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:627 [25] finish!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/commands.jl:14 [26] finish_and_return!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/commands.jl:30 [27] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, fargs::Vector{Any}, enter_generated::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:290 [28] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, call_expr::Expr, enter_generated::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:256 [29] evaluate_call!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, call_expr::Expr) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:249 [30] eval_rhs(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, node::Expr) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:406 [31] step_expr!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, node::Any, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:569 [32] step_expr!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/interpret.jl:627 [33] finish!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/commands.jl:14 [34] finish_and_return!(interp::JuliaInterpreter.RecursiveInterpreter, frame::JuliaInterpreter.Frame, istoplevel::Bool) @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/commands.jl:30 [35] macro expansion @ ~/.julia/packages/JuliaInterpreter/bSt3F/src/construct.jl:764 [inlined] [36] _precompile_() @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/bSt3F/src/precompile.jl:7 [37] top-level scope @ ~/.julia/packages/JuliaInterpreter/bSt3F/src/packagedef.jl:153 [38] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:326 [39] top-level scope @ ~/.julia/packages/JuliaInterpreter/bSt3F/src/JuliaInterpreter.jl:14 [40] include(mod::Module, _path::String) @ Base Base.jl:325 [41] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3359 [42] top-level scope @ stdin:5 [43] eval(m::Module, e::Any) @ Core boot.jl:545 [44] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base loading.jl:3186 [45] include_string(m::Module, txt::String, fname::String) @ Base loading.jl:3196 [inlined] [46] exec_options(opts::Base.JLOptions) @ Base client.jl:353 [47] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/JuliaInterpreter/bSt3F/src/packagedef.jl:153 in expression starting at /home/pkgeval/.julia/packages/JuliaInterpreter/bSt3F/src/JuliaInterpreter.jl:1 in expression starting at stdin:5 ✗ JuliaInterpreter 15.2 s ✓ MLJTuning 26.6 s ✓ ImageCorners 17.6 s ✓ ImageSegmentation 29.3 s ✓ MLDatasets ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("aa1ae85d-cabe-5617-a682-6adf51b2e16a"), "JuliaInterpreter") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace: [1] error(s::String) @ Base error.jl:56 [2] __require_prelocked(pkg::Base.PkgId, env::String) @ Base loading.jl:2891 [3] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base loading.jl:2739 [4] macro expansion @ loading.jl:2653 [inlined] [5] macro expansion @ lock.jl:376 [inlined] [6] __require(into::Module, mod::Symbol) @ Base loading.jl:2617 [7] require(into::Module, mod::Symbol) @ Base loading.jl:2593 [inlined] [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) @ Base module.jl:36 [inlined] [9] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base module.jl:60 [10] _eval_using(to::Module, path::Expr, flags::UInt8) @ Base module.jl:137 [inlined] [11] top-level scope @ ~/.julia/packages/LoweredCodeUtils/4qEJi/src/LoweredCodeUtils.jl:14 [12] include(mod::Module, _path::String) @ Base Base.jl:325 [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3359 [14] top-level scope @ stdin:5 [15] eval(m::Module, e::Any) @ Core boot.jl:545 [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base loading.jl:3186 [17] include_string(m::Module, txt::String, fname::String) @ Base loading.jl:3196 [inlined] [18] exec_options(opts::Base.JLOptions) @ Base client.jl:353 [19] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/LoweredCodeUtils/4qEJi/src/LoweredCodeUtils.jl:1 in expression starting at stdin:5 ✗ LoweredCodeUtils 23.4 s ✓ MLJ 25.8 s ✓ Images ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("aa1ae85d-cabe-5617-a682-6adf51b2e16a"), "JuliaInterpreter") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace: [1] error(s::String) @ Base error.jl:56 [2] __require_prelocked(pkg::Base.PkgId, env::String) @ Base loading.jl:2891 [3] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base loading.jl:2739 [4] macro expansion @ loading.jl:2653 [inlined] [5] macro expansion @ lock.jl:376 [inlined] [6] __require(into::Module, mod::Symbol) @ Base loading.jl:2617 [7] require(into::Module, mod::Symbol) @ Base loading.jl:2593 [inlined] [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) @ Base module.jl:36 [inlined] [9] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base module.jl:60 [10] _eval_using(to::Module, path::Expr, flags::UInt8) @ Base module.jl:137 [inlined] [11] top-level scope @ ~/.julia/packages/Revise/m8c4M/src/Revise.jl:36 [12] include(mod::Module, _path::String) @ Base Base.jl:325 [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3359 [14] top-level scope @ stdin:5 [15] eval(m::Module, e::Any) @ Core boot.jl:545 [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base loading.jl:3186 [17] include_string(m::Module, txt::String, fname::String) @ Base loading.jl:3196 [inlined] [18] exec_options(opts::Base.JLOptions) @ Base client.jl:353 [19] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Revise/m8c4M/src/Revise.jl:1 in expression starting at stdin:5 ✗ Revise ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("295af30f-e4ad-537b-8983-00126c2a3abe"), "Revise") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace: [1] error(s::String) @ Base error.jl:56 [2] __require_prelocked(pkg::Base.PkgId, env::String) @ Base loading.jl:2891 [3] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base loading.jl:2739 [4] macro expansion @ loading.jl:2653 [inlined] [5] macro expansion @ lock.jl:376 [inlined] [6] __require(into::Module, mod::Symbol) @ Base loading.jl:2617 [7] require(into::Module, mod::Symbol) @ Base loading.jl:2593 [inlined] [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) @ Base module.jl:36 [inlined] [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) @ Base module.jl:111 [10] top-level scope @ ~/.julia/packages/Revise/m8c4M/ext/DistributedExt.jl:5 [11] include(mod::Module, _path::String) @ Base Base.jl:325 [12] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3359 [13] top-level scope @ stdin:5 [14] eval(m::Module, e::Any) @ Core boot.jl:545 [15] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base loading.jl:3186 [16] include_string(m::Module, txt::String, fname::String) @ Base loading.jl:3196 [inlined] [17] exec_options(opts::Base.JLOptions) @ Base client.jl:353 [18] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Revise/m8c4M/ext/DistributedExt.jl:1 in expression starting at stdin:5 ✗ Revise → DistributedExt 46.5 s ✓ ModalDecisionTrees 7 dependencies successfully precompiled in 231 seconds. 469 already precompiled. Precompilation completed after 263.82s ################################################################################ # Testing # Testing ModalDecisionTrees Status `/tmp/jl_s1j1rd/Project.toml` [da404889] ARFFFiles v1.6.0 [1520ce14] AbstractTrees v0.4.5 [324d7699] CategoricalArrays v1.1.1 [af321ab8] CategoricalDistributions v0.2.2 [e3df1716] D3Trees v0.3.8 [a93c6f00] DataFrames v1.8.2 ⌅ [864edb3b] DataStructures v0.18.22 [31c24e10] Distributions v0.25.129 [1a297f60] FillArrays v1.16.0 [069b7b12] FunctionWrappers v1.1.3 ⌅ [cd3eb016] HTTP v1.11.0 [6a3955dd] ImageFiltering v0.7.12 [916415d5] Images v0.26.2 [50d2b5c4] Lazy v0.15.1 [eb30cadb] MLDatasets v0.7.21 [add582a8] MLJ v0.23.2 [a7f614a8] MLJBase v1.14.0 [e80e1ace] MLJModelInterface v1.12.1 [6fafb56a] Memoization v0.2.2 [e54bda2e] ModalDecisionTrees v0.5.3 [8cc5100c] MultiData v0.1.4 [8b6db2d4] OpenML v0.3.4 [7f904dfe] PlutoUI v0.7.83 [92933f4c] ProgressMeter v1.11.0 [ce6b1742] RDatasets v0.8.1 [189a3867] Reexport v1.2.2 [c5292f4c] ResumableFunctions v1.0.6 [321657f4] ScientificTypes v3.3.0 [4475fa32] SoleBase v0.13.4 [123f1ae1] SoleData v0.16.8 [b002da8f] SoleLogics v0.13.7 [4249d9c7] SoleModels v0.10.7 [2913bbd2] StatsBase v0.34.12 [bd369af6] Tables v1.13.0 [a5390f91] ZipFile v0.10.1 [b77e0a4c] InteractiveUtils v1.11.0 [37e2e46d] LinearAlgebra v1.14.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_s1j1rd/Manifest.toml` [da404889] ARFFFiles v1.6.0 [621f4979] AbstractFFTs v1.5.0 [6e696c72] AbstractPlutoDingetjes v1.4.0 [1520ce14] AbstractTrees v0.4.5 [7d9f7c33] Accessors v0.1.45 [79e6a3ab] Adapt v4.7.0 [66dad0bd] AliasTables v1.1.3 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.27.0 [a9b6321e] Atomix v1.1.3 [a963bdd2] AtomsBase v0.5.3 [13072b0f] AxisAlgorithms v1.1.0 [39de3d68] AxisArrays v0.4.8 [ab4f0b2a] BFloat16s v0.6.1 [50ba71b6] BitBasis v0.9.10 [d1d4a3ce] BitFlags v0.1.10 [62783981] BitTwiddlingConvenienceFunctions v0.1.6 [fa961155] CEnum v0.5.0 [2a0fbf3d] CPUSummary v0.2.7 [336ed68f] CSV v0.10.16 [49dc2e85] Calculus v0.5.2 [aafaddc9] CatIndices v0.2.2 [acdeb78f] Catch22 v0.7.0 [324d7699] CategoricalArrays v1.1.1 [af321ab8] CategoricalDistributions v0.2.2 [d360d2e6] ChainRulesCore v1.26.1 [46823bd8] Chemfiles v0.10.43 [0b6fb165] ChunkCodecCore v1.0.1 [4c0bbee4] ChunkCodecLibZlib v1.1.0 [55437552] ChunkCodecLibZstd v1.0.0 [fb6a15b2] CloseOpenIntervals v0.1.13 [aaaa29a8] Clustering v0.15.8 [da1fd8a2] CodeTracking v3.0.2 [944b1d66] CodecZlib v0.7.8 [6b39b394] CodecZstd v0.8.7 [35d6a980] ColorSchemes v3.31.0 [3da002f7] ColorTypes v0.12.1 [c3611d14] ColorVectorSpace v0.11.0 [5ae59095] Colors v0.13.1 [861a8166] Combinatorics v1.1.0 [38540f10] CommonSolve v0.2.11 [f70d9fcc] CommonWorldInvalidations v1.1.1 [34da2185] Compat v4.18.1 [807dbc54] Compiler v0.1.1 [a33af91c] CompositionsBase v0.1.2 [ed09eef8] ComputationalResources v0.3.2 [f0e56b4a] ConcurrentUtilities v2.5.1 [187b0558] ConstructionBase v1.6.0 [150eb455] CoordinateTransformations v0.6.4 [adafc99b] CpuId v0.3.1 [a8cc5b0e] Crayons v4.1.1 [dc8bdbbb] CustomUnitRanges v1.0.2 [e3df1716] D3Trees v0.3.8 [9a962f9c] DataAPI v1.16.0 [124859b0] DataDeps v0.7.14 [a93c6f00] DataFrames v1.8.2 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [e7dc6d0d] DataValues v0.4.13 [8bb1440f] DelimitedFiles v1.9.1 [85a47980] Dictionaries v0.4.6 ⌅ [0703355e] DimensionalData v0.29.27 [6e83dbb3] Discretizers v3.2.4 [b4f34e82] Distances v0.10.12 [31c24e10] Distributions v0.25.129 [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.10.0 [33837fe5] FeatureSelection v0.2.6 [5789e2e9] FileIO v1.19.0 [48062228] FilePathsBase v0.9.24 [1a297f60] FillArrays v1.16.0 ⌅ [53c48c17] FixedPointNumbers v0.8.6 [069b7b12] FunctionWrappers v1.1.3 [46192b85] GPUArraysCore v0.2.0 ⌅ [92fee26a] GZip v0.6.2 [a0844989] Gamma v1.1.0 [c27321d9] Glob v1.5.0 [a2bd30eb] Graphics v1.1.3 ⌃ [86223c79] Graphs v1.13.1 [f67ccb44] HDF5 v0.17.3 ⌅ [cd3eb016] HTTP v1.11.0 [076d061b] HashArrayMappedTries v0.2.0 [2c695a8d] HistogramThresholding v0.3.1 [3e5b6fbb] HostCPUFeatures v0.1.18 [34004b35] HypergeometricFunctions v0.3.29 [47d2ed2b] Hyperscript v0.0.5 [ac1192a8] HypertextLiteral v1.0.0 [b5f81e59] IOCapture v1.0.0 [615f187c] IfElse v0.1.1 [2803e5a7] ImageAxes v0.6.12 [c817782e] ImageBase v0.1.7 [cbc4b850] ImageBinarization v0.3.1 [f332f351] ImageContrastAdjustment v0.3.13 [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.3 [916415d5] Images v0.26.2 [313cdc1a] Indexing v1.1.1 [9b13fd28] IndirectArrays v1.0.0 [d25df0c9] Inflate v0.1.5 [842dd82b] InlineStrings v1.4.5 [1d092043] IntegralArrays v0.1.6 [85a1e053] Interfaces v0.3.2 [7d512f48] InternedStrings v0.7.0 [a98d9a8b] Interpolations v0.16.3 [8197267c] IntervalSets v0.7.14 [3587e190] InverseFunctions v0.1.17 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.6 [c8e1da08] IterTools v1.10.0 [1c8ee90f] IterableTables v1.0.0 [b3c1a2ee] IterationControl v0.5.4 [82899510] IteratorInterfaceExtensions v1.0.0 [033835bb] JLD2 v0.6.5 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.6.1 [0f8b85d8] JSON3 v1.14.3 [b835a17e] JpegTurbo v0.1.6 ⌅ [aa1ae85d] JuliaInterpreter v0.10.12 [63c18a36] KernelAbstractions v0.9.42 [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 [92ad9a40] LearnAPI v2.0.1 [2ab3a3ac] LogExpFunctions v1.0.1 [e6f89c97] LoggingExtras v1.2.0 [bdcacae8] LoopVectorization v0.12.174 ⌃ [6f1432cf] LoweredCodeUtils v3.6.2 ⌅ [23992714] MAT v0.11.5 [6c6e2e6c] MIMEs v1.1.0 [c2834f40] MLCore v1.1.0 [eb30cadb] MLDatasets v0.7.21 [add582a8] MLJ v0.23.2 [45f359ea] MLJBalancing v0.1.6 [a7f614a8] MLJBase v1.14.0 [50ed68f4] MLJEnsembles v0.4.5 [614be32b] MLJIteration v0.6.5 [e80e1ace] MLJModelInterface v1.12.1 [d491faf4] MLJModels v0.18.9 [23777cdb] MLJTransforms v0.1.6 [03970b2e] MLJTuning v0.8.9 [b5d0f7f3] MLJWrappers v0.1.3 [f1d291b0] MLUtils v0.4.12 [3da0fdf6] MPIPreferences v0.1.12 [1914dd2f] MacroTools v0.5.16 [d125e4d3] ManualMemory v0.1.8 [dbb5928d] MappedArrays v0.4.3 [739be429] MbedTLS v1.1.10 [eff96d63] Measurements v2.14.1 [6fafb56a] Memoization v0.2.2 ⌅ [626554b9] MetaGraphs v0.8.1 [e1d29d7a] Missings v1.2.0 [78c3b35d] Mocking v0.8.1 [e54bda2e] ModalDecisionTrees v0.5.3 [e94cdb99] MosaicViews v0.3.4 [8cc5100c] MultiData v0.1.4 [872c559c] NNlib v0.9.38 [15e1cf62] NPZ v0.4.3 [77ba4419] NaNMath v1.1.4 [b8a86587] NearestNeighbors v0.4.28 [f09324ee] Netpbm v1.1.1 [6fe1bfb0] OffsetArrays v1.17.0 [52e1d378] OpenEXR v0.3.3 [8b6db2d4] OpenML v0.3.4 [4d8831e6] OpenSSL v1.6.1 ⌅ [bac558e1] OrderedCollections v1.8.2 [90014a1f] PDMats v0.11.40 [f57f5aa1] PNGFiles v0.4.5 [65ce6f38] PackageExtensionCompat v1.0.2 [5432bcbf] PaddedViews v0.5.12 ⌅ [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.6 [7b2266bf] PeriodicTable v1.2.1 [fbb45041] Pickle v0.3.7 [eebad327] PkgVersion v0.3.3 [7f904dfe] PlutoUI v0.7.83 [1d0040c9] PolyesterWeave v0.2.2 [f27b6e38] Polynomials v4.1.1 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [54e16d92] PrettyPrinting v0.4.2 [08abe8d2] PrettyTables v3.4.0 [33c8b6b6] ProgressLogging v0.1.6 [92933f4c] ProgressMeter v1.11.0 [43287f4e] PtrArrays v1.4.0 [4b34888f] QOI v1.0.2 [1fd47b50] QuadGK v2.11.3 [94ee1d12] Quaternions v0.7.7 [1a8c2f83] Query v1.1.0 [2aef5ad7] QueryOperators v1.0.1 [df47a6cb] RData v1.1.0 [ce6b1742] RDatasets v0.8.1 [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 [dee08c22] RegionTrees v0.3.3 [05181044] RelocatableFolders v1.0.1 [ae029012] Requires v1.3.1 [c5292f4c] ResumableFunctions v1.0.6 [295af30f] Revise v3.15.1 [79098fc4] Rmath v0.9.0 [f2b01f46] Roots v3.0.4 [6038ab10] Rotations v1.7.1 [fdea26ae] SIMD v3.7.2 [94e857df] SIMDTypes v0.1.0 [476501e8] SLEEFPirates v0.6.46 [431bcebd] SciMLPublic v1.2.2 [321657f4] ScientificTypes v3.3.0 [30f210dd] ScientificTypesBase v3.1.0 [7e506255] ScopedValues v1.6.2 [6c6a2e73] Scratch v1.3.0 [91c51154] SentinelArrays v1.4.10 [efcf1570] Setfield v1.1.2 [605ecd9f] ShowCases v0.1.0 [777ac1f9] SimpleBufferStream v1.2.0 [699a6c99] SimpleTraits v0.9.6 [47aef6b3] SimpleWeightedGraphs v1.5.1 [45858cf5] Sixel v0.1.5 [4475fa32] SoleBase v0.13.4 [123f1ae1] SoleData v0.16.8 [b002da8f] SoleLogics v0.13.7 [4249d9c7] SoleModels v0.10.7 [a2af1166] SortingAlgorithms v1.2.3 [276daf66] SpecialFunctions v2.8.0 [860ef19b] StableRNGs v1.0.4 [cae243ae] StackViews v0.1.2 [aedffcd0] Static v1.4.4 [0d7ed370] StaticArrayInterface v1.10.0 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [a19d573c] StatisticalMeasures v0.3.6 [c062fc1d] StatisticalMeasuresBase v0.1.4 [64bff920] StatisticalTraits v3.5.0 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.8.0 [2913bbd2] StatsBase v0.34.12 [4c63d2b9] StatsFuns v2.2.0 ⌅ [4db3bf67] StridedViews v0.4.6 [69024149] StringEncodings v0.3.7 [892a3eda] StringManipulation v0.4.4 [856f2bd8] StructTypes v1.11.0 [ec057cc2] StructUtils v2.8.2 [dc5dba14] TZJData v1.5.0+2025b [ab02a1b2] TableOperations v1.2.0 [5e66a065] TableShowUtils v0.2.7 [3783bdb8] TableTraits v1.0.1 [382cd787] TableTraitsUtils v1.0.2 [bd369af6] Tables v1.13.0 [62fd8b95] TensorCore v0.1.1 [4239201d] ThreadSafeDicts v0.1.6 [8290d209] ThreadingUtilities v0.5.6 [731e570b] TiffImages v0.11.9 [06e1c1a7] TiledIteration v0.5.0 [f269a46b] TimeZones v1.22.2 ⌅ [f3112013] TimeseriesFeatures v0.6.1 [3bb67fe8] TranscodingStreams v0.11.3 [410a4b4d] Tricks v0.1.13 [5c2747f8] URIs v1.6.1 [3a884ed6] UnPack v1.0.2 [2fbcfb34] UniqueVectors v1.2.0 [1986cc42] Unitful v1.28.0 [a7773ee8] UnitfulAtomic v1.0.0 [013be700] UnsafeAtomics v0.3.1 [3d5dd08c] VectorizationBase v0.21.74 [ea10d353] WeakRefStrings v1.4.3 [e3aaa7dc] WebP v0.1.3 [efce3f68] WoodburyMatrices v1.1.0 [76eceee3] WorkerUtilities v1.6.1 [a5390f91] ZipFile v0.10.1 [6e34b625] Bzip2_jll v1.0.9+0 [78a364fa] Chemfiles_jll v0.10.4+0 [f5851436] FFTW_jll v3.3.12+0 [61579ee1] Ghostscript_jll v9.55.1+0 [59f7168a] Giflib_jll v5.2.3+0 [0234f1f7] HDF5_jll v2.1.2+0 [e33a78d0] Hwloc_jll v2.14.0+0 [c73af94c] ImageMagick_jll v7.1.2028+0 [905a6f67] Imath_jll v3.2.2+0 [1d5cc7b8] IntelOpenMP_jll v2025.2.0+0 [aacddb02] JpegTurbo_jll v3.2.0+0 [88015f11] LERC_jll v4.1.0+0 [7e76a0d4] Libglvnd_jll v1.7.1+1 [94ce4f54] Libiconv_jll v1.18.0+0 [89763e89] Libtiff_jll v4.7.3+0 [d3a379c0] LittleCMS_jll v2.19.1+0 [856f044c] MKL_jll v2025.2.0+0 [b5ada748] MPIABI_jll v0.1.5+0 [7cb0a576] MPICH_jll v5.0.1+0 [f1f71cc9] MPItrampoline_jll v5.5.6+0 [c8ffd9c3] MbedTLS_jll v2.28.1010+0 [9237b28f] MicrosoftMPI_jll v10.1.4+3 [18a262bb] OpenEXR_jll v3.4.13+0 [643b3616] OpenJpeg_jll v2.5.5+0 [fe0851c0] OpenMPI_jll v5.0.11+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [f50d1b31] Rmath_jll v0.5.1+0 ⌅ [02c8fc9c] XML2_jll v2.13.9+0 [ffd25f8a] XZ_jll v5.8.3+0 [4f6342f7] Xorg_libX11_jll v1.8.13+0 [0c0b7dd1] Xorg_libXau_jll v1.0.13+0 [a3789734] Xorg_libXdmcp_jll v1.1.6+0 [1082639a] Xorg_libXext_jll v1.3.8+0 [a65dc6b1] Xorg_libpciaccess_jll v0.19.0+0 [c7cfdc94] Xorg_libxcb_jll v1.17.1+0 [c5fb5394] Xorg_xtrans_jll v1.6.0+0 ⌅ [2b3700d1] aws_c_auth_jll v0.9.6+0 [70f11efc] aws_c_cal_jll v0.9.13+0 [73048d1d] aws_c_common_jll v0.12.6+0 [73a04cd5] aws_c_compression_jll v0.3.2+0 [3254fc65] aws_c_http_jll v0.10.13+0 [13c41daa] aws_c_io_jll v0.26.3+0 ⌅ [bd1f34fb] aws_c_s3_jll v0.11.5+0 [1282aa60] aws_c_sdkutils_jll v0.2.4+1 [b2a88e68] aws_checksums_jll v0.2.10+0 [8a07c0c5] catch22_jll v0.5.0+0 [c4b69c83] dlfcn_win32_jll v1.4.2+0 [477f73a3] libaec_jll v1.1.7+0 [b53b4c65] libpng_jll v1.6.58+0 [075b6546] libsixel_jll v1.10.5+0 [c5f90fcd] libwebp_jll v1.6.0+0 [337d8026] libzip_jll v1.11.3+0 [9aeb927a] mpif_jll v0.1.7+0 [1317d2d5] oneTBB_jll v2022.3.0+0 [cddc5d3d] s2n_tls_jll v1.7.3+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [8bf52ea8] CRC32c 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.13.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.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.5.5+2 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.7+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 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.14.0-DEV.2637 ################################################## 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/KRa1C/src/machine-learning-utils.jl:96 ┌ 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/KRa1C/src/machine-learning-utils.jl:96 ================================================== ################################################## TEST: classification/japanesevowels.jl [ Info: Downloading dataset 375. ┌ 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 = Tables.DictColumnTable(schema::Tables.Schema, values::Dict{Any, Any}) at dicts.jl:3 [inlined] └ @ Tables ~/.julia/packages/Tables/oWklV/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 = Tables.DictColumnTable(schema::Tables.Schema, values::Dict{Symbol, AbstractVector}) at dicts.jl:3 [inlined] └ @ Tables ~/.julia/packages/Tables/oWklV/src/dicts.jl:3 [ Info: Precomputing logiset... [ Info: Training machine(ModalDecisionTree(max_depth = nothing, …), …). ┌ Error: Problem fitting the machine machine(ModalDecisionTree(max_depth = nothing, …), …). └ @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:758 [ Info: Running type checks... [ Info: Type checks okay. Classification, modal: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:54 Got exception outside of a @test LoadError: TaskFailedException nested task error: MethodError: no method matching (::ResumableFunctions.FSMIGenerator)(::UInt64, ::Method, ::Core.TypeEgal{ModalDecisionTrees.var"###typed_fsmi#42461#3"}, ::Core.TypeEgal{Core.TypeEgal{ModalDecisionTrees.var"##generate_decisions_FSMI#42461#2"{SoleLogics.Interval{Int64}, Float64}}}, ::NTuple{11, DataType}) The object of type `ResumableFunctions.FSMIGenerator` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Closest candidates are: (::ResumableFunctions.FSMIGenerator)(::UInt64, ::Any, ::Any, ::Type{Type{!Matched{T_}}}, ::Any) where T_ @ ResumableFunctions ~/.julia/packages/ResumableFunctions/wCRTi/src/utils.jl:172 Stacktrace: [1] generate_decisions(X::SupportedLogiset{SoleLogics.Interval{Int64}, Float64, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, UniformFullDimensionalLogiset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Float64, 4, Array{Float64, 4}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, SoleLogics.Interval{Int64}, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Union{Nothing, Float64}, 5, Array{Union{Nothing, Float64}, 5}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, SoleData.ScalarOneStepGlobalMemoset{SoleLogics.Interval{Int64}, Float64, SubArray{Union{Nothing, Float64}, 2, Matrix{Union{Nothing, Float64}}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}}}, SoleData.FullMemoset{SoleLogics.Interval{Int64}, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}}, Tuple{Vector{Int64}}, false}}}}, i_instances::Vector{Int64}, Sf::Vector{Vector{SoleLogics.Interval{Int64}}}, allow_propositional_decisions::Bool, allow_modal_decisions::Bool, allow_global_decisions::Bool, modal_relations_inds::Vector{Int64}, features_inds::Vector{Int64}, grouped_featsaggrsnops::Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}, grouped_featsnaggrs::Vector{Vector{Tuple{Integer, Function}}}) @ ModalDecisionTrees ~/.julia/packages/ResumableFunctions/wCRTi/src/macro.jl:184 [2] generate_relevant_decisions(Xs::MultiLogiset{SupportedLogiset{SoleLogics.Interval{Int64}, Float64, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, UniformFullDimensionalLogiset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Float64, 4, Array{Float64, 4}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, SoleLogics.Interval{Int64}, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Union{Nothing, Float64}, 5, Array{Union{Nothing, Float64}, 5}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, SoleData.ScalarOneStepGlobalMemoset{SoleLogics.Interval{Int64}, Float64, SubArray{Union{Nothing, Float64}, 2, Matrix{Union{Nothing, Float64}}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}}}, SoleData.FullMemoset{SoleLogics.Interval{Int64}, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}}, Tuple{Vector{Int64}}, false}}}}}, Sfs::Vector{Vector{WST} where {W, WST<:Vector{W}}}, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, node::ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}, rng::TaskLocalRNG, max_modal_depth::Nothing, idxs::Vector{Int64}, region::UnitRange{Int64}, grouped_featsaggrsnopss::Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, grouped_featsnaggrss::Vector{Vector{Vector{Tuple{Integer, Function}}}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:287 [3] optimize_node!(node::ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}, Xs::MultiLogiset{SupportedLogiset{SoleLogics.Interval{Int64}, Float64, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, UniformFullDimensionalLogiset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Float64, 4, Array{Float64, 4}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, SoleLogics.Interval{Int64}, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Union{Nothing, Float64}, 5, Array{Union{Nothing, Float64}, 5}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, SoleData.ScalarOneStepGlobalMemoset{SoleLogics.Interval{Int64}, Float64, SubArray{Union{Nothing, Float64}, 2, Matrix{Union{Nothing, Float64}}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}}}, SoleData.FullMemoset{SoleLogics.Interval{Int64}, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}}, Tuple{Vector{Int64}}, false}}}}}, Y::Vector{UInt32}, W::FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}, grouped_featsaggrsnopss::Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, grouped_featsnaggrss::Vector{Vector{Vector{Tuple{Integer, Function}}}}, lookahead_depth::Int64, Ss::Vector{ModalDecisionTrees.RestrictedMCARTState{Vector{Vector{SoleLogics.Interval{Int64}}}}}, _is_classification::Val{true}, _using_lookahead::Val{false}, _perform_consistency_check::Val{false}; loss_function::ModalDecisionTrees.ShannonEntropy, lookahead::Int64, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, idxs::Vector{Int64}, n_classes::Int64, rng::TaskLocalRNG) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:715 [inlined] [4] (::ModalDecisionTrees.var"#process_node!#92"{Val{true}, Val{false}, Val{false}, Bool, @Kwargs{n_classes::Int64, loss_function::ModalDecisionTrees.ShannonEntropy, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}}, MultiLogiset{SupportedLogiset{SoleLogics.Interval{Int64}, Float64, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, UniformFullDimensionalLogiset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Float64, 4, Array{Float64, 4}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, SoleLogics.Interval{Int64}, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Union{Nothing, Float64}, 5, Array{Union{Nothing, Float64}, 5}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, SoleData.ScalarOneStepGlobalMemoset{SoleLogics.Interval{Int64}, Float64, SubArray{Union{Nothing, Float64}, 2, Matrix{Union{Nothing, Float64}}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}}}, SoleData.FullMemoset{SoleLogics.Interval{Int64}, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}}, Tuple{Vector{Int64}}, false}}}}}, Vector{UInt32}, FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}, Vector{Vector{Vector{Tuple{Integer, Function}}}}, Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, Vector{Int64}})(node::ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}, rng::TaskLocalRNG) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1067 [5] (::ModalDecisionTrees.var"#97#98"{TaskLocalRNG, ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}})() @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1096 Stacktrace: [1] sync_end(c::Channel{Any}) @ Base task.jl:630 [2] macro expansion @ task.jl:663 [inlined] [3] _fit_tree(Xs::MultiLogiset{SupportedLogiset{SoleLogics.Interval{Int64}, Float64, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, UniformFullDimensionalLogiset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Float64, 4, Array{Float64, 4}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, SoleLogics.Interval{Int64}, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Union{Nothing, Float64}, 5, Array{Union{Nothing, Float64}, 5}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, SoleData.ScalarOneStepGlobalMemoset{SoleLogics.Interval{Int64}, Float64, SubArray{Union{Nothing, Float64}, 2, Matrix{Union{Nothing, Float64}}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}}}, SoleData.FullMemoset{SoleLogics.Interval{Int64}, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}}, Tuple{Vector{Int64}}, false}}}}}, Y::Vector{UInt32}, initconditions::Vector{ModalDecisionTrees.StartWithoutWorld}, W::FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}; profile::Symbol, lookahead::Int64, _is_classification::Val{true}, _using_lookahead::Val{false}, _perform_consistency_check::Val{false}, rng::TaskLocalRNG, print_progress::Bool, kwargs::@Kwargs{n_classes::Int64, loss_function::ModalDecisionTrees.ShannonEntropy, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1096 [inlined] [4] fit_tree(Xs::MultiLogiset{SupportedLogiset{SoleLogics.Interval{Int64}, Float64, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, UniformFullDimensionalLogiset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Float64, 4, Array{Float64, 4}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, SoleLogics.Interval{Int64}, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Union{Nothing, Float64}, 5, Array{Union{Nothing, Float64}, 5}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, SoleData.ScalarOneStepGlobalMemoset{SoleLogics.Interval{Int64}, Float64, SubArray{Union{Nothing, Float64}, 2, Matrix{Union{Nothing, Float64}}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}}}, SoleData.FullMemoset{SoleLogics.Interval{Int64}, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}}, Tuple{Vector{Int64}}, false}}}}}, Y::Vector{String}, initconditions::Vector{ModalDecisionTrees.StartWithoutWorld}, W::FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}; profile::Symbol, lookahead::Int64, use_minification::Bool, perform_consistency_check::Bool, kwargs::@Kwargs{loss_function::ModalDecisionTrees.ShannonEntropy, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, rng::TaskLocalRNG, print_progress::Bool}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1260 [5] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/src/build.jl:172 [6] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/src/build.jl:109 [7] fit(m::ModalDecisionTree, verbosity::Int64, X::MultiLogiset{SupportedLogiset{SoleLogics.Interval{Int64}, Float64, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, UniformFullDimensionalLogiset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Float64, 4, Array{Float64, 4}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, SoleData.AbstractUnivariateFeature, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, SoleLogics.Interval{Int64}, FullDimensionalFrame{1, SoleLogics.Interval{Int64}}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, SoleLogics.Interval{Int64}, 1, SubArray{Union{Nothing, Float64}, 5, Array{Union{Nothing, Float64}, 5}, Tuple{Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}, Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, SoleData.ScalarOneStepGlobalMemoset{SoleLogics.Interval{Int64}, Float64, SubArray{Union{Nothing, Float64}, 2, Matrix{Union{Nothing, Float64}}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}}}, SoleData.FullMemoset{SoleLogics.Interval{Int64}, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{SoleLogics.Interval{Int64}}}}, Tuple{Vector{Int64}}, false}}}}}, y::Vector{String}, var_grouping::Vector{Vector{Any}}, classes_seen::CategoricalArrays.CategoricalVector{String, UInt32, String, CategoricalArrays.CategoricalValue{String, UInt32}, Union{}}, w::Nothing) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/d9j23/src/interfaces/MLJ.jl:82 [8] fit_only!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}; rows::Vector{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:756 [9] fit!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}; kwargs::@Kwargs{rows::Vector{Int64}}) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:866 [inlined] [10] macro expansion @ ./timing.jl:741 [inlined] [11] top-level scope @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/classification/japanesevowels.jl:397 [12] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:326 [13] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:14 [14] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:55 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [16] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:55 [inlined] [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [18] top-level scope @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:50 [19] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:326 [20] top-level scope @ none:6 [21] eval(m::Module, e::Any) @ Core boot.jl:545 [22] exec_options(opts::Base.JLOptions) @ Base client.jl:321 [23] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/test/classification/japanesevowels.jl:36 ################################################## TEST: classification/iris.jl [ Info: Precomputing logiset... [ Info: Training machine(ModalDecisionTree(max_depth = nothing, …), …). ┌ Error: Problem fitting the machine machine(ModalDecisionTree(max_depth = nothing, …), …). └ @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:758 [ Info: Running type checks... [ Info: Type checks okay. Classification: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:54 Got exception outside of a @test LoadError: TaskFailedException nested task error: MethodError: no method matching (::ResumableFunctions.FSMIGenerator)(::UInt64, ::Method, ::Core.TypeEgal{ModalDecisionTrees.var"###typed_fsmi#42461#3"}, ::Core.TypeEgal{Core.TypeEgal{ModalDecisionTrees.var"##generate_decisions_FSMI#42461#2"{OneWorld, Float64}}}, ::NTuple{11, DataType}) The object of type `ResumableFunctions.FSMIGenerator` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Closest candidates are: (::ResumableFunctions.FSMIGenerator)(::UInt64, ::Any, ::Any, ::Type{Type{!Matched{T_}}}, ::Any) where T_ @ ResumableFunctions ~/.julia/packages/ResumableFunctions/wCRTi/src/utils.jl:172 Stacktrace: [1] generate_decisions(X::SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, Matrix{Float64}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, Array{Union{Nothing, Float64}, 3}}, Nothing}, SoleData.FullMemoset{OneWorld, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}}}}, i_instances::Vector{Int64}, Sf::Vector{Vector{OneWorld}}, allow_propositional_decisions::Bool, allow_modal_decisions::Bool, allow_global_decisions::Bool, modal_relations_inds::Vector{Int64}, features_inds::Vector{Int64}, grouped_featsaggrsnops::Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}, grouped_featsnaggrs::Vector{Vector{Tuple{Integer, Function}}}) @ ModalDecisionTrees ~/.julia/packages/ResumableFunctions/wCRTi/src/macro.jl:184 [2] generate_relevant_decisions(Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, Matrix{Float64}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, Array{Union{Nothing, Float64}, 3}}, Nothing}, SoleData.FullMemoset{OneWorld, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}}}}}, Sfs::Vector{Vector{WST} where {W, WST<:Vector{W}}}, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, node::ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}, rng::TaskLocalRNG, max_modal_depth::Nothing, idxs::Vector{Int64}, region::UnitRange{Int64}, grouped_featsaggrsnopss::Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, grouped_featsnaggrss::Vector{Vector{Vector{Tuple{Integer, Function}}}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:287 [3] optimize_node!(node::ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}, Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, Matrix{Float64}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, Array{Union{Nothing, Float64}, 3}}, Nothing}, SoleData.FullMemoset{OneWorld, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}}}}}, Y::Vector{UInt32}, W::Vector{Float64}, grouped_featsaggrsnopss::Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, grouped_featsnaggrss::Vector{Vector{Vector{Tuple{Integer, Function}}}}, lookahead_depth::Int64, Ss::Vector{ModalDecisionTrees.RestrictedMCARTState{Vector{Vector{OneWorld}}}}, _is_classification::Val{true}, _using_lookahead::Val{false}, _perform_consistency_check::Val{false}; loss_function::ModalDecisionTrees.ShannonEntropy, lookahead::Int64, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, idxs::Vector{Int64}, n_classes::Int64, rng::TaskLocalRNG) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:715 [inlined] [4] (::ModalDecisionTrees.var"#process_node!#92"{Val{true}, Val{false}, Val{false}, Bool, @Kwargs{n_classes::Int64, loss_function::ModalDecisionTrees.ShannonEntropy, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}}, MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, Matrix{Float64}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, Array{Union{Nothing, Float64}, 3}}, Nothing}, SoleData.FullMemoset{OneWorld, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}}}}}, Vector{UInt32}, Vector{Float64}, Vector{Vector{Vector{Tuple{Integer, Function}}}}, Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, Vector{Int64}})(node::ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}, rng::TaskLocalRNG) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1067 [5] (::ModalDecisionTrees.var"#97#98"{TaskLocalRNG, ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}})() @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1096 Stacktrace: [1] sync_end(c::Channel{Any}) @ Base task.jl:630 [2] macro expansion @ task.jl:663 [inlined] [3] _fit_tree(Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, Matrix{Float64}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, Array{Union{Nothing, Float64}, 3}}, Nothing}, SoleData.FullMemoset{OneWorld, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}}}}}, Y::Vector{UInt32}, initconditions::Vector{ModalDecisionTrees.StartWithoutWorld}, W::Vector{Float64}; profile::Symbol, lookahead::Int64, _is_classification::Val{true}, _using_lookahead::Val{false}, _perform_consistency_check::Val{false}, rng::TaskLocalRNG, print_progress::Bool, kwargs::@Kwargs{n_classes::Int64, loss_function::ModalDecisionTrees.ShannonEntropy, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1096 [inlined] [4] fit_tree(Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, Matrix{Float64}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, Array{Union{Nothing, Float64}, 3}}, Nothing}, SoleData.FullMemoset{OneWorld, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}}}}}, Y::Vector{String}, initconditions::Vector{ModalDecisionTrees.StartWithoutWorld}, W::Vector{Float64}; profile::Symbol, lookahead::Int64, use_minification::Bool, perform_consistency_check::Bool, kwargs::@Kwargs{loss_function::ModalDecisionTrees.ShannonEntropy, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, rng::TaskLocalRNG, print_progress::Bool}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1260 [5] build_tree(X::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, Matrix{Float64}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, Array{Union{Nothing, Float64}, 3}}, Nothing}, SoleData.FullMemoset{OneWorld, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}}}}}, Y::Vector{String}, W::Vector{Float64}; loss_function::Nothing, lookahead::Nothing, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Function, n_subfeatures::typeof(identity), initconditions::Vector{ModalDecisionTrees.StartWithoutWorld}, allow_global_splits::Bool, use_minification::Bool, perform_consistency_check::Bool, rng::TaskLocalRNG, print_progress::Bool) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/build.jl:172 [6] fit(m::ModalDecisionTree, verbosity::Int64, X::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, Matrix{Float64}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, Array{Union{Nothing, Float64}, 3}}, Nothing}, SoleData.FullMemoset{OneWorld, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}}}}}, y::Vector{String}, var_grouping::Vector{Vector{Any}}, classes_seen::CategoricalArrays.CategoricalVector{String, UInt32, String, CategoricalArrays.CategoricalValue{String, UInt32}, Union{}}, w::Vector{Float64}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/d9j23/src/interfaces/MLJ.jl:82 [7] fit_only!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}; rows::Nothing, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:756 [8] fit_only!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:668 [inlined] [9] fit!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}; kwargs::@Kwargs{}) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:866 [inlined] [10] fit!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:863 [inlined] [11] |>(x::Machine{ModalDecisionTree, ModalDecisionTree, true}, f::typeof(fit!)) @ Base operators.jl:983 [12] top-level scope @ ./timing.jl:741 [13] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:326 [14] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:14 [15] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:55 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [17] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:55 [inlined] [18] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [19] top-level scope @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:50 [20] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:326 [21] top-level scope @ none:6 [22] eval(m::Module, e::Any) @ Core boot.jl:545 [23] exec_options(opts::Base.JLOptions) @ Base client.jl:321 [24] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/test/classification/iris.jl:16 ################################################## TEST: regression/simple.jl [ Info: Precomputing logiset... [ Info: Training machine(ModalDecisionTree(max_depth = nothing, …), …). ┌ Error: Problem fitting the machine machine(ModalDecisionTree(max_depth = nothing, …), …). └ @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:758 [ Info: Running type checks... [ Info: Type checks okay. Regression: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:54 Got exception outside of a @test LoadError: TaskFailedException nested task error: MethodError: no method matching (::ResumableFunctions.FSMIGenerator)(::UInt64, ::Method, ::Core.TypeEgal{ModalDecisionTrees.var"###typed_fsmi#42461#3"}, ::Core.TypeEgal{Core.TypeEgal{ModalDecisionTrees.var"##generate_decisions_FSMI#42461#2"{OneWorld, Float64}}}, ::NTuple{11, DataType}) The object of type `ResumableFunctions.FSMIGenerator` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Closest candidates are: (::ResumableFunctions.FSMIGenerator)(::UInt64, ::Any, ::Any, ::Type{Type{!Matched{T_}}}, ::Any) where T_ @ ResumableFunctions ~/.julia/packages/ResumableFunctions/wCRTi/src/utils.jl:172 Stacktrace: [1] generate_decisions(X::SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}, i_instances::Vector{Int64}, Sf::Vector{Vector{OneWorld}}, allow_propositional_decisions::Bool, allow_modal_decisions::Bool, allow_global_decisions::Bool, modal_relations_inds::Vector{Int64}, features_inds::Vector{Int64}, grouped_featsaggrsnops::Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}, grouped_featsnaggrs::Vector{Vector{Tuple{Integer, Function}}}) @ ModalDecisionTrees ~/.julia/packages/ResumableFunctions/wCRTi/src/macro.jl:184 [2] generate_relevant_decisions(Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Sfs::Vector{Vector{WST} where {W, WST<:Vector{W}}}, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, node::ModalDecisionTrees.NodeMeta{Float64, Float64, RestrictedDecision}, rng::TaskLocalRNG, max_modal_depth::Nothing, idxs::Vector{Int64}, region::UnitRange{Int64}, grouped_featsaggrsnopss::Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, grouped_featsnaggrss::Vector{Vector{Vector{Tuple{Integer, Function}}}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:287 [3] optimize_node!(node::ModalDecisionTrees.NodeMeta{Float64, Float64, RestrictedDecision}, Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Y::Vector{Float64}, W::FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}, grouped_featsaggrsnopss::Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, grouped_featsnaggrss::Vector{Vector{Vector{Tuple{Integer, Function}}}}, lookahead_depth::Int64, Ss::Vector{ModalDecisionTrees.RestrictedMCARTState{Vector{Vector{OneWorld}}}}, _is_classification::Val{false}, _using_lookahead::Val{false}, _perform_consistency_check::Val{false}; loss_function::ModalDecisionTrees.Variance, lookahead::Int64, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, idxs::Vector{Int64}, n_classes::Int64, rng::TaskLocalRNG) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:715 [inlined] [4] (::ModalDecisionTrees.var"#process_node!#92"{Val{false}, Val{false}, Val{false}, Bool, @Kwargs{n_classes::Int64, loss_function::ModalDecisionTrees.Variance, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}}, MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Vector{Float64}, FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}, Vector{Vector{Vector{Tuple{Integer, Function}}}}, Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, Vector{Int64}})(node::ModalDecisionTrees.NodeMeta{Float64, Float64, RestrictedDecision}, rng::TaskLocalRNG) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1067 [5] (::ModalDecisionTrees.var"#97#98"{TaskLocalRNG, ModalDecisionTrees.NodeMeta{Float64, Float64, RestrictedDecision}})() @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1096 Stacktrace: [1] sync_end(c::Channel{Any}) @ Base task.jl:630 [2] macro expansion @ task.jl:663 [inlined] [3] _fit_tree(Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Y::Vector{Float64}, initconditions::Vector{ModalDecisionTrees.StartWithoutWorld}, W::FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}; profile::Symbol, lookahead::Int64, _is_classification::Val{false}, _using_lookahead::Val{false}, _perform_consistency_check::Val{false}, rng::TaskLocalRNG, print_progress::Bool, kwargs::@Kwargs{n_classes::Int64, loss_function::ModalDecisionTrees.Variance, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1096 [inlined] [4] fit_tree(Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Y::Vector{Float64}, initconditions::Vector{ModalDecisionTrees.StartWithoutWorld}, W::FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}; profile::Symbol, lookahead::Int64, use_minification::Bool, perform_consistency_check::Bool, kwargs::@Kwargs{loss_function::ModalDecisionTrees.Variance, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, rng::TaskLocalRNG, print_progress::Bool}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1260 [5] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/src/build.jl:172 [6] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/src/build.jl:109 [7] fit(m::ModalDecisionTree, verbosity::Int64, X::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, y::Vector{Float64}, var_grouping::Vector{Vector{Any}}, classes_seen::Nothing, w::Nothing) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/d9j23/src/interfaces/MLJ.jl:82 [8] fit_only!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}; rows::UnitRange{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:756 [9] fit!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}; kwargs::@Kwargs{rows::UnitRange{Int64}}) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:866 [inlined] [10] top-level scope @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/regression/simple.jl:19 [11] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:326 [12] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:14 [13] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:55 [inlined] [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [15] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:55 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [17] top-level scope @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:50 [18] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:326 [19] top-level scope @ none:6 [20] eval(m::Module, e::Any) @ Core boot.jl:545 [21] exec_options(opts::Base.JLOptions) @ Base client.jl:321 [22] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/test/regression/simple.jl:19 ################################################## 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/Tqnsi/src/machines.jl:277 [ Info: Precomputing logiset... [ Info: Training machine(ModalDecisionTree(max_depth = nothing, …), …). ┌ Error: Problem fitting the machine machine(ModalDecisionTree(max_depth = nothing, …), …). └ @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:758 [ Info: Running type checks... [ Info: Type checks okay. Miscellaneous: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:54 Got exception outside of a @test LoadError: TaskFailedException nested task error: MethodError: no method matching (::ResumableFunctions.FSMIGenerator)(::UInt64, ::Method, ::Core.TypeEgal{ModalDecisionTrees.var"###typed_fsmi#42461#3"}, ::Core.TypeEgal{Core.TypeEgal{ModalDecisionTrees.var"##generate_decisions_FSMI#42461#2"{OneWorld, Float64}}}, ::NTuple{11, DataType}) The object of type `ResumableFunctions.FSMIGenerator` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Closest candidates are: (::ResumableFunctions.FSMIGenerator)(::UInt64, ::Any, ::Any, ::Type{Type{!Matched{T_}}}, ::Any) where T_ @ ResumableFunctions ~/.julia/packages/ResumableFunctions/wCRTi/src/utils.jl:172 Stacktrace: [1] generate_decisions(X::SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}, i_instances::Vector{Int64}, Sf::Vector{Vector{OneWorld}}, allow_propositional_decisions::Bool, allow_modal_decisions::Bool, allow_global_decisions::Bool, modal_relations_inds::Vector{Int64}, features_inds::Vector{Int64}, grouped_featsaggrsnops::Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}, grouped_featsnaggrs::Vector{Vector{Tuple{Integer, Function}}}) @ ModalDecisionTrees ~/.julia/packages/ResumableFunctions/wCRTi/src/macro.jl:184 [2] generate_relevant_decisions(Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Sfs::Vector{Vector{WST} where {W, WST<:Vector{W}}}, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, node::ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}, rng::TaskLocalRNG, max_modal_depth::Nothing, idxs::Vector{Int64}, region::UnitRange{Int64}, grouped_featsaggrsnopss::Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, grouped_featsnaggrss::Vector{Vector{Vector{Tuple{Integer, Function}}}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:287 [3] optimize_node!(node::ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}, Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Y::Vector{UInt32}, W::FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}, grouped_featsaggrsnopss::Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, grouped_featsnaggrss::Vector{Vector{Vector{Tuple{Integer, Function}}}}, lookahead_depth::Int64, Ss::Vector{ModalDecisionTrees.RestrictedMCARTState{Vector{Vector{OneWorld}}}}, _is_classification::Val{true}, _using_lookahead::Val{false}, _perform_consistency_check::Val{false}; loss_function::ModalDecisionTrees.ShannonEntropy, lookahead::Int64, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, idxs::Vector{Int64}, n_classes::Int64, rng::TaskLocalRNG) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:715 [inlined] [4] (::ModalDecisionTrees.var"#process_node!#92"{Val{true}, Val{false}, Val{false}, Bool, @Kwargs{n_classes::Int64, loss_function::ModalDecisionTrees.ShannonEntropy, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}}, MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Vector{UInt32}, FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}, Vector{Vector{Vector{Tuple{Integer, Function}}}}, Vector{Vector{Dict{Function, AbstractVector{<:ScalarMetaCondition}}}}, Vector{Int64}})(node::ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}, rng::TaskLocalRNG) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1067 [5] (::ModalDecisionTrees.var"#97#98"{TaskLocalRNG, ModalDecisionTrees.NodeMeta{UInt32, Float64, RestrictedDecision}})() @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1096 Stacktrace: [1] sync_end(c::Channel{Any}) @ Base task.jl:630 [2] macro expansion @ task.jl:663 [inlined] [3] _fit_tree(Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Y::Vector{UInt32}, initconditions::Vector{ModalDecisionTrees.StartWithoutWorld}, W::FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}; profile::Symbol, lookahead::Int64, _is_classification::Val{true}, _using_lookahead::Val{false}, _perform_consistency_check::Val{false}, rng::TaskLocalRNG, print_progress::Bool, kwargs::@Kwargs{n_classes::Int64, loss_function::ModalDecisionTrees.ShannonEntropy, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1096 [inlined] [4] fit_tree(Xs::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, Y::Vector{String}, initconditions::Vector{ModalDecisionTrees.StartWithoutWorld}, W::FillArrays.Ones{Int64, 1, Tuple{Base.OneTo{Int64}}}; profile::Symbol, lookahead::Int64, use_minification::Bool, perform_consistency_check::Bool, kwargs::@Kwargs{loss_function::ModalDecisionTrees.ShannonEntropy, max_depth::Nothing, min_samples_leaf::Int64, min_purity_increase::Float64, max_purity_at_leaf::Float64, max_modal_depth::Nothing, n_subrelations::Vector{typeof(identity)}, n_subfeatures::Vector{Int64}, allow_global_splits::Vector{Bool}, rng::TaskLocalRNG, print_progress::Bool}) @ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/d9j23/src/ModalCART.jl:1260 [5] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/src/build.jl:172 [6] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/src/build.jl:109 [7] fit(m::ModalDecisionTree, verbosity::Int64, X::MultiLogiset{SupportedLogiset{OneWorld, Float64, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}, UniformFullDimensionalLogiset{Float64, OneWorld, 0, SubArray{Float64, 2, Matrix{Float64}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}}, false}, VariableValue{Int64, Nothing}, FullDimensionalFrame{0, OneWorld}}, 2, Tuple{SoleData.ScalarOneStepMemoset{Float64, OneWorld, FullDimensionalFrame{0, OneWorld}, Float64, SoleData.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset{Float64, OneWorld, 0, SubArray{Union{Nothing, Float64}, 3, Array{Union{Nothing, Float64}, 3}, Tuple{Vector{Int64}, Base.Slice{Base.OneTo{Int64}}, Base.Slice{Base.OneTo{Int64}}}, false}}, Nothing}, SoleData.FullMemoset{OneWorld, SubArray{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}, 1, Vector{ThreadSafeDicts.ThreadSafeDict{SyntaxTree, Vector{OneWorld}}}, Tuple{Vector{Int64}}, false}}}}}, y::Vector{String}, var_grouping::Vector{Vector{Any}}, classes_seen::Vector{UInt32}, w::Nothing) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/d9j23/src/interfaces/MLJ.jl:82 [8] fit_only!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}; rows::Vector{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:756 [9] fit!(mach::Machine{ModalDecisionTree, ModalDecisionTree, true}; kwargs::@Kwargs{rows::Vector{Int64}}) @ MLJBase ~/.julia/packages/MLJBase/Tqnsi/src/machines.jl:866 [inlined] [10] top-level scope @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/multimodal-datasets-multiformulas-construction.jl:45 [11] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:326 [12] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:14 [13] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:55 [inlined] [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [15] macro expansion @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:55 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [17] top-level scope @ ~/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:50 [18] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:326 [19] top-level scope @ none:6 [20] eval(m::Module, e::Any) @ Core boot.jl:545 [21] exec_options(opts::Base.JLOptions) @ Base client.jl:321 [22] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/test/multimodal-datasets-multiformulas-construction.jl:45 ################################################## 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)) ▣ {1}(⟨G⟩([] ≤ 1)) ├✔ {2}(([] ≥ 1)) SHORTFORM: {1}(⟨G⟩([] ≤ 1)) │ ├✔ {2}(⟨L̅⟩([] ≤ 1)) SHORTFORM: {1}(⟨G⟩([] ≤ 1)) ∧ {2}(([] ≥ 1)) │ │ ├✔ {1}(⟨G⟩(([] ≤ 1) ∧ ⟨A̅⟩([] ≤ 1))) SHORTFORM: {1}(⟨G⟩([] ≤ 1)) ∧ {2}(⟨L̅⟩([] ≤ 1)) │ │ │ ├✔ YES SHORTFORM: {1}(⟨G⟩(([] ≤ 1) ∧ ⟨A̅⟩([] ≤ 1))) ∧ {2}(⟨L̅⟩([] ≤ 1)) │ │ │ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩([] ≤ 1) ∧ [G](([] ≤ 1) → [A̅]([] > 1)) ∧ {2}([] ≥ 1) ∧ ⟨L̅⟩([] ≤ 1) │ │ └✘ {1}(⟨G⟩(([] ≤ 1) ∧ ⟨B⟩([] ≥ 1))) SHORTFORM: {1}(⟨G⟩([] ≤ 1)) ∧ {2}([] ≥ 1) ∧ [L̅]([] > 1) │ │ ├✔ {3}(([] ≤ 1)) SHORTFORM: {1}(⟨G⟩(([] ≤ 1) ∧ ⟨B⟩([] ≥ 1))) ∧ {2}([L̅]([] > 1)) │ │ │ ├✔ YES SHORTFORM: {1}(⟨G⟩(([] ≤ 1) ∧ ⟨B⟩([] ≥ 1))) ∧ {2}([L̅]([] > 1)) ∧ {3}(([] ≤ 1)) │ │ │ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩([] ≤ 1) ∧ ⟨G⟩(([] ≤ 1) ∧ ⟨B⟩([] ≥ 1)) ∧ {2}([] ≥ 1) ∧ [L̅]([] > 1) ∧ {3}(([] > 1)) │ │ └✘ {2}(⟨L⟩([] ≥ 1)) SHORTFORM: {1}⟨G⟩([] ≤ 1) ∧ [G](([] ≤ 1) → [B]([] < 1)) ∧ {2}([] ≥ 1) ∧ [L̅]([] > 1) │ │ ├✔ YES SHORTFORM: {1}([G](([] ≤ 1) → [B]([] < 1))) ∧ {2}⟨L⟩([] ≥ 1) ∧ [L̅]([] > 1) │ │ └✘ {1}(⟨G⟩(([] ≤ 1) ∧ ⟨A̅⟩([] ≤ 1))) SHORTFORM: {1}⟨G⟩([] ≤ 1) ∧ [G](([] ≤ 1) → [B]([] < 1)) ∧ {2}([] ≥ 1) ∧ [L̅]([] > 1) ∧ [L]([] < 1) │ │ ├✔ YES SHORTFORM: {1}⟨G⟩(([] ≤ 1) ∧ ⟨A̅⟩([] ≤ 1)) ∧ [G](([] ≤ 1) → [B]([] < 1)) ∧ {2}[L]([] < 1) ∧ [L̅]([] > 1) │ │ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩([] ≤ 1) ∧ [G](([] ≤ 1) → [B]([] < 1)) ∧ [G](([] ≤ 1) → [A̅]([] > 1)) ∧ {2}([] ≥ 1) ∧ [L̅]([] > 1) ∧ [L]([] < 1) │ └✘ {1}(⟨G⟩(([] ≤ 1) ∧ ⟨A̅⟩([] ≥ 1))) SHORTFORM: {1}(⟨G⟩([] ≤ 1)) ∧ {2}(([] < 1)) │ ├✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}(⟨G⟩(([] ≤ 1) ∧ ⟨A̅⟩([] ≥ 1))) ∧ {2}(([] < 1)) │ └✘ YES SHORTFORM: {1}⟨G⟩([] ≤ 1) ∧ [G](([] ≤ 1) → [A̅]([] < 1)) ∧ {2}(([] < 1)) └✘ {1}(⟨G⟩([] ≥ 1)) SHORTFORM: {1}([G]([] > 1)) ├✔ {2}(⟨L̅⟩([] ≥ 1)) SHORTFORM: {1}⟨G⟩([] ≥ 1) ∧ [G]([] > 1) │ ├✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩([] ≥ 1) ∧ [G]([] > 1) ∧ {2}(⟨L̅⟩([] ≥ 1)) │ └✘ {2}(([] ≤ 1)) SHORTFORM: {1}[G]([] > 1) ∧ ⟨G⟩([] ≥ 1) ∧ {2}([L̅]([] < 1)) │ ├✔ YES SHORTFORM: {1}⟨G⟩([] ≥ 1) ∧ [G]([] > 1) ∧ {2}([] ≤ 1) ∧ [L̅]([] < 1) │ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}[G]([] > 1) ∧ ⟨G⟩([] ≥ 1) ∧ {2}[L̅]([] < 1) ∧ ([] > 1) └✘ {1}(⟨G⟩([] ≥ 1)) SHORTFORM: {1}[G]([] > 1) ∧ [G]([] < 1) ├✔ YES SHORTFORM: {1}⟨G⟩([] ≥ 1) ∧ [G]([] > 1) ∧ [G]([] < 1) └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}[G]([] > 1) ∧ [G]([] < 1) ∧ [G]([] < 1) ================================================== TEST: other/restricted2complete.jl {2} RestrictedDecision(⟨L⟩min[V3] ≤ 0) ├─ {2} RestrictedDecision(⟨A⟩min[V2] < 0) │ ├─ ┌ Warning: Using ErrorException to test field access is deprecated; use FieldError instead. │ caller = top-level scope at restricted2complete.jl:21 └ @ Core ~/.julia/packages/ModalDecisionTrees/d9j23/test/other/restricted2complete.jl:21 ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │ ├✔ 1.5 │ └✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 1.5 │ └✘ 1.5 └✘ 1.5 ├─ ▣ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │ ├✔ 1.5 │ └✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 1.5 │ └✘ 1.5 │ │ ├─ ▣ 1.5 │ │ │ └─ ▣ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 1.5 │ └✘ 1.5 │ │ ├─ ▣ 1.5 │ │ │ └─ ▣ 1.5 │ └─ ▣ 1.5 ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 2 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})"] h = 0 ["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 1 {2}(⟨L⟩min[V3] ≤ 0) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] h = 4 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] h = 3 syntaxstring(_lambda) = "min[V3] ≤ 0" i_ctr = 2 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] h = 1 {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", "DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", "DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] h = 6 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", "DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] h = 5 syntaxstring(_lambda) = "min[V3] ≤ 0" i_ctr = 4 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})"] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 0 ["DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})"] h = 1 Any["DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", "DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] h = 2 syntaxstring(_lambda) = "⟨G⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})"] h = 0 Any["DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] 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))) │ ├✔ 1.5 │ └✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 1.5 │ └✘ 1.5 └✘ 1.5 ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │ ├✔ 1.5 │ └✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 1.5 │ └✘ 1.5 └✘ 1.5 ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) SHORTFORM: {2}(⟨L⟩(min[V3] ≤ 0)) │ ├✔ 1.5 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)) │ ├✔ 1.5 SHORTFORM: {2}⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10)) ∧ [L]((min[V3] ≤ 0) → [A](min[V2] ≥ 0)) │ └✘ 1.5 SHORTFORM: {2}⟨L⟩(min[V3] ≤ 0) ∧ [L]((min[V3] ≤ 0) → [A](min[V2] ≥ 0)) ∧ [L]((min[V3] ≤ 0) → [G](min[V1] < 10)) └✘ 1.5 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)) │ ├✔ 1.5 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)) │ ├✔ 1.5 SHORTFORM: {2}⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10)) ∧ [L]((min[V3] ≤ 0) → [A](min[V2] ≥ 0)) │ └✘ 1.5 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)) └✘ 1.5 SHORTFORM: {2}([L](min[V3] > 0)) ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 2 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})"] h = 0 ["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 1 {2}(⟨L⟩min[V3] ≤ 0) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] h = 4 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] h = 3 syntaxstring(_lambda) = "min[V3] ≤ 0" i_ctr = 2 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", 1.5] h = 1 {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", "DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", "DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] h = 6 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(min[V3] ≤ 0, ?back{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5}, ?forth{decision = DoubleEdgedDecision(min[V3] ≤ 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", "DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] h = 5 syntaxstring(_lambda) = "min[V3] ≤ 0" i_ctr = 4 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})"] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})"] h = 0 ["DoubleEdgedDecision(min[V2] < 0, ?back{decision = DoubleEdgedDecision(min[V2] < 0), height = 3}, ?forth{decision = DoubleEdgedDecision(min[V2] < 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})"] h = 1 Any["DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", "DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] h = 2 syntaxstring(_lambda) = "⟨G⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})"] h = 0 Any["DoubleEdgedDecision(min[V1] ≥ 10, ?back{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1}, ?forth{decision = DoubleEdgedDecision(min[V1] ≥ 10), height = 1})", 1.5] 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)) │ ├✔ 1.5 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)) │ ├✔ 1.5 SHORTFORM: {2}⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10)) ∧ [L]((min[V3] ≤ 0) → [A](min[V2] ≥ 0)) │ └✘ 1.5 SHORTFORM: {2}⟨L⟩(min[V3] ≤ 0) ∧ [L]((min[V3] ≤ 0) → [A](min[V2] ≥ 0)) ∧ [L]((min[V3] ≤ 0) → [G](min[V1] < 10)) └✘ 1.5 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)) │ ├✔ 1.5 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)) │ ├✔ 1.5 SHORTFORM: {2}⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10)) ∧ [L]((min[V3] ≤ 0) → [A](min[V2] ≥ 0)) │ └✘ 1.5 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)) └✘ 1.5 SHORTFORM: {2}([L](min[V3] > 0)) ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │ ├✔ 1.5 │ └✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 1.5 │ └✘ 1.5 └✘ 1.5 ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │ ├✔ 1.5 │ └✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 1.5 │ └✘ 1.5 └✘ 1.5 ================================================== ################################################## TEST: /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/pluto-demo.jl Pluto Demo: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/d9j23/test/runtests.jl:54 Got exception outside of a @test LoadError: HTTP.Exceptions.StatusError(404, "GET", "/PasoStudio73/datasets/raw/refs/heads/main/NATOPS.zip", HTTP.Messages.Response: """ HTTP/1.1 404 Not Found Date: Mon, 13 Jul 2026 03:09:22 GMT Content-Type: text/html; charset=utf-8 Vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With Cache-Control: no-cache Strict-Transport-Security: max-age=31536000; includeSubdomains; preload X-Frame-Options: deny X-Content-Type-Options: nosniff X-XSS-Protection: 0 Referrer-Policy: origin-when-cross-origin, strict-origin-when-cross-origin Content-Security-Policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net productionresultssa1.blob.core.windows.net productionresultssa2.blob.core.windows.net productionresultssa3.blob.core.windows.net productionresultssa4.blob.core.windows.net productionresultssa5.blob.core.windows.net productionresultssa6.blob.core.windows.net productionresultssa7.blob.core.windows.net productionresultssa8.blob.core.windows.net productionresultssa9.blob.core.windows.net productionresultssa10.blob.core.windows.net productionresultssa11.blob.core.windows.net productionresultssa12.blob.core.windows.net productionresultssa13.blob.core.windows.net productionresultssa14.blob.core.windows.net productionresultssa15.blob.core.windows.net productionresultssa16.blob.core.windows.net productionresultssa17.blob.core.windows.net productionresultssa18.blob.core.windows.net productionresultssa19.blob.core.windows.net github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com wss://production-copilot-host.webpubsub.azure.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com user-images.githubusercontent.com private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com explore-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com secured-user-images.githubusercontent.com private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/ Content-Encoding: gzip Server: github.com Content-Length: 131217 X-GitHub-Request-Id: E688:34DD25:1337BF5:19E8D54:6A54571C