[INFO] fetching crate otter_sat 0.1.0...
[INFO] testing otter_sat-0.1.0 against 1.91.0 for beta-1.92-2
[INFO] extracting crate otter_sat 0.1.0 into /workspace/builds/worker-5-tc1/source
[INFO] started tweaking crates.io crate otter_sat 0.1.0
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate otter_sat 0.1.0
[INFO] tweaked toml for crates.io crate otter_sat 0.1.0 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate otter_sat 0.1.0 on toolchain 1.91.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.91.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate otter_sat 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.91.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rand_core v0.9.0
[INFO] [stderr]   Downloaded zerocopy v0.8.17
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.17
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 106df06d1802816109669d584cdeb3a166662d5d44a7a885c867749bcf6f2c40
[INFO] running `Command { std: "docker" "start" "-a" "106df06d1802816109669d584cdeb3a166662d5d44a7a885c867749bcf6f2c40", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "106df06d1802816109669d584cdeb3a166662d5d44a7a885c867749bcf6f2c40", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "106df06d1802816109669d584cdeb3a166662d5d44a7a885c867749bcf6f2c40", kill_on_drop: false }`
[INFO] [stdout] 106df06d1802816109669d584cdeb3a166662d5d44a7a885c867749bcf6f2c40
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7171091bf5bd4f74dfb87c74b5b77aca85cc82c2562f76d10adf4a94f79cde78
[INFO] running `Command { std: "docker" "start" "-a" "7171091bf5bd4f74dfb87c74b5b77aca85cc82c2562f76d10adf4a94f79cde78", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.17
[INFO] [stderr]    Compiling log v0.4.25
[INFO] [stderr]    Compiling rand_core v0.9.0
[INFO] [stderr]    Compiling rand v0.9.0
[INFO] [stderr]    Compiling otter_sat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.82s
[INFO] running `Command { std: "docker" "inspect" "7171091bf5bd4f74dfb87c74b5b77aca85cc82c2562f76d10adf4a94f79cde78", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7171091bf5bd4f74dfb87c74b5b77aca85cc82c2562f76d10adf4a94f79cde78", kill_on_drop: false }`
[INFO] [stdout] 7171091bf5bd4f74dfb87c74b5b77aca85cc82c2562f76d10adf4a94f79cde78
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a6560d7cb0fae17c3a937432f6d6f8932f9529020c08f9b70ffbe9e913c581c9
[INFO] running `Command { std: "docker" "start" "-a" "a6560d7cb0fae17c3a937432f6d6f8932f9529020c08f9b70ffbe9e913c581c9", kill_on_drop: false }`
[INFO] [stderr]    Compiling otter_sat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.26s
[INFO] running `Command { std: "docker" "inspect" "a6560d7cb0fae17c3a937432f6d6f8932f9529020c08f9b70ffbe9e913c581c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a6560d7cb0fae17c3a937432f6d6f8932f9529020c08f9b70ffbe9e913c581c9", kill_on_drop: false }`
[INFO] [stdout] a6560d7cb0fae17c3a937432f6d6f8932f9529020c08f9b70ffbe9e913c581c9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 030981d28f7a249d3c8fb5178fa7cdc0f452f63be530e4682d1bd9b72eee16b5
[INFO] running `Command { std: "docker" "start" "-a" "030981d28f7a249d3c8fb5178fa7cdc0f452f63be530e4682d1bd9b72eee16b5", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/otter_sat-993873f11f94451b)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::atoms_ensured ... ok
[INFO] [stderr]      Running unittests src/cli/main.rs (/opt/rustwide/target/debug/deps/otter_cli-d4885a54c0fc53a0)
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::bad_delimiter ... ok
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::bad_problem_spec ... ok
[INFO] [stdout] test builder::preprocess::preprocessing_tests::contradiction_error ... ok
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::empty_ok ... ok
[INFO] [stdout] test builder::preprocess::preprocessing_tests::duplicate_removal ... ok
[INFO] [stdout] test builder::preprocess::preprocessing_tests::pass ... ok
[INFO] [stdout] test generic::index_heap::tests::heap_remove ... ok
[INFO] [stdout] test generic::index_heap::tests::heap_simple ... ok
[INFO] [stdout] test generic::luby::tests::exhaust ... ignored
[INFO] [stdout] test generic::index_heap::tests::heap_sparse ... ok
[INFO] [stdout] test generic::index_heap::tests::heap_update ... ok
[INFO] [stdout] test generic::luby::tests::luby ... ok
[INFO] [stdout] test generic::minimal_pcg::pcg_tests::seventy_three_seed ... ok
[INFO] [stdout] test generic::minimal_pcg::pcg_tests::two_seed ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests otter_sat
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 50 tests
[INFO] [stdout] test src/builder/dimacs.rs - builder::dimacs::GenericContext<R>::read_dimacs (line 33) ... ignored
[INFO] [stdout] test src/db/atom/mod.rs - db::atom::AtomDB::watchers_unchecked (line 241) ... ignored
[INFO] [stdout] test src/db/clause/get.rs - db::clause::get::ClauseDB::get (line 9) ... ignored
[INFO] [stdout] test src/db/clause/get.rs - db::clause::get::ClauseDB::get_mut (line 64) ... ignored
[INFO] [stdout] test src/db/clause/get.rs - db::clause::get::ClauseDB::get_unchecked (line 120) ... ignored
[INFO] [stdout] test src/db/clause/get.rs - db::clause::get::ClauseDB::get_unchecked_mut (line 163) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::all_nonunit_clauses (line 381) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::all_unit_clauses (line 316) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::bump_activity (line 230) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::current_addition_count (line 283) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::note_use (line 118) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::reduce_by (line 155) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::subsume (line 405) ... ignored
[INFO] [stdout] test src/db/clause/store.rs - db::clause::store::ClauseDB::store (line 27) ... ignored
[INFO] [stdout] test src/db/consequence_q.rs - db::consequence_q (line 6) ... ignored
[INFO] [stdout] test src/db/consequence_q.rs - db::consequence_q::GenericContext<R>::clear_q (line 87) ... ignored
[INFO] [stdout] test src/db/consequence_q.rs - db::consequence_q::GenericContext<R>::value_and_queue (line 101) ... ignored
[INFO] [stdout] test src/db/literal/mod.rs - db::literal::LiteralDB::push_fresh_decision (line 55) ... ignored
[INFO] [stdout] test src/db/literal/mod.rs - db::literal::LiteralDB::top_consequences_unchecked (line 162) ... ignored
[INFO] [stdout] test src/db/literal/mod.rs - db::literal::LiteralDB::top_decision_unchecked (line 137) ... ignored
[INFO] [stdout] test src/db/mod.rs - db::GenericContext<R>::record_consequence (line 49) ... ignored
[INFO] [stdout] test src/procedures/analysis.rs - procedures::analysis (line 13) ... ignored
[INFO] [stdout] test src/procedures/apply_consequences.rs - procedures::apply_consequences (line 36) ... ignored
[INFO] [stdout] test src/procedures/backjump.rs - procedures::backjump (line 32) ... ignored
[INFO] [stdout] test src/procedures/bcp.rs - procedures::bcp (line 40) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision (line 20) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision (line 33) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision (line 45) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision (line 8) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision::GenericContext<R>::atom_without_value (line 124) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision::GenericContext<R>::make_decision (line 85) ... ignored
[INFO] [stdout] test src/procedures/solve.rs - procedures::solve (line 55) ... ignored
[INFO] [stdout] test src/reports/frat/mod.rs - reports::frat (line 21) ... ignored
[INFO] [stdout] test src/resolution_buffer/methods.rs - resolution_buffer::methods::ResolutionBuffer::atoms_used (line 263) ... ignored
[INFO] [stdout] test src/resolution_buffer/methods.rs - resolution_buffer::methods::ResolutionBuffer::to_assertion_clause (line 89) ... ignored
[INFO] [stdout] test src/structures/clause/mod.rs - structures::clause (line 5) ... ok
[INFO] [stdout] test src/context/generic.rs - context::generic::GenericContext (line 21) ... ok
[INFO] [stdout] test src/structures/valuation/mod.rs - structures::valuation (line 16) ... ok
[INFO] [stdout] test src/structures/literal/mod.rs - structures::literal (line 39) ... ok
[INFO] [stdout] test src/structures/literal/mod.rs - structures::literal (line 22) ... ok
[INFO] [stdout] test src/builder/mod.rs - builder (line 23) ... ok
[INFO] [stdout] test src/builder/dimacs.rs - builder::dimacs::GenericContext<R>::read_dimacs (line 37) ... ok
[INFO] [stdout] test src/structures/valuation/mod.rs - structures::valuation (line 45) ... ok
[INFO] [stdout] test src/context/mod.rs - context (line 12) ... ok
[INFO] [stdout] test src/structures/atom.rs - structures::atom (line 13) ... ok
[INFO] [stdout] test src/generic/index_heap.rs - generic::index_heap (line 12) ... ok
[INFO] [stdout] test src/builder/mod.rs - builder (line 44) ... ok
[INFO] [stdout] test src/procedures/solve.rs - procedures::solve (line 89) ... ok
[INFO] [stdout] test src/lib.rs - (line 45) ... ok
[INFO] [stdout] test src/lib.rs - (line 116) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 35 ignored; 0 measured; 0 filtered out; finished in 0.83s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "030981d28f7a249d3c8fb5178fa7cdc0f452f63be530e4682d1bd9b72eee16b5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "030981d28f7a249d3c8fb5178fa7cdc0f452f63be530e4682d1bd9b72eee16b5", kill_on_drop: false }`
[INFO] [stdout] 030981d28f7a249d3c8fb5178fa7cdc0f452f63be530e4682d1bd9b72eee16b5
