[INFO] fetching crate oxiz-nlsat 0.1.3... [INFO] testing oxiz-nlsat-0.1.3 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1 [INFO] extracting crate oxiz-nlsat 0.1.3 into /workspace/builds/worker-4-tc1/source [INFO] started tweaking crates.io crate oxiz-nlsat 0.1.3 [INFO] removed 0 missing examples [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate oxiz-nlsat 0.1.3 [INFO] tweaked toml for crates.io crate oxiz-nlsat 0.1.3 written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate oxiz-nlsat 0.1.3 on toolchain 562dee4820c458d823175268e41601d4c060588a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate oxiz-nlsat 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded rhai_codegen v3.1.0 [INFO] [stderr] Downloaded no-std-compat v0.4.1 [INFO] [stderr] Downloaded safe_arch v1.0.0 [INFO] [stderr] Downloaded smartstring v1.0.1 [INFO] [stderr] Downloaded oxiz-math v0.1.3 [INFO] [stderr] Downloaded lasso v0.7.3 [INFO] [stderr] Downloaded oxiz-core v0.1.3 [INFO] [stderr] Downloaded wide v1.1.1 [INFO] [stderr] Downloaded rhai v1.24.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 8ba2b0ce81e2e53d604feb30c291b632373425542b7b5ad6a571e3bd4725f8d4 [INFO] running `Command { std: "docker" "start" "-a" "8ba2b0ce81e2e53d604feb30c291b632373425542b7b5ad6a571e3bd4725f8d4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8ba2b0ce81e2e53d604feb30c291b632373425542b7b5ad6a571e3bd4725f8d4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8ba2b0ce81e2e53d604feb30c291b632373425542b7b5ad6a571e3bd4725f8d4", kill_on_drop: false }` [INFO] [stdout] 8ba2b0ce81e2e53d604feb30c291b632373425542b7b5ad6a571e3bd4725f8d4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 91a83ed6721ff0e4e60756081e9e2bfa516963bd677bf382122bdcf16008f5b0 [INFO] running `Command { std: "docker" "start" "-a" "91a83ed6721ff0e4e60756081e9e2bfa516963bd677bf382122bdcf16008f5b0", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.180 [INFO] [stderr] Compiling zerocopy v0.8.39 [INFO] [stderr] Compiling quote v1.0.44 [INFO] [stderr] Compiling unicode-ident v1.0.22 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling portable-atomic v1.13.1 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling crunchy v0.2.4 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling smartstring v1.0.1 [INFO] [stderr] Compiling bytemuck v1.25.0 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling bitflags v2.10.0 [INFO] [stderr] Compiling thin-vec v0.2.14 [INFO] [stderr] Compiling rustc-hash v2.1.1 [INFO] [stderr] Compiling safe_arch v1.0.0 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling pin-project-lite v0.2.16 [INFO] [stderr] Compiling indexmap v2.13.0 [INFO] [stderr] Compiling winnow v0.7.14 [INFO] [stderr] Compiling bumpalo v3.19.1 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling wide v1.1.1 [INFO] [stderr] Compiling syn v2.0.114 [INFO] [stderr] Compiling tracing-core v0.1.36 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling num_cpus v1.17.0 [INFO] [stderr] Compiling rand_core v0.9.5 [INFO] [stderr] Compiling getrandom v0.2.17 [INFO] [stderr] Compiling const-random-macro v0.1.16 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling const-random v0.1.18 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling rhai_codegen v3.1.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling tracing v0.1.44 [INFO] [stderr] Compiling rhai v1.24.0 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Compiling oxiz-math v0.1.3 [INFO] [stderr] Compiling lasso v0.7.3 [INFO] [stderr] Compiling oxiz-core v0.1.3 [INFO] [stderr] Compiling oxiz-nlsat v0.1.3 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 04s [INFO] running `Command { std: "docker" "inspect" "91a83ed6721ff0e4e60756081e9e2bfa516963bd677bf382122bdcf16008f5b0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "91a83ed6721ff0e4e60756081e9e2bfa516963bd677bf382122bdcf16008f5b0", kill_on_drop: false }` [INFO] [stdout] 91a83ed6721ff0e4e60756081e9e2bfa516963bd677bf382122bdcf16008f5b0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f4535a098f01e3c420e5d9dba6eba3bec45711feb123069ae37e4bbf804740da [INFO] running `Command { std: "docker" "start" "-a" "f4535a098f01e3c420e5d9dba6eba3bec45711feb123069ae37e4bbf804740da", kill_on_drop: false }` [INFO] [stderr] Compiling zerocopy v0.8.39 [INFO] [stderr] Compiling bitflags v2.10.0 [INFO] [stderr] Compiling zmij v1.0.19 [INFO] [stderr] Compiling rustix v1.1.3 [INFO] [stderr] Compiling zerocopy-derive v0.8.39 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling regex-syntax v0.8.9 [INFO] [stderr] Compiling clap_lex v0.7.7 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Compiling ciborium-io v0.2.2 [INFO] [stderr] Compiling itoa v1.0.17 [INFO] [stderr] Compiling anstyle v1.0.13 [INFO] [stderr] Compiling memchr v2.7.6 [INFO] [stderr] Compiling plotters-backend v0.3.7 [INFO] [stderr] Compiling wait-timeout v0.2.1 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling clap_builder v4.5.57 [INFO] [stderr] Compiling plotters-svg v0.3.7 [INFO] [stderr] Compiling quick-error v1.2.3 [INFO] [stderr] Compiling cast v0.3.0 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling bit-vec v0.8.0 [INFO] [stderr] Compiling plotters v0.3.7 [INFO] [stderr] Compiling rand_xorshift v0.4.0 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling anes v0.1.6 [INFO] [stderr] Compiling oorandom v11.1.5 [INFO] [stderr] Compiling unarray v0.1.4 [INFO] [stderr] Compiling bit-set v0.8.0 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Compiling criterion-plot v0.6.0 [INFO] [stderr] Compiling regex-automata v0.4.14 [INFO] [stderr] Compiling tempfile v3.24.0 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling rusty-fork v0.3.1 [INFO] [stderr] Compiling clap v4.5.57 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling tinytemplate v1.2.1 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling regex v1.12.3 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling half v2.7.1 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling rhai v1.24.0 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling ciborium-ll v0.2.2 [INFO] [stderr] Compiling ciborium v0.2.2 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling oxiz-math v0.1.3 [INFO] [stderr] Compiling proptest v1.10.0 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling criterion v0.7.0 [INFO] [stderr] Compiling lasso v0.7.3 [INFO] [stderr] Compiling oxiz-core v0.1.3 [INFO] [stderr] Compiling oxiz-nlsat v0.1.3 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 21s [INFO] running `Command { std: "docker" "inspect" "f4535a098f01e3c420e5d9dba6eba3bec45711feb123069ae37e4bbf804740da", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f4535a098f01e3c420e5d9dba6eba3bec45711feb123069ae37e4bbf804740da", kill_on_drop: false }` [INFO] [stdout] f4535a098f01e3c420e5d9dba6eba3bec45711feb123069ae37e4bbf804740da [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 5705f4fae0cc18b1d9129bbfbc85578be7008dbb316b3e5321685cd32c587128 [INFO] running `Command { std: "docker" "start" "-a" "5705f4fae0cc18b1d9129bbfbc85578be7008dbb316b3e5321685cd32c587128", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.23s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxiz_nlsat-762ae6b5199a8681) [INFO] [stdout] [INFO] [stdout] running 347 tests [INFO] [stdout] test assignment::tests::test_assignment_bool ... ok [INFO] [stdout] test assignment::tests::test_assignment_levels ... ok [INFO] [stdout] test assumptions::tests::test_clause_tracking ... ok [INFO] [stdout] test assumptions::tests::test_assumptions ... ok [INFO] [stdout] test assumptions::tests::test_assumption_manager_new ... ok [INFO] [stdout] test assignment::tests::test_assignment_arith ... ok [INFO] [stdout] test assumptions::tests::test_push_pop ... ok [INFO] [stdout] test assumptions::tests::test_duplicate_assumptions ... ok [INFO] [stdout] test assumptions::tests::test_clear ... ok [INFO] [stdout] test assignment::tests::test_assignment_basic ... ok [INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_assignment ... ok [INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_assignment_undef ... ok [INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_engine_new ... ok [INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_stats ... ok [INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_assignment_clear ... ok [INFO] [stdout] test bce::tests::test_bce_disabled ... ok [INFO] [stdout] test bce::tests::test_bce_unit_clause ... ok [INFO] [stdout] test bound_propagation::tests::test_interval_intersect ... ok [INFO] [stdout] test bound_propagation::tests::test_interval_unbounded ... ok [INFO] [stdout] test bound_propagation::tests::test_propagator_clear ... ok [INFO] [stdout] test bound_propagation::tests::test_propagator_empty_conflict ... ok [INFO] [stdout] test bound_propagation::tests::test_propagator_is_consistent ... ok [INFO] [stdout] test bound_propagation::tests::test_interval_point ... ok [INFO] [stdout] test bound_propagation::tests::test_propagator_tighten_lower ... ok [INFO] [stdout] test bound_propagation::tests::test_propagator_tighten_upper ... ok [INFO] [stdout] test bound_propagation::tests::test_propagator_linear ... ok [INFO] [stdout] test bound_propagation::tests::test_interval_empty ... ok [INFO] [stdout] test bve::tests::test_bve_simple_elimination ... ok [INFO] [stdout] test asymmetric_literal_addition::tests::test_strengthen_clause_disabled ... ok [INFO] [stdout] test asymmetric_literal_addition::tests::test_strengthen_clause_no_change ... ok [INFO] [stdout] test bound_propagation::tests::test_propagator_new ... ok [INFO] [stdout] test bve::tests::test_bve_stats ... ok [INFO] [stdout] test cad::tests::test_cad_lifter ... ok [INFO] [stdout] test cad::tests::test_cad_point ... ok [INFO] [stdout] test bve::tests::test_bve_tautology_elimination ... ok [INFO] [stdout] test bce::tests::test_bce_engine_new ... ok [INFO] [stdout] test bce::tests::test_bce_simple_blocked ... ok [INFO] [stdout] test bound_propagation::tests::test_propagator_tighten_conflict ... ok [INFO] [stdout] test bve::tests::test_bve_disabled ... ok [INFO] [stdout] test bve::tests::test_bve_engine_new ... ok [INFO] [stdout] test assignment::tests::test_assignment_feasible ... ok [INFO] [stdout] test bce::tests::test_bce_stats ... ok [INFO] [stdout] test bound_propagation::tests::test_interval_contains ... ok [INFO] [stdout] test bound_propagation::tests::test_propagator_set_bounds ... ok [INFO] [stdout] test cad::tests::test_cad_decomposer_bivariate ... ok [INFO] [stdout] test cad::tests::test_cad_error_too_many_cells ... ok [INFO] [stdout] test cad::tests::test_cad_projection_basic ... ok [INFO] [stdout] test cad::tests::test_cad_with_different_ordering_strategies ... ok [INFO] [stdout] test cad::tests::test_projection_set ... ok [INFO] [stdout] test cad::tests::test_full_projection ... ok [INFO] [stdout] test cad::tests::test_sample_strategies ... ok [INFO] [stdout] test cad::tests::test_sturm_sequence_no_roots ... ok [INFO] [stdout] test cad::tests::test_cad_decomposer_univariate ... ok [INFO] [stdout] test cad::tests::test_sturm_sequence_cubic ... ok [INFO] [stdout] test cad::tests::test_cad_with_auto_ordering ... ok [INFO] [stdout] test cad_optimization::tests::test_cad_opt_config_default ... ok [INFO] [stdout] test cad_optimization::tests::test_hong_projection_linear ... ok [INFO] [stdout] test cad_optimization::tests::test_early_termination ... ok [INFO] [stdout] test cad_optimization::tests::test_ordering_analyzer_brown ... ok [INFO] [stdout] test cad_optimization::tests::test_ordering_analyzer_conflict_driven ... ok [INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_pruning ... ok [INFO] [stdout] test cad_optimization::tests::test_hong_projection_empty ... ok [INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_conflict_recording ... ok [INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_sample_caching ... ok [INFO] [stdout] test cad::tests::test_sturm_sequence_quadratic ... ok [INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_creation ... ok [INFO] [stdout] test cad_optimization::tests::test_recommended_ordering ... ok [INFO] [stdout] test cad_optimization::tests::test_sample_cache ... ok [INFO] [stdout] test cad_optimization::tests::test_stats_tracking ... ok [INFO] [stdout] test chrono_bt::tests::test_chrono_backtracker_new ... ok [INFO] [stdout] test chrono_bt::tests::test_decide_backtrack_disabled ... ok [INFO] [stdout] test chrono_bt::tests::test_decide_backtrack_long_distance ... ok [INFO] [stdout] test chrono_bt::tests::test_decide_backtrack_short_distance ... ok [INFO] [stdout] test chrono_bt::tests::test_next_level_non_chronological ... ok [INFO] [stdout] test chrono_bt::tests::test_should_continue_chronological ... ok [INFO] [stdout] test chrono_bt::tests::test_should_continue_non_chronological ... ok [INFO] [stdout] test clause::tests::test_clause_basic ... ok [INFO] [stdout] test clause::tests::test_clause_database ... ok [INFO] [stdout] test clause::tests::test_clause_database_watches ... ok [INFO] [stdout] test clause::tests::test_clause_unit ... ok [INFO] [stdout] test clause::tests::test_clause_database_remove ... ok [INFO] [stdout] test clause_tiers::tests::test_add_remove_clause ... ok [INFO] [stdout] test clause_tiers::tests::test_classify_input_clause ... ok [INFO] [stdout] test clause_tiers::tests::test_classify_learned_clause ... ok [INFO] [stdout] test clause_tiers::tests::test_clause_tier_priority ... ok [INFO] [stdout] test clause_tiers::tests::test_local_queue_deletion ... ok [INFO] [stdout] test clause_tiers::tests::test_tier_manager_new ... ok [INFO] [stdout] test clause_tiers::tests::test_tier_protected ... ok [INFO] [stdout] test clause_tiers::tests::test_update_tier_promotion ... ok [INFO] [stdout] test discriminant::tests::test_analyzer_new ... ok [INFO] [stdout] test discriminant::tests::test_cache_hit ... ok [INFO] [stdout] test discriminant::tests::test_cache_hit_rate ... ok [INFO] [stdout] test discriminant::tests::test_clear ... ok [INFO] [stdout] test discriminant::tests::test_constant_polynomial ... ok [INFO] [stdout] test discriminant::tests::test_linear_polynomial ... ok [INFO] [stdout] test chrono_bt::tests::test_next_level_chronological ... ok [INFO] [stdout] test clause::tests::prop_lbd_set_get ... ok [INFO] [stdout] test clause::tests::prop_unit_clause_has_one_literal ... ok [INFO] [stdout] test eval_cache::tests::test_clear ... ok [INFO] [stdout] test eval_cache::tests::test_eval_cache_new ... ok [INFO] [stdout] test eval_cache::tests::test_pattern_cache_basic ... ok [INFO] [stdout] test eval_cache::tests::test_sign_pattern ... ok [INFO] [stdout] test clause::tests::prop_binary_clause_has_two_literals ... ok [INFO] [stdout] test eval_cache::tests::test_stats_hit_rate ... ok [INFO] [stdout] test clause::tests::prop_clause_length_matches_literals ... ok [INFO] [stdout] test eval_cache::tests::test_value_cache_basic ... ok [INFO] [stdout] test clause::tests::prop_database_get_matches_add ... ok [INFO] [stdout] test eval_cache::tests::test_value_cache_eviction ... ok [INFO] [stdout] test evaluator::tests::test_evaluator_basic ... ok [INFO] [stdout] test clause::tests::prop_database_preserves_count ... ok [INFO] [stdout] test evaluator::tests::test_evaluator_missing_var ... ok [INFO] [stdout] test evaluator::tests::test_find_quadratic_roots_no_roots ... ok [INFO] [stdout] test evaluator::tests::test_find_quadratic_roots_one_root ... ok [INFO] [stdout] test evaluator::tests::test_integer_sqrt ... ok [INFO] [stdout] test evaluator::tests::test_sign ... ok [INFO] [stdout] test evaluator::tests::test_sign_satisfies ... ok [INFO] [stdout] test explain::tests::test_cell ... ok [INFO] [stdout] test explain::tests::test_explanation_empty ... ok [INFO] [stdout] test explain::tests::test_explanation_new ... ok [INFO] [stdout] test explain::tests::test_implication_graph ... ok [INFO] [stdout] test explain::tests::test_sign_condition ... ok [INFO] [stdout] test grobner_preprocess::tests::test_degree_reduction ... ok [INFO] [stdout] test grobner_preprocess::tests::test_disabled_preprocessing ... ok [INFO] [stdout] test clause::tests::prop_activity_bump_increases ... ok [INFO] [stdout] test grobner_preprocess::tests::test_empty_system ... ok [INFO] [stdout] test grobner_preprocess::tests::test_inconsistent_system ... ok [INFO] [stdout] test grobner_preprocess::tests::test_isolate_variable_linear ... ok [INFO] [stdout] test grobner_preprocess::tests::test_linear_univariate ... ok [INFO] [stdout] test grobner_preprocess::tests::test_preprocessor_creation ... ok [INFO] [stdout] test grobner_preprocess::tests::test_skip_complex_system ... ok [INFO] [stdout] test grobner_preprocess::tests::test_solve_linear_univariate_scaled ... ok [INFO] [stdout] test grobner_preprocess::tests::test_solve_linear_univariate_simple ... ok [INFO] [stdout] test grobner_preprocess::tests::test_stats_tracking ... ok [INFO] [stdout] test incremental_cad::tests::test_cache_efficiency ... ok [INFO] [stdout] test incremental_cad::tests::test_incremental_cad_add_polynomial ... ok [INFO] [stdout] test incremental_cad::tests::test_incremental_cad_cache_stats ... ok [INFO] [stdout] test incremental_cad::tests::test_incremental_cad_new ... ok [INFO] [stdout] test incremental_cad::tests::test_incremental_cad_push_pop_level ... ok [INFO] [stdout] test incremental_cad::tests::test_polynomials_equal ... ok [INFO] [stdout] test incremental_cad::tests::test_snapshot_restore ... ok [INFO] [stdout] test incremental_cad::tests::test_projection_with_cache ... ok [INFO] [stdout] test inprocessing::tests::test_self_subsumption ... ok [INFO] [stdout] test inprocessing::tests::test_inprocessor_new ... ok [INFO] [stdout] test inprocessing::tests::test_self_subsumption_none ... ok [INFO] [stdout] test inprocessing::tests::test_subsumption_basic ... ok [INFO] [stdout] test inprocessing::tests::test_inprocess_interval ... ok [INFO] [stdout] test inprocessing::tests::test_subsumption_same_size ... ok [INFO] [stdout] test interval_set::tests::test_complement_point_interval ... ok [INFO] [stdout] test interval_set::tests::test_intersect_with_roots ... ok [INFO] [stdout] test interval_set::tests::test_interval_set_complement ... ok [INFO] [stdout] test interval_set::tests::test_from_constraint ... ok [INFO] [stdout] test interval_set::tests::test_interval_set_empty ... ok [INFO] [stdout] test interval_set::tests::test_interval_set_reals ... ok [INFO] [stdout] test interval_set::tests::test_filter_by_sign ... ok [INFO] [stdout] test interval_set::tests::test_interval_set_intersect ... ok [INFO] [stdout] test interval_set::tests::test_interval_set_sample ... ok [INFO] [stdout] test inprocessing::tests::test_subsumption_different_literals ... ok [INFO] [stdout] test interval_set::tests::test_interval_set_union ... ok [INFO] [stdout] test interval_set::tests::test_interval_set_union_merge ... ok [INFO] [stdout] test lemma::tests::test_lemma_stats_empty ... ok [INFO] [stdout] test interval_set::tests::prop_union_superset ... ok [INFO] [stdout] test lemma::tests::test_explanation_generic ... ok [INFO] [stdout] test interval_set::tests::test_interval_set_sign_set ... ok [INFO] [stdout] test interval_set::tests::prop_intersect_empty ... ok [INFO] [stdout] test evaluator::tests::test_find_linear_root ... ok [INFO] [stdout] test lemma::tests::test_lemma_stats_minimization ... ok [INFO] [stdout] test evaluator::tests::test_find_quadratic_roots ... ok [INFO] [stdout] test lemma::tests::test_lemma_asserted_literal ... ok [INFO] [stdout] test lemma::tests::test_explanation_polynomial ... ok [INFO] [stdout] test lemma::tests::test_lemma_stats_record ... ok [INFO] [stdout] test lemma::tests::test_theory_lemma_conflict ... ok [INFO] [stdout] test lookahead::tests::test_clear_scores ... ok [INFO] [stdout] test lemma::tests::test_theory_lemma_propagation ... ok [INFO] [stdout] test lookahead::tests::test_lookahead_engine_new ... ok [INFO] [stdout] test lookahead::tests::test_lookahead_result_failed ... ok [INFO] [stdout] test maxsat::tests::test_add_constraints ... ok [INFO] [stdout] test lookahead::tests::test_lookahead_failed ... ok [INFO] [stdout] test lookahead::tests::test_select_decision_disabled ... ok [INFO] [stdout] test interval_set::tests::prop_intersect_subset ... ok [INFO] [stdout] test interval_set::tests::prop_complement_involutive ... ok [INFO] [stdout] test maxsat::tests::test_maxsat_solver_new ... ok [INFO] [stdout] test maxsat::tests::test_soft_constraint ... ok [INFO] [stdout] test monotonicity::tests::test_analyzer_new ... ok [INFO] [stdout] test maxsat::tests::test_maxsat_config_default ... ok [INFO] [stdout] test lookahead::tests::test_lookahead_result ... ok [INFO] [stdout] test lookahead::tests::test_detect_failed_literals ... ok [INFO] [stdout] test lookahead::tests::test_double_lookahead ... ok [INFO] [stdout] test lookahead::tests::test_lookahead_success ... ok [INFO] [stdout] test lookahead::tests::test_get_score ... ok [INFO] [stdout] test nia::tests::test_branching_strategy ... ok [INFO] [stdout] test monotonicity::tests::test_is_increasing ... ok [INFO] [stdout] test monotonicity::tests::test_linear_decreasing ... ok [INFO] [stdout] test monotonicity::tests::test_linear_increasing ... ok [INFO] [stdout] test monotonicity::tests::test_stats_counting ... ok [INFO] [stdout] test nia::tests::test_nia_fractional_infeasible ... ok [INFO] [stdout] test nia::tests::test_nia_fractional_part ... ok [INFO] [stdout] test nia::tests::test_nia_is_near_integer ... ok [INFO] [stdout] test clause::tests::prop_clause_contains_its_literals ... ok [INFO] [stdout] test interval_set::tests::prop_union_empty_identity ... ok [INFO] [stdout] test nia::tests::test_nia_stats ... ok [INFO] [stdout] test proof::tests::test_add_input ... ok [INFO] [stdout] test monotonicity::tests::test_cache_hit ... ok [INFO] [stdout] test monotonicity::tests::test_constant_polynomial ... ok [INFO] [stdout] test monotonicity::tests::test_different_variables ... ok [INFO] [stdout] test nia::tests::test_nia_floor_ceil ... ok [INFO] [stdout] test monotonicity::tests::test_cache_hit_rate ... ok [INFO] [stdout] test proof::tests::test_add_resolution ... ok [INFO] [stdout] test proof::tests::test_cad_reasoning ... ok [INFO] [stdout] test proof::tests::test_proof_new ... ok [INFO] [stdout] test proof::tests::test_proof_stats ... ok [INFO] [stdout] test proof::tests::test_theory_lemma ... ok [INFO] [stdout] test proof::tests::test_proof_builder ... ok [INFO] [stdout] test proof::tests::test_to_smtlib ... ok [INFO] [stdout] test nia::tests::test_nia_solver_new ... ok [INFO] [stdout] test proof::tests::test_proof_builder_disabled ... ok [INFO] [stdout] test proof::tests::test_verify_valid_proof ... ok [INFO] [stdout] test restart::tests::test_geometric_restart ... ok [INFO] [stdout] test restart::tests::test_fixed_restart ... ok [INFO] [stdout] test interval_set::tests::prop_intersect_commutative ... ok [INFO] [stdout] test restart::tests::test_glucose_restart ... ok [INFO] [stdout] test restart::tests::test_luby_restart ... ok [INFO] [stdout] test portfolio::tests::test_portfolio_config_default ... ok [INFO] [stdout] test monotonicity::tests::test_clear_cache ... ok [INFO] [stdout] test nia::tests::test_nia_simple_integer ... ok [INFO] [stdout] test proof::tests::test_verify_missing_premise ... ok [INFO] [stdout] test restart::tests::test_restart_manager_default ... ok [INFO] [stdout] test root_hints::tests::test_cache_miss ... ok [INFO] [stdout] test root_hints::tests::test_cache_hit ... ok [INFO] [stdout] test root_hints::tests::test_cache_new ... ok [INFO] [stdout] test root_hints::tests::test_clear ... ok [INFO] [stdout] test root_hints::tests::test_eviction ... ok [INFO] [stdout] test root_hints::tests::test_hints_limit ... ok [INFO] [stdout] test root_hints::tests::test_hit_rate ... ok [INFO] [stdout] test root_hints::tests::test_num_roots ... ok [INFO] [stdout] test root_hints::tests::test_root_hint_midpoint ... ok [INFO] [stdout] test root_hints::tests::test_store_and_lookup ... ok [INFO] [stdout] test root_hints::tests::test_root_hint_width ... ok [INFO] [stdout] test simplify::tests::test_simplify_ineq_constant_gt ... ok [INFO] [stdout] test root_hints::tests::test_root_hint_new ... ok [INFO] [stdout] test simplify::tests::test_simplify_ineq_zero ... ok [INFO] [stdout] test simplify::tests::test_eliminate_redundant_duplicates ... ok [INFO] [stdout] test root_hints::tests::test_refine_hint ... ok [INFO] [stdout] test simplify::tests::test_simplify_ineq_constant_eq ... ok [INFO] [stdout] test simplify::tests::test_simplify_ineq_constant_lt ... ok [INFO] [stdout] test simplify::tests::test_eliminate_redundant_none ... ok [INFO] [stdout] test simplify::tests::test_simplify_polynomial_zero ... ok [INFO] [stdout] test simplify::tests::test_simplify_polynomial_constant ... ok [INFO] [stdout] test simplify::tests::test_simplify_polynomial_negative ... ok [INFO] [stdout] test solver::tests::test_find_linear_root ... ok [INFO] [stdout] test root_hints::tests::test_root_hint_contains ... ok [INFO] [stdout] test solver::tests::test_solver_circle_and_line ... ignored [INFO] [stdout] test solver::tests::test_solver_cubic_polynomial ... ok [INFO] [stdout] test solver::tests::test_solver_new ... ok [INFO] [stdout] test solver::tests::test_solver_new_vars ... ok [INFO] [stdout] test solver::tests::test_find_quadratic_roots ... ok [INFO] [stdout] test solver::tests::test_solver_ineq_atom ... ok [INFO] [stdout] test solver::tests::test_integer_sqrt ... ok [INFO] [stdout] test solver::tests::test_solver_add_clause ... ok [INFO] [stdout] test solver::tests::test_solver_inequality_chain ... ok [INFO] [stdout] test solver::tests::test_solver_simple_sat ... ok [INFO] [stdout] test solver::tests::test_solver_simple_unsat ... ok [INFO] [stdout] test solver::tests::test_solver_unsat_core ... ok [INFO] [stdout] test solver::tests::test_solver_linear_constraints ... ok [INFO] [stdout] test solver::tests::test_solver_stats ... ok [INFO] [stdout] test solver::tests::test_solver_quadratic_sat ... ok [INFO] [stdout] test structure_analyzer::tests::test_analyzer_new ... ok [INFO] [stdout] test structure_analyzer::tests::test_clear ... ok [INFO] [stdout] test solver::tests::test_solver_unsatisfiable_bounds ... ok [INFO] [stdout] test solver::tests::test_solver_tautology ... ok [INFO] [stdout] test structure_analyzer::tests::test_independent_groups ... ok [INFO] [stdout] test solver::tests::test_solver_unsat_core_with_redundancy ... ok [INFO] [stdout] test structure_analyzer::tests::test_strategy_recommendation ... ok [INFO] [stdout] test structure_analyzer::tests::test_variable_connectivity ... ok [INFO] [stdout] test structure_analyzer::tests::test_linear_detection ... ok [INFO] [stdout] test structure_analyzer::tests::test_quadratic_detection ... ok [INFO] [stdout] test subsumption::tests::test_is_subsumed_by_existing ... ok [INFO] [stdout] test subsumption::tests::test_subsumes_basic ... ok [INFO] [stdout] test structure_analyzer::tests::test_sparsity ... ok [INFO] [stdout] test subsumption::tests::test_subsumes_no_subset ... ok [INFO] [stdout] test subsumption::tests::test_subsumption_disabled ... ok [INFO] [stdout] test subsumption::tests::test_subsumption_stats ... ok [INFO] [stdout] test symmetry::tests::test_are_symmetric ... ok [INFO] [stdout] test symmetry::tests::test_add_polynomial ... ok [INFO] [stdout] test symmetry::tests::test_asymmetric_variables ... ok [INFO] [stdout] test symmetry::tests::test_detector_new ... ok [INFO] [stdout] test symmetry::tests::test_permutation ... ok [INFO] [stdout] test symmetry::tests::test_clear ... ok [INFO] [stdout] test symmetry::tests::test_generate_breaking_clauses ... ok [INFO] [stdout] test symmetry::tests::test_stats ... ok [INFO] [stdout] test symmetry::tests::test_symmetry_group_new ... ok [INFO] [stdout] test symmetry::tests::test_symmetry_group_contains ... ok [INFO] [stdout] test symmetry::tests::test_symmetric_variables ... ok [INFO] [stdout] test theory_conflict::tests::test_clear ... ok [INFO] [stdout] test theory_conflict::tests::test_analyze_patterns ... ok [INFO] [stdout] test theory_conflict::tests::test_conflict_history ... ok [INFO] [stdout] test theory_conflict::tests::test_decay ... ok [INFO] [stdout] test subsumption::tests::test_find_subsumed_clauses ... ok [INFO] [stdout] test theory_conflict::tests::test_history_limit ... ok [INFO] [stdout] test structure_analyzer::tests::test_univariate_detection ... ok [INFO] [stdout] test theory_conflict::tests::test_is_conflict_variable ... ok [INFO] [stdout] test solver::tests::test_solver_multiple_variables_simple ... ok [INFO] [stdout] test theory_conflict::tests::test_record_conflict ... ok [INFO] [stdout] test theory_conflict::tests::test_top_conflicts ... ok [INFO] [stdout] test theory_conflict::tests::test_ranked_variables ... ok [INFO] [stdout] test subsumption::tests::test_eliminate_subsumed ... ok [INFO] [stdout] test theory_conflict::tests::test_tracker_new ... ok [INFO] [stdout] test subsumption::tests::test_subsumption_checker_new ... ok [INFO] [stdout] test types::tests::test_atom_kind ... ok [INFO] [stdout] test types::tests::test_lbool ... ok [INFO] [stdout] test types::tests::test_literal ... ok [INFO] [stdout] test types::tests::test_literal_encoding ... ok [INFO] [stdout] test var_order::tests::test_brown_ordering ... ok [INFO] [stdout] test theory_conflict::tests::test_score_ordering ... ok [INFO] [stdout] test var_order::tests::test_compare_all_strategies ... ok [INFO] [stdout] test var_order::tests::test_degree_ordering ... ok [INFO] [stdout] test var_order::tests::test_occurrence_ordering ... ok [INFO] [stdout] test var_order::tests::test_ordering_stats ... ok [INFO] [stdout] test var_order::tests::test_ordering_analyzer ... ok [INFO] [stdout] test var_order::tests::test_static_ordering ... ok [INFO] [stdout] test vivification::tests::test_is_redundant_tautology ... ok [INFO] [stdout] test vivification::tests::test_vivifier_new ... ok [INFO] [stdout] test types::tests::prop_lbool_truth_consistency ... ok [INFO] [stdout] test vivification::tests::test_vivify_disabled ... ok [INFO] [stdout] test vivification::tests::test_vivify_large_clause ... ok [INFO] [stdout] test vivification::tests::test_vivify_no_change ... ok [INFO] [stdout] test watched_literals::tests::test_add_remove_clause ... ok [INFO] [stdout] test watched_literals::tests::test_get_watches ... ok [INFO] [stdout] test watched_literals::tests::test_unwatch_clause ... ok [INFO] [stdout] test nia::tests::test_nia_var_types ... ok [INFO] [stdout] test portfolio::tests::test_portfolio_solver_new ... ok [INFO] [stdout] test portfolio::tests::test_shared_clause_db ... ok [INFO] [stdout] test restart::tests::test_luby_sequence ... ok [INFO] [stdout] test solver::tests::test_solver_unit_propagation ... ok [INFO] [stdout] test vivification::tests::test_vivify_tautology ... ok [INFO] [stdout] test watched_literals::tests::test_update_watch ... ok [INFO] [stdout] test watched_literals::tests::test_watch_clause ... ok [INFO] [stdout] test watched_literals::tests::test_watched_literals_new ... ok [INFO] [stdout] test watched_literals::tests::test_watched_propagator_new ... ok [INFO] [stdout] test types::tests::prop_literal_index_uniqueness ... ok [INFO] [stdout] test types::tests::prop_lbool_negation_involutive ... ok [INFO] [stdout] test types::tests::prop_literal_encoding_bijective ... ok [INFO] [stdout] test types::tests::prop_literal_var_preserved_by_negation ... ok [INFO] [stdout] test types::tests::prop_literal_positive_negative_complement ... ok [INFO] [stdout] test types::tests::prop_literal_double_negation_is_identity ... ok [INFO] [stdout] test interval_set::tests::prop_demorgan_intersect ... ok [INFO] [stdout] test interval_set::tests::prop_union_commutative ... ok [INFO] [stdout] test vivification::tests::test_is_redundant_no_tautology ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 346 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.21s [INFO] [stdout] [INFO] [stderr] Running tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-7e6f1c5d7d265571) [INFO] [stdout] [INFO] [stdout] running 20 tests [INFO] [stdout] test test_circle_and_line ... ignored [INFO] [stdout] test test_conjunction_via_clauses ... ok [INFO] [stdout] test test_circle_outside_point ... ok [INFO] [stdout] test test_circle_constraint ... ok [INFO] [stdout] test test_high_degree_polynomial ... ignored [INFO] [stdout] test test_cubic_polynomial ... ok [INFO] [stdout] test test_disjunction ... ok [INFO] [stdout] test test_negated_literals ... ok [INFO] [stdout] test test_inequality_chain ... ok [INFO] [stdout] test test_mixed_equalities_inequalities ... ok [INFO] [stdout] test test_quadratic_roots ... ignored [INFO] [stdout] test test_polynomial_factorization_case ... ok [INFO] [stdout] test test_simple_linear_sat ... ok [INFO] [stdout] test test_parabola_constraints ... ok [INFO] [stdout] test test_tautology ... ok [INFO] [stdout] test test_simple_linear_unsat ... ok [INFO] [stdout] test test_two_variables_sat ... ok [INFO] [stdout] test test_two_variables_unsat ... ok [INFO] [stdout] test test_three_variables ... ok [INFO] [stdout] test test_quadratic_inequality ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 17 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Doc-tests oxiz_nlsat [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "5705f4fae0cc18b1d9129bbfbc85578be7008dbb316b3e5321685cd32c587128", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5705f4fae0cc18b1d9129bbfbc85578be7008dbb316b3e5321685cd32c587128", kill_on_drop: false }` [INFO] [stdout] 5705f4fae0cc18b1d9129bbfbc85578be7008dbb316b3e5321685cd32c587128