[INFO] fetching crate oxiz-proof 0.2.0...
[INFO] testing oxiz-proof-0.2.0 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-2
[INFO] extracting crate oxiz-proof 0.2.0 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate oxiz-proof 0.2.0
[INFO] finished tweaking crates.io crate oxiz-proof 0.2.0
[INFO] tweaked toml for crates.io crate oxiz-proof 0.2.0 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-proof 0.2.0 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-proof 0.2.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 895909f6ff74078d54af2dcd080f71a134e41fd4e6516751a2124b8044457710
[INFO] running `Command { std: "docker" "start" "-a" "895909f6ff74078d54af2dcd080f71a134e41fd4e6516751a2124b8044457710", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "895909f6ff74078d54af2dcd080f71a134e41fd4e6516751a2124b8044457710", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "895909f6ff74078d54af2dcd080f71a134e41fd4e6516751a2124b8044457710", kill_on_drop: false }`
[INFO] [stdout] 895909f6ff74078d54af2dcd080f71a134e41fd4e6516751a2124b8044457710
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8b46af6e75f585be5b72ad5e29e7a121029c176653aa9798e83a79af705a1e15
[INFO] running `Command { std: "docker" "start" "-a" "8b46af6e75f585be5b72ad5e29e7a121029c176653aa9798e83a79af705a1e15", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.184
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling smartstring v1.0.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling portable-atomic-util v0.2.6
[INFO] [stderr]    Compiling safe_arch v1.0.0
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling thin-vec v0.2.14
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling const-random v0.1.18
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling indexmap v2.13.1
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling wide v1.2.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling winnow v0.7.15
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling rhai_codegen v3.1.0
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling oxiz-math v0.2.0
[INFO] [stderr]    Compiling oxiz-core v0.2.0
[INFO] [stderr]    Compiling oxiz-proof v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 43s
[INFO] running `Command { std: "docker" "inspect" "8b46af6e75f585be5b72ad5e29e7a121029c176653aa9798e83a79af705a1e15", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b46af6e75f585be5b72ad5e29e7a121029c176653aa9798e83a79af705a1e15", kill_on_drop: false }`
[INFO] [stdout] 8b46af6e75f585be5b72ad5e29e7a121029c176653aa9798e83a79af705a1e15
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8dcd0b4c76a2923e54dd145c37a293c7dd3d35cbfcc0349aef2704b33701449a
[INFO] running `Command { std: "docker" "start" "-a" "8dcd0b4c76a2923e54dd145c37a293c7dd3d35cbfcc0349aef2704b33701449a", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling oxiz-math v0.2.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling criterion v0.7.0
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling oxiz-core v0.2.0
[INFO] [stderr]    Compiling oxiz-proof v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 58s
[INFO] running `Command { std: "docker" "inspect" "8dcd0b4c76a2923e54dd145c37a293c7dd3d35cbfcc0349aef2704b33701449a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8dcd0b4c76a2923e54dd145c37a293c7dd3d35cbfcc0349aef2704b33701449a", kill_on_drop: false }`
[INFO] [stdout] 8dcd0b4c76a2923e54dd145c37a293c7dd3d35cbfcc0349aef2704b33701449a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 782ffeda1bdb69b2c1f33c881e6d20e8212550c196482514b57384e5164ea9aa
[INFO] running `Command { std: "docker" "start" "-a" "782ffeda1bdb69b2c1f33c881e6d20e8212550c196482514b57384e5164ea9aa", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.24s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxiz_proof-cf0605be7fcb25ec)
[INFO] [stdout] 
[INFO] [stdout] running 549 tests
[INFO] [stdout] test alethe::tests::test_alethe_anchor ... ok
[INFO] [stdout] test alethe::tests::test_alethe_clear ... ok
[INFO] [stdout] test alethe::tests::test_alethe_assume ... ok
[INFO] [stdout] test alethe::tests::test_alethe_define_fun ... ok
[INFO] [stdout] test alethe::tests::test_alethe_theory_lemma ... ok
[INFO] [stdout] test alethe::tests::test_alethe_step ... ok
[INFO] [stdout] test builder::tests::test_proof_builder_basic ... ok
[INFO] [stdout] test alethe::tests::test_alethe_rule_display ... ok
[INFO] [stdout] test builder::tests::test_theory_proof_builder ... ok
[INFO] [stdout] test carcara::tests::test_add_step_with_premise ... ok
[INFO] [stdout] test builder::tests::test_theory_proof_builder_refl ... ok
[INFO] [stdout] test alethe::tests::test_alethe_empty_clause ... ok
[INFO] [stdout] test carcara::tests::test_add_assume ... ok
[INFO] [stdout] test carcara::tests::test_carcara_proof_creation ... ok
[INFO] [stdout] test carcara::tests::test_sequential_indices ... ok
[INFO] [stdout] test carcara::tests::test_undefined_premise_error ... ok
[INFO] [stdout] test carcara::tests::test_to_carcara_format ... ok
[INFO] [stdout] test carcara::tests::test_validate_for_carcara ... ok
[INFO] [stdout] test carcara::tests::test_clear ... ok
[INFO] [stdout] test carcara::tests::test_validation ... ok
[INFO] [stdout] test carcara::tests::test_anchor ... ok
[INFO] [stdout] test checker::tests::test_check_error_display ... ok
[INFO] [stdout] test builder::tests::test_proof_builder_named ... ok
[INFO] [stdout] test checker::tests::test_check_result_is_valid ... ok
[INFO] [stdout] test checker::tests::test_checker_farkas_needs_premises ... ok
[INFO] [stdout] test checker::tests::test_checker_arr_read_write_2_needs_premise ... ok
[INFO] [stdout] test checker::tests::test_checker_continue_on_error ... ok
[INFO] [stdout] test checker::tests::test_theory_proof_invalid_trans_premises ... ok
[INFO] [stdout] test checker::tests::test_checker_refl_with_premises_fails ... ok
[INFO] [stdout] test checker::tests::test_theory_proof_empty ... ok
[INFO] [stdout] test checker::tests::test_checker_arr_read_write_1_axiom ... ok
[INFO] [stdout] test checker::tests::test_alethe_proof_valid ... ok
[INFO] [stdout] test checker::tests::test_theory_proof_missing_premise ... ok
[INFO] [stdout] test checker::tests::test_theory_proof_valid_refl ... ok
[INFO] [stdout] test cnf::tests::test_cnf_complex ... ok
[INFO] [stdout] test checker::tests::test_alethe_proof_empty ... ok
[INFO] [stdout] test checker::tests::test_theory_proof_valid_transitivity ... ok
[INFO] [stdout] test cnf::tests::test_cnf_and ... ok
[INFO] [stdout] test cnf::tests::test_cnf_iff ... ok
[INFO] [stdout] test cnf::tests::test_cnf_or ... ok
[INFO] [stdout] test cnf::tests::test_cnf_stats ... ok
[INFO] [stdout] test cnf::tests::test_cnf_implies ... ok
[INFO] [stdout] test cnf::tests::test_cnf_var ... ok
[INFO] [stdout] test cnf::tests::test_cnf_xor ... ok
[INFO] [stdout] test cnf::tests::test_cnf_not ... ok
[INFO] [stdout] test compress::tests::proptests::prop_compression_idempotent ... ok
[INFO] [stdout] test compress::tests::proptests::prop_dependency_cone_includes_premises ... ok
[INFO] [stdout] test compress::tests::test_compress_simple_proof ... ok
[INFO] [stdout] test compress::tests::test_compression_result ... ok
[INFO] [stdout] test compress::tests::test_compressor_default ... ok
[INFO] [stdout] test compress::tests::test_dependency_cone ... ok
[INFO] [stdout] test compress::tests::test_trim_to_conclusion ... ok
[INFO] [stdout] test compress::tests::test_trim_unused ... ok
[INFO] [stdout] test compress::tests::proptests::prop_no_optimization_preserves_size ... ok
[INFO] [stdout] test conversion::tests::prop_alethe_resolution_chain ... ok
[INFO] [stdout] test conversion::tests::prop_alethe_to_lfsc_nonempty ... ok
[INFO] [stdout] test conversion::tests::prop_bitvec_parsing ... ok
[INFO] [stdout] test compress::tests::proptests::prop_trim_contains_target ... ok
[INFO] [stdout] test compress::tests::proptests::prop_dependency_cone_includes_target ... ok
[INFO] [stdout] test conversion::tests::prop_converter_settings_preserved ... ok
[INFO] [stdout] test conversion::tests::prop_drat_deletion_strict_mode_fails ... ok
[INFO] [stdout] test conversion::tests::prop_sort_parsing_basic ... ok
[INFO] [stdout] test compress::tests::proptests::prop_compression_ratio_bounds ... ok
[INFO] [stdout] test conversion::tests::test_alethe_to_lfsc_anchor ... ok
[INFO] [stdout] test conversion::tests::test_alethe_to_lfsc_assumption ... ok
[INFO] [stdout] test conversion::tests::test_alethe_to_lfsc_define_fun ... ok
[INFO] [stdout] test conversion::tests::prop_drat_empty_clause_handling ... ok
[INFO] [stdout] test conversion::tests::test_alethe_to_lfsc_empty ... ok
[INFO] [stdout] test conversion::tests::test_alethe_to_lfsc_equality_rules ... ok
[INFO] [stdout] test conversion::tests::test_alethe_to_lfsc_unsupported_rule ... ok
[INFO] [stdout] test conversion::tests::test_alethe_to_lfsc_resolution ... ok
[INFO] [stdout] test conversion::tests::test_alethe_to_lfsc_with_comments ... ok
[INFO] [stdout] test conversion::tests::test_conversion_error_display ... ok
[INFO] [stdout] test conversion::tests::test_conversion_failed_error_display ... ok
[INFO] [stdout] test conversion::tests::test_converter_new ... ok
[INFO] [stdout] test conversion::tests::test_converter_with_settings ... ok
[INFO] [stdout] test conversion::tests::test_drat_to_alethe_empty ... ok
[INFO] [stdout] test conversion::tests::test_drat_to_alethe_empty_clause ... ok
[INFO] [stdout] test conversion::tests::test_drat_to_alethe_multiple_clauses ... ok
[INFO] [stdout] test conversion::tests::test_drat_to_alethe_single_clause ... ok
[INFO] [stdout] test conversion::tests::test_drat_to_alethe_with_deletion_non_strict ... ok
[INFO] [stdout] test conversion::tests::test_drat_to_alethe_with_deletion_strict ... ok
[INFO] [stdout] test conversion::tests::test_drat_to_alethe_with_resolution ... ok
[INFO] [stdout] test conversion::tests::test_information_loss_error_display ... ok
[INFO] [stdout] test conversion::tests::test_invalid_source_error_display ... ok
[INFO] [stdout] test conversion::tests::test_parse_sort_basic ... ok
[INFO] [stdout] test conversion::tests::test_parse_sort_bitvector ... ok
[INFO] [stdout] test conversion::tests::test_parse_sort_named ... ok
[INFO] [stdout] test conversion::tests::test_term_to_lfsc_term_application ... ok
[INFO] [stdout] test conversion::tests::test_term_to_lfsc_term_complex_nested ... ok
[INFO] [stdout] test conversion::tests::test_term_to_lfsc_term_literals ... ok
[INFO] [stdout] test conversion::tests::test_term_to_lfsc_term_negative_number ... ok
[INFO] [stdout] test conversion::tests::test_term_to_lfsc_term_negative_rational ... ok
[INFO] [stdout] test conversion::tests::test_term_to_lfsc_term_nested ... ok
[INFO] [stdout] test conversion::tests::test_term_to_lfsc_term_rational ... ok
[INFO] [stdout] test conversion::tests::test_term_to_lfsc_term_variable ... ok
[INFO] [stdout] test conversion::tests::test_tokenize_sexpr_deeply_nested ... ok
[INFO] [stdout] test conversion::tests::test_tokenize_sexpr_nested ... ok
[INFO] [stdout] test conversion::tests::test_tokenize_sexpr_simple ... ok
[INFO] [stdout] test conversion::tests::test_tokenize_sexpr_unbalanced ... ok
[INFO] [stdout] test convert::tests::test_conversion_stats ... ok
[INFO] [stdout] test convert::tests::test_is_assumption ... ok
[INFO] [stdout] test convert::tests::test_map_theory_rule_to_alethe ... ok
[INFO] [stdout] test convert::tests::test_theory_to_alethe_arithmetic ... ok
[INFO] [stdout] test convert::tests::test_theory_to_alethe_simple ... ok
[INFO] [stdout] test convert::tests::test_theory_to_alethe_transitivity ... ok
[INFO] [stdout] test convert::tests::test_theory_to_alethe_with_stats ... ok
[INFO] [stdout] test coq::tests::test_coq_exporter_creation ... ok
[INFO] [stdout] test coq::tests::test_escape_string ... ok
[INFO] [stdout] test coq::tests::test_export_inference_proof ... ok
[INFO] [stdout] test coq::tests::test_export_simple_proof ... ok
[INFO] [stdout] test coq::tests::test_export_theory_proof ... ok
[INFO] [stdout] test coq::tests::test_fresh_ident ... ok
[INFO] [stdout] test coq_enhanced::tests::test_coq_proof_term_app ... ok
[INFO] [stdout] test coq_enhanced::tests::test_coq_proof_term_lambda ... ok
[INFO] [stdout] test coq_enhanced::tests::test_coq_proof_term_var ... ok
[INFO] [stdout] test coq_enhanced::tests::test_coq_type_arrow ... ok
[INFO] [stdout] test coq_enhanced::tests::test_enhanced_exporter_creation ... ok
[INFO] [stdout] test coq_enhanced::tests::test_export_with_proof_terms ... ok
[INFO] [stdout] test craig::tests::test_array_interpolator ... ok
[INFO] [stdout] test craig::tests::test_color_display ... ok
[INFO] [stdout] test craig::tests::test_euf_interpolator ... ok
[INFO] [stdout] test craig::tests::test_huang_basic ... ok
[INFO] [stdout] test craig::tests::test_huang_inference_ab_ab ... ok
[INFO] [stdout] test craig::tests::test_interpolant_simplify ... ok
[INFO] [stdout] test craig::tests::test_interpolant_term_and ... ok
[INFO] [stdout] test conversion::tests::test_alethe_to_lfsc_without_comments ... ok
[INFO] [stdout] test craig::tests::test_interpolant_term_creation ... ok
[INFO] [stdout] test craig::tests::test_interpolant_term_display ... ok
[INFO] [stdout] test craig::tests::test_interpolant_term_implies ... ok
[INFO] [stdout] test craig::tests::test_interpolant_term_not ... ok
[INFO] [stdout] test craig::tests::test_interpolant_term_or ... ok
[INFO] [stdout] test craig::tests::test_interpolation_algorithms ... ok
[INFO] [stdout] test craig::tests::test_interpolation_config_default ... ok
[INFO] [stdout] test craig::tests::test_interpolation_error_display ... ok
[INFO] [stdout] test craig::tests::test_interpolation_stats_default ... ok
[INFO] [stdout] test craig::tests::test_lia_interpolator ... ok
[INFO] [stdout] test craig::tests::test_mcmillan_basic ... ok
[INFO] [stdout] test craig::tests::test_mcmillan_inference_ab_ab ... ok
[INFO] [stdout] test craig::tests::test_nested_and_or ... ok
[INFO] [stdout] test craig::tests::test_partition_creation ... ok
[INFO] [stdout] test craig::tests::test_pudlak_basic ... ok
[INFO] [stdout] test craig::tests::test_select_store_display ... ok
[INFO] [stdout] test craig::tests::test_sequence_interpolator_too_few ... ok
[INFO] [stdout] test craig::tests::test_shared_symbols ... ok
[INFO] [stdout] test craig::tests::test_symbol_collection ... ok
[INFO] [stdout] test craig::tests::test_tree_interpolator_empty ... ok
[INFO] [stdout] test craig::tests::test_tree_interpolator_single_leaf ... ok
[INFO] [stdout] test craig::tests::test_tree_node ... ok
[INFO] [stdout] test craig::tests::test_num_term ... ok
[INFO] [stdout] test diff::tests::proptests::prop_diff_empty_proofs ... ok
[INFO] [stdout] test compress::tests::proptests::prop_nodes_removed_consistency ... ok
[INFO] [stdout] test diff::tests::proptests::prop_diff_self_is_empty ... ok
[INFO] [stdout] test conversion::tests::prop_drat_to_alethe_preserves_additions ... ok
[INFO] [stdout] test diff::tests::proptests::prop_disjoint_proofs_zero_jaccard ... ok
[INFO] [stdout] test diff::tests::test_diff_different_proofs ... ok
[INFO] [stdout] test diff::tests::test_diff_display ... ok
[INFO] [stdout] test diff::tests::test_diff_identical_proofs ... ok
[INFO] [stdout] test diff::tests::proptests::prop_identical_proofs_similarity ... ok
[INFO] [stdout] test diff::tests::test_similarity_disjoint ... ok
[INFO] [stdout] test diff::tests::proptests::prop_similarity_bounds ... ok
[INFO] [stdout] test diff::tests::test_similarity_display ... ok
[INFO] [stdout] test diff::tests::test_similarity_partial_overlap ... ok
[INFO] [stdout] test diff::tests::test_similarity_identical ... ok
[INFO] [stdout] test drat::tests::test_drat_proof_binary ... ok
[INFO] [stdout] test drat::tests::test_drat_proof_clear ... ok
[INFO] [stdout] test drat::tests::test_drat_lit_encoding ... ok
[INFO] [stdout] test drat::tests::test_drat_proof_add ... ok
[INFO] [stdout] test explanation::tests::test_analyze_complexity ... ok
[INFO] [stdout] test drat::tests::test_drat_proof_delete ... ok
[INFO] [stdout] test explanation::tests::test_complexity_display ... ok
[INFO] [stdout] test explanation::tests::test_empty_proof_complexity ... ok
[INFO] [stdout] test explanation::tests::test_explain_axiom ... ok
[INFO] [stdout] test explanation::tests::test_explain_inference ... ok
[INFO] [stdout] test explanation::tests::test_explain_proof ... ok
[INFO] [stdout] test explanation::tests::test_rule_descriptions ... ok
[INFO] [stdout] test explanation::tests::test_summarize_proof ... ok
[INFO] [stdout] test explanation::tests::test_verbosity_levels ... ok
[INFO] [stdout] test fingerprint::tests::test_fingerprint_database_add ... ok
[INFO] [stdout] test fingerprint::tests::test_fingerprint_database_clear ... ok
[INFO] [stdout] test fingerprint::tests::test_fingerprint_database_find_similar ... ok
[INFO] [stdout] test drat::tests::test_drat_proof_steps ... ok
[INFO] [stdout] test fingerprint::tests::test_fingerprint_display ... ok
[INFO] [stdout] test fingerprint::tests::test_fingerprint_generator_new ... ok
[INFO] [stdout] test fingerprint::tests::test_fingerprint_generator_with_settings ... ok
[INFO] [stdout] test fingerprint::tests::test_generate_fingerprint_empty_proof ... ok
[INFO] [stdout] test fingerprint::tests::test_identical_proofs_same_fingerprint ... ok
[INFO] [stdout] test fingerprint::tests::test_similarity_score_identical ... ok
[INFO] [stdout] test fingerprint::tests::test_size_features_dissimilar ... ok
[INFO] [stdout] test fingerprint::tests::test_size_features_similar ... ok
[INFO] [stdout] test format::tests::test_convert_to_coq ... ok
[INFO] [stdout] test format::tests::test_convert_to_isabelle ... ok
[INFO] [stdout] test format::tests::test_convert_to_lean ... ok
[INFO] [stdout] test format::tests::test_format_display ... ok
[INFO] [stdout] test format::tests::test_format_extension ... ok
[INFO] [stdout] test format::tests::test_format_name ... ok
[INFO] [stdout] test format::tests::test_quick_conversion_coq ... ok
[INFO] [stdout] test format::tests::test_quick_conversion_isabelle ... ok
[INFO] [stdout] test format::tests::test_quick_conversion_lean ... ok
[INFO] [stdout] test fingerprint::tests::test_fingerprint_database_new ... ok
[INFO] [stdout] test heuristic::tests::test_abstract_branching_pattern ... ok
[INFO] [stdout] test explanation::tests::test_critical_path ... ok
[INFO] [stdout] test conversion::tests::prop_conversion_errors_nonempty ... ok
[INFO] [stdout] test heuristic::tests::test_extract_lemma_pattern ... ok
[INFO] [stdout] test heuristic::tests::test_get_top_heuristics ... ok
[INFO] [stdout] test heuristic::tests::test_infer_theory_from_rule ... ok
[INFO] [stdout] test heuristic::tests::test_strategy_learner_new ... ok
[INFO] [stdout] test heuristic::tests::test_strategy_learner_with_settings ... ok
[INFO] [stdout] test heuristic::tests::test_clear_heuristics ... ok
[INFO] [stdout] test heuristic::tests::test_heuristic_type_display ... ok
[INFO] [stdout] test heuristic::tests::test_proof_heuristic_display ... ok
[INFO] [stdout] test compress::tests::proptests::prop_compression_reduces_or_maintains_size ... ok
[INFO] [stdout] test conversion::tests::prop_term_parsing_deterministic ... ok
[INFO] [stdout] test diff::tests::proptests::prop_similarity_symmetric ... ok
[INFO] [stdout] test incremental::tests::proptests::prop_pop_removes_scope_mappings ... ok
[INFO] [stdout] test incremental::tests::proptests::prop_recorder_id_ordering ... ok
[INFO] [stdout] test incremental::tests::proptests::prop_scope_level_tracking ... ok
[INFO] [stdout] test incremental::tests::test_disabled_recording ... ok
[INFO] [stdout] test incremental::tests::test_incremental_builder_creation ... ok
[INFO] [stdout] test incremental::tests::test_incremental_stats ... ok
[INFO] [stdout] test incremental::tests::test_proof_recorder ... ok
[INFO] [stdout] test compress::tests::proptests::prop_trim_reduces_size ... ok
[INFO] [stdout] test incremental::tests::test_proof_recorder_batch ... ok
[INFO] [stdout] test incremental::tests::test_record_axiom ... ok
[INFO] [stdout] test incremental::tests::test_record_inference ... ok
[INFO] [stdout] test incremental::tests::test_take_proof ... ok
[INFO] [stdout] test incremental::tests::test_push_pop_scope ... ok
[INFO] [stdout] test interpolant::tests::test_extract_symbols ... ok
[INFO] [stdout] test interpolant::tests::test_extract_symbols_numbers ... ok
[INFO] [stdout] test interpolant::tests::test_color_display ... ok
[INFO] [stdout] test interpolant::tests::test_extractor_creation ... ok
[INFO] [stdout] test interpolant::tests::test_interpolant_creation ... ok
[INFO] [stdout] test interpolant::tests::test_interpolant_invalid ... ok
[INFO] [stdout] test interpolant::tests::test_interpolant_validity ... ok
[INFO] [stdout] test interpolant::tests::test_simple_interpolant_extraction ... ok
[INFO] [stdout] test isabelle::tests::test_default_exporter ... ok
[INFO] [stdout] test isabelle::tests::test_escape_string ... ok
[INFO] [stdout] test interpolant::tests::test_partition_creation ... ok
[INFO] [stdout] test isabelle::tests::test_export_simple_proof ... ok
[INFO] [stdout] test isabelle::tests::test_export_theory_proof ... ok
[INFO] [stdout] test isabelle::tests::test_export_inference_proof ... ok
[INFO] [stdout] test isabelle::tests::test_isabelle_exporter_creation ... ok
[INFO] [stdout] test isabelle::tests::test_main_result_generation ... ok
[INFO] [stdout] test isabelle::tests::test_fresh_ident ... ok
[INFO] [stdout] test isabelle_enhanced::tests::test_apply_style_exporter ... ok
[INFO] [stdout] test isabelle_enhanced::tests::test_enhanced_exporter_creation ... ok
[INFO] [stdout] test isabelle_enhanced::tests::test_export_with_isar_proofs ... ok
[INFO] [stdout] test isabelle_enhanced::tests::test_isabelle_method_auto ... ok
[INFO] [stdout] test isabelle_enhanced::tests::test_isabelle_method_simp ... ok
[INFO] [stdout] test isabelle_enhanced::tests::test_isabelle_type_fun ... ok
[INFO] [stdout] test lazy::tests::test_clear_cache ... ok
[INFO] [stdout] test lazy::tests::test_depends_on ... ok
[INFO] [stdout] test lazy::tests::test_force_node ... ok
[INFO] [stdout] test lazy::tests::test_get_lazy_node ... ok
[INFO] [stdout] test lazy::tests::test_get_premises_lazy ... ok
[INFO] [stdout] test lazy::tests::test_is_axiom_lazy ... ok
[INFO] [stdout] test lazy::tests::test_lazy_dependency_resolver ... ok
[INFO] [stdout] test lazy::tests::test_lazy_node_new ... ok
[INFO] [stdout] test lazy::tests::test_lazy_proof_new ... ok
[INFO] [stdout] test lazy::tests::test_lazy_stats_hit_rate ... ok
[INFO] [stdout] test lean::tests::test_escape_string ... ok
[INFO] [stdout] test lean::tests::test_export_inference_proof ... ok
[INFO] [stdout] test lazy::tests::test_lazy_stats ... ok
[INFO] [stdout] test lean::tests::test_export_simple_proof_lean3 ... ok
[INFO] [stdout] test lean::tests::test_export_simple_proof_lean4 ... ok
[INFO] [stdout] test lean::tests::test_export_theory_proof ... ok
[INFO] [stdout] test lean::tests::test_fresh_ident ... ok
[INFO] [stdout] test lean::tests::test_lean3_exporter_creation ... ok
[INFO] [stdout] test lean::tests::test_lean_exporter_creation ... ok
[INFO] [stdout] test lean_enhanced::tests::test_enhanced_exporter_creation ... ok
[INFO] [stdout] test lean_enhanced::tests::test_export_with_proof_terms ... ok
[INFO] [stdout] test lean_enhanced::tests::test_lean_proof_term_lambda ... ok
[INFO] [stdout] test lean_enhanced::tests::test_lean_proof_term_var ... ok
[INFO] [stdout] test lean_enhanced::tests::test_lean_tactic_rfl ... ok
[INFO] [stdout] test lean_enhanced::tests::test_term_mode_exporter ... ok
[INFO] [stdout] test lfsc::tests::test_lfsc_boolean_theory ... ok
[INFO] [stdout] test lfsc::tests::test_lfsc_check ... ok
[INFO] [stdout] test lfsc::tests::test_lfsc_declare_const ... ok
[INFO] [stdout] test lfsc::tests::test_lfsc_declare_sort ... ok
[INFO] [stdout] test lfsc::tests::test_lfsc_lambda ... ok
[INFO] [stdout] test lfsc::tests::test_lfsc_proof_clear ... ok
[INFO] [stdout] test lfsc::tests::test_lfsc_sort_display ... ok
[INFO] [stdout] test lfsc::tests::test_lfsc_term_display ... ok
[INFO] [stdout] test lean_enhanced::tests::test_lean_tactic_apply ... ok
[INFO] [stdout] test logging::tests::test_create_and_close ... ok
[INFO] [stdout] test logging::tests::test_log_axiom ... ok
[INFO] [stdout] test logging::tests::test_log_inference ... ok
[INFO] [stdout] test logging::tests::test_write_after_close_fails ... ok
[INFO] [stdout] test merge::tests::proptests::prop_merge_empty_proofs ... ok
[INFO] [stdout] test merge::tests::proptests::prop_merge_preserves_nodes ... ok
[INFO] [stdout] test merge::tests::proptests::prop_merge_single_is_copy ... ok
[INFO] [stdout] test merge::tests::proptests::prop_slice_axiom_is_single ... ok
[INFO] [stdout] test merge::tests::proptests::prop_slice_smaller_or_equal ... ok
[INFO] [stdout] test merge::tests::test_merge_proofs_empty ... ok
[INFO] [stdout] test merge::tests::test_merge_proofs_multiple ... ok
[INFO] [stdout] test merge::tests::proptests::prop_slice_contains_target ... ok
[INFO] [stdout] test merge::tests::test_merge_proofs_single ... ok
[INFO] [stdout] test merge::tests::test_merge_with_inferences ... ok
[INFO] [stdout] test merge::tests::test_slice_proof_axiom ... ok
[INFO] [stdout] test merge::tests::test_slice_multi ... ok
[INFO] [stdout] test merge::tests::test_slice_proof_inference ... ok
[INFO] [stdout] test metadata::tests::test_difficulty_ordering ... ok
[INFO] [stdout] test merge::tests::test_slice_proof_deep ... ok
[INFO] [stdout] test metadata::tests::test_duplicate_tag_prevention ... ok
[INFO] [stdout] test metadata::tests::test_metadata_clear ... ok
[INFO] [stdout] test metadata::tests::test_metadata_attributes ... ok
[INFO] [stdout] test metadata::tests::test_metadata_creation ... ok
[INFO] [stdout] test metadata::tests::test_metadata_removal ... ok
[INFO] [stdout] test metadata::tests::test_multiple_strategies ... ok
[INFO] [stdout] test metadata::tests::test_priority_ordering ... ok
[INFO] [stdout] test metadata::tests::test_metadata_mutation ... ok
[INFO] [stdout] test mmap::tests::test_cache_stats ... ok
[INFO] [stdout] test mmap::tests::test_clear_cache ... ok
[INFO] [stdout] test metadata::tests::test_strategy_display ... ok
[INFO] [stdout] test mmap::tests::test_mmap_config_new ... ok
[INFO] [stdout] test mmap::tests::test_mmap_proof_new ... ok
[INFO] [stdout] test mmap::tests::test_mmap_config_with_settings ... ok
[INFO] [stdout] test normalize::tests::test_canonicalize_conclusions ... ok
[INFO] [stdout] test normalize::tests::test_canonicalize_empty_proof ... ok
[INFO] [stdout] test mmap::tests::test_proof_metadata_default ... ok
[INFO] [stdout] test normalize::tests::test_normalize_empty_proof ... ok
[INFO] [stdout] test normalize::tests::test_normalize_proof_axioms ... ok
[INFO] [stdout] test normalize::tests::test_canonicalize_string ... ok
[INFO] [stdout] test parallel::tests::test_check_proof_parallel_empty ... ok
[INFO] [stdout] test normalize::tests::test_normalize_proof_with_inferences ... ok
[INFO] [stdout] test parallel::tests::test_compute_depth_histogram ... ok
[INFO] [stdout] test parallel::tests::test_compute_rule_frequency ... ok
[INFO] [stdout] test parallel::tests::test_find_nodes_parallel ... ok
[INFO] [stdout] test parallel::tests::test_find_unique_conclusions ... ok
[INFO] [stdout] test parallel::tests::test_parallel_config_with_settings ... ok
[INFO] [stdout] test parallel::tests::test_parallel_processor_new ... ok
[INFO] [stdout] test parallel::tests::test_parallel_stats_computer_new ... ok
[INFO] [stdout] test parallel::tests::test_validate_dependencies_parallel ... ok
[INFO] [stdout] test incremental::tests::proptests::prop_stats_consistency ... ok
[INFO] [stdout] test pattern::tests::test_clear_patterns ... ok
[INFO] [stdout] test pattern::tests::test_extract_patterns_empty_proof ... ok
[INFO] [stdout] test parallel::tests::test_parallel_config_new ... ok
[INFO] [stdout] test pattern::tests::test_parse_app ... ok
[INFO] [stdout] test pattern::tests::test_parse_atom ... ok
[INFO] [stdout] test pattern::tests::test_parse_binary ... ok
[INFO] [stdout] test pattern::tests::test_abstract_conclusion ... ok
[INFO] [stdout] test pattern::tests::test_pattern_extractor_new ... ok
[INFO] [stdout] test pattern::tests::test_pattern_extractor_with_settings ... ok
[INFO] [stdout] test pattern::tests::test_extract_variables ... ok
[INFO] [stdout] test pcc::tests::test_add_property ... ok
[INFO] [stdout] test pcc::tests::test_attach_proof ... ok
[INFO] [stdout] test pcc::tests::test_add_vc ... ok
[INFO] [stdout] test pcc::tests::test_code_location_display ... ok
[INFO] [stdout] test pattern::tests::test_pattern_structure_display ... ok
[INFO] [stdout] test pcc::tests::test_certificate_generation ... ok
[INFO] [stdout] test pcc::tests::test_resource_bounds_display ... ok
[INFO] [stdout] test premise::tests::test_active_premises_iterator ... ok
[INFO] [stdout] test premise::tests::test_premise_activation ... ok
[INFO] [stdout] test premise::tests::test_premise_clear ... ok
[INFO] [stdout] test premise::tests::test_premise_deduplication ... ok
[INFO] [stdout] test premise::tests::test_premise_dependency_basic ... ok
[INFO] [stdout] test pcc::tests::test_pcc_builder ... ok
[INFO] [stdout] test pcc::tests::test_pcc_creation ... ok
[INFO] [stdout] test premise::tests::test_premise_dependency_clear ... ok
[INFO] [stdout] test premise::tests::test_premise_get_id ... ok
[INFO] [stdout] test incremental::tests::proptests::prop_record_axiom_increases_size ... ok
[INFO] [stdout] test premise::tests::test_premise_dependency_empty ... ok
[INFO] [stdout] test premise::tests::test_premise_dependency_merge ... ok
[INFO] [stdout] test premise::tests::test_premise_id_display ... ok
[INFO] [stdout] test premise::tests::test_premise_id_ordering ... ok
[INFO] [stdout] test premise::tests::test_premise_tracker_basic ... ok
[INFO] [stdout] test premise::tests::test_premise_scope ... ok
[INFO] [stdout] test incremental::tests::proptests::prop_derived_dependencies ... ok
[INFO] [stdout] test incremental::tests::proptests::prop_batch_mode_delays ... ok
[INFO] [stdout] test proof::tests::proptests::prop_axiom_deduplication ... ok
[INFO] [stdout] test proof::tests::proptests::prop_axiom_increases_size ... ok
[INFO] [stdout] test proof::tests::proptests::prop_axiom_depth_zero ... ok
[INFO] [stdout] test incremental::tests::proptests::prop_take_proof_empties ... ok
[INFO] [stdout] test proof::tests::proptests::prop_stats_consistency ... ok
[INFO] [stdout] test proof::tests::test_add_axiom ... ok
[INFO] [stdout] test proof::tests::test_add_inference ... ok
[INFO] [stdout] test proof::tests::test_dependent_tracking ... ok
[INFO] [stdout] test proof::tests::test_metadata_clear ... ok
[INFO] [stdout] test proof::tests::test_metadata_get_or_create ... ok
[INFO] [stdout] test proof::tests::test_metadata_priority_filter ... ok
[INFO] [stdout] test proof::tests::test_metadata_remove ... ok
[INFO] [stdout] test proof::tests::test_metadata_set_get ... ok
[INFO] [stdout] test proof::tests::test_metadata_strategy_filter ... ok
[INFO] [stdout] test proof::tests::test_metadata_tags ... ok
[INFO] [stdout] test proof::tests::test_proof_clear ... ok
[INFO] [stdout] test proof::tests::test_proof_creation ... ok
[INFO] [stdout] test proof::tests::test_proof_deduplication ... ok
[INFO] [stdout] test proof::tests::test_proof_depth ... ok
[INFO] [stdout] test proof::tests::test_proof_display ... ok
[INFO] [stdout] test proof::tests::test_proof_stats ... ok
[INFO] [stdout] test quantifier::tests::test_ematch_pattern_creation ... ok
[INFO] [stdout] test quantifier::tests::test_exists_formula ... ok
[INFO] [stdout] test quantifier::tests::test_forall_formula ... ok
[INFO] [stdout] test quantifier::tests::test_instantiation_apply ... ok
[INFO] [stdout] test quantifier::tests::test_instantiation_creation ... ok
[INFO] [stdout] test quantifier::tests::test_multiple_vars ... ok
[INFO] [stdout] test incremental::tests::proptests::prop_disabled_no_recording ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_recorder_clear ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_recorder_dedup ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_recorder_exists ... ok
[INFO] [stdout] test quantifier::tests::test_quant_var_creation ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_recorder_skolem ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_recorder_forall ... ok
[INFO] [stdout] test replay::tests::test_bad_magic ... ok
[INFO] [stdout] test replay::tests::test_empty_log_is_error ... ok
[INFO] [stdout] test replay::tests::test_roundtrip_axiom ... ok
[INFO] [stdout] test replay::tests::test_roundtrip_inference_chain ... ok
[INFO] [stdout] test replay::tests::test_verification_result_display ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_add_input_increases_size ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_clause_contains_literals ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_clause_length ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_clause_literal_access ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_complementary_in_clause ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_complementary_opposite_sign ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_duplicate_clauses_dedup ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_empty_clause_check ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_literal_double_negation ... ok
[INFO] [stdout] test proof::tests::proptests::prop_all_nodes_reachable ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_literal_same_variable ... ok
[INFO] [stdout] test proof::tests::proptests::prop_inference_depth ... ok
[INFO] [stdout] test resolution::tests::test_clause_creation ... ok
[INFO] [stdout] test resolution::tests::test_empty_clause ... ok
[INFO] [stdout] test resolution::tests::test_literal_creation ... ok
[INFO] [stdout] test resolution::tests::test_literal_negation ... ok
[INFO] [stdout] test resolution::tests::test_resolution_invalid_pivot ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_resolution_invalid_pivot ... ok
[INFO] [stdout] test resolution::tests::test_resolution_proof_input ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_unit_clause_one_literal ... ok
[INFO] [stdout] test resolution::tests::test_resolution_simple ... ok
[INFO] [stdout] test resolution::tests::test_resolution_to_empty ... ok
[INFO] [stdout] test resolution::tests::test_unit_propagation ... ok
[INFO] [stdout] test rules::tests::test_clause_display ... ok
[INFO] [stdout] test resolution::tests::test_unit_clause ... ok
[INFO] [stdout] test rules::tests::test_clause_tautology ... ok
[INFO] [stdout] test rules::tests::test_clause_empty ... ok
[INFO] [stdout] test rules::tests::test_clause_normalize ... ok
[INFO] [stdout] test resolution::tests::proptests::prop_unit_resolution_reduces ... ok
[INFO] [stdout] test rules::tests::test_cnf_not_not ... ok
[INFO] [stdout] test rules::tests::test_literal_complementary ... ok
[INFO] [stdout] test rules::tests::test_literal_negate ... ok
[INFO] [stdout] test rules::tests::test_resolution_invalid_pivot ... ok
[INFO] [stdout] test rules::tests::test_resolution_valid ... ok
[INFO] [stdout] test rules::tests::test_unit_propagation_invalid ... ok
[INFO] [stdout] test rules::tests::test_unit_propagation_valid ... ok
[INFO] [stdout] test simplify::tests::test_apply_demorgan_not_and ... ok
[INFO] [stdout] test simplify::tests::test_apply_demorgan_not_or ... ok
[INFO] [stdout] test simplify::tests::test_extract_binary_args_nested ... ok
[INFO] [stdout] test rules::tests::test_literal_creation ... ok
[INFO] [stdout] test simplify::tests::test_extract_binary_args_simple ... ok
[INFO] [stdout] test rules::tests::test_clause_unit ... ok
[INFO] [stdout] test rules::tests::test_literal_display ... ok
[INFO] [stdout] test simplify::tests::test_remove_identity_and_true ... ok
[INFO] [stdout] test simplify::tests::test_remove_identity_or_false ... ok
[INFO] [stdout] test simplify::tests::test_simplification_config_builder ... ok
[INFO] [stdout] test simplify::tests::test_simplification_stats_total ... ok
[INFO] [stdout] test simplify::tests::test_is_tautology_or_not ... ok
[INFO] [stdout] test simplify::tests::test_simplification_stats_reduction_ratio ... ok
[INFO] [stdout] test simplify::tests::test_simplify_double_negation_sexp ... ok
[INFO] [stdout] test simplify::tests::test_simplify_double_negation_unicode ... ok
[INFO] [stdout] test simplify::tests::test_simplify_proof_double_negation ... ok
[INFO] [stdout] test simplify::tests::test_simplify_proof_empty ... ok
[INFO] [stdout] test simplify::tests::test_simplification_config_default ... ok
[INFO] [stdout] test simplify::tests::test_simplify_proof_identity ... ok
[INFO] [stdout] test stats::tests::test_avg_leaf_depth ... ok
[INFO] [stdout] test stats::tests::test_categorize_theory_rule ... ok
[INFO] [stdout] test simplify::tests::test_simplify_proof_multiple_passes ... ok
[INFO] [stdout] test simplify::tests::test_simplify_proof_tautology ... ok
[INFO] [stdout] test stats::tests::test_complexity_score ... ok
[INFO] [stdout] test stats::tests::test_theory_proof_stats ... ok
[INFO] [stdout] test stats::tests::test_detailed_proof_stats ... ok
[INFO] [stdout] test stats::tests::test_proof_quality ... ok
[INFO] [stdout] test streaming::tests::test_chunk_iterator ... ok
[INFO] [stdout] test streaming::tests::test_proof_chunk_new ... ok
[INFO] [stdout] test streaming::tests::test_stream_chunks ... ok
[INFO] [stdout] test streaming::tests::test_stream_config_new ... ok
[INFO] [stdout] test streaming::tests::test_stream_config_with_settings ... ok
[INFO] [stdout] test streaming::tests::test_streaming_builder ... ok
[INFO] [stdout] test streaming::tests::test_write_streaming ... ok
[INFO] [stdout] test streaming::tests::test_proof_streamer_new ... ok
[INFO] [stdout] test simplify::tests::test_simplifier_with_custom_config ... ok
[INFO] [stdout] test template::tests::test_clear_templates ... ok
[INFO] [stdout] test template::tests::test_abstract_conclusion ... ok
[INFO] [stdout] test streaming::tests::test_process_streaming ... ok
[INFO] [stdout] test template::tests::test_find_template ... ok
[INFO] [stdout] test template::tests::test_proof_template_display ... ok
[INFO] [stdout] test template::tests::test_template_identifier_new ... ok
[INFO] [stdout] test template::tests::test_template_step ... ok
[INFO] [stdout] test template::tests::test_update_success_rate ... ok
[INFO] [stdout] test template::tests::test_update_success_rate_clamp ... ok
[INFO] [stdout] test theory::tests::test_arith_proof_recorder ... ok
[INFO] [stdout] test theory::tests::test_euf_proof_recorder ... ok
[INFO] [stdout] test theory::tests::test_quantifier_exists_intro ... ok
[INFO] [stdout] test theory::tests::test_quantifier_forall_elim ... ok
[INFO] [stdout] test theory::tests::test_quantifier_inst_pattern ... ok
[INFO] [stdout] test theory::tests::test_quantifier_rule_display ... ok
[INFO] [stdout] test theory::tests::test_quantifier_skolemization ... ok
[INFO] [stdout] test theory::tests::test_theory_proof_array_read_write ... ok
[INFO] [stdout] test theory::tests::test_theory_proof_clear ... ok
[INFO] [stdout] test theory::tests::test_theory_proof_reflexivity ... ok
[INFO] [stdout] test theory::tests::test_theory_proof_farkas ... ok
[INFO] [stdout] test template::tests::test_template_identifier_with_settings ... ok
[INFO] [stdout] test theory::tests::test_theory_proof_transitivity ... ok
[INFO] [stdout] test theory::tests::test_theory_rule_display ... ok
[INFO] [stdout] test theory::tests::test_theory_proof_write ... ok
[INFO] [stdout] test theory::tests::test_theory_step_id_display ... ok
[INFO] [stdout] test traversal::tests::test_conclusion_collector ... ok
[INFO] [stdout] test traversal::tests::test_find_all_paths ... ok
[INFO] [stdout] test template::tests::test_get_templates_by_success_rate ... ok
[INFO] [stdout] test traversal::tests::test_topological_order ... ok
[INFO] [stdout] test traversal::tests::test_traversal_orders ... ok
[INFO] [stdout] test traversal::tests::test_node_counter ... ok
[INFO] [stdout] test proof::tests::proptests::prop_clear_resets ... ok
[INFO] [stdout] test proof::tests::proptests::prop_node_count_invariant ... ok
[INFO] [stdout] test proof::tests::proptests::prop_max_depth_bound ... ok
[INFO] [stdout] test proof::tests::proptests::prop_premise_validity ... ok
[INFO] [stdout] test unsat_core::tests::proptests::prop_empty_consistency ... ok
[INFO] [stdout] test unsat_core::tests::test_deep_proof_core ... ok
[INFO] [stdout] test unsat_core::tests::test_extract_unsat_core ... ok
[INFO] [stdout] test unsat_core::tests::test_get_core_labels ... ok
[INFO] [stdout] test unsat_core::tests::test_minimal_unsat_core ... ok
[INFO] [stdout] test unsat_core::tests::test_unsat_core_empty ... ok
[INFO] [stdout] test unsat_core::tests::test_unsat_core_reduction_ratio ... ok
[INFO] [stdout] test unsat_core::tests::proptests::prop_core_labels_match ... ok
[INFO] [stdout] test validation::tests::test_validate_empty_proof ... ok
[INFO] [stdout] test unsat_core::tests::test_unsat_core_with_unused_axiom ... ok
[INFO] [stdout] test validation::tests::test_validate_nonempty_proof ... ok
[INFO] [stdout] test validation::tests::test_validate_syntax_balanced_parens ... ok
[INFO] [stdout] test validation::tests::test_validate_syntax_empty ... ok
[INFO] [stdout] test validation::tests::test_validate_syntax_unbalanced_parens ... ok
[INFO] [stdout] test validation::tests::test_validate_with_invalid_syntax ... ok
[INFO] [stdout] test validation::tests::test_validation_error_display ... ok
[INFO] [stdout] test validation::tests::test_validator_new ... ok
[INFO] [stdout] test validation::tests::test_validator_with_settings ... ok
[INFO] [stdout] test visualization::tests::test_escape_json ... ok
[INFO] [stdout] test visualization::tests::test_format_conclusion_full ... ok
[INFO] [stdout] test visualization::tests::test_format_conclusion_truncate ... ok
[INFO] [stdout] test visualization::tests::test_visualize_ascii_tree ... ok
[INFO] [stdout] test visualization::tests::test_visualize_dot ... ok
[INFO] [stdout] test visualization::tests::test_visualize_indented ... ok
[INFO] [stdout] test visualization::tests::test_visualize_json ... ok
[INFO] [stdout] test visualization::tests::test_visualize_with_max_depth ... ok
[INFO] [stdout] test visualization::tests::test_visualizer_new ... ok
[INFO] [stdout] test visualization::tests::test_visualizer_with_options ... ok
[INFO] [stdout] test unsat_core::tests::proptests::prop_core_includes_contradiction ... ok
[INFO] [stdout] test unsat_core::tests::proptests::prop_core_nodes_reachable ... ok
[INFO] [stdout] test unsat_core::tests::proptests::prop_minimal_core_smaller ... ok
[INFO] [stdout] test unsat_core::tests::proptests::prop_core_axioms_valid ... ok
[INFO] [stdout] test unsat_core::tests::proptests::prop_reduction_ratio_bounds ... ok
[INFO] [stderr]    Doc-tests oxiz_proof
[INFO] [stdout] test unsat_core::tests::proptests::prop_core_size_bounded ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 549 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.57s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test src/diff.rs - diff::diff_proofs (line 67) ... ok
[INFO] [stdout] test src/logging.rs - logging::ProofLogger (line 75) - compile ... ok
[INFO] [stdout] test src/conversion.rs - conversion::FormatConverter::drat_to_alethe (line 99) ... ok
[INFO] [stdout] test src/conversion.rs - conversion::FormatConverter::alethe_to_lfsc (line 192) ... ok
[INFO] [stdout] test src/replay.rs - replay::ProofReplayer (line 150) - compile ... ok
[INFO] [stdout] test src/normalize.rs - normalize::normalize_proof (line 21) ... ok
[INFO] [stdout] test src/merge.rs - merge::merge_proofs (line 22) ... ok
[INFO] [stdout] test src/checker.rs - checker (line 14) ... ok
[INFO] [stdout] test src/merge.rs - merge::slice_proof (line 96) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.92s; merged doctests compilation took 0.87s
[INFO] running `Command { std: "docker" "inspect" "782ffeda1bdb69b2c1f33c881e6d20e8212550c196482514b57384e5164ea9aa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "782ffeda1bdb69b2c1f33c881e6d20e8212550c196482514b57384e5164ea9aa", kill_on_drop: false }`
[INFO] [stdout] 782ffeda1bdb69b2c1f33c881e6d20e8212550c196482514b57384e5164ea9aa