[INFO] fetching crate oxiz-sat 0.1.3...
[INFO] testing oxiz-sat-0.1.3 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-1
[INFO] extracting crate oxiz-sat 0.1.3 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate oxiz-sat 0.1.3
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxiz-sat 0.1.3
[INFO] tweaked toml for crates.io crate oxiz-sat 0.1.3 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-sat 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-sat 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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] f613cf360690d521963b3f162b208d8dd9e642474ce00d9c2db2fdfc7e82437c
[INFO] running `Command { std: "docker" "start" "-a" "f613cf360690d521963b3f162b208d8dd9e642474ce00d9c2db2fdfc7e82437c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f613cf360690d521963b3f162b208d8dd9e642474ce00d9c2db2fdfc7e82437c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f613cf360690d521963b3f162b208d8dd9e642474ce00d9c2db2fdfc7e82437c", kill_on_drop: false }`
[INFO] [stdout] f613cf360690d521963b3f162b208d8dd9e642474ce00d9c2db2fdfc7e82437c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 3a64064b14da17cfa10c6527b80ebd4b4eff8553c2b9d544df3f9045a06eb86e
[INFO] running `Command { std: "docker" "start" "-a" "3a64064b14da17cfa10c6527b80ebd4b4eff8553c2b9d544df3f9045a06eb86e", kill_on_drop: false }`
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling smartstring v1.0.1
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling bytemuck v1.25.0
[INFO] [stderr]    Compiling thin-vec v0.2.14
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling bumpalo v3.19.1
[INFO] [stderr]    Compiling safe_arch v1.0.0
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling const-random v0.1.18
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling wide v1.1.1
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling num-rational v0.4.2
[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 hashbrown v0.14.5
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling rhai_codegen v3.1.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling oxiz-core v0.1.3
[INFO] [stderr]    Compiling oxiz-sat v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 48.42s
[INFO] running `Command { std: "docker" "inspect" "3a64064b14da17cfa10c6527b80ebd4b4eff8553c2b9d544df3f9045a06eb86e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3a64064b14da17cfa10c6527b80ebd4b4eff8553c2b9d544df3f9045a06eb86e", kill_on_drop: false }`
[INFO] [stdout] 3a64064b14da17cfa10c6527b80ebd4b4eff8553c2b9d544df3f9045a06eb86e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] fc91b5d013e934f5d5184add0e7eeb9714f650020390556ea6d70d0b0f834cc1
[INFO] running `Command { std: "docker" "start" "-a" "fc91b5d013e934f5d5184add0e7eeb9714f650020390556ea6d70d0b0f834cc1", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.9
[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 dashmap v6.1.0
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling oxiz-core v0.1.3
[INFO] [stderr]    Compiling oxiz-sat v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 48.98s
[INFO] running `Command { std: "docker" "inspect" "fc91b5d013e934f5d5184add0e7eeb9714f650020390556ea6d70d0b0f834cc1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fc91b5d013e934f5d5184add0e7eeb9714f650020390556ea6d70d0b0f834cc1", kill_on_drop: false }`
[INFO] [stdout] fc91b5d013e934f5d5184add0e7eeb9714f650020390556ea6d70d0b0f834cc1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] b6628bd389eef1b11c7cac744e60ddde43e7acfb6ae7f18261554308bfa46309
[INFO] running `Command { std: "docker" "start" "-a" "b6628bd389eef1b11c7cac744e60ddde43e7acfb6ae7f18261554308bfa46309", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxiz_sat-6aefbb7c4fdf2664)
[INFO] [stdout] 
[INFO] [stdout] running 577 tests
[INFO] [stdout] test activity::tests::test_bump_clause ... ok
[INFO] [stdout] test activity::tests::test_decay_clause ... ok
[INFO] [stdout] test activity::tests::test_decay_variable ... ok
[INFO] [stdout] test activity::tests::test_rescale_variable ... ok
[INFO] [stdout] test activity::tests::test_clause_activity_manager_creation ... ok
[INFO] [stdout] test activity::tests::test_reset_clause ... ok
[INFO] [stdout] test activity::tests::test_bump_variable ... ok
[INFO] [stdout] test activity::tests::test_reset_variable ... ok
[INFO] [stdout] test activity::tests::test_clause_rescale ... ok
[INFO] [stdout] test activity::tests::test_set_activity ... ok
[INFO] [stdout] test agility::tests::test_agility_tracker_creation ... ok
[INFO] [stdout] test activity::tests::test_variable_activity_manager_creation ... ok
[INFO] [stdout] test agility::tests::test_clear_assignments ... ok
[INFO] [stdout] test agility::tests::test_is_high_is_low ... ok
[INFO] [stdout] test agility::tests::test_custom_decay ... ok
[INFO] [stdout] test agility::tests::test_all_flips ... ok
[INFO] [stdout] test agility::tests::test_mixed_flips ... ok
[INFO] [stdout] test agility::tests::test_no_flips ... ok
[INFO] [stdout] test allsat::tests::test_blocking_clause_creation ... ok
[INFO] [stdout] test allsat::tests::test_config_builders ... ok
[INFO] [stdout] test allsat::tests::test_enumerate_unsat ... ok
[INFO] [stdout] test allsat::tests::test_stats_avg_model_size ... ok
[INFO] [stdout] test allsat::tests::test_projected_enumeration ... ok
[INFO] [stdout] test assumptions::tests::test_assumption_levels ... ok
[INFO] [stdout] test allsat::tests::test_reset ... ok
[INFO] [stdout] test assumptions::tests::test_assumption_with_data ... ok
[INFO] [stdout] test asymmetric_branching::tests::test_ab_no_strengthen_binary ... ok
[INFO] [stdout] test asymmetric_branching::tests::test_ab_resize ... ok
[INFO] [stdout] test allsat::tests::test_count_models ... ok
[INFO] [stdout] test allsat::tests::test_enumerate_single_var ... ok
[INFO] [stdout] test allsat::tests::test_enumerate_limited ... ok
[INFO] [stdout] test assumptions::tests::test_assumption_context ... ok
[INFO] [stdout] test asymmetric_branching::tests::test_ab_creation ... ok
[INFO] [stdout] test allsat::tests::test_enumerate_simple ... ok
[INFO] [stdout] test allsat::tests::test_enumeration_result_methods ... ok
[INFO] [stdout] test allsat::tests::test_enumerator_stats ... ok
[INFO] [stdout] test asymmetric_branching::tests::test_ab_assign_backtrack ... ok
[INFO] [stdout] test asymmetric_branching::tests::test_ab_stats ... ok
[INFO] [stdout] test asymmetric_branching::tests::test_ab_is_true_false ... ok
[INFO] [stdout] test asymmetric_branching::tests::test_ab_strengthen_simple ... ok
[INFO] [stdout] test autotuning::tests::test_apply_best ... ok
[INFO] [stdout] test autotuning::tests::test_parameter_creation ... ok
[INFO] [stdout] test autotuning::tests::test_best_configuration ... ok
[INFO] [stdout] test autotuning::tests::test_unsolved_score ... ok
[INFO] [stdout] test autotuning::tests::test_performance_score ... ok
[INFO] [stdout] test autotuning::tests::test_different_strategies ... ok
[INFO] [stdout] test backbone::tests::test_backbone_detector_creation ... ok
[INFO] [stdout] test autotuning::tests::test_parameter_bounds ... ok
[INFO] [stdout] test backbone::tests::test_backbone_filter ... ok
[INFO] [stdout] test autotuning::tests::test_record_performance ... ok
[INFO] [stdout] test backbone::tests::test_clear ... ok
[INFO] [stdout] test autotuning::tests::test_add_parameter ... ok
[INFO] [stdout] test autotuning::tests::test_autotuner_creation ... ok
[INFO] [stdout] test autotuning::tests::test_parameter_increase_decrease ... ok
[INFO] [stdout] test backbone::tests::test_add_backbone ... ok
[INFO] [stdout] test backbone::tests::test_algorithm_selection ... ok
[INFO] [stdout] test asymmetric_branching::tests::test_ab_strengthen_all ... ok
[INFO] [stdout] test backbone::tests::test_detect_iterative ... ok
[INFO] [stdout] test backbone::tests::test_compute_rotatable ... ok
[INFO] [stdout] test backbone::tests::test_remove_backbone ... ok
[INFO] [stdout] test benchmark::tests::test_benchmark_with_timeout ... ok
[INFO] [stdout] test benchmark::tests::test_clear_results ... ok
[INFO] [stdout] test benchmark::tests::test_stats_aggregator_creation ... ok
[INFO] [stdout] test benchmark::tests::test_detailed_report_empty ... ok
[INFO] [stdout] test benchmark::tests::test_time_calculations ... ok
[INFO] [stdout] test big::tests::test_big_creation ... ok
[INFO] [stdout] test big::tests::test_build_from_clauses ... ok
[INFO] [stdout] test big::tests::test_get_implications ... ok
[INFO] [stdout] test big::tests::test_transitive_reduction ... ok
[INFO] [stdout] test cardinality::tests::test_at_least_1 ... ok
[INFO] [stdout] test backbone::tests::test_statistics ... ok
[INFO] [stdout] test big::tests::test_find_sccs ... ok
[INFO] [stdout] test benchmark::tests::test_benchmark_harness_creation ... ok
[INFO] [stdout] test cardinality::tests::test_at_most_1 ... ok
[INFO] [stdout] test big::tests::test_optimize ... ok
[INFO] [stdout] test cce::tests::test_cce_no_coverage ... ok
[INFO] [stdout] test cardinality::tests::test_at_most_0 ... ok
[INFO] [stdout] test benchmark::tests::test_summary_report_empty ... ok
[INFO] [stdout] test cardinality::tests::test_at_most_exceeds_length ... ok
[INFO] [stdout] test cce::tests::test_cce_single_clause ... ok
[INFO] [stdout] test cardinality::tests::test_exactly_2 ... ok
[INFO] [stdout] test chb::tests::test_chb_basic ... ok
[INFO] [stdout] test cce::tests::test_cce_stats ... ok
[INFO] [stdout] test chrono::tests::test_chrono_default ... ok
[INFO] [stdout] test cce::tests::test_cce_basic ... ok
[INFO] [stdout] test chb::tests::test_chb_decay ... ok
[INFO] [stdout] test cce::tests::test_cce_multiple_covered ... ok
[INFO] [stdout] test cce::tests::test_cce_is_covered_by ... ok
[INFO] [stdout] test chrono::tests::test_chrono_enabled ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_chrono_config_default ... ok
[INFO] [stdout] test chrono::tests::test_chrono_disabled ... ok
[INFO] [stdout] test cce::tests::test_cce_empty_db ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_disabled_always_nonchrono ... ok
[INFO] [stdout] test chrono::tests::test_chrono_threshold ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_good_conditions_chrono ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_stats_reset ... ok
[INFO] [stdout] test clause::tests::test_clause_creation ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_chrono_engine_creation ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_levels_saved_tracking ... ok
[INFO] [stdout] test clause::tests::test_clause_database ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_history_management ... ok
[INFO] [stdout] test clause::tests::test_clause_self_subsuming_resolvent ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_locality_tracking ... ok
[INFO] [stdout] test clause::tests::test_clause_normalize ... ok
[INFO] [stdout] test clause::tests::test_clause_normalize_tautology ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_high_lbd_nonchrono ... ok
[INFO] [stdout] test chronological_backtrack::tests::test_small_distance_nonchrono ... ok
[INFO] [stdout] test clause_exchange::tests::test_import_from_other_solver ... ok
[INFO] [stdout] test clause_exchange::tests::test_is_shareable ... ok
[INFO] [stdout] test clause_exchange::tests::test_buffer_size_limit ... ok
[INFO] [stdout] test clause_exchange::tests::test_shared_clause_creation ... ok
[INFO] [stdout] test clause_maintenance::tests::test_clause_strengthening ... ok
[INFO] [stdout] test clause::tests::test_clause_subsumes ... ok
[INFO] [stdout] test clause_exchange::tests::test_size_rejection ... ok
[INFO] [stdout] test clause_maintenance::tests::test_maintenance_stats ... ok
[INFO] [stdout] test clause_maintenance::tests::test_deletion_selection ... ok
[INFO] [stdout] test clause_exchange::tests::test_lbd_rejection ... ok
[INFO] [stdout] test clause_size_manager::tests::test_adaptive_increase ... ok
[INFO] [stdout] test clause_exchange::tests::test_exchange_buffer ... ok
[INFO] [stdout] test clause_maintenance::tests::test_tier_optimization ... ok
[INFO] [stdout] test clause_size_manager::tests::test_should_learn_exceeds_limit ... ok
[INFO] [stdout] test clause_size_manager::tests::test_should_learn_high_quality ... ok
[INFO] [stdout] test clause_size_manager::tests::test_should_learn_within_limit ... ok
[INFO] [stdout] test clause_size_manager::tests::test_stats_tracking ... ok
[INFO] [stdout] test community::tests::test_community_ordering ... ok
[INFO] [stdout] test community::tests::test_community_stats ... ok
[INFO] [stdout] test clause_size_manager::tests::test_size_manager_creation ... ok
[INFO] [stdout] test community::tests::test_louvain_simple ... ok
[INFO] [stdout] test community::tests::test_same_community ... ok
[INFO] [stdout] test community::tests::test_communities_creation ... ok
[INFO] [stdout] test community::tests::test_vig_creation ... ok
[INFO] [stdout] test community::tests::test_communities_renumber ... ok
[INFO] [stdout] test community_partition::tests::test_community_lookup ... ok
[INFO] [stdout] test community_partition::tests::test_get_partition ... ok
[INFO] [stdout] test community_partition::tests::test_empty_partition ... ok
[INFO] [stdout] test clause_size_manager::tests::test_luby_strategy_available ... ok
[INFO] [stdout] test community_partition::tests::test_partition_creation ... ok
[INFO] [stdout] test community::tests::test_vig_edges ... ok
[INFO] [stdout] test community_partition::tests::test_create_ordering ... ok
[INFO] [stdout] test community_partition::tests::test_partition_stats ... ok
[INFO] [stdout] test config_presets::tests::test_aggressive_config ... ok
[INFO] [stdout] test community_partition::tests::test_primary_community ... ok
[INFO] [stdout] test community_partition::tests::test_single_clause_partition ... ok
[INFO] [stdout] test clause_size_manager::tests::test_geometric_growth ... ok
[INFO] [stdout] test clause_size_manager::tests::test_adaptive_decrease ... ok
[INFO] [stdout] test clause_size_manager::tests::test_fixed_strategy ... ok
[INFO] [stdout] test cube::tests::test_cube_config_default ... ok
[INFO] [stdout] test community_partition::tests::test_partition_sizes ... ok
[INFO] [stdout] test cube::tests::test_adaptive_depth ... ok
[INFO] [stdout] test cube::tests::test_cube_consistency ... ok
[INFO] [stdout] test config_presets::tests::test_preset_display ... ok
[INFO] [stdout] test config_presets::tests::test_random_config ... ok
[INFO] [stdout] test cube::tests::test_cube_creation ... ok
[INFO] [stdout] test cube::tests::test_cube_generation ... ok
[INFO] [stdout] test cube::tests::test_cube_generator_creation ... ok
[INFO] [stdout] test cube::tests::test_cube_inconsistency ... ok
[INFO] [stdout] test cube::tests::test_cube_splitting_strategies ... ok
[INFO] [stdout] test cube::tests::test_cube_stats ... ok
[INFO] [stdout] test cube::tests::test_cube_extend ... ok
[INFO] [stdout] test config_presets::tests::test_all_presets_available ... ok
[INFO] [stdout] test config_presets::tests::test_conservative_config ... ok
[INFO] [stdout] test cube::tests::test_empty_cube ... ok
[INFO] [stdout] test cube_solver::tests::test_cube_solver_config ... ok
[INFO] [stdout] test cube_solver::tests::test_parallel_cube_solver_creation ... ok
[INFO] [stdout] test cube::tests::test_empty_cube_stats ... ok
[INFO] [stdout] test config_presets::tests::test_industrial_config ... ok
[INFO] [stdout] test cube_solver::tests::test_solve_empty_cubes ... ok
[INFO] [stdout] test cube_solver::tests::test_cube_solver_stats ... ok
[INFO] [stdout] test cube_solver::tests::test_cube_and_conquer ... ok
[INFO] [stdout] test cube_solver::tests::test_early_termination ... ok
[INFO] [stdout] test cube_solver::tests::test_solve_inconsistent_cube ... ok
[INFO] [stdout] test config_presets::tests::test_preset_configs ... ok
[INFO] [stdout] test config_presets::tests::test_preset_descriptions ... ok
[INFO] [stdout] test cube_solver::tests::test_solver_stats_display ... ok
[INFO] [stdout] test cube_solver::tests::test_solve_single_cube ... ok
[INFO] [stdout] test dimacs::tests::test_parse_with_comments ... ok
[INFO] [stdout] test dimacs::tests::test_parse_simple_cnf ... ok
[INFO] [stdout] test cube_solver::tests::test_solve_multiple_cubes ... ok
[INFO] [stdout] test dimacs::tests::test_roundtrip ... ok
[INFO] [stdout] test dimacs::tests::test_write_cnf ... ok
[INFO] [stdout] test community::tests::test_modularity_calculation ... ok
[INFO] [stdout] test drat_inprocessing::tests::test_config_default ... ok
[INFO] [stdout] test distillation::tests::test_distillation_binary_clause ... ok
[INFO] [stdout] test drat_inprocessing::tests::test_clear ... ok
[INFO] [stdout] test dynamic_lbd::tests::test_compute_lbd ... ok
[INFO] [stdout] test dynamic_lbd::tests::test_conflict_counter ... ok
[INFO] [stdout] test dynamic_lbd::tests::test_reset_conflicts ... ok
[INFO] [stdout] test distillation::tests::test_distillation_creation ... ok
[INFO] [stdout] test distillation::tests::test_distillation_stats ... ok
[INFO] [stdout] test drat_inprocessing::tests::test_is_tautology ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_dynamic_subsumption_creation ... ok
[INFO] [stdout] test dynamic_lbd::tests::test_dynamic_lbd_creation ... ok
[INFO] [stdout] test drat_inprocessing::tests::test_drat_inprocessor_creation ... ok
[INFO] [stdout] test dynamic_lbd::tests::test_should_update ... ok
[INFO] [stdout] test drat_inprocessing::tests::test_stats_display ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_clear ... ok
[INFO] [stdout] test dynamic_lbd::tests::test_stats ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_occurrence_tracking ... ok
[INFO] [stdout] test drat_inprocessing::tests::test_resolve ... ok
[INFO] [stdout] test drat_inprocessing::tests::test_subsumes ... ok
[INFO] [stdout] test drat_inprocessing::tests::test_subsumes_equal ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_find_candidates ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_self_subsumption_basic ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_self_subsumption_none ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_subsumes_basic ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_stats_tracking ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_subsumption_config_default ... ok
[INFO] [stdout] test els::tests::test_detect_contradictions ... ok
[INFO] [stdout] test els::tests::test_els_creation ... ok
[INFO] [stdout] test els::tests::test_detect_equivalences ... ok
[INFO] [stdout] test els::tests::test_union_find ... ok
[INFO] [stdout] test els::tests::test_build_implications ... ok
[INFO] [stdout] test extended_resolution::tests::test_and_extension ... ok
[INFO] [stdout] test els::tests::test_substitute_simple ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_subsumes_partial_overlap ... ok
[INFO] [stdout] test extended_resolution::tests::test_extended_resolution_manager ... ok
[INFO] [stdout] test els::tests::test_equivalence_classes ... ok
[INFO] [stdout] test extended_resolution::tests::test_clause_substitution ... ok
[INFO] [stdout] test extended_resolution::tests::test_ite_extension ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_subsumes_no_overlap ... ok
[INFO] [stdout] test extended_resolution::tests::test_tseitin_and ... ok
[INFO] [stdout] test extended_resolution::tests::test_or_extension ... ok
[INFO] [stdout] test extended_resolution::tests::test_xor_extension ... ok
[INFO] [stdout] test dynamic_subsumption::tests::test_subsumes_equal ... ok
[INFO] [stdout] test gate::tests::test_detect_and_gate ... ok
[INFO] [stdout] test gate::tests::test_detect_or_gate ... ok
[INFO] [stdout] test gpu::tests::test_benchmark_result_comparison ... ok
[INFO] [stdout] test gate::tests::test_clear ... ok
[INFO] [stdout] test gpu::tests::test_benchmark_result_cpu_only ... ok
[INFO] [stdout] test gpu::tests::test_cpu_reference_accelerator_creation ... ok
[INFO] [stdout] test gpu::tests::test_gpu_backend_default ... ok
[INFO] [stdout] test gpu::tests::test_benchmark_summary_report ... ok
[INFO] [stdout] test gpu::tests::test_gpu_benefit_analysis_large ... ok
[INFO] [stdout] test gpu::tests::test_gpu_benefit_analysis_marginal ... ok
[INFO] [stdout] test gpu::tests::test_gpu_benefit_analysis_small ... ok
[INFO] [stdout] test gpu::tests::test_gpu_benefit_summary ... ok
[INFO] [stdout] test gpu::tests::test_gpu_config_builder ... ok
[INFO] [stdout] test gpu::tests::test_gpu_config_default ... ok
[INFO] [stdout] test gpu::tests::test_gpu_error_display ... ok
[INFO] [stdout] test els::tests::test_get_representative ... ok
[INFO] [stdout] test gpu::tests::test_gpu_stats_default ... ok
[INFO] [stdout] test gpu::tests::test_gpu_stats_merge ... ok
[INFO] [stdout] test gpu::tests::test_gpu_stats_utilization ... ok
[INFO] [stdout] test gpu::tests::test_manage_clause_database ... ok
[INFO] [stdout] test gpu::tests::test_manage_empty_database ... ok
[INFO] [stdout] test gpu::tests::test_parallel_conflict_analysis ... ok
[INFO] [stdout] test gpu::tests::test_reset_stats ... ok
[INFO] [stdout] test gpu::tests::test_should_use_gpu ... ok
[INFO] [stdout] test gpu::tests::test_synchronize ... ok
[INFO] [stdout] test hyper_binary::tests::test_add_binary_clause ... ok
[INFO] [stdout] test hyper_binary::tests::test_clear ... ok
[INFO] [stdout] test hyper_binary::tests::test_double_probe_unit ... ok
[INFO] [stdout] test hyper_binary::tests::test_hyper_binary_resolver_creation ... ok
[INFO] [stdout] test hyper_binary::tests::test_reset_stats ... ok
[INFO] [stdout] test hyper_binary::tests::test_simple_probe ... ok
[INFO] [stdout] test hyper_binary::tests::test_stats_tracking ... ok
[INFO] [stdout] test literal::tests::test_dimacs_conversion ... ok
[INFO] [stdout] test literal::tests::test_lbool ... ok
[INFO] [stdout] test literal::tests::test_literal_creation ... ok
[INFO] [stdout] test gate::tests::test_build_definitions ... ok
[INFO] [stdout] test gate::tests::test_gate_type_output ... ok
[INFO] [stdout] test local_search::tests::test_local_search_creation ... ok
[INFO] [stdout] test gpu::tests::test_gpu_backend_name ... ok
[INFO] [stdout] test local_search::tests::test_local_search_simple_sat ... ok
[INFO] [stdout] test gpu::tests::test_benchmark_clear ... ok
[INFO] [stdout] test gpu::tests::test_batch_unit_propagation ... ok
[INFO] [stdout] test hyper_binary::tests::test_conflict_detection ... ok
[INFO] [stdout] test lookahead::tests::test_find_min_clause_size ... ok
[INFO] [stdout] test local_search::tests::test_local_search_stats ... ok
[INFO] [stdout] test lookahead::tests::test_lookahead_creation ... ok
[INFO] [stdout] test lookahead::tests::test_moms_k_clamping ... ok
[INFO] [stdout] test local_search::tests::test_probsat ... ok
[INFO] [stdout] test lookahead::tests::test_select_polarity ... ok
[INFO] [stdout] test lookahead::tests::test_multiple_heuristics ... ok
[INFO] [stdout] test lookahead::tests::test_moms_k_parameter ... ok
[INFO] [stdout] test lookahead::tests::test_select_variable_all_assigned ... ok
[INFO] [stdout] test lookahead::tests::test_select_variable_dlcs ... ok
[INFO] [stdout] test lookahead::tests::test_select_variable_jeroslow_wang ... ok
[INFO] [stdout] test lookahead::tests::test_select_variable_moms ... ok
[INFO] [stdout] test lrb::tests::test_lrb_basic ... ok
[INFO] [stdout] test lookahead::tests::test_reset_stats ... ok
[INFO] [stdout] test lookahead::tests::test_set_heuristic ... ok
[INFO] [stdout] test lrb::tests::test_lrb_unassign ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_add_clauses ... ok
[INFO] [stdout] test lrb::tests::test_lrb_participation ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_clause_types ... ok
[INFO] [stdout] test gpu::tests::test_benchmark_batch_propagation ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_simple_sat ... ok
[INFO] [stdout] test memory::tests::test_arena_activity ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_creation ... ok
[INFO] [stdout] test memory::tests::test_arena_compact ... ok
[INFO] [stdout] test memory::tests::test_arena_alloc ... ok
[INFO] [stdout] test memory::tests::test_arena_delete ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_hard_constraint ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_stats ... ok
[INFO] [stdout] test memory_opt::tests::test_avg_allocation_size ... ok
[INFO] [stdout] test memory_opt::tests::test_clear_pools ... ok
[INFO] [stdout] test memory_opt::tests::test_hit_rate ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_conflicting_soft ... ok
[INFO] [stdout] test maxsat::tests::test_maxsat_weighted ... ok
[INFO] [stdout] test memory::tests::test_memory_stats ... ok
[INFO] [stdout] test memory_opt::tests::test_allocate_and_free ... ok
[INFO] [stdout] test memory_opt::tests::test_compact ... ok
[INFO] [stdout] test memory_opt::tests::test_memory_action ... ok
[INFO] [stdout] test memory_opt::tests::test_memory_optimizer_creation ... ok
[INFO] [stdout] test memory_opt::tests::test_pool_hits ... ok
[INFO] [stdout] test memory_opt::tests::test_prefetch ... ok
[INFO] [stdout] test memory_opt::tests::test_size_class_buffer_size ... ok
[INFO] [stdout] test memory_opt::tests::test_size_class_from_size ... ok
[INFO] [stdout] test ml_branching::tests::test_clause_similarity ... ok
[INFO] [stdout] test memory_opt::tests::test_peak_usage ... ok
[INFO] [stdout] test memory_opt::tests::test_reset_stats ... ok
[INFO] [stdout] test ml_branching::tests::test_config_default ... ok
[INFO] [stdout] test ml_branching::tests::test_decay_features ... ok
[INFO] [stdout] test ml_branching::tests::test_identical_clauses_similarity ... ok
[INFO] [stdout] test ml_branching::tests::test_empty_candidates ... ok
[INFO] [stdout] test ml_branching::tests::test_export_features ... ok
[INFO] [stdout] test ml_branching::tests::test_ml_branching_creation ... ok
[INFO] [stdout] test ml_branching::tests::test_predict_branch ... ok
[INFO] [stdout] test ml_branching::tests::test_stats_display ... ok
[INFO] [stdout] test ml_branching::tests::test_stats_accuracy ... ok
[INFO] [stdout] test agility::tests::test_reset ... ok
[INFO] [stdout] test agility::tests::test_stats_display ... ok
[INFO] [stdout] test ml_branching::tests::test_predict_restart ... ok
[INFO] [stdout] test assumptions::tests::test_assumption_stack_basic ... ok
[INFO] [stdout] test ml_branching::tests::test_clear ... ok
[INFO] [stdout] test ml_branching::tests::test_update_depth_preference ... ok
[INFO] [stdout] test occurrence::tests::test_clear ... ok
[INFO] [stdout] test occurrence::tests::test_count ... ok
[INFO] [stdout] test occurrence::tests::test_clear_literal ... ok
[INFO] [stdout] test occurrence::tests::test_add_and_get ... ok
[INFO] [stdout] test ml_branching::tests::test_learn_from_conflict ... ok
[INFO] [stdout] test gpu::tests::test_gpu_benchmark_creation ... ok
[INFO] [stdout] test ml_branching::tests::test_update_propagation ... ok
[INFO] [stdout] test gate::tests::test_gate_detector_creation ... ok
[INFO] [stdout] test memory_opt::tests::test_usage_by_size_class ... ok
[INFO] [stdout] test memory_opt::tests::test_set_prefetch ... ok
[INFO] [stdout] test occurrence::tests::test_find_pure_literals ... ok
[INFO] [stdout] test occurrence::tests::test_duplicate_add ... ok
[INFO] [stdout] test occurrence::tests::test_find_common_clauses ... ok
[INFO] [stdout] test occurrence::tests::test_occurrence_list_creation ... ok
[INFO] [stdout] test occurrence::tests::test_remove ... ok
[INFO] [stdout] test occurrence::tests::test_resize ... ok
[INFO] [stdout] test assumptions::tests::test_assumption_stack_conflict ... ok
[INFO] [stdout] test occurrence::tests::test_update_stats ... ok
[INFO] [stdout] test parallel::clause_simplify::tests::test_subsumption ... ok
[INFO] [stdout] test parallel::portfolio::tests::test_portfolio_solver_creation ... ok
[INFO] [stdout] test occurrence::tests::test_has_occurrences ... ok
[INFO] [stdout] test parallel::clause_simplify::tests::test_tautology_detection ... ok
[INFO] [stdout] test occurrence::tests::test_var_occurrence_count ... ok
[INFO] [stdout] test parallel::portfolio::tests::test_portfolio_config_default ... ok
[INFO] [stdout] test parallel::proof_check::tests::test_proof_check_result ... ok
[INFO] [stdout] test portfolio::tests::test_portfolio_solver_creation ... ok
[INFO] [stdout] test portfolio::tests::test_portfolio_stats ... ok
[INFO] [stdout] test portfolio::tests::test_portfolio_config ... ok
[INFO] [stdout] test preprocessing::advanced::tests::test_clause_operations ... ok
[INFO] [stdout] test parallel::proof_check::tests::test_proof_checker_creation ... ok
[INFO] [stdout] test gpu::tests::test_benchmark_conflict_analysis ... ok
[INFO] [stdout] test gpu::tests::test_benchmark_clause_management ... ok
[INFO] [stdout] test preprocessing::gate_extraction::tests::test_circuit_depth ... ok
[INFO] [stdout] test preprocessing::advanced::tests::test_empty_clause ... ok
[INFO] [stdout] test preprocessing::advanced::tests::test_subsumption ... ok
[INFO] [stdout] test preprocessing::gate_extraction::tests::test_extract_equiv ... ok
[INFO] [stdout] test preprocessing::gate_extraction::tests::test_gate_extractor_creation ... ok
[INFO] [stdout] test preprocessing::advanced::tests::test_tautology_detection ... ok
[INFO] [stdout] test preprocessing::advanced::tests::test_unit_propagation ... ok
[INFO] [stdout] test preprocessing::advanced::tests::test_preprocessor_creation ... ok
[INFO] [stdout] test portfolio::tests::test_portfolio_default ... ok
[INFO] [stdout] test preprocessing::advanced::tests::test_subsumes_check ... ok
[INFO] [stdout] test portfolio::tests::test_simple_sat_parallel ... ok
[INFO] [stdout] test preprocessing::variable_elimination::tests::test_elimination_cost ... ok
[INFO] [stdout] test preprocessing::variable_elimination::tests::test_is_tautology ... ok
[INFO] [stdout] test preprocessing::variable_elimination::tests::test_resolution ... ok
[INFO] [stdout] test preprocessing::variable_elimination::tests::test_variable_eliminator_creation ... ok
[INFO] [stdout] test preprocessing_core::tests::test_pure_literal ... ok
[INFO] [stdout] test preprocessing::advanced::tests::test_resolution ... ok
[INFO] [stdout] test profiling::tests::test_profiler_clear ... ok
[INFO] [stdout] test profiling::tests::test_profiler_report ... ok
[INFO] [stdout] test parallel::portfolio::tests::test_solver_variants ... ok
[INFO] [stdout] test profiling::tests::test_performance_metrics ... ok
[INFO] [stdout] test preprocessing_core::tests::test_tautology_detection ... ok
[INFO] [stdout] test preprocessing_core::tests::test_subsumption ... ok
[INFO] [stdout] test profiling::tests::test_performance_metrics_reset ... ok
[INFO] [stdout] test proof::tests::test_disabled_proof ... ok
[INFO] [stdout] test recursive_minimization::tests::test_minimize_unit_clause ... ok
[INFO] [stdout] test recursive_minimization::tests::test_minimize_empty_clause ... ok
[INFO] [stdout] test profiling::tests::test_profiler_counters ... ok
[INFO] [stdout] test recursive_minimization::tests::test_recursive_minimizer_resize ... ok
[INFO] [stdout] test recursive_minimization::tests::test_recursive_minimizer_creation ... ok
[INFO] [stdout] test recursive_minimization::tests::test_recursive_minimizer_stats ... ok
[INFO] [stdout] test reluctant::tests::test_lbd_averaging ... ok
[INFO] [stdout] test reluctant::tests::test_max_interval_cap ... ok
[INFO] [stdout] test reluctant::tests::test_reluctant_creation ... ok
[INFO] [stdout] test reluctant::tests::test_reset ... ok
[INFO] [stdout] test reluctant::tests::test_restart_with_progress ... ok
[INFO] [stdout] test reluctant::tests::test_restart_without_progress ... ok
[INFO] [stdout] test reluctant::tests::test_should_restart ... ok
[INFO] [stdout] test reluctant::tests::test_stats ... ok
[INFO] [stdout] test rephasing::tests::test_interval_increase ... ok
[INFO] [stdout] test rephasing::tests::test_next_strategy ... ok
[INFO] [stdout] test rephasing::tests::test_rephase_best ... ok
[INFO] [stdout] test rephasing::tests::test_rephase_false ... ok
[INFO] [stdout] test rephasing::tests::test_rephase_inverted ... ok
[INFO] [stdout] test rephasing::tests::test_rephase_original ... ok
[INFO] [stdout] test rephasing::tests::test_rephase_true ... ok
[INFO] [stdout] test rephasing::tests::test_rephasing_manager_creation ... ok
[INFO] [stdout] test proof::tests::test_drat_proof ... ok
[INFO] [stdout] test proof::tests::test_lrat_empty_clause ... ok
[INFO] [stdout] test proof::tests::test_lrat_proof ... ok
[INFO] [stdout] test resolution_graph::tests::test_add_clause ... ok
[INFO] [stdout] test rephasing::tests::test_should_rephase ... ok
[INFO] [stdout] test resolution_graph::tests::test_analyze ... ok
[INFO] [stdout] test parallel::clause_simplify::tests::test_simplification ... ok
[INFO] [stdout] test rephasing::tests::test_stats_display ... ok
[INFO] [stdout] test parallel::proof_check::tests::test_empty_proof ... ok
[INFO] [stdout] test resolution_graph::tests::test_clause_quality ... ok
[INFO] [stdout] test resolution_graph::tests::test_clear ... ok
[INFO] [stdout] test resolution_graph::tests::test_compute_depth ... ok
[INFO] [stdout] test resolution_graph::tests::test_disabled_analyzer ... ok
[INFO] [stdout] test resolution_graph::tests::test_add_decision ... ok
[INFO] [stdout] test resolution_graph::tests::test_important_vars ... ok
[INFO] [stdout] test resolution_graph::tests::test_resolution ... ok
[INFO] [stdout] test resolution_graph::tests::test_frequent_vars ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_degrading_trend ... ok
[INFO] [stdout] test resolution_graph::tests::test_resolution_analyzer ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_divergence ... ok
[INFO] [stdout] test resolution_graph::tests::test_resolution_graph_creation ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_ema_updates ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_first_value_initialization ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_custom_decay ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_improving_trend ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_reset ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_trend_change_detection ... ok
[INFO] [stdout] test solver::tests::test_empty_sat ... ok
[INFO] [stdout] test solver::tests::test_3sat_random ... ok
[INFO] [stdout] test solver::tests::test_clause_minimization ... ok
[INFO] [stdout] test solver::tests::test_lbd_computation ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_is_below_average ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_min_max_tracking ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_smoothed_lbd_tracker_creation ... ok
[INFO] [stdout] test solver::tests::test_clause_activity_decay ... ok
[INFO] [stdout] test solver::tests::test_luby_sequence ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_is_above_average ... ok
[INFO] [stdout] test smoothed_lbd::tests::test_stable_trend ... ok
[INFO] [stdout] test solver::tests::test_pigeonhole_2_1 ... ok
[INFO] [stdout] test solver::tests::test_push_pop_incremental ... ok
[INFO] [stdout] test solver::tests::test_phase_saving ... ok
[INFO] [stdout] test solver::tests::test_solve_with_assumptions_core_extraction ... ok
[INFO] [stdout] test solver::tests::test_solve_with_assumptions_incremental ... ok
[INFO] [stdout] test solver::tests::test_solve_with_assumptions_sat ... ok
[INFO] [stdout] test solver::tests::test_solve_with_assumptions_unsat ... ok
[INFO] [stdout] test solver::tests::test_push_pop_simple ... ok
[INFO] [stdout] test solver::tests::test_solve_with_theory_sat ... ok
[INFO] [stdout] test solver::tests::test_solve_with_theory_unsat ... ok
[INFO] [stdout] test solver::tests::test_simple_unsat ... ok
[INFO] [stdout] test solver::tests::test_theory_propagation ... ok
[INFO] [stdout] test stabilization::tests::test_mode_switching ... ok
[INFO] [stdout] test solver::tests::test_theory_conflict ... ok
[INFO] [stdout] test solver::tests::test_push_pop_with_learned_clauses ... ok
[INFO] [stdout] test solver::tests::test_simple_sat ... ok
[INFO] [stdout] test stabilization::tests::test_phase_weight ... ok
[INFO] [stdout] test stabilization::tests::test_progress_tracking ... ok
[INFO] [stdout] test stabilization::tests::test_stabilization_basic ... ok
[INFO] [stdout] test stats_dashboard::tests::test_format_duration ... ok
[INFO] [stdout] test stabilization::tests::test_stats ... ok
[INFO] [stdout] test profiling::tests::test_profiler_timers ... ok
[INFO] [stdout] test stats_dashboard::tests::test_rates_calculation ... ok
[INFO] [stdout] test stats_dashboard::tests::test_format_size ... ok
[INFO] [stdout] test stats_dashboard::tests::test_detailed_display ... ok
[INFO] [stdout] test profiling::tests::test_scoped_timer_restart ... ok
[INFO] [stdout] test stats_dashboard::tests::test_compact_display ... ok
[INFO] [stdout] test stats_dashboard::tests::test_aggregator_summary ... ok
[INFO] [stdout] test subsumption::tests::test_forward_subsumption ... ok
[INFO] [stdout] test subsumption::tests::test_stats ... ok
[INFO] [stdout] test stats_dashboard::tests::test_stats_aggregator ... ok
[INFO] [stdout] test stats_dashboard::tests::test_stats_dashboard_creation ... ok
[INFO] [stdout] test subsumption::tests::test_backward_subsumption ... ok
[INFO] [stdout] test subsumption::tests::test_no_subsumption ... ok
[INFO] [stdout] test subsumption::tests::test_subsumes ... ok
[INFO] [stdout] test profiling::tests::test_scoped_timer ... ok
[INFO] [stdout] test subsumption::tests::test_subsumption_creation ... ok
[INFO] [stdout] test symmetry::tests::test_matrix_symmetry ... ok
[INFO] [stdout] test symmetry::tests::test_permutation_apply ... ok
[INFO] [stdout] test symmetry::tests::test_permutation_identity ... ok
[INFO] [stdout] test symmetry::tests::test_automorphism_detection ... ok
[INFO] [stdout] test symmetry::tests::test_lex_predicates ... ok
[INFO] [stdout] test target_phase::tests::test_confidence_decay ... ok
[INFO] [stdout] test symmetry::tests::test_permutation_inverse ... ok
[INFO] [stdout] test target_phase::tests::test_target_phase ... ok
[INFO] [stdout] test symmetry::tests::test_symmetry_group ... ok
[INFO] [stdout] test target_phase::tests::test_target_phase_creation ... ok
[INFO] [stdout] test trail_saving::tests::test_get_best_trail ... ok
[INFO] [stdout] test trail_saving::tests::test_max_trails_limit ... ok
[INFO] [stdout] test trail_saving::tests::test_prune_trails ... ok
[INFO] [stdout] test trail::tests::test_trail_backtrack ... ok
[INFO] [stdout] test trail_saving::tests::test_is_var_in_trails ... ok
[INFO] [stdout] test target_phase::tests::test_on_conflict_literal ... ok
[INFO] [stdout] test target_phase::tests::test_reset_targets ... ok
[INFO] [stdout] test target_phase::tests::test_save_phase ... ok
[INFO] [stdout] test target_phase::tests::test_stats ... ok
[INFO] [stdout] test trail::tests::test_trail_basic ... ok
[INFO] [stdout] test trail::tests::test_trail_propagation ... ok
[INFO] [stdout] test trail_saving::tests::test_clear ... ok
[INFO] [stdout] test trail_saving::tests::test_empty_trail_not_saved ... ok
[INFO] [stdout] test profiling::tests::test_auto_timer ... ok
[INFO] [stdout] test trail_saving::tests::test_quality_threshold ... ok
[INFO] [stdout] test trail_saving::tests::test_record_and_save_trail ... ok
[INFO] [stdout] test trail_saving::tests::test_trail_saving_manager_creation ... ok
[INFO] [stdout] test uip_strategies::tests::test_clause_minimization ... ok
[INFO] [stdout] test trail_saving::tests::test_trail_use_tracking ... ok
[INFO] [stdout] test uip_strategies::tests::test_all_uips_analysis ... ok
[INFO] [stdout] test uip_strategies::tests::test_first_uip_analysis ... ok
[INFO] [stdout] test unsat_core::tests::test_reduction_ratio ... ok
[INFO] [stdout] test unsat_core::tests::test_minimize_deletion ... ok
[INFO] [stdout] test unsat_core::tests::test_unsat_core_with_redundant_clauses ... ok
[INFO] [stdout] test unsat_core::tests::test_sat_formula_no_core ... ok
[INFO] [stdout] test unsat_core::tests::test_unsat_core_extraction ... ok
[INFO] [stdout] test vivification::tests::test_assign_and_value ... ok
[INFO] [stdout] test vivification::tests::test_reset_stats ... ok
[INFO] [stdout] test vivification::tests::test_vivification_creation ... ok
[INFO] [stdout] test vivification::tests::test_vivification_stats ... ok
[INFO] [stdout] test uip_strategies::tests::test_hybrid_strategy_selection ... ok
[INFO] [stdout] test uip_strategies::tests::test_uip_analyzer_creation ... ok
[INFO] [stdout] test vivification::tests::test_vivification_resize ... ok
[INFO] [stdout] test uip_strategies::tests::test_uip_strategy_enum ... ok
[INFO] [stdout] test vivification::tests::test_assign_conflict ... ok
[INFO] [stdout] test vivification::tests::test_backtrack ... ok
[INFO] [stdout] test vivification::tests::test_vivify_binary_clause ... ok
[INFO] [stdout] test vmtf::tests::test_vmtf_bump ... ok
[INFO] [stdout] test vmtf::tests::test_vmtf_bump_head ... ok
[INFO] [stdout] test vmtf::tests::test_vmtf_bump_tail ... ok
[INFO] [stdout] test vmtf::tests::test_vmtf_creation ... ok
[INFO] [stdout] test vmtf::tests::test_vmtf_resize ... ok
[INFO] [stdout] test vmtf::tests::test_vmtf_select_sequential ... ok
[INFO] [stdout] test vmtf_queue::tests::test_auto_flush ... ok
[INFO] [stdout] test vmtf_queue::tests::test_clear ... ok
[INFO] [stdout] test vmtf::tests::test_vmtf_stats ... ok
[INFO] [stdout] test vmtf_queue::tests::test_bump_and_pop ... ok
[INFO] [stdout] test vmtf_queue::tests::test_resize ... ok
[INFO] [stdout] test vivification::tests::test_vivify_clause_basic ... ok
[INFO] [stdout] test vmtf_queue::tests::test_duplicate_bump ... ok
[INFO] [stdout] test vmtf_queue::tests::test_max_size_limit ... ok
[INFO] [stdout] test vmtf_queue::tests::test_contains ... ok
[INFO] [stdout] test vmtf_queue::tests::test_manual_flush ... ok
[INFO] [stdout] test uip_strategies::tests::test_last_uip_analysis ... ok
[INFO] [stdout] test vmtf::tests::test_vmtf_activity ... ok
[INFO] [stdout] test vmtf::tests::test_vmtf_multiple_bumps ... ok
[INFO] [stdout] test vsids::tests::test_vsids_basic ... ok
[INFO] [stdout] test vsids::tests::test_vsids_ordering ... ok
[INFO] [stdout] test xor::tests::test_gf2_matrix_basic ... ok
[INFO] [stdout] test xor::tests::test_gf2_matrix_conflict ... ok
[INFO] [stdout] test uip_strategies::tests::test_lbd_computation ... ok
[INFO] [stdout] test xor::tests::test_gf2_matrix_propagate ... ok
[INFO] [stdout] test vmtf_queue::tests::test_peek ... ok
[INFO] [stdout] test uip_strategies::tests::test_stats_reset ... ok
[INFO] [stdout] test xor::tests::test_gf2_row_xor ... ok
[INFO] [stdout] test xor::tests::test_xor_clause_watched ... ok
[INFO] [stdout] test uip_strategies::tests::test_uip_config_default ... ok
[INFO] [stdout] test vmtf_queue::tests::test_stats_tracking ... ok
[INFO] [stdout] test unsat_core::tests::test_is_unsat ... ok
[INFO] [stdout] test vmtf_queue::tests::test_vmtf_bump_queue_creation ... ok
[INFO] [stdout] test vivification::tests::test_vivify_all ... ok
[INFO] [stdout] test watched::tests::test_watch_lists ... ok
[INFO] [stdout] test xor::tests::test_gf2_row_operations ... ok
[INFO] [stdout] test xor::tests::test_gaussian_elimination ... ok
[INFO] [stdout] test xor::tests::test_gf2_matrix_unit ... ok
[INFO] [stdout] test xor::tests::test_xor_constraint_basic ... ok
[INFO] [stdout] test xor::tests::test_xor_constraint_substitute ... ok
[INFO] [stdout] test xor::tests::test_xor_manager_conflict ... ok
[INFO] [stdout] test xor::tests::test_xor_constraint_xor_with ... ok
[INFO] [stdout] test xor::tests::test_xor_detector_basic ... ok
[INFO] [stdout] test xor::tests::test_xor_manager_unit ... ok
[INFO] [stdout] test xor::tests::test_xor_propagator_basic ... ok
[INFO] [stdout] test xor::tests::test_xor_propagator_conflict ... ok
[INFO] [stdout] test xor::tests::test_xor_strengthening ... ok
[INFO] [stdout] test xor::tests::test_xor_propagator_backtrack ... ok
[INFO] [stdout] test xor::tests::test_xor_subsumption ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 577 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/property_based.rs (/opt/rustwide/target/debug/deps/property_based-46710d017b4fbdbe)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test property_tests::cdcl_properties::cdcl_basic_properties::empty_cnf_is_sat ... ok
[INFO] [stdout] test property_tests::cdcl_properties::resolution_properties::resolution_detects_empty_clause ... ok
[INFO] [stdout] test property_tests::cdcl_properties::cdcl_basic_properties::tautology_clause_ignorable ... ok
[INFO] [stdout] test property_tests::cdcl_properties::clause_database_properties::implication_graph_acyclic ... ok
[INFO] [stdout] test property_tests::cdcl_properties::clause_learning_properties::learned_clause_prevents_reexploration ... ok
[INFO] [stdout] test property_tests::cdcl_properties::variable_elimination_properties::pure_literal_elimination ... ok
[INFO] [stdout] test property_tests::cdcl_properties::resolution_properties::subsumption_removes_redundant_clauses ... ok
[INFO] [stdout] test property_tests::cdcl_properties::restart_properties::restart_preserves_learned_clauses ... ok
[INFO] [stdout] test property_tests::cdcl_properties::cdcl_basic_properties::single_unit_clause_is_sat ... ok
[INFO] [stdout] test property_tests::cdcl_properties::resolution_properties::resolution_preserves_satisfiability ... ok
[INFO] [stdout] test property_tests::cdcl_properties::clause_database_properties::clause_database_consistent_after_deletion ... ok
[INFO] [stdout] test property_tests::cdcl_properties::variable_elimination_properties::variable_elimination_preserves_sat ... ok
[INFO] [stdout] test property_tests::cdcl_properties::clause_learning_properties::conflict_clause_is_asserting ... ok
[INFO] [stdout] test property_tests::cdcl_properties::restart_properties::restart_doesnt_affect_correctness ... ok
[INFO] [stdout] test property_tests::cdcl_properties::clause_learning_properties::learned_clauses_cumulative ... ok
[INFO] [stdout] test property_tests::cdcl_properties::clause_database_properties::literal_watch_scheme_correct ... ok
[INFO] [stdout] test property_tests::cdcl_properties::cdcl_basic_properties::contradictory_units_are_unsat ... ok
[INFO] [stdout] test property_tests::cdcl_properties::cdcl_basic_properties::horn_clause_decidable ... ok
[INFO] [stdout] test property_tests::cdcl_properties::cdcl_basic_properties::binary_clause_sat ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_add_after_solve.rs (/opt/rustwide/target/debug/deps/test_add_after_solve-8ccd8903116481d0)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_add_unit_rules_out_prev ... ok
[INFO] [stdout] test test_add_unit_non_conflicting ... ok
[INFO] [stdout] test test_add_unit_after_solve ... ok
[INFO] [stdout] test test_xor_add_unit_after_solve ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_allsat_debug.rs (/opt/rustwide/target/debug/deps/test_allsat_debug-ee16a1fe36480824)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_simple_model_enum ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_clause_add.rs (/opt/rustwide/target/debug/deps/test_clause_add-800f13ee53de7f0d)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_simple_propagation ... ok
[INFO] [stdout] test test_xor_with_conflicting_unit ... ok
[INFO] [stdout] test test_xor_then_unit ... ok
[INFO] [stdout] test test_unit_clause_conflict ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_clause_violation.rs (/opt/rustwide/target/debug/deps/test_clause_violation-1ec14ae39e59d6d4)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_clause_violation_order2 ... ok
[INFO] [stdout] test test_minimal_clause_violation ... ok
[INFO] [stdout] test test_clause_violation_with_solve ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_clear_learned.rs (/opt/rustwide/target/debug/deps/test_clear_learned-1109f655a8a83c6b)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_with_reset ... ok
[INFO] [stdout] test test_debug_learning ... ok
[INFO] [stdout] test test_fresh_after_xor ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_debug_learned.rs (/opt/rustwide/target/debug/deps/test_debug_learned-4ca4095526ad717e)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_debug_learned_clause ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_debug_trail.rs (/opt/rustwide/target/debug/deps/test_debug_trail-ad30a5f2bf00f69a)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_2bit_detailed ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_detailed_trace.rs (/opt/rustwide/target/debug/deps/test_detailed_trace-346073d2251fca2b)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_fresh_solver ... ok
[INFO] [stdout] test test_incremental_comparison ... ok
[INFO] [stdout] test test_model_freshness ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_incremental_build.rs (/opt/rustwide/target/debug/deps/test_incremental_build-b6581e07c3ce9f80)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_incremental_1bit ... ok
[INFO] [stdout] test test_4bit_unit_before_sum ... ok
[INFO] [stdout] test test_incremental_2bit ... ok
[INFO] [stdout] test test_incremental_3bit ... ok
[INFO] [stdout] test test_incremental_4bit ... ok
[INFO] [stdout] test test_4bit_all_at_once ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_learned_conflict.rs (/opt/rustwide/target/debug/deps/test_learned_conflict-21e80a0ae3afd539)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_both_units_before_solve ... ok
[INFO] [stdout] test test_units_one_at_a_time ... ok
[INFO] [stdout] test test_no_learned_clauses ... ok
[INFO] [stdout] test test_with_xor_solve ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_learned_detail.rs (/opt/rustwide/target/debug/deps/test_learned_detail-705fb6d01b7716ad)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_learned_step_by_step ... ok
[INFO] [stderr]      Running tests/test_propagation.rs (/opt/rustwide/target/debug/deps/test_propagation-3bb0e675d232acb3)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_3bit_original ... ok
[INFO] [stdout] test test_3bit_sum_first_then_extra ... ok
[INFO] [stdout] test test_3bit_with_solve_between ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_propagation_debug.rs (/opt/rustwide/target/debug/deps/test_propagation_debug-0c324bf8b78a9340)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_3bit_with_solve_between_debug ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stderr]      Running tests/test_trace_bug.rs (/opt/rustwide/target/debug/deps/test_trace_bug-0b03efdfd8d2a8d8)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_trace_3bit ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_trace_decisions.rs (/opt/rustwide/target/debug/deps/test_trace_decisions-f1634cd27b67041a)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_compare_scenarios ... ok
[INFO] [stdout] test test_no_intermediate_solve ... ok
[INFO] [stdout] test test_with_push_pop ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_trace_incremental.rs (/opt/rustwide/target/debug/deps/test_trace_incremental-278fa89c8f6e76f3)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_trace_xor_incremental ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_trace_xor_detailed.rs (/opt/rustwide/target/debug/deps/test_trace_xor_detailed-32dbc98aa222e9af)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_xor_detailed_trace ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_trail_state.rs (/opt/rustwide/target/debug/deps/test_trail_state-30dea40322ff5fbf)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_unit_debug.rs (/opt/rustwide/target/debug/deps/test_unit_debug-5de5f0f074a5574d)
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_backtrack_state ... ok
[INFO] [stdout] test test_trace_trail_state ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_verify_clauses ... ok
[INFO] [stdout] test test_incremental_unit_clauses ... ok
[INFO] [stdout] test test_xor_step_by_step ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_unsat_debug.rs (/opt/rustwide/target/debug/deps/test_unsat_debug-d21cefa0cb00c1f8)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_unsat_debug ... ok
[INFO] [stdout] test test_step_by_step ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_var_count.rs (/opt/rustwide/target/debug/deps/test_var_count-bfb2f0482246e097)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_var_count ... ok
[INFO] [stdout] test test_4bit_var_allocation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_watch_corruption.rs (/opt/rustwide/target/debug/deps/test_watch_corruption-66c84d3a67aab6f1)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_xor_solve_af_solve ... ok
[INFO] [stdout] test test_xor_af_detail ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_watch_state.rs (/opt/rustwide/target/debug/deps/test_watch_state-236cbdff61999cce)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_simplest_incremental ... ok
[INFO] [stdout] test test_model_update ... ok
[INFO] [stdout] test test_single_clause_fresh ... ok
[INFO] [stdout] test test_minimal_xor_incremental ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_xor_bug.rs (/opt/rustwide/target/debug/deps/test_xor_bug-81b1cd889357c46b)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_xor_debug2.rs (/opt/rustwide/target/debug/deps/test_xor_debug2-b9c39d34e36904be)
[INFO] [stdout] running 2 tests
[INFO] [stderr]      Running tests/test_xor_verify.rs (/opt/rustwide/target/debug/deps/test_xor_verify-614891c03ee3dad4)
[INFO] [stdout] test test_two_xors_after_solve ... ok
[INFO] [stderr]    Doc-tests oxiz_sat
[INFO] [stdout] test test_xor_after_solve ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_intermediate_solve ... ok
[INFO] [stdout] test test_debug_incremental_xor ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_xor_a_false_b_false_fresh ... ok
[INFO] [stdout] test test_xor_a_false_b_false_incremental ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test src/allsat.rs - allsat (line 24) ... ignored
[INFO] [stdout] test src/lib.rs - (line 47) ... ok
[INFO] [stdout] test src/gpu.rs - gpu (line 39) ... ok
[INFO] [stdout] test src/lib.rs - (line 19) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.87s; merged doctests compilation took 0.83s
[INFO] running `Command { std: "docker" "inspect" "b6628bd389eef1b11c7cac744e60ddde43e7acfb6ae7f18261554308bfa46309", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b6628bd389eef1b11c7cac744e60ddde43e7acfb6ae7f18261554308bfa46309", kill_on_drop: false }`
[INFO] [stdout] b6628bd389eef1b11c7cac744e60ddde43e7acfb6ae7f18261554308bfa46309