[INFO] cloning repository https://github.com/nnunley/kyanite
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/nnunley/kyanite" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnnunley%2Fkyanite", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnnunley%2Fkyanite'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 497daf79ea5ea93661aad54b0b194feeb37178c6
[INFO] testing nnunley/kyanite against 1.98.0-beta.1 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnnunley%2Fkyanite" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/nnunley/kyanite
[INFO] finished tweaking git repo https://github.com/nnunley/kyanite
[INFO] tweaked toml for git repo https://github.com/nnunley/kyanite written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/nnunley/kyanite on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/nnunley/kyanite 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.98.0-beta.1" "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/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b
[INFO] running `Command { std: "docker" "start" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling openssl v0.10.76
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling kyanite-core v0.1.0 (/opt/rustwide/workdir/kyanite-core)
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling mio v1.1.1
[INFO] [stderr]    Compiling socket2 v0.6.3
[INFO] [stderr]    Compiling filetime v0.2.27
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling cc v1.2.57
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling xattr v1.6.1
[INFO] [stderr]    Compiling tar v0.4.44
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling openssl-sys v0.9.112
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling native-tls v0.2.18
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling openssl-macros v0.1.1
[INFO] [stderr]    Compiling enum_dispatch v0.3.13
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling h2 v0.4.13
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling icu_normalizer v2.1.1
[INFO] [stderr]    Compiling icu_properties v2.1.2
[INFO] [stderr]    Compiling kyanite-sat v0.1.0 (/opt/rustwide/workdir/kyanite-sat)
[INFO] [stderr]    Compiling kyanite-theories v0.1.0 (/opt/rustwide/workdir/kyanite-theories)
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling tokio-native-tls v0.3.1
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling kyanite-solver v0.1.0 (/opt/rustwide/workdir/kyanite-solver)
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling kyanite-cli v0.1.0 (/opt/rustwide/workdir/kyanite-cli)
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling hyper-tls v0.6.0
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]    Compiling kyanite-bench v0.1.0 (/opt/rustwide/workdir/kyanite-bench)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:2896:17
[INFO] [stdout]      |
[INFO] [stdout] 2896 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:3009:17
[INFO] [stdout]      |
[INFO] [stdout] 3009 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WorkerMessage` is never used
[INFO] [stdout]    --> kyanite-bench/src/main.rs:881:6
[INFO] [stdout]     |
[INFO] [stdout] 881 | enum WorkerMessage {
[INFO] [stdout]     |      ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `load_goldens` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1104:4
[INFO] [stdout]      |
[INFO] [stdout] 1104 | fn load_goldens(path: &Path) -> Result<Vec<BenchmarkBudgetRule>, String> {
[INFO] [stdout]      |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1442:4
[INFO] [stdout]      |
[INFO] [stdout] 1442 | fn run_benchmark_from_str(name: &str, content: &str, timeout_secs: u64) -> BenchmarkResult {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str_with_progress` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1452:4
[INFO] [stdout]      |
[INFO] [stdout] 1452 | fn run_benchmark_from_str_with_progress<F>(
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 46.30s
[INFO] running `Command { std: "docker" "inspect" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling kyanite-solver v0.1.0 (/opt/rustwide/workdir/kyanite-solver)
[INFO] [stderr]    Compiling kyanite-cli v0.1.0 (/opt/rustwide/workdir/kyanite-cli)
[INFO] [stderr]    Compiling kyanite-theories v0.1.0 (/opt/rustwide/workdir/kyanite-theories)
[INFO] [stderr]    Compiling kyanite-sat v0.1.0 (/opt/rustwide/workdir/kyanite-sat)
[INFO] [stderr]    Compiling kyanite-core v0.1.0 (/opt/rustwide/workdir/kyanite-core)
[INFO] [stderr]    Compiling kyanite-bench v0.1.0 (/opt/rustwide/workdir/kyanite-bench)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:2896:17
[INFO] [stdout]      |
[INFO] [stdout] 2896 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:3009:17
[INFO] [stdout]      |
[INFO] [stdout] 3009 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WorkerMessage` is never used
[INFO] [stdout]    --> kyanite-bench/src/main.rs:881:6
[INFO] [stdout]     |
[INFO] [stdout] 881 | enum WorkerMessage {
[INFO] [stdout]     |      ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1442:4
[INFO] [stdout]      |
[INFO] [stdout] 1442 | fn run_benchmark_from_str(name: &str, content: &str, timeout_secs: u64) -> BenchmarkResult {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str_with_progress` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1452:4
[INFO] [stdout]      |
[INFO] [stdout] 1452 | fn run_benchmark_from_str_with_progress<F>(
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 9.70s
[INFO] running `Command { std: "docker" "inspect" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> kyanite-bench/src/main.rs:2896:17
[INFO] [stderr]      |
[INFO] [stderr] 2896 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stderr]      |                 ----^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> kyanite-bench/src/main.rs:3009:17
[INFO] [stderr]      |
[INFO] [stderr] 3009 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stderr]      |                 ----^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: enum `WorkerMessage` is never used
[INFO] [stderr]    --> kyanite-bench/src/main.rs:881:6
[INFO] [stderr]     |
[INFO] [stderr] 881 | enum WorkerMessage {
[INFO] [stderr]     |      ^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `run_benchmark_from_str` is never used
[INFO] [stderr]     --> kyanite-bench/src/main.rs:1442:4
[INFO] [stderr]      |
[INFO] [stderr] 1442 | fn run_benchmark_from_str(name: &str, content: &str, timeout_secs: u64) -> BenchmarkResult {
[INFO] [stderr]      |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `run_benchmark_from_str_with_progress` is never used
[INFO] [stderr]     --> kyanite-bench/src/main.rs:1452:4
[INFO] [stderr]      |
[INFO] [stderr] 1452 | fn run_benchmark_from_str_with_progress<F>(
[INFO] [stderr]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `kyanite-bench` (bin "kyanite-bench" test) generated 5 warnings (run `cargo fix --bin "kyanite-bench" -p kyanite-bench --tests` to apply 2 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/kyanite_bench-c9243fb65a39ed3d)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test tests::analyze_jsonl_summarizes_finished_and_progress_records ... ok
[INFO] [stdout] test tests::bench_progress_probe_preserves_native_simplex_pivot_stats ... ok
[INFO] [stdout] test tests::budget_exceeded_reports_count_thresholds ... ok
[INFO] [stdout] test tests::budget_exceeded_ignores_within_budget_progress ... ok
[INFO] [stdout] test tests::budget_exceeded_reports_elapsed_thresholds ... ok
[INFO] [stdout] test tests::derive_goldens_from_jsonl_keeps_best_correct_run_per_benchmark ... ok
[INFO] [stdout] test tests::load_budget_rules_parses_json_file ... ok
[INFO] [stdout] test tests::load_goldens_converts_entries_to_budget_rules ... ok
[INFO] [stdout] test tests::offset_and_limit_apply_after_filtering ... ok
[INFO] [stdout] test tests::resolve_budget_uses_first_matching_rule ... ok
[INFO] [stdout] test tests::path_filter_matches_substrings ... ok
[INFO] [stdout] test tests::archive_index_selects_ordinals_after_filter_and_offset ... ok
[INFO] [stdout] test tests::local_manifest_captures_platform_and_hashes ... ok
[INFO] [stdout] test tests::archive_entries_honor_filter_and_offset ... ok
[INFO] [stdout] test tests::archive_index_is_saved_and_loaded_for_matching_archive ... ok
[INFO] [stdout] test tests::jsonl_writer_emits_run_and_benchmark_records ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/kyanite_cli-0d7b4d14bd14c699)
[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] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_core-e6d7dabff9369569)
[INFO] [stdout] 
[INFO] [stdout] running 70 tests
[INFO] [stdout] test manager::tests::hash_consing ... ok
[INFO] [stdout] test manager::tests::sorts_propagate ... ok
[INFO] [stdout] test manager::tests::uninterpreted_function ... ok
[INFO] [stdout] test manager::tests::hash_consing_compound ... ok
[INFO] [stdout] test rlimit::tests::is_exceeded_at_limit ... ok
[INFO] [stdout] test rlimit::tests::op_limit_1_exceeded_after_first_tick ... ok
[INFO] [stdout] test rlimit::tests::reset_clears_count ... ok
[INFO] [stdout] test rlimit::tests::op_limit_0_exceeded_at_first_tick_boundary ... ok
[INFO] [stdout] test rlimit::tests::saturating_add_prevents_overflow ... ok
[INFO] [stdout] test rlimit::tests::tick_increments_count ... ok
[INFO] [stdout] test simplify::tests::add_constants ... ok
[INFO] [stdout] test simplify::tests::add_combines_like_terms ... ok
[INFO] [stdout] test simplify::tests::add_partial_fold ... ok
[INFO] [stdout] test simplify::tests::add_zero_identity ... ok
[INFO] [stdout] test simplify::tests::add_zero_left ... ok
[INFO] [stdout] test simplify::tests::and_all_true ... ok
[INFO] [stdout] test simplify::tests::and_with_false ... ok
[INFO] [stdout] test simplify::tests::and_with_true ... ok
[INFO] [stdout] test simplify::tests::div_by_zero_unchanged ... ok
[INFO] [stdout] test simplify::tests::div_constants ... ok
[INFO] [stdout] test simplify::tests::implies_a_true ... ok
[INFO] [stdout] test simplify::tests::eq_same_term ... ok
[INFO] [stdout] test simplify::tests::double_negation ... ok
[INFO] [stdout] test simplify::tests::implies_true_b ... ok
[INFO] [stdout] test simplify::tests::gt_constants ... ok
[INFO] [stdout] test simplify::tests::implies_false_b ... ok
[INFO] [stdout] test simplify::tests::lt_constants_true ... ok
[INFO] [stdout] test simplify::tests::mod_constants ... ok
[INFO] [stdout] test simplify::tests::ge_constants ... ok
[INFO] [stdout] test simplify::tests::mul_zero_absorb ... ok
[INFO] [stdout] test simplify::tests::le_normalizes_linear_terms_across_both_sides ... ok
[INFO] [stdout] test simplify::tests::le_cancels_identical_terms ... ok
[INFO] [stdout] test simplify::tests::ite_true_condition ... ok
[INFO] [stdout] test simplify::tests::memoization_preserves_results ... ok
[INFO] [stdout] test simplify::tests::mul_constants ... ok
[INFO] [stdout] test simplify::tests::ite_false_condition ... ok
[INFO] [stdout] test simplify::tests::neg_constant ... ok
[INFO] [stdout] test simplify::tests::le_constants_equal ... ok
[INFO] [stdout] test simplify::tests::not_false ... ok
[INFO] [stdout] test simplify::tests::or_all_false ... ok
[INFO] [stdout] test simplify::tests::or_with_false ... ok
[INFO] [stdout] test simplify::tests::mul_one_identity ... ok
[INFO] [stdout] test simplify::tests::sub_constants ... ok
[INFO] [stdout] test simplify::tests::not_true ... ok
[INFO] [stdout] test simplify::tests::sub_zero_identity ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_basic ... ok
[INFO] [stdout] test simplify::tests::neg_neg_cancel ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_string ... ok
[INFO] [stdout] test smtlib::parser::tests::define_fun_parameters_do_not_leak_into_global_scope ... ok
[INFO] [stdout] test smtlib::parser::tests::let_bindings_do_not_leak_past_body_scope ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_declare_and_assert ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_numeral_and_negation ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_comment ... ok
[INFO] [stdout] test simplify::tests::nested_not_not_comparison ... ok
[INFO] [stdout] test simplify::tests::or_with_true ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_declare_fun ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_define_fun ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_full_program ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_let_binding ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_nested_arithmetic ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_push_pop ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_set_logic ... ok
[INFO] [stdout] test smtlib::printer::tests::print_nested ... ok
[INFO] [stdout] test smtlib::printer::tests::print_round_trip ... ok
[INFO] [stdout] test substitute::tests::substitute_preserves_unchanged ... ok
[INFO] [stdout] test substitute::tests::substitute_variable ... ok
[INFO] [stdout] test symbol::tests::intern_and_resolve ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_unary_minus ... ok
[INFO] [stdout] test smtlib::printer::tests::print_negative ... ok
[INFO] [stdout] test simplify::tests::lt_constants_false ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_sat-03d57caa074e8c47)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 70 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test solver::tests::case_split_callback_can_bias_the_next_decision_once ... ok
[INFO] [stdout] test solver::tests::case_split_clause_emits_theory_callback_event ... ok
[INFO] [stdout] test solver::tests::duplicate_case_split_clause_is_not_readded ... ok
[INFO] [stdout] test solver::tests::pigeonhole_3_into_2 ... ok
[INFO] [stdout] test solver::tests::push_pop ... ok
[INFO] [stdout] test solver::tests::sat_stats_snapshot_exists ... ok
[INFO] [stdout] test solver::tests::trivial_sat ... ok
[INFO] [stdout] test solver::tests::three_clause_unsat ... ok
[INFO] [stdout] test solver::tests::unit_propagation ... ok
[INFO] [stdout] test solver::tests::satisfiable_3sat ... ok
[INFO] [stdout] test solver::tests::remaining_case_split_literal_defaults_to_positive_phase ... ok
[INFO] [stdout] test solver::tests::trivial_unsat ... ok
[INFO] [stdout] test probe::tests::watch_sat_probe_panics_on_violation ... ok
[INFO] [stdout] test solver::tests::pigeonhole_2_into_1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_solver-d160276ce411d440)
[INFO] [stdout] 
[INFO] [stdout] running 44 tests
[INFO] [stdout] test search_planner::tests::planner_chooses_other_side_if_first_is_false ... ok
[INFO] [stdout] test search_planner::tests::planner_falls_back_to_cooled_down_family_when_it_is_the_only_choice ... ok
[INFO] [stdout] test search_planner::tests::planner_cools_down_repeatedly_failing_families ... ok
[INFO] [stdout] test search_planner::tests::planner_penalizes_repeated_split_families ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_first_undef_split_literal ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_open_literal_from_existing_split_clause ... ok
[INFO] [stdout] test search_planner::tests::planner_reports_suppressed_families_after_configured_threshold ... ok
[INFO] [stdout] test search_planner::tests::planner_resurfaces_active_split_after_backtrack_undoes_decision ... ok
[INFO] [stdout] test solver::tests::coef_size_problem004_default_config_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_or_presolve_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_with_bland_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_with_first_fractional_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_small_config_is_not_unsat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_small_config_model_satisfies_benchmark ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::diagnose_problem003_bound_flow ... ignored, diagnostic trace for problem003 bound flow
[INFO] [stdout] test solver::tests::diagnose_problem003_sat_branch_closure ... ignored, diagnostic trace for problem003 SAT branch closure
[INFO] [stdout] test solver::tests::diagnose_problem003_sat_branch_closure_deeper ... ignored, deeper diagnostic trace for problem003 SAT branch closure
[INFO] [stdout] test solver::tests::bridge_probe_captures_final_check_phases ... ok
[INFO] [stdout] test solver::tests::boolean_and_theory ... ok
[INFO] [stdout] test solver::tests::problem003_bounded_search_uses_planner_guidance ... ignored, assertive regression for planner-guided problem003 search
[INFO] [stdout] test solver::tests::bridge_probe_final_check_sat_path ... ok
[INFO] [stdout] test solver::tests::bridge_probe_captures_atom_dispatch ... ok
[INFO] [stdout] test solver::tests::diagnose_uflia_congruence_unsat ... ok
[INFO] [stdout] test search_planner::tests::planner_keeps_only_one_pending_split_per_family ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_higher_scored_split ... ok
[INFO] [stdout] test solver::tests::diagnose_uflia_func_arith_unsat ... ok
[INFO] [stdout] test search_planner::tests::planner_skips_cooled_existing_family_when_another_open_family_exists ... ok
[INFO] [stdout] test solver::tests::problem003_expanded_unsat ... ignored, solver returns Unknown on integer-infeasible LP-feasible problem — needs deeper B&B
[INFO] [stdout] test search_planner::tests::planner_skips_fully_assigned_splits ... ok
[INFO] [stdout] test solver::tests::from_smtlib_parser ... ok
[INFO] [stdout] test solver::tests::problem003_unsat ... ignored, solver returns Unknown on integer-infeasible LP-feasible problem — needs deeper B&B
[INFO] [stdout] test solver::tests::disjunction ... ok
[INFO] [stdout] test solver::tests::simple_integer_infeasible ... ok
[INFO] [stdout] test solver::tests::bridge_probe_captures_conflict_on_unsat ... ok
[INFO] [stdout] test solver::tests::watch_probe_can_accumulate_state ... ok
[INFO] [stdout] test theory_bridge::tests::euf_derived_equalities_include_full_reason_chain ... ok
[INFO] [stdout] test theory_bridge::tests::split_prefers_missing_lower_bound_side_first ... ok
[INFO] [stdout] test theory_bridge::tests::bridge_next_decision_uses_existing_open_split_literal ... ok
[INFO] [stdout] test solver::tests::simple_sat ... ok
[INFO] [stdout] test solver::tests::euf_congruence ... ok
[INFO] [stdout] test solver::tests::simple_unsat ... ok
[INFO] [stdout] test solver::tests::incremental_push_pop ... ok
[INFO] [stdout] test solver::tests::problem003_lia_only ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 31 passed; 0 failed; 13 ignored; 0 measured; 0 filtered out; finished in 1.68s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/smtcomp.rs (/opt/rustwide/target/debug/deps/smtcomp-a4db477c0e746315)
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test qf_lia_disjunction_sat ... ok
[INFO] [stdout] test qf_lia_disjunction_unsat ... ok
[INFO] [stdout] test qf_lia_incremental_push_pop ... ok
[INFO] [stdout] test qf_lia_equality_chain_unsat ... ok
[INFO] [stdout] test qf_lia_branch_and_cut_unsat ... ok
[INFO] [stdout] test qf_lia_div_sat ... ok
[INFO] [stdout] test qf_lia_div_unsat ... ok
[INFO] [stdout] test qf_lia_large_coefficients_unsat ... ok
[INFO] [stdout] test qf_lia_branch_and_cut_sat ... ok
[INFO] [stdout] test qf_lia_linear_combo_unsat ... ok
[INFO] [stdout] test qf_lia_scaled_eq_sat ... ok
[INFO] [stdout] test qf_lia_mod_unsat ... ok
[INFO] [stdout] test qf_lia_scaled_eq_unsat ... ok
[INFO] [stdout] test qf_uflia_diamond_unsat ... ok
[INFO] [stdout] test qf_lia_two_var_eq_unsat ... ok
[INFO] [stdout] test qf_lia_strict_ineq_unsat ... ok
[INFO] [stdout] test qf_lia_multi_var_unsat ... ok
[INFO] [stdout] test qf_lia_tight_bounds_unsat ... ok
[INFO] [stdout] test qf_lia_mod_sat ... ok
[INFO] [stdout] test qf_lia_subtraction_sat ... ok
[INFO] [stdout] test qf_uflia_congruence_sat ... ok
[INFO] [stdout] test qf_uflia_congruence_unsat ... ok
[INFO] [stdout] test qf_uflia_transitivity_unsat ... ok
[INFO] [stdout] test qf_lia_strict_ineq_sat ... ok
[INFO] [stdout] test qf_uflia_func_arith_unsat ... ok
[INFO] [stdout] test qf_uflia_transitivity_sat ... ok
[INFO] [stdout] test qf_lia_multi_var_sat ... ok
[INFO] [stdout] test qf_uflia_nested_sat ... ok
[INFO] [stdout] test qf_uflia_func_arith_sat ... ok
[INFO] [stdout] test qf_lia_large_coefficients_sat ... FAILED
[INFO] [stdout] test qf_lia_equality_chain_sat ... FAILED
[INFO] [stdout] test qf_lia_tight_bounds_sat ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- qf_lia_large_coefficients_sat stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'qf_lia_large_coefficients_sat' (1910) panicked at kyanite-solver/tests/smtcomp.rs:59:5:
[INFO] [stdout] assertion `left == right` failed: for input:
[INFO] [stdout] (set-logic QF_LIA)
[INFO] [stdout] (declare-fun x () Int)
[INFO] [stdout] (declare-fun y () Int)
[INFO] [stdout] (assert (<= (+ (* 1000 x) (* 999 y)) 100000))
[INFO] [stdout] (assert (>= x 50))
[INFO] [stdout] (assert (>= y 50))
[INFO] [stdout] (check-sat)
[INFO] [stdout] (exit)
[INFO] [stdout] 
[INFO] [stdout]   left: Unsat
[INFO] [stdout]  right: Sat
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55b99b2c9741 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x55b99b2c9741 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x55b99b2c9741 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x55b99b2c9741 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x55b99b2dd8aa - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x55b99b2dd8aa - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x55b99b2cdbfc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x55b99b2cdbfc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x55b99b2a7eb6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x55b99b2a7eb6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x55b99b2c1969 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x55b99b0a1d60 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x55b99b0a1d60 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x55b99b2c1b22 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x55b99b2c1b22 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x55b99b2a7f62 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x55b99b29f8c9 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x55b99b2a8b5d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x55b99b2de0ac - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x55b99b2ddfc3 - core[6883ba1bc0fe4ed1]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x55b99b08af4f - core[6883ba1bc0fe4ed1]::panicking::assert_failed::<kyanite_solver[5e1c14a59398382e]::solver::SolverResult, kyanite_solver[5e1c14a59398382e]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x55b99b090a79 - smtcomp[d3d1e5490b77ad68]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x55b99b091044 - smtcomp[d3d1e5490b77ad68]::qf_lia_large_coefficients_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:267:5
[INFO] [stdout]   23:     0x55b99b090167 - smtcomp[d3d1e5490b77ad68]::qf_lia_large_coefficients_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:265:35
[INFO] [stdout]   24:     0x55b99b08fb46 - <smtcomp[d3d1e5490b77ad68]::qf_lia_large_coefficients_sat::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x55b99b09509b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x55b99b09509b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x55b99b0a26e5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x55b99b0a26e5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x55b99b0a26e5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   30:     0x55b99b0a26e5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x55b99b0a26e5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x55b99b0a26e5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x55b99b0a26e5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x55b99b09d194 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x55b99b09d194 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x55b99b0a5832 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x55b99b0a5832 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x55b99b0a5832 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   39:     0x55b99b0a5832 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x55b99b0a5832 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x55b99b0a5832 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x55b99b0a5832 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x55b99b2c8fcf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   44:     0x55b99b2c8fcf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   45:     0x74955319faa4 - <unknown>
[INFO] [stdout]   46:     0x74955322ca64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- qf_lia_equality_chain_sat stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'qf_lia_equality_chain_sat' (1907) panicked at kyanite-solver/tests/smtcomp.rs:59:5:
[INFO] [stdout] assertion `left == right` failed: for input:
[INFO] [stdout] (set-logic QF_LIA)
[INFO] [stdout] (declare-fun x1 () Int)
[INFO] [stdout] (declare-fun x2 () Int)
[INFO] [stdout] (declare-fun x3 () Int)
[INFO] [stdout] (assert (= x1 (+ x2 1)))
[INFO] [stdout] (assert (= x2 (+ x3 1)))
[INFO] [stdout] (assert (= x3 0))
[INFO] [stdout] (assert (>= x1 0))
[INFO] [stdout] (assert (<= x1 10))
[INFO] [stdout] (check-sat)
[INFO] [stdout] (exit)
[INFO] [stdout] 
[INFO] [stdout]   left: Unsat
[INFO] [stdout]  right: Sat
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55b99b2c9741 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x55b99b2c9741 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x55b99b2c9741 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x55b99b2c9741 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x55b99b2dd8aa - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x55b99b2dd8aa - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x55b99b2cdbfc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x55b99b2cdbfc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x55b99b2a7eb6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x55b99b2a7eb6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x55b99b2c1969 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x55b99b0a1d60 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x55b99b0a1d60 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x55b99b2c1b22 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x55b99b2c1b22 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x55b99b2a7f62 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x55b99b29f8c9 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x55b99b2a8b5d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x55b99b2de0ac - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x55b99b2ddfc3 - core[6883ba1bc0fe4ed1]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x55b99b08af4f - core[6883ba1bc0fe4ed1]::panicking::assert_failed::<kyanite_solver[5e1c14a59398382e]::solver::SolverResult, kyanite_solver[5e1c14a59398382e]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x55b99b090a79 - smtcomp[d3d1e5490b77ad68]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x55b99b090d34 - smtcomp[d3d1e5490b77ad68]::qf_lia_equality_chain_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:116:5
[INFO] [stdout]   23:     0x55b99b08ff87 - smtcomp[d3d1e5490b77ad68]::qf_lia_equality_chain_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:114:31
[INFO] [stdout]   24:     0x55b99b08f8c6 - <smtcomp[d3d1e5490b77ad68]::qf_lia_equality_chain_sat::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x55b99b09509b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x55b99b09509b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x55b99b0a26e5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x55b99b0a26e5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x55b99b0a26e5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   30:     0x55b99b0a26e5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x55b99b0a26e5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x55b99b0a26e5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x55b99b0a26e5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x55b99b09d194 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x55b99b09d194 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x55b99b0a5832 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x55b99b0a5832 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x55b99b0a5832 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   39:     0x55b99b0a5832 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x55b99b0a5832 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x55b99b0a5832 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x55b99b0a5832 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x55b99b2c8fcf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   44:     0x55b99b2c8fcf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   45:     0x74955319faa4 - <unknown>
[INFO] [stdout]   46:     0x74955322ca64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- qf_lia_tight_bounds_sat stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'qf_lia_tight_bounds_sat' (1922) panicked at kyanite-solver/tests/smtcomp.rs:59:5:
[INFO] [stdout] assertion `left == right` failed: for input:
[INFO] [stdout] (set-logic QF_LIA)
[INFO] [stdout] (declare-fun x () Int)
[INFO] [stdout] (declare-fun y () Int)
[INFO] [stdout] (declare-fun z () Int)
[INFO] [stdout] (assert (= (+ x y z) 6))
[INFO] [stdout] (assert (>= x 0))
[INFO] [stdout] (assert (>= y 0))
[INFO] [stdout] (assert (>= z 0))
[INFO] [stdout] (assert (<= x 6))
[INFO] [stdout] (assert (<= y 6))
[INFO] [stdout] (assert (<= z 6))
[INFO] [stdout] (check-sat)
[INFO] [stdout] (exit)
[INFO] [stdout] 
[INFO] [stdout]   left: Unsat
[INFO] [stdout]  right: Sat
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55b99b2c9741 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x55b99b2c9741 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x55b99b2c9741 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x55b99b2c9741 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x55b99b2dd8aa - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x55b99b2dd8aa - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x55b99b2cdbfc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x55b99b2cdbfc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x55b99b2a7eb6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x55b99b2a7eb6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x55b99b2c1969 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x55b99b0a1d60 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x55b99b0a1d60 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x55b99b2c1b22 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x55b99b2c1b22 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x55b99b2a7f62 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x55b99b29f8c9 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x55b99b2a8b5d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x55b99b2de0ac - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x55b99b2ddfc3 - core[6883ba1bc0fe4ed1]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x55b99b08af4f - core[6883ba1bc0fe4ed1]::panicking::assert_failed::<kyanite_solver[5e1c14a59398382e]::solver::SolverResult, kyanite_solver[5e1c14a59398382e]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x55b99b090a79 - smtcomp[d3d1e5490b77ad68]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x55b99b090c54 - smtcomp[d3d1e5490b77ad68]::qf_lia_tight_bounds_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:307:5
[INFO] [stdout]   23:     0x55b99b08fe37 - smtcomp[d3d1e5490b77ad68]::qf_lia_tight_bounds_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:305:29
[INFO] [stdout]   24:     0x55b99b08f706 - <smtcomp[d3d1e5490b77ad68]::qf_lia_tight_bounds_sat::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x55b99b09509b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x55b99b09509b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x55b99b0a26e5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x55b99b0a26e5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x55b99b0a26e5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   30:     0x55b99b0a26e5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x55b99b0a26e5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x55b99b0a26e5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x55b99b0a26e5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x55b99b09d194 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x55b99b09d194 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x55b99b0a5832 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x55b99b0a5832 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x55b99b0a5832 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   39:     0x55b99b0a5832 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x55b99b0a5832 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x55b99b0a5832 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x55b99b0a5832 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x55b99b2c8fcf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   44:     0x55b99b2c8fcf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   45:     0x74955319faa4 - <unknown>
[INFO] [stdout]   46:     0x74955322ca64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     qf_lia_equality_chain_sat
[INFO] [stdout]     qf_lia_large_coefficients_sat
[INFO] [stdout]     qf_lia_tight_bounds_sat
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 29 passed; 3 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p kyanite-solver --test smtcomp`
[INFO] running `Command { std: "docker" "inspect" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b", kill_on_drop: false }`
[INFO] [stdout] 37c8e96f73fb0874cebb0c5c4c98d398bd1b059ea8ff880f3ad3efb08199bc8b
