[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.97.0-beta.6 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-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/nnunley/kyanite on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "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.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded libredox v0.1.14
[INFO] [stderr]   Downloaded cc v1.2.57
[INFO] [stderr]   Downloaded openssl-sys v0.9.112
[INFO] [stderr]   Downloaded redox_syscall v0.7.3
[INFO] [stderr]   Downloaded enum_dispatch v0.3.13
[INFO] [stderr]   Downloaded openssl v0.10.76
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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] de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943
[INFO] running `Command { std: "docker" "start" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943", 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" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943", 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" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[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 syn v2.0.117
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling rustix v1.1.4
[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 tracing v0.1.44
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha2 v0.10.9
[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 xattr v1.6.1
[INFO] [stderr]    Compiling cc v1.2.57
[INFO] [stderr]    Compiling tar v0.4.44
[INFO] [stderr]    Compiling tokio v1.50.0
[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 tokio-util v0.7.18
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling h2 v0.4.13
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling serde v1.0.228
[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 tokio-native-tls v0.3.1
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling kyanite-solver v0.1.0 (/opt/rustwide/workdir/kyanite-solver)
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling kyanite-cli v0.1.0 (/opt/rustwide/workdir/kyanite-cli)
[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 55.47s
[INFO] running `Command { std: "docker" "inspect" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943", 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" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling kyanite-cli v0.1.0 (/opt/rustwide/workdir/kyanite-cli)
[INFO] [stderr]    Compiling kyanite-solver v0.1.0 (/opt/rustwide/workdir/kyanite-solver)
[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.28s
[INFO] running `Command { std: "docker" "inspect" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943", 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" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "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.20s
[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::archive_index_selects_ordinals_after_filter_and_offset ... ok
[INFO] [stdout] test tests::budget_exceeded_reports_count_thresholds ... ok
[INFO] [stdout] test tests::analyze_jsonl_summarizes_finished_and_progress_records ... 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::budget_exceeded_ignores_within_budget_progress ... 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::path_filter_matches_substrings ... ok
[INFO] [stdout] test tests::resolve_budget_uses_first_matching_rule ... ok
[INFO] [stdout] test tests::archive_entries_honor_filter_and_offset ... ok
[INFO] [stdout] test tests::local_manifest_captures_platform_and_hashes ... 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] test tests::bench_progress_probe_preserves_native_simplex_pivot_stats ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/kyanite_cli-0d7b4d14bd14c699)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_core-e6d7dabff9369569)
[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] [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::hash_consing_compound ... ok
[INFO] [stdout] test rlimit::tests::op_limit_0_exceeded_at_first_tick_boundary ... ok
[INFO] [stdout] test rlimit::tests::reset_clears_count ... ok
[INFO] [stdout] test rlimit::tests::is_exceeded_at_limit ... ok
[INFO] [stdout] test rlimit::tests::saturating_add_prevents_overflow ... ok
[INFO] [stdout] test manager::tests::uninterpreted_function ... ok
[INFO] [stdout] test rlimit::tests::op_limit_1_exceeded_after_first_tick ... ok
[INFO] [stdout] test rlimit::tests::tick_increments_count ... ok
[INFO] [stdout] test simplify::tests::add_combines_like_terms ... ok
[INFO] [stdout] test simplify::tests::add_constants ... 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::double_negation ... ok
[INFO] [stdout] test simplify::tests::ge_constants ... ok
[INFO] [stdout] test simplify::tests::implies_a_true ... ok
[INFO] [stdout] test simplify::tests::ite_false_condition ... ok
[INFO] [stdout] test simplify::tests::le_cancels_identical_terms ... ok
[INFO] [stdout] test simplify::tests::implies_true_b ... ok
[INFO] [stdout] test simplify::tests::gt_constants ... ok
[INFO] [stdout] test simplify::tests::le_constants_equal ... ok
[INFO] [stdout] test simplify::tests::le_normalizes_linear_terms_across_both_sides ... ok
[INFO] [stdout] test simplify::tests::ite_true_condition ... ok
[INFO] [stdout] test simplify::tests::mod_constants ... ok
[INFO] [stdout] test simplify::tests::lt_constants_false ... ok
[INFO] [stdout] test simplify::tests::mul_one_identity ... ok
[INFO] [stdout] test simplify::tests::neg_neg_cancel ... ok
[INFO] [stdout] test simplify::tests::not_true ... ok
[INFO] [stdout] test simplify::tests::memoization_preserves_results ... ok
[INFO] [stdout] test simplify::tests::mul_constants ... ok
[INFO] [stdout] test simplify::tests::or_all_false ... ok
[INFO] [stdout] test simplify::tests::lt_constants_true ... ok
[INFO] [stdout] test simplify::tests::mul_zero_absorb ... ok
[INFO] [stdout] test simplify::tests::sub_constants ... ok
[INFO] [stdout] test simplify::tests::or_with_false ... ok
[INFO] [stdout] test simplify::tests::not_false ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_basic ... ok
[INFO] [stdout] test simplify::tests::sub_zero_identity ... ok
[INFO] [stdout] test simplify::tests::implies_false_b ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_numeral_and_negation ... ok
[INFO] [stdout] test smtlib::parser::tests::define_fun_parameters_do_not_leak_into_global_scope ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_declare_and_assert ... ok
[INFO] [stdout] test smtlib::parser::tests::let_bindings_do_not_leak_past_body_scope ... ok
[INFO] [stdout] test simplify::tests::nested_not_not_comparison ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_comment ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_full_program ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_define_fun ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_string ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_declare_fun ... ok
[INFO] [stdout] test simplify::tests::or_with_true ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_push_pop ... 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::printer::tests::print_nested ... ok
[INFO] [stdout] test smtlib::printer::tests::print_round_trip ... ok
[INFO] [stdout] test simplify::tests::div_by_zero_unchanged ... ok
[INFO] [stdout] test substitute::tests::substitute_preserves_unchanged ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_set_logic ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_unary_minus ... ok
[INFO] [stdout] test simplify::tests::neg_constant ... ok
[INFO] [stdout] test smtlib::printer::tests::print_negative ... ok
[INFO] [stdout] test substitute::tests::substitute_variable ... ok
[INFO] [stdout] test symbol::tests::intern_and_resolve ... ok
[INFO] [stdout] test simplify::tests::div_constants ... ok
[INFO] [stdout] test simplify::tests::eq_same_term ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 70 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_sat-03d57caa074e8c47)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[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::push_pop ... ok
[INFO] [stdout] test solver::tests::pigeonhole_3_into_2 ... ok
[INFO] [stdout] test solver::tests::pigeonhole_2_into_1 ... ok
[INFO] [stdout] test solver::tests::remaining_case_split_literal_defaults_to_positive_phase ... ok
[INFO] [stdout] test solver::tests::case_split_callback_can_bias_the_next_decision_once ... ok
[INFO] [stdout] test solver::tests::sat_stats_snapshot_exists ... ok
[INFO] [stdout] test solver::tests::satisfiable_3sat ... ok
[INFO] [stdout] test solver::tests::three_clause_unsat ... ok
[INFO] [stdout] test solver::tests::trivial_sat ... ok
[INFO] [stdout] test solver::tests::trivial_unsat ... ok
[INFO] [stdout] test solver::tests::unit_propagation ... ok
[INFO] [stdout] test probe::tests::watch_sat_probe_panics_on_violation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[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_keeps_only_one_pending_split_per_family ... ok
[INFO] [stdout] test search_planner::tests::planner_penalizes_repeated_split_families ... ok
[INFO] [stdout] test search_planner::tests::planner_cools_down_repeatedly_failing_families ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_higher_scored_split ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_open_literal_from_existing_split_clause ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_first_undef_split_literal ... ok
[INFO] [stdout] test search_planner::tests::planner_resurfaces_active_split_after_backtrack_undoes_decision ... ok
[INFO] [stdout] test search_planner::tests::planner_skips_cooled_existing_family_when_another_open_family_exists ... ok
[INFO] [stdout] test search_planner::tests::planner_reports_suppressed_families_after_configured_threshold ... 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::problem003_bounded_search_uses_planner_guidance ... ignored, assertive regression for planner-guided problem003 search
[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 solver::tests::problem003_unsat ... ignored, solver returns Unknown on integer-infeasible LP-feasible problem — needs deeper B&B
[INFO] [stdout] test solver::tests::bridge_probe_captures_atom_dispatch ... ok
[INFO] [stdout] test solver::tests::bridge_probe_captures_final_check_phases ... ok
[INFO] [stdout] test solver::tests::from_smtlib_parser ... ok
[INFO] [stdout] test solver::tests::simple_unsat ... ok
[INFO] [stdout] test solver::tests::bridge_probe_final_check_sat_path ... 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::boolean_and_theory ... ok
[INFO] [stdout] test solver::tests::diagnose_uflia_func_arith_unsat ... ok
[INFO] [stdout] test theory_bridge::tests::split_prefers_missing_lower_bound_side_first ... ok
[INFO] [stdout] test solver::tests::incremental_push_pop ... ok
[INFO] [stdout] test solver::tests::watch_probe_can_accumulate_state ... ok
[INFO] [stdout] test solver::tests::diagnose_uflia_congruence_unsat ... ok
[INFO] [stdout] test solver::tests::simple_sat ... ok
[INFO] [stdout] test search_planner::tests::planner_skips_fully_assigned_splits ... ok
[INFO] [stdout] test solver::tests::disjunction ... ok
[INFO] [stdout] test theory_bridge::tests::euf_derived_equalities_include_full_reason_chain ... ok
[INFO] [stdout] test theory_bridge::tests::bridge_next_decision_uses_existing_open_split_literal ... ok
[INFO] [stdout] test solver::tests::euf_congruence ... 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.53s
[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_unsat ... ok
[INFO] [stdout] test qf_lia_div_unsat ... ok
[INFO] [stdout] test qf_lia_div_sat ... 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_incremental_push_pop ... ok
[INFO] [stdout] test qf_lia_large_coefficients_unsat ... ok
[INFO] [stdout] test qf_lia_multi_var_unsat ... ok
[INFO] [stdout] test qf_lia_mod_unsat ... ok
[INFO] [stdout] test qf_lia_scaled_eq_sat ... ok
[INFO] [stdout] test qf_lia_strict_ineq_sat ... ok
[INFO] [stdout] test qf_lia_linear_combo_unsat ... ok
[INFO] [stdout] test qf_lia_branch_and_cut_sat ... ok
[INFO] [stdout] test qf_uflia_congruence_sat ... ok
[INFO] [stdout] test qf_lia_two_var_eq_unsat ... ok
[INFO] [stdout] test qf_lia_scaled_eq_unsat ... ok
[INFO] [stdout] test qf_lia_disjunction_sat ... ok
[INFO] [stdout] test qf_uflia_congruence_unsat ... ok
[INFO] [stdout] test qf_uflia_func_arith_sat ... ok
[INFO] [stdout] test qf_uflia_diamond_unsat ... ok
[INFO] [stdout] test qf_uflia_transitivity_unsat ... ok
[INFO] [stdout] test qf_lia_subtraction_sat ... ok
[INFO] [stdout] test qf_uflia_func_arith_unsat ... ok
[INFO] [stdout] test qf_uflia_nested_sat ... ok
[INFO] [stdout] test qf_lia_mod_sat ... ok
[INFO] [stdout] test qf_lia_strict_ineq_unsat ... ok
[INFO] [stdout] test qf_uflia_transitivity_sat ... ok
[INFO] [stdout] test qf_lia_multi_var_sat ... ok
[INFO] [stdout] test qf_lia_tight_bounds_unsat ... 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' (1909) 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:     0x558f03066d38 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x558f03066d38 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::trace_unsynchronized::<std[10d71ac2c42b111e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x558f03066d38 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x558f03066d38 - <<std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8fb95b77d25ab6c8]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x558f0307ac8a - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x558f0307ac8a - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x558f0306b552 - std[10d71ac2c42b111e]::io::default_write_fmt::<alloc[a7ee25936407c584]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x558f0306b552 - <alloc[a7ee25936407c584]::vec::Vec<u8> as std[10d71ac2c42b111e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x558f03045ef6 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x558f03045ef6 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x558f0305f289 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x558f02e3e9cc - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   12:     0x558f02e3e9cc - test[213991da798b1c03]::test_main_inner::<test[213991da798b1c03]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x558f0305f442 - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   14:     0x558f0305f442 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x558f03045fb2 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x558f0303b1b9 - std[10d71ac2c42b111e]::sys::backtrace::__rust_end_short_backtrace::<std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x558f03046ccd - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x558f0307b44c - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x558f0307b363 - core[8fb95b77d25ab6c8]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x558f02e2791f - core[8fb95b77d25ab6c8]::panicking::assert_failed::<kyanite_solver[42ae756829d6c87c]::solver::SolverResult, kyanite_solver[42ae756829d6c87c]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x558f02e2d489 - smtcomp[485f02fbbb93985]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x558f02e2da54 - smtcomp[485f02fbbb93985]::qf_lia_large_coefficients_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:267:5
[INFO] [stdout]   23:     0x558f02e2cb77 - smtcomp[485f02fbbb93985]::qf_lia_large_coefficients_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:265:35
[INFO] [stdout]   24:     0x558f02e2c556 - <smtcomp[485f02fbbb93985]::qf_lia_large_coefficients_sat::{closure#0} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x558f02e31aab - <fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x558f02e31aab - test[213991da798b1c03]::__rust_begin_short_backtrace::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x558f02e3f325 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x558f02e3f325 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x558f02e3f325 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x558f02e3f325 - std[10d71ac2c42b111e]::panicking::catch_unwind::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x558f02e3f325 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x558f02e3f325 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x558f02e3f325 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x558f02e38c34 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x558f02e38c34 - std[10d71ac2c42b111e]::sys::backtrace::__rust_begin_short_backtrace::<test[213991da798b1c03]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x558f02e423a2 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x558f02e423a2 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x558f02e423a2 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x558f02e423a2 - std[10d71ac2c42b111e]::panicking::catch_unwind::<(), core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x558f02e423a2 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x558f02e423a2 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x558f02e423a2 - <std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x558f0306669f - <alloc[a7ee25936407c584]::boxed::Box<dyn core[8fb95b77d25ab6c8]::ops::function::FnOnce<(), Output = ()> + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2275:9
[INFO] [stdout]   44:     0x558f0306669f - <std[10d71ac2c42b111e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x74762e7ceaa4 - <unknown>
[INFO] [stdout]   46:     0x74762e85ba64 - 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' (1906) 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:     0x558f03066d38 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x558f03066d38 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::trace_unsynchronized::<std[10d71ac2c42b111e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x558f03066d38 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x558f03066d38 - <<std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8fb95b77d25ab6c8]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x558f0307ac8a - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x558f0307ac8a - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x558f0306b552 - std[10d71ac2c42b111e]::io::default_write_fmt::<alloc[a7ee25936407c584]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x558f0306b552 - <alloc[a7ee25936407c584]::vec::Vec<u8> as std[10d71ac2c42b111e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x558f03045ef6 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x558f03045ef6 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x558f0305f289 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x558f02e3e9cc - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   12:     0x558f02e3e9cc - test[213991da798b1c03]::test_main_inner::<test[213991da798b1c03]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x558f0305f442 - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   14:     0x558f0305f442 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x558f03045fb2 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x558f0303b1b9 - std[10d71ac2c42b111e]::sys::backtrace::__rust_end_short_backtrace::<std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x558f03046ccd - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x558f0307b44c - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x558f0307b363 - core[8fb95b77d25ab6c8]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x558f02e2791f - core[8fb95b77d25ab6c8]::panicking::assert_failed::<kyanite_solver[42ae756829d6c87c]::solver::SolverResult, kyanite_solver[42ae756829d6c87c]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x558f02e2d489 - smtcomp[485f02fbbb93985]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x558f02e2d744 - smtcomp[485f02fbbb93985]::qf_lia_equality_chain_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:116:5
[INFO] [stdout]   23:     0x558f02e2c997 - smtcomp[485f02fbbb93985]::qf_lia_equality_chain_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:114:31
[INFO] [stdout]   24:     0x558f02e2c2d6 - <smtcomp[485f02fbbb93985]::qf_lia_equality_chain_sat::{closure#0} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x558f02e31aab - <fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x558f02e31aab - test[213991da798b1c03]::__rust_begin_short_backtrace::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x558f02e3f325 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x558f02e3f325 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x558f02e3f325 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x558f02e3f325 - std[10d71ac2c42b111e]::panicking::catch_unwind::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x558f02e3f325 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x558f02e3f325 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x558f02e3f325 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x558f02e38c34 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x558f02e38c34 - std[10d71ac2c42b111e]::sys::backtrace::__rust_begin_short_backtrace::<test[213991da798b1c03]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x558f02e423a2 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x558f02e423a2 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x558f02e423a2 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x558f02e423a2 - std[10d71ac2c42b111e]::panicking::catch_unwind::<(), core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x558f02e423a2 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x558f02e423a2 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x558f02e423a2 - <std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x558f0306669f - <alloc[a7ee25936407c584]::boxed::Box<dyn core[8fb95b77d25ab6c8]::ops::function::FnOnce<(), Output = ()> + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2275:9
[INFO] [stdout]   44:     0x558f0306669f - <std[10d71ac2c42b111e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x74762e7ceaa4 - <unknown>
[INFO] [stdout]   46:     0x74762e85ba64 - 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' (1921) 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:     0x558f03066d38 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x558f03066d38 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::trace_unsynchronized::<std[10d71ac2c42b111e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x558f03066d38 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x558f03066d38 - <<std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8fb95b77d25ab6c8]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x558f0307ac8a - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x558f0307ac8a - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x558f0306b552 - std[10d71ac2c42b111e]::io::default_write_fmt::<alloc[a7ee25936407c584]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x558f0306b552 - <alloc[a7ee25936407c584]::vec::Vec<u8> as std[10d71ac2c42b111e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x558f03045ef6 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x558f03045ef6 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x558f0305f289 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x558f02e3e9cc - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   12:     0x558f02e3e9cc - test[213991da798b1c03]::test_main_inner::<test[213991da798b1c03]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x558f0305f442 - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   14:     0x558f0305f442 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x558f03045fb2 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x558f0303b1b9 - std[10d71ac2c42b111e]::sys::backtrace::__rust_end_short_backtrace::<std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x558f03046ccd - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x558f0307b44c - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x558f0307b363 - core[8fb95b77d25ab6c8]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x558f02e2791f - core[8fb95b77d25ab6c8]::panicking::assert_failed::<kyanite_solver[42ae756829d6c87c]::solver::SolverResult, kyanite_solver[42ae756829d6c87c]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x558f02e2d489 - smtcomp[485f02fbbb93985]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x558f02e2d664 - smtcomp[485f02fbbb93985]::qf_lia_tight_bounds_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:307:5
[INFO] [stdout]   23:     0x558f02e2c847 - smtcomp[485f02fbbb93985]::qf_lia_tight_bounds_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:305:29
[INFO] [stdout]   24:     0x558f02e2c116 - <smtcomp[485f02fbbb93985]::qf_lia_tight_bounds_sat::{closure#0} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x558f02e31aab - <fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x558f02e31aab - test[213991da798b1c03]::__rust_begin_short_backtrace::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x558f02e3f325 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x558f02e3f325 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x558f02e3f325 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x558f02e3f325 - std[10d71ac2c42b111e]::panicking::catch_unwind::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x558f02e3f325 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x558f02e3f325 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x558f02e3f325 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x558f02e38c34 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x558f02e38c34 - std[10d71ac2c42b111e]::sys::backtrace::__rust_begin_short_backtrace::<test[213991da798b1c03]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x558f02e423a2 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x558f02e423a2 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x558f02e423a2 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x558f02e423a2 - std[10d71ac2c42b111e]::panicking::catch_unwind::<(), core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x558f02e423a2 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x558f02e423a2 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x558f02e423a2 - <std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x558f0306669f - <alloc[a7ee25936407c584]::boxed::Box<dyn core[8fb95b77d25ab6c8]::ops::function::FnOnce<(), Output = ()> + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2275:9
[INFO] [stdout]   44:     0x558f0306669f - <std[10d71ac2c42b111e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x74762e7ceaa4 - <unknown>
[INFO] [stdout]   46:     0x74762e85ba64 - 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.06s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p kyanite-solver --test smtcomp`
[INFO] running `Command { std: "docker" "inspect" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943", kill_on_drop: false }`
[INFO] [stdout] de1cc3e74fd47fcb2eff35897a08759536b63ef9917d8dcb4506e28c7be11943
