[INFO] cloning repository https://github.com/ede1998/sweepers
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ede1998/sweepers" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fede1998%2Fsweepers", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fede1998%2Fsweepers'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3b1ec545d1e80a41f44ef3d9efd61693df613171
[INFO] testing ede1998/sweepers against master#432e145bd5a974c5b6f4dd9b352891bd7502b69d for pr-87041
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fede1998%2Fsweepers" "/workspace/builds/worker-13/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-13/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/ede1998/sweepers on toolchain 432e145bd5a974c5b6f4dd9b352891bd7502b69d
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/ede1998/sweepers
[INFO] finished tweaking git repo https://github.com/ede1998/sweepers
[INFO] tweaked toml for git repo https://github.com/ede1998/sweepers written to /workspace/builds/worker-13/source/Cargo.toml
[INFO] crate git repo https://github.com/ede1998/sweepers already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 44b5d0da6f28ba7bb282872f933d88343ab4626ce52841dd301347a2b9811319
[INFO] running `Command { std: "docker" "start" "-a" "44b5d0da6f28ba7bb282872f933d88343ab4626ce52841dd301347a2b9811319", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "44b5d0da6f28ba7bb282872f933d88343ab4626ce52841dd301347a2b9811319", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "44b5d0da6f28ba7bb282872f933d88343ab4626ce52841dd301347a2b9811319", kill_on_drop: false }`
[INFO] [stdout] 44b5d0da6f28ba7bb282872f933d88343ab4626ce52841dd301347a2b9811319
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5518560d4c72d7a0283529bbbc27016d7a061c0d5d9cfefe96680802797ce1c8
[INFO] running `Command { std: "docker" "start" "-a" "5518560d4c72d7a0283529bbbc27016d7a061c0d5d9cfefe96680802797ce1c8", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.97
[INFO] [stderr]    Compiling syn v1.0.73
[INFO] [stderr]    Compiling ansi_term v0.11.0
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling numtoa v0.1.0
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling getrandom v0.2.3
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling termion v1.5.6
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling rand_core v0.6.3
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.4
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling custom_debug_derive v0.5.0
[INFO] [stderr]    Compiling sweepers v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: associated function is never used: `with_area`
[INFO] [stdout]   --> src/core/area.rs:24:12
[INFO] [stdout]    |
[INFO] [stdout] 24 |     pub fn with_area(width: usize, height: usize, area: Vec<T>) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `loc_iter`
[INFO] [stdout]   --> src/core/area.rs:56:12
[INFO] [stdout]    |
[INFO] [stdout] 56 |     pub fn loc_iter(&self) -> impl Iterator<Item = (Location, &T)> {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Mark`
[INFO] [stdout]   --> src/core/command.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 |     Mark,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Unmark`
[INFO] [stdout]   --> src/core/command.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     Unmark,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_win`
[INFO] [stdout]   --> src/core/game_state.rs:55:12
[INFO] [stdout]    |
[INFO] [stdout] 55 |     pub fn is_win(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `try_mv`
[INFO] [stdout]    --> src/core/location.rs:190:12
[INFO] [stdout]     |
[INFO] [stdout] 190 |     pub fn try_mv(self, d: Direction) -> Self {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `as_mut_revealed`
[INFO] [stdout]   --> src/core/mine_field.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 60 |     pub fn as_mut_revealed(&mut self) -> Option<&mut usize> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `as_revealed`
[INFO] [stdout]   --> src/core/mine_field.rs:68:12
[INFO] [stdout]    |
[INFO] [stdout] 68 |     pub fn as_revealed(&self) -> Option<&usize> {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `with_generator`
[INFO] [stdout]    --> src/core/mine_field.rs:137:12
[INFO] [stdout]     |
[INFO] [stdout] 137 |     pub fn with_generator(params: Parameters, generator: Box<dyn MinefieldGenerator>) -> Self {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_active_game`
[INFO] [stdout]    --> src/core/mine_field.rs:156:12
[INFO] [stdout]     |
[INFO] [stdout] 156 |     pub fn new_active_game(grid: &str) -> Self {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `unreveal`
[INFO] [stdout]    --> src/core/mine_field.rs:289:12
[INFO] [stdout]     |
[INFO] [stdout] 289 |     pub fn unreveal(&mut self, location: Location) -> Option<State> {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `draw_single`
[INFO] [stdout]    --> src/frontend/terminal.rs:264:12
[INFO] [stdout]     |
[INFO] [stdout] 264 |     pub fn draw_single(&mut self, location: Location, state: &State) {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `derive_count`
[INFO] [stdout]    --> src/solver.rs:211:8
[INFO] [stdout]     |
[INFO] [stdout] 211 |     fn derive_count(&self, count: usize, produced_by: &dyn Rule) -> Self {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `seed`
[INFO] [stdout]    --> src/solver.rs:254:8
[INFO] [stdout]     |
[INFO] [stdout] 254 |     fn seed(mf: &Minefield) -> Self {
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `add`
[INFO] [stdout]    --> src/solver.rs:275:8
[INFO] [stdout]     |
[INFO] [stdout] 275 |     fn add<I: IntoIterator<Item = Fact>>(&mut self, container: I) -> bool {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `guaranteed_safe_locations`
[INFO] [stdout]    --> src/solver.rs:281:8
[INFO] [stdout]     |
[INFO] [stdout] 281 |     fn guaranteed_safe_locations(&self) -> HashSet<Location> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `guaranteed_mines`
[INFO] [stdout]    --> src/solver.rs:289:8
[INFO] [stdout]     |
[INFO] [stdout] 289 |     fn guaranteed_mines(&self) -> HashSet<Location> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `solve`
[INFO] [stdout]    --> src/solver.rs:297:8
[INFO] [stdout]     |
[INFO] [stdout] 297 |     fn solve(mf: &Minefield) -> (HashSet<Location>, HashSet<Location>) {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 18 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 19.87s
[INFO] running `Command { std: "docker" "inspect" "5518560d4c72d7a0283529bbbc27016d7a061c0d5d9cfefe96680802797ce1c8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5518560d4c72d7a0283529bbbc27016d7a061c0d5d9cfefe96680802797ce1c8", kill_on_drop: false }`
[INFO] [stdout] 5518560d4c72d7a0283529bbbc27016d7a061c0d5d9cfefe96680802797ce1c8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4668251e9bc5e7877dbb472040159ab103b2cd938af4edae7ca547c2c754e9b3
[INFO] running `Command { std: "docker" "start" "-a" "4668251e9bc5e7877dbb472040159ab103b2cd938af4edae7ca547c2c754e9b3", kill_on_drop: false }`
[INFO] [stderr]    Compiling sweepers v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variant is never constructed: `Mark`
[INFO] [stdout]   --> src/core/command.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 |     Mark,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Unmark`
[INFO] [stdout]   --> src/core/command.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     Unmark,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_win`
[INFO] [stdout]   --> src/core/game_state.rs:55:12
[INFO] [stdout]    |
[INFO] [stdout] 55 |     pub fn is_win(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `try_mv`
[INFO] [stdout]    --> src/core/location.rs:190:12
[INFO] [stdout]     |
[INFO] [stdout] 190 |     pub fn try_mv(self, d: Direction) -> Self {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `as_mut_revealed`
[INFO] [stdout]   --> src/core/mine_field.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 60 |     pub fn as_mut_revealed(&mut self) -> Option<&mut usize> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `with_generator`
[INFO] [stdout]    --> src/core/mine_field.rs:137:12
[INFO] [stdout]     |
[INFO] [stdout] 137 |     pub fn with_generator(params: Parameters, generator: Box<dyn MinefieldGenerator>) -> Self {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `unreveal`
[INFO] [stdout]    --> src/core/mine_field.rs:289:12
[INFO] [stdout]     |
[INFO] [stdout] 289 |     pub fn unreveal(&mut self, location: Location) -> Option<State> {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `draw_single`
[INFO] [stdout]    --> src/frontend/terminal.rs:264:12
[INFO] [stdout]     |
[INFO] [stdout] 264 |     pub fn draw_single(&mut self, location: Location, state: &State) {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `derive_count`
[INFO] [stdout]    --> src/solver.rs:211:8
[INFO] [stdout]     |
[INFO] [stdout] 211 |     fn derive_count(&self, count: usize, produced_by: &dyn Rule) -> Self {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 2.44s
[INFO] running `Command { std: "docker" "inspect" "4668251e9bc5e7877dbb472040159ab103b2cd938af4edae7ca547c2c754e9b3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4668251e9bc5e7877dbb472040159ab103b2cd938af4edae7ca547c2c754e9b3", kill_on_drop: false }`
[INFO] [stdout] 4668251e9bc5e7877dbb472040159ab103b2cd938af4edae7ca547c2c754e9b3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 292d896b84365b475b0dfbd6867ae975d6412509fd8d49967cf86cc6fb84c42e
[INFO] running `Command { std: "docker" "start" "-a" "292d896b84365b475b0dfbd6867ae975d6412509fd8d49967cf86cc6fb84c42e", kill_on_drop: false }`
[INFO] [stderr] warning: variant is never constructed: `Mark`
[INFO] [stderr]   --> src/core/command.rs:29:5
[INFO] [stderr]    |
[INFO] [stderr] 29 |     Mark,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Unmark`
[INFO] [stderr]   --> src/core/command.rs:30:5
[INFO] [stderr]    |
[INFO] [stderr] 30 |     Unmark,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `is_win`
[INFO] [stderr]   --> src/core/game_state.rs:55:12
[INFO] [stderr]    |
[INFO] [stderr] 55 |     pub fn is_win(&self) -> bool {
[INFO] [stderr]    |            ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `try_mv`
[INFO] [stderr]    --> src/core/location.rs:190:12
[INFO] [stderr]     |
[INFO] [stderr] 190 |     pub fn try_mv(self, d: Direction) -> Self {
[INFO] [stderr]     |            ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `as_mut_revealed`
[INFO] [stderr]   --> src/core/mine_field.rs:60:12
[INFO] [stderr]    |
[INFO] [stderr] 60 |     pub fn as_mut_revealed(&mut self) -> Option<&mut usize> {
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `with_generator`
[INFO] [stderr]    --> src/core/mine_field.rs:137:12
[INFO] [stderr]     |
[INFO] [stderr] 137 |     pub fn with_generator(params: Parameters, generator: Box<dyn MinefieldGenerator>) -> Self {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `unreveal`
[INFO] [stderr]    --> src/core/mine_field.rs:289:12
[INFO] [stderr]     |
[INFO] [stderr] 289 |     pub fn unreveal(&mut self, location: Location) -> Option<State> {
[INFO] [stderr]     |            ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `draw_single`
[INFO] [stderr]    --> src/frontend/terminal.rs:264:12
[INFO] [stderr]     |
[INFO] [stderr] 264 |     pub fn draw_single(&mut self, location: Location, state: &State) {
[INFO] [stderr]     |            ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `derive_count`
[INFO] [stderr]    --> src/solver.rs:211:8
[INFO] [stderr]     |
[INFO] [stderr] 211 |     fn derive_count(&self, count: usize, produced_by: &dyn Rule) -> Self {
[INFO] [stderr]     |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: 9 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/sweepers-04dce9ce3dd15735)
[INFO] [stdout] running 6 tests
[INFO] [stdout] test generator::tests::location_skipper_maps_indices_correctly ... ok
[INFO] [stdout] test core::mine_field::tests::make_active_game ... ok
[INFO] [stdout] test solver::tests::seed ... ok
[INFO] [stdout] test solver::tests::one_fact_mine_deduction ... ok
[INFO] [stdout] test solver::tests::two_fact_safe_deduction ... ok
[INFO] [stdout] test solver::tests::two_fact_mine_and_safe_deduction ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- solver::tests::two_fact_mine_and_safe_deduction stdout ----
[INFO] [stdout] Expected mine count 2 in grid string differs from actual value 0 at position (0,1).
[INFO] [stdout] Expected mine count 2 in grid string differs from actual value 0 at position (1,1).
[INFO] [stdout] Expected mine count 1 in grid string differs from actual value 0 at position (2,1).
[INFO] [stdout] Expected mine count 1 in grid string differs from actual value 0 at position (3,1).
[INFO] [stdout] Base Facts: Solver {
[INFO] [stdout]     facts: {
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: (0,1),
[INFO] [stdout]             produced_by: "sweepers::solver::Seeder",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: (1,1),
[INFO] [stdout]             produced_by: "sweepers::solver::Seeder",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: (3,1),
[INFO] [stdout]             produced_by: "sweepers::solver::Seeder",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: (2,1),
[INFO] [stdout]             produced_by: "sweepers::solver::Seeder",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]     },
[INFO] [stdout] }
[INFO] [stdout] Final Facts: Solver {
[INFO] [stdout]     facts: {
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: (0,1),
[INFO] [stdout]             produced_by: "sweepers::solver::Seeder",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinAllToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: (1,1),
[INFO] [stdout]             produced_by: "sweepers::solver::Seeder",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: (2,1),
[INFO] [stdout]             produced_by: "sweepers::solver::Seeder",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: (3,1),
[INFO] [stdout]             produced_by: "sweepers::solver::Seeder",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxCombinator",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (0,0), (1,0), (2,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxZeroToExact",
[INFO] [stdout]             kind: Exact,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMax",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MinCombinator",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,1), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stderr] error: test failed, to rerun pass '--bin sweepers'
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (1,0), (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::ExactToMin",
[INFO] [stdout]             kind: Min,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (3,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]         Fact {
[INFO] [stdout]             base_location: None,
[INFO] [stdout]             produced_by: "sweepers::solver::MaxRemoveLocations",
[INFO] [stdout]             kind: Max,
[INFO] [stdout]             count: 0,
[INFO] [stdout]             proximity: { (2,0), (4,0), } ,
[INFO] [stdout]         },
[INFO] [stdout]     },
[INFO] [stdout] }
[INFO] [stdout] thread 'solver::tests::two_fact_mine_and_safe_deduction' panicked at 'assertion failed: `(left == right)`
[INFO] [stdout]   left: `{Location { x: Valid(0), y: Valid(0) }}`,
[INFO] [stdout]  right: `{}`', src/solver.rs:417:9
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x560147c76d00 - std::backtrace_rs::backtrace::libunwind::trace::h706b838f5bbd876b
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
[INFO] [stdout]    1:     0x560147c76d00 - std::backtrace_rs::backtrace::trace_unsynchronized::hc15f29ae7822b7b8
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x560147c76d00 - std::sys_common::backtrace::_print_fmt::h7c580c971f91926c
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x560147c76d00 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h2a772198c4032452
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x560147c9950c - core::fmt::write::h9a6d9c74526a6c1b
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/core/src/fmt/mod.rs:1115:17
[INFO] [stdout]    5:     0x560147c73d75 - std::io::Write::write_fmt::h583dff5009d01a9f
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/io/mod.rs:1663:15
[INFO] [stdout]    6:     0x560147c78e6b - std::sys_common::backtrace::_print::h5b3c171e6f864ae4
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    7:     0x560147c78e6b - std::sys_common::backtrace::print::h93b9e9ed2a98e611
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    8:     0x560147c78e6b - std::panicking::default_hook::{{closure}}::hd8da92bb68d520c5
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panicking.rs:208:50
[INFO] [stdout]    9:     0x560147c7897c - std::panicking::default_hook::hdbc8b2951c5afbab
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panicking.rs:222:9
[INFO] [stdout]   10:     0x560147c79534 - std::panicking::rust_panic_with_hook::h8a4c841655926f4e
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panicking.rs:622:17
[INFO] [stdout]   11:     0x560147c79017 - std::panicking::begin_panic_handler::{{closure}}::h471b6bc74904b7b0
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panicking.rs:519:13
[INFO] [stdout]   12:     0x560147c771fc - std::sys_common::backtrace::__rust_end_short_backtrace::h309f5c707f29932f
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   13:     0x560147c78f79 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panicking.rs:515:5
[INFO] [stdout]   14:     0x560147baa641 - core::panicking::panic_fmt::hcf5f6d96e1dd7099
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/core/src/panicking.rs:92:14
[INFO] [stdout]   15:     0x560147c97df8 - core::panicking::assert_failed_inner::h6ded2444c01d76f2
[INFO] [stdout]   16:     0x560147be422a - core::panicking::assert_failed::hce2f83bb79076a64
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/core/src/panicking.rs:117:5
[INFO] [stdout]   17:     0x560147bd6c23 - sweepers::solver::tests::two_fact_mine_and_safe_deduction::h8487215062bb6c13
[INFO] [stdout]                                at /opt/rustwide/workdir/src/solver.rs:417:9
[INFO] [stdout]   18:     0x560147bd69fa - sweepers::solver::tests::two_fact_mine_and_safe_deduction::{{closure}}::h2d5c66b61acb678d
[INFO] [stdout]                                at /opt/rustwide/workdir/src/solver.rs:410:5
[INFO] [stdout]   19:     0x560147c12a2e - core::ops::function::FnOnce::call_once::h52ca203de08c4905
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   20:     0x560147c496d3 - core::ops::function::FnOnce::call_once::h99a97b0ff983bd25
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   21:     0x560147c496d3 - test::__rust_begin_short_backtrace::h8fe0d26ed1584e50
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/test/src/lib.rs:577:5
[INFO] [stdout]   22:     0x560147c48160 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::he6b90e352f394d8f
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/alloc/src/boxed.rs:1572:9
[INFO] [stdout]   23:     0x560147c48160 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h1c05475e029700b8
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panic.rs:347:9
[INFO] [stdout]   24:     0x560147c48160 - std::panicking::try::do_call::he6de943476ae628a
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panicking.rs:401:40
[INFO] [stdout]   25:     0x560147c48160 - std::panicking::try::ha21937b8feb06f89
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panicking.rs:365:19
[INFO] [stdout]   26:     0x560147c48160 - std::panic::catch_unwind::ha79830b3325c9fa6
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panic.rs:434:14
[INFO] [stdout]   27:     0x560147c48160 - test::run_test_in_process::h1ab180b83ee2d5b5
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/test/src/lib.rs:600:18
[INFO] [stdout]   28:     0x560147c48160 - test::run_test::run_test_inner::{{closure}}::h8258ffe088f187a1
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/test/src/lib.rs:492:39
[INFO] [stdout]   29:     0x560147c21722 - test::run_test::run_test_inner::{{closure}}::hc697b214abd32bc6
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/test/src/lib.rs:519:37
[INFO] [stdout]   30:     0x560147c21722 - std::sys_common::backtrace::__rust_begin_short_backtrace::h64de0d3f894854a9
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/sys_common/backtrace.rs:125:18
[INFO] [stdout]   31:     0x560147c25378 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h1fd98fc86e533ece
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/thread/mod.rs:476:17
[INFO] [stdout]   32:     0x560147c25378 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4e2a7abf702e4cfd
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panic.rs:347:9
[INFO] [stdout]   33:     0x560147c25378 - std::panicking::try::do_call::h4496392321a3c8c0
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panicking.rs:401:40
[INFO] [stdout]   34:     0x560147c25378 - std::panicking::try::hf1e14258e04e8e9a
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panicking.rs:365:19
[INFO] [stdout]   35:     0x560147c25378 - std::panic::catch_unwind::hb72c3777cd55642f
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/panic.rs:434:14
[INFO] [stdout]   36:     0x560147c25378 - std::thread::Builder::spawn_unchecked::{{closure}}::h2d7915a5910e148e
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/thread/mod.rs:475:30
[INFO] [stdout]   37:     0x560147c25378 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h83fd2f1ef5be797c
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   38:     0x560147c7e0c7 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::ha8b1d5a0092467fc
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/alloc/src/boxed.rs:1572:9
[INFO] [stdout]   39:     0x560147c7e0c7 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h4b9f24ec4e8a879e
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/alloc/src/boxed.rs:1572:9
[INFO] [stdout]   40:     0x560147c7e0c7 - std::sys::unix::thread::Thread::new::thread_start::h2a0e98fbc4ab4c32
[INFO] [stdout]                                at /rustc/432e145bd5a974c5b6f4dd9b352891bd7502b69d/library/std/src/sys/unix/thread.rs:72:17
[INFO] [stdout]   41:     0x7fb4e47f5609 - start_thread
[INFO] [stdout]   42:     0x7fb4e45c7293 - clone
[INFO] [stdout]   43:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     solver::tests::two_fact_mine_and_safe_deduction
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 5 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.17s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "292d896b84365b475b0dfbd6867ae975d6412509fd8d49967cf86cc6fb84c42e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "292d896b84365b475b0dfbd6867ae975d6412509fd8d49967cf86cc6fb84c42e", kill_on_drop: false }`
[INFO] [stdout] 292d896b84365b475b0dfbd6867ae975d6412509fd8d49967cf86cc6fb84c42e