[INFO] fetching crate oxiz-theories 0.2.0...
[INFO] testing oxiz-theories-0.2.0 against 1.95.0 for beta-1.96-2
[INFO] extracting crate oxiz-theories 0.2.0 into /workspace/builds/worker-0-tc1/source
[INFO] started tweaking crates.io crate oxiz-theories 0.2.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxiz-theories 0.2.0
[INFO] tweaked toml for crates.io crate oxiz-theories 0.2.0 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-theories 0.2.0 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-theories 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded symbolic_expressions v5.0.3
[INFO] [stderr]   Downloaded symbol_table v0.4.0
[INFO] [stderr]   Downloaded oxiz-nlsat v0.2.0
[INFO] [stderr]   Downloaded egg v0.11.0
[INFO] [stderr]   Downloaded oxiz-math v0.2.0
[INFO] [stderr]   Downloaded oxiz-sat v0.2.0
[INFO] [stderr]   Downloaded oxiz-core v0.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5e382542ebad7efcdb8ac3d102dfc57f5aa3db811828223cc60ded037201b7ad
[INFO] running `Command { std: "docker" "start" "-a" "5e382542ebad7efcdb8ac3d102dfc57f5aa3db811828223cc60ded037201b7ad", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5e382542ebad7efcdb8ac3d102dfc57f5aa3db811828223cc60ded037201b7ad", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5e382542ebad7efcdb8ac3d102dfc57f5aa3db811828223cc60ded037201b7ad", kill_on_drop: false }`
[INFO] [stdout] 5e382542ebad7efcdb8ac3d102dfc57f5aa3db811828223cc60ded037201b7ad
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e2ce65555a4812517b62f8a4931c00039d2ab8f773fde5b85109651f984fdd68
[INFO] running `Command { std: "docker" "start" "-a" "e2ce65555a4812517b62f8a4931c00039d2ab8f773fde5b85109651f984fdd68", kill_on_drop: false }`
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling critical-section v1.2.0
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling libc v0.2.184
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling foldhash v0.1.5
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling bytemuck v1.25.0
[INFO] [stderr]    Compiling portable-atomic-util v0.2.6
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling safe_arch v1.0.0
[INFO] [stderr]    Compiling indexmap v2.13.1
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling wide v1.2.0
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling raw-cpuid v11.6.0
[INFO] [stderr]    Compiling env_logger v0.9.3
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling symbol_table v0.4.0
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling const-random v0.1.18
[INFO] [stderr]    Compiling symbolic_expressions v5.0.3
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling quanta v0.12.6
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling rhai_codegen v3.1.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling oxiz-math v0.2.0
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling egg v0.11.0
[INFO] [stderr]    Compiling oxiz-core v0.2.0
[INFO] [stderr]    Compiling oxiz-sat v0.2.0
[INFO] [stderr]    Compiling oxiz-nlsat v0.2.0
[INFO] [stderr]    Compiling oxiz-theories v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 52s
[INFO] running `Command { std: "docker" "inspect" "e2ce65555a4812517b62f8a4931c00039d2ab8f773fde5b85109651f984fdd68", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e2ce65555a4812517b62f8a4931c00039d2ab8f773fde5b85109651f984fdd68", kill_on_drop: false }`
[INFO] [stdout] e2ce65555a4812517b62f8a4931c00039d2ab8f773fde5b85109651f984fdd68
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3e6910c3402b8ecba77e4ff9702cbda4fc6fecafcf2994157fab9efecffcaa99
[INFO] running `Command { std: "docker" "start" "-a" "3e6910c3402b8ecba77e4ff9702cbda4fc6fecafcf2994157fab9efecffcaa99", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling raw-cpuid v11.6.0
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quanta v0.12.6
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling oorandom v11.1.5
[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 egg v0.11.0
[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 ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling criterion v0.7.0
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling oxiz-math v0.2.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling oxiz-core v0.2.0
[INFO] [stderr]    Compiling oxiz-nlsat v0.2.0
[INFO] [stderr]    Compiling oxiz-sat v0.2.0
[INFO] [stderr]    Compiling oxiz-theories v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr] error: could not compile `oxiz-theories` (lib test)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.95.0-x86_64-unknown-linux-gnu/bin/rustc --crate-name oxiz_theories --edition=2024 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --cfg 'feature="default"' --cfg 'feature="egg"' --cfg 'feature="oxiz-nlsat"' --cfg 'feature="std"' --cfg 'feature="tracing"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("default", "egg", "oxiz-nlsat", "std", "tracing"))' -C metadata=b092c9c64842ffcf -C extra-filename=-70aa2ec010176f5c --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern criterion=/opt/rustwide/target/debug/deps/libcriterion-4a10794fa82c2cee.rlib --extern egg=/opt/rustwide/target/debug/deps/libegg-3e789a9b3b438390.rlib --extern hashbrown=/opt/rustwide/target/debug/deps/libhashbrown-dcf7c4bb549d18c0.rlib --extern num_bigint=/opt/rustwide/target/debug/deps/libnum_bigint-01c8ec57aa694bb2.rlib --extern num_rational=/opt/rustwide/target/debug/deps/libnum_rational-c2caddd88b940f3e.rlib --extern num_traits=/opt/rustwide/target/debug/deps/libnum_traits-8f4c483fc2497ec9.rlib --extern oxiz_core=/opt/rustwide/target/debug/deps/liboxiz_core-4377cb686ee6f6fd.rlib --extern oxiz_math=/opt/rustwide/target/debug/deps/liboxiz_math-e0ebd8d17c60006c.rlib --extern oxiz_nlsat=/opt/rustwide/target/debug/deps/liboxiz_nlsat-b5a2ea7844489c43.rlib --extern oxiz_sat=/opt/rustwide/target/debug/deps/liboxiz_sat-852cf4e01d1d8e68.rlib --extern portable_atomic_util=/opt/rustwide/target/debug/deps/libportable_atomic_util-6ad316578090e025.rlib --extern proptest=/opt/rustwide/target/debug/deps/libproptest-a5a96971482444ba.rlib --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-41c07b41a3502e1a.rlib --extern smallvec=/opt/rustwide/target/debug/deps/libsmallvec-032354e5181de13b.rlib --extern tracing=/opt/rustwide/target/debug/deps/libtracing-3816deeb170c52a4.rlib --cap-lints=warn` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "3e6910c3402b8ecba77e4ff9702cbda4fc6fecafcf2994157fab9efecffcaa99", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3e6910c3402b8ecba77e4ff9702cbda4fc6fecafcf2994157fab9efecffcaa99", kill_on_drop: false }`
[INFO] [stdout] 3e6910c3402b8ecba77e4ff9702cbda4fc6fecafcf2994157fab9efecffcaa99
