[INFO] fetching crate oxiz-math 0.1.3...
[INFO] testing oxiz-math-0.1.3 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-1
[INFO] extracting crate oxiz-math 0.1.3 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate oxiz-math 0.1.3
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxiz-math 0.1.3
[INFO] tweaked toml for crates.io crate oxiz-math 0.1.3 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-math 0.1.3 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-math 0.1.3 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4cee086ee33a583271c3133da36584bf34dbeb2b31aa2255d2f04c839f76526b
[INFO] running `Command { std: "docker" "start" "-a" "4cee086ee33a583271c3133da36584bf34dbeb2b31aa2255d2f04c839f76526b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4cee086ee33a583271c3133da36584bf34dbeb2b31aa2255d2f04c839f76526b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4cee086ee33a583271c3133da36584bf34dbeb2b31aa2255d2f04c839f76526b", kill_on_drop: false }`
[INFO] [stdout] 4cee086ee33a583271c3133da36584bf34dbeb2b31aa2255d2f04c839f76526b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b349c4d4bb82559996acee6cb7791a395e51cc641f6f7e1f8fea4d7bc4471758
[INFO] running `Command { std: "docker" "start" "-a" "b349c4d4bb82559996acee6cb7791a395e51cc641f6f7e1f8fea4d7bc4471758", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling oxiz-math v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.41s
[INFO] running `Command { std: "docker" "inspect" "b349c4d4bb82559996acee6cb7791a395e51cc641f6f7e1f8fea4d7bc4471758", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b349c4d4bb82559996acee6cb7791a395e51cc641f6f7e1f8fea4d7bc4471758", kill_on_drop: false }`
[INFO] [stdout] b349c4d4bb82559996acee6cb7791a395e51cc641f6f7e1f8fea4d7bc4471758
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 96fdfa4c8b16f06152ce36625f46432d76ac3b1dc33f40b72c021a39183cdf13
[INFO] running `Command { std: "docker" "start" "-a" "96fdfa4c8b16f06152ce36625f46432d76ac3b1dc33f40b72c021a39183cdf13", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling zmij v1.0.19
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling regex-syntax v0.8.9
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling itoa v1.0.17
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling clap_lex v0.7.7
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling clap_builder v4.5.57
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling zerocopy-derive v0.8.39
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling clap v4.5.57
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.7.0
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling oxiz-math v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 46.29s
[INFO] running `Command { std: "docker" "inspect" "96fdfa4c8b16f06152ce36625f46432d76ac3b1dc33f40b72c021a39183cdf13", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "96fdfa4c8b16f06152ce36625f46432d76ac3b1dc33f40b72c021a39183cdf13", kill_on_drop: false }`
[INFO] [stdout] 96fdfa4c8b16f06152ce36625f46432d76ac3b1dc33f40b72c021a39183cdf13
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ae2984f93c3e720a9916b8da8505154bfd4bdf0d717dec4d1f450c2ecb087a76
[INFO] running `Command { std: "docker" "start" "-a" "ae2984f93c3e720a9916b8da8505154bfd4bdf0d717dec4d1f450c2ecb087a76", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.13s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxiz_math-4257ca37ed410ab4)
[INFO] [stdout] 
[INFO] [stdout] running 441 tests
[INFO] [stdout] test algebraic_number::tests::test_from_rational ... ok
[INFO] [stdout] test algebraic_number::tests::test_manager ... ok
[INFO] [stdout] test algebraic_number::tests::test_isolating_interval ... ok
[INFO] [stdout] test bdd::tests::test_add_addition ... ok
[INFO] [stdout] test algebraic_number::tests::test_negation ... ok
[INFO] [stdout] test bdd::tests::test_add_constant ... ok
[INFO] [stdout] test bdd::tests::test_add_max_min ... ok
[INFO] [stdout] test bdd::tests::test_add_multiplication ... ok
[INFO] [stdout] test bdd::tests::test_add_sharing ... ok
[INFO] [stdout] test bdd::tests::test_add_variable ... ok
[INFO] [stdout] test bdd::tests::test_bdd_constants ... ok
[INFO] [stdout] test bdd::tests::test_bdd_and ... ok
[INFO] [stdout] test bdd::tests::test_add_scale ... ok
[INFO] [stdout] test bdd::tests::test_bdd_implies ... ok
[INFO] [stdout] test bdd::tests::test_bdd_ite ... ok
[INFO] [stdout] test bdd::tests::test_bdd_not ... ok
[INFO] [stdout] test bdd::tests::test_bdd_sharing ... ok
[INFO] [stdout] test bdd::tests::test_bdd_variable ... ok
[INFO] [stdout] test bdd::tests::test_zdd_difference ... ok
[INFO] [stdout] test bdd::tests::test_bdd_xor ... ok
[INFO] [stdout] test bdd::tests::test_zdd_empty_and_base ... ok
[INFO] [stdout] test bdd::tests::test_zdd_intersection ... ok
[INFO] [stdout] test bdd::tests::test_zdd_union ... ok
[INFO] [stdout] test bdd::tests::test_zdd_union_associative ... ok
[INFO] [stdout] test blas::tests::test_dasum ... ok
[INFO] [stdout] test blas::tests::test_daxpy_zero_alpha ... ok
[INFO] [stdout] test blas::tests::test_dcopy ... ok
[INFO] [stdout] test blas::tests::test_daxpy ... ok
[INFO] [stdout] test blas::tests::test_ddot ... ok
[INFO] [stdout] test blas::tests::test_blas_lp_config ... ok
[INFO] [stdout] test blas::tests::test_dgemm_basic ... ok
[INFO] [stdout] test blas::tests::test_dgemm_non_square ... ok
[INFO] [stdout] test blas::tests::test_dgemm_with_alpha_beta ... ok
[INFO] [stdout] test blas::tests::test_dgemm_with_transpose_a ... ok
[INFO] [stdout] test bdd::tests::test_bdd_or ... ok
[INFO] [stdout] test blas::tests::test_ddot_empty ... ok
[INFO] [stdout] test blas::tests::test_dgemm_with_transpose_b ... ok
[INFO] [stdout] test blas::tests::test_dgemv_notrans ... ok
[INFO] [stdout] test blas::tests::test_dgemv_with_beta ... ok
[INFO] [stdout] test blas::tests::test_dgemv_trans ... ok
[INFO] [stdout] test blas::tests::test_dscal ... ok
[INFO] [stdout] test blas::tests::test_dnrm2_large_values ... ok
[INFO] [stdout] test blas::tests::test_dnrm2 ... ok
[INFO] [stdout] test blas::tests::test_dswap ... ok
[INFO] [stdout] test blas::tests::test_dnrm2_small_values ... ok
[INFO] [stdout] test blas::tests::test_dscal_one ... ok
[INFO] [stdout] test blas::tests::test_dtrsv_lower ... ok
[INFO] [stdout] test blas::tests::test_dtrsm_left_lower ... ok
[INFO] [stdout] test blas::tests::test_dtrsv_unit_diagonal ... ok
[INFO] [stdout] test blas::tests::test_dtrsm_with_alpha ... ok
[INFO] [stdout] test blas::tests::test_dtrsv_upper ... ok
[INFO] [stdout] test blas::tests::test_idamax ... ok
[INFO] [stdout] test blas::tests::test_identity_operations ... ok
[INFO] [stdout] test blas_ops::tests::test_config_presets ... ok
[INFO] [stdout] test blas_ops::tests::test_config_thresholds ... ok
[INFO] [stdout] test blas_ops::tests::test_gemm_basic ... ok
[INFO] [stdout] test blas_ops::tests::test_gemm_non_square ... ok
[INFO] [stdout] test blas_ops::tests::test_gemm_with_alpha_beta ... ok
[INFO] [stdout] test blas_ops::tests::test_gemv_basic ... ok
[INFO] [stdout] test blas_ops::tests::test_gemv_with_transpose ... ok
[INFO] [stdout] test blas_ops::tests::test_get_blas_functions ... ok
[INFO] [stdout] test blas_ops::tests::test_identity_multiplication ... ok
[INFO] [stdout] test blas_ops::tests::test_gemm_with_transpose ... ok
[INFO] [stdout] test blas::tests::test_dscal_zero ... ok
[INFO] [stdout] test blas::tests::test_solve_basis_simple ... ok
[INFO] [stdout] test blas::tests::test_idamax_empty ... ok
[INFO] [stdout] test bdd::tests::test_zdd_singleton ... ok
[INFO] [stdout] test blas_ops::tests::test_trsm_left_lower ... ok
[INFO] [stdout] test blas_ops::tests::test_trsv_lower ... ok
[INFO] [stdout] test delta_rational::tests::test_delta_basic ... ok
[INFO] [stdout] test delta_rational::tests::test_delta_add ... ok
[INFO] [stdout] test delta_rational::tests::test_delta_negate ... ok
[INFO] [stdout] test delta_rational::tests::test_delta_sign ... ok
[INFO] [stdout] test delta_rational::tests::test_delta_mul_rational ... ok
[INFO] [stdout] test delta_rational::tests::test_delta_cmp ... ok
[INFO] [stdout] test blas_ops::tests::test_trsv_unit_diagonal ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_gaussian_elimination ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_f5_simple ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_f5_vs_buchberger ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_ideal_membership ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_model_operations ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_labeled_poly ... ok
[INFO] [stdout] test delta_rational::tests::test_delta_zero_cmp ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_monomial_lcm ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_empty ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_f4_simple ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_complex_inequality ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_greater_equal ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_inconsistent ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_grobner_basis_simple ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_less_equal ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_implies_zero ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_trivial_inequality_unsat ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_inconsistent_system ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_linear_system ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_not_equal_constraint ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_polynomial_constraint_creation ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_not_equal_unsat ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_trivial_inequality_sat ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_with_constraint_api ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_polynomial_row_conversion ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_reduce ... ok
[INFO] [stdout] test delta_rational::tests::test_delta_sub ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_simple_equality ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_simplify ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_ideal_membership_multivariate ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_s_polynomial ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_signature_ordering ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_solve_linear ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_reset ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_solve_linear_simple ... ok
[INFO] [stdout] test grobner::buchberger_enhanced::tests::test_buchberger_creation ... ok
[INFO] [stdout] test grobner::buchberger_enhanced::tests::test_critical_pair_ordering ... ok
[INFO] [stdout] test grobner::buchberger_enhanced::tests::test_monomial_degree ... ok
[INFO] [stdout] test grobner::buchberger_enhanced::tests::test_monomial_product ... ok
[INFO] [stdout] test grobner::buchberger_enhanced::tests::test_monomial_quotient ... ok
[INFO] [stdout] test grobner::buchberger_enhanced::tests::test_empty_polynomial ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_nra_solver_inequality_after_simplification ... ok
[INFO] [stdout] test blas_ops::tests::test_trsv_upper ... ok
[INFO] [stdout] test grobner::buchberger_enhanced::tests::test_product_criterion_detection ... ok
[INFO] [stdout] test grobner::f4::tests::test_f4_creation ... ok
[INFO] [stdout] test grobner::syzygy::tests::test_monomial_lcm ... ok
[INFO] [stdout] test grobner::f4::tests::test_critical_pair ... ok
[INFO] [stdout] test grobner::f4::tests::test_lcm_monomial ... ok
[INFO] [stdout] test grobner::f4::tests::test_polynomial_leading ... ok
[INFO] [stdout] test grobner::buchberger_enhanced::tests::test_monomial_divides ... ok
[INFO] [stdout] test grobner::buchberger_enhanced::tests::test_monomial_lcm ... ok
[INFO] [stdout] test grobner::f4::tests::test_gaussian_elimination ... ok
[INFO] [stdout] test grobner::f4::tests::test_polynomial_zero ... ok
[INFO] [stdout] test grobner::f4::tests::test_monomial_order_degrevlex ... ok
[INFO] [stdout] test grobner::f4::tests::test_monomial_order_lex ... ok
[INFO] [stdout] test grobner::f4::tests::test_compute_basis_empty ... ok
[INFO] [stdout] test grobner::syzygy::tests::test_relatively_prime ... ok
[INFO] [stdout] test grobner::syzygy::tests::test_syzygy_computer ... ok
[INFO] [stdout] test grobner::syzygy::tests::test_syzygy_creation ... ok
[INFO] [stdout] test hilbert::tests::test_add_vectors ... ok
[INFO] [stdout] test hilbert::tests::test_cone_contains ... ok
[INFO] [stdout] test hilbert::tests::test_int_cone ... ok
[INFO] [stdout] test hilbert::tests::test_vector_norm ... ok
[INFO] [stdout] test integration_tests::test_delta_rationals_ordering ... ok
[INFO] [stdout] test integration_tests::test_interval_with_polynomial_bounds ... ok
[INFO] [stdout] test integration_tests::test_matrix_operations ... ok
[INFO] [stdout] test integration_tests::test_polynomial_gcd_univariate ... ok
[INFO] [stdout] test grobner::syzygy::tests::test_critical_pair_ordering ... ok
[INFO] [stdout] test interior_point::tests::test_interior_point_solver_creation ... ok
[INFO] [stdout] test integration_tests::test_polynomial_factorization_with_grobner ... ok
[INFO] [stdout] test hilbert::tests::test_gcd ... ok
[INFO] [stdout] test interior_point::tests::test_log_barrier ... ok
[INFO] [stdout] test integration_tests::test_nra_solver_with_algebraic_numbers ... ok
[INFO] [stdout] test integration_tests::test_real_closure_root_isolation_integration ... ok
[INFO] [stdout] test integration_tests::test_grobner_with_root_isolation ... ok
[INFO] [stdout] test interval::tests::test_interval_div_by_zero ... ok
[INFO] [stdout] test hilbert::tests::test_is_multiple ... ok
[INFO] [stdout] test interior_point::tests::test_compute_mu ... ok
[INFO] [stdout] test interior_point::tests::test_log_barrier_infeasible ... ok
[INFO] [stdout] test interior_point::tests::test_step_length ... ok
[INFO] [stdout] test interval::tests::test_interval_add ... ok
[INFO] [stdout] test interval::tests::test_interval_closed ... ok
[INFO] [stdout] test interior_point::tests::test_simple_lp ... ok
[INFO] [stdout] test interval::tests::test_interval_div ... ok
[INFO] [stdout] test interval::tests::test_interval_intersect ... ok
[INFO] [stdout] test interval::tests::test_interval_midpoint ... ok
[INFO] [stdout] test interval::tests::test_interval_mul ... ok
[INFO] [stdout] test interval::tests::test_interval_open ... ok
[INFO] [stdout] test interval::tests::test_interval_point ... ok
[INFO] [stdout] test interval::tests::test_interval_negate ... ok
[INFO] [stdout] test interval::tests::test_interval_pow_even ... ok
[INFO] [stdout] test hilbert::tests::test_is_primitive ... ok
[INFO] [stdout] test interval::tests::test_interval_div_positive ... ok
[INFO] [stdout] test interval::tests::test_interval_hull ... ok
[INFO] [stdout] test interval::tests::test_interval_empty ... ok
[INFO] [stdout] test interval::tests::test_interval_is_subset_of ... ok
[INFO] [stdout] test interval::tests::test_interval_mul_mixed_signs ... ok
[INFO] [stdout] test blas::tests::test_large_matrix_blocked ... ok
[INFO] [stdout] test interval::tests::test_interval_propagate_add ... ok
[INFO] [stdout] test interval::tests::test_interval_overlaps ... ok
[INFO] [stdout] test interval::tests::test_interval_pow_odd ... ok
[INFO] [stdout] test hilbert::tests::test_hilbert_basis_simple ... ok
[INFO] [stdout] test interval::tests::test_interval_propagate_sub ... ok
[INFO] [stdout] test interval::tests::test_interval_sign ... ok
[INFO] [stdout] test interval::tests::test_interval_propagate_mul ... ok
[INFO] [stdout] test interval::tests::test_interval_tighten_upper ... ok
[INFO] [stdout] test interval::tests::test_interval_tighten_lower ... ok
[INFO] [stdout] test interval::tests::test_interval_unbounded ... ok
[INFO] [stdout] test interval::tests::test_interval_widen ... ok
[INFO] [stdout] test lp::basis_update::tests::test_basis_creation ... ok
[INFO] [stdout] test lp::basis_update::tests::test_stability_check ... ok
[INFO] [stdout] test lp::basis_update::tests::test_updater_creation ... ok
[INFO] [stdout] test lp::branch_cut::tests::test_branch_cut_creation ... ok
[INFO] [stdout] test lp::branch_cut::tests::test_is_integer_feasible ... ok
[INFO] [stdout] test lp::basis_update::tests::test_eta_matrices ... ok
[INFO] [stdout] test lp::basis_update::tests::test_pivot ... ok
[INFO] [stdout] test lp::basis_update::tests::test_refactorization ... ok
[INFO] [stdout] test lp::cutting_planes_extended::tests::test_generatorerator_creation ... ok
[INFO] [stdout] test lp::cutting_planes_extended::tests::test_stats ... ok
[INFO] [stdout] test lp::dual_simplex::tests::test_is_dual_feasible ... ok
[INFO] [stdout] test lp::farkas::tests::test_certificate_creation ... ok
[INFO] [stdout] test lp::farkas::tests::test_generate_from_core ... ok
[INFO] [stdout] test lp::cutting_planes::tests::test_fractional_part ... ok
[INFO] [stdout] test lp::farkas::tests::test_generator_creation ... ok
[INFO] [stdout] test lp::farkas::tests::test_stats ... ok
[INFO] [stdout] test lp::cutting_planes_extended::tests::test_generatorerate_mig_cut ... ok
[INFO] [stdout] test lp::cutting_planes::tests::test_cutting_plane_generator ... ok
[INFO] [stdout] test lp_core::tests::test_constraint_creation ... ok
[INFO] [stdout] test lp::dual_simplex::tests::test_dual_simplex_creation ... ok
[INFO] [stdout] test lp::cutting_planes_extended::tests::test_add_vars ... ok
[INFO] [stdout] test lp_core::tests::test_lp_config_default ... ok
[INFO] [stdout] test lp_core::tests::test_lp_stats ... ok
[INFO] [stdout] test matrix::tests::test_determinant ... ok
[INFO] [stdout] test matrix::tests::test_determinant_3x3 ... ok
[INFO] [stdout] test matrix::tests::test_gaussian_elimination ... ok
[INFO] [stdout] test lp_core::tests::test_variable_types ... ok
[INFO] [stdout] test lp_core::tests::test_solver_reset ... ok
[INFO] [stdout] test matrix::tests::test_cholesky_decomposition_3x3 ... ok
[INFO] [stdout] test matrix::tests::test_lu_decomposition ... ok
[INFO] [stdout] test lp_core::tests::test_lp_infeasible ... ok
[INFO] [stdout] test lp_core::tests::test_mip_simple ... ok
[INFO] [stdout] test matrix::tests::test_cholesky_decomposition_identity ... ok
[INFO] [stdout] test matrix::tests::test_cholesky_decomposition_not_positive_definite ... ok
[INFO] [stdout] test matrix::tests::test_cholesky_decomposition_not_symmetric ... ok
[INFO] [stdout] test matrix::tests::test_cholesky_decomposition_simple ... ok
[INFO] [stdout] test matrix::tests::test_is_identity ... ok
[INFO] [stdout] test lp_core::tests::test_lp_simple ... ok
[INFO] [stdout] test matrix::tests::test_matrix_inverse_identity ... ok
[INFO] [stdout] test matrix::tests::test_matrix_inverse_non_square ... ok
[INFO] [stdout] test matrix::tests::test_matrix_swap_rows ... ok
[INFO] [stdout] test matrix::tests::test_matrix_transpose ... ok
[INFO] [stdout] test matrix::tests::test_matrix_from_rows ... ok
[INFO] [stdout] test matrix::tests::test_matrix_zeros ... ok
[INFO] [stdout] test matrix::tests::test_matrix_identity ... ok
[INFO] [stdout] test matrix::tests::test_matrix_inverse_3x3 ... ok
[INFO] [stdout] test matrix::tests::test_matrix_inverse_singular ... ok
[INFO] [stdout] test matrix::tests::test_matrix_mul ... ok
[INFO] [stdout] test matrix::tests::test_matrix_inverse_2x2 ... ok
[INFO] [stdout] test matrix::tests::test_matrix_mul_vec ... ok
[INFO] [stdout] test matrix::tests::test_qr_decomposition_3x2 ... ok
[INFO] [stdout] test lp::basis_update::tests::test_stats ... ok
[INFO] [stdout] test matrix::tests::test_qr_decomposition_simple ... ok
[INFO] [stdout] test matrix::tests::test_rational_sqrt_not_perfect_squares ... ok
[INFO] [stdout] test matrix::tests::test_rational_sqrt_perfect_squares ... ok
[INFO] [stdout] test matrix::tests::test_solve_linear_system ... ok
[INFO] [stdout] test matrix::tests::test_sparse_mul ... ok
[INFO] [stdout] test matrix::tests::test_sparse_to_dense ... ok
[INFO] [stdout] test matrix::tests::test_sparse_mul_vec ... ok
[INFO] [stdout] test matrix::tests::test_sparse_from_dense ... ok
[INFO] [stdout] test matrix::tests::test_sparse_matrix_identity ... ok
[INFO] [stdout] test mpfr::tests::test_abs ... ok
[INFO] [stdout] test mpfr::tests::test_addition ... ok
[INFO] [stdout] test matrix::tests::test_sparse_transpose ... ok
[INFO] [stdout] test mpfr::tests::test_comparison_with_nan ... ok
[INFO] [stdout] test mpfr::tests::test_context ... ok
[INFO] [stdout] test lp_core::tests::test_binary_variable ... ok
[INFO] [stdout] test mpfr::tests::test_comparison ... ok
[INFO] [stdout] test mpfr::tests::test_display ... ok
[INFO] [stdout] test mpfr::tests::test_from_f64_special_values ... ok
[INFO] [stdout] test mpfr::tests::test_from_str ... ok
[INFO] [stdout] test mpfr::tests::test_infinity_operations ... ok
[INFO] [stdout] test mpfr::tests::test_from_f64_basic ... ok
[INFO] [stdout] test mpfr::tests::test_negation ... ok
[INFO] [stdout] test mpfr::tests::test_multiplication ... ok
[INFO] [stdout] test mpfr::tests::test_operator_overloads ... ok
[INFO] [stdout] test matrix::tests::test_matrix_add_row_multiple ... ok
[INFO] [stdout] test mpfr::tests::test_precision_constants ... ok
[INFO] [stdout] test mpfr::tests::test_division ... ok
[INFO] [stdout] test mpfr::tests::test_sqrt ... ok
[INFO] [stdout] test mpfr::tests::test_subtraction ... ok
[INFO] [stdout] test mpfr::tests::test_sqrt_2 ... ok
[INFO] [stdout] test polynomial::factorization::tests::test_derivative ... ok
[INFO] [stdout] test mpfr::tests::test_zero_operations ... ok
[INFO] [stdout] test polynomial::factorization::tests::test_evaluate ... ok
[INFO] [stdout] test mpfr::tests::test_high_precision ... ok
[INFO] [stdout] test polynomial::gcd::tests::test_gcd_multiple ... ok
[INFO] [stdout] test polynomial::gcd::tests::test_gcd_zero ... ok
[INFO] [stdout] test polynomial::gcd_advanced::tests::test_gcd_computer_creation ... ok
[INFO] [stdout] test polynomial::gcd::tests::test_lcm ... ok
[INFO] [stdout] test polynomial::gcd_advanced::tests::test_gcd_int ... ok
[INFO] [stdout] test polynomial::gcd_advanced::tests::test_content ... ok
[INFO] [stdout] test polynomial::gcd_multivariate::tests::test_engine_creation ... ok
[INFO] [stdout] test polynomial::gcd::tests::test_gcd_config ... ok
[INFO] [stdout] test polynomial::gcd::tests::test_gcd_constants ... ok
[INFO] [stdout] test polynomial::gcd_multivariate::tests::test_gcd_constants ... ok
[INFO] [stdout] test polynomial::factorization::tests::test_polynomial_factorizer ... ok
[INFO] [stdout] test polynomial::gcd_multivariate::tests::test_normalize_gcd ... ok
[INFO] [stdout] test polynomial::gcd_multivariate::tests::test_var_selection_max_degree ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_gcd_computer_creation ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_mod_inverse ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_is_sparse ... ok
[INFO] [stdout] test polynomial::gcd::tests::test_gcd_creation ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_make_monic ... ok
[INFO] [stdout] test polynomial::gcd_multivariate::tests::test_extract_coefficients ... ok
[INFO] [stdout] test polynomial::interpolation::tests::test_duplicate_x_error ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_polynomial_degree ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_rational_mod ... ok
[INFO] [stdout] test polynomial::interpolation::tests::test_lagrange_linear ... ok
[INFO] [stdout] test polynomial::interpolation::tests::test_point_creation ... ok
[INFO] [stdout] test polynomial::gcd_multivariate::tests::test_gcd_univariate ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_extended_gcd ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_univariate_gcd_simple ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_poly_rem ... ok
[INFO] [stdout] test polynomial::interpolation::tests::test_lagrange_quadratic ... ok
[INFO] [stdout] test polynomial::resultant::tests::test_discriminant_linear ... ok
[INFO] [stdout] test polynomial::root_counting::tests::test_descartes_rule ... ok
[INFO] [stdout] test polynomial::root_counting::tests::test_polynomial_derivative ... ok
[INFO] [stdout] test polynomial::root_isolation::tests::test_sturm_sequence ... ok
[INFO] [stdout] test polynomial::interpolation::tests::test_stats ... ok
[INFO] [stdout] test polynomial::resultant::tests::test_computer_creation ... ok
[INFO] [stdout] test polynomial::resultant::tests::test_constant_resultant ... ok
[INFO] [stdout] test polynomial::resultant::tests::test_have_common_root ... ok
[INFO] [stdout] test polynomial::resultant::tests::test_stats ... ok
[INFO] [stdout] test polynomial::root_counting::tests::test_counter_creation ... ok
[INFO] [stdout] test polynomial::root_counting::tests::test_polynomial_eval ... ok
[INFO] [stdout] test polynomial::root_counting::tests::test_stats ... ok
[INFO] [stdout] test polynomial::root_isolation::tests::test_root_isolator ... ok
[INFO] [stdout] test polynomial::root_counting::tests::test_polynomial_creation ... ok
[INFO] [stdout] test polynomial::interpolation::tests::test_newton_linear ... ok
[INFO] [stdout] test polynomial::gcd_multivariate_advanced::tests::test_zero_polynomial_gcd ... ok
[INFO] [stdout] test polynomial::sparse_ops::tests::test_estimate_memory ... ok
[INFO] [stdout] test polynomial::sparse_ops::tests::test_power_rational ... ok
[INFO] [stdout] test polynomial::sparse_ops::tests::test_sparse_eval ... ok
[INFO] [stdout] test polynomial::sparse_ops::tests::test_estimate_savings ... ok
[INFO] [stdout] test polynomial::sparse_ops::tests::test_sparse_add ... ok
[INFO] [stdout] test polynomial::sparse_ops::tests::test_sparse_mul ... ok
[INFO] [stdout] test polynomial::sparse_ops::tests::test_sparse_ops_creation ... ok
[INFO] [stdout] test polynomial::symbolic_differentiation::tests::test_factorial ... ok
[INFO] [stdout] test polynomial::sparse_ops::tests::test_is_sparse ... ok
[INFO] [stdout] test polynomial::symbolic_differentiation::tests::test_gradient ... ok
[INFO] [stdout] test polynomial::symbolic_differentiation::tests::test_derivative_constant ... ok
[INFO] [stdout] test polynomial::symbolic_differentiation::tests::test_stats ... ok
[INFO] [stdout] test polynomial::symbolic_differentiation::tests::test_derivative_linear ... ok
[INFO] [stdout] test polynomial::symbolic_differentiation::tests::test_nth_derivative ... ok
[INFO] [stdout] test rational::tests::test_approx_eq ... ok
[INFO] [stdout] test polynomial::symbolic_differentiation::tests::test_derivative_quadratic ... ok
[INFO] [stdout] test polynomial::symbolic_differentiation::tests::test_symbolic_differentiator ... ok
[INFO] [stdout] test rational::tests::test_binomial ... ok
[INFO] [stdout] test rational::tests::test_carmichael_lambda ... ok
[INFO] [stdout] test rational::tests::test_ceil ... ok
[INFO] [stdout] test rational::tests::test_chinese_remainder ... ok
[INFO] [stdout] test rational::tests::test_clamp ... ok
[INFO] [stdout] test rational::tests::test_best_rational_approximation ... ok
[INFO] [stdout] test rational::tests::test_continued_fraction ... ok
[INFO] [stdout] test rational::tests::test_continued_fraction_roundtrip ... ok
[INFO] [stdout] test rational::tests::test_convergents ... ok
[INFO] [stdout] test rational::tests::test_euler_totient ... ok
[INFO] [stdout] test rational::tests::test_gcd_binary ... ok
[INFO] [stdout] test rational::tests::test_from_continued_fraction ... ok
[INFO] [stdout] test rational::tests::test_jacobi_symbol ... ok
[INFO] [stdout] test rational::tests::test_lcm ... ok
[INFO] [stdout] test rational::tests::test_factorial ... ok
[INFO] [stdout] test rational::tests::test_mediant ... ok
[INFO] [stdout] test rational::tests::test_floor ... ok
[INFO] [stdout] test rational::tests::test_is_square_free ... ok
[INFO] [stdout] test rational::tests::test_gcd ... ok
[INFO] [stdout] test rational::tests::test_is_prime ... ok
[INFO] [stdout] test rational::tests::test_divisor_count ... ok
[INFO] [stdout] test rational::tests::test_divisor_sum ... ok
[INFO] [stdout] test rational::tests::test_frac ... ok
[INFO] [stdout] test rational::tests::test_gcd_extended ... ok
[INFO] [stdout] test rational::tests::test_is_perfect_power ... ok
[INFO] [stdout] test rational::tests::test_legendre_symbol ... ok
[INFO] [stdout] test rational::tests::test_mod_inverse_fermat ... ok
[INFO] [stdout] test rational::tests::test_min_max ... ok
[INFO] [stdout] test rational::tests::test_mod_pow ... ok
[INFO] [stdout] test rational::tests::test_solve_linear_diophantine ... ok
[INFO] [stdout] test rational::tests::test_pow ... ok
[INFO] [stdout] test rational::tests::test_tonelli_shanks ... ok
[INFO] [stdout] test rational_function::tests::test_rational_function_addition ... ok
[INFO] [stdout] test rational_function::tests::test_rational_function_creation ... ok
[INFO] [stdout] test rational_function::tests::test_rational_function_is_constant ... ok
[INFO] [stdout] test rational_function::tests::test_rational_function_division ... ok
[INFO] [stdout] test rational::tests::test_mobius ... ok
[INFO] [stdout] test rational::tests::test_mod_inverse ... ok
[INFO] [stdout] test rational::tests::test_round ... ok
[INFO] [stdout] test rational_function::tests::test_rational_function_reduction ... ok
[INFO] [stdout] test rational_function::tests::test_rational_function_negation ... ok
[INFO] [stdout] test rational_function::tests::test_rational_function_multiplication ... ok
[INFO] [stdout] test rational_function::tests::test_rational_function_derivative ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_cmp_rational ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_add_algebraic ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_div_rational ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_from_rational ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_cmp ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_approximate_with_precision ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_inverse ... ok
[INFO] [stdout] test rational::tests::test_pollard_rho ... ok
[INFO] [stdout] test rational::tests::test_sign ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_mul_rational ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_sign ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_pow ... ok
[INFO] [stdout] test rational::tests::test_trial_division ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_mul_by_rational ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_negate ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_add_mixed ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_mul_algebraic ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_add_rational ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_refine ... ok
[INFO] [stdout] test realclosure_advanced::tests::test_algebraic_from_rational ... ok
[INFO] [stdout] test realclosure_advanced::tests::test_compare ... ok
[INFO] [stdout] test simd::matrix_simd::tests::test_determinant ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_sub_rational ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_mul_irrational ... ok
[INFO] [stdout] test simd::matrix_simd::tests::test_lu_decomposition ... ok
[INFO] [stdout] test simd::matrix_simd::tests::test_matrix_mul ... ok
[INFO] [stdout] test realclosure_advanced::tests::test_sign_determination ... ok
[INFO] [stdout] test simd::matrix_simd::tests::test_matrix_vec_mul ... ok
[INFO] [stdout] test realclosure_advanced::tests::test_thom_encoding ... ok
[INFO] [stdout] test simd::matrix_simd::tests::test_transpose ... ok
[INFO] [stdout] test realclosure_advanced::tests::test_engine_creation ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_add_irrational ... ok
[INFO] [stdout] test realclosure_advanced::tests::test_refine_interval ... ok
[INFO] [stdout] test simd::polynomial_simd::tests::test_simd_poly_mul ... ok
[INFO] [stdout] test simd::simplex_simd::tests::test_simplex_basic ... ok
[INFO] [stdout] test simd::vector_ops::tests::test_simd_matrix_vec_mul ... ok
[INFO] [stdout] test simd::simplex_simd::tests::test_tableau_creation ... ok
[INFO] [stdout] test simd::polynomial_simd::tests::test_simd_poly_add ... ok
[INFO] [stdout] test simd::polynomial_simd::tests::test_simd_poly_compose ... ok
[INFO] [stdout] test simd::vector_ops::tests::test_simd_dot_product ... ok
[INFO] [stdout] test simd::polynomial_simd::tests::test_simd_poly_derivative ... ok
[INFO] [stdout] test simd::polynomial_simd::tests::test_poly_evaluator ... ok
[INFO] [stdout] test simd::simplex_simd::tests::test_simplex_unbounded ... ok
[INFO] [stdout] test simd::vector_ops::tests::test_simd_max ... ok
[INFO] [stdout] test simd::vector_ops::tests::test_simd_min ... ok
[INFO] [stdout] test simd::vector_ops::tests::test_simd_norm_squared ... ok
[INFO] [stdout] test simd::vector_ops::tests::test_simd_reduce ... ok
[INFO] [stdout] test simd::vector_ops::tests::test_simd_vec_add ... ok
[INFO] [stdout] test simd::vector_ops::tests::test_simd_sum ... ok
[INFO] [stdout] test simplex::tests::test_simplex_dual ... ok
[INFO] [stdout] test simplex::tests::test_simplex_infeasible ... ok
[INFO] [stdout] test simplex::tests::test_row_add ... ok
[INFO] [stdout] test simplex::tests::test_simplex_pivot ... ok
[INFO] [stdout] test simplex::tests::test_row_eval ... ok
[INFO] [stdout] test simplex::tests::test_simplex_dual_with_bounds ... ok
[INFO] [stdout] test simd::polynomial_simd::tests::test_simd_poly_eval ... ok
[INFO] [stdout] test simplex_parametric::tests::test_parametric_creation ... ok
[INFO] [stdout] test simplex::tests::test_simplex_basic ... ok
[INFO] [stdout] test simd::polynomial_simd::tests::test_simd_poly_scale ... ok
[INFO] [stdout] test simplex_parametric::tests::test_set_parametric_coeff ... ok
[INFO] [stdout] test realclosure::tests::test_algebraic_sqrt ... ok
[INFO] [stdout] test lp::farkas::tests::test_negative_multiplier_panics - should panic ... ok
[INFO] [stdout] test rational_function::tests::test_rational_function_zero_denominator - should panic ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_f4_vs_buchberger ... ok
[INFO] [stdout] test grobner::buchberger::tests::test_f5_vs_f4 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 441 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.46s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/edge_cases.rs (/opt/rustwide/target/debug/deps/edge_cases-9655a2b243e57e73)
[INFO] [stdout] 
[INFO] [stdout] running 34 tests
[INFO] [stdout] test delta_rational_edge_cases::test_delta_rational_zero ... ok
[INFO] [stdout] test delta_rational_edge_cases::test_delta_rational_addition_identity ... ok
[INFO] [stdout] test delta_rational_edge_cases::test_delta_rational_negative ... ok
[INFO] [stdout] test interval_edge_cases::test_empty_interval_intersection ... ok
[INFO] [stdout] test interval_edge_cases::test_interval_addition_with_zero ... ok
[INFO] [stdout] test interval_edge_cases::test_interval_contains_bounds ... ok
[INFO] [stdout] test interval_edge_cases::test_interval_negative_bounds ... ok
[INFO] [stdout] test interval_edge_cases::test_interval_multiplication_by_zero ... ok
[INFO] [stdout] test interval_edge_cases::test_point_interval ... ok
[INFO] [stdout] test matrix_edge_cases::test_matrix_all_zeros ... ok
[INFO] [stdout] test matrix_edge_cases::test_matrix_identity_2x2 ... ok
[INFO] [stdout] test matrix_edge_cases::test_matrix_1x1 ... ok
[INFO] [stdout] test polynomial_edge_cases::test_constant_polynomial_operations ... ok
[INFO] [stdout] test polynomial_edge_cases::test_multivariate_polynomial_single_variable ... ok
[INFO] [stdout] test polynomial_edge_cases::test_polynomial_eval_at_zero ... ok
[INFO] [stdout] test polynomial_edge_cases::test_polynomial_gcd_with_zero ... ok
[INFO] [stdout] test polynomial_edge_cases::test_polynomial_high_degree ... ok
[INFO] [stdout] test polynomial_edge_cases::test_polynomial_multiplication_by_one ... ok
[INFO] [stdout] test polynomial_edge_cases::test_zero_polynomial_operations ... ok
[INFO] [stdout] test rational_edge_cases::test_binomial_edge_cases ... ok
[INFO] [stdout] test rational_edge_cases::test_divisor_count_one ... ok
[INFO] [stdout] test rational_edge_cases::test_euler_totient_one ... ok
[INFO] [stdout] test rational_edge_cases::test_factorial_zero_and_one ... ok
[INFO] [stdout] test rational_edge_cases::test_gcd_extended_zero ... ok
[INFO] [stdout] test rational_edge_cases::test_divisor_sum_one ... ok
[INFO] [stdout] test rational_edge_cases::test_floor_ceil_integers ... ok
[INFO] [stdout] test rational_edge_cases::test_gcd_with_one ... ok
[INFO] [stdout] test rational_edge_cases::test_gcd_with_zero ... ok
[INFO] [stdout] test rational_edge_cases::test_is_prime_small_numbers ... ok
[INFO] [stdout] test rational_edge_cases::test_mobius_one ... ok
[INFO] [stdout] test simplex_edge_cases::test_empty_tableau ... ok
[INFO] [stdout] test simplex_edge_cases::test_row_with_zero_coefficients ... ok
[INFO] [stdout] test simplex_edge_cases::test_single_variable ... ok
[INFO] [stdout] test rational_edge_cases::test_floor_ceil_negative ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 34 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stderr]      Running tests/property_based.rs (/opt/rustwide/target/debug/deps/property_based-06ff823dbdf091b2)
[INFO] [stdout] test delta_rational_properties::delta_rational_ordering ... ok
[INFO] [stdout] test number_theory_properties::divisor_count_positive ... ok
[INFO] [stdout] test polynomial_properties::polynomial_derivative_constant ... ok
[INFO] [stdout] test polynomial_properties::polynomial_derivative_linear ... ok
[INFO] [stdout] test polynomial_properties::polynomial_eval_linear ... ok
[INFO] [stdout] test interval_properties::intersection_commutative ... ok
[INFO] [stdout] test delta_rational_properties::delta_rational_positive_delta ... ok
[INFO] [stdout] test interval_properties::interval_contains_bounds ... ok
[INFO] [stdout] test rational_properties::abs_non_negative ... ok
[INFO] [stdout] test number_theory_properties::factorial_monotonic ... ok
[INFO] [stdout] test number_theory_properties::mobius_bounded ... ok
[INFO] [stdout] test number_theory_properties::binomial_symmetry ... ok
[INFO] [stdout] test rational_properties::gcd_commutative ... ok
[INFO] [stdout] test polynomial_properties::polynomial_add_associative ... ok
[INFO] [stdout] test polynomial_properties::polynomial_zero_identity ... ok
[INFO] [stdout] test delta_rational_properties::delta_rational_add_commutative ... ok
[INFO] [stdout] test rational_properties::gcd_associative ... ok
[INFO] [stdout] test polynomial_properties::polynomial_add_commutative ... ok
[INFO] [stdout] test rational_properties::gcd_extended_property ... ok
[INFO] [stdout] test interval_properties::interval_add_contains_sum ... ok
[INFO] [stdout] test rational_properties::gcd_binary_equals_euclidean ... ok
[INFO] [stdout] test number_theory_properties::euler_totient_prime ... ok
[INFO] [stdout] test rational_properties::abs_idempotent ... ok
[INFO] [stdout] test rational_properties::floor_ceil_consistency ... ok
[INFO] [stderr]      Running tests/property_based_extended.rs (/opt/rustwide/target/debug/deps/property_based_extended-eb4818c1b380fb16)
[INFO] [stdout] test polynomial_properties::polynomial_mul_commutative ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 37 tests
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_derivative_properties::poly_deriv_x_squared ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_derivative_properties::poly_deriv_x_is_one ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_evaluation_properties::constant_poly_eval ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_gcd_properties::poly_gcd_with_self ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_arithmetic_properties::poly_add_commutative ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_arithmetic_properties::poly_add_zero_identity ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_gcd_properties::poly_gcd_with_zero ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_derivative_properties::poly_deriv_additive ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_evaluation_properties::zero_poly_eval_zero ... ok
[INFO] [stdout] test property_tests::polynomial_extended::multivariate_polynomial_properties::mv_poly_add_commutative ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_derivative_properties::poly_deriv_constant_is_zero ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_derivative_properties::poly_deriv_cx_is_c ... ok
[INFO] [stdout] test property_tests::root_properties::polynomial_basic_properties::polynomial_add_commutative ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_derivative_properties::poly_deriv_power_rule ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_gcd_properties::poly_gcd_univariate_symmetric ... ok
[INFO] [stdout] test property_tests::root_properties::polynomial_derivative_properties::derivative_constant_is_zero ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_evaluation_properties::poly_eval_at_point ... ok
[INFO] [stdout] test property_tests::root_properties::polynomial_basic_properties::zero_polynomial_evaluation ... ok
[INFO] [stdout] test property_tests::root_properties::polynomial_basic_properties::polynomial_evaluation ... ok
[INFO] [stdout] test property_tests::polynomial_extended::multivariate_polynomial_properties::mv_poly_evaluation ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_arithmetic_properties::poly_add_associative ... ok
[INFO] [stdout] test property_tests::root_properties::polynomial_derivative_properties::derivative_linear_is_constant ... ok
[INFO] [stdout] test property_tests::root_properties::polynomial_gcd_properties::gcd_with_zero ... ok
[INFO] [stdout] test property_tests::root_properties::polynomial_basic_properties::polynomial_mul_commutative ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_arithmetic_properties::poly_mul_commutative ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_arithmetic_properties::poly_mul_associative ... ok
[INFO] [stdout] test property_tests::root_properties::polynomial_gcd_properties::gcd_univariate_symmetric ... ok
[INFO] [stdout] test property_tests::simplex_properties::simplex_optimality_properties::simplex_solution_satisfies_constraints ... ok
[INFO] [stdout] test property_tests::simplex_properties::simplex_basic_properties::simplex_zero_objective ... ok
[INFO] [stdout] test property_tests::simplex_properties::simplex_optimality_properties::simplex_maximize_positive_gives_positive ... ok
[INFO] [stdout] test property_tests::simplex_properties::simplex_duality_properties::simplex_strong_duality_simple ... ok
[INFO] [stdout] test property_tests::polynomial_extended::polynomial_square_free_properties::square_free_works ... ok
[INFO] [stdout] test property_tests::simplex_properties::simplex_sensitivity_properties::simplex_rhs_sensitivity ... ok
[INFO] [stdout] test property_tests::root_properties::polynomial_square_free_properties::square_free_works ... ok
[INFO] [stdout] test property_tests::simplex_properties::simplex_optimality_properties::simplex_min_equals_max_negative ... ok
[INFO] [stdout] test property_tests::simplex_properties::simplex_sensitivity_properties::simplex_obj_coeff_sensitivity ... ok
[INFO] [stdout] test property_tests::simplex_properties::simplex_basic_properties::simplex_single_var_feasible ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 37 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests oxiz_math
[INFO] [stdout] 
[INFO] [stdout] running 68 tests
[INFO] [stdout] test src/blas.rs - blas::daxpy (line 257) ... ok
[INFO] [stdout] test src/blas.rs - blas::dcopy (line 298) ... ok
[INFO] [stdout] test src/lib.rs - (line 69) ... ok
[INFO] [stdout] test src/blas.rs - blas::dswap (line 321) ... ok
[INFO] [stdout] test src/mpfr.rs - mpfr (line 17) ... ok
[INFO] [stdout] test src/blas.rs - blas::dnrm2 (line 154) ... ok
[INFO] [stdout] test src/blas.rs - blas::dgemv (line 422) ... ok
[INFO] [stdout] test src/mpfr.rs - mpfr::ArbitraryFloat::to_f64 (line 309) ... ok
[INFO] [stdout] test src/mpfr.rs - mpfr::ArbitraryFloat::from_f64 (line 248) ... ok
[INFO] [stdout] test src/blas.rs - blas::idamax (line 341) ... ok
[INFO] [stdout] test src/blas_ops.rs - blas_ops (line 13) ... ok
[INFO] [stdout] test src/blas.rs - blas::dasum (line 371) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::find_critical_points (line 364) ... ok
[INFO] [stdout] test src/mpfr.rs - mpfr::Precision::new (line 64) ... ok
[INFO] [stdout] test src/lib.rs - (line 51) ... ok
[INFO] [stdout] test src/blas.rs - blas (line 28) ... ok
[INFO] [stdout] test src/polynomial/advanced_ops.rs - polynomial::advanced_ops::super::Polynomial::secant (line 306) ... ok
[INFO] [stdout] test src/polynomial/advanced_ops.rs - polynomial::advanced_ops::super::Polynomial::bisection (line 197) ... ok
[INFO] [stdout] test src/polynomial/advanced_ops.rs - polynomial::advanced_ops::super::Polynomial::taylor_expansion (line 89) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::gradient (line 104) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::hessian (line 150) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::jacobian (line 202) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::integrate (line 244) ... ok
[INFO] [stdout] test src/rational.rs - rational::best_rational_approximation (line 428) ... ok
[INFO] [stdout] test src/rational.rs - rational::continued_fraction (line 316) ... ok
[INFO] [stdout] test src/rational.rs - rational::convergents (line 380) ... ok
[INFO] [stdout] test src/rational.rs - rational::carmichael_lambda (line 1146) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::nth_derivative (line 57) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::newton_raphson (line 1225) ... ok
[INFO] [stdout] test src/polynomial/advanced_ops.rs - polynomial::advanced_ops::super::Polynomial::refine_roots (line 31) ... ok
[INFO] [stdout] test src/rational.rs - rational::divisor_count (line 991) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::definite_integral (line 318) ... ok
[INFO] [stdout] test src/rational.rs - rational::divisor_sum (line 1043) ... ok
[INFO] [stdout] test src/rational.rs - rational::binomial (line 1356) ... ok
[INFO] [stdout] test src/blas.rs - blas::dscal (line 213) ... ok
[INFO] [stdout] test src/rational.rs - rational::factorial (line 1333) ... ok
[INFO] [stdout] test src/blas.rs - blas::dgemm (line 614) ... ok
[INFO] [stdout] test src/rational.rs - rational::euler_totient (line 854) ... ok
[INFO] [stdout] test src/rational.rs - rational::chinese_remainder (line 521) ... ok
[INFO] [stdout] test src/rational.rs - rational::gcd_binary (line 1198) ... ok
[INFO] [stdout] test src/blas.rs - blas::ddot (line 107) ... ok
[INFO] [stdout] test src/lib.rs - (line 81) ... ok
[INFO] [stdout] test src/lib.rs - (line 36) ... ok
[INFO] [stdout] test src/rational.rs - rational::gcd_extended (line 128) ... ok
[INFO] [stdout] test src/rational.rs - rational::jacobi_symbol (line 787) ... ok
[INFO] [stdout] test src/polynomial/advanced_ops.rs - polynomial::advanced_ops::super::Polynomial::maclaurin_expansion (line 162) ... ok
[INFO] [stdout] test src/rational.rs - rational::is_prime (line 606) ... ok
[INFO] [stdout] test src/rational.rs - rational::is_square_free (line 959) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::trapezoidal_rule (line 398) ... ok
[INFO] [stdout] test src/rational.rs - rational::mobius (line 1109) ... ok
[INFO] [stdout] test src/rational.rs - rational::from_continued_fraction (line 344) ... ok
[INFO] [stdout] test src/rational.rs - rational::is_perfect_power (line 909) ... ok
[INFO] [stdout] test src/rational.rs - rational::mod_inverse (line 493) ... ok
[INFO] [stdout] test src/rational.rs - rational::mod_pow (line 457) ... ok
[INFO] [stdout] test src/rational.rs - rational::legendre_symbol (line 833) ... ok
[INFO] [stdout] test src/rational.rs - rational::solve_linear_diophantine (line 574) ... ok
[INFO] [stdout] test src/rational_function.rs - rational_function::RationalFunction::derivative (line 192) ... ok
[INFO] [stdout] test src/rational.rs - rational::trial_division (line 678) ... ok
[INFO] [stdout] test src/rational.rs - rational::tonelli_shanks (line 1257) ... ok
[INFO] [stdout] test src/rational.rs - rational::pollard_rho (line 726) ... ok
[INFO] [stdout] test src/rational_function.rs - rational_function::RationalFunction::from_constant (line 83) ... ok
[INFO] [stdout] test src/rational_function.rs - rational_function::RationalFunction::partial_fraction_decomposition (line 308) ... ok
[INFO] [stdout] test src/rational_function.rs - rational_function::RationalFunction::new (line 42) ... ok
[INFO] [stdout] test src/rational_function.rs - rational_function::RationalFunction::from_polynomial (line 65) ... ok
[INFO] [stdout] test src/rational_function.rs - rational_function::RationalFunction::eval (line 156) ... ok
[INFO] [stdout] test src/rational_function.rs - rational_function::RationalFunction::is_proper (line 223) ... ok
[INFO] [stdout] test src/rational_function.rs - rational_function::RationalFunction::polynomial_division (line 253) ... ok
[INFO] [stdout] test src/polynomial/extended_ops.rs - polynomial::extended_ops::super::Polynomial::simpsons_rule (line 461) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 68 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 1.23s; merged doctests compilation took 1.16s
[INFO] running `Command { std: "docker" "inspect" "ae2984f93c3e720a9916b8da8505154bfd4bdf0d717dec4d1f450c2ecb087a76", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ae2984f93c3e720a9916b8da8505154bfd4bdf0d717dec4d1f450c2ecb087a76", kill_on_drop: false }`
[INFO] [stdout] ae2984f93c3e720a9916b8da8505154bfd4bdf0d717dec4d1f450c2ecb087a76