Package evaluation of ModalDecisionTrees on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T21:24:56.184
################################################################################
# Set-up
#
Installing PkgEval dependencies (TestEnv)...
Set-up completed after 8.53s
################################################################################
# Installation
#
Installing ModalDecisionTrees...
Resolving package versions...
Updating `~/.julia/environments/v1.11/Project.toml`
[e54bda2e] + ModalDecisionTrees v0.5.1
Updating `~/.julia/environments/v1.11/Manifest.toml`
[da404889] + ARFFFiles v1.5.0
[1520ce14] + AbstractTrees v0.4.5
[7d9f7c33] + Accessors v0.1.42
[79e6a3ab] + Adapt v4.3.0
[66dad0bd] + AliasTables v1.1.3
[dce04be8] + ArgCheck v2.5.0
[ec485272] + ArnoldiMethod v0.4.0
[4fba245c] + ArrayInterface v7.18.0
[198e06fe] + BangBang v0.4.4
[9718e550] + Baselet v0.1.1
[6e4b80f9] + BenchmarkTools v1.6.0
[d1d4a3ce] + BitFlags v0.1.9
[336ed68f] + CSV v0.10.15
⌅ [acdeb78f] + Catch22 v0.5.2
[324d7699] + CategoricalArrays v0.10.8
[af321ab8] + CategoricalDistributions v0.1.15
[da1fd8a2] + CodeTracking v1.3.9
[944b1d66] + CodecZlib v0.7.8
[3da002f7] + ColorTypes v0.12.1
[34da2185] + Compat v4.16.0
[a33af91c] + CompositionsBase v0.1.2
[f0e56b4a] + ConcurrentUtilities v2.5.0
[187b0558] + ConstructionBase v1.5.8
[a8cc5b0e] + Crayons v4.1.1
[9a962f9c] + DataAPI v1.16.0
[a93c6f00] + DataFrames v1.7.0
[864edb3b] + DataStructures v0.18.22
[e2d170a0] + DataValueInterfaces v1.0.0
[244e2a9f] + DefineSingletons v0.1.2
[8bb1440f] + DelimitedFiles v1.9.1
[85a47980] + Dictionaries v0.4.5
[0703355e] + DimensionalData v0.29.15
[31c24e10] + Distributions v0.25.118
[ffbed154] + DocStringExtensions v0.9.4
[460bff9d] + ExceptionUnwrapping v0.1.11
[411431e0] + Extents v0.1.5
[48062228] + FilePathsBase v0.9.24
[1a297f60] + FillArrays v1.13.0
[53c48c17] + FixedPointNumbers v0.8.5
[069b7b12] + FunctionWrappers v1.1.3
[86223c79] + Graphs v1.12.1
[cd3eb016] + HTTP v1.10.15
[34004b35] + HypergeometricFunctions v0.3.28
[313cdc1a] + Indexing v1.1.1
[d25df0c9] + Inflate v0.1.5
[22cec73e] + InitialValues v0.3.1
[842dd82b] + InlineStrings v1.4.3
[85a1e053] + Interfaces v0.3.2
[8197267c] + IntervalSets v0.7.10
[3587e190] + InverseFunctions v0.1.17
[41ab1584] + InvertedIndices v1.3.1
[92d709cd] + IrrationalConstants v0.2.4
[c8e1da08] + IterTools v1.10.0
[82899510] + IteratorInterfaceExtensions v1.0.0
[692b3bcd] + JLLWrappers v1.7.0
[682c06a0] + JSON v0.21.4
[aa1ae85d] + JuliaInterpreter v0.9.42
[b964fa9f] + LaTeXStrings v1.4.0
[50d2b5c4] + Lazy v0.15.1
[2ab3a3ac] + LogExpFunctions v0.3.29
[e6f89c97] + LoggingExtras v1.1.0
[6f1432cf] + LoweredCodeUtils v3.1.0
[e80e1ace] + MLJModelInterface v1.11.0
[1914dd2f] + MacroTools v0.5.15
[739be429] + MbedTLS v1.1.9
[6fafb56a] + Memoization v0.2.2
[128add7d] + MicroCollections v0.2.0
[e1d29d7a] + Missings v1.2.0
[e54bda2e] + ModalDecisionTrees v0.5.1
⌃ [8cc5100c] + MultiData v0.1.2
[8b6db2d4] + OpenML v0.3.2
[4d8831e6] + OpenSSL v1.4.3
[bac558e1] + OrderedCollections v1.8.0
[90014a1f] + PDMats v0.11.33
[69de0a69] + Parsers v2.8.1
[2dfb63ee] + PooledArrays v1.4.3
⌅ [aea7be01] + PrecompileTools v1.2.1
[21216c6a] + Preferences v1.4.3
[08abe8d2] + PrettyTables v2.4.0
[33c8b6b6] + ProgressLogging v0.1.4
[92933f4c] + ProgressMeter v1.10.4
[43287f4e] + PtrArrays v1.3.0
[1fd47b50] + QuadGK v2.11.2
[3cdcf5f2] + RecipesBase v1.3.4
[189a3867] + Reexport v1.2.2
[42d2dcc6] + Referenceables v0.1.3
[ae029012] + Requires v1.3.1
⌅ [c5292f4c] + ResumableFunctions v0.6.10
[295af30f] + Revise v3.7.3
[79098fc4] + Rmath v0.8.0
[321657f4] + ScientificTypes v3.1.0
[30f210dd] + ScientificTypesBase v3.0.0
[6c6a2e73] + Scratch v1.2.1
[91c51154] + SentinelArrays v1.4.8
[efcf1570] + Setfield v1.1.2
[777ac1f9] + SimpleBufferStream v1.2.0
[699a6c99] + SimpleTraits v0.9.4
⌃ [7b3b3b3f] + Sole v0.6.1
⌅ [4475fa32] + SoleBase v0.12.4
⌅ [123f1ae1] + SoleData v0.15.3
⌅ [b002da8f] + SoleLogics v0.10.4
⌅ [4249d9c7] + SoleModels v0.8.3
[a2af1166] + SortingAlgorithms v1.2.1
[276daf66] + SpecialFunctions v2.5.0
[171d559e] + SplittablesBase v0.1.15
[90137ffa] + StaticArrays v1.9.13
[1e83bf80] + StaticArraysCore v1.4.3
[64bff920] + StatisticalTraits v3.4.0
[10745b16] + Statistics v1.11.1
[82ae8749] + StatsAPI v1.7.0
[2913bbd2] + StatsBase v0.34.4
[4c63d2b9] + StatsFuns v1.4.0
[892a3eda] + StringManipulation v0.4.1
[fd094767] + Suppressor v0.2.8
[3783bdb8] + TableTraits v1.0.1
[bd369af6] + Tables v1.12.0
[4239201d] + ThreadSafeDicts v0.1.6
[ac1d9e8a] + ThreadsX v0.1.12
⌅ [f3112013] + TimeseriesFeatures v0.4.4
[3bb67fe8] + TranscodingStreams v0.11.3
[28d57a85] + Transducers v0.4.84
[5c2747f8] + URIs v1.5.2
[2fbcfb34] + UniqueVectors v1.2.0
[ea10d353] + WeakRefStrings v1.4.2
[76eceee3] + WorkerUtilities v1.6.1
[a5390f91] + ZipFile v0.10.1
[458c3c95] + OpenSSL_jll v3.0.16+0
[efe28fd5] + OpenSpecFun_jll v0.5.6+0
[f50d1b31] + Rmath_jll v0.5.1+0
⌅ [8a07c0c5] + catch22_jll v0.4.0+0
[0dad84c5] + ArgTools v1.1.2
[56f22d72] + Artifacts v1.11.0
[2a0f44e3] + Base64 v1.11.0
[ade2ca70] + Dates v1.11.0
[8ba89e20] + Distributed v1.11.0
[f43a241f] + Downloads v1.6.0
[7b1f6079] + FileWatching v1.11.0
[9fa8497b] + Future v1.11.0
[b77e0a4c] + InteractiveUtils v1.11.0
[b27032c2] + LibCURL v0.6.4
[76f85450] + LibGit2 v1.11.0
[8f399da3] + Libdl v1.11.0
[37e2e46d] + LinearAlgebra v1.11.0
[56ddb016] + Logging v1.11.0
[d6f4376e] + Markdown v1.11.0
[a63ad114] + Mmap v1.11.0
[ca575930] + NetworkOptions v1.2.0
[44cfe95a] + Pkg v1.11.0
[de0858da] + Printf v1.11.0
[9abbd945] + Profile v1.11.0
[3fa0cd96] + REPL v1.11.0
[9a3f8284] + Random v1.11.0
[ea8e919c] + SHA v0.7.0
[9e88b42a] + Serialization v1.11.0
[1a1011a3] + SharedArrays v1.11.0
[6462fe0b] + Sockets v1.11.0
[2f01184e] + SparseArrays v1.11.0
[f489334b] + StyledStrings v1.11.0
[4607b0f0] + SuiteSparse
[fa267f1f] + TOML v1.0.3
[a4e569a6] + Tar v1.10.0
[8dfed614] + Test v1.11.0
[cf7118a7] + UUIDs v1.11.0
[4ec0a83e] + Unicode v1.11.0
[e66e0078] + CompilerSupportLibraries_jll v1.1.1+0
[deac9b47] + LibCURL_jll v8.6.0+0
[e37daf67] + LibGit2_jll v1.7.2+0
[29816b5a] + LibSSH2_jll v1.11.0+1
[c8ffd9c3] + MbedTLS_jll v2.28.6+0
[14a3606d] + MozillaCACerts_jll v2023.12.12
[4536629a] + OpenBLAS_jll v0.3.27+1
[05823500] + OpenLibm_jll v0.8.5+0
[bea87d4a] + SuiteSparse_jll v7.7.0+0
[83775a58] + Zlib_jll v1.2.13+1
[8e850b90] + libblastrampoline_jll v5.11.0+0
[8e850ede] + nghttp2_jll v1.59.0+0
[3f19e933] + p7zip_jll v17.4.0+2
Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m`
Installation completed after 5.03s
################################################################################
# Precompilation
#
Precompiling PkgEval dependencies...
Precompiling package dependencies...
Precompilation completed after 440.66s
################################################################################
# Testing
#
Testing ModalDecisionTrees
Status `/tmp/jl_AODarO/Project.toml`
[da404889] ARFFFiles v1.5.0
[1520ce14] AbstractTrees v0.4.5
[6e4b80f9] BenchmarkTools v1.6.0
[324d7699] CategoricalArrays v0.10.8
[af321ab8] CategoricalDistributions v0.1.15
[e3df1716] D3Trees v0.3.3
[a93c6f00] DataFrames v1.7.0
[864edb3b] DataStructures v0.18.22
[8bb1440f] DelimitedFiles v1.9.1
[31c24e10] Distributions v0.25.118
[1a297f60] FillArrays v1.13.0
[069b7b12] FunctionWrappers v1.1.3
[cd3eb016] HTTP v1.10.15
[6a3955dd] ImageFiltering v0.7.9
[916415d5] Images v0.26.2
[50d2b5c4] Lazy v0.15.1
[e6f89c97] LoggingExtras v1.1.0
[eb30cadb] MLDatasets v0.7.18
⌅ [add582a8] MLJ v0.19.5
⌅ [a7f614a8] MLJBase v0.21.14
[e80e1ace] MLJModelInterface v1.11.0
[6fafb56a] Memoization v0.2.2
[e54bda2e] ModalDecisionTrees v0.5.1
⌃ [8cc5100c] MultiData v0.1.2
[8b6db2d4] OpenML v0.3.2
⌃ [7f904dfe] PlutoUI v0.7.23
[92933f4c] ProgressMeter v1.10.4
[ce6b1742] RDatasets v0.7.7
[189a3867] Reexport v1.2.2
⌅ [c5292f4c] ResumableFunctions v0.6.10
[295af30f] Revise v3.7.3
[321657f4] ScientificTypes v3.1.0
⌃ [7b3b3b3f] Sole v0.6.1
⌅ [4475fa32] SoleBase v0.12.4
⌅ [123f1ae1] SoleData v0.15.3
⌅ [b002da8f] SoleLogics v0.10.4
⌅ [4249d9c7] SoleModels v0.8.3
[10745b16] Statistics v1.11.1
[2913bbd2] StatsBase v0.34.4
[fd094767] Suppressor v0.2.8
[bd369af6] Tables v1.12.0
[ac1d9e8a] ThreadsX v0.1.12
[a5390f91] ZipFile v0.10.1
[b77e0a4c] InteractiveUtils v1.11.0
[37e2e46d] LinearAlgebra v1.11.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_AODarO/Manifest.toml`
[da404889] ARFFFiles v1.5.0
[621f4979] AbstractFFTs v1.5.0
[6e696c72] AbstractPlutoDingetjes v1.3.2
[1520ce14] AbstractTrees v0.4.5
[7d9f7c33] Accessors v0.1.42
[79e6a3ab] Adapt v4.3.0
[66dad0bd] AliasTables v1.1.3
[dce04be8] ArgCheck v2.5.0
[ec485272] ArnoldiMethod v0.4.0
[4fba245c] ArrayInterface v7.18.0
[a9b6321e] Atomix v1.1.1
[a963bdd2] AtomsBase v0.5.1
[13072b0f] AxisAlgorithms v1.1.0
[39de3d68] AxisArrays v0.4.7
[ab4f0b2a] BFloat16s v0.5.1
[198e06fe] BangBang v0.4.4
[9718e550] Baselet v0.1.1
[6e4b80f9] BenchmarkTools v1.6.0
[d1d4a3ce] BitFlags v0.1.9
[62783981] BitTwiddlingConvenienceFunctions v0.1.6
[e1450e63] BufferedStreams v1.2.2
[fa961155] CEnum v0.5.0
[2a0fbf3d] CPUSummary v0.2.6
[336ed68f] CSV v0.10.15
[aafaddc9] CatIndices v0.2.2
⌅ [acdeb78f] Catch22 v0.5.2
[324d7699] CategoricalArrays v0.10.8
[af321ab8] CategoricalDistributions v0.1.15
[d360d2e6] ChainRulesCore v1.25.1
[46823bd8] Chemfiles v0.10.42
[fb6a15b2] CloseOpenIntervals v0.1.13
[aaaa29a8] Clustering v0.15.8
[da1fd8a2] CodeTracking v1.3.9
[944b1d66] CodecZlib v0.7.8
[35d6a980] ColorSchemes v3.29.0
[3da002f7] ColorTypes v0.12.1
[c3611d14] ColorVectorSpace v0.11.0
[5ae59095] Colors v0.13.0
[861a8166] Combinatorics v1.0.2
[f70d9fcc] CommonWorldInvalidations v1.0.0
[34da2185] Compat v4.16.0
[a33af91c] CompositionsBase v0.1.2
[ed09eef8] ComputationalResources v0.3.2
[f0e56b4a] ConcurrentUtilities v2.5.0
[187b0558] ConstructionBase v1.5.8
[6add18c4] ContextVariablesX v0.1.3
[150eb455] CoordinateTransformations v0.6.4
[adafc99b] CpuId v0.3.1
[a8cc5b0e] Crayons v4.1.1
[dc8bdbbb] CustomUnitRanges v1.0.2
[e3df1716] D3Trees v0.3.3
[9a962f9c] DataAPI v1.16.0
[124859b0] DataDeps v0.7.13
[a93c6f00] DataFrames v1.7.0
[864edb3b] DataStructures v0.18.22
[e2d170a0] DataValueInterfaces v1.0.0
[244e2a9f] DefineSingletons v0.1.2
[8bb1440f] DelimitedFiles v1.9.1
[85a47980] Dictionaries v0.4.5
[0703355e] DimensionalData v0.29.15
[b4f34e82] Distances v0.10.12
[31c24e10] Distributions v0.25.118
[ffbed154] DocStringExtensions v0.9.4
[792122b4] EarlyStopping v0.3.0
[460bff9d] ExceptionUnwrapping v0.1.11
[e2ba6199] ExprTools v0.1.10
[411431e0] Extents v0.1.5
[4f61f5a4] FFTViews v0.3.2
[7a1cc6ca] FFTW v1.8.1
[cc61a311] FLoops v0.2.2
[b9860ae5] FLoopsBase v0.1.1
[5789e2e9] FileIO v1.17.0
[48062228] FilePathsBase v0.9.24
[1a297f60] FillArrays v1.13.0
[53c48c17] FixedPointNumbers v0.8.5
[069b7b12] FunctionWrappers v1.1.3
[46192b85] GPUArraysCore v0.2.0
[92fee26a] GZip v0.6.2
[c27321d9] Glob v1.3.1
[a2bd30eb] Graphics v1.1.3
[86223c79] Graphs v1.12.1
[f67ccb44] HDF5 v0.17.2
[cd3eb016] HTTP v1.10.15
[076d061b] HashArrayMappedTries v0.2.0
[2c695a8d] HistogramThresholding v0.3.1
[3e5b6fbb] HostCPUFeatures v0.1.17
[34004b35] HypergeometricFunctions v0.3.28
⌅ [47d2ed2b] Hyperscript v0.0.4
[ac1192a8] HypertextLiteral v0.9.5
[b5f81e59] IOCapture v0.2.5
[615f187c] IfElse v0.1.1
[2803e5a7] ImageAxes v0.6.12
[c817782e] ImageBase v0.1.7
[cbc4b850] ImageBinarization v0.3.1
[f332f351] ImageContrastAdjustment v0.3.12
[a09fc81d] ImageCore v0.10.5
[89d5987c] ImageCorners v0.1.3
[51556ac3] ImageDistances v0.2.17
[6a3955dd] ImageFiltering v0.7.9
[82e4d734] ImageIO v0.6.9
[6218d12a] ImageMagick v1.4.1
[bc367c6b] ImageMetadata v0.9.10
[787d08f9] ImageMorphology v0.4.6
[2996bd0c] ImageQualityIndexes v0.3.7
[80713f31] ImageSegmentation v1.8.4
[4e3cecfd] ImageShow v0.3.8
[02fcd773] ImageTransformations v0.10.1
[916415d5] Images v0.26.2
[313cdc1a] Indexing v1.1.1
[9b13fd28] IndirectArrays v1.0.0
[d25df0c9] Inflate v0.1.5
[22cec73e] InitialValues v0.3.1
[842dd82b] InlineStrings v1.4.3
[1d092043] IntegralArrays v0.1.6
[85a1e053] Interfaces v0.3.2
[7d512f48] InternedStrings v0.7.0
[a98d9a8b] Interpolations v0.15.1
[8197267c] IntervalSets v0.7.10
[3587e190] InverseFunctions v0.1.17
[41ab1584] InvertedIndices v1.3.1
[92d709cd] IrrationalConstants v0.2.4
[c8e1da08] IterTools v1.10.0
[b3c1a2ee] IterationControl v0.5.4
[82899510] IteratorInterfaceExtensions v1.0.0
[033835bb] JLD2 v0.5.12
[692b3bcd] JLLWrappers v1.7.0
[682c06a0] JSON v0.21.4
[0f8b85d8] JSON3 v1.14.2
[b835a17e] JpegTurbo v0.1.6
[aa1ae85d] JuliaInterpreter v0.9.42
[b14d175d] JuliaVariables v0.2.4
[63c18a36] KernelAbstractions v0.9.34
[b964fa9f] LaTeXStrings v1.4.0
[a5e1c1ea] LatinHypercubeSampling v1.9.0
[10f19ff3] LayoutPointers v0.1.17
[50d2b5c4] Lazy v0.15.1
[8cdb02fc] LazyModules v0.3.1
[2ab3a3ac] LogExpFunctions v0.3.29
[e6f89c97] LoggingExtras v1.1.0
[bdcacae8] LoopVectorization v0.12.172
⌅ [30fc2ffe] LossFunctions v0.11.2
[6f1432cf] LoweredCodeUtils v3.1.0
[23992714] MAT v0.10.7
[c2834f40] MLCore v1.0.0
[eb30cadb] MLDatasets v0.7.18
⌅ [64a0f543] MLFlowClient v0.4.7
⌅ [add582a8] MLJ v0.19.5
⌅ [a7f614a8] MLJBase v0.21.14
⌅ [50ed68f4] MLJEnsembles v0.3.3
⌅ [7b7b8358] MLJFlow v0.1.1
⌅ [614be32b] MLJIteration v0.5.1
[e80e1ace] MLJModelInterface v1.11.0
⌅ [d491faf4] MLJModels v0.16.17
⌅ [03970b2e] MLJTuning v0.7.4
[d8e11817] MLStyle v0.4.17
[f1d291b0] MLUtils v0.4.8
[3da0fdf6] MPIPreferences v0.1.11
[1914dd2f] MacroTools v0.5.15
[d125e4d3] ManualMemory v0.1.8
[dbb5928d] MappedArrays v0.4.2
[739be429] MbedTLS v1.1.9
[6fafb56a] Memoization v0.2.2
[626554b9] MetaGraphs v0.8.0
[128add7d] MicroCollections v0.2.0
[e1d29d7a] Missings v1.2.0
[78c3b35d] Mocking v0.8.1
[e54bda2e] ModalDecisionTrees v0.5.1
[e94cdb99] MosaicViews v0.3.4
⌃ [8cc5100c] MultiData v0.1.2
[872c559c] NNlib v0.9.30
[15e1cf62] NPZ v0.4.3
[77ba4419] NaNMath v1.1.3
[71a1bf82] NameResolution v0.1.5
[b8a86587] NearestNeighbors v0.4.21
[f09324ee] Netpbm v1.1.1
[6fe1bfb0] OffsetArrays v1.16.0
[52e1d378] OpenEXR v0.3.3
[8b6db2d4] OpenML v0.3.2
[4d8831e6] OpenSSL v1.4.3
[bac558e1] OrderedCollections v1.8.0
[90014a1f] PDMats v0.11.33
[f57f5aa1] PNGFiles v0.4.4
[65ce6f38] PackageExtensionCompat v1.0.2
[5432bcbf] PaddedViews v0.5.12
[d96e819e] Parameters v0.12.3
[69de0a69] Parsers v2.8.1
[7b2266bf] PeriodicTable v1.2.1
[fbb45041] Pickle v0.3.5
[eebad327] PkgVersion v0.3.3
⌃ [7f904dfe] PlutoUI v0.7.23
[1d0040c9] PolyesterWeave v0.2.2
[f27b6e38] Polynomials v4.0.19
[2dfb63ee] PooledArrays v1.4.3
⌅ [aea7be01] PrecompileTools v1.2.1
[21216c6a] Preferences v1.4.3
[8162dcfd] PrettyPrint v0.2.0
[54e16d92] PrettyPrinting v0.4.2
[08abe8d2] PrettyTables v2.4.0
[33c8b6b6] ProgressLogging v0.1.4
[92933f4c] ProgressMeter v1.10.4
[43287f4e] PtrArrays v1.3.0
[4b34888f] QOI v1.0.1
[1fd47b50] QuadGK v2.11.2
[94ee1d12] Quaternions v0.7.6
⌅ [df47a6cb] RData v0.8.3
[ce6b1742] RDatasets v0.7.7
[b3c3ace0] RangeArrays v0.3.2
[c84ed2f1] Ratios v0.4.5
[c1ae055f] RealDot v0.1.0
[3cdcf5f2] RecipesBase v1.3.4
[189a3867] Reexport v1.2.2
[42d2dcc6] Referenceables v0.1.3
[dee08c22] RegionTrees v0.3.2
[05181044] RelocatableFolders v1.0.1
[ae029012] Requires v1.3.1
⌅ [c5292f4c] ResumableFunctions v0.6.10
[295af30f] Revise v3.7.3
[79098fc4] Rmath v0.8.0
[6038ab10] Rotations v1.7.1
[fdea26ae] SIMD v3.7.1
[94e857df] SIMDTypes v0.1.0
[476501e8] SLEEFPirates v0.6.43
[321657f4] ScientificTypes v3.1.0
[30f210dd] ScientificTypesBase v3.0.0
[7e506255] ScopedValues v1.3.0
[6c6a2e73] Scratch v1.2.1
[91c51154] SentinelArrays v1.4.8
[efcf1570] Setfield v1.1.2
[605ecd9f] ShowCases v0.1.0
[777ac1f9] SimpleBufferStream v1.2.0
[699a6c99] SimpleTraits v0.9.4
[47aef6b3] SimpleWeightedGraphs v1.5.0
[45858cf5] Sixel v0.1.3
⌃ [7b3b3b3f] Sole v0.6.1
⌅ [4475fa32] SoleBase v0.12.4
⌅ [123f1ae1] SoleData v0.15.3
⌅ [b002da8f] SoleLogics v0.10.4
⌅ [4249d9c7] SoleModels v0.8.3
[a2af1166] SortingAlgorithms v1.2.1
[276daf66] SpecialFunctions v2.5.0
[171d559e] SplittablesBase v0.1.15
[860ef19b] StableRNGs v1.0.2
[cae243ae] StackViews v0.1.1
[aedffcd0] Static v1.2.0
[0d7ed370] StaticArrayInterface v1.8.0
[90137ffa] StaticArrays v1.9.13
[1e83bf80] StaticArraysCore v1.4.3
[64bff920] StatisticalTraits v3.4.0
[10745b16] Statistics v1.11.1
[82ae8749] StatsAPI v1.7.0
[2913bbd2] StatsBase v0.34.4
[4c63d2b9] StatsFuns v1.4.0
⌅ [4db3bf67] StridedViews v0.2.2
[69024149] StringEncodings v0.3.7
[892a3eda] StringManipulation v0.4.1
[856f2bd8] StructTypes v1.11.0
[fd094767] Suppressor v0.2.8
[dc5dba14] TZJData v1.5.0+2025b
[3783bdb8] TableTraits v1.0.1
[bd369af6] Tables v1.12.0
[62fd8b95] TensorCore v0.1.1
[4239201d] ThreadSafeDicts v0.1.6
[8290d209] ThreadingUtilities v0.5.2
[ac1d9e8a] ThreadsX v0.1.12
[731e570b] TiffImages v0.11.3
[06e1c1a7] TiledIteration v0.5.0
[f269a46b] TimeZones v1.21.3
⌅ [f3112013] TimeseriesFeatures v0.4.4
[3bb67fe8] TranscodingStreams v0.11.3
[28d57a85] Transducers v0.4.84
[410a4b4d] Tricks v0.1.10
[5c2747f8] URIs v1.5.2
[3a884ed6] UnPack v1.0.2
[2fbcfb34] UniqueVectors v1.2.0
[1986cc42] Unitful v1.22.0
[a7773ee8] UnitfulAtomic v1.0.0
[013be700] UnsafeAtomics v0.3.0
[3d5dd08c] VectorizationBase v0.21.71
[ea10d353] WeakRefStrings v1.4.2
[e3aaa7dc] WebP v0.1.3
[efce3f68] WoodburyMatrices v1.0.0
[76eceee3] WorkerUtilities v1.6.1
[a5390f91] ZipFile v0.10.1
[78a364fa] Chemfiles_jll v0.10.4+0
[f5851436] FFTW_jll v3.3.11+0
[61579ee1] Ghostscript_jll v9.55.0+4
[59f7168a] Giflib_jll v5.2.3+0
[0234f1f7] HDF5_jll v1.14.6+0
[e33a78d0] Hwloc_jll v2.12.0+0
[c73af94c] ImageMagick_jll v7.1.1+1
[905a6f67] Imath_jll v3.1.11+0
[1d5cc7b8] IntelOpenMP_jll v2025.0.4+0
[aacddb02] JpegTurbo_jll v3.1.1+0
⌅ [88015f11] LERC_jll v3.0.0+1
[d4300ac3] Libgcrypt_jll v1.11.1+0
[7e76a0d4] Libglvnd_jll v1.7.0+0
[7add5ba3] Libgpg_error_jll v1.51.1+0
[94ce4f54] Libiconv_jll v1.18.0+0
⌅ [89763e89] Libtiff_jll v4.4.0+0
⌃ [d3a379c0] LittleCMS_jll v2.12.0+0
[856f044c] MKL_jll v2025.0.1+1
[7cb0a576] MPICH_jll v4.3.0+1
[f1f71cc9] MPItrampoline_jll v5.5.3+0
[9237b28f] MicrosoftMPI_jll v10.1.4+3
[18a262bb] OpenEXR_jll v3.2.4+0
⌃ [643b3616] OpenJpeg_jll v2.4.0+0
[fe0851c0] OpenMPI_jll v5.0.7+2
[458c3c95] OpenSSL_jll v3.0.16+0
[efe28fd5] OpenSpecFun_jll v0.5.6+0
[f50d1b31] Rmath_jll v0.5.1+0
[02c8fc9c] XML2_jll v2.13.6+1
[aed1982a] XSLT_jll v1.1.43+0
[4f6342f7] Xorg_libX11_jll v1.8.6+3
[0c0b7dd1] Xorg_libXau_jll v1.0.12+0
[a3789734] Xorg_libXdmcp_jll v1.1.5+0
[1082639a] Xorg_libXext_jll v1.3.6+3
[14d82f49] Xorg_libpthread_stubs_jll v0.1.2+0
[c7cfdc94] Xorg_libxcb_jll v1.17.0+3
[c5fb5394] Xorg_xtrans_jll v1.6.0+0
[3161d3a3] Zstd_jll v1.5.7+1
⌅ [8a07c0c5] catch22_jll v0.4.0+0
[477f73a3] libaec_jll v1.1.3+0
[b53b4c65] libpng_jll v1.6.47+0
[075b6546] libsixel_jll v1.10.5+0
⌃ [c5f90fcd] libwebp_jll v1.4.0+0
[1317d2d5] oneTBB_jll v2022.0.0+0
[0dad84c5] ArgTools v1.1.2
[56f22d72] Artifacts v1.11.0
[2a0f44e3] Base64 v1.11.0
[ade2ca70] Dates v1.11.0
[8ba89e20] Distributed v1.11.0
[f43a241f] Downloads v1.6.0
[7b1f6079] FileWatching v1.11.0
[9fa8497b] Future v1.11.0
[b77e0a4c] InteractiveUtils v1.11.0
[4af54fe1] LazyArtifacts v1.11.0
[b27032c2] LibCURL v0.6.4
[76f85450] LibGit2 v1.11.0
[8f399da3] Libdl v1.11.0
[37e2e46d] LinearAlgebra v1.11.0
[56ddb016] Logging v1.11.0
[d6f4376e] Markdown v1.11.0
[a63ad114] Mmap v1.11.0
[ca575930] NetworkOptions v1.2.0
[44cfe95a] Pkg v1.11.0
[de0858da] Printf v1.11.0
[9abbd945] Profile v1.11.0
[3fa0cd96] REPL v1.11.0
[9a3f8284] Random v1.11.0
[ea8e919c] SHA v0.7.0
[9e88b42a] Serialization v1.11.0
[1a1011a3] SharedArrays v1.11.0
[6462fe0b] Sockets v1.11.0
[2f01184e] SparseArrays v1.11.0
[f489334b] StyledStrings v1.11.0
[4607b0f0] SuiteSparse
[fa267f1f] TOML v1.0.3
[a4e569a6] Tar v1.10.0
[8dfed614] Test v1.11.0
[cf7118a7] UUIDs v1.11.0
[4ec0a83e] Unicode v1.11.0
[e66e0078] CompilerSupportLibraries_jll v1.1.1+0
[deac9b47] LibCURL_jll v8.6.0+0
[e37daf67] LibGit2_jll v1.7.2+0
[29816b5a] LibSSH2_jll v1.11.0+1
[c8ffd9c3] MbedTLS_jll v2.28.6+0
[14a3606d] MozillaCACerts_jll v2023.12.12
[4536629a] OpenBLAS_jll v0.3.27+1
[05823500] OpenLibm_jll v0.8.5+0
[bea87d4a] SuiteSparse_jll v7.7.0+0
[83775a58] Zlib_jll v1.2.13+1
[8e850b90] libblastrampoline_jll v5.11.0+0
[8e850ede] nghttp2_jll v1.59.0+0
[3f19e933] p7zip_jll v17.4.0+2
Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading.
Testing Running tests...
WARNING: Method definition _dummy_backedge() in module Memoization at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:49 overwritten at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:65.
Precompiling MLJ...
3886.4 ms ✓ MLFlowClient
26712.6 ms ✓ MLJModels
24801.2 ms ✓ MLJBase
10878.3 ms ✓ MLJIteration
10363.6 ms ✓ MLJTuning
9929.9 ms ✓ MLJEnsembles
9836.8 ms ✓ MLJFlow
18178.0 ms ✓ MLJ
8 dependencies successfully precompiled in 158 seconds. 130 already precompiled.
Julia version: 1.11.4
##################################################
TEST: base.jl
┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict("Class_1" => 1, "Class_2" => 1), argmax: Class_1, max: 1 (sum = 2)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict("Class_1" => 1, "Class_2" => 1), argmax: Class_1, max: 1 (sum = 2)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict(2 => 1, 1 => 1), argmax: 2, max: 1 (sum = 2)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (4 elements): Dict(2 => 2, 1 => 2), argmax: 2, max: 2 (sum = 4)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
==================================================
##################################################
TEST: classification/japanesevowels.jl
[ Info: Downloading dataset 375.
Classification, modal: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68
Got exception outside of a @test
LoadError: HTTP.Exceptions.StatusError(502, "GET", "/api/v1/json/data/375", HTTP.Messages.Response:
"""
HTTP/1.1 502 Bad Gateway
Date: Tue, 08 Apr 2025 21:37:00 GMT
Server: Apache/2.4.29 (Ubuntu)
Content-Length: 422
Content-Type: text/html; charset=iso-8859-1
Set-Cookie: ******
502 Proxy Error
Proxy Error
The proxy server received an invalid
response from an upstream server.
The proxy server could not handle the request
Reason: Error reading from remote server
Apache/2.4.29 (Ubuntu) Server at www.openml.org Port 443
""")
Stacktrace:
[1] (::HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}})(req::HTTP.Messages.Request; proxy::Nothing, socket_type::Type, socket_type_tls::Nothing, readtimeout::Int64, connect_timeout::Int64, logerrors::Bool, logtag::Nothing, closeimmediately::Bool, kw::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ HTTP.ConnectionRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/ConnectionRequest.jl:144
[2] connections
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/ConnectionRequest.jl:60 [inlined]
[3] (::Base.var"#106#108"{Base.var"#106#107#109"{ExponentialBackOff, HTTP.RetryRequest.var"#2#5"{Int64, typeof(HTTP.RetryRequest.FALSE), HTTP.Messages.Request, Base.RefValue{Int64}}, HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}})(args::HTTP.Messages.Request; kwargs::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ Base ./error.jl:312
[4] (::HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}})(req::HTTP.Messages.Request; retry::Bool, retries::Int64, retry_delays::ExponentialBackOff, retry_check::Function, retry_non_idempotent::Bool, kw::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ HTTP.RetryRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/RetryRequest.jl:75
[5] manageretries
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/RetryRequest.jl:30 [inlined]
[6] (::HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}})(req::HTTP.Messages.Request; cookies::Bool, cookiejar::HTTP.Cookies.CookieJar, kw::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ HTTP.CookieRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/CookieRequest.jl:42
[7] managecookies
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/CookieRequest.jl:19 [inlined]
[8] (::HTTP.HeadersRequest.var"#defaultheaders#2"{HTTP.HeadersRequest.var"#defaultheaders#1#3"{HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}}}})(req::HTTP.Messages.Request; iofunction::Nothing, decompress::Nothing, basicauth::Bool, detect_content_type::Bool, canonicalize_headers::Bool, kw::@Kwargs{verbose::Int64})
@ HTTP.HeadersRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/HeadersRequest.jl:71
[9] defaultheaders
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/HeadersRequest.jl:14 [inlined]
[10] (::HTTP.RedirectRequest.var"#redirects#3"{HTTP.RedirectRequest.var"#redirects#1#4"{HTTP.HeadersRequest.var"#defaultheaders#2"{HTTP.HeadersRequest.var"#defaultheaders#1#3"{HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}}}}}})(req::HTTP.Messages.Request; redirect::Bool, redirect_limit::Int64, redirect_method::Nothing, forwardheaders::Bool, response_stream::Nothing, kw::@Kwargs{verbose::Int64})
@ HTTP.RedirectRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/RedirectRequest.jl:25
[11] redirects
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/RedirectRequest.jl:14 [inlined]
[12] (::HTTP.MessageRequest.var"#makerequest#3"{HTTP.MessageRequest.var"#makerequest#1#4"{HTTP.RedirectRequest.var"#redirects#3"{HTTP.RedirectRequest.var"#redirects#1#4"{HTTP.HeadersRequest.var"#defaultheaders#2"{HTTP.HeadersRequest.var"#defaultheaders#1#3"{HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}}}}}}}})(method::String, url::URIs.URI, headers::Nothing, body::Vector{UInt8}; copyheaders::Bool, response_stream::Nothing, http_version::HTTP.Strings.HTTPVersion, verbose::Int64, kw::@Kwargs{})
@ HTTP.MessageRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/MessageRequest.jl:35
[13] makerequest
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/MessageRequest.jl:24 [inlined]
[14] request(stack::HTTP.MessageRequest.var"#makerequest#3"{HTTP.MessageRequest.var"#makerequest#1#4"{HTTP.RedirectRequest.var"#redirects#3"{HTTP.RedirectRequest.var"#redirects#1#4"{HTTP.HeadersRequest.var"#defaultheaders#2"{HTTP.HeadersRequest.var"#defaultheaders#1#3"{HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}}}}}}}}, method::String, url::String, h::Nothing, b::Vector{UInt8}, q::Nothing; headers::Nothing, body::Vector{UInt8}, query::Nothing, kw::@Kwargs{})
@ HTTP ~/.julia/packages/HTTP/4AUPl/src/HTTP.jl:457
[15] request(stack::Function, method::String, url::String, h::Nothing, b::Vector{UInt8}, q::Nothing)
@ HTTP ~/.julia/packages/HTTP/4AUPl/src/HTTP.jl:455
[16] #request#20
@ ~/.julia/packages/HTTP/4AUPl/src/HTTP.jl:315 [inlined]
[17] request (repeats 2 times)
@ ~/.julia/packages/HTTP/4AUPl/src/HTTP.jl:313 [inlined]
[18] get(query::String)
@ OpenML ~/.julia/packages/OpenML/cONhN/src/data.jl:14
[19] load_Dataset_Description
@ ~/.julia/packages/OpenML/cONhN/src/data.jl:45 [inlined]
[20] load(id::Int64; maxbytes::Nothing)
@ OpenML ~/.julia/packages/OpenML/cONhN/src/data.jl:73
[21] load
@ ~/.julia/packages/OpenML/cONhN/src/data.jl:69 [inlined]
[22] load_japanesevowels()
@ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/pCVLe/src/other/example-datasets.jl:6
[23] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/japanesevowels.jl:16
[24] include
@ ./sysimg.jl:38 [inlined]
[25] run_tests(list::Vector{String})
@ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28
[26] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[27] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[28] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[29] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[30] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64
[31] include(fname::String)
@ Main ./sysimg.jl:38
[32] top-level scope
@ none:6
[33] eval
@ ./boot.jl:430 [inlined]
[34] exec_options(opts::Base.JLOptions)
@ Base ./client.jl:296
[35] _start()
@ Base ./client.jl:531
in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/japanesevowels.jl:16
caused by: HTTP.Exceptions.StatusError(502, "GET", "/api/v1/json/data/375", HTTP.Messages.Response:
"""
HTTP/1.1 502 Bad Gateway
Date: Tue, 08 Apr 2025 21:37:00 GMT
Server: Apache/2.4.29 (Ubuntu)
Content-Length: 422
Content-Type: text/html; charset=iso-8859-1
Set-Cookie: ******
502 Proxy Error
Proxy Error
The proxy server received an invalid
response from an upstream server.
The proxy server could not handle the request
Reason: Error reading from remote server
Apache/2.4.29 (Ubuntu) Server at www.openml.org Port 443
""")
Stacktrace:
[1] (::HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}})(stream::HTTP.Streams.Stream{HTTP.Messages.Response, HTTP.Connections.Connection{OpenSSL.SSLStream}}; status_exception::Bool, timedout::Nothing, logerrors::Bool, logtag::Nothing, kw::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ HTTP.ExceptionRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/ExceptionRequest.jl:19
[2] exceptions
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/ExceptionRequest.jl:13 [inlined]
[3] (::HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}})(stream::HTTP.Streams.Stream{HTTP.Messages.Response, HTTP.Connections.Connection{OpenSSL.SSLStream}}; readtimeout::Int64, logerrors::Bool, logtag::Nothing, kw::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ HTTP.TimeoutRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/TimeoutRequest.jl:18
[4] (::HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}})(req::HTTP.Messages.Request; proxy::Nothing, socket_type::Type, socket_type_tls::Nothing, readtimeout::Int64, connect_timeout::Int64, logerrors::Bool, logtag::Nothing, closeimmediately::Bool, kw::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ HTTP.ConnectionRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/ConnectionRequest.jl:122
[5] connections
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/ConnectionRequest.jl:60 [inlined]
[6] (::Base.var"#106#108"{Base.var"#106#107#109"{ExponentialBackOff, HTTP.RetryRequest.var"#2#5"{Int64, typeof(HTTP.RetryRequest.FALSE), HTTP.Messages.Request, Base.RefValue{Int64}}, HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}})(args::HTTP.Messages.Request; kwargs::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ Base ./error.jl:312
[7] (::HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}})(req::HTTP.Messages.Request; retry::Bool, retries::Int64, retry_delays::ExponentialBackOff, retry_check::Function, retry_non_idempotent::Bool, kw::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ HTTP.RetryRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/RetryRequest.jl:75
[8] manageretries
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/RetryRequest.jl:30 [inlined]
[9] (::HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}})(req::HTTP.Messages.Request; cookies::Bool, cookiejar::HTTP.Cookies.CookieJar, kw::@Kwargs{iofunction::Nothing, decompress::Nothing, verbose::Int64})
@ HTTP.CookieRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/CookieRequest.jl:42
[10] managecookies
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/CookieRequest.jl:19 [inlined]
[11] (::HTTP.HeadersRequest.var"#defaultheaders#2"{HTTP.HeadersRequest.var"#defaultheaders#1#3"{HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}}}})(req::HTTP.Messages.Request; iofunction::Nothing, decompress::Nothing, basicauth::Bool, detect_content_type::Bool, canonicalize_headers::Bool, kw::@Kwargs{verbose::Int64})
@ HTTP.HeadersRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/HeadersRequest.jl:71
[12] defaultheaders
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/HeadersRequest.jl:14 [inlined]
[13] (::HTTP.RedirectRequest.var"#redirects#3"{HTTP.RedirectRequest.var"#redirects#1#4"{HTTP.HeadersRequest.var"#defaultheaders#2"{HTTP.HeadersRequest.var"#defaultheaders#1#3"{HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}}}}}})(req::HTTP.Messages.Request; redirect::Bool, redirect_limit::Int64, redirect_method::Nothing, forwardheaders::Bool, response_stream::Nothing, kw::@Kwargs{verbose::Int64})
@ HTTP.RedirectRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/RedirectRequest.jl:25
[14] redirects
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/RedirectRequest.jl:14 [inlined]
[15] (::HTTP.MessageRequest.var"#makerequest#3"{HTTP.MessageRequest.var"#makerequest#1#4"{HTTP.RedirectRequest.var"#redirects#3"{HTTP.RedirectRequest.var"#redirects#1#4"{HTTP.HeadersRequest.var"#defaultheaders#2"{HTTP.HeadersRequest.var"#defaultheaders#1#3"{HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}}}}}}}})(method::String, url::URIs.URI, headers::Nothing, body::Vector{UInt8}; copyheaders::Bool, response_stream::Nothing, http_version::HTTP.Strings.HTTPVersion, verbose::Int64, kw::@Kwargs{})
@ HTTP.MessageRequest ~/.julia/packages/HTTP/4AUPl/src/clientlayers/MessageRequest.jl:35
[16] makerequest
@ ~/.julia/packages/HTTP/4AUPl/src/clientlayers/MessageRequest.jl:24 [inlined]
[17] request(stack::HTTP.MessageRequest.var"#makerequest#3"{HTTP.MessageRequest.var"#makerequest#1#4"{HTTP.RedirectRequest.var"#redirects#3"{HTTP.RedirectRequest.var"#redirects#1#4"{HTTP.HeadersRequest.var"#defaultheaders#2"{HTTP.HeadersRequest.var"#defaultheaders#1#3"{HTTP.CookieRequest.var"#managecookies#4"{HTTP.CookieRequest.var"#managecookies#1#5"{HTTP.RetryRequest.var"#manageretries#3"{HTTP.RetryRequest.var"#manageretries#1#4"{HTTP.ConnectionRequest.var"#connections#4"{HTTP.ConnectionRequest.var"#connections#1#5"{HTTP.TimeoutRequest.var"#timeouts#3"{HTTP.TimeoutRequest.var"#timeouts#1#4"{HTTP.ExceptionRequest.var"#exceptions#2"{HTTP.ExceptionRequest.var"#exceptions#1#3"{typeof(HTTP.StreamRequest.streamlayer)}}}}}}}}}}}}}}}}, method::String, url::String, h::Nothing, b::Vector{UInt8}, q::Nothing; headers::Nothing, body::Vector{UInt8}, query::Nothing, kw::@Kwargs{})
@ HTTP ~/.julia/packages/HTTP/4AUPl/src/HTTP.jl:457
[18] request(stack::Function, method::String, url::String, h::Nothing, b::Vector{UInt8}, q::Nothing)
@ HTTP ~/.julia/packages/HTTP/4AUPl/src/HTTP.jl:455
[19] #request#20
@ ~/.julia/packages/HTTP/4AUPl/src/HTTP.jl:315 [inlined]
[20] request (repeats 2 times)
@ ~/.julia/packages/HTTP/4AUPl/src/HTTP.jl:313 [inlined]
[21] get(query::String)
@ OpenML ~/.julia/packages/OpenML/cONhN/src/data.jl:14
[22] load_Dataset_Description
@ ~/.julia/packages/OpenML/cONhN/src/data.jl:45 [inlined]
[23] load(id::Int64; maxbytes::Nothing)
@ OpenML ~/.julia/packages/OpenML/cONhN/src/data.jl:73
[24] load
@ ~/.julia/packages/OpenML/cONhN/src/data.jl:69 [inlined]
[25] load_japanesevowels()
@ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/pCVLe/src/other/example-datasets.jl:6
[26] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/japanesevowels.jl:16
[27] include
@ ./sysimg.jl:38 [inlined]
[28] run_tests(list::Vector{String})
@ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28
[29] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[30] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[31] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[32] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[33] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64
[34] include(fname::String)
@ Main ./sysimg.jl:38
[35] top-level scope
@ none:6
[36] eval
@ ./boot.jl:430 [inlined]
[37] exec_options(opts::Base.JLOptions)
@ Base ./client.jl:296
[38] _start()
@ Base ./client.jl:531
##################################################
TEST: classification/iris.jl
[ Info: Precomputing logiset...
Classification: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68
Got exception outside of a @test
LoadError: MethodError: no method matching varnames(::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
The function `varnames` exists, but no method is defined for this combination of argument types.
Stacktrace:
[1] (::SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64})(cond::Tuple{Vector{typeof(>=)}, typeof(identity)})
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560
[2] iterate
@ ./generator.jl:48 [inlined]
[3] _collect(c::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}, ::Base.EltypeUnknown, isz::Base.HasShape{1})
@ Base ./array.jl:811
[4] collect_similar(cont::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}})
@ Base ./array.jl:720
[5] map(f::Function, A::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}})
@ Base ./abstractarray.jl:3371
[6] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64}; force_i_variables::Bool)
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560
[7] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64})
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:456
[8] readconditions(model::ModalDecisionTree, dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/default-parameters.jl:148
[9] #30
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:137 [inlined]
[10] (::ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree})(mod::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
@ ModalDecisionTrees.MLJInterface ./none:0
[11] iterate
@ ./generator.jl:48 [inlined]
[12] collect(itr::Base.Generator{Base.Generator{Vector{Vector{Int64}}, MultiData.var"#82#83"{DataFrame}}, ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree}})
@ Base ./array.jl:791
[13] wrapdataset(X::@NamedTuple{sepal_length::Vector{Float64}, sepal_width::Vector{Float64}, petal_length::Vector{Float64}, petal_width::Vector{Float64}}, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool)
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:136
[14] wrapdataset (repeats 2 times)
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined]
[15] #reformat#63
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined]
[16] reformat(m::ModalDecisionTree, X::@NamedTuple{sepal_length::Vector{Float64}, sepal_width::Vector{Float64}, petal_length::Vector{Float64}, petal_width::Vector{Float64}}, y::CategoricalVector{String, UInt32, String, CategoricalValue{String, UInt32}, Union{}}, w::Vector{Float64})
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175
[17] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Nothing, verbosity::Int64, force::Bool, composite::Nothing)
@ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658
[18] fit_only!
@ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined]
[19] #fit!#63
@ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined]
[20] fit!
@ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:775 [inlined]
[21] |>(x::Machine{ModalDecisionTree, true}, f::typeof(fit!))
@ Base ./operators.jl:926
[22] top-level scope
@ ./timing.jl:581
[23] include
@ ./sysimg.jl:38 [inlined]
[24] run_tests(list::Vector{String})
@ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28
[25] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[26] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[27] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[28] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[29] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64
[30] include(fname::String)
@ Main ./sysimg.jl:38
[31] top-level scope
@ none:6
[32] eval
@ ./boot.jl:430 [inlined]
[33] exec_options(opts::Base.JLOptions)
@ Base ./client.jl:296
[34] _start()
@ Base ./client.jl:531
in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/iris.jl:15
##################################################
TEST: regression/simple.jl
[ Info: Precomputing logiset...
Regression: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68
Got exception outside of a @test
LoadError: MethodError: no method matching varnames(::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
The function `varnames` exists, but no method is defined for this combination of argument types.
Stacktrace:
[1] (::SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64})(cond::Tuple{Vector{typeof(>=)}, typeof(identity)})
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560
[2] iterate
@ ./generator.jl:48 [inlined]
[3] _collect(c::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}, ::Base.EltypeUnknown, isz::Base.HasShape{1})
@ Base ./array.jl:811
[4] collect_similar(cont::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}})
@ Base ./array.jl:720
[5] map(f::Function, A::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}})
@ Base ./abstractarray.jl:3371
[6] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64}; force_i_variables::Bool)
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560
[7] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64})
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:456
[8] readconditions(model::ModalDecisionTree, dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/default-parameters.jl:148
[9] #30
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:137 [inlined]
[10] (::ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree})(mod::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
@ ModalDecisionTrees.MLJInterface ./none:0
[11] iterate
@ ./generator.jl:48 [inlined]
[12] collect(itr::Base.Generator{Base.Generator{Vector{Vector{Int64}}, MultiData.var"#82#83"{DataFrame}}, ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree}})
@ Base ./array.jl:791
[13] wrapdataset(X::Tables.MatrixTable{Matrix{Float64}}, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool)
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:136
[14] wrapdataset (repeats 2 times)
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined]
[15] #reformat#63
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined]
[16] reformat
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined]
[17] reformat(m::ModalDecisionTree, X::Tables.MatrixTable{Matrix{Float64}}, y::Vector{Float64})
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175
[18] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::UnitRange{Int64}, verbosity::Int64, force::Bool, composite::Nothing)
@ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658
[19] fit_only!
@ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined]
[20] #fit!#63
@ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined]
[21] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/regression/simple.jl:14
[22] include
@ ./sysimg.jl:38 [inlined]
[23] run_tests(list::Vector{String})
@ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28
[24] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[25] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[26] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[27] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[28] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64
[29] include(fname::String)
@ Main ./sysimg.jl:38
[30] top-level scope
@ none:6
[31] eval
@ ./boot.jl:430 [inlined]
[32] exec_options(opts::Base.JLOptions)
@ Base ./client.jl:296
[33] _start()
@ Base ./client.jl:531
in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/regression/simple.jl:14
##################################################
TEST: multimodal-datasets-multiformulas-construction.jl
┌ Warning: The number and/or types of data arguments do not match what the specified model
│ supports. Suppress this type check by specifying `scitype_check_level=0`.
│
│ Run `@doc ModalDecisionTrees.ModalDecisionTree` to learn more about your model's requirements.
│
│ Commonly, but non exclusively, supervised models are constructed using the syntax
│ `machine(model, X, y)` or `machine(model, X, y, w)` while most other models are
│ constructed with `machine(model, X)`. Here `X` are features, `y` a target, and `w`
│ sample or class weights.
│
│ In general, data in `machine(model, data...)` is expected to satisfy
│
│ scitype(data) <: MLJ.fit_data_scitype(model)
│
│ In the present case:
│
│ scitype(data) = Tuple{Table{Union{AbstractVector{Continuous}, AbstractVector{Union{Missing, Continuous}}, AbstractVector{Count}, AbstractVector{Union{Missing, Unknown}}}}, AbstractVector{Count}}
│
│ fit_data_scitype(model) = Union{Tuple{Table{<:Union{AbstractVector{<:Continuous}, AbstractVector{<:AbstractArray{<:Continuous, 0}}, AbstractVector{<:AbstractVector{<:Continuous}}, AbstractVector{<:AbstractMatrix{<:Continuous}}, AbstractVector{<:Count}, AbstractVector{<:AbstractArray{<:Count, 0}}, AbstractVector{<:AbstractVector{<:Count}}, AbstractVector{<:AbstractMatrix{<:Count}}, AbstractVector{<:OrderedFactor}, AbstractVector{<:AbstractArray{<:OrderedFactor, 0}}, AbstractVector{<:AbstractVector{<:OrderedFactor}}, AbstractVector{<:AbstractMatrix{<:OrderedFactor}}}}, Union{AbstractVector{<:Continuous}, AbstractVector{<:Count}, AbstractVector{<:Finite}, AbstractVector{<:Textual}}}, Tuple{Table{<:Union{AbstractVector{<:Continuous}, AbstractVector{<:AbstractArray{<:Continuous, 0}}, AbstractVector{<:AbstractVector{<:Continuous}}, AbstractVector{<:AbstractMatrix{<:Continuous}}, AbstractVector{<:Count}, AbstractVector{<:AbstractArray{<:Count, 0}}, AbstractVector{<:AbstractVector{<:Count}}, AbstractVector{<:AbstractMatrix{<:Count}}, AbstractVector{<:OrderedFactor}, AbstractVector{<:AbstractArray{<:OrderedFactor, 0}}, AbstractVector{<:AbstractVector{<:OrderedFactor}}, AbstractVector{<:AbstractMatrix{<:OrderedFactor}}}}, Union{AbstractVector{<:Continuous}, AbstractVector{<:Count}, AbstractVector{<:Finite}, AbstractVector{<:Textual}}, AbstractVector{<:Union{Continuous, Count}}}}
└ @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:230
[ Info: Precomputing logiset...
Miscellaneous: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68
Got exception outside of a @test
LoadError: MethodError: no method matching varnames(::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
The function `varnames` exists, but no method is defined for this combination of argument types.
Stacktrace:
[1] (::SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64})(cond::Tuple{Vector{typeof(>=)}, typeof(identity)})
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560
[2] iterate
@ ./generator.jl:48 [inlined]
[3] _collect(c::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}, ::Base.EltypeUnknown, isz::Base.HasShape{1})
@ Base ./array.jl:811
[4] collect_similar(cont::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}})
@ Base ./array.jl:720
[5] map(f::Function, A::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}})
@ Base ./abstractarray.jl:3371
[6] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64}; force_i_variables::Bool)
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560
[7] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64})
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:456
[8] readconditions(model::ModalDecisionTree, dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/default-parameters.jl:148
[9] #30
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:137 [inlined]
[10] (::ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree})(mod::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
@ ModalDecisionTrees.MLJInterface ./none:0
[11] iterate
@ ./generator.jl:48 [inlined]
[12] collect(itr::Base.Generator{Base.Generator{Vector{Vector{Int64}}, MultiData.var"#82#83"{DataFrame}}, ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree}})
@ Base ./array.jl:791
[13] wrapdataset(X::DataFrame, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool)
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:136
[14] wrapdataset (repeats 2 times)
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined]
[15] #reformat#63
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined]
[16] reformat
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined]
[17] reformat(m::ModalDecisionTree, X::DataFrame, y::Vector{Bool})
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175
[18] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Vector{Int64}, verbosity::Int64, force::Bool, composite::Nothing)
@ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658
[19] fit_only!
@ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined]
[20] #fit!#63
@ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined]
[21] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/multimodal-datasets-multiformulas-construction.jl:44
[22] include
@ ./sysimg.jl:38 [inlined]
[23] run_tests(list::Vector{String})
@ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28
[24] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[25] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[26] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[27] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[28] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64
[29] include(fname::String)
@ Main ./sysimg.jl:38
[30] top-level scope
@ none:6
[31] eval
@ ./boot.jl:430 [inlined]
[32] exec_options(opts::Base.JLOptions)
@ Base ./client.jl:296
[33] _start()
@ Base ./client.jl:531
in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/multimodal-datasets-multiformulas-construction.jl:44
##################################################
TEST: other/parse-and-translate-restricted.jl
{1}(⟨G⟩[1mmin[V4] ≥[0m 0.04200671690893693)
{1}⟨G⟩[1mmin[V22] ≥[0m 470729.9023515756 ∧ [G][1mmin[V4] <[0m 0.04200671690893693
{1}[G][1mmin[V4] <[0m 0.04200671690893693 ∧ [G][1mmin[V22] <[0m 470729.9023515756
({1}(⟨G⟩[1mmin[V4] ≥[0m 0.04200671690893693))
({1}(¬⟨G⟩[1mmin[V4] ≥[0m 0.04200671690893693)) ∧ ({1}(⟨G⟩[1mmin[V22] ≥[0m 470729.9023515756))
({1}(¬⟨G⟩[1mmin[V4] ≥[0m 0.04200671690893693)) ∧ ({1}(¬⟨G⟩[1mmin[V22] ≥[0m 470729.9023515756))
{1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩([1mmax[V11] ≤[0m 0.0038141608453366675 ∧ ⟨A̅⟩[1mmax[V29] ≤[0m 178.31522392540964)))
{1}⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩[1mmax[V11] ≤[0m 0.0038141608453366675) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [L̅]([1mmax[V11] ≤[0m 0.0038141608453366675 → [A̅][1mmax[V29] >[0m 178.31522392540964))
{1}⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨B⟩([1mmin[V26] ≥[0m 217902.31767535824 ∧ [1mmax[V6] ≤[0m 0.011319891844101688)) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [L̅][1mmax[V11] >[0m 0.0038141608453366675)
{1}⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨B⟩[1mmin[V26] ≥[0m 217902.31767535824) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [L̅][1mmax[V11] >[0m 0.0038141608453366675) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [B]([1mmin[V26] ≥[0m 217902.31767535824 → [1mmax[V6] >[0m 0.011319891844101688))
{1}⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L⟩[1mmin[V6] ≥[0m 1.2154505217391558) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [L̅][1mmax[V11] >[0m 0.0038141608453366675) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [B][1mmin[V26] <[0m 217902.31767535824)
{1}⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨A̅⟩[1mmax[V16] ≤[0m 81.4665167044706) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [L̅][1mmax[V11] >[0m 0.0038141608453366675) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [B][1mmin[V26] <[0m 217902.31767535824) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [L][1mmin[V6] <[0m 1.2154505217391558)
{1}⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [L̅][1mmax[V11] >[0m 0.0038141608453366675) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [B][1mmin[V26] <[0m 217902.31767535824) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [L][1mmin[V6] <[0m 1.2154505217391558) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] ≥[0m 4222.6591159789605 → [A̅][1mmax[V16] >[0m 81.4665167044706)
{1}⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ ⟨A̅⟩[1mmin[V24] ≥[0m 10.975911723366615) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] <[0m 4222.6591159789605)
{1}⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639 ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [1mmin[V20] <[0m 4222.6591159789605) ∧ [G]([1mmax[V28] ≤[0m 7.245112655929639 → [A̅][1mmin[V24] <[0m 10.975911723366615)
{1}⟨G⟩([1mmin[V8] ≥[0m 494.33421895459713 ∧ ⟨L̅⟩[1mmin[V27] ≥[0m 87446.39318797569) ∧ [G][1mmax[V28] >[0m 7.245112655929639
{1}⟨G⟩([1mmin[V8] ≥[0m 494.33421895459713 ∧ [1mmax[V2] ≤[0m 42.36525041432014) ∧ [G][1mmax[V28] >[0m 7.245112655929639 ∧ [G]([1mmin[V8] ≥[0m 494.33421895459713 → [L̅][1mmin[V27] <[0m 87446.39318797569)
{1}⟨G⟩[1mmin[V8] ≥[0m 494.33421895459713 ∧ [G][1mmax[V28] >[0m 7.245112655929639 ∧ [G]([1mmin[V8] ≥[0m 494.33421895459713 → [L̅][1mmin[V27] <[0m 87446.39318797569) ∧ [G]([1mmin[V8] ≥[0m 494.33421895459713 → [1mmax[V2] >[0m 42.36525041432014)
{1}⟨G⟩[1mmin[V13] ≥[0m 31.231588457748384 ∧ [G][1mmax[V28] >[0m 7.245112655929639 ∧ [G][1mmin[V8] <[0m 494.33421895459713
{1}[G][1mmax[V28] >[0m 7.245112655929639 ∧ [G][1mmin[V8] <[0m 494.33421895459713 ∧ [G][1mmin[V13] <[0m 31.231588457748384
({1}(⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605))) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩[1mmax[V11] ≤[0m 0.0038141608453366675))) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩([1mmax[V11] ≤[0m 0.0038141608453366675 ∧ ⟨A̅⟩[1mmax[V29] ≤[0m 178.31522392540964))))
({1}(⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605))) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩[1mmax[V11] ≤[0m 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩([1mmax[V11] ≤[0m 0.0038141608453366675 ∧ ⟨A̅⟩[1mmax[V29] ≤[0m 178.31522392540964))))
({1}(⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩[1mmax[V11] ≤[0m 0.0038141608453366675))) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨B⟩[1mmin[V26] ≥[0m 217902.31767535824))) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨B⟩([1mmin[V26] ≥[0m 217902.31767535824 ∧ [1mmax[V6] ≤[0m 0.011319891844101688))))
({1}(⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩[1mmax[V11] ≤[0m 0.0038141608453366675))) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨B⟩[1mmin[V26] ≥[0m 217902.31767535824))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨B⟩([1mmin[V26] ≥[0m 217902.31767535824 ∧ [1mmax[V6] ≤[0m 0.011319891844101688))))
({1}(⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩[1mmax[V11] ≤[0m 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨B⟩[1mmin[V26] ≥[0m 217902.31767535824))) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L⟩[1mmin[V6] ≥[0m 1.2154505217391558)))
({1}(⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩[1mmax[V11] ≤[0m 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨B⟩[1mmin[V26] ≥[0m 217902.31767535824))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L⟩[1mmin[V6] ≥[0m 1.2154505217391558))) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨A̅⟩[1mmax[V16] ≤[0m 81.4665167044706)))
({1}(⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L̅⟩[1mmax[V11] ≤[0m 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨B⟩[1mmin[V26] ≥[0m 217902.31767535824))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨L⟩[1mmin[V6] ≥[0m 1.2154505217391558))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605 ∧ ⟨A̅⟩[1mmax[V16] ≤[0m 81.4665167044706)))
({1}(⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605))) ∧ ({1}(⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ ⟨A̅⟩[1mmin[V24] ≥[0m 10.975911723366615)))
({1}(⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] ≥[0m 4222.6591159789605))) ∧ ({1}(¬⟨G⟩([1mmax[V28] ≤[0m 7.245112655929639 ∧ ⟨A̅⟩[1mmin[V24] ≥[0m 10.975911723366615)))
({1}(¬⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩[1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}(⟨G⟩([1mmin[V8] ≥[0m 494.33421895459713 ∧ ⟨L̅⟩[1mmin[V27] ≥[0m 87446.39318797569)))
({1}(¬⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩[1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}(¬⟨G⟩([1mmin[V8] ≥[0m 494.33421895459713 ∧ ⟨L̅⟩[1mmin[V27] ≥[0m 87446.39318797569))) ∧ ({1}(⟨G⟩([1mmin[V8] ≥[0m 494.33421895459713 ∧ [1mmax[V2] ≤[0m 42.36525041432014)))
({1}(¬⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(⟨G⟩[1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}(¬⟨G⟩([1mmin[V8] ≥[0m 494.33421895459713 ∧ ⟨L̅⟩[1mmin[V27] ≥[0m 87446.39318797569))) ∧ ({1}(¬⟨G⟩([1mmin[V8] ≥[0m 494.33421895459713 ∧ [1mmax[V2] ≤[0m 42.36525041432014)))
({1}(¬⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(¬⟨G⟩[1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}(⟨G⟩[1mmin[V13] ≥[0m 31.231588457748384))
({1}(¬⟨G⟩[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(¬⟨G⟩[1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}(¬⟨G⟩[1mmin[V13] ≥[0m 31.231588457748384))
{1}([1mmax[V29] ≤[0m 178.31522392540964)
{1}[1mmax[V11] ≤[0m 0.0038141608453366675 ∧ [1mmax[V29] >[0m 178.31522392540964
{1}[1mmax[V6] ≤[0m 0.011319891844101688 ∧ [1mmax[V11] >[0m 0.0038141608453366675
{1}[1mmin[V26] ≥[0m 217902.31767535824 ∧ [1mmax[V11] >[0m 0.0038141608453366675 ∧ [1mmax[V6] >[0m 0.011319891844101688
{1}[1mmin[V6] ≥[0m 1.2154505217391558 ∧ [1mmax[V11] >[0m 0.0038141608453366675 ∧ [1mmin[V26] <[0m 217902.31767535824
{1}[1mmax[V16] ≤[0m 81.4665167044706 ∧ [1mmax[V11] >[0m 0.0038141608453366675 ∧ [1mmin[V26] <[0m 217902.31767535824 ∧ [1mmin[V6] <[0m 1.2154505217391558
{1}[1mmin[V20] ≥[0m 4222.6591159789605 ∧ [1mmax[V11] >[0m 0.0038141608453366675 ∧ [1mmin[V26] <[0m 217902.31767535824 ∧ [1mmin[V6] <[0m 1.2154505217391558 ∧ [1mmax[V16] >[0m 81.4665167044706
{1}[1mmin[V24] ≥[0m 10.975911723366615 ∧ [1mmin[V20] <[0m 4222.6591159789605
{1}[1mmax[V28] ≤[0m 7.245112655929639 ∧ [1mmin[V20] <[0m 4222.6591159789605 ∧ [1mmin[V24] <[0m 10.975911723366615
{1}[1mmin[V27] ≥[0m 87446.39318797569 ∧ [1mmax[V28] >[0m 7.245112655929639
{1}[1mmax[V2] ≤[0m 42.36525041432014 ∧ [1mmax[V28] >[0m 7.245112655929639 ∧ [1mmin[V27] <[0m 87446.39318797569
{1}[1mmin[V8] ≥[0m 494.33421895459713 ∧ [1mmax[V28] >[0m 7.245112655929639 ∧ [1mmin[V27] <[0m 87446.39318797569 ∧ [1mmax[V2] >[0m 42.36525041432014
{1}[1mmin[V13] ≥[0m 31.231588457748384 ∧ [1mmax[V28] >[0m 7.245112655929639 ∧ [1mmin[V8] <[0m 494.33421895459713
{1}[1mmax[V28] >[0m 7.245112655929639 ∧ [1mmin[V8] <[0m 494.33421895459713 ∧ [1mmin[V13] <[0m 31.231588457748384
({1}([1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V20] ≥[0m 4222.6591159789605)) ∧ ({1}([1mmax[V11] ≤[0m 0.0038141608453366675)) ∧ ({1}([1mmax[V29] ≤[0m 178.31522392540964))
({1}([1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V20] ≥[0m 4222.6591159789605)) ∧ ({1}([1mmax[V11] ≤[0m 0.0038141608453366675)) ∧ ({1}(¬[1mmax[V29] ≤[0m 178.31522392540964))
({1}([1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V20] ≥[0m 4222.6591159789605)) ∧ ({1}(¬[1mmax[V11] ≤[0m 0.0038141608453366675)) ∧ ({1}([1mmin[V26] ≥[0m 217902.31767535824)) ∧ ({1}([1mmax[V6] ≤[0m 0.011319891844101688))
({1}([1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V20] ≥[0m 4222.6591159789605)) ∧ ({1}(¬[1mmax[V11] ≤[0m 0.0038141608453366675)) ∧ ({1}([1mmin[V26] ≥[0m 217902.31767535824)) ∧ ({1}(¬[1mmax[V6] ≤[0m 0.011319891844101688))
({1}([1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V20] ≥[0m 4222.6591159789605)) ∧ ({1}(¬[1mmax[V11] ≤[0m 0.0038141608453366675)) ∧ ({1}(¬[1mmin[V26] ≥[0m 217902.31767535824)) ∧ ({1}([1mmin[V6] ≥[0m 1.2154505217391558))
({1}([1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V20] ≥[0m 4222.6591159789605)) ∧ ({1}(¬[1mmax[V11] ≤[0m 0.0038141608453366675)) ∧ ({1}(¬[1mmin[V26] ≥[0m 217902.31767535824)) ∧ ({1}(¬[1mmin[V6] ≥[0m 1.2154505217391558)) ∧ ({1}([1mmax[V16] ≤[0m 81.4665167044706))
({1}([1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V20] ≥[0m 4222.6591159789605)) ∧ ({1}(¬[1mmax[V11] ≤[0m 0.0038141608453366675)) ∧ ({1}(¬[1mmin[V26] ≥[0m 217902.31767535824)) ∧ ({1}(¬[1mmin[V6] ≥[0m 1.2154505217391558)) ∧ ({1}(¬[1mmax[V16] ≤[0m 81.4665167044706))
({1}([1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(¬[1mmin[V20] ≥[0m 4222.6591159789605)) ∧ ({1}([1mmin[V24] ≥[0m 10.975911723366615))
({1}([1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(¬[1mmin[V20] ≥[0m 4222.6591159789605)) ∧ ({1}(¬[1mmin[V24] ≥[0m 10.975911723366615))
({1}(¬[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}([1mmin[V27] ≥[0m 87446.39318797569))
({1}(¬[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}(¬[1mmin[V27] ≥[0m 87446.39318797569)) ∧ ({1}([1mmax[V2] ≤[0m 42.36525041432014))
({1}(¬[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}([1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}(¬[1mmin[V27] ≥[0m 87446.39318797569)) ∧ ({1}(¬[1mmax[V2] ≤[0m 42.36525041432014))
({1}(¬[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(¬[1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}([1mmin[V13] ≥[0m 31.231588457748384))
({1}(¬[1mmax[V28] ≤[0m 7.245112655929639)) ∧ ({1}(¬[1mmin[V8] ≥[0m 494.33421895459713)) ∧ ({1}(¬[1mmin[V13] ≥[0m 31.231588457748384))
Other: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/other/parse-and-translate-restricted.jl:132
Expression evaluated to non-Boolean
Expression: tree10 = parse_tree(tree_str10; worldtypes = [SoleData.Interval], initconditions = [ModalDecisionTrees.start_without_world])
Value: Decision Tree{String}(
worldtypes: Type{<:AbstractWorld}[SoleLogics.Interval]
initconditions: ModalDecisionTrees.InitialCondition[ModalDecisionTrees.StartWithoutWorld()]
###########################################################
sub-tree leaves: 14
sub-tree nodes: 27
sub-tree height: 6
sub-tree modal height: 5
###########################################################
tree:
{1} RestrictedDecision(⟨G⟩[1mmax[V28] ≤[0m 7.25) YES : 78/141 (conf = 0.5532)
✔ {1} RestrictedDecision(⟨=⟩[1mmin[V20] ≥[0m 4222.66) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 55/88 (conf = 0.6250)
│✔ {1} RestrictedDecision(⟨L̅⟩[1mmax[V11] ≤[0m 0) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 34/66 (conf = 0.5152)
││✔ {1} RestrictedDecision(⟨A̅⟩[1mmax[V29] ≤[0m 178.32) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 19/22 (conf = 0.8636)
│││✔ YES : 3/3 (conf = 1.0000)
│││✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 19/19 (conf = 1.0000)
││✘ {1} RestrictedDecision(⟨B⟩[1mmin[V26] ≥[0m 217902.32) YES : 29/44 (conf = 0.6591)
││ ✔ {1} RestrictedDecision(⟨=⟩[1mmax[V6] ≤[0m 0.01) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 12/14 (conf = 0.8571)
││ │✔ YES : 2/2 (conf = 1.0000)
││ │✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 12/12 (conf = 1.0000)
││ ✘ {1} RestrictedDecision(⟨L⟩[1mmin[V6] ≥[0m 1.22) YES : 27/30 (conf = 0.9000)
││ ✔ YES : 24/24 (conf = 1.0000)
││ ✘ {1} RestrictedDecision(⟨A̅⟩[1mmax[V16] ≤[0m 81.47) YES : 3/6 (conf = 0.5000)
││ ✔ YES : 3/3 (conf = 1.0000)
││ ✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 3/3 (conf = 1.0000)
│✘ {1} RestrictedDecision(⟨A̅⟩[1mmin[V24] ≥[0m 10.98) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 21/22 (conf = 0.9545)
│ ✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 21/21 (conf = 1.0000)
│ ✘ YES : 1/1 (conf = 1.0000)
✘ {1} RestrictedDecision(⟨G⟩[1mmin[V8] ≥[0m 494.33) YES : 45/53 (conf = 0.8491)
✔ {1} RestrictedDecision(⟨L̅⟩[1mmin[V27] ≥[0m 87446.39) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 7/13 (conf = 0.5385)
│✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 6/6 (conf = 1.0000)
│✘ {1} RestrictedDecision(⟨=⟩[1mmax[V2] ≤[0m 42.37) YES : 6/7 (conf = 0.8571)
│ ✔ YES : 6/6 (conf = 1.0000)
│ ✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 1/1 (conf = 1.0000)
✘ {1} RestrictedDecision(⟨G⟩[1mmin[V13] ≥[0m 31.23) YES : 39/40 (conf = 0.9750)
✔ YES : 39/39 (conf = 1.0000)
✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 1/1 (conf = 1.0000)
)
▣ {1}(⟨G⟩([1m[V1] ≤[0m 1))
├✔ {2}([1m[V2] ≥[0m 1) SHORTFORM: {1}(⟨G⟩[1m[V1] ≤[0m 1)
│├✔ {2}(⟨L̅⟩([1m[V3] ≤[0m 1)) SHORTFORM: {1}(⟨G⟩[1m[V1] ≤[0m 1) ∧ {2}([1m[V2] ≥[0m 1)
││├✔ {1}(⟨G⟩(([1m[V1] ≤[0m 1) ∧ ⟨A̅⟩([1m[V4] ≤[0m 1))) SHORTFORM: {1}(⟨G⟩[1m[V1] ≤[0m 1) ∧ {2}(⟨L̅⟩[1m[V3] ≤[0m 1)
│││├✔ YES SHORTFORM: {1}(⟨G⟩([1m[V1] ≤[0m 1 ∧ ⟨A̅⟩[1m[V4] ≤[0m 1)) ∧ {2}(⟨L̅⟩[1m[V3] ≤[0m 1)
│││└✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[1m[V1] ≤[0m 1 ∧ [G]([1m[V1] ≤[0m 1 → [A̅][1m[V4] >[0m 1) ∧ {2}[1m[V2] ≥[0m 1 ∧ ⟨L̅⟩[1m[V3] ≤[0m 1
││└✘ {1}(⟨G⟩(([1m[V1] ≤[0m 1) ∧ ⟨B⟩([1m[V5] ≥[0m 1))) SHORTFORM: {1}(⟨G⟩[1m[V1] ≤[0m 1) ∧ {2}[1m[V2] ≥[0m 1 ∧ [L̅][1m[V3] >[0m 1
││ ├✔ {3}([1m[V6] ≤[0m 1) SHORTFORM: {1}(⟨G⟩([1m[V1] ≤[0m 1 ∧ ⟨B⟩[1m[V5] ≥[0m 1)) ∧ {2}([L̅][1m[V3] >[0m 1)
││ │├✔ YES SHORTFORM: {1}(⟨G⟩([1m[V1] ≤[0m 1 ∧ ⟨B⟩[1m[V5] ≥[0m 1)) ∧ {2}([L̅][1m[V3] >[0m 1) ∧ {3}([1m[V6] ≤[0m 1)
││ │└✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[1m[V1] ≤[0m 1 ∧ ⟨G⟩([1m[V1] ≤[0m 1 ∧ ⟨B⟩[1m[V5] ≥[0m 1) ∧ {2}[1m[V2] ≥[0m 1 ∧ [L̅][1m[V3] >[0m 1 ∧ {3}([1m[V6] >[0m 1)
││ └✘ {2}(⟨L⟩([1m[V7] ≥[0m 1)) SHORTFORM: {1}⟨G⟩[1m[V1] ≤[0m 1 ∧ [G]([1m[V1] ≤[0m 1 → [B][1m[V5] <[0m 1) ∧ {2}[1m[V2] ≥[0m 1 ∧ [L̅][1m[V3] >[0m 1
││ ├✔ YES SHORTFORM: {1}([G]([1m[V1] ≤[0m 1 → [B][1m[V5] <[0m 1)) ∧ {2}⟨L⟩[1m[V7] ≥[0m 1 ∧ [L̅][1m[V3] >[0m 1
││ └✘ {1}(⟨G⟩(([1m[V1] ≤[0m 1) ∧ ⟨A̅⟩([1m[V8] ≤[0m 1))) SHORTFORM: {1}⟨G⟩[1m[V1] ≤[0m 1 ∧ [G]([1m[V1] ≤[0m 1 → [B][1m[V5] <[0m 1) ∧ {2}[1m[V2] ≥[0m 1 ∧ [L̅][1m[V3] >[0m 1 ∧ [L][1m[V7] <[0m 1
││ ├✔ YES SHORTFORM: {1}⟨G⟩([1m[V1] ≤[0m 1 ∧ ⟨A̅⟩[1m[V8] ≤[0m 1) ∧ [G]([1m[V1] ≤[0m 1 → [B][1m[V5] <[0m 1) ∧ {2}[L][1m[V7] <[0m 1 ∧ [L̅][1m[V3] >[0m 1
││ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[1m[V1] ≤[0m 1 ∧ [G]([1m[V1] ≤[0m 1 → [B][1m[V5] <[0m 1) ∧ [G]([1m[V1] ≤[0m 1 → [A̅][1m[V8] >[0m 1) ∧ {2}[1m[V2] ≥[0m 1 ∧ [L̅][1m[V3] >[0m 1 ∧ [L][1m[V7] <[0m 1
│└✘ {1}(⟨G⟩(([1m[V1] ≤[0m 1) ∧ ⟨A̅⟩([1m[V9] ≥[0m 1))) SHORTFORM: {1}(⟨G⟩[1m[V1] ≤[0m 1) ∧ {2}([1m[V2] <[0m 1)
│ ├✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}(⟨G⟩([1m[V1] ≤[0m 1 ∧ ⟨A̅⟩[1m[V9] ≥[0m 1)) ∧ {2}([1m[V2] <[0m 1)
│ └✘ YES SHORTFORM: {1}⟨G⟩[1m[V1] ≤[0m 1 ∧ [G]([1m[V1] ≤[0m 1 → [A̅][1m[V9] <[0m 1) ∧ {2}([1m[V2] <[0m 1)
└✘ {1}(⟨G⟩([1m[V10] ≥[0m 1)) SHORTFORM: {1}([G][1m[V1] >[0m 1)
├✔ {2}(⟨L̅⟩([1m[V11] ≥[0m 1)) SHORTFORM: {1}⟨G⟩[1m[V10] ≥[0m 1 ∧ [G][1m[V1] >[0m 1
│├✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[1m[V10] ≥[0m 1 ∧ [G][1m[V1] >[0m 1 ∧ {2}(⟨L̅⟩[1m[V11] ≥[0m 1)
│└✘ {2}([1m[V12] ≤[0m 1) SHORTFORM: {1}[G][1m[V1] >[0m 1 ∧ ⟨G⟩[1m[V10] ≥[0m 1 ∧ {2}([L̅][1m[V11] <[0m 1)
│ ├✔ YES SHORTFORM: {1}⟨G⟩[1m[V10] ≥[0m 1 ∧ [G][1m[V1] >[0m 1 ∧ {2}[1m[V12] ≤[0m 1 ∧ [L̅][1m[V11] <[0m 1
│ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}[G][1m[V1] >[0m 1 ∧ ⟨G⟩[1m[V10] ≥[0m 1 ∧ {2}[L̅][1m[V11] <[0m 1 ∧ [1m[V12] >[0m 1
└✘ {1}(⟨G⟩([1m[V13] ≥[0m 1)) SHORTFORM: {1}[G][1m[V1] >[0m 1 ∧ [G][1m[V10] <[0m 1
├✔ YES SHORTFORM: {1}⟨G⟩[1m[V13] ≥[0m 1 ∧ [G][1m[V1] >[0m 1 ∧ [G][1m[V10] <[0m 1
└✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}[G][1m[V1] >[0m 1 ∧ [G][1m[V10] <[0m 1 ∧ [G][1m[V13] <[0m 1
==================================================
TEST: other/restricted2complete.jl
┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict(2 => 1, 1 => 1), argmax: 2, max: 1 (sum = 2)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (4 elements): Dict(2 => 2, 1 => 2), argmax: 2, max: 2 (sum = 4)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (6 elements): Dict(2 => 3, 1 => 3), argmax: 2, max: 3 (sum = 6)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (8 elements): Dict(2 => 4, 1 => 4), argmax: 2, max: 4 (sum = 8)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
{2} RestrictedDecision(⟨L⟩[1mmin[V3] ≤[0m 0)
├─ {2} RestrictedDecision(⟨A⟩[1mmin[V2] <[0m 0)
│ ├─ 2 (1/2)
│ └─ {2} RestrictedDecision(⟨G⟩[1mmin[V1] ≥[0m 10)
│ ├─ 2 (1/2)
│ └─ 2 (1/2)
└─ 2 (1/2)
▣ {2}(⟨L⟩([1mmin[V3] ≤[0m 0))
├✔ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0)))
│├✔ 2
│└✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10)))
│ ├✔ 2
│ └✘ 2
└✘ 2
├─ ▣ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0)))
│ ├✔ 2
│ └✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10)))
│ ├✔ 2
│ └✘ 2
│
│ ├─ ▣ 2
│ │
│ ├─ ▣ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10)))
│ │ ├✔ 2
│ │ └✘ 2
│ │
│ │ ├─ ▣ 2
│ │ │
│ │ └─ ▣ 2
│ │
│ ├─ ▣ 2
│ │
│ └─ ▣ 2
│
├─ ▣ 2
│
├─ ▣ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10)))
│ ├✔ 2
│ └✘ 2
│
│ ├─ ▣ 2
│ │
│ └─ ▣ 2
│
├─ ▣ 2
│
├─ ▣ 2
│
└─ ▣ 2
┌ Warning: Parity encountered in bestguess! counts (4 elements): Dict(2 => 2, 1 => 2), argmax: 2, max: 2 (sum = 4)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (6 elements): Dict(2 => 3, 1 => 3), argmax: 2, max: 3 (sum = 6)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (8 elements): Dict(2 => 4, 1 => 4), argmax: 2, max: 4 (sum = 8)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (14 elements): Dict(2 => 7, 1 => 7), argmax: 2, max: 7 (sum = 14)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (16 elements): Dict(2 => 8, 1 => 8), argmax: 2, max: 8 (sum = 16)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
┌ Warning: Parity encountered in bestguess! counts (18 elements): Dict(2 => 9, 1 => 9), argmax: 2, max: 9 (sum = 18)
└ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93
["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 2
syntaxstring(_lambda) = "⟨L⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"]
h = 0
["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 1
{2}(⟨L⟩[1mmin[V3] ≤[0m 0)
Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
h = 4
syntaxstring(_lambda) = "⟨L⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"]
h = 0
Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
h = 3
syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0"
i_ctr = 2
["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 0
Any["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
h = 2
syntaxstring(_lambda) = "⟨A⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 0
Any["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
h = 1
{2}(⟨L⟩([1mmin[V3] ≤[0m 0 ∧ ⟨A⟩[1mmin[V2] <[0m 0))
Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
h = 6
syntaxstring(_lambda) = "⟨L⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"]
h = 0
Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
h = 5
syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0"
i_ctr = 4
["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"]
h = 2
syntaxstring(_lambda) = "⟨A⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 0
["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"]
h = 1
Any["DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
h = 2
syntaxstring(_lambda) = "⟨G⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"]
h = 0
Any["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
h = 1
{2}(⟨L⟩([1mmin[V3] ≤[0m 0 ∧ [A]¬[1mmin[V2] <[0m 0 ∧ ⟨G⟩[1mmin[V1] ≥[0m 10))
▣ {2}(⟨L⟩([1mmin[V3] ≤[0m 0))
├✔ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0)))
│├✔ 2
│└✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10)))
│ ├✔ 2
│ └✘ 2
└✘ 2
▣ {2}(⟨L⟩([1mmin[V3] ≤[0m 0))
├✔ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0)))
│├✔ 2
│└✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ [A]¬([1mmin[V2] <[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10)))
│ ├✔ 2
│ └✘ 2
└✘ 2
▣ {2}(⟨L⟩([1mmin[V3] ≤[0m 0))
├✔ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0))) SHORTFORM: {2}(⟨L⟩[1mmin[V3] ≤[0m 0)
│├✔ 2 SHORTFORM: {2}(⟨L⟩([1mmin[V3] ≤[0m 0 ∧ ⟨A⟩[1mmin[V2] <[0m 0))
│└✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10))) SHORTFORM: {2}⟨L⟩[1mmin[V3] ≤[0m 0 ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0)
│ ├✔ 2 SHORTFORM: {2}⟨L⟩([1mmin[V3] ≤[0m 0 ∧ ⟨G⟩[1mmin[V1] ≥[0m 10) ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0)
│ └✘ 2 SHORTFORM: {2}⟨L⟩[1mmin[V3] ≤[0m 0 ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0) ∧ [L]([1mmin[V3] ≤[0m 0 → [G][1mmin[V1] <[0m 10)
└✘ 2 SHORTFORM: {2}([L][1mmin[V3] >[0m 0)
▣ {2}(⟨L⟩([1mmin[V3] ≤[0m 0))
├✔ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0))) SHORTFORM: {2}(⟨L⟩[1mmin[V3] ≤[0m 0)
│├✔ 2 SHORTFORM: {2}(⟨L⟩([1mmin[V3] ≤[0m 0 ∧ ⟨A⟩[1mmin[V2] <[0m 0))
│└✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ [A]¬([1mmin[V2] <[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10))) SHORTFORM: {2}⟨L⟩[1mmin[V3] ≤[0m 0 ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0)
│ ├✔ 2 SHORTFORM: {2}⟨L⟩([1mmin[V3] ≤[0m 0 ∧ [A]¬[1mmin[V2] <[0m 0 ∧ ⟨G⟩[1mmin[V1] ≥[0m 10) ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0)
│ └✘ 2 SHORTFORM: {2}⟨L⟩[1mmin[V3] ≤[0m 0 ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0) ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0 → [G][1mmin[V1] <[0m 10)
└✘ 2 SHORTFORM: {2}([L][1mmin[V3] >[0m 0)
["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 2
syntaxstring(_lambda) = "⟨L⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"]
h = 0
["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 1
{2}(⟨L⟩[1mmin[V3] ≤[0m 0)
Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
h = 4
syntaxstring(_lambda) = "⟨L⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"]
h = 0
Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
h = 3
syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0"
i_ctr = 2
["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 0
Any["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
h = 2
syntaxstring(_lambda) = "⟨A⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 0
Any["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2]
h = 1
{2}(⟨L⟩([1mmin[V3] ≤[0m 0 ∧ ⟨A⟩[1mmin[V2] <[0m 0))
Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
h = 6
syntaxstring(_lambda) = "⟨L⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"]
h = 0
Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
h = 5
syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0"
i_ctr = 4
["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"]
h = 2
syntaxstring(_lambda) = "⟨A⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"]
h = 0
["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"]
h = 1
Any["DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
h = 2
syntaxstring(_lambda) = "⟨G⟩(⊤)"
i_ctr = 2
["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"]
h = 0
Any["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2]
h = 1
{2}(⟨L⟩([1mmin[V3] ≤[0m 0 ∧ [A]¬[1mmin[V2] <[0m 0 ∧ ⟨G⟩[1mmin[V1] ≥[0m 10))
▣ {2}(⟨L⟩([1mmin[V3] ≤[0m 0))
├✔ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0))) SHORTFORM: {2}(⟨L⟩[1mmin[V3] ≤[0m 0)
│├✔ 2 SHORTFORM: {2}(⟨L⟩([1mmin[V3] ≤[0m 0 ∧ ⟨A⟩[1mmin[V2] <[0m 0))
│└✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10))) SHORTFORM: {2}⟨L⟩[1mmin[V3] ≤[0m 0 ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0)
│ ├✔ 2 SHORTFORM: {2}⟨L⟩([1mmin[V3] ≤[0m 0 ∧ ⟨G⟩[1mmin[V1] ≥[0m 10) ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0)
│ └✘ 2 SHORTFORM: {2}⟨L⟩[1mmin[V3] ≤[0m 0 ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0) ∧ [L]([1mmin[V3] ≤[0m 0 → [G][1mmin[V1] <[0m 10)
└✘ 2 SHORTFORM: {2}([L][1mmin[V3] >[0m 0)
▣ {2}(⟨L⟩([1mmin[V3] ≤[0m 0))
├✔ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0))) SHORTFORM: {2}(⟨L⟩[1mmin[V3] ≤[0m 0)
│├✔ 2 SHORTFORM: {2}(⟨L⟩([1mmin[V3] ≤[0m 0 ∧ ⟨A⟩[1mmin[V2] <[0m 0))
│└✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ [A]¬([1mmin[V2] <[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10))) SHORTFORM: {2}⟨L⟩[1mmin[V3] ≤[0m 0 ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0)
│ ├✔ 2 SHORTFORM: {2}⟨L⟩([1mmin[V3] ≤[0m 0 ∧ [A]¬[1mmin[V2] <[0m 0 ∧ ⟨G⟩[1mmin[V1] ≥[0m 10) ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0)
│ └✘ 2 SHORTFORM: {2}⟨L⟩[1mmin[V3] ≤[0m 0 ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0) ∧ [L]([1mmin[V3] ≤[0m 0 → [A][1mmin[V2] ≥[0m 0 → [G][1mmin[V1] <[0m 10)
└✘ 2 SHORTFORM: {2}([L][1mmin[V3] >[0m 0)
▣ {2}(⟨L⟩([1mmin[V3] ≤[0m 0))
├✔ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0)))
│├✔ 2
│└✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10)))
│ ├✔ 2
│ └✘ 2
└✘ 2
▣ {2}(⟨L⟩([1mmin[V3] ≤[0m 0))
├✔ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ ⟨A⟩([1mmin[V2] <[0m 0)))
│├✔ 2
│└✘ {2}(⟨L⟩(([1mmin[V3] ≤[0m 0) ∧ [A]¬([1mmin[V2] <[0m 0) ∧ ⟨G⟩([1mmin[V1] ≥[0m 10)))
│ ├✔ 2
│ └✘ 2
└✘ 2
==================================================
TEST: other/translate-complete.jl
Other: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68
Got exception outside of a @test
LoadError: Cannot squash to leaf with empty supporting labels.
Stacktrace:
[1] error(s::String)
@ Base ./error.jl:35
[2] squashtoleaf(leaves::Vector{DTLeaf{String}})
@ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/pCVLe/src/posthoc.jl:434
[3] squashtoleaf(nodes::Vector{Union{ModalDecisionTrees.AbstractDecisionLeaf, DTInternal}})
@ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/pCVLe/src/posthoc.jl:422
[4] DTInternal{String, DoubleEdgedDecision{Atom{String}}}(i_modality::Int64, decision::DoubleEdgedDecision{Atom{String}}, left::DTLeaf{String}, right::DTLeaf{String}, miscellaneous::@NamedTuple{})
@ ModalDecisionTrees ~/.julia/packages/ModalDecisionTrees/pCVLe/src/base.jl:298
[5] DTInternal
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/base.jl:332 [inlined]
[6] DTInternal
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/base.jl:327 [inlined]
[7] MDT(p::Atom{String}, left::DTLeaf{String}, right::DTLeaf{String})
@ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/other/translate-complete.jl:21
[8] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/other/translate-complete.jl:29
[9] include
@ ./sysimg.jl:38 [inlined]
[10] run_tests(list::Vector{String})
@ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28
[11] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[12] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[13] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[14] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[15] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64
[16] include(fname::String)
@ Main ./sysimg.jl:38
[17] top-level scope
@ none:6
[18] eval
@ ./boot.jl:430 [inlined]
[19] exec_options(opts::Base.JLOptions)
@ Base ./client.jl:296
[20] _start()
@ Base ./client.jl:531
in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/other/translate-complete.jl:29
##################################################
TEST: /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/pluto-demo.jl
[ Info: Precomputing logiset...
Pluto Demo: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68
Got exception outside of a @test
LoadError: MethodError: no method matching varnames(::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
The function `varnames` exists, but no method is defined for this combination of argument types.
Stacktrace:
[1] (::SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64})(cond::Tuple{Vector{Function}, typeof(minimum)})
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560
[2] iterate
@ ./generator.jl:48 [inlined]
[3] _collect(c::Vector{Tuple{Vector{Function}, Function}}, itr::Base.Generator{Vector{Tuple{Vector{Function}, Function}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}, ::Base.EltypeUnknown, isz::Base.HasShape{1})
@ Base ./array.jl:811
[4] collect_similar(cont::Vector{Tuple{Vector{Function}, Function}}, itr::Base.Generator{Vector{Tuple{Vector{Function}, Function}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}})
@ Base ./array.jl:720
[5] map(f::Function, A::Vector{Tuple{Vector{Function}, Function}})
@ Base ./abstractarray.jl:3371
[6] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{Function}, featvaltype::Type{Float64}; force_i_variables::Bool)
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560
[7] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{Function}, featvaltype::Type{Float64})
@ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:456
[8] readconditions(model::ModalDecisionTree, dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/default-parameters.jl:148
[9] #30
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:137 [inlined]
[10] (::ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree})(mod::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}})
@ ModalDecisionTrees.MLJInterface ./none:0
[11] iterate
@ ./generator.jl:48 [inlined]
[12] collect(itr::Base.Generator{Base.Generator{Vector{Vector{Int64}}, MultiData.var"#82#83"{DataFrame}}, ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree}})
@ Base ./array.jl:791
[13] wrapdataset(X::DataFrame, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool)
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:136
[14] wrapdataset (repeats 2 times)
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined]
[15] #reformat#63
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined]
[16] reformat
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined]
[17] reformat(m::ModalDecisionTree, X::DataFrame, y::CategoricalVector{String, UInt32, String, CategoricalValue{String, UInt32}, Union{}})
@ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175
[18] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Vector{Int64}, verbosity::Int64, force::Bool, composite::Nothing)
@ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658
[19] fit_only!
@ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined]
[20] #fit!#63
@ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined]
[21] macro expansion
@ ./timing.jl:581 [inlined]
[22] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/pluto-demo.jl:44
[23] include
@ ./sysimg.jl:38 [inlined]
[24] run_tests(list::Vector{String})
@ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28
[25] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[26] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[27] macro expansion
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined]
[28] macro expansion
@ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined]
[29] top-level scope
@ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64
[30] include(fname::String)
@ Main ./sysimg.jl:38
[31] top-level scope
@ none:6
[32] eval
@ ./boot.jl:430 [inlined]
[33] exec_options(opts::Base.JLOptions)
@ Base ./client.jl:296
[34] _start()
@ Base ./client.jl:531
in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/pluto-demo.jl:35
Test Summary: | Pass Error Total Time
ModalDecisionTrees.jl | 32 7 39 5m37.6s
Base | 26 26 18.6s
Classification, modal | 1 1 40.4s
Classification | 1 1 59.4s
Regression | 1 1 18.1s
Miscellaneous | 2 1 3 12.7s
Other | 4 2 6 2m37.3s
Pluto Demo | 1 1 31.2s
ERROR: LoadError: Some tests did not pass: 32 passed, 0 failed, 7 errored, 0 broken.
in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:63
Testing failed after 542.08s
ERROR: LoadError: Package ModalDecisionTrees errored during testing
Stacktrace:
[1] pkgerror(msg::String)
@ Pkg.Types /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Types.jl:68
[2] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool)
@ Pkg.Operations /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2124
[3] test
@ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2007 [inlined]
[4] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}})
@ Pkg.API /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:481
[5] test(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd})
@ Pkg.API /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:159
[6] test
@ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:147 [inlined]
[7] #test#74
@ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:146 [inlined]
[8] top-level scope
@ /PkgEval.jl/scripts/evaluate.jl:219
in expression starting at /PkgEval.jl/scripts/evaluate.jl:210
PkgEval failed after 1026.43s: package tests unexpectedly errored