[INFO] fetching crate taco-interval-ta 0.1.0...
[INFO] testing taco-interval-ta-0.1.0 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate taco-interval-ta 0.1.0 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate taco-interval-ta 0.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate taco-interval-ta 0.1.0
[INFO] tweaked toml for crates.io crate taco-interval-ta 0.1.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate taco-interval-ta 0.1.0 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate taco-interval-ta 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded taco-display-utils v0.1.0
[INFO] [stderr]   Downloaded easy-smt v0.3.2
[INFO] [stderr]   Downloaded taco-parser v0.1.0
[INFO] [stderr]   Downloaded sptr v0.3.2
[INFO] [stderr]   Downloaded oxidd-cache v0.11.1
[INFO] [stderr]   Downloaded taco-smt-encoder v0.1.0
[INFO] [stderr]   Downloaded oxidd-reorder v0.6.1
[INFO] [stderr]   Downloaded oxidd-rules-tdd v0.6.0
[INFO] [stderr]   Downloaded taco-bdd v0.1.0
[INFO] [stderr]   Downloaded oxidd-derive v0.11.0
[INFO] [stderr]   Downloaded is_sorted v0.1.1
[INFO] [stderr]   Downloaded pest_generator v2.8.5
[INFO] [stderr]   Downloaded taco-threshold-automaton v0.1.0
[INFO] [stderr]   Downloaded linear-hashtbl v0.1.4
[INFO] [stderr]   Downloaded hugealloc v0.1.1
[INFO] [stderr]   Downloaded oxidd-rules-mtbdd v0.6.0
[INFO] [stderr]   Downloaded oxidd-dump v0.6.0
[INFO] [stderr]   Downloaded pest_derive v2.8.5
[INFO] [stderr]   Downloaded taco-model-checker v0.1.0
[INFO] [stderr]   Downloaded oxidd-core v0.11.0
[INFO] [stderr]   Downloaded oxidd-rules-bdd v0.11.0
[INFO] [stderr]   Downloaded pest_meta v2.8.5
[INFO] [stderr]   Downloaded oxidd v0.11.0
[INFO] [stderr]   Downloaded nanorand v0.8.0
[INFO] [stderr]   Downloaded oxidd-manager-index v0.11.0
[INFO] [stderr]   Downloaded derive-where v1.6.0
[INFO] [stderr]   Downloaded pest v2.8.5
[INFO] [stderr]   Downloaded oxidd-rules-zbdd v0.11.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870
[INFO] running `Command { std: "docker" "start" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870", 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" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870", 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" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling nanorand v0.8.0
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling is_sorted v0.1.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling spin v0.9.8
[INFO] [stderr]    Compiling sptr v0.3.2
[INFO] [stderr]    Compiling linear-hashtbl v0.1.4
[INFO] [stderr]    Compiling taco-display-utils v0.1.0
[INFO] [stderr]    Compiling easy-smt v0.3.2
[INFO] [stderr]    Compiling hugealloc v0.1.1
[INFO] [stderr]    Compiling oxidd-core v0.11.0
[INFO] [stderr]    Compiling flume v0.11.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling oxidd-cache v0.11.1
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling oxidd-reorder v0.6.1
[INFO] [stderr]    Compiling oxidd-derive v0.11.0
[INFO] [stderr]    Compiling derive-where v1.6.0
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling taco-threshold-automaton v0.1.0
[INFO] [stderr]    Compiling oxidd-manager-index v0.11.0
[INFO] [stderr]    Compiling oxidd-dump v0.6.0
[INFO] [stderr]    Compiling oxidd-rules-mtbdd v0.6.0
[INFO] [stderr]    Compiling oxidd-rules-bdd v0.11.0
[INFO] [stderr]    Compiling oxidd-rules-zbdd v0.11.0
[INFO] [stderr]    Compiling taco-smt-encoder v0.1.0
[INFO] [stderr]    Compiling oxidd v0.11.0
[INFO] [stderr]    Compiling taco-bdd v0.1.0
[INFO] [stderr]    Compiling taco-model-checker v0.1.0
[INFO] [stderr]    Compiling taco-interval-ta v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 32.84s
[INFO] running `Command { std: "docker" "inspect" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870", 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" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling anyhow v1.0.100
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]    Compiling pest v2.8.5
[INFO] [stderr]    Compiling pest_meta v2.8.5
[INFO] [stderr]    Compiling pest_generator v2.8.5
[INFO] [stderr]    Compiling pest_derive v2.8.5
[INFO] [stderr]    Compiling taco-parser v0.1.0
[INFO] [stderr]    Compiling taco-interval-ta v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 29.58s
[INFO] running `Command { std: "docker" "inspect" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870", 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" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/taco_interval_ta-116304fc7828a35f)
[INFO] [stdout] 
[INFO] [stdout] running 58 tests
[INFO] [stdout] test builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice_eq ... FAILED
[INFO] [stdout] test builder::static_interval_order::tests::test_get_intervals_of_threshold ... ok
[INFO] [stdout] test builder::static_interval_order::tests::get_interval_by_index_multi_var ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_empty_intervals ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_get_interval_index_single_var ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_get_interval_by_index_single_var ... ok
[INFO] [stdout] test builder::static_interval_order::simple_order_generator::tests::test_display_incomplete_order ... ok
[INFO] [stdout] test builder::static_interval_order::simple_order_generator::tests::test_encode_to_smt_partial_order ... FAILED
[INFO] [stdout] test builder::static_interval_order::tests::get_interval_index_multi_var ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_display_static_interval_order ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_get_next_interval ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_get_intervals_of_threshold_err ... ok
[INFO] [stdout] test builder::static_interval_order::simple_order_generator::tests::test_check_satisfiable ... FAILED
[INFO] [stdout] test builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice ... FAILED
[INFO] [stdout] test builder::static_interval_order::tests::test_order_to_boolean_expr ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_get_number_of_intervals ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_variable_not_found ... ok
[INFO] [stdout] test builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_new_param ... FAILED
[INFO] [stdout] test builder::static_interval_order::tests::test_interval_order_with_multiple_variables ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_get_zero_interval ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_interval_order_gt ... ok
[INFO] [stdout] test builder::static_interval_order::simple_order_generator::tests::test_build_order ... FAILED
[INFO] [stdout] test interval::tests::test_check_add_always_out_of_interval ... ok
[INFO] [stdout] test interval::tests::test_interval_boundary_display ... ok
[INFO] [stdout] test builder::static_interval_order::tests::test_interval_order_lt ... ok
[INFO] [stdout] test interval::tests::test_interval_lookup_error_display ... ok
[INFO] [stdout] test interval::tests::test_is_contained ... ok
[INFO] [stdout] test interval::tests::test_check_sub_always_out_of_interval ... ok
[INFO] [stdout] test interval::tests::test_get_threshold_interval ... ok
[INFO] [stdout] test tests::test_display_interval_constraint_construction_error ... ok
[INFO] [stdout] test interval::tests::test_interval_display ... ok
[INFO] [stdout] test builder::test::test_builder_for_lia_ta_err_on_comparison_constr_init_loc ... FAILED
[INFO] [stdout] test interval::tests::test_encode_interval_as_boolean_expr ... ok
[INFO] [stdout] test interval::tests::test_new_methods ... ok
[INFO] [stdout] test tests::test_display_abstract_rule ... ok
[INFO] [stdout] test tests::test_display_interval_ta_transformation_error ... ok
[INFO] [stdout] test tests::test_from_lia_simplify_and ... ok
[INFO] [stdout] test tests::test_from_lia_simplify_interval_all_or_none ... ok
[INFO] [stdout] test tests::test_from_lia_simplify_or ... ok
[INFO] [stdout] test builder::test::test_builder_for_lia_ta_err_on_comparison_constr_target ... FAILED
[INFO] [stdout] test builder::test::test_builder_for_lia_ta_err_on_comparison_rule ... FAILED
[INFO] [stdout] test tests::test_get_interval_constr ... FAILED
[INFO] [stdout] test builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_single_var ... FAILED
[INFO] [stdout] test tests::test_guard_to_boolean_expr ... ok
[INFO] [stdout] test builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_second_var_strictly_gt ... FAILED
[INFO] [stdout] test interval::tests::test_new_interval ... ok
[INFO] [stdout] test tests::test_interval_action_getters ... ok
[INFO] [stdout] test tests::test_interval_constraint_from_lia ... ok
[INFO] [stdout] test tests::test_interval_guard_is_enabled ... ok
[INFO] [stdout] test tests::test_interval_guard_is_enabled_error ... ok
[INFO] [stdout] test tests::test_rule_getter ... ok
[INFO] [stdout] test tests::test_get_interval_constr_unknown_var ... FAILED
[INFO] [stdout] test tests::test_get_initial_intervals ... FAILED
[INFO] [stdout] test tests::test_display_interval_threshold_automaton ... FAILED
[INFO] [stdout] test tests::test_get_constrained_variables ... FAILED
[INFO] [stdout] test tests::test_interval_threshold_automaton_getters ... FAILED
[INFO] [stdout] test builder::static_interval_order::tests::test_get_previous_interval ... ok
[INFO] [stdout] test interval::tests::test_is_open_methods ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice_eq stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice_eq' (1073) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16afb33b - taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice_eq
[INFO] [stdout]   14:     0x61cc16ad59d9 - <taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice_eq::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::static_interval_order::simple_order_generator::tests::test_encode_to_smt_partial_order stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::static_interval_order::simple_order_generator::tests::test_encode_to_smt_partial_order' (1082) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16af6672 - taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_encode_to_smt_partial_order
[INFO] [stdout]   14:     0x61cc16ad5979 - <taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_encode_to_smt_partial_order::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::static_interval_order::simple_order_generator::tests::test_check_satisfiable stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::static_interval_order::simple_order_generator::tests::test_check_satisfiable' (1080) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16af382f - taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_check_satisfiable
[INFO] [stdout]   14:     0x61cc16ad5939 - <taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_check_satisfiable::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice' (1072) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16af92be - taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice
[INFO] [stdout]   14:     0x61cc16ad59b9 - <taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_new_param stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_new_param' (1071) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16afd1ae - taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_new_param
[INFO] [stdout]   14:     0x61cc16ad59f9 - <taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_new_param::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::static_interval_order::simple_order_generator::tests::test_build_order stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::static_interval_order::simple_order_generator::tests::test_build_order' (1079) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16af16df - taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_build_order
[INFO] [stdout]   14:     0x61cc16ad5919 - <taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_build_order::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::test::test_builder_for_lia_ta_err_on_comparison_constr_init_loc stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::test::test_builder_for_lia_ta_err_on_comparison_constr_init_loc' (1111) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16adbffe - taco_interval_ta[3d48bdefc55f70e0]::builder::test::test_builder_for_lia_ta_err_on_comparison_constr_init_loc
[INFO] [stdout]   14:     0x61cc16ad5579 - <taco_interval_ta[3d48bdefc55f70e0]::builder::test::test_builder_for_lia_ta_err_on_comparison_constr_init_loc::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::test::test_builder_for_lia_ta_err_on_comparison_constr_target stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::test::test_builder_for_lia_ta_err_on_comparison_constr_target' (1114) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16adaae1 - taco_interval_ta[3d48bdefc55f70e0]::builder::test::test_builder_for_lia_ta_err_on_comparison_constr_target
[INFO] [stdout]   14:     0x61cc16ad5559 - <taco_interval_ta[3d48bdefc55f70e0]::builder::test::test_builder_for_lia_ta_err_on_comparison_constr_target::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::test::test_builder_for_lia_ta_err_on_comparison_rule stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::test::test_builder_for_lia_ta_err_on_comparison_rule' (1115) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16ad8fd6 - taco_interval_ta[3d48bdefc55f70e0]::builder::test::test_builder_for_lia_ta_err_on_comparison_rule
[INFO] [stdout]   14:     0x61cc16ad5539 - <taco_interval_ta[3d48bdefc55f70e0]::builder::test::test_builder_for_lia_ta_err_on_comparison_rule::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_get_interval_constr stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_get_interval_constr' (1140) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16a6764f - taco_interval_ta[3d48bdefc55f70e0]::tests::test_get_interval_constr
[INFO] [stdout]   14:     0x61cc16ad5319 - <taco_interval_ta[3d48bdefc55f70e0]::tests::test_get_interval_constr::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_single_var stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_single_var' (1075) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16af7e4e - taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_single_var
[INFO] [stdout]   14:     0x61cc16ad5999 - <taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_single_var::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_second_var_strictly_gt stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_second_var_strictly_gt' (1074) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16b0300e - taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_second_var_strictly_gt
[INFO] [stdout]   14:     0x61cc16ad5a19 - <taco_interval_ta[3d48bdefc55f70e0]::builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_second_var_strictly_gt::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_get_interval_constr_unknown_var stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_get_interval_constr_unknown_var' (1141) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16a7bf8c - taco_interval_ta[3d48bdefc55f70e0]::tests::test_get_interval_constr_unknown_var
[INFO] [stdout]   14:     0x61cc16ad5459 - <taco_interval_ta[3d48bdefc55f70e0]::tests::test_get_interval_constr_unknown_var::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_get_initial_intervals stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_get_initial_intervals' (1139) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16a6ee46 - taco_interval_ta[3d48bdefc55f70e0]::tests::test_get_initial_intervals
[INFO] [stdout]   14:     0x61cc16ad5399 - <taco_interval_ta[3d48bdefc55f70e0]::tests::test_get_initial_intervals::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_display_interval_threshold_automaton stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_display_interval_threshold_automaton' (1132) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16a7db4e - taco_interval_ta[3d48bdefc55f70e0]::tests::test_display_interval_threshold_automaton
[INFO] [stdout]   14:     0x61cc16ad5499 - <taco_interval_ta[3d48bdefc55f70e0]::tests::test_display_interval_threshold_automaton::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_get_constrained_variables stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_get_constrained_variables' (1138) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16a7458f - taco_interval_ta[3d48bdefc55f70e0]::tests::test_get_constrained_variables
[INFO] [stdout]   14:     0x61cc16ad53f9 - <taco_interval_ta[3d48bdefc55f70e0]::tests::test_get_constrained_variables::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_interval_threshold_automaton_getters stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_interval_threshold_automaton_getters' (1155) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/taco-smt-encoder-0.1.0/src/lib.rs:311:14:
[INFO] [stdout] Failed to create default SMT solver builder. No SMT solver found.: NotInstalled("No supported SMT solver found")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61cc16bc2361 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x61cc16bd725a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x61cc16bc686c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x61cc16b9e5d6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x61cc16bbaac9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x61cc16b1ad90 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x61cc16bbac82 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x61cc16b9e682 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x61cc16b97409 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x61cc16b9f27d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x61cc16bd79bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61cc16bd7792 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x61cc16b51dc6 - <taco_smt_encoder[6e93c1f91ca15d1f]::SMTSolverBuilder as core[df12db4294e9bfd3]::default::Default>::default
[INFO] [stdout]   13:     0x61cc16a7f48c - taco_interval_ta[3d48bdefc55f70e0]::tests::test_interval_threshold_automaton_getters
[INFO] [stdout]   14:     0x61cc16ad54b9 - <taco_interval_ta[3d48bdefc55f70e0]::tests::test_interval_threshold_automaton_getters::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x61cc16b0e07b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x61cc16b1b6e5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x61cc16b14fa4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x61cc16b1e842 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x61cc16bc1c39 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x788a1e266dfa - <unknown>
[INFO] [stdout]   21:     0x788a1e2fa3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_new_param
[INFO] [stdout]     builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice
[INFO] [stdout]     builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_add_ib_twice_eq
[INFO] [stdout]     builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_second_var_strictly_gt
[INFO] [stdout]     builder::static_interval_order::simple_order_generator::tests::test_add_interval_boundary_single_var
[INFO] [stdout]     builder::static_interval_order::simple_order_generator::tests::test_build_order
[INFO] [stdout]     builder::static_interval_order::simple_order_generator::tests::test_check_satisfiable
[INFO] [stdout]     builder::static_interval_order::simple_order_generator::tests::test_encode_to_smt_partial_order
[INFO] [stdout]     builder::test::test_builder_for_lia_ta_err_on_comparison_constr_init_loc
[INFO] [stdout]     builder::test::test_builder_for_lia_ta_err_on_comparison_constr_target
[INFO] [stdout]     builder::test::test_builder_for_lia_ta_err_on_comparison_rule
[INFO] [stdout]     tests::test_display_interval_threshold_automaton
[INFO] [stdout]     tests::test_get_constrained_variables
[INFO] [stdout]     tests::test_get_initial_intervals
[INFO] [stdout]     tests::test_get_interval_constr
[INFO] [stdout]     tests::test_get_interval_constr_unknown_var
[INFO] [stdout]     tests::test_interval_threshold_automaton_getters
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 41 passed; 17 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870", kill_on_drop: false }`
[INFO] [stdout] f15901de5f8235279e69138141f9a15757f53a34c644baa309db191208bde870
