[INFO] fetching crate oxiz-nlsat 0.2.0...
[INFO] testing oxiz-nlsat-0.2.0 against 1.95.0 for beta-1.96-2
[INFO] extracting crate oxiz-nlsat 0.2.0 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate oxiz-nlsat 0.2.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxiz-nlsat 0.2.0
[INFO] tweaked toml for crates.io crate oxiz-nlsat 0.2.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-nlsat 0.2.0 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-nlsat 0.2.0 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rhai_codegen v3.1.0
[INFO] [stderr]   Downloaded rhai v1.24.0
[INFO] [stderr]   Downloaded wide v1.2.0
[INFO] [stderr]   Downloaded safe_arch v1.0.0
[INFO] [stderr]   Downloaded oxiz-math v0.2.0
[INFO] [stderr]   Downloaded oxiz-core v0.2.0
[INFO] [stderr]   Downloaded lasso v0.7.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 039ffbee5c60cb9a8628a18bc1a4d1e5c28c3a187bb2292eec64a9c525ab634f
[INFO] running `Command { std: "docker" "start" "-a" "039ffbee5c60cb9a8628a18bc1a4d1e5c28c3a187bb2292eec64a9c525ab634f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "039ffbee5c60cb9a8628a18bc1a4d1e5c28c3a187bb2292eec64a9c525ab634f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "039ffbee5c60cb9a8628a18bc1a4d1e5c28c3a187bb2292eec64a9c525ab634f", kill_on_drop: false }`
[INFO] [stdout] 039ffbee5c60cb9a8628a18bc1a4d1e5c28c3a187bb2292eec64a9c525ab634f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 385e50bae470f9e44a2a1a9006290513bfd23e12fe606c26ccfab383dedf36ae
[INFO] running `Command { std: "docker" "start" "-a" "385e50bae470f9e44a2a1a9006290513bfd23e12fe606c26ccfab383dedf36ae", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.184
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling critical-section v1.2.0
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling smartstring v1.0.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling portable-atomic-util v0.2.6
[INFO] [stderr]    Compiling bytemuck v1.25.0
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling thin-vec v0.2.14
[INFO] [stderr]    Compiling safe_arch v1.0.0
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling indexmap v2.13.1
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling winnow v0.7.15
[INFO] [stderr]    Compiling wide v1.2.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling const-random v0.1.18
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling rhai_codegen v3.1.0
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling oxiz-math v0.2.0
[INFO] [stderr]    Compiling oxiz-core v0.2.0
[INFO] [stderr]    Compiling oxiz-nlsat v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 47.72s
[INFO] running `Command { std: "docker" "inspect" "385e50bae470f9e44a2a1a9006290513bfd23e12fe606c26ccfab383dedf36ae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "385e50bae470f9e44a2a1a9006290513bfd23e12fe606c26ccfab383dedf36ae", kill_on_drop: false }`
[INFO] [stdout] 385e50bae470f9e44a2a1a9006290513bfd23e12fe606c26ccfab383dedf36ae
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 912cc7bf8824a0213786bdef8694e9ca227871f0139b101ec64ee2920e3ae502
[INFO] running `Command { std: "docker" "start" "-a" "912cc7bf8824a0213786bdef8694e9ca227871f0139b101ec64ee2920e3ae502", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling serde v1.0.228
[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 ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[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-math v0.2.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling oxiz-core v0.2.0
[INFO] [stderr]    Compiling oxiz-nlsat v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 08s
[INFO] running `Command { std: "docker" "inspect" "912cc7bf8824a0213786bdef8694e9ca227871f0139b101ec64ee2920e3ae502", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "912cc7bf8824a0213786bdef8694e9ca227871f0139b101ec64ee2920e3ae502", kill_on_drop: false }`
[INFO] [stdout] 912cc7bf8824a0213786bdef8694e9ca227871f0139b101ec64ee2920e3ae502
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8656880dea6272907de40d37a0b5bce6ce9e30161005f65b4469d710ec5fdcd1
[INFO] running `Command { std: "docker" "start" "-a" "8656880dea6272907de40d37a0b5bce6ce9e30161005f65b4469d710ec5fdcd1", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxiz_nlsat-3c2416595da4889c)
[INFO] [stdout] 
[INFO] [stdout] running 347 tests
[INFO] [stdout] test assignment::tests::test_assignment_arith ... ok
[INFO] [stdout] test assignment::tests::test_assignment_bool ... ok
[INFO] [stdout] test assignment::tests::test_assignment_feasible ... ok
[INFO] [stdout] test assumptions::tests::test_assumption_manager_new ... ok
[INFO] [stdout] test assumptions::tests::test_assumptions ... ok
[INFO] [stdout] test assumptions::tests::test_clause_tracking ... ok
[INFO] [stdout] test assignment::tests::test_assignment_basic ... ok
[INFO] [stdout] test assignment::tests::test_assignment_levels ... ok
[INFO] [stdout] test assumptions::tests::test_clear ... ok
[INFO] [stdout] test assumptions::tests::test_duplicate_assumptions ... ok
[INFO] [stdout] test assumptions::tests::test_push_pop ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_assignment_clear ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_engine_new ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_assignment ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_stats ... 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 bce::tests::test_bce_disabled ... ok
[INFO] [stdout] test bce::tests::test_bce_engine_new ... ok
[INFO] [stdout] test bce::tests::test_bce_simple_blocked ... ok
[INFO] [stdout] test bce::tests::test_bce_stats ... ok
[INFO] [stdout] test bce::tests::test_bce_unit_clause ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_contains ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_empty ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_intersect ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_point ... ok
[INFO] [stdout] test asymmetric_literal_addition::tests::test_ala_assignment_undef ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_clear ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_set_bounds ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_tighten_conflict ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_empty_conflict ... 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 bve::tests::test_bve_engine_new ... ok
[INFO] [stdout] test bve::tests::test_bve_disabled ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_is_consistent ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_linear ... ok
[INFO] [stdout] test bound_propagation::tests::test_propagator_new ... ok
[INFO] [stdout] test bve::tests::test_bve_stats ... ok
[INFO] [stdout] test bound_propagation::tests::test_interval_unbounded ... ok
[INFO] [stdout] test bve::tests::test_bve_tautology_elimination ... ok
[INFO] [stdout] test bve::tests::test_bve_simple_elimination ... ok
[INFO] [stdout] test cad::tests::test_cad_lifter ... ok
[INFO] [stdout] test cad::tests::test_cad_point ... ok
[INFO] [stdout] test cad::tests::test_cad_with_different_ordering_strategies ... ok
[INFO] [stdout] test cad::tests::test_sample_strategies ... ok
[INFO] [stdout] test cad_optimization::tests::test_cad_opt_config_default ... ok
[INFO] [stdout] test cad_optimization::tests::test_early_termination ... ok
[INFO] [stdout] test cad::tests::test_sturm_sequence_cubic ... ok
[INFO] [stdout] test cad::tests::test_projection_set ... ok
[INFO] [stdout] test cad_optimization::tests::test_hong_projection_empty ... ok
[INFO] [stdout] test cad::tests::test_sturm_sequence_no_roots ... ok
[INFO] [stdout] test cad_optimization::tests::test_hong_projection_linear ... ok
[INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_conflict_recording ... 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_creation ... ok
[INFO] [stdout] test cad::tests::test_sturm_sequence_quadratic ... ok
[INFO] [stdout] test cad::tests::test_full_projection ... ok
[INFO] [stdout] test cad::tests::test_cad_projection_basic ... ok
[INFO] [stdout] test cad_optimization::tests::test_stats_tracking ... ok
[INFO] [stdout] test cad_optimization::tests::test_sample_cache ... ok
[INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_sample_caching ... ok
[INFO] [stdout] test cad::tests::test_cad_decomposer_univariate ... ok
[INFO] [stdout] test cad_optimization::tests::test_partial_cad_builder_pruning ... 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 chrono_bt::tests::test_chrono_backtracker_new ... ok
[INFO] [stdout] test cad::tests::test_cad_with_auto_ordering ... ok
[INFO] [stdout] test chrono_bt::tests::test_decide_backtrack_disabled ... ok
[INFO] [stdout] test cad_optimization::tests::test_recommended_ordering ... 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_chronological ... 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_watches ... ok
[INFO] [stdout] test clause_tiers::tests::test_add_remove_clause ... ok
[INFO] [stdout] test clause_tiers::tests::test_classify_learned_clause ... ok
[INFO] [stdout] test clause_tiers::tests::test_local_queue_deletion ... ok
[INFO] [stdout] test clause_tiers::tests::test_classify_input_clause ... ok
[INFO] [stdout] test clause_tiers::tests::test_tier_protected ... ok
[INFO] [stdout] test clause_tiers::tests::test_tier_manager_new ... ok
[INFO] [stdout] test discriminant::tests::test_analyzer_new ... ok
[INFO] [stdout] test discriminant::tests::test_cache_hit ... ok
[INFO] [stdout] test clause_tiers::tests::test_update_tier_promotion ... ok
[INFO] [stdout] test discriminant::tests::test_cache_hit_rate ... ok
[INFO] [stdout] test discriminant::tests::test_clear ... ok
[INFO] [stdout] test eval_cache::tests::test_eval_cache_new ... ok
[INFO] [stdout] test discriminant::tests::test_linear_polynomial ... ok
[INFO] [stdout] test discriminant::tests::test_constant_polynomial ... ok
[INFO] [stdout] test eval_cache::tests::test_pattern_cache_basic ... ok
[INFO] [stdout] test eval_cache::tests::test_clear ... ok
[INFO] [stdout] test eval_cache::tests::test_stats_hit_rate ... ok
[INFO] [stdout] test eval_cache::tests::test_value_cache_basic ... ok
[INFO] [stdout] test evaluator::tests::test_evaluator_basic ... ok
[INFO] [stdout] test eval_cache::tests::test_value_cache_eviction ... ok
[INFO] [stdout] test evaluator::tests::test_find_linear_root ... ok
[INFO] [stdout] test evaluator::tests::test_find_quadratic_roots_no_roots ... ok
[INFO] [stdout] test clause::tests::test_clause_unit ... ok
[INFO] [stdout] test evaluator::tests::test_find_quadratic_roots ... ok
[INFO] [stdout] test evaluator::tests::test_evaluator_missing_var ... ok
[INFO] [stdout] test eval_cache::tests::test_sign_pattern ... ok
[INFO] [stdout] test evaluator::tests::test_find_quadratic_roots_one_root ... ok
[INFO] [stdout] test clause::tests::test_clause_database_remove ... ok
[INFO] [stdout] test clause_tiers::tests::test_clause_tier_priority ... ok
[INFO] [stdout] test clause::tests::test_clause_database ... 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_new ... ok
[INFO] [stdout] test explain::tests::test_explanation_empty ... ok
[INFO] [stdout] test explain::tests::test_sign_condition ... ok
[INFO] [stdout] test explain::tests::test_implication_graph ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_linear_univariate ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_inconsistent_system ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_disabled_preprocessing ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_degree_reduction ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_empty_system ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_preprocessor_creation ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_stats_tracking ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_skip_complex_system ... ok
[INFO] [stdout] test incremental_cad::tests::test_cache_efficiency ... 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 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_add_polynomial ... 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 inprocessing::tests::test_inprocess_interval ... ok
[INFO] [stdout] test inprocessing::tests::test_inprocessor_new ... ok
[INFO] [stdout] test inprocessing::tests::test_self_subsumption ... ok
[INFO] [stdout] test inprocessing::tests::test_self_subsumption_none ... ok
[INFO] [stdout] test grobner_preprocess::tests::test_isolate_variable_linear ... ok
[INFO] [stdout] test inprocessing::tests::test_subsumption_basic ... ok
[INFO] [stdout] test inprocessing::tests::test_subsumption_different_literals ... ok
[INFO] [stdout] test incremental_cad::tests::test_projection_with_cache ... ok
[INFO] [stdout] test incremental_cad::tests::test_snapshot_restore ... ok
[INFO] [stdout] test inprocessing::tests::test_subsumption_same_size ... ok
[INFO] [stdout] test evaluator::tests::test_integer_sqrt ... ok
[INFO] [stdout] test clause::tests::prop_activity_bump_increases ... ok
[INFO] [stdout] test clause::tests::prop_database_get_matches_add ... ok
[INFO] [stdout] test interval_set::tests::test_complement_point_interval ... ok
[INFO] [stdout] test interval_set::tests::test_filter_by_sign ... ok
[INFO] [stdout] test interval_set::tests::test_from_constraint ... ok
[INFO] [stdout] test clause::tests::prop_lbd_set_get ... 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_interval_set_empty ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_intersect ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_reals ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_sample ... ok
[INFO] [stdout] test clause::tests::prop_clause_contains_its_literals ... ok
[INFO] [stdout] test interval_set::tests::test_interval_set_sign_set ... ok
[INFO] [stdout] test clause::tests::prop_unit_clause_has_one_literal ... 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_explanation_polynomial ... ok
[INFO] [stdout] test lemma::tests::test_explanation_generic ... ok
[INFO] [stdout] test lemma::tests::test_theory_lemma_conflict ... ok
[INFO] [stdout] test lemma::tests::test_lemma_stats_record ... ok
[INFO] [stdout] test lemma::tests::test_lemma_stats_minimization ... ok
[INFO] [stdout] test lemma::tests::test_lemma_asserted_literal ... ok
[INFO] [stdout] test lookahead::tests::test_double_lookahead ... ok
[INFO] [stdout] test lookahead::tests::test_clear_scores ... ok
[INFO] [stdout] test lookahead::tests::test_detect_failed_literals ... ok
[INFO] [stdout] test lookahead::tests::test_get_score ... ok
[INFO] [stdout] test lemma::tests::test_lemma_stats_empty ... 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 ... ok
[INFO] [stdout] test lookahead::tests::test_lookahead_failed ... ok
[INFO] [stdout] test lookahead::tests::test_select_decision_disabled ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_solver_new ... ok
[INFO] [stdout] test lookahead::tests::test_lookahead_success ... ok
[INFO] [stdout] test clause::tests::prop_database_preserves_count ... ok
[INFO] [stdout] test monotonicity::tests::test_analyzer_new ... ok
[INFO] [stdout] test interval_set::tests::prop_union_superset ... ok
[INFO] [stdout] test maxsat::tests::test_soft_constraint ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_config_default ... ok
[INFO] [stdout] test lookahead::tests::test_lookahead_result_failed ... ok
[INFO] [stdout] test maxsat::tests::test_add_constraints ... ok
[INFO] [stdout] test clause::tests::prop_clause_length_matches_literals ... ok
[INFO] [stdout] test monotonicity::tests::test_cache_hit ... ok
[INFO] [stdout] test monotonicity::tests::test_cache_hit_rate ... ok
[INFO] [stdout] test monotonicity::tests::test_clear_cache ... ok
[INFO] [stdout] test monotonicity::tests::test_constant_polynomial ... ok
[INFO] [stdout] test monotonicity::tests::test_different_variables ... 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_branching_strategy ... ok
[INFO] [stdout] test nia::tests::test_nia_floor_ceil ... ok
[INFO] [stdout] test nia::tests::test_nia_fractional_part ... ok
[INFO] [stdout] test nia::tests::test_nia_fractional_infeasible ... ok
[INFO] [stdout] test nia::tests::test_nia_is_near_integer ... ok
[INFO] [stdout] test nia::tests::test_nia_simple_integer ... ok
[INFO] [stdout] test nia::tests::test_nia_solver_new ... ok
[INFO] [stdout] test nia::tests::test_nia_stats ... ok
[INFO] [stdout] test nia::tests::test_nia_var_types ... ok
[INFO] [stdout] test portfolio::tests::test_portfolio_config_default ... ok
[INFO] [stdout] test portfolio::tests::test_portfolio_solver_new ... ok
[INFO] [stdout] test portfolio::tests::test_shared_clause_db ... ok
[INFO] [stdout] test proof::tests::test_add_resolution ... ok
[INFO] [stdout] test proof::tests::test_proof_builder_disabled ... ok
[INFO] [stdout] test proof::tests::test_proof_stats ... ok
[INFO] [stdout] test proof::tests::test_proof_new ... ok
[INFO] [stdout] test proof::tests::test_to_smtlib ... ok
[INFO] [stdout] test proof::tests::test_verify_missing_premise ... ok
[INFO] [stdout] test proof::tests::test_theory_lemma ... ok
[INFO] [stdout] test proof::tests::test_add_input ... ok
[INFO] [stdout] test proof::tests::test_proof_builder ... ok
[INFO] [stdout] test restart::tests::test_fixed_restart ... ok
[INFO] [stdout] test restart::tests::test_glucose_restart ... ok
[INFO] [stdout] test restart::tests::test_luby_restart ... 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_luby_sequence ... ok
[INFO] [stdout] test restart::tests::test_restart_manager_default ... ok
[INFO] [stdout] test root_hints::tests::test_cache_hit ... ok
[INFO] [stdout] test root_hints::tests::test_cache_miss ... 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_hit_rate ... ok
[INFO] [stdout] test root_hints::tests::test_root_hint_new ... ok
[INFO] [stdout] test root_hints::tests::test_root_hint_midpoint ... ok
[INFO] [stdout] test root_hints::tests::test_root_hint_width ... ok
[INFO] [stdout] test root_hints::tests::test_refine_hint ... ok
[INFO] [stdout] test simplify::tests::test_eliminate_redundant_none ... ok
[INFO] [stdout] test simplify::tests::test_simplify_ineq_constant_gt ... ok
[INFO] [stdout] test simplify::tests::test_simplify_ineq_constant_eq ... ok
[INFO] [stdout] test root_hints::tests::test_root_hint_contains ... ok
[INFO] [stdout] test root_hints::tests::test_store_and_lookup ... ok
[INFO] [stdout] test simplify::tests::test_eliminate_redundant_duplicates ... ok
[INFO] [stdout] test simplify::tests::test_simplify_ineq_constant_lt ... ok
[INFO] [stdout] test simplify::tests::test_simplify_ineq_zero ... ok
[INFO] [stdout] test proof::tests::test_cad_reasoning ... ok
[INFO] [stdout] test simplify::tests::test_simplify_polynomial_constant ... ok
[INFO] [stdout] test simplify::tests::test_simplify_polynomial_negative ... ok
[INFO] [stdout] test root_hints::tests::test_hints_limit ... ok
[INFO] [stdout] test simplify::tests::test_simplify_polynomial_zero ... ok
[INFO] [stdout] test solver::tests::test_find_quadratic_roots ... ok
[INFO] [stdout] test solver::tests::test_find_linear_root ... ok
[INFO] [stdout] test root_hints::tests::test_num_roots ... ok
[INFO] [stdout] test solver::tests::test_integer_sqrt ... ok
[INFO] [stdout] test solver::tests::test_solver_circle_and_line ... ignored
[INFO] [stdout] test solver::tests::test_solver_add_clause ... ok
[INFO] [stdout] test solver::tests::test_solver_cubic_polynomial ... ok
[INFO] [stdout] test solver::tests::test_solver_ineq_atom ... ok
[INFO] [stdout] test solver::tests::test_solver_new ... ok
[INFO] [stdout] test solver::tests::test_solver_multiple_variables_simple ... ok
[INFO] [stdout] test solver::tests::test_solver_simple_sat ... ok
[INFO] [stdout] test solver::tests::test_solver_inequality_chain ... ok
[INFO] [stdout] test interval_set::tests::prop_intersect_empty ... ok
[INFO] [stdout] test solver::tests::test_solver_simple_unsat ... ok
[INFO] [stdout] test solver::tests::test_solver_linear_constraints ... ok
[INFO] [stdout] test interval_set::tests::prop_intersect_subset ... ok
[INFO] [stdout] test solver::tests::test_solver_stats ... ok
[INFO] [stdout] test solver::tests::test_solver_new_vars ... ok
[INFO] [stdout] test solver::tests::test_solver_quadratic_sat ... ok
[INFO] [stdout] test solver::tests::test_solver_tautology ... ok
[INFO] [stdout] test interval_set::tests::prop_complement_involutive ... ok
[INFO] [stdout] test solver::tests::test_solver_unit_propagation ... ok
[INFO] [stdout] test solver::tests::test_solver_unsat_core ... ok
[INFO] [stdout] test solver::tests::test_solver_unsat_core_with_redundancy ... ok
[INFO] [stdout] test solver::tests::test_solver_unsatisfiable_bounds ... ok
[INFO] [stdout] test structure_analyzer::tests::test_analyzer_new ... ok
[INFO] [stdout] test structure_analyzer::tests::test_clear ... ok
[INFO] [stdout] test structure_analyzer::tests::test_independent_groups ... ok
[INFO] [stdout] test structure_analyzer::tests::test_linear_detection ... ok
[INFO] [stdout] test structure_analyzer::tests::test_quadratic_detection ... ok
[INFO] [stdout] test structure_analyzer::tests::test_sparsity ... ok
[INFO] [stdout] test structure_analyzer::tests::test_strategy_recommendation ... ok
[INFO] [stdout] test structure_analyzer::tests::test_univariate_detection ... ok
[INFO] [stdout] test structure_analyzer::tests::test_variable_connectivity ... ok
[INFO] [stdout] test subsumption::tests::test_eliminate_subsumed ... ok
[INFO] [stdout] test subsumption::tests::test_find_subsumed_clauses ... ok
[INFO] [stdout] test subsumption::tests::test_is_subsumed_by_existing ... ok
[INFO] [stdout] test subsumption::tests::test_subsumes_basic ... ok
[INFO] [stdout] test interval_set::tests::prop_union_empty_identity ... ok
[INFO] [stdout] test subsumption::tests::test_subsumes_no_subset ... ok
[INFO] [stdout] test subsumption::tests::test_subsumption_checker_new ... 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_add_polynomial ... ok
[INFO] [stdout] test interval_set::tests::prop_intersect_commutative ... ok
[INFO] [stdout] test symmetry::tests::test_are_symmetric ... ok
[INFO] [stdout] test symmetry::tests::test_asymmetric_variables ... ok
[INFO] [stdout] test interval_set::tests::prop_demorgan_intersect ... ok
[INFO] [stdout] test symmetry::tests::test_clear ... ok
[INFO] [stdout] test symmetry::tests::test_detector_new ... ok
[INFO] [stdout] test symmetry::tests::test_generate_breaking_clauses ... ok
[INFO] [stdout] test symmetry::tests::test_permutation ... ok
[INFO] [stdout] test symmetry::tests::test_stats ... ok
[INFO] [stdout] test symmetry::tests::test_symmetry_group_contains ... ok
[INFO] [stdout] test symmetry::tests::test_symmetric_variables ... ok
[INFO] [stdout] test symmetry::tests::test_symmetry_group_new ... ok
[INFO] [stdout] test theory_conflict::tests::test_analyze_patterns ... ok
[INFO] [stdout] test theory_conflict::tests::test_clear ... ok
[INFO] [stdout] test theory_conflict::tests::test_conflict_history ... ok
[INFO] [stdout] test theory_conflict::tests::test_decay ... ok
[INFO] [stdout] test theory_conflict::tests::test_history_limit ... ok
[INFO] [stdout] test theory_conflict::tests::test_is_conflict_variable ... ok
[INFO] [stdout] test theory_conflict::tests::test_ranked_variables ... ok
[INFO] [stdout] test theory_conflict::tests::test_record_conflict ... ok
[INFO] [stdout] test theory_conflict::tests::test_score_ordering ... ok
[INFO] [stdout] test theory_conflict::tests::test_top_conflicts ... ok
[INFO] [stdout] test theory_conflict::tests::test_tracker_new ... ok
[INFO] [stdout] test types::tests::test_atom_kind ... ok
[INFO] [stdout] test interval_set::tests::prop_union_commutative ... 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_compare_all_strategies ... ok
[INFO] [stdout] test var_order::tests::test_brown_ordering ... ok
[INFO] [stdout] test types::tests::test_lbool ... 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_analyzer ... ok
[INFO] [stdout] test var_order::tests::test_ordering_stats ... 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 vivification::tests::test_vivify_disabled ... ok
[INFO] [stdout] test types::tests::prop_literal_double_negation_is_identity ... ok
[INFO] [stdout] test vivification::tests::test_vivify_large_clause ... ok
[INFO] [stdout] test vivification::tests::test_vivify_no_change ... ok
[INFO] [stdout] test vivification::tests::test_is_redundant_no_tautology ... ok
[INFO] [stdout] test vivification::tests::test_vivify_tautology ... 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 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_encoding_bijective ... 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_var_preserved_by_negation ... ok
[INFO] [stdout] test types::tests::prop_literal_positive_negative_complement ... ok
[INFO] [stdout] test types::tests::prop_lbool_truth_consistency ... ok
[INFO] [stdout] test clause::tests::prop_binary_clause_has_two_literals ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 346 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.16s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-12584a29202141a9)
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test test_circle_and_line ... ignored
[INFO] [stdout] test test_high_degree_polynomial ... ignored
[INFO] [stdout] test test_cubic_polynomial ... ok
[INFO] [stdout] test test_circle_outside_point ... ok
[INFO] [stdout] test test_conjunction_via_clauses ... ok
[INFO] [stdout] test test_circle_constraint ... ok
[INFO] [stdout] test test_negated_literals ... ok
[INFO] [stdout] test test_mixed_equalities_inequalities ... ok
[INFO] [stdout] test test_parabola_constraints ... ok
[INFO] [stdout] test test_disjunction ... ok
[INFO] [stdout] test test_inequality_chain ... ok
[INFO] [stdout] test test_quadratic_roots ... ignored
[INFO] [stdout] test test_simple_linear_sat ... ok
[INFO] [stdout] test test_quadratic_inequality ... ok
[INFO] [stdout] test test_polynomial_factorization_case ... ok
[INFO] [stdout] test test_two_variables_unsat ... ok
[INFO] [stdout] test test_three_variables ... ok
[INFO] [stdout] test test_simple_linear_unsat ... ok
[INFO] [stdout] test test_two_variables_sat ... ok
[INFO] [stdout] test test_tautology ... 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" "8656880dea6272907de40d37a0b5bce6ce9e30161005f65b4469d710ec5fdcd1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8656880dea6272907de40d37a0b5bce6ce9e30161005f65b4469d710ec5fdcd1", kill_on_drop: false }`
[INFO] [stdout] 8656880dea6272907de40d37a0b5bce6ce9e30161005f65b4469d710ec5fdcd1
