[INFO] cloning repository https://github.com/d702e20/OnTheFlyATL
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/d702e20/OnTheFlyATL" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d9cc708a811fa69e25f6b7104e5e7b201e4cac8b
[INFO] checking d702e20/OnTheFlyATL against try#ddfd70ee3c3748e597b32f416b0d15a4f6e37685 for pr-87050
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL" "/workspace/builds/worker-11/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-11/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  70% (600/853)
Updating files:  71% (606/853)
Updating files:  72% (615/853)
Updating files:  73% (623/853)
Updating files:  74% (632/853)
Updating files:  75% (640/853)
Updating files:  76% (649/853)
Updating files:  77% (657/853)
Updating files:  78% (666/853)
Updating files:  79% (674/853)
Updating files:  80% (683/853)
Updating files:  81% (691/853)
Updating files:  82% (700/853)
Updating files:  83% (708/853)
Updating files:  84% (717/853)
Updating files:  85% (726/853)
Updating files:  86% (734/853)
Updating files:  87% (743/853)
Updating files:  88% (751/853)
Updating files:  89% (760/853)
Updating files:  90% (768/853)
Updating files:  91% (777/853)
Updating files:  92% (785/853)
Updating files:  93% (794/853)
Updating files:  94% (802/853)
Updating files:  95% (811/853)
Updating files:  96% (819/853)
Updating files:  97% (828/853)
Updating files:  98% (836/853)
Updating files:  99% (845/853)
Updating files: 100% (853/853)
Updating files: 100% (853/853), done.
[INFO] validating manifest of git repo https://github.com/d702e20/OnTheFlyATL on toolchain ddfd70ee3c3748e597b32f416b0d15a4f6e37685
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ddfd70ee3c3748e597b32f416b0d15a4f6e37685" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/d702e20/OnTheFlyATL
[INFO] finished tweaking git repo https://github.com/d702e20/OnTheFlyATL
[INFO] tweaked toml for git repo https://github.com/d702e20/OnTheFlyATL written to /workspace/builds/worker-11/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ddfd70ee3c3748e597b32f416b0d15a4f6e37685" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ddfd70ee3c3748e597b32f416b0d15a4f6e37685" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded regex-automata v0.1.10
[INFO] [stderr]   Downloaded joinery v2.1.0
[INFO] [stderr]   Downloaded bstr v0.2.16
[INFO] [stderr]   Downloaded semver v1.0.3
[INFO] [stderr]   Downloaded rustc_version v0.4.0
[INFO] [stderr]   Downloaded plotters-backend v0.3.2
[INFO] [stderr]   Downloaded serde_cbor v0.11.1
[INFO] [stderr]   Downloaded oorandom v11.1.3
[INFO] [stderr]   Downloaded minilp v0.2.2
[INFO] [stderr]   Downloaded cast v0.2.7
[INFO] [stderr]   Downloaded criterion-plot v0.4.3
[INFO] [stderr]   Downloaded criterion v0.3.4
[INFO] [stderr]   Downloaded plotters-svg v0.3.1
[INFO] [stderr]   Downloaded tinytemplate v1.2.1
[INFO] [stderr]   Downloaded pom v3.2.0
[INFO] [stderr]   Downloaded priority-queue v1.1.1
[INFO] [stderr]   Downloaded indexmap v1.7.0
[INFO] [stderr]   Downloaded test-env-log v0.2.7
[INFO] [stderr]   Downloaded float-ord v0.3.1
[INFO] [stderr]   Downloaded git-version-macro v0.3.5
[INFO] [stderr]   Downloaded plotters v0.3.1
[INFO] [stderr]   Downloaded git-version v0.3.5
[INFO] [stderr]   Downloaded hashbrown v0.11.2
[INFO] [stderr]   Downloaded sprs v0.7.1
[INFO] [stderr]   Downloaded sharded-slab v0.1.1
[INFO] [stderr]   Downloaded tracing-attributes v0.1.15
[INFO] [stderr]   Downloaded tracing-log v0.1.2
[INFO] [stderr]   Downloaded tracing-serde v0.1.2
[INFO] [stderr]   Downloaded tracing-subscriber v0.2.19
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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" "+ddfd70ee3c3748e597b32f416b0d15a4f6e37685" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3c7d6b72a7a921b7d5a9305d174af492482590dff48007a58c8001235a2720cd
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "3c7d6b72a7a921b7d5a9305d174af492482590dff48007a58c8001235a2720cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3c7d6b72a7a921b7d5a9305d174af492482590dff48007a58c8001235a2720cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3c7d6b72a7a921b7d5a9305d174af492482590dff48007a58c8001235a2720cd", kill_on_drop: false }`
[INFO] [stdout] 3c7d6b72a7a921b7d5a9305d174af492482590dff48007a58c8001235a2720cd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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" "+ddfd70ee3c3748e597b32f416b0d15a4f6e37685" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] a5bad4fccf1df74ef16102481e3cc8e5cb8911b9e9ad853fbd0094bdddce0783
[INFO] running `Command { std: "docker" "start" "-a" "a5bad4fccf1df74ef16102481e3cc8e5cb8911b9e9ad853fbd0094bdddce0783", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling syn v1.0.74
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling serde_derive v1.0.126
[INFO] [stderr]    Compiling serde v1.0.126
[INFO] [stderr]    Compiling crossbeam-utils v0.8.5
[INFO] [stderr]     Checking regex-syntax v0.6.25
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling semver v1.0.3
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling ndarray v0.13.1
[INFO] [stderr]     Checking itoa v0.4.7
[INFO] [stderr]    Compiling serde_json v1.0.64
[INFO] [stderr]    Compiling memchr v2.4.0
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.5
[INFO] [stderr]    Compiling rayon-core v1.9.1
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]     Checking pin-project-lite v0.2.7
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking scopeguard v1.1.0
[INFO] [stderr]    Compiling proc-macro-hack v0.5.19
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking pom v3.2.0
[INFO] [stderr]     Checking joinery v2.1.0
[INFO] [stderr]     Checking smallvec v1.6.1
[INFO] [stderr]     Checking float-ord v0.3.1
[INFO] [stderr]     Checking plotters-backend v0.3.2
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking matrixmultiply v0.2.4
[INFO] [stderr]     Checking tracing-core v0.1.18
[INFO] [stderr]     Checking sharded-slab v0.1.1
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking thread_local v1.1.3
[INFO] [stderr]     Checking itertools v0.9.0
[INFO] [stderr]     Checking itertools v0.10.1
[INFO] [stderr]     Checking num_cpus v1.13.0
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking walkdir v2.3.2
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-complex v0.2.4
[INFO] [stderr]    Compiling memoffset v0.6.4
[INFO] [stderr]    Compiling indexmap v1.7.0
[INFO] [stderr]    Compiling priority-queue v1.1.1
[INFO] [stderr]    Compiling rayon v1.5.1
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]     Checking plotters-svg v0.3.1
[INFO] [stderr]     Checking crossbeam-channel v0.5.1
[INFO] [stderr]     Checking tracing-log v0.1.2
[INFO] [stderr]    Compiling rustc_version v0.4.0
[INFO] [stderr]     Checking csv-core v0.1.10
[INFO] [stderr]     Checking crossbeam-deque v0.8.0
[INFO] [stderr]    Compiling cast v0.2.7
[INFO] [stderr]     Checking num-traits v0.1.43
[INFO] [stderr]     Checking plotters v0.3.1
[INFO] [stderr]     Checking criterion-plot v0.4.3
[INFO] [stderr]     Checking chrono v0.4.19
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking regex v1.5.4
[INFO] [stderr]     Checking matchers v0.0.1
[INFO] [stderr]     Checking sprs v0.7.1
[INFO] [stderr]     Checking minilp v0.2.2
[INFO] [stderr]    Compiling tracing-attributes v0.1.15
[INFO] [stderr]    Compiling git-version-macro v0.3.5
[INFO] [stderr]    Compiling test-env-log v0.2.7
[INFO] [stderr]     Checking git-version v0.3.5
[INFO] [stderr]     Checking tracing v0.1.26
[INFO] [stderr]     Checking tracing-serde v0.1.2
[INFO] [stderr]     Checking bstr v0.2.16
[INFO] [stderr]     Checking atl-checker v0.1.0 (/opt/rustwide/workdir/atl-checker)
[INFO] [stderr]     Checking serde_cbor v0.11.1
[INFO] [stdout] warning: unused import: `crate::algorithms::game_strategy::format::PartialStrategyWithFormatting`
[INFO] [stdout]  --> atl-checker/src/algorithms/game_strategy/mod.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::algorithms::game_strategy::format::PartialStrategyWithFormatting;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::edg::atledg::pmoves::PartialMove`
[INFO] [stdout]  --> atl-checker/src/algorithms/game_strategy/mod.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::edg::atledg::pmoves::PartialMove;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Player`, `State`
[INFO] [stdout]   --> atl-checker/src/algorithms/game_strategy/mod.rs:10:44
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::game_structure::{GameStructure, Player, State};
[INFO] [stdout]    |                                            ^^^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking csv v1.1.6
[INFO] [stderr]     Checking tracing-subscriber v0.2.19
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking criterion v0.3.4
[INFO] [stdout] warning: 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking atl-checker-cli v0.1.0 (/opt/rustwide/workdir/cli)
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> cli/src/solver.rs:208:5
[INFO] [stdout]     |
[INFO] [stdout] 203 |         std::process::exit(42);
[INFO] [stdout]     |         ---------------------- any code following this expression is unreachable
[INFO] [stdout] ...
[INFO] [stdout] 208 |     Ok(())
[INFO] [stdout]     |     ^^^^^^ unreachable expression
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> cli/src/solver.rs:208:5
[INFO] [stdout]     |
[INFO] [stdout] 203 |         std::process::exit(42);
[INFO] [stdout]     |         ---------------------- any code following this expression is unreachable
[INFO] [stdout] ...
[INFO] [stdout] 208 |     Ok(())
[INFO] [stdout]     |     ^^^^^^ unreachable expression
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::algorithms::game_strategy::format::PartialStrategyWithFormatting`
[INFO] [stdout]  --> atl-checker/src/algorithms/game_strategy/mod.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::algorithms::game_strategy::format::PartialStrategyWithFormatting;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::edg::atledg::pmoves::PartialMove`
[INFO] [stdout]  --> atl-checker/src/algorithms/game_strategy/mod.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::edg::atledg::pmoves::PartialMove;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Player`, `State`
[INFO] [stdout]   --> atl-checker/src/algorithms/game_strategy/mod.rs:10:44
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::game_structure::{GameStructure, Player, State};
[INFO] [stdout]    |                                            ^^^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `pa1_9proc`
[INFO] [stdout]    --> atl-checker/../benches/benchmark_solver.rs:66:9
[INFO] [stdout]     |
[INFO] [stdout] 66  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 287 | / bench_lcgs!(
[INFO] [stdout] 288 | |     //takes ~15s for one run
[INFO] [stdout] 289 | |     pa1_9proc,
[INFO] [stdout] 290 | |     "peterson/9/peterson_09.lcgs",
[INFO] [stdout] 291 | |     "peterson/p0_eventually_get_access_if_requested_TRUE.json"
[INFO] [stdout] 292 | | );
[INFO] [stdout]     | |__- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout]     = note: this warning originates in the macro `bench_lcgs` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `rc1_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1977 | / bench_lcgs_threads!(
[INFO] [stdout] 1978 | |     rc1_threads,
[INFO] [stdout] 1979 | |     "robot_grid/robot_grid_N3.lcgs",
[INFO] [stdout] 1980 | |     "robot_grid/can_r1_and_r2_swap_with_help_from_r3_FALSE.json"
[INFO] [stdout] 1981 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `rc2_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1983 | / bench_lcgs_threads!(
[INFO] [stdout] 1984 | |     rc2_threads,
[INFO] [stdout] 1985 | |     "robot_grid/robot_grid_N3.lcgs",
[INFO] [stdout] 1986 | |     "robot_grid/everyone_starts_home_TRUE.json"
[INFO] [stdout] 1987 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `rc3_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1989 | / bench_lcgs_threads!(
[INFO] [stdout] 1990 | |     rc3_threads,
[INFO] [stdout] 1991 | |     "robot_grid/robot_grid_N3.lcgs",
[INFO] [stdout] 1992 | |     "robot_grid/exist_path_to_targets_with_no_crashes_TRUE.json"
[INFO] [stdout] 1993 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `pa1_9proc_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2056 | / bench_lcgs_threads!(
[INFO] [stdout] 2057 | |     //takes ~15s for one run
[INFO] [stdout] 2058 | |     pa1_9proc_threads,
[INFO] [stdout] 2059 | |     "peterson/9/peterson_09.lcgs",
[INFO] [stdout] 2060 | |     "peterson/p0_eventually_get_access_if_requested_TRUE.json"
[INFO] [stdout] 2061 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `gg1_total_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2106 | / bench_lcgs_threads!(
[INFO] [stdout] 2107 | |     gg1_total_threads,
[INFO] [stdout] 2108 | |     "gossipping_girls/gossipping_girls_total_network.lcgs",
[INFO] [stdout] 2109 | |     "gossipping_girls/all_girls_ensure_that_all_girls_gets_omicient_before_10_steps_TRUE.json"
[INFO] [stdout] 2110 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `gg2_total_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2112 | / bench_lcgs_threads!(
[INFO] [stdout] 2113 | |     gg2_total_threads,
[INFO] [stdout] 2114 | |     "gossipping_girls/gossipping_girls_total_network.lcgs",
[INFO] [stdout] 2115 | |     "gossipping_girls/all_girls_ensure_that_only_player_one_gets_omicient_before_10_steps_TRUE.json"
[INFO] [stdout] 2116 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `gg3_total_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2118 | / bench_lcgs_threads!(
[INFO] [stdout] 2119 | |     gg3_total_threads,
[INFO] [stdout] 2120 | |     "gossipping_girls/gossipping_girls_total_network.lcgs",
[INFO] [stdout] 2121 | |     "gossipping_girls/all_girls_ensure_that_player_one_gets_omicient_before_10_steps_TRUE.json"
[INFO] [stdout] 2122 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `gg4_total_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2124 | / bench_lcgs_threads!(
[INFO] [stdout] 2125 | |     gg4_total_threads,
[INFO] [stdout] 2126 | |     "gossipping_girls/gossipping_girls_total_network.lcgs",
[INFO] [stdout] 2127 | |     "gossipping_girls/all_omniscient_but_first_after_10_steps_TRUE.json"
[INFO] [stdout] 2128 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `gg5_total_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2130 | / bench_lcgs_threads!(
[INFO] [stdout] 2131 | |     gg5_total_threads,
[INFO] [stdout] 2132 | |     "gossipping_girls/gossipping_girls_total_network.lcgs",
[INFO] [stdout] 2133 | |     "gossipping_girls/eventually_10_steps_are_passed_TRUE.json"
[INFO] [stdout] 2134 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `gg6_total_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2136 | / bench_lcgs_threads!(
[INFO] [stdout] 2137 | |     gg6_total_threads,
[INFO] [stdout] 2138 | |     "gossipping_girls/gossipping_girls_total_network.lcgs",
[INFO] [stdout] 2139 | |     "gossipping_girls/girl_one_gurantee_to_become_omicient_before_10_steps_FALSE.json"
[INFO] [stdout] 2140 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `gg7_total_threads`
[INFO] [stdout]     --> atl-checker/../benches/benchmark_solver.rs:105:9
[INFO] [stdout]      |
[INFO] [stdout] 105  |           fn $name(c: &mut Criterion) {
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2142 | / bench_lcgs_threads!(
[INFO] [stdout] 2143 | |     gg7_total_threads,
[INFO] [stdout] 2144 | |     "gossipping_girls/gossipping_girls_total_network.lcgs",
[INFO] [stdout] 2145 | |     "gossipping_girls/guarantee_all_girls_eventually_become_omniscient_but_not_girl_one_TRUE.json"
[INFO] [stdout] 2146 | | );
[INFO] [stdout]      | |__- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 12 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 35s
[INFO] running `Command { std: "docker" "inspect" "a5bad4fccf1df74ef16102481e3cc8e5cb8911b9e9ad853fbd0094bdddce0783", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a5bad4fccf1df74ef16102481e3cc8e5cb8911b9e9ad853fbd0094bdddce0783", kill_on_drop: false }`
[INFO] [stdout] a5bad4fccf1df74ef16102481e3cc8e5cb8911b9e9ad853fbd0094bdddce0783