Package evaluation to test SoleReasoners on Julia 1.14.0-DEV.2593 (15c2b67521*) started at 2026-07-04T05:18:09.245 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.37s ################################################################################ # Installation # Installing SoleReasoners... Resolving package versions... Installed SoleBase ──────────────────── v0.13.4 Installed DataStructures ────────────── v0.19.5 Installed Indexing ──────────────────── v1.1.1 Installed MacroTools ────────────────── v0.5.16 Installed AliasTables ───────────────── v1.1.3 Installed ArnoldiMethod ─────────────── v0.4.0 Installed FillArrays ────────────────── v1.16.0 Installed AbstractTrees ─────────────── v0.4.5 Installed StatsBase ─────────────────── v0.34.12 Installed OrderedCollections ────────── v1.8.2 Installed Compat ────────────────────── v4.18.1 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed Combinatorics ─────────────── v1.1.0 Installed DataAPI ───────────────────── v1.16.0 Installed Statistics ────────────────── v1.11.1 Installed StatsAPI ──────────────────── v1.8.0 Installed PrecompileTools ───────────── v1.3.4 Installed SimpleTraits ──────────────── v0.9.6 Installed SoleReasoners ─────────────── v0.1.0 Installed DataValueInterfaces ───────── v1.0.0 Installed StaticArraysCore ──────────── v1.4.4 Installed IrrationalConstants ───────── v0.2.6 Installed Requires ──────────────────── v1.3.1 Installed StringManipulation ────────── v0.4.4 Installed LogExpFunctions ───────────── v1.0.1 Installed FunctionWrappers ──────────── v1.1.3 Installed ThreadSafeDicts ───────────── v0.1.6 Installed Tables ────────────────────── v1.13.0 Installed StaticArrays ──────────────── v1.9.18 Installed PtrArrays ─────────────────── v1.4.0 Installed Reexport ──────────────────── v1.2.2 Installed Preferences ───────────────── v1.5.2 Installed SortingAlgorithms ─────────── v1.2.3 Installed Missings ──────────────────── v1.2.0 Installed TableTraits ───────────────── v1.0.1 Installed PrettyTables ──────────────── v3.3.2 Installed SoleLogics ────────────────── v0.13.7 Installed LaTeXStrings ──────────────── v1.4.0 Installed CategoricalArrays ─────────── v1.1.1 Installed Lazy ──────────────────────── v0.15.1 Installed IterTools ─────────────────── v1.10.0 Installed Crayons ───────────────────── v4.1.1 Installed Dictionaries ──────────────── v0.4.6 Installed Inflate ───────────────────── v0.1.5 Installed DocStringExtensions ───────── v0.9.5 Installed Graphs ────────────────────── v1.14.0 Updating `~/.julia/environments/v1.14/Project.toml` [eb5c4719] + SoleReasoners v0.1.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [66dad0bd] + AliasTables v1.1.3 [ec485272] + ArnoldiMethod v0.4.0 [324d7699] + CategoricalArrays v1.1.1 [861a8166] + Combinatorics v1.1.0 [34da2185] + Compat v4.18.1 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.19.5 [e2d170a0] + DataValueInterfaces v1.0.0 [85a47980] + Dictionaries v0.4.6 [ffbed154] + DocStringExtensions v0.9.5 [1a297f60] + FillArrays v1.16.0 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.14.0 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.6 [c8e1da08] + IterTools v1.10.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [b964fa9f] + LaTeXStrings v1.4.0 [50d2b5c4] + Lazy v0.15.1 [2ab3a3ac] + LogExpFunctions v1.0.1 [1914dd2f] + MacroTools v0.5.16 [e1d29d7a] + Missings v1.2.0 ⌅ [bac558e1] + OrderedCollections v1.8.2 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [08abe8d2] + PrettyTables v3.3.2 [43287f4e] + PtrArrays v1.4.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [699a6c99] + SimpleTraits v0.9.6 [4475fa32] + SoleBase v0.13.4 [b002da8f] + SoleLogics v0.13.7 [eb5c4719] + SoleReasoners v0.1.0 [a2af1166] + SortingAlgorithms v1.2.3 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.8.0 [2913bbd2] + StatsBase v0.34.12 [892a3eda] + StringManipulation v0.4.4 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.13.0 [4239201d] + ThreadSafeDicts v0.1.6 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.5+2 [4536629a] + OpenBLAS_jll v0.3.33+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 6.25s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 9.0 s ✓ TestEnv 1 dependency successfully precompiled in 9 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 4.3 s ✓ MacroTools 0.6 s ✓ Reexport 1.4 s ✓ Statistics 1.1 s ✓ DataAPI 2.6 s ✓ IrrationalConstants 0.7 s ✓ DataValueInterfaces 1.3 s ✓ StaticArraysCore 0.8 s ✓ StatsAPI 148.1 s ✓ OrderedCollections 37.8 s ✓ FunctionWrappers 3.9 s ✓ ThreadSafeDicts 1.5 s ✓ DocStringExtensions 397.1 s ✓ IterTools 73.7 s ✓ AbstractTrees 0.9 s ✓ Indexing 2.5 s ✓ Combinatorics 1.5 s ✓ Inflate 118.8 s ✓ FillArrays 36.7 s ✓ PtrArrays 0.5 s ✓ IteratorInterfaceExtensions 25.9 s ✓ LaTeXStrings 2.6 s ✓ Crayons 1.7 s ✓ Requires 2.0 s ✓ Compat 30.9 s ✓ Preferences 43.5 s ✓ Lazy 3.6 s ✓ SimpleTraits 41.7 s ✓ Statistics → SparseArraysExt 55.5 s ✓ Missings 170.5 s ✓ DataStructures 1.7 s ✓ LogExpFunctions 10.1 s ✓ Dictionaries 77.3 s ✓ FillArrays → FillArraysSparseArraysExt 40.5 s ✓ FillArrays → FillArraysStatisticsExt 37.6 s ✓ AliasTables 0.7 s ✓ TableTraits 1.0 s ✓ Compat → CompatLinearAlgebraExt 31.3 s ✓ PrecompileTools 40.1 s ✓ SortingAlgorithms 148.8 s ✓ Tables 561.9 s ✓ CategoricalArrays 356.8 s ✓ StaticArrays 83.9 s ✓ StringManipulation  ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ======================================================================================  cmd: /opt/julia/bin/julia 284 running 1 of 1  signal (10): User defined signal 1 set_nth_field at /source/src/datatype.c:1906:1 arg_tuple at /source/src/builtins.c:994:9 abstract_call_gf_by_type at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:135:0 (pc: 7) abstract_call_known at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3018:0 (pc: 1607) abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3171:0 (pc: 189) abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3164:0 [inlined] abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3310:0 [inlined] abstract_eval_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3328:0 (pc: 119) abstract_eval_statement_expr at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3698:0 (pc: 4) abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4171:0 [inlined] abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4128:0 [inlined] typeinf_local at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4712:0 (pc: 3576) jfptr_typeinf_local_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 typeinf at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4994:0 (pc: 463) typeinf_ext at ./../usr/share/julia/Compiler/src/typeinfer.jl:1539:0 (pc: 150) typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1744:0 [inlined] typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1753:0 (pc: 16) jfptr_typeinf_ext_toplevel_4.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] jl_type_infer at /source/src/gf.c:475:35 jl_compile_method_very_internal at /source/src/gf.c:3904:20 _jl_invoke at /source/src/gf.c:4337:16 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] ijl_lower at /source/src/ast.c:1271:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:594:31 jl_eval_module_expr at /source/src/toplevel.c:262:5 [inlined] jl_toplevel_eval_flex at /source/src/toplevel.c:661:27 jl_eval_toplevel_stmts at /source/src/toplevel.c:598:15 jl_toplevel_eval_flex at /source/src/toplevel.c:680:27 ijl_toplevel_eval at /source/src/toplevel.c:778:12 ijl_toplevel_eval_in at /source/src/toplevel.c:823:13 eval at ./boot.jl:522:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 208) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:325:0 (pc: 1) include_package_for_output at ./loading.jl:3303:0 (pc: 848) jfptr_include_package_for_output_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:259:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:757:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:947:21 ijl_eval_thunk at /source/src/toplevel.c:764:18 jl_toplevel_eval_flex at /source/src/toplevel.c:708:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:598:15 jl_toplevel_eval_flex at /source/src/toplevel.c:680:27 ijl_toplevel_eval at /source/src/toplevel.c:778:12 ijl_toplevel_eval_in at /source/src/toplevel.c:823:13 eval at ./boot.jl:522:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 208) include_string at ./loading.jl:3142:0 [inlined] exec_options at ./client.jl:353:0 (pc: 813) _start at ./client.jl:596:0 (pc: 295) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] true_main at /source/src/jlapi.c:985:29 jl_repl_entrypoint at /source/src/jlapi.c:1152:15 main at /source/cli/loader_exe.c:58:15 unknown function (ip: 0x7dab710bc249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file)   ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ==============================================================  ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 147 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:524:34 wait at ./task.jl:1248:0 (pc: 107) wait_forever at ./task.jl:1170:0 (pc: 4) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] start_task at /source/src/task.c:1276:19 unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x00007a5379ecdf00 Total snapshots: 301. Utilization: 0% ╎301 @Base/task.jl:1170 wait_forever() 300╎ 301 @Base/task.jl:1248 wait() ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:524:34 wait at ./task.jl:1248:0 (pc: 107) wait_forever at ./task.jl:1170:0 (pc: 4) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] start_task at /source/src/task.c:1276:19 unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x0000743df15fd5a0 Total snapshots: 349. Utilization: 0% ╎349 @Base/task.jl:1170 wait_forever() 348╎ 349 @Base/task.jl:1248 wait() [147] signal 15: Terminated in expression starting at /PkgEval.jl/scripts/precompile.jl:34 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:524:34 wait at ./task.jl:1248:0 (pc: 107) wait_forever at ./task.jl:1170:0 (pc: 4) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] start_task at /source/src/task.c:1276:19 unknown function (ip: (nil)) at (unknown file) Allocations: 13076858 (Pool: 13076197; Big: 661); GC: 14 [1] signal 15: Terminated in expression starting at /PkgEval.jl/scripts/evaluate.jl:156 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:524:34 wait at ./task.jl:1248:0 (pc: 107) wait_forever at ./task.jl:1170:0 (pc: 4) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] start_task at /source/src/task.c:1276:19 unknown function (ip: (nil)) at (unknown file) Allocations: 16684754 (Pool: 16684001; Big: 753); GC: 17 val already in a list atexit hook threw an error: ErrorException("schedule: Task not runnable") error at ./error.jl:56:0 (pc: 6) #schedule#625 at ./task.jl:1053:0 (pc: 71) schedule at ./task.jl:1045:0 [inlined] uv_writecb_task at ./stream.jl:1198:0 (pc: 11) jlcapi_uv_writecb_task_512.1 at /opt/julia/lib/julia/sys.so (unknown line) uv__write_callbacks at /workspace/srcdir/libuv/src/unix/stream.c:926:0 uv__stream_io at /workspace/srcdir/libuv/src/unix/stream.c:1227:0 uv__run_pending at /workspace/srcdir/libuv/src/unix/core.c:824:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:420:0 ijl_process_events at /source/src/jl_uv.c:397:21 process_events at ./libuv.jl:133:0 [inlined] wait at ./task.jl:1235:0 (pc: 15) uv_write at ./stream.jl:1079:0 (pc: 11) unsafe_write at ./stream.jl:1152:0 (pc: 55) write at ./strings/io.jl:237:0 [inlined] print at ./strings/io.jl:239:0 (pc: 5) jfptr_print_129.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 showerror at ./errorshow.jl:164:0 (pc: 2) unknown function (ip: 0x7a53793a1d66) at (unknown file) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 _atexit at ./initdefs.jl:544:0 (pc: 211) jfptr__atexit_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] ijl_atexit_hook at /source/src/init.c:264:17 jl_exit_thread0_cb at /source/src/signals-unix.c:678:5 jl_fake_signal_return at /opt/julia/bin/../lib/julia/libjulia-internal.so.1.14 (unknown line) epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:524:34 wait at ./task.jl:1248:0 (pc: 107) wait_forever at ./task.jl:1170:0 (pc: 4) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4345:23 [inlined] ijl_apply_generic at /source/src/gf.c:4583:12 jl_apply at /source/src/julia.h:2405:12 [inlined] start_task at /source/src/task.c:1276:19 PkgEval terminated after 2731.13s: test duration exceeded the time limit